Magma V2.19-8 Tue Aug 20 2013 16:16:14 on localhost [Seed = 172725961] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0494 geometric_solution 4.51086071 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 1 2310 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 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.677024563096 0.056887394241 0 0 2 2 3201 0132 2310 0132 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 0 1 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 2.136008964199 0.361511242313 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 1.420465885678 0.394163015225 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.105286597062 0.565289577258 5 3 6 5 2310 0132 0132 2031 0 0 0 0 0 0 0 0 1 0 0 -1 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.135891892189 0.789921992766 6 4 4 3 2310 1302 3201 0132 0 0 0 0 0 1 -1 0 1 0 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 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.135891892189 0.789921992766 6 6 5 4 1230 3012 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.799492010375 0.839345847263 ==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' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : negation(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' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_5, c_0011_6, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 4338589528098303894603332619394547343163201987941886927632897625046\ 08992845394301812/6355957672015690147843219900653909129369163610817\ 211009090969885445407286700500845*c_0101_3^27 + 2683472664707742012461759197262895444795146699122566721832286066384\ 029541152805189098/635595767201569014784321990065390912936916361081\ 7211009090969885445407286700500845*c_0101_3^26 - 1582993672585097092969899245373198554563073247734549453478076200293\ 795289504822656551/907993953145098592549031414379129875624166230116\ 744429870138555063629612385785835*c_0101_3^25 - 7798315537269536692333165413884167214155967587865790160636959215351\ 132721559786777451/907993953145098592549031414379129875624166230116\ 744429870138555063629612385785835*c_0101_3^24 + 1340005259297022845110840272858457952391821624703174319541541013976\ 1869518080189869973/90799395314509859254903141437912987562416623011\ 6744429870138555063629612385785835*c_0101_3^23 + 4241769386624736056055303636779871548600457472761094105051136705321\ 0969287080695050828/12711915344031380295686439801307818258738327221\ 63442201818193977089081457340100169*c_0101_3^22 - 7164802945691223528988259722336442106567652979984499480517159707759\ 62387479845748803432/6355957672015690147843219900653909129369163610\ 817211009090969885445407286700500845*c_0101_3^21 + 7143639918103296104432650552822719602350061825179799269374178107429\ 52167288420287687284/6355957672015690147843219900653909129369163610\ 817211009090969885445407286700500845*c_0101_3^20 + 7350590312455614768628627278069738573918596781723828303895633903900\ 92514396763417993854/9079939531450985925490314143791298756241662301\ 16744429870138555063629612385785835*c_0101_3^19 - 8277723749757516770960103519274650218812218390188909518288758865271\ 08167846924546172362/9079939531450985925490314143791298756241662301\ 16744429870138555063629612385785835*c_0101_3^18 - 2141759352834417365851272499313545787744025424979191093975989845621\ 4250963409674660998824/63559576720156901478432199006539091293691636\ 10817211009090969885445407286700500845*c_0101_3^17 + 1396255260637702034429142490082607306593100589454547878738630279929\ 0614521678620440727929/63559576720156901478432199006539091293691636\ 10817211009090969885445407286700500845*c_0101_3^16 + 4973080125085623212700895066247582784426725224125172025435807647623\ 3643146658985141580194/63559576720156901478432199006539091293691636\ 10817211009090969885445407286700500845*c_0101_3^15 - 2972747701373968457092988265199535298982849917962104231173513670469\ 964226631954754827776/907993953145098592549031414379129875624166230\ 116744429870138555063629612385785835*c_0101_3^14 - 6301890517688308573751459074644813276931125816677190165180076860811\ 2407426722862102225284/63559576720156901478432199006539091293691636\ 10817211009090969885445407286700500845*c_0101_3^13 + 4186500678471827454212456618798466796635136640155079592220941994305\ 724398688992154964391/907993953145098592549031414379129875624166230\ 116744429870138555063629612385785835*c_0101_3^12 + 4354818129421304660482406900826167293288703666174146898328074035248\ 408371678237063104044/907993953145098592549031414379129875624166230\ 116744429870138555063629612385785835*c_0101_3^11 - 3043960686150372890912592627050889717109599613012933383802208079810\ 0490265281973819538783/63559576720156901478432199006539091293691636\ 10817211009090969885445407286700500845*c_0101_3^10 + 4158703260439459311059068233674568578123247588763120976870186538123\ 328715215346156099457/127119153440313802956864398013078182587383272\ 2163442201818193977089081457340100169*c_0101_3^9 + 3540681465665368866987990974233338055027921155082999623712577695748\ 0481702691013421354/24540377112029691690514362550787293935788276489\ 641741347841582569287286821237455*c_0101_3^8 - 3101885057275133961935882407430402110923463868494477770350681293545\ 7738535647492181830667/63559576720156901478432199006539091293691636\ 10817211009090969885445407286700500845*c_0101_3^7 + 8307512359110842367590120763876480971584095749206848254659149978763\ 114998829497448796474/635595767201569014784321990065390912936916361\ 0817211009090969885445407286700500845*c_0101_3^6 + 1005895818800984895999142677370613523895884456546538538736101227005\ 8211013594570674057477/63559576720156901478432199006539091293691636\ 10817211009090969885445407286700500845*c_0101_3^5 - 4671530942762834028183478320385287804791635503860294305642547647257\ 316798089168372004452/635595767201569014784321990065390912936916361\ 0817211009090969885445407286700500845*c_0101_3^4 - 3626031757741257251065640797853343186295428962789932900646777315771\ 05193454368722476927/6355957672015690147843219900653909129369163610\ 817211009090969885445407286700500845*c_0101_3^3 + 3379775104404007354522675895663961602541289357233705892952470575816\ 31010662105659460882/6355957672015690147843219900653909129369163610\ 817211009090969885445407286700500845*c_0101_3^2 - 1448472180076861476295830443580884056856852562705286647819278181554\ 1099428455460105191/63559576720156901478432199006539091293691636108\ 17211009090969885445407286700500845*c_0101_3 - 1657411869459548356540149442625314919841270872141988257419374723587\ 0981530394598057906/63559576720156901478432199006539091293691636108\ 17211009090969885445407286700500845, c_0011_0 - 1, c_0011_2 + 157152497442050359777133810660738028081278190919043335194925\ 5214684283604783260/18159879062901971850980628287582597512483324602\ 3348885974027711012725922477157167*c_0101_3^27 + 1303872392022701774646534395199967818311459048473798424076411455464\ 4076633055598/18159879062901971850980628287582597512483324602334888\ 5974027711012725922477157167*c_0101_3^26 - 1463311109952367525438244091106047452795053585034148141964051300309\ 5497633689691/18159879062901971850980628287582597512483324602334888\ 5974027711012725922477157167*c_0101_3^25 - 2447975970254309832953964421587241883030038441073141216254152771592\ 94183576691331/1815987906290197185098062828758259751248332460233488\ 85974027711012725922477157167*c_0101_3^24 - 1529372293090901579774401505230523617008285152406685303344579642612\ 11493944944643/1815987906290197185098062828758259751248332460233488\ 85974027711012725922477157167*c_0101_3^23 + 7529645704309759481620021255296732321618578776144055646683099529249\ 50770264477216/1815987906290197185098062828758259751248332460233488\ 85974027711012725922477157167*c_0101_3^22 - 9106744871847832105562081722149853597908007836449023286087258962393\ 92460910707029/1815987906290197185098062828758259751248332460233488\ 85974027711012725922477157167*c_0101_3^21 - 3310991018615135456176599676097402827756738200055518709290246226967\ 22613179313082/1815987906290197185098062828758259751248332460233488\ 85974027711012725922477157167*c_0101_3^20 + 1946780234419494029721732776667626174845025349709189481915414467470\ 7677962547615044/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^19 + 2000788010393992292323497805632260253075658654161946414585436435837\ 0087346415224767/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^18 - 6046115318787154091858502198153377208827082060564857621696902099073\ 4075788401906943/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^17 - 9440127784985723388221095936955962939937217414289503766277866894194\ 1141953816325858/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^16 + 6395092881474999729218707848452251336634258687531364322433569868268\ 4779359662946076/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^15 + 1520055032467316073724984639630434829376803514208760321062203240648\ 75145185288961526/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^14 - 1857997124010784635099315611203422475256115907753749983346649040645\ 8978050316801330/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^13 - 8558135917422652461481329773597127982886742443355100066971389557440\ 4945356218627389/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^12 + 3096537491707078924466856454104005670302332969347901089693294042167\ 307020402121312/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^11 - 2786304759583889630296825275127539916080027672589736557928706078361\ 2143264053802148/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^10 - 1235521943364559709061386640444320668792956326715229796198766532750\ 0708102381120736/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^9 + 1588669923427386402425543668815851690378424670234691675548314324918\ 541126800585614/490807542240593833810287251015745878715765529792834\ 8269568316513857457364247491*c_0101_3^8 + 7816233344971744566669840509218147570715725846764653349549222416413\ 689172619887460/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^7 - 2546087345941573216087135992905516081925757679201726167206479306850\ 3244437340622778/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^6 - 1112164308337637260723985021979627222994824869788724048399990102558\ 661719594544578/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^5 + 3365802692176210090431648497485320463720134956991840192041073920718\ 756125236012345/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^4 - 9089617072598699292103583065306192509946807822846436645321989570651\ 9907436978686/18159879062901971850980628287582597512483324602334888\ 5974027711012725922477157167*c_0101_3^3 - 4563106332278270157762766528588592371145938193122747604083513166646\ 96459769358317/1815987906290197185098062828758259751248332460233488\ 85974027711012725922477157167*c_0101_3^2 + 7120329306548456640891782038139121701302194552356879370607230423004\ 611765707100/181598790629019718509806282875825975124833246023348885\ 974027711012725922477157167*c_0101_3 + 7552421642677849813422343970909583718718131280881761256835212619284\ 4404133043526/18159879062901971850980628287582597512483324602334888\ 5974027711012725922477157167, c_0011_5 - 311695928844519067361600073323404421952454419894955797222520\ 2498423066026657024/18159879062901971850980628287582597512483324602\ 3348885974027711012725922477157167*c_0101_3^27 - 2256948013401636941832305516870842366194070747180961418780386811840\ 6172197431344/18159879062901971850980628287582597512483324602334888\ 5974027711012725922477157167*c_0101_3^26 + 5587600504257233922862022902891577395567354317169662434151930798939\ 0989388941164/18159879062901971850980628287582597512483324602334888\ 5974027711012725922477157167*c_0101_3^25 + 4512051270478573969850829022212111246340217281797897574389520849806\ 03864324229666/1815987906290197185098062828758259751248332460233488\ 85974027711012725922477157167*c_0101_3^24 - 2040896578747410242244511436286992787156510863902687956584494657841\ 62291709638491/1815987906290197185098062828758259751248332460233488\ 85974027711012725922477157167*c_0101_3^23 - 1742787480301725391929749228237426792357488712347418762634523463371\ 564618673673192/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^22 + 3407609409894505158744719011109335459578022130607076874944301494933\ 100835601198515/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^21 - 1495873974162445614267640064988014438305912253291650815520065471219\ 731242257987729/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^20 - 3896851370480232522106208336545884299467559506164801001357529398609\ 9977397325560758/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^19 + 1155109302355442237637047579125701326512364598455675330482936355694\ 576615757940343/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^18 + 1559661568154036258085557566477573803662316504502486040741907106513\ 20963529910503883/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^17 + 5645180149252018601747734691239141974564485691098750947907020051522\ 1031114716482869/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^16 - 3043279027480641692263575823028079528619981003989754883138505139276\ 27756176558794668/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^15 - 1453965076456255116674481418033882378300827847472415989019903046674\ 25314791613731501/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^14 + 3263929887702576287144829956185230014878693483589709601633705136990\ 59252683911765582/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^13 + 9285471279307180923527692214830846055609270469319094137286678098574\ 9665104741033936/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^12 - 1643232335395824764098132424742166924987851373589259690827436359108\ 50938641106615086/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^11 + 8149496101842452729416853994456311469477010847220924381269200816584\ 5321459916341421/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^10 - 4357092387176402862075031870235940888621800849603582494817826458461\ 0359253201498090/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^9 - 3475736406532177119552002571232427044217827330680623009515636495519\ 767663375005734/490807542240593833810287251015745878715765529792834\ 8269568316513857457364247491*c_0101_3^8 + 1066485463394471884509348508597467901772528978356947603212867575419\ 17749855703369542/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^7 + 4815889055459328808704098415351809335564492816460999063354787012155\ 6938262127956021/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^6 - 4538411964836840848963259520631189317624771455843580733616024680506\ 8393489664067156/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^5 - 3979383032405840843827333697953778213439188857618381942404887882760\ 986181160202994/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^4 + 5470958329571118675064896081187049941174018342602209467875644047209\ 926543835179150/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^3 - 8459674729627740395963494529508094048019901705380586304557149928709\ 0450598913720/18159879062901971850980628287582597512483324602334888\ 5974027711012725922477157167*c_0101_3^2 - 2499746282907587568714454569374811538175933446076496459389860428541\ 30852683564419/1815987906290197185098062828758259751248332460233488\ 85974027711012725922477157167*c_0101_3 + 1015747946265991620576230031680077401221093424329881852072430160256\ 4871281374199/18159879062901971850980628287582597512483324602334888\ 5974027711012725922477157167, c_0011_6 + 577524710149570852069827775189717866268624218172991608673590\ 4210257167052349608/18159879062901971850980628287582597512483324602\ 3348885974027711012725922477157167*c_0101_3^27 + 3882723937443806142944522878802361004524538007346129250485151211671\ 8442410840656/18159879062901971850980628287582597512483324602334888\ 5974027711012725922477157167*c_0101_3^26 - 1250161799880500641385725999808943166337931900844789112479510225940\ 09376529851616/1815987906290197185098062828758259751248332460233488\ 85974027711012725922477157167*c_0101_3^25 - 7818793029508782981457702131054517040723002432105278798062026897383\ 02437457638955/1815987906290197185098062828758259751248332460233488\ 85974027711012725922477157167*c_0101_3^24 + 8029075533078715960175365443473143911057034433816834177754550964933\ 20910477405798/1815987906290197185098062828758259751248332460233488\ 85974027711012725922477157167*c_0101_3^23 + 3019890077876508117124829484982364492681110066842045464659559014393\ 843980112192212/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^22 - 7875431657155090336914620663567301440133245996394849833102773034218\ 487503295208704/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^21 + 6117944765319355761951269893241011785336166238717528994003740850537\ 076447911930062/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^20 + 7024651773719337701840785353178717049534900193770314261054934211801\ 9502179829022018/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^19 - 3878900158065614293165985823067288965001642351734955915100680485742\ 5556452970711985/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^18 - 2861350572882147357610319574951423397641215572616518298522418584412\ 28859319133818385/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^17 + 3667259656324984062954457778343235240103891334888086197765999505079\ 0173265778772584/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^16 + 6077879083832259053689764837367604683743544891862029294598709361598\ 52463304098988623/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^15 + 4131807495491316954409774304302598414343186878843151744704020219430\ 375130091121023/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^14 - 7089202507260173189567786343293062428418685160986045851117777999444\ 89370117820629284/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^13 + 1014351282169222336698626006659874573026149035563978298174807644976\ 88028846213325263/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^12 + 3403270858287152395825256414679303998836752787561955666616667068385\ 52280953635931500/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^11 - 2754142650630021532910296756461947955617589139964717630700031634639\ 54018970723316875/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^10 + 1823779696240380354729564199704221048428781934211547768513115490922\ 68050054369654696/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^9 + 4882557045084699030628706772050967509040205720460115610849720371676\ 316340916352007/490807542240593833810287251015745878715765529792834\ 8269568316513857457364247491*c_0101_3^8 - 2980971533581593011008408175682917063889676530652935236446901976968\ 70804332028995900/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^7 + 1031207098825896136767888379963843347491954146947967739367619934043\ 3287731147310129/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^6 + 1038214132762505464166890978128491002759839858640938496950400546889\ 42951153901560560/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^5 - 2766360921516727712543345759497539386208590611074904289125330522472\ 1828867223249576/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^4 - 6616137165888965920344194457442329553446359304226895932120457125222\ 102843268064886/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^3 + 2709566964893494942081929408127994894523350898302648630817342228617\ 380954265300256/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^2 + 1392324296135757871543921928745710400918715785915897587629271327834\ 41315229204105/1815987906290197185098062828758259751248332460233488\ 85974027711012725922477157167*c_0101_3 - 1124682741971148435315406203468318960635504981953719210606738441243\ 90874267893619/1815987906290197185098062828758259751248332460233488\ 85974027711012725922477157167, c_0101_0 + 801744107013918708950979018251883136142879847616997494992166\ 0886384842326425140/18159879062901971850980628287582597512483324602\ 3348885974027711012725922477157167*c_0101_3^27 + 5981475342113907424319254684718627588420473304732672050480882835927\ 2760890934106/18159879062901971850980628287582597512483324602334888\ 5974027711012725922477157167*c_0101_3^26 - 1291255205587299384011891595478757282264772570589872164358999372399\ 11205326987041/1815987906290197185098062828758259751248332460233488\ 85974027711012725922477157167*c_0101_3^25 - 1177496741003878852091093057693438429374265886070172367125209818368\ 386604046881073/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^24 + 2478476300808295900611351562837413288762403974308864008653420164794\ 92552385492647/1815987906290197185098062828758259751248332460233488\ 85974027711012725922477157167*c_0101_3^23 + 4318440007731319280268926428412168224081550185665498606774439489654\ 209315650922007/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^22 - 7866826891836167554718868319806514932727177799398931365629402061886\ 950910794537174/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^21 + 2832629812434635674410620481482824608516423206411116890434885807132\ 402505725763578/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^20 + 9973468557353559308832002811075860018221053509243540353754107833260\ 9020198250568715/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^19 + 1915444252702197982014381743713799713539183004536392556992557170872\ 9740410497506586/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^18 - 3791310474077315316941443764451628725364387085896883768881331706242\ 85475584947922528/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^17 - 2174335006279058910077353638297975759825563480927195162423668901903\ 83909733528921433/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^16 + 6748873761212032735859603554279128857001919581969540499388039204770\ 17173395854826590/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^15 + 4586102452659281127139524228018098829534053489595265657044459258389\ 74802689616060212/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^14 - 6565597505986319583462424098761317967305712730075306213481159972570\ 63154464012645778/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^13 - 2733730188704182504060575669787882628779893011408651575802318228862\ 60710277444079953/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^12 + 3105522859999679662049593200295617069561883698600082508072774020026\ 91653168300695964/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^11 - 2003988624037154789672802857312531595946273913206096686443594278784\ 63990932778725889/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^10 + 8145961515234855975619777670556054482867126260871715804918894312099\ 1377147439013088/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^9 + 8540255315996957154504261057483951535423207381612043501954166640710\ 664206839642084/490807542240593833810287251015745878715765529792834\ 8269568316513857457364247491*c_0101_3^8 - 1972130672073751170601134539270041038013037906584933974672382745548\ 09748600370570028/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^7 - 1158748182506604119080611122469293779024603231022037078386479124112\ 92079963972431720/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^6 + 8162433613686065474156327684772964569533595932986214906999857260391\ 9227289973751581/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^5 + 9656907714662859005542538626114997690189949716281990520729641319606\ 917371143502042/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^4 - 9874664459680842509497433020280904781081799960138400756775659313852\ 598790199972803/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^3 - 2510864807673400445035669616993702293737722156630846745986372278798\ 6063556354062/18159879062901971850980628287582597512483324602334888\ 5974027711012725922477157167*c_0101_3^2 + 9337689102550430135390222054572612649950933870950482664737439636240\ 87444669058578/1815987906290197185098062828758259751248332460233488\ 85974027711012725922477157167*c_0101_3 - 1219663314416141757685332604507635381984644024504829428902876699236\ 1409264322501/18159879062901971850980628287582597512483324602334888\ 5974027711012725922477157167, c_0101_2 - 368656914456885361450768507319439698000437451129630453376329\ 2562833846862541032/18159879062901971850980628287582597512483324602\ 3348885974027711012725922477157167*c_0101_3^27 - 2716929048442645903841234301777158206036121559504372932774385456310\ 9917209901248/18159879062901971850980628287582597512483324602334888\ 5974027711012725922477157167*c_0101_3^26 + 6220437344858401024603340470537924876365148613978673874474393435873\ 7958756198604/18159879062901971850980628287582597512483324602334888\ 5974027711012725922477157167*c_0101_3^25 + 5386019777013672180308693645787133574838736172470944283581788668771\ 81611987473377/1815987906290197185098062828758259751248332460233488\ 85974027711012725922477157167*c_0101_3^24 - 1678188192429137032343658361702188686277277446978030183363932801212\ 20621783884479/1815987906290197185098062828758259751248332460233488\ 85974027711012725922477157167*c_0101_3^23 - 2024405147717652148110002785617249049445627956783370306609258976022\ 463319231914817/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^22 + 3795009664881781756586764726408194740804844283862509366236450702970\ 966895427116069/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^21 - 1469319589553258229943105607094202165225949752142638171581145261262\ 113547904056423/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^20 - 4602149563659245013908465413316681202114912959590920573939199026114\ 9269844710900025/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^19 - 4525079979012021492926222841454670118055566683900460927895951974417\ 659838383340390/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^18 + 1791535304467170658538513105495261809893440975062189860346538031632\ 12901019954930409/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^17 + 8594438937673989918641968873390305710875961044182163783484887528098\ 5267566550342709/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^16 - 3333133494307288483432268831347576018730834127026777080613706330848\ 59946778319800342/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^15 - 1951455874237629118677821957435210171372586388879757753858143592658\ 63693802131941573/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^14 + 3408387485152646472811639468154762023763362298467085948831670310246\ 35814493880927607/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^13 + 1203161931047895676894583731192910051303515727756427177607478842006\ 71571915586875465/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^12 - 1670546356157029088943074583061837438646608605456136561243991961067\ 18446659721359306/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^11 + 9454334244202006148715832499267788915144949166534586208916463933446\ 6090274742919533/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^10 - 4318549783239486429960689678523154467709175471208634563487442904272\ 3106657394097615/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^9 - 4062311316822389915649317104876461002163006913966476774422340688848\ 765194881413180/490807542240593833810287251015745878715765529792834\ 8269568316513857457364247491*c_0101_3^8 + 1067455015928414780525069136011193725517537232504335113021309235514\ 45043831728702563/1815987906290197185098062828758259751248332460233\ 48885974027711012725922477157167*c_0101_3^7 + 5578406942751070453200243527040711233032219257756271866419916414845\ 9727309231310339/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^6 - 4479307323280398076823418362589319433042563485531200298220484303952\ 3283513464526188/18159879062901971850980628287582597512483324602334\ 8885974027711012725922477157167*c_0101_3^5 - 4623658411504997257097788146246458877178238925664191343096431027929\ 453224479718353/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^4 + 5369379051861070104669207759387694159788781923535218335400061926043\ 456222161647875/181598790629019718509806282875825975124833246023348\ 885974027711012725922477157167*c_0101_3^3 - 3596799497340705796015900429297872358959529532735575398008739371484\ 4608445729336/18159879062901971850980628287582597512483324602334888\ 5974027711012725922477157167*c_0101_3^2 - 5914172860176448933098928717720181255551387453535771785904708873552\ 44166325753413/1815987906290197185098062828758259751248332460233488\ 85974027711012725922477157167*c_0101_3 + 8418988574761964756132003404582032193328818456291136355601019213030\ 197633718309/181598790629019718509806282875825975124833246023348885\ 974027711012725922477157167, c_0101_3^28 + 15/2*c_0101_3^27 - 63/4*c_0101_3^26 - 147*c_0101_3^25 + 49/2*c_0101_3^24 + 1061/2*c_0101_3^23 - 3859/4*c_0101_3^22 + 1369/4*c_0101_3^21 + 12411*c_0101_3^20 + 2877*c_0101_3^19 - 46439*c_0101_3^18 - 28310*c_0101_3^17 + 80844*c_0101_3^16 + 229859/4*c_0101_3^15 - 308227/4*c_0101_3^14 - 131299/4*c_0101_3^13 + 35840*c_0101_3^12 - 51035/2*c_0101_3^11 + 40679/4*c_0101_3^10 + 154007/4*c_0101_3^9 - 46771/2*c_0101_3^8 - 54181/4*c_0101_3^7 + 9348*c_0101_3^6 + 3695/4*c_0101_3^5 - 1929/2*c_0101_3^4 + 45/2*c_0101_3^3 + 247/4*c_0101_3^2 - 9/4*c_0101_3 - 7/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB