ID: 136	Parent: 110	Tree
PDER	VAR\RSOP x(16) x(14) x(9) x(9) 0 0 1 x(12) -x(9)*x(12)^2*x(14) -x(9)*x(12)^2*x(16) -x(12)^2*x(14)*x(16) x(13) x(9)*x(12)^2*x(13)^2*x(14) x(9)*x(12)^2*x(13)^2*x(16) x(12)^2*x(13)^2*x(14)*x(16) x(14) 0 1 0 x(16) 1 0 0
DEP
	x(9)*x(14)*x(16)-x(13)+1
	x(12)*x(13)-1
MAP	x(1) x(9)^8*x(12)^4*x(14) x(2) x(9)^7*x(12)^3*x(14) x(3) x(9)^2*x(12)
IMAP	x(9) (x(2)*x(3))/(x(1)) x(12) (x(1)^2)/(x(2)^2*x(3)) x(13) (x(2)^2*x(3))/(x(1)^2) x(14) (x(1))/(x(3)^4) x(16) (x(2)^2*x(3)^4+x(1)^2*x(3)^3)/(x(1)^2*x(2))
FOCUS
	x(9)^16*x(12)^8*x(14)^2-x(9)^16*x(12)^7*x(14)^2
	x(9)^6*x(12)^3*x(14)
	x(9)^4*x(12)^2*x(14)
	x(9)*x(12)
	x(9)
	x(9)^2*x(14)
	x(14)
TAGS
	1,0,0
STACK
WBO (dim: 3)
W
J
	-x(12)*x(16)	1
c	1
E,a
	x(9)	7
	x(14)	1
TBO (dim: 3)
W
J
	-x(12)*x(16)	1
E
	x(9)
	x(14)
EM
SBO (dim: 3)
W
J
	-x(12)*x(16)	1
E
	x(9)
	x(14)
ID: 136	Parent: 110	Tree