Magma V2.19-8 Tue Aug 20 2013 16:18:38 on localhost [Seed = 2800171927] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2812 geometric_solution 6.04032587 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 -1 -1 2 0 0 -1 1 0 -1 0 1 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.730622775755 0.785116580379 0 3 5 4 0132 0132 0132 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.460454817673 0.733170270771 3 0 4 5 3201 0132 3201 2310 0 0 0 0 0 1 -1 0 0 0 1 -1 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.460454817673 0.733170270771 6 1 6 2 0132 0132 2310 2310 0 0 0 0 0 0 0 0 -1 0 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 1 0 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.004038591440 1.700735818466 2 4 1 4 2310 2310 0132 3201 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.746639863469 1.584458844254 2 5 5 1 3201 3201 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.355659434917 0.555301190981 3 3 6 6 0132 3201 2031 1302 0 0 0 0 0 -1 0 1 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 1 0 -1 -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.410215397022 0.129131233457 ==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' : negation(d['1']), 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : d['1'], 's_1_4' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 106705633967455793536728221354447723435917018967942304/220764469743\ 8688601803253466326513335879275474737*c_0101_5^23 - 70480996287681578062242723827648854306699568700931820/2207644697438\ 688601803253466326513335879275474737*c_0101_5^22 - 177067916272482831490391986715809969230860732677539660/220764469743\ 8688601803253466326513335879275474737*c_0101_5^21 - 269249098453439685063799518349267878006291874238204986/220764469743\ 8688601803253466326513335879275474737*c_0101_5^20 - 512464224034999952920135126635933125670212882754950935/220764469743\ 8688601803253466326513335879275474737*c_0101_5^19 + 217311870391669319885464782534150979233282162069841354/220764469743\ 8688601803253466326513335879275474737*c_0101_5^18 - 6029948341977024134343361577705149105801035696173288029/88305787897\ 54754407213013865306053343517101898948*c_0101_5^17 - 636585469053218040018938527409800715090424970215611837/220764469743\ 8688601803253466326513335879275474737*c_0101_5^16 + 11589126609108232891424292151686271642880801643880803235/8830578789\ 754754407213013865306053343517101898948*c_0101_5^15 + 9616058267533276007949817615551748012449852967602717287/88305787897\ 54754407213013865306053343517101898948*c_0101_5^14 + 17481977077590038886321808536416240166682601655558976119/8830578789\ 754754407213013865306053343517101898948*c_0101_5^13 + 12670311119964864751408840966401032995888992301691672529/8830578789\ 754754407213013865306053343517101898948*c_0101_5^12 + 6877868872012606911640380461812509945487998539215637583/88305787897\ 54754407213013865306053343517101898948*c_0101_5^11 + 7521052310112611188227471810001648719555746269287497557/44152893948\ 77377203606506932653026671758550949474*c_0101_5^10 + 1324254047182111391671019156897923103385843134133529627/44152893948\ 77377203606506932653026671758550949474*c_0101_5^9 - 2691585029036047606284391581903519072447727537404374571/22076446974\ 38688601803253466326513335879275474737*c_0101_5^8 - 3634397713339912923735957755110550134584660283482050515/44152893948\ 77377203606506932653026671758550949474*c_0101_5^7 + 2171959142693812252806531564343763405822252953088898369/44152893948\ 77377203606506932653026671758550949474*c_0101_5^6 + 911334537024052581719507841208632859994319837410717199/220764469743\ 8688601803253466326513335879275474737*c_0101_5^5 - 688577433232426068067132708088027253181364664236296394/220764469743\ 8688601803253466326513335879275474737*c_0101_5^4 - 1610915681961307826757076237455274006457737007155519295/88305787897\ 54754407213013865306053343517101898948*c_0101_5^3 + 311040342667559158526791830369814759201197795062678515/883057878975\ 4754407213013865306053343517101898948*c_0101_5^2 + 128431237967558709753865459422016674930198660886070309/883057878975\ 4754407213013865306053343517101898948*c_0101_5 - 18575925243076073642328811225028253997822925502025417/8830578789754\ 754407213013865306053343517101898948, c_0011_0 - 1, c_0011_4 + 279934344477724457390463517588902874175462424230816/22076446\ 97438688601803253466326513335879275474737*c_0101_5^23 - 216766566097357106120152547578745131388403804563980/220764469743868\ 8601803253466326513335879275474737*c_0101_5^22 - 429339893347816326094289823074377553989844954972460/220764469743868\ 8601803253466326513335879275474737*c_0101_5^21 - 668513392508266248704004398314280630574335920150714/220764469743868\ 8601803253466326513335879275474737*c_0101_5^20 - 1281295935901391639235429066604527975284044391250183/22076446974386\ 88601803253466326513335879275474737*c_0101_5^19 + 694449269892566485565205750297778619486523588791690/220764469743868\ 8601803253466326513335879275474737*c_0101_5^18 - 16305493733692107582128933228019187674869404041853685/8830578789754\ 754407213013865306053343517101898948*c_0101_5^17 - 1168586365876290012379214105872002992309222572488559/22076446974386\ 88601803253466326513335879275474737*c_0101_5^16 + 30279384698992319918219933993015034291362419149618703/8830578789754\ 754407213013865306053343517101898948*c_0101_5^15 + 21785762006081661945171770852944006200756757486578741/8830578789754\ 754407213013865306053343517101898948*c_0101_5^14 + 44515515916407788574238598516157031308727616117040415/8830578789754\ 754407213013865306053343517101898948*c_0101_5^13 + 28670569314790220243721628559615603928788054750274639/8830578789754\ 754407213013865306053343517101898948*c_0101_5^12 + 16331389559606927162474476787707943519476554023708669/8830578789754\ 754407213013865306053343517101898948*c_0101_5^11 + 9568375809856496902387549735483342404670285233585379/22076446974386\ 88601803253466326513335879275474737*c_0101_5^10 + 759578642497950870298014156291190586392188497667142/220764469743868\ 8601803253466326513335879275474737*c_0101_5^9 - 13629408898718997938607576928150980154696021484504735/4415289394877\ 377203606506932653026671758550949474*c_0101_5^8 - 8112998682130178812173563386586001391736020261689001/44152893948773\ 77203606506932653026671758550949474*c_0101_5^7 + 3073976532290066981864287198551378978567158483104876/22076446974386\ 88601803253466326513335879275474737*c_0101_5^6 + 3903862052758807237551116702517132493666025906332771/44152893948773\ 77203606506932653026671758550949474*c_0101_5^5 - 1895428873466230090895051375839676806661967234853613/22076446974386\ 88601803253466326513335879275474737*c_0101_5^4 - 3239495833622728248889513327468771066331325364547155/88305787897547\ 54407213013865306053343517101898948*c_0101_5^3 + 864707872423545272598421257914458438139008691883913/883057878975475\ 4407213013865306053343517101898948*c_0101_5^2 + 217987725842961957162951834775569913609773726979277/883057878975475\ 4407213013865306053343517101898948*c_0101_5 - 39250495697067622637769829340544472308361640487443/8830578789754754\ 407213013865306053343517101898948, c_0101_0 + 622390538079354004925129323539614726361460991353824/22076446\ 97438688601803253466326513335879275474737*c_0101_5^23 - 445766810381564116976603260436452109319925689963812/220764469743868\ 8601803253466326513335879275474737*c_0101_5^22 - 993858993681492104709054562287827015433105855497864/220764469743868\ 8601803253466326513335879275474737*c_0101_5^21 - 1530932722612618907711728512269397217580965766174194/22076446974386\ 88601803253466326513335879275474737*c_0101_5^20 - 2919598164865599918168552789345283994359874171003011/22076446974386\ 88601803253466326513335879275474737*c_0101_5^19 + 1401638894701638154601583895183119896757185147354393/22076446974386\ 88601803253466326513335879275474737*c_0101_5^18 - 35704908794760255384108818862266870277461939784719103/8830578789754\ 754407213013865306053343517101898948*c_0101_5^17 - 12650092950072439085341398945937979769206878040970171/8830578789754\ 754407213013865306053343517101898948*c_0101_5^16 + 67398557074715928136881769880514877371117550880805941/8830578789754\ 754407213013865306053343517101898948*c_0101_5^15 + 26207817951255747844165309888258255609134138412438735/4415289394877\ 377203606506932653026671758550949474*c_0101_5^14 + 25131193978841410356746098717449611234108850198339912/2207644697438\ 688601803253466326513335879275474737*c_0101_5^13 + 68882400876026836887272265548161533719285993944028921/8830578789754\ 754407213013865306053343517101898948*c_0101_5^12 + 9591449412837619890806441012494363648230835952303157/22076446974386\ 88601803253466326513335879275474737*c_0101_5^11 + 86348620307847198498486258882868078696714684991656381/8830578789754\ 754407213013865306053343517101898948*c_0101_5^10 + 11259418985562717325808246120647883175618056744413999/8830578789754\ 754407213013865306053343517101898948*c_0101_5^9 - 30836345071272013218374388506064348728195189044363911/4415289394877\ 377203606506932653026671758550949474*c_0101_5^8 - 9847862812442845823567353395313570766763038540886616/22076446974386\ 88601803253466326513335879275474737*c_0101_5^7 + 26365306998536262310387460169457524935332175243610339/8830578789754\ 754407213013865306053343517101898948*c_0101_5^6 + 19396822570818249220121136377591349106870308041012885/8830578789754\ 754407213013865306053343517101898948*c_0101_5^5 - 16409512108549207408361390671515681221534865965926851/8830578789754\ 754407213013865306053343517101898948*c_0101_5^4 - 4178620358745247361246168361749749162680974402693531/44152893948773\ 77203606506932653026671758550949474*c_0101_5^3 + 941683399861115134854636398378427490280241996133865/441528939487737\ 7203606506932653026671758550949474*c_0101_5^2 + 315241303814303190421593004374809624626125251526369/441528939487737\ 7203606506932653026671758550949474*c_0101_5 - 105636959349081023345809687469896759346151423565611/883057878975475\ 4407213013865306053343517101898948, c_0101_1 + 50370928995828298654550658859733881869380283603104/220764469\ 7438688601803253466326513335879275474737*c_0101_5^23 - 67667147769664947936067272390323301251438698680620/2207644697438688\ 601803253466326513335879275474737*c_0101_5^22 - 43516619140019049751422526830780606084391964480068/2207644697438688\ 601803253466326513335879275474737*c_0101_5^21 - 89631714685844082851420777366160340779567038225950/2207644697438688\ 601803253466326513335879275474737*c_0101_5^20 - 174172346092400657324639403684702151830561874718735/220764469743868\ 8601803253466326513335879275474737*c_0101_5^19 + 232237840954334513075036925146611880371728567942166/220764469743868\ 8601803253466326513335879275474737*c_0101_5^18 - 3394972078061544633448903850036977152221445101782697/88305787897547\ 54407213013865306053343517101898948*c_0101_5^17 + 502475708992844417650268672124855057511907523449341/441528939487737\ 7203606506932653026671758550949474*c_0101_5^16 + 2590198465036479417412048432766313928937704235896737/44152893948773\ 77203606506932653026671758550949474*c_0101_5^15 + 921007046926650691482948324871725544313354889532711/883057878975475\ 4407213013865306053343517101898948*c_0101_5^14 + 6946984441793681977202138373648271375786599741455221/88305787897547\ 54407213013865306053343517101898948*c_0101_5^13 + 539110094970378431060217263317654069785251120955577/441528939487737\ 7203606506932653026671758550949474*c_0101_5^12 + 1713620505079688109881561980631834417630492316589939/88305787897547\ 54407213013865306053343517101898948*c_0101_5^11 + 2880314855288434244840070101800736047803560836207223/44152893948773\ 77203606506932653026671758550949474*c_0101_5^10 - 2819769156918234622482167882345052526216905090005919/88305787897547\ 54407213013865306053343517101898948*c_0101_5^9 - 3846355339379304972052499602914718905917609118443699/88305787897547\ 54407213013865306053343517101898948*c_0101_5^8 - 495259325393953109912167165574099175190586844625403/883057878975475\ 4407213013865306053343517101898948*c_0101_5^7 + 2943942436831921474634436272943312327214135569888841/88305787897547\ 54407213013865306053343517101898948*c_0101_5^6 - 106630892477085402547597462046798867378197739555205/441528939487737\ 7203606506932653026671758550949474*c_0101_5^5 - 782693269520298603245647661466830145141328859967351/441528939487737\ 7203606506932653026671758550949474*c_0101_5^4 + 140991873880347583234267163665097854921979927839405/441528939487737\ 7203606506932653026671758550949474*c_0101_5^3 + 86056320540553362325235672320321022511782630786119/4415289394877377\ 203606506932653026671758550949474*c_0101_5^2 - 66280144849428462373228388444012886721976298598053/8830578789754754\ 407213013865306053343517101898948*c_0101_5 + 1794935628649961587525783998225925545802805160683/88305787897547544\ 07213013865306053343517101898948, c_0101_2 - 613033787914410447479166912135190604122626208/19687260144973\ 35462126025401657557170356341*c_0101_5^23 + 428547417583101835480708584266091572458466284/196872601449733546212\ 6025401657557170356341*c_0101_5^22 + 989435039278840168454767746702900826915662524/196872601449733546212\ 6025401657557170356341*c_0101_5^21 + 1522396450667440598567993898417165658653335546/19687260144973354621\ 26025401657557170356341*c_0101_5^20 + 2896448666545900914063311678467484716323789335/19687260144973354621\ 26025401657557170356341*c_0101_5^19 - 1337105738386552380636827411897889983575333158/19687260144973354621\ 26025401657557170356341*c_0101_5^18 + 35016602253772548430810135624968923431092686205/7874904057989341848\ 504101606630228681425364*c_0101_5^17 + 3274696257715114281355232997740557788795980252/19687260144973354621\ 26025401657557170356341*c_0101_5^16 - 66343277825932160162781680340782340395374177343/7874904057989341848\ 504101606630228681425364*c_0101_5^15 - 52828758192837195923102055923586930384510191989/7874904057989341848\ 504101606630228681425364*c_0101_5^14 - 99529498527570790297961713005461229207042546677/7874904057989341848\ 504101606630228681425364*c_0101_5^13 - 69365875045436982083418882111592148702421187015/7874904057989341848\ 504101606630228681425364*c_0101_5^12 - 38495448302996120854989212828361336402712105277/7874904057989341848\ 504101606630228681425364*c_0101_5^11 - 42696125552889560944370661635953166738758814459/3937452028994670924\ 252050803315114340712682*c_0101_5^10 - 3111883157923681901523177175872600773598472552/19687260144973354621\ 26025401657557170356341*c_0101_5^9 + 30507966516898788647936795437398574259098149395/3937452028994670924\ 252050803315114340712682*c_0101_5^8 + 9955798281422444521843466415784854791400107276/19687260144973354621\ 26025401657557170356341*c_0101_5^7 - 12804122787383078390058961538385164937727869095/3937452028994670924\ 252050803315114340712682*c_0101_5^6 - 4916329085083281204406956497908570980544307201/19687260144973354621\ 26025401657557170356341*c_0101_5^5 + 7992358633698387591127939665526265614883528753/39374520289946709242\ 52050803315114340712682*c_0101_5^4 + 8589201614879037786521230532129043965110353687/78749040579893418485\ 04101606630228681425364*c_0101_5^3 - 1815406186096274044387720549549901523976760785/78749040579893418485\ 04101606630228681425364*c_0101_5^2 - 666234217579032946386658501320735589194316071/787490405798934184850\ 4101606630228681425364*c_0101_5 + 108831494550912698169756524219442\ 394440992145/7874904057989341848504101606630228681425364, c_0101_3 + 176535106475623286263273533291446575346124672/19687260144973\ 35462126025401657557170356341*c_0101_5^23 - 142856285177402681200212434775550875073528528/196872601449733546212\ 6025401657557170356341*c_0101_5^22 - 280398677748964892463162652748496298085511048/196872601449733546212\ 6025401657557170356341*c_0101_5^21 - 398700960967508810457007451368204467745693992/196872601449733546212\ 6025401657557170356341*c_0101_5^20 - 775071755167428109007641007201328881249562328/196872601449733546212\ 6025401657557170356341*c_0101_5^19 + 499397656352298736567439298033665609441899118/196872601449733546212\ 6025401657557170356341*c_0101_5^18 - 2523405860068018110528569364626096758407444805/19687260144973354621\ 26025401657557170356341*c_0101_5^17 - 1377350791799565726927843099348032469111617917/39374520289946709242\ 52050803315114340712682*c_0101_5^16 + 10045659803190089960158719330747876682129003281/3937452028994670924\ 252050803315114340712682*c_0101_5^15 + 3287879875367899671098529473150946988671863269/19687260144973354621\ 26025401657557170356341*c_0101_5^14 + 13065544845932301355946179911398056896302488703/3937452028994670924\ 252050803315114340712682*c_0101_5^13 + 4051819252972611700021430310948713316892648258/19687260144973354621\ 26025401657557170356341*c_0101_5^12 + 3679303071350804586564668594904861750107395707/39374520289946709242\ 52050803315114340712682*c_0101_5^11 + 5638737834725805581462724028479654242676239651/19687260144973354621\ 26025401657557170356341*c_0101_5^10 + 38299022957682811574558128604735155172837255/1968726014497335462126\ 025401657557170356341*c_0101_5^9 - 4800473439555457206740891699985867583193432227/19687260144973354621\ 26025401657557170356341*c_0101_5^8 - 2399242257056082539261497914767264007834367117/19687260144973354621\ 26025401657557170356341*c_0101_5^7 + 2326494513341288427638003079208543637597684164/19687260144973354621\ 26025401657557170356341*c_0101_5^6 + 1328985835551867014825629836079123930558229911/19687260144973354621\ 26025401657557170356341*c_0101_5^5 - 1388528923066717317414807762851139743603507780/19687260144973354621\ 26025401657557170356341*c_0101_5^4 - 524567385714620381666236855812660486742642837/196872601449733546212\ 6025401657557170356341*c_0101_5^3 + 486191941747618319248510707354236771575732069/393745202899467092425\ 2050803315114340712682*c_0101_5^2 + 49639395519063000838383951680194111186388913/1968726014497335462126\ 025401657557170356341*c_0101_5 - 2520041867019933757420114451894514\ 8389919663/3937452028994670924252050803315114340712682, c_0101_5^24 - 7/8*c_0101_5^23 - 3/2*c_0101_5^22 - 35/16*c_0101_5^21 - 137/32*c_0101_5^20 + 97/32*c_0101_5^19 - 1873/128*c_0101_5^18 - 367/128*c_0101_5^17 + 3603/128*c_0101_5^16 + 1071/64*c_0101_5^15 + 1171/32*c_0101_5^14 + 1349/64*c_0101_5^13 + 665/64*c_0101_5^12 + 4097/128*c_0101_5^11 - 75/64*c_0101_5^10 - 1665/64*c_0101_5^9 - 753/64*c_0101_5^8 + 861/64*c_0101_5^7 + 399/64*c_0101_5^6 - 515/64*c_0101_5^5 - 301/128*c_0101_5^4 + 45/32*c_0101_5^3 + 9/64*c_0101_5^2 - 3/32*c_0101_5 + 1/128 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB