digraph {er_{t_t_t_t_t_->t_r_{l""{t_->t_[n=2]k}t_->t_t_->t_{t_->t_[n=2]k}t_->t_t_->t_}}t_->t_t_->t_t_->t_}