Lucky Luke

EXEC TIME: 0.14217090606689