ID: 11	Parent: 8	Tree
Covered by: 16 17 x(3) -x(3)*x(8)^2+1
PDER	VAR\RSOP x(6) x(8) x(3) x(3) 0 0 1 x(6) 1 0 0 x(8) 0 1 0
DEP
MAP	x(1) x(3)^2*x(6) x(2) x(3)^2*x(6)*x(8) x(3) x(3)
IMAP	x(3) (x(3))/(1) x(6) (x(1))/(x(3)^2) x(8) (x(2))/(x(1))
FOCUS
	-x(3)^5*x(6)^2*x(8)^2+x(3)^4*x(6)^2
	x(3)*x(6)
	x(6)
STACK
WBO (dim: 3)
W
J
	-x(3)*x(8)^2+1	1
c	1
E,a
	x(3)	2
	x(6)	1
TBO (dim: 3)
W
J
	-x(3)*x(8)^2+1	1
E
	x(3)
	x(6)
EM
	x(3)
	x(6)
Covered by: 16 17 x(3) -x(3)*x(8)^2+1
ID: 11	Parent: 8	Tree