_:b57898736 . _:b57898736 _:b57898737 . _:b57898735 "C1156582" . _:b57898735 "T044" . _:b57898737 . _:b57898734 "0.84"^^ . _:b57898734 _:b57898735 . _:b57898734 . _:b57898737 "synthesis" . _:b57898734 . _:b57898734 . _:b57898734 _:b57898736 .