ID: 157	Parent: 128	Tree
Covered by: 373 -x(14)+1
PDER	VAR\RSOP x(13) x(14) x(8) x(8) 0 0 1 x(13) 1 0 0 x(14) 0 1 0
DEP
MAP	x(1) x(8)^12*x(13)^5*x(14) x(2) x(8)^7*x(13)^3*x(14) x(3) x(8)^10*x(13)^4*x(14)
IMAP	x(8) (x(3)^2)/(x(1)*x(2)) x(13) (x(1)^3*x(2)^2)/(x(3)^5) x(14) (x(2)^2*x(3))/(x(1)^2)
FOCUS
	-x(8)^24*x(13)^10*x(14)^3+x(8)^24*x(13)^10*x(14)^2
	x(8)^5*x(13)^2
	x(8)^3*x(13)
	x(8)^2*x(13)
	x(8)
	x(8)^2*x(13)*x(14)
	x(13)*x(14)
	x(14)
STACK
WBO (dim: 3)
W
J
	-x(14)+1	1
c	1
E,a
	x(14)	1
	x(8)	10
	x(13)	4
TBO (dim: 3)
W
J
	-x(14)+1	1
E
	x(14)
	x(8)
	x(13)
EM
	x(14)
Covered by: 373 -x(14)+1
ID: 157	Parent: 128	Tree