% Converted from nonogram_pbn_cat.dzn
% webpbn.com Puzzle #6: Scardy Cat
% Copyright 2004 by Jan Wolter
problem_name(Name) => Name = nonogram_pbn_cat.
instance(nonogram_pbn_cat,RowRules,ColRules) => 
RowRules = 
[[2],
[2],
[1],
[1],
[1,3],
[2,5],
[1,7,1,1],
[1,8,2,2],
[1,9,5],
[2,16],
[1,17],
[7,11],
[5,5,3],
[5,4],
[3,3],
[2,2],
[2,1],
[1,1],
[2,2],
[2,2]
],
ColRules = 
[[5],
[5,3],
[2,3,4],
[1,7,2],
[8],
[9],
[9],
[8],
[7],
[8],
[9],
[10],
[13],
[6,2],
[4],
[6],
[6],
[5],
[6],
[6]
].