Magma V2.19-8 Tue Aug 20 2013 16:16:54 on localhost [Seed = 3836049465] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1163 geometric_solution 5.04025146 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.560110555385 0.086400835755 2 0 2 0 0132 2310 1023 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 -1 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.696023177927 0.182602312710 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 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 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.570168793521 1.129369646361 5 2 5 6 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 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 0.871298153687 2.059255504586 6 5 2 5 1023 2310 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 0 0 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.871298153687 2.059255504586 3 4 3 4 0132 2310 1023 3201 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 -1 0 1 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.204678868982 0.373425532172 6 4 3 6 3201 1023 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.091853191071 0.679154814017 ==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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_5'], '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_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 1085219349617044240081094218913438003374517946622018454991970556773\ 80290095454111737423/9437453172164513572302661476779202293371630570\ 35142566238055888220874173640851715254*c_0101_5^30 - 2344407276069380383469070211522126461431218899492075876266026682355\ 13712352767220784541/4718726586082256786151330738389601146685815285\ 17571283119027944110437086820425857627*c_0101_5^29 - 4854844981066352760945938844141288810155112771019349316575566202667\ 413525376605840171017/943745317216451357230266147677920229337163057\ 035142566238055888220874173640851715254*c_0101_5^28 - 4792554162277961776653235268058789901528750485543314851551497309586\ 018172973427660126595/943745317216451357230266147677920229337163057\ 035142566238055888220874173640851715254*c_0101_5^27 - 2951218280889413859888114280228460493720425192543122238776748473533\ 08636739153243710208/1895070918105324010502542465216707287825628628\ 584623626984047968315008380804923123*c_0101_5^26 + 6174392278006089922311836391172201011317331603332252512888209236490\ 2304723789610833532733/47187265860822567861513307383896011466858152\ 8517571283119027944110437086820425857627*c_0101_5^25 - 5179706272032876922850446757760936447072625241095740709118144970578\ 61098629259309507218651/3145817724054837857434220492259734097790543\ 52345047522079351962740291391213617238418*c_0101_5^24 + 8705581397368043685906617215963577152757691930088456772195040619104\ 20579498168770986091994/4718726586082256786151330738389601146685815\ 28517571283119027944110437086820425857627*c_0101_5^23 - 8707523783853242414267666166178790370281880676570394831803554354566\ 784950704814695938678553/943745317216451357230266147677920229337163\ 057035142566238055888220874173640851715254*c_0101_5^22 + 2325585356739508270735776866932932604907881517406968298909517198189\ 07008832406149224630793/2301817846869393554220161335799805437407714\ 7732564452835074533859045711552215895494*c_0101_5^21 - 2818662294917309035566330129847858332630150526413650814972742278310\ 4256821861509196109485833/94374531721645135723026614767792022933716\ 3057035142566238055888220874173640851715254*c_0101_5^20 + 1393015966283799454826377342929495593537693068428294025742411857257\ 1614873404809797518265596/47187265860822567861513307383896011466858\ 1528517571283119027944110437086820425857627*c_0101_5^19 - 1793184176466273779979490972293963561398326640366451303975419207026\ 8606268480608718602313303/31458177240548378574342204922597340977905\ 4352345047522079351962740291391213617238418*c_0101_5^18 + 8086030507131006662607519348952546453577311041458616894856088686443\ 667007564814552426186343/157290886202741892871711024612986704889527\ 176172523761039675981370145695606808619209*c_0101_5^17 - 5993583897034476758971944230540509414861341585493255047855325866675\ 5819776200994143665216743/94374531721645135723026614767792022933716\ 3057035142566238055888220874173640851715254*c_0101_5^16 + 2881207335405819661754112960404224241750342805319815786811605290618\ 4192129936808881039266915/47187265860822567861513307383896011466858\ 1528517571283119027944110437086820425857627*c_0101_5^15 - 1752138307756560636542956487200691301514864879152834979413152430864\ 5979000497640794197215560/47187265860822567861513307383896011466858\ 1528517571283119027944110437086820425857627*c_0101_5^14 + 6373161444549061004861146467879477637707320201818791947284786593370\ 53252738289922781240761/1150908923434696777110080667899902718703857\ 3866282226417537266929522855776107947747*c_0101_5^13 - 3588496995509414357019445428871662153416230409508017279067633476076\ 647285335128042434482955/943745317216451357230266147677920229337163\ 057035142566238055888220874173640851715254*c_0101_5^12 + 3553833830323540658815666815338657308244646713781227441817415954041\ 3551697200600500005703009/94374531721645135723026614767792022933716\ 3057035142566238055888220874173640851715254*c_0101_5^11 + 7432253787185467436415295014818577077925125979814838652126163977404\ 4563036116526091973589/82784676948811522564058434006835107836593250\ 61711776896825051651060299768779401011*c_0101_5^10 + 2797285496121938361807691389218279733200736575068644680467684938106\ 40907568433158059462331/1655693538976230451281168680136702156731865\ 0123423553793650103302120599537558802022*c_0101_5^9 + 4738955205832554759601731756886032595831633773306649324288059197236\ 815953496634576645357463/943745317216451357230266147677920229337163\ 057035142566238055888220874173640851715254*c_0101_5^8 + 1374591587219999719086080607876836774260172390989449629698484093168\ 553786401916920324143573/314581772405483785743422049225973409779054\ 352345047522079351962740291391213617238418*c_0101_5^7 + 1337757699054532930353520006954915613374273172662980874425029592698\ 41089193074392893771532/1572908862027418928717110246129867048895271\ 76172523761039675981370145695606808619209*c_0101_5^6 + 1932310809844629856180978955707621710771310367512539204753368176654\ 98543438988046906472361/3145817724054837857434220492259734097790543\ 52345047522079351962740291391213617238418*c_0101_5^5 - 3130287328740067979862464079383960834230281500864075211056081509325\ 4194998873661189028839/94374531721645135723026614767792022933716305\ 7035142566238055888220874173640851715254*c_0101_5^4 + 5425131552883000835372552131182535481375292365085478910058669345297\ 125610198047203537105/157290886202741892871711024612986704889527176\ 172523761039675981370145695606808619209*c_0101_5^3 - 8887560933463083568672877108897676135933219735878122948358138666861\ 492013704176821390206/471872658608225678615133073838960114668581528\ 517571283119027944110437086820425857627*c_0101_5^2 - 1237556511880121397838381320165498969098613236877457501174329980408\ 91372595140078933859/9437453172164513572302661476779202293371630570\ 35142566238055888220874173640851715254*c_0101_5 - 8825815986075782995177109475872988007466296263068716837687160597357\ 93662005917231111947/9437453172164513572302661476779202293371630570\ 35142566238055888220874173640851715254, c_0011_0 - 1, c_0011_1 - 793099425820735198856124523910824497094532987720709801588166\ 527786157741582865/118772850715654982157903061702776338359531206050\ 38417355559614994347632379884363*c_0101_5^30 + 4377982811860737372313767334935417032510948608385603257381516904455\ 552996069242/118772850715654982157903061702776338359531206050384173\ 55559614994347632379884363*c_0101_5^29 + 3171617922642856623692101651188489604418815865046542400820482130333\ 6923832258575/11877285071565498215790306170277633835953120605038417\ 355559614994347632379884363*c_0101_5^28 - 9096903573485679430950461715141515934352092742784178697753998242606\ 300671077494/118772850715654982157903061702776338359531206050384173\ 55559614994347632379884363*c_0101_5^27 + 1225112204121755753408936194540027875758857404572407255866893487907\ 9945662615467/14309982013934335199747356831659799802353157355467972\ 7175417048124670269637161*c_0101_5^26 - 2202885063832363650715851464180269527693722316154403848138359340640\ 984779507467820/118772850715654982157903061702776338359531206050384\ 17355559614994347632379884363*c_0101_5^25 + 1197461791914351980575349165733989589094222545699291467375304453622\ 2457984270850369/11877285071565498215790306170277633835953120605038\ 417355559614994347632379884363*c_0101_5^24 - 2585848776509700068377276940424653696988853238195380036105134525796\ 7173097836055262/11877285071565498215790306170277633835953120605038\ 417355559614994347632379884363*c_0101_5^23 + 7391646600167267082255507114903895758627955049878246822721286753080\ 8682943612771008/11877285071565498215790306170277633835953120605038\ 417355559614994347632379884363*c_0101_5^22 - 1395408449677179519395644370142698991820598236928682430274204614437\ 78269096010289585/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^21 + 2612668024692128742350842168173290985643791284653146761010892588284\ 21024154114859738/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^20 - 4155665200408807262735102009509018433865659988349634676348442605265\ 07675212639467886/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^19 + 5446496702851055790977693848568754946491457039297853000543332935337\ 98547558964910798/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^18 - 7236636773014616631779606948777883617299913751273331487619112143709\ 66609458501282864/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^17 + 6845721703761259742072175889569428611520197411574473484653338486129\ 13441656172163855/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^16 - 7699239812659913346841290395230945181308132310922419961188369083387\ 00212692922718119/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^15 + 5593752026570275228357621345030669540834415081912092258659379040711\ 78397238629572795/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^14 - 4882286285451427268707058627559161010577748235569350814457227827424\ 82355633464265406/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^13 + 3585832173023017285121062533958318950742431682212571062818039495803\ 43125783117567082/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^12 - 1257421421731223372011601711482265391905025980743821335740902767373\ 33684244025390411/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^11 + 2194605706136795289481576328272217974596739824469632713439776684336\ 52772928201108811/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^10 + 5486179269482150010986695566453751411300589346135429099187550201726\ 6583524997639100/11877285071565498215790306170277633835953120605038\ 417355559614994347632379884363*c_0101_5^9 + 1143841409436329534755105902550055263406420062263716217169199065123\ 42765759734485286/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^8 + 4731912279302143518632442947734331499621449777455771045856992062142\ 0040919344621554/11877285071565498215790306170277633835953120605038\ 417355559614994347632379884363*c_0101_5^7 + 3624222603605781916183045086409422570760446667628776859360225601148\ 8371412571680734/11877285071565498215790306170277633835953120605038\ 417355559614994347632379884363*c_0101_5^6 + 1053458781121090744468770306364059954934810238948068321751599181203\ 5484978343453508/11877285071565498215790306170277633835953120605038\ 417355559614994347632379884363*c_0101_5^5 + 5993613860634416499674310837362948239244404359883556084673580845828\ 994347767345678/118772850715654982157903061702776338359531206050384\ 17355559614994347632379884363*c_0101_5^4 + 8191430157488045972580333977539229652227913121620537546461816769215\ 58529360043582/1187728507156549821579030617027763383595312060503841\ 7355559614994347632379884363*c_0101_5^3 + 3260964511735797277309277628064870508758589273280899219484835656802\ 40227373052688/1187728507156549821579030617027763383595312060503841\ 7355559614994347632379884363*c_0101_5^2 + 1023132044004016370150825230200656621355799537139836648203193515148\ 0355634453131/11877285071565498215790306170277633835953120605038417\ 355559614994347632379884363*c_0101_5 + 2542487078692146090295127675977542207009791622064463385316641864002\ 58763628540/1187728507156549821579030617027763383595312060503841735\ 5559614994347632379884363, c_0011_4 - 250290568891346981773775893009902559009438217740724913216819\ 14400218957781854486/2256684163597444661000158172352750428831092914\ 95729929755632684892605015217802897*c_0101_5^30 + 9490148091917801716597419905615015763455269325224183329342814577731\ 2967304493964/22566841635974446610001581723527504288310929149572992\ 9755632684892605015217802897*c_0101_5^29 + 1170973285490196462913656483947335786100632825061535806217210644293\ 448776077038839/225668416359744466100015817235275042883109291495729\ 929755632684892605015217802897*c_0101_5^28 + 1722651435714513172919713543265415874584815422981172397882891089488\ 744369474889465/225668416359744466100015817235275042883109291495729\ 929755632684892605015217802897*c_0101_5^27 + 4186724380904719503331920414578055618478918930393099666648421736255\ 86751956556214/2718896582647523687951997798015361962447099897538914\ 816332923914368735123106059*c_0101_5^26 - 1026499934289293630099110032090130094180085500856701900967895720762\ 3628104928699270/22566841635974446610001581723527504288310929149572\ 9929755632684892605015217802897*c_0101_5^25 + 3513569269880077870167610219357837596767048704707601960862640650022\ 18551200205620020/2256684163597444661000158172352750428831092914957\ 29929755632684892605015217802897*c_0101_5^24 - 2179550731916130870654843759087158568410374875934884741927419728287\ 92899683746376976/2256684163597444661000158172352750428831092914957\ 29929755632684892605015217802897*c_0101_5^23 + 1879384455122961018466685780529462412255822517751097465620096624372\ 347938382145086294/225668416359744466100015817235275042883109291495\ 729929755632684892605015217802897*c_0101_5^22 - 1222581628028210231680521444120678557853292786399934516521851099986\ 965204552289279483/225668416359744466100015817235275042883109291495\ 729929755632684892605015217802897*c_0101_5^21 + 5796224166145732138064946705700526428373898790281241109553413683715\ 811168619483669078/225668416359744466100015817235275042883109291495\ 729929755632684892605015217802897*c_0101_5^20 - 3449063264552359293684423432726574654068981726971529571273073850400\ 057769628301317068/225668416359744466100015817235275042883109291495\ 729929755632684892605015217802897*c_0101_5^19 + 1045258934907080116443508423821671242027868194209771596961589931725\ 8239451298803240931/22566841635974446610001581723527504288310929149\ 5729929755632684892605015217802897*c_0101_5^18 - 5934541008404514437670672492752603539112875939242794369876590460808\ 772675288697941983/225668416359744466100015817235275042883109291495\ 729929755632684892605015217802897*c_0101_5^17 + 1054963032564686629299626084498236976657667118811393539359276609277\ 6320092294514027978/22566841635974446610001581723527504288310929149\ 5729929755632684892605015217802897*c_0101_5^16 - 8162565500635243148032621940322597631229989994954053279359105251067\ 149700743583578577/225668416359744466100015817235275042883109291495\ 729929755632684892605015217802897*c_0101_5^15 + 3795626317988400304337565219578300717239902303158433847934781592489\ 162783514354466934/225668416359744466100015817235275042883109291495\ 729929755632684892605015217802897*c_0101_5^14 - 1031446473404597414781886823201344135056960679448602142358976395402\ 1449582496410846058/22566841635974446610001581723527504288310929149\ 5729929755632684892605015217802897*c_0101_5^13 - 4232949681330735380993268884809907493768808089536671243100999542324\ 235253769037784615/225668416359744466100015817235275042883109291495\ 729929755632684892605015217802897*c_0101_5^12 - 1012500575529212100459633073535794771194095975305876305852217579033\ 9425198104004728019/22566841635974446610001581723527504288310929149\ 5729929755632684892605015217802897*c_0101_5^11 - 3445764533860265542721211484746286971254524687877328812144715856463\ 26315773259927519/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^10 - 3379957776354648775059227013293904918671907277973510448089184163310\ 03629806106292717/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^9 - 3746931914230903455939148618168823149925288105570565205822180174903\ 738838771609725523/225668416359744466100015817235275042883109291495\ 729929755632684892605015217802897*c_0101_5^8 - 2355723889943324688349312372407960656614183267848357023907281014402\ 208847696215879950/225668416359744466100015817235275042883109291495\ 729929755632684892605015217802897*c_0101_5^7 - 1049794956710138628185189137409975544511275993498894187703350043822\ 006058522949886667/225668416359744466100015817235275042883109291495\ 729929755632684892605015217802897*c_0101_5^6 - 4723631600339447857978913358566420503865066672249738755637703328609\ 38191184751701978/2256684163597444661000158172352750428831092914957\ 29929755632684892605015217802897*c_0101_5^5 - 1443020372523636212983353540225174281197585578976466265396262587353\ 90465532815139065/2256684163597444661000158172352750428831092914957\ 29929755632684892605015217802897*c_0101_5^4 - 4589977592993352869418147726848381266882465454667583679995631536845\ 0832654338441621/22566841635974446610001581723527504288310929149572\ 9929755632684892605015217802897*c_0101_5^3 - 7854163543540008718512529853506920152936549959478962651197433848590\ 461500991168410/225668416359744466100015817235275042883109291495729\ 929755632684892605015217802897*c_0101_5^2 - 1236461673952750100988702807798205080808887898211810440786237839898\ 811876093804905/225668416359744466100015817235275042883109291495729\ 929755632684892605015217802897*c_0101_5 - 1018078102629502842358545413824713540968861057806740264100283905263\ 80212195996231/2256684163597444661000158172352750428831092914957299\ 29755632684892605015217802897, c_0101_0 - 533803833027431068032638472770535723124731824438636793055738\ 3540374930689365473/11877285071565498215790306170277633835953120605\ 038417355559614994347632379884363*c_0101_5^30 + 2360883191789079244787504264290872578492973880543182337130696344910\ 1236165322868/11877285071565498215790306170277633835953120605038417\ 355559614994347632379884363*c_0101_5^29 + 2367338001747989073112807007430717123271929039723072425780377852911\ 55478348947010/1187728507156549821579030617027763383595312060503841\ 7355559614994347632379884363*c_0101_5^28 + 2099829008294950734786642336841609046689709286600406998229936492820\ 18303792883691/1187728507156549821579030617027763383595312060503841\ 7355559614994347632379884363*c_0101_5^27 + 8666114642962141294214738876064252350581095912008146928207063558664\ 7617492076388/14309982013934335199747356831659799802353157355467972\ 7175417048124670269637161*c_0101_5^26 - 6819375376177358278398994928612773766533710267219831777394364724091\ 857474297739618/118772850715654982157903061702776338359531206050384\ 17355559614994347632379884363*c_0101_5^25 + 7667435900233038743894623984082048793468944424722209897082133968609\ 4715389452815892/11877285071565498215790306170277633835953120605038\ 417355559614994347632379884363*c_0101_5^24 - 9295229889536577293155557397452614975647223266003657716832995960782\ 9474488147571735/11877285071565498215790306170277633835953120605038\ 417355559614994347632379884363*c_0101_5^23 + 4328693239778452132196993925917212517453500043431750020457836274560\ 43139064775493900/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^22 - 5064405372308544050434355599640723679956913656438151656010361729276\ 75097109712302714/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^21 + 1410010639790513535474533215379121547026676657009294276826811377386\ 752148697954846809/118772850715654982157903061702776338359531206050\ 38417355559614994347632379884363*c_0101_5^20 - 1477840285017329429686782952516045177208021055641153229144115056260\ 623368886167841724/118772850715654982157903061702776338359531206050\ 38417355559614994347632379884363*c_0101_5^19 + 2704574217937081750120273976850904406446781672002704425403692740613\ 233892467789407859/118772850715654982157903061702776338359531206050\ 38417355559614994347632379884363*c_0101_5^18 - 2556502712725578394092876570841556776737497267071578618344149235040\ 975918047359846032/118772850715654982157903061702776338359531206050\ 38417355559614994347632379884363*c_0101_5^17 + 3031267501703351652998026744723216871417853418883275535832494835072\ 200181862757935076/118772850715654982157903061702776338359531206050\ 38417355559614994347632379884363*c_0101_5^16 - 2963161833598485257143508637338220204133412915936813388511291434722\ 288016736866146657/118772850715654982157903061702776338359531206050\ 38417355559614994347632379884363*c_0101_5^15 + 1826739401871069225720090462060202469088392245492709695281934692563\ 179171232944751003/118772850715654982157903061702776338359531206050\ 38417355559614994347632379884363*c_0101_5^14 - 2556647715975730069884061027753941043089992785824582817925606674891\ 369149905706305745/118772850715654982157903061702776338359531206050\ 38417355559614994347632379884363*c_0101_5^13 + 3138407608938469661338431964069986196681915787873017708310392726774\ 97869128331241180/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^12 - 1622402201123626503671370214890432927206007190317064164369748760482\ 442095115446034597/118772850715654982157903061702776338359531206050\ 38417355559614994347632379884363*c_0101_5^11 - 2833982839239276597643247046108110396597085370721919886973405429918\ 26305755217396019/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^10 - 6693998993862056498669028096596649908593944363423016272347170963163\ 92457137969192796/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^9 - 1608727327445888869131009779691646284946360350332307503468649471337\ 83905418825386222/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^8 - 1590397478961531966037614321666458221705115324236114132530685858176\ 92223894066271335/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^7 - 2164764737543164542714317202695746793837315804275442741773085587029\ 7828677736046212/11877285071565498215790306170277633835953120605038\ 417355559614994347632379884363*c_0101_5^6 - 2233866450651013044063393250667449882600564492286968202066364348690\ 5613735443080005/11877285071565498215790306170277633835953120605038\ 417355559614994347632379884363*c_0101_5^5 + 2690493375400357778383192648147194367497186957670396534005776015454\ 843710852267182/118772850715654982157903061702776338359531206050384\ 17355559614994347632379884363*c_0101_5^4 - 1586585367138402291199171248329340471010418012940290431440831347219\ 577619350838300/118772850715654982157903061702776338359531206050384\ 17355559614994347632379884363*c_0101_5^3 + 5937028009017105457210834605712350268927043988167624364309204374363\ 74497689576614/1187728507156549821579030617027763383595312060503841\ 7355559614994347632379884363*c_0101_5^2 - 3673563423792956475701255836947260160897670169158461338256503236627\ 0922019920481/11877285071565498215790306170277633835953120605038417\ 355559614994347632379884363*c_0101_5 + 2234596044189722676041152465727462077190420718647302947818460358946\ 1836753440349/11877285071565498215790306170277633835953120605038417\ 355559614994347632379884363, c_0101_1 - 123818069590527201952573828868092111183782907626479031899584\ 2375417235176575705/11877285071565498215790306170277633835953120605\ 038417355559614994347632379884363*c_0101_5^30 + 5535558092510615493705053426584944999986202417478532574340713477311\ 361418118029/118772850715654982157903061702776338359531206050384173\ 55559614994347632379884363*c_0101_5^29 + 5478994944534847269644843450049808031929445001192537600097085619701\ 2073563714757/11877285071565498215790306170277633835953120605038417\ 355559614994347632379884363*c_0101_5^28 + 4543976919036756138480634007976609200901448655697117738188590982592\ 4331804460873/11877285071565498215790306170277633835953120605038417\ 355559614994347632379884363*c_0101_5^27 + 1999774791113973396835223139203221433600700021280595150784917683543\ 6422626936022/14309982013934335199747356831659799802353157355467972\ 7175417048124670269637161*c_0101_5^26 - 1666810867894951536875386858411741782613491805483217611267951197305\ 814955622584202/118772850715654982157903061702776338359531206050384\ 17355559614994347632379884363*c_0101_5^25 + 1767286898404692005544691360542551796886552726453470047503769064514\ 1850078000028507/11877285071565498215790306170277633835953120605038\ 417355559614994347632379884363*c_0101_5^24 - 2221996060458500056512496300785553832967811452571641380480266819259\ 2842859681002830/11877285071565498215790306170277633835953120605038\ 417355559614994347632379884363*c_0101_5^23 + 9945977526896327890775520599894916108578072313905360629414410468458\ 6894134322796310/11877285071565498215790306170277633835953120605038\ 417355559614994347632379884363*c_0101_5^22 - 1197502381884018827399165686085757722732602626350769414913926763181\ 38792929522861108/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^21 + 3216930063700317828331386469369348733989762893479426029788064051065\ 29691142274713469/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^20 - 3450015390894056524981365713451595489962974778317275641563022306711\ 69698133941358705/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^19 + 6088780642703274398379837692817364402446685366555769279406035900950\ 41391859415588681/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^18 - 5849189022857693182891321356513203817237660250902597627215138413720\ 59193635686947188/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^17 + 6673820943149417826919489035920528040664878710043156921954657327439\ 52598632289680440/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^16 - 6577579517512615569154008566904676011215869579803337108207211253830\ 59514092420243296/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^15 + 3892726558485364904473688223011732176594915484066770422962182688177\ 20912243989864068/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^14 - 5439901565457802442528704594694516027583605312820320782371935040592\ 25507502850654376/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^13 + 6419343412600789350469830241962729321550679384330123016357436234267\ 6119807221663080/11877285071565498215790306170277633835953120605038\ 417355559614994347632379884363*c_0101_5^12 - 3249935660938020065613245034662141194834609050970148830734887144671\ 53597880123915532/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^11 - 5392422709790640957901138130393431439299519459761599053231223297841\ 5122318438359937/11877285071565498215790306170277633835953120605038\ 417355559614994347632379884363*c_0101_5^10 - 1231278909127944144764355795115430012458880588544288541861982292800\ 67660072781902483/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^9 - 2768614141459796109813228123876332390102019681458882581293374282250\ 3276191797657659/11877285071565498215790306170277633835953120605038\ 417355559614994347632379884363*c_0101_5^8 - 2747584625370022299742233452624252368305474229479073124027671928873\ 5236169233949597/11877285071565498215790306170277633835953120605038\ 417355559614994347632379884363*c_0101_5^7 - 3882052726264554660656630772959034211448803534661963836749018594013\ 181541613209500/118772850715654982157903061702776338359531206050384\ 17355559614994347632379884363*c_0101_5^6 - 4719689320013223051956575456401420732256891287073005340199151178991\ 168296761639348/118772850715654982157903061702776338359531206050384\ 17355559614994347632379884363*c_0101_5^5 + 1964328221344313773160417616387310416891595626715066689231400761016\ 7396157560351/11877285071565498215790306170277633835953120605038417\ 355559614994347632379884363*c_0101_5^4 - 4644387757495121513249404476440727331864478473059807048935089403665\ 74350913297753/1187728507156549821579030617027763383595312060503841\ 7355559614994347632379884363*c_0101_5^3 - 7601085603207514963517829619486927236529456867499716821597709111528\ 491137442950/118772850715654982157903061702776338359531206050384173\ 55559614994347632379884363*c_0101_5^2 - 1628467860764979635717344297396011199006656025756724577368263499918\ 0731972376957/11877285071565498215790306170277633835953120605038417\ 355559614994347632379884363*c_0101_5 + 4579424228136359172045832827267425047244988920426148374576493696954\ 372221441298/118772850715654982157903061702776338359531206050384173\ 55559614994347632379884363, c_0101_3 - 550126898274173832785072889755755228504819060861885857774873\ 04441589411913013953/2256684163597444661000158172352750428831092914\ 95729929755632684892605015217802897*c_0101_5^30 + 2236849951788582885941517521153173576923193986380239874659173756057\ 51219534987493/2256684163597444661000158172352750428831092914957299\ 29755632684892605015217802897*c_0101_5^29 + 2522097528984200005854149473036582439666397611074406168363173297930\ 730174819786582/225668416359744466100015817235275042883109291495729\ 929755632684892605015217802897*c_0101_5^28 + 3052185709236053476156483703455668808685632121988371884833723841176\ 025501547290628/225668416359744466100015817235275042883109291495729\ 929755632684892605015217802897*c_0101_5^27 + 9048488150706964308367720229406331705279310166839159697423096708288\ 67076846402456/2718896582647523687951997798015361962447099897538914\ 816332923914368735123106059*c_0101_5^26 - 4358932342344453557921990498331529172421079088918693933982693819398\ 6557838623284107/22566841635974446610001581723527504288310929149572\ 9929755632684892605015217802897*c_0101_5^25 + 7711701937570334038030467028226432515963724392241585523754079035221\ 17050852628493902/2256684163597444661000158172352750428831092914957\ 29929755632684892605015217802897*c_0101_5^24 - 6795167204650420877462639184246363833911527203202143120968097389744\ 50258646732419003/2256684163597444661000158172352750428831092914957\ 29929755632684892605015217802897*c_0101_5^23 + 4181722770668959710251728715876500152950947383904636076236888975594\ 472584357722574062/225668416359744466100015817235275042883109291495\ 729929755632684892605015217802897*c_0101_5^22 - 3682439575933606467461213876037508835399865674515106907315364911028\ 545769696239894138/225668416359744466100015817235275042883109291495\ 729929755632684892605015217802897*c_0101_5^21 + 1300964518265596174834500307343516863738615999130648409939543615292\ 3465411621620941309/22566841635974446610001581723527504288310929149\ 5729929755632684892605015217802897*c_0101_5^20 - 1034537289065949780788197119493933826762735572927776659557247088085\ 6913422187294518698/22566841635974446610001581723527504288310929149\ 5729929755632684892605015217802897*c_0101_5^19 + 2350765860964091250432746066416785070416828243471354971969357081036\ 8931610335413433375/22566841635974446610001581723527504288310929149\ 5729929755632684892605015217802897*c_0101_5^18 - 1725538883876697397009475105710136812201642202238864628649965695166\ 8043610138765695948/22566841635974446610001581723527504288310929149\ 5729929755632684892605015217802897*c_0101_5^17 + 2379803550923182864317533022942595516109204390516609095985729034364\ 1034266144686930470/22566841635974446610001581723527504288310929149\ 5729929755632684892605015217802897*c_0101_5^16 - 2084216185699778927469393288680981583602679067090608992362191120635\ 9592485119895640918/22566841635974446610001581723527504288310929149\ 5729929755632684892605015217802897*c_0101_5^15 + 9957778789360730533544523954100427240806320741839559920634708751406\ 683766844907533774/225668416359744466100015817235275042883109291495\ 729929755632684892605015217802897*c_0101_5^14 - 2140976698339228017337531720602662932062097284368278411389954022383\ 9732189843579614378/22566841635974446610001581723527504288310929149\ 5729929755632684892605015217802897*c_0101_5^13 - 5270120706655375027386555142516291595937304245531028814493983490871\ 385524195823817704/225668416359744466100015817235275042883109291495\ 729929755632684892605015217802897*c_0101_5^12 - 1740112091831998755706127658305259433763517367872640592405412860390\ 6528471455138322967/22566841635974446610001581723527504288310929149\ 5729929755632684892605015217802897*c_0101_5^11 - 4886861524678334536447021844245732799983522432349974615654608199269\ 87808357457344353/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^10 - 4965624840795777537287001097664997481418548700256502380618977903558\ 06898008051922003/1187728507156549821579030617027763383595312060503\ 8417355559614994347632379884363*c_0101_5^9 - 4881504156922664282644098335039935028712003620080278819872417212665\ 305286056338335877/225668416359744466100015817235275042883109291495\ 729929755632684892605015217802897*c_0101_5^8 - 3035564401119682420300824705842301448297183439072537451308500415202\ 283965358574947853/225668416359744466100015817235275042883109291495\ 729929755632684892605015217802897*c_0101_5^7 - 1205239335726174438045487861865237188638027889384938189216185399106\ 752884937505063569/225668416359744466100015817235275042883109291495\ 729929755632684892605015217802897*c_0101_5^6 - 5575964771529585996019149083385717635548293241227266247902039501803\ 46766550460140302/2256684163597444661000158172352750428831092914957\ 29929755632684892605015217802897*c_0101_5^5 - 1426595806349372529918092872553815673979995486498603507351915927950\ 96156018167379994/2256684163597444661000158172352750428831092914957\ 29929755632684892605015217802897*c_0101_5^4 - 4649698135593913334844104638056727869805872939087318564008429752160\ 9397315668103042/22566841635974446610001581723527504288310929149572\ 9929755632684892605015217802897*c_0101_5^3 - 7411584412540450002176761409604056634776053787587515970173668213360\ 713536977473416/225668416359744466100015817235275042883109291495729\ 929755632684892605015217802897*c_0101_5^2 - 1106331315569000556902094691911183123484828200021397759465346996855\ 517677308157641/225668416359744466100015817235275042883109291495729\ 929755632684892605015217802897*c_0101_5 - 6206302333116253792220971826088364218666232357178698766517471061268\ 2688019498620/22566841635974446610001581723527504288310929149572992\ 9755632684892605015217802897, c_0101_5^31 - 4*c_0101_5^30 - 46*c_0101_5^29 - 59*c_0101_5^28 - 1374*c_0101_5^27 + 697*c_0101_5^26 - 14120*c_0101_5^25 + 11551*c_0101_5^24 - 76808*c_0101_5^23 + 63669*c_0101_5^22 - 240936*c_0101_5^21 + 181854*c_0101_5^20 - 442933*c_0101_5^19 + 312184*c_0101_5^18 - 463444*c_0101_5^17 + 395107*c_0101_5^16 - 210005*c_0101_5^15 + 428791*c_0101_5^14 + 94124*c_0101_5^13 + 368967*c_0101_5^12 + 191519*c_0101_5^11 + 213997*c_0101_5^10 + 110479*c_0101_5^9 + 74826*c_0101_5^8 + 30528*c_0101_5^7 + 15112*c_0101_5^6 + 4187*c_0101_5^5 + 1574*c_0101_5^4 + 249*c_0101_5^3 + 69*c_0101_5^2 + 4*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB