philo10-100.ltl.reduced 101 Bytes