(022) Warded padlocks and how to pick them