Magma V2.19-8 Tue Aug 20 2013 23:50:58 on localhost [Seed = 4173239284] Type ? for help. Type -D to quit. Loading file "L13a4383__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a4383 geometric_solution 10.43682633 oriented_manifold CS_known -0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 0 0 2 0132 1230 3012 0132 1 1 1 1 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 -5 0 5 0 0 5 -5 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.701481287812 1.716763633477 0 3 4 2 0132 0132 0132 2031 0 1 1 1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 6 -6 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.407968586131 0.438657457517 5 1 0 3 0132 1302 0132 2310 1 1 0 1 0 -1 1 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 6 -5 -1 -5 0 5 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.260583588792 0.393929601773 2 1 6 6 3201 0132 0132 3120 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 0 0 0 -1 0 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.185282489403 0.766367967234 7 8 5 1 0132 0132 3120 0132 0 1 1 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 0 0 0 6 0 0 -6 -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.742318256517 0.514879885696 2 6 4 8 0132 3120 3120 0132 0 1 1 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 0 0 0 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.144009512876 0.761668327899 3 5 9 3 3120 3120 0132 0132 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.651209028238 0.612562922391 4 10 10 11 0132 0132 2031 0132 1 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 0 0 0 0 0 0 0 -6 0 0 6 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.516689167102 0.583468202235 10 4 5 9 2031 0132 0132 0321 0 1 0 1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 -5 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.765213028417 0.615885423542 11 8 11 6 1230 0321 3201 0132 0 0 0 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 -5 1 0 1 0 -1 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.681350786429 1.080908419612 11 7 8 7 3012 0132 1302 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.617908578222 0.264975963913 9 9 7 10 2310 3012 0132 1230 1 1 0 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 -6 1 5 -4 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.250924584644 0.851175790422 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_3'], 'c_1001_11' : negation(d['c_0011_9']), 'c_1001_10' : negation(d['c_0011_9']), 'c_1001_5' : negation(d['c_1001_4']), 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0110_10']), 'c_1001_6' : d['c_1001_4'], 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : negation(d['c_0011_6']), 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0110_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_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_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' : negation(d['c_0011_11']), 'c_1100_8' : negation(d['c_0101_11']), 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : d['c_0101_3'], 'c_1100_7' : d['c_0110_10'], 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_11']), 'c_1100_2' : d['c_0011_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_10'], 'c_1100_10' : d['c_0101_1'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_9']), 'c_1010_6' : d['c_0011_2'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_1001_4'], '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'], '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' : negation(d['c_0011_10']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0110_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : d['c_0011_11'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_11'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : negation(d['c_0011_9']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_3'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_11'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_2, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0110_10, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 7143794447852271014843449120416502760436251411918889505615567457355\ 6614109476826545565674559852029496862/83910789504662475266186343768\ 7359112162399419359615166903011104037562340037872728076707989186926\ 46427*c_1001_4^19 + 75392711088866657844949170577582451904613457654\ 5262423753385257937429829530612288811166821665310691526331/45182732\ 8102028712971772620293193368087445841193638936024698286789456644635\ 77762281053507110065271153*c_1001_4^18 + 8347495407625690881752329176457415366976100759430167614191759104254\ 9483143994088207894632322967603998031069/58737552653263732686330440\ 6381151378513679593551730616832107772826293638026510909653695592430\ 848524989*c_1001_4^17 + 1168674586017722136565034348665711862033840\ 24517056845865530579555999893064018247286679323186181505476738327/1\ 9579184217754577562110146879371712617122653118391020561070259094209\ 7879342170303217898530810282841663*c_1001_4^16 + 3910096842385777020249261671843148628115201345778019116316080213269\ 694025900093062100393911749934046073105/235893785756079247736266829\ 8719483447846102785348315730249428806531299751110485580938536515786\ 540261*c_1001_4^15 + 1734957735622809498501946534125745844924998069\ 355597187888009403497310382067471225206916034250163187571914975/587\ 3755265326373268633044063811513785136795935517306168321077728262936\ 38026510909653695592430848524989*c_1001_4^14 + 2082161925791739574818550333790603184127810702487487601078841741097\ 674169616206807162989695576169795062874951/587375526532637326863304\ 4063811513785136795935517306168321077728262936380265109096536955924\ 30848524989*c_1001_4^13 + 12499116577874355548101558400418609780294\ 2227753303535267591562594237332897576549715464217371607277415063222\ 9/58737552653263732686330440638115137851367959355173061683210777282\ 6293638026510909653695592430848524989*c_1001_4^12 - 5345506989549199215352454926297287811810619999599866497302283466092\ 021491801470246585321822803025168414901/451827328102028712971772620\ 2931933680874458411936389360246982867894566446357776228105350711006\ 5271153*c_1001_4^11 - 124845305021747662960122311981382300279121320\ 7339993247674356550659865744263734273317090861736356181860595696/58\ 7375526532637326863304406381151378513679593551730616832107772826293\ 638026510909653695592430848524989*c_1001_4^10 - 1153887585717905862105382649383819621463409190849836485252422325451\ 554395788044452854966322182879621592700414/587375526532637326863304\ 4063811513785136795935517306168321077728262936380265109096536955924\ 30848524989*c_1001_4^9 - 323654392195563019182310609510097838811397\ 111965234719753788049488496142764903696529669686911420076551555819/\ 1957918421775457756211014687937171261712265311839102056107025909420\ 97879342170303217898530810282841663*c_1001_4^8 - 2637427066293274658249330573351056773830659611145722039825563382855\ 0742246084222284711304579151755802259658/45182732810202871297177262\ 0293193368087445841193638936024698286789456644635777622810535071100\ 65271153*c_1001_4^7 - 272630626430305125707075483656958564979059048\ 602262321569217724373547008784609080020750164507236752331017760/587\ 3755265326373268633044063811513785136795935517306168321077728262936\ 38026510909653695592430848524989*c_1001_4^6 - 1574610387581815913485434126333467783361049000161375384254154049220\ 6200892516810667734856400687683051282476/58737552653263732686330440\ 6381151378513679593551730616832107772826293638026510909653695592430\ 848524989*c_1001_4^5 - 14807092150034704336108706716710159079982495\ 772298223511723714861875669099569468822831765668489997328230528/195\ 7918421775457756211014687937171261712265311839102056107025909420978\ 79342170303217898530810282841663*c_1001_4^4 + 7419604014661771136804024319687114426935811063217408591233655759961\ 609886516709716018369540835984500693961/587375526532637326863304406\ 3811513785136795935517306168321077728262936380265109096536955924308\ 48524989*c_1001_4^3 - 626315825426916123027709504879312569158120676\ 3049826317238026478233928507593276730530862594425947621125737/58737\ 5526532637326863304406381151378513679593551730616832107772826293638\ 026510909653695592430848524989*c_1001_4^2 + 9588482607882168536654792434899698626424929014787632840910321023587\ 57382773955247172437194697524881711434/5873755265326373268633044063\ 8115137851367959355173061683210777282629363802651090965369559243084\ 8524989*c_1001_4 - 728438416522084227723528616259841426981764059519\ 68873680421011059535960730838968666608119067554667509421/1957918421\ 7754577562110146879371712617122653118391020561070259094209787934217\ 0303217898530810282841663, c_0011_0 - 1, c_0011_10 - 17075295822860353995895978822672600600694116196678055375876\ 25783974984616313832128616693035282/1353720509641735216634081427784\ 932072799889579261485969915181527013604561515842838571627425979*c_1\ 001_4^19 - 34805457751189409601910314348694221356555968806320699049\ 936810369351070237318007842869327514466/135372050964173521663408142\ 7784932072799889579261485969915181527013604561515842838571627425979\ *c_1001_4^18 - 3118875951985640782507741174076464172973283848944303\ 91101200727927548110195200757827563487762698/1353720509641735216634\ 0814277849320727998895792614859699151815270136045615158428385716274\ 25979*c_1001_4^17 - 47760039990874011687727408028335275977339311630\ 5637524933271184826102829260894116790712583579249/45124016988057840\ 5544693809261644024266629859753828656638393842337868187171947612857\ 209141993*c_1001_4^16 - 1455936962397730046232997525497374149942680\ 704142213507327790174321589097392014343159383805432519/451240169880\ 5784055446938092616440242666298597538286566383938423378681871719476\ 12857209141993*c_1001_4^15 - 89787214981086895706059649655586425874\ 53227515033609073656037875698371775063998680634721607617998/1353720\ 5096417352166340814277849320727998895792614859699151815270136045615\ 15842838571627425979*c_1001_4^14 - 1302061115218433693080889166234600943832058862195300691289478167976\ 6154080627862338873016501244268/13537205096417352166340814277849320\ 72799889579261485969915181527013604561515842838571627425979*c_1001_\ 4^13 - 121611793065697628806322799753313023901265037583830971965689\ 72842125811272066824773593037867792440/1353720509641735216634081427\ 784932072799889579261485969915181527013604561515842838571627425979*\ c_1001_4^12 - 59846405587506531220568322801475261435690027922413936\ 76590404183442828216650242863984806767749066/1353720509641735216634\ 0814277849320727998895792614859699151815270136045615158428385716274\ 25979*c_1001_4^11 + 25603260912042719167524652595480118846763925698\ 45025017250665483737826965701873338282878857308957/1353720509641735\ 2166340814277849320727998895792614859699151815270136045615158428385\ 71627425979*c_1001_4^10 + 72084131053859711498132956033626944604079\ 76296567771266472420143648539393032787354765915467917694/1353720509\ 6417352166340814277849320727998895792614859699151815270136045615158\ 42838571627425979*c_1001_4^9 + 267728097357667843340445282017551664\ 2548716904163466080580590720305195355974382142979119258709556/45124\ 0169880578405544693809261644024266629859753828656638393842337868187\ 171947612857209141993*c_1001_4^8 + 5479870248331047128981756488063439911976071195921583641861216795640\ 634004374148190544794155726097/135372050964173521663408142778493207\ 2799889579261485969915181527013604561515842838571627425979*c_1001_4\ ^7 + 32641057984702087336939228706716387537259143952068283438039764\ 11604232555423326276962438998970734/1353720509641735216634081427784\ 932072799889579261485969915181527013604561515842838571627425979*c_1\ 001_4^6 + 136428186910181958854737190559397800623432034165281520397\ 1208652203276496074480784924133832327067/13537205096417352166340814\ 2778493207279988957926148596991518152701360456151584283857162742597\ 9*c_1001_4^5 + 1801630161779564494607218066781834647943492288543805\ 93079568858472555592341394914231898584859838/4512401698805784055446\ 9380926164402426662985975382865663839384233786818717194761285720914\ 1993*c_1001_4^4 + 1223843241484797156558869316265571893371938793592\ 68063813231013194578468004093457636963558556170/1353720509641735216\ 6340814277849320727998895792614859699151815270136045615158428385716\ 27425979*c_1001_4^3 + 291820608516040468424938808036770225105009595\ 57840090541728596961512897258182404149233416309672/1353720509641735\ 2166340814277849320727998895792614859699151815270136045615158428385\ 71627425979*c_1001_4^2 + 370194114832363303343060216179637557259475\ 4072839042953898559330796146310921268338411931871645/13537205096417\ 3521663408142778493207279988957926148596991518152701360456151584283\ 8571627425979*c_1001_4 + 480490399911626275238611706060740722515502\ 531176182320742305078273982695885417031667686847239/451240169880578\ 4055446938092616440242666298597538286566383938423378681871719476128\ 57209141993, c_0011_11 + 91088171369091938803076264734473668197308966005017090782843\ 0483290009233261114722466494665303/13537205096417352166340814277849\ 32072799889579261485969915181527013604561515842838571627425979*c_10\ 01_4^19 + 177835240168694505971337342257913986092250456514886141382\ 77553268106110658949660878496140550630/1353720509641735216634081427\ 784932072799889579261485969915181527013604561515842838571627425979*\ c_1001_4^18 + 15063630506567578306969706790969801757857678901024444\ 0478011551092229873205579169209084213470709/13537205096417352166340\ 8142778493207279988957926148596991518152701360456151584283857162742\ 5979*c_1001_4^17 + 208658617656122516811014938249573739513883659500\ 753492241922128662039750971364050838102018082879/451240169880578405\ 5446938092616440242666298597538286566383938423378681871719476128572\ 09141993*c_1001_4^16 + 57197565863700094020848512241985173448071571\ 9943855162543356115619845733586178084813055031573104/45124016988057\ 8405544693809261644024266629859753828656638393842337868187171947612\ 857209141993*c_1001_4^15 + 2989984427541124454717220423719191892286\ 917081734048197458076763818151015072346246078475302685185/135372050\ 9641735216634081427784932072799889579261485969915181527013604561515\ 842838571627425979*c_1001_4^14 + 3460393798065653353686100951664435\ 144911097952911124348682057762826783818480398189870257394016846/135\ 3720509641735216634081427784932072799889579261485969915181527013604\ 561515842838571627425979*c_1001_4^13 + 1842752561498282448559610875016912282298960252173607925222733969160\ 471676357520390985891150410938/135372050964173521663408142778493207\ 2799889579261485969915181527013604561515842838571627425979*c_1001_4\ ^12 - 4449161678500638420024611260811788055283820847015661507651260\ 48320587239354171639820292876312679/1353720509641735216634081427784\ 932072799889579261485969915181527013604561515842838571627425979*c_1\ 001_4^11 - 22996277120784758541995483126341355695306550983062476039\ 30406361466160357799985758983992949526183/1353720509641735216634081\ 4277849320727998895792614859699151815270136045615158428385716274259\ 79*c_1001_4^10 - 18633563260017554696432031126858408270780053862342\ 61889803222552759166079775131913294500179570521/1353720509641735216\ 6340814277849320727998895792614859699151815270136045615158428385716\ 27425979*c_1001_4^9 - 495101128602687811933985908376956312847834617\ 485981272089001695151362658769527417948607864364048/451240169880578\ 4055446938092616440242666298597538286566383938423378681871719476128\ 57209141993*c_1001_4^8 - 436898093501088549118456655853607435769095\ 715792661067289172413201321070252353487126746330005352/135372050964\ 1735216634081427784932072799889579261485969915181527013604561515842\ 838571627425979*c_1001_4^7 - 40233544989784923955183006218157375689\ 3831617162333095121098292577736022495768724131427825043133/13537205\ 0964173521663408142778493207279988957926148596991518152701360456151\ 5842838571627425979*c_1001_4^6 + 6228676063368366231172347873032173\ 163380833222662175006140839275895907978010141869613017741099/135372\ 0509641735216634081427784932072799889579261485969915181527013604561\ 515842838571627425979*c_1001_4^5 - 1910650269207148361902119325400070217285594323373503366009912316726\ 5197622924800401249812028295/45124016988057840554469380926164402426\ 6629859753828656638393842337868187171947612857209141993*c_1001_4^4 + 1305958981324221940952275352613122057887789094762788821740265455754\ 6736603505807506129375748867/13537205096417352166340814277849320727\ 99889579261485969915181527013604561515842838571627425979*c_1001_4^3 - 75751327423900247012273243733093364875613686496234688971055024905\ 94241527343694462887017402390/1353720509641735216634081427784932072\ 799889579261485969915181527013604561515842838571627425979*c_1001_4^\ 2 + 545227290228335756688899954516290780145438666559081250161505878\ 681340188215866440372561176324/135372050964173521663408142778493207\ 2799889579261485969915181527013604561515842838571627425979*c_1001_4 + 27203093085566474502036540642911491583204694105352602703586466250\ 654666229405633477775371924/451240169880578405544693809261644024266\ 629859753828656638393842337868187171947612857209141993, c_0011_2 + 178064134795696521000862164604650763295525264381963131028792\ /385565838274346901858476040954203177932189486074520268199603*c_100\ 1_4^19 + 3479157668302354814376500728909651384582171188541129995949\ 769/385565838274346901858476040954203177932189486074520268199603*c_\ 1001_4^18 + 2951314769038911043826227004591027639505327860640120088\ 8082783/38556583827434690185847604095420317793218948607452026819960\ 3*c_1001_4^17 + 410201674795967545846409466577163562376952454895092\ 80437586258/1285219460914489672861586803180677259773964953581734227\ 33201*c_1001_4^16 + 11309403250290151556901939464779557509170203554\ 7094955112608672/12852194609144896728615868031806772597739649535817\ 3422733201*c_1001_4^15 + 597357991462074496090123602745996713459987\ 698049029528727744998/385565838274346901858476040954203177932189486\ 074520268199603*c_1001_4^14 + 7053125367689048641361364199413334721\ 75304124819269019966328380/3855658382743469018584760409542031779321\ 89486074520268199603*c_1001_4^13 + 401595342566970841453294711635916795510436386393497706132669177/385\ 565838274346901858476040954203177932189486074520268199603*c_1001_4^\ 12 - 51415007420008922887528897041224701058103558898261453904743697\ /385565838274346901858476040954203177932189486074520268199603*c_100\ 1_4^11 - 4456242720051594560700807973111720339096888833025571138314\ 44586/385565838274346901858476040954203177932189486074520268199603*\ c_1001_4^10 - 38730327539313610195420902166633635747571568349583767\ 1526639620/38556583827434690185847604095420317793218948607452026819\ 9603*c_1001_4^9 - 1078935839277709335830837396841322872701410529794\ 92562998892099/1285219460914489672861586803180677259773964953581734\ 22733201*c_1001_4^8 - 100619347753495376806161466718757493510879179\ 538925822638685918/385565838274346901858476040954203177932189486074\ 520268199603*c_1001_4^7 - 89325404739907628105122004892492766071854\ 285155859939479588784/385565838274346901858476040954203177932189486\ 074520268199603*c_1001_4^6 + 19315964647818674273146123748219311444\ 19611512808338858056375/3855658382743469018584760409542031779321894\ 86074520268199603*c_1001_4^5 - 519067483457589783836559349768891518\ 4748646031049686651723028/12852194609144896728615868031806772597739\ 6495358173422733201*c_1001_4^4 + 4364429021705424220677790651422862\ 583710113028950277530967190/385565838274346901858476040954203177932\ 189486074520268199603*c_1001_4^3 - 2719447141086062737014858255459004715464981177096405823809499/38556\ 5838274346901858476040954203177932189486074520268199603*c_1001_4^2 + 939003919729579179151941092755136065143101961346275421194548/385565\ 838274346901858476040954203177932189486074520268199603*c_1001_4 - 120808971116195376139387088529111237279748531814411546289745/128521\ 946091448967286158680318067725977396495358173422733201, c_0011_6 + 1, c_0011_9 + 517173153166196930402214785960813903501619422330948543640166\ 6525928294092194439298373548165924/45124016988057840554469380926164\ 4024266629859753828656638393842337868187171947612857209141993*c_100\ 1_4^19 + 1024580875486254893674972345035901148390244214670517382335\ 73117048393452617276928814490491195067/4512401698805784055446938092\ 61644024266629859753828656638393842337868187171947612857209141993*c\ _1001_4^18 + 884731754238927724147622352400011033881300598755128275\ 656223301798144181855757606783777888692953/451240169880578405544693\ 8092616440242666298597538286566383938423378681871719476128572091419\ 93*c_1001_4^17 + 12693482368445781984308686658193435752599284489071\ 31723408891819349206415418547967835764048117019/1504133899601928018\ 4823126975388134142220995325127621887946461411262272905731587095240\ 3047331*c_1001_4^16 + 361007683299890309330463439937359124143832472\ 9726410223284625329061169209908968554057551761208402/15041338996019\ 2801848231269753881341422209953251276218879464614112622729057315870\ 952403047331*c_1001_4^15 + 2003951830079243423900348230318672555900\ 7617400979436943652850838448765595612450273151147802407411/45124016\ 9880578405544693809261644024266629859753828656638393842337868187171\ 947612857209141993*c_1001_4^14 + 2521107478590775464451944957961410\ 1369723935118351390719456388445659231662503197940764936459862446/45\ 1240169880578405544693809261644024266629859753828656638393842337868\ 187171947612857209141993*c_1001_4^13 + 1719613384086151380752625344516192880563778007784966578827988639561\ 0860782087975493346097066842399/45124016988057840554469380926164402\ 4266629859753828656638393842337868187171947612857209141993*c_1001_4\ ^12 + 1536695641141007802946910336729086039680789458622020855778380\ 216178887552447835067449098186958007/451240169880578405544693809261\ 644024266629859753828656638393842337868187171947612857209141993*c_1\ 001_4^11 - 13610533614877705059185405734745179195207953336056393059\ 029688474297154032146444270729925773019486/451240169880578405544693\ 8092616440242666298597538286566383938423378681871719476128572091419\ 93*c_1001_4^10 - 15020565134681682671650993309787533955296830968191\ 720870776540549369434846520871986233015125186261/451240169880578405\ 5446938092616440242666298597538286566383938423378681871719476128572\ 09141993*c_1001_4^9 - 419053512956545421314978975174606429161757787\ 1697219577192779952612947734926592398929788204994873/15041338996019\ 2801848231269753881341422209953251276218879464614112622729057315870\ 952403047331*c_1001_4^8 - 53766313784775197965153525680312796225552\ 20919817190490797475397272876788433596423602325957295307/4512401698\ 8057840554469380926164402426662985975382865663839384233786818717194\ 7612857209141993*c_1001_4^7 - 3217299829241060258257709618962759861\ 646705411383082021634237253278887066026598603232940745066915/451240\ 1698805784055446938092616440242666298597538286566383938423378681871\ 71947612857209141993*c_1001_4^6 - 479624976642622761415385438403374\ 826355874772041419987439524787894966316401005023604256057336557/451\ 2401698805784055446938092616440242666298597538286566383938423378681\ 87171947612857209141993*c_1001_4^5 - 1193532748555032875095143416469416555645257981032525345534118044113\ 92050975572677502807426225480/1504133899601928018482312697538813414\ 22209953251276218879464614112622729057315870952403047331*c_1001_4^4 + 43835643619355287884410475567218565966430135734872566861620950877\ 910944137787133298582550421823/451240169880578405544693809261644024\ 266629859753828656638393842337868187171947612857209141993*c_1001_4^\ 3 - 363765943475432442022186673327521546609364244767586758736920468\ 76836551270989106458513145494137/4512401698805784055446938092616440\ 24266629859753828656638393842337868187171947612857209141993*c_1001_\ 4^2 + 2268094963744397653473394262253071499832266768639345922614690\ 134090949511828221287880802149698/451240169880578405544693809261644\ 024266629859753828656638393842337868187171947612857209141993*c_1001\ _4 - 15904251292748957425564036691982659031564721828062378230474924\ 2729397513366049440508891546376/15041338996019280184823126975388134\ 1422209953251276218879464614112622729057315870952403047331, c_0101_0 + 400635215417808662314316849302074624362956150148002198383289\ 452446163504276762469119647703140/135372050964173521663408142778493\ 2072799889579261485969915181527013604561515842838571627425979*c_100\ 1_4^19 + 7839542631188886573898507923882952502976599021114820307192\ 419318280690984437446713660940689505/135372050964173521663408142778\ 4932072799889579261485969915181527013604561515842838571627425979*c_\ 1001_4^18 + 6657035370931130810362306490857998430222306113989298764\ 8133013410948458170118597039126390451062/13537205096417352166340814\ 2778493207279988957926148596991518152701360456151584283857162742597\ 9*c_1001_4^17 + 925541023361057548713680518733410301017530000418771\ 42509194657581636346153973817104827938866611/4512401698805784055446\ 9380926164402426662985975382865663839384233786818717194761285720914\ 1993*c_1001_4^16 + 253988020159894952576521762818588318196564579117\ 949693745531043874528441700240656941813097939528/451240169880578405\ 5446938092616440242666298597538286566383938423378681871719476128572\ 09141993*c_1001_4^15 + 13288764218078932845230150603118916318800953\ 81983868952941523394245613476270184157584313058127139/1353720509641\ 7352166340814277849320727998895792614859699151815270136045615158428\ 38571627425979*c_1001_4^14 + 15290835554884793017141862383202141467\ 51839565443910649316259811045112837351660961381299215708695/1353720\ 5096417352166340814277849320727998895792614859699151815270136045615\ 15842838571627425979*c_1001_4^13 + 7964915371156783682675635283173989033073984291569207973073519932138\ 93786180291958613885836517766/1353720509641735216634081427784932072\ 799889579261485969915181527013604561515842838571627425979*c_1001_4^\ 12 - 24196676775777459660974005496815644455134303876876687667905786\ 8877400746478612316782283124106447/13537205096417352166340814277849\ 32072799889579261485969915181527013604561515842838571627425979*c_10\ 01_4^11 - 104358021209455565524323656437107537337982781096658082341\ 4697520639526853395065098849328127724904/13537205096417352166340814\ 2778493207279988957926148596991518152701360456151584283857162742597\ 9*c_1001_4^10 - 833607184898614256054757166374605369785730102343050\ 548076790832419410436101202677781902857519312/135372050964173521663\ 4081427784932072799889579261485969915181527013604561515842838571627\ 425979*c_1001_4^9 - 20943799948760914458380113315907231239741420701\ 5255396895714887047381766980330402912835521878136/45124016988057840\ 5544693809261644024266629859753828656638393842337868187171947612857\ 209141993*c_1001_4^8 - 19454558364241079294828117034140463047961133\ 3876429524699046537146621230431986566395115630816237/13537205096417\ 3521663408142778493207279988957926148596991518152701360456151584283\ 8571627425979*c_1001_4^7 - 1612896214241366668771272671226020107248\ 56834683986815587151955307954056530802318792666392239142/1353720509\ 6417352166340814277849320727998895792614859699151815270136045615158\ 42838571627425979*c_1001_4^6 - 343991228977239234855305309437805397\ 3352547218977358702286588527332602443538128436884606581526/13537205\ 0964173521663408142778493207279988957926148596991518152701360456151\ 5842838571627425979*c_1001_4^5 - 4146568153667296715540870368577155\ 520901949437227584559209949960796640199775108245751414168656/451240\ 1698805784055446938092616440242666298597538286566383938423378681871\ 71947612857209141993*c_1001_4^4 + 452975138526171483903742118638379\ 1278169255467598249681158180013637359419284790865456142598102/13537\ 2050964173521663408142778493207279988957926148596991518152701360456\ 1515842838571627425979*c_1001_4^3 + 8543483455202622982421255290442718804118411783308873707879920799104\ 30763608551293561762458378/1353720509641735216634081427784932072799\ 889579261485969915181527013604561515842838571627425979*c_1001_4^2 + 1871115952217511410285898086140973991308912818238572916600869103320\ 713088429455607955618435231/135372050964173521663408142778493207279\ 9889579261485969915181527013604561515842838571627425979*c_1001_4 + 9114895290260104264280727668267716389248225081686034867091189314560\ 74803920803612438910742468/4512401698805784055446938092616440242666\ 29859753828656638393842337868187171947612857209141993, c_0101_1 + 138391501634843278560219335923266123984820484060715025848179\ 3952756012198415790241623279361877/13537205096417352166340814277849\ 32072799889579261485969915181527013604561515842838571627425979*c_10\ 01_4^19 + 269935721166920867619901925945503051693201433468131080010\ 01807502604433673998918353473448438666/1353720509641735216634081427\ 784932072799889579261485969915181527013604561515842838571627425979*\ c_1001_4^18 + 22831462137418963092478778307748084955093759917188818\ 8693692072246249001514523526318948349655584/13537205096417352166340\ 8142778493207279988957926148596991518152701360456151584283857162742\ 5979*c_1001_4^17 + 315265405719141114798427499138205170443871545099\ 255212379653096653466698088869887706529426323854/451240169880578405\ 5446938092616440242666298597538286566383938423378681871719476128572\ 09141993*c_1001_4^16 + 86026745136160186677807690728976782790429472\ 0570004985698907000449629593125600946941192769656914/45124016988057\ 8405544693809261644024266629859753828656638393842337868187171947612\ 857209141993*c_1001_4^15 + 4460716573702274710471155918114701500334\ 818982319060566931189833903992091454292744969141342174030/135372050\ 9641735216634081427784932072799889579261485969915181527013604561515\ 842838571627425979*c_1001_4^14 + 5086414686966765795440312257756357\ 751285373685219345110837980334185628258840657412825958068918628/135\ 3720509641735216634081427784932072799889579261485969915181527013604\ 561515842838571627425979*c_1001_4^13 + 2567469009941497280621225515255467556560713601811936438338034724723\ 345101052643927487887677934878/135372050964173521663408142778493207\ 2799889579261485969915181527013604561515842838571627425979*c_1001_4\ ^12 - 8631957874932740759761020405367471187929494045809315695897482\ 84437730932321938059378806931833626/1353720509641735216634081427784\ 932072799889579261485969915181527013604561515842838571627425979*c_1\ 001_4^11 - 35225921527959826057907789859579964404662645317957269172\ 60369100390932068069164029904410280255540/1353720509641735216634081\ 4277849320727998895792614859699151815270136045615158428385716274259\ 79*c_1001_4^10 - 27394322945062905279561751112604603233559238323016\ 40014594834480706192297622896061862909138865111/1353720509641735216\ 6340814277849320727998895792614859699151815270136045615158428385716\ 27425979*c_1001_4^9 - 711622965930477830104043687764182312799767541\ 337903692434992878308647229766440522904963259736947/451240169880578\ 4055446938092616440242666298597538286566383938423378681871719476128\ 57209141993*c_1001_4^8 - 607874006633655200000634464764646275556968\ 759332245058778059887585595063369709236403320001663777/135372050964\ 1735216634081427784932072799889579261485969915181527013604561515842\ 838571627425979*c_1001_4^7 - 55238543105502696487062719465492798841\ 8259974171732459140246248315908845829702053836394195302472/13537205\ 0964173521663408142778493207279988957926148596991518152701360456151\ 5842838571627425979*c_1001_4^6 + 3741735636744219153358933314384322\ 8607866655085403706839739078051402433364552399270864772462501/13537\ 2050964173521663408142778493207279988957926148596991518152701360456\ 1515842838571627425979*c_1001_4^5 - 1447024290210990553081290191732105601938873004086959669325247307689\ 1010890157417665591991236030/45124016988057840554469380926164402426\ 6629859753828656638393842337868187171947612857209141993*c_1001_4^4 + 3156573761647461087117718436651738546594476698061165494637646976216\ 1602417994139210615438148916/13537205096417352166340814277849320727\ 99889579261485969915181527013604561515842838571627425979*c_1001_4^3 + 44271138569254002873420823494478027608409313835059980472400797779\ 04948305118400437656899849167/1353720509641735216634081427784932072\ 799889579261485969915181527013604561515842838571627425979*c_1001_4^\ 2 + 794173361652110548907806923670561079721082104470568279756381104\ 4703787967506992851892372897171/13537205096417352166340814277849320\ 72799889579261485969915181527013604561515842838571627425979*c_1001_\ 4 + 138927792053645319189884645062440792396176985914082039945128846\ 8563192112425833847197318971840/45124016988057840554469380926164402\ 4266629859753828656638393842337868187171947612857209141993, c_0101_11 - 75059704723401627856044431977539840627984607340079570910517\ 3676647858451629578966710571590077/13537205096417352166340814277849\ 32072799889579261485969915181527013604561515842838571627425979*c_10\ 01_4^19 - 146867038114308075516926666760157343219272884882677813143\ 93749546223195847675729839166291318411/1353720509641735216634081427\ 784932072799889579261485969915181527013604561515842838571627425979*\ c_1001_4^18 - 12485909702197692960097023245140045912324760409455210\ 3201241298136111206038173635659337532436466/13537205096417352166340\ 8142778493207279988957926148596991518152701360456151584283857162742\ 5979*c_1001_4^17 - 174350484463177140283691241208354037537298054608\ 509367413364576540226908128176960805466349093845/451240169880578405\ 5446938092616440242666298597538286566383938423378681871719476128572\ 09141993*c_1001_4^16 - 48397142566382034248745513321294615953977736\ 1242023920909603763483483296929799700730324229177131/45124016988057\ 8405544693809261644024266629859753828656638393842337868187171947612\ 857209141993*c_1001_4^15 - 2589330503794565113401943615074690951412\ 776629775314129100469764734804085435394070891093001969389/135372050\ 9641735216634081427784932072799889579261485969915181527013604561515\ 842838571627425979*c_1001_4^14 - 3134320354614706175321423492076864\ 771293832076332570914962546465776751633254073921195114473718708/135\ 3720509641735216634081427784932072799889579261485969915181527013604\ 561515842838571627425979*c_1001_4^13 - 1951119069995318255160355042143198332449048011576666627440396755605\ 256353564580554757327843058305/135372050964173521663408142778493207\ 2799889579261485969915181527013604561515842838571627425979*c_1001_4\ ^12 - 7287372782095779363657138635440647191070652428454142653186198\ 2403190396267995344384276045049513/13537205096417352166340814277849\ 32072799889579261485969915181527013604561515842838571627425979*c_10\ 01_4^11 + 167025540556914909685447267003983681845163955269825024287\ 6561257507301025285991523968174654101175/13537205096417352166340814\ 2778493207279988957926148596991518152701360456151584283857162742597\ 9*c_1001_4^10 + 156930110467048814838808700225883708058335130818666\ 8669217263604014795785733610738804632965232524/13537205096417352166\ 3408142778493207279988957926148596991518152701360456151584283857162\ 7425979*c_1001_4^9 + 4789910218386329290632177558332364313045509647\ 16141032267789674655061763476400330153211989598884/4512401698805784\ 0554469380926164402426662985975382865663839384233786818717194761285\ 7209141993*c_1001_4^8 + 5587606336071701647329906577982024131205234\ 32689172236255191044140978144783144965521936210481390/1353720509641\ 7352166340814277849320727998895792614859699151815270136045615158428\ 38571627425979*c_1001_4^7 + 532586498945981241568473205160290595190\ 968683265605675401594693639375985673427909344493527101040/135372050\ 9641735216634081427784932072799889579261485969915181527013604561515\ 842838571627425979*c_1001_4^6 + 10680779648219844985941237901641088\ 2732340467451770072249906070819345620569826180794182131686062/13537\ 2050964173521663408142778493207279988957926148596991518152701360456\ 1515842838571627425979*c_1001_4^5 + 4957065797185148372651850247060852865206783632616950884267267377896\ 0823398625472079234347372513/45124016988057840554469380926164402426\ 6629859753828656638393842337868187171947612857209141993*c_1001_4^4 + 1952554975010049918431444435903472120957060263724654600219111839701\ 1979764517124441574627045431/13537205096417352166340814277849320727\ 99889579261485969915181527013604561515842838571627425979*c_1001_4^3 + 31307506664726289704456872704748946226812044635098543665082973719\ 564101118196121482858610089821/135372050964173521663408142778493207\ 2799889579261485969915181527013604561515842838571627425979*c_1001_4\ ^2 + 85550708444436825011025386223054405044045385094463673077453600\ 4049673955387022965791777104429/13537205096417352166340814277849320\ 72799889579261485969915181527013604561515842838571627425979*c_1001_\ 4 + 423006933070329392577467667053859908927968911231739872804823405\ 695877464221531536269447560476/451240169880578405544693809261644024\ 266629859753828656638393842337868187171947612857209141993, c_0101_3 + 113430192752379212512507201812863244456137463923977933013114\ 0479880666800522803288560654525053/13537205096417352166340814277849\ 32072799889579261485969915181527013604561515842838571627425979*c_10\ 01_4^19 + 219979908748994545575415550086897393362115088476595877403\ 00069457232472316711024183583311424967/1353720509641735216634081427\ 784932072799889579261485969915181527013604561515842838571627425979*\ c_1001_4^18 + 18487747558461809300649392006656063332378358141795365\ 7143494430989476491803415255814683298490756/13537205096417352166340\ 8142778493207279988957926148596991518152701360456151584283857162742\ 5979*c_1001_4^17 + 252815314247278386377880225786668491654846769191\ 274691522696481183983568603363899446923172873515/451240169880578405\ 5446938092616440242666298597538286566383938423378681871719476128572\ 09141993*c_1001_4^16 + 68769324302439826792249052885776576922820511\ 8623875429968019287180481559824588036069132664018302/45124016988057\ 8405544693809261644024266629859753828656638393842337868187171947612\ 857209141993*c_1001_4^15 + 3556506250741022420272642887927258970411\ 512326538091552927092355773971254425155858785447383783649/135372050\ 9641735216634081427784932072799889579261485969915181527013604561515\ 842838571627425979*c_1001_4^14 + 4118050359598612737615960450646876\ 162887667122828992652213482061524050088682613706401614262064762/135\ 3720509641735216634081427784932072799889579261485969915181527013604\ 561515842838571627425979*c_1001_4^13 + 2211683527402218529140853564955582268358787150264707617218619187667\ 405666482112398754824742732393/135372050964173521663408142778493207\ 2799889579261485969915181527013604561515842838571627425979*c_1001_4\ ^12 - 3569167777878694122357821220274711859679458971841956672589113\ 53357375038107884436291321540984162/1353720509641735216634081427784\ 932072799889579261485969915181527013604561515842838571627425979*c_1\ 001_4^11 - 26340201266788361086349690674518989354426607354429896280\ 26420761836217902879643479691713507855035/1353720509641735216634081\ 4277849320727998895792614859699151815270136045615158428385716274259\ 79*c_1001_4^10 - 21435162984424379381376428205667467699455624324986\ 35037283859167924722747680403731018214983259331/1353720509641735216\ 6340814277849320727998895792614859699151815270136045615158428385716\ 27425979*c_1001_4^9 - 654017081133503828294533648608023205000339354\ 803814603924689349393234183414465931475645853615158/451240169880578\ 4055446938092616440242666298597538286566383938423378681871719476128\ 57209141993*c_1001_4^8 - 523292484284245219223788251461744513090744\ 911349469191510008534354970802605928355144705846431211/135372050964\ 1735216634081427784932072799889579261485969915181527013604561515842\ 838571627425979*c_1001_4^7 - 59434268683226912653129181839735493886\ 9344755179981331482097207788584951880758590100954768338747/13537205\ 0964173521663408142778493207279988957926148596991518152701360456151\ 5842838571627425979*c_1001_4^6 + 7053436746094808960051519256560481\ 5671216800725094508508683293360137259501975669302772141531766/13537\ 2050964173521663408142778493207279988957926148596991518152701360456\ 1515842838571627425979*c_1001_4^5 - 4283176059823485086515277959786074604600222554427782120774063568499\ 6205462800304539284246362796/45124016988057840554469380926164402426\ 6629859753828656638393842337868187171947612857209141993*c_1001_4^4 + 4121485298909001297515778852174685154686202996616065926053521448931\ 9285037598836622295117496785/13537205096417352166340814277849320727\ 99889579261485969915181527013604561515842838571627425979*c_1001_4^3 - 22544044494821248699118713493013565493473253090568407862858835285\ 020122785948454084357398065868/135372050964173521663408142778493207\ 2799889579261485969915181527013604561515842838571627425979*c_1001_4\ ^2 + 63220553947520290720787924252526190873305499427935560563643364\ 87371286222958649578746788613903/1353720509641735216634081427784932\ 072799889579261485969915181527013604561515842838571627425979*c_1001\ _4 - 39744095545643649440281936142434842640662594025487682491552354\ 8405527500972555207891440286522/45124016988057840554469380926164402\ 4266629859753828656638393842337868187171947612857209141993, c_0110_10 - 46843111311893638297608752209622137093651808563285521349619\ 93076455530399063507786687246851064/1504133899601928018482312697538\ 81341422209953251276218879464614112622729057315870952403047331*c_10\ 01_4^19 - 911376733208739128186236941035629481589505378980054051284\ 43028335160207178968075111187231059507/1504133899601928018482312697\ 53881341422209953251276218879464614112622729057315870952403047331*c\ _1001_4^18 - 768123928860669335879939115312860478664614009015625823\ 613845388035372082791224614936375153965486/150413389960192801848231\ 2697538813414222099532512762188794646141126227290573158709524030473\ 31*c_1001_4^17 - 10531312943005720193897467450749643369832107979045\ 18875139428028557706787325414996945215259743244/5013779665339760061\ 6077089917960447140736651083758739626488204704207576352438623650801\ 015777*c_1001_4^16 - 2846871130419815890272009711394624026716777633\ 329925154390967619286820047126467179653774088170832/501377966533976\ 0061607708991796044714073665108375873962648820470420757635243862365\ 0801015777*c_1001_4^15 - 144805958405642181615646158967363300658823\ 19121802956768044956271154303710269180976106663225774602/1504133899\ 6019280184823126975388134142220995325127621887946461411262272905731\ 5870952403047331*c_1001_4^14 - 158672782233165355320799627987954554\ 57380610554330328691209111609292940662882386694879710489946700/1504\ 1338996019280184823126975388134142220995325127621887946461411262272\ 9057315870952403047331*c_1001_4^13 - 6526368120582751317961656331302740500994345884127356538853313530789\ 757198744702018975073191398254/150413389960192801848231269753881341\ 422209953251276218879464614112622729057315870952403047331*c_1001_4^\ 12 + 52700643115522068625537528290057760713776919716469976148011585\ 66316303976237726457910858213024704/1504133899601928018482312697538\ 81341422209953251276218879464614112622729057315870952403047331*c_10\ 01_4^11 + 134962614454677011915827824912811300698314446520337370307\ 00950240327505056744344654044106583327610/1504133899601928018482312\ 6975388134142220995325127621887946461411262272905731587095240304733\ 1*c_1001_4^10 + 914105559776477933572328316693869751251414001013007\ 3714892607390688831586644911606217882920651505/15041338996019280184\ 8231269753881341422209953251276218879464614112622729057315870952403\ 047331*c_1001_4^9 + 19405484472631240096183653135580079620709280739\ 57375598947861378056848235882228470506285228464856/5013779665339760\ 0616077089917960447140736651083758739626488204704207576352438623650\ 801015777*c_1001_4^8 + 15625265899495359651324121214771679004762138\ 0725769367112513530114793589200846347790599462106943/15041338996019\ 2801848231269753881341422209953251276218879464614112622729057315870\ 952403047331*c_1001_4^7 + 69188372242522282250647294827016888103689\ 3741724435500434835056882955067805933481750825310410990/15041338996\ 0192801848231269753881341422209953251276218879464614112622729057315\ 870952403047331*c_1001_4^6 - 75683417869236645316139549925582439042\ 1313757697351381495911630680991021432193254236424349432014/15041338\ 9960192801848231269753881341422209953251276218879464614112622729057\ 315870952403047331*c_1001_4^5 + 20019132436869110028221120188937331\ 410085539448604918264316742040911728791524957893940544958215/501377\ 9665339760061607708991796044714073665108375873962648820470420757635\ 2438623650801015777*c_1001_4^4 - 1614942681910597203774403729175366\ 09023796808233689673470240351338692691428762623568855411799973/1504\ 1338996019280184823126975388134142220995325127621887946461411262272\ 9057315870952403047331*c_1001_4^3 + 3213720494514634709555146256536351681382323748456343486458086970492\ 2761307409430498524896412365/15041338996019280184823126975388134142\ 2209953251276218879464614112622729057315870952403047331*c_1001_4^2 - 9153061611884995798051355328482760931223016969401031336981985567736\ 984410233217383592399092607/150413389960192801848231269753881341422\ 209953251276218879464614112622729057315870952403047331*c_1001_4 - 6386218631913115970254255116050881159184217629034422746249909712048\ 1528323195968619591524808/50137796653397600616077089917960447140736\ 651083758739626488204704207576352438623650801015777, c_1001_4^20 + 98929/5041*c_1001_4^19 + 843953/5041*c_1001_4^18 + 3554928/5041*c_1001_4^17 + 9897996/5041*c_1001_4^16 + 17710102/5041*c_1001_4^15 + 21349046/5041*c_1001_4^14 + 12966113/5041*c_1001_4^13 - 608437/5041*c_1001_4^12 - 12791696/5041*c_1001_4^11 - 12012596/5041*c_1001_4^10 - 9997419/5041*c_1001_4^9 - 3565954/5041*c_1001_4^8 - 2707696/5041*c_1001_4^7 - 155693/5041*c_1001_4^6 - 412821/5041*c_1001_4^5 + 1079/71*c_1001_4^4 - 56656/5041*c_1001_4^3 + 8890/5041*c_1001_4^2 - 1749/5041*c_1001_4 + 9/5041 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.160 Total time: 0.380 seconds, Total memory usage: 32.09MB