philo10-101.ltl 64 Bytes