_:b1288725 . _:b1288725 . _:b1288725 . _:b1288725 "CASGEN:3097"^^ . _:b1288725 "Haloporphyrus"^^ .