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