Magma V2.19-8 Tue Aug 20 2013 16:17:46 on localhost [Seed = 2598045305] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2006 geometric_solution 5.56069242 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.753191451015 0.082375332765 0 2 0 2 0132 0132 1023 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 -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.611261073300 0.233025438587 3 1 4 1 0132 0132 0132 1023 0 0 0 0 0 0 0 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 1 -1 -1 0 0 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.844310915414 1.838270832583 2 4 6 5 0132 3201 0132 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 1 -1 0 1 0 -1 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.042465302460 0.996445469108 5 6 3 2 3201 0132 2310 0132 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 1 0 -1 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.042465302460 0.996445469108 5 5 3 4 1302 2031 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.491183876609 0.897905941060 6 4 6 3 2310 0132 3201 0132 0 0 0 0 0 0 0 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 -1 0 1 -1 0 0 1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468641368443 0.873292622230 ==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_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 39 Groebner basis: [ t - 8941955381128599658800616674242252759024003468171188836644919979603\ 312123/183371547856383274047064531900686200510260006980557248112948\ 8900836*c_0101_4^38 - 203292556452526848035111030528709250317598928\ 88353460138591907028626757341/9168577392819163702353226595034310025\ 51300034902786240564744450418*c_0101_4^37 - 6916624724823005077223516061025685556305611600974421301013417262493\ 3708102/45842886964095818511766132975171550127565001745139312028237\ 2225209*c_0101_4^36 - 265226742993371280082010084436900860057224563\ 943415947701546496073448009531/611238492854610913490215106335620668\ 367533356601857493709829633612*c_0101_4^35 - 1857150217318754390575223819121910984356777272404992071041373022651\ 758300485/183371547856383274047064531900686200510260006980557248112\ 9488900836*c_0101_4^34 - 122428628695560899515580428065788593145151\ 5770591357436013398952924472469119/18337154785638327404706453190068\ 62005102600069805572481129488900836*c_0101_4^33 + 4927065643232113156108377180383722332630746053424919720923945119567\ 159908329/183371547856383274047064531900686200510260006980557248112\ 9488900836*c_0101_4^32 + 829970457090750362911258893915668705940512\ 5446661396395601418954254489499023/91685773928191637023532265950343\ 1002551300034902786240564744450418*c_0101_4^31 + 4819836601786292538004780951390790768408030255463677179956402996506\ 907293901/611238492854610913490215106335620668367533356601857493709\ 829633612*c_0101_4^30 - 5941824819893499730389477251330582943809605\ 78515583618361865772311925517374/1528096232136527283725537765839051\ 67091883339150464373427457408403*c_0101_4^29 + 6999115843556229589898892241051815783588525275039004203263873920818\ 0525692/41675351785541653192514666341065045570513637950126647298397\ 475019*c_0101_4^28 + 5560816016126302957360123674053349327815197427\ 3984722859755947290430500397239/18337154785638327404706453190068620\ 05102600069805572481129488900836*c_0101_4^27 + 3974365786541537929835374977073268250302550479140249740524540155596\ 7491655849/18337154785638327404706453190068620051026000698055724811\ 29488900836*c_0101_4^26 - 51094499739596807623513380947966378679585\ 66992683927964234577251422565133521/8335070357108330638502933268213\ 0091141027275900253294596794950038*c_0101_4^25 - 2211197597794032634547386158480586242848211293573310192611971462937\ 66441969071/1833715478563832740470645319006862005102600069805572481\ 129488900836*c_0101_4^24 - 4824840790050723916146047710534367641418\ 8849525026936900844950693596025685847/91685773928191637023532265950\ 3431002551300034902786240564744450418*c_0101_4^23 + 9986264683253487931770108033701291217259561865999827319361301455795\ 747442858/152809623213652728372553776583905167091883339150464373427\ 457408403*c_0101_4^22 + 5600327779103444815696633218082380872369735\ 7238411404083713365901545683141728/45842886964095818511766132975171\ 5501275650017451393120282372225209*c_0101_4^21 + 1419536768232576978795847571184007833316569901047526292158943352122\ 59646906405/1833715478563832740470645319006862005102600069805572481\ 129488900836*c_0101_4^20 - 1148790715507970313564852033710195558197\ 1123963751514889617939234799204041992/15280962321365272837255377658\ 3905167091883339150464373427457408403*c_0101_4^19 - 2655774879219798457074508647944816556804849687653306833026849560278\ 67520896705/1833715478563832740470645319006862005102600069805572481\ 129488900836*c_0101_4^18 + 2259251885763794095283270741443441683351\ 2432165661050254053228299750794252345/45842886964095818511766132975\ 1715501275650017451393120282372225209*c_0101_4^17 + 1356675970312532779708893257531975170868670302319946686427672672423\ 33868232463/6112384928546109134902151063356206683675333566018574937\ 09829633612*c_0101_4^16 + 11589847246944653115503526360764833537343\ 4701892982382012568124000788536502391/18337154785638327404706453190\ 06862005102600069805572481129488900836*c_0101_4^15 - 1360467105222547661629930604393116187539639672434704127287518347408\ 96684338285/9168577392819163702353226595034310025513000349027862405\ 64744450418*c_0101_4^14 - 10373236014855863274225174812294049990623\ 7142731603576824985390132110378021501/91685773928191637023532265950\ 3431002551300034902786240564744450418*c_0101_4^13 - 1303013829585959410614405747670210601522048848640663814770526443859\ 2823978869/61123849285461091349021510633562066836753335660185749370\ 9829633612*c_0101_4^12 - 364374274439894844378906359887639014825399\ 8283048129199612866711215287485487/45842886964095818511766132975171\ 5501275650017451393120282372225209*c_0101_4^11 + 6072007257938631512125783372043553405347538691466903037882013312211\ 2494838565/18337154785638327404706453190068620051026000698055724811\ 29488900836*c_0101_4^10 + 12049496197249566285093474824912210542072\ 0126509917039550500406889242123493975/18337154785638327404706453190\ 06862005102600069805572481129488900836*c_0101_4^9 + 5517150750921599087480611823088045521965902714234719708052177353631\ 263670819/305619246427305456745107553167810334183766678300928746854\ 914816806*c_0101_4^8 - 49858068268363715166605677287912019335194114\ 359701135914313793112387093620637/183371547856383274047064531900686\ 2005102600069805572481129488900836*c_0101_4^7 - 3217258479297475810035254374645499553664898491476650969311119475985\ 2218420809/18337154785638327404706453190068620051026000698055724811\ 29488900836*c_0101_4^6 + 976391278434628306400169726303217695106906\ 26850359480338508136997135814715/5556713571405553759001955512142006\ 0760684850600168863064529966692*c_0101_4^5 + 1861162283087605484704263621271710646529831288197045256787308901901\ 428552041/458428869640958185117661329751715501275650017451393120282\ 372225209*c_0101_4^4 + 35752885631315418926333748178806626558989913\ 8017953607622712504201980002811/45842886964095818511766132975171550\ 1275650017451393120282372225209*c_0101_4^3 - 4417115324865352874209711281853534266115722189597433508609954125143\ 19162093/1833715478563832740470645319006862005102600069805572481129\ 488900836*c_0101_4^2 - 64450950879801201138044964941500362580188111\ 051035367639748752346516665183/611238492854610913490215106335620668\ 367533356601857493709829633612*c_0101_4 - 9875701406337244856697378603088840933533535901674419103524346026823\ 762115/916857739281916370235322659503431002551300034902786240564744\ 450418, c_0011_0 - 1, c_0011_4 + 530643973959825111577894367380556685096089848534482418702673\ 79195852177/5556713571405553759001955512142006076068485060016886306\ 4529966692*c_0101_4^38 + 603516878714683832284246874401096786605740\ 17094284417872012489883732453/1389178392851388439750488878035501519\ 0171212650042215766132491673*c_0101_4^37 + 4105824097396980777372619754049369469390364668526454156006635999600\ 29117/1389178392851388439750488878035501519017121265004221576613249\ 1673*c_0101_4^36 + 472547250061635453803712888704002451580822381938\ 1685040396190540283200549/55567135714055537590019555121420060760684\ 850600168863064529966692*c_0101_4^35 + 1103035132012152254143463178774665340280879423512985549620940919860\ 4882455/55567135714055537590019555121420060760684850600168863064529\ 966692*c_0101_4^34 + 7286865144431652665087272300036334094722149323\ 134149875786766016580183647/555671357140555375900195551214200607606\ 84850600168863064529966692*c_0101_4^33 - 2923213756748023333358306867866038837194231670439458627126268958346\ 7597353/55567135714055537590019555121420060760684850600168863064529\ 966692*c_0101_4^32 - 4928953532206971762487608181122956640847834965\ 7370212922689024770408440679/27783567857027768795009777560710030380\ 342425300084431532264983346*c_0101_4^31 - 8600579623950643244222963476336530629903929709024972071288325814128\ 1716749/55567135714055537590019555121420060760684850600168863064529\ 966692*c_0101_4^30 + 2110334317322207598637645801787536504385585097\ 1366057738981458682587150173/27783567857027768795009777560710030380\ 342425300084431532264983346*c_0101_4^29 - 4530427212635802060497679141211952120967179866785805508320893082980\ 002993/138917839285138843975048887803550151901712126500422157661324\ 91673*c_0101_4^28 - 33011531820226281696693310939955946557876334797\ 0517377585455900702210898291/55567135714055537590019555121420060760\ 684850600168863064529966692*c_0101_4^27 - 2365787231847653765080955709682496223386205912353126957291075133049\ 13895391/5556713571405553759001955512142006076068485060016886306452\ 9966692*c_0101_4^26 + 166715436167607216724643868738313949177286150\ 409585471918973469009939151056/138917839285138843975048887803550151\ 90171212650042215766132491673*c_0101_4^25 + 1313884364666809111526284328506642741100868290201070568615739465626\ 130164061/555671357140555375900195551214200607606848506001688630645\ 29966692*c_0101_4^24 + 28746650053717029444626904038601608623226544\ 2708554596101703877991884273445/27783567857027768795009777560710030\ 380342425300084431532264983346*c_0101_4^23 - 3554560477359439584993278702252673824126797968424749983601413610947\ 03343543/2778356785702776879500977756071003038034242530008443153226\ 4983346*c_0101_4^22 - 665588448863901444625094069520466969929991178\ 642747161554036856819477417783/277835678570277687950097775607100303\ 80342425300084431532264983346*c_0101_4^21 - 8446683636632133044286612300510537550357965122191661118267119714669\ 95988231/5556713571405553759001955512142006076068485060016886306452\ 9966692*c_0101_4^20 + 204298762732100665134580153522950984069464582\ 086752242362007312726243530165/138917839285138843975048887803550151\ 90171212650042215766132491673*c_0101_4^19 + 1578408222528081670897124984178358725465152779116772510996446110654\ 099696837/555671357140555375900195551214200607606848506001688630645\ 29966692*c_0101_4^18 - 13342704669374493469164759100137877200696123\ 4326726802267493888562472315256/13891783928513884397504888780355015\ 190171212650042215766132491673*c_0101_4^17 - 2417838016559493996610843768605352014095119212780471453502575644800\ 840758971/555671357140555375900195551214200607606848506001688630645\ 29966692*c_0101_4^16 - 69227517426701743712601209572648462865647671\ 4391374719119825940949649234083/55567135714055537590019555121420060\ 760684850600168863064529966692*c_0101_4^15 + 4038196038602438474212620504368590789551399364162980213417043939954\ 52967904/1389178392851388439750488878035501519017121265004221576613\ 2491673*c_0101_4^14 + 308682036122136099252943427946979751690738725\ 400020445511593607547411499992/138917839285138843975048887803550151\ 90171212650042215766132491673*c_0101_4^13 + 2331426024124432177795050947551824914324220458144679019120374263100\ 10117289/5556713571405553759001955512142006076068485060016886306452\ 9966692*c_0101_4^12 + 216142170554564917241210708203627561033940556\ 00452066398598865554172137422/1389178392851388439750488878035501519\ 0171212650042215766132491673*c_0101_4^11 - 3601108756028861584127739838002807829539757007342939082144491867443\ 86314941/5556713571405553759001955512142006076068485060016886306452\ 9966692*c_0101_4^10 - 716021627783126221278329735043303892203736665\ 067407301807858898001848182241/555671357140555375900195551214200607\ 60684850600168863064529966692*c_0101_4^9 - 4941747229219882921226697838671685464239129882831021773806948742857\ 2493678/13891783928513884397504888780355015190171212650042215766132\ 491673*c_0101_4^8 + 29601433832763077544783907770550469391603920671\ 0144031158827321382566451239/55567135714055537590019555121420060760\ 684850600168863064529966692*c_0101_4^7 + 1915610362263183985274744074132979394559008265946479221684301671112\ 65987303/5556713571405553759001955512142006076068485060016886306452\ 9966692*c_0101_4^6 - 1898244181230293489928679775497470004929810599\ 0521965347750209966512075101/55567135714055537590019555121420060760\ 684850600168863064529966692*c_0101_4^5 - 1107366484073727159599117048433718038486811675265021635281729507270\ 1348426/13891783928513884397504888780355015190171212650042215766132\ 491673*c_0101_4^4 - 42674729118228899704601667329208060754503703123\ 97586218500204212143483997/2778356785702776879500977756071003038034\ 2425300084431532264983346*c_0101_4^3 + 2625193783599613995081823343917943910778878618646739476387524426702\ 274373/555671357140555375900195551214200607606848506001688630645299\ 66692*c_0101_4^2 + 115178259236266332741489911867309457654639876261\ 9683262410431436889615549/55567135714055537590019555121420060760684\ 850600168863064529966692*c_0101_4 + 5888231024859982293862734722455339961023229639325482699752630545243\ 2389/27783567857027768795009777560710030380342425300084431532264983\ 346, c_0011_5 - 629932041178458618199488111518360964414320857683989155171242\ 01782931445/5556713571405553759001955512142006076068485060016886306\ 4529966692*c_0101_4^38 - 286583885725314972233175795378079275872617\ 976828603542416907008906345157/555671357140555375900195551214200607\ 60684850600168863064529966692*c_0101_4^37 - 9748275882439285858578490327502356444699792882815270465066738781594\ 29365/2778356785702776879500977756071003038034242530008443153226498\ 3346*c_0101_4^36 - 560987513218252635791923389633262582042480016147\ 2783053154679540926145179/55567135714055537590019555121420060760684\ 850600168863064529966692*c_0101_4^35 - 6547401337176866265264111692112936227922434568259089234033770297987\ 459767/277835678570277687950097775607100303803424253000844315322649\ 83346*c_0101_4^34 - 21629052217519618539025392644822528816289849224\ 69673651836865235061034768/1389178392851388439750488878035501519017\ 1212650042215766132491673*c_0101_4^33 + 8675338991050695001827651596942849673643925616922073142074417958990\ 626859/138917839285138843975048887803550151901712126500422157661324\ 91673*c_0101_4^32 + 11702859000541396983635653793996907054254387056\ 4741506987530506657151784891/55567135714055537590019555121420060760\ 684850600168863064529966692*c_0101_4^31 + 1021103718620900551492287262154599598247308792705256716820972994173\ 98172841/5556713571405553759001955512142006076068485060016886306452\ 9966692*c_0101_4^30 - 500977431372410573626285148163433279150171103\ 01290689793467793623604758249/5556713571405553759001955512142006076\ 0684850600168863064529966692*c_0101_4^29 + 5375709266673349463030911693113547922560414055648023890102836147676\ 394010/138917839285138843975048887803550151901712126500422157661324\ 91673*c_0101_4^28 + 39189057225592755904190119637534277468813191362\ 0256500186365072947473890573/55567135714055537590019555121420060760\ 684850600168863064529966692*c_0101_4^27 + 7022232611056614020423403115931168286194838780722327722326264469267\ 4754575/13891783928513884397504888780355015190171212650042215766132\ 491673*c_0101_4^26 - 7916263736767830222997245579476203882652140359\ 18919285221000590476593980131/5556713571405553759001955512142006076\ 0684850600168863064529966692*c_0101_4^25 - 1559828130966918433889811790952816900437015326946930602202480549237\ 182633575/555671357140555375900195551214200607606848506001688630645\ 29966692*c_0101_4^24 - 68264601212909419405666895386521031072208839\ 4668168409883174152964955584829/55567135714055537590019555121420060\ 760684850600168863064529966692*c_0101_4^23 + 2109798526133630897791368542719669763784458241372257893683206932318\ 20713369/1389178392851388439750488878035501519017121265004221576613\ 2491673*c_0101_4^22 + 790181354266675922402861673502590521970670860\ 585806828324757311193888214661/277835678570277687950097775607100303\ 80342425300084431532264983346*c_0101_4^21 + 1002850165128697837709222064938592844196609826784022209440033187081\ 791215169/555671357140555375900195551214200607606848506001688630645\ 29966692*c_0101_4^20 - 97004837014663823247677468891367787921266691\ 2874943621736569504615001791703/55567135714055537590019555121420060\ 760684850600168863064529966692*c_0101_4^19 - 1873890595338956477100920227672379888472797797004004253296959453577\ 048272481/555671357140555375900195551214200607606848506001688630645\ 29966692*c_0101_4^18 + 63341590949981159008355377934920838713150138\ 3541008066499913179730901347305/55567135714055537590019555121420060\ 760684850600168863064529966692*c_0101_4^17 + 2870398449749951118235613295744687914105970475815213403166832340650\ 578167209/555671357140555375900195551214200607606848506001688630645\ 29966692*c_0101_4^16 + 41103836288865452768045485770691828367272957\ 3959214680051569850286084700413/27783567857027768795009777560710030\ 380342425300084431532264983346*c_0101_4^15 - 1917554837073024234326522979982164340401683466763615557929539566866\ 186238727/555671357140555375900195551214200607606848506001688630645\ 29966692*c_0101_4^14 - 36649311920924561823308960190882081468733660\ 0886864732127101313486433135897/13891783928513884397504888780355015\ 190171212650042215766132491673*c_0101_4^13 - 2768316707921978960137513809661269450188334894347732232023713821647\ 18378761/5556713571405553759001955512142006076068485060016886306452\ 9966692*c_0101_4^12 - 102632044491459921828951005691880528589424196\ 327374812564462309969054894143/555671357140555375900195551214200607\ 60684850600168863064529966692*c_0101_4^11 + 4274770202224650243302982521255619919723869876350780205343880901128\ 07743401/5556713571405553759001955512142006076068485060016886306452\ 9966692*c_0101_4^10 + 212514016481023651728196909228709453770851797\ 262689399854362800662597863631/138917839285138843975048887803550151\ 90171212650042215766132491673*c_0101_4^9 + 2347290268944943359527660147328914766806119472253039756919343044861\ 58895031/5556713571405553759001955512142006076068485060016886306452\ 9966692*c_0101_4^8 - 3514116251306148147376142883605934202603615767\ 13110939138548837018999238441/5556713571405553759001955512142006076\ 0684850600168863064529966692*c_0101_4^7 - 5686052490782457104964827191220527493504451621955116611693541621349\ 4647370/13891783928513884397504888780355015190171212650042215766132\ 491673*c_0101_4^6 + 11263301752891411390439936043240226445839006879\ 449336857767562022009812409/277835678570277687950097775607100303803\ 42425300084431532264983346*c_0101_4^5 + 5258957176013171677371401262404863202438384078727713862787726406723\ 0789021/55567135714055537590019555121420060760684850600168863064529\ 966692*c_0101_4^4 + 50673424625598527991238510387702711812898069108\ 07513832265454991320542491/2778356785702776879500977756071003038034\ 2425300084431532264983346*c_0101_4^3 - 3116641544093356027709620329619288430466343229519272618785591087717\ 919785/555671357140555375900195551214200607606848506001688630645299\ 66692*c_0101_4^2 - 683772827118624681964107911872796967391592895315\ 017322278371485072572995/277835678570277687950097775607100303803424\ 25300084431532264983346*c_0101_4 - 1398312768515145296070093052914289474367642086307796061470223812008\ 09619/5556713571405553759001955512142006076068485060016886306452996\ 6692, c_0101_0 + 116137699778641488625115291430866987899111435322576235130684\ 5543017348/13891783928513884397504888780355015190171212650042215766\ 132491673*c_0101_4^38 + 5275627704077280523268958066118273268515000\ 643219472953175026760892337/138917839285138843975048887803550151901\ 71212650042215766132491673*c_0101_4^37 + 3591297508994990871119318400847130643990792526680581200739148000332\ 2249/13891783928513884397504888780355015190171212650042215766132491\ 673*c_0101_4^36 + 2063943046082154607568223961414392943853385952697\ 61676368484248353394113/2778356785702776879500977756071003038034242\ 5300084431532264983346*c_0101_4^35 + 4816770420843810295519734937662765760783237662382790891475967596495\ 41657/2778356785702776879500977756071003038034242530008443153226498\ 3346*c_0101_4^34 + 158169628566428190994839446260119241846417777924\ 150465807937893949173197/138917839285138843975048887803550151901712\ 12650042215766132491673*c_0101_4^33 - 6401286738356613185929069274471357475747426514224876771036815801101\ 70726/1389178392851388439750488878035501519017121265004221576613249\ 1673*c_0101_4^32 - 430599722270526949557878718641184719580434976966\ 1497372939386446014063497/27783567857027768795009777560710030380342\ 425300084431532264983346*c_0101_4^31 - 1870266420946408487572325622819601489670420542587541968486215417086\ 160397/138917839285138843975048887803550151901712126500422157661324\ 91673*c_0101_4^30 + 92975520387360075151434553930374164498066826913\ 7952348987615934972588630/13891783928513884397504888780355015190171\ 212650042215766132491673*c_0101_4^29 - 4062397258319500603472633957575476712689482418560783426247927777219\ 38579/1389178392851388439750488878035501519017121265004221576613249\ 1673*c_0101_4^28 - 144339472154937314849543790118153623480119108903\ 71187358472008272574147971/2778356785702776879500977756071003038034\ 2425300084431532264983346*c_0101_4^27 - 1026672370982893782030988567402470197336006774778305897008763985850\ 7865821/27783567857027768795009777560710030380342425300084431532264\ 983346*c_0101_4^26 + 1460538026002882802163505399636201848782906327\ 3791653116337474749882797057/13891783928513884397504888780355015190\ 171212650042215766132491673*c_0101_4^25 + 2865138855015979512393293820620981251254170012448026650011026585576\ 5305137/13891783928513884397504888780355015190171212650042215766132\ 491673*c_0101_4^24 + 2489338819900921540072250535454922811926087820\ 3392854322337532151098145079/27783567857027768795009777560710030380\ 342425300084431532264983346*c_0101_4^23 - 3113622499000796151991767167253281821230522698350862690035847382047\ 7305521/27783567857027768795009777560710030380342425300084431532264\ 983346*c_0101_4^22 - 5804754505915851072836989911668246686361689805\ 6114415490257888663674281007/27783567857027768795009777560710030380\ 342425300084431532264983346*c_0101_4^21 - 1835112163751682637052185744350028173064594406299678431266019664153\ 0705909/13891783928513884397504888780355015190171212650042215766132\ 491673*c_0101_4^20 + 3586934278899892142571925559165790704729311019\ 8899632053892341160085058317/27783567857027768795009777560710030380\ 342425300084431532264983346*c_0101_4^19 + 6879330811033841942989126599770294467508527627092324931239641601195\ 3551325/27783567857027768795009777560710030380342425300084431532264\ 983346*c_0101_4^18 - 2366403287149702655229844525337751688906550996\ 2556992391426818744807125685/27783567857027768795009777560710030380\ 342425300084431532264983346*c_0101_4^17 - 5275383932994838251313874294415403710359006259435289704717592218156\ 3112643/13891783928513884397504888780355015190171212650042215766132\ 491673*c_0101_4^16 - 1488367686390830644137703942085097516231533854\ 7048835184901681141843523953/13891783928513884397504888780355015190\ 171212650042215766132491673*c_0101_4^15 + 3530545498649436154762240087347005932261090327762751946484380188759\ 0985112/13891783928513884397504888780355015190171212650042215766132\ 491673*c_0101_4^14 + 5361900016612849509150683868334892887794265620\ 4833450640079607675568205687/27783567857027768795009777560710030380\ 342425300084431532264983346*c_0101_4^13 + 5039141439794033974043741533773749017065971759741225441215300569966\ 503612/138917839285138843975048887803550151901712126500422157661324\ 91673*c_0101_4^12 + 37875880373870769620636252255428877406590106844\ 61605684749801525199740631/2778356785702776879500977756071003038034\ 2425300084431532264983346*c_0101_4^11 - 1579028375295245156104943634218266023090216334160462353878893818245\ 3310137/27783567857027768795009777560710030380342425300084431532264\ 983346*c_0101_4^10 - 3122033121042433676458563331294259951882516260\ 7715147462766610021837962141/27783567857027768795009777560710030380\ 342425300084431532264983346*c_0101_4^9 - 4253931702272914721859661365376896353620644033766389206700380321691\ 515058/138917839285138843975048887803550151901712126500422157661324\ 91673*c_0101_4^8 + 646746504774016620914164815996388417807893701440\ 4923432360045169744054199/13891783928513884397504888780355015190171\ 212650042215766132491673*c_0101_4^7 + 8309376163788781269735714000485020000301315645371191579943016012055\ 639907/277835678570277687950097775607100303803424253000844315322649\ 83346*c_0101_4^6 - 845325712609750898256229514917863956311005631717\ 651796842459613198131045/277835678570277687950097775607100303803424\ 25300084431532264983346*c_0101_4^5 - 1925000971597994078142541564556169082497783551648486566554429096339\ 643011/277835678570277687950097775607100303803424253000844315322649\ 83346*c_0101_4^4 - 368218645619546003800356060836706270248596844857\ 255229293726881411969757/277835678570277687950097775607100303803424\ 25300084431532264983346*c_0101_4^3 + 1143973620481208561105418529588248180557535975444745605625506042470\ 27369/2778356785702776879500977756071003038034242530008443153226498\ 3346*c_0101_4^2 + 2496029459619793594510724824395228642919978687996\ 6995238801487192541150/13891783928513884397504888780355015190171212\ 650042215766132491673*c_0101_4 + 5093344196008211908370511307064198\ 950242164159660719556864945328363717/277835678570277687950097775607\ 10030380342425300084431532264983346, c_0101_1 + 311708708331641825685181750634984041782236337656415913292744\ 57113220217/2778356785702776879500977756071003038034242530008443153\ 2264983346*c_0101_4^38 + 283560324061279152620938468949091647805465\ 128106102831020405350833542565/555671357140555375900195551214200607\ 60684850600168863064529966692*c_0101_4^37 + 9646238341474812555875984121033892413355690677480306905703386664233\ 49839/2778356785702776879500977756071003038034242530008443153226498\ 3346*c_0101_4^36 + 277506062068057045296565698649399054226226452207\ 0664018861000835914739921/27783567857027768795009777560710030380342\ 425300084431532264983346*c_0101_4^35 + 1295485209443474317301058427888274793513969090845818655855467847486\ 3526627/55567135714055537590019555121420060760684850600168863064529\ 966692*c_0101_4^34 + 8551802058046001323915374112676709666130468659\ 349596412758874833384044207/555671357140555375900195551214200607606\ 84850600168863064529966692*c_0101_4^33 - 3434593809981284970160992375457817388926731666652744828558104346646\ 5888145/55567135714055537590019555121420060760684850600168863064529\ 966692*c_0101_4^32 - 1157837504718501804773311233287308038180299538\ 32438819466338408190673548303/5556713571405553759001955512142006076\ 0684850600168863064529966692*c_0101_4^31 - 5047956525477784685480178311378652324195806624111722242087773081694\ 7024037/27783567857027768795009777560710030380342425300084431532264\ 983346*c_0101_4^30 + 4963278686507878317186338212203520101407700725\ 3388155973041685179509407755/55567135714055537590019555121420060760\ 684850600168863064529966692*c_0101_4^29 - 5338183292831522195963780508613800091656897989790439201296349979785\ 991482/138917839285138843975048887803550151901712126500422157661324\ 91673*c_0101_4^28 - 19389218811090711096830238036194442427014649023\ 2194537494128011025240059265/27783567857027768795009777560710030380\ 342425300084431532264983346*c_0101_4^27 - 2776365663225829340361685258174003829586055697968175797235142246287\ 49416045/5556713571405553759001955512142006076068485060016886306452\ 9966692*c_0101_4^26 + 783546487792491002023739627119168326047103379\ 717121910670941392735617791023/555671357140555375900195551214200607\ 60684850600168863064529966692*c_0101_4^25 + 3857237574161436626075815255907779721998935200875545657939209541206\ 90169460/1389178392851388439750488878035501519017121265004221576613\ 2491673*c_0101_4^24 + 674472970006171173509218295770568451325434757\ 278367236893573861823149723617/555671357140555375900195551214200607\ 60684850600168863064529966692*c_0101_4^23 - 2088315449905136866572186965617019293030857377102699162371882225967\ 65602308/1389178392851388439750488878035501519017121265004221576613\ 2491673*c_0101_4^22 - 781576254595091380993882540391294112549282259\ 449017162780340906110928928757/277835678570277687950097775607100303\ 80342425300084431532264983346*c_0101_4^21 - 2478441051161136823449090387484513441236453591011252874598551794057\ 26513481/1389178392851388439750488878035501519017121265004221576613\ 2491673*c_0101_4^20 + 960459664115921215678830829301215799817909763\ 721586127177134938297904863989/555671357140555375900195551214200607\ 60684850600168863064529966692*c_0101_4^19 + 4633459570646593631965157329844357202519947871513109502499615823163\ 43603991/1389178392851388439750488878035501519017121265004221576613\ 2491673*c_0101_4^18 - 628128461665750223024357528173600044653682744\ 659942925485648339905721143067/555671357140555375900195551214200607\ 60684850600168863064529966692*c_0101_4^17 - 7098821451583967011083824216939769625793492760466433746824221720731\ 24958811/1389178392851388439750488878035501519017121265004221576613\ 2491673*c_0101_4^16 - 811389303557165842602043838720466485770522579\ 433937119658105566659736939977/555671357140555375900195551214200607\ 60684850600168863064529966692*c_0101_4^15 + 1897496555274446705269930363947766110632761471073631143399503740491\ 623183367/555671357140555375900195551214200607606848506001688630645\ 29966692*c_0101_4^14 + 72454405696876640977250534579455395971642132\ 3867106706793751873114585151395/27783567857027768795009777560710030\ 380342425300084431532264983346*c_0101_4^13 + 1366851247557622951611044099752149940120830725494547416725032379496\ 09152825/2778356785702776879500977756071003038034242530008443153226\ 4983346*c_0101_4^12 + 101588534296150265395684656350365314161830638\ 044534009088430787976298568781/555671357140555375900195551214200607\ 60684850600168863064529966692*c_0101_4^11 - 1057903068064218100435120118425641022217041051897120720004652630375\ 83025537/1389178392851388439750488878035501519017121265004221576613\ 2491673*c_0101_4^10 - 840811144565883175365208645446729400261890408\ 874937040233920453738676715319/555671357140555375900195551214200607\ 60684850600168863064529966692*c_0101_4^9 - 2317018773944427568396235990997329801599237619465377335403135847304\ 42627171/5556713571405553759001955512142006076068485060016886306452\ 9966692*c_0101_4^8 + 8693081861520871925066258959145664577405328836\ 2890542712141776554581512147/13891783928513884397504888780355015190\ 171212650042215766132491673*c_0101_4^7 + 2247792236569738678358486449786489159777323665606902339942704873093\ 29405197/5556713571405553759001955512142006076068485060016886306452\ 9966692*c_0101_4^6 - 2236635245327214607195201978425949883700406188\ 8919532101941089872429038697/55567135714055537590019555121420060760\ 684850600168863064529966692*c_0101_4^5 - 5198998672745105675804319205874617734864691546427180106233510295120\ 9281175/55567135714055537590019555121420060760684850600168863064529\ 966692*c_0101_4^4 - 50027528566821983398359327861746369581242586641\ 76977285034907059654259881/2778356785702776879500977756071003038034\ 2425300084431532264983346*c_0101_4^3 + 7706657074196531564290301168670546220954084863883542926622734520408\ 27809/1389178392851388439750488878035501519017121265004221576613249\ 1673*c_0101_4^2 + 1351218194143390877432795233462866781947095634410\ 366630848683338672700795/555671357140555375900195551214200607606848\ 50600168863064529966692*c_0101_4 + 1381018740604292863876604494961745193631775472845590835820583498768\ 43827/5556713571405553759001955512142006076068485060016886306452996\ 6692, c_0101_3 + 547714163793537840573058832972707027790325070181107384779284\ 09121933333/5556713571405553759001955512142006076068485060016886306\ 4529966692*c_0101_4^38 + 622937048411751864988270600323497629300240\ 00562624121422022166605531639/1389178392851388439750488878035501519\ 0171212650042215766132491673*c_0101_4^37 + 4237926371084644023300020253899035926732692292536567043338346110016\ 87283/1389178392851388439750488878035501519017121265004221576613249\ 1673*c_0101_4^36 + 487755114007024485648895173030562671152690702812\ 7129645933084982434810487/55567135714055537590019555121420060760684\ 850600168863064529966692*c_0101_4^35 + 1138535070833542510899381195211258923502212605515453068230931636814\ 8344861/55567135714055537590019555121420060760684850600168863064529\ 966692*c_0101_4^34 + 7521655127723748240601045572068005690602587008\ 675179969300282980174742191/555671357140555375900195551214200607606\ 84850600168863064529966692*c_0101_4^33 - 3017240860335949949175421149787816021895363272804907811106982091309\ 6552653/55567135714055537590019555121420060760684850600168863064529\ 966692*c_0101_4^32 - 2543789079855206276188969497279736506095306128\ 4813309513696900581256460056/13891783928513884397504888780355015190\ 171212650042215766132491673*c_0101_4^31 - 8877599467588723916731114911798541984221439048397463199236396864594\ 2570125/55567135714055537590019555121420060760684850600168863064529\ 966692*c_0101_4^30 + 2178137671729167603081133754310696016667619266\ 0041079214546942113246584535/27783567857027768795009777560710030380\ 342425300084431532264983346*c_0101_4^29 - 4675462682824590035178984864415430702680536910692338949908919597271\ 505770/138917839285138843975048887803550151901712126500422157661324\ 91673*c_0101_4^28 - 34073717456317697518360676417286526185846114592\ 6599321998811749239119057205/55567135714055537590019555121420060760\ 684850600168863064529966692*c_0101_4^27 - 2442020514061364505767543570526073789124569736162226208335655809182\ 18101245/5556713571405553759001955512142006076068485060016886306452\ 9966692*c_0101_4^26 + 172077803179354053845106519253574705060767931\ 489090584346968097190470560346/138917839285138843975048887803550151\ 90171212650042215766132491673*c_0101_4^25 + 1356180938369454725381209558013552562337254842351497223267106208892\ 666768073/555671357140555375900195551214200607606848506001688630645\ 29966692*c_0101_4^24 + 14836673044975212654887730316183819585818027\ 6071116960453569613259901328416/13891783928513884397504888780355015\ 190171212650042215766132491673*c_0101_4^23 - 1834448335386358036052035967295771655782508991113339346244994912278\ 52319521/1389178392851388439750488878035501519017121265004221576613\ 2491673*c_0101_4^22 - 343507811087400504119824005644571052542759667\ 757690704393055029306457058516/138917839285138843975048887803550151\ 90171212650042215766132491673*c_0101_4^21 - 8718792009387652327570943430085076111221154253576357781592103259423\ 87800759/5556713571405553759001955512142006076068485060016886306452\ 9966692*c_0101_4^20 + 421734763173518279292030456185088756504945902\ 099418706753720148383158362567/277835678570277687950097775607100303\ 80342425300084431532264983346*c_0101_4^19 + 1629227221292907071013724878795748211451307925614879943717511379173\ 846852567/555671357140555375900195551214200607606848506001688630645\ 29966692*c_0101_4^18 - 27541706411207143303119987125399494067137820\ 1759658316287545921112307968783/27783567857027768795009777560710030\ 380342425300084431532264983346*c_0101_4^17 - 2495665321143777002156502022761149425213019756296440033607337806211\ 448220011/555671357140555375900195551214200607606848506001688630645\ 29966692*c_0101_4^16 - 71462121395916105658645915558181773638262266\ 5072093367548151328812349085443/55567135714055537590019555121420060\ 760684850600168863064529966692*c_0101_4^15 + 4168137364615527262091547302008203726769611439125023206541921507821\ 87918148/1389178392851388439750488878035501519017121265004221576613\ 2491673*c_0101_4^14 + 637254563025982719722306387103196804098708872\ 090990779219894044805344564341/277835678570277687950097775607100303\ 80342425300084431532264983346*c_0101_4^13 + 2406599730970912379821475059542141138195042850356221365436419852991\ 18653133/5556713571405553759001955512142006076068485060016886306452\ 9966692*c_0101_4^12 + 446189342352451911812780459098817091824052366\ 12335313395822568238295986185/2778356785702776879500977756071003038\ 0342425300084431532264983346*c_0101_4^11 - 3716913312484131994153314419618833813234409503106866710380657733001\ 22442743/5556713571405553759001955512142006076068485060016886306452\ 9966692*c_0101_4^10 - 739073056942667773234758081806497142659747050\ 017256285294210426302544035991/555671357140555375900195551214200607\ 60684850600168863064529966692*c_0101_4^9 - 5101230347947979256031594599793647606788179614295059739392317501127\ 4233949/13891783928513884397504888780355015190171212650042215766132\ 491673*c_0101_4^8 + 30554028397725912103274693353779051526901553046\ 7517582394434295224263370471/55567135714055537590019555121420060760\ 684850600168863064529966692*c_0101_4^7 + 1977340979659215717058755834520042447699078946362364254391332029448\ 46859753/5556713571405553759001955512142006076068485060016886306452\ 9966692*c_0101_4^6 - 1959112930958922512835832807090095835345324458\ 9668497533173279828972959203/55567135714055537590019555121420060760\ 684850600168863064529966692*c_0101_4^5 - 2286077422138809781037243264614351997495039381878225570172246321375\ 1227383/27783567857027768795009777560710030380342425300084431532264\ 983346*c_0101_4^4 - 22025642297318544634683467260702718198343513735\ 34947779885790445616476775/1389178392851388439750488878035501519017\ 1212650042215766132491673*c_0101_4^3 + 2709718008116832058033855163892867338363711761186177776328607285757\ 158315/555671357140555375900195551214200607606848506001688630645299\ 66692*c_0101_4^2 + 118890386403992105958916738809716132013837767332\ 9650654838047482966629869/55567135714055537590019555121420060760684\ 850600168863064529966692*c_0101_4 + 3039039418805447337628697735618951666560303554691324484579437819198\ 8042/13891783928513884397504888780355015190171212650042215766132491\ 673, c_0101_4^39 + 5*c_0101_4^38 + 33*c_0101_4^37 + 103*c_0101_4^36 + 248*c_0101_4^35 + 231*c_0101_4^34 - 489*c_0101_4^33 - 2106*c_0101_4^32 - 2458*c_0101_4^31 + 65*c_0101_4^30 + 17*c_0101_4^29 - 6375*c_0101_4^28 - 7262*c_0101_4^27 + 10558*c_0101_4^26 + 30424*c_0101_4^25 + 21993*c_0101_4^24 - 8515*c_0101_4^23 - 31124*c_0101_4^22 - 27223*c_0101_4^21 + 8227*c_0101_4^20 + 36686*c_0101_4^19 + 3347*c_0101_4^18 - 50098*c_0101_4^17 - 33580*c_0101_4^16 + 24562*c_0101_4^15 + 36987*c_0101_4^14 + 14879*c_0101_4^13 + 3609*c_0101_4^12 - 6052*c_0101_4^11 - 16552*c_0101_4^10 - 9806*c_0101_4^9 + 3900*c_0101_4^8 + 6124*c_0101_4^7 + 1269*c_0101_4^6 - 996*c_0101_4^5 - 537*c_0101_4^4 - 23*c_0101_4^3 + 44*c_0101_4^2 + 12*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB