Magma V2.19-8 Wed Aug 21 2013 00:27:39 on localhost [Seed = 1595493587] Type ? for help. Type -D to quit. Loading file "K14n15681__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n15681 geometric_solution 12.03627039 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 13 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 -1 0 1 1 0 -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.270394166418 1.671424224541 0 5 2 6 0132 0132 1023 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 -1 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.119268475509 0.593622932192 7 0 1 4 0132 0132 1023 1230 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 1 -1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.129896848561 0.739635758198 8 4 9 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 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 0 0 0 -1 0 0 1 2 -2 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.119268475509 0.593622932192 2 3 0 10 3012 0132 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.129896848561 0.739635758198 7 1 9 11 1023 0132 1302 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 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.611046568228 0.979673505265 11 12 1 10 3012 0132 0132 3120 0 0 0 0 0 -1 0 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 2 0 -2 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.515831235585 0.801904919295 2 5 8 12 0132 1023 0213 3012 0 0 0 0 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 0 1 -1 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.828873673312 0.760634446099 3 7 11 12 0132 0213 3012 1023 0 0 0 0 0 0 0 0 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 -1 1 0 1 0 0 -1 1 -1 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.515831235585 0.801904919295 5 11 10 3 2031 1023 0132 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 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.611046568228 0.979673505265 6 12 4 9 3120 3012 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.828873673312 0.760634446099 9 8 5 6 1023 1230 0132 1230 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 -2 0 2 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.449690114636 1.263177802141 10 6 7 8 1230 0132 1230 1023 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 1 1 0 0 0 0 2 -2 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.612449038646 0.598541589480 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_9'], 'c_1001_11' : d['c_0101_2'], 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_12']), 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_12' : d['c_0101_3'], 'c_1010_11' : d['c_0101_0'], 'c_1010_10' : d['c_0101_11'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : negation(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' : 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' : negation(d['1']), 's_0_8' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_2']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_9'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_10'], 's_0_10' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_0101_9'], 'c_1100_10' : d['c_1100_0'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0011_12']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : negation(d['c_0011_12']), 'c_1010_8' : d['c_0011_10'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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'], 'c_1100_12' : d['c_0101_2'], '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' : d['1'], 's_1_1' : negation(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_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), '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_12']), 'c_0110_10' : d['c_0101_9'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : negation(d['c_0101_11']), 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_11']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10']})} 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_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_3, c_0101_9, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 11639564470398397621639707338639376197223703256155640459/6984124157\ 519755815222330884006646287494970320683880*c_0101_9^22 + 192319931250702477170166416373901879429550359425214291037/977777382\ 05276581413112632376093048024929584489574320*c_0101_9^21 + 681749903916779099107633193289903747066411354026145767311/977777382\ 05276581413112632376093048024929584489574320*c_0101_9^20 - 599692280278857481541693906536199391754630450830174120473/977777382\ 05276581413112632376093048024929584489574320*c_0101_9^19 - 154690565907697392713558516578116434425777763352404511327/611110863\ 7829786338319539523505815501558099030598395*c_0101_9^18 - 8079135234054993427676144206788626767181651497897888928053/97777738\ 205276581413112632376093048024929584489574320*c_0101_9^17 - 2195881711956054863153297581001323985487285070901991769181/24444434\ 551319145353278158094023262006232396122393580*c_0101_9^16 - 1510938965744481734582888808607209907788391195555363679949/97777738\ 205276581413112632376093048024929584489574320*c_0101_9^15 + 7086247992827903294316858916170013119914887296125558358317/24444434\ 551319145353278158094023262006232396122393580*c_0101_9^14 + 71968970776818888058686725735554050991160898028548607870781/9777773\ 8205276581413112632376093048024929584489574320*c_0101_9^13 + 873898827001765596931915303386623490765915461363199445017/713706118\ 286690375278194396905788671714814485325360*c_0101_9^12 + 29779668932279015529915726664968809040298325948848399779891/1955554\ 7641055316282622526475218609604985916897914864*c_0101_9^11 + 73453961494734031585373701964605856225578975929555502427851/4888886\ 9102638290706556316188046524012464792244787160*c_0101_9^10 + 180214244400760183869374545793705630915941588167813711097/142741223\ 657338075055638879381157734342962897065072*c_0101_9^9 + 93611295941630535797352768826487646892444483498582301444047/9777773\ 8205276581413112632376093048024929584489574320*c_0101_9^8 + 64050960997854090315991281077398018534639641014104047014247/9777773\ 8205276581413112632376093048024929584489574320*c_0101_9^7 + 5595686112719114274973936221085557793954625448789718159901/13968248\ 315039511630444661768013292574989940641367760*c_0101_9^6 + 5084652475484019206743237153751729245066681164927851692641/24444434\ 551319145353278158094023262006232396122393580*c_0101_9^5 + 415113617987147621723403794777319054507129938855369812022/611110863\ 7829786338319539523505815501558099030598395*c_0101_9^4 + 630959877612438970725400295638461582225987169329826505991/488888691\ 02638290706556316188046524012464792244787160*c_0101_9^3 - 63794452148417683449367411122450453801232876644306273189/9777773820\ 527658141311263237609304802492958448957432*c_0101_9^2 - 20959260317009392305603904665576941567342905200199144359/2444443455\ 131914535327815809402326200623239612239358*c_0101_9 - 39201431405902595087771716981787872284588580873830687009/1222221727\ 5659572676639079047011631003116198061196790, c_0011_0 - 1, c_0011_10 + 3882336024561527449237420651622144967787819167075/203916033\ 79619725007948411340165390620423271009296*c_0101_9^22 + 43847967013885988006447799335735282677044577516833/7137061182866903\ 7527819439690578867171481448532536*c_0101_9^21 + 89170994720248839387822774978896712517173655223367/7137061182866903\ 7527819439690578867171481448532536*c_0101_9^20 + 131680908113281019616212023865984451070532200635999/142741223657338\ 075055638879381157734342962897065072*c_0101_9^19 - 621825334902436230885515793751925396370605133799473/142741223657338\ 075055638879381157734342962897065072*c_0101_9^18 - 2186673493368027865283941211516215634654791510090265/14274122365733\ 8075055638879381157734342962897065072*c_0101_9^17 - 600941725207692363458160452823596215938015335865687/203916033796197\ 25007948411340165390620423271009296*c_0101_9^16 - 456559680732083315089285955985648309697020114765905/203916033796197\ 25007948411340165390620423271009296*c_0101_9^15 + 4261806220634274418616876790377172861223295011936153/14274122365733\ 8075055638879381157734342962897065072*c_0101_9^14 + 1353777532862693340517845802270089070730437831454483/89213264785836\ 29690977429961322358396435181066567*c_0101_9^13 + 22149115898678761963479177093845357413014142007038757/7137061182866\ 9037527819439690578867171481448532536*c_0101_9^12 + 65168255349186226132044614974163477351409451294124019/1427412236573\ 38075055638879381157734342962897065072*c_0101_9^11 + 74592069436312438183007092789079021671855744749930829/1427412236573\ 38075055638879381157734342962897065072*c_0101_9^10 + 17517103398167708276910620184249685630710919904203411/3568530591433\ 4518763909719845289433585740724266268*c_0101_9^9 + 7194902291803759501981532392984937774342730876393305/17842652957167\ 259381954859922644716792870362133134*c_0101_9^8 + 3072396438341287032803139825187524902250526302500393/10195801689809\ 862503974205670082695310211635504648*c_0101_9^7 + 29328844439455749710917702322480544287829603861022511/1427412236573\ 38075055638879381157734342962897065072*c_0101_9^6 + 8952927199830637485514839804662389398438339431269483/71370611828669\ 037527819439690578867171481448532536*c_0101_9^5 + 576148977130683178030460856736667021563779076158616/892132647858362\ 9690977429961322358396435181066567*c_0101_9^4 + 442660902204407288130812494844679686402806260973741/178426529571672\ 59381954859922644716792870362133134*c_0101_9^3 + 282275981473018878476773052652637466275884731400639/356853059143345\ 18763909719845289433585740724266268*c_0101_9^2 + 4168506749929471157200992764353062272243100633443/89213264785836296\ 90977429961322358396435181066567*c_0101_9 - 1998559530331933522202655950556572529784502129231/17842652957167259\ 381954859922644716792870362133134, c_0011_11 + c_0101_9, c_0011_12 - 4383739787455671678132304820711888288732729099835/101958016\ 89809862503974205670082695310211635504648*c_0101_9^22 - 2679611588602789522500595656119251417518617952949/89213264785836296\ 90977429961322358396435181066567*c_0101_9^21 - 16713444278459360423067674254550445262073030151224/8921326478583629\ 690977429961322358396435181066567*c_0101_9^20 + 154880116695201468427370405084846157284594556950707/713706118286690\ 37527819439690578867171481448532536*c_0101_9^19 + 319373097611868663894064095923345666145577467912841/713706118286690\ 37527819439690578867171481448532536*c_0101_9^18 + 1404118213993231180717875540923222877487401485017471/71370611828669\ 037527819439690578867171481448532536*c_0101_9^17 + 174412087824126387296041966002594602262227293497355/101958016898098\ 62503974205670082695310211635504648*c_0101_9^16 + 76109279794558259649113341988491343737908435572335/1019580168980986\ 2503974205670082695310211635504648*c_0101_9^15 - 4510975999911999403049690950837715801236503445274101/71370611828669\ 037527819439690578867171481448532536*c_0101_9^14 - 5448572373517343643502793173301408954486025642613433/35685305914334\ 518763909719845289433585740724266268*c_0101_9^13 - 4949221285581863419912816888812594630851034459172105/17842652957167\ 259381954859922644716792870362133134*c_0101_9^12 - 26041494305715373995422536693835537932277567665981657/7137061182866\ 9037527819439690578867171481448532536*c_0101_9^11 - 28768625041629936379553499271914539159296943659530973/7137061182866\ 9037527819439690578867171481448532536*c_0101_9^10 - 13911677781460134476700188072042422850026712613775561/3568530591433\ 4518763909719845289433585740724266268*c_0101_9^9 - 12035799465265841105899818627499040117404868266451583/3568530591433\ 4518763909719845289433585740724266268*c_0101_9^8 - 664210048450587100118177923469616698750080793927423/254895042245246\ 5625993551417520673827552908876162*c_0101_9^7 - 13167741920979142330144077783976706818485968675881273/7137061182866\ 9037527819439690578867171481448532536*c_0101_9^6 - 4126987033287983756427621538041709593350929945030129/35685305914334\ 518763909719845289433585740724266268*c_0101_9^5 - 563481056998326996380390723458874274761191225731887/892132647858362\ 9690977429961322358396435181066567*c_0101_9^4 - 306607134220906519679098464807416255168248030846094/892132647858362\ 9690977429961322358396435181066567*c_0101_9^3 - 218632028413203013135619225165389790988972907495737/178426529571672\ 59381954859922644716792870362133134*c_0101_9^2 - 39460738387014550769186231553258087320411364506667/8921326478583629\ 690977429961322358396435181066567*c_0101_9 - 6502753456047241839304051613093444444890019123804/89213264785836296\ 90977429961322358396435181066567, c_0011_3 + 47928464729416632223722388829266912596857010659827/203916033\ 79619725007948411340165390620423271009296*c_0101_9^22 + 115166037497567643760530427449160516392047794133743/356853059143345\ 18763909719845289433585740724266268*c_0101_9^21 + 97327361564817798976280407007097855796158566786896/8921326478583629\ 690977429961322358396435181066567*c_0101_9^20 - 885919828400210233078614306171302657222613293204663/142741223657338\ 075055638879381157734342962897065072*c_0101_9^19 - 5024427410425813523694231855350227159279539758922605/14274122365733\ 8075055638879381157734342962897065072*c_0101_9^18 - 17945905627847683200765814889964776143790692968748807/1427412236573\ 38075055638879381157734342962897065072*c_0101_9^17 - 3198771409868616496183060417651814320474349168133203/20391603379619\ 725007948411340165390620423271009296*c_0101_9^16 - 1457268786699133705328086092367580230828446464623955/20391603379619\ 725007948411340165390620423271009296*c_0101_9^15 + 54216925427813369757359972897814076715108678330593721/1427412236573\ 38075055638879381157734342962897065072*c_0101_9^14 + 79574754640545187890835344604158995180007910875917517/7137061182866\ 9037527819439690578867171481448532536*c_0101_9^13 + 18002963667603648079262296175249438592259647449011025/8921326478583\ 629690977429961322358396435181066567*c_0101_9^12 + 385189943701525093485984324821329837375010381332278785/142741223657\ 338075055638879381157734342962897065072*c_0101_9^11 + 412709591501075996802277906749069093054572893997495917/142741223657\ 338075055638879381157734342962897065072*c_0101_9^10 + 187934671081840114383783841322844522386856010183309191/713706118286\ 69037527819439690578867171481448532536*c_0101_9^9 + 152822570865106794910103883990649339143405710417511127/713706118286\ 69037527819439690578867171481448532536*c_0101_9^8 + 2012403381978136868654337351103889921071680443584090/12744752112262\ 32812996775708760336913776454438081*c_0101_9^7 + 152230950539195803715579197402785621877795376758463633/142741223657\ 338075055638879381157734342962897065072*c_0101_9^6 + 45655109678593315689315143571057987348789611053433273/7137061182866\ 9037527819439690578867171481448532536*c_0101_9^5 + 2758105845591769546664462708499536250373207953267371/89213264785836\ 29690977429961322358396435181066567*c_0101_9^4 + 1138857406925582701927114714837916643057198424638305/89213264785836\ 29690977429961322358396435181066567*c_0101_9^3 + 1346937747697502225647757461703363418160317892333327/35685305914334\ 518763909719845289433585740724266268*c_0101_9^2 + 54089007669905251619420201028162570329715751220852/8921326478583629\ 690977429961322358396435181066567*c_0101_9 + 309467923562655767118336871553432940376653355519/178426529571672593\ 81954859922644716792870362133134, c_0101_0 - 52461806352186864382730185666462612862138607590353/203916033\ 79619725007948411340165390620423271009296*c_0101_9^22 - 168702918640641412997644636390028903301238258506655/713706118286690\ 37527819439690578867171481448532536*c_0101_9^21 - 741092689743288505290428263370715149093999300364001/713706118286690\ 37527819439690578867171481448532536*c_0101_9^20 + 1743212299448712024338581990188765106583620814709923/14274122365733\ 8075055638879381157734342962897065072*c_0101_9^19 + 5025765345870173408740633724339512165461531273356619/14274122365733\ 8075055638879381157734342962897065072*c_0101_9^18 + 17189001908730470123426829277302414257688627744199923/1427412236573\ 38075055638879381157734342962897065072*c_0101_9^17 + 2231065256769180229082970979803246917273249521170645/20391603379619\ 725007948411340165390620423271009296*c_0101_9^16 + 46383592407045036223222735757621645659396605602731/2039160337961972\ 5007948411340165390620423271009296*c_0101_9^15 - 64206928945762241954086627765927928677012054326565731/1427412236573\ 38075055638879381157734342962897065072*c_0101_9^14 - 9190035597794423554576630481101361306485253289230841/89213264785836\ 29690977429961322358396435181066567*c_0101_9^13 - 118476757386129670406604921841616535595067790383890675/713706118286\ 69037527819439690578867171481448532536*c_0101_9^12 - 280400839158647200052480525174601320413855872025981585/142741223657\ 338075055638879381157734342962897065072*c_0101_9^11 - 264212707067748887199498459381886871776683660173325455/142741223657\ 338075055638879381157734342962897065072*c_0101_9^10 - 52965843844898881511006458617385465453897733171323513/3568530591433\ 4518763909719845289433585740724266268*c_0101_9^9 - 19259470567979039459283676114738359401181990870464953/1784265295716\ 7259381954859922644716792870362133134*c_0101_9^8 - 7249122093815263262786928871369387274451497580140875/10195801689809\ 862503974205670082695310211635504648*c_0101_9^7 - 60265954072181312622182453885441073488010029714949533/1427412236573\ 38075055638879381157734342962897065072*c_0101_9^6 - 14322014086773510337085943521133826044369027279018725/7137061182866\ 9037527819439690578867171481448532536*c_0101_9^5 - 767255992585925711912154212356617100070667618297185/178426529571672\ 59381954859922644716792870362133134*c_0101_9^4 + 9296331250995645454760183992884899909438309907926/89213264785836296\ 90977429961322358396435181066567*c_0101_9^3 + 563475069274399085983626008811920554530039887155581/356853059143345\ 18763909719845289433585740724266268*c_0101_9^2 + 67469276143468009743508963355510905484780596761316/8921326478583629\ 690977429961322358396435181066567*c_0101_9 + 29311895564776190673866858229734248441328385410601/1784265295716725\ 9381954859922644716792870362133134, c_0101_1 + 7046127531646428564180701576866636039606280823211/2039160337\ 9619725007948411340165390620423271009296*c_0101_9^22 - 5421903482664338571802856177764194770747699811542/89213264785836296\ 90977429961322358396435181066567*c_0101_9^21 + 4943188730432926030665191511084738188021295365215/17842652957167259\ 381954859922644716792870362133134*c_0101_9^20 - 810870303022836749139182090181395438508404082950107/142741223657338\ 075055638879381157734342962897065072*c_0101_9^19 - 212755740648688746374593039620614707098785433708917/142741223657338\ 075055638879381157734342962897065072*c_0101_9^18 - 359090908517799164200024075235990418583403212398863/142741223657338\ 075055638879381157734342962897065072*c_0101_9^17 + 661452062407578237681359828307401745331598332460865/203916033796197\ 25007948411340165390620423271009296*c_0101_9^16 + 1068535088021983066773806897055516160381988444045805/20391603379619\ 725007948411340165390620423271009296*c_0101_9^15 + 10797927390390140334951296491937097973680385014133357/1427412236573\ 38075055638879381157734342962897065072*c_0101_9^14 - 1381935730058723015538657401130692409376616883469327/71370611828669\ 037527819439690578867171481448532536*c_0101_9^13 - 3430883016541373422225357645686752583699009900616441/17842652957167\ 259381954859922644716792870362133134*c_0101_9^12 - 64091487488234988234395090605883121844784157813584515/1427412236573\ 38075055638879381157734342962897065072*c_0101_9^11 - 93782877128698431698453372574048157291402419755782747/1427412236573\ 38075055638879381157734342962897065072*c_0101_9^10 - 51424402201402043027638359430677104235333971881705813/7137061182866\ 9037527819439690578867171481448532536*c_0101_9^9 - 46420688552873691622367779292747330475430456442688829/7137061182866\ 9037527819439690578867171481448532536*c_0101_9^8 - 2673212458056498694874899110293757060328220079401189/50979008449049\ 31251987102835041347655105817752324*c_0101_9^7 - 54768249074072835736027560210948829294463425075942787/1427412236573\ 38075055638879381157734342962897065072*c_0101_9^6 - 18548953727384388456077284554590767568103848248805391/7137061182866\ 9037527819439690578867171481448532536*c_0101_9^5 - 5506592261187746247584876048005494910153111855979779/35685305914334\ 518763909719845289433585740724266268*c_0101_9^4 - 597353533457223669420005755645831843643151381710072/892132647858362\ 9690977429961322358396435181066567*c_0101_9^3 - 915692949208734198491434419342178036923340554268703/356853059143345\ 18763909719845289433585740724266268*c_0101_9^2 - 48148818802432073000566133545925856911330511338358/8921326478583629\ 690977429961322358396435181066567*c_0101_9 - 1765070021720833556519500321838663929415241634943/17842652957167259\ 381954859922644716792870362133134, c_0101_10 + 47928464729416632223722388829266912596857010659827/20391603\ 379619725007948411340165390620423271009296*c_0101_9^22 + 115166037497567643760530427449160516392047794133743/356853059143345\ 18763909719845289433585740724266268*c_0101_9^21 + 97327361564817798976280407007097855796158566786896/8921326478583629\ 690977429961322358396435181066567*c_0101_9^20 - 885919828400210233078614306171302657222613293204663/142741223657338\ 075055638879381157734342962897065072*c_0101_9^19 - 5024427410425813523694231855350227159279539758922605/14274122365733\ 8075055638879381157734342962897065072*c_0101_9^18 - 17945905627847683200765814889964776143790692968748807/1427412236573\ 38075055638879381157734342962897065072*c_0101_9^17 - 3198771409868616496183060417651814320474349168133203/20391603379619\ 725007948411340165390620423271009296*c_0101_9^16 - 1457268786699133705328086092367580230828446464623955/20391603379619\ 725007948411340165390620423271009296*c_0101_9^15 + 54216925427813369757359972897814076715108678330593721/1427412236573\ 38075055638879381157734342962897065072*c_0101_9^14 + 79574754640545187890835344604158995180007910875917517/7137061182866\ 9037527819439690578867171481448532536*c_0101_9^13 + 18002963667603648079262296175249438592259647449011025/8921326478583\ 629690977429961322358396435181066567*c_0101_9^12 + 385189943701525093485984324821329837375010381332278785/142741223657\ 338075055638879381157734342962897065072*c_0101_9^11 + 412709591501075996802277906749069093054572893997495917/142741223657\ 338075055638879381157734342962897065072*c_0101_9^10 + 187934671081840114383783841322844522386856010183309191/713706118286\ 69037527819439690578867171481448532536*c_0101_9^9 + 152822570865106794910103883990649339143405710417511127/713706118286\ 69037527819439690578867171481448532536*c_0101_9^8 + 2012403381978136868654337351103889921071680443584090/12744752112262\ 32812996775708760336913776454438081*c_0101_9^7 + 152230950539195803715579197402785621877795376758463633/142741223657\ 338075055638879381157734342962897065072*c_0101_9^6 + 45655109678593315689315143571057987348789611053433273/7137061182866\ 9037527819439690578867171481448532536*c_0101_9^5 + 2758105845591769546664462708499536250373207953267371/89213264785836\ 29690977429961322358396435181066567*c_0101_9^4 + 1138857406925582701927114714837916643057198424638305/89213264785836\ 29690977429961322358396435181066567*c_0101_9^3 + 1346937747697502225647757461703363418160317892333327/35685305914334\ 518763909719845289433585740724266268*c_0101_9^2 + 54089007669905251619420201028162570329715751220852/8921326478583629\ 690977429961322358396435181066567*c_0101_9 + 309467923562655767118336871553432940376653355519/178426529571672593\ 81954859922644716792870362133134, c_0101_11 - 194792811080001110940056735854838180467455269965/2039160337\ 9619725007948411340165390620423271009296*c_0101_9^22 + 2958482513650245730146158954106819751769542308947/17842652957167259\ 381954859922644716792870362133134*c_0101_9^21 + 1038747790294906153102589189932655121998816054259/89213264785836296\ 90977429961322358396435181066567*c_0101_9^20 + 110264453635159409400161986531884642954473602215965/142741223657338\ 075055638879381157734342962897065072*c_0101_9^19 - 87944760134252942727021500413475733406782013382597/1427412236573380\ 75055638879381157734342962897065072*c_0101_9^18 - 255536999056049619653839303330775901356427558815551/142741223657338\ 075055638879381157734342962897065072*c_0101_9^17 - 153773265932014590716298507688993480884077604242511/203916033796197\ 25007948411340165390620423271009296*c_0101_9^16 - 165449250389094152479872606605396500296616436610163/203916033796197\ 25007948411340165390620423271009296*c_0101_9^15 - 514383484349463623241904606224623086828325627454587/142741223657338\ 075055638879381157734342962897065072*c_0101_9^14 + 1611832626224783425559007995589600422836771435436653/71370611828669\ 037527819439690578867171481448532536*c_0101_9^13 + 551415806234707212301367293001732288308600537090357/892132647858362\ 9690977429961322358396435181066567*c_0101_9^12 + 15602869748942047969527415642648318248738902242286077/1427412236573\ 38075055638879381157734342962897065072*c_0101_9^11 + 20925487443500510847440051349981956816414050637865493/1427412236573\ 38075055638879381157734342962897065072*c_0101_9^10 + 11056553276687178219911056742985774032379840954356767/7137061182866\ 9037527819439690578867171481448532536*c_0101_9^9 + 10378362797466804778292297680335239105371182272197083/7137061182866\ 9037527819439690578867171481448532536*c_0101_9^8 + 609544421621161987859133270781637891206932012076977/509790084490493\ 1251987102835041347655105817752324*c_0101_9^7 + 12546837830117641558930632965097730150613784350792773/1427412236573\ 38075055638879381157734342962897065072*c_0101_9^6 + 4187104739900012841007127474495870085853194612280329/71370611828669\ 037527819439690578867171481448532536*c_0101_9^5 + 1266145859097289809824989211934413998420642599332285/35685305914334\ 518763909719845289433585740724266268*c_0101_9^4 + 290449348259461655979714964511171777196464738450235/178426529571672\ 59381954859922644716792870362133134*c_0101_9^3 + 291769543566021498192239442525960939623662784723031/356853059143345\ 18763909719845289433585740724266268*c_0101_9^2 + 20766008125299107380048532545862918586446877056709/8921326478583629\ 690977429961322358396435181066567*c_0101_9 + 7851447788169361838200471980251059592733291395045/17842652957167259\ 381954859922644716792870362133134, c_0101_2 - 4383739787455671678132304820711888288732729099835/1019580168\ 9809862503974205670082695310211635504648*c_0101_9^22 - 2679611588602789522500595656119251417518617952949/89213264785836296\ 90977429961322358396435181066567*c_0101_9^21 - 16713444278459360423067674254550445262073030151224/8921326478583629\ 690977429961322358396435181066567*c_0101_9^20 + 154880116695201468427370405084846157284594556950707/713706118286690\ 37527819439690578867171481448532536*c_0101_9^19 + 319373097611868663894064095923345666145577467912841/713706118286690\ 37527819439690578867171481448532536*c_0101_9^18 + 1404118213993231180717875540923222877487401485017471/71370611828669\ 037527819439690578867171481448532536*c_0101_9^17 + 174412087824126387296041966002594602262227293497355/101958016898098\ 62503974205670082695310211635504648*c_0101_9^16 + 76109279794558259649113341988491343737908435572335/1019580168980986\ 2503974205670082695310211635504648*c_0101_9^15 - 4510975999911999403049690950837715801236503445274101/71370611828669\ 037527819439690578867171481448532536*c_0101_9^14 - 5448572373517343643502793173301408954486025642613433/35685305914334\ 518763909719845289433585740724266268*c_0101_9^13 - 4949221285581863419912816888812594630851034459172105/17842652957167\ 259381954859922644716792870362133134*c_0101_9^12 - 26041494305715373995422536693835537932277567665981657/7137061182866\ 9037527819439690578867171481448532536*c_0101_9^11 - 28768625041629936379553499271914539159296943659530973/7137061182866\ 9037527819439690578867171481448532536*c_0101_9^10 - 13911677781460134476700188072042422850026712613775561/3568530591433\ 4518763909719845289433585740724266268*c_0101_9^9 - 12035799465265841105899818627499040117404868266451583/3568530591433\ 4518763909719845289433585740724266268*c_0101_9^8 - 664210048450587100118177923469616698750080793927423/254895042245246\ 5625993551417520673827552908876162*c_0101_9^7 - 13167741920979142330144077783976706818485968675881273/7137061182866\ 9037527819439690578867171481448532536*c_0101_9^6 - 4126987033287983756427621538041709593350929945030129/35685305914334\ 518763909719845289433585740724266268*c_0101_9^5 - 563481056998326996380390723458874274761191225731887/892132647858362\ 9690977429961322358396435181066567*c_0101_9^4 - 306607134220906519679098464807416255168248030846094/892132647858362\ 9690977429961322358396435181066567*c_0101_9^3 - 218632028413203013135619225165389790988972907495737/178426529571672\ 59381954859922644716792870362133134*c_0101_9^2 - 39460738387014550769186231553258087320411364506667/8921326478583629\ 690977429961322358396435181066567*c_0101_9 - 6502753456047241839304051613093444444890019123804/89213264785836296\ 90977429961322358396435181066567, c_0101_3 + 14148262966810932324549079866922869855958628319201/203916033\ 79619725007948411340165390620423271009296*c_0101_9^22 - 2826028399108141558733224261986557764567373084108/89213264785836296\ 90977429961322358396435181066567*c_0101_9^21 + 56915934447944932818402544173167194938872230652937/3568530591433451\ 8763909719845289433585740724266268*c_0101_9^20 - 1078265392247393824022067124787828979461638926962593/14274122365733\ 8075055638879381157734342962897065072*c_0101_9^19 - 926192724299267017350679036668238502129028631210871/142741223657338\ 075055638879381157734342962897065072*c_0101_9^18 - 2626160255547662398253784735735520283916379125410729/14274122365733\ 8075055638879381157734342962897065072*c_0101_9^17 + 403569374059990663025402755413813828654893523168407/203916033796197\ 25007948411340165390620423271009296*c_0101_9^16 + 1166674374582189124548807135675213738489511348162651/20391603379619\ 725007948411340165390620423271009296*c_0101_9^15 + 20365684937387386805729980871934695850351701723318931/1427412236573\ 38075055638879381157734342962897065072*c_0101_9^14 + 8591193682288445831585146154303433598729974527358893/71370611828669\ 037527819439690578867171481448532536*c_0101_9^13 + 457161951976485976249729309524445072471854174786131/356853059143345\ 18763909719845289433585740724266268*c_0101_9^12 - 33766650211629897358987399214924769542056568533851953/1427412236573\ 38075055638879381157734342962897065072*c_0101_9^11 - 71595614641480486836661178645515259422354102843556505/1427412236573\ 38075055638879381157734342962897065072*c_0101_9^10 - 46172615458770058091415055242017963806890685124103709/7137061182866\ 9037527819439690578867171481448532536*c_0101_9^9 - 45812122840258955950442400942553933663439337041311581/7137061182866\ 9037527819439690578867171481448532536*c_0101_9^8 - 2819697816023590158093895775068140527403352402163781/50979008449049\ 31251987102835041347655105817752324*c_0101_9^7 - 60656614805477727095129223991205555677088198354287433/1427412236573\ 38075055638879381157734342962897065072*c_0101_9^6 - 21585812704997462570860942918554917813362535735492049/7137061182866\ 9037527819439690578867171481448532536*c_0101_9^5 - 1763185825906110740363425685917806438810320770010405/89213264785836\ 29690977429961322358396435181066567*c_0101_9^4 - 864759783321856548179615881831137233777377643900814/892132647858362\ 9690977429961322358396435181066567*c_0101_9^3 - 1490626625259792245656014378066725231619029771596877/35685305914334\ 518763909719845289433585740724266268*c_0101_9^2 - 103753786151608058591759022784007716176332327093790/892132647858362\ 9690977429961322358396435181066567*c_0101_9 - 30369923090083564258256474699887136881219552604421/1784265295716725\ 9381954859922644716792870362133134, c_0101_9^23 + 89/49*c_0101_9^22 + 256/49*c_0101_9^21 - 31/49*c_0101_9^20 - 796/49*c_0101_9^19 - 2944/49*c_0101_9^18 - 4404/49*c_0101_9^17 - 410/7*c_0101_9^16 + 7348/49*c_0101_9^15 + 3821/7*c_0101_9^14 + 52102/49*c_0101_9^13 + 74209/49*c_0101_9^12 + 84158/49*c_0101_9^11 + 80387/49*c_0101_9^10 + 67888/49*c_0101_9^9 + 51930/49*c_0101_9^8 + 36305/49*c_0101_9^7 + 22863/49*c_0101_9^6 + 12202/49*c_0101_9^5 + 5480/49*c_0101_9^4 + 1972/49*c_0101_9^3 + 500/49*c_0101_9^2 + 72/49*c_0101_9 + 8/49, c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 9.350 Total time: 9.560 seconds, Total memory usage: 100.72MB