Proof of the local mass-angular momenta inequality for $U(1)^2$ invariant black holes

We consider initial data for extreme vacuum asymptotically flat black holes with $\mathbb{R} \times U(1)^2$ symmetry. Such geometries are critical points