Magma V2.19-8 Tue Aug 20 2013 23:49:30 on localhost [Seed = 2067599756] Type ? for help. Type -D to quit. Loading file "K11n3__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n3 geometric_solution 11.56335431 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 3012 0132 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 -1 1 -7 0 7 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.220387194943 0.933313032353 0 0 5 4 0132 1230 0132 0132 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 -7 7 0 7 0 0 -7 -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.527168143139 0.631099046914 6 0 7 6 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.741991944629 0.517515371797 8 7 0 9 0132 0132 0132 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 -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.218995321054 0.322586848088 8 10 1 11 3120 0132 0132 0132 0 0 0 0 0 1 0 -1 -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 8 0 -8 -8 0 7 1 0 0 0 0 8 -7 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.448085536256 0.899048081528 11 9 12 1 0132 1302 0132 0132 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 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.966344816560 0.628894476514 2 2 7 9 0132 1302 3120 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.093334150511 0.632370091873 12 3 6 2 0321 0132 3120 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 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 1.678243381789 0.915268538730 3 11 10 4 0132 0321 2031 3120 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 8 0 -8 0 0 -8 8 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.920218822448 0.693350497701 10 6 3 5 2031 2310 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.775274744595 1.576052439280 12 4 9 8 2103 0132 1302 1302 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 -8 0 8 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.026384818422 0.511997789816 5 12 4 8 0132 0132 0132 0321 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 8 -8 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.607846871575 0.532456831370 7 11 10 5 0321 0132 2103 0132 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 7 -7 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.590494168448 0.755397577506 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_11'], 'c_1001_11' : d['c_0110_9'], 'c_1001_10' : d['c_0110_9'], 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : d['c_0110_9'], 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_6']), 'c_1001_8' : negation(d['c_0110_10']), 'c_1010_12' : d['c_0110_9'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_0101_0'], 's_0_10' : d['1'], 's_0_11' : 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' : d['c_0101_1'], 'c_0101_10' : negation(d['c_0011_9']), '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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_1001_1']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_0110_10']), 'c_1100_4' : negation(d['c_0110_10']), 'c_1100_7' : negation(d['c_0101_6']), 'c_1100_6' : negation(d['c_0011_9']), 'c_1100_1' : negation(d['c_0110_10']), 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_0101_6']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_10']), 'c_1100_10' : d['c_0101_8'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0110_9'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : d['c_0011_10'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : 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_0110_10']), 's_1_7' : d['1'], 's_1_6' : negation(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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : 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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_3'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0011_3'], 'c_0101_12' : negation(d['c_0011_9']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_9'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_0'])})} 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_3, c_0011_9, c_0101_0, c_0101_1, c_0101_6, c_0101_8, c_0110_10, c_0110_9, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 14721488764712249255720703/292799738349526018668440*c_1001_2^26 - 146018516298470330272732913/292799738349526018668440*c_1001_2^25 + 825665172293236422268178807/292799738349526018668440*c_1001_2^24 - 658722777327623155665772383/58559947669905203733688*c_1001_2^23 + 10228528625636905925300623879/292799738349526018668440*c_1001_2^22 - 306708179515983243795879927/3444702804112070807864*c_1001_2^21 + 2821451048503140689344980295/14639986917476300933422*c_1001_2^20 - 106440716303752532288346365417/292799738349526018668440*c_1001_2^19 + 89157510858375017052102185403/146399869174763009334220*c_1001_2^1\ 8 - 269473529002943464151319818783/292799738349526018668440*c_1001_\ 2^17 + 18567432819561411353773596435/14639986917476300933422*c_1001\ _2^16 - 94018687569227755511923612905/58559947669905203733688*c_100\ 1_2^15 + 548669767267624115552810750873/292799738349526018668440*c_\ 1001_2^14 - 295506790838249464408647586769/146399869174763009334220\ *c_1001_2^13 + 293786677735658932597367681799/146399869174763009334\ 220*c_1001_2^12 - 107620213228390879173266005565/585599476699052037\ 33688*c_1001_2^11 + 453076051413546389428561560083/2927997383495260\ 18668440*c_1001_2^10 - 86983184953936829689949361059/73199934587381\ 504667110*c_1001_2^9 + 48217535618753804742721430057/58559947669905\ 203733688*c_1001_2^8 - 146894802998808777074631914023/2927997383495\ 26018668440*c_1001_2^7 + 76390199435735988409690001199/292799738349\ 526018668440*c_1001_2^6 - 1867883324333461004734393993/172235140205\ 60354039320*c_1001_2^5 + 1209329424162647502299193513/3659996729369\ 0752333555*c_1001_2^4 - 290880615110928765217697017/585599476699052\ 03733688*c_1001_2^3 - 490578382706491713546069/96953555744876165122\ 0*c_1001_2^2 + 140876848014137515779841737/292799738349526018668440\ *c_1001_2 + 692178709490541059205759/14639986917476300933422, c_0011_0 - 1, c_0011_10 + 24033015068/67194140605*c_1001_2^26 - 315505793264/67194140605*c_1001_2^25 + 4382008682821/134388281210*c_1001_2^24 - 10437286610409/67194140605*c_1001_2^23 + 75856739940053/134388281210*c_1001_2^22 - 111332906532868/67194140605*c_1001_2^21 + 109566519179087/26877656242*c_1001_2^20 - 580012389722082/67194140605*c_1001_2^19 + 215773177014914/13438828121*c_1001_2^18 - 716895571189867/26877656242*c_1001_2^17 + 5388574201594217/134388281210*c_1001_2^16 - 740434802101858/13438828121*c_1001_2^15 + 4680435301200338/67194140605*c_1001_2^14 - 10926770838733643/134388281210*c_1001_2^13 + 5894962835924004/67194140605*c_1001_2^12 - 5877552905100376/67194140605*c_1001_2^11 + 5408563417656203/67194140605*c_1001_2^10 - 9160346581036689/134388281210*c_1001_2^9 + 3549002420004952/67194140605*c_1001_2^8 - 2486544055906083/67194140605*c_1001_2^7 + 618062348337953/26877656242*c_1001_2^6 - 825615845867339/67194140605*c_1001_2^5 + 726004538941047/134388281210*c_1001_2^4 - 121824476052788/67194140605*c_1001_2^3 + 26728151330932/67194140605*c_1001_2^2 - 3748064638379/134388281210*c_1001_2 - 1251295857113/134388281210, c_0011_11 + 70304905427/67194140605*c_1001_2^26 - 796794661849/67194140605*c_1001_2^25 + 9924055025403/134388281210*c_1001_2^24 - 21620617802288/67194140605*c_1001_2^23 + 145674092999159/134388281210*c_1001_2^22 - 40081425963530/13438828121*c_1001_2^21 + 932718813667781/134388281210*c_1001_2^20 - 188301542708568/13438828121*c_1001_2^19 + 336245269986985/13438828121*c_1001_2^18 - 5393520795148923/134388281210*c_1001_2^17 + 7864815234369339/134388281210*c_1001_2^16 - 5257933059603509/67194140605*c_1001_2^15 + 6481402611446603/67194140605*c_1001_2^14 - 14770496599425751/134388281210*c_1001_2^13 + 7784718791360124/67194140605*c_1001_2^12 - 7586796183230506/67194140605*c_1001_2^11 + 6825818807406707/67194140605*c_1001_2^10 - 11297881592546367/134388281210*c_1001_2^9 + 4270278472331793/67194140605*c_1001_2^8 - 2910214400521176/67194140605*c_1001_2^7 + 3503050942852573/134388281210*c_1001_2^6 - 901951201055583/67194140605*c_1001_2^5 + 758491821663983/134388281210*c_1001_2^4 - 23980029960080/13438828121*c_1001_2^3 + 23589346614511/67194140605*c_1001_2^2 - 1589711255919/134388281210*c_1001_2 - 1442560767933/134388281210, c_0011_3 + 146797249123/134388281210*c_1001_2^26 - 1642965957229/134388281210*c_1001_2^25 + 10175012367859/134388281210*c_1001_2^24 - 44149625718239/134388281210*c_1001_2^23 + 148287927318313/134388281210*c_1001_2^22 - 407031820762079/134388281210*c_1001_2^21 + 472666979064891/67194140605*c_1001_2^20 - 381078975631743/26877656242*c_1001_2^19 + 1698819702850876/67194140605*c_1001_2^18 - 5443474566515807/134388281210*c_1001_2^17 + 3964594359761218/67194140605*c_1001_2^16 - 10591924343378741/134388281210*c_1001_2^15 + 13045085378268637/134388281210*c_1001_2^14 - 1485179231223021/13438828121*c_1001_2^13 + 7821386336019582/67194140605*c_1001_2^12 - 15232919141361127/134388281210*c_1001_2^11 + 13695211709446073/134388281210*c_1001_2^10 - 5662587904554896/67194140605*c_1001_2^9 + 8555426601247433/134388281210*c_1001_2^8 - 5825577518959099/134388281210*c_1001_2^7 + 3503747688941209/134388281210*c_1001_2^6 - 1802860424005481/134388281210*c_1001_2^5 + 379107793885521/67194140605*c_1001_2^4 - 240224856867939/134388281210*c_1001_2^3 + 23835626064042/67194140605*c_1001_2^2 - 371208221083/26877656242*c_1001_2 - 741627366984/67194140605, c_0011_9 - 1, c_0101_0 - 797526912307/268776562420*c_1001_2^26 + 8731834868603/268776562420*c_1001_2^25 - 2653176735347/13438828121*c_1001_2^24 + 226248465363959/268776562420*c_1001_2^23 - 74744058400155/26877656242*c_1001_2^22 + 2019900958500939/268776562420*c_1001_2^21 - 4622830753592487/268776562420*c_1001_2^20 + 9191105179824291/268776562420*c_1001_2^19 - 1618326088449701/26877656242*c_1001_2^18 + 12813805551323793/134388281210*c_1001_2^17 - 36929845995205821/268776562420*c_1001_2^16 + 48830568467516141/268776562420*c_1001_2^15 - 59546286412744571/268776562420*c_1001_2^14 + 67122936900475829/268776562420*c_1001_2^13 - 34993969234580849/134388281210*c_1001_2^12 + 67451885479957347/268776562420*c_1001_2^11 - 59995617871182277/268776562420*c_1001_2^10 + 9809611260463295/53755312484*c_1001_2^9 - 36580025059103643/268776562420*c_1001_2^8 + 24533535261267023/268776562420*c_1001_2^7 - 3620665117253494/67194140605*c_1001_2^6 + 7280778289849699/268776562420*c_1001_2^5 - 2971340511552729/268776562420*c_1001_2^4 + 904027486567479/268776562420*c_1001_2^3 - 16657990653339/26877656242*c_1001_2^2 + 1626702394277/134388281210*c_1001_2 + 5805425412403/268776562420, c_0101_1 + 314075081633/134388281210*c_1001_2^26 - 1388526449309/53755312484*c_1001_2^25 + 42544281027279/268776562420*c_1001_2^24 - 182820851001521/268776562420*c_1001_2^23 + 608539430979777/268776562420*c_1001_2^22 - 1656473482030253/268776562420*c_1001_2^21 + 3817617028086827/268776562420*c_1001_2^20 - 3820437689283431/134388281210*c_1001_2^19 + 2707767414186521/53755312484*c_1001_2^18 - 5391943500464459/67194140605*c_1001_2^17 + 31254598588168539/268776562420*c_1001_2^16 - 20775247628072783/134388281210*c_1001_2^15 + 10187901556891075/53755312484*c_1001_2^14 - 57732993507239841/268776562420*c_1001_2^13 + 6053475513635637/26877656242*c_1001_2^12 - 2934129491683759/13438828121*c_1001_2^11 + 52517314265221051/268776562420*c_1001_2^10 - 43220097349911731/268776562420*c_1001_2^9 + 16238751331447617/134388281210*c_1001_2^8 - 21979641186800227/268776562420*c_1001_2^7 + 13123998087318821/268776562420*c_1001_2^6 - 6694620243987721/268776562420*c_1001_2^5 + 2785459487132817/268776562420*c_1001_2^4 - 434903499135079/134388281210*c_1001_2^3 + 168013378491041/268776562420*c_1001_2^2 - 262275896802/13438828121*c_1001_2 - 1134609029681/53755312484, c_0101_6 + 99915844819/134388281210*c_1001_2^26 - 569884129522/67194140605*c_1001_2^25 + 7148182667527/134388281210*c_1001_2^24 - 3135180397611/13438828121*c_1001_2^23 + 106309904982421/134388281210*c_1001_2^22 - 147174711997413/67194140605*c_1001_2^21 + 344587021312441/67194140605*c_1001_2^20 - 1399571095598729/134388281210*c_1001_2^19 + 502666926965951/26877656242*c_1001_2^18 - 2026659646270303/67194140605*c_1001_2^17 + 594102640898881/13438828121*c_1001_2^16 - 7983484981963241/134388281210*c_1001_2^15 + 4945042016935059/67194140605*c_1001_2^14 - 1132656929783104/13438828121*c_1001_2^13 + 6001209410627897/67194140605*c_1001_2^12 - 11762416101053291/134388281210*c_1001_2^11 + 5322891420608527/67194140605*c_1001_2^10 - 4433559031184269/67194140605*c_1001_2^9 + 6752923145358131/134388281210*c_1001_2^8 - 464272906500838/13438828121*c_1001_2^7 + 2826411091392291/134388281210*c_1001_2^6 - 147716560015011/13438828121*c_1001_2^5 + 317138886156969/67194140605*c_1001_2^4 - 206544705480901/134388281210*c_1001_2^3 + 42847515222523/134388281210*c_1001_2^2 - 1016556787831/67194140605*c_1001_2 - 671322461557/67194140605, c_0101_8 + 143880594609/67194140605*c_1001_2^26 - 1561862097794/67194140605*c_1001_2^25 + 7541795096255/53755312484*c_1001_2^24 - 15975781504907/26877656242*c_1001_2^23 + 524570248052177/268776562420*c_1001_2^22 - 704638002242573/134388281210*c_1001_2^21 + 3206915785430897/268776562420*c_1001_2^20 - 3170477343814481/134388281210*c_1001_2^19 + 5553017139009647/134388281210*c_1001_2^18 - 17499202749388543/268776562420*c_1001_2^17 + 5019132490562575/53755312484*c_1001_2^16 - 8257004216173234/67194140605*c_1001_2^15 + 2004428183010600/13438828121*c_1001_2^14 - 44973707389868217/268776562420*c_1001_2^13 + 11665036773689964/67194140605*c_1001_2^12 - 22366527697148963/134388281210*c_1001_2^11 + 9891549751593429/67194140605*c_1001_2^10 - 32148503624428317/268776562420*c_1001_2^9 + 11904452287477033/134388281210*c_1001_2^8 - 7916129347784011/134388281210*c_1001_2^7 + 9245056176397107/268776562420*c_1001_2^6 - 1145470577974351/67194140605*c_1001_2^5 + 1834921563711919/268776562420*c_1001_2^4 - 272308429959773/134388281210*c_1001_2^3 + 48587007000993/134388281210*c_1001_2^2 - 2130545085359/268776562420*c_1001_2 - 2877951859109/268776562420, c_0110_10 - 512068550323/268776562420*c_1001_2^26 + 5555443072671/268776562420*c_1001_2^25 - 3356254316689/26877656242*c_1001_2^24 + 142414805518487/268776562420*c_1001_2^23 - 117165259410906/67194140605*c_1001_2^22 + 1262555499665879/268776562420*c_1001_2^21 - 576478587905625/53755312484*c_1001_2^20 + 5720164954184007/268776562420*c_1001_2^19 - 5029274601811259/134388281210*c_1001_2^18 + 3978799212313726/67194140605*c_1001_2^17 - 22923235773098823/268776562420*c_1001_2^16 + 6060994221611665/53755312484*c_1001_2^15 - 36958063539173023/268776562420*c_1001_2^14 + 41674400154130511/268776562420*c_1001_2^13 - 21740649894143493/134388281210*c_1001_2^12 + 41948044689677663/268776562420*c_1001_2^11 - 37365757302033893/268776562420*c_1001_2^10 + 30607487280918709/268776562420*c_1001_2^9 - 22889350269727571/268776562420*c_1001_2^8 + 15410786509468983/268776562420*c_1001_2^7 - 4576729590468051/134388281210*c_1001_2^6 + 929696704023771/53755312484*c_1001_2^5 - 386457260201987/53755312484*c_1001_2^4 + 609274767599099/268776562420*c_1001_2^3 - 61624573676491/134388281210*c_1001_2^2 + 354402394143/13438828121*c_1001_2 + 3396372459077/268776562420, c_0110_9 + 14402973820/13438828121*c_1001_2^26 - 3322233177127/268776562420*c_1001_2^25 + 4214154243939/53755312484*c_1001_2^24 - 93370015411843/268776562420*c_1001_2^23 + 319596433990417/268776562420*c_1001_2^22 - 892312286822639/268776562420*c_1001_2^21 + 2104396872052081/268776562420*c_1001_2^20 - 1074954828342906/67194140605*c_1001_2^19 + 7760492461683329/268776562420*c_1001_2^18 - 628336146807577/13438828121*c_1001_2^17 + 18480463029339537/268776562420*c_1001_2^16 - 6225696279273382/67194140605*c_1001_2^15 + 30924174827154437/268776562420*c_1001_2^14 - 7098054994512987/53755312484*c_1001_2^13 + 18838126782292981/134388281210*c_1001_2^12 - 3697776531546407/26877656242*c_1001_2^11 + 6701413533859497/53755312484*c_1001_2^10 - 27935517386896017/268776562420*c_1001_2^9 + 5322813153641853/67194140605*c_1001_2^8 - 14645664206909493/268776562420*c_1001_2^7 + 8913728425508489/268776562420*c_1001_2^6 - 4651727095165147/268776562420*c_1001_2^5 + 1990065361611227/268776562420*c_1001_2^4 - 161312448058671/67194140605*c_1001_2^3 + 133597269617781/268776562420*c_1001_2^2 - 1776444670233/67194140605*c_1001_2 - 743594768067/53755312484, c_1001_1 + 33455566502/13438828121*c_1001_2^26 - 3656700332087/134388281210*c_1001_2^25 + 22194256291561/134388281210*c_1001_2^24 - 94521599565043/134388281210*c_1001_2^23 + 311963576343151/134388281210*c_1001_2^22 - 168481968101219/26877656242*c_1001_2^21 + 1926949111827263/134388281210*c_1001_2^20 - 1915042811124716/67194140605*c_1001_2^19 + 6743558259529101/134388281210*c_1001_2^18 - 5340412434413111/67194140605*c_1001_2^17 + 15396221149123667/134388281210*c_1001_2^16 - 10183323284694042/67194140605*c_1001_2^15 + 24849337027918101/134388281210*c_1001_2^14 - 28029408882779421/134388281210*c_1001_2^13 + 14624604896139021/67194140605*c_1001_2^12 - 14108375775476463/67194140605*c_1001_2^11 + 5025378169265781/26877656242*c_1001_2^10 - 20569745731692147/134388281210*c_1001_2^9 + 7683324730200184/67194140605*c_1001_2^8 - 10328486148882029/134388281210*c_1001_2^7 + 6116502709436403/134388281210*c_1001_2^6 - 3089033784257969/134388281210*c_1001_2^5 + 1269297088153153/134388281210*c_1001_2^4 - 38989483765912/13438828121*c_1001_2^3 + 73208427359713/134388281210*c_1001_2^2 - 193660056884/13438828121*c_1001_2 - 2437759118049/134388281210, c_1001_2^27 - 11*c_1001_2^26 + 67*c_1001_2^25 - 286*c_1001_2^24 + 945*c_1001_2^23 - 2552*c_1001_2^22 + 5832*c_1001_2^21 - 11570*c_1001_2^20 + 20316*c_1001_2^19 - 32069*c_1001_2^18 + 46047*c_1001_2^17 - 60648*c_1001_2^16 + 73639*c_1001_2^15 - 82608*c_1001_2^14 + 85657*c_1001_2^13 - 82023*c_1001_2^12 + 72407*c_1001_2^11 - 58662*c_1001_2^10 + 43258*c_1001_2^9 - 28575*c_1001_2^8 + 16501*c_1001_2^7 - 8012*c_1001_2^6 + 3078*c_1001_2^5 - 824*c_1001_2^4 + 96*c_1001_2^3 + 23*c_1001_2^2 - 9*c_1001_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 84.860 Total time: 85.060 seconds, Total memory usage: 376.91MB