Magma V2.19-8 Tue Aug 20 2013 16:14:52 on localhost [Seed = 2968595672] 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' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : 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 - 4200734523081934051257723200824606118861540791750910370834/64861158\ 74453360274755917214227863001030244714192020135*c_0101_5^27 + 47819263240287823120281889847729118837965013683058040587031/6486115\ 874453360274755917214227863001030244714192020135*c_0101_5^26 - 161172721340847955816370994616421988049096966122690077533784/648611\ 5874453360274755917214227863001030244714192020135*c_0101_5^25 + 78685348055496280836044655581043761022736004453090396755698/6486115\ 874453360274755917214227863001030244714192020135*c_0101_5^24 + 704818830488937545957381872818020711713038423037082815856196/648611\ 5874453360274755917214227863001030244714192020135*c_0101_5^23 - 388495259518495925582400972390135253374667685502708924581880/129722\ 3174890672054951183442845572600206048942838404027*c_0101_5^22 + 1514888020333419837340853511276214315016486603959232566543307/64861\ 15874453360274755917214227863001030244714192020135*c_0101_5^21 + 80160243055958938915324133856315231909204687783850348593640/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^20 - 3965617506994196414257670309553344424035203047205523840837038/64861\ 15874453360274755917214227863001030244714192020135*c_0101_5^19 + 11147198042158088456184635926605647932570057228682020690202253/6486\ 115874453360274755917214227863001030244714192020135*c_0101_5^18 - 3056328595578292273671727231603851060122078690810279326404177/12972\ 23174890672054951183442845572600206048942838404027*c_0101_5^17 + 6159175207278257249490059353392231546896631104205439503044856/64861\ 15874453360274755917214227863001030244714192020135*c_0101_5^16 + 17045971774109914714596176319472823909724383123917298260235412/6486\ 115874453360274755917214227863001030244714192020135*c_0101_5^15 - 14860577606559474723911828338847441913290548381012867293617564/6486\ 115874453360274755917214227863001030244714192020135*c_0101_5^14 + 46597360021708772640995323710925103219655034624644565626732108/6486\ 115874453360274755917214227863001030244714192020135*c_0101_5^13 - 3326956752727987858064174228665142117353062190200377005556566/64861\ 15874453360274755917214227863001030244714192020135*c_0101_5^12 - 79767073388588100712652976628134635763592797753686853345538069/6486\ 115874453360274755917214227863001030244714192020135*c_0101_5^11 + 19081834229065906620565004639717500636951465470903610764887372/6486\ 115874453360274755917214227863001030244714192020135*c_0101_5^10 + 60371382085376811456804205724677200591445079710282453286694487/6486\ 115874453360274755917214227863001030244714192020135*c_0101_5^9 - 14905052595628548571163179518849937299683722815767706254762359/6486\ 115874453360274755917214227863001030244714192020135*c_0101_5^8 - 26438788930846196533025534065065393947990525213070687423393084/6486\ 115874453360274755917214227863001030244714192020135*c_0101_5^7 + 4588075551308460269758652684398166325866975379980889741886633/64861\ 15874453360274755917214227863001030244714192020135*c_0101_5^6 + 4762058449534139127582666932859237939089124767088360597618993/64861\ 15874453360274755917214227863001030244714192020135*c_0101_5^5 + 6541453601473679313439014540622956180742796279716343416943/12972231\ 74890672054951183442845572600206048942838404027*c_0101_5^4 - 33010617530755252520551361523052606223993727529022075716447/6486115\ 874453360274755917214227863001030244714192020135*c_0101_5^3 - 137274331271442643949531797095763212680951351351616971683908/648611\ 5874453360274755917214227863001030244714192020135*c_0101_5^2 - 38804738760370912369588933452170236362214837275252145485489/6486115\ 874453360274755917214227863001030244714192020135*c_0101_5 + 11228912946849380617106974403622390394262861305193569713348/6486115\ 874453360274755917214227863001030244714192020135, c_0011_0 - 1, c_0011_1 - 19918017479809706401148521442637947781896729360593348471/129\ 7223174890672054951183442845572600206048942838404027*c_0101_5^27 + 227478182540277088642697873829315787154384991957938950352/129722317\ 4890672054951183442845572600206048942838404027*c_0101_5^26 - 772883076158293379736420907586290260917314666119167059636/129722317\ 4890672054951183442845572600206048942838404027*c_0101_5^25 + 404461564631092075097550392917119320081292291965249196556/129722317\ 4890672054951183442845572600206048942838404027*c_0101_5^24 + 3316630928856759477777940151844461821441900793474477818229/12972231\ 74890672054951183442845572600206048942838404027*c_0101_5^23 - 9322780036142828255977587468435811168558548744172348617270/12972231\ 74890672054951183442845572600206048942838404027*c_0101_5^22 + 7561251112230823979285204711629012850194218760113052078960/12972231\ 74890672054951183442845572600206048942838404027*c_0101_5^21 + 1492919787473133462548536348948215135261583727146675180860/12972231\ 74890672054951183442845572600206048942838404027*c_0101_5^20 - 18699146898417199050315804771126913990287605657281541263440/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^19 + 53491282950777241544557424026163370053976553942094767722845/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^18 - 74638327321529730438570492950805291941847218545295785841107/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^17 + 32697613535901227824011151733147868958698369972582846419518/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^16 + 78350310848849839571674892828378073562769218273441262502004/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^15 - 72338864195236758501224125166704487081707172353886188068122/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^14 + 224054277944750686918243418716097923447179197696344368252381/129722\ 3174890672054951183442845572600206048942838404027*c_0101_5^13 - 25343395451746751005797104959238906626865699614882692786585/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^12 - 374279350693595757572572561306095132524489308120570972052291/129722\ 3174890672054951183442845572600206048942838404027*c_0101_5^11 + 102128124500719559074056595326869850719464567961370350681286/129722\ 3174890672054951183442845572600206048942838404027*c_0101_5^10 + 278866330632588667908383693648878703659348509249063942791527/129722\ 3174890672054951183442845572600206048942838404027*c_0101_5^9 - 77417768046435033529848755619210333129860416213123809360375/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^8 - 120556826709690643185160085734052219568840215040298394822643/129722\ 3174890672054951183442845572600206048942838404027*c_0101_5^7 + 23836161751902855167473132907374973126675462045317145976488/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^6 + 21105480395625516764252383311887265376610202869903456795699/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^5 + 143389452905231943225275925098351893822796922850646303471/129722317\ 4890672054951183442845572600206048942838404027*c_0101_5^4 - 145047330831162386026778243307914394765530005927649116973/129722317\ 4890672054951183442845572600206048942838404027*c_0101_5^3 - 665044844359006361683816674207397953823140057271520611286/129722317\ 4890672054951183442845572600206048942838404027*c_0101_5^2 - 160729958268970582720923665263354584180324391016624566345/129722317\ 4890672054951183442845572600206048942838404027*c_0101_5 + 48682856471512544145016712219201268298479062719684791300/1297223174\ 890672054951183442845572600206048942838404027, c_0011_3 + 9718527380330369560069283612957170366973953681122827807/1297\ 223174890672054951183442845572600206048942838404027*c_0101_5^27 - 111201539691485238443963755917998620570949764245438807389/129722317\ 4890672054951183442845572600206048942838404027*c_0101_5^26 + 379515784540748958989790550661541824083441314699213231743/129722317\ 4890672054951183442845572600206048942838404027*c_0101_5^25 - 205715026958331550684747069628213331606558329739876228443/129722317\ 4890672054951183442845572600206048942838404027*c_0101_5^24 - 1612857454927447864117223708735701572723707754164128814224/12972231\ 74890672054951183442845572600206048942838404027*c_0101_5^23 + 4581847458358080563309180349122699565335315984237972611085/12972231\ 74890672054951183442845572600206048942838404027*c_0101_5^22 - 3789703865162782898936763392918408273156048938282904813141/12972231\ 74890672054951183442845572600206048942838404027*c_0101_5^21 - 634063401498831036734688036350748799159357049051491234869/129722317\ 4890672054951183442845572600206048942838404027*c_0101_5^20 + 9115550611482136730960183159003918127545354479914379164673/12972231\ 74890672054951183442845572600206048942838404027*c_0101_5^19 - 26283825067278725613442204485290305966181451879288965260510/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^18 + 36998899358651401145755514811578742606274771426107384139354/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^17 - 16822964971942266354362800177911750172697629907899061958305/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^16 - 37715780415089457690273004790200055686842557768888272565403/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^15 + 35950761157543145974228612035564426069733873281615048741266/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^14 - 110094289745269194549152649747342869521847583919061622810172/129722\ 3174890672054951183442845572600206048942838404027*c_0101_5^13 + 14920305336902655884758669216986115043287116452164901845830/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^12 + 182005471666615385685586705492159948739853981831267457331713/129722\ 3174890672054951183442845572600206048942838404027*c_0101_5^11 - 53295325577432419637176940536784892086737960696268380211449/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^10 - 134659772972867022196254134038249023919904846248149301161261/129722\ 3174890672054951183442845572600206048942838404027*c_0101_5^9 + 39992443239540114321047367435668312473209034564400499894465/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^8 + 57914382497605991309175484503795132330779753135631673212593/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^7 - 12429005872723935843171376191635163702143701578751349658864/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^6 - 10049805203398174841065602508846476236926429847437406700262/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^5 - 9528909230479355890842371390689929815759897573874257723/12972231748\ 90672054951183442845572600206048942838404027*c_0101_5^4 + 88211715937163350197860733804536850176418163793446692107/1297223174\ 890672054951183442845572600206048942838404027*c_0101_5^3 + 329806732783095757486637288427661686198692330770334985176/129722317\ 4890672054951183442845572600206048942838404027*c_0101_5^2 + 72634762058556252038440844714110975852663567974845690967/1297223174\ 890672054951183442845572600206048942838404027*c_0101_5 - 23032946712271212614420353479395111306508011825067958172/1297223174\ 890672054951183442845572600206048942838404027, c_0101_0 + 9906087104657792629286087217351465283181172873355132709/1297\ 223174890672054951183442845572600206048942838404027*c_0101_5^27 - 113155719828849360044644456034621040338385890892262228581/129722317\ 4890672054951183442845572600206048942838404027*c_0101_5^26 + 384655984795930726672096697203943971504875135203119211618/129722317\ 4890672054951183442845572600206048942838404027*c_0101_5^25 - 202283834780804509931355497169905708705056591004450110540/129722317\ 4890672054951183442845572600206048942838404027*c_0101_5^24 - 1648057542229458010061220902010138323575504206287520797235/12972231\ 74890672054951183442845572600206048942838404027*c_0101_5^23 + 4639718636934031494194770788724993469896378296097894610087/12972231\ 74890672054951183442845572600206048942838404027*c_0101_5^22 - 3774934344423824562926781263936977511453883042371246181906/12972231\ 74890672054951183442845572600206048942838404027*c_0101_5^21 - 722503804087364314708165277425555900199424888278749403009/129722317\ 4890672054951183442845572600206048942838404027*c_0101_5^20 + 9292700633086665912536240304717230314128830825260678662991/12972231\ 74890672054951183442845572600206048942838404027*c_0101_5^19 - 26625320050499143678823307416621596165255410364776410817450/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^18 + 37201574092401653239447728977000331713353045216268814011476/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^17 - 16410616614587434173105824370275404549069700131048459700360/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^16 - 38839015454568444425700460879738301068124429364301132932488/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^15 + 36022965959756447911554597889074107273468323141572374178291/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^14 - 111610729466391250926003823428386968005399962561066212361104/129722\ 3174890672054951183442845572600206048942838404027*c_0101_5^13 + 12914588728637453433057630445927749700006137391949087026891/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^12 + 185806650810414376220372967439547355501505126909772135988422/129722\ 3174890672054951183442845572600206048942838404027*c_0101_5^11 - 51204558155113883341863151465444262269440713496810851808559/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^10 - 138110618443055723633638396447685428798235195614010172243488/129722\ 3174890672054951183442845572600206048942838404027*c_0101_5^9 + 38750938189871836172714881720239563179686205712686646223418/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^8 + 59547863010066322559980911511634929550748262440221566411948/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^7 - 11951920428025025388949826914186297206341291818155622070820/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^6 - 10345940879325695518351116261046999824184007196346794215304/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^5 - 42877534415436896032707906910371525842393136061699292621/1297223174\ 890672054951183442845572600206048942838404027*c_0101_5^4 + 63529141942714098333939501097416083483590280797775009434/1297223174\ 890672054951183442845572600206048942838404027*c_0101_5^3 + 323752703315886621963233103192325124095377269833045529492/129722317\ 4890672054951183442845572600206048942838404027*c_0101_5^2 + 76041131360595885740257208895524042127028382845878734372/1297223174\ 890672054951183442845572600206048942838404027*c_0101_5 - 23412335526262973864330167298419798581294506324136124457/1297223174\ 890672054951183442845572600206048942838404027, c_0101_3 + 6325565626895861000664033224531614909601544199572386714/1297\ 223174890672054951183442845572600206048942838404027*c_0101_5^27 - 72132318708827308475260544055034853457192502414052080534/1297223174\ 890672054951183442845572600206048942838404027*c_0101_5^26 + 244182584713463940480745665073238122614596216538119076395/129722317\ 4890672054951183442845572600206048942838404027*c_0101_5^25 - 123992598753372015062274821892153786880212433410424277346/129722317\ 4890672054951183442845572600206048942838404027*c_0101_5^24 - 1056575837215563423699728156864192702967827759064717243351/12972231\ 74890672054951183442845572600206048942838404027*c_0101_5^23 + 2944645767950705944778185696335418634086235991309311270640/12972231\ 74890672054951183442845572600206048942838404027*c_0101_5^22 - 2348914365018852901063858521859227284437897148038581687464/12972231\ 74890672054951183442845572600206048942838404027*c_0101_5^21 - 529499404009976022246348790748045891726651080612804783581/129722317\ 4890672054951183442845572600206048942838404027*c_0101_5^20 + 5958026989069941603392558937755509210889941652224491121161/12972231\ 74890672054951183442845572600206048942838404027*c_0101_5^19 - 16903570886379062428232861306362358320289082465441566598914/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^18 + 23400197079002842368803244666614554784503609875882430172128/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^17 - 9899658082758036627949911121317091940982992111943856385738/12972231\ 74890672054951183442845572600206048942838404027*c_0101_5^16 - 25241379000796824598765376782453173252412711248544509208627/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^15 + 22755542004212869491045151396694954472031226888408769448377/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^14 - 70826245225008535869183585570774678285587908804467328862065/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^13 + 6624133794247540204833343126534223028278987462348208480189/12972231\ 74890672054951183442845572600206048942838404027*c_0101_5^12 + 119235672450575684863597739260466373608004139442509899571900/129722\ 3174890672054951183442845572600206048942838404027*c_0101_5^11 - 31023056836177547194031038486347766702938102730721949359827/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^10 - 89341339809897266864583575684617590458969193923367325050628/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^9 + 23855526704761154195828637248691168007839316256820674040754/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^8 + 38751197146053534006023703789437617516001484778729354285721/1297223\ 174890672054951183442845572600206048942838404027*c_0101_5^7 - 7425048717225146153293250332077103858512602116709344635039/12972231\ 74890672054951183442845572600206048942838404027*c_0101_5^6 - 6838767035705561038882069201000124308959782035100109792772/12972231\ 74890672054951183442845572600206048942838404027*c_0101_5^5 - 3726741503606638769157305948694911253416340814186202781/12972231748\ 90672054951183442845572600206048942838404027*c_0101_5^4 + 51918030206834582504939063127714982381533669673540442566/1297223174\ 890672054951183442845572600206048942838404027*c_0101_5^3 + 213662887084687695841462057079147096146138678373117100906/129722317\ 4890672054951183442845572600206048942838404027*c_0101_5^2 + 52711283055100835615976703716272054654358543874804697847/1297223174\ 890672054951183442845572600206048942838404027*c_0101_5 - 16471737879591057320677310295329802726916852206828506493/1297223174\ 890672054951183442845572600206048942838404027, c_0101_5^28 - 11*c_0101_5^27 + 34*c_0101_5^26 - 4*c_0101_5^25 - 175*c_0101_5^24 + 398*c_0101_5^23 - 183*c_0101_5^22 - 234*c_0101_5^21 + 907*c_0101_5^20 - 2291*c_0101_5^19 + 2619*c_0101_5^18 - 69*c_0101_5^17 - 4620*c_0101_5^16 + 1977*c_0101_5^15 - 9729*c_0101_5^14 - 3457*c_0101_5^13 + 19308*c_0101_5^12 + 2770*c_0101_5^11 - 16127*c_0101_5^10 - 1998*c_0101_5^9 + 7664*c_0101_5^8 + 1346*c_0101_5^7 - 1553*c_0101_5^6 - 451*c_0101_5^5 + 3*c_0101_5^4 + 36*c_0101_5^3 + 22*c_0101_5^2 + c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB