_:b416824617 . _:b416824617 "0"^^ .