Local Time Random Walk

1. Find the probability.
2. Find the distribution of the probability.*
$$P \bigg( \int \limits_0^1 \mathbb{1}_{\mathbb{W} \gt 0} \, d \,\mathbb{W} \gt 0 \bigg)$$
Hmmm….