; total time: 0.39
; plan length: 18
(activate-trans philosopher-0 philosopher forks--pid-wfork state-1 state-6)
(queue-write philosopher-0 forks--pid-wfork forks-0- fork)
(advance-empty-queue-tail forks-0- queue-1 qs-0 qs-0 fork empty zero one)
(perform-trans philosopher-0 philosopher forks--pid-wfork state-1 state-6)
(activate-trans philosopher-0 philosopher forks--pid-rfork state-6 state-3)
(queue-read philosopher-0 forks--pid-rfork forks-0- fork)
(advance-queue-head forks-0- queue-1 qs-0 qs-0 fork one zero)
(perform-trans philosopher-0 philosopher forks--pid-rfork state-6 state-3)
(activate-trans philosopher-0 philosopher forks-__-pidp1__2_-rfork state-3 state-4)
(activate-trans philosopher-1 philosopher forks--pid-wfork state-1 state-6)
(queue-write philosopher-1 forks--pid-wfork forks-1- fork)
(advance-empty-queue-tail forks-1- queue-1 qs-0 qs-0 fork empty zero one)
(perform-trans philosopher-1 philosopher forks--pid-wfork state-1 state-6)
(activate-trans philosopher-1 philosopher forks--pid-rfork state-6 state-3)
(queue-read philosopher-1 forks--pid-rfork forks-1- fork)
(advance-queue-head forks-1- queue-1 qs-0 qs-0 fork one zero)
(perform-trans philosopher-1 philosopher forks--pid-rfork state-6 state-3)
(activate-trans philosopher-1 philosopher forks-__-pidp1__2_-rfork state-3 state-4)
