_:b415093587 . _:b415093587 "0"^^ .