philo10-142.ltl.reduced 102 Bytes