King solutions

King was solved using Python by 2 contestants. Solution sizes: average 1829 bytes (shortest: 1694; longest: 1965).