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