philo10-106.ltl.reduced 107 Bytes