it.readIntArray(transitions, 0, transitions.length);
it.readIntArray(transitions, 0, transitions.length);
it.readIntArray(transitions, 0, transitions.length);
it.readIntArray(transitions, 0, transitions.length);
it.readIntArray(transitions, 0, transitions.length);
it.readIntArray(transitions, 0, transitions.length);
it.readIntArray(transitions, 0, transitions.length);