; total time: 0.08
; plan length: 36
(activate-trans-up_station-3-up_station-station-control-_-pid_2_-wcontrol-state-25-state-14-0)
(queue-write-up_station-3-station-control-_-pid_2_-wcontrol-station-control-1--control-0)
(advance-empty-queue-tail-station-control-1--queue-1-qs-0-qs-0-control-empty-zero-one-0)
(perform-trans-up_station-3-down_station-station-control-_-pid_2_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-3-up_station-down-__-pidp1__2_-wstart-state-14-state-15-0)
(activate-trans-up_station-2-up_station-station-control-_-pid_2_-wcontrol-state-25-state-14-0)
(queue-write-up_station-2-station-control-_-pid_2_-wcontrol-station-control-0--control-0)
(advance-empty-queue-tail-station-control-0--queue-1-qs-0-qs-0-control-empty-zero-one-0)
(perform-trans-up_station-2-down_station-station-control-_-pid_2_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-2-up_station-down-__-pidp1__2_-wstart-state-14-state-15-0)
(activate-trans-down_station-1-down_station-down-_-pid_2_-rstart-state-25-state-2-0)
(activate-trans-down_station-0-down_station-down-_-pid_2_-rstart-state-25-state-2-0)
(queue-write-up_station-3-down-__-pidp1__2_-wstart-down-0--start-0)
(queue-write-up_station-2-down-__-pidp1__2_-wstart-down-1--start-0)
(advance-empty-queue-tail-down-0--queue-1-qs-0-qs-0-start-empty-zero-one-0)
(advance-empty-queue-tail-down-1--queue-1-qs-0-qs-0-start-empty-zero-one-0)
(queue-read-down_station-0-down-_-pid_2_-rstart-down-0--start-0)
(queue-read-down_station-1-down-_-pid_2_-rstart-down-1--start-0)
(advance-queue-head-down-0--queue-1-qs-0-qs-0-start-one-zero-0)
(advance-queue-head-down-1--queue-1-qs-0-qs-0-start-one-zero-0)
(perform-trans-up_station-3-up_station-down-__-pidp1__2_-wstart-state-14-state-15-0)
(perform-trans-up_station-2-up_station-down-__-pidp1__2_-wstart-state-14-state-15-0)
(perform-trans-down_station-1-down_station-down-_-pid_2_-rstart-state-25-state-2-0)
(perform-trans-down_station-0-down_station-down-_-pid_2_-rstart-state-25-state-2-0)
(activate-trans-up_station-2-up_station-up-__-pidp1__2_-rattention-state-15-state-20-0)
(activate-trans-up_station-3-up_station-up-__-pidp1__2_-rattention-state-15-state-20-0)
(activate-trans-down_station-0-down_station-station-control-_-pid_2_-wcontrol-state-2-state-3-0)
(activate-trans-down_station-1-down_station-station-control-_-pid_2_-wcontrol-state-2-state-3-0)
(block-read-wrong-message-up_station-3-up-__-pidp1__2_-rattention-up-0--attention-empty-0)
(block-read-wrong-message-up_station-2-up-__-pidp1__2_-rattention-up-1--attention-empty-0)
(block-write-down_station-1-station-control-_-pid_2_-wcontrol-station-control-1--queue-1-control-one-0)
(block-write-down_station-0-station-control-_-pid_2_-wcontrol-station-control-0--queue-1-control-one-0)
(block-up_station-3-state-15-up_station-0)
(block-up_station-2-state-15-up_station-0)
(block-down_station-1-state-2-down_station-0)
(block-down_station-0-state-2-down_station-0)
