Magma V2.19-8 Wed Aug 21 2013 00:54:45 on localhost [Seed = 1966305084] Type ? for help. Type -D to quit. Loading file "L12n623__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n623 geometric_solution 11.95880614 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 3 0132 0132 0132 3120 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.266962076388 0.599697458695 0 4 5 5 0132 0132 2103 0132 1 0 1 1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.536714395961 0.579297383995 6 0 8 7 0132 0132 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 1.162327538948 0.842356234542 0 7 5 0 3120 0132 0132 0132 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.817227344906 0.668572724726 9 1 10 6 0132 0132 0132 3012 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.015942216226 1.212664968949 1 7 1 3 2103 2031 0132 0132 1 0 1 1 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 3 0 -2 -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.139395033070 0.928885473816 2 9 4 11 0132 0132 1230 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -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 0 0 0.405751506510 0.770355428458 5 3 2 8 1302 0132 0132 0321 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.786799146988 0.268125416792 10 7 12 2 1302 0321 0132 0132 1 1 1 1 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 1 -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 0 0 0.516300713503 0.684405780809 4 6 12 11 0132 0132 1023 2031 1 1 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 0 0 0 0 -1 0 1 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.676225919784 1.078126927112 12 8 11 4 0132 2031 3201 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.525057747843 0.689936721794 10 9 6 12 2310 1302 0132 0321 1 1 1 1 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 1 -1 -1 0 0 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.202270748772 0.936480624707 10 11 9 8 0132 0321 1023 0132 1 1 1 1 0 0 0 0 0 0 1 -1 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 0 -1 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.486955482716 0.366603677796 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_12'], 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_12' : d['c_0101_9'], 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : d['c_0011_8'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : d['c_0101_12'], 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : d['c_1001_8'], 'c_1010_11' : d['c_1001_8'], 'c_1010_10' : d['c_0011_8'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_10']), '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' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : 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' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1001_8'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : d['c_1001_8'], 'c_1100_6' : d['c_0101_9'], 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_3']), 'c_1100_3' : negation(d['c_0101_3']), 'c_1100_2' : d['c_1001_8'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_9'], 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_12'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_8'], 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : negation(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' : 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_1001_8'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_0'], 'c_0101_7' : negation(d['c_0011_5']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_12'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_1001_8']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : negation(d['c_0011_8']), 'c_0110_6' : d['c_0101_11']})} 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_3, c_0011_5, c_0011_8, c_0101_0, c_0101_11, c_0101_12, c_0101_3, c_0101_9, c_1001_0, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 7734118799163064218380525132976185834685/39614706004577782108542158\ 0927597056*c_1001_8^17 - 33006094792766397373353166058966625245835/\ 396147060045777821085421580927597056*c_1001_8^16 - 999310639269906912595569659513080752613757/792294120091555642170843\ 161855194112*c_1001_8^15 - 1891908151763779253009594104791083005670\ 449/396147060045777821085421580927597056*c_1001_8^14 - 24601827566318808407193371397844630350815381/7922941200915556421708\ 43161855194112*c_1001_8^13 - 17812978894030992870002424751868366723\ 411675/198073530022888910542710790463798528*c_1001_8^12 - 595649911365405863203952920459963242236969793/316917648036622256868\ 3372647420776448*c_1001_8^11 - 688316174578859649720237230312826736\ 140962351/3169176480366222568683372647420776448*c_1001_8^10 - 473857641017934324044778256798694373125842911/316917648036622256868\ 3372647420776448*c_1001_8^9 - 2234040295017275516812075272572379368\ 69156305/3169176480366222568683372647420776448*c_1001_8^8 - 38584809593839731147909526873926441653916847/1584588240183111284341\ 686323710388224*c_1001_8^7 - 76643692559417052290427149369285828770\ 91999/1584588240183111284341686323710388224*c_1001_8^6 - 79956722768748916439134189133969996078637/1218914030910085603339758\ 71054645248*c_1001_8^5 + 2802986231513833318252898540076715878439/1\ 584588240183111284341686323710388224*c_1001_8^4 - 491719717633151642037483933359169902029341/316917648036622256868337\ 2647420776448*c_1001_8^3 + 1543407242635424486587241676511413332554\ 1/3169176480366222568683372647420776448*c_1001_8^2 - 76880603982268192541840863954075720093347/3169176480366222568683372\ 647420776448*c_1001_8 + 14438741716806574772725563589550262999451/3\ 169176480366222568683372647420776448, c_0011_0 - 1, c_0011_10 + 7625324997663761603/21668805268767895808*c_1001_8^17 + 30466793244677827581/21668805268767895808*c_1001_8^16 + 966928500207471202019/43337610537535791616*c_1001_8^15 + 1730231885066256411163/21668805268767895808*c_1001_8^14 + 23203422814653891069683/43337610537535791616*c_1001_8^13 + 15884371486664317230799/10834402634383947904*c_1001_8^12 + 507473492062681704274975/173350442150143166464*c_1001_8^11 + 511261674059451321906841/173350442150143166464*c_1001_8^10 + 269585684602266050839537/173350442150143166464*c_1001_8^9 + 87300349631049160921039/173350442150143166464*c_1001_8^8 + 10252422018389267045097/86675221075071583232*c_1001_8^7 - 816785255749875727359/86675221075071583232*c_1001_8^6 + 117586902212141142735/86675221075071583232*c_1001_8^5 + 248610834420397697599/86675221075071583232*c_1001_8^4 + 328574631038847978131/173350442150143166464*c_1001_8^3 - 528121078216272354307/173350442150143166464*c_1001_8^2 - 53866401305038180227/173350442150143166464*c_1001_8 + 4666848096707618667/173350442150143166464, c_0011_11 + 9181554329305907701/10834402634383947904*c_1001_8^17 + 17054680122584596793/5417201317191973952*c_1001_8^16 + 1141997553351861703377/21668805268767895808*c_1001_8^15 + 3832644185755084256269/21668805268767895808*c_1001_8^14 + 6665055551083740229245/5417201317191973952*c_1001_8^13 + 17059454348531064109919/5417201317191973952*c_1001_8^12 + 514266234170436530499337/86675221075071583232*c_1001_8^11 + 205781846532954307592009/43337610537535791616*c_1001_8^10 + 83586358003412494305973/86675221075071583232*c_1001_8^9 - 16756307486831384252017/21668805268767895808*c_1001_8^8 - 30088501784448282128785/43337610537535791616*c_1001_8^7 - 4408049580632746862333/10834402634383947904*c_1001_8^6 - 6083566832534708646107/43337610537535791616*c_1001_8^5 - 545146825600425279419/10834402634383947904*c_1001_8^4 - 1148891331613257322411/86675221075071583232*c_1001_8^3 - 424295041402888465207/43337610537535791616*c_1001_8^2 + 54415342419641334793/86675221075071583232*c_1001_8 - 17223090985647987861/21668805268767895808, c_0011_3 + 17798766433287252395/10834402634383947904*c_1001_8^17 + 77102188117112701481/10834402634383947904*c_1001_8^16 + 2313212121142375945499/21668805268767895808*c_1001_8^15 + 4436253748958852405649/10834402634383947904*c_1001_8^14 + 57420496136462934693887/21668805268767895808*c_1001_8^13 + 5268369821623294010627/677150164648996744*c_1001_8^12 + 1437562003835206593286423/86675221075071583232*c_1001_8^11 + 1747148472350564443433669/86675221075071583232*c_1001_8^10 + 1354925902703316692637185/86675221075071583232*c_1001_8^9 + 790806160234856524208951/86675221075071583232*c_1001_8^8 + 186392412823992273031445/43337610537535791616*c_1001_8^7 + 65964242946980769451769/43337610537535791616*c_1001_8^6 + 18972457035534636232971/43337610537535791616*c_1001_8^5 + 3806494340757551135443/43337610537535791616*c_1001_8^4 + 2744756350227968005187/86675221075071583232*c_1001_8^3 + 361901482783778279729/86675221075071583232*c_1001_8^2 + 307526944184944799397/86675221075071583232*c_1001_8 + 4615517933759986155/86675221075071583232, c_0011_5 - 2532686022537208949/10834402634383947904*c_1001_8^17 - 14558628023634456229/10834402634383947904*c_1001_8^16 - 354995183121609313341/21668805268767895808*c_1001_8^15 - 427213680454738850033/5417201317191973952*c_1001_8^14 - 9630632288452543200927/21668805268767895808*c_1001_8^13 - 1076233798274280618343/677150164648996744*c_1001_8^12 - 309509756081124688144681/86675221075071583232*c_1001_8^11 - 457345128144333280108801/86675221075071583232*c_1001_8^10 - 387755835532203524059771/86675221075071583232*c_1001_8^9 - 243392510173171546570207/86675221075071583232*c_1001_8^8 - 75485658043156155592227/43337610537535791616*c_1001_8^7 - 37545384427845063443065/43337610537535791616*c_1001_8^6 - 12137877853959958712517/43337610537535791616*c_1001_8^5 - 3713616126504338550139/43337610537535791616*c_1001_8^4 - 1034432591641046873485/86675221075071583232*c_1001_8^3 - 381872670946814713101/86675221075071583232*c_1001_8^2 - 78898732367839084007/86675221075071583232*c_1001_8 - 129315852789154008179/86675221075071583232, c_0011_8 + 16095123933064212647/5417201317191973952*c_1001_8^17 + 69362294481934626821/5417201317191973952*c_1001_8^16 + 2089031111216219669921/10834402634383947904*c_1001_8^15 + 1994366287351746446847/2708600658595986976*c_1001_8^14 + 25882588385579309043729/5417201317191973952*c_1001_8^13 + 75670821195496000571159/5417201317191973952*c_1001_8^12 + 1287991346124462920537643/43337610537535791616*c_1001_8^11 + 1553826536072447575558937/43337610537535791616*c_1001_8^10 + 596232621378539632071811/21668805268767895808*c_1001_8^9 + 169942560225081656761169/10834402634383947904*c_1001_8^8 + 150995524981099553785289/21668805268767895808*c_1001_8^7 + 47811528629013291011513/21668805268767895808*c_1001_8^6 + 6255272544259407713807/10834402634383947904*c_1001_8^5 + 280489932255995337199/2708600658595986976*c_1001_8^4 + 2021805242561462254999/43337610537535791616*c_1001_8^3 + 250153128642077090397/43337610537535791616*c_1001_8^2 + 136406779143463924115/21668805268767895808*c_1001_8 - 3763426994363206011/10834402634383947904, c_0101_0 - 1, c_0101_11 - 20092256086426526981/21668805268767895808*c_1001_8^17 - 84060056357926701931/21668805268767895808*c_1001_8^16 - 2586467594498976545981/43337610537535791616*c_1001_8^15 - 4816897812782917589113/21668805268767895808*c_1001_8^14 - 63402532348761857117001/43337610537535791616*c_1001_8^13 - 45249728138843710715849/10834402634383947904*c_1001_8^12 - 1517164308481029511097545/173350442150143166464*c_1001_8^11 - 1755487965679778892892527/173350442150143166464*c_1001_8^10 - 1293860890333268570827011/173350442150143166464*c_1001_8^9 - 753260112328168790250957/173350442150143166464*c_1001_8^8 - 190723447500259849714519/86675221075071583232*c_1001_8^7 - 78311925463981679520959/86675221075071583232*c_1001_8^6 - 27700640772758809779173/86675221075071583232*c_1001_8^5 - 6084051531881424385685/86675221075071583232*c_1001_8^4 - 3527169016782530159525/173350442150143166464*c_1001_8^3 - 570263250669836910139/173350442150143166464*c_1001_8^2 - 491493314019987661783/173350442150143166464*c_1001_8 - 64920824820521004081/173350442150143166464, c_0101_12 + 1063191857193191501/10834402634383947904*c_1001_8^17 + 6470983620046669341/10834402634383947904*c_1001_8^16 + 152917528444295294725/21668805268767895808*c_1001_8^15 + 191520817395461012601/5417201317191973952*c_1001_8^14 + 4266835385589775002911/21668805268767895808*c_1001_8^13 + 1965353118235959631517/2708600658595986976*c_1001_8^12 + 147232537024165880112865/86675221075071583232*c_1001_8^11 + 227070222710086722957945/86675221075071583232*c_1001_8^10 + 204144429597943487101915/86675221075071583232*c_1001_8^9 + 114884324506653271959927/86675221075071583232*c_1001_8^8 + 24165526099623291459247/43337610537535791616*c_1001_8^7 + 8353389438896847671189/43337610537535791616*c_1001_8^6 + 2636160417709976958953/43337610537535791616*c_1001_8^5 + 1568792512730159020999/43337610537535791616*c_1001_8^4 + 1478446722107986135485/86675221075071583232*c_1001_8^3 + 505507795208322075453/86675221075071583232*c_1001_8^2 + 28612221355777937759/86675221075071583232*c_1001_8 + 21683370094316681219/86675221075071583232, c_0101_3 + 34722933888665634243/10834402634383947904*c_1001_8^17 + 153283216987503709871/10834402634383947904*c_1001_8^16 + 4533057405554048653183/21668805268767895808*c_1001_8^15 + 4415946255158231743727/5417201317191973952*c_1001_8^14 + 113160985830769779375843/21668805268767895808*c_1001_8^13 + 84280691581690245517903/5417201317191973952*c_1001_8^12 + 2885492448330050529219967/86675221075071583232*c_1001_8^11 + 3564998200289228431226675/86675221075071583232*c_1001_8^10 + 2772686321046362052347015/86675221075071583232*c_1001_8^9 + 1602932991973824800659559/86675221075071583232*c_1001_8^8 + 377476708005355263162805/43337610537535791616*c_1001_8^7 + 133168441685871645466091/43337610537535791616*c_1001_8^6 + 37158968030997589567745/43337610537535791616*c_1001_8^5 + 8201455042600263945323/43337610537535791616*c_1001_8^4 + 5078043076763971383483/86675221075071583232*c_1001_8^3 + 882178928230968893895/86675221075071583232*c_1001_8^2 + 624525848941694780467/86675221075071583232*c_1001_8 + 99208436834248360091/86675221075071583232, c_0101_9 + 6187504051204361495/21668805268767895808*c_1001_8^17 + 20872560821774508157/21668805268767895808*c_1001_8^16 + 753968283540738164383/43337610537535791616*c_1001_8^15 + 1160086475993269780645/21668805268767895808*c_1001_8^14 + 17088053909008246639839/43337610537535791616*c_1001_8^13 + 9965043688614758802111/10834402634383947904*c_1001_8^12 + 283988749610140901961795/173350442150143166464*c_1001_8^11 + 159493955379888392733177/173350442150143166464*c_1001_8^10 - 40179777505787679134927/173350442150143166464*c_1001_8^9 - 71331947119296106014549/173350442150143166464*c_1001_8^8 - 19997404564581226705179/86675221075071583232*c_1001_8^7 - 9571941866441763753479/86675221075071583232*c_1001_8^6 - 985314183179294316505/86675221075071583232*c_1001_8^5 - 897632165897626892837/86675221075071583232*c_1001_8^4 - 1088472398869886328601/173350442150143166464*c_1001_8^3 - 906138898971257533379/173350442150143166464*c_1001_8^2 + 9203435981620956893/173350442150143166464*c_1001_8 - 39305619851815383945/173350442150143166464, c_1001_0 + 2115520931922297731/1354300329297993488*c_1001_8^17 + 38090514435195504195/5417201317191973952*c_1001_8^16 + 554961321102918176921/5417201317191973952*c_1001_8^15 + 4395638761357611081805/10834402634383947904*c_1001_8^14 + 13935122423576711170489/5417201317191973952*c_1001_8^13 + 42133733008703893432887/5417201317191973952*c_1001_8^12 + 180991305561855491991693/10834402634383947904*c_1001_8^11 + 908924863969331993896503/43337610537535791616*c_1001_8^10 + 708880209171522679854915/43337610537535791616*c_1001_8^9 + 50757926983685517278163/5417201317191973952*c_1001_8^8 + 5971384224417593441605/1354300329297993488*c_1001_8^7 + 33602099369445438007161/21668805268767895808*c_1001_8^6 + 9093255497731476667387/21668805268767895808*c_1001_8^5 + 549370087730339101235/5417201317191973952*c_1001_8^4 + 291660840817000422287/10834402634383947904*c_1001_8^3 + 260138722723595307083/43337610537535791616*c_1001_8^2 + 158499452378374990535/43337610537535791616*c_1001_8 + 5912057431280523371/5417201317191973952, c_1001_8^18 + 4*c_1001_8^17 + 127/2*c_1001_8^16 + 455/2*c_1001_8^15 + 3055/2*c_1001_8^14 + 8381/2*c_1001_8^13 + 67653/8*c_1001_8^12 + 17471/2*c_1001_8^11 + 20335/4*c_1001_8^10 + 4125/2*c_1001_8^9 + 5363/8*c_1001_8^8 + 253/2*c_1001_8^7 + 54*c_1001_8^6 + 31/2*c_1001_8^5 + 107/8*c_1001_8^4 - 3/2*c_1001_8^3 + 7/4*c_1001_8^2 - 1/2*c_1001_8 + 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.230 Total time: 1.439 seconds, Total memory usage: 32.09MB