; total time: 3.37
; plan length: 224
(activate-trans-up_station-16-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(queue-write-up_station-16-station-control-_-pid_16_-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_16_-rstart-state-25-state-2-0)
(activate-trans-up_station-31-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(queue-write-up_station-31-station-control-_-pid_16_-wcontrol-station-control-15--control-0)
(advance-empty-queue-tail-station-control-15--queue-1-qs-0-qs-0-control-empty-zero-one-0)
(perform-trans-up_station-31-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-31-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(queue-write-up_station-31-down-__-pidp1__16_-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_16_-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_16_-rstart-state-25-state-2-0)
(activate-trans-down_station-0-down_station-station-control-_-pid_16_-wcontrol-state-2-state-3-0)
(activate-trans-up_station-17-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(queue-write-up_station-17-station-control-_-pid_16_-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_16_-rstart-state-25-state-2-0)
(perform-trans-up_station-16-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-16-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(queue-write-up_station-16-down-__-pidp1__16_-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_16_-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_16_-rstart-state-25-state-2-0)
(activate-trans-down_station-1-down_station-station-control-_-pid_16_-wcontrol-state-2-state-3-0)
(activate-trans-up_station-18-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(queue-write-up_station-18-station-control-_-pid_16_-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_16_-rstart-state-25-state-2-0)
(perform-trans-up_station-17-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-17-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(queue-write-up_station-17-down-__-pidp1__16_-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_16_-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_16_-rstart-state-25-state-2-0)
(activate-trans-down_station-2-down_station-station-control-_-pid_16_-wcontrol-state-2-state-3-0)
(activate-trans-up_station-19-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(queue-write-up_station-19-station-control-_-pid_16_-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_16_-rstart-state-25-state-2-0)
(perform-trans-up_station-18-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-18-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(queue-write-up_station-18-down-__-pidp1__16_-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_16_-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_16_-rstart-state-25-state-2-0)
(activate-trans-down_station-3-down_station-station-control-_-pid_16_-wcontrol-state-2-state-3-0)
(activate-trans-up_station-20-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(queue-write-up_station-20-station-control-_-pid_16_-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_16_-rstart-state-25-state-2-0)
(perform-trans-up_station-19-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-19-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(queue-write-up_station-19-down-__-pidp1__16_-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_16_-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_16_-rstart-state-25-state-2-0)
(activate-trans-down_station-4-down_station-station-control-_-pid_16_-wcontrol-state-2-state-3-0)
(activate-trans-up_station-21-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(queue-write-up_station-21-station-control-_-pid_16_-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_16_-rstart-state-25-state-2-0)
(perform-trans-up_station-20-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-20-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(queue-write-up_station-20-down-__-pidp1__16_-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_16_-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_16_-rstart-state-25-state-2-0)
(activate-trans-down_station-5-down_station-station-control-_-pid_16_-wcontrol-state-2-state-3-0)
(activate-trans-up_station-22-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(queue-write-up_station-22-station-control-_-pid_16_-wcontrol-station-control-6--control-0)
(advance-empty-queue-tail-station-control-6--queue-1-qs-0-qs-0-control-empty-zero-one-0)
(activate-trans-down_station-6-down_station-down-_-pid_16_-rstart-state-25-state-2-0)
(perform-trans-up_station-21-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-21-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(queue-write-up_station-21-down-__-pidp1__16_-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_16_-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_16_-rstart-state-25-state-2-0)
(activate-trans-down_station-6-down_station-station-control-_-pid_16_-wcontrol-state-2-state-3-0)
(activate-trans-up_station-23-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(queue-write-up_station-23-station-control-_-pid_16_-wcontrol-station-control-7--control-0)
(advance-empty-queue-tail-station-control-7--queue-1-qs-0-qs-0-control-empty-zero-one-0)
(activate-trans-down_station-7-down_station-down-_-pid_16_-rstart-state-25-state-2-0)
(perform-trans-up_station-22-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-22-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(queue-write-up_station-22-down-__-pidp1__16_-wstart-down-7--start-0)
(advance-empty-queue-tail-down-7--queue-1-qs-0-qs-0-start-empty-zero-one-0)
(queue-read-down_station-7-down-_-pid_16_-rstart-down-7--start-0)
(advance-queue-head-down-7--queue-1-qs-0-qs-0-start-one-zero-0)
(perform-trans-down_station-7-down_station-down-_-pid_16_-rstart-state-25-state-2-0)
(activate-trans-down_station-7-down_station-station-control-_-pid_16_-wcontrol-state-2-state-3-0)
(activate-trans-up_station-24-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(queue-write-up_station-24-station-control-_-pid_16_-wcontrol-station-control-8--control-0)
(advance-empty-queue-tail-station-control-8--queue-1-qs-0-qs-0-control-empty-zero-one-0)
(activate-trans-down_station-8-down_station-down-_-pid_16_-rstart-state-25-state-2-0)
(perform-trans-up_station-23-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-23-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(queue-write-up_station-23-down-__-pidp1__16_-wstart-down-8--start-0)
(advance-empty-queue-tail-down-8--queue-1-qs-0-qs-0-start-empty-zero-one-0)
(queue-read-down_station-8-down-_-pid_16_-rstart-down-8--start-0)
(advance-queue-head-down-8--queue-1-qs-0-qs-0-start-one-zero-0)
(perform-trans-down_station-8-down_station-down-_-pid_16_-rstart-state-25-state-2-0)
(activate-trans-down_station-8-down_station-station-control-_-pid_16_-wcontrol-state-2-state-3-0)
(activate-trans-up_station-25-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(queue-write-up_station-25-station-control-_-pid_16_-wcontrol-station-control-9--control-0)
(advance-empty-queue-tail-station-control-9--queue-1-qs-0-qs-0-control-empty-zero-one-0)
(activate-trans-down_station-9-down_station-down-_-pid_16_-rstart-state-25-state-2-0)
(perform-trans-up_station-24-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-24-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(queue-write-up_station-24-down-__-pidp1__16_-wstart-down-9--start-0)
(advance-empty-queue-tail-down-9--queue-1-qs-0-qs-0-start-empty-zero-one-0)
(queue-read-down_station-9-down-_-pid_16_-rstart-down-9--start-0)
(advance-queue-head-down-9--queue-1-qs-0-qs-0-start-one-zero-0)
(perform-trans-down_station-9-down_station-down-_-pid_16_-rstart-state-25-state-2-0)
(activate-trans-down_station-9-down_station-station-control-_-pid_16_-wcontrol-state-2-state-3-0)
(activate-trans-up_station-26-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(queue-write-up_station-26-station-control-_-pid_16_-wcontrol-station-control-10--control-0)
(advance-empty-queue-tail-station-control-10--queue-1-qs-0-qs-0-control-empty-zero-one-0)
(activate-trans-down_station-10-down_station-down-_-pid_16_-rstart-state-25-state-2-0)
(perform-trans-up_station-25-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-25-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(queue-write-up_station-25-down-__-pidp1__16_-wstart-down-10--start-0)
(advance-empty-queue-tail-down-10--queue-1-qs-0-qs-0-start-empty-zero-one-0)
(queue-read-down_station-10-down-_-pid_16_-rstart-down-10--start-0)
(advance-queue-head-down-10--queue-1-qs-0-qs-0-start-one-zero-0)
(perform-trans-down_station-10-down_station-down-_-pid_16_-rstart-state-25-state-2-0)
(activate-trans-down_station-10-down_station-station-control-_-pid_16_-wcontrol-state-2-state-3-0)
(activate-trans-up_station-27-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(queue-write-up_station-27-station-control-_-pid_16_-wcontrol-station-control-11--control-0)
(advance-empty-queue-tail-station-control-11--queue-1-qs-0-qs-0-control-empty-zero-one-0)
(activate-trans-down_station-11-down_station-down-_-pid_16_-rstart-state-25-state-2-0)
(perform-trans-up_station-26-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-26-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(queue-write-up_station-26-down-__-pidp1__16_-wstart-down-11--start-0)
(advance-empty-queue-tail-down-11--queue-1-qs-0-qs-0-start-empty-zero-one-0)
(queue-read-down_station-11-down-_-pid_16_-rstart-down-11--start-0)
(advance-queue-head-down-11--queue-1-qs-0-qs-0-start-one-zero-0)
(perform-trans-down_station-11-down_station-down-_-pid_16_-rstart-state-25-state-2-0)
(activate-trans-down_station-11-down_station-station-control-_-pid_16_-wcontrol-state-2-state-3-0)
(activate-trans-up_station-28-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(queue-write-up_station-28-station-control-_-pid_16_-wcontrol-station-control-12--control-0)
(advance-empty-queue-tail-station-control-12--queue-1-qs-0-qs-0-control-empty-zero-one-0)
(activate-trans-down_station-12-down_station-down-_-pid_16_-rstart-state-25-state-2-0)
(perform-trans-up_station-27-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-27-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(queue-write-up_station-27-down-__-pidp1__16_-wstart-down-12--start-0)
(advance-empty-queue-tail-down-12--queue-1-qs-0-qs-0-start-empty-zero-one-0)
(queue-read-down_station-12-down-_-pid_16_-rstart-down-12--start-0)
(advance-queue-head-down-12--queue-1-qs-0-qs-0-start-one-zero-0)
(perform-trans-down_station-12-down_station-down-_-pid_16_-rstart-state-25-state-2-0)
(activate-trans-down_station-12-down_station-station-control-_-pid_16_-wcontrol-state-2-state-3-0)
(activate-trans-up_station-29-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(queue-write-up_station-29-station-control-_-pid_16_-wcontrol-station-control-13--control-0)
(advance-empty-queue-tail-station-control-13--queue-1-qs-0-qs-0-control-empty-zero-one-0)
(activate-trans-down_station-13-down_station-down-_-pid_16_-rstart-state-25-state-2-0)
(perform-trans-up_station-28-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-28-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(queue-write-up_station-28-down-__-pidp1__16_-wstart-down-13--start-0)
(advance-empty-queue-tail-down-13--queue-1-qs-0-qs-0-start-empty-zero-one-0)
(queue-read-down_station-13-down-_-pid_16_-rstart-down-13--start-0)
(advance-queue-head-down-13--queue-1-qs-0-qs-0-start-one-zero-0)
(perform-trans-down_station-13-down_station-down-_-pid_16_-rstart-state-25-state-2-0)
(activate-trans-down_station-13-down_station-station-control-_-pid_16_-wcontrol-state-2-state-3-0)
(activate-trans-up_station-30-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(queue-write-up_station-30-station-control-_-pid_16_-wcontrol-station-control-14--control-0)
(advance-empty-queue-tail-station-control-14--queue-1-qs-0-qs-0-control-empty-zero-one-0)
(activate-trans-down_station-14-down_station-down-_-pid_16_-rstart-state-25-state-2-0)
(perform-trans-up_station-29-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-29-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(queue-write-up_station-29-down-__-pidp1__16_-wstart-down-14--start-0)
(advance-empty-queue-tail-down-14--queue-1-qs-0-qs-0-start-empty-zero-one-0)
(queue-read-down_station-14-down-_-pid_16_-rstart-down-14--start-0)
(advance-queue-head-down-14--queue-1-qs-0-qs-0-start-one-zero-0)
(perform-trans-down_station-14-down_station-down-_-pid_16_-rstart-state-25-state-2-0)
(activate-trans-down_station-14-down_station-station-control-_-pid_16_-wcontrol-state-2-state-3-0)
(activate-trans-down_station-15-down_station-down-_-pid_16_-rstart-state-25-state-2-0)
(perform-trans-up_station-30-up_station-station-control-_-pid_16_-wcontrol-state-25-state-14-0)
(activate-trans-up_station-30-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(queue-write-up_station-30-down-__-pidp1__16_-wstart-down-15--start-0)
(advance-empty-queue-tail-down-15--queue-1-qs-0-qs-0-start-empty-zero-one-0)
(queue-read-down_station-15-down-_-pid_16_-rstart-down-15--start-0)
(advance-queue-head-down-15--queue-1-qs-0-qs-0-start-one-zero-0)
(perform-trans-down_station-15-down_station-down-_-pid_16_-rstart-state-25-state-2-0)
(activate-trans-down_station-15-down_station-station-control-_-pid_16_-wcontrol-state-2-state-3-0)
(perform-trans-up_station-16-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(activate-trans-up_station-16-up_station-up-__-pidp1__16_-rattention-state-15-state-20-0)
(perform-trans-up_station-17-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(activate-trans-up_station-17-up_station-up-__-pidp1__16_-rattention-state-15-state-20-0)
(perform-trans-up_station-18-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(activate-trans-up_station-18-up_station-up-__-pidp1__16_-rattention-state-15-state-20-0)
(perform-trans-up_station-19-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(activate-trans-up_station-19-up_station-up-__-pidp1__16_-rattention-state-15-state-20-0)
(perform-trans-up_station-20-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(activate-trans-up_station-20-up_station-up-__-pidp1__16_-rattention-state-15-state-20-0)
(perform-trans-up_station-21-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(activate-trans-up_station-21-up_station-up-__-pidp1__16_-rattention-state-15-state-20-0)
(perform-trans-up_station-22-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(activate-trans-up_station-22-up_station-up-__-pidp1__16_-rattention-state-15-state-20-0)
(perform-trans-up_station-23-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(activate-trans-up_station-23-up_station-up-__-pidp1__16_-rattention-state-15-state-20-0)
(perform-trans-up_station-24-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(activate-trans-up_station-24-up_station-up-__-pidp1__16_-rattention-state-15-state-20-0)
(perform-trans-up_station-25-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(activate-trans-up_station-25-up_station-up-__-pidp1__16_-rattention-state-15-state-20-0)
(perform-trans-up_station-26-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(activate-trans-up_station-26-up_station-up-__-pidp1__16_-rattention-state-15-state-20-0)
(perform-trans-up_station-27-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(activate-trans-up_station-27-up_station-up-__-pidp1__16_-rattention-state-15-state-20-0)
(perform-trans-up_station-28-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(activate-trans-up_station-28-up_station-up-__-pidp1__16_-rattention-state-15-state-20-0)
(perform-trans-up_station-29-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(activate-trans-up_station-29-up_station-up-__-pidp1__16_-rattention-state-15-state-20-0)
(perform-trans-up_station-30-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(activate-trans-up_station-30-up_station-up-__-pidp1__16_-rattention-state-15-state-20-0)
(perform-trans-up_station-31-up_station-down-__-pidp1__16_-wstart-state-14-state-15-0)
(activate-trans-up_station-31-up_station-up-__-pidp1__16_-rattention-state-15-state-20-0)
