_:b415769133 . _:b415769133 "0"^^ .