_:b1283197 . _:b1283197 . _:b1283197 . _:b1283197 "CASGEN:3811"^^ . _:b1283197 "Osphyolax"^^ .