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