_:b415544859 . _:b415544859 "0"^^ .