_:b57332845 "synthesis" . _:b57332842 _:b57332844 . _:b57332844 _:b57332845 . _:b57332842 "0.84"^^ . _:b57332842 . _:b57332842 _:b57332843 . _:b57332845 . _:b57332843 "C1156582" . _:b57332842 . _:b57332843 "T044" . _:b57332844 . _:b57332842 .