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