ID: 147.0	Parent: 146.0	Tree
PDER	VAR\IND x13 x12 x11 x5 (-x9*(6*x13^7*x12^7*x11^2* x5^5+x11*x12*x13)+x11*x9*x 12-x11*x9*(2*x13^7*x12^7*x 11*x5^5+x13*x12))*x12 x11*x9*x13*x12+x13*(-x9*(6 *x13^7*x12^7*x11^2*x5^5+x1 1*x12*x13)+x11*x9*x12-x11* x9*(2*x13^7*x12^7*x11*x5^5 +x13*x12)) -x9*(2*x13^7*x12^7*x11*x5^ 5+x13*x12)*x13*x12+x13*x9* x12^2 x9 (-30*x13^7*x12^7*x11^2*x5^ 4*x9^2+20*x9^3*x13^8*x12^8 *x11^2*x5^3*(6*x13^7*x12^7 *x11^2*x5^5+x11*x12*x13)-2 0*x12^9*x11^3*x9^3*x13^8*x 5^3+x11*(-10*x13^7*x12^7*x 11*x5^4*x9^2+20*x9^3*x13^8 *x12^8*x11^2*x5^3*(2*x13^7 *x12^7*x11*x5^5+x13*x12))) *x12 -20*x9^3*x13^9*x12^9*x11^3 *x5^3+x13*(-30*x13^7*x12^7 *x11^2*x5^4*x9^2+20*x9^3*x 13^8*x12^8*x11^2*x5^3*(6*x 13^7*x12^7*x11^2*x5^5+x11* x12*x13)-20*x12^9*x11^3*x9 ^3*x13^8*x5^3+x11*(-10*x13 ^7*x12^7*x11*x5^4*x9^2+20* x9^3*x13^8*x12^8*x11^2*x5^ 3*(2*x13^7*x12^7*x11*x5^5+ x13*x12))) (-10*x13^7*x12^7*x11*x5^4* x9^2+20*x9^3*x13^8*x12^8*x 11^2*x5^3*(2*x13^7*x12^7*x 11*x5^5+x13*x12))*x13*x12- 20*x12^10*x9^3*x13^9*x11^2 *x5^3 x11 0 0 1 x12 0 1 0 x13 1 0 0
FOCUS
	x13^12*x12^12*x5^12*x11^6-x5^8*x13^4*x12^4*x11^4+x13^6*x12^6*x5^7*x11^5
	x5
	x13*x12*x5
	x13*x12
	6*x13^7*x12^7*x11^2*x5^5+x11*x12*x13
	x12*x11
	x12
DEP
	x9*(5*x13^8*x12^8*x11^2*x5^4-1)-1
	x12^2*x11*x13-x13^8*x12^8*x5^5*x11^2-x11*x13^2*x12^2+x5
MAP	x1 x13^2*x12^2*x11*x5^2 x2 x5^2*x13*x12*x11 x3 x13*x12*x11*x5
IMAP	x5 x2/x3 x9 -x2^4/(-5*x1^6+x2^4) x11 x3^2/x1 x12 1/x2^2*(x1^6-x2^4+x1*x2*x3^3)/x3^3 x13 x3^3*x2*x1/(x1^6-x2^4+x1*x2*x3^3)
STACK
WBO (dim: 3)
J
	1	0
c	0
N	empty
(E,a)
	E	a
	x13^23*x12^22*x11^5*x5^13+2*x13^17*x12^16*x11^4*x5^8-2*x13^16*x12^16*x11^4*x5^8+x13^11*x12^10*x11^3*x5^3-2*x13^10*x12^10*x11^3*x5^3+x13^9*x12^10*x11^3*x5^3+x13-1	5
	x13	8
	x11	8
	x12	13
C	empty