blob: 15ccc4a16f09db465e8ead551a7f541c277a5532 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
|
/* petro.dat */
/***********************************************************************
* Web Paint-by-Number Puzzle #436 from <www.webpbn.com>.
* Copyright (C) 2006 by Jan Wolter. Used by permission.
*
* Old Stone Face
*
* created by Jan Wolter
* Jun 17, 2006
*
* Encoded in GNU MathProg by Andrew Makhorin <mao@gnu.org>.
***********************************************************************/
data;
param m := 35;
param n := 40;
param row : 1 2 3 4 5 6 7 8 9 :=
1 2 2 . . . . . . .
2 2 3 2 . . . . . .
3 3 3 3 2 . . . . .
4 3 3 3 3 . . . . .
5 2 3 3 3 3 2 . . .
6 3 3 3 3 3 3 . . .
7 4 2 3 2 2 4 . . .
8 4 2 2 2 2 3 1 . .
9 3 1 2 2 2 3 3 . .
10 3 2 2 2 2 2 4 . .
11 3 2 15 2 4 . . . .
12 5 19 4 . . . . . .
13 6 4 3 3 . . . . .
14 6 4 4 . . . . . .
15 2 4 6 2 . . . . .
16 2 2 3 3 3 2 . . .
17 9 2 2 2 3 9 . . .
18 10 2 2 2 2 2 10 . .
19 4 2 3 3 2 2 3 2 5
20 2 5 2 4 2 . . . .
21 5 3 2 2 5 . . . .
22 6 3 2 3 7 . . . .
23 6 8 9 7 . . . . .
24 4 8 7 5 . . . . .
25 4 . . . . . . . .
26 2 . . . . . . . .
27 2 . . . . . . . .
28 14 . . . . . . . .
29 16 . . . . . . . .
30 3 3 . . . . . . .
31 2 2 . . . . . . .
32 2 2 . . . . . . .
33 4 4 . . . . . . .
34 16 . . . . . . . .
35 12 . . . . . . . .
;
param col : 1 2 3 4 5 6 7 :=
1 1 . . . . . .
2 3 2 . . . . .
3 2 3 3 . . . .
4 3 3 3 . . . .
5 3 3 3 3 . . .
6 4 2 2 2 . . .
7 3 3 2 3 . . .
8 3 2 2 2 . . .
9 3 2 6 . . . .
10 2 9 . . . . .
11 2 3 3 . . . .
12 4 4 3 2 4 . .
13 7 2 5 2 6 . .
14 12 2 3 2 3 2 .
15 3 1 2 2 2 3 .
16 2 2 3 2 2 2 .
17 6 2 6 2 2 2 .
18 12 4 3 2 2 . .
19 12 2 2 2 . . .
20 2 6 2 . . . .
21 2 6 5 2 . . .
22 10 9 2 2 . . .
23 12 3 3 2 2 . .
24 6 2 2 2 2 2 2
25 2 2 3 2 2 2 .
26 4 3 2 2 2 3 .
27 7 3 3 2 3 2 .
28 5 3 5 2 6 . .
29 4 3 3 3 4 . .
30 3 5 3 . . . .
31 3 9 . . . . .
32 4 2 6 . . . .
33 4 2 2 2 . . .
34 4 2 2 3 . . .
35 3 2 2 3 . . .
36 3 3 3 . . . .
37 3 3 3 . . . .
38 4 3 3 . . . .
39 2 3 3 . . . .
40 2 1 . . . . .
;
end;
|
