Magma V2.19-8 Tue Aug 20 2013 23:44:00 on localhost [Seed = 4071921433] Type ? for help. Type -D to quit. Loading file "K13n1646__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1646 geometric_solution 10.81209749 oriented_manifold CS_known -0.0000000000000000 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 -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 1 0 0 -1 0 -4 0 4 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.027745984226 1.236973643356 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.561041433471 0.974224751604 8 0 5 4 0132 0132 0132 2310 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 3 0 1 -4 0 -1 0 1 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.348849884436 0.708793657365 8 9 10 0 3201 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 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.015656142683 0.580939623029 2 9 0 11 3201 1302 0132 0132 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 -1 1 -1 0 1 0 1 0 0 -1 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.758711378991 1.191374939769 11 1 10 2 0321 0132 0213 0132 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 1 0 0 -1 -1 -3 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.495794669410 0.447076300085 11 9 1 10 1230 3201 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 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.356583991445 0.772404830579 8 9 10 1 2310 1023 3120 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 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.200306126322 0.731522539085 2 11 7 3 0132 0321 3201 2310 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 -1 0 1 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.438219005437 1.213741983688 7 3 6 4 1023 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.091855653330 1.755724642144 6 5 7 3 3120 0213 3120 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.872077872034 0.714032885264 5 6 4 8 0321 3012 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.641046833511 0.648012487913 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_6']), 'c_1001_10' : negation(d['c_0101_9']), 'c_1001_5' : negation(d['c_0101_9']), 'c_1001_4' : d['c_0110_9'], 'c_1001_7' : d['c_0101_9'], 'c_1001_6' : negation(d['c_0101_9']), 'c_1001_1' : d['c_0110_9'], 'c_1001_0' : d['c_0011_10'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0110_9'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : negation(d['c_0101_7']), 'c_1010_11' : negation(d['c_0101_0']), 'c_1010_10' : d['c_0011_4'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0011_6'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0101_7']), 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : negation(d['c_0101_7']), 'c_1100_3' : negation(d['c_0101_7']), 'c_1100_2' : d['c_0011_4'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_7']), 'c_1100_10' : negation(d['c_0101_7']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_9'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_0110_9'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0011_10'], 'c_1010_2' : d['c_0011_10'], 'c_1010_1' : negation(d['c_0101_9']), 'c_1010_0' : d['c_0110_9'], 'c_1010_9' : d['c_0011_4'], 'c_1010_8' : negation(d['c_0101_0']), 'c_1100_8' : d['c_0011_3'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_0'], '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_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0011_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_11'], 'c_0101_2' : negation(d['c_0011_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0101_1']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : negation(d['c_0011_11']), '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_11']), 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_11']})} 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_6, c_0101_0, c_0101_1, c_0101_10, c_0101_7, c_0101_9, c_0110_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 771198700978535522156981504270698661264371259881840291225898093/152\ 165351946282777846238933570628610371847793976667797131809580*c_0110\ _9^19 - 11561283942391253876888689390087278392052041494020214040274\ 88063/2173790742089753969231984765294694433883539913952397101882994\ 0*c_0110_9^18 - 132123032793541501871736586180038846703527082649905\ 0977430966889/40043513670074415222694456202797002729433629993859946\ 61363410*c_0110_9^17 - 13900983898167761926712962010265899113269575\ 2983180562108148592061/15216535194628277784623893357062861037184779\ 3976667797131809580*c_0110_9^16 - 563466383609511131589247308914165\ 5758499412161590300894366688632/16539712168074214983286840605503109\ 82302693412789867360128365*c_0110_9^15 - 596771800256475571666575168094304806227525590947526894746475332763/\ 152165351946282777846238933570628610371847793976667797131809580*c_0\ 110_9^14 - 46919614038324284440527298808299140869710345699587575475\ 2891322886/38041337986570694461559733392657152592961948494166949282\ 952395*c_0110_9^13 + 1514415602740944750330881184577822764570981698\ 235186933149875757997/152165351946282777846238933570628610371847793\ 976667797131809580*c_0110_9^12 - 6353102184363746393594454968166044\ 17073300558832709116451115212519/1383321381329843434965808487005714\ 6397440708543333436102891780*c_0110_9^11 + 8560219137241469814336992858590774226640926385729871165536555642/15\ 0361019709765590757153096413664634754790310253624305466215*c_0110_9\ ^10 - 1359808840554623526793785216969680561743980529130578881146667\ 761811/138332138132984343496580848700571463974407085433334361028917\ 80*c_0110_9^9 + 559428397518967621555169376753470971275584233929409\ 898341580665789/585251353639549145562457436810110039891722284525645\ 3735838830*c_0110_9^8 - 3060116696222208791177452370679190057512193\ 080188414163089645126998/380413379865706944615597333926571525929619\ 48494166949282952395*c_0110_9^7 + 300796627286546697722489982564739\ 17516703224180453388097406203490/6916606906649217174829042435028573\ 19872035427166671805144589*c_0110_9^6 - 14955920396274640036945015330693381608829244381796614827329377871/9\ 45126409604240856187819463171606275601539093022781348644780*c_0110_\ 9^5 + 3918420633171876440847302978304604753639707618343378033201860\ 87/52004563207888850938564228834801302246017701290727203394330*c_01\ 10_9^4 - 1136042257068660863108889860051436735313623489426865491672\ 6825738/16539712168074214983286840605503109823026934127898673601283\ 65*c_0110_9^3 + 846997506405056720470832114520989427084861190465962\ 084194663600741/152165351946282777846238933570628610371847793976667\ 797131809580*c_0110_9^2 - 86400937672213152459463600089377161826184\ 130726312489699847103495/304330703892565555692477867141257220743695\ 58795333559426361916*c_0110_9 + 40527024463954078398923273628507060\ 944990130738890476312323124431/760826759731413889231194667853143051\ 85923896988333898565904790, c_0011_0 - 1, c_0011_10 - 260455348470374316832934281949476914915941/3748327122922736\ 9563937141992515791700528950*c_0110_9^19 - 1345774302153943977691360839301112299846706/18741635614613684781968\ 570996257895850264475*c_0110_9^18 - 16528633387206176169188748732813964011351149/3748327122922736956393\ 7141992515791700528950*c_0110_9^17 - 44325415231197972574180899005824287680186237/3748327122922736956393\ 7141992515791700528950*c_0110_9^16 - 84025613308228889485981357257022668323205569/1874163561461368478196\ 8570996257895850264475*c_0110_9^15 - 87158224048659920620780917521634948920213573/1874163561461368478196\ 8570996257895850264475*c_0110_9^14 - 302193629334405558807719369922056756629401084/187416356146136847819\ 68570996257895850264475*c_0110_9^13 + 308608098378464923015545342500846417631110172/187416356146136847819\ 68570996257895850264475*c_0110_9^12 - 1219417126868912177178482075995803852282107949/18741635614613684781\ 968570996257895850264475*c_0110_9^11 + 1684269620175317064234114737109812841694170239/18741635614613684781\ 968570996257895850264475*c_0110_9^10 - 2778555062772269093021442274064410018922692236/18741635614613684781\ 968570996257895850264475*c_0110_9^9 + 5877536940418447147826777933524707538082977083/37483271229227369563\ 937141992515791700528950*c_0110_9^8 - 4958499355817909846758014456978395027530878799/37483271229227369563\ 937141992515791700528950*c_0110_9^7 + 607886415040766285507757842850034025594742199/749665424584547391278\ 7428398503158340105790*c_0110_9^6 - 1015447505003265937173045182378670905247797887/37483271229227369563\ 937141992515791700528950*c_0110_9^5 + 398692197545887718076108913427998392693342219/374832712292273695639\ 37141992515791700528950*c_0110_9^4 - 224736083505780217830371724646383588556560797/374832712292273695639\ 37141992515791700528950*c_0110_9^3 + 338429659149146158117721408643704883919297157/374832712292273695639\ 37141992515791700528950*c_0110_9^2 - 20347864856036725146379490096806354034376783/3748327122922736956393\ 714199251579170052895*c_0110_9 + 3049232690138296063981244714887023\ 2955148507/18741635614613684781968570996257895850264475, c_0011_11 - 302867123877195144250480511766016132125818/1874163561461368\ 4781968570996257895850264475*c_0110_9^19 - 6217230947124132277372975473148306999042027/37483271229227369563937\ 141992515791700528950*c_0110_9^18 - 37958832067442976205643044646389883117714479/3748327122922736956393\ 7141992515791700528950*c_0110_9^17 - 100050414841500371722577044735950271628834827/374832712292273695639\ 37141992515791700528950*c_0110_9^16 - 191032069572696089002944787352028704140760274/187416356146136847819\ 68570996257895850264475*c_0110_9^15 - 189279518471551990877398533723330868321841583/187416356146136847819\ 68570996257895850264475*c_0110_9^14 - 687891424082796258773497436379991393993820989/187416356146136847819\ 68570996257895850264475*c_0110_9^13 + 1472789865462407102448984174109683385145575699/37483271229227369563\ 937141992515791700528950*c_0110_9^12 - 2916695339031323284255884534202928529361731154/18741635614613684781\ 968570996257895850264475*c_0110_9^11 + 3895963616594158856014181884707968798117033444/18741635614613684781\ 968570996257895850264475*c_0110_9^10 - 13162261818861244068533047713650921047148513387/3748327122922736956\ 3937141992515791700528950*c_0110_9^9 + 6681408080032595603264626161748806110366964984/18741635614613684781\ 968570996257895850264475*c_0110_9^8 - 11526806838699766483069172579252947992888011479/3748327122922736956\ 3937141992515791700528950*c_0110_9^7 + 1227715297178634293006444214157787504774877649/74966542458454739127\ 87428398503158340105790*c_0110_9^6 - 1130613906733751693829367210106994616979708851/18741635614613684781\ 968570996257895850264475*c_0110_9^5 + 368117536233646241549664799362718067770966187/187416356146136847819\ 68570996257895850264475*c_0110_9^4 - 413161873943716006270195602960880107164933306/187416356146136847819\ 68570996257895850264475*c_0110_9^3 + 775542007111166944695194979151331471785723647/374832712292273695639\ 37141992515791700528950*c_0110_9^2 - 84833544430764196043349786448101055498981191/7496654245845473912787\ 428398503158340105790*c_0110_9 + 4689127196164197145347354405714416\ 3822121772/18741635614613684781968570996257895850264475, c_0011_3 + 31217839179583746677914566581683619571/374832712292273695639\ 37141992515791700528950*c_0110_9^19 + 81041210586929422200235228332389511226011/1874163561461368478196857\ 0996257895850264475*c_0110_9^18 + 893597747902674400054854487398395\ 894144372/18741635614613684781968570996257895850264475*c_0110_9^17 + 5743131032318487926831885183253176649168561/18741635614613684781968\ 570996257895850264475*c_0110_9^16 + 35201371976738230333009922684645362403115903/3748327122922736956393\ 7141992515791700528950*c_0110_9^15 + 126533292582650109348982883507464918151194901/374832712292273695639\ 37141992515791700528950*c_0110_9^14 + 94948594623799631472940383424754667114584754/1874163561461368478196\ 8570996257895850264475*c_0110_9^13 + 482944005386805868517232557339601107747716711/374832712292273695639\ 37141992515791700528950*c_0110_9^12 - 74905996472025953458114308438013092354460337/3748327122922736956393\ 7141992515791700528950*c_0110_9^11 + 690222111936470164307612345430423969159923866/187416356146136847819\ 68570996257895850264475*c_0110_9^10 - 1044865058812850200547881236253322634981475143/37483271229227369563\ 937141992515791700528950*c_0110_9^9 + 1230356850107232732727558654556147912418558076/18741635614613684781\ 968570996257895850264475*c_0110_9^8 - 1623713990225048534731309926811006283479118231/37483271229227369563\ 937141992515791700528950*c_0110_9^7 + 297369007688173688574433930784643858772552061/749665424584547391278\ 7428398503158340105790*c_0110_9^6 - 242510788084830392766093610304275044413855589/187416356146136847819\ 68570996257895850264475*c_0110_9^5 + 183350115898369603842357863173539570220181911/374832712292273695639\ 37141992515791700528950*c_0110_9^4 - 128240276889582052015165453827417919486600343/374832712292273695639\ 37141992515791700528950*c_0110_9^3 + 62554000104903780123114716221566755365138379/1874163561461368478196\ 8570996257895850264475*c_0110_9^2 - 12295366341010846389961131611120140190964732/3748327122922736956393\ 714199251579170052895*c_0110_9 + 2422108271861398451739574181624414\ 1527360683/18741635614613684781968570996257895850264475, c_0011_4 + 153169685223744239168700677009098997856578/18741635614613684\ 781968570996257895850264475*c_0110_9^19 + 3346316839696380948732434255539534176643367/37483271229227369563937\ 141992515791700528950*c_0110_9^18 + 21359466351444191088395507657942074661334259/3748327122922736956393\ 7141992515791700528950*c_0110_9^17 + 32074859235960438457061696483133828211037721/1874163561461368478196\ 8570996257895850264475*c_0110_9^16 + 115937606552489778015539900624686056081800229/187416356146136847819\ 68570996257895850264475*c_0110_9^15 + 331577950769871864229078622636400809235545311/374832712292273695639\ 37141992515791700528950*c_0110_9^14 + 435113139507886738133385996245164609765408269/187416356146136847819\ 68570996257895850264475*c_0110_9^13 - 255561615027796413235109437333293695625297879/374832712292273695639\ 37141992515791700528950*c_0110_9^12 + 2603030855138035574316472631033689848339329193/37483271229227369563\ 937141992515791700528950*c_0110_9^11 - 1154779912957729282328284240655254906356474774/18741635614613684781\ 968570996257895850264475*c_0110_9^10 + 4811449340724098561871152870089446313387889327/37483271229227369563\ 937141992515791700528950*c_0110_9^9 - 3575071185857693527261563075568301284386601453/37483271229227369563\ 937141992515791700528950*c_0110_9^8 + 3076071607040338967178402590579088673468468209/37483271229227369563\ 937141992515791700528950*c_0110_9^7 - 225225076858332864281315128035848355932306379/749665424584547391278\ 7428398503158340105790*c_0110_9^6 + 166638721342756589265400175401509871487453696/187416356146136847819\ 68570996257895850264475*c_0110_9^5 - 231792458864980533845820303955762576145949229/374832712292273695639\ 37141992515791700528950*c_0110_9^4 + 300833097100019932763012374540511914986008777/374832712292273695639\ 37141992515791700528950*c_0110_9^3 - 117755230357122083778829937978334714873574556/187416356146136847819\ 68570996257895850264475*c_0110_9^2 + 16392344844033837536245961376103227350800641/7496654245845473912787\ 428398503158340105790*c_0110_9 - 4177138964613613958801161283274368\ 610528512/18741635614613684781968570996257895850264475, c_0011_6 - 890945872210751298363816204164637908549913/37483271229227369\ 563937141992515791700528950*c_0110_9^19 - 9164618658354494003510414445490615871967591/37483271229227369563937\ 141992515791700528950*c_0110_9^18 - 28017797608216178343214083702657568330452591/1874163561461368478196\ 8570996257895850264475*c_0110_9^17 - 148276739716384097410478924863681876099174291/374832712292273695639\ 37141992515791700528950*c_0110_9^16 - 281884541299112499807156785545617380958812217/187416356146136847819\ 68570996257895850264475*c_0110_9^15 - 559847726648721370301487145284183710755864853/374832712292273695639\ 37141992515791700528950*c_0110_9^14 - 1002098404127976339347087624372311729759524737/18741635614613684781\ 968570996257895850264475*c_0110_9^13 + 2229259883523730541944271742587395063654174217/37483271229227369563\ 937141992515791700528950*c_0110_9^12 - 8339952270479276914362747014714519613124069689/37483271229227369563\ 937141992515791700528950*c_0110_9^11 + 5838979301540405263418291726579406715986644177/18741635614613684781\ 968570996257895850264475*c_0110_9^10 - 18998753048841698393959773766146196976181809471/3748327122922736956\ 3937141992515791700528950*c_0110_9^9 + 10034559939145824768404189698906082754333224797/1874163561461368478\ 1968570996257895850264475*c_0110_9^8 - 8379026453421545759993875986716683358408955466/18741635614613684781\ 968570996257895850264475*c_0110_9^7 + 981815097531194446301436893903207289417194626/374832712292273695639\ 3714199251579170052895*c_0110_9^6 - 3327761457357169180368605017412963423671214441/37483271229227369563\ 937141992515791700528950*c_0110_9^5 + 652224170971250357754250828979301014878079921/187416356146136847819\ 68570996257895850264475*c_0110_9^4 - 523107210051356627112607785990504647122005898/187416356146136847819\ 68570996257895850264475*c_0110_9^3 + 1205119217780129637313391903624969150838103751/37483271229227369563\ 937141992515791700528950*c_0110_9^2 - 136202077546627945752882958147409067071223193/749665424584547391278\ 7428398503158340105790*c_0110_9 + 957984165998748912247574085094588\ 56521094976/18741635614613684781968570996257895850264475, c_0101_0 + 47182484947795010369951693694232404354869/749665424584547391\ 27874283985031583401057900*c_0110_9^19 + 131744818323616158491862156173566960353079/374832712292273695639371\ 41992515791700528950*c_0110_9^18 + 330482687735077702351129054409120584732433/374832712292273695639371\ 41992515791700528950*c_0110_9^17 - 6309538405220826888892824278270558211018767/74966542458454739127874\ 283985031583401057900*c_0110_9^16 - 8163882044155950847764652748001330037516383/74966542458454739127874\ 283985031583401057900*c_0110_9^15 - 28046534714855792384654654117351206891786259/1874163561461368478196\ 8570996257895850264475*c_0110_9^14 - 21294077585427331846992552788224188328275869/3748327122922736956393\ 7141992515791700528950*c_0110_9^13 - 610946608949782888001922089333814572940724971/749665424584547391278\ 74283985031583401057900*c_0110_9^12 + 237811060666125458308222535842195737540545633/187416356146136847819\ 68570996257895850264475*c_0110_9^11 - 1296557846379039628195029912392884871533317501/37483271229227369563\ 937141992515791700528950*c_0110_9^10 + 3498494807637911422392759928655683633254392323/74966542458454739127\ 874283985031583401057900*c_0110_9^9 - 5231929320390568677677818551231096867052540997/74966542458454739127\ 874283985031583401057900*c_0110_9^8 + 4916174364130291010542314844521349565976253341/74966542458454739127\ 874283985031583401057900*c_0110_9^7 - 735692894653651116686165009798661074234381341/149933084916909478255\ 74856797006316680211580*c_0110_9^6 + 412464914386262322140932524307981605091086852/187416356146136847819\ 68570996257895850264475*c_0110_9^5 - 332315488135706081468309196123130807522277373/374832712292273695639\ 37141992515791700528950*c_0110_9^4 + 83702018338283345762650554110197305040867712/1874163561461368478196\ 8570996257895850264475*c_0110_9^3 - 417605955573847184944828045743451821727672263/749665424584547391278\ 74283985031583401057900*c_0110_9^2 + 11530735804263233167645863818888982343212381/3748327122922736956393\ 714199251579170052895*c_0110_9 - 4720217480723755916831735691002283\ 0122589619/18741635614613684781968570996257895850264475, c_0101_1 - 454648843310318070587364839936859771641507/74966542458454739\ 127874283985031583401057900*c_0110_9^19 - 2229749024293826935629209419511212980428787/37483271229227369563937\ 141992515791700528950*c_0110_9^18 - 6566868909558143533345145514968852547379012/18741635614613684781968\ 570996257895850264475*c_0110_9^17 - 61066504771066462281124926043056327725931199/7496654245845473912787\ 4283985031583401057900*c_0110_9^16 - 245928579739024032964077116869839852296286001/749665424584547391278\ 74283985031583401057900*c_0110_9^15 - 33598621572181019861974743818703125311024573/1874163561461368478196\ 8570996257895850264475*c_0110_9^14 - 416370841293311069000501460617212596495813743/374832712292273695639\ 37141992515791700528950*c_0110_9^13 + 1667356356113914114580773030223238251175965463/74966542458454739127\ 874283985031583401057900*c_0110_9^12 - 1154671701112891707372381087820597165407298224/18741635614613684781\ 968570996257895850264475*c_0110_9^11 + 3855862848903142524003694719648148759731141353/37483271229227369563\ 937141992515791700528950*c_0110_9^10 - 11649255032257945477043391671088194955070550819/7496654245845473912\ 7874283985031583401057900*c_0110_9^9 + 13631615301174402788583494902696941019426278391/7496654245845473912\ 7874283985031583401057900*c_0110_9^8 - 11447637349765652331117085821185936536291322823/7496654245845473912\ 7874283985031583401057900*c_0110_9^7 + 1415238130961423222588237498849615897694849203/14993308491690947825\ 574856797006316680211580*c_0110_9^6 - 1244127914594235155469383047606535223934267587/37483271229227369563\ 937141992515791700528950*c_0110_9^5 + 191834273596626710596264641001818709225376272/187416356146136847819\ 68570996257895850264475*c_0110_9^4 - 342333926812201936523764765499933026943079147/374832712292273695639\ 37141992515791700528950*c_0110_9^3 + 767058229552016653418905889824702877298241189/749665424584547391278\ 74283985031583401057900*c_0110_9^2 - 26926281352771748289713362745054940712288188/3748327122922736956393\ 714199251579170052895*c_0110_9 + 4179550469855071320277816367809014\ 0225159457/18741635614613684781968570996257895850264475, c_0101_10 - 119602909278495392825063470548117400415819/7496654245845473\ 9127874283985031583401057900*c_0110_9^19 - 389994762796927481285335970616133518632727/187416356146136847819685\ 70996257895850264475*c_0110_9^18 - 2789470479277779923891161254299612079389479/18741635614613684781968\ 570996257895850264475*c_0110_9^17 - 43256002929133758947053731767118738907861733/7496654245845473912787\ 4283985031583401057900*c_0110_9^16 - 147021877444589066241030474321388589553430717/749665424584547391278\ 74283985031583401057900*c_0110_9^15 - 82871329425474032206843610375498884943394316/1874163561461368478196\ 8570996257895850264475*c_0110_9^14 - 162899517025885210765849227103128637420432478/187416356146136847819\ 68570996257895850264475*c_0110_9^13 - 673059723434209570970503158310317038093909429/749665424584547391278\ 74283985031583401057900*c_0110_9^12 - 237663781118361884642477797596271605835359333/187416356146136847819\ 68570996257895850264475*c_0110_9^11 - 302466200191660391285251959706226841740619962/187416356146136847819\ 68570996257895850264475*c_0110_9^10 - 423106363543899604046142812800268955439082523/749665424584547391278\ 74283985031583401057900*c_0110_9^9 - 2133532977193988420143352217530680454312055053/74966542458454739127\ 874283985031583401057900*c_0110_9^8 + 871822463312270272735192234430158674196991409/749665424584547391278\ 74283985031583401057900*c_0110_9^7 - 284602691810475810994864114357682839384857979/149933084916909478255\ 74856797006316680211580*c_0110_9^6 + 26911621959639869388596718087949675701918273/1874163561461368478196\ 8570996257895850264475*c_0110_9^5 - 3702661450536691766368236274105337851361577/37483271229227369563937\ 141992515791700528950*c_0110_9^4 - 14768149832217070368119546183925067311138799/3748327122922736956393\ 7141992515791700528950*c_0110_9^3 - 101958500485327490560602659574168632896135987/749665424584547391278\ 74283985031583401057900*c_0110_9^2 + 86051970696331180632754130696934235295014/3748327122922736956393714\ 199251579170052895*c_0110_9 - 2069462053124430181475729316214296121\ 7515731/18741635614613684781968570996257895850264475, c_0101_7 - 222633581649085267882623157896883305279981/74966542458454739\ 127874283985031583401057900*c_0110_9^19 - 1176206332367750807932658393953847653411421/37483271229227369563937\ 141992515791700528950*c_0110_9^18 - 7328467605742291418497153899734562487269667/37483271229227369563937\ 141992515791700528950*c_0110_9^17 - 41136761159050693317964953055144078491431767/7496654245845473912787\ 4283985031583401057900*c_0110_9^16 - 152431439642995127516244117480005039765431433/749665424584547391278\ 74283985031583401057900*c_0110_9^15 - 91968793060454218478368885076076736066241293/3748327122922736956393\ 7141992515791700528950*c_0110_9^14 - 278718459828901648552017993339153132307517069/374832712292273695639\ 37141992515791700528950*c_0110_9^13 + 377493711503713166697332584579368978735210279/749665424584547391278\ 74283985031583401057900*c_0110_9^12 - 1012205636778368145278294721441370154369788559/37483271229227369563\ 937141992515791700528950*c_0110_9^11 + 1116350507946921276597687658158403556776782249/37483271229227369563\ 937141992515791700528950*c_0110_9^10 - 4167022018292242362771315690196416846456525027/74966542458454739127\ 874283985031583401057900*c_0110_9^9 + 3648505957382086865337731559355270352599312403/74966542458454739127\ 874283985031583401057900*c_0110_9^8 - 3150858011257769806376109258454599573452309909/74966542458454739127\ 874283985031583401057900*c_0110_9^7 + 266643819697530692223390898038554837308960349/149933084916909478255\ 74856797006316680211580*c_0110_9^6 - 134679591058357122090382560053322009610951973/187416356146136847819\ 68570996257895850264475*c_0110_9^5 + 26513284509354182176181642991279411392905876/1874163561461368478196\ 8570996257895850264475*c_0110_9^4 - 136602636359626854476584294489216265359549101/374832712292273695639\ 37141992515791700528950*c_0110_9^3 + 174237474169725378877215986408361808801303137/749665424584547391278\ 74283985031583401057900*c_0110_9^2 - 7543922919237123554271471068410022807999049/37483271229227369563937\ 14199251579170052895*c_0110_9 - 33553505739783887784524618118886262\ 41722169/18741635614613684781968570996257895850264475, c_0101_9 + 997985389117760577236385579866645391722333/37483271229227369\ 563937141992515791700528950*c_0110_9^19 + 5305340474419171337269025733138877610869428/18741635614613684781968\ 570996257895850264475*c_0110_9^18 + 66471128023974823896755591277193617651774137/3748327122922736956393\ 7141992515791700528950*c_0110_9^17 + 94693102279517139861819904332460804315998353/1874163561461368478196\ 8570996257895850264475*c_0110_9^16 + 349360759434664905279099551401759125845322647/187416356146136847819\ 68570996257895850264475*c_0110_9^15 + 871781369327125336388580896315293640860403273/374832712292273695639\ 37141992515791700528950*c_0110_9^14 + 1281092804440411759646709506276214017422580392/18741635614613684781\ 968570996257895850264475*c_0110_9^13 - 806283457327336952944168177008049267824483561/187416356146136847819\ 68570996257895850264475*c_0110_9^12 + 8853063551508259843208886110906381779152520499/37483271229227369563\ 937141992515791700528950*c_0110_9^11 - 5080252668694013646401558664260940374092106182/18741635614613684781\ 968570996257895850264475*c_0110_9^10 + 9149784029993918124149511017376034733356390793/18741635614613684781\ 968570996257895850264475*c_0110_9^9 - 8449731030193895756789940976011597267922629902/18741635614613684781\ 968570996257895850264475*c_0110_9^8 + 14324157957423776171312742711683530795561990987/3748327122922736956\ 3937141992515791700528950*c_0110_9^7 - 1496746146422952676047162466356130592470473517/74966542458454739127\ 87428398503158340105790*c_0110_9^6 + 2669737285723644090564374249413221281544011331/37483271229227369563\ 937141992515791700528950*c_0110_9^5 - 628033201517718409396118735969037589569107961/187416356146136847819\ 68570996257895850264475*c_0110_9^4 + 539499165117843693635843316418172199160675243/187416356146136847819\ 68570996257895850264475*c_0110_9^3 - 464184880311487333726117464632769465542179908/187416356146136847819\ 68570996257895850264475*c_0110_9^2 + 51907328567581186392988490434211605145650689/3748327122922736956393\ 714199251579170052895*c_0110_9 - 6250402289786553451714302303536112\ 8286117091/18741635614613684781968570996257895850264475, c_0110_9^20 + 10*c_0110_9^19 + 60*c_0110_9^18 + 149*c_0110_9^17 + 589*c_0110_9^16 + 460*c_0110_9^15 + 2116*c_0110_9^14 - 3065*c_0110_9^13 + 10276*c_0110_9^12 - 15724*c_0110_9^11 + 25593*c_0110_9^10 - 28837*c_0110_9^9 + 26175*c_0110_9^8 - 16853*c_0110_9^7 + 7622*c_0110_9^6 - 2788*c_0110_9^5 + 1840*c_0110_9^4 - 1701*c_0110_9^3 + 1174*c_0110_9^2 - 464*c_0110_9 + 88 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.980 Total time: 1.189 seconds, Total memory usage: 64.12MB