Magma V2.19-8 Wed Aug 21 2013 00:49:44 on localhost [Seed = 4020894527] Type ? for help. Type -D to quit. Loading file "K14n9578__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n9578 geometric_solution 11.75010184 oriented_manifold CS_known 0.0000000000000000 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 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 -1 1 1 0 0 -1 -18 17 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.769972752076 0.627155630993 0 5 6 4 0132 0132 0132 0213 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 1 -1 -1 0 1 0 0 -1 0 1 18 -18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.809906493577 0.449888639001 7 0 5 8 0132 0132 1302 0132 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 -1 0 1 0 0 0 0 0 -1 -17 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.328926314696 0.569196614410 9 6 10 0 0132 1230 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.565965652073 0.734235784008 9 11 0 1 2310 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 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.219238865795 0.635942947925 2 1 11 10 2031 0132 0321 2031 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 -18 18 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.425631293563 0.290143605000 12 10 3 1 0132 2031 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 0 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 0 0 0 0 0 0.369571209053 1.662412925861 2 9 12 9 0132 3120 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.596620627301 1.009275455120 12 12 2 11 1230 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.233562331832 0.695202253165 3 7 4 7 0132 3120 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.596620627301 1.009275455120 6 5 11 3 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.837087116268 1.522343934197 8 4 5 10 3120 0132 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.883900764369 0.928734941194 6 8 7 8 0132 3012 1023 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.127919719630 0.863414124961 ==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_0110_5'], 'c_1001_12' : negation(d['c_0011_8']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0110_5'], 'c_1001_7' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : d['c_0101_6'], 'c_1001_3' : negation(d['c_1001_11']), 'c_1001_2' : d['c_0110_5'], 'c_1001_9' : negation(d['c_0101_1']), 'c_1001_8' : d['c_0101_6'], 'c_1010_12' : d['c_0011_8'], 'c_1010_11' : d['c_0110_5'], 'c_1010_10' : negation(d['c_1001_11']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_12'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(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_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_11'], 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : d['c_1001_11'], 'c_1100_1' : d['c_1001_11'], 'c_1100_0' : d['c_1001_5'], 'c_1100_3' : d['c_1001_5'], 'c_1100_2' : negation(d['c_0101_11']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_11'], 'c_1100_11' : d['c_1001_5'], 'c_1100_10' : d['c_1001_5'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_3'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0110_5'], 'c_1010_9' : negation(d['c_0011_0']), 'c_1010_8' : negation(d['c_0011_11']), 'c_1100_8' : negation(d['c_0101_11']), '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' : d['c_0011_11'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(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_11']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), '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_12'], 'c_0110_10' : d['c_0011_3'], 'c_0110_12' : d['c_0101_6'], 'c_0101_7' : negation(d['c_0011_8']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_11']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_3'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_8']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_3'], 'c_0110_8' : d['c_0011_12'], '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_0011_8']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_7' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_1'], 's_2_9' : d['1']})} 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_12, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_6, c_0110_5, c_1001_11, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 62764193735/226917606047*c_1001_5^9 + 68792581896/226917606047*c_1001_5^8 + 646229970163/226917606047*c_1001_5^7 - 4683828431771/226917606047*c_1001_5^6 + 10615634284246/226917606047*c_1001_5^5 - 3076226098904/226917606047*c_1001_5^4 - 1842685042505/20628873277*c_1001_5^3 + 3510677592647/20628873277*c_1001_5^2 - 31349871066/231785093*c_1001_5 + 654277384244/20628873277, c_0011_0 - 1, c_0011_10 + 407276/5390351*c_1001_5^9 - 2652611/5390351*c_1001_5^8 + 9576090/5390351*c_1001_5^7 - 17110792/5390351*c_1001_5^6 + 5239568/5390351*c_1001_5^5 + 30745594/5390351*c_1001_5^4 - 70806004/5390351*c_1001_5^3 + 77945259/5390351*c_1001_5^2 - 52301035/5390351*c_1001_5 + 25614459/5390351, c_0011_11 - 971662/5390351*c_1001_5^9 + 5406873/5390351*c_1001_5^8 - 17919536/5390351*c_1001_5^7 + 24870066/5390351*c_1001_5^6 + 6919883/5390351*c_1001_5^5 - 61335162/5390351*c_1001_5^4 + 109696933/5390351*c_1001_5^3 - 100875779/5390351*c_1001_5^2 + 59509814/5390351*c_1001_5 - 29079801/5390351, c_0011_12 - 415698/5390351*c_1001_5^9 + 1642433/5390351*c_1001_5^8 - 4442102/5390351*c_1001_5^7 + 541921/5390351*c_1001_5^6 + 12862988/5390351*c_1001_5^5 - 14457828/5390351*c_1001_5^4 + 10000649/5390351*c_1001_5^3 + 12580051/5390351*c_1001_5^2 - 4636837/5390351*c_1001_5 + 5464452/5390351, c_0011_3 - 729861/5390351*c_1001_5^9 + 3923716/5390351*c_1001_5^8 - 12776902/5390351*c_1001_5^7 + 16303470/5390351*c_1001_5^6 + 8093325/5390351*c_1001_5^5 - 45277091/5390351*c_1001_5^4 + 72212025/5390351*c_1001_5^3 - 60056458/5390351*c_1001_5^2 + 37481038/5390351*c_1001_5 - 15177310/5390351, c_0011_8 - 1028359/5390351*c_1001_5^9 + 5246037/5390351*c_1001_5^8 - 16509857/5390351*c_1001_5^7 + 18180229/5390351*c_1001_5^6 + 16994636/5390351*c_1001_5^5 - 59102336/5390351*c_1001_5^4 + 82849980/5390351*c_1001_5^3 - 57043275/5390351*c_1001_5^2 + 36329036/5390351*c_1001_5 - 13533155/5390351, c_0101_0 - 729861/5390351*c_1001_5^9 + 3923716/5390351*c_1001_5^8 - 12776902/5390351*c_1001_5^7 + 16303470/5390351*c_1001_5^6 + 8093325/5390351*c_1001_5^5 - 45277091/5390351*c_1001_5^4 + 72212025/5390351*c_1001_5^3 - 60056458/5390351*c_1001_5^2 + 37481038/5390351*c_1001_5 - 15177310/5390351, c_0101_1 + 971662/5390351*c_1001_5^9 - 5406873/5390351*c_1001_5^8 + 17919536/5390351*c_1001_5^7 - 24870066/5390351*c_1001_5^6 - 6919883/5390351*c_1001_5^5 + 61335162/5390351*c_1001_5^4 - 109696933/5390351*c_1001_5^3 + 100875779/5390351*c_1001_5^2 - 59509814/5390351*c_1001_5 + 23689450/5390351, c_0101_11 + 657499/5390351*c_1001_5^9 - 3125590/5390351*c_1001_5^8 + 9584736/5390351*c_1001_5^7 - 9108517/5390351*c_1001_5^6 - 11689546/5390351*c_1001_5^5 + 30515899/5390351*c_1001_5^4 - 47485557/5390351*c_1001_5^3 + 33629621/5390351*c_1001_5^2 - 22782290/5390351*c_1001_5 + 8438039/5390351, c_0101_6 + 999319/5390351*c_1001_5^9 - 5427958/5390351*c_1001_5^8 + 18159136/5390351*c_1001_5^7 - 24861657/5390351*c_1001_5^6 - 5438351/5390351*c_1001_5^5 + 60708036/5390351*c_1001_5^4 - 113646427/5390351*c_1001_5^3 + 101822769/5390351*c_1001_5^2 - 71171962/5390351*c_1001_5 + 27813974/5390351, c_0110_5 - 588574/5390351*c_1001_5^9 + 3654820/5390351*c_1001_5^8 - 12599898/5390351*c_1001_5^7 + 20322389/5390351*c_1001_5^6 - 299934/5390351*c_1001_5^5 - 43938256/5390351*c_1001_5^4 + 82081265/5390351*c_1001_5^3 - 84498944/5390351*c_1001_5^2 + 54633868/5390351*c_1001_5 - 27790601/5390351, c_1001_11 - 999319/5390351*c_1001_5^9 + 5427958/5390351*c_1001_5^8 - 18159136/5390351*c_1001_5^7 + 24861657/5390351*c_1001_5^6 + 5438351/5390351*c_1001_5^5 - 60708036/5390351*c_1001_5^4 + 113646427/5390351*c_1001_5^3 - 101822769/5390351*c_1001_5^2 + 65781611/5390351*c_1001_5 - 27813974/5390351, c_1001_5^10 - 6*c_1001_5^9 + 21*c_1001_5^8 - 34*c_1001_5^7 + 5*c_1001_5^6 + 67*c_1001_5^5 - 143*c_1001_5^4 + 154*c_1001_5^3 - 110*c_1001_5^2 + 55*c_1001_5 - 11 ], 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_12, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_6, c_0110_5, c_1001_11, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 64001777695938291342567449121232664749/2034507804253528524070693135\ 3484324*c_1001_5^20 + 11055123206050843040204619348355142540/508626\ 9510633821310176732838371081*c_1001_5^19 - 40067638811055429611897240460614264719/4069015608507057048141386270\ 6968648*c_1001_5^18 - 164775048929295554928859020982144540285/20345\ 078042535285240706931353484324*c_1001_5^17 - 999187113412457775225206013502537837471/406901560850705704814138627\ 06968648*c_1001_5^16 - 2014819431424037387184833449413849041483/203\ 45078042535285240706931353484324*c_1001_5^15 - 6134803637474311098306535927623134513123/40690156085070570481413862\ 706968648*c_1001_5^14 - 1295056434861129388964538541060522572197/40\ 690156085070570481413862706968648*c_1001_5^13 - 33059981600799562145007637964364089073975/4069015608507057048141386\ 2706968648*c_1001_5^12 + 34639246943344010550991944234352385422587/\ 40690156085070570481413862706968648*c_1001_5^11 - 52331531903417572871956686174678836480043/2034507804253528524070693\ 1353484324*c_1001_5^10 + 121406176184830147893707332607256783675065\ /40690156085070570481413862706968648*c_1001_5^9 - 144954395759860244889588417404132677913813/406901560850705704814138\ 62706968648*c_1001_5^8 + 35106502316197532282169757623498461578435/\ 10172539021267642620353465676742162*c_1001_5^7 - 39101419384117969405671222706823234870589/2034507804253528524070693\ 1353484324*c_1001_5^6 + 31318312294918022137623296139921443831113/4\ 0690156085070570481413862706968648*c_1001_5^5 - 23248906268482285520724782713933155652391/4069015608507057048141386\ 2706968648*c_1001_5^4 + 1598562640886213260222757038226177555091/20\ 345078042535285240706931353484324*c_1001_5^3 - 998215763149284020851906293767908296777/101725390212676426203534656\ 76742162*c_1001_5^2 - 342890576631653449144103336111070465801/40690\ 156085070570481413862706968648*c_1001_5 - 98372956301613292788498929369239005143/2034507804253528524070693135\ 3484324, c_0011_0 - 1, c_0011_10 + 74813350566842042529358324726418/50862695106338213101767328\ 38371081*c_1001_5^20 - 445353690343597970391852422907864/5086269510\ 633821310176732838371081*c_1001_5^19 + 251575679044955930045954705641829/508626951063382131017673283837108\ 1*c_1001_5^18 + 165561008175651272098746112740998/50862695106338213\ 10176732838371081*c_1001_5^17 - 507795647277718528973911539859416/5\ 086269510633821310176732838371081*c_1001_5^16 - 802595012461203511912277579133936/508626951063382131017673283837108\ 1*c_1001_5^15 - 8997673173910331449113143536868061/5086269510633821\ 310176732838371081*c_1001_5^14 - 1903870978276674782551505264768542\ 9/5086269510633821310176732838371081*c_1001_5^13 + 15164314617993330882124718103342488/5086269510633821310176732838371\ 081*c_1001_5^12 - 119881769412402215609619325867691215/508626951063\ 3821310176732838371081*c_1001_5^11 + 155739468732953866988145965537100338/508626951063382131017673283837\ 1081*c_1001_5^10 - 365108472006241532702707829203574121/50862695106\ 33821310176732838371081*c_1001_5^9 + 398106566496443390289246904204920242/508626951063382131017673283837\ 1081*c_1001_5^8 - 429819013865815947722924963681199422/508626951063\ 3821310176732838371081*c_1001_5^7 + 347502981973174339275626917171004547/508626951063382131017673283837\ 1081*c_1001_5^6 - 124230385110551806476879159732634339/508626951063\ 3821310176732838371081*c_1001_5^5 - 11591058891098097897089009437240011/5086269510633821310176732838371\ 081*c_1001_5^4 - 7528828787023130221332829169752727/508626951063382\ 1310176732838371081*c_1001_5^3 - 1652730084178488556313822312136905\ 2/5086269510633821310176732838371081*c_1001_5^2 + 1331239217899420574896075957506579/50862695106338213101767328383710\ 81*c_1001_5 - 2564417230072312333926303839727169/508626951063382131\ 0176732838371081, c_0011_11 + 1624149393361814677467041763385652/508626951063382131017673\ 2838371081*c_1001_5^20 - 564455246699079485905010786008104/50862695\ 10633821310176732838371081*c_1001_5^19 - 508989433052342596032587884133730/508626951063382131017673283837108\ 1*c_1001_5^18 + 4732139240800451267269819446847882/5086269510633821\ 310176732838371081*c_1001_5^17 + 1401066801884338002170574448716498\ 6/5086269510633821310176732838371081*c_1001_5^16 + 53820555524108613809459184351098699/5086269510633821310176732838371\ 081*c_1001_5^15 + 90327402987249317432507803616613762/5086269510633\ 821310176732838371081*c_1001_5^14 + 22920567667677211380967558325289545/5086269510633821310176732838371\ 081*c_1001_5^13 + 393394312118363327958189212030695830/508626951063\ 3821310176732838371081*c_1001_5^12 - 302891596913050976987971124771402797/508626951063382131017673283837\ 1081*c_1001_5^11 + 1016522203991753953841960673128482996/5086269510\ 633821310176732838371081*c_1001_5^10 - 926974224901824983739218081577702652/508626951063382131017673283837\ 1081*c_1001_5^9 + 824521442397127779792079999180595539/508626951063\ 3821310176732838371081*c_1001_5^8 - 608960752197345637754156327159892025/508626951063382131017673283837\ 1081*c_1001_5^7 - 235146510538320091059338522279001960/508626951063\ 3821310176732838371081*c_1001_5^6 + 530579199668073788362154498836940942/508626951063382131017673283837\ 1081*c_1001_5^5 - 105174768253863486058825195784537003/508626951063\ 3821310176732838371081*c_1001_5^4 + 128226215675624391104021005315841381/508626951063382131017673283837\ 1081*c_1001_5^3 - 34934391053960024165217471312132639/5086269510633\ 821310176732838371081*c_1001_5^2 + 12027459981816151642688250492255152/5086269510633821310176732838371\ 081*c_1001_5 - 3154512743126916552640589910120918/50862695106338213\ 10176732838371081, c_0011_12 + 323778982209453459650076397318782/5086269510633821310176732\ 838371081*c_1001_5^20 - 704645078010135754118201385074118/508626951\ 0633821310176732838371081*c_1001_5^19 + 485544199426417062099199656930947/508626951063382131017673283837108\ 1*c_1001_5^18 + 663052235551217665111978422278519/50862695106338213\ 10176732838371081*c_1001_5^17 + 1335734410399753672144650952640228/\ 5086269510633821310176732838371081*c_1001_5^16 + 6569620292570446507288733305167940/50862695106338213101767328383710\ 81*c_1001_5^15 + 812852522317767310279359629060452/5086269510633821\ 310176732838371081*c_1001_5^14 - 1791317480546991197311305604036483\ 6/5086269510633821310176732838371081*c_1001_5^13 + 82122391246560714335257342484572292/5086269510633821310176732838371\ 081*c_1001_5^12 - 209086690080937371587036058011087551/508626951063\ 3821310176732838371081*c_1001_5^11 + 410971999120891622016814889841659501/508626951063382131017673283837\ 1081*c_1001_5^10 - 709312744422234668525226394781989704/50862695106\ 33821310176732838371081*c_1001_5^9 + 870898131253079020040065887340101431/508626951063382131017673283837\ 1081*c_1001_5^8 - 942745647771885450436637857790754410/508626951063\ 3821310176732838371081*c_1001_5^7 + 795046105379047704156160664704030257/508626951063382131017673283837\ 1081*c_1001_5^6 - 434483429822720680530845225255137686/508626951063\ 3821310176732838371081*c_1001_5^5 + 212736468701271950700473450410656126/508626951063382131017673283837\ 1081*c_1001_5^4 - 118551302992533630943776358137033929/508626951063\ 3821310176732838371081*c_1001_5^3 + 23622101944519660010102311068893454/5086269510633821310176732838371\ 081*c_1001_5^2 - 6057268184088708202929911719479693/508626951063382\ 1310176732838371081*c_1001_5 - 1055516674908648627165003624168628/5\ 086269510633821310176732838371081, c_0011_3 + 381036730710613444877106947060062/50862695106338213101767328\ 38371081*c_1001_5^20 - 124049955559754613258174021756060/5086269510\ 633821310176732838371081*c_1001_5^19 - 28965665307945531724526084512069/5086269510633821310176732838371081\ *c_1001_5^18 + 1159508110266754897480564825996894/50862695106338213\ 10176732838371081*c_1001_5^17 + 3229866704512992963490345544999264/\ 5086269510633821310176732838371081*c_1001_5^16 + 12949996106215728207208915296675685/5086269510633821310176732838371\ 081*c_1001_5^15 + 22519751023761454011340774600893457/5086269510633\ 821310176732838371081*c_1001_5^14 + 9602873723653318505612256326606084/50862695106338213101767328383710\ 81*c_1001_5^13 + 100178340413742112985144320626027923/5086269510633\ 821310176732838371081*c_1001_5^12 - 63824339835149670398176580398485349/5086269510633821310176732838371\ 081*c_1001_5^11 + 259304829155022927721606780782508998/508626951063\ 3821310176732838371081*c_1001_5^10 - 209989583734409303701659668042287031/508626951063382131017673283837\ 1081*c_1001_5^9 + 225133474272252836272807749879014444/508626951063\ 3821310176732838371081*c_1001_5^8 - 136073902722249653559406904558830070/508626951063382131017673283837\ 1081*c_1001_5^7 - 76021866215037341028008387623694770/5086269510633\ 821310176732838371081*c_1001_5^6 + 143990603983159959942510703742486757/508626951063382131017673283837\ 1081*c_1001_5^5 - 87548753694264157281924798608721821/5086269510633\ 821310176732838371081*c_1001_5^4 + 63086947651158118469334005241120498/5086269510633821310176732838371\ 081*c_1001_5^3 + 302674468774598117542662759670447/5086269510633821\ 310176732838371081*c_1001_5^2 + 11019597541321175547756245700856141\ /5086269510633821310176732838371081*c_1001_5 - 2526820109396585373500789283514785/50862695106338213101767328383710\ 81, c_0011_8 + 2791271410962072437305581028221174/5086269510633821310176732\ 838371081*c_1001_5^20 - 2549313294313045782692185219166474/50862695\ 10633821310176732838371081*c_1001_5^19 + 860113895384714822200598457092717/508626951063382131017673283837108\ 1*c_1001_5^18 + 7299830152327238908101027082901359/5086269510633821\ 310176732838371081*c_1001_5^17 + 2014322704784208445023350096234636\ 9/5086269510633821310176732838371081*c_1001_5^16 + 81832956485433061480103752192641009/5086269510633821310176732838371\ 081*c_1001_5^15 + 110784851003392121937204285617353477/508626951063\ 3821310176732838371081*c_1001_5^14 - 15164310337852137408444988171847307/5086269510633821310176732838371\ 081*c_1001_5^13 + 694244235285865546232342624059180401/508626951063\ 3821310176732838371081*c_1001_5^12 - 917119290210661878184922370293477132/508626951063382131017673283837\ 1081*c_1001_5^11 + 2340617708945752271413913735083034173/5086269510\ 633821310176732838371081*c_1001_5^10 - 3033914878606516864472367884619602147/50862695106338213101767328383\ 71081*c_1001_5^9 + 3410268463048129574533308677348460770/5086269510\ 633821310176732838371081*c_1001_5^8 - 3366279206072376877183443791947001157/50862695106338213101767328383\ 71081*c_1001_5^7 + 1950469241545526582176559868428061538/5086269510\ 633821310176732838371081*c_1001_5^6 - 647387575970031171019529498552252737/508626951063382131017673283837\ 1081*c_1001_5^5 + 465594527792572612256237412914905107/508626951063\ 3821310176732838371081*c_1001_5^4 - 142713995944239377322149422358213329/508626951063382131017673283837\ 1081*c_1001_5^3 + 48460136102278964300016642398597144/5086269510633\ 821310176732838371081*c_1001_5^2 + 2508777935660022393721126157961361/50862695106338213101767328383710\ 81*c_1001_5 - 4500361605291703182495338526003797/508626951063382131\ 0176732838371081, c_0101_0 + 1072598515946345776280260714794496/5086269510633821310176732\ 838371081*c_1001_5^20 - 235028835097309591419889546235516/508626951\ 0633821310176732838371081*c_1001_5^19 - 355835849200357750649286038495560/508626951063382131017673283837108\ 1*c_1001_5^18 + 3075437934459714609427763248000486/5086269510633821\ 310176732838371081*c_1001_5^17 + 9613904478069959129360442835673738\ /5086269510633821310176732838371081*c_1001_5^16 + 36847255806187849964493792828330004/5086269510633821310176732838371\ 081*c_1001_5^15 + 64460701154074518823400876828358607/5086269510633\ 821310176732838371081*c_1001_5^14 + 23682277114591441492820395567426667/5086269510633821310176732838371\ 081*c_1001_5^13 + 263197752183184457329292452774713821/508626951063\ 3821310176732838371081*c_1001_5^12 - 166930552029351333092065305516430192/508626951063382131017673283837\ 1081*c_1001_5^11 + 651595310868741944990460076412063295/50862695106\ 33821310176732838371081*c_1001_5^10 - 529780060625820101094615438308453050/508626951063382131017673283837\ 1081*c_1001_5^9 + 475582434662595952819597822092890435/508626951063\ 3821310176732838371081*c_1001_5^8 - 335311606275981013550716278624069206/508626951063382131017673283837\ 1081*c_1001_5^7 - 222421555854757123778341873377871360/508626951063\ 3821310176732838371081*c_1001_5^6 + 358288362911406674148859115281456547/508626951063382131017673283837\ 1081*c_1001_5^5 - 74823416341097354364559429414120725/5086269510633\ 821310176732838371081*c_1001_5^4 + 123837706991582291710202087772114130/508626951063382131017673283837\ 1081*c_1001_5^3 - 40668290022346907692475717395621997/5086269510633\ 821310176732838371081*c_1001_5^2 + 9593638598149686714676037810536047/50862695106338213101767328383710\ 81*c_1001_5 - 3134316706039101851323888120982706/508626951063382131\ 0176732838371081, c_0101_1 + 137611801905413129453034511881758/50862695106338213101767328\ 38371081*c_1001_5^20 - 550891143047020115651588841273024/5086269510\ 633821310176732838371081*c_1001_5^19 + 364297159299463636220026596881891/508626951063382131017673283837108\ 1*c_1001_5^18 + 262945664365112842416118705209702/50862695106338213\ 10176732838371081*c_1001_5^17 - 113140179796504388374835369136132/5\ 086269510633821310176732838371081*c_1001_5^16 + 792053420776575938053954008557296/508626951063382131017673283837108\ 1*c_1001_5^15 - 7560708927238546662489273700220995/5086269510633821\ 310176732838371081*c_1001_5^14 - 1976361612028993551183299972133425\ 1/5086269510633821310176732838371081*c_1001_5^13 + 33159982902023677111646199932736079/5086269510633821310176732838371\ 081*c_1001_5^12 - 151517739077373058192251253623024108/508626951063\ 3821310176732838371081*c_1001_5^11 + 239062959792396432107469254728468560/508626951063382131017673283837\ 1081*c_1001_5^10 - 490603213276672231765546970304946935/50862695106\ 33821310176732838371081*c_1001_5^9 + 583652442303051146074695614809359273/508626951063382131017673283837\ 1081*c_1001_5^8 - 633964208404852721967745356913224787/508626951063\ 3821310176732838371081*c_1001_5^7 + 555357364011529551788073931777170061/508626951063382131017673283837\ 1081*c_1001_5^6 - 277280753385125618442564056539527264/508626951063\ 3821310176732838371081*c_1001_5^5 + 99010811622618003636168171522418868/5086269510633821310176732838371\ 081*c_1001_5^4 - 74333218235627391450355501170907680/50862695106338\ 21310176732838371081*c_1001_5^3 + 989017024803847786037010716213415\ 1/5086269510633821310176732838371081*c_1001_5^2 - 3081585563311893891802365061075008/50862695106338213101767328383710\ 81*c_1001_5 - 1757584103874824726618654447023138/508626951063382131\ 0176732838371081, c_0101_11 - 1397527977340400763118290175347678/508626951063382131017673\ 2838371081*c_1001_5^20 + 652211069636598384644174344915860/50862695\ 10633821310176732838371081*c_1001_5^19 + 176110129155917667171317346423379/508626951063382131017673283837108\ 1*c_1001_5^18 - 3966694914564199538525768576234444/5086269510633821\ 310176732838371081*c_1001_5^17 - 1160435134572068555749841260447441\ 5/5086269510633821310176732838371081*c_1001_5^16 - 45424531401526210790967970975091888/5086269510633821310176732838371\ 081*c_1001_5^15 - 73742630692610413071725788318835458/5086269510633\ 821310176732838371081*c_1001_5^14 - 16645739297895049454653636010127264/5086269510633821310176732838371\ 081*c_1001_5^13 - 345078516042796075011530921301353977/508626951063\ 3821310176732838371081*c_1001_5^12 + 300983870987330746111833691195368992/508626951063382131017673283837\ 1081*c_1001_5^11 - 956325716202229673495615444811000241/50862695106\ 33821310176732838371081*c_1001_5^10 + 961676431443381154129751887358994324/508626951063382131017673283837\ 1081*c_1001_5^9 - 964843142680368751674313570900063345/508626951063\ 3821310176732838371081*c_1001_5^8 + 804735082571486023119305583500332326/508626951063382131017673283837\ 1081*c_1001_5^7 - 70880718809371200721265909500663492/5086269510633\ 821310176732838371081*c_1001_5^6 - 277013288486625193700568899785890034/508626951063382131017673283837\ 1081*c_1001_5^5 + 53173017199742558998358557534194262/5086269510633\ 821310176732838371081*c_1001_5^4 - 104612390783752302091790025202544369/508626951063382131017673283837\ 1081*c_1001_5^3 + 31970412729026171010761966776225227/5086269510633\ 821310176732838371081*c_1001_5^2 - 8268324186769623159123728482182970/50862695106338213101767328383710\ 81*c_1001_5 + 3416142372248948442682522203719641/508626951063382131\ 0176732838371081, c_0101_6 - 6606880591951435789011470361342/5086269510633821310176732838\ 371081*c_1001_5^20 + 565756607991713484066085415356136/508626951063\ 3821310176732838371081*c_1001_5^19 - 724423623158978128158355625476795/508626951063382131017673283837108\ 1*c_1001_5^18 + 335110729606365615378341401912838/50862695106338213\ 10176732838371081*c_1001_5^17 + 1375300769008115342451441367442458/\ 5086269510633821310176732838371081*c_1001_5^16 + 3255745931291738962136736927753948/50862695106338213101767328383710\ 81*c_1001_5^15 + 14607939219387158944013546485282054/50862695106338\ 21310176732838371081*c_1001_5^14 + 15994919566966672575875161732245427/5086269510633821310176732838371\ 081*c_1001_5^13 - 13422179186841407049643640389706518/5086269510633\ 821310176732838371081*c_1001_5^12 + 142202988373421662381564393073806305/508626951063382131017673283837\ 1081*c_1001_5^11 - 242103963214695055032181072887654706/50862695106\ 33821310176732838371081*c_1001_5^10 + 541547414741419829257313340858675595/508626951063382131017673283837\ 1081*c_1001_5^9 - 786448531853158946632951213552648946/508626951063\ 3821310176732838371081*c_1001_5^8 + 900486591884493873164785179230024896/508626951063382131017673283837\ 1081*c_1001_5^7 - 907929506547563037207837198736978225/508626951063\ 3821310176732838371081*c_1001_5^6 + 600382625149980273094310126788346858/508626951063382131017673283837\ 1081*c_1001_5^5 - 230154436950047320250015180497330600/508626951063\ 3821310176732838371081*c_1001_5^4 + 94090645763126241647171417273920081/5086269510633821310176732838371\ 081*c_1001_5^3 - 35492913141819906280189365764205658/50862695106338\ 21310176732838371081*c_1001_5^2 + 296120163788255420283533444967778\ 7/5086269510633821310176732838371081*c_1001_5 - 440459751472134131554975545314956/508626951063382131017673283837108\ 1, c_0110_5 + 74813350566842042529358324726418/508626951063382131017673283\ 8371081*c_1001_5^20 - 445353690343597970391852422907864/50862695106\ 33821310176732838371081*c_1001_5^19 + 251575679044955930045954705641829/508626951063382131017673283837108\ 1*c_1001_5^18 + 165561008175651272098746112740998/50862695106338213\ 10176732838371081*c_1001_5^17 - 507795647277718528973911539859416/5\ 086269510633821310176732838371081*c_1001_5^16 - 802595012461203511912277579133936/508626951063382131017673283837108\ 1*c_1001_5^15 - 8997673173910331449113143536868061/5086269510633821\ 310176732838371081*c_1001_5^14 - 1903870978276674782551505264768542\ 9/5086269510633821310176732838371081*c_1001_5^13 + 15164314617993330882124718103342488/5086269510633821310176732838371\ 081*c_1001_5^12 - 119881769412402215609619325867691215/508626951063\ 3821310176732838371081*c_1001_5^11 + 155739468732953866988145965537100338/508626951063382131017673283837\ 1081*c_1001_5^10 - 365108472006241532702707829203574121/50862695106\ 33821310176732838371081*c_1001_5^9 + 398106566496443390289246904204920242/508626951063382131017673283837\ 1081*c_1001_5^8 - 429819013865815947722924963681199422/508626951063\ 3821310176732838371081*c_1001_5^7 + 347502981973174339275626917171004547/508626951063382131017673283837\ 1081*c_1001_5^6 - 124230385110551806476879159732634339/508626951063\ 3821310176732838371081*c_1001_5^5 - 11591058891098097897089009437240011/5086269510633821310176732838371\ 081*c_1001_5^4 - 7528828787023130221332829169752727/508626951063382\ 1310176732838371081*c_1001_5^3 - 1652730084178488556313822312136905\ 2/5086269510633821310176732838371081*c_1001_5^2 + 1331239217899420574896075957506579/50862695106338213101767328383710\ 81*c_1001_5 - 2564417230072312333926303839727169/508626951063382131\ 0176732838371081, c_1001_11 + 646414805521128205363476647986282/5086269510633821310176732\ 838371081*c_1001_5^20 - 1025572871386492863272599424885544/50862695\ 10633821310176732838371081*c_1001_5^19 + 590681916997494592385747463889059/508626951063382131017673283837108\ 1*c_1001_5^18 + 1565199472176280984890375191156984/5086269510633821\ 310176732838371081*c_1001_5^17 + 3521534282135583346830926376901105\ /5086269510633821310176732838371081*c_1001_5^16 + 15819768639856114107055631456231187/5086269510633821310176732838371\ 081*c_1001_5^15 + 12846638121357028807194978117926049/5086269510633\ 821310176732838371081*c_1001_5^14 - 20933048577488857887863961954490231/5086269510633821310176732838371\ 081*c_1001_5^13 + 163087962950739311145264356086800300/508626951063\ 3821310176732838371081*c_1001_5^12 - 320310225382384887340578300369746689/508626951063382131017673283837\ 1081*c_1001_5^11 + 684203667775305558150885944511370543/50862695106\ 33821310176732838371081*c_1001_5^10 - 1063577072259741687242091400210221418/50862695106338213101767328383\ 71081*c_1001_5^9 + 1257014175481997898297686550531337978/5086269510\ 633821310176732838371081*c_1001_5^8 - 1295324162586838438216974534922046869/50862695106338213101767328383\ 71081*c_1001_5^7 + 959764685585106520494541028679645088/50862695106\ 33821310176732838371081*c_1001_5^6 - 425463121104845700469635177775761715/508626951063382131017673283837\ 1081*c_1001_5^5 + 183382445292138243462291110377088336/508626951063\ 3821310176732838371081*c_1001_5^4 - 84944101445007291740129957509090428/5086269510633821310176732838371\ 081*c_1001_5^3 + 19516441590107624592406343082784604/50862695106338\ 21310176732838371081*c_1001_5^2 - 999836635763556258943597719551513\ 7/5086269510633821310176732838371081*c_1001_5 + 880880597633613903460038137633705/508626951063382131017673283837108\ 1, c_1001_5^21 - c_1001_5^20 + 1/2*c_1001_5^19 + 5/2*c_1001_5^18 + 7*c_1001_5^17 + 29*c_1001_5^16 + 38*c_1001_5^15 - 11/2*c_1001_5^14 + 254*c_1001_5^13 - 701/2*c_1001_5^12 + 1789/2*c_1001_5^11 - 1193*c_1001_5^10 + 1403*c_1001_5^9 - 1419*c_1001_5^8 + 917*c_1001_5^7 - 401*c_1001_5^6 + 238*c_1001_5^5 - 147/2*c_1001_5^4 + 34*c_1001_5^3 - 6*c_1001_5^2 - 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.350 Total time: 4.559 seconds, Total memory usage: 64.12MB