% Converted from nonogram_difficult.dzn
%% Nonogram "difficult"
%% From Gecode
problem_name(Name) => Name = nonogram_difficult.
instance(nonogram_difficult,RowRules,ColRules) => 
RowRules = 
[[3],
[1,1],
[1,1],
[1,1],
[1,2],
[5],
[1],
[2],
[1],
[1],
[1,2],
[1,2],
[2,1],
[2,2],
[3]
],
ColRules = 
[[3],
[2],
[2],
[1],
[2],
[3],
[2],
[4],
[3],
[4],
[2,1],
[1,1],
[1,1],
[1,1],
[3]
].