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