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