23 lines
9 KiB
Text
23 lines
9 KiB
Text
(phixonline)-->
|
|
<span style="color: #008080;">include</span> <span style="color: #004080;">mpfr</span><span style="color: #0000FF;">.</span><span style="color: #000000;">e</span>
|
|
<span style="color: #004080;">atom</span> <span style="color: #000000;">t0</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">time</span><span style="color: #0000FF;">()</span>
|
|
<span style="color: #004080;">mpz</span> <span style="color: #000000;">n</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">mpz_init</span><span style="color: #0000FF;">(),</span> <span style="color: #000000;">m</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">mpz_init</span><span style="color: #0000FF;">()</span>
|
|
<span style="color: #004080;">sequence</span> <span style="color: #000000;">validp</span> <span style="color: #0000FF;">=</span> <span style="color: #0000FF;">{</span><span style="color: #000000;">2</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">3</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">5</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">7</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">13</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">17</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">19</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">31</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">61</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">89</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">107</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">127</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">521</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">607</span><span style="color: #0000FF;">,</span>
|
|
<span style="color: #000000;">1279</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">2203</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">2281</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">3217</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">4253</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">4423</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">9689</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">9941</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">11213</span><span style="color: #0000FF;">,</span>
|
|
<span style="color: #000000;">19937</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">21701</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">23209</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">44497</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">86243</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">110503</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">132049</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">216091</span><span style="color: #0000FF;">,</span>
|
|
<span style="color: #000000;">756839</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">859433</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">1257787</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">1398269</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">2976221</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">3021377</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">6972593</span><span style="color: #0000FF;">,</span>
|
|
<span style="color: #000000;">13466917</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">20996011</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">24036583</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">25964951</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">30402457</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">32582657</span><span style="color: #0000FF;">,</span>
|
|
<span style="color: #000000;">37156667</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">42643801</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">43112609</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">57885161</span><span style="color: #0000FF;">,</span>
|
|
<span style="color: #000000;">74207281</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">77232917</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">82589933</span><span style="color: #0000FF;">}</span>
|
|
<span style="color: #008080;">if</span> <span style="color: #7060A8;">platform</span><span style="color: #0000FF;">()=</span><span style="color: #004600;">JS</span> <span style="color: #008080;">then</span> <span style="color: #000000;">validp</span> <span style="color: #0000FF;">=</span> <span style="color: #000000;">validp</span><span style="color: #0000FF;">[</span><span style="color: #000000;">1</span><span style="color: #0000FF;">..</span><span style="color: #000000;">35</span><span style="color: #0000FF;">]</span> <span style="color: #008080;">end</span> <span style="color: #008080;">if</span> <span style="color: #000080;font-style:italic;">-- (keep it under 5s)</span>
|
|
<span style="color: #008080;">for</span> <span style="color: #000000;">p</span> <span style="color: #008080;">in</span> <span style="color: #000000;">validp</span> <span style="color: #008080;">do</span>
|
|
<span style="color: #7060A8;">mpz_ui_pow_ui</span><span style="color: #0000FF;">(</span><span style="color: #000000;">n</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">2</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">p</span><span style="color: #0000FF;">)</span>
|
|
<span style="color: #7060A8;">mpz_sub_ui</span><span style="color: #0000FF;">(</span><span style="color: #000000;">n</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">n</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">1</span><span style="color: #0000FF;">)</span>
|
|
<span style="color: #7060A8;">mpz_ui_pow_ui</span><span style="color: #0000FF;">(</span><span style="color: #000000;">m</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">2</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">p</span><span style="color: #0000FF;">-</span><span style="color: #000000;">1</span><span style="color: #0000FF;">)</span>
|
|
<span style="color: #7060A8;">mpz_mul</span><span style="color: #0000FF;">(</span><span style="color: #000000;">n</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">n</span><span style="color: #0000FF;">,</span> <span style="color: #000000;">m</span><span style="color: #0000FF;">)</span>
|
|
<span style="color: #004080;">string</span> <span style="color: #000000;">ns</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">mpz_get_short_str</span><span style="color: #0000FF;">(</span><span style="color: #000000;">n</span><span style="color: #0000FF;">,</span><span style="color: #000000;">comma_fill</span><span style="color: #0000FF;">:=</span><span style="color: #004600;">true</span><span style="color: #0000FF;">),</span>
|
|
<span style="color: #000000;">et</span> <span style="color: #0000FF;">=</span> <span style="color: #7060A8;">elapsed_short</span><span style="color: #0000FF;">(</span><span style="color: #7060A8;">time</span><span style="color: #0000FF;">()-</span><span style="color: #000000;">t0</span><span style="color: #0000FF;">,</span><span style="color: #000000;">5</span><span style="color: #0000FF;">,</span><span style="color: #008000;">"(%s)"</span><span style="color: #0000FF;">)</span>
|
|
<span style="color: #7060A8;">printf</span><span style="color: #0000FF;">(</span><span style="color: #000000;">1</span><span style="color: #0000FF;">,</span> <span style="color: #008000;">"%d %s %s\n"</span><span style="color: #0000FF;">,{</span><span style="color: #000000;">p</span><span style="color: #0000FF;">,</span><span style="color: #000000;">ns</span><span style="color: #0000FF;">,</span><span style="color: #000000;">et</span><span style="color: #0000FF;">})</span>
|
|
<span style="color: #008080;">end</span> <span style="color: #008080;">for</span>
|
|
<span style="color: #0000FF;">?</span><span style="color: #7060A8;">elapsed</span><span style="color: #0000FF;">(</span><span style="color: #7060A8;">time</span><span style="color: #0000FF;">()-</span><span style="color: #000000;">t0</span><span style="color: #0000FF;">)</span>
|
|
<!--
|