Magma V2.19-8 Tue Aug 20 2013 16:19:02 on localhost [Seed = 172726113] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3177 geometric_solution 6.32401314 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.300062512531 0.852104670743 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 1 0 -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 -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.178149781474 1.116850298652 3 0 4 5 0132 0132 0132 2310 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.178149781474 1.116850298652 2 1 6 6 0132 0132 0132 3201 0 0 0 0 0 -1 1 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 -1 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.527129933943 0.686342672621 4 4 1 2 1230 3012 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.883575764348 1.105746036655 2 5 5 1 3201 3201 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.212614259616 0.712143197549 6 3 6 3 2031 2310 1302 0132 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 -1 1 1 0 -1 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.036991873437 1.401153226971 ==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' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], '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' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_4']), '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_4, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 2156853184875702929055841509980958459806775092061681979082973281884\ 8635333879872/36893953369563386339923529533544592666993377770590916\ 1192426062087339438831*c_0101_3^23 - 1198700406511331060264374337881562104421922442309490505082543305985\ 310991122493872/368939533695633863399235295335445926669933777705909\ 161192426062087339438831*c_0101_3^22 - 1280432826889958216947073045417801503698904852659674119387008444507\ 7897429786142900/36893953369563386339923529533544592666993377770590\ 9161192426062087339438831*c_0101_3^21 + 4992988640881100927497824583296561096188638864233357360866706947765\ 6882397549445824/36893953369563386339923529533544592666993377770590\ 9161192426062087339438831*c_0101_3^20 + 9498950119304001158590173203122244427602547027648958231346582134949\ 4784839785341727/36893953369563386339923529533544592666993377770590\ 9161192426062087339438831*c_0101_3^19 - 2468616783150720551785687488029914900338033514153722630587605154195\ 35403414994988683/3689395336956338633992352953354459266699337777059\ 09161192426062087339438831*c_0101_3^18 - 3118104190807351232268006090914964617003462435477923217258260858581\ 00468738526805337/3689395336956338633992352953354459266699337777059\ 09161192426062087339438831*c_0101_3^17 + 4272259871000297122663501552514989094454054057565221126207511456436\ 53248822516221549/3689395336956338633992352953354459266699337777059\ 09161192426062087339438831*c_0101_3^16 + 5195892075715231805787236584741677236063389759719383085743596780152\ 45906399329954603/3689395336956338633992352953354459266699337777059\ 09161192426062087339438831*c_0101_3^15 - 3029879790640011982588580367970550402564596069445750330490210606321\ 69523724790900863/3689395336956338633992352953354459266699337777059\ 09161192426062087339438831*c_0101_3^14 - 4011832926066947002605583751929962986115234087772527674050497896337\ 92899513688652365/3689395336956338633992352953354459266699337777059\ 09161192426062087339438831*c_0101_3^13 + 1166938270688628760268504202956393422774554072470163952720958521435\ 07996296202009021/3689395336956338633992352953354459266699337777059\ 09161192426062087339438831*c_0101_3^12 + 1195864175165811448263994446425970914659008959639715941268706079243\ 85207230509420878/3689395336956338633992352953354459266699337777059\ 09161192426062087339438831*c_0101_3^11 - 3197779026168658993849534887455948191723625780386232059797659709265\ 6794418990879723/36893953369563386339923529533544592666993377770590\ 9161192426062087339438831*c_0101_3^10 - 2262486693346666238085424673753289649393583960538951391527046240733\ 2233767131883159/36893953369563386339923529533544592666993377770590\ 9161192426062087339438831*c_0101_3^9 - 5437699396236774439772501072487059456770667361149784718996240007445\ 339520584025547/368939533695633863399235295335445926669933777705909\ 161192426062087339438831*c_0101_3^8 + 3689151601197111209362539900542047511733538323115029161093418439906\ 959893717858054/368939533695633863399235295335445926669933777705909\ 161192426062087339438831*c_0101_3^7 - 3980910454599776535622282507876022530904360359589376142745517466513\ 822055806225933/368939533695633863399235295335445926669933777705909\ 161192426062087339438831*c_0101_3^6 + 4955711104683391568010337973379128711055853285722692497348414676059\ 334337768395334/368939533695633863399235295335445926669933777705909\ 161192426062087339438831*c_0101_3^5 - 2492960566247859520790307602601630833349769826247626324806412105560\ 453843463321862/368939533695633863399235295335445926669933777705909\ 161192426062087339438831*c_0101_3^4 + 9996067226199613940743026559851008948864265204452970024607932013121\ 74569470339971/3689395336956338633992352953354459266699337777059091\ 61192426062087339438831*c_0101_3^3 - 2802651114669059723018553239656249753930630928472079523644228436489\ 75873902095450/3689395336956338633992352953354459266699337777059091\ 61192426062087339438831*c_0101_3^2 + 5382936795185422403736709982832422981126933457795090801861063672498\ 7098071070022/36893953369563386339923529533544592666993377770590916\ 1192426062087339438831*c_0101_3 - 868570441912700676581271989004411\ 4762729065592660886614286796856847928939373871/36893953369563386339\ 9235295335445926669933777705909161192426062087339438831, c_0011_0 - 1, c_0011_4 - 586720113777925800150255027485334045578329782224470979041782\ 69696/8956674378378649833626789406922782430412248071806137801952490\ 563*c_0101_3^23 - 3294799601813227421703071456215959248911198205410\ 042805458806649888/895667437837864983362678940692278243041224807180\ 6137801952490563*c_0101_3^22 - 367346024745708890687434118621678046\ 31117174347720044735840177428792/8956674378378649833626789406922782\ 430412248071806137801952490563*c_0101_3^21 + 1149174494452994135635173512047084998284383723250736197123247521121\ 74/8956674378378649833626789406922782430412248071806137801952490563\ *c_0101_3^20 + 3293813124310085906808927367995427406236573566540791\ 40195256960301032/8956674378378649833626789406922782430412248071806\ 137801952490563*c_0101_3^19 - 4955356768788980478252217710463457171\ 27459188726958324571484385633706/8956674378378649833626789406922782\ 430412248071806137801952490563*c_0101_3^18 - 1171716569244297308352860614782147811669864723370133111521479987121\ 988/895667437837864983362678940692278243041224807180613780195249056\ 3*c_0101_3^17 + 552068830329838892654854705327829200264229844512392\ 306175783157552287/895667437837864983362678940692278243041224807180\ 6137801952490563*c_0101_3^16 + 185842601427103647678517999945299897\ 7539052263091134113706767611689233/89566743783786498336267894069227\ 82430412248071806137801952490563*c_0101_3^15 + 1537748547797645595929152851088996278318772854410852158712801136389\ 86/8956674378378649833626789406922782430412248071806137801952490563\ *c_0101_3^14 - 1203712823839838132585999729047243007664416930256507\ 501941918360665471/895667437837864983362678940692278243041224807180\ 6137801952490563*c_0101_3^13 - 345776143316527636482666822851944549\ 161599747171745005592334226053049/895667437837864983362678940692278\ 2430412248071806137801952490563*c_0101_3^12 + 2647676898944254989866684712429454276203114461981333909457209984791\ 69/8956674378378649833626789406922782430412248071806137801952490563\ *c_0101_3^11 + 7094170074880070912400039892251620978048457695748080\ 6199058878881927/89566743783786498336267894069227824304122480718061\ 37801952490563*c_0101_3^10 - 56239956707712185075372509319620513510\ 507224865016123176821115368014/895667437837864983362678940692278243\ 0412248071806137801952490563*c_0101_3^9 - 4591566507760422984605231615658997832726819307618952613187146272488\ 3/8956674378378649833626789406922782430412248071806137801952490563*\ c_0101_3^8 - 904239748637113954963529203934263307273624105462570410\ 7399794887185/89566743783786498336267894069227824304122480718061378\ 01952490563*c_0101_3^7 - 127630260224336039119636359478664706794146\ 18521977316673821213124922/8956674378378649833626789406922782430412\ 248071806137801952490563*c_0101_3^6 + 6014692781677203918468931468632852853842362064525797025023763162116\ /8956674378378649833626789406922782430412248071806137801952490563*c\ _0101_3^5 - 1697514456922652316076135486777855247665021189596867501\ 928644310065/895667437837864983362678940692278243041224807180613780\ 1952490563*c_0101_3^4 + 6923805751653284202724267875005556402191867\ 55955690852582630929283/8956674378378649833626789406922782430412248\ 071806137801952490563*c_0101_3^3 + 76882293060739803705838229889052283665284342185808586067063939612/8\ 956674378378649833626789406922782430412248071806137801952490563*c_0\ 101_3^2 + 146722769098488045489307985744629666546298026967245834261\ 67838553/8956674378378649833626789406922782430412248071806137801952\ 490563*c_0101_3 + 8014467339845403262594109055972240632267953453614\ 004158848722646/895667437837864983362678940692278243041224807180613\ 7801952490563, c_0011_5 + 207814911850307009301743308924549472995878714010924873489982\ 1281114963639968/36893953369563386339923529533544592666993377770590\ 9161192426062087339438831*c_0101_3^23 + 1164532650562789135124067814623041593110846409863282466369090441533\ 21097938472/3689395336956338633992352953354459266699337777059091611\ 92426062087339438831*c_0101_3^22 + 1287267307243971404862856981786115270072004133140801420899570906456\ 729966287278/368939533695633863399235295335445926669933777705909161\ 192426062087339438831*c_0101_3^21 - 4222647513694028509331369255381562256932289281467958470801709596590\ 441455806159/368939533695633863399235295335445926669933777705909161\ 192426062087339438831*c_0101_3^20 - 1114944683870978510547189698222546092189828717239681359681544547571\ 8872618368185/36893953369563386339923529533544592666993377770590916\ 1192426062087339438831*c_0101_3^19 + 1884725363691453469073630691807119494899541819400375502442280544122\ 9038881750513/36893953369563386339923529533544592666993377770590916\ 1192426062087339438831*c_0101_3^18 + 3911357912586342060867272963845053442186497055505329729549035403625\ 7151819313637/36893953369563386339923529533544592666993377770590916\ 1192426062087339438831*c_0101_3^17 - 2410086111123973643907033843663758260626394872459236313420837537260\ 5861925266474/36893953369563386339923529533544592666993377770590916\ 1192426062087339438831*c_0101_3^16 - 6242146824935201294660791324862481642843138904170803988213387656396\ 7354951951098/36893953369563386339923529533544592666993377770590916\ 1192426062087339438831*c_0101_3^15 + 2009000570325934734656373596315672306622694905260692551332306618686\ 550705509343/368939533695633863399235295335445926669933777705909161\ 192426062087339438831*c_0101_3^14 + 4156398916482920075701311275039006515583081762412405409672846546372\ 4716245357776/36893953369563386339923529533544592666993377770590916\ 1192426062087339438831*c_0101_3^13 + 6886770957082238985053125170556392429060486707392501120565511500641\ 824049288819/368939533695633863399235295335445926669933777705909161\ 192426062087339438831*c_0101_3^12 - 9696951093328004946202383169286830633456044579578115977615144043605\ 043168190569/368939533695633863399235295335445926669933777705909161\ 192426062087339438831*c_0101_3^11 - 9690429477093641401743466433136068942887292641227207483855725696533\ 91577096556/3689395336956338633992352953354459266699337777059091611\ 92426062087339438831*c_0101_3^10 + 2007815785059343199525825248717405593252872245798845414913790274732\ 332773866737/368939533695633863399235295335445926669933777705909161\ 192426062087339438831*c_0101_3^9 + 1275699133666214462817675414683390157626497861184127480281935981214\ 426600235525/368939533695633863399235295335445926669933777705909161\ 192426062087339438831*c_0101_3^8 + 1985807437969376861471247133567714064568406684737811477958394339610\ 46204714789/3689395336956338633992352953354459266699337777059091611\ 92426062087339438831*c_0101_3^7 + 464856553741473015031463733353756\ 444283112562865100705831675292235420154092155/368939533695633863399\ 235295335445926669933777705909161192426062087339438831*c_0101_3^6 - 2661500609661144048414738599484209677431457318029693924833485077910\ 95265970959/3689395336956338633992352953354459266699337777059091611\ 92426062087339438831*c_0101_3^5 + 953267389402962068676887259081383\ 15659623020842645839354572673734205061910066/3689395336956338633992\ 35295335445926669933777705909161192426062087339438831*c_0101_3^4 - 3355337823730291879246406820012148294322743227504888325619490766328\ 6430426164/36893953369563386339923529533544592666993377770590916119\ 2426062087339438831*c_0101_3^3 + 5249508064432037643489986440923577\ 00756810903499051426095585352462534834805/3689395336956338633992352\ 95335445926669933777705909161192426062087339438831*c_0101_3^2 - 5874388693420796037933911054039124831124097947606640482178476344626\ 28945439/3689395336956338633992352953354459266699337777059091611924\ 26062087339438831*c_0101_3 - 38201816170988237966409698586327041164\ 3923786704130653199445594415226711861/36893953369563386339923529533\ 5445926669933777705909161192426062087339438831, c_0011_6 + 376949594412495881790433134353294669486384040847259801115414\ 89504/8956674378378649833626789406922782430412248071806137801952490\ 563*c_0101_3^23 + 2114048940262936206553847160227549562905685717298\ 606452367673657560/895667437837864983362678940692278243041224807180\ 6137801952490563*c_0101_3^22 + 234463921150777704434078970051822879\ 68240234437755603510002614972658/8956674378378649833626789406922782\ 430412248071806137801952490563*c_0101_3^21 - 7553315361926549074543725901162058830985313094478450568016682904888\ 1/8956674378378649833626789406922782430412248071806137801952490563*\ c_0101_3^20 - 20592964060463558617817604773126978689422664340279571\ 4351742092225277/89566743783786498336267894069227824304122480718061\ 37801952490563*c_0101_3^19 + 33313015823756905444140106938548849856\ 5525767123115151479731744275554/89566743783786498336267894069227824\ 30412248071806137801952490563*c_0101_3^18 + 7266587571826458479872716353230637130800493004530314484293164556401\ 63/8956674378378649833626789406922782430412248071806137801952490563\ *c_0101_3^17 - 4073550083926330413591006607056481946380524851419783\ 72888186004168195/8956674378378649833626789406922782430412248071806\ 137801952490563*c_0101_3^16 - 1157743262427387319342986047616284018\ 504254735248595496743512995549097/895667437837864983362678940692278\ 2430412248071806137801952490563*c_0101_3^15 - 1093195801658608037158453304292754564018000960272139467795843619817\ 8/8956674378378649833626789406922782430412248071806137801952490563*\ c_0101_3^14 + 76546116123422183941683106108941429923807144723389151\ 6660544098040527/89566743783786498336267894069227824304122480718061\ 37801952490563*c_0101_3^13 + 15720736890918809842025010036854122633\ 6108682238754030681927537828442/89566743783786498336267894069227824\ 30412248071806137801952490563*c_0101_3^12 - 1789508758988807827611746914723712796805042798779280918541241378718\ 54/8956674378378649833626789406922782430412248071806137801952490563\ *c_0101_3^11 - 2604468815888229032375395105769574720696652367630440\ 0640611542449452/89566743783786498336267894069227824304122480718061\ 37801952490563*c_0101_3^10 + 39244341016804363000132883904286619232\ 391822778326067556015781204639/895667437837864983362678940692278243\ 0412248071806137801952490563*c_0101_3^9 + 2527955588425812469672453788705148314423415403981096259566608281776\ 9/8956674378378649833626789406922782430412248071806137801952490563*\ c_0101_3^8 + 380323645297807119870043528278133328718487614530573119\ 6208221762833/89566743783786498336267894069227824304122480718061378\ 01952490563*c_0101_3^7 + 843150153102756050681466619761125693545678\ 6080873839046748251961527/89566743783786498336267894069227824304122\ 48071806137801952490563*c_0101_3^6 - 4239027605224413951662218094834899150342546714161432357391106803880\ /8956674378378649833626789406922782430412248071806137801952490563*c\ _0101_3^5 + 1510652097672250974986683802725361769027704247655423397\ 235863588778/895667437837864983362678940692278243041224807180613780\ 1952490563*c_0101_3^4 - 5021343547393990512496332088262987944651562\ 34000664562753762532893/8956674378378649833626789406922782430412248\ 071806137801952490563*c_0101_3^3 - 18974009581898393918461058012321419274998021017609445792788180258/8\ 956674378378649833626789406922782430412248071806137801952490563*c_0\ 101_3^2 - 107147007427482635868787031581528982331951368848598817872\ 17891281/8956674378378649833626789406922782430412248071806137801952\ 490563*c_0101_3 - 4326372517618208055591525383591634196246661760079\ 670251499120041/895667437837864983362678940692278243041224807180613\ 7801952490563, c_0101_0 - 343364457173608939432437850044357368936186629613269243592243\ 1515410858576/46701206796915678911295607004486826160751111102013817\ 87245899520092904289*c_0101_3^23 - 1884518355767761728389317900292321681712722213666637529476447734830\ 40523548/4670120679691567891129560700448682616075111110201381787245\ 899520092904289*c_0101_3^22 - 1903398431949606609840544179502165814\ 065054220069796947546612701424013086317/467012067969156789112956070\ 0448682616075111110201381787245899520092904289*c_0101_3^21 + 9521030612264540729676706717203537743175560632490821466861763247012\ 087822359/467012067969156789112956070044868261607511111020138178724\ 5899520092904289*c_0101_3^20 + 113914487573985771528216848084185101\ 87112859848254927758579038908897733477138/4670120679691567891129560\ 700448682616075111110201381787245899520092904289*c_0101_3^19 - 5567280977543536295082706359316134404362476060605182254963078499187\ 9111467907/46701206796915678911295607004486826160751111102013817872\ 45899520092904289*c_0101_3^18 - 37664302714337975330420021838326675\ 412255464280944773486942665715908414760776/467012067969156789112956\ 0700448682616075111110201381787245899520092904289*c_0101_3^17 + 1290756450042324047899582977731953675486225272851954116079194893965\ 26292702281/4670120679691567891129560700448682616075111110201381787\ 245899520092904289*c_0101_3^16 + 8908838007654063078676583585801654\ 0885831571517629890762209664049765641873128/46701206796915678911295\ 60700448682616075111110201381787245899520092904289*c_0101_3^15 - 1411359594525098350273383442279531717208521776463850122188805508909\ 11816541826/4670120679691567891129560700448682616075111110201381787\ 245899520092904289*c_0101_3^14 - 1167855580336968655636712064867681\ 66445451539110176679130731464788726622094904/4670120679691567891129\ 560700448682616075111110201381787245899520092904289*c_0101_3^13 + 6899247721665151761493109699414171252416859780074338832272786007258\ 7337583333/46701206796915678911295607004486826160751111102013817872\ 45899520092904289*c_0101_3^12 + 65559416406344806328331935165931190\ 722889003849356417236970280294513444653378/467012067969156789112956\ 0700448682616075111110201381787245899520092904289*c_0101_3^11 - 1037502913342737471493207795226298379358466974228767771451033480838\ 7921465088/46701206796915678911295607004486826160751111102013817872\ 45899520092904289*c_0101_3^10 - 15266179203969427498868629641082564\ 366262717822377236919445081986098481934892/467012067969156789112956\ 0700448682616075111110201381787245899520092904289*c_0101_3^9 + 1456028049437731979079523475182881419406463452339228251496401902227\ 54764819/4670120679691567891129560700448682616075111110201381787245\ 899520092904289*c_0101_3^8 + 44046384186969028787984445038450999035\ 88352308459927011994919853572329563531/4670120679691567891129560700\ 448682616075111110201381787245899520092904289*c_0101_3^7 + 8182187327264662453667302357831597478822116875922170300733004013643\ 30942228/4670120679691567891129560700448682616075111110201381787245\ 899520092904289*c_0101_3^6 + 13713851135294117257133406299501083425\ 29617435804570619005987143761818514794/4670120679691567891129560700\ 448682616075111110201381787245899520092904289*c_0101_3^5 - 3620055848016645362195152033587973776902725767237624975146354156328\ 01671147/4670120679691567891129560700448682616075111110201381787245\ 899520092904289*c_0101_3^4 + 35984600986675621232597188657818399011\ 038416806025285118277861299980933721/467012067969156789112956070044\ 8682616075111110201381787245899520092904289*c_0101_3^3 - 1611541522325039890574117771559054691495294834291731458587097055521\ 4929914/46701206796915678911295607004486826160751111102013817872458\ 99520092904289*c_0101_3^2 - 695569637693934666725846840509238712395\ 2032491874122248018642045973616753/46701206796915678911295607004486\ 82616075111110201381787245899520092904289*c_0101_3 - 1798265142483443411667978407059980863654326291318391917156947638462\ 754556/467012067969156789112956070044868261607511111020138178724589\ 9520092904289, c_0101_1 + 128675948745676519915194588889715761689114941560945604911054\ 94844237576128/4670120679691567891129560700448682616075111110201381\ 787245899520092904289*c_0101_3^23 + 7208129144733169411456385923698636682667265113406024820465783902623\ 83822896/4670120679691567891129560700448682616075111110201381787245\ 899520092904289*c_0101_3^22 + 7956250354801665282778326854239049053\ 309139019422377701491527780235398690756/467012067969156789112956070\ 0448682616075111110201381787245899520092904289*c_0101_3^21 - 2632162999260488553071521679040996610163844475324960153063587970522\ 3437715846/46701206796915678911295607004486826160751111102013817872\ 45899520092904289*c_0101_3^20 - 68765017582154449426658766001611412\ 619976966841724369667702542336201237811170/467012067969156789112956\ 0700448682616075111110201381787245899520092904289*c_0101_3^19 + 1188829808068707574583367947516308899723343193672125199786905765693\ 98396441017/4670120679691567891129560700448682616075111110201381787\ 245899520092904289*c_0101_3^18 + 2418827415435460424103799399999119\ 50225832504532320378469671887602261315100444/4670120679691567891129\ 560700448682616075111110201381787245899520092904289*c_0101_3^17 - 1581271243265223282226999268829932352870417753774628342361105745357\ 43772401135/4670120679691567891129560700448682616075111110201381787\ 245899520092904289*c_0101_3^16 - 3906107884116741856914377170702904\ 13129138810187863405472724400417542538796666/4670120679691567891129\ 560700448682616075111110201381787245899520092904289*c_0101_3^15 + 2710502464319355227461526568338634991070452910104791991667468435574\ 6478990507/46701206796915678911295607004486826160751111102013817872\ 45899520092904289*c_0101_3^14 + 26957708834783361881544462756913761\ 9762225554229402401927864557920975382208753/46701206796915678911295\ 60700448682616075111110201381787245899520092904289*c_0101_3^13 + 3316979348063926571207742005620516911003245203856859365146309690832\ 1454467344/46701206796915678911295607004486826160751111102013817872\ 45899520092904289*c_0101_3^12 - 71615667216317746303787010043732632\ 667992334256095121368959345261972493336683/467012067969156789112956\ 0700448682616075111110201381787245899520092904289*c_0101_3^11 - 3878267252261843428175978935573239209431486357320520977299504343467\ 274957093/467012067969156789112956070044868261607511111020138178724\ 5899520092904289*c_0101_3^10 + 168755648219757356010221230136474123\ 86811695555414891190231464757659151310132/4670120679691567891129560\ 700448682616075111110201381787245899520092904289*c_0101_3^9 + 7497544626292105743293190223197296494078463779570553074898553812811\ 427701397/467012067969156789112956070044868261607511111020138178724\ 5899520092904289*c_0101_3^8 - 4048177558389541544902511528870441279\ 5960564305213559364232251386367434018/46701206796915678911295607004\ 48682616075111110201381787245899520092904289*c_0101_3^7 + 2746937597464181106686569915386853020202190000927032048571655840263\ 326774153/467012067969156789112956070044868261607511111020138178724\ 5899520092904289*c_0101_3^6 - 1465286369464481691585371841879210239\ 152601143680348281459371002006872218607/467012067969156789112956070\ 0448682616075111110201381787245899520092904289*c_0101_3^5 + 5980155978698695386249688316183204675502413436480448446727520997117\ 14478572/4670120679691567891129560700448682616075111110201381787245\ 899520092904289*c_0101_3^4 - 17226391713979278965432883181334694237\ 4924157670438709554570953903554433130/46701206796915678911295607004\ 48682616075111110201381787245899520092904289*c_0101_3^3 + 5064589832763124570306467047719317283585877407429538011972408436556\ 64877/4670120679691567891129560700448682616075111110201381787245899\ 520092904289*c_0101_3^2 - 22577533714769845943398549076007205489171\ 10688930513128211977583822151642/4670120679691567891129560700448682\ 616075111110201381787245899520092904289*c_0101_3 - 1189184879066914081390379052840947484558173549944507907675082461565\ 739312/467012067969156789112956070044868261607511111020138178724589\ 9520092904289, c_0101_3^24 + 223/4*c_0101_3^23 + 9653/16*c_0101_3^22 - 17693/8*c_0101_3^21 - 76857/16*c_0101_3^20 + 85371/8*c_0101_3^19 + 131399/8*c_0101_3^18 - 138017/8*c_0101_3^17 - 27465*c_0101_3^16 + 156629/16*c_0101_3^15 + 83731/4*c_0101_3^14 - 8531/4*c_0101_3^13 - 25613/4*c_0101_3^12 + 8059/16*c_0101_3^11 + 20511/16*c_0101_3^10 + 879/2*c_0101_3^9 - 1949/16*c_0101_3^8 + 2499/16*c_0101_3^7 - 3175/16*c_0101_3^6 + 1223/16*c_0101_3^5 - 433/16*c_0101_3^4 + 43/8*c_0101_3^3 - 3/8*c_0101_3^2 + 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB