Magma V2.19-8 Tue Aug 20 2013 16:18:06 on localhost [Seed = 627358177] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2324 geometric_solution 5.71536127 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.632333452637 0.434424982177 0 2 3 0 3201 0132 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.853604581842 0.594479700346 4 1 3 5 0132 0132 1302 0132 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 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476354878598 0.630343253224 2 5 4 1 2031 2310 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 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.476354878598 0.630343253224 2 6 6 3 0132 0132 1023 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 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.406296321956 0.495979457664 5 5 2 3 1230 3012 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.388819872840 0.802302425855 6 4 4 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.780456497729 0.772977326469 ==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' : negation(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' : negation(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' : negation(d['c_0011_1']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), '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_5']), 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : negation(d['c_0011_5']), '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_5, c_0101_0, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 759774953786691532004584869783280803013570/894427966882881689364744\ 126709139529809*c_0101_6^26 - 1637897349254465460372003418561007112\ 76917/894427966882881689364744126709139529809*c_0101_6^25 + 24281892141205720793614621683999067402711788/8944279668828816893647\ 44126709139529809*c_0101_6^24 - 47184839442163744875773122973639613\ 489563688/894427966882881689364744126709139529809*c_0101_6^23 - 271671763711722249208555223209383845825473178/894427966882881689364\ 744126709139529809*c_0101_6^22 + 8259582160997060801225396529398343\ 61847067588/894427966882881689364744126709139529809*c_0101_6^21 + 1695554245287586671138034345362914740174776165/89442796688288168936\ 4744126709139529809*c_0101_6^20 - 468034958019211890972751983600999\ 5838922125582/894427966882881689364744126709139529809*c_0101_6^19 - 5124207836090616853259721853385737734837140270/89442796688288168936\ 4744126709139529809*c_0101_6^18 + 133213443245949298462413080037950\ 93756402322935/894427966882881689364744126709139529809*c_0101_6^17 + 7791023732415418955769083500644653813718006060/89442796688288168936\ 4744126709139529809*c_0101_6^16 - 209994415609593256280449981979726\ 20461894110493/894427966882881689364744126709139529809*c_0101_6^15 - 5741746412261194459453965574436756218253694978/89442796688288168936\ 4744126709139529809*c_0101_6^14 + 182537129672906125650887377986214\ 73868339367837/894427966882881689364744126709139529809*c_0101_6^13 + 1701793197568609207778789206536497957934420739/89442796688288168936\ 4744126709139529809*c_0101_6^12 - 774158846463581430892263393462801\ 8306502967996/894427966882881689364744126709139529809*c_0101_6^11 - 15620772265771962758592224911116858541650379/8944279668828816893647\ 44126709139529809*c_0101_6^10 + 77347883647366898679243411265499445\ 2694492017/894427966882881689364744126709139529809*c_0101_6^9 - 501808210327328177025094913098832443867335342/894427966882881689364\ 744126709139529809*c_0101_6^8 + 54244122313029441779612093835103020\ 0957634194/894427966882881689364744126709139529809*c_0101_6^7 + 827951466433897551033393045801498683634781792/894427966882881689364\ 744126709139529809*c_0101_6^6 - 42160593051744312025935664039865860\ 4826494434/894427966882881689364744126709139529809*c_0101_6^5 - 417807486463546592237504359228885330744056457/894427966882881689364\ 744126709139529809*c_0101_6^4 + 21072901397840458190283326161851866\ 9552166359/894427966882881689364744126709139529809*c_0101_6^3 + 37213026095901207962794175626494244465488068/8944279668828816893647\ 44126709139529809*c_0101_6^2 - 290399628850105165393860710670954154\ 02291382/894427966882881689364744126709139529809*c_0101_6 + 3455098623408259199267971926706046045925055/89442796688288168936474\ 4126709139529809, c_0011_0 - 1, c_0011_1 + 28018287160634855547312671554139216383531/894427966882881689\ 364744126709139529809*c_0101_6^26 + 5655441848183542091876040146918270924275/89442796688288168936474412\ 6709139529809*c_0101_6^25 - 896191232318035303663599166482459362633\ 885/894427966882881689364744126709139529809*c_0101_6^24 + 1751583288496158458322135725915878387582619/89442796688288168936474\ 4126709139529809*c_0101_6^23 + 100151560776011230127882323086850057\ 27409134/894427966882881689364744126709139529809*c_0101_6^22 - 30618740173025253977349555363746036017142649/8944279668828816893647\ 44126709139529809*c_0101_6^21 - 62368861604324642621381588727314604\ 112158936/894427966882881689364744126709139529809*c_0101_6^20 + 173942288595191577238664988495068279162249619/894427966882881689364\ 744126709139529809*c_0101_6^19 + 1885508406087246619061562901327660\ 30855543905/894427966882881689364744126709139529809*c_0101_6^18 - 496208252720037036280570630102533003575259798/894427966882881689364\ 744126709139529809*c_0101_6^17 - 2874136046773137610218433882774891\ 98847714116/894427966882881689364744126709139529809*c_0101_6^16 + 784024186121586440578906756002113951741885411/894427966882881689364\ 744126709139529809*c_0101_6^15 + 2138182865917399609429997419055327\ 73706698121/894427966882881689364744126709139529809*c_0101_6^14 - 683512670900228706066796246249966822937433224/894427966882881689364\ 744126709139529809*c_0101_6^13 - 6659342847623857695984446736166552\ 7603148188/894427966882881689364744126709139529809*c_0101_6^12 + 291268323264410644118777032255132632071642474/894427966882881689364\ 744126709139529809*c_0101_6^11 + 3834229387901220363802476165946455\ 848080077/894427966882881689364744126709139529809*c_0101_6^10 - 29278882660688522562507248822556074626535231/8944279668828816893647\ 44126709139529809*c_0101_6^9 + 175717430592316332763666634874340901\ 17232972/894427966882881689364744126709139529809*c_0101_6^8 - 20747586529237798424827309074374457869237653/8944279668828816893647\ 44126709139529809*c_0101_6^7 - 310338771571490042610294119849164764\ 29835122/894427966882881689364744126709139529809*c_0101_6^6 + 15790788471815341631298513598464795386575606/8944279668828816893647\ 44126709139529809*c_0101_6^5 + 158408209062773361985383014109980663\ 83393157/894427966882881689364744126709139529809*c_0101_6^4 - 7744521927845965105148994778892619564176632/89442796688288168936474\ 4126709139529809*c_0101_6^3 - 1477415515652087814105221856912721218\ 180355/894427966882881689364744126709139529809*c_0101_6^2 + 1061166363345144171474904837099142363575428/89442796688288168936474\ 4126709139529809*c_0101_6 - 118780787667002983988130610914238877289\ 303/894427966882881689364744126709139529809, c_0011_3 + 2051345566985755745454385488315501481352/8944279668828816893\ 64744126709139529809*c_0101_6^26 + 1577171070171001150426795209829689615402/89442796688288168936474412\ 6709139529809*c_0101_6^25 - 643958603985337071497502757555281050163\ 58/894427966882881689364744126709139529809*c_0101_6^24 + 91924621839418674346647319924232994542011/8944279668828816893647441\ 26709139529809*c_0101_6^23 + 77525080032019366910137108186081877723\ 4640/894427966882881689364744126709139529809*c_0101_6^22 - 1785968312858997593547897730201444041867019/89442796688288168936474\ 4126709139529809*c_0101_6^21 - 546168457588400438685519561940071377\ 8385081/894427966882881689364744126709139529809*c_0101_6^20 + 9342192485508701879656586889247805971007612/89442796688288168936474\ 4126709139529809*c_0101_6^19 + 183143550118781273142861796364222891\ 78342536/894427966882881689364744126709139529809*c_0101_6^18 - 24427884720605204345910481648972605400736407/8944279668828816893647\ 44126709139529809*c_0101_6^17 - 32402888419842140006881581916585279\ 669438019/894427966882881689364744126709139529809*c_0101_6^16 + 35223256509855518736232653213062537975935914/8944279668828816893647\ 44126709139529809*c_0101_6^15 + 31526037867678943777868815136337132\ 845731073/894427966882881689364744126709139529809*c_0101_6^14 - 27103488666164903913213642055606724251616934/8944279668828816893647\ 44126709139529809*c_0101_6^13 - 16538733388103063773439208763224365\ 988361323/894427966882881689364744126709139529809*c_0101_6^12 + 8594693846662418766694226670889636511078356/89442796688288168936474\ 4126709139529809*c_0101_6^11 + 325806612786353962851885173630462352\ 9001498/894427966882881689364744126709139529809*c_0101_6^10 + 405401830923077024162154748517459057327262/894427966882881689364744\ 126709139529809*c_0101_6^9 + 19195186134416529104862524872820011973\ 89586/894427966882881689364744126709139529809*c_0101_6^8 - 242734700607036014485578435900573588164434/894427966882881689364744\ 126709139529809*c_0101_6^7 - 21294299153417250136002340585847434232\ 58258/894427966882881689364744126709139529809*c_0101_6^6 - 90302025258806764367101902228983116970655/8944279668828816893647441\ 26709139529809*c_0101_6^5 + 827914256483331198277347620017893895663\ 374/894427966882881689364744126709139529809*c_0101_6^4 - 100386047855659532087962409343211415558992/894427966882881689364744\ 126709139529809*c_0101_6^3 - 90222542984005548388939506031723063416\ 115/894427966882881689364744126709139529809*c_0101_6^2 + 23841978057184375783423878012871801272147/8944279668828816893647441\ 26709139529809*c_0101_6 - 1847381902669410113470657425260176712770/\ 894427966882881689364744126709139529809, c_0011_5 - 28949504114719892455168834541365064564315/894427966882881689\ 364744126709139529809*c_0101_6^26 - 6531431747790823954391252904694915483869/89442796688288168936474412\ 6709139529809*c_0101_6^25 + 925232644682185861522080372577940684068\ 047/894427966882881689364744126709139529809*c_0101_6^24 - 1788380662810872557171881048355870935620816/89442796688288168936474\ 4126709139529809*c_0101_6^23 - 103721238702615489935420145024401824\ 36159954/894427966882881689364744126709139529809*c_0101_6^22 + 31367172228124717330825763579442899375590512/8944279668828816893647\ 44126709139529809*c_0101_6^21 + 64959471091405840489350253833530897\ 904124169/894427966882881689364744126709139529809*c_0101_6^20 - 177711321952475643708529471045872396393285748/894427966882881689364\ 744126709139529809*c_0101_6^19 - 1973725164739486118120888096856761\ 92882893159/894427966882881689364744126709139529809*c_0101_6^18 + 505644412390016503128717781461509755102406647/894427966882881689364\ 744126709139529809*c_0101_6^17 + 3032120369889304738161906642781959\ 19305823192/894427966882881689364744126709139529809*c_0101_6^16 - 796941275365832218168566486623792208064064972/894427966882881689364\ 744126709139529809*c_0101_6^15 - 2292731263945326000328916991609385\ 42263531389/894427966882881689364744126709139529809*c_0101_6^14 + 692622319120524718114078741073693706121900014/894427966882881689364\ 744126709139529809*c_0101_6^13 + 7447396357789949834159750063455513\ 2686635484/894427966882881689364744126709139529809*c_0101_6^12 - 293387730579708602200272903546589427892519074/894427966882881689364\ 744126709139529809*c_0101_6^11 - 4996521775289116063955053667741776\ 760293910/894427966882881689364744126709139529809*c_0101_6^10 + 28798271410336122847213891996076841469550355/8944279668828816893647\ 44126709139529809*c_0101_6^9 - 186550557260101263499784093295985945\ 39115676/894427966882881689364744126709139529809*c_0101_6^8 + 20622336117601419752091517176667694130591711/8944279668828816893647\ 44126709139529809*c_0101_6^7 + 319167694297204114335671752446758948\ 45458455/894427966882881689364744126709139529809*c_0101_6^6 - 15615332911800977679244350544290734788511767/8944279668828816893647\ 44126709139529809*c_0101_6^5 - 161305198647859862016248007440960031\ 25989602/894427966882881689364744126709139529809*c_0101_6^4 + 7770008749749544931478669468471317054794827/89442796688288168936474\ 4126709139529809*c_0101_6^3 + 1502215692855091922102070734207931259\ 927691/894427966882881689364744126709139529809*c_0101_6^2 - 1069806555528165381554887851410090204586717/89442796688288168936474\ 4126709139529809*c_0101_6 + 119540633913971648251482200386503592910\ 456/894427966882881689364744126709139529809, c_0101_0 - 30834526597527122957959146808563641165542/894427966882881689\ 364744126709139529809*c_0101_6^26 - 9655495811048064871733751457500814247101/89442796688288168936474412\ 6709139529809*c_0101_6^25 + 982686788345670413101021975373201167105\ 115/894427966882881689364744126709139529809*c_0101_6^24 - 1820893101666054922201969359813014503913775/89442796688288168936474\ 4126709139529809*c_0101_6^23 - 111461803192081519903099713346544141\ 08520498/894427966882881689364744126709139529809*c_0101_6^22 + 32364755149665492360835823382254127862466756/8944279668828816893647\ 44126709139529809*c_0101_6^21 + 71259617587651454048491722471165391\ 553244162/894427966882881689364744126709139529809*c_0101_6^20 - 181562172496226572882983609264773939814971284/894427966882881689364\ 744126709139529809*c_0101_6^19 - 2204316821900146241722012639164127\ 17781399931/894427966882881689364744126709139529809*c_0101_6^18 + 511861724844774269673603125849583152651198629/894427966882881689364\ 744126709139529809*c_0101_6^17 + 3478595058482419370755558453029498\ 18867512621/894427966882881689364744126709139529809*c_0101_6^16 - 799864047962760485902925728092558405086011922/894427966882881689364\ 744126709139529809*c_0101_6^15 - 2772429110262070721200928666579217\ 74202343168/894427966882881689364744126709139529809*c_0101_6^14 + 687834491837093153605609931905731228935454829/894427966882881689364\ 744126709139529809*c_0101_6^13 + 1014116493085375090085510487123577\ 94491811407/894427966882881689364744126709139529809*c_0101_6^12 - 285080128313350600433816371185726523438322628/894427966882881689364\ 744126709139529809*c_0101_6^11 - 9166431641467559835808573372534514\ 917844205/894427966882881689364744126709139529809*c_0101_6^10 + 25386980508987483185023515760263635345259470/8944279668828816893647\ 44126709139529809*c_0101_6^9 - 218580346783154018484145098041968233\ 46717854/894427966882881689364744126709139529809*c_0101_6^8 + 18958906317847389097841263488457748435536672/8944279668828816893647\ 44126709139529809*c_0101_6^7 + 335312702772126399440874727914455554\ 86469667/894427966882881689364744126709139529809*c_0101_6^6 - 13970914221692913694829228763183105856412842/8944279668828816893647\ 44126709139529809*c_0101_6^5 - 163543158031947977125163539449328659\ 78337681/894427966882881689364744126709139529809*c_0101_6^4 + 7410777158919608017731703841883856811153339/89442796688288168936474\ 4126709139529809*c_0101_6^3 + 1499152692680219726473808353549551132\ 167851/894427966882881689364744126709139529809*c_0101_6^2 - 1053093606757060584948903337151630235659532/89442796688288168936474\ 4126709139529809*c_0101_6 + 120578668505889515639448392638444838489\ 537/894427966882881689364744126709139529809, c_0101_4 + 30391574530197179034826276488912071626392/894427966882881689\ 364744126709139529809*c_0101_6^26 + 7726881187594816998607022132278378346652/89442796688288168936474412\ 6709139529809*c_0101_6^25 - 970438806515288975487940939650636647512\ 412/894427966882881689364744126709139529809*c_0101_6^24 + 1850412506771442831250652016263920838467396/89442796688288168936474\ 4126709139529809*c_0101_6^23 + 109212216682600602033442310466712342\ 60077803/894427966882881689364744126709139529809*c_0101_6^22 - 32594168875466784677721070066226432786111833/8944279668828816893647\ 44126709139529809*c_0101_6^21 - 68869960371728072627449245891147557\ 858393497/894427966882881689364744126709139529809*c_0101_6^20 + 184098678428252350689748436490831357095417255/894427966882881689364\ 744126709139529809*c_0101_6^19 + 2105433690786514984980499140694843\ 75819500297/894427966882881689364744126709139529809*c_0101_6^18 - 522385517140088477933455609254622909001208273/894427966882881689364\ 744126709139529809*c_0101_6^17 - 3265668758195326790784295424637073\ 03015551788/894427966882881689364744126709139529809*c_0101_6^16 + 821349487679146408099057022797309582373980611/894427966882881689364\ 744126709139529809*c_0101_6^15 + 2519225455155929028632508430879436\ 19222651580/894427966882881689364744126709139529809*c_0101_6^14 - 711833694613361896061917872895191160419393277/894427966882881689364\ 744126709139529809*c_0101_6^13 - 8616089775900443784177862936752295\ 4408808370/894427966882881689364744126709139529809*c_0101_6^12 + 299809603687895614125194644152488051467386268/894427966882881689364\ 744126709139529809*c_0101_6^11 + 7188318751616969788145259446075441\ 808527216/894427966882881689364744126709139529809*c_0101_6^10 - 28706432970857886372768392948753263148610535/8944279668828816893647\ 44126709139529809*c_0101_6^9 + 199563179877225435919903853065895389\ 63463858/894427966882881689364744126709139529809*c_0101_6^8 - 20769224281883535846081094290123735099937201/8944279668828816893647\ 44126709139529809*c_0101_6^7 - 333922215895092079538874153008135970\ 09817074/894427966882881689364744126709139529809*c_0101_6^6 + 15564384710354974647883477331189505066720493/8944279668828816893647\ 44126709139529809*c_0101_6^5 + 167397918402711087713777465164979086\ 68002974/894427966882881689364744126709139529809*c_0101_6^4 - 7852005372629401916553810347897599921922550/89442796688288168936474\ 4126709139529809*c_0101_6^3 - 1568037494513543101456216379877431686\ 779978/894427966882881689364744126709139529809*c_0101_6^2 + 1089031631302162387647092291346258422387150/89442796688288168936474\ 4126709139529809*c_0101_6 - 121161270199525569017281597834653928450\ 244/894427966882881689364744126709139529809, c_0101_6^27 - 32*c_0101_6^25 + 69*c_0101_6^24 + 344*c_0101_6^23 - 1164*c_0101_6^22 - 1995*c_0101_6^21 + 6637*c_0101_6^20 + 5399*c_0101_6^19 - 18966*c_0101_6^18 - 6413*c_0101_6^17 + 29797*c_0101_6^16 + 1483*c_0101_6^15 - 25582*c_0101_6^14 + 3060*c_0101_6^13 + 10621*c_0101_6^12 - 2243*c_0101_6^11 - 1012*c_0101_6^10 + 893*c_0101_6^9 - 852*c_0101_6^8 - 929*c_0101_6^7 + 791*c_0101_6^6 + 424*c_0101_6^5 - 398*c_0101_6^4 + 13*c_0101_6^3 + 49*c_0101_6^2 - 13*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB