_:b415058435 . _:b415058435 "0"^^ .