Magma V2.19-8 Tue Aug 20 2013 16:19:13 on localhost [Seed = 2530675603] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3334 geometric_solution 6.47155620 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.378967139905 0.220008227866 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.647448309409 0.925750319034 1 4 5 6 0132 0132 0132 0132 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 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.437252615017 1.182113952167 6 5 4 1 1023 1023 3201 0132 0 0 0 0 0 -1 0 1 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 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.437252615017 1.182113952167 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.187782203975 1.109860660903 3 6 6 2 1023 2310 3201 0132 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.519774878114 0.592683903245 5 3 2 5 2310 1023 0132 3201 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 -1 0 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.479479829267 0.884904192279 ==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' : negation(d['1']), 's_3_5' : negation(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' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0101_3']), 's_3_6' : negation(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' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_4']), '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' : d['c_0011_1'], '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' : negation(d['c_0101_1']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), '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' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), '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: 30 Groebner basis: [ t + 3676958448497372797340321444418989694025174800579138762800293280039\ 41606100426084573741398270826297830481709007/1565540010785771412139\ 5993826463967057304083802509793844986202022518936797067968443847432\ 786767689121792233688*c_0101_4^29 - 8707916787016990430300312646083571836946996411651905851978879956382\ 185134789435215900189838715058302979720267519/156554001078577141213\ 9599382646396705730408380250979384498620202251893679706796844384743\ 2786767689121792233688*c_0101_4^28 + 5977036444389773505738974132367253269102257254370653217312436962110\ 87720972075596465018715706661007693760213777/1619524149088729047040\ 9648785997207300659397037079097081020208988812693238346174252255964\ 95182864391909541416*c_0101_4^27 + 7332705413822412724698952267023136854394443832585750251997980108846\ 297334126623283084622821818174945417929908491/260923335130961902023\ 2665637743994509550680633751632307497700337086489466177994740641238\ 797794614853632038948*c_0101_4^26 + 2021776217544536454021397792505740249600404562936329322507937943243\ 63563450939480723679455356703386313614636908851/4696620032357314236\ 4187981479391901171912251407529381534958606067556810391203905331542\ 298360303067365376701064*c_0101_4^25 + 8701929614101600656230975400941308610749040794036180393745955065705\ 31478026652404909499013945915117511220514375617/1565540010785771412\ 1395993826463967057304083802509793844986202022518936797067968443847\ 432786767689121792233688*c_0101_4^24 - 1096570157586808226017881219555036290465449196512195509688243756874\ 800927657187596528801684627423450738438472819093/469662003235731423\ 6418798147939190117191225140752938153495860606755681039120390533154\ 2298360303067365376701064*c_0101_4^23 + 1291000721649960311930575565047649430035635967544189109507463568260\ 1099933181761939005692421691154278795857333173649/46966200323573142\ 3641879814793919011719122514075293815349586060675568103912039053315\ 42298360303067365376701064*c_0101_4^22 - 4970133346328681121211287718713770091868585411199656606877869680742\ 671095135204199621118345598193869266076079129523/234831001617865711\ 8209399073969595058595612570376469076747930303377840519560195266577\ 1149180151533682688350532*c_0101_4^21 + 8225775850341577273480987830673697914686658149385855225453797410437\ 145324704965828329499010348873303102413878483233/117415500808932855\ 9104699536984797529297806285188234538373965151688920259780097633288\ 5574590075766841344175266*c_0101_4^20 - 1461743261548529584959282745633815946968221016887541961421794185022\ 3941472490322068522426463121676161749868069262443/15655400107857714\ 1213959938264639670573040838025097938449862020225189367970679684438\ 47432786767689121792233688*c_0101_4^19 - 1183033589922726081849466736392211027914866440170540767585020538046\ 91728000731400838269314756948505846982862112555/4048810372721822617\ 6024121964993018251648492592697742702550522472031733095865435630639\ 9123795716097977385354*c_0101_4^18 - 1793651826787073474686847347863377378460521332303663708446591401349\ 41268784916451785536522414064353439139397747550299/4696620032357314\ 2364187981479391901171912251407529381534958606067556810391203905331\ 542298360303067365376701064*c_0101_4^17 - 5225542745048822321967717885309855446439784979470541236626429457643\ 0700523723444962191631793527138237300035630201137/78277000539288570\ 6069799691323198352865204190125489692249310101125946839853398422192\ 3716393383844560896116844*c_0101_4^16 - 8633545062330023634046461281817787030169846485288084571122925836753\ 1380120167444793588274012639272843943025424094459/78277000539288570\ 6069799691323198352865204190125489692249310101125946839853398422192\ 3716393383844560896116844*c_0101_4^15 - 9634797860516104885435680959809606346199795126397161781482257601714\ 97602582408603657734837668013194783459806064682767/4696620032357314\ 2364187981479391901171912251407529381534958606067556810391203905331\ 542298360303067365376701064*c_0101_4^14 - 1059473189138757469307324805463035984620931248000693131652202654155\ 351081478751813336372131663036703164017352349650269/469662003235731\ 4236418798147939190117191225140752938153495860606755681039120390533\ 1542298360303067365376701064*c_0101_4^13 - 1582309827924202087095601813951616018383967520897252255198847057692\ 701936319934630751447891176330362046169197597996303/469662003235731\ 4236418798147939190117191225140752938153495860606755681039120390533\ 1542298360303067365376701064*c_0101_4^12 - 2005962310341592297797643642062571740884406364926669324600775168495\ 86076308312092147073357719551567016018057260395683/7827700053928857\ 0606979969132319835286520419012548969224931010112594683985339842219\ 23716393383844560896116844*c_0101_4^11 - 1327530760487701581186291462250510834556276765315522216377170964905\ 639524984033849785740925875164205082968471261920741/469662003235731\ 4236418798147939190117191225140752938153495860606755681039120390533\ 1542298360303067365376701064*c_0101_4^10 - 6361507149432750666678244113005794782932892419305146848039853627264\ 02644163770689214381367413510917959338587985596761/4696620032357314\ 2364187981479391901171912251407529381534958606067556810391203905331\ 542298360303067365376701064*c_0101_4^9 - 5700637572196716241991953627380313042023893142793142977238324667088\ 45066927690185227283205240448325885973466518009517/4696620032357314\ 2364187981479391901171912251407529381534958606067556810391203905331\ 542298360303067365376701064*c_0101_4^8 - 1950299956325419519072700261147813126573000999312165767172850937069\ 960342971270089474975837478891323669757109732247/700988064530942423\ 3460892758118194204763022598138713661934120308590568715105060497245\ 11915825418915901144792*c_0101_4^7 - 3089828694434963088342635620312793516397153464748416301924025893205\ 057032577958989518746284352941531673950314513715/114551708106275956\ 9858243450716875638339323205061692232559966001647727082712290373940\ 056057568367496716504904*c_0101_4^6 + 1620657525675898688568543476936974681210149192118370602850318727900\ 890452817178694687859245221783381807200717303267/782770005392885706\ 0697996913231983528652041901254896922493101011259468398533984221923\ 716393383844560896116844*c_0101_4^5 - 3044540723518234537317388185334030983156892689987017481460858042058\ 413357557767655887680382798799879090701081586535/117415500808932855\ 9104699536984797529297806285188234538373965151688920259780097633288\ 5574590075766841344175266*c_0101_4^4 + 2115386728233080327438434290219615018420479473864094050300446838681\ 413528196024686517706781058968021032242151222309/156554001078577141\ 2139599382646396705730408380250979384498620202251893679706796844384\ 7432786767689121792233688*c_0101_4^3 - 5463933041289902160366771056136246061069759608989446181441180446186\ 8583926642637211158160194574379098083794846561/52184667026192380404\ 6533127548798901910136126750326461499540067417297893235598948128247\ 7595589229707264077896*c_0101_4^2 + 8390281262618191937676101636496377853924725927678463505111169135935\ 1443178568330994450029421351375906536655531891/78277000539288570606\ 9799691323198352865204190125489692249310101125946839853398422192371\ 6393383844560896116844*c_0101_4 + 941217129394449198495520121461255\ 3470447250560923016018803722660505538170172005467910274207357067236\ 78939976655/1145517081062759569858243450716875638339323205061692232\ 559966001647727082712290373940056057568367496716504904, c_0011_0 - 1, c_0011_1 + 661935961393357792620193846270166112924825515003318122056905\ 191921781398980508005946052738300797548990/548619291696723931924446\ 0970866262635724727993590480040996005755017850012989896426915977287\ 20482517584533*c_0101_4^29 - 33047082850208737289249269949021991769\ 419627441856422410193720272461111173642858270433953825403754139297/\ 1097238583393447863848892194173252527144945598718096008199201151003\ 570002597979285383195457440965035169066*c_0101_4^28 + 6101080298531776550984961147240649004138568158900948400863928484365\ 8021906133380634283153541602628966519/10972385833934478638488921941\ 7325252714494559871809600819920115100357000259797928538319545744096\ 5035169066*c_0101_4^27 + 130342399306726123432141584229455145109892\ 002615644741791125756598906677209618817406126253832008091962577/109\ 7238583393447863848892194173252527144945598718096008199201151003570\ 002597979285383195457440965035169066*c_0101_4^26 + 1635234725348987283217271552395871602268399247572744831581607384495\ 1992522833655212422724813698600930659/54861929169672393192444609708\ 6626263572472799359048004099600575501785001298989642691597728720482\ 517584533*c_0101_4^25 + 2840873329854616047303499090633669167070830\ 215183003528206794206938411964260545043873174940014016936328397/109\ 7238583393447863848892194173252527144945598718096008199201151003570\ 002597979285383195457440965035169066*c_0101_4^24 - 2636227286470741698560845502613389091367864816475983077261639018941\ 084967104407958093204972703314359633187/548619291696723931924446097\ 0866262635724727993590480040996005755017850012989896426915977287204\ 82517584533*c_0101_4^23 + 86983815845392933695437026680972203392522\ 33420108577432130912267273838313213395742401922309880423170905633/5\ 4861929169672393192444609708662626357247279935904800409960057550178\ 5001298989642691597728720482517584533*c_0101_4^22 - 3105799133043648003563179723535324944824613779517298083398421631543\ 4429989542808840850802366200365745277179/10972385833934478638488921\ 9417325252714494559871809600819920115100357000259797928538319545744\ 0965035169066*c_0101_4^21 + 274450621553908802833472499630136117969\ 0867729341577959624664437891344130713558583203472976451954651332834\ 6/54861929169672393192444609708662626357247279935904800409960057550\ 1785001298989642691597728720482517584533*c_0101_4^20 - 9979019118375060445485560195020972974212787112553954145553557443121\ 4444784956124569288170084424278089140175/10972385833934478638488921\ 9417325252714494559871809600819920115100357000259797928538319545744\ 0965035169066*c_0101_4^19 + 241383888733125178832492139101954026441\ 0847872607549215631341850327802632816668274739465364247846779212639\ 2/54861929169672393192444609708662626357247279935904800409960057550\ 1785001298989642691597728720482517584533*c_0101_4^18 - 1862252186727212785653606038685796319042171203252947485667106572156\ 56481576716769309459384496698690796175331/1097238583393447863848892\ 1941732525271449455987180960081992011510035700025979792853831954574\ 40965035169066*c_0101_4^17 - 59503493991807413426218360396366145560\ 1550595050448429150863043898926325219297538441951165125061092588321\ 27/5486192916967239319244460970866262635724727993590480040996005755\ 01785001298989642691597728720482517584533*c_0101_4^16 - 1526194448279919631529407233847042932903211817727819013978615997961\ 55539811719058058407657021101566210435981/1097238583393447863848892\ 1941732525271449455987180960081992011510035700025979792853831954574\ 40965035169066*c_0101_4^15 - 21550234914615050232342428102078228342\ 3560398089585017740037515962752638249860385611331578035483270587790\ 595/548619291696723931924446097086626263572472799359048004099600575\ 501785001298989642691597728720482517584533*c_0101_4^14 + 5015368456215650689700708858167595557002520049814984081113744563235\ 7653616001204935080326847673329134018851/54861929169672393192444609\ 7086626263572472799359048004099600575501785001298989642691597728720\ 482517584533*c_0101_4^13 - 2202512625379447849863597998854658770509\ 2571308193175361520249227914351731033932712325715328195118371914722\ 2/54861929169672393192444609708662626357247279935904800409960057550\ 1785001298989642691597728720482517584533*c_0101_4^12 + 6996709508690608633117715617756896437162900732265663267131764190963\ 96029844265709675793835942730247060329723/1097238583393447863848892\ 1941732525271449455987180960081992011510035700025979792853831954574\ 40965035169066*c_0101_4^11 - 22768386394530189347258244700467521316\ 3982025648271563586481388307447368011256951113854089851509344769603\ 69/1097238583393447863848892194173252527144945598718096008199201151\ 003570002597979285383195457440965035169066*c_0101_4^10 + 8906587013091407970843951458123695134416699520888286728181193771598\ 93480286054959490477213045458840429960413/1097238583393447863848892\ 1941732525271449455987180960081992011510035700025979792853831954574\ 40965035169066*c_0101_4^9 + 769469691717774557507623134199339460153\ 1766365443257830000087317863733051904017260185588372410011705009037\ 3/10972385833934478638488921941732525271449455987180960081992011510\ 03570002597979285383195457440965035169066*c_0101_4^8 + 3626168842948157308017157215696499986594673306090008518322381192506\ 184101008466781233158321261993571568210/818834763726453629737979249\ 3830242739887653721776835882083590679131119422372979741665637742096\ 753993799*c_0101_4^7 - 41966570185833752299622846599636117512593836\ 8687544746341474018886256563136408375123340811282995570676227/10972\ 3858339344786384889219417325252714494559871809600819920115100357000\ 2597979285383195457440965035169066*c_0101_4^6 + 1423060190403208047777795718134320022850849545770763076828918988713\ 50880202195766067875739912015907204416625/1097238583393447863848892\ 1941732525271449455987180960081992011510035700025979792853831954574\ 40965035169066*c_0101_4^5 - 853492787289843439888036078160892348919\ 2236213113432827383944387667931315040330691694424214407882916110972\ /548619291696723931924446097086626263572472799359048004099600575501\ 785001298989642691597728720482517584533*c_0101_4^4 + 1103300114085103669025581383776941370893318677842564724096228891505\ 3069031776047984851894897949855318769259/54861929169672393192444609\ 7086626263572472799359048004099600575501785001298989642691597728720\ 482517584533*c_0101_4^3 - 34526359847597339867141405748464541387995\ 18757564699618312837827589793775127303680953156633016646489353447/1\ 0972385833934478638488921941732525271449455987180960081992011510035\ 70002597979285383195457440965035169066*c_0101_4^2 + 7679069875620198397355001278861097744736038777302894859846191003461\ 97835964564190101130191294220650851123/5486192916967239319244460970\ 8662626357247279935904800409960057550178500129898964269159772872048\ 2517584533*c_0101_4 - 785194244627061549009763226593062038006262945\ 613625377092116327010489188712240056303007628449758863948641/109723\ 8583393447863848892194173252527144945598718096008199201151003570002\ 597979285383195457440965035169066, c_0011_3 - 274185513074738074609613383323255709886936773815334329506809\ 1488978792330825431285184216717453823824122/54861929169672393192444\ 6097086626263572472799359048004099600575501785001298989642691597728\ 720482517584533*c_0101_4^29 + 1320115696042917207000195317978026564\ 7513963983840730651947401623639623533820879790724632835927564540819\ 3/10972385833934478638488921941732525271449455987180960081992011510\ 03570002597979285383195457440965035169066*c_0101_4^28 - 6841565347455715351851072221755223705926421548505176269375924160170\ 0832087462799035965937616449680664615/54861929169672393192444609708\ 6626263572472799359048004099600575501785001298989642691597728720482\ 517584533*c_0101_4^27 - 6254408239053995402284168756293451235965119\ 97930726148487535052689366144800145039292428150468682387525865/1097\ 2385833934478638488921941732525271449455987180960081992011510035700\ 02597979285383195457440965035169066*c_0101_4^26 - 3708581004706262993485786774741543464494704148259740985132524673142\ 59238473797937481795925766941082904574/5486192916967239319244460970\ 8662626357247279935904800409960057550178500129898964269159772872048\ 2517584533*c_0101_4^25 - 125694670521944440791502704036701012339098\ 45487752398362848861216239615433318318667613770034588211948939987/1\ 0972385833934478638488921941732525271449455987180960081992011510035\ 70002597979285383195457440965035169066*c_0101_4^24 + 1051366260624665097144924678880196551017211000068486204366734428849\ 1039655141623097915261146408179686635341/10972385833934478638488921\ 9417325252714494559871809600819920115100357000259797928538319545744\ 0965035169066*c_0101_4^23 - 330461883146604225472320061138794847415\ 1993434739042948926392294508401474683633259469005971768456790848373\ 7/54861929169672393192444609708662626357247279935904800409960057550\ 1785001298989642691597728720482517584533*c_0101_4^22 + 3693348516442286631404055229640070732475562082570068328835388570373\ 9456325039356191719180933533033303375573/54861929169672393192444609\ 7086626263572472799359048004099600575501785001298989642691597728720\ 482517584533*c_0101_4^21 - 9087057391092019228286570933275736642285\ 6749377427853145417624891689218178322476730811866615742432876663682\ /548619291696723931924446097086626263572472799359048004099600575501\ 785001298989642691597728720482517584533*c_0101_4^20 + 1394893033532530300985486446402198360645678703247085132448143677820\ 30587776823379876052944887851015692469472/5486192916967239319244460\ 9708662626357247279935904800409960057550178500129898964269159772872\ 0482517584533*c_0101_4^19 - 141515622708026641247762836814304466960\ 7908892158251246386156613916002501101004269925629481510714760271449\ 5/10972385833934478638488921941732525271449455987180960081992011510\ 03570002597979285383195457440965035169066*c_0101_4^18 + 8576924833208763308400352372479800413623194984070585632111829792386\ 25243998060013929151858536730753002091487/1097238583393447863848892\ 1941732525271449455987180960081992011510035700025979792853831954574\ 40965035169066*c_0101_4^17 + 12094263896589961464878094456863881463\ 2199920941237327394811703121938295552122557857479543836231863396380\ 6519/10972385833934478638488921941732525271449455987180960081992011\ 51003570002597979285383195457440965035169066*c_0101_4^16 + 9810584162847452075617413046734764275140120783640081254201969366563\ 57959015929297283460356581805908570004746/5486192916967239319244460\ 9708662626357247279935904800409960057550178500129898964269159772872\ 0482517584533*c_0101_4^15 + 189010192363118285773511709779061595744\ 5073927684116915969324466416036543052773425967093163802799205181048\ 008/548619291696723931924446097086626263572472799359048004099600575\ 501785001298989642691597728720482517584533*c_0101_4^14 + 1714403754612768388894451452430594022827087181999096336438659619379\ 715231226865296593429931731053942906938200/548619291696723931924446\ 0970866262635724727993590480040996005755017850012989896426915977287\ 20482517584533*c_0101_4^13 + 29189424493514361572322370519646835084\ 3352442267186059635190604157652491214547834560822590675776247868414\ 9331/54861929169672393192444609708662626357247279935904800409960057\ 5501785001298989642691597728720482517584533*c_0101_4^12 + 1514017819288345568832568501930880274606402358584901510303419662582\ 944723164528983228264568313983502579943886/548619291696723931924446\ 0970866262635724727993590480040996005755017850012989896426915977287\ 20482517584533*c_0101_4^11 + 22034200131947182313168697604472088398\ 5110593384766086095217091214130628013920218740618694393517058306537\ 6711/54861929169672393192444609708662626357247279935904800409960057\ 5501785001298989642691597728720482517584533*c_0101_4^10 + 4101545785664292297195734678268983257554178354576558886597102874831\ 70674847938568455089683168780692853806352/5486192916967239319244460\ 9708662626357247279935904800409960057550178500129898964269159772872\ 0482517584533*c_0101_4^9 + 9218734759739991392327881865056557860492\ 1237904160207299352081986829614577049402727266861621791237544881395\ 2/54861929169672393192444609708662626357247279935904800409960057550\ 1785001298989642691597728720482517584533*c_0101_4^8 - 3615919720788202716275665103965801188425203410749637155530769942460\ 121863737896030534404516616961683367139/163766952745290725947595849\ 8766048547977530744355367176416718135826223884474595948333127548419\ 3507987598*c_0101_4^7 + 2700142620975431750104888363143598308788473\ 19101452343864428741951094821995553838056151294705392570993166103/5\ 4861929169672393192444609708662626357247279935904800409960057550178\ 5001298989642691597728720482517584533*c_0101_4^6 - 2164128813567435603719233731791370245992206189920515185373887085307\ 19440152159276943119832118932447532746237/1097238583393447863848892\ 1941732525271449455987180960081992011510035700025979792853831954574\ 40965035169066*c_0101_4^5 + 126711606723327329536517828435738116472\ 5879937650231749010818411302325474996147204194125109930129208419883\ 83/1097238583393447863848892194173252527144945598718096008199201151\ 003570002597979285383195457440965035169066*c_0101_4^4 - 2385150494908457291001465284832496892053136333953747802180197306752\ 8643147114687859491926383119209658905849/54861929169672393192444609\ 7086626263572472799359048004099600575501785001298989642691597728720\ 482517584533*c_0101_4^3 + 21305452995997082331950688500760510415912\ 546887471046955133128270772707235800054623388129091711819011325999/\ 1097238583393447863848892194173252527144945598718096008199201151003\ 570002597979285383195457440965035169066*c_0101_4^2 - 2466818921824082364098562253094549909071728389944298039753579359621\ 380059629912763865312373113235094873082/548619291696723931924446097\ 0866262635724727993590480040996005755017850012989896426915977287204\ 82517584533*c_0101_4 + 10280163968233659865201550762385385952421439\ 82911990428401842304124617429290420360633957081843154711875663/1097\ 2385833934478638488921941732525271449455987180960081992011510035700\ 02597979285383195457440965035169066, c_0101_0 - 155370888213987636510604652348577830826474926314113456354131\ 78185140998552179067829185310049527722721399/1097238583393447863848\ 8921941732525271449455987180960081992011510035700025979792853831954\ 57440965035169066*c_0101_4^29 + 37412967861543345624177640417790255\ 3075809966649860099493338623902974462788365077226414661534576860650\ 869/109723858339344786384889219417325252714494559871809600819920115\ 1003570002597979285383195457440965035169066*c_0101_4^28 - 3895500278589807352771716717360017958161357454121544499756140143939\ 57221389396746482688711768790364496223/1097238583393447863848892194\ 1732525271449455987180960081992011510035700025979792853831954574409\ 65035169066*c_0101_4^27 - 89096750410204938667285236334540239311743\ 2894058665330568968597178355998473807608203492331357660072244988/54\ 8619291696723931924446097086626263572472799359048004099600575501785\ 001298989642691597728720482517584533*c_0101_4^26 - 2082063655894675464010809448678353405864680683998410393569944918461\ 732136982204143589665179859604611579959/109723858339344786384889219\ 4173252527144945598718096008199201151003570002597979285383195457440\ 965035169066*c_0101_4^25 - 1777185261781316001584049820583472483892\ 8748022686662970080703578090928141375075668899602202316097640650658\ /548619291696723931924446097086626263572472799359048004099600575501\ 785001298989642691597728720482517584533*c_0101_4^24 + 1506012388542580505247625268236075300644409436085807067426071402358\ 3335580696910325032045628016479306144836/54861929169672393192444609\ 7086626263572472799359048004099600575501785001298989642691597728720\ 482517584533*c_0101_4^23 - 1861877540956557318175817125356721029905\ 0493196455743529362034933445394394154167068054948600419868001827278\ 3/10972385833934478638488921941732525271449455987180960081992011510\ 03570002597979285383195457440965035169066*c_0101_4^22 + 1050142331179016060450877835659110425053505240758886813649394544900\ 79190035737128865553972428619644434700355/5486192916967239319244460\ 9708662626357247279935904800409960057550178500129898964269159772872\ 0482517584533*c_0101_4^21 - 509552926348770738148039452604659446333\ 1305806475750938084735886114255148341277598237054923687315936473714\ 77/1097238583393447863848892194173252527144945598718096008199201151\ 003570002597979285383195457440965035169066*c_0101_4^20 + 3943002631665155872197872614472798550025578009549447409913456228476\ 30415217825132270805484986262754172580098/5486192916967239319244460\ 9708662626357247279935904800409960057550178500129898964269159772872\ 0482517584533*c_0101_4^19 - 261879451988560625371449904600148272242\ 2263248627889762351161602766162842966729031699297500218180389297092\ 9/10972385833934478638488921941732525271449455987180960081992011510\ 03570002597979285383195457440965035169066*c_0101_4^18 + 1202956803131997530527409236972415463380087027923289503507593385527\ 247515499830866492367690355370779132011143/548619291696723931924446\ 0970866262635724727993590480040996005755017850012989896426915977287\ 20482517584533*c_0101_4^17 + 34143446011191021260256909293679694248\ 5900925919329990823077083506532892516887718074181467237483235141472\ 6741/10972385833934478638488921941732525271449455987180960081992011\ 51003570002597979285383195457440965035169066*c_0101_4^16 + 2718694783054218210887121188437471451097250557409225253955066674283\ 507949421775856871484106639150894554638493/548619291696723931924446\ 0970866262635724727993590480040996005755017850012989896426915977287\ 20482517584533*c_0101_4^15 + 52641454297695964582317259049858533456\ 9339364470426750092427736444543554965813356523837550870618224840910\ 3280/54861929169672393192444609708662626357247279935904800409960057\ 5501785001298989642691597728720482517584533*c_0101_4^14 + 4677451752906323649219846448276115350881389456384071549465393627843\ 343110611752272184548069089690471631379848/548619291696723931924446\ 0970866262635724727993590480040996005755017850012989896426915977287\ 20482517584533*c_0101_4^13 + 15956386957870271930250671512017949217\ 5884478539131766615354184488931064027378546384224727476061649831903\ 08879/1097238583393447863848892194173252527144945598718096008199201\ 151003570002597979285383195457440965035169066*c_0101_4^12 + 7865196690796509105071330690768017214597848530304052010887516380434\ 562209581442480009276028851826400112252043/109723858339344786384889\ 2194173252527144945598718096008199201151003570002597979285383195457\ 440965035169066*c_0101_4^11 + 1146901027228386765959424871832309047\ 5995871035359440958413712982674928462954431099698101238256438874678\ 011563/109723858339344786384889219417325252714494559871809600819920\ 1151003570002597979285383195457440965035169066*c_0101_4^10 + 1483812309201542923560450769884866758495394253537889489909934026241\ 470487285170099730970972045865368018705015/109723858339344786384889\ 2194173252527144945598718096008199201151003570002597979285383195457\ 440965035169066*c_0101_4^9 + 21229620014749675958073669305656071244\ 3747180132907502641545214313857166221151313398446767742322794576646\ 6098/54861929169672393192444609708662626357247279935904800409960057\ 5501785001298989642691597728720482517584533*c_0101_4^8 - 1809590295057903266017550882480055023045627345843137026048676726600\ 2664518628346249929996507646518516549063/16376695274529072594759584\ 9876604854797753074435536717641671813582622388447459594833312754841\ 93507987598*c_0101_4^7 + 100533789895903800101358801303668418521464\ 9044186556266506457276048983556859514175119552385216117665459335361\ /109723858339344786384889219417325252714494559871809600819920115100\ 3570002597979285383195457440965035169066*c_0101_4^6 - 3776471933759962114088928691961204770225555090533885455021528024877\ 30829059615701185366210549719990121471425/5486192916967239319244460\ 9708662626357247279935904800409960057550178500129898964269159772872\ 0482517584533*c_0101_4^5 + 1044897558684061681729164572696382358766\ 1410314697372451565065303862048798167666687600589397565829372001246\ 4/54861929169672393192444609708662626357247279935904800409960057550\ 1785001298989642691597728720482517584533*c_0101_4^4 - 1348126514895137007545545742554048426214219321420751457129034041435\ 52081070832318912749326619833764763665411/1097238583393447863848892\ 1941732525271449455987180960081992011510035700025979792853831954574\ 40965035169066*c_0101_4^3 + 175915960834702512537233376040998623111\ 4661836493862444385244609662041149531824238257345150014393254596433\ 8/54861929169672393192444609708662626357247279935904800409960057550\ 1785001298989642691597728720482517584533*c_0101_4^2 - 9402645555252684496629777664987909452727882667713281447277742135416\ 372486276087577206241808669792321912231/109723858339344786384889219\ 4173252527144945598718096008199201151003570002597979285383195457440\ 965035169066*c_0101_4 + 7127653931575381008608852417646302756019700\ 59612495884252548833515835133497101068893523383515565746659168/5486\ 1929169672393192444609708662626357247279935904800409960057550178500\ 1298989642691597728720482517584533, c_0101_1 + 271815324815707416293368780924025204310399785165487999224312\ 6784655057811214749616642857896721695140393/10972385833934478638488\ 9219417325252714494559871809600819920115100357000259797928538319545\ 7440965035169066*c_0101_4^29 - 335514725702454976127848761540623650\ 6053746713233815299311301733991160524749783741477041856257225161252\ 9/54861929169672393192444609708662626357247279935904800409960057550\ 1785001298989642691597728720482517584533*c_0101_4^28 + 1077135513978856597197888229340887918930000641380515648448769614340\ 79821127679027819621223453128106502159/1097238583393447863848892194\ 1732525271449455987180960081992011510035700025979792853831954574409\ 65035169066*c_0101_4^27 + 27468821805677872943355309349776599760032\ 0074550913964453803190273617656754348005186434181526904317580929/10\ 9723858339344786384889219417325252714494559871809600819920115100357\ 0002597979285383195457440965035169066*c_0101_4^26 + 1696331854395389983752001452727991251142796372101180632954485128435\ 33784068164757009035382775363315915205/1097238583393447863848892194\ 1732525271449455987180960081992011510035700025979792853831954574409\ 65035169066*c_0101_4^25 + 59796400423925774302065285292135698654408\ 70299309787080679450872442255110892309351300123218255065055334393/1\ 0972385833934478638488921941732525271449455987180960081992011510035\ 70002597979285383195457440965035169066*c_0101_4^24 - 4533113719887428772188860991583851367348706928325010549001809711091\ 585228548186539866023772541922792602727/548619291696723931924446097\ 0866262635724727993590480040996005755017850012989896426915977287204\ 82517584533*c_0101_4^23 + 35355330752201166422456437494987924410053\ 221600226372323279718863371742625103407073783963650100831307531719/\ 1097238583393447863848892194173252527144945598718096008199201151003\ 570002597979285383195457440965035169066*c_0101_4^22 - 2806039436583967294782612186528392510602936982519315228047945478099\ 1417460243315841306579094954211727744878/54861929169672393192444609\ 7086626263572472799359048004099600575501785001298989642691597728720\ 482517584533*c_0101_4^21 + 1090382464428780184476016375455290347165\ 6630215983729455004787415549418597311685115236933156500065662771733\ 9/10972385833934478638488921941732525271449455987180960081992011510\ 03570002597979285383195457440965035169066*c_0101_4^20 - 1892407625780882761791430410645637747150830270828374383154942501188\ 14941682263784368442799293101530116355797/1097238583393447863848892\ 1941732525271449455987180960081992011510035700025979792853831954574\ 40965035169066*c_0101_4^19 + 40570788494609298552936411783751505758\ 0864587630552216387884272497821957090364203386912713613072306760344\ 90/5486192916967239319244460970866262635724727993590480040996005755\ 01785001298989642691597728720482517584533*c_0101_4^18 - 2065493753149246164660850005423476921438452286966626759150039855489\ 62855676597016880830699012289630648718291/5486192916967239319244460\ 9708662626357247279935904800409960057550178500129898964269159772872\ 0482517584533*c_0101_4^17 - 172797608660238856310676067151587358359\ 1099691719525857619606424512938551839065816222075188084614200488076\ 63/5486192916967239319244460970866262635724727993590480040996005755\ 01785001298989642691597728720482517584533*c_0101_4^16 - 5584708329170154720766705510951996046467578950752712300093209773769\ 43572215454343596301176573425226105823749/1097238583393447863848892\ 1941732525271449455987180960081992011510035700025979792853831954574\ 40965035169066*c_0101_4^15 - 12264506255524505321997759155022474693\ 6820217153126660262091659653164961116949439385158875423002275371979\ 8367/10972385833934478638488921941732525271449455987180960081992011\ 51003570002597979285383195457440965035169066*c_0101_4^14 - 2249147500246308721775123246288286886615167029352794665099184582061\ 76110129896651824860676485054170050716279/5486192916967239319244460\ 9708662626357247279935904800409960057550178500129898964269159772872\ 0482517584533*c_0101_4^13 - 829933015363908990726672520488328281001\ 1980934055064029591878407703076302578011477768961551789424547341719\ 45/5486192916967239319244460970866262635724727993590480040996005755\ 01785001298989642691597728720482517584533*c_0101_4^12 + 2231788113176334219055657697802209301879390741099364482848543225813\ 01446968382798962225290082438412910014845/5486192916967239319244460\ 9708662626357247279935904800409960057550178500129898964269159772872\ 0482517584533*c_0101_4^11 - 931559972432871515595628189712890380067\ 0374652001550314144088434473358963760859127073016941564451411222538\ 69/1097238583393447863848892194173252527144945598718096008199201151\ 003570002597979285383195457440965035169066*c_0101_4^10 + 1104161481997796120011514086068947939554365698111153743833889410664\ 600671928730439237404926284102442197471079/109723858339344786384889\ 2194173252527144945598718096008199201151003570002597979285383195457\ 440965035169066*c_0101_4^9 - 17784961352684696107656427067864114948\ 2898154872558813807356206903104523551369189928362780943306491394987\ 989/548619291696723931924446097086626263572472799359048004099600575\ 501785001298989642691597728720482517584533*c_0101_4^8 + 1121965788077002438646517663063384609373217124050380747173005407158\ 7030474238935111799362000058901696392065/16376695274529072594759584\ 9876604854797753074435536717641671813582622388447459594833312754841\ 93507987598*c_0101_4^7 - 874020921592578860605839442300104997881078\ 44531317910175247340620107863709422632096048773936534963363591709/5\ 4861929169672393192444609708662626357247279935904800409960057550178\ 5001298989642691597728720482517584533*c_0101_4^6 + 1337769203995828183967878279967492921211692187791061676965524405588\ 48570496542602220908658234175611397979526/5486192916967239319244460\ 9708662626357247279935904800409960057550178500129898964269159772872\ 0482517584533*c_0101_4^5 - 3461776895495404989302695536787069321978\ 6055658012946765828220711201900102897099487786083441341350595029452\ /548619291696723931924446097086626263572472799359048004099600575501\ 785001298989642691597728720482517584533*c_0101_4^4 + 2430810856073322825473973895818008181252408841846745970507110191142\ 2917848358111546761999519644388571411457/54861929169672393192444609\ 7086626263572472799359048004099600575501785001298989642691597728720\ 482517584533*c_0101_4^3 - 56672606565192848554975156613405353254762\ 88892594112411040331143044075353388378722238883528871697523870049/5\ 4861929169672393192444609708662626357247279935904800409960057550178\ 5001298989642691597728720482517584533*c_0101_4^2 + 3700248294508316169009398352778310752331682314962652531387028468475\ 720730940246944250662445222152844952869/109723858339344786384889219\ 4173252527144945598718096008199201151003570002597979285383195457440\ 965035169066*c_0101_4 - 1962909849541823124932101165120557606093760\ 48721747788300115388549240521604774310076110252575513533497027/5486\ 1929169672393192444609708662626357247279935904800409960057550178500\ 1298989642691597728720482517584533, c_0101_3 + 168676232386368136151594245068556929248547911774056323259794\ 7230076656326660583483546027547742753017305/10972385833934478638488\ 9219417325252714494559871809600819920115100357000259797928538319545\ 7440965035169066*c_0101_4^29 - 210038900496676762125071127966611167\ 0097427484484317233405786698466798103914334464020970438038569244144\ 7/54861929169672393192444609708662626357247279935904800409960057550\ 1785001298989642691597728720482517584533*c_0101_4^28 + 3784443304748150501781990406471677857054918970116005280810501883910\ 7145822911543385127271770589646390508/54861929169672393192444609708\ 6626263572472799359048004099600575501785001298989642691597728720482\ 517584533*c_0101_4^27 + 8028218667541047885721851130954876213114898\ 9283345762059278466886810101380590854734981007699097326872078/54861\ 9291696723931924446097086626263572472799359048004099600575501785001\ 298989642691597728720482517584533*c_0101_4^26 + 3569198806883091466505956034196737953917760846293837964730348126426\ 9483931675643442835781531600805072021/54861929169672393192444609708\ 6626263572472799359048004099600575501785001298989642691597728720482\ 517584533*c_0101_4^25 + 1827593087595498923183943907955246665359849\ 855808576296792259944262902141679580818689183595144691758562743/548\ 6192916967239319244460970866262635724727993590480040996005755017850\ 01298989642691597728720482517584533*c_0101_4^24 - 6503591427185107398304913445844438629923335224727553258181595811937\ 486521966751472729715587015658012463531/109723858339344786384889219\ 4173252527144945598718096008199201151003570002597979285383195457440\ 965035169066*c_0101_4^23 + 1132528845359905666758026991889757167967\ 2837784937949016096398800869796924181624126289498785628134305593023\ /548619291696723931924446097086626263572472799359048004099600575501\ 785001298989642691597728720482517584533*c_0101_4^22 - 1998647374518092479809107903489302175956458356448923100267700130354\ 5096675941616845631839964341504469551237/54861929169672393192444609\ 7086626263572472799359048004099600575501785001298989642691597728720\ 482517584533*c_0101_4^21 + 7346056171354639703928460263755170686226\ 6989169486836171737372710304812659246411558683200346794305395449175\ /109723858339344786384889219417325252714494559871809600819920115100\ 3570002597979285383195457440965035169066*c_0101_4^20 - 1332246968443133471135699270048080056760571625040638678077218428797\ 05602303137716263615759946538750000146369/1097238583393447863848892\ 1941732525271449455987180960081992011510035700025979792853831954574\ 40965035169066*c_0101_4^19 + 73431486771921709336276746269373968289\ 7641324383991654623404171988578789037423864716110575029751183569128\ 15/1097238583393447863848892194173252527144945598718096008199201151\ 003570002597979285383195457440965035169066*c_0101_4^18 - 1332617985552455998452447899466018767110876729608677297149343774776\ 55514558788556973712726003832953436234525/5486192916967239319244460\ 9708662626357247279935904800409960057550178500129898964269159772872\ 0482517584533*c_0101_4^17 - 143925726631306158153662964238816131060\ 3593799773448649917843927705768803283906566796785406652015766146996\ 37/1097238583393447863848892194173252527144945598718096008199201151\ 003570002597979285383195457440965035169066*c_0101_4^16 - 1318827724714784257549588648547147177435857527246624972421114416726\ 16482593847646397326729947739735131194172/5486192916967239319244460\ 9708662626357247279935904800409960057550178500129898964269159772872\ 0482517584533*c_0101_4^15 - 595396592415988588545313968851386084319\ 8700774344380893862288335084034775586233460992576765041434783105186\ 81/1097238583393447863848892194173252527144945598718096008199201151\ 003570002597979285383195457440965035169066*c_0101_4^14 + 1793756628364917891093439621928539923920627629787521803645366055547\ 0953320829220148242533017857694105559430/54861929169672393192444609\ 7086626263572472799359048004099600575501785001298989642691597728720\ 482517584533*c_0101_4^13 - 7272199537815303596712626890224698262538\ 4309305884755995908930480232664440206432372651947915536032049647614\ 3/10972385833934478638488921941732525271449455987180960081992011510\ 03570002597979285383195457440965035169066*c_0101_4^12 + 8363524187789712700629350924074812711503429032973494258862543591476\ 94912136563367047737202679743377210195767/1097238583393447863848892\ 1941732525271449455987180960081992011510035700025979792853831954574\ 40965035169066*c_0101_4^11 - 24574042179079503571798076981923503582\ 8382563627894874410008665058606647106868997912900043516064291096224\ 711/109723858339344786384889219417325252714494559871809600819920115\ 1003570002597979285383195457440965035169066*c_0101_4^10 + 6010366318882742226530863936322711359239910749066854762350457228490\ 45914538848126040526772735384417693618174/5486192916967239319244460\ 9708662626357247279935904800409960057550178500129898964269159772872\ 0482517584533*c_0101_4^9 - 3690086158840855793039845761934231503845\ 4144615267957501028875916411017850056257243995664779054589262105613\ /548619291696723931924446097086626263572472799359048004099600575501\ 785001298989642691597728720482517584533*c_0101_4^8 + 1056014813223067315750574404348381737089595785815492705472583656610\ 3975529582469600712287558353214400599403/16376695274529072594759584\ 9876604854797753074435536717641671813582622388447459594833312754841\ 93507987598*c_0101_4^7 - 612993053128180996618563651874584635324185\ 10406804390773368004634338027836094155521266101641765264210617576/5\ 4861929169672393192444609708662626357247279935904800409960057550178\ 5001298989642691597728720482517584533*c_0101_4^6 + 2237816624358460949442973169299118903408108680980532900757586586875\ 37835284464447830344493174974026813658301/1097238583393447863848892\ 1941732525271449455987180960081992011510035700025979792853831954574\ 40965035169066*c_0101_4^5 - 747504666754803222352223681604153898202\ 2494964609808910708112040321305007507889862696455632241972409047910\ 9/10972385833934478638488921941732525271449455987180960081992011510\ 03570002597979285383195457440965035169066*c_0101_4^4 + 1877511532266765307351748386734826667343433311349728670124354528592\ 8083078490642186164508128018260792777700/54861929169672393192444609\ 7086626263572472799359048004099600575501785001298989642691597728720\ 482517584533*c_0101_4^3 - 15236847684633440606488009883970375912526\ 099574664194120139624963208206322192988440111432145902690625752609/\ 1097238583393447863848892194173252527144945598718096008199201151003\ 570002597979285383195457440965035169066*c_0101_4^2 + 1538544784729762526374883369933132907461537799802134023993541356911\ 299037091916125669401006203371631744622/548619291696723931924446097\ 0866262635724727993590480040996005755017850012989896426915977287204\ 82517584533*c_0101_4 - 27146578495720468375333628249566532578218861\ 9016866041257292660020125556668187352621926974820080350896911/54861\ 9291696723931924446097086626263572472799359048004099600575501785001\ 298989642691597728720482517584533, c_0101_4^30 - 24*c_0101_4^29 + 70/3*c_0101_4^28 + 337/3*c_0101_4^27 + 147*c_0101_4^26 + 2320*c_0101_4^25 - 5186/3*c_0101_4^24 + 12250*c_0101_4^23 - 38531/3*c_0101_4^22 + 101540/3*c_0101_4^21 - 150601/3*c_0101_4^20 + 3185*c_0101_4^19 - 488341/3*c_0101_4^18 - 700471/3*c_0101_4^17 - 1185610/3*c_0101_4^16 - 2252813/3*c_0101_4^15 - 2181142/3*c_0101_4^14 - 3634928/3*c_0101_4^13 - 2170073/3*c_0101_4^12 - 2972449/3*c_0101_4^11 - 291150*c_0101_4^10 - 1332584/3*c_0101_4^9 - 7114/3*c_0101_4^8 - 124230*c_0101_4^7 + 37259*c_0101_4^6 - 73564/3*c_0101_4^5 + 32771/3*c_0101_4^4 - 10492/3*c_0101_4^3 + 3755/3*c_0101_4^2 - 205*c_0101_4 + 41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.280 seconds, Total memory usage: 32.09MB