c \thisissectionseparator{:}
c \thisisutilityversion{1998.12.20}
f b {texexec}
c \initializevariable\usedcolorchannels{}
f e {texexec}
c \initializevariable\lastpage{20}
c \initializevariable\lastpagenumber{20}
c \initializevariable\totalnofMPgraphics{0}
c \initializevariable\totalnofpositions{0}
c \initializevariable\totalnofparbackgrounds{0}
c \initializevariable\currentstrategypass{1}