Magma V2.19-8 Tue Aug 20 2013 16:17:26 on localhost [Seed = 2480017241] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1660 geometric_solution 5.39875526 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -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.594199002855 0.149892248247 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 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 -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.823549360480 0.249245505221 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 1 -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 1 -1 -1 0 1 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 1.146125264735 0.657038484692 5 2 4 6 0132 0132 2310 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 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.309916220051 0.895414853336 6 3 2 5 0132 3201 0132 1023 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 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.309916220051 0.895414853336 3 5 5 4 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.238793195009 0.890509637802 4 6 3 6 0132 2310 0132 3201 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.345189082330 0.997325765900 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(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' : negation(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' : d['c_0101_1'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_0011_1'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_1'], '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' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(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_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 1035122357723917305599091412429618046051096016942588973134868730607\ 79451267531708756698050929465303110564/7315107292201861070038540530\ 3456866445907712767624330824887457194745017168217801358236993967909\ 6082313*c_0101_5^29 + 322738257507322419589948741734532587294332835\ 537575345984511209698635372272745028145649231491515493148887/243836\ 9097400620356679513510115228881530257092254144360829581906491500572\ 27392671194123313226365360771*c_0101_5^28 + 2200957108872719111398815121214396626464263695641098000316888458986\ 51705998290607560339790314060103376693/2438369097400620356679513510\ 1152288815302570922541443608295819064915005722739267119412331322636\ 5360771*c_0101_5^27 + 475717065474990317265747015585804746263725851\ 5554279840778362860448344108805802132480343918973819877028761/73151\ 0729220186107003854053034568664459077127676243308248874571947450171\ 682178013582369939679096082313*c_0101_5^26 - 1020563299081174534311414951218293327711005913749866478031619064076\ 16820642377091683224879575621341434813948/7315107292201861070038540\ 5303456866445907712767624330824887457194745017168217801358236993967\ 9096082313*c_0101_5^25 - 171725531820806084777792641240183432928316\ 636086703603817167589592785802387854437380199977191157520977049832/\ 2438369097400620356679513510115228881530257092254144360829581906491\ 50057227392671194123313226365360771*c_0101_5^24 + 2394524082106819406541831654482034543791788021502912100993878747091\ 394763858640735072030845597874138331621684/731510729220186107003854\ 0530345686644590771276762433082488745719474501716821780135823699396\ 79096082313*c_0101_5^23 + 22235593929837666817683018216077245007480\ 7675169133866645750053894851189527815140775991522949165267577324307\ 0/24383690974006203566795135101152288815302570922541443608295819064\ 9150057227392671194123313226365360771*c_0101_5^22 - 3265313545286700065451382306995488338594803441521533600846532896124\ 327616217129327983218141404584709845557120/812789699133540118893171\ 1700384096271767523640847147869431939688305001907579755706470777107\ 5455120257*c_0101_5^21 - 911522475842559946896115814035499912274764\ 8310351986189828146420089227939936662433071681814634557990894622863\ /243836909740062035667951351011522888153025709225414436082958190649\ 150057227392671194123313226365360771*c_0101_5^20 + 1846664888676136369551135548614244037424347451769866032320243662317\ 32470592597052951003442072947115111300649248/7315107292201861070038\ 5405303456866445907712767624330824887457194745017168217801358236993\ 9679096082313*c_0101_5^19 - 124075039305187332691266846133844014110\ 4610696430649977133164312133634308822013305552815326626370503582804\ 5365/73151072922018610700385405303456866445907712767624330824887457\ 1947450171682178013582369939679096082313*c_0101_5^18 - 6984366378241303973199839366408923994941162925231383631695788971795\ 2271223286977271320312171679070072587972087/81278969913354011889317\ 1170038409627176752364084714786943193968830500190757975570647077710\ 75455120257*c_0101_5^17 + 37966287833232086288893657521471215017359\ 2266023359460992290835611512563369941602043778959997749733290502945\ 206/731510729220186107003854053034568664459077127676243308248874571\ 947450171682178013582369939679096082313*c_0101_5^16 + 1467617990030360677067751322120437578775310922896070233957994060684\ 704131741161381625923770001994025377503737130/731510729220186107003\ 8540530345686644590771276762433082488745719474501716821780135823699\ 39679096082313*c_0101_5^15 - 19589110179830722837835461742001021781\ 5198619140526632634092584993598977250711749887708839110808149266616\ 6824489/73151072922018610700385405303456866445907712767624330824887\ 4571947450171682178013582369939679096082313*c_0101_5^14 - 1183993489156842635073215053251711766069620230610007997322303551514\ 153634721589154509634080630967122586697669690/731510729220186107003\ 8540530345686644590771276762433082488745719474501716821780135823699\ 39679096082313*c_0101_5^13 + 41586565922076319953083902259510914727\ 6503456340121868695244157639583786048553880396945716217574280344542\ 696497/812789699133540118893171170038409627176752364084714786943193\ 96883050019075797557064707771075455120257*c_0101_5^12 - 1499581400375326093027345997294635344910782988797841793686180042901\ 58591641733912828154320857096678692784026825/8127896991335401188931\ 7117003840962717675236408471478694319396883050019075797557064707771\ 075455120257*c_0101_5^11 - 2385883454515687564016313994622906670686\ 2049043125445607553740556160192644102173881109679853421051271388253\ 61260/7315107292201861070038540530345686644590771276762433082488745\ 71947450171682178013582369939679096082313*c_0101_5^10 + 7964407015448110872002465307923224621571688834729039383857237831224\ 19766098831416472528994443120585148735448431/2438369097400620356679\ 5135101152288815302570922541443608295819064915005722739267119412331\ 3226365360771*c_0101_5^9 - 1079426656259423001415706836060739046032\ 4794535229624691497407576361596231948424066609564436146699599471281\ 2406/73151072922018610700385405303456866445907712767624330824887457\ 1947450171682178013582369939679096082313*c_0101_5^8 - 8895014587607161151118465275324184155536860401456414384338803276435\ 35640281098266188859061116465187313930756258/7315107292201861070038\ 5405303456866445907712767624330824887457194745017168217801358236993\ 9679096082313*c_0101_5^7 + 4350754938819409683176603053925511273935\ 3394711423678316514337738390319878343601490569206508260369730753077\ 8184/73151072922018610700385405303456866445907712767624330824887457\ 1947450171682178013582369939679096082313*c_0101_5^6 + 7845375169376859350812419698551887178602572740698238823880469510758\ 826183933765285777791431316920802366060334/243836909740062035667951\ 3510115228881530257092254144360829581906491500572273926711941233132\ 26365360771*c_0101_5^5 - 768557783126676764809996511423940706193598\ 2418446670507023362904583128623917664136599540018911945499594539840\ 5/73151072922018610700385405303456866445907712767624330824887457194\ 7450171682178013582369939679096082313*c_0101_5^4 + 6189816632396523266257559936767958762528446968222611629556990733150\ 508686793378402685314872979876371188277710/243836909740062035667951\ 3510115228881530257092254144360829581906491500572273926711941233132\ 26365360771*c_0101_5^3 + 185993772446917653974675274380362811667431\ 025358087653370438814994224915491575260587148839587312666762278359/\ 8127896991335401188931711700384096271767523640847147869431939688305\ 0019075797557064707771075455120257*c_0101_5^2 - 4840073370651596503748950791946544374992189311049929051214138045904\ 215729542279623445128304615632401924807/301033221901311155145618951\ 8660776396950934681795239951641459143816667373177687298692880410202\ 041491*c_0101_5 + 1430052972700791123458459018188564117886867443138\ 520341719105480005626598773369071035538470814233384930182/903099665\ 7039334654368568555982329190852804045385719854924377431450002119533\ 061896078641230606124473, c_0011_0 - 1, c_0011_1 + 378794553357693471098499391445151541479272632361459432245929\ 29678143691246315374489707753589491648097/2438369097400620356679513\ 5101152288815302570922541443608295819064915005722739267119412331322\ 6365360771*c_0101_5^29 + 124008763501253275829689545801812271236551\ 663788990443043062949768831907366670508959444380687937239850/812789\ 6991335401188931711700384096271767523640847147869431939688305001907\ 5797557064707771075455120257*c_0101_5^28 + 1387307066821121492725390961615853124638338286802912274651624704029\ 90477885316394901492127626734426776/8127896991335401188931711700384\ 0962717675236408471478694319396883050019075797557064707771075455120\ 257*c_0101_5^27 + 1941088559576657443493249169384605978274264570824\ 059159430384639503511463105868659081958968924755054290/243836909740\ 0620356679513510115228881530257092254144360829581906491500572273926\ 71194123313226365360771*c_0101_5^26 - 3643272840846578327944151843551765448584220564767889676192261873891\ 3224991945527110346519066551376574190/24383690974006203566795135101\ 1522888153025709225414436082958190649150057227392671194123313226365\ 360771*c_0101_5^25 - 6851168038917855639852997705013183756507753604\ 5189369489788338685334609729935260374466876581119798808587/81278969\ 9133540118893171170038409627176752364084714786943193968830500190757\ 97557064707771075455120257*c_0101_5^24 + 7795791323976146664695743135693122023330857107961583309380134714790\ 29628030545913772973871494952267736095/2438369097400620356679513510\ 1152288815302570922541443608295819064915005722739267119412331322636\ 5360771*c_0101_5^23 + 934200921331772432474518953510018792868028399\ 287239770378058796286949376405758525265124757503618822211733/812789\ 6991335401188931711700384096271767523640847147869431939688305001907\ 5797557064707771075455120257*c_0101_5^22 - 1047959305402389070228866261129246552368501901687372972472882644470\ 905547361548539121195928121702028217811/270929899711180039631057056\ 6794698757255841213615715956477313229435000635859918568823592369181\ 8373419*c_0101_5^21 - 479203422291974772540808777101332068759014699\ 1617099816421318645986184790775349094201912948425901406225265/81278\ 9699133540118893171170038409627176752364084714786943193968830500190\ 75797557064707771075455120257*c_0101_5^20 + 6071011653513629701380162515191927784005632474995145726838609953551\ 0259220113401894621977683396241675906423/24383690974006203566795135\ 1011522888153025709225414436082958190649150057227392671194123313226\ 365360771*c_0101_5^19 + 2364009883000455191708762443130202332731225\ 1485963730843120064669198920059175405758461037322597671845638992/24\ 3836909740062035667951351011522888153025709225414436082958190649150\ 057227392671194123313226365360771*c_0101_5^18 - 2422765848765858363841843122411899412842474464923189449567004645725\ 5326860378290673154895467935190786977569/27092989971118003963105705\ 6679469875725584121361571595647731322943500063585991856882359236918\ 18373419*c_0101_5^17 + 37287707244089213262748340690244479240162578\ 845248667102829132574344253191933587845824977980001586026388666/243\ 8369097400620356679513510115228881530257092254144360829581906491500\ 57227392671194123313226365360771*c_0101_5^16 + 5511901334524636682600779375272406376055045244221012585620334049642\ 78845745916880395635588038252858112674845/2438369097400620356679513\ 5101152288815302570922541443608295819064915005722739267119412331322\ 6365360771*c_0101_5^15 - 458406177695894759960275250380039113219324\ 718398662101237435151526504471752162292279416237624723292037542730/\ 2438369097400620356679513510115228881530257092254144360829581906491\ 50057227392671194123313226365360771*c_0101_5^14 - 6393173367793542625592558063579616291850999191678994809170911283576\ 88213673039069085547865725637031556086435/2438369097400620356679513\ 5101152288815302570922541443608295819064915005722739267119412331322\ 6365360771*c_0101_5^13 + 118163569700446432287277985600318758924019\ 105960062445896119470646059614261036603388848384887238519344137396/\ 2709298997111800396310570566794698757255841213615715956477313229435\ 0006358599185688235923691818373419*c_0101_5^12 - 2257344932391029040037154531657157147119246781923265500848476841080\ 51536811826672987186183273049359265971/9030996657039334654368568555\ 9823291908528040453857198549243774314500021195330618960786412306061\ 24473*c_0101_5^11 - 85948501351946100760725172417340231165422126291\ 3290502446514990332606182582746017480470224396427082003315439/24383\ 6909740062035667951351011522888153025709225414436082958190649150057\ 227392671194123313226365360771*c_0101_5^10 + 1573326054014446469921816480321445818160209201632562067975813235597\ 35003646169737249874401595688802132683347/8127896991335401188931711\ 7003840962717675236408471478694319396883050019075797557064707771075\ 455120257*c_0101_5^9 + 16795312782979378254625390361387605247498115\ 5463243131610340912215484195903938942547394264849391893719041574/24\ 3836909740062035667951351011522888153025709225414436082958190649150\ 057227392671194123313226365360771*c_0101_5^8 - 2394408930625655777391398978298358291320551690646288861074494134281\ 38724369166162893248973041700085382635962/2438369097400620356679513\ 5101152288815302570922541443608295819064915005722739267119412331322\ 6365360771*c_0101_5^7 + 4982437035399095315762112587197052850223860\ 7095473055204365961844843296301660437900715933223371224856693636/24\ 3836909740062035667951351011522888153025709225414436082958190649150\ 057227392671194123313226365360771*c_0101_5^6 + 9359557636157450039948701024833257751788007400067269136819762850700\ 346226811679617247162707090779102611860/812789699133540118893171170\ 0384096271767523640847147869431939688305001907579755706470777107545\ 5120257*c_0101_5^5 - 1418687902668037498446064186186921397176901503\ 5503302334315185594050690158653505998263311974355115247609874/24383\ 6909740062035667951351011522888153025709225414436082958190649150057\ 227392671194123313226365360771*c_0101_5^4 + 2103414354727581721945318610185672078506403265594637932769902912395\ 15364737424780675714615855831099074700/8127896991335401188931711700\ 3840962717675236408471478694319396883050019075797557064707771075455\ 120257*c_0101_5^3 + 74343330797514603039051032863409107790325023248\ 542519210034036424053516405482154958439866837012750574617/270929899\ 7111800396310570566794698757255841213615715956477313229435000635859\ 9185688235923691818373419*c_0101_5^2 - 1344345720455794603951618678236400357462117574792181259965229215541\ 465046511687296941571223911778935380/301033221901311155145618951866\ 0776396950934681795239951641459143816667373177687298692880410202041\ 491*c_0101_5 + 4582854282715253948499399803915895371490479551818444\ 0143623045349648325050514633310703749226888170603/30103322190131115\ 5145618951866077639695093468179523995164145914381666737317768729869\ 2880410202041491, c_0011_4 + 667695061702389962116916070207878714354165336209493548566249\ 437196814136076300863226025439703784145/243836909740062035667951351\ 0115228881530257092254144360829581906491500572273926711941233132263\ 65360771*c_0101_5^29 + 96179576040660630036847611586124373398339179\ 4705052799133931428246408322948588279420502596545175599/81278969913\ 3540118893171170038409627176752364084714786943193968830500190757975\ 57064707771075455120257*c_0101_5^28 - 1041588036316400796359217912834855484127199986026677961060628001334\ 3570074892957004820904629043169911/81278969913354011889317117003840\ 9627176752364084714786943193968830500190757975570647077710754551202\ 57*c_0101_5^27 - 32761773437245513062949433327160765626301216530139\ 056096533938373776053373386238590327460682039071394/243836909740062\ 0356679513510115228881530257092254144360829581906491500572273926711\ 94123313226365360771*c_0101_5^26 - 8781649883730179529223195799969134506682237766419887730256551588418\ 67676221632990890738371753333669293/2438369097400620356679513510115\ 2288815302570922541443608295819064915005722739267119412331322636536\ 0771*c_0101_5^25 - 284270639594062433380130761258355375592566154950\ 03043977447059016008496378665248540731610291190486444/2709298997111\ 8003963105705667946987572558412136157159564773132294350006358599185\ 688235923691818373419*c_0101_5^24 + 3596431402950493803091293359227522745988330015830323435783012969054\ 6748115379328714397063439501902082415/24383690974006203566795135101\ 1522888153025709225414436082958190649150057227392671194123313226365\ 360771*c_0101_5^23 - 3991290216305567335992378241686491322232004216\ 84582396479593493292169626422393168549063927682383041049/9030996657\ 0393346543685685559823291908528040453857198549243774314500021195330\ 61896078641230606124473*c_0101_5^22 - 5312477738985651763654557410513499254435176874230125730303938336650\ 3153006486208602735225287342613524157/27092989971118003963105705667\ 9469875725584121361571595647731322943500063585991856882359236918183\ 73419*c_0101_5^21 + 14804899664949480200206946365318165440956693092\ 0862164821870367717134183198256924237148794437496133310340/81278969\ 9133540118893171170038409627176752364084714786943193968830500190757\ 97557064707771075455120257*c_0101_5^20 + 2926774724901874980907417523029181658088368773373298587381489769947\ 214722954609184607996597215471762940207/243836909740062035667951351\ 0115228881530257092254144360829581906491500572273926711941233132263\ 65360771*c_0101_5^19 - 41610038675602877081281881157190739733062721\ 91498020742327558883814157112143356956340839068771671824259837/2438\ 3690974006203566795135101152288815302570922541443608295819064915005\ 7227392671194123313226365360771*c_0101_5^18 - 3060816607551552854073580649996986902058742847814959503829163632495\ 155045191901339254765837988367232841741/812789699133540118893171170\ 0384096271767523640847147869431939688305001907579755706470777107545\ 5120257*c_0101_5^17 + 179049783440078753412661934244765682218986930\ 91959438065488853557626573806025524696742665549115474162470889/2438\ 3690974006203566795135101152288815302570922541443608295819064915005\ 7227392671194123313226365360771*c_0101_5^16 + 1766281783416420434032664560271821173672322479959370502669067570205\ 7745613452471078202268396540982065173319/24383690974006203566795135\ 1011522888153025709225414436082958190649150057227392671194123313226\ 365360771*c_0101_5^15 - 5519229417642522160913530630769912877767136\ 7591231587975517358151643085026676694070055405605076545859765468/24\ 3836909740062035667951351011522888153025709225414436082958190649150\ 057227392671194123313226365360771*c_0101_5^14 + 1261082797585153909254500644920677693910563512238843310588539691973\ 198439052863165805284312137749777151385/243836909740062035667951351\ 0115228881530257092254144360829581906491500572273926711941233132263\ 65360771*c_0101_5^13 + 28972168681433675280284311913456917909399215\ 732672365425824084588920519093019457492522836766497463869482302/812\ 7896991335401188931711700384096271767523640847147869431939688305001\ 9075797557064707771075455120257*c_0101_5^12 - 6203135541323220813181701886469601364155685238435384292652113343654\ 517334486903352445913086375433109266637/270929899711180039631057056\ 6794698757255841213615715956477313229435000635859918568823592369181\ 8373419*c_0101_5^11 - 492382694593697622507655566160827786975800622\ 17401573167038771651240654535450189920906559001646000415796520/2438\ 3690974006203566795135101152288815302570922541443608295819064915005\ 7227392671194123313226365360771*c_0101_5^10 + 7269645936752187177836627423641796522510153973752513584256651854310\ 840955935868006672552843935749542678512/270929899711180039631057056\ 6794698757255841213615715956477313229435000635859918568823592369181\ 8373419*c_0101_5^9 - 5529302967317525888635940618495749389930793693\ 341436688969792122268980333539786360333812962448420433908809/243836\ 9097400620356679513510115228881530257092254144360829581906491500572\ 27392671194123313226365360771*c_0101_5^8 - 2332740248968594293778864134361751865317024447958451928678169227142\ 5706331245974873400699910274656805568607/24383690974006203566795135\ 1011522888153025709225414436082958190649150057227392671194123313226\ 365360771*c_0101_5^7 + 10687162594066465787024870271826606668649266\ 668306236322454462683012567274688188069749345479820240439884636/243\ 8369097400620356679513510115228881530257092254144360829581906491500\ 57227392671194123313226365360771*c_0101_5^6 + 1442958033857228302977513283482799587621954298861204531969110673100\ 33852653544932199029018319363810751742/2709298997111800396310570566\ 7946987572558412136157159564773132294350006358599185688235923691818\ 373419*c_0101_5^5 - 19455776706927396263588825184647515466951086584\ 77794224111857611264442459777909777684935561207947982235998/2438369\ 0974006203566795135101152288815302570922541443608295819064915005722\ 7392671194123313226365360771*c_0101_5^4 + 1054493894802470927168473924339091160652905226072197874369898035152\ 89157008658013526538369838897081512350/8127896991335401188931711700\ 3840962717675236408471478694319396883050019075797557064707771075455\ 120257*c_0101_5^3 + 72485679163304283760225112254483861262134381468\ 70111785462458697795423858264539933865562600740110236528/2709298997\ 1118003963105705667946987572558412136157159564773132294350006358599\ 185688235923691818373419*c_0101_5^2 - 2743974744926973657457533459581478578425133068097321824255160800682\ 15731516978426541051481603322139265/3010332219013111551456189518660\ 7763969509346817952399516414591438166673731776872986928804102020414\ 91*c_0101_5 + 19554333053221623773228071279830748496920632691616203\ 963966686479805802725907232598423360831316897343/301033221901311155\ 1456189518660776396950934681795239951641459143816667373177687298692\ 880410202041491, c_0101_0 - 923613691606041076190178012555397837637684420225019339426439\ 51858013626780221470648060462371339130416/2438369097400620356679513\ 5101152288815302570922541443608295819064915005722739267119412331322\ 6365360771*c_0101_5^29 - 986655656586578733542883464559990553424518\ 40724109854700459593438817890110543682962933732194933886386/2709298\ 9971118003963105705667946987572558412136157159564773132294350006358\ 599185688235923691818373419*c_0101_5^28 - 2748795865640404484256661237461679315788698554274436283361896745702\ 17616402262533295493953618550480228/8127896991335401188931711700384\ 0962717675236408471478694319396883050019075797557064707771075455120\ 257*c_0101_5^27 - 4498322989310001340974787317242932090064061782901\ 470633436703080488317726193167079104431502508193490867/243836909740\ 0620356679513510115228881530257092254144360829581906491500572273926\ 71194123313226365360771*c_0101_5^26 + 8985290425653211733215636277698971023293281684383360691054972969634\ 6978659869504784998686742448213987871/24383690974006203566795135101\ 1522888153025709225414436082958190649150057227392671194123313226365\ 360771*c_0101_5^25 + 1609702189447334681918131965458043067114390647\ 78451243015818093121763425494525681130867749696164270319680/8127896\ 9913354011889317117003840962717675236408471478694319396883050019075\ 797557064707771075455120257*c_0101_5^24 - 2006793331698444014707418244663081553280492151402232399242759937818\ 407287719905275929524096945462073921409/243836909740062035667951351\ 0115228881530257092254144360829581906491500572273926711941233132263\ 65360771*c_0101_5^23 - 21513581156971630428115467235857865821935552\ 47415288282449801907785348723993879309400001466976420116776311/8127\ 8969913354011889317117003840962717675236408471478694319396883050019\ 075797557064707771075455120257*c_0101_5^22 + 2716998392120401144164667526140841793450351844135508744684845614489\ 628848034413638518971213029035291336220/270929899711180039631057056\ 6794698757255841213615715956477313229435000635859918568823592369181\ 8373419*c_0101_5^21 + 101625514852719965968275483715729464907441078\ 71552466917929713958159785503767912809971710051930686764421366/8127\ 8969913354011889317117003840962717675236408471478694319396883050019\ 075797557064707771075455120257*c_0101_5^20 - 1557692607567074351587322445244539706715045305834673192139242306329\ 12116284653659869265640170738925676762191/2438369097400620356679513\ 5101152288815302570922541443608295819064915005722739267119412331322\ 6365360771*c_0101_5^19 - 281246780919329723413751798262980141430424\ 82202682468673407232835357967992804970656989865533285375965971391/2\ 4383690974006203566795135101152288815302570922541443608295819064915\ 0057227392671194123313226365360771*c_0101_5^18 + 1822521177728389912464889302481615693692200946982884337113147542771\ 42751926388987735855402002458512985917665/8127896991335401188931711\ 7003840962717675236408471478694319396883050019075797557064707771075\ 455120257*c_0101_5^17 - 1980056397189267837788204762290012125256559\ 09110256649443698048653387811893851577051401460111438992951791228/2\ 4383690974006203566795135101152288815302570922541443608295819064915\ 0057227392671194123313226365360771*c_0101_5^16 - 1336880465550159051160970961064761708476979175556314723388378531813\ 093657836912688506737459460168968767947250/243836909740062035667951\ 3510115228881530257092254144360829581906491500572273926711941233132\ 26365360771*c_0101_5^15 + 13926156902945016437558503603870265776910\ 5400191468216203563457602429152746305347218480938071265866912735855\ 3/24383690974006203566795135101152288815302570922541443608295819064\ 9150057227392671194123313226365360771*c_0101_5^14 + 1358870741209500567787873873860735242542536806738849280927251935292\ 821207723733098128239715416037746573983766/243836909740062035667951\ 3510115228881530257092254144360829581906491500572273926711941233132\ 26365360771*c_0101_5^13 - 97627516445943907576983895673406593095228\ 2557210568279291726222312947507372992615530305099096282178229476466\ /812789699133540118893171170038409627176752364084714786943193968830\ 50019075797557064707771075455120257*c_0101_5^12 + 5650243605279676234347003269233780804393706105199929054234662900645\ 3213485842725280971481843475999021197945/27092989971118003963105705\ 6679469875725584121361571595647731322943500063585991856882359236918\ 18373419*c_0101_5^11 + 21360702238607700081026765747367503930364264\ 21235779847384964453717381402345739261171587762507284692445829338/2\ 4383690974006203566795135101152288815302570922541443608295819064915\ 0057227392671194123313226365360771*c_0101_5^10 - 5226470559440157016291876509749295348703994826071916079661358234277\ 03544470292982122816729364055294587806899/8127896991335401188931711\ 7003840962717675236408471478694319396883050019075797557064707771075\ 455120257*c_0101_5^9 - 21257098017944215806266291863432098455853275\ 5927593142289162504321975550271694433088534275375807884076373366/24\ 3836909740062035667951351011522888153025709225414436082958190649150\ 057227392671194123313226365360771*c_0101_5^8 + 6798617094954633202639725722703951074920723862105449296783065597914\ 13412139164019898241858901234184494364360/2438369097400620356679513\ 5101152288815302570922541443608295819064915005722739267119412331322\ 6365360771*c_0101_5^7 - 2301115043097940723062041907706492055280760\ 29639548851090394760363821615860577524209914180448267831846787780/2\ 4383690974006203566795135101152288815302570922541443608295819064915\ 0057227392671194123313226365360771*c_0101_5^6 - 1728136155541926996476437018466087510806344317300899345616529449989\ 0930937138608378167817103205511828622159/81278969913354011889317117\ 0038409627176752364084714786943193968830500190757975570647077710754\ 55120257*c_0101_5^5 + 490104415653481772855543612998741870407218366\ 14084563078055843070236290049681927166027946376961830976798321/2438\ 3690974006203566795135101152288815302570922541443608295819064915005\ 7227392671194123313226365360771*c_0101_5^4 - 8197778173699999879251075369042675862543364215820207100732958299413\ 76919436705155562176943763495994318112/2709298997111800396310570566\ 7946987572558412136157159564773132294350006358599185688235923691818\ 373419*c_0101_5^3 - 18543877117730232948923686883878835630284836882\ 5095754093275517925522979176122661094532447058059072194019/27092989\ 9711180039631057056679469875725584121361571595647731322943500063585\ 99185688235923691818373419*c_0101_5^2 + 2130347904099603459764957039519159195148315224838939341987439609203\ 7062044821435286178227152136031796352/90309966570393346543685685559\ 8232919085280404538571985492437743145000211953306189607864123060612\ 4473*c_0101_5 - 537889127651736681653992457354878188065560787491070\ 642778878879528958553893224960738634467315332944052/301033221901311\ 1551456189518660776396950934681795239951641459143816667373177687298\ 692880410202041491, c_0101_1 - 768466926139261026729965431399430825737748027360538676968926\ 59215615438959912426401056214134455570720/2438369097400620356679513\ 5101152288815302570922541443608295819064915005722739267119412331322\ 6365360771*c_0101_5^29 - 247975860587333005096463568735382027154043\ 741652556768605129304080892926558265846580184337754806421203/812789\ 6991335401188931711700384096271767523640847147869431939688305001907\ 5797557064707771075455120257*c_0101_5^28 - 2457230476868237138572141786414766932103968588359508743754408632874\ 81889826804520403186129339291524997/8127896991335401188931711700384\ 0962717675236408471478694319396883050019075797557064707771075455120\ 257*c_0101_5^27 - 3808828040481032049431926787176608202385962502293\ 873371984999952664287609112138571250395247453510333658/243836909740\ 0620356679513510115228881530257092254144360829581906491500572273926\ 71194123313226365360771*c_0101_5^26 + 7448069929145355947352115272002067333557842975647871961607528607770\ 7749941814276159334703946674908753910/24383690974006203566795135101\ 1522888153025709225414436082958190649150057227392671194123313226365\ 360771*c_0101_5^25 + 4518173655370033280193941537742776013775624368\ 0877478107530785464762581253597237840165990969307178378268/27092989\ 9711180039631057056679469875725584121361571595647731322943500063585\ 99185688235923691818373419*c_0101_5^24 - 1641142860299292747078970509069639690683881847150357888933276852156\ 586967561953893452790111827369284439673/243836909740062035667951351\ 0115228881530257092254144360829581906491500572273926711941233132263\ 65360771*c_0101_5^23 - 67519672716049513545771516525046192208940529\ 825131312181079805508189635928357302992961981403358313664825/301033\ 2219013111551456189518660776396950934681795239951641459143816667373\ 177687298692880410202041491*c_0101_5^22 + 2216928752079612961961537026029024706964719273998876852991622930718\ 566372773293298475742561301213702161809/270929899711180039631057056\ 6794698757255841213615715956477313229435000635859918568823592369181\ 8373419*c_0101_5^21 + 885169907364326860538082946649950785843942574\ 6060093691453508342731043271731136362221046522909415998423620/81278\ 9699133540118893171170038409627176752364084714786943193968830500190\ 75797557064707771075455120257*c_0101_5^20 - 1274856712512984189052318380249700865211830431107576795333015118785\ 78318721035166866024785219687055972772604/2438369097400620356679513\ 5101152288815302570922541443608295819064915005722739267119412331322\ 6365360771*c_0101_5^19 - 310935484387064190256039119255503201191949\ 52270017405730906460074557794964368485320612032494505328123722490/2\ 4383690974006203566795135101152288815302570922541443608295819064915\ 0057227392671194123313226365360771*c_0101_5^18 + 1501788091971421664020652036855802352450199779239309511084640846923\ 82580140787297382740320276140569949060910/8127896991335401188931711\ 7003840962717675236408471478694319396883050019075797557064707771075\ 455120257*c_0101_5^17 - 1367537669308020678878547136590265884178925\ 49398790819957365609999683581892656040339578491707283146497944975/2\ 4383690974006203566795135101152288815302570922541443608295819064915\ 0057227392671194123313226365360771*c_0101_5^16 - 1112847863434396461057048085292004626332702965210317885043668590268\ 624622711462228909552856636788855480464452/243836909740062035667951\ 3510115228881530257092254144360829581906491500572273926711941233132\ 26365360771*c_0101_5^15 + 10864482830660261707948414073117217221288\ 6599722077556868034100383765546177308224005272435483158250810891944\ 2/24383690974006203566795135101152288815302570922541443608295819064\ 9150057227392671194123313226365360771*c_0101_5^14 + 1180112629508384096637137105519743220993195852793907321727137932696\ 305318129690125099243205061705379280627143/243836909740062035667951\ 3510115228881530257092254144360829581906491500572273926711941233132\ 26365360771*c_0101_5^13 - 78241550103300782985710583483382145688181\ 7585255594266207082179714083226118978213593647778856501359322884498\ /812789699133540118893171170038409627176752364084714786943193968830\ 50019075797557064707771075455120257*c_0101_5^12 + 3304535961028290841425733611913623967323891464252122700812521500702\ 2688457142125449791789147973662335560758/27092989971118003963105705\ 6679469875725584121361571595647731322943500063585991856882359236918\ 18373419*c_0101_5^11 + 17632160322980672808683465713035621107077794\ 23504406658974778126760754102986821159741342834326035776394257589/2\ 4383690974006203566795135101152288815302570922541443608295819064915\ 0057227392671194123313226365360771*c_0101_5^10 - 1330164653497521972130397446608255638068266532730512989100819830314\ 52898327030613847468722600908006007768498/2709298997111800396310570\ 5667946987572558412136157159564773132294350006358599185688235923691\ 818373419*c_0101_5^9 - 22540595299493787055050289308746563157040435\ 0197225076871626516347693879952080892039443145116757178545463553/24\ 3836909740062035667951351011522888153025709225414436082958190649150\ 057227392671194123313226365360771*c_0101_5^8 + 5403182672063015384838451113733777050823465493704557626595759451953\ 16544661083047490027587540498685246206198/2438369097400620356679513\ 5101152288815302570922541443608295819064915005722739267119412331322\ 6365360771*c_0101_5^7 - 1640967526167568250281510840114736563601899\ 70033662098754901297206667502916450979445326744698422661377271400/2\ 4383690974006203566795135101152288815302570922541443608295819064915\ 0057227392671194123313226365360771*c_0101_5^6 - 5233911308445116351210183271548699014190101873161059694933222725037\ 240449858405420267595349773053829870610/270929899711180039631057056\ 6794698757255841213615715956477313229435000635859918568823592369181\ 8373419*c_0101_5^5 + 3712422258707763132743909213713237381531087666\ 8685339899200826846992864115527461831820789868244384720128091/24383\ 6909740062035667951351011522888153025709225414436082958190649150057\ 227392671194123313226365360771*c_0101_5^4 - 1563072855299034422553215386383932004065364261964213588761752616257\ 230421628862239604659668286391872933254/812789699133540118893171170\ 0384096271767523640847147869431939688305001907579755706470777107545\ 5120257*c_0101_5^3 - 1530735470371705484155848449094505693426995387\ 67206871361584951167051551024411614165492520865884598542540/2709298\ 9971118003963105705667946987572558412136157159564773132294350006358\ 599185688235923691818373419*c_0101_5^2 + 4961270371696188401310125302651416643195611887311383110712020030770\ 948076540146249646092666388591765320/301033221901311155145618951866\ 0776396950934681795239951641459143816667373177687298692880410202041\ 491*c_0101_5 - 3423329322822804381665907257789745298116223321248265\ 54513053314317441292476107655974917814030927161951/3010332219013111\ 5514561895186607763969509346817952399516414591438166673731776872986\ 92880410202041491, c_0101_3 + 698241036910747933891445665227964889195272761195816355172384\ 3667580645251362256547857987147564787277/24383690974006203566795135\ 1011522888153025709225414436082958190649150057227392671194123313226\ 365360771*c_0101_5^29 + 2316758946997092259845936700955651832834862\ 5851138215648552716558569163973111117367695825174499731459/81278969\ 9133540118893171170038409627176752364084714786943193968830500190757\ 97557064707771075455120257*c_0101_5^28 + 2967682403212850241400703949727174528331959041999208982200148738649\ 4484798486602371431888926576236668/81278969913354011889317117003840\ 9627176752364084714786943193968830500190757975570647077710754551202\ 57*c_0101_5^27 + 40187778901872555791811669736418652144952388037777\ 3269569749614702708247424733621886525602444310063326/24383690974006\ 2035667951351011522888153025709225414436082958190649150057227392671\ 194123313226365360771*c_0101_5^26 - 6608624146600859960650880643806122250713329173357843846807207358283\ 870037776789145756797523121283349834/243836909740062035667951351011\ 5228881530257092254144360829581906491500572273926711941233132263653\ 60771*c_0101_5^25 - 12856942708659107729236282378422840180546654432\ 423879987271982549641822036516532919837195925045034238731/812789699\ 1335401188931711700384096271767523640847147869431939688305001907579\ 7557064707771075455120257*c_0101_5^24 + 1357302779555793320416150928631940701130284632435798706756647133744\ 46832382517660218951410514618426141986/2438369097400620356679513510\ 1152288815302570922541443608295819064915005722739267119412331322636\ 5360771*c_0101_5^23 + 172033656272064343369562021341448564410586385\ 564964190710152140052620165628400918744631931221322117125201/812789\ 6991335401188931711700384096271767523640847147869431939688305001907\ 5797557064707771075455120257*c_0101_5^22 - 1797618163894109247017163257640680184447406980254550520284003787695\ 86600264741806418165776927666754149910/2709298997111800396310570566\ 7946987572558412136157159564773132294350006358599185688235923691818\ 373419*c_0101_5^21 - 8682205737862233351354213353576029671310455889\ 11773481103093542462928117949884274731212680031362064135185/8127896\ 9913354011889317117003840962717675236408471478694319396883050019075\ 797557064707771075455120257*c_0101_5^20 + 1023593065971901817007349329746492978066066356610420627114537456477\ 6029542040962909189070491699958693675025/24383690974006203566795135\ 1011522888153025709225414436082958190649150057227392671194123313226\ 365360771*c_0101_5^19 + 4180539504720375900368469795134472872847968\ 154988408992960571657107197767068577074229047166494909414652142/243\ 8369097400620356679513510115228881530257092254144360829581906491500\ 57227392671194123313226365360771*c_0101_5^18 - 3960257887601337053845878527720229355995189196960766112085948643918\ 335097542899197582546840416447416577160/270929899711180039631057056\ 6794698757255841213615715956477313229435000635859918568823592369181\ 8373419*c_0101_5^17 + 644992875884198511580510788108133560516038300\ 2228218301912272108207633295813289706628077408493105541834429/24383\ 6909740062035667951351011522888153025709225414436082958190649150057\ 227392671194123313226365360771*c_0101_5^16 + 8743570701563262217636429118675469555942656422058076112348166189990\ 6325898280648928285004710876742898892391/24383690974006203566795135\ 1011522888153025709225414436082958190649150057227392671194123313226\ 365360771*c_0101_5^15 - 7883252876627850754117755714555647714746756\ 4873496198316969816644495075997040789909667045035819209094077970/24\ 3836909740062035667951351011522888153025709225414436082958190649150\ 057227392671194123313226365360771*c_0101_5^14 - 8750506259178588395371867907101592552265021624733230943176029617025\ 4839556560537093266747080715807082591335/24383690974006203566795135\ 1011522888153025709225414436082958190649150057227392671194123313226\ 365360771*c_0101_5^13 + 1906548738022284807822471523490898805010311\ 2629540729846584931576486765032694639868789957101402034323437228/27\ 0929899711180039631057056679469875725584121361571595647731322943500\ 06358599185688235923691818373419*c_0101_5^12 - 1362463863965727736122718946794142167186439005798129163257682278183\ 233882958267200476172565352784142201676/903099665703933465436856855\ 5982329190852804045385719854924377431450002119533061896078641230606\ 124473*c_0101_5^11 - 1124624262759048188582191932251059484747606996\ 68740016684172596420589291107902358686010744195240125788347547/2438\ 3690974006203566795135101152288815302570922541443608295819064915005\ 7227392671194123313226365360771*c_0101_5^10 + 3341002845000469148869653920825063003453796842122310580980271905307\ 3020312675552691083884158357599364805585/81278969913354011889317117\ 0038409627176752364084714786943193968830500190757975570647077710754\ 55120257*c_0101_5^9 - 698917575663026892509703249080696764651922339\ 5056180061473161389483713696174853531068924318565652713619497/24383\ 6909740062035667951351011522888153025709225414436082958190649150057\ 227392671194123313226365360771*c_0101_5^8 - 3645109462995627807063265771891336657262785237787286388904061357372\ 2941336461902362551185069074519511218462/24383690974006203566795135\ 1011522888153025709225414436082958190649150057227392671194123313226\ 365360771*c_0101_5^7 + 21424336797655750604572421714940816570462921\ 460334281867885303299805067156556827649135017625592047549824105/243\ 8369097400620356679513510115228881530257092254144360829581906491500\ 57227392671194123313226365360771*c_0101_5^6 - 3340653063826178552719084799555563102010365055585247751504058785681\ 13501149347179612748168959856060669829/8127896991335401188931711700\ 3840962717675236408471478694319396883050019075797557064707771075455\ 120257*c_0101_5^5 - 34844910595615257751956312238475873346582584671\ 07254595108013141159221670671687839517739287482506171155383/2438369\ 0974006203566795135101152288815302570922541443608295819064915005722\ 7392671194123313226365360771*c_0101_5^4 + 4077562272518833441282573666057897625634803799161747932380939058482\ 84496633795784005506360008925279530242/8127896991335401188931711700\ 3840962717675236408471478694319396883050019075797557064707771075455\ 120257*c_0101_5^3 + 22488917886308827763566196064643862471797594391\ 46913028965040087009855337927763339685091458971178301475/2709298997\ 1118003963105705667946987572558412136157159564773132294350006358599\ 185688235923691818373419*c_0101_5^2 - 8975674927581271655598804043045733209913592318008293832210429755776\ 57404096488984202737131015478125995/3010332219013111551456189518660\ 7763969509346817952399516414591438166673731776872986928804102020414\ 91*c_0101_5 + 10209509565227713096528161987094672197737436715898062\ 1825426160469329845150972337168277360133678598962/30103322190131115\ 5145618951866077639695093468179523995164145914381666737317768729869\ 2880410202041491, c_0101_5^30 + 9*c_0101_5^29 + 3*c_0101_5^28 + 43*c_0101_5^27 - 1003*c_0101_5^26 - 4632*c_0101_5^25 + 24961*c_0101_5^24 + 56652*c_0101_5^23 - 308142*c_0101_5^22 - 169104*c_0101_5^21 + 1894894*c_0101_5^20 - 723032*c_0101_5^19 - 6142911*c_0101_5^18 + 5766271*c_0101_5^17 + 13287566*c_0101_5^16 - 23991391*c_0101_5^15 - 5779922*c_0101_5^14 + 41019564*c_0101_5^13 - 24597855*c_0101_5^12 - 20378410*c_0101_5^11 + 31172916*c_0101_5^10 - 7606439*c_0101_5^9 - 9045932*c_0101_5^8 + 6901876*c_0101_5^7 - 827022*c_0101_5^6 - 900455*c_0101_5^5 + 387657*c_0101_5^4 - 23094*c_0101_5^3 - 17361*c_0101_5^2 + 3888*c_0101_5 - 243 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB