3325. 今天是个特殊的日子

单点时限: 2.0 sec

内存限制: 256 MB

给出一个年份,对于这一年的每一天,用 YYYYMMDD 的形式写出来,并求出这一天是这一年的第几天。

我们定义某一天是特殊的一天,当且仅当:

  • 这一天的 YYYYMMDD 表示是一个质数;
  • 这一天在这一年中是第 $k$ 天,$k$ 也是一个质数。

例如 1926 年 8 月 17 日,可以写作 19260817,是 1926 年的第 229 天。$19260817$ 是一个质数,$229$ 也是一个质数。所以它是一个特殊的日子。

求在某一年等概率地挑一天,这一天是特殊的日子的概率是多少。

输入格式

输入一个年份 $Y$ $(1900 \leq Y \leq 9999)$。

输出格式

输出概率,误差不超过 $10^{-6}$。

样例

Input
1926
Output
0.0136986301369863

提示

1926-01-03, 1926-01-13, 1926-04-13, 1926-08-17, 1926-12-13,是 1926 年中特殊的日子(当然,1926-08-17 尤为特殊)。

另外,由于 1926 年共有 365 天,所以这些日子被挑中的概率为 $0.0136986$。

50 人解决,57 人已尝试。

57 份提交通过,共有 222 份提交。

3.8 EMB 奖励。

创建: 6 年,8 月前.

修改: 6 年,7 月前.

最后提交: 9 月,2 周前.

来源: N/A