Initial state encoding