ID: 633.0 Parent: 630.0 Tree
Covered by:
634.0
x25-1
PDER
VAR\IND x18 x2 x25-1 x23
x2 0 1 0 0
x18 1 0 0 0
x23 0 0 0 1
x25 0 0 1 0
FOCUS
x18^66*x23^90*x25^31*x2^6-x18^66*x23^90*x25^30*x2^6
x18^9*x23^12*x25^4
x23^11*x25^4*x18^8
x18^7*x23^9*x25^3
x23^8*x25^3*x18^6
x18^5*x23^6*x25^2
x23^5*x25^2*x18^4
x18^3*x23^3*x25
x23^2*x25*x18^2
x18
x23^2*x25*x18
x23^2*x25
x23
x25*x23
x25
DEPempty
MAP
x1 x18^9*x23^12*x25^4*x2
x2 x2
x3 x23^26*x25^9*x18^19*x2
x4 x18^11*x23^15*x25^5*x2
IMAP
x2 x2
x18 x1^5/x2/x4^4
x23 x4^5/x1^4/x3
x25 x3^3/x4^6*x2^2*x1
STACK
WBO (dim: 4)
J
x25-1 1
c 1
Nempty
(E,a)
Ea
x2 5
x18 47
x25 21
x23 62
C empty
TBO (dim: 4)
J
x25-1 1
Nempty
E
x2
x18
x25
x23
EM
x2
x18
x25
C empty
SBO (dim: 4)
J
x25-1 1
Nempty
Hempty
E
x23
C empty
Covered by:
634.0
x25-1
ID: 633.0 Parent: 630.0 Tree