%% 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
%%
%% ROW RULES
row_max = 20;
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,0,0,5,
% tmp: dummy 0 1 1 1 1 1
%
1,2,
0,3,
0,4,
0,5,
0,6,
6,0,

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

]);

row_max_state = 14;
row_total_states = 174;
row_num_patterns = 20;

row_num_states = [4,6,6,5,13,14,11,11,4,6,7,11,13,12,13,11,10,8,4,5]; % this is also the final state
row_start_where = [1,5,11,17,22,35,49,60,71,75,81,88,99,112,124,137,148,158,166,170];


% COL_RULES:

col_max = 20;

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

]);

col_num_patterns = 20;
col_max_state = 20;
col_total_states = 181;

col_num_states = [3,5,7,7,8,7,12,14,15,20,13,12,13,11,8,8,8,6,2,2]; % this is also the final state
col_start_where = [1,4,9,16,23,31,38,50,64,79,99,112,124,137,148,156,164,172,178,180];