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