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