Magma V2.19-8 Tue Aug 20 2013 23:38:42 on localhost [Seed = 1326000898] Type ? for help. Type -D to quit. Loading file "K11a140__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11a140 geometric_solution 10.62749618 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 12 1 1 2 2 0132 1230 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 1 0 -1 0 0 0 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.628661380096 1.239559279255 0 3 0 4 0132 0132 3012 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 -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.674559139347 0.641686051416 5 0 5 0 0132 1302 3012 0132 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 1 0 -1 -11 1 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.674559139347 0.641686051416 6 1 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 1 -1 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.366939873871 0.705234580253 5 8 1 8 2103 0132 0132 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 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.858957054482 0.327611485553 2 2 4 9 0132 1230 2103 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 -1 1 11 -10 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.628661380096 1.239559279255 3 3 11 10 0132 1302 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 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.419399562324 1.115876292321 8 8 9 3 2103 0321 2031 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 -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.900729082250 1.920194210869 4 4 7 7 3201 0132 2103 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.776441701773 0.248591723639 11 10 5 7 0321 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.419399562324 1.115876292321 11 9 6 11 1302 0132 0132 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 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.524385575056 0.365407461214 9 10 10 6 0321 2031 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 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.187822442338 0.738401160544 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_1001_3'], 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_0011_4'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0011_2'], 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : d['c_0011_7'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0101_11']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_11']), '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_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' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_7'], 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_7' : negation(d['c_1001_10']), 'c_1100_6' : d['c_0110_10'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_1001_10']), 'c_1100_2' : negation(d['c_0011_4']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_7'], 'c_1100_11' : d['c_0110_10'], 'c_1100_10' : d['c_0110_10'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : negation(d['c_0101_11']), 'c_1010_4' : d['c_0011_7'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : d['c_0011_2'], 'c_1010_9' : d['c_1001_10'], 'c_1010_8' : d['c_1001_3'], 'c_1100_8' : d['c_0011_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' : 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'], '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' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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' : d['c_0011_2'], 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0110_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_11']), 'c_0101_2' : negation(d['c_0101_11']), 'c_0101_1' : d['c_0011_2'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_11']), 'c_0101_8' : d['c_0101_7'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : negation(d['c_0011_7']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_2'], 'c_0110_3' : d['c_0011_10'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_11']), 'c_0110_4' : negation(d['c_0101_7']), 'c_0110_7' : negation(d['c_0011_11']), 'c_0110_6' : negation(d['c_0011_11'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_2, c_0011_4, c_0011_7, c_0101_0, c_0101_11, c_0101_7, c_0110_10, c_1001_10, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 190778622764969535344654945/251657025681729498514039972*c_1001_3^31 - 8491080289899061503940527/3400770617320668898838378*c_1001_3^30 + 2450016841021061654461517947/125828512840864749257019986*c_1001_3^2\ 9 - 6746344368977599642795340629/125828512840864749257019986*c_1001\ _3^28 + 55129647946857353613828285371/251657025681729498514039972*c\ _1001_3^27 - 128146066601100302499334669307/25165702568172949851403\ 9972*c_1001_3^26 + 89777911250405051873356710761/629142564204323746\ 28509993*c_1001_3^25 - 101173244519171117339730500881/3595100366881\ 8499787719996*c_1001_3^24 + 107496247196997608811516512185/17975501\ 834409249893859998*c_1001_3^23 - 2520937220091462388679726573923/25\ 1657025681729498514039972*c_1001_3^22 + 4256918721536115775607112023075/251657025681729498514039972*c_1001_\ 3^21 - 3019676315560396743954446234335/125828512840864749257019986*\ c_1001_3^20 + 1182576245616717057695708341381/359510036688184997877\ 19996*c_1001_3^19 - 9865351781844609924431163937161/251657025681729\ 498514039972*c_1001_3^18 + 2754822960453112377035457761485/62914256\ 420432374628509993*c_1001_3^17 - 1548386162498121350044399344155/35\ 951003668818499787719996*c_1001_3^16 + 2429356708287305653335857909688/62914256420432374628509993*c_1001_3\ ^15 - 7584929580824140977451823389279/251657025681729498514039972*c\ _1001_3^14 + 5175929150148137246405467490925/2516570256817294985140\ 39972*c_1001_3^13 - 720230871233290461078645666327/6291425642043237\ 4628509993*c_1001_3^12 + 1229382617768563137660126973787/2516570256\ 81729498514039972*c_1001_3^11 - 7524719868799335872177008771/680154\ 1234641337797676756*c_1001_3^10 - 19714165956179994162068171173/125\ 828512840864749257019986*c_1001_3^9 + 8874896744754321712389655615/251657025681729498514039972*c_1001_3^8 + 110326194140656613799738537093/251657025681729498514039972*c_1001\ _3^7 - 1183041454769402241107977329/1634136530400840899441818*c_100\ 1_3^6 + 165057477589173037702536125375/251657025681729498514039972*\ c_1001_3^5 - 400668116916177659067273171/971648747805905399668108*c\ _1001_3^4 + 12298125579664536158617454840/6291425642043237462850999\ 3*c_1001_3^3 - 14415942817920655785954941757/2516570256817294985140\ 39972*c_1001_3^2 + 2817408641060284965635261169/2516570256817294985\ 14039972*c_1001_3 - 87266729900335103313299235/12582851284086474925\ 7019986, c_0011_0 - 1, c_0011_10 - 1133557187510/429916286959*c_1001_3^31 + 88823665974/11619359107*c_1001_3^30 - 28053912776482/429916286959*c_1001_3^29 + 69826232885924/429916286959*c_1001_3^28 - 305753158522858/429916286959*c_1001_3^27 + 656081266037724/429916286959*c_1001_3^26 - 1937503074333362/429916286959*c_1001_3^25 + 3588685042323900/429916286959*c_1001_3^24 - 7931098805595360/429916286959*c_1001_3^23 + 12662758641877472/429916286959*c_1001_3^22 - 22023297861602244/429916286959*c_1001_3^21 + 30184086507540792/429916286959*c_1001_3^20 - 42362493019356518/429916286959*c_1001_3^19 + 49451946313762612/429916286959*c_1001_3^18 - 56521546288854482/429916286959*c_1001_3^17 + 55397858118105148/429916286959*c_1001_3^16 - 51270249496800609/429916286959*c_1001_3^15 + 40999572875040696/429916286959*c_1001_3^14 - 29858090454763458/429916286959*c_1001_3^13 + 18271765173595868/429916286959*c_1001_3^12 - 9651336957827442/429916286959*c_1001_3^11 + 104125845849996/11619359107*c_1001_3^10 - 1229579501438048/429916286959*c_1001_3^9 + 446273312582832/429916286959*c_1001_3^8 - 500152362211450/429916286959*c_1001_3^7 + 740071800262180/429916286959*c_1001_3^6 - 716693910080812/429916286959*c_1001_3^5 + 15198197152850/11619359107*c_1001_3^4 - 360564129922534/429916286959*c_1001_3^3 + 160868776034080/429916286959*c_1001_3^2 - 69118843623658/429916286959*c_1001_3 + 11667004780974/429916286959, c_0011_11 - 959260986970/429916286959*c_1001_3^31 + 76806268658/11619359107*c_1001_3^30 - 23885250540902/429916286959*c_1001_3^29 + 60535646845988/429916286959*c_1001_3^28 - 261698466404566/429916286959*c_1001_3^27 + 570067247136332/429916286959*c_1001_3^26 - 1665788848361252/429916286959*c_1001_3^25 + 3123704558301218/429916286959*c_1001_3^24 - 6843471654423010/429916286959*c_1001_3^23 + 11034121195291132/429916286959*c_1001_3^22 - 19051966746667500/429916286959*c_1001_3^21 + 26306671092612722/429916286959*c_1001_3^20 - 36694477633900912/429916286959*c_1001_3^19 + 43055096644209712/429916286959*c_1001_3^18 - 48944865322604680/429916286959*c_1001_3^17 + 48106657332396457/429916286959*c_1001_3^16 - 44293537488089788/429916286959*c_1001_3^15 + 35435957428673501/429916286959*c_1001_3^14 - 25654805866681060/429916286959*c_1001_3^13 + 15665248657642813/429916286959*c_1001_3^12 - 8195402431742992/429916286959*c_1001_3^11 + 88014369333842/11619359107*c_1001_3^10 - 1021908247906264/429916286959*c_1001_3^9 + 390208328124573/429916286959*c_1001_3^8 - 447495607741456/429916286959*c_1001_3^7 + 647799644575450/429916286959*c_1001_3^6 - 625460017136872/429916286959*c_1001_3^5 + 13053125410480/11619359107*c_1001_3^4 - 307542708533598/429916286959*c_1001_3^3 + 138109519198600/429916286959*c_1001_3^2 - 57140971319754/429916286959*c_1001_3 + 10370175603369/429916286959, c_0011_2 + 1206381253346/429916286959*c_1001_3^31 - 90578308450/11619359107*c_1001_3^30 + 29272061963526/429916286959*c_1001_3^29 - 70426313047924/429916286959*c_1001_3^28 + 313146488447270/429916286959*c_1001_3^27 - 653850945201572/429916286959*c_1001_3^26 + 1948719097457900/429916286959*c_1001_3^25 - 3529851142354824/429916286959*c_1001_3^24 + 7833450140381942/429916286959*c_1001_3^23 - 12275791554486580/429916286959*c_1001_3^22 + 21349994676945059/429916286959*c_1001_3^21 - 28793818157340634/429916286959*c_1001_3^20 + 40270962864538888/429916286959*c_1001_3^19 - 46332256554671252/429916286959*c_1001_3^18 + 52616769326948081/429916286959*c_1001_3^17 - 50854851271352530/429916286959*c_1001_3^16 + 46642048486928934/429916286959*c_1001_3^15 - 36742434465917680/429916286959*c_1001_3^14 + 26448281765145520/429916286959*c_1001_3^13 - 15875574819769952/429916286959*c_1001_3^12 + 8268308448742908/429916286959*c_1001_3^11 - 86864860708984/11619359107*c_1001_3^10 + 1041241629180989/429916286959*c_1001_3^9 - 429226228266312/429916286959*c_1001_3^8 + 494012054479242/429916286959*c_1001_3^7 - 696722957687524/429916286959*c_1001_3^6 + 650706411123689/429916286959*c_1001_3^5 - 13398664838808/11619359107*c_1001_3^4 + 314758454189278/429916286959*c_1001_3^3 - 135138087339116/429916286959*c_1001_3^2 + 57957403432843/429916286959*c_1001_3 - 9232595639820/429916286959, c_0011_4 + 618504160362/429916286959*c_1001_3^31 - 52315819618/11619359107*c_1001_3^30 + 15673516029462/429916286959*c_1001_3^29 - 41363966909764/429916286959*c_1001_3^28 + 174130486699886/429916286959*c_1001_3^27 - 390772442505652/429916286959*c_1001_3^26 + 1121054534519116/429916286959*c_1001_3^25 - 2148442846634504/429916286959*c_1001_3^24 + 4650123957896558/429916286959*c_1001_3^23 - 7617146431851300/429916286959*c_1001_3^22 + 13057016600473140/429916286959*c_1001_3^21 - 18237846610588289/429916286959*c_1001_3^20 + 25352861118036314/429916286959*c_1001_3^19 - 30005724982193087/429916286959*c_1001_3^18 + 34100681463796582/429916286959*c_1001_3^17 - 33756710962846461/429916286959*c_1001_3^16 + 31155904029667676/429916286959*c_1001_3^15 - 25109697660550312/429916286959*c_1001_3^14 + 18271470231101708/429916286959*c_1001_3^13 - 11277363634460308/429916286959*c_1001_3^12 + 5954950541698500/429916286959*c_1001_3^11 - 65343081358733/11619359107*c_1001_3^10 + 770543929833784/429916286959*c_1001_3^9 - 279778130222611/429916286959*c_1001_3^8 + 307102646784072/429916286959*c_1001_3^7 - 446074937065016/429916286959*c_1001_3^6 + 439585638691832/429916286959*c_1001_3^5 - 9341345556155/11619359107*c_1001_3^4 + 220436421319008/429916286959*c_1001_3^3 - 101842822168021/429916286959*c_1001_3^2 + 42118781705748/429916286959*c_1001_3 - 8146361027857/429916286959, c_0011_7 - 856643993822/429916286959*c_1001_3^31 + 70230654678/11619359107*c_1001_3^30 - 21366383730098/429916286959*c_1001_3^29 + 55120720465148/429916286959*c_1001_3^28 - 234233640874898/429916286959*c_1001_3^27 + 516936761539444/429916286959*c_1001_3^26 - 1490617566432212/429916286959*c_1001_3^25 + 2821306966820096/429916286959*c_1001_3^24 - 6118946443348242/429916286959*c_1001_3^23 + 9928423390438270/429916286959*c_1001_3^22 - 17015062678258520/429916286959*c_1001_3^21 + 23588319077718460/429916286959*c_1001_3^20 - 32726422791727924/429916286959*c_1001_3^19 + 38485866927848291/429916286959*c_1001_3^18 - 43588770678015578/429916286959*c_1001_3^17 + 42885509034557273/429916286959*c_1001_3^16 - 39388541508540924/429916286959*c_1001_3^15 + 31520874987541392/429916286959*c_1001_3^14 - 22779611957733316/429916286959*c_1001_3^13 + 13914874841023277/429916286959*c_1001_3^12 - 7266846891501020/429916286959*c_1001_3^11 + 78232713089939/11619359107*c_1001_3^10 - 908900713705796/429916286959*c_1001_3^9 + 349142603408141/429916286959*c_1001_3^8 - 401739867194180/429916286959*c_1001_3^7 + 574858599741278/429916286959*c_1001_3^6 - 556741354145976/429916286959*c_1001_3^5 + 11614476974734/11619359107*c_1001_3^4 - 272087828778664/429916286959*c_1001_3^3 + 123222718613995/429916286959*c_1001_3^2 - 50287016442622/429916286959*c_1001_3 + 9272569436423/429916286959, c_0101_0 + 350757812974/429916286959*c_1001_3^31 - 28330160966/11619359107*c_1001_3^30 + 8891428863242/429916286959*c_1001_3^29 - 22755610686884/429916286959*c_1001_3^28 + 99327154880474/429916286959*c_1001_3^27 - 218673296581284/429916286959*c_1001_3^26 + 645719915765220/429916286959*c_1001_3^25 - 1224771468977832/429916286959*c_1001_3^24 + 2714744347967258/429916286959*c_1001_3^23 - 4431759178245411/429916286959*c_1001_3^22 + 7753675013242430/429916286959*c_1001_3^21 - 10854337205453485/429916286959*c_1001_3^20 + 15371240766516286/429916286959*c_1001_3^19 - 18322373505799368/429916286959*c_1001_3^18 + 21200696258319704/429916286959*c_1001_3^17 - 21239029166940901/429916286959*c_1001_3^16 + 19980875112682236/429916286959*c_1001_3^15 - 16391965890659932/429916286959*c_1001_3^14 + 12210208340027996/429916286959*c_1001_3^13 - 7744850662972644/429916286959*c_1001_3^12 + 4237263824252460/429916286959*c_1001_3^11 - 48750825942254/11619359107*c_1001_3^10 + 601405056440480/429916286959*c_1001_3^9 - 192314420589081/429916286959*c_1001_3^8 + 173835302169548/429916286959*c_1001_3^7 - 271616570900041/429916286959*c_1001_3^6 + 279064835907504/429916286959*c_1001_3^5 - 6240986853401/11619359107*c_1001_3^4 + 152902458095996/429916286959*c_1001_3^3 - 72940775359952/429916286959*c_1001_3^2 + 32049277292032/429916286959*c_1001_3 - 6939979774511/429916286959, c_0101_11 - 1, c_0101_7 + c_1001_3, c_0110_10 - 1565985009421/429916286959*c_1001_3^31 + 118934458400/11619359107*c_1001_3^30 - 38222185354700/429916286959*c_1001_3^29 + 92891779529116/429916286959*c_1001_3^28 - 411417224058092/429916286959*c_1001_3^27 + 866801991949020/429916286959*c_1001_3^26 - 2577169451887104/429916286959*c_1001_3^25 + 4706470190475080/429916286959*c_1001_3^24 - 10434533944338764/429916286959*c_1001_3^23 + 16476326971408780/429916286959*c_1001_3^22 - 28668734723787728/429916286959*c_1001_3^21 + 38945184752351632/429916286959*c_1001_3^20 - 54573379719851056/429916286959*c_1001_3^19 + 63239638227307784/429916286959*c_1001_3^18 - 72069393027671016/429916286959*c_1001_3^17 + 70182272933744992/429916286959*c_1001_3^16 - 64714520398740216/429916286959*c_1001_3^15 + 51427094638230604/429916286959*c_1001_3^14 - 37312792998378888/429916286959*c_1001_3^13 + 22674847114348552/429916286959*c_1001_3^12 - 11953977879695416/429916286959*c_1001_3^11 + 128299672587608/11619359107*c_1001_3^10 - 1545667418814168/429916286959*c_1001_3^9 + 593409631953864/429916286959*c_1001_3^8 - 656292249007084/429916286959*c_1001_3^7 + 943875825237948/429916286959*c_1001_3^6 - 902699246916728/429916286959*c_1001_3^5 + 18900478292444/11619359107*c_1001_3^4 - 448178489527372/429916286959*c_1001_3^3 + 198474208513180/429916286959*c_1001_3^2 - 85186563989744/429916286959*c_1001_3 + 15396746136576/429916286959, c_1001_10 + 1073456908462/429916286959*c_1001_3^31 - 84509428422/11619359107*c_1001_3^30 + 26606677655618/429916286959*c_1001_3^29 - 66510714888380/429916286959*c_1001_3^28 + 290285741622882/429916286959*c_1001_3^27 - 625357708445550/429916286959*c_1001_3^26 + 1840513668570552/429916286959*c_1001_3^25 - 3421097376840948/429916286959*c_1001_3^24 + 7534016681413338/429916286959*c_1001_3^23 - 12065109413267268/429916286959*c_1001_3^22 + 20906740586909348/429916286959*c_1001_3^21 - 28721954094276224/429916286959*c_1001_3^20 + 40156980833105100/429916286959*c_1001_3^19 - 46952148449638230/429916286959*c_1001_3^18 + 53453237450028012/429916286959*c_1001_3^17 - 52424918753898738/429916286959*c_1001_3^16 + 48318856100946292/429916286959*c_1001_3^15 - 38621058989826543/429916286959*c_1001_3^14 + 27995644590767032/429916286959*c_1001_3^13 - 17102368108038191/429916286959*c_1001_3^12 + 8976727917834020/429916286959*c_1001_3^11 - 96816016896698/11619359107*c_1001_3^10 + 1137879300328392/429916286959*c_1001_3^9 - 436430530292943/429916286959*c_1001_3^8 + 487311152486156/429916286959*c_1001_3^7 - 706458850751478/429916286959*c_1001_3^6 + 679781832486862/429916286959*c_1001_3^5 - 14214807270778/11619359107*c_1001_3^4 + 337111540001198/429916286959*c_1001_3^3 - 150606793075662/429916286959*c_1001_3^2 + 63610881538940/429916286959*c_1001_3 - 11503732790879/429916286959, c_1001_3^32 - 3*c_1001_3^31 + 25*c_1001_3^30 - 64*c_1001_3^29 + 275*c_1001_3^28 - 604*c_1001_3^27 + 1758*c_1001_3^26 - 3320*c_1001_3^25 + 7259*c_1001_3^24 - 11780*c_1001_3^23 + 20338*c_1001_3^22 - 28264*c_1001_3^21 + 39502*c_1001_3^20 - 46680*c_1001_3^19 + 53300*c_1001_3^18 - 52848*c_1001_3^17 + 49039*c_1001_3^16 - 39720*c_1001_3^15 + 29150*c_1001_3^14 - 18184*c_1001_3^13 + 9782*c_1001_3^12 - 4088*c_1001_3^11 + 1372*c_1001_3^10 - 496*c_1001_3^9 + 482*c_1001_3^8 - 688*c_1001_3^7 + 684*c_1001_3^6 - 544*c_1001_3^5 + 356*c_1001_3^4 - 168*c_1001_3^3 + 72*c_1001_3^2 - 16*c_1001_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.980 Total time: 1.189 seconds, Total memory usage: 32.09MB