Dear Voja Kale,
The description in the Manual (section 14.3 .2) is correct. It describes the format of ": 2 2 -2 2" by "The following lines describe the states of the graph. If the state is final, the line starts with the t character and with the : character if not. For each state, the list of transitions is a possibly empty sequence of pairs of integers". In each pair of integers, the first integer indicates a label and the second integer represents a state.
Best,
Eric Laporte