[[Vecsmall([115, 17, 12, 113, 22, 24, 95, 19, 23, 97, 21, 3, 25, 128, 47, 125, 2, 100, 8, 103, 11, 5, 9, 6, 13, 109, 36, 38, 111, 35, 74, 119, 77, 122, 30, 27, 84, 28, 56, 58, 49, 57, 53, 59, 92, 65, 15, 68, 41, 66, 60, 96, 43, 62, 98, 39, 42, 40, 44, 51, 81, 54, 79, 83, 46, 50, 75, 48, 78, 85, 89, 87, 90, 31, 67, 86, 33, 69, 63, 88, 61, 114, 64, 37, 70, 76, 72, 80, 71, 73, 101, 45, 102, 99, 7, 52, 10, 55, 94, 18, 91, 93, 20, 116, 123, 120, 124, 118, 26, 121, 29, 127, 4, 82, 1, 104, 126, 108, 32, 106, 110, 34, 105, 107, 16, 117, 112, 14]), Vecsmall([14, 112, 117, 16, 107, 105, 34, 110, 106, 32, 108, 126, 104, 1, 82, 4, 127, 29, 121, 26, 118, 124, 120, 123, 116, 20, 93, 91, 18, 94, 55, 10, 52, 7, 99, 102, 45, 101, 73, 71, 80, 72, 76, 70, 37, 64, 114, 61, 88, 63, 69, 33, 86, 67, 31, 90, 87, 89, 85, 78, 48, 75, 50, 46, 83, 79, 54, 81, 51, 44, 40, 42, 39, 98, 62, 43, 96, 60, 66, 41, 68, 15, 65, 92, 59, 53, 57, 49, 58, 56, 28, 84, 27, 30, 122, 77, 119, 74, 35, 111, 38, 36, 109, 13, 6, 9, 5, 11, 103, 8, 100, 2, 125, 47, 128, 25, 3, 21, 97, 23, 19, 95, 24, 22, 113, 12, 17, 115]), Vecsmall([87, 9, 110, 22, 113, 61, 114, 117, 2, 18, 67, 121, 27, 57, 122, 124, 23, 10, 126, 98, 75, 4, 17, 81, 36, 74, 13, 73, 32, 80, 109, 29, 37, 47, 88, 25, 33, 90, 91, 64, 94, 128, 69, 50, 52, 71, 34, 105, 99, 44, 76, 45, 78, 108, 103, 101, 14, 83, 66, 86, 6, 118, 70, 40, 89, 59, 11, 123, 43, 63, 46, 115, 28, 26, 21, 51, 84, 53, 85, 30, 24, 95, 58, 77, 79, 60, 1, 35, 65, 38, 39, 96, 104, 41, 82, 92, 100, 20, 49, 97, 56, 116, 55, 93, 48, 112, 125, 54, 31, 3, 119, 106, 5, 7, 72, 102, 8, 62, 111, 127, 12, 15, 68, 16, 107, 19, 120, 42]), Vecsmall([89, 105, 103, 42, 1, 66, 117, 55, 61, 108, 33, 20, 107, 58, 19, 72, 123, 67, 98, 51, 77, 115, 81, 50, 124, 69, 113, 127, 54, 97, 86, 11, 99, 3, 10, 4, 88, 112, 120, 25, 100, 46, 15, 39, 49, 36, 8, 59, 18, 28, 122, 35, 47, 37, 53, 106, 65, 13, 56, 34, 85, 84, 91, 102, 27, 38, 45, 44, 95, 73, 116, 64, 23, 76, 92, 82, 94, 7, 101, 111, 70, 121, 93, 80, 90, 114, 83, 29, 104, 9, 17, 41, 125, 119, 126, 30, 118, 43, 32, 75, 2, 16, 60, 5, 79, 48, 14, 52, 78, 31, 62, 6, 57, 110, 71, 22, 109, 96, 21, 68, 74, 12, 63, 128, 87, 26, 24, 40]), Vecsmall([20, 111, 16, 126, 8, 11, 104, 22, 119, 106, 24, 125, 122, 26, 36, 12, 29, 112, 5, 115, 6, 19, 32, 21, 34, 128, 15, 30, 2, 38, 57, 9, 59, 13, 28, 47, 66, 35, 41, 43, 56, 31, 58, 33, 79, 51, 27, 54, 39, 37, 65, 85, 40, 68, 87, 49, 74, 53, 77, 46, 67, 48, 45, 69, 60, 84, 81, 62, 83, 52, 76, 55, 80, 42, 61, 89, 44, 64, 92, 90, 75, 102, 78, 50, 96, 71, 98, 73, 86, 88, 94, 63, 82, 101, 116, 70, 120, 72, 91, 127, 99, 114, 1, 95, 108, 97, 110, 123, 14, 124, 17, 100, 117, 93, 103, 7, 4, 105, 23, 10, 107, 25, 118, 121, 3, 113, 18, 109]), Vecsmall([56, 125, 100, 112, 23, 102, 67, 97, 5, 8, 15, 18, 61, 90, 21, 2, 16, 3, 10, 80, 47, 9, 22, 93, 81, 41, 105, 87, 117, 31, 35, 110, 86, 54, 74, 123, 78, 72, 1, 59, 109, 91, 52, 40, 60, 66, 11, 116, 26, 46, 45, 53, 96, 122, 99, 115, 101, 44, 58, 92, 25, 34, 64, 79, 50, 65, 95, 104, 37, 71, 85, 28, 14, 30, 7, 33, 76, 84, 83, 103, 13, 118, 63, 69, 89, 77, 38, 20, 70, 128, 57, 51, 6, 55, 75, 43, 19, 94, 98, 12, 42, 24, 88, 48, 36, 107, 120, 82, 49, 119, 126, 113, 127, 108, 39, 68, 111, 114, 121, 124, 32, 62, 27, 106, 17, 29, 4, 73])], Vecsmall([2, 2, 2, 4, 2, 2])]
