Lucky Luke

EXEC TIME: 0.23921895027161