Magma V2.19-8 Tue Aug 20 2013 16:17:34 on localhost [Seed = 4206585381] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1807 geometric_solution 5.47276584 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.753940166437 0.073831347904 0 2 0 2 0132 0132 1023 1023 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 1 -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 0.604335856383 0.209388051802 3 1 4 1 0132 0132 0132 1023 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 -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.580579304641 1.860214563902 2 4 6 5 0132 3201 0132 0132 0 0 0 0 0 -1 1 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.135854392353 1.050375726144 5 6 3 2 3201 0132 2310 0132 0 0 0 0 0 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 -1 0 1 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.135854392353 1.050375726144 5 5 3 4 1302 2031 0132 2310 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.620436086182 0.892006771556 6 4 6 3 2031 0132 1302 0132 0 0 0 0 0 0 1 -1 -1 0 1 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -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.539332359332 0.539723179934 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_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_0_6' : 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_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t + 7664672816773355018841798793627232531854808482408223362107424058281\ 27933718779/3557771641798528099954376842572869413339685297884361464\ 251576332895253523*c_0101_4^39 + 6494059989090884556040336653692132\ 937487187725533694968362673561095253742570793/355777164179852809995\ 4376842572869413339685297884361464251576332895253523*c_0101_4^38 + 2187067230920454411933396815688249400826349724776868820667263202857\ 6192094060324/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^37 + 8735395449342630587185289303722250865411234075244009076208253848457\ 2245174364728/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^36 + 1609222038518830443311233435225571170760901644429376314730848462846\ 36296390162776/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^35 + 1935258997265305448497964777849004694326234336427515323776433708542\ 08806661353487/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^34 - 1462603539007726512742544842083797528243908457585127470830518260801\ 39493106743308/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^33 - 1233279789154094773782225079971037951229810884535251662480375775736\ 394462731178364/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^32 - 2754761179176412721254942536356743336194893627806930597540839857981\ 689338999922746/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^31 - 1486736409558739546973284043409855934670549670447092772694344474531\ 484538053666625/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^30 + 4459481519880613431008337896869573242815923268142476408896191477055\ 807319232693113/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^29 + 7186412359902485871441958570702744597493195132090227894288390485799\ 006912108821016/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^28 + 1514438603372390084637194078321983296858919553573133631189308742059\ 962465377156287/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^27 - 5681236283562472172573215781141648357691876212944449693092388474580\ 901639211281445/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^26 - 2270048039438851681410036780828082459566690102417959659903030295734\ 096912817167711/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^25 + 7469414682450512389868982928706837151644545934198980163938740534548\ 910470544349263/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^24 + 2783675707694115357436309449458358495794369300511656082195268196280\ 600200105813278/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^23 - 1289238135076416013750924673371985294468214497634247384461101199305\ 4579175586622078/35577716417985280999543768425728694133396852978843\ 61464251576332895253523*c_0101_4^22 - 1560546211837081118400879402538529565604913291881816040970250452513\ 5330605850427570/35577716417985280999543768425728694133396852978843\ 61464251576332895253523*c_0101_4^21 - 1137666194244069263832474735368055255706186930994135288400623280366\ 74257869246153/9615599031887913783660477952899647063080230534822598\ 5520312873862033879*c_0101_4^20 + 979255642311575994369941433999290\ 3370058992032436676553068858984356240725961280257/35577716417985280\ 99954376842572869413339685297884361464251576332895253523*c_0101_4^1\ 9 + 193320564585568058802907284601158550926863394060835805258435389\ 57766823060546435075/3557771641798528099954376842572869413339685297\ 884361464251576332895253523*c_0101_4^18 + 1062029116395534561276291226082668683433093326805031218950854756020\ 6433211237596381/35577716417985280999543768425728694133396852978843\ 61464251576332895253523*c_0101_4^17 - 1037477673879389710728768445841291407983814132360544331063010152766\ 8268768820908011/35577716417985280999543768425728694133396852978843\ 61464251576332895253523*c_0101_4^16 - 1361205425953844247343892208609008241624200555205492924856151768620\ 5669988422766035/35577716417985280999543768425728694133396852978843\ 61464251576332895253523*c_0101_4^15 + 2723822423177209939022491123610700385825144575371291559921150998109\ 550323142171235/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^14 + 8182608412427388911406429615863131025676588158414709955716619842193\ 086744006852109/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^13 - 9796038782706930418558755898911182163467605158399587457603717844418\ 26415769067518/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^12 - 3140781913399266503443060315933719919338101602177798644817484116728\ 241462723641617/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^11 + 7360201387654682760691642743512463638852615786784754564866544064845\ 13257464728406/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^10 - 2824300347857238470261678345101630414703909262450407872271590464194\ 64160154422427/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^9 - 1550612924589504753918463642349287036227376873546402308393326110085\ 942185156993981/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^8 + 3659394974638963662885206484510819460661609762793571430272725714440\ 05446700001007/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^7 + 1101769498573110362006008068894132288110360179700397202771964602549\ 438143671182167/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^6 + 1389058122389928580956931071275841726095664247646823267079955436970\ 79505056981628/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^5 - 2780494489892606852474050342353303831732679036904198353073834848546\ 32909296744002/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^4 - 9364029752090109946035708619000597073706863912625759452772667455050\ 7016278455559/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^3 + 167929779922446799663951339884806\ 35860966552936693499304170280792846959392237064/3557771641798528099\ 954376842572869413339685297884361464251576332895253523*c_0101_4^2 + 1182802034936538400139559872828206563159524408005647418512622064685\ 9131132664163/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4 + 14665652746862522001323235729992082\ 96156798536647986452495562501463321167716456/3557771641798528099954\ 376842572869413339685297884361464251576332895253523, c_0011_0 - 1, c_0011_4 - 990006467435976002957138171581104462395139759778605141628410\ 16927312292746137/3557771641798528099954376842572869413339685297884\ 361464251576332895253523*c_0101_4^39 - 8403259730674955669123879625257925340515034115335237587648453473730\ 70888048407/3557771641798528099954376842572869413339685297884361464\ 251576332895253523*c_0101_4^38 - 2836874423189348882346217488716805\ 968746248348421080825664448538316280962322712/355777164179852809995\ 4376842572869413339685297884361464251576332895253523*c_0101_4^37 - 1131906955497245897059633968133668559557177323261869921658815813958\ 2653880716866/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^36 - 2093646561774947141647278199987049348288654854651649865307400450907\ 1206473050562/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^35 - 2522239758130812185652992666258484891288741807028701550849806868789\ 5199667285459/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^34 + 1864931698429706916602060376437670103885012385398426865518801597123\ 5493011006626/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^33 + 1597394438424587039026653321972590305585191991824834545455641673769\ 55441304300201/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^32 + 3579957474912378002599973097200925304010795551653486594351222714882\ 54682765816335/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^31 + 1961483634645388645825938255961712144889288272718489993111464283214\ 17820781283506/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^30 - 5756336378451890100010436458963861589357293147205385332361657941741\ 62183834835452/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^29 - 9373742333217933835326224518467227526180105980433094465091850590265\ 54665754463528/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^28 - 2042108187361622632386609049378264217632778933552815875155072254185\ 12541703855974/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^27 + 7362838493267153710454072056519042937132322332492414306761069425702\ 23168449881372/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^26 + 3030564472718713982744436568231896120576046129589273583326350685986\ 28019226239771/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^25 - 9664575466112062459595933541362998841979242609386647329894184011888\ 97365450968985/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^24 - 3735062601275864326918414888912287032349724040748074026816167380993\ 75779622202027/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^23 + 1668423370074776924453457696444178513546147655438199961080376049071\ 222088403371049/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^22 + 2039534809636434206361278546287516380250739616885090614670137304121\ 600674543556989/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^21 + 1512974668957796978692116299640413169780453218031476818613941715555\ 0764200196231/96155990318879137836604779528996470630802305348225985\ 520312873862033879*c_0101_4^20 - 1266832928924476523212080751733958\ 934388715475014995626333668609452995444356109518/355777164179852809\ 9954376842572869413339685297884361464251576332895253523*c_0101_4^19 - 25153714462307642708295239897947749905191488768452336001862842726\ 23695032051147523/3557771641798528099954376842572869413339685297884\ 361464251576332895253523*c_0101_4^18 - 1398679186167024718666016727523816075769690159088857036469975738976\ 948014006447464/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^17 + 1335913028231075698374162979093631077752069934511042357385604205587\ 630820109984943/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^16 + 1781718724516331309168748133484705228044436672981216827384327770021\ 997930383190187/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^15 - 3394249959537763103496935426189671529598779883225892293817232732223\ 61647816346697/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^14 - 1070408907665648430524056737836519095090500791339832026862521409762\ 414762011615053/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^13 + 1185511704372733550248813795532762926443407523636616596969327761354\ 39563582174885/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^12 + 4128531635152320571558611851166883955529991524437826193225490914937\ 90254721913115/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^11 - 9321065007219437773133445832461582097783146266119329896972145134284\ 3827003800033/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^10 + 3370809300301387482438217739405046056897071548589540274372230301593\ 0287580593854/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^9 + 202572145879917759486988209613988\ 550600622221301796217540423312225481884671434314/355777164179852809\ 9954376842572869413339685297884361464251576332895253523*c_0101_4^8 - 4554906779694746587705123617485214507908969382681547144410150435651\ 4144834371983/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^7 - 144154154700665669413542762636499\ 877696237740153643248399507069987036297504283809/355777164179852809\ 9954376842572869413339685297884361464251576332895253523*c_0101_4^6 - 1900159998049617501551715685212580793985701878841077058754544792058\ 9705699050369/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^5 + 363347813729360571127443609441460\ 10633678773835619985885473452565096907333357465/3557771641798528099\ 954376842572869413339685297884361464251576332895253523*c_0101_4^4 + 1239390112010932408592294379758160789991880285088029530246346603454\ 2069685537671/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^3 - 218000233463099366066914694211436\ 4201208642370595940600841161491506194115517763/35577716417985280999\ 54376842572869413339685297884361464251576332895253523*c_0101_4^2 - 1556995402846714897025073799750211619787873195439421488635331580602\ 557499930614/355777164179852809995437684257286941333968529788436146\ 4251576332895253523*c_0101_4 - 193596305287235550579273496246645108\ 632911774855053131371075953086098719664049/355777164179852809995437\ 6842572869413339685297884361464251576332895253523, c_0011_5 + 924760054147695326626432082799699311310236379531141420271167\ 56513948773526808/3557771641798528099954376842572869413339685297884\ 361464251576332895253523*c_0101_4^39 + 7849936338104259990512934247324501992605059399676374945718878125080\ 70753556850/3557771641798528099954376842572869413339685297884361464\ 251576332895253523*c_0101_4^38 + 2650312559746442938449452321744910\ 480304075885355744646515842675733918953033922/355777164179852809995\ 4376842572869413339685297884361464251576332895253523*c_0101_4^37 + 1057436251709325271570766527938351357405261512109852391782703744441\ 5663142124185/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^36 + 1956184355320482975050423301084183390846760615521793695317061990134\ 4013853904606/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^35 + 2356875406410710699627900823367620738477700012352610596478942895183\ 3145615392583/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^34 - 1741078902261563732295450442027337435904135999695640145763407937917\ 1603380048051/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^33 - 1492245574314094190315847486348109855705238113610126707761931507058\ 40193747945015/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^32 - 3344776670988788300235884550530309676491013988477628807054405631436\ 65299760589824/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^31 - 1833733905522294839734607445000324610990537170976202690498396172693\ 59625970481092/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^30 + 5376531051243409507311895020689400231416740880075655226447720677190\ 73164362125920/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^29 + 8759034723790735738299901449045372708973041807074340352144335040051\ 72599032526198/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^28 + 1911144813378179804110218949824119670710697778906476804790907480432\ 78672584174353/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^27 - 6877931929299241766268830781724473015052232546884422005946972130076\ 13811179236162/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^26 - 2834465520034627688718408675491695554628746392859551745300850797907\ 20502498582160/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^25 + 9027416818485902662762952193575003400858214124417532057350475975205\ 79894677121557/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^24 + 3493919225283537829528528921459884729084687168078275805646239382454\ 29477118140858/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^23 - 1558457292987859673342765136263229052527854325495599504248527200831\ 695053907782578/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^22 - 1905972574634329411887078054523707053078403633833342025976533663634\ 820216367977425/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^21 - 1415196179919270735472273457668227303745451814048545523903001568351\ 8714222157901/96155990318879137836604779528996470630802305348225985\ 520312873862033879*c_0101_4^20 + 1183336241865517597046831204586005\ 091571057984096880009471084486578421859126808039/355777164179852809\ 9954376842572869413339685297884361464251576332895253523*c_0101_4^19 + 23502408449888707866064136284743332085353319723395188306876618109\ 92660027666892605/3557771641798528099954376842572869413339685297884\ 361464251576332895253523*c_0101_4^18 + 1307528179036617251033046479294195472909598262090782527592873604507\ 717333296711501/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^17 - 1247544757775390895830695886450313244838392990666212335861915536217\ 151803171469594/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^16 - 1665101711476824588347846698753236265883362654885327368945592434662\ 341214212487996/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^15 + 3164466803303061039349601900969395811774191067329120323510129351366\ 14571759962828/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^14 + 1000271874353048278340518095866748444119799679778349787425212119984\ 004681528577755/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^13 - 1103378676678667312915506761973093937371614568511104588644034409595\ 64718776855178/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^12 - 3858615259129418069833606939951514995234903624423034662022085018959\ 90434712672620/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^11 + 8693323875181114958118918935227606881263785765117949318003664749616\ 1504849743006/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^10 - 3138265278944466368023686038752467430493417166696306115650511315105\ 1595860960983/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^9 - 189276233170402355453710965723628\ 188548416758260728726829925934105509158116568285/355777164179852809\ 9954376842572869413339685297884361464251576332895253523*c_0101_4^8 + 4246152921203054207405792189982465627790696434021569108174908617430\ 3880312520171/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^7 + 134710341984086444441689331447336\ 410914971733901283152710463022144468056577173039/355777164179852809\ 9954376842572869413339685297884361464251576332895253523*c_0101_4^6 + 1780243023184434632021777922426710576455650508244619830033953801980\ 6991955269118/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^5 - 339516360524157647280518704136077\ 21890574206358172053697108548557457832296744747/3557771641798528099\ 954376842572869413339685297884361464251576332895253523*c_0101_4^4 - 1159158271444767802531915698459352317597546879145564256343924826660\ 9440408120118/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^3 + 203580838525508725458035483431073\ 7271814636580362692694658460233878693350639216/35577716417985280999\ 54376842572869413339685297884361464251576332895253523*c_0101_4^2 + 1455768474134182679504102935284422835704248690718824699927921061705\ 684552940277/355777164179852809995437684257286941333968529788436146\ 4251576332895253523*c_0101_4 + 181079168683593344804375446874000772\ 953300720573248793018941433202154388211917/355777164179852809995437\ 6842572869413339685297884361464251576332895253523, c_0101_0 - 120738888682309231482827689683707412171156159720123049046264\ 446884904582903408/355777164179852809995437684257286941333968529788\ 4361464251576332895253523*c_0101_4^39 - 1024593057404818934489105796633109892858562599814986710756307654070\ 553579537003/355777164179852809995437684257286941333968529788436146\ 4251576332895253523*c_0101_4^38 - 345777522944011962567820138113106\ 7737660709022821381525090143116712725300067444/35577716417985280999\ 54376842572869413339685297884361464251576332895253523*c_0101_4^37 - 1379817226770210877846320066697535940509907276676545923201117100363\ 2900319158171/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^36 - 2550779118084150754407151093316151375764709538650481691844538548634\ 4200408370864/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^35 - 3071872600793872885778194817615461779064935822028384627256533052276\ 1289963552879/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^34 + 2279000423096770253543165846148526388023349682892723860450840154134\ 4458349992536/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^33 + 1947483072411345552861896297804435378642545546534030281502395278763\ 13175362177731/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^32 + 4362283148837512205934901415156666032471758217014258411789999264170\ 96058692928672/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^31 + 2384738203759912285080189015742437237448867025693916086130291012046\ 90878729042477/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^30 - 7022101031357547590031814451955889240420486874931383221215842141111\ 48985271515959/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^29 - 1141667611933066438472562193731358909157056682784061168225896354266\ 397037669834708/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^28 - 2473290759649359456124846443794700985664876315662751429314960177072\ 13870584087586/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^27 + 8977303034145930361406833430369837780877974450409603026684890567512\ 39440665285303/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^26 + 3678283432804464504602398745164282279605993517994028553430492105689\ 09082968386383/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^25 - 1178684209673713266884574884445645915522767539477451246559821627228\ 217377514088643/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^24 - 4530565127805276108355196803168980567765565625327177182371762023315\ 43494437532518/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^23 + 2034676389195543750466591431046888499038933598202184646116002654988\ 724359691924302/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^22 + 2483174329048417188518387282558442956607967208338771299942880603598\ 375529463796647/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^21 + 1836079464873209450965952242377375796837832583848335976223869278168\ 4431882624785/96155990318879137836604779528996470630802305348225985\ 520312873862033879*c_0101_4^20 - 1544955442030105694355133277190620\ 063694003079773749631871551960735617534329165706/355777164179852809\ 9954376842572869413339685297884361464251576332895253523*c_0101_4^19 - 30645041126368074245569933074653800147790885040428782797814864830\ 34107632653919196/3557771641798528099954376842572869413339685297884\ 361464251576332895253523*c_0101_4^18 - 1700803418697992003342753404254151465516614560228861473568612931997\ 739463513450753/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^17 + 1630655200364465105097057328373715121568640598269205806030507093375\ 431348675005730/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^16 + 2168941573622572004524475667462639899033388478515641235594776041381\ 889385413243116/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^15 - 4167647202828158664496604412978253465288096907479446766186454193954\ 58875668628979/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^14 - 1303362128423625999674816787818050731498214104091308621992952960706\ 745919936252047/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^13 + 1464212767558143575967849079447961912006144977174811971864516354999\ 54222618165974/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^12 + 5024000817190555967615255327160839627366355438186903805628854549899\ 97031033863345/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^11 - 1142614757187235594881083446225837851538141615358261975512032916206\ 08538786156538/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^10 + 4161078255997576499200366957490623857248063743312911657629515147556\ 8421360203442/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^9 + 246754042105931241125191056647562\ 488586025862027080139437250460059775908354634040/355777164179852809\ 9954376842572869413339685297884361464251576332895253523*c_0101_4^8 - 5594334845747446260210738398601146829091074788072785185102424332550\ 7337453584325/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^7 - 175519878333607855545924255338359\ 767016207426636189594006600395543213985690267119/355777164179852809\ 9954376842572869413339685297884361464251576332895253523*c_0101_4^6 - 2292974408363654322899584557619182195075356762673898124799884483290\ 9869516757197/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^5 + 442536016962270066081479331855523\ 79226190156901659710428600216647320461924348381/3557771641798528099\ 954376842572869413339685297884361464251576332895253523*c_0101_4^4 + 1504814026235410213671371630978216989991932900295735942899715748650\ 7533471241724/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^3 - 266051251496309387164620664905653\ 6636473685359637642751438963046379029549513626/35577716417985280999\ 54376842572869413339685297884361464251576332895253523*c_0101_4^2 - 1892414208817479101634610970437069807102716069576106209069987484187\ 404080408804/355777164179852809995437684257286941333968529788436146\ 4251576332895253523*c_0101_4 - 234991573225236609132212374701883275\ 398535911119500624331316462000172495850452/355777164179852809995437\ 6842572869413339685297884361464251576332895253523, c_0101_1 - 680888441798746235771117512988830037300599979265344917402354\ 01341368184646864/3557771641798528099954376842572869413339685297884\ 361464251576332895253523*c_0101_4^39 - 5775079851173347168853849561807550239961191004093465359649165577938\ 88728288961/3557771641798528099954376842572869413339685297884361464\ 251576332895253523*c_0101_4^38 - 1947688280752331592725625103270244\ 699046151334547731657968730457809770165592964/355777164179852809995\ 4376842572869413339685297884361464251576332895253523*c_0101_4^37 - 7774653773839681008387370542132917593056754617070707992157065400803\ 666048343421/355777164179852809995437684257286941333968529788436146\ 4251576332895253523*c_0101_4^36 - 143564720667216724400042409814659\ 21523889868436467149525230003206071549958857690/3557771641798528099\ 954376842572869413339685297884361464251576332895253523*c_0101_4^35 - 1728417655663644775598556899757399688381555505317298912132165577998\ 2609741653948/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^34 + 1289322657757085034046159598372122016343278501694865564517446056277\ 3844151198890/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^33 + 1097332953119555610788809307656089827110420186666657273867106208152\ 87741103254225/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^32 + 2455982400765739679969098158259450021029347967653899205790327257236\ 25051118235449/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^31 + 1337515072503853644134843028691290220919416245112104417083619103116\ 46520543400197/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^30 - 3959590596799229383003786910559388203588334556945652225309982315434\ 30116152530236/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^29 - 6420771453070388653023822915306728667535625899999629963251290140484\ 37663949265294/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^28 - 1381057482367386168588585233506029397249594609939993514579804707824\ 77053548038193/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^27 + 5055929305446124534599548378711028608003429774224868084799022040562\ 76054586550298/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^26 + 2056688311755065014228307185700741406027706215590655846931266622850\ 76895818087636/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^25 - 6640897775925352636601496001902155308545077140496415597446603593966\ 97279430543742/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^24 - 2529321656306276730963553631980873806671052769464389560436751399016\ 52683114914879/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^23 + 1146385895507095714301607030900899831155188768799918464390916584261\ 860273744132300/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^22 + 1395957164604444604902412519573811888018485679437687804804909786874\ 900935868935946/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^21 + 1028928543369704841269550626521698086271888364694971083838896108019\ 6060113161727/96155990318879137836604779528996470630802305348225985\ 520312873862033879*c_0101_4^20 - 8705711943490456213752530298920934\ 78271721813169169180709152107353861289878977537/3557771641798528099\ 954376842572869413339685297884361464251576332895253523*c_0101_4^19 - 1724797188860368818513254554321372209490355057078904478115422489050\ 235570610270485/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^18 - 9544836833610743763307138945194019217597757516724342350710974384474\ 41057157429638/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^17 + 9196752492974699246490652996912421003956185467174268858127581892810\ 75929920901965/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^16 + 1218680821585869411842283905335858771674681482462974328561607850985\ 658236558172260/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^15 - 2366667047754217513770492041956554626843056927220120990729244520120\ 03780355172912/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^14 - 7322168427289625734388084828875493929654877182487425367885091974232\ 17591306925218/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^13 + 8360537777908296976966063728920423172371750490624637785173151803129\ 4125743646080/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^12 + 2818188782057713137256181660955123718990198310017641124843237571656\ 01165817685052/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^11 - 6451833413437688167495781407862697385789749449843095945207673781242\ 8598519189748/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^10 + 2398174598109029863860124198053703688879943003156031437098822243299\ 8788602978636/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^9 + 138621754682459996024078477514366\ 342157227688905880073643354691209707236829531800/355777164179852809\ 9954376842572869413339685297884361464251576332895253523*c_0101_4^8 - 3177972195534473144991501476609661486394340794060379809234375171141\ 8415732941113/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^7 - 985988247660715428332606421646196\ 47166650996229066818823048945779529451205582896/3557771641798528099\ 954376842572869413339685297884361464251576332895253523*c_0101_4^6 - 1279561464351113762561398654302497525399927143667041571438889128861\ 1825972260421/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^5 + 248605886652587549165021634728967\ 42709379925573790228350616448948687731974381519/3557771641798528099\ 954376842572869413339685297884361464251576332895253523*c_0101_4^4 + 8447310895252681397947801769987062858504060818705295711655861132951\ 784293533394/355777164179852809995437684257286941333968529788436146\ 4251576332895253523*c_0101_4^3 - 1493588395057379776734021240397668\ 465454439189957926560658784776800973007471199/355777164179852809995\ 4376842572869413339685297884361464251576332895253523*c_0101_4^2 - 1063361074959990274190976982308555855910302342785273579240648070905\ 167851936325/355777164179852809995437684257286941333968529788436146\ 4251576332895253523*c_0101_4 - 132236767963542131087869968640101273\ 574727287235520134652914026539962872170397/355777164179852809995437\ 6842572869413339685297884361464251576332895253523, c_0101_3 - 101120299872466017916630287966675177501888136901938989343959\ 196572149946137241/355777164179852809995437684257286941333968529788\ 4361464251576332895253523*c_0101_4^39 - 8583724670310963558664542243292453321961860577499801736049547483395\ 05430673454/3557771641798528099954376842572869413339685297884361464\ 251576332895253523*c_0101_4^38 - 2898039541664834663754185091868585\ 570530509273327484929964818428734267907831288/355777164179852809995\ 4376842572869413339685297884361464251576332895253523*c_0101_4^37 - 1156268644177078442667239824771689947084675548678224920337731196537\ 4790732215424/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^36 - 2139008931937630993530327129441565982684679982302770930043172929231\ 9986574671758/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^35 - 2577023913740992644752448890398547356608342560234168206983713750934\ 9483149606642/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^34 + 1904019426535214646717328502461689085455494101492369567038639458771\ 7322027752250/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^33 + 1631758076254663032929523261825754491529051997871439152131587131001\ 53123866572149/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^32 + 3657376771445627817468790830773075743397735058758996742993146530878\ 29771682815633/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^31 + 2004919038172193455863179833970190647811846489815946709290011634683\ 15985016338341/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^30 - 5879511200242157921824963790073743578938641703433935603789100113687\ 04609526256835/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^29 - 9577689090753838431280248699885749471035535426431636514624409379771\ 63783351728155/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^28 - 2088745622646118194579769652426896907470741647647499045231168768489\ 36617100612611/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^27 + 7521428424546626059592805533077148486619304975666435244623878209594\ 66858140244579/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^26 + 3098890233825556214612022990208847569147311971693083010503576234343\ 82335704225000/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^25 - 9872236798627509400964532861994392274357610190040446704462970585247\ 99329635327867/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^24 - 3819901282294957496677823158007892456042432877323236485702937691307\ 58928884599887/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^23 + 1704280227246430116194154010612931251944693406516020831015027061124\ 618017980686725/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^22 + 2084036866226214335990469997329057668498194066191950936656898244094\ 451073569475698/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^21 + 1546833416825682699178091404286226207519141398565913668031616896677\ 4642240960494/96155990318879137836604779528996470630802305348225985\ 520312873862033879*c_0101_4^20 - 1294035789518935413556955806603967\ 582256700836514067679646581263494764234552857853/355777164179852809\ 9954376842572869413339685297884361464251576332895253523*c_0101_4^19 - 25698769504561264155939280128419922387665470534632735153355148882\ 79887411000675819/3557771641798528099954376842572869413339685297884\ 361464251576332895253523*c_0101_4^18 - 1429561733480606200903698757578757978890782224656430379449503806047\ 531997857454395/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^17 + 1364402473626739018315627842051227726733755261439262674910593200750\ 376886969572953/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^16 + 1820694839775988336005376019672075731975868075143583563596821047312\ 402677630331455/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^15 - 3462853996258037228855871350821569189687875075860976957084958260477\ 32758965024139/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^14 - 1093808687153726282091256209334613418436023341827078844527489337085\ 894576832171478/355777164179852809995437684257286941333968529788436\ 1464251576332895253523*c_0101_4^13 + 1208310565776155874713554554100031554296667904920662435045037121746\ 12093491107460/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^12 + 4219456244492069475135816059917690526406517278754641077114571574855\ 52375297626960/3557771641798528099954376842572869413339685297884361\ 464251576332895253523*c_0101_4^11 - 9515312886103613128417798823841135724993045916537979354818990791899\ 9076032623701/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^10 + 3433732193196226586884076147006754124702381896481269315852355285356\ 6212950544092/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^9 + 206993067869533927558473292046120\ 137156309578206448875201511454682785810676690690/355777164179852809\ 9954376842572869413339685297884361464251576332895253523*c_0101_4^8 - 4646958546427994922289674541738321555519604512166433834385264158963\ 8055916117380/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^7 - 147305538764968641261390188027134\ 967812825295326651274125295986120696832260025886/355777164179852809\ 9954376842572869413339685297884361464251576332895253523*c_0101_4^6 - 1944315312162969515901872412233948332824408780309533739485156003483\ 1210865660986/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^5 + 371273700503467733932898569288656\ 20271536079866248009229256330743292428991934803/3557771641798528099\ 954376842572869413339685297884361464251576332895253523*c_0101_4^4 + 1266927946752099219324908639646038519244714290255600167023407248424\ 2551513369754/35577716417985280999543768425728694133396852978843614\ 64251576332895253523*c_0101_4^3 - 222704791279034370701310212091177\ 6065521871726605371090219815771047230109008397/35577716417985280999\ 54376842572869413339685297884361464251576332895253523*c_0101_4^2 - 1591329433990183525467134521260630896175726859771669246249968180112\ 786762471283/355777164179852809995437684257286941333968529788436146\ 4251576332895253523*c_0101_4 - 197888481342047263963285715842238693\ 587943832537861032056486517056275308497959/355777164179852809995437\ 6842572869413339685297884361464251576332895253523, c_0101_4^40 + 9*c_0101_4^39 + 33*c_0101_4^38 + 129*c_0101_4^37 + 270*c_0101_4^36 + 363*c_0101_4^35 - 58*c_0101_4^34 - 1710*c_0101_4^33 - 4442*c_0101_4^32 - 3832*c_0101_4^31 + 4801*c_0101_4^30 + 12445*c_0101_4^29 + 6908*c_0101_4^28 - 6383*c_0101_4^27 - 6868*c_0101_4^26 + 8197*c_0101_4^25 + 8770*c_0101_4^24 - 14924*c_0101_4^23 - 29228*c_0101_4^22 - 16196*c_0101_4^21 + 9905*c_0101_4^20 + 31958*c_0101_4^19 + 27131*c_0101_4^18 - 6267*c_0101_4^17 - 24906*c_0101_4^16 - 5780*c_0101_4^15 + 12570*c_0101_4^14 + 4335*c_0101_4^13 - 4785*c_0101_4^12 - 1192*c_0101_4^11 + 142*c_0101_4^10 - 2221*c_0101_4^9 - 587*c_0101_4^8 + 1692*c_0101_4^7 + 937*c_0101_4^6 - 269*c_0101_4^5 - 313*c_0101_4^4 - 42*c_0101_4^3 + 27*c_0101_4^2 + 10*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB