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