ID: 317	Parent: 316	Tree
Covered by: 377 378 x(12)*x(18) x(12)*x(18)-1
PDER	VAR\RSOP x(12) x(18) x(17) x(12) 1 0 0 x(17) 0 0 1 x(18) 0 1 0
DEP
MAP	x(1) x(12)^14*x(17)^11*x(18)^9 x(2) x(12)^11*x(17)^9*x(18)^7 x(3) x(12)^5*x(17)^4*x(18)^3
IMAP	x(12) (x(1)*x(3)^4)/(x(2)^3) x(17) (x(2)^3)/(x(1)^2*x(3)) x(18) (x(1)*x(2))/(x(3)^5)
FOCUS
	x(12)^28*x(17)^22*x(18)^18-x(12)^27*x(17)^22*x(18)^17
	x(12)^9*x(17)^7*x(18)^6
	x(12)^4*x(17)^3*x(18)^3
	x(12)^3*x(17)^2*x(18)^2
	x(12)^4*x(17)^3*x(18)^2
	x(12)^3*x(17)^2*x(18)
	x(12)^2*x(17)^2*x(18)
	x(17)*x(18)
	x(12)*x(17)^2*x(18)
	x(17)^2*x(18)
	x(17)
STACK
WBO (dim: 3)
W
J
	x(12)*x(18)-1	1
c	1
E,a
	x(12)	11
	x(18)	7
	x(17)	9
TBO (dim: 3)
W
J
	x(12)*x(18)-1	1
E
	x(12)
	x(18)
	x(17)
EM
SBO (dim: 3)
W
J
	x(12)*x(18)-1	1
E
	x(12)
	x(18)
	x(17)
Covered by: 377 378 x(12)*x(18) x(12)*x(18)-1
ID: 317	Parent: 316	Tree