Magma V2.19-8 Tue Aug 20 2013 16:18:08 on localhost [Seed = 3785391322] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2360 geometric_solution 5.73192604 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 0 -1 -1 2 0 0 -1 1 1 -2 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.427583779493 0.195959420613 0 2 0 3 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 0 0 1 -1 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.914538932675 1.652466619829 4 1 5 3 0132 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 -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 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.455627403033 0.617426736176 2 5 1 4 3120 3201 0132 3201 0 0 0 0 0 -1 1 0 0 0 1 -1 -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 -1 1 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.455627403033 0.617426736176 2 3 4 4 0132 2310 2031 1302 0 0 0 0 0 -1 1 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 1 -1 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.598575786843 1.156391058020 6 6 3 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.266527819448 0.866997951291 5 6 6 5 0132 3201 2310 3201 0 0 0 0 0 -1 0 1 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.844524984709 0.623910342216 ==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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : d['c_0011_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_3, c_0011_5, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 1305381486572781996727931202575674363981663073833536623137529353/32\ 1400150363256410505533600566127877190620195599711263867077050*c_010\ 1_5^29 - 5182504101444296368514370478932943368719854018326396704963\ 077/2073549357182299422616345810104050820584646423223943637852110*c\ _0101_5^28 + 125941460838848068071300169528655789064011638604038531\ 7148614329/12856006014530256420221344022645115087624807823988450554\ 683082*c_0101_5^27 + 1109935078838340582840862060972257176546078999\ 6879826529539288036/32140015036325641050553360056612787719062019559\ 971126386707705*c_0101_5^26 + 2172805106722814824161894388873976291\ 947172076030983838343517321/160700075181628205252766800283063938595\ 310097799855631933538525*c_0101_5^25 - 894419287098998705661441621106473516272170147759463612221648466639/\ 321400150363256410505533600566127877190620195599711263867077050*c_0\ 101_5^24 - 25746875085100076591937853490699217719877009288541108008\ 7330199179/32140015036325641050553360056612787719062019559971126386\ 707705*c_0101_5^23 - 2078121011840060858658221376433704407132750631\ 142704793029037486803/160700075181628205252766800283063938595310097\ 799855631933538525*c_0101_5^22 - 4394360778500228079363968353977851\ 622417761103609011146012084045559/321400150363256410505533600566127\ 877190620195599711263867077050*c_0101_5^21 - 73562825126076914498403555586407962474481470307029988353511314713/1\ 0367746785911497113081729050520254102923232116119718189260550*c_010\ 1_5^20 - 3736561113239664517594754462681673237784782674299920433824\ 24385239/3214001503632564105055336005661278771906201955997112638670\ 77050*c_0101_5^19 - 81925074537001079144387811461230463165417002658\ 4514435301926915971/16070007518162820525276680028306393859531009779\ 9855631933538525*c_0101_5^18 - 565270951915017019058126681453676848\ 09034346584385537354045388987/1285600601453025642022134402264511508\ 7624807823988450554683082*c_0101_5^17 + 3656688267646587555319010213821430734251571290981218128088017191768\ /160700075181628205252766800283063938595310097799855631933538525*c_\ 0101_5^16 + 6137354293805003832955490064707922693124253314289720647\ 377756433867/160700075181628205252766800283063938595310097799855631\ 933538525*c_0101_5^15 + 2239561878713373990062575573055547448931428\ 950846000662361534474127/321400150363256410505533600566127877190620\ 195599711263867077050*c_0101_5^14 - 791301837596769256617244256130759787588039845393228492471111335977/\ 321400150363256410505533600566127877190620195599711263867077050*c_0\ 101_5^13 + 55938378058257553336510847445238059197607321716930522072\ 43492711637/3214001503632564105055336005661278771906201955997112638\ 67077050*c_0101_5^12 + 56170160680375283558980304355153743307956193\ 7247484003836736924561/16070007518162820525276680028306393859531009\ 7799855631933538525*c_0101_5^11 - 258351043180537554422184689853233\ 1471191448656969013564715476791141/16070007518162820525276680028306\ 3938595310097799855631933538525*c_0101_5^10 - 2967319034995807041366182113841387908911018369051776433460321076622\ /160700075181628205252766800283063938595310097799855631933538525*c_\ 0101_5^9 - 23887192713817054924996065303607843910066804042867592080\ 85771660682/1607000751816282052527668002830639385953100977998556319\ 33538525*c_0101_5^8 + 215420514762784889804938401312318189427273657\ 329791221327799788431/321400150363256410505533600566127877190620195\ 599711263867077050*c_0101_5^7 + 15536727145921197181215469064823054\ 57237390468448562157147579791919/3214001503632564105055336005661278\ 77190620195599711263867077050*c_0101_5^6 - 611573906577639780356468399375544349337261149901532828717787854463/\ 160700075181628205252766800283063938595310097799855631933538525*c_0\ 101_5^5 + 217442712770275229039977053147432146363312948067510435725\ 257429857/160700075181628205252766800283063938595310097799855631933\ 538525*c_0101_5^4 + 11699010549603773658881166125654645320442152073\ 54744217898430526961/1607000751816282052527668002830639385953100977\ 99855631933538525*c_0101_5^3 + 648816602429998942195969251915313379\ 80382205867310826221284128817/3214001503632564105055336005661278771\ 9062019559971126386707705*c_0101_5^2 - 264599243985183247367130183789935480185475368265381536143454708293/\ 160700075181628205252766800283063938595310097799855631933538525*c_0\ 101_5 - 22342269238299468723010054278202418314420546758514332028217\ 3832197/32140015036325641050553360056612787719062019559971126386707\ 7050, c_0011_0 - 1, c_0011_3 + 1147919559699849618969304973799064405436482890561269/3703412\ 094944008943659209843558363716606696554894171*c_0101_5^29 + 384240716125228964555169877000457193523441427434736/370341209494400\ 8943659209843558363716606696554894171*c_0101_5^28 - 27688924557303742128635376578924137691603721511271125/3703412094944\ 008943659209843558363716606696554894171*c_0101_5^27 - 89784831256066154794998931368881111461429631950728574/3703412094944\ 008943659209843558363716606696554894171*c_0101_5^26 + 18814335897128904757468579391768607967526168278810789/3703412094944\ 008943659209843558363716606696554894171*c_0101_5^25 + 772618557552270548772597719836138389303651692473615892/370341209494\ 4008943659209843558363716606696554894171*c_0101_5^24 + 2047981318878977521981555705103771862723235961719012505/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^23 + 3151508916890574615069303145695902272714558730576977929/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^22 + 3177045809176246935784804748008373418154881176980595775/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^21 + 1429509047381275254121684162279998783550631996163014114/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^20 + 272212157496707324408452725072202656379327580062446421/370341209494\ 4008943659209843558363716606696554894171*c_0101_5^19 + 1575975308490987421309395640920355713181520587563708482/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^18 + 918364668649401592653893134037241965898707738369358828/370341209494\ 4008943659209843558363716606696554894171*c_0101_5^17 - 6440334190480247435694990453454130527535787650368614060/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^16 - 8794795901879589352518187713299593441896635543596268288/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^15 - 15930320445479062029021556755192429943457735182318493/3703412094944\ 008943659209843558363716606696554894171*c_0101_5^14 - 102084859109568775647868296878491604939612983726552212/370341209494\ 4008943659209843558363716606696554894171*c_0101_5^13 - 4915303094219369402585064023143444271924762443026686016/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^12 + 330365579972870054353063936331886354211376612254480669/370341209494\ 4008943659209843558363716606696554894171*c_0101_5^11 + 3848681010344265117832902732578879123795366249022338864/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^10 + 4058125334953249181692782258548497710443258110426398680/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^9 + 3350273557189984090631319889683682817634731664691249162/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^8 - 856457072582459634466603599616535164648794588569938639/370341209494\ 4008943659209843558363716606696554894171*c_0101_5^7 - 822669551611178353206872884332785241887325284954030067/370341209494\ 4008943659209843558363716606696554894171*c_0101_5^6 + 1254931751478840961191431458267010392014383695381792367/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^5 - 790477413382437980395058988423835112121575768003866167/370341209494\ 4008943659209843558363716606696554894171*c_0101_5^4 - 1658995054233420310308350714373525699287168759590414037/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^3 - 155514303301636360993002007676490568893285966408717434/370341209494\ 4008943659209843558363716606696554894171*c_0101_5^2 + 358885095096740943555446196510844490237367006984334500/370341209494\ 4008943659209843558363716606696554894171*c_0101_5 + 100226034252000101215383668883337757525855103701442779/370341209494\ 4008943659209843558363716606696554894171, c_0011_5 + 161549691789332846425218728993942229462252639743621349401855\ /414709871436459884523269162020810164116929284644788727570422*c_010\ 1_5^29 + 8353619311633152754971474495934211266225385146783052739645\ 5/207354935718229942261634581010405082058464642322394363785211*c_01\ 01_5^28 - 391279936361708987529491518205077866947740413998359652084\ 5653/414709871436459884523269162020810164116929284644788727570422*c\ _0101_5^27 - 153428645061358175805764816422897333385997428258562268\ 81094485/4147098714364598845232691620208101641169292846447887275704\ 22*c_0101_5^26 - 48910888950012384404441655437662781097083253461100\ 69113284763/4147098714364598845232691620208101641169292846447887275\ 70422*c_0101_5^25 + 56964217450817287487181610657202524656462007980\ 440815043293624/207354935718229942261634581010405082058464642322394\ 363785211*c_0101_5^24 + 1804256649888606493772968734954714827395972\ 36405399008937292235/2073549357182299422616345810104050820584646423\ 22394363785211*c_0101_5^23 + 30508168301217749959670215039761462005\ 7734565749416000196454616/20735493571822994226163458101040508205846\ 4642322394363785211*c_0101_5^22 + 684604622614570967630714729302702\ 662519514202939222160857969725/414709871436459884523269162020810164\ 116929284644788727570422*c_0101_5^21 + 211254937830052261092101720085760390871631128820576360093752295/207\ 354935718229942261634581010405082058464642322394363785211*c_0101_5^\ 20 + 11460817371679902744039342638678865279963056866629682712894021\ 7/414709871436459884523269162020810164116929284644788727570422*c_01\ 01_5^19 + 267411292222570157126442183780804129780390812606700586383\ 605385/414709871436459884523269162020810164116929284644788727570422\ *c_0101_5^18 + 1573760252427745608727619770572751783558724208233373\ 10395756587/2073549357182299422616345810104050820584646423223943637\ 85211*c_0101_5^17 - 42934929523160694555813518060071091309544190633\ 0122070137935602/20735493571822994226163458101040508205846464232239\ 4363785211*c_0101_5^16 - 919809979504885619986795791574043436846736\ 793173344048059526083/207354935718229942261634581010405082058464642\ 322394363785211*c_0101_5^15 - 5304320793857488055799443939718635155\ 98080511955108097138677325/4147098714364598845232691620208101641169\ 29284644788727570422*c_0101_5^14 + 109795549871158149993279464806752348146437899722356995198853482/207\ 354935718229942261634581010405082058464642322394363785211*c_0101_5^\ 13 - 88169433316736038248475074648777194659416876080979879223422820\ 5/414709871436459884523269162020810164116929284644788727570422*c_01\ 01_5^12 - 380202143920343236810667155579371821212120297755371897779\ 813253/414709871436459884523269162020810164116929284644788727570422\ *c_0101_5^11 + 7371591700592977287663902343487787937906110069512111\ 66103043589/4147098714364598845232691620208101641169292846447887275\ 70422*c_0101_5^10 + 78184233330694916833035525379356040942104507180\ 6885667839579533/41470987143645988452326916202081016411692928464478\ 8727570422*c_0101_5^9 + 7269055248305297097577426808232117243287990\ 94446653502447990057/4147098714364598845232691620208101641169292846\ 44788727570422*c_0101_5^8 + 366099100062207418721950132630142102746\ 50681969748276134858567/2073549357182299422616345810104050820584646\ 42322394363785211*c_0101_5^7 - 278446416470724012344015353667998567\ 691972244506804645898352889/414709871436459884523269162020810164116\ 929284644788727570422*c_0101_5^6 + 204401123283199082910493813982375329576426876583319745223281191/414\ 709871436459884523269162020810164116929284644788727570422*c_0101_5^\ 5 + 7471800173543643737226461913682271196576180374860032364493341/4\ 14709871436459884523269162020810164116929284644788727570422*c_0101_\ 5^4 - 3602881892928179328718649101080661228952619730431126740234698\ 31/414709871436459884523269162020810164116929284644788727570422*c_0\ 101_5^3 - 106496340508010498035841734898257129954660396950587077195\ 845813/414709871436459884523269162020810164116929284644788727570422\ *c_0101_5^2 + 79248573749175153731074257450839035426143290883659945\ 695575941/414709871436459884523269162020810164116929284644788727570\ 422*c_0101_5 + 1493774776787493055880524578268062151867767399037904\ 8562508699/20735493571822994226163458101040508205846464232239436378\ 5211, c_0101_1 - 858830778627418647524634386363705500872580154904165/37034120\ 94944008943659209843558363716606696554894171*c_0101_5^29 - 94280205139017833815210218943618767595414533226039/3703412094944008\ 943659209843558363716606696554894171*c_0101_5^28 + 20678126642553008192472184525231110270858248711121005/3703412094944\ 008943659209843558363716606696554894171*c_0101_5^27 + 62542895122513228171785577121154554277436318716575496/3703412094944\ 008943659209843558363716606696554894171*c_0101_5^26 - 26740174878643667849022495196732572884474343916747176/3703412094944\ 008943659209843558363716606696554894171*c_0101_5^25 - 568385720652751580170346653186034216812090150895360373/370341209494\ 4008943659209843558363716606696554894171*c_0101_5^24 - 1407800374332386303055406253132587602443837587701243326/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^23 - 2078380286203297223446420235754027647540802964212866486/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^22 - 1989066883051081726280985687562814983292384909689029487/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^21 - 729864699339696731674592341172014781979125194264855617/370341209494\ 4008943659209843558363716606696554894171*c_0101_5^20 - 129726311352749255608316329328084078944791257147307476/370341209494\ 4008943659209843558363716606696554894171*c_0101_5^19 - 1162859109677787090722225109545085370616089903748473195/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^18 - 431322999506017010222541642137042131523003883861619707/370341209494\ 4008943659209843558363716606696554894171*c_0101_5^17 + 4839185839714247829656740870687313405031170966718719932/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^16 + 5496003957212578704322279194912794445871906741355146008/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^15 - 898893510906764176671113614216545822029042529081794933/370341209494\ 4008943659209843558363716606696554894171*c_0101_5^14 + 506678024584747736701990566159539321728757741840863098/370341209494\ 4008943659209843558363716606696554894171*c_0101_5^13 + 3414146299190765589894068708559495408772203624466311029/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^12 - 907032219819943808334826838008255597629093967355467122/370341209494\ 4008943659209843558363716606696554894171*c_0101_5^11 - 2499841989128289246536816228093324680686920358209237580/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^10 - 2608540179824345185299589309307463508449838716923828062/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^9 - 2027323592696146952213573522527499392423783741526405920/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^8 + 965415020897741384626506184748799641588706759954736037/370341209494\ 4008943659209843558363716606696554894171*c_0101_5^7 + 316950631987293223308963498082529208549057911358306254/370341209494\ 4008943659209843558363716606696554894171*c_0101_5^6 - 917688241065282149828146908246571317729410993578640885/370341209494\ 4008943659209843558363716606696554894171*c_0101_5^5 + 778196897254146927405522911047851354957346712831952390/370341209494\ 4008943659209843558363716606696554894171*c_0101_5^4 + 1019973382791545038004980144879730021713598934894903806/37034120949\ 44008943659209843558363716606696554894171*c_0101_5^3 - 42725816482609523249933531686404040581995373217117227/3703412094944\ 008943659209843558363716606696554894171*c_0101_5^2 - 225677716631792352739841440349950004026758153919625979/370341209494\ 4008943659209843558363716606696554894171*c_0101_5 - 40596203457294956629496697280770592110671863497491255/3703412094944\ 008943659209843558363716606696554894171, c_0101_2 + 131117347906404067143067723581355848158044750866357411654631\ /414709871436459884523269162020810164116929284644788727570422*c_010\ 1_5^29 + 9874989798975181893396195798339734319668350092865618389245\ 5/414709871436459884523269162020810164116929284644788727570422*c_01\ 01_5^28 - 158237219729797592158399320434183521974962575699226734707\ 7389/207354935718229942261634581010405082058464642322394363785211*c\ _0101_5^27 - 115787072080821113829100575096808000599686781117105188\ 20197079/4147098714364598845232691620208101641169292846447887275704\ 22*c_0101_5^26 - 16456611231660630156359299625856306442014235256254\ 20986951401/4147098714364598845232691620208101641169292846447887275\ 70422*c_0101_5^25 + 45290516575450555281343255647890863323958165582\ 023055501997866/207354935718229942261634581010405082058464642322394\ 363785211*c_0101_5^24 + 2699546341615439620365538268239326269051511\ 42234874213931437197/4147098714364598845232691620208101641169292846\ 44788727570422*c_0101_5^23 + 22207975737509170991196271987442422932\ 6206699793125112990982632/20735493571822994226163458101040508205846\ 4642322394363785211*c_0101_5^22 + 240864757787707811104504886317229\ 094609097444595804974452574060/207354935718229942261634581010405082\ 058464642322394363785211*c_0101_5^21 + 135872541984709177305197115759110082030230201311826833444051315/207\ 354935718229942261634581010405082058464642322394363785211*c_0101_5^\ 20 + 31296991203576264292447396178871033421995435563358429900780060\ /207354935718229942261634581010405082058464642322394363785211*c_010\ 1_5^19 + 9422538194090660898558756694182685942783083849850306472354\ 2856/207354935718229942261634581010405082058464642322394363785211*c\ _0101_5^18 + 186687860573205270658637322867404562929176159070969251\ 762815051/414709871436459884523269162020810164116929284644788727570\ 422*c_0101_5^17 - 7146808918803873160964440393899971288829245259280\ 80831303377451/4147098714364598845232691620208101641169292846447887\ 27570422*c_0101_5^16 - 13137494732429452239768498139182560100189016\ 69885213311901094539/4147098714364598845232691620208101641169292846\ 44788727570422*c_0101_5^15 - 29604216078686921994696071029281591103\ 7706954094244800973005137/41470987143645988452326916202081016411692\ 9284644788727570422*c_0101_5^14 + 548657504720253233181566593209554\ 63395202732431068258998795939/2073549357182299422616345810104050820\ 58464642322394363785211*c_0101_5^13 - 617352674243050258235222527179153862729176314515261095916431969/414\ 709871436459884523269162020810164116929284644788727570422*c_0101_5^\ 12 - 18966603022992704855603038345886158262998160596866089984706248\ 5/414709871436459884523269162020810164116929284644788727570422*c_01\ 01_5^11 + 271204478567260284571790153826891877322962525100926228941\ 945809/207354935718229942261634581010405082058464642322394363785211\ *c_0101_5^10 + 3014363970559232521150549574673826781429796548110091\ 25560158240/2073549357182299422616345810104050820584646423223943637\ 85211*c_0101_5^9 + 511148091780066502134238767755977429251621144920\ 773034253259221/414709871436459884523269162020810164116929284644788\ 727570422*c_0101_5^8 + 10049482532488507507554157344842969925486098\ 700883838081353273/414709871436459884523269162020810164116929284644\ 788727570422*c_0101_5^7 - 17876698011083079825725105212805698188230\ 1952987212426477553859/41470987143645988452326916202081016411692928\ 4644788727570422*c_0101_5^6 + 6951316072565491996683122726026170225\ 5442841441161683832015140/20735493571822994226163458101040508205846\ 4642322394363785211*c_0101_5^5 - 2346044136417133720928662818607763\ 7380783970559827240347963321/41470987143645988452326916202081016411\ 6929284644788727570422*c_0101_5^4 - 127486835942549977061617946521527076143139105420566173562589211/207\ 354935718229942261634581010405082058464642322394363785211*c_0101_5^\ 3 - 35796820743607246552061469347446414139866172887766183942098265/\ 207354935718229942261634581010405082058464642322394363785211*c_0101\ _5^2 + 571667419955888659854954002835746610488884226598907595740653\ 29/414709871436459884523269162020810164116929284644788727570422*c_0\ 101_5 + 22004008177376238772367708830281825837642666836083348863468\ 797/414709871436459884523269162020810164116929284644788727570422, c_0101_4 + 244972994873202739522261196844315615690116404260837352241471\ /414709871436459884523269162020810164116929284644788727570422*c_010\ 1_5^29 + 2826188434214453790969476765203198130313860557085356371846\ 97/414709871436459884523269162020810164116929284644788727570422*c_0\ 101_5^28 - 59405100894876753078473627151198116063569367980818009734\ 51449/414709871436459884523269162020810164116929284644788727570422*\ c_0101_5^27 - 23982451784988155685212439618374679068192343822687346\ 257516211/414709871436459884523269162020810164116929284644788727570\ 422*c_0101_5^26 - 9302016011187666935670353540222557301664587762122\ 054410789075/414709871436459884523269162020810164116929284644788727\ 570422*c_0101_5^25 + 8733918931884892309771145101226647788394649134\ 2956660266850206/20735493571822994226163458101040508205846464232239\ 4363785211*c_0101_5^24 + 567071172247073356405002284853799577077372\ 849158789811060131539/414709871436459884523269162020810164116929284\ 644788727570422*c_0101_5^23 + 9663557810093978991879821299604683228\ 63155186008499147179441557/4147098714364598845232691620208101641169\ 29284644788727570422*c_0101_5^22 + 1085403886021447595907000528295729530353466984246437081502916765/41\ 4709871436459884523269162020810164116929284644788727570422*c_0101_5\ ^21 + 3322498099256483322727381109951849363485839206768130836986792\ 26/207354935718229942261634581010405082058464642322394363785211*c_0\ 101_5^20 + 70301828685089015824351078685560352549580940518860937262\ 401770/207354935718229942261634581010405082058464642322394363785211\ *c_0101_5^19 + 3567226140980517458299378541621170229658931610399624\ 18114972557/4147098714364598845232691620208101641169292846447887275\ 70422*c_0101_5^18 + 47474301555780085297042272310583293117707394598\ 5931258369305019/41470987143645988452326916202081016411692928464478\ 8727570422*c_0101_5^17 - 670182462972731025998734462527409779279008\ 334469807963106214293/207354935718229942261634581010405082058464642\ 322394363785211*c_0101_5^16 - 3007954808921310149930883303581706285\ 533220356808376869584832643/414709871436459884523269162020810164116\ 929284644788727570422*c_0101_5^15 - 485675110027701936787987468764380153251064856603622993420466554/207\ 354935718229942261634581010405082058464642322394363785211*c_0101_5^\ 14 + 45298513459155059713975161733673083663192368249964554747346382\ 9/414709871436459884523269162020810164116929284644788727570422*c_01\ 01_5^13 - 658204815342418518766387388423575271338375215105928482504\ 480171/207354935718229942261634581010405082058464642322394363785211\ *c_0101_5^12 - 3360963903827543953013132313600128793278937413183425\ 73432757178/2073549357182299422616345810104050820584646423223943637\ 85211*c_0101_5^11 + 12375452799640059191540499608547088791640529317\ 59082272599187967/4147098714364598845232691620208101641169292846447\ 88727570422*c_0101_5^10 + 66071710899661552752845129844458704246787\ 9386363072835454090049/20735493571822994226163458101040508205846464\ 2322394363785211*c_0101_5^9 + 5932937711706147630217239342220587798\ 09830221455063394716431823/2073549357182299422616345810104050820584\ 64642322394363785211*c_0101_5^8 + 833669698405715431101435001127819\ 51255260628112687759032139844/2073549357182299422616345810104050820\ 58464642322394363785211*c_0101_5^7 - 494025432032112611665265855107131007914671987428029642841090003/414\ 709871436459884523269162020810164116929284644788727570422*c_0101_5^\ 6 + 144518906243355492542329690443188727206201357311386361239790001\ /207354935718229942261634581010405082058464642322394363785211*c_010\ 1_5^5 + 22700097971376712235067058183078741702221287262326815360903\ 533/207354935718229942261634581010405082058464642322394363785211*c_\ 0101_5^4 - 59787825648312196546776742137049956526203753950465777594\ 9483821/41470987143645988452326916202081016411692928464478872757042\ 2*c_0101_5^3 - 1004614595201326203616596903316874775647315564080145\ 42673221934/2073549357182299422616345810104050820584646423223943637\ 85211*c_0101_5^2 + 673116670926885194891320039175839451237859266562\ 55284582309779/2073549357182299422616345810104050820584646423223943\ 63785211*c_0101_5 + 27109735665110975216576044475404887722046087201\ 947019414599897/207354935718229942261634581010405082058464642322394\ 363785211, c_0101_5^30 - 25*c_0101_5^28 - 70*c_0101_5^27 + 61*c_0101_5^26 + 718*c_0101_5^25 + 1520*c_0101_5^24 + 1652*c_0101_5^23 + 738*c_0101_5^22 - 1209*c_0101_5^21 - 1507*c_0101_5^20 + 1029*c_0101_5^19 + 295*c_0101_5^18 - 6912*c_0101_5^17 - 5863*c_0101_5^16 + 6901*c_0101_5^15 + 3539*c_0101_5^14 - 6134*c_0101_5^13 + 2756*c_0101_5^12 + 6024*c_0101_5^11 + 768*c_0101_5^10 + 3*c_0101_5^9 - 3537*c_0101_5^8 - 1758*c_0101_5^7 + 2577*c_0101_5^6 - 1153*c_0101_5^5 - 2014*c_0101_5^4 + 1290*c_0101_5^3 + 987*c_0101_5^2 - 241*c_0101_5 - 155 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB