_:b417178259 . _:b417178259 "0"^^ .