ID: 225.0	Parent: 223.0	Tree
PDER	VAR\IND -4+x12*x18 x15 x18 x4 x4 0 0 0 1 x8 x19*((3/2*x12^4*x15^ 2-1/2*x16*x12^4*x15^ 2)*x15*x12-x16*x15^3 *x12^5+x15*(-x16*x12 ^5*x15^2+x12*(3/2*x1 2^4*x15^2-1/2*x16*x1 2^4*x15^2))) (-x16*x12^5*x15^2+x1 2*(3/2*x12^4*x15^2-1 /2*x16*x12^4*x15^2)) *x12-1/2*x18*x17*x12 ^6*x15^3 -1/2*x17*x12^6*x15^4 -x19*((3/2*x12^4*x15 ^2-1/2*x16*x12^4*x15 ^2)*x15*x12-x16*x15^ 3*x12^5+x15*(-x16*x1 2^5*x15^2+x12*(3/2*x 12^4*x15^2-1/2*x16*x 12^4*x15^2)))*x12 0 x12 x19 0 -x19*x12 0 x15 0 1 0 0 x16 0 x18*x17 x17*x15 0 x17 0 -2*x17^3*x18 -2*x17^3*x15 0 x18 0 0 1 0 x19 0 0 -x19^2 0 x20 -x19*x18*x20^2 0 -(-x19*x18*x12+x12)* x20^2 0
FOCUS
	x12^11*x15^7*x4^4+x12^6*x15^3*x4^4*x8-x8^2*x4^4
	x12^2*x15
	x12^3*x15^2
	x8
	x16*x12^4*x15^2
	x16*x12^3*x15
	x12
	x16*x12^2
	x16*x12
	x15
	(3/2*x12^4*x15^2-1/2*x16*x12^4*x15^2)*x15*x12-x16*x15^3*x12^5+x15*(-x16*x12^5*x1 5^2+x12*(3/2*x12^4*x15^2-1/2*x16*x12^4*x15^2))
	-1/2*x12^6*x15^3
	x15
	x12
DEP
	x15^3*x12^6*x16-x12^6*x15^3+2*x8
	2*x17*x16-1
	x15*x18-x16^2+1
	x19*x18-1
	x20*(-4+x12*x18)-1
MAP	x1 x12^2*x15*x4 x2 x15^2*x12^3*x4 x3 x8*x4 x4 x4
IMAP	x4 x4 x8 x3/x4 x12 x1^2/x2/x4 x15 x4/x1^3*x2^2 x16 -(2*x3*x4^2-x1^3)/x1^3 x17 -1/2*x1^3/(2*x3*x4^2-x1^3) x18 4*x3*x4*(x3*x4^2-x1^3)/x1^3/x2^2 x19 1/4*x1^3/x4*x2^2/x3/(x3*x4^2-x1^3) x20 1/4*x1*x2^3/(x3^2*x4^2-x1*x2^3-x1^3*x3)
STACK
WBO (dim: 4)
J
	4-x12*x18	0
c	0
N	empty
(E,a)
	E	a
	x4	3
	x12	1
	x15	1
C	empty