Magma V2.19-8 Tue Aug 20 2013 23:39:50 on localhost [Seed = 2177361214] Type ? for help. Type -D to quit. Loading file "K14n18550__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n18550 geometric_solution 10.17339811 oriented_manifold CS_known 0.0000000000000009 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.392160895918 0.619747617301 0 5 6 3 0132 0132 0132 1302 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 -13 13 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.054035185965 0.688578271465 7 0 9 8 0132 0132 0132 0132 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 -14 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.874697981030 0.708041874523 9 6 1 0 2031 3120 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 14 -1 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.152330613770 0.895778289784 7 10 0 5 3120 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.498161403639 0.670754635876 8 1 4 9 3120 0132 1230 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.256886140652 0.914496255326 7 3 10 1 2103 3120 0321 0132 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 1 -1 0 0 0 -13 13 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.802923308245 0.683081049122 2 8 6 4 0132 3120 2103 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.249778564813 0.680442177078 10 7 2 5 0321 3120 0132 3120 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 14 0 -14 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.950433810941 0.713729175185 5 10 3 2 3012 0321 1302 0132 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 -14 14 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.929363475037 0.590816127737 8 4 6 9 0321 0132 0321 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 -14 1 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.147107066890 1.231512599169 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0101_3'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0011_6']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_0'], 'c_1001_8' : negation(d['c_0011_6']), 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_3'], 'c_1100_8' : d['c_0101_3'], 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : negation(d['c_1001_5']), 'c_1100_7' : negation(d['c_0101_1']), 'c_1100_6' : d['c_0101_3'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : negation(d['c_1001_5']), 'c_1100_3' : negation(d['c_1001_5']), 'c_1100_2' : d['c_0101_3'], 'c_1100_10' : d['c_0101_0'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0011_0']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], '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' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0011_10'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : negation(d['c_0101_10']), 'c_0101_5' : negation(d['c_0101_3']), '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' : negation(d['c_0011_3']), 'c_0101_8' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_10']), 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 165741965599436020709533945023102141613535427/254458721800414938453\ 95422489112045396308882*c_1001_5^15 + 447101402953400209450513071571242444362279530/127229360900207469226\ 97711244556022698154441*c_1001_5^14 - 5097441779054534757914942244236562174011285677/12722936090020746922\ 697711244556022698154441*c_1001_5^13 + 5196703182611761777759549238875630962062894647/38168808270062240768\ 093133733668068094463323*c_1001_5^12 - 2146021133972598188821847502720518080288784770/72016619377475925977\ 5342145918265435744591*c_1001_5^11 + 63466441591846951254869024500270620237042800095/3816880827006224076\ 8093133733668068094463323*c_1001_5^10 - 241987338046907018974367327314672679625213518329/381688082700622407\ 68093133733668068094463323*c_1001_5^9 + 80288852690717787356146717357822079817267357029/3816880827006224076\ 8093133733668068094463323*c_1001_5^8 - 444472780941070124835760002959453649145469368985/763376165401244815\ 36186267467336136188926646*c_1001_5^7 - 23297406504616414707032128255743579897583908644/3816880827006224076\ 8093133733668068094463323*c_1001_5^6 - 80371614858147054889658219569323122251083582387/2544587218004149384\ 5395422489112045396308882*c_1001_5^5 + 323133588238743168404217635932546768856336312717/763376165401244815\ 36186267467336136188926646*c_1001_5^4 + 8738013183158116196721330830016481410157645105/12722936090020746922\ 697711244556022698154441*c_1001_5^3 - 14415507200017995533476729918779885809022987139/2544587218004149384\ 5395422489112045396308882*c_1001_5^2 - 108932265453246873707889738746064504209986857931/763376165401244815\ 36186267467336136188926646*c_1001_5 - 59257610325534996981174483481883601546148027669/7633761654012448153\ 6186267467336136188926646, c_0011_0 - 1, c_0011_10 + 1074665940851542236213773800232348084/710433258138265028879\ 69038760803535143*c_1001_5^15 - 54008220123426296904285179458943492\ 31/71043325813826502887969038760803535143*c_1001_5^14 + 191047248143715431700294358191029939351/213129977441479508663907116\ 282410605429*c_1001_5^13 + 10434362507440361725375051814965018643/2\ 13129977441479508663907116282410605429*c_1001_5^12 + 466159119102086155805952541687302429821/710433258138265028879690387\ 60803535143*c_1001_5^11 - 257979248174903095212016427825316022244/2\ 13129977441479508663907116282410605429*c_1001_5^10 + 815673967030357980751423209225969079902/710433258138265028879690387\ 60803535143*c_1001_5^9 + 351195374622785315712770518407121520501/21\ 3129977441479508663907116282410605429*c_1001_5^8 + 550520633553848100211645016923016751745/710433258138265028879690387\ 60803535143*c_1001_5^7 + 1698378943103219475640091021044622550737/2\ 13129977441479508663907116282410605429*c_1001_5^6 + 294520036480774766766918309085195061362/710433258138265028879690387\ 60803535143*c_1001_5^5 - 528613080361108979080558147663999825318/71\ 043325813826502887969038760803535143*c_1001_5^4 - 481711345370216409180064327309278625248/710433258138265028879690387\ 60803535143*c_1001_5^3 + 724984413471286848452926794710038084753/21\ 3129977441479508663907116282410605429*c_1001_5^2 + 983084652068244798144142762589593314122/213129977441479508663907116\ 282410605429*c_1001_5 + 492454450021828313549930633193839911514/213\ 129977441479508663907116282410605429, c_0011_3 - 198495230903490716239775141921332266/71043325813826502887969\ 038760803535143*c_1001_5^15 + 1114660970806526301734877269668047783\ /71043325813826502887969038760803535143*c_1001_5^14 - 12601585963174876537071769587296338599/7104332581382650288796903876\ 0803535143*c_1001_5^13 + 7729579569124742138823682213410874457/7104\ 3325813826502887969038760803535143*c_1001_5^12 - 101465067326310094854294610591403945292/710433258138265028879690387\ 60803535143*c_1001_5^11 + 76139408657620744121323922040651604960/71\ 043325813826502887969038760803535143*c_1001_5^10 - 269083282810226096862414189750476531945/710433258138265028879690387\ 60803535143*c_1001_5^9 + 157914077421487477046283183351497399865/71\ 043325813826502887969038760803535143*c_1001_5^8 - 304818302039329143455217733263458828391/710433258138265028879690387\ 60803535143*c_1001_5^7 + 32484677883524945430044302074339450714/710\ 43325813826502887969038760803535143*c_1001_5^6 - 123902120441512503339285907449654494161/710433258138265028879690387\ 60803535143*c_1001_5^5 + 65405291175104867985808544827135429841/710\ 43325813826502887969038760803535143*c_1001_5^4 + 14724231682793604291942422092482650136/7104332581382650288796903876\ 0803535143*c_1001_5^3 + 63715193103323941214946930735495597691/7104\ 3325813826502887969038760803535143*c_1001_5^2 - 37773413198978760397012068224457924086/7104332581382650288796903876\ 0803535143*c_1001_5 - 86905945653088090642298911835564836818/710433\ 25813826502887969038760803535143, c_0011_6 - 656698497016564521558783802360870556/71043325813826502887969\ 038760803535143*c_1001_5^15 + 3730726032126671371674119328864813027\ /71043325813826502887969038760803535143*c_1001_5^14 - 124358623824935695232330746526525357780/213129977441479508663907116\ 282410605429*c_1001_5^13 + 76057500368420617687370303539214818375/2\ 13129977441479508663907116282410605429*c_1001_5^12 - 306215138336713740823561498501841145918/710433258138265028879690387\ 60803535143*c_1001_5^11 + 731049149107642934740073270076626232674/2\ 13129977441479508663907116282410605429*c_1001_5^10 - 701164869284695718750521141262882597880/710433258138265028879690387\ 60803535143*c_1001_5^9 + 984697623426986553630436065718514741086/21\ 3129977441479508663907116282410605429*c_1001_5^8 - 624094024074153232982084366381969457801/710433258138265028879690387\ 60803535143*c_1001_5^7 - 158658002369195897721712399627193128397/21\ 3129977441479508663907116282410605429*c_1001_5^6 - 240245493402831968552781257524031449032/710433258138265028879690387\ 60803535143*c_1001_5^5 + 366076079478428809298892477139513204706/71\ 043325813826502887969038760803535143*c_1001_5^4 - 47799565046954725297928829499196372151/7104332581382650288796903876\ 0803535143*c_1001_5^3 - 391967600631360424431642185508692226613/213\ 129977441479508663907116282410605429*c_1001_5^2 - 51694250483334867692748291265477728326/2131299774414795086639071162\ 82410605429*c_1001_5 - 133849535932051004001093279764132707244/2131\ 29977441479508663907116282410605429, c_0101_0 + 654365694092996813397198934013945193/71043325813826502887969\ 038760803535143*c_1001_5^15 - 3725403577122831875337531473735494827\ /71043325813826502887969038760803535143*c_1001_5^14 + 41204081318932705590895990338002226775/7104332581382650288796903876\ 0803535143*c_1001_5^13 - 25000171812058943769653097662349232839/710\ 43325813826502887969038760803535143*c_1001_5^12 + 296553007964820578572107045264874493353/710433258138265028879690387\ 60803535143*c_1001_5^11 - 245108607274527177129749480549099971328/7\ 1043325813826502887969038760803535143*c_1001_5^10 + 634369102094091017884571491876668838256/710433258138265028879690387\ 60803535143*c_1001_5^9 - 311761960699265602126634480385997942757/71\ 043325813826502887969038760803535143*c_1001_5^8 + 487889149811015844506711652212705917217/710433258138265028879690387\ 60803535143*c_1001_5^7 + 64819076688349129030204661088204622172/710\ 43325813826502887969038760803535143*c_1001_5^6 + 139712282875040888338111512640256409212/710433258138265028879690387\ 60803535143*c_1001_5^5 - 417909359255296524082937469087259602436/71\ 043325813826502887969038760803535143*c_1001_5^4 + 20851521536148072086725005170633858319/7104332581382650288796903876\ 0803535143*c_1001_5^3 + 146758009801057488977850138588330369829/710\ 43325813826502887969038760803535143*c_1001_5^2 + 63742374627344661775099294303036505717/7104332581382650288796903876\ 0803535143*c_1001_5 + 75074707067329133173366751218749409142/710433\ 25813826502887969038760803535143, c_0101_1 - 610186445692109185701045078792437645/71043325813826502887969\ 038760803535143*c_1001_5^15 + 3505182259136561580291262289514771474\ /71043325813826502887969038760803535143*c_1001_5^14 - 115415802150957287919371176521055205774/213129977441479508663907116\ 282410605429*c_1001_5^13 + 73628715788649992001553277282096069557/2\ 13129977441479508663907116282410605429*c_1001_5^12 - 269569731578910913656558930672933253886/710433258138265028879690387\ 60803535143*c_1001_5^11 + 711400933578591977444212136017734721796/2\ 13129977441479508663907116282410605429*c_1001_5^10 - 543391152483318381914555213282539225491/710433258138265028879690387\ 60803535143*c_1001_5^9 + 798825089793542321258100154020660234268/21\ 3129977441479508663907116282410605429*c_1001_5^8 - 337602784426931558199088882959171850602/710433258138265028879690387\ 60803535143*c_1001_5^7 - 361996101786276270731524074345252593654/21\ 3129977441479508663907116282410605429*c_1001_5^6 - 26421501575450824967472694668271641337/7104332581382650288796903876\ 0803535143*c_1001_5^5 + 419844704663924531764796436907464721031/710\ 43325813826502887969038760803535143*c_1001_5^4 - 76935216558920474128536223172441581812/7104332581382650288796903876\ 0803535143*c_1001_5^3 - 696275479373119574210142021333288687040/213\ 129977441479508663907116282410605429*c_1001_5^2 - 192735252241512144612974337488146306127/213129977441479508663907116\ 282410605429*c_1001_5 - 27581923800453829244548739483833569728/2131\ 29977441479508663907116282410605429, c_0101_10 - 342419706076193052579218668348318115/7104332581382650288796\ 9038760803535143*c_1001_5^15 + 192791786067495287966439527561286826\ 2/71043325813826502887969038760803535143*c_1001_5^14 - 64353667494972933931807616764953371027/2131299774414795086639071162\ 82410605429*c_1001_5^13 + 35439844215916078452490242141167970118/21\ 3129977441479508663907116282410605429*c_1001_5^12 - 155175245072385178408633817318027113560/710433258138265028879690387\ 60803535143*c_1001_5^11 + 358954450565020602569773104865944807800/2\ 13129977441479508663907116282410605429*c_1001_5^10 - 326268824961073749970357201025169535702/710433258138265028879690387\ 60803535143*c_1001_5^9 + 444658495895014574692191113644916781289/21\ 3129977441479508663907116282410605429*c_1001_5^8 - 232288345605765510007738419563208104868/710433258138265028879690387\ 60803535143*c_1001_5^7 - 207182151705367415186341452451301319224/21\ 3129977441479508663907116282410605429*c_1001_5^6 + 16003245607533953588771409072408482557/7104332581382650288796903876\ 0803535143*c_1001_5^5 + 176462738026545482237271459298557685114/710\ 43325813826502887969038760803535143*c_1001_5^4 + 107667842989723824382536404429883659807/710433258138265028879690387\ 60803535143*c_1001_5^3 - 134281759625654808888672040194459530182/21\ 3129977441479508663907116282410605429*c_1001_5^2 - 73604076507103592908885444147414485461/2131299774414795086639071162\ 82410605429*c_1001_5 - 126204850145786229849669781999859852132/2131\ 29977441479508663907116282410605429, c_0101_2 - 677755956333628599877489392191164858/71043325813826502887969\ 038760803535143*c_1001_5^15 + 3669765381824673196049470423082258517\ /71043325813826502887969038760803535143*c_1001_5^14 - 125215758682358481545818033508264915350/213129977441479508663907116\ 282410605429*c_1001_5^13 + 44050132180718390111260791189747998540/2\ 13129977441479508663907116282410605429*c_1001_5^12 - 307975056304636401250496518928018963833/710433258138265028879690387\ 60803535143*c_1001_5^11 + 501871212164823874051915706625384166546/2\ 13129977441479508663907116282410605429*c_1001_5^10 - 644450966593369487746854879157618533350/710433258138265028879690387\ 60803535143*c_1001_5^9 + 437630117824254703089258622297451377025/21\ 3129977441479508663907116282410605429*c_1001_5^8 - 503425612650811820672055013563839228491/710433258138265028879690387\ 60803535143*c_1001_5^7 - 701247096081766437909688218096723217882/21\ 3129977441479508663907116282410605429*c_1001_5^6 - 167771894755111964319755489348650779708/710433258138265028879690387\ 60803535143*c_1001_5^5 + 298012415551542106375570029320193795188/71\ 043325813826502887969038760803535143*c_1001_5^4 + 122187503819124295161300768985303670350/710433258138265028879690387\ 60803535143*c_1001_5^3 - 214163707905722320760955658932521901257/21\ 3129977441479508663907116282410605429*c_1001_5^2 - 145430174221020517304940498937120914706/213129977441479508663907116\ 282410605429*c_1001_5 - 320059628044680025502213348006377583527/213\ 129977441479508663907116282410605429, c_0101_3 - 828315988310242135037568507509262590/71043325813826502887969\ 038760803535143*c_1001_5^15 + 4532900156617373546708879324323107363\ /71043325813826502887969038760803535143*c_1001_5^14 - 153545031470114206750930908681131032604/213129977441479508663907116\ 282410605429*c_1001_5^13 + 61508191643963050844665929184123114306/2\ 13129977441479508663907116282410605429*c_1001_5^12 - 372470910200260540318584688941195051351/710433258138265028879690387\ 60803535143*c_1001_5^11 + 689110401998794192613929547192867124659/2\ 13129977441479508663907116282410605429*c_1001_5^10 - 762830545117425173564090031162621655728/710433258138265028879690387\ 60803535143*c_1001_5^9 + 730083214140820113061885523510108486656/21\ 3129977441479508663907116282410605429*c_1001_5^8 - 583215952454717701658333437564345685878/710433258138265028879690387\ 60803535143*c_1001_5^7 - 514229895991635576901998350180465551496/21\ 3129977441479508663907116282410605429*c_1001_5^6 - 225647832535126235424870052566294781947/710433258138265028879690387\ 60803535143*c_1001_5^5 + 521729786938094601100076085977638280175/71\ 043325813826502887969038760803535143*c_1001_5^4 + 93185015172550622300843696645807380286/7104332581382650288796903876\ 0803535143*c_1001_5^3 - 449592489136471255431793776996452809657/213\ 129977441479508663907116282410605429*c_1001_5^2 - 213689077000703357440539285148121799227/213129977441479508663907116\ 282410605429*c_1001_5 - 241992606631736878791626504368389196844/213\ 129977441479508663907116282410605429, c_1001_2 - 698350001864170696534466958561779596/71043325813826502887969\ 038760803535143*c_1001_5^15 + 3796687331144205453194203189701281922\ /71043325813826502887969038760803535143*c_1001_5^14 - 128562869551263064736604387667799082112/213129977441479508663907116\ 282410605429*c_1001_5^13 + 44343313551860711634270391634032183112/2\ 13129977441479508663907116282410605429*c_1001_5^12 - 303176940055436763941282774454166612713/710433258138265028879690387\ 60803535143*c_1001_5^11 + 521321287279325388492916385305450174714/2\ 13129977441479508663907116282410605429*c_1001_5^10 - 568970585755631846530135068419528274681/710433258138265028879690387\ 60803535143*c_1001_5^9 + 286328237395954208293797542645415741446/21\ 3129977441479508663907116282410605429*c_1001_5^8 - 359612600640530610152572009036487836716/710433258138265028879690387\ 60803535143*c_1001_5^7 - 877921712677623117601802898074520299869/21\ 3129977441479508663907116282410605429*c_1001_5^6 - 105304180142200262925501894727596377545/710433258138265028879690387\ 60803535143*c_1001_5^5 + 375253342534665593567643188117799541417/71\ 043325813826502887969038760803535143*c_1001_5^4 + 43609641020194315945663805853779422635/7104332581382650288796903876\ 0803535143*c_1001_5^3 - 849821944965006836977544328150337621610/213\ 129977441479508663907116282410605429*c_1001_5^2 - 208753144756398101732870259763159164715/213129977441479508663907116\ 282410605429*c_1001_5 + 35021521872556910238963298327921114508/2131\ 29977441479508663907116282410605429, c_1001_5^16 - 5*c_1001_5^15 + 178/3*c_1001_5^14 + 11/3*c_1001_5^13 + 1339/3*c_1001_5^12 - 217/3*c_1001_5^11 + 2552/3*c_1001_5^10 + 247/3*c_1001_5^9 + 2137/3*c_1001_5^8 + 1453/3*c_1001_5^7 + 1390/3*c_1001_5^6 - 438*c_1001_5^5 - 395*c_1001_5^4 + 263/3*c_1001_5^3 + 239*c_1001_5^2 + 629/3*c_1001_5 + 109/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.380 Total time: 0.580 seconds, Total memory usage: 32.09MB