Magma V2.19-8 Wed Aug 21 2013 00:58:34 on localhost [Seed = 2598141972] Type ? for help. Type -D to quit. Loading file "L13n5889__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5889 geometric_solution 12.35894720 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 1 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 1 -1 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.772338005602 0.592714402745 0 5 7 6 0132 0132 0132 0132 1 1 1 1 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 0 0 0 2 0 0 -2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.252415931414 0.647316198017 8 0 9 8 0132 0132 0132 2103 1 0 1 1 0 0 0 0 -1 0 0 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 2 0 -1 -1 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.480634057332 0.601170240546 10 4 6 0 0132 0321 3012 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.096818330854 1.187262732548 11 10 0 3 0132 0321 0132 0321 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.467634778209 0.724469810584 10 1 6 9 2103 0132 2103 3201 1 1 1 1 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 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.355538132108 1.694498738613 5 3 1 11 2103 1230 0132 2031 1 1 1 1 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 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.732741645527 0.905818875942 7 11 7 1 2310 1302 3201 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.056435149775 1.098917760627 2 10 12 2 0132 2103 0132 2103 1 0 1 1 0 0 1 -1 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 -2 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.480634057332 0.601170240546 12 5 12 2 0132 2310 3120 0132 1 0 1 1 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 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.123267621316 0.801772124578 3 8 5 4 0132 2103 2103 0321 1 1 1 1 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 -1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.258579248368 0.617480028747 4 6 12 7 0132 1302 3012 2031 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.429353403092 0.796881057159 9 11 9 8 0132 1230 3120 0132 1 0 1 1 0 0 1 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 0 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.123267621316 0.801772124578 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : d['c_0011_0'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : negation(d['c_0110_5']), 'c_1001_7' : d['c_0101_1'], 'c_1001_6' : d['c_0011_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0110_5']), 'c_1001_9' : negation(d['c_1001_1']), 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : d['c_0011_7'], 'c_1010_10' : d['c_1001_0'], 's_0_10' : 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_0011_10'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_12']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_12'], 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : negation(d['c_0011_7']), 'c_1100_6' : negation(d['c_0011_7']), 'c_1100_1' : negation(d['c_0011_7']), 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : negation(d['c_0101_12']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_1']), 'c_1100_10' : negation(d['c_0110_5']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : negation(d['c_0110_5']), 'c_1010_9' : negation(d['c_0110_5']), 'c_1010_8' : negation(d['c_1001_0']), 'c_1100_8' : negation(d['c_0101_8']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 'c_1100_12' : negation(d['c_0101_8']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : d['c_0101_8'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0101_1']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_11'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_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_12, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_12, c_0101_8, c_0110_5, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 341870238007989988990490662355871726431936120804407/267447873939802\ 74276248945325390223519185847118143488*c_1001_1^19 - 2339458219301056771522390124996043443127707980547125/13372393696990\ 137138124472662695111759592923559071744*c_1001_1^18 - 1409078836181641051192922832164403419939690881783205/14076203891568\ 56540855207648704748606272939322007552*c_1001_1^17 + 226943719840972709777022843388649698010632965019088791/133723936969\ 90137138124472662695111759592923559071744*c_1001_1^16 + 16832165978673921768824080820360881583078107145910583/3301825604195\ 09558966036362041854611347973421211648*c_1001_1^15 - 2207673641495532761588411045713375705811401818378161533/13372393696\ 990137138124472662695111759592923559071744*c_1001_1^14 - 13262137714475573899425416014641757743331683197375601143/2674478739\ 3980274276248945325390223519185847118143488*c_1001_1^13 + 11137680260223296301508909819668802325908599667290629527/1337239369\ 6990137138124472662695111759592923559071744*c_1001_1^12 + 66537892631368059509697250678173806910244733160863112029/2674478739\ 3980274276248945325390223519185847118143488*c_1001_1^11 - 33105664023690967843474017383050818877526988173145152399/1337239369\ 6990137138124472662695111759592923559071744*c_1001_1^10 - 199409386010272911626378289193358706227393620780059381589/267447873\ 93980274276248945325390223519185847118143488*c_1001_1^9 + 49289659843181646102453966965928020475651948503370276205/1337239369\ 6990137138124472662695111759592923559071744*c_1001_1^8 + 364964878278278497341519506511506660551331490924996448997/267447873\ 93980274276248945325390223519185847118143488*c_1001_1^7 - 7011015367978067099760381681704976019760038135052015639/13372393696\ 990137138124472662695111759592923559071744*c_1001_1^6 - 435097771200285119293105790431212680618485261674395193637/267447873\ 93980274276248945325390223519185847118143488*c_1001_1^5 - 52150788484020806863493515877961711668724269379474852059/1337239369\ 6990137138124472662695111759592923559071744*c_1001_1^4 + 3487465769850372873538841010966121953760813529906242307/27859153535\ 3961190377593180472814828324852574147328*c_1001_1^3 + 163313016552211163086436248426488903863789528595972547/167154921212\ 3767142265559082836888969949115444883968*c_1001_1^2 - 661024439054499703648748137867769936758582277806034647/557183070707\ 922380755186360945629656649705148294656*c_1001_1 - 3280104457953620331378545600796080713817407110495373/11607980639748\ 382932399715853033951180202190589472, c_0011_0 - 1, c_0011_10 - 38211510134822050773583031190628805/18191429287807358290322\ 14745417369284608*c_1001_1^19 + 10920203126353796112610012024269274\ 61/3638285857561471658064429490834738569216*c_1001_1^18 + 666645442692254930921465624502530281/454785732195183957258053686354\ 342321152*c_1001_1^17 - 104752622374153250931801684418256768753/363\ 8285857561471658064429490834738569216*c_1001_1^16 - 3368030605457953912075499168682770197/50531748021687106362005965150\ 482480128*c_1001_1^15 + 1142004883642576425547115193038938222733/36\ 38285857561471658064429490834738569216*c_1001_1^14 + 145852398157336467935830256662987600313/227392866097591978629026843\ 177171160576*c_1001_1^13 - 6518661105688942868671679108574324738977\ /3638285857561471658064429490834738569216*c_1001_1^12 - 2922278403447705780622806586172263029545/90957146439036791451610737\ 2708684642304*c_1001_1^11 + 225383896450857582924373056114744231284\ 23/3638285857561471658064429490834738569216*c_1001_1^10 + 4405930524979477111646714865108295117979/45478573219518395725805368\ 6354342321152*c_1001_1^9 - 4536597736057973366779907723866242483255\ 5/3638285857561471658064429490834738569216*c_1001_1^8 - 8537808867589299967158476715327841625095/45478573219518395725805368\ 6354342321152*c_1001_1^7 + 4639996962684484147767353117103327531514\ 3/3638285857561471658064429490834738569216*c_1001_1^6 + 2974220150188709156870268685978238741561/11369643304879598931451342\ 1588585580288*c_1001_1^5 - 2707171995441385417137983029339684725512\ 3/3638285857561471658064429490834738569216*c_1001_1^4 - 14318670123225350664773939567704027545779/6063809762602452763440715\ 81805789761536*c_1001_1^3 + 995986298597786204798447629682925438751\ /113696433048795989314513421588585580288*c_1001_1^2 + 167095024477743451346757195731901376873/757976220325306595430089477\ 25723720192*c_1001_1 - 23324101052525142233233610787651996871/25265\ 874010843553181002982575241240064, c_0011_11 - 162190769294453644234704341514642439/2425523905040981105376\ 286327223159046144*c_1001_1^19 + 2235551977580260274367278710757721\ 799/2425523905040981105376286327223159046144*c_1001_1^18 + 12485712570907368782935644811613492581/2425523905040981105376286327\ 223159046144*c_1001_1^17 - 72203936325127394419140602894502747965/8\ 08507968346993701792095442407719682048*c_1001_1^16 - 625276832613163242376485541490974471925/242552390504098110537628632\ 7223159046144*c_1001_1^15 + 216005830412191056943635181276860163255\ 1/2425523905040981105376286327223159046144*c_1001_1^14 + 6031615546644781852765201138179569703373/24255239050409811053762863\ 27223159046144*c_1001_1^13 - 37539125277270882587580021083189086787\ 41/808507968346993701792095442407719682048*c_1001_1^12 - 29993770470098915397099325305388020528715/2425523905040981105376286\ 327223159046144*c_1001_1^11 + 3510318531377990250778150679529427195\ 0109/2425523905040981105376286327223159046144*c_1001_1^10 + 88822670556936996134584010111680123089767/2425523905040981105376286\ 327223159046144*c_1001_1^9 - 58368984271978186999703999398957336192\ 573/2425523905040981105376286327223159046144*c_1001_1^8 - 160785932084273627340765872765444755638655/242552390504098110537628\ 6327223159046144*c_1001_1^7 + 2891180505873539811567076354793122851\ 6005/2425523905040981105376286327223159046144*c_1001_1^6 + 194426450318640302143097638912535023353863/242552390504098110537628\ 6327223159046144*c_1001_1^5 + 2007275374997793518696509911442017200\ 5667/2425523905040981105376286327223159046144*c_1001_1^4 - 77472698134458191528594085135748817298781/1212761952520490552688143\ 163611579523072*c_1001_1^3 + 17053232246791033347083047546489661629\ 73/151595244065061319086017895451447440384*c_1001_1^2 + 92197965855584375119192503688105290007/7579762203253065954300894772\ 5723720192*c_1001_1 + 39982108025910432336578764950189130359/505317\ 48021687106362005965150482480128, c_0011_12 - 11080886165403593720222662910293345/90957146439036791451610\ 7372708684642304*c_1001_1^19 + 324178624828721966774652818650725283\ /1819142928780735829032214745417369284608*c_1001_1^18 + 90911719575327135537670898099567815/1136964330487959893145134215885\ 85580288*c_1001_1^17 - 31148829188696212182391792723525089043/18191\ 42928780735829032214745417369284608*c_1001_1^16 - 5053164496075046812592277453137793989/15159524406506131908601789545\ 1447440384*c_1001_1^15 + 377324148055187097232571189647085606539/18\ 19142928780735829032214745417369284608*c_1001_1^14 + 71462182903093730014493537680330371275/2273928660975919786290268431\ 77171160576*c_1001_1^13 - 2382857960622352629495331330208295518755/\ 1819142928780735829032214745417369284608*c_1001_1^12 - 353604155227745219471886805492235814191/227392866097591978629026843\ 177171160576*c_1001_1^11 + 9128902034512965728590124841371895082961\ /1819142928780735829032214745417369284608*c_1001_1^10 + 522800392692525075734298667051668455687/113696433048795989314513421\ 588585580288*c_1001_1^9 - 21177455541412392042524232863036867336641\ /1819142928780735829032214745417369284608*c_1001_1^8 - 4153575103918915627201158920977387437277/45478573219518395725805368\ 6354342321152*c_1001_1^7 + 2783832892232078754331744692630627805340\ 9/1819142928780735829032214745417369284608*c_1001_1^6 + 3421728347068331983777327457873224437031/22739286609759197862902684\ 3177171160576*c_1001_1^5 - 2448506825239754225809896597993107820396\ 1/1819142928780735829032214745417369284608*c_1001_1^4 - 4957719967564237064569115884799877938969/30319048813012263817203579\ 0902894880768*c_1001_1^3 + 787277827232093930790601795251642436487/\ 56848216524397994657256710794292790144*c_1001_1^2 - 41684926211636610710274551697932753861/3789881101626532977150447386\ 2861860096*c_1001_1 - 14737059724526008585112771642323336341/126329\ 37005421776590501491287620620032, c_0011_6 - 11428813632521624744977719068924077/404253984173496850896047\ 721203859841024*c_1001_1^19 + 57635874216306799494767926763340533/1\ 51595244065061319086017895451447440384*c_1001_1^18 + 2769427768606759510391374337494379587/12127619525204905526881431636\ 11579523072*c_1001_1^17 - 5562586218706579874281180314339816931/151\ 595244065061319086017895451447440384*c_1001_1^16 - 145576627892468805130100444011377971587/121276195252049055268814316\ 3611579523072*c_1001_1^15 + 15595393157241174645388714845932803037/\ 50531748021687106362005965150482480128*c_1001_1^14 + 1338095529039406474390803181780577294587/12127619525204905526881431\ 63611579523072*c_1001_1^13 - 20214314333701155856164388440378141801\ 7/151595244065061319086017895451447440384*c_1001_1^12 - 6364759461372061498115674369727800462105/12127619525204905526881431\ 63611579523072*c_1001_1^11 + 46898885220924149523828142464535143349\ 3/151595244065061319086017895451447440384*c_1001_1^10 + 17795533366218350926301004260335041118817/1212761952520490552688143\ 163611579523072*c_1001_1^9 - 26703096274437055251095995362189017749\ 7/151595244065061319086017895451447440384*c_1001_1^8 - 29012818694872816366905645954153139761241/1212761952520490552688143\ 163611579523072*c_1001_1^7 - 11463199126282318095744948764496299279\ 87/151595244065061319086017895451447440384*c_1001_1^6 + 28500844592605018521043203254667852652913/1212761952520490552688143\ 163611579523072*c_1001_1^5 + 20093571259966249717297534848363369432\ 73/151595244065061319086017895451447440384*c_1001_1^4 - 4156233726434172596776957691911011255745/30319048813012263817203579\ 0902894880768*c_1001_1^3 - 51183651641751626467701914327752239941/2\ 5265874010843553181002982575241240064*c_1001_1^2 - 112258851171742418641731664172863677617/757976220325306595430089477\ 25723720192*c_1001_1 + 8062887702040909498907292573450439155/126329\ 37005421776590501491287620620032, c_0011_7 + 1480640010183022940515940978450209/5964403045182740423056441\ 7882536697856*c_1001_1^19 - 10513153601105783995580873700752071/298\ 22015225913702115282208941268348928*c_1001_1^18 - 106328405517287677234555846252911383/596440304518274042305644178825\ 36697856*c_1001_1^17 + 254405155691125374879632414912585041/7455503\ 806478425528820552235317087232*c_1001_1^16 + 552463057686733812781007933519431013/662711449464748935895160198694\ 8521984*c_1001_1^15 - 11561512609109504259045036872249644063/298220\ 15225913702115282208941268348928*c_1001_1^14 - 52334232426499524994312526517996006863/5964403045182740423056441788\ 2536697856*c_1001_1^13 + 16309288040629253930793438958006355125/745\ 5503806478425528820552235317087232*c_1001_1^12 + 279503298111187088348566942507004290055/596440304518274042305644178\ 82536697856*c_1001_1^11 - 218306635560890166517488243221995438541/2\ 9822015225913702115282208941268348928*c_1001_1^10 - 900356593339159712080386247238177602381/596440304518274042305644178\ 82536697856*c_1001_1^9 + 100141398264655949710772372966306782153/74\ 55503806478425528820552235317087232*c_1001_1^8 + 1834364823417820477388937194206895548487/59644030451827404230564417\ 882536697856*c_1001_1^7 - 266472743361608387202943008376416041429/2\ 9822015225913702115282208941268348928*c_1001_1^6 - 2474852842879336028010273177555222376669/59644030451827404230564417\ 882536697856*c_1001_1^5 - 26544864505458856786527944291183489675/74\ 55503806478425528820552235317087232*c_1001_1^4 + 169081490089581787084226306173835386315/497033587098561701921370149\ 0211391488*c_1001_1^3 - 832148984271605567961223895475941663/372775\ 1903239212764410276117658543616*c_1001_1^2 - 5088409475552438201792260143388365805/12425839677464042548034253725\ 52847872*c_1001_1 - 110566365469391745366718689785674385/2070973279\ 57734042467237562092141312, c_0101_0 - 30738353379623531665922199471860157/808507968346993701792095\ 442407719682048*c_1001_1^19 + 1224158890805568871336229399391085831\ /2425523905040981105376286327223159046144*c_1001_1^18 + 7761767257582929857628222553730343229/24255239050409811053762863272\ 23159046144*c_1001_1^17 - 119806605838716477293430532276649298383/2\ 425523905040981105376286327223159046144*c_1001_1^16 - 418957122071565108406682054869062828421/242552390504098110537628632\ 7223159046144*c_1001_1^15 + 357064971177026499538078284404687149949\ /808507968346993701792095442407719682048*c_1001_1^14 + 4077251544577410716698497957252442310869/24255239050409811053762863\ 27223159046144*c_1001_1^13 - 49321969005355103010039447419145725042\ 63/2425523905040981105376286327223159046144*c_1001_1^12 - 20551152730743881427418818850656980679691/2425523905040981105376286\ 327223159046144*c_1001_1^11 + 1274131641903799953544024585114114408\ 5437/2425523905040981105376286327223159046144*c_1001_1^10 + 61824999641961157100596306133583248661455/2425523905040981105376286\ 327223159046144*c_1001_1^9 - 11925259560113313687745423126202245646\ 053/2425523905040981105376286327223159046144*c_1001_1^8 - 111872347382366606089614610965725878331023/242552390504098110537628\ 6327223159046144*c_1001_1^7 - 2340772578030378327923182774725076367\ 2459/2425523905040981105376286327223159046144*c_1001_1^6 + 126681418248890791640281030586352544354751/242552390504098110537628\ 6327223159046144*c_1001_1^5 + 6397053099933688485641199634275322303\ 2875/2425523905040981105376286327223159046144*c_1001_1^4 - 46285497250332218851143382883135494102037/1212761952520490552688143\ 163611579523072*c_1001_1^3 - 56782880161191710826670923867296837964\ 9/50531748021687106362005965150482480128*c_1001_1^2 + 357742201948233496135557203111375465231/757976220325306595430089477\ 25723720192*c_1001_1 + 46533546129257286657614971236247749023/50531\ 748021687106362005965150482480128, c_0101_1 + 339980665732636260045069279790839143/72765717151229433161288\ 58981669477138432*c_1001_1^19 - 45600200587256416775501684771747599\ 03/7276571715122943316128858981669477138432*c_1001_1^18 - 27818484590096148495944844175992189349/7276571715122943316128858981\ 669477138432*c_1001_1^17 + 443188428073378557697226783621304215839/\ 7276571715122943316128858981669477138432*c_1001_1^16 + 163413284721339174662731276132597115597/808507968346993701792095442\ 407719682048*c_1001_1^15 - 3928711943463144804457282445302379679727\ /7276571715122943316128858981669477138432*c_1001_1^14 - 13841173537296108661993613947760837926141/7276571715122943316128858\ 981669477138432*c_1001_1^13 + 1824785015518059118502586996203936674\ 4311/7276571715122943316128858981669477138432*c_1001_1^12 + 67466073861191973821877837544217308277467/7276571715122943316128858\ 981669477138432*c_1001_1^11 - 4869473200413895240687695359702281384\ 1669/7276571715122943316128858981669477138432*c_1001_1^10 - 194889689729198394905599937739565491440519/727657171512294331612885\ 8981669477138432*c_1001_1^9 + 5514129192782376537229728167971502436\ 9493/7276571715122943316128858981669477138432*c_1001_1^8 + 335341189932310035729990679845918387310303/727657171512294331612885\ 8981669477138432*c_1001_1^7 + 4124209334395800158822927567557505188\ 0483/7276571715122943316128858981669477138432*c_1001_1^6 - 369480305423253992783634790784301427807991/727657171512294331612885\ 8981669477138432*c_1001_1^5 - 1326748999711778187561074453317069101\ 44027/7276571715122943316128858981669477138432*c_1001_1^4 + 45960102293642683826023650916233057442951/1212761952520490552688143\ 163611579523072*c_1001_1^3 + 35407354523048351739817741082126738771\ /454785732195183957258053686354342321152*c_1001_1^2 - 177158015271429074103630480690546536305/757976220325306595430089477\ 25723720192*c_1001_1 - 52015956605607070279227504162077900981/50531\ 748021687106362005965150482480128, c_0101_12 - 1, c_0101_8 - 8901155000336964432569410675488905/1212761952520490552688143\ 163611579523072*c_1001_1^19 + 118360551995020242573952008563389313/\ 1212761952520490552688143163611579523072*c_1001_1^18 + 733926048958406800697835602752597919/121276195252049055268814316361\ 1579523072*c_1001_1^17 - 3806203967115885449145279895088108331/4042\ 53984173496850896047721203859841024*c_1001_1^16 - 39070744634360329651985241280785800659/1212761952520490552688143163\ 611579523072*c_1001_1^15 + 88680499397721290958056156030382529273/1\ 212761952520490552688143163611579523072*c_1001_1^14 + 328875005667691237586215090243866861071/121276195252049055268814316\ 3611579523072*c_1001_1^13 - 132716664252972892523810974001058863947\ /404253984173496850896047721203859841024*c_1001_1^12 - 1492772536680175987262489371596573160229/12127619525204905526881431\ 63611579523072*c_1001_1^11 + 98819136830459833031134611878428499601\ 1/1212761952520490552688143163611579523072*c_1001_1^10 + 3873472677696988036114490198587425629269/12127619525204905526881431\ 63611579523072*c_1001_1^9 - 966453659098939291355273635792814713595\ /1212761952520490552688143163611579523072*c_1001_1^8 - 5724681770252116850060551442346538028873/12127619525204905526881431\ 63611579523072*c_1001_1^7 - 115700698218634278214596361653973300546\ 1/1212761952520490552688143163611579523072*c_1001_1^6 + 5384881015443580797995914332404894848669/12127619525204905526881431\ 63611579523072*c_1001_1^5 + 238141924251857932496993005584627094033\ 3/1212761952520490552688143163611579523072*c_1001_1^4 - 1284605736784268688072386445279246384731/60638097626024527634407158\ 1805789761536*c_1001_1^3 + 151675632425871144738726969295526334511/\ 75797622032530659543008947725723720192*c_1001_1^2 - 87553344532860722098288015364646319129/3789881101626532977150447386\ 2861860096*c_1001_1 + 11185657043978235956882412994568618001/252658\ 74010843553181002982575241240064, c_0110_5 - 202022210077005874002689476108391353/24255239050409811053762\ 86327223159046144*c_1001_1^19 + 93306087757589992966271571707029861\ 7/808507968346993701792095442407719682048*c_1001_1^18 + 5108032725793847973988881448977368257/80850796834699370179209544240\ 7719682048*c_1001_1^17 - 270496213290477277972764396878459038687/24\ 25523905040981105376286327223159046144*c_1001_1^16 - 758415231171556447413633695079612596719/242552390504098110537628632\ 7223159046144*c_1001_1^15 + 270816728682934615781737900268010487239\ 5/2425523905040981105376286327223159046144*c_1001_1^14 + 2439670909829429914270561813260734961769/80850796834699370179209544\ 2407719682048*c_1001_1^13 - 141372087246692789734352913270205630690\ 63/2425523905040981105376286327223159046144*c_1001_1^12 - 12149193199073211729180601806656121348435/8085079683469937017920954\ 42407719682048*c_1001_1^11 + 14665925946104235171702618914653274300\ 963/808507968346993701792095442407719682048*c_1001_1^10 + 36096574780813202203899883902836194299547/8085079683469937017920954\ 42407719682048*c_1001_1^9 - 243290060295015787332688287553204947709\ 51/808507968346993701792095442407719682048*c_1001_1^8 - 65928500511309509263978209869656930936271/8085079683469937017920954\ 42407719682048*c_1001_1^7 + 123134798578498262671958627834062821566\ 03/808507968346993701792095442407719682048*c_1001_1^6 + 80321392810981750093663729490338472998907/8085079683469937017920954\ 42407719682048*c_1001_1^5 + 753732386027173338976569508292125769778\ 5/808507968346993701792095442407719682048*c_1001_1^4 - 94562555909428824155709493505479286790329/1212761952520490552688143\ 163611579523072*c_1001_1^3 + 19342067540291497761750255805983159797\ 87/151595244065061319086017895451447440384*c_1001_1^2 + 131540144954744042383266553539059743429/378988110162653297715044738\ 62861860096*c_1001_1 + 11336443628876141080276659156124930507/50531\ 748021687106362005965150482480128, c_1001_0 + 11080886165403593720222662910293345/909571464390367914516107\ 372708684642304*c_1001_1^19 - 324178624828721966774652818650725283/\ 1819142928780735829032214745417369284608*c_1001_1^18 - 90911719575327135537670898099567815/1136964330487959893145134215885\ 85580288*c_1001_1^17 + 31148829188696212182391792723525089043/18191\ 42928780735829032214745417369284608*c_1001_1^16 + 5053164496075046812592277453137793989/15159524406506131908601789545\ 1447440384*c_1001_1^15 - 377324148055187097232571189647085606539/18\ 19142928780735829032214745417369284608*c_1001_1^14 - 71462182903093730014493537680330371275/2273928660975919786290268431\ 77171160576*c_1001_1^13 + 2382857960622352629495331330208295518755/\ 1819142928780735829032214745417369284608*c_1001_1^12 + 353604155227745219471886805492235814191/227392866097591978629026843\ 177171160576*c_1001_1^11 - 9128902034512965728590124841371895082961\ /1819142928780735829032214745417369284608*c_1001_1^10 - 522800392692525075734298667051668455687/113696433048795989314513421\ 588585580288*c_1001_1^9 + 21177455541412392042524232863036867336641\ /1819142928780735829032214745417369284608*c_1001_1^8 + 4153575103918915627201158920977387437277/45478573219518395725805368\ 6354342321152*c_1001_1^7 - 2783832892232078754331744692630627805340\ 9/1819142928780735829032214745417369284608*c_1001_1^6 - 3421728347068331983777327457873224437031/22739286609759197862902684\ 3177171160576*c_1001_1^5 + 2448506825239754225809896597993107820396\ 1/1819142928780735829032214745417369284608*c_1001_1^4 + 4957719967564237064569115884799877938969/30319048813012263817203579\ 0902894880768*c_1001_1^3 - 787277827232093930790601795251642436487/\ 56848216524397994657256710794292790144*c_1001_1^2 + 3786115195371280938770077835070893765/37898811016265329771504473862\ 861860096*c_1001_1 + 2104122719104231994611280354702716309/12632937\ 005421776590501491287620620032, c_1001_1^20 - 14*c_1001_1^19 - 74*c_1001_1^18 + 1352*c_1001_1^17 + 3570*c_1001_1^16 - 14144*c_1001_1^15 - 34658*c_1001_1^14 + 77144*c_1001_1^13 + 173396*c_1001_1^12 - 253996*c_1001_1^11 - 518638*c_1001_1^10 + 469928*c_1001_1^9 + 965774*c_1001_1^8 - 376624*c_1001_1^7 - 1240630*c_1001_1^6 + 103304*c_1001_1^5 + 1056123*c_1001_1^4 - 314966*c_1001_1^3 - 84528*c_1001_1^2 + 13104*c_1001_1 + 7344 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.470 Total time: 0.680 seconds, Total memory usage: 32.09MB