There was a kitty with 25519135 hairs!