philo10-142.ltl 107 Bytes