../../Task/Gray-code/Picat