La verificación de estos números tomó una semana, utilizando distinto software y hardware.