satellite_mathematica/regions 0.8.pdf