_:b416587859 . _:b416587859 "0"^^ .