% http://pimli.se/ego-nonogram.php
% House
% fztini: 5.1 sec
% minizinc: 6.3 sec
% ic: solution after 18 sec
% fz: 11 sec
% lazy: 2 sec
rows = 15;
row_rule_len = 6;
row_rules = array2d(1..rows, 1..row_rule_len,
        [
0,0,0,0,0,1,
0,0,0,0,2,3,
0,0,0,0,0,7,
0,0,0,0,0,8,
0,0,0,0,0,9,
0,0,0,0,0,11,
0,0,0,0,0,13,
0,0,0,0,0,15,
0,0,0,0,1,1,
0,0,1,3,4,1,
1,1,1,1,1,1,
0,1,3,1,1,1,
0,0,1,1,1,1,
0,0,1,1,1,1,
0,0,0,0,0,13,
        ]);

cols = 15;
col_rule_len = 4;
col_rules = array2d(1..cols, 1..col_rule_len,
     [
0,0,0,1,
0,0,0,9,
0,0,3,1,
0,7,3,1,
7,1,1,1,
0,6,3,1,
0,0,7,1,
0,0,8,1,
0,0,7,6,
0,6,1,1,
0,5,1,1,
0,0,4,6,
0,0,3,1,
0,0,0,9,
0,0,0,1,

     ]);