philo FORK_1 1 WAIT_RIGHT_FORK_2 FORK_3 1 WAIT_RIGHT_FORK_5 EAT_5 THINK_4 1 EAT_4 WAIT_LEFT_FORK_3 WAIT_RIGHT_FORK_6 EAT_2 THINK_6 1 WAIT_RIGHT_FORK_1 FORK_6 1 WAIT_LEFT_FORK_4 EAT_3 EAT_1 WAIT_RIGHT_FORK_3 THINK_2 1 FORK_4 1 WAIT_LEFT_FORK_5 FORK_2 1 THINK_3 1 WAIT_LEFT_FORK_6 WAIT_RIGHT_FORK_4 WAIT_LEFT_FORK_2 FORK_5 1 EAT_6 THINK_5 1 WAIT_LEFT_FORK_1 THINK_1 1 TAKE_LEFT_1_FORK_6 RELEASE_FORK_2 TAKE_LEFT_1_FORK_4 TAKE_RIGHT_2_FORK_2 RELEASE_FORK_3 TAKE_LEFT_1_FORK_5 TAKE_LEFT_1_FORK_2 TAKE_LEFT_1_FORK_3 TAKE_RIGHT_1_FORK_2 TAKE_LEFT_2_FORK_4 TAKE_LEFT_2_FORK_3 RELEASE_FORK_4 TAKE_LEFT_1_FORK_1 RELEASE_FORK_6 TAKE_LEFT_2_FORK_1 TAKE_RIGHT_2_FORK_6 TAKE_LEFT_2_FORK_6 RELEASE_FORK_5 TAKE_RIGHT_2_FORK_5 RELEASE_FORK_1 TAKE_RIGHT_1_FORK_6 TAKE_RIGHT_2_FORK_3 TAKE_LEFT_2_FORK_5 TAKE_LEFT_2_FORK_2 TAKE_RIGHT_1_FORK_1 TAKE_RIGHT_1_FORK_4 TAKE_RIGHT_1_FORK_5 TAKE_RIGHT_2_FORK_1 TAKE_RIGHT_1_FORK_3 TAKE_RIGHT_2_FORK_4 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1