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