_:b415365602 . _:b415365602 "0"^^ .