Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 240095976] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0772 geometric_solution 4.71482826 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 2310 0 0 0 0 0 0 -1 1 -1 0 0 1 -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 -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.819817829120 0.508800791323 0 0 3 2 2310 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 1 -1 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.476764886668 0.962531341588 4 3 1 3 0132 1023 0132 3012 0 0 0 0 0 0 0 0 0 0 -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 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.445807267231 1.197049555704 2 4 2 1 1023 2310 1230 0132 0 0 0 0 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 -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.445807267231 1.197049555704 2 5 5 3 0132 0132 3201 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.009689512807 0.343575670098 4 4 6 6 2310 0132 0132 2310 0 0 0 0 0 0 0 0 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 0 0 -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 3.726470125051 3.609145683247 5 6 6 5 3201 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.132229764670 0.106058441253 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(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' : negation(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_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_4'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), '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_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_6, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 6223740552595435070536492596777618662538458508891111965161762794538\ 52434637/3189729964472483972375524156519179661371197816556270342045\ 50882373663929825*c_0101_5^27 + 68925170699304176827709881674051684\ 1247858446071861996223132985960789543852/63794599289449679447510483\ 130383593227423956331125406840910176474732785965*c_0101_5^26 + 6871761258367367008413465712869194499393376041501177410575553135882\ 98272436/1275891985788993588950209662607671864548479126622508136818\ 2035294946557193*c_0101_5^25 - 506816410618514995476457997257712337\ 56176423923259462399132251002950864224753/3189729964472483972375524\ 15651917966137119781655627034204550882373663929825*c_0101_5^24 - 2165568778652343994742226509253863170138822549277043037380199044671\ 54795784411/3189729964472483972375524156519179661371197816556270342\ 04550882373663929825*c_0101_5^23 + 6468501201124167816354720777151228222920038493264987625996207082539\ 8626580043/31897299644724839723755241565191796613711978165562703420\ 4550882373663929825*c_0101_5^22 + 128693520676478700652432934116324\ 2882313845168201980378767054269591095864717374/31897299644724839723\ 7552415651917966137119781655627034204550882373663929825*c_0101_5^21 + 22379892395623707949012649474722702951737714931011520701652228340\ 61469410811607/3189729964472483972375524156519179661371197816556270\ 34204550882373663929825*c_0101_5^20 - 2030011223217887290944112395573621710067792289514208950934834668665\ 072531258821/318972996447248397237552415651917966137119781655627034\ 204550882373663929825*c_0101_5^19 - 1209380273599123422626332879082884932246572456617472436423089776911\ 7832920399091/31897299644724839723755241565191796613711978165562703\ 4204550882373663929825*c_0101_5^18 - 6105397205282688260746370505349188783603318563601154936280030736824\ 446092166438/318972996447248397237552415651917966137119781655627034\ 204550882373663929825*c_0101_5^17 + 2120931716830328475834061798185347150123369819637263314560006099845\ 5959894252224/31897299644724839723755241565191796613711978165562703\ 4204550882373663929825*c_0101_5^16 + 4702627782789863703823723144542080106872504572709266427574166366862\ 954171156309/318972996447248397237552415651917966137119781655627034\ 204550882373663929825*c_0101_5^15 - 4283086345866069933958093367918587701897460255720443653496387707848\ 640485867498/289975451315680361125047650592652696488290710596024576\ 54959171124878539075*c_0101_5^14 - 1694960302269584758069363349493008457722888088391317512904456656238\ 28453442662/6379459928944967944751048313038359322742395633112540684\ 0910176474732785965*c_0101_5^13 + 688878857566295900440887869962984\ 4408363465670339226339762532911926487378096206/28997545131568036112\ 504765059265269648829071059602457654959171124878539075*c_0101_5^12 + 1151763388814757717778552472866446802622408626851118342009021578534\ 412237871887/637945992894496794475104831303835932274239563311254068\ 40910176474732785965*c_0101_5^11 - 6347126039353854005641607700613145412111600396279275599389726195384\ 7867187582162/31897299644724839723755241565191796613711978165562703\ 4204550882373663929825*c_0101_5^10 - 1408136788301772837689498550845441313574162168457947511361415551968\ 78181311274/5799509026313607222500953011853053929765814211920491530\ 991834224975707815*c_0101_5^9 + 23035009269864196836159035203973748\ 242328705859004900041256019892699519716061506/318972996447248397237\ 552415651917966137119781655627034204550882373663929825*c_0101_5^8 + 1334283143056240638745510958704321203029871411372754530909928320366\ 4515826853232/31897299644724839723755241565191796613711978165562703\ 4204550882373663929825*c_0101_5^7 - 5898089188005539968871966723451968331635243386261224687619699917906\ 19417213639/3189729964472483972375524156519179661371197816556270342\ 04550882373663929825*c_0101_5^6 - 405632031184460235362457170217406\ 71607772815359982678048979801533473155868401/5799509026313607222500\ 953011853053929765814211920491530991834224975707815*c_0101_5^5 - 1353444131689015662263912732081957577277317131054831726828374811943\ 849215195063/318972996447248397237552415651917966137119781655627034\ 204550882373663929825*c_0101_5^4 - 1214442304928862488942245490077953639742331001292173395261164947150\ 08975282002/6379459928944967944751048313038359322742395633112540684\ 0910176474732785965*c_0101_5^3 + 1047172577945432411161652045006468\ 2804467708440032042770284226785605676177766/31897299644724839723755\ 2415651917966137119781655627034204550882373663929825*c_0101_5^2 + 7777144719826688187078410118325069816815960815147680813916561848375\ 9680935404/31897299644724839723755241565191796613711978165562703420\ 4550882373663929825*c_0101_5 + 332870837047754589228560968525447209\ 6196356687658539557427186496022481116288/63794599289449679447510483\ 130383593227423956331125406840910176474732785965, c_0011_0 - 1, c_0011_2 + 242931575425983563314210709883370353744856494513120688129139\ 80754058980/1159901805262721444500190602370610785953162842384098306\ 198366844995141563*c_0101_5^27 - 1532167288311364175916715070152763\ 79206135009054458835183549200634240662/1159901805262721444500190602\ 370610785953162842384098306198366844995141563*c_0101_5^26 - 5670457681630055554670756860216205764071362089705200595118986775075\ 76537/1159901805262721444500190602370610785953162842384098306198366\ 844995141563*c_0101_5^25 + 2494869604827571270910581980413183134985\ 908347616692719862198358450233797/115990180526272144450019060237061\ 0785953162842384098306198366844995141563*c_0101_5^24 + 6927557850331036106531202479522279430951083907951948323051523289219\ 026920/115990180526272144450019060237061078595316284238409830619836\ 6844995141563*c_0101_5^23 - 903530863731389812568219123423609837633\ 8639092234567009455725577407251448/11599018052627214445001906023706\ 10785953162842384098306198366844995141563*c_0101_5^22 - 4823401787685049368698505332499892009264459005250315251619049995206\ 1556376/11599018052627214445001906023706107859531628423840983061983\ 66844995141563*c_0101_5^21 - 48674851889865766049429392506101084680\ 923449943381810331543161256389402978/115990180526272144450019060237\ 0610785953162842384098306198366844995141563*c_0101_5^20 + 1460522230690333443866811465699286905355813898245709595758225193184\ 96541910/1159901805262721444500190602370610785953162842384098306198\ 366844995141563*c_0101_5^19 + 4106067607380573390608291107233670463\ 65685021843715338721431658506433989545/1159901805262721444500190602\ 370610785953162842384098306198366844995141563*c_0101_5^18 - 1237628685392139340167902140228237480211555317958303851956136839922\ 79774469/1159901805262721444500190602370610785953162842384098306198\ 366844995141563*c_0101_5^17 - 1006321400251316541177527414144700123\ 670778290213760499857983495539872969185/115990180526272144450019060\ 2370610785953162842384098306198366844995141563*c_0101_5^16 + 4556812965143778305486126977941630334689397307127307547780037865109\ 42434724/1159901805262721444500190602370610785953162842384098306198\ 366844995141563*c_0101_5^15 + 1960556620689658327030980163237272272\ 857441686532874224999645810978181574022/115990180526272144450019060\ 2370610785953162842384098306198366844995141563*c_0101_5^14 - 1403508392785473140421651769485121687844247497024145963633861837703\ 230064757/115990180526272144450019060237061078595316284238409830619\ 8366844995141563*c_0101_5^13 - 294406015203667388853206826821536410\ 2078378488647986432152587047067435540995/11599018052627214445001906\ 02370610785953162842384098306198366844995141563*c_0101_5^12 + 2079136492458539154147855116309992302602975405008866456381158964495\ 796531825/115990180526272144450019060237061078595316284238409830619\ 8366844995141563*c_0101_5^11 + 255627961683809053739879777533607847\ 6790765899490168404985451829741165071806/11599018052627214445001906\ 02370610785953162842384098306198366844995141563*c_0101_5^10 - 1630693085057821267626883587213743342465436757911172100699174263297\ 356470806/115990180526272144450019060237061078595316284238409830619\ 8366844995141563*c_0101_5^9 - 9856883038543391434938029009647372990\ 12768736416915910500969930876223087197/1159901805262721444500190602\ 370610785953162842384098306198366844995141563*c_0101_5^8 + 1868378241398674883573162633449849536154401500058695734257407929364\ 56399024/1159901805262721444500190602370610785953162842384098306198\ 366844995141563*c_0101_5^7 + 30814370216569788157517599078579378881\ 7776805025060540321819669115344575160/11599018052627214445001906023\ 70610785953162842384098306198366844995141563*c_0101_5^6 + 7687513250642030239405355745322934230832591704824855215311953741029\ 1698252/11599018052627214445001906023706107859531628423840983061983\ 66844995141563*c_0101_5^5 + 162355109422326509657714059397430309528\ 89342042093082230363080208652383672/1159901805262721444500190602370\ 610785953162842384098306198366844995141563*c_0101_5^4 - 1086022538143261942896409527232842959441235266761558478907636516920\ 4691031/11599018052627214445001906023706107859531628423840983061983\ 66844995141563*c_0101_5^3 - 152432777785854254785228995543529717750\ 55832224624575443437706918312510466/1159901805262721444500190602370\ 610785953162842384098306198366844995141563*c_0101_5^2 - 1018927347383681142622459616779985757887722260044119193888563140256\ 196636/115990180526272144450019060237061078595316284238409830619836\ 6844995141563*c_0101_5 - 802425074309179564451716936854699312165350\ 75177627374114494724053813314/1159901805262721444500190602370610785\ 953162842384098306198366844995141563, c_0011_6 + 280711023963937241183608107192788353042786613861198081644840\ 83929989906/1159901805262721444500190602370610785953162842384098306\ 198366844995141563*c_0101_5^27 - 1680858955497797502580245791952959\ 31157304828607406040035913925219888989/1159901805262721444500190602\ 370610785953162842384098306198366844995141563*c_0101_5^26 - 7061084100182906516719875712319801889441723660416124017032298896074\ 64719/1159901805262721444500190602370610785953162842384098306198366\ 844995141563*c_0101_5^25 + 2643134406626815717373516825445997648243\ 333753599764493914692756225860585/115990180526272144450019060237061\ 0785953162842384098306198366844995141563*c_0101_5^24 + 8767188517137050488295359652706873081769844094533436016267103507398\ 323917/115990180526272144450019060237061078595316284238409830619836\ 6844995141563*c_0101_5^23 - 744299691656837990118880681000436196599\ 4975264891988773519964133295163343/11599018052627214445001906023706\ 10785953162842384098306198366844995141563*c_0101_5^22 - 5707904896035471964107027511701871415626417963147200578373463631523\ 2701512/11599018052627214445001906023706107859531628423840983061983\ 66844995141563*c_0101_5^21 - 74430408603393692861811126969417766063\ 165600652726771277131667513814371378/115990180526272144450019060237\ 0610785953162842384098306198366844995141563*c_0101_5^20 + 1392595116229659582114866854490658251476867355908000957336877133862\ 65507200/1159901805262721444500190602370610785953162842384098306198\ 366844995141563*c_0101_5^19 + 5071728882405415549916616810563199702\ 37992153525246272356656785574249134221/1159901805262721444500190602\ 370610785953162842384098306198366844995141563*c_0101_5^18 + 2437292406427457443447396715050485260863399922188702208252008008510\ 6418558/11599018052627214445001906023706107859531628423840983061983\ 66844995141563*c_0101_5^17 - 10992679902026538415570376985642987164\ 73287546114968494952467567748733484301/1159901805262721444500190602\ 370610785953162842384098306198366844995141563*c_0101_5^16 + 2197873194493546271685552815090697698775090098534900352578822210188\ 11248664/1159901805262721444500190602370610785953162842384098306198\ 366844995141563*c_0101_5^15 + 2252832213232834651125520401405994829\ 738140378312631872400505189093136505426/115990180526272144450019060\ 2370610785953162842384098306198366844995141563*c_0101_5^14 - 9486996207550682497213861569621411447538714017689191816832075896964\ 46368531/1159901805262721444500190602370610785953162842384098306198\ 366844995141563*c_0101_5^13 - 3502150475210636145058852249119407515\ 840465848325130297454694950657047201981/115990180526272144450019060\ 2370610785953162842384098306198366844995141563*c_0101_5^12 + 1349321535784999687304623285516797055477917686242378407000112052493\ 496267685/115990180526272144450019060237061078595316284238409830619\ 8366844995141563*c_0101_5^11 + 305448066378279062206050921710744684\ 8132091921370958074589789750497005642471/11599018052627214445001906\ 02370610785953162842384098306198366844995141563*c_0101_5^10 - 1027812015811305560753700449806827692725301225651270846248972647359\ 893362047/115990180526272144450019060237061078595316284238409830619\ 8366844995141563*c_0101_5^9 - 1203649273126459742133377484689073061\ 349466279382169696584321120727740103467/115990180526272144450019060\ 2370610785953162842384098306198366844995141563*c_0101_5^8 - 6951180321911317346642222278584165062654723936238048092813422562096\ 8796744/11599018052627214445001906023706107859531628423840983061983\ 66844995141563*c_0101_5^7 + 247228058728065582916345402742131829965\ 136434794242058260643559451894734889/115990180526272144450019060237\ 0610785953162842384098306198366844995141563*c_0101_5^6 + 9411664473409766400451502221581054473824180983723616058662553473175\ 7224728/11599018052627214445001906023706107859531628423840983061983\ 66844995141563*c_0101_5^5 + 334125215163703611715712642285920804045\ 74230463548288466509736768371570009/1159901805262721444500190602370\ 610785953162842384098306198366844995141563*c_0101_5^4 + 4336449462594659609144259889363290846345508384254038828223724403988\ 067374/115990180526272144450019060237061078595316284238409830619836\ 6844995141563*c_0101_5^3 - 1263884710997527987461767127099024654686\ 7523059456388282394126511113219985/11599018052627214445001906023706\ 10785953162842384098306198366844995141563*c_0101_5^2 - 1830975514153947542180883389158204828567807838517613976390380459061\ 871966/115990180526272144450019060237061078595316284238409830619836\ 6844995141563*c_0101_5 - 329140468645450746319195377257824146010707\ 113727871226676521201392835944/115990180526272144450019060237061078\ 5953162842384098306198366844995141563, c_0101_0 + 408286898774109616183634094210221051443868314499906612782039\ 77988771905/1159901805262721444500190602370610785953162842384098306\ 198366844995141563*c_0101_5^27 - 2388548069186983158660007045034440\ 30813207684279175327800986527530208293/1159901805262721444500190602\ 370610785953162842384098306198366844995141563*c_0101_5^26 - 1057659568603254068556457594454924553549753711504161446375941000111\ 352227/115990180526272144450019060237061078595316284238409830619836\ 6844995141563*c_0101_5^25 + 368732070424009630907897982325949442322\ 3620942576686039258777572388627524/11599018052627214445001906023706\ 10785953162842384098306198366844995141563*c_0101_5^24 + 1319155707743418155344667035331761763794650293057270600334983035512\ 6244888/11599018052627214445001906023706107859531628423840983061983\ 66844995141563*c_0101_5^23 - 88527519133294854726419338752820988278\ 71944382112734554280024290784654878/1159901805262721444500190602370\ 610785953162842384098306198366844995141563*c_0101_5^22 - 8337146224816862939545968010961967422336351428220257399965080403266\ 4193905/11599018052627214445001906023706107859531628423840983061983\ 66844995141563*c_0101_5^21 - 11964657519931027406568614964195124444\ 3384038147796995622837969942156462001/11599018052627214445001906023\ 70610785953162842384098306198366844995141563*c_0101_5^20 + 1812851777544216048084049626798380074119223454788297914557264393961\ 07784286/1159901805262721444500190602370610785953162842384098306198\ 366844995141563*c_0101_5^19 + 7526182657449592529235814922494612063\ 83776787806975402690136672288651004431/1159901805262721444500190602\ 370610785953162842384098306198366844995141563*c_0101_5^18 + 1431509448435503407668702309562734867417137357706109732582614990581\ 59830451/1159901805262721444500190602370610785953162842384098306198\ 366844995141563*c_0101_5^17 - 1532207833184760557274755778025688415\ 260482126673584672993189463898919955010/115990180526272144450019060\ 2370610785953162842384098306198366844995141563*c_0101_5^16 + 1484152192378888667442703363587945929351390666193524287244787667227\ 85423941/1159901805262721444500190602370610785953162842384098306198\ 366844995141563*c_0101_5^15 + 3227715294435635662491661101882722192\ 466165085858728571887782783980790760052/115990180526272144450019060\ 2370610785953162842384098306198366844995141563*c_0101_5^14 - 9818265141010570491820758420118200377288692761719851084418161308320\ 69861751/1159901805262721444500190602370610785953162842384098306198\ 366844995141563*c_0101_5^13 - 5056844199292207097715686588869471865\ 844305787267310294165822199535077875766/115990180526272144450019060\ 2370610785953162842384098306198366844995141563*c_0101_5^12 + 1334547621726866832580413115408941853040986142030831555886062617501\ 284877707/115990180526272144450019060237061078595316284238409830619\ 8366844995141563*c_0101_5^11 + 433880973212964415317120187787149449\ 2636829725538424190980467075596250842479/11599018052627214445001906\ 02370610785953162842384098306198366844995141563*c_0101_5^10 - 1014042195886619492363838249750666519710556023605448250924583197698\ 439843260/115990180526272144450019060237061078595316284238409830619\ 8366844995141563*c_0101_5^9 - 1651359194781053447093330892691751931\ 358212900451205231563229241761360879104/115990180526272144450019060\ 2370610785953162842384098306198366844995141563*c_0101_5^8 - 2365351633328510178574515931978165606622941853676847580352085603425\ 26977656/1159901805262721444500190602370610785953162842384098306198\ 366844995141563*c_0101_5^7 + 24139403953715899191671506071136668666\ 6843822372829938918411076585429581030/11599018052627214445001906023\ 70610785953162842384098306198366844995141563*c_0101_5^6 + 1116781473212810441222074271300053250404442653355223515440174637929\ 78898427/1159901805262721444500190602370610785953162842384098306198\ 366844995141563*c_0101_5^5 + 48317117862346455313916079360594970341\ 478455678021863500141342360726170258/115990180526272144450019060237\ 0610785953162842384098306198366844995141563*c_0101_5^4 + 2023899185515693277998307918233392281658163463905172698471558698943\ 1862125/11599018052627214445001906023706107859531628423840983061983\ 66844995141563*c_0101_5^3 - 126987838534040582383298519520521248079\ 05861215958285597311382346358694902/1159901805262721444500190602370\ 610785953162842384098306198366844995141563*c_0101_5^2 - 3213102897682215681932000379072635614727988038298287929714986985098\ 605730/115990180526272144450019060237061078595316284238409830619836\ 6844995141563*c_0101_5 - 286108312701467056648325323100075863413659\ 267899773271756109233851355459/115990180526272144450019060237061078\ 5953162842384098306198366844995141563, c_0101_1 - 116541524784445244267427744785494113483355385527680762665747\ 18140530143/1159901805262721444500190602370610785953162842384098306\ 198366844995141563*c_0101_5^27 + 6601247949990213665315955835174327\ 8386444881599290655419269054273290370/11599018052627214445001906023\ 70610785953162842384098306198366844995141563*c_0101_5^26 + 3174136352634174057738060600549725614362823765272472415699817615656\ 97275/1159901805262721444500190602370610785953162842384098306198366\ 844995141563*c_0101_5^25 - 1012828413554864684771597096881522670455\ 916463651227097808730918859483014/115990180526272144450019060237061\ 0785953162842384098306198366844995141563*c_0101_5^24 - 4035385790675991860610846482901398103229975921831231069166686731700\ 636938/115990180526272144450019060237061078595316284238409830619836\ 6844995141563*c_0101_5^23 + 207667218243319463590947283016347866445\ 7428600728980808818349648459476832/11599018052627214445001906023706\ 10785953162842384098306198366844995141563*c_0101_5^22 + 2519229958083738817822170093246462984880067393273361234149585435240\ 8265361/11599018052627214445001906023706107859531628423840983061983\ 66844995141563*c_0101_5^21 + 38050172901113464670317683690786199999\ 024214550689836525914495617382990245/115990180526272144450019060237\ 0610785953162842384098306198366844995141563*c_0101_5^20 - 5111584959928875167085227314966781859964281185586127291980962268109\ 8715871/11599018052627214445001906023706107859531628423840983061983\ 66844995141563*c_0101_5^19 - 23318610333905692369490427415884469248\ 5777538363941990083733970177375099509/11599018052627214445001906023\ 70610785953162842384098306198366844995141563*c_0101_5^18 - 6944892766900626933614212581629256240035958156873018146977573760061\ 9406662/11599018052627214445001906023706107859531628423840983061983\ 66844995141563*c_0101_5^17 + 48162154187559646589277436672315862935\ 2105779797535425907517190811989976996/11599018052627214445001906023\ 70610785953162842384098306198366844995141563*c_0101_5^16 + 5328665850542308821633180837590989182486514238885627085902703853506\ 1128972/11599018052627214445001906023706107859531628423840983061983\ 66844995141563*c_0101_5^15 - 10284959161075633309955282251110444898\ 84659031569093643240839440515833764402/1159901805262721444500190602\ 370610785953162842384098306198366844995141563*c_0101_5^14 + 1163300149753471675461024624940081768986193188997285257768465006963\ 47519263/1159901805262721444500190602370610785953162842384098306198\ 366844995141563*c_0101_5^13 + 1711131970924449531075904674438881287\ 769133143156730786872069911806334827246/115990180526272144450019060\ 2370610785953162842384098306198366844995141563*c_0101_5^12 - 1670374077077021370354889382284910460584258141853274168577401689857\ 94233724/1159901805262721444500190602370610785953162842384098306198\ 366844995141563*c_0101_5^11 - 1642289120623775991752802363402167187\ 917041272103393193048631466334279754759/115990180526272144450019060\ 2370610785953162842384098306198366844995141563*c_0101_5^10 + 1281649128524854950535769756461762572564264762406198264108361437299\ 39480817/1159901805262721444500190602370610785953162842384098306198\ 366844995141563*c_0101_5^9 + 79899672231222891917251004808659986899\ 9715085669408440245837679194340466365/11599018052627214445001906023\ 70610785953162842384098306198366844995141563*c_0101_5^8 + 1014712481073263026710511442013768020819385444861897326006849743640\ 85631622/1159901805262721444500190602370610785953162842384098306198\ 366844995141563*c_0101_5^7 - 15583068979679083751543226211307655891\ 6143526871567328380748563697505137326/11599018052627214445001906023\ 70610785953162842384098306198366844995141563*c_0101_5^6 - 6602267758501878646256846993417666047779852604303330086444469435050\ 8756824/11599018052627214445001906023706107859531628423840983061983\ 66844995141563*c_0101_5^5 - 445073197819308798718631780134549226770\ 4169488137156257291899182134605236/11599018052627214445001906023706\ 10785953162842384098306198366844995141563*c_0101_5^4 - 6951077346932881948439226495178148230252501486931995273653115013628\ 239570/115990180526272144450019060237061078595316284238409830619836\ 6844995141563*c_0101_5^3 + 3906770517690334525427249919923581723378\ 875015741857499959572316634946568/115990180526272144450019060237061\ 0785953162842384098306198366844995141563*c_0101_5^2 + 2159945247283562598448689606350886122897208950318037378015428531450\ 667739/115990180526272144450019060237061078595316284238409830619836\ 6844995141563*c_0101_5 - 113693309599450848148039592913237155200132\ 722069642562971321635446065808/115990180526272144450019060237061078\ 5953162842384098306198366844995141563, c_0101_4 - 121002549049267740455495970099753493404923391815493809206766\ 92201362420/1159901805262721444500190602370610785953162842384098306\ 198366844995141563*c_0101_5^27 + 7116186434042720387068281615767370\ 2412353261887325175980258330815225208/11599018052627214445001906023\ 70610785953162842384098306198366844995141563*c_0101_5^26 + 3096107619963810684788015528556693741040766655373741269958513945238\ 49611/1159901805262721444500190602370610785953162842384098306198366\ 844995141563*c_0101_5^25 - 1094021601933464581342824787419617093618\ 496170276119769665287737014452724/115990180526272144450019060237061\ 0785953162842384098306198366844995141563*c_0101_5^24 - 3826069267899632389909285102619506602410542511186392085457450804161\ 775310/115990180526272144450019060237061078595316284238409830619836\ 6844995141563*c_0101_5^23 + 263046448262094329141527203169920190514\ 9542019442476437666212230551853369/11599018052627214445001906023706\ 10785953162842384098306198366844995141563*c_0101_5^22 + 2399655901795180978842687055861423901287972049614248283924843318246\ 5048799/11599018052627214445001906023706107859531628423840983061983\ 66844995141563*c_0101_5^21 + 34602427148076931534538517409681354673\ 535743693743913514790108748124805681/115990180526272144450019060237\ 0610785953162842384098306198366844995141563*c_0101_5^20 - 5140664840519844084235179112684812909729908117689061123886959552838\ 0178822/11599018052627214445001906023706107859531628423840983061983\ 66844995141563*c_0101_5^19 - 21397193155737856219500383170391211958\ 5183469351924764850957503251885845782/11599018052627214445001906023\ 70610785953162842384098306198366844995141563*c_0101_5^18 - 3783375160972086418620890690324758422893741749938403368849670191913\ 7534184/11599018052627214445001906023706107859531628423840983061983\ 66844995141563*c_0101_5^17 + 42208483710295670110737109907561102630\ 7335264005348970892398115322069703508/11599018052627214445001906023\ 70610785953162842384098306198366844995141563*c_0101_5^16 - 8824789322667570826578000192796795811342779537304150522401798854438\ 7413456/11599018052627214445001906023706107859531628423840983061983\ 66844995141563*c_0101_5^15 - 91078073630487789218739500389762304077\ 8979943441028915771308570105550963468/11599018052627214445001906023\ 70610785953162842384098306198366844995141563*c_0101_5^14 + 3504591640546840090361413378299554432052398097789517296004747522828\ 49870997/1159901805262721444500190602370610785953162842384098306198\ 366844995141563*c_0101_5^13 + 1373102280034713134503997123785330280\ 976642128920556002667031101055795833919/115990180526272144450019060\ 2370610785953162842384098306198366844995141563*c_0101_5^12 - 4893812519182301348828779421897735593780561762974409712080293858306\ 64413320/1159901805262721444500190602370610785953162842384098306198\ 366844995141563*c_0101_5^11 - 1086387643807937660822488135472980541\ 058301654361928742530809691807408690169/115990180526272144450019060\ 2370610785953162842384098306198366844995141563*c_0101_5^10 + 4230244673977052711745927531397645574587320470658318584478500638063\ 94201916/1159901805262721444500190602370610785953162842384098306198\ 366844995141563*c_0101_5^9 + 34179290882589115753898290620349886051\ 3984678600182838851050915699103335703/11599018052627214445001906023\ 70610785953162842384098306198366844995141563*c_0101_5^8 - 4862556216466180927384752059640679222477346352428500640147953537491\ 100533/115990180526272144450019060237061078595316284238409830619836\ 6844995141563*c_0101_5^7 - 4003027294906784804272811394901064475561\ 1092346492238152624589807264889784/11599018052627214445001906023706\ 10785953162842384098306198366844995141563*c_0101_5^6 + 2713644517920564982389214184603230788752100809394518872051945301620\ 766629/115990180526272144450019060237061078595316284238409830619836\ 6844995141563*c_0101_5^5 + 7410752384018670343877926107982387357253\ 990417954711570349445066236025968/115990180526272144450019060237061\ 0785953162842384098306198366844995141563*c_0101_5^4 + 2175614280627541051093004170424124374059555668511089159093428752542\ 57843/1159901805262721444500190602370610785953162842384098306198366\ 844995141563*c_0101_5^3 + 12958562881583693594417372830832967043215\ 32353555867538000676950765068816/1159901805262721444500190602370610\ 785953162842384098306198366844995141563*c_0101_5^2 - 2032731353418454804217112005555776672410406345916348382407946146189\ 429564/115990180526272144450019060237061078595316284238409830619836\ 6844995141563*c_0101_5 - 520002601288882082289047336557139709179566\ 844272619061865867795947101024/115990180526272144450019060237061078\ 5953162842384098306198366844995141563, c_0101_5^28 - 6*c_0101_5^27 - 25*c_0101_5^26 + 94*c_0101_5^25 + 309*c_0101_5^24 - 262*c_0101_5^23 - 2003*c_0101_5^22 - 2639*c_0101_5^21 + 4829*c_0101_5^20 + 17740*c_0101_5^19 + 941*c_0101_5^18 - 37666*c_0101_5^17 + 8875*c_0101_5^16 + 77436*c_0101_5^15 - 34779*c_0101_5^14 - 118293*c_0101_5^13 + 48538*c_0101_5^12 + 98871*c_0101_5^11 - 36791*c_0101_5^10 - 35003*c_0101_5^9 - 2873*c_0101_5^8 + 6448*c_0101_5^7 + 2473*c_0101_5^6 + 1224*c_0101_5^5 + 181*c_0101_5^4 - 418*c_0101_5^3 - 49*c_0101_5^2 - 13*c_0101_5 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB