philo10-140.ltl.reduced 110 Bytes