philo10-138.ltl 105 Bytes