ID: 49 Parent: 19 Tree
Blown up to:
99 100 101
x(8) x(9) x(6)
PDER
VAR\RSOP x(6) x(9) x(8)
x(6) 1 0 0
x(8) 0 0 1
x(9) 0 1 0
DEP 
MAP
x(1)x(6)^4*x(8)^2*x(9)
x(2)x(6)^2*x(8)*x(9)
x(3)x(6)^3*x(8)^2*x(9)
IMAP
x(6)(x(1))/(x(3))
x(9)(x(2)^2)/(x(1))
x(8)(x(3)^2)/(x(1)*x(2))
FOCUS
x(6)^8*x(8)^4*x(9)^2-x(6)^7*x(8)^4*x(9)^3
x(6)^2*x(8)
x(6)*x(8)
x(6)
x(8)
x(9)
STACK
WBO (dim: 3)
W 
J
x(6)-x(9)1
c1
E,a
x(9)1
x(8)2
x(6)3
TBO (dim: 3)
W 
J
x(6)-x(9)1
E
x(9)
x(8)
x(6)
EM
x(9)
x(8)
SBO (dim: 3)
W 
J
x(8)1
x(9)1
x(6)-x(9)1
E
x(6)
H
x(8)
x(9)
WBO (dim: 2)
W
x(8)
J
x(9)1
x(6)-x(9)1
c1
E,a
x(6)0
H
x(9)
TBO (dim: 2)
W
x(8)
J
x(9)1
x(6)-x(9)1
E
x(6)
EM 
H
x(9)
SBO (dim: 2)
W
x(8)
J
x(9)1
x(9)1
x(6)-x(9)1
E
x(6)
H
x(9)
WBO (dim: 1)
W
x(8)
x(9)
J
10
c0
E,a
x(6)1
Blown up to:
99 100 101
x(8) x(9) x(6)
ID: 49 Parent: 19 Tree