fixed examples for simon key recovery