Chart 77

ID: 77

Parent: 76

PDER

VAR\RSOP	x(15)	x(2)	x(16)
x(1)	3x(2)^6x(4)x(15)^2x(16)^2-2x (2)^4x(4)x(15)x(16)^2	6x(2)^5x(4)x(15)^3x(16)^2-4x (2)^3x(4)x(15)^2x(16)^2-5x(1) ^2x(4)	2x(2)^6x(4)x(15)^3x(16)-2x(2 )^4x(4)x(15)^2x(16)
x(2)	0	1	0
x(4)	-30x(2)^7x(4)^3x(15)^2x(16)^2 +20x(2)^5x(4)^3x(15)x(16)^2	-60x(2)^6x(4)^3x(15)^3x(16)^2 +40x(2)^4x(4)^3x(15)^2x(16)^2 +50x(1)^2x(2)x(4)^3-10x(1)*x( 4)^2	-20x(2)^7x(4)^3x(15)^3x(16)+2 0x(2)^5x(4)^3x(15)^2x(16)
x(9)	30x(2)^7x(4)^3x(9)^2x(15)^2x (16)^2-20x(2)^5x(4)^3x(9)^2x( 15)x(16)^2	60x(2)^6x(4)^3x(9)^2x(15)^3x (16)^2-40x(2)^4x(4)^3x(9)^2x( 15)^2x(16)^2-50x(1)^2x(2)x(4) ^3x(9)^2+10x(1)x(4)^2*x(9)^2	20x(2)^7x(4)^3x(9)^2x(15)^3x (16)-20x(2)^5x(4)^3x(9)^2x(15 )^2x(16)
x(15)	1	0	0
x(16)	0	0	1

DEP

x(2)^6*x(15)^3*x(16)^2-x(2)^4*x(15)^2*x(16)^2-5*x(1)^2*x(2)+x(1)

10*x(1)*x(2)*x(4)-x(4)-1

x(4)*x(9)-x(9)-1

MAP

x(1)	x(1)
x(2)	x(2)
x(3)	x(2)^2x(15)x(16)

IMAP

x(1)	(x(1))/(1)
x(2)	(x(2))/(1)
x(4)	(1)/(x(1)*x(2)+1)
x(9)	(x(1)x(2)+1)/(x(1)x(2)+2)
x(15)	(x(1)^2x(2)+x(3)^2+x(1))/(x(2)^2x(3)^2)
x(16)	(x(3)^3)/(x(1)^2*x(2)+x(3)^2+x(1))

FOCUS

3*x(2)^4*x(15)^2*x(16)^2-x(1)

-x(2)^2*x(15)*x(16)

x(2)^5*x(15)^3*x(16)^2

x(2)*x(15)*x(16)

x(2)^4*x(15)^3*x(16)^2

x(15)*x(16)

x(2)^4*x(15)^2*x(16)

x(2)^3*x(15)^2*x(16)

x(2)^2*x(15)^2*x(16)

x(2)*x(15)^2*x(16)

x(2)*x(15)

x(15)

TAGS

0,0,0

STACK

WBO (dim: 3)

-7500*x(1)^4*x(2)^9*x(4)*x(9)^2*x(15)^2*x(16)^2-10000*x(1)^4*x(2)^9*x(4)*x(9)*x(15)^2*x(16)^2-1500*x
(1)^3*x(2)^8*x(4)*x(9)^2*x(15)^2*x(16)^2+15000*x(1)^4*x(2)^7*x(4)*x(9)^2*x(15)*x(16)^2-2750*x(1)^3*x
(2)^8*x(4)*x(9)*x(15)^2*x(16)^2+20000*x(1)^4*x(2)^7*x(4)*x(9)*x(15)*x(16)^2-3000*x(1)^3*x(2)^6*x(4)*
x(9)^3*x(15)*x(16)^2-300*x(1)^2*x(2)^7*x(4)*x(9)^2*x(15)^2*x(16)^2-7000*x(1)^3*x(2)^6*x(4)*x(9)^2*x(
15)*x(16)^2-250*x(1)^3*x(2)^8*x(15)^2*x(16)^2-700*x(1)^2*x(2)^7*x(4)*x(9)*x(15)^2*x(16)^2+240*x(1)*x
(2)^6*x(4)*x(9)^3*x(15)^2*x(16)^2-7500*x(1)^4*x(2)^5*x(4)*x(9)^2*x(16)^2-1750*x(1)^3*x(2)^6*x(4)*x(9
)*x(15)*x(16)^2+740*x(1)*x(2)^6*x(4)*x(9)^2*x(15)^2*x(16)^2-10000*x(1)^4*x(2)^5*x(4)*x(9)*x(16)^2+30
00*x(1)^3*x(2)^4*x(4)*x(9)^3*x(16)^2+300*x(1)^2*x(2)^5*x(4)*x(9)^2*x(15)*x(16)^2-100*x(1)^2*x(2)^7*x
(15)^2*x(16)^2+510*x(1)*x(2)^6*x(4)*x(9)*x(15)^2*x(16)^2+8500*x(1)^3*x(2)^4*x(4)*x(9)^2*x(16)^2+500*
x(1)^3*x(2)^6*x(15)*x(16)^2+700*x(1)^2*x(2)^5*x(4)*x(9)*x(15)*x(16)^2-240*x(1)*x(2)^4*x(4)*x(9)^3*x(
15)*x(16)^2+4500*x(1)^3*x(2)^4*x(4)*x(9)*x(16)^2-740*x(1)*x(2)^4*x(4)*x(9)^2*x(15)*x(16)^2-30*x(1)*x
(2)^6*x(15)^2*x(16)^2+175*x(1)^2*x(2)^5*x(15)*x(16)^2-510*x(1)*x(2)^4*x(4)*x(9)*x(15)*x(16)^2-250*x(
1)^3*x(2)^4*x(16)^2+4*x(2)^5*x(15)^2*x(16)^2-150*x(1)^3*x(2)^3*x(4)*x(9)+55*x(1)*x(2)^4*x(15)*x(16)^
2+60*x(1)^2*x(2)^2*x(4)*x(9)^2-75*x(1)^2*x(2)^3*x(16)^2+170*x(1)^2*x(2)^2*x(4)*x(9)-25*x(1)*x(2)^2*x
(16)^2-15*x(1)^2*x(2)^2-4*x(2)*x(16)^2+8*x(1)*x(2)+1

E,a

x(16)

x(2)

x(15)