philo10-103.ltl 82 Bytes