Magma V2.19-8 Wed Aug 21 2013 00:56:44 on localhost [Seed = 930164215] Type ? for help. Type -D to quit. Loading file "L13n2858__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2858 geometric_solution 11.71244054 oriented_manifold CS_known -0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 -1 0 1 0 0 0 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.253895193029 0.936806159082 0 4 6 5 0132 3012 0132 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.484010335882 0.266529584072 7 0 9 8 0132 0132 0132 0132 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.587036795668 0.796432785811 5 10 11 0 0132 0132 0132 0132 1 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 0 0 0 0 0 0 0 0 0 1 -4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468694571062 0.478949067696 1 8 0 7 1230 0321 0132 3012 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.198114850679 1.308322626797 3 9 1 9 0132 2103 0132 1302 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 0 0 0 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 1.038359619521 0.936036683640 12 8 10 1 0132 1023 1230 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 -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.486200472036 0.901247127293 2 11 4 12 0132 1230 1230 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582212408741 0.642929858833 6 10 2 4 1023 0213 0132 0321 1 0 0 1 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 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.680810581155 0.593002786651 12 5 5 2 2031 2103 2031 0132 1 0 0 1 0 0 0 0 -1 0 1 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 -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.468694571062 0.478949067696 11 3 8 6 0321 0132 0213 3012 1 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 0 0 0 1 0 0 -1 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.744061113984 0.800473645961 10 12 7 3 0321 2310 3012 0132 1 1 1 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 0 0 0 0 0 0 0 4 -1 0 -3 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539747455623 1.198427342351 6 7 9 11 0132 1302 1302 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460207378126 0.767297645401 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_0']), 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_0101_2'], 'c_1001_5' : d['c_0011_9'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0011_0'], 'c_1010_11' : negation(d['c_0101_6']), 'c_1010_10' : negation(d['c_0101_6']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : negation(d['1']), 'c_0101_12' : negation(d['c_0011_9']), 'c_0101_11' : d['c_0011_12'], 'c_0101_10' : negation(d['c_0011_12']), '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' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_2'], 'c_1100_8' : d['c_1001_2'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : negation(d['c_1001_7']), 'c_1100_7' : negation(d['c_0011_0']), 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : negation(d['c_0011_11']), 'c_1100_0' : negation(d['c_1001_7']), 'c_1100_3' : negation(d['c_1001_7']), 'c_1100_2' : d['c_1001_2'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_7']), 'c_1100_10' : negation(d['c_0101_7']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_1001_2']), 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_9'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0101_7']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(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' : negation(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_12']), 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), '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' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_6'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_9']), 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_9']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : d['c_0101_7'], '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_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_9']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_9']), 's_2_9' : d['1']})} 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_4, c_0011_9, c_0101_0, c_0101_2, c_0101_6, c_0101_7, c_1001_0, c_1001_2, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 555840750855341008886859729274716032/417364314633248016428100447562\ 2375*c_1001_7^13 - 4983565139494471756927509402141290944/4173643146\ 332480164281004475622375*c_1001_7^12 + 323782239860823505658592908789280832/732218095847803537593158679933\ 75*c_1001_7^11 - 2657162225930567912426874758118243968/278242876422\ 165344285400298374825*c_1001_7^10 + 63318704525029113260951072823482873872/4173643146332480164281004475\ 622375*c_1001_7^9 - 85150428238608104004845809050300015376/41736431\ 46332480164281004475622375*c_1001_7^8 + 96625969872131308736004442216308504896/4173643146332480164281004475\ 622375*c_1001_7^7 - 35981625553857202326737810020243593656/13912143\ 82110826721427001491874125*c_1001_7^6 + 79762581503827079050518856756992334588/4173643146332480164281004475\ 622375*c_1001_7^5 - 60373861372608838712408062208327778934/41736431\ 46332480164281004475622375*c_1001_7^4 + 4631477180863622153285366089852155067/13912143821108267214270014918\ 74125*c_1001_7^3 - 2300024084053002434115193190140629394/8347286292\ 66496032856200895124475*c_1001_7^2 - 233001076889281474871909965299466442/139121438211082672142700149187\ 4125*c_1001_7 - 5491207643221815242947225178710563698/4173643146332\ 480164281004475622375, c_0011_0 - 1, c_0011_10 + 3610322447697845403158080/65943316073200813922608009*c_1001\ _7^13 - 38861837456421575681782656/65943316073200813922608009*c_100\ 1_7^12 + 175226341544051314036050976/65943316073200813922608009*c_1\ 001_7^11 - 447545298213943481785266512/65943316073200813922608009*c\ _1001_7^10 + 774029741360237510163618928/65943316073200813922608009\ *c_1001_7^9 - 1074814802184312640463900592/659433160732008139226080\ 09*c_1001_7^8 + 1299748215861487334788569424/6594331607320081392260\ 8009*c_1001_7^7 - 1413056267029225146633515388/65943316073200813922\ 608009*c_1001_7^6 + 1307041276622055145571026252/659433160732008139\ 22608009*c_1001_7^5 - 809626462452019021381242311/65943316073200813\ 922608009*c_1001_7^4 + 385172622268589276086159492/6594331607320081\ 3922608009*c_1001_7^3 - 67478050751985745425283923/6594331607320081\ 3922608009*c_1001_7^2 + 37934009702555915301505442/6594331607320081\ 3922608009*c_1001_7 - 37754232876264025469284551/659433160732008139\ 22608009, c_0011_11 + 379339265769384327850554112/4022542280465249649279088549*c_\ 1001_7^13 - 3413400798092429939318557504/40225422804652496492790885\ 49*c_1001_7^12 + 12291357166128276735123851584/40225422804652496492\ 79088549*c_1001_7^11 - 24282087762267061913669473248/40225422804652\ 49649279088549*c_1001_7^10 + 33778352682348849319183893488/40225422\ 80465249649279088549*c_1001_7^9 - 41987392689007670662838349312/402\ 2542280465249649279088549*c_1001_7^8 + 44251335293288689216786858560/4022542280465249649279088549*c_1001_7\ ^7 - 45137567947167297334672059600/4022542280465249649279088549*c_1\ 001_7^6 + 26702302085299595334066460252/402254228046524964927908854\ 9*c_1001_7^5 - 7406536858520350702475174892/40225422804652496492790\ 88549*c_1001_7^4 - 2012972973625672198926284385/4022542280465249649\ 279088549*c_1001_7^3 + 7600608168050387835534182433/402254228046524\ 9649279088549*c_1001_7^2 + 741576357070054052271965115/402254228046\ 5249649279088549*c_1001_7 + 1042248466877631799462031314/4022542280\ 465249649279088549, c_0011_12 + 780059793703875083027148672/4022542280465249649279088549*c_\ 1001_7^13 - 7167922667938436451905877568/40225422804652496492790885\ 49*c_1001_7^12 + 27159804025453514175774588224/40225422804652496492\ 79088549*c_1001_7^11 - 58906568673174063600293964800/40225422804652\ 49649279088549*c_1001_7^10 + 90591338311984511585484646256/40225422\ 80465249649279088549*c_1001_7^9 - 116096626635900074153986747728/40\ 22542280465249649279088549*c_1001_7^8 + 127173609856204562902976470896/4022542280465249649279088549*c_1001_\ 7^7 - 136703693948312248112348343208/4022542280465249649279088549*c\ _1001_7^6 + 94292553952232425928757265252/4022542280465249649279088\ 549*c_1001_7^5 - 52819602879059301387671070438/40225422804652496492\ 79088549*c_1001_7^4 - 3386953148849586752802808137/4022542280465249\ 649279088549*c_1001_7^3 + 3016409723627144716262174482/402254228046\ 5249649279088549*c_1001_7^2 - 3255902364470607986961303747/40225422\ 80465249649279088549*c_1001_7 - 5938189341593782188645754188/402254\ 2280465249649279088549, c_0011_4 + 31911705441203823807835617920/245375079108380228606024401489\ *c_1001_7^13 - 304828273683677687920030538560/245375079108380228606\ 024401489*c_1001_7^12 + 1195382193839484233608888030080/24537507910\ 8380228606024401489*c_1001_7^11 - 2617678830253706697356151681024/2\ 45375079108380228606024401489*c_1001_7^10 + 3884913120641668877128806850064/245375079108380228606024401489*c_10\ 01_7^9 - 4689535048519475538049815062688/24537507910838022860602440\ 1489*c_1001_7^8 + 4830499971675538590787802130128/24537507910838022\ 8606024401489*c_1001_7^7 - 4722824853481749655311605642696/24537507\ 9108380228606024401489*c_1001_7^6 + 2890257934199145523561313730148/245375079108380228606024401489*c_10\ 01_7^5 - 335748478466515744498462810454/245375079108380228606024401\ 489*c_1001_7^4 - 1460268296143916828072296973129/245375079108380228\ 606024401489*c_1001_7^3 + 1556604970593190211764614369865/245375079\ 108380228606024401489*c_1001_7^2 - 509120746848591016099274911050/245375079108380228606024401489*c_100\ 1_7 - 242841641946013788077857785293/245375079108380228606024401489\ , c_0011_9 + 71477588631971807541868864/4022542280465249649279088549*c_10\ 01_7^13 - 472245104934559633195527744/4022542280465249649279088549*\ c_1001_7^12 + 944179586337010425753598240/4022542280465249649279088\ 549*c_1001_7^11 - 448805407336900744031413424/402254228046524964927\ 9088549*c_1001_7^10 + 282127281229400838590074272/40225422804652496\ 49279088549*c_1001_7^9 - 2551051654396878925329560064/4022542280465\ 249649279088549*c_1001_7^8 + 5161780099413319050801417680/402254228\ 0465249649279088549*c_1001_7^7 - 9872096261759993043556495932/40225\ 42280465249649279088549*c_1001_7^6 + 6206666507686364880138587904/4022542280465249649279088549*c_1001_7^\ 5 - 12826130050675632994079581455/4022542280465249649279088549*c_10\ 01_7^4 + 11411865563328389875807423581/4022542280465249649279088549\ *c_1001_7^3 - 9405649347242791813953902571/402254228046524964927908\ 8549*c_1001_7^2 + 2566076808694658733068507538/40225422804652496492\ 79088549*c_1001_7 + 4511561163650993447369225590/402254228046524964\ 9279088549, c_0101_0 - 1, c_0101_2 - 16910946537880631152106497152/245375079108380228606024401489\ *c_1001_7^13 + 134044291701325064849906906304/245375079108380228606\ 024401489*c_1001_7^12 - 403965924864068455339435116544/245375079108\ 380228606024401489*c_1001_7^11 + 619060562369777087544506497920/245\ 375079108380228606024401489*c_1001_7^10 - 583958861795954916923309092336/245375079108380228606024401489*c_100\ 1_7^9 + 338670175845069449342131062208/2453750791083802286060244014\ 89*c_1001_7^8 + 135276683067930386489922108736/24537507910838022860\ 6024401489*c_1001_7^7 - 174133860541762749262572432280/245375079108\ 380228606024401489*c_1001_7^6 + 1408351347129582842053549307156/245\ 375079108380228606024401489*c_1001_7^5 - 1011102239760381583486524713906/245375079108380228606024401489*c_10\ 01_7^4 + 1863994507407134902773848789675/24537507910838022860602440\ 1489*c_1001_7^3 + 216474711894702203706025409933/245375079108380228\ 606024401489*c_1001_7^2 + 224413024155460409879001390637/2453750791\ 08380228606024401489*c_1001_7 + 471356398270152278917806374976/2453\ 75079108380228606024401489, c_0101_6 - 8882128054213668621800192/65943316073200813922608009*c_1001_\ 7^13 + 77090373573491939704641344/65943316073200813922608009*c_1001\ _7^12 - 269361448592627153925683200/65943316073200813922608009*c_10\ 01_7^11 + 531034148037928600920734368/65943316073200813922608009*c_\ 1001_7^10 - 765818535952058425756949392/65943316073200813922608009*\ c_1001_7^9 + 971659040840963125940436560/65943316073200813922608009\ *c_1001_7^8 - 1042124579715072346622506512/659433160732008139226080\ 09*c_1001_7^7 + 1162475756154723281122956560/6594331607320081392260\ 8009*c_1001_7^6 - 669764361584234845524724004/659433160732008139226\ 08009*c_1001_7^5 + 431824381140498031891864296/65943316073200813922\ 608009*c_1001_7^4 + 23707701081203083086087049/65943316073200813922\ 608009*c_1001_7^3 + 48678193524572244479030716/65943316073200813922\ 608009*c_1001_7^2 - 13779833929194210513584504/65943316073200813922\ 608009*c_1001_7 + 25420803386643854585137326/6594331607320081392260\ 8009, c_0101_7 + 621686764193808391150916864/4022542280465249649279088549*c_1\ 001_7^13 - 5415401527886642717935987904/402254228046524964927908854\ 9*c_1001_7^12 + 18955039756473502551084319744/402254228046524964927\ 9088549*c_1001_7^11 - 37154292570490622744772770208/402254228046524\ 9649279088549*c_1001_7^10 + 52737071424842643310846972464/402254228\ 0465249649279088549*c_1001_7^9 - 66316187342668178306306226064/4022\ 542280465249649279088549*c_1001_7^8 + 71034158427295828540155791856/4022542280465249649279088549*c_1001_7\ ^7 - 77828150333575593010852748112/4022542280465249649279088549*c_1\ 001_7^6 + 43699191020668371634970676452/402254228046524964927908854\ 9*c_1001_7^5 - 28495158704008662393674651888/4022542280465249649279\ 088549*c_1001_7^4 - 3197222372061594625249073207/402254228046524964\ 9279088549*c_1001_7^3 - 6367744597516879809401258480/40225422804652\ 49649279088549*c_1001_7^2 + 1044693252957258298777098823/4022542280\ 465249649279088549*c_1001_7 - 2776856349284013957948736370/40225422\ 80465249649279088549, c_1001_0 - 6801013531078380551734144/65943316073200813922608009*c_1001_\ 7^13 + 60324393137203510095478912/65943316073200813922608009*c_1001\ _7^12 - 220088898968198198483578944/65943316073200813922608009*c_10\ 01_7^11 + 469062448190077192720521312/65943316073200813922608009*c_\ 1001_7^10 - 747691069096683803395556352/65943316073200813922608009*\ c_1001_7^9 + 1024670457157049772596450720/6594331607320081392260800\ 9*c_1001_7^8 - 1175804907776474042958507440/65943316073200813922608\ 009*c_1001_7^7 + 1329351549105572846326954712/659433160732008139226\ 08009*c_1001_7^6 - 1015013780811235457096189480/6594331607320081392\ 2608009*c_1001_7^5 + 817011519633597340659581786/659433160732008139\ 22608009*c_1001_7^4 - 252864080602810705577403126/65943316073200813\ 922608009*c_1001_7^3 + 148104867526130061701788252/6594331607320081\ 3922608009*c_1001_7^2 + 11617818596111228963718590/6594331607320081\ 3922608009*c_1001_7 + 45209335671538124711776351/659433160732008139\ 22608009, c_1001_2 - 332881585580360182439696576/4022542280465249649279088549*c_1\ 001_7^13 + 3116273205886407971545938496/402254228046524964927908854\ 9*c_1001_7^12 - 12315187350817614956454563936/402254228046524964927\ 9088549*c_1001_7^11 + 28918156637383879850427252304/402254228046524\ 9649279088549*c_1001_7^10 - 49555776160399999191178616704/402254228\ 0465249649279088549*c_1001_7^9 + 69919484969270322444503856672/4022\ 542280465249649279088549*c_1001_7^8 - 83347057814315260132553809408/4022542280465249649279088549*c_1001_7\ ^7 + 94194526157004607715496296980/4022542280465249649279088549*c_1\ 001_7^6 - 79726550530849414884911729976/402254228046524964927908854\ 9*c_1001_7^5 + 61996071089516756103929567873/4022542280465249649279\ 088549*c_1001_7^4 - 25878177711693699183169921549/40225422804652496\ 49279088549*c_1001_7^3 + 12847922721393219725838908319/402254228046\ 5249649279088549*c_1001_7^2 + 1762098016714934113463122117/40225422\ 80465249649279088549*c_1001_7 + 3144858277126864863397570274/402254\ 2280465249649279088549, c_1001_7^14 - 9*c_1001_7^13 + 67/2*c_1001_7^12 - 291/4*c_1001_7^11 + 116*c_1001_7^10 - 625/4*c_1001_7^9 + 711/4*c_1001_7^8 - 3175/16*c_1001_7^7 + 593/4*c_1001_7^6 - 7135/64*c_1001_7^5 + 1733/64*c_1001_7^4 - 331/16*c_1001_7^3 - 47/64*c_1001_7^2 - 637/64*c_1001_7 + 7/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.640 Total time: 0.850 seconds, Total memory usage: 32.09MB