CF234G.Practice

Little time is left before Berland annual football championship. Therefore the coach of team "Losewille Rangers" decided to resume the practice, that were indefinitely interrupted for uncertain reasons. Overall there are $n$ players in "Losewille Rangers". Each player on the team has a number — a unique integer from 1 to $n$ . To prepare for the championship, the coach Mr. Floppe decided to spend some number of practices.

Mr. Floppe spent some long nights of his holiday planning how to conduct the practices. He came to a very complex practice system. Each practice consists of one game, all $n$ players of the team take part in the game. The players are sorted into two teams in some way. In this case, the teams may have different numbers of players, but each team must have at least one player.

The coach wants to be sure that after the series of the practice sessions each pair of players had at least one practice, when they played in different teams. As the players' energy is limited, the coach wants to achieve the goal in the least number of practices.

Help him to schedule the practices.

A single input line contains integer $n$ ( $2<=n<=1000$ ).

In the first line print $m$ — the minimum number of practices the coach will have to schedule. Then print the descriptions of the practices in $m$ lines.

In the $i$ -th of those lines print $f_{i}$ — the number of players in the first team during the $i$ -th practice ( 1<=f_{i}<n ), and $f_{i}$ numbers from $1$ to $n$ — the numbers of players in the first team. The rest of the players will play in the second team during this practice. Separate numbers on a line with spaces. Print the numbers of the players in any order. If there are multiple optimal solutions, print any of them.