Lucky 13

$$