Lucky Luke

EXEC TIME: 0.62952399253845