Magma V2.19-8 Tue Aug 20 2013 16:17:28 on localhost [Seed = 1781266096] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1707 geometric_solution 5.41761661 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 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.530730532796 0.127114960546 2 0 2 0 0132 2310 1023 0132 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 1 -1 -1 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.687296570102 0.299684329323 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 -1 1 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 1 -1 0 1 0 -1 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 1.350332598901 1.367538413932 5 2 4 6 0132 0132 3012 0132 0 0 0 0 0 1 -1 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 -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.709335309268 0.883726932574 6 3 2 5 3201 1230 0132 0132 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 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.709335309268 0.883726932574 3 5 4 5 0132 1302 0132 2031 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 0 0 0 0 0 0 0 0.527493332335 0.361178288896 6 6 3 4 1230 3012 0132 2310 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 0 0 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.263727102176 1.031340747713 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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' : d['c_0011_4'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_4']), '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_4, c_0011_6, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 1447131170464990751065546127421468852889984072791474251942662531974\ 71713/1148201713941248760775990903763641530268347153998047715310785\ 725034173*c_0101_5^31 - 1260396765867022063159256288218551012815113\ 811323495167170768002079273098/114820171394124876077599090376364153\ 0268347153998047715310785725034173*c_0101_5^30 - 3515783271321898627537425281639846396221249903539927896376062866069\ 43929/1148201713941248760775990903763641530268347153998047715310785\ 725034173*c_0101_5^29 + 3921374791176290437083371008794532989379829\ 8829783074914457063695481955989/11482017139412487607759909037636415\ 30268347153998047715310785725034173*c_0101_5^28 - 1026572205224402679037484636250716582158589596414225043113424337985\ 72875026/1148201713941248760775990903763641530268347153998047715310\ 785725034173*c_0101_5^27 - 3677982494549230855977122600826998000504\ 30552248550032733140752811499910280/1148201713941248760775990903763\ 641530268347153998047715310785725034173*c_0101_5^26 + 1706304126300008039313400983509997774968810618135407446549727788259\ 984812935/114820171394124876077599090376364153026834715399804771531\ 0785725034173*c_0101_5^25 + 120844348492034724165431585112320200653\ 5750945512398959560051714910878399827/11482017139412487607759909037\ 63641530268347153998047715310785725034173*c_0101_5^24 - 1245146329510202534311008420823418524631982179808383761663222857136\ 8126109287/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^23 + 19343389720092665426498968204768250455\ 87398516861345247228318521538084480114/1148201713941248760775990903\ 763641530268347153998047715310785725034173*c_0101_5^22 + 5191823671206315276190514249186077039036242118367504175263089035408\ 8731972150/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^21 - 28513570446896149491403172971407396373\ 570371335753534289350158534998793219170/114820171394124876077599090\ 3763641530268347153998047715310785725034173*c_0101_5^20 - 1363630370675178381621546081482411801791199385250121933624797815901\ 24201469847/1148201713941248760775990903763641530268347153998047715\ 310785725034173*c_0101_5^19 + 1019992552013057973040820534089343486\ 82871238358340288747636630950213592256038/1148201713941248760775990\ 903763641530268347153998047715310785725034173*c_0101_5^18 + 2374925094034663957635795193278693289122634000516477596005978019568\ 46389330455/1148201713941248760775990903763641530268347153998047715\ 310785725034173*c_0101_5^17 - 1962075258900675632517760705177923213\ 29883930237633513338256775987819806830324/1148201713941248760775990\ 903763641530268347153998047715310785725034173*c_0101_5^16 - 2852402937379962800306154389071620828595945083379845450697202293213\ 78907091586/1148201713941248760775990903763641530268347153998047715\ 310785725034173*c_0101_5^15 + 2301485588396848373205297891959128151\ 63153227841547275126145556574626970220853/1148201713941248760775990\ 903763641530268347153998047715310785725034173*c_0101_5^14 + 2446900004174756315724174939959300463456114243061742534264858286205\ 44243561782/1148201713941248760775990903763641530268347153998047715\ 310785725034173*c_0101_5^13 - 1746743414617113972230494925213945771\ 33464362930095206286781013562225933018755/1148201713941248760775990\ 903763641530268347153998047715310785725034173*c_0101_5^12 - 1520958924882710605541446446182038666018484992852177628782993360216\ 17467139891/1148201713941248760775990903763641530268347153998047715\ 310785725034173*c_0101_5^11 + 8958343337180508372505531684547883515\ 3546388557400678007024014594684559659249/11482017139412487607759909\ 03763641530268347153998047715310785725034173*c_0101_5^10 + 6739166561325518511600818131716989111303764520864927298560744894684\ 0767596654/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^9 - 312404455553580382007595623248957932585\ 03621710933765363012432703030396857901/1148201713941248760775990903\ 763641530268347153998047715310785725034173*c_0101_5^8 - 2052283252108736838271163874437732823699259529577216513411272454277\ 8356759418/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^7 + 686649164679069972460616098425072275583\ 8057960948506619667995435294750440159/11482017139412487607759909037\ 63641530268347153998047715310785725034173*c_0101_5^6 + 3972227416109560577056037751760065803571856571293474288201590838378\ 250062970/114820171394124876077599090376364153026834715399804771531\ 0785725034173*c_0101_5^5 - 7759592003504265071946076934639882328299\ 32199830397221581601716738901889674/1148201713941248760775990903763\ 641530268347153998047715310785725034173*c_0101_5^4 - 4028421273794236985385704164531594378244021238350882621921880659272\ 54307012/1148201713941248760775990903763641530268347153998047715310\ 785725034173*c_0101_5^3 + 29356991551597647042870863850565909618500\ 645559106977228059568959075619548/114820171394124876077599090376364\ 1530268347153998047715310785725034173*c_0101_5^2 + 1488041629880794428211719753686265398188222720973143735506014211780\ 5902117/11482017139412487607759909037636415302683471539980477153107\ 85725034173*c_0101_5 + 56929307695498599276269959416370069558243179\ 5055228287579189435833729306/11482017139412487607759909037636415302\ 68347153998047715310785725034173, c_0011_0 - 1, c_0011_1 - 244338555629886607620016188859454186216839645118098116441505\ 42077549005/1148201713941248760775990903763641530268347153998047715\ 310785725034173*c_0101_5^31 + 1855446318041928539214391043712503760\ 94437128201329423331022177776089599/1148201713941248760775990903763\ 641530268347153998047715310785725034173*c_0101_5^30 + 2804764665499395933139109725724151709099327949558081184333055287924\ 08683/1148201713941248760775990903763641530268347153998047715310785\ 725034173*c_0101_5^29 - 6419204976060354678882100614893876449164201\ 953838807256606125311075536652/114820171394124876077599090376364153\ 0268347153998047715310785725034173*c_0101_5^28 + 1004437621734614243803462259215213627847086151068282429938601266332\ 6343978/11482017139412487607759909037636415302683471539980477153107\ 85725034173*c_0101_5^27 + 77032039484767245412084015014939421789678\ 729299799202373819005310317891662/114820171394124876077599090376364\ 1530268347153998047715310785725034173*c_0101_5^26 - 2090910762653835313888188988856979543578146254132898702324969649073\ 52147878/1148201713941248760775990903763641530268347153998047715310\ 785725034173*c_0101_5^25 - 4791628352509000574258338669035687199898\ 78054689638507724741026859396539677/1148201713941248760775990903763\ 641530268347153998047715310785725034173*c_0101_5^24 + 1700297873665518306979526276733963060344524026407097690334737857436\ 217987183/114820171394124876077599090376364153026834715399804771531\ 0785725034173*c_0101_5^23 + 180095685185496353805840740310834793945\ 1796285303013309046038569086646980557/11482017139412487607759909037\ 63641530268347153998047715310785725034173*c_0101_5^22 - 7792976060362981431291869902206927094284935620108471374382700942914\ 682191702/114820171394124876077599090376364153026834715399804771531\ 0785725034173*c_0101_5^21 - 457084572644740664217298407596102726956\ 4173907764712225333240014654467277388/11482017139412487607759909037\ 63641530268347153998047715310785725034173*c_0101_5^20 + 2251550807787954146224129047207728730323493116938173594683255265472\ 4610111662/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^19 + 90215957928802070174883501221227593909\ 26133996103674550266672795872099521921/1148201713941248760775990903\ 763641530268347153998047715310785725034173*c_0101_5^18 - 4285870614174904519594132150917205367659011962930283806941728074592\ 7294606360/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^17 - 15721812412627231634238171879252841268\ 230707305199042887964865513303973046826/114820171394124876077599090\ 3763641530268347153998047715310785725034173*c_0101_5^16 + 5425522409437759200797958184051273042306215880670857072545685449026\ 0593670044/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^15 + 23082213292824534616381451789535859277\ 893729813664511403160044922745501478117/114820171394124876077599090\ 3763641530268347153998047715310785725034173*c_0101_5^14 - 4473504953743978643376235531342219382673543608136298262278632047539\ 6387873138/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^13 - 24105911049028907451845964524508852328\ 532203610893112741525799933814125408157/114820171394124876077599090\ 3763641530268347153998047715310785725034173*c_0101_5^12 + 2264684813963355955138813337528842172907138661010024425028782531567\ 3461705317/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^11 + 15705157828831618599689527481701166761\ 033734197758256366189433433475068610034/114820171394124876077599090\ 3763641530268347153998047715310785725034173*c_0101_5^10 - 6241231042902286009397462226570804162365926301934108023943417215167\ 214223712/114820171394124876077599090376364153026834715399804771531\ 0785725034173*c_0101_5^9 - 5869693208987331852896458106240385159860\ 340328832522927655703250371837805936/114820171394124876077599090376\ 3641530268347153998047715310785725034173*c_0101_5^8 + 6910545485739230533447765683075372241873375588683156622106511313287\ 52936442/1148201713941248760775990903763641530268347153998047715310\ 785725034173*c_0101_5^7 + 11706095461334854782590462537168224618838\ 65244386710551669920765059127709179/1148201713941248760775990903763\ 641530268347153998047715310785725034173*c_0101_5^6 + 1881200969805078916246338828969961974198246992546657975073491285003\ 8928408/11482017139412487607759909037636415302683471539980477153107\ 85725034173*c_0101_5^5 - 117440559772144230945760681793334724143892\ 299689950867077854340114223691837/114820171394124876077599090376364\ 1530268347153998047715310785725034173*c_0101_5^4 - 8781987130142546901023825701314080994666266929689730972812785987986\ 562115/114820171394124876077599090376364153026834715399804771531078\ 5725034173*c_0101_5^3 + 5006701055914985634962205761429025627204728\ 099055384787314818828705737014/114820171394124876077599090376364153\ 0268347153998047715310785725034173*c_0101_5^2 + 4346816848555628329588098709733320301132952095413386715794213556417\ 27958/1148201713941248760775990903763641530268347153998047715310785\ 725034173*c_0101_5 - 4308636358857393128774591432538589061892048880\ 2803949222482770905646662/11482017139412487607759909037636415302683\ 47153998047715310785725034173, c_0011_4 + 903062782433336008026310806124683490279157821335933744978622\ 998560351/114820171394124876077599090376364153026834715399804771531\ 0785725034173*c_0101_5^31 - 698196754924488120848339052078473447752\ 7339895988625833569510690387811/11482017139412487607759909037636415\ 30268347153998047715310785725034173*c_0101_5^30 - 9395780908419408331571719227890862244325264165732200014049585342880\ 871/114820171394124876077599090376364153026834715399804771531078572\ 5034173*c_0101_5^29 + 238398680185473134241723657582241772604805273\ 127199551652003778024120806/114820171394124876077599090376364153026\ 8347153998047715310785725034173*c_0101_5^28 - 4035564763274417329340204176452400103186177999665912977567420565631\ 42173/1148201713941248760775990903763641530268347153998047715310785\ 725034173*c_0101_5^27 - 2788505417244011707225365389778924424236221\ 673722103362563933896693619587/114820171394124876077599090376364153\ 0268347153998047715310785725034173*c_0101_5^26 + 8088088627128693450805136882386884413891932639553941014207429248767\ 042242/114820171394124876077599090376364153026834715399804771531078\ 5725034173*c_0101_5^25 + 166071050024550620094493755635211493043111\ 10524726115441515122754462887865/1148201713941248760775990903763641\ 530268347153998047715310785725034173*c_0101_5^24 - 6483458424835465789842097201459315195567776031186107508430374926631\ 1194965/11482017139412487607759909037636415302683471539980477153107\ 85725034173*c_0101_5^23 - 58188574976360855236775631838692198478686\ 980414621665125654135917403537717/114820171394124876077599090376364\ 1530268347153998047715310785725034173*c_0101_5^22 + 2942979529165065747254872403269728597341348078457816658263464912619\ 88135842/1148201713941248760775990903763641530268347153998047715310\ 785725034173*c_0101_5^21 + 1333106220047033103467032781247409104809\ 86475918525506599654616000664842346/1148201713941248760775990903763\ 641530268347153998047715310785725034173*c_0101_5^20 - 8448265962860256854122952998493141314600624029085424670067129443432\ 95456805/1148201713941248760775990903763641530268347153998047715310\ 785725034173*c_0101_5^19 - 2393633125678827716636122768184443038866\ 73341624633827577547433543873263429/1148201713941248760775990903763\ 641530268347153998047715310785725034173*c_0101_5^18 + 1606165431678792277267540530437736677164517390468346398100241411452\ 551760841/114820171394124876077599090376364153026834715399804771531\ 0785725034173*c_0101_5^17 + 421209205477980028248709820866425359323\ 117531707608994226670096109431042338/114820171394124876077599090376\ 3641530268347153998047715310785725034173*c_0101_5^16 - 2050364959048678182625785632127814952946894573587087554362421083357\ 658122822/114820171394124876077599090376364153026834715399804771531\ 0785725034173*c_0101_5^15 - 679297127636888724334833953041892208951\ 960965913259715541398805138001460043/114820171394124876077599090376\ 3641530268347153998047715310785725034173*c_0101_5^14 + 1732665545783312596993757943455228812628936498809832353616015934797\ 117926688/114820171394124876077599090376364153026834715399804771531\ 0785725034173*c_0101_5^13 + 778323428879186146157030894136131859676\ 631762403264791046086733013418671669/114820171394124876077599090376\ 3641530268347153998047715310785725034173*c_0101_5^12 - 9224370046533810400494567632544996037903911663254500422947979221625\ 59424023/1148201713941248760775990903763641530268347153998047715310\ 785725034173*c_0101_5^11 - 5483145018183313652588799870797744200447\ 80967901480632730519770578966542736/1148201713941248760775990903763\ 641530268347153998047715310785725034173*c_0101_5^10 + 2799991232304717229092693976626321821750104351485774237330244709230\ 82418640/1148201713941248760775990903763641530268347153998047715310\ 785725034173*c_0101_5^9 + 22205563219375216866722950007435706731952\ 4710897039614677645947117184295552/11482017139412487607759909037636\ 41530268347153998047715310785725034173*c_0101_5^8 - 3903935920519872845694903599829608208817258143959940219180134822718\ 2200911/11482017139412487607759909037636415302683471539980477153107\ 85725034173*c_0101_5^7 - 484846239607362051989127296897277621530526\ 45134825223472508422669040631792/1148201713941248760775990903763641\ 530268347153998047715310785725034173*c_0101_5^6 + 6497754279944296471708544723247844042601025119321101682830960643119\ 07536/1148201713941248760775990903763641530268347153998047715310785\ 725034173*c_0101_5^5 + 51894855731631165167510773076841714721038385\ 99324898546861549842562850105/1148201713941248760775990903763641530\ 268347153998047715310785725034173*c_0101_5^4 + 2735346915026358046554574402559269691773408861414480906781033612025\ 83625/1148201713941248760775990903763641530268347153998047715310785\ 725034173*c_0101_5^3 - 21682217832241450583540478757041143271557902\ 1495733017185687034254970824/11482017139412487607759909037636415302\ 68347153998047715310785725034173*c_0101_5^2 - 1399195821502604002702707654931189076695617583185844633308491891887\ 8361/11482017139412487607759909037636415302683471539980477153107857\ 25034173*c_0101_5 + 13248438337715442628796856577055863383264126101\ 45459858240976543884840/1148201713941248760775990903763641530268347\ 153998047715310785725034173, c_0011_6 - 183824939033151261818584623074245936730198813191336674752109\ 17094038934/1148201713941248760775990903763641530268347153998047715\ 310785725034173*c_0101_5^31 + 1415992318957257809821728827620189945\ 07174997600381821600991793895558238/1148201713941248760775990903763\ 641530268347153998047715310785725034173*c_0101_5^30 + 1948266464269372521097155837233251404081901729967832043529985680031\ 20502/1148201713941248760775990903763641530268347153998047715310785\ 725034173*c_0101_5^29 - 4844801181713890288696067751500934579282414\ 653980128025767579279369047146/114820171394124876077599090376364153\ 0268347153998047715310785725034173*c_0101_5^28 + 8091094332365395794411573315795474141517654890166936392742852587545\ 498022/114820171394124876077599090376364153026834715399804771531078\ 5725034173*c_0101_5^27 + 568772451359939735460355765695505551232448\ 99691152827813123105867623257667/1148201713941248760775990903763641\ 530268347153998047715310785725034173*c_0101_5^26 - 1631207737864856959684859034356770696647922367757710366990173347842\ 96228208/1148201713941248760775990903763641530268347153998047715310\ 785725034173*c_0101_5^25 - 3405932894817361223305877665017851881988\ 48903863996855062391801136630486021/1148201713941248760775990903763\ 641530268347153998047715310785725034173*c_0101_5^24 + 1309110526521392847050242193367357303437058732324777093098302037391\ 087751218/114820171394124876077599090376364153026834715399804771531\ 0785725034173*c_0101_5^23 + 120143366178099571646591568338754650475\ 9454725151762214125473677637114166145/11482017139412487607759909037\ 63641530268347153998047715310785725034173*c_0101_5^22 - 5938174731012873434825431401778167112066310142827667347577952113052\ 526093256/114820171394124876077599090376364153026834715399804771531\ 0785725034173*c_0101_5^21 - 276528231210676805768331094257026000111\ 1497115250936989166623859656386451703/11482017139412487607759909037\ 63641530268347153998047715310785725034173*c_0101_5^20 + 1699621981115648553260608901567609732035668154136998503078393996107\ 2861114470/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^19 + 49200213234066099618291506482622606235\ 17306737939537064280116435242943420683/1148201713941248760775990903\ 763641530268347153998047715310785725034173*c_0101_5^18 - 3210355752205287637696898689697180964620302312749456134376266597997\ 8461431980/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^17 - 83994193425953636326076669512245243959\ 62526515580933537111867080843888185629/1148201713941248760775990903\ 763641530268347153998047715310785725034173*c_0101_5^16 + 4049206262029829975876334924241390103407858488724442404785190210395\ 2301969315/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^15 + 13110523222649156660741017159792158906\ 628755390268907660573327733960079155642/114820171394124876077599090\ 3763641530268347153998047715310785725034173*c_0101_5^14 - 3354309717255762386849795125427440051355194981751081194960862978093\ 1903005976/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^13 - 14574475930139449499945085428269809014\ 998849275451582799971458875868720506325/114820171394124876077599090\ 3763641530268347153998047715310785725034173*c_0101_5^12 + 1733057049065721452585419943637144703052839346496119349970962887705\ 6291540546/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^11 + 98675657934331330719256368655504436218\ 58604713656409176696251010773068741465/1148201713941248760775990903\ 763641530268347153998047715310785725034173*c_0101_5^10 - 5053896122253178672472067163362276470683994759279683453315020480368\ 580927527/114820171394124876077599090376364153026834715399804771531\ 0785725034173*c_0101_5^9 - 3760693058515092970658325726654533363943\ 209839033156693977302677502958344552/114820171394124876077599090376\ 3641530268347153998047715310785725034173*c_0101_5^8 + 6828833902122649242121506942482199231764959086988471425337623069417\ 15352412/1148201713941248760775990903763641530268347153998047715310\ 785725034173*c_0101_5^7 + 75502587191480748004765846318031910253758\ 8391864456993650579445930763647452/11482017139412487607759909037636\ 41530268347153998047715310785725034173*c_0101_5^6 - 1875609280497589966252415477814245572214417360141451305146269017970\ 4847665/11482017139412487607759909037636415302683471539980477153107\ 85725034173*c_0101_5^5 - 755276208487441964568345451550561032890981\ 94812446689799096333851056124126/1148201713941248760775990903763641\ 530268347153998047715310785725034173*c_0101_5^4 - 3742054867337804612079505122106887218806061796221777897323677521945\ 377366/114820171394124876077599090376364153026834715399804771531078\ 5725034173*c_0101_5^3 + 3180868507323947058535319685587433088788222\ 306135368681086370839269166725/114820171394124876077599090376364153\ 0268347153998047715310785725034173*c_0101_5^2 + 2420178589218573093567111823926006714613775129844761173234148082018\ 13806/1148201713941248760775990903763641530268347153998047715310785\ 725034173*c_0101_5 - 2629360993919062215987391648179140757647010207\ 1872743688489507722951834/11482017139412487607759909037636415302683\ 47153998047715310785725034173, c_0101_0 + 265989840782936919638838540431890058793076565695564772856547\ 64957010145/1148201713941248760775990903763641530268347153998047715\ 310785725034173*c_0101_5^31 - 2034431127150009553993466297889746487\ 40066713156433514764043782196583156/1148201713941248760775990903763\ 641530268347153998047715310785725034173*c_0101_5^30 - 2936358793932999796017489013648221805698434774190543194145140038551\ 87147/1148201713941248760775990903763641530268347153998047715310785\ 725034173*c_0101_5^29 + 6999665919172411145167987982617669945816035\ 048687310843448857720967675271/114820171394124876077599090376364153\ 0268347153998047715310785725034173*c_0101_5^28 - 1132202761230467404279236727292066829845104020669011560709748442562\ 8314514/11482017139412487607759909037636415302683471539980477153107\ 85725034173*c_0101_5^27 - 83091286238036487149287859632316540645083\ 569842526266235090465304900673939/114820171394124876077599090376364\ 1530268347153998047715310785725034173*c_0101_5^26 + 2318739293230344024956893705974768460538758857319073058532626431279\ 68124555/1148201713941248760775990903763641530268347153998047715310\ 785725034173*c_0101_5^25 + 5073294556158691910035830033089183508711\ 68291957479630179792681284951339790/1148201713941248760775990903763\ 641530268347153998047715310785725034173*c_0101_5^24 - 1873281316550186315827695577986466220186643073211175966313672504144\ 260711200/114820171394124876077599090376364153026834715399804771531\ 0785725034173*c_0101_5^23 - 184977561452288720090225175761315588143\ 3929072172257847678903042265690213045/11482017139412487607759909037\ 63641530268347153998047715310785725034173*c_0101_5^22 + 8542642874851389330720791599497342454894275550156542333838315158572\ 160389690/114820171394124876077599090376364153026834715399804771531\ 0785725034173*c_0101_5^21 + 448769457033508138624784181694793365274\ 2282510503732250409949543126140260737/11482017139412487607759909037\ 63641530268347153998047715310785725034173*c_0101_5^20 - 2457123216229744561070783567611384506372919608924412328408122164553\ 7060613945/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^19 - 84612657733529146069465125213396059773\ 17348264011313482545122475030353876319/1148201713941248760775990903\ 763641530268347153998047715310785725034173*c_0101_5^18 + 4660617133977179173807770337987982452348200159547475516760765136703\ 8617388032/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^17 + 14605925699234903163847479192184344019\ 393626190227995109710153872145603188200/114820171394124876077599090\ 3763641530268347153998047715310785725034173*c_0101_5^16 - 5891842304820742234452440070642656185950585376801153660261670342681\ 0575719591/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^15 - 21999956546136377129792212173331996495\ 290639676304748984655511337014700288636/114820171394124876077599090\ 3763641530268347153998047715310785725034173*c_0101_5^14 + 4872931341816946777712141658747594155362183420091432127963415390479\ 5780987676/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^13 + 23616436201926360127907645303071178303\ 504085119720251967960130987099309063827/114820171394124876077599090\ 3763641530268347153998047715310785725034173*c_0101_5^12 - 2495956134644531479957409984432844144412779739614872857085701912451\ 6722390494/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^11 - 15658947723844412259512813705942118992\ 645797258321842762709472149037183913916/114820171394124876077599090\ 3763641530268347153998047715310785725034173*c_0101_5^10 + 7107326614321342173880033912723947371375476552723382906197543991347\ 786078697/114820171394124876077599090376364153026834715399804771531\ 0785725034173*c_0101_5^9 + 5905770639153541224275124140502987686102\ 412376236415320801901208873074368001/114820171394124876077599090376\ 3641530268347153998047715310785725034173*c_0101_5^8 - 8899065608249496205614489803623476756817954417507627218066900448520\ 95949816/1148201713941248760775990903763641530268347153998047715310\ 785725034173*c_0101_5^7 - 11809648914965715903416619197106207966585\ 82904792577617415185113136952178716/1148201713941248760775990903763\ 641530268347153998047715310785725034173*c_0101_5^6 + 7720308357710736572030398636587329532848303727165750911015576140009\ 242625/114820171394124876077599090376364153026834715399804771531078\ 5725034173*c_0101_5^5 + 1180207077417017186281858429649240156971452\ 23986196255558265655870101656052/1148201713941248760775990903763641\ 530268347153998047715310785725034173*c_0101_5^4 + 6934831217766222396413816930853253593277877306705978996004355914044\ 152662/114820171394124876077599090376364153026834715399804771531078\ 5725034173*c_0101_5^3 - 4951378119163102153046775247624560013593829\ 970694006941422797043061752762/114820171394124876077599090376364153\ 0268347153998047715310785725034173*c_0101_5^2 - 3836465311377472967919289162680066446247516575717607763750512712598\ 49514/1148201713941248760775990903763641530268347153998047715310785\ 725034173*c_0101_5 + 3981406423780956684432855217071514365900791894\ 0213575160840119836882160/11482017139412487607759909037636415302683\ 47153998047715310785725034173, c_0101_3 + 138144746909591115136166226553733640519009118565737793937596\ 16359641923/1148201713941248760775990903763641530268347153998047715\ 310785725034173*c_0101_5^31 - 1047951997133027626907471434182276898\ 36730248253814954379814263320848356/1148201713941248760775990903763\ 641530268347153998047715310785725034173*c_0101_5^30 - 1598857583104475840282890786711805183615010086432355420626276437609\ 34311/1148201713941248760775990903763641530268347153998047715310785\ 725034173*c_0101_5^29 + 3631858718121256970378864302957234348959452\ 182220686600771934104089792267/114820171394124876077599090376364153\ 0268347153998047715310785725034173*c_0101_5^28 - 5645809171306654211358271398391885924149865279157082567061696465001\ 631980/114820171394124876077599090376364153026834715399804771531078\ 5725034173*c_0101_5^27 - 437250165088628361872210220483834003407858\ 48838293990960967751560277477380/1148201713941248760775990903763641\ 530268347153998047715310785725034173*c_0101_5^26 + 1181043240942585212684651260347030255381856326383305615268674621248\ 81742079/1148201713941248760775990903763641530268347153998047715310\ 785725034173*c_0101_5^25 + 2732911575536063964864888379601033194567\ 85554683521776596409644352474649752/1148201713941248760775990903763\ 641530268347153998047715310785725034173*c_0101_5^24 - 9636359913696183000493489477766546692412444995098205537868531490721\ 09992839/1148201713941248760775990903763641530268347153998047715310\ 785725034173*c_0101_5^23 - 1033987783059566603570374267654233614833\ 966683743153833112018301587370017368/114820171394124876077599090376\ 3641530268347153998047715310785725034173*c_0101_5^22 + 4432832593672331100565387991008259161656302416504618116192952438179\ 329457077/114820171394124876077599090376364153026834715399804771531\ 0785725034173*c_0101_5^21 + 264497519357864884102686991607234340635\ 9945243290441411710641559847060155025/11482017139412487607759909037\ 63641530268347153998047715310785725034173*c_0101_5^20 - 1286368900562469191111615577983358509803276700992867054180660535039\ 6475984422/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^19 - 52503800830921169590946752887728096750\ 76446975945566511031557119162001435045/1148201713941248760775990903\ 763641530268347153998047715310785725034173*c_0101_5^18 + 2462037894451781032522134648450929322635648993879362493048600140214\ 2348765581/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^17 + 91478645862020940655874719791005937741\ 60947579461083305293021315560205298041/1148201713941248760775990903\ 763641530268347153998047715310785725034173*c_0101_5^16 - 3138889198704908397101557791047725983026611831263098440258355580270\ 9013855096/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^15 - 13404108591977419584457315662195470939\ 193628107736261818101982170074739287555/114820171394124876077599090\ 3763641530268347153998047715310785725034173*c_0101_5^14 + 2614072376941289793332044199498787060718660834404007711661633735586\ 6428372063/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^13 + 14035415021640538951221739191651270196\ 768334177200148425449735055075674842211/114820171394124876077599090\ 3763641530268347153998047715310785725034173*c_0101_5^12 - 1344817363041013349658925186735985587208684081206682196314886395440\ 7714059621/11482017139412487607759909037636415302683471539980477153\ 10785725034173*c_0101_5^11 - 92337043895206961988959946693705931066\ 45616464934501064215348897940840289635/1148201713941248760775990903\ 763641530268347153998047715310785725034173*c_0101_5^10 + 3822064484164757877734080855114701559826277111543756610817784214246\ 479146011/114820171394124876077599090376364153026834715399804771531\ 0785725034173*c_0101_5^9 + 3516198600858561327392064579836444331794\ 557324247391011566300914477711466317/114820171394124876077599090376\ 3641530268347153998047715310785725034173*c_0101_5^8 - 4592120679427796333593371433006240964209447623877249605325682231158\ 53441529/1148201713941248760775990903763641530268347153998047715310\ 785725034173*c_0101_5^7 - 72235810687216567172180352162752078007652\ 5284914472515576188393435619461290/11482017139412487607759909037636\ 41530268347153998047715310785725034173*c_0101_5^6 - 5659105486803561225763327440603742925418778249348134296122426776613\ 815872/114820171394124876077599090376364153026834715399804771531078\ 5725034173*c_0101_5^5 + 7495181281617290171353700059226183705118620\ 1236109374837639386754218970844/11482017139412487607759909037636415\ 30268347153998047715310785725034173*c_0101_5^4 + 5298132789422318056794987959979081054246963483746074933359467751993\ 708851/114820171394124876077599090376364153026834715399804771531078\ 5725034173*c_0101_5^3 - 3286804167650114760544757687366849908681923\ 022821089439909573584704238781/114820171394124876077599090376364153\ 0268347153998047715310785725034173*c_0101_5^2 - 2859324994071957052204663169758416772248000048909043027231836324778\ 11733/1148201713941248760775990903763641530268347153998047715310785\ 725034173*c_0101_5 + 2823554582717148357729155652919804143397485073\ 5980666039954285658234562/11482017139412487607759909037636415302683\ 47153998047715310785725034173, c_0101_5^32 - 7*c_0101_5^31 - 16*c_0101_5^30 + 256*c_0101_5^29 - 255*c_0101_5^28 - 3400*c_0101_5^27 + 6692*c_0101_5^26 + 24727*c_0101_5^25 - 58064*c_0101_5^24 - 115209*c_0101_5^23 + 276105*c_0101_5^22 + 376916*c_0101_5^21 - 814487*c_0101_5^20 - 916783*c_0101_5^19 + 1546140*c_0101_5^18 + 1684290*c_0101_5^17 - 1859204*c_0101_5^16 - 2261523*c_0101_5^15 + 1295718*c_0101_5^14 + 2073447*c_0101_5^13 - 362628*c_0101_5^12 - 1195221*c_0101_5^11 - 114430*c_0101_5^10 + 394231*c_0101_5^9 + 110379*c_0101_5^8 - 65740*c_0101_5^7 - 28438*c_0101_5^6 + 4562*c_0101_5^5 + 3128*c_0101_5^4 - 12*c_0101_5^3 - 135*c_0101_5^2 - 8*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.260 seconds, Total memory usage: 32.09MB