philo10-139.ltl 107 Bytes