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