Pushdown Automata to accept the language

Question

I\'m trying to write a Pushdown Automata that accept this language L = {a²ⁿ b^m a^2m / n>= 0, m>=1}. I\'m not sure if the last 2 lines a