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