%% Nonogram "difficult"
%% From Gecode
%% ROW RULES
row_max = 15;
row_states = array2d(1..row_total_states, 1..2, [
% pattern 0, 3,
% tmp: dummy 0 1 1 1
%
1,2,
0,3,
0,4,
4,0,

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

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

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

% pattern 1, 2,
% tmp: dummy 0 1 0 1 1
%
1,2,
3,0,
3,4,
0,5,
5,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, 1,
% tmp: dummy 0 1
%
1,2,
2,0,

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

% pattern 0, 1,
% tmp: dummy 0 1
%
1,2,
2,0,

% pattern 0, 1,
% tmp: dummy 0 1
%
1,2,
2,0,

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

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

% pattern 2, 1,
% tmp: dummy 0 1 1 0 1
%
1,2,
0,3,
4,0,
4,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 0, 3
% tmp: dummy 0 1 1 1
%
1,2,
0,3,
0,4,
4,0,

]);

row_max_state = 6;
row_total_states = 61;
row_num_patterns = 15;

row_num_states = [4,4,4,4,5,6,2,3,2,2,5,5,5,6,4]; % this is also the final state
row_start_where = [1,5,9,13,17,22,28,30,33,35,37,42,47,52,58];


% 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, 2,
% tmp: dummy 0 1 1
1,2,
0,3,
3,0,

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

% pattern 0, 1,
% tmp: dummy 0 1
1,2,
2,0,

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

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

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

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

% 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, 1,
% tmp: dummy 0 1 1 0 1
1,2,
0,3,
4,0,
4,5,
5,0,

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

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

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

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

]);

col_num_patterns = 15;
col_max_state = 5;
col_total_states = 57;

col_num_states = [4,3,3,2,3,4,3,5,4,5,5,4,4,4,4]; % this is also the final state
col_start_where = [1,5,8,11,13,16,20,23,28,32,37,42,46,50,54];