_:b1292140 . _:b1292140 . _:b1292140 . _:b1292140 "CASGEN:9525"^^ . _:b1292140 "Antacea"^^ .