philo10-103.ltl.reduced 78 Bytes