Magma V2.19-8 Tue Aug 20 2013 16:17:49 on localhost [Seed = 2378961263] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2056 geometric_solution 5.58163655 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.584016115369 0.139568159739 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.796209973517 0.247525377612 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.113714244823 0.759582495434 5 2 4 6 0132 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.215091027610 0.939716375319 6 3 2 5 0132 3201 0132 1023 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.215091027610 0.939716375319 3 5 5 4 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 1 -1 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 0 0 1 -1 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.847878529172 0.836345404786 4 6 3 6 0132 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.231447163455 1.011175091476 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} 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_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 2657278535061321937023508196209054098174112210448377868814071358215\ 6058765271739975280/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5^37 + 1157559574004154500135051346714334940043655652483355241075006706676\ 93810515980271171749/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^36 - 8090896107461013999998102124115973803036588844240093866913880175251\ 20446287450242405515/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^35 - 5204219584215526752728734820732702002502900882807247896041328646341\ 675867304352174563940/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^34 + 9545381529281151989554591811536647251074302364199784302442388482746\ 152060282749119794922/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^33 + 9436033260897249585121466799714075117439767460409758318925911512658\ 1728192154247088527728/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^32 - 6070144818365953950122852235718065583019026887981161849090738155374\ 9462880832401632786155/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^31 - 9468238653826197216857297567945217957287934525012821227773648660359\ 36521100164932594355611/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^30 + 2985626945040546677568903654280607945016365372972004066374203091780\ 29762014883373628519018/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^29 + 5958741127723882686326735563991405022339530832372480427579697970372\ 941761565210277195163994/167891237954667179970415618152925125661266\ 0364742733641982560965098238628597692717*c_0101_5^28 - 1396862045104998012580567087681878952279919408333772124463048190791\ 358025455550546402462093/167891237954667179970415618152925125661266\ 0364742733641982560965098238628597692717*c_0101_5^27 - 2537649544067260164935673892891349236301580123339126069247289429991\ 1345260733746387833185795/16789123795466717997041561815292512566126\ 60364742733641982560965098238628597692717*c_0101_5^26 + 5619887351040520655667228945285903999491090647411506350619219636282\ 126500332871503365688750/167891237954667179970415618152925125661266\ 0364742733641982560965098238628597692717*c_0101_5^25 + 7660118755415501711259514513117249405528715340002350532528636182160\ 8721105875820546332348251/16789123795466717997041561815292512566126\ 60364742733641982560965098238628597692717*c_0101_5^24 - 1690398918493844349760612686920324627898001498066690763614969455312\ 7446377673911905258630987/16789123795466717997041561815292512566126\ 60364742733641982560965098238628597692717*c_0101_5^23 - 1681286367225234147954459153995963194656136613418821477746677904350\ 78841233602497584576276176/1678912379546671799704156181529251256612\ 660364742733641982560965098238628597692717*c_0101_5^22 + 3628085000087587339946850755154931987892201123720058783246063929621\ 2187966288280094404704738/16789123795466717997041561815292512566126\ 60364742733641982560965098238628597692717*c_0101_5^21 + 2714559750213683826424766614016796487743338144729619173223262352656\ 74243642790202447312142882/1678912379546671799704156181529251256612\ 660364742733641982560965098238628597692717*c_0101_5^20 - 5570132908400280185181536699723701477729867281844310267356928451016\ 4857371449825474273617344/16789123795466717997041561815292512566126\ 60364742733641982560965098238628597692717*c_0101_5^19 - 3232287824059047794313898997709718174380030515148142660245962936310\ 43401213673936492328131590/1678912379546671799704156181529251256612\ 660364742733641982560965098238628597692717*c_0101_5^18 + 6219229638557635706384821314513665526561542061943357171768682345594\ 9598426613032991814430780/16789123795466717997041561815292512566126\ 60364742733641982560965098238628597692717*c_0101_5^17 + 2827511079948028400667986194973649606741909265842585587819230075760\ 81232899804880255658761477/1678912379546671799704156181529251256612\ 660364742733641982560965098238628597692717*c_0101_5^16 - 5092391869085203058461567371175892927902717398802197045793152994936\ 8237713537800160247237040/16789123795466717997041561815292512566126\ 60364742733641982560965098238628597692717*c_0101_5^15 - 1802984375013365551410397565039036816302948367410317683003715572298\ 97857433243342573753423653/1678912379546671799704156181529251256612\ 660364742733641982560965098238628597692717*c_0101_5^14 + 3010389058985451303360819960096541597797843896704666460390666754415\ 6805268423495242365633732/16789123795466717997041561815292512566126\ 60364742733641982560965098238628597692717*c_0101_5^13 + 8300036739232262351696687760946938104832671309651974955229663361200\ 7340676470489597194000133/16789123795466717997041561815292512566126\ 60364742733641982560965098238628597692717*c_0101_5^12 - 1234947855934480032053730294731533475966541481975612332035606743649\ 5307286602475112676996162/16789123795466717997041561815292512566126\ 60364742733641982560965098238628597692717*c_0101_5^11 - 2725363624149863616621316759963839404562737198130356505564190331589\ 4461321069040501180685574/16789123795466717997041561815292512566126\ 60364742733641982560965098238628597692717*c_0101_5^10 + 3324112880152794115351727205312726864267260524931138473741845982170\ 596636968119735182264818/167891237954667179970415618152925125661266\ 0364742733641982560965098238628597692717*c_0101_5^9 + 6246701141979004556125630233030375002948288890910597328263169251558\ 087092379377204845901001/167891237954667179970415618152925125661266\ 0364742733641982560965098238628597692717*c_0101_5^8 - 5407564611170262901466237274743431493898743169545364877263771066296\ 93483567094307855320158/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^7 - 9562829402227926204965948664059909618352678418718053128385823348581\ 37711005429680153272077/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^6 + 4556761040671325926606538672438111208819478561786563938104081607076\ 6962981232487149242572/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^5 + 8985593533407909460161303654374403531779837670656914530506824262326\ 9992168621535614129272/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^4 - 1276341865766954752222595259528753445176205102245615313750768899558\ 019933735808850729062/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^3 - 4428953575022901329115909295812491972363720415717347441951928909072\ 295022105664962624321/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^2 - 2355443631204058827374354187021068117951869645672355786489919017055\ 9909504442026455094/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5 + 7801646911432916059031000211083748397537724833057867096391625804193\ 2514637850096364223/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717, c_0011_0 - 1, c_0011_1 + 399178113297764766141173132524054130985539971701884254143817\ 50741454975581250058937/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^37 + 1844651181168980301776565036424453188015614133462607796061411205538\ 55651674639927513/1678912379546671799704156181529251256612660364742\ 733641982560965098238628597692717*c_0101_5^36 - 1174077880778846491703697520732137705656432674606093123149038067691\ 275582765238412573/167891237954667179970415618152925125661266036474\ 2733641982560965098238628597692717*c_0101_5^35 - 8157888941942388996824617826816793561754099221272474684070220032749\ 031013695619990241/167891237954667179970415618152925125661266036474\ 2733641982560965098238628597692717*c_0101_5^34 + 1242146655732318476398619771358125499922515069489328893284958969044\ 0596271505820795066/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5^33 + 1463909694787524224617801315267509641223906949263453930436955645164\ 62811862484655439129/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^32 - 5578043153667721149623478665651780519004256898295811994633630794472\ 0680298951494372068/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5^31 - 1462104185224888649735225149663921157940001605465271692581196552439\ 800442151751454782846/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^30 + 9085907595715001263926482692552776944945758059454168472701542475176\ 9066845294343569145/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5^29 + 9228000400172448596389820472048699510421482236528851485662084075295\ 363488454429612897741/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^28 + 1348755550206393293747553547368761333658615845272284708109221223605\ 84970933496890044084/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^27 - 3966048631177497126916632203046759171424792058611635960649831898275\ 4975372578220333710852/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^26 - 8756153156086053658469777399987016784107176913592547502207054470928\ 22698495131406326718/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^25 + 1213909986874949087743321912937569813481138491882589963071578361486\ 77455399734145921331150/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^24 + 1866766428569209414902116770813593601234090982362322220432206396977\ 628958940613733848574/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^23 - 2711435538242430278455644696212292760123415190940140438825299601528\ 16515616372292425545201/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^22 - 2893783486514897025725280435080201994247819219975678176329062020840\ 497908891878992812029/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^21 + 4469045581093086854034515908716271901141462218101034248427693936787\ 09693066386218742476280/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^20 + 4214532136238748296776792657852267119381179077692819829091469671038\ 107546865435486931050/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^19 - 5449733408977274618445356096505563893430622868358333327062674167704\ 34931768378491189389084/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^18 - 4368586015148542497791738288019896761733348203965037297632932039040\ 060867532642706673674/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^17 + 4901441870883254698880045130300841267446861321514645189504494344111\ 23336899578109680225734/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^16 + 1707630704969750388916589987621368422620071217718584494029585157405\ 958208098153600450228/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^15 - 3227346251805569631963411375056032141475371829794819352433649156778\ 64457146390005331506839/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^14 + 1088174240698914679269781809946377439989384702433561426565408307284\ 078049645704142932723/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^13 + 1538020055779862864175367816011898071854540669629169075481081203606\ 38454840085963890959609/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^12 - 1309804089055368119208208173008229064901377874942470711716429675310\ 016382292395841995707/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^11 - 5215102206778222430062293714113378722046591911429392857096853536037\ 0371517826644233022057/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^10 + 3940120298744709392321051754025685017182027176892692622869388943770\ 67146217632924079371/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^9 + 1224112047863967650293902687728224501442776230183292619580003831349\ 8288920179786573216838/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^8 + 1118960296048235696420871442050047558292179688449583930570185522159\ 8382533155793477166/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5^7 - 1896298424059196677669509033913153397768748918057452661803833544593\ 772244628198918899745/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^6 - 2503095729782153295562097311387065764547123004464846624939622453263\ 4764097615712407734/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5^5 + 1781150170064849447617885605221824616965010379966840135655924719940\ 13377701366015517899/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^4 + 3810239769305302751974163488029327981736920874884440190926615476950\ 670249630495123927/167891237954667179970415618152925125661266036474\ 2733641982560965098238628597692717*c_0101_5^3 - 8712568978403111858222864582838516681744790013585069390615536728645\ 897584205625620088/167891237954667179970415618152925125661266036474\ 2733641982560965098238628597692717*c_0101_5^2 - 1651333942749062943656184186382537709061176270253222115547051751425\ 30544527802661855/1678912379546671799704156181529251256612660364742\ 733641982560965098238628597692717*c_0101_5 + 1542351139181883826499980164165425317501095511158126156982510695065\ 08501019671499404/1678912379546671799704156181529251256612660364742\ 733641982560965098238628597692717, c_0011_4 - 154771735105568940418595911900731218444058332547013785519486\ 380624370787586719902267/167891237954667179970415618152925125661266\ 0364742733641982560965098238628597692717*c_0101_5^37 - 6740605038779870253190775638672428088797244011553066526688572076509\ 08262847525787271/1678912379546671799704156181529251256612660364742\ 733641982560965098238628597692717*c_0101_5^36 + 4710462941502935212454429858576914343017422047749862922498406833519\ 880119913542558976/167891237954667179970415618152925125661266036474\ 2733641982560965098238628597692717*c_0101_5^35 + 3029499392863056671518567943973606651352347351852941401757425898807\ 8799132886979020500/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5^34 - 5554600449658794750733862281220723497994026298493266636419985845813\ 6014588616909162443/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5^33 - 5490075828348408180578586909740779333943277284903248742877440565283\ 08502187548658292879/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^32 + 3531924433490287520601463909675042312425051017030486860558992307956\ 87164243986618927225/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^31 + 5504819792864437932612804394423030979812216420980675203128113874173\ 770300024647986998605/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^30 - 1739307802679340679149234003563588216995981236122148032241140144672\ 333804060378271853823/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^29 - 3461014673538335600889457199384676392448803148091891675173635511029\ 5337973460114903326976/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^28 + 8149437059235124640684323396617047767590422845634196351819341811759\ 344455434888250121903/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^27 + 1472106093169096892947075829496027411701176857961420197763332426851\ 43846251003095402471326/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^26 - 3279292268043167826339285048084278595427095811676631232188462667789\ 1879711948826640733023/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^25 - 4436786414279972871526104702445220964603573199865319951542582615072\ 73938557181789484793081/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^24 + 9855926912709448757113718707852113401088604538148809405680398997018\ 8571804623324565359842/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^23 + 9719245373137054546234952189731763156206849511439776387039921901513\ 31794839478028370788632/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^22 - 2112715311343345781849528698401275486395544353070785090808875414514\ 73840579850297360300177/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^21 - 1565412417709465471193865775722543122909298365660887809727931070636\ 514571258108723108130817/167891237954667179970415618152925125661266\ 0364742733641982560965098238628597692717*c_0101_5^20 + 3238749492675201465563542881711489755731891234445624261463352852144\ 91595094329343590393144/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^19 + 1858194202078900045296218554711210300380800294982840879109361157489\ 737382171786952039761716/167891237954667179970415618152925125661266\ 0364742733641982560965098238628597692717*c_0101_5^18 - 3609972977241247259688726100159157679202534252940190701519158064309\ 79080172802117731965674/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^17 - 1619069106842059353971064350681067648597129680269839830552697305109\ 592162764349365730870170/167891237954667179970415618152925125661266\ 0364742733641982560965098238628597692717*c_0101_5^16 + 2949638087882233741249531721688443021089505689328581489305266732704\ 25791874391006743600722/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^15 + 1027232777139770673221164122273188184031358767774839722704322145251\ 848104104686694134525680/167891237954667179970415618152925125661266\ 0364742733641982560965098238628597692717*c_0101_5^14 - 1738533710164916465983108990154945826051024675213378883071577255995\ 32206290770371465087175/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^13 - 4699299356480305872490153199777318867891997081077494250036785174094\ 19167147230441730166317/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^12 + 7102193307221726099605420827396935125675238613545670064275275951747\ 2439005536346234229075/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^11 + 1531322163367911135950214025563450175024814415235561199531443601112\ 49324676269975406895635/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^10 - 1901779459683254008327087797127886439853962457960034980065298213174\ 2878691653423160115073/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^9 - 3477808088137819249163689529236336506597980434481361550439619875419\ 9815949374119298108467/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^8 + 3079048565912145371296515241443869138076351030150861004342434740921\ 296210306206012681701/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^7 + 5264625373722834411720565197287256405691288623307714565580677116960\ 884200627044130698254/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^6 - 2599782798488183299440724600329491092340099175296631528552603553145\ 59711978322589681003/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^5 - 4878575770679698025356764475707953703874562149533027645287237926283\ 04651366314929139905/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^4 + 7726208965699426729209947608332879694865536919124259945603595414240\ 478633738236080537/167891237954667179970415618152925125661266036474\ 2733641982560965098238628597692717*c_0101_5^3 + 2365204979156027897401112605149727193905879725931584147796130431602\ 4085119348417622348/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5^2 + 9580580446798136918515023306765269943800452396721152062520314622264\ 2349819113240185/16789123795466717997041561815292512566126603647427\ 33641982560965098238628597692717*c_0101_5 - 4095876121429247623683340615145297993597936707508097974884560392628\ 79619213657393033/1678912379546671799704156181529251256612660364742\ 733641982560965098238628597692717, c_0101_0 - 189831796242159475854100952049313694489986727129413670356717\ 587918669728253081375017/167891237954667179970415618152925125661266\ 0364742733641982560965098238628597692717*c_0101_5^37 - 8092564041958394381439853715797649376384434835328032384072342704653\ 44018713851071702/1678912379546671799704156181529251256612660364742\ 733641982560965098238628597692717*c_0101_5^36 + 5844402766231406402500282568699658702843597531984164909955636086924\ 685095725225833210/167891237954667179970415618152925125661266036474\ 2733641982560965098238628597692717*c_0101_5^35 + 3658842501841055973045140690799094728168914535082036295447425125257\ 1361153733701558710/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5^34 - 7125513789595315785059159543030679590153397584232231389244280217617\ 2515719839785175466/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5^33 - 6653954329584848770518273384410276213121953112800427191840069345731\ 44308132943326688333/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^32 + 4912251720074297847443499121269554935465456236456580473898977793301\ 80246125556962964886/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^31 + 6680574359987033702176055722787699220072552401304217852280071532643\ 926360488347648579429/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^30 - 2721446614441142788947909568267641222463053009069950656940306643446\ 006444366692363456812/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^29 - 4193747909632547126072622332337064263941138979729534610590734820426\ 5533744497923010318824/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^28 + 1367258680047437230009773981667747310259935362521168508154254791962\ 8383521157764197513700/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^27 + 1776603983292843386680664910768547558097571149049032173945541888922\ 80086973392182902878626/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^26 - 5555401184621863023884734403975638762100138780408768897761853140206\ 6921529196666664285603/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^25 - 5322163978088404980551563159649030992060203468750259553938562693997\ 62546355506792474694922/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^24 + 1656475232551400232741961672922098897282135565271815771113616298126\ 53150074550068471281691/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^23 + 1156721064359676718235061889397352655334531180834092605484154453811\ 040294162709030061986092/167891237954667179970415618152925125661266\ 0364742733641982560965098238628597692717*c_0101_5^22 - 3530517030432274085455758919938897609616370679087147591492212810089\ 58092539356288090546048/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^21 - 1844958318491318970334061843012478369724569859722648875303252842366\ 311055554344793461348281/167891237954667179970415618152925125661266\ 0364742733641982560965098238628597692717*c_0101_5^20 + 5403756610856468035567535760367905566308994569629689225862767685720\ 42905529079514338819140/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^19 + 2163833750979593342418163818151407598678887981835784544811580041382\ 314842590669063951917676/167891237954667179970415618152925125661266\ 0364742733641982560965098238628597692717*c_0101_5^18 - 6009861908109723052169283987335200653167716225240908132024044503407\ 33618637697369401944958/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^17 - 1857056982248970197983131407272791977302987359095407028275639989291\ 440208465474525321118373/167891237954667179970415618152925125661266\ 0364742733641982560965098238628597692717*c_0101_5^16 + 4870640810859543207324773021990966294467164056529052206018596715542\ 58854249651319800559879/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^15 + 1155815950041418474584554226463429682244857457146877364573007416950\ 336960929075375340367552/167891237954667179970415618152925125661266\ 0364742733641982560965098238628597692717*c_0101_5^14 - 2828089109592265243888228676665257206638307130616158768923105998218\ 47042042280239557956402/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^13 - 5164965715202968431935975413509137523524588543106636319129265506272\ 28359283759125157839158/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^12 + 1135537301060341710297832628838631281973422843721545033309714797160\ 57831640834471513594906/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^11 + 1639525154944893903760890742333183624914176245291038389075813933400\ 22359315751017909169594/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^10 - 3007128235578068604473963102292966725493758994843411216241722785994\ 8379804883616593057795/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^9 - 3625951629216561839254412062948609099760748965764371437720308778898\ 0730879338508128331551/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^8 + 4912004430079220453485815464070364919102833031193804600890165442397\ 002909993618666288178/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^7 + 5349213601729735409760711207161874199420101883206120416794197599904\ 898804539076438515347/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^6 - 4405264177298232241333722390947987784304806633177552229929598541642\ 58291697404345415021/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^5 - 4828439849392051119949758103616480071884869065886539838483229992095\ 48340445720795423642/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^4 + 1692143781065303729839046785801235631933063166063056188310427313713\ 0344334351556226543/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5^3 + 2276574433464256130727100976771622492057134762991382057593538984576\ 6060648678696372860/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5^2 - 7409907880247493715815654093247933809205428860429569769637668654122\ 2877210939903121/16789123795466717997041561815292512566126603647427\ 33641982560965098238628597692717*c_0101_5 - 3840975276570345591821796369699968575465991250548685562984438229484\ 34827512883342981/1678912379546671799704156181529251256612660364742\ 733641982560965098238628597692717, c_0101_1 + 266803594379903366283613121169471862744029954507518285063165\ 5869562120365876848539/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^37 + 8365727677581629606088742042873581206305387300790942965647170861311\ 558276568636972/167891237954667179970415618152925125661266036474273\ 3641982560965098238628597692717*c_0101_5^36 - 9284129961203604235961447790169309912959411484503243489908403255002\ 9891152705768701/16789123795466717997041561815292512566126603647427\ 33641982560965098238628597692717*c_0101_5^35 - 4125538545313953368982281930810584833414293459261544667113780457732\ 27021445232282912/1678912379546671799704156181529251256612660364742\ 733641982560965098238628597692717*c_0101_5^34 + 1516770725877086727950968572117034061273271274413372870380654632029\ 720505091406378725/167891237954667179970415618152925125661266036474\ 2733641982560965098238628597692717*c_0101_5^33 + 7816545178838837281146275874858575654630338097491576674443284597268\ 324342270593024864/167891237954667179970415618152925125661266036474\ 2733641982560965098238628597692717*c_0101_5^32 - 1667837160686989866681969267888077212192804356303054493156816685700\ 2066628939831863889/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5^31 - 7881992336898449673248724428579622419203346855336120897715086738460\ 7879418414334513830/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5^30 + 1389356347216810609828039669140921612903269753773178287894760272525\ 75034595701444530653/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^29 + 4743741815059133000778502012751590405513624823447334801948034454226\ 67995158538829945609/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^28 - 8281649366864595913376685739690693132842326198607678368922644923718\ 98369897480697363076/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^27 - 1838917969088778606971940846592356725211489864107552376539201220398\ 337765612172727878900/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^26 + 3450699068477028128145717737301043441221082808484718547045285284013\ 385195424184892580339/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^25 + 4782674331533954341496979759147397194864981080195060528179809231867\ 964620952631110942565/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^24 - 1016721984751403461279531094307265720246435948545545128147978197874\ 0458383335003949560087/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^23 - 8382039977316667896920539577081426395592929310322150881458946896148\ 264168473474222413613/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^22 + 2152633029552315856610618681123097939354568308729406447954704826596\ 8160242607790615629780/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^21 + 9441986155074420980082001842550342860381394809788886172538329306061\ 719024553900293579408/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^20 - 3310713629621184006528927411905375879710380430716035785287217845899\ 2585483900106948260492/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^19 - 5498064505780570736801935293875379816919277440063351830347434629673\ 609782995857373404382/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^18 + 3710643764223059421806835208756167222601469383987153260111078205397\ 7164627871902559175096/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^17 - 1109425022755579876357890231638866911260145423270243630705138975370\ 442192573405698525075/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^16 - 3008629267900823512736374796249450566709305667026660778325171480508\ 3198383221063768234328/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^15 + 5077136481917910812377814745864522814955964440673689300288324791356\ 214496294023603950240/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^14 + 1734498959938211745821734965311879862869707376782378522576052263023\ 4696946798583111784909/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^13 - 4506482780085473441601995953793596553781219764871424580396623039013\ 106189185771919126364/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^12 - 6973742834221541299423019139713732640481190694361279606631378971089\ 590935607454631216056/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^11 + 2140759484628923971168210495082495779848601832546987113887321550394\ 395919715814750587563/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^10 + 1930671802482243231435843616023524473388835143197497122699839323290\ 599365742789848779497/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^9 - 5998661690292333131561323025362798192724552599218140259606190364838\ 39654284418760421097/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^8 - 3617200477282809508046929157977375024284991066890486821654155688929\ 43278720600976150079/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^7 + 9792793972656433009695942071985508853533025337638434742017110604013\ 0968204729756791057/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5^6 + 4293374427316950941342829144202720701700936666000957361753395742706\ 2548702610745209873/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5^5 - 8493295558911819403205207339958365782351110808381289950632852770703\ 146599078993509091/167891237954667179970415618152925125661266036474\ 2733641982560965098238628597692717*c_0101_5^4 - 2664022709536623480932114757484078870488686739253070062162439245589\ 603308712266700220/167891237954667179970415618152925125661266036474\ 2733641982560965098238628597692717*c_0101_5^3 + 3416677355355577486116261260285411126984941672991981436246476772292\ 85660279132376786/1678912379546671799704156181529251256612660364742\ 733641982560965098238628597692717*c_0101_5^2 + 5526385047576259708502872659674174953201927433532757064312720598675\ 9816256762262209/16789123795466717997041561815292512566126603647427\ 33641982560965098238628597692717*c_0101_5 - 4871472942264274822337528339396207565938711791605436304343993618144\ 387427316760417/167891237954667179970415618152925125661266036474273\ 3641982560965098238628597692717, c_0101_3 + 147684728596377436027956331895617072927558178959464445751924\ 514923265874963757046270/167891237954667179970415618152925125661266\ 0364742733641982560965098238628597692717*c_0101_5^37 + 6333247616590852543887787720465684234362270125531213912727114663040\ 80595802155092556/1678912379546671799704156181529251256612660364742\ 733641982560965098238628597692717*c_0101_5^36 - 4533080469289598293110857374974427433673994926055810541489796186129\ 340788889016916155/167891237954667179970415618152925125661266036474\ 2733641982560965098238628597692717*c_0101_5^35 - 2858859397072070819923523339932298929638428989695204802215415736104\ 5492342212997741224/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5^34 + 5478630577137213572227042036332187224082693020641161807679401882355\ 8802324310920576677/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5^33 + 5194630632686002350156316903643955296915300685475534596120678589048\ 09406777537596556001/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^32 - 3700732718595486381563185708278310691158105022822618127011931788638\ 62719916582265794507/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^31 - 5214397998683620300348410086945098205430763729377662272622660310885\ 070715541020406218547/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^30 + 1994795978731999049477590147963250960826635288449905394188477391953\ 499990937141655453394/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^29 + 3275514091310201569723903154887084598694056009910951172369158699612\ 9804074084028873373248/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^28 - 9877075996714973062374667984069470509471108414856373394150256969748\ 865155582085723448170/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^27 - 1389564707172373577585157709215683749400629759680789508012618328637\ 47441869408149310524342/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^26 + 4009330688933425960315102341229867639448500470312204554153998387713\ 7694195911136104613578/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^25 + 4171202095337560305953310453750236407875490711291837844446466162459\ 30942885196532084292821/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^24 - 1199192976302587136349955830380381747591284656588599276989242508166\ 89438066420139449278085/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^23 - 9089570999265099862113091358446668434036001709109976866591709971619\ 34077283741410706722943/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^22 + 2563797530728582629013924678272977175291710462840199531093686033472\ 69179886638992236545426/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^21 + 1454526119109364176922211794716007414266703132645608555693225707866\ 990168514461726606915401/167891237954667179970415618152925125661266\ 0364742733641982560965098238628597692717*c_0101_5^20 - 3935160074286583847921711599913792932334296359494098829686817886307\ 51463796872157989037022/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^19 - 1712884262669769600350119687010147474846372647330804340728024205746\ 165022989270332344186682/167891237954667179970415618152925125661266\ 0364742733641982560965098238628597692717*c_0101_5^18 + 4392722138268783109026063270793777238420416930766518538857674837701\ 34840467110052407392444/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^17 + 1477675932076137314039331603817349793111916132410032186280224932779\ 730258655615483864266412/167891237954667179970415618152925125661266\ 0364742733641982560965098238628597692717*c_0101_5^16 - 3580841027396081011575307571731547923936830899923989881910659625415\ 25547755730894637787991/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^15 - 9258138614967308647397852881796418218350740613028097829321588217838\ 27289503885498208508020/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^14 + 2096808147546316475733684354089368778210695537462883288966575303235\ 41986880616194659871211/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^13 + 4171190173559180526252213181838437401000264018765746183286318013869\ 79326135853751682006612/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^12 - 8509919281453911068967951943776261870676963781571036335409470612402\ 2696214452565117625585/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^11 - 1336556236691278532791758327165535204038264751770354292127343120815\ 13704094507590921601353/1678912379546671799704156181529251256612660\ 364742733641982560965098238628597692717*c_0101_5^10 + 2281529235864935903747095995665592147605553413584936870987904336641\ 0276334642226388996556/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^9 + 2986138758752286538269657461135526992488782567695266908210761557220\ 0128494202706592177988/16789123795466717997041561815292512566126603\ 64742733641982560965098238628597692717*c_0101_5^8 - 3777326725308553886407802387820248452627621957814894895553003930004\ 354612070795331884799/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^7 - 4455722845561302183109586359079704803012912010340786041425959454993\ 366422554999797840103/167891237954667179970415618152925125661266036\ 4742733641982560965098238628597692717*c_0101_5^6 + 3437965039578223620129569809526273335808127211259634712480026504083\ 30239925826794037662/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^5 + 4077904704697844075716120345325856219002917290683472441532184522918\ 49694509313634954939/1678912379546671799704156181529251256612660364\ 742733641982560965098238628597692717*c_0101_5^4 - 1335965728333851788005454203644545744309465654247372467167485476661\ 6187977807958319722/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5^3 - 1952964494372416177287183773484114109860991091869365227650525585789\ 6155554007758054093/16789123795466717997041561815292512566126603647\ 42733641982560965098238628597692717*c_0101_5^2 + 4880719950550641578197661742172683908113301476834489451079086017464\ 1187636256086805/16789123795466717997041561815292512566126603647427\ 33641982560965098238628597692717*c_0101_5 + 3331846419899886108032793036453391974085761841883986963441955756140\ 26896620230739164/1678912379546671799704156181529251256612660364742\ 733641982560965098238628597692717, c_0101_5^38 + 4*c_0101_5^37 - 32*c_0101_5^36 - 185*c_0101_5^35 + 429*c_0101_5^34 + 3423*c_0101_5^33 - 3550*c_0101_5^32 - 34817*c_0101_5^31 + 23941*c_0101_5^30 + 220235*c_0101_5^29 - 132576*c_0101_5^28 - 936205*c_0101_5^27 + 552479*c_0101_5^26 + 2806960*c_0101_5^25 - 1666340*c_0101_5^24 - 6098509*c_0101_5^23 + 3628712*c_0101_5^22 + 9722695*c_0101_5^21 - 5754573*c_0101_5^20 - 11402612*c_0101_5^19 + 6701733*c_0101_5^18 + 9783937*c_0101_5^17 - 5735995*c_0101_5^16 - 6076696*c_0101_5^15 + 3570703*c_0101_5^14 + 2699574*c_0101_5^13 - 1587129*c_0101_5^12 - 848917*c_0101_5^11 + 493115*c_0101_5^10 + 186456*c_0101_5^9 - 104402*c_0101_5^8 - 27797*c_0101_5^7 + 14505*c_0101_5^6 + 2640*c_0101_5^5 - 1239*c_0101_5^4 - 140*c_0101_5^3 + 57*c_0101_5^2 + 3*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.290 seconds, Total memory usage: 32.09MB