Magma V2.19-8 Tue Aug 20 2013 23:45:31 on localhost [Seed = 2766324066] Type ? for help. Type -D to quit. Loading file "K13n3238__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3238 geometric_solution 10.91519174 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 -1 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.718939887930 0.795849791346 0 5 7 6 0132 0132 0132 0132 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 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.614042830664 0.854682654849 8 0 7 9 0132 0132 3120 0132 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 0 0 0 0 0 0 0 0 -1 0 1 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.222734275794 0.893619876381 10 11 5 0 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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.873722188207 0.446994479079 8 9 0 6 3012 3012 0132 2031 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 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.680161913569 0.515751105647 10 1 8 3 1302 0132 0321 1302 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.034509878489 0.519798695770 11 4 1 9 0132 1302 0132 2103 0 0 0 0 0 0 0 0 1 0 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 -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.672543105055 0.624723089109 11 9 2 1 2103 2103 3120 0132 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 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.450741177875 0.687633482743 2 10 5 4 0132 1302 0321 1230 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 0 0 0 1 0 -1 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.286987382333 0.763363051598 4 7 2 6 1230 2103 0132 2103 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 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.180121139903 0.843406998726 3 5 11 8 0132 2031 0132 2031 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 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.603711476315 0.194882532859 6 3 7 10 0132 0132 2103 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.878323048478 0.682724496857 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_7'], 'c_1001_10' : negation(d['c_0110_5']), 'c_1001_5' : d['c_0110_4'], 'c_1001_4' : negation(d['c_0011_9']), 'c_1001_7' : d['c_0011_9'], 'c_1001_6' : d['c_0110_4'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_7'], 'c_1001_3' : negation(d['c_0110_5']), 'c_1001_2' : negation(d['c_0011_9']), 'c_1001_9' : d['c_0011_7'], 'c_1001_8' : d['c_0101_3'], 'c_1010_11' : negation(d['c_0110_5']), 'c_1010_10' : d['c_0011_0'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], '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_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' : negation(d['c_0101_11']), 'c_1100_8' : d['c_0110_4'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_1001_1']), 'c_1100_7' : negation(d['c_0011_4']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_0101_11']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_1']), 'c_1100_10' : negation(d['c_0101_1']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : d['c_0011_7'], 'c_1010_2' : d['c_0011_7'], 'c_1010_1' : d['c_0110_4'], 'c_1010_0' : negation(d['c_0011_9']), 'c_1010_9' : negation(d['c_1001_1']), 'c_1010_8' : d['c_0101_1'], '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'], '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_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(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_0101_0'], 'c_0110_10' : d['c_0101_3'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_4'], 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0110_4, c_0110_5, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 2116840242993995974945432039705993/2414251085426029934430889905830*\ c_1001_1^18 - 2121864256782687690556734695652624/120712554271301496\ 7215444952915*c_1001_1^17 - 14240844259808635646381869336068889/241\ 4251085426029934430889905830*c_1001_1^16 - 15961324031836723722208161071521001/1207125542713014967215444952915\ *c_1001_1^15 - 48577803257527344844456715252493947/2414251085426029\ 934430889905830*c_1001_1^14 - 2594146737596493852356565843984311/10\ 4967438496783910192647387210*c_1001_1^13 - 39242087347677866712132245939503161/1207125542713014967215444952915\ *c_1001_1^12 - 66257232036317827717518681696090603/2414251085426029\ 934430889905830*c_1001_1^11 - 40800264095415443387198822140237119/2\ 414251085426029934430889905830*c_1001_1^10 - 37280646860513632447025027231634763/2414251085426029934430889905830\ *c_1001_1^9 - 3106177389988985378151259254201305/482850217085205986\ 886177981166*c_1001_1^8 + 4268804513260813226190899971930253/241425\ 1085426029934430889905830*c_1001_1^7 - 18605893813276885368892322575308107/2414251085426029934430889905830\ *c_1001_1^6 - 310646551916168764984503431378189/2541316932027399930\ 9798841114*c_1001_1^5 - 8003499285699942711025757448153394/12071255\ 42713014967215444952915*c_1001_1^4 - 10495824510655491064180879565192223/1207125542713014967215444952915\ *c_1001_1^3 - 7899995602650437849594139036995232/120712554271301496\ 7215444952915*c_1001_1^2 + 791525758860853857084678623764384/120712\ 5542713014967215444952915*c_1001_1 - 2074540048072940465646169527737551/2414251085426029934430889905830, c_0011_0 - 1, c_0011_10 + 190704699091718790020742/438112769718201553456519*c_1001_1^\ 18 + 415267314737311881703421/438112769718201553456519*c_1001_1^17 + 1314884192558009537529058/438112769718201553456519*c_1001_1^16 + 2959305940131598690538217/438112769718201553456519*c_1001_1^15 + 4523971843620363131656524/438112769718201553456519*c_1001_1^14 + 5236310837675817844758614/438112769718201553456519*c_1001_1^13 + 6415575243976626003227474/438112769718201553456519*c_1001_1^12 + 5235381808147902384921031/438112769718201553456519*c_1001_1^11 + 2670620415609231429399905/438112769718201553456519*c_1001_1^10 + 1908985526710424660484321/438112769718201553456519*c_1001_1^9 + 808898637574898624887395/438112769718201553456519*c_1001_1^8 - 389973936420133030243479/438112769718201553456519*c_1001_1^7 + 1427193327529407160375963/438112769718201553456519*c_1001_1^6 + 2771195596133814960462779/438112769718201553456519*c_1001_1^5 + 2018093327329437153388427/438112769718201553456519*c_1001_1^4 + 1341851414572473827467947/438112769718201553456519*c_1001_1^3 + 722812796400909240937283/438112769718201553456519*c_1001_1^2 - 203242110988173632695375/438112769718201553456519*c_1001_1 + 307901567281622602540455/438112769718201553456519, c_0011_4 + 360004357158574803356318/438112769718201553456519*c_1001_1^1\ 8 + 596840809046481469805067/438112769718201553456519*c_1001_1^17 + 2098058896795146439626345/438112769718201553456519*c_1001_1^16 + 4468009736422999733800657/438112769718201553456519*c_1001_1^15 + 5999865800724486518840410/438112769718201553456519*c_1001_1^14 + 6474214336033759486856628/438112769718201553456519*c_1001_1^13 + 8900838877751425353548174/438112769718201553456519*c_1001_1^12 + 6004001577158895467255311/438112769718201553456519*c_1001_1^11 + 2065927271617416255723755/438112769718201553456519*c_1001_1^10 + 3592382588467128168428635/438112769718201553456519*c_1001_1^9 + 952721678711640885160030/438112769718201553456519*c_1001_1^8 - 1761316612810150304257196/438112769718201553456519*c_1001_1^7 + 3094645327307884579940800/438112769718201553456519*c_1001_1^6 + 4600674840329394110590372/438112769718201553456519*c_1001_1^5 + 326344319537108455348073/438112769718201553456519*c_1001_1^4 + 1549011923300543442685714/438112769718201553456519*c_1001_1^3 + 1804751960472420263238812/438112769718201553456519*c_1001_1^2 - 953505312256107636200474/438112769718201553456519*c_1001_1 + 184117980877605731074703/438112769718201553456519, c_0011_7 + 150666766554212193410720/438112769718201553456519*c_1001_1^1\ 8 + 363957904270986915126266/438112769718201553456519*c_1001_1^17 + 1250266098474166884284445/438112769718201553456519*c_1001_1^16 + 2937252607623425854029175/438112769718201553456519*c_1001_1^15 + 5144320187798909555601443/438112769718201553456519*c_1001_1^14 + 7355041194029593973938021/438112769718201553456519*c_1001_1^13 + 9798284435875015644715628/438112769718201553456519*c_1001_1^12 + 9629515778385061582891698/438112769718201553456519*c_1001_1^11 + 7706616337306530574147467/438112769718201553456519*c_1001_1^10 + 5908467021312075270215798/438112769718201553456519*c_1001_1^9 + 2573171867424463832168434/438112769718201553456519*c_1001_1^8 - 2686311162282785888139/438112769718201553456519*c_1001_1^7 + 909908379916671235812225/438112769718201553456519*c_1001_1^6 + 2437821577511976852094529/438112769718201553456519*c_1001_1^5 + 2568459892360980334377637/438112769718201553456519*c_1001_1^4 + 3496303669600785966641394/438112769718201553456519*c_1001_1^3 + 3247181793522605648800428/438112769718201553456519*c_1001_1^2 + 520634468261127343186232/438112769718201553456519*c_1001_1 - 134701467150057858103810/438112769718201553456519, c_0011_9 + 217201784857499989385790/438112769718201553456519*c_1001_1^1\ 8 + 436200631520539641115005/438112769718201553456519*c_1001_1^17 + 1351859535828128699039102/438112769718201553456519*c_1001_1^16 + 3130615319308289358298660/438112769718201553456519*c_1001_1^15 + 4421979200780158209348666/438112769718201553456519*c_1001_1^14 + 5045842015647903493711350/438112769718201553456519*c_1001_1^13 + 6806227759214552223636983/438112769718201553456519*c_1001_1^12 + 5870169970260241872987838/438112769718201553456519*c_1001_1^11 + 2848126091396401598953575/438112769718201553456519*c_1001_1^10 + 3600769299286859836536806/438112769718201553456519*c_1001_1^9 + 2210971050844817305432161/438112769718201553456519*c_1001_1^8 - 494971116621217158559957/438112769718201553456519*c_1001_1^7 + 1916789362933863566995376/438112769718201553456519*c_1001_1^6 + 3517451129604626358936107/438112769718201553456519*c_1001_1^5 + 851353870949954911174656/438112769718201553456519*c_1001_1^4 + 855174002510830298653383/438112769718201553456519*c_1001_1^3 + 1769587672947395268588191/438112769718201553456519*c_1001_1^2 + 286026526401485859852360/438112769718201553456519*c_1001_1 - 129782092924778231590455/438112769718201553456519, c_0101_0 - 70291345084088724517313/438112769718201553456519*c_1001_1^18 - 40812223515467213899538/438112769718201553456519*c_1001_1^17 - 281226232008895587015479/438112769718201553456519*c_1001_1^16 - 359304605968177875302511/438112769718201553456519*c_1001_1^15 - 48113953378088067271809/438112769718201553456519*c_1001_1^14 + 521977857054296172444714/438112769718201553456519*c_1001_1^13 + 791641823435851919537096/438112769718201553456519*c_1001_1^12 + 2524259181325578014705236/438112769718201553456519*c_1001_1^11 + 2848078598750892465608214/438112769718201553456519*c_1001_1^10 + 2041531265253156508384079/438112769718201553456519*c_1001_1^9 + 2408615137412497630871806/438112769718201553456519*c_1001_1^8 + 1366565815412390288803813/438112769718201553456519*c_1001_1^7 - 677140668855685908759880/438112769718201553456519*c_1001_1^6 + 213879906213158553914576/438112769718201553456519*c_1001_1^5 + 786157073552265485486957/438112769718201553456519*c_1001_1^4 + 502264315953868080783971/438112769718201553456519*c_1001_1^3 + 1202678115688191130339144/438112769718201553456519*c_1001_1^2 + 1279715788041932905742064/438112769718201553456519*c_1001_1 + 50244808531642016882025/438112769718201553456519, c_0101_1 + 107514421955191381752888/438112769718201553456519*c_1001_1^1\ 8 + 80213481360474117204986/438112769718201553456519*c_1001_1^17 + 462630605900568968259760/438112769718201553456519*c_1001_1^16 + 775179695734807634361461/438112769718201553456519*c_1001_1^15 + 519865549593796542038722/438112769718201553456519*c_1001_1^14 + 244365761387771842807331/438112769718201553456519*c_1001_1^13 + 637602283216477250452375/438112769718201553456519*c_1001_1^12 - 1288410994643324384043355/438112769718201553456519*c_1001_1^11 - 1928792227509512641067065/438112769718201553456519*c_1001_1^10 - 288548548933795589832778/438112769718201553456519*c_1001_1^9 - 1815958798982290198066296/438112769718201553456519*c_1001_1^8 - 1430867210047117521745414/438112769718201553456519*c_1001_1^7 + 1608784303654060942615245/438112769718201553456519*c_1001_1^6 + 469276939069349518823382/438112769718201553456519*c_1001_1^5 - 1133505602140189677917271/438112769718201553456519*c_1001_1^4 + 758394315619109140225099/438112769718201553456519*c_1001_1^3 - 153767988634030109006682/438112769718201553456519*c_1001_1^2 - 1209441692149269291522958/438112769718201553456519*c_1001_1 + 116562244747284740464511/438112769718201553456519, c_0101_11 + 134251943153787920046264/438112769718201553456519*c_1001_1^\ 18 + 137438227851122513692590/438112769718201553456519*c_1001_1^17 + 676540697076749843693808/438112769718201553456519*c_1001_1^16 + 1272885153680026703900249/438112769718201553456519*c_1001_1^15 + 1445753756056027704818040/438112769718201553456519*c_1001_1^14 + 1576187810423875998903596/438112769718201553456519*c_1001_1^13 + 2749042358179327739468690/438112769718201553456519*c_1001_1^12 + 879550967611077213903736/438112769718201553456519*c_1001_1^11 + 18956590930345854049096/438112769718201553456519*c_1001_1^10 + 1422206224454850483450610/438112769718201553456519*c_1001_1^9 - 520035473371035655351072/438112769718201553456519*c_1001_1^8 - 1584071827440661475734976/438112769718201553456519*c_1001_1^7 + 1838497469450609855363430/438112769718201553456519*c_1001_1^6 + 1007907880381131024371863/438112769718201553456519*c_1001_1^5 - 1004252885199415791681872/438112769718201553456519*c_1001_1^4 + 1541978864567998584501323/438112769718201553456519*c_1001_1^3 + 915159708717779135479074/438112769718201553456519*c_1001_1^2 - 981807241016470750107995/438112769718201553456519*c_1001_1 + 73961160016616005580644/438112769718201553456519, c_0101_3 - 449120227862793412070782/438112769718201553456519*c_1001_1^1\ 8 - 1072165708333034576566498/438112769718201553456519*c_1001_1^17 - 3436619156426688882229239/438112769718201553456519*c_1001_1^16 - 8072052278678813948421611/438112769718201553456519*c_1001_1^15 - 13315311865187989293790229/438112769718201553456519*c_1001_1^14 - 17561541944581649937525429/438112769718201553456519*c_1001_1^13 - 22753027662659236059204107/438112769718201553456519*c_1001_1^12 - 21603729229595810918057250/438112769718201553456519*c_1001_1^11 - 15485547512179676024076815/438112769718201553456519*c_1001_1^10 - 12155498961734197878959980/438112769718201553456519*c_1001_1^9 - 6051883460794351017195425/438112769718201553456519*c_1001_1^8 - 541551259527928992208440/438112769718201553456519*c_1001_1^7 - 3825966221985542520538056/438112769718201553456519*c_1001_1^6 - 7373338592391596162921081/438112769718201553456519*c_1001_1^5 - 6507341967649882632365458/438112769718201553456519*c_1001_1^4 - 7147499560249112526948268/438112769718201553456519*c_1001_1^3 - 5202237652419090264891872/438112769718201553456519*c_1001_1^2 - 1000779989791767899694499/438112769718201553456519*c_1001_1 - 471758756449650455161964/438112769718201553456519, c_0110_4 - 236602301512559881498831/438112769718201553456519*c_1001_1^1\ 8 - 420428982155151041480712/438112769718201553456519*c_1001_1^17 - 1487755775497953674867099/438112769718201553456519*c_1001_1^16 - 3225445955254265983603644/438112769718201553456519*c_1001_1^15 - 4634639730278476977170532/438112769718201553456519*c_1001_1^14 - 5518908235349258715945025/438112769718201553456519*c_1001_1^13 - 7345373616219750158894258/438112769718201553456519*c_1001_1^12 - 5408116382066787410168783/438112769718201553456519*c_1001_1^11 - 2880132400919786642002961/438112769718201553456519*c_1001_1^10 - 3273721876972404390193038/438112769718201553456519*c_1001_1^9 - 577765647109322693854807/438112769718201553456519*c_1001_1^8 + 900484518138732007890959/438112769718201553456519*c_1001_1^7 - 2487456944954937050866034/438112769718201553456519*c_1001_1^6 - 2775082398372228775777915/438112769718201553456519*c_1001_1^5 - 1210453518275738414173255/438112769718201553456519*c_1001_1^4 - 2596686129076640998504933/438112769718201553456519*c_1001_1^3 - 1074592793197297228046539/438112769718201553456519*c_1001_1^2 + 883094772926827841300367/438112769718201553456519*c_1001_1 - 425206372646340509011896/438112769718201553456519, c_0110_5 + 878306966050435086416734/438112769718201553456519*c_1001_1^1\ 8 + 1991644309096810029323727/438112769718201553456519*c_1001_1^17 + 6320995236166636238113413/438112769718201553456519*c_1001_1^16 + 14584234851547783997937791/438112769718201553456519*c_1001_1^15 + 23083071323320094591465550/438112769718201553456519*c_1001_1^14 + 28586286010497158958805978/438112769718201553456519*c_1001_1^13 + 36409745599501415543894202/438112769718201553456519*c_1001_1^12 + 32462026749140304006459367/438112769718201553456519*c_1001_1^11 + 20071343308848049850793698/438112769718201553456519*c_1001_1^10 + 15579894875368069544891241/438112769718201553456519*c_1001_1^9 + 7589629420618136897749584/438112769718201553456519*c_1001_1^8 - 1558208343927305519455904/438112769718201553456519*c_1001_1^7 + 6425432983490416197775194/438112769718201553456519*c_1001_1^6 + 14060801603414037932385092/438112769718201553456519*c_1001_1^5 + 9684794486601139736039106/438112769718201553456519*c_1001_1^4 + 9281590741466800325756700/438112769718201553456519*c_1001_1^3 + 6863138384638953170550645/438112769718201553456519*c_1001_1^2 + 9367532328279222853424/438112769718201553456519*c_1001_1 + 239361458523299495521502/438112769718201553456519, c_1001_1^19 + 15/7*c_1001_1^18 + 7*c_1001_1^17 + 16*c_1001_1^16 + 25*c_1001_1^15 + 219/7*c_1001_1^14 + 286/7*c_1001_1^13 + 254/7*c_1001_1^12 + 164/7*c_1001_1^11 + 141/7*c_1001_1^10 + 68/7*c_1001_1^9 - c_1001_1^8 + 60/7*c_1001_1^7 + 107/7*c_1001_1^6 + 67/7*c_1001_1^5 + 11*c_1001_1^4 + 62/7*c_1001_1^3 + 2/7*c_1001_1^2 + 6/7*c_1001_1 + 1/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.710 Total time: 2.919 seconds, Total memory usage: 64.12MB