ID: 585.0 Parent: 580.0 Tree
Exchanged to:
587.0
1<->x22-1
PDER
VAR\IND x22 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
-x22+1 1
c 1
Nempty
(E,a)
Ea
x2 5
x18 17
x22 41
x21 62
C empty
TBO (dim: 4)
J
-x22+1 1
Nempty
E
x2
x18
x22
x21
EM
x2
x18
C empty
SBO (dim: 4)
J
-x22+1 1
Nempty
Hempty
E
x22
x21
C empty
Exchanged to:
587.0
1<->x22-1
ID: 585.0 Parent: 580.0 Tree