Lucky Luke

EXEC TIME: 0.15529608726501