philo10-107.ltl 96 Bytes