%% Nonogram problem from Gecode: "Unknown"
%% http://www.gecode.org/gecode-doc-latest/classNonogram.html
%%
%% ROW RULES
row_max = 9;
row_states = array2d(1..row_total_states, 1..2, [
% pattern 0, 0, 0, 0, 3,
% tmp: dummy 0 1 1 1
%
1,2,
0,3,
0,4,
4,0,

% pattern 0, 0, 2, 3, 2,
% tmp: dummy 0 1 1 0 1 1 1 0 1 1 0
%
1,2,
0,3,
4,0,
4,5,
0,6,
0,7,
8,0,
8,9,
0,10,
10,0,

% pattern 0, 0, 0, 10, 3,
% tmp: dummy 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1
%
1,2,
0,3,
0,4,
0,5,
0,6,
0,7,
0,8,
0,9,
0,10,
0,11,
12,0,
12,13,
0,14,
0,15,
15,0,

% pattern 0, 0, 0, 0, 15,
% tmp: dummy 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
%
1,2,
0,3,
0,4,
0,5,
0,6,
0,7,
0,8,
0,9,
0,10,
0,11,
0,12,
0,13,
0,14,
0,15,
0,16,
16,0,

% pattern 1, 1, 1, 1, 6,
% tmp: dummy 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 0
%
1,2,
3,0,
3,4,
5,0,
5,6,
7,0,
7,8,
9,0,
9,10,
0,11,
0,12,
0,13,
0,14,
0,15,
15,0,

% pattern 0, 0, 0, 1, 7,
% tmp: dummy 0 1 0 1 1 1 1 1 1 1
%
1,2,
3,0,
3,4,
0,5,
0,6,
0,7,
0,8,
0,9,
0,10,
10,0,

% pattern 0, 0, 0, 1, 4,
% tmp: dummy 0 1 0 1 1 1 1
%
1,2,
3,0,
3,4,
0,5,
0,6,
0,7,
7,0,

% pattern 0, 0, 0, 1, 4,
% tmp: dummy 0 1 0 1 1 1 1
%
1,2,
3,0,
3,4,
0,5,
0,6,
0,7,
7,0,

% pattern 0, 0, 0, 0, 4
% tmp: dummy 0 1 1 1 1
%
1,2,
0,3,
0,4,
0,5,
5,0,

]);

row_max_state = 16;
row_total_states = 89;
row_num_patterns = 9;

row_num_states = [4,10,15,16,15,10,7,7,5]; % this is also the final state
row_start_where = [1,5,15,30,46,61,71,78,85];


% COL_RULES:

col_max = 15;

col_states = array2d(1..col_total_states, 1..2, [
% pattern 0, 3,
% tmp: dummy 0 1 1 1
1,2,
0,3,
0,4,
4,0,

% pattern 0, 4,
% tmp: dummy 0 1 1 1 1
1,2,
0,3,
0,4,
0,5,
5,0,

% pattern 2, 2,
% tmp: dummy 0 1 1 0 1 1
1,2,
0,3,
4,0,
4,5,
0,6,
6,0,

% pattern 3, 1,
% tmp: dummy 0 1 1 1 0 1
1,2,
0,3,
0,4,
5,0,
5,6,
6,0,

% pattern 2, 3,
% tmp: dummy 0 1 1 0 1 1 1
1,2,
0,3,
4,0,
4,5,
0,6,
0,7,
7,0,

% pattern 3, 2,
% tmp: dummy 0 1 1 1 0 1 1
1,2,
0,3,
0,4,
5,0,
5,6,
0,7,
7,0,

% pattern 2, 3,
% tmp: dummy 0 1 1 0 1 1 1
1,2,
0,3,
4,0,
4,5,
0,6,
0,7,
7,0,

% pattern 4, 2,
% tmp: dummy 0 1 1 1 1 0 1 1
1,2,
0,3,
0,4,
0,5,
6,0,
6,7,
0,8,
8,0,

% pattern 3, 2,
% tmp: dummy 0 1 1 1 0 1 1
1,2,
0,3,
0,4,
5,0,
5,6,
0,7,
7,0,

% pattern 0, 6,
% tmp: dummy 0 1 1 1 1 1 1
1,2,
0,3,
0,4,
0,5,
0,6,
0,7,
7,0,

% pattern 1, 3,
% tmp: dummy 0 1 0 1 1 1
1,2,
3,0,
3,4,
0,5,
0,6,
6,0,

% pattern 1, 3,
% tmp: dummy 0 1 0 1 1 1
1,2,
3,0,
3,4,
0,5,
0,6,
6,0,

% pattern 1, 4,
% tmp: dummy 0 1 0 1 1 1 1
1,2,
3,0,
3,4,
0,5,
0,6,
0,7,
7,0,

% pattern 0, 5,
% tmp: dummy 0 1 1 1 1 1
1,2,
0,3,
0,4,
0,5,
0,6,
6,0,

% pattern 0, 5
% tmp: dummy 0 1 1 1 1 1
1,2,
0,3,
0,4,
0,5,
0,6,
6,0,

]);

col_num_patterns = 15;
col_max_state = 8;
col_total_states = 95;

col_num_states = [4,5,6,6,7,7,7,8,7,7,6,6,7,6,6]; % this is also the final state
col_start_where = [1,5,10,16,22,29,36,43,51,58,65,71,77,84,90];