Magma V2.19-8 Tue Aug 20 2013 23:38:21 on localhost [Seed = 2968966296] Type ? for help. Type -D to quit. Loading file "K10a108__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a108 geometric_solution 9.84477130 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 2 1 3 0132 0132 1230 0132 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 1 0 -1 0 0 0 0 -1 7 0 -6 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.983998992036 1.290423866773 0 3 4 0 0132 1302 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 -1 1 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.626345734896 0.490013084886 3 0 6 5 0213 0132 0132 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 -1 0 1 1 0 -1 0 0 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.483757198195 0.650997910521 2 4 0 1 0213 1023 0132 2031 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 1 -1 0 0 0 0 -1 0 0 1 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.152196156263 0.613835211523 3 5 6 1 1023 3012 3012 0132 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 0 0 0 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.747847500992 0.943058496568 4 7 2 8 1230 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 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.183146694183 1.069547003070 8 4 9 2 0132 1230 0132 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 -1 1 7 0 0 -7 -7 1 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.183146694183 1.069547003070 10 5 10 9 0132 0132 0321 0321 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 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.298753558290 0.978705332769 6 10 5 9 0132 0132 0132 0132 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 1 -1 0 0 0 0 0 7 0 0 -7 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.915926025155 1.406701947314 10 7 8 6 3012 0321 0132 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 -1 0 0 1 6 0 0 -6 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.009593904932 0.623726830467 7 8 7 9 0132 0132 0321 1230 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 6 -6 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.585713449298 0.168988628800 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : negation(d['c_0011_10']), 'c_1001_7' : d['c_0101_6'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0101_5']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : d['c_0101_6'], 'c_1010_10' : d['c_0101_6'], '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_0011_9']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_0_5' : 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_1100_9' : d['c_1100_2'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1100_2'], 'c_1100_4' : negation(d['c_1001_0']), 'c_1100_7' : d['c_1001_10'], 'c_1100_6' : d['c_1100_2'], 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : d['c_1100_2'], 'c_1100_10' : d['c_0101_6'], 'c_1010_7' : d['c_1001_0'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0101_6'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_0101_4'], 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : d['c_1001_10'], 'c_1100_8' : d['c_1100_2'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : d['c_0011_3'], 'c_0011_7' : negation(d['c_0011_10']), '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_0011_9'], 'c_0101_7' : d['c_0011_9'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_6'], 'c_0101_8' : d['c_0011_3'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : negation(d['c_0101_5']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : negation(d['c_0011_9']), 'c_0110_6' : d['c_0011_3']})} 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_9, c_0101_0, c_0101_4, c_0101_5, c_0101_6, c_1001_0, c_1001_10, c_1100_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 9970457674029099530899167545377313/57405929244857986861874410643561\ 6*c_1100_2^24 + 94049337462495370057521570564794567/574059292448579\ 868618744106435616*c_1100_2^23 - 1350533818935392755118742711716549\ /1630850262638010990394159393283*c_1100_2^22 + 833796771459488454534555729664102649/287029646224289934309372053217\ 808*c_1100_2^21 - 2206566795658775678777833484092583761/28702964622\ 4289934309372053217808*c_1100_2^20 + 1334575410783879258923071700042934127/82008470349797124088392015205\ 088*c_1100_2^19 - 8345763033275719217020925102964287859/28702964622\ 4289934309372053217808*c_1100_2^18 + 3286335697125689717508285944610413903/71757411556072483577343013304\ 452*c_1100_2^17 - 37996930042602826246579287763990526315/5740592924\ 48579868618744106435616*c_1100_2^16 + 50885578157503679728712428022386179271/5740592924485798686187441064\ 35616*c_1100_2^15 - 5625900058565960203742731973258825665/521872084\ 04416351692613100585056*c_1100_2^14 + 66969111857230278982463243061799372105/5740592924485798686187441064\ 35616*c_1100_2^13 - 64001767919772605242578418658814075211/57405929\ 2448579868618744106435616*c_1100_2^12 + 27403093561799996491643365535761214789/2870296462242899343093720532\ 17808*c_1100_2^11 - 21334965029529402392400790399531339267/28702964\ 6224289934309372053217808*c_1100_2^10 + 3583227914816180992364020867848515833/71757411556072483577343013304\ 452*c_1100_2^9 - 15072799182017489292943702787109784305/57405929244\ 8579868618744106435616*c_1100_2^8 + 150676427177738971244225273022596991/260936042022081758463065502925\ 28*c_1100_2^7 + 98990417893179255858311724675282700/179393528890181\ 20894335753326113*c_1100_2^6 - 485348746885787460659329409604486184\ 3/574059292448579868618744106435616*c_1100_2^5 + 1956942847577329578371095096833066909/28702964622428993430937205321\ 7808*c_1100_2^4 - 2292475357359427616486537807548050423/57405929244\ 8579868618744106435616*c_1100_2^3 + 1249013441909278987608794866836250025/57405929244857986861874410643\ 5616*c_1100_2^2 - 57128934512138357879575274679587041/7175741155607\ 2483577343013304452*c_1100_2 + 129592736407720996309843941275554813\ /574059292448579868618744106435616, c_0011_0 - 1, c_0011_10 - c_1100_2, c_0011_3 + 98030549877665350164078335/6051392440215254138753838194*c_11\ 00_2^24 + 149800016147819217349834479/6051392440215254138753838194*\ c_1100_2^23 - 5009609568080545764364834811/605139244021525413875383\ 8194*c_1100_2^22 + 15260738664681571036070769012/302569622010762706\ 9376919097*c_1100_2^21 - 114487490230909487461436443805/60513924402\ 15254138753838194*c_1100_2^20 + 153797244016866825017199285036/3025\ 696220107627069376919097*c_1100_2^19 - 321740912936195338414358735809/3025696220107627069376919097*c_1100_\ 2^18 + 563268865716786317275800052050/3025696220107627069376919097*\ c_1100_2^17 - 1737862341087734090433539288703/605139244021525413875\ 3838194*c_1100_2^16 + 2484099950735549636967063187111/6051392440215\ 254138753838194*c_1100_2^15 - 1650266076335215945250938281685/30256\ 96220107627069376919097*c_1100_2^14 + 3932026664017972758587436656659/6051392440215254138753838194*c_1100\ _2^13 - 4109145158234671249408158625795/605139244021525413875383819\ 4*c_1100_2^12 + 3768116237414137071396231211519/6051392440215254138\ 753838194*c_1100_2^11 - 1562851706648557966501912655502/30256962201\ 07627069376919097*c_1100_2^10 + 2384975935791131498616740492217/605\ 1392440215254138753838194*c_1100_2^9 - 741647111815870873063208261779/3025696220107627069376919097*c_1100_\ 2^8 + 331343283478644708610768604573/3025696220107627069376919097*c\ _1100_2^7 + 5298532101739126453412435497/30256962201076270693769190\ 97*c_1100_2^6 - 271630135117754605415890095575/60513924402152541387\ 53838194*c_1100_2^5 + 144777057350050473160338304865/30256962201076\ 27069376919097*c_1100_2^4 - 105012845075978154042518278945/30256962\ 20107627069376919097*c_1100_2^3 + 56660932225839633455293660649/302\ 5696220107627069376919097*c_1100_2^2 - 52277272816506517449793185021/6051392440215254138753838194*c_1100_2 + 7070107783102721197901884339/3025696220107627069376919097, c_0011_9 - 1141663003042348230245823943/3025696220107627069376919097*c_\ 1100_2^24 + 23315808344625791135957880767/6051392440215254138753838\ 194*c_1100_2^23 - 124683621336529443459402906987/605139244021525413\ 8753838194*c_1100_2^22 + 457608147510346682911850783901/60513924402\ 15254138753838194*c_1100_2^21 - 631286835223191227650948572071/3025\ 696220107627069376919097*c_1100_2^20 + 2769121360810353661947174824039/6051392440215254138753838194*c_1100\ _2^19 - 2539998299760142089545483106951/302569622010762706937691909\ 7*c_1100_2^18 + 4076886670780129168429421617023/3025696220107627069\ 376919097*c_1100_2^17 - 5961224728734158994583560312973/30256962201\ 07627069376919097*c_1100_2^16 + 16171618598001533051565102144757/60\ 51392440215254138753838194*c_1100_2^15 - 20042257726401878048412948419065/6051392440215254138753838194*c_110\ 0_2^14 + 11071687841028351439707546761856/3025696220107627069376919\ 097*c_1100_2^13 - 21569385718076823211337520681721/6051392440215254\ 138753838194*c_1100_2^12 + 18710703657316535019984690737643/6051392\ 440215254138753838194*c_1100_2^11 - 14731525512567407637152065662853/6051392440215254138753838194*c_110\ 0_2^10 + 5103654927581171775511828749452/30256962201076270693769190\ 97*c_1100_2^9 - 5561895237271604953849710180285/6051392440215254138\ 753838194*c_1100_2^8 + 769933641619134605380121523775/3025696220107\ 627069376919097*c_1100_2^7 + 486129806907649564572946601201/3025696\ 220107627069376919097*c_1100_2^6 - 844620880864994712303208178765/3025696220107627069376919097*c_1100_\ 2^5 + 1393931757493707109961086638457/6051392440215254138753838194*\ c_1100_2^4 - 433872336889939568974367433483/30256962201076270693769\ 19097*c_1100_2^3 + 222364394527284313895092362448/30256962201076270\ 69376919097*c_1100_2^2 - 91017452025904810115408626579/302569622010\ 7627069376919097*c_1100_2 + 43047720513916170942990157923/605139244\ 0215254138753838194, c_0101_0 + 1325194709815955472325098231/6051392440215254138753838194*c_\ 1100_2^24 - 7323971485674390252117755396/30256962201076270693769190\ 97*c_1100_2^23 + 41113125571475383143354392006/30256962201076270693\ 76919097*c_1100_2^22 - 312338993166212581442552544957/6051392440215\ 254138753838194*c_1100_2^21 + 886375610449699908021220408479/605139\ 2440215254138753838194*c_1100_2^20 - 1984959716750086415195776440913/6051392440215254138753838194*c_1100\ _2^19 + 1844174767681378268516755615089/302569622010762706937691909\ 7*c_1100_2^18 - 2981707454981890431881740006952/3025696220107627069\ 376919097*c_1100_2^17 + 8750243537816072480745103656741/60513924402\ 15254138753838194*c_1100_2^16 - 5965241212278062561977194365602/302\ 5696220107627069376919097*c_1100_2^15 + 14911687435417306104791364521385/6051392440215254138753838194*c_110\ 0_2^14 - 16595235595061015688954799849787/6051392440215254138753838\ 194*c_1100_2^13 + 8112309517550818895467251460335/30256962201076270\ 69376919097*c_1100_2^12 - 7041005933732105143943886397299/302569622\ 0107627069376919097*c_1100_2^11 + 11127351932324036124217842200617/\ 6051392440215254138753838194*c_1100_2^10 - 7833398911625868795299587429787/6051392440215254138753838194*c_1100\ _2^9 + 4311150117793441864662780592119/6051392440215254138753838194\ *c_1100_2^8 - 626832004302853533886116787868/3025696220107627069376\ 919097*c_1100_2^7 - 360119202223685591340414159588/3025696220107627\ 069376919097*c_1100_2^6 + 1241607397487042236892582789309/605139244\ 0215254138753838194*c_1100_2^5 - 1013971573021287836511997452265/60\ 51392440215254138753838194*c_1100_2^4 + 319870805602587795400320038140/3025696220107627069376919097*c_1100_\ 2^3 - 170861457223728041810180355379/3025696220107627069376919097*c\ _1100_2^2 + 142468586225325934190363827151/605139244021525413875383\ 8194*c_1100_2 - 31393102409789147392049553901/605139244021525413875\ 3838194, c_0101_4 + 1484351131267426298684322465/6051392440215254138753838194*c_\ 1100_2^24 - 14498781074035123189922507611/6051392440215254138753838\ 194*c_1100_2^23 + 74737086246796307717429165579/6051392440215254138\ 753838194*c_1100_2^22 - 132703944510813805510786190917/302569622010\ 7627069376919097*c_1100_2^21 + 708606077751484027516516689775/60513\ 92440215254138753838194*c_1100_2^20 - 752934183783225520618263284045/3025696220107627069376919097*c_1100_\ 2^19 + 1344533219678970453900618461353/3025696220107627069376919097\ *c_1100_2^18 - 2113510444544667922064446140246/30256962201076270693\ 76919097*c_1100_2^17 + 6093688235712488978587460256351/605139244021\ 5254138753838194*c_1100_2^16 - 8157760402283094076565974273297/6051\ 392440215254138753838194*c_1100_2^15 + 4957758534119690925928378644028/3025696220107627069376919097*c_1100\ _2^14 - 10675831991752270713149463793997/60513924402152541387538381\ 94*c_1100_2^13 + 10123493562247124959588242897863/60513924402152541\ 38753838194*c_1100_2^12 - 8595657219410837020467471878965/605139244\ 0215254138753838194*c_1100_2^11 + 3325521492710077628329220158810/3\ 025696220107627069376919097*c_1100_2^10 - 4437401469716135784473461405439/6051392440215254138753838194*c_1100\ _2^9 + 1115303154632559107904817589817/3025696220107627069376919097\ *c_1100_2^8 - 209532242934514984902355771140/3025696220107627069376\ 919097*c_1100_2^7 - 294067359822194389274128721975/3025696220107627\ 069376919097*c_1100_2^6 + 785547157708393519611940087473/6051392440\ 215254138753838194*c_1100_2^5 - 298176097605147304549582781716/3025\ 696220107627069376919097*c_1100_2^4 + 176749722905227527654320570459/3025696220107627069376919097*c_1100_\ 2^3 - 84372163411491368228736556150/3025696220107627069376919097*c_\ 1100_2^2 + 63237619136608878380479129185/60513924402152541387538381\ 94*c_1100_2 - 7521033599387175379942267682/302569622010762706937691\ 9097, c_0101_5 + 1484351131267426298684322465/6051392440215254138753838194*c_\ 1100_2^24 - 14498781074035123189922507611/6051392440215254138753838\ 194*c_1100_2^23 + 74737086246796307717429165579/6051392440215254138\ 753838194*c_1100_2^22 - 132703944510813805510786190917/302569622010\ 7627069376919097*c_1100_2^21 + 708606077751484027516516689775/60513\ 92440215254138753838194*c_1100_2^20 - 752934183783225520618263284045/3025696220107627069376919097*c_1100_\ 2^19 + 1344533219678970453900618461353/3025696220107627069376919097\ *c_1100_2^18 - 2113510444544667922064446140246/30256962201076270693\ 76919097*c_1100_2^17 + 6093688235712488978587460256351/605139244021\ 5254138753838194*c_1100_2^16 - 8157760402283094076565974273297/6051\ 392440215254138753838194*c_1100_2^15 + 4957758534119690925928378644028/3025696220107627069376919097*c_1100\ _2^14 - 10675831991752270713149463793997/60513924402152541387538381\ 94*c_1100_2^13 + 10123493562247124959588242897863/60513924402152541\ 38753838194*c_1100_2^12 - 8595657219410837020467471878965/605139244\ 0215254138753838194*c_1100_2^11 + 3325521492710077628329220158810/3\ 025696220107627069376919097*c_1100_2^10 - 4437401469716135784473461405439/6051392440215254138753838194*c_1100\ _2^9 + 1115303154632559107904817589817/3025696220107627069376919097\ *c_1100_2^8 - 209532242934514984902355771140/3025696220107627069376\ 919097*c_1100_2^7 - 294067359822194389274128721975/3025696220107627\ 069376919097*c_1100_2^6 + 785547157708393519611940087473/6051392440\ 215254138753838194*c_1100_2^5 - 298176097605147304549582781716/3025\ 696220107627069376919097*c_1100_2^4 + 176749722905227527654320570459/3025696220107627069376919097*c_1100_\ 2^3 - 84372163411491368228736556150/3025696220107627069376919097*c_\ 1100_2^2 + 63237619136608878380479129185/60513924402152541387538381\ 94*c_1100_2 - 7521033599387175379942267682/302569622010762706937691\ 9097, c_0101_6 + 1506472770305595108076406901/6051392440215254138753838194*c_\ 1100_2^24 - 7697494086002752330914173621/30256962201076270693769190\ 97*c_1100_2^23 + 41167785091218210159896222091/30256962201076270693\ 76919097*c_1100_2^22 - 302089804125409076045278381121/6051392440215\ 254138753838194*c_1100_2^21 + 832992708138792622369998638735/605139\ 2440215254138753838194*c_1100_2^20 - 1825305839574296946019113135609/6051392440215254138753838194*c_1100\ _2^19 + 1672444818838202935856934274695/302569622010762706937691909\ 7*c_1100_2^18 - 2681663752967332259804738900371/3025696220107627069\ 376919097*c_1100_2^17 + 7836158985252178996423311902027/60513924402\ 15254138753838194*c_1100_2^16 - 5311570893116288855054764783262/302\ 5696220107627069376919097*c_1100_2^15 + 13157141942722857385500383716665/6051392440215254138753838194*c_110\ 0_2^14 - 14519770332511879427290350883043/6051392440215254138753838\ 194*c_1100_2^13 + 7061915549906061318287904959787/30256962201076270\ 69376919097*c_1100_2^12 - 6119589381594461959041497242586/302569622\ 0107627069376919097*c_1100_2^11 + 9634413972253161347610214851953/6\ 051392440215254138753838194*c_1100_2^10 - 6679149997510609254450658828009/6051392440215254138753838194*c_1100\ _2^9 + 3640041453752970170987784813267/6051392440215254138753838194\ *c_1100_2^8 - 507903442672247422814735376244/3025696220107627069376\ 919097*c_1100_2^7 - 307970445695819246259673273695/3025696220107627\ 069376919097*c_1100_2^6 + 1079196845038070718610781016911/605139244\ 0215254138753838194*c_1100_2^5 - 875686475825047888617309756687/605\ 1392440215254138753838194*c_1100_2^4 + 273611172100682946759904505814/3025696220107627069376919097*c_1100_\ 2^3 - 138944251061516043563762397310/3025696220107627069376919097*c\ _1100_2^2 + 115591164310848001533264369275/605139244021525413875383\ 8194*c_1100_2 - 26898224587918435183922470683/605139244021525413875\ 3838194, c_1001_0 + 98030549877665350164078335/6051392440215254138753838194*c_11\ 00_2^24 + 149800016147819217349834479/6051392440215254138753838194*\ c_1100_2^23 - 5009609568080545764364834811/605139244021525413875383\ 8194*c_1100_2^22 + 15260738664681571036070769012/302569622010762706\ 9376919097*c_1100_2^21 - 114487490230909487461436443805/60513924402\ 15254138753838194*c_1100_2^20 + 153797244016866825017199285036/3025\ 696220107627069376919097*c_1100_2^19 - 321740912936195338414358735809/3025696220107627069376919097*c_1100_\ 2^18 + 563268865716786317275800052050/3025696220107627069376919097*\ c_1100_2^17 - 1737862341087734090433539288703/605139244021525413875\ 3838194*c_1100_2^16 + 2484099950735549636967063187111/6051392440215\ 254138753838194*c_1100_2^15 - 1650266076335215945250938281685/30256\ 96220107627069376919097*c_1100_2^14 + 3932026664017972758587436656659/6051392440215254138753838194*c_1100\ _2^13 - 4109145158234671249408158625795/605139244021525413875383819\ 4*c_1100_2^12 + 3768116237414137071396231211519/6051392440215254138\ 753838194*c_1100_2^11 - 1562851706648557966501912655502/30256962201\ 07627069376919097*c_1100_2^10 + 2384975935791131498616740492217/605\ 1392440215254138753838194*c_1100_2^9 - 741647111815870873063208261779/3025696220107627069376919097*c_1100_\ 2^8 + 331343283478644708610768604573/3025696220107627069376919097*c\ _1100_2^7 + 5298532101739126453412435497/30256962201076270693769190\ 97*c_1100_2^6 - 271630135117754605415890095575/60513924402152541387\ 53838194*c_1100_2^5 + 144777057350050473160338304865/30256962201076\ 27069376919097*c_1100_2^4 - 105012845075978154042518278945/30256962\ 20107627069376919097*c_1100_2^3 + 56660932225839633455293660649/302\ 5696220107627069376919097*c_1100_2^2 - 52277272816506517449793185021/6051392440215254138753838194*c_1100_2 + 7070107783102721197901884339/3025696220107627069376919097, c_1001_10 - 615296301486006175865529795/3025696220107627069376919097*c_\ 1100_2^24 + 6455084947100407187429997601/30256962201076270693769190\ 97*c_1100_2^23 - 35186313812617103368941435326/30256962201076270693\ 76919097*c_1100_2^22 + 131181853822177950340801377818/3025696220107\ 627069376919097*c_1100_2^21 - 367281020348402038182983619292/302569\ 6220107627069376919097*c_1100_2^20 + 816194953671084153013849850444/3025696220107627069376919097*c_1100_\ 2^19 - 1513595998881100031773012063003/3025696220107627069376919097\ *c_1100_2^18 + 2449974887242236685499158247132/30256962201076270693\ 76919097*c_1100_2^17 - 3603737026193205170696241547537/302569622010\ 7627069376919097*c_1100_2^16 + 4916288774666033478245822163253/3025\ 696220107627069376919097*c_1100_2^15 - 6140703144614991656735318531788/3025696220107627069376919097*c_1100\ _2^14 + 6852193110395809988593255097208/302569622010762706937691909\ 7*c_1100_2^13 - 6747461839160734825107151581453/3025696220107627069\ 376919097*c_1100_2^12 + 5912870906642558354795559146033/30256962201\ 07627069376919097*c_1100_2^11 - 4704259524086578303116225629499/302\ 5696220107627069376919097*c_1100_2^10 + 3317527025544430959620020724898/3025696220107627069376919097*c_1100\ _2^9 - 1868025524795952934820995730572/3025696220107627069376919097\ *c_1100_2^8 + 596662682386072921974233175849/3025696220107627069376\ 919097*c_1100_2^7 + 236528181218685611959847557580/3025696220107627\ 069376919097*c_1100_2^6 - 497533554514901737191145594233/3025696220\ 107627069376919097*c_1100_2^5 + 434779477147880949934465487208/3025\ 696220107627069376919097*c_1100_2^4 - 276229958366705561888278558329/3025696220107627069376919097*c_1100_\ 2^3 + 144258857805479849676756462018/3025696220107627069376919097*c\ _1100_2^2 - 61199826319540235615252555236/3025696220107627069376919\ 097*c_1100_2 + 14415254022963073438409039633/3025696220107627069376\ 919097, c_1100_2^25 - 10*c_1100_2^24 + 53*c_1100_2^23 - 194*c_1100_2^22 + 536*c_1100_2^21 - 1183*c_1100_2^20 + 2193*c_1100_2^19 - 3562*c_1100_2^18 + 5267*c_1100_2^17 - 7208*c_1100_2^16 + 9024*c_1100_2^15 - 10138*c_1100_2^14 + 10118*c_1100_2^13 - 9035*c_1100_2^12 + 7316*c_1100_2^11 - 5242*c_1100_2^10 + 3097*c_1100_2^9 - 1165*c_1100_2^8 - 130*c_1100_2^7 + 659*c_1100_2^6 - 659*c_1100_2^5 + 453*c_1100_2^4 - 254*c_1100_2^3 + 115*c_1100_2^2 - 37*c_1100_2 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.190 Total time: 0.400 seconds, Total memory usage: 32.09MB