philo10-141.ltl 79 Bytes