_:b1287857 "CASGEN:9813"^^ . _:b1287857 . _:b1287857 . _:b1287857 . _:b1287857 "Macrohoplostethus"^^ .