philo10-138.ltl.reduced 100 Bytes