Magma V2.19-8 Tue Aug 20 2013 16:18:32 on localhost [Seed = 88381494] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2718 geometric_solution 5.96822273 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.426661529716 0.238241546811 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.786641880399 0.759423650561 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 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 0 0 0 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.183074392381 0.918100582822 2 5 4 1 3201 0132 3201 0132 0 0 0 0 0 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 -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.183074392381 0.918100582822 3 2 6 6 2310 0132 3201 0132 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 -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.156862855796 1.946718808131 5 3 5 2 2031 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.413689753149 1.133607547560 4 6 4 6 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.519474444319 0.777186903876 ==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' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(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_6']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), '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_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 48 Groebner basis: [ t - 1517202586859916958830521603690888733124502268839635726140720120281\ 5729906948758541661/49758632921530613481149214935670423745979634166\ 448630626043460439903923389141982533*c_0101_4^47 + 2117698217166431737929379364072741472721205109611284737031241786080\ 50021235088183634131/4975863292153061348114921493567042374597963416\ 6448630626043460439903923389141982533*c_0101_4^45 + 5442329130195006734307283119523201855922947528189617009156020578551\ 1793065467937801397/49758632921530613481149214935670423745979634166\ 448630626043460439903923389141982533*c_0101_4^43 - 8327074700326850722546284330542741754807992794143953394154259216911\ 992427922808134815294/497586329215306134811492149356704237459796341\ 66448630626043460439903923389141982533*c_0101_4^41 + 3088221425528931813473242637058860764955004331683852266639447038227\ 84208834277379604894/4523512083775510316468110448697311249634512196\ 949875511458496403627629399012907503*c_0101_4^39 + 1409515324971240854022563503003460765561726024609309459016721753845\ 00100284954423332466455/4975863292153061348114921493567042374597963\ 4166448630626043460439903923389141982533*c_0101_4^37 - 9876844559676969366403348959685897708282349800794314459699001427802\ 7810658317451598907718/49758632921530613481149214935670423745979634\ 166448630626043460439903923389141982533*c_0101_4^35 - 1155450369019997885991697756797860476024441958327476005979514550209\ 626008671959289218964214/497586329215306134811492149356704237459796\ 34166448630626043460439903923389141982533*c_0101_4^33 + 1541161333733930673304335335077928553667798011848962179681518122606\ 776605849071943219379664/497586329215306134811492149356704237459796\ 34166448630626043460439903923389141982533*c_0101_4^31 + 6563187894827494176469315719521448447509026260600249042374145663894\ 826198375393117898569196/497586329215306134811492149356704237459796\ 34166448630626043460439903923389141982533*c_0101_4^29 - 8182600449205522862830061953137760537416795656551448989900769237767\ 187838076332872254702367/497586329215306134811492149356704237459796\ 34166448630626043460439903923389141982533*c_0101_4^27 - 2213298486440071616075183817708635153878797246148157580744247456872\ 2361147650167522041808296/49758632921530613481149214935670423745979\ 634166448630626043460439903923389141982533*c_0101_4^25 + 1707278322890924397102002394352120606770640531667768507816204973047\ 5132386053337722625570309/49758632921530613481149214935670423745979\ 634166448630626043460439903923389141982533*c_0101_4^23 + 3591693392018045112178019561474049631589907490881246117755331173563\ 8080718341279774475942359/49758632921530613481149214935670423745979\ 634166448630626043460439903923389141982533*c_0101_4^21 - 1325451277423941861307117876086142338895410951179442031965858119975\ 360842286793783794785210/452351208377551031646811044869731124963451\ 2196949875511458496403627629399012907503*c_0101_4^19 - 2541607216331150151044554402544629296599843252565913152021299145352\ 5601148157599505771732797/49758632921530613481149214935670423745979\ 634166448630626043460439903923389141982533*c_0101_4^17 + 7596915220225539027681780456957694320070718605671486790810783596234\ 317838615656173007473480/497586329215306134811492149356704237459796\ 34166448630626043460439903923389141982533*c_0101_4^15 + 9312467139363428313110754274058336950856592539099643084284064994010\ 487629965350688736182775/497586329215306134811492149356704237459796\ 34166448630626043460439903923389141982533*c_0101_4^13 - 9173788756075803718658804194301376898950535281659965145928590531845\ 640418286367243675051038/497586329215306134811492149356704237459796\ 34166448630626043460439903923389141982533*c_0101_4^11 + 4580682902342613065666154188782696302125861152718750111168029095360\ 765785911424024352403190/497586329215306134811492149356704237459796\ 34166448630626043460439903923389141982533*c_0101_4^9 - 6920900247316474554162940405993577972851879792724886378558312815481\ 02307550350902321077370/4975863292153061348114921493567042374597963\ 4166448630626043460439903923389141982533*c_0101_4^7 - 9392102442534782445836704346372497541505322626369597256886013335778\ 662056798679187125726/452351208377551031646811044869731124963451219\ 6949875511458496403627629399012907503*c_0101_4^5 + 2404287942338118238155802341918828591735241802795295494562236740971\ 188860550875924142114/497586329215306134811492149356704237459796341\ 66448630626043460439903923389141982533*c_0101_4^3 + 3051925116220045257469976706082420215688043707057874305403965592833\ 10496477192981504612/4975863292153061348114921493567042374597963416\ 6448630626043460439903923389141982533*c_0101_4, c_0011_0 - 1, c_0011_1 - 165223716971577278075915735036268160684383343500615965116813\ 775725665386990916/150733491628640796949953697057557855702582878938\ 6829560632621260788946817398503*c_0101_4^46 + 2300872291704156046606073474883568751270918668963933458679646503868\ 589076185144/150733491628640796949953697057557855702582878938682956\ 0632621260788946817398503*c_0101_4^44 + 6664474335582272252614332602422222357199117595237493771332618560573\ 14067121120/1507334916286407969499536970575578557025828789386829560\ 632621260788946817398503*c_0101_4^42 - 9065918170556825983927997382479685716381197356892190458460358239383\ 6340266330775/15073349162864079694995369705755785570258287893868295\ 60632621260788946817398503*c_0101_4^40 + 3408471086109818600910540555483460772735527116130151052034259382485\ 8047396821529/15073349162864079694995369705755785570258287893868295\ 60632621260788946817398503*c_0101_4^38 + 1535998913637435420251095052065382498512494681109208593175460478948\ 348393941365548/150733491628640796949953697057557855702582878938682\ 9560632621260788946817398503*c_0101_4^36 - 1026313091153789841365151323388113018835246833934329577223341931852\ 448169155040782/150733491628640796949953697057557855702582878938682\ 9560632621260788946817398503*c_0101_4^34 - 1261478842626477680533519215313781816399535821024661459025251037637\ 4626295417015195/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^32 + 1637870936605697626284911211849934935399808015492875959948191888269\ 4755153546428227/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^30 + 7199032842165010363226877487711004940487094256988006881113911893184\ 2642130472191957/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^28 - 8679587194600241567060088463957609603996768025821624985602848764155\ 5667811752521305/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^26 - 2437581688846940793367939257174366036116993373537611909729202852887\ 44296817509630984/1507334916286407969499536970575578557025828789386\ 829560632621260788946817398503*c_0101_4^24 + 1780976201595063677139144127490466088751898744450542323066508126767\ 52223913758319558/1507334916286407969499536970575578557025828789386\ 829560632621260788946817398503*c_0101_4^22 + 3966477892267507868628026909090359921879229009238770135900667693361\ 54615699670189817/1507334916286407969499536970575578557025828789386\ 829560632621260788946817398503*c_0101_4^20 - 1461324379169986066241458989597270614313789074012909280326213395863\ 98886207063267880/1507334916286407969499536970575578557025828789386\ 829560632621260788946817398503*c_0101_4^18 - 2811641152798562720805416948241410618972178042897749159258371742020\ 67186416327588829/1507334916286407969499536970575578557025828789386\ 829560632621260788946817398503*c_0101_4^16 + 7393684226826574080714881849969470266372392316606326375434491109568\ 8440172928621841/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^14 + 1036422288230657360539141646121985316743316648668078909968935660292\ 56094565845106265/1507334916286407969499536970575578557025828789386\ 829560632621260788946817398503*c_0101_4^12 - 9671857149596746981730555057243610994210358663114203064841251715980\ 0224183789368672/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^10 + 4681348682904780560442109273595710913607876843868701400385348657717\ 1297043140208204/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^8 - 6040434030275627372882449283787234333148045543819334611895505995429\ 558079532087587/150733491628640796949953697057557855702582878938682\ 9560632621260788946817398503*c_0101_4^6 - 1337159357830627130165563171285386692831596664626258029819824467567\ 664653936869316/150733491628640796949953697057557855702582878938682\ 9560632621260788946817398503*c_0101_4^4 - 5312714181305661941134768830099258116789108166614933865886186652719\ 785706347474/150733491628640796949953697057557855702582878938682956\ 0632621260788946817398503*c_0101_4^2 + 4209661901247697170459357438610964592501084681024499891492737299358\ 721240825309/150733491628640796949953697057557855702582878938682956\ 0632621260788946817398503, c_0011_3 - 772851826567225758392940199385573735753590978821147942235250\ 28734317032861814954/4523512083775510316468110448697311249634512196\ 949875511458496403627629399012907503*c_0101_4^47 + 9767878533848180058080024255292534174374510276180597644781899365371\ 09743503563297/4523512083775510316468110448697311249634512196949875\ 511458496403627629399012907503*c_0101_4^45 + 1703218776144279343403916982282425502674393378766811216103377042083\ 552888078242641/452351208377551031646811044869731124963451219694987\ 5511458496403627629399012907503*c_0101_4^43 - 4209355200035342128810968742466113160495681489263478101578877744824\ 3346811239676471/45235120837755103164681104486973112496345121969498\ 75511458496403627629399012907503*c_0101_4^41 - 3865462287527481964231849014852877269052420054972211396134346251878\ 8777872665048406/45235120837755103164681104486973112496345121969498\ 75511458496403627629399012907503*c_0101_4^39 + 7424478463588843747371593984764098478395177954182125075370843791291\ 32652765933969619/4523512083775510316468110448697311249634512196949\ 875511458496403627629399012907503*c_0101_4^37 + 4430822524204140982149934440225639695464925431500756820539066070578\ 19436956322538340/4523512083775510316468110448697311249634512196949\ 875511458496403627629399012907503*c_0101_4^35 - 6576839973970911401523553488682302660726253348714547084983109735789\ 511150876772603938/452351208377551031646811044869731124963451219694\ 9875511458496403627629399012907503*c_0101_4^33 + 1104549335123064023720540874930927159234937067029533377184077353795\ 36355350946782560/4523512083775510316468110448697311249634512196949\ 875511458496403627629399012907503*c_0101_4^31 + 4401082421864945371880467509544132451165420638816205190647392184241\ 2234028874400378695/45235120837755103164681104486973112496345121969\ 49875511458496403627629399012907503*c_0101_4^29 + 2080351267795454408886252168965119444154383938051799452064483315480\ 815238232382995703/452351208377551031646811044869731124963451219694\ 9875511458496403627629399012907503*c_0101_4^27 - 1689585008786670364460657287057085682932701641953685334840211013278\ 41118177584883450124/4523512083775510316468110448697311249634512196\ 949875511458496403627629399012907503*c_0101_4^25 - 5993046475010564049568694041770604205158880931966642855804629705995\ 6245166489926942706/45235120837755103164681104486973112496345121969\ 49875511458496403627629399012907503*c_0101_4^23 + 3017439585998673265909025043677989165671027582453831517193922487377\ 87754327998954269639/4523512083775510316468110448697311249634512196\ 949875511458496403627629399012907503*c_0101_4^21 + 1629557370067631030538553542122867810994833917193781594952007581107\ 49574711376540323427/4523512083775510316468110448697311249634512196\ 949875511458496403627629399012907503*c_0101_4^19 - 2339802080882125060035830425867425607073581952085448103193074504039\ 37824043616681149193/4523512083775510316468110448697311249634512196\ 949875511458496403627629399012907503*c_0101_4^17 - 1279831795395037099131736462769724860156716342371668873924143764411\ 10375105285242757370/4523512083775510316468110448697311249634512196\ 949875511458496403627629399012907503*c_0101_4^15 + 1031544334404811876195159769865096527010503381182997078227883132557\ 79148184133000658678/4523512083775510316468110448697311249634512196\ 949875511458496403627629399012907503*c_0101_4^13 + 1354840831250395715946214493828183060084471278410757846475406760528\ 0967115733727122534/45235120837755103164681104486973112496345121969\ 49875511458496403627629399012907503*c_0101_4^11 - 3998699468322205064429697743757241698467629377522359384931558040084\ 8014339510238529531/45235120837755103164681104486973112496345121969\ 49875511458496403627629399012907503*c_0101_4^9 + 2931590362444127673122664017296192040384677855072797350627130846777\ 8881326505868971790/45235120837755103164681104486973112496345121969\ 49875511458496403627629399012907503*c_0101_4^7 - 6354628714016905670851569687385022666587663556908477009848923362432\ 718984305516518350/452351208377551031646811044869731124963451219694\ 9875511458496403627629399012907503*c_0101_4^5 - 4114546275127491918801841472500235432938845173838953187037006302239\ 20487549356679964/4523512083775510316468110448697311249634512196949\ 875511458496403627629399012907503*c_0101_4^3 + 1662739387830036816671716076712506891356154236846709166051037503770\ 6926943726442988/45235120837755103164681104486973112496345121969498\ 75511458496403627629399012907503*c_0101_4, c_0011_6 + 108093745128734429439883225260774162967458605452488360853893\ 474681239635814220/150733491628640796949953697057557855702582878938\ 6829560632621260788946817398503*c_0101_4^46 - 1501363102760167085081113491086055383979242858267506316611760752977\ 625017580655/150733491628640796949953697057557855702582878938682956\ 0632621260788946817398503*c_0101_4^44 - 4913240363683840361732973990594834688371119362806231731628814489261\ 90776442412/1507334916286407969499536970575578557025828789386829560\ 632621260788946817398503*c_0101_4^42 + 5930414594402445753489102559828185031870768381566634022238743916774\ 9807373887777/15073349162864079694995369705755785570258287893868295\ 60632621260788946817398503*c_0101_4^40 - 2013969653571852626925653197046203345011130535569410325615825839953\ 6453565120386/15073349162864079694995369705755785570258287893868295\ 60632621260788946817398503*c_0101_4^38 - 1006033213101974442066829830210170750364803346721909994266193093280\ 244776348245503/150733491628640796949953697057557855702582878938682\ 9560632621260788946817398503*c_0101_4^36 + 6349906479080890106514909506209678474126716622317681869233869276868\ 36008261190570/1507334916286407969499536970575578557025828789386829\ 560632621260788946817398503*c_0101_4^34 + 8282954359374003388999998872424241166618415276307814327467668807098\ 068254496295846/150733491628640796949953697057557855702582878938682\ 9560632621260788946817398503*c_0101_4^32 - 1041829735300588361851656702880239855756383151086913305467687435903\ 3306850416653225/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^30 - 4753371768835116003071569678111686973423852090656360398852404237330\ 4640604693336665/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^28 + 5512495508153366755867857289934282815388260126794406600709719328348\ 9358453663735796/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^26 + 1618056035937136379637707477064689358754328185146441528607723384564\ 84850919198003770/1507334916286407969499536970575578557025828789386\ 829560632621260788946817398503*c_0101_4^24 - 1109922095989964808323339210246147720051210906168683485620194970374\ 12898926863165855/1507334916286407969499536970575578557025828789386\ 829560632621260788946817398503*c_0101_4^22 - 2646467783816992546678720257716001222823141248374830827628133428635\ 65194682716271785/1507334916286407969499536970575578557025828789386\ 829560632621260788946817398503*c_0101_4^20 + 8666338427048791759403108177906044885483537250216302140915226533059\ 7808138753260113/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^18 + 1888715864827064074363338243689891965133963300997854733838003000231\ 54457482717700070/1507334916286407969499536970575578557025828789386\ 829560632621260788946817398503*c_0101_4^16 - 4197522328087488948263205407749605968540189434167871833792316214761\ 0703794946441482/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^14 - 7051463957320458397600134377655632301778870563132405744977139482504\ 5248388479943330/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^12 + 6095042375359482342202901239053411507749160031852545951088784451753\ 0453373109603485/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^10 - 2799681476213176848691518177196646698931755426168129557416185630757\ 6777311829453695/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^8 + 2521998505031326347961997421053537885897764743810850074220568200076\ 892846217328388/150733491628640796949953697057557855702582878938682\ 9560632621260788946817398503*c_0101_4^6 + 1162218269984897998008353720857096401777417989076616365344279328295\ 712529465463549/150733491628640796949953697057557855702582878938682\ 9560632621260788946817398503*c_0101_4^4 + 1860719909405257868198094002660103765826813496167255620284860423967\ 2640169040089/15073349162864079694995369705755785570258287893868295\ 60632621260788946817398503*c_0101_4^2 - 3640909127467802943751022945827333464897388721633284290780337075329\ 966836636907/150733491628640796949953697057557855702582878938682956\ 0632621260788946817398503, c_0101_0 + 308802046222936836360126684663104325001658541721054309241904\ 3170932213398802231819/45235120837755103164681104486973112496345121\ 96949875511458496403627629399012907503*c_0101_4^47 - 4298248707360092710702078108893638306544984691457660862979843106608\ 0650433406050253/45235120837755103164681104486973112496345121969498\ 75511458496403627629399012907503*c_0101_4^45 - 1275379526168926413372298785035227955999905462503848886237164550182\ 4205191726189489/45235120837755103164681104486973112496345121969498\ 75511458496403627629399012907503*c_0101_4^43 + 1694470039237911600245260640826152482127849479427529974907875891241\ 251028123404729185/452351208377551031646811044869731124963451219694\ 9875511458496403627629399012907503*c_0101_4^41 - 6256322465325567293423615840086065296336354901277625942022326113722\ 71244895681395300/4523512083775510316468110448697311249634512196949\ 875511458496403627629399012907503*c_0101_4^39 - 2871752421174613164947729008902275658489629780652630054033975297112\ 0432138590470869489/45235120837755103164681104486973112496345121969\ 49875511458496403627629399012907503*c_0101_4^37 + 1899053636664102367017575020954246611742231209740837243131215747513\ 9122460090807029844/45235120837755103164681104486973112496345121969\ 49875511458496403627629399012907503*c_0101_4^35 + 2359919506775858833279917859037855003823798211406956656610255478972\ 15152112367300752478/4523512083775510316468110448697311249634512196\ 949875511458496403627629399012907503*c_0101_4^33 - 3045823560787125664918233881029437765634488711138834767684438626214\ 51606329536619822295/4523512083775510316468110448697311249634512196\ 949875511458496403627629399012907503*c_0101_4^31 - 1348317806896248021108682543346673104996530079981807708851185886973\ 226631742044180966865/452351208377551031646811044869731124963451219\ 6949875511458496403627629399012907503*c_0101_4^29 + 1614044970673291640840709298765034664535411494273657872438487237849\ 450456528663672824223/452351208377551031646811044869731124963451219\ 6949875511458496403627629399012907503*c_0101_4^27 + 4571202551279721589436560364587237443739609455343986619447105974993\ 943793653049827395649/452351208377551031646811044869731124963451219\ 6949875511458496403627629399012907503*c_0101_4^25 - 3302453275158569323458398276504258529064498848165210366844849220672\ 553011253950461753169/452351208377551031646811044869731124963451219\ 6949875511458496403627629399012907503*c_0101_4^23 - 7451011085488563863423468385863050336226305081259746310831953126213\ 007574010136480152406/452351208377551031646811044869731124963451219\ 6949875511458496403627629399012907503*c_0101_4^21 + 2688955053505429163319831514721165003304957500096146429852811927776\ 513619600693713869412/452351208377551031646811044869731124963451219\ 6949875511458496403627629399012907503*c_0101_4^19 + 5297496631356710650659856869498328070738818678256782864512276391829\ 467706476176416049356/452351208377551031646811044869731124963451219\ 6949875511458496403627629399012907503*c_0101_4^17 - 1350235884039123747776527100374488992464014109113400674651661866461\ 905191033305210631134/452351208377551031646811044869731124963451219\ 6949875511458496403627629399012907503*c_0101_4^15 - 1961783904630148043920601690948511111044772139308038149813152425134\ 849412182113292587370/452351208377551031646811044869731124963451219\ 6949875511458496403627629399012907503*c_0101_4^13 + 1796325646240816286849904350135819899024729529471388030912454864483\ 497196686096789579438/452351208377551031646811044869731124963451219\ 6949875511458496403627629399012907503*c_0101_4^11 - 8576103190839254667650003621895615833663954700260473350451498974186\ 44175795668305543122/4523512083775510316468110448697311249634512196\ 949875511458496403627629399012907503*c_0101_4^9 + 1019305628417563497330442774455569556053155780989463581900846711308\ 31260050166378850821/4523512083775510316468110448697311249634512196\ 949875511458496403627629399012907503*c_0101_4^7 + 2798862355840943204099584504142222805928247376943516087000864958234\ 8923018346592763995/45235120837755103164681104486973112496345121969\ 49875511458496403627629399012907503*c_0101_4^5 - 9797640605805551817148462806549343656261446676996519781068781581687\ 941860894933498/452351208377551031646811044869731124963451219694987\ 5511458496403627629399012907503*c_0101_4^3 - 8118026923969786332311412927619654256916921417785738442262884688031\ 8110160799562189/45235120837755103164681104486973112496345121969498\ 75511458496403627629399012907503*c_0101_4, c_0101_1 - 444355165130139691030894653831044757233414308107487603192625\ 99067636030900538/1507334916286407969499536970575578557025828789386\ 829560632621260788946817398503*c_0101_4^46 + 6140230842875889912210555543872573729251960456227996407642089376181\ 79580250565/1507334916286407969499536970575578557025828789386829560\ 632621260788946817398503*c_0101_4^44 + 2462658653354011623301396813685230506403650085147839883979415435300\ 44157139823/1507334916286407969499536970575578557025828789386829560\ 632621260788946817398503*c_0101_4^42 - 2436970704320119015338602179561152497285380497706495202765276580735\ 7443934748845/15073349162864079694995369705755785570258287893868295\ 60632621260788946817398503*c_0101_4^40 + 6542219361911414406228571263329829695105060391861799980250376364144\ 263938798028/150733491628640796949953697057557855702582878938682956\ 0632621260788946817398503*c_0101_4^38 + 4143562297427146334674489441887158002368181091903847744615999615630\ 70530544555094/1507334916286407969499536970575578557025828789386829\ 560632621260788946817398503*c_0101_4^36 - 2316578498834330076472355899212708377766500019749091320268354889369\ 29728659370466/1507334916286407969499536970575578557025828789386829\ 560632621260788946817398503*c_0101_4^34 - 3427011219849795873588031147880136915149025421727975603495826939436\ 948423788094784/150733491628640796949953697057557855702582878938682\ 9560632621260788946817398503*c_0101_4^32 + 4042391795310482094380495805713298914214904557082680835478537609522\ 995183065770966/150733491628640796949953697057557855702582878938682\ 9560632621260788946817398503*c_0101_4^30 + 1987345354823106753526093096093383042146139284340336023220418257841\ 0015003131034046/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^28 - 2130394676789555646289502557307148366659260446981829018506895257976\ 4534608342913878/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^26 - 6829202752837532555594942811480563143561685745603233294058401675655\ 8307855098233658/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^24 + 4106794719089702892246329171634093900063386524981290831518075339235\ 1726967331615753/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^22 + 1125943805570013516803463873739681405105690017902856407964140918147\ 24145523032009861/1507334916286407969499536970575578557025828789386\ 829560632621260788946817398503*c_0101_4^20 - 2820998579342034563660013781802513243742333363415190071037052411253\ 0742653133105197/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^18 - 8105876992148066584950177136395717360614813149195234914510858054550\ 3835539649693698/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^16 + 1194605236035001643289977177272471701454038369716754325848908549691\ 2169198142437005/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^14 + 3079549327531723464091669008598653560257340846779688871019811042417\ 0767208286995067/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^12 - 2310111420739859820077993145667649962968319075341187355685689748964\ 0833392026928901/15073349162864079694995369705755785570258287893868\ 29560632621260788946817398503*c_0101_4^10 + 9524909533963247955835953655163779298487396861090176182145574260403\ 606492222246271/150733491628640796949953697057557855702582878938682\ 9560632621260788946817398503*c_0101_4^8 - 1841906711839474404318949548797996021392948015248825851231256865035\ 3065424269607/15073349162864079694995369705755785570258287893868295\ 60632621260788946817398503*c_0101_4^6 - 6479229115344020346838978915803042612934930870867478876653683396769\ 65377223175962/1507334916286407969499536970575578557025828789386829\ 560632621260788946817398503*c_0101_4^4 - 2621577386990004271912162718765469263659173436416795208980884581833\ 5055991645880/15073349162864079694995369705755785570258287893868295\ 60632621260788946817398503*c_0101_4^2 + 2087722964917921540659466464073553991334231154114501523462710196622\ 891727237519/150733491628640796949953697057557855702582878938682956\ 0632621260788946817398503, c_0101_4^48 - 14*c_0101_4^46 - 3*c_0101_4^44 + 549*c_0101_4^42 - 247*c_0101_4^40 - 9281*c_0101_4^38 + 6901*c_0101_4^36 + 75886*c_0101_4^34 - 104787*c_0101_4^32 - 428337*c_0101_4^30 + 557567*c_0101_4^28 + 1436257*c_0101_4^26 - 1186887*c_0101_4^24 - 2320464*c_0101_4^22 + 1061069*c_0101_4^20 + 1635573*c_0101_4^18 - 571655*c_0101_4^16 - 593304*c_0101_4^14 + 630723*c_0101_4^12 - 327151*c_0101_4^10 + 58084*c_0101_4^8 + 5017*c_0101_4^6 - 470*c_0101_4^4 - 15*c_0101_4^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB