_:b415443798 . _:b415443798 "0"^^ .