philo10-1.ltl 84 Bytes