TeX source:
P(E)=125 / 902 \approx 0.139