philo10-14.ltl.reduced 99 Bytes