Magma V2.19-8 Tue Aug 20 2013 16:16:24 on localhost [Seed = 1932717983] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0682 geometric_solution 4.64941510 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 3201 1023 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.466886766757 0.354313647004 0 1 1 0 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.145403937458 0.313423487210 0 0 4 3 2310 0132 0132 0132 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 -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.330291824590 0.523795114581 4 5 2 4 1230 0132 0132 1302 0 0 0 0 0 -1 1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -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.868293596803 0.660335133840 5 3 3 2 3201 3012 2031 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 -1 1 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.868293596803 0.660335133840 6 3 6 4 0132 0132 1023 2310 0 0 0 0 0 1 -1 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 -1 1 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 1.912828349717 1.004194813667 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 1 -1 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 -1 1 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.445891940554 0.322862017733 ==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_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_4'], 'c_0101_6' : negation(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_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : 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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 3453786735702758456770540482107285285778018294280264957588050250480\ 02985265/5062468633491140052754281278968933052389860112051188618062\ 0951342909359091*c_0101_5^25 - 144911926073976362901166353959485992\ 888216185810644700289977993013878836400/723209804784448578964897325\ 5669904360556943017215983740088707334701337013*c_0101_5^24 + 3783920203075803776364715758337693281017188867256394690476668263278\ 4349468597/50624686334911400527542812789689330523898601120511886180\ 620951342909359091*c_0101_5^23 - 3702416416719150069852382960357252\ 4767205727527752253307247576528663368804876/50624686334911400527542\ 812789689330523898601120511886180620951342909359091*c_0101_5^22 - 1068296726744908651454840222693192919913169387447144252638646193311\ 580000660339/506246863349114005275428127896893305238986011205118861\ 80620951342909359091*c_0101_5^21 + 2760450814159423275927350106271740493148517000243194303185746975756\ 088900841436/506246863349114005275428127896893305238986011205118861\ 80620951342909359091*c_0101_5^20 + 1061044690963215087016251405158864707944077935716965318282908542908\ 7006929620408/50624686334911400527542812789689330523898601120511886\ 180620951342909359091*c_0101_5^19 - 1498894552999137747115122615965188852902418993245219182226115405667\ 4682636572167/50624686334911400527542812789689330523898601120511886\ 180620951342909359091*c_0101_5^18 - 1210894797436419362902854571633610145661516325248905516200453253652\ 0830038543410/50624686334911400527542812789689330523898601120511886\ 180620951342909359091*c_0101_5^17 + 7472984392718065650884190120691885344495372807773952382462663102074\ 610691366830/506246863349114005275428127896893305238986011205118861\ 80620951342909359091*c_0101_5^16 - 6011379329996145276826734390310799353219971398593469775613690198526\ 8480943844169/50624686334911400527542812789689330523898601120511886\ 180620951342909359091*c_0101_5^15 + 1800335291612224789412981162485504726331217691327888734807895484279\ 2180784890542/50624686334911400527542812789689330523898601120511886\ 180620951342909359091*c_0101_5^14 + 9820466602306787145138993898114386171245218628535793544292449017927\ 2630623713949/50624686334911400527542812789689330523898601120511886\ 180620951342909359091*c_0101_5^13 - 1995500630738919646905045887942636021471999035896517931940335683109\ 9274579319732/50624686334911400527542812789689330523898601120511886\ 180620951342909359091*c_0101_5^12 - 3904602479554202098566861561231364081698643578104456424612441499850\ 6714056095148/50624686334911400527542812789689330523898601120511886\ 180620951342909359091*c_0101_5^11 + 8385392064202778174132672963357850542305430614942714195190517039952\ 374191164318/506246863349114005275428127896893305238986011205118861\ 80620951342909359091*c_0101_5^10 + 6655364802078029338536144022095074103951936035829453497574794029404\ 290048391203/506246863349114005275428127896893305238986011205118861\ 80620951342909359091*c_0101_5^9 + 604662827321845057241807084851653\ 6104427576644184090424839393095012741894504791/50624686334911400527\ 542812789689330523898601120511886180620951342909359091*c_0101_5^8 - 2551006339885747670287499120938643804719259447625779262673204630379\ 628316650642/506246863349114005275428127896893305238986011205118861\ 80620951342909359091*c_0101_5^7 - 562678759476899851429559172677767\ 475709010594829616904371423175733330274740889/723209804784448578964\ 8973255669904360556943017215983740088707334701337013*c_0101_5^6 + 1810073035848663775179078012834343367732661951397540946689981819340\ 397936742342/506246863349114005275428127896893305238986011205118861\ 80620951342909359091*c_0101_5^5 + 556452872484191350239311079022070\ 895675409065454380496338942914230221610071021/506246863349114005275\ 42812789689330523898601120511886180620951342909359091*c_0101_5^4 - 4080369181036178503029140998511699116735829917128084146416783263809\ 83585826970/5062468633491140052754281278968933052389860112051188618\ 0620951342909359091*c_0101_5^3 + 2902441257330663347711963728230007\ 118554953885194841321920973033969991510146/723209804784448578964897\ 3255669904360556943017215983740088707334701337013*c_0101_5^2 + 1875609898922674219883361860610969952726812619156341877000862006245\ 035843187/723209804784448578964897325566990436055694301721598374008\ 8707334701337013*c_0101_5 - 245417251778155565445643059012254846511\ 5294904211549742701890259815163287485/50624686334911400527542812789\ 689330523898601120511886180620951342909359091, c_0011_0 - 1, c_0011_3 - 162994939572649685686453105245864326288661375737965674031706\ 8542517546329/72320980478444857896489732556699043605569430172159837\ 40088707334701337013*c_0101_5^25 - 5643743853206724754810298177322739881932520272121075720506576772771\ 161481/723209804784448578964897325566990436055694301721598374008870\ 7334701337013*c_0101_5^24 + 176036554249721582847275299026416448661\ 797234586508789956629883232779439344/723209804784448578964897325566\ 9904360556943017215983740088707334701337013*c_0101_5^23 - 8070276029556791238413369837102551273085324979061592387353589412112\ 6015545/72320980478444857896489732556699043605569430172159837400887\ 07334701337013*c_0101_5^22 - 51299957002122319109189424875308953712\ 22077211267148697987870542625155039419/7232098047844485789648973255\ 669904360556943017215983740088707334701337013*c_0101_5^21 + 1034899562459607189544400810576270217634787189994749301971374640570\ 0891596478/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^20 + 56851755222324834119432364341278456\ 198188982952651882826441547322929485572116/723209804784448578964897\ 3255669904360556943017215983740088707334701337013*c_0101_5^19 - 4345641944483946122650666453251469039283780878959828812569992834876\ 5966558702/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^18 - 94898263253203819406546907534762152\ 592724421160365061431099729529191746565464/723209804784448578964897\ 3255669904360556943017215983740088707334701337013*c_0101_5^17 - 4917706764979941839272897636697833547198137379708008976146808344346\ 151304819/723209804784448578964897325566990436055694301721598374008\ 8707334701337013*c_0101_5^16 - 262969334311870677114838227248598246\ 012868854446320093691636593034984322409145/723209804784448578964897\ 3255669904360556943017215983740088707334701337013*c_0101_5^15 - 4848777598578942339063821073591029553385179167162888259420423645742\ 0180415140/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^14 + 51087148298209533796521307331416140\ 4646499853722039076927827837777803579942098/72320980478444857896489\ 73255669904360556943017215983740088707334701337013*c_0101_5^13 + 1946690964462742063901891005779185980241045035796579333928223258960\ 85575555927/7232098047844485789648973255669904360556943017215983740\ 088707334701337013*c_0101_5^12 - 2019920476089433465049655829902137\ 39336182878310813433152972680625279805067531/7232098047844485789648\ 973255669904360556943017215983740088707334701337013*c_0101_5^11 - 1244051999856071108464903906313697164072681444027293015302000919016\ 74440607365/7232098047844485789648973255669904360556943017215983740\ 088707334701337013*c_0101_5^10 - 3552469894790669104396612515890689\ 075187387618767809356147883245782494208472/723209804784448578964897\ 3255669904360556943017215983740088707334701337013*c_0101_5^9 + 5117584486406785573821926363511137123808889111947692419547491184720\ 5788632652/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^8 + 203149606817217192111241502901215834\ 92267555878653678976620876303112653369908/7232098047844485789648973\ 255669904360556943017215983740088707334701337013*c_0101_5^7 - 1661039490459557682700264891095124123649905875744310067118662836669\ 2788562041/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^6 - 493757722099807005430402978084618551\ 9034143481595250874419559048323624459960/72320980478444857896489732\ 55669904360556943017215983740088707334701337013*c_0101_5^5 + 2841685242324134190695250664245240096847651109401645105641288203739\ 289159436/723209804784448578964897325566990436055694301721598374008\ 8707334701337013*c_0101_5^4 + 2958589135630286525276042512067600715\ 02333581885401987077370538923509322183/7232098047844485789648973255\ 669904360556943017215983740088707334701337013*c_0101_5^3 - 1927501656073055155962442364390959822396215396422326042980459464107\ 92481793/7232098047844485789648973255669904360556943017215983740088\ 707334701337013*c_0101_5^2 + 62266385265654233863884914098700272601\ 79502603728622875279122899535289886/7232098047844485789648973255669\ 904360556943017215983740088707334701337013*c_0101_5 + 8027030078988725024529290373846445780796389630818513037359624309490\ 682106/723209804784448578964897325566990436055694301721598374008870\ 7334701337013, c_0101_0 + 293060523238044092272633194614192585611225659895884526431071\ 949274691645/723209804784448578964897325566990436055694301721598374\ 0088707334701337013*c_0101_5^25 + 129272407080834901598765686728020\ 8218239762602908259754391382857413765905/72320980478444857896489732\ 55669904360556943017215983740088707334701337013*c_0101_5^24 - 3063403599671183265624785799482769622933267928690645517123130954450\ 9534375/72320980478444857896489732556699043605569430172159837400887\ 07334701337013*c_0101_5^23 - 15299653107544140693100900436492837093\ 075461066776207850745538522967518789/723209804784448578964897325566\ 9904360556943017215983740088707334701337013*c_0101_5^22 + 9303528826678432900559939795170541631066108672191488330345353051219\ 66346603/7232098047844485789648973255669904360556943017215983740088\ 707334701337013*c_0101_5^21 - 9858663508942125897848720559844753782\ 59318080401425609282915120962205452002/7232098047844485789648973255\ 669904360556943017215983740088707334701337013*c_0101_5^20 - 1181509711344695056232673676463675569291157344101817203523622078646\ 5072482470/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^19 - 21468652080394527354520475280395594\ 59125908281683537992468216958471590712322/7232098047844485789648973\ 255669904360556943017215983740088707334701337013*c_0101_5^18 + 2242937339788707441658431679372917230935641564219151335805099367987\ 7674203505/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^17 + 17611934030050373278289922018553482\ 224378137454876725305293809257724018539535/723209804784448578964897\ 3255669904360556943017215983740088707334701337013*c_0101_5^16 + 5177658966311956969017437289725387788105820947759550503312787837414\ 2731073120/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^15 + 55076642650048814533753443718455648\ 210492500979858523503015670140773533646104/723209804784448578964897\ 3255669904360556943017215983740088707334701337013*c_0101_5^14 - 7434729451026384376954435625274504153729385095715453052693390102286\ 0533082338/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^13 - 11593949541204446728230774616508530\ 4112250047962373006922415452280698453094438/72320980478444857896489\ 73255669904360556943017215983740088707334701337013*c_0101_5^12 - 1228133638709731607096046583416322812911488106679500719146458123942\ 3523424257/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^11 + 43783021436075810085079847801645953\ 037737459704767162742577122152352325314733/723209804784448578964897\ 3255669904360556943017215983740088707334701337013*c_0101_5^10 + 2467277706281199481782895666054288724801312838315818663040311048907\ 5701901681/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^9 - 362712414988027708979658610142355295\ 6817403524210133933757055843033518882611/72320980478444857896489732\ 55669904360556943017215983740088707334701337013*c_0101_5^8 - 1094573105484587985861672471269155157946775148933869701192082231387\ 6165349792/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^7 - 169031874083479214696794131185201397\ 5608738251472516172482933420274316914448/72320980478444857896489732\ 55669904360556943017215983740088707334701337013*c_0101_5^6 + 2525444633448984993223328913451511234643522361108420357469783703121\ 598718639/723209804784448578964897325566990436055694301721598374008\ 8707334701337013*c_0101_5^5 + 5609740363270142994662471428071352489\ 12292415451795081186279220530478295489/7232098047844485789648973255\ 669904360556943017215983740088707334701337013*c_0101_5^4 - 2697358071964621308341767319122364676424921576083773327663064135728\ 85577509/7232098047844485789648973255669904360556943017215983740088\ 707334701337013*c_0101_5^3 - 71112618615783499318381251513457552589\ 920241336369549554066711444444563170/723209804784448578964897325566\ 9904360556943017215983740088707334701337013*c_0101_5^2 + 2117130480906668218048901102266975952416794315148200928032687657489\ 7495200/72320980478444857896489732556699043605569430172159837400887\ 07334701337013*c_0101_5 + 21242755150864204477109995256253682195863\ 69182201804690620515059389945714/7232098047844485789648973255669904\ 360556943017215983740088707334701337013, c_0101_1 - 113219706976552511262557544725051440317187394602691671068740\ 1864270656361/72320980478444857896489732556699043605569430172159837\ 40088707334701337013*c_0101_5^25 - 4045512448947474381674889085685984075979109041391994662840863845912\ 175636/723209804784448578964897325566990436055694301721598374008870\ 7334701337013*c_0101_5^24 + 121876996582290200046916647412529455528\ 481194779438376555434256049734301131/723209804784448578964897325566\ 9904360556943017215983740088707334701337013*c_0101_5^23 - 4233678493003608688212452132217107803258861894439980978448071178426\ 9458479/72320980478444857896489732556699043605569430172159837400887\ 07334701337013*c_0101_5^22 - 35727552054313449238795635039109745798\ 86461583646296811766368957699634527150/7232098047844485789648973255\ 669904360556943017215983740088707334701337013*c_0101_5^21 + 6787102174582472910746129215639247274593624418076056188645748549479\ 744833731/723209804784448578964897325566990436055694301721598374008\ 8707334701337013*c_0101_5^20 + 403888240465819445429327696351934014\ 48054326714326378077943563270148879980276/7232098047844485789648973\ 255669904360556943017215983740088707334701337013*c_0101_5^19 - 2575972142237462520124511200166909450376937267212524488802382139301\ 7141662207/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^18 - 70850829898488205465276385138725902\ 026196016851973672600040353423701531494575/723209804784448578964897\ 3255669904360556943017215983740088707334701337013*c_0101_5^17 - 1279682145698172366329571228121779400314308881772218098099073697081\ 3592968386/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^16 - 17963308241472656460339554691445786\ 5620881402200495087700825767973079113795645/72320980478444857896489\ 73255669904360556943017215983740088707334701337013*c_0101_5^15 - 4919041254493331486890623962355176400163653434137368819890827195234\ 6013702744/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^14 + 35789242876015163361123172412120597\ 3561747623258961388169929907795615970539877/72320980478444857896489\ 73255669904360556943017215983740088707334701337013*c_0101_5^13 + 1898405908939458441238373277439580174575103681692733459257044359229\ 03605419353/7232098047844485789648973255669904360556943017215983740\ 088707334701337013*c_0101_5^12 - 1300004295876875521948791544503919\ 47742739201431198128391834298602355026757771/7232098047844485789648\ 973255669904360556943017215983740088707334701337013*c_0101_5^11 - 1279498657833609290324426552291087349905271193315574718354774539872\ 19167337092/7232098047844485789648973255669904360556943017215983740\ 088707334701337013*c_0101_5^10 - 2208755460463148158666220577214001\ 1546107927125433613054749930502767283161486/72320980478444857896489\ 73255669904360556943017215983740088707334701337013*c_0101_5^9 + 4130890418456792363671241999873143232420205504616038814869363768447\ 5862279692/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^8 + 236838560186858159958731308315014083\ 41394320825678716281904260316145663731596/7232098047844485789648973\ 255669904360556943017215983740088707334701337013*c_0101_5^7 - 8977459934886634624204188110323654111800131357454110261156862632236\ 751723742/723209804784448578964897325566990436055694301721598374008\ 8707334701337013*c_0101_5^6 - 6616882991562883719106031900068715444\ 168631933549302164197468613030620362391/723209804784448578964897325\ 5669904360556943017215983740088707334701337013*c_0101_5^5 + 7714904251707023820529810623442345903765244571689634419736370665260\ 41441297/7232098047844485789648973255669904360556943017215983740088\ 707334701337013*c_0101_5^4 + 86331953012883966706864005418256822152\ 5631494581705076024588294426930032890/72320980478444857896489732556\ 69904360556943017215983740088707334701337013*c_0101_5^3 + 4159855579806488976303713491461600815723564451308828012323235967378\ 0267918/72320980478444857896489732556699043605569430172159837400887\ 07334701337013*c_0101_5^2 - 465767195913665824973288796926715064050\ 59784512704548775145316286704337255/7232098047844485789648973255669\ 904360556943017215983740088707334701337013*c_0101_5 + 2029691150790894303197338232017204608661370919773697002660963022421\ 256879/723209804784448578964897325566990436055694301721598374008870\ 7334701337013, c_0101_2 + 511808205116399323071909290715007156751385438140782999040421\ 673230857020/723209804784448578964897325566990436055694301721598374\ 0088707334701337013*c_0101_5^25 + 195191473441533246835293199905680\ 8584472827905082911717601379867941565375/72320980478444857896489732\ 55669904360556943017215983740088707334701337013*c_0101_5^24 - 5439737160791476192163684085789059148009896750362486098934066003177\ 4822124/72320980478444857896489732556699043605569430172159837400887\ 07334701337013*c_0101_5^23 + 69005991084576086248777996815168154680\ 17627340360105526595875181812297822/7232098047844485789648973255669\ 904360556943017215983740088707334701337013*c_0101_5^22 + 1592442997082199959343002350591097648637882969992899835816618245797\ 041962546/723209804784448578964897325566990436055694301721598374008\ 8707334701337013*c_0101_5^21 - 268037737504470173934732887544417840\ 5190489776614563132206951865710139504867/72320980478444857896489732\ 55669904360556943017215983740088707334701337013*c_0101_5^20 - 1818968761441553804996295047377008247963683250015923230330667189723\ 2274943581/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^19 + 60264791519651245035871983321232860\ 67053036736002395027212399558725524083552/7232098047844485789648973\ 255669904360556943017215983740088707334701337013*c_0101_5^18 + 2531016817004768859466708403493439280066953279629311726961133950362\ 5891552142/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^17 + 15423333801667465813060666872523716\ 252740004739641386023790098251280527041995/723209804784448578964897\ 3255669904360556943017215983740088707334701337013*c_0101_5^16 + 9795134449392649315678016642374897394756436986498591472310080533257\ 9269153900/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^15 + 51009246984996310590337058196567146\ 260992197290962910245029151690406725206774/723209804784448578964897\ 3255669904360556943017215983740088707334701337013*c_0101_5^14 - 1096503929316647592232928531266864298826673708348734274681643466395\ 56821630244/7232098047844485789648973255669904360556943017215983740\ 088707334701337013*c_0101_5^13 - 9390714880741318220110443676201516\ 8333708487788733491617483793342527972487950/72320980478444857896489\ 73255669904360556943017215983740088707334701337013*c_0101_5^12 - 2384070636085157703283590417681721571468018985572557220802332348295\ 5681014539/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^11 + 93230429171469963211318275446378046\ 55969726832465283199596880948751992841132/7232098047844485789648973\ 255669904360556943017215983740088707334701337013*c_0101_5^10 + 1907979759880442531140240027912267740134037493332864855274897759996\ 4430538559/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^9 + 126097897779737326923382167977877395\ 8889891149337082819520388135868748735931/72320980478444857896489732\ 55669904360556943017215983740088707334701337013*c_0101_5^8 - 3761924523965770071799392073688420173803154930545254712810505162810\ 655763343/723209804784448578964897325566990436055694301721598374008\ 8707334701337013*c_0101_5^7 - 5005224560778511025256154521941810538\ 40574564003612784880549207680351326643/7232098047844485789648973255\ 669904360556943017215983740088707334701337013*c_0101_5^6 - 4345791244443656080398468124127818977236606040520812262956959059162\ 83161642/7232098047844485789648973255669904360556943017215983740088\ 707334701337013*c_0101_5^5 + 26053792124751174221559955842741168496\ 4658691924316755587445525960155342594/72320980478444857896489732556\ 69904360556943017215983740088707334701337013*c_0101_5^4 + 2605907981193987190227482265098541288920550779862287869845241721481\ 68290743/7232098047844485789648973255669904360556943017215983740088\ 707334701337013*c_0101_5^3 - 17919116063157087640112042431371442136\ 281402532852192095108255722835171448/723209804784448578964897325566\ 9904360556943017215983740088707334701337013*c_0101_5^2 - 1951340814949412199901205160471124650285161411349012200911925474601\ 4449097/72320980478444857896489732556699043605569430172159837400887\ 07334701337013*c_0101_5 + 28172976126819475750396303765288687369959\ 09064393125112234915172397988918/7232098047844485789648973255669904\ 360556943017215983740088707334701337013, c_0101_4 + 204497659292244718875190657498695716400525849622606539846820\ 178331068296/723209804784448578964897325566990436055694301721598374\ 0088707334701337013*c_0101_5^25 + 117371552311765479239837887894085\ 2829247880186759402078918108059549851036/72320980478444857896489732\ 55669904360556943017215983740088707334701337013*c_0101_5^24 - 2049767327689530087667650975622604540042192127979340124577937142649\ 1867309/72320980478444857896489732556699043605569430172159837400887\ 07334701337013*c_0101_5^23 - 40206530521923824450913228783570920625\ 665234477389746857786034867602427061/723209804784448578964897325566\ 9904360556943017215983740088707334701337013*c_0101_5^22 + 6693872476213537338182681809759038099635254504588756583792348631885\ 58749102/7232098047844485789648973255669904360556943017215983740088\ 707334701337013*c_0101_5^21 + 1614834148513054355971786594097201583\ 77771138967921258443275069462411320270/7232098047844485789648973255\ 669904360556943017215983740088707334701337013*c_0101_5^20 - 1016067608920189716197262726283183922675030330211259495310331781709\ 0088449188/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^19 - 10511191245212389196065275084257134\ 276217231055153461040428992603912504599438/723209804784448578964897\ 3255669904360556943017215983740088707334701337013*c_0101_5^18 + 2484422072032961422086303163278848554085385606806013991600744159637\ 9850303141/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^17 + 25816397304927189011251866597551985\ 107690929511015718460830152189724202172644/723209804784448578964897\ 3255669904360556943017215983740088707334701337013*c_0101_5^16 + 3461605503690767912231135227350125351235406307454606921038290938109\ 6951646425/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^15 + 82709463743322326093388293841850822\ 787874304212916633773237255770718495418685/723209804784448578964897\ 3255669904360556943017215983740088707334701337013*c_0101_5^14 - 5458923085173666999933544749523627457443705270544547084493173514088\ 3347431333/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^13 - 16423155643972464878165370074183690\ 0127577662936140189189003391027027743549707/72320980478444857896489\ 73255669904360556943017215983740088707334701337013*c_0101_5^12 - 2449849212564441053594251774422592116924485326374597919725988999818\ 5281883310/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^11 + 64746909240400226292796538830263638\ 957461865595494614017857051499988995690764/723209804784448578964897\ 3255669904360556943017215983740088707334701337013*c_0101_5^10 + 3318868590630087942252241027455045689251539623421651092613239712677\ 4390482723/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^9 - 282630877539027339951187550079498924\ 9144253278374546172186762474138521856930/72320980478444857896489732\ 55669904360556943017215983740088707334701337013*c_0101_5^8 - 1609953944907891918815991494838005384511866833242823424774075247948\ 9986762091/72320980478444857896489732556699043605569430172159837400\ 88707334701337013*c_0101_5^7 - 335509660035179673989688328258672001\ 8508378017275852016490570343952005553725/72320980478444857896489732\ 55669904360556943017215983740088707334701337013*c_0101_5^6 + 4450250355814784534651873761390575308180907385965358966515798717587\ 394336347/723209804784448578964897325566990436055694301721598374008\ 8707334701337013*c_0101_5^5 + 7578921258097450919535666178346724866\ 92087016833699994502207435591718847645/7232098047844485789648973255\ 669904360556943017215983740088707334701337013*c_0101_5^4 - 5692886193978073974663535200465513183042745053522677578081498827485\ 93151705/7232098047844485789648973255669904360556943017215983740088\ 707334701337013*c_0101_5^3 - 60252847331282482399365063016178209457\ 912706776006145326301002590918770338/723209804784448578964897325566\ 9904360556943017215983740088707334701337013*c_0101_5^2 + 1609698182789376683099067639700558894373856470877519133280906837178\ 3146370/72320980478444857896489732556699043605569430172159837400887\ 07334701337013*c_0101_5 - 43131697849167698389277398179473450350459\ 052951774251313705352140439941/723209804784448578964897325566990436\ 0556943017215983740088707334701337013, c_0101_5^26 + 4*c_0101_5^25 - 106*c_0101_5^24 - 8*c_0101_5^23 + 3159*c_0101_5^22 - 4656*c_0101_5^21 - 37851*c_0101_5^20 + 7181*c_0101_5^19 + 67426*c_0101_5^18 + 36179*c_0101_5^17 + 171499*c_0101_5^16 + 120070*c_0101_5^15 - 273171*c_0101_5^14 - 274883*c_0101_5^13 + 21954*c_0101_5^12 + 113269*c_0101_5^11 + 48302*c_0101_5^10 - 19008*c_0101_5^9 - 25241*c_0101_5^8 + 877*c_0101_5^7 + 6028*c_0101_5^6 + 349*c_0101_5^5 - 605*c_0101_5^4 - 44*c_0101_5^3 + 21*c_0101_5^2 - 2*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB