Will floats still pass?

Jigui likes floating-point types a lot. A floating-point type is much more convenient than writing a fraction, and its accuracy is higher than many people expect. Writing a number can introduce a little error, but Jigui treats that as nothing. Dotori wanted to show Jigui why fractions are better, so Dotori set the following problem.

Given $N$ points on the plane, compute the convex hull. Here $N \le 100$ and the absolute value of each coordinate is at most $10^9$.

Jigui computed the convex hull with Graham scan, and sorted the points by angle using $\operatorname{atan2}$. Dotori had intended the sort to use fractions. An unexpected program passed, but Dotori had no time to build a counterexample.

Build the data in Dotori's place. There is no input. The point set you must print is unique. The number of points is $2$, and the two points are $(0, 0)$ and $(1, 1)$. Print them in that order.

There is no input.

Print the number of points $N$ on the first line. $N$ is $2$.

Then print $N$ lines of $x$ and $y$ coordinates. The two points are $(0, 0)$ and $(1, 1)$.