### 问题描述 苏苏的家乡相传有这样一个说法，说是如果这个人是某月出生的，那么这个人的幸运数字就是这个月份，因此七月份出生的苏苏一直认为自己的幸运数字就是七。 有一天，苏苏在翻看数学有趣知识笔记的时候，看到了这样一个有趣的题目，题目中写到，对于这样 $n$ 个数字，$ 1^2 , 2^2 , 3^2 , 4^2 , \dotsc n^2 $，一定有方法能够使得这 $n$ 个数除以一个数字之后的余数被很快找出来，并且也能够快速找出这些余数出现的次数。 现在苏苏想用自己的幸运数字七来验证一下这个结论，懒惰的苏苏想请你帮她计算一下，对于这 $n$ 个数字，除以七之后的余数有多少种，这些余数分别是多少，每种余数出现的次数是多少（余数按从小到大输出）？ ### 输入格式 第一行包含一个整数 $n$，表示数字的个数。 ### 输出格式 第一行包含一个整数 $num$，表示上述 $n$ 个数字除以七之后的余数的种数。 接下来 $num$ 行，每行包含两个整数 $a,b$，分别表示余数和这个余数出现的次数（余数按从小到大输出）。 ### 样例输入 ```text 2 ``` ### 样例输出 ```text 2 1 1 4 1 ``` ### 评测数据规模 对于所有的评测数据，$0\leq n \leq 10^{18}$。