_:b417083512 . _:b417083512 "0"^^ .