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