Si dividimos la constante "n" entre 17 y la convertimos a binario nos dará un número de 1802 dígitos (106 por 17: tantos como puntos del mapa de bits).