_:b1260550 . _:b1260550 . _:b1260550 "CASGEN:6601"^^ . _:b1260550 . _:b1260550 "Hanomanctus"^^ .