; total time: 258.14
; plan length: 168
(activate-trans down_station-0 down_station down-_-pid_12_-rstart state-25 state-2)
(activate-trans up_station-23 up_station station-control-_-pid_12_-wcontrol state-25 state-14)
(queue-write up_station-23 station-control-_-pid_12_-wcontrol station-control-11- control)
(advance-empty-queue-tail station-control-11- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans up_station-23 down_station station-control-_-pid_12_-wcontrol state-25 state-14)
(activate-trans up_station-23 up_station down-__-pidp1__12_-wstart state-14 state-15)
(queue-write up_station-23 down-__-pidp1__12_-wstart down-0- start)
(advance-empty-queue-tail down-0- queue-1 qs-0 qs-0 start empty zero one)
(queue-read down_station-0 down-_-pid_12_-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_12_-rstart state-25 state-2)
(activate-trans down_station-0 down_station station-control-_-pid_12_-wcontrol state-2 state-3)
(activate-trans up_station-12 up_station station-control-_-pid_12_-wcontrol state-25 state-14)
(queue-write up_station-12 station-control-_-pid_12_-wcontrol station-control-0- control)
(advance-empty-queue-tail station-control-0- queue-1 qs-0 qs-0 control empty zero one)
(activate-trans down_station-1 down_station down-_-pid_12_-rstart state-25 state-2)
(perform-trans up_station-12 down_station station-control-_-pid_12_-wcontrol state-25 state-14)
(activate-trans up_station-12 up_station down-__-pidp1__12_-wstart state-14 state-15)
(queue-write up_station-12 down-__-pidp1__12_-wstart down-1- start)
(advance-empty-queue-tail down-1- queue-1 qs-0 qs-0 start empty zero one)
(queue-read down_station-1 down-_-pid_12_-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_12_-rstart state-25 state-2)
(activate-trans down_station-1 down_station station-control-_-pid_12_-wcontrol state-2 state-3)
(activate-trans up_station-13 up_station station-control-_-pid_12_-wcontrol state-25 state-14)
(queue-write up_station-13 station-control-_-pid_12_-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-13 down_station station-control-_-pid_12_-wcontrol state-25 state-14)
(activate-trans up_station-13 up_station down-__-pidp1__12_-wstart state-14 state-15)
(queue-write up_station-13 down-__-pidp1__12_-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_12_-rstart state-25 state-2)
(queue-read down_station-2 down-_-pid_12_-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_12_-rstart state-25 state-2)
(activate-trans down_station-2 down_station station-control-_-pid_12_-wcontrol state-2 state-3)
(activate-trans up_station-14 up_station station-control-_-pid_12_-wcontrol state-25 state-14)
(queue-write up_station-14 station-control-_-pid_12_-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_12_-rstart state-25 state-2)
(perform-trans up_station-14 up_station station-control-_-pid_12_-wcontrol state-25 state-14)
(activate-trans up_station-14 up_station down-__-pidp1__12_-wstart state-14 state-15)
(queue-write up_station-14 down-__-pidp1__12_-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_12_-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_12_-rstart state-25 state-2)
(activate-trans down_station-3 down_station station-control-_-pid_12_-wcontrol state-2 state-3)
(activate-trans up_station-15 up_station station-control-_-pid_12_-wcontrol state-25 state-14)
(queue-write up_station-15 station-control-_-pid_12_-wcontrol station-control-3- control)
(advance-empty-queue-tail station-control-3- queue-1 qs-0 qs-0 control empty zero one)
(activate-trans down_station-4 down_station down-_-pid_12_-rstart state-25 state-2)
(perform-trans up_station-15 up_station station-control-_-pid_12_-wcontrol state-25 state-14)
(activate-trans up_station-15 up_station down-__-pidp1__12_-wstart state-14 state-15)
(queue-write up_station-15 down-__-pidp1__12_-wstart down-4- start)
(advance-empty-queue-tail down-4- queue-1 qs-0 qs-0 start empty zero one)
(queue-read down_station-4 down-_-pid_12_-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_12_-rstart state-25 state-2)
(activate-trans down_station-4 down_station station-control-_-pid_12_-wcontrol state-2 state-3)
(activate-trans up_station-16 up_station station-control-_-pid_12_-wcontrol state-25 state-14)
(queue-write up_station-16 station-control-_-pid_12_-wcontrol station-control-4- control)
(advance-empty-queue-tail station-control-4- queue-1 qs-0 qs-0 control empty zero one)
(activate-trans down_station-5 down_station down-_-pid_12_-rstart state-25 state-2)
(perform-trans up_station-16 up_station station-control-_-pid_12_-wcontrol state-25 state-14)
(activate-trans up_station-16 up_station down-__-pidp1__12_-wstart state-14 state-15)
(queue-write up_station-16 down-__-pidp1__12_-wstart down-5- start)
(advance-empty-queue-tail down-5- queue-1 qs-0 qs-0 start empty zero one)
(queue-read down_station-5 down-_-pid_12_-rstart down-5- start)
(advance-queue-head down-5- queue-1 qs-0 qs-0 start one zero)
(perform-trans down_station-5 down_station down-_-pid_12_-rstart state-25 state-2)
(activate-trans down_station-5 down_station station-control-_-pid_12_-wcontrol state-2 state-3)
(activate-trans up_station-17 up_station station-control-_-pid_12_-wcontrol state-25 state-14)
(queue-write up_station-17 station-control-_-pid_12_-wcontrol station-control-5- control)
(advance-empty-queue-tail station-control-5- queue-1 qs-0 qs-0 control empty zero one)
(activate-trans down_station-6 down_station down-_-pid_12_-rstart state-25 state-2)
(perform-trans up_station-17 up_station station-control-_-pid_12_-wcontrol state-25 state-14)
(activate-trans up_station-17 up_station down-__-pidp1__12_-wstart state-14 state-15)
(queue-write up_station-17 down-__-pidp1__12_-wstart down-6- start)
(advance-empty-queue-tail down-6- queue-1 qs-0 qs-0 start empty zero one)
(queue-read down_station-6 down-_-pid_12_-rstart down-6- start)
(advance-queue-head down-6- queue-1 qs-0 qs-0 start one zero)
(perform-trans down_station-6 down_station down-_-pid_12_-rstart state-25 state-2)
(activate-trans down_station-6 down_station station-control-_-pid_12_-wcontrol state-2 state-3)
(activate-trans up_station-18 up_station station-control-_-pid_12_-wcontrol state-25 state-14)
(queue-write up_station-18 station-control-_-pid_12_-wcontrol station-control-6- control)
(advance-empty-queue-tail station-control-6- queue-1 qs-0 qs-0 control empty zero one)
(activate-trans down_station-7 down_station down-_-pid_12_-rstart state-25 state-2)
(perform-trans up_station-18 down_station station-control-_-pid_12_-wcontrol state-25 state-14)
(activate-trans up_station-18 up_station down-__-pidp1__12_-wstart state-14 state-15)
(queue-write up_station-18 down-__-pidp1__12_-wstart down-7- start)
(advance-empty-queue-tail down-7- queue-1 qs-0 qs-0 start empty zero one)
(queue-read down_station-7 down-_-pid_12_-rstart down-7- start)
(advance-queue-head down-7- queue-1 qs-0 qs-0 start one zero)
(activate-trans up_station-19 up_station station-control-_-pid_12_-wcontrol state-25 state-14)
(queue-write up_station-19 station-control-_-pid_12_-wcontrol station-control-7- control)
(advance-empty-queue-tail station-control-7- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans up_station-19 up_station station-control-_-pid_12_-wcontrol state-25 state-14)
(activate-trans up_station-19 up_station down-__-pidp1__12_-wstart state-14 state-15)
(queue-write up_station-19 down-__-pidp1__12_-wstart down-8- start)
(advance-empty-queue-tail down-8- queue-1 qs-0 qs-0 start empty zero one)
(activate-trans down_station-8 down_station down-_-pid_12_-rstart state-25 state-2)
(queue-read down_station-8 down-_-pid_12_-rstart down-8- start)
(advance-queue-head down-8- queue-1 qs-0 qs-0 start one zero)
(perform-trans down_station-8 down_station down-_-pid_12_-rstart state-25 state-2)
(activate-trans down_station-8 down_station station-control-_-pid_12_-wcontrol state-2 state-3)
(activate-trans up_station-20 up_station station-control-_-pid_12_-wcontrol state-25 state-14)
(queue-write up_station-20 station-control-_-pid_12_-wcontrol station-control-8- control)
(advance-empty-queue-tail station-control-8- queue-1 qs-0 qs-0 control empty zero one)
(activate-trans down_station-9 down_station down-_-pid_12_-rstart state-25 state-2)
(perform-trans up_station-20 down_station station-control-_-pid_12_-wcontrol state-25 state-14)
(activate-trans up_station-20 up_station down-__-pidp1__12_-wstart state-14 state-15)
(queue-write up_station-20 down-__-pidp1__12_-wstart down-9- start)
(advance-empty-queue-tail down-9- queue-1 qs-0 qs-0 start empty zero one)
(queue-read down_station-9 down-_-pid_12_-rstart down-9- start)
(advance-queue-head down-9- queue-1 qs-0 qs-0 start one zero)
(perform-trans down_station-9 down_station down-_-pid_12_-rstart state-25 state-2)
(activate-trans down_station-9 down_station station-control-_-pid_12_-wcontrol state-2 state-3)
(activate-trans up_station-21 up_station station-control-_-pid_12_-wcontrol state-25 state-14)
(queue-write up_station-21 station-control-_-pid_12_-wcontrol station-control-9- control)
(advance-empty-queue-tail station-control-9- queue-1 qs-0 qs-0 control empty zero one)
(activate-trans down_station-10 down_station down-_-pid_12_-rstart state-25 state-2)
(perform-trans up_station-21 down_station station-control-_-pid_12_-wcontrol state-25 state-14)
(activate-trans up_station-21 up_station down-__-pidp1__12_-wstart state-14 state-15)
(queue-write up_station-21 down-__-pidp1__12_-wstart down-10- start)
(advance-empty-queue-tail down-10- queue-1 qs-0 qs-0 start empty zero one)
(queue-read down_station-10 down-_-pid_12_-rstart down-10- start)
(advance-queue-head down-10- queue-1 qs-0 qs-0 start one zero)
(perform-trans down_station-10 down_station down-_-pid_12_-rstart state-25 state-2)
(activate-trans down_station-10 down_station station-control-_-pid_12_-wcontrol state-2 state-3)
(activate-trans up_station-22 up_station station-control-_-pid_12_-wcontrol state-25 state-14)
(queue-write up_station-22 station-control-_-pid_12_-wcontrol station-control-10- control)
(advance-empty-queue-tail station-control-10- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans up_station-22 up_station station-control-_-pid_12_-wcontrol state-25 state-14)
(activate-trans up_station-22 up_station down-__-pidp1__12_-wstart state-14 state-15)
(queue-write up_station-22 down-__-pidp1__12_-wstart down-11- start)
(advance-empty-queue-tail down-11- queue-1 qs-0 qs-0 start empty zero one)
(activate-trans down_station-11 down_station down-_-pid_12_-rstart state-25 state-2)
(queue-read down_station-11 down-_-pid_12_-rstart down-11- start)
(advance-queue-head down-11- queue-1 qs-0 qs-0 start one zero)
(perform-trans down_station-11 down_station down-_-pid_12_-rstart state-25 state-2)
(activate-trans down_station-11 down_station station-control-_-pid_12_-wcontrol state-2 state-3)
(perform-trans up_station-12 up_station down-__-pidp1__12_-wstart state-14 state-15)
(activate-trans up_station-12 up_station up-__-pidp1__12_-rattention state-15 state-20)
(perform-trans up_station-13 up_station down-__-pidp1__12_-wstart state-14 state-15)
(activate-trans up_station-13 up_station up-__-pidp1__12_-rattention state-15 state-20)
(perform-trans up_station-14 up_station down-__-pidp1__12_-wstart state-14 state-15)
(activate-trans up_station-14 up_station up-__-pidp1__12_-rattention state-15 state-20)
(perform-trans up_station-15 up_station down-__-pidp1__12_-wstart state-14 state-15)
(activate-trans up_station-15 up_station up-__-pidp1__12_-rattention state-15 state-20)
(perform-trans up_station-16 up_station down-__-pidp1__12_-wstart state-14 state-15)
(activate-trans up_station-16 up_station up-__-pidp1__12_-rattention state-15 state-20)
(perform-trans up_station-17 up_station down-__-pidp1__12_-wstart state-14 state-15)
(activate-trans up_station-17 up_station up-__-pidp1__12_-rattention state-15 state-20)
(perform-trans up_station-18 up_station down-__-pidp1__12_-wstart state-14 state-15)
(activate-trans up_station-18 up_station up-__-pidp1__12_-rattention state-15 state-20)
(perform-trans down_station-7 down_station down-_-pid_12_-rstart state-25 state-2)
(activate-trans down_station-7 down_station station-control-_-pid_12_-wcontrol state-2 state-3)
(perform-trans up_station-19 up_station down-__-pidp1__12_-wstart state-14 state-15)
(activate-trans up_station-19 up_station up-__-pidp1__12_-rattention state-15 state-20)
(perform-trans up_station-20 up_station down-__-pidp1__12_-wstart state-14 state-15)
(activate-trans up_station-20 up_station up-__-pidp1__12_-rattention state-15 state-20)
(perform-trans up_station-21 up_station down-__-pidp1__12_-wstart state-14 state-15)
(activate-trans up_station-21 up_station up-__-pidp1__12_-rattention state-15 state-20)
(perform-trans up_station-22 up_station down-__-pidp1__12_-wstart state-14 state-15)
(activate-trans up_station-22 up_station up-__-pidp1__12_-rattention state-15 state-20)
(perform-trans up_station-23 up_station down-__-pidp1__12_-wstart state-14 state-15)
(activate-trans up_station-23 up_station up-__-pidp1__12_-rattention state-15 state-20)
