Magma V2.19-8 Wed Aug 21 2013 00:21:46 on localhost [Seed = 2260767981] Type ? for help. Type -D to quit. Loading file "K14n11194__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n11194 geometric_solution 12.37722516 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 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 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.410800583877 0.976217935015 0 5 6 6 0132 0132 0213 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 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.358969771285 0.875172036027 7 0 8 3 0132 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 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.540557651415 0.995599150276 9 4 2 0 0132 1302 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 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.661884101164 0.834009908008 10 11 0 3 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 -1 1 0 0 0 0 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.475876230918 0.658922986981 7 1 9 10 1023 0132 0213 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 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.573322392075 0.871842823645 8 1 1 12 2103 0213 0132 0132 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 -2 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.544701950960 0.743659025886 2 5 11 12 0132 1023 3120 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.644023348869 0.546065607157 9 10 6 2 2103 1302 2103 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 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.710335359684 0.569778681107 3 5 8 12 0132 0213 2103 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.249150836557 1.327673259684 4 5 11 8 0132 0321 2031 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 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.296893987893 0.690374845395 12 4 7 10 3120 0132 3120 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 0 0 0 0 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.252876038750 0.714538898094 9 7 6 11 3201 0321 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.872389812111 1.217692548260 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_12'], 'c_1001_11' : d['c_0011_3'], 'c_1001_10' : negation(d['c_0110_11']), 'c_1001_12' : negation(d['c_0101_11']), 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0011_8'], 'c_1001_1' : d['c_0011_8'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_10'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_8'], 'c_1001_8' : d['c_0011_6'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_0011_8'], '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_11'], 'c_0101_10' : d['c_0101_10'], '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' : 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' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_11']), 'c_1100_4' : negation(d['c_1001_0']), 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : negation(d['c_1001_0']), 'c_1100_3' : negation(d['c_1001_0']), 'c_1100_2' : negation(d['c_0101_12']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_12'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_1001_2']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_8'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0110_11']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : 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'], 'c_1100_12' : negation(d['c_0101_11']), 's_1_7' : d['1'], 's_1_6' : 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_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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_0110_11'], 'c_0110_10' : d['c_0011_6'], 'c_0110_12' : d['c_0110_11'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : negation(d['c_0101_12']), 'c_0101_2' : negation(d['c_0011_12']), 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_12']), 'c_0110_8' : negation(d['c_0011_12']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_6'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_10']), 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_12']), 'c_1100_8' : negation(d['c_0101_12'])})} 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_12, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0110_11, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 107514567396305577933258551640907/83281396944205025240841860607*c_1\ 001_2^17 + 303180677336371547063768550810688/8328139694420502524084\ 1860607*c_1001_2^16 - 3899828843426190020794500613674671/8328139694\ 4205025240841860607*c_1001_2^15 - 117333869926748754121033621622124\ 8/83281396944205025240841860607*c_1001_2^14 - 14559029478683141256157462487002366/83281396944205025240841860607*c\ _1001_2^13 - 47283822788653296023123723776368563/832813969442050252\ 40841860607*c_1001_2^12 - 24833023368413548765938125289029405/83281\ 396944205025240841860607*c_1001_2^11 - 27830948068737692058439843338428/83281396944205025240841860607*c_10\ 01_2^10 + 1222923125771037554142363891746804/4383231418116053960044\ 308453*c_1001_2^9 + 75528109182840434241484733234264393/83281396944\ 205025240841860607*c_1001_2^8 + 17006817845671062552846105458185429\ /27760465648068341746947286869*c_1001_2^7 + 2965308690226952581321396254511342/83281396944205025240841860607*c_\ 1001_2^6 - 11993294521495068803878170620346046/83281396944205025240\ 841860607*c_1001_2^5 - 5715200995818098069224087253660561/277604656\ 48068341746947286869*c_1001_2^4 - 529890162071120818795437997608800\ 2/83281396944205025240841860607*c_1001_2^3 + 2757837691210010248394882513723870/83281396944205025240841860607*c_\ 1001_2^2 + 315835179626204400748592801056742/2776046564806834174694\ 7286869*c_1001_2 + 280652734662138219907275585554087/27760465648068\ 341746947286869, c_0011_0 - 1, c_0011_10 - 13543208015267449995952/25731796540603687618771*c_1001_2^17 + 91557509186507783909416/77195389621811062856313*c_1001_2^16 - 476460019413345562760002/25731796540603687618771*c_1001_2^15 - 1246359861533971205184238/77195389621811062856313*c_1001_2^14 - 6451286872531025550777773/77195389621811062856313*c_1001_2^13 - 22109349199323134140516522/77195389621811062856313*c_1001_2^12 - 23495142696559545659323229/77195389621811062856313*c_1001_2^11 - 6405419562384796213554155/25731796540603687618771*c_1001_2^10 - 12490522144551416067536374/77195389621811062856313*c_1001_2^9 + 3344813126757860739348844/25731796540603687618771*c_1001_2^8 + 14597543073144106008303463/77195389621811062856313*c_1001_2^7 + 4780966816183788831480226/77195389621811062856313*c_1001_2^6 + 68283542365833417811562/25731796540603687618771*c_1001_2^5 - 2995771939590751066944023/77195389621811062856313*c_1001_2^4 - 1765405405767863903625212/77195389621811062856313*c_1001_2^3 + 288975305597607671876924/77195389621811062856313*c_1001_2^2 + 19913477463472505770171/25731796540603687618771*c_1001_2 + 25175372455289150930311/25731796540603687618771, c_0011_12 + 22049845114154096607895/25731796540603687618771*c_1001_2^17 - 56430683163887354314817/25731796540603687618771*c_1001_2^16 + 2373717713946990237779399/77195389621811062856313*c_1001_2^15 + 1312368033374222782194949/77195389621811062856313*c_1001_2^14 + 3307465678759875598473113/25731796540603687618771*c_1001_2^13 + 32705134494333230508076247/77195389621811062856313*c_1001_2^12 + 27269305164312734537419346/77195389621811062856313*c_1001_2^11 + 6513144118747336834473105/25731796540603687618771*c_1001_2^10 + 3158207079031966148668982/25731796540603687618771*c_1001_2^9 - 24638222017830751918462415/77195389621811062856313*c_1001_2^8 - 20866178056058243746946629/77195389621811062856313*c_1001_2^7 - 783683731641835710391931/25731796540603687618771*c_1001_2^6 + 1857595028897807219535668/77195389621811062856313*c_1001_2^5 + 6255043196855309109050737/77195389621811062856313*c_1001_2^4 + 2301353724258180810073327/77195389621811062856313*c_1001_2^3 - 1105894909615377905716439/77195389621811062856313*c_1001_2^2 + 5454630249956731986531/25731796540603687618771*c_1001_2 - 108916728471004413719722/25731796540603687618771, c_0011_3 + 8988557479421605428518/77195389621811062856313*c_1001_2^17 - 7200015066868674549199/25731796540603687618771*c_1001_2^16 + 319966702904680254737071/77195389621811062856313*c_1001_2^15 + 225531935038070408375024/77195389621811062856313*c_1001_2^14 + 1414610935581884461291366/77195389621811062856313*c_1001_2^13 + 4652074201628196594852734/77195389621811062856313*c_1001_2^12 + 1521588710352765825634339/25731796540603687618771*c_1001_2^11 + 3651162449496407911302301/77195389621811062856313*c_1001_2^10 + 648137897496389152605994/25731796540603687618771*c_1001_2^9 - 2788534328603342206071991/77195389621811062856313*c_1001_2^8 - 3152736937192731433265962/77195389621811062856313*c_1001_2^7 - 310844989420343797031306/25731796540603687618771*c_1001_2^6 + 362113732003437849378299/77195389621811062856313*c_1001_2^5 + 1032271637247234553054265/77195389621811062856313*c_1001_2^4 + 449075884884860161909279/77195389621811062856313*c_1001_2^3 - 8335396987791597386301/25731796540603687618771*c_1001_2^2 - 12378860092760547864201/25731796540603687618771*c_1001_2 - 33127159278061464121699/25731796540603687618771, c_0011_6 - 5657022887961501508065/25731796540603687618771*c_1001_2^17 + 50029207068340447108931/77195389621811062856313*c_1001_2^16 - 207931715362514929358895/25731796540603687618771*c_1001_2^15 - 105786641828016212707703/77195389621811062856313*c_1001_2^14 - 2337945248811164166586342/77195389621811062856313*c_1001_2^13 - 7380001989154589633184116/77195389621811062856313*c_1001_2^12 - 3393484486386508077487438/77195389621811062856313*c_1001_2^11 - 442411828879836032846393/25731796540603687618771*c_1001_2^10 + 314463903894761683020796/77195389621811062856313*c_1001_2^9 + 2722217887142613479019654/25731796540603687618771*c_1001_2^8 + 3457923465910578270625622/77195389621811062856313*c_1001_2^7 - 1881111293449150039228801/77195389621811062856313*c_1001_2^6 - 321974838608412243448658/25731796540603687618771*c_1001_2^5 - 1603161650173695423165208/77195389621811062856313*c_1001_2^4 - 34799515794902448584641/77195389621811062856313*c_1001_2^3 + 644187875897335716870061/77195389621811062856313*c_1001_2^2 - 17372919816037136348703/25731796540603687618771*c_1001_2 + 16878567444884386290744/25731796540603687618771, c_0011_8 - 24535739468787765808099/77195389621811062856313*c_1001_2^17 + 61827207759059915904589/77195389621811062856313*c_1001_2^16 - 292053625735374695041164/25731796540603687618771*c_1001_2^15 - 524423780221510685746231/77195389621811062856313*c_1001_2^14 - 3639390802986974307116290/77195389621811062856313*c_1001_2^13 - 4059359866966725472653536/25731796540603687618771*c_1001_2^12 - 3439017768381489443575332/25731796540603687618771*c_1001_2^11 - 6476041919178216249013160/77195389621811062856313*c_1001_2^10 - 2348949927660084264898495/77195389621811062856313*c_1001_2^9 + 3345406917175558508188066/25731796540603687618771*c_1001_2^8 + 9043689331528149714272354/77195389621811062856313*c_1001_2^7 + 868018628041081208771161/77195389621811062856313*c_1001_2^6 - 1578920111219742150891506/77195389621811062856313*c_1001_2^5 - 2484376893621933754836689/77195389621811062856313*c_1001_2^4 - 329905756073433526271614/25731796540603687618771*c_1001_2^3 + 183929957129288701406400/25731796540603687618771*c_1001_2^2 + 59146743248874305055318/25731796540603687618771*c_1001_2 + 28227019183174396122272/25731796540603687618771, c_0101_0 + 6229332117525518577294/25731796540603687618771*c_1001_2^17 - 9664214480785986216143/25731796540603687618771*c_1001_2^16 + 208956733366910943933348/25731796540603687618771*c_1001_2^15 + 344526894815123738233271/25731796540603687618771*c_1001_2^14 + 1113893379785011972444579/25731796540603687618771*c_1001_2^13 + 4031807131884018028555607/25731796540603687618771*c_1001_2^12 + 5889556295607329307263191/25731796540603687618771*c_1001_2^11 + 5088421741802766141430310/25731796540603687618771*c_1001_2^10 + 3129219521369209145244395/25731796540603687618771*c_1001_2^9 - 1130718625033002071460188/25731796540603687618771*c_1001_2^8 - 4126297827080791351851491/25731796540603687618771*c_1001_2^7 - 2662044046210455676597474/25731796540603687618771*c_1001_2^6 - 235189770146155612401746/25731796540603687618771*c_1001_2^5 + 882646189931422126080146/25731796540603687618771*c_1001_2^4 + 804723858515892017021693/25731796540603687618771*c_1001_2^3 + 143092744924988315744653/25731796540603687618771*c_1001_2^2 - 104374539701465848667259/25731796540603687618771*c_1001_2 - 64677826748394749183522/25731796540603687618771, c_0101_10 - 1455913470828188236671/25731796540603687618771*c_1001_2^17 + 3204053078517151285080/25731796540603687618771*c_1001_2^16 - 49452562702143572320118/25731796540603687618771*c_1001_2^15 - 51547720755712387947167/25731796540603687618771*c_1001_2^14 - 176189766708187908407073/25731796540603687618771*c_1001_2^13 - 775902986436953470455067/25731796540603687618771*c_1001_2^12 - 652446871402328095526066/25731796540603687618771*c_1001_2^11 + 47070430843607254525235/25731796540603687618771*c_1001_2^10 + 102169661129442820296626/25731796540603687618771*c_1001_2^9 + 737251667384476302120245/25731796540603687618771*c_1001_2^8 + 790159193365711755428706/25731796540603687618771*c_1001_2^7 - 368205973152455015968191/25731796540603687618771*c_1001_2^6 - 436233716825721842077431/25731796540603687618771*c_1001_2^5 - 96400437272171813428679/25731796540603687618771*c_1001_2^4 - 32385085016477974321405/25731796540603687618771*c_1001_2^3 + 83788807369816956728881/25731796540603687618771*c_1001_2^2 + 28758410213092729023482/25731796540603687618771*c_1001_2 - 4795356881226429579714/25731796540603687618771, c_0101_11 + 9401904004803487272122/25731796540603687618771*c_1001_2^17 - 71318458174980182215711/77195389621811062856313*c_1001_2^16 + 1010162668739620127512357/77195389621811062856313*c_1001_2^15 + 196595441367384114568719/25731796540603687618771*c_1001_2^14 + 4258239650858520047620295/77195389621811062856313*c_1001_2^13 + 14068121906941446169025240/77195389621811062856313*c_1001_2^12 + 4038635996976655926297953/25731796540603687618771*c_1001_2^11 + 2925184185306023065268004/25731796540603687618771*c_1001_2^10 + 4383278124461113388155213/77195389621811062856313*c_1001_2^9 - 10076490687800820034823398/77195389621811062856313*c_1001_2^8 - 3006277648221714186997650/25731796540603687618771*c_1001_2^7 - 1234195350802963218087964/77195389621811062856313*c_1001_2^6 + 730885190063380801942012/77195389621811062856313*c_1001_2^5 + 2500705497148645666466248/77195389621811062856313*c_1001_2^4 + 905801286314119205678764/77195389621811062856313*c_1001_2^3 - 171896033044081548982471/25731796540603687618771*c_1001_2^2 + 20874476105558170254494/25731796540603687618771*c_1001_2 - 30696497431586961877730/25731796540603687618771, c_0101_12 - 13330688389867714173817/77195389621811062856313*c_1001_2^17 + 41545896780628075168039/77195389621811062856313*c_1001_2^16 - 500812251238072126751537/77195389621811062856313*c_1001_2^15 + 13346472323656284150844/77195389621811062856313*c_1001_2^14 - 1981990694888810779949563/77195389621811062856313*c_1001_2^13 - 5456164641309623241859628/77195389621811062856313*c_1001_2^12 - 2302130475237900634381388/77195389621811062856313*c_1001_2^11 - 2171493172293931906645019/77195389621811062856313*c_1001_2^10 + 11602346584293121604606/77195389621811062856313*c_1001_2^9 + 6082469933288379628445732/77195389621811062856313*c_1001_2^8 + 665423688420581043292765/25731796540603687618771*c_1001_2^7 - 228537525106966067728592/77195389621811062856313*c_1001_2^6 - 172238337231130607304250/77195389621811062856313*c_1001_2^5 - 495157185686649587190436/25731796540603687618771*c_1001_2^4 - 309566099606784581006155/77195389621811062856313*c_1001_2^3 + 221734079801131542083117/77195389621811062856313*c_1001_2^2 - 20132881682700050908503/25731796540603687618771*c_1001_2 + 54549762604605237576904/25731796540603687618771, c_0110_11 - 10729884507190479772943/25731796540603687618771*c_1001_2^17 + 75593193817736154332891/77195389621811062856313*c_1001_2^16 - 1142863520913580952011460/77195389621811062856313*c_1001_2^15 - 290508306390965617039593/25731796540603687618771*c_1001_2^14 - 5142390704648466092331562/77195389621811062856313*c_1001_2^13 - 17121299209054262397657841/77195389621811062856313*c_1001_2^12 - 5830395406715998978924703/25731796540603687618771*c_1001_2^11 - 5087868372952097832500465/25731796540603687618771*c_1001_2^10 - 10188064744433876292245606/77195389621811062856313*c_1001_2^9 + 7731693409509007488999902/77195389621811062856313*c_1001_2^8 + 3429109344628142782980784/25731796540603687618771*c_1001_2^7 + 3892009169284731984783602/77195389621811062856313*c_1001_2^6 + 1161284864773752111377395/77195389621811062856313*c_1001_2^5 - 2218067181118842412338290/77195389621811062856313*c_1001_2^4 - 1446673564026788887753895/77195389621811062856313*c_1001_2^3 + 33868704120317666573107/25731796540603687618771*c_1001_2^2 - 22703108979278815176450/25731796540603687618771*c_1001_2 + 43765439846719366664310/25731796540603687618771, c_1001_0 - 20407031678315716678043/77195389621811062856313*c_1001_2^17 + 52039013897424987442924/77195389621811062856313*c_1001_2^16 - 729232819515326590717927/77195389621811062856313*c_1001_2^15 - 140076417253576915515085/25731796540603687618771*c_1001_2^14 - 988835422498052629245131/25731796540603687618771*c_1001_2^13 - 3380665716102113746906395/25731796540603687618771*c_1001_2^12 - 8136940875198124024578221/77195389621811062856313*c_1001_2^11 - 5149011920680140382107532/77195389621811062856313*c_1001_2^10 - 2816080315220920203335164/77195389621811062856313*c_1001_2^9 + 7664687719020678768568546/77195389621811062856313*c_1001_2^8 + 6420369824759359876613843/77195389621811062856313*c_1001_2^7 - 232456144982929829281550/77195389621811062856313*c_1001_2^6 - 754143539396861667042491/77195389621811062856313*c_1001_2^5 - 1571692188891811081360546/77195389621811062856313*c_1001_2^4 - 178844533616188981402871/25731796540603687618771*c_1001_2^3 + 395823689550334503852299/77195389621811062856313*c_1001_2^2 - 18484814498405286451641/25731796540603687618771*c_1001_2 + 21167226776690720591425/25731796540603687618771, c_1001_2^18 - 3*c_1001_2^17 + 37*c_1001_2^16 + 4*c_1001_2^15 + 141*c_1001_2^14 + 426*c_1001_2^13 + 193*c_1001_2^12 + 100*c_1001_2^11 - 12*c_1001_2^10 - 442*c_1001_2^9 - 155*c_1001_2^8 + 113*c_1001_2^7 + 72*c_1001_2^6 + 85*c_1001_2^5 - 14*c_1001_2^4 - 37*c_1001_2^3 + 4*c_1001_2^2 - 3*c_1001_2 + 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.250 Total time: 5.459 seconds, Total memory usage: 134.78MB