_:b415080213 . _:b415080213 "0"^^ .