Magma V2.19-8 Tue Aug 20 2013 16:17:26 on localhost [Seed = 2530675292] 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' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : 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 - 58413818902910731476593866639843809504782158249776596751125342/1452\ 41132822933253505030647657600056903036008252936900131551*c_0101_5^2\ 9 - 200034427458461742817917945517523987388901527074926640676273531\ /145241132822933253505030647657600056903036008252936900131551*c_010\ 1_5^28 + 1843239992571832025386634371549430076723220706388596563603\ 681425/145241132822933253505030647657600056903036008252936900131551\ *c_0101_5^27 + 8435866891129370392721030592450828400950656390859350\ 664943319201/145241132822933253505030647657600056903036008252936900\ 131551*c_0101_5^26 - 3130886520359025948596728290450261516753654346\ 2065731256259128922/14524113282293325350503064765760005690303600825\ 2936900131551*c_0101_5^25 - 129006504023583360430463776218260366350\ 068725675950103551046248276/145241132822933253505030647657600056903\ 036008252936900131551*c_0101_5^24 + 382192062141350583462176908930545075821908221265580429060837068800/\ 145241132822933253505030647657600056903036008252936900131551*c_0101\ _5^23 + 88600247701987258424615643167339430464239171574213500502456\ 5771874/14524113282293325350503064765760005690303600825293690013155\ 1*c_0101_5^22 - 298225409131189591228264246910295970724167705217383\ 5528861608851356/14524113282293325350503064765760005690303600825293\ 6900131551*c_0101_5^21 - 247257094804886595055215248870874627339507\ 0768277689807396810926563/14524113282293325350503064765760005690303\ 6008252936900131551*c_0101_5^20 + 131634404978442136468962111634604\ 32562872417147314773486435187839792/1452411328229332535050306476576\ 00056903036008252936900131551*c_0101_5^19 - 213988690537754103410942577944408777726313011820811529288086653663/\ 145241132822933253505030647657600056903036008252936900131551*c_0101\ _5^18 - 32793772802000337288477953643436846154180234607154153469897\ 694922223/145241132822933253505030647657600056903036008252936900131\ 551*c_0101_5^17 + 1778172639254507742592008529764517436260744210351\ 1505901915145893034/14524113282293325350503064765760005690303600825\ 2936900131551*c_0101_5^16 + 449902464741565921544969178953285669319\ 06305585126298896940847453128/1452411328229332535050306476576000569\ 03036008252936900131551*c_0101_5^15 - 4414433110240612213068730112327827529769399111438857949494537024820\ 3/145241132822933253505030647657600056903036008252936900131551*c_01\ 01_5^14 - 295916517461682308007137880578850594225919202241665411147\ 43314166692/1452411328229332535050306476576000569030360082529369001\ 31551*c_0101_5^13 + 49362984271221069445800931296032725858232884642\ 085798470255582637699/145241132822933253505030647657600056903036008\ 252936900131551*c_0101_5^12 + 3265694452990416007213815356409824185\ 600684879986067970660634407761/145241132822933253505030647657600056\ 903036008252936900131551*c_0101_5^11 - 2819751472250311485117267024629033270603516820301758562738779763921\ 0/145241132822933253505030647657600056903036008252936900131551*c_01\ 01_5^10 + 635226347698139594080502301768158262409411777658737487296\ 3693199943/14524113282293325350503064765760005690303600825293690013\ 1551*c_0101_5^9 + 8206859921523859050523744531834286626041984648845\ 764586513835458312/145241132822933253505030647657600056903036008252\ 936900131551*c_0101_5^8 - 34243128244024062796328977673308658218929\ 51441600247897802204446908/1452411328229332535050306476576000569030\ 36008252936900131551*c_0101_5^7 - 111424186227575731611157729992745\ 3578648924489483618529168966160668/14524113282293325350503064765760\ 0056903036008252936900131551*c_0101_5^6 + 700313943842840082893648096180942552695364422414399700983695938562/\ 145241132822933253505030647657600056903036008252936900131551*c_0101\ _5^5 + 537016510759350640678630145140142718022024919052021287748032\ 23523/145241132822933253505030647657600056903036008252936900131551*\ c_0101_5^4 - 625005813568737651387844085070550756460697173307045173\ 27959050462/1452411328229332535050306476576000569030360082529369001\ 31551*c_0101_5^3 - 162756709716248402752075813905452440097292359328\ 962611089140479/145241132822933253505030647657600056903036008252936\ 900131551*c_0101_5^2 + 20111299699235976638633080506701832296418544\ 43745404828089258389/1452411328229332535050306476576000569030360082\ 52936900131551*c_0101_5 + 60355593217241275030976693242777461883683\ 125293066764842299844/145241132822933253505030647657600056903036008\ 252936900131551, c_0011_0 - 1, c_0011_1 - 279838466887596229864197190231939907609224297613071261254199\ /145241132822933253505030647657600056903036008252936900131551*c_010\ 1_5^29 - 9045739104944587240206135500124863586436489236739061413336\ 02/145241132822933253505030647657600056903036008252936900131551*c_0\ 101_5^28 + 90705932175451237933177414629833480902899626277553844554\ 34528/145241132822933253505030647657600056903036008252936900131551*\ c_0101_5^27 + 38959752104898621189494785958382109516818817721495185\ 468231138/145241132822933253505030647657600056903036008252936900131\ 551*c_0101_5^26 - 1593171455680566585485562868905559018451825846049\ 76721981106086/1452411328229332535050306476576000569030360082529369\ 00131551*c_0101_5^25 - 59872726570012112744337073033171187989053564\ 3665844608996165007/14524113282293325350503064765760005690303600825\ 2936900131551*c_0101_5^24 + 197160657507906644244287382364989851597\ 1997561900002991665214495/14524113282293325350503064765760005690303\ 6008252936900131551*c_0101_5^23 + 403656649448614088973384466941573\ 4597499588942494995870778578029/14524113282293325350503064765760005\ 6903036008252936900131551*c_0101_5^22 - 15346919494565785625519128722763344565100884638160310998601931707/1\ 45241132822933253505030647657600056903036008252936900131551*c_0101_\ 5^21 - 101694022072298824137362904514266151749851683634753808776824\ 51069/145241132822933253505030647657600056903036008252936900131551*\ c_0101_5^20 + 67295799072979053614987300740069116167061847682442233\ 394394357383/145241132822933253505030647657600056903036008252936900\ 131551*c_0101_5^19 - 9053685703418430854042021438332489741362645274\ 121130612451560568/145241132822933253505030647657600056903036008252\ 936900131551*c_0101_5^18 - 1661124044570620650610779248607233486245\ 10690499640292407562453917/1452411328229332535050306476576000569030\ 36008252936900131551*c_0101_5^17 + 107624046067251216924805369158132162626520136570784947465652115434/\ 145241132822933253505030647657600056903036008252936900131551*c_0101\ _5^16 + 22424221122912490923598649829406565352988946848079652474275\ 0768565/14524113282293325350503064765760005690303600825293690013155\ 1*c_0101_5^15 - 248483108995909149681366793623482781560280799754259\ 491150097687286/145241132822933253505030647657600056903036008252936\ 900131551*c_0101_5^14 - 1409773851970012989630055794518558232161781\ 74106037049980431642603/1452411328229332535050306476576000569030360\ 08252936900131551*c_0101_5^13 + 27222327061356958446503505294874750\ 5667580619877385012098468161140/14524113282293325350503064765760005\ 6903036008252936900131551*c_0101_5^12 + 6352616688394204614421088773276813122143640639852258674565094167/14\ 5241132822933253505030647657600056903036008252936900131551*c_0101_5\ ^11 - 1550562462236034027011867729603522640828381817267648499270370\ 32225/145241132822933253505030647657600056903036008252936900131551*\ c_0101_5^10 + 38520797772204599387003994665550681631093801432967853\ 963963821033/145241132822933253505030647657600056903036008252936900\ 131551*c_0101_5^9 + 45777359119275382917092852833876741499204463032\ 363408619693908698/145241132822933253505030647657600056903036008252\ 936900131551*c_0101_5^8 - 19592131802715355568409095153667825834725\ 840280586853531233090810/145241132822933253505030647657600056903036\ 008252936900131551*c_0101_5^7 - 66062353845430312636470138568622439\ 49002040113902634233150636768/1452411328229332535050306476576000569\ 03036008252936900131551*c_0101_5^6 + 4013813867928836474671455962324473596421400886431935067012615992/14\ 5241132822933253505030647657600056903036008252936900131551*c_0101_5\ ^5 + 42821695650646518472366907277305006421525379317448680088951909\ 8/145241132822933253505030647657600056903036008252936900131551*c_01\ 01_5^4 - 3755988086280841044010300836608473290420117847121983052645\ 61568/145241132822933253505030647657600056903036008252936900131551*\ c_0101_5^3 - 168427766744788271571149669474049451972481272811570004\ 37372313/1452411328229332535050306476576000569030360082529369001315\ 51*c_0101_5^2 + 139669733895508211434936250439515513781713286969977\ 27331291260/1452411328229332535050306476576000569030360082529369001\ 31551*c_0101_5 + 10454485761541706882092240852921543466091059250342\ 44013730389/1452411328229332535050306476576000569030360082529369001\ 31551, c_0011_4 - 508158123373623643186081905475275408250072588618396784009335\ /145241132822933253505030647657600056903036008252936900131551*c_010\ 1_5^29 - 1820408796494790655356974683986460337758237564415640272780\ 633/145241132822933253505030647657600056903036008252936900131551*c_\ 0101_5^28 + 1568387869732349910977060349642499966506343326354628430\ 7964617/14524113282293325350503064765760005690303600825293690013155\ 1*c_0101_5^27 + 755923871110720608842923150004444862182620117949605\ 93411813118/1452411328229332535050306476576000569030360082529369001\ 31551*c_0101_5^26 - 25865445259048923790911392632195337203097061042\ 0153340627054445/14524113282293325350503064765760005690303600825293\ 6900131551*c_0101_5^25 - 115248022278402864958651018689760557015640\ 0571495369632531010456/14524113282293325350503064765760005690303600\ 8252936900131551*c_0101_5^24 + 311780857481500617289711282395723826\ 9457738193163693612010998699/14524113282293325350503064765760005690\ 3036008252936900131551*c_0101_5^23 + 8039621568211881512690553766019619256531802830790409602675194859/14\ 5241132822933253505030647657600056903036008252936900131551*c_0101_5\ ^22 - 2439505489490661976782451981021966410934116407508513084462677\ 5231/145241132822933253505030647657600056903036008252936900131551*c\ _0101_5^21 - 241774650903585196404978536205270439719524077528935096\ 60114634714/1452411328229332535050306476576000569030360082529369001\ 31551*c_0101_5^20 + 10847378898270223453372228285978460861904945609\ 1102728512726511175/14524113282293325350503064765760005690303600825\ 2936900131551*c_0101_5^19 + 108030048408927627101523553000248598681\ 77211195016261285478139743/1452411328229332535050306476576000569030\ 36008252936900131551*c_0101_5^18 - 273235758311728704438344008044712494853989045083390859390290307775/\ 145241132822933253505030647657600056903036008252936900131551*c_0101\ _5^17 + 11971980236773883793842438317424668211011791743892552314956\ 4132491/14524113282293325350503064765760005690303600825293690013155\ 1*c_0101_5^16 + 382502564220196990432394958450950412052279026964812\ 614202295922713/145241132822933253505030647657600056903036008252936\ 900131551*c_0101_5^15 - 3274221942672017647341056553250439161771773\ 33965244024225989987816/1452411328229332535050306476576000569030360\ 08252936900131551*c_0101_5^14 - 26591391365464822538474537826839213\ 5374959749652855641920024877103/14524113282293325350503064765760005\ 6903036008252936900131551*c_0101_5^13 + 376697346729663506548388529416841987567198058651523695853234515818/\ 145241132822933253505030647657600056903036008252936900131551*c_0101\ _5^12 + 50119883951306029787046015160689162904356641850785108265593\ 958541/145241132822933253505030647657600056903036008252936900131551\ *c_0101_5^11 - 2182788968683328502019181488358974755416106600663604\ 67692729159964/1452411328229332535050306476576000569030360082529369\ 00131551*c_0101_5^10 + 38218661353995845303852903984803185342116989\ 985732834479808724288/145241132822933253505030647657600056903036008\ 252936900131551*c_0101_5^9 + 64588536902638799843047669682902313470\ 025067068492813818481535245/145241132822933253505030647657600056903\ 036008252936900131551*c_0101_5^8 - 23308410989003362526663190202493790776992519258006249329635174169/1\ 45241132822933253505030647657600056903036008252936900131551*c_0101_\ 5^7 - 9229996451975355029173135385896318302035896775081311451501970\ 368/145241132822933253505030647657600056903036008252936900131551*c_\ 0101_5^6 + 48680659501136450378829351656437943570105609607108406670\ 25415656/1452411328229332535050306476576000569030360082529369001315\ 51*c_0101_5^5 + 581114743458340619876353404534255599082084501676916\ 367161652458/145241132822933253505030647657600056903036008252936900\ 131551*c_0101_5^4 - 44529917427228032705649376302889841160578078435\ 7083790270615248/14524113282293325350503064765760005690303600825293\ 6900131551*c_0101_5^3 - 1997040392645972359099572614948760314308825\ 3156354806634116240/14524113282293325350503064765760005690303600825\ 2936900131551*c_0101_5^2 + 1602849442049323124741207860046465345650\ 2925381990396885078901/14524113282293325350503064765760005690303600\ 8252936900131551*c_0101_5 + 105192075130211078589701372655145226913\ 6239751726802455756967/14524113282293325350503064765760005690303600\ 8252936900131551, c_0101_0 - 240652133454599099643415177008743340486137366123946712210172\ /145241132822933253505030647657600056903036008252936900131551*c_010\ 1_5^29 - 7809587090487133558823734178738801752904863795620229375187\ 86/145241132822933253505030647657600056903036008252936900131551*c_0\ 101_5^28 + 77968094852296829785499678890776990879405810510550787654\ 75408/145241132822933253505030647657600056903036008252936900131551*\ c_0101_5^27 + 33633410765201161395951294475451535077775421477432374\ 683981829/145241132822933253505030647657600056903036008252936900131\ 551*c_0101_5^26 - 1367395446699867739858539057977737977773752725617\ 76474268024495/1452411328229332535050306476576000569030360082529369\ 00131551*c_0101_5^25 - 51776239609011855951318463857296345586906152\ 4537575241385595232/14524113282293325350503064765760005690303600825\ 2936900131551*c_0101_5^24 + 169078756671252539591821014168194701559\ 8749015604501016724396069/14524113282293325350503064765760005690303\ 6008252936900131551*c_0101_5^23 + 350962851140626899259935462210837\ 4923850429218820970922758293155/14524113282293325350503064765760005\ 6903036008252936900131551*c_0101_5^22 - 13171578280826152302442154887973557790062536327028507598023912180/1\ 45241132822933253505030647657600056903036008252936900131551*c_0101_\ 5^21 - 903901053299256963884478567052871015519611033651994261442576\ 7222/145241132822933253505030647657600056903036008252936900131551*c\ _0101_5^20 + 579071170387024194709156195740844062019635781255444706\ 78968272703/1452411328229332535050306476576000569030360082529369001\ 31551*c_0101_5^19 - 65345393486646995639691850063516397242554490834\ 81502604731762267/1452411328229332535050306476576000569030360082529\ 36900131551*c_0101_5^18 - 14366723223661314156292141820636163320869\ 1100264734800383712114131/14524113282293325350503064765760005690303\ 6008252936900131551*c_0101_5^17 + 895563539313089385210652892445009\ 17031603118786057770343186331672/1452411328229332535050306476576000\ 56903036008252936900131551*c_0101_5^16 + 196042468984041035369222240711636216351146509971515181840440373630/\ 145241132822933253505030647657600056903036008252936900131551*c_0101\ _5^15 - 20979985898875081296474123513516942424586075337858597726463\ 7401515/14524113282293325350503064765760005690303600825293690013155\ 1*c_0101_5^14 - 127269330486299971148661904002554229017544132482237\ 981284149225238/145241132822933253505030647657600056903036008252936\ 900131551*c_0101_5^13 + 2318855358135960880237093054024464726901510\ 91167319713943090982170/1452411328229332535050306476576000569030360\ 08252936900131551*c_0101_5^12 + 11540526819680798213594915693431324\ 278435024742627495089433681807/145241132822933253505030647657600056\ 903036008252936900131551*c_0101_5^11 - 133545536788185143525167297301897933053398134885535110130526606850/\ 145241132822933253505030647657600056903036008252936900131551*c_0101\ _5^10 + 29833743627260973243024621941395744016610160098348154279996\ 478737/145241132822933253505030647657600056903036008252936900131551\ *c_0101_5^9 + 40228085579152860105287857395928027218423048393881146\ 229449118674/145241132822933253505030647657600056903036008252936900\ 131551*c_0101_5^8 - 15919372467280296790877499452806015031582896115\ 634839656037698696/145241132822933253505030647657600056903036008252\ 936900131551*c_0101_5^7 - 60816101450513209610701493784686989455562\ 44867691980236111129088/1452411328229332535050306476576000569030360\ 08252936900131551*c_0101_5^6 + 332563791271868462117084837759710107\ 4396738331321855013563216649/14524113282293325350503064765760005690\ 3036008252936900131551*c_0101_5^5 + 448909094461947121229805742954020465952321789235577796985741493/145\ 241132822933253505030647657600056903036008252936900131551*c_0101_5^\ 4 - 316842425496321101978630295768654206798701847231107006865336808\ /145241132822933253505030647657600056903036008252936900131551*c_010\ 1_5^3 - 22124650468331428501767678800732890197696194114657421295161\ 207/145241132822933253505030647657600056903036008252936900131551*c_\ 0101_5^2 + 12063877555334832249539235672163743954879196674470100039\ 321592/145241132822933253505030647657600056903036008252936900131551\ *c_0101_5 + 1028983305178385365762377884243676378810514381440517824\ 098476/145241132822933253505030647657600056903036008252936900131551\ , c_0101_1 + 120097471999912644299594864782656861280239785342293335858725\ 2/145241132822933253505030647657600056903036008252936900131551*c_01\ 01_5^29 + 422812598673498981632086843351370043059234731751821225234\ 2181/145241132822933253505030647657600056903036008252936900131551*c\ _0101_5^28 - 373939530577367226419361498790346389577193929299733042\ 86714175/1452411328229332535050306476576000569030360082529369001315\ 51*c_0101_5^27 - 17662737521094979925417209589814837140704104641467\ 1575099619426/14524113282293325350503064765760005690303600825293690\ 0131551*c_0101_5^26 + 624030231796991385476881004059481246647132014\ 785344364871719706/145241132822933253505030647657600056903036008252\ 936900131551*c_0101_5^25 + 2696315893322951247982235025808970936329\ 440333926831692700845424/145241132822933253505030647657600056903036\ 008252936900131551*c_0101_5^24 - 7560370801773470600774701266496786\ 731470573670834262120193808709/145241132822933253505030647657600056\ 903036008252936900131551*c_0101_5^23 - 18701370728063677712230083804490890563512147468847351370628760067/1\ 45241132822933253505030647657600056903036008252936900131551*c_0101_\ 5^22 + 590888035350393898587685276086168746776054450032279384242746\ 47793/145241132822933253505030647657600056903036008252936900131551*\ c_0101_5^21 + 54738372866726281366377734052278436093811994309384692\ 100195841832/145241132822933253505030647657600056903036008252936900\ 131551*c_0101_5^20 - 2619722956512592879405292965532239393421266956\ 40347828150348546576/1452411328229332535050306476576000569030360082\ 52936900131551*c_0101_5^19 - 14149763859099897057169278448043644640\ 293111986417084990064574002/145241132822933253505030647657600056903\ 036008252936900131551*c_0101_5^18 + 657087714576253613481485719786563451953549509741371052891972041542/\ 145241132822933253505030647657600056903036008252936900131551*c_0101\ _5^17 - 31423801749394415053038347846082544527782974490929239096516\ 3863261/14524113282293325350503064765760005690303600825293690013155\ 1*c_0101_5^16 - 913037542641829223581650821032520336980022654347951\ 172408638527728/145241132822933253505030647657600056903036008252936\ 900131551*c_0101_5^15 + 8241134821486664219678517866014548740132107\ 10751350096440851060902/1452411328229332535050306476576000569030360\ 08252936900131551*c_0101_5^14 + 62269628404221378818356541369132023\ 7901140653631727421743300701127/14524113282293325350503064765760005\ 6903036008252936900131551*c_0101_5^13 - 936617614505788509744591045254488299298407068281113327947387888278/\ 145241132822933253505030647657600056903036008252936900131551*c_0101\ _5^12 - 10150555167075053288643571663509229306237078194302946219192\ 5526618/14524113282293325350503064765760005690303600825293690013155\ 1*c_0101_5^11 + 539346836881517968026936095994455326198376535568752\ 168759047877583/145241132822933253505030647657600056903036008252936\ 900131551*c_0101_5^10 - 1033293951115233718855060211321522914354319\ 22252483643680016773122/1452411328229332535050306476576000569030360\ 08252936900131551*c_0101_5^9 - 158644711087430296393925314860907124\ 177729696435159990805276855635/145241132822933253505030647657600056\ 903036008252936900131551*c_0101_5^8 + 59704533956105865873654505423293566109263779760669933467491521790/1\ 45241132822933253505030647657600056903036008252936900131551*c_0101_\ 5^7 + 2240510679828631484860940333935227562808178931247677097747738\ 9092/145241132822933253505030647657600056903036008252936900131551*c\ _0101_5^6 - 1227488905930945653822713223620591562567500514061961975\ 7054449858/14524113282293325350503064765760005690303600825293690013\ 1551*c_0101_5^5 - 1364714591659967875236719974896872772382641469168\ 053445985792443/145241132822933253505030647657600056903036008252936\ 900131551*c_0101_5^4 + 11015732119948228576529457287948582428160710\ 91935402261825952318/1452411328229332535050306476576000569030360082\ 52936900131551*c_0101_5^3 + 462787218983974963946561254100115185047\ 17463438895714884991928/1452411328229332535050306476576000569030360\ 08252936900131551*c_0101_5^2 - 381378285480299204844612294010615302\ 10695754112043128754402696/1452411328229332535050306476576000569030\ 36008252936900131551*c_0101_5 - 26093402867039875208862239909363983\ 10758540358822637256195425/1452411328229332535050306476576000569030\ 36008252936900131551, c_0101_3 + 593465705943823000372370400496637347144605167836034445430185\ /145241132822933253505030647657600056903036008252936900131551*c_010\ 1_5^29 + 1958305658446850360753284984879686722673214744880763441661\ 875/145241132822933253505030647657600056903036008252936900131551*c_\ 0101_5^28 - 1905316734038292790825176014606587500821905610728016982\ 0491036/14524113282293325350503064765760005690303600825293690013155\ 1*c_0101_5^27 - 836899345724287977621895007972872261878177885719192\ 50071820798/1452411328229332535050306476576000569030360082529369001\ 31551*c_0101_5^26 + 33078571682704738249959189407449510682620721334\ 3549429075781766/14524113282293325350503064765760005690303600825293\ 6900131551*c_0101_5^25 + 128347130384418407255195464222057948640427\ 0283952599559738394033/14524113282293325350503064765760005690303600\ 8252936900131551*c_0101_5^24 - 407401679820872189806381365398227591\ 6214125467650421312826198978/14524113282293325350503064765760005690\ 3036008252936900131551*c_0101_5^23 - 8705569150145293929479804541412488928207650783336901934067509863/14\ 5241132822933253505030647657600056903036008252936900131551*c_0101_5\ ^22 + 3172562624415182564602389434292272951521219518944567604481537\ 3550/145241132822933253505030647657600056903036008252936900131551*c\ _0101_5^21 + 227491870606728778385405622315723980734180699969357373\ 73738087183/1452411328229332535050306476576000569030360082529369001\ 31551*c_0101_5^20 - 13931339236465017602637092346164935260090665878\ 8435201643867200467/14524113282293325350503064765760005690303600825\ 2936900131551*c_0101_5^19 + 133794676072797868026708702715727102215\ 93601480654274486006166686/1452411328229332535050306476576000569030\ 36008252936900131551*c_0101_5^18 + 344483661384493925428961083791765090868439644026385721810087494384/\ 145241132822933253505030647657600056903036008252936900131551*c_0101\ _5^17 - 21134789559317023234193541547314862171180578481387592252590\ 7793745/14524113282293325350503064765760005690303600825293690013155\ 1*c_0101_5^16 - 466448986599558628266506449436094295585580511740490\ 558166461089469/145241132822933253505030647657600056903036008252936\ 900131551*c_0101_5^15 + 4976109686074615242766218357522374555782934\ 45399681863946522931842/1452411328229332535050306476576000569030360\ 08252936900131551*c_0101_5^14 + 29619593856152009035230157660463799\ 1637918206445100889274221993793/14524113282293325350503064765760005\ 6903036008252936900131551*c_0101_5^13 - 546766863997543939752969755371807678146107790370863537307448426864/\ 145241132822933253505030647657600056903036008252936900131551*c_0101\ _5^12 - 18565289415288752128522937223793977105351803632536913879352\ 953172/145241132822933253505030647657600056903036008252936900131551\ *c_0101_5^11 + 3099697647838460418111147778478482441248117667456300\ 06751115754335/1452411328229332535050306476576000569030360082529369\ 00131551*c_0101_5^10 - 75427459466648011759741227582948369296726060\ 877360508541211577993/145241132822933253505030647657600056903036008\ 252936900131551*c_0101_5^9 - 90288107940070223538640712192783324006\ 096935564819999144321789639/145241132822933253505030647657600056903\ 036008252936900131551*c_0101_5^8 + 38491659980703301508062357986077206017509541916478633921669934126/1\ 45241132822933253505030647657600056903036008252936900131551*c_0101_\ 5^7 + 1263016870516343709246578799696602232639043617874395515712660\ 3847/145241132822933253505030647657600056903036008252936900131551*c\ _0101_5^6 - 7758213227712115594103349402160202548129802337227422962\ 585821283/145241132822933253505030647657600056903036008252936900131\ 551*c_0101_5^5 - 75930306383138256104270196313342827957500361902531\ 6847574185609/14524113282293325350503064765760005690303600825293690\ 0131551*c_0101_5^4 + 7038010915075055164601063913785525696425548196\ 86626100223221414/1452411328229332535050306476576000569030360082529\ 36900131551*c_0101_5^3 + 275138636654775630845984213550151832030547\ 85725724668792343429/1452411328229332535050306476576000569030360082\ 52936900131551*c_0101_5^2 - 250853291124723082786473709495079907787\ 72247529576956253775683/1452411328229332535050306476576000569030360\ 08252936900131551*c_0101_5 - 18110128256615515099655825620492670841\ 81568336297748718578838/1452411328229332535050306476576000569030360\ 08252936900131551, c_0101_5^30 + 3*c_0101_5^29 - 33*c_0101_5^28 - 131*c_0101_5^27 + 597*c_0101_5^26 + 1980*c_0101_5^25 - 7475*c_0101_5^24 - 12376*c_0101_5^23 + 57426*c_0101_5^22 + 20580*c_0101_5^21 - 242822*c_0101_5^20 + 99304*c_0101_5^19 + 557901*c_0101_5^18 - 541171*c_0101_5^17 - 637122*c_0101_5^16 + 1076763*c_0101_5^15 + 183122*c_0101_5^14 - 1050260*c_0101_5^13 + 300017*c_0101_5^12 + 498954*c_0101_5^11 - 307664*c_0101_5^10 - 92693*c_0101_5^9 + 114608*c_0101_5^8 - 4960*c_0101_5^7 - 19274*c_0101_5^6 + 3695*c_0101_5^5 + 1453*c_0101_5^4 - 386*c_0101_5^3 - 49*c_0101_5^2 + 12*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB