Magma V2.19-8 Wed Aug 21 2013 00:15:12 on localhost [Seed = 4615395] Type ? for help. Type -D to quit. Loading file "K13n4539__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n4539 geometric_solution 12.59750190 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.916264039897 0.690408927252 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.701988756538 0.603488611257 8 0 6 4 0132 0132 2310 1023 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.842603994515 0.762760889454 9 10 11 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.682614651039 0.708953012666 10 12 0 2 2031 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.649130493027 0.594788585837 10 1 8 11 0213 0132 2031 3120 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.676018097216 0.492073253154 9 2 1 12 2103 3201 0132 2103 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.788243207452 0.706956452655 9 8 11 1 1023 3201 3120 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.278690976536 0.870371528572 2 12 7 5 0132 1023 2310 1302 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444959112007 0.769467798083 3 7 6 10 0132 1023 2103 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440330653832 0.967871131533 5 3 4 9 0213 0132 1302 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.351391459314 0.597357199721 5 12 7 3 3120 0213 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.629604203020 0.641276949235 8 4 11 6 1023 0132 0213 2103 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.574816929954 0.957013751344 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_8'], 'c_1001_10' : d['c_0110_4'], 'c_1001_12' : d['c_0101_8'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_8']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0011_11']), 'c_1001_0' : d['c_0110_4'], 'c_1001_3' : negation(d['c_0110_6']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : d['c_1001_2'], 'c_1010_11' : negation(d['c_0110_6']), 'c_1010_10' : negation(d['c_0110_6']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_11'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_0'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_10'], 'c_0011_12' : d['c_0011_0'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_6'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_6']), 'c_1100_10' : d['c_0101_1'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : negation(d['c_1001_2']), 'c_1010_5' : negation(d['c_0011_11']), 'c_1010_4' : d['c_0101_8'], 'c_1010_3' : d['c_0110_4'], 'c_1010_2' : d['c_0110_4'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_1'], 'c_1010_8' : d['c_0101_11'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0110_6']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : negation(d['c_0101_3']), 'c_0110_12' : d['c_0101_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_6'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0110_6']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_3, c_0101_8, c_0110_4, c_0110_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t - 1261714389453140926170511651984799903120249784738002475597755459541\ 868805527996617391745995/158804394267670439382323022194831610867652\ 5525993672391005236613109667238617096530414288*c_1001_2^28 - 7427680652424099895046955360908695048758296594348376459724702298799\ 743981421001254850967873/158804394267670439382323022194831610867652\ 5525993672391005236613109667238617096530414288*c_1001_2^27 - 1713299420737120033953488409135070375459403705769101279512596973534\ 2386728776525962736037129/15880439426767043938232302219483161086765\ 25525993672391005236613109667238617096530414288*c_1001_2^26 - 1453233895471848119146490442959148652464524093888334742984839605198\ 775708347126590905695558/992527464172940246139518888717697567922828\ 45374604524437827288319354202413568533150893*c_1001_2^25 - 1021135859391298077917022113196331764105114748356141618554700539269\ 97342257423514503594657251/1588043942676704393823230221948316108676\ 525525993672391005236613109667238617096530414288*c_1001_2^24 - 6291648016252216799368207479449002808491784911410090027602597062276\ 6243831908212138134864337/22686342038238634197474717456404515838236\ 0789427667484429319516158523891231013790059184*c_1001_2^23 - 1047807105519514285178408302618094694369288810698226721560635029496\ 671851481512388045898750253/158804394267670439382323022194831610867\ 6525525993672391005236613109667238617096530414288*c_1001_2^22 - 2209840617331535266899399100465217106488212311137904560924815260096\ 394808678580382847932497699/158804394267670439382323022194831610867\ 6525525993672391005236613109667238617096530414288*c_1001_2^21 - 2339010115694257311012780967206011361389634341064134713736291787926\ 310673839479980480477277125/794021971338352196911615110974158054338\ 262762996836195502618306554833619308548265207144*c_1001_2^20 - 7987016188044587784757923857162948050267540547266702501125835180263\ 446737120182097838875589665/158804394267670439382323022194831610867\ 6525525993672391005236613109667238617096530414288*c_1001_2^19 - 1824170962740015876829292172980712357976927435859240532753147124844\ 017372592879343839932259363/226863420382386341974747174564045158382\ 360789427667484429319516158523891231013790059184*c_1001_2^18 - 1983003015251871685745512061421541394450862862722555448391332661742\ 1564433459625550929812179847/15880439426767043938232302219483161086\ 76525525993672391005236613109667238617096530414288*c_1001_2^17 - 6463795015040879168121229831456677115366799612831854200585025080076\ 307421699261079412794790015/397010985669176098455807555487079027169\ 131381498418097751309153277416809654274132603572*c_1001_2^16 - 1576591135944495770236969336215453916109928015655002313877733818101\ 7759343786728336883055020251/79402197133835219691161511097415805433\ 8262762996836195502618306554833619308548265207144*c_1001_2^15 - 3485518158635801117490692796129809993894603521568418941142794824555\ 2160150265817906214935390663/15880439426767043938232302219483161086\ 76525525993672391005236613109667238617096530414288*c_1001_2^14 - 4549445348415057452400726847711245539660411314454808019948593013030\ 574145399063504058580801835/226863420382386341974747174564045158382\ 360789427667484429319516158523891231013790059184*c_1001_2^13 - 3415441047599916621196374710121489441937845643475637097061710950409\ 465908484180781785595931721/198505492834588049227903777743539513584\ 565690749209048875654576638708404827137066301786*c_1001_2^12 - 1060509874577860280467842973334077322279351836775422494696535091147\ 345489122622970917857645245/992527464172940246139518888717697567922\ 82845374604524437827288319354202413568533150893*c_1001_2^11 - 1240610606587123158669611632076702289749521052299091301337350068602\ 933840527696370375531257875/226863420382386341974747174564045158382\ 360789427667484429319516158523891231013790059184*c_1001_2^10 + 4510470386287941005179906110656486415750785456763624332979567214216\ 90397983079754061318139083/1588043942676704393823230221948316108676\ 525525993672391005236613109667238617096530414288*c_1001_2^9 + 3485072883525540157029968264068425000896459440851400017441943631832\ 1058086082026399228015228/14178963773899146373421698410252822398897\ 549339229217776832469759907743201938361878699*c_1001_2^8 + 6184784831230233128901714113192984508109018820509019330145583712280\ 523633290635819323263832643/158804394267670439382323022194831610867\ 6525525993672391005236613109667238617096530414288*c_1001_2^7 + 1983450299251613910590905812008817803659598164127825185167639787903\ 315325792283939060291608353/794021971338352196911615110974158054338\ 262762996836195502618306554833619308548265207144*c_1001_2^6 + 3812322933599695561235001131283664661811770101629930598762220890421\ 32987116912596621570417817/2268634203823863419747471745640451583823\ 60789427667484429319516158523891231013790059184*c_1001_2^5 + 4958800353731798593114316888519003587901936588517681367359129818140\ 22490780907328374687617/2230398795894247744133750311725163073983884\ 165721449987366905355491105672215023216874*c_1001_2^4 - 1743721960390444172650233187998216455108303010766781579715905374475\ 5740812430225367615446216/99252746417294024613951888871769756792282\ 845374604524437827288319354202413568533150893*c_1001_2^3 - 4782799993422391749074120713328852722900344866085053527948366747814\ 29561175348595315912963241/1588043942676704393823230221948316108676\ 525525993672391005236613109667238617096530414288*c_1001_2^2 - 1064272451541489938255991256311933182045075450764641112036312232107\ 93749809642932031528265723/7940219713383521969116151109741580543382\ 62762996836195502618306554833619308548265207144*c_1001_2 - 5480330876527064434090661951264034025013568941703318853291202230379\ 0632197339434209368403007/15880439426767043938232302219483161086765\ 25525993672391005236613109667238617096530414288, c_0011_0 - 1, c_0011_10 - 14826159786652906412262234625697232250538536594782316624122\ 57135351176925/6962789984094973492053114264416750052434635561465200\ 2051681620997389361617*c_1001_2^28 - 1007813934753484088509031402440375294233443476437052599859705529433\ 4712995/69627899840949734920531142644167500524346355614652002051681\ 620997389361617*c_1001_2^27 - 2781311727711283957772477687391487771\ 2910194987818112334119509295177980665/69627899840949734920531142644\ 167500524346355614652002051681620997389361617*c_1001_2^26 - 4421794480241770089587834356759014210987948598607458521059142571756\ 4362071/69627899840949734920531142644167500524346355614652002051681\ 620997389361617*c_1001_2^25 - 1423898240811169542294156464680372723\ 24686406866972793227194433041267918259/6962789984094973492053114264\ 4167500524346355614652002051681620997389361617*c_1001_2^24 - 6256815956649177752005347434505118475265057053353306846798883761170\ 91106236/6962789984094973492053114264416750052434635561465200205168\ 1620997389361617*c_1001_2^23 - 168769881163809817498076309585483053\ 5466343298925283863866700130274605219351/69627899840949734920531142\ 644167500524346355614652002051681620997389361617*c_1001_2^22 - 3641185195832026165735173338987775123606701603115673622365158230819\ 882451881/696278998409497349205311426441675005243463556146520020516\ 81620997389361617*c_1001_2^21 - 77144319783855505856303382996298622\ 79393486166232361266609538244672430653736/6962789984094973492053114\ 2644167500524346355614652002051681620997389361617*c_1001_2^20 - 1415239752989433232137996385835091312997196352483879372131225442117\ 3680766816/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^19 - 2306384533950032085764613389518181\ 9216662001090027364836265193590443227649730/69627899840949734920531\ 142644167500524346355614652002051681620997389361617*c_1001_2^18 - 3633539008092253852315342148006952361503927959713436430004820703299\ 0689865157/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^17 - 5095237537716382879498587495309294\ 2332191854397358182567827608058198381283400/69627899840949734920531\ 142644167500524346355614652002051681620997389361617*c_1001_2^16 - 6389735447522325702124417726845955210006473133218200596576314375431\ 0598995528/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^15 - 7455740207695245102099192118890094\ 9617734593444493206288345204001545909505509/69627899840949734920531\ 142644167500524346355614652002051681620997389361617*c_1001_2^14 - 7585212980315724400084372165071860392430448810116349456352407019795\ 0035841398/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^13 - 6868307128984566673246230547015730\ 1948289721173631930934170634918150111612099/69627899840949734920531\ 142644167500524346355614652002051681620997389361617*c_1001_2^12 - 5416161897208647491878643161574040437038149531322850872779706492483\ 5754431533/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^11 - 3499662016174964680910061063631994\ 0595665543512903910959684638732712922088502/69627899840949734920531\ 142644167500524346355614652002051681620997389361617*c_1001_2^10 - 1643289522203211540952485375458459364262043044677177245781522075762\ 4337728517/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^9 - 24905101024233967912892054702341380\ 18581529747315571588220659531909427709561/6962789984094973492053114\ 2644167500524346355614652002051681620997389361617*c_1001_2^8 + 5143177375662057304323940580479034170443541191735123897790479016741\ 459607555/696278998409497349205311426441675005243463556146520020516\ 81620997389361617*c_1001_2^7 + 701699434833083093108659600483172779\ 9242687173710073421089287494745102692518/69627899840949734920531142\ 644167500524346355614652002051681620997389361617*c_1001_2^6 + 5228236099415788330519272547176362996838458270632128964050616101080\ 716889267/696278998409497349205311426441675005243463556146520020516\ 81620997389361617*c_1001_2^5 + 272125755936397457628359467247267333\ 6788164444363314440503921126022324144356/69627899840949734920531142\ 644167500524346355614652002051681620997389361617*c_1001_2^4 + 5401277895073611232720678424490682589350816375363223416001369700128\ 83422577/6962789984094973492053114264416750052434635561465200205168\ 1620997389361617*c_1001_2^3 - 2801187881937825290698316393744628748\ 99342859435379192499686709746653496794/6962789984094973492053114264\ 4167500524346355614652002051681620997389361617*c_1001_2^2 - 1812275037773131638592614872515226717199268166120818728622312482263\ 05275537/6962789984094973492053114264416750052434635561465200205168\ 1620997389361617*c_1001_2 - 850790287056720550450543279768091328301\ 68044985338076777139745723846295173/6962789984094973492053114264416\ 7500524346355614652002051681620997389361617, c_0011_11 - 61517063780855285059916280025117250421259140458508981477841\ 04470545518145/1392557996818994698410622852883350010486927112293040\ 04103363241994778723234*c_1001_2^28 - 1896219149024478724267479651825502518701366242777708827900055048428\ 4062344/69627899840949734920531142644167500524346355614652002051681\ 620997389361617*c_1001_2^27 - 9274726794725340857294610666664398025\ 7347647791622859091458700294258167981/13925579968189946984106228528\ 8335001048692711229304004103363241994778723234*c_1001_2^26 - 1316109595277163146501581809890526917674069621844625729803109013368\ 72693245/1392557996818994698410622852883350010486927112293040041033\ 63241994778723234*c_1001_2^25 - 25878758733552440704610908782133391\ 3972355339326480320079746208523540665474/69627899840949734920531142\ 644167500524346355614652002051681620997389361617*c_1001_2^24 - 2267619271502027711269944995840190986154656068923089517269450055104\ 912681641/139255799681899469841062285288335001048692711229304004103\ 363241994778723234*c_1001_2^23 - 2815321914137626912323702145371607\ 196731361831679448842416834953386216832543/696278998409497349205311\ 42644167500524346355614652002051681620997389361617*c_1001_2^22 - 1189218119603923653577718274593846373067270522018130416488366982436\ 0229667475/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^21 - 250731214219796820564894707990501\ 83747692954204305897711445506457091934986909/1392557996818994698410\ 62285288335001048692711229304004103363241994778723234*c_1001_2^20 - 2182588738763959768817892619201281590705673304035422392471637385996\ 3310741371/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^19 - 6958847957137594325196840278231527\ 3888861881133255247400268397594622032320087/13925579968189946984106\ 2285288335001048692711229304004103363241994778723234*c_1001_2^18 - 5397076435901571950500009412681837311093467867518924101369840662478\ 0381430215/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^17 - 7143409141873598269558395522942701\ 6563177081149359161906129880780801897164817/69627899840949734920531\ 142644167500524346355614652002051681620997389361617*c_1001_2^16 - 8643455487509375299593736771804174391091967775678006475088813800642\ 1987646919/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^15 - 1913412725919593755633587868054009\ 76843736907206920102316739423317692827550033/1392557996818994698410\ 62285288335001048692711229304004103363241994778723234*c_1001_2^14 - 8750957496732393294374497248470418161575122735314218705333540046902\ 9884373122/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^13 - 7231492640903543467108054533027405\ 9582883593959588395400708219003786352850851/69627899840949734920531\ 142644167500524346355614652002051681620997389361617*c_1001_2^12 - 4428318054037331118541656112770667089937547555172302290530624722166\ 5287604134/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^11 - 3578709444919794467692265169057882\ 9744129613047223948136385202638654415214611/13925579968189946984106\ 2285288335001048692711229304004103363241994778723234*c_1001_2^10 + 6181258978776863051889059826409593050277362844952667733605309484158\ 941716296/696278998409497349205311426441675005243463556146520020516\ 81620997389361617*c_1001_2^9 + 173336369462040317509112547974102666\ 87282341875063165637400867629398388937008/6962789984094973492053114\ 2644167500524346355614652002051681620997389361617*c_1001_2^8 + 4197578747486263079262376700959458325674882847826074601226614478916\ 8708119027/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^7 + 2965876124670679060766604794106906\ 6854680238380910905409395402255625726126401/13925579968189946984106\ 2285288335001048692711229304004103363241994778723234*c_1001_2^6 + 8055918445373071511780729349654023318378869844301017218166149681345\ 076960015/696278998409497349205311426441675005243463556146520020516\ 81620997389361617*c_1001_2^5 + 166951479670161697466649644852147787\ 9331933497579008857091275259046707928198/69627899840949734920531142\ 644167500524346355614652002051681620997389361617*c_1001_2^4 - 1516061448216161423238019584209600853893768448289625010101428926429\ 843932563/696278998409497349205311426441675005243463556146520020516\ 81620997389361617*c_1001_2^3 - 346971252279422983719929225561836919\ 1918737047544896098966192506044220469533/13925579968189946984106228\ 5288335001048692711229304004103363241994778723234*c_1001_2^2 - 1897164036175703442393588662677825150596254350388399666300865844594\ 515911533/139255799681899469841062285288335001048692711229304004103\ 363241994778723234*c_1001_2 - 2485193834769546855128750797792011459\ 87577691820847891571925809941797842072/6962789984094973492053114264\ 4167500524346355614652002051681620997389361617, c_0011_6 - 539920116661143486985322255100515403632371381190728188624783\ 1272012413535/27851159936379893968212457057667000209738542245860800\ 8206726483989557446468*c_1001_2^28 - 7675916053842757491273622248120940322570698523695313560223960206811\ 314956/696278998409497349205311426441675005243463556146520020516816\ 20997389361617*c_1001_2^27 - 67921153747864728676289583398660444037\ 856158583521642381822073787669733521/278511599363798939682124570576\ 670002097385422458608008206726483989557446468*c_1001_2^26 - 9172616929492206986187761406352373262190265058781097652907283219087\ 3704593/27851159936379893968212457057667000209738542245860800820672\ 6483989557446468*c_1001_2^25 - 109368758780810894939346666070780419\ 614236356014007040537351507405993556973/696278998409497349205311426\ 44167500524346355614652002051681620997389361617*c_1001_2^24 - 1832743169720499201810407130808750600906763912470454641440425449434\ 845390615/278511599363798939682124570576670002097385422458608008206\ 726483989557446468*c_1001_2^23 - 1052605792255798994949351904968721\ 015188979293428031246850183803266492361136/696278998409497349205311\ 42644167500524346355614652002051681620997389361617*c_1001_2^22 - 8996539614950165099126912164452409951811723892365036958086681149947\ 358402443/278511599363798939682124570576670002097385422458608008206\ 726483989557446468*c_1001_2^21 - 1936040998506517550558549290489057\ 6949127863727327187631583433773838446515133/27851159936379893968212\ 4570576670002097385422458608008206726483989557446468*c_1001_2^20 - 1647430248063230504453259206949609515384340244546234719075603783900\ 5371553579/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^19 - 537003119798118926036420734093746\ 58248436632791356510680781881014990831449895/2785115993637989396821\ 24570576670002097385422458608008206726483989557446468*c_1001_2^18 - 4240091257074831635253634334901230690321406807098758219230902337563\ 5816878383/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^17 - 558426053277248918994435314762074\ 47741042345574351324390066330988025944152375/1392557996818994698410\ 62285288335001048692711229304004103363241994778723234*c_1001_2^16 - 3535432341726557962546459516127896994543518658238364092385864518056\ 3009312354/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^15 - 1625431830140518183264293971636878\ 68518619098283164440910759329762754961407415/2785115993637989396821\ 24570576670002097385422458608008206726483989557446468*c_1001_2^14 - 3945838316251590645805401807876541141914019867312434837857793907098\ 5232874346/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^13 - 3757756308895674430063218600553846\ 3403114261220075297399786405261071642129456/69627899840949734920531\ 142644167500524346355614652002051681620997389361617*c_1001_2^12 - 2772619735057995069018926823506543836133285600104119769392427103056\ 4497704549/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^11 - 7900884001364467894213132622784555\ 6248659937773725119893386983058450196755949/27851159936379893968212\ 4570576670002097385422458608008206726483989557446468*c_1001_2^10 - 1795976458763552726074154426306013464110011685436135406541798337585\ 3175389189/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^9 - 6246784489947501199443625678412850\ 308635565809227647768963209108024285324183/139255799681899469841062\ 285288335001048692711229304004103363241994778723234*c_1001_2^8 + 8491194215386724980060396945326400295510167543100579674995468464482\ 999920609/278511599363798939682124570576670002097385422458608008206\ 726483989557446468*c_1001_2^7 + 89960892524170924984685546891427895\ 40000784436125262036316941269181941055903/2785115993637989396821245\ 70576670002097385422458608008206726483989557446468*c_1001_2^6 + 5538932116264769996819366892878021792239418353593432310455337306337\ 008055755/139255799681899469841062285288335001048692711229304004103\ 363241994778723234*c_1001_2^5 + 22033491037282031291429647290380754\ 55110697617568301215495119272964227231295/1392557996818994698410622\ 85288335001048692711229304004103363241994778723234*c_1001_2^4 + 9522891493310472934402436680668538476268618946533336737843687779705\ 01676809/1392557996818994698410622852883350010486927112293040041033\ 63241994778723234*c_1001_2^3 + 164633494063313551048455137680133269\ 355672782761707660075322140239525594545/278511599363798939682124570\ 576670002097385422458608008206726483989557446468*c_1001_2^2 - 2656798310715218029308044520058367628926840175585222122356227634028\ 58659825/2785115993637989396821245705766700020973854224586080082067\ 26483989557446468*c_1001_2 + 64092187316182795000397846675162597863\ 69299856536964461768969276266809713/6962789984094973492053114264416\ 7500524346355614652002051681620997389361617, c_0101_0 + 658883374654360388903428893261628628852980278109516851171720\ 9673907554125/13925579968189946984106228528833500104869271122930400\ 4103363241994778723234*c_1001_2^28 + 2175803828732464802095452454853589550339050791124886045493202600387\ 3715020/69627899840949734920531142644167500524346355614652002051681\ 620997389361617*c_1001_2^27 + 1157871830168602788412707719699558450\ 27319714752952670907403109170754089661/1392557996818994698410622852\ 88335001048692711229304004103363241994778723234*c_1001_2^26 + 1767192951500129440269942667121084488741941284373807893055077092382\ 21481715/1392557996818994698410622852883350010486927112293040041033\ 63241994778723234*c_1001_2^25 + 30036875606623746784690067284428459\ 9726328020818131714974930590305474422369/69627899840949734920531142\ 644167500524346355614652002051681620997389361617*c_1001_2^24 + 2660013646657443960953233758000738946517151139414738601120418273351\ 755410863/139255799681899469841062285288335001048692711229304004103\ 363241994778723234*c_1001_2^23 + 3506305458382788248592587794451623\ 281398495966228222767463985016740181731319/696278998409497349205311\ 42644167500524346355614652002051681620997389361617*c_1001_2^22 + 1495759241697245530994233724433096969659619802466687012448619424430\ 5714406035/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^21 + 315282769848652179803383270172716\ 95539202319256742264222649700962479098156293/1392557996818994698410\ 62285288335001048692711229304004103363241994778723234*c_1001_2^20 + 2845342596180264935489465132603957354829191676853667913260503284508\ 4218358492/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^19 + 9180424311416986778241339770828653\ 5241952707486417163468935456073473338738497/13925579968189946984106\ 2285288335001048692711229304004103363241994778723234*c_1001_2^18 + 7177151934529054468275259992539185632993324701074184073644232534294\ 3854401874/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^17 + 9878541347119569281501764574728446\ 1521508326433694737200665145552770365559129/69627899840949734920531\ 142644167500524346355614652002051681620997389361617*c_1001_2^16 + 1219755279327333066527452036585185248008344425584472028048829870939\ 02001115026/6962789984094973492053114264416750052434635561465200205\ 1681620997389361617*c_1001_2^15 + 279118599908614799780146716432088\ 221117554322485604799176252207873818898307023/139255799681899469841\ 062285288335001048692711229304004103363241994778723234*c_1001_2^14 + 1372145282780252361784701778290159919297578161759260352195208791139\ 10044487475/6962789984094973492053114264416750052434635561465200205\ 1681620997389361617*c_1001_2^13 + 120275983843537007570398981993215\ 118937979869696709234926835805969788322662322/696278998409497349205\ 31142644167500524346355614652002051681620997389361617*c_1001_2^12 + 8881657090438550508950764254768979914011394162882863860982180716663\ 9343285676/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^11 + 1035912746136844676818510976294619\ 83297005438333040240322366865439082436423303/1392557996818994698410\ 62285288335001048692711229304004103363241994778723234*c_1001_2^10 + 1768424900907406128542796643642073413143504517158786658440744819643\ 4724206743/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^9 - 52914128093446645705766458243714719\ 53914467204010793105039383514620588716618/6962789984094973492053114\ 2644167500524346355614652002051681620997389361617*c_1001_2^8 - 3173159341203884322603734279367241266448780610919643790015549103909\ 8181479273/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^7 - 3107889750768047952874077035464514\ 9157979070766259891141659320606233703317901/13925579968189946984106\ 2285288335001048692711229304004103363241994778723234*c_1001_2^6 - 9815506197123447070511827927586645923589621584515808858495876247017\ 106868661/696278998409497349205311426441675005243463556146520020516\ 81620997389361617*c_1001_2^5 - 420522310200362992162862536084505837\ 4829257678773393234364276785048154552697/69627899840949734920531142\ 644167500524346355614652002051681620997389361617*c_1001_2^4 + 2617819924981459694157330409637628274221432697695590215880812349912\ 72140462/6962789984094973492053114264416750052434635561465200205168\ 1620997389361617*c_1001_2^3 + 1933296136934052064315717110334665294\ 541137792896293445178342547082663725907/139255799681899469841062285\ 288335001048692711229304004103363241994778723234*c_1001_2^2 + 1312172700370450871841275419403811973710481709377154186060924779368\ 185065555/139255799681899469841062285288335001048692711229304004103\ 363241994778723234*c_1001_2 + 1780223909304307912489722146081442375\ 25596328404501942270429493697384566500/6962789984094973492053114264\ 4167500524346355614652002051681620997389361617, c_0101_1 + 327271720211321465765423855238502846338038047791746162139409\ 1739708853565/27851159936379893968212457057667000209738542245860800\ 8206726483989557446468*c_1001_2^28 + 4378222038245661170950960203761539691314434594480144655850182571386\ 501134/696278998409497349205311426441675005243463556146520020516816\ 20997389361617*c_1001_2^27 + 32802050332795453766685476550492848553\ 946880146440942674703018333963242847/278511599363798939682124570576\ 670002097385422458608008206726483989557446468*c_1001_2^26 + 2953679494137865114712496177877575762251366317067572667923375407360\ 3691427/27851159936379893968212457057667000209738542245860800820672\ 6483989557446468*c_1001_2^25 + 547835532748551802480749655194207432\ 66255238956644912776278027581394343340/6962789984094973492053114264\ 4167500524346355614652002051681620997389361617*c_1001_2^24 + 9851207893397645430154960223332471254707589105431442595357989386548\ 65954225/2785115993637989396821245705766700020973854224586080082067\ 26483989557446468*c_1001_2^23 + 50171298728947790096895346086711035\ 5471305268775843918864672494229751650603/69627899840949734920531142\ 644167500524346355614652002051681620997389361617*c_1001_2^22 + 3866126157965815965348630737084426029538912364579749995153067071013\ 175383961/278511599363798939682124570576670002097385422458608008206\ 726483989557446468*c_1001_2^21 + 8217005744825540129592658005065121\ 869745655797491256399639150226529067821835/278511599363798939682124\ 570576670002097385422458608008206726483989557446468*c_1001_2^20 + 6222160868882739834254465203508426294739637523391621846895968620068\ 479401577/139255799681899469841062285288335001048692711229304004103\ 363241994778723234*c_1001_2^19 + 1810336979403044412418672645524772\ 1720101351140105571433972161885446392921657/27851159936379893968212\ 4570576670002097385422458608008206726483989557446468*c_1001_2^18 + 1366458886065494018687111375498024939297744904525837163229590304841\ 5903353937/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^17 + 146131610113227026035746062612794\ 75543301665919898842615861311234346956375527/1392557996818994698410\ 62285288335001048692711229304004103363241994778723234*c_1001_2^16 + 7315048619355175294777631464085984879719044983772772694919905651116\ 186108485/696278998409497349205311426441675005243463556146520020516\ 81620997389361617*c_1001_2^15 + 25483231189730969130277255610120674\ 428878539992853916184530636215238266654533/278511599363798939682124\ 570576670002097385422458608008206726483989557446468*c_1001_2^14 + 1829054251387609109914637719714989755901958746461367183881499922657\ 625002720/696278998409497349205311426441675005243463556146520020516\ 81620997389361617*c_1001_2^13 - 12902923372867874543507477637280254\ 32045483189548824969352284827683824413006/6962789984094973492053114\ 2644167500524346355614652002051681620997389361617*c_1001_2^12 - 6188586813856540411183691002050915974806348371241912155745311124518\ 808308826/696278998409497349205311426441675005243463556146520020516\ 81620997389361617*c_1001_2^11 - 32193540979898923854672950209734920\ 551226509933147608955876626291699025171637/278511599363798939682124\ 570576670002097385422458608008206726483989557446468*c_1001_2^10 - 1907954338916342306388721574388830006610845853699258332593218000108\ 0959132669/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^9 - 1483853200418148153216785801934794\ 9662403609087436820276129137272090395867387/13925579968189946984106\ 2285288335001048692711229304004103363241994778723234*c_1001_2^8 - 2223388794127997163141753093426535817041879447269513827927769883586\ 5666100775/27851159936379893968212457057667000209738542245860800820\ 6726483989557446468*c_1001_2^7 - 9412103434765377280757980437997068\ 355069500342645865518796183789609144040289/278511599363798939682124\ 570576670002097385422458608008206726483989557446468*c_1001_2^6 - 1412449605225072887547536866985174664407612582409779271161895484187\ 172512803/139255799681899469841062285288335001048692711229304004103\ 363241994778723234*c_1001_2^5 + 11471169956347462194755557313805400\ 70688606840313393476284672456437405676957/1392557996818994698410622\ 85288335001048692711229304004103363241994778723234*c_1001_2^4 + 1515014426117257870338108728749837996039719465528437795975912437149\ 380782461/139255799681899469841062285288335001048692711229304004103\ 363241994778723234*c_1001_2^3 + 19203025732358035782088263918350991\ 79193278797606090732485398428212765244393/2785115993637989396821245\ 70576670002097385422458608008206726483989557446468*c_1001_2^2 + 9807550053494154114843493546303995310679446273608276997715228423637\ 49153859/2785115993637989396821245705766700020973854224586080082067\ 26483989557446468*c_1001_2 + 90147972878086080246901130135114586346\ 451183744988340802355325308403813804/696278998409497349205311426441\ 67500524346355614652002051681620997389361617, c_0101_11 + 14690746907009127312015426094445337690825203593565100624077\ 708584161119655/278511599363798939682124570576670002097385422458608\ 008206726483989557446468*c_1001_2^28 + 2356553082953162672097698644265727426440820587770455054773011299032\ 4946243/69627899840949734920531142644167500524346355614652002051681\ 620997389361617*c_1001_2^27 + 2437918529404963521746079348767581696\ 83476521683668260628769198813629305785/2785115993637989396821245705\ 76670002097385422458608008206726483989557446468*c_1001_2^26 + 3673551937765371273921371491600364670241350867290298180622950556031\ 75741089/2785115993637989396821245705766700020973854224586080082067\ 26483989557446468*c_1001_2^25 + 32773178561946537340035370422433840\ 5068041592388531344189519634042989686440/69627899840949734920531142\ 644167500524346355614652002051681620997389361617*c_1001_2^24 + 5728520563562246695051809362248034367816127532480059765800408284792\ 752809611/278511599363798939682124570576670002097385422458608008206\ 726483989557446468*c_1001_2^23 + 3698894221452499732278939102434524\ 918081873286185394756374324831299102615705/696278998409497349205311\ 42644167500524346355614652002051681620997389361617*c_1001_2^22 + 3166061149788061544255778218270459728446252111822611130650684514167\ 4168508035/27851159936379893968212457057667000209738542245860800820\ 6726483989557446468*c_1001_2^21 + 668008565267835310450274698597683\ 63968314485962482696014182500760112719257337/2785115993637989396821\ 24570576670002097385422458608008206726483989557446468*c_1001_2^20 + 5957156222652096554825622167078007666035356839716595486748966824212\ 1786140753/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^19 + 192291002310673661248770548220130\ 315781647450197966824101366812842472716981019/278511599363798939682\ 124570576670002097385422458608008206726483989557446468*c_1001_2^18 + 1500202622965395251802885995838707686939550559958669833626583671829\ 69625542559/1392557996818994698410622852883350010486927112293040041\ 03363241994778723234*c_1001_2^17 + 2041565212332043622851866098927661315049485913023858731037284506612\ 47290914473/1392557996818994698410622852883350010486927112293040041\ 03363241994778723234*c_1001_2^16 + 1259096495665023166642405880507160916327128021998970994834058653658\ 76698526250/6962789984094973492053114264416750052434635561465200205\ 1681620997389361617*c_1001_2^15 + 570953866020162065984839163385604\ 991029244386713144570066899204228801741490167/278511599363798939682\ 124570576670002097385422458608008206726483989557446468*c_1001_2^14 + 1378832227055928767813084257018847274154746822470384770569796101194\ 86613226599/6962789984094973492053114264416750052434635561465200205\ 1681620997389361617*c_1001_2^13 + 119634003615726427827546473460831\ 217575110597464333779778769826528407379379966/696278998409497349205\ 31142644167500524346355614652002051681620997389361617*c_1001_2^12 + 8414683306872579280641948686782202223419546089339539376420749771894\ 4671897464/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^11 + 1848392277664826877924327339473754\ 96328399330601640975696523824507766937349469/2785115993637989396821\ 24570576670002097385422458608008206726483989557446468*c_1001_2^10 + 2038718155631282061317986315902540697722552118786348948931451618969\ 3553376631/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^9 - 2246488560767737333049459488077605\ 6939204251843221771879137720527016206082415/13925579968189946984106\ 2285288335001048692711229304004103363241994778723234*c_1001_2^8 - 8438068687702071348631846621571364746630227757311963185576758213937\ 0023490901/27851159936379893968212457057667000209738542245860800820\ 6726483989557446468*c_1001_2^7 - 7125822066860143406456257714583081\ 8796972702658928753859878588273585373250907/27851159936379893968212\ 4570576670002097385422458608008206726483989557446468*c_1001_2^6 - 2179277603544564923811651002062627017298915858507225561799935348875\ 7468724301/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^5 - 7053353800564759785540730107534759\ 283567625747414023697748286721745683130571/139255799681899469841062\ 285288335001048692711229304004103363241994778723234*c_1001_2^4 + 1802059566798133582569485388498677805241742900701828834133125561137\ 827731377/139255799681899469841062285288335001048692711229304004103\ 363241994778723234*c_1001_2^3 + 67219051713608904862628975252193740\ 84001397299191691597818126253034081278311/2785115993637989396821245\ 70576670002097385422458608008206726483989557446468*c_1001_2^2 + 3992856802658459792120480046361668536374098719451753523387268276218\ 472960373/278511599363798939682124570576670002097385422458608008206\ 726483989557446468*c_1001_2 + 2291677085453047727877844994726403082\ 46292094258445144013799110209914823509/6962789984094973492053114264\ 4167500524346355614652002051681620997389361617, c_0101_2 - 165443859317680200846720545002009388224350506473257299905708\ 57756187067065/2785115993637989396821245705766700020973854224586080\ 08206726483989557446468*c_1001_2^28 - 2453506764002369654473816153103697198097078307723519472046764699677\ 0435429/69627899840949734920531142644167500524346355614652002051681\ 620997389361617*c_1001_2^27 - 2266554718224531299748519854706351017\ 15607836210345288726334367866449094259/2785115993637989396821245705\ 76670002097385422458608008206726483989557446468*c_1001_2^26 - 3040096677949956177040999105201372150112259164091525460883715882088\ 35643343/2785115993637989396821245705766700020973854224586080082067\ 26483989557446468*c_1001_2^25 - 33447914466434755819810774408873209\ 4783347368655521417774382256688152509543/69627899840949734920531142\ 644167500524346355614652002051681620997389361617*c_1001_2^24 - 5830237784194588818964104810815518052192818476575524697311477659638\ 151357457/278511599363798939682124570576670002097385422458608008206\ 726483989557446468*c_1001_2^23 - 3463990948625800834058533579157932\ 227214874096251001088682780861119686247395/696278998409497349205311\ 42644167500524346355614652002051681620997389361617*c_1001_2^22 - 2900113737047317270419492583119518161737342981063218583435465838612\ 6535030349/27851159936379893968212457057667000209738542245860800820\ 6726483989557446468*c_1001_2^21 - 617031611126779193514534916972376\ 32104075089025872091238149350059731876703207/2785115993637989396821\ 24570576670002097385422458608008206726483989557446468*c_1001_2^20 - 5285350696530194472887501372799692921251948661028872397716503320047\ 8107613743/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^19 - 168266198745359476833689609071525\ 957973250427159043121027728244899163308673997/278511599363798939682\ 124570576670002097385422458608008206726483989557446468*c_1001_2^18 - 1315236888655271900352158571500718718588845283516359266867541548068\ 84210090455/1392557996818994698410622852883350010486927112293040041\ 03363241994778723234*c_1001_2^17 - 1722500107252840147420585939877013816113840122708026552685147598544\ 47337753583/1392557996818994698410622852883350010486927112293040041\ 03363241994778723234*c_1001_2^16 - 1049066518482340008324926967465770915421010410391861013934778500510\ 12199466474/6962789984094973492053114264416750052434635561465200205\ 1681620997389361617*c_1001_2^15 - 471173179313204938533711841219742\ 751000903021780194286253023163279421297316565/278511599363798939682\ 124570576670002097385422458608008206726483989557446468*c_1001_2^14 - 1090020206091007412633864913682400904640106855939042129767248469648\ 76906809934/6962789984094973492053114264416750052434635561465200205\ 1681620997389361617*c_1001_2^13 - 952577017436274760570301720364039\ 78308830534762761025729249950185533688332738/6962789984094973492053\ 1142644167500524346355614652002051681620997389361617*c_1001_2^12 - 6418357845183623140151096441784283541976205276497369686640600337363\ 8181957406/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^11 - 1442902232908361846950983815278296\ 92551288902026996504178751634965488351118651/2785115993637989396821\ 24570576670002097385422458608008206726483989557446468*c_1001_2^10 - 1541795414715824238946318426652707403702005676812381178617303349676\ 4274760081/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^9 + 1246475892133115905527250794883663\ 8810263742336532176629292992925392659535677/13925579968189946984106\ 2285288335001048692711229304004103363241994778723234*c_1001_2^8 + 5676654020154284593221311800718171447775158326242064905003963192625\ 4885750299/27851159936379893968212457057667000209738542245860800820\ 6726483989557446468*c_1001_2^7 + 4188774385375639797857692499485650\ 4042601759882575400604942118515775435844289/27851159936379893968212\ 4570576670002097385422458608008206726483989557446468*c_1001_2^6 + 1358776636643738711128675087238722534098120750355617437934781175705\ 2679683971/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^5 + 3412428256749788840941329401711102\ 524103461339289817575491052553603552856989/139255799681899469841062\ 285288335001048692711229304004103363241994778723234*c_1001_2^4 - 1558431077723518825971551286087414518636212627773730235692439792066\ 387950537/139255799681899469841062285288335001048692711229304004103\ 363241994778723234*c_1001_2^3 - 26644944137495687223735618350402632\ 03185146651478621641180611459146079873797/2785115993637989396821245\ 70576670002097385422458608008206726483989557446468*c_1001_2^2 - 1748954433653846542854036454966194954720048217960162217917137264172\ 324848143/278511599363798939682124570576670002097385422458608008206\ 726483989557446468*c_1001_2 - 4580633603953035875323921854507280243\ 5844877333102846994936032439438086044/69627899840949734920531142644\ 167500524346355614652002051681620997389361617, c_0101_3 + 199974501276910064391746989094162718368113685162511332112360\ 39638043715005/2785115993637989396821245705766700020973854224586080\ 08206726483989557446468*c_1001_2^28 + 2950418128316829888974388082268138686651397459712875669889109177455\ 0072353/69627899840949734920531142644167500524346355614652002051681\ 620997389361617*c_1001_2^27 + 2733141528517613570621628653975039270\ 32490393319977982535653280195874165635/2785115993637989396821245705\ 76670002097385422458608008206726483989557446468*c_1001_2^26 + 3752654613265635716896742418158991801820998911085365101368841496864\ 93352923/2785115993637989396821245705766700020973854224586080082067\ 26483989557446468*c_1001_2^25 + 40966621998487295564462785005784978\ 2071812717189589580949459898500342697854/69627899840949734920531142\ 644167500524346355614652002051681620997389361617*c_1001_2^24 + 7036119349299792485060729300894659492242622930817518882843885473136\ 723522921/278511599363798939682124570576670002097385422458608008206\ 726483989557446468*c_1001_2^23 + 4188491304419003073383196145618448\ 882383697430472904957649416883526696595099/696278998409497349205311\ 42644167500524346355614652002051681620997389361617*c_1001_2^22 + 3548083095892472414153687011482261823885076771257595791678927923552\ 5898871525/27851159936379893968212457057667000209738542245860800820\ 6726483989557446468*c_1001_2^21 + 755315986258811576784950411927020\ 52096720006535938866986579222535911931374787/2785115993637989396821\ 24570576670002097385422458608008206726483989557446468*c_1001_2^20 + 6484016214846173987762884529190388098211367366853388207857554781361\ 6968511145/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^19 + 208481954172921066550459375370701\ 022477192096469576870599473974734453243659917/278511599363798939682\ 124570576670002097385422458608008206726483989557446468*c_1001_2^18 + 1631003898919907417304420296971294335840232437391996738158857408850\ 83828464543/1392557996818994698410622852883350010486927112293040041\ 03363241994778723234*c_1001_2^17 + 2146829221622845360785035923944720114571183580153625854994544890290\ 60792512849/1392557996818994698410622852883350010486927112293040041\ 03363241994778723234*c_1001_2^16 + 1324631916996340564572196493924805968409642047069135573937535918885\ 68514974581/6962789984094973492053114264416750052434635561465200205\ 1681620997389361617*c_1001_2^15 + 597157289694161089050420856235426\ 020134115136464688021760696114747196276327637/278511599363798939682\ 124570576670002097385422458608008206726483989557446468*c_1001_2^14 + 1402438752639837924452663055832214495577008028261679271218370076459\ 57978272135/6962789984094973492053114264416750052434635561465200205\ 1681620997389361617*c_1001_2^13 + 124989226150299146668198312635381\ 887025996221700741236494949834280571534720384/696278998409497349205\ 31142644167500524346355614652002051681620997389361617*c_1001_2^12 + 8535485586245483212723718001243892215863992082125631069830959242631\ 1978701189/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^11 + 2026348196174910895843635988645720\ 01527866714284199284981468379183892925038323/2785115993637989396821\ 24570576670002097385422458608008206726483989557446468*c_1001_2^10 + 2525329171995450170590843144594271628935007069086031117539303383035\ 9130656561/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^9 - 1222189384384705451175516730357782\ 6393296683427664779734256861364449439599413/13925579968189946984106\ 2285288335001048692711229304004103363241994778723234*c_1001_2^8 - 7442422674454613242142759719911132503697728983104716866298463158782\ 1748934635/27851159936379893968212457057667000209738542245860800820\ 6726483989557446468*c_1001_2^7 - 5635821359866808436600531926719837\ 0559968614472695189423328773451111424567129/27851159936379893968212\ 4570576670002097385422458608008206726483989557446468*c_1001_2^6 - 2081191526482957229558485106469414469823467685518099076952212660455\ 9719635799/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^5 - 5896689244094092071919944712003141\ 558291230414693147189454060637662369114595/139255799681899469841062\ 285288335001048692711229304004103363241994778723234*c_1001_2^4 + 6558872007783801260824827687276832271850143641582910116442361634800\ 73992879/1392557996818994698410622852883350010486927112293040041033\ 63241994778723234*c_1001_2^3 + 386314787478571989935035182679133961\ 9645269300635880944080151505356236754193/27851159936379893968212457\ 0576670002097385422458608008206726483989557446468*c_1001_2^2 + 2651698600095253458711126682645945275262119830767619465097513899885\ 276562391/278511599363798939682124570576670002097385422458608008206\ 726483989557446468*c_1001_2 + 1124602859567236699055446345607959224\ 75896650321402225287175857337203241654/6962789984094973492053114264\ 4167500524346355614652002051681620997389361617, c_0101_8 + 893713883778485197372081525689158145326401851371844016670718\ 2580348267245/27851159936379893968212457057667000209738542245860800\ 8206726483989557446468*c_1001_2^28 + 1306018830113483815172492663637164511771403029572452529603533087223\ 4332272/69627899840949734920531142644167500524346355614652002051681\ 620997389361617*c_1001_2^27 + 1193177895718693424026399296139021092\ 80907133091780616790855598831806049115/2785115993637989396821245705\ 76670002097385422458608008206726483989557446468*c_1001_2^26 + 1612635501317623195397831910360348316342451591417762308927362114783\ 40034751/2785115993637989396821245705766700020973854224586080082067\ 26483989557446468*c_1001_2^25 + 18034542542248924593008113838982222\ 2247510313932046990454549343659519354612/69627899840949734920531142\ 644167500524346355614652002051681620997389361617*c_1001_2^24 + 3094187222294395067825686011179931792344072382519301081708897469005\ 225517301/278511599363798939682124570576670002097385422458608008206\ 726483989557446468*c_1001_2^23 + 1825265214077074927807266052610511\ 828109809533689196670009081254587026896645/696278998409497349205311\ 42644167500524346355614652002051681620997389361617*c_1001_2^22 + 1543779198690002600811123345794219619273997715093572757094065591983\ 3886815953/27851159936379893968212457057667000209738542245860800820\ 6726483989557446468*c_1001_2^21 + 327631047547575205137298985246270\ 14970083965830771572939506426655340625720487/2785115993637989396821\ 24570576670002097385422458608008206726483989557446468*c_1001_2^20 + 2780191274785995605274728355089407799379567410912338027087080251704\ 8079981157/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^19 + 889146334839706422574631262781444\ 05965837364683137866588582588684077011891309/2785115993637989396821\ 24570576670002097385422458608008206726483989557446468*c_1001_2^18 + 6917988858669826416742474640573318830768514411509928819122076510560\ 5072686233/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^17 + 896017599711356572327420665759598\ 11266675658130816333802875859746186281383301/1392557996818994698410\ 62285288335001048692711229304004103363241994778723234*c_1001_2^16 + 5464181640456254772735169640509491186884937911710485961715226930782\ 6461338158/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^15 + 2415971036177632113436957762030148\ 88943699719655169414823832238741434636387825/2785115993637989396821\ 24570576670002097385422458608008206726483989557446468*c_1001_2^14 + 5443661971486662278399057815524718127866225187498690302919206537825\ 2532826170/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^13 + 4665378481644048155298361960734244\ 4464366107273238563297521875442360221943854/69627899840949734920531\ 142644167500524346355614652002051681620997389361617*c_1001_2^12 + 2829774153528049562638012859585522332151426343225130584352042305198\ 9257073725/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^11 + 5384825631061604957716291244870027\ 7177153703268595415706821099934013938299339/27851159936379893968212\ 4570576670002097385422458608008206726483989557446468*c_1001_2^10 - 3872743885866957128355101846313646350066521224406066572487821964289\ 304059423/139255799681899469841062285288335001048692711229304004103\ 363241994778723234*c_1001_2^9 - 16418736259385250774394950948488877\ 179658404891752644544791070535018297615451/139255799681899469841062\ 285288335001048692711229304004103363241994778723234*c_1001_2^8 - 4573279719071977949346425094040766723647440160842349417138994978504\ 3379306911/27851159936379893968212457057667000209738542245860800820\ 6726483989557446468*c_1001_2^7 - 3026850772166202758732086952783287\ 7172832431141221211675942420185117809512621/27851159936379893968212\ 4570576670002097385422458608008206726483989557446468*c_1001_2^6 - 9426577246809395073678027534713936925255110491684155635194606915221\ 730980863/139255799681899469841062285288335001048692711229304004103\ 363241994778723234*c_1001_2^5 - 15281390952718433471495834482108379\ 53382511687726567947394274543964648384765/1392557996818994698410622\ 85288335001048692711229304004103363241994778723234*c_1001_2^4 + 1332526988633779725482140219501712235974183279935195265880791217236\ 886268325/139255799681899469841062285288335001048692711229304004103\ 363241994778723234*c_1001_2^3 + 30634210725021337132278240583491378\ 44311156881113616978003248277028453186481/2785115993637989396821245\ 70576670002097385422458608008206726483989557446468*c_1001_2^2 + 1924344518411980106972049997496533490309351600991063843685628273950\ 280626883/278511599363798939682124570576670002097385422458608008206\ 726483989557446468*c_1001_2 + 1071275615375188689609119265012835783\ 79322601865808824395716940920733597482/6962789984094973492053114264\ 4167500524346355614652002051681620997389361617, c_0110_4 + 441591680934950804046144592530612051071434962629099665319315\ 2694868776645/27851159936379893968212457057667000209738542245860800\ 8206726483989557446468*c_1001_2^28 + 7356206802577399894201018816112857096502326485277025545274120600013\ 576432/696278998409497349205311426441675005243463556146520020516816\ 20997389361617*c_1001_2^27 + 80181267954020296081847097191263317127\ 538527839219631304181305804633486307/278511599363798939682124570576\ 670002097385422458608008206726483989557446468*c_1001_2^26 + 1281524725977732322865860204335751247038838102362945098363091281990\ 76968771/2785115993637989396821245705766700020973854224586080082067\ 26483989557446468*c_1001_2^25 + 10541039213039949181540560224560898\ 1389772013432232277444300444803069190276/69627899840949734920531142\ 644167500524346355614652002051681620997389361617*c_1001_2^24 + 1823403028922450195335223074489439820161818049604612822778522741625\ 520312205/278511599363798939682124570576670002097385422458608008206\ 726483989557446468*c_1001_2^23 + 1219361948481178275782654374221754\ 602335397514725685268124731104695186320807/696278998409497349205311\ 42644167500524346355614652002051681620997389361617*c_1001_2^22 + 1061005368336571195962334740779812171743811350880124344722857414974\ 3167015425/27851159936379893968212457057667000209738542245860800820\ 6726483989557446468*c_1001_2^21 + 224560111018233443560111542883285\ 15142111378203925067888752368839668535191703/2785115993637989396821\ 24570576670002097385422458608008206726483989557446468*c_1001_2^20 + 2047884851171466669485382901454439001426921027481983056616466479032\ 0948096837/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^19 + 671712413062910998296394811118818\ 66901823839956573962642631806772923302702749/2785115993637989396821\ 24570576670002097385422458608008206726483989557446468*c_1001_2^18 + 5282020008286382761740615248847749105340874415661288488819107594094\ 5443534025/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^17 + 736741738357267166154014137584498\ 86686212419860344901585820291031803934550475/1392557996818994698410\ 62285288335001048692711229304004103363241994778723234*c_1001_2^16 + 4649541762151064901806148105834457035775699467000732652881936155799\ 4667029605/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^15 + 2160110858733919755305661276757069\ 42601522503463563308990552108698037425253353/2785115993637989396821\ 24570576670002097385422458608008206726483989557446468*c_1001_2^14 + 5462143968586422378779354390750183796641011773143641386429886504310\ 4813429934/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^13 + 4973327662791013601335924030915087\ 8910383692600232400361340678869615890676846/69627899840949734920531\ 142644167500524346355614652002051681620997389361617*c_1001_2^12 + 3834544327396856484704774191677327665847176920705935816111162520115\ 7105663658/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^11 + 9778911621974787024209224019853431\ 6549842049458201811906195541668041596183883/27851159936379893968212\ 4570576670002097385422458608008206726483989557446468*c_1001_2^10 + 2124011881797120780570460579942249840227669969355568514929523865044\ 4992050239/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^9 + 1111867022377376206994330009144761\ 497366756022294641441083625208987678648083/139255799681899469841062\ 285288335001048692711229304004103363241994778723234*c_1001_2^8 - 2007450037795287723836591994211786850532003901718815592374556808738\ 4886779295/27851159936379893968212457057667000209738542245860800820\ 6726483989557446468*c_1001_2^7 - 2389023241919573207476506701282760\ 0340574883152137485198261571956817173734373/27851159936379893968212\ 4570576670002097385422458608008206726483989557446468*c_1001_2^6 - 8633984210865110954231678331891103663324709935081917011138779430686\ 787573603/139255799681899469841062285288335001048692711229304004103\ 363241994778723234*c_1001_2^5 - 43283432602532280252732964119040792\ 57005170086597517351302734310135676513271/1392557996818994698410622\ 85288335001048692711229304004103363241994778723234*c_1001_2^4 - 6220498486685548829557693669375858672491288913796544098235063050681\ 54890745/1392557996818994698410622852883350010486927112293040041033\ 63241994778723234*c_1001_2^3 + 136995075831943965477103914045240148\ 7079967611790895331112772111245053001497/27851159936379893968212457\ 0576670002097385422458608008206726483989557446468*c_1001_2^2 + 1333432372357555449748121344992625125301841529713799331857051285183\ 252803055/278511599363798939682124570576670002097385422458608008206\ 726483989557446468*c_1001_2 + 9690850408690627017019807940339482636\ 9872985316626063066204349097268971490/69627899840949734920531142644\ 167500524346355614652002051681620997389361617, c_0110_6 - 452731465396065723933861462549556233178427253794759732360115\ 4834470098475/13925579968189946984106228528833500104869271122930400\ 4103363241994778723234*c_1001_2^28 - 1349727531574465771224694028387444958339841253979686484798689232397\ 4368370/69627899840949734920531142644167500524346355614652002051681\ 620997389361617*c_1001_2^27 - 6263571269839072912503586795499057277\ 0341669428299117951859817335476619855/13925579968189946984106228528\ 8335001048692711229304004103363241994778723234*c_1001_2^26 - 8344564738557514626909585623369209505688244115536598990940509180714\ 4273683/13925579968189946984106228528833500104869271122930400410336\ 3241994778723234*c_1001_2^25 - 181746251691349867693760833276083376\ 967833427921807900995267528095251023930/696278998409497349205311426\ 44167500524346355614652002051681620997389361617*c_1001_2^24 - 1597470324321755994188767324892594415089260810838248502526061830668\ 972233743/139255799681899469841062285288335001048692711229304004103\ 363241994778723234*c_1001_2^23 - 1907822613898570453372493604200860\ 998594802935520789425695251539226748739573/696278998409497349205311\ 42644167500524346355614652002051681620997389361617*c_1001_2^22 - 7944264101138996088824837310424472697285155806710811578478410084642\ 180397029/139255799681899469841062285288335001048692711229304004103\ 363241994778723234*c_1001_2^21 - 1681431358129432824243772332375896\ 9507156323450327373256117275610227821356449/13925579968189946984106\ 2285288335001048692711229304004103363241994778723234*c_1001_2^20 - 1437353043155338036123128293960475554157929553111514354143621105609\ 9620571310/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^19 - 4542201083343836800849658684640510\ 8059092961422619247222391169108179279225207/13925579968189946984106\ 2285288335001048692711229304004103363241994778723234*c_1001_2^18 - 3525226510626923626299244678009484182908648275554646597172167183071\ 9059834855/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^17 - 4585202228736802714362346944737784\ 8902813368973733631718080890989756380441941/69627899840949734920531\ 142644167500524346355614652002051681620997389361617*c_1001_2^16 - 5500456040812356498480888928211065011377480041151157055745922254888\ 6585393240/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^15 - 1212066412971626786327224158208604\ 09374917987513273081945001264270343256012451/1392557996818994698410\ 62285288335001048692711229304004103363241994778723234*c_1001_2^14 - 5445417357706845038740358271895729588107825461316083237101298499352\ 5506063920/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^13 - 4518971943526274562580189777235590\ 9722301747110083047426407366846779465685969/69627899840949734920531\ 142644167500524346355614652002051681620997389361617*c_1001_2^12 - 2734859454604041794789792732165944257193690952299020468583744050343\ 4375252810/69627899840949734920531142644167500524346355614652002051\ 681620997389361617*c_1001_2^11 - 2425797382334149141995630759499481\ 2008124407242088110592879477786256553116649/13925579968189946984106\ 2285288335001048692711229304004103363241994778723234*c_1001_2^10 + 2748311338991935069840448472620634874741010893218070618126064904097\ 206610714/696278998409497349205311426441675005243463556146520020516\ 81620997389361617*c_1001_2^9 + 845680091106552840864981968680626443\ 9309137382463141547307613775275521514969/69627899840949734920531142\ 644167500524346355614652002051681620997389361617*c_1001_2^8 + 2167869422196671383820350476650334279567108033759807439417231491818\ 9110083829/13925579968189946984106228528833500104869271122930400410\ 3363241994778723234*c_1001_2^7 + 1407808268378532407573728563210626\ 5905614470297086504565761014316824975867603/13925579968189946984106\ 2285288335001048692711229304004103363241994778723234*c_1001_2^6 + 3794185905428532518306358408326795034974220740157187717759807993055\ 882887415/696278998409497349205311426441675005243463556146520020516\ 81620997389361617*c_1001_2^5 + 349332014599918920147565964255098839\ 348470026886860929875271439200442846780/696278998409497349205311426\ 44167500524346355614652002051681620997389361617*c_1001_2^4 - 8844455481925600031987607440279652894172396080879052591913754648621\ 11800960/6962789984094973492053114264416750052434635561465200205168\ 1620997389361617*c_1001_2^3 - 1654614530473965712531031826332498807\ 814084174048267039234961025048751547665/139255799681899469841062285\ 288335001048692711229304004103363241994778723234*c_1001_2^2 - 6288605028685732965878010258750000469252810385258437429923508283136\ 91198735/1392557996818994698410622852883350010486927112293040041033\ 63241994778723234*c_1001_2 - 33056596523851466340695285291718857696\ 579016428202800794733098482031412623/696278998409497349205311426441\ 67500524346355614652002051681620997389361617, c_1001_2^29 + 32/5*c_1001_2^28 + 83/5*c_1001_2^27 + 127/5*c_1001_2^26 + 452/5*c_1001_2^25 + 1953/5*c_1001_2^24 + 5048/5*c_1001_2^23 + 10889/5*c_1001_2^22 + 4607*c_1001_2^21 + 8234*c_1001_2^20 + 66857/5*c_1001_2^19 + 104574/5*c_1001_2^18 + 142822/5*c_1001_2^17 + 177592/5*c_1001_2^16 + 202329/5*c_1001_2^15 + 197176/5*c_1001_2^14 + 173148/5*c_1001_2^13 + 122908/5*c_1001_2^12 + 68999/5*c_1001_2^11 + 15926/5*c_1001_2^10 - 16366/5*c_1001_2^9 - 32451/5*c_1001_2^8 - 28317/5*c_1001_2^7 - 18662/5*c_1001_2^6 - 6842/5*c_1001_2^5 + 382/5*c_1001_2^4 + 2461/5*c_1001_2^3 + 1819/5*c_1001_2^2 + 652/5*c_1001_2 + 112/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 8.790 Total time: 9.000 seconds, Total memory usage: 83.50MB