gov_data

$$\int_{-\infty}^{\infty}e^{-x^2}dx=\sqrt\pi$$