_:b415089794 . _:b415089794 "0"^^ .