Magma V2.19-8 Tue Aug 20 2013 23:45:40 on localhost [Seed = 442269692] Type ? for help. Type -D to quit. Loading file "K13n4304__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n4304 geometric_solution 9.75399082 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 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 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 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.472248354052 0.617337759234 0 5 4 3 0132 0132 1230 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.047831602065 1.001380600675 6 0 6 4 0132 0132 2031 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 -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.434018786714 1.455514955357 7 1 8 0 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 0 0.785711219068 0.327883003731 2 6 0 1 3201 1230 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 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.855680801250 0.589264076077 6 1 9 9 1023 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.417269765744 0.335548701068 2 5 4 2 0132 1023 3012 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.486301132212 1.501207882584 3 9 8 10 0132 3120 3012 0132 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379115321208 0.956734401452 10 7 11 3 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 -1 6 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.686880743415 0.033937078908 5 7 11 5 3120 3120 1302 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 0 0 0 -1 0 1 0 0 0 0 0 1 -6 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.288748727082 0.742089454013 8 11 7 11 0132 1230 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.721363871776 1.265474787154 9 10 10 8 2031 1302 3012 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 0 0 0 0 0 0 -5 0 0 5 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.660021444535 0.596417850889 ==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' : negation(d['c_0011_9']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : negation(d['c_0011_9']), 'c_1001_0' : negation(d['c_0110_4']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_2']), 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_1001_8'], 'c_1010_11' : d['c_1001_8'], 'c_1010_10' : d['c_0011_11'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(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_2_7' : 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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_11'], 'c_1100_4' : d['c_0011_9'], 'c_1100_7' : negation(d['c_1001_8']), 'c_1100_6' : d['c_0101_2'], 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : d['c_0011_9'], 'c_1100_3' : d['c_0011_9'], 'c_1100_2' : d['c_0011_4'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_9'], 'c_1100_10' : negation(d['c_1001_8']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_9']), 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0011_9']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : negation(d['c_0110_4']), 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0101_2']), 'c_1010_9' : d['c_0011_3'], 'c_1010_8' : d['c_0101_0'], 'c_1100_8' : d['c_0011_9'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_0'], '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' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : negation(d['c_0011_10']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_4']), 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_4, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0110_4, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 1157773080272884934413328569992841127389499655663829884757140936675\ 1924886054912/18799233874785675932544688386919425709268974544535539\ 78084372176153990450005*c_1001_8^18 + 1269308821256821071298628988223717519488220235269820846549991404443\ 205116764672/125328225831904506216964589246129504728459830296903598\ 538958145076932696667*c_1001_8^17 + 3602132321416736379345051358979573907335247549190878591105462801240\ 09246163456/6550255705500235516566093514606071675703475451057679366\ 147638244438991115*c_1001_8^16 - 2298869001750337648497786404598809\ 62594479739914229531824430212715996265851650272/1879923387478567593\ 254468838691942570926897454453553978084372176153990450005*c_1001_8^\ 15 + 79071880338923648032338301989458033606559626678596253229699179\ 37778545885013496/1879923387478567593254468838691942570926897454453\ 553978084372176153990450005*c_1001_8^14 + 8474752542236446748656516396957607190991350326584011554471246116389\ 94465846129294/1879923387478567593254468838691942570926897454453553\ 978084372176153990450005*c_1001_8^13 - 1289646634031329085994168158025301710999711523056467380251141538393\ 58653863215749/9170357987700329723192530920448500345984865631480751\ 1126066935422145875610*c_1001_8^12 + 5129932986382745284219563865036450203281657314735281616414512944793\ 231919404620197/375984677495713518650893767738388514185379490890710\ 7956168744352307980900010*c_1001_8^11 + 7330538507705114375006965210668228184313744149438917513410807537575\ 5619334479895/37598467749571351865089376773838851418537949089071079\ 5616874435230798090001*c_1001_8^10 - 1266924751679407193615938652038430141489815182421118788826159484106\ 735039633906555/751969354991427037301787535476777028370758981781421\ 591233748870461596180002*c_1001_8^9 + 1939695439068261574341685739062735167272360706883401220979008550751\ 156519973986881/187992338747856759325446883869194257092689745445355\ 3978084372176153990450005*c_1001_8^8 + 8528921415404710753373953461889337621137381157516702626104227767703\ 87940103375387/1253282258319045062169645892461295047284598302969035\ 985389581450769326966670*c_1001_8^7 - 2945820413110836779480548696818480758705682588791529670050798586054\ 14281310731832/6266411291595225310848229462306475236422991514845179\ 92694790725384663483335*c_1001_8^6 - 1167635109180204399911690722103951338634498558917405122646269487655\ 2683564641634/12532822583190450621696458924612950472845983029690359\ 8538958145076932696667*c_1001_8^5 - 3378326075924769382975840618067523775125537604139884051008653120758\ 1580414782717/12532822583190450621696458924612950472845983029690359\ 85389581450769326966670*c_1001_8^4 + 3998875082389380269955104058482480123552190324275210674235188721199\ 368878125957/250656451663809012433929178492259009456919660593807197\ 077916290153865393334*c_1001_8^3 + 4301998479368658387180188125154544148380058455502789203729175087426\ 918413860846/375984677495713518650893767738388514185379490890710795\ 616874435230798090001*c_1001_8^2 + 1782834325111226355919029789911105124532341024924162910115900921487\ 5284947470941/37598467749571351865089376773838851418537949089071079\ 56168744352307980900010*c_1001_8 - 2004803290927983762795965811244265607611099633333090778490053894919\ 994273058539/375984677495713518650893767738388514185379490890710795\ 6168744352307980900010, c_0011_0 - 1, c_0011_10 + 84056063760571806609330839486821285251244171922188236656518\ 144/2715909978538657073028425841634262797027952753285128540102735*c\ _1001_8^18 - 253213119027634707781335638907494429730916900295554987\ 31477504/5431819957077314146056851683268525594055905506570257080205\ 47*c_1001_8^17 - 76646013925250290433162089795080175017478140665105\ 2752753783424/27159099785386570730284258416342627970279527532851285\ 40102735*c_1001_8^16 + 15617894406433737499664606027045784056440584\ 12040021742951513104/2715909978538657073028425841634262797027952753\ 285128540102735*c_1001_8^15 + 1424611970983347056774227002932643114\ 47601021000463143202126008/2715909978538657073028425841634262797027\ 952753285128540102735*c_1001_8^14 - 6114249292833295725965342056300956071010766447763240116313802593/27\ 15909978538657073028425841634262797027952753285128540102735*c_1001_\ 8^13 + 183698103616202342430730416621460998264068169370102960272124\ 85754/2715909978538657073028425841634262797027952753285128540102735\ *c_1001_8^12 - 1619358428665420114723751099933259506850443049506885\ 2347032096032/27159099785386570730284258416342627970279527532851285\ 40102735*c_1001_8^11 - 92599106242335261812923269568038083847649191\ 7691636390877670327/54318199570773141460568516832685255940559055065\ 7025708020547*c_1001_8^10 + 445643533970152774176172739968736900635\ 0189286833476730362814400/54318199570773141460568516832685255940559\ 0550657025708020547*c_1001_8^9 - 1126269615811883239462023443690293\ 8309468835049279621535450770722/27159099785386570730284258416342627\ 97027952753285128540102735*c_1001_8^8 - 10490620271112198417020096761821492328591048831427003918936739311/2\ 715909978538657073028425841634262797027952753285128540102735*c_1001\ _8^7 + 501832069712484561612904960270524382676849397116963863605525\ 0627/2715909978538657073028425841634262797027952753285128540102735*\ c_1001_8^6 + 331876467166745488750185779321483959174058949634033134\ 273021742/543181995707731414605685168326852559405590550657025708020\ 547*c_1001_8^5 + 56924817203866267008855898848662227782174399083747\ 8952516185366/27159099785386570730284258416342627970279527532851285\ 40102735*c_1001_8^4 - 163116135584547508947966093896929179986777979\ 98691968855610275/5431819957077314146056851683268525594055905506570\ 25708020547*c_1001_8^3 - 327591565256579750806944503909982255121421\ 25320057111081536810/5431819957077314146056851683268525594055905506\ 57025708020547*c_1001_8^2 - 853995531924268871652543340232418800729\ 97189402953823798642511/2715909978538657073028425841634262797027952\ 753285128540102735*c_1001_8 - 1930678483154589293186517634205285319\ 753983729573378367789201/271590997853865707302842584163426279702795\ 2753285128540102735, c_0011_11 - 13723494116104607887333123630216565580848501191753163746374\ 9632/8147729935615971219085277524902788391083858259855385620308205*\ c_1001_8^18 + 43347494313401008879324581595122092357768373022405361\ 097843200/162954598712319424381705550498055767821677165197107712406\ 1641*c_1001_8^17 + 412162201221982255393244880543427451881677263578\ 066641663068544/271590997853865707302842584163426279702795275328512\ 8540102735*c_1001_8^16 - 264039114004519427844677847057102972070667\ 3755331418242842104272/81477299356159712190852775249027883910838582\ 59855385620308205*c_1001_8^15 - 16461530358481724113563368732512687\ 351047787374570071426712968/271590997853865707302842584163426279702\ 7952753285128540102735*c_1001_8^14 + 9991042006966944125769250959233505997425569656112560207228875469/81\ 47729935615971219085277524902788391083858259855385620308205*c_1001_\ 8^13 - 102349694292458253474726869207047338434012049658946540580428\ 88914/2715909978538657073028425841634262797027952753285128540102735\ *c_1001_8^12 + 2862814588124694964327438549117056972696774927314247\ 2898449959481/81477299356159712190852775249027883910838582598553856\ 20308205*c_1001_8^11 + 37254322338513618848236952894590055472511017\ 1360878304112891198/54318199570773141460568516832685255940559055065\ 7025708020547*c_1001_8^10 - 734981562315362489493218665813805501489\ 1169963657249271177342498/16295459871231942438170555049805576782167\ 71651971077124061641*c_1001_8^9 + 209418901822291856340574019586646\ 89561429854288485628621279787661/8147729935615971219085277524902788\ 391083858259855385620308205*c_1001_8^8 + 15683321214959898308052396274334659698012145421954752709147053573/8\ 147729935615971219085277524902788391083858259855385620308205*c_1001\ _8^7 - 920755808701824548053572787599906150696875051659381957691377\ 0031/8147729935615971219085277524902788391083858259855385620308205*\ c_1001_8^6 - 425777658401685241520491528888162314292443053676712942\ 781900884/162954598712319424381705550498055767821677165197107712406\ 1641*c_1001_8^5 - 9189261889879925473991853802783986319813336752855\ 07570530834008/8147729935615971219085277524902788391083858259855385\ 620308205*c_1001_8^4 + 36180396356076669411873838476741054125719911\ 467507092849144034/162954598712319424381705550498055767821677165197\ 1077124061641*c_1001_8^3 + 5729253507044574109506715711761309361988\ 4776613693070971114436/16295459871231942438170555049805576782167716\ 51971077124061641*c_1001_8^2 + 127070824823251100739710355343370298\ 428520656456849606442537943/814772993561597121908527752490278839108\ 3858259855385620308205*c_1001_8 - 610512212709323162044681105849332\ 721737174226799830448104484/271590997853865707302842584163426279702\ 7952753285128540102735, c_0011_3 + 260565029979488140557252315391570754526249202712097547350333\ 44/1629545987123194243817055504980557678216771651971077124061641*c_\ 1001_8^18 - 4451343104874566260665966132152935132668009936196793227\ 0105088/16295459871231942438170555049805576782167716519710771240616\ 41*c_1001_8^17 - 23021873239912352825312380448244959869723402058581\ 7663816567680/16295459871231942438170555049805576782167716519710771\ 24061641*c_1001_8^16 + 53245431528721029736736292258282996440314147\ 4108755623438646256/16295459871231942438170555049805576782167716519\ 71077124061641*c_1001_8^15 - 48191649170166051082316723218072002702\ 145839641090888278918408/162954598712319424381705550498055767821677\ 1651971077124061641*c_1001_8^14 - 190923574103643461726310800526830\ 5978604595295669349193535171231/16295459871231942438170555049805576\ 78216771651971077124061641*c_1001_8^13 + 6070260177070032540664483881141410689527265840131034357584767519/16\ 29545987123194243817055504980557678216771651971077124061641*c_1001_\ 8^12 - 613676311215213387582956401823608427093831087995704236018011\ 5293/1629545987123194243817055504980557678216771651971077124061641*\ c_1001_8^11 - 50578662619506429222468238436195150191788972628834410\ 9592260836/16295459871231942438170555049805576782167716519710771240\ 61641*c_1001_8^10 + 72123361703055706455126393569658279463946341944\ 54271792992161905/1629545987123194243817055504980557678216771651971\ 077124061641*c_1001_8^9 - 16083925895690492634449016756599841483111\ 25077766804928260723401/5431819957077314146056851683268525594055905\ 50657025708020547*c_1001_8^8 - 262301380237010685365924827779798231\ 3308995181050664344351148828/16295459871231942438170555049805576782\ 16771651971077124061641*c_1001_8^7 + 2183751822777881505176242764491290318272369811328224872707753701/16\ 29545987123194243817055504980557678216771651971077124061641*c_1001_\ 8^6 + 2555297014730383812252364536039284925035188016176226694892794\ 94/1629545987123194243817055504980557678216771651971077124061641*c_\ 1001_8^5 + 12307666864637559558825553713108328861124913134677294876\ 0963003/16295459871231942438170555049805576782167716519710771240616\ 41*c_1001_8^4 - 508285008809447210767839860499683767413593848575266\ 89012394996/1629545987123194243817055504980557678216771651971077124\ 061641*c_1001_8^3 - 19599864615559689591923529480176199296809046863\ 990876754373805/543181995707731414605685168326852559405590550657025\ 708020547*c_1001_8^2 - 71752578075096238140646913171643044427649232\ 60778259382814232/5431819957077314146056851683268525594055905506570\ 25708020547*c_1001_8 + 16323446847255130288026107354108756446886426\ 07308789887666019/1629545987123194243817055504980557678216771651971\ 077124061641, c_0011_4 - 629173733691918777917390960061835712395127356883750062116331\ 52/8147729935615971219085277524902788391083858259855385620308205*c_\ 1001_8^18 + 6313244750088743361114176442508521763827201000745171816\ 184832/543181995707731414605685168326852559405590550657025708020547\ *c_1001_8^17 + 5753777465294881242395643842193380324011251907565148\ 93285588992/8147729935615971219085277524902788391083858259855385620\ 308205*c_1001_8^16 - 1170275368637866755722309315357874531549167982\ 117563461842535232/814772993561597121908527752490278839108385825985\ 5385620308205*c_1001_8^15 - 122250639178469042651483659964622489583\ 311939158301204263208304/814772993561597121908527752490278839108385\ 8259855385620308205*c_1001_8^14 + 460044525211653430406018657300497\ 0253440614057341338783214981284/81477299356159712190852775249027883\ 91083858259855385620308205*c_1001_8^13 - 13739855597112544238107041576570464546108458576737849819605362627/8\ 147729935615971219085277524902788391083858259855385620308205*c_1001\ _8^12 + 12002950174836983379773705877867526549577611995625210109333\ 338046/814772993561597121908527752490278839108385825985538562030820\ 5*c_1001_8^11 + 758156779127057365271669686327564904098983359000674\ 797154670417/162954598712319424381705550498055767821677165197107712\ 4061641*c_1001_8^10 - 338346375391675363621214077472318585153842649\ 1401498226388184294/16295459871231942438170555049805576782167716519\ 71077124061641*c_1001_8^9 + 836056453789481093022069667690803432984\ 3791615520110397008083616/81477299356159712190852775249027883910838\ 58259855385620308205*c_1001_8^8 + 272407495173407076673337381169631\ 5198201519916455001748740048341/27159099785386570730284258416342627\ 97027952753285128540102735*c_1001_8^7 - 1299200447661762112799286492161196229841374725099862433747828887/27\ 15909978538657073028425841634262797027952753285128540102735*c_1001_\ 8^6 - 8999908737410210375777444048274590483024827083410591393129203\ 0/543181995707731414605685168326852559405590550657025708020547*c_10\ 01_8^5 - 1443766165239212866449893562762204084008628007260485679218\ 14421/2715909978538657073028425841634262797027952753285128540102735\ *c_1001_8^4 + 18066187787418426176671619636422868866785074339900966\ 64625329/5431819957077314146056851683268525594055905506570257080205\ 47*c_1001_8^3 + 293018773155453932499447950212467492659738025373606\ 10503815977/1629545987123194243817055504980557678216771651971077124\ 061641*c_1001_8^2 + 71598595770354915628116317235969099410500353008\ 444520384411173/814772993561597121908527752490278839108385825985538\ 5620308205*c_1001_8 + 754245014868360472468397631735292765482682123\ 2590618385985823/81477299356159712190852775249027883910838582598553\ 85620308205, c_0011_9 + 103346356057063197048689524727559127790129643171123367082786\ 816/8147729935615971219085277524902788391083858259855385620308205*c\ _1001_8^18 - 296294273427401603571529621282904137048822074030195016\ 66825216/1629545987123194243817055504980557678216771651971077124061\ 641*c_1001_8^17 - 9513550831935731573531574288315853499829579943381\ 67569623210496/8147729935615971219085277524902788391083858259855385\ 620308205*c_1001_8^16 + 1847912538008611273835377403183142966840675\ 019521897207901114496/814772993561597121908527752490278839108385825\ 9855385620308205*c_1001_8^15 + 294459375454645398835073259542934624\ 872429278267793881301038832/814772993561597121908527752490278839108\ 3858259855385620308205*c_1001_8^14 - 7459589449096614333260452868448281016902016020352725962061186152/81\ 47729935615971219085277524902788391083858259855385620308205*c_1001_\ 8^13 + 220336525526676127899202900412675709035239844106555231690248\ 61281/8147729935615971219085277524902788391083858259855385620308205\ *c_1001_8^12 - 1842969877267190844540221725362146145210850258241947\ 7116492212383/81477299356159712190852775249027883910838582598553856\ 20308205*c_1001_8^11 - 13220173545345470222005109142766626666901036\ 82823728759324473462/1629545987123194243817055504980557678216771651\ 971077124061641*c_1001_8^10 + 5288485454644477878215677858090261409\ 942054816970761637913071119/162954598712319424381705550498055767821\ 6771651971077124061641*c_1001_8^9 - 3947499437845990663514124554745773225229333402026913201746665871/27\ 15909978538657073028425841634262797027952753285128540102735*c_1001_\ 8^8 - 1333593448901079978336429672914922906364326263110960123489289\ 0714/8147729935615971219085277524902788391083858259855385620308205*\ c_1001_8^7 + 479895209722503222438464848820690269525531522272979193\ 1729777403/81477299356159712190852775249027883910838582598553856203\ 08205*c_1001_8^6 + 470924391769187964267645625666884534836430506251\ 645488021549560/162954598712319424381705550498055767821677165197107\ 7124061641*c_1001_8^5 + 9794102032732818384898266295062481055919966\ 00774802008269101384/8147729935615971219085277524902788391083858259\ 855385620308205*c_1001_8^4 - 17030897639914066090036919542753692355\ 796019356209260926551714/162954598712319424381705550498055767821677\ 1651971077124061641*c_1001_8^3 - 1238447439850461012176290068558353\ 3774766832188742894565996520/54318199570773141460568516832685255940\ 5590550657025708020547*c_1001_8^2 - 39275651972796864399658558958678049282015732246815081261813083/2715\ 909978538657073028425841634262797027952753285128540102735*c_1001_8 - 8174644744558482672839930284498948694071049996628414208796059/81477\ 29935615971219085277524902788391083858259855385620308205, c_0101_0 + 866136990309142004437054790075804290289291972519601626022594\ 56/8147729935615971219085277524902788391083858259855385620308205*c_\ 1001_8^18 - 2623896911793077944407858993058649389457971299717827343\ 0952448/16295459871231942438170555049805576782167716519710771240616\ 41*c_1001_8^17 - 26459228026241340878565446121259045906867933844470\ 7849806753152/27159099785386570730284258416342627970279527532851285\ 40102735*c_1001_8^16 + 16192983409294890727543152472297765717223864\ 33606464042790752976/8147729935615971219085277524902788391083858259\ 855385620308205*c_1001_8^15 + 6140932956151659970736566029100004827\ 9604131491259561759865704/27159099785386570730284258416342627970279\ 52753285128540102735*c_1001_8^14 - 6354546266663830719032229137893104854010026485996709084265264157/81\ 47729935615971219085277524902788391083858259855385620308205*c_1001_\ 8^13 + 630401543795555362997854999609060390254748949012444314252966\ 2532/2715909978538657073028425841634262797027952753285128540102735*\ c_1001_8^12 - 16507438972234451398356159040735211330310882590313693\ 210268881683/814772993561597121908527752490278839108385825985538562\ 0308205*c_1001_8^11 - 363131439163583723227343471167686849250099820\ 458462144776949722/543181995707731414605685168326852559405590550657\ 025708020547*c_1001_8^10 + 4631762356205486019556118735891505769737\ 532501207130375570699036/162954598712319424381705550498055767821677\ 1651971077124061641*c_1001_8^9 - 1102248565070961425353458065052020\ 7324813710498495966553845452138/81477299356159712190852775249027883\ 91083858259855385620308205*c_1001_8^8 - 11697150141585869391367636047395257418433801676610263677617103619/8\ 147729935615971219085277524902788391083858259855385620308205*c_1001\ _8^7 + 504313202660103636746524948502050613921252606473770593649334\ 9883/8147729935615971219085277524902788391083858259855385620308205*\ c_1001_8^6 + 493938906333772832976330431999973958384236612557869330\ 537726714/162954598712319424381705550498055767821677165197107712406\ 1641*c_1001_8^5 + 8116040365460941459565620086321794010400778765941\ 67411205796184/8147729935615971219085277524902788391083858259855385\ 620308205*c_1001_8^4 - 33444293145794469675906053969307794347835829\ 682776803800703264/162954598712319424381705550498055767821677165197\ 1077124061641*c_1001_8^3 - 4790101576697611360288562167137921831740\ 5953838511923785453940/16295459871231942438170555049805576782167716\ 51971077124061641*c_1001_8^2 - 121120677150907875661262860580064386\ 379521858870377545419307559/814772993561597121908527752490278839108\ 3858259855385620308205*c_1001_8 - 285462412325968686379460774439824\ 9383732617314218627551635408/27159099785386570730284258416342627970\ 27952753285128540102735, c_0101_1 - 316113540357425165078537645481036660414161667876148969909422\ 08/2715909978538657073028425841634262797027952753285128540102735*c_\ 1001_8^18 + 2992872114171696817810151303231789358512564101227504692\ 2459648/16295459871231942438170555049805576782167716519710771240616\ 41*c_1001_8^17 + 85315221706110230022786791602587538549058612578185\ 0111687119744/81477299356159712190852775249027883910838582598553856\ 20308205*c_1001_8^16 - 60758778176417595904178411988234957165007186\ 4697032559071549648/27159099785386570730284258416342627970279527532\ 85128540102735*c_1001_8^15 - 21013414710416781698670992833115740489\ 944477277721877023783608/814772993561597121908527752490278839108385\ 8259855385620308205*c_1001_8^14 + 229701552531168153620521496495637\ 0393522430107124611933992916541/27159099785386570730284258416342627\ 97027952753285128540102735*c_1001_8^13 - 21235501060541632050599565055906864520680419440782170302528185519/8\ 147729935615971219085277524902788391083858259855385620308205*c_1001\ _8^12 + 66183454825398488357742616177167699163173265930693075674193\ 09564/2715909978538657073028425841634262797027952753285128540102735\ *c_1001_8^11 + 7336089056439628698218548398586809349074167799664028\ 83868669717/1629545987123194243817055504980557678216771651971077124\ 061641*c_1001_8^10 - 1694049466346664734300172847856777370801756729\ 372598142470686157/543181995707731414605685168326852559405590550657\ 025708020547*c_1001_8^9 + 14738315715680276206426697006631699287040\ 705723525883808687830027/814772993561597121908527752490278839108385\ 8259855385620308205*c_1001_8^8 + 1056265484922518501887498893295590\ 2196459573970700022763643088686/81477299356159712190852775249027883\ 91083858259855385620308205*c_1001_8^7 - 6475763169833391933565000520896425912535126538431749871551360862/81\ 47729935615971219085277524902788391083858259855385620308205*c_1001_\ 8^6 - 2412909783295322304622553846145954631481242851095135563845244\ 34/1629545987123194243817055504980557678216771651971077124061641*c_\ 1001_8^5 - 53949098379291672539891371350127731553361819635067546086\ 9812361/81477299356159712190852775249027883910838582598553856203082\ 05*c_1001_8^4 + 199744938950138719486685719492031544605776171306313\ 60150344648/1629545987123194243817055504980557678216771651971077124\ 061641*c_1001_8^3 + 32241811191613704558252934202133852612666192229\ 607785989345961/162954598712319424381705550498055767821677165197107\ 7124061641*c_1001_8^2 + 7070714910187080320487669380672939901255494\ 5024260906658123066/81477299356159712190852775249027883910838582598\ 55385620308205*c_1001_8 - 73951201797302259537110508111655472708671\ 6219020451534280689/81477299356159712190852775249027883910838582598\ 55385620308205, c_0101_10 + 21771520166141580085020857184815940811977527386926528170134\ 6304/8147729935615971219085277524902788391083858259855385620308205*\ c_1001_8^18 - 21724597470929050226780706551844877232927679849178195\ 300744704/543181995707731414605685168326852559405590550657025708020\ 547*c_1001_8^17 - 1983268670874601343777289832248092056027100255803\ 033132398518144/814772993561597121908527752490278839108385825985538\ 5620308205*c_1001_8^16 + 402088641397936864844406146959926476829990\ 9959468344567977596144/81477299356159712190852775249027883910838582\ 59855385620308205*c_1001_8^15 + 35977929727967608537012846751379814\ 1400869527920155926470570808/81477299356159712190852775249027883910\ 83858259855385620308205*c_1001_8^14 - 15759506767749705016877775542692022784418893255792748288012893343/8\ 147729935615971219085277524902788391083858259855385620308205*c_1001\ _8^13 + 47460263260940143450879259770061844497403160804620928724687\ 718259/814772993561597121908527752490278839108385825985538562030820\ 5*c_1001_8^12 - 418344000397559232369456865562350533838696682615239\ 60013600965892/8147729935615971219085277524902788391083858259855385\ 620308205*c_1001_8^11 - 2283395618550257488604426460365563257473361\ 454907554360586777711/162954598712319424381705550498055767821677165\ 1971077124061641*c_1001_8^10 + 113906444898056953750753935778207603\ 28188893271068778714911380096/1629545987123194243817055504980557678\ 216771651971077124061641*c_1001_8^9 - 28982281041165648376068066588537427126195222658715258253839023087/8\ 147729935615971219085277524902788391083858259855385620308205*c_1001\ _8^8 - 879496472698667727735761900738554140242134697537741454618055\ 2332/2715909978538657073028425841634262797027952753285128540102735*\ c_1001_8^7 + 413505355278043123546479563556790134831977759665750717\ 3678784734/27159099785386570730284258416342627970279527532851285401\ 02735*c_1001_8^6 + 260506906625646069357943772638115540984207013395\ 297746410303935/543181995707731414605685168326852559405590550657025\ 708020547*c_1001_8^5 + 49907435380489914752954316704499857635187334\ 7038581892472274567/27159099785386570730284258416342627970279527532\ 85128540102735*c_1001_8^4 - 143304561727392080034366995178253057276\ 43915290790273686782253/5431819957077314146056851683268525594055905\ 50657025708020547*c_1001_8^3 - 713983122412592167980443610445186453\ 64296243179950526682224638/1629545987123194243817055504980557678216\ 771651971077124061641*c_1001_8^2 - 195859050063320002697135879521596965575057698975672185579811206/814\ 7729935615971219085277524902788391083858259855385620308205*c_1001_8 + 1408329132796778146484159816129418180994581383054409759157054/814\ 7729935615971219085277524902788391083858259855385620308205, c_0101_2 - 136066189533154744910871312312488510158108117395352652013414\ 40/1629545987123194243817055504980557678216771651971077124061641*c_\ 1001_8^18 + 2016001818530077035713577691140255687942950984792841454\ 0977664/16295459871231942438170555049805576782167716519710771240616\ 41*c_1001_8^17 + 12476865600321809378897988755813319195195661795753\ 3905396169856/16295459871231942438170555049805576782167716519710771\ 24061641*c_1001_8^16 - 24964213579109067698177994334865124520425372\ 4100174143226314000/16295459871231942438170555049805576782167716519\ 71077124061641*c_1001_8^15 - 31561502603746929531485289433077342362\ 596888959366824881143016/162954598712319424381705550498055767821677\ 1651971077124061641*c_1001_8^14 + 988929701664000151622326017890882\ 252527502331657861155818828193/162954598712319424381705550498055767\ 8216771651971077124061641*c_1001_8^13 - 2942306447197358604997697625294365471375138644475452182609215539/16\ 29545987123194243817055504980557678216771651971077124061641*c_1001_\ 8^12 + 253591244203700857892111245432477264208545369321216751461932\ 5260/1629545987123194243817055504980557678216771651971077124061641*\ c_1001_8^11 + 82747872385902929612640863949600794003111131631576993\ 8174193311/16295459871231942438170555049805576782167716519710771240\ 61641*c_1001_8^10 - 35419654247493989805322530452073224045101307067\ 44286154771517327/1629545987123194243817055504980557678216771651971\ 077124061641*c_1001_8^9 + 55353639789717992412227510707399087472582\ 1447515497561445254849/54318199570773141460568516832685255940559055\ 0657025708020547*c_1001_8^8 + 1768127607167307155643455805502741465\ 151632924263908240853134773/162954598712319424381705550498055767821\ 6771651971077124061641*c_1001_8^7 - 701046484947811121013124950855247118647393967883960223014199457/162\ 9545987123194243817055504980557678216771651971077124061641*c_1001_8\ ^6 - 34977221226947223843202052324194090620973025964491163723815093\ 9/1629545987123194243817055504980557678216771651971077124061641*c_1\ 001_8^5 - 134636119197844885493480614979315404657856107104884523453\ 718964/162954598712319424381705550498055767821677165197107712406164\ 1*c_1001_8^4 + 2594042619424013233997646992723758023026362354395991\ 0532155519/16295459871231942438170555049805576782167716519710771240\ 61641*c_1001_8^3 + 989155116375496359964796924572984562699052074666\ 5909195567225/54318199570773141460568516832685255940559055065702570\ 8020547*c_1001_8^2 + 5507598196279249908000705622620932208998959644\ 860170044570332/543181995707731414605685168326852559405590550657025\ 708020547*c_1001_8 + 1573129451433459362161884797158697711128872698\ 632892811899759/162954598712319424381705550498055767821677165197107\ 7124061641, c_0110_4 - 596742095876036040874437827448052356667041679681615762226401\ 28/8147729935615971219085277524902788391083858259855385620308205*c_\ 1001_8^18 + 5330887758449688422943868098993871770643912760613931029\ 620736/543181995707731414605685168326852559405590550657025708020547\ *c_1001_8^17 + 5563243228848029550121318316867808612740517312696512\ 69866542848/8147729935615971219085277524902788391083858259855385620\ 308205*c_1001_8^16 - 1017226088374516032840544161257283261497705605\ 993988367162078368/814772993561597121908527752490278839108385825985\ 5385620308205*c_1001_8^15 - 256474569092409285823244392827533975090\ 254664964289644595345696/814772993561597121908527752490278839108385\ 8259855385620308205*c_1001_8^14 + 430087620032314938098639679301958\ 8235034614109577545524360574826/81477299356159712190852775249027883\ 91083858259855385620308205*c_1001_8^13 - 12373702265814048058612961393441584139106890192456703725941151833/8\ 147729935615971219085277524902788391083858259855385620308205*c_1001\ _8^12 + 95176761984266235640760968875977201796999555134579704886502\ 64019/8147729935615971219085277524902788391083858259855385620308205\ *c_1001_8^11 + 9611181090628944182231700712137018597774773944742224\ 79364688862/1629545987123194243817055504980557678216771651971077124\ 061641*c_1001_8^10 - 3072294763602035903512504851115731115012305523\ 748482456854208082/162954598712319424381705550498055767821677165197\ 1077124061641*c_1001_8^9 + 6000897912781661172559614124183182976680\ 997389928930467426830654/814772993561597121908527752490278839108385\ 8259855385620308205*c_1001_8^8 + 2734543640783778991974337185814887\ 080388780180851464845391628094/271590997853865707302842584163426279\ 7027952753285128540102735*c_1001_8^7 - 875301507178776601850703934449870606203282776793975871477983233/271\ 5909978538657073028425841634262797027952753285128540102735*c_1001_8\ ^6 - 76643372032455796589005089239873820127714685559336616919654117\ /543181995707731414605685168326852559405590550657025708020547*c_100\ 1_8^5 - 14746740413520337135123301457261090512458437352154751687227\ 1079/2715909978538657073028425841634262797027952753285128540102735*\ c_1001_8^4 - 796659388641668761316406759495444755814354266506688092\ 4694592/54318199570773141460568516832685255940559055065702570802054\ 7*c_1001_8^3 + 2222599997246364427369710908496849426995587603135669\ 1431083572/16295459871231942438170555049805576782167716519710771240\ 61641*c_1001_8^2 + 570075038939997094208378342168663346463299775756\ 84996740686462/8147729935615971219085277524902788391083858259855385\ 620308205*c_1001_8 + 6902766840839405973755702179689806761691486517\ 562640760815642/814772993561597121908527752490278839108385825985538\ 5620308205, c_1001_8^19 - 3/2*c_1001_8^18 - 73/8*c_1001_8^17 + 1185/64*c_1001_8^16 + 229/128*c_1001_8^15 - 74385/1024*c_1001_8^14 + 223271/1024*c_1001_8^13 - 98059/512*c_1001_8^12 - 14183/256*c_1001_8^11 + 134895/512*c_1001_8^10 - 135187/1024*c_1001_8^9 - 127553/1024*c_1001_8^8 + 59051/1024*c_1001_8^7 + 20477/1024*c_1001_8^6 + 7751/1024*c_1001_8^5 - 241/256*c_1001_8^4 - 255/128*c_1001_8^3 - 1061/1024*c_1001_8^2 - 21/512*c_1001_8 - 1/1024 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.910 Total time: 5.120 seconds, Total memory usage: 64.12MB