ID: 12 Parent: 10 Tree
Exchanged to:
14
1<->x(5)-1
PDER
VAR\RSOP x(5) x(4)
x(4) 0 1
x(5) 1 0
x(6) -x(6)^2 0
DEP
x(5)*x(6)-1
MAP
x(1)x(4)^3*x(5)^2
x(2)x(4)^2*x(5)
IMAP
x(4)(x(2)^2)/(x(1))
x(5)(x(1)^2)/(x(2)^3)
x(6)(x(2)^3)/(x(1)^2)
FOCUS
x(4)^6*x(5)^4-x(4)^6*x(5)^3
x(4)*x(5)
x(4)
STACK
WBO (dim: 2)
W 
J
x(5)-11
c1
E,a
x(4)2
TBO (dim: 2)
W 
J
x(5)-11
E
x(4)
EM 
SBO (dim: 2)
W 
J
x(5)-11
E
x(4)
Exchanged to:
14
1<->x(5)-1
ID: 12 Parent: 10 Tree