ID: 127 Parent: 99 Tree
Covered by:
153 154
x(13) x(13)-1
PDER
VAR\RSOP x(13) x(10) x(12)
x(10) 0 1 0
x(12) 0 0 1
x(13) 1 0 0
DEP 
MAP
x(1)x(10)^12*x(12)^7*x(13)^4
x(2)x(10)^7*x(12)^4*x(13)^2
x(3)x(10)^10*x(12)^6*x(13)^3
IMAP
x(10)(x(2)^3)/(x(3)^2)
x(13)(x(1)^2)/(x(2)^2*x(3))
x(12)(x(3)^4)/(x(1)*x(2)^4)
FOCUS
x(10)^24*x(12)^14*x(13)^8-x(10)^24*x(12)^14*x(13)^7
x(10)^5*x(12)^3*x(13)^2
x(10)^3*x(12)^2*x(13)
x(10)^2*x(12)*x(13)
x(10)*x(12)
x(10)^2*x(12)
STACK
WBO (dim: 3)
W 
J
x(13)-11
c1
E,a
x(13)3
x(12)6
x(10)10
TBO (dim: 3)
W 
J
x(13)-11
E
x(13)
x(12)
x(10)
EM 
SBO (dim: 3)
W 
J
x(13)-11
E
x(13)
x(12)
x(10)
Covered by:
153 154
x(13) x(13)-1
ID: 127 Parent: 99 Tree