Magma V2.19-8 Tue Aug 20 2013 16:19:17 on localhost [Seed = 2564359574] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3406 geometric_solution 6.57204189 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440957737121 0.298015082464 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.002299868794 0.754087361585 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.697980890988 0.911250706237 6 5 4 1 3201 1023 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.697980890988 0.911250706237 5 2 3 5 1230 0132 1023 3012 0 0 0 0 0 1 0 -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 1 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.653064535961 0.677725642003 3 4 4 2 1023 3012 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.472834302806 0.963720203023 6 6 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 -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.453846943565 0.675976817968 ==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' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : negation(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_0011_1'], '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_0011_6']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_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' : negation(d['c_0011_1']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_6, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 7724469338689835907179779900509174429537357215608240330465726224995\ 146942480810976837586390114578023/102083380998387449928636736169455\ 5012581540891709853468940699261756202808026533463241326831495928217\ 60*c_0101_4^32 + 14880440887379115860175661393081829758498836278292\ 8326603303866357224373543850034909022994166763262181/20416676199677\ 4899857273472338911002516308178341970693788139852351240561605306692\ 648265366299185643520*c_0101_4^31 + 1840891004594104600241473530166385819990423926373502346891019219656\ 81293194172902123554527896815279681/2041667619967748998572734723389\ 1100251630817834197069378813985235124056160530669264826536629918564\ 3520*c_0101_4^30 - 664487912773604645933203098550142514927633697632\ 681153545136985869740713921662543333577457068972469/429282510506255\ 0459572612959186522340544747231748753023299828686947867148976170997\ 6506595100753920*c_0101_4^29 - 163392416732523101112412914343966111\ 9325427634699629868106060266183239233889430382016706389053931270147\ /204166761996774899857273472338911002516308178341970693788139852351\ 240561605306692648265366299185643520*c_0101_4^28 + 3004154937453344494152985906284708429668356251420159615491207010551\ 4069314556852896464380248996080977551/20416676199677489985727347233\ 8911002516308178341970693788139852351240561605306692648265366299185\ 643520*c_0101_4^27 + 9046348045951434807001569326742320060808437382\ 934608603423518311569947858961749829861346790491375578737/204166761\ 9967748998572734723389110025163081783419706937881398523512405616053\ 06692648265366299185643520*c_0101_4^26 - 1831053383863556591196535105875552622683144710905050686217243151777\ 465515313555496263429727950206681883/221920393474755325931818991672\ 7293505612045416760551019436302742948266973970724920089840938034626\ 560*c_0101_4^25 - 2454082336204603437617989963983868113652980583893\ 9038257339163757212915999280715720357338168131258262699/20416676199\ 6774899857273472338911002516308178341970693788139852351240561605306\ 692648265366299185643520*c_0101_4^24 + 2914817470499723851478669292414660719879877354131550886929095315134\ 00213835424501277280238253199613171057/1020833809983874499286367361\ 6945550125815408917098534689406992617562028080265334632413268314959\ 2821760*c_0101_4^23 + 526056268143230125739286613813436408466189264\ 18495748943629141340762532488357358136267621467529849531343/2041667\ 6199677489985727347233891100251630817834197069378813985235124056160\ 5306692648265366299185643520*c_0101_4^22 - 8031685734271228304671841107612259567755480067903840965045337645546\ 08214880449169486582746308052635386543/1020833809983874499286367361\ 6945550125815408917098534689406992617562028080265334632413268314959\ 2821760*c_0101_4^21 + 234600038491520163223082092674361392827420583\ 701692426957560084251715115463060575172348781264896588747025/408333\ 5239935497997145469446778220050326163566839413875762797047024811232\ 1061338529653073259837128704*c_0101_4^20 + 1261092350866986147582630553874678036873086102671102200818555095215\ 34400598541726604890063372706821821431/7040233172302582753699085253\ 0658966384933854600679549582117190465945021243209204361470815965236\ 42880*c_0101_4^19 - 10261812284564062984859920317620646658287892439\ 138255663170482890161744843743066148546780803344950549675907/204166\ 7619967748998572734723389110025163081783419706937881398523512405616\ 05306692648265366299185643520*c_0101_4^18 - 6549968791552933033505462596409484139220213290742812077960841138713\ 26710721073578005565534451443548273363/5104169049919372496431836808\ 4727750629077044585492673447034963087810140401326673162066341574796\ 410880*c_0101_4^17 + 3938828304456464304152892710452084447828870699\ 2585401311912963293204201214038616452041931355612180157017583/20416\ 6761996774899857273472338911002516308178341970693788139852351240561\ 605306692648265366299185643520*c_0101_4^16 - 2050150237276837388246227299011704379306355729044340346253764745277\ 555829479370122098007674477285844787731/510416904991937249643183680\ 8472775062907704458549267344703496308781014040132667316206634157479\ 6410880*c_0101_4^15 - 255425588246188679739366359686009689111330425\ 16577470622885932156278366436711509529608081270183350798378857/5104\ 1690499193724964318368084727750629077044585492673447034963087810140\ 401326673162066341574796410880*c_0101_4^14 + 1173746642125988791822650691013373158706789040932424309868126665698\ 95019282371799127864623322034879882829/6716011907788648021620837905\ 8852303459311900770385096640835477747118605791219306792192554703679\ 4880*c_0101_4^13 + 295621218992636950842062344609796074120728563178\ 982290139288490412962051410277975683747939555469607415/289483271887\ 4417250698637028398806183591030205620047269001529213237870939276694\ 25828416184067584*c_0101_4^12 - 71529051755164627475603844907175520\ 2559123815730929910996157028143406586445789881984528207820596628276\ 397/159505282809980390513494900264774220715865764329664604521984259\ 6494066887541458536314573174212387840*c_0101_4^11 - 2490831405414740530313331341060300869312121610765536234051484054115\ 616682999592700680697004511486214708741/159505282809980390513494900\ 2647742207158657643296646045219842596494066887541458536314573174212\ 387840*c_0101_4^10 + 1207159353752110518382980101199427478436573283\ 1437254830217610528879285412530951340551039509027205005071/19451863\ 7573146817699384024713139293555933858938615371368273487377325230187\ 98274833104550905029120*c_0101_4^9 + 2002044547230607907988224261306592511085546356167765305344865745137\ 49663208538189941528998466813339317097/1595052828099803905134949002\ 6477422071586576432966460452198425964940668875414585363145731742123\ 8784*c_0101_4^8 - 1450461254426520589998990872918378843680022192301\ 67853997619049250899135433181556048930157971426321058709/3987632070\ 2495097628373725066193555178966441082416151130496064912351672188536\ 4634078643293553096960*c_0101_4^7 - 1238299135288022396780423351642292788965738465885723513963499795286\ 76693474958136382450348819116493272481/1993816035124754881418686253\ 3096777589483220541208075565248032456175836094268231703932164677654\ 8480*c_0101_4^6 + 9669072495187042546318269827501421004737322341229\ 52156385408197822273789070753192063446445834070539549/9969080175623\ 7744070934312665483887947416102706040377826240162280879180471341158\ 519660823388274240*c_0101_4^5 + 10396758421337071303875997499999562\ 7794527213490590336461775054869237856023938572116004849039197707694\ 1/31153375548824295022166972707963714983567532095637618070700050712\ 77474389729411203739400730883570*c_0101_4^4 + 2087614771232717525771647855490361052279210029057750662420805422678\ 542148990047451872955345333883012113/249227004390594360177335781663\ 7097198685402567651009445656004057021979511783528962991520584706856\ 0*c_0101_4^3 - 3572088378883165376125202487623452697608782339695633\ 24855755636425964805479415728958751279263400548557/2492270043905943\ 6017733578166370971986854025676510094456560040570219795117835289629\ 91520584706856*c_0101_4^2 - 107080502598840748752614149071144206345\ 18324892899380450038436120782092092269014724724245248034041781/3115\ 3375548824295022166972707963714983567532095637618070700050712774743\ 8972941120373940073088357*c_0101_4 + 4949638425750551767366022036631370016233359847435975333828631650982\ 1418151920493131930017633929892436/15576687774412147511083486353981\ 85749178376604781880903535002535638737194864705601869700365441785, c_0011_0 - 1, c_0011_1 - 242214780855400261350438093675120671404650712687852185761920\ 2080229867228745407614745626359721/17753631477980426074545519333818\ 3480448963633340844081554904219435861357917657993607187275042770124\ 8*c_0101_4^32 + 231468949579130872160604708553519274161127867562591\ 89142627117721049995651625649309653736700533/1775363147798042607454\ 5519333818348044896363334084408155490421943586135791765799360718727\ 50427701248*c_0101_4^31 + 15010635371683390685491583379280839902922\ 386515949233811865150817366222087922931933220220436921/887681573899\ 0213037272759666909174022448181667042204077745210971793067895882899\ 68035936375213850624*c_0101_4^30 - 1188863919514648220215582421450148175688006955104179781114366164109\ 5025951492379345493913645137/43301540190196161157428095936142312304\ 625276424596117452415663277039355589672681367606652449456128*c_0101\ _4^29 - 28669578414393389925888836750160460941433257143390843366885\ 0930504013320507171592261434637247639/17753631477980426074545519333\ 8183480448963633340844081554904219435861357917657993607187275042770\ 1248*c_0101_4^28 + 456619615885943782590697455003628265621605869102\ 3906401561804325006124235633815328972981161329245/17753631477980426\ 0745455193338183480448963633340844081554904219435861357917657993607\ 1872750427701248*c_0101_4^27 + 857976785825381634219384107066847362\ 271456010985151327568839370687847958893506389698706714304927/887681\ 5738990213037272759666909174022448181667042204077745210971793067895\ 88289968035936375213850624*c_0101_4^26 - 2512201996256374031170616634513807211612745875733049497589454152999\ 0847332661859042349186812259251/17753631477980426074545519333818348\ 04489636333408440815549042194358613579176579936071872750427701248*c\ _0101_4^25 - 692126599712801643404760098870791088003617224666185842\ 075410988570177731656678513076132883603223/221920393474755325931818\ 9916727293505612045416760551019436302742948266973970724920089840938\ 03462656*c_0101_4^24 + 84505260615947547632381355130928336508874501\ 915071758592497519554775190033816197113889288543101271/177536314779\ 8042607454551933381834804489636333408440815549042194358613579176579\ 936071872750427701248*c_0101_4^23 + 9495255062897358017994884925446787762693443584017075092720777256381\ 5186743226876477376656312473/11680020709197648733253631140669965819\ 010765351371321154927909173411931441951183789946531252813824*c_0101\ _4^22 - 22858017914195912679048473156753092868638514158145869072226\ 8124794384175682598332036874018405598649/17753631477980426074545519\ 3338183480448963633340844081554904219435861357917657993607187275042\ 7701248*c_0101_4^21 + 166240442774297253353609436389269425191144413\ 833178559976698416983140295860039074366977063158191165/177536314779\ 8042607454551933381834804489636333408440815549042194358613579176579\ 936071872750427701248*c_0101_4^20 + 5256918517258094357565535103704844161132538265527682281957559811841\ 99533892350687218067042205603809/1775363147798042607454551933381834\ 804489636333408440815549042194358613579176579936071872750427701248*\ c_0101_4^19 - 75898177668484285550015677266297439543222447373477932\ 0228572290689887454377417926908200025981655211/88768157389902130372\ 7275966690917402244818166704220407774521097179306789588289968035936\ 375213850624*c_0101_4^18 - 1362930425349862220159536384061956422290\ 1490835122711822791391881178237393539852546499414108309093/61219418\ 8895876761191224804614425794651598735658083039844497308399521923853\ 99308140409405187162112*c_0101_4^17 + 1434428648206564796231525606638772441163831693211210596728762835657\ 859041523159424958068614170987557/443840786949510651863637983345458\ 701122409083352110203887260548589653394794144984017968187606925312*\ c_0101_4^16 - 22399206492094068313524439911050485849326813719468618\ 6343972579325001800704567784450095035600073621/44384078694951065186\ 3637983345458701122409083352110203887260548589653394794144984017968\ 187606925312*c_0101_4^15 - 4558109368453473409723781028556469175083\ 43771199637045934387755873602085727230524221813088708931623/5548009\ 8368688831482954747918182337640301135419013775485907568573706674349\ 268123002246023450865664*c_0101_4^14 + 6237540353540453317558374130076832261329853962249987609672656195485\ 6855087717007962821473457724695/27740049184344415741477373959091168\ 820150567709506887742953784286853337174634061501123011725432832*c_0\ 101_4^13 + 14267142105347080931548595525902574455087759610318287976\ 084397014046008775790917454035115082524865/866876537010762991921167\ 9362215990256297052409220902419673057589641667867073144219100941164\ 19776*c_0101_4^12 - 16282798357790380297875708595242241104398737183\ 0346683645467866424731257812855808891384358269406749/27740049184344\ 4157414773739590911688201505677095068877429537842868533371746340615\ 01123011725432832*c_0101_4^11 - 33765726702965980034798060272347903\ 9597938157295934553957409635359771788112236308314033665497648965/13\ 8700245921722078707386869795455844100752838547534438714768921434266\ 68587317030750561505862716416*c_0101_4^10 + 7420830059816520094912857060784749636851592043474439674843817962846\ 5627832270611618922836510791/10571665085497109657575218734409744214\ 996405377098661487406167792245936423259931974513342883168*c_0101_4^\ 9 + 291554315676465313945684490585880764223912024704394313929932391\ 22175151848317296725465570570496789/1733753074021525983842335872443\ 198051259410481844180483934611517928333573414628843820188232839552*\ c_0101_4^8 - 195916095532942575902927686675473642604205879656488798\ 424788053955707396453104157210943839294201/912501617906066307285439\ 9328648410796102160430758844652287429041728071439024362335895727541\ 2608*c_0101_4^7 - 2883409174947906042336153300990846726760070141031\ 078622671479523819924574336074348607607956905365/433438268505381495\ 9605839681107995128148526204610451209836528794820833933536572109550\ 47058209888*c_0101_4^6 - 400985811897931613631870328701754986887153\ 343253417857610519222390640492578354337893148762805261/216719134252\ 6907479802919840553997564074263102305225604918264397410416966768286\ 05477523529104944*c_0101_4^5 + 832361998719184752498735194666694116\ 983997863633611577248104739631372745433535889951912409757841/216719\ 1342526907479802919840553997564074263102305225604918264397410416966\ 76828605477523529104944*c_0101_4^4 + 2013605555786252344782157151966299812830281923181252935773938608403\ 99836430587074411330466887889/1083595671263453739901459920276998782\ 03713155115261280245913219870520848338414302738761764552472*c_0101_\ 4^3 - 2576171484949944797096867653758271846832050013186076868552514\ 5522349296943015839671153017793641/27089891781586343497536498006924\ 969550928288778815320061478304967630212084603575684690441138118*c_0\ 101_4^2 - 640062407247896159474906417945550463431798262072555154774\ 4679427567454262690164598783855255353/13544945890793171748768249003\ 462484775464144389407660030739152483815106042301787842345220569059*\ c_0101_4 + 77240262708886812330053117459823309215382830626731196075\ 89865592367122635130543905195917460514/1354494589079317174876824900\ 3462484775464144389407660030739152483815106042301787842345220569059\ , c_0011_3 + 697531444469419920520444055014664807069824836064843996201513\ 4242424006358495007160029959429671/17753631477980426074545519333818\ 3480448963633340844081554904219435861357917657993607187275042770124\ 8*c_0101_4^32 - 642740563712519052656870013298386016578813287045966\ 58887450081408747337188855821321921300802513/1775363147798042607454\ 5519333818348044896363334084408155490421943586135791765799360718727\ 50427701248*c_0101_4^31 - 13669012479992369928600821290450987754101\ 823652558016042671334050166826555759982426627511068715/221920393474\ 7553259318189916727293505612045416760551019436302742948266973970724\ 92008984093803462656*c_0101_4^30 + 3355325589835276671368128642229717301709997812319315828799914082254\ 8529955131231168172642932051/43301540190196161157428095936142312304\ 625276424596117452415663277039355589672681367606652449456128*c_0101\ _4^29 + 13034755397487201475182327276680163919599374359041302091370\ 09373648676279395176815162050418052851/1775363147798042607454551933\ 3818348044896363334084408155490421943586135791765799360718727504277\ 01248*c_0101_4^28 - 12906259693656718645210563346804441131667382219\ 222403176745464099218730316754322402251673969340421/177536314779804\ 2607454551933381834804489636333408440815549042194358613579176579936\ 071872750427701248*c_0101_4^27 - 2342792195076456277350936935509493\ 495056078914496648701923507176169998786126514540139681307990051/443\ 8407869495106518636379833454587011224090833521102038872605485896533\ 94794144984017968187606925312*c_0101_4^26 + 7113763133106634263512468768073623902882741779599696611930709151941\ 5354496523611697021371486113689/17753631477980426074545519333818348\ 04489636333408440815549042194358613579176579936071872750427701248*c\ _0101_4^25 + 200296622753316868997214333435353836777913448457343201\ 12778007785524300215411735783818878636527539/8876815738990213037272\ 7596669091740224481816670422040777452109717930678958828996803593637\ 5213850624*c_0101_4^24 - 241275128278550103858641818439463218654370\ 507262716173898290282640158311681869700154394499531422529/177536314\ 7798042607454551933381834804489636333408440815549042194358613579176\ 579936071872750427701248*c_0101_4^23 - 3195748458278233838464650184025886472839917462618006253890576146427\ 100900520454682388588168661909/467200828367905949330145245626798632\ 76043061405485284619711636693647725767804735159786125011255296*c_01\ 01_4^22 + 658529149041155136608050742776056919169402568973515475852\ 078872512959692412519831324470938838828703/177536314779804260745455\ 1933381834804489636333408440815549042194358613579176579936071872750\ 427701248*c_0101_4^21 - 2643171700829954247845040157453751062927436\ 50849583795062162548486071115373638753859301899394122089/1775363147\ 7980426074545519333818348044896363334084408155490421943586135791765\ 79936071872750427701248*c_0101_4^20 - 1719213780861092971091051131888204099604850944567400205976934529658\ 911749022489635931129516073135881/177536314779804260745455193338183\ 4804489636333408440815549042194358613579176579936071872750427701248\ *c_0101_4^19 + 4863844652708197675542702797384721022627400307550032\ 41302872674337359595892414988213475026643398339/2219203934747553259\ 3181899167272935056120454167605510194363027429482669739707249200898\ 4093803462656*c_0101_4^18 + 930644656704184316892975553299906946066\ 52302638152084432816266418214607464048198032275654335170431/6121941\ 8889587676119122480461442579465159873565808303984449730839952192385\ 399308140409405187162112*c_0101_4^17 - 8182510293267458538987668244701471673458484995615435620863732126685\ 320230666162903132951090699209681/887681573899021303727275966690917\ 402244818166704220407774521097179306789588289968035936375213850624*\ c_0101_4^16 - 74645656934312300239916556494648132766371014486128983\ 9007336981939792719622725656837822070626971353/44384078694951065186\ 3637983345458701122409083352110203887260548589653394794144984017968\ 187606925312*c_0101_4^15 + 5474207302914369506600196436597957985837\ 119701143392592331931852987288625216196421299834923997758345/221920\ 3934747553259318189916727293505612045416760551019436302742948266973\ 97072492008984093803462656*c_0101_4^14 + 3004012545160212833715304870276449037528544229611233196085672291620\ 4277539020249880743542799674315/27740049184344415741477373959091168\ 820150567709506887742953784286853337174634061501123011725432832*c_0\ 101_4^13 - 17690527264339267157353557987125397757556594914960767606\ 4731233071413875303840195766088425302230415/34675061480430519676846\ 7174488639610251882096368836096786922303585666714682925768764037646\ 5679104*c_0101_4^12 + 617959702539531150758781020478937300139625692\ 36950849713501301237543661683931116327186937867720277/2774004918434\ 4415741477373959091168820150567709506887742953784286853337174634061\ 501123011725432832*c_0101_4^11 + 5473520886951658822908676351433359\ 04000847981429063876036866568421571857467232867330712613390626421/6\ 9350122960861039353693434897727922050376419273767219357384460717133\ 34293658515375280752931358208*c_0101_4^10 + 3382568389617824159813465986892161309417503573464469013175801343736\ 0530429218851635911061527083/84573320683976877260601749875277953719\ 971243016789291899249342337967491386079455796106743065344*c_0101_4^\ 9 - 105051388126635771242235577822604489247782900255338004878698469\ 962468325531561683440532583892447189/173375307402152598384233587244\ 3198051259410481844180483934611517928333573414628843820188232839552\ *c_0101_4^8 - 22944479921611416070352748245286458998046048294107133\ 5578046255061117189192751337711156726551543/45625080895303315364271\ 9966432420539805108021537942232614371452086403571951218116794786377\ 06304*c_0101_4^7 + 240636104609219915462442181183786373334459884872\ 45173716534371228093000990925580150889306613639443/8668765370107629\ 9192116793622159902562970524092209024196730575896416678670731442191\ 0094116419776*c_0101_4^6 + 1977612571463898099415020910974423923322\ 270756641010513444540041526854198888097510601821471948415/216719134\ 2526907479802919840553997564074263102305225604918264397410416966768\ 28605477523529104944*c_0101_4^5 - 248824166892413804112069784514012\ 1835275395688120426752517590811422270831570007618797521306526449/21\ 6719134252690747980291984055399756407426310230522560491826439741041\ 696676828605477523529104944*c_0101_4^4 - 8435638036984953684948254616142099576865345044639166315780661896693\ 75861524764193950716611968027/1083595671263453739901459920276998782\ 03713155115261280245913219870520848338414302738761764552472*c_0101_\ 4^3 + 9102472391906119499294046279272397503028610770361930816021787\ 8017934412489415251623915797339089/27089891781586343497536498006924\ 969550928288778815320061478304967630212084603575684690441138118*c_0\ 101_4^2 + 490227311078506803557841912576671795187322454461291458149\ 98423810783290554328881185906345843589/2708989178158634349753649800\ 6924969550928288778815320061478304967630212084603575684690441138118\ *c_0101_4 - 7434371941872190466882299019836730246094055723402811640\ 605495061708226726652531519085819341174/135449458907931717487682490\ 0346248477546414438940766003073915248381510604230178784234522056905\ 9, c_0011_6 - 553900687492956206515528800745475656526569235616695944986615\ 5978114477551370711112621730233437/17753631477980426074545519333818\ 3480448963633340844081554904219435861357917657993607187275042770124\ 8*c_0101_4^32 + 530342618489147715583875628435895326811903154949123\ 46448824635807854784801541358711175419073467/1775363147798042607454\ 5519333818348044896363334084408155490421943586135791765799360718727\ 50427701248*c_0101_4^31 + 85014864931015333941073195796518469649097\ 57294999593545231817890553319866574757224897184355053/2219203934747\ 5532593181899167272935056120454167605510194363027429482669739707249\ 2008984093803462656*c_0101_4^30 - 272944188059088617283024305147428\ 19845381747901950430776198817771138499179839420914305731808369/4330\ 1540190196161157428095936142312304625276424596117452415663277039355\ 589672681367606652449456128*c_0101_4^29 - 6393887441460413333496718900129235180776156388945132765067786297163\ 18090563154720176990481750417/1775363147798042607454551933381834804\ 489636333408440815549042194358613579176579936071872750427701248*c_0\ 101_4^28 + 10520863007176807873387166011158391687539108032049996183\ 901632020212312323375519190967563162004135/177536314779804260745455\ 1933381834804489636333408440815549042194358613579176579936071872750\ 427701248*c_0101_4^27 + 9431012381267634659088650234544282718546356\ 24562785997070043036502323643317684675483384957977777/4438407869495\ 1065186363798334545870112240908335211020388726054858965339479414498\ 4017968187606925312*c_0101_4^26 - 581505035049445991123636430578864\ 00901202266396489201601818822199761997142506921068354036510067731/1\ 7753631477980426074545519333818348044896363334084408155490421943586\ 13579176579936071872750427701248*c_0101_4^25 - 5918607780970398707676975285271857771005754444524347257175271912928\ 044156690549764234817693794921/887681573899021303727275966690917402\ 244818166704220407774521097179306789588289968035936375213850624*c_0\ 101_4^24 + 19695154713248487008102719598235886517645963259348722070\ 1022326206598205017483843060170976858321035/17753631477980426074545\ 5193338183480448963633340844081554904219435861357917657993607187275\ 0427701248*c_0101_4^23 + 792137269985472962522820154724725249050150\ 815718468390912343311586338670495224629417551169755295/467200828367\ 9059493301452456267986327604306140548528461971163669364772576780473\ 5159786125011255296*c_0101_4^22 - 535003236578572640953574851655896\ 107299957117424171392015433113996785094080827002888546680761195957/\ 1775363147798042607454551933381834804489636333408440815549042194358\ 613579176579936071872750427701248*c_0101_4^21 + 3885869108977099930216600085210174435797786790903040938074851847700\ 80165357687553220925552614431939/1775363147798042607454551933381834\ 804489636333408440815549042194358613579176579936071872750427701248*\ c_0101_4^20 + 12263418455258951228108144113948023191718886687755432\ 32664434386351650633381711601466213681622260051/1775363147798042607\ 4545519333818348044896363334084408155490421943586135791765799360718\ 72750427701248*c_0101_4^19 - 43979799844546170649014674059992158680\ 9941667170151689755125120314133882146396072628909486821874145/22192\ 0393474755325931818991672729350561204541676055101943630274294826697\ 397072492008984093803462656*c_0101_4^18 - 3147055216828016002987655225632716351435193593591265704520966851668\ 7854757680946914752973443277717/61219418889587676119122480461442579\ 465159873565808303984449730839952192385399308140409405187162112*c_0\ 101_4^17 + 66771358304441751114133156684045414761665472406659828724\ 61923119142345661409277421520560763286154931/8876815738990213037272\ 7596669091740224481816670422040777452109717930678958828996803593637\ 5213850624*c_0101_4^16 - 560203315848084675903550369596437325831033\ 416691452497188663166232563774728899527591771262562696217/443840786\ 9495106518636379833454587011224090833521102038872605485896533947941\ 44984017968187606925312*c_0101_4^15 - 4265593135173370243501429894186735041846748941234623328511256503472\ 292665921998020464366080256893171/221920393474755325931818991672729\ 350561204541676055101943630274294826697397072492008984093803462656*\ c_0101_4^14 + 77576405197801588151139111131213908356305229107683307\ 359129619616112510605191347379971992338733765/138700245921722078707\ 3868697954558441007528385475344387147689214342666858731703075056150\ 5862716416*c_0101_4^13 + 536172917303068128137833085196844782458272\ 609185254601508294384955086886505847149378317348023500425/138700245\ 9217220787073868697954558441007528385475344387147689214342666858731\ 7030750561505862716416*c_0101_4^12 - 4025837402870783506518680700390860264787114300771348802557119023774\ 32116287345913855683242609653411/2774004918434441574147737395909116\ 8820150567709506887742953784286853337174634061501123011725432832*c_\ 0101_4^11 - 7991431699575846576540932225737524157740635170278552331\ 15220915433893558780744582033796312416093655/1387002459217220787073\ 8686979545584410075283854753443871476892143426668587317030750561505\ 862716416*c_0101_4^10 + 7651389196783173037358480844759667204862246\ 62952545507396472973907982957715701239062629009170951/4228666034198\ 8438630300874937638976859985621508394645949624671168983745693039727\ 898053371532672*c_0101_4^9 + 14331522116245364793821556985902928446\ 1974064646688055732897454439094791602555696895919472060029549/34675\ 0614804305196768467174488639610251882096368836096786922303585666714\ 6829257687640376465679104*c_0101_4^8 - 3966756560675694276229518819503992943863350378997874915021355169378\ 8341522197825992616120183739/57031351119129144205339995804052567475\ 63850269224277907679643151080044649390226459934829713288*c_0101_4^7 - 14773918195902715269221015514725581356649475024358086525190243978\ 992163218539885857543643067379337/866876537010762991921167936221599\ 025629705240922090241967305758964166786707314421910094116419776*c_0\ 101_4^6 - 354837655493081860210650121165766345752336114917308773666\ 852689941251942187880192484331113133121/108359567126345373990145992\ 0276998782037131551152612802459132198705208483384143027387617645524\ 72*c_0101_4^5 + 104636816361134211856453076097966825701274572241158\ 0139860917523163514334703771914431904222371915/10835956712634537399\ 0145992027699878203713155115261280245913219870520848338414302738761\ 764552472*c_0101_4^4 + 44995605500087679433241011546013514376112550\ 1926695957507134186703581433133344806189521546115483/10835956712634\ 5373990145992027699878203713155115261280245913219870520848338414302\ 738761764552472*c_0101_4^3 - 76080693473176909929041287783504568476\ 317833355863966775795351024475775878280309002832457978185/270898917\ 8158634349753649800692496955092828877881532006147830496763021208460\ 3575684690441138118*c_0101_4^2 - 3003019144840094317239270519028008\ 7320931288529455027704216510922126329509354988967201388476307/27089\ 8917815863434975364980069249695509282887788153200614783049676302120\ 84603575684690441138118*c_0101_4 + 8252883438900909144123160041513440221941715820831454330422629653433\ 55693775018391533683231550/1354494589079317174876824900346248477546\ 4144389407660030739152483815106042301787842345220569059, c_0101_0 + 271217223058506602599764996575277271078737991586574065043073\ 980285976321530951354074303597673/177536314779804260745455193338183\ 4804489636333408440815549042194358613579176579936071872750427701248\ *c_0101_4^32 - 3801674061751571277808724761961873057587147689123781\ 467144244463651989635659969737067308632677/177536314779804260745455\ 1933381834804489636333408440815549042194358613579176579936071872750\ 427701248*c_0101_4^31 + 4089890158553771195481381885963373659488888\ 973129066927404453028795759072137424424001260845909/887681573899021\ 3037272759666909174022448181667042204077745210971793067895882899680\ 35936375213850624*c_0101_4^30 + 17080025172415209658045152071743044\ 58661150212205829103659634420423097053133406706827633861445/4330154\ 0190196161157428095936142312304625276424596117452415663277039355589\ 672681367606652449456128*c_0101_4^29 - 2126666957960736027588347629815773622000883813071938954900583883596\ 95626665282689360745992583809/1775363147798042607454551933381834804\ 489636333408440815549042194358613579176579936071872750427701248*c_0\ 101_4^28 - 67101986167979895332917176370786130158718636601376850748\ 3101336446939858409335890425904598768705/17753631477980426074545519\ 3338183480448963633340844081554904219435861357917657993607187275042\ 7701248*c_0101_4^27 + 106508409364033723022328206167678131013407687\ 8186877345284094220889360223424624664525253615007739/88768157389902\ 1303727275966690917402244818166704220407774521097179306789588289968\ 035936375213850624*c_0101_4^26 + 3927668614551868577595045740194483\ 787258136740516237603842074620307025802187191070092963050753575/177\ 5363147798042607454551933381834804489636333408440815549042194358613\ 579176579936071872750427701248*c_0101_4^25 - 7721574493246882078259108625758190671602702063531512705620904130505\ 51492974963087128324565792665/1109601967373776629659094958363646752\ 80602270838027550971815137147413348698536246004492046901731328*c_01\ 01_4^24 - 143538982952806440366711799693734395118759209437966169786\ 73270254136076006709652694423174681788979/1775363147798042607454551\ 9333818348044896363334084408155490421943586135791765799360718727504\ 27701248*c_0101_4^23 + 28369712670184473505776035182863778553416983\ 3623997877163053306176810527465828199511798591944623/11680020709197\ 6487332536311406699658190107653513713211549279091734119314419511837\ 89946531252813824*c_0101_4^22 + 43379944468332387682901971020666126\ 596016906327343373624792153019642303696411823138702987834884549/177\ 5363147798042607454551933381834804489636333408440815549042194358613\ 579176579936071872750427701248*c_0101_4^21 - 1424022031017293345045913452888546881042461312244905656495179329202\ 33962196641219144008037664568797/1775363147798042607454551933381834\ 804489636333408440815549042194358613579176579936071872750427701248*\ c_0101_4^20 - 90443357168678147799926244840552006051047186633563729\ 74148266995850661486485128413761852656811877/1775363147798042607454\ 5519333818348044896363334084408155490421943586135791765799360718727\ 50427701248*c_0101_4^19 + 23072394359312257192431507940196571261927\ 6103188889201577980370524321007784010704705152893301218925/88768157\ 3899021303727275966690917402244818166704220407774521097179306789588\ 289968035936375213850624*c_0101_4^18 - 2239240107001767889311632264709738232598118357359839248178171996284\ 9966074466392002265286251094023/61219418889587676119122480461442579\ 465159873565808303984449730839952192385399308140409405187162112*c_0\ 101_4^17 - 24889957180636748787523364014028630151286794932357270309\ 1432905176998495766205132600252328140467347/44384078694951065186363\ 7983345458701122409083352110203887260548589653394794144984017968187\ 606925312*c_0101_4^16 + 9297938132509211902778974412204862613868713\ 4900065265323371633609790312559946468878986894853933501/55480098368\ 6888314829547479181823376403011354190137754859075685737066743492681\ 23002246023450865664*c_0101_4^15 + 5892733110647516488305323684674231786505498071726735608066011830603\ 6029002079897617804176826383373/55480098368688831482954747918182337\ 640301135419013775485907568573706674349268123002246023450865664*c_0\ 101_4^14 - 52732305060646154639676267759316035083276834286741091937\ 0706190501826401926288703245092212516456747/11096019673737766296590\ 9495836364675280602270838027550971815137147413348698536246004492046\ 901731328*c_0101_4^13 - 1297302469151284295946669447908578537928109\ 3594207945114950049998390832526997323365023045138914681/69350122960\ 8610393536934348977279220503764192737672193573844607171333429365851\ 5375280752931358208*c_0101_4^12 + 142975568260662559900013347684029\ 015418697976063242314125827283089161374870147660788283395087833707/\ 1387002459217220787073868697954558441007528385475344387147689214342\ 6668587317030750561505862716416*c_0101_4^11 + 1636911796204191019189013445195376700288639358952717838654056298131\ 5003222824215333233042006582557/69350122960861039353693434897727922\ 05037641927376721935738446071713334293658515375280752931358208*c_01\ 01_4^10 - 275133160891635246805082667481034728715608758459647933075\ 8369627219221677500336395156110033131295/16914664136795375452120349\ 9750555907439942486033578583798498684675934982772158911592213486130\ 688*c_0101_4^9 - 10328748538024895733806086931161391493738418639438\ 422147783074799403941171658027436188755335767799/346750614804305196\ 7684671744886396102518820963688360967869223035856667146829257687640\ 376465679104*c_0101_4^8 + 16666528005341536544550689454733787334287\ 5333750761743691810184490510681867854953670814628682583/11406270223\ 8258288410679991608105134951277005384485558153592863021600892987804\ 52919869659426576*c_0101_4^7 + 498339378779618819753895105193486008\ 4863135608837067282265751836536392010858831425730193954999229/86687\ 6537010762991921167936221599025629705240922090241967305758964166786\ 707314421910094116419776*c_0101_4^6 - 3729272294162186426504737050851498917470195745580966551116880285913\ 160431976922942183174633070971/433438268505381495960583968110799512\ 814852620461045120983652879482083393353657210955047058209888*c_0101\ _4^5 - 888153069845644603176507118225464363381424239063197489447993\ 276350500611555872470405361526319305/216719134252690747980291984055\ 399756407426310230522560491826439741041696676828605477523529104944*\ c_0101_4^4 + 153921745318752370011380031054882037777438842182790425\ 996585893334536309760388362893007678874127/541797835631726869950729\ 9601384993910185657755763064012295660993526042416920715136938088227\ 6236*c_0101_4^3 + 2675847470545340519217748321110603317627907418770\ 7494145314717028883639862224047402993097611443/13544945890793171748\ 7682490034624847754641443894076600307391524838151060423017878423452\ 20569059*c_0101_4^2 - 562656606370242394871429443689547571729145089\ 5140429294155824035359214730236903752660598696324/13544945890793171\ 7487682490034624847754641443894076600307391524838151060423017878423\ 45220569059*c_0101_4 - 14547707568054225352662260177553118636653462\ 757170824359040871176433924429699149541468809434541/135449458907931\ 7174876824900346248477546414438940766003073915248381510604230178784\ 2345220569059, c_0101_3 - 860761808143667132398115304452433554662614256290482504462556\ 6191597650125063957334167563131/11680020709197648733253631140669965\ 819010765351371321154927909173411931441951183789946531252813824*c_0\ 101_4^32 + 56715256282651437266322162844308331007644916302182398801\ 690679092722332220355420001540008849/584001035459882436662681557033\ 4982909505382675685660577463954586705965720975591894973265626406912\ *c_0101_4^31 - 2268560614639499454094602672930356215365200431323283\ 1792228507126125180770392038475166508929/14600025886497060916567038\ 9258374572737634566892141514436598864667649143024389797374331640660\ 1728*c_0101_4^30 - 842329798627504848554041697154486992034245706656\ 025997801851134546412659609326982108805057/445122740441983564529482\ 8940804102827366907527199436415749965386208815336109445041900354898\ 176*c_0101_4^29 + 1280637454856246733240877784246879167115912938728\ 469274460731740832707114240872355192754715729/292000517729941218331\ 3407785167491454752691337842830288731977293352982860487795947486632\ 813203456*c_0101_4^28 + 2185099893448334682516017891854402660025731\ 8706758073091182212400087252053572429868780489542411/11680020709197\ 6487332536311406699658190107653513713211549279091734119314419511837\ 89946531252813824*c_0101_4^27 - 12819742383100347242495055178837637\ 910752032921974140182042878709329023359235890997091444315659/292000\ 5177299412183313407785167491454752691337842830288731977293352982860\ 487795947486632813203456*c_0101_4^26 - 4042874643303236541656178150481624753576284024257529907903148326834\ 524076048956112844440679833/365000647162426522914175973145936431844\ 086417230353786091497161669122857560974493435829101650432*c_0101_4^\ 25 + 29456278951889651600643677982027562528676750150695893603759056\ 4896759124165415689771973313817807/11680020709197648733253631140669\ 965819010765351371321154927909173411931441951183789946531252813824*\ c_0101_4^24 + 23492985382530297765621447926293563060495634565164257\ 4572224086585785222048294809643677042710819/58400103545988243666268\ 1557033498290950538267568566057746395458670596572097559189497326562\ 6406912*c_0101_4^23 - 100211369879722672067477050437806090446055559\ 9561214273838183014486426523369627022292050149733111/11680020709197\ 6487332536311406699658190107653513713211549279091734119314419511837\ 89946531252813824*c_0101_4^22 - 16561125863196814709098960731631705\ 9256961341848080374482293956172377555485388063009411140728211/14600\ 0258864970609165670389258374572737634566892141514436598864667649143\ 0243897973743316406601728*c_0101_4^21 + 2146076050873534076062738620607985848215550966328046658069773287894\ 97597091968076726328780563213/7300012943248530458283519462918728636\ 88172834460707572182994323338245715121948986871658203300864*c_0101_\ 4^20 + 605700395864623398284531174675248808776574562407192326011337\ 502873912880228966786256296447086995/116800207091976487332536311406\ 6996581901076535137132115492790917341193144195118378994653125281382\ 4*c_0101_4^19 - 317739708239882124680603249583400958186218102048608\ 2615002812093881781586667012217190624498055815/29200051772994121833\ 1340778516749145475269133784283028873197729335298286048779594748663\ 2813203456*c_0101_4^18 + 276166984066487942842271003105538029325251\ 388997581677035316199702627757969101359042193388778911/201379667399\ 9594609181660541494821692932890577822641578435846409208953696888135\ 13619767780220928*c_0101_4^17 + 31232502791826788707724569777878610\ 533869520470468546623547023792328205320996118794275490310778081/116\ 8002070919764873325363114066996581901076535137132115492790917341193\ 1441951183789946531252813824*c_0101_4^16 - 7488944520174096279755069339010311227472824511550400971799250065847\ 5749477306777119276167485578337/11680020709197648733253631140669965\ 819010765351371321154927909173411931441951183789946531252813824*c_0\ 101_4^15 - 31264865167366028452685078497565221208879532355326939185\ 000666219684987038066150477822916015519315/584001035459882436662681\ 5570334982909505382675685660577463954586705965720975591894973265626\ 406912*c_0101_4^14 + 1013727409049120825859284138237504968269315233\ 19310318046028088346726381182559169358441350736591641/5840010354598\ 8243666268155703349829095053826756856605774639545867059657209755918\ 94973265626406912*c_0101_4^13 + 13624989899569742650280332860565707\ 385903646689456691838098744467743871426634186312087777571811319/146\ 0002588649706091656703892583745727376345668921415144365988646676491\ 430243897973743316406601728*c_0101_4^12 - 5258737702009051391553144090896149704634290305010447145042181323457\ 3482284283544818162002124957535/14600025886497060916567038925837457\ 27376345668921415144365988646676491430243897973743316406601728*c_01\ 01_4^11 - 835388198535272952739923548840459801732974742421401590400\ 0416804516533617172071741528882881226679/73000129432485304582835194\ 6291872863688172834460707572182994323338245715121948986871658203300\ 864*c_0101_4^10 + 2379846962728284524389571800289014000380930681621\ 60974574771774025748314419436378664249196163491/4451227404419835645\ 2948289408041028273669075271994364157499653862088153361094450419003\ 54898176*c_0101_4^9 + 179456637847344045101469304437972941012976325\ 5769693088163031315255380967175702963953506610110677/18250032358121\ 3261457087986572968215922043208615176893045748580834561428780487246\ 717914550825216*c_0101_4^8 - 32832195645152735393102913771447786959\ 36539125166225267482836376775130902427645708054246252993243/9125016\ 1790606630728543993286484107961021604307588446522874290417280714390\ 243623358957275412608*c_0101_4^7 - 4150109693520508791393869220753034820969362648203240971865803032777\ 25130570254517513283638090029/4562508089530331536427199664324205398\ 0510802153794223261437145208640357195121811679478637706304*c_0101_4\ ^6 + 66055678750762961383243396067305034212725001202016579643425510\ 710565424043250186338407425881263/570313511191291442053399958040525\ 6747563850269224277907679643151080044649390226459934829713288*c_010\ 1_4^5 + 11124281074900717716510527773115952103622958129993050602803\ 8116599080399067830722532878317842647/11406270223825828841067999160\ 810513495127700538448555815359286302160089298780452919869659426576*\ c_0101_4^4 - 137180488927262080283010325328219689646638543634314584\ 39701419706222426789484948239967893260359/2851567555956457210266999\ 7902026283737819251346121389538398215755400223246951132299674148566\ 44*c_0101_4^3 - 902689467920756306273659578168161297640478389458077\ 7434626682319982905793935120343545963191769/14257837779782286051334\ 9989510131418689096256730606947691991078777001116234755661498370742\ 8322*c_0101_4^2 + 9893586167039404713098510742340500487851411332451\ 47613471866623829995680790334537598344888832/7128918889891143025667\ 4994755065709344548128365303473845995539388500558117377830749185371\ 4161*c_0101_4 + 973219366188797675578001829811407459910075132369059\ 724033551127688118710382645942139671330297/712891888989114302566749\ 9475506570934454812836530347384599553938850055811737783074918537141\ 61, c_0101_4^33 - 9*c_0101_4^32 - 18*c_0101_4^31 + 197*c_0101_4^30 + 235*c_0101_4^29 - 1877*c_0101_4^28 - 1814*c_0101_4^27 + 10527*c_0101_4^26 + 8476*c_0101_4^25 - 36691*c_0101_4^24 - 27236*c_0101_4^23 + 101685*c_0101_4^22 - 10273*c_0101_4^21 - 284329*c_0101_4^20 + 514494*c_0101_4^19 + 588461*c_0101_4^18 - 2440264*c_0101_4^17 - 1079192*c_0101_4^16 + 6939696*c_0101_4^15 + 1869040*c_0101_4^14 - 14930112*c_0101_4^13 - 2602944*c_0101_4^12 + 24329600*c_0101_4^11 + 4844800*c_0101_4^10 - 21686272*c_0101_4^9 - 5676032*c_0101_4^8 + 11171840*c_0101_4^7 + 5042176*c_0101_4^6 - 4464640*c_0101_4^5 - 3883008*c_0101_4^4 + 1179648*c_0101_4^3 + 1638400*c_0101_4^2 - 131072*c_0101_4 - 262144 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB