philo10-137.ltl 91 Bytes