philo10-104.ltl.reduced 109 Bytes