1 < 0 , 1 >= 2 3 < 1 , 1 >= x 4 < 1 , 2 >= y 5 < 1 , 3 >= z 6 7 < 2 , 1 >= xx 8 < 2 , 2 >= xy 9 < 2 , 3 >= xz 10 < 2 , 4 >= yy 11 < 2 , 5 >= yz 12 < 2 , 6 >= zz 13 14 < 3 , 1 >= xxx 15 < 3 , 2 >= xxy 16 < 3 , 3 >= xxz 17 < 3 , 4 >= xyy 18 < 3 , 5 >= xyz 19 < 3 , 6 >= xzz 20 < 3 , 7 >= yyy 21 < 3 , 8 >= yyz 22 < 3 , 9 >= yzz 23 < 3 , 10 >= zzz 24 25 < 4 , 1 >= xxxx 26 < 4 , 2 >= xxxy 27 < 4 , 3 >= xxxz 28 < 4 , 4 >= xxyy 29 < 4 , 5 >= xxyz 30 < 4 , 6 >= xxzz 31 < 4 , 7 >= xyyy 32 < 4 , 8 >= xyyz 33 < 4 , 9 >= xyzz 34 < 4 , 10 >= xzzz 35 < 4 , 11 >= yyyy 36 < 4 , 12 >= yyyz 37 < 4 , 13 >= yyzz 38 < 4 , 14 >= yzzz 39 < 4 , 15 >= zzzz 40 41 < 5 , 1 >= xxxxx 42 < 5 , 2 >= xxxxy 43 < 5 , 3 >= xxxxz 44 < 5 , 4 >= xxxyy 45 < 5 , 5 >= xxxyz 46 < 5 , 6 >= xxxzz 47 < 5 , 7 >= xxyyy 48 < 5 , 8 >= xxyyz 49 < 5 , 9 >= xxyzz 50 < 5 , 10 >= xxzzz 51 < 5 , 11 >= xyyyy 52 < 5 , 12 >= xyyyz 53 < 5 , 13 >= xyyzz 54 < 5 , 14 >= xyzzz 55 < 5 , 15 >= xzzzz 56 < 5 , 16 >= yyyyy 57 < 5 , 17 >= yyyyz 58 < 5 , 18 >= yyyzz 59 < 5 , 19 >= yyzzz 60 < 5 , 20 >= yzzzz 61 < 5 , 21 >= zzzzz 62 63 < 6 , 1 >= xxxxxx 64 < 6 , 2 >= xxxxxy 65 < 6 , 3 >= xxxxxz 66 < 6 , 4 >= xxxxyy 67 < 6 , 5 >= xxxxyz 68 < 6 , 6 >= xxxxzz 69 < 6 , 7 >= xxxyyy 70 < 6 , 8 >= xxxyyz 71 < 6 , 9 >= xxxyzz 72 < 6 , 10 >= xxxzzz 73 < 6 , 11 >= xxyyyy 74 < 6 , 12 >= xxyyyz 75 < 6 , 13 >= xxyyzz 76 < 6 , 14 >= xxyzzz 77 < 6 , 15 >= xxzzzz 78 < 6 , 16 >= xyyyyy 79 < 6 , 17 >= xyyyyz 80 < 6 , 18 >= xyyyzz 81 < 6 , 19 >= xyyzzz 82 < 6 , 20 >= xyzzzz 83 < 6 , 21 >= xzzzzz 84 < 6 , 22 >= yyyyyy 85 < 6 , 23 >= yyyyyz 86 < 6 , 24 >= yyyyzz 87 < 6 , 25 >= yyyzzz 88 < 6 , 26 >= yyzzzz 89 < 6 , 27 >= yzzzzz 90 < 6 , 28 >= zzzzzz 91 92 < 7 , 1 >= xxxxxxx 93 < 7 , 2 >= xxxxxxy 94 < 7 , 3 >= xxxxxxz 95 < 7 , 4 >= xxxxxyy 96 < 7 , 5 >= xxxxxyz 97 < 7 , 6 >= xxxxxzz 98 < 7 , 7 >= xxxxyyy 99 < 7 , 8 >= xxxxyyz 100 < 7 , 9 >= xxxxyzz 101 < 7 , 10 >= xxxxzzz 102 < 7 , 11 >= xxxyyyy 103 < 7 , 12 >= xxxyyyz 104 < 7 , 13 >= xxxyyzz 105 < 7 , 14 >= xxxyzzz 106 < 7 , 15 >= xxxzzzz 107 < 7 , 16 >= xxyyyyy 108 < 7 , 17 >= xxyyyyz 109 < 7 , 18 >= xxyyyzz 110 < 7 , 19 >= xxyyzzz 111 < 7 , 20 >= xxyzzzz 112 < 7 , 21 >= xxzzzzz 113 < 7 , 22 >= xyyyyyy 114 < 7 , 23 >= xyyyyyz 115 < 7 , 24 >= xyyyyzz 116 < 7 , 25 >= xyyyzzz 117 < 7 , 26 >= xyyzzzz 118 < 7 , 27 >= xyzzzzz 119 < 7 , 28 >= xzzzzzz 120 < 7 , 29 >= yyyyyyy 121 < 7 , 30 >= yyyyyyz 122 < 7 , 31 >= yyyyyzz 123 < 7 , 32 >= yyyyzzz 124 < 7 , 33 >= yyyzzzz 125 < 7 , 34 >= yyzzzzz 126 < 7 , 35 >= yzzzzzz 127 < 7 , 36 >= zzzzzzz 128 129 < 8 , 1 >= xxxxxxxx 130 < 8 , 2 >= xxxxxxxy 131 < 8 , 3 >= xxxxxxxz 132 < 8 , 4 >= xxxxxxyy 133 < 8 , 5 >= xxxxxxyz 134 < 8 , 6 >= xxxxxxzz 135 < 8 , 7 >= xxxxxyyy 136 < 8 , 8 >= xxxxxyyz 137 < 8 , 9 >= xxxxxyzz 138 < 8 , 10 >= xxxxxzzz 139 < 8 , 11 >= xxxxyyyy 140 < 8 , 12 >= xxxxyyyz 141 < 8 , 13 >= xxxxyyzz 142 < 8 , 14 >= xxxxyzzz 143 < 8 , 15 >= xxxxzzzz 144 < 8 , 16 >= xxxyyyyy 145 < 8 , 17 >= xxxyyyyz 146 < 8 , 18 >= xxxyyyzz 147 < 8 , 19 >= xxxyyzzz 148 < 8 , 20 >= xxxyzzzz 149 < 8 , 21 >= xxxzzzzz 150 < 8 , 22 >= xxyyyyyy 151 < 8 , 23 >= xxyyyyyz 152 < 8 , 24 >= xxyyyyzz 153 < 8 , 25 >= xxyyyzzz 154 < 8 , 26 >= xxyyzzzz 155 < 8 , 27 >= xxyzzzzz 156 < 8 , 28 >= xxzzzzzz 157 < 8 , 29 >= xyyyyyyy 158 < 8 , 30 >= xyyyyyyz 159 < 8 , 31 >= xyyyyyzz 160 < 8 , 32 >= xyyyyzzz 161 < 8 , 33 >= xyyyzzzz 162 < 8 , 34 >= xyyzzzzz 163 < 8 , 35 >= xyzzzzzz 164 < 8 , 36 >= xzzzzzzz 165 < 8 , 37 >= yyyyyyyy 166 < 8 , 38 >= yyyyyyyz 167 < 8 , 39 >= yyyyyyzz 168 < 8 , 40 >= yyyyyzzz 169 < 8 , 41 >= yyyyzzzz 170 < 8 , 42 >= yyyzzzzz 171 < 8 , 43 >= yyzzzzzz 172 < 8 , 44 >= yzzzzzzz 173 < 8 , 45 >= zzzzzzzz 174 175 < 9 , 1 >= xxxxxxxxx 176 < 9 , 2 >= xxxxxxxxy 177 < 9 , 3 >= xxxxxxxxz 178 < 9 , 4 >= xxxxxxxyy 179 < 9 , 5 >= xxxxxxxyz 180 < 9 , 6 >= xxxxxxxzz 181 < 9 , 7 >= xxxxxxyyy 182 < 9 , 8 >= xxxxxxyyz 183 < 9 , 9 >= xxxxxxyzz 184 < 9 , 10 >= xxxxxxzzz 185 < 9 , 11 >= xxxxxyyyy 186 < 9 , 12 >= xxxxxyyyz 187 < 9 , 13 >= xxxxxyyzz 188 < 9 , 14 >= xxxxxyzzz 189 < 9 , 15 >= xxxxxzzzz 190 < 9 , 16 >= xxxxyyyyy 191 < 9 , 17 >= xxxxyyyyz 192 < 9 , 18 >= xxxxyyyzz 193 < 9 , 19 >= xxxxyyzzz 194 < 9 , 20 >= xxxxyzzzz 195 < 9 , 21 >= xxxxzzzzz 196 < 9 , 22 >= xxxyyyyyy 197 < 9 , 23 >= xxxyyyyyz 198 < 9 , 24 >= xxxyyyyzz 199 < 9 , 25 >= xxxyyyzzz 200 < 9 , 26 >= xxxyyzzzz 201 < 9 , 27 >= xxxyzzzzz 202 < 9 , 28 >= xxxzzzzzz 203 < 9 , 29 >= xxyyyyyyy 204 < 9 , 30 >= xxyyyyyyz 205 < 9 , 31 >= xxyyyyyzz 206 < 9 , 32 >= xxyyyyzzz 207 < 9 , 33 >= xxyyyzzzz 208 < 9 , 34 >= xxyyzzzzz 209 < 9 , 35 >= xxyzzzzzz 210 < 9 , 36 >= xxzzzzzzz 211 < 9 , 37 >= xyyyyyyyy 212 < 9 , 38 >= xyyyyyyyz 213 < 9 , 39 >= xyyyyyyzz 214 < 9 , 40 >= xyyyyyzzz 215 < 9 , 41 >= xyyyyzzzz 216 < 9 , 42 >= xyyyzzzzz 217 < 9 , 43 >= xyyzzzzzz 218 < 9 , 44 >= xyzzzzzzz 219 < 9 , 45 >= xzzzzzzzz 220 < 9 , 46 >= yyyyyyyyy 221 < 9 , 47 >= yyyyyyyyz 222 < 9 , 48 >= yyyyyyyzz 223 < 9 , 49 >= yyyyyyzzz 224 < 9 , 50 >= yyyyyzzzz 225 < 9 , 51 >= yyyyzzzzz 226 < 9 , 52 >= yyyzzzzzz 227 < 9 , 53 >= yyzzzzzzz 228 < 9 , 54 >= yzzzzzzzz 229 < 9 , 55 >= zzzzzzzzz 230 231 < 10 , 1 >= xxxxxxxxxx 232 < 10 , 2 >= xxxxxxxxxy 233 < 10 , 3 >= xxxxxxxxxz 234 < 10 , 4 >= xxxxxxxxyy 235 < 10 , 5 >= xxxxxxxxyz 236 < 10 , 6 >= xxxxxxxxzz 237 < 10 , 7 >= xxxxxxxyyy 238 < 10 , 8 >= xxxxxxxyyz 239 < 10 , 9 >= xxxxxxxyzz 240 < 10 , 10 >= xxxxxxxzzz 241 < 10 , 11 >= xxxxxxyyyy 242 < 10 , 12 >= xxxxxxyyyz 243 < 10 , 13 >= xxxxxxyyzz 244 < 10 , 14 >= xxxxxxyzzz 245 < 10 , 15 >= xxxxxxzzzz 246 < 10 , 16 >= xxxxxyyyyy 247 < 10 , 17 >= xxxxxyyyyz 248 < 10 , 18 >= xxxxxyyyzz 249 < 10 , 19 >= xxxxxyyzzz 250 < 10 , 20 >= xxxxxyzzzz 251 < 10 , 21 >= xxxxxzzzzz 252 < 10 , 22 >= xxxxyyyyyy 253 < 10 , 23 >= xxxxyyyyyz 254 < 10 , 24 >= xxxxyyyyzz 255 < 10 , 25 >= xxxxyyyzzz 256 < 10 , 26 >= xxxxyyzzzz 257 < 10 , 27 >= xxxxyzzzzz 258 < 10 , 28 >= xxxxzzzzzz 259 < 10 , 29 >= xxxyyyyyyy 260 < 10 , 30 >= xxxyyyyyyz 261 < 10 , 31 >= xxxyyyyyzz 262 < 10 , 32 >= xxxyyyyzzz 263 < 10 , 33 >= xxxyyyzzzz 264 < 10 , 34 >= xxxyyzzzzz 265 < 10 , 35 >= xxxyzzzzzz 266 < 10 , 36 >= xxxzzzzzzz 267 < 10 , 37 >= xxyyyyyyyy 268 < 10 , 38 >= xxyyyyyyyz 269 < 10 , 39 >= xxyyyyyyzz 270 < 10 , 40 >= xxyyyyyzzz 271 < 10 , 41 >= xxyyyyzzzz 272 < 10 , 42 >= xxyyyzzzzz 273 < 10 , 43 >= xxyyzzzzzz 274 < 10 , 44 >= xxyzzzzzzz 275 < 10 , 45 >= xxzzzzzzzz 276 < 10 , 46 >= xyyyyyyyyy 277 < 10 , 47 >= xyyyyyyyyz 278 < 10 , 48 >= xyyyyyyyzz 279 < 10 , 49 >= xyyyyyyzzz 280 < 10 , 50 >= xyyyyyzzzz 281 < 10 , 51 >= xyyyyzzzzz 282 < 10 , 52 >= xyyyzzzzzz 283 < 10 , 53 >= xyyzzzzzzz 284 < 10 , 54 >= xyzzzzzzzz 285 < 10 , 55 >= xzzzzzzzzz 286 < 10 , 56 >= yyyyyyyyyy 287 < 10 , 57 >= yyyyyyyyyz 288 < 10 , 58 >= yyyyyyyyzz 289 < 10 , 59 >= yyyyyyyzzz 290 < 10 , 60 >= yyyyyyzzzz 291 < 10 , 61 >= yyyyyzzzzz 292 < 10 , 62 >= yyyyzzzzzz 293 < 10 , 63 >= yyyzzzzzzz 294 < 10 , 64 >= yyzzzzzzzz 295 < 10 , 65 >= yzzzzzzzzz 296 < 10 , 66 >= zzzzzzzzzz 297 298 < 11 , 1 >= xxxxxxxxxxx 299 < 11 , 2 >= xxxxxxxxxxy 300 < 11 , 3 >= xxxxxxxxxxz 301 < 11 , 4 >= xxxxxxxxxyy 302 < 11 , 5 >= xxxxxxxxxyz 303 < 11 , 6 >= xxxxxxxxxzz 304 < 11 , 7 >= xxxxxxxxyyy 305 < 11 , 8 >= xxxxxxxxyyz 306 < 11 , 9 >= xxxxxxxxyzz 307 < 11 , 10 >= xxxxxxxxzzz 308 < 11 , 11 >= xxxxxxxyyyy 309 < 11 , 12 >= xxxxxxxyyyz 310 < 11 , 13 >= xxxxxxxyyzz 311 < 11 , 14 >= xxxxxxxyzzz 312 < 11 , 15 >= xxxxxxxzzzz 313 < 11 , 16 >= xxxxxxyyyyy 314 < 11 , 17 >= xxxxxxyyyyz 315 < 11 , 18 >= xxxxxxyyyzz 316 < 11 , 19 >= xxxxxxyyzzz 317 < 11 , 20 >= xxxxxxyzzzz 318 < 11 , 21 >= xxxxxxzzzzz 319 < 11 , 22 >= xxxxxyyyyyy 320 < 11 , 23 >= xxxxxyyyyyz 321 < 11 , 24 >= xxxxxyyyyzz 322 < 11 , 25 >= xxxxxyyyzzz 323 < 11 , 26 >= xxxxxyyzzzz 324 < 11 , 27 >= xxxxxyzzzzz 325 < 11 , 28 >= xxxxxzzzzzz 326 < 11 , 29 >= xxxxyyyyyyy 327 < 11 , 30 >= xxxxyyyyyyz 328 < 11 , 31 >= xxxxyyyyyzz 329 < 11 , 32 >= xxxxyyyyzzz 330 < 11 , 33 >= xxxxyyyzzzz 331 < 11 , 34 >= xxxxyyzzzzz 332 < 11 , 35 >= xxxxyzzzzzz 333 < 11 , 36 >= xxxxzzzzzzz 334 < 11 , 37 >= xxxyyyyyyyy 335 < 11 , 38 >= xxxyyyyyyyz 336 < 11 , 39 >= xxxyyyyyyzz 337 < 11 , 40 >= xxxyyyyyzzz 338 < 11 , 41 >= xxxyyyyzzzz 339 < 11 , 42 >= xxxyyyzzzzz 340 < 11 , 43 >= xxxyyzzzzzz 341 < 11 , 44 >= xxxyzzzzzzz 342 < 11 , 45 >= xxxzzzzzzzz 343 < 11 , 46 >= xxyyyyyyyyy 344 < 11 , 47 >= xxyyyyyyyyz 345 < 11 , 48 >= xxyyyyyyyzz 346 < 11 , 49 >= xxyyyyyyzzz 347 < 11 , 50 >= xxyyyyyzzzz 348 < 11 , 51 >= xxyyyyzzzzz 349 < 11 , 52 >= xxyyyzzzzzz 350 < 11 , 53 >= xxyyzzzzzzz 351 < 11 , 54 >= xxyzzzzzzzz 352 < 11 , 55 >= xxzzzzzzzzz 353 < 11 , 56 >= xyyyyyyyyyy 354 < 11 , 57 >= xyyyyyyyyyz 355 < 11 , 58 >= xyyyyyyyyzz 356 < 11 , 59 >= xyyyyyyyzzz 357 < 11 , 60 >= xyyyyyyzzzz 358 < 11 , 61 >= xyyyyyzzzzz 359 < 11 , 62 >= xyyyyzzzzzz 360 < 11 , 63 >= xyyyzzzzzzz 361 < 11 , 64 >= xyyzzzzzzzz 362 < 11 , 65 >= xyzzzzzzzzz 363 < 11 , 66 >= xzzzzzzzzzz 364 < 11 , 67 >= yyyyyyyyyyy 365 < 11 , 68 >= yyyyyyyyyyz 366 < 11 , 69 >= yyyyyyyyyzz 367 < 11 , 70 >= yyyyyyyyzzz 368 < 11 , 71 >= yyyyyyyzzzz 369 < 11 , 72 >= yyyyyyzzzzz 370 < 11 , 73 >= yyyyyzzzzzz 371 < 11 , 74 >= yyyyzzzzzzz 372 < 11 , 75 >= yyyzzzzzzzz 373 < 11 , 76 >= yyzzzzzzzzz 374 < 11 , 77 >= yzzzzzzzzzz 375 < 11 , 78 >= zzzzzzzzzzz 376 377 < 12 , 1 >= xxxxxxxxxxxx 378 < 12 , 2 >= xxxxxxxxxxxy 379 < 12 , 3 >= xxxxxxxxxxxz 380 < 12 , 4 >= xxxxxxxxxxyy 381 < 12 , 5 >= xxxxxxxxxxyz 382 < 12 , 6 >= xxxxxxxxxxzz 383 < 12 , 7 >= xxxxxxxxxyyy 384 < 12 , 8 >= xxxxxxxxxyyz 385 < 12 , 9 >= xxxxxxxxxyzz 386 < 12 , 10 >= xxxxxxxxxzzz 387 < 12 , 11 >= xxxxxxxxyyyy 388 < 12 , 12 >= xxxxxxxxyyyz 389 < 12 , 13 >= xxxxxxxxyyzz 390 < 12 , 14 >= xxxxxxxxyzzz 391 < 12 , 15 >= xxxxxxxxzzzz 392 < 12 , 16 >= xxxxxxxyyyyy 393 < 12 , 17 >= xxxxxxxyyyyz 394 < 12 , 18 >= xxxxxxxyyyzz 395 < 12 , 19 >= xxxxxxxyyzzz 396 < 12 , 20 >= xxxxxxxyzzzz 397 < 12 , 21 >= xxxxxxxzzzzz 398 < 12 , 22 >= xxxxxxyyyyyy 399 < 12 , 23 >= xxxxxxyyyyyz 400 < 12 , 24 >= xxxxxxyyyyzz 401 < 12 , 25 >= xxxxxxyyyzzz 402 < 12 , 26 >= xxxxxxyyzzzz 403 < 12 , 27 >= xxxxxxyzzzzz 404 < 12 , 28 >= xxxxxxzzzzzz 405 < 12 , 29 >= xxxxxyyyyyyy 406 < 12 , 30 >= xxxxxyyyyyyz 407 < 12 , 31 >= xxxxxyyyyyzz 408 < 12 , 32 >= xxxxxyyyyzzz 409 < 12 , 33 >= xxxxxyyyzzzz 410 < 12 , 34 >= xxxxxyyzzzzz 411 < 12 , 35 >= xxxxxyzzzzzz 412 < 12 , 36 >= xxxxxzzzzzzz 413 < 12 , 37 >= xxxxyyyyyyyy 414 < 12 , 38 >= xxxxyyyyyyyz 415 < 12 , 39 >= xxxxyyyyyyzz 416 < 12 , 40 >= xxxxyyyyyzzz 417 < 12 , 41 >= xxxxyyyyzzzz 418 < 12 , 42 >= xxxxyyyzzzzz 419 < 12 , 43 >= xxxxyyzzzzzz 420 < 12 , 44 >= xxxxyzzzzzzz 421 < 12 , 45 >= xxxxzzzzzzzz 422 < 12 , 46 >= xxxyyyyyyyyy 423 < 12 , 47 >= xxxyyyyyyyyz 424 < 12 , 48 >= xxxyyyyyyyzz 425 < 12 , 49 >= xxxyyyyyyzzz 426 < 12 , 50 >= xxxyyyyyzzzz 427 < 12 , 51 >= xxxyyyyzzzzz 428 < 12 , 52 >= xxxyyyzzzzzz 429 < 12 , 53 >= xxxyyzzzzzzz 430 < 12 , 54 >= xxxyzzzzzzzz 431 < 12 , 55 >= xxxzzzzzzzzz 432 < 12 , 56 >= xxyyyyyyyyyy 433 < 12 , 57 >= xxyyyyyyyyyz 434 < 12 , 58 >= xxyyyyyyyyzz 435 < 12 , 59 >= xxyyyyyyyzzz 436 < 12 , 60 >= xxyyyyyyzzzz 437 < 12 , 61 >= xxyyyyyzzzzz 438 < 12 , 62 >= xxyyyyzzzzzz 439 < 12 , 63 >= xxyyyzzzzzzz 440 < 12 , 64 >= xxyyzzzzzzzz 441 < 12 , 65 >= xxyzzzzzzzzz 442 < 12 , 66 >= xxzzzzzzzzzz 443 < 12 , 67 >= xyyyyyyyyyyy 444 < 12 , 68 >= xyyyyyyyyyyz 445 < 12 , 69 >= xyyyyyyyyyzz 446 < 12 , 70 >= xyyyyyyyyzzz 447 < 12 , 71 >= xyyyyyyyzzzz 448 < 12 , 72 >= xyyyyyyzzzzz 449 < 12 , 73 >= xyyyyyzzzzzz 450 < 12 , 74 >= xyyyyzzzzzzz 451 < 12 , 75 >= xyyyzzzzzzzz 452 < 12 , 76 >= xyyzzzzzzzzz 453 < 12 , 77 >= xyzzzzzzzzzz 454 < 12 , 78 >= xzzzzzzzzzzz 455 < 12 , 79 >= yyyyyyyyyyyy 456 < 12 , 80 >= yyyyyyyyyyyz 457 < 12 , 81 >= yyyyyyyyyyzz 458 < 12 , 82 >= yyyyyyyyyzzz 459 < 12 , 83 >= yyyyyyyyzzzz 460 < 12 , 84 >= yyyyyyyzzzzz 461 < 12 , 85 >= yyyyyyzzzzzz 462 < 12 , 86 >= yyyyyzzzzzzz 463 < 12 , 87 >= yyyyzzzzzzzz 464 < 12 , 88 >= yyyzzzzzzzzz 465 < 12 , 89 >= yyzzzzzzzzzz 466 < 12 , 90 >= yzzzzzzzzzzz 467 < 12 , 91 >= zzzzzzzzzzzz 468 469 < 13 , 1 >= xxxxxxxxxxxxx 470 < 13 , 2 >= xxxxxxxxxxxxy 471 < 13 , 3 >= xxxxxxxxxxxxz 472 < 13 , 4 >= xxxxxxxxxxxyy 473 < 13 , 5 >= xxxxxxxxxxxyz 474 < 13 , 6 >= xxxxxxxxxxxzz 475 < 13 , 7 >= xxxxxxxxxxyyy 476 < 13 , 8 >= xxxxxxxxxxyyz 477 < 13 , 9 >= xxxxxxxxxxyzz 478 < 13 , 10 >= xxxxxxxxxxzzz 479 < 13 , 11 >= xxxxxxxxxyyyy 480 < 13 , 12 >= xxxxxxxxxyyyz 481 < 13 , 13 >= xxxxxxxxxyyzz 482 < 13 , 14 >= xxxxxxxxxyzzz 483 < 13 , 15 >= xxxxxxxxxzzzz 484 < 13 , 16 >= xxxxxxxxyyyyy 485 < 13 , 17 >= xxxxxxxxyyyyz 486 < 13 , 18 >= xxxxxxxxyyyzz 487 < 13 , 19 >= xxxxxxxxyyzzz 488 < 13 , 20 >= xxxxxxxxyzzzz 489 < 13 , 21 >= xxxxxxxxzzzzz 490 < 13 , 22 >= xxxxxxxyyyyyy 491 < 13 , 23 >= xxxxxxxyyyyyz 492 < 13 , 24 >= xxxxxxxyyyyzz 493 < 13 , 25 >= xxxxxxxyyyzzz 494 < 13 , 26 >= xxxxxxxyyzzzz 495 < 13 , 27 >= xxxxxxxyzzzzz 496 < 13 , 28 >= xxxxxxxzzzzzz 497 < 13 , 29 >= xxxxxxyyyyyyy 498 < 13 , 30 >= xxxxxxyyyyyyz 499 < 13 , 31 >= xxxxxxyyyyyzz 500 < 13 , 32 >= xxxxxxyyyyzzz 501 < 13 , 33 >= xxxxxxyyyzzzz 502 < 13 , 34 >= xxxxxxyyzzzzz 503 < 13 , 35 >= xxxxxxyzzzzzz 504 < 13 , 36 >= xxxxxxzzzzzzz 505 < 13 , 37 >= xxxxxyyyyyyyy 506 < 13 , 38 >= xxxxxyyyyyyyz 507 < 13 , 39 >= xxxxxyyyyyyzz 508 < 13 , 40 >= xxxxxyyyyyzzz 509 < 13 , 41 >= xxxxxyyyyzzzz 510 < 13 , 42 >= xxxxxyyyzzzzz 511 < 13 , 43 >= xxxxxyyzzzzzz 512 < 13 , 44 >= xxxxxyzzzzzzz 513 < 13 , 45 >= xxxxxzzzzzzzz 514 < 13 , 46 >= xxxxyyyyyyyyy 515 < 13 , 47 >= xxxxyyyyyyyyz 516 < 13 , 48 >= xxxxyyyyyyyzz 517 < 13 , 49 >= xxxxyyyyyyzzz 518 < 13 , 50 >= xxxxyyyyyzzzz 519 < 13 , 51 >= xxxxyyyyzzzzz 520 < 13 , 52 >= xxxxyyyzzzzzz 521 < 13 , 53 >= xxxxyyzzzzzzz 522 < 13 , 54 >= xxxxyzzzzzzzz 523 < 13 , 55 >= xxxxzzzzzzzzz 524 < 13 , 56 >= xxxyyyyyyyyyy 525 < 13 , 57 >= xxxyyyyyyyyyz 526 < 13 , 58 >= xxxyyyyyyyyzz 527 < 13 , 59 >= xxxyyyyyyyzzz 528 < 13 , 60 >= xxxyyyyyyzzzz 529 < 13 , 61 >= xxxyyyyyzzzzz 530 < 13 , 62 >= xxxyyyyzzzzzz 531 < 13 , 63 >= xxxyyyzzzzzzz 532 < 13 , 64 >= xxxyyzzzzzzzz 533 < 13 , 65 >= xxxyzzzzzzzzz 534 < 13 , 66 >= xxxzzzzzzzzzz 535 < 13 , 67 >= xxyyyyyyyyyyy 536 < 13 , 68 >= xxyyyyyyyyyyz 537 < 13 , 69 >= xxyyyyyyyyyzz 538 < 13 , 70 >= xxyyyyyyyyzzz 539 < 13 , 71 >= xxyyyyyyyzzzz 540 < 13 , 72 >= xxyyyyyyzzzzz 541 < 13 , 73 >= xxyyyyyzzzzzz 542 < 13 , 74 >= xxyyyyzzzzzzz 543 < 13 , 75 >= xxyyyzzzzzzzz 544 < 13 , 76 >= xxyyzzzzzzzzz 545 < 13 , 77 >= xxyzzzzzzzzzz 546 < 13 , 78 >= xxzzzzzzzzzzz 547 < 13 , 79 >= xyyyyyyyyyyyy 548 < 13 , 80 >= xyyyyyyyyyyyz 549 < 13 , 81 >= xyyyyyyyyyyzz 550 < 13 , 82 >= xyyyyyyyyyzzz 551 < 13 , 83 >= xyyyyyyyyzzzz 552 < 13 , 84 >= xyyyyyyyzzzzz 553 < 13 , 85 >= xyyyyyyzzzzzz 554 < 13 , 86 >= xyyyyyzzzzzzz 555 < 13 , 87 >= xyyyyzzzzzzzz 556 < 13 , 88 >= xyyyzzzzzzzzz 557 < 13 , 89 >= xyyzzzzzzzzzz 558 < 13 , 90 >= xyzzzzzzzzzzz 559 < 13 , 91 >= xzzzzzzzzzzzz 560 < 13 , 92 >= yyyyyyyyyyyyy 561 < 13 , 93 >= yyyyyyyyyyyyz 562 < 13 , 94 >= yyyyyyyyyyyzz 563 < 13 , 95 >= yyyyyyyyyyzzz 564 < 13 , 96 >= yyyyyyyyyzzzz 565 < 13 , 97 >= yyyyyyyyzzzzz 566 < 13 , 98 >= yyyyyyyzzzzzz 567 < 13 , 99 >= yyyyyyzzzzzzz 568 < 13 , 100 >= yyyyyzzzzzzzz 569 < 13 , 101 >= yyyyzzzzzzzzz 570 < 13 , 102 >= yyyzzzzzzzzzz 571 < 13 , 103 >= yyzzzzzzzzzzz 572 < 13 , 104 >= yzzzzzzzzzzzz 573 < 13 , 105 >= zzzzzzzzzzzzz 574 575 < 14 , 1 >= xxxxxxxxxxxxxx 576 < 14 , 2 >= xxxxxxxxxxxxxy 577 < 14 , 3 >= xxxxxxxxxxxxxz 578 < 14 , 4 >= xxxxxxxxxxxxyy 579 < 14 , 5 >= xxxxxxxxxxxxyz 580 < 14 , 6 >= xxxxxxxxxxxxzz 581 < 14 , 7 >= xxxxxxxxxxxyyy 582 < 14 , 8 >= xxxxxxxxxxxyyz 583 < 14 , 9 >= xxxxxxxxxxxyzz 584 < 14 , 10 >= xxxxxxxxxxxzzz 585 < 14 , 11 >= xxxxxxxxxxyyyy 586 < 14 , 12 >= xxxxxxxxxxyyyz 587 < 14 , 13 >= xxxxxxxxxxyyzz 588 < 14 , 14 >= xxxxxxxxxxyzzz 589 < 14 , 15 >= xxxxxxxxxxzzzz 590 < 14 , 16 >= xxxxxxxxxyyyyy 591 < 14 , 17 >= xxxxxxxxxyyyyz 592 < 14 , 18 >= xxxxxxxxxyyyzz 593 < 14 , 19 >= xxxxxxxxxyyzzz 594 < 14 , 20 >= xxxxxxxxxyzzzz 595 < 14 , 21 >= xxxxxxxxxzzzzz 596 < 14 , 22 >= xxxxxxxxyyyyyy 597 < 14 , 23 >= xxxxxxxxyyyyyz 598 < 14 , 24 >= xxxxxxxxyyyyzz 599 < 14 , 25 >= xxxxxxxxyyyzzz 600 < 14 , 26 >= xxxxxxxxyyzzzz 601 < 14 , 27 >= xxxxxxxxyzzzzz 602 < 14 , 28 >= xxxxxxxxzzzzzz 603 < 14 , 29 >= xxxxxxxyyyyyyy 604 < 14 , 30 >= xxxxxxxyyyyyyz 605 < 14 , 31 >= xxxxxxxyyyyyzz 606 < 14 , 32 >= xxxxxxxyyyyzzz 607 < 14 , 33 >= xxxxxxxyyyzzzz 608 < 14 , 34 >= xxxxxxxyyzzzzz 609 < 14 , 35 >= xxxxxxxyzzzzzz 610 < 14 , 36 >= xxxxxxxzzzzzzz 611 < 14 , 37 >= xxxxxxyyyyyyyy 612 < 14 , 38 >= xxxxxxyyyyyyyz 613 < 14 , 39 >= xxxxxxyyyyyyzz 614 < 14 , 40 >= xxxxxxyyyyyzzz 615 < 14 , 41 >= xxxxxxyyyyzzzz 616 < 14 , 42 >= xxxxxxyyyzzzzz 617 < 14 , 43 >= xxxxxxyyzzzzzz 618 < 14 , 44 >= xxxxxxyzzzzzzz 619 < 14 , 45 >= xxxxxxzzzzzzzz 620 < 14 , 46 >= xxxxxyyyyyyyyy 621 < 14 , 47 >= xxxxxyyyyyyyyz 622 < 14 , 48 >= xxxxxyyyyyyyzz 623 < 14 , 49 >= xxxxxyyyyyyzzz 624 < 14 , 50 >= xxxxxyyyyyzzzz 625 < 14 , 51 >= xxxxxyyyyzzzzz 626 < 14 , 52 >= xxxxxyyyzzzzzz 627 < 14 , 53 >= xxxxxyyzzzzzzz 628 < 14 , 54 >= xxxxxyzzzzzzzz 629 < 14 , 55 >= xxxxxzzzzzzzzz 630 < 14 , 56 >= xxxxyyyyyyyyyy 631 < 14 , 57 >= xxxxyyyyyyyyyz 632 < 14 , 58 >= xxxxyyyyyyyyzz 633 < 14 , 59 >= xxxxyyyyyyyzzz 634 < 14 , 60 >= xxxxyyyyyyzzzz 635 < 14 , 61 >= xxxxyyyyyzzzzz 636 < 14 , 62 >= xxxxyyyyzzzzzz 637 < 14 , 63 >= xxxxyyyzzzzzzz 638 < 14 , 64 >= xxxxyyzzzzzzzz 639 < 14 , 65 >= xxxxyzzzzzzzzz 640 < 14 , 66 >= xxxxzzzzzzzzzz 641 < 14 , 67 >= xxxyyyyyyyyyyy 642 < 14 , 68 >= xxxyyyyyyyyyyz 643 < 14 , 69 >= xxxyyyyyyyyyzz 644 < 14 , 70 >= xxxyyyyyyyyzzz 645 < 14 , 71 >= xxxyyyyyyyzzzz 646 < 14 , 72 >= xxxyyyyyyzzzzz 647 < 14 , 73 >= xxxyyyyyzzzzzz 648 < 14 , 74 >= xxxyyyyzzzzzzz 649 < 14 , 75 >= xxxyyyzzzzzzzz 650 < 14 , 76 >= xxxyyzzzzzzzzz 651 < 14 , 77 >= xxxyzzzzzzzzzz 652 < 14 , 78 >= xxxzzzzzzzzzzz 653 < 14 , 79 >= xxyyyyyyyyyyyy 654 < 14 , 80 >= xxyyyyyyyyyyyz 655 < 14 , 81 >= xxyyyyyyyyyyzz 656 < 14 , 82 >= xxyyyyyyyyyzzz 657 < 14 , 83 >= xxyyyyyyyyzzzz 658 < 14 , 84 >= xxyyyyyyyzzzzz 659 < 14 , 85 >= xxyyyyyyzzzzzz 660 < 14 , 86 >= xxyyyyyzzzzzzz 661 < 14 , 87 >= xxyyyyzzzzzzzz 662 < 14 , 88 >= xxyyyzzzzzzzzz 663 < 14 , 89 >= xxyyzzzzzzzzzz 664 < 14 , 90 >= xxyzzzzzzzzzzz 665 < 14 , 91 >= xxzzzzzzzzzzzz 666 < 14 , 92 >= xyyyyyyyyyyyyy 667 < 14 , 93 >= xyyyyyyyyyyyyz 668 < 14 , 94 >= xyyyyyyyyyyyzz 669 < 14 , 95 >= xyyyyyyyyyyzzz 670 < 14 , 96 >= xyyyyyyyyyzzzz 671 < 14 , 97 >= xyyyyyyyyzzzzz 672 < 14 , 98 >= xyyyyyyyzzzzzz 673 < 14 , 99 >= xyyyyyyzzzzzzz 674 < 14 , 100 >= xyyyyyzzzzzzzz 675 < 14 , 101 >= xyyyyzzzzzzzzz 676 < 14 , 102 >= xyyyzzzzzzzzzz 677 < 14 , 103 >= xyyzzzzzzzzzzz 678 < 14 , 104 >= xyzzzzzzzzzzzz 679 < 14 , 105 >= xzzzzzzzzzzzzz 680 < 14 , 106 >= yyyyyyyyyyyyyy 681 < 14 , 107 >= yyyyyyyyyyyyyz 682 < 14 , 108 >= yyyyyyyyyyyyzz 683 < 14 , 109 >= yyyyyyyyyyyzzz 684 < 14 , 110 >= yyyyyyyyyyzzzz 685 < 14 , 111 >= yyyyyyyyyzzzzz 686 < 14 , 112 >= yyyyyyyyzzzzzz 687 < 14 , 113 >= yyyyyyyzzzzzzz 688 < 14 , 114 >= yyyyyyzzzzzzzz 689 < 14 , 115 >= yyyyyzzzzzzzzz 690 < 14 , 116 >= yyyyzzzzzzzzzz 691 < 14 , 117 >= yyyzzzzzzzzzzz 692 < 14 , 118 >= yyzzzzzzzzzzzz 693 < 14 , 119 >= yzzzzzzzzzzzzz 694 < 14 , 120 >= zzzzzzzzzzzzzz 695 696 < 15 , 1 >= xxxxxxxxxxxxxxx 697 < 15 , 2 >= xxxxxxxxxxxxxxy 698 < 15 , 3 >= xxxxxxxxxxxxxxz 699 < 15 , 4 >= xxxxxxxxxxxxxyy 700 < 15 , 5 >= xxxxxxxxxxxxxyz 701 < 15 , 6 >= xxxxxxxxxxxxxzz 702 < 15 , 7 >= xxxxxxxxxxxxyyy 703 < 15 , 8 >= xxxxxxxxxxxxyyz 704 < 15 , 9 >= xxxxxxxxxxxxyzz 705 < 15 , 10 >= xxxxxxxxxxxxzzz 706 < 15 , 11 >= xxxxxxxxxxxyyyy 707 < 15 , 12 >= xxxxxxxxxxxyyyz 708 < 15 , 13 >= xxxxxxxxxxxyyzz 709 < 15 , 14 >= xxxxxxxxxxxyzzz 710 < 15 , 15 >= xxxxxxxxxxxzzzz 711 < 15 , 16 >= xxxxxxxxxxyyyyy 712 < 15 , 17 >= xxxxxxxxxxyyyyz 713 < 15 , 18 >= xxxxxxxxxxyyyzz 714 < 15 , 19 >= xxxxxxxxxxyyzzz 715 < 15 , 20 >= xxxxxxxxxxyzzzz 716 < 15 , 21 >= xxxxxxxxxxzzzzz 717 < 15 , 22 >= xxxxxxxxxyyyyyy 718 < 15 , 23 >= xxxxxxxxxyyyyyz 719 < 15 , 24 >= xxxxxxxxxyyyyzz 720 < 15 , 25 >= xxxxxxxxxyyyzzz 721 < 15 , 26 >= xxxxxxxxxyyzzzz 722 < 15 , 27 >= xxxxxxxxxyzzzzz 723 < 15 , 28 >= xxxxxxxxxzzzzzz 724 < 15 , 29 >= xxxxxxxxyyyyyyy 725 < 15 , 30 >= xxxxxxxxyyyyyyz 726 < 15 , 31 >= xxxxxxxxyyyyyzz 727 < 15 , 32 >= xxxxxxxxyyyyzzz 728 < 15 , 33 >= xxxxxxxxyyyzzzz 729 < 15 , 34 >= xxxxxxxxyyzzzzz 730 < 15 , 35 >= xxxxxxxxyzzzzzz 731 < 15 , 36 >= xxxxxxxxzzzzzzz 732 < 15 , 37 >= xxxxxxxyyyyyyyy 733 < 15 , 38 >= xxxxxxxyyyyyyyz 734 < 15 , 39 >= xxxxxxxyyyyyyzz 735 < 15 , 40 >= xxxxxxxyyyyyzzz 736 < 15 , 41 >= xxxxxxxyyyyzzzz 737 < 15 , 42 >= xxxxxxxyyyzzzzz 738 < 15 , 43 >= xxxxxxxyyzzzzzz 739 < 15 , 44 >= xxxxxxxyzzzzzzz 740 < 15 , 45 >= xxxxxxxzzzzzzzz 741 < 15 , 46 >= xxxxxxyyyyyyyyy 742 < 15 , 47 >= xxxxxxyyyyyyyyz 743 < 15 , 48 >= xxxxxxyyyyyyyzz 744 < 15 , 49 >= xxxxxxyyyyyyzzz 745 < 15 , 50 >= xxxxxxyyyyyzzzz 746 < 15 , 51 >= xxxxxxyyyyzzzzz 747 < 15 , 52 >= xxxxxxyyyzzzzzz 748 < 15 , 53 >= xxxxxxyyzzzzzzz 749 < 15 , 54 >= xxxxxxyzzzzzzzz 750 < 15 , 55 >= xxxxxxzzzzzzzzz 751 < 15 , 56 >= xxxxxyyyyyyyyyy 752 < 15 , 57 >= xxxxxyyyyyyyyyz 753 < 15 , 58 >= xxxxxyyyyyyyyzz 754 < 15 , 59 >= xxxxxyyyyyyyzzz 755 < 15 , 60 >= xxxxxyyyyyyzzzz 756 < 15 , 61 >= xxxxxyyyyyzzzzz 757 < 15 , 62 >= xxxxxyyyyzzzzzz 758 < 15 , 63 >= xxxxxyyyzzzzzzz 759 < 15 , 64 >= xxxxxyyzzzzzzzz 760 < 15 , 65 >= xxxxxyzzzzzzzzz 761 < 15 , 66 >= xxxxxzzzzzzzzzz 762 < 15 , 67 >= xxxxyyyyyyyyyyy 763 < 15 , 68 >= xxxxyyyyyyyyyyz 764 < 15 , 69 >= xxxxyyyyyyyyyzz 765 < 15 , 70 >= xxxxyyyyyyyyzzz 766 < 15 , 71 >= xxxxyyyyyyyzzzz 767 < 15 , 72 >= xxxxyyyyyyzzzzz 768 < 15 , 73 >= xxxxyyyyyzzzzzz 769 < 15 , 74 >= xxxxyyyyzzzzzzz 770 < 15 , 75 >= xxxxyyyzzzzzzzz 771 < 15 , 76 >= xxxxyyzzzzzzzzz 772 < 15 , 77 >= xxxxyzzzzzzzzzz 773 < 15 , 78 >= xxxxzzzzzzzzzzz 774 < 15 , 79 >= xxxyyyyyyyyyyyy 775 < 15 , 80 >= xxxyyyyyyyyyyyz 776 < 15 , 81 >= xxxyyyyyyyyyyzz 777 < 15 , 82 >= xxxyyyyyyyyyzzz 778 < 15 , 83 >= xxxyyyyyyyyzzzz 779 < 15 , 84 >= xxxyyyyyyyzzzzz 780 < 15 , 85 >= xxxyyyyyyzzzzzz 781 < 15 , 86 >= xxxyyyyyzzzzzzz 782 < 15 , 87 >= xxxyyyyzzzzzzzz 783 < 15 , 88 >= xxxyyyzzzzzzzzz 784 < 15 , 89 >= xxxyyzzzzzzzzzz 785 < 15 , 90 >= xxxyzzzzzzzzzzz 786 < 15 , 91 >= xxxzzzzzzzzzzzz 787 < 15 , 92 >= xxyyyyyyyyyyyyy 788 < 15 , 93 >= xxyyyyyyyyyyyyz 789 < 15 , 94 >= xxyyyyyyyyyyyzz 790 < 15 , 95 >= xxyyyyyyyyyyzzz 791 < 15 , 96 >= xxyyyyyyyyyzzzz 792 < 15 , 97 >= xxyyyyyyyyzzzzz 793 < 15 , 98 >= xxyyyyyyyzzzzzz 794 < 15 , 99 >= xxyyyyyyzzzzzzz 795 < 15 , 100 >= xxyyyyyzzzzzzzz 796 < 15 , 101 >= xxyyyyzzzzzzzzz 797 < 15 , 102 >= xxyyyzzzzzzzzzz 798 < 15 , 103 >= xxyyzzzzzzzzzzz 799 < 15 , 104 >= xxyzzzzzzzzzzzz 800 < 15 , 105 >= xxzzzzzzzzzzzzz 801 < 15 , 106 >= xyyyyyyyyyyyyyy 802 < 15 , 107 >= xyyyyyyyyyyyyyz 803 < 15 , 108 >= xyyyyyyyyyyyyzz 804 < 15 , 109 >= xyyyyyyyyyyyzzz 805 < 15 , 110 >= xyyyyyyyyyyzzzz 806 < 15 , 111 >= xyyyyyyyyyzzzzz 807 < 15 , 112 >= xyyyyyyyyzzzzzz 808 < 15 , 113 >= xyyyyyyyzzzzzzz 809 < 15 , 114 >= xyyyyyyzzzzzzzz 810 < 15 , 115 >= xyyyyyzzzzzzzzz 811 < 15 , 116 >= xyyyyzzzzzzzzzz 812 < 15 , 117 >= xyyyzzzzzzzzzzz 813 < 15 , 118 >= xyyzzzzzzzzzzzz 814 < 15 , 119 >= xyzzzzzzzzzzzzz 815 < 15 , 120 >= xzzzzzzzzzzzzzz 816 < 15 , 121 >= yyyyyyyyyyyyyyy 817 < 15 , 122 >= yyyyyyyyyyyyyyz 818 < 15 , 123 >= yyyyyyyyyyyyyzz 819 < 15 , 124 >= yyyyyyyyyyyyzzz 820 < 15 , 125 >= yyyyyyyyyyyzzzz 821 < 15 , 126 >= yyyyyyyyyyzzzzz 822 < 15 , 127 >= yyyyyyyyyzzzzzz 823 < 15 , 128 >= yyyyyyyyzzzzzzz 824 < 15 , 129 >= yyyyyyyzzzzzzzz 825 < 15 , 130 >= yyyyyyzzzzzzzzz 826 < 15 , 131 >= yyyyyzzzzzzzzzz 827 < 15 , 132 >= yyyyzzzzzzzzzzz 828 < 15 , 133 >= yyyzzzzzzzzzzzz 829 < 15 , 134 >= yyzzzzzzzzzzzzz 830 < 15 , 135 >= yzzzzzzzzzzzzzz 831 < 15 , 136 >= zzzzzzzzzzzzzzz 832 833 < 16 , 1 >= xxxxxxxxxxxxxxxx 834 < 16 , 2 >= xxxxxxxxxxxxxxxy 835 < 16 , 3 >= xxxxxxxxxxxxxxxz 836 < 16 , 4 >= xxxxxxxxxxxxxxyy 837 < 16 , 5 >= xxxxxxxxxxxxxxyz 838 < 16 , 6 >= xxxxxxxxxxxxxxzz 839 < 16 , 7 >= xxxxxxxxxxxxxyyy 840 < 16 , 8 >= xxxxxxxxxxxxxyyz 841 < 16 , 9 >= xxxxxxxxxxxxxyzz 842 < 16 , 10 >= xxxxxxxxxxxxxzzz 843 < 16 , 11 >= xxxxxxxxxxxxyyyy 844 < 16 , 12 >= xxxxxxxxxxxxyyyz 845 < 16 , 13 >= xxxxxxxxxxxxyyzz 846 < 16 , 14 >= xxxxxxxxxxxxyzzz 847 < 16 , 15 >= xxxxxxxxxxxxzzzz 848 < 16 , 16 >= xxxxxxxxxxxyyyyy 849 < 16 , 17 >= xxxxxxxxxxxyyyyz 850 < 16 , 18 >= xxxxxxxxxxxyyyzz 851 < 16 , 19 >= xxxxxxxxxxxyyzzz 852 < 16 , 20 >= xxxxxxxxxxxyzzzz 853 < 16 , 21 >= xxxxxxxxxxxzzzzz 854 < 16 , 22 >= xxxxxxxxxxyyyyyy 855 < 16 , 23 >= xxxxxxxxxxyyyyyz 856 < 16 , 24 >= xxxxxxxxxxyyyyzz 857 < 16 , 25 >= xxxxxxxxxxyyyzzz 858 < 16 , 26 >= xxxxxxxxxxyyzzzz 859 < 16 , 27 >= xxxxxxxxxxyzzzzz 860 < 16 , 28 >= xxxxxxxxxxzzzzzz 861 < 16 , 29 >= xxxxxxxxxyyyyyyy 862 < 16 , 30 >= xxxxxxxxxyyyyyyz 863 < 16 , 31 >= xxxxxxxxxyyyyyzz 864 < 16 , 32 >= xxxxxxxxxyyyyzzz 865 < 16 , 33 >= xxxxxxxxxyyyzzzz 866 < 16 , 34 >= xxxxxxxxxyyzzzzz 867 < 16 , 35 >= xxxxxxxxxyzzzzzz 868 < 16 , 36 >= xxxxxxxxxzzzzzzz 869 < 16 , 37 >= xxxxxxxxyyyyyyyy 870 < 16 , 38 >= xxxxxxxxyyyyyyyz 871 < 16 , 39 >= xxxxxxxxyyyyyyzz 872 < 16 , 40 >= xxxxxxxxyyyyyzzz 873 < 16 , 41 >= xxxxxxxxyyyyzzzz 874 < 16 , 42 >= xxxxxxxxyyyzzzzz 875 < 16 , 43 >= xxxxxxxxyyzzzzzz 876 < 16 , 44 >= xxxxxxxxyzzzzzzz 877 < 16 , 45 >= xxxxxxxxzzzzzzzz 878 < 16 , 46 >= xxxxxxxyyyyyyyyy 879 < 16 , 47 >= xxxxxxxyyyyyyyyz 880 < 16 , 48 >= xxxxxxxyyyyyyyzz 881 < 16 , 49 >= xxxxxxxyyyyyyzzz 882 < 16 , 50 >= xxxxxxxyyyyyzzzz 883 < 16 , 51 >= xxxxxxxyyyyzzzzz 884 < 16 , 52 >= xxxxxxxyyyzzzzzz 885 < 16 , 53 >= xxxxxxxyyzzzzzzz 886 < 16 , 54 >= xxxxxxxyzzzzzzzz 887 < 16 , 55 >= xxxxxxxzzzzzzzzz 888 < 16 , 56 >= xxxxxxyyyyyyyyyy 889 < 16 , 57 >= xxxxxxyyyyyyyyyz 890 < 16 , 58 >= xxxxxxyyyyyyyyzz 891 < 16 , 59 >= xxxxxxyyyyyyyzzz 892 < 16 , 60 >= xxxxxxyyyyyyzzzz 893 < 16 , 61 >= xxxxxxyyyyyzzzzz 894 < 16 , 62 >= xxxxxxyyyyzzzzzz 895 < 16 , 63 >= xxxxxxyyyzzzzzzz 896 < 16 , 64 >= xxxxxxyyzzzzzzzz 897 < 16 , 65 >= xxxxxxyzzzzzzzzz 898 < 16 , 66 >= xxxxxxzzzzzzzzzz 899 < 16 , 67 >= xxxxxyyyyyyyyyyy 900 < 16 , 68 >= xxxxxyyyyyyyyyyz 901 < 16 , 69 >= xxxxxyyyyyyyyyzz 902 < 16 , 70 >= xxxxxyyyyyyyyzzz 903 < 16 , 71 >= xxxxxyyyyyyyzzzz 904 < 16 , 72 >= xxxxxyyyyyyzzzzz 905 < 16 , 73 >= xxxxxyyyyyzzzzzz 906 < 16 , 74 >= xxxxxyyyyzzzzzzz 907 < 16 , 75 >= xxxxxyyyzzzzzzzz 908 < 16 , 76 >= xxxxxyyzzzzzzzzz 909 < 16 , 77 >= xxxxxyzzzzzzzzzz 910 < 16 , 78 >= xxxxxzzzzzzzzzzz 911 < 16 , 79 >= xxxxyyyyyyyyyyyy 912 < 16 , 80 >= xxxxyyyyyyyyyyyz 913 < 16 , 81 >= xxxxyyyyyyyyyyzz 914 < 16 , 82 >= xxxxyyyyyyyyyzzz 915 < 16 , 83 >= xxxxyyyyyyyyzzzz 916 < 16 , 84 >= xxxxyyyyyyyzzzzz 917 < 16 , 85 >= xxxxyyyyyyzzzzzz 918 < 16 , 86 >= xxxxyyyyyzzzzzzz 919 < 16 , 87 >= xxxxyyyyzzzzzzzz 920 < 16 , 88 >= xxxxyyyzzzzzzzzz 921 < 16 , 89 >= xxxxyyzzzzzzzzzz 922 < 16 , 90 >= xxxxyzzzzzzzzzzz 923 < 16 , 91 >= xxxxzzzzzzzzzzzz 924 < 16 , 92 >= xxxyyyyyyyyyyyyy 925 < 16 , 93 >= xxxyyyyyyyyyyyyz 926 < 16 , 94 >= xxxyyyyyyyyyyyzz 927 < 16 , 95 >= xxxyyyyyyyyyyzzz 928 < 16 , 96 >= xxxyyyyyyyyyzzzz 929 < 16 , 97 >= xxxyyyyyyyyzzzzz 930 < 16 , 98 >= xxxyyyyyyyzzzzzz 931 < 16 , 99 >= xxxyyyyyyzzzzzzz 932 < 16 , 100 >= xxxyyyyyzzzzzzzz 933 < 16 , 101 >= xxxyyyyzzzzzzzzz 934 < 16 , 102 >= xxxyyyzzzzzzzzzz 935 < 16 , 103 >= xxxyyzzzzzzzzzzz 936 < 16 , 104 >= xxxyzzzzzzzzzzzz 937 < 16 , 105 >= xxxzzzzzzzzzzzzz 938 < 16 , 106 >= xxyyyyyyyyyyyyyy 939 < 16 , 107 >= xxyyyyyyyyyyyyyz 940 < 16 , 108 >= xxyyyyyyyyyyyyzz 941 < 16 , 109 >= xxyyyyyyyyyyyzzz 942 < 16 , 110 >= xxyyyyyyyyyyzzzz 943 < 16 , 111 >= xxyyyyyyyyyzzzzz 944 < 16 , 112 >= xxyyyyyyyyzzzzzz 945 < 16 , 113 >= xxyyyyyyyzzzzzzz 946 < 16 , 114 >= xxyyyyyyzzzzzzzz 947 < 16 , 115 >= xxyyyyyzzzzzzzzz 948 < 16 , 116 >= xxyyyyzzzzzzzzzz 949 < 16 , 117 >= xxyyyzzzzzzzzzzz 950 < 16 , 118 >= xxyyzzzzzzzzzzzz 951 < 16 , 119 >= xxyzzzzzzzzzzzzz 952 < 16 , 120 >= xxzzzzzzzzzzzzzz 953 < 16 , 121 >= xyyyyyyyyyyyyyyy 954 < 16 , 122 >= xyyyyyyyyyyyyyyz 955 < 16 , 123 >= xyyyyyyyyyyyyyzz 956 < 16 , 124 >= xyyyyyyyyyyyyzzz 957 < 16 , 125 >= xyyyyyyyyyyyzzzz 958 < 16 , 126 >= xyyyyyyyyyyzzzzz 959 < 16 , 127 >= xyyyyyyyyyzzzzzz 960 < 16 , 128 >= xyyyyyyyyzzzzzzz 961 < 16 , 129 >= xyyyyyyyzzzzzzzz 962 < 16 , 130 >= xyyyyyyzzzzzzzzz 963 < 16 , 131 >= xyyyyyzzzzzzzzzz 964 < 16 , 132 >= xyyyyzzzzzzzzzzz 965 < 16 , 133 >= xyyyzzzzzzzzzzzz 966 < 16 , 134 >= xyyzzzzzzzzzzzzz 967 < 16 , 135 >= xyzzzzzzzzzzzzzz 968 < 16 , 136 >= xzzzzzzzzzzzzzzz 969 < 16 , 137 >= yyyyyyyyyyyyyyyy 970 < 16 , 138 >= yyyyyyyyyyyyyyyz 971 < 16 , 139 >= yyyyyyyyyyyyyyzz 972 < 16 , 140 >= yyyyyyyyyyyyyzzz 973 < 16 , 141 >= yyyyyyyyyyyyzzzz 974 < 16 , 142 >= yyyyyyyyyyyzzzzz 975 < 16 , 143 >= yyyyyyyyyyzzzzzz 976 < 16 , 144 >= yyyyyyyyyzzzzzzz 977 < 16 , 145 >= yyyyyyyyzzzzzzzz 978 < 16 , 146 >= yyyyyyyzzzzzzzzz 979 < 16 , 147 >= yyyyyyzzzzzzzzzz 980 < 16 , 148 >= yyyyyzzzzzzzzzzz 981 < 16 , 149 >= yyyyzzzzzzzzzzzz 982 < 16 , 150 >= yyyzzzzzzzzzzzzz 983 < 16 , 151 >= yyzzzzzzzzzzzzzz 984 < 16 , 152 >= yzzzzzzzzzzzzzzz 985 < 16 , 153 >= zzzzzzzzzzzzzzzz 986 987 < 17 , 1 >= xxxxxxxxxxxxxxxxx 988 < 17 , 2 >= xxxxxxxxxxxxxxxxy 989 < 17 , 3 >= xxxxxxxxxxxxxxxxz 990 < 17 , 4 >= xxxxxxxxxxxxxxxyy 991 < 17 , 5 >= xxxxxxxxxxxxxxxyz 992 < 17 , 6 >= xxxxxxxxxxxxxxxzz 993 < 17 , 7 >= xxxxxxxxxxxxxxyyy 994 < 17 , 8 >= xxxxxxxxxxxxxxyyz 995 < 17 , 9 >= xxxxxxxxxxxxxxyzz 996 < 17 , 10 >= xxxxxxxxxxxxxxzzz 997 < 17 , 11 >= xxxxxxxxxxxxxyyyy 998 < 17 , 12 >= xxxxxxxxxxxxxyyyz 999 < 17 , 13 >= xxxxxxxxxxxxxyyzz 1000 < 17 , 14 >= xxxxxxxxxxxxxyzzz 1001 < 17 , 15 >= xxxxxxxxxxxxxzzzz 1002 < 17 , 16 >= xxxxxxxxxxxxyyyyy 1003 < 17 , 17 >= xxxxxxxxxxxxyyyyz 1004 < 17 , 18 >= xxxxxxxxxxxxyyyzz 1005 < 17 , 19 >= xxxxxxxxxxxxyyzzz 1006 < 17 , 20 >= xxxxxxxxxxxxyzzzz 1007 < 17 , 21 >= xxxxxxxxxxxxzzzzz 1008 < 17 , 22 >= xxxxxxxxxxxyyyyyy 1009 < 17 , 23 >= xxxxxxxxxxxyyyyyz 1010 < 17 , 24 >= xxxxxxxxxxxyyyyzz 1011 < 17 , 25 >= xxxxxxxxxxxyyyzzz 1012 < 17 , 26 >= xxxxxxxxxxxyyzzzz 1013 < 17 , 27 >= xxxxxxxxxxxyzzzzz 1014 < 17 , 28 >= xxxxxxxxxxxzzzzzz 1015 < 17 , 29 >= xxxxxxxxxxyyyyyyy 1016 < 17 , 30 >= xxxxxxxxxxyyyyyyz 1017 < 17 , 31 >= xxxxxxxxxxyyyyyzz 1018 < 17 , 32 >= xxxxxxxxxxyyyyzzz 1019 < 17 , 33 >= xxxxxxxxxxyyyzzzz 1020 < 17 , 34 >= xxxxxxxxxxyyzzzzz 1021 < 17 , 35 >= xxxxxxxxxxyzzzzzz 1022 < 17 , 36 >= xxxxxxxxxxzzzzzzz 1023 < 17 , 37 >= xxxxxxxxxyyyyyyyy 1024 < 17 , 38 >= xxxxxxxxxyyyyyyyz 1025 < 17 , 39 >= xxxxxxxxxyyyyyyzz 1026 < 17 , 40 >= xxxxxxxxxyyyyyzzz 1027 < 17 , 41 >= xxxxxxxxxyyyyzzzz 1028 < 17 , 42 >= xxxxxxxxxyyyzzzzz 1029 < 17 , 43 >= xxxxxxxxxyyzzzzzz 1030 < 17 , 44 >= xxxxxxxxxyzzzzzzz 1031 < 17 , 45 >= xxxxxxxxxzzzzzzzz 1032 < 17 , 46 >= xxxxxxxxyyyyyyyyy 1033 < 17 , 47 >= xxxxxxxxyyyyyyyyz 1034 < 17 , 48 >= xxxxxxxxyyyyyyyzz 1035 < 17 , 49 >= xxxxxxxxyyyyyyzzz 1036 < 17 , 50 >= xxxxxxxxyyyyyzzzz 1037 < 17 , 51 >= xxxxxxxxyyyyzzzzz 1038 < 17 , 52 >= xxxxxxxxyyyzzzzzz 1039 < 17 , 53 >= xxxxxxxxyyzzzzzzz 1040 < 17 , 54 >= xxxxxxxxyzzzzzzzz 1041 < 17 , 55 >= xxxxxxxxzzzzzzzzz 1042 < 17 , 56 >= xxxxxxxyyyyyyyyyy 1043 < 17 , 57 >= xxxxxxxyyyyyyyyyz 1044 < 17 , 58 >= xxxxxxxyyyyyyyyzz 1045 < 17 , 59 >= xxxxxxxyyyyyyyzzz 1046 < 17 , 60 >= xxxxxxxyyyyyyzzzz 1047 < 17 , 61 >= xxxxxxxyyyyyzzzzz 1048 < 17 , 62 >= xxxxxxxyyyyzzzzzz 1049 < 17 , 63 >= xxxxxxxyyyzzzzzzz 1050 < 17 , 64 >= xxxxxxxyyzzzzzzzz 1051 < 17 , 65 >= xxxxxxxyzzzzzzzzz 1052 < 17 , 66 >= xxxxxxxzzzzzzzzzz 1053 < 17 , 67 >= xxxxxxyyyyyyyyyyy 1054 < 17 , 68 >= xxxxxxyyyyyyyyyyz 1055 < 17 , 69 >= xxxxxxyyyyyyyyyzz 1056 < 17 , 70 >= xxxxxxyyyyyyyyzzz 1057 < 17 , 71 >= xxxxxxyyyyyyyzzzz 1058 < 17 , 72 >= xxxxxxyyyyyyzzzzz 1059 < 17 , 73 >= xxxxxxyyyyyzzzzzz 1060 < 17 , 74 >= xxxxxxyyyyzzzzzzz 1061 < 17 , 75 >= xxxxxxyyyzzzzzzzz 1062 < 17 , 76 >= xxxxxxyyzzzzzzzzz 1063 < 17 , 77 >= xxxxxxyzzzzzzzzzz 1064 < 17 , 78 >= xxxxxxzzzzzzzzzzz 1065 < 17 , 79 >= xxxxxyyyyyyyyyyyy 1066 < 17 , 80 >= xxxxxyyyyyyyyyyyz 1067 < 17 , 81 >= xxxxxyyyyyyyyyyzz 1068 < 17 , 82 >= xxxxxyyyyyyyyyzzz 1069 < 17 , 83 >= xxxxxyyyyyyyyzzzz 1070 < 17 , 84 >= xxxxxyyyyyyyzzzzz 1071 < 17 , 85 >= xxxxxyyyyyyzzzzzz 1072 < 17 , 86 >= xxxxxyyyyyzzzzzzz 1073 < 17 , 87 >= xxxxxyyyyzzzzzzzz 1074 < 17 , 88 >= xxxxxyyyzzzzzzzzz 1075 < 17 , 89 >= xxxxxyyzzzzzzzzzz 1076 < 17 , 90 >= xxxxxyzzzzzzzzzzz 1077 < 17 , 91 >= xxxxxzzzzzzzzzzzz 1078 < 17 , 92 >= xxxxyyyyyyyyyyyyy 1079 < 17 , 93 >= xxxxyyyyyyyyyyyyz 1080 < 17 , 94 >= xxxxyyyyyyyyyyyzz 1081 < 17 , 95 >= xxxxyyyyyyyyyyzzz 1082 < 17 , 96 >= xxxxyyyyyyyyyzzzz 1083 < 17 , 97 >= xxxxyyyyyyyyzzzzz 1084 < 17 , 98 >= xxxxyyyyyyyzzzzzz 1085 < 17 , 99 >= xxxxyyyyyyzzzzzzz 1086 < 17 , 100 >= xxxxyyyyyzzzzzzzz 1087 < 17 , 101 >= xxxxyyyyzzzzzzzzz 1088 < 17 , 102 >= xxxxyyyzzzzzzzzzz 1089 < 17 , 103 >= xxxxyyzzzzzzzzzzz 1090 < 17 , 104 >= xxxxyzzzzzzzzzzzz 1091 < 17 , 105 >= xxxxzzzzzzzzzzzzz 1092 < 17 , 106 >= xxxyyyyyyyyyyyyyy 1093 < 17 , 107 >= xxxyyyyyyyyyyyyyz 1094 < 17 , 108 >= xxxyyyyyyyyyyyyzz 1095 < 17 , 109 >= xxxyyyyyyyyyyyzzz 1096 < 17 , 110 >= xxxyyyyyyyyyyzzzz 1097 < 17 , 111 >= xxxyyyyyyyyyzzzzz 1098 < 17 , 112 >= xxxyyyyyyyyzzzzzz 1099 < 17 , 113 >= xxxyyyyyyyzzzzzzz 1100 < 17 , 114 >= xxxyyyyyyzzzzzzzz 1101 < 17 , 115 >= xxxyyyyyzzzzzzzzz 1102 < 17 , 116 >= xxxyyyyzzzzzzzzzz 1103 < 17 , 117 >= xxxyyyzzzzzzzzzzz 1104 < 17 , 118 >= xxxyyzzzzzzzzzzzz 1105 < 17 , 119 >= xxxyzzzzzzzzzzzzz 1106 < 17 , 120 >= xxxzzzzzzzzzzzzzz 1107 < 17 , 121 >= xxyyyyyyyyyyyyyyy 1108 < 17 , 122 >= xxyyyyyyyyyyyyyyz 1109 < 17 , 123 >= xxyyyyyyyyyyyyyzz 1110 < 17 , 124 >= xxyyyyyyyyyyyyzzz 1111 < 17 , 125 >= xxyyyyyyyyyyyzzzz 1112 < 17 , 126 >= xxyyyyyyyyyyzzzzz 1113 < 17 , 127 >= xxyyyyyyyyyzzzzzz 1114 < 17 , 128 >= xxyyyyyyyyzzzzzzz 1115 < 17 , 129 >= xxyyyyyyyzzzzzzzz 1116 < 17 , 130 >= xxyyyyyyzzzzzzzzz 1117 < 17 , 131 >= xxyyyyyzzzzzzzzzz 1118 < 17 , 132 >= xxyyyyzzzzzzzzzzz 1119 < 17 , 133 >= xxyyyzzzzzzzzzzzz 1120 < 17 , 134 >= xxyyzzzzzzzzzzzzz 1121 < 17 , 135 >= xxyzzzzzzzzzzzzzz 1122 < 17 , 136 >= xxzzzzzzzzzzzzzzz 1123 < 17 , 137 >= xyyyyyyyyyyyyyyyy 1124 < 17 , 138 >= xyyyyyyyyyyyyyyyz 1125 < 17 , 139 >= xyyyyyyyyyyyyyyzz 1126 < 17 , 140 >= xyyyyyyyyyyyyyzzz 1127 < 17 , 141 >= xyyyyyyyyyyyyzzzz 1128 < 17 , 142 >= xyyyyyyyyyyyzzzzz 1129 < 17 , 143 >= xyyyyyyyyyyzzzzzz 1130 < 17 , 144 >= xyyyyyyyyyzzzzzzz 1131 < 17 , 145 >= xyyyyyyyyzzzzzzzz 1132 < 17 , 146 >= xyyyyyyyzzzzzzzzz 1133 < 17 , 147 >= xyyyyyyzzzzzzzzzz 1134 < 17 , 148 >= xyyyyyzzzzzzzzzzz 1135 < 17 , 149 >= xyyyyzzzzzzzzzzzz 1136 < 17 , 150 >= xyyyzzzzzzzzzzzzz 1137 < 17 , 151 >= xyyzzzzzzzzzzzzzz 1138 < 17 , 152 >= xyzzzzzzzzzzzzzzz 1139 < 17 , 153 >= xzzzzzzzzzzzzzzzz 1140 < 17 , 154 >= yyyyyyyyyyyyyyyyy 1141 < 17 , 155 >= yyyyyyyyyyyyyyyyz 1142 < 17 , 156 >= yyyyyyyyyyyyyyyzz 1143 < 17 , 157 >= yyyyyyyyyyyyyyzzz 1144 < 17 , 158 >= yyyyyyyyyyyyyzzzz 1145 < 17 , 159 >= yyyyyyyyyyyyzzzzz 1146 < 17 , 160 >= yyyyyyyyyyyzzzzzz 1147 < 17 , 161 >= yyyyyyyyyyzzzzzzz 1148 < 17 , 162 >= yyyyyyyyyzzzzzzzz 1149 < 17 , 163 >= yyyyyyyyzzzzzzzzz 1150 < 17 , 164 >= yyyyyyyzzzzzzzzzz 1151 < 17 , 165 >= yyyyyyzzzzzzzzzzz 1152 < 17 , 166 >= yyyyyzzzzzzzzzzzz 1153 < 17 , 167 >= yyyyzzzzzzzzzzzzz 1154 < 17 , 168 >= yyyzzzzzzzzzzzzzz 1155 < 17 , 169 >= yyzzzzzzzzzzzzzzz 1156 < 17 , 170 >= yzzzzzzzzzzzzzzzz 1157 < 17 , 171 >= zzzzzzzzzzzzzzzzz 1158 1159 < 18 , 1 >= xxxxxxxxxxxxxxxxxx 1160 < 18 , 2 >= xxxxxxxxxxxxxxxxxy 1161 < 18 , 3 >= xxxxxxxxxxxxxxxxxz 1162 < 18 , 4 >= xxxxxxxxxxxxxxxxyy 1163 < 18 , 5 >= xxxxxxxxxxxxxxxxyz 1164 < 18 , 6 >= xxxxxxxxxxxxxxxxzz 1165 < 18 , 7 >= xxxxxxxxxxxxxxxyyy 1166 < 18 , 8 >= xxxxxxxxxxxxxxxyyz 1167 < 18 , 9 >= xxxxxxxxxxxxxxxyzz 1168 < 18 , 10 >= xxxxxxxxxxxxxxxzzz 1169 < 18 , 11 >= xxxxxxxxxxxxxxyyyy 1170 < 18 , 12 >= xxxxxxxxxxxxxxyyyz 1171 < 18 , 13 >= xxxxxxxxxxxxxxyyzz 1172 < 18 , 14 >= xxxxxxxxxxxxxxyzzz 1173 < 18 , 15 >= xxxxxxxxxxxxxxzzzz 1174 < 18 , 16 >= xxxxxxxxxxxxxyyyyy 1175 < 18 , 17 >= xxxxxxxxxxxxxyyyyz 1176 < 18 , 18 >= xxxxxxxxxxxxxyyyzz 1177 < 18 , 19 >= xxxxxxxxxxxxxyyzzz 1178 < 18 , 20 >= xxxxxxxxxxxxxyzzzz 1179 < 18 , 21 >= xxxxxxxxxxxxxzzzzz 1180 < 18 , 22 >= xxxxxxxxxxxxyyyyyy 1181 < 18 , 23 >= xxxxxxxxxxxxyyyyyz 1182 < 18 , 24 >= xxxxxxxxxxxxyyyyzz 1183 < 18 , 25 >= xxxxxxxxxxxxyyyzzz 1184 < 18 , 26 >= xxxxxxxxxxxxyyzzzz 1185 < 18 , 27 >= xxxxxxxxxxxxyzzzzz 1186 < 18 , 28 >= xxxxxxxxxxxxzzzzzz 1187 < 18 , 29 >= xxxxxxxxxxxyyyyyyy 1188 < 18 , 30 >= xxxxxxxxxxxyyyyyyz 1189 < 18 , 31 >= xxxxxxxxxxxyyyyyzz 1190 < 18 , 32 >= xxxxxxxxxxxyyyyzzz 1191 < 18 , 33 >= xxxxxxxxxxxyyyzzzz 1192 < 18 , 34 >= xxxxxxxxxxxyyzzzzz 1193 < 18 , 35 >= xxxxxxxxxxxyzzzzzz 1194 < 18 , 36 >= xxxxxxxxxxxzzzzzzz 1195 < 18 , 37 >= xxxxxxxxxxyyyyyyyy 1196 < 18 , 38 >= xxxxxxxxxxyyyyyyyz 1197 < 18 , 39 >= xxxxxxxxxxyyyyyyzz 1198 < 18 , 40 >= xxxxxxxxxxyyyyyzzz 1199 < 18 , 41 >= xxxxxxxxxxyyyyzzzz 1200 < 18 , 42 >= xxxxxxxxxxyyyzzzzz 1201 < 18 , 43 >= xxxxxxxxxxyyzzzzzz 1202 < 18 , 44 >= xxxxxxxxxxyzzzzzzz 1203 < 18 , 45 >= xxxxxxxxxxzzzzzzzz 1204 < 18 , 46 >= xxxxxxxxxyyyyyyyyy 1205 < 18 , 47 >= xxxxxxxxxyyyyyyyyz 1206 < 18 , 48 >= xxxxxxxxxyyyyyyyzz 1207 < 18 , 49 >= xxxxxxxxxyyyyyyzzz 1208 < 18 , 50 >= xxxxxxxxxyyyyyzzzz 1209 < 18 , 51 >= xxxxxxxxxyyyyzzzzz 1210 < 18 , 52 >= xxxxxxxxxyyyzzzzzz 1211 < 18 , 53 >= xxxxxxxxxyyzzzzzzz 1212 < 18 , 54 >= xxxxxxxxxyzzzzzzzz 1213 < 18 , 55 >= xxxxxxxxxzzzzzzzzz 1214 < 18 , 56 >= xxxxxxxxyyyyyyyyyy 1215 < 18 , 57 >= xxxxxxxxyyyyyyyyyz 1216 < 18 , 58 >= xxxxxxxxyyyyyyyyzz 1217 < 18 , 59 >= xxxxxxxxyyyyyyyzzz 1218 < 18 , 60 >= xxxxxxxxyyyyyyzzzz 1219 < 18 , 61 >= xxxxxxxxyyyyyzzzzz 1220 < 18 , 62 >= xxxxxxxxyyyyzzzzzz 1221 < 18 , 63 >= xxxxxxxxyyyzzzzzzz 1222 < 18 , 64 >= xxxxxxxxyyzzzzzzzz 1223 < 18 , 65 >= xxxxxxxxyzzzzzzzzz 1224 < 18 , 66 >= xxxxxxxxzzzzzzzzzz 1225 < 18 , 67 >= xxxxxxxyyyyyyyyyyy 1226 < 18 , 68 >= xxxxxxxyyyyyyyyyyz 1227 < 18 , 69 >= xxxxxxxyyyyyyyyyzz 1228 < 18 , 70 >= xxxxxxxyyyyyyyyzzz 1229 < 18 , 71 >= xxxxxxxyyyyyyyzzzz 1230 < 18 , 72 >= xxxxxxxyyyyyyzzzzz 1231 < 18 , 73 >= xxxxxxxyyyyyzzzzzz 1232 < 18 , 74 >= xxxxxxxyyyyzzzzzzz 1233 < 18 , 75 >= xxxxxxxyyyzzzzzzzz 1234 < 18 , 76 >= xxxxxxxyyzzzzzzzzz 1235 < 18 , 77 >= xxxxxxxyzzzzzzzzzz 1236 < 18 , 78 >= xxxxxxxzzzzzzzzzzz 1237 < 18 , 79 >= xxxxxxyyyyyyyyyyyy 1238 < 18 , 80 >= xxxxxxyyyyyyyyyyyz 1239 < 18 , 81 >= xxxxxxyyyyyyyyyyzz 1240 < 18 , 82 >= xxxxxxyyyyyyyyyzzz 1241 < 18 , 83 >= xxxxxxyyyyyyyyzzzz 1242 < 18 , 84 >= xxxxxxyyyyyyyzzzzz 1243 < 18 , 85 >= xxxxxxyyyyyyzzzzzz 1244 < 18 , 86 >= xxxxxxyyyyyzzzzzzz 1245 < 18 , 87 >= xxxxxxyyyyzzzzzzzz 1246 < 18 , 88 >= xxxxxxyyyzzzzzzzzz 1247 < 18 , 89 >= xxxxxxyyzzzzzzzzzz 1248 < 18 , 90 >= xxxxxxyzzzzzzzzzzz 1249 < 18 , 91 >= xxxxxxzzzzzzzzzzzz 1250 < 18 , 92 >= xxxxxyyyyyyyyyyyyy 1251 < 18 , 93 >= xxxxxyyyyyyyyyyyyz 1252 < 18 , 94 >= xxxxxyyyyyyyyyyyzz 1253 < 18 , 95 >= xxxxxyyyyyyyyyyzzz 1254 < 18 , 96 >= xxxxxyyyyyyyyyzzzz 1255 < 18 , 97 >= xxxxxyyyyyyyyzzzzz 1256 < 18 , 98 >= xxxxxyyyyyyyzzzzzz 1257 < 18 , 99 >= xxxxxyyyyyyzzzzzzz 1258 < 18 , 100 >= xxxxxyyyyyzzzzzzzz 1259 < 18 , 101 >= xxxxxyyyyzzzzzzzzz 1260 < 18 , 102 >= xxxxxyyyzzzzzzzzzz 1261 < 18 , 103 >= xxxxxyyzzzzzzzzzzz 1262 < 18 , 104 >= xxxxxyzzzzzzzzzzzz 1263 < 18 , 105 >= xxxxxzzzzzzzzzzzzz 1264 < 18 , 106 >= xxxxyyyyyyyyyyyyyy 1265 < 18 , 107 >= xxxxyyyyyyyyyyyyyz 1266 < 18 , 108 >= xxxxyyyyyyyyyyyyzz 1267 < 18 , 109 >= xxxxyyyyyyyyyyyzzz 1268 < 18 , 110 >= xxxxyyyyyyyyyyzzzz 1269 < 18 , 111 >= xxxxyyyyyyyyyzzzzz 1270 < 18 , 112 >= xxxxyyyyyyyyzzzzzz 1271 < 18 , 113 >= xxxxyyyyyyyzzzzzzz 1272 < 18 , 114 >= xxxxyyyyyyzzzzzzzz 1273 < 18 , 115 >= xxxxyyyyyzzzzzzzzz 1274 < 18 , 116 >= xxxxyyyyzzzzzzzzzz 1275 < 18 , 117 >= xxxxyyyzzzzzzzzzzz 1276 < 18 , 118 >= xxxxyyzzzzzzzzzzzz 1277 < 18 , 119 >= xxxxyzzzzzzzzzzzzz 1278 < 18 , 120 >= xxxxzzzzzzzzzzzzzz 1279 < 18 , 121 >= xxxyyyyyyyyyyyyyyy 1280 < 18 , 122 >= xxxyyyyyyyyyyyyyyz 1281 < 18 , 123 >= xxxyyyyyyyyyyyyyzz 1282 < 18 , 124 >= xxxyyyyyyyyyyyyzzz 1283 < 18 , 125 >= xxxyyyyyyyyyyyzzzz 1284 < 18 , 126 >= xxxyyyyyyyyyyzzzzz 1285 < 18 , 127 >= xxxyyyyyyyyyzzzzzz 1286 < 18 , 128 >= xxxyyyyyyyyzzzzzzz 1287 < 18 , 129 >= xxxyyyyyyyzzzzzzzz 1288 < 18 , 130 >= xxxyyyyyyzzzzzzzzz 1289 < 18 , 131 >= xxxyyyyyzzzzzzzzzz 1290 < 18 , 132 >= xxxyyyyzzzzzzzzzzz 1291 < 18 , 133 >= xxxyyyzzzzzzzzzzzz 1292 < 18 , 134 >= xxxyyzzzzzzzzzzzzz 1293 < 18 , 135 >= xxxyzzzzzzzzzzzzzz 1294 < 18 , 136 >= xxxzzzzzzzzzzzzzzz 1295 < 18 , 137 >= xxyyyyyyyyyyyyyyyy 1296 < 18 , 138 >= xxyyyyyyyyyyyyyyyz 1297 < 18 , 139 >= xxyyyyyyyyyyyyyyzz 1298 < 18 , 140 >= xxyyyyyyyyyyyyyzzz 1299 < 18 , 141 >= xxyyyyyyyyyyyyzzzz 1300 < 18 , 142 >= xxyyyyyyyyyyyzzzzz 1301 < 18 , 143 >= xxyyyyyyyyyyzzzzzz 1302 < 18 , 144 >= xxyyyyyyyyyzzzzzzz 1303 < 18 , 145 >= xxyyyyyyyyzzzzzzzz 1304 < 18 , 146 >= xxyyyyyyyzzzzzzzzz 1305 < 18 , 147 >= xxyyyyyyzzzzzzzzzz 1306 < 18 , 148 >= xxyyyyyzzzzzzzzzzz 1307 < 18 , 149 >= xxyyyyzzzzzzzzzzzz 1308 < 18 , 150 >= xxyyyzzzzzzzzzzzzz 1309 < 18 , 151 >= xxyyzzzzzzzzzzzzzz 1310 < 18 , 152 >= xxyzzzzzzzzzzzzzzz 1311 < 18 , 153 >= xxzzzzzzzzzzzzzzzz 1312 < 18 , 154 >= xyyyyyyyyyyyyyyyyy 1313 < 18 , 155 >= xyyyyyyyyyyyyyyyyz 1314 < 18 , 156 >= xyyyyyyyyyyyyyyyzz 1315 < 18 , 157 >= xyyyyyyyyyyyyyyzzz 1316 < 18 , 158 >= xyyyyyyyyyyyyyzzzz 1317 < 18 , 159 >= xyyyyyyyyyyyyzzzzz 1318 < 18 , 160 >= xyyyyyyyyyyyzzzzzz 1319 < 18 , 161 >= xyyyyyyyyyyzzzzzzz 1320 < 18 , 162 >= xyyyyyyyyyzzzzzzzz 1321 < 18 , 163 >= xyyyyyyyyzzzzzzzzz 1322 < 18 , 164 >= xyyyyyyyzzzzzzzzzz 1323 < 18 , 165 >= xyyyyyyzzzzzzzzzzz 1324 < 18 , 166 >= xyyyyyzzzzzzzzzzzz 1325 < 18 , 167 >= xyyyyzzzzzzzzzzzzz 1326 < 18 , 168 >= xyyyzzzzzzzzzzzzzz 1327 < 18 , 169 >= xyyzzzzzzzzzzzzzzz 1328 < 18 , 170 >= xyzzzzzzzzzzzzzzzz 1329 < 18 , 171 >= xzzzzzzzzzzzzzzzzz 1330 < 18 , 172 >= yyyyyyyyyyyyyyyyyy 1331 < 18 , 173 >= yyyyyyyyyyyyyyyyyz 1332 < 18 , 174 >= yyyyyyyyyyyyyyyyzz 1333 < 18 , 175 >= yyyyyyyyyyyyyyyzzz 1334 < 18 , 176 >= yyyyyyyyyyyyyyzzzz 1335 < 18 , 177 >= yyyyyyyyyyyyyzzzzz 1336 < 18 , 178 >= yyyyyyyyyyyyzzzzzz 1337 < 18 , 179 >= yyyyyyyyyyyzzzzzzz 1338 < 18 , 180 >= yyyyyyyyyyzzzzzzzz 1339 < 18 , 181 >= yyyyyyyyyzzzzzzzzz 1340 < 18 , 182 >= yyyyyyyyzzzzzzzzzz 1341 < 18 , 183 >= yyyyyyyzzzzzzzzzzz 1342 < 18 , 184 >= yyyyyyzzzzzzzzzzzz 1343 < 18 , 185 >= yyyyyzzzzzzzzzzzzz 1344 < 18 , 186 >= yyyyzzzzzzzzzzzzzz 1345 < 18 , 187 >= yyyzzzzzzzzzzzzzzz 1346 < 18 , 188 >= yyzzzzzzzzzzzzzzzz 1347 < 18 , 189 >= yzzzzzzzzzzzzzzzzz 1348 < 18 , 190 >= zzzzzzzzzzzzzzzzzz 1349 1350 < 19 , 1 >= xxxxxxxxxxxxxxxxxxx 1351 < 19 , 2 >= xxxxxxxxxxxxxxxxxxy 1352 < 19 , 3 >= xxxxxxxxxxxxxxxxxxz 1353 < 19 , 4 >= xxxxxxxxxxxxxxxxxyy 1354 < 19 , 5 >= xxxxxxxxxxxxxxxxxyz 1355 < 19 , 6 >= xxxxxxxxxxxxxxxxxzz 1356 < 19 , 7 >= xxxxxxxxxxxxxxxxyyy 1357 < 19 , 8 >= xxxxxxxxxxxxxxxxyyz 1358 < 19 , 9 >= xxxxxxxxxxxxxxxxyzz 1359 < 19 , 10 >= xxxxxxxxxxxxxxxxzzz 1360 < 19 , 11 >= xxxxxxxxxxxxxxxyyyy 1361 < 19 , 12 >= xxxxxxxxxxxxxxxyyyz 1362 < 19 , 13 >= xxxxxxxxxxxxxxxyyzz 1363 < 19 , 14 >= xxxxxxxxxxxxxxxyzzz 1364 < 19 , 15 >= xxxxxxxxxxxxxxxzzzz 1365 < 19 , 16 >= xxxxxxxxxxxxxxyyyyy 1366 < 19 , 17 >= xxxxxxxxxxxxxxyyyyz 1367 < 19 , 18 >= xxxxxxxxxxxxxxyyyzz 1368 < 19 , 19 >= xxxxxxxxxxxxxxyyzzz 1369 < 19 , 20 >= xxxxxxxxxxxxxxyzzzz 1370 < 19 , 21 >= xxxxxxxxxxxxxxzzzzz 1371 < 19 , 22 >= xxxxxxxxxxxxxyyyyyy 1372 < 19 , 23 >= xxxxxxxxxxxxxyyyyyz 1373 < 19 , 24 >= xxxxxxxxxxxxxyyyyzz 1374 < 19 , 25 >= xxxxxxxxxxxxxyyyzzz 1375 < 19 , 26 >= xxxxxxxxxxxxxyyzzzz 1376 < 19 , 27 >= xxxxxxxxxxxxxyzzzzz 1377 < 19 , 28 >= xxxxxxxxxxxxxzzzzzz 1378 < 19 , 29 >= xxxxxxxxxxxxyyyyyyy 1379 < 19 , 30 >= xxxxxxxxxxxxyyyyyyz 1380 < 19 , 31 >= xxxxxxxxxxxxyyyyyzz 1381 < 19 , 32 >= xxxxxxxxxxxxyyyyzzz 1382 < 19 , 33 >= xxxxxxxxxxxxyyyzzzz 1383 < 19 , 34 >= xxxxxxxxxxxxyyzzzzz 1384 < 19 , 35 >= xxxxxxxxxxxxyzzzzzz 1385 < 19 , 36 >= xxxxxxxxxxxxzzzzzzz 1386 < 19 , 37 >= xxxxxxxxxxxyyyyyyyy 1387 < 19 , 38 >= xxxxxxxxxxxyyyyyyyz 1388 < 19 , 39 >= xxxxxxxxxxxyyyyyyzz 1389 < 19 , 40 >= xxxxxxxxxxxyyyyyzzz 1390 < 19 , 41 >= xxxxxxxxxxxyyyyzzzz 1391 < 19 , 42 >= xxxxxxxxxxxyyyzzzzz 1392 < 19 , 43 >= xxxxxxxxxxxyyzzzzzz 1393 < 19 , 44 >= xxxxxxxxxxxyzzzzzzz 1394 < 19 , 45 >= xxxxxxxxxxxzzzzzzzz 1395 < 19 , 46 >= xxxxxxxxxxyyyyyyyyy 1396 < 19 , 47 >= xxxxxxxxxxyyyyyyyyz 1397 < 19 , 48 >= xxxxxxxxxxyyyyyyyzz 1398 < 19 , 49 >= xxxxxxxxxxyyyyyyzzz 1399 < 19 , 50 >= xxxxxxxxxxyyyyyzzzz 1400 < 19 , 51 >= xxxxxxxxxxyyyyzzzzz 1401 < 19 , 52 >= xxxxxxxxxxyyyzzzzzz 1402 < 19 , 53 >= xxxxxxxxxxyyzzzzzzz 1403 < 19 , 54 >= xxxxxxxxxxyzzzzzzzz 1404 < 19 , 55 >= xxxxxxxxxxzzzzzzzzz 1405 < 19 , 56 >= xxxxxxxxxyyyyyyyyyy 1406 < 19 , 57 >= xxxxxxxxxyyyyyyyyyz 1407 < 19 , 58 >= xxxxxxxxxyyyyyyyyzz 1408 < 19 , 59 >= xxxxxxxxxyyyyyyyzzz 1409 < 19 , 60 >= xxxxxxxxxyyyyyyzzzz 1410 < 19 , 61 >= xxxxxxxxxyyyyyzzzzz 1411 < 19 , 62 >= xxxxxxxxxyyyyzzzzzz 1412 < 19 , 63 >= xxxxxxxxxyyyzzzzzzz 1413 < 19 , 64 >= xxxxxxxxxyyzzzzzzzz 1414 < 19 , 65 >= xxxxxxxxxyzzzzzzzzz 1415 < 19 , 66 >= xxxxxxxxxzzzzzzzzzz 1416 < 19 , 67 >= xxxxxxxxyyyyyyyyyyy 1417 < 19 , 68 >= xxxxxxxxyyyyyyyyyyz 1418 < 19 , 69 >= xxxxxxxxyyyyyyyyyzz 1419 < 19 , 70 >= xxxxxxxxyyyyyyyyzzz 1420 < 19 , 71 >= xxxxxxxxyyyyyyyzzzz 1421 < 19 , 72 >= xxxxxxxxyyyyyyzzzzz 1422 < 19 , 73 >= xxxxxxxxyyyyyzzzzzz 1423 < 19 , 74 >= xxxxxxxxyyyyzzzzzzz 1424 < 19 , 75 >= xxxxxxxxyyyzzzzzzzz 1425 < 19 , 76 >= xxxxxxxxyyzzzzzzzzz 1426 < 19 , 77 >= xxxxxxxxyzzzzzzzzzz 1427 < 19 , 78 >= xxxxxxxxzzzzzzzzzzz 1428 < 19 , 79 >= xxxxxxxyyyyyyyyyyyy 1429 < 19 , 80 >= xxxxxxxyyyyyyyyyyyz 1430 < 19 , 81 >= xxxxxxxyyyyyyyyyyzz 1431 < 19 , 82 >= xxxxxxxyyyyyyyyyzzz 1432 < 19 , 83 >= xxxxxxxyyyyyyyyzzzz 1433 < 19 , 84 >= xxxxxxxyyyyyyyzzzzz 1434 < 19 , 85 >= xxxxxxxyyyyyyzzzzzz 1435 < 19 , 86 >= xxxxxxxyyyyyzzzzzzz 1436 < 19 , 87 >= xxxxxxxyyyyzzzzzzzz 1437 < 19 , 88 >= xxxxxxxyyyzzzzzzzzz 1438 < 19 , 89 >= xxxxxxxyyzzzzzzzzzz 1439 < 19 , 90 >= xxxxxxxyzzzzzzzzzzz 1440 < 19 , 91 >= xxxxxxxzzzzzzzzzzzz 1441 < 19 , 92 >= xxxxxxyyyyyyyyyyyyy 1442 < 19 , 93 >= xxxxxxyyyyyyyyyyyyz 1443 < 19 , 94 >= xxxxxxyyyyyyyyyyyzz 1444 < 19 , 95 >= xxxxxxyyyyyyyyyyzzz 1445 < 19 , 96 >= xxxxxxyyyyyyyyyzzzz 1446 < 19 , 97 >= xxxxxxyyyyyyyyzzzzz 1447 < 19 , 98 >= xxxxxxyyyyyyyzzzzzz 1448 < 19 , 99 >= xxxxxxyyyyyyzzzzzzz 1449 < 19 , 100 >= xxxxxxyyyyyzzzzzzzz 1450 < 19 , 101 >= xxxxxxyyyyzzzzzzzzz 1451 < 19 , 102 >= xxxxxxyyyzzzzzzzzzz 1452 < 19 , 103 >= xxxxxxyyzzzzzzzzzzz 1453 < 19 , 104 >= xxxxxxyzzzzzzzzzzzz 1454 < 19 , 105 >= xxxxxxzzzzzzzzzzzzz 1455 < 19 , 106 >= xxxxxyyyyyyyyyyyyyy 1456 < 19 , 107 >= xxxxxyyyyyyyyyyyyyz 1457 < 19 , 108 >= xxxxxyyyyyyyyyyyyzz 1458 < 19 , 109 >= xxxxxyyyyyyyyyyyzzz 1459 < 19 , 110 >= xxxxxyyyyyyyyyyzzzz 1460 < 19 , 111 >= xxxxxyyyyyyyyyzzzzz 1461 < 19 , 112 >= xxxxxyyyyyyyyzzzzzz 1462 < 19 , 113 >= xxxxxyyyyyyyzzzzzzz 1463 < 19 , 114 >= xxxxxyyyyyyzzzzzzzz 1464 < 19 , 115 >= xxxxxyyyyyzzzzzzzzz 1465 < 19 , 116 >= xxxxxyyyyzzzzzzzzzz 1466 < 19 , 117 >= xxxxxyyyzzzzzzzzzzz 1467 < 19 , 118 >= xxxxxyyzzzzzzzzzzzz 1468 < 19 , 119 >= xxxxxyzzzzzzzzzzzzz 1469 < 19 , 120 >= xxxxxzzzzzzzzzzzzzz 1470 < 19 , 121 >= xxxxyyyyyyyyyyyyyyy 1471 < 19 , 122 >= xxxxyyyyyyyyyyyyyyz 1472 < 19 , 123 >= xxxxyyyyyyyyyyyyyzz 1473 < 19 , 124 >= xxxxyyyyyyyyyyyyzzz 1474 < 19 , 125 >= xxxxyyyyyyyyyyyzzzz 1475 < 19 , 126 >= xxxxyyyyyyyyyyzzzzz 1476 < 19 , 127 >= xxxxyyyyyyyyyzzzzzz 1477 < 19 , 128 >= xxxxyyyyyyyyzzzzzzz 1478 < 19 , 129 >= xxxxyyyyyyyzzzzzzzz 1479 < 19 , 130 >= xxxxyyyyyyzzzzzzzzz 1480 < 19 , 131 >= xxxxyyyyyzzzzzzzzzz 1481 < 19 , 132 >= xxxxyyyyzzzzzzzzzzz 1482 < 19 , 133 >= xxxxyyyzzzzzzzzzzzz 1483 < 19 , 134 >= xxxxyyzzzzzzzzzzzzz 1484 < 19 , 135 >= xxxxyzzzzzzzzzzzzzz 1485 < 19 , 136 >= xxxxzzzzzzzzzzzzzzz 1486 < 19 , 137 >= xxxyyyyyyyyyyyyyyyy 1487 < 19 , 138 >= xxxyyyyyyyyyyyyyyyz 1488 < 19 , 139 >= xxxyyyyyyyyyyyyyyzz 1489 < 19 , 140 >= xxxyyyyyyyyyyyyyzzz 1490 < 19 , 141 >= xxxyyyyyyyyyyyyzzzz 1491 < 19 , 142 >= xxxyyyyyyyyyyyzzzzz 1492 < 19 , 143 >= xxxyyyyyyyyyyzzzzzz 1493 < 19 , 144 >= xxxyyyyyyyyyzzzzzzz 1494 < 19 , 145 >= xxxyyyyyyyyzzzzzzzz 1495 < 19 , 146 >= xxxyyyyyyyzzzzzzzzz 1496 < 19 , 147 >= xxxyyyyyyzzzzzzzzzz 1497 < 19 , 148 >= xxxyyyyyzzzzzzzzzzz 1498 < 19 , 149 >= xxxyyyyzzzzzzzzzzzz 1499 < 19 , 150 >= xxxyyyzzzzzzzzzzzzz 1500 < 19 , 151 >= xxxyyzzzzzzzzzzzzzz 1501 < 19 , 152 >= xxxyzzzzzzzzzzzzzzz 1502 < 19 , 153 >= xxxzzzzzzzzzzzzzzzz 1503 < 19 , 154 >= xxyyyyyyyyyyyyyyyyy 1504 < 19 , 155 >= xxyyyyyyyyyyyyyyyyz 1505 < 19 , 156 >= xxyyyyyyyyyyyyyyyzz 1506 < 19 , 157 >= xxyyyyyyyyyyyyyyzzz 1507 < 19 , 158 >= xxyyyyyyyyyyyyyzzzz 1508 < 19 , 159 >= xxyyyyyyyyyyyyzzzzz 1509 < 19 , 160 >= xxyyyyyyyyyyyzzzzzz 1510 < 19 , 161 >= xxyyyyyyyyyyzzzzzzz 1511 < 19 , 162 >= xxyyyyyyyyyzzzzzzzz 1512 < 19 , 163 >= xxyyyyyyyyzzzzzzzzz 1513 < 19 , 164 >= xxyyyyyyyzzzzzzzzzz 1514 < 19 , 165 >= xxyyyyyyzzzzzzzzzzz 1515 < 19 , 166 >= xxyyyyyzzzzzzzzzzzz 1516 < 19 , 167 >= xxyyyyzzzzzzzzzzzzz 1517 < 19 , 168 >= xxyyyzzzzzzzzzzzzzz 1518 < 19 , 169 >= xxyyzzzzzzzzzzzzzzz 1519 < 19 , 170 >= xxyzzzzzzzzzzzzzzzz 1520 < 19 , 171 >= xxzzzzzzzzzzzzzzzzz 1521 < 19 , 172 >= xyyyyyyyyyyyyyyyyyy 1522 < 19 , 173 >= xyyyyyyyyyyyyyyyyyz 1523 < 19 , 174 >= xyyyyyyyyyyyyyyyyzz 1524 < 19 , 175 >= xyyyyyyyyyyyyyyyzzz 1525 < 19 , 176 >= xyyyyyyyyyyyyyyzzzz 1526 < 19 , 177 >= xyyyyyyyyyyyyyzzzzz 1527 < 19 , 178 >= xyyyyyyyyyyyyzzzzzz 1528 < 19 , 179 >= xyyyyyyyyyyyzzzzzzz 1529 < 19 , 180 >= xyyyyyyyyyyzzzzzzzz 1530 < 19 , 181 >= xyyyyyyyyyzzzzzzzzz 1531 < 19 , 182 >= xyyyyyyyyzzzzzzzzzz 1532 < 19 , 183 >= xyyyyyyyzzzzzzzzzzz 1533 < 19 , 184 >= xyyyyyyzzzzzzzzzzzz 1534 < 19 , 185 >= xyyyyyzzzzzzzzzzzzz 1535 < 19 , 186 >= xyyyyzzzzzzzzzzzzzz 1536 < 19 , 187 >= xyyyzzzzzzzzzzzzzzz 1537 < 19 , 188 >= xyyzzzzzzzzzzzzzzzz 1538 < 19 , 189 >= xyzzzzzzzzzzzzzzzzz 1539 < 19 , 190 >= xzzzzzzzzzzzzzzzzzz 1540 < 19 , 191 >= yyyyyyyyyyyyyyyyyyy 1541 < 19 , 192 >= yyyyyyyyyyyyyyyyyyz 1542 < 19 , 193 >= yyyyyyyyyyyyyyyyyzz 1543 < 19 , 194 >= yyyyyyyyyyyyyyyyzzz 1544 < 19 , 195 >= yyyyyyyyyyyyyyyzzzz 1545 < 19 , 196 >= yyyyyyyyyyyyyyzzzzz 1546 < 19 , 197 >= yyyyyyyyyyyyyzzzzzz 1547 < 19 , 198 >= yyyyyyyyyyyyzzzzzzz 1548 < 19 , 199 >= yyyyyyyyyyyzzzzzzzz 1549 < 19 , 200 >= yyyyyyyyyyzzzzzzzzz 1550 < 19 , 201 >= yyyyyyyyyzzzzzzzzzz 1551 < 19 , 202 >= yyyyyyyyzzzzzzzzzzz 1552 < 19 , 203 >= yyyyyyyzzzzzzzzzzzz 1553 < 19 , 204 >= yyyyyyzzzzzzzzzzzzz 1554 < 19 , 205 >= yyyyyzzzzzzzzzzzzzz 1555 < 19 , 206 >= yyyyzzzzzzzzzzzzzzz 1556 < 19 , 207 >= yyyzzzzzzzzzzzzzzzz 1557 < 19 , 208 >= yyzzzzzzzzzzzzzzzzz 1558 < 19 , 209 >= yzzzzzzzzzzzzzzzzzz 1559 < 19 , 210 >= zzzzzzzzzzzzzzzzzzz 1560 1561 < 20 , 1 >= xxxxxxxxxxxxxxxxxxxx 1562 < 20 , 2 >= xxxxxxxxxxxxxxxxxxxy 1563 < 20 , 3 >= xxxxxxxxxxxxxxxxxxxz 1564 < 20 , 4 >= xxxxxxxxxxxxxxxxxxyy 1565 < 20 , 5 >= xxxxxxxxxxxxxxxxxxyz 1566 < 20 , 6 >= xxxxxxxxxxxxxxxxxxzz 1567 < 20 , 7 >= xxxxxxxxxxxxxxxxxyyy 1568 < 20 , 8 >= xxxxxxxxxxxxxxxxxyyz 1569 < 20 , 9 >= xxxxxxxxxxxxxxxxxyzz 1570 < 20 , 10 >= xxxxxxxxxxxxxxxxxzzz 1571 < 20 , 11 >= xxxxxxxxxxxxxxxxyyyy 1572 < 20 , 12 >= xxxxxxxxxxxxxxxxyyyz 1573 < 20 , 13 >= xxxxxxxxxxxxxxxxyyzz 1574 < 20 , 14 >= xxxxxxxxxxxxxxxxyzzz 1575 < 20 , 15 >= xxxxxxxxxxxxxxxxzzzz 1576 < 20 , 16 >= xxxxxxxxxxxxxxxyyyyy 1577 < 20 , 17 >= xxxxxxxxxxxxxxxyyyyz 1578 < 20 , 18 >= xxxxxxxxxxxxxxxyyyzz 1579 < 20 , 19 >= xxxxxxxxxxxxxxxyyzzz 1580 < 20 , 20 >= xxxxxxxxxxxxxxxyzzzz 1581 < 20 , 21 >= xxxxxxxxxxxxxxxzzzzz 1582 < 20 , 22 >= xxxxxxxxxxxxxxyyyyyy 1583 < 20 , 23 >= xxxxxxxxxxxxxxyyyyyz 1584 < 20 , 24 >= xxxxxxxxxxxxxxyyyyzz 1585 < 20 , 25 >= xxxxxxxxxxxxxxyyyzzz 1586 < 20 , 26 >= xxxxxxxxxxxxxxyyzzzz 1587 < 20 , 27 >= xxxxxxxxxxxxxxyzzzzz 1588 < 20 , 28 >= xxxxxxxxxxxxxxzzzzzz 1589 < 20 , 29 >= xxxxxxxxxxxxxyyyyyyy 1590 < 20 , 30 >= xxxxxxxxxxxxxyyyyyyz 1591 < 20 , 31 >= xxxxxxxxxxxxxyyyyyzz 1592 < 20 , 32 >= xxxxxxxxxxxxxyyyyzzz 1593 < 20 , 33 >= xxxxxxxxxxxxxyyyzzzz 1594 < 20 , 34 >= xxxxxxxxxxxxxyyzzzzz 1595 < 20 , 35 >= xxxxxxxxxxxxxyzzzzzz 1596 < 20 , 36 >= xxxxxxxxxxxxxzzzzzzz 1597 < 20 , 37 >= xxxxxxxxxxxxyyyyyyyy 1598 < 20 , 38 >= xxxxxxxxxxxxyyyyyyyz 1599 < 20 , 39 >= xxxxxxxxxxxxyyyyyyzz 1600 < 20 , 40 >= xxxxxxxxxxxxyyyyyzzz 1601 < 20 , 41 >= xxxxxxxxxxxxyyyyzzzz 1602 < 20 , 42 >= xxxxxxxxxxxxyyyzzzzz 1603 < 20 , 43 >= xxxxxxxxxxxxyyzzzzzz 1604 < 20 , 44 >= xxxxxxxxxxxxyzzzzzzz 1605 < 20 , 45 >= xxxxxxxxxxxxzzzzzzzz 1606 < 20 , 46 >= xxxxxxxxxxxyyyyyyyyy 1607 < 20 , 47 >= xxxxxxxxxxxyyyyyyyyz 1608 < 20 , 48 >= xxxxxxxxxxxyyyyyyyzz 1609 < 20 , 49 >= xxxxxxxxxxxyyyyyyzzz 1610 < 20 , 50 >= xxxxxxxxxxxyyyyyzzzz 1611 < 20 , 51 >= xxxxxxxxxxxyyyyzzzzz 1612 < 20 , 52 >= xxxxxxxxxxxyyyzzzzzz 1613 < 20 , 53 >= xxxxxxxxxxxyyzzzzzzz 1614 < 20 , 54 >= xxxxxxxxxxxyzzzzzzzz 1615 < 20 , 55 >= xxxxxxxxxxxzzzzzzzzz 1616 < 20 , 56 >= xxxxxxxxxxyyyyyyyyyy 1617 < 20 , 57 >= xxxxxxxxxxyyyyyyyyyz 1618 < 20 , 58 >= xxxxxxxxxxyyyyyyyyzz 1619 < 20 , 59 >= xxxxxxxxxxyyyyyyyzzz 1620 < 20 , 60 >= xxxxxxxxxxyyyyyyzzzz 1621 < 20 , 61 >= xxxxxxxxxxyyyyyzzzzz 1622 < 20 , 62 >= xxxxxxxxxxyyyyzzzzzz 1623 < 20 , 63 >= xxxxxxxxxxyyyzzzzzzz 1624 < 20 , 64 >= xxxxxxxxxxyyzzzzzzzz 1625 < 20 , 65 >= xxxxxxxxxxyzzzzzzzzz 1626 < 20 , 66 >= xxxxxxxxxxzzzzzzzzzz 1627 < 20 , 67 >= xxxxxxxxxyyyyyyyyyyy 1628 < 20 , 68 >= xxxxxxxxxyyyyyyyyyyz 1629 < 20 , 69 >= xxxxxxxxxyyyyyyyyyzz 1630 < 20 , 70 >= xxxxxxxxxyyyyyyyyzzz 1631 < 20 , 71 >= xxxxxxxxxyyyyyyyzzzz 1632 < 20 , 72 >= xxxxxxxxxyyyyyyzzzzz 1633 < 20 , 73 >= xxxxxxxxxyyyyyzzzzzz 1634 < 20 , 74 >= xxxxxxxxxyyyyzzzzzzz 1635 < 20 , 75 >= xxxxxxxxxyyyzzzzzzzz 1636 < 20 , 76 >= xxxxxxxxxyyzzzzzzzzz 1637 < 20 , 77 >= xxxxxxxxxyzzzzzzzzzz 1638 < 20 , 78 >= xxxxxxxxxzzzzzzzzzzz 1639 < 20 , 79 >= xxxxxxxxyyyyyyyyyyyy 1640 < 20 , 80 >= xxxxxxxxyyyyyyyyyyyz 1641 < 20 , 81 >= xxxxxxxxyyyyyyyyyyzz 1642 < 20 , 82 >= xxxxxxxxyyyyyyyyyzzz 1643 < 20 , 83 >= xxxxxxxxyyyyyyyyzzzz 1644 < 20 , 84 >= xxxxxxxxyyyyyyyzzzzz 1645 < 20 , 85 >= xxxxxxxxyyyyyyzzzzzz 1646 < 20 , 86 >= xxxxxxxxyyyyyzzzzzzz 1647 < 20 , 87 >= xxxxxxxxyyyyzzzzzzzz 1648 < 20 , 88 >= xxxxxxxxyyyzzzzzzzzz 1649 < 20 , 89 >= xxxxxxxxyyzzzzzzzzzz 1650 < 20 , 90 >= xxxxxxxxyzzzzzzzzzzz 1651 < 20 , 91 >= xxxxxxxxzzzzzzzzzzzz 1652 < 20 , 92 >= xxxxxxxyyyyyyyyyyyyy 1653 < 20 , 93 >= xxxxxxxyyyyyyyyyyyyz 1654 < 20 , 94 >= xxxxxxxyyyyyyyyyyyzz 1655 < 20 , 95 >= xxxxxxxyyyyyyyyyyzzz 1656 < 20 , 96 >= xxxxxxxyyyyyyyyyzzzz 1657 < 20 , 97 >= xxxxxxxyyyyyyyyzzzzz 1658 < 20 , 98 >= xxxxxxxyyyyyyyzzzzzz 1659 < 20 , 99 >= xxxxxxxyyyyyyzzzzzzz 1660 < 20 , 100 >= xxxxxxxyyyyyzzzzzzzz 1661 < 20 , 101 >= xxxxxxxyyyyzzzzzzzzz 1662 < 20 , 102 >= xxxxxxxyyyzzzzzzzzzz 1663 < 20 , 103 >= xxxxxxxyyzzzzzzzzzzz 1664 < 20 , 104 >= xxxxxxxyzzzzzzzzzzzz 1665 < 20 , 105 >= xxxxxxxzzzzzzzzzzzzz 1666 < 20 , 106 >= xxxxxxyyyyyyyyyyyyyy 1667 < 20 , 107 >= xxxxxxyyyyyyyyyyyyyz 1668 < 20 , 108 >= xxxxxxyyyyyyyyyyyyzz 1669 < 20 , 109 >= xxxxxxyyyyyyyyyyyzzz 1670 < 20 , 110 >= xxxxxxyyyyyyyyyyzzzz 1671 < 20 , 111 >= xxxxxxyyyyyyyyyzzzzz 1672 < 20 , 112 >= xxxxxxyyyyyyyyzzzzzz 1673 < 20 , 113 >= xxxxxxyyyyyyyzzzzzzz 1674 < 20 , 114 >= xxxxxxyyyyyyzzzzzzzz 1675 < 20 , 115 >= xxxxxxyyyyyzzzzzzzzz 1676 < 20 , 116 >= xxxxxxyyyyzzzzzzzzzz 1677 < 20 , 117 >= xxxxxxyyyzzzzzzzzzzz 1678 < 20 , 118 >= xxxxxxyyzzzzzzzzzzzz 1679 < 20 , 119 >= xxxxxxyzzzzzzzzzzzzz 1680 < 20 , 120 >= xxxxxxzzzzzzzzzzzzzz 1681 < 20 , 121 >= xxxxxyyyyyyyyyyyyyyy 1682 < 20 , 122 >= xxxxxyyyyyyyyyyyyyyz 1683 < 20 , 123 >= xxxxxyyyyyyyyyyyyyzz 1684 < 20 , 124 >= xxxxxyyyyyyyyyyyyzzz 1685 < 20 , 125 >= xxxxxyyyyyyyyyyyzzzz 1686 < 20 , 126 >= xxxxxyyyyyyyyyyzzzzz 1687 < 20 , 127 >= xxxxxyyyyyyyyyzzzzzz 1688 < 20 , 128 >= xxxxxyyyyyyyyzzzzzzz 1689 < 20 , 129 >= xxxxxyyyyyyyzzzzzzzz 1690 < 20 , 130 >= xxxxxyyyyyyzzzzzzzzz 1691 < 20 , 131 >= xxxxxyyyyyzzzzzzzzzz 1692 < 20 , 132 >= xxxxxyyyyzzzzzzzzzzz 1693 < 20 , 133 >= xxxxxyyyzzzzzzzzzzzz 1694 < 20 , 134 >= xxxxxyyzzzzzzzzzzzzz 1695 < 20 , 135 >= xxxxxyzzzzzzzzzzzzzz 1696 < 20 , 136 >= xxxxxzzzzzzzzzzzzzzz 1697 < 20 , 137 >= xxxxyyyyyyyyyyyyyyyy 1698 < 20 , 138 >= xxxxyyyyyyyyyyyyyyyz 1699 < 20 , 139 >= xxxxyyyyyyyyyyyyyyzz 1700 < 20 , 140 >= xxxxyyyyyyyyyyyyyzzz 1701 < 20 , 141 >= xxxxyyyyyyyyyyyyzzzz 1702 < 20 , 142 >= xxxxyyyyyyyyyyyzzzzz 1703 < 20 , 143 >= xxxxyyyyyyyyyyzzzzzz 1704 < 20 , 144 >= xxxxyyyyyyyyyzzzzzzz 1705 < 20 , 145 >= xxxxyyyyyyyyzzzzzzzz 1706 < 20 , 146 >= xxxxyyyyyyyzzzzzzzzz 1707 < 20 , 147 >= xxxxyyyyyyzzzzzzzzzz 1708 < 20 , 148 >= xxxxyyyyyzzzzzzzzzzz 1709 < 20 , 149 >= xxxxyyyyzzzzzzzzzzzz 1710 < 20 , 150 >= xxxxyyyzzzzzzzzzzzzz 1711 < 20 , 151 >= xxxxyyzzzzzzzzzzzzzz 1712 < 20 , 152 >= xxxxyzzzzzzzzzzzzzzz 1713 < 20 , 153 >= xxxxzzzzzzzzzzzzzzzz 1714 < 20 , 154 >= xxxyyyyyyyyyyyyyyyyy 1715 < 20 , 155 >= xxxyyyyyyyyyyyyyyyyz 1716 < 20 , 156 >= xxxyyyyyyyyyyyyyyyzz 1717 < 20 , 157 >= xxxyyyyyyyyyyyyyyzzz 1718 < 20 , 158 >= xxxyyyyyyyyyyyyyzzzz 1719 < 20 , 159 >= xxxyyyyyyyyyyyyzzzzz 1720 < 20 , 160 >= xxxyyyyyyyyyyyzzzzzz 1721 < 20 , 161 >= xxxyyyyyyyyyyzzzzzzz 1722 < 20 , 162 >= xxxyyyyyyyyyzzzzzzzz 1723 < 20 , 163 >= xxxyyyyyyyyzzzzzzzzz 1724 < 20 , 164 >= xxxyyyyyyyzzzzzzzzzz 1725 < 20 , 165 >= xxxyyyyyyzzzzzzzzzzz 1726 < 20 , 166 >= xxxyyyyyzzzzzzzzzzzz 1727 < 20 , 167 >= xxxyyyyzzzzzzzzzzzzz 1728 < 20 , 168 >= xxxyyyzzzzzzzzzzzzzz 1729 < 20 , 169 >= xxxyyzzzzzzzzzzzzzzz 1730 < 20 , 170 >= xxxyzzzzzzzzzzzzzzzz 1731 < 20 , 171 >= xxxzzzzzzzzzzzzzzzzz 1732 < 20 , 172 >= xxyyyyyyyyyyyyyyyyyy 1733 < 20 , 173 >= xxyyyyyyyyyyyyyyyyyz 1734 < 20 , 174 >= xxyyyyyyyyyyyyyyyyzz 1735 < 20 , 175 >= xxyyyyyyyyyyyyyyyzzz 1736 < 20 , 176 >= xxyyyyyyyyyyyyyyzzzz 1737 < 20 , 177 >= xxyyyyyyyyyyyyyzzzzz 1738 < 20 , 178 >= xxyyyyyyyyyyyyzzzzzz 1739 < 20 , 179 >= xxyyyyyyyyyyyzzzzzzz 1740 < 20 , 180 >= xxyyyyyyyyyyzzzzzzzz 1741 < 20 , 181 >= xxyyyyyyyyyzzzzzzzzz 1742 < 20 , 182 >= xxyyyyyyyyzzzzzzzzzz 1743 < 20 , 183 >= xxyyyyyyyzzzzzzzzzzz 1744 < 20 , 184 >= xxyyyyyyzzzzzzzzzzzz 1745 < 20 , 185 >= xxyyyyyzzzzzzzzzzzzz 1746 < 20 , 186 >= xxyyyyzzzzzzzzzzzzzz 1747 < 20 , 187 >= xxyyyzzzzzzzzzzzzzzz 1748 < 20 , 188 >= xxyyzzzzzzzzzzzzzzzz 1749 < 20 , 189 >= xxyzzzzzzzzzzzzzzzzz 1750 < 20 , 190 >= xxzzzzzzzzzzzzzzzzzz 1751 < 20 , 191 >= xyyyyyyyyyyyyyyyyyyy 1752 < 20 , 192 >= xyyyyyyyyyyyyyyyyyyz 1753 < 20 , 193 >= xyyyyyyyyyyyyyyyyyzz 1754 < 20 , 194 >= xyyyyyyyyyyyyyyyyzzz 1755 < 20 , 195 >= xyyyyyyyyyyyyyyyzzzz 1756 < 20 , 196 >= xyyyyyyyyyyyyyyzzzzz 1757 < 20 , 197 >= xyyyyyyyyyyyyyzzzzzz 1758 < 20 , 198 >= xyyyyyyyyyyyyzzzzzzz 1759 < 20 , 199 >= xyyyyyyyyyyyzzzzzzzz 1760 < 20 , 200 >= xyyyyyyyyyyzzzzzzzzz 1761 < 20 , 201 >= xyyyyyyyyyzzzzzzzzzz 1762 < 20 , 202 >= xyyyyyyyyzzzzzzzzzzz 1763 < 20 , 203 >= xyyyyyyyzzzzzzzzzzzz 1764 < 20 , 204 >= xyyyyyyzzzzzzzzzzzzz 1765 < 20 , 205 >= xyyyyyzzzzzzzzzzzzzz 1766 < 20 , 206 >= xyyyyzzzzzzzzzzzzzzz 1767 < 20 , 207 >= xyyyzzzzzzzzzzzzzzzz 1768 < 20 , 208 >= xyyzzzzzzzzzzzzzzzzz 1769 < 20 , 209 >= xyzzzzzzzzzzzzzzzzzz 1770 < 20 , 210 >= xzzzzzzzzzzzzzzzzzzz 1771 < 20 , 211 >= yyyyyyyyyyyyyyyyyyyy 1772 < 20 , 212 >= yyyyyyyyyyyyyyyyyyyz 1773 < 20 , 213 >= yyyyyyyyyyyyyyyyyyzz 1774 < 20 , 214 >= yyyyyyyyyyyyyyyyyzzz 1775 < 20 , 215 >= yyyyyyyyyyyyyyyyzzzz 1776 < 20 , 216 >= yyyyyyyyyyyyyyyzzzzz 1777 < 20 , 217 >= yyyyyyyyyyyyyyzzzzzz 1778 < 20 , 218 >= yyyyyyyyyyyyyzzzzzzz 1779 < 20 , 219 >= yyyyyyyyyyyyzzzzzzzz 1780 < 20 , 220 >= yyyyyyyyyyyzzzzzzzzz 1781 < 20 , 221 >= yyyyyyyyyyzzzzzzzzzz 1782 < 20 , 222 >= yyyyyyyyyzzzzzzzzzzz 1783 < 20 , 223 >= yyyyyyyyzzzzzzzzzzzz 1784 < 20 , 224 >= yyyyyyyzzzzzzzzzzzzz 1785 < 20 , 225 >= yyyyyyzzzzzzzzzzzzzz 1786 < 20 , 226 >= yyyyyzzzzzzzzzzzzzzz 1787 < 20 , 227 >= yyyyzzzzzzzzzzzzzzzz 1788 < 20 , 228 >= yyyzzzzzzzzzzzzzzzzz 1789 < 20 , 229 >= yyzzzzzzzzzzzzzzzzzz 1790 < 20 , 230 >= yzzzzzzzzzzzzzzzzzzz 1791 < 20 , 231 >= zzzzzzzzzzzzzzzzzzzz 1792 1793