philo10-10.ltl 119 Bytes