该比赛已结束，您无法在比赛模式下递交该题目。您可以点击“在题库中打开”以普通模式查看和递交本题。

题目描述

樱木花道自称“天才”，但最近安西教练觉得他的数学能力还得加强，于是给樱木布置了一道特殊的模拟题，既能锻炼数学能力，又能提高编程技巧！😲

挑战分为两个阶段：

第一阶段：安西教练会给樱木一个整数 $n$。樱木需要将 $1 \sim n$ 的所有整数依次拼接在一起，形成一个超级长的幸运数字。✨

例如：当 $n = 32$ 时，形成的数字为：

1234567891011121314151617181920212223242526272829303132

第二阶段：樱木需要依次检查这个超长幸运数字的每一位数字 $i$，从第 $i$ 位开始向后截取连续的 $4$ 位数字，判断这个四位数是否为质数。

注意：数字必须是严格的四位数（比如 0313 是质数，但不能是三位数或更少的数位）。🔍

安西教练想知道，在这个超级长数字中，一共可以找到多少个四位的质数呢？樱木绞尽脑汁也没想明白，这下他可需要你的帮助啦！🤔

输入格式

输入一个整数，表示安西教练给的数字 $n$。

输出格式

输出一个整数，表示在超级幸运数字中找到的四位质数的个数。

数据范围

• 对于 $20%$ 的数据，$n \leq 10$
• 对于 $60%$ 的数据，$n \leq 100$
• 对于 $100%$ 的数据，$n \leq 10000$

样例

32

4

样例解释

找到的四位质数分别为：

• 4567
• 1213
• 2131
• 8293

樱木的数学训练开始了，加油吧！🔥

文件读写

• 输入文件：moniti.in
• 输出文件：moniti.out

限制

• 时间限制：1000ms
• 空间限制：512MB