philo10-143.ltl.reduced 96 Bytes