% Converted from nonogram_dom9.dzn
% webpbn.com Puzzle #8098: Domino Logic III (Abstract pattern)
% Copyright 2010 by Josh Greifer
problem_name(Name) => Name = nonogram_dom9.
instance(nonogram_dom9,RowRules,ColRules) => 
RowRules = 
[[3],
[1],
[3,1],
[1],
[3,1],
[1],
[3,1],
[1],
[3,1],
[1],
[3,1],
[1],
[3,1],
[1],
[3,1],
[1],
[3,1],
[1],
[1]
],
ColRules = 
[[1],
[1],
[1,3],
[1],
[1,3],
[1],
[1,3],
[1],
[1,3],
[1],
[1,3],
[1],
[1,3],
[1],
[1,3],
[1],
[1,3],
[1],
[3]
].