_:b417178709 . _:b417178709 "0"^^ .