puresat-0.1: dimacs/parity/par16-3.cnf
c FILE: par16-3.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:37 EDT 1993
p cnf 1015 3344
1
0
545 -1 2
0
-545 1 2
0
545 1 -2
0
-545 -1 -2
0
3 -2
0
-3 2
0
547 -3 4
0
-547 3 4
0
547 3 -4
0
-547 -3 -4
0
5 -4
0
-5 4
0
549 -5 6
0
-549 5 6
0
549 5 -6
0
-549 -5 -6
0
550 -6 7
0
-550 6 7
0
550 6 -7
0
-550 -6 -7
0
8 -7
0
-8 7
0
9 -8
0
-9 8
0
553 -9 10
0
-553 9 10
0
553 9 -10
0
-553 -9 -10
0
11 -10
0
-11 10
0
12 -11
0
-12 11
0
13 -12
0
-13 12
0
14 -13
0
-14 13
0
558 -14 15
0
-558 14 15
0
558 14 -15
0
-558 -14 -15
0
559 -15 16
0
-559 15 16
0
559 15 -16
0
-559 -15 -16
0
17 -16
0
-17 16
0
18
0
19 -18
0
-19 18
0
546 -19 20
0
-546 19 20
0
546 19 -20
0
-546 -19 -20
0
547 -20 21
0
-547 20 21
0
547 20 -21
0
-547 -20 -21
0
548 -21 22
0
-548 21 22
0
548 21 -22
0
-548 -21 -22
0
23 -22
0
-23 22
0
24 -23
0
-24 23
0
551 -24 25
0
-551 24 25
0
551 24 -25
0
-551 -24 -25
0
26 -25
0
-26 25
0
553 -26 27
0
-553 26 27
0
553 26 -27
0
-553 -26 -27
0
554 -27 28
0
-554 27 28
0
554 27 -28
0
-554 -27 -28
0
29 -28
0
-29 28
0
556 -29 30
0
-556 29 30
0
556 29 -30
0
-556 -29 -30
0
557 -30 31
0
-557 30 31
0
557 30 -31
0
-557 -30 -31
0
558 -31 32
0
-558 31 32
0
558 31 -32
0
-558 -31 -32
0
33 -32
0
-33 32
0
560 -33 34
0
-560 33 34
0
560 33 -34
0
-560 -33 -34
0
-35
0
36 -35
0
-36 35
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
40 -39
0
-40 39
0
550 -40 41
0
-550 40 41
0
550 40 -41
0
-550 -40 -41
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
553 -43 44
0
-553 43 44
0
553 43 -44
0
-553 -43 -44
0
45 -44
0
-45 44
0
555 -45 46
0
-555 45 46
0
555 45 -46
0
-555 -45 -46
0
556 -46 47
0
-556 46 47
0
556 46 -47
0
-556 -46 -47
0
557 -47 48
0
-557 47 48
0
557 47 -48
0
-557 -47 -48
0
49 -48
0
-49 48
0
50 -49
0
-50 49
0
560 -50 51
0
-560 50 51
0
560 50 -51
0
-560 -50 -51
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
55 -54
0
-55 54
0
548 -55 56
0
-548 55 56
0
548 55 -56
0
-548 -55 -56
0
549 -56 57
0
-549 56 57
0
549 56 -57
0
-549 -56 -57
0
550 -57 58
0
-550 57 58
0
550 57 -58
0
-550 -57 -58
0
59 -58
0
-59 58
0
552 -59 60
0
-552 59 60
0
552 59 -60
0
-552 -59 -60
0
61 -60
0
-61 60
0
554 -61 62
0
-554 61 62
0
554 61 -62
0
-554 -61 -62
0
63 -62
0
-63 62
0
556 -63 64
0
-556 63 64
0
556 63 -64
0
-556 -63 -64
0
557 -64 65
0
-557 64 65
0
557 64 -65
0
-557 -64 -65
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
545 -69 70
0
-545 69 70
0
545 69 -70
0
-545 -69 -70
0
71 -70
0
-71 70
0
72 -71
0
-72 71
0
73 -72
0
-73 72
0
74 -73
0
-74 73
0
550 -74 75
0
-550 74 75
0
550 74 -75
0
-550 -74 -75
0
76 -75
0
-76 75
0
552 -76 77
0
-552 76 77
0
552 76 -77
0
-552 -76 -77
0
553 -77 78
0
-553 77 78
0
553 77 -78
0
-553 -77 -78
0
554 -78 79
0
-554 78 79
0
554 78 -79
0
-554 -78 -79
0
80 -79
0
-80 79
0
556 -80 81
0
-556 80 81
0
556 80 -81
0
-556 -80 -81
0
82 -81
0
-82 81
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
560 -84 85
0
-560 84 85
0
560 84 -85
0
-560 -84 -85
0
-86
0
87 -86
0
-87 86
0
546 -87 88
0
-546 87 88
0
546 87 -88
0
-546 -87 -88
0
547 -88 89
0
-547 88 89
0
547 88 -89
0
-547 -88 -89
0
90 -89
0
-90 89
0
91 -90
0
-91 90
0
92 -91
0
-92 91
0
551 -92 93
0
-551 92 93
0
551 92 -93
0
-551 -92 -93
0
552 -93 94
0
-552 93 94
0
552 93 -94
0
-552 -93 -94
0
95 -94
0
-95 94
0
96 -95
0
-96 95
0
555 -96 97
0
-555 96 97
0
555 96 -97
0
-555 -96 -97
0
556 -97 98
0
-556 97 98
0
556 97 -98
0
-556 -97 -98
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
102 -101
0
-102 101
0
-103
0
104 -103
0
-104 103
0
546 -104 105
0
-546 104 105
0
546 104 -105
0
-546 -104 -105
0
106 -105
0
-106 105
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
112 -111
0
-112 111
0
554 -112 113
0
-554 112 113
0
554 112 -113
0
-554 -112 -113
0
114 -113
0
-114 113
0
115 -114
0
-115 114
0
557 -115 116
0
-557 115 116
0
557 115 -116
0
-557 -115 -116
0
117 -116
0
-117 116
0
118 -117
0
-118 117
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
124 -123
0
-124 123
0
125 -124
0
-125 124
0
126 -125
0
-126 125
0
127 -126
0
-127 126
0
128 -127
0
-128 127
0
553 -128 129
0
-553 128 129
0
553 128 -129
0
-553 -128 -129
0
130 -129
0
-130 129
0
555 -130 131
0
-555 130 131
0
555 130 -131
0
-555 -130 -131
0
556 -131 132
0
-556 131 132
0
556 131 -132
0
-556 -131 -132
0
557 -132 133
0
-557 132 133
0
557 132 -133
0
-557 -132 -133
0
134 -133
0
-134 133
0
135 -134
0
-135 134
0
136 -135
0
-136 135
0
-137
0
138 -137
0
-138 137
0
546 -138 139
0
-546 138 139
0
546 138 -139
0
-546 -138 -139
0
547 -139 140
0
-547 139 140
0
547 139 -140
0
-547 -139 -140
0
548 -140 141
0
-548 140 141
0
548 140 -141
0
-548 -140 -141
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
145 -144
0
-145 144
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
148 -147
0
-148 147
0
149 -148
0
-149 148
0
150 -149
0
-150 149
0
151 -150
0
-151 150
0
152 -151
0
-152 151
0
153 -152
0
-153 152
0
-154
0
155 -154
0
-155 154
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
548 -157 158
0
-548 157 158
0
548 157 -158
0
-548 -157 -158
0
549 -158 159
0
-549 158 159
0
549 158 -159
0
-549 -158 -159
0
550 -159 160
0
-550 159 160
0
550 159 -160
0
-550 -159 -160
0
551 -160 161
0
-551 160 161
0
551 160 -161
0
-551 -160 -161
0
552 -161 162
0
-552 161 162
0
552 161 -162
0
-552 -161 -162
0
163 -162
0
-163 162
0
554 -163 164
0
-554 163 164
0
554 163 -164
0
-554 -163 -164
0
165 -164
0
-165 164
0
556 -165 166
0
-556 165 166
0
556 165 -166
0
-556 -165 -166
0
167 -166
0
-167 166
0
168 -167
0
-168 167
0
169 -168
0
-169 168
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
175 -174
0
-175 174
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
178 -177
0
-178 177
0
552 -178 179
0
-552 178 179
0
552 178 -179
0
-552 -178 -179
0
180 -179
0
-180 179
0
554 -180 181
0
-554 180 181
0
554 180 -181
0
-554 -180 -181
0
182 -181
0
-182 181
0
183 -182
0
-183 182
0
184 -183
0
-184 183
0
558 -184 185
0
-558 184 185
0
558 184 -185
0
-558 -184 -185
0
186 -185
0
-186 185
0
187 -186
0
-187 186
0
-188
0
545 -188 189
0
-545 188 189
0
545 188 -189
0
-545 -188 -189
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
549 -192 193
0
-549 192 193
0
549 192 -193
0
-549 -192 -193
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
198 -197
0
-198 197
0
555 -198 199
0
-555 198 199
0
555 198 -199
0
-555 -198 -199
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
560 -203 204
0
-560 203 204
0
560 203 -204
0
-560 -203 -204
0
205
0
206 -205
0
-206 205
0
207 -206
0
-207 206
0
208 -207
0
-208 207
0
209 -208
0
-209 208
0
210 -209
0
-210 209
0
550 -210 211
0
-550 210 211
0
550 210 -211
0
-550 -210 -211
0
551 -211 212
0
-551 211 212
0
551 211 -212
0
-551 -211 -212
0
552 -212 213
0
-552 212 213
0
552 212 -213
0
-552 -212 -213
0
214 -213
0
-214 213
0
554 -214 215
0
-554 214 215
0
554 214 -215
0
-554 -214 -215
0
555 -215 216
0
-555 215 216
0
555 215 -216
0
-555 -215 -216
0
556 -216 217
0
-556 216 217
0
556 216 -217
0
-556 -216 -217
0
557 -217 218
0
-557 217 218
0
557 217 -218
0
-557 -217 -218
0
219 -218
0
-219 218
0
220 -219
0
-220 219
0
221 -220
0
-221 220
0
222
0
223 -222
0
-223 222
0
224 -223
0
-224 223
0
225 -224
0
-225 224
0
226 -225
0
-226 225
0
549 -226 227
0
-549 226 227
0
549 226 -227
0
-549 -226 -227
0
550 -227 228
0
-550 227 228
0
550 227 -228
0
-550 -227 -228
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
232 -231
0
-232 231
0
233 -232
0
-233 232
0
234 -233
0
-234 233
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
560 -237 238
0
-560 237 238
0
560 237 -238
0
-560 -237 -238
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
549 -243 244
0
-549 243 244
0
549 243 -244
0
-549 -243 -244
0
550 -244 245
0
-550 244 245
0
550 244 -245
0
-550 -244 -245
0
551 -245 246
0
-551 245 246
0
551 245 -246
0
-551 -245 -246
0
247 -246
0
-247 246
0
553 -247 248
0
-553 247 248
0
553 247 -248
0
-553 -247 -248
0
554 -248 249
0
-554 248 249
0
554 248 -249
0
-554 -248 -249
0
250 -249
0
-250 249
0
556 -250 251
0
-556 250 251
0
556 250 -251
0
-556 -250 -251
0
557 -251 252
0
-557 251 252
0
557 251 -252
0
-557 -251 -252
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
257 -256
0
-257 256
0
258 -257
0
-258 257
0
259 -258
0
-259 258
0
548 -259 260
0
-548 259 260
0
548 259 -260
0
-548 -259 -260
0
261 -260
0
-261 260
0
262 -261
0
-262 261
0
263 -262
0
-263 262
0
552 -263 264
0
-552 263 264
0
552 263 -264
0
-552 -263 -264
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
268 -267
0
-268 267
0
269 -268
0
-269 268
0
270 -269
0
-270 269
0
271 -270
0
-271 270
0
560 -271 272
0
-560 271 272
0
560 271 -272
0
-560 -271 -272
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
276 -275
0
-276 275
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
551 -279 280
0
-551 279 280
0
551 279 -280
0
-551 -279 -280
0
552 -280 281
0
-552 280 281
0
552 280 -281
0
-552 -280 -281
0
553 -281 282
0
-553 281 282
0
553 281 -282
0
-553 -281 -282
0
554 -282 283
0
-554 282 283
0
554 282 -283
0
-554 -282 -283
0
284 -283
0
-284 283
0
285 -284
0
-285 284
0
286 -285
0
-286 285
0
558 -286 287
0
-558 286 287
0
558 286 -287
0
-558 -286 -287
0
559 -287 288
0
-559 287 288
0
559 287 -288
0
-559 -287 -288
0
289 -288
0
-289 288
0
-290
0
545 -290 291
0
-545 290 291
0
545 290 -291
0
-545 -290 -291
0
546 -291 292
0
-546 291 292
0
546 291 -292
0
-546 -291 -292
0
547 -292 293
0
-547 292 293
0
547 292 -293
0
-547 -292 -293
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
555 -300 301
0
-555 300 301
0
555 300 -301
0
-555 -300 -301
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
545 -307 308
0
-545 307 308
0
545 307 -308
0
-545 -307 -308
0
546 -308 309
0
-546 308 309
0
546 308 -309
0
-546 -308 -309
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
312 -311
0
-312 311
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
317 -316
0
-317 316
0
555 -317 318
0
-555 317 318
0
555 317 -318
0
-555 -317 -318
0
319 -318
0
-319 318
0
320 -319
0
-320 319
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
325 -324
0
-325 324
0
326 -325
0
-326 325
0
547 -326 327
0
-547 326 327
0
547 326 -327
0
-547 -326 -327
0
328 -327
0
-328 327
0
329 -328
0
-329 328
0
330 -329
0
-330 329
0
551 -330 331
0
-551 330 331
0
551 330 -331
0
-551 -330 -331
0
332 -331
0
-332 331
0
333 -332
0
-333 332
0
334 -333
0
-334 333
0
335 -334
0
-335 334
0
336 -335
0
-336 335
0
557 -336 337
0
-557 336 337
0
557 336 -337
0
-557 -336 -337
0
558 -337 338
0
-558 337 338
0
558 337 -338
0
-558 -337 -338
0
559 -338 339
0
-559 338 339
0
559 338 -339
0
-559 -338 -339
0
340 -339
0
-340 339
0
-341
0
342 -341
0
-342 341
0
343 -342
0
-343 342
0
547 -343 344
0
-547 343 344
0
547 343 -344
0
-547 -343 -344
0
345 -344
0
-345 344
0
346 -345
0
-346 345
0
550 -346 347
0
-550 346 347
0
550 346 -347
0
-550 -346 -347
0
348 -347
0
-348 347
0
552 -348 349
0
-552 348 349
0
552 348 -349
0
-552 -348 -349
0
553 -349 350
0
-553 349 350
0
553 349 -350
0
-553 -349 -350
0
351 -350
0
-351 350
0
555 -351 352
0
-555 351 352
0
555 351 -352
0
-555 -351 -352
0
556 -352 353
0
-556 352 353
0
556 352 -353
0
-556 -352 -353
0
557 -353 354
0
-557 353 354
0
557 353 -354
0
-557 -353 -354
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
560 -356 357
0
-560 356 357
0
560 356 -357
0
-560 -356 -357
0
358
0
545 -358 359
0
-545 358 359
0
545 358 -359
0
-545 -358 -359
0
546 -359 360
0
-546 359 360
0
546 359 -360
0
-546 -359 -360
0
547 -360 361
0
-547 360 361
0
547 360 -361
0
-547 -360 -361
0
548 -361 362
0
-548 361 362
0
548 361 -362
0
-548 -361 -362
0
363 -362
0
-363 362
0
550 -363 364
0
-550 363 364
0
550 363 -364
0
-550 -363 -364
0
365 -364
0
-365 364
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
371 -370
0
-371 370
0
558 -371 372
0
-558 371 372
0
558 371 -372
0
-558 -371 -372
0
559 -372 373
0
-559 372 373
0
559 372 -373
0
-559 -372 -373
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
548 -378 379
0
-548 378 379
0
548 378 -379
0
-548 -378 -379
0
549 -379 380
0
-549 379 380
0
549 379 -380
0
-549 -379 -380
0
550 -380 381
0
-550 380 381
0
550 380 -381
0
-550 -380 -381
0
382 -381
0
-382 381
0
552 -382 383
0
-552 382 383
0
552 382 -383
0
-552 -382 -383
0
384 -383
0
-384 383
0
554 -384 385
0
-554 384 385
0
554 384 -385
0
-554 -384 -385
0
386 -385
0
-386 385
0
387 -386
0
-387 386
0
388 -387
0
-388 387
0
389 -388
0
-389 388
0
390 -389
0
-390 389
0
391 -390
0
-391 390
0
-392
0
545 -392 393
0
-545 392 393
0
545 392 -393
0
-545 -392 -393
0
546 -393 394
0
-546 393 394
0
546 393 -394
0
-546 -393 -394
0
395 -394
0
-395 394
0
396 -395
0
-396 395
0
549 -396 397
0
-549 396 397
0
549 396 -397
0
-549 -396 -397
0
550 -397 398
0
-550 397 398
0
550 397 -398
0
-550 -397 -398
0
551 -398 399
0
-551 398 399
0
551 398 -399
0
-551 -398 -399
0
552 -399 400
0
-552 399 400
0
552 399 -400
0
-552 -399 -400
0
401 -400
0
-401 400
0
554 -401 402
0
-554 401 402
0
554 401 -402
0
-554 -401 -402
0
403 -402
0
-403 402
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
406 -405
0
-406 405
0
559 -406 407
0
-559 406 407
0
559 406 -407
0
-559 -406 -407
0
408 -407
0
-408 407
0
409
0
410 -409
0
-410 409
0
546 -410 411
0
-546 410 411
0
546 410 -411
0
-546 -410 -411
0
547 -411 412
0
-547 411 412
0
547 411 -412
0
-547 -411 -412
0
413 -412
0
-413 412
0
549 -413 414
0
-549 413 414
0
549 413 -414
0
-549 -413 -414
0
415 -414
0
-415 414
0
551 -415 416
0
-551 415 416
0
551 415 -416
0
-551 -415 -416
0
417 -416
0
-417 416
0
553 -417 418
0
-553 417 418
0
553 417 -418
0
-553 -417 -418
0
554 -418 419
0
-554 418 419
0
554 418 -419
0
-554 -418 -419
0
420 -419
0
-420 419
0
421 -420
0
-421 420
0
422 -421
0
-422 421
0
558 -422 423
0
-558 422 423
0
558 422 -423
0
-558 -422 -423
0
559 -423 424
0
-559 423 424
0
559 423 -424
0
-559 -423 -424
0
425 -424
0
-425 424
0
-426
0
427 -426
0
-427 426
0
546 -427 428
0
-546 427 428
0
546 427 -428
0
-546 -427 -428
0
547 -428 429
0
-547 428 429
0
547 428 -429
0
-547 -428 -429
0
548 -429 430
0
-548 429 430
0
548 429 -430
0
-548 -429 -430
0
549 -430 431
0
-549 430 431
0
549 430 -431
0
-549 -430 -431
0
432 -431
0
-432 431
0
551 -432 433
0
-551 432 433
0
551 432 -433
0
-551 -432 -433
0
434 -433
0
-434 433
0
435 -434
0
-435 434
0
554 -435 436
0
-554 435 436
0
554 435 -436
0
-554 -435 -436
0
437 -436
0
-437 436
0
556 -437 438
0
-556 437 438
0
556 437 -438
0
-556 -437 -438
0
557 -438 439
0
-557 438 439
0
557 438 -439
0
-557 -438 -439
0
558 -439 440
0
-558 439 440
0
558 439 -440
0
-558 -439 -440
0
441 -440
0
-441 440
0
442 -441
0
-442 441
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
547 -445 446
0
-547 445 446
0
547 445 -446
0
-547 -445 -446
0
548 -446 447
0
-548 446 447
0
548 446 -447
0
-548 -446 -447
0
549 -447 448
0
-549 447 448
0
549 447 -448
0
-549 -447 -448
0
449 -448
0
-449 448
0
450 -449
0
-450 449
0
451 -450
0
-451 450
0
553 -451 452
0
-553 451 452
0
553 451 -452
0
-553 -451 -452
0
554 -452 453
0
-554 452 453
0
554 452 -453
0
-554 -452 -453
0
555 -453 454
0
-555 453 454
0
555 453 -454
0
-555 -453 -454
0
556 -454 455
0
-556 454 455
0
556 454 -455
0
-556 -454 -455
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
458 -457
0
-458 457
0
459 -458
0
-459 458
0
460
0
545 -460 461
0
-545 460 461
0
545 460 -461
0
-545 -460 -461
0
546 -461 462
0
-546 461 462
0
546 461 -462
0
-546 -461 -462
0
463 -462
0
-463 462
0
464 -463
0
-464 463
0
549 -464 465
0
-549 464 465
0
549 464 -465
0
-549 -464 -465
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
469 -468
0
-469 468
0
470 -469
0
-470 469
0
471 -470
0
-471 470
0
556 -471 472
0
-556 471 472
0
556 471 -472
0
-556 -471 -472
0
557 -472 473
0
-557 472 473
0
557 472 -473
0
-557 -472 -473
0
474 -473
0
-474 473
0
559 -474 475
0
-559 474 475
0
559 474 -475
0
-559 -474 -475
0
476 -475
0
-476 475
0
477
0
478 -477
0
-478 477
0
479 -478
0
-479 478
0
547 -479 480
0
-547 479 480
0
547 479 -480
0
-547 -479 -480
0
481 -480
0
-481 480
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
489 -488
0
-489 488
0
557 -489 490
0
-557 489 490
0
557 489 -490
0
-557 -489 -490
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
554 -503 504
0
-554 503 504
0
554 503 -504
0
-554 -503 -504
0
555 -504 505
0
-555 504 505
0
555 504 -505
0
-555 -504 -505
0
506 -505
0
-506 505
0
507 -506
0
-507 506
0
558 -507 508
0
-558 507 508
0
558 507 -508
0
-558 -507 -508
0
509 -508
0
-509 508
0
560 -509 510
0
-560 509 510
0
560 509 -510
0
-560 -509 -510
0
-511
0
512 -511
0
-512 511
0
546 -512 513
0
-546 512 513
0
546 512 -513
0
-546 -512 -513
0
514 -513
0
-514 513
0
515 -514
0
-515 514
0
516 -515
0
-516 515
0
550 -516 517
0
-550 516 517
0
550 516 -517
0
-550 -516 -517
0
518 -517
0
-518 517
0
519 -518
0
-519 518
0
520 -519
0
-520 519
0
521 -520
0
-521 520
0
555 -521 522
0
-555 521 522
0
555 521 -522
0
-555 -521 -522
0
523 -522
0
-523 522
0
557 -523 524
0
-557 523 524
0
557 523 -524
0
-557 -523 -524
0
525 -524
0
-525 524
0
559 -525 526
0
-559 525 526
0
559 525 -526
0
-559 -525 -526
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
547 -530 531
0
-547 530 531
0
547 530 -531
0
-547 -530 -531
0
548 -531 532
0
-548 531 532
0
548 531 -532
0
-548 -531 -532
0
533 -532
0
-533 532
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
538 -537
0
-538 537
0
555 -538 539
0
-555 538 539
0
555 538 -539
0
-555 -538 -539
0
540 -539
0
-540 539
0
541 -540
0
-541 540
0
542 -541
0
-542 541
0
559 -542 543
0
-559 542 543
0
559 542 -543
0
-559 -542 -543
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