ID: 57 Parent: 54 Tree
PDER
VAR\RSOP x(15) x(8) x(16)
x(1) x(4)*x(8)^10*x(16)^6 10*x(4)*x(8)^9*x(15)*x(16)^6-6*x(
4)*x(8)^5*x(16)^4-10*x(1)^2*x(4)*
x(8)*x(16)		 6*x(4)*x(8)^10*x(15)*x(16)^5-4*x(
4)*x(8)^6*x(16)^3-5*x(1)^2*x(4)*x
(8)^2
x(4) -10*x(4)^3*x(8)^12*x(16)^7 -100*x(4)^3*x(8)^11*x(15)*x(16)^7
+60*x(4)^3*x(8)^7*x(16)^5+100*x(1
)^2*x(4)^3*x(8)^3*x(16)^2-20*x(1)
*x(4)^2*x(8)*x(16)		 -60*x(4)^3*x(8)^12*x(15)*x(16)^6+
40*x(4)^3*x(8)^8*x(16)^4+50*x(1)^
2*x(4)^3*x(8)^4*x(16)-10*x(1)*x(4
)^2*x(8)^2
x(8) 0 1 0
x(15) 1 0 0
x(16) 0 0 1
DEP
x(8)^10*x(15)*x(16)^6-x(8)^6*x(16)^4-5*x(1)^2*x(8)^2*x(16)+x(1)
10*x(1)*x(4)*x(8)^2*x(16)-x(4)-1
MAP
x(1)x(1)
x(2)x(8)^2*x(16)
x(3)x(8)^3*x(16)^2
IMAP
x(1)(x(1))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(8)(x(2)^2)/(x(3))
x(16)(x(3)^2)/(x(2)^3)
x(15)(x(1)^2*x(2)+x(3)^2+x(1))/(x(2)^2*x(3)^2)
FOCUS
3*x(8)^6*x(16)^4-x(1)
-x(8)^3*x(16)^2
x(8)^8*x(15)*x(16)^5
x(8)*x(16)
x(8)^7*x(15)*x(16)^4
x(8)^6*x(15)*x(16)^3
x(8)^5*x(15)*x(16)^2
x(8)^4*x(15)*x(16)
x(8)^3*x(15)*x(16)
x(8)^2*x(15)*x(16)
x(8)*x(15)
x(15)
x(16)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
-29296875*x(1)^12*x(8)^12*x(15)*x(16)^5-5859375*x(1)^11*x(8)^10*x(15)*x(16)^4+29296875*x(1)^12*x(8)^
8*x(16)^3-218750*x(1)^7*x(8)^10*x(15)*x(16)^5-1171875*x(1)^10*x(8)^8*x(15)*x(16)^3+12500*x(1)^5*x(8)
^10*x(15)^2*x(16)^5+5859375*x(1)^11*x(8)^6*x(16)^2-34375*x(1)^6*x(8)^8*x(15)*x(16)^4+146484375*x(1)^
14*x(8)^4-234375*x(1)^9*x(8)^6*x(15)*x(16)^2+2125*x(1)^4*x(8)^8*x(15)^2*x(16)^4+218750*x(1)^7*x(8)^6
*x(16)^3+75*x(1)^2*x(8)^8*x(15)*x(16)^5+1171875*x(1)^10*x(8)^4*x(16)-17500*x(1)^5*x(8)^6*x(15)*x(16)
^3+4*x(8)^8*x(15)^2*x(16)^5-46875*x(1)^8*x(8)^4*x(15)*x(16)+350*x(1)^3*x(8)^6*x(15)^2*x(16)^3+34375*
x(1)^6*x(8)^4*x(16)^2+25*x(1)*x(8)^6*x(15)*x(16)^4+1328125*x(1)^9*x(8)^2-2750*x(1)^4*x(8)^4*x(15)*x(
16)^2-71875*x(1)^7*x(8)^2*x(15)+55*x(1)^2*x(8)^4*x(15)^2*x(16)^2-75*x(1)^2*x(8)^4*x(16)^3+5000*x(1)^
5*x(8)^2*x(16)-400*x(1)^3*x(8)^2*x(15)*x(16)+8*x(1)*x(8)^2*x(15)^2*x(16)-25*x(1)*x(8)^2*x(16)^2+250*
x(1)^4-70*x(1)^2*x(15)+x(15)^2-4*x(16)		0
c0
E,a
x(16)0
x(8)0