philo10-136.ltl 107 Bytes