New data (k=17).
Correction: full certificates too long by one.