Lucky Luke

EXEC TIME: 0.047794103622437