Brattleship solutions

Brattleship was solved using WRAPL by 1 contestant.