Magma V2.19-8 Tue Aug 20 2013 16:14:52 on localhost [Seed = 3170705620] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s851 geometric_solution 5.47381773 oriented_manifold CS_known -0.0000000000000001 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 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.341184170799 0.242355230203 2 0 3 0 0132 2310 0132 0132 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 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.710780435375 1.141403474690 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.823185910674 1.039437658736 2 5 4 1 3012 1023 0132 0132 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 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.823185910674 1.039437658736 4 2 4 3 2310 0132 3201 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 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.526668618848 0.688738380333 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.759316885231 0.694701947647 ==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_0101_3']), '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 + 214547665326483398926102343522664881288807228136013629418/730717969\ 8750331481235287426878532894449399175911261405*c_0101_5^27 + 376481550051958636287172419453331500564543923288918538489/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^26 + 2997066845341688679499769948819717188023354837895344139178/73071796\ 98750331481235287426878532894449399175911261405*c_0101_5^25 - 8923636891208861273530176050817069683409531167569794302466/73071796\ 98750331481235287426878532894449399175911261405*c_0101_5^24 - 32284303750117422578786472768534114577872387219205993733228/7307179\ 698750331481235287426878532894449399175911261405*c_0101_5^23 - 11520129715032575260773653497466771841339738013669671026054/1461435\ 939750066296247057485375706578889879835182252281*c_0101_5^22 - 14673546923241466628528508613997457236059075479844774637881/7307179\ 698750331481235287426878532894449399175911261405*c_0101_5^21 + 48662706768172768747172180923648567942413361348830317998294/1461435\ 939750066296247057485375706578889879835182252281*c_0101_5^20 + 387911315996081800245855530848400571841042222775178016050934/730717\ 9698750331481235287426878532894449399175911261405*c_0101_5^19 - 262545956881869430410116309112971405564507084995333069589737/730717\ 9698750331481235287426878532894449399175911261405*c_0101_5^18 - 146962272031421124972629041771989264149087995482166415393757/146143\ 5939750066296247057485375706578889879835182252281*c_0101_5^17 + 375375850128651295762535537666906240641465345921690741133244/730717\ 9698750331481235287426878532894449399175911261405*c_0101_5^16 + 1053963113303694547471446985326877686976655358885540401676738/73071\ 79698750331481235287426878532894449399175911261405*c_0101_5^15 - 149125591054398003127118133457276733279145004365166707909124/146143\ 5939750066296247057485375706578889879835182252281*c_0101_5^14 - 130124249539382396615880925442596706029700767588630107958594/146143\ 5939750066296247057485375706578889879835182252281*c_0101_5^13 + 1054715998411958079275982793627422829128584085751744977390056/73071\ 79698750331481235287426878532894449399175911261405*c_0101_5^12 - 506660498958297827065522601410063695743259772710788629427261/730717\ 9698750331481235287426878532894449399175911261405*c_0101_5^11 + 130847958870622495690649727522375478951758928278832293009562/730717\ 9698750331481235287426878532894449399175911261405*c_0101_5^10 - 61820308621061203812162445501312523694328463537093220958771/1461435\ 939750066296247057485375706578889879835182252281*c_0101_5^9 - 5843140125994856296871489866134373918653033158091328602021/73071796\ 98750331481235287426878532894449399175911261405*c_0101_5^8 + 473596309704538039252429662679553846627082352262087725251236/730717\ 9698750331481235287426878532894449399175911261405*c_0101_5^7 - 410947161579287000838825056113628530892357943160179788454421/730717\ 9698750331481235287426878532894449399175911261405*c_0101_5^6 + 74118478144047958357893135670597533414328548321293045304049/7307179\ 698750331481235287426878532894449399175911261405*c_0101_5^5 + 112895447977342904240925190599561463243015151107966337650349/730717\ 9698750331481235287426878532894449399175911261405*c_0101_5^4 - 73618214466780406684268007165165076415869811388056521833833/7307179\ 698750331481235287426878532894449399175911261405*c_0101_5^3 + 9136884684390504758415021271846684024558548826336758835766/73071796\ 98750331481235287426878532894449399175911261405*c_0101_5^2 + 3628299994570488044319099287842529490533361197807288679847/73071796\ 98750331481235287426878532894449399175911261405*c_0101_5 - 1117623248794519974091878671967351475915478217905057601062/73071796\ 98750331481235287426878532894449399175911261405, c_0011_0 - 1, c_0011_1 - 346847319306960202217880248457445546588293015461669931/14614\ 35939750066296247057485375706578889879835182252281*c_0101_5^27 - 3424702223553470167418133666912463755476576598264852428/14614359397\ 50066296247057485375706578889879835182252281*c_0101_5^26 - 8431336327289685784064081539387686360997793587582043928/14614359397\ 50066296247057485375706578889879835182252281*c_0101_5^25 + 6852396142534861102257628589624664406095524168114210744/14614359397\ 50066296247057485375706578889879835182252281*c_0101_5^24 + 63322295807690863961913323848534282271265747096260568647/1461435939\ 750066296247057485375706578889879835182252281*c_0101_5^23 + 157520768048157990357374134792275429002543471127945931322/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^22 + 166533115591031779637148863421047746828151829755939851716/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^21 - 277905533816129464066372221664889827622478907381527193578/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^20 - 988030797264165495916933697132979713220807849181123330706/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^19 - 492577187035258762875572469478825854443319715265557268951/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^18 + 1079179685366529849304385294168376285175292649713924981691/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^17 + 633536915424982263155080847690009029996550998856749252868/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^16 - 1586452513658167985515822509183517152899262773178188767862/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^15 - 589527500689827201549079911894349246062913848968248858894/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^14 + 1245680703418329819985901117610946049199237634894911399863/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^13 - 433412706828746350319431728413854533541413674015720680393/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^12 - 247028639803211345558450583324607562187215518053432988203/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^11 + 27906477052335230140331061914841203200072654333134745402/1461435939\ 750066296247057485375706578889879835182252281*c_0101_5^10 + 404125578940411588264551779439855222550553849278763867211/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^9 + 504642317803126714107739744310871290453709193005005949011/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^8 - 442407978008188385485571909593926063874373115477318863615/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^7 + 19978533070608783186513941505487891287043563841979533740/1461435939\ 750066296247057485375706578889879835182252281*c_0101_5^6 + 209746179958872594521251061536668412582815111808296751847/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^5 - 118059310374644697692191963255443444650062907223963007705/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^4 - 36366243680104378778233910865715375231803361291335639901/1461435939\ 750066296247057485375706578889879835182252281*c_0101_5^3 + 19130397678533043128002951862754313056624443102703447776/1461435939\ 750066296247057485375706578889879835182252281*c_0101_5^2 - 3531796921859716848567233818016491633395510251355007293/14614359397\ 50066296247057485375706578889879835182252281*c_0101_5 - 773232351401513090280969677688060836391283663042134664/146143593975\ 0066296247057485375706578889879835182252281, c_0011_3 + 1043682573872672614467572575731580365424412254298885391/1461\ 435939750066296247057485375706578889879835182252281*c_0101_5^27 + 9778373360803703360656205216183216074114065805348728417/14614359397\ 50066296247057485375706578889879835182252281*c_0101_5^26 + 20442641502251203250047253563274691588644758391249384127/1461435939\ 750066296247057485375706578889879835182252281*c_0101_5^25 - 30853442463609668469026407757765905971092265684701509843/1461435939\ 750066296247057485375706578889879835182252281*c_0101_5^24 - 174690233146840538862326778641369365953302317538762729692/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^23 - 385723712501491770778684448130076401022618730715841677579/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^22 - 307918775698004509572615136785433178559292815376727302519/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^21 + 986661846536176019919456979573497503304962121495615258753/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^20 + 2466989629354541142596197625569488242711343737380808697457/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^19 + 237249370549999683845731372953913286268714794122522034264/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^18 - 3341358052410888555342504274101157289273555616217940573396/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^17 - 186600551571655207737517444376768735376016765926822072199/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^16 + 4860040386084738325798686448223564580692137425670212663835/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^15 - 706658006097133589185684844826478525711675365453557476446/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^14 - 3359284542782048917074479693886854691318019771081043664990/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^13 + 3056016803821160014277650960168412853150953668538634540226/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^12 - 807208407138442730360091550191292343113772309580084642745/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^11 + 319348925406987492907750876665641216994223749609053398421/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^10 - 1359538988369054010330276128211579105379916557638028902835/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^9 - 831517253837875563149185243912678188334622683042799780739/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^8 + 1764653066865477187851447103492933010425655669094393889085/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^7 - 981208626823096030648958212354373118994685734055984850056/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^6 - 125512203745849799955552664647917264025502361039624256478/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^5 + 416234060802205001768363973047575947635508572888681449203/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^4 - 115429463805810450008160172528626232147515819519234287177/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^3 - 365015690371557886984532033476632807193907653392527580/146143593975\ 0066296247057485375706578889879835182252281*c_0101_5^2 + 6878237923524158971652718181017753967306155320715875891/14614359397\ 50066296247057485375706578889879835182252281*c_0101_5 - 542368849868709081275583695680164777006470977821474290/146143593975\ 0066296247057485375706578889879835182252281, c_0101_0 - 375242845122150936625152985842781475357952745927483157/14614\ 35939750066296247057485375706578889879835182252281*c_0101_5^27 - 3430303808157791326288305361823411720382796979630603335/14614359397\ 50066296247057485375706578889879835182252281*c_0101_5^26 - 6523620097477869284042265625537379965878620582536055416/14614359397\ 50066296247057485375706578889879835182252281*c_0101_5^25 + 13000642996828543648028295821521092236772061260333346762/1461435939\ 750066296247057485375706578889879835182252281*c_0101_5^24 + 60693854277527177376578746291707494580373748166680063565/1461435939\ 750066296247057485375706578889879835182252281*c_0101_5^23 + 123386630792896034978675955792167766400040206112765374225/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^22 + 75066559878048935452880614114202562158245768929458039680/1461435939\ 750066296247057485375706578889879835182252281*c_0101_5^21 - 387699518694651028906221526916574020287984135267098649837/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^20 - 809642604570140442408449717057168378551258784450544847213/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^19 + 144855135502131896043058179119500940978269637744103768464/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^18 + 1271679830356114736586132394736849803209513092097486676092/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^17 - 229973225935539636240533502680399191044472449135378798492/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^16 - 1853857696373702188599104415221351176352098230182388812444/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^15 + 687302027825119516615839419132238036769890101176700661593/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^14 + 1290845958457221200684325221074953257776309900982462050872/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^13 - 1437785378295157270443865005451677742689838532665366411591/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^12 + 447620061464226689565649711533671642054133052940785820858/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^11 - 69560803123303324161983332355270276174941055153056624521/1461435939\ 750066296247057485375706578889879835182252281*c_0101_5^10 + 480620248465474276796055897339830146941351483981371192702/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^9 + 204432774668100424639870981275951930789325010308447430006/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^8 - 742045380970199773230566440535109441322642617316013282710/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^7 + 494563009484900993213337521036646804470368980978711923400/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^6 + 17415865830730463476343632174739189061134685775356972570/1461435939\ 750066296247057485375706578889879835182252281*c_0101_5^5 - 200050692116755780319940168532600145536569909061669606317/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^4 + 74928564381264099984159524765947298352975498506359527640/1461435939\ 750066296247057485375706578889879835182252281*c_0101_5^3 + 512963501820671883803072575581779561621767273500084986/146143593975\ 0066296247057485375706578889879835182252281*c_0101_5^2 - 7889631793074515993475511453954006406263213271433467348/14614359397\ 50066296247057485375706578889879835182252281*c_0101_5 + 337512604369533243929845930116350430685179974793213641/146143593975\ 0066296247057485375706578889879835182252281, c_0101_3 - 1408004513362649928110293308073857049847013070922504716/1461\ 435939750066296247057485375706578889879835182252281*c_0101_5^27 - 13103920212950118908981569984865599320293740403199349424/1461435939\ 750066296247057485375706578889879835182252281*c_0101_5^26 - 26756859465178918608106421082387745459830389853924106023/1461435939\ 750066296247057485375706578889879835182252281*c_0101_5^25 + 43327615614098695754348730110447301770389854113142353470/1461435939\ 750066296247057485375706578889879835182252281*c_0101_5^24 + 232984316805796873287002889648836896653845945752211616789/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^23 + 505476955385030978352213628398616571668644280282250806298/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^22 + 383069007440218881142229867387737553873163461220949704874/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^21 - 1355317619195117865189156307960567068245561422200278425459/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^20 - 3240671451062072232178001216770045626776916957250602803319/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^19 - 107110319659546337626341446883484452517987410813267408284/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^18 + 4523870780694891280752407016098337818622690315366808692424/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^17 - 53194070901379216710971945910992007053687442659971567680/1461435939\ 750066296247057485375706578889879835182252281*c_0101_5^16 - 6598633519562520594560056590227842426179032175416027575467/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^15 + 1370139380686080230852547747863065410773521111378549557983/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^14 + 4498841255450610221522705258884218097187590222630951763195/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^13 - 4417061831090306383934189629085799323649166291246415691509/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^12 + 1315336539358312244179988709192026637286433247414660921744/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^11 - 492247369895432888227108727116312316326959852077582225303/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^10 + 1864158824336047809989892675343636148398471909729773811010/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^9 + 995700129835554592459635688492757747472410390772514167414/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^8 - 2439979361044132006543394003392303867435837083306375831429/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^7 + 1471010246492944301276314845046407385569958056360535573015/14614359\ 39750066296247057485375706578889879835182252281*c_0101_5^6 + 107875601896489333809063371654370802472910452351293556164/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^5 - 573660561917067499296002116498730810664758008954489946905/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^4 + 183342197612900836873836074148643623516566593541566028110/146143593\ 9750066296247057485375706578889879835182252281*c_0101_5^3 - 4433485026933217501156260030136977872573796776595605302/14614359397\ 50066296247057485375706578889879835182252281*c_0101_5^2 - 11240839384554787777752848795263349407859262543180403979/1461435939\ 750066296247057485375706578889879835182252281*c_0101_5 + 357416887048908688127448774850784005278165170192331187/146143593975\ 0066296247057485375706578889879835182252281, c_0101_5^28 + 9*c_0101_5^27 + 16*c_0101_5^26 - 38*c_0101_5^25 - 159*c_0101_5^24 - 304*c_0101_5^23 - 137*c_0101_5^22 + 1102*c_0101_5^21 + 2053*c_0101_5^20 - 767*c_0101_5^19 - 3591*c_0101_5^18 + 973*c_0101_5^17 + 5138*c_0101_5^16 - 2371*c_0101_5^15 - 3575*c_0101_5^14 + 4197*c_0101_5^13 - 1434*c_0101_5^12 + 216*c_0101_5^11 - 1319*c_0101_5^10 - 352*c_0101_5^9 + 2144*c_0101_5^8 - 1454*c_0101_5^7 + 5*c_0101_5^6 + 565*c_0101_5^5 - 239*c_0101_5^4 - 12*c_0101_5^3 + 22*c_0101_5^2 - 3*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB