It is more or less ready, we just need to make some modifications and generate new parameter sets for Z3 and Z12, which will take a couple days.