ID: 300	Parent: 227	Tree
PDER	VAR\RSOP x(15) x(9) x(13) x(9) 0 1 0 x(11) -x(9)*x(11)^2*x(13) -x(11)^2*x(13)*x(15) -x(9)*x(11)^2*x(15) x(12) x(9)*x(11)^2*x(12)^2*x(13) x(11)^2*x(12)^2*x(13)*x(15) x(9)*x(11)^2*x(12)^2*x(15) x(13) 0 0 1 x(15) 1 0 0
DEP
	x(9)*x(13)*x(15)-x(12)+1
	x(11)*x(12)-1
MAP	x(1) x(9)^9*x(11)^4*x(13)^2 x(2) x(9)^5*x(11)^2*x(13) x(3) x(9)^8*x(11)^3*x(13)^2
IMAP	x(9) (x(2)^2)/(x(1)) x(11) (x(1)^2)/(x(2)^2*x(3)) x(12) (x(2)^2*x(3))/(x(1)^2) x(13) (x(1)*x(3)^2)/(x(2)^5) x(15) (x(2)^5*x(3)+x(1)^2*x(2)^3)/(x(1)^2*x(3)^2)
FOCUS
	x(9)^18*x(11)^8*x(13)^4-x(9)^18*x(11)^7*x(13)^4
	x(9)^4*x(11)^2*x(13)
	x(9)^3*x(11)*x(13)
	x(9)*x(11)
	x(9)^2*x(13)
	x(9)
	x(9)*x(13)
	x(13)
TAGS
	1,0,0
STACK
WBO (dim: 3)
W
J
	-x(11)*x(15)	1
c	1
E,a
	x(9)	8
	x(13)	2
TBO (dim: 3)
W
J
	-x(11)*x(15)	1
E
	x(9)
	x(13)
EM
SBO (dim: 3)
W
J
	-x(11)*x(15)	1
E
	x(9)
	x(13)
ID: 300	Parent: 227	Tree