ID: 80 Parent: 67 Tree
PDER
VAR\RSOP x(12) x(11) x(9)
x(9) 0 0 1
x(11) 0 1 0
x(12) 1 0 0
x(13) -x(13)^2 0 0
DEP
x(12)*x(13)-x(13)-1
MAP
x(1)x(9)^7*x(11)*x(12)^4
x(2)x(9)^6*x(11)*x(12)^3
x(3)x(9)^2*x(12)
IMAP
x(9)(x(2)*x(3))/(x(1))
x(12)(x(1)^2)/(x(2)^2*x(3))
x(11)(x(2))/(x(3)^3)
x(13)(x(2)^2*x(3))/(x(2)^2*x(3)+x(1)^2)
FOCUS
x(12)
x(9)^14*x(11)^2*x(12)^8-x(9)^14*x(11)^2*x(12)^7
x(9)^5*x(11)*x(12)^3
x(9)^3*x(11)*x(12)^2
x(9)*x(12)
x(9)
x(9)*x(11)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
x(12)-10
c0
E,a
x(11)1
x(12)3
x(9)6