Los cálculos han sido realizados en una computadora de la Universidad de Washington.