ersatz-0.2: data/dimacs/parity/par16-4.cnf
c FILE: par16-4.cnf
c
c SOURCE: James Crawford (jc@research.att.com)
c
c DESCRIPTION: Instance arises from the problem of learning the parity
c function.
c
c parxx-y denotes a parity problem on xx bits. y is simply the
c intance number.
c
c parxx-y-c denotes an instance identical to parxx-y except that
c the instances have been simplified (to create an equivalent
c problem).
c
c NOTE: Satisfiable (checked for 8 and 16 size instances. All
c instances are satisfiable by construction)
c
c NOTE: Number of clauses corrected August 3, 1993
c
c Converted from tableau format Tue Aug 3 09:49:55 EDT 1993
p cnf 1015 3324
-1
0
2 -1
0
-2 1
0
546 -2 3
0
-546 2 3
0
546 2 -3
0
-546 -2 -3
0
4 -3
0
-4 3
0
5 -4
0
-5 4
0
6 -5
0
-6 5
0
7 -6
0
-7 6
0
8 -7
0
-8 7
0
9 -8
0
-9 8
0
10 -9
0
-10 9
0
554 -10 11
0
-554 10 11
0
554 10 -11
0
-554 -10 -11
0
555 -11 12
0
-555 11 12
0
555 11 -12
0
-555 -11 -12
0
13 -12
0
-13 12
0
557 -13 14
0
-557 13 14
0
557 13 -14
0
-557 -13 -14
0
15 -14
0
-15 14
0
16 -15
0
-16 15
0
560 -16 17
0
-560 16 17
0
560 16 -17
0
-560 -16 -17
0
-18
0
19 -18
0
-19 18
0
20 -19
0
-20 19
0
21 -20
0
-21 20
0
548 -21 22
0
-548 21 22
0
548 21 -22
0
-548 -21 -22
0
549 -22 23
0
-549 22 23
0
549 22 -23
0
-549 -22 -23
0
24 -23
0
-24 23
0
551 -24 25
0
-551 24 25
0
551 24 -25
0
-551 -24 -25
0
552 -25 26
0
-552 25 26
0
552 25 -26
0
-552 -25 -26
0
27 -26
0
-27 26
0
554 -27 28
0
-554 27 28
0
554 27 -28
0
-554 -27 -28
0
555 -28 29
0
-555 28 29
0
555 28 -29
0
-555 -28 -29
0
30 -29
0
-30 29
0
31 -30
0
-31 30
0
32 -31
0
-32 31
0
559 -32 33
0
-559 32 33
0
559 32 -33
0
-559 -32 -33
0
34 -33
0
-34 33
0
35
0
545 -35 36
0
-545 35 36
0
545 35 -36
0
-545 -35 -36
0
37 -36
0
-37 36
0
547 -37 38
0
-547 37 38
0
547 37 -38
0
-547 -37 -38
0
39 -38
0
-39 38
0
549 -39 40
0
-549 39 40
0
549 39 -40
0
-549 -39 -40
0
41 -40
0
-41 40
0
551 -41 42
0
-551 41 42
0
551 41 -42
0
-551 -41 -42
0
552 -42 43
0
-552 42 43
0
552 42 -43
0
-552 -42 -43
0
44 -43
0
-44 43
0
45 -44
0
-45 44
0
46 -45
0
-46 45
0
556 -46 47
0
-556 46 47
0
556 46 -47
0
-556 -46 -47
0
48 -47
0
-48 47
0
49 -48
0
-49 48
0
50 -49
0
-50 49
0
51 -50
0
-51 50
0
52
0
545 -52 53
0
-545 52 53
0
545 52 -53
0
-545 -52 -53
0
546 -53 54
0
-546 53 54
0
546 53 -54
0
-546 -53 -54
0
547 -54 55
0
-547 54 55
0
547 54 -55
0
-547 -54 -55
0
56 -55
0
-56 55
0
549 -56 57
0
-549 56 57
0
549 56 -57
0
-549 -56 -57
0
58 -57
0
-58 57
0
551 -58 59
0
-551 58 59
0
551 58 -59
0
-551 -58 -59
0
552 -59 60
0
-552 59 60
0
552 59 -60
0
-552 -59 -60
0
61 -60
0
-61 60
0
62 -61
0
-62 61
0
63 -62
0
-63 62
0
556 -63 64
0
-556 63 64
0
556 63 -64
0
-556 -63 -64
0
65 -64
0
-65 64
0
558 -65 66
0
-558 65 66
0
558 65 -66
0
-558 -65 -66
0
67 -66
0
-67 66
0
68 -67
0
-68 67
0
-69
0
70 -69
0
-70 69
0
546 -70 71
0
-546 70 71
0
546 70 -71
0
-546 -70 -71
0
72 -71
0
-72 71
0
548 -72 73
0
-548 72 73
0
548 72 -73
0
-548 -72 -73
0
549 -73 74
0
-549 73 74
0
549 73 -74
0
-549 -73 -74
0
550 -74 75
0
-550 74 75
0
550 74 -75
0
-550 -74 -75
0
551 -75 76
0
-551 75 76
0
551 75 -76
0
-551 -75 -76
0
552 -76 77
0
-552 76 77
0
552 76 -77
0
-552 -76 -77
0
78 -77
0
-78 77
0
554 -78 79
0
-554 78 79
0
554 78 -79
0
-554 -78 -79
0
80 -79
0
-80 79
0
81 -80
0
-81 80
0
557 -81 82
0
-557 81 82
0
557 81 -82
0
-557 -81 -82
0
558 -82 83
0
-558 82 83
0
558 82 -83
0
-558 -82 -83
0
559 -83 84
0
-559 83 84
0
559 83 -84
0
-559 -83 -84
0
85 -84
0
-85 84
0
86
0
545 -86 87
0
-545 86 87
0
545 86 -87
0
-545 -86 -87
0
546 -87 88
0
-546 87 88
0
546 87 -88
0
-546 -87 -88
0
89 -88
0
-89 88
0
90 -89
0
-90 89
0
549 -90 91
0
-549 90 91
0
549 90 -91
0
-549 -90 -91
0
92 -91
0
-92 91
0
551 -92 93
0
-551 92 93
0
551 92 -93
0
-551 -92 -93
0
94 -93
0
-94 93
0
95 -94
0
-95 94
0
96 -95
0
-96 95
0
97 -96
0
-97 96
0
98 -97
0
-98 97
0
557 -98 99
0
-557 98 99
0
557 98 -99
0
-557 -98 -99
0
558 -99 100
0
-558 99 100
0
558 99 -100
0
-558 -99 -100
0
559 -100 101
0
-559 100 101
0
559 100 -101
0
-559 -100 -101
0
560 -101 102
0
-560 101 102
0
560 101 -102
0
-560 -101 -102
0
103
0
545 -103 104
0
-545 103 104
0
545 103 -104
0
-545 -103 -104
0
105 -104
0
-105 104
0
547 -105 106
0
-547 105 106
0
547 105 -106
0
-547 -105 -106
0
548 -106 107
0
-548 106 107
0
548 106 -107
0
-548 -106 -107
0
549 -107 108
0
-549 107 108
0
549 107 -108
0
-549 -107 -108
0
109 -108
0
-109 108
0
551 -109 110
0
-551 109 110
0
551 109 -110
0
-551 -109 -110
0
111 -110
0
-111 110
0
553 -111 112
0
-553 111 112
0
553 111 -112
0
-553 -111 -112
0
113 -112
0
-113 112
0
555 -113 114
0
-555 113 114
0
555 113 -114
0
-555 -113 -114
0
556 -114 115
0
-556 114 115
0
556 114 -115
0
-556 -114 -115
0
116 -115
0
-116 115
0
558 -116 117
0
-558 116 117
0
558 116 -117
0
-558 -116 -117
0
559 -117 118
0
-559 117 118
0
559 117 -118
0
-559 -117 -118
0
560 -118 119
0
-560 118 119
0
560 118 -119
0
-560 -118 -119
0
120
0
545 -120 121
0
-545 120 121
0
545 120 -121
0
-545 -120 -121
0
122 -121
0
-122 121
0
123 -122
0
-123 122
0
548 -123 124
0
-548 123 124
0
548 123 -124
0
-548 -123 -124
0
549 -124 125
0
-549 124 125
0
549 124 -125
0
-549 -124 -125
0
126 -125
0
-126 125
0
551 -126 127
0
-551 126 127
0
551 126 -127
0
-551 -126 -127
0
128 -127
0
-128 127
0
129 -128
0
-129 128
0
130 -129
0
-130 129
0
131 -130
0
-131 130
0
132 -131
0
-132 131
0
133 -132
0
-133 132
0
558 -133 134
0
-558 133 134
0
558 133 -134
0
-558 -133 -134
0
559 -134 135
0
-559 134 135
0
559 134 -135
0
-559 -134 -135
0
560 -135 136
0
-560 135 136
0
560 135 -136
0
-560 -135 -136
0
-137
0
545 -137 138
0
-545 137 138
0
545 137 -138
0
-545 -137 -138
0
546 -138 139
0
-546 138 139
0
546 138 -139
0
-546 -138 -139
0
140 -139
0
-140 139
0
141 -140
0
-141 140
0
142 -141
0
-142 141
0
143 -142
0
-143 142
0
551 -143 144
0
-551 143 144
0
551 143 -144
0
-551 -143 -144
0
552 -144 145
0
-552 144 145
0
552 144 -145
0
-552 -144 -145
0
553 -145 146
0
-553 145 146
0
553 145 -146
0
-553 -145 -146
0
554 -146 147
0
-554 146 147
0
554 146 -147
0
-554 -146 -147
0
555 -147 148
0
-555 147 148
0
555 147 -148
0
-555 -147 -148
0
556 -148 149
0
-556 148 149
0
556 148 -149
0
-556 -148 -149
0
557 -149 150
0
-557 149 150
0
557 149 -150
0
-557 -149 -150
0
151 -150
0
-151 150
0
152 -151
0
-152 151
0
560 -152 153
0
-560 152 153
0
560 152 -153
0
-560 -152 -153
0
-154
0
545 -154 155
0
-545 154 155
0
545 154 -155
0
-545 -154 -155
0
546 -155 156
0
-546 155 156
0
546 155 -156
0
-546 -155 -156
0
547 -156 157
0
-547 156 157
0
547 156 -157
0
-547 -156 -157
0
158 -157
0
-158 157
0
159 -158
0
-159 158
0
160 -159
0
-160 159
0
161 -160
0
-161 160
0
162 -161
0
-162 161
0
163 -162
0
-163 162
0
164 -163
0
-164 163
0
165 -164
0
-165 164
0
166 -165
0
-166 165
0
167 -166
0
-167 166
0
558 -167 168
0
-558 167 168
0
558 167 -168
0
-558 -167 -168
0
559 -168 169
0
-559 168 169
0
559 168 -169
0
-559 -168 -169
0
170 -169
0
-170 169
0
-171
0
172 -171
0
-172 171
0
546 -172 173
0
-546 172 173
0
546 172 -173
0
-546 -172 -173
0
547 -173 174
0
-547 173 174
0
547 173 -174
0
-547 -173 -174
0
548 -174 175
0
-548 174 175
0
548 174 -175
0
-548 -174 -175
0
549 -175 176
0
-549 175 176
0
549 175 -176
0
-549 -175 -176
0
550 -176 177
0
-550 176 177
0
550 176 -177
0
-550 -176 -177
0
551 -177 178
0
-551 177 178
0
551 177 -178
0
-551 -177 -178
0
552 -178 179
0
-552 178 179
0
552 178 -179
0
-552 -178 -179
0
180 -179
0
-180 179
0
181 -180
0
-181 180
0
555 -181 182
0
-555 181 182
0
555 181 -182
0
-555 -181 -182
0
556 -182 183
0
-556 182 183
0
556 182 -183
0
-556 -182 -183
0
557 -183 184
0
-557 183 184
0
557 183 -184
0
-557 -183 -184
0
558 -184 185
0
-558 184 185
0
558 184 -185
0
-558 -184 -185
0
559 -185 186
0
-559 185 186
0
559 185 -186
0
-559 -185 -186
0
187 -186
0
-187 186
0
-188
0
189 -188
0
-189 188
0
546 -189 190
0
-546 189 190
0
546 189 -190
0
-546 -189 -190
0
547 -190 191
0
-547 190 191
0
547 190 -191
0
-547 -190 -191
0
192 -191
0
-192 191
0
193 -192
0
-193 192
0
194 -193
0
-194 193
0
551 -194 195
0
-551 194 195
0
551 194 -195
0
-551 -194 -195
0
552 -195 196
0
-552 195 196
0
552 195 -196
0
-552 -195 -196
0
197 -196
0
-197 196
0
554 -197 198
0
-554 197 198
0
554 197 -198
0
-554 -197 -198
0
199 -198
0
-199 198
0
200 -199
0
-200 199
0
201 -200
0
-201 200
0
558 -201 202
0
-558 201 202
0
558 201 -202
0
-558 -201 -202
0
203 -202
0
-203 202
0
204 -203
0
-204 203
0
205
0
206 -205
0
-206 205
0
546 -206 207
0
-546 206 207
0
546 206 -207
0
-546 -206 -207
0
208 -207
0
-208 207
0
209 -208
0
-209 208
0
549 -209 210
0
-549 209 210
0
549 209 -210
0
-549 -209 -210
0
211 -210
0
-211 210
0
551 -211 212
0
-551 211 212
0
551 211 -212
0
-551 -211 -212
0
213 -212
0
-213 212
0
214 -213
0
-214 213
0
215 -214
0
-215 214
0
216 -215
0
-216 215
0
556 -216 217
0
-556 216 217
0
556 216 -217
0
-556 -216 -217
0
218 -217
0
-218 217
0
558 -218 219
0
-558 218 219
0
558 218 -219
0
-558 -218 -219
0
220 -219
0
-220 219
0
221 -220
0
-221 220
0
-222
0
545 -222 223
0
-545 222 223
0
545 222 -223
0
-545 -222 -223
0
546 -223 224
0
-546 223 224
0
546 223 -224
0
-546 -223 -224
0
547 -224 225
0
-547 224 225
0
547 224 -225
0
-547 -224 -225
0
226 -225
0
-226 225
0
227 -226
0
-227 226
0
228 -227
0
-228 227
0
551 -228 229
0
-551 228 229
0
551 228 -229
0
-551 -228 -229
0
230 -229
0
-230 229
0
231 -230
0
-231 230
0
554 -231 232
0
-554 231 232
0
554 231 -232
0
-554 -231 -232
0
233 -232
0
-233 232
0
556 -233 234
0
-556 233 234
0
556 233 -234
0
-556 -233 -234
0
235 -234
0
-235 234
0
558 -235 236
0
-558 235 236
0
558 235 -236
0
-558 -235 -236
0
237 -236
0
-237 236
0
238 -237
0
-238 237
0
239
0
240 -239
0
-240 239
0
241 -240
0
-241 240
0
547 -241 242
0
-547 241 242
0
547 241 -242
0
-547 -241 -242
0
548 -242 243
0
-548 242 243
0
548 242 -243
0
-548 -242 -243
0
244 -243
0
-244 243
0
245 -244
0
-245 244
0
246 -245
0
-246 245
0
552 -246 247
0
-552 246 247
0
552 246 -247
0
-552 -246 -247
0
248 -247
0
-248 247
0
554 -248 249
0
-554 248 249
0
554 248 -249
0
-554 -248 -249
0
250 -249
0
-250 249
0
251 -250
0
-251 250
0
252 -251
0
-252 251
0
253 -252
0
-253 252
0
559 -253 254
0
-559 253 254
0
559 253 -254
0
-559 -253 -254
0
255 -254
0
-255 254
0
256
0
545 -256 257
0
-545 256 257
0
545 256 -257
0
-545 -256 -257
0
546 -257 258
0
-546 257 258
0
546 257 -258
0
-546 -257 -258
0
259 -258
0
-259 258
0
260 -259
0
-260 259
0
549 -260 261
0
-549 260 261
0
549 260 -261
0
-549 -260 -261
0
262 -261
0
-262 261
0
263 -262
0
-263 262
0
264 -263
0
-264 263
0
265 -264
0
-265 264
0
554 -265 266
0
-554 265 266
0
554 265 -266
0
-554 -265 -266
0
267 -266
0
-267 266
0
556 -267 268
0
-556 267 268
0
556 267 -268
0
-556 -267 -268
0
269 -268
0
-269 268
0
270 -269
0
-270 269
0
559 -270 271
0
-559 270 271
0
559 270 -271
0
-559 -270 -271
0
272 -271
0
-272 271
0
-273
0
274 -273
0
-274 273
0
546 -274 275
0
-546 274 275
0
546 274 -275
0
-546 -274 -275
0
547 -275 276
0
-547 275 276
0
547 275 -276
0
-547 -275 -276
0
548 -276 277
0
-548 276 277
0
548 276 -277
0
-548 -276 -277
0
549 -277 278
0
-549 277 278
0
549 277 -278
0
-549 -277 -278
0
550 -278 279
0
-550 278 279
0
550 278 -279
0
-550 -278 -279
0
280 -279
0
-280 279
0
281 -280
0
-281 280
0
282 -281
0
-282 281
0
283 -282
0
-283 282
0
555 -283 284
0
-555 283 284
0
555 283 -284
0
-555 -283 -284
0
285 -284
0
-285 284
0
557 -285 286
0
-557 285 286
0
557 285 -286
0
-557 -285 -286
0
287 -286
0
-287 286
0
288 -287
0
-288 287
0
289 -288
0
-289 288
0
-290
0
291 -290
0
-291 290
0
546 -291 292
0
-546 291 292
0
546 291 -292
0
-546 -291 -292
0
293 -292
0
-293 292
0
548 -293 294
0
-548 293 294
0
548 293 -294
0
-548 -293 -294
0
549 -294 295
0
-549 294 295
0
549 294 -295
0
-549 -294 -295
0
550 -295 296
0
-550 295 296
0
550 295 -296
0
-550 -295 -296
0
551 -296 297
0
-551 296 297
0
551 296 -297
0
-551 -296 -297
0
552 -297 298
0
-552 297 298
0
552 297 -298
0
-552 -297 -298
0
299 -298
0
-299 298
0
300 -299
0
-300 299
0
301 -300
0
-301 300
0
302 -301
0
-302 301
0
303 -302
0
-303 302
0
304 -303
0
-304 303
0
559 -304 305
0
-559 304 305
0
559 304 -305
0
-559 -304 -305
0
306 -305
0
-306 305
0
307
0
308 -307
0
-308 307
0
309 -308
0
-309 308
0
547 -309 310
0
-547 309 310
0
547 309 -310
0
-547 -309 -310
0
548 -310 311
0
-548 310 311
0
548 310 -311
0
-548 -310 -311
0
549 -311 312
0
-549 311 312
0
549 311 -312
0
-549 -311 -312
0
313 -312
0
-313 312
0
314 -313
0
-314 313
0
315 -314
0
-315 314
0
553 -315 316
0
-553 315 316
0
553 315 -316
0
-553 -315 -316
0
554 -316 317
0
-554 316 317
0
554 316 -317
0
-554 -316 -317
0
318 -317
0
-318 317
0
556 -318 319
0
-556 318 319
0
556 318 -319
0
-556 -318 -319
0
557 -319 320
0
-557 319 320
0
557 319 -320
0
-557 -319 -320
0
321 -320
0
-321 320
0
559 -321 322
0
-559 321 322
0
559 321 -322
0
-559 -321 -322
0
560 -322 323
0
-560 322 323
0
560 322 -323
0
-560 -322 -323
0
-324
0
545 -324 325
0
-545 324 325
0
545 324 -325
0
-545 -324 -325
0
326 -325
0
-326 325
0
547 -326 327
0
-547 326 327
0
547 326 -327
0
-547 -326 -327
0
548 -327 328
0
-548 327 328
0
548 327 -328
0
-548 -327 -328
0
549 -328 329
0
-549 328 329
0
549 328 -329
0
-549 -328 -329
0
550 -329 330
0
-550 329 330
0
550 329 -330
0
-550 -329 -330
0
331 -330
0
-331 330
0
332 -331
0
-332 331
0
333 -332
0
-333 332
0
554 -333 334
0
-554 333 334
0
554 333 -334
0
-554 -333 -334
0
555 -334 335
0
-555 334 335
0
555 334 -335
0
-555 -334 -335
0
556 -335 336
0
-556 335 336
0
556 335 -336
0
-556 -335 -336
0
557 -336 337
0
-557 336 337
0
557 336 -337
0
-557 -336 -337
0
338 -337
0
-338 337
0
339 -338
0
-339 338
0
340 -339
0
-340 339
0
341
0
342 -341
0
-342 341
0
343 -342
0
-343 342
0
344 -343
0
-344 343
0
345 -344
0
-345 344
0
549 -345 346
0
-549 345 346
0
549 345 -346
0
-549 -345 -346
0
347 -346
0
-347 346
0
348 -347
0
-348 347
0
552 -348 349
0
-552 348 349
0
552 348 -349
0
-552 -348 -349
0
350 -349
0
-350 349
0
351 -350
0
-351 350
0
555 -351 352
0
-555 351 352
0
555 351 -352
0
-555 -351 -352
0
353 -352
0
-353 352
0
354 -353
0
-354 353
0
558 -354 355
0
-558 354 355
0
558 354 -355
0
-558 -354 -355
0
559 -355 356
0
-559 355 356
0
559 355 -356
0
-559 -355 -356
0
357 -356
0
-357 356
0
358
0
359 -358
0
-359 358
0
360 -359
0
-360 359
0
361 -360
0
-361 360
0
362 -361
0
-362 361
0
363 -362
0
-363 362
0
364 -363
0
-364 363
0
551 -364 365
0
-551 364 365
0
551 364 -365
0
-551 -364 -365
0
552 -365 366
0
-552 365 366
0
552 365 -366
0
-552 -365 -366
0
367 -366
0
-367 366
0
368 -367
0
-368 367
0
369 -368
0
-369 368
0
370 -369
0
-370 369
0
557 -370 371
0
-557 370 371
0
557 370 -371
0
-557 -370 -371
0
558 -371 372
0
-558 371 372
0
558 371 -372
0
-558 -371 -372
0
373 -372
0
-373 372
0
560 -373 374
0
-560 373 374
0
560 373 -374
0
-560 -373 -374
0
375
0
376 -375
0
-376 375
0
546 -376 377
0
-546 376 377
0
546 376 -377
0
-546 -376 -377
0
547 -377 378
0
-547 377 378
0
547 377 -378
0
-547 -377 -378
0
379 -378
0
-379 378
0
549 -379 380
0
-549 379 380
0
549 379 -380
0
-549 -379 -380
0
381 -380
0
-381 380
0
551 -381 382
0
-551 381 382
0
551 381 -382
0
-551 -381 -382
0
383 -382
0
-383 382
0
384 -383
0
-384 383
0
554 -384 385
0
-554 384 385
0
554 384 -385
0
-554 -384 -385
0
555 -385 386
0
-555 385 386
0
555 385 -386
0
-555 -385 -386
0
556 -386 387
0
-556 386 387
0
556 386 -387
0
-556 -386 -387
0
557 -387 388
0
-557 387 388
0
557 387 -388
0
-557 -387 -388
0
389 -388
0
-389 388
0
559 -389 390
0
-559 389 390
0
559 389 -390
0
-559 -389 -390
0
560 -390 391
0
-560 390 391
0
560 390 -391
0
-560 -390 -391
0
392
0
393 -392
0
-393 392
0
394 -393
0
-394 393
0
547 -394 395
0
-547 394 395
0
547 394 -395
0
-547 -394 -395
0
548 -395 396
0
-548 395 396
0
548 395 -396
0
-548 -395 -396
0
397 -396
0
-397 396
0
398 -397
0
-398 397
0
399 -398
0
-399 398
0
552 -399 400
0
-552 399 400
0
552 399 -400
0
-552 -399 -400
0
401 -400
0
-401 400
0
402 -401
0
-402 401
0
555 -402 403
0
-555 402 403
0
555 402 -403
0
-555 -402 -403
0
556 -403 404
0
-556 403 404
0
556 403 -404
0
-556 -403 -404
0
557 -404 405
0
-557 404 405
0
557 404 -405
0
-557 -404 -405
0
558 -405 406
0
-558 405 406
0
558 405 -406
0
-558 -405 -406
0
407 -406
0
-407 406
0
560 -407 408
0
-560 407 408
0
560 407 -408
0
-560 -407 -408
0
-409
0
545 -409 410
0
-545 409 410
0
545 409 -410
0
-545 -409 -410
0
411 -410
0
-411 410
0
547 -411 412
0
-547 411 412
0
547 411 -412
0
-547 -411 -412
0
548 -412 413
0
-548 412 413
0
548 412 -413
0
-548 -412 -413
0
414 -413
0
-414 413
0
550 -414 415
0
-550 414 415
0
550 414 -415
0
-550 -414 -415
0
416 -415
0
-416 415
0
552 -416 417
0
-552 416 417
0
552 416 -417
0
-552 -416 -417
0
553 -417 418
0
-553 417 418
0
553 417 -418
0
-553 -417 -418
0
419 -418
0
-419 418
0
555 -419 420
0
-555 419 420
0
555 419 -420
0
-555 -419 -420
0
556 -420 421
0
-556 420 421
0
556 420 -421
0
-556 -420 -421
0
422 -421
0
-422 421
0
558 -422 423
0
-558 422 423
0
558 422 -423
0
-558 -422 -423
0
424 -423
0
-424 423
0
425 -424
0
-425 424
0
-426
0
545 -426 427
0
-545 426 427
0
545 426 -427
0
-545 -426 -427
0
428 -427
0
-428 427
0
429 -428
0
-429 428
0
548 -429 430
0
-548 429 430
0
548 429 -430
0
-548 -429 -430
0
431 -430
0
-431 430
0
550 -431 432
0
-550 431 432
0
550 431 -432
0
-550 -431 -432
0
551 -432 433
0
-551 432 433
0
551 432 -433
0
-551 -432 -433
0
552 -433 434
0
-552 433 434
0
552 433 -434
0
-552 -433 -434
0
553 -434 435
0
-553 434 435
0
553 434 -435
0
-553 -434 -435
0
554 -435 436
0
-554 435 436
0
554 435 -436
0
-554 -435 -436
0
437 -436
0
-437 436
0
438 -437
0
-438 437
0
439 -438
0
-439 438
0
558 -439 440
0
-558 439 440
0
558 439 -440
0
-558 -439 -440
0
559 -440 441
0
-559 440 441
0
559 440 -441
0
-559 -440 -441
0
560 -441 442
0
-560 441 442
0
560 441 -442
0
-560 -441 -442
0
443
0
545 -443 444
0
-545 443 444
0
545 443 -444
0
-545 -443 -444
0
445 -444
0
-445 444
0
446 -445
0
-446 445
0
447 -446
0
-447 446
0
549 -447 448
0
-549 447 448
0
549 447 -448
0
-549 -447 -448
0
550 -448 449
0
-550 448 449
0
550 448 -449
0
-550 -448 -449
0
450 -449
0
-450 449
0
552 -450 451
0
-552 450 451
0
552 450 -451
0
-552 -450 -451
0
452 -451
0
-452 451
0
554 -452 453
0
-554 452 453
0
554 452 -453
0
-554 -452 -453
0
454 -453
0
-454 453
0
455 -454
0
-455 454
0
557 -455 456
0
-557 455 456
0
557 455 -456
0
-557 -455 -456
0
558 -456 457
0
-558 456 457
0
558 456 -457
0
-558 -456 -457
0
559 -457 458
0
-559 457 458
0
559 457 -458
0
-559 -457 -458
0
560 -458 459
0
-560 458 459
0
560 458 -459
0
-560 -458 -459
0
-460
0
461 -460
0
-461 460
0
462 -461
0
-462 461
0
547 -462 463
0
-547 462 463
0
547 462 -463
0
-547 -462 -463
0
548 -463 464
0
-548 463 464
0
548 463 -464
0
-548 -463 -464
0
465 -464
0
-465 464
0
550 -465 466
0
-550 465 466
0
550 465 -466
0
-550 -465 -466
0
551 -466 467
0
-551 466 467
0
551 466 -467
0
-551 -466 -467
0
468 -467
0
-468 467
0
553 -468 469
0
-553 468 469
0
553 468 -469
0
-553 -468 -469
0
470 -469
0
-470 469
0
471 -470
0
-471 470
0
472 -471
0
-472 471
0
473 -472
0
-473 472
0
474 -473
0
-474 473
0
475 -474
0
-475 474
0
560 -475 476
0
-560 475 476
0
560 475 -476
0
-560 -475 -476
0
477
0
478 -477
0
-478 477
0
479 -478
0
-479 478
0
480 -479
0
-480 479
0
548 -480 481
0
-548 480 481
0
548 480 -481
0
-548 -480 -481
0
549 -481 482
0
-549 481 482
0
549 481 -482
0
-549 -481 -482
0
550 -482 483
0
-550 482 483
0
550 482 -483
0
-550 -482 -483
0
484 -483
0
-484 483
0
485 -484
0
-485 484
0
553 -485 486
0
-553 485 486
0
553 485 -486
0
-553 -485 -486
0
554 -486 487
0
-554 486 487
0
554 486 -487
0
-554 -486 -487
0
555 -487 488
0
-555 487 488
0
555 487 -488
0
-555 -487 -488
0
556 -488 489
0
-556 488 489
0
556 488 -489
0
-556 -488 -489
0
490 -489
0
-490 489
0
491 -490
0
-491 490
0
492 -491
0
-492 491
0
560 -492 493
0
-560 492 493
0
560 492 -493
0
-560 -492 -493
0
-494
0
495 -494
0
-495 494
0
546 -495 496
0
-546 495 496
0
546 495 -496
0
-546 -495 -496
0
547 -496 497
0
-547 496 497
0
547 496 -497
0
-547 -496 -497
0
548 -497 498
0
-548 497 498
0
548 497 -498
0
-548 -497 -498
0
499 -498
0
-499 498
0
500 -499
0
-500 499
0
551 -500 501
0
-551 500 501
0
551 500 -501
0
-551 -500 -501
0
502 -501
0
-502 501
0
553 -502 503
0
-553 502 503
0
553 502 -503
0
-553 -502 -503
0
504 -503
0
-504 503
0
555 -504 505
0
-555 504 505
0
555 504 -505
0
-555 -504 -505
0
506 -505
0
-506 505
0
557 -506 507
0
-557 506 507
0
557 506 -507
0
-557 -506 -507
0
558 -507 508
0
-558 507 508
0
558 507 -508
0
-558 -507 -508
0
559 -508 509
0
-559 508 509
0
559 508 -509
0
-559 -508 -509
0
510 -509
0
-510 509
0
511
0
512 -511
0
-512 511
0
513 -512
0
-513 512
0
547 -513 514
0
-547 513 514
0
547 513 -514
0
-547 -513 -514
0
548 -514 515
0
-548 514 515
0
548 514 -515
0
-548 -514 -515
0
549 -515 516
0
-549 515 516
0
549 515 -516
0
-549 -515 -516
0
517 -516
0
-517 516
0
551 -517 518
0
-551 517 518
0
551 517 -518
0
-551 -517 -518
0
519 -518
0
-519 518
0
553 -519 520
0
-553 519 520
0
553 519 -520
0
-553 -519 -520
0
554 -520 521
0
-554 520 521
0
554 520 -521
0
-554 -520 -521
0
522 -521
0
-522 521
0
556 -522 523
0
-556 522 523
0
556 522 -523
0
-556 -522 -523
0
557 -523 524
0
-557 523 524
0
557 523 -524
0
-557 -523 -524
0
558 -524 525
0
-558 524 525
0
558 524 -525
0
-558 -524 -525
0
526 -525
0
-526 525
0
560 -526 527
0
-560 526 527
0
560 526 -527
0
-560 -526 -527
0
528
0
545 -528 529
0
-545 528 529
0
545 528 -529
0
-545 -528 -529
0
546 -529 530
0
-546 529 530
0
546 529 -530
0
-546 -529 -530
0
531 -530
0
-531 530
0
532 -531
0
-532 531
0
549 -532 533
0
-549 532 533
0
549 532 -533
0
-549 -532 -533
0
534 -533
0
-534 533
0
551 -534 535
0
-551 534 535
0
551 534 -535
0
-551 -534 -535
0
552 -535 536
0
-552 535 536
0
552 535 -536
0
-552 -535 -536
0
537 -536
0
-537 536
0
554 -537 538
0
-554 537 538
0
554 537 -538
0
-554 -537 -538
0
555 -538 539
0
-555 538 539
0
555 538 -539
0
-555 -538 -539
0
540 -539
0
-540 539
0
557 -540 541
0
-557 540 541
0
557 540 -541
0
-557 -540 -541
0
558 -541 542
0
-558 541 542
0
558 541 -542
0
-558 -541 -542
0
543 -542
0
-543 542
0
544 -543
0
-544 543
0
-561
0
-562
0
-563
0
-564
0
-565
0
-566
0
-567
0
17 -792
0
-17 792
0
792 -561 568
0
-792 561 568
0
792 561 -568
0
-792 -561 -568
0
793 -562 569
0
-793 562 569
0
793 562 -569
0
-793 -562 -569
0
792 -793
0
561 -793
0
-792 -561 793
0
-561 568 793
0
794 -563 570
0
-794 563 570
0
794 563 -570
0
-794 -563 -570
0
793 -794
0
562 -794
0
-793 -562 794
0
-562 569 794
0
795 -564 571
0
-795 564 571
0
795 564 -571
0
-795 -564 -571
0
794 -795
0
563 -795
0
-794 -563 795
0
-563 570 795
0
796 -565 572
0
-796 565 572
0
796 565 -572
0
-796 -565 -572
0
795 -796
0
564 -796
0
-795 -564 796
0
-564 571 796
0
797 -566 573
0
-797 566 573
0
797 566 -573
0
-797 -566 -573
0
796 -797
0
565 -797
0
-796 -565 797
0
-565 572 797
0
798 -567 574
0
-798 567 574
0
798 567 -574
0
-798 -567 -574
0
797 -798
0
566 -798
0
-797 -566 798
0
-566 573 798
0
34 -799
0
-34 799
0
799 -568 575
0
-799 568 575
0
799 568 -575
0
-799 -568 -575
0
800 -569 576
0
-800 569 576
0
800 569 -576
0
-800 -569 -576
0
799 -800
0
568 -800
0
-799 -568 800
0
-568 575 800
0
801 -570 577
0
-801 570 577
0
801 570 -577
0
-801 -570 -577
0
800 -801
0
569 -801
0
-800 -569 801
0
-569 576 801
0
802 -571 578
0
-802 571 578
0
802 571 -578
0
-802 -571 -578
0
801 -802
0
570 -802
0
-801 -570 802
0
-570 577 802
0
803 -572 579
0
-803 572 579
0
803 572 -579
0
-803 -572 -579
0
802 -803
0
571 -803
0
-802 -571 803
0
-571 578 803
0
804 -573 580
0
-804 573 580
0
804 573 -580
0
-804 -573 -580
0
803 -804
0
572 -804
0
-803 -572 804
0
-572 579 804
0
805 -574 581
0
-805 574 581
0
805 574 -581
0
-805 -574 -581
0
804 -805
0
573 -805
0
-804 -573 805
0
-573 580 805
0
51 -806
0
-51 806
0
806 -575 582
0
-806 575 582
0
806 575 -582
0
-806 -575 -582
0
807 -576 583
0
-807 576 583
0
807 576 -583
0
-807 -576 -583
0
806 -807
0
575 -807
0
-806 -575 807
0
-575 582 807
0
808 -577 584
0
-808 577 584
0
808 577 -584
0
-808 -577 -584
0
807 -808
0
576 -808
0
-807 -576 808
0
-576 583 808
0
809 -578 585
0
-809 578 585
0
809 578 -585
0
-809 -578 -585
0
808 -809
0
577 -809
0
-808 -577 809
0
-577 584 809
0
810 -579 586
0
-810 579 586
0
810 579 -586
0
-810 -579 -586
0
809 -810
0
578 -810
0
-809 -578 810
0
-578 585 810
0
811 -580 587
0
-811 580 587
0
811 580 -587
0
-811 -580 -587
0
810 -811
0
579 -811
0
-810 -579 811
0
-579 586 811
0
812 -581 588
0
-812 581 588
0
812 581 -588
0
-812 -581 -588
0
811 -812
0
580 -812
0
-811 -580 812
0
-580 587 812
0
68 -813
0
-68 813
0
813 -582 589
0
-813 582 589
0
813 582 -589
0
-813 -582 -589
0
814 -583 590
0
-814 583 590
0
814 583 -590
0
-814 -583 -590
0
813 -814
0
582 -814
0
-813 -582 814
0
-582 589 814
0
815 -584 591
0
-815 584 591
0
815 584 -591
0
-815 -584 -591
0
814 -815
0
583 -815
0
-814 -583 815
0
-583 590 815
0
816 -585 592
0
-816 585 592
0
816 585 -592
0
-816 -585 -592
0
815 -816
0
584 -816
0
-815 -584 816
0
-584 591 816
0
817 -586 593
0
-817 586 593
0
817 586 -593
0
-817 -586 -593
0
816 -817
0
585 -817
0
-816 -585 817
0
-585 592 817
0
818 -587 594
0
-818 587 594
0
818 587 -594
0
-818 -587 -594
0
817 -818
0
586 -818
0
-817 -586 818
0
-586 593 818
0
819 -588 595
0
-819 588 595
0
819 588 -595
0
-819 -588 -595
0
818 -819
0
587 -819
0
-818 -587 819
0
-587 594 819
0
85 -820
0
-85 820
0
820 -589 596
0
-820 589 596
0
820 589 -596
0
-820 -589 -596
0
821 -590 597
0
-821 590 597
0
821 590 -597
0
-821 -590 -597
0
820 -821
0
589 -821
0
-820 -589 821
0
-589 596 821
0
822 -591 598
0
-822 591 598
0
822 591 -598
0
-822 -591 -598
0
821 -822
0
590 -822
0
-821 -590 822
0
-590 597 822
0
823 -592 599
0
-823 592 599
0
823 592 -599
0
-823 -592 -599
0
822 -823
0
591 -823
0
-822 -591 823
0
-591 598 823
0
824 -593 600
0
-824 593 600
0
824 593 -600
0
-824 -593 -600
0
823 -824
0
592 -824
0
-823 -592 824
0
-592 599 824
0
825 -594 601
0
-825 594 601
0
825 594 -601
0
-825 -594 -601
0
824 -825
0
593 -825
0
-824 -593 825
0
-593 600 825
0
826 -595 602
0
-826 595 602
0
826 595 -602
0
-826 -595 -602
0
825 -826
0
594 -826
0
-825 -594 826
0
-594 601 826
0
102 -827
0
-102 827
0
827 -596 603
0
-827 596 603
0
827 596 -603
0
-827 -596 -603
0
828 -597 604
0
-828 597 604
0
828 597 -604
0
-828 -597 -604
0
827 -828
0
596 -828
0
-827 -596 828
0
-596 603 828
0
829 -598 605
0
-829 598 605
0
829 598 -605
0
-829 -598 -605
0
828 -829
0
597 -829
0
-828 -597 829
0
-597 604 829
0
830 -599 606
0
-830 599 606
0
830 599 -606
0
-830 -599 -606
0
829 -830
0
598 -830
0
-829 -598 830
0
-598 605 830
0
831 -600 607
0
-831 600 607
0
831 600 -607
0
-831 -600 -607
0
830 -831
0
599 -831
0
-830 -599 831
0
-599 606 831
0
832 -601 608
0
-832 601 608
0
832 601 -608
0
-832 -601 -608
0
831 -832
0
600 -832
0
-831 -600 832
0
-600 607 832
0
833 -602 609
0
-833 602 609
0
833 602 -609
0
-833 -602 -609
0
832 -833
0
601 -833
0
-832 -601 833
0
-601 608 833
0
119 -834
0
-119 834
0
834 -603 610
0
-834 603 610
0
834 603 -610
0
-834 -603 -610
0
835 -604 611
0
-835 604 611
0
835 604 -611
0
-835 -604 -611
0
834 -835
0
603 -835
0
-834 -603 835
0
-603 610 835
0
836 -605 612
0
-836 605 612
0
836 605 -612
0
-836 -605 -612
0
835 -836
0
604 -836
0
-835 -604 836
0
-604 611 836
0
837 -606 613
0
-837 606 613
0
837 606 -613
0
-837 -606 -613
0
836 -837
0
605 -837
0
-836 -605 837
0
-605 612 837
0
838 -607 614
0
-838 607 614
0
838 607 -614
0
-838 -607 -614
0
837 -838
0
606 -838
0
-837 -606 838
0
-606 613 838
0
839 -608 615
0
-839 608 615
0
839 608 -615
0
-839 -608 -615
0
838 -839
0
607 -839
0
-838 -607 839
0
-607 614 839
0
840 -609 616
0
-840 609 616
0
840 609 -616
0
-840 -609 -616
0
839 -840
0
608 -840
0
-839 -608 840
0
-608 615 840
0
136 -841
0
-136 841
0
841 -610 617
0
-841 610 617
0
841 610 -617
0
-841 -610 -617
0
842 -611 618
0
-842 611 618
0
842 611 -618
0
-842 -611 -618
0
841 -842
0
610 -842
0
-841 -610 842
0
-610 617 842
0
843 -612 619
0
-843 612 619
0
843 612 -619
0
-843 -612 -619
0
842 -843
0
611 -843
0
-842 -611 843
0
-611 618 843
0
844 -613 620
0
-844 613 620
0
844 613 -620
0
-844 -613 -620
0
843 -844
0
612 -844
0
-843 -612 844
0
-612 619 844
0
845 -614 621
0
-845 614 621
0
845 614 -621
0
-845 -614 -621
0
844 -845
0
613 -845
0
-844 -613 845
0
-613 620 845
0
846 -615 622
0
-846 615 622
0
846 615 -622
0
-846 -615 -622
0
845 -846
0
614 -846
0
-845 -614 846
0
-614 621 846
0
847 -616 623
0
-847 616 623
0
847 616 -623
0
-847 -616 -623
0
846 -847
0
615 -847
0
-846 -615 847
0
-615 622 847
0
153 -848
0
-153 848
0
848 -617 624
0
-848 617 624
0
848 617 -624
0
-848 -617 -624
0
849 -618 625
0
-849 618 625
0
849 618 -625
0
-849 -618 -625
0
848 -849
0
617 -849
0
-848 -617 849
0
-617 624 849
0
850 -619 626
0
-850 619 626
0
850 619 -626
0
-850 -619 -626
0
849 -850
0
618 -850
0
-849 -618 850
0
-618 625 850
0
851 -620 627
0
-851 620 627
0
851 620 -627
0
-851 -620 -627
0
850 -851
0
619 -851
0
-850 -619 851
0
-619 626 851
0
852 -621 628
0
-852 621 628
0
852 621 -628
0
-852 -621 -628
0
851 -852
0
620 -852
0
-851 -620 852
0
-620 627 852
0
853 -622 629
0
-853 622 629
0
853 622 -629
0
-853 -622 -629
0
852 -853
0
621 -853
0
-852 -621 853
0
-621 628 853
0
854 -623 630
0
-854 623 630
0
854 623 -630
0
-854 -623 -630
0
853 -854
0
622 -854
0
-853 -622 854
0
-622 629 854
0
170 -855
0
-170 855
0
855 -624 631
0
-855 624 631
0
855 624 -631
0
-855 -624 -631
0
856 -625 632
0
-856 625 632
0
856 625 -632
0
-856 -625 -632
0
855 -856
0
624 -856
0
-855 -624 856
0
-624 631 856
0
857 -626 633
0
-857 626 633
0
857 626 -633
0
-857 -626 -633
0
856 -857
0
625 -857
0
-856 -625 857
0
-625 632 857
0
858 -627 634
0
-858 627 634
0
858 627 -634
0
-858 -627 -634
0
857 -858
0
626 -858
0
-857 -626 858
0
-626 633 858
0
859 -628 635
0
-859 628 635
0
859 628 -635
0
-859 -628 -635
0
858 -859
0
627 -859
0
-858 -627 859
0
-627 634 859
0
860 -629 636
0
-860 629 636
0
860 629 -636
0
-860 -629 -636
0
859 -860
0
628 -860
0
-859 -628 860
0
-628 635 860
0
861 -630 637
0
-861 630 637
0
861 630 -637
0
-861 -630 -637
0
860 -861
0
629 -861
0
-860 -629 861
0
-629 636 861
0
187 -862
0
-187 862
0
862 -631 638
0
-862 631 638
0
862 631 -638
0
-862 -631 -638
0
863 -632 639
0
-863 632 639
0
863 632 -639
0
-863 -632 -639
0
862 -863
0
631 -863
0
-862 -631 863
0
-631 638 863
0
864 -633 640
0
-864 633 640
0
864 633 -640
0
-864 -633 -640
0
863 -864
0
632 -864
0
-863 -632 864
0
-632 639 864
0
865 -634 641
0
-865 634 641
0
865 634 -641
0
-865 -634 -641
0
864 -865
0
633 -865
0
-864 -633 865
0
-633 640 865
0
866 -635 642
0
-866 635 642
0
866 635 -642
0
-866 -635 -642
0
865 -866
0
634 -866
0
-865 -634 866
0
-634 641 866
0
867 -636 643
0
-867 636 643
0
867 636 -643
0
-867 -636 -643
0
866 -867
0
635 -867
0
-866 -635 867
0
-635 642 867
0
868 -637 644
0
-868 637 644
0
868 637 -644
0
-868 -637 -644
0
867 -868
0
636 -868
0
-867 -636 868
0
-636 643 868
0
204 -869
0
-204 869
0
869 -638 645
0
-869 638 645
0
869 638 -645
0
-869 -638 -645
0
870 -639 646
0
-870 639 646
0
870 639 -646
0
-870 -639 -646
0
869 -870
0
638 -870
0
-869 -638 870
0
-638 645 870
0
871 -640 647
0
-871 640 647
0
871 640 -647
0
-871 -640 -647
0
870 -871
0
639 -871
0
-870 -639 871
0
-639 646 871
0
872 -641 648
0
-872 641 648
0
872 641 -648
0
-872 -641 -648
0
871 -872
0
640 -872
0
-871 -640 872
0
-640 647 872
0
873 -642 649
0
-873 642 649
0
873 642 -649
0
-873 -642 -649
0
872 -873
0
641 -873
0
-872 -641 873
0
-641 648 873
0
874 -643 650
0
-874 643 650
0
874 643 -650
0
-874 -643 -650
0
873 -874
0
642 -874
0
-873 -642 874
0
-642 649 874
0
875 -644 651
0
-875 644 651
0
875 644 -651
0
-875 -644 -651
0
874 -875
0
643 -875
0
-874 -643 875
0
-643 650 875
0
221 -876
0
-221 876
0
876 -645 652
0
-876 645 652
0
876 645 -652
0
-876 -645 -652
0
877 -646 653
0
-877 646 653
0
877 646 -653
0
-877 -646 -653
0
876 -877
0
645 -877
0
-876 -645 877
0
-645 652 877
0
878 -647 654
0
-878 647 654
0
878 647 -654
0
-878 -647 -654
0
877 -878
0
646 -878
0
-877 -646 878
0
-646 653 878
0
879 -648 655
0
-879 648 655
0
879 648 -655
0
-879 -648 -655
0
878 -879
0
647 -879
0
-878 -647 879
0
-647 654 879
0
880 -649 656
0
-880 649 656
0
880 649 -656
0
-880 -649 -656
0
879 -880
0
648 -880
0
-879 -648 880
0
-648 655 880
0
881 -650 657
0
-881 650 657
0
881 650 -657
0
-881 -650 -657
0
880 -881
0
649 -881
0
-880 -649 881
0
-649 656 881
0
882 -651 658
0
-882 651 658
0
882 651 -658
0
-882 -651 -658
0
881 -882
0
650 -882
0
-881 -650 882
0
-650 657 882
0
238 -883
0
-238 883
0
883 -652 659
0
-883 652 659
0
883 652 -659
0
-883 -652 -659
0
884 -653 660
0
-884 653 660
0
884 653 -660
0
-884 -653 -660
0
883 -884
0
652 -884
0
-883 -652 884
0
-652 659 884
0
885 -654 661
0
-885 654 661
0
885 654 -661
0
-885 -654 -661
0
884 -885
0
653 -885
0
-884 -653 885
0
-653 660 885
0
886 -655 662
0
-886 655 662
0
886 655 -662
0
-886 -655 -662
0
885 -886
0
654 -886
0
-885 -654 886
0
-654 661 886
0
887 -656 663
0
-887 656 663
0
887 656 -663
0
-887 -656 -663
0
886 -887
0
655 -887
0
-886 -655 887
0
-655 662 887
0
888 -657 664
0
-888 657 664
0
888 657 -664
0
-888 -657 -664
0
887 -888
0
656 -888
0
-887 -656 888
0
-656 663 888
0
889 -658 665
0
-889 658 665
0
889 658 -665
0
-889 -658 -665
0
888 -889
0
657 -889
0
-888 -657 889
0
-657 664 889
0
255 -890
0
-255 890
0
890 -659 666
0
-890 659 666
0
890 659 -666
0
-890 -659 -666
0
891 -660 667
0
-891 660 667
0
891 660 -667
0
-891 -660 -667
0
890 -891
0
659 -891
0
-890 -659 891
0
-659 666 891
0
892 -661 668
0
-892 661 668
0
892 661 -668
0
-892 -661 -668
0
891 -892
0
660 -892
0
-891 -660 892
0
-660 667 892
0
893 -662 669
0
-893 662 669
0
893 662 -669
0
-893 -662 -669
0
892 -893
0
661 -893
0
-892 -661 893
0
-661 668 893
0
894 -663 670
0
-894 663 670
0
894 663 -670
0
-894 -663 -670
0
893 -894
0
662 -894
0
-893 -662 894
0
-662 669 894
0
895 -664 671
0
-895 664 671
0
895 664 -671
0
-895 -664 -671
0
894 -895
0
663 -895
0
-894 -663 895
0
-663 670 895
0
896 -665 672
0
-896 665 672
0
896 665 -672
0
-896 -665 -672
0
895 -896
0
664 -896
0
-895 -664 896
0
-664 671 896
0
272 -897
0
-272 897
0
897 -666 673
0
-897 666 673
0
897 666 -673
0
-897 -666 -673
0
898 -667 674
0
-898 667 674
0
898 667 -674
0
-898 -667 -674
0
897 -898
0
666 -898
0
-897 -666 898
0
-666 673 898
0
899 -668 675
0
-899 668 675
0
899 668 -675
0
-899 -668 -675
0
898 -899
0
667 -899
0
-898 -667 899
0
-667 674 899
0
900 -669 676
0
-900 669 676
0
900 669 -676
0
-900 -669 -676
0
899 -900
0
668 -900
0
-899 -668 900
0
-668 675 900
0
901 -670 677
0
-901 670 677
0
901 670 -677
0
-901 -670 -677
0
900 -901
0
669 -901
0
-900 -669 901
0
-669 676 901
0
902 -671 678
0
-902 671 678
0
902 671 -678
0
-902 -671 -678
0
901 -902
0
670 -902
0
-901 -670 902
0
-670 677 902
0
903 -672 679
0
-903 672 679
0
903 672 -679
0
-903 -672 -679
0
902 -903
0
671 -903
0
-902 -671 903
0
-671 678 903
0
289 -904
0
-289 904
0
904 -673 680
0
-904 673 680
0
904 673 -680
0
-904 -673 -680
0
905 -674 681
0
-905 674 681
0
905 674 -681
0
-905 -674 -681
0
904 -905
0
673 -905
0
-904 -673 905
0
-673 680 905
0
906 -675 682
0
-906 675 682
0
906 675 -682
0
-906 -675 -682
0
905 -906
0
674 -906
0
-905 -674 906
0
-674 681 906
0
907 -676 683
0
-907 676 683
0
907 676 -683
0
-907 -676 -683
0
906 -907
0
675 -907
0
-906 -675 907
0
-675 682 907
0
908 -677 684
0
-908 677 684
0
908 677 -684
0
-908 -677 -684
0
907 -908
0
676 -908
0
-907 -676 908
0
-676 683 908
0
909 -678 685
0
-909 678 685
0
909 678 -685
0
-909 -678 -685
0
908 -909
0
677 -909
0
-908 -677 909
0
-677 684 909
0
910 -679 686
0
-910 679 686
0
910 679 -686
0
-910 -679 -686
0
909 -910
0
678 -910
0
-909 -678 910
0
-678 685 910
0
306 -911
0
-306 911
0
911 -680 687
0
-911 680 687
0
911 680 -687
0
-911 -680 -687
0
912 -681 688
0
-912 681 688
0
912 681 -688
0
-912 -681 -688
0
911 -912
0
680 -912
0
-911 -680 912
0
-680 687 912
0
913 -682 689
0
-913 682 689
0
913 682 -689
0
-913 -682 -689
0
912 -913
0
681 -913
0
-912 -681 913
0
-681 688 913
0
914 -683 690
0
-914 683 690
0
914 683 -690
0
-914 -683 -690
0
913 -914
0
682 -914
0
-913 -682 914
0
-682 689 914
0
915 -684 691
0
-915 684 691
0
915 684 -691
0
-915 -684 -691
0
914 -915
0
683 -915
0
-914 -683 915
0
-683 690 915
0
916 -685 692
0
-916 685 692
0
916 685 -692
0
-916 -685 -692
0
915 -916
0
684 -916
0
-915 -684 916
0
-684 691 916
0
917 -686 693
0
-917 686 693
0
917 686 -693
0
-917 -686 -693
0
916 -917
0
685 -917
0
-916 -685 917
0
-685 692 917
0
323 -918
0
-323 918
0
918 -687 694
0
-918 687 694
0
918 687 -694
0
-918 -687 -694
0
919 -688 695
0
-919 688 695
0
919 688 -695
0
-919 -688 -695
0
918 -919
0
687 -919
0
-918 -687 919
0
-687 694 919
0
920 -689 696
0
-920 689 696
0
920 689 -696
0
-920 -689 -696
0
919 -920
0
688 -920
0
-919 -688 920
0
-688 695 920
0
921 -690 697
0
-921 690 697
0
921 690 -697
0
-921 -690 -697
0
920 -921
0
689 -921
0
-920 -689 921
0
-689 696 921
0
922 -691 698
0
-922 691 698
0
922 691 -698
0
-922 -691 -698
0
921 -922
0
690 -922
0
-921 -690 922
0
-690 697 922
0
923 -692 699
0
-923 692 699
0
923 692 -699
0
-923 -692 -699
0
922 -923
0
691 -923
0
-922 -691 923
0
-691 698 923
0
924 -693 700
0
-924 693 700
0
924 693 -700
0
-924 -693 -700
0
923 -924
0
692 -924
0
-923 -692 924
0
-692 699 924
0
340 -925
0
-340 925
0
925 -694 701
0
-925 694 701
0
925 694 -701
0
-925 -694 -701
0
926 -695 702
0
-926 695 702
0
926 695 -702
0
-926 -695 -702
0
925 -926
0
694 -926
0
-925 -694 926
0
-694 701 926
0
927 -696 703
0
-927 696 703
0
927 696 -703
0
-927 -696 -703
0
926 -927
0
695 -927
0
-926 -695 927
0
-695 702 927
0
928 -697 704
0
-928 697 704
0
928 697 -704
0
-928 -697 -704
0
927 -928
0
696 -928
0
-927 -696 928
0
-696 703 928
0
929 -698 705
0
-929 698 705
0
929 698 -705
0
-929 -698 -705
0
928 -929
0
697 -929
0
-928 -697 929
0
-697 704 929
0
930 -699 706
0
-930 699 706
0
930 699 -706
0
-930 -699 -706
0
929 -930
0
698 -930
0
-929 -698 930
0
-698 705 930
0
931 -700 707
0
-931 700 707
0
931 700 -707
0
-931 -700 -707
0
930 -931
0
699 -931
0
-930 -699 931
0
-699 706 931
0
357 -932
0
-357 932
0
932 -701 708
0
-932 701 708
0
932 701 -708
0
-932 -701 -708
0
933 -702 709
0
-933 702 709
0
933 702 -709
0
-933 -702 -709
0
932 -933
0
701 -933
0
-932 -701 933
0
-701 708 933
0
934 -703 710
0
-934 703 710
0
934 703 -710
0
-934 -703 -710
0
933 -934
0
702 -934
0
-933 -702 934
0
-702 709 934
0
935 -704 711
0
-935 704 711
0
935 704 -711
0
-935 -704 -711
0
934 -935
0
703 -935
0
-934 -703 935
0
-703 710 935
0
936 -705 712
0
-936 705 712
0
936 705 -712
0
-936 -705 -712
0
935 -936
0
704 -936
0
-935 -704 936
0
-704 711 936
0
937 -706 713
0
-937 706 713
0
937 706 -713
0
-937 -706 -713
0
936 -937
0
705 -937
0
-936 -705 937
0
-705 712 937
0
938 -707 714
0
-938 707 714
0
938 707 -714
0
-938 -707 -714
0
937 -938
0
706 -938
0
-937 -706 938
0
-706 713 938
0
374 -939
0
-374 939
0
939 -708 715
0
-939 708 715
0
939 708 -715
0
-939 -708 -715
0
940 -709 716
0
-940 709 716
0
940 709 -716
0
-940 -709 -716
0
939 -940
0
708 -940
0
-939 -708 940
0
-708 715 940
0
941 -710 717
0
-941 710 717
0
941 710 -717
0
-941 -710 -717
0
940 -941
0
709 -941
0
-940 -709 941
0
-709 716 941
0
942 -711 718
0
-942 711 718
0
942 711 -718
0
-942 -711 -718
0
941 -942
0
710 -942
0
-941 -710 942
0
-710 717 942
0
943 -712 719
0
-943 712 719
0
943 712 -719
0
-943 -712 -719
0
942 -943
0
711 -943
0
-942 -711 943
0
-711 718 943
0
944 -713 720
0
-944 713 720
0
944 713 -720
0
-944 -713 -720
0
943 -944
0
712 -944
0
-943 -712 944
0
-712 719 944
0
945 -714 721
0
-945 714 721
0
945 714 -721
0
-945 -714 -721
0
944 -945
0
713 -945
0
-944 -713 945
0
-713 720 945
0
391 -946
0
-391 946
0
946 -715 722
0
-946 715 722
0
946 715 -722
0
-946 -715 -722
0
947 -716 723
0
-947 716 723
0
947 716 -723
0
-947 -716 -723
0
946 -947
0
715 -947
0
-946 -715 947
0
-715 722 947
0
948 -717 724
0
-948 717 724
0
948 717 -724
0
-948 -717 -724
0
947 -948
0
716 -948
0
-947 -716 948
0
-716 723 948
0
949 -718 725
0
-949 718 725
0
949 718 -725
0
-949 -718 -725
0
948 -949
0
717 -949
0
-948 -717 949
0
-717 724 949
0
950 -719 726
0
-950 719 726
0
950 719 -726
0
-950 -719 -726
0
949 -950
0
718 -950
0
-949 -718 950
0
-718 725 950
0
951 -720 727
0
-951 720 727
0
951 720 -727
0
-951 -720 -727
0
950 -951
0
719 -951
0
-950 -719 951
0
-719 726 951
0
952 -721 728
0
-952 721 728
0
952 721 -728
0
-952 -721 -728
0
951 -952
0
720 -952
0
-951 -720 952
0
-720 727 952
0
408 -953
0
-408 953
0
953 -722 729
0
-953 722 729
0
953 722 -729
0
-953 -722 -729
0
954 -723 730
0
-954 723 730
0
954 723 -730
0
-954 -723 -730
0
953 -954
0
722 -954
0
-953 -722 954
0
-722 729 954
0
955 -724 731
0
-955 724 731
0
955 724 -731
0
-955 -724 -731
0
954 -955
0
723 -955
0
-954 -723 955
0
-723 730 955
0
956 -725 732
0
-956 725 732
0
956 725 -732
0
-956 -725 -732
0
955 -956
0
724 -956
0
-955 -724 956
0
-724 731 956
0
957 -726 733
0
-957 726 733
0
957 726 -733
0
-957 -726 -733
0
956 -957
0
725 -957
0
-956 -725 957
0
-725 732 957
0
958 -727 734
0
-958 727 734
0
958 727 -734
0
-958 -727 -734
0
957 -958
0
726 -958
0
-957 -726 958
0
-726 733 958
0
959 -728 735
0
-959 728 735
0
959 728 -735
0
-959 -728 -735
0
958 -959
0
727 -959
0
-958 -727 959
0
-727 734 959
0
425 -960
0
-425 960
0
960 -729 736
0
-960 729 736
0
960 729 -736
0
-960 -729 -736
0
961 -730 737
0
-961 730 737
0
961 730 -737
0
-961 -730 -737
0
960 -961
0
729 -961
0
-960 -729 961
0
-729 736 961
0
962 -731 738
0
-962 731 738
0
962 731 -738
0
-962 -731 -738
0
961 -962
0
730 -962
0
-961 -730 962
0
-730 737 962
0
963 -732 739
0
-963 732 739
0
963 732 -739
0
-963 -732 -739
0
962 -963
0
731 -963
0
-962 -731 963
0
-731 738 963
0
964 -733 740
0
-964 733 740
0
964 733 -740
0
-964 -733 -740
0
963 -964
0
732 -964
0
-963 -732 964
0
-732 739 964
0
965 -734 741
0
-965 734 741
0
965 734 -741
0
-965 -734 -741
0
964 -965
0
733 -965
0
-964 -733 965
0
-733 740 965
0
966 -735 742
0
-966 735 742
0
966 735 -742
0
-966 -735 -742
0
965 -966
0
734 -966
0
-965 -734 966
0
-734 741 966
0
442 -967
0
-442 967
0
967 -736 743
0
-967 736 743
0
967 736 -743
0
-967 -736 -743
0
968 -737 744
0
-968 737 744
0
968 737 -744
0
-968 -737 -744
0
967 -968
0
736 -968
0
-967 -736 968
0
-736 743 968
0
969 -738 745
0
-969 738 745
0
969 738 -745
0
-969 -738 -745
0
968 -969
0
737 -969
0
-968 -737 969
0
-737 744 969
0
970 -739 746
0
-970 739 746
0
970 739 -746
0
-970 -739 -746
0
969 -970
0
738 -970
0
-969 -738 970
0
-738 745 970
0
971 -740 747
0
-971 740 747
0
971 740 -747
0
-971 -740 -747
0
970 -971
0
739 -971
0
-970 -739 971
0
-739 746 971
0
972 -741 748
0
-972 741 748
0
972 741 -748
0
-972 -741 -748
0
971 -972
0
740 -972
0
-971 -740 972
0
-740 747 972
0
973 -742 749
0
-973 742 749
0
973 742 -749
0
-973 -742 -749
0
972 -973
0
741 -973
0
-972 -741 973
0
-741 748 973
0
459 -974
0
-459 974
0
974 -743 750
0
-974 743 750
0
974 743 -750
0
-974 -743 -750
0
975 -744 751
0
-975 744 751
0
975 744 -751
0
-975 -744 -751
0
974 -975
0
743 -975
0
-974 -743 975
0
-743 750 975
0
976 -745 752
0
-976 745 752
0
976 745 -752
0
-976 -745 -752
0
975 -976
0
744 -976
0
-975 -744 976
0
-744 751 976
0
977 -746 753
0
-977 746 753
0
977 746 -753
0
-977 -746 -753
0
976 -977
0
745 -977
0
-976 -745 977
0
-745 752 977
0
978 -747 754
0
-978 747 754
0
978 747 -754
0
-978 -747 -754
0
977 -978
0
746 -978
0
-977 -746 978
0
-746 753 978
0
979 -748 755
0
-979 748 755
0
979 748 -755
0
-979 -748 -755
0
978 -979
0
747 -979
0
-978 -747 979
0
-747 754 979
0
980 -749 756
0
-980 749 756
0
980 749 -756
0
-980 -749 -756
0
979 -980
0
748 -980
0
-979 -748 980
0
-748 755 980
0
476 -981
0
-476 981
0
981 -750 757
0
-981 750 757
0
981 750 -757
0
-981 -750 -757
0
982 -751 758
0
-982 751 758
0
982 751 -758
0
-982 -751 -758
0
981 -982
0
750 -982
0
-981 -750 982
0
-750 757 982
0
983 -752 759
0
-983 752 759
0
983 752 -759
0
-983 -752 -759
0
982 -983
0
751 -983
0
-982 -751 983
0
-751 758 983
0
984 -753 760
0
-984 753 760
0
984 753 -760
0
-984 -753 -760
0
983 -984
0
752 -984
0
-983 -752 984
0
-752 759 984
0
985 -754 761
0
-985 754 761
0
985 754 -761
0
-985 -754 -761
0
984 -985
0
753 -985
0
-984 -753 985
0
-753 760 985
0
986 -755 762
0
-986 755 762
0
986 755 -762
0
-986 -755 -762
0
985 -986
0
754 -986
0
-985 -754 986
0
-754 761 986
0
987 -756 763
0
-987 756 763
0
987 756 -763
0
-987 -756 -763
0
986 -987
0
755 -987
0
-986 -755 987
0
-755 762 987
0
493 -988
0
-493 988
0
988 -757 764
0
-988 757 764
0
988 757 -764
0
-988 -757 -764
0
989 -758 765
0
-989 758 765
0
989 758 -765
0
-989 -758 -765
0
988 -989
0
757 -989
0
-988 -757 989
0
-757 764 989
0
990 -759 766
0
-990 759 766
0
990 759 -766
0
-990 -759 -766
0
989 -990
0
758 -990
0
-989 -758 990
0
-758 765 990
0
991 -760 767
0
-991 760 767
0
991 760 -767
0
-991 -760 -767
0
990 -991
0
759 -991
0
-990 -759 991
0
-759 766 991
0
992 -761 768
0
-992 761 768
0
992 761 -768
0
-992 -761 -768
0
991 -992
0
760 -992
0
-991 -760 992
0
-760 767 992
0
993 -762 769
0
-993 762 769
0
993 762 -769
0
-993 -762 -769
0
992 -993
0
761 -993
0
-992 -761 993
0
-761 768 993
0
994 -763 770
0
-994 763 770
0
994 763 -770
0
-994 -763 -770
0
993 -994
0
762 -994
0
-993 -762 994
0
-762 769 994
0
510 -995
0
-510 995
0
995 -764 771
0
-995 764 771
0
995 764 -771
0
-995 -764 -771
0
996 -765 772
0
-996 765 772
0
996 765 -772
0
-996 -765 -772
0
995 -996
0
764 -996
0
-995 -764 996
0
-764 771 996
0
997 -766 773
0
-997 766 773
0
997 766 -773
0
-997 -766 -773
0
996 -997
0
765 -997
0
-996 -765 997
0
-765 772 997
0
998 -767 774
0
-998 767 774
0
998 767 -774
0
-998 -767 -774
0
997 -998
0
766 -998
0
-997 -766 998
0
-766 773 998
0
999 -768 775
0
-999 768 775
0
999 768 -775
0
-999 -768 -775
0
998 -999
0
767 -999
0
-998 -767 999
0
-767 774 999
0
1000 -769 776
0
-1000 769 776
0
1000 769 -776
0
-1000 -769 -776
0
999 -1000
0
768 -1000
0
-999 -768 1000
0
-768 775 1000
0
1001 -770 777
0
-1001 770 777
0
1001 770 -777
0
-1001 -770 -777
0
1000 -1001
0
769 -1001
0
-1000 -769 1001
0
-769 776 1001
0
527 -1002
0
-527 1002
0
1002 -771 778
0
-1002 771 778
0
1002 771 -778
0
-1002 -771 -778
0
1003 -772 779
0
-1003 772 779
0
1003 772 -779
0
-1003 -772 -779
0
1002 -1003
0
771 -1003
0
-1002 -771 1003
0
-771 778 1003
0
1004 -773 780
0
-1004 773 780
0
1004 773 -780
0
-1004 -773 -780
0
1003 -1004
0
772 -1004
0
-1003 -772 1004
0
-772 779 1004
0
1005 -774 781
0
-1005 774 781
0
1005 774 -781
0
-1005 -774 -781
0
1004 -1005
0
773 -1005
0
-1004 -773 1005
0
-773 780 1005
0
1006 -775 782
0
-1006 775 782
0
1006 775 -782
0
-1006 -775 -782
0
1005 -1006
0
774 -1006
0
-1005 -774 1006
0
-774 781 1006
0
1007 -776 783
0
-1007 776 783
0
1007 776 -783
0
-1007 -776 -783
0
1006 -1007
0
775 -1007
0
-1006 -775 1007
0
-775 782 1007
0
1008 -777 784
0
-1008 777 784
0
1008 777 -784
0
-1008 -777 -784
0
1007 -1008
0
776 -1008
0
-1007 -776 1008
0
-776 783 1008
0
544 -1009
0
-544 1009
0
1009 -778 785
0
-1009 778 785
0
1009 778 -785
0
-1009 -778 -785
0
1010 -779 786
0
-1010 779 786
0
1010 779 -786
0
-1010 -779 -786
0
1009 -1010
0
778 -1010
0
-1009 -778 1010
0
-778 785 1010
0
1011 -780 787
0
-1011 780 787
0
1011 780 -787
0
-1011 -780 -787
0
1010 -1011
0
779 -1011
0
-1010 -779 1011
0
-779 786 1011
0
1012 -781 788
0
-1012 781 788
0
1012 781 -788
0
-1012 -781 -788
0
1011 -1012
0
780 -1012
0
-1011 -780 1012
0
-780 787 1012
0
1013 -782 789
0
-1013 782 789
0
1013 782 -789
0
-1013 -782 -789
0
1012 -1013
0
781 -1013
0
-1012 -781 1013
0
-781 788 1013
0
1014 -783 790
0
-1014 783 790
0
1014 783 -790
0
-1014 -783 -790
0
1013 -1014
0
782 -1014
0
-1013 -782 1014
0
-782 789 1014
0
1015 -784 791
0
-1015 784 791
0
1015 784 -791
0
-1015 -784 -791
0
1014 -1015
0
783 -1015
0
-1014 -783 1015
0
-783 790 1015
0
-791
0
-790
0
-789
0
-788
0
-787
0
-798
0
-805
0
-812
0
-819
0
-826
0
-833
0
-840
0
-847
0
-854
0
-861
0
-868
0
-875
0
-882
0
-889
0
-896
0
-903
0
-910
0
-917
0
-924
0
-931
0
-938
0
-945
0
-952
0
-959
0
-966
0
-973
0
-980
0
-987
0
-994
0
-1001
0
-1008
0
-1015
0