Add ex12
Remove accidental ex12 binary
Add ex13