\* MV CONSTANT declarations
CONSTANTS
a1 = a1
a2 = a2
a3 = a3
a4 = a4
a5 = a5
\* MV CONSTANT definitions

CONSTANT
    Art <- const_172908733197347000
\* CONSTANT declarations
CONSTANT NotArt = NotArt
\* SPECIFICATION definition
SPECIFICATION
ICen2_s
\* PROPERTY definition
PROPERTY
prop_172908733197348000
\* Generated on Wed Oct 16 16:02:11 CEST 2024