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