Write-ups for various CTF problems we have solved