../../Task/Random-numbers/Picat