ID: 69 | Parent: 68 | Tree | ||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
PDER |
| |||||||||||||||||||||||||||||
DEP | ||||||||||||||||||||||||||||||
-x(8)^2*x(11)^4*x(12)^4+x(8)*x(11)^4*x(12)^3-5*x(1)^2*x(11)*x(12)+x(1) | ||||||||||||||||||||||||||||||
10*x(1)*x(4)*x(11)*x(12)-x(4)-1 | ||||||||||||||||||||||||||||||
x(4)*x(9)-x(9)-1 | ||||||||||||||||||||||||||||||
MAP |
| |||||||||||||||||||||||||||||
IMAP |
| |||||||||||||||||||||||||||||
FOCUS | ||||||||||||||||||||||||||||||
3*x(8)^2*x(11)^4*x(12)^4-x(1) | ||||||||||||||||||||||||||||||
-x(8)*x(11)^2*x(12)^2 | ||||||||||||||||||||||||||||||
x(8)*x(11)^3*x(12)^2 | ||||||||||||||||||||||||||||||
x(8)*x(11)*x(12) | ||||||||||||||||||||||||||||||
x(8)*x(11)^2*x(12) | ||||||||||||||||||||||||||||||
x(8) | ||||||||||||||||||||||||||||||
x(11)^2*x(12) | ||||||||||||||||||||||||||||||
x(11) | ||||||||||||||||||||||||||||||
TAGS | ||||||||||||||||||||||||||||||
0,0,0 | ||||||||||||||||||||||||||||||
STACK | ||||||||||||||||||||||||||||||
WBO (dim: 3) | ||||||||||||||||||||||||||||||
W | ||||||||||||||||||||||||||||||
J | ||||||||||||||||||||||||||||||
150*x(1)^3*x(4)*x(8)*x(9)*x(11)^3*x(12)^4+50*x(1)^3*x(8)^2*x(11)^3*x(12)^5-60*x(1)^2*x(4)*x(8)*x(9)^ 2*x(11)^2*x(12)^3-150*x(1)^3*x(4)*x(9)*x(11)^3*x(12)^3-50*x(1)^3*x(8)*x(11)^3*x(12)^4-170*x(1)^2*x(4 )*x(8)*x(9)*x(11)^2*x(12)^3-5*x(1)^2*x(8)^2*x(11)^2*x(12)^4+750*x(1)^5*x(4)*x(9)*x(12)^2+60*x(1)^2*x (4)*x(9)^2*x(11)^2*x(12)^2+170*x(1)^2*x(4)*x(9)*x(11)^2*x(12)^2+20*x(1)^2*x(8)*x(11)^2*x(12)^3+250*x (1)^5*x(12)^2-4*x(1)*x(8)^2*x(11)*x(12)^3-15*x(1)^2*x(11)^2*x(12)^2-4*x(1)*x(8)*x(11)*x(12)^2+8*x(1) *x(11)*x(12)+1 | 0 | |||||||||||||||||||||||||||||
c | 0 | |||||||||||||||||||||||||||||
E,a | ||||||||||||||||||||||||||||||
x(8) | 0 | |||||||||||||||||||||||||||||
x(12) | 0 | |||||||||||||||||||||||||||||
x(11) | 0 |