philo10-135.ltl 108 Bytes