philo10-100.ltl 106 Bytes