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