philo10-102.ltl.reduced 76 Bytes