_:b57274409 . _:b57274408 . _:b57274406 _:b57274407 . _:b57274406 . _:b57274406 . _:b57274406 . _:b57274406 "0.84"^^ . _:b57274408 _:b57274409 . _:b57274406 _:b57274408 . _:b57274407 "C1115660" . _:b57274407 "T170" . _:b57274409 "numbers" .