ID: 233	Parent: 232	Tree
Covered by: 304 305 x(14)*x(18) x(14)*x(18)-1
PDER	VAR\RSOP x(14) x(18) x(17) x(14) 1 0 0 x(17) 0 0 1 x(18) 0 1 0
DEP
MAP	x(1) x(14)^3*x(17)^16*x(18)^14 x(2) x(14)^2*x(17)^13*x(18)^11 x(3) x(14)*x(17)^6*x(18)^5
IMAP	x(14) (x(1)*x(3)^6)/(x(2)^4) x(17) (x(3)^5)/(x(1)*x(2)) x(18) (x(1)*x(2)^2)/(x(3)^7)
FOCUS
	x(14)^6*x(17)^32*x(18)^28-x(14)^5*x(17)^32*x(18)^27
	x(14)^2*x(17)^10*x(18)^9
	x(14)*x(17)^4*x(18)^4
	x(14)*x(17)^3*x(18)^3
	x(14)*x(17)^5*x(18)^4
	x(14)*x(17)^4*x(18)^3
	x(14)*x(17)^3*x(18)^2
	x(17)^3*x(18)^2
	x(17)^2*x(18)
	x(17)
STACK
WBO (dim: 3)
W
J
	x(14)*x(18)-1	1
c	1
E,a
	x(14)	2
	x(18)	11
	x(17)	13
TBO (dim: 3)
W
J
	x(14)*x(18)-1	1
E
	x(14)
	x(18)
	x(17)
EM
SBO (dim: 3)
W
J
	x(14)*x(18)-1	1
E
	x(14)
	x(18)
	x(17)
Covered by: 304 305 x(14)*x(18) x(14)*x(18)-1
ID: 233	Parent: 232	Tree