Magma V2.19-8 Wed Aug 21 2013 00:26:03 on localhost [Seed = 3313751720] Type ? for help. Type -D to quit. Loading file "K14n14428__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n14428 geometric_solution 12.07531463 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -15 0 0 15 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.586041944902 0.973162351820 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 15 0 0 -15 0 16 0 -16 -1 -15 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.116353126167 1.018049700415 8 0 9 4 0132 0132 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 -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.785303627564 0.637655634729 5 10 11 0 3120 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.734089159695 0.825579698541 2 6 0 10 3201 1302 0132 1302 0 0 0 0 0 -1 0 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15 1 -16 0 0 -15 15 -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.638987429575 0.558018218407 8 1 10 3 1023 0132 2103 3120 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 15 0 -15 16 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.009901840292 0.940842832208 12 7 1 4 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 15 -15 0 -1 0 1 0 -16 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.116502982110 1.005612248944 11 6 10 1 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -16 0 16 0 0 16 0 -16 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.049642632435 0.750641525867 2 5 11 12 0132 1023 0321 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -16 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.033114316782 0.901984622456 12 12 11 2 1302 1230 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.629279156725 0.323686562778 5 3 4 7 2103 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 -16 -1 0 0 1 0 15 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630472446649 0.572597448434 7 9 8 3 0132 0213 0321 0132 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 16 0 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.279943807117 0.534153334661 6 9 9 8 0132 2031 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.197886532179 1.053145028718 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0110_4']), 'c_1001_12' : negation(d['c_0011_9']), 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_0101_12'], 'c_1001_7' : d['c_0011_4'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : negation(d['c_0110_4']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0101_12'], 'c_1001_9' : d['c_1001_11'], 'c_1001_8' : d['c_0101_10'], 'c_1010_12' : d['c_0011_9'], 'c_1010_11' : d['c_0011_4'], 'c_1010_10' : d['c_0011_4'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_4'], 'c_1100_8' : d['c_1001_11'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : d['c_0101_10'], 'c_1100_7' : negation(d['c_1010_4']), 'c_1100_6' : negation(d['c_1010_4']), 'c_1100_1' : negation(d['c_1010_4']), 'c_1100_0' : d['c_0101_10'], 'c_1100_3' : d['c_0101_10'], 'c_1100_2' : d['c_0011_4'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_1010_4']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_1010_4'], 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : negation(d['c_0110_4']), 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_0101_12'], 'c_1010_9' : d['c_0101_12'], 'c_1010_8' : d['c_0101_0'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_1001_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_11'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0101_0'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_9'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : negation(d['c_0101_1']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_9'], 'c_0110_8' : d['c_0011_9'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_12']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_3, c_0110_4, c_1001_11, c_1010_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 1186553032649609201947099418323172845716110912253830682844187608353\ 5030314303910/52162457648225770540988793871945424802936922229511001\ 232235803217286301692687*c_1010_4^26 - 1123124446798140548619195614637820107999196271669650989864291901295\ 555436342341744/260812288241128852704943969359727124014684611147555\ 006161179016086431508463435*c_1010_4^25 - 4585966212482905549865478800201138269542979274167364872480572864232\ 037716592229431/260812288241128852704943969359727124014684611147555\ 006161179016086431508463435*c_1010_4^24 - 1545554761174040787272688539998581816437038570675213163091570975509\ 6477277893730543/26081228824112885270494396935972712401468461114755\ 5006161179016086431508463435*c_1010_4^23 + 1228086732995097607813366121191123040055936674078322120175073089930\ 4703072203224757/52162457648225770540988793871945424802936922229511\ 001232235803217286301692687*c_1010_4^22 - 1083947360642417605610157654233249208018817376700116862103626004783\ 27667227567487029/2608122882411288527049439693597271240146846111475\ 55006161179016086431508463435*c_1010_4^21 - 7203909857966632082553598145933289897581302825719076862956347367924\ 610468810144916/372588983201612646721348527656753034306692301639364\ 29451597002298061644066205*c_1010_4^20 + 3466999994612414402864657452378032867295892311407937842622720513882\ 6860102333380622/52162457648225770540988793871945424802936922229511\ 001232235803217286301692687*c_1010_4^19 - 5669419174265695817807862513678793773426394885205470915878598802547\ 94794594205339287/2608122882411288527049439693597271240146846111475\ 55006161179016086431508463435*c_1010_4^18 + 1401389721441538882332277187069312571435032367290690987532702307227\ 628689804138500428/260812288241128852704943969359727124014684611147\ 555006161179016086431508463435*c_1010_4^17 - 1626399798100901489626736352979961260605959433467710905097701597842\ 775578649275946667/260812288241128852704943969359727124014684611147\ 555006161179016086431508463435*c_1010_4^16 + 5243043606818620947621669786527835499309721250718199197018409753147\ 38391756778307952/5216245764822577054098879387194542480293692222951\ 1001232235803217286301692687*c_1010_4^15 - 4316206552481341846760080544226477105022507694666152993546836744844\ 09914788919603490/5216245764822577054098879387194542480293692222951\ 1001232235803217286301692687*c_1010_4^14 + 1765711951493184195777115966979603662414275521010961461828547759528\ 247713400709782247/260812288241128852704943969359727124014684611147\ 555006161179016086431508463435*c_1010_4^13 - 9465525800531942672870625914406053084562020463639944327307219396414\ 02732651961972814/2608122882411288527049439693597271240146846111475\ 55006161179016086431508463435*c_1010_4^12 + 4753061990433223881560735850505323286230163865163687158582539012985\ 2776429683721464/52162457648225770540988793871945424802936922229511\ 001232235803217286301692687*c_1010_4^11 - 2239475052637468160936235219470096720570574487636150581763439738331\ 4218992623430564/37258898320161264672134852765675303430669230163936\ 429451597002298061644066205*c_1010_4^10 - 2898282431449693045480520775652470085526281444655515433869374598955\ 36080940643808891/2608122882411288527049439693597271240146846111475\ 55006161179016086431508463435*c_1010_4^9 + 3465540512288641339819362213519178927602658238714626690086013306513\ 7364085367706207/52162457648225770540988793871945424802936922229511\ 001232235803217286301692687*c_1010_4^8 + 4915789095129512081911508165544594070275902768331642330693076893612\ 027131769106691/521624576482257705409887938719454248029369222295110\ 01232235803217286301692687*c_1010_4^7 + 4301322484639132168802075089048838480143112291227146725699078362301\ 565211220334417/521624576482257705409887938719454248029369222295110\ 01232235803217286301692687*c_1010_4^6 - 1209064282195492121743045658374661870650625895874625021883628162457\ 489774067077587/260812288241128852704943969359727124014684611147555\ 006161179016086431508463435*c_1010_4^5 + 5440955412570273142067665469398279433414242467307952612021927774368\ 272016828643166/521624576482257705409887938719454248029369222295110\ 01232235803217286301692687*c_1010_4^4 - 1988653285334725568432210138419583383349600264131872976915048590332\ 81913557344471/2608122882411288527049439693597271240146846111475550\ 06161179016086431508463435*c_1010_4^3 + 1661934224210530988521445305806221134003979967086489852164646656544\ 8574171060696346/26081228824112885270494396935972712401468461114755\ 5006161179016086431508463435*c_1010_4^2 + 2208210726729775103040439805132545250680070125947864917915833837506\ 967464275408927/260812288241128852704943969359727124014684611147555\ 006161179016086431508463435*c_1010_4 - 5504563061542527284970071984512728622736613596923121607630414591834\ 50600794072271/2608122882411288527049439693597271240146846111475550\ 06161179016086431508463435, c_0011_0 - 1, c_0011_10 - 31214558842140046065597474960124224658837456076199884413295\ 97139075870654/1201069713290945672138816345197914455513168828678586\ 2590890122776257495209*c_1010_4^26 + 5897035629867760765076709561274388143351072574593099025491246703647\ 8237885/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4^25 + 2436184698683086729092304991384201868\ 17583941478188874811554565513577463621/1201069713290945672138816345\ 1979144555131688286785862590890122776257495209*c_1010_4^24 + 8219928077945835332161165315187753033544184038729118936568824210803\ 92873391/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4^23 - 320216710915003838785375000987709382\ 4938049171393906246000803634652856472569/12010697132909456721388163\ 451979144555131688286785862590890122776257495209*c_1010_4^22 + 5565811019596703601460098719801426342818952694554345645184560766216\ 490177276/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^21 + 28984912364779400180839516594031870\ 93202829777953557669822764575903098283155/1201069713290945672138816\ 3451979144555131688286785862590890122776257495209*c_1010_4^20 - 9045799795844591034209267732159866356703694098462862088702637668465\ 450145287/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^19 + 29413604054737040502606559732956874\ 003729266797270391296735191260680658259005/120106971329094567213881\ 63451979144555131688286785862590890122776257495209*c_1010_4^18 - 7256195449507171763901463766080382483901212953764876687025392348765\ 4231373997/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^17 + 8249216739105634048449952133750981\ 3144134414864928176229129676894941656006732/12010697132909456721388\ 163451979144555131688286785862590890122776257495209*c_1010_4^16 - 1340550775925165755635594183175706423708759954031750596640022240515\ 17090265742/1201069713290945672138816345197914455513168828678586259\ 0890122776257495209*c_1010_4^15 + 107827170508262456135482854466289\ 854823916079440855902315622469487906144280352/120106971329094567213\ 88163451979144555131688286785862590890122776257495209*c_1010_4^14 - 8730741241680661093564020663689447436708173645600005739833008123571\ 3165519838/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^13 + 4556425898824942441763835217545994\ 0759792365640775846291357423220423340884847/12010697132909456721388\ 163451979144555131688286785862590890122776257495209*c_1010_4^12 - 9595292353951182650675707648306562775750491077343821451940554276236\ 093685543/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^11 + 69319923038581418057054138545047915\ 30405799173859182422308842561460383564209/1201069713290945672138816\ 3451979144555131688286785862590890122776257495209*c_1010_4^10 + 1602961323321985902750276125146836005343022053604118042764809226631\ 4651706757/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^9 - 90009388105675025606051162532417810\ 07686127839167883461352489946047380290649/1201069713290945672138816\ 3451979144555131688286785862590890122776257495209*c_1010_4^8 - 2564897135192186333556528228587399603429595298546711279671206240166\ 09148268/1715813876129922388769737635997020650733098326683694655841\ 446110893927887*c_1010_4^7 - 12587594761508511807426224464353913768\ 48678308506449389326972585520627901780/1201069713290945672138816345\ 1979144555131688286785862590890122776257495209*c_1010_4^6 + 6296733485676270309219939116746629637819503378541864871069590770303\ 1978966/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4^5 - 12425286888701752453165798691713690479\ 82424242767568853746259927473954832180/1201069713290945672138816345\ 1979144555131688286785862590890122776257495209*c_1010_4^4 - 3929469413573877554800179598247664313173861863952815588029476681338\ 766340/171581387612992238876973763599702065073309832668369465584144\ 6110893927887*c_1010_4^3 - 8888292980143649096883941806782172839415\ 34143363984987194397368916783413388/1201069713290945672138816345197\ 9144555131688286785862590890122776257495209*c_1010_4^2 - 1525860061399830624148811094962865591042547203643972811741597361819\ 17474379/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4 + 360688550827690408878435291225954035508\ 60471522594341350957061232936552822/1201069713290945672138816345197\ 9144555131688286785862590890122776257495209, c_0011_11 - 51038238544964038518703837709008849203874837819973658697963\ 7779469690147/17158138761299223887697376359970206507330983266836946\ 55841446110893927887*c_1010_4^26 + 9624499532461079727072526236466287782619104292471288530034894933056\ 976309/171581387612992238876973763599702065073309832668369465584144\ 6110893927887*c_1010_4^25 + 401678097072571764597439417767626793537\ 16227579727278653789834071719517468/1715813876129922388769737635997\ 020650733098326683694655841446110893927887*c_1010_4^24 + 1357487781275783618093754951674862459611541790706511233353752037234\ 21091754/1715813876129922388769737635997020650733098326683694655841\ 446110893927887*c_1010_4^23 - 5190772506937875025351202894648964184\ 48782297203627878278457562525700770189/1715813876129922388769737635\ 997020650733098326683694655841446110893927887*c_1010_4^22 + 8915456374701668788008399831453049268921232898589355037070061158631\ 51436991/1715813876129922388769737635997020650733098326683694655841\ 446110893927887*c_1010_4^21 + 5068057975891155093153119077426188409\ 53639098481957539925887425735229184497/1715813876129922388769737635\ 997020650733098326683694655841446110893927887*c_1010_4^20 - 1464237167144887390202252195434565347753011710527587317605410088093\ 802806492/171581387612992238876973763599702065073309832668369465584\ 1446110893927887*c_1010_4^19 + 475391799571987418524239270564289399\ 1477693416804279179702649051082482212137/17158138761299223887697376\ 35997020650733098326683694655841446110893927887*c_1010_4^18 - 1169214650021038056470690921030160002524875829926187999199432365936\ 6132413710/17158138761299223887697376359970206507330983266836946558\ 41446110893927887*c_1010_4^17 + 13068390981569027011465484157161873\ 974154684160768009975561334152952855321762/171581387612992238876973\ 7635997020650733098326683694655841446110893927887*c_1010_4^16 - 2143117948949140514041672873680982616213194782148060861270018188219\ 3406065596/17158138761299223887697376359970206507330983266836946558\ 41446110893927887*c_1010_4^15 + 16867000338468091105456414409047952\ 373144190481097791367581040486019438508947/171581387612992238876973\ 7635997020650733098326683694655841446110893927887*c_1010_4^14 - 1365487352058262415818096775384640089096105228963359947016158681026\ 9447026464/17158138761299223887697376359970206507330983266836946558\ 41446110893927887*c_1010_4^13 + 69736733937323713155885887120816553\ 94129557452713021276094434530207566113090/1715813876129922388769737\ 635997020650733098326683694655841446110893927887*c_1010_4^12 - 1346298623606841733333364941596135109990517004667842229533770761185\ 668405452/171581387612992238876973763599702065073309832668369465584\ 1446110893927887*c_1010_4^11 + 110834317284022966659634374723019284\ 2265736768085119456189150471954215910522/17158138761299223887697376\ 35997020650733098326683694655841446110893927887*c_1010_4^10 + 2638881417378642565148650407749471071921493405663650732143217427601\ 287683011/171581387612992238876973763599702065073309832668369465584\ 1446110893927887*c_1010_4^9 - 1395329516841301011275496489617664575\ 528180645140761272436313723604435811610/171581387612992238876973763\ 5997020650733098326683694655841446110893927887*c_1010_4^8 - 3347089528058649897863176251704693212152937511049197838598659417907\ 31125090/1715813876129922388769737635997020650733098326683694655841\ 446110893927887*c_1010_4^7 - 22687290177349384177829859559204582945\ 3300581874083306002427766526812478727/17158138761299223887697376359\ 97020650733098326683694655841446110893927887*c_1010_4^6 + 1800412101299521352766215067410386059330795396249494453882959326262\ 4537441/17158138761299223887697376359970206507330983266836946558414\ 46110893927887*c_1010_4^5 - 206031851427384038862349679383865692676\ 573463111027385506669225784620250700/171581387612992238876973763599\ 7020650733098326683694655841446110893927887*c_1010_4^4 - 1226405250759812367459381983407614182887095741573812336639961277650\ 4317814/17158138761299223887697376359970206507330983266836946558414\ 46110893927887*c_1010_4^3 - 142129739967074833888993207824996739927\ 593246507278015586869018828268084718/171581387612992238876973763599\ 7020650733098326683694655841446110893927887*c_1010_4^2 - 2954406820103851330596720358105727191547732378646992799449888050372\ 4366551/17158138761299223887697376359970206507330983266836946558414\ 46110893927887*c_1010_4 + 47029923516529478981744830309643156497974\ 35660440804457783658190975374551/1715813876129922388769737635997020\ 650733098326683694655841446110893927887, c_0011_4 + 633538777636055457486470557916012723452542781225563796106187\ 054542321925/120106971329094567213881634519791445551316882867858625\ 90890122776257495209*c_1010_4^26 - 1201575295667121024519256528513612175348213965911574542530665430431\ 6394650/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4^25 - 4857030631466972282591531461182921003\ 3736120175344079185771460994234795828/12010697132909456721388163451\ 979144555131688286785862590890122776257495209*c_1010_4^24 - 1629376912312669935863380821500580090308546429740592484385736815363\ 01185022/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4^23 + 663323516244013120349839320634923728\ 523201511908399770028827400052507734848/120106971329094567213881634\ 51979144555131688286785862590890122776257495209*c_1010_4^22 - 1174352206499107180469722370459121709984340011795353410421103468847\ 982264533/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^21 - 51635905070051312091065160354421144\ 6762694845601967261566540675720281663432/12010697132909456721388163\ 451979144555131688286785862590890122776257495209*c_1010_4^20 + 1897644636836431764467215598804339248040785293502474004007116073298\ 924487668/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^19 - 86937508624970864549699390059379864\ 2902108901599020719330668715815257989934/17158138761299223887697376\ 35997020650733098326683694655841446110893927887*c_1010_4^18 + 1513161777239988327722710539552784848124667516098248081100993248065\ 0917855979/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^17 - 1772635412194314807209876124518931\ 6504419532509329836457951733401400462914537/12010697132909456721388\ 163451979144555131688286785862590890122776257495209*c_1010_4^16 + 4029184296738692440751431983180445555077872470295874345629203324781\ 046226655/171581387612992238876973763599702065073309832668369465584\ 1446110893927887*c_1010_4^15 - 236849305969363785221366465051114529\ 57103190801830642238522246765936292977031/1201069713290945672138816\ 3451979144555131688286785862590890122776257495209*c_1010_4^14 + 1897427065008051310366027061839815372792314076219428066726033168159\ 5492813172/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^13 - 1039366733590809135667519354492165\ 2996062380969165175026380157976661240380505/12010697132909456721388\ 163451979144555131688286785862590890122776257495209*c_1010_4^12 + 2549359254705758960943844602371244000462007244097911067502721706856\ 733509876/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^11 - 16222089951561411696379068765805605\ 46930314219401037455655693269252721936835/1201069713290945672138816\ 3451979144555131688286785862590890122776257495209*c_1010_4^10 - 3024173173565731419981763558519504165700260710025792084273598297469\ 101564272/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^9 + 203650078556022957752061021422320243\ 3095832467703063646852084875545498722086/12010697132909456721388163\ 451979144555131688286785862590890122776257495209*c_1010_4^8 + 2953302354168080353378434125989102816396263552990608305286130675139\ 39006791/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4^7 + 2480168530397839400538633655491477945\ 09562602121683740083155203067539065457/1201069713290945672138816345\ 1979144555131688286785862590890122776257495209*c_1010_4^6 - 9022349872479144276139970436749191660823960032025701012073460492957\ 0797234/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4^5 + 27767709164532030159029958148127729050\ 3319567333488967919723721048524107194/12010697132909456721388163451\ 979144555131688286785862590890122776257495209*c_1010_4^4 - 3095931661628833881091072579494386094069536375693862876379557856776\ 3224134/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4^3 + 16409157940148981997624880501406937527\ 3638850169231722350920106291772289303/12010697132909456721388163451\ 979144555131688286785862590890122776257495209*c_1010_4^2 + 1562752982832287088517156488142966897899204866253832691327409450445\ 8106559/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4 - 1602553042203130115213880437795241399484\ 5630198570054537391648078580042937/12010697132909456721388163451979\ 144555131688286785862590890122776257495209, c_0011_9 - 282409017520547333852655518921240882720267667810170994978728\ 5866121721725/12010697132909456721388163451979144555131688286785862\ 590890122776257495209*c_1010_4^26 + 5348051433506220752079337470320218174312679492012489235097152764517\ 9711600/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4^25 + 2179567896992840287534434867870727189\ 23512533937932323107334258811600094182/1201069713290945672138816345\ 1979144555131688286785862590890122776257495209*c_1010_4^24 + 7343800132756688531784449945237629363854079326178319195052488999110\ 52588614/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4^23 - 292819039679778632672442543013079914\ 1841153299738880435870908501187148751718/12010697132909456721388163\ 451979144555131688286785862590890122776257495209*c_1010_4^22 + 5175879945687728735234481946921602045653791794067370346674864156526\ 116236144/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^21 + 23564102863193181752842097909875170\ 64335526246297619463821403311221817571958/1201069713290945672138816\ 3451979144555131688286785862590890122776257495209*c_1010_4^20 - 8227867476094470780437627481999928574734264283602143930980504819607\ 048493464/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^19 + 38554322953370524997804746613045011\ 99980938627532890939387658951547838442052/1715813876129922388769737\ 635997020650733098326683694655841446110893927887*c_1010_4^18 - 6694140615462131333936658981541942403647063719051148224194997032879\ 3404373694/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^17 + 7797692506248676117833168516148333\ 5523844558706301833127957106686393560387636/12010697132909456721388\ 163451979144555131688286785862590890122776257495209*c_1010_4^16 - 1794444701893372783235457001629341039605123469579171305075633394653\ 5256436894/17158138761299223887697376359970206507330983266836946558\ 41446110893927887*c_1010_4^15 + 10430732012083039373041609222751201\ 2789602328976756634971923778738940565197743/12010697132909456721388\ 163451979144555131688286785862590890122776257495209*c_1010_4^14 - 8545666112401422274366178050103368085629339724324403668240019502312\ 3155753464/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^13 + 4674835587128333462101901058553904\ 5183871225817627895323022316960825642110523/12010697132909456721388\ 163451979144555131688286785862590890122776257495209*c_1010_4^12 - 1239849384800543095406742320247778610085748758292940944455983988881\ 1410227988/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^11 + 7880961386673544602545249082760034\ 428140059530220211045658263327872299925586/120106971329094567213881\ 63451979144555131688286785862590890122776257495209*c_1010_4^10 + 1357953468422755672113849544251791649272676042135309081018149846219\ 3446344489/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^9 - 85097428666633057820617921372687777\ 54111708251951332852025806501029123477052/1201069713290945672138816\ 3451979144555131688286785862590890122776257495209*c_1010_4^8 - 1176593635542977858692943754058101607435563547510032842561396216447\ 139176036/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^7 - 114643446364856029925029147321841572\ 3804324297344477458346976434740573571888/12010697132909456721388163\ 451979144555131688286785862590890122776257495209*c_1010_4^6 + 1248796629997921033608270737220080302642536367453465789546936285943\ 46721535/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4^5 - 1141026809590735581756900376482957686\ 428455978767408260941069261083980238528/120106971329094567213881634\ 51979144555131688286785862590890122776257495209*c_1010_4^4 + 1809373654931435107339476669836793207561553801248250713830420768260\ 6382701/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4^3 - 79422605818596271293377319578262143495\ 7589308728673105985870835545093699461/12010697132909456721388163451\ 979144555131688286785862590890122776257495209*c_1010_4^2 - 1001791436550267669840241985205125505248223734625919640385740378238\ 37428855/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4 + 199596196509852657817685131632688619028\ 90350764105213300322141330943078595/1201069713290945672138816345197\ 9144555131688286785862590890122776257495209, c_0101_0 - 114503186722955441245236797118720283536901826978522632573782\ 6300917231146/12010697132909456721388163451979144555131688286785862\ 590890122776257495209*c_1010_4^26 + 2177824991410517004759232758078956980503962224036075455024184288348\ 5637962/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4^25 + 1237112938926222668938313255443753558\ 1617032686818174351827989578430157099/17158138761299223887697376359\ 97020650733098326683694655841446110893927887*c_1010_4^24 + 2901512680857187240691869764760075425940615794979242998513380884681\ 95429102/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4^23 - 121303316484893378472390931773611822\ 6490429323096691648895130958300446452522/12010697132909456721388163\ 451979144555131688286785862590890122776257495209*c_1010_4^22 + 3131966063130732564054160271537806632966079240517898259456548342910\ 88910471/1715813876129922388769737635997020650733098326683694655841\ 446110893927887*c_1010_4^21 + 7993955889418196029700040084305516653\ 50885368127730177971637351734237736570/1201069713290945672138816345\ 1979144555131688286785862590890122776257495209*c_1010_4^20 - 3447822665745446486093382108770024092990417197390242474741718791604\ 981242360/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^19 + 11210773869085663736812914484898163\ 478001264359857948584598564190433588654794/120106971329094567213881\ 63451979144555131688286785862590890122776257495209*c_1010_4^18 - 2799806509881379626923766944929262286225088670992907318296888647120\ 5474037114/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^17 + 3368285458325852128780311715281285\ 1927792808560751265642658377221881858740269/12010697132909456721388\ 163451979144555131688286785862590890122776257495209*c_1010_4^16 - 5311838700558238093387641225967535083267435527340660210424046633389\ 7228306701/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^15 + 4597707348795691843674438405934997\ 4365926753111631769416554624505538837100323/12010697132909456721388\ 163451979144555131688286785862590890122776257495209*c_1010_4^14 - 3731183068984915151077040512204210724863113149606101772280497043841\ 8167390020/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^13 + 2111349199642577409812938754694246\ 5495118404016827323476459978052337226193108/12010697132909456721388\ 163451979144555131688286785862590890122776257495209*c_1010_4^12 - 6013172783415393657919527713905241583054445668701609010595909040202\ 683127603/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^11 + 33202492671609841589750617925824628\ 89983483024182330954874426857724666709390/1201069713290945672138816\ 3451979144555131688286785862590890122776257495209*c_1010_4^10 + 5260881515397318979627803496463993820875624073754869863885220065557\ 514264220/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^9 - 387888779258614282390206428044014732\ 7353615371220758041772152398448743499045/12010697132909456721388163\ 451979144555131688286785862590890122776257495209*c_1010_4^8 - 2954690439223362139480175679683041966446758244688098200173141471569\ 71312823/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4^7 - 5203519498713781750151345274659238762\ 6519439793088113511456588604965143132/17158138761299223887697376359\ 97020650733098326683694655841446110893927887*c_1010_4^6 + 1006139027546542948697047806164686010919558082303255601888361425921\ 01908857/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4^5 - 4579127266719475517878794679773302892\ 84515176162699217515608361513924756053/1201069713290945672138816345\ 1979144555131688286785862590890122776257495209*c_1010_4^4 + 6817815981403210704691442357436351386744853677849072757902362560117\ 3827818/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4^3 - 46335155237325744921987083661806940999\ 394194510847107260957128399545617528/171581387612992238876973763599\ 7020650733098326683694655841446110893927887*c_1010_4^2 - 2032567522833489608286761840743982748104569919723088299874588849464\ 6243922/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4 + 1829399965881738182165499164951558010856\ 244181057150355638119216961125293/171581387612992238876973763599702\ 0650733098326683694655841446110893927887, c_0101_1 - 814855120611771227117717672665260919145887968389547124784101\ 059659458494/120106971329094567213881634519791445551316882867858625\ 90890122776257495209*c_1010_4^26 + 1555763046704753845162146588915722991184289552495580046432781959941\ 6461213/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4^25 + 6049842055655712972608961007056657448\ 8234239944690839440006952654154977713/12010697132909456721388163451\ 979144555131688286785862590890122776257495209*c_1010_4^24 + 2020405460865066062045329799802479149648931648161435512812400204111\ 21624422/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4^23 - 878476579258270204142562005214093887\ 556659255722222942213905389962278302790/120106971329094567213881634\ 51979144555131688286785862590890122776257495209*c_1010_4^22 + 1622055788268948003653303467158643382696249257256909380146878720304\ 692304218/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^21 + 45000736512150515192563094328998141\ 6920980565881008919205003260414725474489/12010697132909456721388163\ 451979144555131688286785862590890122776257495209*c_1010_4^20 - 2476385883173111665239887341703949761880431289349852599891827162358\ 682857849/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^19 + 11611475497095463809376062522045685\ 62837825448099116829936869428281010751800/1715813876129922388769737\ 635997020650733098326683694655841446110893927887*c_1010_4^18 - 2052280749611329535696074687359366785922285856900267798562643647021\ 0537270457/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^17 + 2548060316407072776296976237242723\ 8867962569808969551853841553283541948252427/12010697132909456721388\ 163451979144555131688286785862590890122776257495209*c_1010_4^16 - 5675848445898699908379734550956984096667298985179660552409525518564\ 173760417/171581387612992238876973763599702065073309832668369465584\ 1446110893927887*c_1010_4^15 + 358725520105828106133678822082000683\ 71095972203448134832613206302403336271450/1201069713290945672138816\ 3451979144555131688286785862590890122776257495209*c_1010_4^14 - 2941294696641922313712269826055661269504889115321685102612824262631\ 9297780737/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^13 + 1768086197197394036921554106247310\ 3290474209503711815998584679824844152537669/12010697132909456721388\ 163451979144555131688286785862590890122776257495209*c_1010_4^12 - 5923735466601775721169727339590997985667970184312736182541429214569\ 057803149/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^11 + 31174526454960381998490606154194880\ 81943343796550214308462121877513343271770/1201069713290945672138816\ 3451979144555131688286785862590890122776257495209*c_1010_4^10 + 3404960503214718445057997612664704363956735568070738674795220805387\ 210528571/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^9 - 301142732918742330003148628034622875\ 7354881157368765642549254009148336706950/12010697132909456721388163\ 451979144555131688286785862590890122776257495209*c_1010_4^8 - 2810082254082613308703893850770838147833636029155820412989432660021\ 4380431/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4^7 - 31484808878055704096319593013046423792\ 9217082315543407691667430701019868626/12010697132909456721388163451\ 979144555131688286785862590890122776257495209*c_1010_4^6 + 1196026893649562302763010569060361456023457774282074459612587277015\ 45629350/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4^5 - 3193608605015173300871127223218103908\ 76999816443620257215176412519912837022/1201069713290945672138816345\ 1979144555131688286785862590890122776257495209*c_1010_4^4 + 6081841731072963314760805238629093581150890757479325800586403530472\ 6400724/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4^3 - 22088814843612939493097775619878361521\ 5483487946264404555858920395605229137/12010697132909456721388163451\ 979144555131688286785862590890122776257495209*c_1010_4^2 + 1049402557831160279865189464900023818998159642624836810453634819851\ 6876519/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4 + 9133603861372715108078673703686712960514\ 831918706986349039499255726361328/120106971329094567213881634519791\ 44555131688286785862590890122776257495209, c_0101_10 - 43228183114863493826293866778067470436791634409865599115180\ 43496861090892/1201069713290945672138816345197914455513168828678586\ 2590890122776257495209*c_1010_4^26 + 8159035432291080319061870274817176184340877163144479217492239303963\ 4544366/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4^25 + 3388244318964909571977670047451746891\ 00197603805981569466802073123475121263/1201069713290945672138816345\ 1979144555131688286785862590890122776257495209*c_1010_4^24 + 1144176293561628423178385371204399463861374062954268817716755978589\ 981824749/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^23 - 44153521527809804215178984668218942\ 68802918771973843088581826370379698047015/1201069713290945672138816\ 3451979144555131688286785862590890122776257495209*c_1010_4^22 + 7627123209677888462820464217169337775223623786768085388397360210185\ 587283685/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^21 + 41533814924208968412930753111706065\ 31440890199493053272411128869481365315090/1201069713290945672138816\ 3451979144555131688286785862590890122776257495209*c_1010_4^20 - 1245436049202857693098865082174348822367796594089103965740439915083\ 8765861352/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^19 + 5782742993876238848976787750322488\ 295818893405161063725634192043010691536974/171581387612992238876973\ 7635997020650733098326683694655841446110893927887*c_1010_4^18 - 9975571461014911210205480863893518655241007106649961273808211594378\ 0952392496/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^17 + 1124461924523935337352224148192788\ 69637282914765098096833994366673298483379325/1201069713290945672138\ 8163451979144555131688286785862590890122776257495209*c_1010_4^16 - 2623145459896192477847785055506989875322219509040569998403806639166\ 5316164176/17158138761299223887697376359970206507330983266836946558\ 41446110893927887*c_1010_4^15 + 14623372481195946221312944117776610\ 1949507806789521451596262240442485486487273/12010697132909456721388\ 163451979144555131688286785862590890122776257495209*c_1010_4^14 - 1184437523790925083234282636220869616112405694889894615564998639368\ 82779735495/1201069713290945672138816345197914455513168828678586259\ 0890122776257495209*c_1010_4^13 + 614642311778461366112014515112596\ 77659948879494375116835125269382254109902562/1201069713290945672138\ 8163451979144555131688286785862590890122776257495209*c_1010_4^12 - 1266323643247458180371762310654263477505411852652423661388477282326\ 5866569789/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^11 + 9843331282860935980985172919704863\ 290941294042790332613153730611070428769417/120106971329094567213881\ 63451979144555131688286785862590890122776257495209*c_1010_4^10 + 2200772044657973241601961027893604660897776771153814897350830228542\ 1191559693/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^9 - 11966768840086460951893001764868533\ 933590142583683571927420492047103331310731/120106971329094567213881\ 63451979144555131688286785862590890122776257495209*c_1010_4^8 - 2799961154209443409561279433742173087660032143502458327563198123279\ 234281408/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^7 - 181741849131278069902217067697842238\ 0517524008943651221892497243869588003903/12010697132909456721388163\ 451979144555131688286785862590890122776257495209*c_1010_4^6 + 1390825769967747590976382507558792188697316383607970577956209587500\ 65127514/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4^5 - 1723808085100279031915470525389510129\ 358223261871544785959241713185402394071/120106971329094567213881634\ 51979144555131688286785862590890122776257495209*c_1010_4^4 - 3381281961007162467548578676613283541719498254529270699151772216738\ 2097239/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4^3 - 12194740744643416331559391708227461175\ 21539474580797595498555118814804872852/1201069713290945672138816345\ 1979144555131688286785862590890122776257495209*c_1010_4^2 - 2225418146430352804288034987698124994557173094147587871686382330830\ 79781574/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4 + 411917086902130554416674738069347747704\ 46609602913681231060790547923587165/1201069713290945672138816345197\ 9144555131688286785862590890122776257495209, c_0101_12 - 36077125392346057765139116881919284279427284802234672557481\ 4853707139311/12010697132909456721388163451979144555131688286785862\ 590890122776257495209*c_1010_4^26 + 6642789765668634524028386250806580766851567188761355586757353251700\ 852764/120106971329094567213881634519791445551316882867858625908901\ 22776257495209*c_1010_4^25 + 31430218977845474358072171439234582417\ 933669928502454068294127428423528179/120106971329094567213881634519\ 79144555131688286785862590890122776257495209*c_1010_4^24 + 1083661459868662192317326007939748886899926428623031922808327950611\ 49671742/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4^23 - 325276983645431452560966936583355999\ 726414724504686886075772473358146101276/120106971329094567213881634\ 51979144555131688286785862590890122776257495209*c_1010_4^22 + 4634252618941913004195915679173443981560132774139736794688571904843\ 91952065/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4^21 + 648741206477619968551259697563010455\ 204997938465844968189922304922188156378/120106971329094567213881634\ 51979144555131688286785862590890122776257495209*c_1010_4^20 - 8909630916839513441640285720960651135408078358895766966355746225114\ 65680194/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4^19 + 288109833864910694106679014308024802\ 3635559264779959041319844435471937310033/12010697132909456721388163\ 451979144555131688286785862590890122776257495209*c_1010_4^18 - 6746094391209595253205500457833916960618559513902712773670584120839\ 143280577/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^17 + 54649222306470268465297938937288240\ 91409050839919523613671559085637933003535/1201069713290945672138816\ 3451979144555131688286785862590890122776257495209*c_1010_4^16 - 1081242490227829733439137736375918768525918476089404344722893334695\ 4141178109/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^15 + 4994221359469982935420386465710248\ 621706609210125048872276353997030187025593/120106971329094567213881\ 63451979144555131688286785862590890122776257495209*c_1010_4^14 - 5650835017235189899442466891890264747706458336684669561421243046719\ 63213144/1715813876129922388769737635997020650733098326683694655841\ 446110893927887*c_1010_4^13 + 6454969014996720208930044956177261613\ 0684630516658769650084702508902725986/17158138761299223887697376359\ 97020650733098326683694655841446110893927887*c_1010_4^12 + 1401601379546759523632152195396939744975654116815835698317002447843\ 106217657/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^11 + 35425796583836327343574504687696154\ 0384440976485725647127438779027463704569/12010697132909456721388163\ 451979144555131688286785862590890122776257495209*c_1010_4^10 + 2096166967158919376607867619847893231366031407856509589470862923565\ 311324370/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^9 - 863447259921936910837072549846727140\ 19413591599448556732580955057083088073/1201069713290945672138816345\ 1979144555131688286785862590890122776257495209*c_1010_4^8 - 8498550685021974770748759430078479239261146613471887159697689123243\ 54354630/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4^7 - 2231099609030581686244151911507445479\ 49202662430545368570060805830331405043/1201069713290945672138816345\ 1979144555131688286785862590890122776257495209*c_1010_4^6 - 6272431171783961250667485617935062739867157519585536022099322407623\ 7483595/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4^5 - 12493295463838512678989572226240435441\ 0193258320946148021876300941736004519/12010697132909456721388163451\ 979144555131688286785862590890122776257495209*c_1010_4^4 - 5961335079574638677419499962313156760662446973254413299038108518071\ 9343755/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4^3 - 10119086345496046841433268757175441715\ 6396043108071619271851142674924586995/12010697132909456721388163451\ 979144555131688286785862590890122776257495209*c_1010_4^2 - 6165919515484185905517100405963315537486799805901174371454874672030\ 1255921/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4 + 3422896842703421826874817554442853253025\ 9615617375482395241192424623942/12010697132909456721388163451979144\ 555131688286785862590890122776257495209, c_0101_3 - 999010841725090273663987822844351310767077050762448295539545\ 854946802141/120106971329094567213881634519791445551316882867858625\ 90890122776257495209*c_1010_4^26 + 2668558153660634421906677861322610806810898685318381217652724033637\ 795769/171581387612992238876973763599702065073309832668369465584144\ 6110893927887*c_1010_4^25 + 816254538489312025588118547679923109609\ 20421087620356752337377842280146882/1201069713290945672138816345197\ 9144555131688286785862590890122776257495209*c_1010_4^24 + 2781008642032697639134821184664118899223385560382220967045733988392\ 66989076/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4^23 - 139178300671052662513016698215796639\ 391409524317394803607293699886346582778/171581387612992238876973763\ 5997020650733098326683694655841446110893927887*c_1010_4^22 + 1581851710378317337768047226281437129008516475213443184360743382031\ 394132413/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^21 + 12754072726706223627869888672231888\ 72793007501562846847174622260777999182541/1201069713290945672138816\ 3451979144555131688286785862590890122776257495209*c_1010_4^20 - 2719689140357121417680581097126049855445580527487406554580375555786\ 739956851/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^19 + 88460700934407635766872998964939453\ 64472295387566409909442394891282176844708/1201069713290945672138816\ 3451979144555131688286785862590890122776257495209*c_1010_4^18 - 2139289519914222872713035306374563207167867245356855022833287547153\ 3003237464/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^17 + 2187833543653022295027547087923324\ 0950957557705481512326421542456486648803359/12010697132909456721388\ 163451979144555131688286785862590890122776257495209*c_1010_4^16 - 3773353689290897663608844203961703488068719098483610998084531470172\ 7889139843/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^15 + 3737820202865900615339205893420458\ 940506381796628773953361018845010318732325/171581387612992238876973\ 7635997020650733098326683694655841446110893927887*c_1010_4^14 - 2117213223657802157849845375746532077573132814560056486272928008174\ 3902437331/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^13 + 9159333598835453145770887425403243\ 846161047590297574253796947301250051750953/120106971329094567213881\ 63451979144555131688286785862590890122776257495209*c_1010_4^12 - 2297866352365295991047050126296597903450092532671267197485464714769\ 29285260/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4^11 + 236616356217800382829392703421544380\ 118091141771108008093147994680139016883/171581387612992238876973763\ 5997020650733098326683694655841446110893927887*c_1010_4^10 + 5532038741395002892748313607251761588605816825802226533351732895776\ 146929241/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^9 - 268185475003416166861234456874187357\ 950871099058647196043588053201057886439/171581387612992238876973763\ 5997020650733098326683694655841446110893927887*c_1010_4^8 - 1161314751476823349932567314589049563673279485983662947123158558256\ 164100623/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^7 - 512360913977180010763929465227274759\ 898158611616670071092451460314896196872/120106971329094567213881634\ 51979144555131688286785862590890122776257495209*c_1010_4^6 - 6392491917210215732706432517768649337382643884446204408622428288780\ 6598648/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4^5 - 55169832326071324875711720479004180502\ 334195783231775456979860529736671279/171581387612992238876973763599\ 7020650733098326683694655841446110893927887*c_1010_4^4 - 9503798725121660850282358836248152536753054796492869153366473370987\ 0081786/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4^3 - 27744800868646992931629781355704182559\ 1913866034178906348015595653820830694/12010697132909456721388163451\ 979144555131688286785862590890122776257495209*c_1010_4^2 - 9814426711269337573067923255917483414174642121597980799208511925566\ 5091733/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4 + 5998709645474093001322798240710194639687\ 730579607517571713937288802153031/120106971329094567213881634519791\ 44555131688286785862590890122776257495209, c_0110_4 + 678504742500626182234128816523498305217642287639989976874673\ 3838571464824/12010697132909456721388163451979144555131688286785862\ 590890122776257495209*c_1010_4^26 - 1281765809720707357034056306894389045285382309254395789102238011026\ 65024382/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4^25 - 529624319588920161660794004056870337\ 001229689286451427545941260826041348639/120106971329094567213881634\ 51979144555131688286785862590890122776257495209*c_1010_4^24 - 1788004742496323533534210582472094168073951154422382472439156447509\ 671326293/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^23 + 69561327610729813031451762799158967\ 25049487729510738836449124052446906356369/1201069713290945672138816\ 3451979144555131688286785862590890122776257495209*c_1010_4^22 - 1210141667800972692879946438949988628748841460854731430650548929348\ 9097924606/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^21 - 6266371122648539116365269606615515\ 784172291209295487021916102989722037361521/120106971329094567213881\ 63451979144555131688286785862590890122776257495209*c_1010_4^20 + 1956119368323610896289417162999871536175907588579969336108930295752\ 2272286577/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^19 - 6389853748961972945201459204666182\ 1704312624487226629992182596004094748927983/12010697132909456721388\ 163451979144555131688286785862590890122776257495209*c_1010_4^18 + 1577598914523764481691003132605711459322960237944628172399213711605\ 97763874958/1201069713290945672138816345197914455513168828678586259\ 0890122776257495209*c_1010_4^17 - 179608709694510094027125217827421\ 069287739973208737763929905578019621192448396/120106971329094567213\ 88163451979144555131688286785862590890122776257495209*c_1010_4^16 + 2924190784307704758098170429233449773732527970295172542807392991619\ 06609682054/1201069713290945672138816345197914455513168828678586259\ 0890122776257495209*c_1010_4^15 - 235844455598275619772368292714855\ 011979384904256527325061836726280069908171296/120106971329094567213\ 88163451979144555131688286785862590890122776257495209*c_1010_4^14 + 2747407278519538594403928163421428238928730210959932033627671044539\ 3849478849/17158138761299223887697376359970206507330983266836946558\ 41446110893927887*c_1010_4^13 - 14538662312852049409866933179341901\ 515244183270389650812814410750503245028545/171581387612992238876973\ 7635997020650733098326683694655841446110893927887*c_1010_4^12 + 2352822951450918046608817482833446377803129008064515897874012720681\ 2230176610/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^11 - 1705787724785121920536775728151347\ 4601380693009646130931616240135820198084392/12010697132909456721388\ 163451979144555131688286785862590890122776257495209*c_1010_4^10 - 3378666097422330986059046927466739990286709622034540304466577163057\ 2213042016/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^9 + 19103622476758528902149117413796845\ 014206840702944703889306081416836269652493/120106971329094567213881\ 63451979144555131688286785862590890122776257495209*c_1010_4^8 + 3779038921210435265098542432472899715464426153599635092979394261411\ 276261990/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^7 + 296855432478680704729261949250659841\ 1317373859651461166273993618788185466765/12010697132909456721388163\ 451979144555131688286785862590890122776257495209*c_1010_4^6 - 2813763093568260702547906853611657441224988222476455443231836680973\ 57332581/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4^5 + 2781844796962262580458345409988608508\ 748926504033504367150454417781182914214/120106971329094567213881634\ 51979144555131688286785862590890122776257495209*c_1010_4^4 + 3432847417573242276544245568539676086413637355573857796493793092532\ 7768931/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4^3 + 19295944771005694813991713649212253042\ 41801762880368822160527939948763155744/1201069713290945672138816345\ 1979144555131688286785862590890122776257495209*c_1010_4^2 + 3301532717118655105574027353596615380276779938482493910790024136828\ 65923618/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4 - 567115772582686524222975626171027441484\ 95488902861586995999213594487315477/1201069713290945672138816345197\ 9144555131688286785862590890122776257495209, c_1001_11 - 14270383497088924927746323633391369293960229921744802517940\ 6016420780077/17158138761299223887697376359970206507330983266836946\ 55841446110893927887*c_1010_4^26 + 1886068011339489189173423738265667734011509813938385061492643039123\ 8668552/12010697132909456721388163451979144555131688286785862590890\ 122776257495209*c_1010_4^25 + 7815038733857902675965308441093965669\ 2313878630801358512491617343026898194/12010697132909456721388163451\ 979144555131688286785862590890122776257495209*c_1010_4^24 + 3775515182579130304914144272252077551586026188128621056343182311272\ 8687426/17158138761299223887697376359970206507330983266836946558414\ 46110893927887*c_1010_4^23 - 10203319058315202176480810015832285687\ 53641110509248476354742271416585542155/1201069713290945672138816345\ 1979144555131688286785862590890122776257495209*c_1010_4^22 + 1775202621409091524068352475336554667328512447229635091582382190176\ 841566357/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^21 + 13245689455114553268200527736904557\ 9950603075237709483069521427621028161366/17158138761299223887697376\ 35997020650733098326683694655841446110893927887*c_1010_4^20 - 2847121294214829160770456397287555380725189557301193831690005229942\ 300947329/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^19 + 93918781368316414882260706023316677\ 82663485918222771929619042183870707262377/1201069713290945672138816\ 3451979144555131688286785862590890122776257495209*c_1010_4^18 - 2316360929919625227368228455922969332934098325188874132044884080315\ 8048924769/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^17 + 2633719417038074711921642797372747\ 6300118156336441927940717773045283192139580/12010697132909456721388\ 163451979144555131688286785862590890122776257495209*c_1010_4^16 - 4309491828671096837888971321878247076090949375801734714122329678752\ 7672104692/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^15 + 3463369189085904347968168370303100\ 2255283319413580192457143455647980709399983/12010697132909456721388\ 163451979144555131688286785862590890122776257495209*c_1010_4^14 - 2858007029844422745018536428606856815929456877737294064484702925013\ 3182166591/12010697132909456721388163451979144555131688286785862590\ 890122776257495209*c_1010_4^13 + 1515935920975701867981505820314094\ 3246292850840004201108736859792700017917513/12010697132909456721388\ 163451979144555131688286785862590890122776257495209*c_1010_4^12 - 3765389497432822133794628618809990558917727465050415790098071232280\ 598109396/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^11 + 27169670497362632445035448201450235\ 53676960569243126065331136312051823174447/1201069713290945672138816\ 3451979144555131688286785862590890122776257495209*c_1010_4^10 + 4912735592093388620425366761076038090952840459065015444164067562349\ 569427407/120106971329094567213881634519791445551316882867858625908\ 90122776257495209*c_1010_4^9 - 270447714530232313856415077510572267\ 4693882992390775608232482415337381654102/12010697132909456721388163\ 451979144555131688286785862590890122776257495209*c_1010_4^8 - 4924636558691588779147720152073449865176944915436891185225284396182\ 12434978/1201069713290945672138816345197914455513168828678586259089\ 0122776257495209*c_1010_4^7 - 4914112543966400868719209464531523415\ 73021075302437051784560122032632118476/1201069713290945672138816345\ 1979144555131688286785862590890122776257495209*c_1010_4^6 + 9043113692590274785165143562471111204961610468746278075845986583187\ 123217/171581387612992238876973763599702065073309832668369465584144\ 6110893927887*c_1010_4^5 - 4532295007734810207633354134901428152206\ 62571061039331176031408109826123068/1201069713290945672138816345197\ 9144555131688286785862590890122776257495209*c_1010_4^4 + 5448292381036478719936465120054528134954235732975346144141786781651\ 942360/120106971329094567213881634519791445551316882867858625908901\ 22776257495209*c_1010_4^3 - 302934423389962018582883222498516974153\ 837730701857465565454145901793645834/120106971329094567213881634519\ 79144555131688286785862590890122776257495209*c_1010_4^2 - 6790998082674530803120288647033761739414770058899130189422485556917\ 962073/171581387612992238876973763599702065073309832668369465584144\ 6110893927887*c_1010_4 + 831316032008906274040746089199008749289365\ 5802365604438088726003703994635/12010697132909456721388163451979144\ 555131688286785862590890122776257495209, c_1010_4^27 - 19*c_1010_4^26 - 76*c_1010_4^25 - 255*c_1010_4^24 + 1054*c_1010_4^23 - 1895*c_1010_4^22 - 730*c_1010_4^21 + 2985*c_1010_4^20 - 9731*c_1010_4^19 + 24276*c_1010_4^18 - 28997*c_1010_4^17 + 45962*c_1010_4^16 - 39433*c_1010_4^15 + 32090*c_1010_4^14 - 18055*c_1010_4^13 + 5071*c_1010_4^12 - 2877*c_1010_4^11 - 4704*c_1010_4^10 + 3346*c_1010_4^9 + 270*c_1010_4^8 + 363*c_1010_4^7 - 84*c_1010_4^6 + 411*c_1010_4^5 - 41*c_1010_4^4 + 285*c_1010_4^3 + 17*c_1010_4^2 - 14*c_1010_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 29.360 Total time: 29.570 seconds, Total memory usage: 234.34MB