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