Magma V2.19-8 Wed Aug 21 2013 00:50:51 on localhost [Seed = 2951330490] Type ? for help. Type -D to quit. Loading file "L10a36__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L10a36 geometric_solution 12.72241474 oriented_manifold CS_known -0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 2031 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 0 -1 -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.923274741981 0.816851798625 0 4 2 0 0132 0132 2031 1302 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 -1 0 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.392455745644 0.537514560238 3 0 4 1 0213 0132 3201 1302 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 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.919811881467 0.653127765410 2 5 0 6 0213 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 -1 1 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.395918606159 0.701238593452 2 1 5 6 2310 0132 1230 1230 1 1 1 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 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.705167183388 0.818582477245 7 3 8 4 0132 0132 0132 3012 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 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.731047683961 0.899843034124 4 7 3 8 3012 0132 0132 0132 1 1 1 1 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 1 -1 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.731047683961 0.899843034124 5 6 10 9 0132 0132 0132 0132 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 -1 1 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.442880140368 0.611354974936 11 12 6 5 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 -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.442880140368 0.611354974936 11 12 7 11 2103 0213 0132 3201 1 1 0 1 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 0 0 0 2 -1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523225124537 1.025127637637 11 12 12 7 3120 0321 3201 0132 1 1 1 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 1 -1 1 0 -1 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.523225124537 1.025127637637 8 9 9 10 0132 2310 2103 3120 0 1 1 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 -2 1 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.523225124537 1.025127637637 10 8 9 10 2310 0132 0213 0321 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.523225124537 1.025127637637 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_9'], 'c_1001_10' : negation(d['c_0011_9']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_12'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_1001_12'], 'c_1001_1' : d['c_0101_6'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_1001_9' : d['c_1001_12'], 'c_1001_8' : d['c_1001_7'], 'c_1010_12' : d['c_1001_7'], 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : d['c_1001_7'], 's_0_10' : d['1'], 's_3_10' : negation(d['1']), 's_0_12' : negation(d['1']), 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_9'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : negation(d['1']), 's_2_12' : d['1'], 's_2_10' : negation(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' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_1001_4']), 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_1001_4']), 'c_1100_4' : d['c_0101_7'], 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : negation(d['c_1001_4']), 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_0011_0']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_12'], 'c_1010_6' : d['c_1001_7'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_6'], 'c_1010_3' : d['c_1001_12'], 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0101_4']), 'c_1010_9' : negation(d['c_0011_9']), 'c_1010_8' : d['c_1001_12'], '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' : negation(d['1']), 'c_1100_12' : negation(d['c_0011_9']), '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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_7'], 'c_0110_10' : d['c_0101_7'], 'c_0110_12' : negation(d['c_0011_10']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : d['c_0101_7'], '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_0011_10'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : negation(d['c_0101_6']), 'c_0110_5' : d['c_0101_7'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0101_7'], '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_3, c_0011_9, c_0101_0, c_0101_11, c_0101_4, c_0101_6, c_0101_7, c_1001_12, c_1001_4, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 26328062007819623340846828643272565/5658753255503631154031492990350\ 9272064*c_1001_7^17 - 57800667881894131250862039820388789/226350130\ 220145246161259719614037088256*c_1001_7^16 + 101275852957508561559920784660557/221045049043110591954355194935583\ 094*c_1001_7^15 - 118751726551364084755593412389178711/113175065110\ 072623080629859807018544128*c_1001_7^14 - 193543313303322107540076861058648903/141468831387590778850787324758\ 77318016*c_1001_7^13 + 3643262684498236122433812080376544593/226350\ 130220145246161259719614037088256*c_1001_7^12 + 35945930337573408665790087669919639/4160847981987964083846686022316\ 85824*c_1001_7^11 - 8141862516258623816879494989749825981/113175065\ 110072623080629859807018544128*c_1001_7^10 - 8674115108786600635965180215567493491/28293766277518155770157464951\ 754636032*c_1001_7^9 + 116415649081086799093828884374973920161/2263\ 50130220145246161259719614037088256*c_1001_7^8 - 2125861994174581454035985220943810461/14146883138759077885078732475\ 877318016*c_1001_7^7 + 15799228821854781147642629503770212459/11317\ 5065110072623080629859807018544128*c_1001_7^6 - 18066914739980800588848160686828871257/7073441569379538942539366237\ 938659008*c_1001_7^5 + 729254398704341921440039759170367542955/1131\ 75065110072623080629859807018544128*c_1001_7^4 - 350164637319473862637551483384962806779/565875325550363115403149299\ 03509272064*c_1001_7^3 + 102403915683781560116698487157992657531/56\ 587532555036311540314929903509272064*c_1001_7^2 + 10832210462594332343657801630974735713/7073441569379538942539366237\ 938659008*c_1001_7 - 542737847652416959333362221977982184053/226350\ 130220145246161259719614037088256, c_0011_0 - 1, c_0011_10 - 3440105580975145/2892471496277897984*c_1001_7^17 - 6641466104205569/2892471496277897984*c_1001_7^16 - 4077291791965087/1446235748138948992*c_1001_7^15 - 10417513990558501/1446235748138948992*c_1001_7^14 - 127876602459187439/2892471496277897984*c_1001_7^13 - 58327119004815107/2892471496277897984*c_1001_7^12 + 250169188864211227/1446235748138948992*c_1001_7^11 + 123758489924284513/1446235748138948992*c_1001_7^10 - 1427489064436797127/2892471496277897984*c_1001_7^9 + 1742710444150309805/2892471496277897984*c_1001_7^8 - 49859965217906269/1446235748138948992*c_1001_7^7 + 1336998636183149843/1446235748138948992*c_1001_7^6 - 8225237427490226445/1446235748138948992*c_1001_7^5 + 13137797505153918945/1446235748138948992*c_1001_7^4 - 178911632606300905/22597433564671078*c_1001_7^3 + 304140511364157851/90389734258684312*c_1001_7^2 - 2145582405376845989/2892471496277897984*c_1001_7 + 182412154498460023/2892471496277897984, c_0011_11 - 723009518165859178058405/1837075151352294368103585376*c_100\ 1_7^17 - 3868557430941424023472997/3674150302704588736207170752*c_1\ 001_7^16 - 456805855365159476071385/459268787838073592025896344*c_1\ 001_7^15 - 2525313760065821611802345/1837075151352294368103585376*c\ _1001_7^14 - 25098482491104043321167279/183707515135229436810358537\ 6*c_1001_7^13 - 46347044550057210646071187/367415030270458873620717\ 0752*c_1001_7^12 + 70048931983661173004301071/918537575676147184051\ 792688*c_1001_7^11 + 202163853052140817337850843/183707515135229436\ 8103585376*c_1001_7^10 - 355312596848865683095216525/18370751513522\ 94368103585376*c_1001_7^9 - 209298486374953785938030527/36741503027\ 04588736207170752*c_1001_7^8 + 142055596714222711235951601/45926878\ 7838073592025896344*c_1001_7^7 + 772247028601165304411789305/183707\ 5151352294368103585376*c_1001_7^6 - 226157338660169072627051727/114817196959518398006474086*c_1001_7^5 + 1634021199438648755092959769/1837075151352294368103585376*c_1001_7^\ 4 + 358516602065415347034721195/229634393919036796012948172*c_1001_\ 7^3 - 246645958641337627640813009/229634393919036796012948172*c_100\ 1_7^2 - 3191687948011774245309412777/1837075151352294368103585376*c\ _1001_7 + 3276522215460633106640578695/3674150302704588736207170752\ , c_0011_3 - 15047384466927131161391609/29393202421636709889657366016*c_1\ 001_7^17 - 53683877693968526998932111/29393202421636709889657366016\ *c_1001_7^16 - 43647737998579175054442899/1469660121081835494482868\ 3008*c_1001_7^15 - 74762265822166783955647875/146966012108183549448\ 28683008*c_1001_7^14 - 705746393790504860830007839/2939320242163670\ 9889657366016*c_1001_7^13 - 1192642295339623563549680997/2939320242\ 1636709889657366016*c_1001_7^12 + 817326613470617160016579131/14696\ 601210818354944828683008*c_1001_7^11 + 2433155231865941725659034459/14696601210818354944828683008*c_1001_7\ ^10 - 3787105784561416904735301407/29393202421636709889657366016*c_\ 1001_7^9 - 3622835118363101332669061405/293932024216367098896573660\ 16*c_1001_7^8 + 5125798886537762819549365415/1469660121081835494482\ 8683008*c_1001_7^7 + 9814228656875430100317838713/14696601210818354\ 944828683008*c_1001_7^6 - 26591508782604404060861206689/14696601210\ 818354944828683008*c_1001_7^5 - 1854411805985941546619330145/146966\ 01210818354944828683008*c_1001_7^4 + 3241740410857181333299420145/1837075151352294368103585376*c_1001_7^\ 3 - 3148737611939049369617542037/1837075151352294368103585376*c_100\ 1_7^2 - 28124322366194332656129140197/29393202421636709889657366016\ *c_1001_7 + 17867740419953569865893117745/2939320242163670988965736\ 6016, c_0011_9 - 1, c_0101_0 + 880270443538934738319469/14696601210818354944828683008*c_100\ 1_7^17 - 7598729083876272664683043/14696601210818354944828683008*c_\ 1001_7^16 - 4832467727479707619052289/7348300605409177472414341504*\ c_1001_7^15 + 2424681493308367867713237/734830060540917747241434150\ 4*c_1001_7^14 + 17527491714559964763177891/146966012108183549448286\ 83008*c_1001_7^13 - 253545990364060092668500273/1469660121081835494\ 4828683008*c_1001_7^12 + 5280700148432632412954929/7348300605409177\ 472414341504*c_1001_7^11 + 873456142270035456418293643/734830060540\ 9177472414341504*c_1001_7^10 + 477569620502812396995876515/14696601\ 210818354944828683008*c_1001_7^9 - 6199837761287463597561938553/14696601210818354944828683008*c_1001_7\ ^8 + 2313577991675366700844723149/7348300605409177472414341504*c_10\ 01_7^7 - 1291567178873448632815011419/7348300605409177472414341504*\ c_1001_7^6 + 4858442251954989819591478725/7348300605409177472414341\ 504*c_1001_7^5 - 28213734966284977424217411865/73483006054091774724\ 14341504*c_1001_7^4 + 12168178393655159523416041783/183707515135229\ 4368103585376*c_1001_7^3 - 9072302106677098720101200493/18370751513\ 52294368103585376*c_1001_7^2 + 31015843127115601800706070865/146966\ 01210818354944828683008*c_1001_7 + 4482042900043427747196757789/14696601210818354944828683008, c_0101_11 - c_1001_7, c_0101_4 - 1664885446260850631392837/7348300605409177472414341504*c_100\ 1_7^17 - 3145414796261581817379779/1837075151352294368103585376*c_1\ 001_7^16 - 12904471396005776652641885/3674150302704588736207170752*\ c_1001_7^15 - 2381084081792548422568015/459268787838073592025896344\ *c_1001_7^14 - 123578950456274628498367971/734830060540917747241434\ 1504*c_1001_7^13 - 6159840229816688817251159/1148171969595183980064\ 74086*c_1001_7^12 - 22966977920421278043353257/36741503027045887362\ 07170752*c_1001_7^11 + 372219112873397230370174241/1837075151352294\ 368103585376*c_1001_7^10 + 637048276990204569740098177/734830060540\ 9177472414341504*c_1001_7^9 - 720694865463436134982685473/183707515\ 1352294368103585376*c_1001_7^8 + 1545554506570790796974850457/36741\ 50302704588736207170752*c_1001_7^7 + 1048164133524885604442988753/1837075151352294368103585376*c_1001_7^\ 6 + 100832712866132418806962333/3674150302704588736207170752*c_1001\ _7^5 - 3619599252142478978094390127/918537575676147184051792688*c_1\ 001_7^4 + 5040304539292173257257425695/918537575676147184051792688*\ c_1001_7^3 - 3068520551667360650627273227/9185375756761471840517926\ 88*c_1001_7^2 - 3293858558196541588078778329/7348300605409177472414\ 341504*c_1001_7 + 368795807695228368272907615/459268787838073592025\ 896344, c_0101_6 - 1664885446260850631392837/7348300605409177472414341504*c_100\ 1_7^17 - 3145414796261581817379779/1837075151352294368103585376*c_1\ 001_7^16 - 12904471396005776652641885/3674150302704588736207170752*\ c_1001_7^15 - 2381084081792548422568015/459268787838073592025896344\ *c_1001_7^14 - 123578950456274628498367971/734830060540917747241434\ 1504*c_1001_7^13 - 6159840229816688817251159/1148171969595183980064\ 74086*c_1001_7^12 - 22966977920421278043353257/36741503027045887362\ 07170752*c_1001_7^11 + 372219112873397230370174241/1837075151352294\ 368103585376*c_1001_7^10 + 637048276990204569740098177/734830060540\ 9177472414341504*c_1001_7^9 - 720694865463436134982685473/183707515\ 1352294368103585376*c_1001_7^8 + 1545554506570790796974850457/36741\ 50302704588736207170752*c_1001_7^7 + 1048164133524885604442988753/1837075151352294368103585376*c_1001_7^\ 6 + 100832712866132418806962333/3674150302704588736207170752*c_1001\ _7^5 - 3619599252142478978094390127/918537575676147184051792688*c_1\ 001_7^4 + 5040304539292173257257425695/918537575676147184051792688*\ c_1001_7^3 - 3068520551667360650627273227/9185375756761471840517926\ 88*c_1001_7^2 - 3293858558196541588078778329/7348300605409177472414\ 341504*c_1001_7 + 368795807695228368272907615/459268787838073592025\ 896344, c_0101_7 - 1086885061879262424609603/3674150302704588736207170752*c_100\ 1_7^17 - 4235341145843614915712837/7348300605409177472414341504*c_1\ 001_7^16 - 24010408073702848894/57408598479759199003237043*c_1001_7\ ^15 - 496045880434074460288953/3674150302704588736207170752*c_1001_\ 7^14 - 30690700497252854480086065/3674150302704588736207170752*c_10\ 01_7^13 + 12770804799694095319792349/7348300605409177472414341504*c\ _1001_7^12 + 139080793407531395645527417/18370751513522943681035853\ 76*c_1001_7^11 + 196996150955863267977963715/3674150302704588736207\ 170752*c_1001_7^10 - 715829684057500510859080215/367415030270458873\ 6207170752*c_1001_7^9 + 795271893303973383360925665/734830060540917\ 7472414341504*c_1001_7^8 + 15865859342747921741669108/5740859847975\ 9199003237043*c_1001_7^7 - 609478217399655159595354431/367415030270\ 4588736207170752*c_1001_7^6 - 1562756634960404330869903197/91853757\ 5676147184051792688*c_1001_7^5 + 6018144752215407161816550569/36741\ 50302704588736207170752*c_1001_7^4 + 577177623348160921135130369/459268787838073592025896344*c_1001_7^3 - 1648803322158573755871917507/459268787838073592025896344*c_1001_7^2 + 9030355895363402693274730017/3674150302704588736207170752*c_1001_\ 7 + 5611192025235766832038915479/7348300605409177472414341504, c_1001_12 + 1086885061879262424609603/3674150302704588736207170752*c_10\ 01_7^17 + 4235341145843614915712837/7348300605409177472414341504*c_\ 1001_7^16 + 24010408073702848894/57408598479759199003237043*c_1001_\ 7^15 + 496045880434074460288953/3674150302704588736207170752*c_1001\ _7^14 + 30690700497252854480086065/3674150302704588736207170752*c_1\ 001_7^13 - 12770804799694095319792349/7348300605409177472414341504*\ c_1001_7^12 - 139080793407531395645527417/1837075151352294368103585\ 376*c_1001_7^11 - 196996150955863267977963715/367415030270458873620\ 7170752*c_1001_7^10 + 715829684057500510859080215/36741503027045887\ 36207170752*c_1001_7^9 - 795271893303973383360925665/73483006054091\ 77472414341504*c_1001_7^8 - 15865859342747921741669108/574085984797\ 59199003237043*c_1001_7^7 + 609478217399655159595354431/36741503027\ 04588736207170752*c_1001_7^6 + 1562756634960404330869903197/9185375\ 75676147184051792688*c_1001_7^5 - 6018144752215407161816550569/3674\ 150302704588736207170752*c_1001_7^4 - 577177623348160921135130369/459268787838073592025896344*c_1001_7^3 + 1648803322158573755871917507/459268787838073592025896344*c_1001_7^2 - 9030355895363402693274730017/3674150302704588736207170752*c_1001_\ 7 - 5611192025235766832038915479/7348300605409177472414341504, c_1001_4 + 15047384466927131161391609/29393202421636709889657366016*c_1\ 001_7^17 + 53683877693968526998932111/29393202421636709889657366016\ *c_1001_7^16 + 43647737998579175054442899/1469660121081835494482868\ 3008*c_1001_7^15 + 74762265822166783955647875/146966012108183549448\ 28683008*c_1001_7^14 + 705746393790504860830007839/2939320242163670\ 9889657366016*c_1001_7^13 + 1192642295339623563549680997/2939320242\ 1636709889657366016*c_1001_7^12 - 817326613470617160016579131/14696\ 601210818354944828683008*c_1001_7^11 - 2433155231865941725659034459/14696601210818354944828683008*c_1001_7\ ^10 + 3787105784561416904735301407/29393202421636709889657366016*c_\ 1001_7^9 + 3622835118363101332669061405/293932024216367098896573660\ 16*c_1001_7^8 - 5125798886537762819549365415/1469660121081835494482\ 8683008*c_1001_7^7 - 9814228656875430100317838713/14696601210818354\ 944828683008*c_1001_7^6 + 26591508782604404060861206689/14696601210\ 818354944828683008*c_1001_7^5 + 1854411805985941546619330145/146966\ 01210818354944828683008*c_1001_7^4 - 3241740410857181333299420145/1837075151352294368103585376*c_1001_7^\ 3 + 3148737611939049369617542037/1837075151352294368103585376*c_100\ 1_7^2 + 28124322366194332656129140197/29393202421636709889657366016\ *c_1001_7 - 17867740419953569865893117745/2939320242163670988965736\ 6016, c_1001_7^18 + 2*c_1001_7^17 + 3*c_1001_7^16 + 8*c_1001_7^15 + 41*c_1001_7^14 + 26*c_1001_7^13 - 119*c_1001_7^12 - 40*c_1001_7^11 + 373*c_1001_7^10 - 622*c_1001_7^9 + 25*c_1001_7^8 - 844*c_1001_7^7 + 4476*c_1001_7^6 - 7880*c_1001_7^5 + 7798*c_1001_7^4 - 2976*c_1001_7^3 + 381*c_1001_7^2 + 902*c_1001_7 + 493 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.300 seconds, Total memory usage: 32.09MB