Magma V2.19-8 Tue Aug 20 2013 23:38:25 on localhost [Seed = 4020866004] Type ? for help. Type -D to quit. Loading file "K11a336__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11a336 geometric_solution 9.99800104 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 11 1 2 2 3 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.655012425239 0.628509899923 0 4 3 5 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 1 0 0 0 0 0 -1 11 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.671128360437 1.222684089263 0 0 5 6 2031 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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.205145646249 0.762693669737 3 3 0 1 1302 2031 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 -1 1 0 1 0 0 -1 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.889150533206 0.875190644634 5 1 7 6 0213 0132 0132 2103 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 -1 0 0 0 0 0 0 0 0 0 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.687162391712 0.436200666083 4 8 1 2 0213 0132 0132 3012 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 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.240676163446 0.696728494853 9 8 2 4 0132 3201 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.793441227983 1.120801634523 9 10 10 4 2103 0132 2103 0132 0 0 0 0 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 -1 1 -1 0 1 0 11 0 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.375624355355 0.479236973573 9 5 6 10 3201 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.248834308322 0.904133575523 6 10 7 8 0132 2310 2103 2310 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 -11 10 -1 0 1 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.210278868125 0.562745710895 7 7 8 9 2103 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.013115221300 1.292573992113 ==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_10'], 'c_1001_4' : d['c_1001_10'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_6'], 'c_1001_3' : negation(d['c_0110_3']), 'c_1001_2' : negation(d['c_0110_3']), 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : negation(d['c_0101_2']), 'c_1010_10' : d['c_0011_10'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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' : negation(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' : negation(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' : negation(d['c_0011_5']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0110_3'], 'c_1100_4' : negation(d['c_0101_10']), 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_0110_4']), 'c_1100_1' : d['c_0110_3'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0110_4']), 'c_1100_10' : d['c_0011_6'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : d['c_1001_10'], 'c_1010_0' : negation(d['c_0110_3']), 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : d['c_1001_10'], 'c_1100_8' : d['c_0011_6'], 's_3_1' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_6']), 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), '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_10' : d['c_0101_10'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : negation(d['c_0101_6']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0110_4']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0011_5'], 'c_0110_6' : d['c_0101_10']})} 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_5, c_0011_6, c_0101_10, c_0101_2, c_0101_6, c_0110_3, c_0110_4, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 47590605584425531976670967539989303112489771/2633885450280354559874\ 17887946214086326937*c_1001_10^28 + 297122065775537501601496146873540416598622247/263388545028035455987\ 417887946214086326937*c_1001_10^27 + 583401993699860734048906532404463259341711341/263388545028035455987\ 417887946214086326937*c_1001_10^26 + 505556933949384191388572149466627134672093467/263388545028035455987\ 417887946214086326937*c_1001_10^25 + 209317495684615967860530006358565214654541215/376269350040050651410\ 59698278030583760991*c_1001_10^24 + 361691188886411603325281802771075391920621719/239444131843668596352\ 19807995110371484267*c_1001_10^23 + 4058918970266667855570340914533932250524608824/26338854502803545598\ 7417887946214086326937*c_1001_10^22 + 3768647544525526845068562432794751701344502410/26338854502803545598\ 7417887946214086326937*c_1001_10^21 + 731699773399382351191164003003824403563024304/239444131843668596352\ 19807995110371484267*c_1001_10^20 + 9436526910852337156841001098392680924331866804/26338854502803545598\ 7417887946214086326937*c_1001_10^19 + 4209245360018377297964469356497569076767839795/26338854502803545598\ 7417887946214086326937*c_1001_10^18 + 16283423016336100336868895343681015181100013/2607807376515202534528\ 889979665486003237*c_1001_10^17 + 623698647009923611209670442469958\ 144642460088/37626935004005065141059698278030583760991*c_1001_10^16 + 32011043083560936525487793105711215008465552/11451675870784150260\ 322516867226699405519*c_1001_10^15 - 884668469044891314600830813781865051759968369/239444131843668596352\ 19807995110371484267*c_1001_10^14 - 16847340291345158901305291683467606481404194655/2633885450280354559\ 87417887946214086326937*c_1001_10^13 - 1726958273351472993316193062778937377175595512/26338854502803545598\ 7417887946214086326937*c_1001_10^12 + 9184503768324975316503565107571874412631697562/26338854502803545598\ 7417887946214086326937*c_1001_10^11 + 891878082592308167532677021918069147972394193/239444131843668596352\ 19807995110371484267*c_1001_10^10 + 9912556937327778670228238758236524092461774613/26338854502803545598\ 7417887946214086326937*c_1001_10^9 + 1561488670914476769439060472493164590729967193/23944413184366859635\ 219807995110371484267*c_1001_10^8 + 3097388076678245589093837662199013308983902190/37626935004005065141\ 059698278030583760991*c_1001_10^7 + 2085492683144963260222594547177162228781485/53220558704391888459773\ 264891132367413*c_1001_10^6 - 7456669679217888346086332746978170888\ 678381587/263388545028035455987417887946214086326937*c_1001_10^5 - 16760876455811159917808258627324839324383251018/2633885450280354559\ 87417887946214086326937*c_1001_10^4 - 2193382147012694194113388605515893288629675696/37626935004005065141\ 059698278030583760991*c_1001_10^3 - 8633863986981070355263112686731526068332588198/26338854502803545598\ 7417887946214086326937*c_1001_10^2 - 454092738868724387145236297748445884583013229/376269350040050651410\ 59698278030583760991*c_1001_10 - 6778728132133244777785550643701924\ 24207074779/263388545028035455987417887946214086326937, c_0011_0 - 1, c_0011_10 + 90395950414947660213422531198242/36867118801034453478983769\ 1786049*c_1001_10^28 + 562025171584283469117056500671246/3686711880\ 10344534789837691786049*c_1001_10^27 + 1089669398409683323591124335226358/36867118801034453478983769178604\ 9*c_1001_10^26 + 906039843075744752473622864483700/3686711880103445\ 34789837691786049*c_1001_10^25 + 2702109454480015507067258741294686\ /368671188010344534789837691786049*c_1001_10^24 + 7431246588050990805919246948769745/36867118801034453478983769178604\ 9*c_1001_10^23 + 7399292242693583985817269007000352/368671188010344\ 534789837691786049*c_1001_10^22 + 661351591383020521776380378135409\ 0/368671188010344534789837691786049*c_1001_10^21 + 14667179977295285762081485329490633/3686711880103445347898376917860\ 49*c_1001_10^20 + 17198156741571686389890807390867454/3686711880103\ 44534789837691786049*c_1001_10^19 + 6949104895329442991186962551871875/36867118801034453478983769178604\ 9*c_1001_10^18 + 19783399470911430327672219983590/36502097822806389\ 58315224671149*c_1001_10^17 + 7723855523968983198638155711818958/36\ 8671188010344534789837691786049*c_1001_10^16 + 1275435941163480556209849576587424/36867118801034453478983769178604\ 9*c_1001_10^15 - 18656004874686804439130335548562514/36867118801034\ 4534789837691786049*c_1001_10^14 - 31753377272625065443312777622556482/3686711880103445347898376917860\ 49*c_1001_10^13 - 1762286525127139379102327179014099/36867118801034\ 4534789837691786049*c_1001_10^12 + 19456717249387325173536313405175426/3686711880103445347898376917860\ 49*c_1001_10^11 + 18840723713088200063376539767258468/3686711880103\ 44534789837691786049*c_1001_10^10 + 16911991129274876584663979268869943/3686711880103445347898376917860\ 49*c_1001_10^9 + 30396163542949131278001556672274230/36867118801034\ 4534789837691786049*c_1001_10^8 + 402746972663386983537387378175463\ 72/368671188010344534789837691786049*c_1001_10^7 + 171429822034867500007495738774644/3650209782280638958315224671149*c\ _1001_10^6 - 16765399928752114336258953760204179/368671188010344534\ 789837691786049*c_1001_10^5 - 32860075019792323211866416696273110/3\ 68671188010344534789837691786049*c_1001_10^4 - 27041203775914084345214523440320053/3686711880103445347898376917860\ 49*c_1001_10^3 - 13405701353833033948868464135243301/36867118801034\ 4534789837691786049*c_1001_10^2 - 451259188214493645806781399159229\ 2/368671188010344534789837691786049*c_1001_10 - 805747526296754885330989465152095/368671188010344534789837691786049\ , c_0011_3 - 1505368276588931543583879966042265/3686711880103445347898376\ 91786049*c_1001_10^28 - 9529621597171482262300299524411341/36867118\ 8010344534789837691786049*c_1001_10^27 - 19173334237377466982285470317196614/3686711880103445347898376917860\ 49*c_1001_10^26 - 17010108126627406559828124953546441/3686711880103\ 44534789837691786049*c_1001_10^25 - 46722683514102915170162661074050432/3686711880103445347898376917860\ 49*c_1001_10^24 - 129239918410319927845687688257630896/368671188010\ 344534789837691786049*c_1001_10^23 - 136657333628520402450266227375992746/368671188010344534789837691786\ 049*c_1001_10^22 - 123027576380451144844004189357396673/36867118801\ 0344534789837691786049*c_1001_10^21 - 259181598869041417158679215285190248/368671188010344534789837691786\ 049*c_1001_10^20 - 315801883502988322877862739857752183/36867118801\ 0344534789837691786049*c_1001_10^19 - 144788726262537425985110681399821382/368671188010344534789837691786\ 049*c_1001_10^18 - 483690251768217657099673951944334/36502097822806\ 38958315224671149*c_1001_10^17 - 1408420247882103736436055963828029\ 62/368671188010344534789837691786049*c_1001_10^16 - 34944108227933806690747267472269970/3686711880103445347898376917860\ 49*c_1001_10^15 + 315191610660983801020297141750985015/368671188010\ 344534789837691786049*c_1001_10^14 + 558102552254076887387612756330982531/368671188010344534789837691786\ 049*c_1001_10^13 + 79236263722560222344607371184428803/368671188010\ 344534789837691786049*c_1001_10^12 - 313592900193167155441963526022190052/368671188010344534789837691786\ 049*c_1001_10^11 - 326839900698570529659662290563116135/36867118801\ 0344534789837691786049*c_1001_10^10 - 320866318595449148147091908013512783/368671188010344534789837691786\ 049*c_1001_10^9 - 557321536898626433483393926739744388/368671188010\ 344534789837691786049*c_1001_10^8 - 721306046046453876413176281232671303/368671188010344534789837691786\ 049*c_1001_10^7 - 3507260264334210102316344282943287/36502097822806\ 38958315224671149*c_1001_10^6 + 24016450723730436563282956563589582\ 6/368671188010344534789837691786049*c_1001_10^5 + 557142904012026821120432140436015993/368671188010344534789837691786\ 049*c_1001_10^4 + 509580248013501126909189298306110692/368671188010\ 344534789837691786049*c_1001_10^3 + 286650241878981619414862859113418770/368671188010344534789837691786\ 049*c_1001_10^2 + 105209079119196283862145287407089102/368671188010\ 344534789837691786049*c_1001_10 + 222644337011139079494143959987598\ 12/368671188010344534789837691786049, c_0011_5 + 423546366167867886327229397826687/36867118801034453478983769\ 1786049*c_1001_10^28 + 2655587303006550786704092473682227/368671188\ 010344534789837691786049*c_1001_10^27 + 5260748304419480154546229955763702/36867118801034453478983769178604\ 9*c_1001_10^26 + 4625113107493225259948841862952945/368671188010344\ 534789837691786049*c_1001_10^25 + 131279898156563977601671501189289\ 96/368671188010344534789837691786049*c_1001_10^24 + 35714214143860666766783078259438661/3686711880103445347898376917860\ 49*c_1001_10^23 + 36997433229722832889884716153329747/3686711880103\ 44534789837691786049*c_1001_10^22 + 34320277843720745769882069927244329/3686711880103445347898376917860\ 49*c_1001_10^21 + 72225028476453984462135754879137314/3686711880103\ 44534789837691786049*c_1001_10^20 + 85602450950627256732719221723889143/3686711880103445347898376917860\ 49*c_1001_10^19 + 39365436153733759628740416987284232/3686711880103\ 44534789837691786049*c_1001_10^18 + 148901466447067993279703421073098/3650209782280638958315224671149*c\ _1001_10^17 + 38726924368575482371275451645408355/36867118801034453\ 4789837691786049*c_1001_10^16 + 7550462491810792801309767708626274/\ 368671188010344534789837691786049*c_1001_10^15 - 86491956243983513612838904932323029/3686711880103445347898376917860\ 49*c_1001_10^14 - 152446856144007529988016572825365688/368671188010\ 344534789837691786049*c_1001_10^13 - 19028505093497213527630942551044969/3686711880103445347898376917860\ 49*c_1001_10^12 + 82434406650238474090033479419911971/3686711880103\ 44534789837691786049*c_1001_10^11 + 90170286617092601177626206081372839/3686711880103445347898376917860\ 49*c_1001_10^10 + 90178342027491493482849643253327633/3686711880103\ 44534789837691786049*c_1001_10^9 + 154088285146214431832543771405670768/368671188010344534789837691786\ 049*c_1001_10^8 + 196484180436513633419910015510904885/368671188010\ 344534789837691786049*c_1001_10^7 + 951193185011551413360449593831516/3650209782280638958315224671149*c\ _1001_10^6 - 65075027162387685453340778790333630/368671188010344534\ 789837691786049*c_1001_10^5 - 151822551229197355253632012176420073/\ 368671188010344534789837691786049*c_1001_10^4 - 140628777708482259820342500275254945/368671188010344534789837691786\ 049*c_1001_10^3 - 79191634849696063562929534100000265/3686711880103\ 44534789837691786049*c_1001_10^2 - 28953804071174610114159234455275849/3686711880103445347898376917860\ 49*c_1001_10 - 6013945983050716085857220776721994/36867118801034453\ 4789837691786049, c_0011_6 - 423546366167867886327229397826687/36867118801034453478983769\ 1786049*c_1001_10^28 - 2655587303006550786704092473682227/368671188\ 010344534789837691786049*c_1001_10^27 - 5260748304419480154546229955763702/36867118801034453478983769178604\ 9*c_1001_10^26 - 4625113107493225259948841862952945/368671188010344\ 534789837691786049*c_1001_10^25 - 131279898156563977601671501189289\ 96/368671188010344534789837691786049*c_1001_10^24 - 35714214143860666766783078259438661/3686711880103445347898376917860\ 49*c_1001_10^23 - 36997433229722832889884716153329747/3686711880103\ 44534789837691786049*c_1001_10^22 - 34320277843720745769882069927244329/3686711880103445347898376917860\ 49*c_1001_10^21 - 72225028476453984462135754879137314/3686711880103\ 44534789837691786049*c_1001_10^20 - 85602450950627256732719221723889143/3686711880103445347898376917860\ 49*c_1001_10^19 - 39365436153733759628740416987284232/3686711880103\ 44534789837691786049*c_1001_10^18 - 148901466447067993279703421073098/3650209782280638958315224671149*c\ _1001_10^17 - 38726924368575482371275451645408355/36867118801034453\ 4789837691786049*c_1001_10^16 - 7550462491810792801309767708626274/\ 368671188010344534789837691786049*c_1001_10^15 + 86491956243983513612838904932323029/3686711880103445347898376917860\ 49*c_1001_10^14 + 152446856144007529988016572825365688/368671188010\ 344534789837691786049*c_1001_10^13 + 19028505093497213527630942551044969/3686711880103445347898376917860\ 49*c_1001_10^12 - 82434406650238474090033479419911971/3686711880103\ 44534789837691786049*c_1001_10^11 - 90170286617092601177626206081372839/3686711880103445347898376917860\ 49*c_1001_10^10 - 90178342027491493482849643253327633/3686711880103\ 44534789837691786049*c_1001_10^9 - 154088285146214431832543771405670768/368671188010344534789837691786\ 049*c_1001_10^8 - 196484180436513633419910015510904885/368671188010\ 344534789837691786049*c_1001_10^7 - 951193185011551413360449593831516/3650209782280638958315224671149*c\ _1001_10^6 + 65075027162387685453340778790333630/368671188010344534\ 789837691786049*c_1001_10^5 + 151822551229197355253632012176420073/\ 368671188010344534789837691786049*c_1001_10^4 + 140628777708482259820342500275254945/368671188010344534789837691786\ 049*c_1001_10^3 + 79191634849696063562929534100000265/3686711880103\ 44534789837691786049*c_1001_10^2 + 28953804071174610114159234455275849/3686711880103445347898376917860\ 49*c_1001_10 + 6013945983050716085857220776721994/36867118801034453\ 4789837691786049, c_0101_10 + 454807389816773598948810137291089/3686711880103445347898376\ 91786049*c_1001_10^28 + 2824088898529517034725954730004274/36867118\ 8010344534789837691786049*c_1001_10^27 + 5479863250062206488838934199465887/36867118801034453478983769178604\ 9*c_1001_10^26 + 4643792283596139765074312545973787/368671188010344\ 534789837691786049*c_1001_10^25 + 138389065860129468798371582906250\ 56/368671188010344534789837691786049*c_1001_10^24 + 37575078213387971878522328029090845/3686711880103445347898376917860\ 49*c_1001_10^23 + 37568339470841677352978010494758004/3686711880103\ 44534789837691786049*c_1001_10^22 + 34683230232489476946681741000002285/3686711880103445347898376917860\ 49*c_1001_10^21 + 75767232590002994664436764185911463/3686711880103\ 44534789837691786049*c_1001_10^20 + 88036920842036804853385369057389795/3686711880103445347898376917860\ 49*c_1001_10^19 + 37278047422099957767969401039455064/3686711880103\ 44534789837691786049*c_1001_10^18 + 141017232067184328636730657339861/3650209782280638958315224671149*c\ _1001_10^17 + 42112350119199072189376328354906381/36867118801034453\ 4789837691786049*c_1001_10^16 + 6233443577488481982980356589103457/\ 368671188010344534789837691786049*c_1001_10^15 - 93826837708415135692263269845625844/3686711880103445347898376917860\ 49*c_1001_10^14 - 157771145451971983848639527402438138/368671188010\ 344534789837691786049*c_1001_10^13 - 10050358651310182997786561132504262/3686711880103445347898376917860\ 49*c_1001_10^12 + 87899564566407410998194486954024274/3686711880103\ 44534789837691786049*c_1001_10^11 + 89659869785554977319730311073083469/3686711880103445347898376917860\ 49*c_1001_10^10 + 90415006617511576782451692444916176/3686711880103\ 44534789837691786049*c_1001_10^9 + 162560168873500053448902355276479247/368671188010344534789837691786\ 049*c_1001_10^8 + 202342113896923618111482753645075080/368671188010\ 344534789837691786049*c_1001_10^7 + 901787441575461333846902356247041/3650209782280638958315224671149*c\ _1001_10^6 - 73897870233494705082681346672345162/368671188010344534\ 789837691786049*c_1001_10^5 - 156356524610382008363729875020379852/\ 368671188010344534789837691786049*c_1001_10^4 - 140209010648162960113481031648005199/368671188010344534789837691786\ 049*c_1001_10^3 - 78214184267608067718384284736154431/3686711880103\ 44534789837691786049*c_1001_10^2 - 28696578692506856060225392936555989/3686711880103445347898376917860\ 49*c_1001_10 - 6074891567133948696901046977094795/36867118801034453\ 4789837691786049, c_0101_2 + 981913384530653680477620372042508/36867118801034453478983769\ 1786049*c_1001_10^28 + 6155062003015510873959069182603097/368671188\ 010344534789837691786049*c_1001_10^27 + 12149499944601641536017530510159813/3686711880103445347898376917860\ 49*c_1001_10^26 + 10496494853560284297137206867655933/3686711880103\ 44534789837691786049*c_1001_10^25 + 30125904098455124571523031861776512/3686711880103445347898376917860\ 49*c_1001_10^24 + 82676278438226644466377657104158017/3686711880103\ 44534789837691786049*c_1001_10^23 + 84723892617470581060398285275736312/3686711880103445347898376917860\ 49*c_1001_10^22 + 77026184576490001520788723469903985/3686711880103\ 44534789837691786049*c_1001_10^21 + 166347269993497510332642923713325075/368671188010344534789837691786\ 049*c_1001_10^20 + 197300921705671062976566157221825057/36867118801\ 0344534789837691786049*c_1001_10^19 + 85994574266786634005269556967066737/3686711880103445347898376917860\ 49*c_1001_10^18 + 311680735751164751440750138025557/365020978228063\ 8958315224671149*c_1001_10^17 + 91520793770598345323299759793325766\ /368671188010344534789837691786049*c_1001_10^16 + 16858024992174874136783295659820169/3686711880103445347898376917860\ 49*c_1001_10^15 - 204157474828228608332997480058440914/368671188010\ 344534789837691786049*c_1001_10^14 - 350772058968098544729991743130665824/368671188010344534789837691786\ 049*c_1001_10^13 - 35914447502254339434865434576954326/368671188010\ 344534789837691786049*c_1001_10^12 + 197896897463526991137956724699356873/368671188010344534789837691786\ 049*c_1001_10^11 + 201421528093792084525013757156032726/36867118801\ 0344534789837691786049*c_1001_10^10 + 202460967701442715063118163071708785/368671188010344534789837691786\ 049*c_1001_10^9 + 356249886577233183406585697485300310/368671188010\ 344534789837691786049*c_1001_10^8 + 451495322217024247467922192835094452/368671188010344534789837691786\ 049*c_1001_10^7 + 2103334544745140196092118812007408/36502097822806\ 38958315224671149*c_1001_10^6 - 15909924920078182782929922171373783\ 7/368671188010344534789837691786049*c_1001_10^5 - 349898048567620737872281500657474308/368671188010344534789837691786\ 049*c_1001_10^4 - 316161253645214593339310583461812320/368671188010\ 344534789837691786049*c_1001_10^3 - 176599260493815546464332314809471418/368671188010344534789837691786\ 049*c_1001_10^2 - 64464613152507921428768332052698486/3686711880103\ 44534789837691786049*c_1001_10 - 1367313580925747462790949650892406\ 7/368671188010344534789837691786049, c_0101_6 + c_1001_10, c_0110_3 - 1989869723481692223264480609927022/3686711880103445347898376\ 91786049*c_1001_10^28 - 12572988467649880132599558288124988/3686711\ 88010344534789837691786049*c_1001_10^27 - 25246757349752865847867004877458672/3686711880103445347898376917860\ 49*c_1001_10^26 - 22483174126425699326745864469253836/3686711880103\ 44534789837691786049*c_1001_10^25 - 61960391283150871889310499970667971/3686711880103445347898376917860\ 49*c_1001_10^24 - 170318818021457042010109544668462756/368671188010\ 344534789837691786049*c_1001_10^23 - 179974716342414510036056690994468064/368671188010344534789837691786\ 049*c_1001_10^22 - 164079289322902839386401900374434687/36867118801\ 0344534789837691786049*c_1001_10^21 - 342800812935089802206708932751393547/368671188010344534789837691786\ 049*c_1001_10^20 - 415305950101066138995170547638189540/36867118801\ 0344534789837691786049*c_1001_10^19 - 193700159603445531170926004289084563/368671188010344534789837691786\ 049*c_1001_10^18 - 675952338219318696978297064859065/36502097822806\ 38958315224671149*c_1001_10^17 - 1845329890527237198371822894346483\ 21/368671188010344534789837691786049*c_1001_10^16 - 44524294824672750332559363896732569/3686711880103445347898376917860\ 49*c_1001_10^15 + 412287375357917876629579626442971268/368671188010\ 344534789837691786049*c_1001_10^14 + 735189224434929237809219401487254641/368671188010344534789837691786\ 049*c_1001_10^13 + 107143055164603516359824286066339713/36867118801\ 0344534789837691786049*c_1001_10^12 - 403957366677438227906987942115202548/368671188010344534789837691786\ 049*c_1001_10^11 - 434530735283069744416789676646073463/36867118801\ 0344534789837691786049*c_1001_10^10 - 427930934629060684243341818673942197/368671188010344534789837691786\ 049*c_1001_10^9 - 735368050717288265353225671429524722/368671188010\ 344534789837691786049*c_1001_10^8 - 950805848345193212346031361003786720/368671188010344534789837691786\ 049*c_1001_10^7 - 4674961226259600351531920843635579/36502097822806\ 38958315224671149*c_1001_10^6 + 30947943518555283219329066531758639\ 4/368671188010344534789837691786049*c_1001_10^5 + 733001188571356016308333022214426761/368671188010344534789837691786\ 049*c_1001_10^4 + 676819370699473537665516109746567500/368671188010\ 344534789837691786049*c_1001_10^3 + 383001414628528092124050180373131171/368671188010344534789837691786\ 049*c_1001_10^2 + 141554485706263495355890013812728164/368671188010\ 344534789837691786049*c_1001_10 + 302321868517357216073321761353889\ 82/368671188010344534789837691786049, c_0110_4 - 637767908022900540867532559669707/36867118801034453478983769\ 1786049*c_1001_10^28 - 4038000357016430915527149676737879/368671188\ 010344534789837691786049*c_1001_10^27 - 8172447506155355826128547156092377/36867118801034453478983769178604\ 9*c_1001_10^26 - 7475810034394755850900081168604587/368671188010344\ 534789837691786049*c_1001_10^25 - 202087886845307265344621578893382\ 59/368671188010344534789837691786049*c_1001_10^24 - 54934670778760813899583769726060834/3686711880103445347898376917860\ 49*c_1001_10^23 - 59100564401487750838481557588723828/3686711880103\ 44534789837691786049*c_1001_10^22 - 55376415017146572966911845675369748/3686711880103445347898376917860\ 49*c_1001_10^21 - 111596694441594527472698907371871595/368671188010\ 344534789837691786049*c_1001_10^20 - 135211892350541391645976870008150048/368671188010344534789837691786\ 049*c_1001_10^19 - 68036027401624459950541225129805148/368671188010\ 344534789837691786049*c_1001_10^18 - 256699531822744292425415628010397/3650209782280638958315224671149*c\ _1001_10^17 - 58010018978340399941107051983271290/36867118801034453\ 4789837691786049*c_1001_10^16 - 15610239790040906624291840948588180\ /368671188010344534789837691786049*c_1001_10^15 + 128632611059247925199284202726628809/368671188010344534789837691786\ 049*c_1001_10^14 + 239221944734570694253394101779044925/36867118801\ 0344534789837691786049*c_1001_10^13 + 43779498642794031380346719116438921/3686711880103445347898376917860\ 49*c_1001_10^12 - 123707336799389984254772604721077219/368671188010\ 344534789837691786049*c_1001_10^11 - 145457965806364214565340911939267740/368671188010344534789837691786\ 049*c_1001_10^10 - 145019132114484960302527349755722868/36867118801\ 0344534789837691786049*c_1001_10^9 - 237505557645040209899085665724887466/368671188010344534789837691786\ 049*c_1001_10^8 - 311776949352278378060729749686074167/368671188010\ 344534789837691786049*c_1001_10^7 - 1618649687040935697229907195013339/3650209782280638958315224671149*\ c_1001_10^6 + 90636339303252836673772790248769127/36867118801034453\ 4789837691786049*c_1001_10^5 + 237059991943706911546402594780761622\ /368671188010344534789837691786049*c_1001_10^4 + 227019071614234027738632036726681267/368671188010344534789837691786\ 049*c_1001_10^3 + 131557089609109404429758387482064720/368671188010\ 344534789837691786049*c_1001_10^2 + 49966067328290296844510096073913009/3686711880103445347898376917860\ 49*c_1001_10 + 11087519728461423970655462616729654/3686711880103445\ 34789837691786049, c_1001_10^29 + 7*c_1001_10^28 + 17*c_1001_10^27 + 20*c_1001_10^26 + 39*c_1001_10^25 + 107*c_1001_10^24 + 149*c_1001_10^23 + 145*c_1001_10^22 + 230*c_1001_10^21 + 327*c_1001_10^20 + 241*c_1001_10^19 + 104*c_1001_10^18 + 118*c_1001_10^17 + 85*c_1001_10^16 - 191*c_1001_10^15 - 509*c_1001_10^14 - 308*c_1001_10^13 + 161*c_1001_10^12 + 354*c_1001_10^11 + 368*c_1001_10^10 + 520*c_1001_10^9 + 731*c_1001_10^8 + 567*c_1001_10^7 + 13*c_1001_10^6 - 470*c_1001_10^5 - 593*c_1001_10^4 - 430*c_1001_10^3 - 207*c_1001_10^2 - 66*c_1001_10 - 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.240 Total time: 0.450 seconds, Total memory usage: 32.09MB