Magma V2.19-8 Tue Aug 20 2013 16:17:55 on localhost [Seed = 1848636078] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2152 geometric_solution 5.63166364 oriented_manifold CS_known 0.0000000000000000 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.256724134542 0.170081114971 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 0 0 0 0 0 0 0 0 0.036211018282 1.623363853995 1 3 4 5 0132 3201 0132 0132 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 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.296284699790 1.069491085564 5 4 2 1 1023 0132 2310 0132 0 0 0 0 0 0 0 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 0 0 0 1 0 -1 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.296284699790 1.069491085564 6 3 6 2 0132 0132 1023 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.878808440558 0.595148611706 5 3 2 5 3201 1023 0132 2310 0 0 0 0 0 1 0 -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 -1 0 1 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.707536934089 0.664649919588 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.569753357359 0.175179349736 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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_0'], 'c_0101_5' : d['c_0101_1'], '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_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], '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' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_3']), '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_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 2275110382409361723904398458980562921297172175782641923394883190578\ 690929600677836828880650713/396220339720714033466587464194884490153\ 152117255684126466797423863806724812781500462554226640*c_0101_4^33 - 1178093997185483757374905765084430356347319853622187254221106902393\ 2690580950265440381691984821/39622033972071403346658746419488449015\ 3152117255684126466797423863806724812781500462554226640*c_0101_4^32 - 47801151625921573352253201070164598808021371651368650201090297431\ 423044833821299506565210141289/198110169860357016733293732097442245\ 076576058627842063233398711931903362406390750231277113320*c_0101_4^\ 31 + 76593065508998128933175961616981266963751690568577739745381943\ 320492418488871013164649214711569/660367232867856722444312440324807\ 48358858686209280687744466237310634454135463583410425704440*c_0101_\ 4^30 + 486118962682109922786892178507583120543241396554433512748957\ 449538936222822746171570296104878193/396220339720714033466587464194\ 884490153152117255684126466797423863806724812781500462554226640*c_0\ 101_4^29 - 58934691450727493741600375539183548173325237796784419341\ 1781501354707233971227048082212580225459/99055084930178508366646866\ 048721122538288029313921031616699355965951681203195375115638556660*\ c_0101_4^28 - 47270687875822800749240017934102944382611854975704266\ 4496154113727403889132898456286145281561801/13207344657357134448886\ 2488064961496717717372418561375488932474621268908270927166820851408\ 880*c_0101_4^27 + 1908728361597234350809340081499975676417813873533\ 763533293823861756618504179693738011536678338729/198110169860357016\ 7332937320974422450765760586278420632333987119319033624063907502312\ 77113320*c_0101_4^26 + 78432210614483147884131170924382310431863878\ 9577295828000919589988402907801114906112012787009971/26414689314714\ 2688977724976129922993435434744837122750977864949242537816541854333\ 64170281776*c_0101_4^25 - 32980965045234372702178168640822554338543\ 97570362548573353385357686897547985371074654369480027969/9905508493\ 0178508366646866048721122538288029313921031616699355965951681203195\ 375115638556660*c_0101_4^24 - 8823934923140565265716368867463069474\ 170475046807971777007440176661469379915650564933598698625621/495275\ 4246508925418332343302436056126914401465696051580834967798297584060\ 1597687557819278330*c_0101_4^23 + 131107717212331636659090466256528\ 11472838083514022470629008306399383229815343932079941455883426269/6\ 6036723286785672244431244032480748358858686209280687744466237310634\ 454135463583410425704440*c_0101_4^22 + 1601263897123703406805054063495604075119722798790307675729176319022\ 71378570856440960668893068166341/1981101698603570167332937320974422\ 45076576058627842063233398711931903362406390750231277113320*c_0101_\ 4^21 + 114164598965128083046343381674089689916497142835226812413594\ 928001543628606529152537831764228706559/396220339720714033466587464\ 194884490153152117255684126466797423863806724812781500462554226640*\ c_0101_4^20 - 29589962134087926520030266926674579917230886502178644\ 386322311744186013971896107073534557726337047/247637712325446270916\ 6171651218028063457200732848025790417483899148792030079884377890963\ 9165*c_0101_4^19 - 915848118355362573855658673175841624867430198790\ 01900364007289929090101626213110858825467238499989/4402448219119044\ 8162954162688320498905905790806187125162977491540422969423642388940\ 283802960*c_0101_4^18 - 2888275120763413605479858899389331460729545\ 32919223298618671612233737759266297293403322526768470791/3962203397\ 2071403346658746419488449015315211725568412646679742386380672481278\ 1500462554226640*c_0101_4^17 + 586475857826064638334009705638674319\ 0553736555199289148881174307058060343413036576822370475515389/33018\ 3616433928361222156220162403741794293431046403438722331186553172270\ 6773179170521285222*c_0101_4^16 + 835075236310793988530762378552702\ 100683460015863955951026554223650339223307957962234445350774296313/\ 3962203397207140334665874641948844901531521172556841264667974238638\ 06724812781500462554226640*c_0101_4^15 + 7495007110084600692144181790358054266525474615036623762818927898318\ 9896801781005447753358018566917/99055084930178508366646866048721122\ 538288029313921031616699355965951681203195375115638556660*c_0101_4^\ 14 - 35659984349103157595289096064888465607484339524914923416433237\ 22109850686901169314339521576926907/4952754246508925418332343302436\ 0561269144014656960515808349677982975840601597687557819278330*c_010\ 1_4^13 - 3288301443487997026896268021514268664007882762510733335853\ 54769526222831187617905426569596028664397/3962203397207140334665874\ 6419488449015315211725568412646679742386380672481278150046255422664\ 0*c_0101_4^12 - 125181388144286703944661596793488008561988848307121\ 360684775688378335683038347235442493624878940031/198110169860357016\ 7332937320974422450765760586278420632333987119319033624063907502312\ 77113320*c_0101_4^11 + 22059000675182340242486408030399169719640830\ 875298926584462769741519298182551419396108067576380731/396220339720\ 7140334665874641948844901531521172556841264667974238638067248127815\ 00462554226640*c_0101_4^10 + 21239845775276330458592054471060542511\ 89364097497689295320300005603256378442704682914831559152426/2476377\ 1232544627091661716512180280634572007328480257904174838991487920300\ 798843778909639165*c_0101_4^9 + 74985671644821350623940660093458210\ 108084723121551813867016372260110167995881784308802533210473/550306\ 0273898806020369270336040062363238223850773390645372186442552871177\ 955298617535475370*c_0101_4^8 + 14821602711157564424327161853501952\ 210007119415915338903946146960887224678392631344598965774850439/396\ 2203397207140334665874641948844901531521172556841264667974238638067\ 24812781500462554226640*c_0101_4^7 + 1606717537813954296961531330788243737938448337665022354096307038149\ 961435689200953363071526137251/198110169860357016733293732097442245\ 076576058627842063233398711931903362406390750231277113320*c_0101_4^\ 6 - 263789543064997229926974336774442799674723336317196804901921986\ 989558912935755243364655571228805/792440679441428066933174928389768\ 98030630423451136825293359484772761344962556300092510845328*c_0101_\ 4^5 - 1112438294197301945828235904141125969593906181977708088160296\ 80829571648961445591522794947676003/3962203397207140334665874641948\ 84490153152117255684126466797423863806724812781500462554226640*c_01\ 01_4^4 - 6794129063749276115948266112843141336442655428806786222181\ 08961891931889871662310824901273469/7924406794414280669331749283897\ 6898030630423451136825293359484772761344962556300092510845328*c_010\ 1_4^3 + 76502907508752304748212943971250982374949603077123629325709\ 6288376521479108852533810694123011/33018361643392836122215622016240\ 37417942934310464034387223311865531722706773179170521285222*c_0101_\ 4^2 + 1490528862488204362219626753717487635258561836762100790455152\ 2423175336991738212570492601586891/39622033972071403346658746419488\ 4490153152117255684126466797423863806724812781500462554226640*c_010\ 1_4 + 7784110351390777310571973866892712220445964211059400653064129\ 339544646400163526872369539891/275153013694940301018463516802003118\ 1619111925386695322686093221276435588977649308767737685, c_0011_0 - 1, c_0011_1 + 167452784318400630326779094054693280080414183596681932104169\ 58646720730326311581278016443587/8804896438238089632590832537664099\ 7811811581612374250325954983080845938847284777880567605920*c_0101_4\ ^33 - 2860802368985264217396574500454701459241482449277973364401322\ 9492166034358745456018318809977/26414689314714268897772497612992299\ 343543474483712275097786494924253781654185433364170281776*c_0101_4^\ 32 - 65514273497032964209018735941503735250292492309295873426209740\ 3374778544239824856157907847539/88048964382380896325908325376640997\ 811811581612374250325954983080845938847284777880567605920*c_0101_4^\ 31 + 46597883214034195904117566459724800639862652649256775175264970\ 1269447046519970573856667356063/11006120547797612040738540672080124\ 726476447701546781290744372885105742355910597235070950740*c_0101_4^\ 30 + 16676517080143197306843246249344551955658659405179486685326324\ 73087993210495393165994497107961/8804896438238089632590832537664099\ 7811811581612374250325954983080845938847284777880567605920*c_0101_4\ ^29 - 5547599695335493175562414433936451877938277787055622617006467\ 2105920705963105787329803969809137/26414689314714268897772497612992\ 2993435434744837122750977864949242537816541854333641702817760*c_010\ 1_4^28 - 8372376925593187654129412528034616934040168542460142193760\ 7953427323987794814091208296537201/17609792876476179265181665075328\ 199562362316322474850065190996616169187769456955576113521184*c_0101\ _4^27 + 89083867593566855408316416663026291017392811122944764355699\ 740372222455950581503896717916663353/264146893147142688977724976129\ 922993435434744837122750977864949242537816541854333641702817760*c_0\ 101_4^26 + 13717863965841948746321145473213320747599514801201863919\ 043499021282059768729706438221216131413/176097928764761792651816650\ 75328199562362316322474850065190996616169187769456955576113521184*c\ _0101_4^25 - 406166988666990820822731920977539096337854204840950419\ 604396422844361513051187782842444434977077/264146893147142688977724\ 9761299229934354347448371227509778649492425378165418543336417028177\ 60*c_0101_4^24 - 67307560796877477607655831679586171723941270274991\ 153153849312967867129750939600308038500881257/132073446573571344488\ 8624880649614967177173724185613754889324746212689082709271668208514\ 0888*c_0101_4^23 + 249075626493605356521037405250984411053195693026\ 247214165385256706648601307305656045458880187395/264146893147142688\ 9777249761299229934354347448371227509778649492425378165418543336417\ 0281776*c_0101_4^22 + 145008747296382753044666324601122072902550837\ 5819415391102038236788190423472489561141583993820337/66036723286785\ 6722444312440324807483588586862092806877444662373106344541354635834\ 10425704440*c_0101_4^21 - 82838608398215213057156484597476152764041\ 8114075058830793155287716753098644930279743738039232683/26414689314\ 7142688977724976129922993435434744837122750977864949242537816541854\ 333641702817760*c_0101_4^20 - 1001324193497768405796795920427180883\ 1019652442364522304862100683532385207746559365344891792257267/26414\ 6893147142688977724976129922993435434744837122750977864949242537816\ 541854333641702817760*c_0101_4^19 - 1190631956210671531698438141229591503187540442466556830165883045056\ 7024560295446175576150331165597/26414689314714268897772497612992299\ 3435434744837122750977864949242537816541854333641702817760*c_0101_4\ ^18 + 3360363818641758210421652520864902345191147178365606143598810\ 33474965238165609939436312492794457/1320734465735713444888624880649\ 61496717717372418561375488932474621268908270927166820851408880*c_01\ 01_4^17 + 286051035497726432921452523082244847541784939909755314292\ 1979111348481599251491112636956952045535/52829378629428537795544995\ 225984598687086948967424550195572989848507563308370866728340563552*\ c_0101_4^16 + 27607808446215689217208858857207900416835569874482893\ 23719964781242475371361344734764162489684707/8804896438238089632590\ 8325376640997811811581612374250325954983080845938847284777880567605\ 920*c_0101_4^15 + 1357060651564455196905289139083123006165605142747\ 76836460476921619701368066591580279490896600381/8804896438238089632\ 5908325376640997811811581612374250325954983080845938847284777880567\ 605920*c_0101_4^14 + 1401278247594528604045286465107492304112218367\ 67371318190907342870240597715121093103211806921117/6603672328678567\ 2244431244032480748358858686209280687744466237310634454135463583410\ 425704440*c_0101_4^13 - 1716463310288536961269802253436730589556819\ 379553883878729514538157458190188797577673554884630431/880489643823\ 8089632590832537664099781181158161237425032595498308084593884728477\ 7880567605920*c_0101_4^12 - 532062451464979862592796934464343221760\ 970779689820147500350504965407319727732923299438126506951/880489643\ 8238089632590832537664099781181158161237425032595498308084593884728\ 4777880567605920*c_0101_4^11 + 211297891816583069822128669373471352\ 8776840122217484298761842029409463953286232856083774534404513/26414\ 6893147142688977724976129922993435434744837122750977864949242537816\ 541854333641702817760*c_0101_4^10 - 1785408333312495444911977705135673119055638597846205467971064371659\ 90354024378660853540218243507/5282937862942853779554499522598459868\ 7086948967424550195572989848507563308370866728340563552*c_0101_4^9 - 3637944779729589275581993943367972593622751497736907287961056871472\ 756236892235640294456095996/825459041084820903055390550406009354485\ 7335776160085968058279663829306766932947926303213055*c_0101_4^8 + 4415680328289687553039801934400136291821638867723394926158904517861\ 80834152126764991895966703631/2641468931471426889777249761299229934\ 35434744837122750977864949242537816541854333641702817760*c_0101_4^7 - 20210397558954436338190205894417039431307493193014931452886017332\ 9041781106615622830510559603453/26414689314714268897772497612992299\ 3435434744837122750977864949242537816541854333641702817760*c_0101_4\ ^6 + 21151959571943879917045315775440895533718111900337135457353503\ 55658976740948123626837711893741/5282937862942853779554499522598459\ 8687086948967424550195572989848507563308370866728340563552*c_0101_4\ ^5 + 55339730910586540578791466025784113854587672124653599710938261\ 78657248028280718038735055754919/4402448219119044816295416268832049\ 8905905790806187125162977491540422969423642388940283802960*c_0101_4\ ^4 - 87583743542292453184060735412431389777399417299945922195608817\ 77797912822013372573910158028701/1320734465735713444888624880649614\ 96717717372418561375488932474621268908270927166820851408880*c_0101_\ 4^3 + 4966900567725392118693351303423142864288175398665889361611562\ 075631163824862288344060571701077/264146893147142688977724976129922\ 993435434744837122750977864949242537816541854333641702817760*c_0101\ _4^2 - 251903496930932706103396696646202363416210437620561662498225\ 74266104325019125021878975819835/1760979287647617926518166507532819\ 9562362316322474850065190996616169187769456955576113521184*c_0101_4 - 10651771223550843648679494767183699778610642597204443054327435685\ 5439700688213051545649747637/88048964382380896325908325376640997811\ 811581612374250325954983080845938847284777880567605920, c_0011_3 + 239783242813563241796851910401645029514788189157563641477431\ 9127507343720247947800989222571/88048964382380896325908325376640997\ 81181158161237425032595498308084593884728477788056760592*c_0101_4^3\ 3 - 641982523369096119796306900167529493223118370225440126094381971\ 73590220990667488726466728523/4402448219119044816295416268832049890\ 5905790806187125162977491540422969423642388940283802960*c_0101_4^32 - 36875898433593255730813563446788071721787642986352638626023347499\ 8825212904217059188280417207/33018361643392836122215622016240374179\ 429343104640343872233118655317227067731791705212852220*c_0101_4^31 + 3759386391621231541028063446454466093491521770695386248618704097374\ 744077120527547289534162111/660367232867856722444312440324807483588\ 58686209280687744466237310634454135463583410425704440*c_0101_4^30 + 6231391428693500349761001079430950463025776009025174837875618472578\ 074623300953160487879128281/132073446573571344488862488064961496717\ 717372418561375488932474621268908270927166820851408880*c_0101_4^29 - 1906027710677918813199469508257817540980340692988643992552852057304\ 887006272800096506546644609/660367232867856722444312440324807483588\ 5868620928068774446623731063445413546358341042570444*c_0101_4^28 - 4707330099449524667814694329573052272744151224861986179885140516129\ 967775797063355216189324139/440244821911904481629541626883204989059\ 05790806187125162977491540422969423642388940283802960*c_0101_4^27 + 1283219593093345070118971689555113211274147537248231560374884023178\ 138728501716824498670126812/275153013694940301018463516802003118161\ 9111925386695322686093221276435588977649308767737685*c_0101_4^26 + 3368651171787761826322631318388726779829002481468949601117063105483\ 4361828660696402668906851465/26414689314714268897772497612992299343\ 543474483712275097786494924253781654185433364170281776*c_0101_4^25 - 1189115817520893511033904029209949208198128879983527002500118986428\ 7919490051929623602702088683/66036723286785672244431244032480748358\ 85868620928068774446623731063445413546358341042570444*c_0101_4^24 - 5272111807427074597599068105513550100062507468457761613086253991626\ 50863103246623078291347668521/6603672328678567224443124403248074835\ 8858686209280687744466237310634454135463583410425704440*c_0101_4^23 + 36088323072313527181243571368619667624641502802601720051303873672\ 5424925311076610082558644740869/33018361643392836122215622016240374\ 179429343104640343872233118655317227067731791705212852220*c_0101_4^\ 22 + 19616497432658806569887248331717540328463032953493076043754232\ 0403449514771716405231450718237853/55030602738988060203692703360400\ 62363238223850773390645372186442552871177955298617535475370*c_0101_\ 4^21 + 892739059153582916323072073175181734007299392753112140158955\ 099748192718359503887103512431582797/132073446573571344488862488064\ 961496717717372418561375488932474621268908270927166820851408880*c_0\ 101_4^20 - 35722197513899458750946721990263866159909344882530182291\ 77525897141314925573959832885180883816217/6603672328678567224443124\ 4032480748358858686209280687744466237310634454135463583410425704440\ *c_0101_4^19 - 7279549456157687930016815138132097576311145275516906\ 51776848220498189619720487206222053833006407/8804896438238089632590\ 8325376640997811811581612374250325954983080845938847284777880567605\ 92*c_0101_4^18 - 27514336308199545945405423849992442146009411540089\ 41794007794373506903847632896850228496568773467/1320734465735713444\ 8886248806496149671771737241856137548893247462126890827092716682085\ 1408880*c_0101_4^17 + 329179460734431169578270992945809043566619947\ 649026179371573852721553531727139882056925778252583/440244821911904\ 4816295416268832049890590579080618712516297749154042296942364238894\ 028380296*c_0101_4^16 + 1851939781429601497863755240365915987571780\ 830418735812752069767610368979972578455757597608155761/264146893147\ 1426889777249761299229934354347448371227509778649492425378165418543\ 3364170281776*c_0101_4^15 + 687204793521302062354473401257855394089\ 821124764895360050709968672850130273343777934616632768079/330183616\ 4339283612221562201624037417942934310464034387223311865531722706773\ 1791705212852220*c_0101_4^14 + 927764335997018733479565124166702947\ 83661466075172575677521028982059764028051564173283047605767/1320734\ 4657357134448886248806496149671771737241856137548893247462126890827\ 092716682085140888*c_0101_4^13 - 3379338333360428419712936537472877\ 017415539737218876892301049957428883514365247303387889298794467/132\ 0734465735713444888624880649614967177173724185613754889324746212689\ 08270927166820851408880*c_0101_4^12 - 2886896485273276235240176278136422422070899309231585864888318742262\ 48209429407774825057951986829/1650918082169641806110781100812018708\ 9714671552320171936116559327658613533865895852606426110*c_0101_4^11 + 97104635191008657506365578050971341555266418465439748339957411150\ 5939129510505794119157971900343/13207344657357134448886248806496149\ 6717717372418561375488932474621268908270927166820851408880*c_0101_4\ ^10 - 5538209813501029385757712207903773260742633377343791175127831\ 5439391292215855635482718758820139/33018361643392836122215622016240\ 374179429343104640343872233118655317227067731791705212852220*c_0101\ _4^9 - 134432579066899937298724003792883655663733131774743230666757\ 137511009839795589282625500188941421/660367232867856722444312440324\ 80748358858686209280687744466237310634454135463583410425704440*c_01\ 01_4^8 + 8795075836849918294513289835395463247527068304018236235531\ 3137398138169161599782474550957027003/44024482191190448162954162688\ 320498905905790806187125162977491540422969423642388940283802960*c_0\ 101_4^7 - 114921089106877595191252046664817898122845727659353406343\ 35779562133703314012021965820848163679/3301836164339283612221562201\ 6240374179429343104640343872233118655317227067731791705212852220*c_\ 0101_4^6 - 62151129719332658399310450807275430387832380612411613882\ 91597456881043191049894593710587954161/2641468931471426889777249761\ 2992299343543474483712275097786494924253781654185433364170281776*c_\ 0101_4^5 + 15325076505492714980997515009305027451320294799280326287\ 00887734032787690971499141064633148827/8804896438238089632590832537\ 664099781181158161237425032595498308084593884728477788056760592*c_0\ 101_4^4 - 166185024411885333962872212892485187006041446945436395475\ 5204335986054442420325724131911874077/44024482191190448162954162688\ 320498905905790806187125162977491540422969423642388940283802960*c_0\ 101_4^3 + 642096228067004207301264496164621130688261036333137072487\ 66564354298083672395555852826460809/3301836164339283612221562201624\ 0374179429343104640343872233118655317227067731791705212852220*c_010\ 1_4^2 + 22755457860357333555830886490298038701057014837467533133553\ 3598766927657894696362922788621743/44024482191190448162954162688320\ 498905905790806187125162977491540422969423642388940283802960*c_0101\ _4 - 24741934224199508746336186047281601964983651343862837367472062\ 597132279351656785955391350287/220122410955952240814770813441602494\ 52952895403093562581488745770211484711821194470141901480, c_0101_0 - 211169875097696315042072893470237016508058196007105596043368\ 81030506613785718770311572827053/8804896438238089632590832537664099\ 7811811581612374250325954983080845938847284777880567605920*c_0101_4\ ^33 + 1689504237610705588007890575127991583826982353959510030844240\ 92138187994751130501789199354383/1320734465735713444888624880649614\ 96717717372418561375488932474621268908270927166820851408880*c_0101_\ 4^32 + 173671226173836512233176837541942823090355875967392524710900\ 078408011161736782421764028800205/176097928764761792651816650753281\ 99562362316322474850065190996616169187769456955576113521184*c_0101_\ 4^31 - 549516216216366689595166604306377765311726377222806501045152\ 330781443059705290832467360784419/110061205477976120407385406720801\ 24726476447701546781290744372885105742355910597235070950740*c_0101_\ 4^30 - 374993183188969298889019483406797903084395947984157688565723\ 6048643237165552291800830143110207/88048964382380896325908325376640\ 997811811581612374250325954983080845938847284777880567605920*c_0101\ _4^29 + 66893274772312443496749697935121433117690060131201533882363\ 754258049052329952962123758576908583/264146893147142688977724976129\ 922993435434744837122750977864949242537816541854333641702817760*c_0\ 101_4^28 + 87541780722931021571243208254070218850090308302697926377\ 86555615441259635343954402876418361111/8804896438238089632590832537\ 6640997811811581612374250325954983080845938847284777880567605920*c_\ 0101_4^27 - 1077447711825682515078559731332714248609428802594979181\ 63763504832156302179607086421742266553771/2641468931471426889777249\ 7612992299343543474483712275097786494924253781654185433364170281776\ 0*c_0101_4^26 - 199298169953294993654654693754594544160081577688624\ 18695673080482912613189650500180919747239331/1760979287647617926518\ 1665075328199562362316322474850065190996616169187769456955576113521\ 184*c_0101_4^25 + 4118636606493383183044882919848959331824548467062\ 22068116812250429809457628901339073211285437683/2641468931471426889\ 7772497612992299343543474483712275097786494924253781654185433364170\ 2817760*c_0101_4^24 + 583050404480988689280249116478574892174485504\ 31533890866023672989963011081335726709158142385974/8254590410848209\ 0305539055040600935448573357761600859680582796638293067669329479263\ 03213055*c_0101_4^23 - 12509286246985769139742973114181661752930759\ 67151461929260960870785472844581499158515965583162967/1320734465735\ 7134448886248806496149671771737241856137548893247462126890827092716\ 6820851408880*c_0101_4^22 - 208538658649013044735018287228787955050\ 581580550511585032401396400334096210528035807051546155765/660367232\ 8678567224443124403248074835885868620928068774446623731063445413546\ 358341042570444*c_0101_4^21 - 1756001015950957865527102793746467833\ 280595194869485307056410038506526656688324607007320021379871/264146\ 8931471426889777249761299229934354347448371227509778649492425378165\ 41854333641702817760*c_0101_4^20 + 1252977396461157763075271974974936085503694088426829929699199863800\ 0142570281854409155714974271209/26414689314714268897772497612992299\ 3435434744837122750977864949242537816541854333641702817760*c_0101_4\ ^19 + 1953714698839746602737659532709847207267888236151124945445345\ 5925255197366402950308714852083695523/26414689314714268897772497612\ 9922993435434744837122750977864949242537816541854333641702817760*c_\ 0101_4^18 + 2668980017960938680837785290815523949006277045392345145\ 966628870156302018557212636994660134755221/132073446573571344488862\ 4880649614967177173724185613754889324746212689082709271668208514088\ 80*c_0101_4^17 - 34578873315747805064508759098110525969088618407699\ 15704805236974918018367327176819637178464969709/5282937862942853779\ 5544995225984598687086948967424550195572989848507563308370866728340\ 563552*c_0101_4^16 - 5605188215147536453816542868166331328129959269\ 721581626773551978573104002847757536831852671518013/880489643823808\ 9632590832537664099781181158161237425032595498308084593884728477788\ 0567605920*c_0101_4^15 - 179291877656962202497628577482918352519438\ 8454605433330073279888300570269028274299482406781172187/88048964382\ 3808963259083253766409978118115816123742503259549830808459388472847\ 77880567605920*c_0101_4^14 - 21966501491802302876665777617067604787\ 2274862335895116091841889459883360427683478021928091024379/33018361\ 6433928361222156220162403741794293431046403438722331186553172270677\ 31791705212852220*c_0101_4^13 + 40604110819816006288375130621684935\ 5483245475579907590087097822719090251396020733657584225922505/17609\ 7928764761792651816650753281995623623163224748500651909966161691877\ 69456955576113521184*c_0101_4^12 + 2882671418240762613866186952118363376713588781539069499045350506566\ 16313478692923016595781612233/1760979287647617926518166507532819956\ 2362316322474850065190996616169187769456955576113521184*c_0101_4^11 - 15640769833237458201033719561771205432376646001187528944987894212\ 26157616464551246071961421735839/2641468931471426889777249761299229\ 93435434744837122750977864949242537816541854333641702817760*c_0101_\ 4^10 + 381107668232103004323757547731137855504270612417646115050691\ 556193001708390480964674186063435009/264146893147142688977724976129\ 922993435434744837122750977864949242537816541854333641702817760*c_0\ 101_4^9 + 105125952224124153638088562057527984255570314023833272346\ 177433380420444179187584692567993899589/660367232867856722444312440\ 32480748358858686209280687744466237310634454135463583410425704440*c\ _0101_4^8 - 9439876671712231742220686781567757430849586594886532468\ 2435143142553377710204784575190983449209/52829378629428537795544995\ 225984598687086948967424550195572989848507563308370866728340563552*\ c_0101_4^7 + 793776402404105482203319665224919797737466258770155922\ 49157402325552754927798650129909581546191/2641468931471426889777249\ 7612992299343543474483712275097786494924253781654185433364170281776\ 0*c_0101_4^6 + 8786142523112554039135958631874156088853972910784785\ 934940842015976945898230239418331445659373/528293786294285377955449\ 9522598459868708694896742455019557298984850756330837086672834056355\ 2*c_0101_4^5 - 6765184867459532824426059250734995066097846479110901\ 736166371299650751247203558038926650588121/440244821911904481629541\ 6268832049890590579080618712516297749154042296942364238894028380296\ 0*c_0101_4^4 + 4885396018547629179757103227546510379366465871374084\ 937768439593742365521795232435827278271401/132073446573571344488862\ 4880649614967177173724185613754889324746212689082709271668208514088\ 80*c_0101_4^3 - 108220898511128759309844904005615727707721383734884\ 7207399915243924693070880124609593335686107/26414689314714268897772\ 4976129922993435434744837122750977864949242537816541854333641702817\ 760*c_0101_4^2 - 37187113286952889198492563054361607486106853800711\ 4814251954925686472062244445668455557624827/88048964382380896325908\ 3253766409978118115816123742503259549830808459388472847778805676059\ 20*c_0101_4 + 11630920636155498962494382606620517335547008654898327\ 6306916979263995435644648100082380804479/88048964382380896325908325\ 376640997811811581612374250325954983080845938847284777880567605920, c_0101_1 - 508894713516750728347190570055923571702191778213280487439021\ 05179111361629824844208453943361/2641468931471426889777249761299229\ 93435434744837122750977864949242537816541854333641702817760*c_0101_\ 4^33 + 139228078043164756993482255482576573564564397523130428046531\ 817233316165363443749420749911941/132073446573571344488862488064961\ 496717717372418561375488932474621268908270927166820851408880*c_0101\ _4^32 + 68440588049016635471698690229690799897119079284194123528525\ 8048818986063671650048765853645927/88048964382380896325908325376640\ 997811811581612374250325954983080845938847284777880567605920*c_0101\ _4^31 - 22652561490835207819637383866188246948598618589110711454919\ 4965391771247011733302244356907311/55030602738988060203692703360400\ 62363238223850773390645372186442552871177955298617535475370*c_0101_\ 4^30 - 748945472813532406387010580800862623001376212753267735074583\ 6443713562364037678165484621897891/26414689314714268897772497612992\ 2993435434744837122750977864949242537816541854333641702817760*c_010\ 1_4^29 + 5460209344644483141717391298701815118258316517685856662791\ 0984039776792502134633872228305832897/26414689314714268897772497612\ 9922993435434744837122750977864949242537816541854333641702817760*c_\ 0101_4^28 + 1314277395566485114200491424667874379102551959700518630\ 1059311786653020362482688516931432705891/26414689314714268897772497\ 6129922993435434744837122750977864949242537816541854333641702817760\ *c_0101_4^27 - 8740470985587160145516228314256547881980798534895219\ 7314070079668306268906594498792782266140541/26414689314714268897772\ 4976129922993435434744837122750977864949242537816541854333641702817\ 760*c_0101_4^26 - 4527704257424678787758992763010620812433004778534\ 6771811346622813999518173847080213925842197879/52829378629428537795\ 5449952259845986870869489674245501955729898485075633083708667283405\ 63552*c_0101_4^25 + 36033284269637867296943183072422422751025994358\ 1252744455040955340243042026608564497037399827637/26414689314714268\ 8977724976129922993435434744837122750977864949242537816541854333641\ 702817760*c_0101_4^24 + 3003976625195603766662531771988812509444023\ 1369307670662134390453206596884590101344758841436577/55030602738988\ 0602036927033604006236323822385077339064537218644255287117795529861\ 7535475370*c_0101_4^23 - 110321563126969382270058037187293154734191\ 0115214720828724266395736443587433760264151433026001069/13207344657\ 3571344488862488064961496717717372418561375488932474621268908270927\ 166820851408880*c_0101_4^22 - 2648693554374561777089667941716728361\ 33187585539804221366847139408219475547968867501158751647011/1100612\ 0547797612040738540672080124726476447701546781290744372885105742355\ 910597235070950740*c_0101_4^21 - 1811421335676338509271623519359361\ 32505023968431623537070328257370124676403077524044604107438811/8804\ 8964382380896325908325376640997811811581612374250325954983080845938\ 847284777880567605920*c_0101_4^20 + 3316399980313286997938057971902910794150978710574279582476790616419\ 204127673129611788200704464573/880489643823808963259083253766409978\ 11811581612374250325954983080845938847284777880567605920*c_0101_4^1\ 9 + 141650148843680743132455051314457183833896367294264040011090806\ 18935927290221730608136703651483797/2641468931471426889777249761299\ 22993435434744837122750977864949242537816541854333641702817760*c_01\ 01_4^18 + 129379535629440571701911490806123208219388987927211777491\ 6481640644836614906098657512956781518751/13207344657357134448886248\ 8064961496717717372418561375488932474621268908270927166820851408880\ *c_0101_4^17 - 2732825790000954814346017508944649108266593543793987\ 058407882652731215746857175799946802013468715/528293786294285377955\ 4499522598459868708694896742455019557298984850756330837086672834056\ 3552*c_0101_4^16 - 377172798713700154063646853660196364890490345060\ 4687665316280106090457426435825197908928271538227/88048964382380896\ 3259083253766409978118115816123742503259549830808459388472847778805\ 67605920*c_0101_4^15 - 31946643128414154460180036637504452332836455\ 82829859186842596398604477229548131967413321795172311/2641468931471\ 4268897772497612992299343543474483712275097786494924253781654185433\ 3641702817760*c_0101_4^14 - 210518099106324324106710108350467090914\ 517769957489806134946514789207876855136397990690179465521/330183616\ 4339283612221562201624037417942934310464034387223311865531722706773\ 1791705212852220*c_0101_4^13 + 163267434950396728231727984467203216\ 0448370092097645159799225190171323160439385559835991194830483/88048\ 9643823808963259083253766409978118115816123742503259549830808459388\ 47284777880567605920*c_0101_4^12 + 2955912570963478373519101381845930707323731669205265262340261399193\ 361837603948125930746286890169/264146893147142688977724976129922993\ 435434744837122750977864949242537816541854333641702817760*c_0101_4^\ 11 - 14486743132739550700329940744853124798969665661064215141233004\ 49542839959946296265451624316806137/2641468931471426889777249761299\ 22993435434744837122750977864949242537816541854333641702817760*c_01\ 01_4^10 + 230420404044931762228526194965487100661498542848411391865\ 536850991592575548660974953697646880101/880489643823808963259083253\ 76640997811811581612374250325954983080845938847284777880567605920*c\ _0101_4^9 + 5507141368835651049936684921236755983021944863124645718\ 9651185710825587231697965115469253764777/66036723286785672244431244\ 032480748358858686209280687744466237310634454135463583410425704440*\ c_0101_4^8 - 169794021648265967324280706862472532716111534802770733\ 387524909869095972202222447452368992769561/880489643823808963259083\ 2537664099781181158161237425032595498308084593884728477788056760592\ 0*c_0101_4^7 + 4618091392298183248066152159750717809390365988869483\ 9000189348424365625716803538707197632314947/88048964382380896325908\ 3253766409978118115816123742503259549830808459388472847778805676059\ 20*c_0101_4^6 + 673934771050513829569396125139133700924615013113223\ 5983657837896568267921588039266698241187507/52829378629428537795544\ 9952259845986870869489674245501955729898485075633083708667283405635\ 52*c_0101_4^5 - 218081756731338240995945480631272087112085163973889\ 36505298624594492010358449205113344578562437/1320734465735713444888\ 6248806496149671771737241856137548893247462126890827092716682085140\ 8880*c_0101_4^4 + 1484295864716634632171492676667526410105589873284\ 888344546429410990989020205322452050005026615/264146893147142688977\ 7249761299229934354347448371227509778649492425378165418543336417028\ 1776*c_0101_4^3 - 3009522717274410815605682072826124887810287659636\ 19189918949382532750579683195163765577171377/5282937862942853779554\ 4995225984598687086948967424550195572989848507563308370866728340563\ 552*c_0101_4^2 - 44160152677680127498015889997192148554141000321937\ 2075425961691251842113569627362568436843429/88048964382380896325908\ 3253766409978118115816123742503259549830808459388472847778805676059\ 20*c_0101_4 + 10918648168841045148284578946212594169799738271758534\ 3695090100334771470625071723041530664689/88048964382380896325908325\ 376640997811811581612374250325954983080845938847284777880567605920, c_0101_3 + 280627741448612337394186726528384644010500296796870306372807\ 3521588010032745940792672108229/66036723286785672244431244032480748\ 358858686209280687744466237310634454135463583410425704440*c_0101_4^\ 33 - 21243549232141244210050620727808739394862317039619980712652015\ 42695301888438713612283870976/8254590410848209030553905504060093544\ 857335776160085968058279663829306766932947926303213055*c_0101_4^32 - 1312495450801730622078482883180279831626764693101535011191918983151\ 0786270842976643023085088/82545904108482090305539055040600935448573\ 35776160085968058279663829306766932947926303213055*c_0101_4^31 + 3346893203437416190375446125386453787407349750323453486577033006636\ 84129751469723474366542091/3301836164339283612221562201624037417942\ 9343104640343872233118655317227067731791705212852220*c_0101_4^30 + 9527557083931922525166307810257742568281247808622809853628165652145\ 5471542537363924292780299/66036723286785672244431244032480748358858\ 686209280687744466237310634454135463583410425704440*c_0101_4^29 - 3393210917554773687217581932957671695849060999058506099993735999672\ 974012546917211244170976353/660367232867856722444312440324807483588\ 58686209280687744466237310634454135463583410425704440*c_0101_4^28 + 4145684969520540415568453776730448649207200235019509431035999186373\ 19761453844639263133761893/3301836164339283612221562201624037417942\ 9343104640343872233118655317227067731791705212852220*c_0101_4^27 + 2983403999664015724303602132683338691547922665174399070707757336996\ 295915243345314985299314397/330183616433928361222156220162403741794\ 29343104640343872233118655317227067731791705212852220*c_0101_4^26 + 6895404770500604838604033066224739412243271995227566903787040478343\ 73991000171212649531835449/4402448219119044816295416268832049890590\ 579080618712516297749154042296942364238894028380296*c_0101_4^25 - 2827706096724484882525877504444029137175192441599685207950449419463\ 5251904866296073768508486973/66036723286785672244431244032480748358\ 858686209280687744466237310634454135463583410425704440*c_0101_4^24 - 7200104589678507513709529977925993900090709936862639071877009729981\ 3419403993819662268799582059/66036723286785672244431244032480748358\ 858686209280687744466237310634454135463583410425704440*c_0101_4^23 + 1713131007941970830974150037635975842371658230349278972407312929446\ 51230094258522071399353694957/6603672328678567224443124403248074835\ 8858686209280687744466237310634454135463583410425704440*c_0101_4^22 + 30363596712956921473785505760702001751783565671128670269228037421\ 2181180651422760471291553424781/66036723286785672244431244032480748\ 358858686209280687744466237310634454135463583410425704440*c_0101_4^\ 21 - 96977681899930558421338206716290791477690125126386803774447822\ 447365613163645800144501164306489/330183616433928361222156220162403\ 74179429343104640343872233118655317227067731791705212852220*c_0101_\ 4^20 - 282435105285271219382472365089188251537065494602100138212266\ 90121671483328810720371413313531844/2751530136949403010184635168020\ 031181619111925386695322686093221276435588977649308767737685*c_0101\ _4^19 - 17588049839131803205951221133612492277632657121053377654075\ 2669709813113947297526920900615254351/22012241095595224081477081344\ 160249452952895403093562581488745770211484711821194470141901480*c_0\ 101_4^18 + 11224328435422042113320366527062027324043439097015921380\ 0664610336716624274919594364653576422913/16509180821696418061107811\ 008120187089714671552320171936116559327658613533865895852606426110*\ c_0101_4^17 + 11331173862584980224716488424375937344641513169299536\ 7911534496955637087697172890147875960943817/66036723286785672244431\ 2440324807483588586862092806877444662373106344541354635834104257044\ 4*c_0101_4^16 + 356644439694523436742510473092805888170410687682342\ 743430972561550282425946695844861175503624759/660367232867856722444\ 3124403248074835885868620928068774446623731063445413546358341042570\ 4440*c_0101_4^15 - 117745515641118278958182724413384484409985720968\ 652395005789398146974813790221575022096208598367/220122410955952240\ 8147708134416024945295289540309356258148874577021148471182119447014\ 1901480*c_0101_4^14 - 981286683664482213380401983863246717448730641\ 41595334116476491658817483673705363875312469604281/2201224109559522\ 4081477081344160249452952895403093562581488745770211484711821194470\ 141901480*c_0101_4^13 - 2405520214029453244441924339299166637153586\ 02892144996285640506654420537245009415486255187563653/3301836164339\ 2836122215622016240374179429343104640343872233118655317227067731791\ 705212852220*c_0101_4^12 - 1099879491684480568511927340985758233577\ 6324514773739594998182374050258860644392280128226112581/11006120547\ 7976120407385406720801247264764477015467812907443728851057423559105\ 97235070950740*c_0101_4^11 + 22684781754201596755835581485355944774\ 4635464325170207889642462750288557693753003685889985157533/66036723\ 2867856722444312440324807483588586862092806877444662373106344541354\ 63583410425704440*c_0101_4^10 - 40385403653581668521477203020681808\ 64319954245065622247849457544805876370263008656466316170027/6603672\ 3286785672244431244032480748358858686209280687744466237310634454135\ 463583410425704440*c_0101_4^9 + 16781654569912536438544417096770999\ 428051368209279917083171259995806254915528641579075842096923/660367\ 2328678567224443124403248074835885868620928068774446623731063445413\ 5463583410425704440*c_0101_4^8 + 8542714661599200949777361166514286\ 898432242995855200460293643052082637805803844515857246780193/165091\ 8082169641806110781100812018708971467155232017193611655932765861353\ 3865895852606426110*c_0101_4^7 - 1849297676190457886558509702672301\ 867527082153738744428311733940568873745128374559395612869528/825459\ 0410848209030553905504060093544857335776160085968058279663829306766\ 932947926303213055*c_0101_4^6 - 20479343184330489157343867247786157\ 1535254475110374437782482195309933779117026141228984573089/13207344\ 6573571344488862488064961496717717372418561375488932474621268908270\ 92716682085140888*c_0101_4^5 + 200947249507405861247145614313303459\ 777377241674649982927803595998622520131487217549130257787/825459041\ 0848209030553905504060093544857335776160085968058279663829306766932\ 947926303213055*c_0101_4^4 - 71129810338208095230946059224784583788\ 726327062404884103550583410815963926717300216413833409/440244821911\ 9044816295416268832049890590579080618712516297749154042296942364238\ 894028380296*c_0101_4^3 + 62412030198900961117250219084319830204531\ 881908230072393334230352924232804987307615804918377/132073446573571\ 3444888624880649614967177173724185613754889324746212689082709271668\ 2085140888*c_0101_4^2 - 1517269172415207416462360000358057873762359\ 1079057967920944298991814259909493879828212973057/11006120547797612\ 0407385406720801247264764477015467812907443728851057423559105972350\ 70950740*c_0101_4 - 15460939384704214953299610628687199984606933960\ 01982413043395604036163456299639834893848329/5503060273898806020369\ 2703360400623632382238507733906453721864425528711779552986175354753\ 70, c_0101_4^34 - 5*c_0101_4^33 - 43*c_0101_4^32 + 195*c_0101_4^31 + 251*c_0101_4^30 - 1018*c_0101_4^29 - 780*c_0101_4^28 + 1670*c_0101_4^27 + 5304*c_0101_4^26 - 5102*c_0101_4^25 - 32045*c_0101_4^24 + 30402*c_0101_4^23 + 147602*c_0101_4^22 + 67145*c_0101_4^21 - 200594*c_0101_4^20 - 374268*c_0101_4^19 - 167431*c_0101_4^18 + 270357*c_0101_4^17 + 358336*c_0101_4^16 + 146068*c_0101_4^15 + 37207*c_0101_4^14 - 89593*c_0101_4^13 - 102926*c_0101_4^12 + 10520*c_0101_4^11 + 6662*c_0101_4^10 - 12171*c_0101_4^9 + 6943*c_0101_4^8 + 2038*c_0101_4^7 - 2144*c_0101_4^6 + 599*c_0101_4^5 + 128*c_0101_4^4 - 117*c_0101_4^3 + 44*c_0101_4^2 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB