_:b1260522 . _:b1260522 . _:b1260522 "CASGEN:6840"^^ . _:b1260522 "Leprogaster"^^ . _:b1260522 .