Lucky Luke

EXEC TIME: 0.89325618743896