ID: 180 Parent: 178 Tree
PDER
VAR\RSOP x(16)-1 x(14) x(10)
x(10) 0 0 1
x(14) 0 1 0
x(16) x(17) 0 0
x(17) -x(17)^3 0 0
DEP
x(16)*x(17)-1
MAP
x(1)x(10)^22*x(14)^9*x(16)^7
x(2)x(10)^17*x(14)^7*x(16)^5
x(3)x(10)^10*x(14)^4*x(16)^3
IMAP
x(10)(x(3)^4)/(x(1)*x(2))
x(14)(x(1)*x(2)^4)/(x(3)^9)
x(16)(x(1)^2)/(x(2)^2*x(3))
x(17)(x(2)^2*x(3))/(x(1)^2)
FOCUS
x(10)^44*x(14)^18*x(16)^14-x(10)^44*x(14)^18*x(16)^13
x(10)^12*x(14)^5*x(16)^4
x(10)^5*x(14)^2*x(16)^2
x(10)^3*x(14)*x(16)
x(10)^2*x(14)*x(16)
x(10)^4*x(14)^2*x(16)
x(10)
x(10)^2*x(14)
x(14)
TAGS
1,0,0
STACK
WBO (dim: 3)
W 
J
x(16)-11
c1
E,a
x(10)20
x(14)8
TBO (dim: 3)
W 
J
x(16)-11
E
x(10)
x(14)
EM 
SBO (dim: 3)
W 
J
x(16)-11
E
x(10)
x(14)
ID: 180 Parent: 178 Tree