Magma V2.19-8 Tue Aug 20 2013 23:51:01 on localhost [Seed = 1713376620] Type ? for help. Type -D to quit. Loading file "L13a5002__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a5002 geometric_solution 10.73891772 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 1 0 -1 0 1 1 0 -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 4 1 -5 -4 0 4 0 5 -5 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.748348735494 0.418305222700 0 5 4 2 0132 0132 1230 3012 0 0 1 0 0 1 0 -1 -1 0 0 1 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 0 5 4 0 0 -4 1 -5 0 4 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.055993368309 1.755316199054 3 0 1 5 0321 0132 1230 2310 0 1 1 0 0 1 -1 0 -1 0 1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 4 0 4 0 -4 0 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.654074053809 0.462999767175 2 6 7 0 0321 0132 0132 0132 0 0 1 1 0 0 0 0 0 0 -1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 4 -4 0 1 0 -1 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.843251805243 0.821870543380 4 4 0 1 1302 2031 0132 3012 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.822345236989 0.535333994503 2 1 7 6 3201 0132 1302 1302 0 1 0 1 0 -1 1 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 5 -5 0 0 0 0 0 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.391832267523 0.592747197989 8 3 5 9 0132 0132 2031 0132 0 0 1 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 -4 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.843251805243 0.821870543380 5 10 9 3 2031 0132 0132 0132 0 0 1 1 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 0 0 0 0 0 1 0 -1 5 0 -1 -4 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.843251805243 0.821870543380 6 11 10 9 0132 0132 2031 3120 1 0 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 -1 1 -1 1 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.748348735494 0.418305222700 8 10 6 7 3120 0213 0132 0132 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.018518750103 0.720979438666 11 7 9 8 0132 0132 0213 1302 0 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 -1 0 1 0 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.748348735494 0.418305222700 10 8 11 11 0132 0132 2031 1302 1 1 1 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 5 -4 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.822345236989 0.535333994503 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_9']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_7' : d['c_0101_8'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0110_5']), 'c_1001_3' : d['c_1001_10'], 'c_1001_2' : negation(d['c_0110_4']), 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : negation(d['c_0101_11']), 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : d['c_0101_8'], '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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_1001_1']), 'c_1100_8' : negation(d['c_0101_8']), 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : negation(d['c_1001_1']), 'c_1100_7' : negation(d['c_1001_1']), 'c_1100_6' : negation(d['c_1001_1']), 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : d['c_0011_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_11'], 'c_1100_10' : d['c_0101_8'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0110_4']), 'c_1010_9' : d['c_0101_8'], 'c_1010_8' : negation(d['c_0011_9']), '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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_9'], 'c_0110_10' : d['c_0101_11'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : d['c_0101_6'], 'c_0110_1' : d['c_0011_0'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0101_8']})} 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_4, c_0011_9, c_0101_11, c_0101_2, c_0101_6, c_0101_8, c_0110_4, c_0110_5, c_1001_1, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 2191430015553073338459045/81168948990259848346688*c_1001_10^21 + 16257029864798906548403525/81168948990259848346688*c_1001_10^20 - 7855293276347195885321589/10146118623782481043336*c_1001_10^19 + 11390788735534839674740289/5073059311891240521668*c_1001_10^18 - 407193014021560839179434771/81168948990259848346688*c_1001_10^17 + 831204220181832627609528969/81168948990259848346688*c_1001_10^16 - 401985787813965584492764475/20292237247564962086672*c_1001_10^15 + 78346163203009277930232661/2536529655945620260834*c_1001_10^14 - 1786643376304990212270930587/40584474495129924173344*c_1001_10^13 + 2105071927330231498762357747/40584474495129924173344*c_1001_10^12 - 1246599844240275825960491911/20292237247564962086672*c_1001_10^11 + 1274914498464292396940428381/20292237247564962086672*c_1001_10^10 - 2507385646238448005930416951/40584474495129924173344*c_1001_10^9 + 2180497104237334730063282151/40584474495129924173344*c_1001_10^8 - 441892852559675907900097827/10146118623782481043336*c_1001_10^7 + 694841121739027517306239089/20292237247564962086672*c_1001_10^6 - 1784199367607708290981764349/81168948990259848346688*c_1001_10^5 + 1099441068712979260573855077/81168948990259848346688*c_1001_10^4 - 62878864033280828912524503/10146118623782481043336*c_1001_10^3 + 19740843261783706856952221/10146118623782481043336*c_1001_10^2 - 66505128800584125731980863/81168948990259848346688*c_1001_10 + 8405256685451513324645073/81168948990259848346688, c_0011_0 - 1, c_0011_10 + 63235341521306359737/1912792855303254622924*c_1001_10^21 - 135865952421317997828/478198213825813655731*c_1001_10^20 + 593074200188605120311/478198213825813655731*c_1001_10^19 - 7461843112270386034691/1912792855303254622924*c_1001_10^18 + 9110221790413769527757/956396427651627311462*c_1001_10^17 - 38546936799960027613227/1912792855303254622924*c_1001_10^16 + 38030025565830359132707/956396427651627311462*c_1001_10^15 - 64591134279533851820573/956396427651627311462*c_1001_10^14 + 48031877656449651432474/478198213825813655731*c_1001_10^13 - 124081740847292789751697/956396427651627311462*c_1001_10^12 + 144470905666770274147635/956396427651627311462*c_1001_10^11 - 78606818768620974640250/478198213825813655731*c_1001_10^10 + 155014382356782508384483/956396427651627311462*c_1001_10^9 - 144438209801537994526415/956396427651627311462*c_1001_10^8 + 118769576392961394367361/956396427651627311462*c_1001_10^7 - 92509107718860759132873/956396427651627311462*c_1001_10^6 + 130338546668943759808351/1912792855303254622924*c_1001_10^5 - 39074470269360579642511/956396427651627311462*c_1001_10^4 + 21041166172143738742577/956396427651627311462*c_1001_10^3 - 10057470624846234320993/1912792855303254622924*c_1001_10^2 + 455345395058637896524/478198213825813655731*c_1001_10 + 1067902784176092571573/1912792855303254622924, c_0011_4 + 1, c_0011_9 + 223623123513393856047/1912792855303254622924*c_1001_10^21 - 838792352774023733201/956396427651627311462*c_1001_10^20 + 6597204623824034556103/1912792855303254622924*c_1001_10^19 - 4872688544689945785991/478198213825813655731*c_1001_10^18 + 22223738145908242654513/956396427651627311462*c_1001_10^17 - 91940604866619938435373/1912792855303254622924*c_1001_10^16 + 44705827920608389933646/478198213825813655731*c_1001_10^15 - 70979793106190586287268/478198213825813655731*c_1001_10^14 + 103355988170251135253376/478198213825813655731*c_1001_10^13 - 249854226570599749059185/956396427651627311462*c_1001_10^12 + 147802120858689924699902/478198213825813655731*c_1001_10^11 - 153215096119500099283853/478198213825813655731*c_1001_10^10 + 300645894940194460672755/956396427651627311462*c_1001_10^9 - 270404530315486446279181/956396427651627311462*c_1001_10^8 + 107323843299365165992191/478198213825813655731*c_1001_10^7 - 86671306420408050064464/478198213825813655731*c_1001_10^6 + 215663096637442747279757/1912792855303254622924*c_1001_10^5 - 35849187463672985354052/478198213825813655731*c_1001_10^4 + 62829291171298165165877/1912792855303254622924*c_1001_10^3 - 4358795599904982226099/478198213825813655731*c_1001_10^2 + 1411059701785986056641/478198213825813655731*c_1001_10 + 782418068301929976487/1912792855303254622924, c_0101_11 - 337642461617451263173/1912792855303254622924*c_1001_10^21 + 2594063055464938156295/1912792855303254622924*c_1001_10^20 - 10256955898934357059223/1912792855303254622924*c_1001_10^19 + 30005379325548088804819/1912792855303254622924*c_1001_10^18 - 67767821607109113570725/1912792855303254622924*c_1001_10^17 + 137856547414916193610409/1912792855303254622924*c_1001_10^16 - 266794135014890609349281/1912792855303254622924*c_1001_10^15 + 421915433316139462747365/1912792855303254622924*c_1001_10^14 - 595319658377226691022897/1912792855303254622924*c_1001_10^13 + 707203035501345809502077/1912792855303254622924*c_1001_10^12 - 818373638676264752953859/1912792855303254622924*c_1001_10^11 + 851386988346673566348261/1912792855303254622924*c_1001_10^10 - 816079543218618387726411/1912792855303254622924*c_1001_10^9 + 715384960855152528130965/1912792855303254622924*c_1001_10^8 - 561613564177623622772837/1912792855303254622924*c_1001_10^7 + 445361868625503586685653/1912792855303254622924*c_1001_10^6 - 69866495714726816316908/478198213825813655731*c_1001_10^5 + 83167091281134979960975/956396427651627311462*c_1001_10^4 - 17274935082482577958839/478198213825813655731*c_1001_10^3 + 10533097642440462566695/956396427651627311462*c_1001_10^2 - 2917226918098078004517/956396427651627311462*c_1001_10 - 86474857179122899789/478198213825813655731, c_0101_2 - 136563424469557992929/956396427651627311462*c_1001_10^21 + 2173948693833952259659/1912792855303254622924*c_1001_10^20 - 8870642356422324586585/1912792855303254622924*c_1001_10^19 + 13269618134296545570223/956396427651627311462*c_1001_10^18 - 30742687453488433199963/956396427651627311462*c_1001_10^17 + 63309653706314056314679/956396427651627311462*c_1001_10^16 - 246789075926951211867127/1912792855303254622924*c_1001_10^15 + 401320549047497788424819/1912792855303254622924*c_1001_10^14 - 576983875905657366872449/1912792855303254622924*c_1001_10^13 + 709215736976982676190895/1912792855303254622924*c_1001_10^12 - 825564738700032351349679/1912792855303254622924*c_1001_10^11 + 883257445063242735007643/1912792855303254622924*c_1001_10^10 - 863007719332684168713711/1912792855303254622924*c_1001_10^9 + 780405627274804314774399/1912792855303254622924*c_1001_10^8 - 633686223302755838065187/1912792855303254622924*c_1001_10^7 + 503466346294872880320047/1912792855303254622924*c_1001_10^6 - 342073993575731727773239/1912792855303254622924*c_1001_10^5 + 51613574575546526264783/478198213825813655731*c_1001_10^4 - 52981770663086502793713/956396427651627311462*c_1001_10^3 + 36163619725652511877089/1912792855303254622924*c_1001_10^2 - 11053741828355549437489/1912792855303254622924*c_1001_10 + 3572552025081245276273/1912792855303254622924, c_0101_6 - c_1001_10, c_0101_8 + 117772885712147436221/956396427651627311462*c_1001_10^21 - 472104540820660412434/478198213825813655731*c_1001_10^20 + 3866166698141287262797/956396427651627311462*c_1001_10^19 - 23179097945272546623127/1912792855303254622924*c_1001_10^18 + 53923755452456955057829/1912792855303254622924*c_1001_10^17 - 111328419482942806071201/1912792855303254622924*c_1001_10^16 + 217771588337632782049389/1912792855303254622924*c_1001_10^15 - 356025501434172550004237/1912792855303254622924*c_1001_10^14 + 513214650087201132362147/1912792855303254622924*c_1001_10^13 - 638688795258034294427223/1912792855303254622924*c_1001_10^12 + 747131758183063787327163/1912792855303254622924*c_1001_10^11 - 808337680125894763740843/1912792855303254622924*c_1001_10^10 + 790396167732475929961421/1912792855303254622924*c_1001_10^9 - 722581315092434200412231/1912792855303254622924*c_1001_10^8 + 593350469265783270877697/1912792855303254622924*c_1001_10^7 - 473861698669370151572737/1912792855303254622924*c_1001_10^6 + 328425101388743055419957/1912792855303254622924*c_1001_10^5 - 198582285720925368191695/1912792855303254622924*c_1001_10^4 + 109564904469928944969625/1912792855303254622924*c_1001_10^3 - 9771222189878984317817/478198213825813655731*c_1001_10^2 + 3314970189978789121082/478198213825813655731*c_1001_10 - 1817893683301275818005/956396427651627311462, c_0110_4 + 257260202562862475605/956396427651627311462*c_1001_10^21 - 4054514281376750006769/1912792855303254622924*c_1001_10^20 + 8271313441837681877041/956396427651627311462*c_1001_10^19 - 49879778046777438811697/1912792855303254622924*c_1001_10^18 + 116651050149363974486743/1912792855303254622924*c_1001_10^17 - 121640285599251561254293/956396427651627311462*c_1001_10^16 + 477182072017064829502833/1912792855303254622924*c_1001_10^15 - 781837363800041259420217/1912792855303254622924*c_1001_10^14 + 1147233792181297939881091/1912792855303254622924*c_1001_10^13 - 1438067775055127903826027/1912792855303254622924*c_1001_10^12 + 1709551500522890151024987/1912792855303254622924*c_1001_10^11 - 1838984846471996281266773/1912792855303254622924*c_1001_10^10 + 1829774414362298267553341/1912792855303254622924*c_1001_10^9 - 1685292944829132808205211/1912792855303254622924*c_1001_10^8 + 1397168744785536881720921/1912792855303254622924*c_1001_10^7 - 1128198117036477976973509/1912792855303254622924*c_1001_10^6 + 774696641958238561236565/1912792855303254622924*c_1001_10^5 - 251229494881683937198353/956396427651627311462*c_1001_10^4 + 263676315968886380109645/1912792855303254622924*c_1001_10^3 - 25673656816364884650637/478198213825813655731*c_1001_10^2 + 17989200794294297331165/956396427651627311462*c_1001_10 - 6347933847612005831585/1912792855303254622924, c_0110_5 - 136563424469557992929/956396427651627311462*c_1001_10^21 + 2173948693833952259659/1912792855303254622924*c_1001_10^20 - 8870642356422324586585/1912792855303254622924*c_1001_10^19 + 13269618134296545570223/956396427651627311462*c_1001_10^18 - 30742687453488433199963/956396427651627311462*c_1001_10^17 + 63309653706314056314679/956396427651627311462*c_1001_10^16 - 246789075926951211867127/1912792855303254622924*c_1001_10^15 + 401320549047497788424819/1912792855303254622924*c_1001_10^14 - 576983875905657366872449/1912792855303254622924*c_1001_10^13 + 709215736976982676190895/1912792855303254622924*c_1001_10^12 - 825564738700032351349679/1912792855303254622924*c_1001_10^11 + 883257445063242735007643/1912792855303254622924*c_1001_10^10 - 863007719332684168713711/1912792855303254622924*c_1001_10^9 + 780405627274804314774399/1912792855303254622924*c_1001_10^8 - 633686223302755838065187/1912792855303254622924*c_1001_10^7 + 503466346294872880320047/1912792855303254622924*c_1001_10^6 - 342073993575731727773239/1912792855303254622924*c_1001_10^5 + 51613574575546526264783/478198213825813655731*c_1001_10^4 - 52981770663086502793713/956396427651627311462*c_1001_10^3 + 36163619725652511877089/1912792855303254622924*c_1001_10^2 - 11053741828355549437489/1912792855303254622924*c_1001_10 + 3572552025081245276273/1912792855303254622924, c_1001_1 + 196911813516210234267/478198213825813655731*c_1001_10^21 - 1557115743802675566607/478198213825813655731*c_1001_10^20 + 25413269240097688340667/1912792855303254622924*c_1001_10^19 - 76419014315370529952143/1912792855303254622924*c_1001_10^18 + 178136425056340840886669/1912792855303254622924*c_1001_10^17 - 92474969652782808784486/478198213825813655731*c_1001_10^16 + 180992786986004010342490/478198213825813655731*c_1001_10^15 - 295789478211884761961259/478198213825813655731*c_1001_10^14 + 431054417021738826688385/478198213825813655731*c_1001_10^13 - 1073641756016055290008461/956396427651627311462*c_1001_10^12 + 1267558119611461251187333/956396427651627311462*c_1001_10^11 - 680560572883809754068604/478198213825813655731*c_1001_10^10 + 673195533423745609066763/478198213825813655731*c_1001_10^9 - 1232849286051968561489805/956396427651627311462*c_1001_10^8 + 507713742022073179946527/478198213825813655731*c_1001_10^7 - 407916115832837714323389/478198213825813655731*c_1001_10^6 + 279192658883492572252451/478198213825813655731*c_1001_10^5 - 354456644032776989727919/956396427651627311462*c_1001_10^4 + 369639857295059385697071/1912792855303254622924*c_1001_10^3 - 138858246991112050479637/1912792855303254622924*c_1001_10^2 + 47032143416944144099819/1912792855303254622924*c_1001_10 - 4960242936346625553929/956396427651627311462, c_1001_10^22 - 8*c_1001_10^21 + 33*c_1001_10^20 - 100*c_1001_10^19 + 235*c_1001_10^18 - 490*c_1001_10^17 + 961*c_1001_10^16 - 1584*c_1001_10^15 + 2322*c_1001_10^14 - 2916*c_1001_10^13 + 3454*c_1001_10^12 - 3732*c_1001_10^11 + 3718*c_1001_10^10 - 3420*c_1001_10^9 + 2842*c_1001_10^8 - 2288*c_1001_10^7 + 1593*c_1001_10^6 - 1020*c_1001_10^5 + 541*c_1001_10^4 - 216*c_1001_10^3 + 75*c_1001_10^2 - 18*c_1001_10 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.260 Total time: 0.480 seconds, Total memory usage: 32.09MB