Magma V2.19-8 Tue Aug 20 2013 16:17:13 on localhost [Seed = 2101141920] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1457 geometric_solution 5.28029750 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 0 1 2031 0132 1302 1023 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.411183008057 0.065332390622 2 0 2 0 0132 0132 2310 1023 0 0 0 0 0 1 -1 0 1 0 0 -1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.740660634401 1.034314954154 1 1 3 4 0132 3201 0132 0132 0 0 0 0 0 1 -1 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.206068705215 2.101742810970 5 6 4 2 0132 0132 1230 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 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.689664481095 0.751373070279 6 5 2 3 3201 3201 0132 3012 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.689664481095 0.751373070279 3 5 4 5 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.574320475740 0.329327056280 6 3 6 4 2310 0132 3201 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 -1 1 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.116333036431 1.080249400360 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : negation(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_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0110_4'], '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_0110_4'], 'c_1100_2' : d['c_0110_4'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0110_0'], 'c_1001_3' : negation(d['c_0110_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : d['c_0110_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : negation(d['c_0110_4']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0110_0'], 'c_1010_0' : d['c_0101_2']})} 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_3, c_0101_1, c_0101_2, c_0101_3, c_0110_0, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 9228522973154463192223391168842389587722306819460237117433126877138\ 2862693843098140755167635437027912446676810176487/81266715034177882\ 1162980035112661009725644404981861212431439506556931175933488089000\ 088975659683943979431491597258*c_0110_4^30 - 1068511162394568162122243059609504666278009260789935773491209181606\ 31376050343492000962945314658688959490317876575770/1354445250569631\ 3686049667251877683495427406749697686873857325109282186265558134816\ 6681495943280657329905248599543*c_0110_4^29 + 3404736031228425038633928386410867751586604529689240531218666824312\ 95770763451544023278509655671920571102469253790449/4063335751708894\ 1058149001755633050486282220249093060621571975327846558796674404450\ 0044487829841971989715745798629*c_0110_4^28 + 3527982938571154109182319773680103827114916801074692903417413760779\ 989309094297100025505963023606794489269274477443105/270889050113926\ 2737209933450375536699085481349939537374771465021856437253111626963\ 33362991886561314659810497199086*c_0110_4^27 + 6943901141771432697368965972649308765926000629903074175175227510651\ 0800576446104172354146206225210125687436851352393276/40633357517088\ 9410581490017556330504862822202490930606215719753278465587966744044\ 500044487829841971989715745798629*c_0110_4^26 - 3447765262468034784283980228225833195515076701279027197779952089362\ 61261671569404395114535246549234408694783917859743639/4063335751708\ 8941058149001755633050486282220249093060621571975327846558796674404\ 4500044487829841971989715745798629*c_0110_4^25 - 3064386154111159138242894273318747121857147747911710356439318326040\ 037599601678709220849176879631654405649079106020360275/812667150341\ 7788211629800351126610097256444049818612124314395065569311759334880\ 89000088975659683943979431491597258*c_0110_4^24 + 1067393058307922644835987074896374200303932857444719234469292526029\ 8308259355865276550345868120687391080704291796897382619/40633357517\ 0889410581490017556330504862822202490930606215719753278465587966744\ 044500044487829841971989715745798629*c_0110_4^23 + 7488673371422077949896800872025000559548260764558782558291942709855\ 03753425301580467206359264621180714688263420944926578/4063335751708\ 8941058149001755633050486282220249093060621571975327846558796674404\ 4500044487829841971989715745798629*c_0110_4^22 - 2866492308978263977205483721449250176366452156020708364137194859143\ 06930426854940708650412302064304597729777533058800194099/8126671503\ 4177882116298003511266100972564440498186121243143950655693117593348\ 8089000088975659683943979431491597258*c_0110_4^21 + 3933476920653619637057755185168541711106798225171470214555197365857\ 01809337202273134765973796282283245224905323443456394656/4063335751\ 7088941058149001755633050486282220249093060621571975327846558796674\ 4044500044487829841971989715745798629*c_0110_4^20 - 5624325396198124259554546159526964951498296181886902460968821810461\ 757132066296724904622657804627081574256904412133236746/135444525056\ 9631368604966725187768349542740674969768687385732510928218626555813\ 48166681495943280657329905248599543*c_0110_4^19 - 2165235450825945636654759621292772300281370173597499613532958165605\ 317339006782260588189068611214077352826222645528726358489/406333575\ 1708894105814900175563305048628222024909306062157197532784655879667\ 44044500044487829841971989715745798629*c_0110_4^18 + 1382264796302553867592931016481051580128925824314169130689358626479\ 37328165769844352466320698072540609772687042434610429639/1003292778\ 1997269397073827593983469255872153147924212499153574155023841678191\ 210975309740440243011654067055451818*c_0110_4^17 - 1912804120502843188827110876341041193680069168245629001133003017130\ 715103513853045662919590762629119722369034065449656072767/116095307\ 1916826887375685764446658585322349149974087446330627866509901679904\ 98298428584139379954849139918784513894*c_0110_4^16 + 2636231199156463788104196080451673141349829007326906400154504867733\ 08318889225343800170999988989039693932683570511748428367/4514817501\ 8987712286832224172925611651424689165658956246191083697607287551860\ 449388893831981093552443301749533181*c_0110_4^15 + 9946655911286664685039769606880572693609939053679220726383035516309\ 599982051277895819629124925717441407840189815392414830635/812667150\ 3417788211629800351126610097256444049818612124314395065569311759334\ 88089000088975659683943979431491597258*c_0110_4^14 - 3028799512572756031585205110239552777093375572908002140309685666983\ 740083634377976750766744772525565907813067965538355253732/135444525\ 0569631368604966725187768349542740674969768687385732510928218626555\ 81348166681495943280657329905248599543*c_0110_4^13 + 1571456071546297195038675738110125860356740846990788257735281352174\ 976175136983337716301814720014955005251698777597926059795/902963500\ 3797542457366444834585122330284937833131791249238216739521457510372\ 0898777787663962187104886603499066362*c_0110_4^12 - 2200883139182450805068822512269325305468745638955396916718924264056\ 457487116388056081271207703076957037374173235568199070652/406333575\ 1708894105814900175563305048628222024909306062157197532784655879667\ 44044500044487829841971989715745798629*c_0110_4^11 - 1894139415272062473001409315854732189290950651705545608496935539023\ 779995658803225491826340981236137105988224090441090897577/812667150\ 3417788211629800351126610097256444049818612124314395065569311759334\ 88089000088975659683943979431491597258*c_0110_4^10 + 2576143503605624041407500103125131829715799109873121602565360225481\ 896894992980749848844108186972000037732138385931290569055/812667150\ 3417788211629800351126610097256444049818612124314395065569311759334\ 88089000088975659683943979431491597258*c_0110_4^9 - 9975319667770678574365721944572594268555001061129992941539962725096\ 93322586599511805982651661536886986888151338320110759877/8126671503\ 4177882116298003511266100972564440498186121243143950655693117593348\ 8089000088975659683943979431491597258*c_0110_4^8 - 9680031541676876021146144508055623036383555687170368191915071702664\ 763430088025738206553035387418236082225571820506340345/406333575170\ 8894105814900175563305048628222024909306062157197532784655879667440\ 44500044487829841971989715745798629*c_0110_4^7 + 2035997301491941596240644127477330513616091661078529381564575633837\ 250759757978226958066399476280035750604285838873107519/100329277819\ 9726939707382759398346925587215314792421249915357415502384167819121\ 0975309740440243011654067055451818*c_0110_4^6 - 9733989756651481229630892488954366364040076008642351511254405911414\ 9312505805497590114508696853098462994719916272456033/14035702078441\ 7758404659764268162523268677790152307635998521503723131463891794143\ 1779082859515861733988655425902*c_0110_4^5 + 1460277280230115107964574775217838251605141320643297615285991041388\ 1414672297168551917191679885761240643057991419664097/10554118835607\ 5171579607796767878053211122649997644313302784351500900152718634816\ 75325830852723168103628980410354*c_0110_4^4 + 1771618557569895879540588136733275969045675687499188206816579611692\ 617172080980140706334600960670873560641394805344517078/406333575170\ 8894105814900175563305048628222024909306062157197532784655879667440\ 44500044487829841971989715745798629*c_0110_4^3 - 3504374564750534877531527107718533711702126791046597197039993332300\ 07064232647232189285281187963619731988742079850419867/4063335751708\ 8941058149001755633050486282220249093060621571975327846558796674404\ 4500044487829841971989715745798629*c_0110_4^2 + 6151526855485702524666351692309217589480799462167862809501036041590\ 76923670342700027985176260495903890335994887685555/3869843573056089\ 6245856192148221952844078304999136248211020928883663389330166099476\ 194713126651616379972928171298*c_0110_4 + 1875198760821590539949115951600988824322684848214455946712838219872\ 160137165282266681440831547095278360630409826597706/406333575170889\ 4105814900175563305048628222024909306062157197532784655879667440445\ 00044487829841971989715745798629, c_0011_0 - 1, c_0011_3 + 809990820363113546596255922000334872263248805678895610961182\ 03607953831398187463531535979615275515441081268965/7166376987140906\ 7121955911385596208970515379628030089279668386821598869129937221252\ 2124317160215118147646817987*c_0110_4^30 + 5785106534108840030829015184933165519704085041356724365900879819881\ 41988165359806710256427409177070272121278491/7166376987140906712195\ 5911385596208970515379628030089279668386821598869129937221252212431\ 7160215118147646817987*c_0110_4^29 - 4822423017390329910841933003323960090818899279058137954759019687523\ 84256746670736498930459094105395871324764235/7166376987140906712195\ 5911385596208970515379628030089279668386821598869129937221252212431\ 7160215118147646817987*c_0110_4^28 - 8513439915668545118639694154565849198039076839355965385301215321294\ 79857064021602031332854011168787636704346085/6514888170128097011086\ 9010350542008155013981480027353890607624383271699209033837502011301\ 560019556195240619817*c_0110_4^27 - 1237293973009850555568378975553793650210804079721154148097469971819\ 63077503710951981954225158013061860489269187748/7166376987140906712\ 1955911385596208970515379628030089279668386821598869129937221252212\ 4317160215118147646817987*c_0110_4^26 + 5807812646225224269231770655210951664478456850424079378905278839027\ 02266834638291045339170883366188044639278367001/7166376987140906712\ 1955911385596208970515379628030089279668386821598869129937221252212\ 4317160215118147646817987*c_0110_4^25 + 2799023448376764214121880822755255220219462452680690525336978763653\ 882090352516557779404863118447308093621546479371/716637698714090671\ 2195591138559620897051537962803008927966838682159886912993722125221\ 24317160215118147646817987*c_0110_4^24 - 1652202338479138553807870531127610941766693074689803212403639936829\ 591502821853245810379849622752916124612560034815/651488817012809701\ 1086901035054200815501398148002735389060762438327169920903383750201\ 1301560019556195240619817*c_0110_4^23 - 4768770787281601015184105561080281321118877941837684960639935641494\ 689831480107203572233684162325237879402967686643/716637698714090671\ 2195591138559620897051537962803008927966838682159886912993722125221\ 24317160215118147646817987*c_0110_4^22 + 2501326302292650773803518156429362300804281992729903554350422669250\ 30822091639594257020329167939830334197013316453425/7166376987140906\ 7121955911385596208970515379628030089279668386821598869129937221252\ 2124317160215118147646817987*c_0110_4^21 - 6420061630966775288153581632461252952562776308343766538426604982396\ 98810607065542872588116430837355192142511264779531/7166376987140906\ 7121955911385596208970515379628030089279668386821598869129937221252\ 2124317160215118147646817987*c_0110_4^20 - 8805821314779908477846081711941976765980482368222342544997515302447\ 7219332123665447044226628756290485171469719888793/71663769871409067\ 1219559113855962089705153796280300892796683868215988691299372212522\ 124317160215118147646817987*c_0110_4^19 + 3766537320069453261392058671159049953777979834495862629465281017150\ 639199258164758740306214946472665084329928829719856/716637698714090\ 6712195591138559620897051537962803008927966838682159886912993722125\ 22124317160215118147646817987*c_0110_4^18 - 9100721241236414747869374985913633201998114810851963401109981210605\ 255155159591166987574048842244620786905322849662165/716637698714090\ 6712195591138559620897051537962803008927966838682159886912993722125\ 22124317160215118147646817987*c_0110_4^17 + 1008908455146306914599963653344681952437728717334203089357594749750\ 9480474723458894677136634044436916017279628055903209/71663769871409\ 0671219559113855962089705153796280300892796683868215988691299372212\ 522124317160215118147646817987*c_0110_4^16 - 2437191207253127880247484152997838248687111099565276852566785433461\ 020482274944130109727092648932167651888856569616908/716637698714090\ 6712195591138559620897051537962803008927966838682159886912993722125\ 22124317160215118147646817987*c_0110_4^15 - 8977360330443596748236532869265496800555100252896477011283677580232\ 836883092342452754235026568730471657417442464300780/716637698714090\ 6712195591138559620897051537962803008927966838682159886912993722125\ 22124317160215118147646817987*c_0110_4^14 + 1419867305143097353575281643979614095320189700410985353187012566423\ 2510495166039269479708299099565355087045180468248605/71663769871409\ 0671219559113855962089705153796280300892796683868215988691299372212\ 522124317160215118147646817987*c_0110_4^13 - 9914438755751256112185611725267066529178774446032452086582933236646\ 874631322095563313046537235167173819955678772407044/716637698714090\ 6712195591138559620897051537962803008927966838682159886912993722125\ 22124317160215118147646817987*c_0110_4^12 + 2271071801141095684332384846632591225143250600862841014639927546067\ 392982070094565737620928299396465819852630358828718/716637698714090\ 6712195591138559620897051537962803008927966838682159886912993722125\ 22124317160215118147646817987*c_0110_4^11 + 1913876600620299526379003579395774387735180849557405295432207990872\ 763272224870199369976179506402241952951890902351965/716637698714090\ 6712195591138559620897051537962803008927966838682159886912993722125\ 22124317160215118147646817987*c_0110_4^10 - 1877044320809293762797703955250477979375592518460281784056018148638\ 643591767780121520088913281020795743357517132498249/716637698714090\ 6712195591138559620897051537962803008927966838682159886912993722125\ 22124317160215118147646817987*c_0110_4^9 + 5679960876487320056277552437676202459126230675222846072009034855821\ 38767705014667706549519716442550709019159285765241/7166376987140906\ 7121955911385596208970515379628030089279668386821598869129937221252\ 2124317160215118147646817987*c_0110_4^8 + 8184499337119599410173313556397918032100095663668329529501336514257\ 604739237312036152234867643756060998715015859441/651488817012809701\ 1086901035054200815501398148002735389060762438327169920903383750201\ 1301560019556195240619817*c_0110_4^7 - 1209250773756274189108461754036135928960860716573844536904412218591\ 30265347353035477717468817524816027568023715031159/7166376987140906\ 7121955911385596208970515379628030089279668386821598869129937221252\ 2124317160215118147646817987*c_0110_4^6 + 1399256349528202535140279377575400926952338671036230218239084195884\ 0797041161622562305211361573519897018602496577/33755897254549725446\ 0461193526124394585564670880970745547189763643894814554579468922338\ 350051914798939070569*c_0110_4^5 + 2579550957255157393174953819951514443292687777048687801442655471357\ 815818835234204469218262745305615459842174545402/716637698714090671\ 2195591138559620897051537962803008927966838682159886912993722125221\ 24317160215118147646817987*c_0110_4^4 - 2344748467232843311895850774077965468935844806629662204244423966079\ 486849743113749237859528117675078370411855459012/716637698714090671\ 2195591138559620897051537962803008927966838682159886912993722125221\ 24317160215118147646817987*c_0110_4^3 + 2624031379276696797159183736290426105936124057204927321869458387367\ 49119446964810960062718007807295470696388636117/7166376987140906712\ 1955911385596208970515379628030089279668386821598869129937221252212\ 4317160215118147646817987*c_0110_4^2 + 1123408184363196234398013025566797546897329338004978549789598292052\ 8933163114418934664091918109778367792642694690/71663769871409067121\ 9559113855962089705153796280300892796683868215988691299372212522124\ 317160215118147646817987*c_0110_4 - 4897005148548276660569909481047468174780520005165206414174801183781\ 45252924726833065857450784199699559383493827/7166376987140906712195\ 5911385596208970515379628030089279668386821598869129937221252212431\ 7160215118147646817987, c_0101_1 - 305607189230149585990269562204215116195170398802356868085111\ 73614568128208190603624100111898946644848/8088445004807497705820840\ 0117964327757791408809771404407995224241857757551553312614827071496\ 1382170873*c_0110_4^30 - 195804181761145631740548127705756271565685\ 11348898504802871150854430956965760071746436439187678724736/7353131\ 8225522706416553091016331207052537644372519458552722931128961597774\ 139375104388246814671106443*c_0110_4^29 + 2055987190469026456448589439199405734524910484198809216047183954476\ 35371917524790744102219280665764022/8088445004807497705820840011796\ 4327757791408809771404407995224241857757551553312614827071496138217\ 0873*c_0110_4^28 + 353944422418405465902989831006746914508040309025\ 9256260356352196202793993866592612726165557786953005415/80884450048\ 0749770582084001179643277577914088097714044079952242418577575515533\ 126148270714961382170873*c_0110_4^27 + 4634326982271378850670791358317911864383407453870695869599303798809\ 1244695035534618354446928704947595330/80884450048074977058208400117\ 9643277577914088097714044079952242418577575515533126148270714961382\ 170873*c_0110_4^26 - 2238905387230156411354365071019171948268582345\ 46818472658101680099642665423789405502718726368245367547223/8088445\ 0048074977058208400117964327757791408809771404407995224241857757551\ 5533126148270714961382170873*c_0110_4^25 - 9456384440532536543632642518144765442119531253504316581496140286877\ 8396046641497728277081862293566319936/73531318225522706416553091016\ 3312070525376443725194585527229311289615977741393751043882468146711\ 06443*c_0110_4^24 + 69760458344688394013339798195540725190664853940\ 79563288294401571313887423447203157912559125714799191753436/8088445\ 0048074977058208400117964327757791408809771404407995224241857757551\ 5533126148270714961382170873*c_0110_4^23 + 1267146370550166541230366096775676857397753618215432089646479077241\ 774761321747353878268534659188436232833/808844500480749770582084001\ 1796432775779140880977140440799522424185775755155331261482707149613\ 82170873*c_0110_4^22 - 86514225209945170983259001179969186739367335\ 90646896479612518943945205827853512208255883797087098262073940/7353\ 1318225522706416553091016331207052537644372519458552722931128961597\ 774139375104388246814671106443*c_0110_4^21 + 2278418649746049693046294994728531181093151824732394465580784042718\ 1762088350819655566980314299939020116974/73531318225522706416553091\ 0163312070525376443725194585527229311289615977741393751043882468146\ 71106443*c_0110_4^20 + 19487999819042848810965340610037292893635421\ 241388470787229488919053553645522198059065385965588579203516161/808\ 8445004807497705820840011796432775779140880977140440799522424185775\ 75515533126148270714961382170873*c_0110_4^19 - 1443470965557190214836448565235119490500251290933872379379411714380\ 261863811359496361362890281394265120292653/808844500480749770582084\ 0011796432775779140880977140440799522424185775755155331261482707149\ 61382170873*c_0110_4^18 + 35540284829614941090991928795857032195712\ 0261452226634174029697073843718855584927357883255057965226360552724\ 1/80884450048074977058208400117964327757791408809771404407995224241\ 8577575515533126148270714961382170873*c_0110_4^17 - 3996031985160809759869435358486245081138943385956714284077095159626\ 654114222963983140211011660554673698473209/808844500480749770582084\ 0011796432775779140880977140440799522424185775755155331261482707149\ 61382170873*c_0110_4^16 + 10092545542140756208338519409325002629080\ 4322720192398681560520692253910282227989288976707323978737120740338\ 2/80884450048074977058208400117964327757791408809771404407995224241\ 8577575515533126148270714961382170873*c_0110_4^15 + 3530830521568968300672035828102989971853097483313205076246507632262\ 462331250316971718793282099851285749916636/808844500480749770582084\ 0011796432775779140880977140440799522424185775755155331261482707149\ 61382170873*c_0110_4^14 - 56346698327290758134454798083359193312283\ 5670150656119231323386379026583030038262344219731550839960288619342\ 7/80884450048074977058208400117964327757791408809771404407995224241\ 8577575515533126148270714961382170873*c_0110_4^13 + 3919780388471768621018875333551216655628191056975668685822950400661\ 512170337537827793336450545035767746551388/808844500480749770582084\ 0011796432775779140880977140440799522424185775755155331261482707149\ 61382170873*c_0110_4^12 - 84778818124773917478859019075728403860386\ 6539396713866538679376815846748151596070554261401519050285342518284\ /808844500480749770582084001179643277577914088097714044079952242418\ 577575515533126148270714961382170873*c_0110_4^11 - 8103265871989522584054156372025413893402599439248546784667406677046\ 64807619293700647538496007185303111112452/8088445004807497705820840\ 0117964327757791408809771404407995224241857757551553312614827071496\ 1382170873*c_0110_4^10 + 686528044582813974400794909037167837322448\ 65630019893427178993207417640707626296352229732352220736579838095/7\ 3531318225522706416553091016331207052537644372519458552722931128961\ 597774139375104388246814671106443*c_0110_4^9 - 2087449017669669592773700785445088467932009921802731867372450999285\ 60984996931127827933072383849999796444283/8088445004807497705820840\ 0117964327757791408809771404407995224241857757551553312614827071496\ 1382170873*c_0110_4^8 - 4919321743824216467640397826766077401519631\ 4934639263570204394487203464156762433055314445166762534858848807/80\ 8844500480749770582084001179643277577914088097714044079952242418577\ 575515533126148270714961382170873*c_0110_4^7 + 5015244914840609329840952807083428437743083971823087567034709853547\ 1407648417588730500083781474802525946001/80884450048074977058208400\ 1179643277577914088097714044079952242418577575515533126148270714961\ 382170873*c_0110_4^6 - 99736180694762660658009189269802004950265608\ 58448989685215518359475953265433993599540594885949668543057076/8088\ 4450048074977058208400117964327757791408809771404407995224241857757\ 5515533126148270714961382170873*c_0110_4^5 - 1971788763830075458740949737456093856867700948815918179227398990862\ 243970591562732939132754776706939246379/808844500480749770582084001\ 1796432775779140880977140440799522424185775755155331261482707149613\ 82170873*c_0110_4^4 + 964077723452846698385482557636069881366468416\ 728099861795039722551800218472828437025697310282388835698942/808844\ 5004807497705820840011796432775779140880977140440799522424185775755\ 15533126148270714961382170873*c_0110_4^3 - 2950532242996287465749623236763131926460732178412522110327783925890\ 5168481238114616466742589253652373420/80884450048074977058208400117\ 9643277577914088097714044079952242418577575515533126148270714961382\ 170873*c_0110_4^2 - 13647966115940232874879680031505177630096824633\ 765047146486112544377640242166704831229691584925738433439/808844500\ 4807497705820840011796432775779140880977140440799522424185775755155\ 33126148270714961382170873*c_0110_4 - 9576598739019869419299625830321610887917989659970944911463314749588\ 25795117675966867918534468470711211/8088445004807497705820840011796\ 4327757791408809771404407995224241857757551553312614827071496138217\ 0873, c_0101_2 + 207755919232614717451568344563902683087494035514665963286539\ 6021158044655401880237181/70350484362183837699179369404325940771099\ 112215539900457664064124952870229421641906383*c_0110_4^30 + 1313331224180590103238220972566441202575299773156928930625149865244\ 0643081214759766216/70350484362183837699179369404325940771099112215\ 539900457664064124952870229421641906383*c_0110_4^29 - 2520524986703475619551134537949287337897469758583062057027745470870\ 3307410920669164587/70350484362183837699179369404325940771099112215\ 539900457664064124952870229421641906383*c_0110_4^28 - 2350349401294029212252761797179726393325815423229202221854841510733\ 72745700462424456745/7035048436218383769917936940432594077109911221\ 5539900457664064124952870229421641906383*c_0110_4^27 - 2974659942698623979189699555396740079486691950973589411438806429489\ 626376676494396303272/703504843621838376991793694043259407710991122\ 15539900457664064124952870229421641906383*c_0110_4^26 + 1757785521510724404358248612405414908945057318518983341656028087284\ 1475750177797297133044/70350484362183837699179369404325940771099112\ 215539900457664064124952870229421641906383*c_0110_4^25 + 6060648053047629912742116868040087724559808204087255293475212940121\ 1539268848675087516487/70350484362183837699179369404325940771099112\ 215539900457664064124952870229421641906383*c_0110_4^24 - 5293479111534787282329669958056036690734250938642244784172396450662\ 37257617182855723661559/7035048436218383769917936940432594077109911\ 2215539900457664064124952870229421641906383*c_0110_4^23 + 2356667292880945003897981040462176391370118964916296780675448648224\ 16236180808779504599708/7035048436218383769917936940432594077109911\ 2215539900457664064124952870229421641906383*c_0110_4^22 + 6653252202625518679364648778045160577062909911964296590592358365992\ 615635781755987904934092/703504843621838376991793694043259407710991\ 12215539900457664064124952870229421641906383*c_0110_4^21 - 2163486752038254742266133009490352892762378172864349207703036935721\ 1912622177839524429494436/70350484362183837699179369404325940771099\ 112215539900457664064124952870229421641906383*c_0110_4^20 + 9265109886937502818003617491286981912222527623249565635785020683275\ 679717880188138912879588/703504843621838376991793694043259407710991\ 12215539900457664064124952870229421641906383*c_0110_4^19 + 1028304806530008407734196094815019430882391998813559254151033693262\ 45012953915857251775369955/7035048436218383769917936940432594077109\ 9112215539900457664064124952870229421641906383*c_0110_4^18 - 3101485656059260038795256493854058727773805524912639737421836463563\ 39349187707051907805391020/7035048436218383769917936940432594077109\ 9112215539900457664064124952870229421641906383*c_0110_4^17 + 4208724687654859110117400577864090160601919540759952449905811687570\ 54714971129590061814429201/7035048436218383769917936940432594077109\ 9112215539900457664064124952870229421641906383*c_0110_4^16 - 2134767205690319091495289521010765846252010889045588794704522376583\ 06674560697111141429587332/7035048436218383769917936940432594077109\ 9112215539900457664064124952870229421641906383*c_0110_4^15 - 2350644207671734060486903944600569331561137005872523801171979232867\ 61912286723885430294262659/7035048436218383769917936940432594077109\ 9112215539900457664064124952870229421641906383*c_0110_4^14 + 5496922658371462150327259389059221526326048492133728943458995264503\ 31327345936510587333932204/7035048436218383769917936940432594077109\ 9112215539900457664064124952870229421641906383*c_0110_4^13 - 4823132947984094726061050172542400268127392899310204901737526591989\ 46516397135230125490094184/7035048436218383769917936940432594077109\ 9112215539900457664064124952870229421641906383*c_0110_4^12 + 1817751118311952676788833048714855757100047672626400820462367530715\ 99912926765693516801885324/7035048436218383769917936940432594077109\ 9112215539900457664064124952870229421641906383*c_0110_4^11 + 4623865858278052927999880043883236461307239391783489240370744636532\ 6862421522094477140031121/70350484362183837699179369404325940771099\ 112215539900457664064124952870229421641906383*c_0110_4^10 - 8858098920605914598790468465302644704518644030852306473477763341415\ 9342975818650503409039817/70350484362183837699179369404325940771099\ 112215539900457664064124952870229421641906383*c_0110_4^9 + 3895208297301584714886787404532750401138730024924885642742810736651\ 9778948425924651718419843/70350484362183837699179369404325940771099\ 112215539900457664064124952870229421641906383*c_0110_4^8 - 9136816468497526250115195834914963988974121048168716652499599825282\ 00418510217622265825371/7035048436218383769917936940432594077109911\ 2215539900457664064124952870229421641906383*c_0110_4^7 - 5978163366899772510143967995241742766249502999937594110214238418101\ 252000543712408371433211/703504843621838376991793694043259407710991\ 12215539900457664064124952870229421641906383*c_0110_4^6 + 2218560920253989499247682434828060390313341401823392345847031818728\ 117007324465907997461277/703504843621838376991793694043259407710991\ 12215539900457664064124952870229421641906383*c_0110_4^5 - 5187754234120142050832392916144415696519977115028572622218348177855\ 0459090217582254778377/70350484362183837699179369404325940771099112\ 215539900457664064124952870229421641906383*c_0110_4^4 - 1437773074175096027212979452592177435626089495661885329089400846921\ 88998306546037181816768/7035048436218383769917936940432594077109911\ 2215539900457664064124952870229421641906383*c_0110_4^3 + 2485160485864809239107710013731731331546471339269397285199411199568\ 3326793074969877761108/70350484362183837699179369404325940771099112\ 215539900457664064124952870229421641906383*c_0110_4^2 + 4652889501844522492328009162149713662785082228956041892232634582423\ 57681777338775795150/7035048436218383769917936940432594077109911221\ 5539900457664064124952870229421641906383*c_0110_4 - 6155592595833400602044981726023334269074417195716911996306411564634\ 6276266321319592040/70350484362183837699179369404325940771099112215\ 539900457664064124952870229421641906383, c_0101_3 + 179304327533907344177454038937411263235004749773182661997042\ 10276027965950565420989377225909422432735678709571/7166376987140906\ 7121955911385596208970515379628030089279668386821598869129937221252\ 2124317160215118147646817987*c_0110_4^30 + 1309564617975837334068836728640457990306220124186826978195345655973\ 52939534609336015777198486188160330299751978/7166376987140906712195\ 5911385596208970515379628030089279668386821598869129937221252212431\ 7160215118147646817987*c_0110_4^29 - 8611721035309244609328672355874085086530341600099144257932821172874\ 2260943887312109868649842569100724104554449/71663769871409067121955\ 9113855962089705153796280300892796683868215988691299372212522124317\ 160215118147646817987*c_0110_4^28 - 2090995152216591632931170593535566086652407418353696611112850967067\ 566979809597492361792350160854474203325851896/716637698714090671219\ 5591138559620897051537962803008927966838682159886912993722125221243\ 17160215118147646817987*c_0110_4^27 - 2772767953610394893121087326195447239107696376653597822100553959507\ 2989372933836134141253813470795533826419947731/71663769871409067121\ 9559113855962089705153796280300892796683868215988691299372212522124\ 317160215118147646817987*c_0110_4^26 + 1241479743097916110790332818737642529618230317094168731666021321427\ 82147745860227621016161882794008739744227737937/7166376987140906712\ 1955911385596208970515379628030089279668386821598869129937221252212\ 4317160215118147646817987*c_0110_4^25 + 6404659875234690442185055335892064260020460151942430942198377118448\ 78124487753423042568047726781997715110708089580/7166376987140906712\ 1955911385596208970515379628030089279668386821598869129937221252212\ 4317160215118147646817987*c_0110_4^24 - 3922617879908511944592099223360737338433839339288832688530230180635\ 367525320544409616675945838913741213376291613797/716637698714090671\ 2195591138559620897051537962803008927966838682159886912993722125221\ 24317160215118147646817987*c_0110_4^23 - 1708890860821260477478282085959447988192028010548668708119755611012\ 570543018849288301548753764197659124510116739725/716637698714090671\ 2195591138559620897051537962803008927966838682159886912993722125221\ 24317160215118147646817987*c_0110_4^22 + 5518915035669149662376991314355751654665068932488715830317733949971\ 2250751253779358067829748136370204653089584938507/71663769871409067\ 1219559113855962089705153796280300892796683868215988691299372212522\ 124317160215118147646817987*c_0110_4^21 - 1330891510491637112046105535229506245672423566797894324702522574236\ 72742212551121814066008723750639062718103405160079/7166376987140906\ 7121955911385596208970515379628030089279668386821598869129937221252\ 2124317160215118147646817987*c_0110_4^20 - 4242601534315159916373717392634096795871013250730611529185726939716\ 4017138519240180747244359092115219420903536158789/71663769871409067\ 1219559113855962089705153796280300892796683868215988691299372212522\ 124317160215118147646817987*c_0110_4^19 + 8295257460318024220154711325546468412720673991103616964257654285284\ 58697075407527077766518019552266829496196841263011/7166376987140906\ 7121955911385596208970515379628030089279668386821598869129937221252\ 2124317160215118147646817987*c_0110_4^18 - 1706770919512870307302218136089503913258337134996780358685745213766\ 53962077285480206985791619552771891647427794652816/6514888170128097\ 0110869010350542008155013981480027353890607624383271699209033837502\ 011301560019556195240619817*c_0110_4^17 + 1909551677092308980454585044318616663139523522806837022397596656299\ 347373025355628417317581440227478616045661474700465/716637698714090\ 6712195591138559620897051537962803008927966838682159886912993722125\ 22124317160215118147646817987*c_0110_4^16 - 1949978809996316604043672811266700737898402591964163329077248630387\ 06031786684867125213555939559821214073262343011185/7166376987140906\ 7121955911385596208970515379628030089279668386821598869129937221252\ 2124317160215118147646817987*c_0110_4^15 - 2043077951742601098184495402867489970603418028484733891200082925904\ 102068375726444543568516416053188743105017969096297/716637698714090\ 6712195591138559620897051537962803008927966838682159886912993722125\ 22124317160215118147646817987*c_0110_4^14 + 2797723280142953036444408691954442572538154910209328903416311988835\ 741392159817455347863615161393579832762141651851981/716637698714090\ 6712195591138559620897051537962803008927966838682159886912993722125\ 22124317160215118147646817987*c_0110_4^13 - 1695499201492458083301748836076279779542555292848873074206773143554\ 955696905845606843430020379698839310283532799030334/716637698714090\ 6712195591138559620897051537962803008927966838682159886912993722125\ 22124317160215118147646817987*c_0110_4^12 + 1866983467268564172786798723744419708914800201839526645371991364862\ 49815545834841064035960714595660856191817163182387/7166376987140906\ 7121955911385596208970515379628030089279668386821598869129937221252\ 2124317160215118147646817987*c_0110_4^11 + 4667696876196595056770131805985516504764951486922469311257800228692\ 91637544031052639426667976527135590164951504468281/7166376987140906\ 7121955911385596208970515379628030089279668386821598869129937221252\ 2124317160215118147646817987*c_0110_4^10 - 3320886715916634259345541506415875128103654973457066887634470261687\ 57076483618179520114234811784903352734538689449393/7166376987140906\ 7121955911385596208970515379628030089279668386821598869129937221252\ 2124317160215118147646817987*c_0110_4^9 + 6247983934161215271372422398978712143218749389683351784513487235864\ 1297310683672975119314437999415170998350428316133/71663769871409067\ 1219559113855962089705153796280300892796683868215988691299372212522\ 124317160215118147646817987*c_0110_4^8 + 3321761473075540362246725487297239921915598430259742842127550720642\ 1661630288166882920188432674084078833005554036026/71663769871409067\ 1219559113855962089705153796280300892796683868215988691299372212522\ 124317160215118147646817987*c_0110_4^7 - 2090671496335171534457774154419129729961882271624290766698759464340\ 9450511571850853765802090142044518683598635715601/71663769871409067\ 1219559113855962089705153796280300892796683868215988691299372212522\ 124317160215118147646817987*c_0110_4^6 + 1278523249582446684777350358714343945042310199171332459280928240069\ 1339184004733486615112490982719880762083210107/37131486980004697990\ 6507312878736834044121137969067820101908740008284296010037415814572\ 1850571062788329776259*c_0110_4^5 + 1174221244297072901288416888700137937651945165871024134595778855836\ 931907423939526304101065820955423569999368667092/716637698714090671\ 2195591138559620897051537962803008927966838682159886912993722125221\ 24317160215118147646817987*c_0110_4^4 - 3236478425094958681147890352035709113268883069235583736039325706567\ 07960777327906430974245281098151412478619758306/7166376987140906712\ 1955911385596208970515379628030089279668386821598869129937221252212\ 4317160215118147646817987*c_0110_4^3 - 8232934956172283475062036183308481640741564103532764030702124008644\ 388216073240712419677902678561874301101209510/716637698714090671219\ 5591138559620897051537962803008927966838682159886912993722125221243\ 17160215118147646817987*c_0110_4^2 + 4682679254001193649587420639435836325017126189805062182380497030516\ 737514010397428710807590584832367052429430634/716637698714090671219\ 5591138559620897051537962803008927966838682159886912993722125221243\ 17160215118147646817987*c_0110_4 + 1352988596383596651514791540599603532627909094523455916381877159596\ 9972578285799039365492458528840473442981105/65148881701280970110869\ 0103505420081550139814800273538906076243832716992090338375020113015\ 60019556195240619817, c_0110_0 - 134088783259318572928844607095152806065947928321040836421533\ 49961688872780889325997611450637718563116/8088445004807497705820840\ 0117964327757791408809771404407995224241857757551553312614827071496\ 1382170873*c_0110_4^30 - 998069291113815410432091950687987224041335\ 99982016058435744318795290595156344366846492216336940309160/8088445\ 0048074977058208400117964327757791408809771404407995224241857757551\ 5533126148270714961382170873*c_0110_4^29 + 4897768949736467201327699615609670227134597699860444047809995429038\ 2925869360074271893315374455661283/80884450048074977058208400117964\ 3277577914088097714044079952242418577575515533126148270714961382170\ 873*c_0110_4^28 + 1558393147125541357084776564204759573936642530635\ 660998112950575440680591431657869059313483950786636063/808844500480\ 7497705820840011796432775779140880977140440799522424185775755155331\ 26148270714961382170873*c_0110_4^27 + 2094931848066713463424313622281794548583847503791966112583467744069\ 8245524324869783057423060062821799239/80884450048074977058208400117\ 9643277577914088097714044079952242418577575515533126148270714961382\ 170873*c_0110_4^26 - 8974233403828749638382404535613547998755346512\ 3530334470588988607607865009918239704861667320428664538297/80884450\ 0480749770582084001179643277577914088097714044079952242418577575515\ 533126148270714961382170873*c_0110_4^25 - 4890593407462393374460540585425914045227025822375232955455841127006\ 19317720885146659680226997076650194123/8088445004807497705820840011\ 7964327757791408809771404407995224241857757551553312614827071496138\ 2170873*c_0110_4^24 + 285714488116114504062558504736308181048863272\ 4302400471420873427638124343133337105057786796218425465578956/80884\ 4500480749770582084001179643277577914088097714044079952242418577575\ 515533126148270714961382170873*c_0110_4^23 + 1616518166271932197076710199088240470453535858574341526833719075528\ 801674871877440637056736624802379201846/808844500480749770582084001\ 1796432775779140880977140440799522424185775755155331261482707149613\ 82170873*c_0110_4^22 - 40778782153589291826723564539837399172723957\ 742224292262180260298948399808745897646277320493479840280005928/808\ 8445004807497705820840011796432775779140880977140440799522424185775\ 75515533126148270714961382170873*c_0110_4^21 + 9423603626195806989770131103616510208838685629365141717750921764218\ 2471610636603474945389260457744602352094/80884450048074977058208400\ 1179643277577914088097714044079952242418577575515533126148270714961\ 382170873*c_0110_4^20 + 4067536747607404841074882741551782886953625\ 2035444785585457519758854410189427674887980118930302274787257913/80\ 8844500480749770582084001179643277577914088097714044079952242418577\ 575515533126148270714961382170873*c_0110_4^19 - 5525371191697361257945825058962840911202420356764260746976945036709\ 8258196145955581922022017128271308167349/73531318225522706416553091\ 0163312070525376443725194585527229311289615977741393751043882468146\ 71106443*c_0110_4^18 + 13301073168883384436159395879222080532566864\ 38790318166974465785587667466970887328667130572483587350769827271/8\ 0884450048074977058208400117964327757791408809771404407995224241857\ 7575515533126148270714961382170873*c_0110_4^17 - 1301786658726023832091180242637929452226001993816488111896585954594\ 423578000201575998421088885073799974827292/808844500480749770582084\ 0011796432775779140880977140440799522424185775755155331261482707149\ 61382170873*c_0110_4^16 + 59377446503915418156284546586486427637551\ 177057310714413943585736305862557545574451084656716167976357933888/\ 8088445004807497705820840011796432775779140880977140440799522424185\ 77575515533126148270714961382170873*c_0110_4^15 + 1484871232405470165758950662893060329335577897468522168638181154321\ 576156881938201653565139307810381997680469/808844500480749770582084\ 0011796432775779140880977140440799522424185775755155331261482707149\ 61382170873*c_0110_4^14 - 17666684919213788941383764841624199216741\ 7966686080348199235955149721774929320917419419929313201327295970304\ /735313182255227064165530910163312070525376443725194585527229311289\ 61597774139375104388246814671106443*c_0110_4^13 + 1124247721762421139257029851553604078086737050334994014052366914943\ 757148086762290915146610933799139747403636/808844500480749770582084\ 0011796432775779140880977140440799522424185775755155331261482707149\ 61382170873*c_0110_4^12 - 75510097378260133498922369119348521031300\ 458431832346758121069469588982152940156917338579648063704758556737/\ 8088445004807497705820840011796432775779140880977140440799522424185\ 77575515533126148270714961382170873*c_0110_4^11 - 3470880850150033020936969689532064000828471106719818433539177613943\ 15094852205723766074394235763948455827395/8088445004807497705820840\ 0117964327757791408809771404407995224241857757551553312614827071496\ 1382170873*c_0110_4^10 + 227116687047098139919781121739903733240266\ 207805048564104109960670118586766066240204552933327169745959619420/\ 8088445004807497705820840011796432775779140880977140440799522424185\ 77575515533126148270714961382170873*c_0110_4^9 - 2926815643963513689892756343528565177113951561487874514488595416574\ 735498481149065878417430160873471071252/735313182255227064165530910\ 1633120705253764437251945855272293112896159777413937510438824681467\ 1106443*c_0110_4^8 - 3021485169718452775490395257755293372629810826\ 3477806508226054718667549264713464022407465359462082975270289/80884\ 4500480749770582084001179643277577914088097714044079952242418577575\ 515533126148270714961382170873*c_0110_4^7 + 1469602207307507205479429953176815401744607124884406125200938130063\ 445427235953214847587247188604389255454/735313182255227064165530910\ 1633120705253764437251945855272293112896159777413937510438824681467\ 1106443*c_0110_4^6 - 1033375853510443137256917196758355820112448023\ 996334109853608336302171355903864798363599623172630965749944/808844\ 5004807497705820840011796432775779140880977140440799522424185775755\ 15533126148270714961382170873*c_0110_4^5 - 1407590274578214469565866269343514589325437204496142716158567672127\ 212640837590188643220078684944882391360/808844500480749770582084001\ 1796432775779140880977140440799522424185775755155331261482707149613\ 82170873*c_0110_4^4 + 366560906252416929350384155146699601054821734\ 594481646561377905641383635547503249131530083961592032897587/808844\ 5004807497705820840011796432775779140880977140440799522424185775755\ 15533126148270714961382170873*c_0110_4^3 + 2678348152088646447993921323216274134492513617163041042056178274328\ 1658892503564491241101824299751540526/80884450048074977058208400117\ 9643277577914088097714044079952242418577575515533126148270714961382\ 170873*c_0110_4^2 - 17173831679588237301998423157339139484660652293\ 436658703683920398109200390677784092500916045483615949360/808844500\ 4807497705820840011796432775779140880977140440799522424185775755155\ 33126148270714961382170873*c_0110_4 - 6500142829498725149239853530087772019093336260774807309650561727761\ 2495665654727667180281209231471492/80884450048074977058208400117964\ 3277577914088097714044079952242418577575515533126148270714961382170\ 873, c_0110_4^31 + 7*c_0110_4^30 - 7*c_0110_4^29 - 115*c_0110_4^28 - 1511*c_0110_4^27 + 7391*c_0110_4^26 + 33585*c_0110_4^25 - 229493*c_0110_4^24 - 28103*c_0110_4^23 + 3102969*c_0110_4^22 - 8361175*c_0110_4^21 - 53519*c_0110_4^20 + 46867546*c_0110_4^19 - 118865687*c_0110_4^18 + 139147214*c_0110_4^17 - 44812498*c_0110_4^16 - 109426256*c_0110_4^15 + 191123203*c_0110_4^14 - 144001356*c_0110_4^13 + 41164847*c_0110_4^12 + 22101358*c_0110_4^11 - 26726244*c_0110_4^10 + 9591389*c_0110_4^9 + 597318*c_0110_4^8 - 1740082*c_0110_4^7 + 533622*c_0110_4^6 + 8639*c_0110_4^5 - 37470*c_0110_4^4 + 6113*c_0110_4^3 + 85*c_0110_4^2 - 43*c_0110_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB