Design a context-free grammar for L₅= {a^mbⁿ | m 0, 2m n m}