Havannah solutions

Havannah was solved using D by 2 contestants. Solution sizes: average 5947 bytes (shortest: 4852; longest: 7024).