_:b415131211 . _:b415131211 "0"^^ .