_:b415718807 . _:b415718807 "0"^^ .