ID: 20 Parent: 18 Tree
Blown up to:
21 22
x(12) x(10)
PDER
VAR\RSOP x(12) x(8) x(10)
x(1) x(4)*x(8)^4*x(10)^3 4*x(4)*x(8)^3*x(10)^3*x(12)-15*x(
1)^2*x(4)*x(8)^2*x(10)^2-2*x(4)*x
(8)*x(10)^2		 3*x(4)*x(8)^4*x(10)^2*x(12)-10*x(
1)^2*x(4)*x(8)^3*x(10)-2*x(4)*x(8
)^2*x(10)
x(4) -10*x(4)^3*x(8)^7*x(10)^5 -40*x(4)^3*x(8)^6*x(10)^5*x(12)+1
50*x(1)^2*x(4)^3*x(8)^5*x(10)^4+2
0*x(4)^3*x(8)^4*x(10)^4-30*x(1)*x
(4)^2*x(8)^2*x(10)^2		 -30*x(4)^3*x(8)^7*x(10)^4*x(12)+1
00*x(1)^2*x(4)^3*x(8)^6*x(10)^3+2
0*x(4)^3*x(8)^5*x(10)^3-20*x(1)*x
(4)^2*x(8)^3*x(10)
x(8) 0 1 0
x(10) 0 0 1
x(12) 1 0 0
DEP
x(8)^4*x(10)^3*x(12)-5*x(1)^2*x(8)^3*x(10)^2-x(8)^2*x(10)^2+x(1)
10*x(1)*x(4)*x(8)^3*x(10)^2-x(4)-1
MAP
x(1)x(1)
x(2)x(8)^3*x(10)^2
x(3)x(8)*x(10)
IMAP
x(1)(x(1))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(8)(x(2))/(x(3)^2)
x(10)(x(3)^3)/(x(2))
x(12)(x(1)^2*x(2)+x(3)^2+x(1))/(x(2)*x(3))
FOCUS
3*x(8)^2*x(10)^2-x(1)
-x(8)*x(10)
x(8)^3*x(10)^2*x(12)
x(8)^2*x(10)*x(12)
x(8)*x(10)*x(12)
x(8)*x(12)
x(12)
STACK
WBO (dim: 3)
W 
J
8*x(1)*x(8)^3*x(10)^2*x(12)^2-55*x(1)^3*x(8)^2*x(10)*x(12)+4*x(8)^3*x(10)^3*x(12)+75*x(1)^5*x(8)-20*
x(1)^2*x(8)^2*x(10)^2-4*x(1)*x(8)*x(10)*x(12)-5*x(1)^3-4*x(8)*x(10)^2+x(12)^2		2
c1
E,a
x(10)0
x(8)0
TBO (dim: 3)
W 
J
8*x(1)*x(8)^3*x(10)^2*x(12)^2-55*x(1)^3*x(8)^2*x(10)*x(12)+4*x(8)^3*x(10)^3*x(12)+75*x(1)^5*x(8)-20*
x(1)^2*x(8)^2*x(10)^2-4*x(1)*x(8)*x(10)*x(12)-5*x(1)^3-4*x(8)*x(10)^2+x(12)^2		2
E
x(10)
x(8)
EM 
SBO (dim: 3)
W 
J
8*x(1)*x(8)^3*x(10)^2*x(12)^2-55*x(1)^3*x(8)^2*x(10)*x(12)+4*x(8)^3*x(10)^3*x(12)+75*x(1)^5*x(8)-20*
x(1)^2*x(8)^2*x(10)^2-4*x(1)*x(8)*x(10)*x(12)-5*x(1)^3-4*x(8)*x(10)^2+x(12)^2		2
E
x(10)
x(8)
WBO (dim: 2)
W
x(12)
J
-31250*x(1)^7*x(4)^2*x(8)^13*x(10)^7*x(12)+156250*x(1)^9*x(4)^2*x(8)^12*x(10)^6-93750*x(1)^7*x(4)*x(
8)^13*x(10)^7*x(12)+468750*x(1)^9*x(4)*x(8)^12*x(10)^6-125000*x(1)^7*x(8)^13*x(10)^7*x(12)+625000*x(
1)^9*x(8)^12*x(10)^6+31250*x(1)^7*x(4)^2*x(8)^11*x(10)^6+93750*x(1)^7*x(4)*x(8)^11*x(10)^6+125000*x(
1)^7*x(8)^11*x(10)^6-5000*x(1)^4*x(4)^2*x(8)^9*x(10)^5*x(12)+31250*x(1)^6*x(4)^2*x(8)^8*x(10)^4-1500
0*x(1)^4*x(4)*x(8)^9*x(10)^5*x(12)+93750*x(1)^6*x(4)*x(8)^8*x(10)^4-17500*x(1)^4*x(8)^9*x(10)^5*x(12
)+112500*x(1)^6*x(8)^8*x(10)^4+5000*x(1)^4*x(4)^2*x(8)^7*x(10)^4+15000*x(1)^4*x(4)*x(8)^7*x(10)^4+17
500*x(1)^4*x(8)^7*x(10)^4-150*x(1)*x(4)^2*x(8)^5*x(10)^3*x(12)+1500*x(1)^3*x(4)^2*x(8)^4*x(10)^2-450
*x(1)*x(4)*x(8)^5*x(10)^3*x(12)+4500*x(1)^3*x(4)*x(8)^4*x(10)^2-400*x(1)*x(8)^5*x(10)^3*x(12)+4500*x
(1)^3*x(8)^4*x(10)^2+150*x(1)*x(4)^2*x(8)^3*x(10)^2+450*x(1)*x(4)*x(8)^3*x(10)^2+400*x(1)*x(8)^3*x(1
0)^2+10*x(4)^2+30*x(4)+20		0
-46875*x(1)^7*x(8)^13*x(10)^7*x(12)+234375*x(1)^9*x(8)^12*x(10)^6+46875*x(1)^7*x(8)^11*x(10)^6-3125*
x(1)^4*x(8)^9*x(10)^5*x(12)+25000*x(1)^6*x(8)^8*x(10)^4+3125*x(1)^4*x(8)^7*x(10)^4+125*x(1)*x(8)^5*x
(10)^3*x(12)-375*x(1)^3*x(8)^4*x(10)^2-125*x(1)*x(8)^3*x(10)^2-20		0
c0
E,a
x(10)1
x(8)1/2
Blown up to:
21 22
x(12) x(10)
ID: 20 Parent: 18 Tree