_:b415113578 . _:b415113578 "0"^^ .