_:b56858816 _:b56858817 . _:b56858814 _:b56858815 . _:b56858814 "0.84"^^ . _:b56858817 "synthesis" . _:b56858814 . _:b56858815 "C1156582" . _:b56858814 . _:b56858814 . _:b56858817 . _:b56858816 . _:b56858814 _:b56858816 . _:b56858815 "T044" .