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