philo10-106.ltl 113 Bytes