Magma V2.19-8 Wed Aug 21 2013 00:56:40 on localhost [Seed = 3220809080] Type ? for help. Type -D to quit. Loading file "L13n2779__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2779 geometric_solution 11.85143333 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 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 -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.933918940373 1.035763524101 0 5 7 6 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 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.480742079291 0.150983954626 6 0 9 8 1230 0132 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 1 -1 0 1 0 0 -1 -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.679824520006 0.701733358301 6 10 8 0 0132 0132 2031 0132 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.590885375771 1.066187267416 5 5 0 11 0132 1230 0132 0132 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 0 0 0 0 0 0 3 -2 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.228246659184 0.657766156719 4 1 4 9 0132 0132 3012 2031 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529148395652 1.356910332371 3 2 1 12 0132 3012 0132 0132 1 1 0 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.787212831719 0.945044101424 8 9 10 1 0321 2031 1302 0132 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 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.555496818490 1.062454767386 7 11 2 3 0321 1302 0132 1302 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 -1 0 1 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.715498674379 0.847148150941 7 5 12 2 1302 1302 1302 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 -1 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.386228835243 1.492199557745 7 3 11 12 2031 0132 1302 2031 1 1 0 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 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.651849343262 0.575479164990 10 12 4 8 2031 2310 0132 2031 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.242515924188 0.714993679212 9 10 6 11 2031 1302 0132 3201 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 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.555496818490 1.062454767386 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : d['c_0110_11'], 'c_1001_12' : negation(d['c_0101_2']), 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : d['c_0011_9'], 'c_1001_0' : d['c_0110_11'], 'c_1001_3' : d['c_0011_12'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_8']), 'c_1001_8' : d['c_0110_11'], 'c_1010_12' : negation(d['c_0101_11']), 'c_1010_11' : d['c_0011_8'], 'c_1010_10' : d['c_0011_12'], 's_0_10' : 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_11']), '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_1100_9' : d['c_0101_12'], 'c_1100_8' : d['c_0101_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_2']), 'c_1100_4' : negation(d['c_1010_8']), 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : negation(d['c_0011_11']), 'c_1100_0' : negation(d['c_1010_8']), 'c_1100_3' : negation(d['c_1010_8']), 'c_1100_2' : d['c_0101_12'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1010_8']), 'c_1100_10' : d['c_0101_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_9'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0011_9'], 'c_1010_4' : d['c_0101_11'], 'c_1010_3' : d['c_0110_11'], 'c_1010_2' : d['c_0110_11'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1010_8'], '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' : negation(d['c_0011_11']), '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_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_12'], 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0101_2']), 'c_0110_12' : negation(d['c_0011_8']), 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : negation(d['c_0011_8']), 'c_0101_3' : d['c_0101_12'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_8']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : 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_2'], 'c_0110_8' : negation(d['c_0011_12']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_8']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : negation(d['c_0011_8']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0011_8']), 'c_0110_6' : d['c_0101_12']})} 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_8, c_0011_9, c_0101_0, c_0101_11, c_0101_12, c_0101_2, c_0110_11, c_1001_2, c_1010_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 15364759410429129907823173632/705139314187444383880705*c_1010_8^15 - 69840717060225248667784930764/705139314187444383880705*c_1010_8^14 + 137620116354193585749447129102/705139314187444383880705*c_1010_8^13 - 248257747556300154449961320261/705139314187444383880705*c_1010_8^\ 12 + 264816395704195387739386219383/705139314187444383880705*c_1010\ _8^11 + 299085936081943997841143219092/705139314187444383880705*c_1\ 010_8^10 - 1119876467911433989088209050987/705139314187444383880705\ *c_1010_8^9 + 1887052400162239498036614865423/705139314187444383880\ 705*c_1010_8^8 - 2582649080448578777245690817498/705139314187444383\ 880705*c_1010_8^7 + 812784542706778709465601626333/7051393141874443\ 83880705*c_1010_8^6 + 2890013680648835770222719724533/7051393141874\ 44383880705*c_1010_8^5 - 4737111821004864381006657281532/7051393141\ 87444383880705*c_1010_8^4 + 7210374701695470294577308124246/7051393\ 14187444383880705*c_1010_8^3 - 6796698785820829414497490206781/7051\ 39314187444383880705*c_1010_8^2 + 2279806565463437284228814051066/7\ 05139314187444383880705*c_1010_8 + 84486587722248524748541384958/705139314187444383880705, c_0011_0 - 1, c_0011_10 + 226663766049961278270972/705139314187444383880705*c_1010_8^\ 15 - 204014516352695951239378/141027862837488876776141*c_1010_8^14 + 398886614597793104243611/141027862837488876776141*c_1010_8^13 - 3609735489973685986230424/705139314187444383880705*c_1010_8^12 + 759166140510538481830148/141027862837488876776141*c_1010_8^11 + 4499683876306459776426233/705139314187444383880705*c_1010_8^10 - 16279125239660264532801643/705139314187444383880705*c_1010_8^9 + 27409470368363682191874643/705139314187444383880705*c_1010_8^8 - 37406903018521229824509784/705139314187444383880705*c_1010_8^7 + 2176272955244887136271103/141027862837488876776141*c_1010_8^6 + 42482051500999826817567296/705139314187444383880705*c_1010_8^5 - 13693362651559036194461066/141027862837488876776141*c_1010_8^4 + 104981325347008658251527798/705139314187444383880705*c_1010_8^3 - 96708386964099405998917291/705139314187444383880705*c_1010_8^2 + 31497606224608476413002817/705139314187444383880705*c_1010_8 + 1057708520186474897051131/705139314187444383880705, c_0011_11 + 59837180350677966397972/141027862837488876776141*c_1010_8^1\ 5 - 266915785302146476356910/141027862837488876776141*c_1010_8^14 + 515381031731426722265757/141027862837488876776141*c_1010_8^13 - 931487849713208256391200/141027862837488876776141*c_1010_8^12 + 966903993743076811039574/141027862837488876776141*c_1010_8^11 + 1218828399753077641571569/141027862837488876776141*c_1010_8^10 - 4233871995602236281470839/141027862837488876776141*c_1010_8^9 + 7042163182027020427635441/141027862837488876776141*c_1010_8^8 - 9584619418691184600069730/141027862837488876776141*c_1010_8^7 + 2562774354239881058725950/141027862837488876776141*c_1010_8^6 + 11188995817732552628638856/141027862837488876776141*c_1010_8^5 - 17523809589409078941977847/141027862837488876776141*c_1010_8^4 + 26950919908920524398268331/141027862837488876776141*c_1010_8^3 - 24641377351530194038781928/141027862837488876776141*c_1010_8^2 + 7647108642696966533127067/141027862837488876776141*c_1010_8 + 440881603184819432786335/141027862837488876776141, c_0011_12 - 552709331908528409664416/705139314187444383880705*c_1010_8^\ 15 + 501761847368276098583080/141027862837488876776141*c_1010_8^14 - 986493524171301418554180/141027862837488876776141*c_1010_8^13 + 8893333529193394762281902/705139314187444383880705*c_1010_8^12 - 1892546049227942235450336/141027862837488876776141*c_1010_8^11 - 10838499703766019868405119/705139314187444383880705*c_1010_8^10 + 40219096189849171783449969/705139314187444383880705*c_1010_8^9 - 67578020160684716824970764/705139314187444383880705*c_1010_8^8 + 92451325223265590257788962/705139314187444383880705*c_1010_8^7 - 5710859605848554686953065/141027862837488876776141*c_1010_8^6 - 104287609519092765728780568/705139314187444383880705*c_1010_8^5 + 33910687707480861082588773/141027862837488876776141*c_1010_8^4 - 258177187700264179400016504/705139314187444383880705*c_1010_8^3 + 242775590710086668284352568/705139314187444383880705*c_1010_8^2 - 79428765603127014134884841/705139314187444383880705*c_1010_8 - 3718105260760712506888633/705139314187444383880705, c_0011_8 + 87682473601002943936912/141027862837488876776141*c_1010_8^15 - 402500536136706193807392/141027862837488876776141*c_1010_8^14 + 799542795008392262793720/141027862837488876776141*c_1010_8^13 - 1437218862918028345685522/141027862837488876776141*c_1010_8^12 + 1551059951240284400029608/141027862837488876776141*c_1010_8^11 + 1682428954330756305559267/141027862837488876776141*c_1010_8^10 - 6502471737879529804190470/141027862837488876776141*c_1010_8^9 + 10953144262225625384187806/141027862837488876776141*c_1010_8^8 - 15006438459439367366460198/141027862837488876776141*c_1010_8^7 + 4988635699129147983547482/141027862837488876776141*c_1010_8^6 + 16688901060294239878225883/141027862837488876776141*c_1010_8^5 - 27665980171500660696768753/141027862837488876776141*c_1010_8^4 + 41666704461678979505938806/141027862837488876776141*c_1010_8^3 - 39895640836690526454088499/141027862837488876776141*c_1010_8^2 + 13532400022891725915906403/141027862837488876776141*c_1010_8 + 641304454866241844156896/141027862837488876776141, c_0011_9 + 71800575593827959614124/141027862837488876776141*c_1010_8^15 - 322435210026115569266666/141027862837488876776141*c_1010_8^14 + 626777030500841693622223/141027862837488876776141*c_1010_8^13 - 1131786171575145642533514/141027862837488876776141*c_1010_8^12 + 1187116078056776746225832/141027862837488876776141*c_1010_8^11 + 1443308919129250489926913/141027862837488876776141*c_1010_8^10 - 5137563795175835670752380/141027862837488876776141*c_1010_8^9 + 8572557701553711370954482/141027862837488876776141*c_1010_8^8 - 11705699180798387960793349/141027862837488876776141*c_1010_8^7 + 3318783814817231980442091/141027862837488876776141*c_1010_8^6 + 13502290800005839263795003/141027862837488876776141*c_1010_8^5 - 21429774105632631707314846/141027862837488876776141*c_1010_8^4 + 32867689966446919248347247/141027862837488876776141*c_1010_8^3 - 30373374450932590359855953/141027862837488876776141*c_1010_8^2 + 9588663121800740940664534/141027862837488876776141*c_1010_8 + 550155765166043472595698/141027862837488876776141, c_0101_0 + 134009897041658840828496/141027862837488876776141*c_1010_8^1\ 5 - 606877891003015235642008/141027862837488876776141*c_1010_8^14 + 1191079666780602825125556/141027862837488876776141*c_1010_8^13 - 2147820573261054089458792/141027862837488876776141*c_1010_8^12 + 2274711613510740209483800/141027862837488876776141*c_1010_8^11 + 2643422689190557281538862/141027862837488876776141*c_1010_8^10 - 9723392689778396473149562/141027862837488876776141*c_1010_8^9 + 16320777717674640085474490/141027862837488876776141*c_1010_8^8 - 22265580022118320226626099/141027862837488876776141*c_1010_8^7 + 6705822258851290727119228/141027862837488876776141*c_1010_8^6 + 25294100473287262185041271/141027862837488876776141*c_1010_8^5 - 40927531063938250857403420/141027862837488876776141*c_1010_8^4 + 62266696282045873875218995/141027862837488876776141*c_1010_8^3 - 58195926631977553717910652/141027862837488876776141*c_1010_8^2 + 19049301235400030601857015/141027862837488876776141*c_1010_8 + 922401076962355669687789/141027862837488876776141, c_0101_11 + 33037953033053542474900/141027862837488876776141*c_1010_8^1\ 5 - 151399956551196351089414/141027862837488876776141*c_1010_8^14 + 300123807288990639056105/141027862837488876776141*c_1010_8^13 - 539731361791490538073462/141027862837488876776141*c_1010_8^12 + 580534863729503107675338/141027862837488876776141*c_1010_8^11 + 640296488138820252818850/141027862837488876776141*c_1010_8^10 - 2444107166346055943199034/141027862837488876776141*c_1010_8^9 + 4110916156505643830362788/141027862837488876776141*c_1010_8^8 - 5626896332616671606518153/141027862837488876776141*c_1010_8^7 + 1806760548630327853175769/141027862837488876776141*c_1010_8^6 + 6322229031703914506012966/141027862837488876776141*c_1010_8^5 - 10366808486088243738910710/141027862837488876776141*c_1010_8^4 + 15606666659352177910553041/141027862837488876776141*c_1010_8^3 - 14868260699276692301388222/141027862837488876776141*c_1010_8^2 + 4890736583505230557991278/141027862837488876776141*c_1010_8 + 203053264173685268022527/141027862837488876776141, c_0101_12 - 677980918194398424899252/705139314187444383880705*c_1010_8^\ 15 + 616104389028810531597386/141027862837488876776141*c_1010_8^14 - 1212373037078361908273803/141027862837488876776141*c_1010_8^13 + 10924586404747726267054859/705139314187444383880705*c_1010_8^12 - 2325447208861118052413019/141027862837488876776141*c_1010_8^11 - 13299936027577541142723303/705139314187444383880705*c_1010_8^10 + 49455446814993023584132853/705139314187444383880705*c_1010_8^9 - 83090694102826171297372668/705139314187444383880705*c_1010_8^8 + 113545762204880537408180254/705139314187444383880705*c_1010_8^7 - 7003980742861727785307584/141027862837488876776141*c_1010_8^6 - 128321915742244936196735621/705139314187444383880705*c_1010_8^5 + 41757523735806940026691687/141027862837488876776141*c_1010_8^4 - 317138565385151534909818038/705139314187444383880705*c_1010_8^3 + 298050532112220776607272191/705139314187444383880705*c_1010_8^2 - 97912619676351811789407687/705139314187444383880705*c_1010_8 - 4588238558219904377676836/705139314187444383880705, c_0101_2 - 1, c_0110_11 + 108974177693345250016696/141027862837488876776141*c_1010_8^\ 15 - 496081059745797335254572/141027862837488876776141*c_1010_8^14 + 978152692790232611190526/141027862837488876776141*c_1010_8^13 - 1762123436434075512065060/141027862837488876776141*c_1010_8^12 + 1879703069322905919041609/141027862837488876776141*c_1010_8^11 + 2128287614629216825528555/141027862837488876776141*c_1010_8^10 - 7976329652705608813545749/141027862837488876776141*c_1010_8^9 + 13413228787041260703208093/141027862837488876776141*c_1010_8^8 - 18326365533870552444200154/141027862837488876776141*c_1010_8^7 + 5743615267842442816486867/141027862837488876776141*c_1010_8^6 + 20647571898830995782747728/141027862837488876776141*c_1010_8^5 - 33730377446314278482080246/141027862837488876776141*c_1010_8^4 + 51129483925704733945400987/141027862837488876776141*c_1010_8^3 - 48188040546905267710302435/141027862837488876776141*c_1010_8^2 + 15987582869556061599769950/141027862837488876776141*c_1010_8 + 766670773473153012977390/141027862837488876776141, c_1001_2 - 68096970475430194239240/141027862837488876776141*c_1010_8^15 + 312453039853110516269460/141027862837488876776141*c_1010_8^14 - 620091318026905180176806/141027862837488876776141*c_1010_8^13 + 1115267773793181286763622/141027862837488876776141*c_1010_8^12 - 1204177904603884137171190/141027862837488876776141*c_1010_8^11 - 1308102701419879373315512/141027862837488876776141*c_1010_8^10 + 5042104855407835148207542/141027862837488876776141*c_1010_8^9 - 8489595530346462361741801/141027862837488876776141*c_1010_8^8 + 11654238840213300545042511/141027862837488876776141*c_1010_8^7 - 3858503454406876794429172/141027862837488876776141*c_1010_8^6 - 12981606215689837546103033/141027862837488876776141*c_1010_8^5 + 21415436163679775488781199/141027862837488876776141*c_1010_8^4 - 32364859008369156093492311/141027862837488876776141*c_1010_8^3 + 30971867079437138468833492/141027862837488876776141*c_1010_8^2 - 10352987865935513703214531/141027862837488876776141*c_1010_8 - 494229687988248069507845/141027862837488876776141, c_1010_8^16 - 9/2*c_1010_8^15 + 35/4*c_1010_8^14 - 63/4*c_1010_8^13 + 33/2*c_1010_8^12 + 81/4*c_1010_8^11 - 72*c_1010_8^10 + 239/2*c_1010_8^9 - 325/2*c_1010_8^8 + 181/4*c_1010_8^7 + 381/2*c_1010_8^6 - 1199/4*c_1010_8^5 + 1821/4*c_1010_8^4 - 421*c_1010_8^3 + 513/4*c_1010_8^2 + 49/4*c_1010_8 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.250 Total time: 0.460 seconds, Total memory usage: 32.09MB