philo10-140.ltl 116 Bytes