Magma V2.19-8 Tue Aug 20 2013 16:17:41 on localhost [Seed = 2665415281] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1926 geometric_solution 5.52402536 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.234822648989 0.213975939782 2 0 3 0 0132 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.438527727730 1.906122107948 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 -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 -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.129597056387 0.897778377349 5 4 2 1 3201 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 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 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.129597056387 0.897778377349 4 3 4 2 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.511331677185 0.507605460496 6 6 2 3 0132 2310 0132 2310 0 0 0 0 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 -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.805817884213 1.439378707449 5 6 6 5 0132 3201 2310 3201 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.671692459736 0.393750900579 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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_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_0_6' : 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_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 18353874430612555367086237590342042919566878280417876477/9399813494\ 49170227665386550116702050103919478038986017*c_0101_3^30 - 283382824438355537869366484111109870813324650088065508/939981349449\ 170227665386550116702050103919478038986017*c_0101_3^29 + 200143821154594974343664914670696701193097064816211936821/939981349\ 449170227665386550116702050103919478038986017*c_0101_3^28 - 106993454888470848200505988796954049300991499484659972598/939981349\ 449170227665386550116702050103919478038986017*c_0101_3^27 - 147821742605514913010662147226661721120158750405828740142/939981349\ 449170227665386550116702050103919478038986017*c_0101_3^26 + 463926689639967712724420973746413339363183628172294979688/939981349\ 449170227665386550116702050103919478038986017*c_0101_3^25 - 1713288426209033280763447025870592852012291911095184038244/93998134\ 9449170227665386550116702050103919478038986017*c_0101_3^24 + 1285654467403293611776003283355930112665039661585420170469/93998134\ 9449170227665386550116702050103919478038986017*c_0101_3^23 - 641203766214989585366052193484395212712123083854574888156/939981349\ 449170227665386550116702050103919478038986017*c_0101_3^22 + 1475753515233854212714313937345870772260878541646204000032/93998134\ 9449170227665386550116702050103919478038986017*c_0101_3^21 + 1115796156430677007298530104754116478986714074395461207823/93998134\ 9449170227665386550116702050103919478038986017*c_0101_3^20 - 564908941698861530370294343267645477973995458264228685029/939981349\ 449170227665386550116702050103919478038986017*c_0101_3^19 - 4983966075036623001191870727668732450048644224539399031983/93998134\ 9449170227665386550116702050103919478038986017*c_0101_3^18 + 3995010031443822448145226397206451169736920791628790949897/93998134\ 9449170227665386550116702050103919478038986017*c_0101_3^17 - 8627485271498149302492469769769791931054804126956089219215/93998134\ 9449170227665386550116702050103919478038986017*c_0101_3^16 + 20771285925893997492750952889465538357989919383136876322601/9399813\ 49449170227665386550116702050103919478038986017*c_0101_3^15 - 4489514771160660891678640652165324583549743852322055615711/93998134\ 9449170227665386550116702050103919478038986017*c_0101_3^14 + 1615921174728093611626530180085109647291869963804523310531/93998134\ 9449170227665386550116702050103919478038986017*c_0101_3^13 - 16747117819581868103775894003754211787831356888818901124231/9399813\ 49449170227665386550116702050103919478038986017*c_0101_3^12 - 20472900507682559535312434469557933989640965374461389327013/9399813\ 49449170227665386550116702050103919478038986017*c_0101_3^11 + 2031699205582698789883770017034645520363577819493374395940/93998134\ 9449170227665386550116702050103919478038986017*c_0101_3^10 + 536845343627803954276641078785326645185432642736934984542/939981349\ 449170227665386550116702050103919478038986017*c_0101_3^9 + 21366586873660779568232588332009816430684338855182895821412/9399813\ 49449170227665386550116702050103919478038986017*c_0101_3^8 + 10700132608883301955460634597181618517829893747690141027483/9399813\ 49449170227665386550116702050103919478038986017*c_0101_3^7 + 3082803917128770660490712902357983743376786231549744734985/93998134\ 9449170227665386550116702050103919478038986017*c_0101_3^6 - 923998624257476167162467537939757240917713880520759945063/939981349\ 449170227665386550116702050103919478038986017*c_0101_3^5 + 1037482612929911006279473813475297949208547233872535030555/93998134\ 9449170227665386550116702050103919478038986017*c_0101_3^4 + 1321390958924687202394204827421088088346597144347489537524/93998134\ 9449170227665386550116702050103919478038986017*c_0101_3^3 + 13676991849129207396477442001767552955060636286797511671/9399813494\ 49170227665386550116702050103919478038986017*c_0101_3^2 - 218312847891770159539226800112622810929401729076732431458/939981349\ 449170227665386550116702050103919478038986017*c_0101_3 - 99981502555110822518654264105709090215151551612514951855/9399813494\ 49170227665386550116702050103919478038986017, c_0011_0 - 1, c_0011_1 + 290445500323149700730502965309964441981867048489535/10561588\ 196058092445678500563109011798920443573471753*c_0101_3^30 + 89018770283805811077546639710709036870656888089926/1056158819605809\ 2445678500563109011798920443573471753*c_0101_3^29 - 3116030429694633777377142084918839502847566707937127/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^28 + 845042327724553937307564937623599839931860385816074/105615881960580\ 92445678500563109011798920443573471753*c_0101_3^27 + 2270931970692734382419500682610150146261945294053738/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^26 - 7152415015184129069460195478582637175715737458323322/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^25 + 25996490755498954469282997538275900182728025023223857/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^24 - 13388550455239905270385651849534632225210782399268283/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^23 + 7016278706245368854308049493599153425946887893183845/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^22 - 16419692448583001605309894621256850068236953262864718/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^21 - 29930303349942677570656220461308744343891951709505689/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^20 + 4742665493721721183366054112713453899574594577824783/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^19 + 71102376696149061946768460031356084416368013703833288/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^18 - 41827616470855800371178085989614070821263781196537790/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^17 + 133699833546307522639166610511238975257789956268075190/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^16 - 279589764829330042944836693486772928206177377295762027/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^15 - 23088127393227087415334411243942334303265247347693673/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^14 - 17187048995119687881866623986783320739274146712662426/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^13 + 173520244499792112214582304577273631494234841391126744/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^12 + 439408347296234861615112426475891046233414443213626316/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^11 + 82751331611591792366644888915623959176473479875502984/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^10 + 112341670458041408470439238964744388646470082602582897/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^9 - 282701734043410304823144764984224658199323710141599511/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^8 - 272329259891658094075669394612367776525607843885246164/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^7 - 164090040219584069562496122720753281902136431812941013/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^6 - 109070545132448365597472893139992391666345370386059712/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^5 - 57907818048236588859926182446396928782799996898027137/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^4 - 37593986080544384546487322746163691493207928596161280/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^3 - 7820762678858743807738121574760654212905351915986605/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^2 - 7504687141979119722938825163059045166471039986267539/10561588196058\ 092445678500563109011798920443573471753*c_0101_3 + 5526705847175761853144322383216693957677491452963823/10561588196058\ 092445678500563109011798920443573471753, c_0011_3 + 2072971339972534404344682029046673814090472012485869/1056158\ 8196058092445678500563109011798920443573471753*c_0101_3^30 + 492277933226197969725744031398774201041738120681966/105615881960580\ 92445678500563109011798920443573471753*c_0101_3^29 - 22790653023914452583309520196610782855679867991119168/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^28 + 7142179950574820464249944402438117394027162604982562/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^27 + 21481941231330472956603478310435885372743378667978589/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^26 - 50676480357045345950508192292494318871422979095723754/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^25 + 180764242657346350052281504157948605476561435444993092/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^24 - 96801507993871206136865843069187215522510193861514926/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^23 + 20292542223612323032520829641638014485608443510636411/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^22 - 129827415790041179689862231829033791093910213746116865/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^21 - 175313691262322971584614606081063383379841122292917484/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^20 + 55008849179411452848146464635663366036602506796440145/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^19 + 580813426098013211606103382873066768552219027751681654/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^18 - 334721967312143234887744523249565768082393635735326187/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^17 + 821897382269976051578166733159331477372146045527672119/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^16 - 2065340113850365932008091273928457245103874660420337197/10561588196\ 058092445678500563109011798920443573471753*c_0101_3^15 - 121525910760028372860887519755619351715960125512375336/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^14 + 186447779493748517011510912539332543743997535351811428/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^13 + 1710990062402890967392768211424571227990159573701910567/10561588196\ 058092445678500563109011798920443573471753*c_0101_3^12 + 2777109915808648841534504197343449705988241439483719539/10561588196\ 058092445678500563109011798920443573471753*c_0101_3^11 + 83475945549017842551654927713812001120783917166583933/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^10 - 235622898797380213840324179198672906380018965544839302/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^9 - 2335629870414066649378809020253323898313241745460119779/10561588196\ 058092445678500563109011798920443573471753*c_0101_3^8 - 1730976597042073176140143359436224142797075823495002453/10561588196\ 058092445678500563109011798920443573471753*c_0101_3^7 - 391071141938604887319481213944472252034772887595560369/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^6 + 49460700874697801288517791785546275030350125565036093/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^5 - 99192689348831635235671097523971031322480834831095872/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^4 - 201723095545880880753297667159510379869950598732743475/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^3 - 18880471068344996182356921186911948870328593305103139/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^2 + 20707539370466214923964147584123673531403609444000832/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3 + 5874930072035987039890844395092326625824651100984177/10561588196058\ 092445678500563109011798920443573471753, c_0011_5 - 844597543128162764801133553755751915359436010636798/10561588\ 196058092445678500563109011798920443573471753*c_0101_3^30 - 24546273287027839273480757400858643924818156261686/1056158819605809\ 2445678500563109011798920443573471753*c_0101_3^29 + 9040604349939049135019186720545050316329737830066284/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^28 - 4790848743084263927323529705436088595046070188940805/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^27 - 4975612310138907388524468302520688703150585087483128/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^26 + 20118215897046524604969811272924704048963159679095142/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^25 - 80354412159974902566651672362004158219069358192120313/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^24 + 63206484915635786401330325328723691606410351858487190/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^23 - 44829149409012962147318405496642856966004437283800547/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^22 + 78809492118953966486091092944222641588829537266063184/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^21 + 51287042118835596391366742728431997346968147060877007/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^20 - 19054367180184064912488512521284773320902780863598700/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^19 - 213795678386159870959202975610100353663990608541253902/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^18 + 168055630533635823135247030542712071241282693770966106/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^17 - 438023774492780646019450906605444475577184259111224831/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^16 + 991404849997564729668174651648272369147715605822472127/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^15 - 264411074662409445580365811705412401874285342630984836/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^14 + 246201496797325035874915217545287865175579400226463800/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^13 - 785328607520704637751588321829409661703426559421422797/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^12 - 1012753208191736786384316754818279127067962444837272973/10561588196\ 058092445678500563109011798920443573471753*c_0101_3^11 - 3474746546367308778350795816409095384558311057974412/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^10 - 195202611942439389581046384759881811579846706345942589/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^9 + 1069305287669635419069005401936548279672494457146005397/10561588196\ 058092445678500563109011798920443573471753*c_0101_3^8 + 512420893823876172430209137791197198712961030062751061/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^7 + 319626913604714639587966887749843213744543469438222685/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^6 + 72191528791408261143967684575799934388109005287795227/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^5 + 12162900313365748313713388399385141308527519588692890/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^4 + 68270560950807979875635731858637697851555011213226183/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^3 + 7644783445618197326399818679840925385172372573420374/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^2 + 4146802222922947772969693390026971541364555130800745/10561588196058\ 092445678500563109011798920443573471753*c_0101_3 - 5298724733939400656699340456643619630524122919077239/10561588196058\ 092445678500563109011798920443573471753, c_0101_0 + 35901990488420170931632361412463984339722704190812/105615881\ 96058092445678500563109011798920443573471753*c_0101_3^30 - 109474552946178636821914408256097458326617912710308/105615881960580\ 92445678500563109011798920443573471753*c_0101_3^29 - 385216987616335949226502782634414711775899032118806/105615881960580\ 92445678500563109011798920443573471753*c_0101_3^28 + 1337348865157821756517375911631264346406403506421726/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^27 - 434726181743341573507514120657121831614149066854030/105615881960580\ 92445678500563109011798920443573471753*c_0101_3^26 - 968476515803656580749347878062735319020505663250612/105615881960580\ 92445678500563109011798920443573471753*c_0101_3^25 + 5714929668166460723099495775447131534129080407206985/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^24 - 13473065226709309768957616813042829772853197322444669/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^23 + 11528581006462081708676013158817880034989921328178701/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^22 - 14202229570906349058277552611577814096541841049600327/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^21 + 12834422668058500521573642897506478847004846105089555/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^20 + 3664084618431811666002299272874994755343584213229434/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^19 + 11912744032881842972815053836573314397352057537135034/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^18 - 33086854069695576383334006722980791169384844344851005/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^17 + 39521537177593913112597236211246937335419681740500516/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^16 - 112459246615321696727286936457002010047387550289670626/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^15 + 154498811061041984150119810255118986549894877709948957/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^14 - 75124959267697922798230391795031025130919332516145060/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^13 + 129581422480242638433883472593601558382671799088695506/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^12 - 86580732012156327301852255346003442419874409768962301/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^11 - 111646418533197868581394580714280766331120532711307312/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^10 - 42116557909930410777451836112696867664731723392334684/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^9 - 118422117506048822301908452757088432636205649620091168/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^8 + 127975546382185495901464976604583646032072142594444378/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^7 + 42490056593210359837682861098431700883495698744478080/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^6 + 96735121648365007456397141139703549213551783400962831/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^5 + 12966174966922746231035464103351527273984690321721477/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^4 + 16924943107172008009419076347549851299686952135103925/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^3 + 1485920281031061094082658769962945348105712292140463/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^2 + 6413082284671652269431319372350487241301238042872374/10561588196058\ 092445678500563109011798920443573471753*c_0101_3 + 7231578072571417959504703058496433585006282945133794/10561588196058\ 092445678500563109011798920443573471753, c_0101_1 - 68231163734214279404814471238772656742218363150005/105615881\ 96058092445678500563109011798920443573471753*c_0101_3^30 + 82969858538950269667362953264937387774692210732490/1056158819605809\ 2445678500563109011798920443573471753*c_0101_3^29 + 697638832597919976589529916119152189729051811522909/105615881960580\ 92445678500563109011798920443573471753*c_0101_3^28 - 1436091233308618793431935797061263840773118534170903/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^27 + 477908687848897489324751566923857709190242264984029/105615881960580\ 92445678500563109011798920443573471753*c_0101_3^26 + 3431729656667495119278388575304174017605473968339076/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^25 - 9798095881383919879122056369487464083029478176259241/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^24 + 13142644986474885327319324792958958248729632456366361/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^23 - 9564442524423129411932624336574280201384909979994008/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^22 - 337991679796485724129760208855679319173549837199244/105615881960580\ 92445678500563109011798920443573471753*c_0101_3^21 + 6488785013575779454057686178163912236628404756593723/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^20 - 10158193027127623330150626671222327496548719749269172/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^19 - 2090227102170154552100726729238610874706324276996565/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^18 + 42786724986766845300778004528457305718973950573030279/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^17 - 68087735062827226114573190205966559788533985960279179/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^16 + 96043720045932190363753307988471816009221539050927036/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^15 - 103680131105127812669102813921591300662488539141508070/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^14 + 14083212460104077932075775154013386873354625650373924/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^13 + 69252951945704087529097963422808976105424056720075589/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^12 - 49135619973919880125404694743895388365026425272311872/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^11 + 84194052018311385804498019226810346398579888588078146/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^10 - 167996611668492522369918608348941407630600153719060888/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^9 - 49708529803283844670506825259113723047962199496165103/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^8 - 31694473239416148321893134945191975246155921161144680/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^7 + 6438190617211792818459491646130624473661363531824436/10561588196058\ 092445678500563109011798920443573471753*c_0101_3^6 + 160598692090591699054778698381165949598213431227624644/105615881960\ 58092445678500563109011798920443573471753*c_0101_3^5 + 73024049537389632184527271866781697441171042035342884/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^4 + 17161145914781538247588094301691497946657904569401606/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^3 - 12659967888233252035968505316204826259354757086444167/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3^2 + 13282889591795921916841668532869883484054702046638875/1056158819605\ 8092445678500563109011798920443573471753*c_0101_3 + 3547767894650419582234521980009165090587411533627049/10561588196058\ 092445678500563109011798920443573471753, c_0101_3^31 - 11*c_0101_3^29 + 6*c_0101_3^28 + 9*c_0101_3^27 - 26*c_0101_3^26 + 93*c_0101_3^25 - 69*c_0101_3^24 + 27*c_0101_3^23 - 74*c_0101_3^22 - 63*c_0101_3^21 + 39*c_0101_3^20 + 277*c_0101_3^19 - 225*c_0101_3^18 + 448*c_0101_3^17 - 1117*c_0101_3^16 + 216*c_0101_3^15 + 16*c_0101_3^14 + 888*c_0101_3^13 + 1109*c_0101_3^12 - 209*c_0101_3^11 - 132*c_0101_3^10 - 1152*c_0101_3^9 - 567*c_0101_3^8 - 53*c_0101_3^7 + 109*c_0101_3^6 - 40*c_0101_3^5 - 71*c_0101_3^4 + 7*c_0101_3^3 + 15*c_0101_3^2 + 3*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB