philo10-136.ltl.reduced 102 Bytes