Magma V2.19-8 Wed Aug 21 2013 00:57:54 on localhost [Seed = 3035803159] Type ? for help. Type -D to quit. Loading file "L13n4595__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4595 geometric_solution 12.38580049 oriented_manifold CS_known -0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 1 1 0 0 0 0 0 0 1 -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 -1 0 1 0 0 -2 2 -1 0 0 1 5 -6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.232531791250 0.718885503636 0 5 6 3 0132 0132 0132 0321 0 0 1 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 5 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.496085510532 1.779474254342 6 0 8 7 0132 0132 0132 0132 0 0 1 1 0 0 0 0 0 0 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -2 2 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645379817393 0.831186779032 9 1 10 0 0132 0321 0132 0132 0 0 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 0 0 0 0 0 0 -2 0 0 2 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.681657771554 0.772574022579 8 7 0 9 0132 1023 0132 1023 0 0 0 1 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 -1 2 2 0 -2 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.149971726784 0.755026793598 6 1 7 11 1023 0132 0213 0132 0 0 1 1 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 1 0 -1 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.706151274943 1.041646972646 2 5 8 1 0132 1023 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.146318322011 0.520847405789 4 5 2 12 1023 0213 0132 0132 0 0 0 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 -2 1 0 0 0 0 -1 -5 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.166032530076 0.743502143777 4 6 10 2 0132 1230 2310 0132 0 0 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 0 0 0 0 0 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.568778566250 0.820605562803 3 11 11 4 0132 1023 0213 1023 0 0 0 1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 -2 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.785176620742 1.187233413841 12 8 11 3 0132 3201 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556056375320 0.607654796792 9 9 5 10 1023 0213 0132 1302 0 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 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.612454720377 0.585991346647 10 12 7 12 0132 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 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.543708017490 1.105054150751 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_12' : d['c_0101_10'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0101_6'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_11'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_6'], 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : negation(d['c_1001_3']), 'c_1010_12' : negation(d['c_0101_10']), 'c_1010_11' : d['c_1010_11'], 'c_1010_10' : d['c_1001_3'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : 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_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1010_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : negation(d['c_1010_11']), 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : d['c_1001_3'], 'c_1100_0' : negation(d['c_1010_11']), 'c_1100_3' : negation(d['c_1010_11']), 'c_1100_2' : d['c_0011_10'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_1010_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : d['c_0101_11'], 'c_1010_5' : d['c_0101_11'], 'c_1010_4' : d['c_0101_12'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_0101_6'], 'c_1010_9' : d['c_0101_8'], 'c_1010_8' : d['c_0101_6'], 'c_1100_8' : d['c_0011_10'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(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' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_10'], '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_11'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_4'], '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' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_12'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_11'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0011_11'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_11'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_6, c_0101_8, c_1001_0, c_1001_3, c_1010_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1763221715363374097690034649001389443884242908484701164646833332831\ 175962551819/234507857876897196824304190849223920202532058404152626\ 6710663056855937842793818*c_1010_11^16 - 8036087155505485471718108217717987806814641454243592472907988871031\ 5255879834835/11725392893844859841215209542461196010126602920207631\ 33355331528427968921396909*c_1010_11^15 + 2658614165248245753334654587393962843842303264863869293662283136740\ 5070563928855167/37521257260303551491888670535875827232405129344664\ 420267370608909695005484701088*c_1010_11^14 - 5156594978184141437138487285191558135986212605740785873419302112664\ 18824603732362347/1500850290412142059675546821435033089296205173786\ 57681069482435638780021938804352*c_1010_11^13 + 1591141311432110434177168743186549738586963141931736319448521128418\ 0875998927840971/14431252792424442881495642513798395089386588209486\ 31548745023419603654057103888*c_1010_11^12 - 3930121025128432673355856119080034637411100762846747809693111123731\ 543637070987374921/150085029041214205967554682143503308929620517378\ 657681069482435638780021938804352*c_1010_11^11 + 1132935701824035612086519821040501649266298601949253450441908409347\ 105339288134434237/230900044678791086103930280220774321430185411351\ 78104779920374713658464913662208*c_1010_11^10 - 4495128919110222486725800858701724383075047909416021658284204765400\ 1220628793355691963/60034011616485682387021872857401323571848206951\ 4630724277929742555120087755217408*c_1010_11^9 + 1425651160269579903736990035034963062897024244280262189632762280431\ 9275340191646543339/15008502904121420596755468214350330892962051737\ 8657681069482435638780021938804352*c_1010_11^8 - 3008811364288372892650187842476899065606659721479115673658966720740\ 6990724510602544969/30017005808242841193510936428700661785924103475\ 7315362138964871277560043877608704*c_1010_11^7 + 2681341254695125066453310369524480312880308206311635757708296188448\ 9653920419819082039/30017005808242841193510936428700661785924103475\ 7315362138964871277560043877608704*c_1010_11^6 - 3951759533567360095291308339053742259951459853936518745871389451656\ 8555319595628003489/60034011616485682387021872857401323571848206951\ 4630724277929742555120087755217408*c_1010_11^5 + 6089470529745702240665365512869828823081169224635117529301127755178\ 460435999686992619/150085029041214205967554682143503308929620517378\ 657681069482435638780021938804352*c_1010_11^4 - 5788880952153375891604656912841922848713391535205436492700798104171\ 145602829640522021/300170058082428411935109364287006617859241034757\ 315362138964871277560043877608704*c_1010_11^3 + 2062000373096110764719386743438370786101070871792997513207284011106\ 076569120608101303/300170058082428411935109364287006617859241034757\ 315362138964871277560043877608704*c_1010_11^2 - 7541738890925631280981732365883821399282408341737782244258612955762\ 81733310355053623/6003401161648568238702187285740132357184820695146\ 30724277929742555120087755217408*c_1010_11 - 2502391178326509212041635136830852367584163174947025618730966657457\ 38081891756067/7504251452060710298377734107175165446481025868932884\ 0534741217819390010969402176, c_0011_0 - 1, c_0011_10 + 25718669466253109787927920971365595376088158731897886696532\ 352/798604102686569909085437961504268805742363603361864044451838919\ *c_1010_11^16 + 808629329317161767845987428386190098963805079652972\ 975449617408/266201367562189969695145987168089601914121201120621348\ 150612973*c_1010_11^15 - 165640475988750947581864299667574659226399\ 89200800306193298227896/7986041026865699090854379615042688057423636\ 03361864044451838919*c_1010_11^14 + 62971257289834077384491589236394202076917713633141414548175983126/7\ 98604102686569909085437961504268805742363603361864044451838919*c_10\ 10_11^13 - 54690680510063350336419911118894400280356899718535012017\ 287098204/266201367562189969695145987168089601914121201120621348150\ 612973*c_1010_11^12 + 329502878513752588152849202858511405775623029\ 218753397544866120684/798604102686569909085437961504268805742363603\ 361864044451838919*c_1010_11^11 - 176632156014711301214508376826512\ 271323597752271009951504380179753/266201367562189969695145987168089\ 601914121201120621348150612973*c_1010_11^10 + 1423583846935676239945153669492413982800661861387828120663162254383\ /1597208205373139818170875923008537611484727206723728088903677838*c\ _1010_11^9 - 789196913385163401592921624589844584116182444889203242\ 023886868728/798604102686569909085437961504268805742363603361864044\ 451838919*c_1010_11^8 + 1506822701404152965316873641858861036384889\ 815366592391511300017793/159720820537313981817087592300853761148472\ 7206723728088903677838*c_1010_11^7 - 399944051991628426800028393994385820660034120848929031639801259433/\ 532402735124379939390291974336179203828242402241242696301225946*c_1\ 010_11^6 + 13650074471626021933441122398348167242383050378280991576\ 2449484946/26620136756218996969514598716808960191412120112062134815\ 0612973*c_1010_11^5 - 458818579204208195019480550825364259317512587\ 885792720916253943661/159720820537313981817087592300853761148472720\ 6723728088903677838*c_1010_11^4 + 203308255319354027758701351887974\ 199997122299855054292025651864077/159720820537313981817087592300853\ 7611484727206723728088903677838*c_1010_11^3 - 24389416124568395406861387768326508342781129723970638405375482595/5\ 32402735124379939390291974336179203828242402241242696301225946*c_10\ 10_11^2 + 141147524941759616058800897489136083819590607082917232702\ 54920119/1597208205373139818170875923008537611484727206723728088903\ 677838*c_1010_11 - 888464240042722249256248234444757441604447905312\ 717921392884671/798604102686569909085437961504268805742363603361864\ 044451838919, c_0011_11 - 1, c_0011_4 + 214350648258778857319097659530175688419889263869043570870165\ 12/798604102686569909085437961504268805742363603361864044451838919*\ c_1010_11^16 + 6696428438453838285036832984548352438422602765785995\ 64385804032/2662013675621899696951459871680896019141212011206213481\ 50612973*c_1010_11^15 - 1502160633514012322385950474912157039238585\ 9890938547767498514260/79860410268656990908543796150426880574236360\ 3361864044451838919*c_1010_11^14 + 60953895459732467679491688402347710379128784313441790270161486545/7\ 98604102686569909085437961504268805742363603361864044451838919*c_10\ 10_11^13 - 56264065586975526377473461458001032194891022482982113107\ 553824162/266201367562189969695145987168089601914121201120621348150\ 612973*c_1010_11^12 + 357569268130345651010066609311510708642309173\ 843427546386207477751/798604102686569909085437961504268805742363603\ 361864044451838919*c_1010_11^11 - 404068507058878414641110965839735\ 753198268928690920945622704290309/532402735124379939390291974336179\ 203828242402241242696301225946*c_1010_11^10 + 3416609776428797983689651727883277093391094400262254276204483934141\ /3194416410746279636341751846017075222969454413447456177807355676*c\ _1010_11^9 - 200311759074717692755176853262984714512180030593241927\ 5639152941525/15972082053731398181708759230085376114847272067237280\ 88903677838*c_1010_11^8 + 20018398326408368167820413213573190552712\ 01126794695604624040665845/1597208205373139818170875923008537611484\ 727206723728088903677838*c_1010_11^7 - 562233928992049269973216258804676433385842495573520875048297388567/\ 532402735124379939390291974336179203828242402241242696301225946*c_1\ 010_11^6 + 80805091468640108952635711190565610445722651471919278177\ 2943789345/10648054702487598787805839486723584076564848044824853926\ 02451892*c_1010_11^5 - 71380510304756877462088849321545067922211398\ 7313287709628692865821/15972082053731398181708759230085376114847272\ 06723728088903677838*c_1010_11^4 + 343561871737480043500971628546596683058753569164813720313723729027/\ 1597208205373139818170875923008537611484727206723728088903677838*c_\ 1010_11^3 - 3985069217639831491534359378310524246283409337647771253\ 1197042389/53240273512437993939029197433617920382824240224124269630\ 1225946*c_1010_11^2 + 595474120897587668531543385242719042141504191\ 03837081528273006701/3194416410746279636341751846017075222969454413\ 447456177807355676*c_1010_11 - 116368996107494480986187690180585298\ 2811366932860252213717142797/15972082053731398181708759230085376114\ 84727206723728088903677838, c_0101_1 - 144418983912261209405272437665296678067935038633189652968046\ 72/798604102686569909085437961504268805742363603361864044451838919*\ c_1010_11^16 - 4504386281287931751781173925935072552894928338455625\ 07237374976/2662013675621899696951459871680896019141212011206213481\ 50612973*c_1010_11^15 + 1033021562292790923975816406941290907477156\ 2952934989998948740580/79860410268656990908543796150426880574236360\ 3361864044451838919*c_1010_11^14 - 42322623084657330185512466560391461115894514863431783395481647413/7\ 98604102686569909085437961504268805742363603361864044451838919*c_10\ 10_11^13 + 39438153165122135087199705727072991128479859617940349989\ 046891430/266201367562189969695145987168089601914121201120621348150\ 612973*c_1010_11^12 - 252167122739608372440596684056962394342202533\ 651380198014537224243/798604102686569909085437961504268805742363603\ 361864044451838919*c_1010_11^11 + 286525840201441950690603503544799\ 135781666153219257834223578899637/532402735124379939390291974336179\ 203828242402241242696301225946*c_1010_11^10 - 2429043768787450720118887253407846315006768334743255972927016647945\ /3194416410746279636341751846017075222969454413447456177807355676*c\ _1010_11^9 + 142913801480126669680695328278595030590033223888024167\ 7775652928291/15972082053731398181708759230085376114847272067237280\ 88903677838*c_1010_11^8 - 14276983682657969854169511095998619905071\ 23556987282552178652064239/1597208205373139818170875923008537611484\ 727206723728088903677838*c_1010_11^7 + 201588085810365834288000093024730461955465150374283959064856427876/\ 266201367562189969695145987168089601914121201120621348150612973*c_1\ 010_11^6 - 57818382717554010147381675299369464686611521429904426577\ 8441255685/10648054702487598787805839486723584076564848044824853926\ 02451892*c_1010_11^5 + 26231214766006964527936036423003282682446719\ 1347833090325420942401/79860410268656990908543796150426880574236360\ 3361864044451838919*c_1010_11^4 - 252106837170299825719115957233657\ 619287437891427853099959122078287/159720820537313981817087592300853\ 7611484727206723728088903677838*c_1010_11^3 + 16184688230934945989679824503458767069154882561802847898582677254/2\ 66201367562189969695145987168089601914121201120621348150612973*c_10\ 10_11^2 - 494399502955962033672968731665795801861362279653411580074\ 51953005/3194416410746279636341751846017075222969454413447456177807\ 355676*c_1010_11 + 412030042649135358730058736563166503497659338295\ 3667427031678133/15972082053731398181708759230085376114847272067237\ 28088903677838, c_0101_10 + 10804148314630335224219853973548194335011784264044940265440\ 256/798604102686569909085437961504268805742363603361864044451838919\ *c_1010_11^16 + 333611368398596800946915442209402814395908427814770\ 530246161408/266201367562189969695145987168089601914121201120621348\ 150612973*c_1010_11^15 - 868933496589035136866797774818234621366379\ 1480506270929400688704/79860410268656990908543796150426880574236360\ 3361864044451838919*c_1010_11^14 + 37369495193581689332671598726138060734411057555430810107357485520/7\ 98604102686569909085437961504268805742363603361864044451838919*c_10\ 10_11^13 - 35964584446597798217697146204281409145287591147858910006\ 053921632/266201367562189969695145987168089601914121201120621348150\ 612973*c_1010_11^12 + 233319668057102911586693419063595888629519957\ 184000275940054902316/798604102686569909085437961504268805742363603\ 361864044451838919*c_1010_11^11 - 133799609845669928573209945728766\ 018134132554934716476995641128484/266201367562189969695145987168089\ 601914121201120621348150612973*c_1010_11^10 + 567528029712949050531831193905057241851073695150259280043096754196/\ 798604102686569909085437961504268805742363603361864044451838919*c_1\ 010_11^9 - 67007012223795778562446051041710258798535524156641445177\ 3452382098/79860410268656990908543796150426880574236360336186404445\ 1838919*c_1010_11^8 + 662715845840095684455694021572920712730093936\ 127608539355391675849/798604102686569909085437961504268805742363603\ 361864044451838919*c_1010_11^7 - 1878140029793373209265161557285788\ 83732692136713557006903154139081/2662013675621899696951459871680896\ 01914121201120621348150612973*c_1010_11^6 + 132976829853130261378519022329304742362708516792915528122995428441/\ 266201367562189969695145987168089601914121201120621348150612973*c_1\ 010_11^5 - 24260608679209393975263853958315316166059901186912802889\ 2610488764/79860410268656990908543796150426880574236360336186404445\ 1838919*c_1010_11^4 + 115236394927740375128716114788239237325211805\ 106536346399370798406/798604102686569909085437961504268805742363603\ 361864044451838919*c_1010_11^3 - 1483126711375556423405465791207391\ 9373853916729728065693596991140/26620136756218996969514598716808960\ 1914121201120621348150612973*c_1010_11^2 + 12128574789025971945163808761534570724229121827698078913437385511/7\ 98604102686569909085437961504268805742363603361864044451838919*c_10\ 10_11 - 14906477506646721716615983738216827206200704954940551238170\ 13024/7986041026865699090854379615042688057423636033618640444518389\ 19, c_0101_11 + 37540976952220808951513101782025173809745318064263528859178\ 24/266201367562189969695145987168089601914121201120621348150612973*\ c_1010_11^16 + 3559002884450270157780473860330656215666275958332575\ 60529540480/2662013675621899696951459871680896019141212011206213481\ 50612973*c_1010_11^15 - 2246754798330441997628746490259767106294188\ 982329917218539343464/266201367562189969695145987168089601914121201\ 120621348150612973*c_1010_11^14 + 816521859354587850859852526790268\ 5648888006751184813362893604154/26620136756218996969514598716808960\ 1914121201120621348150612973*c_1010_11^13 - 20438090241920870277969109702914589995849445274529078378423015454/2\ 66201367562189969695145987168089601914121201120621348150612973*c_10\ 10_11^12 + 40042002840310509349522853162156101121702754306641193223\ 466672118/266201367562189969695145987168089601914121201120621348150\ 612973*c_1010_11^11 - 632413944384477352464884989449079367318417456\ 41460908096497190429/2662013675621899696951459871680896019141212011\ 20621348150612973*c_1010_11^10 + 1696594307851878091693551424460959\ 62776913892316886488581528303823/5324027351243799393902919743361792\ 03828242402241242696301225946*c_1010_11^9 - 188546434467010489012293125706920674997492210873842364500103761631/\ 532402735124379939390291974336179203828242402241242696301225946*c_1\ 010_11^8 + 93426374318348101836165871659594985957813492804181697195\ 746579373/266201367562189969695145987168089601914121201120621348150\ 612973*c_1010_11^7 - 7736723340154114870736419561375651553776753027\ 3354628685633358185/26620136756218996969514598716808960191412120112\ 0621348150612973*c_1010_11^6 + 580569924747681831082633144119820283\ 19626753615019763258901044354/2662013675621899696951459871680896019\ 14121201120621348150612973*c_1010_11^5 - 35798883064235476357247188279078756115019767571232743177303894820/2\ 66201367562189969695145987168089601914121201120621348150612973*c_10\ 10_11^4 + 390987758529782919870888793225890474031912100536684571895\ 57804407/5324027351243799393902919743361792038282424022412426963012\ 25946*c_1010_11^3 - 17268031215028876909918952546718741703248672263\ 272663847892521787/532402735124379939390291974336179203828242402241\ 242696301225946*c_1010_11^2 + 2709949208209070884027578513857693419\ 944892420642380462634446105/266201367562189969695145987168089601914\ 121201120621348150612973*c_1010_11 - 673985525985205893181225711073563227120150029731377210231077301/266\ 201367562189969695145987168089601914121201120621348150612973, c_0101_12 + 41777627558716680798008610697595016940442342072221929298365\ 44/798604102686569909085437961504268805742363603361864044451838919*\ c_1010_11^16 + 1346352122434274280530893240993434356602457424238158\ 20346908416/2662013675621899696951459871680896019141212011206213481\ 50612973*c_1010_11^15 - 1760152783012182235454306231481947172523510\ 587065253219284393056/798604102686569909085437961504268805742363603\ 361864044451838919*c_1010_11^14 + 409859744016061070818899684305699\ 4082527502098616051381803712360/79860410268656990908543796150426880\ 5742363603361864044451838919*c_1010_11^13 - 1163300920158673719439221474956231085320374194320936010783859812/26\ 6201367562189969695145987168089601914121201120621348150612973*c_101\ 0_11^12 - 624841389164671338187354993669422232974823009649181349713\ 9053260/79860410268656990908543796150426880574236360336186404445183\ 8919*c_1010_11^11 + 11104158782505444842672341766107204735121880805\ 316287250038167888/266201367562189969695145987168089601914121201120\ 621348150612973*c_1010_11^10 - 744084998186701583175276889786634671\ 00521806330184115810528227424/7986041026865699090854379615042688057\ 42363603361864044451838919*c_1010_11^9 + 125122381148052336904065771196484324246961390762378235804604774399/\ 798604102686569909085437961504268805742363603361864044451838919*c_1\ 010_11^8 - 15387829003958430790570037349282296846192459310772587277\ 5553554733/79860410268656990908543796150426880574236360336186404445\ 1838919*c_1010_11^7 + 547895202298217839372101666626396475340741464\ 92209270896536339862/2662013675621899696951459871680896019141212011\ 20621348150612973*c_1010_11^6 - 44588977350741417960712574025107858\ 940965709466699510286125241799/266201367562189969695145987168089601\ 914121201120621348150612973*c_1010_11^5 + 99944938985187100216781258174267642168971123994571662076337656833/7\ 98604102686569909085437961504268805742363603361864044451838919*c_10\ 10_11^4 - 517838021496198936066991337095596200085455403500062268283\ 41774785/7986041026865699090854379615042688057423636033618640444518\ 38919*c_1010_11^3 + 81803096636429705327318506434029567003721356678\ 83356180425374526/2662013675621899696951459871680896019141212011206\ 21348150612973*c_1010_11^2 - 59250584391193736623472247604405529503\ 41886752295223307834436097/7986041026865699090854379615042688057423\ 63603361864044451838919*c_1010_11 + 827882928122217650118320318164699228577731544681851544811502688/798\ 604102686569909085437961504268805742363603361864044451838919, c_0101_6 - 370382096241947627833760105644792041948570007631786969426009\ 6/798604102686569909085437961504268805742363603361864044451838919*c\ _1010_11^16 - 11297574736577243625717048424113576978919025881818920\ 4343974144/26620136756218996969514598716808960191412120112062134815\ 0612973*c_1010_11^15 + 33740506692878212972016264722144163583847933\ 99228894099245972952/7986041026865699090854379615042688057423636033\ 61864044451838919*c_1010_11^14 - 1534892400209632938993205252946745\ 1064592865265381900433384529870/79860410268656990908543796150426880\ 5742363603361864044451838919*c_1010_11^13 + 15464377671784223134655465304423298709771936440121511809957519752/2\ 66201367562189969695145987168089601914121201120621348150612973*c_10\ 10_11^12 - 10388491862631447177424409997327335305217753351116048417\ 6688787920/79860410268656990908543796150426880574236360336186404445\ 1838919*c_1010_11^11 + 61564973933362728147588536728274861638254087\ 158915952616442566065/266201367562189969695145987168089601914121201\ 120621348150612973*c_1010_11^10 - 536777317522531824779470389574179\ 913110474138526413778125560185495/159720820537313981817087592300853\ 7611484727206723728088903677838*c_1010_11^9 + 326306547617784893888678345266240684601677553617027815708167217259/\ 798604102686569909085437961504268805742363603361864044451838919*c_1\ 010_11^8 - 65900368628183222647618349414533062594064061502921199446\ 5685169207/15972082053731398181708759230085376114847272067237280889\ 03677838*c_1010_11^7 + 19115490511815280157136948140118139411287825\ 0532550117609905009229/53240273512437993939029197433617920382824240\ 2241242696301225946*c_1010_11^6 - 680801576854966309590953955467214\ 77779698877844058501305683082180/2662013675621899696951459871680896\ 01914121201120621348150612973*c_1010_11^5 + 251067548908375645616267117803984021774146610220987568396709671761/\ 1597208205373139818170875923008537611484727206723728088903677838*c_\ 1010_11^4 - 1172962028017671174342679551656068762797446593576776199\ 54314935803/1597208205373139818170875923008537611484727206723728088\ 903677838*c_1010_11^3 + 1436057477844175897163575228304050933019883\ 1383497749311425318755/53240273512437993939029197433617920382824240\ 2241242696301225946*c_1010_11^2 - 116284948254320820933878012760987\ 99013755116852760082552598308751/1597208205373139818170875923008537\ 611484727206723728088903677838*c_1010_11 - 31890770185072731975364261651994537619594864626748845537534186/7986\ 04102686569909085437961504268805742363603361864044451838919, c_0101_8 - 247802644963030780250783537807678191146111495490232180570406\ 40/798604102686569909085437961504268805742363603361864044451838919*\ c_1010_11^16 - 7762009136889762480751215390399531311806454263872611\ 03874062464/2662013675621899696951459871680896019141212011206213481\ 50612973*c_1010_11^15 + 1678755156351175469292462732598058438898481\ 2031580416267520020592/79860410268656990908543796150426880574236360\ 3361864044451838919*c_1010_11^14 - 66271612581696876400702373006436612342151051252461744653263947764/7\ 98604102686569909085437961504268805742363603361864044451838919*c_10\ 10_11^13 + 59696519243593878950650436692514367442873170788713093176\ 167428886/266201367562189969695145987168089601914121201120621348150\ 612973*c_1010_11^12 - 371680716591377475006379765868260292638756945\ 346549232817400840632/798604102686569909085437961504268805742363603\ 361864044451838919*c_1010_11^11 + 206194763910342110455676510636104\ 791728782303168629324196629466474/266201367562189969695145987168089\ 601914121201120621348150612973*c_1010_11^10 - 858701027467679148819009739793606143032586918956576239705993023786/\ 798604102686569909085437961504268805742363603361864044451838919*c_1\ 010_11^9 + 19833432503465741277626019574512905724601278792593903989\ 41628838233/1597208205373139818170875923008537611484727206723728088\ 903677838*c_1010_11^8 - 9813175044073026474286020341118723902069324\ 86851118301167902089872/7986041026865699090854379615042688057423636\ 03361864044451838919*c_1010_11^7 + 546925408096401700582819204254240219607491092917733250988432382011/\ 532402735124379939390291974336179203828242402241242696301225946*c_1\ 010_11^6 - 19550691915021899102383176600668032346517228153942375755\ 7535473302/26620136756218996969514598716808960191412120112062134815\ 0612973*c_1010_11^5 + 695274148344474642971513794101982176404925187\ 016993138739376421077/159720820537313981817087592300853761148472720\ 6723728088903677838*c_1010_11^4 - 167225125296115633178440466017228\ 936592595434689852608593491282177/798604102686569909085437961504268\ 805742363603361864044451838919*c_1010_11^3 + 20830274017281683115809233971601428074986578928148951334392656967/2\ 66201367562189969695145987168089601914121201120621348150612973*c_10\ 10_11^2 - 168014066523519970041194785765591829059345625273592565893\ 11029484/7986041026865699090854379615042688057423636033618640444518\ 38919*c_1010_11 + 1909732572073706194233386513134733327162245720621\ 539320928381944/798604102686569909085437961504268805742363603361864\ 044451838919, c_1001_0 - 111506655680839743105619594258341675754074105403962032334137\ 6/266201367562189969695145987168089601914121201120621348150612973*c\ _1010_11^16 - 10655806984359241957143824058511788733838514980866153\ 9488258432/26620136756218996969514598716808960191412120112062134815\ 0612973*c_1010_11^15 + 58864840945721048968837419228633799886631738\ 0213956166673835444/26620136756218996969514598716808960191412120112\ 0621348150612973*c_1010_11^14 - 17725723739881362404035615346963006\ 54340755646339984794367487073/2662013675621899696951459871680896019\ 14121201120621348150612973*c_1010_11^13 + 3432453656618352573176975234513335247982148305730980068613604724/26\ 6201367562189969695145987168089601914121201120621348150612973*c_101\ 0_11^12 - 470381615367727466543771885224986133214925716770722881039\ 7787627/26620136756218996969514598716808960191412120112062134815061\ 2973*c_1010_11^11 + 83210207618058062702420554324738302592956776463\ 37702770554642639/5324027351243799393902919743361792038282424022412\ 42696301225946*c_1010_11^10 - 6064777813972870528795743763715826246\ 417758521350227539829387001/106480547024875987878058394867235840765\ 6484804482485392602451892*c_1010_11^9 - 3295723400100466631527762529759428776945404445504812782920683882/26\ 6201367562189969695145987168089601914121201120621348150612973*c_101\ 0_11^8 + 1306827460874384064161241771119142495244538436415300076274\ 5495367/53240273512437993939029197433617920382824240224124269630122\ 5946*c_1010_11^7 - 765426044782378469519852727521810688917570132789\ 3812029932503278/26620136756218996969514598716808960191412120112062\ 1348150612973*c_1010_11^6 + 260232380855251254310300478789348105965\ 37388561497751542801896137/1064805470248759878780583948672358407656\ 484804482485392602451892*c_1010_11^5 - 3088492450515688608229116518911417136198133382715761814886074124/26\ 6201367562189969695145987168089601914121201120621348150612973*c_101\ 0_11^4 + 3037207048416259048030232170712936624520899928369501042247\ 054891/532402735124379939390291974336179203828242402241242696301225\ 946*c_1010_11^3 + 1809855858165051316274874160097613687139064479820\ 190137588271545/532402735124379939390291974336179203828242402241242\ 696301225946*c_1010_11^2 - 1487932702967647175660607978649250728872\ 792197384162883721251853/106480547024875987878058394867235840765648\ 4804482485392602451892*c_1010_11 + 885258394357489192868298708154537890504374836127608809379873697/532\ 402735124379939390291974336179203828242402241242696301225946, c_1001_3 + 149661140480857189637915315910554725624092954955969283520135\ 68/798604102686569909085437961504268805742363603361864044451838919*\ c_1010_11^16 + 4688760358107994520352178702742013913558178546514467\ 64873514624/2662013675621899696951459871680896019141212011206213481\ 50612973*c_1010_11^15 - 1011431506427914729008786594299371767726736\ 0346218645754864003344/79860410268656990908543796150426880574236360\ 3361864044451838919*c_1010_11^14 + 39844579782733964915727628333175508011256885518936340522065342332/7\ 98604102686569909085437961504268805742363603361864044451838919*c_10\ 10_11^13 - 35902467913705093412624575007337888705621381714650590188\ 380535206/266201367562189969695145987168089601914121201120621348150\ 612973*c_1010_11^12 + 224010927147245999822812659459741656417285796\ 431084063847088804274/798604102686569909085437961504268805742363603\ 361864044451838919*c_1010_11^11 - 124806368371810463394077035673182\ 798370095832800376860712939756494/266201367562189969695145987168089\ 601914121201120621348150612973*c_1010_11^10 + 522877804939047626143767908456233900720607907738536621935072548482/\ 798604102686569909085437961504268805742363603361864044451838919*c_1\ 010_11^9 - 12182523986366012548142360676532433941958317398555827249\ 16645719411/1597208205373139818170875923008537611484727206723728088\ 903677838*c_1010_11^8 + 1219561932191920837493178724102900541687521\ 571854302177640164645445/159720820537313981817087592300853761148472\ 7206723728088903677838*c_1010_11^7 - 345889371921235098986097872628694425188413311079259374981171725599/\ 532402735124379939390291974336179203828242402241242696301225946*c_1\ 010_11^6 + 12613715016026481406735870995870350609932563145907826456\ 4584126534/26620136756218996969514598716808960191412120112062134815\ 0612973*c_1010_11^5 - 465860847293788503759750247478456558464265215\ 648384027460533040681/159720820537313981817087592300853761148472720\ 6723728088903677838*c_1010_11^4 + 117296265180350996697767296566687\ 009244659144759341495761494174512/798604102686569909085437961504268\ 805742363603361864044451838919*c_1010_11^3 - 15814302996735317940777352414879625516723751823385206579658920271/2\ 66201367562189969695145987168089601914121201120621348150612973*c_10\ 10_11^2 + 262909818693133675793823964362364219219397441698906372395\ 01307543/1597208205373139818170875923008537611484727206723728088903\ 677838*c_1010_11 - 199006580777054494756831287156869514374085522456\ 7382785155697717/79860410268656990908543796150426880574236360336186\ 4044451838919, c_1010_11^17 + 94*c_1010_11^16 - 10781/16*c_1010_11^15 + 174897/64*c_1010_11^14 - 122275/16*c_1010_11^13 + 1059967/64*c_1010_11^12 - 3697315/128*c_1010_11^11 + 10814329/256*c_1010_11^10 - 826819/16*c_1010_11^9 + 6995989/128*c_1010_11^8 - 6250297/128*c_1010_11^7 + 9773667/256*c_1010_11^6 - 793141/32*c_1010_11^5 + 1780717/128*c_1010_11^4 - 780265/128*c_1010_11^3 + 560645/256*c_1010_11^2 - 33345/64*c_1010_11 + 4261/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.270 Total time: 0.480 seconds, Total memory usage: 32.09MB