Magma V2.19-8 Tue Aug 20 2013 16:18:32 on localhost [Seed = 54697520] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2718 geometric_solution 5.96822273 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -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.426661529716 0.238241546811 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.786641880399 0.759423650561 1 4 5 3 0132 0132 0132 2310 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.183074392381 0.918100582822 2 5 4 1 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.183074392381 0.918100582822 3 2 6 6 2310 0132 3201 0132 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 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.156862855796 1.946718808131 5 3 5 2 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.413689753149 1.133607547560 4 6 4 6 2310 1302 0132 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.519474444319 0.777186903876 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(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' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_4']), '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' : negation(d['c_0101_1']), '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_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 50 Groebner basis: [ t + 1832536140447015710429252211632079996053505817964658497028044573279\ 0373920822584449916583961000897033207476939296940166292417411838081\ /180912562356693559947237333495596617425950081102790589647635993569\ 7928112941962491934062385885435927845167933510206749220466446575315\ 44*c_0101_4^49 - 29867468855408566536719225757688161106270830830413\ 2014189439905084996326737237739789480512844300261543559138975879832\ 97467335728162761/3350232636235065924948839509177715137517594094496\ 1220305117776586998668758184490591371525664545109774910517287226050\ 91149011938102436*c_0101_4^47 + 14721443564121825779852137056536575\ 6256893477006546596398952185140457612050632834864989470689368577880\ 93851840052467938065264709614503623/6030418745223118664907911116519\ 8872475316693700930196549211997856597603764732083064468746196181197\ 594838931117006891640682214885843848*c_0101_4^45 - 4403297528596789289695417168055391384285911368830188524887275820939\ 4102284944190545323813550958594293400252222284992333022639531728628\ 8487/18091256235669355994723733349559661742595008110279058964763599\ 3569792811294196249193406238588543592784516793351020674922046644657\ 531544*c_0101_4^43 + 2241598722232828273221556739769210158741675404\ 1598739982444236958728796285234729672099281391611188032490386029041\ 69690363215853069462022609/1809125623566935599472373334955966174259\ 5008110279058964763599356979281129419624919340623858854359278451679\ 3351020674922046644657531544*c_0101_4^41 - 1716474402955394087645578140901708188001304062572706962905043098684\ 8977759121435309981316559249465482105728332542371592733945945328138\ 053817/180912562356693559947237333495596617425950081102790589647635\ 9935697928112941962491934062385885435927845167933510206749220466446\ 57531544*c_0101_4^39 + 18383010751842312690284978340197787851889605\ 4550750755787856752355598679853785637359746268281690795505788162987\ 30597855649002902415671973407/6030418745223118664907911116519887247\ 5316693700930196549211997856597603764732083064468746196181197594838\ 931117006891640682214885843848*c_0101_4^37 - 1156039436933840703652187722399247308034864287573342634163509981180\ 5363919260434890444477004318158696839715580865856326687554494327716\ 1245397/90456281178346779973618666747798308712975040551395294823817\ 9967848964056470981245967031192942717963922583966755103374610233223\ 28765772*c_0101_4^35 + 79460163337781397462310657877028449152362162\ 8754668797411935831467438082990056709847782072638484042206841829534\ 980994926307674115710114432589/180912562356693559947237333495596617\ 4259500811027905896476359935697928112941962491934062385885435927845\ 16793351020674922046644657531544*c_0101_4^33 - 1702146838488686230864595824085372399678312633994890988390410755368\ 7577090783501248489087187781576825731357750514744888448946005619661\ 8893553/20101395817410395549693037055066290825105564566976732183070\ 6659521992012549106943548229153987270658649463103723356305468940716\ 28614616*c_0101_4^31 + 33557301739775624923637030008302175077613682\ 0668691956559069262256943887034938648730879815738375969243217050903\ 8963778024834425037279860560099/18091256235669355994723733349559661\ 7425950081102790589647635993569792811294196249193406238588543592784\ 516793351020674922046644657531544*c_0101_4^29 - 2393769026677303837067443353978482445370375932395408022743140539371\ 7865071773761509174300409353456195610794770940206910423590108594668\ 66708537/6030418745223118664907911116519887247531669370093019654921\ 1997856597603764732083064468746196181197594838931117006891640682214\ 885843848*c_0101_4^27 + 2501109572530037513181204009865134047819493\ 7292267269582130677098141547503806248407189192407610531666017228906\ 52784852288225345252224443977943/6030418745223118664907911116519887\ 2475316693700930196549211997856597603764732083064468746196181197594\ 838931117006891640682214885843848*c_0101_4^25 - 8052976520574832475701936972654240848957092778479620065253071760516\ 9750208080169413384178618312648732221421658438436616228122267714873\ 562167/502534895435259888742325926376657270627639114174418304576766\ 6488049800313727673588705728849681766466236577593083907636723517907\ 153654*c_0101_4^23 - 6381961609149699806657819834019841521022481810\ 5828441105199501896912943314892349773655168110531979786855058103415\ 0677681313526676140534796299/18091256235669355994723733349559661742\ 5950081102790589647635993569792811294196249193406238588543592784516\ 793351020674922046644657531544*c_0101_4^21 + 2801231049537810120778650876907759088974183622844355579461298189469\ 6858068949109204412082531342458741695768176503413279428852592267528\ 59196965/1809125623566935599472373334955966174259500811027905896476\ 3599356979281129419624919340623858854359278451679335102067492204664\ 4657531544*c_0101_4^19 - 989995909078254417284194824257230934784234\ 3175150702580270633608399243125785752944756817415870373244391871253\ 13366669464394754524986982728015/1809125623566935599472373334955966\ 1742595008110279058964763599356979281129419624919340623858854359278\ 4516793351020674922046644657531544*c_0101_4^17 - 2276347773079992584488980367416150035704062189928555837552490993839\ 8891310586355089258854121073914097642846558856746872995008771095297\ 2152256/22614070294586694993404666686949577178243760137848823705954\ 4991962241014117745311491757798235679490980645991688775843652558305\ 82191443*c_0101_4^15 + 99926753833413364568759190847873457308585406\ 0237894872153280061244750946859753089186146829855134300698605892718\ 561325834019084427267992286423/180912562356693559947237333495596617\ 4259500811027905896476359935697928112941962491934062385885435927845\ 16793351020674922046644657531544*c_0101_4^13 + 4321061342580238115128395288381832859686315892401182628191361052211\ 6227779246580712730937979476616664542080284358379782002616526192237\ 172627/603041874522311866490791111651988724753166937009301965492119\ 9785659760376473208306446874619618119759483893111700689164068221488\ 5843848*c_0101_4^11 - 546791822302829069558967302053977072472404978\ 5737979328907076423698837627714402972908794127498856549424360399759\ 700045344103745329568403765/226140702945866949934046666869495771782\ 4376013784882370595449919622410141177453114917577982356794909806459\ 9168877584365255830582191443*c_0101_4^9 - 4611422603474056227250383607577941581230189969764132431854635213678\ 6638427734810039683649886465524877962330637012692537203295565589634\ 074531/180912562356693559947237333495596617425950081102790589647635\ 9935697928112941962491934062385885435927845167933510206749220466446\ 57531544*c_0101_4^7 + 456433202630854715126998829144348134547949710\ 3993785764826660460030160807913721965825117252972849853085422802838\ 426545015838936541075355359/904562811783467799736186667477983087129\ 7504055139529482381799678489640564709812459670311929427179639225839\ 6675510337461023322328765772*c_0101_4^5 + 6567053055954760257354223896414707960709580931220963472411373615259\ 1846885272937377067769426481853587836871772685197082278242856357018\ 789/180912562356693559947237333495596617425950081102790589647635993\ 5697928112941962491934062385885435927845167933510206749220466446575\ 31544*c_0101_4^3 + 324902391894596039726145623496628922792855640341\ 4758827507093255130709888824543453812663718136246822837106934827792\ 8648465851932582874419/60304187452231186649079111165198872475316693\ 7009301965492119978565976037647320830644687461961811975948389311170\ 06891640682214885843848*c_0101_4, c_0011_0 - 1, c_0011_1 + 121729260698490042388294899487528047152149587527567377360308\ 720502395207632419460409158301811644584300775393498716652210262/578\ 5173663288972540951879059432427769525926302286490739492628287304354\ 1935022604801714466530999084408589984494323528615609305219*c_0101_4\ ^48 - 3628165362134427798092310714925732897135145160687021406673773\ 622922113951445921713149689384566893608537163283349910562922144/192\ 8391221096324180317293019810809256508642100762163579830876095768118\ 0645007534933904822176999694802863328164774509538536435073*c_0101_4\ ^46 + 1027532700205980162724761986052284343527747927608091044580664\ 43749679590424067205479160799775840190751586982522852551434229098/1\ 9283912210963241803172930198108092565086421007621635798308760957681\ 180645007534933904822176999694802863328164774509538536435073*c_0101\ _4^44 - 33235820291694588522718475689986486219749660391482705811838\ 3410463942539298641366275877345948660235031423527053341275797680895\ 4/57851736632889725409518790594324277695259263022864907394926282873\ 043541935022604801714466530999084408589984494323528615609305219*c_0\ 101_4^42 + 18636648843468401491742507422893055002068192471372476419\ 2061659088649064884253075171150658559406444254327676690979849192535\ 30157/5785173663288972540951879059432427769525926302286490739492628\ 2873043541935022604801714466530999084408589984494323528615609305219\ *c_0101_4^40 - 1314218904648078856979834754777388029577663254278378\ 6753210610034488798376754721722319928756159693623652022574508420879\ 1298174899/57851736632889725409518790594324277695259263022864907394\ 9262828730435419350226048017144665309990844085899844943235286156093\ 05219*c_0101_4^38 + 16974221754249226768403910300706510189202244415\ 0137571371902910113956182027327632857248299877223112614659783588170\ 955711836553786/192839122109632418031729301981080925650864210076216\ 3579830876095768118064500753493390482217699969480286332816477450953\ 8536435073*c_0101_4^36 - 191468711764400203340814198873383266027808\ 3629764157931466641453157636886899506970043933641805844694770052690\ 204189143332465054886/578517366328897254095187905943242776952592630\ 2286490739492628287304354193502260480171446653099908440858998449432\ 3528615609305219*c_0101_4^34 + 703047884352666864568053694269635717\ 5270628042088232385246779751002540812083415344220430931398384933394\ 777628284893419900542654561/578517366328897254095187905943242776952\ 5926302286490739492628287304354193502260480171446653099908440858998\ 4494323528615609305219*c_0101_4^32 - 5275141194518575944813562004280402488909524324797183568373255487723\ 356469973571887134951360314400318920346426722443655127999660711/192\ 8391221096324180317293019810809256508642100762163579830876095768118\ 0645007534933904822176999694802863328164774509538536435073*c_0101_4\ ^30 + 3067565994215623790604093779612694891974653852976383529319924\ 9977785499769818425246845285691680410931871237965263161345591828080\ 973/578517366328897254095187905943242776952592630228649073949262828\ 73043541935022604801714466530999084408589984494323528615609305219*c\ _0101_4^28 - 228511786243233313647582732898083264970593694254605769\ 5223104646276987648945287689847255531005640358188481006133666939026\ 9239882575/19283912210963241803172930198108092565086421007621635798\ 3087609576811806450075349339048221769996948028633281647745095385364\ 35073*c_0101_4^26 + 30967083700001089293490725025271297475242380701\ 1398519658502789108370041624218233684046053413951254473816235719111\ 49557832989639338/1928391221096324180317293019810809256508642100762\ 1635798308760957681180645007534933904822176999694802863328164774509\ 538536435073*c_0101_4^24 - 1292902861021756390594092100789905628971\ 1564664494775486719238549030103512111496760426334042816978618323343\ 134554588384539434428822/192839122109632418031729301981080925650864\ 2100762163579830876095768118064500753493390482217699969480286332816\ 4774509538536435073*c_0101_4^22 - 205534614192626177789186783518259\ 5229654012984512916594380598883676033076001388541012116418269153360\ 8346037895575099815145747945267/57851736632889725409518790594324277\ 6952592630228649073949262828730435419350226048017144665309990844085\ 89984494323528615609305219*c_0101_4^20 + 3342180209134801900669767611848826181954822002428617238334172332036\ 4079750051375183158292479123455020062240295064399713877469102586/57\ 8517366328897254095187905943242776952592630228649073949262828730435\ 41935022604801714466530999084408589984494323528615609305219*c_0101_\ 4^18 - 251945950037507454698137391096444970829207626262646462607472\ 3777515726621189169001991908255749054341659092765145039253287644960\ 2413/57851736632889725409518790594324277695259263022864907394926282\ 873043541935022604801714466530999084408589984494323528615609305219*\ c_0101_4^16 - 22667120688501401502516679102652635471174013844850058\ 8421392778625247342446530613507009228220642537465010866122527248813\ 64007877717/5785173663288972540951879059432427769525926302286490739\ 4926282873043541935022604801714466530999084408589984494323528615609\ 305219*c_0101_4^14 + 2402037129288734452970703520109940577855519351\ 3335509858710292821004034120293592036743131127522814367738430738779\ 500630212611994729/578517366328897254095187905943242776952592630228\ 6490739492628287304354193502260480171446653099908440858998449432352\ 8615609305219*c_0101_4^12 + 214544848189209317421419691947618548007\ 1368411479441422096263902583798302237643670197858271124803679409662\ 299974066315578017572610/192839122109632418031729301981080925650864\ 2100762163579830876095768118064500753493390482217699969480286332816\ 4774509538536435073*c_0101_4^10 - 426577752640882506465164279463245\ 3068183147814557889844037208788379940227177611438360397303180620788\ 535536950654977318010068851776/578517366328897254095187905943242776\ 9525926302286490739492628287304354193502260480171446653099908440858\ 9984494323528615609305219*c_0101_4^8 - 1757350460368267173693601057593189751728379588300835387873804993038\ 044864434621081435362981788050987890132628118047718594204657415/578\ 5173663288972540951879059432427769525926302286490739492628287304354\ 1935022604801714466530999084408589984494323528615609305219*c_0101_4\ ^6 + 28449355162363571291255431749514463831480944706981404535541449\ 6889246712136713189888005226825410983683720381475180125819890112280\ /578517366328897254095187905943242776952592630228649073949262828730\ 43541935022604801714466530999084408589984494323528615609305219*c_01\ 01_4^4 + 1473309867397317848453687730383572000502897276070141958426\ 6857699196641090279599382511058059871369166787511250873241240369255\ 2164/57851736632889725409518790594324277695259263022864907394926282\ 873043541935022604801714466530999084408589984494323528615609305219*\ c_0101_4^2 - 124970599455066494994472549205835111274270137863561378\ 8353311568098777071783331528476800735225658715154990115542104681714\ 4928681/19283912210963241803172930198108092565086421007621635798308\ 7609576811806450075349339048221769996948028633281647745095385364350\ 73, c_0011_3 - 217830207761992338208085047700121496803567355922153610685635\ 7899644561526773524378840161989680032186649078192084414390747856419\ 03/5798479562714537177796068381269122353395835932781749668193461332\ 3651542081473156792758409804020382302729741458660472731425206621003\ 7*c_0101_4^49 + 637749367652914237541519659698450074062464517968874\ 3220296653863980243936956681874157298696848896446201659471244369987\ 460234875572/193282652090484572593202279375637411779861197759391655\ 6064487110788384736049105226425280326800679410090991381955349091047\ 50688736679*c_0101_4^47 - 17384433859012459663635921478950732127573\ 3293487079368002856831696454032568524743293181331268631521668894607\ 243058150761555437780294/193282652090484572593202279375637411779861\ 1977593916556064487110788384736049105226425280326800679410090991381\ 95534909104750688736679*c_0101_4^45 + 5139928076895086336253674043346708727993993045474902192658707087292\ 758953438838941363889186841439218022852600739864488792861414415006/\ 5798479562714537177796068381269122353395835932781749668193461332365\ 15420814731567927584098040203823027297414586604727314252066210037*c\ _0101_4^43 - 257067318110839627390930559068144042236846563001598861\ 1393636866951471964463588652032640144582416372643595340686114821284\ 0530798335658/57984795627145371777960683812691223533958359327817496\ 6819346133236515420814731567927584098040203823027297414586604727314\ 252066210037*c_0101_4^41 + 1992584692327591498839521215293088176688\ 7552638198586634967293673423676175914325031958715621818696577093392\ 7189611996202342971842758029/57984795627145371777960683812691223533\ 9583593278174966819346133236515420814731567927584098040203823027297\ 414586604727314252066210037*c_0101_4^39 - 2063214198752168826685763808038075882980410071698581334183450888223\ 2566005962713760346296240315431236952782090453296810369654472161815\ 2/19328265209048457259320227937563741177986119775939165560644871107\ 8838473604910522642528032680067941009099138195534909104750688736679\ *c_0101_4^37 + 2630919031190593177321156823282089965951913092811795\ 4055038175703786175399754815335455261523458949879673065879950273589\ 09378680339331034/5798479562714537177796068381269122353395835932781\ 7496681934613323651542081473156792758409804020382302729741458660472\ 7314252066210037*c_0101_4^35 - 895297983848696774881854064894848588\ 6510900222902187286566728227944542918964996068276311825428848982263\ 018185468733579169333204077180885/579847956271453717779606838126912\ 2353395835932781749668193461332365154208147315679275840980402038230\ 27297414586604727314252066210037*c_0101_4^33 + 5506037244270305658815538064560774295482821951728917458293833113355\ 4877431688331071814720518016267324359253356966454525441410439107253\ 25/1932826520904845725932022793756374117798611977593916556064487110\ 7883847360491052264252803268006794100909913819553490910475068873667\ 9*c_0101_4^31 - 281796345422020715856874771459770209424351930216066\ 8736496812214424013576411140449577697981852980779317392161076844416\ 745766452188487550/446036889439579782907389875482240181030448917906\ 2884360148816409511657083190242830212185369540029407902287804512344\ 0562634774323849*c_0101_4^29 + 260771545860597884395236507575018448\ 5795156975129117088152174958074204984989276499998033808995543745535\ 7864773577712380595153099817596764/19328265209048457259320227937563\ 7411779861197759391655606448711078838473604910522642528032680067941\ 009099138195534909104750688736679*c_0101_4^27 - 2464094052417248126964859707346928601364731667521953767779482888735\ 4389129291268027378320392693092727957428882932110300688474094095296\ 513/193282652090484572593202279375637411779861197759391655606448711\ 0788384736049105226425280326800679410090991381955349091047506887366\ 79*c_0101_4^25 + 20638518917412003940872118162260774200580078211133\ 2111668224674964094787139069293511105785610880108718716160394574112\ 3751550370873979878/64427550696828190864400759791879137259953732586\ 4638852021495703596128245349701742141760108933559803363663793985116\ 36368250229578893*c_0101_4^23 + 10476098376138635595683947629590538\ 4187439966401854942226450410794792892686756255817422769857909503421\ 3394713648713067719148178594376204/44603688943957978290738987548224\ 0181030448917906288436014881640951165708319024283021218536954002940\ 79022878045123440562634774323849*c_0101_4^21 - 3189321746523406430244078368708020712326109779284760293414374805793\ 9091751459157419257507193628727878080181179229768063956245520385264\ 624/579847956271453717779606838126912235339583593278174966819346133\ 2365154208147315679275840980402038230272974145866047273142520662100\ 37*c_0101_4^19 + 58115960715635031028255116453452860675702145623950\ 3374988165240472769933059927045077307146333705475612846306804881190\ 0783760058284651936/57984795627145371777960683812691223533958359327\ 8174966819346133236515420814731567927584098040203823027297414586604\ 727314252066210037*c_0101_4^17 + 2373154691230800031966932615128766\ 4650034733500177519168479952983349504144736148661518248348177879707\ 154017690417932810507952681740103318/579847956271453717779606838126\ 9122353395835932781749668193461332365154208147315679275840980402038\ 23027297414586604727314252066210037*c_0101_4^15 - 7958068079448787344789212793443196864786434415794985559362344008268\ 1521582525357308511271630456491384215954637777328615550102236554460\ 95/5798479562714537177796068381269122353395835932781749668193461332\ 3651542081473156792758409804020382302729741458660472731425206621003\ 7*c_0101_4^13 - 927343133235340086064176425531854685866237382037994\ 9996498338507686512494030151221885537479084107901231616637762723439\ 6929784362609351/14867896314652659430246329182741339367681630596876\ 2812004960546983721902773008094340406178984667646930076260150411468\ 54211591441283*c_0101_4^11 + 22701757083896317000504933877664949300\ 4511713802676655313953708808035420350278166556620455253407775103197\ 122473355248739284039820713813/579847956271453717779606838126912235\ 3395835932781749668193461332365154208147315679275840980402038230272\ 97414586604727314252066210037*c_0101_4^9 + 6244267206241110296013692475708295459030474726501128204819023960223\ 5870016599537005660840921102551226474190914166023628726068919546623\ 9/57984795627145371777960683812691223533958359327817496681934613323\ 6515420814731567927584098040203823027297414586604727314252066210037\ *c_0101_4^7 - 14068959026742122285152373143404151834601578116442614\ 7236344560302924423133273766247365446195424499606780439559459222951\ 6088806878304/44603688943957978290738987548224018103044891790628843\ 6014881640951165708319024283021218536954002940790228780451234405626\ 34774323849*c_0101_4^5 - 179128874719992959889690935765276910318681\ 5243970118879076606638621088620233457428993250866594130866259986514\ 9508550928797189569511263/57984795627145371777960683812691223533958\ 3593278174966819346133236515420814731567927584098040203823027297414\ 586604727314252066210037*c_0101_4^3 - 1642741392998482506050357424833123287072525187992622157775838303347\ 9390210222518181373341808098214742436789525568519643281102871373/14\ 8678963146526594302463291827413393676816305968762812004960546983721\ 90277300809434040617898466764693007626015041146854211591441283*c_01\ 01_4, c_0011_6 + 447924966482939811256081452652280888130631932725905948767970\ 9874574059342449702278313606693108890752643386437193440459268852/17\ 3555209898669176228556371782972833085777789068594722184778848619130\ 625805067814405143399592997253225769953482970585846827915657*c_0101\ _4^48 - 13198261421023145037735998798846631067676184498621667597301\ 9199613501648529949495069489814611483961245787452640573932525793616\ /578517366328897254095187905943242776952592630228649073949262828730\ 43541935022604801714466530999084408589984494323528615609305219*c_01\ 01_4^46 + 364879807542414276201521630597777529650119696004791399798\ 1524823041354816053695768390217081201723706257357166859133201466319\ 147/578517366328897254095187905943242776952592630228649073949262828\ 73043541935022604801714466530999084408589984494323528615609305219*c\ _0101_4^44 - 111760510192149677704383988443006498709003962574638588\ 6923139515231338655909617790404231081876418047159385788150783531713\ 95813480/1735552098986691762285563717829728330857777890685947221847\ 7884861913062580506781440514339959299725322576995348297058584682791\ 5657*c_0101_4^42 + 588766441908838098368723298418828091080808553512\ 6891137288742455732746317643314576483026655213368290734984459408004\ 52273857490765/1735552098986691762285563717829728330857777890685947\ 2218477884861913062580506781440514339959299725322576995348297058584\ 6827915657*c_0101_4^40 - 440102896505025909216087654612430990311296\ 4743230766942629268977307974948365708178110011949494695746460023012\ 562527350155972806814/173555209898669176228556371782972833085777789\ 0685947221847788486191306258050678144051433995929972532257699534829\ 70585846827915657*c_0101_4^38 + 16741270440828714198659463620626087\ 4743997719462871967969172683679234657051283945930002979136387125968\ 5239858118971551479947747889/19283912210963241803172930198108092565\ 0864210076216357983087609576811806450075349339048221769996948028633\ 28164774509538536435073*c_0101_4^36 - 6149561454573466810557562804246844404529441137293232862744669227659\ 1005339106967268679742731372212534061635222438368507674150277038/17\ 3555209898669176228556371782972833085777789068594722184778848619130\ 625805067814405143399592997253225769953482970585846827915657*c_0101\ _4^34 + 21532595919804566427545795497416245884403261708136101950535\ 4432385776765665112843819670517559152424115137739050309637958489919\ 344818/173555209898669176228556371782972833085777789068594722184778\ 8486191306258050678144051433995929972532257699534829705858468279156\ 57*c_0101_4^32 - 14882428485392442951156216114035397033072212659137\ 5953940915320352474410324439904958734601024703345620264738762701280\ 715942612367835/578517366328897254095187905943242776952592630228649\ 0739492628287304354193502260480171446653099908440858998449432352861\ 5609305219*c_0101_4^30 + 955165736401077183327113869923466505840037\ 2829321552324638302728327261424754362675867803188928379278489965599\ 38180127192818894818363/1735552098986691762285563717829728330857777\ 8906859472218477884861913062580506781440514339959299725322576995348\ 2970585846827915657*c_0101_4^28 - 228226609627845526368226089208516\ 5567574440044884936400641397450826187082201540433900489069609685450\ 49238173590062373868082813517080/1928391221096324180317293019810809\ 2565086421007621635798308760957681180645007534933904822176999694802\ 863328164774509538536435073*c_0101_4^26 + 8240764066772974380106723921457262677389126356490969826851648151150\ 12535232341923885782424294446158112830214221285446788616329884722/5\ 7851736632889725409518790594324277695259263022864907394926282873043\ 541935022604801714466530999084408589984494323528615609305219*c_0101\ _4^24 - 14833838510759112419186513012284478752346331301728714366500\ 0491955454077391657878877409056673555273690346254342388750419336972\ 440831/192839122109632418031729301981080925650864210076216357983087\ 6095768118064500753493390482217699969480286332816477450953853643507\ 3*c_0101_4^22 + 426831997600166082150142747222339536178454275756187\ 9437338878545824372187295710870895497877081094163303971734354190152\ 0361901269791/17355520989866917622855637178297283308577778906859472\ 2184778848619130625805067814405143399592997253225769953482970585846\ 827915657*c_0101_4^20 + 7603104421306562221300993043125070969438337\ 7388815278111481653123119646399902877099890743229189111421385317108\ 9318582966662094786701/17355520989866917622855637178297283308577778\ 9068594722184778848619130625805067814405143399592997253225769953482\ 970585846827915657*c_0101_4^18 - 4896009807186459614219748543703704\ 6862232514027859522001220720340782308722146117107310799460047369031\ 7671995101016617116444632770670/17355520989866917622855637178297283\ 3085777789068594722184778848619130625805067814405143399592997253225\ 769953482970585846827915657*c_0101_4^16 - 3842476278327842294116419280454757086478640537582375736052871633950\ 79937782780416244934715548417042581735167382789548108667847674106/1\ 7355520989866917622855637178297283308577778906859472218477884861913\ 0625805067814405143399592997253225769953482970585846827915657*c_010\ 1_4^14 + 4219639047327445093502369490046098343818603384899064157703\ 2473161498881808017354890718285952970603123848777022300475898791768\ 4688742/17355520989866917622855637178297283308577778906859472218477\ 8848619130625805067814405143399592997253225769953482970585846827915\ 657*c_0101_4^12 - 4125917572823279733030708174789805596623609153477\ 6036376265485480910234378507825517259555593971623658394316506973543\ 95168881188379/1928391221096324180317293019810809256508642100762163\ 5798308760957681180645007534933904822176999694802863328164774509538\ 536435073*c_0101_4^10 - 2982779001453085917491803557792698142895941\ 9037041741560579245553065376714636376553562798667940022977736998224\ 485774127250912802779/173555209898669176228556371782972833085777789\ 0685947221847788486191306258050678144051433995929972532257699534829\ 70585846827915657*c_0101_4^8 - 117301067537910458928448586452166822\ 6020775244292127022372368723671254055605840255326141417983505770476\ 5405443370836689835584828380/17355520989866917622855637178297283308\ 5777789068594722184778848619130625805067814405143399592997253225769\ 953482970585846827915657*c_0101_4^6 + 6221833882876829023794610679502701907656514059493902269907784768164\ 993998948730978404064847382064839017106007526349403893555317949/173\ 5552098986691762285563717829728330857777890685947221847788486191306\ 25805067814405143399592997253225769953482970585846827915657*c_0101_\ 4^4 - 3759467620839629159417353782809653746603745259287962748184505\ 5935820781323345242752822955836328724001654727984481842727180342067\ 5/17355520989866917622855637178297283308577778906859472218477884861\ 9130625805067814405143399592997253225769953482970585846827915657*c_\ 0101_4^2 + 26378527006722498748806011329461192911118245046074892483\ 7285503122924849395486491618521359848209022153687917440767205722814\ 5641/19283912210963241803172930198108092565086421007621635798308760\ 957681180645007534933904822176999694802863328164774509538536435073, c_0101_0 + 119328916992134878664578445613076634534698012659376915500670\ 5359887841645790021261350058145419520082273025245413350684653471785\ 15/1932826520904845725932022793756374117798611977593916556064487110\ 7883847360491052264252803268006794100909913819553490910475068873667\ 9*c_0101_4^49 - 104935678345927040025014730747814933824898026203683\ 1291512763052323504880811268165740055339443011863391954879645279649\ 7100194740607/19328265209048457259320227937563741177986119775939165\ 5606448711078838473604910522642528032680067941009099138195534909104\ 750688736679*c_0101_4^47 + 9560553192972375676120131406583596603432\ 2243431409767265247114037470638590037287446289377358597773062232424\ 089964196056447011739906/644275506968281908644007597918791372599537\ 3258646388520214957035961282453497017421417601089335598033636637939\ 8511636368250229578893*c_0101_4^45 - 2846453160845127375066122310455137011916165116303709982762664502028\ 599890181257598175168255961365925497601171200187935000146709572870/\ 1932826520904845725932022793756374117798611977593916556064487110788\ 38473604910522642528032680067941009099138195534909104750688736679*c\ _0101_4^43 + 143933829258800096278436450473972039691916552022885728\ 7090974905249762063826567890093402051168879449844624704383939173168\ 2868228722396/19328265209048457259320227937563741177986119775939165\ 5606448711078838473604910522642528032680067941009099138195534909104\ 750688736679*c_0101_4^41 - 3692339937946739110022371815011773758194\ 3024733384387025025005004704488489694104194371534887499034731047084\ 146556708460062541309064777/644275506968281908644007597918791372599\ 5373258646388520214957035961282453497017421417601089335598033636637\ 9398511636368250229578893*c_0101_4^39 + 3512556470306411856312598147506878705782068535035992422399731773320\ 6269826415786821599261962788956557514689325538257042787501302892803\ 4/19328265209048457259320227937563741177986119775939165560644871107\ 8838473604910522642528032680067941009099138195534909104750688736679\ *c_0101_4^37 - 1481898610117783335916368107547874418679934903663163\ 1038413016101103912842428880033586775147911044548983281949181763069\ 16341509144128006/1932826520904845725932022793756374117798611977593\ 9165560644871107883847360491052264252803268006794100909913819553490\ 9104750688736679*c_0101_4^35 + 169060258193631570848446621351112012\ 3506746729807801868014815841363892209677786322725802868852694599352\ 475916956515706865306228720577751/644275506968281908644007597918791\ 3725995373258646388520214957035961282453497017421417601089335598033\ 6366379398511636368250229578893*c_0101_4^33 - 9630818384351689243766934055100852511337343984588210562531408195092\ 6976597901684903473594422751114123250919096131116868255751477041968\ 10/1932826520904845725932022793756374117798611977593916556064487110\ 7883847360491052264252803268006794100909913819553490910475068873667\ 9*c_0101_4^31 + 163362742728839080296296699140646162301232226582654\ 3984979651589593995379558386955781062247972674423217754043511258284\ 220569219726287440/148678963146526594302463291827413393676816305968\ 7628120049605469837219027730080943404061789846676469300762601504114\ 6854211591441283*c_0101_4^29 - 453670937515867031221845510848828427\ 2941307472549582013840868055333743510278412851571128991243792513285\ 1543270484672543238699218757839346/19328265209048457259320227937563\ 7411779861197759391655606448711078838473604910522642528032680067941\ 009099138195534909104750688736679*c_0101_4^27 + 1530034715334747344772098487497937518638015003652235633324959417369\ 5989247903059682712245541074036957802308683297651065106031189915476\ 672/644275506968281908644007597918791372599537325864638852021495703\ 5961282453497017421417601089335598033636637939851163636825022957889\ 3*c_0101_4^25 - 543174846939957215111372836852682054127456044934896\ 7490515648576011737936246472602283645221161618323891564180657008225\ 660570625767358579/644275506968281908644007597918791372599537325864\ 6388520214957035961282453497017421417601089335598033636637939851163\ 6368250229578893*c_0101_4^23 - 360483898031200518599503830986430183\ 1209093559582868686516254150858985698625990440980658968083563078429\ 23292338456865308777328977504579/1486789631465265943024632918274133\ 9367681630596876281200496054698372190277300809434040617898466764693\ 007626015041146854211591441283*c_0101_4^21 + 1779588887527054273423507291227766048546984830332439043441028848998\ 3261780334906790524969446139432404239171439503589314554482804939209\ 579/193282652090484572593202279375637411779861197759391655606448711\ 0788384736049105226425280326800679410090991381955349091047506887366\ 79*c_0101_4^19 - 52851993427662347214085012290688015121016879404007\ 0887653988526169977762392851084648993639804056541620989497910304309\ 5446062677601324697/19328265209048457259320227937563741177986119775\ 9391655606448711078838473604910522642528032680067941009099138195534\ 909104750688736679*c_0101_4^17 - 3975961586665349636797089879263766\ 2504991508591163244755205202570986980731760404005126598840906329402\ 92455528295297221643047945062869830/6442755069682819086440075979187\ 9137259953732586463885202149570359612824534970174214176010893355980\ 336366379398511636368250229578893*c_0101_4^15 + 5623131356678396751223128341003808867995456174932493353565265508705\ 5445617151479864245165257311120531396155833267078899994527390346104\ 67/1932826520904845725932022793756374117798611977593916556064487110\ 7883847360491052264252803268006794100909913819553490910475068873667\ 9*c_0101_4^13 + 776039754199739658210212509571395594449933627154578\ 1468133979791431343018304736859888469243231037868029044728163020733\ 3129107487958913/14867896314652659430246329182741339367681630596876\ 2812004960546983721902773008094340406178984667646930076260150411468\ 54211591441283*c_0101_4^11 - 17311462959337603622063148193300058325\ 0404499668885533951571794417498869360453477189776916215125256331477\ 251268276081294609211469458610/193282652090484572593202279375637411\ 7798611977593916556064487110788384736049105226425280326800679410090\ 99138195534909104750688736679*c_0101_4^9 - 9210545647199706117690879470340379507294130891361471944086739833505\ 4212959061488492727199141161834449987660057985689160716236476442684\ /644275506968281908644007597918791372599537325864638852021495703596\ 12824534970174214176010893355980336366379398511636368250229578893*c\ _0101_4^7 + 3427463620249120683602389506165275920814394898445774046\ 5636269326532688227980587797334363231240894381019268058922295580408\ 01608303569/1486789631465265943024632918274133936768163059687628120\ 0496054698372190277300809434040617898466764693007626015041146854211\ 591441283*c_0101_4^5 + 11137276738024999757732374006776313715678248\ 6543009422344977309486586125150580948687736570640920267469551984819\ 244517216560770219601/193282652090484572593202279375637411779861197\ 7593916556064487110788384736049105226425280326800679410090991381955\ 34909104750688736679*c_0101_4^3 + 283456091062901185611656988634417\ 8631492510435311796909731331498330169447968108937428149055502189647\ 6280473224319855801411331739944/14867896314652659430246329182741339\ 3676816305968762812004960546983721902773008094340406178984667646930\ 07626015041146854211591441283*c_0101_4, c_0101_1 + 877735429014687401220960357635141680247932211064802121955691\ 50101855953217912513210173338242359417954496320585954680082276/5785\ 1736632889725409518790594324277695259263022864907394926282873043541\ 935022604801714466530999084408589984494323528615609305219*c_0101_4^\ 48 - 26667544643813690705635886381864566143325531550475145976270500\ 08927068113796552908986492585934104491668807685169216733596514/1928\ 3912210963241803172930198108092565086421007621635798308760957681180\ 645007534933904822176999694802863328164774509538536435073*c_0101_4^\ 46 + 78481407080304947140215649604559672427434025618073485717244871\ 302235860039923771620495206062052626867372836826710763903295669/192\ 8391221096324180317293019810809256508642100762163579830876095768118\ 0645007534933904822176999694802863328164774509538536435073*c_0101_4\ ^44 - 2745087667847470549643738650314414275734220636376078922578731\ 200890452841194889497133999227577643373003380467656301446994069055/\ 5785173663288972540951879059432427769525926302286490739492628287304\ 3541935022604801714466530999084408589984494323528615609305219*c_010\ 1_4^42 + 1661229413480958119623374556182564859297884490235052917148\ 3002641600180256716067861728440864728691374709285381551705852044527\ 053/578517366328897254095187905943242776952592630228649073949262828\ 73043541935022604801714466530999084408589984494323528615609305219*c\ _0101_4^40 - 108710465861204232387132089469642347508040848464406262\ 2629268562981630742730940253318506376942099571216881197554862346751\ 31839704/5785173663288972540951879059432427769525926302286490739492\ 6282873043541935022604801714466530999084408589984494323528615609305\ 219*c_0101_4^38 + 1622430390253542725291675826843522780101312043308\ 1026471623412991127502233106641925684984699147083089765007780328640\ 1584012764274/19283912210963241803172930198108092565086421007621635\ 7983087609576811806450075349339048221769996948028633281647745095385\ 36435073*c_0101_4^36 - 16586741665464659098447537710680925031679184\ 2109659032913608134689784583807129433202761024330520758111068299209\ 3690066077794402482/57851736632889725409518790594324277695259263022\ 8649073949262828730435419350226048017144665309990844085899844943235\ 28615609305219*c_0101_4^34 + 64509302305877847089600377576921167084\ 1418931554904361157166370437276639658074522306919772934537081099226\ 2184666905960183382359488/57851736632889725409518790594324277695259\ 2630228649073949262828730435419350226048017144665309990844085899844\ 94323528615609305219*c_0101_4^32 - 5224386823828672930098342573838662885601184267803861149669394977157\ 634315072088513139820571639646699485453596297130241305566838146/192\ 8391221096324180317293019810809256508642100762163579830876095768118\ 0645007534933904822176999694802863328164774509538536435073*c_0101_4\ ^30 + 2700894115088857915239380862956513265643704014114554009256561\ 3393434263646773943758361615757824879824147747455131390260736957675\ 210/578517366328897254095187905943242776952592630228649073949262828\ 73043541935022604801714466530999084408589984494323528615609305219*c\ _0101_4^28 - 211560255737488353269574934503491869640192718238410698\ 1357818819020664349325269324295822977471657030702077987325503738043\ 1873497518/19283912210963241803172930198108092565086421007621635798\ 3087609576811806450075349339048221769996948028633281647745095385364\ 35073*c_0101_4^26 + 31687155495973937211450056182705729355731134125\ 3951254867572188834619223660863244256916762895011814530801568859621\ 24085786534950262/1928391221096324180317293019810809256508642100762\ 1635798308760957681180645007534933904822176999694802863328164774509\ 538536435073*c_0101_4^24 - 7868553338648840363612881548335741474980\ 8707324358901702514335446863716261890089566356089346860082491494464\ 44782760936779188068983/1928391221096324180317293019810809256508642\ 1007621635798308760957681180645007534933904822176999694802863328164\ 774509538536435073*c_0101_4^22 - 4738657355885917209240653959733984\ 1831141179796288511372147874223306427670130126082700254203372918124\ 295365520746871110043901652049/578517366328897254095187905943242776\ 9525926302286490739492628287304354193502260480171446653099908440858\ 9984494323528615609305219*c_0101_4^20 + 3939439282391855790697310890646286197196713926337198172939215393801\ 5243907924197425971505760670051706394432124975798878249336284997/57\ 8517366328897254095187905943242776952592630228649073949262828730435\ 41935022604801714466530999084408589984494323528615609305219*c_0101_\ 4^18 - 299948621015675526124258996188123068916354923112171448827416\ 1235648304624396645572188651384707150960014667224171871820750098606\ 3318/57851736632889725409518790594324277695259263022864907394926282\ 873043541935022604801714466530999084408589984494323528615609305219*\ c_0101_4^16 - 35483194998289502620770978486485488284749896551010158\ 4813059711452212195539535250317152860751422187179187604906716227680\ 69689913885/5785173663288972540951879059432427769525926302286490739\ 4926282873043541935022604801714466530999084408589984494323528615609\ 305219*c_0101_4^14 + 3307960642706185462229638665288692984666802106\ 3435053704788392646172988545029066351950672080005890740554429166557\ 507793897302076393/578517366328897254095187905943242776952592630228\ 6490739492628287304354193502260480171446653099908440858998449432352\ 8615609305219*c_0101_4^12 + 549452700708197677402752791254106678987\ 4641597336125828704449672316058482500251216407685338792247294240442\ 225535044393857476619987/192839122109632418031729301981080925650864\ 2100762163579830876095768118064500753493390482217699969480286332816\ 4774509538536435073*c_0101_4^10 - 789399165058032456598091601036953\ 0599908969187626854625520406315789700670086520967486572793655981695\ 006013814036235675969245085279/578517366328897254095187905943242776\ 9525926302286490739492628287304354193502260480171446653099908440858\ 9984494323528615609305219*c_0101_4^8 - 3412293341495530142872617212307873121317293125734724144558563747923\ 071884930361560130567922311906829838813003816190721233895817889/578\ 5173663288972540951879059432427769525926302286490739492628287304354\ 1935022604801714466530999084408589984494323528615609305219*c_0101_4\ ^6 + 32902785720246093513092121393661231233842988517197057577635706\ 8368916453380950526810625992261832817431304329356711500656457375586\ /578517366328897254095187905943242776952592630228649073949262828730\ 43541935022604801714466530999084408589984494323528615609305219*c_01\ 01_4^4 + 3363405747371407772129784318456071561712508469333326276448\ 2977952241216686292985254667484830231974116678070354740812553881418\ 5980/57851736632889725409518790594324277695259263022864907394926282\ 873043541935022604801714466530999084408589984494323528615609305219*\ c_0101_4^2 - 160240474358370188667569690654813987503646335480409688\ 5662692444356911250889457624561977869619307198272284763312611021217\ 814657/192839122109632418031729301981080925650864210076216357983087\ 6095768118064500753493390482217699969480286332816477450953853643507\ 3, c_0101_4^50 - 88*c_0101_4^48 + 2409*c_0101_4^46 - 24001*c_0101_4^44 + 122055*c_0101_4^42 - 935347*c_0101_4^40 + 2999039*c_0101_4^38 - 12585596*c_0101_4^36 + 43223521*c_0101_4^34 - 83136875*c_0101_4^32 + 182282413*c_0101_4^30 - 389921185*c_0101_4^28 + 405362163*c_0101_4^26 - 154349238*c_0101_4^24 - 36645851*c_0101_4^22 + 153274515*c_0101_4^20 - 52665465*c_0101_4^18 - 99620954*c_0101_4^16 + 53862687*c_0101_4^14 + 7257667*c_0101_4^12 - 2612018*c_0101_4^10 - 2434451*c_0101_4^8 + 528492*c_0101_4^6 + 12681*c_0101_4^4 - 89*c_0101_4^2 - 234 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB