_:b1288220 . _:b1288220 "Phrynelox"^^ . _:b1288220 . _:b1288220 "CASGEN:7364"^^ . _:b1288220 .