Magma V2.19-8 Tue Aug 20 2013 16:17:53 on localhost [Seed = 324177872] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2121 geometric_solution 5.61482084 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.442876258167 0.186317016917 2 0 3 0 0132 2310 0132 0132 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 1 -1 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.638693095504 0.620762316408 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.090619316703 1.129569310807 2 5 4 1 3201 1023 3201 0132 0 0 0 0 0 0 0 0 -1 0 1 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 1 0 -1 0 0 0 0 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.090619316703 1.129569310807 3 2 6 6 2310 0132 2310 0132 0 0 0 0 0 0 0 0 1 0 -1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.425196661505 1.998397820133 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.414419046718 0.725325066970 6 4 4 6 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.543738569299 0.440219424016 ==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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], '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_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' : 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' : negation(d['c_0011_3']), '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_1']), 'c_1010_6' : 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_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: 27 Groebner basis: [ t + 7616059005427881517748466517231735911045396927103918806242448123648\ 759/193840590818062022693078293600417272339068405012361726391841432\ 620352*c_0101_4^26 + 3785024441750717059559989753989824261435618431\ 8864359474422231161034403/19384059081806202269307829360041727233906\ 8405012361726391841432620352*c_0101_4^25 - 9140269755076593373357601605370016704347463627922849285189119301362\ 429/625292228445361363526059011614249265609898080685037827070456234\ 2592*c_0101_4^24 - 100600988636533485091196185662205476383571597889\ 4885888546475568861171299/19384059081806202269307829360041727233906\ 8405012361726391841432620352*c_0101_4^23 + 7017475668815036992472987523113672638209562894191588117989723070954\ 81847/9692029540903101134653914680020863616953420250618086319592071\ 6310176*c_0101_4^22 - 477796664113615607946727930859569970391522353\ 9057303956544784824580120405/19384059081806202269307829360041727233\ 9068405012361726391841432620352*c_0101_4^21 - 4222051677323791294510404361311965498261249796140591398894888767047\ 535637/969202954090310113465391468002086361695342025061808631959207\ 16310176*c_0101_4^20 + 54568150580332910191476489791996240782554522\ 75166103539351116816667785553/9692029540903101134653914680020863616\ 9534202506180863195920716310176*c_0101_4^19 + 4851910894226547919906024164285199744126944772395812403821430637206\ 558397/193840590818062022693078293600417272339068405012361726391841\ 432620352*c_0101_4^18 + 3979955263839615878666764234553448615922421\ 4395362433753371199781795782675/96920295409031011346539146800208636\ 169534202506180863195920716310176*c_0101_4^17 + 9832811899820781197528684204316306836474646863397067792213198275115\ 9556405/19384059081806202269307829360041727233906840501236172639184\ 1432620352*c_0101_4^16 - 157096521162614534214429305685889147865382\ 02208420078511735759504572857211/2423007385225775283663478670005215\ 9042383550626545215798980179077544*c_0101_4^15 - 4218475612336198437250968778847776580050148484321466162037439358302\ 7223559/48460147704515505673269573400104318084767101253090431597960\ 358155088*c_0101_4^14 - 1605412732554606525281846495653516238843080\ 78903532089721514362922461229397/1938405908180620226930782936004172\ 72339068405012361726391841432620352*c_0101_4^13 - 3060972510358046392748437332422175428495234508044500963312181642460\ 2817495/96920295409031011346539146800208636169534202506180863195920\ 716310176*c_0101_4^12 + 1335921040017727759188385539689873001551353\ 67670275800907434199831411410847/1938405908180620226930782936004172\ 72339068405012361726391841432620352*c_0101_4^11 + 8411749505202393482335204586595595611354316232825191162990528909799\ 4735925/19384059081806202269307829360041727233906840501236172639184\ 1432620352*c_0101_4^10 + 153606696957632690975555624747934030159756\ 428881324907279448628085934456303/193840590818062022693078293600417\ 272339068405012361726391841432620352*c_0101_4^9 + 4082288548798422606193642865074943284421735991858272973382101460697\ 3178719/96920295409031011346539146800208636169534202506180863195920\ 716310176*c_0101_4^8 + 28954597222667832847918318983821005276511010\ 833061570967876540240898011047/193840590818062022693078293600417272\ 339068405012361726391841432620352*c_0101_4^7 + 3635371104882470533782140321078579002165541317952259590306946447339\ 2523841/19384059081806202269307829360041727233906840501236172639184\ 1432620352*c_0101_4^6 - 2743396688096229051889443658941793905641843\ 021735291155495707765288152637/969202954090310113465391468002086361\ 69534202506180863195920716310176*c_0101_4^5 + 1489221070172776875089772627217716548322876148653672692016386801678\ 2418323/19384059081806202269307829360041727233906840501236172639184\ 1432620352*c_0101_4^4 - 1973724203407019852553599939173193342190127\ 143279089980290716285534795943/193840590818062022693078293600417272\ 339068405012361726391841432620352*c_0101_4^3 + 2782753285427655488127691400576605671868138796751879137467048112725\ 338049/193840590818062022693078293600417272339068405012361726391841\ 432620352*c_0101_4^2 - 19562887981460248762697320140759991718687765\ 3914237356713931932489058221/96920295409031011346539146800208636169\ 534202506180863195920716310176*c_0101_4 + 1694113760060623637336352722980154003644896340514310045737838949349\ 03213/1938405908180620226930782936004172723390684050123617263918414\ 32620352, c_0011_0 - 1, c_0011_1 + 513799462667784349410486254869236561054614259436001767969442\ /8825030321975224735881737924733668842159387147234862296067093*c_01\ 01_4^26 + 293986116260906916175238584150487281073031456684134723809\ 2298/8825030321975224735881737924733668842159387147234862296067093*\ c_0101_4^25 - 17396935535469760165649094229091988191259732839943685\ 686671529/882503032197522473588173792473366884215938714723486229606\ 7093*c_0101_4^24 - 832866879583279995326754233030163587794035677404\ 31355315257491/8825030321975224735881737924733668842159387147234862\ 296067093*c_0101_4^23 + 5097691087890299130190160335127872511952166\ 2038204116916559934/88250303219752247358817379247336688421593871472\ 34862296067093*c_0101_4^22 - 22282502301798192964737964143774060813\ 8591790742986640643771864/88250303219752247358817379247336688421593\ 87147234862296067093*c_0101_4^21 - 844919778912942259100644328098630502481687096595005324507997105/882\ 5030321975224735881737924733668842159387147234862296067093*c_0101_4\ ^20 + 4233441968100835223157607524699979550752961815103223999789477\ 46/8825030321975224735881737924733668842159387147234862296067093*c_\ 0101_4^19 + 1136427230910171092061071045581752829957641295546951820\ 889831785/882503032197522473588173792473366884215938714723486229606\ 7093*c_0101_4^18 + 535424892778536018478171927742100543619287318805\ 4204862112572517/88250303219752247358817379247336688421593871472348\ 62296067093*c_0101_4^17 + 10454947355550091490167741365719989165491\ 576415105197906613432351/882503032197522473588173792473366884215938\ 7147234862296067093*c_0101_4^16 - 557422033853387586006633559972710\ 4793511239725132103819115535152/88250303219752247358817379247336688\ 42159387147234862296067093*c_0101_4^15 - 20778054224132678073755091495780798865971723994662958650865566153/8\ 825030321975224735881737924733668842159387147234862296067093*c_0101\ _4^14 - 16309791321977542747980130598683488807101053517530880444616\ 436052/882503032197522473588173792473366884215938714723486229606709\ 3*c_0101_4^13 - 681388320879118311061644697333528885622907536966271\ 7950473778544/88250303219752247358817379247336688421593871472348622\ 96067093*c_0101_4^12 + 10480788899301763644360872631261532579048552\ 048694275566177794866/882503032197522473588173792473366884215938714\ 7234862296067093*c_0101_4^11 + 143703060056686732187734596507833221\ 08260468494833016712208600522/8825030321975224735881737924733668842\ 159387147234862296067093*c_0101_4^10 + 11068729030765449420284673339490266780021167993473339928859679243/8\ 825030321975224735881737924733668842159387147234862296067093*c_0101\ _4^9 + 102609031184473473610156171795002466695652654098555439354380\ 60265/8825030321975224735881737924733668842159387147234862296067093\ *c_0101_4^8 + 21265692844167068985893388298720985114501977316563107\ 88046219448/8825030321975224735881737924733668842159387147234862296\ 067093*c_0101_4^7 + 11515978332630396342931983382157194166075248836\ 43899465843089760/8825030321975224735881737924733668842159387147234\ 862296067093*c_0101_4^6 + 68602936667306599853401593301973695635499\ 6290262186726756994125/88250303219752247358817379247336688421593871\ 47234862296067093*c_0101_4^5 - 170793756284364860057794684456661906\ 364128462744582417293963187/882503032197522473588173792473366884215\ 9387147234862296067093*c_0101_4^4 + 575032506235351179450074159363037343432068575945676787667691399/882\ 5030321975224735881737924733668842159387147234862296067093*c_0101_4\ ^3 - 15788691786725623990091165103514210970079914459434361702510349\ 5/8825030321975224735881737924733668842159387147234862296067093*c_0\ 101_4^2 + 584514855697307135579344649904095670722984723904646497314\ 09158/8825030321975224735881737924733668842159387147234862296067093\ *c_0101_4 - 3790520932650215660081533662395424956057781032372108111\ 2913185/88250303219752247358817379247336688421593871472348622960670\ 93, c_0011_3 - 199559478831908047522806140031189208604249355942900036745664\ 5623/97701910694587713050946720564726447751546575107037160479758786\ 603*c_0101_4^26 - 1378808589616678370951900235614761764507322467570\ 9960058679813167/97701910694587713050946720564726447751546575107037\ 160479758786603*c_0101_4^25 + 5664279889337287894378855453915378767\ 2491244313169909231389215723/97701910694587713050946720564726447751\ 546575107037160479758786603*c_0101_4^24 + 416006748501312496207692574721165189094309816608567256706470780755/\ 97701910694587713050946720564726447751546575107037160479758786603*c\ _0101_4^23 + 838595932080013282784540173459334617977086305910542421\ 43073500534/9770191069458771305094672056472644775154657510703716047\ 9758786603*c_0101_4^22 + 310451962416276018226576135808151632217226\ 708126442254805347453479/977019106945877130509467205647264477515465\ 75107037160479758786603*c_0101_4^21 + 4915131662327588463375126726517794499394413847943999953020070537652\ /97701910694587713050946720564726447751546575107037160479758786603*\ c_0101_4^20 + 50081064059853396917769045193438472534495153568081261\ 1135929031679/97701910694587713050946720564726447751546575107037160\ 479758786603*c_0101_4^19 - 8885251710771514029830527744545194765653\ 260149143951012737043247109/977019106945877130509467205647264477515\ 46575107037160479758786603*c_0101_4^18 - 2110337791213561178936927659492507270033960855971266267331957530289\ 2/97701910694587713050946720564726447751546575107037160479758786603\ *c_0101_4^17 - 6441984024010974035917832496230803146543656469839713\ 3188787195213869/97701910694587713050946720564726447751546575107037\ 160479758786603*c_0101_4^16 - 3817081539214913719931714014989861774\ 17743223943250044282067037352/9770191069458771305094672056472644775\ 1546575107037160479758786603*c_0101_4^15 + 1320999745176470388122345717573527214253987409972372281290704517089\ 47/9770191069458771305094672056472644775154657510703716047975878660\ 3*c_0101_4^14 + 101559085974260831035841251328296817408434217910765\ 909099918513148044/977019106945877130509467205647264477515465751070\ 37160479758786603*c_0101_4^13 + 53164677636291469978206238648307952\ 482779547714148219208635746531327/977019106945877130509467205647264\ 47751546575107037160479758786603*c_0101_4^12 - 3781915242251213754467026245965215172774526307788826227730807535333\ 3/97701910694587713050946720564726447751546575107037160479758786603\ *c_0101_4^11 - 1029907719814672749921074721684835478336455854746036\ 84935204708089520/9770191069458771305094672056472644775154657510703\ 7160479758786603*c_0101_4^10 - 537046814358217382711026145817611123\ 95866707512363036483414006792248/9770191069458771305094672056472644\ 7751546575107037160479758786603*c_0101_4^9 - 7595243402581673992928224212992438007099433941163686180748391012016\ 1/97701910694587713050946720564726447751546575107037160479758786603\ *c_0101_4^8 - 19239896876716399057809682283263510696907167546217072\ 522447536424641/977019106945877130509467205647264477515465751070371\ 60479758786603*c_0101_4^7 - 257208500716830149022787083565534300439\ 4392689246947824261773056866/97701910694587713050946720564726447751\ 546575107037160479758786603*c_0101_4^6 - 1186612548993635811424040839132986665358735382759742226744635481126\ 7/97701910694587713050946720564726447751546575107037160479758786603\ *c_0101_4^5 + 56579344397837361055744314478555759134995446626548009\ 55675775312388/9770191069458771305094672056472644775154657510703716\ 0479758786603*c_0101_4^4 - 6404549129448656878817834986122495002379\ 073329666898679052624434048/977019106945877130509467205647264477515\ 46575107037160479758786603*c_0101_4^3 + 2014597880184142472975558469666632325931470600311321956427007481257\ /97701910694587713050946720564726447751546575107037160479758786603*\ c_0101_4^2 - 735810265357463284138720559886046408175443152221691706\ 443843759449/977019106945877130509467205647264477515465751070371604\ 79758786603*c_0101_4 + 28090126243796478471105051538154923257963474\ 8179247122175400373526/97701910694587713050946720564726447751546575\ 107037160479758786603, c_0011_6 + 562036000749496168015888674507796394777985266890962969938998\ /8825030321975224735881737924733668842159387147234862296067093*c_01\ 01_4^26 + 287602051032873167539910908955733597238449969929278975065\ 4804/8825030321975224735881737924733668842159387147234862296067093*\ c_0101_4^25 - 20626719222438392052541099480392435384061672364765202\ 746230281/882503032197522473588173792473366884215938714723486229606\ 7093*c_0101_4^24 - 779504403186641087099808060181893673418791893729\ 98120193950203/8825030321975224735881737924733668842159387147234862\ 296067093*c_0101_4^23 + 9745081363390410625294875967886022820606421\ 3355778675834125954/88250303219752247358817379247336688421593871472\ 34862296067093*c_0101_4^22 - 32065967917498349694945714374812046580\ 2662390622062931134700618/88250303219752247358817379247336688421593\ 87147234862296067093*c_0101_4^21 - 700023353065066675163686508934877905281444936166266858840076342/882\ 5030321975224735881737924733668842159387147234862296067093*c_0101_4\ ^20 + 7949231865057144730411204731544791683784481009041469045110821\ 93/8825030321975224735881737924733668842159387147234862296067093*c_\ 0101_4^19 + 6157435213554058198497356591281463127751616710237031867\ 14077657/8825030321975224735881737924733668842159387147234862296067\ 093*c_0101_4^18 + 5729413956860918708666533195234921514771836295099\ 621384516778732/882503032197522473588173792473366884215938714723486\ 2296067093*c_0101_4^17 + 804779193428133556185280210461927909761541\ 0240014923089525353287/88250303219752247358817379247336688421593871\ 47234862296067093*c_0101_4^16 - 95252388843445803004462106639009367\ 53855948848709372465302283194/8825030321975224735881737924733668842\ 159387147234862296067093*c_0101_4^15 - 15402448101257533499232905599139770918977182937631972519089710913/8\ 825030321975224735881737924733668842159387147234862296067093*c_0101\ _4^14 - 11403282938417248413175765056246668694890464382034969401777\ 353086/882503032197522473588173792473366884215938714723486229606709\ 3*c_0101_4^13 - 351965017592098658931226729030575208328549851456509\ 7060784351003/88250303219752247358817379247336688421593871472348622\ 96067093*c_0101_4^12 + 11555390030551484381723472364129980557680957\ 614706536187121073962/882503032197522473588173792473366884215938714\ 7234862296067093*c_0101_4^11 + 854685109347078224140134277646701280\ 7213469688753502326680913816/88250303219752247358817379247336688421\ 59387147234862296067093*c_0101_4^10 + 9893837255191039296571596098800428915516616134851040403432433053/88\ 25030321975224735881737924733668842159387147234862296067093*c_0101_\ 4^9 + 6360743968058846231230134702311364584058636935379983068517619\ 378/8825030321975224735881737924733668842159387147234862296067093*c\ _0101_4^8 + 6722659842580072720391671321106109379020520743928897628\ 32653453/8825030321975224735881737924733668842159387147234862296067\ 093*c_0101_4^7 + 17263367921691522729806912460314301860622401711435\ 62808294258172/8825030321975224735881737924733668842159387147234862\ 296067093*c_0101_4^6 - 28156347585949567781396880473963336726862820\ 4814291002173847271/88250303219752247358817379247336688421593871472\ 34862296067093*c_0101_4^5 + 448489925711670641792748870375592841709\ 426470070938310616783233/882503032197522473588173792473366884215938\ 7147234862296067093*c_0101_4^4 + 1276095640393793884868433003391295\ 94649313921313128258570724003/8825030321975224735881737924733668842\ 159387147234862296067093*c_0101_4^3 - 12919607745178005488487474745550914857978696320898485199742008/8825\ 030321975224735881737924733668842159387147234862296067093*c_0101_4^\ 2 + 10862315274264293649227165465250633462144212506219755040458805/\ 8825030321975224735881737924733668842159387147234862296067093*c_010\ 1_4 - 1658382108535386358357023886070202150248558851642061007023961\ 7/8825030321975224735881737924733668842159387147234862296067093, c_0101_0 - 462687087565530626194955751459770817680077177885495064887994\ 7210/97701910694587713050946720564726447751546575107037160479758786\ 603*c_0101_4^26 - 2464394900346622722902537779578368032438113687608\ 0311995763734805/97701910694587713050946720564726447751546575107037\ 160479758786603*c_0101_4^25 + 1658823296794553248159960759865805428\ 60534187935150802170782315882/9770191069458771305094672056472644775\ 1546575107037160479758786603*c_0101_4^24 + 682211294969356654508258375074727053148499976760321202104268231764/\ 97701910694587713050946720564726447751546575107037160479758786603*c\ _0101_4^23 - 707140128537918094154108930148944318690491345686644273\ 003518431865/977019106945877130509467205647264477515465751070371604\ 79758786603*c_0101_4^22 + 23394989385617796848818360944985003172675\ 84750307706473912527290672/9770191069458771305094672056472644775154\ 6575107037160479758786603*c_0101_4^21 + 6530642866440598253051794171928582884135256595600082807548214375875\ /97701910694587713050946720564726447751546575107037160479758786603*\ c_0101_4^20 - 59739847420931074385395557806923300265056061651525218\ 18862413738156/9770191069458771305094672056472644775154657510703716\ 0479758786603*c_0101_4^19 - 756749420387799935779912636842202368207\ 4872195177139847914010210056/97701910694587713050946720564726447751\ 546575107037160479758786603*c_0101_4^18 - 4642880725866380012470806353864782630622871664191472105313858381536\ 0/97701910694587713050946720564726447751546575107037160479758786603\ *c_0101_4^17 - 7540904542612179163950029149831694474601233944768726\ 6796839907919477/97701910694587713050946720564726447751546575107037\ 160479758786603*c_0101_4^16 + 7472350807604561298236996069863433297\ 7386288709323697259235440173171/97701910694587713050946720564726447\ 751546575107037160479758786603*c_0101_4^15 + 1551763774501942584695549783574370571631164435577310982607668199221\ 16/9770191069458771305094672056472644775154657510703716047975878660\ 3*c_0101_4^14 + 991763802632018587472611483248000959068078384790376\ 44565823742711777/9770191069458771305094672056472644775154657510703\ 7160479758786603*c_0101_4^13 + 255868041605326556102544907093973629\ 42867817783382593347119721642603/9770191069458771305094672056472644\ 7751546575107037160479758786603*c_0101_4^12 - 1022932183143253039645176220841629189712109210100107184744343234761\ 02/9770191069458771305094672056472644775154657510703716047975878660\ 3*c_0101_4^11 - 916564456642436482630065105678618635855855563151061\ 57609645481135846/9770191069458771305094672056472644775154657510703\ 7160479758786603*c_0101_4^10 - 746121399352732063289029309733943036\ 26773208655654198826847235224981/9770191069458771305094672056472644\ 7751546575107037160479758786603*c_0101_4^9 - 6059611914748818706401849360226333615835111549603022978466954592875\ 2/97701910694587713050946720564726447751546575107037160479758786603\ *c_0101_4^8 - 18269207423631669760262297785652467380695973230822283\ 87755052788120/9770191069458771305094672056472644775154657510703716\ 0479758786603*c_0101_4^7 - 7832454168746454063786918685981342114358\ 316326901653345701758750209/977019106945877130509467205647264477515\ 46575107037160479758786603*c_0101_4^6 - 1583563662870973212222698709985961902132095637353015722393037162513\ /97701910694587713050946720564726447751546575107037160479758786603*\ c_0101_4^5 - 427233318032859028214005913590343508254345633022157774\ 2148750318/97701910694587713050946720564726447751546575107037160479\ 758786603*c_0101_4^4 - 29557948449892691983916929689057430824416570\ 55283267951605604684562/9770191069458771305094672056472644775154657\ 5107037160479758786603*c_0101_4^3 + 1123593173958912469353081943788323613442695070267429973957303304803\ /97701910694587713050946720564726447751546575107037160479758786603*\ c_0101_4^2 - 233961743176852060157635360628701601425017712030945664\ 823342753491/977019106945877130509467205647264477515465751070371604\ 79758786603*c_0101_4 + 17616289779401665493406451829064496752201105\ 3384930813310330333814/97701910694587713050946720564726447751546575\ 107037160479758786603, c_0101_1 + 370067169056131078926657557749569259751306875849787496736350\ /8825030321975224735881737924733668842159387147234862296067093*c_01\ 01_4^26 + 200402642396674300728469598228953811293244054907781522218\ 6861/8825030321975224735881737924733668842159387147234862296067093*\ c_0101_4^25 - 13059927262088699405576407228573238438691200543046192\ 735428177/882503032197522473588173792473366884215938714723486229606\ 7093*c_0101_4^24 - 555927049476413067178287977787306629054854341154\ 03165684537260/8825030321975224735881737924733668842159387147234862\ 296067093*c_0101_4^23 + 5046134036740501577096671333548788667790049\ 3115973300946920873/88250303219752247358817379247336688421593871472\ 34862296067093*c_0101_4^22 - 18611613626328260255363250614397317925\ 1700800389163038894456772/88250303219752247358817379247336688421593\ 87147234862296067093*c_0101_4^21 - 531844735646725980457806584598697426138023850248016003112895688/882\ 5030321975224735881737924733668842159387147234862296067093*c_0101_4\ ^20 + 4105299118833029871551049293323178696620104095885658552546436\ 00/8825030321975224735881737924733668842159387147234862296067093*c_\ 0101_4^19 + 6136212115814487258900443351177963493699128440790377043\ 37972454/8825030321975224735881737924733668842159387147234862296067\ 093*c_0101_4^18 + 3827750754495169174498176904116186731998305125459\ 947657354076523/882503032197522473588173792473366884215938714723486\ 2296067093*c_0101_4^17 + 637575932408527221044332477153593366573379\ 1523235123884937162718/88250303219752247358817379247336688421593871\ 47234862296067093*c_0101_4^16 - 51291275596951173449349086020042658\ 03316022829068205123133603047/8825030321975224735881737924733668842\ 159387147234862296067093*c_0101_4^15 - 12586024694324836235796729652521673179284969509344809972466714567/8\ 825030321975224735881737924733668842159387147234862296067093*c_0101\ _4^14 - 97277138708534478852934786370248490267932930806148792892102\ 60126/8825030321975224735881737924733668842159387147234862296067093\ *c_0101_4^13 - 3361645817019307928437431442640570475870595531094345\ 543368545745/882503032197522473588173792473366884215938714723486229\ 6067093*c_0101_4^12 + 770924068922953525760877718927998315846525377\ 4579370686649543496/88250303219752247358817379247336688421593871472\ 34862296067093*c_0101_4^11 + 79152743118593035349044076703694639199\ 88094594729681973003045057/8825030321975224735881737924733668842159\ 387147234862296067093*c_0101_4^10 + 7171590415898889133822055053377033537859161262824323917484211046/88\ 25030321975224735881737924733668842159387147234862296067093*c_0101_\ 4^9 + 5562941841109824499363096148686775334816997212998445100004062\ 835/8825030321975224735881737924733668842159387147234862296067093*c\ _0101_4^8 + 1030335838952587067970202462191022341826562732707418322\ 683074161/882503032197522473588173792473366884215938714723486229606\ 7093*c_0101_4^7 + 9673727663239036388570177305599057932931919246035\ 09640253105363/8825030321975224735881737924733668842159387147234862\ 296067093*c_0101_4^6 + 15107683828653638749718046618408287875441506\ 8734002976954059960/88250303219752247358817379247336688421593871472\ 34862296067093*c_0101_4^5 + 160191358396553193133166044034102586079\ 408594252941098571061920/882503032197522473588173792473366884215938\ 7147234862296067093*c_0101_4^4 + 2190262211406465532322129406762716\ 40951894793416623864358609021/8825030321975224735881737924733668842\ 159387147234862296067093*c_0101_4^3 - 46422203570455386222590296431628726965458182820706427964980780/8825\ 030321975224735881737924733668842159387147234862296067093*c_0101_4^\ 2 + 15212466955210257689986622679346829794392876526608890281433015/\ 8825030321975224735881737924733668842159387147234862296067093*c_010\ 1_4 - 1531630470360724727621841886378796182686714912995826748675212\ 1/8825030321975224735881737924733668842159387147234862296067093, c_0101_4^27 + 5*c_0101_4^26 - 37*c_0101_4^25 - 133*c_0101_4^24 + 178*c_0101_4^23 - 627*c_0101_4^22 - 1110*c_0101_4^21 + 1358*c_0101_4^20 + 651*c_0101_4^19 + 10618*c_0101_4^18 + 13203*c_0101_4^17 - 15608*c_0101_4^16 - 22532*c_0101_4^15 - 23507*c_0101_4^14 - 9202*c_0101_4^13 + 17657*c_0101_4^12 + 12675*c_0101_4^11 + 22201*c_0101_4^10 + 11074*c_0101_4^9 + 4273*c_0101_4^8 + 4183*c_0101_4^7 - 1254*c_0101_4^6 + 1829*c_0101_4^5 - 513*c_0101_4^4 + 439*c_0101_4^3 - 134*c_0101_4^2 + 27*c_0101_4 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB