ID: 200.0	Parent: 188.0	Tree
Covered by: 203.0 204.0 205.0 x15^2-x16^2 (-x15^3-x16*x15^2+x16^2*x15+x16^3)*(-3/2*x16*x10^5*x15^2+x15*x10*(3/2*x15^2*x10^4-1/2*x15*x10^4*x16)+x15*((3/2*x15^2*x10^4-1/2*x15*x10^4*x16)*x10-1/2*x10^5*x15*x16))+32*x10^3*x16^2-96*x10^2 x15^2*x10-x16^2*x10+4
PDER	VAR\IND x15 x10 x16 x4 x4 0 0 0 1 x8 ((3/2*x15^2*x10^4-1/ 2*x15*x10^4*x16)*x10 -1/2*x10^5*x15*x16)* x10 -3/2*x16*x10^5*x15^2 +x15*x10*(3/2*x15^2* x10^4-1/2*x15*x10^4* x16)+x15*((3/2*x15^2 *x10^4-1/2*x15*x10^4 *x16)*x10-1/2*x10^5* x15*x16) -1/2*x10^6*x15^2 0 x10 0 1 0 0 x15 1 0 0 0 x16 0 0 1 0
FOCUS
	x15^4*x10^11*x4^4+x15^3*x10^6*x4^4*x8-x8^2*x4^4
	x15*x10^2
	x15*x10^3
	x8
	x15*x10^4*x16
	x15*x10^3*x16
	x15*x10
	x16*x15*x10^2
	x16*x10
DEP
	x10^6*x15^2*x16-x15^3*x10^6+2*x8
MAP	x1 x15*x10^2*x4 x2 x10^3*x15*x4 x3 x8*x4 x4 x4
IMAP	x4 x4 x8 x3/x4 x10 x2/x1 x15 x1^3/x2^2/x4 x16 -(2*x3*x4^2-x1^3)/x4/x2^2
STACK
WBO (dim: 4)
J
	x15^2*x10-x16^2*x10+4	1
c	1
N	empty
(E,a)
	E	a
	x4	3
	x15	0
	x10	1
C	empty
TBO (dim: 4)
J
	x15^2*x10-x16^2*x10+4	1
N	empty
E
	x4
	x15
	x10
EM
	x4
	x15
C	empty
SBO (dim: 4)
J
	x15^2*x10-x16^2*x10+4	1
N	empty
H	empty
E
	x10
C	empty
Covered by: 203.0 204.0 205.0 x15^2-x16^2 (-x15^3-x16*x15^2+x16^2*x15+x16^3)*(-3/2*x16*x10^5*x15^2+x15*x10*(3/2*x15^2*x10^4-1/2*x15*x10^4*x16)+x15*((3/2*x15^2*x10^4-1/2*x15*x10^4*x16)*x10-1/2*x10^5*x15*x16))+32*x10^3*x16^2-96*x10^2 x15^2*x10-x16^2*x10+4
ID: 200.0	Parent: 188.0	Tree