Magma V2.19-8 Tue Aug 20 2013 16:16:35 on localhost [Seed = 1343343756] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0879 geometric_solution 4.78289927 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 0 0 0 0 0 1 -1 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 3.402507826654 0.897137664736 0 2 2 0 3201 0132 3201 0132 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.594730811521 0.724141037044 1 1 3 4 2310 0132 0132 0132 0 0 0 0 0 1 -1 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 -1 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.020112773676 0.323019917539 4 4 5 2 1023 3012 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0.646703808339 1.278654580442 3 3 2 5 1230 1023 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 1 -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 -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.646703808339 1.278654580442 4 6 6 3 3201 0132 3201 0132 0 0 0 0 0 -1 0 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 -1 0 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.361877451543 0.787939689212 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 1 -1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 1.918703381363 0.570404434824 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_0']})} 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_1, c_0011_3, c_0011_5, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 2716043210328062539343960996166593626483705639397450515474129983407\ 27883716198217359246220066789931/1266502445885523115590358784500993\ 991174136544986467806114644414349690799987057972851847263690334*c_0\ 101_6^29 - 27271829814852462097563861355838076098398347088156368240\ 60911061601045138637555944718749081731513235/1266502445885523115590\ 3587845009939911741365449864678061146444143496907999870579728518472\ 63690334*c_0101_6^28 + 93842509605635836173142388938138956182599080\ 78559868656968100772391835058911592233299334774227826875/1266502445\ 8855231155903587845009939911741365449864678061146444143496907999870\ 57972851847263690334*c_0101_6^27 + 4264666841346530952828420406377397452133813494164211363559104574820\ 9416450699996398362024021869299029/63325122294276155779517939225049\ 6995587068272493233903057322207174845399993528986425923631845167*c_\ 0101_6^26 + 1901298966793830189684231250911066147484530268023372874\ 21291342645694391075062482342295590372004688655/6332512229427615577\ 9517939225049699558706827249323390305732220717484539999352898642592\ 3631845167*c_0101_6^25 + 161131851176037166770126468649808291339047\ 341042999151463931097242555264289758701903653837979733158275/974232\ 6506811716273771990650007646085954896499895906200881880110382236922\ 9773690219372866437718*c_0101_6^24 + 1792651352856377601885778343348131552206149068040797559266673113086\ 974975112322606357115235264821859707/633251222942761557795179392250\ 496995587068272493233903057322207174845399993528986425923631845167*\ c_0101_6^23 - 10080299885109369566611553893100786160690383634802396\ 388481481066127077540981114921130083896891137456147/126650244588552\ 3115590358784500993991174136544986467806114644414349690799987057972\ 851847263690334*c_0101_6^22 - 4366005148182937744152168650109770172\ 6506954377905156040915586494625519729386542415288823531148078209915\ /126650244588552311559035878450099399117413654498646780611464441434\ 9690799987057972851847263690334*c_0101_6^21 - 2595505727884068982282078458522868450026850992368164897296589286272\ 7857187462167150179716509675997764403/63325122294276155779517939225\ 0496995587068272493233903057322207174845399993528986425923631845167\ *c_0101_6^20 + 2107144189249623097300043108216551291409912106654906\ 7177182679295399519549349955822681136411751568353797/12665024458855\ 2311559035878450099399117413654498646780611464441434969079998705797\ 2851847263690334*c_0101_6^19 + 546075354355283098060786521384706483\ 5268909955146870142313024214261474425860740404476204980747199414702\ 1/63325122294276155779517939225049699558706827249323390305732220717\ 4845399993528986425923631845167*c_0101_6^18 - 3039231483901511029344043639698459096142093941285813849145996024049\ 10835974230327886719167358234178608/6332512229427615577951793922504\ 96995587068272493233903057322207174845399993528986425923631845167*c\ _0101_6^17 - 648238156028407000052581695626763644996210014403342131\ 8255105903337459807379283786146762463555093852315/48711632534058581\ 3688599532500382304297744824994795310044094005519111846148868451096\ 86433218859*c_0101_6^16 + 39096773117335700457955575730703559998744\ 636669503445572789172269892091612139766080819281258219385455714/633\ 2512229427615577951793922504969955870682724932339030573222071748453\ 99993528986425923631845167*c_0101_6^15 + 5386312074495630000635891331148748161037180319394127312485578754019\ 593217753002003645676463737501458988/218362490669917778550061859396\ 72310192657526637697720795080076109477427585983758152618056270523*c\ _0101_6^14 - 295152743107109144118755408678316578834920869027653078\ 98761571918529976207694979183690174849608274168103/6332512229427615\ 5779517939225049699558706827249323390305732220717484539999352898642\ 5923631845167*c_0101_6^13 - 122655608305241171325477258557974776800\ 407464018863705454774622918239668195361839949077097443576984078484/\ 6332512229427615577951793922504969955870682724932339030573222071748\ 45399993528986425923631845167*c_0101_6^12 + 4642858001921334559665144255307150289466253093799680060326986256199\ 6638809714937501869725259528026647763/12665024458855231155903587845\ 0099399117413654498646780611464441434969079998705797285184726369033\ 4*c_0101_6^11 + 836349283341827897053594309223096984385065790522999\ 35753927751263553565778996323838302540192656121865587/1266502445885\ 5231155903587845009939911741365449864678061146444143496907999870579\ 72851847263690334*c_0101_6^10 - 10294708664356431502363636746221230\ 1174214245026498624683612192394332424411254253203241912562387497730\ 3/43672498133983555710012371879344620385315053275395441590160152218\ 954855171967516305236112541046*c_0101_6^9 - 8689365041121916963887737695260799971634587572608479865366995423696\ 717146799931462545571984730769109909/126650244588552311559035878450\ 0993991174136544986467806114644414349690799987057972851847263690334\ *c_0101_6^8 + 82630828966934298354184317637984248147521374139081291\ 74392813447735138392562637868594018064249129704793/1266502445885523\ 1155903587845009939911741365449864678061146444143496907999870579728\ 51847263690334*c_0101_6^7 + 141726272428300402344574395510400931588\ 1947480202425163741683007069227754990857467404735403193048072311/12\ 6650244588552311559035878450099399117413654498646780611464441434969\ 0799987057972851847263690334*c_0101_6^6 - 1073164845986556275652150898139149252999031391136613746695266418119\ 326891364368573103475813437188445173/126650244588552311559035878450\ 0993991174136544986467806114644414349690799987057972851847263690334\ *c_0101_6^5 - 96880214704017402720627032382775622237077200267988218\ 1400403563809625744579769142392922726307470823287/12665024458855231\ 1559035878450099399117413654498646780611464441434969079998705797285\ 1847263690334*c_0101_6^4 + 2872690533641909051449140962690685500959\ 95266500031175382176244802288648662824217045845849678631922087/1266\ 5024458855231155903587845009939911741365449864678061146444143496907\ 99987057972851847263690334*c_0101_6^3 + 1378314031571274572919454774769994484088743293150647073820413545777\ 92493586958489752008017052103401/3450960343012324565641304589920964\ 553608001484976751515298758622206241961817596656272063388802*c_0101\ _6^2 - 538670134377324290455639204449812737186476274453193877329617\ 0147143699590982764093053601333141497009/12665024458855231155903587\ 8450099399117413654498646780611464441434969079998705797285184726369\ 0334*c_0101_6 - 190917480218909569002335339544802419879280195024357\ 0678491037300762620263779695164853146409777001549/12665024458855231\ 1559035878450099399117413654498646780611464441434969079998705797285\ 1847263690334, c_0011_0 - 1, c_0011_1 + 162276341059756377621090732959729940519079869498810182980895\ 79678997229588115250855411096553275/2183624906699177785500618593967\ 2310192657526637697720795080076109477427585983758152618056270523*c_\ 0101_6^29 + 1680880912558042028405876381110908936221855644473487028\ 70850220369940246678433889141965151487151/2183624906699177785500618\ 5939672310192657526637697720795080076109477427585983758152618056270\ 523*c_0101_6^28 - 5077637390203148275723939219026795843979752184908\ 17902717875100828110365480661775864790266835549/2183624906699177785\ 5006185939672310192657526637697720795080076109477427585983758152618\ 056270523*c_0101_6^27 - 5261045936749356350064602743010589449656047\ 018525678157987839022932130024506072067854278714699918/218362490669\ 9177785500618593967231019265752663769772079508007610947742758598375\ 8152618056270523*c_0101_6^26 - 243757603247922873256503547610643909\ 12711383314274264417030640832782613553811081822759840744943223/2183\ 6249066991777855006185939672310192657526637697720795080076109477427\ 585983758152618056270523*c_0101_6^25 - 1021226083498794905264448435052919701505945185740388671667850204668\ 5739999330176478178064700816263/16797114666916752196158604568978700\ 14819809741361363138083082777652109814306442934816773559271*c_0101_\ 6^24 - 255739610555667718877023290837585370106917947101029784753268\ 403049432682969704431130038340429961365/218362490669917778550061859\ 3967231019265752663769772079508007610947742758598375815261805627052\ 3*c_0101_6^23 + 524298521700374196491497627696417138598206177114509\ 949426985309429500226442480459907810169899044587/218362490669917778\ 5500618593967231019265752663769772079508007610947742758598375815261\ 8056270523*c_0101_6^22 + 278080513549908771054995076239235580964703\ 7847334117545508262855570134837790105558055873220908391558/21836249\ 0669917778550061859396723101926575266376977207950800761094774275859\ 83758152618056270523*c_0101_6^21 + 3970737336547495824989198389143482131908140619093019401587034446582\ 758811877554692798549830947405481/218362490669917778550061859396723\ 10192657526637697720795080076109477427585983758152618056270523*c_01\ 01_6^20 - 652803318786467713467606645243779772996493972015968777524\ 24566613535608761319730850673923491895936/2183624906699177785500618\ 5939672310192657526637697720795080076109477427585983758152618056270\ 523*c_0101_6^19 - 6638064618849440749670786961495083896233164171675\ 325777776318105652477004816264618857371100433516577/218362490669917\ 7785500618593967231019265752663769772079508007610947742758598375815\ 2618056270523*c_0101_6^18 - 206425298358616078271530410244355559717\ 1592151152573258873108566130491838768959875623444129109945774/21836\ 2490669917778550061859396723101926575266376977207950800761094774275\ 85983758152618056270523*c_0101_6^17 + 7363470398577953017134049862161146425350184877682835012665895429243\ 90622275278717628195295965059657/1679711466691675219615860456897870\ 014819809741361363138083082777652109814306442934816773559271*c_0101\ _6^16 - 15925529920300177586063765381938610853308397814360957082041\ 32770180304244769900102420091567661258888/2183624906699177785500618\ 5939672310192657526637697720795080076109477427585983758152618056270\ 523*c_0101_6^15 - 1939937892230201558261255501875478480085709647448\ 6811568964301873983309142375630607944091623817716755/21836249066991\ 7778550061859396723101926575266376977207950800761094774275859837581\ 52618056270523*c_0101_6^14 - 25798158076736802129797392817011433086\ 35245847412592116874383954533024911799760640723756033219443868/2183\ 6249066991777855006185939672310192657526637697720795080076109477427\ 585983758152618056270523*c_0101_6^13 + 1429832045492763448032485845574437678022351943167737428341033937276\ 8921332609295562530814904013891746/21836249066991777855006185939672\ 310192657526637697720795080076109477427585983758152618056270523*c_0\ 101_6^12 + 18062697097417362147621746940749165696185665457938526385\ 94632904994102607124416199369927811863721033/2183624906699177785500\ 6185939672310192657526637697720795080076109477427585983758152618056\ 270523*c_0101_6^11 - 4766216188791255909805026412468136649604434753\ 224295902197639738651961848996604848776596883962355924/218362490669\ 9177785500618593967231019265752663769772079508007610947742758598375\ 8152618056270523*c_0101_6^10 + 242160374662207866536192165485717460\ 558096596557713373694241098873284101455654209407066118893049635/218\ 3624906699177785500618593967231019265752663769772079508007610947742\ 7585983758152618056270523*c_0101_6^9 + 7117238857393942736771343567006041534293073853634429416981170196817\ 91669506625224864643903193952523/2183624906699177785500618593967231\ 0192657526637697720795080076109477427585983758152618056270523*c_010\ 1_6^8 - 27887562339341232989968836793298493128573395396455466634789\ 8267682830271820423090103414606584890534/21836249066991777855006185\ 9396723101926575266376977207950800761094774275859837581526180562705\ 23*c_0101_6^7 - 190331455658291739723848791023854178210884447542415\ 610229752973417924230484723920423301138627093469/218362490669917778\ 5500618593967231019265752663769772079508007610947742758598375815261\ 8056270523*c_0101_6^6 + 1138684646762592144360552338581833254261650\ 5223116410380354895432014265489741805800748308757004233/21836249066\ 9917778550061859396723101926575266376977207950800761094774275859837\ 58152618056270523*c_0101_6^5 + 657679157884163084100253124034505535\ 94448621930734536128294226514186591801953498278242661170669538/2183\ 6249066991777855006185939672310192657526637697720795080076109477427\ 585983758152618056270523*c_0101_6^4 + 3208036358735548316253848515676150693080996150960852993148074870169\ 095647229893441711599345404257/218362490669917778550061859396723101\ 92657526637697720795080076109477427585983758152618056270523*c_0101_\ 6^3 - 9590964162604423812777830175460636583208153040000898114114349\ 468766990123669482164609218178124/594993162588331821662293894813959\ 40579448301465116405436185493486314516583062011315035575669*c_0101_\ 6^2 - 7822420971360113184518636259679552988262071228557290227994198\ 79515446629169472439035686373117005/2183624906699177785500618593967\ 2310192657526637697720795080076109477427585983758152618056270523*c_\ 0101_6 - 5838439863057426742171896285613061053110003367377938003135\ 4974910372645889917898515958237859987/21836249066991777855006185939\ 672310192657526637697720795080076109477427585983758152618056270523, c_0011_3 - 116141017320865828970375289958841692056079598224847902078552\ 99218347033443934340666970802706889/2183624906699177785500618593967\ 2310192657526637697720795080076109477427585983758152618056270523*c_\ 0101_6^29 - 1205169371117108375512132559780636172695001652611787009\ 55165779014471420672566941728947069765745/2183624906699177785500618\ 5939672310192657526637697720795080076109477427585983758152618056270\ 523*c_0101_6^28 + 3611490327363540935258373835908946240226423674714\ 77436614057347025310747330097273288618234827216/2183624906699177785\ 5006185939672310192657526637697720795080076109477427585983758152618\ 056270523*c_0101_6^27 + 3771954637523438028321336197686562095289392\ 236245168771952347974253526131166687536384217366229421/218362490669\ 9177785500618593967231019265752663769772079508007610947742758598375\ 8152618056270523*c_0101_6^26 + 175164643735698616104042637104125918\ 59678479197792849853994114210536723266997567095943231254395160/2183\ 6249066991777855006185939672310192657526637697720795080076109477427\ 585983758152618056270523*c_0101_6^25 + 7334266009739671755647261012972897774568655855094698189531029421704\ 599244958765033409967374144468/167971146669167521961586045689787001\ 4819809741361363138083082777652109814306442934816773559271*c_0101_6\ ^24 + 1848222064316239564263089934553183010376277839118709710937142\ 12022042289112043186745577197317976911/2183624906699177785500618593\ 9672310192657526637697720795080076109477427585983758152618056270523\ *c_0101_6^23 - 3717244642064736569444537866065291182858893383751402\ 27218766504859557354878917780508310316361101756/2183624906699177785\ 5006185939672310192657526637697720795080076109477427585983758152618\ 056270523*c_0101_6^22 - 1997073047752064205387049919452870731821116\ 997451990432478463930836192292400546459676832209241473527/218362490\ 6699177785500618593967231019265752663769772079508007610947742758598\ 3758152618056270523*c_0101_6^21 - 287963747863742957620053962701332\ 8660311304945088385231368999825092827351207606430490911859267511473\ /218362490669917778550061859396723101926575266376977207950800761094\ 77427585983758152618056270523*c_0101_6^20 - 8542024877812567395694885730385525249992988806516898002818676785727\ 526403149651205785305476384367/218362490669917778550061859396723101\ 92657526637697720795080076109477427585983758152618056270523*c_0101_\ 6^19 + 475004692366309429756135831745965938476412701310331255397620\ 3138459235688182837248556339408322477503/21836249066991777855006185\ 9396723101926575266376977207950800761094774275859837581526180562705\ 23*c_0101_6^18 + 15694656074141849742332134240423081769087194657531\ 32792469797505051976150134956255369970719486524173/2183624906699177\ 7855006185939672310192657526637697720795080076109477427585983758152\ 618056270523*c_0101_6^17 - 5243110434433465376312387560812088203267\ 41299257271161221926226413315016542060727989179299919942418/1679711\ 4666916752196158604568978700148198097413613631380830827776521098143\ 06442934816773559271*c_0101_6^16 + 1010032135885978005470165148951832474118445470652419450011860947909\ 512359118421674958449567532657793/218362490669917778550061859396723\ 10192657526637697720795080076109477427585983758152618056270523*c_01\ 01_6^15 + 138935150412680517863309522887580917805938551656226883756\ 81743838392918493950823436650475086783987897/2183624906699177785500\ 6185939672310192657526637697720795080076109477427585983758152618056\ 270523*c_0101_6^14 + 2112089646930738914083472470004390262693565304\ 831108077621458057962558070402397835888201784411843815/218362490669\ 9177785500618593967231019265752663769772079508007610947742758598375\ 8152618056270523*c_0101_6^13 - 101796312321975687880945341685267280\ 70023376125799214013248065699767465700072073951377087788478064019/2\ 1836249066991777855006185939672310192657526637697720795080076109477\ 427585983758152618056270523*c_0101_6^12 - 1494240499040825199296840008069284782828365090647566600377692519765\ 670786722808083683904857427332954/218362490669917778550061859396723\ 10192657526637697720795080076109477427585983758152618056270523*c_01\ 01_6^11 + 336671114340419077844627966040260021801175231032408937873\ 7819674109711717343276807869279592791330203/21836249066991777855006\ 1859396723101926575266376977207950800761094774275859837581526180562\ 70523*c_0101_6^10 - 10361381982164694336613814095192480007164416282\ 7075680678332071421157531031968911991399099350163220/21836249066991\ 7778550061859396723101926575266376977207950800761094774275859837581\ 52618056270523*c_0101_6^9 - 504184172045506978645339328145914628433\ 550870270683676962679888060565004273099263269177260689202472/218362\ 4906699177785500618593967231019265752663769772079508007610947742758\ 5983758152618056270523*c_0101_6^8 + 1872961420011364689156883607887545834912264121382228024243482044398\ 22843488844885563612481308486771/2183624906699177785500618593967231\ 0192657526637697720795080076109477427585983758152618056270523*c_010\ 1_6^7 + 13882354221036837801161485427343226224987993356376808762054\ 0522891673908837652002895149665822915486/21836249066991777855006185\ 9396723101926575266376977207950800761094774275859837581526180562705\ 23*c_0101_6^6 - 472870860165090059327786824519282065300565884350651\ 8166441266517895885256309227219995195645502856/21836249066991777855\ 0061859396723101926575266376977207950800761094774275859837581526180\ 56270523*c_0101_6^5 - 471101724550328427686952742074085479446010182\ 40457478073341231805483343767172142793045118602579608/2183624906699\ 1777855006185939672310192657526637697720795080076109477427585983758\ 152618056270523*c_0101_6^4 - 33479832542792087310191055880342198980\ 51900999320455562577435766790053315305285160092810320697741/2183624\ 9066991777855006185939672310192657526637697720795080076109477427585\ 983758152618056270523*c_0101_6^3 + 6454930696137620473877311701954291577297785934270571614190136793698\ 715529075911479235466544834/594993162588331821662293894813959405794\ 48301465116405436185493486314516583062011315035575669*c_0101_6^2 + 6397485481703920485975105568530031367148588586353334043706385270110\ 70855813714810561023236703888/2183624906699177785500618593967231019\ 2657526637697720795080076109477427585983758152618056270523*c_0101_6 + 47628514210901051230395738874323814573877314219856709347266872956\ 088408255587942553175528288581/218362490669917778550061859396723101\ 92657526637697720795080076109477427585983758152618056270523, c_0011_5 + 619668885463379231581263108538485186149248383343874134346957\ 0224318101908466907303636419221895/21836249066991777855006185939672\ 310192657526637697720795080076109477427585983758152618056270523*c_0\ 101_6^29 + 64390998250247707971958948587941361623120978235758422849\ 869146615784106544350769020330463152688/218362490669917778550061859\ 3967231019265752663769772079508007610947742758598375815261805627052\ 3*c_0101_6^28 - 191682327612460747343047274061606151508506548401470\ 110633134344621088628931504198778177478907928/218362490669917778550\ 0618593967231019265752663769772079508007610947742758598375815261805\ 6270523*c_0101_6^27 - 201444956691282902662520452965013457292217177\ 0305233547326410012021608255944097963963079770484829/21836249066991\ 7778550061859396723101926575266376977207950800761094774275859837581\ 52618056270523*c_0101_6^26 - 93773401479074358946695101911953155301\ 49455871721876023494987833504116448187873758527962050260061/2183624\ 9066991777855006185939672310192657526637697720795080076109477427585\ 983758152618056270523*c_0101_6^25 - 3925594759348740076307893738954675067750671882443407834732667833829\ 717183762522452724425350790493/167971146669167521961586045689787001\ 4819809741361363138083082777652109814306442934816773559271*c_0101_6\ ^24 - 9947021199292459634641469438341588212618789948369479488121169\ 2285949159237963788921905970734723003/21836249066991777855006185939\ 672310192657526637697720795080076109477427585983758152618056270523*\ c_0101_6^23 + 19623107300630897258359109698961114493068780044903080\ 7091203753801636981666192091710607068961365918/21836249066991777855\ 0061859396723101926575266376977207950800761094774275859837581526180\ 56270523*c_0101_6^22 + 10670289148587649910442360452583438607436454\ 02941994375074208574538290764216438850383208982743005840/2183624906\ 6991777855006185939672310192657526637697720795080076109477427585983\ 758152618056270523*c_0101_6^21 + 1554207260449738331447452725110728\ 267760296480691985551330944846971290198153809199408444897725623098/\ 2183624906699177785500618593967231019265752663769772079508007610947\ 7427585983758152618056270523*c_0101_6^20 + 4078535462877188411755008476024411408389305022443013562630421991773\ 7873932227781278408074995102935/21836249066991777855006185939672310\ 192657526637697720795080076109477427585983758152618056270523*c_0101\ _6^19 - 25127237433880150593483189519165909353054345460963487653576\ 38449779435289366956993219041891392659347/2183624906699177785500618\ 5939672310192657526637697720795080076109477427585983758152618056270\ 523*c_0101_6^18 - 8707652532965499090312537332887946153394375818751\ 19666447088517046114980620556415418586814743527703/2183624906699177\ 7855006185939672310192657526637697720795080076109477427585983758152\ 618056270523*c_0101_6^17 + 2764335918160745606373920763327690559023\ 25292096112512578973109079465682483177703302217528348948402/1679711\ 4666916752196158604568978700148198097413613631380830827776521098143\ 06442934816773559271*c_0101_6^16 - 4995199419466415602044667583544010991672627093687596323362360576323\ 63657753285670042866996656149657/2183624906699177785500618593967231\ 0192657526637697720795080076109477427585983758152618056270523*c_010\ 1_6^15 - 7376274124155760486313843836436554507200714609817271535861\ 811572190980451752363758822113181792379125/218362490669917778550061\ 8593967231019265752663769772079508007610947742758598375815261805627\ 0523*c_0101_6^14 - 123843963079997888159421745253884364756122816479\ 3738774698806559093907455096290064739444671499641459/21836249066991\ 7778550061859396723101926575266376977207950800761094774275859837581\ 52618056270523*c_0101_6^13 + 53203657660724951969270185640199310974\ 54744663212818416134489867249829113481269671238976480067916362/2183\ 6249066991777855006185939672310192657526637697720795080076109477427\ 585983758152618056270523*c_0101_6^12 + 8529424139045370865580446892834988340776670785301747814912644031453\ 02176582748296937726325469166467/2183624906699177785500618593967231\ 0192657526637697720795080076109477427585983758152618056270523*c_010\ 1_6^11 - 1722866767586671609464913706160302602955241624993842461903\ 803941661308583026574561659703978875211822/218362490669917778550061\ 8593967231019265752663769772079508007610947742758598375815261805627\ 0523*c_0101_6^10 + 412255464430415856564357426362472527367627035034\ 98941402703808080018671410355654276418636743834665/2183624906699177\ 7855006185939672310192657526637697720795080076109477427585983758152\ 618056270523*c_0101_6^9 + 25155602399614501072340859776801444467576\ 3391373114346948688763680717014600437834723795876310967524/21836249\ 0669917778550061859396723101926575266376977207950800761094774275859\ 83758152618056270523*c_0101_6^8 - 946485963530397601315121665911062\ 70517685015231631008513514852967436143678197755770109045797432432/2\ 1836249066991777855006185939672310192657526637697720795080076109477\ 427585983758152618056270523*c_0101_6^7 - 7334476534586149033234842531015281349573767349993055732844985696479\ 0026238669314050276593063795052/21836249066991777855006185939672310\ 192657526637697720795080076109477427585983758152618056270523*c_0101\ _6^6 + 210275350326604801843817322689479355785862006582263998267167\ 00465096139932950388685576320176495/2183624906699177785500618593967\ 2310192657526637697720795080076109477427585983758152618056270523*c_\ 0101_6^5 + 24411478571095704262448727212770961730726741258698743817\ 697594029929427461755375579484959630336110/218362490669917778550061\ 8593967231019265752663769772079508007610947742758598375815261805627\ 0523*c_0101_6^4 + 2069945129497054760216522271508846764523051462109\ 956641016284975450466828444542867667811252525751/218362490669917778\ 5500618593967231019265752663769772079508007610947742758598375815261\ 8056270523*c_0101_6^3 - 2830543760715517623997465714271587124931968\ 442132492190043567108049943866503300704232276521643/594993162588331\ 8216622938948139594057944830146511640543618549348631451658306201131\ 5035575669*c_0101_6^2 - 3378219305826186311823546668655348798539956\ 45083508358417079673733682205356287689104539343600861/2183624906699\ 1777855006185939672310192657526637697720795080076109477427585983758\ 152618056270523*c_0101_6 - 3049370683123878455465933941501570523362\ 8763862868928120932210697879753580644457931879402503133/21836249066\ 9917778550061859396723101926575266376977207950800761094774275859837\ 58152618056270523, c_0101_1 - 597620948896179769678876219938204152267787451525459506949297\ 7603096205535270112577509700910958/21836249066991777855006185939672\ 310192657526637697720795080076109477427585983758152618056270523*c_0\ 101_6^29 - 63312432488982653069024718820740726890989088493701091749\ 834469397351332959858137677469518921056/218362490669917778550061859\ 3967231019265752663769772079508007610947742758598375815261805627052\ 3*c_0101_6^28 + 172531980093864800362685089544589854165021465344146\ 688993610309718501805468286978865593202738505/218362490669917778550\ 0618593967231019265752663769772079508007610947742758598375815261805\ 6270523*c_0101_6^27 + 198307623811734209959309837228331029554575073\ 8330128344220309933348464200082634476004609068606873/21836249066991\ 7778550061859396723101926575266376977207950800761094774275859837581\ 52618056270523*c_0101_6^26 + 94295609558627709698641653420684700205\ 50927435178396451917553164464183832329079792149773536399899/2183624\ 9066991777855006185939672310192657526637697720795080076109477427585\ 983758152618056270523*c_0101_6^25 + 3920339034419667030764171850546078779562079421755861401367736223392\ 411642076992916394180666128463/167971146669167521961586045689787001\ 4819809741361363138083082777652109814306442934816773559271*c_0101_6\ ^24 + 1055087842907573222253324312311024183504345020977138770190974\ 55582643513159531425752734480273790576/2183624906699177785500618593\ 9672310192657526637697720795080076109477427585983758152618056270523\ *c_0101_6^23 - 1720052522864442706183983446282666663464091187804740\ 53896086952513485902148339952135895696245147328/2183624906699177785\ 5006185939672310192657526637697720795080076109477427585983758152618\ 056270523*c_0101_6^22 - 1071801463410670974516066440557795801507636\ 577626197532363743550978990523887724085257970255930688221/218362490\ 6699177785500618593967231019265752663769772079508007610947742758598\ 3758152618056270523*c_0101_6^21 - 169926298445481475698663985499573\ 7707305864758379372068103376372972410906143474431730139443146782187\ /218362490669917778550061859396723101926575266376977207950800761094\ 77427585983758152618056270523*c_0101_6^20 - 2972197582386601889299190837160137760921177376722769130167935995673\ 20618700783355789175923642279410/2183624906699177785500618593967231\ 0192657526637697720795080076109477427585983758152618056270523*c_010\ 1_6^19 + 2483188918099850776903015743902904410447162359276601908328\ 976226540336023834841437882079931850404989/218362490669917778550061\ 8593967231019265752663769772079508007610947742758598375815261805627\ 0523*c_0101_6^18 + 133476929151597995475474540337421820529843151591\ 2305050097555034776528479627525169190541091727468671/21836249066991\ 7778550061859396723101926575266376977207950800761094774275859837581\ 52618056270523*c_0101_6^17 - 26169941353044291366515037653347078493\ 2303799877202925737065233111260194385661631730633842147890869/16797\ 1146669167521961586045689787001481980974136136313808308277765210981\ 4306442934816773559271*c_0101_6^16 - 2581858596271544255928939692999409111288873107108016699005290619394\ 04120370905889090254202806364258/2183624906699177785500618593967231\ 0192657526637697720795080076109477427585983758152618056270523*c_010\ 1_6^15 + 7366021124208151394450756523115757439939084941065867361305\ 220664850479353265705756396850128169865361/218362490669917778550061\ 8593967231019265752663769772079508007610947742758598375815261805627\ 0523*c_0101_6^14 + 261506794301536468802949942113903160005665220385\ 9854876104682876754406939384794460780333422232880137/21836249066991\ 7778550061859396723101926575266376977207950800761094774275859837581\ 52618056270523*c_0101_6^13 - 52072452274871625032803441325378502862\ 38239721519583014357782793477087774591293147946175796150870554/2183\ 6249066991777855006185939672310192657526637697720795080076109477427\ 585983758152618056270523*c_0101_6^12 - 1918357107804256634009182504505791239204169874665881177118532453942\ 331219890030546317625829871773357/218362490669917778550061859396723\ 10192657526637697720795080076109477427585983758152618056270523*c_01\ 01_6^11 + 171950591181390043657700470558782143292836177831207823987\ 5853046498655550188528268154476927447239218/21836249066991777855006\ 1859396723101926575266376977207950800761094774275859837581526180562\ 70523*c_0101_6^10 + 32963789518257500714107001117784679480248642871\ 9618233615670411272394414295220494931136431481516166/21836249066991\ 7778550061859396723101926575266376977207950800761094774275859837581\ 52618056270523*c_0101_6^9 - 325099007632020362176236715103369324745\ 346146268332647036854282796495320413873602953474233131067108/218362\ 4906699177785500618593967231019265752663769772079508007610947742758\ 5983758152618056270523*c_0101_6^8 + 4600652577160169901915253613569546332934141838477624442127792126374\ 4500953413820260316951058988861/21836249066991777855006185939672310\ 192657526637697720795080076109477427585983758152618056270523*c_0101\ _6^7 + 100741900188625008522741234096065301870148008883946618711925\ 049596634452162036853531091030498216149/218362490669917778550061859\ 3967231019265752663769772079508007610947742758598375815261805627052\ 3*c_0101_6^6 + 9575901970043720325862286162800561034495327569246362\ 265129709306287349023638857357728869367255650/218362490669917778550\ 0618593967231019265752663769772079508007610947742758598375815261805\ 6270523*c_0101_6^5 - 2677077622039383523278808012890021245503396162\ 2004905955556844771751213891614274657740450252945095/21836249066991\ 7778550061859396723101926575266376977207950800761094774275859837581\ 52618056270523*c_0101_6^4 - 662627148978251680329644430919167012431\ 4723155096238276110551440713255753687550170730950875710507/21836249\ 0669917778550061859396723101926575266376977207950800761094774275859\ 83758152618056270523*c_0101_6^3 + 420396130494351975024079282012128\ 1652966996237406838283833375192980706127162100385188915846184/59499\ 3162588331821662293894813959405794483014651164054361854934863145165\ 83062011315035575669*c_0101_6^2 + 570719696615367076604152625493899\ 279377584719289180565387720260243134580723967240297516747484682/218\ 3624906699177785500618593967231019265752663769772079508007610947742\ 7585983758152618056270523*c_0101_6 + 4752415706669260767177120107062300993464728421430017590607894272951\ 4602485281278444481745074775/21836249066991777855006185939672310192\ 657526637697720795080076109477427585983758152618056270523, c_0101_2 - 111794235908883140445962008386212238096472578621365633222551\ 74279405880693220712041129815605627/2183624906699177785500618593967\ 2310192657526637697720795080076109477427585983758152618056270523*c_\ 0101_6^29 - 1156953532681125636718428002688307072820433065904571425\ 88330310048259496594938002349582271539113/2183624906699177785500618\ 5939672310192657526637697720795080076109477427585983758152618056270\ 523*c_0101_6^28 + 3509024984850436244190819903206684921169396043591\ 79616359187416960326661587800999941384737161646/2183624906699177785\ 5006185939672310192657526637697720795080076109477427585983758152618\ 056270523*c_0101_6^27 + 3621544549689949558956153474288606529959330\ 485873470947517441379114473857648836619419417512369858/218362490669\ 9177785500618593967231019265752663769772079508007610947742758598375\ 8152618056270523*c_0101_6^26 + 167584392568510726774351040213849029\ 72922909765745118312095739653231482671979603182692789613985491/2183\ 6249066991777855006185939672310192657526637697720795080076109477427\ 585983758152618056270523*c_0101_6^25 + 7022635295996778312985861511120279792666598219933019888448535857975\ 890287062649758594816048848960/167971146669167521961586045689787001\ 4819809741361363138083082777652109814306442934816773559271*c_0101_6\ ^24 + 1752904175441747218141446255292355183346913952456730932405295\ 51436513879350015781842583624077632434/2183624906699177785500618593\ 9672310192657526637697720795080076109477427585983758152618056270523\ *c_0101_6^23 - 3630959642725250191665688361833528880534136351272647\ 02940378426007656415674104323605278855590228267/2183624906699177785\ 5006185939672310192657526637697720795080076109477427585983758152618\ 056270523*c_0101_6^22 - 1912968966438848725409148264595935480836830\ 950725576672237160652036548569924246637278575686097983312/218362490\ 6699177785500618593967231019265752663769772079508007610947742758598\ 3758152618056270523*c_0101_6^21 - 271681798692614217938875847401771\ 3564323652984039003855673628598745455291821781880286287512416948449\ /218362490669917778550061859396723101926575266376977207950800761094\ 77427585983758152618056270523*c_0101_6^20 + 7602663141506136668039209797127655654938209179900893987516714558368\ 4628256534803759523453887254244/21836249066991777855006185939672310\ 192657526637697720795080076109477427585983758152618056270523*c_0101\ _6^19 + 45812811683094770153435326254497435036621734781741621032367\ 35577047181500080010420362254142016855433/2183624906699177785500618\ 5939672310192657526637697720795080076109477427585983758152618056270\ 523*c_0101_6^18 + 1380292415699052924293147606270335797021514365535\ 443464228735265621829975779034634465943302589995016/218362490669917\ 7785500618593967231019265752663769772079508007610947742758598375815\ 2618056270523*c_0101_6^17 - 391819615279215708210861256931093278144\ 17284451937815866968908482737847537621672488064639498635253/1292085\ 7436089809381660465053060538575536998010472024139100636751170075494\ 6649456524367196867*c_0101_6^16 + 115273838382724821223568784618884\ 3249851807081841973716217991660327278304701332652289951215827679489\ /218362490669917778550061859396723101926575266376977207950800761094\ 77427585983758152618056270523*c_0101_6^15 + 1337460436352381122437299105185058619469811511413625452066771754561\ 7007411789039627424007693760926591/21836249066991777855006185939672\ 310192657526637697720795080076109477427585983758152618056270523*c_0\ 101_6^14 + 16517953837999064116780395706789918878736815582034810411\ 52290521494682432449583091638706198510669866/2183624906699177785500\ 6185939672310192657526637697720795080076109477427585983758152618056\ 270523*c_0101_6^13 - 9908255249033870634479392357805808511425780036\ 241107623379188544265020530849088324000742146003524158/218362490669\ 9177785500618593967231019265752663769772079508007610947742758598375\ 8152618056270523*c_0101_6^12 - 116034340131256926796886079879984409\ 9417644613394437615164084213428645177108850671340026596907383423/21\ 8362490669917778550061859396723101926575266376977207950800761094774\ 27585983758152618056270523*c_0101_6^11 + 3325369859126665513764865697542523411773908582248170589501104113874\ 755258465709418675538391338904089/218362490669917778550061859396723\ 10192657526637697720795080076109477427585983758152618056270523*c_01\ 01_6^10 - 193093738015032979643018904907332588958418265374857456365\ 542815294650786343061984972347222350194062/218362490669917778550061\ 8593967231019265752663769772079508007610947742758598375815261805627\ 0523*c_0101_6^9 - 4984096280835778388434034620682459335748126484757\ 16241914288985922033273068789378055780905839515639/2183624906699177\ 7855006185939672310192657526637697720795080076109477427585983758152\ 618056270523*c_0101_6^8 + 19776553073773907688047969215771736030480\ 2818932939528868286373257186454497763049837366842828354896/21836249\ 0669917778550061859396723101926575266376977207950800761094774275859\ 83758152618056270523*c_0101_6^7 + 130512275735931723398492013873356\ 392054731860094919007788923841513211031826996631808524536221071442/\ 2183624906699177785500618593967231019265752663769772079508007610947\ 7427585983758152618056270523*c_0101_6^6 - 9868510706824009141054397333152220482039426448673208218259637056352\ 367705182982665062110225331711/218362490669917778550061859396723101\ 92657526637697720795080076109477427585983758152618056270523*c_0101_\ 6^5 - 4557856152174049540149109711849886594074955340009529637739528\ 1186236535934748704335186407982691736/21836249066991777855006185939\ 672310192657526637697720795080076109477427585983758152618056270523*\ c_0101_6^4 - 178969019845703292891284003104993391249215628842454028\ 2132349886546660891696998573397449710839952/21836249066991777855006\ 1859396723101926575266376977207950800761094774275859837581526180562\ 70523*c_0101_6^3 + 696105992084416367602433742544618915780120709542\ 2042287035207331978939498923834002482575451330/59499316258833182166\ 2293894813959405794483014651164054361854934863145165830620113150355\ 75669*c_0101_6^2 + 517989485621775593010223152034797022386590271034\ 829673743081333855990371941759848351714103450805/218362490669917778\ 5500618593967231019265752663769772079508007610947742758598375815261\ 8056270523*c_0101_6 + 310087464732206610022741878084181718458937252\ 53742994139715187136137038054354602261674589618812/2183624906699177\ 7855006185939672310192657526637697720795080076109477427585983758152\ 618056270523, c_0101_6^30 + 10*c_0101_6^29 - 35*c_0101_6^28 - 313*c_0101_6^27 - 1386*c_0101_6^26 - 7643*c_0101_6^25 - 12829*c_0101_6^24 + 37956*c_0101_6^23 + 159799*c_0101_6^22 + 183316*c_0101_6^21 - 91716*c_0101_6^20 - 407757*c_0101_6^19 + 19190*c_0101_6^18 + 635550*c_0101_6^17 - 309212*c_0101_6^16 - 1160420*c_0101_6^15 + 268954*c_0101_6^14 + 938414*c_0101_6^13 - 203715*c_0101_6^12 - 333732*c_0101_6^11 + 119743*c_0101_6^10 + 38580*c_0101_6^9 - 32766*c_0101_6^8 - 5613*c_0101_6^7 + 4886*c_0101_6^6 + 3816*c_0101_6^5 - 1251*c_0101_6^4 - 290*c_0101_6^3 + 28*c_0101_6^2 + 15*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB