Так этим списком можно обойтись и без z3?