Input
7 2
Output
2
1 6
Input
5 1
Output
2
1 4