Magma V2.19-8 Tue Aug 20 2013 23:39:49 on localhost [Seed = 3052654857] Type ? for help. Type -D to quit. Loading file "K14n18417__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n18417 geometric_solution 10.28149989 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 0 0 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 0 0 0 0 -1 0 1 -13 0 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.588811875251 0.918726769848 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 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 0 0 0 0 13 0 0 -13 0 0 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636586595329 0.754212799586 7 0 9 8 1230 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.170987987696 0.680380711194 7 9 5 0 2310 0132 1302 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 0 0 12 0 -12 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.446539822377 0.695647837552 10 8 0 10 0132 3012 0132 0213 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 13 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.499151046908 1.859541986059 3 1 9 8 2031 0132 0321 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -13 0 12 12 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.315257149036 0.986967793312 10 8 1 9 1023 0321 0132 2310 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -13 0 13 0 0 -12 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.033203671071 1.160201047134 10 2 3 1 2310 3012 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -13 0 0 13 12 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.343893571435 0.979774754423 4 5 2 6 1230 0321 0132 0321 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 1 -1 0 0 0 0 0 -12 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.659070568234 0.413128198988 6 3 5 2 3201 0132 0321 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 0 0 -12 0 12 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.068150864432 1.014722452481 4 6 7 4 0132 1023 3201 0213 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 0 0 0 0 0 13 -12 -1 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.104062896445 0.641442387936 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0101_0'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0011_8']), 'c_1001_7' : d['c_0011_0'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_8']), 'c_1001_2' : negation(d['c_0011_8']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_10' : d['c_0101_5'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0101_1']), '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_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_1100_9' : d['c_1001_5'], 'c_1100_8' : d['c_1001_5'], 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : d['c_0101_5'], 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_1001_5'], 'c_1100_10' : negation(d['c_0011_7']), 'c_1010_7' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_7']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0011_8']), 'c_1010_9' : negation(d['c_0011_8']), 'c_1010_8' : negation(d['c_0101_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'], '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_7'], 'c_0011_6' : d['c_0011_10'], '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_10' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_0']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_5']), 'c_0101_8' : d['c_0011_7'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_7'], 'c_0110_5' : negation(d['c_0011_8']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_1001_0, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 1840702232236204678604303852723854795434894743/18820177669178481123\ 75281098306775270350081894*c_1001_5^18 + 108198485939285199211679486474661264759606270051/376403553383569622\ 4750562196613550540700163788*c_1001_5^17 - 602977624284373951388739454698444692835485162927/376403553383569622\ 4750562196613550540700163788*c_1001_5^16 - 1218961052492784908116451667785039153595491323149/18820177669178481\ 12375281098306775270350081894*c_1001_5^15 - 104741897446725927924461201729870721532766377989/990535666798867427\ 56593742016146066860530626*c_1001_5^14 - 81754071392254829405842441576036465845509938213/4952678333994337137\ 8296871008073033430265313*c_1001_5^13 - 9155484191567116940615960210868477652530161531023/37640355338356962\ 24750562196613550540700163788*c_1001_5^12 - 1823933703282870910135451931129111601143582597373/94100888345892405\ 6187640549153387635175040947*c_1001_5^11 - 4521226912273028651686449782358862387006525315621/37640355338356962\ 24750562196613550540700163788*c_1001_5^10 - 679474721692391071681013681803603606031626134409/941008883458924056\ 187640549153387635175040947*c_1001_5^9 + 57876779059117923865144138597400521495090921547/1710925242652589193\ 06843736209706842759098354*c_1001_5^8 + 424506440492574467873564098353669918080659484165/537719361976528032\ 107223170944792934385737684*c_1001_5^7 + 70297831049103677401772084305846019885863115791/3421850485305178386\ 13687472419413685518196708*c_1001_5^6 + 186408577208323147305426156086922017922601603523/537719361976528032\ 107223170944792934385737684*c_1001_5^5 - 107241052272414339898017169982194852036625349619/376403553383569622\ 4750562196613550540700163788*c_1001_5^4 + 70197752638875202407776757665874933760027410383/1882017766917848112\ 375281098306775270350081894*c_1001_5^3 - 223466127773360195765620157690734414891836825215/376403553383569622\ 4750562196613550540700163788*c_1001_5^2 + 631410992111459066093663020822762578476668991901/376403553383569622\ 4750562196613550540700163788*c_1001_5 + 161693710944889363050821955769545838040028410265/376403553383569622\ 4750562196613550540700163788, c_0011_0 - 1, c_0011_10 + 29947418058228424462018659776436/47806718887022815565347492\ 8649133*c_1001_5^18 - 1694130216425407315329884625614951/9561343777\ 40456311306949857298266*c_1001_5^17 + 3953272878172503123018357020538789/47806718887022815565347492864913\ 3*c_1001_5^16 + 49292334787043048174079115298306467/956134377740456\ 311306949857298266*c_1001_5^15 + 1147190894849034058111169321889655\ 31/956134377740456311306949857298266*c_1001_5^14 + 102439666084764815729708963724697510/478067188870228155653474928649\ 133*c_1001_5^13 + 163938546929977878331604685101453087/478067188870\ 228155653474928649133*c_1001_5^12 + 201077273120252745029008331017757023/478067188870228155653474928649\ 133*c_1001_5^11 + 399028610315354076065508131210646673/956134377740\ 456311306949857298266*c_1001_5^10 + 356402953604071140961500178100757083/956134377740456311306949857298\ 266*c_1001_5^9 + 130723619608069085587548260828435744/4780671888702\ 28155653474928649133*c_1001_5^8 + 774404948845763553589340411888084\ 05/478067188870228155653474928649133*c_1001_5^7 + 108334937884410717722373483902158911/956134377740456311306949857298\ 266*c_1001_5^6 + 38794897601459353947530547628012138/47806718887022\ 8155653474928649133*c_1001_5^5 + 3338000085681379090332284346078186\ 3/478067188870228155653474928649133*c_1001_5^4 + 26378304496395531762626544368354651/4780671888702281556534749286491\ 33*c_1001_5^3 + 39320194876852487074565250866303609/956134377740456\ 311306949857298266*c_1001_5^2 + 8349996801962091862238559389963037/\ 478067188870228155653474928649133*c_1001_5 + 675556200104035051877642730296609/478067188870228155653474928649133\ , c_0011_3 - 5818945582753737226847608284064/4780671888702281556534749286\ 49133*c_1001_5^18 + 673059396432078461999136106295283/1912268755480\ 912622613899714596532*c_1001_5^17 - 3499544868890799129074873259954315/19122687554809126226138997145965\ 32*c_1001_5^16 - 8447809661249598858644694306613297/956134377740456\ 311306949857298266*c_1001_5^15 - 8519307440582559084691178790664502\ /478067188870228155653474928649133*c_1001_5^14 - 14992705648688657354790029308218446/4780671888702281556534749286491\ 33*c_1001_5^13 - 95207872196407691588042823091712273/19122687554809\ 12622613899714596532*c_1001_5^12 - 53309113226434484808681440102546851/9561343777404563113069498572982\ 66*c_1001_5^11 - 102381111080213259117542828887437927/1912268755480\ 912622613899714596532*c_1001_5^10 - 45499885550571146947967773046403953/9561343777404563113069498572982\ 66*c_1001_5^9 - 29900643408532550686500415780923111/956134377740456\ 311306949857298266*c_1001_5^8 - 32371180046628173083400329283982653\ /1912268755480912622613899714596532*c_1001_5^7 - 26604788825692054219297208199904875/1912268755480912622613899714596\ 532*c_1001_5^6 - 17422419946612953579619338247077477/19122687554809\ 12622613899714596532*c_1001_5^5 - 188070462395045417123379672730928\ 01/1912268755480912622613899714596532*c_1001_5^4 - 3243098507412526339992806590003058/47806718887022815565347492864913\ 3*c_1001_5^3 - 10699041145521925145118370987076955/1912268755480912\ 622613899714596532*c_1001_5^2 - 1777684657042626482960542395294529/\ 1912268755480912622613899714596532*c_1001_5 + 937704246983930788659364689157983/191226875548091262261389971459653\ 2, c_0011_7 + 185835725278210757014208525655887/19122687554809126226138997\ 14596532*c_1001_5^18 - 5314127600481473200433992261258973/191226875\ 5480912622613899714596532*c_1001_5^17 + 13094356231664822277990526969213957/9561343777404563113069498572982\ 66*c_1001_5^16 + 36158252254025625740449813553055727/47806718887022\ 8155653474928649133*c_1001_5^15 + 155981206950980526973658973737326\ 921/956134377740456311306949857298266*c_1001_5^14 + 542121083291421581291672159061714381/191226875548091262261389971459\ 6532*c_1001_5^13 + 213928799593845749895851336675654699/47806718887\ 0228155653474928649133*c_1001_5^12 + 991974804022037016345223282805750081/191226875548091262261389971459\ 6532*c_1001_5^11 + 234864340956872078406886939002844638/47806718887\ 0228155653474928649133*c_1001_5^10 + 204654650484370199424870221546583228/478067188870228155653474928649\ 133*c_1001_5^9 + 555313156325499255494479088326077061/1912268755480\ 912622613899714596532*c_1001_5^8 + 294412617943926023853518651955777315/191226875548091262261389971459\ 6532*c_1001_5^7 + 232085135823987135731362052260905929/191226875548\ 0912622613899714596532*c_1001_5^6 + 162770632979866468209923728691640891/191226875548091262261389971459\ 6532*c_1001_5^5 + 75747289038798058943714307810514185/9561343777404\ 56311306949857298266*c_1001_5^4 + 116839849639399903523139866773599\ 493/1912268755480912622613899714596532*c_1001_5^3 + 88046463230220945641862231628120633/1912268755480912622613899714596\ 532*c_1001_5^2 + 19172934570628034071345099868744339/19122687554809\ 12622613899714596532*c_1001_5 - 1164419615912700385731996930216373/\ 956134377740456311306949857298266, c_0011_8 - 79000323151879723000833624462437/956134377740456311306949857\ 298266*c_1001_5^18 + 4526949014071428341131578929819801/19122687554\ 80912622613899714596532*c_1001_5^17 - 22521044861083817037493661514184965/1912268755480912622613899714596\ 532*c_1001_5^16 - 60813885508851006101542842687560929/9561343777404\ 56311306949857298266*c_1001_5^15 - 129439292121431907379998699001032141/956134377740456311306949857298\ 266*c_1001_5^14 - 112287770774619093691910020727368999/478067188870\ 228155653474928649133*c_1001_5^13 - 708851028521045489471561430552484301/191226875548091262261389971459\ 6532*c_1001_5^12 - 203773018058246830621664034918700617/47806718887\ 0228155653474928649133*c_1001_5^11 - 772067631959008686531186915536800427/191226875548091262261389971459\ 6532*c_1001_5^10 - 169008455911266184422897776208860820/47806718887\ 0228155653474928649133*c_1001_5^9 - 228796781472248998371463629245348597/956134377740456311306949857298\ 266*c_1001_5^8 - 246501331385349075383254191272599867/1912268755480\ 912622613899714596532*c_1001_5^7 - 199481607859719186655762043813189909/191226875548091262261389971459\ 6532*c_1001_5^6 - 135278971522087048382378159514708341/191226875548\ 0912622613899714596532*c_1001_5^5 - 128827446090275097008886654915901525/191226875548091262261389971459\ 6532*c_1001_5^4 - 47732470456435702728599041904614569/9561343777404\ 56311306949857298266*c_1001_5^3 - 745993437244775812387162711913855\ 13/1912268755480912622613899714596532*c_1001_5^2 - 16413030478359044917644680282611549/1912268755480912622613899714596\ 532*c_1001_5 + 523321536670511799036844559749379/191226875548091262\ 2613899714596532, c_0101_0 - 284725456836626534961823634485743/19122687554809126226138997\ 14596532*c_1001_5^18 + 3998387949098983821282215480853797/956134377\ 740456311306949857298266*c_1001_5^17 - 35971571596075847816831951581498133/1912268755480912622613899714596\ 532*c_1001_5^16 - 60526370712571053308064255485149134/4780671888702\ 28155653474928649133*c_1001_5^15 - 147630269170080056755427483167306679/478067188870228155653474928649\ 133*c_1001_5^14 - 1074323650472219518652419589610910789/19122687554\ 80912622613899714596532*c_1001_5^13 - 1740673872453575129125854929762545573/19122687554809126226138997145\ 96532*c_1001_5^12 - 2204435304584762784386820526116208415/191226875\ 5480912622613899714596532*c_1001_5^11 - 2240932082487836001853976182153202569/19122687554809126226138997145\ 96532*c_1001_5^10 - 507806035891645198004212732909772776/4780671888\ 70228155653474928649133*c_1001_5^9 - 1545192079851644089281120301000026019/19122687554809126226138997145\ 96532*c_1001_5^8 - 233271955728483379214945351169884939/47806718887\ 0228155653474928649133*c_1001_5^7 - 311069553225846314166154774176723251/956134377740456311306949857298\ 266*c_1001_5^6 - 114360773935834030810059513422088842/4780671888702\ 28155653474928649133*c_1001_5^5 - 373283980018963913127142852279495\ 763/1912268755480912622613899714596532*c_1001_5^4 - 306092851431948168829096119697965605/191226875548091262261389971459\ 6532*c_1001_5^3 - 118418330005333044369788600347318331/956134377740\ 456311306949857298266*c_1001_5^2 - 27287382772119122469822820517667223/4780671888702281556534749286491\ 33*c_1001_5 - 16937419581506875664586400574512919/19122687554809126\ 22613899714596532, c_0101_1 - 55399833851637609527258015888663/956134377740456311306949857\ 298266*c_1001_5^18 + 1595767576293466285784029976157651/95613437774\ 0456311306949857298266*c_1001_5^17 - 8139322882434873636459556009259075/95613437774045631130694985729826\ 6*c_1001_5^16 - 20722959618130457400180543132316833/478067188870228\ 155653474928649133*c_1001_5^15 - 8416582939927234808828264763088985\ 1/956134377740456311306949857298266*c_1001_5^14 - 71824999185079662448472454591168944/4780671888702281556534749286491\ 33*c_1001_5^13 - 112366980921781698849667867489144741/4780671888702\ 28155653474928649133*c_1001_5^12 - 247745412081337406936388769496544197/956134377740456311306949857298\ 266*c_1001_5^11 - 113255004738373109895851867857447485/478067188870\ 228155653474928649133*c_1001_5^10 - 195275220937489048594755196633201243/956134377740456311306949857298\ 266*c_1001_5^9 - 61459420983429422087614405389407457/47806718887022\ 8155653474928649133*c_1001_5^8 - 5975565289467020786391217180611340\ 9/956134377740456311306949857298266*c_1001_5^7 - 54636377766419692527260512041592457/9561343777404563113069498572982\ 66*c_1001_5^6 - 17887093218885255282493874933477502/478067188870228\ 155653474928649133*c_1001_5^5 - 18646998601210622599845577099974584\ /478067188870228155653474928649133*c_1001_5^4 - 26362902757025448716814286389179833/9561343777404563113069498572982\ 66*c_1001_5^3 - 20401701189250857803513280123194133/956134377740456\ 311306949857298266*c_1001_5^2 - 799123135011237278281704828933139/4\ 78067188870228155653474928649133*c_1001_5 + 1001961071913959369965909375035554/47806718887022815565347492864913\ 3, c_0101_2 + 141423235998238114712236401425887/47806718887022815565347492\ 8649133*c_1001_5^18 - 16018403225731819199015887618472485/191226875\ 5480912622613899714596532*c_1001_5^17 + 75219009672381182783180270015740101/1912268755480912622613899714596\ 532*c_1001_5^16 + 231002309920739518999614555615134695/956134377740\ 456311306949857298266*c_1001_5^15 + 268784477933993725519632553431987569/478067188870228155653474928649\ 133*c_1001_5^14 + 482830225703416742262215845404980585/478067188870\ 228155653474928649133*c_1001_5^13 + 3104477641753458461371735705837747571/19122687554809126226138997145\ 96532*c_1001_5^12 + 1908139544146315055626940469199404963/956134377\ 740456311306949857298266*c_1001_5^11 + 3812727997237526312689897639775473521/19122687554809126226138997145\ 96532*c_1001_5^10 + 1714288387730491376947154987862318903/956134377\ 740456311306949857298266*c_1001_5^9 + 1262816849817588569321197705000140717/95613437774045631130694985729\ 8266*c_1001_5^8 + 1489526197531181501490796560600065139/19122687554\ 80912622613899714596532*c_1001_5^7 + 1046383223292746189870389089989291829/19122687554809126226138997145\ 96532*c_1001_5^6 + 744116044001516600681367811605000811/19122687554\ 80912622613899714596532*c_1001_5^5 + 635736376140082544350209405130569111/191226875548091262261389971459\ 6532*c_1001_5^4 + 127382787057122114064822522465084495/478067188870\ 228155653474928649133*c_1001_5^3 + 388012500050948803153789885529024613/191226875548091262261389971459\ 6532*c_1001_5^2 + 154332004759656852918052592094162243/191226875548\ 0912622613899714596532*c_1001_5 + 211369886446496511787704005159768\ 87/1912268755480912622613899714596532, c_0101_5 + 78501406425491601897229551684013/191226875548091262261389971\ 4596532*c_1001_5^18 - 1083308000054855541376389942642813/9561343777\ 40456311306949857298266*c_1001_5^17 + 8834221539515874962893105079801985/19122687554809126226138997145965\ 32*c_1001_5^16 + 35948686318144729013277071703095069/95613437774045\ 6311306949857298266*c_1001_5^15 + 968780359622861335519238358441579\ 93/956134377740456311306949857298266*c_1001_5^14 + 365893607354104675090260926139472179/191226875548091262261389971459\ 6532*c_1001_5^13 + 601806078419242303228006532176746629/19122687554\ 80912622613899714596532*c_1001_5^12 + 800629540933234499093658637535701357/191226875548091262261389971459\ 6532*c_1001_5^11 + 848111076587690213078651743496640771/19122687554\ 80912622613899714596532*c_1001_5^10 + 390363777742568582114498414536946303/956134377740456311306949857298\ 266*c_1001_5^9 + 618762635461718602477311136852796281/1912268755480\ 912622613899714596532*c_1001_5^8 + 197111010559111758096265972203581357/956134377740456311306949857298\ 266*c_1001_5^7 + 124001282006413325818923567344748029/9561343777404\ 56311306949857298266*c_1001_5^6 + 909339283638865345518933390998011\ 75/956134377740456311306949857298266*c_1001_5^5 + 146205278920190331690293339065001471/191226875548091262261389971459\ 6532*c_1001_5^4 + 121774421003719547462500572562734003/191226875548\ 0912622613899714596532*c_1001_5^3 + 46819487202554114346480465613027339/9561343777404563113069498572982\ 66*c_1001_5^2 + 25448479668238951489456277720945715/956134377740456\ 311306949857298266*c_1001_5 + 11269367989856572817289697904516727/1\ 912268755480912622613899714596532, c_1001_0 + 175776590992496635783975737577286/47806718887022815565347492\ 8649133*c_1001_5^18 - 19907294141992199875981085982119397/191226875\ 5480912622613899714596532*c_1001_5^17 + 93430065266899963470062100248885719/1912268755480912622613899714596\ 532*c_1001_5^16 + 143622447660961443329188471747089425/478067188870\ 228155653474928649133*c_1001_5^15 + 669175261661864222247523499834216909/956134377740456311306949857298\ 266*c_1001_5^14 + 601102045219388434559728023828992180/478067188870\ 228155653474928649133*c_1001_5^13 + 3862716945666793431717380501851552413/19122687554809126226138997145\ 96532*c_1001_5^12 + 2374710160439145546412270378928616239/956134377\ 740456311306949857298266*c_1001_5^11 + 4744289677474284509820408189265544997/19122687554809126226138997145\ 96532*c_1001_5^10 + 1065139590286269474501992936080075703/478067188\ 870228155653474928649133*c_1001_5^9 + 1569644889334704857372989251624084965/95613437774045631130694985729\ 8266*c_1001_5^8 + 1853448853019675919444184399737169609/19122687554\ 80912622613899714596532*c_1001_5^7 + 1298203786860327156175323472821765085/19122687554809126226138997145\ 96532*c_1001_5^6 + 928346679760799341064990875208685609/19122687554\ 80912622613899714596532*c_1001_5^5 + 792370573073199897661573448655996597/191226875548091262261389971459\ 6532*c_1001_5^4 + 157684002956073757220218831441902321/478067188870\ 228155653474928649133*c_1001_5^3 + 483929757295908395832218987396799477/191226875548091262261389971459\ 6532*c_1001_5^2 + 191496514907039902198902646388995781/191226875548\ 0912622613899714596532*c_1001_5 + 268632295513774963127297466510264\ 05/1912268755480912622613899714596532, c_1001_5^19 - 28*c_1001_5^18 + 124*c_1001_5^17 + 859*c_1001_5^16 + 2158*c_1001_5^15 + 4009*c_1001_5^14 + 6551*c_1001_5^13 + 8452*c_1001_5^12 + 8827*c_1001_5^11 + 8133*c_1001_5^10 + 6325*c_1001_5^9 + 4002*c_1001_5^8 + 2651*c_1001_5^7 + 1887*c_1001_5^6 + 1532*c_1001_5^5 + 1246*c_1001_5^4 + 964*c_1001_5^3 + 483*c_1001_5^2 + 120*c_1001_5 + 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.420 Total time: 0.640 seconds, Total memory usage: 32.09MB