_:b415874607 . _:b415874607 "0"^^ .