_:b415058401 . _:b415058401 "0"^^ .