philo10-104.ltl 115 Bytes