ID: 629.0 Parent: 624.0 Tree
Exchanged to:
631.0
4<->x25-1
PDER
VAR\IND x18 x2 x24 x25
x2 0 1 0 0
x18 1 0 0 0
x24 0 0 1 0
x25 0 0 0 1
FOCUS
x18^66*x25^59*x24^90*x2^6-x18^66*x25^60*x24^90*x2^6
x18^9*x25^8*x24^12
x25^7*x24^11*x18^8
x18^7*x25^6*x24^9
x25^5*x24^8*x18^6
x18^5*x25^4*x24^6
x25^3*x24^5*x18^4
x18^3*x25^2*x24^3
x25*x24^2*x18^2
x18
x25*x24^2*x18
x24^2*x25
x25*x24
x24
DEPempty
MAP
x1 x18^9*x25^8*x24^12*x2
x2 x2
x3 x25^17*x24^26*x18^19*x2
x4 x18^11*x25^10*x24^15*x2
IMAP
x2 x2
x18 x1^5/x2/x4^4
x24 x3^2/x4/x1^3*x2^2
x25 1/x1/x3^3*x4^6/x2^2
STACK
WBO (dim: 4)
J
-x25+1 1
c 1
Nempty
(E,a)
Ea
x2 5
x18 47
x25 41
x24 62
C empty
TBO (dim: 4)
J
-x25+1 1
Nempty
E
x2
x18
x25
x24
EM
x2
x18
C empty
SBO (dim: 4)
J
-x25+1 1
Nempty
Hempty
E
x25
x24
C empty
Exchanged to:
631.0
4<->x25-1
ID: 629.0 Parent: 624.0 Tree