_:b417208072 . _:b417208072 "0"^^ .