ID: 63 Parent: 47 Tree
Blown up to:
182 183 184
x(10) x(11) x(9)
PDER
VAR\RSOP x(9) x(10) x(11)
x(9) 1 0 0
x(10) 0 1 0
x(11) 0 0 1
DEP 
MAP
x(1)x(9)^6*x(10)*x(11)^4
x(2)x(9)^3*x(10)*x(11)^2
x(3)x(9)^4*x(10)*x(11)^3
IMAP
x(9)(x(1)*x(2))/(x(3)^2)
x(11)(x(3)^3)/(x(1)*x(2)^2)
x(10)(x(2)^2)/(x(1))
FOCUS
x(9)^12*x(10)^2*x(11)^8-x(9)^10*x(10)^3*x(11)^7
x(9)^3*x(11)^2
x(9)*x(11)
x(9)^2*x(11)
x(10)
x(11)
STACK
WBO (dim: 3)
W 
J
x(9)^2*x(11)-x(10)1
c1
E,a
x(10)1
x(11)3
x(9)4
TBO (dim: 3)
W 
J
x(9)^2*x(11)-x(10)1
E
x(10)
x(11)
x(9)
EM
x(10)
SBO (dim: 3)
W 
J
x(10)1
x(9)^2*x(11)-x(10)1
E
x(11)
x(9)
H
x(10)
WBO (dim: 2)
W
x(10)
J
x(11)1
c1
E,a
x(11)0
x(9)2
TBO (dim: 2)
W
x(10)
J
x(11)1
E
x(11)
x(9)
EM
x(11)
x(9)
SBO (dim: 2)
W
x(10)
J
x(9)1
x(11)1
E
x(11)
H
x(9)
WBO (dim: 1)
W
x(10)
x(11)
J
x(9)1
c1
E,a 
H
x(9)
TBO (dim: 1)
W
x(10)
x(11)
J
x(9)1
E 
EM 
H
x(9)
SBO (dim: 1)
W
x(10)
x(11)
J
x(9)1
E 
H
x(9)
Blown up to:
182 183 184
x(10) x(11) x(9)
ID: 63 Parent: 47 Tree