Magma V2.19-8 Wed Aug 21 2013 00:58:48 on localhost [Seed = 3230063549] Type ? for help. Type -D to quit. Loading file "L13n5964__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5964 geometric_solution 11.73943308 oriented_manifold CS_known -0.0000000000000007 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.120185964276 0.902762284560 0 5 7 6 0132 0132 0132 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 0 -5 5 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.955431704663 0.711112973858 8 0 9 7 0132 0132 0132 1230 1 0 1 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 1 0 -1 0 0 0 0 0 0 0 0 -2 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.758977826940 0.824563709686 10 11 11 0 0132 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.056106306723 0.866511930337 9 8 0 11 2031 0132 0132 1230 1 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 0 0 0 0 0 0 0 0 0 0 0 6 -1 -5 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.019888880238 1.055220452505 9 1 12 8 0213 0132 0132 0213 1 0 0 1 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 0 0 0 0 0 -2 2 0 0 0 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.548160872270 0.284178289050 7 12 1 11 2310 0132 0132 1302 1 1 1 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 0 0 0 0 0 -5 5 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.931587601716 0.720440276625 2 10 6 1 3012 3201 3201 0132 1 1 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 0 0 0 0 0 -5 0 5 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.381406948612 0.609443860703 2 4 12 5 0132 0132 2103 0213 1 0 0 1 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 -6 6 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.739323528426 0.649755255668 5 10 4 2 0213 2103 1302 0132 1 0 0 1 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 0 0 0 0 0 0 0 0 3 0 -3 -6 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.351768282477 0.433269260305 3 9 7 12 0132 2103 2310 1302 0 1 1 1 0 -1 0 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 -3 1 2 0 0 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.172132360784 0.931365190766 4 3 6 3 3012 0132 2031 3012 1 1 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 0 0 0 0 0 0 0 0 0 0 0 5 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 0.414684584581 0.468830128868 8 6 10 5 2103 0132 2031 0132 1 0 1 1 0 0 0 0 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 0 0 0 0 0 -2 2 -6 0 0 6 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.070796833669 0.742215664138 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_7'], 'c_1001_10' : d['c_0011_9'], 'c_1001_12' : negation(d['c_0101_3']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_0']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0011_9']), 'c_1001_0' : d['c_0101_7'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0011_12'], 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : negation(d['c_0101_3']), 'c_1010_10' : negation(d['c_1001_2']), 's_0_10' : d['1'], 's_3_10' : 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_12'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_10'], 'c_1100_8' : negation(d['c_0011_9']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_2'], 'c_1100_4' : d['c_0110_11'], 'c_1100_7' : d['c_0011_12'], 'c_1100_6' : d['c_0011_12'], 'c_1100_1' : d['c_0011_12'], 'c_1100_0' : d['c_0110_11'], 'c_1100_3' : d['c_0110_11'], 'c_1100_2' : d['c_0101_1'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_3'], 'c_1100_10' : d['c_0011_7'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_9']), 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0011_9']), 'c_1010_4' : d['c_0011_12'], 'c_1010_3' : d['c_0101_7'], 'c_1010_2' : d['c_0101_7'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1001_2'], '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' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : d['c_1001_2'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(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' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_12']), '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_0110_11'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0011_9'], 'c_0101_12' : d['c_0011_7'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_9'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_0'], 'c_0101_8' : d['c_0011_7'], '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_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_7'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_7'])})} 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_12, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_7, c_0110_11, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 89091830482978698998638852289747290130322193/4444047396336271307851\ 896503654605538059483136*c_1001_5^16 + 324243628352811601269244281625485086741680487/222202369816813565392\ 5948251827302769029741568*c_1001_5^15 + 3333596532187851762046228493754766195280364255/22220236981681356539\ 25948251827302769029741568*c_1001_5^14 + 5057843462999752321423595033283195908418743079/44440473963362713078\ 51896503654605538059483136*c_1001_5^13 + 72148601357588299178260280592645517274613461/1587159784405811181375\ 67732273378769216410112*c_1001_5^12 + 16946885369108517782523117533577274955967066491/2777529622710169567\ 40743531478412846128717696*c_1001_5^11 + 578247399540378651653093034310195558217417725283/444404739633627130\ 7851896503654605538059483136*c_1001_5^10 - 1717885330611703981930254230798868518201272347/57714901251120406595\ 479175372137734260512768*c_1001_5^9 - 66756467911676944676175023457461061873850056059/3418497997181747159\ 88607423358046579850729472*c_1001_5^8 - 126597744676578820543355747278202383013370052955/111101184908406782\ 6962974125913651384514870784*c_1001_5^7 - 108264889794477504948519977000745620860423526023/444404739633627130\ 7851896503654605538059483136*c_1001_5^6 + 131093557197419788924556672356906825662151328795/222202369816813565\ 3925948251827302769029741568*c_1001_5^5 + 112480259174526248532681553191973525995624100201/111101184908406782\ 6962974125913651384514870784*c_1001_5^4 + 121259074665164114322279413260730188758800945167/222202369816813565\ 3925948251827302769029741568*c_1001_5^3 - 70566141347809489633058230563710634161980472435/4444047396336271307\ 851896503654605538059483136*c_1001_5^2 - 14094864816047257385537717105310263732593931625/4040043087578428461\ 68354227604964139823589376*c_1001_5 + 23317404391056773983742669480226446172166908551/4444047396336271307\ 851896503654605538059483136, c_0011_0 - 1, c_0011_10 - 282029012631179432956288556997/3346790740123908140329790894\ 8853*c_1001_5^16 - 2006782428983904670473281411931/6693581480247816\ 2806595817897706*c_1001_5^15 - 15960286201446083953778595450816/334\ 67907401239081403297908948853*c_1001_5^14 + 50903850045519337514823984628694/33467907401239081403297908948853*c\ _1001_5^13 - 102759795018636234030470107708995/33467907401239081403\ 297908948853*c_1001_5^12 - 1133003034368385168610865913668501/66935\ 814802478162806595817897706*c_1001_5^11 + 1242936794791287682909797277210199/66935814802478162806595817897706\ *c_1001_5^10 + 1579018465896882199186529241927303/33467907401239081\ 403297908948853*c_1001_5^9 - 218063958823309764367251240894533/6693\ 5814802478162806595817897706*c_1001_5^8 - 959157840647758616493801110239524/33467907401239081403297908948853*\ c_1001_5^7 - 1049348854671476495867559570460685/6693581480247816280\ 6595817897706*c_1001_5^6 - 106918570649453415088757751234091/669358\ 14802478162806595817897706*c_1001_5^5 - 23089685589751925514201028875039/33467907401239081403297908948853*c\ _1001_5^4 - 69435764794851434516977813874677/6693581480247816280659\ 5817897706*c_1001_5^3 + 159184365962414965463272588721993/334679074\ 01239081403297908948853*c_1001_5^2 - 81086864362629722590223023513367/66935814802478162806595817897706*c\ _1001_5 + 51283079947155530140920544341490/334679074012390814032979\ 08948853, c_0011_12 - 1077910343018103832632525900581/669358148024781628065958178\ 97706*c_1001_5^16 - 2686076609153219004325441297049/334679074012390\ 81403297908948853*c_1001_5^15 - 68955491335749467904381977145387/66\ 935814802478162806595817897706*c_1001_5^14 + 47244580903235719830021039177042/33467907401239081403297908948853*c\ _1001_5^13 - 278428305098945319611848382001769/66935814802478162806\ 595817897706*c_1001_5^12 - 2555262743824102509753167976015785/66935\ 814802478162806595817897706*c_1001_5^11 - 1345175503007208714575372146160981/66935814802478162806595817897706\ *c_1001_5^10 + 1667946940245203376471030485580282/33467907401239081\ 403297908948853*c_1001_5^9 + 1658460794651771193351861752566774/334\ 67907401239081403297908948853*c_1001_5^8 + 366192132650975838076245389488537/33467907401239081403297908948853*\ c_1001_5^7 - 1174241763532324367819813064963823/6693581480247816280\ 6595817897706*c_1001_5^6 - 1409510633710713055047290320534517/66935\ 814802478162806595817897706*c_1001_5^5 - 436520576448041327177201881165813/33467907401239081403297908948853*\ c_1001_5^4 - 181906862130665114971548919655770/33467907401239081403\ 297908948853*c_1001_5^3 + 157907489312678274263846772430227/3346790\ 7401239081403297908948853*c_1001_5^2 + 37602127383475017048125331069974/33467907401239081403297908948853*c\ _1001_5 + 137296993477738082487284774715627/66935814802478162806595\ 817897706, c_0011_7 - 3610972111600735324948190979513/6693581480247816280659581789\ 7706*c_1001_5^16 - 9051479401140016987237263522810/3346790740123908\ 1403297908948853*c_1001_5^15 - 230613393757997495664824030774853/66\ 935814802478162806595817897706*c_1001_5^14 + 157409780825069725599149127213532/33467907401239081403297908948853*\ c_1001_5^13 - 861536955108104253626372804363295/6693581480247816280\ 6595817897706*c_1001_5^12 - 8631100799881153195363937582542585/6693\ 5814802478162806595817897706*c_1001_5^11 - 4525274704822171026905201390182557/66935814802478162806595817897706\ *c_1001_5^10 + 6644957963189706295111997430046138/33467907401239081\ 403297908948853*c_1001_5^9 + 7022030064489668485467286462680451/334\ 67907401239081403297908948853*c_1001_5^8 + 1053171231633968744201523692396485/33467907401239081403297908948853\ *c_1001_5^7 - 7456515944600597458018661542097833/669358148024781628\ 06595817897706*c_1001_5^6 - 7709841934212307649023190515642437/6693\ 5814802478162806595817897706*c_1001_5^5 - 1452376280938800129778041148217440/33467907401239081403297908948853\ *c_1001_5^4 - 82370322392068267015367475303598/33467907401239081403\ 297908948853*c_1001_5^3 + 935666060274081967175018007940689/3346790\ 7401239081403297908948853*c_1001_5^2 + 279928884142284169324505102348744/33467907401239081403297908948853*\ c_1001_5 + 421125376686846776525554720504621/6693581480247816280659\ 5817897706, c_0011_9 - 799759567303683761933004937677/33467907401239081403297908948\ 853*c_1001_5^16 - 4216208612433455044637790589472/33467907401239081\ 403297908948853*c_1001_5^15 - 105079307725391947623603854030947/669\ 35814802478162806595817897706*c_1001_5^14 + 54039008444295624800150804470007/33467907401239081403297908948853*c\ _1001_5^13 - 202044066086628498227828316703006/33467907401239081403\ 297908948853*c_1001_5^12 - 1947454367047204599763595227270675/33467\ 907401239081403297908948853*c_1001_5^11 - 3176992701996364742317340299185459/66935814802478162806595817897706\ *c_1001_5^10 + 3160746815589680585290294955758071/66935814802478162\ 806595817897706*c_1001_5^9 + 2457144937687183871732247757954183/334\ 67907401239081403297908948853*c_1001_5^8 + 3298664748767597787359082574495147/66935814802478162806595817897706\ *c_1001_5^7 + 63290902228503717445250814788242/33467907401239081403\ 297908948853*c_1001_5^6 - 1879124511852220364844811253414709/669358\ 14802478162806595817897706*c_1001_5^5 - 1803795742648629100501309154004519/66935814802478162806595817897706\ *c_1001_5^4 - 539757269432198473062851655334831/3346790740123908140\ 3297908948853*c_1001_5^3 + 314905253831330470097268882481629/669358\ 14802478162806595817897706*c_1001_5^2 + 40512854313274564851221408604380/33467907401239081403297908948853*c\ _1001_5 + 248737681808743391264141316974879/66935814802478162806595\ 817897706, c_0101_0 - 1, c_0101_1 + 3277667303853097316966368889978/3346790740123908140329790894\ 8853*c_1001_5^16 + 33298281830120236860897172874553/669358148024781\ 62806595817897706*c_1001_5^15 + 211300839449878464326159958251015/3\ 3467907401239081403297908948853*c_1001_5^14 - 267095147240398226716463154985306/33467907401239081403297908948853*\ c_1001_5^13 + 822455400333773716222361563871469/3346790740123908140\ 3297908948853*c_1001_5^12 + 15674913516553405348532262265459875/669\ 35814802478162806595817897706*c_1001_5^11 + 9750140291957354405109725050209113/66935814802478162806595817897706\ *c_1001_5^10 - 9657846122735513930662521962556789/33467907401239081\ 403297908948853*c_1001_5^9 - 22532532016193532044291237654365091/66\ 935814802478162806595817897706*c_1001_5^8 - 3122550261467258676109541548381811/33467907401239081403297908948853\ *c_1001_5^7 + 8269687623072693618684223754749195/669358148024781628\ 06595817897706*c_1001_5^6 + 10059571307165503497895119878123441/669\ 35814802478162806595817897706*c_1001_5^5 + 2430844032652328857266227622725356/33467907401239081403297908948853\ *c_1001_5^4 + 1310963996999505734915004182910341/669358148024781628\ 06595817897706*c_1001_5^3 - 1061379535266857780155134993681413/3346\ 7907401239081403297908948853*c_1001_5^2 - 575959720684119049355656262257303/66935814802478162806595817897706*\ c_1001_5 - 311011453491990695597934753192338/3346790740123908140329\ 7908948853, c_0101_2 + 15765068098194202292121638431587/669358148024781628065958178\ 97706*c_1001_5^16 + 40086243211898894563645224488600/33467907401239\ 081403297908948853*c_1001_5^15 + 507704339011327840243959878442857/\ 33467907401239081403297908948853*c_1001_5^14 - 643491925701397959611362528657401/33467907401239081403297908948853*\ c_1001_5^13 + 3851295065477493876906265999568047/669358148024781628\ 06595817897706*c_1001_5^12 + 37746394279892793085486887906583781/66\ 935814802478162806595817897706*c_1001_5^11 + 11665177306277244729349776697701214/3346790740123908140329790894885\ 3*c_1001_5^10 - 49845610796419370655023549799863619/669358148024781\ 62806595817897706*c_1001_5^9 - 29945292072219801444750415211418900/\ 33467907401239081403297908948853*c_1001_5^8 - 16378468499881279911682665301750905/6693581480247816280659581789770\ 6*c_1001_5^7 + 25232519113525459012522865943144059/6693581480247816\ 2806595817897706*c_1001_5^6 + 15317635616189673151374268743250650/3\ 3467907401239081403297908948853*c_1001_5^5 + 14311257305875690261183605137991567/6693581480247816280659581789770\ 6*c_1001_5^4 + 1324578359867565322973036214112681/33467907401239081\ 403297908948853*c_1001_5^3 - 6868895348264285967771300084465851/669\ 35814802478162806595817897706*c_1001_5^2 - 1209050327905369859178782007160765/33467907401239081403297908948853\ *c_1001_5 - 995202892469606423460323959540271/334679074012390814032\ 97908948853, c_0101_3 + 1575735577047897519465336630581/3346790740123908140329790894\ 8853*c_1001_5^16 + 8112454536270958357941260480881/3346790740123908\ 1403297908948853*c_1001_5^15 + 102078914055325897230597280984017/33\ 467907401239081403297908948853*c_1001_5^14 - 121650252798053619255574240850574/33467907401239081403297908948853*\ c_1001_5^13 + 383253520293036158232491360925162/3346790740123908140\ 3297908948853*c_1001_5^12 + 3802218528638403914979003204003659/3346\ 7907401239081403297908948853*c_1001_5^11 + 2584257845238082243583545062197968/33467907401239081403297908948853\ *c_1001_5^10 - 4595894525058034700649181387558233/33467907401239081\ 403297908948853*c_1001_5^9 - 5721195821335819418978508361738154/334\ 67907401239081403297908948853*c_1001_5^8 - 1696089060206348876084779252971611/33467907401239081403297908948853\ *c_1001_5^7 + 2007013016949286371019957760220106/334679074012390814\ 03297908948853*c_1001_5^6 + 2614991975058260941808619064191794/3346\ 7907401239081403297908948853*c_1001_5^5 + 1276358864027394128686333730636389/33467907401239081403297908948853\ *c_1001_5^4 + 287822934955119636650693616424900/3346790740123908140\ 3297908948853*c_1001_5^3 - 584149299486228737467167357150446/334679\ 07401239081403297908948853*c_1001_5^2 - 181376342818762873264591401610869/33467907401239081403297908948853*\ c_1001_5 - 147720758265648319017518050549565/3346790740123908140329\ 7908948853, c_0101_7 + 381731506348173791958457603055/33467907401239081403297908948\ 853*c_1001_5^16 + 2398681217150246655274614179023/33467907401239081\ 403297908948853*c_1001_5^15 + 26974606274194748987570395897009/3346\ 7907401239081403297908948853*c_1001_5^14 - 1359263223651060321555676088999/33467907401239081403297908948853*c_\ 1001_5^13 + 60224829796805796725553154465273/3346790740123908140329\ 7908948853*c_1001_5^12 + 1023641780898831330021526273761732/3346790\ 7401239081403297908948853*c_1001_5^11 + 1685773566404360554398033623393064/33467907401239081403297908948853\ *c_1001_5^10 - 384042593097719550823777485692489/334679074012390814\ 03297908948853*c_1001_5^9 - 2687362263477227720824514799944797/3346\ 7907401239081403297908948853*c_1001_5^8 - 1804259160102088078693694004597894/33467907401239081403297908948853\ *c_1001_5^7 + 356998747619425264442255002860106/3346790740123908140\ 3297908948853*c_1001_5^6 + 1167708284101175700041804999580009/33467\ 907401239081403297908948853*c_1001_5^5 + 754447105729412202837963048838030/33467907401239081403297908948853*\ c_1001_5^4 + 163812551111309465562133552547972/33467907401239081403\ 297908948853*c_1001_5^3 - 131229062644010998786997910161536/3346790\ 7401239081403297908948853*c_1001_5^2 - 159519212703006234721220422970825/33467907401239081403297908948853*\ c_1001_5 - 37796959397598009279375314247760/33467907401239081403297\ 908948853, c_0110_11 + 1971199776560966244472286876668/334679074012390814032979089\ 48853*c_1001_5^16 + 20255922015729666875705594425119/66935814802478\ 162806595817897706*c_1001_5^15 + 127591171477996484169286167984272/\ 33467907401239081403297908948853*c_1001_5^14 - 153737061877453280324458017170831/33467907401239081403297908948853*\ c_1001_5^13 + 479606366313130156142187075287647/3346790740123908140\ 3297908948853*c_1001_5^12 + 9472132318315236382569022450523807/6693\ 5814802478162806595817897706*c_1001_5^11 + 6374937852157678036741528490779735/66935814802478162806595817897706\ *c_1001_5^10 - 5829996721742825444263755789021449/33467907401239081\ 403297908948853*c_1001_5^9 - 15377703362136839041414855891570557/66\ 935814802478162806595817897706*c_1001_5^8 - 2881819201214760780759703966455787/33467907401239081403297908948853\ *c_1001_5^7 + 5368293539159486248035704413941097/669358148024781628\ 06595817897706*c_1001_5^6 + 8341306145158773527959537595558217/6693\ 5814802478162806595817897706*c_1001_5^5 + 2262058772297778429765143380529389/33467907401239081403297908948853\ *c_1001_5^4 + 989002514029843204217541136806995/6693581480247816280\ 6595817897706*c_1001_5^3 - 867152339779388467877867626777684/334679\ 07401239081403297908948853*c_1001_5^2 - 747498088640053377286770911343609/66935814802478162806595817897706*\ c_1001_5 - 297304289737676800758120599383475/3346790740123908140329\ 7908948853, c_1001_2 + 4842509050908566218127553880517/6693581480247816280659581789\ 7706*c_1001_5^16 + 12600209266120217343514824478885/334679074012390\ 81403297908948853*c_1001_5^15 + 315353176546665496838555901669313/6\ 6935814802478162806595817897706*c_1001_5^14 - 177652950426029587438264858006554/33467907401239081403297908948853*\ c_1001_5^13 + 1172467195977193234736832211523041/669358148024781628\ 06595817897706*c_1001_5^12 + 11714045732597355859083814911859445/66\ 935814802478162806595817897706*c_1001_5^11 + 8667987255452823963525580459729855/66935814802478162806595817897706\ *c_1001_5^10 - 6550119559791852587151998223056640/33467907401239081\ 403297908948853*c_1001_5^9 - 9292984933634561474960418118482541/334\ 67907401239081403297908948853*c_1001_5^8 - 3766746209872723135378767775541211/33467907401239081403297908948853\ *c_1001_5^7 + 5683961625199809807822600253340871/669358148024781628\ 06595817897706*c_1001_5^6 + 8938604784097285215981991820576465/6693\ 5814802478162806595817897706*c_1001_5^5 + 2409652246218074321598531229088250/33467907401239081403297908948853\ *c_1001_5^4 + 622350325987063412561712622001966/3346790740123908140\ 3297908948853*c_1001_5^3 - 895871250383847816473691101961658/334679\ 07401239081403297908948853*c_1001_5^2 - 296022040125895318802772681768730/33467907401239081403297908948853*\ c_1001_5 - 550900269984345878937593148875519/6693581480247816280659\ 5817897706, c_1001_5^17 + 5*c_1001_5^16 + 64*c_1001_5^15 - 87*c_1001_5^14 + 253*c_1001_5^13 + 2372*c_1001_5^12 + 1283*c_1001_5^11 - 3226*c_1001_5^10 - 3464*c_1001_5^9 - 709*c_1001_5^8 + 1653*c_1001_5^7 + 1733*c_1001_5^6 + 670*c_1001_5^5 + 58*c_1001_5^4 - 433*c_1001_5^3 - 88*c_1001_5^2 - 94*c_1001_5 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.680 Total time: 0.900 seconds, Total memory usage: 32.09MB