philo10-102.ltl 80 Bytes