ID: 588.0 Parent: 587.0 Tree
PDER
VAR\IND x22-1 x2 x21 x18
x2 0 1 0 0
x18 0 0 0 1
x21 0 0 1 0
x22 1 0 0 0
FOCUS
x22^59*x21^90*x18^24*x2^6-x18^24*x22^60*x21^90*x2^6
x22^8*x21^12*x18^3
x21^11*x22^7*x18^3
x22^6*x21^9*x18^2
x21^8*x22^5*x18^2
x22^4*x21^6*x18
x22^3*x21^5*x18
x22^2*x21^3
x22*x18*x21^2
x21^2*x22
x22*x21
x21
DEPempty
MAP
x1 x22^8*x21^12*x18^3*x2
x2 x2
x3 x21^26*x22^17*x18^7*x2
x4 x18^4*x22^10*x21^15*x2
IMAP
x2 x2
x18 x4^4/x1^5*x2
x21 1/x4^5*x1^2*x2*x3^2
x22 1/x1/x3^3*x4^6/x2^2
STACK
WBO (dim: 4)
J
-1 0
c 0
Nempty
(E,a)
Ea
x2 5
x18 17
x22 41
x21 62
x22-1 0
C empty