ID: 25 Parent: 10 Tree
Covered by:
64
x(4)-1
PDER
VAR\RSOP x(7) x(2) x(8)
x(1) x(2)^2*x(4) -4*x(2)^3*x(4)*x(8)^2-5*x(1)^2*x(
4)+2*x(2)*x(4)*x(7)		 -2*x(2)^4*x(4)*x(8)
x(2) 0 1 0
x(4) -10*x(2)^3*x(4)^3 40*x(2)^4*x(4)^3*x(8)^2+50*x(1)^2
*x(2)*x(4)^3-20*x(2)^2*x(4)^3*x(7
)-10*x(1)*x(4)^2		 20*x(2)^5*x(4)^3*x(8)
x(7) 1 0 0
x(8) 0 0 1
DEP
-x(2)^4*x(8)^2-5*x(1)^2*x(2)+x(2)^2*x(7)+x(1)
10*x(1)*x(2)*x(4)-x(4)-1
MAP
x(1)x(1)
x(2)x(2)
x(3)x(2)^2*x(8)
IMAP
x(1)(x(1))/(1)
x(2)(x(2))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(8)(x(3))/(x(2)^2)
x(7)(x(1)^2*x(2)+x(3)^2+x(1))/(x(2)^2)
FOCUS
3*x(2)^4*x(8)^2-x(1)
-x(2)^2*x(8)
x(2)*x(7)
x(2)*x(8)
x(7)
x(8)
STACK
WBO (dim: 3)
W 
J
75*x(1)^4*x(2)^3*x(8)^2+x(2)^4*x(8)^4+15*x(1)^3*x(2)^2*x(8)^2-8*x(1)*x(2)^3*x(7)*x(8)^2+375*x(1)^6-7
5*x(1)^4*x(2)*x(7)+x(1)^2*x(2)*x(8)^2-x(2)^2*x(7)*x(8)^2-55*x(1)^3*x(7)+8*x(1)*x(2)*x(7)^2-x(1)*x(8)
^2+x(7)^2		2
c1
E,a
x(2)0
TBO (dim: 3)
W 
J
75*x(1)^4*x(2)^3*x(8)^2+x(2)^4*x(8)^4+15*x(1)^3*x(2)^2*x(8)^2-8*x(1)*x(2)^3*x(7)*x(8)^2+375*x(1)^6-7
5*x(1)^4*x(2)*x(7)+x(1)^2*x(2)*x(8)^2-x(2)^2*x(7)*x(8)^2-55*x(1)^3*x(7)+8*x(1)*x(2)*x(7)^2-x(1)*x(8)
^2+x(7)^2		2
E
x(2)
EM 
SBO (dim: 3)
W 
J
75*x(1)^4*x(2)^3*x(8)^2+x(2)^4*x(8)^4+15*x(1)^3*x(2)^2*x(8)^2-8*x(1)*x(2)^3*x(7)*x(8)^2+375*x(1)^6-7
5*x(1)^4*x(2)*x(7)+x(1)^2*x(2)*x(8)^2-x(2)^2*x(7)*x(8)^2-55*x(1)^3*x(7)+8*x(1)*x(2)*x(7)^2-x(1)*x(8)
^2+x(7)^2		2
E
x(2)
WBO (dim: 2)
W
x(7)
J
488281250*x(1)^13*x(2)^3*x(4)^2*x(8)^2+1464843750*x(1)^13*x(2)^3*x(4)*x(8)^2+1953125000*x(1)^13*x(2)
^3*x(8)^2+97656250*x(1)^12*x(2)^2*x(4)^2*x(8)^2+2441406250*x(1)^15*x(4)^2-488281250*x(1)^13*x(2)*x(4
)^2*x(7)+292968750*x(1)^12*x(2)^2*x(4)*x(8)^2+6250000*x(1)^8*x(2)^3*x(4)^2*x(8)^4+7324218750*x(1)^15
*x(4)-1464843750*x(1)^13*x(2)*x(4)*x(7)+390625000*x(1)^12*x(2)^2*x(8)^2+19531250*x(1)^11*x(2)*x(4)^2
*x(8)^2+18750000*x(1)^8*x(2)^3*x(4)*x(8)^4+9765625000*x(1)^15-1953125000*x(1)^13*x(2)*x(7)-97656250*
x(1)^12*x(4)^2*x(7)+58593750*x(1)^11*x(2)*x(4)*x(8)^2+23437500*x(1)^8*x(2)^3*x(8)^4+1093750*x(1)^7*x
(2)^2*x(4)^2*x(8)^4-292968750*x(1)^12*x(4)*x(7)+78125000*x(1)^11*x(2)*x(8)^2+35156250*x(1)^10*x(4)^2
*x(8)^2-6250000*x(1)^8*x(2)*x(4)^2*x(7)*x(8)^2+3281250*x(1)^7*x(2)^2*x(4)*x(8)^4+12500*x(1)^3*x(2)^3
*x(4)^2*x(8)^6-390625000*x(1)^12*x(7)+105468750*x(1)^10*x(4)*x(8)^2-18750000*x(1)^8*x(2)*x(4)*x(7)*x
(8)^2+4062500*x(1)^7*x(2)^2*x(8)^4+187500*x(1)^6*x(2)*x(4)^2*x(8)^4+37500*x(1)^3*x(2)^3*x(4)*x(8)^6+
132812500*x(1)^10*x(8)^2-23437500*x(1)^8*x(2)*x(7)*x(8)^2-1093750*x(1)^7*x(4)^2*x(7)*x(8)^2+562500*x
(1)^6*x(2)*x(4)*x(8)^4+40000*x(1)^3*x(2)^3*x(8)^6+1500*x(1)^2*x(2)^2*x(4)^2*x(8)^6-3281250*x(1)^7*x(
4)*x(7)*x(8)^2+687500*x(1)^6*x(2)*x(8)^4+93750*x(1)^5*x(4)^2*x(8)^4-12500*x(1)^3*x(2)*x(4)^2*x(7)*x(
8)^4+4500*x(1)^2*x(2)^2*x(4)*x(8)^6-4062500*x(1)^7*x(7)*x(8)^2+281250*x(1)^5*x(4)*x(8)^4-37500*x(1)^
3*x(2)*x(4)*x(7)*x(8)^4+4500*x(1)^2*x(2)^2*x(8)^6+150*x(1)*x(2)*x(4)^2*x(8)^6+312500*x(1)^5*x(8)^4-4
0000*x(1)^3*x(2)*x(7)*x(8)^4-1500*x(1)^2*x(4)^2*x(7)*x(8)^4+450*x(1)*x(2)*x(4)*x(8)^6-4500*x(1)^2*x(
4)*x(7)*x(8)^4+400*x(1)*x(2)*x(8)^6+10*x(4)^2*x(8)^6-4500*x(1)^2*x(7)*x(8)^4+30*x(4)*x(8)^6+20*x(8)^
6		6
732421875*x(1)^13*x(2)^3*x(8)^2+146484375*x(1)^12*x(2)^2*x(8)^2+3662109375*x(1)^15-732421875*x(1)^13
*x(2)*x(7)+6640625*x(1)^8*x(2)^3*x(8)^4+29296875*x(1)^11*x(2)*x(8)^2-146484375*x(1)^12*x(7)+1093750*
x(1)^7*x(2)^2*x(8)^4+39062500*x(1)^10*x(8)^2-6640625*x(1)^8*x(2)*x(7)*x(8)^2+1250*x(1)^3*x(2)^3*x(8)
^6+171875*x(1)^6*x(2)*x(8)^4-1093750*x(1)^7*x(7)*x(8)^2-375*x(1)^2*x(2)^2*x(8)^6+31250*x(1)^5*x(8)^4
-1250*x(1)^3*x(2)*x(7)*x(8)^4-125*x(1)*x(2)*x(8)^6+375*x(1)^2*x(7)*x(8)^4-20*x(8)^6		6
c3
E,a
x(2)9/2
TBO (dim: 2)
W
x(7)
J
488281250*x(1)^13*x(2)^3*x(4)^2*x(8)^2+1464843750*x(1)^13*x(2)^3*x(4)*x(8)^2+1953125000*x(1)^13*x(2)
^3*x(8)^2+97656250*x(1)^12*x(2)^2*x(4)^2*x(8)^2+2441406250*x(1)^15*x(4)^2-488281250*x(1)^13*x(2)*x(4
)^2*x(7)+292968750*x(1)^12*x(2)^2*x(4)*x(8)^2+6250000*x(1)^8*x(2)^3*x(4)^2*x(8)^4+7324218750*x(1)^15
*x(4)-1464843750*x(1)^13*x(2)*x(4)*x(7)+390625000*x(1)^12*x(2)^2*x(8)^2+19531250*x(1)^11*x(2)*x(4)^2
*x(8)^2+18750000*x(1)^8*x(2)^3*x(4)*x(8)^4+9765625000*x(1)^15-1953125000*x(1)^13*x(2)*x(7)-97656250*
x(1)^12*x(4)^2*x(7)+58593750*x(1)^11*x(2)*x(4)*x(8)^2+23437500*x(1)^8*x(2)^3*x(8)^4+1093750*x(1)^7*x
(2)^2*x(4)^2*x(8)^4-292968750*x(1)^12*x(4)*x(7)+78125000*x(1)^11*x(2)*x(8)^2+35156250*x(1)^10*x(4)^2
*x(8)^2-6250000*x(1)^8*x(2)*x(4)^2*x(7)*x(8)^2+3281250*x(1)^7*x(2)^2*x(4)*x(8)^4+12500*x(1)^3*x(2)^3
*x(4)^2*x(8)^6-390625000*x(1)^12*x(7)+105468750*x(1)^10*x(4)*x(8)^2-18750000*x(1)^8*x(2)*x(4)*x(7)*x
(8)^2+4062500*x(1)^7*x(2)^2*x(8)^4+187500*x(1)^6*x(2)*x(4)^2*x(8)^4+37500*x(1)^3*x(2)^3*x(4)*x(8)^6+
132812500*x(1)^10*x(8)^2-23437500*x(1)^8*x(2)*x(7)*x(8)^2-1093750*x(1)^7*x(4)^2*x(7)*x(8)^2+562500*x
(1)^6*x(2)*x(4)*x(8)^4+40000*x(1)^3*x(2)^3*x(8)^6+1500*x(1)^2*x(2)^2*x(4)^2*x(8)^6-3281250*x(1)^7*x(
4)*x(7)*x(8)^2+687500*x(1)^6*x(2)*x(8)^4+93750*x(1)^5*x(4)^2*x(8)^4-12500*x(1)^3*x(2)*x(4)^2*x(7)*x(
8)^4+4500*x(1)^2*x(2)^2*x(4)*x(8)^6-4062500*x(1)^7*x(7)*x(8)^2+281250*x(1)^5*x(4)*x(8)^4-37500*x(1)^
3*x(2)*x(4)*x(7)*x(8)^4+4500*x(1)^2*x(2)^2*x(8)^6+150*x(1)*x(2)*x(4)^2*x(8)^6+312500*x(1)^5*x(8)^4-4
0000*x(1)^3*x(2)*x(7)*x(8)^4-1500*x(1)^2*x(4)^2*x(7)*x(8)^4+450*x(1)*x(2)*x(4)*x(8)^6-4500*x(1)^2*x(
4)*x(7)*x(8)^4+400*x(1)*x(2)*x(8)^6+10*x(4)^2*x(8)^6-4500*x(1)^2*x(7)*x(8)^4+30*x(4)*x(8)^6+20*x(8)^
6		6
732421875*x(1)^13*x(2)^3*x(8)^2+146484375*x(1)^12*x(2)^2*x(8)^2+3662109375*x(1)^15-732421875*x(1)^13
*x(2)*x(7)+6640625*x(1)^8*x(2)^3*x(8)^4+29296875*x(1)^11*x(2)*x(8)^2-146484375*x(1)^12*x(7)+1093750*
x(1)^7*x(2)^2*x(8)^4+39062500*x(1)^10*x(8)^2-6640625*x(1)^8*x(2)*x(7)*x(8)^2+1250*x(1)^3*x(2)^3*x(8)
^6+171875*x(1)^6*x(2)*x(8)^4-1093750*x(1)^7*x(7)*x(8)^2-375*x(1)^2*x(2)^2*x(8)^6+31250*x(1)^5*x(8)^4
-1250*x(1)^3*x(2)*x(7)*x(8)^4-125*x(1)*x(2)*x(8)^6+375*x(1)^2*x(7)*x(8)^4-20*x(8)^6		6
E
x(2)
EM 
SBO (dim: 2)
W
x(7)
J
488281250*x(1)^13*x(2)^3*x(4)^2*x(8)^2+1464843750*x(1)^13*x(2)^3*x(4)*x(8)^2+1953125000*x(1)^13*x(2)
^3*x(8)^2+97656250*x(1)^12*x(2)^2*x(4)^2*x(8)^2+2441406250*x(1)^15*x(4)^2-488281250*x(1)^13*x(2)*x(4
)^2*x(7)+292968750*x(1)^12*x(2)^2*x(4)*x(8)^2+6250000*x(1)^8*x(2)^3*x(4)^2*x(8)^4+7324218750*x(1)^15
*x(4)-1464843750*x(1)^13*x(2)*x(4)*x(7)+390625000*x(1)^12*x(2)^2*x(8)^2+19531250*x(1)^11*x(2)*x(4)^2
*x(8)^2+18750000*x(1)^8*x(2)^3*x(4)*x(8)^4+9765625000*x(1)^15-1953125000*x(1)^13*x(2)*x(7)-97656250*
x(1)^12*x(4)^2*x(7)+58593750*x(1)^11*x(2)*x(4)*x(8)^2+23437500*x(1)^8*x(2)^3*x(8)^4+1093750*x(1)^7*x
(2)^2*x(4)^2*x(8)^4-292968750*x(1)^12*x(4)*x(7)+78125000*x(1)^11*x(2)*x(8)^2+35156250*x(1)^10*x(4)^2
*x(8)^2-6250000*x(1)^8*x(2)*x(4)^2*x(7)*x(8)^2+3281250*x(1)^7*x(2)^2*x(4)*x(8)^4+12500*x(1)^3*x(2)^3
*x(4)^2*x(8)^6-390625000*x(1)^12*x(7)+105468750*x(1)^10*x(4)*x(8)^2-18750000*x(1)^8*x(2)*x(4)*x(7)*x
(8)^2+4062500*x(1)^7*x(2)^2*x(8)^4+187500*x(1)^6*x(2)*x(4)^2*x(8)^4+37500*x(1)^3*x(2)^3*x(4)*x(8)^6+
132812500*x(1)^10*x(8)^2-23437500*x(1)^8*x(2)*x(7)*x(8)^2-1093750*x(1)^7*x(4)^2*x(7)*x(8)^2+562500*x
(1)^6*x(2)*x(4)*x(8)^4+40000*x(1)^3*x(2)^3*x(8)^6+1500*x(1)^2*x(2)^2*x(4)^2*x(8)^6-3281250*x(1)^7*x(
4)*x(7)*x(8)^2+687500*x(1)^6*x(2)*x(8)^4+93750*x(1)^5*x(4)^2*x(8)^4-12500*x(1)^3*x(2)*x(4)^2*x(7)*x(
8)^4+4500*x(1)^2*x(2)^2*x(4)*x(8)^6-4062500*x(1)^7*x(7)*x(8)^2+281250*x(1)^5*x(4)*x(8)^4-37500*x(1)^
3*x(2)*x(4)*x(7)*x(8)^4+4500*x(1)^2*x(2)^2*x(8)^6+150*x(1)*x(2)*x(4)^2*x(8)^6+312500*x(1)^5*x(8)^4-4
0000*x(1)^3*x(2)*x(7)*x(8)^4-1500*x(1)^2*x(4)^2*x(7)*x(8)^4+450*x(1)*x(2)*x(4)*x(8)^6-4500*x(1)^2*x(
4)*x(7)*x(8)^4+400*x(1)*x(2)*x(8)^6+10*x(4)^2*x(8)^6-4500*x(1)^2*x(7)*x(8)^4+30*x(4)*x(8)^6+20*x(8)^
6		6
732421875*x(1)^13*x(2)^3*x(8)^2+146484375*x(1)^12*x(2)^2*x(8)^2+3662109375*x(1)^15-732421875*x(1)^13
*x(2)*x(7)+6640625*x(1)^8*x(2)^3*x(8)^4+29296875*x(1)^11*x(2)*x(8)^2-146484375*x(1)^12*x(7)+1093750*
x(1)^7*x(2)^2*x(8)^4+39062500*x(1)^10*x(8)^2-6640625*x(1)^8*x(2)*x(7)*x(8)^2+1250*x(1)^3*x(2)^3*x(8)
^6+171875*x(1)^6*x(2)*x(8)^4-1093750*x(1)^7*x(7)*x(8)^2-375*x(1)^2*x(2)^2*x(8)^6+31250*x(1)^5*x(8)^4
-1250*x(1)^3*x(2)*x(7)*x(8)^4-125*x(1)*x(2)*x(8)^6+375*x(1)^2*x(7)*x(8)^4-20*x(8)^6		6
E
x(2)
Covered by:
64
x(4)-1
ID: 25 Parent: 10 Tree