Magma V2.19-8 Tue Aug 20 2013 16:17:46 on localhost [Seed = 2480017264] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2006 geometric_solution 5.56069242 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 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 -1 1 0 0 0 -1 1 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.753191451015 0.082375332765 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 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.611261073300 0.233025438587 3 1 4 1 0132 0132 0132 1023 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 0 1 -1 -1 0 0 1 -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.844310915414 1.838270832583 2 4 6 5 0132 3201 0132 0132 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 1 -1 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.042465302460 0.996445469108 5 6 3 2 3201 0132 2310 0132 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 1 0 -1 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.042465302460 0.996445469108 5 5 3 4 1302 2031 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.491183876609 0.897905941060 6 4 6 3 2310 0132 3201 0132 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 -1 0 1 -1 0 0 1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468641368443 0.873292622230 ==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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_4']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 41 Groebner basis: [ t - 7895462624900869014931544349512115653589511040633813414782566600100\ 140585322/115463727591602043958456241071296539918332949822509774429\ 19697204075407*c_0101_4^40 + 21173377849480111565823622756250341593\ 603282459354214591030420273191647860813/346391182774806131875368723\ 21388961975499884946752932328759091612226221*c_0101_4^39 + 3023007321976061914932175302310615738977716177721286720370780202704\ 2584473031/32989636454743441130987497448941868548095128520717078408\ 34199201164402*c_0101_4^38 + 18133746436567457100544473529927848232\ 3678730062827971263038635541677958162059/11546372759160204395845624\ 107129653991833294982250977442919697204075407*c_0101_4^37 + 8211247313041754211150142616185164664935162660942367553001310963079\ 09894064946/3463911827748061318753687232138896197549988494675293232\ 8759091612226221*c_0101_4^36 + 154074233234898470635925669953643759\ 3195808029879805822943412146930457653811392/34639118277480613187536\ 872321388961975499884946752932328759091612226221*c_0101_4^35 + 1174866529524242016776975737096272628181155791350905560976745011961\ 340595173180/115463727591602043958456241071296539918332949822509774\ 42919697204075407*c_0101_4^34 + 64622100489958003934757347504742736\ 7377522168146584498277859853497396792416157/98968909364230323392962\ 49234682560564428538556215123522502597603493206*c_0101_4^33 - 2933386098391194798588989295846537374070255239318417294954059962954\ 1179482913209/69278236554961226375073744642777923950999769893505864\ 657518183224452442*c_0101_4^32 - 1879401982912081917447604027417606\ 9512475795098702587730077943387306227931874173/23092745518320408791\ 691248214259307983666589964501954885839394408150814*c_0101_4^31 - 1527036035953143423742110082892302680425856126392295634823319226676\ 9181574310357/69278236554961226375073744642777923950999769893505864\ 657518183224452442*c_0101_4^30 + 5668492478466681206811462344421631\ 877961960394317658949943601871493854445478694/494844546821151616964\ 8124617341280282214269278107561761251298801746603*c_0101_4^29 + 1600401737542949255012263679838935997168143003012086423109616927425\ 3246375330875/11546372759160204395845624107129653991833294982250977\ 442919697204075407*c_0101_4^28 - 4186248075495359337504771538091908\ 2992898840986179705049800583688389189406423655/34639118277480613187\ 536872321388961975499884946752932328759091612226221*c_0101_4^27 - 3311553192792720682002752735304228859427401465838778389730104905519\ 3304557078075/11546372759160204395845624107129653991833294982250977\ 442919697204075407*c_0101_4^26 + 3945149880816004847440200054971365\ 6817770095585999502662960911409286038283768787/34639118277480613187\ 536872321388961975499884946752932328759091612226221*c_0101_4^25 + 3787202843222516113784202400643627755039130720922002606456420107571\ 99915190032623/6927823655496122637507374464277792395099976989350586\ 4657518183224452442*c_0101_4^24 + 970360247428216554419703574534568\ 31806424272560649074500285115598817311906621675/6927823655496122637\ 5073744642777923950999769893505864657518183224452442*c_0101_4^23 - 1153596169094954717306494206434383501276870983631356367604419137057\ 53928016848883/2309274551832040879169124821425930798366658996450195\ 4885839394408150814*c_0101_4^22 - 190775231019774345405438535461458\ 521938549690327940794707025340410347190193751555/692782365549612263\ 75073744642777923950999769893505864657518183224452442*c_0101_4^21 + 1044316476880845520978094528936111708184102905217363287197218909273\ 95058169796203/6927823655496122637507374464277792395099976989350586\ 4657518183224452442*c_0101_4^20 - 500592933863277388426146105951788\ 507336611367735491362049980921108298868902271/692782365549612263750\ 73744642777923950999769893505864657518183224452442*c_0101_4^19 + 6685533106999854001760066604855460781593484822235836655563453920553\ 990843395993/346391182774806131875368723213889619754998849467529323\ 28759091612226221*c_0101_4^18 + 17522598906647609404773626103301620\ 7979186659120808218931951178366195897143404447/69278236554961226375\ 073744642777923950999769893505864657518183224452442*c_0101_4^17 - 6159690677416285105985028630410141804165283203379259383671669884976\ 9719739925761/69278236554961226375073744642777923950999769893505864\ 657518183224452442*c_0101_4^16 - 3712756152875197484321535430145510\ 5938307813954071331968142585052402925950796787/98968909364230323392\ 96249234682560564428538556215123522502597603493206*c_0101_4^15 + 2515854169795784493758392695492358483412079889861628613629250154215\ 2733672031511/34639118277480613187536872321388961975499884946752932\ 328759091612226221*c_0101_4^14 + 2386797853872162287151809460971037\ 13155732156772385099057170029589386331506656267/6927823655496122637\ 5073744642777923950999769893505864657518183224452442*c_0101_4^13 + 6947803670417282178066489314597714314855805308229957372528043877419\ 592941898039/230927455183204087916912482142593079836665899645019548\ 85839394408150814*c_0101_4^12 - 83755622658826024348811312073943361\ 220605383436129694567199459325714750609219827/692782365549612263750\ 73744642777923950999769893505864657518183224452442*c_0101_4^11 - 2725604451592619388817123938084032779417995147695967271963014658112\ 022231817018/346391182774806131875368723213889619754998849467529323\ 28759091612226221*c_0101_4^10 - 19108088838139212985019784525896846\ 50790447638725894582077590402795759078082906/1154637275916020439584\ 5624107129653991833294982250977442919697204075407*c_0101_4^9 - 5878094516494563009848887522568685457178534432220488799917136714807\ 777498997987/115463727591602043958456241071296539918332949822509774\ 42919697204075407*c_0101_4^8 + 251809534407269212994486238155042526\ 082054881741152420838420259385379638647655/329896364547434411309874\ 9744894186854809512852071707840834199201164402*c_0101_4^7 + 3987007423232549101045936848171314842195142642680178224898989138294\ 775030419586/115463727591602043958456241071296539918332949822509774\ 42919697204075407*c_0101_4^6 + 811152897201203806366414514735002732\ 965577125403798372051469281820378659290268/115463727591602043958456\ 24107129653991833294982250977442919697204075407*c_0101_4^5 - 5157833232119386268528151847451985269946327905244367283201905969234\ 413727534171/692782365549612263750737446427779239509997698935058646\ 57518183224452442*c_0101_4^4 - 211661962048173840161010253066016211\ 7381164976545568348683797814687497160694673/69278236554961226375073\ 744642777923950999769893505864657518183224452442*c_0101_4^3 + 1084618069224695821662735143968353948211091512786877138425637182585\ 83574414682/3463911827748061318753687232138896197549988494675293232\ 8759091612226221*c_0101_4^2 + 2230107319947600750159955517985034364\ 15357456491078674142280105329102274125963/6927823655496122637507374\ 4642777923950999769893505864657518183224452442*c_0101_4 + 2964054563374224725030481877979760545858157025344151779176613305542\ 1831262803/69278236554961226375073744642777923950999769893505864657\ 518183224452442, c_0011_0 - 1, c_0011_4 + 234977410655438235498753164188407103159309006008505102534479\ 3488682716653795/16494818227371720565493748724470934274047564260358\ 53920417099600582201*c_0101_4^40 - 4674710684990054199026101719845439709080106816216729050382210672863\ 326164069/329896364547434411309874974489418685480951285207170784083\ 4199201164402*c_0101_4^39 - 124611909704938143393108004799306922369\ 870537157701373259292123755020618305595/659792729094868822619749948\ 9788373709619025704143415681668398402328804*c_0101_4^38 - 5096940896082435818139205386665471561597732888506903165111620400129\ 7418883735/16494818227371720565493748724470934274047564260358539204\ 17099600582201*c_0101_4^37 - 77588450158651784564911176313438908323\ 184923024182851817383119708220895905900/164948182273717205654937487\ 2447093427404756426035853920417099600582201*c_0101_4^36 - 5866480847191080167898305567690219471914775339042450595701552985328\ 26806720921/6597927290948688226197499489788373709619025704143415681\ 668398402328804*c_0101_4^35 - 1349928281060642782432699386296448729\ 350085460779940472297187775562306297320971/659792729094868822619749\ 9489788373709619025704143415681668398402328804*c_0101_4^34 - 7819996906478987724480629623457699831019563974673537995068969260870\ 94070034347/6597927290948688226197499489788373709619025704143415681\ 668398402328804*c_0101_4^33 + 5850047229061989410183789637444889042\ 583484387568664724440257434370778279470673/659792729094868822619749\ 9489788373709619025704143415681668398402328804*c_0101_4^32 + 5292093992090285817400588034622069989548112988238892959884186033811\ 079534410967/329896364547434411309874974489418685480951285207170784\ 0834199201164402*c_0101_4^31 + 221756149222414893466870886519928228\ 9535151405267453863251064742199368976887215/65979272909486882261974\ 99489788373709619025704143415681668398402328804*c_0101_4^30 - 3906351266894116394095417862986707580799936642471528263196502124059\ 020009266611/164948182273717205654937487244709342740475642603585392\ 0417099600582201*c_0101_4^29 - 438191321670689744943947710537155939\ 6581967363501442859826262637196720275846040/16494818227371720565493\ 74872447093427404756426035853920417099600582201*c_0101_4^28 + 1773368289635230298405225155468725875646294413635283061714252551206\ 8476678904059/65979272909486882261974994897883737096190257041434156\ 81668398402328804*c_0101_4^27 + 37159845976077693724187426913697660\ 239252987065053598719777955069360266828271311/659792729094868822619\ 7499489788373709619025704143415681668398402328804*c_0101_4^26 - 4610935240633747029986405297467323914678499473280661987473390636527\ 617143955325/164948182273717205654937487244709342740475642603585392\ 0417099600582201*c_0101_4^25 - 721015423476980556799018044803093476\ 37326124512676646480599436732637227722875737/6597927290948688226197\ 499489788373709619025704143415681668398402328804*c_0101_4^24 - 6635116917182468233316059192150379401783462620648878606603868331445\ 557226293669/329896364547434411309874974489418685480951285207170784\ 0834199201164402*c_0101_4^23 + 168677992612470139713318905619978543\ 48487498097987004973172792058304545353256458/1649481822737172056549\ 374872447093427404756426035853920417099600582201*c_0101_4^22 + 7888789448556362448809212965108671317132901864008025597809968675471\ 799229960523/164948182273717205654937487244709342740475642603585392\ 0417099600582201*c_0101_4^21 - 212361096584065613273024161276494662\ 78745408978825807719248704065504522328880177/6597927290948688226197\ 499489788373709619025704143415681668398402328804*c_0101_4^20 + 6144976915842196886174393450902368048255740058976537829427723803365\ 38567592666/1649481822737172056549374872447093427404756426035853920\ 417099600582201*c_0101_4^19 - 3900340933808060321602963711064323904\ 816055273629459662355077907446805040616579/659792729094868822619749\ 9489788373709619025704143415681668398402328804*c_0101_4^18 - 1692262564987199855639750063101587479404251207854894182937416371023\ 1532790396327/32989636454743441130987497448941868548095128520717078\ 40834199201164402*c_0101_4^17 + 15244215268252542985013527517207583\ 179506186027236386909531387618230447914240977/659792729094868822619\ 7499489788373709619025704143415681668398402328804*c_0101_4^16 + 4874849491792221595066391628676487209815545907968755633179604576708\ 9523764030539/65979272909486882261974994897883737096190257041434156\ 81668398402328804*c_0101_4^15 - 68529956299951730544559652621242725\ 65079763356572361929465853880994805865198763/3298963645474344113098\ 749744894186854809512852071707840834199201164402*c_0101_4^14 - 2219923460105540215085880237701354134394293675809128854146686871303\ 7589345500607/32989636454743441130987497448941868548095128520717078\ 40834199201164402*c_0101_4^13 - 91163425006773823494025605262023421\ 4709944293533826466826518840000291443817977/65979272909486882261974\ 99489788373709619025704143415681668398402328804*c_0101_4^12 + 7672504860005978536933866406139027658893242844216620318818275652471\ 970521153451/329896364547434411309874974489418685480951285207170784\ 0834199201164402*c_0101_4^11 + 740667805384516218900118574563376608\ 24358769822872336710017515405693479634783/6597927290948688226197499\ 489788373709619025704143415681668398402328804*c_0101_4^10 + 2694163772688842596870220721187322565390746605608388964364068640058\ 078966313743/659792729094868822619749948978837370961902570414341568\ 1668398402328804*c_0101_4^9 + 1637033826447906792279619049700915465\ 051656448930263284297444024961980944641584/164948182273717205654937\ 4872447093427404756426035853920417099600582201*c_0101_4^8 - 1519245823183829038999894478944843009545749207021430344202404603066\ 302771198473/659792729094868822619749948978837370961902570414341568\ 1668398402328804*c_0101_4^7 - 4394236766754557481030893334010723388\ 020533554660930030073312054160022280911719/659792729094868822619749\ 9489788373709619025704143415681668398402328804*c_0101_4^6 - 6718201122469557959466686215400893598619304994914510760429156471830\ 97977540773/6597927290948688226197499489788373709619025704143415681\ 668398402328804*c_0101_4^5 + 48334467086611187102219109894114332473\ 4606284418882833167013685099693001386351/32989636454743441130987497\ 44894186854809512852071707840834199201164402*c_0101_4^4 + 1732790318038201845257529217481531372279860914375336470809590850692\ 02697132461/3298963645474344113098749744894186854809512852071707840\ 834199201164402*c_0101_4^3 - 46882105161777779629630618541599008727\ 300952967314303259447357810644913388265/659792729094868822619749948\ 9788373709619025704143415681668398402328804*c_0101_4^2 - 3789964753803400591603271713073208451486936608410098938122323828213\ 0486715169/65979272909486882261974994897883737096190257041434156816\ 68398402328804*c_0101_4 - 11876458701944383491408745015570362983195\ 70183350776557106445031833373270762/1649481822737172056549374872447\ 093427404756426035853920417099600582201, c_0011_5 - 239578438835404309450143751056865802112568161619874457211408\ 9024999226389074/16494818227371720565493748724470934274047564260358\ 53920417099600582201*c_0101_4^40 + 2382969697145656277641903264015900482692722556464975629356887428143\ 557095966/164948182273717205654937487244709342740475642603585392041\ 7099600582201*c_0101_4^39 + 317631697953192176234854319681691565075\ 08917371949072835202018164419204364792/1649481822737172056549374872\ 447093427404756426035853920417099600582201*c_0101_4^38 + 2078776244530099756537805872324710368968302927449572270147825620014\ 31400962305/6597927290948688226197499489788373709619025704143415681\ 668398402328804*c_0101_4^37 + 7911043513063544535685554265714354509\ 2935347239178477617339000770199387581137/16494818227371720565493748\ 72447093427404756426035853920417099600582201*c_0101_4^36 + 1495379571827621374151674938273389252159924187688571584394496761934\ 14968773030/1649481822737172056549374872447093427404756426035853920\ 417099600582201*c_0101_4^35 + 1376394012173452513088279844428370749\ 509958155878846929284109299319330971404395/659792729094868822619749\ 9489788373709619025704143415681668398402328804*c_0101_4^34 + 7973896612362504590442354154604728429215534258407886359121241805399\ 53217573591/6597927290948688226197499489788373709619025704143415681\ 668398402328804*c_0101_4^33 - 5964567535510495071556353665325134450\ 490210873193036924877870619933828327444357/659792729094868822619749\ 9489788373709619025704143415681668398402328804*c_0101_4^32 - 1079182538282523607028081318991921278804971272751047187801714412994\ 2523644022525/65979272909486882261974994897883737096190257041434156\ 81668398402328804*c_0101_4^31 - 56539036412030578182160008416195408\ 0568942014154905650185527766805083153769337/16494818227371720565493\ 74872447093427404756426035853920417099600582201*c_0101_4^30 + 1593139841580512979377118353319752892726531157247984038005438962533\ 5939338162899/65979272909486882261974994897883737096190257041434156\ 81668398402328804*c_0101_4^29 + 44679697297557868868558120041061059\ 24238046161621030749776168340455972824302382/1649481822737172056549\ 374872447093427404756426035853920417099600582201*c_0101_4^28 - 4520019621119070511727965964147188121870923425327188220520646026768\ 108057916712/164948182273717205654937487244709342740475642603585392\ 0417099600582201*c_0101_4^27 - 378888931951219195266281286682840079\ 20082042318361060556725477433785472131487797/6597927290948688226197\ 499489788373709619025704143415681668398402328804*c_0101_4^26 + 1880285200641692826599412743919532340020392537864233423462805646726\ 4151418864479/65979272909486882261974994897883737096190257041434156\ 81668398402328804*c_0101_4^25 + 36757594687366482115062094630642014\ 010161360326064015609357546631363922115081665/329896364547434411309\ 8749744894186854809512852071707840834199201164402*c_0101_4^24 + 1353429426602252737595915582251948427858059145756944164525737442317\ 1301904974153/65979272909486882261974994897883737096190257041434156\ 81668398402328804*c_0101_4^23 - 17198192486688248188521437904882630\ 465536791806701503369462474964803507623256307/164948182273717205654\ 9374872447093427404756426035853920417099600582201*c_0101_4^22 - 1608871109510959898558533070643415385771199905170397869802103065085\ 2510307438007/32989636454743441130987497448941868548095128520717078\ 40834199201164402*c_0101_4^21 + 10825603886508760448142454170253001\ 217822171825326259559731207828588290251419347/329896364547434411309\ 8749744894186854809512852071707840834199201164402*c_0101_4^20 - 2504396105265251215481386687742125919938451539466447064816239981555\ 120196732043/659792729094868822619749948978837370961902570414341568\ 1668398402328804*c_0101_4^19 + 994002003892853756828523243682980831\ 660225631193258700333760139116025061108644/164948182273717205654937\ 4872447093427404756426035853920417099600582201*c_0101_4^18 + 3450837808273875021834846707511620955854537296914098378224281508008\ 3656373126167/65979272909486882261974994897883737096190257041434156\ 81668398402328804*c_0101_4^17 - 38851393221470523391216768096407057\ 00593010863684495908327469350567836025963594/1649481822737172056549\ 374872447093427404756426035853920417099600582201*c_0101_4^16 - 4970468391081725689329288625695940453238790167742510336882157267196\ 2496989674845/65979272909486882261974994897883737096190257041434156\ 81668398402328804*c_0101_4^15 + 13971595588790622626375477355725291\ 723049335015901672330922321287904688961579263/659792729094868822619\ 7499489788373709619025704143415681668398402328804*c_0101_4^14 + 1131740343643338298017734805550941985895052457490392213588531080452\ 6743550258567/16494818227371720565493748724470934274047564260358539\ 20417099600582201*c_0101_4^13 + 23298059915044138522379714393801507\ 6369333791028067274498473324130993958795869/16494818227371720565493\ 74872447093427404756426035853920417099600582201*c_0101_4^12 - 1564622021015394318627230675943545914159057941969053262506743453851\ 3584805873819/65979272909486882261974994897883737096190257041434156\ 81668398402328804*c_0101_4^11 - 38170564738697693255700245376755820\ 730832439537893597216871234839364010564157/329896364547434411309874\ 9744894186854809512852071707840834199201164402*c_0101_4^10 - 2746632961003028941146001678897700579656252814630110648931377060062\ 984497806449/659792729094868822619749948978837370961902570414341568\ 1668398402328804*c_0101_4^9 - 6676610207825757430323249088704616468\ 407999746155895749239223754609963465724281/659792729094868822619749\ 9489788373709619025704143415681668398402328804*c_0101_4^8 + 7743137594251603331473872536786852938371248163929799188708828102598\ 14596445701/3298963645474344113098749744894186854809512852071707840\ 834199201164402*c_0101_4^7 + 44805020040268729491278659922795938059\ 42014802908869410080407178253556715017895/6597927290948688226197499\ 489788373709619025704143415681668398402328804*c_0101_4^6 + 6852012929080486095137221011417271530491536109141846579857413566847\ 82626975605/6597927290948688226197499489788373709619025704143415681\ 668398402328804*c_0101_4^5 - 98565004755965282918371702979857236328\ 9654194483804808093230760109204126359799/65979272909486882261974994\ 89788373709619025704143415681668398402328804*c_0101_4^4 - 8834994675307738554890540047786408407360808010335031829208769042840\ 0261068789/16494818227371720565493748724470934274047564260358539204\ 17099600582201*c_0101_4^3 + 238980249510042616137227415737503612116\ 23719952417590295044592341275401948367/3298963645474344113098749744\ 894186854809512852071707840834199201164402*c_0101_4^2 + 3864654566977846538917070655137570470015283088338203150049642994142\ 0964628829/65979272909486882261974994897883737096190257041434156816\ 68398402328804*c_0101_4 + 48444972679668204748347371362367390932012\ 83441028585094507235212340019716141/6597927290948688226197499489788\ 373709619025704143415681668398402328804, c_0101_0 + 215722887069915444365022744242909120954876207972107438915575\ 4381016622692731/16494818227371720565493748724470934274047564260358\ 53920417099600582201*c_0101_4^40 - 4293426578317435209587013710790044461907681540676744596850991177673\ 954094113/329896364547434411309874974489418685480951285207170784083\ 4199201164402*c_0101_4^39 - 114396298629946461168233682532128960284\ 652213803482564063024311707231798279239/659792729094868822619749948\ 9788373709619025704143415681668398402328804*c_0101_4^38 - 9356295491017651728754151961077788705876061087189929920464356365831\ 2877705325/32989636454743441130987497448941868548095128520717078408\ 34199201164402*c_0101_4^37 - 71215198398507927640762618530623766096\ 262104098075771357083197537206394463375/164948182273717205654937487\ 2447093427404756426035853920417099600582201*c_0101_4^36 - 5384811612506324427681356584532479338230431521386602519228484137761\ 00745495535/6597927290948688226197499489788373709619025704143415681\ 668398402328804*c_0101_4^35 - 1239123097359745154388853098352072519\ 900956877607940649338039945855722197857183/659792729094868822619749\ 9489788373709619025704143415681668398402328804*c_0101_4^34 - 7174752420908103086948213619062418463193335419124598972979945945435\ 31208132777/6597927290948688226197499489788373709619025704143415681\ 668398402328804*c_0101_4^33 + 5370829995978121963288086740942458449\ 236502815808496210348264625446184648370407/659792729094868822619749\ 9489788373709619025704143415681668398402328804*c_0101_4^32 + 4857317703677656361969776280535697376768194501302553820602698342390\ 312038545625/329896364547434411309874974489418685480951285207170784\ 0834199201164402*c_0101_4^31 + 203259035556317360990658811986854313\ 0023980940094207014310260347797485512634043/65979272909486882261974\ 99489788373709619025704143415681668398402328804*c_0101_4^30 - 7172373959253121871569176010762790007615449310925201680759774019902\ 549459478779/329896364547434411309874974489418685480951285207170784\ 0834199201164402*c_0101_4^29 - 402138720566922538930326915782188661\ 2959732916971944471317089183250090127548875/16494818227371720565493\ 74872447093427404756426035853920417099600582201*c_0101_4^28 + 1628522696918517216356011228608960095854714868479084795633213342555\ 6958685390929/65979272909486882261974994897883737096190257041434156\ 81668398402328804*c_0101_4^27 + 34106554301889636891732437384431758\ 488965152986275132537874003445654183115024379/659792729094868822619\ 7499489788373709619025704143415681668398402328804*c_0101_4^26 - 8471896656409142978102492297836203302782842610743194169298082451874\ 176579444989/329896364547434411309874974489418685480951285207170784\ 0834199201164402*c_0101_4^25 - 661824992402246711005888266193235163\ 98366058635970748072782892494640942609713077/6597927290948688226197\ 499489788373709619025704143415681668398402328804*c_0101_4^24 - 6079505654671653736355323666991716079722881769958400612713921919736\ 952049926161/329896364547434411309874974489418685480951285207170784\ 0834199201164402*c_0101_4^23 + 309696813204473332799200691399690920\ 69833005832038352536182753678996030758998337/3298963645474344113098\ 749744894186854809512852071707840834199201164402*c_0101_4^22 + 1447229658913444420198708335082889027724276500302177868854405540552\ 3423715675531/32989636454743441130987497448941868548095128520717078\ 40834199201164402*c_0101_4^21 - 19499471137233504196225196039434732\ 242046089072658669453426345679268974087983885/659792729094868822619\ 7499489788373709619025704143415681668398402328804*c_0101_4^20 + 5665553114521078541964133987705942436196413034838155080705608513114\ 55665825678/1649481822737172056549374872447093427404756426035853920\ 417099600582201*c_0101_4^19 - 3585013437852274562297050134895617355\ 114890591752254087668847966421717343898997/659792729094868822619749\ 9489788373709619025704143415681668398402328804*c_0101_4^18 - 1553460539089878259647587093984049063966217017932161608344028807734\ 1498902294087/32989636454743441130987497448941868548095128520717078\ 40834199201164402*c_0101_4^17 + 14007199131874476112534821562760577\ 475686671009354265740922076583313434903536585/659792729094868822619\ 7499489788373709619025704143415681668398402328804*c_0101_4^16 + 4474406073489623585953663869592507995081461477167250896562382867984\ 5698872615841/65979272909486882261974994897883737096190257041434156\ 81668398402328804*c_0101_4^15 - 31495780852787345404386070394584996\ 67685194980602053189130882641369966415431334/1649481822737172056549\ 374872447093427404756426035853920417099600582201*c_0101_4^14 - 1018744648200104727235290153003291061157523522114816228859641875826\ 6833800232641/16494818227371720565493748724470934274047564260358539\ 20417099600582201*c_0101_4^13 - 82342724187299783514912492577778930\ 7042490791967957504263988382370907916861025/65979272909486882261974\ 99489788373709619025704143415681668398402328804*c_0101_4^12 + 7041576699755076355455333463511571159593101773173872670651243846367\ 016051975739/329896364547434411309874974489418685480951285207170784\ 0834199201164402*c_0101_4^11 + 635288912892800158160198772636996394\ 89266583371977544819078350250592825618221/6597927290948688226197499\ 489788373709619025704143415681668398402328804*c_0101_4^10 + 2475035618941490644802133986147382076349414527743475243111158265777\ 406407084243/659792729094868822619749948978837370961902570414341568\ 1668398402328804*c_0101_4^9 + 3005009133153347290670209590806861728\ 897533428810440924785391970276423424505957/329896364547434411309874\ 9744894186854809512852071707840834199201164402*c_0101_4^8 - 1396772147906803349529883651743850640689645979299156075617040383523\ 714020978285/659792729094868822619749948978837370961902570414341568\ 1668398402328804*c_0101_4^7 - 4032863845219119994614715670125382218\ 179394899350971426673653799004791759548879/659792729094868822619749\ 9489788373709619025704143415681668398402328804*c_0101_4^6 - 6155229902607931931718190279454807367912036276964990830969661938454\ 13747631353/6597927290948688226197499489788373709619025704143415681\ 668398402328804*c_0101_4^5 + 44364030520401305322461706481170246943\ 6307237888106533543497638508185048414089/32989636454743441130987497\ 44894186854809512852071707840834199201164402*c_0101_4^4 + 7946299651864225500817302833435787121707208713068140341553804929974\ 8821162015/16494818227371720565493748724470934274047564260358539204\ 17099600582201*c_0101_4^3 - 430606140658361122389001493549437277091\ 32052664023366511185749002809101633259/6597927290948688226197499489\ 788373709619025704143415681668398402328804*c_0101_4^2 - 3476756123641309345655858245172881415708654211944817615938659513505\ 4092250111/65979272909486882261974994897883737096190257041434156816\ 68398402328804*c_0101_4 - 10891174688835336618692242571909859619907\ 22186846157724399857629139869612087/1649481822737172056549374872447\ 093427404756426035853920417099600582201, c_0101_1 + 213194325542001647363343299061203634021306605883579877487185\ 0428094248688980/16494818227371720565493748724470934274047564260358\ 53920417099600582201*c_0101_4^40 - 2118271372405026760337007009673898073765946341290030490135733096012\ 124746407/164948182273717205654937487244709342740475642603585392041\ 7099600582201*c_0101_4^39 - 565375925598861158577832644149357448953\ 05988190732734767534633932153968854691/3298963645474344113098749744\ 894186854809512852071707840834199201164402*c_0101_4^38 - 1850963855177251397622015585626418999407143302738089135378180076088\ 28739100727/6597927290948688226197499489788373709619025704143415681\ 668398402328804*c_0101_4^37 - 7043061738421941509985345081597601175\ 4629465394631231989085255904033508959997/16494818227371720565493748\ 72447093427404756426035853920417099600582201*c_0101_4^36 - 1331248416374537048144599359445946843862207859776858714677777937498\ 43301494492/1649481822737172056549374872447093427404756426035853920\ 417099600582201*c_0101_4^35 - 1225248007924620096954493427125890174\ 926290950594667350915399059615087020574145/659792729094868822619749\ 9489788373709619025704143415681668398402328804*c_0101_4^34 - 7106159821924368442285282671332915214131893613432869162670814756681\ 99570903871/6597927290948688226197499489788373709619025704143415681\ 668398402328804*c_0101_4^33 + 5307581484844093103152469128184711568\ 302448049627868270756499459121719733002161/659792729094868822619749\ 9489788373709619025704143415681668398402328804*c_0101_4^32 + 9609088498051800625800908925787926896431865228374145881397149869986\ 286186177225/659792729094868822619749948978837370961902570414341568\ 1668398402328804*c_0101_4^31 + 100964036338762407581783697277965514\ 8464736675825385207796679985492954555432347/32989636454743441130987\ 49744894186854809512852071707840834199201164402*c_0101_4^30 - 1417892082110263593040210153603729631001992524613015977798630294062\ 4323386736549/65979272909486882261974994897883737096190257041434156\ 81668398402328804*c_0101_4^29 - 39794172165914475504793567743482045\ 13988914161553903103869918597112765344861101/1649481822737172056549\ 374872447093427404756426035853920417099600582201*c_0101_4^28 + 4020113138846522395853558205699074278900595644911934069445279567753\ 872518175968/164948182273717205654937487244709342740475642603585392\ 0417099600582201*c_0101_4^27 + 337387001621186958337607285797557352\ 70397349386673356084786205256221371982651999/6597927290948688226197\ 499489788373709619025704143415681668398402328804*c_0101_4^26 - 1670960834674426220811292373388543033407228510587504050703519769849\ 3469160014677/65979272909486882261974994897883737096190257041434156\ 81668398402328804*c_0101_4^25 - 16362697156625358900502327961484495\ 058579704746789897949611309404713988658820328/164948182273717205654\ 9374872447093427404756426035853920417099600582201*c_0101_4^24 - 1209470831628253465256170740410557071943503721570801847887411899546\ 4282294348761/65979272909486882261974994897883737096190257041434156\ 81668398402328804*c_0101_4^23 + 30617485619454482435395035480292720\ 300007145992990395975788333387206134799579605/329896364547434411309\ 8749744894186854809512852071707840834199201164402*c_0101_4^22 + 7172171744968149018586181050783486433522160507169508052666411522711\ 802705523311/164948182273717205654937487244709342740475642603585392\ 0417099600582201*c_0101_4^21 - 481738525678710223695605698366617717\ 7663547342339432624499865097176393609742493/16494818227371720565493\ 74872447093427404756426035853920417099600582201*c_0101_4^20 + 2209077225588884121418973253971326186614680215819606337168231390918\ 182612783355/659792729094868822619749948978837370961902570414341568\ 1668398402328804*c_0101_4^19 - 880990179461926735867364851713252826\ 215890600628968382233121541815780389384791/164948182273717205654937\ 4872447093427404756426035853920417099600582201*c_0101_4^18 - 3072015647737980573680049420212484085564286171095757748329965818006\ 6960434739323/65979272909486882261974994897883737096190257041434156\ 81668398402328804*c_0101_4^17 + 69017281333647238091315307448601075\ 10411696207522036362124992321491564977305075/3298963645474344113098\ 749744894186854809512852071707840834199201164402*c_0101_4^16 + 4426116130253114296692161394196741683725662040086360400031134638719\ 4523038887737/65979272909486882261974994897883737096190257041434156\ 81668398402328804*c_0101_4^15 - 12403744176426983572033371622519989\ 886170871122525791226097772640711320205005053/659792729094868822619\ 7499489788373709619025704143415681668398402328804*c_0101_4^14 - 2015768979144828460034373029390206627895163047519387188611669169531\ 6505877849121/32989636454743441130987497448941868548095128520717078\ 40834199201164402*c_0101_4^13 - 42688727043513952986934052103965897\ 6140863020008464642971604373484748584414407/32989636454743441130987\ 49744894186854809512852071707840834199201164402*c_0101_4^12 + 1393737877584973888227819222914536386130837729869410552345924079297\ 0332960507671/65979272909486882261974994897883737096190257041434156\ 81668398402328804*c_0101_4^11 + 37228298735297201656862921278501092\ 733180603994983689995268334979237578040897/329896364547434411309874\ 9744894186854809512852071707840834199201164402*c_0101_4^10 + 2440123855808969999533078759383720380361650629414183892987707624513\ 412652910515/659792729094868822619749948978837370961902570414341568\ 1668398402328804*c_0101_4^9 + 5946325594590018879022234861937143991\ 470554519844953961428404524643497956405895/659792729094868822619749\ 9489788373709619025704143415681668398402328804*c_0101_4^8 - 3436752822844929012704289640692530992574652446741546985961589603705\ 55800062506/1649481822737172056549374872447093427404756426035853920\ 417099600582201*c_0101_4^7 - 39906533430400377298226345294397206405\ 34809730428408962983208623562834146974853/6597927290948688226197499\ 489788373709619025704143415681668398402328804*c_0101_4^6 - 6118743444969284963368575111433157713043078935527050692197056609418\ 16647083643/6597927290948688226197499489788373709619025704143415681\ 668398402328804*c_0101_4^5 + 87777817655962061330420647127083769551\ 6224767811515276615938718658354341649451/65979272909486882261974994\ 89788373709619025704143415681668398402328804*c_0101_4^4 + 1575132226762103589081405334391251115597358046155076083901849568366\ 40142456101/3298963645474344113098749744894186854809512852071707840\ 834199201164402*c_0101_4^3 - 21266713681496779456592187539217926007\ 215574473318047974594223741760537818619/329896364547434411309874974\ 4894186854809512852071707840834199201164402*c_0101_4^2 - 3443848398111399446519669349254258961052876407209335575672202756812\ 4971385501/65979272909486882261974994897883737096190257041434156816\ 68398402328804*c_0101_4 - 43182863029767663965565285183198227607656\ 16350692531374767146707860394850261/6597927290948688226197499489788\ 373709619025704143415681668398402328804, c_0101_3 + 235479909242371030206206049565948717215259911720436165631169\ 1102334266693974/16494818227371720565493748724470934274047564260358\ 53920417099600582201*c_0101_4^40 - 2342096149797602775627377380982243145539507870321628510200796124205\ 906099353/164948182273717205654937487244709342740475642603585392041\ 7099600582201*c_0101_4^39 - 624399954457597289594992295150902400910\ 54778608470546560922706499969324890167/3298963645474344113098749744\ 894186854809512852071707840834199201164402*c_0101_4^38 - 5108159979248450369119667066800061189343622324297310088450961715805\ 8174779131/16494818227371720565493748724470934274047564260358539204\ 17099600582201*c_0101_4^37 - 77758183192566907561405441248683091497\ 012105962138388225172675799343515918478/164948182273717205654937487\ 2447093427404756426035853920417099600582201*c_0101_4^36 - 1469820417698341579992967978496886004314872659624546052316973891258\ 76715611100/1649481822737172056549374872447093427404756426035853920\ 417099600582201*c_0101_4^35 - 3382162931725778352308028017874631620\ 51701065533069039646732482756655098460547/1649481822737172056549374\ 872447093427404756426035853920417099600582201*c_0101_4^34 - 3918960326714903021013717340429220059905301629444937173646971912312\ 52858673027/3298963645474344113098749744894186854809512852071707840\ 834199201164402*c_0101_4^33 + 2931269373972840173950921080750536553\ 491874114718269427859482551101818580338295/329896364547434411309874\ 9744894186854809512852071707840834199201164402*c_0101_4^32 + 5303737116926984001111810868180269499005510585860540361896436623035\ 807200435065/329896364547434411309874974489418685480951285207170784\ 0834199201164402*c_0101_4^31 + 111155068018261950590591963493186012\ 5853356226628622218028045714529674187764487/32989636454743441130987\ 49744894186854809512852071707840834199201164402*c_0101_4^30 - 3914755184516967097962408376127593773077362401854754823388318411041\ 604342802525/164948182273717205654937487244709342740475642603585392\ 0417099600582201*c_0101_4^29 - 439168446207011453396403015014376966\ 5599077096744938199364507182661936453851745/16494818227371720565493\ 74872447093427404756426035853920417099600582201*c_0101_4^28 + 4442643716927775650347864093729860277329626135358199820065175098209\ 932923258362/164948182273717205654937487244709342740475642603585392\ 0417099600582201*c_0101_4^27 + 931045744769232522133571970069412889\ 0414711330462507344849786745815293494257612/16494818227371720565493\ 74872447093427404756426035853920417099600582201*c_0101_4^26 - 4620127285040246761625987605666067153518574246369936311772242221351\ 696557391520/164948182273717205654937487244709342740475642603585392\ 0417099600582201*c_0101_4^25 - 361296197131287135311685943140705996\ 81103444923513948467806855816412938044409317/3298963645474344113098\ 749744894186854809512852071707840834199201164402*c_0101_4^24 - 6652282770218843467183506336442374012250018432170202646783455778083\ 065406395403/329896364547434411309874974489418685480951285207170784\ 0834199201164402*c_0101_4^23 + 338086691464260447524343992921049942\ 48193036452516830141191241742144279082624659/3298963645474344113098\ 749744894186854809512852071707840834199201164402*c_0101_4^22 + 1581450233630259175206874012162441958083900964575273011379238925190\ 5272914523293/32989636454743441130987497448941868548095128520717078\ 40834199201164402*c_0101_4^21 - 10640798728835324141860760622422545\ 285394373080940011344428601224837166175451679/329896364547434411309\ 8749744894186854809512852071707840834199201164402*c_0101_4^20 + 1230482565738752364295524384287971535914422963726860911037083573916\ 094161354367/329896364547434411309874974489418685480951285207170784\ 0834199201164402*c_0101_4^19 - 976787271453414526507794782185391425\ 846297524090981910824572467574225781694226/164948182273717205654937\ 4872447093427404756426035853920417099600582201*c_0101_4^18 - 1695945723914724246136391317932148855215019796164592444159230472556\ 0985387831527/32989636454743441130987497448941868548095128520717078\ 40834199201164402*c_0101_4^17 + 76369108752097905446503911477476850\ 76200718797224359125851401148476476444976827/3298963645474344113098\ 749744894186854809512852071707840834199201164402*c_0101_4^16 + 2442803934322103024488437223151722926914020277237166126490751422010\ 4107696791033/32989636454743441130987497448941868548095128520717078\ 40834199201164402*c_0101_4^15 - 34329536273215364443780356908622242\ 92220835103702530852236879628774365111137159/1649481822737172056549\ 374872447093427404756426035853920417099600582201*c_0101_4^14 - 2224842689454818435046411366368450294441630382074632217943448298667\ 7113455218347/32989636454743441130987497448941868548095128520717078\ 40834199201164402*c_0101_4^13 - 45826929332942973646642988042592523\ 1600427129692196476398669408496200318643795/32989636454743441130987\ 49744894186854809512852071707840834199201164402*c_0101_4^12 + 7689681362281986914741981577332493726655193221442792111875052264326\ 859645692715/329896364547434411309874974489418685480951285207170784\ 0834199201164402*c_0101_4^11 + 187631162019197798027492983211606653\ 06400296212976171263650250184796343366840/1649481822737172056549374\ 872447093427404756426035853920417099600582201*c_0101_4^10 + 6748695657805672209426927867207666185271876569403566129473404831232\ 10246265136/1649481822737172056549374872447093427404756426035853920\ 417099600582201*c_0101_4^9 + 16406707535034962162201256257493149861\ 14151807017433394134193538102123342126242/1649481822737172056549374\ 872447093427404756426035853920417099600582201*c_0101_4^8 - 7610403395059955082696105754436444955263373330420097701201697130600\ 88824441899/3298963645474344113098749744894186854809512852071707840\ 834199201164402*c_0101_4^7 - 11010074989231444875865750406038002894\ 47917699055625721492411674385122591414688/1649481822737172056549374\ 872447093427404756426035853920417099600582201*c_0101_4^6 - 1683796338898133181734451625974583219975777006440117386411415808390\ 13803920951/1649481822737172056549374872447093427404756426035853920\ 417099600582201*c_0101_4^5 + 48441380224864819191754802671155809937\ 8706051513242474812322760726968491801967/32989636454743441130987497\ 44894186854809512852071707840834199201164402*c_0101_4^4 + 1736828365042290789768920001961679885385158240866616733375353463905\ 34512550995/3298963645474344113098749744894186854809512852071707840\ 834199201164402*c_0101_4^3 - 11745272306102728951548741504678464197\ 243966024966870866315659676794864241661/164948182273717205654937487\ 2447093427404756426035853920417099600582201*c_0101_4^2 - 1899325983433267164592481153447853079889075760889221358956324777930\ 2471071077/32989636454743441130987497448941868548095128520717078408\ 34199201164402*c_0101_4 - 23808450008883537873837628976563141623560\ 78904450743904263663889432212199585/3298963645474344113098749744894\ 186854809512852071707840834199201164402, c_0101_4^41 - 1/2*c_0101_4^40 - 55/4*c_0101_4^39 - 113/4*c_0101_4^38 - 175/4*c_0101_4^37 - 315/4*c_0101_4^36 - 349/2*c_0101_4^35 - 617/4*c_0101_4^34 + 2325/4*c_0101_4^33 + 1434*c_0101_4^32 + 793*c_0101_4^31 - 6183/4*c_0101_4^30 - 10749/4*c_0101_4^29 + 3857/4*c_0101_4^28 + 4887*c_0101_4^27 - 13/2*c_0101_4^26 - 8642*c_0101_4^25 - 20827/4*c_0101_4^24 + 25921/4*c_0101_4^23 + 13817/2*c_0101_4^22 - 2395/4*c_0101_4^21 - 3425/4*c_0101_4^20 - 571/2*c_0101_4^19 - 15225/4*c_0101_4^18 - 319/2*c_0101_4^17 + 5989*c_0101_4^16 + 2215/2*c_0101_4^15 - 21781/4*c_0101_4^14 - 9735/4*c_0101_4^13 + 6339/4*c_0101_4^12 + 1631/2*c_0101_4^11 + 581/2*c_0101_4^10 + 1677/2*c_0101_4^9 + 183*c_0101_4^8 - 1095/2*c_0101_4^7 - 1211/4*c_0101_4^6 + 135/2*c_0101_4^5 + 351/4*c_0101_4^4 + 53/4*c_0101_4^3 - 13/2*c_0101_4^2 - 5/2*c_0101_4 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.290 seconds, Total memory usage: 32.09MB