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