Magma V2.19-8 Wed Aug 21 2013 01:06:27 on localhost [Seed = 4020893472] Type ? for help. Type -D to quit. Loading file "L14n32702__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32702 geometric_solution 11.86149353 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 0 -1 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.232272709717 0.651726202479 0 2 6 5 0132 2310 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 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.986514502367 0.984142636342 7 0 7 1 0132 0132 2310 3201 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 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.363895177261 1.454383915781 8 4 9 0 0132 2103 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 0 0 0 0 0 0 0 0 1 0 -1 4 -1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.610356929962 0.957860257622 7 3 0 6 3120 2103 0132 0321 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 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.049237281073 1.072156837982 10 11 1 10 0132 0132 0132 2031 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 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.838774593923 1.068869837991 7 4 9 1 2103 0321 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.426494715748 0.568818133483 2 2 6 4 0132 3201 2103 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.274183775609 0.371184827956 3 9 10 12 0132 3120 0132 0132 1 1 1 1 0 0 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 1 -4 3 0 0 0 0 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.857144916029 0.368043316859 11 8 6 3 3012 3120 0321 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 0 0 0 0 0 0 0 -3 0 0 3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.313485357148 0.677619522199 5 5 12 8 0132 1302 3012 0132 1 1 1 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 -4 4 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.545632185896 0.579011399926 12 5 12 9 3012 0132 1302 1230 1 1 1 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 -3 0 0 3 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.537774286376 1.265683635000 11 10 8 11 2031 1230 0132 1230 1 1 0 1 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 0 -3 3 0 0 0 0 0 -1 0 1 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.715637305362 0.669264444444 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : negation(d['c_0011_9']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0011_3'], 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : d['c_0011_3'], 'c_1001_9' : negation(d['c_1001_8']), 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : negation(d['c_0101_6']), 'c_1010_10' : d['c_1001_8'], 's_0_10' : d['1'], 's_0_11' : 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_12']), 'c_0101_10' : negation(d['c_0011_12']), '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' : 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' : 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_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_8']), 'c_1100_4' : d['c_1001_6'], 'c_1100_7' : negation(d['c_0101_1']), 'c_1100_6' : negation(d['c_1001_8']), 'c_1100_1' : negation(d['c_1001_8']), 'c_1100_0' : d['c_1001_6'], 'c_1100_3' : d['c_1001_6'], 'c_1100_2' : d['c_0011_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : d['c_0011_9'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_1001_0']), 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : negation(d['c_1001_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_6']), 'c_1010_0' : d['c_0011_3'], 'c_1010_9' : d['c_0011_3'], 'c_1010_8' : negation(d['c_0011_9']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_9'], 's_1_7' : negation(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_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_3'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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_0011_9'], 'c_0110_10' : d['c_0101_0'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_12'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_6']), 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_6'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0011_12']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : negation(d['c_0011_6']), 'c_1100_8' : d['c_0011_9']})} 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_12, c_0011_3, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_12, c_0101_6, c_1001_0, c_1001_6, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 997904698286201399709332026982663415589032445/188384159965235345738\ 242872130842189876095436*c_1001_8^16 + 1830581499427735762559092292702035341105647029/47096039991308836434\ 560718032710547469023859*c_1001_8^15 - 1863983854957613621198041945410588441647443699/47096039991308836434\ 560718032710547469023859*c_1001_8^14 - 185760879857201377067265267204747057655528353775/188384159965235345\ 738242872130842189876095436*c_1001_8^13 + 66609659986027263407846730075127466891103068456/4709603999130883643\ 4560718032710547469023859*c_1001_8^12 + 815465149431567409019400773203781033883097784593/188384159965235345\ 738242872130842189876095436*c_1001_8^11 - 958398863889568475566686222093181999338828900017/188384159965235345\ 738242872130842189876095436*c_1001_8^10 - 129359403264550669071856884402997187212358583761/104657866647352969\ 85457937340602343882005302*c_1001_8^9 + 403163886724508300240747451572073270063370705121/470960399913088364\ 34560718032710547469023859*c_1001_8^8 + 1293186655747455237250393689377824271534114272495/62794719988411781\ 912747624043614063292031812*c_1001_8^7 - 261642179862898121543730804387274993182546560599/941920799826176728\ 69121436065421094938047718*c_1001_8^6 - 1887861053248104875288620350791817066757202345981/94192079982617672\ 869121436065421094938047718*c_1001_8^5 - 388275827687005412234513135354820753519853446419/627947199884117819\ 12747624043614063292031812*c_1001_8^4 + 1162735062987839721075014022792611537868405904447/18838415996523534\ 5738242872130842189876095436*c_1001_8^3 + 1114384533192219709117020386484399606488743762405/18838415996523534\ 5738242872130842189876095436*c_1001_8^2 + 126503525115087341048638590107669596915089267179/627947199884117819\ 12747624043614063292031812*c_1001_8 + 61757914645580015410491947253884546117112405005/1883841599652353457\ 38242872130842189876095436, c_0011_0 - 1, c_0011_10 + 1, c_0011_12 + 22098711393586097845240136911040/13642549198587332471103664\ 4337783*c_1001_8^16 + 184615426954951633848641619588187/13642549198\ 5873324711036644337783*c_1001_8^15 + 39935700239491945562357987828051/136425491985873324711036644337783*\ c_1001_8^14 - 3916968731559006365767944943082431/136425491985873324\ 711036644337783*c_1001_8^13 + 2044009850819538380151694390627444/13\ 6425491985873324711036644337783*c_1001_8^12 + 17102676045674468120903481797719144/1364254919858733247110366443377\ 83*c_1001_8^11 - 1374191156712837055515342783045292/454751639952911\ 08237012214779261*c_1001_8^10 - 41927781595784478715781969431310089\ /136425491985873324711036644337783*c_1001_8^9 - 1728409435820522075088287740350209/13642549198587332471103664433778\ 3*c_1001_8^8 + 17352952211706607535894106572005140/4547516399529110\ 8237012214779261*c_1001_8^7 + 20018060531742931901605799508011825/1\ 36425491985873324711036644337783*c_1001_8^6 - 10049342912091040698031645134091515/4547516399529110823701221477926\ 1*c_1001_8^5 - 6256436050408784433959261387030917/45475163995291108\ 237012214779261*c_1001_8^4 + 543359942342731869064303758039955/1364\ 25491985873324711036644337783*c_1001_8^3 + 1078032855781325369325588762077248/45475163995291108237012214779261\ *c_1001_8^2 + 882674794842450610078363796532791/1364254919858733247\ 11036644337783*c_1001_8 + 50002302710675701881860159206696/13642549\ 1985873324711036644337783, c_0011_3 - 1003394725071134247529145578580/1364254919858733247110366443\ 37783*c_1001_8^16 - 1146571369182643636629501836288/454751639952911\ 08237012214779261*c_1001_8^15 + 40228263710633497857998458953736/13\ 6425491985873324711036644337783*c_1001_8^14 + 194799087604571434509462782821016/136425491985873324711036644337783\ *c_1001_8^13 - 949692421262625900536440015884857/136425491985873324\ 711036644337783*c_1001_8^12 - 139294751915645648220716835132146/454\ 75163995291108237012214779261*c_1001_8^11 + 1273941747544718485524836687832360/45475163995291108237012214779261\ *c_1001_8^10 + 1247363473755611724713111615282929/13642549198587332\ 4711036644337783*c_1001_8^9 - 2820528972979142607082871748961425/45\ 475163995291108237012214779261*c_1001_8^8 - 918873960103771352184246918171514/45475163995291108237012214779261*\ c_1001_8^7 + 9133414613059209414465397225475332/1364254919858733247\ 11036644337783*c_1001_8^6 + 4815736590083520080535562855432357/1364\ 25491985873324711036644337783*c_1001_8^5 - 4797882775527292117817023079342066/13642549198587332471103664433778\ 3*c_1001_8^4 - 994069745231296317474681243744456/454751639952911082\ 37012214779261*c_1001_8^3 + 40014886167117227792400748383936/454751\ 63995291108237012214779261*c_1001_8^2 + 652754102182043313353396410875565/136425491985873324711036644337783\ *c_1001_8 + 38497282492565947046145677630920/4547516399529110823701\ 2214779261, c_0011_6 + 3253123536400559467068172318180/1364254919858733247110366443\ 37783*c_1001_8^16 + 7621943677904745619270822745513/454751639952911\ 08237012214779261*c_1001_8^15 - 28875401125413321768481660280780/13\ 6425491985873324711036644337783*c_1001_8^14 - 570912913206877557847979963181916/136425491985873324711036644337783\ *c_1001_8^13 + 1094933087548586484953627982453454/13642549198587332\ 4711036644337783*c_1001_8^12 + 643926573583675892873601421297291/45\ 475163995291108237012214779261*c_1001_8^11 - 1426648059134464509826389951673339/45475163995291108237012214779261\ *c_1001_8^10 - 4525336710163942778818687724064047/13642549198587332\ 4711036644337783*c_1001_8^9 + 3107605755184869801963394024339426/45\ 475163995291108237012214779261*c_1001_8^8 + 2132446681892186214592102062552509/45475163995291108237012214779261\ *c_1001_8^7 - 10140340903687620821357204549307821/13642549198587332\ 4711036644337783*c_1001_8^6 - 7123707472405222904399961204081950/13\ 6425491985873324711036644337783*c_1001_8^5 + 5993930250938878057392125608884187/13642549198587332471103664433778\ 3*c_1001_8^4 + 1263435917288774103495858967973365/45475163995291108\ 237012214779261*c_1001_8^3 - 199201259478094869671351095648093/4547\ 5163995291108237012214779261*c_1001_8^2 - 670362233958521041334095842175697/136425491985873324711036644337783\ *c_1001_8 - 68269338156430191897629344229879/4547516399529110823701\ 2214779261, c_0011_9 + 16205498213845599854200140485345/136425491985873324711036644\ 337783*c_1001_8^16 + 136818123240857415009249643588361/136425491985\ 873324711036644337783*c_1001_8^15 + 44855410797541283384927909340569/136425491985873324711036644337783*\ c_1001_8^14 - 945966965711981664347904939577172/4547516399529110823\ 7012214779261*c_1001_8^13 + 424042864952618658384570609920892/45475\ 163995291108237012214779261*c_1001_8^12 + 12087923634959367268248621433529240/1364254919858733247110366443377\ 83*c_1001_8^11 - 617398433873159132474015331261150/4547516399529110\ 8237012214779261*c_1001_8^10 - 28684132528094738017172122858427836/\ 136425491985873324711036644337783*c_1001_8^9 - 3845915377233234663916761097429729/13642549198587332471103664433778\ 3*c_1001_8^8 + 11036084352945913009051846774256160/4547516399529110\ 8237012214779261*c_1001_8^7 + 17246972228515246413093145698454493/1\ 36425491985873324711036644337783*c_1001_8^6 - 15654918012524416771416467887738262/1364254919858733247110366443377\ 83*c_1001_8^5 - 14031416048421763131007730301421583/136425491985873\ 324711036644337783*c_1001_8^4 - 3619622039146765970937899834438494/\ 136425491985873324711036644337783*c_1001_8^3 + 513033428283570130998312861208510/45475163995291108237012214779261*\ c_1001_8^2 + 1307749973476169950921907881391552/1364254919858733247\ 11036644337783*c_1001_8 + 318004409028664268739219432367682/1364254\ 91985873324711036644337783, c_0101_0 + 8138864099406618754274549765275/1364254919858733247110366443\ 37783*c_1001_8^16 + 77616791440955320742602578501785/13642549198587\ 3324711036644337783*c_1001_8^15 + 94570497429027979742617569830722/\ 136425491985873324711036644337783*c_1001_8^14 - 1431718288092851429100648187756208/13642549198587332471103664433778\ 3*c_1001_8^13 - 972154170490997276992525442779561/13642549198587332\ 4711036644337783*c_1001_8^12 + 7267372394987423343565143802360586/1\ 36425491985873324711036644337783*c_1001_8^11 + 2071042626193977146902320417085675/45475163995291108237012214779261\ *c_1001_8^10 - 17654261841212497027540442907118670/1364254919858733\ 24711036644337783*c_1001_8^9 - 20016395711474947407576147941455198/\ 136425491985873324711036644337783*c_1001_8^8 + 6338574242978879544747894083378508/45475163995291108237012214779261\ *c_1001_8^7 + 32340176423125235213641207971925504/13642549198587332\ 4711036644337783*c_1001_8^6 - 755281377464931518777247992769259/454\ 75163995291108237012214779261*c_1001_8^5 - 7325981431745330317277989072121121/45475163995291108237012214779261\ *c_1001_8^4 - 8990899679172882547720408466362369/136425491985873324\ 711036644337783*c_1001_8^3 + 622937194297214724967475090167801/4547\ 5163995291108237012214779261*c_1001_8^2 + 1833377736906645009665690591401618/13642549198587332471103664433778\ 3*c_1001_8 + 432093219830164481409066431609087/13642549198587332471\ 1036644337783, c_0101_1 - 1444968643185075857141607939320/4547516399529110823701221477\ 9261*c_1001_8^16 - 47485164549643719942101011744313/136425491985873\ 324711036644337783*c_1001_8^15 - 34155891570652474061542016546853/4\ 5475163995291108237012214779261*c_1001_8^14 + 740328339757697063700371975238793/136425491985873324711036644337783\ *c_1001_8^13 + 1558462312050604722742074915616145/13642549198587332\ 4711036644337783*c_1001_8^12 - 4387564062762758592050090609250116/1\ 36425491985873324711036644337783*c_1001_8^11 - 2480083033374828357882362053247699/45475163995291108237012214779261\ *c_1001_8^10 + 3518801302648385537114965799368866/45475163995291108\ 237012214779261*c_1001_8^9 + 20043046426875226315634039316490465/13\ 6425491985873324711036644337783*c_1001_8^8 - 3611506443585078428106168421627224/45475163995291108237012214779261\ *c_1001_8^7 - 9365118046997104236711853013698804/454751639952911082\ 37012214779261*c_1001_8^6 - 1069567925759252661134261817136148/1364\ 25491985873324711036644337783*c_1001_8^5 + 18464442877394281624244478121498933/1364254919858733247110366443377\ 83*c_1001_8^4 + 6930758661011873957808993942209959/1364254919858733\ 24711036644337783*c_1001_8^3 - 655486551192177373442902512767227/45\ 475163995291108237012214779261*c_1001_8^2 - 540481421489039250834564580620436/45475163995291108237012214779261*\ c_1001_8 - 336666727614263813184205088750231/1364254919858733247110\ 36644337783, c_0101_12 - 8066634114438981099925590720070/136425491985873324711036644\ 337783*c_1001_8^16 - 19733777266634031422215688362192/4547516399529\ 1108237012214779261*c_1001_8^15 + 49715086631486696357689660490153/\ 136425491985873324711036644337783*c_1001_8^14 + 1406182609043093563943066630975308/13642549198587332471103664433778\ 3*c_1001_8^13 - 2244282765348853252146237272542237/1364254919858733\ 24711036644337783*c_1001_8^12 - 1606850413323981308227825877056218/\ 45475163995291108237012214779261*c_1001_8^11 + 2688441060067136279376335748346825/45475163995291108237012214779261\ *c_1001_8^10 + 11029870686882240989631679951309166/1364254919858733\ 24711036644337783*c_1001_8^9 - 5390160111413904247886462281341823/4\ 5475163995291108237012214779261*c_1001_8^8 - 4697510109967033464303952690877652/45475163995291108237012214779261\ *c_1001_8^7 + 15093204194609988800548062273471011/13642549198587332\ 4711036644337783*c_1001_8^6 + 13389073880129622215084723909430485/1\ 36425491985873324711036644337783*c_1001_8^5 - 7946528246814227820826236914941780/13642549198587332471103664433778\ 3*c_1001_8^4 - 1790425880008705525594169543974625/45475163995291108\ 237012214779261*c_1001_8^3 + 109903766013644593969162228959291/4547\ 5163995291108237012214779261*c_1001_8^2 + 662053255416348383454819354347849/136425491985873324711036644337783\ *c_1001_8 + 38029603600500070889948999747135/4547516399529110823701\ 2214779261, c_0101_6 - 1140164003378523735540593056220/4547516399529110823701221477\ 9261*c_1001_8^16 - 11001074862695251730647351572976/454751639952911\ 08237012214779261*c_1001_8^15 - 14445194880132087738032951773036/45\ 475163995291108237012214779261*c_1001_8^14 + 200168326124865236248749092894491/45475163995291108237012214779261*\ c_1001_8^13 + 167423117148903420920102631345228/4547516399529110823\ 7012214779261*c_1001_8^12 - 992642640034544046410407038889920/45475\ 163995291108237012214779261*c_1001_8^11 - 1114193213228833706147695987754453/45475163995291108237012214779261\ *c_1001_8^10 + 2314655749206800482364807924427432/45475163995291108\ 237012214779261*c_1001_8^9 + 3513959373117991126546191504972832/454\ 75163995291108237012214779261*c_1001_8^8 - 1989264109419478577326745300436247/45475163995291108237012214779261\ *c_1001_8^7 - 5506480862484808377701077969351092/454751639952911082\ 37012214779261*c_1001_8^6 - 937780544700401106810864018584021/45475\ 163995291108237012214779261*c_1001_8^5 + 3339198648724338594673818724121438/45475163995291108237012214779261\ *c_1001_8^4 + 2304576739440971057602681179862106/454751639952911082\ 37012214779261*c_1001_8^3 + 74692634876098356656018591834739/454751\ 63995291108237012214779261*c_1001_8^2 - 363810714695457081574211754892535/45475163995291108237012214779261*\ c_1001_8 - 155748611755228877539731245609506/4547516399529110823701\ 2214779261, c_1001_0 - 5453426022874305315254564090185/1364254919858733247110366443\ 37783*c_1001_8^16 - 14083634275009558611523400069831/45475163995291\ 108237012214779261*c_1001_8^15 + 17678538805365842911540877103911/1\ 36425491985873324711036644337783*c_1001_8^14 + 972415950102107989562990999036749/136425491985873324711036644337783\ *c_1001_8^13 - 1085083626132173776336678323749563/13642549198587332\ 4711036644337783*c_1001_8^12 - 1297874809115329232379348176700152/4\ 5475163995291108237012214779261*c_1001_8^11 + 1149256282860410940234595262225267/45475163995291108237012214779261\ *c_1001_8^10 + 9647852719174976540889125039198585/13642549198587332\ 4711036644337783*c_1001_8^9 - 1748073311295284724159920248908321/45\ 475163995291108237012214779261*c_1001_8^8 - 4286294280199168330718207139428137/45475163995291108237012214779261\ *c_1001_8^7 + 1580714221164744586781067041599088/136425491985873324\ 711036644337783*c_1001_8^6 + 9983980038249146462705158215426737/136\ 425491985873324711036644337783*c_1001_8^5 + 1321688375664514689997000665699071/13642549198587332471103664433778\ 3*c_1001_8^4 - 876821509422740475269875864817999/454751639952911082\ 37012214779261*c_1001_8^3 - 375684811520946369618095396785277/45475\ 163995291108237012214779261*c_1001_8^2 + 281593159501581958195721053797725/136425491985873324711036644337783\ *c_1001_8 + 72269215869923766421784640222387/4547516399529110823701\ 2214779261, c_1001_6 - 525869190792341280375504576180/45475163995291108237012214779\ 261*c_1001_8^16 - 17676887279600220845456452217017/1364254919858733\ 24711036644337783*c_1001_8^15 - 11535487658708213307298061752720/45\ 475163995291108237012214779261*c_1001_8^14 + 321161691599413542198752088417656/136425491985873324711036644337783\ *c_1001_8^13 + 674443749051896747766649726645009/136425491985873324\ 711036644337783*c_1001_8^12 - 2628412664842535476450293874182976/13\ 6425491985873324711036644337783*c_1001_8^11 - 923617296952860491437448940844073/45475163995291108237012214779261*\ c_1001_8^10 + 2623834152346871608388049023376102/454751639952911082\ 37012214779261*c_1001_8^9 + 7812393466570166295377354099203847/1364\ 25491985873324711036644337783*c_1001_8^8 - 4162792594153394528678649507679363/45475163995291108237012214779261\ *c_1001_8^7 - 3921327553446175897752385430662257/454751639952911082\ 37012214779261*c_1001_8^6 + 8252660456174106439412746295676908/1364\ 25491985873324711036644337783*c_1001_8^5 + 9611987764224566018409898710114116/13642549198587332471103664433778\ 3*c_1001_8^4 - 1912409379642108664333621397210770/13642549198587332\ 4711036644337783*c_1001_8^3 - 567191426868058386090628164773302/454\ 75163995291108237012214779261*c_1001_8^2 - 35544045897623602701248818546940/45475163995291108237012214779261*c\ _1001_8 + 103415650124872775003084447555600/13642549198587332471103\ 6644337783, c_1001_8^17 + 34/5*c_1001_8^16 - 57/5*c_1001_8^15 - 182*c_1001_8^14 + 367*c_1001_8^13 + 3351/5*c_1001_8^12 - 6983/5*c_1001_8^11 - 8983/5*c_1001_8^10 + 14272/5*c_1001_8^9 + 14779/5*c_1001_8^8 - 12922/5*c_1001_8^7 - 16923/5*c_1001_8^6 + 4258/5*c_1001_8^5 + 8372/5*c_1001_8^4 + 2317/5*c_1001_8^3 - 844/5*c_1001_8^2 - 593/5*c_1001_8 - 131/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.770 Total time: 0.980 seconds, Total memory usage: 32.09MB