philo10-10.ltl.reduced 113 Bytes