法雷多边形 I

考虑 法雷序列 n. 阶数

例如$F_4=\{\frac{0}{0},\frac{0}{1},\frac{1}{4},\frac{1}{3},\frac{1}{2},\frac{2}{3},\frac{3}{4},\frac{1}{1}\}$
我们通过应用缩放 $z$ 来定义 $F_n(z)$，即将每一项乘以 $z$。

我们将序列 $F_n(z)$ 的每一项视为一个点，并按照顺序连接这些点。
我们获得阶次为 $n$ 的 Farey 多边形 $P_n(z)$ 并缩放为 $z$

$P_4(2)$ 内部包含 5 点。

找到第一个法雷多边形 $P_n(2)$，其内部包含（严格）多于 2000 晶格点。

答案格式：$n,count$


[我的计时：40秒]