philo10-107.ltl.reduced 92 Bytes