Terminology
The following data types are used in the serialization:
Boolean refers to an 8-bit signed character which must be 0 or 1.
Character refers to an 8-bit signed character.
Integer refers to a 32-bit signed integer.
Double refers to a 64-bit double.
Matrices are stored in row-major order. In this documentation brackets are used to indicate a matrix. Hence, integer[3][4] means that 12 integers representing a matrix are stored in the file. The first four entries correspond to the integers in the first row of the matrix, and so on.