\* MV CONSTANT declarations
CONSTANTS
p1 = p1
p2 = p2
p3 = p3
p4 = p4
\* MV CONSTANT definitions

CONSTANT
    Procs <- const_1728919141029247000
\* SYMMETRY definition
SYMMETRY symm_1728919141036248000
\* CONSTANT definitions

CONSTANT
    epsilon <- const_1728919141036249000
\* CONSTANT definitions

CONSTANT
    Times <- const_1728919141036250000
\* CONSTANT definitions

CONSTANT
    delta <- const_1728919141036251000
\* CONSTANT definition
CONSTANT
none = none
\* SPECIFICATION definition
SPECIFICATION
Fischer
\* INVARIANT definition
INVARIANT
LInv
\* Generated on Mon Oct 14 17:19:01 CEST 2024