philo10-139.ltl.reduced 102 Bytes