Magma V2.19-8 Tue Aug 20 2013 16:14:47 on localhost [Seed = 4223297436] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s770 geometric_solution 5.33046352 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 3201 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.348954625169 0.264875279397 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 1 0 -1 0 0 0 0 0 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 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.832893873091 1.115199241114 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 0 0 0 -1 0 0 1 -2 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 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.870968744079 0.939784748353 2 5 4 1 3012 1023 0132 0132 0 0 0 0 0 -1 0 1 0 0 -1 1 -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 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 0.870968744079 0.939784748353 4 2 4 3 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523206645160 0.435507540451 3 5 5 2 1023 3201 2310 0132 0 0 0 0 0 0 0 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 0 0 0 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 0.839150113283 0.740937097641 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : 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_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_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_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_1']), '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_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_0101_5']), 'c_1001_4' : d['c_0101_3'], '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_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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 94694663448537775328756339474324473762841871230690038717396349/2639\ 47911863421789831255496888214175143123969148421466731802*c_0101_5^2\ 7 + 102713283938036102222357434287778481632884599449545962286638821\ 7/263947911863421789831255496888214175143123969148421466731802*c_01\ 01_5^26 + 372640448841660291743051228876207343768362758645463920081\ 0459655/26394791186342178983125549688821417514312396914842146673180\ 2*c_0101_5^25 + 739801042850442384481542948243395702402219908801987\ 2651116801557/26394791186342178983125549688821417514312396914842146\ 6731802*c_0101_5^24 + 168604054586316439612761790186864404568844363\ 5561640875876812375/37706844551917398547322213841173453591874852735\ 488780961686*c_0101_5^23 - 4249973817143048928270679856426819934958\ 496448921166491290059821/131973955931710894915627748444107087571561\ 984574210733365901*c_0101_5^22 - 1393028751246319562247845393869947\ 602959232862267166903282379485/188534222759586992736611069205867267\ 95937426367744390480843*c_0101_5^21 - 23230636283442871392962764832735404830615422196962745648565242357/1\ 31973955931710894915627748444107087571561984574210733365901*c_0101_\ 5^20 - 289139104331790768537482080724327232853207191097822517160736\ 72013/131973955931710894915627748444107087571561984574210733365901*\ c_0101_5^19 - 10590627655639709860464263071522380363281073574314071\ 4629266213259/26394791186342178983125549688821417514312396914842146\ 6731802*c_0101_5^18 - 522011326551452167622957313272871165781477478\ 13894463409190001000/1319739559317108949156277484441070875715619845\ 74210733365901*c_0101_5^17 + 73591773561805225260620606005330535205\ 698859641278744349650143217/131973955931710894915627748444107087571\ 561984574210733365901*c_0101_5^16 - 304415611732626443565843557336991752474275014824571007403104246462/\ 131973955931710894915627748444107087571561984574210733365901*c_0101\ _5^15 + 12721067403452787232138244712690804688002850522575224649092\ 6551547/18853422275958699273661106920586726795937426367744390480843\ *c_0101_5^14 - 1762587313639114014437532654939275764732038448286096\ 956560330687687/263947911863421789831255496888214175143123969148421\ 466731802*c_0101_5^13 + 6728342989402666959305125201373926945617957\ 24366209509035180937803/1319739559317108949156277484441070875715619\ 84574210733365901*c_0101_5^12 - 38774639629456389321941624472137898\ 8831753591471145745345468487701/26394791186342178983125549688821417\ 5143123969148421466731802*c_0101_5^11 + 6987395733469433559390389041499077616639682123116028394138391840/18\ 853422275958699273661106920586726795937426367744390480843*c_0101_5^\ 10 + 26127578735735532762121137373441981115976365333244353122236981\ 3792/131973955931710894915627748444107087571561984574210733365901*c\ _0101_5^9 - 9197441947363743344164410258538738279924343759817140410\ 37058587335/2639479118634217898312554968882141751431239691484214667\ 31802*c_0101_5^8 + 658824721594018723788445306496679635791136708073\ 875072385536174273/263947911863421789831255496888214175143123969148\ 421466731802*c_0101_5^7 - 15165950898866996183176229905818037389312\ 9738963582519709977788769/26394791186342178983125549688821417514312\ 3969148421466731802*c_0101_5^6 - 1557125042449877102098772358840042\ 16387042149738707343885994510581/2639479118634217898312554968882141\ 75143123969148421466731802*c_0101_5^5 + 119057307062028156170285211368022199780231029498407751599673616885/\ 263947911863421789831255496888214175143123969148421466731802*c_0101\ _5^4 - 176719176790378882902832534400845248816534990078104111246166\ 38436/131973955931710894915627748444107087571561984574210733365901*\ c_0101_5^3 + 362042317866677001104353548618240812498197157683641327\ 3093128483/13197395593171089491562774844410708757156198457421073336\ 5901*c_0101_5^2 + 2081116267530717989448662341866665884595972716591\ 80750738098087/1319739559317108949156277484441070875715619845742107\ 33365901*c_0101_5 - 25862808598152456190600093443477741700475975867\ 9327311861395783/13197395593171089491562774844410708757156198457421\ 0733365901, c_0011_0 - 1, c_0011_1 + 23906516915974991012352720005321243581385852459419458823171/\ 18853422275958699273661106920586726795937426367744390480843*c_0101_\ 5^27 + 254482721043897069109919836858103547930222302131703666832016\ /18853422275958699273661106920586726795937426367744390480843*c_0101\ _5^26 + 88635059456121567864064712023539158577128907104573192671494\ 1/18853422275958699273661106920586726795937426367744390480843*c_010\ 1_5^25 + 1654447801109712017557627550360742438734773381686623551520\ 552/18853422275958699273661106920586726795937426367744390480843*c_0\ 101_5^24 + 25107874997612015525173774673157320107986514922513146506\ 38134/18853422275958699273661106920586726795937426367744390480843*c\ _0101_5^23 - 295013818088388658953387241487738186144429677491216939\ 8668889/18853422275958699273661106920586726795937426367744390480843\ *c_0101_5^22 - 4839546985952970146906936008341393648484753604657245\ 928591513/188534222759586992736611069205867267959374263677443904808\ 43*c_0101_5^21 - 10708795999622292035452906155778835916773731828711\ 457196050650/188534222759586992736611069205867267959374263677443904\ 80843*c_0101_5^20 - 11797004927233343616275657259535537659104171411\ 335603439816346/188534222759586992736611069205867267959374263677443\ 90480843*c_0101_5^19 - 22581995274309964800498013449284925697752458\ 231654353353569052/188534222759586992736611069205867267959374263677\ 44390480843*c_0101_5^18 - 19153915005895959690634082780415506499426\ 025409763351762162704/188534222759586992736611069205867267959374263\ 67744390480843*c_0101_5^17 + 45608734303628032806221045439662819918\ 931119216610824774298860/188534222759586992736611069205867267959374\ 26367744390480843*c_0101_5^16 - 15750854625086525386107878142467854\ 7965564173936007954611560880/18853422275958699273661106920586726795\ 937426367744390480843*c_0101_5^15 + 479126182281413092166476225022013801154375090202468220832197330/188\ 53422275958699273661106920586726795937426367744390480843*c_0101_5^1\ 4 - 523116237499791811060114385005772829494237384922354363533261055\ /18853422275958699273661106920586726795937426367744390480843*c_0101\ _5^13 + 39639167993533532135820517413893860444206387844117950157466\ 9138/18853422275958699273661106920586726795937426367744390480843*c_\ 0101_5^12 - 1428097511970874243818074196367442938256580325877418111\ 68936618/1885342227595869927366110692058672679593742636774439048084\ 3*c_0101_5^11 + 254759887750459890899518337676884585949390307592826\ 35135018829/1885342227595869927366110692058672679593742636774439048\ 0843*c_0101_5^10 + 127103088776640893250221980461863397228145211014\ 029488556766763/188534222759586992736611069205867267959374263677443\ 90480843*c_0101_5^9 - 261138489389343327681342441235249630134061893\ 600152955862141080/188534222759586992736611069205867267959374263677\ 44390480843*c_0101_5^8 + 200870285288740899619445104185254191127485\ 044372190398559727090/188534222759586992736611069205867267959374263\ 67744390480843*c_0101_5^7 - 575146002680509901572315088764863043214\ 84941832223119641299386/1885342227595869927366110692058672679593742\ 6367744390480843*c_0101_5^6 - 3952777930295215319674305235776609011\ 9760174830514404092394901/18853422275958699273661106920586726795937\ 426367744390480843*c_0101_5^5 + 37759381401187414879189202987059622\ 586019761416476368525342092/188534222759586992736611069205867267959\ 37426367744390480843*c_0101_5^4 - 117813399620408697212081778699922\ 07367765836152736370791538877/1885342227595869927366110692058672679\ 5937426367744390480843*c_0101_5^3 + 2501143591777677471905975254848493907695026557051559935717515/18853\ 422275958699273661106920586726795937426367744390480843*c_0101_5^2 - 17810751484455776270326758419053639930249222398764360206167/1885342\ 2275958699273661106920586726795937426367744390480843*c_0101_5 - 178789440826124273403607403150056298034914121293741620395837/188534\ 22275958699273661106920586726795937426367744390480843, c_0011_3 + 68170885594127767696236442248674296876487650161407810027186/\ 18853422275958699273661106920586726795937426367744390480843*c_0101_\ 5^27 + 738783140403497376327667298266010283643083314971631518101882\ /18853422275958699273661106920586726795937426367744390480843*c_0101\ _5^26 + 26755194711959121445584627409117025709174543025301971864600\ 91/18853422275958699273661106920586726795937426367744390480843*c_01\ 01_5^25 + 529963512661403816285302409387338964973593459995388341208\ 4017/18853422275958699273661106920586726795937426367744390480843*c_\ 0101_5^24 + 8443963912543777344566649131035139871286899659563663879\ 929045/18853422275958699273661106920586726795937426367744390480843*\ c_0101_5^23 - 62020609536784312596147406686542515673406205489352978\ 03506782/1885342227595869927366110692058672679593742636774439048084\ 3*c_0101_5^22 - 139811966716933124890076286468606842783542153708605\ 88454148471/1885342227595869927366110692058672679593742636774439048\ 0843*c_0101_5^21 - 332942089230668527676480408522594834446626285603\ 30278014990599/1885342227595869927366110692058672679593742636774439\ 0480843*c_0101_5^20 - 412882911848894436872486654220013465497973903\ 87069275798869793/1885342227595869927366110692058672679593742636774\ 4390480843*c_0101_5^19 - 758187993067652515332883991396073213593820\ 18354452881880205462/1885342227595869927366110692058672679593742636\ 7744390480843*c_0101_5^18 - 744300917389686648378183271443542977994\ 86404889386406032013955/1885342227595869927366110692058672679593742\ 6367744390480843*c_0101_5^17 + 106666133673522320352431857663842618\ 768184193982593545842952204/188534222759586992736611069205867267959\ 37426367744390480843*c_0101_5^16 - 439386897501235585663212995942329958335536746777855575677967791/188\ 53422275958699273661106920586726795937426367744390480843*c_0101_5^1\ 5 + 128602008000396099902629176561790774006386980073646596959308032\ 1/18853422275958699273661106920586726795937426367744390480843*c_010\ 1_5^14 - 1280910322710037774844850670892668974843950281808472832159\ 011259/18853422275958699273661106920586726795937426367744390480843*\ c_0101_5^13 + 97946583905392311572114474894376471907223569011197011\ 1264982349/18853422275958699273661106920586726795937426367744390480\ 843*c_0101_5^12 - 2868402192191213344479879471308499702213364690034\ 51778353674367/1885342227595869927366110692058672679593742636774439\ 0480843*c_0101_5^11 + 721258254676519091271893262611420093293530996\ 55488193105347620/1885342227595869927366110692058672679593742636774\ 4390480843*c_0101_5^10 + 376304961551802099413107873793390350587262\ 380981977152357969659/188534222759586992736611069205867267959374263\ 67744390480843*c_0101_5^9 - 665721984944632680739198916561029209715\ 933343749948507245476275/188534222759586992736611069205867267959374\ 26367744390480843*c_0101_5^8 + 480794800649091573314952605150101060\ 376443120462963489425264927/188534222759586992736611069205867267959\ 37426367744390480843*c_0101_5^7 - 112893688495440506070128387537306\ 156899991210944254816689016064/188534222759586992736611069205867267\ 95937426367744390480843*c_0101_5^6 - 111370695606675918820963766041827448740868456665238239530467798/188\ 53422275958699273661106920586726795937426367744390480843*c_0101_5^5 + 86990539636710484993460975966079946366714138384821248896896781/18\ 853422275958699273661106920586726795937426367744390480843*c_0101_5^\ 4 - 26169078060992352565379612888180544411667902619223884445733977/\ 18853422275958699273661106920586726795937426367744390480843*c_0101_\ 5^3 + 5422215225946456071705952642010762305540803254682602526647858\ /18853422275958699273661106920586726795937426367744390480843*c_0101\ _5^2 + 223407529040663347744247619239653042223480193912822013829143\ /18853422275958699273661106920586726795937426367744390480843*c_0101\ _5 - 378956875132623549775512024720963030466206159422938647261796/1\ 8853422275958699273661106920586726795937426367744390480843, c_0101_0 - 28923762037319661466410778436509957044428173501304258991755/\ 18853422275958699273661106920586726795937426367744390480843*c_0101_\ 5^27 - 315048095208474357394102009630957222255575699617073840565997\ /18853422275958699273661106920586726795937426367744390480843*c_0101\ _5^26 - 11529651931595454639531219669845307423301842385668075706387\ 60/18853422275958699273661106920586726795937426367744390480843*c_01\ 01_5^25 - 231680938581038867849750143029290554691218988994995542224\ 1952/18853422275958699273661106920586726795937426367744390480843*c_\ 0101_5^24 - 3728713478284489981589333204940104661777625518276791944\ 178593/18853422275958699273661106920586726795937426367744390480843*\ c_0101_5^23 + 23860110603487735721672435798258131414231400292621320\ 51343155/1885342227595869927366110692058672679593742636774439048084\ 3*c_0101_5^22 + 599674998516383686676551394582233705116191059088760\ 7023789716/18853422275958699273661106920586726795937426367744390480\ 843*c_0101_5^21 + 1447009496523600107204208252695303813197543784926\ 8047296324903/18853422275958699273661106920586726795937426367744390\ 480843*c_0101_5^20 + 1841493879988282618121627497399001576673613690\ 0395031243456552/18853422275958699273661106920586726795937426367744\ 390480843*c_0101_5^19 + 3342857605733632921951994363112682823960578\ 3108048780706115034/18853422275958699273661106920586726795937426367\ 744390480843*c_0101_5^18 + 3376959560567001109017769725973681143730\ 6557392041855362681125/18853422275958699273661106920586726795937426\ 367744390480843*c_0101_5^17 - 4281008273406960273861434942538504906\ 1992302656293772738341888/18853422275958699273661106920586726795937\ 426367744390480843*c_0101_5^16 + 1847335502507496515530609675289757\ 16643191230527541122563182382/1885342227595869927366110692058672679\ 5937426367744390480843*c_0101_5^15 - 535876837005349030542843130776689089365326715742425401681644449/188\ 53422275958699273661106920586726795937426367744390480843*c_0101_5^1\ 4 + 516337870237736705085211131162420255137498550453192127264429963\ /18853422275958699273661106920586726795937426367744390480843*c_0101\ _5^13 - 39382271208810584090611918252945106810468234548922464027232\ 5743/18853422275958699273661106920586726795937426367744390480843*c_\ 0101_5^12 + 1045487029629254626668837870316197188122438399618000650\ 83390843/1885342227595869927366110692058672679593742636774439048084\ 3*c_0101_5^11 - 279459077236653449772718030918620619953898508094127\ 70350947805/1885342227595869927366110692058672679593742636774439048\ 0843*c_0101_5^10 - 161436154538640977582665388602342478220465581558\ 495671963693517/188534222759586992736611069205867267959374263677443\ 90480843*c_0101_5^9 + 273475281085481986747713254406030466891891484\ 235567631542217957/188534222759586992736611069205867267959374263677\ 44390480843*c_0101_5^8 - 191336556465336415524464236991461110701184\ 276515467027657880623/188534222759586992736611069205867267959374263\ 67744390480843*c_0101_5^7 + 404323894889779816767369889080922593751\ 42248267688904898615494/1885342227595869927366110692058672679593742\ 6367744390480843*c_0101_5^6 + 4811772505228481516566553387538395666\ 8632951342472330742520878/18853422275958699273661106920586726795937\ 426367744390480843*c_0101_5^5 - 34516530850594279001619080521376391\ 602492512497658658020491491/188534222759586992736611069205867267959\ 37426367744390480843*c_0101_5^4 + 992997158525794918772745322270055\ 8153744763445070562433665555/18853422275958699273661106920586726795\ 937426367744390480843*c_0101_5^3 - 1967693786009486142338631762596899544831183766819517099364448/18853\ 422275958699273661106920586726795937426367744390480843*c_0101_5^2 - 196411706979768421538070430204179130638588977512590511794356/188534\ 22275958699273661106920586726795937426367744390480843*c_0101_5 + 135219870700637976591304072547043405397852231512141725552025/188534\ 22275958699273661106920586726795937426367744390480843, c_0101_3 - 86865618100321749420955183937706811383511338205205229066296/\ 18853422275958699273661106920586726795937426367744390480843*c_0101_\ 5^27 - 939785513242938390024513715659086265230890524912268548929522\ /18853422275958699273661106920586726795937426367744390480843*c_0101\ _5^26 - 33913693478414108199474102443455963317855305367060296712705\ 68/18853422275958699273661106920586726795937426367744390480843*c_01\ 01_5^25 - 668400124787936607654203190532477383277844749709093783628\ 0642/18853422275958699273661106920586726795937426367744390480843*c_\ 0101_5^24 - 1061109708811046993681983049833685673074288072252956093\ 4267946/18853422275958699273661106920586726795937426367744390480843\ *c_0101_5^23 + 8153337886569756703449742264943364617599739335395145\ 886786235/188534222759586992736611069205867267959374263677443904808\ 43*c_0101_5^22 + 17759878173748013306809308132271276586105517215404\ 142699559622/188534222759586992736611069205867267959374263677443904\ 80843*c_0101_5^21 + 42081169863416514740174540407699166646738804544\ 729671255021032/188534222759586992736611069205867267959374263677443\ 90480843*c_0101_5^20 + 51717376290998173622999796905106639265924859\ 447138636683864073/188534222759586992736611069205867267959374263677\ 44390480843*c_0101_5^19 + 95332311034049119619799346675775418427923\ 315971452532967999776/188534222759586992736611069205867267959374263\ 67744390480843*c_0101_5^18 + 92608952539585205384793276944329980466\ 394729546188918780695400/188534222759586992736611069205867267959374\ 26367744390480843*c_0101_5^17 - 13847072068309786033772814134572477\ 9100987975605687658787373514/18853422275958699273661106920586726795\ 937426367744390480843*c_0101_5^16 + 561439278643274253625864422652446549809841173374411416303074492/188\ 53422275958699273661106920586726795937426367744390480843*c_0101_5^1\ 5 - 164849457730919363356831364229337246609356506066546735881519696\ 2/18853422275958699273661106920586726795937426367744390480843*c_010\ 1_5^14 + 1658744470965027298387294035912324198619326265100247484650\ 643216/18853422275958699273661106920586726795937426367744390480843*\ c_0101_5^13 - 12686858518052265516016874767009669834057770817075972\ 90080951877/1885342227595869927366110692058672679593742636774439048\ 0843*c_0101_5^12 + 380951919701053939822965480132800999434128321526\ 525503569419813/188534222759586992736611069205867267959374263677443\ 90480843*c_0101_5^11 - 92751645738220407485693351503305604512387233\ 562836394671834855/188534222759586992736611069205867267959374263677\ 44390480843*c_0101_5^10 - 47814332747325482850130056700273802521827\ 3679151267043019680130/18853422275958699273661106920586726795937426\ 367744390480843*c_0101_5^9 + 85768276686485823957076011354975340775\ 4042156462921882672104149/18853422275958699273661106920586726795937\ 426367744390480843*c_0101_5^8 - 62472133048835000772911478737647979\ 4399840574216279968610459511/18853422275958699273661106920586726795\ 937426367744390480843*c_0101_5^7 + 150767527348721806945698336336178666643919972903944350571512558/188\ 53422275958699273661106920586726795937426367744390480843*c_0101_5^6 + 141973757858334933850649181776275604167647142988959231469370987/1\ 8853422275958699273661106920586726795937426367744390480843*c_0101_5\ ^5 - 11359728544814625055972059457308995967448226542267296860795976\ 9/18853422275958699273661106920586726795937426367744390480843*c_010\ 1_5^4 + 34382266189533832149597035913146726967697113731377791302026\ 308/18853422275958699273661106920586726795937426367744390480843*c_0\ 101_5^3 - 709730120199318344315919188572275051833522155101632592456\ 4861/18853422275958699273661106920586726795937426367744390480843*c_\ 0101_5^2 - 27735105162516808792986485181862464841607015043661238527\ 6923/18853422275958699273661106920586726795937426367744390480843*c_\ 0101_5 + 4943672431569668890428609366707276871519642860381499774279\ 59/18853422275958699273661106920586726795937426367744390480843, c_0101_5^28 + 11*c_0101_5^27 + 41*c_0101_5^26 + 84*c_0101_5^25 + 136*c_0101_5^24 - 72*c_0101_5^23 - 222*c_0101_5^22 - 522*c_0101_5^21 - 683*c_0101_5^20 - 1204*c_0101_5^19 - 1262*c_0101_5^18 + 1406*c_0101_5^17 - 6167*c_0101_5^16 + 17812*c_0101_5^15 - 15648*c_0101_5^14 + 11138*c_0101_5^13 - 1757*c_0101_5^12 + 275*c_0101_5^11 + 5682*c_0101_5^10 - 8885*c_0101_5^9 + 5389*c_0101_5^8 - 440*c_0101_5^7 - 1944*c_0101_5^6 + 1006*c_0101_5^5 - 160*c_0101_5^4 + 12*c_0101_5^3 + 18*c_0101_5^2 - 5*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB