Lucky Luke

EXEC TIME: 0.18541288375854