This is an interactive problem . Anya has gathered (n) chess experts numbered from (1) to (n) for which the following properties hold: For any pair of players one of the players wins every game against the other (and no draws ever occur); Transitivity does not necessarily hold — it might happen that (A) always beats (B), (B) always beats (C) and (C) always beats (A). To organize a tournament, Anya hosts (n-1) games. In each game, she chooses two players. One of them wins and stays, while the other one is disqualified. After all the games are hosted only one player will remain. A player is said to be a candidate master if they can win a tournament (notice that the winner of a tournament may depend on the players selected by Anya in the (n-1) games). Since Anya is a curious girl, she is interested in finding the candidate masters . Unfortunately, she does not have much time. To speed up the process, she will organize up to (2n) simuls (short for "simultaneous exhibition", in which one player plays against many). In one simul, Anya chooses exactly one player who will play against some (at least one) of the other players. The chosen player wins all games they would win in a regular game, and the same holds for losses. After the simul finishes, Anya is only told the total number of games won by the chosen player (but not which ones). Nobody is disqualified during a simul. Can you help Anya host simuls and determine the candidate masters ? The winning players in each pair could be changed between the simuls, but only in a way that preserves the results of all previous simuls. These changes may depend on your queries. Firstly, the jury sends one integer (n) ((3 \leq n \leq 250)) which should be read — the number of players. After that, your program may ask queries or report an answer. To ask a query, print " ? (i \; s_1 s_2 \ldots s_n)" (without quotes), where (i) is the index of the player who will