; total time: 0.48
; plan length: 98
(activate-trans-up_station-7-up_station-station-control-_-pid_7_-wcontrol-state-25-state-14-0)
(queue-write-up_station-7-station-control-_-pid_7_-wcontrol-station-control-0--control-0)
(advance-empty-queue-tail-station-control-0--queue-1-qs-0-qs-0-control-empty-zero-one-0)
(activate-trans-down_station-0-down_station-down-_-pid_7_-rstart-state-25-state-2-0)
(activate-trans-up_station-13-up_station-station-control-_-pid_7_-wcontrol-state-25-state-14-0)
(queue-write-up_station-13-station-control-_-pid_7_-wcontrol-station-control-6--control-0)
(advance-empty-queue-tail-station-control-6--queue-1-qs-0-qs-0-control-empty-zero-one-0)
(perform-trans-up_station-13-up_station-station-control-_-pid_7_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-13-up_station-down-__-pidp1__7_-wstart-state-14-state-15-0)
(queue-write-up_station-13-down-__-pidp1__7_-wstart-down-0--start-0)
(advance-empty-queue-tail-down-0--queue-1-qs-0-qs-0-start-empty-zero-one-0)
(queue-read-down_station-0-down-_-pid_7_-rstart-down-0--start-0)
(advance-queue-head-down-0--queue-1-qs-0-qs-0-start-one-zero-0)
(perform-trans-down_station-0-down_station-down-_-pid_7_-rstart-state-25-state-2-0)
(activate-trans-down_station-0-down_station-station-control-_-pid_7_-wcontrol-state-2-state-3-0)
(activate-trans-up_station-8-up_station-station-control-_-pid_7_-wcontrol-state-25-state-14-0)
(queue-write-up_station-8-station-control-_-pid_7_-wcontrol-station-control-1--control-0)
(advance-empty-queue-tail-station-control-1--queue-1-qs-0-qs-0-control-empty-zero-one-0)
(activate-trans-down_station-1-down_station-down-_-pid_7_-rstart-state-25-state-2-0)
(perform-trans-up_station-7-up_station-station-control-_-pid_7_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-7-up_station-down-__-pidp1__7_-wstart-state-14-state-15-0)
(queue-write-up_station-7-down-__-pidp1__7_-wstart-down-1--start-0)
(advance-empty-queue-tail-down-1--queue-1-qs-0-qs-0-start-empty-zero-one-0)
(queue-read-down_station-1-down-_-pid_7_-rstart-down-1--start-0)
(advance-queue-head-down-1--queue-1-qs-0-qs-0-start-one-zero-0)
(perform-trans-down_station-1-down_station-down-_-pid_7_-rstart-state-25-state-2-0)
(activate-trans-down_station-1-down_station-station-control-_-pid_7_-wcontrol-state-2-state-3-0)
(activate-trans-up_station-9-up_station-station-control-_-pid_7_-wcontrol-state-25-state-14-0)
(queue-write-up_station-9-station-control-_-pid_7_-wcontrol-station-control-2--control-0)
(advance-empty-queue-tail-station-control-2--queue-1-qs-0-qs-0-control-empty-zero-one-0)
(activate-trans-down_station-2-down_station-down-_-pid_7_-rstart-state-25-state-2-0)
(perform-trans-up_station-8-up_station-station-control-_-pid_7_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-8-up_station-down-__-pidp1__7_-wstart-state-14-state-15-0)
(queue-write-up_station-8-down-__-pidp1__7_-wstart-down-2--start-0)
(advance-empty-queue-tail-down-2--queue-1-qs-0-qs-0-start-empty-zero-one-0)
(queue-read-down_station-2-down-_-pid_7_-rstart-down-2--start-0)
(advance-queue-head-down-2--queue-1-qs-0-qs-0-start-one-zero-0)
(perform-trans-down_station-2-down_station-down-_-pid_7_-rstart-state-25-state-2-0)
(activate-trans-down_station-2-down_station-station-control-_-pid_7_-wcontrol-state-2-state-3-0)
(activate-trans-up_station-10-up_station-station-control-_-pid_7_-wcontrol-state-25-state-14-0)
(queue-write-up_station-10-station-control-_-pid_7_-wcontrol-station-control-3--control-0)
(advance-empty-queue-tail-station-control-3--queue-1-qs-0-qs-0-control-empty-zero-one-0)
(activate-trans-down_station-3-down_station-down-_-pid_7_-rstart-state-25-state-2-0)
(perform-trans-up_station-9-up_station-station-control-_-pid_7_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-9-up_station-down-__-pidp1__7_-wstart-state-14-state-15-0)
(queue-write-up_station-9-down-__-pidp1__7_-wstart-down-3--start-0)
(advance-empty-queue-tail-down-3--queue-1-qs-0-qs-0-start-empty-zero-one-0)
(queue-read-down_station-3-down-_-pid_7_-rstart-down-3--start-0)
(advance-queue-head-down-3--queue-1-qs-0-qs-0-start-one-zero-0)
(perform-trans-down_station-3-down_station-down-_-pid_7_-rstart-state-25-state-2-0)
(activate-trans-down_station-3-down_station-station-control-_-pid_7_-wcontrol-state-2-state-3-0)
(activate-trans-up_station-11-up_station-station-control-_-pid_7_-wcontrol-state-25-state-14-0)
(queue-write-up_station-11-station-control-_-pid_7_-wcontrol-station-control-4--control-0)
(advance-empty-queue-tail-station-control-4--queue-1-qs-0-qs-0-control-empty-zero-one-0)
(activate-trans-down_station-4-down_station-down-_-pid_7_-rstart-state-25-state-2-0)
(perform-trans-up_station-10-up_station-station-control-_-pid_7_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-10-up_station-down-__-pidp1__7_-wstart-state-14-state-15-0)
(queue-write-up_station-10-down-__-pidp1__7_-wstart-down-4--start-0)
(advance-empty-queue-tail-down-4--queue-1-qs-0-qs-0-start-empty-zero-one-0)
(queue-read-down_station-4-down-_-pid_7_-rstart-down-4--start-0)
(advance-queue-head-down-4--queue-1-qs-0-qs-0-start-one-zero-0)
(perform-trans-down_station-4-down_station-down-_-pid_7_-rstart-state-25-state-2-0)
(activate-trans-down_station-4-down_station-station-control-_-pid_7_-wcontrol-state-2-state-3-0)
(activate-trans-up_station-12-up_station-station-control-_-pid_7_-wcontrol-state-25-state-14-0)
(queue-write-up_station-12-station-control-_-pid_7_-wcontrol-station-control-5--control-0)
(advance-empty-queue-tail-station-control-5--queue-1-qs-0-qs-0-control-empty-zero-one-0)
(activate-trans-down_station-5-down_station-down-_-pid_7_-rstart-state-25-state-2-0)
(perform-trans-up_station-11-up_station-station-control-_-pid_7_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-11-up_station-down-__-pidp1__7_-wstart-state-14-state-15-0)
(queue-write-up_station-11-down-__-pidp1__7_-wstart-down-5--start-0)
(advance-empty-queue-tail-down-5--queue-1-qs-0-qs-0-start-empty-zero-one-0)
(queue-read-down_station-5-down-_-pid_7_-rstart-down-5--start-0)
(advance-queue-head-down-5--queue-1-qs-0-qs-0-start-one-zero-0)
(perform-trans-down_station-5-down_station-down-_-pid_7_-rstart-state-25-state-2-0)
(activate-trans-down_station-5-down_station-station-control-_-pid_7_-wcontrol-state-2-state-3-0)
(activate-trans-down_station-6-down_station-down-_-pid_7_-rstart-state-25-state-2-0)
(perform-trans-up_station-12-up_station-station-control-_-pid_7_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-12-up_station-down-__-pidp1__7_-wstart-state-14-state-15-0)
(queue-write-up_station-12-down-__-pidp1__7_-wstart-down-6--start-0)
(advance-empty-queue-tail-down-6--queue-1-qs-0-qs-0-start-empty-zero-one-0)
(queue-read-down_station-6-down-_-pid_7_-rstart-down-6--start-0)
(advance-queue-head-down-6--queue-1-qs-0-qs-0-start-one-zero-0)
(perform-trans-down_station-6-down_station-down-_-pid_7_-rstart-state-25-state-2-0)
(activate-trans-down_station-6-down_station-station-control-_-pid_7_-wcontrol-state-2-state-3-0)
(perform-trans-up_station-7-up_station-down-__-pidp1__7_-wstart-state-14-state-15-0)
(activate-trans-up_station-7-up_station-up-__-pidp1__7_-rattention-state-15-state-20-0)
(perform-trans-up_station-8-up_station-down-__-pidp1__7_-wstart-state-14-state-15-0)
(activate-trans-up_station-8-up_station-up-__-pidp1__7_-rattention-state-15-state-20-0)
(perform-trans-up_station-9-up_station-down-__-pidp1__7_-wstart-state-14-state-15-0)
(activate-trans-up_station-9-up_station-up-__-pidp1__7_-rattention-state-15-state-20-0)
(perform-trans-up_station-10-up_station-down-__-pidp1__7_-wstart-state-14-state-15-0)
(activate-trans-up_station-10-up_station-up-__-pidp1__7_-rattention-state-15-state-20-0)
(perform-trans-up_station-11-up_station-down-__-pidp1__7_-wstart-state-14-state-15-0)
(activate-trans-up_station-11-up_station-up-__-pidp1__7_-rattention-state-15-state-20-0)
(perform-trans-up_station-12-up_station-down-__-pidp1__7_-wstart-state-14-state-15-0)
(activate-trans-up_station-12-up_station-up-__-pidp1__7_-rattention-state-15-state-20-0)
(perform-trans-up_station-13-up_station-down-__-pidp1__7_-wstart-state-14-state-15-0)
(activate-trans-up_station-13-up_station-up-__-pidp1__7_-rattention-state-15-state-20-0)
