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