rev_{_,U,Z} Init
U
Z U U Z Z
_
>?B Init
U
Z U U Z Z
>?B Q1
U
Z
U U Z Z
>?B Q1
U Z
U
U Z Z
>?B Q1
U Z U
U
Z Z
>?B Q1
U Z U U
Z
Z
>?B Q1
U Z U U Z
Z
>?B Q1
U Z U U Z Z
_
>?B Acc
U Z U U Z
Z
_
rev_{_,U,Z} Q1
U Z U U Z
Z
_
_
rev_{_,U,Z} Q1
U Z U U
Z
Z _
Z
_
rev_{_,U,Z} Q1
U Z U
U
Z Z _
Z Z
_
rev_{_,U,Z} Q1
U Z
U
U Z Z _
Z Z U
_
rev_{_,U,Z} Q1
U
Z
U U Z Z _
Z Z U U
_
rev_{_,U,Z} Q1
U
Z U U Z Z _
Z Z U U Z
_
rev_{_,U,Z} Q1
_
U Z U U Z Z _
Z Z U U Z U
_
rev_{_,U,Z} Q2
_
U
Z U U Z Z _
Z Z U U Z
U
_
B?< Init
Z Z U U Z
U
_
B?< Q1
Z Z U U
Z
U _
B?< Q1
Z Z U
U
Z U _
B?< Q1
Z Z
U
U Z U _
B?< Q1
Z
Z
U U Z U _
B?< Q1
Z
Z U U Z U _
B?< Q1
_
Z Z U U Z U _
B?< Acc
_
Z
Z U U Z U _
rev_{_,U,Z} Acc
_
U
Z U U Z Z _
_
Z
Z U U Z U _