_:b415138686 . _:b415138686 "0"^^ .