Writing k3 results