{"raw_statement":[{"iden":"problem statement","content":"Print a sequence $a_1, a_2, ..., a_N$ whose length is $N$ that satisfies the following conditions:\n\n*   $a_i$ $(1 \\leq i \\leq N)$ is a prime number at most $55$ $555$.\n*   The values of $a_1, a_2, ..., a_N$ are all different.\n*   In every choice of five different integers from $a_1, a_2, ..., a_N$, the sum of those integers is a composite number.\n\nIf there are multiple such sequences, printing any of them is accepted."},{"iden":"notes","content":"An integer $N$ not less than $2$ is called a prime number if it cannot be divided evenly by any integers except $1$ and $N$, and called a composite number otherwise."},{"iden":"constraints","content":"*   $N$ is an integer between $5$ and $55$ (inclusive)."},{"iden":"input","content":"Input is given from Standard Input in the following format:\n\n$N$"},{"iden":"sample input 1","content":"5"},{"iden":"sample output 1","content":"3 5 7 11 31\n\nLet us see if this output actually satisfies the conditions.  \nFirst, $3$, $5$, $7$, $11$ and $31$ are all different, and all of them are prime numbers.  \nThe only way to choose five among them is to choose all of them, whose sum is $a_1+a_2+a_3+a_4+a_5=57$, which is a composite number.  \nThere are also other possible outputs, such as `2 3 5 7 13`, `11 13 17 19 31` and `7 11 5 31 3`."},{"iden":"sample input 2","content":"6"},{"iden":"sample output 2","content":"2 3 5 7 11 13\n\n*   $2$, $3$, $5$, $7$, $11$, $13$ are all different prime numbers.\n*   $2+3+5+7+11=28$ is a composite number.\n*   $2+3+5+7+13=30$ is a composite number.\n*   $2+3+5+11+13=34$ is a composite number.\n*   $2+3+7+11+13=36$ is a composite number.\n*   $2+5+7+11+13=38$ is a composite number.\n*   $3+5+7+11+13=39$ is a composite number.\n\nThus, the sequence `2 3 5 7 11 13` satisfies the conditions."},{"iden":"sample input 3","content":"8"},{"iden":"sample output 3","content":"2 5 7 13 19 37 67 79"}],"translated_statement":null,"sample_group":[],"show_order":["default"],"formal_statement":null,"simple_statement":null,"has_page_source":true}