Magma V2.19-8 Tue Aug 20 2013 23:43:38 on localhost [Seed = 2547118749] Type ? for help. Type -D to quit. Loading file "K13n140__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n140 geometric_solution 10.52412232 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 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 0 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 0 0 0 0 6 -1 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.962095528265 0.808939048029 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 0 0 0 6 -6 -6 0 0 6 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.704555229021 0.592567934272 5 0 8 5 3012 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 -1 1 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.639639085691 0.415118856278 6 7 4 0 0132 2031 3201 0132 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 -1 0 1 0 0 0 0 0 -5 0 5 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.390908867179 0.379271582269 3 9 0 9 2310 0132 0132 2310 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 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.147815318555 1.453140706392 8 1 2 2 2031 0132 0132 1230 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 -1 0 0 1 -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.444733424418 1.042351672467 3 10 1 11 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 6 -6 -1 0 0 1 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.046800301265 1.169061711859 3 10 9 1 1302 1302 0321 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 1 0 5 -6 1 0 0 -1 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.318673139291 0.481725832824 10 11 5 2 2103 2103 1302 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 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.198498094615 1.140049196005 4 4 7 11 3201 0132 0321 2103 0 0 0 0 0 0 0 0 1 0 -1 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 -5 0 5 0 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.069284080367 0.681116940181 11 6 8 7 0213 0132 2103 2031 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 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.451746772155 0.395093479846 10 8 6 9 0213 2103 0132 2103 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 -6 0 6 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.559253225139 0.546610348667 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_8'], 'c_1001_10' : d['c_0011_8'], 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0110_10'], 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0011_7'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0110_9']), 'c_1001_8' : negation(d['c_0011_0']), 'c_1010_11' : negation(d['c_1001_2']), 'c_1010_10' : d['c_0011_7'], 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : negation(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_10' : d['1'], 's_2_11' : negation(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_1100_9' : d['c_0110_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_7' : negation(d['c_0110_9']), 'c_1100_6' : negation(d['c_0110_9']), 'c_1100_1' : negation(d['c_0110_9']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0101_5'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_9']), 'c_1100_10' : negation(d['c_0101_2']), 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_0011_8'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0110_9']), 'c_1010_3' : d['c_0011_7'], 'c_1010_2' : d['c_0011_7'], 'c_1010_1' : d['c_0011_7'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_0101_5'], '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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(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' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0110_10']), 'c_0110_10' : d['c_0110_10'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_10'], '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_0011_10'], 'c_0101_8' : negation(d['c_0011_0']), 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_10, c_0110_9, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 6170882455362926920816340991956152868381750362991170689147711583936\ 755/276464981230515729517763251683399006724121808990968226641380852\ 403069056*c_1001_2^24 - 2506365787892027523249837612338127378293130\ 52959768728073870147500517/2658317127216497399209262035417298141578\ 094317220848333090200503875664*c_1001_2^23 + 5464397380710022993849891877396629326144943783818691978896366992770\ 859/212665370177319791936740962833383851326247545377667866647216040\ 31005312*c_1001_2^22 - 21380493788788419490104049355704487667605219\ 731086633925733503796151715/953327521484536998337114660977237954221\ 1096861757525056599339738036864*c_1001_2^21 + 4292091281052136652435523181294306866552111433866621425425035878771\ 62651/6911624530762893237944081292084975168103045224774205666034521\ 3100767264*c_1001_2^20 - 422286421030951478151232186074617826626703\ 2607953909673371755013481740485/27646498123051572951776325168339900\ 6724121808990968226641380852403069056*c_1001_2^19 + 4379525496767983784664755286065593811675318305325385479852592496046\ 33475/9533275214845369983371146609772379542211096861757525056599339\ 738036864*c_1001_2^18 - 3230045157725817575915103954903680131728176\ 7174779657756681355620556998681/27646498123051572951776325168339900\ 6724121808990968226641380852403069056*c_1001_2^17 + 1483453970681179244378720457050499298371467610860823549502119256276\ 6887813/13823249061525786475888162584169950336206090449548411332069\ 0426201534528*c_1001_2^16 + 158358001269943852952803136565633983382\ 71429663505615583745842169912354401/2764649812305157295177632516833\ 99006724121808990968226641380852403069056*c_1001_2^15 - 5545088118881867602389188357027642021324697035418623683260333805489\ 5909127/27646498123051572951776325168339900672412180899096822664138\ 0852403069056*c_1001_2^14 + 127480247196001187750618765575569171634\ 515580583972115468382356267242410697/138232490615257864758881625841\ 699503362060904495484113320690426201534528*c_1001_2^13 - 2721480807924448580017161055444355698586202781715033051355523057995\ 29639251/6911624530762893237944081292084975168103045224774205666034\ 5213100767264*c_1001_2^12 + 171700193256615553776523171912296644934\ 9336621465257228479162367178285618267/27646498123051572951776325168\ 3399006724121808990968226641380852403069056*c_1001_2^11 + 1009016103179982188161986799777494256880904413633485414192974924604\ 9297899/43197653317268082737150508075531094800644032654838785412715\ 75818797954*c_1001_2^10 - 52795787654696867048887906065940125977479\ 78927905453793589211370115030346909/2764649812305157295177632516833\ 99006724121808990968226641380852403069056*c_1001_2^9 + 8767784019333763030721363775730611093670327129848757946429798868751\ 0572919/45322128070576349101272664210393279790839640818191512564160\ 79547591296*c_1001_2^8 + 209802382221745170875923787798551273904910\ 65078663702825780624020673188325/5316634254432994798418524070834596\ 283156188634441696666180401007751328*c_1001_2^7 - 4559350018538962891532959709019902299922390223769810831266975838994\ 527354543/276464981230515729517763251683399006724121808990968226641\ 380852403069056*c_1001_2^6 + 11493166556215170206452298785415034503\ 7846565492371609198070718306676569333/27646498123051572951776325168\ 3399006724121808990968226641380852403069056*c_1001_2^5 + 5838139268211827385658070043026921068556445582861080435315156966876\ 5286765/45322128070576349101272664210393279790839640818191512564160\ 79547591296*c_1001_2^4 - 171108999903600402845645104170993420974390\ 58913474387450673319538032685791/2658317127216497399209262035417298\ 141578094317220848333090200503875664*c_1001_2^3 - 6989900976971886978705578826321823035768699982560406086829645155804\ 506577/212665370177319791936740962833383851326247545377667866647216\ 04031005312*c_1001_2^2 - 136047273408288535846575942176094278933213\ 1248506853326417704008019080729/95332752148453699833711466097723795\ 42211096861757525056599339738036864*c_1001_2 + 1334509644762351440850962303473461614966612540321397669408147989046\ 14790595/2764649812305157295177632516833990067241218089909682266413\ 80852403069056, c_0011_0 - 1, c_0011_10 - 55476091236170008175212524824518197688328254662159604972220\ 1/2487952117985333689487889325934600441730178606932535998085310764*\ c_1001_2^24 + 16280699889278121092551016551603442109489337850531260\ 27112045/2487952117985333689487889325934600441730178606932535998085\ 310764*c_1001_2^23 - 5778838156581637833988040327489132468137814409\ 496034246947657/248795211798533368948788932593460044173017860693253\ 5998085310764*c_1001_2^22 + 476906153250102678201706962313228577546\ 95757518578355293830789/2487952117985333689487889325934600441730178\ 606932535998085310764*c_1001_2^21 - 28201085464965508835691178318472367626072846526958521662051088/6219\ 88029496333422371972331483650110432544651733133999521327691*c_1001_\ 2^20 + 292839676327470193386073462280807560189232099870202571617462\ 641/248795211798533368948788932593460044173017860693253599808531076\ 4*c_1001_2^19 - 906566593255284321219836404805029870755214907538036\ 699654091231/248795211798533368948788932593460044173017860693253599\ 8085310764*c_1001_2^18 + 528317516599345644739228066383253081086233\ 318163391698792828632/621988029496333422371972331483650110432544651\ 733133999521327691*c_1001_2^17 - 1289204702839154767972845333138431\ 740660896875082091939815471355/248795211798533368948788932593460044\ 1730178606932535998085310764*c_1001_2^16 - 713127543881038994338004602094156160196251743330067938008687113/124\ 3976058992666844743944662967300220865089303466267999042655382*c_100\ 1_2^15 + 3440344167447868423589550441722364328674660162450247896584\ 026519/248795211798533368948788932593460044173017860693253599808531\ 0764*c_1001_2^14 - 201581227627364167017481755962889255289831974139\ 23217918937539135/2487952117985333689487889325934600441730178606932\ 535998085310764*c_1001_2^13 + 7702614286180066175782823783665291467\ 0807584699728003423018881807/24879521179853336894878893259346004417\ 30178606932535998085310764*c_1001_2^12 - 93207116891205927900343250453236576659533067120372540427022277555/2\ 487952117985333689487889325934600441730178606932535998085310764*c_1\ 001_2^11 - 22817602742789329344564546818353771558373704901941210603\ 207546512/621988029496333422371972331483650110432544651733133999521\ 327691*c_1001_2^10 + 8518603478529907402846542382416912820414543738\ 9994324308600688109/62198802949633342237197233148365011043254465173\ 3133999521327691*c_1001_2^9 - 2480481341457067054703103731833022899\ 69052119043898995224602707189/2487952117985333689487889325934600441\ 730178606932535998085310764*c_1001_2^8 - 68567952286523778702218584695939472692904799458946076885436515633/1\ 243976058992666844743944662967300220865089303466267999042655382*c_1\ 001_2^7 + 221901504561501745437094184779840186838236035009367713378\ 641839193/248795211798533368948788932593460044173017860693253599808\ 5310764*c_1001_2^6 + 6531154092829826102699987674073220317309194365\ 3183689508612227019/24879521179853336894878893259346004417301786069\ 32535998085310764*c_1001_2^5 - 189151803793359978573545397562991911\ 479368056300654137296083159631/248795211798533368948788932593460044\ 1730178606932535998085310764*c_1001_2^4 + 18253844197925254601602035884530075260383402641111981663065942073/6\ 21988029496333422371972331483650110432544651733133999521327691*c_10\ 01_2^3 - 1560940334359175673419550821073775247032269676526006367038\ 877389/124397605899266684474394466296730022086508930346626799904265\ 5382*c_1001_2^2 + 3981550384312834349665062763060291559751781955245\ 849965113618543/124397605899266684474394466296730022086508930346626\ 7999042655382*c_1001_2 - 460992394600430094845964027427387109362673\ 1626635515306830749015/24879521179853336894878893259346004417301786\ 06932535998085310764, c_0011_4 + 247654893301246892222826875976824145306542329289776053798068\ 7/1243976058992666844743944662967300220865089303466267999042655382*\ c_1001_2^24 + 44849745200066207591486481039022682672769220768451215\ 9179011/12439760589926668447439446629673002208650893034662679990426\ 55382*c_1001_2^23 + 16373805872661234182038491183292862922704116349\ 879539316565017/621988029496333422371972331483650110432544651733133\ 999521327691*c_1001_2^22 - 1050058845825091683179864519427474475888\ 60181463022390236308357/1243976058992666844743944662967300220865089\ 303466267999042655382*c_1001_2^21 + 127543534139643985817357497104652081352649670147179500449579422/621\ 988029496333422371972331483650110432544651733133999521327691*c_1001\ _2^20 - 67866976384692204541339193288732600277152784665901100406394\ 9591/12439760589926668447439446629673002208650893034662679990426553\ 82*c_1001_2^19 + 11807860084116644667085368573819231438100702240911\ 11358386470603/6219880294963334223719723314836501104325446517331339\ 99521327691*c_1001_2^18 - 16111839829843721137053230013869859762530\ 61404415762938221021797/6219880294963334223719723314836501104325446\ 51733133999521327691*c_1001_2^17 + 9239016064942816342994855749662994820032172633126507927469533/12439\ 76058992666844743944662967300220865089303466267999042655382*c_1001_\ 2^16 + 291790876838390152320390627231200462988842039735209688398610\ 8469/12439760589926668447439446629673002208650893034662679990426553\ 82*c_1001_2^15 - 46199912045878146693453860378939723749322088489896\ 60190502398356/6219880294963334223719723314836501104325446517331339\ 99521327691*c_1001_2^14 + 65306390263467488490231487957402361361930\ 269364137878973966324409/124397605899266684474394466296730022086508\ 9303466267999042655382*c_1001_2^13 - 78906620667888131998646139746816152533476631665493422489533124194/6\ 21988029496333422371972331483650110432544651733133999521327691*c_10\ 01_2^12 + 555662471109994502175153362269877320639658824854346148447\ 54738125/1243976058992666844743944662967300220865089303466267999042\ 655382*c_1001_2^11 + 3409803447340324450526068250885556330041912578\ 07641380825764878219/1243976058992666844743944662967300220865089303\ 466267999042655382*c_1001_2^10 - 5408961855122507719357364023749183\ 74433121444310835842463209160905/1243976058992666844743944662967300\ 220865089303466267999042655382*c_1001_2^9 + 58093048172540805840936889864912274630689205482817111476237727397/6\ 21988029496333422371972331483650110432544651733133999521327691*c_10\ 01_2^8 + 3514239782117493010050048993491946790643647230754393850409\ 05040293/1243976058992666844743944662967300220865089303466267999042\ 655382*c_1001_2^7 - 81491819355004500655754061189924045162628254431\ 178920962167569049/621988029496333422371972331483650110432544651733\ 133999521327691*c_1001_2^6 - 23079957602173053000830150370690626116\ 4665937952507217978477592809/12439760589926668447439446629673002208\ 65089303466267999042655382*c_1001_2^5 + 223283946350059859012399974552782765337341203721123520878551275369/\ 1243976058992666844743944662967300220865089303466267999042655382*c_\ 1001_2^4 - 45953347255141958045689730128353373065499690825388056261\ 385573785/124397605899266684474394466296730022086508930346626799904\ 2655382*c_1001_2^3 - 8698395812819577399452848948373625455015059373\ 00953802736717863/1243976058992666844743944662967300220865089303466\ 267999042655382*c_1001_2^2 - 49451748619920096006760155998919871886\ 99648208063929934680014602/6219880294963334223719723314836501104325\ 44651733133999521327691*c_1001_2 + 4832023828273221458163699677849235942737638248937393192415773411/12\ 43976058992666844743944662967300220865089303466267999042655382, c_0011_7 + 190200831962538713679026212984862435270887437516371927953902\ /621988029496333422371972331483650110432544651733133999521327691*c_\ 1001_2^24 - 1797745659989170367961812667593768583336061715950828567\ 03430/6219880294963334223719723314836501104325446517331339995213276\ 91*c_1001_2^23 + 22460087016874340829835628228674489031226480573266\ 30260198275/6219880294963334223719723314836501104325446517331339995\ 21327691*c_1001_2^22 - 22286514155723632303882828585149310452936565\ 811667799722419379/124397605899266684474394466296730022086508930346\ 6267999042655382*c_1001_2^21 + 254294309891273698065154927236372133\ 32229085760388264180394592/6219880294963334223719723314836501104325\ 44651733133999521327691*c_1001_2^20 - 67275829130686682236949997063796132182771157960048173986634082/6219\ 88029496333422371972331483650110432544651733133999521327691*c_1001_\ 2^19 + 222744766537153665449400916816995293582137003730875295388643\ 984/621988029496333422371972331483650110432544651733133999521327691\ *c_1001_2^18 - 8090091495024922449148860360381908399046950823075850\ 52924747937/1243976058992666844743944662967300220865089303466267999\ 042655382*c_1001_2^17 + 1026216335407242307075660288929017266776251\ 18412358442817702794/6219880294963334223719723314836501104325446517\ 33133999521327691*c_1001_2^16 + 36329905966089222448835259184548398\ 4302376746137789364857454108/62198802949633342237197233148365011043\ 2544651733133999521327691*c_1001_2^15 - 1654980011837436930921632128716870812865267322552002828398301039/12\ 43976058992666844743944662967300220865089303466267999042655382*c_10\ 01_2^14 + 113253586673871917938395881354356603462240298356516172430\ 37014697/1243976058992666844743944662967300220865089303466267999042\ 655382*c_1001_2^13 - 1707551872588365420131862467141548744618832973\ 1709530825099262867/62198802949633342237197233148365011043254465173\ 3133999521327691*c_1001_2^12 + 249421272526246532726358744902355211\ 54580810605456780244095201309/1243976058992666844743944662967300220\ 865089303466267999042655382*c_1001_2^11 + 31190633326400477509513678580474167458941914714049026555825678129/6\ 21988029496333422371972331483650110432544651733133999521327691*c_10\ 01_2^10 - 134184199155146148035709535148469732724535789698316515660\ 829143503/124397605899266684474394466296730022086508930346626799904\ 2655382*c_1001_2^9 + 5405165074090903385395751958085343875006483595\ 2909594925289447553/12439760589926668447439446629673002208650893034\ 66267999042655382*c_1001_2^8 + 810530565926552613708986915360601579\ 04994439713746736254090968523/1243976058992666844743944662967300220\ 865089303466267999042655382*c_1001_2^7 - 60077382089359336583950260121069911256362731523016867006963561481/1\ 243976058992666844743944662967300220865089303466267999042655382*c_1\ 001_2^6 - 493034421217589343622409872894275287248995419384672165882\ 21164097/1243976058992666844743944662967300220865089303466267999042\ 655382*c_1001_2^5 + 29196479871885167831804400672916326302163881821\ 020029561803825408/621988029496333422371972331483650110432544651733\ 133999521327691*c_1001_2^4 - 63536871375001003831857537410042076769\ 61853215600894659922646820/6219880294963334223719723314836501104325\ 44651733133999521327691*c_1001_2^3 + 1593050573995807286470493655023475128843072330891231647377644957/12\ 43976058992666844743944662967300220865089303466267999042655382*c_10\ 01_2^2 - 2472223352348927910623021705630309073447341445752637975440\ 953571/124397605899266684474394466296730022086508930346626799904265\ 5382*c_1001_2 - 128362441495983046867960034307978947394736010820353\ 06143280346/6219880294963334223719723314836501104325446517331339995\ 21327691, c_0011_8 - 190200831962538713679026212984862435270887437516371927953902\ /621988029496333422371972331483650110432544651733133999521327691*c_\ 1001_2^24 + 1797745659989170367961812667593768583336061715950828567\ 03430/6219880294963334223719723314836501104325446517331339995213276\ 91*c_1001_2^23 - 22460087016874340829835628228674489031226480573266\ 30260198275/6219880294963334223719723314836501104325446517331339995\ 21327691*c_1001_2^22 + 22286514155723632303882828585149310452936565\ 811667799722419379/124397605899266684474394466296730022086508930346\ 6267999042655382*c_1001_2^21 - 254294309891273698065154927236372133\ 32229085760388264180394592/6219880294963334223719723314836501104325\ 44651733133999521327691*c_1001_2^20 + 67275829130686682236949997063796132182771157960048173986634082/6219\ 88029496333422371972331483650110432544651733133999521327691*c_1001_\ 2^19 - 222744766537153665449400916816995293582137003730875295388643\ 984/621988029496333422371972331483650110432544651733133999521327691\ *c_1001_2^18 + 8090091495024922449148860360381908399046950823075850\ 52924747937/1243976058992666844743944662967300220865089303466267999\ 042655382*c_1001_2^17 - 1026216335407242307075660288929017266776251\ 18412358442817702794/6219880294963334223719723314836501104325446517\ 33133999521327691*c_1001_2^16 - 36329905966089222448835259184548398\ 4302376746137789364857454108/62198802949633342237197233148365011043\ 2544651733133999521327691*c_1001_2^15 + 1654980011837436930921632128716870812865267322552002828398301039/12\ 43976058992666844743944662967300220865089303466267999042655382*c_10\ 01_2^14 - 113253586673871917938395881354356603462240298356516172430\ 37014697/1243976058992666844743944662967300220865089303466267999042\ 655382*c_1001_2^13 + 1707551872588365420131862467141548744618832973\ 1709530825099262867/62198802949633342237197233148365011043254465173\ 3133999521327691*c_1001_2^12 - 249421272526246532726358744902355211\ 54580810605456780244095201309/1243976058992666844743944662967300220\ 865089303466267999042655382*c_1001_2^11 - 31190633326400477509513678580474167458941914714049026555825678129/6\ 21988029496333422371972331483650110432544651733133999521327691*c_10\ 01_2^10 + 134184199155146148035709535148469732724535789698316515660\ 829143503/124397605899266684474394466296730022086508930346626799904\ 2655382*c_1001_2^9 - 5405165074090903385395751958085343875006483595\ 2909594925289447553/12439760589926668447439446629673002208650893034\ 66267999042655382*c_1001_2^8 - 810530565926552613708986915360601579\ 04994439713746736254090968523/1243976058992666844743944662967300220\ 865089303466267999042655382*c_1001_2^7 + 60077382089359336583950260121069911256362731523016867006963561481/1\ 243976058992666844743944662967300220865089303466267999042655382*c_1\ 001_2^6 + 493034421217589343622409872894275287248995419384672165882\ 21164097/1243976058992666844743944662967300220865089303466267999042\ 655382*c_1001_2^5 - 29196479871885167831804400672916326302163881821\ 020029561803825408/621988029496333422371972331483650110432544651733\ 133999521327691*c_1001_2^4 + 63536871375001003831857537410042076769\ 61853215600894659922646820/6219880294963334223719723314836501104325\ 44651733133999521327691*c_1001_2^3 - 1593050573995807286470493655023475128843072330891231647377644957/12\ 43976058992666844743944662967300220865089303466267999042655382*c_10\ 01_2^2 + 2472223352348927910623021705630309073447341445752637975440\ 953571/124397605899266684474394466296730022086508930346626799904265\ 5382*c_1001_2 + 128362441495983046867960034307978947394736010820353\ 06143280346/6219880294963334223719723314836501104325446517331339995\ 21327691, c_0101_0 - 223360542993057637850062422493889255175720121969551570426651\ 1/2487952117985333689487889325934600441730178606932535998085310764*\ c_1001_2^24 - 12151674891084017292038388797530656578944276955526877\ 23647853/2487952117985333689487889325934600441730178606932535998085\ 310764*c_1001_2^23 - 3043110349816424868436909320389225174344580700\ 0637445520892995/24879521179853336894878893259346004417301786069325\ 35998085310764*c_1001_2^22 + 83276998740259841798023837881964701850\ 459466586669048219014971/248795211798533368948788932593460044173017\ 8606932535998085310764*c_1001_2^21 - 102997134965210129966748952591680815788621112134116565969547449/124\ 3976058992666844743944662967300220865089303466267999042655382*c_100\ 1_2^20 + 5526287879900673397903072143021939017282186581915817208279\ 63047/2487952117985333689487889325934600441730178606932535998085310\ 764*c_1001_2^19 - 1964429463322991390014192576774262682588558575438\ 626599408555737/248795211798533368948788932593460044173017860693253\ 5998085310764*c_1001_2^18 + 572721547621025361422520382054915315901\ 588720358242899562113720/621988029496333422371972331483650110432544\ 651733133999521327691*c_1001_2^17 + 464826372664037287939920664332341999353164078663657410450467165/248\ 7952117985333689487889325934600441730178606932535998085310764*c_100\ 1_2^16 - 1068066781502251122950515954902022061233306614108846775880\ 724387/124397605899266684474394466296730022086508930346626799904265\ 5382*c_1001_2^15 + 787381467986699693490975584220093524517535314935\ 5719042524575125/24879521179853336894878893259346004417301786069325\ 35998085310764*c_1001_2^14 - 56481084734245590721529627414123724053\ 265383440302896851989643639/248795211798533368948788932593460044173\ 0178606932535998085310764*c_1001_2^13 + 123248641280864128633630346155270451315948738745394821804395759367/\ 2487952117985333689487889325934600441730178606932535998085310764*c_\ 1001_2^12 - 1636157860779501258030485288406554798393509836251761061\ 8334676197/24879521179853336894878893259346004417301786069325359980\ 85310764*c_1001_2^11 - 14609887918990607379890996932999578943075386\ 1071998787914143923747/12439760589926668447439446629673002208650893\ 03466267999042655382*c_1001_2^10 + 97150325104311922935993737208016147034325686559953846736373207142/6\ 21988029496333422371972331483650110432544651733133999521327691*c_10\ 01_2^9 - 2797983942446595861883054129415258285325992506861568816930\ 0950481/24879521179853336894878893259346004417301786069325359980853\ 10764*c_1001_2^8 - 671681065613147342162140528715942539811687603926\ 12064288101354732/6219880294963334223719723314836501104325446517331\ 33999521327691*c_1001_2^7 + 788345086506104153150783470251969157773\ 59208337058502930773999277/2487952117985333689487889325934600441730\ 178606932535998085310764*c_1001_2^6 + 172441533985526187476409458652844356379329098582282153181561973399/\ 2487952117985333689487889325934600441730178606932535998085310764*c_\ 1001_2^5 - 14220090403160707788307682292843775450156996717517922564\ 1816079559/24879521179853336894878893259346004417301786069325359980\ 85310764*c_1001_2^4 + 829041512746480084011754093551298082096387350\ 2971951835716704995/62198802949633342237197233148365011043254465173\ 3133999521327691*c_1001_2^3 - 1813451353785820166509223647564515516\ 486030689510629166413468035/124397605899266684474394466296730022086\ 5089303466267999042655382*c_1001_2^2 + 1364705550104141703536934352757923487826111793554801407007996580/62\ 1988029496333422371972331483650110432544651733133999521327691*c_100\ 1_2 - 2512931125462325620682972122412044215799933273415727722436800\ 855/248795211798533368948788932593460044173017860693253599808531076\ 4, c_0101_1 + 244397945032243529266860970365502174006642483649847213899809\ 1/2487952117985333689487889325934600441730178606932535998085310764*\ c_1001_2^24 + 63500492548150108099163751951157686634050507215908073\ 4067965/24879521179853336894878893259346004417301786069325359980853\ 10764*c_1001_2^23 + 32899923827716846450807736508751985530866038332\ 123719242632385/248795211798533368948788932593460044173017860693253\ 5998085310764*c_1001_2^22 - 100333213287495410830825340088449142918\ 822014058052840853303079/248795211798533368948788932593460044173017\ 8606932535998085310764*c_1001_2^21 + 251522313466477582247411715968637934602565164083447244492174537/248\ 7952117985333689487889325934600441730178606932535998085310764*c_100\ 1_2^20 - 1660156551746175976051765676490113986163815079816303197993\ 43758/6219880294963334223719723314836501104325446517331339995213276\ 91*c_1001_2^19 + 11574334257018807679352946889011954432756235330076\ 77301875727055/1243976058992666844743944662967300220865089303466267\ 999042655382*c_1001_2^18 - 3098643062713508749854166288809629908310\ 358864741547136984655967/248795211798533368948788932593460044173017\ 8606932535998085310764*c_1001_2^17 + 150386213232272473078707471717914501028996978633985816691301037/248\ 7952117985333689487889325934600441730178606932535998085310764*c_100\ 1_2^16 + 6650295322787236400049389002703786644079461781226324129421\ 08164/6219880294963334223719723314836501104325446517331339995213276\ 91*c_1001_2^15 - 92694309780943704160420829910028909224819429683957\ 33220352598403/2487952117985333689487889325934600441730178606932535\ 998085310764*c_1001_2^14 + 3197957515458184845030157917790225232413\ 6613035817646463246851253/12439760589926668447439446629673002208650\ 89303466267999042655382*c_1001_2^13 - 152249275349405295401860948118674796330930597363268689077639230331/\ 2487952117985333689487889325934600441730178606932535998085310764*c_\ 1001_2^12 + 5509542008237104659266406794711669748841643282141283923\ 0981977997/24879521179853336894878893259346004417301786069325359980\ 85310764*c_1001_2^11 + 32116597271441405857958567391758802277884756\ 3376352672581758480535/24879521179853336894878893259346004417301786\ 06932535998085310764*c_1001_2^10 - 522280890074696393661980289256128325421669811918579305349793092885/\ 2487952117985333689487889325934600441730178606932535998085310764*c_\ 1001_2^9 + 13568995630729776238711937436111804008451665065346609642\ 1593432673/24879521179853336894878893259346004417301786069325359980\ 85310764*c_1001_2^8 + 318811115475072543536655161486400468120698630\ 068134680143906978561/248795211798533368948788932593460044173017860\ 6932535998085310764*c_1001_2^7 - 1735451588129475404125191196864122\ 15053253652973006742941546230327/2487952117985333689487889325934600\ 441730178606932535998085310764*c_1001_2^6 - 51083092477336111053459259909767004981214931999509166262109790950/6\ 21988029496333422371972331483650110432544651733133999521327691*c_10\ 01_2^5 + 2320283772600304326637275861214689671610596468645997272336\ 39943387/2487952117985333689487889325934600441730178606932535998085\ 310764*c_1001_2^4 - 14522169160612808018506078403800181514121461826\ 805540808244664652/621988029496333422371972331483650110432544651733\ 133999521327691*c_1001_2^3 - 13376306042069114053398072135691951643\ 40378029595855481576524837/6219880294963334223719723314836501104325\ 44651733133999521327691*c_1001_2^2 - 9186161276083356041220803369687010610769821852019300345622309049/24\ 87952117985333689487889325934600441730178606932535998085310764*c_10\ 01_2 + 682242741737594896382625916572742445559537085062910580911910\ 2077/24879521179853336894878893259346004417301786069325359980853107\ 64, c_0101_2 - 236205578386439898133574868329316062179584830400840/22805930\ 86819282697548169432553100572840440010453581917*c_1001_2^24 + 343858669607103178005418751895478952380067575214826/228059308681928\ 2697548169432553100572840440010453581917*c_1001_2^23 - 3071376275658772864310101421910744053855270399874035/22805930868192\ 82697548169432553100572840440010453581917*c_1001_2^22 + 15103769198902552769717386853886710352698111430851314/2280593086819\ 282697548169432553100572840440010453581917*c_1001_2^21 - 40950817508781896471369996446466376918845429654308738/2280593086819\ 282697548169432553100572840440010453581917*c_1001_2^20 + 105070410571602241949738124173560627933792728852291258/228059308681\ 9282697548169432553100572840440010453581917*c_1001_2^19 - 331955626869518452801667893098950639640110460035248723/228059308681\ 9282697548169432553100572840440010453581917*c_1001_2^18 + 678599172549983103256261610702103384685919118944818414/228059308681\ 9282697548169432553100572840440010453581917*c_1001_2^17 - 514540420303383316277409498611668726732738266406722979/228059308681\ 9282697548169432553100572840440010453581917*c_1001_2^16 - 275077565446314046548904100378749463405936298108699403/228059308681\ 9282697548169432553100572840440010453581917*c_1001_2^15 + 1372828620927517113998771863107294068074745567453854419/22805930868\ 19282697548169432553100572840440010453581917*c_1001_2^14 - 7693840262715011552884706367397746249809392596702790479/22805930868\ 19282697548169432553100572840440010453581917*c_1001_2^13 + 25280723500239078424477692589094168628194471042019388903/2280593086\ 819282697548169432553100572840440010453581917*c_1001_2^12 - 30323279954088566608816634150460479708717172339293628112/2280593086\ 819282697548169432553100572840440010453581917*c_1001_2^11 - 23280956823788950351532119560279394405250389328794811028/2280593086\ 819282697548169432553100572840440010453581917*c_1001_2^10 + 106031948163114025030499606763591173107728266385866608575/228059308\ 6819282697548169432553100572840440010453581917*c_1001_2^9 - 98858135210496562594968013009453615135848141232100598100/2280593086\ 819282697548169432553100572840440010453581917*c_1001_2^8 - 14753899505077047137636440439119707405408440474764992249/2280593086\ 819282697548169432553100572840440010453581917*c_1001_2^7 + 75699731343320556312438868123368178288486050084365160146/2280593086\ 819282697548169432553100572840440010453581917*c_1001_2^6 - 7781974997676368636837505917159639155792967642731946720/22805930868\ 19282697548169432553100572840440010453581917*c_1001_2^5 - 60525979673440549449553799257198036735285863684064533765/2280593086\ 819282697548169432553100572840440010453581917*c_1001_2^4 + 44011325238212156165554272679998032963237542690041584195/2280593086\ 819282697548169432553100572840440010453581917*c_1001_2^3 - 5336316971700759715918790199306571713401692709478066503/22805930868\ 19282697548169432553100572840440010453581917*c_1001_2^2 - 3260445360352464433066365524862049403697250441653260504/22805930868\ 19282697548169432553100572840440010453581917*c_1001_2 - 2452095534772518371721294872862804672113718531319083168/22805930868\ 19282697548169432553100572840440010453581917, c_0101_5 - 332107051887213591331999482539676926965123683776375532302441\ 7/1243976058992666844743944662967300220865089303466267999042655382*\ c_1001_2^24 + 32448100543159034058952202318573230786054045302727141\ 4051143/62198802949633342237197233148365011043254465173313399952132\ 7691*c_1001_2^23 - 213176926593361876603195661408901346234978288569\ 40242267857529/6219880294963334223719723314836501104325446517331339\ 99521327691*c_1001_2^22 + 79000293080892743402114478609713084476237\ 113685984015744453099/621988029496333422371972331483650110432544651\ 733133999521327691*c_1001_2^21 - 1906280587810412400846035512173035\ 36423983007533612849479131128/6219880294963334223719723314836501104\ 32544651733133999521327691*c_1001_2^20 + 499828187654179061269642180781578161865820524127586178031387611/621\ 988029496333422371972331483650110432544651733133999521327691*c_1001\ _2^19 - 17120395960243578909605937664669425793568217067236871150607\ 14417/6219880294963334223719723314836501104325446517331339995213276\ 91*c_1001_2^18 + 52696587804455878460809982416890915353326987820412\ 78545359840437/1243976058992666844743944662967300220865089303466267\ 999042655382*c_1001_2^17 - 3830533831991699630967012399487230459093\ 41959653910755211009990/6219880294963334223719723314836501104325446\ 51733133999521327691*c_1001_2^16 - 2417621307386615103711859269365533788447634193442269192666659153/62\ 1988029496333422371972331483650110432544651733133999521327691*c_100\ 1_2^15 + 1321346329570157142044366225557941184732620518775988749570\ 8553097/12439760589926668447439446629673002208650893034662679990426\ 55382*c_1001_2^14 - 91228687302904998996127803284807512794935803445\ 071632605699947469/124397605899266684474394466296730022086508930346\ 6267999042655382*c_1001_2^13 + 120682696187228017757529589085301111\ 176232421493247541937524053811/621988029496333422371972331483650110\ 432544651733133999521327691*c_1001_2^12 - 127939698512629471338219275602774213162367141587602636269698569839/\ 1243976058992666844743944662967300220865089303466267999042655382*c_\ 1001_2^11 - 2418778446832355035650006413543418572515616722586099075\ 81730058685/6219880294963334223719723314836501104325446517331339995\ 21327691*c_1001_2^10 + 88911755167116031660638410703874685652056136\ 8912004722921005888611/12439760589926668447439446629673002208650893\ 03466267999042655382*c_1001_2^9 - 138604558505904563163827877274029\ 660620456730272504443072659820016/621988029496333422371972331483650\ 110432544651733133999521327691*c_1001_2^8 - 562557604930872460280128248834228707004341308488851190651183039603/\ 1243976058992666844743944662967300220865089303466267999042655382*c_\ 1001_2^7 + 34171923873229306063324113123470069187663026509198700578\ 3677605861/12439760589926668447439446629673002208650893034662679990\ 42655382*c_1001_2^6 + 182700809206211414677853187798891848887187913\ 179826867349457661327/621988029496333422371972331483650110432544651\ 733133999521327691*c_1001_2^5 - 19609168528520043131642911872605660\ 8591940481170346743103360202244/62198802949633342237197233148365011\ 0432544651733133999521327691*c_1001_2^4 + 35452225692841814854042792292431065558285025457171438940075249572/6\ 21988029496333422371972331483650110432544651733133999521327691*c_10\ 01_2^3 + 1337469082689231129467634600019503979843193776566709278492\ 778509/621988029496333422371972331483650110432544651733133999521327\ 691*c_1001_2^2 + 19987382126990194012132666941651910127985261036689\ 366300455545231/124397605899266684474394466296730022086508930346626\ 7999042655382*c_1001_2 - 628279667208682856412593104883368241407576\ 7108538182099376047683/12439760589926668447439446629673002208650893\ 03466267999042655382, c_0110_10 + 37509222160494079336599053464776944025158209133778816545206\ 79/2487952117985333689487889325934600441730178606932535998085310764\ *c_1001_2^24 + 1009029117282567173984337373744197627575856513763339\ 555636869/248795211798533368948788932593460044173017860693253599808\ 5310764*c_1001_2^23 + 120802293723465094206876905791826356374538806\ 10749895016795446/6219880294963334223719723314836501104325446517331\ 33999521327691*c_1001_2^22 - 78469395303588971927498931653945288320\ 108622829072015204634299/124397605899266684474394466296730022086508\ 9303466267999042655382*c_1001_2^21 + 352290031000638933165453684178490553565551275863591791352347011/248\ 7952117985333689487889325934600441730178606932535998085310764*c_100\ 1_2^20 - 2414733480014037356219346656289103998101967425136233723146\ 05301/6219880294963334223719723314836501104325446517331339995213276\ 91*c_1001_2^19 + 34058467437625888164386065680407733538385457017057\ 30739564801255/2487952117985333689487889325934600441730178606932535\ 998085310764*c_1001_2^18 - 1086047679777822803377175442764904572244\ 540936864518630428121906/621988029496333422371972331483650110432544\ 651733133999521327691*c_1001_2^17 - 1294841749457716461573776668151467488420098466509009210202822761/24\ 87952117985333689487889325934600441730178606932535998085310764*c_10\ 01_2^16 + 466414701472507860459650303092385545565758649599563260642\ 4885255/24879521179853336894878893259346004417301786069325359980853\ 10764*c_1001_2^15 - 12572203056990577343613725780469824799860625642\ 879552752464922387/248795211798533368948788932593460044173017860693\ 2535998085310764*c_1001_2^14 + 974459434328508798662028469334424540\ 28843756761332169319082909643/2487952117985333689487889325934600441\ 730178606932535998085310764*c_1001_2^13 - 113300080968211054493907130858639291643695790636862876108930326245/\ 1243976058992666844743944662967300220865089303466267999042655382*c_\ 1001_2^12 + 8471685522738997414121489409786523297968176454382915708\ 476822869/621988029496333422371972331483650110432544651733133999521\ 327691*c_1001_2^11 + 1405387169471385074296568822756081780581217019\ 56494394095740314924/6219880294963334223719723314836501104325446517\ 33133999521327691*c_1001_2^10 - 72368650037600995402540356377620424\ 7872881757261887387425936043083/24879521179853336894878893259346004\ 41730178606932535998085310764*c_1001_2^9 - 35411791894628318311931175426737164579680096957738963798101604523/2\ 487952117985333689487889325934600441730178606932535998085310764*c_1\ 001_2^8 + 590167776708603602443988259644012122946979441992009881830\ 178637873/248795211798533368948788932593460044173017860693253599808\ 5310764*c_1001_2^7 - 8010607224208281177723986044842040475459719884\ 0511863987098091333/24879521179853336894878893259346004417301786069\ 32535998085310764*c_1001_2^6 - 423232155779563852703017143301690824\ 843638197507656614039769335109/248795211798533368948788932593460044\ 1730178606932535998085310764*c_1001_2^5 + 207764472342938079247896518117765589911756064370423885068616845011/\ 2487952117985333689487889325934600441730178606932535998085310764*c_\ 1001_2^4 + 94926316996453334902226137682862695873096921387381969683\ 78765389/2487952117985333689487889325934600441730178606932535998085\ 310764*c_1001_2^3 + 40040296385686580291768989414737810284409196360\ 53176543569512962/6219880294963334223719723314836501104325446517331\ 33999521327691*c_1001_2^2 - 358971970179527972383740756914554079302\ 8132766080158283944339520/62198802949633342237197233148365011043254\ 4651733133999521327691*c_1001_2 - 257291652024603159621723009126340\ 5695378832314229793951804563257/24879521179853336894878893259346004\ 41730178606932535998085310764, c_0110_9 + 244397945032243529266860970365502174006642483649847213899809\ 1/2487952117985333689487889325934600441730178606932535998085310764*\ c_1001_2^24 + 63500492548150108099163751951157686634050507215908073\ 4067965/24879521179853336894878893259346004417301786069325359980853\ 10764*c_1001_2^23 + 32899923827716846450807736508751985530866038332\ 123719242632385/248795211798533368948788932593460044173017860693253\ 5998085310764*c_1001_2^22 - 100333213287495410830825340088449142918\ 822014058052840853303079/248795211798533368948788932593460044173017\ 8606932535998085310764*c_1001_2^21 + 251522313466477582247411715968637934602565164083447244492174537/248\ 7952117985333689487889325934600441730178606932535998085310764*c_100\ 1_2^20 - 1660156551746175976051765676490113986163815079816303197993\ 43758/6219880294963334223719723314836501104325446517331339995213276\ 91*c_1001_2^19 + 11574334257018807679352946889011954432756235330076\ 77301875727055/1243976058992666844743944662967300220865089303466267\ 999042655382*c_1001_2^18 - 3098643062713508749854166288809629908310\ 358864741547136984655967/248795211798533368948788932593460044173017\ 8606932535998085310764*c_1001_2^17 + 150386213232272473078707471717914501028996978633985816691301037/248\ 7952117985333689487889325934600441730178606932535998085310764*c_100\ 1_2^16 + 6650295322787236400049389002703786644079461781226324129421\ 08164/6219880294963334223719723314836501104325446517331339995213276\ 91*c_1001_2^15 - 92694309780943704160420829910028909224819429683957\ 33220352598403/2487952117985333689487889325934600441730178606932535\ 998085310764*c_1001_2^14 + 3197957515458184845030157917790225232413\ 6613035817646463246851253/12439760589926668447439446629673002208650\ 89303466267999042655382*c_1001_2^13 - 152249275349405295401860948118674796330930597363268689077639230331/\ 2487952117985333689487889325934600441730178606932535998085310764*c_\ 1001_2^12 + 5509542008237104659266406794711669748841643282141283923\ 0981977997/24879521179853336894878893259346004417301786069325359980\ 85310764*c_1001_2^11 + 32116597271441405857958567391758802277884756\ 3376352672581758480535/24879521179853336894878893259346004417301786\ 06932535998085310764*c_1001_2^10 - 522280890074696393661980289256128325421669811918579305349793092885/\ 2487952117985333689487889325934600441730178606932535998085310764*c_\ 1001_2^9 + 13568995630729776238711937436111804008451665065346609642\ 1593432673/24879521179853336894878893259346004417301786069325359980\ 85310764*c_1001_2^8 + 318811115475072543536655161486400468120698630\ 068134680143906978561/248795211798533368948788932593460044173017860\ 6932535998085310764*c_1001_2^7 - 1735451588129475404125191196864122\ 15053253652973006742941546230327/2487952117985333689487889325934600\ 441730178606932535998085310764*c_1001_2^6 - 51083092477336111053459259909767004981214931999509166262109790950/6\ 21988029496333422371972331483650110432544651733133999521327691*c_10\ 01_2^5 + 2320283772600304326637275861214689671610596468645997272336\ 39943387/2487952117985333689487889325934600441730178606932535998085\ 310764*c_1001_2^4 - 14522169160612808018506078403800181514121461826\ 805540808244664652/621988029496333422371972331483650110432544651733\ 133999521327691*c_1001_2^3 - 13376306042069114053398072135691951643\ 40378029595855481576524837/6219880294963334223719723314836501104325\ 44651733133999521327691*c_1001_2^2 - 9186161276083356041220803369687010610769821852019300345622309049/24\ 87952117985333689487889325934600441730178606932535998085310764*c_10\ 01_2 + 682242741737594896382625916572742445559537085062910580911910\ 2077/24879521179853336894878893259346004417301786069325359980853107\ 64, c_1001_2^25 - c_1001_2^24 + 13*c_1001_2^23 - 58*c_1001_2^22 + 153*c_1001_2^21 - 395*c_1001_2^20 + 1276*c_1001_2^19 - 2424*c_1001_2^18 + 1529*c_1001_2^17 + 1197*c_1001_2^16 - 5120*c_1001_2^15 + 30747*c_1001_2^14 - 94842*c_1001_2^13 + 97405*c_1001_2^12 + 112191*c_1001_2^11 - 381599*c_1001_2^10 + 302560*c_1001_2^9 + 90091*c_1001_2^8 - 233137*c_1001_2^7 - 18508*c_1001_2^6 + 199348*c_1001_2^5 - 121747*c_1001_2^4 + 22217*c_1001_2^3 - 5568*c_1001_2^2 + 6336*c_1001_2 - 1769 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.970 Total time: 1.179 seconds, Total memory usage: 32.09MB