Magma V2.19-8 Wed Aug 21 2013 00:56:54 on localhost [Seed = 408814275] Type ? for help. Type -D to quit. Loading file "L13n3100__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n3100 geometric_solution 12.66854052 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 0 0 1 0 -1 1 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 7 -6 -1 0 0 1 -1 0 0 0 0 6 -7 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.447064716235 0.675430023111 0 5 7 6 0132 0132 0132 0132 0 0 1 0 0 1 -1 0 -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 -1 1 0 0 0 0 0 -6 6 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.214419677256 0.875750713460 8 0 3 6 0132 0132 0321 2031 1 0 1 0 0 1 0 -1 -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 -7 0 7 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.431513855873 1.299539496296 9 10 2 0 0132 0132 0321 0132 1 0 1 0 0 1 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 0 0 0 0 -6 0 6 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.893519242832 0.532850235165 5 11 0 11 3201 0132 0132 0213 1 0 0 0 0 0 0 0 1 0 0 -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 0 1 -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.280824756434 0.870502626705 8 1 10 4 1023 0132 1230 2310 0 0 0 1 0 -1 1 0 -1 0 0 1 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 1 -1 0 0 0 0 0 0 -1 0 1 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.204315430928 1.090135748743 10 2 1 8 2103 1302 0132 0132 0 0 1 1 0 -1 0 1 0 0 -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 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.392551059384 0.766364146860 12 9 12 1 0132 2103 3012 0132 0 0 0 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 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.363020415180 1.138799802885 2 5 6 12 0132 1023 0132 3012 0 0 0 1 0 1 -1 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 0 0 0 0 0 0 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.214419677256 0.875750713460 3 7 10 11 0132 2103 2103 2310 0 0 0 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.704154646106 1.089707933640 9 3 6 5 2103 0132 2103 3012 1 0 0 1 0 -1 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 0 0 0 0 6 0 -6 -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.612347344815 0.591360072621 9 4 12 4 3201 0132 2031 0213 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 -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.280824756434 0.870502626705 7 7 8 11 0132 1230 1230 1302 0 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 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.374119933277 0.668856139858 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_8'], 'c_1001_11' : negation(d['c_0101_7']), 'c_1001_10' : d['c_0011_6'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : d['c_0110_11'], 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0101_5'], 'c_1010_12' : d['c_0101_7'], 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : negation(d['c_0101_5']), 's_3_11' : 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_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_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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : d['c_1001_2'], 'c_1100_7' : negation(d['c_1001_12']), 'c_1100_6' : negation(d['c_1001_12']), 'c_1100_1' : negation(d['c_1001_12']), 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : negation(d['c_0101_5']), 's_0_10' : d['1'], 'c_1100_9' : d['c_0011_11'], 'c_1100_11' : negation(d['c_0101_7']), 'c_1100_10' : negation(d['c_0101_8']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_11'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0110_11'], 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_0101_8'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0110_11']), 'c_1010_8' : negation(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'], 'c_1100_12' : d['c_0101_11'], '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_10'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_11']), 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_11']), 'c_0110_8' : d['c_0101_11'], '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_0101_8'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0110_11']), 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : negation(d['c_1001_12'])})} 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_6, c_0101_0, c_0101_1, c_0101_11, c_0101_5, c_0101_7, c_0101_8, c_0110_11, c_1001_12, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 8477797632705766938275974003031/350501982540501098532590339310*c_10\ 01_2^15 - 3045017553934877074223632614414451/1770035011829530547589\ 5812135155*c_1001_2^14 - 1723552952975288376411851730516511/1966705\ 568699478386210645792795*c_1001_2^13 - 5015236981449045337088451303914439/1966705568699478386210645792795*\ c_1001_2^12 - 149927008056051724606787976977500711/3540070023659061\ 0951791624270310*c_1001_2^11 - 262433654546845319122859701016113427\ /35400700236590610951791624270310*c_1001_2^10 - 33089855520623345045960882615303531/5057242890941515850255946324330\ *c_1001_2^9 - 17403861618145864830163958453616958/19667055686994783\ 86210645792795*c_1001_2^8 - 190788268285663042437930829234537909/35\ 400700236590610951791624270310*c_1001_2^7 - 10423924075360301848668123105258427/1966705568699478386210645792795\ *c_1001_2^6 - 38628202965401049010618665513410338/17700350118295305\ 475895812135155*c_1001_2^5 - 17280979722755678980380773827028864/17\ 700350118295305475895812135155*c_1001_2^4 - 1206769547852670974281931019325529/7080140047318122190358324854062*\ c_1001_2^3 + 556218665887003364895085818387482/59001167060984351586\ 31937378385*c_1001_2^2 + 121973239074433886900893254281833/25286214\ 45470757925127973162165*c_1001_2 + 193681398198981067111259957931739/35400700236590610951791624270310, c_0011_0 - 1, c_0011_10 - 517719358449918221195822/25815616595002117423387*c_1001_2^1\ 5 - 211922012037571480308300131/2607377276095213859762087*c_1001_2^\ 14 - 574071917233214905976873963/2607377276095213859762087*c_1001_2\ ^13 - 990597025605104442056166560/2607377276095213859762087*c_1001_\ 2^12 - 1721123268091942287402580780/2607377276095213859762087*c_100\ 1_2^11 - 1688546879117551244428492265/2607377276095213859762087*c_1\ 001_2^10 - 2395770812490300488820120260/2607377276095213859762087*c\ _1001_2^9 - 1532649728135945137099317497/2607377276095213859762087*\ c_1001_2^8 - 1829092496439951934913217845/2607377276095213859762087\ *c_1001_2^7 - 721568657995249686041619458/2607377276095213859762087\ *c_1001_2^6 - 693909810714621032142416752/2607377276095213859762087\ *c_1001_2^5 - 116529169375669177233216814/2607377276095213859762087\ *c_1001_2^4 - 82883109923688603369341057/2607377276095213859762087*\ c_1001_2^3 + 14197125899891069619902780/2607377276095213859762087*c\ _1001_2^2 + 7856644715296144363044240/2607377276095213859762087*c_1\ 001_2 + 1289774010647276277555317/2607377276095213859762087, c_0011_11 - 272284145064559416499824133/387234248925031761350805*c_1001\ _2^15 - 122422009791231777126447363734/39110659141428207896431305*c\ _1001_2^14 - 112915973401593917698353878607/13036886380476069298810\ 435*c_1001_2^13 - 201469487683559033332459341573/130368863804760692\ 98810435*c_1001_2^12 - 1008957340771693904102356084267/391106591414\ 28207896431305*c_1001_2^11 - 1058959136960461502374103678324/391106\ 59141428207896431305*c_1001_2^10 - 1307395135039388301952563023564/39110659141428207896431305*c_1001_2\ ^9 - 323502567020912904498230837556/13036886380476069298810435*c_10\ 01_2^8 - 912610304916006866176143069148/39110659141428207896431305*\ c_1001_2^7 - 151181241962329076958625268819/13036886380476069298810\ 435*c_1001_2^6 - 281313773320881116902271682272/3911065914142820789\ 6431305*c_1001_2^5 - 65472825811136098189323562606/3911065914142820\ 7896431305*c_1001_2^4 - 2590397829819200965229261114/78221318282856\ 41579286261*c_1001_2^3 + 2582807159708981440122707658/1303688638047\ 6069298810435*c_1001_2^2 + 5023064897054992495295782919/39110659141\ 428207896431305*c_1001_2 + 682108364458711117580604628/391106591414\ 28207896431305, c_0011_6 - 3087222479398190836002734/387234248925031761350805*c_1001_2^\ 15 - 1607387681574092902485938197/39110659141428207896431305*c_1001\ _2^14 - 1583378195744342221462328011/13036886380476069298810435*c_1\ 001_2^13 - 3059742825229332122362089484/13036886380476069298810435*\ c_1001_2^12 - 15144969206108629500837104321/39110659141428207896431\ 305*c_1001_2^11 - 17899221164092902940004198437/3911065914142820789\ 6431305*c_1001_2^10 - 19871267291455968263809110577/391106591414282\ 07896431305*c_1001_2^9 - 5798508932135670915715004723/1303688638047\ 6069298810435*c_1001_2^8 - 14078191108185878879532167909/3911065914\ 1428207896431305*c_1001_2^7 - 2907433024006272965926946507/13036886\ 380476069298810435*c_1001_2^6 - 4257390428020952311769746996/391106\ 59141428207896431305*c_1001_2^5 - 1328712838810760463400196678/3911\ 0659141428207896431305*c_1001_2^4 - 31891709326983888883681273/7822131828285641579286261*c_1001_2^3 + 36080484312334732505893609/13036886380476069298810435*c_1001_2^2 + 87672588086742056699669182/39110659141428207896431305*c_1001_2 + 16551917594749998980183549/39110659141428207896431305, c_0101_0 + 16551917594749998980183549/387234248925031761350805*c_1001_2\ ^15 + 7699318645439782231972561582/39110659141428207896431305*c_100\ 1_2^14 + 7188432317025301889923676801/13036886380476069298810435*c_\ 1001_2^13 + 13065068875609406876000112854/1303688638047606929881043\ 5*c_1001_2^12 + 65171985359928999051898233656/391106591414282078964\ 31305*c_1001_2^11 + 70958106121780865194077717577/39110659141428207\ 896431305*c_1001_2^10 + 84904739016899340725915824402/3911065914142\ 8207896431305*c_1001_2^9 + 22502101897076425450859948198/1303688638\ 0476069298810435*c_1001_2^8 + 59935032206264982488272526759/3911065\ 9141428207896431305*c_1001_2^7 + 11169523992240122729498511822/1303\ 6886380476069298810435*c_1001_2^6 + 18969059063997929396066237956/39110659141428207896431305*c_1001_2^5 + 6021350398318797054924236933/39110659141428207896431305*c_1001_2^\ 4 + 237435727118247876317540554/7822131828285641579286261*c_1001_2^\ 3 - 97291295797639812086624919/13036886380476069298810435*c_1001_2^\ 2 - 322108404526495775967091447/39110659141428207896431305*c_1001_2 - 100405329407436142018414064/39110659141428207896431305, c_0101_1 - 1, c_0101_11 - 74347377876795793016640508/77446849785006352270161*c_1001_2\ ^15 - 33674028298080651935522998691/7822131828285641579286261*c_100\ 1_2^14 - 31216994692045882404006484376/2607377276095213859762087*c_\ 1001_2^13 - 56089524837368198232163894413/2607377276095213859762087\ *c_1001_2^12 - 281399128767477953391742280176/782213182828564157928\ 6261*c_1001_2^11 - 298904635814131458240083962796/78221318282856415\ 79286261*c_1001_2^10 - 367771162331040497330293802816/7822131828285\ 641579286261*c_1001_2^9 - 92532515204742708870946076226/26073772760\ 95213859762087*c_1001_2^8 - 259708753324095677724297012514/78221318\ 28285641579286261*c_1001_2^7 - 44198471411689997331232181162/260737\ 7276095213859762087*c_1001_2^6 - 82287421418503308168991532558/7822\ 131828285641579286261*c_1001_2^5 - 20507940370899672274105575166/7822131828285641579286261*c_1001_2^4 - 4719260566781793504541516282/7822131828285641579286261*c_1001_2^3 + 680149456939675429708724248/2607377276095213859762087*c_1001_2^2 + 1332720300003390300044626646/7822131828285641579286261*c_1001_2 + 259477197476993092926563764/7822131828285641579286261, c_0101_5 - 5999412326945508761923381/129078082975010587116935*c_1001_2^\ 15 - 2867084083679743204579523103/13036886380476069298810435*c_1001\ _2^14 - 8243202323371814466205698367/13036886380476069298810435*c_1\ 001_2^13 - 15461771184686572071940469088/13036886380476069298810435\ *c_1001_2^12 - 26018877211253295345350394604/1303688638047606929881\ 0435*c_1001_2^11 - 29450385411676788219385987968/130368863804760692\ 98810435*c_1001_2^10 - 35137936611195840739545337318/13036886380476\ 069298810435*c_1001_2^9 - 28667749191697300228949894481/13036886380\ 476069298810435*c_1001_2^8 - 25573840533530294891858991976/13036886\ 380476069298810435*c_1001_2^7 - 14612316917424754188711412749/13036\ 886380476069298810435*c_1001_2^6 - 8467176909110082967481323054/13036886380476069298810435*c_1001_2^5 - 2546987549329651675393355947/13036886380476069298810435*c_1001_2^4 - 92626331660729710942036253/2607377276095213859762087*c_1001_2^3 + 162526466505170014930438878/13036886380476069298810435*c_1001_2^2 + 149661444646183343508957838/13036886380476069298810435*c_1001_2 + 17383007527003167505265951/13036886380476069298810435, c_0101_7 - 20745340643258888560715582/387234248925031761350805*c_1001_2\ ^15 - 9448149250885201482729370351/39110659141428207896431305*c_100\ 1_2^14 - 8749147433518980125817965863/13036886380476069298810435*c_\ 1001_2^13 - 15684780884365164880564726072/1303688638047606929881043\ 5*c_1001_2^12 - 78179912789155311676722241073/391106591414282078964\ 31305*c_1001_2^11 - 82678562229519499463656279801/39110659141428207\ 896431305*c_1001_2^10 - 100399210042868205940836098551/391106591414\ 28207896431305*c_1001_2^9 - 25180439002426861195159518639/130368863\ 80476069298810435*c_1001_2^8 - 69449502839157178954658073167/391106\ 59141428207896431305*c_1001_2^7 - 11671140603087818308800294656/130\ 36886380476069298810435*c_1001_2^6 - 21073011337658726819215283218/39110659141428207896431305*c_1001_2^5 - 4752775499394228760916617679/39110659141428207896431305*c_1001_2^\ 4 - 212157549037210895442823396/7822131828285641579286261*c_1001_2^\ 3 + 204014850691813968660337707/13036886380476069298810435*c_1001_2\ ^2 + 259766554437759941648961946/39110659141428207896431305*c_1001_\ 2 + 49852303922164228262109992/39110659141428207896431305, c_0101_8 - 12252818571517561227815842/77446849785006352270161*c_1001_2^\ 15 - 5713792171929721598813616302/7822131828285641579286261*c_1001_\ 2^14 - 5386987809268241617309723146/2607377276095213859762087*c_100\ 1_2^13 - 9896645742347214343614010679/2607377276095213859762087*c_1\ 001_2^12 - 49730209998092610986785173898/7822131828285641579286261*\ c_1001_2^11 - 54653552349625814451763269563/78221318282856415792862\ 61*c_1001_2^10 - 65876308468288024910336382344/78221318282856415792\ 86261*c_1001_2^9 - 17324147548153355274512821083/260737727609521385\ 9762087*c_1001_2^8 - 47051643276973080119990166808/7822131828285641\ 579286261*c_1001_2^7 - 8542456411815591798743274034/260737727609521\ 3859762087*c_1001_2^6 - 15075479220934053236700566066/7822131828285\ 641579286261*c_1001_2^5 - 4153717572221889855487714222/782213182828\ 5641579286261*c_1001_2^4 - 769481108407527877187447974/782213182828\ 5641579286261*c_1001_2^3 + 123115126027306976985917393/260737727609\ 5213859762087*c_1001_2^2 + 271292221767127178309771552/782213182828\ 5641579286261*c_1001_2 + 45562987715696411142088765/782213182828564\ 1579286261, c_0110_11 + 21475763265781576317462275/25815616595002117423387*c_1001_2\ ^15 + 9630349698972674390711755072/2607377276095213859762087*c_1001\ _2^14 + 26606199762995098078619083618/2607377276095213859762087*c_1\ 001_2^13 + 47367925844231079043721743726/2607377276095213859762087*\ c_1001_2^12 + 79055969822464008187603999341/26073772760952138597620\ 87*c_1001_2^11 + 82674060611626967074458507709/26073772760952138597\ 62087*c_1001_2^10 + 102289948831362054948324793605/2607377276095213\ 859762087*c_1001_2^9 + 75551920228331697903302337459/26073772760952\ 13859762087*c_1001_2^8 + 71331930122205170468749493057/260737727609\ 5213859762087*c_1001_2^7 + 35161306454936813878318930686/2607377276\ 095213859762087*c_1001_2^6 + 21980217064893227723892054328/26073772\ 76095213859762087*c_1001_2^5 + 5023873013942757141391905628/2607377\ 276095213859762087*c_1001_2^4 + 1051784256391382584071360445/260737\ 7276095213859762087*c_1001_2^3 - 613868510379354174911941326/260737\ 7276095213859762087*c_1001_2^2 - 380478683130388034941975306/260737\ 7276095213859762087*c_1001_2 - 58067503021361948686042174/260737727\ 6095213859762087, c_1001_12 - 306393605578845316211785636/387234248925031761350805*c_1001\ _2^15 - 138508998738307669288633645043/39110659141428207896431305*c\ _1001_2^14 - 128382687050031093796023081389/13036886380476069298810\ 435*c_1001_2^13 - 230520292072194157082146468216/130368863804760692\ 98810435*c_1001_2^12 - 1156975477276336192974086944714/391106591414\ 28207896431305*c_1001_2^11 - 1226086814867914824269868259448/391106\ 59141428207896431305*c_1001_2^10 - 1511556863033688956160863971148/39110659141428207896431305*c_1001_2\ ^9 - 377873102876874517680992550587/13036886380476069298810435*c_10\ 01_2^8 - 1065813135056900205719127631516/39110659141428207896431305\ *c_1001_2^7 - 178945587240771856362422373253/1303688638047606929881\ 0435*c_1001_2^6 - 335959489487259493428718418189/391106591414282078\ 96431305*c_1001_2^5 - 79575572047685594687041572667/391106591414282\ 07896431305*c_1001_2^4 - 3605554524958880303649223226/7822131828285\ 641579286261*c_1001_2^3 + 3041013375067532545341994901/130368863804\ 76069298810435*c_1001_2^2 + 5573456757617864422176627443/3911065914\ 1428207896431305*c_1001_2 + 907745389632494476973849521/39110659141\ 428207896431305, c_1001_2^16 + 484/101*c_1001_2^15 + 1400/101*c_1001_2^14 + 2655/101*c_1001_2^13 + 4492/101*c_1001_2^12 + 5202/101*c_1001_2^11 + 6211/101*c_1001_2^10 + 5279/101*c_1001_2^9 + 4672/101*c_1001_2^8 + 2875/101*c_1001_2^7 + 1673/101*c_1001_2^6 + 621/101*c_1001_2^5 + 152/101*c_1001_2^4 - 8/101*c_1001_2^3 - 26/101*c_1001_2^2 - 9/101*c_1001_2 - 1/101 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.270 Total time: 0.480 seconds, Total memory usage: 32.09MB