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