_:b415365592 . _:b415365592 "0"^^ .