c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Lueckespec PredefinedSign =
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke Int with Int |-> integer, Nat |-> nonNegativeInteger, Pos |-> positiveInteger
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke sort boolean < DATA
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke sort integer < DATA
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke op True,False:boolean
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke sort positveInteger < nonNegativeInteger;
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke sort nonNegativeInteger < integer;
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke sort nonPositiveInteger < integer;
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke sort negativeInteger < nonPositiveInteger;
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke sort nonPositiveInteger = {p : integer . p <= 0}
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke pred Nothing : Thing
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke forall x : nonNegativeInteger
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke . 0 @@ x = x %(no_preceeding_zeros)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke forall x : Thing . not (Nothing (x)) %(gn_Nothing_def)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke sorts Char; string < DATA
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke free type string ::= emptyString | __:@:__ (Char;string)
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke ops ' ' : Char; %(DL_printable_32)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '!' : Char; %(DL_printable_33)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '\"' : Char; %(DL_printable_34)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '#' : Char; %(DL_printable_35)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '$' : Char; %(DL_printable_36)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '%' : Char; %(DL_printable_37)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '&' : Char; %(DL_printable_38)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '\'' : Char; %(DL_printable_39)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '(' : Char; %(DL_printable_40)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke ')' : Char; %(DL_printable_41)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '*' : Char; %(DL_printable_42)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '+' : Char; %(DL_printable_43)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke ',' : Char; %(DL_printable_44)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '-' : Char; %(DL_printable_45)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '.' : Char; %(DL_printable_46)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '/' : Char; %(DL_printable_47)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '0' : Char; %(DL_printable_48)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '1' : Char; %(DL_printable_49)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '2' : Char; %(DL_printable_50)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '3' : Char; %(DL_printable_51)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '4' : Char; %(DL_printable_52)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '5' : Char; %(DL_printable_53)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '6' : Char; %(DL_printable_54)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '7' : Char; %(DL_printable_55)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '8' : Char; %(DL_printable_56)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '9' : Char; %(DL_printable_57)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke ':' : Char; %(DL_printable_58)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke ';' : Char; %(DL_printable_59)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '<' : Char; %(DL_printable_60)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '=' : Char; %(DL_printable_61)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '>' : Char; %(DL_printable_62)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '?' : Char; %(DL_printable_63)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '@' : Char; %(DL_printable_64)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'A' : Char; %(DL_printable_65)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'B' : Char; %(DL_printable_66)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'C' : Char; %(DL_printable_67)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'D' : Char; %(DL_printable_68)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'E' : Char; %(DL_printable_69)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'F' : Char; %(DL_printable_70)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'G' : Char; %(DL_printable_71)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'H' : Char; %(DL_printable_72)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'I' : Char; %(DL_printable_73)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'J' : Char; %(DL_printable_74)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'K' : Char; %(DL_printable_75)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'L' : Char; %(DL_printable_76)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'M' : Char; %(DL_printable_77)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'N' : Char; %(DL_printable_78)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'O' : Char; %(DL_printable_79)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'P' : Char; %(DL_printable_80)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'Q' : Char; %(DL_printable_81)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'R' : Char; %(DL_printable_82)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'S' : Char; %(DL_printable_83)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'T' : Char; %(DL_printable_84)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'U' : Char; %(DL_printable_85)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'V' : Char; %(DL_printable_86)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'W' : Char; %(DL_printable_87)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'X' : Char; %(DL_printable_88)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'Y' : Char; %(DL_printable_89)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'Z' : Char; %(DL_printable_90)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '[' : Char; %(DL_printable_91)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '\\' : Char; %(DL_printable_92)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke ']' : Char; %(DL_printable_93)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '^' : Char; %(DL_printable_94)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '_' : Char; %(DL_printable_95)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '`' : Char; %(DL_printable_96)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'a' : Char; %(DL_printable_97)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'b' : Char; %(DL_printable_98)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'c' : Char; %(DL_printable_99)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'd' : Char; %(DL_printable_100)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'e' : Char; %(DL_printable_101)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'f' : Char; %(DL_printable_102)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'g' : Char; %(DL_printable_103)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'h' : Char; %(DL_printable_104)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'i' : Char; %(DL_printable_105)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'j' : Char; %(DL_printable_106)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'k' : Char; %(DL_printable_107)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'l' : Char; %(DL_printable_108)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'm' : Char; %(DL_printable_109)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'n' : Char; %(DL_printable_110)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'o' : Char; %(DL_printable_111)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'p' : Char; %(DL_printable_112)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'q' : Char; %(DL_printable_113)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'r' : Char; %(DL_printable_114)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 's' : Char; %(DL_printable_115)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 't' : Char; %(DL_printable_116)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'u' : Char; %(DL_printable_117)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'v' : Char; %(DL_printable_118)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'w' : Char; %(DL_printable_119)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'x' : Char; %(DL_printable_120)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'y' : Char; %(DL_printable_121)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke 'z' : Char; %(DL_printable_122)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '{' : Char; %(DL_printable_123)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '|' : Char; %(DL_printable_124)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '}' : Char; %(DL_printable_125)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '~' : Char; %(DL_printable_126)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke %% Iso-Latin-1 character number 160 is displayed as space,
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke %% but internally is different from character 32 (space)
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_160)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_161)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_162)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_163)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_164)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_165)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_166)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_167)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_168)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_169)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_170)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_171)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_172)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_173)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_174)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_175)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_176)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_177)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_178)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_179)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_180)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_181)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_182)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_183)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_184)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_185)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_186)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_187)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_188)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_189)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_190)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_191)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_192)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_193)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_194)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_195)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_196)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_197)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_198)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_199)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_200)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_201)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_202)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_203)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_204)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_205)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_206)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_207)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_208)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_209)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_210)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_211)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_212)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_213)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_214)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_215)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_216)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_217)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_218)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_219)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_220)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_221)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_222)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_223)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_224)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_225)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_226)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_227)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_228)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_229)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_230)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_231)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_232)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_233)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_234)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_235)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_236)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_237)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_238)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_239)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_240)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_241)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_242)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_243)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_244)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_245)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_246)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_247)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_248)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_249)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_250)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_251)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_252)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_253)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_254)%
c8fc9f576cc6a21277315fec0fe88e24d2c43374Dominik Luecke '�' : Char; %(DL_printable_255)%