Jzzhu has picked $*n*$ apples from his big apple tree. All the apples are numbered from $1$ to $*n*$. Now he wants to sell them to an apple store.
Jzzhu will pack his apples into groups and then sell them. Each group must contain two apples, and the greatest common divisor of numbers of the apples in each group must be greater than 1. Of course, each apple can be part of at most one group.
Jzzhu wonders how to get the maximum possible number of groups. Can you help him?
Input
A single integer $*n*$ $(1 ≤ *n* ≤ 10^{5})$, the number of the apples.
Output
The first line must contain a single integer $*m*$, representing the maximum number of groups he can get. Each of the next $*m*$ lines must contain two integers — the numbers of apples in the current group.
If there are several optimal answers you can print any of them.
样例
6
2
6 3
2 4
9
3
9 3
2 4
6 8
2
0
题面与样例版权归 Codeforces 及出题人所有；中文翻译由 AI 生成（CI 管线），如有出入请以原文为准。