_:b415080319 . _:b415080319 "0"^^ .