Magma V2.19-8 Tue Aug 20 2013 16:17:36 on localhost [Seed = 2328565356] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1848 geometric_solution 5.49267236 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.338010411217 0.238320948849 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.685874208127 1.154978419825 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.057738554858 0.971710554789 2 5 4 1 3012 1023 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 -1 0 1 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.057738554858 0.971710554789 6 2 6 3 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.746976495838 0.561055088276 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 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 1.195947983950 0.841347997841 4 6 4 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565542928322 0.145121949478 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), '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' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], '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_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_0101_0, c_0101_3, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 4599942190653113710096857801411186784500201659868228749985619743071\ /16422360142254093632726748849323759823770740491396934635516941275*\ c_0101_5^29 + 43774033269381301173087456533683643565662072918229611\ 704667766921982/164223601422540936327267488493237598237707404913969\ 34635516941275*c_0101_5^28 - 13982789478189159821356575337754780795\ 9344531054490804748949475611504/16422360142254093632726748849323759\ 823770740491396934635516941275*c_0101_5^27 + 4812354928111563140946063385868868967401596178145972360328630201626\ 9/3284472028450818726545349769864751964754148098279386927103388255*\ c_0101_5^26 - 10460960943765932786735798460133062787047862297246423\ 3055234773745338/16422360142254093632726748849323759823770740491396\ 934635516941275*c_0101_5^25 - 2250165989961813471138705542713193517\ 66105844373277498743849288357217/1642236014225409363272674884932375\ 9823770740491396934635516941275*c_0101_5^24 - 2089407451960141699847141052681957698072399836632832229408569706960\ 2/3284472028450818726545349769864751964754148098279386927103388255*\ c_0101_5^23 - 19965816065976285008850485874683451933889954199632194\ 58486673970659378/1642236014225409363272674884932375982377074049139\ 6934635516941275*c_0101_5^22 + 298061542808960782857813663703048688\ 9311922082381067596275787810474504/16422360142254093632726748849323\ 759823770740491396934635516941275*c_0101_5^21 + 5435149439608724317900432445024841657270958888013333586403278998103\ 82/3284472028450818726545349769864751964754148098279386927103388255\ *c_0101_5^20 - 7342307533458290152181825175495828442875574666665799\ 336092819192237583/164223601422540936327267488493237598237707404913\ 96934635516941275*c_0101_5^19 - 19298690854826351714036477993157698\ 849281069379736800661733306727461828/164223601422540936327267488493\ 23759823770740491396934635516941275*c_0101_5^18 - 1617311779423219876120959831430705695404862504768764179290852616453\ 1923/16422360142254093632726748849323759823770740491396934635516941\ 275*c_0101_5^17 + 1717433493378817797003072579056275537156121104627\ 4746021600071554954842/16422360142254093632726748849323759823770740\ 491396934635516941275*c_0101_5^16 + 8072987582863293120598020133250542619085298536113118672929425586904\ 8676/16422360142254093632726748849323759823770740491396934635516941\ 275*c_0101_5^15 + 4630714430390361658078165857065152879801278734796\ 405991688350049450610/656894405690163745309069953972950392950829619\ 655877385420677651*c_0101_5^14 + 8709642485938200223341267410097610\ 6935486148414870250825896745969976922/16422360142254093632726748849\ 323759823770740491396934635516941275*c_0101_5^13 + 1741080396074621544960731342978886712985333270369154774840501091927\ 2/6139200053179100423449251906289256008886258127625022293651193*c_0\ 101_5^12 + 87481652895867135242787868061396314781687580517545663038\ 473472340971/164223601422540936327267488493237598237707404913969346\ 35516941275*c_0101_5^11 + 11026553482587501014886513845792213583344\ 42402004468179840228934422374/3284472028450818726545349769864751964\ 754148098279386927103388255*c_0101_5^10 + 1149142932573936554107984818019671221619170684847632949458166142790\ 002/328447202845081872654534976986475196475414809827938692710338825\ 5*c_0101_5^9 - 3185817908149294608534218791374764055248739590992477\ 141595910964973176/164223601422540936327267488493237598237707404913\ 96934635516941275*c_0101_5^8 - 265102559200353643634134132269984041\ 656625047833226835807178284231787/164223601422540936327267488493237\ 59823770740491396934635516941275*c_0101_5^7 - 7390938757890639536008164286296612729797089765314955963555596169960\ 859/164223601422540936327267488493237598237707404913969346355169412\ 75*c_0101_5^6 + 405526748600421376212740376767339612605149579942873\ 7281813808364722367/16422360142254093632726748849323759823770740491\ 396934635516941275*c_0101_5^5 - 27398939718228672674699059002697077\ 27399666622261638589283081579139713/1642236014225409363272674884932\ 3759823770740491396934635516941275*c_0101_5^4 + 2092099490937680832142152166464686252224706176533470889217565203569\ 09/3284472028450818726545349769864751964754148098279386927103388255\ *c_0101_5^3 - 26422942813784059455817576530218926187987006663711785\ 3728159181616071/16422360142254093632726748849323759823770740491396\ 934635516941275*c_0101_5^2 + 38554289601537262133435071433385842137\ 61356261431671325157321801166/6568944056901637453090699539729503929\ 50829619655877385420677651*c_0101_5 + 8022659770441608734806356596907995125371813646339675719761314879267\ /16422360142254093632726748849323759823770740491396934635516941275, c_0011_0 - 1, c_0011_1 + 108558418029166624518158741656051285141035295854871975489559\ 6749/32844720284508187265453497698647519647541480982793869271033882\ 55*c_0101_5^29 - 10249201146037563626891039408757053008324818324167\ 877310295289259/328447202845081872654534976986475196475414809827938\ 6927103388255*c_0101_5^28 + 645655996214766502706702634968614624696\ 2950049521433800863160777/65689440569016374530906995397295039295082\ 9619655877385420677651*c_0101_5^27 - 54843523836557071601428089785684175563485764992288627765642132317/3\ 284472028450818726545349769864751964754148098279386927103388255*c_0\ 101_5^26 + 21994117109929707801627617489693539941438612016884471274\ 232232666/328447202845081872654534976986475196475414809827938692710\ 3388255*c_0101_5^25 + 525104516881141587174300402827751855706036709\ 12379859428901290827/3284472028450818726545349769864751964754148098\ 279386927103388255*c_0101_5^24 + 5800121077823405053212637548776657\ 820251474032310463192980473239/656894405690163745309069953972950392\ 950829619655877385420677651*c_0101_5^23 + 476087021601556783406225799913006549070077349173714668361160246177/\ 3284472028450818726545349769864751964754148098279386927103388255*c_\ 0101_5^22 - 6657124976451246834712967122864722972613417630497263902\ 73682928559/3284472028450818726545349769864751964754148098279386927\ 103388255*c_0101_5^21 - 1335006455380681067520604733942017654159034\ 03644534857955666538841/6568944056901637453090699539729503929508296\ 19655877385420677651*c_0101_5^20 + 1657640189489458673435426712895897252653215870264590323204983659407\ /3284472028450818726545349769864751964754148098279386927103388255*c\ _0101_5^19 + 464020185649310261755378250851171624439767943804052510\ 2529879606344/32844720284508187265453497698647519647541480982793869\ 27103388255*c_0101_5^18 + 84696289663280849736346099024929377094515\ 6838435207066507166207616/65689440569016374530906995397295039295082\ 9619655877385420677651*c_0101_5^17 - 3494147159050940587480515663111814125173866664852846880122879221582\ /3284472028450818726545349769864751964754148098279386927103388255*c\ _0101_5^16 - 190395389155865378835193980239676337324988144165088552\ 51384679744514/3284472028450818726545349769864751964754148098279386\ 927103388255*c_0101_5^15 - 2882617114802159862997011237461918119169\ 1921523514051811469797098474/32844720284508187265453497698647519647\ 54148098279386927103388255*c_0101_5^14 - 4726675951097183703955043458182985479340628651153047397037713096787\ /656894405690163745309069953972950392950829619655877385420677651*c_\ 0101_5^13 - 1346718118499672881143245950355599737642940675304682299\ 36175375472/3069600026589550211724625953144628004443129063812511146\ 8255965*c_0101_5^12 - 276227798154025978557224889883101091832350867\ 7752566610903332595106/32844720284508187265453497698647519647541480\ 98279386927103388255*c_0101_5^11 - 562554315573202094017036177572018419920354098268124950172058727371/\ 656894405690163745309069953972950392950829619655877385420677651*c_0\ 101_5^10 - 44963134644501314556861815693491092236300249168443564087\ 5525139232/65689440569016374530906995397295039295082961965587738542\ 0677651*c_0101_5^9 + 1034237776580846784906359011817917137024584452\ 92114788424065959134/3284472028450818726545349769864751964754148098\ 279386927103388255*c_0101_5^8 - 25926059697736299369023756707574210\ 8752366642217658369273031984808/32844720284508187265453497698647519\ 64754148098279386927103388255*c_0101_5^7 + 1612109523474315003445268983683356207472775395782315504984789238326\ /3284472028450818726545349769864751964754148098279386927103388255*c\ _0101_5^6 - 8922104004821886842586124038356107075990740846078828071\ 62576979842/3284472028450818726545349769864751964754148098279386927\ 103388255*c_0101_5^5 + 63918675528734225500885743858933951634998989\ 8762027179364616115117/32844720284508187265453497698647519647541480\ 98279386927103388255*c_0101_5^4 - 226571701063867391189063779129264\ 202200746625977081865713353222298/328447202845081872654534976986475\ 1964754148098279386927103388255*c_0101_5^3 + 14228250285859722054684544452134257914771095626781226738223413831/6\ 56894405690163745309069953972950392950829619655877385420677651*c_01\ 01_5^2 - 1889230604662722928412672930231780378986961527863771685073\ 5410683/32844720284508187265453497698647519647541480982793869271033\ 88255*c_0101_5 + 63590736979651723867834269577542414291662409025246\ 6994308994868/32844720284508187265453497698647519647541480982793869\ 27103388255, c_0011_3 + 242884867752820595036010800683283939977190159186920856178715\ 60936/1642236014225409363272674884932375982377074049139693463551694\ 1275*c_0101_5^29 - 230579255654908359418511011662207039664837850050\ 933429536012085677/164223601422540936327267488493237598237707404913\ 96934635516941275*c_0101_5^28 + 73306029579369448078574328003331049\ 9249637753350917373981422096229/16422360142254093632726748849323759\ 823770740491396934635516941275*c_0101_5^27 - 50152846364674462722335698175158384660381522321347553843798681054/6\ 56894405690163745309069953972950392950829619655877385420677651*c_01\ 01_5^26 + 523494901310411983222177844282681358042873930253229099305\ 556790878/164223601422540936327267488493237598237707404913969346355\ 16941275*c_0101_5^25 + 12012964260064334571172514764939018264082974\ 78674955765718676827127/1642236014225409363272674884932375982377074\ 0491396934635516941275*c_0101_5^24 + 115253051214653656650728271172758564188319845620876056684659104419/\ 3284472028450818726545349769864751964754148098279386927103388255*c_\ 0101_5^23 + 1055679138609787481084380542549842681076126014984126736\ 3156634518588/16422360142254093632726748849323759823770740491396934\ 635516941275*c_0101_5^22 - 1549254087385691476302212322182592989382\ 0099999621200607940340837674/16422360142254093632726748849323759823\ 770740491396934635516941275*c_0101_5^21 - 2938778344590523019940147730971099016400132589834020603546766369046\ /3284472028450818726545349769864751964754148098279386927103388255*c\ _0101_5^20 + 384548768451731932163685610495377002396302117073534467\ 75500157094248/1642236014225409363272674884932375982377074049139693\ 4635516941275*c_0101_5^19 + 102731963257629900478496819143864809857\ 482147342597411322582572805908/164223601422540936327267488493237598\ 23770740491396934635516941275*c_0101_5^18 + 8771287615670470903084937042688516013122160692897206847592141978524\ 8/16422360142254093632726748849323759823770740491396934635516941275\ *c_0101_5^17 - 8851052770439543608637953902089450728106490179587546\ 2706201931390932/16422360142254093632726748849323759823770740491396\ 934635516941275*c_0101_5^16 - 4278951983969508198382144589037206639\ 42732990935375511316782951802496/1642236014225409363272674884932375\ 9823770740491396934635516941275*c_0101_5^15 - 1241530363103408934939443785414146811109933601026109934284616178613\ 26/3284472028450818726545349769864751964754148098279386927103388255\ *c_0101_5^14 - 4745496507720033964660964147758439509975033240801833\ 43879523531573042/1642236014225409363272674884932375982377074049139\ 6934635516941275*c_0101_5^13 - 483223231131528914288838206904152677\ 225413608307263727875082229224/306960002658955021172462595314462800\ 44431290638125111468255965*c_0101_5^12 - 8857651679427871216861617881393984888427746729629822859840652029866\ /16422360142254093632726748849323759823770740491396934635516941275*\ c_0101_5^11 - 62671779973259944750229323822782887854234925773002738\ 22608973265412/3284472028450818726545349769864751964754148098279386\ 927103388255*c_0101_5^10 - 6424636392400827203296758798363382085033\ 103621481681677116065040724/328447202845081872654534976986475196475\ 4148098279386927103388255*c_0101_5^9 + 1588591467615121880962241196518158081414564765811275011803982480807\ 6/16422360142254093632726748849323759823770740491396934635516941275\ *c_0101_5^8 + 15705773571637696253850486367801765268349297567388272\ 09272399574392/1642236014225409363272674884932375982377074049139693\ 4635516941275*c_0101_5^7 + 3878389846894628227305724314436234896551\ 3672461721616359193063244909/16422360142254093632726748849323759823\ 770740491396934635516941275*c_0101_5^6 - 2066965464133554116259027505566472930838554758549574963135488494112\ 2/16422360142254093632726748849323759823770740491396934635516941275\ *c_0101_5^5 + 13925913475874803687920349336782023264046389810870286\ 160786448811843/164223601422540936327267488493237598237707404913969\ 34635516941275*c_0101_5^4 - 206354709459383224409597501677486142622\ 988323554733310569798937010/656894405690163745309069953972950392950\ 829619655877385420677651*c_0101_5^3 + 1230521912221670904233364112690354080143736273476008817077950321126\ /16422360142254093632726748849323759823770740491396934635516941275*\ c_0101_5^2 - 189929880529078460432762646335483044215519064871452156\ 25602891308/6568944056901637453090699539729503929508296196558773854\ 20677651*c_0101_5 - 54322512972344006450409100189867204700362476554\ 669723985218791062/164223601422540936327267488493237598237707404913\ 96934635516941275, c_0101_0 - 316487238480144975021350535660401775507551882115218004922542\ 00731/1642236014225409363272674884932375982377074049139693463551694\ 1275*c_0101_5^29 + 302255432377775774727085125099295578792408508950\ 574907889791891207/164223601422540936327267488493237598237707404913\ 96934635516941275*c_0101_5^28 - 97206132713402561562857562452810677\ 9856818598493317269207884719719/16422360142254093632726748849323759\ 823770740491396934635516941275*c_0101_5^27 + 337204658908413080226972529235468791857401676131441493048251039691/\ 3284472028450818726545349769864751964754148098279386927103388255*c_\ 0101_5^26 - 7699150543714260241162705671944256469446420997685410187\ 41575322573/1642236014225409363272674884932375982377074049139693463\ 5516941275*c_0101_5^25 - 153266031689968829769196967594305652460627\ 0180888044325491903897802/16422360142254093632726748849323759823770\ 740491396934635516941275*c_0101_5^24 - 133344947626053404994812950831892443734063839978325697216904952534/\ 3284472028450818726545349769864751964754148098279386927103388255*c_\ 0101_5^23 - 1370019710334610709189810847845705620842814075714304736\ 8112959466698/16422360142254093632726748849323759823770740491396934\ 635516941275*c_0101_5^22 + 2099184080843032459027069721897527221681\ 4105498291122753788374183624/16422360142254093632726748849323759823\ 770740491396934635516941275*c_0101_5^21 + 3624151613230108308457659751565218792978476797690050728041208348056\ /3284472028450818726545349769864751964754148098279386927103388255*c\ _0101_5^20 - 512407236260509955589706240478410036449204225318591459\ 42488582117433/1642236014225409363272674884932375982377074049139693\ 4635516941275*c_0101_5^19 - 131281625671403032087324932936713237288\ 209821529925993245781437695448/164223601422540936327267488493237598\ 23770740491396934635516941275*c_0101_5^18 - 1064910664457849125462773958548917809681207670822344760318366143056\ 53/1642236014225409363272674884932375982377074049139693463551694127\ 5*c_0101_5^17 + 123270221434992667251616751759225233571336170144253\ 119061090459278757/164223601422540936327267488493237598237707404913\ 96934635516941275*c_0101_5^16 + 55323591119365122761156970059489358\ 2921059109713590991885850158566566/16422360142254093632726748849323\ 759823770740491396934635516941275*c_0101_5^15 + 1555406055519524613421723039929708450975013347001631516372986680188\ 73/3284472028450818726545349769864751964754148098279386927103388255\ *c_0101_5^14 + 5673463282015283033894449980162463251141121053936899\ 37063549561100187/1642236014225409363272674884932375982377074049139\ 6934635516941275*c_0101_5^13 + 108436160861564600528378364745389437\ 336132271109341104728747368707/613920005317910042344925190628925600\ 8886258127625022293651193*c_0101_5^12 - 2166875116253277160972315112701757346153162538148229623506387502248\ 4/16422360142254093632726748849323759823770740491396934635516941275\ *c_0101_5^11 + 5725066742205547180228431657043643257167750053057023\ 913259634504817/328447202845081872654534976986475196475414809827938\ 6927103388255*c_0101_5^10 + 664646400019332295396575090604764498934\ 5759965442726634657107379589/32844720284508187265453497698647519647\ 54148098279386927103388255*c_0101_5^9 - 2599768754297084194059752675577122788122835763484292052124062196127\ 1/16422360142254093632726748849323759823770740491396934635516941275\ *c_0101_5^8 - 27441266087318455819302845187261838859239100232292713\ 41668812136842/1642236014225409363272674884932375982377074049139693\ 4635516941275*c_0101_5^7 - 5157773565275590330091012051317244712247\ 1232741677522592402529708164/16422360142254093632726748849323759823\ 770740491396934635516941275*c_0101_5^6 + 2927630940631888110619404707472467114948802613166159511688844851037\ 2/16422360142254093632726748849323759823770740491396934635516941275\ *c_0101_5^5 - 19532091734164103319465482240451635616615527072348917\ 829106632150203/164223601422540936327267488493237598237707404913969\ 34635516941275*c_0101_5^4 + 155636828489274011198102295180387078668\ 8948599768778423323750721494/32844720284508187265453497698647519647\ 54148098279386927103388255*c_0101_5^3 - 1951244002441794162037584116751616023176514644817919912704633277211\ /16422360142254093632726748849323759823770740491396934635516941275*\ c_0101_5^2 + 144796665589926336409588690746208274472294723462681609\ 384881398229/328447202845081872654534976986475196475414809827938692\ 7103388255*c_0101_5 + 645510677066824499149873440635615972738783139\ 73691886188778866737/1642236014225409363272674884932375982377074049\ 1396934635516941275, c_0101_3 - 171220710261565830159479179262548937237304876190753719379670\ 56506/1642236014225409363272674884932375982377074049139693463551694\ 1275*c_0101_5^29 + 163179067785135570208276795232503961643651373183\ 180997995452152497/164223601422540936327267488493237598237707404913\ 96934635516941275*c_0101_5^28 - 52283884700434647747246099857349005\ 7718647491535051964667482357754/16422360142254093632726748849323759\ 823770740491396934635516941275*c_0101_5^27 + 180717470384138984038008074416337779515849672076133640290457838992/\ 3284472028450818726545349769864751964754148098279386927103388255*c_\ 0101_5^26 - 4037891545948176758617290584624668004002940059352073638\ 43022939933/1642236014225409363272674884932375982377074049139693463\ 5516941275*c_0101_5^25 - 829506967822421062391222389467804859591429\ 670993137752685984585612/164223601422540936327267488493237598237707\ 40491396934635516941275*c_0101_5^24 - 75358295718320030024805351676959777188618634444468685811119477244/3\ 284472028450818726545349769864751964754148098279386927103388255*c_0\ 101_5^23 - 74307565108193124906796138759352555920442385923025635487\ 45699385198/1642236014225409363272674884932375982377074049139693463\ 5516941275*c_0101_5^22 + 111966680072894903188673391529257741599246\ 38350320517477482712839819/1642236014225409363272674884932375982377\ 0740491396934635516941275*c_0101_5^21 + 1986338362718693638630560984752081667094660702980308897432381179241\ /3284472028450818726545349769864751964754148098279386927103388255*c\ _0101_5^20 - 274392630567749946400684422811710625326279424504500745\ 86038100709658/1642236014225409363272674884932375982377074049139693\ 4635516941275*c_0101_5^19 - 713871940647848759262195535634093808992\ 73521994340232483196960031953/1642236014225409363272674884932375982\ 3770740491396934635516941275*c_0101_5^18 - 5928921776502747244759921043487071423946621151596994000313327684594\ 8/16422360142254093632726748849323759823770740491396934635516941275\ *c_0101_5^17 + 6444362494694788598612556518104119671191568420365481\ 9325487812174467/16422360142254093632726748849323759823770740491396\ 934635516941275*c_0101_5^16 + 2993077216304844548762213387887699886\ 47893722044687323766840512566541/1642236014225409363272674884932375\ 9823770740491396934635516941275*c_0101_5^15 + 1707782293096205427761659772030314368822223117524034613567679185367\ 7/656894405690163745309069953972950392950829619655877385420677651*c\ _0101_5^14 + 319406662081777422485801218745410753269764799718017337\ 152950599120917/164223601422540936327267488493237598237707404913969\ 34635516941275*c_0101_5^13 + 31903345610871231549670153909811284924\ 0917150526258371157105072936/30696000265895502117246259531446280044\ 431290638125111468255965*c_0101_5^12 - 773382061542190552579616712783490046591209236543228144906050289104/\ 16422360142254093632726748849323759823770740491396934635516941275*c\ _0101_5^11 + 420960526178656738990893259853779919803282007317260609\ 7168646302657/32844720284508187265453497698647519647541480982793869\ 27103388255*c_0101_5^10 + 42262387874695865243619947321395480009415\ 35896892951659861799831669/3284472028450818726545349769864751964754\ 148098279386927103388255*c_0101_5^9 - 1185606146504646674700604557576069078028799946613459607718802208724\ 6/16422360142254093632726748849323759823770740491396934635516941275\ *c_0101_5^8 - 28170383758394035758054284626278075410930058587370930\ 7665928629452/16422360142254093632726748849323759823770740491396934\ 635516941275*c_0101_5^7 - 27208248829702726655338204995975015678183\ 395074183680529986601670714/164223601422540936327267488493237598237\ 70740491396934635516941275*c_0101_5^6 + 1557150212879803561673316329709262759308111706310372730604204547615\ 7/16422360142254093632726748849323759823770740491396934635516941275\ *c_0101_5^5 - 10447705422489688539003794671964881844439006067346257\ 248478401034453/164223601422540936327267488493237598237707404913969\ 34635516941275*c_0101_5^4 + 821496012437387996411201442831044802936\ 616033993106381917682337148/328447202845081872654534976986475196475\ 4148098279386927103388255*c_0101_5^3 - 1024793993558772932424006122089204100380471202059482648058220883351\ /16422360142254093632726748849323759823770740491396934635516941275*\ c_0101_5^2 + 742799150393316889300565269068780510547033784222284888\ 70222651458/3284472028450818726545349769864751964754148098279386927\ 103388255*c_0101_5 + 2472591049784023442915961850771675170803729558\ 7910335919677362922/16422360142254093632726748849323759823770740491\ 396934635516941275, c_0101_4 - 252957947559605167605887348144257567774269327661907459553474\ 7212/32844720284508187265453497698647519647541480982793869271033882\ 55*c_0101_5^29 + 24165655000254656340909957751818029402581445047999\ 298868738756686/328447202845081872654534976986475196475414809827938\ 6927103388255*c_0101_5^28 - 778242897580375430494336318938104151759\ 97965270999020892036366236/3284472028450818726545349769864751964754\ 148098279386927103388255*c_0101_5^27 + 135507733630424832475710074318504989718918338730839325321569982089/\ 3284472028450818726545349769864751964754148098279386927103388255*c_\ 0101_5^26 - 6330587888724643936717658922999437098353430787878807429\ 1127838004/32844720284508187265453497698647519647541480982793869271\ 03388255*c_0101_5^25 - 12047870093860218428458908447218025072507981\ 6435066043805197147827/32844720284508187265453497698647519647541480\ 98279386927103388255*c_0101_5^24 - 10467047528387560681488324128192207850687801660668821684107037206/6\ 56894405690163745309069953972950392950829619655877385420677651*c_01\ 01_5^23 - 109786724556045247868388726812482203478462891079939093619\ 1083860846/32844720284508187265453497698647519647541480982793869271\ 03388255*c_0101_5^22 + 16768657706550840344067843174622961530922047\ 67858381328157373223429/3284472028450818726545349769864751964754148\ 098279386927103388255*c_0101_5^21 + 282996994819039380491311053941110851339811688616419938893496939920/\ 656894405690163745309069953972950392950829619655877385420677651*c_0\ 101_5^20 - 40834473803679702812178138984897796043679179248542079723\ 41754711066/3284472028450818726545349769864751964754148098279386927\ 103388255*c_0101_5^19 - 2084683102989928162107681278372863782680386\ 888587482290377024610918/656894405690163745309069953972950392950829\ 619655877385420677651*c_0101_5^18 - 8535250612939535766009433250535346687771600262725638389202445398252\ /3284472028450818726545349769864751964754148098279386927103388255*c\ _0101_5^17 + 956054663739914645316257947670850513002294640068047714\ 0573583349862/32844720284508187265453497698647519647541480982793869\ 27103388255*c_0101_5^16 + 43733716152309141725905229228651649509033\ 974904870861783191176938827/328447202845081872654534976986475196475\ 4148098279386927103388255*c_0101_5^15 + 6197043110324444172864158616502806821519229704689340197558079756536\ 3/3284472028450818726545349769864751964754148098279386927103388255*\ c_0101_5^14 + 46294300789919790203065194919631805810763307043895901\ 382579743270633/328447202845081872654534976986475196475414809827938\ 6927103388255*c_0101_5^13 + 238273696145511456999233990049241539870\ 266779238179367354659636639/306960002658955021172462595314462800444\ 31290638125111468255965*c_0101_5^12 + 1023509271169499497491973190092435641899335668087022757845695150886\ /3284472028450818726545349769864751964754148098279386927103388255*c\ _0101_5^11 + 915751965303894081837966213539581523517546851694386248\ 607856608148/656894405690163745309069953972950392950829619655877385\ 420677651*c_0101_5^10 + 7747331855909335157493576262067168044621808\ 44583964243336191336324/6568944056901637453090699539729503929508296\ 19655877385420677651*c_0101_5^9 - 146232720302539928649038677588875\ 6779566707457970159315430797281067/32844720284508187265453497698647\ 51964754148098279386927103388255*c_0101_5^8 + 198743800071960919182708256278143052819704299571590346123973464248/\ 3284472028450818726545349769864751964754148098279386927103388255*c_\ 0101_5^7 - 39042155412948102799133804953308120128580052335398998523\ 48912691048/3284472028450818726545349769864751964754148098279386927\ 103388255*c_0101_5^6 + 24397785118274429965001981625999994178083963\ 20743692372586498111282/3284472028450818726545349769864751964754148\ 098279386927103388255*c_0101_5^5 - 1626802763862443875462142627889342009693163676388741969252076559166\ /3284472028450818726545349769864751964754148098279386927103388255*c\ _0101_5^4 + 6194370142953487464901618785626245385365305626489228521\ 27530238226/3284472028450818726545349769864751964754148098279386927\ 103388255*c_0101_5^3 - 17417946260270145724985665518175071821419991\ 7637946972066327949729/32844720284508187265453497698647519647541480\ 98279386927103388255*c_0101_5^2 + 559804261803211409291424026830801\ 68494394180041533799388975191646/3284472028450818726545349769864751\ 964754148098279386927103388255*c_0101_5 + 2026480964816642684666175743785896323575102723535941744212318922/32\ 84472028450818726545349769864751964754148098279386927103388255, c_0101_5^30 - 10*c_0101_5^29 + 35*c_0101_5^28 - 67*c_0101_5^27 + 48*c_0101_5^26 + 38*c_0101_5^25 - c_0101_5^24 + 423*c_0101_5^23 - 858*c_0101_5^22 - 278*c_0101_5^21 + 1883*c_0101_5^20 + 3424*c_0101_5^19 + 1484*c_0101_5^18 - 5441*c_0101_5^17 - 15750*c_0101_5^16 - 16672*c_0101_5^15 - 6732*c_0101_5^14 - 924*c_0101_5^13 + 4914*c_0101_5^12 - 1167*c_0101_5^11 - 665*c_0101_5^10 + 1301*c_0101_5^9 - 276*c_0101_5^8 + 1578*c_0101_5^7 - 1659*c_0101_5^6 + 1019*c_0101_5^5 - 514*c_0101_5^4 + 166*c_0101_5^3 - 48*c_0101_5^2 + 8*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB