Magma V2.19-8 Tue Aug 20 2013 16:16:42 on localhost [Seed = 3414841090] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0992 geometric_solution 4.88513862 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1.289203963184 1.044179297428 0 0 3 2 2310 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.075472071723 0.355399730513 3 3 1 4 1230 1023 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 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.484556964176 1.230751436304 2 2 4 1 1023 3012 2310 0132 0 0 0 0 0 1 -1 0 0 0 0 0 -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 -1 0 1 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.484556964176 1.230751436304 5 3 2 5 0132 3201 0132 3201 0 0 0 0 0 0 0 0 1 0 -1 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 0 0 0.426347540138 0.585463332211 4 4 6 6 0132 2310 0132 2310 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 2.392251601333 1.808914909823 5 6 6 5 3201 1230 3012 0132 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.231338090297 0.137488637500 ==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' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : negation(d['c_0011_2']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_2'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_2']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 8717425293952908676337891337026106436919502457304255125169947934010\ 183164568154/208815192062715307234252370889696162568160174048232200\ 7081978088300731054414043*c_0101_5^29 - 1554695114333892219761710917254802658749075864141153852950435262177\ 76850640424078/6264455761881459217027571126690884877044805221446966\ 021245934264902193163242129*c_0101_5^28 - 5470427765678525225287713501780780434933771942610935162937865818430\ 3932352052/17862719594757511311741006919563401417293428062295312293\ 25900845424064203947*c_0101_5^27 + 3207411551145085073976825706660810754509759839521762103006518378454\ 662922149280683/626445576188145921702757112669088487704480522144696\ 6021245934264902193163242129*c_0101_5^26 - 2111332455325678624763821615620282834998058241287938627474959662872\ 026263859822150/208815192062715307234252370889696162568160174048232\ 2007081978088300731054414043*c_0101_5^25 - 2171850502374852292950221147032388756805850113217137893532585704948\ 145573032229485/894922251697351316718224446670126411006400745920995\ 145892276323557456166177447*c_0101_5^24 + 2188267447848783340509578659444818779981554547500739342150887378455\ 5506113886358508/20881519206271530723425237088969616256816017404823\ 22007081978088300731054414043*c_0101_5^23 + 9526349407609518633739952237523533225698963957542288797071719762208\ 52519458281251/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^22 - 2463521749622729228659232178576457758474974777225097329482061042533\ 82898838174510529/6264455761881459217027571126690884877044805221446\ 966021245934264902193163242129*c_0101_5^21 - 3692201679513351632383558446209188773978244799848973736350790920768\ 3466870262437171/20881519206271530723425237088969616256816017404823\ 22007081978088300731054414043*c_0101_5^20 + 5616974421357690382272147636524524453960269663169969662041090654039\ 53967974555437200/6264455761881459217027571126690884877044805221446\ 966021245934264902193163242129*c_0101_5^19 + 2699773647757488259076996137392033198646472137380431789696149265437\ 33258561042807687/2088151920627153072342523708896961625681601740482\ 322007081978088300731054414043*c_0101_5^18 - 3351128311506102702953283309895228837921426473415422747788925743693\ 94626840795783643/2088151920627153072342523708896961625681601740482\ 322007081978088300731054414043*c_0101_5^17 - 6555338850611040784845981638962640010147458671481715358366025808640\ 03393255680364004/2088151920627153072342523708896961625681601740482\ 322007081978088300731054414043*c_0101_5^16 + 5784542993627685856603603266675101155844011039287373189312065982525\ 41008738903521469/6264455761881459217027571126690884877044805221446\ 966021245934264902193163242129*c_0101_5^15 + 2160417175962883829282856037426363116295771998881756880589483909150\ 079703589650315311/626445576188145921702757112669088487704480522144\ 6966021245934264902193163242129*c_0101_5^14 + 1754349366914657883213872755122268841787625733102114036983850613011\ 473313566127352856/626445576188145921702757112669088487704480522144\ 6966021245934264902193163242129*c_0101_5^13 - 6241686850309382928822026796201135122098059289934804458542674748378\ 74484255693555227/2088151920627153072342523708896961625681601740482\ 322007081978088300731054414043*c_0101_5^12 - 2472402877319576886203135935775117631921271410313857156558057608891\ 227291175979093953/626445576188145921702757112669088487704480522144\ 6966021245934264902193163242129*c_0101_5^11 + 2550893875594725285556912511815729138265562420127602224725102818644\ 63869836166733867/8949222516973513167182244466701264110064007459209\ 95145892276323557456166177447*c_0101_5^10 + 3894706699924605768496768356557046367098156262901192694456192404976\ 0923942364075505/89492225169735131671822444667012641100640074592099\ 5145892276323557456166177447*c_0101_5^9 - 9790447968334979198631586970209915300667504546129710610441628057561\ 18903773180247565/6264455761881459217027571126690884877044805221446\ 966021245934264902193163242129*c_0101_5^8 + 3965738802814509540467620349491294114361417313787965152324378518501\ 92218751939404618/6264455761881459217027571126690884877044805221446\ 966021245934264902193163242129*c_0101_5^7 + 2352265382296272255972362221987258278627053670292522765446228305241\ 21226771374578686/6264455761881459217027571126690884877044805221446\ 966021245934264902193163242129*c_0101_5^6 + 3222204369696794247189784079307345705798015222795225051486624149195\ 9659566160184281/62644557618814592170275711266908848770448052214469\ 66021245934264902193163242129*c_0101_5^5 - 9223152196335507782167812971199312775255893067037278921904606710427\ 3577349154574700/62644557618814592170275711266908848770448052214469\ 66021245934264902193163242129*c_0101_5^4 - 1013188538487759394028353600352709719036509913076262849102486653383\ 13460870772680396/6264455761881459217027571126690884877044805221446\ 966021245934264902193163242129*c_0101_5^3 + 1598799410587025428526111054208247447228086483011820576472178247010\ 1939211864424541/62644557618814592170275711266908848770448052214469\ 66021245934264902193163242129*c_0101_5^2 + 2969840989591186029488410827694801671942771014549973610857464292377\ 4165912747374528/62644557618814592170275711266908848770448052214469\ 66021245934264902193163242129*c_0101_5 + 5565056274085141539430337831692159552160136311442081768111947071736\ 906628816094411/626445576188145921702757112669088487704480522144696\ 6021245934264902193163242129, c_0011_0 - 1, c_0011_2 - 547674319317181155697424883786522983405982611753419634841131\ 3926905233045400/29830741723245043890607481555670880366880024864033\ 1715297425441185818722059149*c_0101_5^29 + 3495707993101452375950973022626809102308247358400126042835931330917\ 4526011212/29830741723245043890607481555670880366880024864033171529\ 7425441185818722059149*c_0101_5^28 + 1470321841868567142678875295003637727680433402875447929845582673962\ 09747369/1786271959475751131174100691956340141729342806229531229325\ 900845424064203947*c_0101_5^27 - 6812730237896719730896802015077604\ 40929474602918766897076372206479385126082988/2983074172324504389060\ 74815556708803668800248640331715297425441185818722059149*c_0101_5^2\ 6 + 163017871334759570953627447115668219228876932006385184665759523\ 4648935265365419/29830741723245043890607481555670880366880024864033\ 1715297425441185818722059149*c_0101_5^25 + 2440715266477191656423140671052664970974942320906895341289398737855\ 759283030429/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^24 - 1481051367461956812328959873650939380421314416937792607484220344092\ 0750294358926/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^23 + 2545807544723051781005026134369516636623998895274725399407491502054\ 779973794537/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^22 + 5016297656638039226115545849176753959609028093955837685041311848290\ 6646651195401/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^21 - 1334224855135552314530126229807483671361484325284564375489882798858\ 3552433293/29830741723245043890607481555670880366880024864033171529\ 7425441185818722059149*c_0101_5^20 - 1165093149775777474309905521996057311091922358402914820911274064086\ 96140675426208/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^19 - 1138108207812717351316645906027693040414405775857606533050336520553\ 64951109795186/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^18 + 2610749702688279506369494729904511802242268394226843282520993548218\ 79035201833824/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^17 + 2848724473979028754853718059376753642824369665101895378125446472032\ 44178896973203/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^16 - 2574355156506505899399262710353032656001469696600859644773784625404\ 95123866335110/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^15 - 3249199792483092158048941326163397443182869405992911138270954031981\ 43315127302687/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^14 - 1993447660276566812429177379126941958642198584099688828414241399012\ 72921969740167/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^13 + 4847405751333286541065415410691728131598753718797106309191253147016\ 87510564328116/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^12 + 2814774878775849938161089426335777266505038070097937339238143890602\ 02330771600149/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^11 - 5190519730401255262818915094095015584336561874016718116519445270304\ 03808283653541/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^10 + 1829046333808484798705630724728656485044360173041369517410695619636\ 88931845256987/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^9 + 1318113874288609532954111542727091121140682286118695566778615107304\ 21224659424785/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^8 - 1511772638573116176379140145504282102346980170024577360092152286169\ 88933043276610/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^7 + 1922493615096475767668857508153953120010204258550510448779070385981\ 5902311463528/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^6 - 1094252842894110411467970898225113934111934840518864139510251219219\ 9529388886824/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^5 + 2378033767068634416031649219105426352054556297010888530665096101666\ 2530593300082/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^4 + 9677941522321383003252164158554947353718133536829439035009223916598\ 119405831346/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^3 - 8596272516508535759422876326296191434460693503717288406290078216840\ 303820167833/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^2 - 2031186075089087262412339897365323184545233739150545322605187882617\ 751444172903/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5 + 2041128632045221761944186456696839703856734895795953159287393489415\ 22590272900/2983074172324504389060748155567088036688002486403317152\ 97425441185818722059149, c_0011_4 + 337895282844238493403423859653448430924059261275026995856193\ 6717157752984399/29830741723245043890607481555670880366880024864033\ 1715297425441185818722059149*c_0101_5^29 - 2116366380607517695788759484428220484395085633525547217209220850205\ 2927229399/29830741723245043890607481555670880366880024864033171529\ 7425441185818722059149*c_0101_5^28 - 1086874342650880527882009782294170204035987013877884697957943242010\ 13252941/1786271959475751131174100691956340141729342806229531229325\ 900845424064203947*c_0101_5^27 + 4208534293475899691834466697692876\ 23515507124120443559340054982717689539209138/2983074172324504389060\ 74815556708803668800248640331715297425441185818722059149*c_0101_5^2\ 6 - 951843206680777940706519214366355796646097245018979693536308174\ 518144806679907/298307417232450438906074815556708803668800248640331\ 715297425441185818722059149*c_0101_5^25 - 1674305892152050073051401369660471407139087886572822827553600091969\ 429333905348/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^24 + 9044358153688824513814185813366092543677826397946420448650577650197\ 399598481708/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^23 - 2412671993955754002183382087929462102908339406120916967705683725780\ 76965444579/2983074172324504389060748155567088036688002486403317152\ 97425441185818722059149*c_0101_5^22 - 3203278999178576286568078236959944253128805201406451114189199830594\ 6965560078761/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^21 - 4131451678119147743173851285894496352175494505262067232330832823107\ 187949428689/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^20 + 7490301801707768155685420674409156968617741966878915226323695593482\ 9682681881354/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^19 + 8110589207331845927050660473785131310114533872453777976080286642054\ 9141758924635/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^18 - 1581099012339123268282041456810062949844597475511151497875889363066\ 42100893122667/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^17 - 2069575608538892218996382722000888628570031851342154760026532296705\ 56572267353515/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^16 + 1451669880868941566165187212213284160282400356852080820963642589739\ 03322691100288/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^15 + 2408475757370699504987603800580282476110900653685436657488008006034\ 88701268696961/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^14 + 1478329545528379260861051061808245154183357207581236707822903101606\ 37673078031283/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^13 - 2975736335338435171922408113550217771940996826425368412678769998314\ 26056596781549/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^12 - 2333770984973704443595203497699397210182023176880116687789471012174\ 67884730947213/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^11 + 3119329502066251727728003328937634056226762345797953616765224190939\ 86797489876378/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^10 - 5513880959042563611795961188442775121124073779399742306064782338161\ 8971766671471/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^9 - 1145149520407825898045152365459940140933802027591891870349938460334\ 49645821340796/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^8 + 8965547775459563098604887904606787046861222113643703795753080485377\ 6527291960758/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^7 + 4839321461442361523327543715364322817975485538200350993063261694677\ 715511949151/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^6 + 1846078361873128720926192536620201957428426659367059597762786114481\ 733414877367/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^5 - 1314512632145666363636630873928202147496380127768333799665532705210\ 8273177904323/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^4 - 9961740418070798768184927992413110737096493114161872212258137747667\ 969994003630/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^3 + 5728117431354164987395170851996009696642067379141021300388879693949\ 115470727034/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^2 + 2266949338309696289936837859456649076132597400384316637248255379085\ 803938950691/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5 + 3916156959967185439674544631218592588609540858373017773710585783136\ 3814310166/29830741723245043890607481555670880366880024864033171529\ 7425441185818722059149, c_0011_6 - 145070760548204833194023782076125681119219141606982249696753\ 1336027145266237/29830741723245043890607481555670880366880024864033\ 1715297425441185818722059149*c_0101_5^29 + 9313650061153917122892206953932774398951513340697194460631418763157\ 768533418/298307417232450438906074815556708803668800248640331715297\ 425441185818722059149*c_0101_5^28 + 4219721289022758557543664775496557680942589419167413822166169881983\ 1348771/17862719594757511311741006919563401417293428062295312293259\ 00845424064203947*c_0101_5^27 - 18519373297612703512612301866478305\ 6510739606342198303204636801107237224236105/29830741723245043890607\ 4815556708803668800248640331715297425441185818722059149*c_0101_5^26 + 42887771379393868946012819749326853271186305171407566806812397659\ 1682963354380/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^25 + 7265829708938985733101257040123808519759831106908124052598674570137\ 72030679259/2983074172324504389060748155567088036688002486403317152\ 97425441185818722059149*c_0101_5^24 - 4086290634102967386578012003529762894201355775712130536570526031752\ 519603226725/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^23 + 2710636925783397492533474304118247236180790343510206629197491465506\ 37108771693/2983074172324504389060748155567088036688002486403317152\ 97425441185818722059149*c_0101_5^22 + 1487711394745830186213843098193327286056937351356680610841655271342\ 9458230453775/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^21 + 1091575779916614001572194475438364819628226107472111609166668712920\ 483334882026/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^20 - 3632142287393445375409472249147252100854509466291371434049702893516\ 8318197626420/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^19 - 3606221850018941753344428421370787365615690056180618960198408384537\ 3064628255735/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^18 + 7804015091273399955246929645101731219882274245972719416856382050042\ 2266442401671/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^17 + 1005378841765458812931012658031877416875020718323500285228237884535\ 85328565502708/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^16 - 7364054154939983194639231624169141519754324690842589246857374037681\ 9426423852764/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^15 - 1267955681108350655066941808037593999131439490983342691237459894276\ 51070012260189/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^14 - 6999201811974327583957996562803439715381817550336628175800064047610\ 1588779717387/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^13 + 1458209705191552037828446499613719176218427683742612513294135264373\ 25754679436222/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^12 + 1234780967011267521356979147921692149950792296325294410662469698376\ 89944824690092/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^11 - 1432489138459652305739742076927192943049224542284008744460524141305\ 92508268893043/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^10 + 1580894474838333004565427681875069379104233948145516069509446662912\ 4783044450425/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^9 + 5882562891400925939719736264919657106277695143635708929663416220349\ 9470890470074/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^8 - 4318726469554369498116591000482818935642827640265292111417207134625\ 6774425652447/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^7 - 3889674208911368050366534704020744412494020200034830793974746937236\ 227502637539/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^6 - 5034093364149526836719702181871127261672537575027300355261766274598\ 32213341199/2983074172324504389060748155567088036688002486403317152\ 97425441185818722059149*c_0101_5^5 + 5690387248258710481331345445846511399340419678228172591868909020620\ 479515056780/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^4 + 6127231796251628638659061322138173536103902246592260542997928196817\ 622871581139/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^3 - 2625651717639339163660263147717891923426086191933814143991463260733\ 177811548379/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^2 - 1339125850553714381585722905338056241739270728020934343018752750290\ 658780493388/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5 - 8432701630462478264179715376058572295378018398254484560265687881665\ 9513012052/29830741723245043890607481555670880366880024864033171529\ 7425441185818722059149, c_0101_0 + 143838496046061578362495590717079862758257001150448150441119\ 3656457150456468/29830741723245043890607481555670880366880024864033\ 1715297425441185818722059149*c_0101_5^29 - 8360643105241143033223564807368256354458444190546797394270530018041\ 473398560/298307417232450438906074815556708803668800248640331715297\ 425441185818722059149*c_0101_5^28 - 6829698771402260311779586833041955720364019570325867929711978442980\ 5838681/17862719594757511311741006919563401417293428062295312293259\ 00845424064203947*c_0101_5^27 + 17367777365053621018158193840010934\ 8814887559924627428801537343303260550829408/29830741723245043890607\ 4815556708803668800248640331715297425441185818722059149*c_0101_5^26 - 32837980344912921633003093085020664692572115251334909029366550662\ 9199923429901/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^25 - 8530579351886314944741634752627849958556643128576194150377576345054\ 42950755458/2983074172324504389060748155567088036688002486403317152\ 97425441185818722059149*c_0101_5^24 + 3463968157750684052622517640520201110801911377287031758774162068461\ 455840198891/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^23 + 1397754828657055895406605146753315409297933284849443406511064991344\ 378386728287/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^22 - 1294758257702454064430511901802622988121518032863006570454546465526\ 7726214506520/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^21 - 7268888307825914633596687930206857085309222605460763684139121506411\ 104122498571/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^20 + 2855471547841322984223159150250078829132258506841167475774874997289\ 9149177402249/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^19 + 4597072969326795873204832287291855940872257403229750851026879706634\ 1737379981539/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^18 - 4770438649047600550982113004719285201149245980042212553117547954629\ 5295731270010/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^17 - 1061525174205597310893363131714116367384064027009205742677945774347\ 86692682567664/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^16 + 1937133943954303988508831100960813424965600351640477450029317349077\ 8619431997921/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^15 + 1096862917167802297692779180269033495423617998122151182865839065810\ 84147352319741/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^14 + 1011063519327047215695897057818017364978999091647428764652591324170\ 14473571365067/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^13 - 8852042665105251627997853509612067090725707614631989078750795099033\ 4919103186452/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^12 - 1306461752586693027981351999480100384275033184886003007261505398444\ 01611469025245/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^11 + 8564579533869525027209537932996168532034881566954884697830029220502\ 7482565561569/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^10 + 1805924713899744016419468205507600537693899510557430925209246286877\ 2159051629888/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^9 - 4851341591031270541452753407106443389202668187103242285965302056906\ 9272220053276/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^8 + 1418532672603733705772877985887708761868540265554586758080597558013\ 3550953371614/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^7 + 1309699782075296450058646079843880509006493242573229770388217254141\ 8977809992034/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^6 + 2229805607752178560476487016433922237440164920118193172981733419518\ 616508610056/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^5 - 4871061133046470995574774110059326132858024546617255158677366441797\ 724941256744/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^4 - 5033055944866884263670788401556430702024073255096394413276403399564\ 145608609604/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^3 + 5054467385046609735568237835523539541109966037737651214403810604601\ 17123887088/2983074172324504389060748155567088036688002486403317152\ 97425441185818722059149*c_0101_5^2 + 1697296298770412697334802500356580700134583256543537920121098708171\ 607713491661/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5 + 1790485273394728836850203648070319697612761989951707865775742143673\ 75427711164/2983074172324504389060748155567088036688002486403317152\ 97425441185818722059149, c_0101_1 - 309715871974664925399910837709305371477935292028230920046160\ 9656671222291030/29830741723245043890607481555670880366880024864033\ 1715297425441185818722059149*c_0101_5^29 + 1867535247770224491894251588468309262908469597706071700162598124340\ 7479315689/29830741723245043890607481555670880366880024864033171529\ 7425441185818722059149*c_0101_5^28 + 1232554631960796907024107988564604892695664122127734593250761014278\ 29897262/1786271959475751131174100691956340141729342806229531229325\ 900845424064203947*c_0101_5^27 - 3790338097861760604986189775512287\ 69321488374667732741666416527106216539314449/2983074172324504389060\ 74815556708803668800248640331715297425441185818722059149*c_0101_5^2\ 6 + 789444767467025872778382552318321986593631733369399799356876434\ 634896005870353/298307417232450438906074815556708803668800248640331\ 715297425441185818722059149*c_0101_5^25 + 1675901711740810785354522309805940882047159822512150740025911625054\ 063562212314/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^24 - 7854610944902007242509867163525665135042302055473096628822867437601\ 181666370821/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^23 - 1322253668520553834034258774978410282071552919921373379684135034734\ 923890751895/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^22 + 2841038142100205293369969323398502129463099809545459322532770646250\ 3761262543173/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^21 + 9299489276987761266794941576827102212794020029825461295998495130856\ 955490065254/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^20 - 6420238429388330567315469269772896663801606240994131719520024446688\ 1489363017887/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^19 - 8469531015738929873399070426087008455360334580738427652704262638799\ 4256918866387/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^18 + 1227676056185687330277130117014540723196475379154109777068728130718\ 87020862984830/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^17 + 2030705193455950291520377567367427466853085752410949933403619834345\ 83515721251979/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^16 - 9021647273358521164784309219304154813776680633802179504122271760842\ 5826984640604/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^15 - 2190381917885917672317765509875795599114245064051320593168116391599\ 32260502534804/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^14 - 1663607031294110672097006435161510176202042485975901326012985465256\ 37409119350157/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^13 + 2287158073867321715911945823265675846940882793595163927221448032242\ 93219267466156/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^12 + 2353962956876272899513281363252801152039618335518712897049210405768\ 55751557480494/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^11 - 2422128452201760958644507420090026363486825699904020095848073470366\ 13333517144267/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^10 + 1484646291576216271266561495234632757121643317038930918824564400170\ 0881907271395/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^9 + 1075293837504920033782317787593456486506788652672052836740840411148\ 33808603528383/2983074172324504389060748155567088036688002486403317\ 15297425441185818722059149*c_0101_5^8 - 6253135955485464433831117042791866988909763107183217130798889418937\ 9817521551317/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^7 - 1263339756296617541711758101096872796626589313198848926869929796898\ 8012048087755/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^6 - 2193380019564612601244401230736850540821773025271365898850562153339\ 086301740546/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^5 + 1009545151162213378670159765789523116034893285475640889758696568457\ 8492273338973/29830741723245043890607481555670880366880024864033171\ 5297425441185818722059149*c_0101_5^4 + 9591083904049364240153686482240109846850982383906776473235520030068\ 221046571034/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^3 - 3863632295839825486392504631476570590218076199075360605179133040563\ 489731870618/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5^2 - 2548371156338870495395994394355609999030683990731802423981847823820\ 816137646622/298307417232450438906074815556708803668800248640331715\ 297425441185818722059149*c_0101_5 - 5098190707003797810566398649344445002986868873436117983374473411936\ 6202000271/29830741723245043890607481555670880366880024864033171529\ 7425441185818722059149, c_0101_5^30 - 6*c_0101_5^29 - 7*c_0101_5^28 + 123*c_0101_5^27 - 249*c_0101_5^26 - 567*c_0101_5^25 + 2540*c_0101_5^24 + 623*c_0101_5^23 - 9441*c_0101_5^22 - 3720*c_0101_5^21 + 21639*c_0101_5^20 + 29791*c_0101_5^19 - 39978*c_0101_5^18 - 72932*c_0101_5^17 + 25867*c_0101_5^16 + 80991*c_0101_5^15 + 62974*c_0101_5^14 - 74807*c_0101_5^13 - 90389*c_0101_5^12 + 72730*c_0101_5^11 + 6230*c_0101_5^10 - 37164*c_0101_5^9 + 16980*c_0101_5^8 + 7908*c_0101_5^7 + 1032*c_0101_5^6 - 3636*c_0101_5^5 - 3676*c_0101_5^4 + 797*c_0101_5^3 + 1080*c_0101_5^2 + 172*c_0101_5 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB