ID: 47 Parent: 19 Tree
Blown up to:
61 62 63
x(8) x(5) x(9)
PDER
VAR\RSOP x(9) x(8) x(5)
x(5) 0 0 1
x(8) 0 1 0
x(9) 1 0 0
DEP 
MAP
x(1)x(5)^4*x(8)*x(9)
x(2)x(5)^2*x(8)
x(3)x(5)^3*x(8)
IMAP
x(5)(x(3))/(x(2))
x(9)(x(1)*x(2))/(x(3)^2)
x(8)(x(2)^3)/(x(3)^2)
FOCUS
x(5)^8*x(8)^2*x(9)^2-x(5)^7*x(8)^3
x(5)^2*x(9)
x(5)
x(5)*x(9)
STACK
WBO (dim: 3)
W 
J
x(5)*x(9)^2-x(8)1
c1
E,a
x(8)1
x(5)3
TBO (dim: 3)
W 
J
x(5)*x(9)^2-x(8)1
E
x(8)
x(5)
EM
x(8)
SBO (dim: 3)
W 
J
x(8)1
x(5)*x(9)^2-x(8)1
E
x(5)
H
x(8)
WBO (dim: 2)
W
x(8)
J
x(5)*x(9)^23
c3
E,a
x(5)0
TBO (dim: 2)
W
x(8)
J
x(5)*x(9)^23
E
x(5)
EM
x(5)
SBO (dim: 2)
W
x(8)
J
x(5)1
x(5)*x(9)^23
E 
H
x(5)
WBO (dim: 1)
W
x(8)
x(5)
J
x(9)^22
c1
E,a 
TBO (dim: 1)
W
x(8)
x(5)
J
x(9)^22
E 
EM 
SBO (dim: 1)
W
x(8)
x(5)
J
x(9)^22
E 
Blown up to:
61 62 63
x(8) x(5) x(9)
ID: 47 Parent: 19 Tree