philo10-105.ltl.reduced 72 Bytes