Thank you. Actually, I randomly generated and tested all of them, then I kept those that were interesting. However, the puzzles for the tutorial are made by hand
