_:b415138795 . _:b415138795 "0"^^ .