Magma V2.19-8 Wed Aug 21 2013 00:55:11 on localhost [Seed = 1966305049] Type ? for help. Type -D to quit. Loading file "L13a2127__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a2127 geometric_solution 11.40296553 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 3201 1 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 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.746781263797 0.225846402426 0 0 1 1 0132 2310 1230 3012 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.322514808922 0.575225554600 4 0 3 5 0132 0132 1302 0132 1 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 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.726171107591 0.452057957845 2 5 6 0 2031 0132 0132 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 -1 1 -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.726171107591 0.452057957845 2 7 8 5 0132 0132 0132 2103 1 1 1 1 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 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.595493682106 0.749632352441 6 3 2 4 0321 0132 0132 2103 1 1 1 1 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 0 0 0 10 0 1 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.641652984692 0.265612978670 5 9 10 3 0321 0132 0132 0132 1 1 1 1 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 -1 1 0 0 1 -1 0 1 0 -1 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.595493682106 0.749632352441 11 4 9 9 0132 0132 3120 1023 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.838969111659 0.848388929271 10 12 12 4 0213 0132 1302 0132 1 1 1 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 -11 0 0 11 0 0 0 0 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.838969111659 0.848388929271 12 6 7 7 2031 0132 3120 1023 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.838969111659 0.848388929271 8 11 11 6 0213 1230 2310 0132 1 1 1 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 -1 0 1 0 0 1 -1 11 -1 0 -10 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.838969111659 0.848388929271 7 10 10 12 0132 3201 3012 2103 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 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -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.838969111659 0.848388929271 8 8 9 11 2031 0132 1302 2103 1 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 0 0 0 0 0 0 0 0 0 -1 1 -2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410684394291 0.595932351718 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_0110_12'], 'c_1001_12' : d['c_0110_9'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0110_9'], 'c_1001_7' : negation(d['c_1001_3']), 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : d['c_1001_3'], 'c_1001_8' : d['c_0110_12'], 'c_1010_12' : d['c_0110_12'], 'c_1010_11' : negation(d['c_0110_12']), 'c_1010_10' : d['c_0101_11'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_0'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], 'c_1100_7' : d['c_0101_7'], 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0110_12']), 'c_1100_10' : d['c_0011_0'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_9'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_1001_3'], 'c_1010_4' : negation(d['c_1001_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : d['c_0110_9'], 'c_1100_8' : d['c_0011_6'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_7']), '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_6']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_7'], 'c_0110_10' : negation(d['c_0101_4']), 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : d['c_0011_6'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_3'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_7']), 'c_0101_8' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_7']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0011_3']})} 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_4, c_0101_7, c_0110_12, c_0110_9, c_1001_0, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 300710366601011252642332352197229966526652091806664585781/989577674\ 329708591736697288695690780026263034100778752*c_1001_3^24 + 97950017958354668036795347206931324464847590089873697197821/1583324\ 2789275337467787156619131052480420208545612460032*c_1001_3^23 - 40658131856020250184006571530323186178738447052765151939139/1979155\ 348659417183473394577391381560052526068201557504*c_1001_3^22 + 29690072068520298795356693125972286629786053844060639399911/4947888\ 37164854295868348644347845390013131517050389376*c_1001_3^21 - 2966706860712624898783001122775771169008038917698652316303747/15833\ 242789275337467787156619131052480420208545612460032*c_1001_3^20 + 2278838303401743021260296514374608624906192084051726439710475/79166\ 21394637668733893578309565526240210104272806230016*c_1001_3^19 - 6746356107788067794820314333945310320394157902746845885071369/79166\ 21394637668733893578309565526240210104272806230016*c_1001_3^18 + 7255900182757898402754827513079350418878626395247152146529603/79166\ 21394637668733893578309565526240210104272806230016*c_1001_3^17 - 19293480374898513498567591372947409547275869597412499973207069/7916\ 621394637668733893578309565526240210104272806230016*c_1001_3^16 + 16675557500803792870831735950208224576371998262874916109716759/7916\ 621394637668733893578309565526240210104272806230016*c_1001_3^15 - 75539472167825194124822680759223720577910096331916729853993997/1583\ 3242789275337467787156619131052480420208545612460032*c_1001_3^14 + 28045691961566253809723552008270247981309529868364561529127041/7916\ 621394637668733893578309565526240210104272806230016*c_1001_3^13 - 52253398424701245968821996120424444092198868033907048884692309/7916\ 621394637668733893578309565526240210104272806230016*c_1001_3^12 + 68488416576802979340772802514026743270004758060448537255866589/1583\ 3242789275337467787156619131052480420208545612460032*c_1001_3^11 - 51072127740158799345031486864520935740650518171408012466085665/7916\ 621394637668733893578309565526240210104272806230016*c_1001_3^10 + 59512238927142491235667856866626553615083103724405463580537995/1583\ 3242789275337467787156619131052480420208545612460032*c_1001_3^9 - 17032251578771624677361600042827759873362823774202265756202547/3958\ 310697318834366946789154782763120105052136403115008*c_1001_3^8 + 17698772392726503640692753680277242370183927491717466027669321/7916\ 621394637668733893578309565526240210104272806230016*c_1001_3^7 - 14094764259987580972040226023893091673116187275498334695501979/7916\ 621394637668733893578309565526240210104272806230016*c_1001_3^6 + 6691821828020474584297231304400748334815574122619033785756697/79166\ 21394637668733893578309565526240210104272806230016*c_1001_3^5 - 5323789744161245052402128695752491797461546178678275845409727/15833\ 242789275337467787156619131052480420208545612460032*c_1001_3^4 + 1383579264819818386998835000963262000774311800839762673744533/79166\ 21394637668733893578309565526240210104272806230016*c_1001_3^3 + 462481092240346579011166467907609205791741707816033581455693/158332\ 42789275337467787156619131052480420208545612460032*c_1001_3^2 + 26132156731410565520262268457350375631282737706848877838981/1979155\ 348659417183473394577391381560052526068201557504*c_1001_3 + 4494767878877360009142305129395820342838248664902313323819/24739441\ 8582427147934174322173922695006565758525194688, c_0011_0 - 1, c_0011_10 - 1, c_0011_3 + 66551341098071635371200164115999514864464793/129471683670775\ 037837866923165831295020615287*c_1001_3^24 - 1531857974056814103383003244453535549215253889/20715469387324006054\ 05870770653300720329844592*c_1001_3^23 + 264384965491093490906217423026013023736546175/129471683670775037837\ 866923165831295020615287*c_1001_3^22 - 1297599779292075450285767273832428757928152461/12947168367077503783\ 7866923165831295020615287*c_1001_3^21 - 7912127711197890218370549937127358263728172961/20715469387324006054\ 05870770653300720329844592*c_1001_3^20 - 55336085882268127600558116341258695851575982611/1035773469366200302\ 702935385326650360164922296*c_1001_3^19 - 46218438395488485817135163753010576179037000771/1035773469366200302\ 702935385326650360164922296*c_1001_3^18 - 162849806446995025092935680175251332076477982455/103577346936620030\ 2702935385326650360164922296*c_1001_3^17 - 151843629779338520146579412620241097822584075087/103577346936620030\ 2702935385326650360164922296*c_1001_3^16 - 301229637509938024462953105317699115866134482963/103577346936620030\ 2702935385326650360164922296*c_1001_3^15 - 595218156620768302345498663904745913115855945855/207154693873240060\ 5405870770653300720329844592*c_1001_3^14 - 365713518424412942287161302544881427640188133873/103577346936620030\ 2702935385326650360164922296*c_1001_3^13 - 399163123591797885731893755680764426085717755231/103577346936620030\ 2702935385326650360164922296*c_1001_3^12 - 559963144436456499827789974693423847509956850321/207154693873240060\ 5405870770653300720329844592*c_1001_3^11 - 375456637489329851888335757926483834182715335095/103577346936620030\ 2702935385326650360164922296*c_1001_3^10 - 206788276639138480200664238242042119523885675543/207154693873240060\ 5405870770653300720329844592*c_1001_3^9 - 117868150968769948054953045943883272467265455615/517886734683100151\ 351467692663325180082461148*c_1001_3^8 + 24646848861516108206410596969111144074559650811/1035773469366200302\ 702935385326650360164922296*c_1001_3^7 - 82478186856742399833907041501120806322337277793/1035773469366200302\ 702935385326650360164922296*c_1001_3^6 + 47196165552207241437408093143530593966878841211/1035773469366200302\ 702935385326650360164922296*c_1001_3^5 - 3168199147226525999178966129353293102354910597/20715469387324006054\ 05870770653300720329844592*c_1001_3^4 + 20921813050488486005358614660523364406702395035/1035773469366200302\ 702935385326650360164922296*c_1001_3^3 + 16857044128070500154476340186862020446686276063/2071546938732400605\ 405870770653300720329844592*c_1001_3^2 + 423470796650677385273491549117734533379642965/129471683670775037837\ 866923165831295020615287*c_1001_3 + 66404793085525296464167488402267641004249893/1294716836707750378378\ 66923165831295020615287, c_0011_6 + 1, c_0101_0 - 208334211853003212212832812361168590347134735/51788673468310\ 0151351467692663325180082461148*c_1001_3^24 - 81200574959491804077973083579073594527572236697/8286187754929602421\ 623483082613202881319378368*c_1001_3^23 + 3730236401499013222908510660718816464266942122/12947168367077503783\ 7866923165831295020615287*c_1001_3^22 - 18820680463403282664151601690261402557511921349/2589433673415500756\ 75733846331662590041230574*c_1001_3^21 + 2525090423456121907937620768969545718058575573863/82861877549296024\ 21623483082613202881319378368*c_1001_3^20 - 1168591856233616785311242600911049046807727764619/41430938774648012\ 10811741541306601440659689184*c_1001_3^19 + 5899575567513109809084443606097453356505519654541/41430938774648012\ 10811741541306601440659689184*c_1001_3^18 - 3446341622641600622198766861454271474104315725871/41430938774648012\ 10811741541306601440659689184*c_1001_3^17 + 16638027368018489772440239694533812962961876176529/4143093877464801\ 210811741541306601440659689184*c_1001_3^16 - 8289647566928189978135704618903330908482568716467/41430938774648012\ 10811741541306601440659689184*c_1001_3^15 + 63212203553319143305585571075553762439619295669529/8286187754929602\ 421623483082613202881319378368*c_1001_3^14 - 15349278112389682853592604027621963733512962371569/4143093877464801\ 210811741541306601440659689184*c_1001_3^13 + 42255847370731735920517771214281439792876404094329/4143093877464801\ 210811741541306601440659689184*c_1001_3^12 - 41511949652362560967674504056276086424763270923529/8286187754929602\ 421623483082613202881319378368*c_1001_3^11 + 39896218809260398210763100526764482731251906490897/4143093877464801\ 210811741541306601440659689184*c_1001_3^10 - 39763032159425542718171849453103369180773499644191/8286187754929602\ 421623483082613202881319378368*c_1001_3^9 + 12825301501783395479954885246987835820791446184277/2071546938732400\ 605405870770653300720329844592*c_1001_3^8 - 12969154157047420258239846723110335059523680879557/4143093877464801\ 210811741541306601440659689184*c_1001_3^7 + 10142196555289896200143491469985400855303988241479/4143093877464801\ 210811741541306601440659689184*c_1001_3^6 - 5290706177008088990605203905266318681276207421597/41430938774648012\ 10811741541306601440659689184*c_1001_3^5 + 3502023339258918025801112804102286700643782540547/82861877549296024\ 21623483082613202881319378368*c_1001_3^4 - 1104689280852513050273256431241083044681330290397/41430938774648012\ 10811741541306601440659689184*c_1001_3^3 - 420687227172226441272880154054168610286837303769/828618775492960242\ 1623483082613202881319378368*c_1001_3^2 - 1857794287633208396693808518476167113901566749/12947168367077503783\ 7866923165831295020615287*c_1001_3 - 3216989648861166675645466103529761667976942662/12947168367077503783\ 7866923165831295020615287, c_0101_1 - 6178245937139960452467236002108245466379395779/5178867346831\ 00151351467692663325180082461148*c_1001_3^24 + 105333918145856952257194293382214839243973857467/828618775492960242\ 1623483082613202881319378368*c_1001_3^23 - 26607816679499455300920164104599832143790705461/1035773469366200302\ 702935385326650360164922296*c_1001_3^22 + 43389701920179897585043242748740396948165769515/2589433673415500756\ 75733846331662590041230574*c_1001_3^21 + 2350145738353337375319619776489746999846157635323/82861877549296024\ 21623483082613202881319378368*c_1001_3^20 + 3630405507334499175838051512705135268607257179837/41430938774648012\ 10811741541306601440659689184*c_1001_3^19 + 7836760680773834880215974063915422687591972634737/41430938774648012\ 10811741541306601440659689184*c_1001_3^18 + 10164271796657022940941481935091904372636453184133/4143093877464801\ 210811741541306601440659689184*c_1001_3^17 + 23763208545381937433756977813247372752132116225093/4143093877464801\ 210811741541306601440659689184*c_1001_3^16 + 16950543560349401675771414170830492529832092003793/4143093877464801\ 210811741541306601440659689184*c_1001_3^15 + 90003709845609230315491332199682290736717579116821/8286187754929602\ 421623483082613202881319378368*c_1001_3^14 + 16860685384583556013654317501851169847874612081751/4143093877464801\ 210811741541306601440659689184*c_1001_3^13 + 57802509185509988052986801876436264427413710293213/4143093877464801\ 210811741541306601440659689184*c_1001_3^12 + 15614281542179689661682804969095391592565389923291/8286187754929602\ 421623483082613202881319378368*c_1001_3^11 + 50743351211296132317861650806596556537609232337641/4143093877464801\ 210811741541306601440659689184*c_1001_3^10 - 6085256509124644193474344223793287441197802684547/82861877549296024\ 21623483082613202881319378368*c_1001_3^9 + 14384032203315799563043619326439205874906339111019/2071546938732400\ 605405870770653300720329844592*c_1001_3^8 - 7452106362742180317850767043513386766045765511089/41430938774648012\ 10811741541306601440659689184*c_1001_3^7 + 8718535785070578538682421281827197354573577483987/41430938774648012\ 10811741541306601440659689184*c_1001_3^6 - 5239223645940666626787827728380267043173647041345/41430938774648012\ 10811741541306601440659689184*c_1001_3^5 + 452977310495032857596277131750580953930453939095/828618775492960242\ 1623483082613202881319378368*c_1001_3^4 - 1811787385157590092914377481207096186170916479677/41430938774648012\ 10811741541306601440659689184*c_1001_3^3 - 1279384731241235329965210118455197222556458744341/82861877549296024\ 21623483082613202881319378368*c_1001_3^2 - 64908150961910750997622580305726135698555131813/1035773469366200302\ 702935385326650360164922296*c_1001_3 - 3974596867861484503752048584637753659990172114/12947168367077503783\ 7866923165831295020615287, c_0101_11 + 81397336901379884553640454994702281644564947/12947168367077\ 5037837866923165831295020615287*c_1001_3^24 - 2946900290825791962864094639717669815418564043/20715469387324006054\ 05870770653300720329844592*c_1001_3^23 + 477495790981940125157198163062659716141278250/129471683670775037837\ 866923165831295020615287*c_1001_3^22 - 1948958157919991469806038698535160717259346521/12947168367077503783\ 7866923165831295020615287*c_1001_3^21 + 15164599029953774762333983654064680383202098021/2071546938732400605\ 405870770653300720329844592*c_1001_3^20 - 73484905762259005733472448575690072386052625129/1035773469366200302\ 702935385326650360164922296*c_1001_3^19 - 707122669622318876154209723253642939033849593/103577346936620030270\ 2935385326650360164922296*c_1001_3^18 - 203622627977555126637592934501895389726912063733/103577346936620030\ 2702935385326650360164922296*c_1001_3^17 - 36480544454848250324016938018040386179326991821/1035773469366200302\ 702935385326650360164922296*c_1001_3^16 - 366944434153229004713224387530157211676336304097/103577346936620030\ 2702935385326650360164922296*c_1001_3^15 - 195884490269415950234668408830488794686521388133/207154693873240060\ 5405870770653300720329844592*c_1001_3^14 - 443590159039419721844010648851728795034256165491/103577346936620030\ 2702935385326650360164922296*c_1001_3^13 - 155399230483341664233249638987356326937623857005/103577346936620030\ 2702935385326650360164922296*c_1001_3^12 - 697185980063210389307625201747570562626911333147/207154693873240060\ 5405870770653300720329844592*c_1001_3^11 - 166327336645535916712192324470959082786827983133/103577346936620030\ 2702935385326650360164922296*c_1001_3^10 - 300054648544765655032441540418001342315473747837/207154693873240060\ 5405870770653300720329844592*c_1001_3^9 - 59087329849895059364618609164606923530861367101/5178867346831001513\ 51467692663325180082461148*c_1001_3^8 - 733162104743204361177189095914586653326103551/103577346936620030270\ 2935385326650360164922296*c_1001_3^7 - 50097206035705988445274466203927844188163963699/1035773469366200302\ 702935385326650360164922296*c_1001_3^6 + 36687764997704468757675720627320316385588501193/1035773469366200302\ 702935385326650360164922296*c_1001_3^5 - 17007935445486678854880697419766891303512942583/2071546938732400605\ 405870770653300720329844592*c_1001_3^4 + 18162670978904662765178040249864859784412957593/1035773469366200302\ 702935385326650360164922296*c_1001_3^3 + 2878630326551035865070437434629051850534019717/20715469387324006054\ 05870770653300720329844592*c_1001_3^2 + 383995179625885252886820360320324578026018217/129471683670775037837\ 866923165831295020615287*c_1001_3 + 22892393041175959508732452603653343403614061/1294716836707750378378\ 66923165831295020615287, c_0101_4 + c_1001_3, c_0101_7 - 82995447763754860055734015379123277749047524/129471683670775\ 037837866923165831295020615287*c_1001_3^24 + 768176972674872659274707298179218458808317969/517886734683100151351\ 467692663325180082461148*c_1001_3^23 - 1965929918329722405353473584851755858768727959/51788673468310015135\ 1467692663325180082461148*c_1001_3^22 + 1983849752293468951305924379741823206087377695/12947168367077503783\ 7866923165831295020615287*c_1001_3^21 - 4000059357680750325820559700947100816163262639/51788673468310015135\ 1467692663325180082461148*c_1001_3^20 + 37048660245406374750972939299473555629267241283/5178867346831001513\ 51467692663325180082461148*c_1001_3^19 - 115491849537814640226354125490843828067082231/129471683670775037837\ 866923165831295020615287*c_1001_3^18 + 25544314610509039948505985515726636548056976326/1294716836707750378\ 37866923165831295020615287*c_1001_3^17 + 3787457748650633134149478548636324306117298721/12947168367077503783\ 7866923165831295020615287*c_1001_3^16 + 45920702131615177331985816318247469162765942049/1294716836707750378\ 37866923165831295020615287*c_1001_3^15 + 40242790584279970264640652816071972038174415229/5178867346831001513\ 51467692663325180082461148*c_1001_3^14 + 222362054434096530171572915568647140208535407625/517886734683100151\ 351467692663325180082461148*c_1001_3^13 + 15164605080687906888018859904187292697838963229/1294716836707750378\ 37866923165831295020615287*c_1001_3^12 + 175833056639835896396721115375238079461821264979/517886734683100151\ 351467692663325180082461148*c_1001_3^11 + 61143488125151906987957464944463747218071552871/5178867346831001513\ 51467692663325180082461148*c_1001_3^10 + 75872447837482691351513755287326835810423395369/5178867346831001513\ 51467692663325180082461148*c_1001_3^9 + 41278146945984232772837018740720083918270082655/5178867346831001513\ 51467692663325180082461148*c_1001_3^8 - 602754813787793869385393487459276457606982027/258943367341550075675\ 733846331662590041230574*c_1001_3^7 + 4216211492751388569277642054822658311885366633/12947168367077503783\ 7866923165831295020615287*c_1001_3^6 - 5157620237228487947406943546214846169040910131/12947168367077503783\ 7866923165831295020615287*c_1001_3^5 + 2586075997323148018318623429140316869851733331/51788673468310015135\ 1467692663325180082461148*c_1001_3^4 - 9890441567271651013808880093673109260643647733/51788673468310015135\ 1467692663325180082461148*c_1001_3^3 - 795783485567184082281247076409442877620924901/517886734683100151351\ 467692663325180082461148*c_1001_3^2 - 1234054069261369314220607573793880965316161951/51788673468310015135\ 1467692663325180082461148*c_1001_3 - 78790563172513591181955244107339262789049218/1294716836707750378378\ 66923165831295020615287, c_0110_12 - 342819172601889744029848595481340436454516033/1035773469366\ 200302702935385326650360164922296*c_1001_3^24 + 29350095654836536643180950678680358374714809705/1657237550985920484\ 3246966165226405762638756736*c_1001_3^23 - 5187324515266701541755407104240022969299872379/10357734693662003027\ 02935385326650360164922296*c_1001_3^22 + 8347365405007690138522616278511364837988802953/51788673468310015135\ 1467692663325180082461148*c_1001_3^21 - 566955289062286798856149402672164187125684258583/165723755098592048\ 43246966165226405762638756736*c_1001_3^20 + 591152020211650484060858311201661861366368924483/828618775492960242\ 1623483082613202881319378368*c_1001_3^19 - 1150293144261061164823414534414630750671857581837/82861877549296024\ 21623483082613202881319378368*c_1001_3^18 + 1697735305263455611576410693472866742911007256559/82861877549296024\ 21623483082613202881319378368*c_1001_3^17 - 3078915668830544691600319785681521308219869042769/82861877549296024\ 21623483082613202881319378368*c_1001_3^16 + 3475319350045024419053197411912242224444848637395/82861877549296024\ 21623483082613202881319378368*c_1001_3^15 - 11434266206377596878279963258421880876126448877065/1657237550985920\ 4843246966165226405762638756736*c_1001_3^14 + 5199685058343117901614273901613879458694582771417/82861877549296024\ 21623483082613202881319378368*c_1001_3^13 - 7514186823839772419444017194434379931062648392313/82861877549296024\ 21623483082613202881319378368*c_1001_3^12 + 11322101947536406347544950653283094951268681695801/1657237550985920\ 4843246966165226405762638756736*c_1001_3^11 - 6944816931743906899603028629698457103964955315321/82861877549296024\ 21623483082613202881319378368*c_1001_3^10 + 8764506635281452635877073347574365339684105019055/16572375509859204\ 843246966165226405762638756736*c_1001_3^9 - 2167288099129481281022667610156979304302964511865/41430938774648012\ 10811741541306601440659689184*c_1001_3^8 + 2294967632853918898485567827699861400033909727637/82861877549296024\ 21623483082613202881319378368*c_1001_3^7 - 1640693748938001848669092164929944492358983675111/82861877549296024\ 21623483082613202881319378368*c_1001_3^6 + 726602246325255509554629701530936457355167293597/828618775492960242\ 1623483082613202881319378368*c_1001_3^5 - 509826657266885742026020726283452478687004999827/165723755098592048\ 43246966165226405762638756736*c_1001_3^4 + 93816998705323231511902397232067491952085854581/8286187754929602421\ 623483082613202881319378368*c_1001_3^3 + 85863507580790451558355732807592773668049135113/1657237550985920484\ 3246966165226405762638756736*c_1001_3^2 - 1817466976442434635748342939758208221050892455/10357734693662003027\ 02935385326650360164922296*c_1001_3 + 269722122091922004876870828493211099207846206/129471683670775037837\ 866923165831295020615287, c_0110_9 - 81397336901379884553640454994702281644564947/129471683670775\ 037837866923165831295020615287*c_1001_3^24 + 2946900290825791962864094639717669815418564043/20715469387324006054\ 05870770653300720329844592*c_1001_3^23 - 477495790981940125157198163062659716141278250/129471683670775037837\ 866923165831295020615287*c_1001_3^22 + 1948958157919991469806038698535160717259346521/12947168367077503783\ 7866923165831295020615287*c_1001_3^21 - 15164599029953774762333983654064680383202098021/2071546938732400605\ 405870770653300720329844592*c_1001_3^20 + 73484905762259005733472448575690072386052625129/1035773469366200302\ 702935385326650360164922296*c_1001_3^19 + 707122669622318876154209723253642939033849593/103577346936620030270\ 2935385326650360164922296*c_1001_3^18 + 203622627977555126637592934501895389726912063733/103577346936620030\ 2702935385326650360164922296*c_1001_3^17 + 36480544454848250324016938018040386179326991821/1035773469366200302\ 702935385326650360164922296*c_1001_3^16 + 366944434153229004713224387530157211676336304097/103577346936620030\ 2702935385326650360164922296*c_1001_3^15 + 195884490269415950234668408830488794686521388133/207154693873240060\ 5405870770653300720329844592*c_1001_3^14 + 443590159039419721844010648851728795034256165491/103577346936620030\ 2702935385326650360164922296*c_1001_3^13 + 155399230483341664233249638987356326937623857005/103577346936620030\ 2702935385326650360164922296*c_1001_3^12 + 697185980063210389307625201747570562626911333147/207154693873240060\ 5405870770653300720329844592*c_1001_3^11 + 166327336645535916712192324470959082786827983133/103577346936620030\ 2702935385326650360164922296*c_1001_3^10 + 300054648544765655032441540418001342315473747837/207154693873240060\ 5405870770653300720329844592*c_1001_3^9 + 59087329849895059364618609164606923530861367101/5178867346831001513\ 51467692663325180082461148*c_1001_3^8 + 733162104743204361177189095914586653326103551/103577346936620030270\ 2935385326650360164922296*c_1001_3^7 + 50097206035705988445274466203927844188163963699/1035773469366200302\ 702935385326650360164922296*c_1001_3^6 - 36687764997704468757675720627320316385588501193/1035773469366200302\ 702935385326650360164922296*c_1001_3^5 + 17007935445486678854880697419766891303512942583/2071546938732400605\ 405870770653300720329844592*c_1001_3^4 - 18162670978904662765178040249864859784412957593/1035773469366200302\ 702935385326650360164922296*c_1001_3^3 - 2878630326551035865070437434629051850534019717/20715469387324006054\ 05870770653300720329844592*c_1001_3^2 - 383995179625885252886820360320324578026018217/129471683670775037837\ 866923165831295020615287*c_1001_3 - 22892393041175959508732452603653343403614061/1294716836707750378378\ 66923165831295020615287, c_1001_0 + 322713787235026434714189957307181216004038142/12947168367077\ 5037837866923165831295020615287*c_1001_3^24 - 11652048632497793207471698259628298263233811159/1035773469366200302\ 702935385326650360164922296*c_1001_3^23 + 3979268722808198791956866272363934590410744366/12947168367077503783\ 7866923165831295020615287*c_1001_3^22 - 13180235095937664467069810229777601873937834838/1294716836707750378\ 37866923165831295020615287*c_1001_3^21 + 194988961532221673680136696738151322893648201273/103577346936620030\ 2702935385326650360164922296*c_1001_3^20 - 229439564371436521550379746266260088696549603817/517886734683100151\ 351467692663325180082461148*c_1001_3^19 + 374268017230528146945947917623773650362863266043/517886734683100151\ 351467692663325180082461148*c_1001_3^18 - 639242173064979828827310759233227529861276140957/517886734683100151\ 351467692663325180082461148*c_1001_3^17 + 968838947701735479634048119722130582227411639967/517886734683100151\ 351467692663325180082461148*c_1001_3^16 - 1256890237282273320087317304732287979693596708617/51788673468310015\ 1351467692663325180082461148*c_1001_3^15 + 3502306587977704008787108210367466948663257376503/10357734693662003\ 02702935385326650360164922296*c_1001_3^14 - 1797444166007201875358834938322418768226010623171/51788673468310015\ 1351467692663325180082461148*c_1001_3^13 + 2245029058143472776839921640225046276934647497867/51788673468310015\ 1351467692663325180082461148*c_1001_3^12 - 3735268804703558703718312199528856350044518801359/10357734693662003\ 02702935385326650360164922296*c_1001_3^11 + 2031991844677368039321609181698916830137836161679/51788673468310015\ 1351467692663325180082461148*c_1001_3^10 - 2763015247739681058370918307343164449935289004417/10357734693662003\ 02702935385326650360164922296*c_1001_3^9 + 627294295556321205030949921826036151295823528743/258943367341550075\ 675733846331662590041230574*c_1001_3^8 - 697301155366404486636607067167877332964298757891/517886734683100151\ 351467692663325180082461148*c_1001_3^7 + 486001296443188226069678104829909864123050305185/517886734683100151\ 351467692663325180082461148*c_1001_3^6 - 221320793378098948813058254815921389908248464891/517886734683100151\ 351467692663325180082461148*c_1001_3^5 + 185909169773309813637883489893895029534802876581/103577346936620030\ 2702935385326650360164922296*c_1001_3^4 - 37075856494819296881639316213101179722598996727/5178867346831001513\ 51467692663325180082461148*c_1001_3^3 - 6827535329578096742140100700225909468456982151/10357734693662003027\ 02935385326650360164922296*c_1001_3^2 - 481462703111330497135041816845222585984042456/129471683670775037837\ 866923165831295020615287*c_1001_3 - 1195375749103201566212987020461870177880100287/12947168367077503783\ 7866923165831295020615287, c_1001_3^25 - 497/144*c_1001_3^24 + 65/6*c_1001_3^23 - 338/9*c_1001_3^22 + 8335/144*c_1001_3^21 - 13927/72*c_1001_3^20 + 14765/72*c_1001_3^19 - 44719/72*c_1001_3^18 + 38065/72*c_1001_3^17 - 98899/72*c_1001_3^16 + 48683/48*c_1001_3^15 - 17453/8*c_1001_3^14 + 104105/72*c_1001_3^13 - 362513/144*c_1001_3^12 + 109109/72*c_1001_3^11 - 299959/144*c_1001_3^10 + 41143/36*c_1001_3^9 - 85069/72*c_1001_3^8 + 42919/72*c_1001_3^7 - 29597/72*c_1001_3^6 + 28795/144*c_1001_3^5 - 4249/72*c_1001_3^4 + 5375/144*c_1001_3^3 + 19/2*c_1001_3^2 + 8/3*c_1001_3 + 32/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.160 Total time: 0.370 seconds, Total memory usage: 32.09MB