Lucky Luke

EXEC TIME: 0.16231203079224