Magma V2.19-8 Tue Aug 20 2013 16:18:53 on localhost [Seed = 2294879742] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3055 geometric_solution 6.22415092 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 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 1 0 -1 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.558457052509 0.505957353138 0 4 4 5 0132 0132 1230 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 -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.930948736858 0.978197835170 2 0 0 2 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.273489591596 0.575947260398 4 6 0 5 2031 0132 0132 2031 0 0 0 0 0 -1 0 1 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 -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 0 0.444542351821 0.532226179419 6 1 3 1 2031 0132 1302 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.581275823134 0.526805314662 6 3 1 6 3012 1302 0132 1230 0 0 0 0 0 0 0 0 1 0 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.487511817848 0.407269136642 5 3 4 5 3012 0132 1302 1230 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 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.195970800113 0.950425809171 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : 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' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0101_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0011_0']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0110_3'], 'c_1001_4' : d['c_0110_3'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0110_3'], 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 15581596061035228534229183751853494468322331663/8258891244110794495\ 5858251523739552641039695*c_0110_3^25 + 19027432411250588254793839120156126950608999007/4346784865321470787\ 150434290723134349528405*c_0110_3^24 - 464092382452547211743038946544778837608750131635/330355649764431779\ 82343300609495821056415878*c_0110_3^23 - 2382252562698309389394834653364251107152100234434/82588912441107944\ 955858251523739552641039695*c_0110_3^22 + 25702026106776044689084554863897921287398810091461/1651778248822158\ 89911716503047479105282079390*c_0110_3^21 + 332204170984656436444265070889456715420044066829/165177824882215889\ 91171650304747910528207939*c_0110_3^20 - 62547302688670152292528574484693954845826975111349/8258891244110794\ 4955858251523739552641039695*c_0110_3^19 + 83951358903386272401610321288245782368102831469407/1651778248822158\ 89911716503047479105282079390*c_0110_3^18 + 168800720673291462870559925324762440886735075198771/825889124411079\ 44955858251523739552641039695*c_0110_3^17 - 243760227574304653762173065623352654725052345763807/825889124411079\ 44955858251523739552641039695*c_0110_3^16 - 384793816981854400524616712255771204794631539116013/165177824882215\ 889911716503047479105282079390*c_0110_3^15 + 1298431759249905949060801941748530262362337376593323/16517782488221\ 5889911716503047479105282079390*c_0110_3^14 - 53896667765565727235487850022329391265316476358576/1651778248822158\ 8991171650304747910528207939*c_0110_3^13 - 1457230069368499406139801522645057448259363130029641/16517782488221\ 5889911716503047479105282079390*c_0110_3^12 + 2311288031190574897440566867997169088831079251936141/16517782488221\ 5889911716503047479105282079390*c_0110_3^11 - 625249513196010800419749857272203738978018280648633/165177824882215\ 889911716503047479105282079390*c_0110_3^10 - 441751558705529995610003865957629981403541707823715/330355649764431\ 77982343300609495821056415878*c_0110_3^9 + 1519524737679722853244134340777601730270589946303596/82588912441107\ 944955858251523739552641039695*c_0110_3^8 - 139629932224093444670116742267154667933732582406047/330355649764431\ 77982343300609495821056415878*c_0110_3^7 - 1983646097935808578145419909387321481749435931432073/16517782488221\ 5889911716503047479105282079390*c_0110_3^6 + 2056451383735312216227162026624052838889014118653783/16517782488221\ 5889911716503047479105282079390*c_0110_3^5 - 193161018431840264124709953202703053245383137423384/825889124411079\ 44955858251523739552641039695*c_0110_3^4 - 308934027748851633894238312504352453244191644594477/825889124411079\ 44955858251523739552641039695*c_0110_3^3 + 250487820565312553849423836238738905126152920904288/825889124411079\ 44955858251523739552641039695*c_0110_3^2 - 155059041188460924488603550634726913912755049183249/165177824882215\ 889911716503047479105282079390*c_0110_3 + 18131829392009689117137009814242116284551245900149/1651778248822158\ 89911716503047479105282079390, c_0011_0 - 1, c_0011_3 - 53864373464184491554693887978393914938937/190231285134418852\ 8293406691782553325833*c_0110_3^25 + 1250573547186967326384084991784578780460996/19023128513441885282934\ 06691782553325833*c_0110_3^24 - 40303203337398501971743834317191950\ 51951862/1902312851344188528293406691782553325833*c_0110_3^23 - 8164101645122974325699492994194596640926260/19023128513441885282934\ 06691782553325833*c_0110_3^22 + 44508092720651545867618660721667503\ 959211661/1902312851344188528293406691782553325833*c_0110_3^21 + 5053606155864270931805073300183579594667748/19023128513441885282934\ 06691782553325833*c_0110_3^20 - 21594973608916550349296644792567228\ 8404402922/1902312851344188528293406691782553325833*c_0110_3^19 + 147988550938367455897418048362115251015556628/190231285134418852829\ 3406691782553325833*c_0110_3^18 + 580115743426419669493317198387353\ 856392436139/1902312851344188528293406691782553325833*c_0110_3^17 - 848768784713777044966834936600323567879722215/190231285134418852829\ 3406691782553325833*c_0110_3^16 - 651045449023022604183944955139892\ 397085676861/1902312851344188528293406691782553325833*c_0110_3^15 + 2245513656234595454599551604370557000648387849/19023128513441885282\ 93406691782553325833*c_0110_3^14 - 959839544451281166874301154295709951398087983/190231285134418852829\ 3406691782553325833*c_0110_3^13 - 249196546457767158009238118625056\ 6013837294477/1902312851344188528293406691782553325833*c_0110_3^12 + 4008404043415523582959265133686391828556070246/19023128513441885282\ 93406691782553325833*c_0110_3^11 - 1133826196019222952026422857924327064717113328/19023128513441885282\ 93406691782553325833*c_0110_3^10 - 3772757152326884953865110481973876905045717953/19023128513441885282\ 93406691782553325833*c_0110_3^9 + 526557963618692240049707641130156\ 3645226171208/1902312851344188528293406691782553325833*c_0110_3^8 - 1268416778303540404795730978353052348667820957/19023128513441885282\ 93406691782553325833*c_0110_3^7 - 337986126413069533116356318435427\ 2620517583407/1902312851344188528293406691782553325833*c_0110_3^6 + 3555784711731724072909667714589963198734470535/19023128513441885282\ 93406691782553325833*c_0110_3^5 - 695464874217478896276400805968191\ 960424591779/1902312851344188528293406691782553325833*c_0110_3^4 - 1048816561795903216701331552297679879771738283/19023128513441885282\ 93406691782553325833*c_0110_3^3 + 861063390439599350172748919098383\ 217033704508/1902312851344188528293406691782553325833*c_0110_3^2 - 268046360850255542649772900979740169492158179/190231285134418852829\ 3406691782553325833*c_0110_3 + 314902157892346381697354321784410049\ 26943537/1902312851344188528293406691782553325833, c_0011_5 + 41419393108361948345879238906055095231829/190231285134418852\ 8293406691782553325833*c_0110_3^25 - 960109696048118666380614754719863872106831/190231285134418852829340\ 6691782553325833*c_0110_3^24 + 306461956469846790611547268086472006\ 5541520/1902312851344188528293406691782553325833*c_0110_3^23 + 6370865028588702904822053704749905771831772/19023128513441885282934\ 06691782553325833*c_0110_3^22 - 33937376703480234703906018494959488\ 518386329/1902312851344188528293406691782553325833*c_0110_3^21 - 4966989870359056763183807507340265960271052/19023128513441885282934\ 06691782553325833*c_0110_3^20 + 16526090614315093937472814923786861\ 3011241819/1902312851344188528293406691782553325833*c_0110_3^19 - 108206477309922673733806538853929350687556790/190231285134418852829\ 3406691782553325833*c_0110_3^18 - 446894809757721981030654611329809\ 454146412980/1902312851344188528293406691782553325833*c_0110_3^17 + 635942409341973235727540935664769069311025028/190231285134418852829\ 3406691782553325833*c_0110_3^16 + 514490265538079886740089074104695\ 985662081832/1902312851344188528293406691782553325833*c_0110_3^15 - 1700409509900444089437331863572091137582296244/19023128513441885282\ 93406691782553325833*c_0110_3^14 + 690759553936505972728347921255614536474269959/190231285134418852829\ 3406691782553325833*c_0110_3^13 + 191559733241316579457658695525599\ 3866574506146/1902312851344188528293406691782553325833*c_0110_3^12 - 3013216469496654493138916977582962419522076410/19023128513441885282\ 93406691782553325833*c_0110_3^11 + 799869154795367428500483790829816886012080778/190231285134418852829\ 3406691782553325833*c_0110_3^10 + 289129214791776573667734787334899\ 3578597449013/1902312851344188528293406691782553325833*c_0110_3^9 - 3949539308905329645743340250643944903341231699/19023128513441885282\ 93406691782553325833*c_0110_3^8 + 885904432801397609987628020321720\ 366158328268/1902312851344188528293406691782553325833*c_0110_3^7 + 2583170951581000264749609981587427623748292440/19023128513441885282\ 93406691782553325833*c_0110_3^6 - 264965681704976787007447826897528\ 2543203348013/1902312851344188528293406691782553325833*c_0110_3^5 + 484242464503945237948587751704880301895935368/190231285134418852829\ 3406691782553325833*c_0110_3^4 + 7973846397253703181883945603048158\ 85813092018/1902312851344188528293406691782553325833*c_0110_3^3 - 638376780819689534467746434392761037181686272/190231285134418852829\ 3406691782553325833*c_0110_3^2 + 1956259573739408248909500791438887\ 68926243585/1902312851344188528293406691782553325833*c_0110_3 - 22638040954796625764332124674137635298071578/1902312851344188528293\ 406691782553325833, c_0101_0 - 68910542892967138639526751827424042626410/190231285134418852\ 8293406691782553325833*c_0110_3^25 + 1599988655967026835793948155879783108094903/19023128513441885282934\ 06691782553325833*c_0110_3^24 - 51581069418589765670919029281658571\ 83795134/1902312851344188528293406691782553325833*c_0110_3^23 - 10439000822785794090650371351669631016207992/1902312851344188528293\ 406691782553325833*c_0110_3^22 + 5695636138873097168865328748272112\ 3641031190/1902312851344188528293406691782553325833*c_0110_3^21 + 6400562500840718199960366961102008386806931/19023128513441885282934\ 06691782553325833*c_0110_3^20 - 27630814047612055613338265441118878\ 6448964282/1902312851344188528293406691782553325833*c_0110_3^19 + 189657719378839074539288013330545626494646338/190231285134418852829\ 3406691782553325833*c_0110_3^18 + 742066341218637158108778175866337\ 922497837238/1902312851344188528293406691782553325833*c_0110_3^17 - 1086830289154455414196834928318033734740421761/19023128513441885282\ 93406691782553325833*c_0110_3^16 - 831954612247893063138790409154432101478878175/190231285134418852829\ 3406691782553325833*c_0110_3^15 + 287421119375249730719832508809563\ 9351553579509/1902312851344188528293406691782553325833*c_0110_3^14 - 1230954322172703722625933498571158525811370241/19023128513441885282\ 93406691782553325833*c_0110_3^13 - 3187786306723801726228840567628156673552549693/19023128513441885282\ 93406691782553325833*c_0110_3^12 + 5132228090557319671846219109183802638306081513/19023128513441885282\ 93406691782553325833*c_0110_3^11 - 1455237260396268971214252911702750815121473014/19023128513441885282\ 93406691782553325833*c_0110_3^10 - 4826811100196224878857301015107808933109051638/19023128513441885282\ 93406691782553325833*c_0110_3^9 + 674244040879675666541755563287641\ 2607403436767/1902312851344188528293406691782553325833*c_0110_3^8 - 1628644538082867951833017002024902123375643652/19023128513441885282\ 93406691782553325833*c_0110_3^7 - 432446153452084706918146336839565\ 3791063851637/1902312851344188528293406691782553325833*c_0110_3^6 + 4554291912936862110375628440799849375359384763/19023128513441885282\ 93406691782553325833*c_0110_3^5 - 893217758524020331935458436892187\ 841311811885/1902312851344188528293406691782553325833*c_0110_3^4 - 1342190319267975492408359371868566600473449629/19023128513441885282\ 93406691782553325833*c_0110_3^3 + 110312187166567458873380985376911\ 8123365793197/1902312851344188528293406691782553325833*c_0110_3^2 - 343632622728103511711986049755335678714520945/190231285134418852829\ 3406691782553325833*c_0110_3 + 403972291386653699007488401998098453\ 03652981/1902312851344188528293406691782553325833, c_0101_1 - 89384627900608381320478861625774370558130/190231285134418852\ 8293406691782553325833*c_0110_3^25 + 2075915298570188412688284746642495043087016/19023128513441885282934\ 06691782553325833*c_0110_3^24 - 67031315917808363922923484641786308\ 31636960/1902312851344188528293406691782553325833*c_0110_3^23 - 13506626716445689131128172448141449095631443/1902312851344188528293\ 406691782553325833*c_0110_3^22 + 7398194550592309313862445944744704\ 7004489118/1902312851344188528293406691782553325833*c_0110_3^21 + 7908709602732818389681314700978026821380638/19023128513441885282934\ 06691782553325833*c_0110_3^20 - 35868161263724819548914518912596478\ 6025571529/1902312851344188528293406691782553325833*c_0110_3^19 + 248038665572168930594364335203170499444599091/190231285134418852829\ 3406691782553325833*c_0110_3^18 + 962206791281585133548950517257812\ 352354757332/1902312851344188528293406691782553325833*c_0110_3^17 - 1415798488116953964422185601551474862904415728/19023128513441885282\ 93406691782553325833*c_0110_3^16 - 1073994642536078614207760022127886294898902771/19023128513441885282\ 93406691782553325833*c_0110_3^15 + 3737620511559578021663511903796696486800779475/19023128513441885282\ 93406691782553325833*c_0110_3^14 - 1614012567845680144901903217667316568462100083/19023128513441885282\ 93406691782553325833*c_0110_3^13 - 4134845345925578009996619658422624529366341553/19023128513441885282\ 93406691782553325833*c_0110_3^12 + 6682120443977941443873351033856950864474683358/19023128513441885282\ 93406691782553325833*c_0110_3^11 - 1914139238703877222177932264353196561498493253/19023128513441885282\ 93406691782553325833*c_0110_3^10 - 6264013987193962995423114495497296195452167060/19023128513441885282\ 93406691782553325833*c_0110_3^9 + 878184978683912698353528036565423\ 8329172321424/1902312851344188528293406691782553325833*c_0110_3^8 - 2145593292117885710879204815162416664208790334/19023128513441885282\ 93406691782553325833*c_0110_3^7 - 561452210363765886816518921801453\ 9131869273861/1902312851344188528293406691782553325833*c_0110_3^6 + 5938232167047730832376706205660313783097671603/19023128513441885282\ 93406691782553325833*c_0110_3^5 - 117745151760909760541295213255697\ 5138799210984/1902312851344188528293406691782553325833*c_0110_3^4 - 1743987691874337990525377199687745254609666979/19023128513441885282\ 93406691782553325833*c_0110_3^3 + 143957553552450559471775422253835\ 2231728671234/1902312851344188528293406691782553325833*c_0110_3^2 - 449690514570550719343066244737699351102033038/190231285134418852829\ 3406691782553325833*c_0110_3 + 530191992827370918526951703857625742\ 94614541/1902312851344188528293406691782553325833, c_0101_2 + 47857175383165217163460348485606030498483/190231285134418852\ 8293406691782553325833*c_0110_3^25 - 1111348154745507816003459960720780542007009/19023128513441885282934\ 06691782553325833*c_0110_3^24 + 35867804585682391541547636458540604\ 59984945/1902312851344188528293406691782553325833*c_0110_3^23 + 7229507455041725887924486279831768340822291/19023128513441885282934\ 06691782553325833*c_0110_3^22 - 39570842222997358121413095333135561\ 509454450/1902312851344188528293406691782553325833*c_0110_3^21 - 4225796184613613208402287365580721256458133/19023128513441885282934\ 06691782553325833*c_0110_3^20 + 19175935734305342850090388999606216\ 5877931993/1902312851344188528293406691782553325833*c_0110_3^19 - 132748187086588758266458645355607361953905756/190231285134418852829\ 3406691782553325833*c_0110_3^18 - 514024206822956752894335736053747\ 351559557451/1902312851344188528293406691782553325833*c_0110_3^17 + 757400782043761530167434026252880960860884291/190231285134418852829\ 3406691782553325833*c_0110_3^16 + 572150643510777964090343646151128\ 326901488678/1902312851344188528293406691782553325833*c_0110_3^15 - 1998255404828103110128817084136891133199499617/19023128513441885282\ 93406691782553325833*c_0110_3^14 + 867980215532738724495472541892654584913191413/190231285134418852829\ 3406691782553325833*c_0110_3^13 + 220660048343006081200725802916667\ 8399827058562/1902312851344188528293406691782553325833*c_0110_3^12 - 3577308927978283789437142717214800474666802008/19023128513441885282\ 93406691782553325833*c_0110_3^11 + 1033668709812414175501673109358964057983907076/19023128513441885282\ 93406691782553325833*c_0110_3^10 + 3344098222738567231764690493906483336934709687/19023128513441885282\ 93406691782553325833*c_0110_3^9 - 470241512214268291167807175929605\ 0054075658813/1902312851344188528293406691782553325833*c_0110_3^8 + 1161540697334510349342806227300087594087385630/19023128513441885282\ 93406691782553325833*c_0110_3^7 + 299519317845251294415124636706367\ 3250387746180/1902312851344188528293406691782553325833*c_0110_3^6 - 3182923924707875293561253985435526682052020233/19023128513441885282\ 93406691782553325833*c_0110_3^5 + 640615646875561583035643500300226\ 366766721667/1902312851344188528293406691782553325833*c_0110_3^4 + 930001067655284635577255227953910847669498856/190231285134418852829\ 3406691782553325833*c_0110_3^3 - 7730445464415952508468259765408927\ 95241068033/1902312851344188528293406691782553325833*c_0110_3^2 + 242797116596985263225371985174343489304005749/190231285134418852829\ 3406691782553325833*c_0110_3 - 288027714990771223641751884133700364\ 63179799/1902312851344188528293406691782553325833, c_0110_3^26 - 24*c_0110_3^25 + 93*c_0110_3^24 + 93*c_0110_3^23 - 945*c_0110_3^22 + 553*c_0110_3^21 + 4083*c_0110_3^20 - 5886*c_0110_3^19 - 8621*c_0110_3^18 + 24190*c_0110_3^17 - 244*c_0110_3^16 - 51157*c_0110_3^15 + 50449*c_0110_3^14 + 32331*c_0110_3^13 - 110639*c_0110_3^12 + 79286*c_0110_3^11 + 53591*c_0110_3^10 - 152592*c_0110_3^9 + 100046*c_0110_3^8 + 44348*c_0110_3^7 - 115137*c_0110_3^6 + 64562*c_0110_3^5 + 9385*c_0110_3^4 - 31228*c_0110_3^3 + 17482*c_0110_3^2 - 4476*c_0110_3 + 457 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB