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