“Generating Numbers” Puzzle

Question

I have come across the following puzzle and couldn\'t formulate a solution in Picat:

You will generate 5-digit numbers, where each digit is in 1..5