Lucky Luke

EXEC TIME: 0.14265108108521