Magma V2.19-8 Tue Aug 20 2013 16:18:35 on localhost [Seed = 1966401607] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2768 geometric_solution 6.00125163 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.453029116081 0.219265339605 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.758552177634 0.646326343291 1 4 5 6 0132 0132 0132 0132 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 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.066868257692 1.144160896399 6 5 4 1 3201 1023 3201 0132 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 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.066868257692 1.144160896399 3 2 4 4 2310 0132 1230 3012 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 1 -1 0 0 1 -1 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.264546548746 1.499871155209 3 5 5 2 1023 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.218713975143 0.573351334050 6 6 2 3 1230 3012 0132 2310 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 1.340900755000 1.512937604142 ==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_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : 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' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : 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_4'], 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_6' : negation(d['c_0011_6']), '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_0011_6'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_1']), '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_0011_6']), '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: 30 Groebner basis: [ t - 7755966039387971193112257883445868031008684426887148941156079868006\ 04459765899610353615/1935546329080805193779406331367221109040472000\ 545705286873062904403502128880137448629*c_0101_4^29 - 1292325156513133270921260359001199864151899158424124551862380676377\ 771594279149960960022/276506618440115027682772333052460158434353142\ 935100755267580414914786018411448206947*c_0101_4^28 - 2506016764694697433622435833051864562843577116275084509610261232330\ 3991002622290891754071/19355463290808051937794063313672211090404720\ 00545705286873062904403502128880137448629*c_0101_4^27 - 1465167556322452078444950313184964141113301081088798732150716673780\ 4279470209758880344016/19355463290808051937794063313672211090404720\ 00545705286873062904403502128880137448629*c_0101_4^26 - 3769291332950482292467398024378020547412779209923991606439464461577\ 9378863505919395472022/19355463290808051937794063313672211090404720\ 00545705286873062904403502128880137448629*c_0101_4^25 + 2495958923812244863070938637120871486492933048487218333259428473932\ 7742421664792166285601/27650661844011502768277233305246015843435314\ 2935100755267580414914786018411448206947*c_0101_4^24 + 5749025805026020940802804828473832110305061636101972461169613902746\ 91657507794462752738488/1935546329080805193779406331367221109040472\ 000545705286873062904403502128880137448629*c_0101_4^23 + 1219286351710284645384827937833706916750834913925344345406317981915\ 167281084291251186179864/193554632908080519377940633136722110904047\ 2000545705286873062904403502128880137448629*c_0101_4^22 + 2772573975628499379772032410604066373434054176777091199750247525769\ 876650926281685604978323/193554632908080519377940633136722110904047\ 2000545705286873062904403502128880137448629*c_0101_4^21 + 3931932763522634104092662285697294717379932590743902102639391292348\ 31618283899690786305413/2765066184401150276827723330524601584343531\ 42935100755267580414914786018411448206947*c_0101_4^20 + 4814475590696673835615339671231860455518056854790939899232882049469\ 5445840995337725323638/25136965312737729789342939368405468948577558\ 448645523206143674083162365310131655177*c_0101_4^19 - 1040134934584303241827330870000471751085620573603439370950808535083\ 086611298327086443133239/193554632908080519377940633136722110904047\ 2000545705286873062904403502128880137448629*c_0101_4^18 - 5554651234527137211746608580978754634738088575259334989249844486613\ 488774566388452904548885/193554632908080519377940633136722110904047\ 2000545705286873062904403502128880137448629*c_0101_4^17 - 1440348624858752734302195029755358564682713929573953784854715397836\ 3133632507051568166197662/19355463290808051937794063313672211090404\ 72000545705286873062904403502128880137448629*c_0101_4^16 - 1864398461693254324882811399405054352791104988997773091820108227463\ 826711503465465545310041/175958757189164108525400575578838282640042\ 909140518662443005718582136557170921586239*c_0101_4^15 - 1852846892639381554455325522453548182167812478793605800719642707093\ 6456937272101820576284858/19355463290808051937794063313672211090404\ 72000545705286873062904403502128880137448629*c_0101_4^14 - 1473939068001186033374018344494940243642714185465597552060664897164\ 0453190294100996866382453/19355463290808051937794063313672211090404\ 72000545705286873062904403502128880137448629*c_0101_4^13 + 2333191418537784018859931221375970769386454639658673930436624984454\ 413824737043291832139593/193554632908080519377940633136722110904047\ 2000545705286873062904403502128880137448629*c_0101_4^12 + 7342951286271592226173029327559476221192319026072046949387052262952\ 668546559533105023429913/193554632908080519377940633136722110904047\ 2000545705286873062904403502128880137448629*c_0101_4^11 + 1500684907508410482228593799629012474335234355776656047230520069565\ 0002730948738047904183871/19355463290808051937794063313672211090404\ 72000545705286873062904403502128880137448629*c_0101_4^10 + 9605902328523124193571448024278755553003974452267265188034433067063\ 262441651245791833545951/193554632908080519377940633136722110904047\ 2000545705286873062904403502128880137448629*c_0101_4^9 + 2169547663823118648635671921492298195412480438434174738014245841699\ 067084345719797522685553/193554632908080519377940633136722110904047\ 2000545705286873062904403502128880137448629*c_0101_4^8 + 8691241043739186878889799964187240056958302543435127238809389470635\ 40274234995938812083473/1935546329080805193779406331367221109040472\ 000545705286873062904403502128880137448629*c_0101_4^7 - 3842200480190490947477505286112491473967942645072528605733980477883\ 306216390939370820698749/193554632908080519377940633136722110904047\ 2000545705286873062904403502128880137448629*c_0101_4^6 + 9918375221976559186665055887123885207771377534993308450330952370049\ 08961797329518021263478/1935546329080805193779406331367221109040472\ 000545705286873062904403502128880137448629*c_0101_4^5 - 2688178432001747664781430300505883981599311984007804570637501949914\ 40578921745777291777943/1935546329080805193779406331367221109040472\ 000545705286873062904403502128880137448629*c_0101_4^4 + 1696685750121017745516897428563961739718518285310201394519980804434\ 22154168736585194572482/1935546329080805193779406331367221109040472\ 000545705286873062904403502128880137448629*c_0101_4^3 - 4354824645894904473624999993859375473426458002975516176844763881567\ 6768254722821206425106/19355463290808051937794063313672211090404720\ 00545705286873062904403502128880137448629*c_0101_4^2 + 2156263706711383893530713748698808124382924532189300625834526836063\ 33640130221294243673/2765066184401150276827723330524601584343531429\ 35100755267580414914786018411448206947*c_0101_4 - 2008579017575889495262408236468386154717202421664457468927739105308\ 471392814571059424125/193554632908080519377940633136722110904047200\ 0545705286873062904403502128880137448629, c_0011_0 - 1, c_0011_1 + 428889088871829801310974332686521131616686030118862206571107\ 2751190844955280603245/25136965312737729789342939368405468948577558\ 448645523206143674083162365310131655177*c_0101_4^29 + 5011787859953289881510682895125525024793952558902927522132957145304\ 2873035056957427/25136965312737729789342939368405468948577558448645\ 523206143674083162365310131655177*c_0101_4^28 + 1398202176898614113605205126688494404185204466876180504069711071151\ 40844657137466518/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^27 + 8583271515771475430393887311033293196888126735165413862116956259978\ 7895781122871507/25136965312737729789342939368405468948577558448645\ 523206143674083162365310131655177*c_0101_4^26 + 2155800753249266006372437092000196417072340095947729279983546856201\ 32268193240428088/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^25 - 9572388723831062666281430057750348626317296621143547350416351107644\ 44264340845029475/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^24 - 3192228536849747592369288044209907872250908740923238499989402993312\ 736867807839351580/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^23 - 6842660515724744556694045790309979330467311369984113466544081848025\ 054520184465059953/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^22 - 1560009147703723411862368376098040573955676703246689725437715622199\ 0178778120076794496/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^21 - 1582372733095486367376162773401778789612992299463256187179967554431\ 6421926360325183686/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^20 - 2143705626867283924940833259352869021137390871218306955507095242830\ 2746892537812991818/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^19 + 4599756236955411659148644849231328713727696443527492567413163353025\ 627442427499106092/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^18 + 2995561082223036984441883155106737327908592483034285880491087605268\ 4421717404346065299/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^17 + 8025589911702362982760924383574681742222277668298269009226304123514\ 2205229803236733343/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^16 + 1162240395517234942960710606560720979817547143634346087842785337689\ 13359932548452613941/2513696531273772978934293936840546894857755844\ 8645523206143674083162365310131655177*c_0101_4^15 + 1079589268284509518130135490369396013264623748973702014469599427753\ 59348458285997685469/2513696531273772978934293936840546894857755844\ 8645523206143674083162365310131655177*c_0101_4^14 + 8848679098258670161535855768941185801274584541851329076033902935336\ 1374335032415911189/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^13 - 6292208930518216661841808822134006187611112180658885113886359136643\ 602634846390317531/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^12 - 3676944687249427919722546579675513835616070635717432802776733745639\ 4384937590599907083/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^11 - 8303950617988167524425252425240361752093451488312831307726017975045\ 3981306569241215699/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^10 - 5600613224609776304375830180112040942464431732933771690486198942567\ 9338673168511312123/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^9 - 1606238170748060457884966415285331115082347047037469199606538173840\ 2006223021779875111/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^8 - 7622472944966837584569764639917182228538218048121223419836177278517\ 440057819849334117/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^7 + 1999940813234040011416983380188119183445582219825511486995248966913\ 0859578845001530050/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^6 - 5596118479352246728061210091325777320348499468898310509566950648236\ 365759920672892553/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^5 + 1747071217237644208450785531780859158096754108594468948189960071071\ 586214154541763264/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^4 - 1022271091880562483835398408543163068312875009432285530816256038897\ 600664294964769502/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^3 + 2364018838035208539685264802972580008427313672237155886744580094094\ 00669505141174915/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^2 - 1322394225888490827135779342936972110141299382050737396837473418796\ 2870569232978257/25136965312737729789342939368405468948577558448645\ 523206143674083162365310131655177*c_0101_4 + 2458997396861552830171535201348406328086042202554395150199148870978\ 6439482272761227/25136965312737729789342939368405468948577558448645\ 523206143674083162365310131655177, c_0011_3 + 370443398159731677875502170049128364600337931200152802924812\ 5394830703883133495480/25136965312737729789342939368405468948577558\ 448645523206143674083162365310131655177*c_0101_4^29 + 4319182197273071223770146043197414684678624710932532686769639791473\ 8458939402992978/25136965312737729789342939368405468948577558448645\ 523206143674083162365310131655177*c_0101_4^28 + 1194697927603643266710017476498885684094440254408992394112373209688\ 21552324513748649/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^27 + 6900486907485536320447294653774964000046015305921239985490770843858\ 5231904239654652/25136965312737729789342939368405468948577558448645\ 523206143674083162365310131655177*c_0101_4^26 + 1787580208013010813370152373648332735564894838753127796782551785677\ 82868794165428972/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^25 - 8349409704584031803424982289934502707685908831412210173623513939015\ 31104146557481035/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^24 - 2744325841067717649407732977145901879455475212246153272093197535870\ 698563379344848942/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^23 - 5800715903285597622945596777844790244586034999498807453875585183411\ 449251125921037400/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^22 - 1319547693913901615938300039986612319050178648202245764035355907776\ 4544297066039264433/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^21 - 1304829727574522651218364747966171957879271746280518102537961790054\ 6401008607799077424/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^20 - 1754469660511146609600420382175031172791124415581068917800003301941\ 3411633698839380389/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^19 + 5081783348129299293378408348099056965581985209464915940193813719157\ 052587973047585982/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^18 + 2664208048957476535831088975540617298235908826907548789556164536569\ 7235737922326052834/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^17 + 6851195641772631037367256009287121384338185411062805324447717903618\ 9621608081613536076/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^16 + 9751219167793959299106737873200057998696893624444789413077341296323\ 7365096734937807990/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^15 + 8758645285169138102723236323018196749648042836843717873593390687408\ 9436843552079128280/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^14 + 6953155518099373825966346489912217955984401815443219887505735597278\ 0344598705814802631/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^13 - 1173411827865215237195389092959032640685542561060674941740005838900\ 2798823387610102843/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^12 - 3541945145590648020396238821657217071127307608596834807995423036682\ 6617843632454035969/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^11 - 7123254812509781397248176105034689807549395920674474672240228754879\ 1874427217305100855/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^10 - 4583194986412603301941754399564415188428141754063964726692848197377\ 2689960904855930613/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^9 - 9918511010488629797830417254418864988857835511244524386982531616845\ 313439961499299107/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^8 - 4309628626433173973536360001129072489526520080454053972909684675454\ 149726572991958160/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^7 + 1828688516799931944010171128587345744358525169290337585207213467835\ 4334896963041838315/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^6 - 4594795089161837494913200056410453873431260481530579095840983658983\ 414987352105054146/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^5 + 1213338299429185220282361394894918760499730298146046016942672559647\ 369410145621764644/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^4 - 4893832772191355972736261135211169405034040142083967271991530487781\ 70054243664606762/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^3 + 1305088284244885799914323046713367729699296216951319991405761046465\ 20111341409277654/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^2 + 3433923883901141914462310902660210379469019437500809313130788883512\ 6742058310019441/25136965312737729789342939368405468948577558448645\ 523206143674083162365310131655177*c_0101_4 + 5342241853815328059678112940659029532177180616931127049731514588129\ 73166559072357/2513696531273772978934293936840546894857755844864552\ 3206143674083162365310131655177, c_0011_6 + 645976110387395809798071104064707416306933623735321092094812\ 8532876208410354514220/25136965312737729789342939368405468948577558\ 448645523206143674083162365310131655177*c_0101_4^29 + 7528871912683672708136862707808489106032296767653461680053183983778\ 1317643970843047/25136965312737729789342939368405468948577558448645\ 523206143674083162365310131655177*c_0101_4^28 + 2084153141021219470837904384834365654908116728788666895508412723325\ 18222863195737374/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^27 + 1242761717825443690997883247186603399929018711882795121783163427921\ 68691110601530688/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^26 + 3244073329614922951297280745529039121871822500402054516345952978633\ 76658261015548440/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^25 - 1450243257232999200510876254731749094810580610037775225627850338122\ 406487397562564395/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^24 - 4758550209658472564270318175690670657687602906879973851241437691916\ 049784056560016564/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^23 - 1018977429957575829736465970914243501806518124575354680528597424300\ 3747735919578323790/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^22 - 2326705076148047980769144582137449787845359080139770796390589509405\ 5836132612459080595/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^21 - 2329134000506661491506369038958230931174604276452138401642508115817\ 4793230262742747436/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^20 - 3195916601322103771678861162783690521770800587956527001107252780123\ 0262511726657154475/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^19 + 7589516253412274872455071005021815894723883124699059107814981855084\ 419652889474764411/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^18 + 4442746885828625652572716569995050870630650405800559508746226755479\ 4038356371768754669/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^17 + 1198649007116192897733820017338615554090785174770780751985223991593\ 93765941488334931785/2513696531273772978934293936840546894857755844\ 8645523206143674083162365310131655177*c_0101_4^16 + 1722703646042789647189019784280133099301222544673482767779767215078\ 98166925378831915160/2513696531273772978934293936840546894857755844\ 8645523206143674083162365310131655177*c_0101_4^15 + 1594425736431138066032754838154203091435439713263642509065824066981\ 20790949929433851170/2513696531273772978934293936840546894857755844\ 8645523206143674083162365310131655177*c_0101_4^14 + 1310899672164901480925385137453519961556313807619942328620029608854\ 48015719947634185786/2513696531273772978934293936840546894857755844\ 8645523206143674083162365310131655177*c_0101_4^13 - 1144575571933780684234960119546549399598588346042058225087686665245\ 4417578408006086901/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^12 - 5365353653829865488829411059752892512941911284280724233516963112885\ 9940783125821827608/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^11 - 1247608842724237475311000317815444594754418690981065796525201791110\ 14742732969705066393/2513696531273772978934293936840546894857755844\ 8645523206143674083162365310131655177*c_0101_4^10 - 8205338464036280152417053520211569858453070159725498840871116740143\ 9531847636841862837/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^9 - 2408469286044541672563352027136640557788894630554024225515966799574\ 8084780941231652926/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^8 - 1177827737947338909549355607185572117423664648104717076944290552822\ 0681693674154628226/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^7 + 3074284430773974257435567611635024480667588794534016902800868236511\ 3675157172979427458/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^6 - 9127262773347715473107959258249536836242551753040635307075489507273\ 463633228765999882/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^5 + 3835516110122143834042931915456539974631065339290948982536358737373\ 655053011607943476/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^4 - 1824827176903931311276648524429080796889381282258514131631664116019\ 921124672297820906/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^3 + 4170077833985407781509490550201936308301023405954714918563955167854\ 87970873962507648/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^2 - 5424110705911972862484987553448604968326744804310033068481565870021\ 1679072288538028/25136965312737729789342939368405468948577558448645\ 523206143674083162365310131655177*c_0101_4 + 2656789866728507531444536204153113978040430725543628034537661167153\ 3278623532880588/25136965312737729789342939368405468948577558448645\ 523206143674083162365310131655177, c_0101_0 + 945174736414477807170390103961896525398922860045205838392554\ 0320006132518608188570/25136965312737729789342939368405468948577558\ 448645523206143674083162365310131655177*c_0101_4^29 + 1097053273939186558860544444340049033940859776098518031128965107591\ 04841611988396742/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^28 + 2988656363109300585264871259394790683417665349831715603989207031652\ 40368838449934510/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^27 + 1580714566705317156741062618568148898206642821706492084412061175643\ 69365383649659574/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^26 + 4406480842655084196316528947040966995769087010363683418302152672277\ 65335398547527985/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^25 - 2159938833197852008972450518819558421415922106949447968761860824430\ 943441296599066622/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^24 - 6898514343582465025035574083367733474647061734010413957646941497617\ 033994939002501170/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^23 - 1439936673421245926533836433654107765667893369217659944618623051462\ 0508977610342498411/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^22 - 3274984478158139230008195891542076826371817179691530408252512239674\ 2383264640164144243/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^21 - 3120754344854594254098201360949764195478656733057165025951033628857\ 9315157254056190642/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^20 - 4232323464692413033887742388318020227496682358977038214652013188038\ 6314880346631324810/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^19 + 1615995561926011587676049689924305099944037650164813104271911407577\ 6987239801819960828/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^18 + 6828303589210011936950064551215417937728838780039240971597068026370\ 9006670729830315600/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^17 + 1713125946102374094434836093967684715731505823217542749658025615165\ 46597259096511667620/2513696531273772978934293936840546894857755844\ 8645523206143674083162365310131655177*c_0101_4^16 + 2382264543540214802988485174691638425417328686512005479983049585842\ 53281388512334127561/2513696531273772978934293936840546894857755844\ 8645523206143674083162365310131655177*c_0101_4^15 + 2067786188912918682473832974693710610570832461511733001203553314473\ 82257032854552743969/2513696531273772978934293936840546894857755844\ 8645523206143674083162365310131655177*c_0101_4^14 + 1600003066500046339681301618465383741590130184326985090880093461683\ 18822778139707936704/2513696531273772978934293936840546894857755844\ 8645523206143674083162365310131655177*c_0101_4^13 - 4490793035714750702071170521304489597008062103514479504843589576792\ 1384246801611336863/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^12 - 9322660732333488264856183041701286578101008364691002235529999981517\ 0153763396119696609/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^11 - 1774601477660378177315518124059717751822253822010289224871370809585\ 52101326524283545487/2513696531273772978934293936840546894857755844\ 8645523206143674083162365310131655177*c_0101_4^10 - 1052372812949589802928380398882833293735712799318871332210259127778\ 61484657195411390627/2513696531273772978934293936840546894857755844\ 8645523206143674083162365310131655177*c_0101_4^9 - 1524840688109406359117306365628205575187533304494110120202652398501\ 1230402132892365745/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^8 - 6357898862341637198820900876204283924776165549014469274701068288396\ 717260851881790209/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^7 + 4838559464790274342603949494488292869474682209934277265569550972434\ 2086481391130361710/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^6 - 1387150965791079083355648612344702268389567553596596772453898312788\ 1721045694400937233/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^5 + 3018706901520905325690259784739950753451596666237974573756088570704\ 034308036039757216/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^4 - 1463048079295317660924660267669264013327323469952944865318746034532\ 525740732409131124/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^3 + 4270321647844426091639059008937089422364264237141533185237350560984\ 50101775204821189/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^2 + 2896205448313387994313769804854351989611593048462066763589957317939\ 209279849303811/251369653127377297893429393684054689485775584486455\ 23206143674083162365310131655177*c_0101_4 + 2880310160082587603572659788348740818608983668791334271872573412919\ 596845184395324/251369653127377297893429393684054689485775584486455\ 23206143674083162365310131655177, c_0101_1 - 981315399787924903281035816541845629547111631202771031671145\ 0294644367639970817875/25136965312737729789342939368405468948577558\ 448645523206143674083162365310131655177*c_0101_4^29 - 1144647411341179227536871270053045946660423063449126368009316368729\ 71687981607560565/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^28 - 3173744557255792384639282100181554555527104437127541846832645250980\ 72769401084012319/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^27 - 1881412446172653258979450242767643313650193069483698514796112210325\ 26280706369723404/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^26 - 4842302104307248358690971560858286920295964720569251013022308891927\ 05401901881828856/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^25 + 2205241493531514309491069408624442896185345357030661131376495329634\ 087239505652524818/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^24 + 7264108030780696143259711819142553806407099063115097055426301073525\ 714870624446658674/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^23 + 1547895627249785487996006551409937199802418784820983075045759145838\ 4638319925140279066/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^22 + 3525400289528936894142793489155720421768640035879307933939759591268\ 5286712113203283156/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^21 + 3520703560645828409136499139617836136947398368056833679404912198764\ 9372603818166897330/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^20 + 4774651799546917290914786334930365759627892166559194601052111407870\ 9108417044042415630/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^19 - 1225031527930745344540569481854100624124217207444413798791269899203\ 6634788012346581330/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^18 - 6910709375988876567664257371773417525760833019224819964257226045284\ 3741837163311857688/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^17 - 1823680581405829604209153104727956188724961774528133381070473746137\ 06709962918995048169/2513696531273772978934293936840546894857755844\ 8645523206143674083162365310131655177*c_0101_4^16 - 2610596303449524325223780518371477388778906521124899139420665292313\ 14035854851459812821/2513696531273772978934293936840546894857755844\ 8645523206143674083162365310131655177*c_0101_4^15 - 2387178520701886151668351172182597278194724876076888790503383648275\ 88283977116601240652/2513696531273772978934293936840546894857755844\ 8645523206143674083162365310131655177*c_0101_4^14 - 1928832606857624462270641846630253772319772215217817466147826196238\ 13658544769854592030/2513696531273772978934293936840546894857755844\ 8645523206143674083162365310131655177*c_0101_4^13 + 2328875205803047293154240802592468064148988130420103425079733107163\ 2838786634938201851/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^12 + 8764820945429157513453068936118967496728854944933927274606525721579\ 4680053086665698945/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^11 + 1894470361017562638318619557749821108195799590483028002422775821220\ 86515069134084583174/2513696531273772978934293936840546894857755844\ 8645523206143674083162365310131655177*c_0101_4^10 + 1231585881319019104095711400059515941738130272623013473415618141317\ 96871447342652446072/2513696531273772978934293936840546894857755844\ 8645523206143674083162365310131655177*c_0101_4^9 + 3167667598075444614074391491236318539579812276614596701262240711525\ 2657814797629298094/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^8 + 1426719451019699609475882665484844213553079218944778143310485634306\ 6045663930867626926/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^7 - 4737760116684562303982807425234129738874063183152439850309876644860\ 6376822192367461012/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^6 + 1322963271782736857632839649025349737127083176249753313634476311156\ 3288259499023433634/25136965312737729789342939368405468948577558448\ 645523206143674083162365310131655177*c_0101_4^5 - 4248538211795501592460337823666462339640028516587928093929846794009\ 704823021570260940/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^4 + 2407808109355137599170081810580605774562441991245540447146248516438\ 275875801101202061/251369653127377297893429393684054689485775584486\ 45523206143674083162365310131655177*c_0101_4^3 - 5864134455506054549408882898956349554908942103678620062664271737668\ 24371671425371508/2513696531273772978934293936840546894857755844864\ 5523206143674083162365310131655177*c_0101_4^2 + 3351150598416796911834910691485937876428912084009925484419634580311\ 3121270296269978/25136965312737729789342939368405468948577558448645\ 523206143674083162365310131655177*c_0101_4 - 2345121524772339831302641502282315874276186538176776046114451739260\ 0698309192295099/25136965312737729789342939368405468948577558448645\ 523206143674083162365310131655177, c_0101_4^30 + 58/5*c_0101_4^29 + 158/5*c_0101_4^28 + 86/5*c_0101_4^27 + 242/5*c_0101_4^26 - 1139/5*c_0101_4^25 - 3627/5*c_0101_4^24 - 1532*c_0101_4^23 - 17489/5*c_0101_4^22 - 16849/5*c_0101_4^21 - 23323/5*c_0101_4^20 + 7686/5*c_0101_4^19 + 6930*c_0101_4^18 + 18161*c_0101_4^17 + 25484*c_0101_4^16 + 113904/5*c_0101_4^15 + 18296*c_0101_4^14 - 17468/5*c_0101_4^13 - 43503/5*c_0101_4^12 - 94269/5*c_0101_4^11 - 57226/5*c_0101_4^10 - 13003/5*c_0101_4^9 - 6576/5*c_0101_4^8 + 24744/5*c_0101_4^7 - 1632*c_0101_4^6 + 2904/5*c_0101_4^5 - 1423/5*c_0101_4^4 + 81*c_0101_4^3 - 47/5*c_0101_4^2 + 19/5*c_0101_4 - 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB