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