ID: 106 Parent: 65 Tree
Blown up to:
131 132
x(13) x(14)
PDER
VAR\RSOP x(14) x(7) x(13)
x(7) 0 1 0
x(13) 0 0 1
x(14) 1 0 0
DEP 
MAP
x(1)x(7)^10*x(13)^2*x(14)
x(2)x(7)^7*x(13)^2
x(3)x(7)^3*x(13)
IMAP
x(7)(x(2))/(x(3)^2)
x(14)(x(1)*x(3)^6)/(x(2)^4)
x(13)(x(3)^7)/(x(2)^3)
FOCUS
x(7)^20*x(13)^4*x(14)^2-x(7)^17*x(13)^5
x(7)^7*x(13)*x(14)
x(7)^4*x(14)
x(7)^3*x(14)
x(7)^2*x(13)
x(7)*x(13)
x(13)
STACK
WBO (dim: 3)
W 
J
x(7)^3*x(14)^2-x(13)1
c1
E,a
x(13)2
x(7)7
TBO (dim: 3)
W 
J
x(7)^3*x(14)^2-x(13)1
E
x(13)
x(7)
EM
x(13)
SBO (dim: 3)
W 
J
x(13)1
x(7)^3*x(14)^2-x(13)1
E
x(7)
H
x(13)
WBO (dim: 2)
W
x(13)
J
x(14)^22
c2
E,a
x(7)3
TBO (dim: 2)
W
x(13)
J
x(14)^22
E
x(7)
EM 
SBO (dim: 2)
W
x(13)
J
x(14)^22
E
x(7)
Blown up to:
131 132
x(13) x(14)
ID: 106 Parent: 65 Tree