ID: 111	Parent: 108	Tree
PDER	VAR\RSOP x(13)-1 x(14) x(15) x(12) -x(12)^2 0 0 x(13) x(12)^2*x(13)^2 0 0 x(14) 0 1 0 x(15) 0 0 1
DEP
	x(12)*x(13)-1
MAP	x(1) x(12)^4*x(13)^8*x(14)*x(15)^7-8*x(12)^4*x(13)^7*x(14)*x(15)^7+28*x(12)^4*x(13)^6*x(14)*x(15)^7-56*x( 12)^4*x(13)^5*x(14)*x(15)^7+70*x(12)^4*x(13)^4*x(14)*x(15)^7-56*x(12)^4*x(13)^3*x(14)*x(15)^7+28*x(1 2)^4*x(13)^2*x(14)*x(15)^7-8*x(12)^4*x(13)*x(14)*x(15)^7+x(12)^4*x(14)*x(15)^7 x(2) x(12)^3*x(13)^7*x(14)*x(15)^6-7*x(12)^3*x(13)^6*x(14)*x(15)^6+21*x(12)^3*x(13)^5*x(14)*x(15)^6-35*x( 12)^3*x(13)^4*x(14)*x(15)^6+35*x(12)^3*x(13)^3*x(14)*x(15)^6-21*x(12)^3*x(13)^2*x(14)*x(15)^6+7*x(12 )^3*x(13)*x(14)*x(15)^6-x(12)^3*x(14)*x(15)^6 x(3) x(12)*x(13)^2*x(15)^2-2*x(12)*x(13)*x(15)^2+x(12)*x(15)^2
IMAP	x(12) (x(1)^2)/(x(2)^2*x(3)) x(13) (x(2)^2*x(3))/(x(1)^2) x(15) (x(1)*x(2)*x(3))/(x(2)^2*x(3)+x(1)^2) x(14) (x(1)^2*x(2))/(x(2)^2*x(3)^4+x(1)^2*x(3)^3)
FOCUS
	x(12)^8*x(13)^16*x(14)^2*x(15)^14-16*x(12)^8*x(13)^15*x(14)^2*x(15)^14-x(12)^7*x(13)^16*x(14)^2*x(15 )^14+120*x(12)^8*x(13)^14*x(14)^2*x(15)^14+16*x(12)^7*x(13)^15*x(14)^2*x(15)^14-560*x(12)^8*x(13)^13 *x(14)^2*x(15)^14-120*x(12)^7*x(13)^14*x(14)^2*x(15)^14+1820*x(12)^8*x(13)^12*x(14)^2*x(15)^14+560*x (12)^7*x(13)^13*x(14)^2*x(15)^14-4368*x(12)^8*x(13)^11*x(14)^2*x(15)^14-1820*x(12)^7*x(13)^12*x(14)^ 2*x(15)^14+8008*x(12)^8*x(13)^10*x(14)^2*x(15)^14+4368*x(12)^7*x(13)^11*x(14)^2*x(15)^14-11440*x(12) ^8*x(13)^9*x(14)^2*x(15)^14-8008*x(12)^7*x(13)^10*x(14)^2*x(15)^14+12870*x(12)^8*x(13)^8*x(14)^2*x(1 5)^14+11440*x(12)^7*x(13)^9*x(14)^2*x(15)^14-11440*x(12)^8*x(13)^7*x(14)^2*x(15)^14-12870*x(12)^7*x( 13)^8*x(14)^2*x(15)^14+8008*x(12)^8*x(13)^6*x(14)^2*x(15)^14+11440*x(12)^7*x(13)^7*x(14)^2*x(15)^14- 4368*x(12)^8*x(13)^5*x(14)^2*x(15)^14-8008*x(12)^7*x(13)^6*x(14)^2*x(15)^14+1820*x(12)^8*x(13)^4*x(1 4)^2*x(15)^14+4368*x(12)^7*x(13)^5*x(14)^2*x(15)^14-560*x(12)^8*x(13)^3*x(14)^2*x(15)^14-1820*x(12)^ 7*x(13)^4*x(14)^2*x(15)^14+120*x(12)^8*x(13)^2*x(14)^2*x(15)^14+560*x(12)^7*x(13)^3*x(14)^2*x(15)^14 -16*x(12)^8*x(13)*x(14)^2*x(15)^14-120*x(12)^7*x(13)^2*x(14)^2*x(15)^14+x(12)^8*x(14)^2*x(15)^14+16* x(12)^7*x(13)*x(14)^2*x(15)^14-x(12)^7*x(14)^2*x(15)^14
	x(12)^3*x(13)^6*x(14)*x(15)^5-6*x(12)^3*x(13)^5*x(14)*x(15)^5+15*x(12)^3*x(13)^4*x(14)*x(15)^5-20*x( 12)^3*x(13)^3*x(14)*x(15)^5+15*x(12)^3*x(13)^2*x(14)*x(15)^5-6*x(12)^3*x(13)*x(14)*x(15)^5+x(12)^3*x (14)*x(15)^5
	x(12)^2*x(13)^4*x(14)*x(15)^3-4*x(12)^2*x(13)^3*x(14)*x(15)^3+6*x(12)^2*x(13)^2*x(14)*x(15)^3-4*x(12 )^2*x(13)*x(14)*x(15)^3+x(12)^2*x(14)*x(15)^3
	x(12)*x(13)*x(15)-x(12)*x(15)
	x(13)*x(15)-x(15)
	x(13)^2*x(14)*x(15)-2*x(13)*x(14)*x(15)+x(14)*x(15)
	x(14)
	x(15)
TAGS
	0,0,0
STACK
WBO (dim: 3)
W
J
	-x(12)	0
c	0
E,a
	x(14)	1
	x(15)	6
	x(13)-1	7