_:b417919702 . _:b417919702 "0"^^ .