philo10-137.ltl.reduced 86 Bytes