philo10-141.ltl.reduced 75 Bytes