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