Magma V2.19-8 Wed Aug 21 2013 00:51:12 on localhost [Seed = 3599811498] Type ? for help. Type -D to quit. Loading file "L11a196__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a196 geometric_solution 12.42109247 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 0213 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 1 -1 1 0 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.459098907355 0.673137044443 0 3 5 4 0132 1023 0132 0132 1 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 -1 0 0 1 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.060951412165 0.968212036116 6 0 7 0 0132 0132 0132 0213 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 -1 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.459098907355 0.673137044443 1 8 8 0 1023 0132 0321 0132 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 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.821151061329 1.216415533329 9 9 1 6 0132 1302 0132 1023 1 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 1 0 -1 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.854765532145 1.039528790048 5 6 5 1 2031 3201 1302 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562701010189 0.817708975772 2 8 5 4 0132 1023 2310 1023 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0.526922382676 0.491902204045 9 10 10 2 2103 0132 0321 0132 0 1 1 1 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 -1 0 1 -1 0 1 0 1 -1 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.494097131755 0.984685254505 6 3 3 11 1023 0132 0321 0132 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 -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.821151061329 1.216415533329 4 12 7 4 0132 0132 2103 2031 1 1 1 1 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 -1 1 -1 0 1 0 0 -1 0 1 -1 3 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.131826026643 0.943556663906 11 7 7 12 0321 0132 0321 1230 0 1 1 1 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 1 0 -1 0 0 0 0 0 2 0 -2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.494097131755 0.984685254505 10 12 8 12 0321 1230 0132 1023 0 1 1 1 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 3 -1 -2 0 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.617563088589 0.474246231172 10 9 11 11 3012 0132 3012 1023 1 0 1 1 0 0 0 0 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 0 0 0 1 0 -3 2 0 -3 0 3 2 1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.030362122380 1.277714934676 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_0101_12'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_11'], 'c_1001_2' : d['c_1001_10'], 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : d['c_0101_12'], 'c_1010_10' : d['c_0101_12'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0101_10']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1001_11'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_7' : d['c_1001_10'], 'c_1100_6' : d['c_0011_5'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : d['c_1001_10'], 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0101_2']), 'c_1100_11' : d['c_1001_11'], 'c_1100_10' : d['c_0101_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_1001_10'], 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : d['c_1001_11'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_1001_11']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(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_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0101_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_12'], 'c_0101_12' : d['c_0101_12'], 'c_0011_6' : d['c_0011_0'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : negation(d['c_0011_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_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : negation(d['c_0101_3']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : negation(d['c_0101_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_10']), 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_5, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_2, c_0101_3, c_1001_0, c_1001_10, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 121000937774137081489094/1850362507491828012085*c_1001_11^19 - 5622766935927658931319/27617350858086985255*c_1001_11^18 - 154897337207832644495537/1850362507491828012085*c_1001_11^17 + 98614670245262813804639/1850362507491828012085*c_1001_11^16 - 170245342751138506818168/370072501498365602417*c_1001_11^15 - 421184248345501088956689/1850362507491828012085*c_1001_11^14 + 1467402149539263721390266/1850362507491828012085*c_1001_11^13 + 2342774124441489439664296/1850362507491828012085*c_1001_11^12 - 1542426261366097446720752/1850362507491828012085*c_1001_11^11 - 5516062150888755089398677/1850362507491828012085*c_1001_11^10 - 816248454910691337816172/1850362507491828012085*c_1001_11^9 + 7164509893219655273722096/1850362507491828012085*c_1001_11^8 + 2859691963608410432765214/1850362507491828012085*c_1001_11^7 - 5588140423660494952964332/1850362507491828012085*c_1001_11^6 - 256566314676449240505503/108844853381872236005*c_1001_11^5 + 2387115400792260827979527/1850362507491828012085*c_1001_11^4 + 485687422562353868185779/370072501498365602417*c_1001_11^3 - 10633537603778449967163/108844853381872236005*c_1001_11^2 - 21462185519096526455291/28467115499874277109*c_1001_11 - 30815029053888855276901/142335577499371385545, c_0011_0 - 1, c_0011_10 + 2919294965729/18351069878359*c_1001_11^19 - 10870516935831/18351069878359*c_1001_11^18 - 47519944712623/18351069878359*c_1001_11^17 + 13051056660578/18351069878359*c_1001_11^16 + 67534955101249/18351069878359*c_1001_11^15 - 142570032918163/18351069878359*c_1001_11^14 - 34022027576343/18351069878359*c_1001_11^13 + 259301079887152/18351069878359*c_1001_11^12 + 250235324031252/18351069878359*c_1001_11^11 - 413439723961899/18351069878359*c_1001_11^10 - 856957210477781/18351069878359*c_1001_11^9 + 271392680962099/18351069878359*c_1001_11^8 + 1442664492954735/18351069878359*c_1001_11^7 - 24881927560657/18351069878359*c_1001_11^6 - 76980389512638/1079474698727*c_1001_11^5 - 345189401686739/18351069878359*c_1001_11^4 + 717148537225704/18351069878359*c_1001_11^3 + 18580361488238/1079474698727*c_1001_11^2 - 117823845410935/18351069878359*c_1001_11 - 255291287850770/18351069878359, c_0011_11 - 3165492198207/18351069878359*c_1001_11^19 - 11463285642272/18351069878359*c_1001_11^18 - 3848506634374/18351069878359*c_1001_11^17 + 16461023912075/18351069878359*c_1001_11^16 - 16365823402519/18351069878359*c_1001_11^15 - 30746415431870/18351069878359*c_1001_11^14 + 65137594308331/18351069878359*c_1001_11^13 + 88065317026682/18351069878359*c_1001_11^12 - 88510972094591/18351069878359*c_1001_11^11 - 265788691315077/18351069878359*c_1001_11^10 - 26904342726518/18351069878359*c_1001_11^9 + 423523497205943/18351069878359*c_1001_11^8 + 218004437901444/18351069878359*c_1001_11^7 - 408571723032969/18351069878359*c_1001_11^6 - 18275699805793/1079474698727*c_1001_11^5 + 196940930353440/18351069878359*c_1001_11^4 + 220869224651640/18351069878359*c_1001_11^3 - 1373586346868/1079474698727*c_1001_11^2 - 74931940871565/18351069878359*c_1001_11 - 42123461310140/18351069878359, c_0011_5 - 10184476081230/18351069878359*c_1001_11^19 - 11377731062496/18351069878359*c_1001_11^18 + 48790582309945/18351069878359*c_1001_11^17 + 19475085868957/18351069878359*c_1001_11^16 - 119528269617136/18351069878359*c_1001_11^15 + 100460041179618/18351069878359*c_1001_11^14 + 184825680696487/18351069878359*c_1001_11^13 - 130228061851580/18351069878359*c_1001_11^12 - 505643855285324/18351069878359*c_1001_11^11 - 57129452103263/18351069878359*c_1001_11^10 + 998620108160126/18351069878359*c_1001_11^9 + 577384901290446/18351069878359*c_1001_11^8 - 1336520404781871/18351069878359*c_1001_11^7 - 884899963297762/18351069878359*c_1001_11^6 + 58954675861680/1079474698727*c_1001_11^5 + 909262562446960/18351069878359*c_1001_11^4 - 480366908935222/18351069878359*c_1001_11^3 - 29146608606218/1079474698727*c_1001_11^2 + 21763456008392/18351069878359*c_1001_11 + 252506807548192/18351069878359, c_0101_0 - 15749559848612/18351069878359*c_1001_11^19 - 23164102337653/18351069878359*c_1001_11^18 + 56488943437128/18351069878359*c_1001_11^17 + 23936138880852/18351069878359*c_1001_11^16 - 162146723664934/18351069878359*c_1001_11^15 + 128921764258234/18351069878359*c_1001_11^14 + 249894614025488/18351069878359*c_1001_11^13 - 99423191195538/18351069878359*c_1001_11^12 - 630840614759205/18351069878359*c_1001_11^11 - 212759124557856/18351069878359*c_1001_11^10 + 1133689278808763/18351069878359*c_1001_11^9 + 821659126623720/18351069878359*c_1001_11^8 - 1456203316552656/18351069878359*c_1001_11^7 - 1034019654940585/18351069878359*c_1001_11^6 + 59980925774449/1079474698727*c_1001_11^5 + 966243887583899/18351069878359*c_1001_11^4 - 451763661330637/18351069878359*c_1001_11^3 - 27969356340699/1079474698727*c_1001_11^2 - 60801544232610/18351069878359*c_1001_11 + 260842150517873/18351069878359, c_0101_1 + 16824514554441/18351069878359*c_1001_11^19 + 35739566601260/18351069878359*c_1001_11^18 - 32670670237839/18351069878359*c_1001_11^17 - 35815922248313/18351069878359*c_1001_11^16 + 144672497305924/18351069878359*c_1001_11^15 - 57030656694721/18351069878359*c_1001_11^14 - 266420494370774/18351069878359*c_1001_11^13 - 62664490017204/18351069878359*c_1001_11^12 + 549742339910968/18351069878359*c_1001_11^11 + 551106441309386/18351069878359*c_1001_11^10 - 699168202937937/18351069878359*c_1001_11^9 - 1140433965191127/18351069878359*c_1001_11^8 + 655987520822170/18351069878359*c_1001_11^7 + 1137251791324566/18351069878359*c_1001_11^6 - 13119738995065/1079474698727*c_1001_11^5 - 742637870576034/18351069878359*c_1001_11^4 - 19117828235351/18351069878359*c_1001_11^3 + 12592348360268/1079474698727*c_1001_11^2 + 179164249154260/18351069878359*c_1001_11 - 64634134225199/18351069878359, c_0101_10 - 905246531721/18351069878359*c_1001_11^19 - 10027528773300/18351069878359*c_1001_11^18 - 18512977158839/18351069878359*c_1001_11^17 + 10012106242883/18351069878359*c_1001_11^16 + 11404579307206/18351069878359*c_1001_11^15 - 62674781643232/18351069878359*c_1001_11^14 + 15636562268006/18351069878359*c_1001_11^13 + 132989363394664/18351069878359*c_1001_11^12 + 42925335484487/18351069878359*c_1001_11^11 - 271142032693626/18351069878359*c_1001_11^10 - 308667861362418/18351069878359*c_1001_11^9 + 290673712770624/18351069878359*c_1001_11^8 + 584017941781201/18351069878359*c_1001_11^7 - 200705061471616/18351069878359*c_1001_11^6 - 35551607258641/1079474698727*c_1001_11^5 - 12960271614293/18351069878359*c_1001_11^4 + 367457723845279/18351069878359*c_1001_11^3 + 4986966753286/1079474698727*c_1001_11^2 - 108355225674423/18351069878359*c_1001_11 - 96389052357533/18351069878359, c_0101_12 - 14049278423150/18351069878359*c_1001_11^19 - 24063172874447/18351069878359*c_1001_11^18 + 43555120619768/18351069878359*c_1001_11^17 + 28655441055668/18351069878359*c_1001_11^16 - 138708020446948/18351069878359*c_1001_11^15 + 83852675449975/18351069878359*c_1001_11^14 + 235772994407241/18351069878359*c_1001_11^13 - 39537689027029/18351069878359*c_1001_11^12 - 559048478177454/18351069878359*c_1001_11^11 - 304181167596582/18351069878359*c_1001_11^10 + 912105290996556/18351069878359*c_1001_11^9 + 890249683129138/18351069878359*c_1001_11^8 - 1081528655653233/18351069878359*c_1001_11^7 - 1079266620093928/18351069878359*c_1001_11^6 + 39913861446791/1079474698727*c_1001_11^5 + 905526148993675/18351069878359*c_1001_11^4 - 266713193859562/18351069878359*c_1001_11^3 - 23712692095847/1079474698727*c_1001_11^2 - 90492654242554/18351069878359*c_1001_11 + 181762719598172/18351069878359, c_0101_2 + 14218671683755/18351069878359*c_1001_11^19 + 22913964489403/18351069878359*c_1001_11^18 - 47997977768111/18351069878359*c_1001_11^17 - 29025342620609/18351069878359*c_1001_11^16 + 143585106653742/18351069878359*c_1001_11^15 - 91422858739055/18351069878359*c_1001_11^14 - 237404730248997/18351069878359*c_1001_11^13 + 57333639585227/18351069878359*c_1001_11^12 + 592572014290781/18351069878359*c_1001_11^11 + 284222007915108/18351069878359*c_1001_11^10 - 999607295648605/18351069878359*c_1001_11^9 - 913610151079277/18351069878359*c_1001_11^8 + 1197985147601485/18351069878359*c_1001_11^7 + 1165626511885028/18351069878359*c_1001_11^6 - 42625214919812/1079474698727*c_1001_11^5 - 1030296207033848/18351069878359*c_1001_11^4 + 249718281815682/18351069878359*c_1001_11^3 + 29054549664468/1079474698727*c_1001_11^2 + 121212013116775/18351069878359*c_1001_11 - 228185587828057/18351069878359, c_0101_3 + 7414542489041/18351069878359*c_1001_11^19 + 6509295957320/18351069878359*c_1001_11^18 - 39685698729464/18351069878359*c_1001_11^17 - 11098434669798/18351069878359*c_1001_11^16 + 91572073622334/18351069878359*c_1001_11^15 - 92399015539368/18351069878359*c_1001_11^14 - 136820206533642/18351069878359*c_1001_11^13 + 126854699603621/18351069878359*c_1001_11^12 + 370254723043976/18351069878359*c_1001_11^11 - 31220089405923/18351069878359*c_1001_11^10 - 790160006926496/18351069878359*c_1001_11^9 - 323496946340500/18351069878359*c_1001_11^8 + 1128517014032257/18351069878359*c_1001_11^7 + 539530686846955/18351069878359*c_1001_11^6 - 54984986346275/1079474698727*c_1001_11^5 - 619206408374979/18351069878359*c_1001_11^4 + 491228617640495/18351069878359*c_1001_11^3 + 21179010668014/1079474698727*c_1001_11^2 - 56097872485917/18351069878359*c_1001_11 - 223095347910315/18351069878359, c_1001_0 - 1, c_1001_10 - 3165492198207/18351069878359*c_1001_11^19 - 11463285642272/18351069878359*c_1001_11^18 - 3848506634374/18351069878359*c_1001_11^17 + 16461023912075/18351069878359*c_1001_11^16 - 16365823402519/18351069878359*c_1001_11^15 - 30746415431870/18351069878359*c_1001_11^14 + 65137594308331/18351069878359*c_1001_11^13 + 88065317026682/18351069878359*c_1001_11^12 - 88510972094591/18351069878359*c_1001_11^11 - 265788691315077/18351069878359*c_1001_11^10 - 26904342726518/18351069878359*c_1001_11^9 + 423523497205943/18351069878359*c_1001_11^8 + 218004437901444/18351069878359*c_1001_11^7 - 408571723032969/18351069878359*c_1001_11^6 - 18275699805793/1079474698727*c_1001_11^5 + 196940930353440/18351069878359*c_1001_11^4 + 220869224651640/18351069878359*c_1001_11^3 - 1373586346868/1079474698727*c_1001_11^2 - 93283010749924/18351069878359*c_1001_11 - 42123461310140/18351069878359, c_1001_11^20 + c_1001_11^19 - 4*c_1001_11^18 + c_1001_11^17 + 11*c_1001_11^16 - 14*c_1001_11^15 - 10*c_1001_11^14 + 15*c_1001_11^13 + 32*c_1001_11^12 - 10*c_1001_11^11 - 70*c_1001_11^10 - 2*c_1001_11^9 + 113*c_1001_11^8 - 6*c_1001_11^7 - 99*c_1001_11^6 - 2*c_1001_11^5 + 68*c_1001_11^4 - c_1001_11^3 - 19*c_1001_11^2 - 13*c_1001_11 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.160 Total time: 0.360 seconds, Total memory usage: 32.09MB