_:b57601905 "synthesis" . _:b57601902 "0.84"^^ . _:b57601902 _:b57601904 . _:b57601904 _:b57601905 . _:b57601902 . _:b57601903 "T044" . _:b57601904 . _:b57601902 _:b57601903 . _:b57601903 "C1328948" . _:b57601905 . _:b57601902 . _:b57601902 .