ID: 115.0	Parent: 112.0	Tree
PDER	VAR\IND x17 x16 x3 x16*x15-x16+x15^2*x1 3 x3 0 0 1 0 x13 x18*(x16+2*x15*x13)* x15^2*x13 -x18*(x15-1) 0 x18 x15 -x15^2*x13-x18*x17*x 15^4*(x16+2*x15*x13) *x13 x18*x17*x15^2*(x15-1 ) 0 -x17*x15^2*x18 x16 0 1 0 0 x17 1 0 0 0 x18 -(-(2*x15-2*x15^2*x1 3*x17-2*(x16+2*x15*x 13)*x17*x15)*x15^2*x 13-(x16+2*x15*x13)*x 15^2)*x18^2-x18^3*(- 2*x15^3*x17-(2*x15-2 *x15^2*x13*x17-2*(x1 6+2*x15*x13)*x17*x15 )*x17*x15^2)*(x16+2* x15*x13)*x15^2*x13 x17*x15^2*x18^2+x18^ 3*(-2*x15^3*x17-(2*x 15-2*x15^2*x13*x17-2 *(x16+2*x15*x13)*x17 *x15)*x17*x15^2)*(x1 5-1) 0 -x18^3*(-2*x15^3*x17 -(2*x15-2*x15^2*x13* x17-2*(x16+2*x15*x13 )*x17*x15)*x17*x15^2 ) x19 -(x15^2*x13+x18*x17* x15^4*(x16+2*x15*x13 )*x13+x16)*x19^2 -(-x18*x17*x15^2*(x1 5-1)+x17)*x19^2 0 -x17*x15^2*x18*x19^2
FOCUS
	x13^14*x17^5*x16^9*x3^4+x13^15*x17^6*x16^9*x3^4-x3^4*x13^14*x16^8*x17^4
	x13^5*x17^2*x16^3
	x16^2*x13^3*x17
	x13^4*x16^2*x17
	x13^2*x17*x16
	x13^2*x16
	x13
	x13*x17
	x13*x17
	x13
	x15^2*x13+x16
	x17
	-(x16+2*x15*x13)*x15^2*x13
	x13
DEP
	x15*(x13*x17+1)-1
	x18*(x15^2-(x16+2*x15*x13)*x17*x15^2)-1
	x19*(x17*x16-x15)-1
MAP	x1 x13^5*x17^2*x16^3*x3 x2 x16^2*x13^3*x17*x3 x3 x3 x4 x13^7*x16^4*x17^2*x3
IMAP	x3 x3 x13 x4/x2^2*x3 x15 x2^3/(x1^2*x3+x2^3) x16 x2^4/x3^2/x1/x4 x17 x1^2/x2/x4 x18 -x3^2*x4^2*(x1^2*x3+x2^3)^3/x2^6/(x3^3*x4^2*x1^2-x3^2*x4^2*x2^3+x2^3*x1^3*x3+x1* x2^6) x19 -x3^2*x4^2*(x1^2*x3+x2^3)/x2^3/(x3^2*x4^2-x1*x2^3-x1^3*x3)
STACK
WBO (dim: 4)
J
	x13*x17^2*x16+x17*x16-1	0
c	0
N	empty
(E,a)
	E	a
	x3	3
	x17	2
	x16	4
	x13	7
C	empty