_:b415806526 . _:b415806526 "0"^^ .