Magma V2.19-8 Tue Aug 20 2013 16:19:12 on localhost [Seed = 88381441] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3323 geometric_solution 6.45575914 oriented_manifold CS_known -0.0000000000000004 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.386615698568 0.241423287485 2 0 3 0 0132 2310 0132 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 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.752480068534 0.920623725261 1 4 5 6 0132 0132 0132 0132 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 -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.418268088856 1.157437821981 6 5 4 1 1023 1023 3201 0132 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 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.418268088856 1.157437821981 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 -1 1 0 0 0 1 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.066536008982 1.022406304014 3 5 5 2 1023 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.426959342409 0.572108516468 6 3 2 6 3201 1023 0132 2310 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 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.626542809379 0.950280995061 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), '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' : negation(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' : d['c_0101_1'], '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_3'], '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_4'], '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' : 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' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_1'], '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_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t - 203918493309714597089152238637018897510994077113156992314841905947/\ 32954515721705176907049532891127551060344408745966749714842720992*c\ _0101_4^37 + 771744407118784095246425011069279662291760172854662688\ 4154933690547/32954515721705176907049532891127551060344408745966749\ 714842720992*c_0101_4^35 - 1137449475894791526863069724999475218223\ 7118268649165594980250987/12115630780038667980532916504091011419244\ 2679213113050422215886*c_0101_4^33 - 1172232455858516163451129767711727647936571862176909018394723852454\ 3/8238628930426294226762383222781887765086102186491687428710680248*\ c_0101_4^31 - 29158016176949495362673552828026361609513610687712934\ 463950273254781/102982861630328677834529790284773597063576277331146\ 0928588835031*c_0101_4^29 - 588824204246854620218652681947777151232\ 886372033677513501690434370093/411931446521314711338119161139094388\ 2543051093245843714355340124*c_0101_4^27 - 8971379483560028421260600963422736746193866014678536667084077763093\ 261/329545157217051769070495328911275510603444087459667497148427209\ 92*c_0101_4^25 + 22368633648819833660222777530362853729398386980547\ 782992574456646101123/329545157217051769070495328911275510603444087\ 45966749714842720992*c_0101_4^23 + 3772119312225271669864468175555902612144131650853051853181111127144\ 433/329545157217051769070495328911275510603444087459667497148427209\ 92*c_0101_4^21 + 63920537654342158453051387473775349652204103994172\ 453942266866420044141/329545157217051769070495328911275510603444087\ 45966749714842720992*c_0101_4^19 + 1212026096989306111987139324415126273667238247937054975026694052677\ 23403/3295451572170517690704953289112755106034440874596674971484272\ 0992*c_0101_4^17 - 185868573186335498165807343549779405069623588511\ 973753573516757851350643/329545157217051769070495328911275510603444\ 08745966749714842720992*c_0101_4^15 - 3860374973585230976568342148615575502143146953372814723972147417124\ 3001/16477257860852588453524766445563775530172204372983374857421360\ 496*c_0101_4^13 + 1380329610923156789890236679041585384515993101293\ 16693790754476054743373/3295451572170517690704953289112755106034440\ 8745966749714842720992*c_0101_4^11 - 1176533129062536010190042814078542807368126284442195273185875657707\ 0941/82386289304262942267623832227818877650861021864916874287106802\ 48*c_0101_4^9 + 435076386082927863454559145165356866464039558952761\ 608670081466672097/193850092480618687688526664065456182707908286740\ 9808806755454176*c_0101_4^7 - 5296929935223853906089034420219516174\ 3179905471661972245028276333997/82386289304262942267623832227818877\ 65086102186491687428710680248*c_0101_4^5 - 2178695516393828341844556055660631439299172916086438032287634393861\ 53/3295451572170517690704953289112755106034440874596674971484272099\ 2*c_0101_4^3 + 2805062518116501052951237256159636266785015409378163\ 3336886149667369/32954515721705176907049532891127551060344408745966\ 749714842720992*c_0101_4, c_0011_0 - 1, c_0011_1 + 260368808411462431329602591576898349507563045891173249062475\ 78/1029828616303286778345297902847735970635762773311460928588835031\ *c_0101_4^36 - 9856485543399284887590114369125821543886389235581027\ 29028332210/1029828616303286778345297902847735970635762773311460928\ 588835031*c_0101_4^34 + 2383311942307046743304078266279639401676457\ 6606086322330208398/60578153900193339902664582520455057096221339606\ 556525211107943*c_0101_4^32 + 5977531220458769347619586533510543779\ 720924579040017584723234904/102982861630328677834529790284773597063\ 5762773311460928588835031*c_0101_4^30 + 119073225119598268643175020861408425904476802752515245044858504371/\ 1029828616303286778345297902847735970635762773311460928588835031*c_\ 0101_4^28 + 6002865161968670821007020856680788755441409500151252622\ 17777700188/1029828616303286778345297902847735970635762773311460928\ 588835031*c_0101_4^26 + 1140086217141608135186097490490195226118301\ 340351653618672429187634/102982861630328677834529790284773597063576\ 2773311460928588835031*c_0101_4^24 - 2863865511147902757619968579105856229301393406347691194303282830959\ /1029828616303286778345297902847735970635762773311460928588835031*c\ _0101_4^22 - 443663882032205861390031890053606701369317387340278700\ 302738661850/102982861630328677834529790284773597063576277331146092\ 8588835031*c_0101_4^20 - 816638727168596941278884892376837455721343\ 1430559355036555549233689/10298286163032867783452979028477359706357\ 62773311460928588835031*c_0101_4^18 - 1540180364573844247456228027906755072982276137340588049143346993795\ 0/1029828616303286778345297902847735970635762773311460928588835031*\ c_0101_4^16 + 23833996587576075822014180684880873450718005090850539\ 842060257334852/102982861630328677834529790284773597063576277331146\ 0928588835031*c_0101_4^14 + 949664447432504553052564692463153358784\ 7334102778178608250565959975/10298286163032867783452979028477359706\ 35762773311460928588835031*c_0101_4^12 - 1767555538089112675783483170695857657153349861435712419420666438390\ 5/1029828616303286778345297902847735970635762773311460928588835031*\ c_0101_4^10 + 62721335457037955899255556085129405575702186342887719\ 88415038514471/1029828616303286778345297902847735970635762773311460\ 928588835031*c_0101_4^8 - 59506814783789544692150581208903647526109\ 462711621919791132929339/605781539001933399026645825204550570962213\ 39606556525211107943*c_0101_4^6 + 517692800040035319188509105481692\ 62303276589622614260965503851710/1029828616303286778345297902847735\ 970635762773311460928588835031*c_0101_4^4 + 2088126272826793137640025283326025817785135927592413840175242246/10\ 29828616303286778345297902847735970635762773311460928588835031*c_01\ 01_4^2 + 5619342901750081676493873429337511155551603879133710187337\ 77467/1029828616303286778345297902847735970635762773311460928588835\ 031, c_0011_3 + 297748529368931333971398615526953554993091701508867588016627\ 583/411931446521314711338119161139094388254305109324584371435534012\ 4*c_0101_4^37 - 112735682944032582470168567126168662311271424746571\ 68784348127915/4119314465213147113381191611390943882543051093245843\ 714355340124*c_0101_4^35 + 6924043611809680844883891464391797104598\ 5772608030220006242016/60578153900193339902664582520455057096221339\ 606556525211107943*c_0101_4^33 + 1710196296041381657609811362861259\ 7816024474495694294884993558384/10298286163032867783452979028477359\ 70635762773311460928588835031*c_0101_4^31 + 340307633417515373325846462185338479595055611115151087650625378933/\ 1029828616303286778345297902847735970635762773311460928588835031*c_\ 0101_4^29 + 1713704296547529996443384762724128085038884045247824140\ 281655954757/102982861630328677834529790284773597063576277331146092\ 8588835031*c_0101_4^27 + 129800627870868564818039860475031347511339\ 92080285107715690347941061/4119314465213147113381191611390943882543\ 051093245843714355340124*c_0101_4^25 - 3289757322957500819028260853572517092261228859335661563693462516836\ 7/4119314465213147113381191611390943882543051093245843714355340124*\ c_0101_4^23 - 49827111567909643952947572193455059813181870047321139\ 58589889790741/4119314465213147113381191611390943882543051093245843\ 714355340124*c_0101_4^21 - 9318720659914613345621577829373585126267\ 5744795996665229257073847561/41193144652131471133811916113909438825\ 43051093245843714355340124*c_0101_4^19 - 1753242904771383623509184897548061151094256025507925884284235671861\ 55/4119314465213147113381191611390943882543051093245843714355340124\ *c_0101_4^17 + 2745320700592888000351729638555194281687596907433389\ 30088371716964911/4119314465213147113381191611390943882543051093245\ 843714355340124*c_0101_4^15 + 5426747034195988547715435291973519021\ 3820553130021869736613448124329/20596572326065735566905958056954719\ 41271525546622921857177670062*c_0101_4^13 - 2038502985013336500603835484624212140799787398583111830801067910641\ 57/4119314465213147113381191611390943882543051093245843714355340124\ *c_0101_4^11 + 1785476937721171584607469152233004938379179368608181\ 7987805867493415/10298286163032867783452979028477359706357627733114\ 60928588835031*c_0101_4^9 - 669000952420464567699052400683855198579\ 160494170032959692520135945/242312615600773359610658330081820228384\ 885358426226100844431772*c_0101_4^7 + 201344172992737128497930646064361997722738382127079409787934871611/\ 1029828616303286778345297902847735970635762773311460928588835031*c_\ 0101_4^5 - 25096547751192256467068154409842558065390491618218068963\ 657345403/411931446521314711338119161139094388254305109324584371435\ 5340124*c_0101_4^3 + 7315616736701138900928308141904322994693336910\ 958348426978910227/411931446521314711338119161139094388254305109324\ 5843714355340124*c_0101_4, c_0101_0 + 245098068393582934003814389210164712920371166093774194850382\ 407/205965723260657355669059580569547194127152554662292185717767006\ 2*c_0101_4^37 - 931998470057948381785066049888374213821781255616568\ 4120385159159/20596572326065735566905958056954719412715255466229218\ 57177670062*c_0101_4^35 + 15832632534011329414087238819937648484648\ 8352799910615724666914/60578153900193339902664582520455057096221339\ 606556525211107943*c_0101_4^33 + 2790862567818903297075027317745199\ 6658850308902684046818047040841/10298286163032867783452979028477359\ 70635762773311460928588835031*c_0101_4^31 + 555660046892186200187855522753446444792068094963453132216862729680/\ 1029828616303286778345297902847735970635762773311460928588835031*c_\ 0101_4^29 + 2729705427829884860996308385299080868335875748107920701\ 820413751386/102982861630328677834529790284773597063576277331146092\ 8588835031*c_0101_4^27 + 974937845343897640244403347322271676924028\ 2430146596520500571127329/20596572326065735566905958056954719412715\ 25546622921857177670062*c_0101_4^25 - 2890599665504268437406221196587860822812934141431649528445923935914\ 7/2059657232606573556690595805695471941271525546622921857177670062*\ c_0101_4^23 + 13670318029672644420265432125887913945530705759759339\ 6669567881057/20596572326065735566905958056954719412715255466229218\ 57177670062*c_0101_4^21 - 75665217857969902827319886247064908475096\ 533627587066772738252914655/205965723260657355669059580569547194127\ 1525546622921857177670062*c_0101_4^19 - 1317171646049278058799287348967597664112113689366888444144051603431\ 37/2059657232606573556690595805695471941271525546622921857177670062\ *c_0101_4^17 + 2506404851293825745989201991000706579277702590859154\ 40140681017608631/2059657232606573556690595805695471941271525546622\ 921857177670062*c_0101_4^15 + 2742604747551543877651993578495745164\ 6151154340744659204408448991524/10298286163032867783452979028477359\ 70635762773311460928588835031*c_0101_4^13 - 1853584709483492907160376676544310794132847129823990695961605844147\ 73/2059657232606573556690595805695471941271525546622921857177670062\ *c_0101_4^11 + 4217526375445899786437127295903335727029973812090292\ 1139405587663350/10298286163032867783452979028477359706357627733114\ 60928588835031*c_0101_4^9 - 984301921108676542021570021675654236143\ 481469241202830365660143481/121156307800386679805329165040910114192\ 442679213113050422215886*c_0101_4^7 + 820438747703105326767929980676222915854281203915561091074510680598/\ 1029828616303286778345297902847735970635762773311460928588835031*c_\ 0101_4^5 - 49224977490277384210879860055802345033230875598255836028\ 432798529/205965723260657355669059580569547194127152554662292185717\ 7670062*c_0101_4^3 + 2222503908943215705274882772755106637447324004\ 492705797302267329/205965723260657355669059580569547194127152554662\ 2921857177670062*c_0101_4, c_0101_1 - 346629685121613910801233222278007640491400564414062507830075\ 30/1029828616303286778345297902847735970635762773311460928588835031\ *c_0101_4^36 + 1314339920990470563522032516515971198630001875637416\ 200120961540/102982861630328677834529790284773597063576277331146092\ 8588835031*c_0101_4^34 - 364861912179748939026640300330351732457518\ 91823286419336187676/6057815390019333990266458252045505709622133960\ 6556525211107943*c_0101_4^32 - 793470605503363556163660545395019154\ 0207861030120110389564055669/10298286163032867783452979028477359706\ 35762773311460928588835031*c_0101_4^30 - 158027423689040984129260438121493511130434575381648691863950024185/\ 1029828616303286778345297902847735970635762773311460928588835031*c_\ 0101_4^28 - 7892982843168182115302147729924437412790280593780076665\ 53099449960/1029828616303286778345297902847735970635762773311460928\ 588835031*c_0101_4^26 - 1467146194248099596897630381949005329333274\ 863676402955618404799750/102982861630328677834529790284773597063576\ 2773311460928588835031*c_0101_4^24 + 3912871783077135288795083068234428285889051346038177152108225344966\ /1029828616303286778345297902847735970635762773311460928588835031*c\ _0101_4^22 + 367374222633063059189603693182670393894022021651285454\ 142091766780/102982861630328677834529790284773597063576277331146092\ 8588835031*c_0101_4^20 + 108071042879716416534557683716615798342454\ 58418358017282229103000737/1029828616303286778345297902847735970635\ 762773311460928588835031*c_0101_4^18 + 1982417377446981743320788405623127545509092660021607885698779851439\ 7/1029828616303286778345297902847735970635762773311460928588835031*\ c_0101_4^16 - 33082069478252160113672230546497575399194868758179891\ 413278446824417/102982861630328677834529790284773597063576277331146\ 0928588835031*c_0101_4^14 - 108512875807928350537183678766500418858\ 62908191585795987659624824449/1029828616303286778345297902847735970\ 635762773311460928588835031*c_0101_4^12 + 2454459021477075236500039103522235300142859155867396616838281893931\ 7/1029828616303286778345297902847735970635762773311460928588835031*\ c_0101_4^10 - 96819345261787997426121777197171825672358836435487006\ 90822620417585/1029828616303286778345297902847735970635762773311460\ 928588835031*c_0101_4^8 + 99166781469667546447690233844678558067154\ 326519149615915553690004/605781539001933399026645825204550570962213\ 39606556525211107943*c_0101_4^6 - 103197210472286218976544023344583\ 020908742155683682108134638923038/102982861630328677834529790284773\ 5970635762773311460928588835031*c_0101_4^4 - 3899790227235993083294349054542429081003365028742053265088059270/10\ 29828616303286778345297902847735970635762773311460928588835031*c_01\ 01_4^2 + 2184831791567310806889543831118965583542524599902173104677\ 00287/1029828616303286778345297902847735970635762773311460928588835\ 031, c_0101_3 - 610682081514521762701317086584724774087565560661779270082180\ 31/2059657232606573556690595805695471941271525546622921857177670062\ *c_0101_4^36 + 2315861692186585257394642918593769862850843680034321\ 988440042111/205965723260657355669059580569547194127152554662292185\ 7177670062*c_0101_4^34 - 324357048997517171588485393726695064709108\ 20829889046144076612/6057815390019333990266458252045505709622133960\ 6556525211107943*c_0101_4^32 - 700894614063044263840909783379779836\ 3359327374984052611100853469/10298286163032867783452979028477359706\ 35762773311460928588835031*c_0101_4^30 - 139166555535398360458891527019144337828066249404345882394398122830/\ 1029828616303286778345297902847735970635762773311460928588835031*c_\ 0101_4^28 - 6944716516347787857927573548401430243280665482284530435\ 38448112259/1029828616303286778345297902847735970635762773311460928\ 588835031*c_0101_4^26 - 2572611769025692567866954939389496920498867\ 046484691723327291512727/205965723260657355669059580569547194127152\ 5546622921857177670062*c_0101_4^24 + 6934467140327820936681939111825026752668181271635071553623029561771\ /2059657232606573556690595805695471941271525546622921857177670062*c\ _0101_4^22 + 672220328798905765377832427541209547385956903250565315\ 883857560803/205965723260657355669059580569547194127152554662292185\ 7177670062*c_0101_4^20 + 189222993194203151251916229231916297531460\ 14873337424647314650860613/2059657232606573556690595805695471941271\ 525546622921857177670062*c_0101_4^18 + 3478497166045892537036296579714838565894645538958807451582870216350\ 3/2059657232606573556690595805695471941271525546622921857177670062*\ c_0101_4^16 - 58833109011964308763677820628670367401621346362143048\ 502768020593483/205965723260657355669059580569547194127152554662292\ 1857177670062*c_0101_4^14 - 980975059491359392680756689046149522402\ 9817128893169725473664169742/10298286163032867783452979028477359706\ 35762773311460928588835031*c_0101_4^12 + 4420408161518175341772182980352105424138594094194287372415609419836\ 3/2059657232606573556690595805695471941271525546622921857177670062*\ c_0101_4^10 - 83075634072506832434426586158168199626629227060281250\ 53788707820522/1029828616303286778345297902847735970635762773311460\ 928588835031*c_0101_4^8 + 14253230239919628003740736859479338023844\ 3588627516333655039473871/12115630780038667980532916504091011419244\ 2679213113050422215886*c_0101_4^6 - 44032598794463028678005081299575554364110374823833052309647144500/1\ 029828616303286778345297902847735970635762773311460928588835031*c_0\ 101_4^4 - 992887168667020759351902697696631687785397580785272447158\ 2631581/20596572326065735566905958056954719412715255466229218571776\ 70062*c_0101_4^2 - 102976305533775150620850895677661564456954266805\ 8514258732214159/20596572326065735566905958056954719412715255466229\ 21857177670062, c_0101_4^38 - 38*c_0101_4^36 + 21*c_0101_4^34 + 228*c_0101_4^32 + 4540*c_0101_4^30 + 22392*c_0101_4^28 + 40383*c_0101_4^26 - 116724*c_0101_4^24 - 2030*c_0101_4^22 - 309408*c_0101_4^20 - 545750*c_0101_4^18 + 1006294*c_0101_4^16 + 244209*c_0101_4^14 - 745493*c_0101_4^12 + 330295*c_0101_4^10 - 63119*c_0101_4^8 + 4883*c_0101_4^6 + 95*c_0101_4^4 - 10*c_0101_4^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB