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