Magma V2.19-8 Tue Aug 20 2013 23:47:35 on localhost [Seed = 4273509537] Type ? for help. Type -D to quit. Loading file "L11a165__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a165 geometric_solution 11.08710277 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 1 0132 0132 0132 2031 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 1 0 0 -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.914016156692 0.564771664797 0 0 4 4 0132 1302 0213 0132 1 1 1 1 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 1 -1 0 -1 0 1 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.208227615122 0.489237093539 5 0 5 6 0132 0132 3012 0132 1 1 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 0 0 0 1 0 -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.392190714844 0.799265711987 7 7 4 0 0132 3201 3201 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 1.442785934691 0.466550134239 3 1 1 5 2310 0213 0132 2103 1 1 1 1 0 0 0 0 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 1 0 -1 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.914016156692 0.564771664797 2 2 8 4 0132 1230 0132 2103 1 1 1 1 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 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.602831222186 0.792719587831 9 7 2 10 0132 3120 0132 0132 1 1 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 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.178278762462 1.148483193089 3 6 3 8 0132 3120 2310 3012 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.500261754563 0.825642710352 11 10 7 5 0132 1302 1230 0132 1 1 1 1 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 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.868019571051 0.850226366684 6 11 11 11 0132 0321 0213 0132 0 1 1 1 0 -1 0 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 2 1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.297174218979 0.791300806355 10 10 6 8 1302 2031 0132 2031 1 1 1 1 0 -1 1 0 1 0 0 -1 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 -1 1 0 1 0 0 -1 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.320654877928 0.877203604896 8 9 9 9 0132 0213 0132 0321 0 1 1 1 0 0 -1 1 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 -1 3 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.627455206208 0.706442227977 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0011_3'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0011_4'], 'c_1001_7' : negation(d['c_1001_0']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_1001_11'], 'c_1001_8' : negation(d['c_0011_3']), 'c_1010_11' : d['c_1001_11'], 'c_1010_10' : d['c_0011_10'], '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' : negation(d['c_0011_10']), '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_0011_11' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : d['c_0011_3'], 'c_1100_6' : negation(d['c_1001_5']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_1001_5']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_11'], 'c_1100_10' : negation(d['c_1001_5']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_1001_11'], 'c_1010_8' : d['c_1001_5'], 'c_1100_8' : d['c_0101_3'], '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' : negation(d['c_0011_6']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), '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_6'], 'c_0110_10' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0011_4'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_11'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0011_6'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_11'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0011_10'])})} 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_3, c_0011_4, c_0011_6, c_0101_0, c_0101_11, c_0101_2, c_0101_3, c_1001_0, c_1001_11, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 1538984724408095654047137703480932793/24509637170565457540717657703\ 11842232000*c_1001_5^16 + 770726726084278011795627524855684079/1225\ 481858528272877035882885155921116000*c_1001_5^15 - 210689732069399878454147678451576557/612740929264136438517941442577\ 96055800*c_1001_5^14 + 3690897735204667305536893300646547861/245096\ 3717056545754071765770311842232000*c_1001_5^13 + 706999800631980598979662295934166747/612740929264136438517941442577\ 96055800*c_1001_5^12 - 16407305310766768294747490417939851623/24509\ 63717056545754071765770311842232000*c_1001_5^11 - 1596120212734693609282696132124074729/30637046463206821925897072128\ 898027900*c_1001_5^10 + 190737400429859774315446488241284477143/245\ 0963717056545754071765770311842232000*c_1001_5^9 - 7532703267844113181276197980449800173/47133917635702802962918572505\ 996966000*c_1001_5^8 - 251710272325699491046444459567343817651/1225\ 481858528272877035882885155921116000*c_1001_5^7 + 586778069006206433378926232286122730307/612740929264136438517941442\ 577960558000*c_1001_5^6 + 69108298852637143487671790627190931301/30\ 6370464632068219258970721288980279000*c_1001_5^5 - 341819795097721683561956707167380675427/306370464632068219258970721\ 288980279000*c_1001_5^4 + 3022366886526716769255001851711652870443/\ 2450963717056545754071765770311842232000*c_1001_5^3 - 442656012345025425578674192833226460403/245096371705654575407176577\ 031184223200*c_1001_5^2 - 2011011464821486419215567769159759220861/\ 490192743411309150814353154062368446400*c_1001_5 + 1684572511419114481829164786833126431799/12254818585282728770358828\ 85155921116000, c_0011_0 - 1, c_0011_10 + 4842520407342143536476732040/130394454849292019489680673580\ 51*c_1001_5^16 - 4589304572830287634725121124/130394454849292019489\ 68067358051*c_1001_5^15 + 24791080756021888810596032023/13039445484\ 929201948968067358051*c_1001_5^14 - 3288128098266536026933003759/4346481828309733982989355786017*c_1001\ _5^13 - 94635842570398756573265474591/13039445484929201948968067358\ 051*c_1001_5^12 + 37896373057746983608609896652/1303944548492920194\ 8968067358051*c_1001_5^11 + 438791401114715034331569710956/13039445\ 484929201948968067358051*c_1001_5^10 - 619575772704945641539140780355/13039445484929201948968067358051*c_1\ 001_5^9 + 1006916748976348150522768148674/1303944548492920194896806\ 7358051*c_1001_5^8 + 1634301536325252225101816195650/13039445484929\ 201948968067358051*c_1001_5^7 - 2410860157015134371837685771993/434\ 6481828309733982989355786017*c_1001_5^6 - 3776711761599722160769492110784/13039445484929201948968067358051*c_\ 1001_5^5 + 10277361548440215158037427534499/13039445484929201948968\ 067358051*c_1001_5^4 - 3460671672695976720699034162244/434648182830\ 9733982989355786017*c_1001_5^3 + 7659429751719316961976799786292/13\ 039445484929201948968067358051*c_1001_5^2 + 6530442724771734965504935893863/4346481828309733982989355786017*c_1\ 001_5 - 101168249154665346232409697728/1003034268071477072997543642\ 927, c_0011_3 + 3711616650321780608343431390/1303944548492920194896806735805\ 1*c_1001_5^16 - 244411798976356914835799599/10030342680714770729975\ 43642927*c_1001_5^15 + 18936966834856599342232546352/13039445484929\ 201948968067358051*c_1001_5^14 - 1190669012059420839806960806/43464\ 81828309733982989355786017*c_1001_5^13 - 71644311610027714323640594285/13039445484929201948968067358051*c_10\ 01_5^12 + 44146061989083048368723659628/130394454849292019489680673\ 58051*c_1001_5^11 + 339364680291532476636642605612/1303944548492920\ 1948968067358051*c_1001_5^10 - 400534298734622919360929678654/13039\ 445484929201948968067358051*c_1001_5^9 + 735308323167235120216119340328/13039445484929201948968067358051*c_1\ 001_5^8 + 1642404895878449928351569370212/1303944548492920194896806\ 7358051*c_1001_5^7 - 1804812392496695694981867410456/43464818283097\ 33982989355786017*c_1001_5^6 - 101595614146534374640539366164/10030\ 34268071477072997543642927*c_1001_5^5 + 8015898715125429685189868266177/13039445484929201948968067358051*c_\ 1001_5^4 - 58614465553805829554516206256/33434475602382569099918121\ 4309*c_1001_5^3 + 4045006574884975103793745206940/13039445484929201\ 948968067358051*c_1001_5^2 + 8828978581133204921774876344212/434648\ 1828309733982989355786017*c_1001_5 - 121935597608719104967335602488/1003034268071477072997543642927, c_0011_4 + 18540677943125723116068785035/521577819397168077958722694322\ 04*c_1001_5^16 - 1077940362309892635952630925/521577819397168077958\ 72269432204*c_1001_5^15 + 65776428813681383711108194501/52157781939\ 716807795872269432204*c_1001_5^14 + 4692200574401272946051090194/4346481828309733982989355786017*c_1001\ _5^13 - 121208921867308450974264571841/1303944548492920194896806735\ 8051*c_1001_5^12 - 93952832297021103441973934855/521577819397168077\ 95872269432204*c_1001_5^11 + 1921876886641396733798299646983/521577\ 81939716807795872269432204*c_1001_5^10 - 137271207984421123224780035866/13039445484929201948968067358051*c_1\ 001_5^9 + 192536328744732349675828279888/13039445484929201948968067\ 358051*c_1001_5^8 + 400935444133427870241402325697/2006068536142954\ 145995087285854*c_1001_5^7 - 4318678745397357986976353660241/869296\ 3656619467965978711572034*c_1001_5^6 - 18352547559213441732582919149449/26078890969858403897936134716102*c\ _1001_5^5 + 20523374836417477220432986735201/2607889096985840389793\ 6134716102*c_1001_5^4 + 9323804966117092857038950706847/17385927313\ 238935931957423144068*c_1001_5^3 + 11993536484871536714223411210869/52157781939716807795872269432204*c\ _1001_5^2 + 1238483068825243260136044398839/66868951204765138199836\ 2428618*c_1001_5 + 482070887338704014768220389632/10030342680714770\ 72997543642927, c_0011_6 - 21159397200750563783881197005/521577819397168077958722694322\ 04*c_1001_5^16 + 11839594481081636682904391437/52157781939716807795\ 872269432204*c_1001_5^15 - 81709501387050193088152300013/5215778193\ 9716807795872269432204*c_1001_5^14 - 3514957927391244956743808019/8692963656619467965978711572034*c_1001\ _5^13 + 131152345802780614383575942452/1303944548492920194896806735\ 8051*c_1001_5^12 - 105807212021701279554799367567/52157781939716807\ 795872269432204*c_1001_5^11 - 2384391412303922367361506449939/52157\ 781939716807795872269432204*c_1001_5^10 + 907301294329246696226158203697/26078890969858403897936134716102*c_1\ 001_5^9 - 433428422588876062305758231882/13039445484929201948968067\ 358051*c_1001_5^8 - 6153003056897182625351664221707/260788909698584\ 03897936134716102*c_1001_5^7 + 5483292821721649137960404850471/8692\ 963656619467965978711572034*c_1001_5^6 + 14351060857365992825366805729409/26078890969858403897936134716102*c\ _1001_5^5 - 34886476830592907177607247344659/2607889096985840389793\ 6134716102*c_1001_5^4 - 5447884949667468497932357719029/17385927313\ 238935931957423144068*c_1001_5^3 + 13404573568488734581907218775723/52157781939716807795872269432204*c\ _1001_5^2 - 18706153617721099397315644640762/4346481828309733982989\ 355786017*c_1001_5 + 433736044847357757555204520609/100303426807147\ 7072997543642927, c_0101_0 + 47199743015817460586654944105/521577819397168077958722694322\ 04*c_1001_5^16 - 41978061359901136305330739121/52157781939716807795\ 872269432204*c_1001_5^15 + 218579044371238270729276243945/521577819\ 39716807795872269432204*c_1001_5^14 - 10583414192930622393488466137/8692963656619467965978711572034*c_100\ 1_5^13 - 255325171633878814004615351951/130394454849292019489680673\ 58051*c_1001_5^12 + 393478151289753389224871847787/5215778193971680\ 7795872269432204*c_1001_5^11 + 4739328464545282286196994793131/5215\ 7781939716807795872269432204*c_1001_5^10 - 2812801933350356300588562923465/26078890969858403897936134716102*c_\ 1001_5^9 + 1854369698619694806940308532288/130394454849292019489680\ 67358051*c_1001_5^8 + 9383522413447611742794495921383/2607889096985\ 8403897936134716102*c_1001_5^7 - 12113705366050729700922275162665/8\ 692963656619467965978711572034*c_1001_5^6 - 20879930835168174438029325416657/26078890969858403897936134716102*c\ _1001_5^5 + 4950684300831184576858458560257/20060685361429541459950\ 87285854*c_1001_5^4 - 10278215786844381161869651829623/173859273132\ 38935931957423144068*c_1001_5^3 + 23697972483422233433719220485733/\ 52157781939716807795872269432204*c_1001_5^2 + 19472648990006361401640956092682/4346481828309733982989355786017*c_\ 1001_5 - 656236709519630338870754261465/100303426807147707299754364\ 2927, c_0101_11 - 13509826276706379309929375055/17385927313238935931957423144\ 068*c_1001_5^16 + 10065604257467595740601625311/1738592731323893593\ 1957423144068*c_1001_5^15 - 60291274803712582776845476035/173859273\ 13238935931957423144068*c_1001_5^14 + 235484482241679007470938423/668689512047651381998362428618*c_1001_5\ ^13 + 75262729457726456985613805681/4346481828309733982989355786017\ *c_1001_5^12 - 85797568084229737996412984725/1738592731323893593195\ 7423144068*c_1001_5^11 - 1379852338920927501562595097921/1738592731\ 3238935931957423144068*c_1001_5^10 + 715484279913045993101479921469/8692963656619467965978711572034*c_10\ 01_5^9 - 480115057188408070942842126852/434648182830973398298935578\ 6017*c_1001_5^8 - 3140535376515895691851765537669/86929636566194679\ 65978711572034*c_1001_5^7 + 10305013135751917881635776394457/869296\ 3656619467965978711572034*c_1001_5^6 + 7301494793521812382301929983659/8692963656619467965978711572034*c_1\ 001_5^5 - 18480399975824445831227367471219/869296365661946796597871\ 1572034*c_1001_5^4 + 8394801741116438384863778929947/17385927313238\ 935931957423144068*c_1001_5^3 - 5744381812796177755333326789815/173\ 85927313238935931957423144068*c_1001_5^2 - 25236596342492834362820580534625/4346481828309733982989355786017*c_\ 1001_5 + 178301431334007701262538072779/334344756023825690999181214\ 309, c_0101_2 - 1, c_0101_3 - 13509826276706379309929375055/173859273132389359319574231440\ 68*c_1001_5^16 + 10065604257467595740601625311/17385927313238935931\ 957423144068*c_1001_5^15 - 60291274803712582776845476035/1738592731\ 3238935931957423144068*c_1001_5^14 + 235484482241679007470938423/668689512047651381998362428618*c_1001_5\ ^13 + 75262729457726456985613805681/4346481828309733982989355786017\ *c_1001_5^12 - 85797568084229737996412984725/1738592731323893593195\ 7423144068*c_1001_5^11 - 1379852338920927501562595097921/1738592731\ 3238935931957423144068*c_1001_5^10 + 715484279913045993101479921469/8692963656619467965978711572034*c_10\ 01_5^9 - 480115057188408070942842126852/434648182830973398298935578\ 6017*c_1001_5^8 - 3140535376515895691851765537669/86929636566194679\ 65978711572034*c_1001_5^7 + 10305013135751917881635776394457/869296\ 3656619467965978711572034*c_1001_5^6 + 7301494793521812382301929983659/8692963656619467965978711572034*c_1\ 001_5^5 - 18480399975824445831227367471219/869296365661946796597871\ 1572034*c_1001_5^4 + 8394801741116438384863778929947/17385927313238\ 935931957423144068*c_1001_5^3 - 5744381812796177755333326789815/173\ 85927313238935931957423144068*c_1001_5^2 - 20890114514183100379831224748608/4346481828309733982989355786017*c_\ 1001_5 + 178301431334007701262538072779/334344756023825690999181214\ 309, c_1001_0 + 13509826276706379309929375055/173859273132389359319574231440\ 68*c_1001_5^16 - 10065604257467595740601625311/17385927313238935931\ 957423144068*c_1001_5^15 + 60291274803712582776845476035/1738592731\ 3238935931957423144068*c_1001_5^14 - 235484482241679007470938423/668689512047651381998362428618*c_1001_5\ ^13 - 75262729457726456985613805681/4346481828309733982989355786017\ *c_1001_5^12 + 85797568084229737996412984725/1738592731323893593195\ 7423144068*c_1001_5^11 + 1379852338920927501562595097921/1738592731\ 3238935931957423144068*c_1001_5^10 - 715484279913045993101479921469/8692963656619467965978711572034*c_10\ 01_5^9 + 480115057188408070942842126852/434648182830973398298935578\ 6017*c_1001_5^8 + 3140535376515895691851765537669/86929636566194679\ 65978711572034*c_1001_5^7 - 10305013135751917881635776394457/869296\ 3656619467965978711572034*c_1001_5^6 - 7301494793521812382301929983659/8692963656619467965978711572034*c_1\ 001_5^5 + 18480399975824445831227367471219/869296365661946796597871\ 1572034*c_1001_5^4 - 8394801741116438384863778929947/17385927313238\ 935931957423144068*c_1001_5^3 + 5744381812796177755333326789815/173\ 85927313238935931957423144068*c_1001_5^2 + 20890114514183100379831224748608/4346481828309733982989355786017*c_\ 1001_5 - 178301431334007701262538072779/334344756023825690999181214\ 309, c_1001_11 - 1, c_1001_5^17 - c_1001_5^16 + 5*c_1001_5^15 - 2*c_1001_5^14 - 20*c_1001_5^13 + 11*c_1001_5^12 + 95*c_1001_5^11 - 126*c_1001_5^10 + 192*c_1001_5^9 + 374*c_1001_5^8 - 1526*c_1001_5^7 - 586*c_1001_5^6 + 2482*c_1001_5^5 - 1141*c_1001_5^4 + 905*c_1001_5^3 + 5060*c_1001_5^2 - 836*c_1001_5 + 520 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.320 seconds, Total memory usage: 32.09MB