; search time: 113.37
; plan length: 588
(activate-trans down_station-20 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-20 station-control-_-pid_42_-wcontrol station-control-20- control)
(advance-empty-queue-tail station-control-20- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-20 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-20 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-20 up-_-pid_42_-wstart up-20- start)
(advance-empty-queue-tail up-20- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-20 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-20 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans down_station-19 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-19 station-control-_-pid_42_-wcontrol station-control-19- control)
(advance-empty-queue-tail station-control-19- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-19 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-19 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-19 up-_-pid_42_-wstart up-19- start)
(advance-empty-queue-tail up-19- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-19 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-19 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-61 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-61 up-__-pidp1__42_-rstart up-20- start)
(advance-queue-head up-20- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-61 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-61 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-18 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-18 station-control-_-pid_42_-wcontrol station-control-18- control)
(advance-empty-queue-tail station-control-18- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-18 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-18 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-18 up-_-pid_42_-wstart up-18- start)
(advance-empty-queue-tail up-18- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-18 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-18 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-60 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-60 up-__-pidp1__42_-rstart up-19- start)
(advance-queue-head up-19- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-60 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-60 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-17 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-17 station-control-_-pid_42_-wcontrol station-control-17- control)
(advance-empty-queue-tail station-control-17- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-17 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-17 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-17 up-_-pid_42_-wstart up-17- start)
(advance-empty-queue-tail up-17- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-17 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-17 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-59 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-59 up-__-pidp1__42_-rstart up-18- start)
(advance-queue-head up-18- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-59 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-59 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-16 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-16 station-control-_-pid_42_-wcontrol station-control-16- control)
(advance-empty-queue-tail station-control-16- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-16 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-16 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-16 up-_-pid_42_-wstart up-16- start)
(advance-empty-queue-tail up-16- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-16 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-16 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-58 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-58 up-__-pidp1__42_-rstart up-17- start)
(advance-queue-head up-17- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-58 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-58 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-15 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-15 station-control-_-pid_42_-wcontrol station-control-15- control)
(advance-empty-queue-tail station-control-15- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-15 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-15 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-15 up-_-pid_42_-wstart up-15- start)
(advance-empty-queue-tail up-15- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-15 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-15 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-57 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-57 up-__-pidp1__42_-rstart up-16- start)
(advance-queue-head up-16- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-57 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-57 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-14 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-14 station-control-_-pid_42_-wcontrol station-control-14- control)
(advance-empty-queue-tail station-control-14- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-14 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-14 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-14 up-_-pid_42_-wstart up-14- start)
(advance-empty-queue-tail up-14- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-14 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-14 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-56 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-56 up-__-pidp1__42_-rstart up-15- start)
(advance-queue-head up-15- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-56 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-56 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-13 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-13 station-control-_-pid_42_-wcontrol station-control-13- control)
(advance-empty-queue-tail station-control-13- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-13 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-13 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-13 up-_-pid_42_-wstart up-13- start)
(advance-empty-queue-tail up-13- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-13 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-13 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-55 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-55 up-__-pidp1__42_-rstart up-14- start)
(advance-queue-head up-14- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-55 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-55 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-12 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-12 station-control-_-pid_42_-wcontrol station-control-12- control)
(advance-empty-queue-tail station-control-12- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-12 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-12 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-12 up-_-pid_42_-wstart up-12- start)
(advance-empty-queue-tail up-12- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-12 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-12 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-54 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-54 up-__-pidp1__42_-rstart up-13- start)
(advance-queue-head up-13- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-54 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-54 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-11 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-11 station-control-_-pid_42_-wcontrol station-control-11- control)
(advance-empty-queue-tail station-control-11- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-11 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-11 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-11 up-_-pid_42_-wstart up-11- start)
(advance-empty-queue-tail up-11- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-11 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-11 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-53 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-53 up-__-pidp1__42_-rstart up-12- start)
(advance-queue-head up-12- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-53 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-53 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-10 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-10 station-control-_-pid_42_-wcontrol station-control-10- control)
(advance-empty-queue-tail station-control-10- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-10 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-10 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-10 up-_-pid_42_-wstart up-10- start)
(advance-empty-queue-tail up-10- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-10 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-10 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-52 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-52 up-__-pidp1__42_-rstart up-11- start)
(advance-queue-head up-11- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-52 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-52 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-9 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-9 station-control-_-pid_42_-wcontrol station-control-9- control)
(advance-empty-queue-tail station-control-9- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-9 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-9 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-9 up-_-pid_42_-wstart up-9- start)
(advance-empty-queue-tail up-9- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-9 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-9 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-51 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-51 up-__-pidp1__42_-rstart up-10- start)
(advance-queue-head up-10- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-51 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-51 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-8 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-8 station-control-_-pid_42_-wcontrol station-control-8- control)
(advance-empty-queue-tail station-control-8- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-8 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-8 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-8 up-_-pid_42_-wstart up-8- start)
(advance-empty-queue-tail up-8- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-8 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-8 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-50 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-50 up-__-pidp1__42_-rstart up-9- start)
(advance-queue-head up-9- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-50 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-50 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-7 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-7 station-control-_-pid_42_-wcontrol station-control-7- control)
(advance-empty-queue-tail station-control-7- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-7 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-7 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-7 up-_-pid_42_-wstart up-7- start)
(advance-empty-queue-tail up-7- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-7 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-7 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-49 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-49 up-__-pidp1__42_-rstart up-8- start)
(advance-queue-head up-8- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-49 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-49 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-6 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-6 station-control-_-pid_42_-wcontrol station-control-6- control)
(advance-empty-queue-tail station-control-6- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-6 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-6 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-6 up-_-pid_42_-wstart up-6- start)
(advance-empty-queue-tail up-6- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-6 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-6 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-48 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-48 up-__-pidp1__42_-rstart up-7- start)
(advance-queue-head up-7- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-48 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-48 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-5 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-5 station-control-_-pid_42_-wcontrol station-control-5- control)
(advance-empty-queue-tail station-control-5- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-5 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-5 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-5 up-_-pid_42_-wstart up-5- start)
(advance-empty-queue-tail up-5- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-5 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-5 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-47 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-47 up-__-pidp1__42_-rstart up-6- start)
(advance-queue-head up-6- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-47 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-47 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-4 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-4 station-control-_-pid_42_-wcontrol station-control-4- control)
(advance-empty-queue-tail station-control-4- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-4 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-4 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-4 up-_-pid_42_-wstart up-4- start)
(advance-empty-queue-tail up-4- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-4 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-4 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-46 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-46 up-__-pidp1__42_-rstart up-5- start)
(advance-queue-head up-5- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-46 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-46 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-3 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-3 station-control-_-pid_42_-wcontrol station-control-3- control)
(advance-empty-queue-tail station-control-3- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-3 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-3 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-3 up-_-pid_42_-wstart up-3- start)
(advance-empty-queue-tail up-3- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-3 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-3 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-45 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-45 up-__-pidp1__42_-rstart up-4- start)
(advance-queue-head up-4- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-45 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-45 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-2 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-2 station-control-_-pid_42_-wcontrol station-control-2- control)
(advance-empty-queue-tail station-control-2- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-2 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-2 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-2 up-_-pid_42_-wstart up-2- start)
(advance-empty-queue-tail up-2- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-2 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-2 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-44 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-44 up-__-pidp1__42_-rstart up-3- start)
(advance-queue-head up-3- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-44 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-44 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-1 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-1 station-control-_-pid_42_-wcontrol station-control-1- control)
(advance-empty-queue-tail station-control-1- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-1 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-1 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-1 up-_-pid_42_-wstart up-1- start)
(advance-empty-queue-tail up-1- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-1 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-1 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-43 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-43 up-__-pidp1__42_-rstart up-2- start)
(advance-queue-head up-2- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-43 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-43 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-0 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-0 station-control-_-pid_42_-wcontrol station-control-0- control)
(advance-empty-queue-tail station-control-0- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-0 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-0 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-0 up-_-pid_42_-wstart up-0- start)
(advance-empty-queue-tail up-0- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-0 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-0 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-42 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-42 up-__-pidp1__42_-rstart up-1- start)
(advance-queue-head up-1- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-42 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-42 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-41 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-41 station-control-_-pid_42_-wcontrol station-control-41- control)
(advance-empty-queue-tail station-control-41- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-41 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-41 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-41 up-_-pid_42_-wstart up-41- start)
(advance-empty-queue-tail up-41- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-41 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-41 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-83 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-83 up-__-pidp1__42_-rstart up-0- start)
(advance-queue-head up-0- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-83 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-83 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-40 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-40 station-control-_-pid_42_-wcontrol station-control-40- control)
(advance-empty-queue-tail station-control-40- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-40 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-40 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-40 up-_-pid_42_-wstart up-40- start)
(advance-empty-queue-tail up-40- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-40 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-40 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-82 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-82 up-__-pidp1__42_-rstart up-41- start)
(advance-queue-head up-41- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-82 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-82 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-39 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-39 station-control-_-pid_42_-wcontrol station-control-39- control)
(advance-empty-queue-tail station-control-39- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-39 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-39 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-39 up-_-pid_42_-wstart up-39- start)
(advance-empty-queue-tail up-39- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-39 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-39 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-81 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-81 up-__-pidp1__42_-rstart up-40- start)
(advance-queue-head up-40- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-81 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-81 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-38 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-38 station-control-_-pid_42_-wcontrol station-control-38- control)
(advance-empty-queue-tail station-control-38- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-38 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-38 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-38 up-_-pid_42_-wstart up-38- start)
(advance-empty-queue-tail up-38- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-38 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-38 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-80 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-80 up-__-pidp1__42_-rstart up-39- start)
(advance-queue-head up-39- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-80 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-80 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-37 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-37 station-control-_-pid_42_-wcontrol station-control-37- control)
(advance-empty-queue-tail station-control-37- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-37 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-37 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-37 up-_-pid_42_-wstart up-37- start)
(advance-empty-queue-tail up-37- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-37 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-37 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-79 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-79 up-__-pidp1__42_-rstart up-38- start)
(advance-queue-head up-38- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-79 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-79 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-36 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-36 station-control-_-pid_42_-wcontrol station-control-36- control)
(advance-empty-queue-tail station-control-36- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-36 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-36 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-36 up-_-pid_42_-wstart up-36- start)
(advance-empty-queue-tail up-36- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-36 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-36 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-78 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-78 up-__-pidp1__42_-rstart up-37- start)
(advance-queue-head up-37- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-78 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-78 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-35 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-35 station-control-_-pid_42_-wcontrol station-control-35- control)
(advance-empty-queue-tail station-control-35- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-35 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-35 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-35 up-_-pid_42_-wstart up-35- start)
(advance-empty-queue-tail up-35- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-35 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-35 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-77 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-77 up-__-pidp1__42_-rstart up-36- start)
(advance-queue-head up-36- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-77 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-77 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-34 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-34 station-control-_-pid_42_-wcontrol station-control-34- control)
(advance-empty-queue-tail station-control-34- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-34 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-34 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-34 up-_-pid_42_-wstart up-34- start)
(advance-empty-queue-tail up-34- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-34 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-34 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-76 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-76 up-__-pidp1__42_-rstart up-35- start)
(advance-queue-head up-35- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-76 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-76 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-33 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-33 station-control-_-pid_42_-wcontrol station-control-33- control)
(advance-empty-queue-tail station-control-33- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-33 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-33 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-33 up-_-pid_42_-wstart up-33- start)
(advance-empty-queue-tail up-33- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-33 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-33 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-75 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-75 up-__-pidp1__42_-rstart up-34- start)
(advance-queue-head up-34- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-75 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-75 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-32 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-32 station-control-_-pid_42_-wcontrol station-control-32- control)
(advance-empty-queue-tail station-control-32- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-32 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-32 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-32 up-_-pid_42_-wstart up-32- start)
(advance-empty-queue-tail up-32- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-32 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-32 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-74 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-74 up-__-pidp1__42_-rstart up-33- start)
(advance-queue-head up-33- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-74 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-74 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-31 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-31 station-control-_-pid_42_-wcontrol station-control-31- control)
(advance-empty-queue-tail station-control-31- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-31 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-31 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-31 up-_-pid_42_-wstart up-31- start)
(advance-empty-queue-tail up-31- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-31 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-31 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-73 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-73 up-__-pidp1__42_-rstart up-32- start)
(advance-queue-head up-32- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-73 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-73 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-30 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-30 station-control-_-pid_42_-wcontrol station-control-30- control)
(advance-empty-queue-tail station-control-30- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-30 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-30 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-30 up-_-pid_42_-wstart up-30- start)
(advance-empty-queue-tail up-30- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-30 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-30 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-72 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-72 up-__-pidp1__42_-rstart up-31- start)
(advance-queue-head up-31- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-72 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-72 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-29 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-29 station-control-_-pid_42_-wcontrol station-control-29- control)
(advance-empty-queue-tail station-control-29- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-29 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-29 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-29 up-_-pid_42_-wstart up-29- start)
(advance-empty-queue-tail up-29- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-29 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-29 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-71 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-71 up-__-pidp1__42_-rstart up-30- start)
(advance-queue-head up-30- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-71 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-71 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-28 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-28 station-control-_-pid_42_-wcontrol station-control-28- control)
(advance-empty-queue-tail station-control-28- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-28 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-28 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-28 up-_-pid_42_-wstart up-28- start)
(advance-empty-queue-tail up-28- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-28 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-28 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-70 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-70 up-__-pidp1__42_-rstart up-29- start)
(advance-queue-head up-29- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-70 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-70 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-27 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-27 station-control-_-pid_42_-wcontrol station-control-27- control)
(advance-empty-queue-tail station-control-27- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-27 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-27 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-27 up-_-pid_42_-wstart up-27- start)
(advance-empty-queue-tail up-27- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-27 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-27 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-69 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-69 up-__-pidp1__42_-rstart up-28- start)
(advance-queue-head up-28- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-69 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-69 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-26 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-26 station-control-_-pid_42_-wcontrol station-control-26- control)
(advance-empty-queue-tail station-control-26- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-26 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-26 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-26 up-_-pid_42_-wstart up-26- start)
(advance-empty-queue-tail up-26- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-26 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-26 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-68 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-68 up-__-pidp1__42_-rstart up-27- start)
(advance-queue-head up-27- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-68 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-68 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-25 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-25 station-control-_-pid_42_-wcontrol station-control-25- control)
(advance-empty-queue-tail station-control-25- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-25 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-25 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-25 up-_-pid_42_-wstart up-25- start)
(advance-empty-queue-tail up-25- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-25 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-25 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-67 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-67 up-__-pidp1__42_-rstart up-26- start)
(advance-queue-head up-26- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-67 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-67 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-24 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-24 station-control-_-pid_42_-wcontrol station-control-24- control)
(advance-empty-queue-tail station-control-24- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-24 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-24 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-24 up-_-pid_42_-wstart up-24- start)
(advance-empty-queue-tail up-24- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-24 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-24 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-66 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-66 up-__-pidp1__42_-rstart up-25- start)
(advance-queue-head up-25- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-66 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-66 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-23 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-23 station-control-_-pid_42_-wcontrol station-control-23- control)
(advance-empty-queue-tail station-control-23- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-23 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-23 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-23 up-_-pid_42_-wstart up-23- start)
(advance-empty-queue-tail up-23- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-23 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-23 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-65 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-65 up-__-pidp1__42_-rstart up-24- start)
(advance-queue-head up-24- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-65 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-65 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-22 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-22 station-control-_-pid_42_-wcontrol station-control-22- control)
(advance-empty-queue-tail station-control-22- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-22 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-22 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-22 up-_-pid_42_-wstart up-22- start)
(advance-empty-queue-tail up-22- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-22 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-22 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-64 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-64 up-__-pidp1__42_-rstart up-23- start)
(advance-queue-head up-23- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-64 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-64 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans down_station-21 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(queue-write down_station-21 station-control-_-pid_42_-wcontrol station-control-21- control)
(advance-empty-queue-tail station-control-21- queue-1 qs-0 qs-0 control empty zero one)
(perform-trans down_station-21 down_station station-control-_-pid_42_-wcontrol state-25 state-14)
(activate-trans down_station-21 down_station up-_-pid_42_-wstart state-14 state-15)
(queue-write down_station-21 up-_-pid_42_-wstart up-21- start)
(advance-empty-queue-tail up-21- queue-1 qs-0 qs-0 start empty zero one)
(perform-trans down_station-21 down_station up-_-pid_42_-wstart state-14 state-15)
(activate-trans down_station-21 down_station down-_-pid_42_-rattention state-15 state-20)
(activate-trans up_station-63 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-63 up-__-pidp1__42_-rstart up-22- start)
(advance-queue-head up-22- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-63 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-63 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
(activate-trans up_station-62 up_station up-__-pidp1__42_-rstart state-25 state-2)
(queue-read up_station-62 up-__-pidp1__42_-rstart up-21- start)
(advance-queue-head up-21- queue-1 qs-0 qs-0 start one zero)
(perform-trans up_station-62 up_station up-__-pidp1__42_-rstart state-25 state-2)
(activate-trans up_station-62 up_station station-control-_-pid_42_-wcontrol state-2 state-3)
