// Nonogram problem from Gecode: Castle
// From http://www.cs.kuleuven.be/~bmd/nonogram.pl
int rows = 35;
int row_rule_len = 19;
int row_rules[1..rows, 1..row_rule_len] = 
  [
   [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,12,1,1,1],
   [0,0,0,0,0,0,0,0,0,0,0,0,0,0,8,6,3,1,3],
   [0,0,0,0,0,0,0,0,0,0,0,0,0,5,8,4,3,1,5],
   [0,0,0,0,0,0,0,0,0,0,0,7,3,4,1,3,5,1,7],
   [0,0,0,0,0,0,2,2,4,9,1,5,1,1,1,1,1,1,1],
   [0,0,0,0,0,0,0,0,0,0,0,4,5,10,2,1,8,7,1],
   [0,0,0,0,0,0,0,0,0,0,0,0,5,1,3,3,16,1,2],
   [0,0,0,0,0,0,0,0,0,0,0,8,5,1,2,4,9,1,3],
   [0,0,0,0,0,0,0,4,5,3,14,1,1,1,1,4,1,1,3],
   [3,3,2,2,2,4,1,1,1,1,1,1,1,1,3,1,1,3,2],
   [0,0,0,0,0,0,0,0,8,2,7,2,1,1,2,1,1,3,3],
   [0,0,0,0,0,0,1,5,9,12,2,1,1,3,1,1,2,2,1],
   [0,0,3,2,2,1,1,1,1,4,1,1,1,3,3,1,1,2,2],
   [0,0,0,0,0,0,0,5,2,2,2,2,1,5,2,1,1,2,5],
   [0,0,0,0,0,0,0,3,5,9,2,1,1,6,3,1,3,2,3],
   [0,0,0,0,0,0,0,1,4,1,1,1,4,1,5,5,3,3,3],
   [0,0,0,0,0,0,0,0,0,4,1,1,1,1,3,4,6,6,3],
   [0,0,0,0,0,0,0,3,1,3,1,1,3,3,1,1,4,6,1],
   [0,0,0,0,0,0,0,0,3,1,5,1,1,3,1,1,9,4,1],
   [0,0,0,0,0,2,1,1,7,1,4,1,1,1,1,1,1,3,5],
   [0,0,0,0,0,0,0,0,9,2,1,3,1,1,1,1,4,2,1],
   [0,0,0,0,0,0,0,0,0,1,14,1,1,2,2,2,10,1,2],
   [0,0,0,0,0,0,0,0,0,1,9,2,1,2,6,1,5,3,2],
   [0,0,0,0,0,0,0,1,9,9,1,2,2,3,1,1,4,3,1],
   [0,0,0,0,0,0,0,0,0,10,1,3,4,1,3,2,1,2,8],
   [0,0,0,0,0,0,0,0,0,0,9,1,3,5,1,1,1,2,7],
   [0,0,0,0,0,0,0,4,5,1,2,5,1,3,1,1,2,1,3],
   [0,0,0,0,0,1,1,1,1,2,6,2,3,2,1,1,2,3,1],
   [0,0,0,0,0,0,0,0,1,6,1,5,7,1,3,3,2,4,3],
   [0,0,0,0,0,0,0,0,0,1,2,1,2,9,1,5,2,6,2],
   [0,0,0,0,0,0,0,0,0,0,0,10,2,2,13,1,3,3,1],
   [0,0,0,0,0,0,0,0,2,2,1,6,2,3,3,2,2,2,1],
   [0,0,0,0,0,0,0,2,2,1,1,12,2,2,9,2,2,2,2],
   [0,0,0,0,0,0,0,0,0,0,5,1,2,4,1,5,11,2,2],
   [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,15,6,18]
   ];

int cols = 60;
int col_rule_len = 10;
int col_rules[1..cols, 1..col_rule_len] = 
  [
   [0,0,0,2,3,1,5,1,7,1],
   [0,0,0,2,4,2,3,2,3,5],
   [0,0,2,6,3,1,1,5,1,5],
   [2,4,2,1,1,1,4,1,1,2],
   [0,0,0,2,8,2,1,5,2,5],
   [0,0,0,3,1,6,2,5,1,5],
   [0,3,3,3,1,1,6,1,1,1],
   [0,3,2,2,2,2,8,1,1,3],
   [0,0,0,1,4,4,3,7,1,1],
   [0,0,0,1,2,2,2,3,7,9],
   [0,0,1,2,3,1,1,5,2,2],
   [0,0,0,2,2,3,1,1,6,1],
   [0,0,0,0,1,3,1,5,4,1],
   [0,0,1,3,1,1,6,1,3,1],
   [0,0,3,3,4,5,1,4,2,1],
   [0,0,0,0,2,3,3,9,7,1],
   [0,0,2,3,2,2,1,1,3,5],
   [0,0,4,2,1,1,1,1,2,3],
   [0,0,0,4,2,2,1,4,3,2],
   [0,0,0,0,0,0,4,3,16,2],
   [0,0,0,0,0,1,2,5,7,1],
   [0,0,0,0,4,3,2,2,7,1],
   [0,0,0,0,0,2,3,1,10,1],
   [0,0,0,0,2,4,2,1,4,1],
   [0,0,0,0,0,1,6,7,3,1],
   [0,0,0,0,0,0,3,11,3,1],
   [0,0,0,0,0,7,1,11,2,1],
   [0,0,0,2,2,2,2,2,2,2],
   [0,0,0,3,1,1,1,1,2,1],
   [0,0,0,2,2,2,2,1,1,1],
   [0,0,0,1,1,1,1,2,1,2],
   [0,0,2,2,2,2,1,1,1,1],
   [0,0,0,0,0,4,1,1,2,2],
   [0,0,0,0,0,5,2,17,2,1],
   [0,0,0,0,9,2,3,1,4,2],
   [0,0,0,0,9,4,2,1,1,1],
   [0,0,0,0,0,5,4,2,1,4],
   [0,0,0,11,1,2,1,4,1,2],
   [0,0,0,0,0,3,4,2,4,4],
   [0,0,2,1,4,1,2,1,5,2],
   [0,0,0,0,0,8,4,1,1,2],
   [0,0,0,0,0,1,1,3,2,3],
   [0,0,0,0,1,3,1,8,1,6],
   [0,0,0,0,0,0,2,1,7,14],
   [0,0,0,1,2,4,4,1,2,3],
   [1,1,4,2,1,1,1,1,1,4],
   [0,0,0,0,3,5,3,1,1,4],
   [0,0,0,0,2,4,2,2,1,2],
   [0,0,0,0,0,4,2,3,8,4],
   [0,0,0,0,0,4,15,2,2,4],
   [0,0,0,0,4,1,10,2,1,2],
   [0,0,0,0,2,12,6,1,2,4],
   [0,0,0,3,1,3,1,3,3,4],
   [0,0,0,0,3,1,2,3,4,1],
   [0,0,0,5,2,2,2,3,3,3],
   [0,1,2,2,2,2,4,1,1,3],
   [0,0,0,2,1,4,2,7,1,1],
   [0,0,0,0,5,2,2,3,6,3],
   [0,0,0,3,3,2,2,3,2,3],
   [0,0,0,4,1,2,1,1,2,1]
   ];