Attributes: KKKK (node data), EEEE (element data)

These data types can be used for any data; for example, for graphic representation or for linking different data. The corresponding data are written into the binary files, i.e. they are recorded in the model checking.