WA 06 - ltlflynner