ID: 72	Parent: 70	Tree
PDER	VAR\RSOP x(12) x(9)-x(11) x(9) x(8) 0 x(8)^2 -x(8)^2 x(9) 0 0 1 x(10) 0 0 -x(10)^2 x(11) 0 -x(8)^2*x(11)^2 x(8)^2*x(11)^2 x(12) 1 0 0
DEP
	x(9)*x(10)-1
	x(8)*x(11)-1
MAP	x(1) x(8)^2*x(9)^5*x(12)^4-4*x(8)^2*x(9)^4*x(11)*x(12)^4+6*x(8)^2*x(9)^3*x(11)^2*x(12)^4-4*x(8)^2*x(9)^2* x(11)^3*x(12)^4+x(8)^2*x(9)*x(11)^4*x(12)^4 x(2) x(8)^2*x(9)^4*x(12)^3-3*x(8)^2*x(9)^3*x(11)*x(12)^3+3*x(8)^2*x(9)^2*x(11)^2*x(12)^3-x(8)^2*x(9)*x(11 )^3*x(12)^3 x(3) x(8)*x(9)^3*x(12)^2-2*x(8)*x(9)^2*x(11)*x(12)^2+x(8)*x(9)*x(11)^2*x(12)^2
IMAP	x(9) (x(3)^2)/(x(1)) x(8) (x(2)^2)/(x(1)*x(3)) x(10) (x(1))/(x(3)^2) x(11) (x(1)*x(3))/(x(2)^2) x(12) (-x(1)^2*x(2))/(-x(2)^2*x(3)^2-x(1)^2*x(3))
FOCUS
	-x(8)^5*x(9)^11*x(12)^8+8*x(8)^5*x(9)^10*x(11)*x(12)^8-28*x(8)^5*x(9)^9*x(11)^2*x(12)^8+56*x(8)^5*x( 9)^8*x(11)^3*x(12)^8-70*x(8)^5*x(9)^7*x(11)^4*x(12)^8+56*x(8)^5*x(9)^6*x(11)^5*x(12)^8-28*x(8)^5*x(9 )^5*x(11)^6*x(12)^8+8*x(8)^5*x(9)^4*x(11)^7*x(12)^8-x(8)^5*x(9)^3*x(11)^8*x(12)^8+x(8)^4*x(9)^10*x(1 2)^8-8*x(8)^4*x(9)^9*x(11)*x(12)^8+28*x(8)^4*x(9)^8*x(11)^2*x(12)^8-56*x(8)^4*x(9)^7*x(11)^3*x(12)^8 +70*x(8)^4*x(9)^6*x(11)^4*x(12)^8-56*x(8)^4*x(9)^5*x(11)^5*x(12)^8+28*x(8)^4*x(9)^4*x(11)^6*x(12)^8- 8*x(8)^4*x(9)^3*x(11)^7*x(12)^8+x(8)^4*x(9)^2*x(11)^8*x(12)^8
	x(8)*x(9)^2*x(12)^2-2*x(8)*x(9)*x(11)*x(12)^2+x(8)*x(11)^2*x(12)^2
	x(9)*x(12)-x(11)*x(12)
	x(9)^2*x(12)-x(9)*x(11)*x(12)
	x(12)
TAGS
	0,0,0
STACK
WBO (dim: 3)
W
J
	-x(8)	0
c	0
E,a
	x(12)	4
	x(9)-x(11)	4