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