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