ID: 586.0 Parent: 580.0 Tree
Exchanged to:
589.0
3<->x22-1
PDER
VAR\IND x20 x2 x22 x18
x2 0 1 0 0
x18 0 0 0 1
x20 1 0 0 0
x22 0 0 1 0
FOCUS
x20^90*x22^31*x18^24*x2^6-x18^24*x20^90*x22^30*x2^6
x20^12*x22^4*x18^3
x22^4*x20^11*x18^3
x20^9*x22^3*x18^2
x22^3*x20^8*x18^2
x20^6*x22^2*x18
x20^5*x22^2*x18
x20^3*x22
x22*x20^2*x18
x20^2*x22
x20
x22*x20
x22
DEPempty
MAP
x1 x20^12*x22^4*x18^3*x2
x2 x2
x3 x22^9*x20^26*x18^7*x2
x4 x18^4*x20^15*x22^5*x2
IMAP
x2 x2
x18 x4^4/x1^5*x2
x20 x1/x2/x3*x4
x22 x3^3/x4^6*x2^2*x1
STACK
WBO (dim: 4)
J
x22-1 1
c 1
Nempty
(E,a)
Ea
x2 5
x18 17
x22 21
x20 62
C empty
TBO (dim: 4)
J
x22-1 1
Nempty
E
x2
x18
x22
x20
EM
x2
x18
x22
C empty
SBO (dim: 4)
J
x22-1 1
Nempty
Hempty
E
x20
C empty
Exchanged to:
589.0
3<->x22-1
ID: 586.0 Parent: 580.0 Tree