Magma V2.19-8 Tue Aug 20 2013 16:17:36 on localhost [Seed = 4054871319] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1830 geometric_solution 5.48517190 oriented_manifold CS_known -0.0000000000000001 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.276119088711 0.204492430376 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 -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.385056168087 1.527629597819 1 4 3 5 0132 0132 0213 0132 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 -1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401165847850 0.623495918834 5 2 4 1 3201 0213 3201 0132 0 0 0 0 0 1 0 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -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.401165847850 0.623495918834 3 2 6 6 2310 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.152908418885 1.794928989145 5 5 2 3 1302 2031 0132 2310 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.457210272050 0.535429033136 6 4 4 6 3201 3201 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.600870181877 0.328195673239 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_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' : 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_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : 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' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0011_3'], '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_0011_3'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_0011_5, c_0011_6, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 5201780798625141285586975755049937866738763665762923153830275692127\ 438471222183498647102865487973043/483400882352145672079182678076554\ 279263087227580726700933172808919917982655310055060008329148357984*\ c_0101_4^31 - 39752735023497711480020504875815881180206891681173929\ 0590763800080127841043593177247759714198245901/24170044117607283603\ 9591339038277139631543613790363350466586404459958991327655027530004\ 164574178992*c_0101_4^30 - 5198330565193216897949545655508168954452\ 2113955581175406222084356255126430598129189914389115572301557/24170\ 0441176072836039591339038277139631543613790363350466586404459958991\ 327655027530004164574178992*c_0101_4^29 - 2402422789216991414104256994566551202264193144185029955637747050880\ 3318602245688464989856902226952869/60425110294018209009897834759569\ 284907885903447590837616646601114989747831913756882501041143544748*\ c_0101_4^28 + 28531560885062770045377132064376284531734864329947577\ 6884929025421101504135072817738520376787050861839/48340088235214567\ 2079182678076554279263087227580726700933172808919917982655310055060\ 008329148357984*c_0101_4^27 + 1722159781900123328645527459203221349\ 925423963754658639758746310629076379891751490447137121765921257671/\ 4834008823521456720791826780765542792630872275807267009331728089199\ 17982655310055060008329148357984*c_0101_4^26 + 4088571160778505381322434491579272907528458467854650684603048252810\ 319009514324582096621037919520951979/483400882352145672079182678076\ 5542792630872275807267009331728089199179826553100550600083291483579\ 84*c_0101_4^25 + 61344363640225624296021405671464506161925949508657\ 44049137859606742104688784927625325940499181010384625/4834008823521\ 4567207918267807655427926308722758072670093317280891991798265531005\ 5060008329148357984*c_0101_4^24 + 413334082236133689784046742014858\ 7894057936180921247011593187255172778641238899689352569465216846241\ 67/4834008823521456720791826780765542792630872275807267009331728089\ 19917982655310055060008329148357984*c_0101_4^23 - 8282461554493043100042410708686440626042330456403618428555113444666\ 146204196340020334163773372653402047/483400882352145672079182678076\ 5542792630872275807267009331728089199179826553100550600083291483579\ 84*c_0101_4^22 + 23869022781625983692351495373460573421921879179410\ 06990341902353368063417791152126093976518046847340287/4834008823521\ 4567207918267807655427926308722758072670093317280891991798265531005\ 5060008329148357984*c_0101_4^21 - 583669928087836771426074336342464\ 6820410563817916049711923111857521695822275608411210980906471013207\ 689/241700441176072836039591339038277139631543613790363350466586404\ 459958991327655027530004164574178992*c_0101_4^20 - 2803026601827894479319984979183615414685207881231958713020263288337\ 6479119593673041824052315721280076551/60425110294018209009897834759\ 5692849078859034475908376166466011149897478319137568825010411435447\ 48*c_0101_4^19 - 62418918022474773457523525844633837155030394726830\ 990834315689469864116293279000491985369097637669889515/120850220588\ 0364180197956695191385698157718068951816752332932022299794956638275\ 13765002082287089496*c_0101_4^18 + 6182473719866746695241992968704909269243880509485622734728468684137\ 664213449930994043462148455265246717/604251102940182090098978347595\ 6928490788590344759083761664660111498974783191375688250104114354474\ 8*c_0101_4^17 - 268538831209810236937854404397496050718800805965975\ 463188986814254773877677675541889040565328155576226725/483400882352\ 1456720791826780765542792630872275807267009331728089199179826553100\ 55060008329148357984*c_0101_4^16 - 2215879901918265694354978635929500717990998747484810069425148596206\ 8535339010660824988857973085645352945/30212555147009104504948917379\ 7846424539429517237954188083233005574948739159568784412505205717723\ 74*c_0101_4^15 - 43251201106487125251494742360663300391676987172145\ 6971491051988194485527267903795300237734916131856278419/48340088235\ 2145672079182678076554279263087227580726700933172808919917982655310\ 055060008329148357984*c_0101_4^14 - 4933322832245239400988588400037335676512310641754559832598431854399\ 73909603096883471647049344756403906079/4834008823521456720791826780\ 7655427926308722758072670093317280891991798265531005506000832914835\ 7984*c_0101_4^13 - 114703439190399784759815506420324958904148305146\ 57090248582674828415820526143349152457320885369749552447/6042511029\ 4018209009897834759569284907885903447590837616646601114989747831913\ 756882501041143544748*c_0101_4^12 - 4645913154063874093160185961968973255101095439256101952009930801933\ 82988230955318884558004591428816335505/4834008823521456720791826780\ 7655427926308722758072670093317280891991798265531005506000832914835\ 7984*c_0101_4^11 + 444618999999007955797482401416843539489778022376\ 3126496131485720433836086267002709061176296278262178363/12085022058\ 8036418019795669519138569815771806895181675233293202229979495663827\ 513765002082287089496*c_0101_4^10 - 2862123195671847885997457210103597157171292912352028602846613181405\ 1514938395070171389498198224753828043/48340088235214567207918267807\ 6554279263087227580726700933172808919917982655310055060008329148357\ 984*c_0101_4^9 - 12330486004498239887409909774787249318216502279067\ 5367668776742718401586224704818010730453519976041349863/24170044117\ 6072836039591339038277139631543613790363350466586404459958991327655\ 027530004164574178992*c_0101_4^8 + 9098091649595246995499323505631193282011589101341341418751805472280\ 9262735394264241471338426617099996905/48340088235214567207918267807\ 6554279263087227580726700933172808919917982655310055060008329148357\ 984*c_0101_4^7 - 92700279385733559476571885377005267519945458481116\ 033015254573882000615673240943000963428810856154708291/483400882352\ 1456720791826780765542792630872275807267009331728089199179826553100\ 55060008329148357984*c_0101_4^6 + 405296048678595647649817949380549\ 4212670662047735790222551535082521827546666747601344502221632004590\ 5701/48340088235214567207918267807655427926308722758072670093317280\ 8919917982655310055060008329148357984*c_0101_4^5 + 2467181060904614828953602328811769572084949974018291580849629274554\ 6020507424935654162344413879631876419/48340088235214567207918267807\ 6554279263087227580726700933172808919917982655310055060008329148357\ 984*c_0101_4^4 + 38337944657770572655646467193250466383579299297298\ 7381355206648403298798393043328327893587709508144811/30212555147009\ 1045049489173797846424539429517237954188083233005574948739159568784\ 41250520571772374*c_0101_4^3 + 505304742487738403257008292858245004\ 758454619923409699604392398705139428464455580207897851963257100965/\ 4834008823521456720791826780765542792630872275807267009331728089199\ 17982655310055060008329148357984*c_0101_4^2 - 1308428361762059881885567883206004153950540120455153278177066104314\ 431976084274339355122548071652801859/483400882352145672079182678076\ 5542792630872275807267009331728089199179826553100550600083291483579\ 84*c_0101_4 + 28428975294115070288235330749763275532593345956036520\ 228048189611070977115935904642835360864020860595/120850220588036418\ 0197956695191385698157718068951816752332932022299794956638275137650\ 02082287089496, c_0011_0 - 1, c_0011_1 + 115615812583006030187643335276231902921479766401867063107252\ 1717169076713101212255200986010282534/15106277573504552252474458689\ 8923212269714758618977094041616502787474369579784392206252602858861\ 87*c_0101_4^31 + 11102179833790309638272174875685061432658888240040\ 9698722334951526087276236684898612549017350435/15106277573504552252\ 4744586898923212269714758618977094041616502787474369579784392206252\ 60285886187*c_0101_4^30 - 23106963899822823256595463265356675891808\ 776631742920157239659427903570342615977681251867992762086/151062775\ 7350455225247445868989232122697147586189770940416165027874743695797\ 8439220625260285886187*c_0101_4^29 - 4846763539893397224175056543187339289278257624102202250571264481474\ 2752819579906768738524242589193/15106277573504552252474458689892321\ 226971475861897709404161650278747436957978439220625260285886187*c_0\ 101_4^28 + 51888245070976667979848206530755418918902926074682590358\ 707984279391429353801503114541090478721618/151062775735045522524744\ 5868989232122697147586189770940416165027874743695797843922062526028\ 5886187*c_0101_4^27 + 396747380954756340229839308555049465131499425\ 336822383195132802281806864271539995758101921075088982/151062775735\ 0455225247445868989232122697147586189770940416165027874743695797843\ 9220625260285886187*c_0101_4^26 + 100614255065448816633235736497729\ 9570429977711099719113505221767271934708835625001889547513506093191\ /151062775735045522524744586898923212269714758618977094041616502787\ 47436957978439220625260285886187*c_0101_4^25 + 1604790597637648247220034291293325137255344101365364880412318641141\ 978397278367093378934149188701037/151062775735045522524744586898923\ 21226971475861897709404161650278747436957978439220625260285886187*c\ _0101_4^24 + 468990156437847243920927565739822627200371254375588946\ 665959688984606990592023751628937146954546677/151062775735045522524\ 7445868989232122697147586189770940416165027874743695797843922062526\ 0285886187*c_0101_4^23 - 175867701950897145497775187500969782213363\ 8971090380785364992062214434123799303006185493424899992956/15106277\ 5735045522524744586898923212269714758618977094041616502787474369579\ 78439220625260285886187*c_0101_4^22 + 8616828855587394548520265372551175086424667706528573923188039239193\ 3940062971412466764242544328121/15106277573504552252474458689892321\ 226971475861897709404161650278747436957978439220625260285886187*c_0\ 101_4^21 - 25311862074491514273125246983611334008892369437423964046\ 82857362049894915094363031681107127907076140/1510627757350455225247\ 4458689892321226971475861897709404161650278747436957978439220625260\ 285886187*c_0101_4^20 - 5047747563182476674515078059261067189107676\ 9427711551826927436606920614215307514677644724165530942839/15106277\ 5735045522524744586898923212269714758618977094041616502787474369579\ 78439220625260285886187*c_0101_4^19 - 6799789207111421441727483919886002299035544568074897991722596399041\ 8211643642892068666655966422475785/15106277573504552252474458689892\ 321226971475861897709404161650278747436957978439220625260285886187*\ c_0101_4^18 - 47671445858381442700967810495084044795848364056187207\ 40088251954317582580034472865914459881214673906/1510627757350455225\ 2474458689892321226971475861897709404161650278747436957978439220625\ 260285886187*c_0101_4^17 - 5942620910214826457388909200963290809336\ 3106116204527900149017784819146242811345614592764486386698247/15106\ 2775735045522524744586898923212269714758618977094041616502787474369\ 57978439220625260285886187*c_0101_4^16 - 9366230602564469078976131093610714210988828004212052335855379509239\ 3620929930166711592429964755028704/15106277573504552252474458689892\ 321226971475861897709404161650278747436957978439220625260285886187*\ c_0101_4^15 - 11807803621434097448274265449695215327978567920078476\ 6354104338448603593715493494433284947300242726881/15106277573504552\ 2524744586898923212269714758618977094041616502787474369579784392206\ 25260285886187*c_0101_4^14 - 13699151929030850138928984073636012679\ 3208856610811567639043500534082471626525532538107329473981185836/15\ 1062775735045522524744586898923212269714758618977094041616502787474\ 36957978439220625260285886187*c_0101_4^13 - 5198339280654644562056047046924218487737429486523721530444815265489\ 9533229751755678691673734580459577/15106277573504552252474458689892\ 321226971475861897709404161650278747436957978439220625260285886187*\ c_0101_4^12 - 11331085081798102860911149534060311467531946639096601\ 0012790281795452505796571010901916806778459491068/15106277573504552\ 2524744586898923212269714758618977094041616502787474369579784392206\ 25260285886187*c_0101_4^11 - 23387086388691330948586002219012101838\ 613603253542291798414945354299865817478362490732373617522030228/151\ 0627757350455225247445868989232122697147586189770940416165027874743\ 6957978439220625260285886187*c_0101_4^10 - 9681687096618881890576376407131207635314671417255442740180264185284\ 885368489360922236064909569155698/151062775735045522524744586898923\ 21226971475861897709404161650278747436957978439220625260285886187*c\ _0101_4^9 - 5689046189704310211094896628373839294765163267163343831\ 8141688216487033829275543904201378216979799852/15106277573504552252\ 4744586898923212269714758618977094041616502787474369579784392206252\ 60285886187*c_0101_4^8 + 626776714884525883640572692611441815065770\ 6832132889025053763850549831119699837186680270398684210886/15106277\ 5735045522524744586898923212269714758618977094041616502787474369579\ 78439220625260285886187*c_0101_4^7 - 1769552429300922867198522159610364237973563725985624075182751471074\ 1195284120119273658712875740682261/15106277573504552252474458689892\ 321226971475861897709404161650278747436957978439220625260285886187*\ c_0101_4^6 + 432306852685223626482984527995187311688782735016565126\ 0513073306052468148030556023137197731768767750/15106277573504552252\ 4744586898923212269714758618977094041616502787474369579784392206252\ 60285886187*c_0101_4^5 + 698470689319340546937859796839067904726985\ 3825188879798567602281697789657459919100843591869769420250/15106277\ 5735045522524744586898923212269714758618977094041616502787474369579\ 78439220625260285886187*c_0101_4^4 + 3003238797907841597245682671581023857947012911830764437456157317446\ 140160554710833936939831272078760/151062775735045522524744586898923\ 21226971475861897709404161650278747436957978439220625260285886187*c\ _0101_4^3 + 7029511561456371256465306165435149273234479407985666043\ 05745218940375640789701418851156546497801735/1510627757350455225247\ 4458689892321226971475861897709404161650278747436957978439220625260\ 285886187*c_0101_4^2 - 14459644375942529465628884247554473292462863\ 5650226959351894293672609472158954623217363142447809278/15106277573\ 5045522524744586898923212269714758618977094041616502787474369579784\ 39220625260285886187*c_0101_4 - 14627910850815622158157320776738607\ 016162812822660158885528017747095776873392597828884550964799374/151\ 0627757350455225247445868989232122697147586189770940416165027874743\ 6957978439220625260285886187, c_0011_3 + 521433253805928712924625577095265639499702415282800882606093\ 662963028175516843645001178335345150/151062775735045522524744586898\ 9232122697147586189770940416165027874743695797843922062526028588618\ 7*c_0101_4^31 + 129839879779378685471814635516235661018548004652780\ 906572436702953819926592978755415202360161813/151062775735045522524\ 7445868989232122697147586189770940416165027874743695797843922062526\ 0285886187*c_0101_4^30 - 104335441213560064779176005343727991222526\ 00857569461025252008481763288738550476295158297739023447/1510627757\ 3504552252474458689892321226971475861897709404161650278747436957978\ 439220625260285886187*c_0101_4^29 - 2345114594982465576141894655364919365087655230624808978933981818411\ 2130787363781972366624336368642/15106277573504552252474458689892321\ 226971475861897709404161650278747436957978439220625260285886187*c_0\ 101_4^28 + 20453723852420995373212700750133542031165023428630811692\ 781262793204906577159412871443840059747210/151062775735045522524744\ 5868989232122697147586189770940416165027874743695797843922062526028\ 5886187*c_0101_4^27 + 183263504742144290849624597906729368599560894\ 773611631341352967150067229131653534950266689158012262/151062775735\ 0455225247445868989232122697147586189770940416165027874743695797843\ 9220625260285886187*c_0101_4^26 + 480106481710936955983392618242944\ 315563272976649805533121036919248183097940869392909566414424445395/\ 1510627757350455225247445868989232122697147586189770940416165027874\ 7436957978439220625260285886187*c_0101_4^25 + 7866168676459186698253762771895532721742341495232896426341048164788\ 12052275093821617753228069334402/1510627757350455225247445868989232\ 1226971475861897709404161650278747436957978439220625260285886187*c_\ 0101_4^24 + 3063588388323624689455460162843368701259100810760059044\ 61678778236261940103780211381208570807674881/1510627757350455225247\ 4458689892321226971475861897709404161650278747436957978439220625260\ 285886187*c_0101_4^23 - 7851452001565616825164488704068906289198525\ 85038389602805132095108385800754347880189994608790419071/1510627757\ 3504552252474458689892321226971475861897709404161650278747436957978\ 439220625260285886187*c_0101_4^22 - 8585947811731306372590109709513952748693653094014136138987921879849\ 3226144924560819593919946007378/15106277573504552252474458689892321\ 226971475861897709404161650278747436957978439220625260285886187*c_0\ 101_4^21 - 11055734519094846163549131207165925880097724805111136269\ 36289136162625834675747916279779359739926074/1510627757350455225247\ 4458689892321226971475861897709404161650278747436957978439220625260\ 285886187*c_0101_4^20 - 2294872671616297352983226481972183452406647\ 8801857510089893778783156510974269816379737564318228692054/15106277\ 5735045522524744586898923212269714758618977094041616502787474369579\ 78439220625260285886187*c_0101_4^19 - 3410432847194307654872891949844163704976726841168173849985868303355\ 2740344528627626309622907159147878/15106277573504552252474458689892\ 321226971475861897709404161650278747436957978439220625260285886187*\ c_0101_4^18 - 59831377001996600508991941102208033832688651289529676\ 23269449653781235711208853075952844319295159290/1510627757350455225\ 2474458689892321226971475861897709404161650278747436957978439220625\ 260285886187*c_0101_4^17 - 2614208015842499343925022113026206193229\ 7625504461516578451401308644381549205935626077368298615473114/15106\ 2775735045522524744586898923212269714758618977094041616502787474369\ 57978439220625260285886187*c_0101_4^16 - 4645594512428995019308704429811439976146949910636142770022278537087\ 7706574286157022461135359103214705/15106277573504552252474458689892\ 321226971475861897709404161650278747436957978439220625260285886187*\ c_0101_4^15 - 58636796397206327155768687696068084734629959681843274\ 418585101331029828324429314462087950861085152275/151062775735045522\ 5247445868989232122697147586189770940416165027874743695797843922062\ 5260285886187*c_0101_4^14 - 685109905698681283847740351844031553975\ 89697883045130606666579857331000461198135467026216593416345325/1510\ 6277573504552252474458689892321226971475861897709404161650278747436\ 957978439220625260285886187*c_0101_4^13 - 3116382082661984377801627138015309456837142287770717449129046544011\ 1575047294978935124018902389499060/15106277573504552252474458689892\ 321226971475861897709404161650278747436957978439220625260285886187*\ c_0101_4^12 - 52706217117911541073622157808423629548571787278219590\ 499911651153483890940483177690174335762447895868/151062775735045522\ 5247445868989232122697147586189770940416165027874743695797843922062\ 5260285886187*c_0101_4^11 - 178157044133783883811147762811755276066\ 24982758233472260177306285472887947223482136903349551463412877/1510\ 6277573504552252474458689892321226971475861897709404161650278747436\ 957978439220625260285886187*c_0101_4^10 - 4062636660480351259157535195651401376163284583357790382611551583050\ 474548426330992154355618436387472/151062775735045522524744586898923\ 21226971475861897709404161650278747436957978439220625260285886187*c\ _0101_4^9 - 2629396171991186841292463235733031775871809261350444526\ 1978180315120093994254332049375384652693993324/15106277573504552252\ 4744586898923212269714758618977094041616502787474369579784392206252\ 60285886187*c_0101_4^8 - 953613400900733505200878474092419655845836\ 899351883063889886354831274631011221145574940054513684843/151062775\ 7350455225247445868989232122697147586189770940416165027874743695797\ 8439220625260285886187*c_0101_4^7 - 6617895592923911283757885498121810442805354724561076010419610936889\ 216184008401285461482169714755235/151062775735045522524744586898923\ 21226971475861897709404161650278747436957978439220625260285886187*c\ _0101_4^6 + 4550859636857555943530814517750683429526861932119449406\ 83844893794053710710198276320833651807678901/1510627757350455225247\ 4458689892321226971475861897709404161650278747436957978439220625260\ 285886187*c_0101_4^5 + 37917783542385406662556620863064561460028635\ 67978030737131987792665429429073516276583237334372366218/1510627757\ 3504552252474458689892321226971475861897709404161650278747436957978\ 439220625260285886187*c_0101_4^4 + 1684478510641261005325601728382792265217629064019354431330472548839\ 967575956055579977761373804826832/151062775735045522524744586898923\ 21226971475861897709404161650278747436957978439220625260285886187*c\ _0101_4^3 + 4378532113628404836646544559462054193947764446452837545\ 79550210929382418113177363736910186762139099/1510627757350455225247\ 4458689892321226971475861897709404161650278747436957978439220625260\ 285886187*c_0101_4^2 - 66228170650119947211919603569435283741623514\ 608068737228074347290054230010139218688651059989773932/151062775735\ 0455225247445868989232122697147586189770940416165027874743695797843\ 9220625260285886187*c_0101_4 - 220007853314581639800504297930977394\ 11267419824059198192093721485337826552048098531105676215598473/1510\ 6277573504552252474458689892321226971475861897709404161650278747436\ 957978439220625260285886187, c_0011_5 + 613572272221781304159686764674421555249388559023992415183095\ 109628613889177999267997055345763117/151062775735045522524744586898\ 9232122697147586189770940416165027874743695797843922062526028588618\ 7*c_0101_4^31 + 870201812642206526046942233023432043270246590824040\ 19755842298877056339680191382727373240902849/1510627757350455225247\ 4458689892321226971475861897709404161650278747436957978439220625260\ 285886187*c_0101_4^30 - 1225572543974793120211139741681778459464720\ 0004233331539819994732101206065386911237849288537322524/15106277573\ 5045522524744586898923212269714758618977094041616502787474369579784\ 39220625260285886187*c_0101_4^29 - 2628316604211506112661710320219863527715309393247350479581692656037\ 1175180007432374943172500852331/15106277573504552252474458689892321\ 226971475861897709404161650278747436957978439220625260285886187*c_0\ 101_4^28 + 26270974519173827654081352379558184493323637752165451488\ 455361166378227909746515259129999317839889/151062775735045522524744\ 5868989232122697147586189770940416165027874743695797843922062526028\ 5886187*c_0101_4^27 + 211632997128624278430438420549020580873475938\ 346272944236165156564274208070047555928177691115311181/151062775735\ 0455225247445868989232122697147586189770940416165027874743695797843\ 9220625260285886187*c_0101_4^26 + 543802356450318117361895258513634\ 878556820880200770112589527740654852073295025662815580273979744331/\ 1510627757350455225247445868989232122697147586189770940416165027874\ 7436957978439220625260285886187*c_0101_4^25 + 8776230497565809810704455750252242809633947046245938221060203669391\ 20157188641349662408606925032727/1510627757350455225247445868989232\ 1226971475861897709404161650278747436957978439220625260285886187*c_\ 0101_4^24 + 2917162083025946375937122135633913652080861717217289128\ 28207862059570386239276179880305683330427914/1510627757350455225247\ 4458689892321226971475861897709404161650278747436957978439220625260\ 285886187*c_0101_4^23 - 9158986832419937527772973230159391933810247\ 06882038448191170153713716783759013118232617811263522828/1510627757\ 3504552252474458689892321226971475861897709404161650278747436957978\ 439220625260285886187*c_0101_4^22 + 4553771027791974408130719108211454960767666502634625327784817322730\ 859363954913367167476517180941/151062775735045522524744586898923212\ 26971475861897709404161650278747436957978439220625260285886187*c_01\ 01_4^21 - 134800867684691518862188512429905479332585543169523302886\ 2159271229446891781399490804945055033950775/15106277573504552252474\ 4586898923212269714758618977094041616502787474369579784392206252602\ 85886187*c_0101_4^20 - 26849723957588550799742783805089380057369483\ 121835349126472223440545133491532177643458130532662254147/151062775\ 7350455225247445868989232122697147586189770940416165027874743695797\ 8439220625260285886187*c_0101_4^19 - 3732324238163887643832873348204770993784808775623988067719516512282\ 3063627006683057193096099623533012/15106277573504552252474458689892\ 321226971475861897709404161650278747436957978439220625260285886187*\ c_0101_4^18 - 43736120497399457215750619711778461013695332792645687\ 35455199051295935404821499614959210905974591089/1510627757350455225\ 2474458689892321226971475861897709404161650278747436957978439220625\ 260285886187*c_0101_4^17 - 3190523574188138699911448069523904182830\ 7425246247609651416657734142653994919103332624373698201507290/15106\ 2775735045522524744586898923212269714758618977094041616502787474369\ 57978439220625260285886187*c_0101_4^16 - 5117296169055237741251738312414737831937776022126657026690865414180\ 7453871869879458405110659604976601/15106277573504552252474458689892\ 321226971475861897709404161650278747436957978439220625260285886187*\ c_0101_4^15 - 65157826706134897470725281608096435250220962155276965\ 438011379430818764601613934498702001927867351229/151062775735045522\ 5247445868989232122697147586189770940416165027874743695797843922062\ 5260285886187*c_0101_4^14 - 758873781651427197423638338284698535847\ 19272597926884596576043325231184194621243024652743955390253564/1510\ 6277573504552252474458689892321226971475861897709404161650278747436\ 957978439220625260285886187*c_0101_4^13 - 3140232044791112377059694563083385093643578021878035819674107622834\ 3788759488356839558703928282280927/15106277573504552252474458689892\ 321226971475861897709404161650278747436957978439220625260285886187*\ c_0101_4^12 - 61912452533845061156071665192058169853799720977867854\ 762531810309544930315986138628594945454926727496/151062775735045522\ 5247445868989232122697147586189770940416165027874743695797843922062\ 5260285886187*c_0101_4^11 - 153209459948742264765346281532684753533\ 49110522987182169740251711848020429710620073342771802075781371/1510\ 6277573504552252474458689892321226971475861897709404161650278747436\ 957978439220625260285886187*c_0101_4^10 - 6127037754971371978074787209215614720844967048443340147065930833343\ 258485025525353128565272636255369/151062775735045522524744586898923\ 21226971475861897709404161650278747436957978439220625260285886187*c\ _0101_4^9 - 3047334713334082894646552771880356499313863610673843828\ 4028787788723612263235527236336994436325053022/15106277573504552252\ 4744586898923212269714758618977094041616502787474369579784392206252\ 60285886187*c_0101_4^8 + 183982818629262812847895017096436228164512\ 6645887490031736401686474077703634712022843071416057923071/15106277\ 5735045522524744586898923212269714758618977094041616502787474369579\ 78439220625260285886187*c_0101_4^7 - 9422830882565259167466513730638820117793220791090645168122828109742\ 005813028128611976145599740886089/151062775735045522524744586898923\ 21226971475861897709404161650278747436957978439220625260285886187*c\ _0101_4^6 + 1901760379494110111791236010051243336809220728930901789\ 476194901248715736318216916502065663746118622/151062775735045522524\ 7445868989232122697147586189770940416165027874743695797843922062526\ 0285886187*c_0101_4^5 + 3723033828624214590972493096925684387808828\ 118601176434549990594728811954881854619063568323485505857/151062775\ 7350455225247445868989232122697147586189770940416165027874743695797\ 8439220625260285886187*c_0101_4^4 + 1821964922803364823595522418762277032030233200573493223621565059353\ 358384352041236057162976464249275/151062775735045522524744586898923\ 21226971475861897709404161650278747436957978439220625260285886187*c\ _0101_4^3 + 4459051924864790547146275126712525583368047380518813820\ 96090160735627102456306986124365585537153569/1510627757350455225247\ 4458689892321226971475861897709404161650278747436957978439220625260\ 285886187*c_0101_4^2 - 41788837846226733192915475847602408165172944\ 069464637386081931438640393637358889394019145950407484/151062775735\ 0455225247445868989232122697147586189770940416165027874743695797843\ 9220625260285886187*c_0101_4 - 120082161634942137694527782376971983\ 07533864042805355219935508698613923582425253971299535409435253/1510\ 6277573504552252474458689892321226971475861897709404161650278747436\ 957978439220625260285886187, c_0011_6 + 102657939620767192122296265939587276086047584516971057950589\ 1496626246464273556703702979090827228/15106277573504552252474458689\ 8923212269714758618977094041616502787474369579784392206252602858861\ 87*c_0101_4^31 + 10455557906675649801482308434362133344743583483787\ 6010773848359561582853521364954387336249080196/15106277573504552252\ 4744586898923212269714758618977094041616502787474369579784392206252\ 60285886187*c_0101_4^30 - 20521860576110379204123458832397870196756\ 983353464223609268190558842279050831420929492984835662384/151062775\ 7350455225247445868989232122697147586189770940416165027874743695797\ 8439220625260285886187*c_0101_4^29 - 4315146751325188130548190014013417107902542214852599286787345170357\ 8603628151369531755789021863957/15106277573504552252474458689892321\ 226971475861897709404161650278747436957978439220625260285886187*c_0\ 101_4^28 + 45926404305836260284086228015351859347441807327172275928\ 839591289405053326338483040386728525558184/151062775735045522524744\ 5868989232122697147586189770940416165027874743695797843922062526028\ 5886187*c_0101_4^27 + 352688677935751671892612153687407964488845139\ 491210158704659589836419534042713590375662693346305652/151062775735\ 0455225247445868989232122697147586189770940416165027874743695797843\ 9220625260285886187*c_0101_4^26 + 895039383631327818877961117180774\ 091738611852057456985856099681951706649412770981492202148892353211/\ 1510627757350455225247445868989232122697147586189770940416165027874\ 7436957978439220625260285886187*c_0101_4^25 + 1428539586340556010637912101119871111485346073455392666727602963139\ 314084071386415628196881310668763/151062775735045522524744586898923\ 21226971475861897709404161650278747436957978439220625260285886187*c\ _0101_4^24 + 421501840793999736745622712859992706012353782908297821\ 848052929621903222312692716336105839302582210/151062775735045522524\ 7445868989232122697147586189770940416165027874743695797843922062526\ 0285886187*c_0101_4^23 - 156313833003973575489968803207360580123255\ 1576390672422915727547090484649256783701385548606650328923/15106277\ 5735045522524744586898923212269714758618977094041616502787474369579\ 78439220625260285886187*c_0101_4^22 + 7038095705610841872067270303518034360354371982624760966838769536775\ 8452234961738569040803549150549/15106277573504552252474458689892321\ 226971475861897709404161650278747436957978439220625260285886187*c_0\ 101_4^21 - 22381246255893148051395735419560986589944383497760329543\ 64050587614662378158781841368266990145578559/1510627757350455225247\ 4458689892321226971475861897709404161650278747436957978439220625260\ 285886187*c_0101_4^20 - 4483945921081569719830282580919620493293774\ 1706663256030665611947921999469774876491301984085143495072/15106277\ 5735045522524744586898923212269714758618977094041616502787474369579\ 78439220625260285886187*c_0101_4^19 - 6062489515802204898476215599147384465648175493838441553579304024562\ 7071901681573764837786137435363557/15106277573504552252474458689892\ 321226971475861897709404161650278747436957978439220625260285886187*\ c_0101_4^18 - 43655624141045977574266461056594127424531779051729813\ 99511375371426056183575504034619377896972935349/1510627757350455225\ 2474458689892321226971475861897709404161650278747436957978439220625\ 260285886187*c_0101_4^17 - 5265680885187278147982259216774775942409\ 9126548090497166734817376358977612858783473691130557003340417/15106\ 2775735045522524744586898923212269714758618977094041616502787474369\ 57978439220625260285886187*c_0101_4^16 - 8365643974284662960799324732105128139811495075299035329000590193289\ 9628846234562166829408096071788070/15106277573504552252474458689892\ 321226971475861897709404161650278747436957978439220625260285886187*\ c_0101_4^15 - 10505053797744374920339318653349323901961100015863307\ 3530312993908081538115683123834165166112586485006/15106277573504552\ 2524744586898923212269714758618977094041616502787474369579784392206\ 25260285886187*c_0101_4^14 - 12204952491873394258047132671645622081\ 1612552718841775912753516163042081572484363727863238030909478485/15\ 1062775735045522524744586898923212269714758618977094041616502787474\ 36957978439220625260285886187*c_0101_4^13 - 4662188350163677430214262870489442668172201016921915495802233549329\ 4362536920378499031511997879888213/15106277573504552252474458689892\ 321226971475861897709404161650278747436957978439220625260285886187*\ c_0101_4^12 - 10062905550791835887448127981784689463392435760133135\ 7705751007959142512764984023986539648213532200455/15106277573504552\ 2524744586898923212269714758618977094041616502787474369579784392206\ 25260285886187*c_0101_4^11 - 21538573937456215207245002289721863796\ 135211339049920372137118553498747859930474768397262086078512195/151\ 0627757350455225247445868989232122697147586189770940416165027874743\ 6957978439220625260285886187*c_0101_4^10 - 8340805439471791800920192520919067241658803077986696491635077526503\ 972112918531817235032908363991476/151062775735045522524744586898923\ 21226971475861897709404161650278747436957978439220625260285886187*c\ _0101_4^9 - 5086658558799789130805436936355791515439062033932173283\ 7180732041907681688253032132468022895508162242/15106277573504552252\ 4744586898923212269714758618977094041616502787474369579784392206252\ 60285886187*c_0101_4^8 + 529261987966893421355894674483777898154446\ 2020114162312565507103886747759088735944556745645517514934/15106277\ 5735045522524744586898923212269714758618977094041616502787474369579\ 78439220625260285886187*c_0101_4^7 - 1546638875769204476331919095575734890381238056324616121306014460722\ 2408903566150308492990652814672127/15106277573504552252474458689892\ 321226971475861897709404161650278747436957978439220625260285886187*\ c_0101_4^6 + 354066834593177577700170963999184913576308997372537139\ 7815148901888817020342925712870401104133951477/15106277573504552252\ 4744586898923212269714758618977094041616502787474369579784392206252\ 60285886187*c_0101_4^5 + 634779592599813459837303249793627859198407\ 2836220042693211198711475808215684001728402281807560968352/15106277\ 5735045522524744586898923212269714758618977094041616502787474369579\ 78439220625260285886187*c_0101_4^4 + 2600223738188291188744202596002831018527289607413187598152788358675\ 599729474473882526414387112368225/151062775735045522524744586898923\ 21226971475861897709404161650278747436957978439220625260285886187*c\ _0101_4^3 + 6285459779346744028920855249780473674900900008288349122\ 52866474899663446007342804816858160810226886/1510627757350455225247\ 4458689892321226971475861897709404161650278747436957978439220625260\ 285886187*c_0101_4^2 - 12806667630785028804908687015337013580143082\ 3386462773877558336755984909403545225067137925747709022/15106277573\ 5045522524744586898923212269714758618977094041616502787474369579784\ 39220625260285886187*c_0101_4 - 13781825941398650085527458048721166\ 266723393957414876836120242356167044389397154050344684753968974/151\ 0627757350455225247445868989232122697147586189770940416165027874743\ 6957978439220625260285886187, c_0101_3 - 585667862048847196302239830279008411517654123637687090642859\ 872379802648204598927470188482599305/151062775735045522524744586898\ 9232122697147586189770940416165027874743695797843922062526028588618\ 7*c_0101_4^31 - 557940968979247817902304911964120975269859145787080\ 2047365650556696096789760873703650916255002/15106277573504552252474\ 4586898923212269714758618977094041616502787474369579784392206252602\ 85886187*c_0101_4^30 + 11718793841602844671983095535725978487472100\ 567183533949767090826428901554675846260372970489565803/151062775735\ 0455225247445868989232122697147586189770940416165027874743695797843\ 9220625260285886187*c_0101_4^29 + 235404296023739866942755677138207\ 23099915334482763689090990919166878554831965132994718351604264752/1\ 5106277573504552252474458689892321226971475861897709404161650278747\ 436957978439220625260285886187*c_0101_4^28 - 2858344924245318068593579182457016832399562805046820773022834195849\ 0835320498984159341084456723682/15106277573504552252474458689892321\ 226971475861897709404161650278747436957978439220625260285886187*c_0\ 101_4^27 - 19907479652175028282591277752452559552755532588000887641\ 1420845406872727750381927311174844284697630/15106277573504552252474\ 4586898923212269714758618977094041616502787474369579784392206252602\ 85886187*c_0101_4^26 - 49191077173620015031404022478673298890398599\ 8972886102588984148076055095328536173556410336963867140/15106277573\ 5045522524744586898923212269714758618977094041616502787474369579784\ 39220625260285886187*c_0101_4^25 - 7658412538704286725154944844669181184538676368570681940671782509279\ 36342468295867578035765343319577/1510627757350455225247445868989232\ 1226971475861897709404161650278747436957978439220625260285886187*c_\ 0101_4^24 - 1595505218111519148452289891851023525868672062938325062\ 28649352372148483086932023808002538635492383/1510627757350455225247\ 4458689892321226971475861897709404161650278747436957978439220625260\ 285886187*c_0101_4^23 + 9238772453277390222787809760632208627484026\ 60654269603871457595196021283706112838547781683703550067/1510627757\ 3504552252474458689892321226971475861897709404161650278747436957978\ 439220625260285886187*c_0101_4^22 - 1166153404562225273312989697515526340142601816477903112884535540831\ 63761337465852526778929465083303/1510627757350455225247445868989232\ 1226971475861897709404161650278747436957978439220625260285886187*c_\ 0101_4^21 + 1273208782435187492425498569866664363518025144396860802\ 361857914662620563257722512652428973736706288/151062775735045522524\ 7445868989232122697147586189770940416165027874743695797843922062526\ 0285886187*c_0101_4^20 + 254596628597089200752744163491504614878433\ 29043065517993622606252624543546056463516882244744398480094/1510627\ 7573504552252474458689892321226971475861897709404161650278747436957\ 978439220625260285886187*c_0101_4^19 + 3221348286534191152087916163489425125928109445281307196446965622103\ 8104376604775499298080045293256276/15106277573504552252474458689892\ 321226971475861897709404161650278747436957978439220625260285886187*\ c_0101_4^18 - 94812906964131446634971238899450258728124565215894178\ 3040448405688440888824982089750246514368574135/15106277573504552252\ 4744586898923212269714758618977094041616502787474369579784392206252\ 60285886187*c_0101_4^17 + 29371707770121258045949301376408524623369\ 709689928880776390620126948975782666431977191601344001923995/151062\ 7757350455225247445868989232122697147586189770940416165027874743695\ 7978439220625260285886187*c_0101_4^16 + 4478011975731848516465971583007981169651458722936396736773084225234\ 7898941183284821360381382848257084/15106277573504552252474458689892\ 321226971475861897709404161650278747436957978439220625260285886187*\ c_0101_4^15 + 55234121225708223536528607633149858590504998596133338\ 887536226304117015180952989360135896173090813532/151062775735045522\ 5247445868989232122697147586189770940416165027874743695797843922062\ 5260285886187*c_0101_4^14 + 635063731047911254171361003708516768165\ 66927172940465769478915696018547152889279924780121675046540510/1510\ 6277573504552252474458689892321226971475861897709404161650278747436\ 957978439220625260285886187*c_0101_4^13 + 1941080089528492278302289422062984956386278255606380926173035423538\ 8485747336091196938073596529496508/15106277573504552252474458689892\ 321226971475861897709404161650278747436957978439220625260285886187*\ c_0101_4^12 + 54032142385690823137587123288954403471398852014902522\ 444413909743300233876206668480746952038549015811/151062775735045522\ 5247445868989232122697147586189770940416165027874743695797843922062\ 5260285886187*c_0101_4^11 + 642699704638720855937267864889257658884\ 5162354435803337965417196704899476474202956068883742695391150/15106\ 2775735045522524744586898923212269714758618977094041616502787474369\ 57978439220625260285886187*c_0101_4^10 + 2981444155270377977835511688334427453532445846250550998198166468586\ 899282936663775661033922002187191/151062775735045522524744586898923\ 21226971475861897709404161650278747436957978439220625260285886187*c\ _0101_4^9 + 2819741020465566408488335218394034497204655575828191366\ 7650077271611596469090907992619191232781179089/15106277573504552252\ 4744586898923212269714758618977094041616502787474369579784392206252\ 60285886187*c_0101_4^8 - 577398585995839224809829324559975613555935\ 9556968682301264181427799817688495458859567228473831924760/15106277\ 5735045522524744586898923212269714758618977094041616502787474369579\ 78439220625260285886187*c_0101_4^7 + 8795733380907731936415310465014350718163586471033239395127350989081\ 230770662420576280929678421794113/151062775735045522524744586898923\ 21226971475861897709404161650278747436957978439220625260285886187*c\ _0101_4^6 - 2926949990784242575162699989442302662917708871084156885\ 544804081882086478961248880953207879186706376/151062775735045522524\ 7445868989232122697147586189770940416165027874743695797843922062526\ 0285886187*c_0101_4^5 - 3482211977745510341243716191708042126106413\ 273387248653420214705742917988271164039875885855330777320/151062775\ 7350455225247445868989232122697147586189770940416165027874743695797\ 8439220625260285886187*c_0101_4^4 - 1195065450822321077637040798632626588732673076385214717411109487972\ 062296715963351267920984141385849/151062775735045522524744586898923\ 21226971475861897709404161650278747436957978439220625260285886187*c\ _0101_4^3 - 1755514705764166832284530170936425490829906047362113590\ 55811267867066905344356164382965046610791414/1510627757350455225247\ 4458689892321226971475861897709404161650278747436957978439220625260\ 285886187*c_0101_4^2 + 13089912565526317302182692815625313397664712\ 5142194206562733959262417746574702125215163306231436159/15106277573\ 5045522524744586898923212269714758618977094041616502787474369579784\ 39220625260285886187*c_0101_4 + 88997505021706482016240507378939373\ 21086117913333738461765713632477790296068924725190566256433084/1510\ 6277573504552252474458689892321226971475861897709404161650278747436\ 957978439220625260285886187, c_0101_4^32 - 20*c_0101_4^30 - 40*c_0101_4^29 + 49*c_0101_4^28 + 339*c_0101_4^27 + 837*c_0101_4^26 + 1303*c_0101_4^25 + 269*c_0101_4^24 - 1565*c_0101_4^23 + 221*c_0101_4^22 - 2190*c_0101_4^21 - 43454*c_0101_4^20 - 54608*c_0101_4^19 + 1728*c_0101_4^18 - 50831*c_0101_4^17 - 76146*c_0101_4^16 - 94035*c_0101_4^15 - 108427*c_0101_4^14 - 33244*c_0101_4^13 - 93289*c_0101_4^12 - 10766*c_0101_4^11 - 5915*c_0101_4^10 - 48536*c_0101_4^9 + 10233*c_0101_4^8 - 15611*c_0101_4^7 + 5075*c_0101_4^6 + 5837*c_0101_4^5 + 1928*c_0101_4^4 + 365*c_0101_4^3 - 199*c_0101_4^2 - 8*c_0101_4 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB