\problemname{Star Arrangements}

\illustration{0.2}{stararrangements/problem_statement/stararrangements.png}

The recent vote in Puerto Rico favoring United States statehood has made flag
makers very excited.  An updated flag with $51$ stars rather than the
current one with $50$ would cause a huge jump in U.S. flag sales.
The current pattern for $50$ stars is five rows of $6$ stars, interlaced with
four offset rows of $5$ stars.
The rows alternate until all stars are represented.

\begin{verbatim}
    * * * * * *
     * * * * *
    * * * * * *
     * * * * *
    * * * * * *
     * * * * *
    * * * * * *
     * * * * *
    * * * * * *
\end{verbatim}

This pattern has the property that adjacent rows differ by
no more than one star.  We represent this star arrangement
compactly by the number of stars in the first two rows: {\tt 6,5}.


% The same property holds when the pattern is rotated 90 degrees.
% In this orientation, the pattern can be represented compactly
% by the number of stars
% in the first two columns: {\tt 5,4}.

A $51$-star flag that has the same property can have three rows of
$9$ stars, interlaced with three rows of $8$ stars
(with a compact representation of {\tt 9,8}).  Conversely, if a state
were to leave the union, one appealing representation would be seven
rows of seven stars ({\tt 7,7}).

A flag pattern is \emph{visually appealing} if it satisfies
the following conditions:
\begin{itemize}
	\item Every other row has the same number of stars.
	\item Adjacent rows differ by no more than one star.
	\item The first row cannot have fewer stars than the second row.
\end{itemize}

Your team sees beyond the short-term change to $51$ for the US flag.
You want to corner the market on flags for any union of three or more
states.
Given the number $S$ of stars to draw on a flag,
find all possible \emph{visually appealing} flag patterns.

\section*{Input}

The input consists of a single line containing the integer $S$
($3\le S\le 32\,767$).

\section*{Output}

On the first line, print $S$, followed by a colon.
Then, for each visually appealing flag of $S$ stars,
print its compact representation, one per line.

This list of compact representations should be printed
in increasing order of the number of stars in the first row;
if there are ties, print them in order of the number of stars
in the second row.
The cases $1$-by-$S$ and $S$-by-$1$ are trivial,
so do not print those arrangements.

The compact representations must be printed in the form ``{\tt x,y}'',
with exactly one comma between {\tt x} and {\tt y} and no other
characters.

\section*{Examples}
