Lucky Luke

EXEC TIME: 0.33456993103027