Magma V2.19-8 Tue Aug 20 2013 23:38:28 on localhost [Seed = 357789993] Type ? for help. Type -D to quit. Loading file "K10a48__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a48 geometric_solution 10.59131113 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 2 3 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 0 1 1 -7 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.085196892783 0.571892525833 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.034786065070 1.164314710821 0 0 8 7 2031 0132 0132 0132 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 1 -1 0 -1 0 1 0 -6 7 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.745163310768 1.710616351359 6 7 0 6 0213 1023 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 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.150373772674 2.122971482784 5 1 9 10 0213 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 1 0 0 -1 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.841115381863 0.667414069213 4 11 1 9 0213 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.252179075411 1.002539721842 3 3 8 1 0213 0321 1302 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.594374869528 1.265227617721 3 8 2 10 1023 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.577702323397 0.690982412034 6 7 11 2 2031 0132 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 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.215001769363 0.658948887127 10 11 5 4 0213 0321 1230 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.084929997715 0.523772852641 9 7 4 11 0213 1302 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.270445613031 0.578891876927 10 5 8 9 3012 0132 3120 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 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.252179075411 1.002539721842 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_0110_7'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0110_7'], 'c_1001_0' : d['c_0101_7'], 'c_1001_3' : d['c_0101_7'], 'c_1001_2' : d['c_0101_7'], 'c_1001_9' : negation(d['c_0101_8']), 'c_1001_8' : d['c_0011_10'], 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : d['c_0101_11'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_9'], 's_2_0' : 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' : negation(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' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_9']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_8'], 'c_1100_4' : negation(d['c_0011_9']), 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : d['c_0101_8'], 'c_1100_1' : d['c_0101_8'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0101_11']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_8']), 'c_1100_10' : negation(d['c_0011_9']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0110_7'], 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_0110_7'], 'c_1010_3' : d['c_0110_7'], 'c_1010_2' : d['c_0101_7'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_7'], 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_0101_7'], 'c_1100_8' : negation(d['c_0101_11']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : 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' : d['1'], 's_1_4' : negation(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_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : 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_9']), 'c_0110_10' : d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : negation(d['c_0011_11']), 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0011_6'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_9']), 'c_0110_4' : d['c_0011_9'], 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : d['c_0011_6']})} 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_6, c_0011_9, c_0101_11, c_0101_2, c_0101_7, c_0101_8, c_0110_7, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 1101735344191651328301670538160060114119523/90334908283511948098921\ 10330555683844956*c_1001_4^25 - 61079526513720753294436076287086939\ 8477483/410613219470508854995095924116167447498*c_1001_4^24 - 8602542519458564637631243411898500930630325/95089377140538892735706\ 4245321650931048*c_1001_4^23 - 298657608171540448789264773806838545\ 436950213/9033490828351194809892110330555683844956*c_1001_4^22 - 1390365197123416404013893290725226102883709691/18066981656702389619\ 784220661111367689912*c_1001_4^21 - 1812854081981598063050922332480402165630594623/18066981656702389619\ 784220661111367689912*c_1001_4^20 + 462702217441073680445687556588481875275412821/180669816567023896197\ 84220661111367689912*c_1001_4^19 + 2215074118022384779124247226154738529167013177/45167454141755974049\ 46055165277841922478*c_1001_4^18 + 25250987366267631577213218222954579793460873635/1806698165670238961\ 9784220661111367689912*c_1001_4^17 + 45211893609733066779432332084036334692553491837/1806698165670238961\ 9784220661111367689912*c_1001_4^16 + 5337169519017466055104060854410456788850623145/16424528778820354199\ 80383696464669789992*c_1001_4^15 + 54801879466230674503357543005614674389357315999/1806698165670238961\ 9784220661111367689912*c_1001_4^14 + 8190868229313434910448845130842148764670186723/45167454141755974049\ 46055165277841922478*c_1001_4^13 + 2420362498001953067635172813543800522073645769/90334908283511948098\ 92110330555683844956*c_1001_4^12 - 13849729928237019169721362987245416653035562999/1806698165670238961\ 9784220661111367689912*c_1001_4^11 - 15913708729554907918281193882394517618496500899/1806698165670238961\ 9784220661111367689912*c_1001_4^10 - 918194007833531138822492142944193674970410842/225837270708779870247\ 3027582638920961239*c_1001_4^9 + 5411355154770249569304278677765205\ 53548539727/18066981656702389619784220661111367689912*c_1001_4^8 + 695393873408589823164880171972801394442207005/451674541417559740494\ 6055165277841922478*c_1001_4^7 + 3966022717355779800859861855387706\ 4416055633/475446885702694463678532122660825465524*c_1001_4^6 + 191029999400276565580670864291414086406390075/180669816567023896197\ 84220661111367689912*c_1001_4^5 - 241734624086320152814082490501332\ 50022822801/2258372707087798702473027582638920961239*c_1001_4^4 - 6205946026533142428124025784736707257915889/95089377140538892735706\ 4245321650931048*c_1001_4^3 - 7099562989032070582711086916318565220\ 925359/9033490828351194809892110330555683844956*c_1001_4^2 + 4216431978098157951341647019098414924578099/18066981656702389619784\ 220661111367689912*c_1001_4 + 3602695755493528331732296916181848615\ 414215/18066981656702389619784220661111367689912, c_0011_0 - 1, c_0011_10 + c_1001_4, c_0011_11 + 150845415867555073740294731862129/1961416648807851294223880\ 4491326*c_1001_4^25 + 1889372562789125684232941055931105/1961416648\ 8078512942238804491326*c_1001_4^24 + 11807121366944933639319017081599899/1961416648807851294223880449132\ 6*c_1001_4^23 + 22365384210457198300550866361249246/980708324403925\ 6471119402245663*c_1001_4^22 + 54811603924563233569097623430173356/\ 9807083244039256471119402245663*c_1001_4^21 + 159133911133486113016136538229410897/196141664880785129422388044913\ 26*c_1001_4^20 + 18185561207722797636059366016092995/19614166488078\ 512942238804491326*c_1001_4^19 - 3019681260110644291146220416158846\ 52/9807083244039256471119402245663*c_1001_4^18 - 963310276781107772956031208116974399/980708324403925647111940224566\ 3*c_1001_4^17 - 1856319954508227832615160944721027017/9807083244039\ 256471119402245663*c_1001_4^16 - 5193800741454317946940149310448738\ 363/19614166488078512942238804491326*c_1001_4^15 - 2688811935261526963654993376344272660/98070832440392564711194022456\ 63*c_1001_4^14 - 3910223667657110694722339726042984629/196141664880\ 78512942238804491326*c_1001_4^13 - 767080501726384859032261917293503336/980708324403925647111940224566\ 3*c_1001_4^12 + 472242853086087097847279090265578121/19614166488078\ 512942238804491326*c_1001_4^11 + 1214690731760238134812253176466794\ 825/19614166488078512942238804491326*c_1001_4^10 + 845331795945813114375824913469954341/196141664880785129422388044913\ 26*c_1001_4^9 + 99020625996873433897602165663788318/980708324403925\ 6471119402245663*c_1001_4^8 - 134421271776092097727735099107145969/\ 19614166488078512942238804491326*c_1001_4^7 - 134820764447870882295736709870515493/196141664880785129422388044913\ 26*c_1001_4^6 - 45377709450423061174937870745663229/196141664880785\ 12942238804491326*c_1001_4^5 + 1389116437771546542457234835385703/1\ 9614166488078512942238804491326*c_1001_4^4 + 6934843438964777853622705459087433/19614166488078512942238804491326\ *c_1001_4^3 + 987533868719316186437906470810624/9807083244039256471\ 119402245663*c_1001_4^2 + 91166773691257015420481565415407/19614166\ 488078512942238804491326*c_1001_4 - 78249180309555075599343885029850/9807083244039256471119402245663, c_0011_3 - 306394960809624900664204045381161/39228332976157025884477608\ 982652*c_1001_4^25 - 965100624490733010181261969060334/980708324403\ 9256471119402245663*c_1001_4^24 - 606144849476542540870563905014387\ 5/9807083244039256471119402245663*c_1001_4^23 - 92371186353298996210392063092121531/3922833297615702588447760898265\ 2*c_1001_4^22 - 56944579537823664101692775230313611/980708324403925\ 6471119402245663*c_1001_4^21 - 333728812096310958707360421847930903\ /39228332976157025884477608982652*c_1001_4^20 - 23356978784372092614824378945798709/1961416648807851294223880449132\ 6*c_1001_4^19 + 1242906491777315484506945686630192701/3922833297615\ 7025884477608982652*c_1001_4^18 + 200042846633025492271466061117880\ 5429/19614166488078512942238804491326*c_1001_4^17 + 1935689478849888517092878394198985150/98070832440392564711194022456\ 63*c_1001_4^16 + 10852335835431846665065056709420463747/39228332976\ 157025884477608982652*c_1001_4^15 + 11241652382387784105673335459499358401/3922833297615702588447760898\ 2652*c_1001_4^14 + 8146345732429294674636295291200375383/3922833297\ 6157025884477608982652*c_1001_4^13 + 3133372767605109128354857417802901907/39228332976157025884477608982\ 652*c_1001_4^12 - 1078598215942864311637449189346297997/39228332976\ 157025884477608982652*c_1001_4^11 - 651534713950308048175185580859240434/980708324403925647111940224566\ 3*c_1001_4^10 - 889652117823102338749197571269269901/19614166488078\ 512942238804491326*c_1001_4^9 - 38526447524118489006504260484994742\ 5/39228332976157025884477608982652*c_1001_4^8 + 306083084787219191904986994019646211/392283329761570258844776089826\ 52*c_1001_4^7 + 142589516947713329534910806230232767/19614166488078\ 512942238804491326*c_1001_4^6 + 44218564598713199919261834349976989\ /19614166488078512942238804491326*c_1001_4^5 - 1622690169524957913629150664710416/9807083244039256471119402245663*\ c_1001_4^4 - 3693131870520187986573520112951961/9807083244039256471\ 119402245663*c_1001_4^3 - 3835479516219455322368348984776697/392283\ 32976157025884477608982652*c_1001_4^2 - 4174078569512036936032473149359/39228332976157025884477608982652*c_\ 1001_4 + 320972561713016521449792673063873/392283329761570258844776\ 08982652, c_0011_6 - 694479317743923551896634861292033/39228332976157025884477608\ 982652*c_1001_4^25 - 4133573238439446660301251958267757/19614166488\ 078512942238804491326*c_1001_4^24 - 24532139688434194746308204174075679/1961416648807851294223880449132\ 6*c_1001_4^23 - 173532652964935844694100062689563357/39228332976157\ 025884477608982652*c_1001_4^22 - 9631676148288939745307310261797719\ 1/9807083244039256471119402245663*c_1001_4^21 - 451080642528819421872013681375693263/392283329761570258844776089826\ 52*c_1001_4^20 + 73627186008005200694780598395358276/98070832440392\ 56471119402245663*c_1001_4^19 + 27264460643551918273183867553295629\ 71/39228332976157025884477608982652*c_1001_4^18 + 3575637244795467775968299346828649905/19614166488078512942238804491\ 326*c_1001_4^17 + 3012160341338654330209066327053637806/98070832440\ 39256471119402245663*c_1001_4^16 + 14681948765881207225345812188902611995/3922833297615702588447760898\ 2652*c_1001_4^15 + 12452903279435499534676943196666883471/392283329\ 76157025884477608982652*c_1001_4^14 + 5983869928995241790444656356481643363/39228332976157025884477608982\ 652*c_1001_4^13 - 937263859505807942197520606062942047/392283329761\ 57025884477608982652*c_1001_4^12 - 4644841209261938429622295013225157477/39228332976157025884477608982\ 652*c_1001_4^11 - 1984007522425877518989277013642246285/19614166488\ 078512942238804491326*c_1001_4^10 - 309880483201265706279062960010117231/980708324403925647111940224566\ 3*c_1001_4^9 + 572589159915770230045593331350948037/392283329761570\ 25884477608982652*c_1001_4^8 + 783223056137863471741515947472564067\ /39228332976157025884477608982652*c_1001_4^7 + 77357353256775267840900461292266731/9807083244039256471119402245663\ *c_1001_4^6 - 125445359536496187113920721320029/9807083244039256471\ 119402245663*c_1001_4^5 - 30705241617169822760790261929468061/19614\ 166488078512942238804491326*c_1001_4^4 - 15350492050458738907930253248826419/1961416648807851294223880449132\ 6*c_1001_4^3 - 2062606034227033976935653372676139/39228332976157025\ 884477608982652*c_1001_4^2 + 1059042040715693229932368873269085/392\ 28332976157025884477608982652*c_1001_4 + 1161958143864304053649943981579571/39228332976157025884477608982652\ , c_0011_9 - 8654236057552403971197671198225/9807083244039256471119402245\ 663*c_1001_4^25 - 106358805649199163704621703480807/980708324403925\ 6471119402245663*c_1001_4^24 - 651649538866445330480997682312183/98\ 07083244039256471119402245663*c_1001_4^23 - 2404495468115652358383432494480514/9807083244039256471119402245663*\ c_1001_4^22 - 5673446341722578911556647518440354/980708324403925647\ 1119402245663*c_1001_4^21 - 7617030574649066031842606243941445/9807\ 083244039256471119402245663*c_1001_4^20 + 1150465156575126294702226272834273/9807083244039256471119402245663*\ c_1001_4^19 + 34878450493612447613184129539316661/98070832440392564\ 71119402245663*c_1001_4^18 + 102138224953366669142518937355035314/9\ 807083244039256471119402245663*c_1001_4^17 + 186372164245412076847446853630676049/980708324403925647111940224566\ 3*c_1001_4^16 + 246912702633748313502230080543721832/98070832440392\ 56471119402245663*c_1001_4^15 + 23761873792386582740685787771262267\ 5/9807083244039256471119402245663*c_1001_4^14 + 151565862527641480717911497486713714/980708324403925647111940224566\ 3*c_1001_4^13 + 35865818876502923279094103731742416/980708324403925\ 6471119402245663*c_1001_4^12 - 47046951407291070751231155103657733/\ 9807083244039256471119402245663*c_1001_4^11 - 63308044915836124285856926779602912/9807083244039256471119402245663\ *c_1001_4^10 - 32962314128831661514080398304619657/9807083244039256\ 471119402245663*c_1001_4^9 - 1139151907204940739986068974975592/980\ 7083244039256471119402245663*c_1001_4^8 + 9760043825712980563873843805006020/9807083244039256471119402245663*\ c_1001_4^7 + 6096426597437617079107040248536838/9807083244039256471\ 119402245663*c_1001_4^6 + 1183575199722335012007933981812303/980708\ 3244039256471119402245663*c_1001_4^5 - 522400227212212336237103727206615/9807083244039256471119402245663*c\ _1001_4^4 - 420647661690694458257844905007485/980708324403925647111\ 9402245663*c_1001_4^3 - 70266171988568970994801645008627/9807083244\ 039256471119402245663*c_1001_4^2 + 24583350984454987693390092753780/9807083244039256471119402245663*c_\ 1001_4 + 15532503929190158777826030359224/9807083244039256471119402\ 245663, c_0101_11 + 1, c_0101_2 - 991057096926791437627833440908419/39228332976157025884477608\ 982652*c_1001_4^25 - 6062121840063663530746548376147673/19614166488\ 078512942238804491326*c_1001_4^24 - 36959365715748455351374684500463647/1961416648807851294223880449132\ 6*c_1001_4^23 - 270851233544645506709619045604355735/39228332976157\ 025884477608982652*c_1001_4^22 - 1580247434968789537217605683585739\ 72/9807083244039256471119402245663*c_1001_4^21 - 826885909013140021618637331666195441/392283329761570258844776089826\ 52*c_1001_4^20 + 51183763797724775722258973612046328/98070832440392\ 56471119402245663*c_1001_4^19 + 40266693397656146504220994701330197\ 45/39228332976157025884477608982652*c_1001_4^18 + 5745866986877854693405200997413191467/19614166488078512942238804491\ 326*c_1001_4^17 + 5144258173728867451158983585378198814/98070832440\ 39256471119402245663*c_1001_4^16 + 26666476260758800705162349871210065805/3922833297615702588447760898\ 2652*c_1001_4^15 + 24767977286324726968107857816267551953/392283329\ 76157025884477608982652*c_1001_4^14 + 14572030584921306416185350406389660057/3922833297615702588447760898\ 2652*c_1001_4^13 + 1768245467460375458581078988728530375/3922833297\ 6157025884477608982652*c_1001_4^12 - 6654121727145646106038909072397506983/39228332976157025884477608982\ 652*c_1001_4^11 - 3692292009885005182601697887075541573/19614166488\ 078512942238804491326*c_1001_4^10 - 818550390926645378787139404510485920/980708324403925647111940224566\ 3*c_1001_4^9 + 393288184100861811897237676604352843/392283329761570\ 25884477608982652*c_1001_4^8 + 134659039528480925505614893007194706\ 9/39228332976157025884477608982652*c_1001_4^7 + 170853940492492811398599079966008134/980708324403925647111940224566\ 3*c_1001_4^6 + 15272522132288437045850681600128444/9807083244039256\ 471119402245663*c_1001_4^5 - 49394403877753939870530876445106267/19\ 614166488078512942238804491326*c_1001_4^4 - 26643884200070784935333876125231635/1961416648807851294223880449132\ 6*c_1001_4^3 - 5308273727861985542790728173373365/39228332976157025\ 884477608982652*c_1001_4^2 + 2449706518520838662878269799802603/392\ 28332976157025884477608982652*c_1001_4 + 1509827079967520671911313976675505/39228332976157025884477608982652\ , c_0101_7 - 437668838749101375478690481155729/39228332976157025884477608\ 982652*c_1001_4^25 - 1338709887290022764335147409445108/98070832440\ 39256471119402245663*c_1001_4^24 - 8162314965233349536781826345937736/9807083244039256471119402245663*\ c_1001_4^23 - 119642246647213095364637311167801099/3922833297615702\ 5884477608982652*c_1001_4^22 - 69813280593720555802912263444330539/\ 9807083244039256471119402245663*c_1001_4^21 - 365486179451664713527767885962179751/392283329761570258844776089826\ 52*c_1001_4^20 + 44816086434051817734412775860500779/19614166488078\ 512942238804491326*c_1001_4^19 + 1776866605493087198500553548003992\ 229/39228332976157025884477608982652*c_1001_4^18 + 2536917026924081571032657014514280829/19614166488078512942238804491\ 326*c_1001_4^17 + 2272502209614465866398877741007720673/98070832440\ 39256471119402245663*c_1001_4^16 + 11790451340475242302962000237017211879/3922833297615702588447760898\ 2652*c_1001_4^15 + 10972992475301972184192123448396475201/392283329\ 76157025884477608982652*c_1001_4^14 + 6494623805121410823080271268550606199/39228332976157025884477608982\ 652*c_1001_4^13 + 857048616277187042001467725786706967/392283329761\ 57025884477608982652*c_1001_4^12 - 2866955452667179205567284099684094661/39228332976157025884477608982\ 652*c_1001_4^11 - 803935628146819490496734281271033002/980708324403\ 9256471119402245663*c_1001_4^10 - 716667088680769832228290364380596\ 769/19614166488078512942238804491326*c_1001_4^9 + 163494621020000464788653102645703223/392283329761570258844776089826\ 52*c_1001_4^8 + 580284830908703339553720537482892607/39228332976157\ 025884477608982652*c_1001_4^7 + 14755411255475204637142477662177952\ 1/19614166488078512942238804491326*c_1001_4^6 + 13456278449380232453615546314346449/1961416648807851294223880449132\ 6*c_1001_4^5 - 10531999134810309991225168386486294/9807083244039256\ 471119402245663*c_1001_4^4 - 5691813277713785395954524872300269/980\ 7083244039256471119402245663*c_1001_4^3 - 2153536261885549598978496121711985/39228332976157025884477608982652\ *c_1001_4^2 + 1077794887187424020160076804748493/392283329761570258\ 84477608982652*c_1001_4 + 638795249569634174351530809566053/3922833\ 2976157025884477608982652, c_0101_8 + 998944696220860769964767463558527/39228332976157025884477608\ 982652*c_1001_4^25 + 6102276173448955693920239453471715/19614166488\ 078512942238804491326*c_1001_4^24 + 37162847584323243533821232274554575/1961416648807851294223880449132\ 6*c_1001_4^23 + 272019969376552511775500415578314823/39228332976157\ 025884477608982652*c_1001_4^22 + 1585361531740263258845108843329096\ 38/9807083244039256471119402245663*c_1001_4^21 + 828859261909644946636397767531762009/392283329761570258844776089826\ 52*c_1001_4^20 - 51279102699154805992759469542067349/98070832440392\ 56471119402245663*c_1001_4^19 - 40322197709783042732096041078327156\ 45/39228332976157025884477608982652*c_1001_4^18 - 5754834087733408076017679144679414345/19614166488078512942238804491\ 326*c_1001_4^17 - 5156614846214487677745918959008857648/98070832440\ 39256471119402245663*c_1001_4^16 - 26798408815933430886560879462501699137/3922833297615702588447760898\ 2652*c_1001_4^15 - 25044428889990554806540751407554732781/392283329\ 76157025884477608982652*c_1001_4^14 - 15024017821005423788982322452368815833/3922833297615702588447760898\ 2652*c_1001_4^13 - 2331053832591577424290722953369384987/3922833297\ 6157025884477608982652*c_1001_4^12 + 6151913722999490438688020525518901191/39228332976157025884477608982\ 652*c_1001_4^11 + 3550487692037283487616543809466772707/19614166488\ 078512942238804491326*c_1001_4^10 + 812134786577695349505873639498705905/980708324403925647111940224566\ 3*c_1001_4^9 - 264110187761960539268116174951830459/392283329761570\ 25884477608982652*c_1001_4^8 - 122214797313405607243507182988653566\ 9/39228332976157025884477608982652*c_1001_4^7 - 159992884584342385991810331273519820/980708324403925647111940224566\ 3*c_1001_4^6 - 18139267878586907982564570572986905/9807083244039256\ 471119402245663*c_1001_4^5 + 40548898077829881863301726425978657/19\ 614166488078512942238804491326*c_1001_4^4 + 23416427460840450418100169762736443/1961416648807851294223880449132\ 6*c_1001_4^3 + 5010806293099061670337921645224201/39228332976157025\ 884477608982652*c_1001_4^2 - 1785252762002857355837675016084187/392\ 28332976157025884477608982652*c_1001_4 - 1288443841316605671991736946370981/39228332976157025884477608982652\ , c_0110_7 + 59465010607186978977754545824403/980708324403925647111940224\ 5663*c_1001_4^25 + 733142258319180630284889726641004/98070832440392\ 56471119402245663*c_1001_4^24 + 4496423490085909020989097037752396/\ 9807083244039256471119402245663*c_1001_4^23 + 16571278977007789730939139772675876/9807083244039256471119402245663\ *c_1001_4^22 + 38829362191452772355115784859324907/9807083244039256\ 471119402245663*c_1001_4^21 + 50770970828443152400645136278507291/9\ 807083244039256471119402245663*c_1001_4^20 - 13583665434683943945416600791234912/9807083244039256471119402245663\ *c_1001_4^19 - 251474964758010043025254727313817960/980708324403925\ 6471119402245663*c_1001_4^18 - 713275790401024174156337960753177013\ /9807083244039256471119402245663*c_1001_4^17 - 1266479325236129755471682430063470384/98070832440392564711194022456\ 63*c_1001_4^16 - 1611027281286495457410197952933235922/980708324403\ 9256471119402245663*c_1001_4^15 - 143522947532351305633128479866771\ 7637/9807083244039256471119402245663*c_1001_4^14 - 735784707245154633262849715503478067/980708324403925647111940224566\ 3*c_1001_4^13 + 94047520041203573884990199212750105/980708324403925\ 6471119402245663*c_1001_4^12 + 585960961768133366519988502729125065\ /9807083244039256471119402245663*c_1001_4^11 + 547199880075988744412236964412296506/980708324403925647111940224566\ 3*c_1001_4^10 + 201776535586528222456014203726753695/98070832440392\ 56471119402245663*c_1001_4^9 - 72587696889736834860575030904019639/\ 9807083244039256471119402245663*c_1001_4^8 - 123679941192369820204249456786649331/980708324403925647111940224566\ 3*c_1001_4^7 - 53612103609985586364511276774518742/9807083244039256\ 471119402245663*c_1001_4^6 + 1727468495333506485158686990145340/980\ 7083244039256471119402245663*c_1001_4^5 + 11976670756034068691993388027685779/9807083244039256471119402245663\ *c_1001_4^4 + 5105452232101767296343490896293918/980708324403925647\ 1119402245663*c_1001_4^3 + 293461745351918558204753331696746/980708\ 3244039256471119402245663*c_1001_4^2 - 389563067594828576423587318769923/9807083244039256471119402245663*c\ _1001_4 - 148491130893170530023775521269737/98070832440392564711194\ 02245663, c_1001_4^26 + 13*c_1001_4^25 + 84*c_1001_4^24 + 331*c_1001_4^23 + 851*c_1001_4^22 + 1339*c_1001_4^21 + 477*c_1001_4^20 - 4143*c_1001_4^19 - 14655*c_1001_4^18 - 29814*c_1001_4^17 - 43547*c_1001_4^16 - 47240*c_1001_4^15 - 36412*c_1001_4^14 - 16046*c_1001_4^13 + 2790*c_1001_4^12 + 11197*c_1001_4^11 + 8858*c_1001_4^10 + 2691*c_1001_4^9 - 1090*c_1001_4^8 - 1493*c_1001_4^7 - 612*c_1001_4^6 - 26*c_1001_4^5 + 92*c_1001_4^4 + 41*c_1001_4^3 + 4*c_1001_4^2 - 2*c_1001_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.210 Total time: 0.420 seconds, Total memory usage: 32.09MB