_:b417197292 . _:b417197292 "0"^^ .