%% Nonogram problem from Wikipedia, soccer player
%% http://en.wikipedia.org/wiki/Nonogram
%% Also see http://en.wikipedia.org/wiki/Image:Paint_by_numbers_Animation.gif
%%
rows = 20;
row_rule_len = 5;
row_rules = array2d(1..rows, 1..row_rule_len,
 [
  0,0,0,0,3,
  0,0,0,0,5,
  0,0,0,3,1,
  0,0,0,2,1,
  0,0,3,3,4,
  0,0,2,2,7,
  0,0,6,1,1,
  0,0,4,2,2,
  0,0,0,1,1,
  0,0,0,3,1,
  0,0,0,0,6,
  0,0,0,2,7,
  0,0,6,3,1,
  1,2,2,1,1,
  0,4,1,1,3,
  0,0,4,2,2,
  0,0,3,3,1,
  0,0,0,3,3,
  0,0,0,0,3,
  0,0,0,2,1
  ]);

cols = 20;
col_rule_len = 5;
col_rules = array2d(1..cols, 1..col_rule_len,
[
 0,0,0,0,2,
 0,0,0,1,2,
 0,0,0,2,3,
 0,0,0,2,3,
 0,0,3,1,1,
 0,0,2,1,1,
 1,1,1,2,2,
 1,1,3,1,3,
 0,0,2,6,4,
 0,3,3,9,1,
 0,0,5,3,2,
 0,3,1,2,2,
 0,0,2,1,7,
 0,0,3,3,2,
 0,0,0,2,4,
 0,0,2,1,2,
 0,0,2,2,1,
 0,0,0,2,2,
 0,0,0,0,1,
 0,0,0,0,1
 ]);