philo10-143.ltl 101 Bytes