Magma V2.19-8 Tue Aug 20 2013 16:17:58 on localhost [Seed = 1797978028] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2207 geometric_solution 5.65710675 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 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 -1 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.341921245290 0.960761413300 0 1 1 3 0132 1230 3012 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 0 0 0 0 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.084213775526 0.781540920596 5 0 5 3 0132 0132 1023 2310 0 0 0 0 0 0 -1 1 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 -1 1 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.027189299936 0.564876768026 2 1 4 0 3201 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.341921245290 0.960761413300 3 6 0 6 2310 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.064712381770 1.822122383462 2 5 2 5 0132 2310 1023 3201 0 0 0 0 0 0 1 -1 -1 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 0 0 0 -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.762076004373 0.291995924921 4 4 6 6 3201 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.236616623747 0.166370024256 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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_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_0_6' : 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_6' : d['c_0110_6'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 4166960823480223388844309940111145366123070564917177207778177709156\ 67/1544168520360595102247742056510738788094060354021353588017058290\ 497*c_0110_6^31 + 5555359453582330398535349071347905717710858811045\ 697494576753373392239/772084260180297551123871028255369394047030177\ 0106767940085291452485*c_0110_6^30 + 4242955965052167652531672727826824778502097413351206607505676451131\ 7468/77208426018029755112387102825536939404703017701067679400852914\ 52485*c_0110_6^29 + 41471088972202516633402814453965822370690593574\ 941949500458892093247016/772084260180297551123871028255369394047030\ 1770106767940085291452485*c_0110_6^28 - 4866251771909703792455878636076457131498862001091190921509430559436\ 00218/7720842601802975511238710282553693940470301770106767940085291\ 452485*c_0110_6^27 - 5020957324195123827238138987996860190052105078\ 46093787916491721842894787/1544168520360595102247742056510738788094\ 060354021353588017058290497*c_0110_6^26 + 3596171656528299596926677127855764985555069471157245566360646055363\ 068631/772084260180297551123871028255369394047030177010676794008529\ 1452485*c_0110_6^25 + 236705286385306973904650191643653380946866585\ 54993625235459161500252706422/7720842601802975511238710282553693940\ 470301770106767940085291452485*c_0110_6^24 - 1639799714981892219216361418230001370950738330424638023854945475487\ 3672009/77208426018029755112387102825536939404703017701067679400852\ 91452485*c_0110_6^23 - 96022239820066761968347983233613830600179935\ 894175785493479301658883118443/772084260180297551123871028255369394\ 0470301770106767940085291452485*c_0110_6^22 + 5795631224793226967601083635927256883622887301495286150522465489780\ 2629854/77208426018029755112387102825536939404703017701067679400852\ 91452485*c_0110_6^21 + 39931777886649052760586702864876689127673730\ 592686095056054253952227126430/154416852036059510224774205651073878\ 8094060354021353588017058290497*c_0110_6^20 - 3351671974846986654479631622738990139987332675743886026133308568376\ 8111657/15441685203605951022477420565107387880940603540213535880170\ 58290497*c_0110_6^19 - 22684359266171516559177112073410393674147622\ 8659882951460371199474211760658/77208426018029755112387102825536939\ 40470301770106767940085291452485*c_0110_6^18 + 3077227470608767368031970641145015479097123235632748468625260872637\ 43854852/7720842601802975511238710282553693940470301770106767940085\ 291452485*c_0110_6^17 + 1110418571645574316712133157276793211310215\ 72144002652073403654365457349661/7720842601802975511238710282553693\ 940470301770106767940085291452485*c_0110_6^16 - 6462661019072571678351840848324192505717437361761704609986327379432\ 5013882/15441685203605951022477420565107387880940603540213535880170\ 58290497*c_0110_6^15 + 46564944729931440900241968957859007319233804\ 547545708543472994316057444534/772084260180297551123871028255369394\ 0470301770106767940085291452485*c_0110_6^14 + 1883556095800276987132359178944261119204027896478791070827339033785\ 78870674/7720842601802975511238710282553693940470301770106767940085\ 291452485*c_0110_6^13 - 8798039088468617849222078158983339047512153\ 4235261598213901138679499799819/77208426018029755112387102825536939\ 40470301770106767940085291452485*c_0110_6^12 - 5579431161979646982493217462876732340043995176977843980630471276628\ 3432186/77208426018029755112387102825536939404703017701067679400852\ 91452485*c_0110_6^11 + 37129972985012986884572886316730495855394901\ 675794512630986775787896536588/772084260180297551123871028255369394\ 0470301770106767940085291452485*c_0110_6^10 + 1167065723795919035831399139261179125124399520856059729140027952393\ 1022731/77208426018029755112387102825536939404703017701067679400852\ 91452485*c_0110_6^9 - 253592879363573599096719797519636190664496773\ 8789791641261625394828499318/77208426018029755112387102825536939404\ 70301770106767940085291452485*c_0110_6^8 - 9456945715344187671355914737865481512616369567453099073691834055410\ 244076/772084260180297551123871028255369394047030177010676794008529\ 1452485*c_0110_6^7 - 1168563698910044874588198454447544910774613255\ 171888009436039562320519402/772084260180297551123871028255369394047\ 0301770106767940085291452485*c_0110_6^6 + 1199931109699029248163323818567291135911629459988338563710574935758\ 442753/154416852036059510224774205651073878809406035402135358801705\ 8290497*c_0110_6^5 - 7401651987321180583417547818061452280510452809\ 31947400559436911400328756/7720842601802975511238710282553693940470\ 301770106767940085291452485*c_0110_6^4 - 1817527036982759056270650779633620074534866106472423363868213192081\ 966456/772084260180297551123871028255369394047030177010676794008529\ 1452485*c_0110_6^3 + 6200956097425755437901048530433088431094179558\ 75262829760746201975088113/7720842601802975511238710282553693940470\ 301770106767940085291452485*c_0110_6^2 + 2018246670057973758052354292016103069725888065876664927554539451799\ 47267/7720842601802975511238710282553693940470301770106767940085291\ 452485*c_0110_6 - 6874788826819825139380495675474255299760936963494\ 6208511955009495437821/77208426018029755112387102825536939404703017\ 70106767940085291452485, c_0011_0 - 1, c_0011_4 - 287823498561749641795609018458641843292048170601781788403501\ 572660/154416852036059510224774205651073878809406035402135358801705\ 8290497*c_0110_6^31 + 113025646870403148161954134515546973053101979\ 1113409672099958297591/15441685203605951022477420565107387880940603\ 54021353588017058290497*c_0110_6^30 + 4418148422270584921778650044322831005695527475819190075988608032152\ /154416852036059510224774205651073878809406035402135358801705829049\ 7*c_0110_6^29 + 225980041533908329896891751259423463927987057960089\ 232812960605363/154416852036059510224774205651073878809406035402135\ 3588017058290497*c_0110_6^28 - 672062470187743859789731067612826037\ 98590408566714233157010118937369/1544168520360595102247742056510738\ 788094060354021353588017058290497*c_0110_6^27 - 2619462845110728618797022280726411162183237358446614868262739865813\ 05/1544168520360595102247742056510738788094060354021353588017058290\ 497*c_0110_6^26 + 8227971501053912001645876832705149524550846910944\ 17604259901014106473/1544168520360595102247742056510738788094060354\ 021353588017058290497*c_0110_6^25 + 2214383536745818226263950138068567007306985168730483715363258712776\ 793/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^24 - 501170155643699706161065576819057088657999919169\ 4946785711162117351331/15441685203605951022477420565107387880940603\ 54021353588017058290497*c_0110_6^23 - 6793935844918542906232830914099379506067209019373106028912239043166\ 665/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^22 + 163197138391779304767737883351066574372456403257\ 59353234105364961207615/1544168520360595102247742056510738788094060\ 354021353588017058290497*c_0110_6^21 + 6528974831087128015127202438897510506262390693970466114488726066784\ 808/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^20 - 305968308409622087801722691223845097786547103372\ 19876578449475456339573/1544168520360595102247742056510738788094060\ 354021353588017058290497*c_0110_6^19 + 7781557187862244851288529911661752815048173570452525280919975765281\ 611/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^18 + 312074207679468487438839934402310059435466075558\ 07274544739851756167751/1544168520360595102247742056510738788094060\ 354021353588017058290497*c_0110_6^17 - 2384460099328896348971980087377374966361759457036944111719587990990\ 1760/15441685203605951022477420565107387880940603540213535880170582\ 90497*c_0110_6^16 - 12999680218474630590761847592220414261516368778\ 989342174227393202268888/154416852036059510224774205651073878809406\ 0354021353588017058290497*c_0110_6^15 + 2186498120862987103510706089174449254530311537287641610288175028092\ 3715/15441685203605951022477420565107387880940603540213535880170582\ 90497*c_0110_6^14 - 22597555954031177483155127978452529468161255360\ 73545807340103670664160/1544168520360595102247742056510738788094060\ 354021353588017058290497*c_0110_6^13 - 8417834961823518949162918257756313271079869840476568450790491887766\ 964/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^12 + 288933154455379259036559931728477720454538108282\ 8400697307977802609711/15441685203605951022477420565107387880940603\ 54021353588017058290497*c_0110_6^11 + 1195505919554355637773497511098733284262132729847418909834524876707\ 887/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^10 + 160981691793247794529830465905812296569033124370\ 719734868329166987125/154416852036059510224774205651073878809406035\ 4021353588017058290497*c_0110_6^9 - 5432117594339274019776474146650580811049818545896829704291107694426\ 59/1544168520360595102247742056510738788094060354021353588017058290\ 497*c_0110_6^8 - 55585522982204610446230696729158361686711675605726\ 0528947507958530971/15441685203605951022477420565107387880940603540\ 21353588017058290497*c_0110_6^7 + 528595996807684635055346304776861\ 544591847687206294045051726466767251/154416852036059510224774205651\ 0738788094060354021353588017058290497*c_0110_6^6 + 1118427839203249637045510460614114037601610927697240317516428190949\ 68/1544168520360595102247742056510738788094060354021353588017058290\ 497*c_0110_6^5 - 22110998111992808773962623257498622808875537722067\ 4399028162067951147/15441685203605951022477420565107387880940603540\ 21353588017058290497*c_0110_6^4 + 390742643673667599668840785038783\ 03661684871617013158777201839404157/1544168520360595102247742056510\ 738788094060354021353588017058290497*c_0110_6^3 + 2818870410402424230268491312615847585773367896372731873386966454505\ 0/15441685203605951022477420565107387880940603540213535880170582904\ 97*c_0110_6^2 - 100679049185295444439389807159328069826215776999025\ 61409937064403842/1544168520360595102247742056510738788094060354021\ 353588017058290497*c_0110_6 - 2742906460507958188652160861599293031\ 11158836265418006486746555163/1544168520360595102247742056510738788\ 094060354021353588017058290497, c_0101_0 + 119833397807456681123888924957789799426674075357913952222437\ 363315/154416852036059510224774205651073878809406035402135358801705\ 8290497*c_0110_6^31 - 496875478167366571723865343163576341782352512\ 915163249472058928308/154416852036059510224774205651073878809406035\ 4021353588017058290497*c_0110_6^30 - 1730570065812995530247384052317055045165390152333976611034086324218\ /154416852036059510224774205651073878809406035402135358801705829049\ 7*c_0110_6^29 + 302806861096969682613490221781000778852581648018149\ 612713470109556/154416852036059510224774205651073878809406035402135\ 3588017058290497*c_0110_6^28 + 278920753185184454422844931127254656\ 78925332778025472767181628361354/1544168520360595102247742056510738\ 788094060354021353588017058290497*c_0110_6^27 + 1025509375576801808084239040909360221666199959438269281229539105795\ 94/1544168520360595102247742056510738788094060354021353588017058290\ 497*c_0110_6^26 - 3658031173389047385233538136060998714932999512939\ 10562999134454159954/1544168520360595102247742056510738788094060354\ 021353588017058290497*c_0110_6^25 - 8384084110101144729616688064760357455963932203739223295616874198731\ 76/1544168520360595102247742056510738788094060354021353588017058290\ 497*c_0110_6^24 + 2295037818243076412959126000250931207654139695452\ 212580801806299071073/154416852036059510224774205651073878809406035\ 4021353588017058290497*c_0110_6^23 + 2320546639507290039641526120086410339779415779050890999741665236849\ 602/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^22 - 752255711372421907101622389605226972514298716662\ 3700580700776170329114/15441685203605951022477420565107387880940603\ 54021353588017058290497*c_0110_6^21 - 1137555322952145403916944859781562532000167234710065578717818569207\ 491/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^20 + 138521258273957622565298084063675647352287539069\ 84344351437267446994086/1544168520360595102247742056510738788094060\ 354021353588017058290497*c_0110_6^19 - 6023701514439603896370419078936599309916429517195059289172806269966\ 156/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^18 - 134548537908400501542143890809091356127000284136\ 26572564541213341353899/1544168520360595102247742056510738788094060\ 354021353588017058290497*c_0110_6^17 + 1289996615954020736107131486869530476038284224676011105592700250764\ 6521/15441685203605951022477420565107387880940603540213535880170582\ 90497*c_0110_6^16 + 48341691176423345874514827466467260129461369097\ 39411466127915407656948/1544168520360595102247742056510738788094060\ 354021353588017058290497*c_0110_6^15 - 1111307863712855226343168477179463707052681803010615819171615684256\ 7679/15441685203605951022477420565107387880940603540213535880170582\ 90497*c_0110_6^14 + 16345160425877709868993913576391036049502979224\ 05737342242067045684673/1544168520360595102247742056510738788094060\ 354021353588017058290497*c_0110_6^13 + 4467888076066683166145471516475122041752487023791420468255073951516\ 208/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^12 - 154800085155436784427887061686489365867731668518\ 0928068487163661000086/15441685203605951022477420565107387880940603\ 54021353588017058290497*c_0110_6^11 - 9652127248311017463597879216788877570369674415269918639170717171173\ 35/1544168520360595102247742056510738788094060354021353588017058290\ 497*c_0110_6^10 + 6781771612969050807573726820288661917388766980243\ 3067986858549419663/15441685203605951022477420565107387880940603540\ 21353588017058290497*c_0110_6^9 + 453455854399910435256684696238866\ 645166656208071948873390165631347330/154416852036059510224774205651\ 0738788094060354021353588017058290497*c_0110_6^8 + 2177341413089747906331517280538844615394136895604408488480549424450\ 08/1544168520360595102247742056510738788094060354021353588017058290\ 497*c_0110_6^7 - 30897685687587763598124238121997490970964754144028\ 0207205278843543310/15441685203605951022477420565107387880940603540\ 21353588017058290497*c_0110_6^6 - 575602593726085661626289611950609\ 13073681484430153173651860468108275/1544168520360595102247742056510\ 738788094060354021353588017058290497*c_0110_6^5 + 1271302333816283362951714044605727389355787854789773754215882845818\ 42/1544168520360595102247742056510738788094060354021353588017058290\ 497*c_0110_6^4 - 13542000432803842857439873532831832120212862310544\ 691638410276942361/154416852036059510224774205651073878809406035402\ 1353588017058290497*c_0110_6^3 - 2002874159775026115175779831905636\ 6684792098642533537897242885631149/15441685203605951022477420565107\ 38788094060354021353588017058290497*c_0110_6^2 + 2049949902383772452676282615837620528369776539078909508259669740082\ /154416852036059510224774205651073878809406035402135358801705829049\ 7*c_0110_6 + 159038700590386716110130684234604525039492941828947302\ 3196503920523/15441685203605951022477420565107387880940603540213535\ 88017058290497, c_0101_1 + 907241645813818064195099297581403027026764866995509298701170\ 99579/1544168520360595102247742056510738788094060354021353588017058\ 290497*c_0110_6^31 - 3546331769130090289847565209387061810963491454\ 77309670692157897908/1544168520360595102247742056510738788094060354\ 021353588017058290497*c_0110_6^30 - 1399207940186333014731242869437036158045127001756702416115433798663\ /154416852036059510224774205651073878809406035402135358801705829049\ 7*c_0110_6^29 - 976759758584663881867214889933453284364187954254089\ 81032014272188/1544168520360595102247742056510738788094060354021353\ 588017058290497*c_0110_6^28 + 2120142591306936769395276401099994796\ 9938569224941623571660659302211/15441685203605951022477420565107387\ 88094060354021353588017058290497*c_0110_6^27 + 8294479709628802061832996402905518557165922474669405692435322050912\ 7/15441685203605951022477420565107387880940603540213535880170582904\ 97*c_0110_6^26 - 25801549632550194839889097301976261021524328567497\ 0710840606302028740/15441685203605951022477420565107387880940603540\ 21353588017058290497*c_0110_6^25 - 7032704321743999219333063097532489486928081380888214519457545806303\ 32/1544168520360595102247742056510738788094060354021353588017058290\ 497*c_0110_6^24 + 1567680950892207463964714386482949400472962945854\ 919034276859254931244/154416852036059510224774205651073878809406035\ 4021353588017058290497*c_0110_6^23 + 2183984500476771347814007085211829274179630131361620650835767698258\ 512/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^22 - 511783030681864531085847399550791008671335529026\ 6585337516668030728512/15441685203605951022477420565107387880940603\ 54021353588017058290497*c_0110_6^21 - 2243224106886379901989271647810373532961907714896240271156330569397\ 242/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^20 + 971603839746032796871255983893717097547560488488\ 3006020687896003789032/15441685203605951022477420565107387880940603\ 54021353588017058290497*c_0110_6^19 - 2026022022408453897055215537437199612285676482417934548332862877459\ 291/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^18 - 102797573204410241492829923823636491399511053603\ 68154364286038741638287/1544168520360595102247742056510738788094060\ 354021353588017058290497*c_0110_6^17 + 7080615930841902747717023604034472963003976183355814244119372848558\ 781/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^16 + 496791857405301975228119687286101454283497046505\ 4432001546002016444626/15441685203605951022477420565107387880940603\ 54021353588017058290497*c_0110_6^15 - 6903058999675648503833773001559992786026103641139409253767596854527\ 904/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^14 - 106600846709200835332814385091148975335174312257\ 884046144157032075999/154416852036059510224774205651073878809406035\ 4021353588017058290497*c_0110_6^13 + 3037348843589290930015088128005075167261816324136283205721711813539\ 532/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^12 - 557173821638207887517515717160019522803687807518\ 248737285335242979411/154416852036059510224774205651073878809406035\ 4021353588017058290497*c_0110_6^11 - 6747084032895451013965419522341566496340422296858914802418648846053\ 72/1544168520360595102247742056510738788094060354021353588017058290\ 497*c_0110_6^10 - 1255732303233674674855707292483643886977826530619\ 52118535903933949889/1544168520360595102247742056510738788094060354\ 021353588017058290497*c_0110_6^9 + 2775344639121561644356384345033576679131801841793098212949313961191\ 96/1544168520360595102247742056510738788094060354021353588017058290\ 497*c_0110_6^8 + 21858286224299462957294847911548300948153229026837\ 6221758234725374454/15441685203605951022477420565107387880940603540\ 21353588017058290497*c_0110_6^7 - 191026676572746889545116277321480\ 100939312255965969574511621820415068/154416852036059510224774205651\ 0738788094060354021353588017058290497*c_0110_6^6 - 6035247983812970077446550079716688682116772490778502684324729812599\ 5/15441685203605951022477420565107387880940603540213535880170582904\ 97*c_0110_6^5 + 736119104817799604639329924716193032833121632218389\ 79359510358754288/1544168520360595102247742056510738788094060354021\ 353588017058290497*c_0110_6^4 + 22121257480335793410703846488879311\ 01422084975249759691021594931932/1544168520360595102247742056510738\ 788094060354021353588017058290497*c_0110_6^3 - 1160029161568215360451273818098753973665242820866202668675436037093\ 0/15441685203605951022477420565107387880940603540213535880170582904\ 97*c_0110_6^2 - 252029359758092003008371774788405852029779943432406\ 5683764048101972/15441685203605951022477420565107387880940603540213\ 53588017058290497*c_0110_6 + 25440197129849928477490387593447271565\ 7199814867258030268682030371/15441685203605951022477420565107387880\ 94060354021353588017058290497, c_0101_2 - 145282949151096317772752025305179648817395023541183660125935\ 5275383/15441685203605951022477420565107387880940603540213535880170\ 58290497*c_0110_6^31 + 56453212340608016482037027733366814306667809\ 02715853243333448121962/1544168520360595102247742056510738788094060\ 354021353588017058290497*c_0110_6^30 + 2251837379525453317598110414283962252481928278996769749139124155276\ 8/15441685203605951022477420565107387880940603540213535880170582904\ 97*c_0110_6^29 + 21680215549232894888953252202682252470021149816866\ 07976187929686067/1544168520360595102247742056510738788094060354021\ 353588017058290497*c_0110_6^28 - 3390705659419882880409369836454068\ 95560484522291725071268970747042942/1544168520360595102247742056510\ 738788094060354021353588017058290497*c_0110_6^27 - 1336748464723707632911777992357481105234883016663610918152013646873\ 457/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^26 + 409447837961194106802157095891801339708540046636\ 4009697734191817893151/15441685203605951022477420565107387880940603\ 54021353588017058290497*c_0110_6^25 + 1134129709709734627593155993368960586206634878833098611523775004806\ 7361/15441685203605951022477420565107387880940603540213535880170582\ 90497*c_0110_6^24 - 24750095136836588156148289105897340801178456026\ 188887390796145262020672/154416852036059510224774205651073878809406\ 0354021353588017058290497*c_0110_6^23 - 3530698892393734158553084024385463369190721067259721807977459102256\ 9417/15441685203605951022477420565107387880940603540213535880170582\ 90497*c_0110_6^22 + 80366504794462043723164967158731432629196085282\ 346236445662259133426443/154416852036059510224774205651073878809406\ 0354021353588017058290497*c_0110_6^21 + 3653876825650042518964204284201222893141825463076386516239709868379\ 1187/15441685203605951022477420565107387880940603540213535880170582\ 90497*c_0110_6^20 - 15125608446945930595281602282882624532919235229\ 8367025658281354597230910/15441685203605951022477420565107387880940\ 60354021353588017058290497*c_0110_6^19 + 3159054822458147270435045307469130006851966691965236235055790994051\ 3525/15441685203605951022477420565107387880940603540213535880170582\ 90497*c_0110_6^18 + 15653375322417163746954506441970251264979798307\ 8868478332810973557761558/15441685203605951022477420565107387880940\ 60354021353588017058290497*c_0110_6^17 - 1106948991221723402941486748963879795735282162751564746157902593254\ 54960/1544168520360595102247742056510738788094060354021353588017058\ 290497*c_0110_6^16 - 6928940520463928589247226700960946322667786420\ 9650756416702199491170072/15441685203605951022477420565107387880940\ 60354021353588017058290497*c_0110_6^15 + 1040166787970532091889252354140981073562439979992923066959604750232\ 42667/1544168520360595102247742056510738788094060354021353588017058\ 290497*c_0110_6^14 - 6111134968300199239767353706651950124194194605\ 432552762502855961705545/154416852036059510224774205651073878809406\ 0354021353588017058290497*c_0110_6^13 - 4089413740069384330140972193317191402481189046531603468361557729680\ 8485/15441685203605951022477420565107387880940603540213535880170582\ 90497*c_0110_6^12 + 11705333765458309867970804499820646531340487528\ 381308810242110973078125/154416852036059510224774205651073878809406\ 0354021353588017058290497*c_0110_6^11 + 6044613136997490991451421338081913092663779496767733404511805507191\ 019/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^10 + 155775500916256810618711388302983305528846457277\ 6913624444937422801866/15441685203605951022477420565107387880940603\ 54021353588017058290497*c_0110_6^9 - 2580371634618912794155055319357949632186997870001653662509130000623\ 002/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^8 - 3042746005722793013627789024276335146313971155669\ 809772948050127479075/154416852036059510224774205651073878809406035\ 4021353588017058290497*c_0110_6^7 + 2485760196614231131042761144241488178423797294544520174420131712282\ 610/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^6 + 6792280317187645003120841557828700273584182026543\ 51328960500707768331/1544168520360595102247742056510738788094060354\ 021353588017058290497*c_0110_6^5 - 1041461924363363339522788674368295783318666156266098924810573703875\ 292/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^4 + 1411933383028745239103097951799696307078124825940\ 17421688393815642450/1544168520360595102247742056510738788094060354\ 021353588017058290497*c_0110_6^3 + 1333550801702334695112847788406723696297441425993906299030870808813\ 82/1544168520360595102247742056510738788094060354021353588017058290\ 497*c_0110_6^2 - 26066344249715860796220627004165334559469209046239\ 758234663653438218/154416852036059510224774205651073878809406035402\ 1353588017058290497*c_0110_6 + 282760030152617323828985727640564127\ 922954518480096335549852545312/154416852036059510224774205651073878\ 8094060354021353588017058290497, c_0101_3 - 164354748027587603126338250762222674531433373635983352531337\ 783172/154416852036059510224774205651073878809406035402135358801705\ 8290497*c_0110_6^31 + 652364087899161529858075428489807101781794317\ 774429078306498817277/154416852036059510224774205651073878809406035\ 4021353588017058290497*c_0110_6^30 + 2492258412153336028241135202167368038319391125673340390893333430091\ /154416852036059510224774205651073878809406035402135358801705829049\ 7*c_0110_6^29 + 625714046697972642405328711286936272331228574215389\ 91971787730102/1544168520360595102247742056510738788094060354021353\ 588017058290497*c_0110_6^28 - 3843482575565258662675135127275434771\ 5133927791133172947007416759683/15441685203605951022477420565107387\ 88094060354021353588017058290497*c_0110_6^27 - 1483723248212191879386552513644833744128921866958701745100708740459\ 60/1544168520360595102247742056510738788094060354021353588017058290\ 497*c_0110_6^26 + 4752569270897944949677033801475762200950196855801\ 24497129817627234045/1544168520360595102247742056510738788094060354\ 021353588017058290497*c_0110_6^25 + 1247747257852790801582603252665717238171014450230252144200654767858\ 355/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^24 - 288009592513302535970787746868336548865569101826\ 0647076571281809721217/15441685203605951022477420565107387880940603\ 54021353588017058290497*c_0110_6^23 - 3804138492333114728458499705241530828912446953596867575073190119305\ 585/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^22 + 921733106241626377843788118304844572436774419807\ 1483887110301333391374/15441685203605951022477420565107387880940603\ 54021353588017058290497*c_0110_6^21 + 3660604943159938891531070763298381601978387657043228746832804123230\ 335/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^20 - 168328124280765316204949593759172695163575468966\ 36384037549526591847498/1544168520360595102247742056510738788094060\ 354021353588017058290497*c_0110_6^19 + 4030290636233723243400090269695457318560113054707931271649092673569\ 054/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^18 + 167142955579284629454196982344678429805181007060\ 33551349379961880521623/1544168520360595102247742056510738788094060\ 354021353588017058290497*c_0110_6^17 - 1212558563304551311117041073355389524268688230559867298294314456247\ 3801/15441685203605951022477420565107387880940603540213535880170582\ 90497*c_0110_6^16 - 69527928530578498249482928904234794410017133344\ 21420478015099736184505/1544168520360595102247742056510738788094060\ 354021353588017058290497*c_0110_6^15 + 1051424093715766166767848391273230540546259579363089515640961215757\ 0455/15441685203605951022477420565107387880940603540213535880170582\ 90497*c_0110_6^14 - 60486198598906151097518040625369361870641021158\ 0434539347635907638806/15441685203605951022477420565107387880940603\ 54021353588017058290497*c_0110_6^13 - 3756951673314714920953125689815604699348754764712863026015822564611\ 522/154416852036059510224774205651073878809406035402135358801705829\ 0497*c_0110_6^12 + 754055915741719789923309876036360775924397453196\ 220794526388936221142/154416852036059510224774205651073878809406035\ 4021353588017058290497*c_0110_6^11 + 5484280208884282578545881994361690839361424635030971006691723035390\ 39/1544168520360595102247742056510738788094060354021353588017058290\ 497*c_0110_6^10 + 4176282554144850436009269116848317406498085663535\ 56407708999076081293/1544168520360595102247742056510738788094060354\ 021353588017058290497*c_0110_6^9 - 3180943778125783484130047038757866481945248863122322151373987153138\ 12/1544168520360595102247742056510738788094060354021353588017058290\ 497*c_0110_6^8 - 34076260641852501970681346359846214445703689341360\ 2291475139232436058/15441685203605951022477420565107387880940603540\ 21353588017058290497*c_0110_6^7 + 242736041514785939118488896320490\ 192845813544545280859382732659415078/154416852036059510224774205651\ 0738788094060354021353588017058290497*c_0110_6^6 + 7742531914128203164449915451380585468506093352238630898988994590818\ 0/15441685203605951022477420565107387880940603540213535880170582904\ 97*c_0110_6^5 - 817520731941793462685518909152910999936361418153080\ 95134383644456887/1544168520360595102247742056510738788094060354021\ 353588017058290497*c_0110_6^4 + 66047151141697678609282972990504106\ 25232988666251420290200068159850/1544168520360595102247742056510738\ 788094060354021353588017058290497*c_0110_6^3 + 7663146677777974974728117691076096097610843605211528566021764663561\ /154416852036059510224774205651073878809406035402135358801705829049\ 7*c_0110_6^2 + 7363183985582108659170833662130412664852250805082020\ 16375677950726/1544168520360595102247742056510738788094060354021353\ 588017058290497*c_0110_6 + 1496345868502499351690233714379316774662\ 77180618225775078690155319/1544168520360595102247742056510738788094\ 060354021353588017058290497, c_0110_6^32 - 3*c_0110_6^31 - 19*c_0110_6^30 - 15*c_0110_6^29 + 233*c_0110_6^28 + 1127*c_0110_6^27 - 2017*c_0110_6^26 - 10358*c_0110_6^25 + 10281*c_0110_6^24 + 39869*c_0110_6^23 - 34747*c_0110_6^22 - 75703*c_0110_6^21 + 84976*c_0110_6^20 + 72407*c_0110_6^19 - 133153*c_0110_6^18 - 18874*c_0110_6^17 + 122083*c_0110_6^16 - 32905*c_0110_6^15 - 63122*c_0110_6^14 + 35772*c_0110_6^13 + 17650*c_0110_6^12 - 13147*c_0110_6^11 - 4749*c_0110_6^10 + 1272*c_0110_6^9 + 3849*c_0110_6^8 - c_0110_6^7 - 2156*c_0110_6^6 + 389*c_0110_6^5 + 598*c_0110_6^4 - 215*c_0110_6^3 - 72*c_0110_6^2 + 21*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB