philo10-14.ltl 104 Bytes