There was a kitty with 25519075 hairs!