_:b417408252 . _:b417408252 "0"^^ .