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