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