philo10-135.ltl.reduced 103 Bytes