Magma V2.19-8 Wed Aug 21 2013 01:07:15 on localhost [Seed = 2985797808] Type ? for help. Type -D to quit. Loading file "L14n32998__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32998 geometric_solution 12.39202434 oriented_manifold CS_known -0.0000000000000004 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 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 -1 0 1 0 0 1 -1 -1 -1 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379182020192 0.576076667261 0 5 7 6 0132 0132 0132 0132 1 1 1 0 0 0 0 0 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 0 1 -1 0 0 0 0 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.134583994852 0.938185348885 4 0 6 3 1023 0132 1302 1230 1 1 1 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 1 0 -1 -1 0 0 1 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.064193974195 1.247214506103 2 8 9 0 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 0 0 0 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.640702229087 0.516349956433 5 2 0 10 0132 1023 0132 0132 1 1 1 0 0 1 0 -1 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 1 -1 0 0 0 1 -1 0 -1 0 1 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422045363463 1.065448908124 4 1 8 11 0132 0132 2103 0132 1 1 0 1 0 0 0 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 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531553318083 0.927395473030 2 10 1 12 2031 3120 0132 0132 1 1 0 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 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.930482090036 1.516493546982 11 10 9 1 0132 1023 3012 0132 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 0 0 0 0 0 0 0 1 0 -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.329393476589 0.925967372418 5 3 9 11 2103 0132 1302 1023 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 1.041158824940 0.799668258005 8 7 12 3 2031 1230 1230 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.607538649913 0.701566381604 7 6 4 12 1023 3120 0132 1230 1 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 0 0 0 -1 0 1 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.102465847253 1.038430808916 7 12 5 8 0132 2103 0132 1023 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 0.531843742604 0.765726837907 10 11 6 9 3012 2103 0132 3012 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 0.130971379673 0.684171685194 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_0011_3'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : negation(d['c_0011_9']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0011_12'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : d['c_0101_7'], 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_0101_3'], 'c_1010_12' : negation(d['c_0101_9']), 'c_1010_11' : d['c_0101_9'], 'c_1010_10' : negation(d['c_0011_6']), '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_1'], 'c_0101_10' : negation(d['c_0011_9']), 's_2_0' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : d['c_0110_12'], 'c_1100_7' : negation(d['c_1001_9']), 'c_1100_6' : negation(d['c_1001_9']), 'c_1100_1' : negation(d['c_1001_9']), 'c_1100_0' : d['c_0110_12'], 'c_1100_3' : d['c_0110_12'], 'c_1100_2' : d['c_0101_0'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0110_12'], 'c_1100_11' : negation(d['c_0101_9']), 'c_1100_10' : d['c_0110_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_0011_12'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : d['c_0101_7'], 'c_1100_8' : d['c_0101_9'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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_1001_9']), '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_10'], '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_0101_7'], 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : negation(d['c_0011_6']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_9']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_9']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_9'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_9']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_6'])})} 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_3, c_0101_7, c_0101_9, c_0110_12, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 41925458917857906509263624871124159/2973295602394967159196584841390\ 21500*c_1001_9^13 - 300431109344273103168742537773683669/4459943403\ 59245073879487726208532250*c_1001_9^12 + 139896371858419930654214261921546589/148664780119748357959829242069\ 510750*c_1001_9^11 - 1651437772421233486658186164193286833/89198868\ 0718490147758975452417064500*c_1001_9^10 + 382598242339957298743546036421102467/234733863346971091515519855899\ 22750*c_1001_9^9 - 13342997270296142917664925448268758529/222997170\ 179622536939743863104266125*c_1001_9^8 + 31577338892046765334336402806973529249/2973295602394967159196584841\ 39021500*c_1001_9^7 - 32865855806597657213799819715512781441/297329\ 560239496715919658484139021500*c_1001_9^6 + 5688749079130903226227870173799152509/59465912047899343183931696827\ 804300*c_1001_9^5 - 68514136883241314509849275705943767059/89198868\ 0718490147758975452417064500*c_1001_9^4 - 1984585952292655973621545310689003022/22299717017962253693974386310\ 4266125*c_1001_9^3 + 106064493434202538884774081686823500357/891988\ 680718490147758975452417064500*c_1001_9^2 - 20044055651787215499886782635440662643/1783977361436980295517950904\ 83412900*c_1001_9 + 8541139692548315954147821952946464553/297329560\ 239496715919658484139021500, c_0011_0 - 1, c_0011_10 - 5395772084317475174356332/7005454433719550411866066675*c_10\ 01_9^13 - 563925087092497491304880366/21016363301158651235598200025\ *c_1001_9^12 + 412530593359594731725537458/210163633011586512355982\ 00025*c_1001_9^11 + 332398887380073031235755283/7005454433719550411\ 866066675*c_1001_9^10 + 6558849516405030588136773197/21016363301158\ 651235598200025*c_1001_9^9 - 12427937480440446360613466029/70054544\ 33719550411866066675*c_1001_9^8 + 15556631711671283635775626233/700\ 5454433719550411866066675*c_1001_9^7 - 21754605952877083718864516096/21016363301158651235598200025*c_1001_\ 9^6 + 7540281034210546510123271716/4203272660231730247119640005*c_1\ 001_9^5 - 11268568645770924026104981821/700545443371955041186606667\ 5*c_1001_9^4 - 10825114209332013536782862527/7005454433719550411866\ 066675*c_1001_9^3 + 28148316582785636780608454828/70054544337195504\ 11866066675*c_1001_9^2 - 1186262647430526228949416137/4203272660231\ 730247119640005*c_1001_9 - 21375885502051304897258527472/2101636330\ 1158651235598200025, c_0011_12 + 257036021431694901132753297/7005454433719550411866066675*c_\ 1001_9^13 - 1394113236740586965536158514/21016363301158651235598200\ 025*c_1001_9^12 - 598759573112146608689563643/210163633011586512355\ 98200025*c_1001_9^11 - 2739848769077255973098752643/700545443371955\ 0411866066675*c_1001_9^10 + 63031779939377598378491613038/210163633\ 01158651235598200025*c_1001_9^9 - 120912780119509636430657295373/21\ 016363301158651235598200025*c_1001_9^8 + 82902245646608393925279325771/21016363301158651235598200025*c_1001_\ 9^7 - 24241426957296540586428370984/21016363301158651235598200025*c\ _1001_9^6 + 6374469689122860713768716589/42032726602317302471196400\ 05*c_1001_9^5 + 15148862284299784698830653466/700545443371955041186\ 6066675*c_1001_9^4 - 217491354044335713733072776899/210163633011586\ 51235598200025*c_1001_9^3 + 149194461280671434449836758161/21016363\ 301158651235598200025*c_1001_9^2 + 5688638444037435457304563554/1401090886743910082373213335*c_1001_9 - 35167874726206344988034776821/7005454433719550411866066675, c_0011_3 - 4957820560655371683777708/1401090886743910082373213335*c_100\ 1_9^13 - 2435163803628345533928528/1401090886743910082373213335*c_1\ 001_9^12 - 1360076805836291199933786/1401090886743910082373213335*c\ _1001_9^11 + 105289095019874518563383727/14010908867439100823732133\ 35*c_1001_9^10 - 259715794889377784318367819/1401090886743910082373\ 213335*c_1001_9^9 + 140007341094301155143154354/1401090886743910082\ 373213335*c_1001_9^8 - 840842327683663131095713483/1401090886743910\ 082373213335*c_1001_9^7 + 2727438059424368321917611117/140109088674\ 3910082373213335*c_1001_9^6 - 477114144790049938590426851/280218177\ 348782016474642667*c_1001_9^5 + 1127559663514666388371353371/140109\ 0886743910082373213335*c_1001_9^4 - 2125824611815417515704610058/1401090886743910082373213335*c_1001_9^\ 3 + 1036438040106043158635507367/1401090886743910082373213335*c_100\ 1_9^2 + 682972867910096107415637286/280218177348782016474642667*c_1\ 001_9 - 3121102549055744632811564231/1401090886743910082373213335, c_0011_6 + 49706352579413820377648727/7005454433719550411866066675*c_10\ 01_9^13 - 117663132178860144233338008/7005454433719550411866066675*\ c_1001_9^12 - 703031690240315156419865963/2101636330115865123559820\ 0025*c_1001_9^11 - 1104988128252602572120999864/2101636330115865123\ 5598200025*c_1001_9^10 + 4732644280193944557226178761/7005454433719\ 550411866066675*c_1001_9^9 - 20150519827528057995374310218/21016363\ 301158651235598200025*c_1001_9^8 - 19327257152486303972047361639/21016363301158651235598200025*c_1001_\ 9^7 + 40636071003228774876166525481/21016363301158651235598200025*c\ _1001_9^6 - 2439856725297048949048152256/42032726602317302471196400\ 05*c_1001_9^5 + 54415540141885701369320832443/210163633011586512355\ 98200025*c_1001_9^4 - 27105142580610868350745987353/700545443371955\ 0411866066675*c_1001_9^3 - 2854794904385258561351213899/21016363301\ 158651235598200025*c_1001_9^2 + 18090426697113829336987190782/42032\ 72660231730247119640005*c_1001_9 - 9231313825219158211181951286/7005454433719550411866066675, c_0011_9 + 3499388069380237202850048/280218177348782016474642667*c_1001\ _9^13 - 25257407008348595566826992/840654532046346049423928001*c_10\ 01_9^12 + 9352029563469114536588147/840654532046346049423928001*c_1\ 001_9^11 - 104103866024740333412988274/840654532046346049423928001*\ c_1001_9^10 + 916438349938408642011683492/8406545320463460494239280\ 01*c_1001_9^9 - 751885907131750997342768974/28021817734878201647464\ 2667*c_1001_9^8 + 2419809754021036265496701288/84065453204634604942\ 3928001*c_1001_9^7 - 1101315769297677234440466908/84065453204634604\ 9423928001*c_1001_9^6 + 630498687298488047490692558/840654532046346\ 049423928001*c_1001_9^5 - 191570769658473726034929100/8406545320463\ 46049423928001*c_1001_9^4 - 3440810829274849000639539065/8406545320\ 46346049423928001*c_1001_9^3 + 1431683148964581680565974753/2802181\ 77348782016474642667*c_1001_9^2 + 334718117677743581913985292/84065\ 4532046346049423928001*c_1001_9 - 856758177666211502855138702/28021\ 8177348782016474642667, c_0101_0 - 1, c_0101_1 - 20813781316656018143328063/7005454433719550411866066675*c_10\ 01_9^13 - 606905224320252114512493019/21016363301158651235598200025\ *c_1001_9^12 + 427964918761217870475251647/210163633011586512355982\ 00025*c_1001_9^11 + 2105900294126411998620003841/210163633011586512\ 35598200025*c_1001_9^10 + 4432676303896873349270216248/210163633011\ 58651235598200025*c_1001_9^9 - 37835574709418643058495641058/210163\ 63301158651235598200025*c_1001_9^8 + 39526395429925231188993013241/21016363301158651235598200025*c_1001_\ 9^7 + 2356920525609063176152816587/7005454433719550411866066675*c_1\ 001_9^6 + 1150934463877987358064853328/1401090886743910082373213335\ *c_1001_9^5 - 31699224881903647271213911667/21016363301158651235598\ 200025*c_1001_9^4 - 21414565354836615892052459743/70054544337195504\ 11866066675*c_1001_9^3 + 93825947284605608677036681981/210163633011\ 58651235598200025*c_1001_9^2 + 7566546023477620291656634492/4203272\ 660231730247119640005*c_1001_9 - 42750070744064063848889508373/2101\ 6363301158651235598200025, c_0101_3 - 20739346600090382983216503/1401090886743910082373213335*c_10\ 01_9^13 + 49322350346012369816660762/1401090886743910082373213335*c\ _1001_9^12 + 42586354522728296602333762/420327266023173024711964000\ 5*c_1001_9^11 + 205435874106545051131837692/14010908867439100823732\ 13335*c_1001_9^10 - 5619408703973158905790883587/420327266023173024\ 7119640005*c_1001_9^9 + 11893454934231456426727045402/4203272660231\ 730247119640005*c_1001_9^8 - 8474702860841036897967277594/420327266\ 0231730247119640005*c_1001_9^7 + 1061286122612158573542475007/14010\ 90886743910082373213335*c_1001_9^6 - 487929644879816210120467861/280218177348782016474642667*c_1001_9^5 - 370276569844645202688707004/1401090886743910082373213335*c_1001_9^4 + 20527755540702002903661466061/4203272660231730247119640005*c_1001\ _9^3 - 12886101385047420672528773059/4203272660231730247119640005*c\ _1001_9^2 - 1395143915447666864983748929/84065453204634604942392800\ 1*c_1001_9 + 4045907746308207257129807372/4203272660231730247119640\ 005, c_0101_7 + 7345406763542382397325484/1401090886743910082373213335*c_100\ 1_9^13 + 19598705531520021167482537/4203272660231730247119640005*c_\ 1001_9^12 - 132493079149319508912270616/420327266023173024711964000\ 5*c_1001_9^11 - 360461094464797585646957563/42032726602317302471196\ 40005*c_1001_9^10 + 1167852426838930385427669806/420327266023173024\ 7119640005*c_1001_9^9 + 1685885869902972742233790999/42032726602317\ 30247119640005*c_1001_9^8 - 6228247322165886369119393798/4203272660\ 231730247119640005*c_1001_9^7 + 494692128750108827169178014/1401090\ 886743910082373213335*c_1001_9^6 + 35590908882837470901781043/280218177348782016474642667*c_1001_9^5 + 6322594893787037018596000076/4203272660231730247119640005*c_1001_9^\ 4 + 308152241993801940546755899/1401090886743910082373213335*c_1001\ _9^3 - 13113706280099901237930356623/4203272660231730247119640005*c\ _1001_9^2 + 1119829159184304675638917955/84065453204634604942392800\ 1*c_1001_9 + 6413516309174451472964763934/4203272660231730247119640\ 005, c_0101_9 + 53066939358333513821561547/1401090886743910082373213335*c_10\ 01_9^13 - 369879699331904923287180704/4203272660231730247119640005*\ c_1001_9^12 - 56720206006545421703428498/42032726602317302471196400\ 05*c_1001_9^11 - 518260007134316462460826243/1401090886743910082373\ 213335*c_1001_9^10 + 14093230757932362575378412403/4203272660231730\ 247119640005*c_1001_9^9 - 30671745979496364031777510658/42032726602\ 31730247119640005*c_1001_9^8 + 24042535888580361271280713976/420327\ 2660231730247119640005*c_1001_9^7 - 7105155331065288808246710974/4203272660231730247119640005*c_1001_9^\ 6 + 2214162992092857138251636104/840654532046346049423928001*c_1001\ _9^5 + 1690080623841547980236802991/1401090886743910082373213335*c_\ 1001_9^4 - 52621194022451070080640268699/42032726602317302471196400\ 05*c_1001_9^3 + 41700606501385282989048969431/420327266023173024711\ 9640005*c_1001_9^2 + 1011719194739111271432779239/28021817734878201\ 6474642667*c_1001_9 - 7430128560791147064548820731/1401090886743910\ 082373213335, c_0110_12 + 19625902793582364393513336/1401090886743910082373213335*c_1\ 001_9^13 - 32530453781459311311438149/1401090886743910082373213335*\ c_1001_9^12 - 16996617838535679982665479/42032726602317302471196400\ 05*c_1001_9^11 - 218355135920668538139791279/1401090886743910082373\ 213335*c_1001_9^10 + 4622432206305177659301315209/42032726602317302\ 47119640005*c_1001_9^9 - 9148384501696701050030726804/4203272660231\ 730247119640005*c_1001_9^8 + 7802699094412888094263799138/420327266\ 0231730247119640005*c_1001_9^7 - 1174303685508573563851016984/14010\ 90886743910082373213335*c_1001_9^6 + 135920161351346265851229628/280218177348782016474642667*c_1001_9^5 + 502730007874398914077572253/1401090886743910082373213335*c_1001_9^4 - 15015604153357756594693252447/4203272660231730247119640005*c_1001\ _9^3 + 12465323586298305062494654178/4203272660231730247119640005*c\ _1001_9^2 + 699048303427769525534006876/840654532046346049423928001\ *c_1001_9 - 7611529077994041185273527579/42032726602317302471196400\ 05, c_1001_9^14 - 28/9*c_1001_9^13 + 11/9*c_1001_9^12 - 80/9*c_1001_9^11 + 860/9*c_1001_9^10 - 2333/9*c_1001_9^9 + 2530/9*c_1001_9^8 - 943/9*c_1001_9^7 + 113/9*c_1001_9^6 + 587/9*c_1001_9^5 - 3827/9*c_1001_9^4 + 5227/9*c_1001_9^3 - 239/3*c_1001_9^2 - 3007/9*c_1001_9 + 1831/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.540 Total time: 0.750 seconds, Total memory usage: 32.09MB