Generate keys to match a described grammar. Simple solve with Z3 Prover.

https://advancedpersistentjest.com/2017/11/27/writeups-future-grammarless-tuctf/

Original writeup (https://advancedpersistentjest.com/2017/11/27/writeups-future-grammarless-tuctf/).