philo10-105.ltl 75 Bytes