copy_{_,U,Z} Init
Z
U U Z
_
copy_{_,U,Z} Init
Z
U
U Z
Z
_
copy_{_,U,Z} Init
Z U
U
Z
Z U
_
copy_{_,U,Z} Init
Z U U
Z
Z U U
_
copy_{_,U,Z} Init
Z U U Z
_
Z U U Z
_
copy_{_,U,Z} Q1
Z U U
Z
_
Z U U
Z
_
B?< Init
Z U U
Z
_
B?< Q1
Z U
U
Z _
B?< Q1
Z
U
U Z _
B?< Q1
Z
U U Z _
B?< Q1
_
Z U U Z _
B?< Acc
_
Z
U U Z _
B?< Init
Z U U
Z
_
B?< Q1
Z U
U
Z _
B?< Q1
Z
U
U Z _
B?< Q1
Z
U U Z _
B?< Q1
_
Z U U Z _
B?< Acc
_
Z
U U Z _
copy_{_,U,Z} Acc
_
Z
U U Z _
_
Z
U U Z _