_:b415080302 . _:b415080302 "0"^^ .