puresat-0.1: dimacs/inductive-inference/ii8c1.cnf
c Filename: ii8c1.sat
c
c Source: Mauricio Resende (AT&T Bell Labs) (mgcr@gauss.att.com)
c
c Reference: "A continuous approach to inductive inference" by
c Kamath, Karmarkar, Ramakrishnan, and Resende (Math Prog 57,
c 215--238) (1992).
c
c Note: Instance is satisfiable
c
p cnf 510 3065
1 2
0
3 4
0
5 6
0
7 8
0
9 10
0
11 12
0
13 14
0
15 16
0
17 18
0
19 20
0
21 22
0
23 24
0
25 26
0
27 28
0
29 30
0
31 32
0
33 34
0
35 36
0
37 38
0
39 40
0
41 42
0
43 44
0
45 46
0
47 48
0
49 50
0
51 52
0
53 54
0
55 56
0
57 58
0
59 60
0
61 62
0
63 64
0
65 66
0
67 68
0
69 70
0
71 72
0
73 74
0
75 76
0
77 78
0
79 80
0
81 82
0
83 84
0
85 86
0
87 88
0
89 90
0
91 92
0
93 94
0
95 96
0
97 98
0
99 100
0
101 102
0
103 104
0
105 106
0
107 108
0
109 110
0
111 112
0
113 114
0
115 116
0
117 118
0
119 120
0
121 122
0
123 124
0
125 126
0
127 128
0
129 130
0
131 132
0
133 134
0
135 136
0
137 138
0
139 140
0
141 142
0
143 144
0
145 146
0
147 148
0
149 150
0
151 152
0
153 154
0
155 156
0
157 158
0
159 160
0
-1 -4 -5 -8 -9 -12
-13 -16
0
-17 -20 -21 -24 -25 -28
-29 -32
0
-33 -36 -37 -40 -41 -44
-45 -48
0
-49 -52 -53 -56 -57 -60
-61 -64
0
-65 -68 -69 -72 -73 -76
-77 -80
0
-81 -84 -85 -88 -89 -92
-93 -96
0
-97 -100 -101 -104 -105 -108
-109 -112
0
-113 -116 -117 -120 -121 -124
-125 -128
0
-129 -132 -133 -136 -137 -140
-141 -144
0
-145 -148 -149 -152 -153 -156
-157 -160
0
-2 -3 -6 -7 -9 -12
-13 -16
0
-18 -19 -22 -23 -25 -28
-29 -32
0
-34 -35 -38 -39 -41 -44
-45 -48
0
-50 -51 -54 -55 -57 -60
-61 -64
0
-66 -67 -70 -71 -73 -76
-77 -80
0
-82 -83 -86 -87 -89 -92
-93 -96
0
-98 -99 -102 -103 -105 -108
-109 -112
0
-114 -115 -118 -119 -121 -124
-125 -128
0
-130 -131 -134 -135 -137 -140
-141 -144
0
-146 -147 -150 -151 -153 -156
-157 -160
0
-1 -4 -5 -7 -9 -11
-13 -16
0
-17 -20 -21 -23 -25 -27
-29 -32
0
-33 -36 -37 -39 -41 -43
-45 -48
0
-49 -52 -53 -55 -57 -59
-61 -64
0
-65 -68 -69 -71 -73 -75
-77 -80
0
-81 -84 -85 -87 -89 -91
-93 -96
0
-97 -100 -101 -103 -105 -107
-109 -112
0
-113 -116 -117 -119 -121 -123
-125 -128
0
-129 -132 -133 -135 -137 -139
-141 -144
0
-145 -148 -149 -151 -153 -155
-157 -160
0
-1 -4 -6 -8 -9 -12
-13 -16
0
-17 -20 -22 -24 -25 -28
-29 -32
0
-33 -36 -38 -40 -41 -44
-45 -48
0
-49 -52 -54 -56 -57 -60
-61 -64
0
-65 -68 -70 -72 -73 -76
-77 -80
0
-81 -84 -86 -88 -89 -92
-93 -96
0
-97 -100 -102 -104 -105 -108
-109 -112
0
-113 -116 -118 -120 -121 -124
-125 -128
0
-129 -132 -134 -136 -137 -140
-141 -144
0
-145 -148 -150 -152 -153 -156
-157 -160
0
-1 -3 -6 -7 -9 -11
-13 -16
0
-17 -19 -22 -23 -25 -27
-29 -32
0
-33 -35 -38 -39 -41 -43
-45 -48
0
-49 -51 -54 -55 -57 -59
-61 -64
0
-65 -67 -70 -71 -73 -75
-77 -80
0
-81 -83 -86 -87 -89 -91
-93 -96
0
-97 -99 -102 -103 -105 -107
-109 -112
0
-113 -115 -118 -119 -121 -123
-125 -128
0
-129 -131 -134 -135 -137 -139
-141 -144
0
-145 -147 -150 -151 -153 -155
-157 -160
0
-2 -3 -5 -8 -9 -12
-13 -16
0
-18 -19 -21 -24 -25 -28
-29 -32
0
-34 -35 -37 -40 -41 -44
-45 -48
0
-50 -51 -53 -56 -57 -60
-61 -64
0
-66 -67 -69 -72 -73 -76
-77 -80
0
-82 -83 -85 -88 -89 -92
-93 -96
0
-98 -99 -101 -104 -105 -108
-109 -112
0
-114 -115 -117 -120 -121 -124
-125 -128
0
-130 -131 -133 -136 -137 -140
-141 -144
0
-146 -147 -149 -152 -153 -156
-157 -160
0
-2 -3 -5 -8 -9 -11
-13 -16
0
-18 -19 -21 -24 -25 -27
-29 -32
0
-34 -35 -37 -40 -41 -43
-45 -48
0
-50 -51 -53 -56 -57 -59
-61 -64
0
-66 -67 -69 -72 -73 -75
-77 -80
0
-82 -83 -85 -88 -89 -91
-93 -96
0
-98 -99 -101 -104 -105 -107
-109 -112
0
-114 -115 -117 -120 -121 -123
-125 -128
0
-130 -131 -133 -136 -137 -139
-141 -144
0
-146 -147 -149 -152 -153 -155
-157 -160
0
-2 -4 -6 -8 -9 -11
-13 -15
0
-18 -20 -22 -24 -25 -27
-29 -31
0
-34 -36 -38 -40 -41 -43
-45 -47
0
-50 -52 -54 -56 -57 -59
-61 -63
0
-66 -68 -70 -72 -73 -75
-77 -79
0
-82 -84 -86 -88 -89 -91
-93 -95
0
-98 -100 -102 -104 -105 -107
-109 -111
0
-114 -116 -118 -120 -121 -123
-125 -127
0
-130 -132 -134 -136 -137 -139
-141 -143
0
-146 -148 -150 -152 -153 -155
-157 -159
0
-2 -3 -5 -8 -9 -11
-13 -15
0
-18 -19 -21 -24 -25 -27
-29 -31
0
-34 -35 -37 -40 -41 -43
-45 -47
0
-50 -51 -53 -56 -57 -59
-61 -63
0
-66 -67 -69 -72 -73 -75
-77 -79
0
-82 -83 -85 -88 -89 -91
-93 -95
0
-98 -99 -101 -104 -105 -107
-109 -111
0
-114 -115 -117 -120 -121 -123
-125 -127
0
-130 -131 -133 -136 -137 -139
-141 -143
0
-146 -147 -149 -152 -153 -155
-157 -159
0
-1 -4 -5 -8 -9 -11
-13 -16
0
-17 -20 -21 -24 -25 -27
-29 -32
0
-33 -36 -37 -40 -41 -43
-45 -48
0
-49 -52 -53 -56 -57 -59
-61 -64
0
-65 -68 -69 -72 -73 -75
-77 -80
0
-81 -84 -85 -88 -89 -91
-93 -96
0
-97 -100 -101 -104 -105 -107
-109 -112
0
-113 -116 -117 -120 -121 -123
-125 -128
0
-129 -132 -133 -136 -137 -139
-141 -144
0
-145 -148 -149 -152 -153 -155
-157 -160
0
-2 -4 -6 -7 -9 -12
-13 -16
0
-18 -20 -22 -23 -25 -28
-29 -32
0
-34 -36 -38 -39 -41 -44
-45 -48
0
-50 -52 -54 -55 -57 -60
-61 -64
0
-66 -68 -70 -71 -73 -76
-77 -80
0
-82 -84 -86 -87 -89 -92
-93 -96
0
-98 -100 -102 -103 -105 -108
-109 -112
0
-114 -116 -118 -119 -121 -124
-125 -128
0
-130 -132 -134 -135 -137 -140
-141 -144
0
-146 -148 -150 -151 -153 -156
-157 -160
0
-2 -3 -5 -8 -9 -12
-13 -16
0
-18 -19 -21 -24 -25 -28
-29 -32
0
-34 -35 -37 -40 -41 -44
-45 -48
0
-50 -51 -53 -56 -57 -60
-61 -64
0
-66 -67 -69 -72 -73 -76
-77 -80
0
-82 -83 -85 -88 -89 -92
-93 -96
0
-98 -99 -101 -104 -105 -108
-109 -112
0
-114 -115 -117 -120 -121 -124
-125 -128
0
-130 -131 -133 -136 -137 -140
-141 -144
0
-146 -147 -149 -152 -153 -156
-157 -160
0
-1 -3 -6 -8 -9 -11
-13 -16
0
-17 -19 -22 -24 -25 -27
-29 -32
0
-33 -35 -38 -40 -41 -43
-45 -48
0
-49 -51 -54 -56 -57 -59
-61 -64
0
-65 -67 -70 -72 -73 -75
-77 -80
0
-81 -83 -86 -88 -89 -91
-93 -96
0
-97 -99 -102 -104 -105 -107
-109 -112
0
-113 -115 -118 -120 -121 -123
-125 -128
0
-129 -131 -134 -136 -137 -139
-141 -144
0
-145 -147 -150 -152 -153 -155
-157 -160
0
-1 -3 -5 -8 -9 -12
-13 -16
0
-17 -19 -21 -24 -25 -28
-29 -32
0
-33 -35 -37 -40 -41 -44
-45 -48
0
-49 -51 -53 -56 -57 -60
-61 -64
0
-65 -67 -69 -72 -73 -76
-77 -80
0
-81 -83 -85 -88 -89 -92
-93 -96
0
-97 -99 -101 -104 -105 -108
-109 -112
0
-113 -115 -117 -120 -121 -124
-125 -128
0
-129 -131 -133 -136 -137 -140
-141 -144
0
-145 -147 -149 -152 -153 -156
-157 -160
0
-2 -4 -5 -8 -9 -11
-13 -16
0
-18 -20 -21 -24 -25 -27
-29 -32
0
-34 -36 -37 -40 -41 -43
-45 -48
0
-50 -52 -53 -56 -57 -59
-61 -64
0
-66 -68 -69 -72 -73 -75
-77 -80
0
-82 -84 -85 -88 -89 -91
-93 -96
0
-98 -100 -101 -104 -105 -107
-109 -112
0
-114 -116 -117 -120 -121 -123
-125 -128
0
-130 -132 -133 -136 -137 -139
-141 -144
0
-146 -148 -149 -152 -153 -155
-157 -160
0
1 -161
0
4 -161
0
6 -161
0
8 -161
0
10 -161
0
12 -161
0
13 -161
0
16 -161
0
17 -162
0
20 -162
0
22 -162
0
24 -162
0
26 -162
0
28 -162
0
29 -162
0
32 -162
0
33 -163
0
36 -163
0
38 -163
0
40 -163
0
42 -163
0
44 -163
0
45 -163
0
48 -163
0
49 -164
0
52 -164
0
54 -164
0
56 -164
0
58 -164
0
60 -164
0
61 -164
0
64 -164
0
65 -165
0
68 -165
0
70 -165
0
72 -165
0
74 -165
0
76 -165
0
77 -165
0
80 -165
0
81 -166
0
84 -166
0
86 -166
0
88 -166
0
90 -166
0
92 -166
0
93 -166
0
96 -166
0
97 -167
0
100 -167
0
102 -167
0
104 -167
0
106 -167
0
108 -167
0
109 -167
0
112 -167
0
113 -168
0
116 -168
0
118 -168
0
120 -168
0
122 -168
0
124 -168
0
125 -168
0
128 -168
0
129 -169
0
132 -169
0
134 -169
0
136 -169
0
138 -169
0
140 -169
0
141 -169
0
144 -169
0
145 -170
0
148 -170
0
150 -170
0
152 -170
0
154 -170
0
156 -170
0
157 -170
0
160 -170
0
1 -171
0
4 -171
0
6 -171
0
8 -171
0
9 -171
0
12 -171
0
14 -171
0
16 -171
0
17 -172
0
20 -172
0
22 -172
0
24 -172
0
25 -172
0
28 -172
0
30 -172
0
32 -172
0
33 -173
0
36 -173
0
38 -173
0
40 -173
0
41 -173
0
44 -173
0
46 -173
0
48 -173
0
49 -174
0
52 -174
0
54 -174
0
56 -174
0
57 -174
0
60 -174
0
62 -174
0
64 -174
0
65 -175
0
68 -175
0
70 -175
0
72 -175
0
73 -175
0
76 -175
0
78 -175
0
80 -175
0
81 -176
0
84 -176
0
86 -176
0
88 -176
0
89 -176
0
92 -176
0
94 -176
0
96 -176
0
97 -177
0
100 -177
0
102 -177
0
104 -177
0
105 -177
0
108 -177
0
110 -177
0
112 -177
0
113 -178
0
116 -178
0
118 -178
0
120 -178
0
121 -178
0
124 -178
0
126 -178
0
128 -178
0
129 -179
0
132 -179
0
134 -179
0
136 -179
0
137 -179
0
140 -179
0
142 -179
0
144 -179
0
145 -180
0
148 -180
0
150 -180
0
152 -180
0
153 -180
0
156 -180
0
158 -180
0
160 -180
0
1 -181
0
4 -181
0
5 -181
0
7 -181
0
10 -181
0
11 -181
0
13 -181
0
16 -181
0
17 -182
0
20 -182
0
21 -182
0
23 -182
0
26 -182
0
27 -182
0
29 -182
0
32 -182
0
33 -183
0
36 -183
0
37 -183
0
39 -183
0
42 -183
0
43 -183
0
45 -183
0
48 -183
0
49 -184
0
52 -184
0
53 -184
0
55 -184
0
58 -184
0
59 -184
0
61 -184
0
64 -184
0
65 -185
0
68 -185
0
69 -185
0
71 -185
0
74 -185
0
75 -185
0
77 -185
0
80 -185
0
81 -186
0
84 -186
0
85 -186
0
87 -186
0
90 -186
0
91 -186
0
93 -186
0
96 -186
0
97 -187
0
100 -187
0
101 -187
0
103 -187
0
106 -187
0
107 -187
0
109 -187
0
112 -187
0
113 -188
0
116 -188
0
117 -188
0
119 -188
0
122 -188
0
123 -188
0
125 -188
0
128 -188
0
129 -189
0
132 -189
0
133 -189
0
135 -189
0
138 -189
0
139 -189
0
141 -189
0
144 -189
0
145 -190
0
148 -190
0
149 -190
0
151 -190
0
154 -190
0
155 -190
0
157 -190
0
160 -190
0
2 -191
0
3 -191
0
6 -191
0
7 -191
0
10 -191
0
12 -191
0
14 -191
0
15 -191
0
18 -192
0
19 -192
0
22 -192
0
23 -192
0
26 -192
0
28 -192
0
30 -192
0
31 -192
0
34 -193
0
35 -193
0
38 -193
0
39 -193
0
42 -193
0
44 -193
0
46 -193
0
47 -193
0
50 -194
0
51 -194
0
54 -194
0
55 -194
0
58 -194
0
60 -194
0
62 -194
0
63 -194
0
66 -195
0
67 -195
0
70 -195
0
71 -195
0
74 -195
0
76 -195
0
78 -195
0
79 -195
0
82 -196
0
83 -196
0
86 -196
0
87 -196
0
90 -196
0
92 -196
0
94 -196
0
95 -196
0
98 -197
0
99 -197
0
102 -197
0
103 -197
0
106 -197
0
108 -197
0
110 -197
0
111 -197
0
114 -198
0
115 -198
0
118 -198
0
119 -198
0
122 -198
0
124 -198
0
126 -198
0
127 -198
0
130 -199
0
131 -199
0
134 -199
0
135 -199
0
138 -199
0
140 -199
0
142 -199
0
143 -199
0
146 -200
0
147 -200
0
150 -200
0
151 -200
0
154 -200
0
156 -200
0
158 -200
0
159 -200
0
1 -201
0
3 -201
0
5 -201
0
8 -201
0
9 -201
0
12 -201
0
14 -201
0
15 -201
0
17 -202
0
19 -202
0
21 -202
0
24 -202
0
25 -202
0
28 -202
0
30 -202
0
31 -202
0
33 -203
0
35 -203
0
37 -203
0
40 -203
0
41 -203
0
44 -203
0
46 -203
0
47 -203
0
49 -204
0
51 -204
0
53 -204
0
56 -204
0
57 -204
0
60 -204
0
62 -204
0
63 -204
0
65 -205
0
67 -205
0
69 -205
0
72 -205
0
73 -205
0
76 -205
0
78 -205
0
79 -205
0
81 -206
0
83 -206
0
85 -206
0
88 -206
0
89 -206
0
92 -206
0
94 -206
0
95 -206
0
97 -207
0
99 -207
0
101 -207
0
104 -207
0
105 -207
0
108 -207
0
110 -207
0
111 -207
0
113 -208
0
115 -208
0
117 -208
0
120 -208
0
121 -208
0
124 -208
0
126 -208
0
127 -208
0
129 -209
0
131 -209
0
133 -209
0
136 -209
0
137 -209
0
140 -209
0
142 -209
0
143 -209
0
145 -210
0
147 -210
0
149 -210
0
152 -210
0
153 -210
0
156 -210
0
158 -210
0
159 -210
0
1 -211
0
3 -211
0
5 -211
0
8 -211
0
10 -211
0
11 -211
0
13 -211
0
15 -211
0
17 -212
0
19 -212
0
21 -212
0
24 -212
0
26 -212
0
27 -212
0
29 -212
0
31 -212
0
33 -213
0
35 -213
0
37 -213
0
40 -213
0
42 -213
0
43 -213
0
45 -213
0
47 -213
0
49 -214
0
51 -214
0
53 -214
0
56 -214
0
58 -214
0
59 -214
0
61 -214
0
63 -214
0
65 -215
0
67 -215
0
69 -215
0
72 -215
0
74 -215
0
75 -215
0
77 -215
0
79 -215
0
81 -216
0
83 -216
0
85 -216
0
88 -216
0
90 -216
0
91 -216
0
93 -216
0
95 -216
0
97 -217
0
99 -217
0
101 -217
0
104 -217
0
106 -217
0
107 -217
0
109 -217
0
111 -217
0
113 -218
0
115 -218
0
117 -218
0
120 -218
0
122 -218
0
123 -218
0
125 -218
0
127 -218
0
129 -219
0
131 -219
0
133 -219
0
136 -219
0
138 -219
0
139 -219
0
141 -219
0
143 -219
0
145 -220
0
147 -220
0
149 -220
0
152 -220
0
154 -220
0
155 -220
0
157 -220
0
159 -220
0
1 -221
0
4 -221
0
5 -221
0
7 -221
0
10 -221
0
12 -221
0
14 -221
0
16 -221
0
17 -222
0
20 -222
0
21 -222
0
23 -222
0
26 -222
0
28 -222
0
30 -222
0
32 -222
0
33 -223
0
36 -223
0
37 -223
0
39 -223
0
42 -223
0
44 -223
0
46 -223
0
48 -223
0
49 -224
0
52 -224
0
53 -224
0
55 -224
0
58 -224
0
60 -224
0
62 -224
0
64 -224
0
65 -225
0
68 -225
0
69 -225
0
71 -225
0
74 -225
0
76 -225
0
78 -225
0
80 -225
0
81 -226
0
84 -226
0
85 -226
0
87 -226
0
90 -226
0
92 -226
0
94 -226
0
96 -226
0
97 -227
0
100 -227
0
101 -227
0
103 -227
0
106 -227
0
108 -227
0
110 -227
0
112 -227
0
113 -228
0
116 -228
0
117 -228
0
119 -228
0
122 -228
0
124 -228
0
126 -228
0
128 -228
0
129 -229
0
132 -229
0
133 -229
0
135 -229
0
138 -229
0
140 -229
0
142 -229
0
144 -229
0
145 -230
0
148 -230
0
149 -230
0
151 -230
0
154 -230
0
156 -230
0
158 -230
0
160 -230
0
2 -231
0
4 -231
0
6 -231
0
7 -231
0
10 -231
0
11 -231
0
13 -231
0
16 -231
0
18 -232
0
20 -232
0
22 -232
0
23 -232
0
26 -232
0
27 -232
0
29 -232
0
32 -232
0
34 -233
0
36 -233
0
38 -233
0
39 -233
0
42 -233
0
43 -233
0
45 -233
0
48 -233
0
50 -234
0
52 -234
0
54 -234
0
55 -234
0
58 -234
0
59 -234
0
61 -234
0
64 -234
0
66 -235
0
68 -235
0
70 -235
0
71 -235
0
74 -235
0
75 -235
0
77 -235
0
80 -235
0
82 -236
0
84 -236
0
86 -236
0
87 -236
0
90 -236
0
91 -236
0
93 -236
0
96 -236
0
98 -237
0
100 -237
0
102 -237
0
103 -237
0
106 -237
0
107 -237
0
109 -237
0
112 -237
0
114 -238
0
116 -238
0
118 -238
0
119 -238
0
122 -238
0
123 -238
0
125 -238
0
128 -238
0
130 -239
0
132 -239
0
134 -239
0
135 -239
0
138 -239
0
139 -239
0
141 -239
0
144 -239
0
146 -240
0
148 -240
0
150 -240
0
151 -240
0
154 -240
0
155 -240
0
157 -240
0
160 -240
0
1 -241
0
4 -241
0
5 -241
0
8 -241
0
10 -241
0
12 -241
0
13 -241
0
15 -241
0
17 -242
0
20 -242
0
21 -242
0
24 -242
0
26 -242
0
28 -242
0
29 -242
0
31 -242
0
33 -243
0
36 -243
0
37 -243
0
40 -243
0
42 -243
0
44 -243
0
45 -243
0
47 -243
0
49 -244
0
52 -244
0
53 -244
0
56 -244
0
58 -244
0
60 -244
0
61 -244
0
63 -244
0
65 -245
0
68 -245
0
69 -245
0
72 -245
0
74 -245
0
76 -245
0
77 -245
0
79 -245
0
81 -246
0
84 -246
0
85 -246
0
88 -246
0
90 -246
0
92 -246
0
93 -246
0
95 -246
0
97 -247
0
100 -247
0
101 -247
0
104 -247
0
106 -247
0
108 -247
0
109 -247
0
111 -247
0
113 -248
0
116 -248
0
117 -248
0
120 -248
0
122 -248
0
124 -248
0
125 -248
0
127 -248
0
129 -249
0
132 -249
0
133 -249
0
136 -249
0
138 -249
0
140 -249
0
141 -249
0
143 -249
0
145 -250
0
148 -250
0
149 -250
0
152 -250
0
154 -250
0
156 -250
0
157 -250
0
159 -250
0
1 -251
0
3 -251
0
6 -251
0
7 -251
0
10 -251
0
11 -251
0
14 -251
0
16 -251
0
17 -252
0
19 -252
0
22 -252
0
23 -252
0
26 -252
0
27 -252
0
30 -252
0
32 -252
0
33 -253
0
35 -253
0
38 -253
0
39 -253
0
42 -253
0
43 -253
0
46 -253
0
48 -253
0
49 -254
0
51 -254
0
54 -254
0
55 -254
0
58 -254
0
59 -254
0
62 -254
0
64 -254
0
65 -255
0
67 -255
0
70 -255
0
71 -255
0
74 -255
0
75 -255
0
78 -255
0
80 -255
0
81 -256
0
83 -256
0
86 -256
0
87 -256
0
90 -256
0
91 -256
0
94 -256
0
96 -256
0
97 -257
0
99 -257
0
102 -257
0
103 -257
0
106 -257
0
107 -257
0
110 -257
0
112 -257
0
113 -258
0
115 -258
0
118 -258
0
119 -258
0
122 -258
0
123 -258
0
126 -258
0
128 -258
0
129 -259
0
131 -259
0
134 -259
0
135 -259
0
138 -259
0
139 -259
0
142 -259
0
144 -259
0
145 -260
0
147 -260
0
150 -260
0
151 -260
0
154 -260
0
155 -260
0
158 -260
0
160 -260
0
2 -261
0
3 -261
0
5 -261
0
8 -261
0
10 -261
0
11 -261
0
13 -261
0
15 -261
0
18 -262
0
19 -262
0
21 -262
0
24 -262
0
26 -262
0
27 -262
0
29 -262
0
31 -262
0
34 -263
0
35 -263
0
37 -263
0
40 -263
0
42 -263
0
43 -263
0
45 -263
0
47 -263
0
50 -264
0
51 -264
0
53 -264
0
56 -264
0
58 -264
0
59 -264
0
61 -264
0
63 -264
0
66 -265
0
67 -265
0
69 -265
0
72 -265
0
74 -265
0
75 -265
0
77 -265
0
79 -265
0
82 -266
0
83 -266
0
85 -266
0
88 -266
0
90 -266
0
91 -266
0
93 -266
0
95 -266
0
98 -267
0
99 -267
0
101 -267
0
104 -267
0
106 -267
0
107 -267
0
109 -267
0
111 -267
0
114 -268
0
115 -268
0
117 -268
0
120 -268
0
122 -268
0
123 -268
0
125 -268
0
127 -268
0
130 -269
0
131 -269
0
133 -269
0
136 -269
0
138 -269
0
139 -269
0
141 -269
0
143 -269
0
146 -270
0
147 -270
0
149 -270
0
152 -270
0
154 -270
0
155 -270
0
157 -270
0
159 -270
0
1 -271
0
3 -271
0
6 -271
0
7 -271
0
9 -271
0
12 -271
0
14 -271
0
15 -271
0
17 -272
0
19 -272
0
22 -272
0
23 -272
0
25 -272
0
28 -272
0
30 -272
0
31 -272
0
33 -273
0
35 -273
0
38 -273
0
39 -273
0
41 -273
0
44 -273
0
46 -273
0
47 -273
0
49 -274
0
51 -274
0
54 -274
0
55 -274
0
57 -274
0
60 -274
0
62 -274
0
63 -274
0
65 -275
0
67 -275
0
70 -275
0
71 -275
0
73 -275
0
76 -275
0
78 -275
0
79 -275
0
81 -276
0
83 -276
0
86 -276
0
87 -276
0
89 -276
0
92 -276
0
94 -276
0
95 -276
0
97 -277
0
99 -277
0
102 -277
0
103 -277
0
105 -277
0
108 -277
0
110 -277
0
111 -277
0
113 -278
0
115 -278
0
118 -278
0
119 -278
0
121 -278
0
124 -278
0
126 -278
0
127 -278
0
129 -279
0
131 -279
0
134 -279
0
135 -279
0
137 -279
0
140 -279
0
142 -279
0
143 -279
0
145 -280
0
147 -280
0
150 -280
0
151 -280
0
153 -280
0
156 -280
0
158 -280
0
159 -280
0
1 -281
0
4 -281
0
6 -281
0
7 -281
0
10 -281
0
11 -281
0
13 -281
0
16 -281
0
17 -282
0
20 -282
0
22 -282
0
23 -282
0
26 -282
0
27 -282
0
29 -282
0
32 -282
0
33 -283
0
36 -283
0
38 -283
0
39 -283
0
42 -283
0
43 -283
0
45 -283
0
48 -283
0
49 -284
0
52 -284
0
54 -284
0
55 -284
0
58 -284
0
59 -284
0
61 -284
0
64 -284
0
65 -285
0
68 -285
0
70 -285
0
71 -285
0
74 -285
0
75 -285
0
77 -285
0
80 -285
0
81 -286
0
84 -286
0
86 -286
0
87 -286
0
90 -286
0
91 -286
0
93 -286
0
96 -286
0
97 -287
0
100 -287
0
102 -287
0
103 -287
0
106 -287
0
107 -287
0
109 -287
0
112 -287
0
113 -288
0
116 -288
0
118 -288
0
119 -288
0
122 -288
0
123 -288
0
125 -288
0
128 -288
0
129 -289
0
132 -289
0
134 -289
0
135 -289
0
138 -289
0
139 -289
0
141 -289
0
144 -289
0
145 -290
0
148 -290
0
150 -290
0
151 -290
0
154 -290
0
155 -290
0
157 -290
0
160 -290
0
1 -291
0
4 -291
0
6 -291
0
8 -291
0
10 -291
0
12 -291
0
13 -291
0
16 -291
0
17 -292
0
20 -292
0
22 -292
0
24 -292
0
26 -292
0
28 -292
0
29 -292
0
32 -292
0
33 -293
0
36 -293
0
38 -293
0
40 -293
0
42 -293
0
44 -293
0
45 -293
0
48 -293
0
49 -294
0
52 -294
0
54 -294
0
56 -294
0
58 -294
0
60 -294
0
61 -294
0
64 -294
0
65 -295
0
68 -295
0
70 -295
0
72 -295
0
74 -295
0
76 -295
0
77 -295
0
80 -295
0
81 -296
0
84 -296
0
86 -296
0
88 -296
0
90 -296
0
92 -296
0
93 -296
0
96 -296
0
97 -297
0
100 -297
0
102 -297
0
104 -297
0
106 -297
0
108 -297
0
109 -297
0
112 -297
0
113 -298
0
116 -298
0
118 -298
0
120 -298
0
122 -298
0
124 -298
0
125 -298
0
128 -298
0
129 -299
0
132 -299
0
134 -299
0
136 -299
0
138 -299
0
140 -299
0
141 -299
0
144 -299
0
145 -300
0
148 -300
0
150 -300
0
152 -300
0
154 -300
0
156 -300
0
157 -300
0
160 -300
0
1 -301
0
3 -301
0
5 -301
0
8 -301
0
9 -301
0
11 -301
0
14 -301
0
16 -301
0
17 -302
0
19 -302
0
21 -302
0
24 -302
0
25 -302
0
27 -302
0
30 -302
0
32 -302
0
33 -303
0
35 -303
0
37 -303
0
40 -303
0
41 -303
0
43 -303
0
46 -303
0
48 -303
0
49 -304
0
51 -304
0
53 -304
0
56 -304
0
57 -304
0
59 -304
0
62 -304
0
64 -304
0
65 -305
0
67 -305
0
69 -305
0
72 -305
0
73 -305
0
75 -305
0
78 -305
0
80 -305
0
81 -306
0
83 -306
0
85 -306
0
88 -306
0
89 -306
0
91 -306
0
94 -306
0
96 -306
0
97 -307
0
99 -307
0
101 -307
0
104 -307
0
105 -307
0
107 -307
0
110 -307
0
112 -307
0
113 -308
0
115 -308
0
117 -308
0
120 -308
0
121 -308
0
123 -308
0
126 -308
0
128 -308
0
129 -309
0
131 -309
0
133 -309
0
136 -309
0
137 -309
0
139 -309
0
142 -309
0
144 -309
0
145 -310
0
147 -310
0
149 -310
0
152 -310
0
153 -310
0
155 -310
0
158 -310
0
160 -310
0
2 -311
0
4 -311
0
5 -311
0
8 -311
0
9 -311
0
11 -311
0
14 -311
0
16 -311
0
18 -312
0
20 -312
0
21 -312
0
24 -312
0
25 -312
0
27 -312
0
30 -312
0
32 -312
0
34 -313
0
36 -313
0
37 -313
0
40 -313
0
41 -313
0
43 -313
0
46 -313
0
48 -313
0
50 -314
0
52 -314
0
53 -314
0
56 -314
0
57 -314
0
59 -314
0
62 -314
0
64 -314
0
66 -315
0
68 -315
0
69 -315
0
72 -315
0
73 -315
0
75 -315
0
78 -315
0
80 -315
0
82 -316
0
84 -316
0
85 -316
0
88 -316
0
89 -316
0
91 -316
0
94 -316
0
96 -316
0
98 -317
0
100 -317
0
101 -317
0
104 -317
0
105 -317
0
107 -317
0
110 -317
0
112 -317
0
114 -318
0
116 -318
0
117 -318
0
120 -318
0
121 -318
0
123 -318
0
126 -318
0
128 -318
0
130 -319
0
132 -319
0
133 -319
0
136 -319
0
137 -319
0
139 -319
0
142 -319
0
144 -319
0
146 -320
0
148 -320
0
149 -320
0
152 -320
0
153 -320
0
155 -320
0
158 -320
0
160 -320
0
1 -321
0
4 -321
0
5 -321
0
7 -321
0
10 -321
0
11 -321
0
14 -321
0
16 -321
0
17 -322
0
20 -322
0
21 -322
0
23 -322
0
26 -322
0
27 -322
0
30 -322
0
32 -322
0
33 -323
0
36 -323
0
37 -323
0
39 -323
0
42 -323
0
43 -323
0
46 -323
0
48 -323
0
49 -324
0
52 -324
0
53 -324
0
55 -324
0
58 -324
0
59 -324
0
62 -324
0
64 -324
0
65 -325
0
68 -325
0
69 -325
0
71 -325
0
74 -325
0
75 -325
0
78 -325
0
80 -325
0
81 -326
0
84 -326
0
85 -326
0
87 -326
0
90 -326
0
91 -326
0
94 -326
0
96 -326
0
97 -327
0
100 -327
0
101 -327
0
103 -327
0
106 -327
0
107 -327
0
110 -327
0
112 -327
0
113 -328
0
116 -328
0
117 -328
0
119 -328
0
122 -328
0
123 -328
0
126 -328
0
128 -328
0
129 -329
0
132 -329
0
133 -329
0
135 -329
0
138 -329
0
139 -329
0
142 -329
0
144 -329
0
145 -330
0
148 -330
0
149 -330
0
151 -330
0
154 -330
0
155 -330
0
158 -330
0
160 -330
0
2 -331
0
4 -331
0
6 -331
0
7 -331
0
9 -331
0
11 -331
0
14 -331
0
16 -331
0
18 -332
0
20 -332
0
22 -332
0
23 -332
0
25 -332
0
27 -332
0
30 -332
0
32 -332
0
34 -333
0
36 -333
0
38 -333
0
39 -333
0
41 -333
0
43 -333
0
46 -333
0
48 -333
0
50 -334
0
52 -334
0
54 -334
0
55 -334
0
57 -334
0
59 -334
0
62 -334
0
64 -334
0
66 -335
0
68 -335
0
70 -335
0
71 -335
0
73 -335
0
75 -335
0
78 -335
0
80 -335
0
82 -336
0
84 -336
0
86 -336
0
87 -336
0
89 -336
0
91 -336
0
94 -336
0
96 -336
0
98 -337
0
100 -337
0
102 -337
0
103 -337
0
105 -337
0
107 -337
0
110 -337
0
112 -337
0
114 -338
0
116 -338
0
118 -338
0
119 -338
0
121 -338
0
123 -338
0
126 -338
0
128 -338
0
130 -339
0
132 -339
0
134 -339
0
135 -339
0
137 -339
0
139 -339
0
142 -339
0
144 -339
0
146 -340
0
148 -340
0
150 -340
0
151 -340
0
153 -340
0
155 -340
0
158 -340
0
160 -340
0
1 -341
0
3 -341
0
5 -341
0
7 -341
0
9 -341
0
12 -341
0
14 -341
0
16 -341
0
17 -342
0
19 -342
0
21 -342
0
23 -342
0
25 -342
0
28 -342
0
30 -342
0
32 -342
0
33 -343
0
35 -343
0
37 -343
0
39 -343
0
41 -343
0
44 -343
0
46 -343
0
48 -343
0
49 -344
0
51 -344
0
53 -344
0
55 -344
0
57 -344
0
60 -344
0
62 -344
0
64 -344
0
65 -345
0
67 -345
0
69 -345
0
71 -345
0
73 -345
0
76 -345
0
78 -345
0
80 -345
0
81 -346
0
83 -346
0
85 -346
0
87 -346
0
89 -346
0
92 -346
0
94 -346
0
96 -346
0
97 -347
0
99 -347
0
101 -347
0
103 -347
0
105 -347
0
108 -347
0
110 -347
0
112 -347
0
113 -348
0
115 -348
0
117 -348
0
119 -348
0
121 -348
0
124 -348
0
126 -348
0
128 -348
0
129 -349
0
131 -349
0
133 -349
0
135 -349
0
137 -349
0
140 -349
0
142 -349
0
144 -349
0
145 -350
0
147 -350
0
149 -350
0
151 -350
0
153 -350
0
156 -350
0
158 -350
0
160 -350
0
2 -351
0
3 -351
0
5 -351
0
8 -351
0
9 -351
0
12 -351
0
14 -351
0
16 -351
0
18 -352
0
19 -352
0
21 -352
0
24 -352
0
25 -352
0
28 -352
0
30 -352
0
32 -352
0
34 -353
0
35 -353
0
37 -353
0
40 -353
0
41 -353
0
44 -353
0
46 -353
0
48 -353
0
50 -354
0
51 -354
0
53 -354
0
56 -354
0
57 -354
0
60 -354
0
62 -354
0
64 -354
0
66 -355
0
67 -355
0
69 -355
0
72 -355
0
73 -355
0
76 -355
0
78 -355
0
80 -355
0
82 -356
0
83 -356
0
85 -356
0
88 -356
0
89 -356
0
92 -356
0
94 -356
0
96 -356
0
98 -357
0
99 -357
0
101 -357
0
104 -357
0
105 -357
0
108 -357
0
110 -357
0
112 -357
0
114 -358
0
115 -358
0
117 -358
0
120 -358
0
121 -358
0
124 -358
0
126 -358
0
128 -358
0
130 -359
0
131 -359
0
133 -359
0
136 -359
0
137 -359
0
140 -359
0
142 -359
0
144 -359
0
146 -360
0
147 -360
0
149 -360
0
152 -360
0
153 -360
0
156 -360
0
158 -360
0
160 -360
0
2 -361
0
3 -361
0
6 -361
0
8 -361
0
10 -361
0
12 -361
0
13 -361
0
16 -361
0
18 -362
0
19 -362
0
22 -362
0
24 -362
0
26 -362
0
28 -362
0
29 -362
0
32 -362
0
34 -363
0
35 -363
0
38 -363
0
40 -363
0
42 -363
0
44 -363
0
45 -363
0
48 -363
0
50 -364
0
51 -364
0
54 -364
0
56 -364
0
58 -364
0
60 -364
0
61 -364
0
64 -364
0
66 -365
0
67 -365
0
70 -365
0
72 -365
0
74 -365
0
76 -365
0
77 -365
0
80 -365
0
82 -366
0
83 -366
0
86 -366
0
88 -366
0
90 -366
0
92 -366
0
93 -366
0
96 -366
0
98 -367
0
99 -367
0
102 -367
0
104 -367
0
106 -367
0
108 -367
0
109 -367
0
112 -367
0
114 -368
0
115 -368
0
118 -368
0
120 -368
0
122 -368
0
124 -368
0
125 -368
0
128 -368
0
130 -369
0
131 -369
0
134 -369
0
136 -369
0
138 -369
0
140 -369
0
141 -369
0
144 -369
0
146 -370
0
147 -370
0
150 -370
0
152 -370
0
154 -370
0
156 -370
0
157 -370
0
160 -370
0
2 -371
0
3 -371
0
6 -371
0
7 -371
0
9 -371
0
12 -371
0
14 -371
0
16 -371
0
18 -372
0
19 -372
0
22 -372
0
23 -372
0
25 -372
0
28 -372
0
30 -372
0
32 -372
0
34 -373
0
35 -373
0
38 -373
0
39 -373
0
41 -373
0
44 -373
0
46 -373
0
48 -373
0
50 -374
0
51 -374
0
54 -374
0
55 -374
0
57 -374
0
60 -374
0
62 -374
0
64 -374
0
66 -375
0
67 -375
0
70 -375
0
71 -375
0
73 -375
0
76 -375
0
78 -375
0
80 -375
0
82 -376
0
83 -376
0
86 -376
0
87 -376
0
89 -376
0
92 -376
0
94 -376
0
96 -376
0
98 -377
0
99 -377
0
102 -377
0
103 -377
0
105 -377
0
108 -377
0
110 -377
0
112 -377
0
114 -378
0
115 -378
0
118 -378
0
119 -378
0
121 -378
0
124 -378
0
126 -378
0
128 -378
0
130 -379
0
131 -379
0
134 -379
0
135 -379
0
137 -379
0
140 -379
0
142 -379
0
144 -379
0
146 -380
0
147 -380
0
150 -380
0
151 -380
0
153 -380
0
156 -380
0
158 -380
0
160 -380
0
1 -381
0
4 -381
0
5 -381
0
8 -381
0
10 -381
0
12 -381
0
13 -381
0
15 -381
0
17 -382
0
20 -382
0
21 -382
0
24 -382
0
26 -382
0
28 -382
0
29 -382
0
31 -382
0
33 -383
0
36 -383
0
37 -383
0
40 -383
0
42 -383
0
44 -383
0
45 -383
0
47 -383
0
49 -384
0
52 -384
0
53 -384
0
56 -384
0
58 -384
0
60 -384
0
61 -384
0
63 -384
0
65 -385
0
68 -385
0
69 -385
0
72 -385
0
74 -385
0
76 -385
0
77 -385
0
79 -385
0
81 -386
0
84 -386
0
85 -386
0
88 -386
0
90 -386
0
92 -386
0
93 -386
0
95 -386
0
97 -387
0
100 -387
0
101 -387
0
104 -387
0
106 -387
0
108 -387
0
109 -387
0
111 -387
0
113 -388
0
116 -388
0
117 -388
0
120 -388
0
122 -388
0
124 -388
0
125 -388
0
127 -388
0
129 -389
0
132 -389
0
133 -389
0
136 -389
0
138 -389
0
140 -389
0
141 -389
0
143 -389
0
145 -390
0
148 -390
0
149 -390
0
152 -390
0
154 -390
0
156 -390
0
157 -390
0
159 -390
0
2 -391
0
3 -391
0
6 -391
0
7 -391
0
10 -391
0
11 -391
0
14 -391
0
15 -391
0
18 -392
0
19 -392
0
22 -392
0
23 -392
0
26 -392
0
27 -392
0
30 -392
0
31 -392
0
34 -393
0
35 -393
0
38 -393
0
39 -393
0
42 -393
0
43 -393
0
46 -393
0
47 -393
0
50 -394
0
51 -394
0
54 -394
0
55 -394
0
58 -394
0
59 -394
0
62 -394
0
63 -394
0
66 -395
0
67 -395
0
70 -395
0
71 -395
0
74 -395
0
75 -395
0
78 -395
0
79 -395
0
82 -396
0
83 -396
0
86 -396
0
87 -396
0
90 -396
0
91 -396
0
94 -396
0
95 -396
0
98 -397
0
99 -397
0
102 -397
0
103 -397
0
106 -397
0
107 -397
0
110 -397
0
111 -397
0
114 -398
0
115 -398
0
118 -398
0
119 -398
0
122 -398
0
123 -398
0
126 -398
0
127 -398
0
130 -399
0
131 -399
0
134 -399
0
135 -399
0
138 -399
0
139 -399
0
142 -399
0
143 -399
0
146 -400
0
147 -400
0
150 -400
0
151 -400
0
154 -400
0
155 -400
0
158 -400
0
159 -400
0
2 -401
0
3 -401
0
5 -401
0
8 -401
0
10 -401
0
11 -401
0
13 -401
0
15 -401
0
18 -402
0
19 -402
0
21 -402
0
24 -402
0
26 -402
0
27 -402
0
29 -402
0
31 -402
0
34 -403
0
35 -403
0
37 -403
0
40 -403
0
42 -403
0
43 -403
0
45 -403
0
47 -403
0
50 -404
0
51 -404
0
53 -404
0
56 -404
0
58 -404
0
59 -404
0
61 -404
0
63 -404
0
66 -405
0
67 -405
0
69 -405
0
72 -405
0
74 -405
0
75 -405
0
77 -405
0
79 -405
0
82 -406
0
83 -406
0
85 -406
0
88 -406
0
90 -406
0
91 -406
0
93 -406
0
95 -406
0
98 -407
0
99 -407
0
101 -407
0
104 -407
0
106 -407
0
107 -407
0
109 -407
0
111 -407
0
114 -408
0
115 -408
0
117 -408
0
120 -408
0
122 -408
0
123 -408
0
125 -408
0
127 -408
0
130 -409
0
131 -409
0
133 -409
0
136 -409
0
138 -409
0
139 -409
0
141 -409
0
143 -409
0
146 -410
0
147 -410
0
149 -410
0
152 -410
0
154 -410
0
155 -410
0
157 -410
0
159 -410
0
2 -411
0
4 -411
0
5 -411
0
7 -411
0
10 -411
0
11 -411
0
14 -411
0
16 -411
0
18 -412
0
20 -412
0
21 -412
0
23 -412
0
26 -412
0
27 -412
0
30 -412
0
32 -412
0
34 -413
0
36 -413
0
37 -413
0
39 -413
0
42 -413
0
43 -413
0
46 -413
0
48 -413
0
50 -414
0
52 -414
0
53 -414
0
55 -414
0
58 -414
0
59 -414
0
62 -414
0
64 -414
0
66 -415
0
68 -415
0
69 -415
0
71 -415
0
74 -415
0
75 -415
0
78 -415
0
80 -415
0
82 -416
0
84 -416
0
85 -416
0
87 -416
0
90 -416
0
91 -416
0
94 -416
0
96 -416
0
98 -417
0
100 -417
0
101 -417
0
103 -417
0
106 -417
0
107 -417
0
110 -417
0
112 -417
0
114 -418
0
116 -418
0
117 -418
0
119 -418
0
122 -418
0
123 -418
0
126 -418
0
128 -418
0
130 -419
0
132 -419
0
133 -419
0
135 -419
0
138 -419
0
139 -419
0
142 -419
0
144 -419
0
146 -420
0
148 -420
0
149 -420
0
151 -420
0
154 -420
0
155 -420
0
158 -420
0
160 -420
0
2 -421
0
4 -421
0
6 -421
0
7 -421
0
10 -421
0
11 -421
0
13 -421
0
16 -421
0
18 -422
0
20 -422
0
22 -422
0
23 -422
0
26 -422
0
27 -422
0
29 -422
0
32 -422
0
34 -423
0
36 -423
0
38 -423
0
39 -423
0
42 -423
0
43 -423
0
45 -423
0
48 -423
0
50 -424
0
52 -424
0
54 -424
0
55 -424
0
58 -424
0
59 -424
0
61 -424
0
64 -424
0
66 -425
0
68 -425
0
70 -425
0
71 -425
0
74 -425
0
75 -425
0
77 -425
0
80 -425
0
82 -426
0
84 -426
0
86 -426
0
87 -426
0
90 -426
0
91 -426
0
93 -426
0
96 -426
0
98 -427
0
100 -427
0
102 -427
0
103 -427
0
106 -427
0
107 -427
0
109 -427
0
112 -427
0
114 -428
0
116 -428
0
118 -428
0
119 -428
0
122 -428
0
123 -428
0
125 -428
0
128 -428
0
130 -429
0
132 -429
0
134 -429
0
135 -429
0
138 -429
0
139 -429
0
141 -429
0
144 -429
0
146 -430
0
148 -430
0
150 -430
0
151 -430
0
154 -430
0
155 -430
0
157 -430
0
160 -430
0
1 -431
0
3 -431
0
5 -431
0
7 -431
0
10 -431
0
11 -431
0
13 -431
0
16 -431
0
17 -432
0
19 -432
0
21 -432
0
23 -432
0
26 -432
0
27 -432
0
29 -432
0
32 -432
0
33 -433
0
35 -433
0
37 -433
0
39 -433
0
42 -433
0
43 -433
0
45 -433
0
48 -433
0
49 -434
0
51 -434
0
53 -434
0
55 -434
0
58 -434
0
59 -434
0
61 -434
0
64 -434
0
65 -435
0
67 -435
0
69 -435
0
71 -435
0
74 -435
0
75 -435
0
77 -435
0
80 -435
0
81 -436
0
83 -436
0
85 -436
0
87 -436
0
90 -436
0
91 -436
0
93 -436
0
96 -436
0
97 -437
0
99 -437
0
101 -437
0
103 -437
0
106 -437
0
107 -437
0
109 -437
0
112 -437
0
113 -438
0
115 -438
0
117 -438
0
119 -438
0
122 -438
0
123 -438
0
125 -438
0
128 -438
0
129 -439
0
131 -439
0
133 -439
0
135 -439
0
138 -439
0
139 -439
0
141 -439
0
144 -439
0
145 -440
0
147 -440
0
149 -440
0
151 -440
0
154 -440
0
155 -440
0
157 -440
0
160 -440
0
2 -441
0
3 -441
0
5 -441
0
8 -441
0
10 -441
0
12 -441
0
13 -441
0
15 -441
0
18 -442
0
19 -442
0
21 -442
0
24 -442
0
26 -442
0
28 -442
0
29 -442
0
31 -442
0
34 -443
0
35 -443
0
37 -443
0
40 -443
0
42 -443
0
44 -443
0
45 -443
0
47 -443
0
50 -444
0
51 -444
0
53 -444
0
56 -444
0
58 -444
0
60 -444
0
61 -444
0
63 -444
0
66 -445
0
67 -445
0
69 -445
0
72 -445
0
74 -445
0
76 -445
0
77 -445
0
79 -445
0
82 -446
0
83 -446
0
85 -446
0
88 -446
0
90 -446
0
92 -446
0
93 -446
0
95 -446
0
98 -447
0
99 -447
0
101 -447
0
104 -447
0
106 -447
0
108 -447
0
109 -447
0
111 -447
0
114 -448
0
115 -448
0
117 -448
0
120 -448
0
122 -448
0
124 -448
0
125 -448
0
127 -448
0
130 -449
0
131 -449
0
133 -449
0
136 -449
0
138 -449
0
140 -449
0
141 -449
0
143 -449
0
146 -450
0
147 -450
0
149 -450
0
152 -450
0
154 -450
0
156 -450
0
157 -450
0
159 -450
0
1 -451
0
3 -451
0
6 -451
0
8 -451
0
9 -451
0
12 -451
0
14 -451
0
16 -451
0
17 -452
0
19 -452
0
22 -452
0
24 -452
0
25 -452
0
28 -452
0
30 -452
0
32 -452
0
33 -453
0
35 -453
0
38 -453
0
40 -453
0
41 -453
0
44 -453
0
46 -453
0
48 -453
0
49 -454
0
51 -454
0
54 -454
0
56 -454
0
57 -454
0
60 -454
0
62 -454
0
64 -454
0
65 -455
0
67 -455
0
70 -455
0
72 -455
0
73 -455
0
76 -455
0
78 -455
0
80 -455
0
81 -456
0
83 -456
0
86 -456
0
88 -456
0
89 -456
0
92 -456
0
94 -456
0
96 -456
0
97 -457
0
99 -457
0
102 -457
0
104 -457
0
105 -457
0
108 -457
0
110 -457
0
112 -457
0
113 -458
0
115 -458
0
118 -458
0
120 -458
0
121 -458
0
124 -458
0
126 -458
0
128 -458
0
129 -459
0
131 -459
0
134 -459
0
136 -459
0
137 -459
0
140 -459
0
142 -459
0
144 -459
0
145 -460
0
147 -460
0
150 -460
0
152 -460
0
153 -460
0
156 -460
0
158 -460
0
160 -460
0
1 -461
0
4 -461
0
6 -461
0
8 -461
0
10 -461
0
12 -461
0
13 -461
0
16 -461
0
17 -462
0
20 -462
0
22 -462
0
24 -462
0
26 -462
0
28 -462
0
29 -462
0
32 -462
0
33 -463
0
36 -463
0
38 -463
0
40 -463
0
42 -463
0
44 -463
0
45 -463
0
48 -463
0
49 -464
0
52 -464
0
54 -464
0
56 -464
0
58 -464
0
60 -464
0
61 -464
0
64 -464
0
65 -465
0
68 -465
0
70 -465
0
72 -465
0
74 -465
0
76 -465
0
77 -465
0
80 -465
0
81 -466
0
84 -466
0
86 -466
0
88 -466
0
90 -466
0
92 -466
0
93 -466
0
96 -466
0
97 -467
0
100 -467
0
102 -467
0
104 -467
0
106 -467
0
108 -467
0
109 -467
0
112 -467
0
113 -468
0
116 -468
0
118 -468
0
120 -468
0
122 -468
0
124 -468
0
125 -468
0
128 -468
0
129 -469
0
132 -469
0
134 -469
0
136 -469
0
138 -469
0
140 -469
0
141 -469
0
144 -469
0
145 -470
0
148 -470
0
150 -470
0
152 -470
0
154 -470
0
156 -470
0
157 -470
0
160 -470
0
2 -471
0
4 -471
0
5 -471
0
7 -471
0
10 -471
0
12 -471
0
13 -471
0
15 -471
0
18 -472
0
20 -472
0
21 -472
0
23 -472
0
26 -472
0
28 -472
0
29 -472
0
31 -472
0
34 -473
0
36 -473
0
37 -473
0
39 -473
0
42 -473
0
44 -473
0
45 -473
0
47 -473
0
50 -474
0
52 -474
0
53 -474
0
55 -474
0
58 -474
0
60 -474
0
61 -474
0
63 -474
0
66 -475
0
68 -475
0
69 -475
0
71 -475
0
74 -475
0
76 -475
0
77 -475
0
79 -475
0
82 -476
0
84 -476
0
85 -476
0
87 -476
0
90 -476
0
92 -476
0
93 -476
0
95 -476
0
98 -477
0
100 -477
0
101 -477
0
103 -477
0
106 -477
0
108 -477
0
109 -477
0
111 -477
0
114 -478
0
116 -478
0
117 -478
0
119 -478
0
122 -478
0
124 -478
0
125 -478
0
127 -478
0
130 -479
0
132 -479
0
133 -479
0
135 -479
0
138 -479
0
140 -479
0
141 -479
0
143 -479
0
146 -480
0
148 -480
0
149 -480
0
151 -480
0
154 -480
0
156 -480
0
157 -480
0
159 -480
0
2 -481
0
4 -481
0
5 -481
0
7 -481
0
10 -481
0
12 -481
0
14 -481
0
16 -481
0
18 -482
0
20 -482
0
21 -482
0
23 -482
0
26 -482
0
28 -482
0
30 -482
0
32 -482
0
34 -483
0
36 -483
0
37 -483
0
39 -483
0
42 -483
0
44 -483
0
46 -483
0
48 -483
0
50 -484
0
52 -484
0
53 -484
0
55 -484
0
58 -484
0
60 -484
0
62 -484
0
64 -484
0
66 -485
0
68 -485
0
69 -485
0
71 -485
0
74 -485
0
76 -485
0
78 -485
0
80 -485
0
82 -486
0
84 -486
0
85 -486
0
87 -486
0
90 -486
0
92 -486
0
94 -486
0
96 -486
0
98 -487
0
100 -487
0
101 -487
0
103 -487
0
106 -487
0
108 -487
0
110 -487
0
112 -487
0
114 -488
0
116 -488
0
117 -488
0
119 -488
0
122 -488
0
124 -488
0
126 -488
0
128 -488
0
130 -489
0
132 -489
0
133 -489
0
135 -489
0
138 -489
0
140 -489
0
142 -489
0
144 -489
0
146 -490
0
148 -490
0
149 -490
0
151 -490
0
154 -490
0
156 -490
0
158 -490
0
160 -490
0
1 -491
0
4 -491
0
5 -491
0
8 -491
0
10 -491
0
11 -491
0
13 -491
0
15 -491
0
17 -492
0
20 -492
0
21 -492
0
24 -492
0
26 -492
0
27 -492
0
29 -492
0
31 -492
0
33 -493
0
36 -493
0
37 -493
0
40 -493
0
42 -493
0
43 -493
0
45 -493
0
47 -493
0
49 -494
0
52 -494
0
53 -494
0
56 -494
0
58 -494
0
59 -494
0
61 -494
0
63 -494
0
65 -495
0
68 -495
0
69 -495
0
72 -495
0
74 -495
0
75 -495
0
77 -495
0
79 -495
0
81 -496
0
84 -496
0
85 -496
0
88 -496
0
90 -496
0
91 -496
0
93 -496
0
95 -496
0
97 -497
0
100 -497
0
101 -497
0
104 -497
0
106 -497
0
107 -497
0
109 -497
0
111 -497
0
113 -498
0
116 -498
0
117 -498
0
120 -498
0
122 -498
0
123 -498
0
125 -498
0
127 -498
0
129 -499
0
132 -499
0
133 -499
0
136 -499
0
138 -499
0
139 -499
0
141 -499
0
143 -499
0
145 -500
0
148 -500
0
149 -500
0
152 -500
0
154 -500
0
155 -500
0
157 -500
0
159 -500
0
1 -501
0
3 -501
0
5 -501
0
8 -501
0
10 -501
0
12 -501
0
14 -501
0
16 -501
0
17 -502
0
19 -502
0
21 -502
0
24 -502
0
26 -502
0
28 -502
0
30 -502
0
32 -502
0
33 -503
0
35 -503
0
37 -503
0
40 -503
0
42 -503
0
44 -503
0
46 -503
0
48 -503
0
49 -504
0
51 -504
0
53 -504
0
56 -504
0
58 -504
0
60 -504
0
62 -504
0
64 -504
0
65 -505
0
67 -505
0
69 -505
0
72 -505
0
74 -505
0
76 -505
0
78 -505
0
80 -505
0
81 -506
0
83 -506
0
85 -506
0
88 -506
0
90 -506
0
92 -506
0
94 -506
0
96 -506
0
97 -507
0
99 -507
0
101 -507
0
104 -507
0
106 -507
0
108 -507
0
110 -507
0
112 -507
0
113 -508
0
115 -508
0
117 -508
0
120 -508
0
122 -508
0
124 -508
0
126 -508
0
128 -508
0
129 -509
0
131 -509
0
133 -509
0
136 -509
0
138 -509
0
140 -509
0
142 -509
0
144 -509
0
145 -510
0
147 -510
0
149 -510
0
152 -510
0
154 -510
0
156 -510
0
158 -510
0
160 -510
0
161 162 163 164 165 166
167 168 169 170
0
171 172 173 174 175 176
177 178 179 180
0
181 182 183 184 185 186
187 188 189 190
0
191 192 193 194 195 196
197 198 199 200
0
201 202 203 204 205 206
207 208 209 210
0
211 212 213 214 215 216
217 218 219 220
0
221 222 223 224 225 226
227 228 229 230
0
231 232 233 234 235 236
237 238 239 240
0
241 242 243 244 245 246
247 248 249 250
0
251 252 253 254 255 256
257 258 259 260
0
261 262 263 264 265 266
267 268 269 270
0
271 272 273 274 275 276
277 278 279 280
0
281 282 283 284 285 286
287 288 289 290
0
291 292 293 294 295 296
297 298 299 300
0
301 302 303 304 305 306
307 308 309 310
0
311 312 313 314 315 316
317 318 319 320
0
321 322 323 324 325 326
327 328 329 330
0
331 332 333 334 335 336
337 338 339 340
0
341 342 343 344 345 346
347 348 349 350
0
351 352 353 354 355 356
357 358 359 360
0
361 362 363 364 365 366
367 368 369 370
0
371 372 373 374 375 376
377 378 379 380
0
381 382 383 384 385 386
387 388 389 390
0
391 392 393 394 395 396
397 398 399 400
0
401 402 403 404 405 406
407 408 409 410
0
411 412 413 414 415 416
417 418 419 420
0
421 422 423 424 425 426
427 428 429 430
0
431 432 433 434 435 436
437 438 439 440
0
441 442 443 444 445 446
447 448 449 450
0
451 452 453 454 455 456
457 458 459 460
0
461 462 463 464 465 466
467 468 469 470
0
471 472 473 474 475 476
477 478 479 480
0
481 482 483 484 485 486
487 488 489 490
0
491 492 493 494 495 496
497 498 499 500
0
501 502 503 504 505 506
507 508 509 510
0