_:b417138213 . _:b417138213 "0"^^ .