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