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