Magma V2.19-8 Wed Aug 21 2013 01:04:11 on localhost [Seed = 3734554240] Type ? for help. Type -D to quit. Loading file "L14n24000__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n24000 geometric_solution 12.41765265 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 0321 0132 0132 0 1 1 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 0 0 0 0 0 0 0 0 2 0 -2 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.707884057854 0.946278870759 0 4 5 0 0132 0132 0132 0321 0 1 1 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 0 0 0 0 0 0 0 0 2 0 -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 0 0 0 0.202723907212 0.682011946646 4 6 6 0 0321 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -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.897355960972 1.006257476078 7 8 0 9 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 -3 2 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.290067454563 0.916523894110 2 1 10 10 0321 0132 0132 3120 0 1 1 1 0 1 0 -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 -2 0 2 1 0 1 -2 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.726807585312 0.778015594424 9 8 6 1 3120 1023 0321 0132 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 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.745485243543 1.545442088005 2 2 5 7 2031 0132 0321 3012 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 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.506351051733 0.553557302070 3 11 6 9 0132 0132 1230 3120 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 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.368277077522 0.383434407528 5 3 12 10 1023 0132 0132 0321 0 0 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 0 3 -3 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722280466211 0.638388308420 7 11 3 5 3120 2031 0132 3120 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 -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.411244151205 0.637259463560 4 8 11 4 3120 0321 0321 0132 0 1 1 0 0 0 0 0 -1 0 0 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 2 0 -1 -1 0 1 0 -1 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401787608060 1.144237569970 9 7 10 12 1302 0132 0321 2310 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 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.028282862316 1.025930931194 11 12 12 8 3201 1230 3012 0132 0 0 0 0 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 -3 3 0 0 0 0 0 1 0 -1 -2 3 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468717556245 0.836004169798 ==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_0011_12'], 'c_1001_12' : negation(d['c_0011_12']), 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : d['c_1001_3'], 'c_1001_7' : negation(d['c_0101_8']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_7']), 'c_1001_9' : d['c_0101_12'], 'c_1001_8' : d['c_0101_12'], 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : negation(d['c_0101_8']), 'c_1010_10' : d['c_1001_3'], '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' : negation(d['c_0011_9']), '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_12' : negation(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_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_0'], 'c_1100_4' : negation(d['c_0011_9']), 'c_1100_7' : negation(d['c_0101_7']), 'c_1100_6' : d['c_0101_8'], 'c_1100_1' : d['c_1001_0'], 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : negation(d['c_0101_5']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : negation(d['c_0011_9']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_9']), 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : d['c_0101_12'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : d['c_1001_3'], 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : d['c_1001_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_0011_12'], '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' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : negation(d['c_0101_12']), 'c_0110_10' : negation(d['c_0011_2']), 'c_0110_12' : d['c_0101_8'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_2']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : negation(d['1']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : negation(d['c_0011_0']), 'c_1100_9' : negation(d['c_0101_5']), 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_2']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_7'])})} 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_2, c_0011_9, c_0101_1, c_0101_12, c_0101_5, c_0101_7, c_0101_8, c_1001_0, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 7980993774313162695114166821488365396722106566371465437280572377218\ 0307871/13109987512330434548320747348524366904788480799228334264340\ 6205533696*c_1001_3^24 - 156511238280687964407949708749008403859212\ 4462795586737295312958169835167/43699958374434781827735824495081223\ 015961602664094447547802068511232*c_1001_3^23 - 1171246305064644022300440011121936619970362696891589892569660527640\ 50401475/2184997918721739091386791224754061150798080133204722377390\ 1034255616*c_1001_3^22 - 213566537272741419090974678592358556558394\ 24299233850909514261570969604957/1310998751233043454832074734852436\ 69047884807992283342643406205533696*c_1001_3^21 + 1722363201047181537663965928708703745404930630278829474683624673163\ 159082617/131099875123304345483207473485243669047884807992283342643\ 406205533696*c_1001_3^20 + 1501063664359602326600128009380836809307\ 864320487150986384268648785770735095/436999583744347818277358244950\ 81223015961602664094447547802068511232*c_1001_3^19 - 6963006019020368770417983064569412538304087135265366920061226314395\ 94029085/1638748439041304318540093418565545863098560099903541783042\ 5775691712*c_1001_3^18 - 754490748098562516237195302499195246648269\ 9762223255357624889297031191849781/43699958374434781827735824495081\ 223015961602664094447547802068511232*c_1001_3^17 + 7050223779859678138114914594126509117884171617162705661852403379969\ 0824291/43267285519242358245282994549585369322734260063459849057229\ 7708032*c_1001_3^16 + 175641874702087264188510929284725760881818616\ 32986851205328765136282161674677/4369995837443478182773582449508122\ 3015961602664094447547802068511232*c_1001_3^15 - 5062152076154510816077390108743736508948495878835923779127365974050\ 0478746343/13109987512330434548320747348524366904788480799228334264\ 3406205533696*c_1001_3^14 - 191386086491888085721580931319610982913\ 14561556314110843900955636173109614785/3277496878082608637080186837\ 1310917261971201998070835660851551383424*c_1001_3^13 + 1255144457687921903240528728798758042915261333232051128779530247817\ 5878239669/21849979187217390913867912247540611507980801332047223773\ 901034255616*c_1001_3^12 + 7783391219879652670986211451584287966925\ 6192553945063445774645839648694064915/13109987512330434548320747348\ 5243669047884807992283342643406205533696*c_1001_3^11 - 6304314142518918676770975331321099374202441704892035867178485001727\ 848146589/109249895936086954569339561237703057539904006660236118869\ 50517127808*c_1001_3^10 - 20247952368076865862544546907129548775383\ 96292123096799685288310527670525585/4682138397260869481543124053044\ 416751710171714010119380121650197632*c_1001_3^9 + 1298695205101876044649937364704974980432791615512879559403580728258\ 8571680329/32774968780826086370801868371310917261971201998070835660\ 851551383424*c_1001_3^8 + 35855083693024469827146908160414271563667\ 84663609150550812359233306769041711/1638748439041304318540093418565\ 5458630985600999035417830425775691712*c_1001_3^7 - 2324551236245990208202440666360840546764383101207092260372330435036\ 9412869189/13109987512330434548320747348524366904788480799228334264\ 3406205533696*c_1001_3^6 - 1348248370735531289588900041785167194299\ 049350476430629973734093361850109615/187285535890434779261724962121\ 77667006840686856040477520486600790528*c_1001_3^5 + 1532472035134013694500845435715627386076603937397037902007551913796\ 288910951/327749687808260863708018683713109172619712019980708356608\ 51551383424*c_1001_3^4 + 175845773787954527410038899882844601569145\ 0399172974067334433248890309376089/13109987512330434548320747348524\ 3669047884807992283342643406205533696*c_1001_3^3 - 4070881591001487611460380286028455086951498895393837591973978254356\ 74415591/6554993756165217274160373674262183452394240399614167132170\ 3102766848*c_1001_3^2 - 5861197826748401512679151281012777098772936\ 1303358991669426980033127899505/65549937561652172741603736742621834\ 523942403996141671321703102766848*c_1001_3 + 8144877438472888941427524400018000646809576868457677857384976479776\ 438661/218499791872173909138679122475406115079808013320472237739010\ 34255616, c_0011_0 - 1, c_0011_10 + 4737889280361233709313359507446259064791694485590323443872/\ 310233806858951368019189527924828987728762994180327301879*c_1001_3^\ 24 + 1663304070673956311170263625026343891260954690960537761866/310\ 233806858951368019189527924828987728762994180327301879*c_1001_3^23 - 85378645477840073865992909337428529530899976090369178734263/6204676\ 13717902736038379055849657975457525988360654603758*c_1001_3^22 - 36454438250857578289285211421727194997654047011468733715891/6204676\ 13717902736038379055849657975457525988360654603758*c_1001_3^21 + 108245024811616444082578883246659187320779248656834553759646/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^20 + 307722722873791353579710690078212818897194146631757433118969/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^19 - 464784386555581109006741351365624422147987299746163517622625/620467\ 613717902736038379055849657975457525988360654603758*c_1001_3^18 - 3036955491870689425031204328345891074787897523642850584865567/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^17 + 773726911120642191521778934954907192439925884081600597428437/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^16 + 3821070620329992348714695091331521185804170133110879247952523/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^15 - 3961340498464446140427610300923844322589958266051532424521849/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^14 - 12159936693898797674261476442648341750136848459852166691085435/6204\ 67613717902736038379055849657975457525988360654603758*c_1001_3^13 + 6402891583229636051645301832639567701760739188438447217430979/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^12 + 13472268943567055393749289126356436186130724129480974519763301/6204\ 67613717902736038379055849657975457525988360654603758*c_1001_3^11 - 3432244155206381939921137193166384950665354168632768674083831/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^10 - 5332541659691949201954573795666310670074591759130819557708791/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^9 + 2503273932549410826276363300862439307556262735218535259746501/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^8 + 2935653935592808004614589421479076672701798321403205449479897/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^7 - 1205351211204908050229323012552560312531379576565272930646926/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^6 - 1045168980927625640893217762477327187283843337590263009970510/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^5 + 708733766225034333861123932803836871821774630218352648874155/620467\ 613717902736038379055849657975457525988360654603758*c_1001_3^4 + 416418676932408291690995702448217789734513294551389244952937/620467\ 613717902736038379055849657975457525988360654603758*c_1001_3^3 - 56743148909578063061717901426757367510254624746255618491261/3102338\ 06858951368019189527924828987728762994180327301879*c_1001_3^2 - 15889187153850069795130568933140035424718728596312148385683/3102338\ 06858951368019189527924828987728762994180327301879*c_1001_3 + 4232042587531898891572361266693769517102248346647108981602/31023380\ 6858951368019189527924828987728762994180327301879, c_0011_11 + 15273713686888827204712256127063857206771398678921180161285\ /620467613717902736038379055849657975457525988360654603758*c_1001_3\ ^24 - 3876382111807611954919490032960415297527354007599668136189/62\ 0467613717902736038379055849657975457525988360654603758*c_1001_3^23 - 67495711616408021031225826350755305738648837330008217548878/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^22 + 10201679212778396233439459204588844621950382768794935493467/3102338\ 06858951368019189527924828987728762994180327301879*c_1001_3^21 + 335268857805934453755265438729831882357601414230812306765969/620467\ 613717902736038379055849657975457525988360654603758*c_1001_3^20 + 811504825821001789925730977122015934499396239227704527833847/620467\ 613717902736038379055849657975457525988360654603758*c_1001_3^19 - 619442040473614060347919861234965167282426484408145334574252/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^18 - 2092760582518880799792599888873653423842455237092256844799424/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^17 + 4866096059946727896102984602678023411505500096698913545208955/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^16 + 9510513784310269810774125833345259361807796452351250938487853/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^15 - 11372397398842917209288901016915493611753344024719115694587553/6204\ 67613717902736038379055849657975457525988360654603758*c_1001_3^14 - 13319834370635195451665718076482040842259363840053440289144157/6204\ 67613717902736038379055849657975457525988360654603758*c_1001_3^13 + 8349371221968960045504902547036098478990451593607160909114184/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^12 + 6500291041156347510006817544719193287484826314037184341793023/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^11 - 8310815080788752666348748628344514860003407051468984108903495/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^10 - 4525092152452565761743551709513464231323502581484099825515630/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^9 + 5665734356529890638132396932155277064369476050983735643897225/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^8 + 2170824667526488692293868818094718474831629130082376228035496/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^7 - 5029940064842262361406868289677755271312931496123565039744225/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^6 - 1344163796236441338156956790065403905780257769552103070629359/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^5 + 652774842846581694651510162811527559650433735740225668653809/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^4 + 117082663486821382287504435887052950097607801338656192993509/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^3 - 82041036692894063781843627127999113979056020959687189759758/3102338\ 06858951368019189527924828987728762994180327301879*c_1001_3^2 - 6629430621305432366104728675184989037733648589766395025808/31023380\ 6858951368019189527924828987728762994180327301879*c_1001_3 + 3898174124859045726854166612446346484403635606616899752307/31023380\ 6858951368019189527924828987728762994180327301879, c_0011_12 + 4819884577189735914032751799368851977696493128617176184577/\ 310233806858951368019189527924828987728762994180327301879*c_1001_3^\ 24 + 3338050869825294340272020788324359363750613868620344118795/620\ 467613717902736038379055849657975457525988360654603758*c_1001_3^23 - 83975362141686506421966574086508844660133354300992765192911/6204676\ 13717902736038379055849657975457525988360654603758*c_1001_3^22 - 17574075850571056686180025826966570718947657807875870196160/3102338\ 06858951368019189527924828987728762994180327301879*c_1001_3^21 + 99096205517015962083846101737573925758563339379700739460404/3102338\ 06858951368019189527924828987728762994180327301879*c_1001_3^20 + 612265123357189403660178988913607857932802293725218772277705/620467\ 613717902736038379055849657975457525988360654603758*c_1001_3^19 - 439292710497682102988923067299305845547796600310148824428639/620467\ 613717902736038379055849657975457525988360654603758*c_1001_3^18 - 1455499423032706338061623582936473909811359557680844016769707/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^17 + 760506965140295324592948217814721266097853777732939435368799/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^16 + 7048963956748228019241936809529431897578675109175276630389637/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^15 - 3783724065080500414721633543913018162651269271187047129307415/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^14 - 10861085617966720570355113656737247112432640303976432945420263/6204\ 67613717902736038379055849657975457525988360654603758*c_1001_3^13 + 5900866207592049144261913292359726783167939249307811186024579/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^12 + 5853869064703898215724478274568038336235722545434659156672961/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^11 - 3063706989947926939261879578787044634616133236039607301794780/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^10 - 4511249220213592659644055011713004427023736402701775013381563/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^9 + 2162797999959200011409587401350283582770295279122011141535497/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^8 + 2416242189792741332646588945969530012311430895223989230036028/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^7 - 1003616847885873886319990571614610103271910806170897482830512/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^6 - 1676738531137044815016666659297985829394819173365134097797251/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^5 + 566012685916842870904325836007720068784971598053393233473763/620467\ 613717902736038379055849657975457525988360654603758*c_1001_3^4 + 163973248608860759483848832626253520907134541207441953106793/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^3 - 43097275145776737037754640383224310275922708442122344283566/3102338\ 06858951368019189527924828987728762994180327301879*c_1001_3^2 - 12855175877800264200629173602014999589956326931041466598107/3102338\ 06858951368019189527924828987728762994180327301879*c_1001_3 + 2999646893204981812592649434807454998796876124535492952549/31023380\ 6858951368019189527924828987728762994180327301879, c_0011_2 + 18780109102018063788079610985422291347894985735880928811015/\ 310233806858951368019189527924828987728762994180327301879*c_1001_3^\ 24 + 1582123089356960356342480912847403298740941134828440566874/310\ 233806858951368019189527924828987728762994180327301879*c_1001_3^23 - 331369354636080156719803668675524332128005486565372047055377/620467\ 613717902736038379055849657975457525988360654603758*c_1001_3^22 - 28187679434784541426470076617305218360038744612914162820067/3102338\ 06858951368019189527924828987728762994180327301879*c_1001_3^21 + 405283112182414980072201020223446118708831297428215894061195/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^20 + 1112442685600099429350376516348655341989230005151195992777205/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^19 - 2317052992135019008998921223846417766694854656532758959900235/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^18 - 5505697776110828421080083099014543898703699496980351771928605/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^17 + 4302559034391971232709804064312076479567459190450200074314129/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^16 + 13087529517525693709619135727366790144404790238374550350157139/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^15 - 20687697885222510277024690055017319646627793262029521044278111/6204\ 67613717902736038379055849657975457525988360654603758*c_1001_3^14 - 19559132299040965777763213904098922088071605957102771037175302/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^13 + 31261105180358687663751418466089953945115118175097376468134909/6204\ 67613717902736038379055849657975457525988360654603758*c_1001_3^12 + 20459091165898756427297887517744524258444552935036648442785964/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^11 - 15894867862937892088073114508915478821262259078144581425265566/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^10 - 15328545197833534698297829664229265356874674656263567346195490/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^9 + 11043969920628762258042693404795419428673609705445879706867552/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^8 + 7983143674648891630818589589694071515179142424606539234987304/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^7 - 5026366912878846908762953413965779899850265647286650116153095/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^6 - 2699328724128292440032434694956683758077142503633386069166163/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^5 + 2741400871062653302828322103071649014820152220128986337887825/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^4 + 515682745648057265382136608721705775936808549772638099950249/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^3 - 197255417156357021781178907731485119630686595920330295052708/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^2 - 37241213687811930138540256539052268306549590284092654723032/3102338\ 06858951368019189527924828987728762994180327301879*c_1001_3 + 13439547125957370635296845828499366428627375744760644216795/3102338\ 06858951368019189527924828987728762994180327301879, c_0011_9 - 47679706192525996488856292760375037713283875899001124480/310\ 233806858951368019189527924828987728762994180327301879*c_1001_3^24 - 5998658329833285598100851062870597507420943644229214891909/62046761\ 3717902736038379055849657975457525988360654603758*c_1001_3^23 - 3385711001323862891403103181310908830824157199559635748333/31023380\ 6858951368019189527924828987728762994180327301879*c_1001_3^22 + 45747971536039209855155568410280700373959627020324328077771/6204676\ 13717902736038379055849657975457525988360654603758*c_1001_3^21 + 30755360991422625451988877658948233989819798149099552205623/3102338\ 06858951368019189527924828987728762994180327301879*c_1001_3^20 - 73702320256850448453750970317726973076989373081233258343027/6204676\ 13717902736038379055849657975457525988360654603758*c_1001_3^19 - 217237186008732286018243712132968018129132961905260221509497/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^18 - 99322449299936640650732673953111410177976654367742354898993/6204676\ 13717902736038379055849657975457525988360654603758*c_1001_3^17 + 844729256497586331682056133702429779447401470548867061953558/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^16 + 523776909203075550509463815373146142481515414794025303268161/620467\ 613717902736038379055849657975457525988360654603758*c_1001_3^15 - 1934614787220833055474320138368416199930710395028129522857330/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^14 - 491073859972268412675835117044410132296920373214046571708291/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^13 + 2889863563533699984966531561521440450806169002155860650379159/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^12 + 1270651714985830551771049648102694117905846072741381076565425/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^11 - 2975263625003004585404217939032649864801839902613643987724099/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^10 - 630355685395930349604281557231376124801979772470282734292713/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^9 + 2112832470057325701225136177820234840854321917383911815022817/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^8 + 456296735486034329048864214007135963362095114416879799499780/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^7 - 976550263795714420134932173225910338301751240086297420691463/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^6 - 432267783879728316187401094342372090518289459051813832827417/620467\ 613717902736038379055849657975457525988360654603758*c_1001_3^5 + 256717701138365907961026849749264825155004246824636370135800/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^4 + 108267873163135595939812977657583292309503878938811649745925/620467\ 613717902736038379055849657975457525988360654603758*c_1001_3^3 - 29249381273503769193957279856195266167383440398480474009714/3102338\ 06858951368019189527924828987728762994180327301879*c_1001_3^2 - 3319704047249243744031731435301394191854636664512193999710/31023380\ 6858951368019189527924828987728762994180327301879*c_1001_3 + 1436593906107762681752047372322090059098196682233357480874/31023380\ 6858951368019189527924828987728762994180327301879, c_0101_1 - 22340583898942753317582933500062902850291300676314533557529/\ 620467613717902736038379055849657975457525988360654603758*c_1001_3^\ 24 - 1843776515592855442339703888837832646289975008261676068927/310\ 233806858951368019189527924828987728762994180327301879*c_1001_3^23 + 200683882501717712676838724020317916696506055190525398942733/620467\ 613717902736038379055849657975457525988360654603758*c_1001_3^22 + 24100680162276036782018083035830637739259066466369856393033/3102338\ 06858951368019189527924828987728762994180327301879*c_1001_3^21 - 512929962070632483070929519265392425912580542763571233656551/620467\ 613717902736038379055849657975457525988360654603758*c_1001_3^20 - 678681185637035144767883865641448623036576981389779866862195/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^19 + 1353797108631728060580782647077591700875592483665362417216023/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^18 + 3435959492784085402592275116562993693669377702879851349924440/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^17 - 4891131255964685075895494103732854488943609540770001208175505/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^16 - 8514208620707864969896911683739294003336366978833994320675549/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^15 + 6086276048357233510824473361072339003437855707079435023935007/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^14 + 13277902203986551008447791577521911724244746259393582376548898/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^13 - 19173026047801764726080643459302942796758998092075816988850161/6204\ 67613717902736038379055849657975457525988360654603758*c_1001_3^12 - 14470744018354049281593745975735161244257009722304695561992186/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^11 + 10141126826488987213409074114454402806947000698732384726140474/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^10 + 11328856333308341160820091017688454876176909542959019979719853/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^9 - 7346345994217394733370223784692727688828650746235620084695347/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^8 - 6210666182257297461522105225581183073078935796627600771269437/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^7 + 7031442342120340315326898397951046412504823314856520390546829/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^6 + 2225365259815724138693609709040086872474557131856820730890795/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^5 - 2038148133078882941048679543375669252971363014264488333663473/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^4 - 450774782672824260205813838223792529675025929804225672301172/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^3 + 156807455594985238316038363150312713827893467918780062901158/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^2 + 34473177051250440110487934938644692260229358098115755038235/3102338\ 06858951368019189527924828987728762994180327301879*c_1001_3 - 11625009314217843020820133493294004175285534276351697997109/3102338\ 06858951368019189527924828987728762994180327301879, c_0101_12 + 19877650415657818930844888560219699449175266664677332116751\ /620467613717902736038379055849657975457525988360654603758*c_1001_3\ ^24 + 1264617677740688234680933873995150217491585847121848146919/31\ 0233806858951368019189527924828987728762994180327301879*c_1001_3^23 - 89715418043056003152023830225353269536934241394799663708212/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^22 - 38507689732791141549315356980758086287158687394127382881419/6204676\ 13717902736038379055849657975457525988360654603758*c_1001_3^21 + 462247254122732491980680675599690345394371928353033059642977/620467\ 613717902736038379055849657975457525988360654603758*c_1001_3^20 + 604170678842573893069423149823445095834673878103087962124079/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^19 - 623861444316971716247599101273491922478959955411373694132483/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^18 - 6134646123651950362520149724690338350479841488231196060719215/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^17 + 4476469369639575063437726839725089321667442076523530242522623/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^16 + 7594140965690236133335626418423379352729324820017214142454215/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^15 - 10997779307316098911174649107465757467745718249234061568900811/6204\ 67613717902736038379055849657975457525988360654603758*c_1001_3^14 - 23682268263561976888527608540985563034225531847735180967972919/6204\ 67613717902736038379055849657975457525988360654603758*c_1001_3^13 + 8571220690858301618623295726403408297645674253919871543906281/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^12 + 25824266226038362243645457579150652100538434028403198878048995/6204\ 67613717902736038379055849657975457525988360654603758*c_1001_3^11 - 8976234355336446964888863811820890081395655500741848941518091/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^10 - 10115188930505516541897375625779874789734667645499620023066310/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^9 + 6423630552846039890142272831120257957405442763170186093040730/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^8 + 5544910798304721977138436521577504522987933135594702109602308/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^7 - 6044302124247113223659759670867771052952206541615174088259853/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^6 - 1980954076150779602833092847742016181170378937255566003014921/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^5 + 852908263671691076905501733807397980503491144058155558749973/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^4 + 793274822182547223750337159384095035060541448424266059284617/620467\ 613717902736038379055849657975457525988360654603758*c_1001_3^3 - 126040507219479002256143761877117742390908078749530347828750/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^2 - 28798397838178161158440645396734510254072008366572230352116/3102338\ 06858951368019189527924828987728762994180327301879*c_1001_3 + 9412951873065182036367723813991470526975150562070274720816/31023380\ 6858951368019189527924828987728762994180327301879, c_0101_5 - 22340583898942753317582933500062902850291300676314533557529/\ 620467613717902736038379055849657975457525988360654603758*c_1001_3^\ 24 - 1843776515592855442339703888837832646289975008261676068927/310\ 233806858951368019189527924828987728762994180327301879*c_1001_3^23 + 200683882501717712676838724020317916696506055190525398942733/620467\ 613717902736038379055849657975457525988360654603758*c_1001_3^22 + 24100680162276036782018083035830637739259066466369856393033/3102338\ 06858951368019189527924828987728762994180327301879*c_1001_3^21 - 512929962070632483070929519265392425912580542763571233656551/620467\ 613717902736038379055849657975457525988360654603758*c_1001_3^20 - 678681185637035144767883865641448623036576981389779866862195/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^19 + 1353797108631728060580782647077591700875592483665362417216023/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^18 + 3435959492784085402592275116562993693669377702879851349924440/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^17 - 4891131255964685075895494103732854488943609540770001208175505/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^16 - 8514208620707864969896911683739294003336366978833994320675549/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^15 + 6086276048357233510824473361072339003437855707079435023935007/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^14 + 13277902203986551008447791577521911724244746259393582376548898/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^13 - 19173026047801764726080643459302942796758998092075816988850161/6204\ 67613717902736038379055849657975457525988360654603758*c_1001_3^12 - 14470744018354049281593745975735161244257009722304695561992186/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^11 + 10141126826488987213409074114454402806947000698732384726140474/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^10 + 11328856333308341160820091017688454876176909542959019979719853/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^9 - 7346345994217394733370223784692727688828650746235620084695347/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^8 - 6210666182257297461522105225581183073078935796627600771269437/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^7 + 7031442342120340315326898397951046412504823314856520390546829/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^6 + 2225365259815724138693609709040086872474557131856820730890795/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^5 - 2038148133078882941048679543375669252971363014264488333663473/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^4 - 450774782672824260205813838223792529675025929804225672301172/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^3 + 156807455594985238316038363150312713827893467918780062901158/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^2 + 34162943244391488742468745410719863272500595103935427736356/3102338\ 06858951368019189527924828987728762994180327301879*c_1001_3 - 11625009314217843020820133493294004175285534276351697997109/3102338\ 06858951368019189527924828987728762994180327301879, c_0101_7 + 54199655529183192667346736702803317721733076327724423454709/\ 620467613717902736038379055849657975457525988360654603758*c_1001_3^\ 24 + 6084138817385700311847019274996495708100764512043848192725/620\ 467613717902736038379055849657975457525988360654603758*c_1001_3^23 - 237656021620401938181250194467042970642540301034794408517046/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^22 - 44924918103740202006560869476186574381585545543550021065894/3102338\ 06858951368019189527924828987728762994180327301879*c_1001_3^21 + 1149942354039039928222173293968130731456611994066324431447373/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^20 + 3206658550837407559456774190728858717622479299678439545513697/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^19 - 1622920669270392417972573848037878338090600922853431009168954/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^18 - 7894350270202673159861519148193828492008275507333573758093709/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^17 + 12127502568496277783969414915766131650507096311641485811415203/6204\ 67613717902736038379055849657975457525988360654603758*c_1001_3^16 + 37471239137916725012192087601016782518342786932632821160270103/6204\ 67613717902736038379055849657975457525988360654603758*c_1001_3^15 - 29347279235703661741101135622496203082818217194556992279715125/6204\ 67613717902736038379055849657975457525988360654603758*c_1001_3^14 - 55917656977345316494782934557109791410135563162281823246315245/6204\ 67613717902736038379055849657975457525988360654603758*c_1001_3^13 + 22281917269572307114005964448132549866092229823576526300958859/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^12 + 29186521036204506121085717369103446012241151481516053259586115/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^11 - 22757277609487926647372639986236719513354135229374461660017488/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^10 - 21814825209941911992037995603654459364476095629124545659006619/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^9 + 15886980827329291836903829574737254417151387912382553352650691/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^8 + 11330582025553282839291381825213595896646748370054179663272023/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^7 - 14541207740000411828919551001578198042514793074491053152048769/6204\ 67613717902736038379055849657975457525988360654603758*c_1001_3^6 - 7636493975863602265570827121024547863225280873886896206288627/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^5 + 1992035004601006796101854060431734155992382726323640233586404/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^4 + 725778670611383716597206980153824777542728201306780937148020/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^3 - 285356723110652847037093357900929373159633301392712949520759/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^2 - 51623683665636368305866385915966897610620104400965322389507/3102338\ 06858951368019189527924828987728762994180327301879*c_1001_3 + 18958835984755067500730822594024717653326962368254630840546/3102338\ 06858951368019189527924828987728762994180327301879, c_0101_8 + 50508308573497661235482949637770720409263310969275639916741/\ 620467613717902736038379055849657975457525988360654603758*c_1001_3^\ 24 + 2935692473462568310953667041624046132379956353031362754964/310\ 233806858951368019189527924828987728762994180327301879*c_1001_3^23 - 450275867929841907148953983998959290985604901543718646247213/620467\ 613717902736038379055849657975457525988360654603758*c_1001_3^22 - 44095233235530055747021281420395045842048077869099583714382/3102338\ 06858951368019189527924828987728762994180327301879*c_1001_3^21 + 1131486652739797776532393925460483371830385229019371874443267/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^20 + 1509457454003447025663810771669917313201430368459799692101852/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^19 - 3132142642649050410638973924330799229593495462537002308335707/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^18 - 7589788615461196288048931266343995826231065869573089086368755/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^17 + 11506970858160929970984304809243839801676054518392770707733049/6204\ 67613717902736038379055849657975457525988360654603758*c_1001_3^16 + 18475215118203924400103560452063128966116474281754181535947114/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^15 - 14102447591076393064120418559537862083448831898613985192512364/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^14 - 28283554590347635001966266931282142754904933029251230114332934/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^13 + 43656851078071396645733069889917909030881524521520287200474315/6204\ 67613717902736038379055849657975457525988360654603758*c_1001_3^12 + 30285611763465770384532734927740140299342290063199086493993239/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^11 - 22736581222625393528030556643225476571737489661447964903245879/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^10 - 23281930204238383021966652075300303420752921909614514154998133/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^9 + 16219892426154840287295613514685356589173896466535907363026248/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^8 + 12507481040230516595953311050272495439237094755824821251732941/3102\ 33806858951368019189527924828987728762994180327301879*c_1001_3^7 - 15254464932815109562639908968988922011380409618088629512645885/6204\ 67613717902736038379055849657975457525988360654603758*c_1001_3^6 - 4383703880866608730982462062167954916369788707818882507507490/31023\ 3806858951368019189527924828987728762994180327301879*c_1001_3^5 + 4329150821659565660282602383459872958400687590444214768163151/62046\ 7613717902736038379055849657975457525988360654603758*c_1001_3^4 + 868080738194574274813146591425327606140652439403377375423897/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^3 - 324250801304855361742351801322538720121548911532084206313458/310233\ 806858951368019189527924828987728762994180327301879*c_1001_3^2 - 64107571704996885594367912793592441751176531593034153693275/3102338\ 06858951368019189527924828987728762994180327301879*c_1001_3 + 23233368439141781611173985283957044045396886623006533071052/3102338\ 06858951368019189527924828987728762994180327301879, c_1001_0 - 1, c_1001_3^25 + 142/241*c_1001_3^24 - 2129/241*c_1001_3^23 - 1441/241*c_1001_3^22 + 5140/241*c_1001_3^21 + 16978/241*c_1001_3^20 - 7965/241*c_1001_3^19 - 79145/241*c_1001_3^18 + 20002/241*c_1001_3^17 + 200388/241*c_1001_3^16 - 48872/241*c_1001_3^15 - 329205/241*c_1001_3^14 + 75654/241*c_1001_3^13 + 381279/241*c_1001_3^12 - 73463/241*c_1001_3^11 - 318472/241*c_1001_3^10 + 43448/241*c_1001_3^9 + 188004/241*c_1001_3^8 - 12515/241*c_1001_3^7 - 74018/241*c_1001_3^6 - 563/241*c_1001_3^5 + 17371/241*c_1001_3^4 + 1109/241*c_1001_3^3 - 1968/241*c_1001_3^2 - 92/241*c_1001_3 + 98/241 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.840 Total time: 1.050 seconds, Total memory usage: 32.09MB