There was a kitty with 25519133 hairs!