philo10-1.ltl.reduced 80 Bytes