philo10-101.ltl.reduced 61 Bytes