在太阳系距离测量中,常用的长度单位之一是天文单位,缩写为 AU。本题也将使用该单位。
探测器正在火星上组装,即将发射。探测器的目的地是一颗名为“银星”(Silver Star)的小行星,得名于其出人意料的明亮紫外反照率。探测器的旅程将非常漫长,途中可能会访问其他一些小行星。包括“银星”在内,待访问的小行星候选集合已经过精心挑选,它们都位于从火星到“银星”的路径上,且它们距离火星的距离(以 AU 为单位)按升序排列,构成了前几个质数的序列:$2, 3, 5, 7, 11, \dots$。在旅途中,不一定要访问发射点和“银星”之间的所有小行星。另一方面,两个连续访问的小行星之间的距离最多为 $14$ AU,否则探测器将无法收集到足够的科学数据。有两条规则必须遵守:第一,距离为 $2$ AU 的最近小行星必须被访问;第二,“银星”必须被访问。
探测器的许多可能轨迹取决于对特定访问小行星的选择。如果两条轨迹中访问的小行星序列至少有一个小行星不同,则认为这两条轨迹不同。否则,它们被认为是相同的。每条轨迹都包含发射点小行星和“银星”。探测器将稳步向“银星”移动,绝不会回头。探测导航团队需要评估最有希望的轨迹。为此,他们首先需要计算所有互不相同的探测器轨迹数量。
输入格式
输入包含一行,为一个整数 $P$ ($2 \le P \le 211$),表示“银星”距离火星的距离(以 AU 为单位)。$P$ 是一个质数。
输出格式
输出不同探测器轨迹的数量。
样例
样例输入 1
7
样例输出 1
4
样例输入 2
31
样例输出 2
416