Go to diff to previous submission
1 #include <algorithm> 2 #include <cctype> 3 #include <cmath> 4 #include <complex> 5 #include <cstdio> 6 #include <cstring> 7 #include <iomanip> 8 #include <iostream> 9 #include <list> 10 #include <map> 11 #include <queue> 12 #include <set> 13 #include <sstream> 14 #include <stack> 15 #include <string> 16 #include <utility> 17 #include <vector> 18 using namespace std; 19 20 #define DEBUG(x) cout << ">>> " << #x << " : " << x << endl; 21 #define REP(i,a) for (int i = 0; i < (a); ++i) 22 #define FOR(i,a,b) for (int i = (a); i <= (b); ++i) 23 #define FORD(i,a,b) for (int i = (a); i >= (b); --i) 24 inline bool EQ(double a, double b) { return fabs(a-b) < 1e-9; } 25 26 const int INF = 1<<29; 27 typedef long long ll; 28 /////////////////////////////////////////////////////////////////////////// 29 30 string letters = "FILNPTUVWXYZ"; 31 char in[10]; 32 33 int get_index(char c) 34 { 35 REP(i, letters.size()) 36 if (c == letters[i]) 37 return i; 38 return -1; 39 } 40 41 typedef pair<pair<int, int>, pair<int, int> > pp; 42 pp norm(int a, int b, int c, int d) 43 { 44 if (a > b) swap(a, b); 45 if (c > d) swap(c, d); 46 if (a > c || (a == c && b > d)) 47 { 48 swap(a, c); 49 swap(b, d); 50 } 51 return make_pair(make_pair(a, b), make_pair(c, d)); 52 } 53 54 const int MAX = 3081; 55 char * X[MAX][2] = { 56 {"0 0 0 0", "YES"}, 57 {"0 0 0 1", "NO"}, 58 {"0 0 0 2", "NO"}, 59 {"0 0 0 3", "NO"}, 60 {"0 0 0 4", "YES"}, 61 {"0 0 0 5", "NO"}, 62 {"0 0 0 6", "NO"}, 63 {"0 0 0 7", "NO"}, 64 {"0 0 0 8", "NO"}, 65 {"0 0 0 9", "NO"}, 66 {"0 0 0 10", "NO"}, 67 {"0 0 0 11", "NO"}, 68 {"0 0 1 1", "NO"}, 69 {"0 0 1 2", "NO"}, 70 {"0 0 1 3", "NO"}, 71 {"0 0 1 4", "NO"}, 72 {"0 0 1 5", "NO"}, 73 {"0 0 1 6", "NO"}, 74 {"0 0 1 7", "NO"}, 75 {"0 0 1 8", "NO"}, 76 {"0 0 1 9", "NO"}, 77 {"0 0 1 10", "NO"}, 78 {"0 0 1 11", "NO"}, 79 {"0 0 2 2", "YES"}, 80 {"0 0 2 3", "YES"}, 81 {"0 0 2 4", "NO"}, 82 {"0 0 2 5", "NO"}, 83 {"0 0 2 6", "NO"}, 84 {"0 0 2 7", "NO"}, 85 {"0 0 2 8", "NO"}, 86 {"0 0 2 9", "NO"}, 87 {"0 0 2 10", "YES"}, 88 {"0 0 2 11", "NO"}, 89 {"0 0 3 3", "YES"}, 90 {"0 0 3 4", "YES"}, 91 {"0 0 3 5", "NO"}, 92 {"0 0 3 6", "NO"}, 93 {"0 0 3 7", "NO"}, 94 {"0 0 3 8", "NO"}, 95 {"0 0 3 9", "NO"}, 96 {"0 0 3 10", "YES"}, 97 {"0 0 3 11", "NO"}, 98 {"0 0 4 4", "YES"}, 99 {"0 0 4 5", "NO"}, 100 {"0 0 4 6", "NO"}, 101 {"0 0 4 7", "NO"}, 102 {"0 0 4 8", "NO"}, 103 {"0 0 4 9", "NO"}, 104 {"0 0 4 10", "YES"}, 105 {"0 0 4 11", "NO"}, 106 {"0 0 5 5", "YES"}, 107 {"0 0 5 6", "NO"}, 108 {"0 0 5 7", "NO"}, 109 {"0 0 5 8", "YES"}, 110 {"0 0 5 9", "YES"}, 111 {"0 0 5 10", "NO"}, 112 {"0 0 5 11", "YES"}, 113 {"0 0 6 6", "NO"}, 114 {"0 0 6 7", "NO"}, 115 {"0 0 6 8", "NO"}, 116 {"0 0 6 9", "NO"}, 117 {"0 0 6 10", "NO"}, 118 {"0 0 6 11", "NO"}, 119 {"0 0 7 7", "NO"}, 120 {"0 0 7 8", "NO"}, 121 {"0 0 7 9", "NO"}, 122 {"0 0 7 10", "NO"}, 123 {"0 0 7 11", "NO"}, 124 {"0 0 8 8", "YES"}, 125 {"0 0 8 9", "YES"}, 126 {"0 0 8 10", "NO"}, 127 {"0 0 8 11", "YES"}, 128 {"0 0 9 9", "YES"}, 129 {"0 0 9 10", "NO"}, 130 {"0 0 9 11", "YES"}, 131 {"0 0 10 10", "YES"}, 132 {"0 0 10 11", "NO"}, 133 {"0 0 11 11", "YES"}, 134 {"0 1 0 1", "YES"}, 135 {"0 1 0 2", "NO"}, 136 {"0 1 0 3", "NO"}, 137 {"0 1 0 4", "NO"}, 138 {"0 1 0 5", "NO"}, 139 {"0 1 0 6", "NO"}, 140 {"0 1 0 7", "NO"}, 141 {"0 1 0 8", "NO"}, 142 {"0 1 0 9", "NO"}, 143 {"0 1 0 10", "NO"}, 144 {"0 1 0 11", "NO"}, 145 {"0 1 1 1", "NO"}, 146 {"0 1 1 2", "NO"}, 147 {"0 1 1 3", "NO"}, 148 {"0 1 1 4", "NO"}, 149 {"0 1 1 5", "NO"}, 150 {"0 1 1 6", "NO"}, 151 {"0 1 1 7", "NO"}, 152 {"0 1 1 8", "NO"}, 153 {"0 1 1 9", "NO"}, 154 {"0 1 1 10", "NO"}, 155 {"0 1 1 11", "NO"}, 156 {"0 1 2 2", "NO"}, 157 {"0 1 2 3", "NO"}, 158 {"0 1 2 4", "YES"}, 159 {"0 1 2 5", "NO"}, 160 {"0 1 2 6", "NO"}, 161 {"0 1 2 7", "NO"}, 162 {"0 1 2 8", "NO"}, 163 {"0 1 2 9", "NO"}, 164 {"0 1 2 10", "YES"}, 165 {"0 1 2 11", "NO"}, 166 {"0 1 3 3", "NO"}, 167 {"0 1 3 4", "NO"}, 168 {"0 1 3 5", "NO"}, 169 {"0 1 3 6", "NO"}, 170 {"0 1 3 7", "NO"}, 171 {"0 1 3 8", "NO"}, 172 {"0 1 3 9", "NO"}, 173 {"0 1 3 10", "NO"}, 174 {"0 1 3 11", "NO"}, 175 {"0 1 4 4", "NO"}, 176 {"0 1 4 5", "NO"}, 177 {"0 1 4 6", "NO"}, 178 {"0 1 4 7", "NO"}, 179 {"0 1 4 8", "NO"}, 180 {"0 1 4 9", "NO"}, 181 {"0 1 4 10", "NO"}, 182 {"0 1 4 11", "NO"}, 183 {"0 1 5 5", "NO"}, 184 {"0 1 5 6", "NO"}, 185 {"0 1 5 7", "NO"}, 186 {"0 1 5 8", "NO"}, 187 {"0 1 5 9", "NO"}, 188 {"0 1 5 10", "NO"}, 189 {"0 1 5 11", "NO"}, 190 {"0 1 6 6", "NO"}, 191 {"0 1 6 7", "NO"}, 192 {"0 1 6 8", "NO"}, 193 {"0 1 6 9", "NO"}, 194 {"0 1 6 10", "NO"}, 195 {"0 1 6 11", "NO"}, 196 {"0 1 7 7", "NO"}, 197 {"0 1 7 8", "NO"}, 198 {"0 1 7 9", "NO"}, 199 {"0 1 7 10", "NO"}, 200 {"0 1 7 11", "NO"}, 201 {"0 1 8 8", "NO"}, 202 {"0 1 8 9", "NO"}, 203 {"0 1 8 10", "NO"}, 204 {"0 1 8 11", "NO"}, 205 {"0 1 9 9", "NO"}, 206 {"0 1 9 10", "NO"}, 207 {"0 1 9 11", "NO"}, 208 {"0 1 10 10", "NO"}, 209 {"0 1 10 11", "NO"}, 210 {"0 1 11 11", "NO"}, 211 {"0 2 0 2", "YES"}, 212 {"0 2 0 3", "NO"}, 213 {"0 2 0 4", "NO"}, 214 {"0 2 0 5", "NO"}, 215 {"0 2 0 6", "NO"}, 216 {"0 2 0 7", "NO"}, 217 {"0 2 0 8", "NO"}, 218 {"0 2 0 9", "NO"}, 219 {"0 2 0 10", "YES"}, 220 {"0 2 0 11", "NO"}, 221 {"0 2 1 1", "NO"}, 222 {"0 2 1 2", "NO"}, 223 {"0 2 1 3", "NO"}, 224 {"0 2 1 4", "YES"}, 225 {"0 2 1 5", "NO"}, 226 {"0 2 1 6", "NO"}, 227 {"0 2 1 7", "NO"}, 228 {"0 2 1 8", "NO"}, 229 {"0 2 1 9", "NO"}, 230 {"0 2 1 10", "YES"}, 231 {"0 2 1 11", "NO"}, 232 {"0 2 2 2", "NO"}, 233 {"0 2 2 3", "NO"}, 234 {"0 2 2 4", "NO"}, 235 {"0 2 2 5", "NO"}, 236 {"0 2 2 6", "NO"}, 237 {"0 2 2 7", "NO"}, 238 {"0 2 2 8", "NO"}, 239 {"0 2 2 9", "NO"}, 240 {"0 2 2 10", "NO"}, 241 {"0 2 2 11", "NO"}, 242 {"0 2 3 3", "NO"}, 243 {"0 2 3 4", "YES"}, 244 {"0 2 3 5", "YES"}, 245 {"0 2 3 6", "NO"}, 246 {"0 2 3 7", "NO"}, 247 {"0 2 3 8", "NO"}, 248 {"0 2 3 9", "NO"}, 249 {"0 2 3 10", "NO"}, 250 {"0 2 3 11", "NO"}, 251 {"0 2 4 4", "NO"}, 252 {"0 2 4 5", "NO"}, 253 {"0 2 4 6", "YES"}, 254 {"0 2 4 7", "NO"}, 255 {"0 2 4 8", "NO"}, 256 {"0 2 4 9", "NO"}, 257 {"0 2 4 10", "YES"}, 258 {"0 2 4 11", "YES"}, 259 {"0 2 5 5", "NO"}, 260 {"0 2 5 6", "NO"}, 261 {"0 2 5 7", "NO"}, 262 {"0 2 5 8", "NO"}, 263 {"0 2 5 9", "NO"}, 264 {"0 2 5 10", "YES"}, 265 {"0 2 5 11", "NO"}, 266 {"0 2 6 6", "NO"}, 267 {"0 2 6 7", "NO"}, 268 {"0 2 6 8", "NO"}, 269 {"0 2 6 9", "NO"}, 270 {"0 2 6 10", "YES"}, 271 {"0 2 6 11", "NO"}, 272 {"0 2 7 7", "NO"}, 273 {"0 2 7 8", "NO"}, 274 {"0 2 7 9", "NO"}, 275 {"0 2 7 10", "YES"}, 276 {"0 2 7 11", "NO"}, 277 {"0 2 8 8", "NO"}, 278 {"0 2 8 9", "NO"}, 279 {"0 2 8 10", "YES"}, 280 {"0 2 8 11", "NO"}, 281 {"0 2 9 9", "NO"}, 282 {"0 2 9 10", "YES"}, 283 {"0 2 9 11", "NO"}, 284 {"0 2 10 10", "NO"}, 285 {"0 2 10 11", "YES"}, 286 {"0 2 11 11", "NO"}, 287 {"0 3 0 3", "YES"}, 288 {"0 3 0 4", "YES"}, 289 {"0 3 0 5", "NO"}, 290 {"0 3 0 6", "NO"}, 291 {"0 3 0 7", "NO"}, 292 {"0 3 0 8", "NO"}, 293 {"0 3 0 9", "NO"}, 294 {"0 3 0 10", "NO"}, 295 {"0 3 0 11", "NO"}, 296 {"0 3 1 1", "NO"}, 297 {"0 3 1 2", "NO"}, 298 {"0 3 1 3", "NO"}, 299 {"0 3 1 4", "NO"}, 300 {"0 3 1 5", "NO"}, 301 {"0 3 1 6", "NO"}, 302 {"0 3 1 7", "NO"}, 303 {"0 3 1 8", "NO"}, 304 {"0 3 1 9", "NO"}, 305 {"0 3 1 10", "YES"}, 306 {"0 3 1 11", "NO"}, 307 {"0 3 2 2", "YES"}, 308 {"0 3 2 3", "YES"}, 309 {"0 3 2 4", "NO"}, 310 {"0 3 2 5", "YES"}, 311 {"0 3 2 6", "NO"}, 312 {"0 3 2 7", "NO"}, 313 {"0 3 2 8", "NO"}, 314 {"0 3 2 9", "NO"}, 315 {"0 3 2 10", "NO"}, 316 {"0 3 2 11", "NO"}, 317 {"0 3 3 3", "NO"}, 318 {"0 3 3 4", "NO"}, 319 {"0 3 3 5", "YES"}, 320 {"0 3 3 6", "NO"}, 321 {"0 3 3 7", "NO"}, 322 {"0 3 3 8", "NO"}, 323 {"0 3 3 9", "NO"}, 324 {"0 3 3 10", "NO"}, 325 {"0 3 3 11", "NO"}, 326 {"0 3 4 4", "YES"}, 327 {"0 3 4 5", "YES"}, 328 {"0 3 4 6", "NO"}, 329 {"0 3 4 7", "YES"}, 330 {"0 3 4 8", "YES"}, 331 {"0 3 4 9", "NO"}, 332 {"0 3 4 10", "YES"}, 333 {"0 3 4 11", "NO"}, 334 {"0 3 5 5", "NO"}, 335 {"0 3 5 6", "NO"}, 336 {"0 3 5 7", "NO"}, 337 {"0 3 5 8", "NO"}, 338 {"0 3 5 9", "NO"}, 339 {"0 3 5 10", "YES"}, 340 {"0 3 5 11", "NO"}, 341 {"0 3 6 6", "NO"}, 342 {"0 3 6 7", "NO"}, 343 {"0 3 6 8", "NO"}, 344 {"0 3 6 9", "NO"}, 345 {"0 3 6 10", "YES"}, 346 {"0 3 6 11", "NO"}, 347 {"0 3 7 7", "NO"}, 348 {"0 3 7 8", "YES"}, 349 {"0 3 7 9", "NO"}, 350 {"0 3 7 10", "YES"}, 351 {"0 3 7 11", "YES"}, 352 {"0 3 8 8", "NO"}, 353 {"0 3 8 9", "NO"}, 354 {"0 3 8 10", "YES"}, 355 {"0 3 8 11", "NO"}, 356 {"0 3 9 9", "NO"}, 357 {"0 3 9 10", "YES"}, 358 {"0 3 9 11", "NO"}, 359 {"0 3 10 10", "NO"}, 360 {"0 3 10 11", "YES"}, 361 {"0 3 11 11", "NO"}, 362 {"0 4 0 4", "YES"}, 363 {"0 4 0 5", "NO"}, 364 {"0 4 0 6", "NO"}, 365 {"0 4 0 7", "NO"}, 366 {"0 4 0 8", "YES"}, 367 {"0 4 0 9", "NO"}, 368 {"0 4 0 10", "YES"}, 369 {"0 4 0 11", "NO"}, 370 {"0 4 1 1", "NO"}, 371 {"0 4 1 2", "YES"}, 372 {"0 4 1 3", "NO"}, 373 {"0 4 1 4", "NO"}, 374 {"0 4 1 5", "NO"}, 375 {"0 4 1 6", "NO"}, 376 {"0 4 1 7", "NO"}, 377 {"0 4 1 8", "NO"}, 378 {"0 4 1 9", "NO"}, 379 {"0 4 1 10", "NO"}, 380 {"0 4 1 11", "NO"}, 381 {"0 4 2 2", "YES"}, 382 {"0 4 2 3", "YES"}, 383 {"0 4 2 4", "YES"}, 384 {"0 4 2 5", "NO"}, 385 {"0 4 2 6", "NO"}, 386 {"0 4 2 7", "NO"}, 387 {"0 4 2 8", "NO"}, 388 {"0 4 2 9", "NO"}, 389 {"0 4 2 10", "YES"}, 390 {"0 4 2 11", "NO"}, 391 {"0 4 3 3", "YES"}, 392 {"0 4 3 4", "YES"}, 393 {"0 4 3 5", "NO"}, 394 {"0 4 3 6", "NO"}, 395 {"0 4 3 7", "NO"}, 396 {"0 4 3 8", "YES"}, 397 {"0 4 3 9", "NO"}, 398 {"0 4 3 10", "YES"}, 399 {"0 4 3 11", "YES"}, 400 {"0 4 4 4", "YES"}, 401 {"0 4 4 5", "YES"}, 402 {"0 4 4 6", "NO"}, 403 {"0 4 4 7", "YES"}, 404 {"0 4 4 8", "YES"}, 405 {"0 4 4 9", "YES"}, 406 {"0 4 4 10", "YES"}, 407 {"0 4 4 11", "YES"}, 408 {"0 4 5 5", "NO"}, 409 {"0 4 5 6", "YES"}, 410 {"0 4 5 7", "NO"}, 411 {"0 4 5 8", "NO"}, 412 {"0 4 5 9", "NO"}, 413 {"0 4 5 10", "YES"}, 414 {"0 4 5 11", "NO"}, 415 {"0 4 6 6", "NO"}, 416 {"0 4 6 7", "NO"}, 417 {"0 4 6 8", "YES"}, 418 {"0 4 6 9", "YES"}, 419 {"0 4 6 10", "NO"}, 420 {"0 4 6 11", "YES"}, 421 {"0 4 7 7", "NO"}, 422 {"0 4 7 8", "NO"}, 423 {"0 4 7 9", "NO"}, 424 {"0 4 7 10", "YES"}, 425 {"0 4 7 11", "NO"}, 426 {"0 4 8 8", "YES"}, 427 {"0 4 8 9", "NO"}, 428 {"0 4 8 10", "NO"}, 429 {"0 4 8 11", "NO"}, 430 {"0 4 9 9", "NO"}, 431 {"0 4 9 10", "NO"}, 432 {"0 4 9 11", "NO"}, 433 {"0 4 10 10", "YES"}, 434 {"0 4 10 11", "NO"}, 435 {"0 4 11 11", "NO"}, 436 {"0 5 0 5", "YES"}, 437 {"0 5 0 6", "NO"}, 438 {"0 5 0 7", "NO"}, 439 {"0 5 0 8", "YES"}, 440 {"0 5 0 9", "YES"}, 441 {"0 5 0 10", "NO"}, 442 {"0 5 0 11", "YES"}, 443 {"0 5 1 1", "NO"}, 444 {"0 5 1 2", "NO"}, 445 {"0 5 1 3", "NO"}, 446 {"0 5 1 4", "NO"}, 447 {"0 5 1 5", "NO"}, 448 {"0 5 1 6", "YES"}, 449 {"0 5 1 7", "NO"}, 450 {"0 5 1 8", "NO"}, 451 {"0 5 1 9", "NO"}, 452 {"0 5 1 10", "NO"}, 453 {"0 5 1 11", "NO"}, 454 {"0 5 2 2", "NO"}, 455 {"0 5 2 3", "NO"}, 456 {"0 5 2 4", "NO"}, 457 {"0 5 2 5", "NO"}, 458 {"0 5 2 6", "NO"}, 459 {"0 5 2 7", "NO"}, 460 {"0 5 2 8", "NO"}, 461 {"0 5 2 9", "NO"}, 462 {"0 5 2 10", "YES"}, 463 {"0 5 2 11", "NO"}, 464 {"0 5 3 3", "NO"}, 465 {"0 5 3 4", "NO"}, 466 {"0 5 3 5", "NO"}, 467 {"0 5 3 6", "NO"}, 468 {"0 5 3 7", "NO"}, 469 {"0 5 3 8", "NO"}, 470 {"0 5 3 9", "NO"}, 471 {"0 5 3 10", "YES"}, 472 {"0 5 3 11", "NO"}, 473 {"0 5 4 4", "YES"}, 474 {"0 5 4 5", "NO"}, 475 {"0 5 4 6", "NO"}, 476 {"0 5 4 7", "NO"}, 477 {"0 5 4 8", "NO"}, 478 {"0 5 4 9", "NO"}, 479 {"0 5 4 10", "YES"}, 480 {"0 5 4 11", "YES"}, 481 {"0 5 5 5", "NO"}, 482 {"0 5 5 6", "NO"}, 483 {"0 5 5 7", "NO"}, 484 {"0 5 5 8", "NO"}, 485 {"0 5 5 9", "NO"}, 486 {"0 5 5 10", "NO"}, 487 {"0 5 5 11", "NO"}, 488 {"0 5 6 6", "NO"}, 489 {"0 5 6 7", "NO"}, 490 {"0 5 6 8", "NO"}, 491 {"0 5 6 9", "NO"}, 492 {"0 5 6 10", "NO"}, 493 {"0 5 6 11", "NO"}, 494 {"0 5 7 7", "NO"}, 495 {"0 5 7 8", "NO"}, 496 {"0 5 7 9", "NO"}, 497 {"0 5 7 10", "NO"}, 498 {"0 5 7 11", "NO"}, 499 {"0 5 8 8", "NO"}, 500 {"0 5 8 9", "NO"}, 501 {"0 5 8 10", "NO"}, 502 {"0 5 8 11", "NO"}, 503 {"0 5 9 9", "NO"}, 504 {"0 5 9 10", "NO"}, 505 {"0 5 9 11", "NO"}, 506 {"0 5 10 10", "YES"}, 507 {"0 5 10 11", "NO"}, 508 {"0 5 11 11", "NO"}, 509 {"0 6 0 6", "YES"}, 510 {"0 6 0 7", "NO"}, 511 {"0 6 0 8", "NO"}, 512 {"0 6 0 9", "NO"}, 513 {"0 6 0 10", "NO"}, 514 {"0 6 0 11", "YES"}, 515 {"0 6 1 1", "NO"}, 516 {"0 6 1 2", "NO"}, 517 {"0 6 1 3", "NO"}, 518 {"0 6 1 4", "NO"}, 519 {"0 6 1 5", "NO"}, 520 {"0 6 1 6", "NO"}, 521 {"0 6 1 7", "NO"}, 522 {"0 6 1 8", "NO"}, 523 {"0 6 1 9", "NO"}, 524 {"0 6 1 10", "NO"}, 525 {"0 6 1 11", "NO"}, 526 {"0 6 2 2", "NO"}, 527 {"0 6 2 3", "NO"}, 528 {"0 6 2 4", "YES"}, 529 {"0 6 2 5", "NO"}, 530 {"0 6 2 6", "NO"}, 531 {"0 6 2 7", "NO"}, 532 {"0 6 2 8", "NO"}, 533 {"0 6 2 9", "NO"}, 534 {"0 6 2 10", "YES"}, 535 {"0 6 2 11", "NO"}, 536 {"0 6 3 3", "NO"}, 537 {"0 6 3 4", "NO"}, 538 {"0 6 3 5", "NO"}, 539 {"0 6 3 6", "NO"}, 540 {"0 6 3 7", "NO"}, 541 {"0 6 3 8", "NO"}, 542 {"0 6 3 9", "NO"}, 543 {"0 6 3 10", "NO"}, 544 {"0 6 3 11", "NO"}, 545 {"0 6 4 4", "NO"}, 546 {"0 6 4 5", "YES"}, 547 {"0 6 4 6", "NO"}, 548 {"0 6 4 7", "YES"}, 549 {"0 6 4 8", "YES"}, 550 {"0 6 4 9", "YES"}, 551 {"0 6 4 10", "YES"}, 552 {"0 6 4 11", "YES"}, 553 {"0 6 5 5", "NO"}, 554 {"0 6 5 6", "NO"}, 555 {"0 6 5 7", "NO"}, 556 {"0 6 5 8", "NO"}, 557 {"0 6 5 9", "NO"}, 558 {"0 6 5 10", "NO"}, 559 {"0 6 5 11", "NO"}, 560 {"0 6 6 6", "NO"}, 561 {"0 6 6 7", "YES"}, 562 {"0 6 6 8", "NO"}, 563 {"0 6 6 9", "NO"}, 564 {"0 6 6 10", "YES"}, 565 {"0 6 6 11", "NO"}, 566 {"0 6 7 7", "NO"}, 567 {"0 6 7 8", "NO"}, 568 {"0 6 7 9", "NO"}, 569 {"0 6 7 10", "NO"}, 570 {"0 6 7 11", "NO"}, 571 {"0 6 8 8", "NO"}, 572 {"0 6 8 9", "NO"}, 573 {"0 6 8 10", "NO"}, 574 {"0 6 8 11", "NO"}, 575 {"0 6 9 9", "NO"}, 576 {"0 6 9 10", "NO"}, 577 {"0 6 9 11", "NO"}, 578 {"0 6 10 10", "NO"}, 579 {"0 6 10 11", "NO"}, 580 {"0 6 11 11", "NO"}, 581 {"0 7 0 7", "YES"}, 582 {"0 7 0 8", "NO"}, 583 {"0 7 0 9", "NO"}, 584 {"0 7 0 10", "NO"}, 585 {"0 7 0 11", "NO"}, 586 {"0 7 1 1", "NO"}, 587 {"0 7 1 2", "NO"}, 588 {"0 7 1 3", "NO"}, 589 {"0 7 1 4", "NO"}, 590 {"0 7 1 5", "NO"}, 591 {"0 7 1 6", "NO"}, 592 {"0 7 1 7", "NO"}, 593 {"0 7 1 8", "NO"}, 594 {"0 7 1 9", "NO"}, 595 {"0 7 1 10", "NO"}, 596 {"0 7 1 11", "NO"}, 597 {"0 7 2 2", "NO"}, 598 {"0 7 2 3", "NO"}, 599 {"0 7 2 4", "NO"}, 600 {"0 7 2 5", "NO"}, 601 {"0 7 2 6", "YES"}, 602 {"0 7 2 7", "NO"}, 603 {"0 7 2 8", "NO"}, 604 {"0 7 2 9", "NO"}, 605 {"0 7 2 10", "NO"}, 606 {"0 7 2 11", "NO"}, 607 {"0 7 3 3", "NO"}, 608 {"0 7 3 4", "YES"}, 609 {"0 7 3 5", "NO"}, 610 {"0 7 3 6", "YES"}, 611 {"0 7 3 7", "NO"}, 612 {"0 7 3 8", "YES"}, 613 {"0 7 3 9", "NO"}, 614 {"0 7 3 10", "YES"}, 615 {"0 7 3 11", "YES"}, 616 {"0 7 4 4", "YES"}, 617 {"0 7 4 5", "NO"}, 618 {"0 7 4 6", "NO"}, 619 {"0 7 4 7", "NO"}, 620 {"0 7 4 8", "NO"}, 621 {"0 7 4 9", "NO"}, 622 {"0 7 4 10", "YES"}, 623 {"0 7 4 11", "NO"}, 624 {"0 7 5 5", "NO"}, 625 {"0 7 5 6", "NO"}, 626 {"0 7 5 7", "NO"}, 627 {"0 7 5 8", "NO"}, 628 {"0 7 5 9", "NO"}, 629 {"0 7 5 10", "NO"}, 630 {"0 7 5 11", "NO"}, 631 {"0 7 6 6", "NO"}, 632 {"0 7 6 7", "NO"}, 633 {"0 7 6 8", "NO"}, 634 {"0 7 6 9", "NO"}, 635 {"0 7 6 10", "YES"}, 636 {"0 7 6 11", "NO"}, 637 {"0 7 7 7", "NO"}, 638 {"0 7 7 8", "NO"}, 639 {"0 7 7 9", "NO"}, 640 {"0 7 7 10", "NO"}, 641 {"0 7 7 11", "NO"}, 642 {"0 7 8 8", "NO"}, 643 {"0 7 8 9", "NO"}, 644 {"0 7 8 10", "NO"}, 645 {"0 7 8 11", "NO"}, 646 {"0 7 9 9", "NO"}, 647 {"0 7 9 10", "NO"}, 648 {"0 7 9 11", "NO"}, 649 {"0 7 10 10", "NO"}, 650 {"0 7 10 11", "NO"}, 651 {"0 7 11 11", "NO"}, 652 {"0 8 0 8", "YES"}, 653 {"0 8 0 9", "YES"}, 654 {"0 8 0 10", "NO"}, 655 {"0 8 0 11", "YES"}, 656 {"0 8 1 1", "NO"}, 657 {"0 8 1 2", "NO"}, 658 {"0 8 1 3", "NO"}, 659 {"0 8 1 4", "NO"}, 660 {"0 8 1 5", "NO"}, 661 {"0 8 1 6", "NO"}, 662 {"0 8 1 7", "NO"}, 663 {"0 8 1 8", "NO"}, 664 {"0 8 1 9", "NO"}, 665 {"0 8 1 10", "NO"}, 666 {"0 8 1 11", "NO"}, 667 {"0 8 2 2", "NO"}, 668 {"0 8 2 3", "NO"}, 669 {"0 8 2 4", "YES"}, 670 {"0 8 2 5", "NO"}, 671 {"0 8 2 6", "NO"}, 672 {"0 8 2 7", "NO"}, 673 {"0 8 2 8", "NO"}, 674 {"0 8 2 9", "NO"}, 675 {"0 8 2 10", "YES"}, 676 {"0 8 2 11", "NO"}, 677 {"0 8 3 3", "NO"}, 678 {"0 8 3 4", "YES"}, 679 {"0 8 3 5", "NO"}, 680 {"0 8 3 6", "YES"}, 681 {"0 8 3 7", "NO"}, 682 {"0 8 3 8", "NO"}, 683 {"0 8 3 9", "NO"}, 684 {"0 8 3 10", "YES"}, 685 {"0 8 3 11", "NO"}, 686 {"0 8 4 4", "NO"}, 687 {"0 8 4 5", "NO"}, 688 {"0 8 4 6", "NO"}, 689 {"0 8 4 7", "NO"}, 690 {"0 8 4 8", "NO"}, 691 {"0 8 4 9", "NO"}, 692 {"0 8 4 10", "YES"}, 693 {"0 8 4 11", "YES"}, 694 {"0 8 5 5", "NO"}, 695 {"0 8 5 6", "NO"}, 696 {"0 8 5 7", "NO"}, 697 {"0 8 5 8", "NO"}, 698 {"0 8 5 9", "NO"}, 699 {"0 8 5 10", "NO"}, 700 {"0 8 5 11", "NO"}, 701 {"0 8 6 6", "NO"}, 702 {"0 8 6 7", "NO"}, 703 {"0 8 6 8", "NO"}, 704 {"0 8 6 9", "NO"}, 705 {"0 8 6 10", "NO"}, 706 {"0 8 6 11", "NO"}, 707 {"0 8 7 7", "NO"}, 708 {"0 8 7 8", "NO"}, 709 {"0 8 7 9", "NO"}, 710 {"0 8 7 10", "NO"}, 711 {"0 8 7 11", "NO"}, 712 {"0 8 8 8", "NO"}, 713 {"0 8 8 9", "NO"}, 714 {"0 8 8 10", "NO"}, 715 {"0 8 8 11", "NO"}, 716 {"0 8 9 9", "NO"}, 717 {"0 8 9 10", "NO"}, 718 {"0 8 9 11", "NO"}, 719 {"0 8 10 10", "NO"}, 720 {"0 8 10 11", "NO"}, 721 {"0 8 11 11", "NO"}, 722 {"0 9 0 9", "YES"}, 723 {"0 9 0 10", "NO"}, 724 {"0 9 0 11", "YES"}, 725 {"0 9 1 1", "NO"}, 726 {"0 9 1 2", "NO"}, 727 {"0 9 1 3", "NO"}, 728 {"0 9 1 4", "NO"}, 729 {"0 9 1 5", "NO"}, 730 {"0 9 1 6", "NO"}, 731 {"0 9 1 7", "NO"}, 732 {"0 9 1 8", "NO"}, 733 {"0 9 1 9", "NO"}, 734 {"0 9 1 10", "NO"}, 735 {"0 9 1 11", "NO"}, 736 {"0 9 2 2", "NO"}, 737 {"0 9 2 3", "NO"}, 738 {"0 9 2 4", "NO"}, 739 {"0 9 2 5", "NO"}, 740 {"0 9 2 6", "NO"}, 741 {"0 9 2 7", "NO"}, 742 {"0 9 2 8", "NO"}, 743 {"0 9 2 9", "NO"}, 744 {"0 9 2 10", "YES"}, 745 {"0 9 2 11", "NO"}, 746 {"0 9 3 3", "NO"}, 747 {"0 9 3 4", "NO"}, 748 {"0 9 3 5", "NO"}, 749 {"0 9 3 6", "NO"}, 750 {"0 9 3 7", "NO"}, 751 {"0 9 3 8", "NO"}, 752 {"0 9 3 9", "NO"}, 753 {"0 9 3 10", "YES"}, 754 {"0 9 3 11", "NO"}, 755 {"0 9 4 4", "NO"}, 756 {"0 9 4 5", "NO"}, 757 {"0 9 4 6", "NO"}, 758 {"0 9 4 7", "NO"}, 759 {"0 9 4 8", "NO"}, 760 {"0 9 4 9", "NO"}, 761 {"0 9 4 10", "NO"}, 762 {"0 9 4 11", "NO"}, 763 {"0 9 5 5", "NO"}, 764 {"0 9 5 6", "NO"}, 765 {"0 9 5 7", "NO"}, 766 {"0 9 5 8", "NO"}, 767 {"0 9 5 9", "NO"}, 768 {"0 9 5 10", "NO"}, 769 {"0 9 5 11", "NO"}, 770 {"0 9 6 6", "NO"}, 771 {"0 9 6 7", "NO"}, 772 {"0 9 6 8", "NO"}, 773 {"0 9 6 9", "NO"}, 774 {"0 9 6 10", "NO"}, 775 {"0 9 6 11", "NO"}, 776 {"0 9 7 7", "NO"}, 777 {"0 9 7 8", "NO"}, 778 {"0 9 7 9", "NO"}, 779 {"0 9 7 10", "NO"}, 780 {"0 9 7 11", "NO"}, 781 {"0 9 8 8", "NO"}, 782 {"0 9 8 9", "NO"}, 783 {"0 9 8 10", "NO"}, 784 {"0 9 8 11", "NO"}, 785 {"0 9 9 9", "NO"}, 786 {"0 9 9 10", "NO"}, 787 {"0 9 9 11", "NO"}, 788 {"0 9 10 10", "YES"}, 789 {"0 9 10 11", "NO"}, 790 {"0 9 11 11", "NO"}, 791 {"0 10 0 10", "YES"}, 792 {"0 10 0 11", "NO"}, 793 {"0 10 1 1", "NO"}, 794 {"0 10 1 2", "YES"}, 795 {"0 10 1 3", "YES"}, 796 {"0 10 1 4", "NO"}, 797 {"0 10 1 5", "NO"}, 798 {"0 10 1 6", "NO"}, 799 {"0 10 1 7", "NO"}, 800 {"0 10 1 8", "NO"}, 801 {"0 10 1 9", "NO"}, 802 {"0 10 1 10", "YES"}, 803 {"0 10 1 11", "NO"}, 804 {"0 10 2 2", "NO"}, 805 {"0 10 2 3", "NO"}, 806 {"0 10 2 4", "YES"}, 807 {"0 10 2 5", "YES"}, 808 {"0 10 2 6", "YES"}, 809 {"0 10 2 7", "YES"}, 810 {"0 10 2 8", "YES"}, 811 {"0 10 2 9", "YES"}, 812 {"0 10 2 10", "NO"}, 813 {"0 10 2 11", "YES"}, 814 {"0 10 3 3", "NO"}, 815 {"0 10 3 4", "NO"}, 816 {"0 10 3 5", "YES"}, 817 {"0 10 3 6", "NO"}, 818 {"0 10 3 7", "YES"}, 819 {"0 10 3 8", "YES"}, 820 {"0 10 3 9", "YES"}, 821 {"0 10 3 10", "NO"}, 822 {"0 10 3 11", "YES"}, 823 {"0 10 4 4", "YES"}, 824 {"0 10 4 5", "YES"}, 825 {"0 10 4 6", "NO"}, 826 {"0 10 4 7", "NO"}, 827 {"0 10 4 8", "NO"}, 828 {"0 10 4 9", "NO"}, 829 {"0 10 4 10", "YES"}, 830 {"0 10 4 11", "NO"}, 831 {"0 10 5 5", "NO"}, 832 {"0 10 5 6", "NO"}, 833 {"0 10 5 7", "NO"}, 834 {"0 10 5 8", "NO"}, 835 {"0 10 5 9", "NO"}, 836 {"0 10 5 10", "YES"}, 837 {"0 10 5 11", "NO"}, 838 {"0 10 6 6", "NO"}, 839 {"0 10 6 7", "NO"}, 840 {"0 10 6 8", "NO"}, 841 {"0 10 6 9", "NO"}, 842 {"0 10 6 10", "NO"}, 843 {"0 10 6 11", "NO"}, 844 {"0 10 7 7", "NO"}, 845 {"0 10 7 8", "NO"}, 846 {"0 10 7 9", "NO"}, 847 {"0 10 7 10", "YES"}, 848 {"0 10 7 11", "NO"}, 849 {"0 10 8 8", "NO"}, 850 {"0 10 8 9", "NO"}, 851 {"0 10 8 10", "YES"}, 852 {"0 10 8 11", "NO"}, 853 {"0 10 9 9", "NO"}, 854 {"0 10 9 10", "YES"}, 855 {"0 10 9 11", "NO"}, 856 {"0 10 10 10", "NO"}, 857 {"0 10 10 11", "YES"}, 858 {"0 10 11 11", "NO"}, 859 {"0 11 0 11", "YES"}, 860 {"0 11 1 1", "NO"}, 861 {"0 11 1 2", "NO"}, 862 {"0 11 1 3", "NO"}, 863 {"0 11 1 4", "NO"}, 864 {"0 11 1 5", "NO"}, 865 {"0 11 1 6", "NO"}, 866 {"0 11 1 7", "NO"}, 867 {"0 11 1 8", "NO"}, 868 {"0 11 1 9", "NO"}, 869 {"0 11 1 10", "NO"}, 870 {"0 11 1 11", "NO"}, 871 {"0 11 2 2", "NO"}, 872 {"0 11 2 3", "NO"}, 873 {"0 11 2 4", "YES"}, 874 {"0 11 2 5", "NO"}, 875 {"0 11 2 6", "NO"}, 876 {"0 11 2 7", "NO"}, 877 {"0 11 2 8", "NO"}, 878 {"0 11 2 9", "NO"}, 879 {"0 11 2 10", "YES"}, 880 {"0 11 2 11", "NO"}, 881 {"0 11 3 3", "NO"}, 882 {"0 11 3 4", "YES"}, 883 {"0 11 3 5", "NO"}, 884 {"0 11 3 6", "NO"}, 885 {"0 11 3 7", "NO"}, 886 {"0 11 3 8", "NO"}, 887 {"0 11 3 9", "NO"}, 888 {"0 11 3 10", "YES"}, 889 {"0 11 3 11", "NO"}, 890 {"0 11 4 4", "NO"}, 891 {"0 11 4 5", "YES"}, 892 {"0 11 4 6", "NO"}, 893 {"0 11 4 7", "NO"}, 894 {"0 11 4 8", "NO"}, 895 {"0 11 4 9", "NO"}, 896 {"0 11 4 10", "NO"}, 897 {"0 11 4 11", "NO"}, 898 {"0 11 5 5", "NO"}, 899 {"0 11 5 6", "NO"}, 900 {"0 11 5 7", "NO"}, 901 {"0 11 5 8", "NO"}, 902 {"0 11 5 9", "NO"}, 903 {"0 11 5 10", "NO"}, 904 {"0 11 5 11", "NO"}, 905 {"0 11 6 6", "NO"}, 906 {"0 11 6 7", "NO"}, 907 {"0 11 6 8", "NO"}, 908 {"0 11 6 9", "NO"}, 909 {"0 11 6 10", "NO"}, 910 {"0 11 6 11", "NO"}, 911 {"0 11 7 7", "NO"}, 912 {"0 11 7 8", "NO"}, 913 {"0 11 7 9", "NO"}, 914 {"0 11 7 10", "NO"}, 915 {"0 11 7 11", "NO"}, 916 {"0 11 8 8", "NO"}, 917 {"0 11 8 9", "NO"}, 918 {"0 11 8 10", "NO"}, 919 {"0 11 8 11", "NO"}, 920 {"0 11 9 9", "NO"}, 921 {"0 11 9 10", "NO"}, 922 {"0 11 9 11", "NO"}, 923 {"0 11 10 10", "YES"}, 924 {"0 11 10 11", "NO"}, 925 {"0 11 11 11", "NO"}, 926 {"1 1 1 1", "YES"}, 927 {"1 1 1 2", "NO"}, 928 {"1 1 1 3", "NO"}, 929 {"1 1 1 4", "NO"}, 930 {"1 1 1 5", "NO"}, 931 {"1 1 1 6", "NO"}, 932 {"1 1 1 7", "NO"}, 933 {"1 1 1 8", "NO"}, 934 {"1 1 1 9", "NO"}, 935 {"1 1 1 10", "NO"}, 936 {"1 1 1 11", "NO"}, 937 {"1 1 2 2", "YES"}, 938 {"1 1 2 3", "NO"}, 939 {"1 1 2 4", "NO"}, 940 {"1 1 2 5", "NO"}, 941 {"1 1 2 6", "NO"}, 942 {"1 1 2 7", "NO"}, 943 {"1 1 2 8", "NO"}, 944 {"1 1 2 9", "NO"}, 945 {"1 1 2 10", "NO"}, 946 {"1 1 2 11", "NO"}, 947 {"1 1 3 3", "YES"}, 948 {"1 1 3 4", "NO"}, 949 {"1 1 3 5", "NO"}, 950 {"1 1 3 6", "NO"}, 951 {"1 1 3 7", "NO"}, 952 {"1 1 3 8", "NO"}, 953 {"1 1 3 9", "NO"}, 954 {"1 1 3 10", "NO"}, 955 {"1 1 3 11", "NO"}, 956 {"1 1 4 4", "YES"}, 957 {"1 1 4 5", "NO"}, 958 {"1 1 4 6", "NO"}, 959 {"1 1 4 7", "NO"}, 960 {"1 1 4 8", "NO"}, 961 {"1 1 4 9", "NO"}, 962 {"1 1 4 10", "NO"}, 963 {"1 1 4 11", "NO"}, 964 {"1 1 5 5", "NO"}, 965 {"1 1 5 6", "NO"}, 966 {"1 1 5 7", "NO"}, 967 {"1 1 5 8", "NO"}, 968 {"1 1 5 9", "NO"}, 969 {"1 1 5 10", "NO"}, 970 {"1 1 5 11", "NO"}, 971 {"1 1 6 6", "NO"}, 972 {"1 1 6 7", "NO"}, 973 {"1 1 6 8", "NO"}, 974 {"1 1 6 9", "NO"}, 975 {"1 1 6 10", "NO"}, 976 {"1 1 6 11", "NO"}, 977 {"1 1 7 7", "NO"}, 978 {"1 1 7 8", "NO"}, 979 {"1 1 7 9", "NO"}, 980 {"1 1 7 10", "NO"}, 981 {"1 1 7 11", "NO"}, 982 {"1 1 8 8", "NO"}, 983 {"1 1 8 9", "NO"}, 984 {"1 1 8 10", "NO"}, 985 {"1 1 8 11", "NO"}, 986 {"1 1 9 9", "NO"}, 987 {"1 1 9 10", "NO"}, 988 {"1 1 9 11", "NO"}, 989 {"1 1 10 10", "YES"}, 990 {"1 1 10 11", "NO"}, 991 {"1 1 11 11", "NO"}, 992 {"1 2 1 2", "YES"}, 993 {"1 2 1 3", "NO"}, 994 {"1 2 1 4", "NO"}, 995 {"1 2 1 5", "NO"}, 996 {"1 2 1 6", "NO"}, 997 {"1 2 1 7", "NO"}, 998 {"1 2 1 8", "NO"}, 999 {"1 2 1 9", "NO"}, 1000 {"1 2 1 10", "NO"}, 1001 {"1 2 1 11", "NO"}, 1002 {"1 2 2 2", "NO"}, 1003 {"1 2 2 3", "NO"}, 1004 {"1 2 2 4", "NO"}, 1005 {"1 2 2 5", "NO"}, 1006 {"1 2 2 6", "YES"}, 1007 {"1 2 2 7", "NO"}, 1008 {"1 2 2 8", "NO"}, 1009 {"1 2 2 9", "NO"}, 1010 {"1 2 2 10", "NO"}, 1011 {"1 2 2 11", "YES"}, 1012 {"1 2 3 3", "NO"}, 1013 {"1 2 3 4", "YES"}, 1014 {"1 2 3 5", "NO"}, 1015 {"1 2 3 6", "NO"}, 1016 {"1 2 3 7", "YES"}, 1017 {"1 2 3 8", "YES"}, 1018 {"1 2 3 9", "NO"}, 1019 {"1 2 3 10", "NO"}, 1020 {"1 2 3 11", "NO"}, 1021 {"1 2 4 4", "YES"}, 1022 {"1 2 4 5", "YES"}, 1023 {"1 2 4 6", "NO"}, 1024 {"1 2 4 7", "YES"}, 1025 {"1 2 4 8", "NO"}, 1026 {"1 2 4 9", "NO"}, 1027 {"1 2 4 10", "YES"}, 1028 {"1 2 4 11", "NO"}, 1029 {"1 2 5 5", "NO"}, 1030 {"1 2 5 6", "NO"}, 1031 {"1 2 5 7", "NO"}, 1032 {"1 2 5 8", "NO"}, 1033 {"1 2 5 9", "NO"}, 1034 {"1 2 5 10", "YES"}, 1035 {"1 2 5 11", "NO"}, 1036 {"1 2 6 6", "NO"}, 1037 {"1 2 6 7", "NO"}, 1038 {"1 2 6 8", "NO"}, 1039 {"1 2 6 9", "NO"}, 1040 {"1 2 6 10", "NO"}, 1041 {"1 2 6 11", "NO"}, 1042 {"1 2 7 7", "NO"}, 1043 {"1 2 7 8", "NO"}, 1044 {"1 2 7 9", "NO"}, 1045 {"1 2 7 10", "NO"}, 1046 {"1 2 7 11", "NO"}, 1047 {"1 2 8 8", "NO"}, 1048 {"1 2 8 9", "NO"}, 1049 {"1 2 8 10", "NO"}, 1050 {"1 2 8 11", "NO"}, 1051 {"1 2 9 9", "NO"}, 1052 {"1 2 9 10", "NO"}, 1053 {"1 2 9 11", "NO"}, 1054 {"1 2 10 10", "NO"}, 1055 {"1 2 10 11", "NO"}, 1056 {"1 2 11 11", "NO"}, 1057 {"1 3 1 3", "YES"}, 1058 {"1 3 1 4", "NO"}, 1059 {"1 3 1 5", "NO"}, 1060 {"1 3 1 6", "NO"}, 1061 {"1 3 1 7", "NO"}, 1062 {"1 3 1 8", "NO"}, 1063 {"1 3 1 9", "NO"}, 1064 {"1 3 1 10", "NO"}, 1065 {"1 3 1 11", "NO"}, 1066 {"1 3 2 2", "NO"}, 1067 {"1 3 2 3", "NO"}, 1068 {"1 3 2 4", "YES"}, 1069 {"1 3 2 5", "NO"}, 1070 {"1 3 2 6", "NO"}, 1071 {"1 3 2 7", "YES"}, 1072 {"1 3 2 8", "YES"}, 1073 {"1 3 2 9", "NO"}, 1074 {"1 3 2 10", "NO"}, 1075 {"1 3 2 11", "NO"}, 1076 {"1 3 3 3", "NO"}, 1077 {"1 3 3 4", "NO"}, 1078 {"1 3 3 5", "NO"}, 1079 {"1 3 3 6", "NO"}, 1080 {"1 3 3 7", "NO"}, 1081 {"1 3 3 8", "NO"}, 1082 {"1 3 3 9", "NO"}, 1083 {"1 3 3 10", "NO"}, 1084 {"1 3 3 11", "YES"}, 1085 {"1 3 4 4", "NO"}, 1086 {"1 3 4 5", "NO"}, 1087 {"1 3 4 6", "YES"}, 1088 {"1 3 4 7", "NO"}, 1089 {"1 3 4 8", "NO"}, 1090 {"1 3 4 9", "NO"}, 1091 {"1 3 4 10", "NO"}, 1092 {"1 3 4 11", "NO"}, 1093 {"1 3 5 5", "NO"}, 1094 {"1 3 5 6", "NO"}, 1095 {"1 3 5 7", "NO"}, 1096 {"1 3 5 8", "NO"}, 1097 {"1 3 5 9", "NO"}, 1098 {"1 3 5 10", "NO"}, 1099 {"1 3 5 11", "NO"}, 1100 {"1 3 6 6", "NO"}, 1101 {"1 3 6 7", "NO"}, 1102 {"1 3 6 8", "NO"}, 1103 {"1 3 6 9", "NO"}, 1104 {"1 3 6 10", "NO"}, 1105 {"1 3 6 11", "NO"}, 1106 {"1 3 7 7", "NO"}, 1107 {"1 3 7 8", "NO"}, 1108 {"1 3 7 9", "NO"}, 1109 {"1 3 7 10", "NO"}, 1110 {"1 3 7 11", "NO"}, 1111 {"1 3 8 8", "NO"}, 1112 {"1 3 8 9", "NO"}, 1113 {"1 3 8 10", "NO"}, 1114 {"1 3 8 11", "NO"}, 1115 {"1 3 9 9", "NO"}, 1116 {"1 3 9 10", "NO"}, 1117 {"1 3 9 11", "NO"}, 1118 {"1 3 10 10", "NO"}, 1119 {"1 3 10 11", "NO"}, 1120 {"1 3 11 11", "NO"}, 1121 {"1 4 1 4", "YES"}, 1122 {"1 4 1 5", "NO"}, 1123 {"1 4 1 6", "NO"}, 1124 {"1 4 1 7", "NO"}, 1125 {"1 4 1 8", "NO"}, 1126 {"1 4 1 9", "NO"}, 1127 {"1 4 1 10", "NO"}, 1128 {"1 4 1 11", "NO"}, 1129 {"1 4 2 2", "NO"}, 1130 {"1 4 2 3", "YES"}, 1131 {"1 4 2 4", "YES"}, 1132 {"1 4 2 5", "YES"}, 1133 {"1 4 2 6", "NO"}, 1134 {"1 4 2 7", "YES"}, 1135 {"1 4 2 8", "NO"}, 1136 {"1 4 2 9", "NO"}, 1137 {"1 4 2 10", "YES"}, 1138 {"1 4 2 11", "NO"}, 1139 {"1 4 3 3", "NO"}, 1140 {"1 4 3 4", "NO"}, 1141 {"1 4 3 5", "NO"}, 1142 {"1 4 3 6", "YES"}, 1143 {"1 4 3 7", "NO"}, 1144 {"1 4 3 8", "NO"}, 1145 {"1 4 3 9", "NO"}, 1146 {"1 4 3 10", "NO"}, 1147 {"1 4 3 11", "NO"}, 1148 {"1 4 4 4", "NO"}, 1149 {"1 4 4 5", "NO"}, 1150 {"1 4 4 6", "NO"}, 1151 {"1 4 4 7", "YES"}, 1152 {"1 4 4 8", "NO"}, 1153 {"1 4 4 9", "NO"}, 1154 {"1 4 4 10", "YES"}, 1155 {"1 4 4 11", "YES"}, 1156 {"1 4 5 5", "NO"}, 1157 {"1 4 5 6", "NO"}, 1158 {"1 4 5 7", "NO"}, 1159 {"1 4 5 8", "YES"}, 1160 {"1 4 5 9", "NO"}, 1161 {"1 4 5 10", "NO"}, 1162 {"1 4 5 11", "NO"}, 1163 {"1 4 6 6", "NO"}, 1164 {"1 4 6 7", "YES"}, 1165 {"1 4 6 8", "NO"}, 1166 {"1 4 6 9", "NO"}, 1167 {"1 4 6 10", "NO"}, 1168 {"1 4 6 11", "NO"}, 1169 {"1 4 7 7", "NO"}, 1170 {"1 4 7 8", "NO"}, 1171 {"1 4 7 9", "NO"}, 1172 {"1 4 7 10", "NO"}, 1173 {"1 4 7 11", "NO"}, 1174 {"1 4 8 8", "NO"}, 1175 {"1 4 8 9", "NO"}, 1176 {"1 4 8 10", "YES"}, 1177 {"1 4 8 11", "NO"}, 1178 {"1 4 9 9", "NO"}, 1179 {"1 4 9 10", "NO"}, 1180 {"1 4 9 11", "NO"}, 1181 {"1 4 10 10", "NO"}, 1182 {"1 4 10 11", "NO"}, 1183 {"1 4 11 11", "NO"}, 1184 {"1 5 1 5", "YES"}, 1185 {"1 5 1 6", "NO"}, 1186 {"1 5 1 7", "NO"}, 1187 {"1 5 1 8", "NO"}, 1188 {"1 5 1 9", "NO"}, 1189 {"1 5 1 10", "NO"}, 1190 {"1 5 1 11", "NO"}, 1191 {"1 5 2 2", "NO"}, 1192 {"1 5 2 3", "NO"}, 1193 {"1 5 2 4", "YES"}, 1194 {"1 5 2 5", "NO"}, 1195 {"1 5 2 6", "NO"}, 1196 {"1 5 2 7", "NO"}, 1197 {"1 5 2 8", "NO"}, 1198 {"1 5 2 9", "NO"}, 1199 {"1 5 2 10", "YES"}, 1200 {"1 5 2 11", "NO"}, 1201 {"1 5 3 3", "NO"}, 1202 {"1 5 3 4", "NO"}, 1203 {"1 5 3 5", "NO"}, 1204 {"1 5 3 6", "NO"}, 1205 {"1 5 3 7", "NO"}, 1206 {"1 5 3 8", "NO"}, 1207 {"1 5 3 9", "NO"}, 1208 {"1 5 3 10", "YES"}, 1209 {"1 5 3 11", "NO"}, 1210 {"1 5 4 4", "NO"}, 1211 {"1 5 4 5", "NO"}, 1212 {"1 5 4 6", "NO"}, 1213 {"1 5 4 7", "NO"}, 1214 {"1 5 4 8", "NO"}, 1215 {"1 5 4 9", "NO"}, 1216 {"1 5 4 10", "NO"}, 1217 {"1 5 4 11", "NO"}, 1218 {"1 5 5 5", "NO"}, 1219 {"1 5 5 6", "NO"}, 1220 {"1 5 5 7", "NO"}, 1221 {"1 5 5 8", "NO"}, 1222 {"1 5 5 9", "NO"}, 1223 {"1 5 5 10", "NO"}, 1224 {"1 5 5 11", "NO"}, 1225 {"1 5 6 6", "NO"}, 1226 {"1 5 6 7", "NO"}, 1227 {"1 5 6 8", "NO"}, 1228 {"1 5 6 9", "NO"}, 1229 {"1 5 6 10", "NO"}, 1230 {"1 5 6 11", "NO"}, 1231 {"1 5 7 7", "NO"}, 1232 {"1 5 7 8", "NO"}, 1233 {"1 5 7 9", "NO"}, 1234 {"1 5 7 10", "NO"}, 1235 {"1 5 7 11", "NO"}, 1236 {"1 5 8 8", "NO"}, 1237 {"1 5 8 9", "NO"}, 1238 {"1 5 8 10", "NO"}, 1239 {"1 5 8 11", "NO"}, 1240 {"1 5 9 9", "NO"}, 1241 {"1 5 9 10", "NO"}, 1242 {"1 5 9 11", "NO"}, 1243 {"1 5 10 10", "NO"}, 1244 {"1 5 10 11", "NO"}, 1245 {"1 5 11 11", "NO"}, 1246 {"1 6 1 6", "YES"}, 1247 {"1 6 1 7", "NO"}, 1248 {"1 6 1 8", "NO"}, 1249 {"1 6 1 9", "NO"}, 1250 {"1 6 1 10", "NO"}, 1251 {"1 6 1 11", "NO"}, 1252 {"1 6 2 2", "YES"}, 1253 {"1 6 2 3", "NO"}, 1254 {"1 6 2 4", "NO"}, 1255 {"1 6 2 5", "NO"}, 1256 {"1 6 2 6", "NO"}, 1257 {"1 6 2 7", "NO"}, 1258 {"1 6 2 8", "NO"}, 1259 {"1 6 2 9", "NO"}, 1260 {"1 6 2 10", "NO"}, 1261 {"1 6 2 11", "NO"}, 1262 {"1 6 3 3", "NO"}, 1263 {"1 6 3 4", "NO"}, 1264 {"1 6 3 5", "NO"}, 1265 {"1 6 3 6", "NO"}, 1266 {"1 6 3 7", "NO"}, 1267 {"1 6 3 8", "NO"}, 1268 {"1 6 3 9", "NO"}, 1269 {"1 6 3 10", "NO"}, 1270 {"1 6 3 11", "NO"}, 1271 {"1 6 4 4", "NO"}, 1272 {"1 6 4 5", "NO"}, 1273 {"1 6 4 6", "NO"}, 1274 {"1 6 4 7", "YES"}, 1275 {"1 6 4 8", "NO"}, 1276 {"1 6 4 9", "NO"}, 1277 {"1 6 4 10", "NO"}, 1278 {"1 6 4 11", "NO"}, 1279 {"1 6 5 5", "NO"}, 1280 {"1 6 5 6", "NO"}, 1281 {"1 6 5 7", "NO"}, 1282 {"1 6 5 8", "NO"}, 1283 {"1 6 5 9", "NO"}, 1284 {"1 6 5 10", "NO"}, 1285 {"1 6 5 11", "YES"}, 1286 {"1 6 6 6", "NO"}, 1287 {"1 6 6 7", "YES"}, 1288 {"1 6 6 8", "NO"}, 1289 {"1 6 6 9", "NO"}, 1290 {"1 6 6 10", "NO"}, 1291 {"1 6 6 11", "NO"}, 1292 {"1 6 7 7", "NO"}, 1293 {"1 6 7 8", "NO"}, 1294 {"1 6 7 9", "NO"}, 1295 {"1 6 7 10", "YES"}, 1296 {"1 6 7 11", "NO"}, 1297 {"1 6 8 8", "NO"}, 1298 {"1 6 8 9", "NO"}, 1299 {"1 6 8 10", "NO"}, 1300 {"1 6 8 11", "NO"}, 1301 {"1 6 9 9", "NO"}, 1302 {"1 6 9 10", "NO"}, 1303 {"1 6 9 11", "NO"}, 1304 {"1 6 10 10", "NO"}, 1305 {"1 6 10 11", "NO"}, 1306 {"1 6 11 11", "NO"}, 1307 {"1 7 1 7", "YES"}, 1308 {"1 7 1 8", "NO"}, 1309 {"1 7 1 9", "NO"}, 1310 {"1 7 1 10", "NO"}, 1311 {"1 7 1 11", "NO"}, 1312 {"1 7 2 2", "NO"}, 1313 {"1 7 2 3", "YES"}, 1314 {"1 7 2 4", "YES"}, 1315 {"1 7 2 5", "NO"}, 1316 {"1 7 2 6", "NO"}, 1317 {"1 7 2 7", "NO"}, 1318 {"1 7 2 8", "NO"}, 1319 {"1 7 2 9", "NO"}, 1320 {"1 7 2 10", "NO"}, 1321 {"1 7 2 11", "NO"}, 1322 {"1 7 3 3", "NO"}, 1323 {"1 7 3 4", "NO"}, 1324 {"1 7 3 5", "NO"}, 1325 {"1 7 3 6", "NO"}, 1326 {"1 7 3 7", "NO"}, 1327 {"1 7 3 8", "NO"}, 1328 {"1 7 3 9", "NO"}, 1329 {"1 7 3 10", "NO"}, 1330 {"1 7 3 11", "NO"}, 1331 {"1 7 4 4", "NO"}, 1332 {"1 7 4 5", "NO"}, 1333 {"1 7 4 6", "NO"}, 1334 {"1 7 4 7", "NO"}, 1335 {"1 7 4 8", "NO"}, 1336 {"1 7 4 9", "NO"}, 1337 {"1 7 4 10", "NO"}, 1338 {"1 7 4 11", "NO"}, 1339 {"1 7 5 5", "NO"}, 1340 {"1 7 5 6", "NO"}, 1341 {"1 7 5 7", "NO"}, 1342 {"1 7 5 8", "NO"}, 1343 {"1 7 5 9", "NO"}, 1344 {"1 7 5 10", "NO"}, 1345 {"1 7 5 11", "NO"}, 1346 {"1 7 6 6", "NO"}, 1347 {"1 7 6 7", "NO"}, 1348 {"1 7 6 8", "NO"}, 1349 {"1 7 6 9", "NO"}, 1350 {"1 7 6 10", "NO"}, 1351 {"1 7 6 11", "NO"}, 1352 {"1 7 7 7", "NO"}, 1353 {"1 7 7 8", "NO"}, 1354 {"1 7 7 9", "NO"}, 1355 {"1 7 7 10", "NO"}, 1356 {"1 7 7 11", "NO"}, 1357 {"1 7 8 8", "NO"}, 1358 {"1 7 8 9", "NO"}, 1359 {"1 7 8 10", "NO"}, 1360 {"1 7 8 11", "NO"}, 1361 {"1 7 9 9", "NO"}, 1362 {"1 7 9 10", "NO"}, 1363 {"1 7 9 11", "NO"}, 1364 {"1 7 10 10", "YES"}, 1365 {"1 7 10 11", "NO"}, 1366 {"1 7 11 11", "NO"}, 1367 {"1 8 1 8", "YES"}, 1368 {"1 8 1 9", "NO"}, 1369 {"1 8 1 10", "NO"}, 1370 {"1 8 1 11", "NO"}, 1371 {"1 8 2 2", "NO"}, 1372 {"1 8 2 3", "YES"}, 1373 {"1 8 2 4", "NO"}, 1374 {"1 8 2 5", "NO"}, 1375 {"1 8 2 6", "NO"}, 1376 {"1 8 2 7", "NO"}, 1377 {"1 8 2 8", "NO"}, 1378 {"1 8 2 9", "NO"}, 1379 {"1 8 2 10", "NO"}, 1380 {"1 8 2 11", "NO"}, 1381 {"1 8 3 3", "NO"}, 1382 {"1 8 3 4", "NO"}, 1383 {"1 8 3 5", "NO"}, 1384 {"1 8 3 6", "NO"}, 1385 {"1 8 3 7", "NO"}, 1386 {"1 8 3 8", "NO"}, 1387 {"1 8 3 9", "NO"}, 1388 {"1 8 3 10", "NO"}, 1389 {"1 8 3 11", "NO"}, 1390 {"1 8 4 4", "NO"}, 1391 {"1 8 4 5", "NO"}, 1392 {"1 8 4 6", "NO"}, 1393 {"1 8 4 7", "NO"}, 1394 {"1 8 4 8", "NO"}, 1395 {"1 8 4 9", "NO"}, 1396 {"1 8 4 10", "NO"}, 1397 {"1 8 4 11", "NO"}, 1398 {"1 8 5 5", "NO"}, 1399 {"1 8 5 6", "NO"}, 1400 {"1 8 5 7", "NO"}, 1401 {"1 8 5 8", "NO"}, 1402 {"1 8 5 9", "NO"}, 1403 {"1 8 5 10", "NO"}, 1404 {"1 8 5 11", "NO"}, 1405 {"1 8 6 6", "NO"}, 1406 {"1 8 6 7", "NO"}, 1407 {"1 8 6 8", "NO"}, 1408 {"1 8 6 9", "NO"}, 1409 {"1 8 6 10", "NO"}, 1410 {"1 8 6 11", "NO"}, 1411 {"1 8 7 7", "NO"}, 1412 {"1 8 7 8", "NO"}, 1413 {"1 8 7 9", "NO"}, 1414 {"1 8 7 10", "NO"}, 1415 {"1 8 7 11", "NO"}, 1416 {"1 8 8 8", "NO"}, 1417 {"1 8 8 9", "NO"}, 1418 {"1 8 8 10", "NO"}, 1419 {"1 8 8 11", "NO"}, 1420 {"1 8 9 9", "NO"}, 1421 {"1 8 9 10", "NO"}, 1422 {"1 8 9 11", "NO"}, 1423 {"1 8 10 10", "NO"}, 1424 {"1 8 10 11", "NO"}, 1425 {"1 8 11 11", "NO"}, 1426 {"1 9 1 9", "YES"}, 1427 {"1 9 1 10", "NO"}, 1428 {"1 9 1 11", "NO"}, 1429 {"1 9 2 2", "NO"}, 1430 {"1 9 2 3", "NO"}, 1431 {"1 9 2 4", "NO"}, 1432 {"1 9 2 5", "NO"}, 1433 {"1 9 2 6", "NO"}, 1434 {"1 9 2 7", "NO"}, 1435 {"1 9 2 8", "NO"}, 1436 {"1 9 2 9", "NO"}, 1437 {"1 9 2 10", "NO"}, 1438 {"1 9 2 11", "NO"}, 1439 {"1 9 3 3", "NO"}, 1440 {"1 9 3 4", "NO"}, 1441 {"1 9 3 5", "NO"}, 1442 {"1 9 3 6", "NO"}, 1443 {"1 9 3 7", "NO"}, 1444 {"1 9 3 8", "NO"}, 1445 {"1 9 3 9", "NO"}, 1446 {"1 9 3 10", "NO"}, 1447 {"1 9 3 11", "NO"}, 1448 {"1 9 4 4", "NO"}, 1449 {"1 9 4 5", "NO"}, 1450 {"1 9 4 6", "NO"}, 1451 {"1 9 4 7", "NO"}, 1452 {"1 9 4 8", "NO"}, 1453 {"1 9 4 9", "NO"}, 1454 {"1 9 4 10", "NO"}, 1455 {"1 9 4 11", "NO"}, 1456 {"1 9 5 5", "NO"}, 1457 {"1 9 5 6", "NO"}, 1458 {"1 9 5 7", "NO"}, 1459 {"1 9 5 8", "NO"}, 1460 {"1 9 5 9", "NO"}, 1461 {"1 9 5 10", "NO"}, 1462 {"1 9 5 11", "NO"}, 1463 {"1 9 6 6", "NO"}, 1464 {"1 9 6 7", "NO"}, 1465 {"1 9 6 8", "NO"}, 1466 {"1 9 6 9", "NO"}, 1467 {"1 9 6 10", "NO"}, 1468 {"1 9 6 11", "NO"}, 1469 {"1 9 7 7", "NO"}, 1470 {"1 9 7 8", "NO"}, 1471 {"1 9 7 9", "NO"}, 1472 {"1 9 7 10", "NO"}, 1473 {"1 9 7 11", "NO"}, 1474 {"1 9 8 8", "NO"}, 1475 {"1 9 8 9", "NO"}, 1476 {"1 9 8 10", "NO"}, 1477 {"1 9 8 11", "NO"}, 1478 {"1 9 9 9", "NO"}, 1479 {"1 9 9 10", "NO"}, 1480 {"1 9 9 11", "NO"}, 1481 {"1 9 10 10", "NO"}, 1482 {"1 9 10 11", "NO"}, 1483 {"1 9 11 11", "NO"}, 1484 {"1 10 1 10", "YES"}, 1485 {"1 10 1 11", "NO"}, 1486 {"1 10 2 2", "NO"}, 1487 {"1 10 2 3", "NO"}, 1488 {"1 10 2 4", "YES"}, 1489 {"1 10 2 5", "YES"}, 1490 {"1 10 2 6", "NO"}, 1491 {"1 10 2 7", "NO"}, 1492 {"1 10 2 8", "NO"}, 1493 {"1 10 2 9", "NO"}, 1494 {"1 10 2 10", "NO"}, 1495 {"1 10 2 11", "NO"}, 1496 {"1 10 3 3", "NO"}, 1497 {"1 10 3 4", "NO"}, 1498 {"1 10 3 5", "NO"}, 1499 {"1 10 3 6", "NO"}, 1500 {"1 10 3 7", "NO"}, 1501 {"1 10 3 8", "NO"}, 1502 {"1 10 3 9", "NO"}, 1503 {"1 10 3 10", "NO"}, 1504 {"1 10 3 11", "NO"}, 1505 {"1 10 4 4", "YES"}, 1506 {"1 10 4 5", "NO"}, 1507 {"1 10 4 6", "NO"}, 1508 {"1 10 4 7", "NO"}, 1509 {"1 10 4 8", "YES"}, 1510 {"1 10 4 9", "NO"}, 1511 {"1 10 4 10", "NO"}, 1512 {"1 10 4 11", "NO"}, 1513 {"1 10 5 5", "NO"}, 1514 {"1 10 5 6", "NO"}, 1515 {"1 10 5 7", "NO"}, 1516 {"1 10 5 8", "NO"}, 1517 {"1 10 5 9", "NO"}, 1518 {"1 10 5 10", "NO"}, 1519 {"1 10 5 11", "NO"}, 1520 {"1 10 6 6", "NO"}, 1521 {"1 10 6 7", "NO"}, 1522 {"1 10 6 8", "NO"}, 1523 {"1 10 6 9", "NO"}, 1524 {"1 10 6 10", "NO"}, 1525 {"1 10 6 11", "NO"}, 1526 {"1 10 7 7", "NO"}, 1527 {"1 10 7 8", "NO"}, 1528 {"1 10 7 9", "NO"}, 1529 {"1 10 7 10", "NO"}, 1530 {"1 10 7 11", "NO"}, 1531 {"1 10 8 8", "NO"}, 1532 {"1 10 8 9", "NO"}, 1533 {"1 10 8 10", "NO"}, 1534 {"1 10 8 11", "NO"}, 1535 {"1 10 9 9", "NO"}, 1536 {"1 10 9 10", "YES"}, 1537 {"1 10 9 11", "NO"}, 1538 {"1 10 10 10", "NO"}, 1539 {"1 10 10 11", "YES"}, 1540 {"1 10 11 11", "NO"}, 1541 {"1 11 1 11", "YES"}, 1542 {"1 11 2 2", "YES"}, 1543 {"1 11 2 3", "NO"}, 1544 {"1 11 2 4", "NO"}, 1545 {"1 11 2 5", "NO"}, 1546 {"1 11 2 6", "NO"}, 1547 {"1 11 2 7", "NO"}, 1548 {"1 11 2 8", "NO"}, 1549 {"1 11 2 9", "NO"}, 1550 {"1 11 2 10", "NO"}, 1551 {"1 11 2 11", "NO"}, 1552 {"1 11 3 3", "NO"}, 1553 {"1 11 3 4", "NO"}, 1554 {"1 11 3 5", "NO"}, 1555 {"1 11 3 6", "NO"}, 1556 {"1 11 3 7", "NO"}, 1557 {"1 11 3 8", "NO"}, 1558 {"1 11 3 9", "NO"}, 1559 {"1 11 3 10", "NO"}, 1560 {"1 11 3 11", "NO"}, 1561 {"1 11 4 4", "NO"}, 1562 {"1 11 4 5", "NO"}, 1563 {"1 11 4 6", "NO"}, 1564 {"1 11 4 7", "NO"}, 1565 {"1 11 4 8", "NO"}, 1566 {"1 11 4 9", "NO"}, 1567 {"1 11 4 10", "NO"}, 1568 {"1 11 4 11", "NO"}, 1569 {"1 11 5 5", "NO"}, 1570 {"1 11 5 6", "NO"}, 1571 {"1 11 5 7", "NO"}, 1572 {"1 11 5 8", "NO"}, 1573 {"1 11 5 9", "NO"}, 1574 {"1 11 5 10", "NO"}, 1575 {"1 11 5 11", "NO"}, 1576 {"1 11 6 6", "NO"}, 1577 {"1 11 6 7", "NO"}, 1578 {"1 11 6 8", "NO"}, 1579 {"1 11 6 9", "NO"}, 1580 {"1 11 6 10", "NO"}, 1581 {"1 11 6 11", "NO"}, 1582 {"1 11 7 7", "NO"}, 1583 {"1 11 7 8", "NO"}, 1584 {"1 11 7 9", "NO"}, 1585 {"1 11 7 10", "NO"}, 1586 {"1 11 7 11", "NO"}, 1587 {"1 11 8 8", "NO"}, 1588 {"1 11 8 9", "NO"}, 1589 {"1 11 8 10", "NO"}, 1590 {"1 11 8 11", "NO"}, 1591 {"1 11 9 9", "NO"}, 1592 {"1 11 9 10", "NO"}, 1593 {"1 11 9 11", "NO"}, 1594 {"1 11 10 10", "NO"}, 1595 {"1 11 10 11", "NO"}, 1596 {"1 11 11 11", "NO"}, 1597 {"2 2 2 2", "YES"}, 1598 {"2 2 2 3", "NO"}, 1599 {"2 2 2 4", "NO"}, 1600 {"2 2 2 5", "NO"}, 1601 {"2 2 2 6", "NO"}, 1602 {"2 2 2 7", "NO"}, 1603 {"2 2 2 8", "NO"}, 1604 {"2 2 2 9", "NO"}, 1605 {"2 2 2 10", "YES"}, 1606 {"2 2 2 11", "NO"}, 1607 {"2 2 3 3", "NO"}, 1608 {"2 2 3 4", "YES"}, 1609 {"2 2 3 5", "NO"}, 1610 {"2 2 3 6", "NO"}, 1611 {"2 2 3 7", "NO"}, 1612 {"2 2 3 8", "NO"}, 1613 {"2 2 3 9", "NO"}, 1614 {"2 2 3 10", "NO"}, 1615 {"2 2 3 11", "NO"}, 1616 {"2 2 4 4", "YES"}, 1617 {"2 2 4 5", "NO"}, 1618 {"2 2 4 6", "NO"}, 1619 {"2 2 4 7", "NO"}, 1620 {"2 2 4 8", "YES"}, 1621 {"2 2 4 9", "NO"}, 1622 {"2 2 4 10", "YES"}, 1623 {"2 2 4 11", "NO"}, 1624 {"2 2 5 5", "YES"}, 1625 {"2 2 5 6", "NO"}, 1626 {"2 2 5 7", "NO"}, 1627 {"2 2 5 8", "NO"}, 1628 {"2 2 5 9", "NO"}, 1629 {"2 2 5 10", "NO"}, 1630 {"2 2 5 11", "NO"}, 1631 {"2 2 6 6", "YES"}, 1632 {"2 2 6 7", "NO"}, 1633 {"2 2 6 8", "NO"}, 1634 {"2 2 6 9", "NO"}, 1635 {"2 2 6 10", "NO"}, 1636 {"2 2 6 11", "YES"}, 1637 {"2 2 7 7", "YES"}, 1638 {"2 2 7 8", "NO"}, 1639 {"2 2 7 9", "NO"}, 1640 {"2 2 7 10", "NO"}, 1641 {"2 2 7 11", "NO"}, 1642 {"2 2 8 8", "YES"}, 1643 {"2 2 8 9", "NO"}, 1644 {"2 2 8 10", "NO"}, 1645 {"2 2 8 11", "NO"}, 1646 {"2 2 9 9", "NO"}, 1647 {"2 2 9 10", "NO"}, 1648 {"2 2 9 11", "NO"}, 1649 {"2 2 10 10", "YES"}, 1650 {"2 2 10 11", "NO"}, 1651 {"2 2 11 11", "YES"}, 1652 {"2 3 2 3", "YES"}, 1653 {"2 3 2 4", "YES"}, 1654 {"2 3 2 5", "NO"}, 1655 {"2 3 2 6", "YES"}, 1656 {"2 3 2 7", "NO"}, 1657 {"2 3 2 8", "NO"}, 1658 {"2 3 2 9", "NO"}, 1659 {"2 3 2 10", "NO"}, 1660 {"2 3 2 11", "NO"}, 1661 {"2 3 3 3", "NO"}, 1662 {"2 3 3 4", "NO"}, 1663 {"2 3 3 5", "NO"}, 1664 {"2 3 3 6", "NO"}, 1665 {"2 3 3 7", "NO"}, 1666 {"2 3 3 8", "NO"}, 1667 {"2 3 3 9", "NO"}, 1668 {"2 3 3 10", "NO"}, 1669 {"2 3 3 11", "NO"}, 1670 {"2 3 4 4", "YES"}, 1671 {"2 3 4 5", "YES"}, 1672 {"2 3 4 6", "YES"}, 1673 {"2 3 4 7", "YES"}, 1674 {"2 3 4 8", "NO"}, 1675 {"2 3 4 9", "NO"}, 1676 {"2 3 4 10", "YES"}, 1677 {"2 3 4 11", "YES"}, 1678 {"2 3 5 5", "NO"}, 1679 {"2 3 5 6", "NO"}, 1680 {"2 3 5 7", "NO"}, 1681 {"2 3 5 8", "NO"}, 1682 {"2 3 5 9", "NO"}, 1683 {"2 3 5 10", "NO"}, 1684 {"2 3 5 11", "NO"}, 1685 {"2 3 6 6", "NO"}, 1686 {"2 3 6 7", "YES"}, 1687 {"2 3 6 8", "YES"}, 1688 {"2 3 6 9", "NO"}, 1689 {"2 3 6 10", "NO"}, 1690 {"2 3 6 11", "NO"}, 1691 {"2 3 7 7", "NO"}, 1692 {"2 3 7 8", "YES"}, 1693 {"2 3 7 9", "NO"}, 1694 {"2 3 7 10", "NO"}, 1695 {"2 3 7 11", "YES"}, 1696 {"2 3 8 8", "NO"}, 1697 {"2 3 8 9", "NO"}, 1698 {"2 3 8 10", "NO"}, 1699 {"2 3 8 11", "YES"}, 1700 {"2 3 9 9", "NO"}, 1701 {"2 3 9 10", "NO"}, 1702 {"2 3 9 11", "NO"}, 1703 {"2 3 10 10", "YES"}, 1704 {"2 3 10 11", "NO"}, 1705 {"2 3 11 11", "NO"}, 1706 {"2 4 2 4", "YES"}, 1707 {"2 4 2 5", "NO"}, 1708 {"2 4 2 6", "NO"}, 1709 {"2 4 2 7", "YES"}, 1710 {"2 4 2 8", "NO"}, 1711 {"2 4 2 9", "NO"}, 1712 {"2 4 2 10", "NO"}, 1713 {"2 4 2 11", "NO"}, 1714 {"2 4 3 3", "NO"}, 1715 {"2 4 3 4", "YES"}, 1716 {"2 4 3 5", "YES"}, 1717 {"2 4 3 6", "YES"}, 1718 {"2 4 3 7", "NO"}, 1719 {"2 4 3 8", "NO"}, 1720 {"2 4 3 9", "NO"}, 1721 {"2 4 3 10", "YES"}, 1722 {"2 4 3 11", "YES"}, 1723 {"2 4 4 4", "YES"}, 1724 {"2 4 4 5", "YES"}, 1725 {"2 4 4 6", "YES"}, 1726 {"2 4 4 7", "YES"}, 1727 {"2 4 4 8", "YES"}, 1728 {"2 4 4 9", "NO"}, 1729 {"2 4 4 10", "YES"}, 1730 {"2 4 4 11", "YES"}, 1731 {"2 4 5 5", "NO"}, 1732 {"2 4 5 6", "YES"}, 1733 {"2 4 5 7", "NO"}, 1734 {"2 4 5 8", "NO"}, 1735 {"2 4 5 9", "NO"}, 1736 {"2 4 5 10", "NO"}, 1737 {"2 4 5 11", "YES"}, 1738 {"2 4 6 6", "NO"}, 1739 {"2 4 6 7", "YES"}, 1740 {"2 4 6 8", "YES"}, 1741 {"2 4 6 9", "NO"}, 1742 {"2 4 6 10", "YES"}, 1743 {"2 4 6 11", "NO"}, 1744 {"2 4 7 7", "NO"}, 1745 {"2 4 7 8", "NO"}, 1746 {"2 4 7 9", "NO"}, 1747 {"2 4 7 10", "YES"}, 1748 {"2 4 7 11", "YES"}, 1749 {"2 4 8 8", "NO"}, 1750 {"2 4 8 9", "NO"}, 1751 {"2 4 8 10", "YES"}, 1752 {"2 4 8 11", "NO"}, 1753 {"2 4 9 9", "NO"}, 1754 {"2 4 9 10", "NO"}, 1755 {"2 4 9 11", "NO"}, 1756 {"2 4 10 10", "NO"}, 1757 {"2 4 10 11", "YES"}, 1758 {"2 4 11 11", "NO"}, 1759 {"2 5 2 5", "YES"}, 1760 {"2 5 2 6", "YES"}, 1761 {"2 5 2 7", "YES"}, 1762 {"2 5 2 8", "NO"}, 1763 {"2 5 2 9", "NO"}, 1764 {"2 5 2 10", "NO"}, 1765 {"2 5 2 11", "YES"}, 1766 {"2 5 3 3", "YES"}, 1767 {"2 5 3 4", "YES"}, 1768 {"2 5 3 5", "NO"}, 1769 {"2 5 3 6", "NO"}, 1770 {"2 5 3 7", "NO"}, 1771 {"2 5 3 8", "NO"}, 1772 {"2 5 3 9", "NO"}, 1773 {"2 5 3 10", "NO"}, 1774 {"2 5 3 11", "NO"}, 1775 {"2 5 4 4", "NO"}, 1776 {"2 5 4 5", "NO"}, 1777 {"2 5 4 6", "YES"}, 1778 {"2 5 4 7", "NO"}, 1779 {"2 5 4 8", "NO"}, 1780 {"2 5 4 9", "NO"}, 1781 {"2 5 4 10", "NO"}, 1782 {"2 5 4 11", "YES"}, 1783 {"2 5 5 5", "NO"}, 1784 {"2 5 5 6", "NO"}, 1785 {"2 5 5 7", "NO"}, 1786 {"2 5 5 8", "NO"}, 1787 {"2 5 5 9", "NO"}, 1788 {"2 5 5 10", "NO"}, 1789 {"2 5 5 11", "NO"}, 1790 {"2 5 6 6", "NO"}, 1791 {"2 5 6 7", "NO"}, 1792 {"2 5 6 8", "NO"}, 1793 {"2 5 6 9", "NO"}, 1794 {"2 5 6 10", "YES"}, 1795 {"2 5 6 11", "NO"}, 1796 {"2 5 7 7", "NO"}, 1797 {"2 5 7 8", "NO"}, 1798 {"2 5 7 9", "NO"}, 1799 {"2 5 7 10", "NO"}, 1800 {"2 5 7 11", "NO"}, 1801 {"2 5 8 8", "NO"}, 1802 {"2 5 8 9", "NO"}, 1803 {"2 5 8 10", "NO"}, 1804 {"2 5 8 11", "NO"}, 1805 {"2 5 9 9", "NO"}, 1806 {"2 5 9 10", "NO"}, 1807 {"2 5 9 11", "NO"}, 1808 {"2 5 10 10", "NO"}, 1809 {"2 5 10 11", "YES"}, 1810 {"2 5 11 11", "NO"}, 1811 {"2 6 2 6", "YES"}, 1812 {"2 6 2 7", "NO"}, 1813 {"2 6 2 8", "NO"}, 1814 {"2 6 2 9", "NO"}, 1815 {"2 6 2 10", "NO"}, 1816 {"2 6 2 11", "YES"}, 1817 {"2 6 3 3", "NO"}, 1818 {"2 6 3 4", "YES"}, 1819 {"2 6 3 5", "NO"}, 1820 {"2 6 3 6", "YES"}, 1821 {"2 6 3 7", "YES"}, 1822 {"2 6 3 8", "NO"}, 1823 {"2 6 3 9", "NO"}, 1824 {"2 6 3 10", "NO"}, 1825 {"2 6 3 11", "NO"}, 1826 {"2 6 4 4", "YES"}, 1827 {"2 6 4 5", "NO"}, 1828 {"2 6 4 6", "YES"}, 1829 {"2 6 4 7", "YES"}, 1830 {"2 6 4 8", "NO"}, 1831 {"2 6 4 9", "NO"}, 1832 {"2 6 4 10", "YES"}, 1833 {"2 6 4 11", "NO"}, 1834 {"2 6 5 5", "NO"}, 1835 {"2 6 5 6", "NO"}, 1836 {"2 6 5 7", "NO"}, 1837 {"2 6 5 8", "NO"}, 1838 {"2 6 5 9", "NO"}, 1839 {"2 6 5 10", "YES"}, 1840 {"2 6 5 11", "NO"}, 1841 {"2 6 6 6", "NO"}, 1842 {"2 6 6 7", "NO"}, 1843 {"2 6 6 8", "NO"}, 1844 {"2 6 6 9", "NO"}, 1845 {"2 6 6 10", "NO"}, 1846 {"2 6 6 11", "NO"}, 1847 {"2 6 7 7", "NO"}, 1848 {"2 6 7 8", "YES"}, 1849 {"2 6 7 9", "NO"}, 1850 {"2 6 7 10", "NO"}, 1851 {"2 6 7 11", "NO"}, 1852 {"2 6 8 8", "NO"}, 1853 {"2 6 8 9", "NO"}, 1854 {"2 6 8 10", "NO"}, 1855 {"2 6 8 11", "NO"}, 1856 {"2 6 9 9", "NO"}, 1857 {"2 6 9 10", "NO"}, 1858 {"2 6 9 11", "NO"}, 1859 {"2 6 10 10", "NO"}, 1860 {"2 6 10 11", "YES"}, 1861 {"2 6 11 11", "NO"}, 1862 {"2 7 2 7", "YES"}, 1863 {"2 7 2 8", "YES"}, 1864 {"2 7 2 9", "NO"}, 1865 {"2 7 2 10", "NO"}, 1866 {"2 7 2 11", "NO"}, 1867 {"2 7 3 3", "NO"}, 1868 {"2 7 3 4", "YES"}, 1869 {"2 7 3 5", "NO"}, 1870 {"2 7 3 6", "YES"}, 1871 {"2 7 3 7", "NO"}, 1872 {"2 7 3 8", "NO"}, 1873 {"2 7 3 9", "NO"}, 1874 {"2 7 3 10", "NO"}, 1875 {"2 7 3 11", "YES"}, 1876 {"2 7 4 4", "NO"}, 1877 {"2 7 4 5", "NO"}, 1878 {"2 7 4 6", "YES"}, 1879 {"2 7 4 7", "NO"}, 1880 {"2 7 4 8", "NO"}, 1881 {"2 7 4 9", "NO"}, 1882 {"2 7 4 10", "YES"}, 1883 {"2 7 4 11", "YES"}, 1884 {"2 7 5 5", "NO"}, 1885 {"2 7 5 6", "NO"}, 1886 {"2 7 5 7", "NO"}, 1887 {"2 7 5 8", "NO"}, 1888 {"2 7 5 9", "NO"}, 1889 {"2 7 5 10", "NO"}, 1890 {"2 7 5 11", "NO"}, 1891 {"2 7 6 6", "NO"}, 1892 {"2 7 6 7", "NO"}, 1893 {"2 7 6 8", "NO"}, 1894 {"2 7 6 9", "NO"}, 1895 {"2 7 6 10", "YES"}, 1896 {"2 7 6 11", "NO"}, 1897 {"2 7 7 7", "NO"}, 1898 {"2 7 7 8", "NO"}, 1899 {"2 7 7 9", "NO"}, 1900 {"2 7 7 10", "NO"}, 1901 {"2 7 7 11", "NO"}, 1902 {"2 7 8 8", "NO"}, 1903 {"2 7 8 9", "NO"}, 1904 {"2 7 8 10", "NO"}, 1905 {"2 7 8 11", "NO"}, 1906 {"2 7 9 9", "NO"}, 1907 {"2 7 9 10", "NO"}, 1908 {"2 7 9 11", "NO"}, 1909 {"2 7 10 10", "NO"}, 1910 {"2 7 10 11", "NO"}, 1911 {"2 7 11 11", "NO"}, 1912 {"2 8 2 8", "YES"}, 1913 {"2 8 2 9", "NO"}, 1914 {"2 8 2 10", "NO"}, 1915 {"2 8 2 11", "NO"}, 1916 {"2 8 3 3", "NO"}, 1917 {"2 8 3 4", "NO"}, 1918 {"2 8 3 5", "NO"}, 1919 {"2 8 3 6", "YES"}, 1920 {"2 8 3 7", "NO"}, 1921 {"2 8 3 8", "NO"}, 1922 {"2 8 3 9", "NO"}, 1923 {"2 8 3 10", "NO"}, 1924 {"2 8 3 11", "YES"}, 1925 {"2 8 4 4", "NO"}, 1926 {"2 8 4 5", "NO"}, 1927 {"2 8 4 6", "NO"}, 1928 {"2 8 4 7", "NO"}, 1929 {"2 8 4 8", "NO"}, 1930 {"2 8 4 9", "NO"}, 1931 {"2 8 4 10", "YES"}, 1932 {"2 8 4 11", "NO"}, 1933 {"2 8 5 5", "NO"}, 1934 {"2 8 5 6", "NO"}, 1935 {"2 8 5 7", "NO"}, 1936 {"2 8 5 8", "NO"}, 1937 {"2 8 5 9", "NO"}, 1938 {"2 8 5 10", "NO"}, 1939 {"2 8 5 11", "NO"}, 1940 {"2 8 6 6", "NO"}, 1941 {"2 8 6 7", "NO"}, 1942 {"2 8 6 8", "NO"}, 1943 {"2 8 6 9", "NO"}, 1944 {"2 8 6 10", "NO"}, 1945 {"2 8 6 11", "NO"}, 1946 {"2 8 7 7", "NO"}, 1947 {"2 8 7 8", "NO"}, 1948 {"2 8 7 9", "NO"}, 1949 {"2 8 7 10", "NO"}, 1950 {"2 8 7 11", "NO"}, 1951 {"2 8 8 8", "NO"}, 1952 {"2 8 8 9", "NO"}, 1953 {"2 8 8 10", "NO"}, 1954 {"2 8 8 11", "NO"}, 1955 {"2 8 9 9", "NO"}, 1956 {"2 8 9 10", "NO"}, 1957 {"2 8 9 11", "NO"}, 1958 {"2 8 10 10", "NO"}, 1959 {"2 8 10 11", "NO"}, 1960 {"2 8 11 11", "NO"}, 1961 {"2 9 2 9", "YES"}, 1962 {"2 9 2 10", "NO"}, 1963 {"2 9 2 11", "NO"}, 1964 {"2 9 3 3", "NO"}, 1965 {"2 9 3 4", "NO"}, 1966 {"2 9 3 5", "NO"}, 1967 {"2 9 3 6", "NO"}, 1968 {"2 9 3 7", "NO"}, 1969 {"2 9 3 8", "NO"}, 1970 {"2 9 3 9", "NO"}, 1971 {"2 9 3 10", "NO"}, 1972 {"2 9 3 11", "NO"}, 1973 {"2 9 4 4", "NO"}, 1974 {"2 9 4 5", "NO"}, 1975 {"2 9 4 6", "NO"}, 1976 {"2 9 4 7", "NO"}, 1977 {"2 9 4 8", "NO"}, 1978 {"2 9 4 9", "NO"}, 1979 {"2 9 4 10", "NO"}, 1980 {"2 9 4 11", "NO"}, 1981 {"2 9 5 5", "NO"}, 1982 {"2 9 5 6", "NO"}, 1983 {"2 9 5 7", "NO"}, 1984 {"2 9 5 8", "NO"}, 1985 {"2 9 5 9", "NO"}, 1986 {"2 9 5 10", "NO"}, 1987 {"2 9 5 11", "NO"}, 1988 {"2 9 6 6", "NO"}, 1989 {"2 9 6 7", "NO"}, 1990 {"2 9 6 8", "NO"}, 1991 {"2 9 6 9", "NO"}, 1992 {"2 9 6 10", "NO"}, 1993 {"2 9 6 11", "NO"}, 1994 {"2 9 7 7", "NO"}, 1995 {"2 9 7 8", "NO"}, 1996 {"2 9 7 9", "NO"}, 1997 {"2 9 7 10", "NO"}, 1998 {"2 9 7 11", "NO"}, 1999 {"2 9 8 8", "NO"}, 2000 {"2 9 8 9", "NO"}, 2001 {"2 9 8 10", "NO"}, 2002 {"2 9 8 11", "NO"}, 2003 {"2 9 9 9", "NO"}, 2004 {"2 9 9 10", "NO"}, 2005 {"2 9 9 11", "NO"}, 2006 {"2 9 10 10", "NO"}, 2007 {"2 9 10 11", "NO"}, 2008 {"2 9 11 11", "NO"}, 2009 {"2 10 2 10", "YES"}, 2010 {"2 10 2 11", "NO"}, 2011 {"2 10 3 3", "NO"}, 2012 {"2 10 3 4", "YES"}, 2013 {"2 10 3 5", "NO"}, 2014 {"2 10 3 6", "NO"}, 2015 {"2 10 3 7", "NO"}, 2016 {"2 10 3 8", "YES"}, 2017 {"2 10 3 9", "NO"}, 2018 {"2 10 3 10", "YES"}, 2019 {"2 10 3 11", "YES"}, 2020 {"2 10 4 4", "YES"}, 2021 {"2 10 4 5", "NO"}, 2022 {"2 10 4 6", "YES"}, 2023 {"2 10 4 7", "NO"}, 2024 {"2 10 4 8", "NO"}, 2025 {"2 10 4 9", "YES"}, 2026 {"2 10 4 10", "YES"}, 2027 {"2 10 4 11", "YES"}, 2028 {"2 10 5 5", "NO"}, 2029 {"2 10 5 6", "YES"}, 2030 {"2 10 5 7", "NO"}, 2031 {"2 10 5 8", "NO"}, 2032 {"2 10 5 9", "NO"}, 2033 {"2 10 5 10", "NO"}, 2034 {"2 10 5 11", "YES"}, 2035 {"2 10 6 6", "YES"}, 2036 {"2 10 6 7", "NO"}, 2037 {"2 10 6 8", "NO"}, 2038 {"2 10 6 9", "NO"}, 2039 {"2 10 6 10", "NO"}, 2040 {"2 10 6 11", "NO"}, 2041 {"2 10 7 7", "NO"}, 2042 {"2 10 7 8", "NO"}, 2043 {"2 10 7 9", "NO"}, 2044 {"2 10 7 10", "NO"}, 2045 {"2 10 7 11", "NO"}, 2046 {"2 10 8 8", "NO"}, 2047 {"2 10 8 9", "NO"}, 2048 {"2 10 8 10", "NO"}, 2049 {"2 10 8 11", "NO"}, 2050 {"2 10 9 9", "NO"}, 2051 {"2 10 9 10", "NO"}, 2052 {"2 10 9 11", "NO"}, 2053 {"2 10 10 10", "YES"}, 2054 {"2 10 10 11", "NO"}, 2055 {"2 10 11 11", "NO"}, 2056 {"2 11 2 11", "YES"}, 2057 {"2 11 3 3", "NO"}, 2058 {"2 11 3 4", "NO"}, 2059 {"2 11 3 5", "NO"}, 2060 {"2 11 3 6", "NO"}, 2061 {"2 11 3 7", "YES"}, 2062 {"2 11 3 8", "NO"}, 2063 {"2 11 3 9", "NO"}, 2064 {"2 11 3 10", "NO"}, 2065 {"2 11 3 11", "NO"}, 2066 {"2 11 4 4", "NO"}, 2067 {"2 11 4 5", "NO"}, 2068 {"2 11 4 6", "NO"}, 2069 {"2 11 4 7", "YES"}, 2070 {"2 11 4 8", "NO"}, 2071 {"2 11 4 9", "NO"}, 2072 {"2 11 4 10", "NO"}, 2073 {"2 11 4 11", "NO"}, 2074 {"2 11 5 5", "NO"}, 2075 {"2 11 5 6", "NO"}, 2076 {"2 11 5 7", "NO"}, 2077 {"2 11 5 8", "NO"}, 2078 {"2 11 5 9", "NO"}, 2079 {"2 11 5 10", "YES"}, 2080 {"2 11 5 11", "NO"}, 2081 {"2 11 6 6", "NO"}, 2082 {"2 11 6 7", "NO"}, 2083 {"2 11 6 8", "NO"}, 2084 {"2 11 6 9", "NO"}, 2085 {"2 11 6 10", "YES"}, 2086 {"2 11 6 11", "NO"}, 2087 {"2 11 7 7", "NO"}, 2088 {"2 11 7 8", "NO"}, 2089 {"2 11 7 9", "NO"}, 2090 {"2 11 7 10", "NO"}, 2091 {"2 11 7 11", "NO"}, 2092 {"2 11 8 8", "NO"}, 2093 {"2 11 8 9", "NO"}, 2094 {"2 11 8 10", "NO"}, 2095 {"2 11 8 11", "NO"}, 2096 {"2 11 9 9", "NO"}, 2097 {"2 11 9 10", "NO"}, 2098 {"2 11 9 11", "NO"}, 2099 {"2 11 10 10", "NO"}, 2100 {"2 11 10 11", "NO"}, 2101 {"2 11 11 11", "NO"}, 2102 {"3 3 3 3", "YES"}, 2103 {"3 3 3 4", "YES"}, 2104 {"3 3 3 5", "NO"}, 2105 {"3 3 3 6", "NO"}, 2106 {"3 3 3 7", "NO"}, 2107 {"3 3 3 8", "NO"}, 2108 {"3 3 3 9", "NO"}, 2109 {"3 3 3 10", "NO"}, 2110 {"3 3 3 11", "NO"}, 2111 {"3 3 4 4", "YES"}, 2112 {"3 3 4 5", "NO"}, 2113 {"3 3 4 6", "NO"}, 2114 {"3 3 4 7", "YES"}, 2115 {"3 3 4 8", "YES"}, 2116 {"3 3 4 9", "NO"}, 2117 {"3 3 4 10", "NO"}, 2118 {"3 3 4 11", "NO"}, 2119 {"3 3 5 5", "YES"}, 2120 {"3 3 5 6", "NO"}, 2121 {"3 3 5 7", "NO"}, 2122 {"3 3 5 8", "NO"}, 2123 {"3 3 5 9", "NO"}, 2124 {"3 3 5 10", "NO"}, 2125 {"3 3 5 11", "NO"}, 2126 {"3 3 6 6", "YES"}, 2127 {"3 3 6 7", "NO"}, 2128 {"3 3 6 8", "NO"}, 2129 {"3 3 6 9", "NO"}, 2130 {"3 3 6 10", "NO"}, 2131 {"3 3 6 11", "NO"}, 2132 {"3 3 7 7", "YES"}, 2133 {"3 3 7 8", "YES"}, 2134 {"3 3 7 9", "NO"}, 2135 {"3 3 7 10", "NO"}, 2136 {"3 3 7 11", "NO"}, 2137 {"3 3 8 8", "YES"}, 2138 {"3 3 8 9", "NO"}, 2139 {"3 3 8 10", "NO"}, 2140 {"3 3 8 11", "NO"}, 2141 {"3 3 9 9", "NO"}, 2142 {"3 3 9 10", "NO"}, 2143 {"3 3 9 11", "NO"}, 2144 {"3 3 10 10", "YES"}, 2145 {"3 3 10 11", "NO"}, 2146 {"3 3 11 11", "YES"}, 2147 {"3 4 3 4", "YES"}, 2148 {"3 4 3 5", "NO"}, 2149 {"3 4 3 6", "NO"}, 2150 {"3 4 3 7", "YES"}, 2151 {"3 4 3 8", "YES"}, 2152 {"3 4 3 9", "NO"}, 2153 {"3 4 3 10", "NO"}, 2154 {"3 4 3 11", "NO"}, 2155 {"3 4 4 4", "YES"}, 2156 {"3 4 4 5", "YES"}, 2157 {"3 4 4 6", "NO"}, 2158 {"3 4 4 7", "YES"}, 2159 {"3 4 4 8", "YES"}, 2160 {"3 4 4 9", "NO"}, 2161 {"3 4 4 10", "YES"}, 2162 {"3 4 4 11", "NO"}, 2163 {"3 4 5 5", "NO"}, 2164 {"3 4 5 6", "NO"}, 2165 {"3 4 5 7", "YES"}, 2166 {"3 4 5 8", "YES"}, 2167 {"3 4 5 9", "NO"}, 2168 {"3 4 5 10", "NO"}, 2169 {"3 4 5 11", "YES"}, 2170 {"3 4 6 6", "NO"}, 2171 {"3 4 6 7", "NO"}, 2172 {"3 4 6 8", "NO"}, 2173 {"3 4 6 9", "YES"}, 2174 {"3 4 6 10", "YES"}, 2175 {"3 4 6 11", "YES"}, 2176 {"3 4 7 7", "YES"}, 2177 {"3 4 7 8", "YES"}, 2178 {"3 4 7 9", "NO"}, 2179 {"3 4 7 10", "YES"}, 2180 {"3 4 7 11", "NO"}, 2181 {"3 4 8 8", "NO"}, 2182 {"3 4 8 9", "NO"}, 2183 {"3 4 8 10", "YES"}, 2184 {"3 4 8 11", "NO"}, 2185 {"3 4 9 9", "NO"}, 2186 {"3 4 9 10", "NO"}, 2187 {"3 4 9 11", "NO"}, 2188 {"3 4 10 10", "NO"}, 2189 {"3 4 10 11", "NO"}, 2190 {"3 4 11 11", "NO"}, 2191 {"3 5 3 5", "YES"}, 2192 {"3 5 3 6", "NO"}, 2193 {"3 5 3 7", "NO"}, 2194 {"3 5 3 8", "NO"}, 2195 {"3 5 3 9", "NO"}, 2196 {"3 5 3 10", "NO"}, 2197 {"3 5 3 11", "NO"}, 2198 {"3 5 4 4", "YES"}, 2199 {"3 5 4 5", "NO"}, 2200 {"3 5 4 6", "NO"}, 2201 {"3 5 4 7", "YES"}, 2202 {"3 5 4 8", "YES"}, 2203 {"3 5 4 9", "NO"}, 2204 {"3 5 4 10", "YES"}, 2205 {"3 5 4 11", "YES"}, 2206 {"3 5 5 5", "NO"}, 2207 {"3 5 5 6", "NO"}, 2208 {"3 5 5 7", "NO"}, 2209 {"3 5 5 8", "NO"}, 2210 {"3 5 5 9", "NO"}, 2211 {"3 5 5 10", "NO"}, 2212 {"3 5 5 11", "NO"}, 2213 {"3 5 6 6", "NO"}, 2214 {"3 5 6 7", "NO"}, 2215 {"3 5 6 8", "NO"}, 2216 {"3 5 6 9", "NO"}, 2217 {"3 5 6 10", "NO"}, 2218 {"3 5 6 11", "NO"}, 2219 {"3 5 7 7", "NO"}, 2220 {"3 5 7 8", "NO"}, 2221 {"3 5 7 9", "NO"}, 2222 {"3 5 7 10", "YES"}, 2223 {"3 5 7 11", "NO"}, 2224 {"3 5 8 8", "NO"}, 2225 {"3 5 8 9", "NO"}, 2226 {"3 5 8 10", "YES"}, 2227 {"3 5 8 11", "NO"}, 2228 {"3 5 9 9", "NO"}, 2229 {"3 5 9 10", "NO"}, 2230 {"3 5 9 11", "NO"}, 2231 {"3 5 10 10", "NO"}, 2232 {"3 5 10 11", "NO"}, 2233 {"3 5 11 11", "NO"}, 2234 {"3 6 3 6", "YES"}, 2235 {"3 6 3 7", "NO"}, 2236 {"3 6 3 8", "NO"}, 2237 {"3 6 3 9", "NO"}, 2238 {"3 6 3 10", "NO"}, 2239 {"3 6 3 11", "NO"}, 2240 {"3 6 4 4", "NO"}, 2241 {"3 6 4 5", "NO"}, 2242 {"3 6 4 6", "NO"}, 2243 {"3 6 4 7", "NO"}, 2244 {"3 6 4 8", "NO"}, 2245 {"3 6 4 9", "NO"}, 2246 {"3 6 4 10", "YES"}, 2247 {"3 6 4 11", "NO"}, 2248 {"3 6 5 5", "NO"}, 2249 {"3 6 5 6", "NO"}, 2250 {"3 6 5 7", "NO"}, 2251 {"3 6 5 8", "NO"}, 2252 {"3 6 5 9", "NO"}, 2253 {"3 6 5 10", "NO"}, 2254 {"3 6 5 11", "NO"}, 2255 {"3 6 6 6", "NO"}, 2256 {"3 6 6 7", "NO"}, 2257 {"3 6 6 8", "NO"}, 2258 {"3 6 6 9", "NO"}, 2259 {"3 6 6 10", "NO"}, 2260 {"3 6 6 11", "NO"}, 2261 {"3 6 7 7", "NO"}, 2262 {"3 6 7 8", "NO"}, 2263 {"3 6 7 9", "NO"}, 2264 {"3 6 7 10", "NO"}, 2265 {"3 6 7 11", "NO"}, 2266 {"3 6 8 8", "NO"}, 2267 {"3 6 8 9", "NO"}, 2268 {"3 6 8 10", "NO"}, 2269 {"3 6 8 11", "NO"}, 2270 {"3 6 9 9", "NO"}, 2271 {"3 6 9 10", "NO"}, 2272 {"3 6 9 11", "NO"}, 2273 {"3 6 10 10", "NO"}, 2274 {"3 6 10 11", "NO"}, 2275 {"3 6 11 11", "NO"}, 2276 {"3 7 3 7", "YES"}, 2277 {"3 7 3 8", "YES"}, 2278 {"3 7 3 9", "NO"}, 2279 {"3 7 3 10", "NO"}, 2280 {"3 7 3 11", "NO"}, 2281 {"3 7 4 4", "YES"}, 2282 {"3 7 4 5", "NO"}, 2283 {"3 7 4 6", "NO"}, 2284 {"3 7 4 7", "YES"}, 2285 {"3 7 4 8", "YES"}, 2286 {"3 7 4 9", "NO"}, 2287 {"3 7 4 10", "NO"}, 2288 {"3 7 4 11", "NO"}, 2289 {"3 7 5 5", "NO"}, 2290 {"3 7 5 6", "YES"}, 2291 {"3 7 5 7", "NO"}, 2292 {"3 7 5 8", "NO"}, 2293 {"3 7 5 9", "NO"}, 2294 {"3 7 5 10", "YES"}, 2295 {"3 7 5 11", "NO"}, 2296 {"3 7 6 6", "NO"}, 2297 {"3 7 6 7", "NO"}, 2298 {"3 7 6 8", "NO"}, 2299 {"3 7 6 9", "NO"}, 2300 {"3 7 6 10", "NO"}, 2301 {"3 7 6 11", "NO"}, 2302 {"3 7 7 7", "NO"}, 2303 {"3 7 7 8", "NO"}, 2304 {"3 7 7 9", "NO"}, 2305 {"3 7 7 10", "NO"}, 2306 {"3 7 7 11", "NO"}, 2307 {"3 7 8 8", "NO"}, 2308 {"3 7 8 9", "NO"}, 2309 {"3 7 8 10", "NO"}, 2310 {"3 7 8 11", "NO"}, 2311 {"3 7 9 9", "NO"}, 2312 {"3 7 9 10", "NO"}, 2313 {"3 7 9 11", "NO"}, 2314 {"3 7 10 10", "NO"}, 2315 {"3 7 10 11", "NO"}, 2316 {"3 7 11 11", "NO"}, 2317 {"3 8 3 8", "YES"}, 2318 {"3 8 3 9", "NO"}, 2319 {"3 8 3 10", "NO"}, 2320 {"3 8 3 11", "NO"}, 2321 {"3 8 4 4", "NO"}, 2322 {"3 8 4 5", "YES"}, 2323 {"3 8 4 6", "NO"}, 2324 {"3 8 4 7", "NO"}, 2325 {"3 8 4 8", "NO"}, 2326 {"3 8 4 9", "NO"}, 2327 {"3 8 4 10", "YES"}, 2328 {"3 8 4 11", "NO"}, 2329 {"3 8 5 5", "NO"}, 2330 {"3 8 5 6", "YES"}, 2331 {"3 8 5 7", "NO"}, 2332 {"3 8 5 8", "NO"}, 2333 {"3 8 5 9", "NO"}, 2334 {"3 8 5 10", "NO"}, 2335 {"3 8 5 11", "NO"}, 2336 {"3 8 6 6", "NO"}, 2337 {"3 8 6 7", "NO"}, 2338 {"3 8 6 8", "NO"}, 2339 {"3 8 6 9", "NO"}, 2340 {"3 8 6 10", "NO"}, 2341 {"3 8 6 11", "NO"}, 2342 {"3 8 7 7", "NO"}, 2343 {"3 8 7 8", "NO"}, 2344 {"3 8 7 9", "NO"}, 2345 {"3 8 7 10", "NO"}, 2346 {"3 8 7 11", "NO"}, 2347 {"3 8 8 8", "NO"}, 2348 {"3 8 8 9", "NO"}, 2349 {"3 8 8 10", "NO"}, 2350 {"3 8 8 11", "NO"}, 2351 {"3 8 9 9", "NO"}, 2352 {"3 8 9 10", "NO"}, 2353 {"3 8 9 11", "NO"}, 2354 {"3 8 10 10", "NO"}, 2355 {"3 8 10 11", "NO"}, 2356 {"3 8 11 11", "NO"}, 2357 {"3 9 3 9", "YES"}, 2358 {"3 9 3 10", "NO"}, 2359 {"3 9 3 11", "NO"}, 2360 {"3 9 4 4", "NO"}, 2361 {"3 9 4 5", "NO"}, 2362 {"3 9 4 6", "NO"}, 2363 {"3 9 4 7", "NO"}, 2364 {"3 9 4 8", "NO"}, 2365 {"3 9 4 9", "NO"}, 2366 {"3 9 4 10", "NO"}, 2367 {"3 9 4 11", "NO"}, 2368 {"3 9 5 5", "NO"}, 2369 {"3 9 5 6", "NO"}, 2370 {"3 9 5 7", "NO"}, 2371 {"3 9 5 8", "NO"}, 2372 {"3 9 5 9", "NO"}, 2373 {"3 9 5 10", "YES"}, 2374 {"3 9 5 11", "NO"}, 2375 {"3 9 6 6", "NO"}, 2376 {"3 9 6 7", "NO"}, 2377 {"3 9 6 8", "NO"}, 2378 {"3 9 6 9", "NO"}, 2379 {"3 9 6 10", "NO"}, 2380 {"3 9 6 11", "NO"}, 2381 {"3 9 7 7", "NO"}, 2382 {"3 9 7 8", "NO"}, 2383 {"3 9 7 9", "NO"}, 2384 {"3 9 7 10", "NO"}, 2385 {"3 9 7 11", "NO"}, 2386 {"3 9 8 8", "NO"}, 2387 {"3 9 8 9", "NO"}, 2388 {"3 9 8 10", "NO"}, 2389 {"3 9 8 11", "NO"}, 2390 {"3 9 9 9", "NO"}, 2391 {"3 9 9 10", "NO"}, 2392 {"3 9 9 11", "NO"}, 2393 {"3 9 10 10", "NO"}, 2394 {"3 9 10 11", "NO"}, 2395 {"3 9 11 11", "NO"}, 2396 {"3 10 3 10", "YES"}, 2397 {"3 10 3 11", "NO"}, 2398 {"3 10 4 4", "YES"}, 2399 {"3 10 4 5", "YES"}, 2400 {"3 10 4 6", "YES"}, 2401 {"3 10 4 7", "YES"}, 2402 {"3 10 4 8", "YES"}, 2403 {"3 10 4 9", "NO"}, 2404 {"3 10 4 10", "NO"}, 2405 {"3 10 4 11", "YES"}, 2406 {"3 10 5 5", "NO"}, 2407 {"3 10 5 6", "NO"}, 2408 {"3 10 5 7", "YES"}, 2409 {"3 10 5 8", "YES"}, 2410 {"3 10 5 9", "NO"}, 2411 {"3 10 5 10", "NO"}, 2412 {"3 10 5 11", "NO"}, 2413 {"3 10 6 6", "NO"}, 2414 {"3 10 6 7", "NO"}, 2415 {"3 10 6 8", "NO"}, 2416 {"3 10 6 9", "NO"}, 2417 {"3 10 6 10", "NO"}, 2418 {"3 10 6 11", "NO"}, 2419 {"3 10 7 7", "NO"}, 2420 {"3 10 7 8", "NO"}, 2421 {"3 10 7 9", "NO"}, 2422 {"3 10 7 10", "NO"}, 2423 {"3 10 7 11", "NO"}, 2424 {"3 10 8 8", "NO"}, 2425 {"3 10 8 9", "NO"}, 2426 {"3 10 8 10", "NO"}, 2427 {"3 10 8 11", "NO"}, 2428 {"3 10 9 9", "NO"}, 2429 {"3 10 9 10", "NO"}, 2430 {"3 10 9 11", "NO"}, 2431 {"3 10 10 10", "YES"}, 2432 {"3 10 10 11", "NO"}, 2433 {"3 10 11 11", "NO"}, 2434 {"3 11 3 11", "YES"}, 2435 {"3 11 4 4", "NO"}, 2436 {"3 11 4 5", "YES"}, 2437 {"3 11 4 6", "NO"}, 2438 {"3 11 4 7", "NO"}, 2439 {"3 11 4 8", "NO"}, 2440 {"3 11 4 9", "NO"}, 2441 {"3 11 4 10", "NO"}, 2442 {"3 11 4 11", "NO"}, 2443 {"3 11 5 5", "NO"}, 2444 {"3 11 5 6", "YES"}, 2445 {"3 11 5 7", "NO"}, 2446 {"3 11 5 8", "NO"}, 2447 {"3 11 5 9", "NO"}, 2448 {"3 11 5 10", "NO"}, 2449 {"3 11 5 11", "NO"}, 2450 {"3 11 6 6", "NO"}, 2451 {"3 11 6 7", "NO"}, 2452 {"3 11 6 8", "NO"}, 2453 {"3 11 6 9", "NO"}, 2454 {"3 11 6 10", "YES"}, 2455 {"3 11 6 11", "NO"}, 2456 {"3 11 7 7", "NO"}, 2457 {"3 11 7 8", "NO"}, 2458 {"3 11 7 9", "NO"}, 2459 {"3 11 7 10", "NO"}, 2460 {"3 11 7 11", "NO"}, 2461 {"3 11 8 8", "NO"}, 2462 {"3 11 8 9", "NO"}, 2463 {"3 11 8 10", "NO"}, 2464 {"3 11 8 11", "NO"}, 2465 {"3 11 9 9", "NO"}, 2466 {"3 11 9 10", "NO"}, 2467 {"3 11 9 11", "NO"}, 2468 {"3 11 10 10", "NO"}, 2469 {"3 11 10 11", "NO"}, 2470 {"3 11 11 11", "NO"}, 2471 {"4 4 4 4", "YES"}, 2472 {"4 4 4 5", "YES"}, 2473 {"4 4 4 6", "YES"}, 2474 {"4 4 4 7", "YES"}, 2475 {"4 4 4 8", "YES"}, 2476 {"4 4 4 9", "NO"}, 2477 {"4 4 4 10", "YES"}, 2478 {"4 4 4 11", "NO"}, 2479 {"4 4 5 5", "YES"}, 2480 {"4 4 5 6", "NO"}, 2481 {"4 4 5 7", "YES"}, 2482 {"4 4 5 8", "NO"}, 2483 {"4 4 5 9", "NO"}, 2484 {"4 4 5 10", "YES"}, 2485 {"4 4 5 11", "NO"}, 2486 {"4 4 6 6", "YES"}, 2487 {"4 4 6 7", "NO"}, 2488 {"4 4 6 8", "NO"}, 2489 {"4 4 6 9", "NO"}, 2490 {"4 4 6 10", "NO"}, 2491 {"4 4 6 11", "NO"}, 2492 {"4 4 7 7", "YES"}, 2493 {"4 4 7 8", "NO"}, 2494 {"4 4 7 9", "NO"}, 2495 {"4 4 7 10", "YES"}, 2496 {"4 4 7 11", "YES"}, 2497 {"4 4 8 8", "YES"}, 2498 {"4 4 8 9", "NO"}, 2499 {"4 4 8 10", "NO"}, 2500 {"4 4 8 11", "NO"}, 2501 {"4 4 9 9", "NO"}, 2502 {"4 4 9 10", "NO"}, 2503 {"4 4 9 11", "NO"}, 2504 {"4 4 10 10", "YES"}, 2505 {"4 4 10 11", "NO"}, 2506 {"4 4 11 11", "YES"}, 2507 {"4 5 4 5", "YES"}, 2508 {"4 5 4 6", "NO"}, 2509 {"4 5 4 7", "YES"}, 2510 {"4 5 4 8", "NO"}, 2511 {"4 5 4 9", "NO"}, 2512 {"4 5 4 10", "YES"}, 2513 {"4 5 4 11", "YES"}, 2514 {"4 5 5 5", "NO"}, 2515 {"4 5 5 6", "NO"}, 2516 {"4 5 5 7", "NO"}, 2517 {"4 5 5 8", "NO"}, 2518 {"4 5 5 9", "NO"}, 2519 {"4 5 5 10", "YES"}, 2520 {"4 5 5 11", "NO"}, 2521 {"4 5 6 6", "NO"}, 2522 {"4 5 6 7", "NO"}, 2523 {"4 5 6 8", "NO"}, 2524 {"4 5 6 9", "NO"}, 2525 {"4 5 6 10", "YES"}, 2526 {"4 5 6 11", "NO"}, 2527 {"4 5 7 7", "NO"}, 2528 {"4 5 7 8", "NO"}, 2529 {"4 5 7 9", "NO"}, 2530 {"4 5 7 10", "YES"}, 2531 {"4 5 7 11", "NO"}, 2532 {"4 5 8 8", "NO"}, 2533 {"4 5 8 9", "NO"}, 2534 {"4 5 8 10", "NO"}, 2535 {"4 5 8 11", "YES"}, 2536 {"4 5 9 9", "NO"}, 2537 {"4 5 9 10", "NO"}, 2538 {"4 5 9 11", "NO"}, 2539 {"4 5 10 10", "YES"}, 2540 {"4 5 10 11", "NO"}, 2541 {"4 5 11 11", "NO"}, 2542 {"4 6 4 6", "YES"}, 2543 {"4 6 4 7", "YES"}, 2544 {"4 6 4 8", "NO"}, 2545 {"4 6 4 9", "NO"}, 2546 {"4 6 4 10", "NO"}, 2547 {"4 6 4 11", "NO"}, 2548 {"4 6 5 5", "NO"}, 2549 {"4 6 5 6", "NO"}, 2550 {"4 6 5 7", "NO"}, 2551 {"4 6 5 8", "NO"}, 2552 {"4 6 5 9", "NO"}, 2553 {"4 6 5 10", "NO"}, 2554 {"4 6 5 11", "NO"}, 2555 {"4 6 6 6", "NO"}, 2556 {"4 6 6 7", "NO"}, 2557 {"4 6 6 8", "NO"}, 2558 {"4 6 6 9", "NO"}, 2559 {"4 6 6 10", "NO"}, 2560 {"4 6 6 11", "NO"}, 2561 {"4 6 7 7", "NO"}, 2562 {"4 6 7 8", "YES"}, 2563 {"4 6 7 9", "NO"}, 2564 {"4 6 7 10", "NO"}, 2565 {"4 6 7 11", "YES"}, 2566 {"4 6 8 8", "NO"}, 2567 {"4 6 8 9", "NO"}, 2568 {"4 6 8 10", "NO"}, 2569 {"4 6 8 11", "NO"}, 2570 {"4 6 9 9", "NO"}, 2571 {"4 6 9 10", "NO"}, 2572 {"4 6 9 11", "NO"}, 2573 {"4 6 10 10", "NO"}, 2574 {"4 6 10 11", "NO"}, 2575 {"4 6 11 11", "NO"}, 2576 {"4 7 4 7", "YES"}, 2577 {"4 7 4 8", "NO"}, 2578 {"4 7 4 9", "NO"}, 2579 {"4 7 4 10", "YES"}, 2580 {"4 7 4 11", "YES"}, 2581 {"4 7 5 5", "NO"}, 2582 {"4 7 5 6", "NO"}, 2583 {"4 7 5 7", "NO"}, 2584 {"4 7 5 8", "NO"}, 2585 {"4 7 5 9", "NO"}, 2586 {"4 7 5 10", "NO"}, 2587 {"4 7 5 11", "NO"}, 2588 {"4 7 6 6", "NO"}, 2589 {"4 7 6 7", "NO"}, 2590 {"4 7 6 8", "NO"}, 2591 {"4 7 6 9", "YES"}, 2592 {"4 7 6 10", "YES"}, 2593 {"4 7 6 11", "NO"}, 2594 {"4 7 7 7", "NO"}, 2595 {"4 7 7 8", "YES"}, 2596 {"4 7 7 9", "NO"}, 2597 {"4 7 7 10", "NO"}, 2598 {"4 7 7 11", "NO"}, 2599 {"4 7 8 8", "NO"}, 2600 {"4 7 8 9", "NO"}, 2601 {"4 7 8 10", "YES"}, 2602 {"4 7 8 11", "NO"}, 2603 {"4 7 9 9", "NO"}, 2604 {"4 7 9 10", "NO"}, 2605 {"4 7 9 11", "NO"}, 2606 {"4 7 10 10", "NO"}, 2607 {"4 7 10 11", "NO"}, 2608 {"4 7 11 11", "NO"}, 2609 {"4 8 4 8", "YES"}, 2610 {"4 8 4 9", "NO"}, 2611 {"4 8 4 10", "NO"}, 2612 {"4 8 4 11", "NO"}, 2613 {"4 8 5 5", "NO"}, 2614 {"4 8 5 6", "NO"}, 2615 {"4 8 5 7", "NO"}, 2616 {"4 8 5 8", "NO"}, 2617 {"4 8 5 9", "NO"}, 2618 {"4 8 5 10", "NO"}, 2619 {"4 8 5 11", "NO"}, 2620 {"4 8 6 6", "NO"}, 2621 {"4 8 6 7", "YES"}, 2622 {"4 8 6 8", "NO"}, 2623 {"4 8 6 9", "NO"}, 2624 {"4 8 6 10", "NO"}, 2625 {"4 8 6 11", "NO"}, 2626 {"4 8 7 7", "NO"}, 2627 {"4 8 7 8", "NO"}, 2628 {"4 8 7 9", "NO"}, 2629 {"4 8 7 10", "NO"}, 2630 {"4 8 7 11", "NO"}, 2631 {"4 8 8 8", "NO"}, 2632 {"4 8 8 9", "NO"}, 2633 {"4 8 8 10", "NO"}, 2634 {"4 8 8 11", "NO"}, 2635 {"4 8 9 9", "NO"}, 2636 {"4 8 9 10", "NO"}, 2637 {"4 8 9 11", "NO"}, 2638 {"4 8 10 10", "NO"}, 2639 {"4 8 10 11", "YES"}, 2640 {"4 8 11 11", "NO"}, 2641 {"4 9 4 9", "YES"}, 2642 {"4 9 4 10", "YES"}, 2643 {"4 9 4 11", "NO"}, 2644 {"4 9 5 5", "NO"}, 2645 {"4 9 5 6", "NO"}, 2646 {"4 9 5 7", "NO"}, 2647 {"4 9 5 8", "NO"}, 2648 {"4 9 5 9", "NO"}, 2649 {"4 9 5 10", "NO"}, 2650 {"4 9 5 11", "NO"}, 2651 {"4 9 6 6", "NO"}, 2652 {"4 9 6 7", "NO"}, 2653 {"4 9 6 8", "NO"}, 2654 {"4 9 6 9", "NO"}, 2655 {"4 9 6 10", "NO"}, 2656 {"4 9 6 11", "NO"}, 2657 {"4 9 7 7", "NO"}, 2658 {"4 9 7 8", "NO"}, 2659 {"4 9 7 9", "NO"}, 2660 {"4 9 7 10", "NO"}, 2661 {"4 9 7 11", "NO"}, 2662 {"4 9 8 8", "NO"}, 2663 {"4 9 8 9", "NO"}, 2664 {"4 9 8 10", "NO"}, 2665 {"4 9 8 11", "NO"}, 2666 {"4 9 9 9", "NO"}, 2667 {"4 9 9 10", "NO"}, 2668 {"4 9 9 11", "NO"}, 2669 {"4 9 10 10", "NO"}, 2670 {"4 9 10 11", "NO"}, 2671 {"4 9 11 11", "NO"}, 2672 {"4 10 4 10", "YES"}, 2673 {"4 10 4 11", "YES"}, 2674 {"4 10 5 5", "YES"}, 2675 {"4 10 5 6", "NO"}, 2676 {"4 10 5 7", "YES"}, 2677 {"4 10 5 8", "NO"}, 2678 {"4 10 5 9", "NO"}, 2679 {"4 10 5 10", "YES"}, 2680 {"4 10 5 11", "NO"}, 2681 {"4 10 6 6", "NO"}, 2682 {"4 10 6 7", "NO"}, 2683 {"4 10 6 8", "NO"}, 2684 {"4 10 6 9", "NO"}, 2685 {"4 10 6 10", "YES"}, 2686 {"4 10 6 11", "NO"}, 2687 {"4 10 7 7", "NO"}, 2688 {"4 10 7 8", "NO"}, 2689 {"4 10 7 9", "NO"}, 2690 {"4 10 7 10", "NO"}, 2691 {"4 10 7 11", "NO"}, 2692 {"4 10 8 8", "NO"}, 2693 {"4 10 8 9", "YES"}, 2694 {"4 10 8 10", "NO"}, 2695 {"4 10 8 11", "YES"}, 2696 {"4 10 9 9", "NO"}, 2697 {"4 10 9 10", "NO"}, 2698 {"4 10 9 11", "NO"}, 2699 {"4 10 10 10", "NO"}, 2700 {"4 10 10 11", "NO"}, 2701 {"4 10 11 11", "NO"}, 2702 {"4 11 4 11", "YES"}, 2703 {"4 11 5 5", "NO"}, 2704 {"4 11 5 6", "NO"}, 2705 {"4 11 5 7", "NO"}, 2706 {"4 11 5 8", "YES"}, 2707 {"4 11 5 9", "NO"}, 2708 {"4 11 5 10", "NO"}, 2709 {"4 11 5 11", "NO"}, 2710 {"4 11 6 6", "NO"}, 2711 {"4 11 6 7", "NO"}, 2712 {"4 11 6 8", "NO"}, 2713 {"4 11 6 9", "NO"}, 2714 {"4 11 6 10", "YES"}, 2715 {"4 11 6 11", "NO"}, 2716 {"4 11 7 7", "NO"}, 2717 {"4 11 7 8", "NO"}, 2718 {"4 11 7 9", "NO"}, 2719 {"4 11 7 10", "NO"}, 2720 {"4 11 7 11", "NO"}, 2721 {"4 11 8 8", "NO"}, 2722 {"4 11 8 9", "NO"}, 2723 {"4 11 8 10", "NO"}, 2724 {"4 11 8 11", "NO"}, 2725 {"4 11 9 9", "NO"}, 2726 {"4 11 9 10", "NO"}, 2727 {"4 11 9 11", "NO"}, 2728 {"4 11 10 10", "NO"}, 2729 {"4 11 10 11", "NO"}, 2730 {"4 11 11 11", "NO"}, 2731 {"5 5 5 5", "YES"}, 2732 {"5 5 5 6", "NO"}, 2733 {"5 5 5 7", "NO"}, 2734 {"5 5 5 8", "NO"}, 2735 {"5 5 5 9", "NO"}, 2736 {"5 5 5 10", "NO"}, 2737 {"5 5 5 11", "NO"}, 2738 {"5 5 6 6", "NO"}, 2739 {"5 5 6 7", "NO"}, 2740 {"5 5 6 8", "NO"}, 2741 {"5 5 6 9", "NO"}, 2742 {"5 5 6 10", "NO"}, 2743 {"5 5 6 11", "NO"}, 2744 {"5 5 7 7", "YES"}, 2745 {"5 5 7 8", "NO"}, 2746 {"5 5 7 9", "NO"}, 2747 {"5 5 7 10", "NO"}, 2748 {"5 5 7 11", "NO"}, 2749 {"5 5 8 8", "NO"}, 2750 {"5 5 8 9", "NO"}, 2751 {"5 5 8 10", "NO"}, 2752 {"5 5 8 11", "NO"}, 2753 {"5 5 9 9", "NO"}, 2754 {"5 5 9 10", "NO"}, 2755 {"5 5 9 11", "NO"}, 2756 {"5 5 10 10", "YES"}, 2757 {"5 5 10 11", "NO"}, 2758 {"5 5 11 11", "YES"}, 2759 {"5 6 5 6", "YES"}, 2760 {"5 6 5 7", "NO"}, 2761 {"5 6 5 8", "NO"}, 2762 {"5 6 5 9", "NO"}, 2763 {"5 6 5 10", "NO"}, 2764 {"5 6 5 11", "NO"}, 2765 {"5 6 6 6", "NO"}, 2766 {"5 6 6 7", "NO"}, 2767 {"5 6 6 8", "NO"}, 2768 {"5 6 6 9", "NO"}, 2769 {"5 6 6 10", "NO"}, 2770 {"5 6 6 11", "NO"}, 2771 {"5 6 7 7", "NO"}, 2772 {"5 6 7 8", "NO"}, 2773 {"5 6 7 9", "NO"}, 2774 {"5 6 7 10", "NO"}, 2775 {"5 6 7 11", "NO"}, 2776 {"5 6 8 8", "NO"}, 2777 {"5 6 8 9", "NO"}, 2778 {"5 6 8 10", "NO"}, 2779 {"5 6 8 11", "NO"}, 2780 {"5 6 9 9", "NO"}, 2781 {"5 6 9 10", "NO"}, 2782 {"5 6 9 11", "NO"}, 2783 {"5 6 10 10", "NO"}, 2784 {"5 6 10 11", "NO"}, 2785 {"5 6 11 11", "YES"}, 2786 {"5 7 5 7", "YES"}, 2787 {"5 7 5 8", "NO"}, 2788 {"5 7 5 9", "NO"}, 2789 {"5 7 5 10", "NO"}, 2790 {"5 7 5 11", "NO"}, 2791 {"5 7 6 6", "NO"}, 2792 {"5 7 6 7", "NO"}, 2793 {"5 7 6 8", "NO"}, 2794 {"5 7 6 9", "NO"}, 2795 {"5 7 6 10", "NO"}, 2796 {"5 7 6 11", "NO"}, 2797 {"5 7 7 7", "NO"}, 2798 {"5 7 7 8", "NO"}, 2799 {"5 7 7 9", "NO"}, 2800 {"5 7 7 10", "NO"}, 2801 {"5 7 7 11", "NO"}, 2802 {"5 7 8 8", "NO"}, 2803 {"5 7 8 9", "NO"}, 2804 {"5 7 8 10", "NO"}, 2805 {"5 7 8 11", "NO"}, 2806 {"5 7 9 9", "NO"}, 2807 {"5 7 9 10", "NO"}, 2808 {"5 7 9 11", "NO"}, 2809 {"5 7 10 10", "NO"}, 2810 {"5 7 10 11", "NO"}, 2811 {"5 7 11 11", "NO"}, 2812 {"5 8 5 8", "YES"}, 2813 {"5 8 5 9", "NO"}, 2814 {"5 8 5 10", "NO"}, 2815 {"5 8 5 11", "NO"}, 2816 {"5 8 6 6", "NO"}, 2817 {"5 8 6 7", "NO"}, 2818 {"5 8 6 8", "NO"}, 2819 {"5 8 6 9", "NO"}, 2820 {"5 8 6 10", "NO"}, 2821 {"5 8 6 11", "NO"}, 2822 {"5 8 7 7", "NO"}, 2823 {"5 8 7 8", "NO"}, 2824 {"5 8 7 9", "NO"}, 2825 {"5 8 7 10", "NO"}, 2826 {"5 8 7 11", "NO"}, 2827 {"5 8 8 8", "NO"}, 2828 {"5 8 8 9", "NO"}, 2829 {"5 8 8 10", "NO"}, 2830 {"5 8 8 11", "NO"}, 2831 {"5 8 9 9", "NO"}, 2832 {"5 8 9 10", "NO"}, 2833 {"5 8 9 11", "NO"}, 2834 {"5 8 10 10", "NO"}, 2835 {"5 8 10 11", "NO"}, 2836 {"5 8 11 11", "NO"}, 2837 {"5 9 5 9", "YES"}, 2838 {"5 9 5 10", "NO"}, 2839 {"5 9 5 11", "NO"}, 2840 {"5 9 6 6", "NO"}, 2841 {"5 9 6 7", "NO"}, 2842 {"5 9 6 8", "NO"}, 2843 {"5 9 6 9", "NO"}, 2844 {"5 9 6 10", "NO"}, 2845 {"5 9 6 11", "NO"}, 2846 {"5 9 7 7", "NO"}, 2847 {"5 9 7 8", "NO"}, 2848 {"5 9 7 9", "NO"}, 2849 {"5 9 7 10", "NO"}, 2850 {"5 9 7 11", "NO"}, 2851 {"5 9 8 8", "NO"}, 2852 {"5 9 8 9", "NO"}, 2853 {"5 9 8 10", "NO"}, 2854 {"5 9 8 11", "NO"}, 2855 {"5 9 9 9", "NO"}, 2856 {"5 9 9 10", "NO"}, 2857 {"5 9 9 11", "NO"}, 2858 {"5 9 10 10", "NO"}, 2859 {"5 9 10 11", "NO"}, 2860 {"5 9 11 11", "NO"}, 2861 {"5 10 5 10", "YES"}, 2862 {"5 10 5 11", "NO"}, 2863 {"5 10 6 6", "NO"}, 2864 {"5 10 6 7", "NO"}, 2865 {"5 10 6 8", "NO"}, 2866 {"5 10 6 9", "NO"}, 2867 {"5 10 6 10", "NO"}, 2868 {"5 10 6 11", "NO"}, 2869 {"5 10 7 7", "NO"}, 2870 {"5 10 7 8", "NO"}, 2871 {"5 10 7 9", "NO"}, 2872 {"5 10 7 10", "NO"}, 2873 {"5 10 7 11", "NO"}, 2874 {"5 10 8 8", "NO"}, 2875 {"5 10 8 9", "NO"}, 2876 {"5 10 8 10", "NO"}, 2877 {"5 10 8 11", "NO"}, 2878 {"5 10 9 9", "NO"}, 2879 {"5 10 9 10", "NO"}, 2880 {"5 10 9 11", "NO"}, 2881 {"5 10 10 10", "NO"}, 2882 {"5 10 10 11", "NO"}, 2883 {"5 10 11 11", "NO"}, 2884 {"5 11 5 11", "YES"}, 2885 {"5 11 6 6", "NO"}, 2886 {"5 11 6 7", "NO"}, 2887 {"5 11 6 8", "NO"}, 2888 {"5 11 6 9", "NO"}, 2889 {"5 11 6 10", "NO"}, 2890 {"5 11 6 11", "YES"}, 2891 {"5 11 7 7", "NO"}, 2892 {"5 11 7 8", "NO"}, 2893 {"5 11 7 9", "NO"}, 2894 {"5 11 7 10", "NO"}, 2895 {"5 11 7 11", "NO"}, 2896 {"5 11 8 8", "NO"}, 2897 {"5 11 8 9", "NO"}, 2898 {"5 11 8 10", "NO"}, 2899 {"5 11 8 11", "NO"}, 2900 {"5 11 9 9", "NO"}, 2901 {"5 11 9 10", "NO"}, 2902 {"5 11 9 11", "NO"}, 2903 {"5 11 10 10", "NO"}, 2904 {"5 11 10 11", "NO"}, 2905 {"5 11 11 11", "NO"}, 2906 {"6 6 6 6", "YES"}, 2907 {"6 6 6 7", "NO"}, 2908 {"6 6 6 8", "NO"}, 2909 {"6 6 6 9", "NO"}, 2910 {"6 6 6 10", "NO"}, 2911 {"6 6 6 11", "NO"}, 2912 {"6 6 7 7", "YES"}, 2913 {"6 6 7 8", "NO"}, 2914 {"6 6 7 9", "NO"}, 2915 {"6 6 7 10", "NO"}, 2916 {"6 6 7 11", "NO"}, 2917 {"6 6 8 8", "YES"}, 2918 {"6 6 8 9", "NO"}, 2919 {"6 6 8 10", "NO"}, 2920 {"6 6 8 11", "NO"}, 2921 {"6 6 9 9", "NO"}, 2922 {"6 6 9 10", "NO"}, 2923 {"6 6 9 11", "NO"}, 2924 {"6 6 10 10", "YES"}, 2925 {"6 6 10 11", "NO"}, 2926 {"6 6 11 11", "NO"}, 2927 {"6 7 6 7", "YES"}, 2928 {"6 7 6 8", "NO"}, 2929 {"6 7 6 9", "NO"}, 2930 {"6 7 6 10", "NO"}, 2931 {"6 7 6 11", "NO"}, 2932 {"6 7 7 7", "NO"}, 2933 {"6 7 7 8", "NO"}, 2934 {"6 7 7 9", "NO"}, 2935 {"6 7 7 10", "YES"}, 2936 {"6 7 7 11", "NO"}, 2937 {"6 7 8 8", "NO"}, 2938 {"6 7 8 9", "NO"}, 2939 {"6 7 8 10", "NO"}, 2940 {"6 7 8 11", "NO"}, 2941 {"6 7 9 9", "NO"}, 2942 {"6 7 9 10", "NO"}, 2943 {"6 7 9 11", "NO"}, 2944 {"6 7 10 10", "NO"}, 2945 {"6 7 10 11", "NO"}, 2946 {"6 7 11 11", "NO"}, 2947 {"6 8 6 8", "YES"}, 2948 {"6 8 6 9", "NO"}, 2949 {"6 8 6 10", "NO"}, 2950 {"6 8 6 11", "NO"}, 2951 {"6 8 7 7", "NO"}, 2952 {"6 8 7 8", "NO"}, 2953 {"6 8 7 9", "NO"}, 2954 {"6 8 7 10", "NO"}, 2955 {"6 8 7 11", "NO"}, 2956 {"6 8 8 8", "NO"}, 2957 {"6 8 8 9", "NO"}, 2958 {"6 8 8 10", "NO"}, 2959 {"6 8 8 11", "NO"}, 2960 {"6 8 9 9", "NO"}, 2961 {"6 8 9 10", "NO"}, 2962 {"6 8 9 11", "NO"}, 2963 {"6 8 10 10", "NO"}, 2964 {"6 8 10 11", "NO"}, 2965 {"6 8 11 11", "NO"}, 2966 {"6 9 6 9", "YES"}, 2967 {"6 9 6 10", "NO"}, 2968 {"6 9 6 11", "NO"}, 2969 {"6 9 7 7", "NO"}, 2970 {"6 9 7 8", "NO"}, 2971 {"6 9 7 9", "NO"}, 2972 {"6 9 7 10", "NO"}, 2973 {"6 9 7 11", "NO"}, 2974 {"6 9 8 8", "NO"}, 2975 {"6 9 8 9", "NO"}, 2976 {"6 9 8 10", "NO"}, 2977 {"6 9 8 11", "NO"}, 2978 {"6 9 9 9", "NO"}, 2979 {"6 9 9 10", "NO"}, 2980 {"6 9 9 11", "NO"}, 2981 {"6 9 10 10", "NO"}, 2982 {"6 9 10 11", "NO"}, 2983 {"6 9 11 11", "NO"}, 2984 {"6 10 6 10", "YES"}, 2985 {"6 10 6 11", "NO"}, 2986 {"6 10 7 7", "NO"}, 2987 {"6 10 7 8", "NO"}, 2988 {"6 10 7 9", "YES"}, 2989 {"6 10 7 10", "NO"}, 2990 {"6 10 7 11", "NO"}, 2991 {"6 10 8 8", "YES"}, 2992 {"6 10 8 9", "NO"}, 2993 {"6 10 8 10", "NO"}, 2994 {"6 10 8 11", "NO"}, 2995 {"6 10 9 9", "NO"}, 2996 {"6 10 9 10", "NO"}, 2997 {"6 10 9 11", "NO"}, 2998 {"6 10 10 10", "NO"}, 2999 {"6 10 10 11", "NO"}, 3000 {"6 10 11 11", "NO"}, 3001 {"6 11 6 11", "YES"}, 3002 {"6 11 7 7", "NO"}, 3003 {"6 11 7 8", "NO"}, 3004 {"6 11 7 9", "NO"}, 3005 {"6 11 7 10", "NO"}, 3006 {"6 11 7 11", "NO"}, 3007 {"6 11 8 8", "NO"}, 3008 {"6 11 8 9", "NO"}, 3009 {"6 11 8 10", "NO"}, 3010 {"6 11 8 11", "NO"}, 3011 {"6 11 9 9", "NO"}, 3012 {"6 11 9 10", "NO"}, 3013 {"6 11 9 11", "NO"}, 3014 {"6 11 10 10", "NO"}, 3015 {"6 11 10 11", "NO"}, 3016 {"6 11 11 11", "NO"}, 3017 {"7 7 7 7", "YES"}, 3018 {"7 7 7 8", "NO"}, 3019 {"7 7 7 9", "NO"}, 3020 {"7 7 7 10", "NO"}, 3021 {"7 7 7 11", "NO"}, 3022 {"7 7 8 8", "NO"}, 3023 {"7 7 8 9", "NO"}, 3024 {"7 7 8 10", "NO"}, 3025 {"7 7 8 11", "NO"}, 3026 {"7 7 9 9", "NO"}, 3027 {"7 7 9 10", "NO"}, 3028 {"7 7 9 11", "NO"}, 3029 {"7 7 10 10", "YES"}, 3030 {"7 7 10 11", "NO"}, 3031 {"7 7 11 11", "NO"}, 3032 {"7 8 7 8", "YES"}, 3033 {"7 8 7 9", "NO"}, 3034 {"7 8 7 10", "NO"}, 3035 {"7 8 7 11", "NO"}, 3036 {"7 8 8 8", "NO"}, 3037 {"7 8 8 9", "NO"}, 3038 {"7 8 8 10", "NO"}, 3039 {"7 8 8 11", "NO"}, 3040 {"7 8 9 9", "NO"}, 3041 {"7 8 9 10", "NO"}, 3042 {"7 8 9 11", "NO"}, 3043 {"7 8 10 10", "NO"}, 3044 {"7 8 10 11", "NO"}, 3045 {"7 8 11 11", "NO"}, 3046 {"7 9 7 9", "YES"}, 3047 {"7 9 7 10", "NO"}, 3048 {"7 9 7 11", "NO"}, 3049 {"7 9 8 8", "NO"}, 3050 {"7 9 8 9", "NO"}, 3051 {"7 9 8 10", "NO"}, 3052 {"7 9 8 11", "NO"}, 3053 {"7 9 9 9", "NO"}, 3054 {"7 9 9 10", "NO"}, 3055 {"7 9 9 11", "NO"}, 3056 {"7 9 10 10", "NO"}, 3057 {"7 9 10 11", "NO"}, 3058 {"7 9 11 11", "NO"}, 3059 {"7 10 7 10", "YES"}, 3060 {"7 10 7 11", "NO"}, 3061 {"7 10 8 8", "NO"}, 3062 {"7 10 8 9", "NO"}, 3063 {"7 10 8 10", "NO"}, 3064 {"7 10 8 11", "NO"}, 3065 {"7 10 9 9", "NO"}, 3066 {"7 10 9 10", "YES"}, 3067 {"7 10 9 11", "NO"}, 3068 {"7 10 10 10", "NO"}, 3069 {"7 10 10 11", "NO"}, 3070 {"7 10 11 11", "NO"}, 3071 {"7 11 7 11", "YES"}, 3072 {"7 11 8 8", "NO"}, 3073 {"7 11 8 9", "NO"}, 3074 {"7 11 8 10", "NO"}, 3075 {"7 11 8 11", "NO"}, 3076 {"7 11 9 9", "NO"}, 3077 {"7 11 9 10", "NO"}, 3078 {"7 11 9 11", "NO"}, 3079 {"7 11 10 10", "NO"}, 3080 {"7 11 10 11", "NO"}, 3081 {"7 11 11 11", "NO"}, 3082 {"8 8 8 8", "YES"}, 3083 {"8 8 8 9", "NO"}, 3084 {"8 8 8 10", "NO"}, 3085 {"8 8 8 11", "NO"}, 3086 {"8 8 9 9", "NO"}, 3087 {"8 8 9 10", "NO"}, 3088 {"8 8 9 11", "NO"}, 3089 {"8 8 10 10", "YES"}, 3090 {"8 8 10 11", "NO"}, 3091 {"8 8 11 11", "NO"}, 3092 {"8 9 8 9", "YES"}, 3093 {"8 9 8 10", "NO"}, 3094 {"8 9 8 11", "NO"}, 3095 {"8 9 9 9", "NO"}, 3096 {"8 9 9 10", "NO"}, 3097 {"8 9 9 11", "NO"}, 3098 {"8 9 10 10", "NO"}, 3099 {"8 9 10 11", "NO"}, 3100 {"8 9 11 11", "NO"}, 3101 {"8 10 8 10", "YES"}, 3102 {"8 10 8 11", "NO"}, 3103 {"8 10 9 9", "NO"}, 3104 {"8 10 9 10", "NO"}, 3105 {"8 10 9 11", "NO"}, 3106 {"8 10 10 10", "NO"}, 3107 {"8 10 10 11", "NO"}, 3108 {"8 10 11 11", "NO"}, 3109 {"8 11 8 11", "YES"}, 3110 {"8 11 9 9", "NO"}, 3111 {"8 11 9 10", "NO"}, 3112 {"8 11 9 11", "NO"}, 3113 {"8 11 10 10", "NO"}, 3114 {"8 11 10 11", "NO"}, 3115 {"8 11 11 11", "NO"}, 3116 {"9 9 9 9", "YES"}, 3117 {"9 9 9 10", "NO"}, 3118 {"9 9 9 11", "NO"}, 3119 {"9 9 10 10", "YES"}, 3120 {"9 9 10 11", "NO"}, 3121 {"9 9 11 11", "NO"}, 3122 {"9 10 9 10", "YES"}, 3123 {"9 10 9 11", "NO"}, 3124 {"9 10 10 10", "NO"}, 3125 {"9 10 10 11", "NO"}, 3126 {"9 10 11 11", "NO"}, 3127 {"9 11 9 11", "YES"}, 3128 {"9 11 10 10", "NO"}, 3129 {"9 11 10 11", "NO"}, 3130 {"9 11 11 11", "NO"}, 3131 {"10 10 10 10", "YES"}, 3132 {"10 10 10 11", "NO"}, 3133 {"10 10 11 11", "YES"}, 3134 {"10 11 10 11", "YES"}, 3135 {"10 11 11 11", "NO"}, 3136 {"11 11 11 11", "YES"} 3137 }; 3138 3139 map<pp, string> result; 3140 3141 int main() 3142 { 3143 REP(i, MAX) 3144 { 3145 istringstream is(X[i][0]); 3146 int a1, a2, b1, b2; 3147 is >> a1 >> a2 >> b1 >>b2; 3148 pp temp = norm(a1, a2, b1, b2); 3149 result[temp] = X[i][1]; 3150 } 3151 3152 while (gets(in)) 3153 { 3154 int a1 = get_index(in[0]), a2 = get_index(in[1]), b1 = get_index(in[3]), b2 = get_index(in[4]); 3155 pp temp = norm(a1, a2, b1, b2); 3156 while (result.find(temp) == result.end()) 3157 temp = temp; 3158 printf("%s\n", result[temp].c_str()); 3159 } 3160 3161 return 0; 3162 }
--- c5.s877.cteam040.fp.cpp.0.fp.cpp +++ c5.s885.cteam040.fp.cpp.0.fp.cpp @@ -26,177 +26,6 @@ const int INF = 1<<29; typedef long long ll; - -inline int two(int n) { return 1 << n; } - -inline int shift(int n, int b) -{ - if (b >= 0) return n << b; - else return n >> (-b); -} - -inline int last_bit(int n) -{ - return n&(-n); -} /////////////////////////////////////////////////////////////////////////// -string pots[12][5] = -{ - //F - { - ".##..", - "##...", - ".#...", - ".....", - ".....", - }, - - //I - { - "#....", - "#....", - "#....", - "#....", - "#....", - }, - - //L - { - "#....", - "#....", - "#....", - "##...", - ".....", - }, - - // N - { - ".#...", - ".#...", - "##...", - "#....", - ".....", - }, - - //P - { - "##...", - "##...", - "#....", - ".....", - ".....", - }, - - //T - { - "###..", - ".#...", - ".#...", - ".....", - ".....", - }, - - //U - { - "#.#..", - "###..", - ".....", - ".....", - ".....", - }, - - //V - { - "#....", - "#....", - "###..", - ".....", - ".....", - }, - - //W - { - "#....", - "##...", - ".##..", - ".....", - ".....", - }, - - //X - { - ".#...", - "###..", - ".#...", - ".....", - ".....", - }, - - //Y - { - ".#...", - "##...", - ".#...", - ".#...", - ".....", - }, - - //Z - { - "##...", - ".#...", - ".##..", - ".....", - ".....", - } -}; - -void flip(vector<string> & from, vector<string> & to) -{ - REP(i, 5) REP(j, 5) - to[i][j] = from[i][4-j]; -} - -void rot(vector<string> & from, vector<string> & to) -{ - REP(i, 5) REP(j, 5) - to[i][j] = from[4-j][i]; -} - - -int shapes[12][8][5]; - -void init() -{ - REP(i, 12) - { - vector<string> from(5), to(5, string(5, '.')); - REP(j, 5) from[j] = pots[i][j]; - - int ind = 0; - REP(f, 2) - { - REP(r, 4) - { - rot(from ,to); - from = to; - - REP(j, 5) - { - shapes[i][ind][j] = 0; - REP(k, 5) - if (from[j][k] == '#') - shapes[i][ind][j] ^= two(k); - } - - ++ind; - } - flip(from, to); - from = to; - } - } -} - - string letters = "FILNPTUVWXYZ"; char in[10]; @@ -207,94 +36,3125 @@ if (c == letters[i]) return i; - return -1; + return -1; } -const int MAXX = 7, MAXY = 7, MASKY = (1<<MAXY)-1; -int board[MAXX], board2[MAXY]; - -bool can(int x, int y, int * shape, int * board, int * board2=NULL) +typedef pair<pair<int, int>, pair<int, int> > pp; +pp norm(int a, int b, int c, int d) { - REP(i, 5) + if (a > b) swap(a, b); + if (c > d) swap(c, d); + if (a > c || (a == c && b > d)) { - if (!shape[i]) continue; // nothing - if (x+i < 0 || x+i >= MAXX) return false; // bad row - if (!shift(last_bit(shape[i]), y)) return false; // bad left col - int s = shift(shape[i], y); - if ((s&MASKY) != s) return false; // bad right col - if (board[x+i]&s) return false; // overlap - - if (board2 != NULL && (board2[x+i]&s) != s) return false; // not matched + swap(a, c); + swap(b, d); } - return true; -} - -void place(int x, int y, int * shape, int * board) -{ - REP(i, 5) - board[x+i] ^= shift(shape[i], y); -} - -int a1, a2, b1, b2; - -bool place1(); -bool place2(); -bool place3(); -bool place4(); - -bool place1() -{ - FOR(x, -4, MAXX-1) FOR(y, -4, MAXY-1) - if (can(x, y, shapes[a1][0], board)) - { - place(x, y, shapes[a1][0], board); - if (place2()) return true; - place(x, y, shapes[a1][0], board); - } - return false; -} - -bool place2() -{ - FOR(x, -4, MAXX-1) FOR(y, -4, MAXY-1) REP(s, 8) - if (can(x, y, shapes[a2][s], board)) - { - place(x, y, shapes[a2][s], board); - if (place3()) return true; - place(x, y, shapes[a2][s], board); - } - return false; + return make_pair(make_pair(a, b), make_pair(c, d)); } -bool place3() -{ - FOR(x, -4, MAXX-1) FOR(y, -4, MAXY-1) REP(s, 8) - if (can(x, y, shapes[b1][s], board2, board)) - { - place(x, y, shapes[b1][s], board2); - if (place4()) return true; - place(x, y, shapes[b1][s], board2); - } - return false; -} +const int MAX = 3081; +char * X[MAX][2] = { + {"0 0 0 0", "YES"}, +{"0 0 0 1", "NO"}, +{"0 0 0 2", "NO"}, +{"0 0 0 3", "NO"}, +{"0 0 0 4", "YES"}, +{"0 0 0 5", "NO"}, +{"0 0 0 6", "NO"}, +{"0 0 0 7", "NO"}, +{"0 0 0 8", "NO"}, +{"0 0 0 9", "NO"}, +{"0 0 0 10", "NO"}, +{"0 0 0 11", "NO"}, +{"0 0 1 1", "NO"}, +{"0 0 1 2", "NO"}, +{"0 0 1 3", "NO"}, +{"0 0 1 4", "NO"}, +{"0 0 1 5", "NO"}, +{"0 0 1 6", "NO"}, +{"0 0 1 7", "NO"}, +{"0 0 1 8", "NO"}, +{"0 0 1 9", "NO"}, +{"0 0 1 10", "NO"}, +{"0 0 1 11", "NO"}, +{"0 0 2 2", "YES"}, +{"0 0 2 3", "YES"}, +{"0 0 2 4", "NO"}, +{"0 0 2 5", "NO"}, +{"0 0 2 6", "NO"}, +{"0 0 2 7", "NO"}, +{"0 0 2 8", "NO"}, +{"0 0 2 9", "NO"}, +{"0 0 2 10", "YES"}, +{"0 0 2 11", "NO"}, +{"0 0 3 3", "YES"}, +{"0 0 3 4", "YES"}, +{"0 0 3 5", "NO"}, +{"0 0 3 6", "NO"}, +{"0 0 3 7", "NO"}, +{"0 0 3 8", "NO"}, +{"0 0 3 9", "NO"}, +{"0 0 3 10", "YES"}, +{"0 0 3 11", "NO"}, +{"0 0 4 4", "YES"}, +{"0 0 4 5", "NO"}, +{"0 0 4 6", "NO"}, +{"0 0 4 7", "NO"}, +{"0 0 4 8", "NO"}, +{"0 0 4 9", "NO"}, +{"0 0 4 10", "YES"}, +{"0 0 4 11", "NO"}, +{"0 0 5 5", "YES"}, +{"0 0 5 6", "NO"}, +{"0 0 5 7", "NO"}, +{"0 0 5 8", "YES"}, +{"0 0 5 9", "YES"}, +{"0 0 5 10", "NO"}, +{"0 0 5 11", "YES"}, +{"0 0 6 6", "NO"}, +{"0 0 6 7", "NO"}, +{"0 0 6 8", "NO"}, +{"0 0 6 9", "NO"}, +{"0 0 6 10", "NO"}, +{"0 0 6 11", "NO"}, +{"0 0 7 7", "NO"}, +{"0 0 7 8", "NO"}, +{"0 0 7 9", "NO"}, +{"0 0 7 10", "NO"}, +{"0 0 7 11", "NO"}, +{"0 0 8 8", "YES"}, +{"0 0 8 9", "YES"}, +{"0 0 8 10", "NO"}, +{"0 0 8 11", "YES"}, +{"0 0 9 9", "YES"}, +{"0 0 9 10", "NO"}, +{"0 0 9 11", "YES"}, +{"0 0 10 10", "YES"}, +{"0 0 10 11", "NO"}, +{"0 0 11 11", "YES"}, +{"0 1 0 1", "YES"}, +{"0 1 0 2", "NO"}, +{"0 1 0 3", "NO"}, +{"0 1 0 4", "NO"}, +{"0 1 0 5", "NO"}, +{"0 1 0 6", "NO"}, +{"0 1 0 7", "NO"}, +{"0 1 0 8", "NO"}, +{"0 1 0 9", "NO"}, +{"0 1 0 10", "NO"}, +{"0 1 0 11", "NO"}, +{"0 1 1 1", "NO"}, +{"0 1 1 2", "NO"}, +{"0 1 1 3", "NO"}, +{"0 1 1 4", "NO"}, +{"0 1 1 5", "NO"}, +{"0 1 1 6", "NO"}, +{"0 1 1 7", "NO"}, +{"0 1 1 8", "NO"}, +{"0 1 1 9", "NO"}, +{"0 1 1 10", "NO"}, +{"0 1 1 11", "NO"}, +{"0 1 2 2", "NO"}, +{"0 1 2 3", "NO"}, +{"0 1 2 4", "YES"}, +{"0 1 2 5", "NO"}, +{"0 1 2 6", "NO"}, +{"0 1 2 7", "NO"}, +{"0 1 2 8", "NO"}, +{"0 1 2 9", "NO"}, +{"0 1 2 10", "YES"}, +{"0 1 2 11", "NO"}, +{"0 1 3 3", "NO"}, +{"0 1 3 4", "NO"}, +{"0 1 3 5", "NO"}, +{"0 1 3 6", "NO"}, +{"0 1 3 7", "NO"}, +{"0 1 3 8", "NO"}, +{"0 1 3 9", "NO"}, +{"0 1 3 10", "NO"}, +{"0 1 3 11", "NO"}, +{"0 1 4 4", "NO"}, +{"0 1 4 5", "NO"}, +{"0 1 4 6", "NO"}, +{"0 1 4 7", "NO"}, +{"0 1 4 8", "NO"}, +{"0 1 4 9", "NO"}, +{"0 1 4 10", "NO"}, +{"0 1 4 11", "NO"}, +{"0 1 5 5", "NO"}, +{"0 1 5 6", "NO"}, +{"0 1 5 7", "NO"}, +{"0 1 5 8", "NO"}, +{"0 1 5 9", "NO"}, +{"0 1 5 10", "NO"}, +{"0 1 5 11", "NO"}, +{"0 1 6 6", "NO"}, +{"0 1 6 7", "NO"}, +{"0 1 6 8", "NO"}, +{"0 1 6 9", "NO"}, +{"0 1 6 10", "NO"}, +{"0 1 6 11", "NO"}, +{"0 1 7 7", "NO"}, +{"0 1 7 8", "NO"}, +{"0 1 7 9", "NO"}, +{"0 1 7 10", "NO"}, +{"0 1 7 11", "NO"}, +{"0 1 8 8", "NO"}, +{"0 1 8 9", "NO"}, +{"0 1 8 10", "NO"}, +{"0 1 8 11", "NO"}, +{"0 1 9 9", "NO"}, +{"0 1 9 10", "NO"}, +{"0 1 9 11", "NO"}, +{"0 1 10 10", "NO"}, +{"0 1 10 11", "NO"}, +{"0 1 11 11", "NO"}, +{"0 2 0 2", "YES"}, +{"0 2 0 3", "NO"}, +{"0 2 0 4", "NO"}, +{"0 2 0 5", "NO"}, +{"0 2 0 6", "NO"}, +{"0 2 0 7", "NO"}, +{"0 2 0 8", "NO"}, +{"0 2 0 9", "NO"}, +{"0 2 0 10", "YES"}, +{"0 2 0 11", "NO"}, +{"0 2 1 1", "NO"}, +{"0 2 1 2", "NO"}, +{"0 2 1 3", "NO"}, +{"0 2 1 4", "YES"}, +{"0 2 1 5", "NO"}, +{"0 2 1 6", "NO"}, +{"0 2 1 7", "NO"}, +{"0 2 1 8", "NO"}, +{"0 2 1 9", "NO"}, +{"0 2 1 10", "YES"}, +{"0 2 1 11", "NO"}, +{"0 2 2 2", "NO"}, +{"0 2 2 3", "NO"}, +{"0 2 2 4", "NO"}, +{"0 2 2 5", "NO"}, +{"0 2 2 6", "NO"}, +{"0 2 2 7", "NO"}, +{"0 2 2 8", "NO"}, +{"0 2 2 9", "NO"}, +{"0 2 2 10", "NO"}, +{"0 2 2 11", "NO"}, +{"0 2 3 3", "NO"}, +{"0 2 3 4", "YES"}, +{"0 2 3 5", "YES"}, +{"0 2 3 6", "NO"}, +{"0 2 3 7", "NO"}, +{"0 2 3 8", "NO"}, +{"0 2 3 9", "NO"}, +{"0 2 3 10", "NO"}, +{"0 2 3 11", "NO"}, +{"0 2 4 4", "NO"}, +{"0 2 4 5", "NO"}, +{"0 2 4 6", "YES"}, +{"0 2 4 7", "NO"}, +{"0 2 4 8", "NO"}, +{"0 2 4 9", "NO"}, +{"0 2 4 10", "YES"}, +{"0 2 4 11", "YES"}, +{"0 2 5 5", "NO"}, +{"0 2 5 6", "NO"}, +{"0 2 5 7", "NO"}, +{"0 2 5 8", "NO"}, +{"0 2 5 9", "NO"}, +{"0 2 5 10", "YES"}, +{"0 2 5 11", "NO"}, +{"0 2 6 6", "NO"}, +{"0 2 6 7", "NO"}, +{"0 2 6 8", "NO"}, +{"0 2 6 9", "NO"}, +{"0 2 6 10", "YES"}, +{"0 2 6 11", "NO"}, +{"0 2 7 7", "NO"}, +{"0 2 7 8", "NO"}, +{"0 2 7 9", "NO"}, +{"0 2 7 10", "YES"}, +{"0 2 7 11", "NO"}, +{"0 2 8 8", "NO"}, +{"0 2 8 9", "NO"}, +{"0 2 8 10", "YES"}, +{"0 2 8 11", "NO"}, +{"0 2 9 9", "NO"}, +{"0 2 9 10", "YES"}, +{"0 2 9 11", "NO"}, +{"0 2 10 10", "NO"}, +{"0 2 10 11", "YES"}, +{"0 2 11 11", "NO"}, +{"0 3 0 3", "YES"}, +{"0 3 0 4", "YES"}, +{"0 3 0 5", "NO"}, +{"0 3 0 6", "NO"}, +{"0 3 0 7", "NO"}, +{"0 3 0 8", "NO"}, +{"0 3 0 9", "NO"}, +{"0 3 0 10", "NO"}, +{"0 3 0 11", "NO"}, +{"0 3 1 1", "NO"}, +{"0 3 1 2", "NO"}, +{"0 3 1 3", "NO"}, +{"0 3 1 4", "NO"}, +{"0 3 1 5", "NO"}, +{"0 3 1 6", "NO"}, +{"0 3 1 7", "NO"}, +{"0 3 1 8", "NO"}, +{"0 3 1 9", "NO"}, +{"0 3 1 10", "YES"}, +{"0 3 1 11", "NO"}, +{"0 3 2 2", "YES"}, +{"0 3 2 3", "YES"}, +{"0 3 2 4", "NO"}, +{"0 3 2 5", "YES"}, +{"0 3 2 6", "NO"}, +{"0 3 2 7", "NO"}, +{"0 3 2 8", "NO"}, +{"0 3 2 9", "NO"}, +{"0 3 2 10", "NO"}, +{"0 3 2 11", "NO"}, +{"0 3 3 3", "NO"}, +{"0 3 3 4", "NO"}, +{"0 3 3 5", "YES"}, +{"0 3 3 6", "NO"}, +{"0 3 3 7", "NO"}, +{"0 3 3 8", "NO"}, +{"0 3 3 9", "NO"}, +{"0 3 3 10", "NO"}, +{"0 3 3 11", "NO"}, +{"0 3 4 4", "YES"}, +{"0 3 4 5", "YES"}, +{"0 3 4 6", "NO"}, +{"0 3 4 7", "YES"}, +{"0 3 4 8", "YES"}, +{"0 3 4 9", "NO"}, +{"0 3 4 10", "YES"}, +{"0 3 4 11", "NO"}, +{"0 3 5 5", "NO"}, +{"0 3 5 6", "NO"}, +{"0 3 5 7", "NO"}, +{"0 3 5 8", "NO"}, +{"0 3 5 9", "NO"}, +{"0 3 5 10", "YES"}, +{"0 3 5 11", "NO"}, +{"0 3 6 6", "NO"}, +{"0 3 6 7", "NO"}, +{"0 3 6 8", "NO"}, +{"0 3 6 9", "NO"}, +{"0 3 6 10", "YES"}, +{"0 3 6 11", "NO"}, +{"0 3 7 7", "NO"}, +{"0 3 7 8", "YES"}, +{"0 3 7 9", "NO"}, +{"0 3 7 10", "YES"}, +{"0 3 7 11", "YES"}, +{"0 3 8 8", "NO"}, +{"0 3 8 9", "NO"}, +{"0 3 8 10", "YES"}, +{"0 3 8 11", "NO"}, +{"0 3 9 9", "NO"}, +{"0 3 9 10", "YES"}, +{"0 3 9 11", "NO"}, +{"0 3 10 10", "NO"}, +{"0 3 10 11", "YES"}, +{"0 3 11 11", "NO"}, +{"0 4 0 4", "YES"}, +{"0 4 0 5", "NO"}, +{"0 4 0 6", "NO"}, +{"0 4 0 7", "NO"}, +{"0 4 0 8", "YES"}, +{"0 4 0 9", "NO"}, +{"0 4 0 10", "YES"}, +{"0 4 0 11", "NO"}, +{"0 4 1 1", "NO"}, +{"0 4 1 2", "YES"}, +{"0 4 1 3", "NO"}, +{"0 4 1 4", "NO"}, +{"0 4 1 5", "NO"}, +{"0 4 1 6", "NO"}, +{"0 4 1 7", "NO"}, +{"0 4 1 8", "NO"}, +{"0 4 1 9", "NO"}, +{"0 4 1 10", "NO"}, +{"0 4 1 11", "NO"}, +{"0 4 2 2", "YES"}, +{"0 4 2 3", "YES"}, +{"0 4 2 4", "YES"}, +{"0 4 2 5", "NO"}, +{"0 4 2 6", "NO"}, +{"0 4 2 7", "NO"}, +{"0 4 2 8", "NO"}, +{"0 4 2 9", "NO"}, +{"0 4 2 10", "YES"}, +{"0 4 2 11", "NO"}, +{"0 4 3 3", "YES"}, +{"0 4 3 4", "YES"}, +{"0 4 3 5", "NO"}, +{"0 4 3 6", "NO"}, +{"0 4 3 7", "NO"}, +{"0 4 3 8", "YES"}, +{"0 4 3 9", "NO"}, +{"0 4 3 10", "YES"}, +{"0 4 3 11", "YES"}, +{"0 4 4 4", "YES"}, +{"0 4 4 5", "YES"}, +{"0 4 4 6", "NO"}, +{"0 4 4 7", "YES"}, +{"0 4 4 8", "YES"}, +{"0 4 4 9", "YES"}, +{"0 4 4 10", "YES"}, +{"0 4 4 11", "YES"}, +{"0 4 5 5", "NO"}, +{"0 4 5 6", "YES"}, +{"0 4 5 7", "NO"}, +{"0 4 5 8", "NO"}, +{"0 4 5 9", "NO"}, +{"0 4 5 10", "YES"}, +{"0 4 5 11", "NO"}, +{"0 4 6 6", "NO"}, +{"0 4 6 7", "NO"}, +{"0 4 6 8", "YES"}, +{"0 4 6 9", "YES"}, +{"0 4 6 10", "NO"}, +{"0 4 6 11", "YES"}, +{"0 4 7 7", "NO"}, +{"0 4 7 8", "NO"}, +{"0 4 7 9", "NO"}, +{"0 4 7 10", "YES"}, +{"0 4 7 11", "NO"}, +{"0 4 8 8", "YES"}, +{"0 4 8 9", "NO"}, +{"0 4 8 10", "NO"}, +{"0 4 8 11", "NO"}, +{"0 4 9 9", "NO"}, +{"0 4 9 10", "NO"}, +{"0 4 9 11", "NO"}, +{"0 4 10 10", "YES"}, +{"0 4 10 11", "NO"}, +{"0 4 11 11", "NO"}, +{"0 5 0 5", "YES"}, +{"0 5 0 6", "NO"}, +{"0 5 0 7", "NO"}, +{"0 5 0 8", "YES"}, +{"0 5 0 9", "YES"}, +{"0 5 0 10", "NO"}, +{"0 5 0 11", "YES"}, +{"0 5 1 1", "NO"}, +{"0 5 1 2", "NO"}, +{"0 5 1 3", "NO"}, +{"0 5 1 4", "NO"}, +{"0 5 1 5", "NO"}, +{"0 5 1 6", "YES"}, +{"0 5 1 7", "NO"}, +{"0 5 1 8", "NO"}, +{"0 5 1 9", "NO"}, +{"0 5 1 10", "NO"}, +{"0 5 1 11", "NO"}, +{"0 5 2 2", "NO"}, +{"0 5 2 3", "NO"}, +{"0 5 2 4", "NO"}, +{"0 5 2 5", "NO"}, +{"0 5 2 6", "NO"}, +{"0 5 2 7", "NO"}, +{"0 5 2 8", "NO"}, +{"0 5 2 9", "NO"}, +{"0 5 2 10", "YES"}, +{"0 5 2 11", "NO"}, +{"0 5 3 3", "NO"}, +{"0 5 3 4", "NO"}, +{"0 5 3 5", "NO"}, +{"0 5 3 6", "NO"}, +{"0 5 3 7", "NO"}, +{"0 5 3 8", "NO"}, +{"0 5 3 9", "NO"}, +{"0 5 3 10", "YES"}, +{"0 5 3 11", "NO"}, +{"0 5 4 4", "YES"}, +{"0 5 4 5", "NO"}, +{"0 5 4 6", "NO"}, +{"0 5 4 7", "NO"}, +{"0 5 4 8", "NO"}, +{"0 5 4 9", "NO"}, +{"0 5 4 10", "YES"}, +{"0 5 4 11", "YES"}, +{"0 5 5 5", "NO"}, +{"0 5 5 6", "NO"}, +{"0 5 5 7", "NO"}, +{"0 5 5 8", "NO"}, +{"0 5 5 9", "NO"}, +{"0 5 5 10", "NO"}, +{"0 5 5 11", "NO"}, +{"0 5 6 6", "NO"}, +{"0 5 6 7", "NO"}, +{"0 5 6 8", "NO"}, +{"0 5 6 9", "NO"}, +{"0 5 6 10", "NO"}, +{"0 5 6 11", "NO"}, +{"0 5 7 7", "NO"}, +{"0 5 7 8", "NO"}, +{"0 5 7 9", "NO"}, +{"0 5 7 10", "NO"}, +{"0 5 7 11", "NO"}, +{"0 5 8 8", "NO"}, +{"0 5 8 9", "NO"}, +{"0 5 8 10", "NO"}, +{"0 5 8 11", "NO"}, +{"0 5 9 9", "NO"}, +{"0 5 9 10", "NO"}, +{"0 5 9 11", "NO"}, +{"0 5 10 10", "YES"}, +{"0 5 10 11", "NO"}, +{"0 5 11 11", "NO"}, +{"0 6 0 6", "YES"}, +{"0 6 0 7", "NO"}, +{"0 6 0 8", "NO"}, +{"0 6 0 9", "NO"}, +{"0 6 0 10", "NO"}, +{"0 6 0 11", "YES"}, +{"0 6 1 1", "NO"}, +{"0 6 1 2", "NO"}, +{"0 6 1 3", "NO"}, +{"0 6 1 4", "NO"}, +{"0 6 1 5", "NO"}, +{"0 6 1 6", "NO"}, +{"0 6 1 7", "NO"}, +{"0 6 1 8", "NO"}, +{"0 6 1 9", "NO"}, +{"0 6 1 10", "NO"}, +{"0 6 1 11", "NO"}, +{"0 6 2 2", "NO"}, +{"0 6 2 3", "NO"}, +{"0 6 2 4", "YES"}, +{"0 6 2 5", "NO"}, +{"0 6 2 6", "NO"}, +{"0 6 2 7", "NO"}, +{"0 6 2 8", "NO"}, +{"0 6 2 9", "NO"}, +{"0 6 2 10", "YES"}, +{"0 6 2 11", "NO"}, +{"0 6 3 3", "NO"}, +{"0 6 3 4", "NO"}, +{"0 6 3 5", "NO"}, +{"0 6 3 6", "NO"}, +{"0 6 3 7", "NO"}, +{"0 6 3 8", "NO"}, +{"0 6 3 9", "NO"}, +{"0 6 3 10", "NO"}, +{"0 6 3 11", "NO"}, +{"0 6 4 4", "NO"}, +{"0 6 4 5", "YES"}, +{"0 6 4 6", "NO"}, +{"0 6 4 7", "YES"}, +{"0 6 4 8", "YES"}, +{"0 6 4 9", "YES"}, +{"0 6 4 10", "YES"}, +{"0 6 4 11", "YES"}, +{"0 6 5 5", "NO"}, +{"0 6 5 6", "NO"}, +{"0 6 5 7", "NO"}, +{"0 6 5 8", "NO"}, +{"0 6 5 9", "NO"}, +{"0 6 5 10", "NO"}, +{"0 6 5 11", "NO"}, +{"0 6 6 6", "NO"}, +{"0 6 6 7", "YES"}, +{"0 6 6 8", "NO"}, +{"0 6 6 9", "NO"}, +{"0 6 6 10", "YES"}, +{"0 6 6 11", "NO"}, +{"0 6 7 7", "NO"}, +{"0 6 7 8", "NO"}, +{"0 6 7 9", "NO"}, +{"0 6 7 10", "NO"}, +{"0 6 7 11", "NO"}, +{"0 6 8 8", "NO"}, +{"0 6 8 9", "NO"}, +{"0 6 8 10", "NO"}, +{"0 6 8 11", "NO"}, +{"0 6 9 9", "NO"}, +{"0 6 9 10", "NO"}, +{"0 6 9 11", "NO"}, +{"0 6 10 10", "NO"}, +{"0 6 10 11", "NO"}, +{"0 6 11 11", "NO"}, +{"0 7 0 7", "YES"}, +{"0 7 0 8", "NO"}, +{"0 7 0 9", "NO"}, +{"0 7 0 10", "NO"}, +{"0 7 0 11", "NO"}, +{"0 7 1 1", "NO"}, +{"0 7 1 2", "NO"}, +{"0 7 1 3", "NO"}, +{"0 7 1 4", "NO"}, +{"0 7 1 5", "NO"}, +{"0 7 1 6", "NO"}, +{"0 7 1 7", "NO"}, +{"0 7 1 8", "NO"}, +{"0 7 1 9", "NO"}, +{"0 7 1 10", "NO"}, +{"0 7 1 11", "NO"}, +{"0 7 2 2", "NO"}, +{"0 7 2 3", "NO"}, +{"0 7 2 4", "NO"}, +{"0 7 2 5", "NO"}, +{"0 7 2 6", "YES"}, +{"0 7 2 7", "NO"}, +{"0 7 2 8", "NO"}, +{"0 7 2 9", "NO"}, +{"0 7 2 10", "NO"}, +{"0 7 2 11", "NO"}, +{"0 7 3 3", "NO"}, +{"0 7 3 4", "YES"}, +{"0 7 3 5", "NO"}, +{"0 7 3 6", "YES"}, +{"0 7 3 7", "NO"}, +{"0 7 3 8", "YES"}, +{"0 7 3 9", "NO"}, +{"0 7 3 10", "YES"}, +{"0 7 3 11", "YES"}, +{"0 7 4 4", "YES"}, +{"0 7 4 5", "NO"}, +{"0 7 4 6", "NO"}, +{"0 7 4 7", "NO"}, +{"0 7 4 8", "NO"}, +{"0 7 4 9", "NO"}, +{"0 7 4 10", "YES"}, +{"0 7 4 11", "NO"}, +{"0 7 5 5", "NO"}, +{"0 7 5 6", "NO"}, +{"0 7 5 7", "NO"}, +{"0 7 5 8", "NO"}, +{"0 7 5 9", "NO"}, +{"0 7 5 10", "NO"}, +{"0 7 5 11", "NO"}, +{"0 7 6 6", "NO"}, +{"0 7 6 7", "NO"}, +{"0 7 6 8", "NO"}, +{"0 7 6 9", "NO"}, +{"0 7 6 10", "YES"}, +{"0 7 6 11", "NO"}, +{"0 7 7 7", "NO"}, +{"0 7 7 8", "NO"}, +{"0 7 7 9", "NO"}, +{"0 7 7 10", "NO"}, +{"0 7 7 11", "NO"}, +{"0 7 8 8", "NO"}, +{"0 7 8 9", "NO"}, +{"0 7 8 10", "NO"}, +{"0 7 8 11", "NO"}, +{"0 7 9 9", "NO"}, +{"0 7 9 10", "NO"}, +{"0 7 9 11", "NO"}, +{"0 7 10 10", "NO"}, +{"0 7 10 11", "NO"}, +{"0 7 11 11", "NO"}, +{"0 8 0 8", "YES"}, +{"0 8 0 9", "YES"}, +{"0 8 0 10", "NO"}, +{"0 8 0 11", "YES"}, +{"0 8 1 1", "NO"}, +{"0 8 1 2", "NO"}, +{"0 8 1 3", "NO"}, +{"0 8 1 4", "NO"}, +{"0 8 1 5", "NO"}, +{"0 8 1 6", "NO"}, +{"0 8 1 7", "NO"}, +{"0 8 1 8", "NO"}, +{"0 8 1 9", "NO"}, +{"0 8 1 10", "NO"}, +{"0 8 1 11", "NO"}, +{"0 8 2 2", "NO"}, +{"0 8 2 3", "NO"}, +{"0 8 2 4", "YES"}, +{"0 8 2 5", "NO"}, +{"0 8 2 6", "NO"}, +{"0 8 2 7", "NO"}, +{"0 8 2 8", "NO"}, +{"0 8 2 9", "NO"}, +{"0 8 2 10", "YES"}, +{"0 8 2 11", "NO"}, +{"0 8 3 3", "NO"}, +{"0 8 3 4", "YES"}, +{"0 8 3 5", "NO"}, +{"0 8 3 6", "YES"}, +{"0 8 3 7", "NO"}, +{"0 8 3 8", "NO"}, +{"0 8 3 9", "NO"}, +{"0 8 3 10", "YES"}, +{"0 8 3 11", "NO"}, +{"0 8 4 4", "NO"}, +{"0 8 4 5", "NO"}, +{"0 8 4 6", "NO"}, +{"0 8 4 7", "NO"}, +{"0 8 4 8", "NO"}, +{"0 8 4 9", "NO"}, +{"0 8 4 10", "YES"}, +{"0 8 4 11", "YES"}, +{"0 8 5 5", "NO"}, +{"0 8 5 6", "NO"}, +{"0 8 5 7", "NO"}, +{"0 8 5 8", "NO"}, +{"0 8 5 9", "NO"}, +{"0 8 5 10", "NO"}, +{"0 8 5 11", "NO"}, +{"0 8 6 6", "NO"}, +{"0 8 6 7", "NO"}, +{"0 8 6 8", "NO"}, +{"0 8 6 9", "NO"}, +{"0 8 6 10", "NO"}, +{"0 8 6 11", "NO"}, +{"0 8 7 7", "NO"}, +{"0 8 7 8", "NO"}, +{"0 8 7 9", "NO"}, +{"0 8 7 10", "NO"}, +{"0 8 7 11", "NO"}, +{"0 8 8 8", "NO"}, +{"0 8 8 9", "NO"}, +{"0 8 8 10", "NO"}, +{"0 8 8 11", "NO"}, +{"0 8 9 9", "NO"}, +{"0 8 9 10", "NO"}, +{"0 8 9 11", "NO"}, +{"0 8 10 10", "NO"}, +{"0 8 10 11", "NO"}, +{"0 8 11 11", "NO"}, +{"0 9 0 9", "YES"}, +{"0 9 0 10", "NO"}, +{"0 9 0 11", "YES"}, +{"0 9 1 1", "NO"}, +{"0 9 1 2", "NO"}, +{"0 9 1 3", "NO"}, +{"0 9 1 4", "NO"}, +{"0 9 1 5", "NO"}, +{"0 9 1 6", "NO"}, +{"0 9 1 7", "NO"}, +{"0 9 1 8", "NO"}, +{"0 9 1 9", "NO"}, +{"0 9 1 10", "NO"}, +{"0 9 1 11", "NO"}, +{"0 9 2 2", "NO"}, +{"0 9 2 3", "NO"}, +{"0 9 2 4", "NO"}, +{"0 9 2 5", "NO"}, +{"0 9 2 6", "NO"}, +{"0 9 2 7", "NO"}, +{"0 9 2 8", "NO"}, +{"0 9 2 9", "NO"}, +{"0 9 2 10", "YES"}, +{"0 9 2 11", "NO"}, +{"0 9 3 3", "NO"}, +{"0 9 3 4", "NO"}, +{"0 9 3 5", "NO"}, +{"0 9 3 6", "NO"}, +{"0 9 3 7", "NO"}, +{"0 9 3 8", "NO"}, +{"0 9 3 9", "NO"}, +{"0 9 3 10", "YES"}, +{"0 9 3 11", "NO"}, +{"0 9 4 4", "NO"}, +{"0 9 4 5", "NO"}, +{"0 9 4 6", "NO"}, +{"0 9 4 7", "NO"}, +{"0 9 4 8", "NO"}, +{"0 9 4 9", "NO"}, +{"0 9 4 10", "NO"}, +{"0 9 4 11", "NO"}, +{"0 9 5 5", "NO"}, +{"0 9 5 6", "NO"}, +{"0 9 5 7", "NO"}, +{"0 9 5 8", "NO"}, +{"0 9 5 9", "NO"}, +{"0 9 5 10", "NO"}, +{"0 9 5 11", "NO"}, +{"0 9 6 6", "NO"}, +{"0 9 6 7", "NO"}, +{"0 9 6 8", "NO"}, +{"0 9 6 9", "NO"}, +{"0 9 6 10", "NO"}, +{"0 9 6 11", "NO"}, +{"0 9 7 7", "NO"}, +{"0 9 7 8", "NO"}, +{"0 9 7 9", "NO"}, +{"0 9 7 10", "NO"}, +{"0 9 7 11", "NO"}, +{"0 9 8 8", "NO"}, +{"0 9 8 9", "NO"}, +{"0 9 8 10", "NO"}, +{"0 9 8 11", "NO"}, +{"0 9 9 9", "NO"}, +{"0 9 9 10", "NO"}, +{"0 9 9 11", "NO"}, +{"0 9 10 10", "YES"}, +{"0 9 10 11", "NO"}, +{"0 9 11 11", "NO"}, +{"0 10 0 10", "YES"}, +{"0 10 0 11", "NO"}, +{"0 10 1 1", "NO"}, +{"0 10 1 2", "YES"}, +{"0 10 1 3", "YES"}, +{"0 10 1 4", "NO"}, +{"0 10 1 5", "NO"}, +{"0 10 1 6", "NO"}, +{"0 10 1 7", "NO"}, +{"0 10 1 8", "NO"}, +{"0 10 1 9", "NO"}, +{"0 10 1 10", "YES"}, +{"0 10 1 11", "NO"}, +{"0 10 2 2", "NO"}, +{"0 10 2 3", "NO"}, +{"0 10 2 4", "YES"}, +{"0 10 2 5", "YES"}, +{"0 10 2 6", "YES"}, +{"0 10 2 7", "YES"}, +{"0 10 2 8", "YES"}, +{"0 10 2 9", "YES"}, +{"0 10 2 10", "NO"}, +{"0 10 2 11", "YES"}, +{"0 10 3 3", "NO"}, +{"0 10 3 4", "NO"}, +{"0 10 3 5", "YES"}, +{"0 10 3 6", "NO"}, +{"0 10 3 7", "YES"}, +{"0 10 3 8", "YES"}, +{"0 10 3 9", "YES"}, +{"0 10 3 10", "NO"}, +{"0 10 3 11", "YES"}, +{"0 10 4 4", "YES"}, +{"0 10 4 5", "YES"}, +{"0 10 4 6", "NO"}, +{"0 10 4 7", "NO"}, +{"0 10 4 8", "NO"}, +{"0 10 4 9", "NO"}, +{"0 10 4 10", "YES"}, +{"0 10 4 11", "NO"}, +{"0 10 5 5", "NO"}, +{"0 10 5 6", "NO"}, +{"0 10 5 7", "NO"}, +{"0 10 5 8", "NO"}, +{"0 10 5 9", "NO"}, +{"0 10 5 10", "YES"}, +{"0 10 5 11", "NO"}, +{"0 10 6 6", "NO"}, +{"0 10 6 7", "NO"}, +{"0 10 6 8", "NO"}, +{"0 10 6 9", "NO"}, +{"0 10 6 10", "NO"}, +{"0 10 6 11", "NO"}, +{"0 10 7 7", "NO"}, +{"0 10 7 8", "NO"}, +{"0 10 7 9", "NO"}, +{"0 10 7 10", "YES"}, +{"0 10 7 11", "NO"}, +{"0 10 8 8", "NO"}, +{"0 10 8 9", "NO"}, +{"0 10 8 10", "YES"}, +{"0 10 8 11", "NO"}, +{"0 10 9 9", "NO"}, +{"0 10 9 10", "YES"}, +{"0 10 9 11", "NO"}, +{"0 10 10 10", "NO"}, +{"0 10 10 11", "YES"}, +{"0 10 11 11", "NO"}, +{"0 11 0 11", "YES"}, +{"0 11 1 1", "NO"}, +{"0 11 1 2", "NO"}, +{"0 11 1 3", "NO"}, +{"0 11 1 4", "NO"}, +{"0 11 1 5", "NO"}, +{"0 11 1 6", "NO"}, +{"0 11 1 7", "NO"}, +{"0 11 1 8", "NO"}, +{"0 11 1 9", "NO"}, +{"0 11 1 10", "NO"}, +{"0 11 1 11", "NO"}, +{"0 11 2 2", "NO"}, +{"0 11 2 3", "NO"}, +{"0 11 2 4", "YES"}, +{"0 11 2 5", "NO"}, +{"0 11 2 6", "NO"}, +{"0 11 2 7", "NO"}, +{"0 11 2 8", "NO"}, +{"0 11 2 9", "NO"}, +{"0 11 2 10", "YES"}, +{"0 11 2 11", "NO"}, +{"0 11 3 3", "NO"}, +{"0 11 3 4", "YES"}, +{"0 11 3 5", "NO"}, +{"0 11 3 6", "NO"}, +{"0 11 3 7", "NO"}, +{"0 11 3 8", "NO"}, +{"0 11 3 9", "NO"}, +{"0 11 3 10", "YES"}, +{"0 11 3 11", "NO"}, +{"0 11 4 4", "NO"}, +{"0 11 4 5", "YES"}, +{"0 11 4 6", "NO"}, +{"0 11 4 7", "NO"}, +{"0 11 4 8", "NO"}, +{"0 11 4 9", "NO"}, +{"0 11 4 10", "NO"}, +{"0 11 4 11", "NO"}, +{"0 11 5 5", "NO"}, +{"0 11 5 6", "NO"}, +{"0 11 5 7", "NO"}, +{"0 11 5 8", "NO"}, +{"0 11 5 9", "NO"}, +{"0 11 5 10", "NO"}, +{"0 11 5 11", "NO"}, +{"0 11 6 6", "NO"}, +{"0 11 6 7", "NO"}, +{"0 11 6 8", "NO"}, +{"0 11 6 9", "NO"}, +{"0 11 6 10", "NO"}, +{"0 11 6 11", "NO"}, +{"0 11 7 7", "NO"}, +{"0 11 7 8", "NO"}, +{"0 11 7 9", "NO"}, +{"0 11 7 10", "NO"}, +{"0 11 7 11", "NO"}, +{"0 11 8 8", "NO"}, +{"0 11 8 9", "NO"}, +{"0 11 8 10", "NO"}, +{"0 11 8 11", "NO"}, +{"0 11 9 9", "NO"}, +{"0 11 9 10", "NO"}, +{"0 11 9 11", "NO"}, +{"0 11 10 10", "YES"}, +{"0 11 10 11", "NO"}, +{"0 11 11 11", "NO"}, +{"1 1 1 1", "YES"}, +{"1 1 1 2", "NO"}, +{"1 1 1 3", "NO"}, +{"1 1 1 4", "NO"}, +{"1 1 1 5", "NO"}, +{"1 1 1 6", "NO"}, +{"1 1 1 7", "NO"}, +{"1 1 1 8", "NO"}, +{"1 1 1 9", "NO"}, +{"1 1 1 10", "NO"}, +{"1 1 1 11", "NO"}, +{"1 1 2 2", "YES"}, +{"1 1 2 3", "NO"}, +{"1 1 2 4", "NO"}, +{"1 1 2 5", "NO"}, +{"1 1 2 6", "NO"}, +{"1 1 2 7", "NO"}, +{"1 1 2 8", "NO"}, +{"1 1 2 9", "NO"}, +{"1 1 2 10", "NO"}, +{"1 1 2 11", "NO"}, +{"1 1 3 3", "YES"}, +{"1 1 3 4", "NO"}, +{"1 1 3 5", "NO"}, +{"1 1 3 6", "NO"}, +{"1 1 3 7", "NO"}, +{"1 1 3 8", "NO"}, +{"1 1 3 9", "NO"}, +{"1 1 3 10", "NO"}, +{"1 1 3 11", "NO"}, +{"1 1 4 4", "YES"}, +{"1 1 4 5", "NO"}, +{"1 1 4 6", "NO"}, +{"1 1 4 7", "NO"}, +{"1 1 4 8", "NO"}, +{"1 1 4 9", "NO"}, +{"1 1 4 10", "NO"}, +{"1 1 4 11", "NO"}, +{"1 1 5 5", "NO"}, +{"1 1 5 6", "NO"}, +{"1 1 5 7", "NO"}, +{"1 1 5 8", "NO"}, +{"1 1 5 9", "NO"}, +{"1 1 5 10", "NO"}, +{"1 1 5 11", "NO"}, +{"1 1 6 6", "NO"}, +{"1 1 6 7", "NO"}, +{"1 1 6 8", "NO"}, +{"1 1 6 9", "NO"}, +{"1 1 6 10", "NO"}, +{"1 1 6 11", "NO"}, +{"1 1 7 7", "NO"}, +{"1 1 7 8", "NO"}, +{"1 1 7 9", "NO"}, +{"1 1 7 10", "NO"}, +{"1 1 7 11", "NO"}, +{"1 1 8 8", "NO"}, +{"1 1 8 9", "NO"}, +{"1 1 8 10", "NO"}, +{"1 1 8 11", "NO"}, +{"1 1 9 9", "NO"}, +{"1 1 9 10", "NO"}, +{"1 1 9 11", "NO"}, +{"1 1 10 10", "YES"}, +{"1 1 10 11", "NO"}, +{"1 1 11 11", "NO"}, +{"1 2 1 2", "YES"}, +{"1 2 1 3", "NO"}, +{"1 2 1 4", "NO"}, +{"1 2 1 5", "NO"}, +{"1 2 1 6", "NO"}, +{"1 2 1 7", "NO"}, +{"1 2 1 8", "NO"}, +{"1 2 1 9", "NO"}, +{"1 2 1 10", "NO"}, +{"1 2 1 11", "NO"}, +{"1 2 2 2", "NO"}, +{"1 2 2 3", "NO"}, +{"1 2 2 4", "NO"}, +{"1 2 2 5", "NO"}, +{"1 2 2 6", "YES"}, +{"1 2 2 7", "NO"}, +{"1 2 2 8", "NO"}, +{"1 2 2 9", "NO"}, +{"1 2 2 10", "NO"}, +{"1 2 2 11", "YES"}, +{"1 2 3 3", "NO"}, +{"1 2 3 4", "YES"}, +{"1 2 3 5", "NO"}, +{"1 2 3 6", "NO"}, +{"1 2 3 7", "YES"}, +{"1 2 3 8", "YES"}, +{"1 2 3 9", "NO"}, +{"1 2 3 10", "NO"}, +{"1 2 3 11", "NO"}, +{"1 2 4 4", "YES"}, +{"1 2 4 5", "YES"}, +{"1 2 4 6", "NO"}, +{"1 2 4 7", "YES"}, +{"1 2 4 8", "NO"}, +{"1 2 4 9", "NO"}, +{"1 2 4 10", "YES"}, +{"1 2 4 11", "NO"}, +{"1 2 5 5", "NO"}, +{"1 2 5 6", "NO"}, +{"1 2 5 7", "NO"}, +{"1 2 5 8", "NO"}, +{"1 2 5 9", "NO"}, +{"1 2 5 10", "YES"}, +{"1 2 5 11", "NO"}, +{"1 2 6 6", "NO"}, +{"1 2 6 7", "NO"}, +{"1 2 6 8", "NO"}, +{"1 2 6 9", "NO"}, +{"1 2 6 10", "NO"}, +{"1 2 6 11", "NO"}, +{"1 2 7 7", "NO"}, +{"1 2 7 8", "NO"}, +{"1 2 7 9", "NO"}, +{"1 2 7 10", "NO"}, +{"1 2 7 11", "NO"}, +{"1 2 8 8", "NO"}, +{"1 2 8 9", "NO"}, +{"1 2 8 10", "NO"}, +{"1 2 8 11", "NO"}, +{"1 2 9 9", "NO"}, +{"1 2 9 10", "NO"}, +{"1 2 9 11", "NO"}, +{"1 2 10 10", "NO"}, +{"1 2 10 11", "NO"}, +{"1 2 11 11", "NO"}, +{"1 3 1 3", "YES"}, +{"1 3 1 4", "NO"}, +{"1 3 1 5", "NO"}, +{"1 3 1 6", "NO"}, +{"1 3 1 7", "NO"}, +{"1 3 1 8", "NO"}, +{"1 3 1 9", "NO"}, +{"1 3 1 10", "NO"}, +{"1 3 1 11", "NO"}, +{"1 3 2 2", "NO"}, +{"1 3 2 3", "NO"}, +{"1 3 2 4", "YES"}, +{"1 3 2 5", "NO"}, +{"1 3 2 6", "NO"}, +{"1 3 2 7", "YES"}, +{"1 3 2 8", "YES"}, +{"1 3 2 9", "NO"}, +{"1 3 2 10", "NO"}, +{"1 3 2 11", "NO"}, +{"1 3 3 3", "NO"}, +{"1 3 3 4", "NO"}, +{"1 3 3 5", "NO"}, +{"1 3 3 6", "NO"}, +{"1 3 3 7", "NO"}, +{"1 3 3 8", "NO"}, +{"1 3 3 9", "NO"}, +{"1 3 3 10", "NO"}, +{"1 3 3 11", "YES"}, +{"1 3 4 4", "NO"}, +{"1 3 4 5", "NO"}, +{"1 3 4 6", "YES"}, +{"1 3 4 7", "NO"}, +{"1 3 4 8", "NO"}, +{"1 3 4 9", "NO"}, +{"1 3 4 10", "NO"}, +{"1 3 4 11", "NO"}, +{"1 3 5 5", "NO"}, +{"1 3 5 6", "NO"}, +{"1 3 5 7", "NO"}, +{"1 3 5 8", "NO"}, +{"1 3 5 9", "NO"}, +{"1 3 5 10", "NO"}, +{"1 3 5 11", "NO"}, +{"1 3 6 6", "NO"}, +{"1 3 6 7", "NO"}, +{"1 3 6 8", "NO"}, +{"1 3 6 9", "NO"}, +{"1 3 6 10", "NO"}, +{"1 3 6 11", "NO"}, +{"1 3 7 7", "NO"}, +{"1 3 7 8", "NO"}, +{"1 3 7 9", "NO"}, +{"1 3 7 10", "NO"}, +{"1 3 7 11", "NO"}, +{"1 3 8 8", "NO"}, +{"1 3 8 9", "NO"}, +{"1 3 8 10", "NO"}, +{"1 3 8 11", "NO"}, +{"1 3 9 9", "NO"}, +{"1 3 9 10", "NO"}, +{"1 3 9 11", "NO"}, +{"1 3 10 10", "NO"}, +{"1 3 10 11", "NO"}, +{"1 3 11 11", "NO"}, +{"1 4 1 4", "YES"}, +{"1 4 1 5", "NO"}, +{"1 4 1 6", "NO"}, +{"1 4 1 7", "NO"}, +{"1 4 1 8", "NO"}, +{"1 4 1 9", "NO"}, +{"1 4 1 10", "NO"}, +{"1 4 1 11", "NO"}, +{"1 4 2 2", "NO"}, +{"1 4 2 3", "YES"}, +{"1 4 2 4", "YES"}, +{"1 4 2 5", "YES"}, +{"1 4 2 6", "NO"}, +{"1 4 2 7", "YES"}, +{"1 4 2 8", "NO"}, +{"1 4 2 9", "NO"}, +{"1 4 2 10", "YES"}, +{"1 4 2 11", "NO"}, +{"1 4 3 3", "NO"}, +{"1 4 3 4", "NO"}, +{"1 4 3 5", "NO"}, +{"1 4 3 6", "YES"}, +{"1 4 3 7", "NO"}, +{"1 4 3 8", "NO"}, +{"1 4 3 9", "NO"}, +{"1 4 3 10", "NO"}, +{"1 4 3 11", "NO"}, +{"1 4 4 4", "NO"}, +{"1 4 4 5", "NO"}, +{"1 4 4 6", "NO"}, +{"1 4 4 7", "YES"}, +{"1 4 4 8", "NO"}, +{"1 4 4 9", "NO"}, +{"1 4 4 10", "YES"}, +{"1 4 4 11", "YES"}, +{"1 4 5 5", "NO"}, +{"1 4 5 6", "NO"}, +{"1 4 5 7", "NO"}, +{"1 4 5 8", "YES"}, +{"1 4 5 9", "NO"}, +{"1 4 5 10", "NO"}, +{"1 4 5 11", "NO"}, +{"1 4 6 6", "NO"}, +{"1 4 6 7", "YES"}, +{"1 4 6 8", "NO"}, +{"1 4 6 9", "NO"}, +{"1 4 6 10", "NO"}, +{"1 4 6 11", "NO"}, +{"1 4 7 7", "NO"}, +{"1 4 7 8", "NO"}, +{"1 4 7 9", "NO"}, +{"1 4 7 10", "NO"}, +{"1 4 7 11", "NO"}, +{"1 4 8 8", "NO"}, +{"1 4 8 9", "NO"}, +{"1 4 8 10", "YES"}, +{"1 4 8 11", "NO"}, +{"1 4 9 9", "NO"}, +{"1 4 9 10", "NO"}, +{"1 4 9 11", "NO"}, +{"1 4 10 10", "NO"}, +{"1 4 10 11", "NO"}, +{"1 4 11 11", "NO"}, +{"1 5 1 5", "YES"}, +{"1 5 1 6", "NO"}, +{"1 5 1 7", "NO"}, +{"1 5 1 8", "NO"}, +{"1 5 1 9", "NO"}, +{"1 5 1 10", "NO"}, +{"1 5 1 11", "NO"}, +{"1 5 2 2", "NO"}, +{"1 5 2 3", "NO"}, +{"1 5 2 4", "YES"}, +{"1 5 2 5", "NO"}, +{"1 5 2 6", "NO"}, +{"1 5 2 7", "NO"}, +{"1 5 2 8", "NO"}, +{"1 5 2 9", "NO"}, +{"1 5 2 10", "YES"}, +{"1 5 2 11", "NO"}, +{"1 5 3 3", "NO"}, +{"1 5 3 4", "NO"}, +{"1 5 3 5", "NO"}, +{"1 5 3 6", "NO"}, +{"1 5 3 7", "NO"}, +{"1 5 3 8", "NO"}, +{"1 5 3 9", "NO"}, +{"1 5 3 10", "YES"}, +{"1 5 3 11", "NO"}, +{"1 5 4 4", "NO"}, +{"1 5 4 5", "NO"}, +{"1 5 4 6", "NO"}, +{"1 5 4 7", "NO"}, +{"1 5 4 8", "NO"}, +{"1 5 4 9", "NO"}, +{"1 5 4 10", "NO"}, +{"1 5 4 11", "NO"}, +{"1 5 5 5", "NO"}, +{"1 5 5 6", "NO"}, +{"1 5 5 7", "NO"}, +{"1 5 5 8", "NO"}, +{"1 5 5 9", "NO"}, +{"1 5 5 10", "NO"}, +{"1 5 5 11", "NO"}, +{"1 5 6 6", "NO"}, +{"1 5 6 7", "NO"}, +{"1 5 6 8", "NO"}, +{"1 5 6 9", "NO"}, +{"1 5 6 10", "NO"}, +{"1 5 6 11", "NO"}, +{"1 5 7 7", "NO"}, +{"1 5 7 8", "NO"}, +{"1 5 7 9", "NO"}, +{"1 5 7 10", "NO"}, +{"1 5 7 11", "NO"}, +{"1 5 8 8", "NO"}, +{"1 5 8 9", "NO"}, +{"1 5 8 10", "NO"}, +{"1 5 8 11", "NO"}, +{"1 5 9 9", "NO"}, +{"1 5 9 10", "NO"}, +{"1 5 9 11", "NO"}, +{"1 5 10 10", "NO"}, +{"1 5 10 11", "NO"}, +{"1 5 11 11", "NO"}, +{"1 6 1 6", "YES"}, +{"1 6 1 7", "NO"}, +{"1 6 1 8", "NO"}, +{"1 6 1 9", "NO"}, +{"1 6 1 10", "NO"}, +{"1 6 1 11", "NO"}, +{"1 6 2 2", "YES"}, +{"1 6 2 3", "NO"}, +{"1 6 2 4", "NO"}, +{"1 6 2 5", "NO"}, +{"1 6 2 6", "NO"}, +{"1 6 2 7", "NO"}, +{"1 6 2 8", "NO"}, +{"1 6 2 9", "NO"}, +{"1 6 2 10", "NO"}, +{"1 6 2 11", "NO"}, +{"1 6 3 3", "NO"}, +{"1 6 3 4", "NO"}, +{"1 6 3 5", "NO"}, +{"1 6 3 6", "NO"}, +{"1 6 3 7", "NO"}, +{"1 6 3 8", "NO"}, +{"1 6 3 9", "NO"}, +{"1 6 3 10", "NO"}, +{"1 6 3 11", "NO"}, +{"1 6 4 4", "NO"}, +{"1 6 4 5", "NO"}, +{"1 6 4 6", "NO"}, +{"1 6 4 7", "YES"}, +{"1 6 4 8", "NO"}, +{"1 6 4 9", "NO"}, +{"1 6 4 10", "NO"}, +{"1 6 4 11", "NO"}, +{"1 6 5 5", "NO"}, +{"1 6 5 6", "NO"}, +{"1 6 5 7", "NO"}, +{"1 6 5 8", "NO"}, +{"1 6 5 9", "NO"}, +{"1 6 5 10", "NO"}, +{"1 6 5 11", "YES"}, +{"1 6 6 6", "NO"}, +{"1 6 6 7", "YES"}, +{"1 6 6 8", "NO"}, +{"1 6 6 9", "NO"}, +{"1 6 6 10", "NO"}, +{"1 6 6 11", "NO"}, +{"1 6 7 7", "NO"}, +{"1 6 7 8", "NO"}, +{"1 6 7 9", "NO"}, +{"1 6 7 10", "YES"}, +{"1 6 7 11", "NO"}, +{"1 6 8 8", "NO"}, +{"1 6 8 9", "NO"}, +{"1 6 8 10", "NO"}, +{"1 6 8 11", "NO"}, +{"1 6 9 9", "NO"}, +{"1 6 9 10", "NO"}, +{"1 6 9 11", "NO"}, +{"1 6 10 10", "NO"}, +{"1 6 10 11", "NO"}, +{"1 6 11 11", "NO"}, +{"1 7 1 7", "YES"}, +{"1 7 1 8", "NO"}, +{"1 7 1 9", "NO"}, +{"1 7 1 10", "NO"}, +{"1 7 1 11", "NO"}, +{"1 7 2 2", "NO"}, +{"1 7 2 3", "YES"}, +{"1 7 2 4", "YES"}, +{"1 7 2 5", "NO"}, +{"1 7 2 6", "NO"}, +{"1 7 2 7", "NO"}, +{"1 7 2 8", "NO"}, +{"1 7 2 9", "NO"}, +{"1 7 2 10", "NO"}, +{"1 7 2 11", "NO"}, +{"1 7 3 3", "NO"}, +{"1 7 3 4", "NO"}, +{"1 7 3 5", "NO"}, +{"1 7 3 6", "NO"}, +{"1 7 3 7", "NO"}, +{"1 7 3 8", "NO"}, +{"1 7 3 9", "NO"}, +{"1 7 3 10", "NO"}, +{"1 7 3 11", "NO"}, +{"1 7 4 4", "NO"}, +{"1 7 4 5", "NO"}, +{"1 7 4 6", "NO"}, +{"1 7 4 7", "NO"}, +{"1 7 4 8", "NO"}, +{"1 7 4 9", "NO"}, +{"1 7 4 10", "NO"}, +{"1 7 4 11", "NO"}, +{"1 7 5 5", "NO"}, +{"1 7 5 6", "NO"}, +{"1 7 5 7", "NO"}, +{"1 7 5 8", "NO"}, +{"1 7 5 9", "NO"}, +{"1 7 5 10", "NO"}, +{"1 7 5 11", "NO"}, +{"1 7 6 6", "NO"}, +{"1 7 6 7", "NO"}, +{"1 7 6 8", "NO"}, +{"1 7 6 9", "NO"}, +{"1 7 6 10", "NO"}, +{"1 7 6 11", "NO"}, +{"1 7 7 7", "NO"}, +{"1 7 7 8", "NO"}, +{"1 7 7 9", "NO"}, +{"1 7 7 10", "NO"}, +{"1 7 7 11", "NO"}, +{"1 7 8 8", "NO"}, +{"1 7 8 9", "NO"}, +{"1 7 8 10", "NO"}, +{"1 7 8 11", "NO"}, +{"1 7 9 9", "NO"}, +{"1 7 9 10", "NO"}, +{"1 7 9 11", "NO"}, +{"1 7 10 10", "YES"}, +{"1 7 10 11", "NO"}, +{"1 7 11 11", "NO"}, +{"1 8 1 8", "YES"}, +{"1 8 1 9", "NO"}, +{"1 8 1 10", "NO"}, +{"1 8 1 11", "NO"}, +{"1 8 2 2", "NO"}, +{"1 8 2 3", "YES"}, +{"1 8 2 4", "NO"}, +{"1 8 2 5", "NO"}, +{"1 8 2 6", "NO"}, +{"1 8 2 7", "NO"}, +{"1 8 2 8", "NO"}, +{"1 8 2 9", "NO"}, +{"1 8 2 10", "NO"}, +{"1 8 2 11", "NO"}, +{"1 8 3 3", "NO"}, +{"1 8 3 4", "NO"}, +{"1 8 3 5", "NO"}, +{"1 8 3 6", "NO"}, +{"1 8 3 7", "NO"}, +{"1 8 3 8", "NO"}, +{"1 8 3 9", "NO"}, +{"1 8 3 10", "NO"}, +{"1 8 3 11", "NO"}, +{"1 8 4 4", "NO"}, +{"1 8 4 5", "NO"}, +{"1 8 4 6", "NO"}, +{"1 8 4 7", "NO"}, +{"1 8 4 8", "NO"}, +{"1 8 4 9", "NO"}, +{"1 8 4 10", "NO"}, +{"1 8 4 11", "NO"}, +{"1 8 5 5", "NO"}, +{"1 8 5 6", "NO"}, +{"1 8 5 7", "NO"}, +{"1 8 5 8", "NO"}, +{"1 8 5 9", "NO"}, +{"1 8 5 10", "NO"}, +{"1 8 5 11", "NO"}, +{"1 8 6 6", "NO"}, +{"1 8 6 7", "NO"}, +{"1 8 6 8", "NO"}, +{"1 8 6 9", "NO"}, +{"1 8 6 10", "NO"}, +{"1 8 6 11", "NO"}, +{"1 8 7 7", "NO"}, +{"1 8 7 8", "NO"}, +{"1 8 7 9", "NO"}, +{"1 8 7 10", "NO"}, +{"1 8 7 11", "NO"}, +{"1 8 8 8", "NO"}, +{"1 8 8 9", "NO"}, +{"1 8 8 10", "NO"}, +{"1 8 8 11", "NO"}, +{"1 8 9 9", "NO"}, +{"1 8 9 10", "NO"}, +{"1 8 9 11", "NO"}, +{"1 8 10 10", "NO"}, +{"1 8 10 11", "NO"}, +{"1 8 11 11", "NO"}, +{"1 9 1 9", "YES"}, +{"1 9 1 10", "NO"}, +{"1 9 1 11", "NO"}, +{"1 9 2 2", "NO"}, +{"1 9 2 3", "NO"}, +{"1 9 2 4", "NO"}, +{"1 9 2 5", "NO"}, +{"1 9 2 6", "NO"}, +{"1 9 2 7", "NO"}, +{"1 9 2 8", "NO"}, +{"1 9 2 9", "NO"}, +{"1 9 2 10", "NO"}, +{"1 9 2 11", "NO"}, +{"1 9 3 3", "NO"}, +{"1 9 3 4", "NO"}, +{"1 9 3 5", "NO"}, +{"1 9 3 6", "NO"}, +{"1 9 3 7", "NO"}, +{"1 9 3 8", "NO"}, +{"1 9 3 9", "NO"}, +{"1 9 3 10", "NO"}, +{"1 9 3 11", "NO"}, +{"1 9 4 4", "NO"}, +{"1 9 4 5", "NO"}, +{"1 9 4 6", "NO"}, +{"1 9 4 7", "NO"}, +{"1 9 4 8", "NO"}, +{"1 9 4 9", "NO"}, +{"1 9 4 10", "NO"}, +{"1 9 4 11", "NO"}, +{"1 9 5 5", "NO"}, +{"1 9 5 6", "NO"}, +{"1 9 5 7", "NO"}, +{"1 9 5 8", "NO"}, +{"1 9 5 9", "NO"}, +{"1 9 5 10", "NO"}, +{"1 9 5 11", "NO"}, +{"1 9 6 6", "NO"}, +{"1 9 6 7", "NO"}, +{"1 9 6 8", "NO"}, +{"1 9 6 9", "NO"}, +{"1 9 6 10", "NO"}, +{"1 9 6 11", "NO"}, +{"1 9 7 7", "NO"}, +{"1 9 7 8", "NO"}, +{"1 9 7 9", "NO"}, +{"1 9 7 10", "NO"}, +{"1 9 7 11", "NO"}, +{"1 9 8 8", "NO"}, +{"1 9 8 9", "NO"}, +{"1 9 8 10", "NO"}, +{"1 9 8 11", "NO"}, +{"1 9 9 9", "NO"}, +{"1 9 9 10", "NO"}, +{"1 9 9 11", "NO"}, +{"1 9 10 10", "NO"}, +{"1 9 10 11", "NO"}, +{"1 9 11 11", "NO"}, +{"1 10 1 10", "YES"}, +{"1 10 1 11", "NO"}, +{"1 10 2 2", "NO"}, +{"1 10 2 3", "NO"}, +{"1 10 2 4", "YES"}, +{"1 10 2 5", "YES"}, +{"1 10 2 6", "NO"}, +{"1 10 2 7", "NO"}, +{"1 10 2 8", "NO"}, +{"1 10 2 9", "NO"}, +{"1 10 2 10", "NO"}, +{"1 10 2 11", "NO"}, +{"1 10 3 3", "NO"}, +{"1 10 3 4", "NO"}, +{"1 10 3 5", "NO"}, +{"1 10 3 6", "NO"}, +{"1 10 3 7", "NO"}, +{"1 10 3 8", "NO"}, +{"1 10 3 9", "NO"}, +{"1 10 3 10", "NO"}, +{"1 10 3 11", "NO"}, +{"1 10 4 4", "YES"}, +{"1 10 4 5", "NO"}, +{"1 10 4 6", "NO"}, +{"1 10 4 7", "NO"}, +{"1 10 4 8", "YES"}, +{"1 10 4 9", "NO"}, +{"1 10 4 10", "NO"}, +{"1 10 4 11", "NO"}, +{"1 10 5 5", "NO"}, +{"1 10 5 6", "NO"}, +{"1 10 5 7", "NO"}, +{"1 10 5 8", "NO"}, +{"1 10 5 9", "NO"}, +{"1 10 5 10", "NO"}, +{"1 10 5 11", "NO"}, +{"1 10 6 6", "NO"}, +{"1 10 6 7", "NO"}, +{"1 10 6 8", "NO"}, +{"1 10 6 9", "NO"}, +{"1 10 6 10", "NO"}, +{"1 10 6 11", "NO"}, +{"1 10 7 7", "NO"}, +{"1 10 7 8", "NO"}, +{"1 10 7 9", "NO"}, +{"1 10 7 10", "NO"}, +{"1 10 7 11", "NO"}, +{"1 10 8 8", "NO"}, +{"1 10 8 9", "NO"}, +{"1 10 8 10", "NO"}, +{"1 10 8 11", "NO"}, +{"1 10 9 9", "NO"}, +{"1 10 9 10", "YES"}, +{"1 10 9 11", "NO"}, +{"1 10 10 10", "NO"}, +{"1 10 10 11", "YES"}, +{"1 10 11 11", "NO"}, +{"1 11 1 11", "YES"}, +{"1 11 2 2", "YES"}, +{"1 11 2 3", "NO"}, +{"1 11 2 4", "NO"}, +{"1 11 2 5", "NO"}, +{"1 11 2 6", "NO"}, +{"1 11 2 7", "NO"}, +{"1 11 2 8", "NO"}, +{"1 11 2 9", "NO"}, +{"1 11 2 10", "NO"}, +{"1 11 2 11", "NO"}, +{"1 11 3 3", "NO"}, +{"1 11 3 4", "NO"}, +{"1 11 3 5", "NO"}, +{"1 11 3 6", "NO"}, +{"1 11 3 7", "NO"}, +{"1 11 3 8", "NO"}, +{"1 11 3 9", "NO"}, +{"1 11 3 10", "NO"}, +{"1 11 3 11", "NO"}, +{"1 11 4 4", "NO"}, +{"1 11 4 5", "NO"}, +{"1 11 4 6", "NO"}, +{"1 11 4 7", "NO"}, +{"1 11 4 8", "NO"}, +{"1 11 4 9", "NO"}, +{"1 11 4 10", "NO"}, +{"1 11 4 11", "NO"}, +{"1 11 5 5", "NO"}, +{"1 11 5 6", "NO"}, +{"1 11 5 7", "NO"}, +{"1 11 5 8", "NO"}, +{"1 11 5 9", "NO"}, +{"1 11 5 10", "NO"}, +{"1 11 5 11", "NO"}, +{"1 11 6 6", "NO"}, +{"1 11 6 7", "NO"}, +{"1 11 6 8", "NO"}, +{"1 11 6 9", "NO"}, +{"1 11 6 10", "NO"}, +{"1 11 6 11", "NO"}, +{"1 11 7 7", "NO"}, +{"1 11 7 8", "NO"}, +{"1 11 7 9", "NO"}, +{"1 11 7 10", "NO"}, +{"1 11 7 11", "NO"}, +{"1 11 8 8", "NO"}, +{"1 11 8 9", "NO"}, +{"1 11 8 10", "NO"}, +{"1 11 8 11", "NO"}, +{"1 11 9 9", "NO"}, +{"1 11 9 10", "NO"}, +{"1 11 9 11", "NO"}, +{"1 11 10 10", "NO"}, +{"1 11 10 11", "NO"}, +{"1 11 11 11", "NO"}, +{"2 2 2 2", "YES"}, +{"2 2 2 3", "NO"}, +{"2 2 2 4", "NO"}, +{"2 2 2 5", "NO"}, +{"2 2 2 6", "NO"}, +{"2 2 2 7", "NO"}, +{"2 2 2 8", "NO"}, +{"2 2 2 9", "NO"}, +{"2 2 2 10", "YES"}, +{"2 2 2 11", "NO"}, +{"2 2 3 3", "NO"}, +{"2 2 3 4", "YES"}, +{"2 2 3 5", "NO"}, +{"2 2 3 6", "NO"}, +{"2 2 3 7", "NO"}, +{"2 2 3 8", "NO"}, +{"2 2 3 9", "NO"}, +{"2 2 3 10", "NO"}, +{"2 2 3 11", "NO"}, +{"2 2 4 4", "YES"}, +{"2 2 4 5", "NO"}, +{"2 2 4 6", "NO"}, +{"2 2 4 7", "NO"}, +{"2 2 4 8", "YES"}, +{"2 2 4 9", "NO"}, +{"2 2 4 10", "YES"}, +{"2 2 4 11", "NO"}, +{"2 2 5 5", "YES"}, +{"2 2 5 6", "NO"}, +{"2 2 5 7", "NO"}, +{"2 2 5 8", "NO"}, +{"2 2 5 9", "NO"}, +{"2 2 5 10", "NO"}, +{"2 2 5 11", "NO"}, +{"2 2 6 6", "YES"}, +{"2 2 6 7", "NO"}, +{"2 2 6 8", "NO"}, +{"2 2 6 9", "NO"}, +{"2 2 6 10", "NO"}, +{"2 2 6 11", "YES"}, +{"2 2 7 7", "YES"}, +{"2 2 7 8", "NO"}, +{"2 2 7 9", "NO"}, +{"2 2 7 10", "NO"}, +{"2 2 7 11", "NO"}, +{"2 2 8 8", "YES"}, +{"2 2 8 9", "NO"}, +{"2 2 8 10", "NO"}, +{"2 2 8 11", "NO"}, +{"2 2 9 9", "NO"}, +{"2 2 9 10", "NO"}, +{"2 2 9 11", "NO"}, +{"2 2 10 10", "YES"}, +{"2 2 10 11", "NO"}, +{"2 2 11 11", "YES"}, +{"2 3 2 3", "YES"}, +{"2 3 2 4", "YES"}, +{"2 3 2 5", "NO"}, +{"2 3 2 6", "YES"}, +{"2 3 2 7", "NO"}, +{"2 3 2 8", "NO"}, +{"2 3 2 9", "NO"}, +{"2 3 2 10", "NO"}, +{"2 3 2 11", "NO"}, +{"2 3 3 3", "NO"}, +{"2 3 3 4", "NO"}, +{"2 3 3 5", "NO"}, +{"2 3 3 6", "NO"}, +{"2 3 3 7", "NO"}, +{"2 3 3 8", "NO"}, +{"2 3 3 9", "NO"}, +{"2 3 3 10", "NO"}, +{"2 3 3 11", "NO"}, +{"2 3 4 4", "YES"}, +{"2 3 4 5", "YES"}, +{"2 3 4 6", "YES"}, +{"2 3 4 7", "YES"}, +{"2 3 4 8", "NO"}, +{"2 3 4 9", "NO"}, +{"2 3 4 10", "YES"}, +{"2 3 4 11", "YES"}, +{"2 3 5 5", "NO"}, +{"2 3 5 6", "NO"}, +{"2 3 5 7", "NO"}, +{"2 3 5 8", "NO"}, +{"2 3 5 9", "NO"}, +{"2 3 5 10", "NO"}, +{"2 3 5 11", "NO"}, +{"2 3 6 6", "NO"}, +{"2 3 6 7", "YES"}, +{"2 3 6 8", "YES"}, +{"2 3 6 9", "NO"}, +{"2 3 6 10", "NO"}, +{"2 3 6 11", "NO"}, +{"2 3 7 7", "NO"}, +{"2 3 7 8", "YES"}, +{"2 3 7 9", "NO"}, +{"2 3 7 10", "NO"}, +{"2 3 7 11", "YES"}, +{"2 3 8 8", "NO"}, +{"2 3 8 9", "NO"}, +{"2 3 8 10", "NO"}, +{"2 3 8 11", "YES"}, +{"2 3 9 9", "NO"}, +{"2 3 9 10", "NO"}, +{"2 3 9 11", "NO"}, +{"2 3 10 10", "YES"}, +{"2 3 10 11", "NO"}, +{"2 3 11 11", "NO"}, +{"2 4 2 4", "YES"}, +{"2 4 2 5", "NO"}, +{"2 4 2 6", "NO"}, +{"2 4 2 7", "YES"}, +{"2 4 2 8", "NO"}, +{"2 4 2 9", "NO"}, +{"2 4 2 10", "NO"}, +{"2 4 2 11", "NO"}, +{"2 4 3 3", "NO"}, +{"2 4 3 4", "YES"}, +{"2 4 3 5", "YES"}, +{"2 4 3 6", "YES"}, +{"2 4 3 7", "NO"}, +{"2 4 3 8", "NO"}, +{"2 4 3 9", "NO"}, +{"2 4 3 10", "YES"}, +{"2 4 3 11", "YES"}, +{"2 4 4 4", "YES"}, +{"2 4 4 5", "YES"}, +{"2 4 4 6", "YES"}, +{"2 4 4 7", "YES"}, +{"2 4 4 8", "YES"}, +{"2 4 4 9", "NO"}, +{"2 4 4 10", "YES"}, +{"2 4 4 11", "YES"}, +{"2 4 5 5", "NO"}, +{"2 4 5 6", "YES"}, +{"2 4 5 7", "NO"}, +{"2 4 5 8", "NO"}, +{"2 4 5 9", "NO"}, +{"2 4 5 10", "NO"}, +{"2 4 5 11", "YES"}, +{"2 4 6 6", "NO"}, +{"2 4 6 7", "YES"}, +{"2 4 6 8", "YES"}, +{"2 4 6 9", "NO"}, +{"2 4 6 10", "YES"}, +{"2 4 6 11", "NO"}, +{"2 4 7 7", "NO"}, +{"2 4 7 8", "NO"}, +{"2 4 7 9", "NO"}, +{"2 4 7 10", "YES"}, +{"2 4 7 11", "YES"}, +{"2 4 8 8", "NO"}, +{"2 4 8 9", "NO"}, +{"2 4 8 10", "YES"}, +{"2 4 8 11", "NO"}, +{"2 4 9 9", "NO"}, +{"2 4 9 10", "NO"}, +{"2 4 9 11", "NO"}, +{"2 4 10 10", "NO"}, +{"2 4 10 11", "YES"}, +{"2 4 11 11", "NO"}, +{"2 5 2 5", "YES"}, +{"2 5 2 6", "YES"}, +{"2 5 2 7", "YES"}, +{"2 5 2 8", "NO"}, +{"2 5 2 9", "NO"}, +{"2 5 2 10", "NO"}, +{"2 5 2 11", "YES"}, +{"2 5 3 3", "YES"}, +{"2 5 3 4", "YES"}, +{"2 5 3 5", "NO"}, +{"2 5 3 6", "NO"}, +{"2 5 3 7", "NO"}, +{"2 5 3 8", "NO"}, +{"2 5 3 9", "NO"}, +{"2 5 3 10", "NO"}, +{"2 5 3 11", "NO"}, +{"2 5 4 4", "NO"}, +{"2 5 4 5", "NO"}, +{"2 5 4 6", "YES"}, +{"2 5 4 7", "NO"}, +{"2 5 4 8", "NO"}, +{"2 5 4 9", "NO"}, +{"2 5 4 10", "NO"}, +{"2 5 4 11", "YES"}, +{"2 5 5 5", "NO"}, +{"2 5 5 6", "NO"}, +{"2 5 5 7", "NO"}, +{"2 5 5 8", "NO"}, +{"2 5 5 9", "NO"}, +{"2 5 5 10", "NO"}, +{"2 5 5 11", "NO"}, +{"2 5 6 6", "NO"}, +{"2 5 6 7", "NO"}, +{"2 5 6 8", "NO"}, +{"2 5 6 9", "NO"}, +{"2 5 6 10", "YES"}, +{"2 5 6 11", "NO"}, +{"2 5 7 7", "NO"}, +{"2 5 7 8", "NO"}, +{"2 5 7 9", "NO"}, +{"2 5 7 10", "NO"}, +{"2 5 7 11", "NO"}, +{"2 5 8 8", "NO"}, +{"2 5 8 9", "NO"}, +{"2 5 8 10", "NO"}, +{"2 5 8 11", "NO"}, +{"2 5 9 9", "NO"}, +{"2 5 9 10", "NO"}, +{"2 5 9 11", "NO"}, +{"2 5 10 10", "NO"}, +{"2 5 10 11", "YES"}, +{"2 5 11 11", "NO"}, +{"2 6 2 6", "YES"}, +{"2 6 2 7", "NO"}, +{"2 6 2 8", "NO"}, +{"2 6 2 9", "NO"}, +{"2 6 2 10", "NO"}, +{"2 6 2 11", "YES"}, +{"2 6 3 3", "NO"}, +{"2 6 3 4", "YES"}, +{"2 6 3 5", "NO"}, +{"2 6 3 6", "YES"}, +{"2 6 3 7", "YES"}, +{"2 6 3 8", "NO"}, +{"2 6 3 9", "NO"}, +{"2 6 3 10", "NO"}, +{"2 6 3 11", "NO"}, +{"2 6 4 4", "YES"}, +{"2 6 4 5", "NO"}, +{"2 6 4 6", "YES"}, +{"2 6 4 7", "YES"}, +{"2 6 4 8", "NO"}, +{"2 6 4 9", "NO"}, +{"2 6 4 10", "YES"}, +{"2 6 4 11", "NO"}, +{"2 6 5 5", "NO"}, +{"2 6 5 6", "NO"}, +{"2 6 5 7", "NO"}, +{"2 6 5 8", "NO"}, +{"2 6 5 9", "NO"}, +{"2 6 5 10", "YES"}, +{"2 6 5 11", "NO"}, +{"2 6 6 6", "NO"}, +{"2 6 6 7", "NO"}, +{"2 6 6 8", "NO"}, +{"2 6 6 9", "NO"}, +{"2 6 6 10", "NO"}, +{"2 6 6 11", "NO"}, +{"2 6 7 7", "NO"}, +{"2 6 7 8", "YES"}, +{"2 6 7 9", "NO"}, +{"2 6 7 10", "NO"}, +{"2 6 7 11", "NO"}, +{"2 6 8 8", "NO"}, +{"2 6 8 9", "NO"}, +{"2 6 8 10", "NO"}, +{"2 6 8 11", "NO"}, +{"2 6 9 9", "NO"}, +{"2 6 9 10", "NO"}, +{"2 6 9 11", "NO"}, +{"2 6 10 10", "NO"}, +{"2 6 10 11", "YES"}, +{"2 6 11 11", "NO"}, +{"2 7 2 7", "YES"}, +{"2 7 2 8", "YES"}, +{"2 7 2 9", "NO"}, +{"2 7 2 10", "NO"}, +{"2 7 2 11", "NO"}, +{"2 7 3 3", "NO"}, +{"2 7 3 4", "YES"}, +{"2 7 3 5", "NO"}, +{"2 7 3 6", "YES"}, +{"2 7 3 7", "NO"}, +{"2 7 3 8", "NO"}, +{"2 7 3 9", "NO"}, +{"2 7 3 10", "NO"}, +{"2 7 3 11", "YES"}, +{"2 7 4 4", "NO"}, +{"2 7 4 5", "NO"}, +{"2 7 4 6", "YES"}, +{"2 7 4 7", "NO"}, +{"2 7 4 8", "NO"}, +{"2 7 4 9", "NO"}, +{"2 7 4 10", "YES"}, +{"2 7 4 11", "YES"}, +{"2 7 5 5", "NO"}, +{"2 7 5 6", "NO"}, +{"2 7 5 7", "NO"}, +{"2 7 5 8", "NO"}, +{"2 7 5 9", "NO"}, +{"2 7 5 10", "NO"}, +{"2 7 5 11", "NO"}, +{"2 7 6 6", "NO"}, +{"2 7 6 7", "NO"}, +{"2 7 6 8", "NO"}, +{"2 7 6 9", "NO"}, +{"2 7 6 10", "YES"}, +{"2 7 6 11", "NO"}, +{"2 7 7 7", "NO"}, +{"2 7 7 8", "NO"}, +{"2 7 7 9", "NO"}, +{"2 7 7 10", "NO"}, +{"2 7 7 11", "NO"}, +{"2 7 8 8", "NO"}, +{"2 7 8 9", "NO"}, +{"2 7 8 10", "NO"}, +{"2 7 8 11", "NO"}, +{"2 7 9 9", "NO"}, +{"2 7 9 10", "NO"}, +{"2 7 9 11", "NO"}, +{"2 7 10 10", "NO"}, +{"2 7 10 11", "NO"}, +{"2 7 11 11", "NO"}, +{"2 8 2 8", "YES"}, +{"2 8 2 9", "NO"}, +{"2 8 2 10", "NO"}, +{"2 8 2 11", "NO"}, +{"2 8 3 3", "NO"}, +{"2 8 3 4", "NO"}, +{"2 8 3 5", "NO"}, +{"2 8 3 6", "YES"}, +{"2 8 3 7", "NO"}, +{"2 8 3 8", "NO"}, +{"2 8 3 9", "NO"}, +{"2 8 3 10", "NO"}, +{"2 8 3 11", "YES"}, +{"2 8 4 4", "NO"}, +{"2 8 4 5", "NO"}, +{"2 8 4 6", "NO"}, +{"2 8 4 7", "NO"}, +{"2 8 4 8", "NO"}, +{"2 8 4 9", "NO"}, +{"2 8 4 10", "YES"}, +{"2 8 4 11", "NO"}, +{"2 8 5 5", "NO"}, +{"2 8 5 6", "NO"}, +{"2 8 5 7", "NO"}, +{"2 8 5 8", "NO"}, +{"2 8 5 9", "NO"}, +{"2 8 5 10", "NO"}, +{"2 8 5 11", "NO"}, +{"2 8 6 6", "NO"}, +{"2 8 6 7", "NO"}, +{"2 8 6 8", "NO"}, +{"2 8 6 9", "NO"}, +{"2 8 6 10", "NO"}, +{"2 8 6 11", "NO"}, +{"2 8 7 7", "NO"}, +{"2 8 7 8", "NO"}, +{"2 8 7 9", "NO"}, +{"2 8 7 10", "NO"}, +{"2 8 7 11", "NO"}, +{"2 8 8 8", "NO"}, +{"2 8 8 9", "NO"}, +{"2 8 8 10", "NO"}, +{"2 8 8 11", "NO"}, +{"2 8 9 9", "NO"}, +{"2 8 9 10", "NO"}, +{"2 8 9 11", "NO"}, +{"2 8 10 10", "NO"}, +{"2 8 10 11", "NO"}, +{"2 8 11 11", "NO"}, +{"2 9 2 9", "YES"}, +{"2 9 2 10", "NO"}, +{"2 9 2 11", "NO"}, +{"2 9 3 3", "NO"}, +{"2 9 3 4", "NO"}, +{"2 9 3 5", "NO"}, +{"2 9 3 6", "NO"}, +{"2 9 3 7", "NO"}, +{"2 9 3 8", "NO"}, +{"2 9 3 9", "NO"}, +{"2 9 3 10", "NO"}, +{"2 9 3 11", "NO"}, +{"2 9 4 4", "NO"}, +{"2 9 4 5", "NO"}, +{"2 9 4 6", "NO"}, +{"2 9 4 7", "NO"}, +{"2 9 4 8", "NO"}, +{"2 9 4 9", "NO"}, +{"2 9 4 10", "NO"}, +{"2 9 4 11", "NO"}, +{"2 9 5 5", "NO"}, +{"2 9 5 6", "NO"}, +{"2 9 5 7", "NO"}, +{"2 9 5 8", "NO"}, +{"2 9 5 9", "NO"}, +{"2 9 5 10", "NO"}, +{"2 9 5 11", "NO"}, +{"2 9 6 6", "NO"}, +{"2 9 6 7", "NO"}, +{"2 9 6 8", "NO"}, +{"2 9 6 9", "NO"}, +{"2 9 6 10", "NO"}, +{"2 9 6 11", "NO"}, +{"2 9 7 7", "NO"}, +{"2 9 7 8", "NO"}, +{"2 9 7 9", "NO"}, +{"2 9 7 10", "NO"}, +{"2 9 7 11", "NO"}, +{"2 9 8 8", "NO"}, +{"2 9 8 9", "NO"}, +{"2 9 8 10", "NO"}, +{"2 9 8 11", "NO"}, +{"2 9 9 9", "NO"}, +{"2 9 9 10", "NO"}, +{"2 9 9 11", "NO"}, +{"2 9 10 10", "NO"}, +{"2 9 10 11", "NO"}, +{"2 9 11 11", "NO"}, +{"2 10 2 10", "YES"}, +{"2 10 2 11", "NO"}, +{"2 10 3 3", "NO"}, +{"2 10 3 4", "YES"}, +{"2 10 3 5", "NO"}, +{"2 10 3 6", "NO"}, +{"2 10 3 7", "NO"}, +{"2 10 3 8", "YES"}, +{"2 10 3 9", "NO"}, +{"2 10 3 10", "YES"}, +{"2 10 3 11", "YES"}, +{"2 10 4 4", "YES"}, +{"2 10 4 5", "NO"}, +{"2 10 4 6", "YES"}, +{"2 10 4 7", "NO"}, +{"2 10 4 8", "NO"}, +{"2 10 4 9", "YES"}, +{"2 10 4 10", "YES"}, +{"2 10 4 11", "YES"}, +{"2 10 5 5", "NO"}, +{"2 10 5 6", "YES"}, +{"2 10 5 7", "NO"}, +{"2 10 5 8", "NO"}, +{"2 10 5 9", "NO"}, +{"2 10 5 10", "NO"}, +{"2 10 5 11", "YES"}, +{"2 10 6 6", "YES"}, +{"2 10 6 7", "NO"}, +{"2 10 6 8", "NO"}, +{"2 10 6 9", "NO"}, +{"2 10 6 10", "NO"}, +{"2 10 6 11", "NO"}, +{"2 10 7 7", "NO"}, +{"2 10 7 8", "NO"}, +{"2 10 7 9", "NO"}, +{"2 10 7 10", "NO"}, +{"2 10 7 11", "NO"}, +{"2 10 8 8", "NO"}, +{"2 10 8 9", "NO"}, +{"2 10 8 10", "NO"}, +{"2 10 8 11", "NO"}, +{"2 10 9 9", "NO"}, +{"2 10 9 10", "NO"}, +{"2 10 9 11", "NO"}, +{"2 10 10 10", "YES"}, +{"2 10 10 11", "NO"}, +{"2 10 11 11", "NO"}, +{"2 11 2 11", "YES"}, +{"2 11 3 3", "NO"}, +{"2 11 3 4", "NO"}, +{"2 11 3 5", "NO"}, +{"2 11 3 6", "NO"}, +{"2 11 3 7", "YES"}, +{"2 11 3 8", "NO"}, +{"2 11 3 9", "NO"}, +{"2 11 3 10", "NO"}, +{"2 11 3 11", "NO"}, +{"2 11 4 4", "NO"}, +{"2 11 4 5", "NO"}, +{"2 11 4 6", "NO"}, +{"2 11 4 7", "YES"}, +{"2 11 4 8", "NO"}, +{"2 11 4 9", "NO"}, +{"2 11 4 10", "NO"}, +{"2 11 4 11", "NO"}, +{"2 11 5 5", "NO"}, +{"2 11 5 6", "NO"}, +{"2 11 5 7", "NO"}, +{"2 11 5 8", "NO"}, +{"2 11 5 9", "NO"}, +{"2 11 5 10", "YES"}, +{"2 11 5 11", "NO"}, +{"2 11 6 6", "NO"}, +{"2 11 6 7", "NO"}, +{"2 11 6 8", "NO"}, +{"2 11 6 9", "NO"}, +{"2 11 6 10", "YES"}, +{"2 11 6 11", "NO"}, +{"2 11 7 7", "NO"}, +{"2 11 7 8", "NO"}, +{"2 11 7 9", "NO"}, +{"2 11 7 10", "NO"}, +{"2 11 7 11", "NO"}, +{"2 11 8 8", "NO"}, +{"2 11 8 9", "NO"}, +{"2 11 8 10", "NO"}, +{"2 11 8 11", "NO"}, +{"2 11 9 9", "NO"}, +{"2 11 9 10", "NO"}, +{"2 11 9 11", "NO"}, +{"2 11 10 10", "NO"}, +{"2 11 10 11", "NO"}, +{"2 11 11 11", "NO"}, +{"3 3 3 3", "YES"}, +{"3 3 3 4", "YES"}, +{"3 3 3 5", "NO"}, +{"3 3 3 6", "NO"}, +{"3 3 3 7", "NO"}, +{"3 3 3 8", "NO"}, +{"3 3 3 9", "NO"}, +{"3 3 3 10", "NO"}, +{"3 3 3 11", "NO"}, +{"3 3 4 4", "YES"}, +{"3 3 4 5", "NO"}, +{"3 3 4 6", "NO"}, +{"3 3 4 7", "YES"}, +{"3 3 4 8", "YES"}, +{"3 3 4 9", "NO"}, +{"3 3 4 10", "NO"}, +{"3 3 4 11", "NO"}, +{"3 3 5 5", "YES"}, +{"3 3 5 6", "NO"}, +{"3 3 5 7", "NO"}, +{"3 3 5 8", "NO"}, +{"3 3 5 9", "NO"}, +{"3 3 5 10", "NO"}, +{"3 3 5 11", "NO"}, +{"3 3 6 6", "YES"}, +{"3 3 6 7", "NO"}, +{"3 3 6 8", "NO"}, +{"3 3 6 9", "NO"}, +{"3 3 6 10", "NO"}, +{"3 3 6 11", "NO"}, +{"3 3 7 7", "YES"}, +{"3 3 7 8", "YES"}, +{"3 3 7 9", "NO"}, +{"3 3 7 10", "NO"}, +{"3 3 7 11", "NO"}, +{"3 3 8 8", "YES"}, +{"3 3 8 9", "NO"}, +{"3 3 8 10", "NO"}, +{"3 3 8 11", "NO"}, +{"3 3 9 9", "NO"}, +{"3 3 9 10", "NO"}, +{"3 3 9 11", "NO"}, +{"3 3 10 10", "YES"}, +{"3 3 10 11", "NO"}, +{"3 3 11 11", "YES"}, +{"3 4 3 4", "YES"}, +{"3 4 3 5", "NO"}, +{"3 4 3 6", "NO"}, +{"3 4 3 7", "YES"}, +{"3 4 3 8", "YES"}, +{"3 4 3 9", "NO"}, +{"3 4 3 10", "NO"}, +{"3 4 3 11", "NO"}, +{"3 4 4 4", "YES"}, +{"3 4 4 5", "YES"}, +{"3 4 4 6", "NO"}, +{"3 4 4 7", "YES"}, +{"3 4 4 8", "YES"}, +{"3 4 4 9", "NO"}, +{"3 4 4 10", "YES"}, +{"3 4 4 11", "NO"}, +{"3 4 5 5", "NO"}, +{"3 4 5 6", "NO"}, +{"3 4 5 7", "YES"}, +{"3 4 5 8", "YES"}, +{"3 4 5 9", "NO"}, +{"3 4 5 10", "NO"}, +{"3 4 5 11", "YES"}, +{"3 4 6 6", "NO"}, +{"3 4 6 7", "NO"}, +{"3 4 6 8", "NO"}, +{"3 4 6 9", "YES"}, +{"3 4 6 10", "YES"}, +{"3 4 6 11", "YES"}, +{"3 4 7 7", "YES"}, +{"3 4 7 8", "YES"}, +{"3 4 7 9", "NO"}, +{"3 4 7 10", "YES"}, +{"3 4 7 11", "NO"}, +{"3 4 8 8", "NO"}, +{"3 4 8 9", "NO"}, +{"3 4 8 10", "YES"}, +{"3 4 8 11", "NO"}, +{"3 4 9 9", "NO"}, +{"3 4 9 10", "NO"}, +{"3 4 9 11", "NO"}, +{"3 4 10 10", "NO"}, +{"3 4 10 11", "NO"}, +{"3 4 11 11", "NO"}, +{"3 5 3 5", "YES"}, +{"3 5 3 6", "NO"}, +{"3 5 3 7", "NO"}, +{"3 5 3 8", "NO"}, +{"3 5 3 9", "NO"}, +{"3 5 3 10", "NO"}, +{"3 5 3 11", "NO"}, +{"3 5 4 4", "YES"}, +{"3 5 4 5", "NO"}, +{"3 5 4 6", "NO"}, +{"3 5 4 7", "YES"}, +{"3 5 4 8", "YES"}, +{"3 5 4 9", "NO"}, +{"3 5 4 10", "YES"}, +{"3 5 4 11", "YES"}, +{"3 5 5 5", "NO"}, +{"3 5 5 6", "NO"}, +{"3 5 5 7", "NO"}, +{"3 5 5 8", "NO"}, +{"3 5 5 9", "NO"}, +{"3 5 5 10", "NO"}, +{"3 5 5 11", "NO"}, +{"3 5 6 6", "NO"}, +{"3 5 6 7", "NO"}, +{"3 5 6 8", "NO"}, +{"3 5 6 9", "NO"}, +{"3 5 6 10", "NO"}, +{"3 5 6 11", "NO"}, +{"3 5 7 7", "NO"}, +{"3 5 7 8", "NO"}, +{"3 5 7 9", "NO"}, +{"3 5 7 10", "YES"}, +{"3 5 7 11", "NO"}, +{"3 5 8 8", "NO"}, +{"3 5 8 9", "NO"}, +{"3 5 8 10", "YES"}, +{"3 5 8 11", "NO"}, +{"3 5 9 9", "NO"}, +{"3 5 9 10", "NO"}, +{"3 5 9 11", "NO"}, +{"3 5 10 10", "NO"}, +{"3 5 10 11", "NO"}, +{"3 5 11 11", "NO"}, +{"3 6 3 6", "YES"}, +{"3 6 3 7", "NO"}, +{"3 6 3 8", "NO"}, +{"3 6 3 9", "NO"}, +{"3 6 3 10", "NO"}, +{"3 6 3 11", "NO"}, +{"3 6 4 4", "NO"}, +{"3 6 4 5", "NO"}, +{"3 6 4 6", "NO"}, +{"3 6 4 7", "NO"}, +{"3 6 4 8", "NO"}, +{"3 6 4 9", "NO"}, +{"3 6 4 10", "YES"}, +{"3 6 4 11", "NO"}, +{"3 6 5 5", "NO"}, +{"3 6 5 6", "NO"}, +{"3 6 5 7", "NO"}, +{"3 6 5 8", "NO"}, +{"3 6 5 9", "NO"}, +{"3 6 5 10", "NO"}, +{"3 6 5 11", "NO"}, +{"3 6 6 6", "NO"}, +{"3 6 6 7", "NO"}, +{"3 6 6 8", "NO"}, +{"3 6 6 9", "NO"}, +{"3 6 6 10", "NO"}, +{"3 6 6 11", "NO"}, +{"3 6 7 7", "NO"}, +{"3 6 7 8", "NO"}, +{"3 6 7 9", "NO"}, +{"3 6 7 10", "NO"}, +{"3 6 7 11", "NO"}, +{"3 6 8 8", "NO"}, +{"3 6 8 9", "NO"}, +{"3 6 8 10", "NO"}, +{"3 6 8 11", "NO"}, +{"3 6 9 9", "NO"}, +{"3 6 9 10", "NO"}, +{"3 6 9 11", "NO"}, +{"3 6 10 10", "NO"}, +{"3 6 10 11", "NO"}, +{"3 6 11 11", "NO"}, +{"3 7 3 7", "YES"}, +{"3 7 3 8", "YES"}, +{"3 7 3 9", "NO"}, +{"3 7 3 10", "NO"}, +{"3 7 3 11", "NO"}, +{"3 7 4 4", "YES"}, +{"3 7 4 5", "NO"}, +{"3 7 4 6", "NO"}, +{"3 7 4 7", "YES"}, +{"3 7 4 8", "YES"}, +{"3 7 4 9", "NO"}, +{"3 7 4 10", "NO"}, +{"3 7 4 11", "NO"}, +{"3 7 5 5", "NO"}, +{"3 7 5 6", "YES"}, +{"3 7 5 7", "NO"}, +{"3 7 5 8", "NO"}, +{"3 7 5 9", "NO"}, +{"3 7 5 10", "YES"}, +{"3 7 5 11", "NO"}, +{"3 7 6 6", "NO"}, +{"3 7 6 7", "NO"}, +{"3 7 6 8", "NO"}, +{"3 7 6 9", "NO"}, +{"3 7 6 10", "NO"}, +{"3 7 6 11", "NO"}, +{"3 7 7 7", "NO"}, +{"3 7 7 8", "NO"}, +{"3 7 7 9", "NO"}, +{"3 7 7 10", "NO"}, +{"3 7 7 11", "NO"}, +{"3 7 8 8", "NO"}, +{"3 7 8 9", "NO"}, +{"3 7 8 10", "NO"}, +{"3 7 8 11", "NO"}, +{"3 7 9 9", "NO"}, +{"3 7 9 10", "NO"}, +{"3 7 9 11", "NO"}, +{"3 7 10 10", "NO"}, +{"3 7 10 11", "NO"}, +{"3 7 11 11", "NO"}, +{"3 8 3 8", "YES"}, +{"3 8 3 9", "NO"}, +{"3 8 3 10", "NO"}, +{"3 8 3 11", "NO"}, +{"3 8 4 4", "NO"}, +{"3 8 4 5", "YES"}, +{"3 8 4 6", "NO"}, +{"3 8 4 7", "NO"}, +{"3 8 4 8", "NO"}, +{"3 8 4 9", "NO"}, +{"3 8 4 10", "YES"}, +{"3 8 4 11", "NO"}, +{"3 8 5 5", "NO"}, +{"3 8 5 6", "YES"}, +{"3 8 5 7", "NO"}, +{"3 8 5 8", "NO"}, +{"3 8 5 9", "NO"}, +{"3 8 5 10", "NO"}, +{"3 8 5 11", "NO"}, +{"3 8 6 6", "NO"}, +{"3 8 6 7", "NO"}, +{"3 8 6 8", "NO"}, +{"3 8 6 9", "NO"}, +{"3 8 6 10", "NO"}, +{"3 8 6 11", "NO"}, +{"3 8 7 7", "NO"}, +{"3 8 7 8", "NO"}, +{"3 8 7 9", "NO"}, +{"3 8 7 10", "NO"}, +{"3 8 7 11", "NO"}, +{"3 8 8 8", "NO"}, +{"3 8 8 9", "NO"}, +{"3 8 8 10", "NO"}, +{"3 8 8 11", "NO"}, +{"3 8 9 9", "NO"}, +{"3 8 9 10", "NO"}, +{"3 8 9 11", "NO"}, +{"3 8 10 10", "NO"}, +{"3 8 10 11", "NO"}, +{"3 8 11 11", "NO"}, +{"3 9 3 9", "YES"}, +{"3 9 3 10", "NO"}, +{"3 9 3 11", "NO"}, +{"3 9 4 4", "NO"}, +{"3 9 4 5", "NO"}, +{"3 9 4 6", "NO"}, +{"3 9 4 7", "NO"}, +{"3 9 4 8", "NO"}, +{"3 9 4 9", "NO"}, +{"3 9 4 10", "NO"}, +{"3 9 4 11", "NO"}, +{"3 9 5 5", "NO"}, +{"3 9 5 6", "NO"}, +{"3 9 5 7", "NO"}, +{"3 9 5 8", "NO"}, +{"3 9 5 9", "NO"}, +{"3 9 5 10", "YES"}, +{"3 9 5 11", "NO"}, +{"3 9 6 6", "NO"}, +{"3 9 6 7", "NO"}, +{"3 9 6 8", "NO"}, +{"3 9 6 9", "NO"}, +{"3 9 6 10", "NO"}, +{"3 9 6 11", "NO"}, +{"3 9 7 7", "NO"}, +{"3 9 7 8", "NO"}, +{"3 9 7 9", "NO"}, +{"3 9 7 10", "NO"}, +{"3 9 7 11", "NO"}, +{"3 9 8 8", "NO"}, +{"3 9 8 9", "NO"}, +{"3 9 8 10", "NO"}, +{"3 9 8 11", "NO"}, +{"3 9 9 9", "NO"}, +{"3 9 9 10", "NO"}, +{"3 9 9 11", "NO"}, +{"3 9 10 10", "NO"}, +{"3 9 10 11", "NO"}, +{"3 9 11 11", "NO"}, +{"3 10 3 10", "YES"}, +{"3 10 3 11", "NO"}, +{"3 10 4 4", "YES"}, +{"3 10 4 5", "YES"}, +{"3 10 4 6", "YES"}, +{"3 10 4 7", "YES"}, +{"3 10 4 8", "YES"}, +{"3 10 4 9", "NO"}, +{"3 10 4 10", "NO"}, +{"3 10 4 11", "YES"}, +{"3 10 5 5", "NO"}, +{"3 10 5 6", "NO"}, +{"3 10 5 7", "YES"}, +{"3 10 5 8", "YES"}, +{"3 10 5 9", "NO"}, +{"3 10 5 10", "NO"}, +{"3 10 5 11", "NO"}, +{"3 10 6 6", "NO"}, +{"3 10 6 7", "NO"}, +{"3 10 6 8", "NO"}, +{"3 10 6 9", "NO"}, +{"3 10 6 10", "NO"}, +{"3 10 6 11", "NO"}, +{"3 10 7 7", "NO"}, +{"3 10 7 8", "NO"}, +{"3 10 7 9", "NO"}, +{"3 10 7 10", "NO"}, +{"3 10 7 11", "NO"}, +{"3 10 8 8", "NO"}, +{"3 10 8 9", "NO"}, +{"3 10 8 10", "NO"}, +{"3 10 8 11", "NO"}, +{"3 10 9 9", "NO"}, +{"3 10 9 10", "NO"}, +{"3 10 9 11", "NO"}, +{"3 10 10 10", "YES"}, +{"3 10 10 11", "NO"}, +{"3 10 11 11", "NO"}, +{"3 11 3 11", "YES"}, +{"3 11 4 4", "NO"}, +{"3 11 4 5", "YES"}, +{"3 11 4 6", "NO"}, +{"3 11 4 7", "NO"}, +{"3 11 4 8", "NO"}, +{"3 11 4 9", "NO"}, +{"3 11 4 10", "NO"}, +{"3 11 4 11", "NO"}, +{"3 11 5 5", "NO"}, +{"3 11 5 6", "YES"}, +{"3 11 5 7", "NO"}, +{"3 11 5 8", "NO"}, +{"3 11 5 9", "NO"}, +{"3 11 5 10", "NO"}, +{"3 11 5 11", "NO"}, +{"3 11 6 6", "NO"}, +{"3 11 6 7", "NO"}, +{"3 11 6 8", "NO"}, +{"3 11 6 9", "NO"}, +{"3 11 6 10", "YES"}, +{"3 11 6 11", "NO"}, +{"3 11 7 7", "NO"}, +{"3 11 7 8", "NO"}, +{"3 11 7 9", "NO"}, +{"3 11 7 10", "NO"}, +{"3 11 7 11", "NO"}, +{"3 11 8 8", "NO"}, +{"3 11 8 9", "NO"}, +{"3 11 8 10", "NO"}, +{"3 11 8 11", "NO"}, +{"3 11 9 9", "NO"}, +{"3 11 9 10", "NO"}, +{"3 11 9 11", "NO"}, +{"3 11 10 10", "NO"}, +{"3 11 10 11", "NO"}, +{"3 11 11 11", "NO"}, +{"4 4 4 4", "YES"}, +{"4 4 4 5", "YES"}, +{"4 4 4 6", "YES"}, +{"4 4 4 7", "YES"}, +{"4 4 4 8", "YES"}, +{"4 4 4 9", "NO"}, +{"4 4 4 10", "YES"}, +{"4 4 4 11", "NO"}, +{"4 4 5 5", "YES"}, +{"4 4 5 6", "NO"}, +{"4 4 5 7", "YES"}, +{"4 4 5 8", "NO"}, +{"4 4 5 9", "NO"}, +{"4 4 5 10", "YES"}, +{"4 4 5 11", "NO"}, +{"4 4 6 6", "YES"}, +{"4 4 6 7", "NO"}, +{"4 4 6 8", "NO"}, +{"4 4 6 9", "NO"}, +{"4 4 6 10", "NO"}, +{"4 4 6 11", "NO"}, +{"4 4 7 7", "YES"}, +{"4 4 7 8", "NO"}, +{"4 4 7 9", "NO"}, +{"4 4 7 10", "YES"}, +{"4 4 7 11", "YES"}, +{"4 4 8 8", "YES"}, +{"4 4 8 9", "NO"}, +{"4 4 8 10", "NO"}, +{"4 4 8 11", "NO"}, +{"4 4 9 9", "NO"}, +{"4 4 9 10", "NO"}, +{"4 4 9 11", "NO"}, +{"4 4 10 10", "YES"}, +{"4 4 10 11", "NO"}, +{"4 4 11 11", "YES"}, +{"4 5 4 5", "YES"}, +{"4 5 4 6", "NO"}, +{"4 5 4 7", "YES"}, +{"4 5 4 8", "NO"}, +{"4 5 4 9", "NO"}, +{"4 5 4 10", "YES"}, +{"4 5 4 11", "YES"}, +{"4 5 5 5", "NO"}, +{"4 5 5 6", "NO"}, +{"4 5 5 7", "NO"}, +{"4 5 5 8", "NO"}, +{"4 5 5 9", "NO"}, +{"4 5 5 10", "YES"}, +{"4 5 5 11", "NO"}, +{"4 5 6 6", "NO"}, +{"4 5 6 7", "NO"}, +{"4 5 6 8", "NO"}, +{"4 5 6 9", "NO"}, +{"4 5 6 10", "YES"}, +{"4 5 6 11", "NO"}, +{"4 5 7 7", "NO"}, +{"4 5 7 8", "NO"}, +{"4 5 7 9", "NO"}, +{"4 5 7 10", "YES"}, +{"4 5 7 11", "NO"}, +{"4 5 8 8", "NO"}, +{"4 5 8 9", "NO"}, +{"4 5 8 10", "NO"}, +{"4 5 8 11", "YES"}, +{"4 5 9 9", "NO"}, +{"4 5 9 10", "NO"}, +{"4 5 9 11", "NO"}, +{"4 5 10 10", "YES"}, +{"4 5 10 11", "NO"}, +{"4 5 11 11", "NO"}, +{"4 6 4 6", "YES"}, +{"4 6 4 7", "YES"}, +{"4 6 4 8", "NO"}, +{"4 6 4 9", "NO"}, +{"4 6 4 10", "NO"}, +{"4 6 4 11", "NO"}, +{"4 6 5 5", "NO"}, +{"4 6 5 6", "NO"}, +{"4 6 5 7", "NO"}, +{"4 6 5 8", "NO"}, +{"4 6 5 9", "NO"}, +{"4 6 5 10", "NO"}, +{"4 6 5 11", "NO"}, +{"4 6 6 6", "NO"}, +{"4 6 6 7", "NO"}, +{"4 6 6 8", "NO"}, +{"4 6 6 9", "NO"}, +{"4 6 6 10", "NO"}, +{"4 6 6 11", "NO"}, +{"4 6 7 7", "NO"}, +{"4 6 7 8", "YES"}, +{"4 6 7 9", "NO"}, +{"4 6 7 10", "NO"}, +{"4 6 7 11", "YES"}, +{"4 6 8 8", "NO"}, +{"4 6 8 9", "NO"}, +{"4 6 8 10", "NO"}, +{"4 6 8 11", "NO"}, +{"4 6 9 9", "NO"}, +{"4 6 9 10", "NO"}, +{"4 6 9 11", "NO"}, +{"4 6 10 10", "NO"}, +{"4 6 10 11", "NO"}, +{"4 6 11 11", "NO"}, +{"4 7 4 7", "YES"}, +{"4 7 4 8", "NO"}, +{"4 7 4 9", "NO"}, +{"4 7 4 10", "YES"}, +{"4 7 4 11", "YES"}, +{"4 7 5 5", "NO"}, +{"4 7 5 6", "NO"}, +{"4 7 5 7", "NO"}, +{"4 7 5 8", "NO"}, +{"4 7 5 9", "NO"}, +{"4 7 5 10", "NO"}, +{"4 7 5 11", "NO"}, +{"4 7 6 6", "NO"}, +{"4 7 6 7", "NO"}, +{"4 7 6 8", "NO"}, +{"4 7 6 9", "YES"}, +{"4 7 6 10", "YES"}, +{"4 7 6 11", "NO"}, +{"4 7 7 7", "NO"}, +{"4 7 7 8", "YES"}, +{"4 7 7 9", "NO"}, +{"4 7 7 10", "NO"}, +{"4 7 7 11", "NO"}, +{"4 7 8 8", "NO"}, +{"4 7 8 9", "NO"}, +{"4 7 8 10", "YES"}, +{"4 7 8 11", "NO"}, +{"4 7 9 9", "NO"}, +{"4 7 9 10", "NO"}, +{"4 7 9 11", "NO"}, +{"4 7 10 10", "NO"}, +{"4 7 10 11", "NO"}, +{"4 7 11 11", "NO"}, +{"4 8 4 8", "YES"}, +{"4 8 4 9", "NO"}, +{"4 8 4 10", "NO"}, +{"4 8 4 11", "NO"}, +{"4 8 5 5", "NO"}, +{"4 8 5 6", "NO"}, +{"4 8 5 7", "NO"}, +{"4 8 5 8", "NO"}, +{"4 8 5 9", "NO"}, +{"4 8 5 10", "NO"}, +{"4 8 5 11", "NO"}, +{"4 8 6 6", "NO"}, +{"4 8 6 7", "YES"}, +{"4 8 6 8", "NO"}, +{"4 8 6 9", "NO"}, +{"4 8 6 10", "NO"}, +{"4 8 6 11", "NO"}, +{"4 8 7 7", "NO"}, +{"4 8 7 8", "NO"}, +{"4 8 7 9", "NO"}, +{"4 8 7 10", "NO"}, +{"4 8 7 11", "NO"}, +{"4 8 8 8", "NO"}, +{"4 8 8 9", "NO"}, +{"4 8 8 10", "NO"}, +{"4 8 8 11", "NO"}, +{"4 8 9 9", "NO"}, +{"4 8 9 10", "NO"}, +{"4 8 9 11", "NO"}, +{"4 8 10 10", "NO"}, +{"4 8 10 11", "YES"}, +{"4 8 11 11", "NO"}, +{"4 9 4 9", "YES"}, +{"4 9 4 10", "YES"}, +{"4 9 4 11", "NO"}, +{"4 9 5 5", "NO"}, +{"4 9 5 6", "NO"}, +{"4 9 5 7", "NO"}, +{"4 9 5 8", "NO"}, +{"4 9 5 9", "NO"}, +{"4 9 5 10", "NO"}, +{"4 9 5 11", "NO"}, +{"4 9 6 6", "NO"}, +{"4 9 6 7", "NO"}, +{"4 9 6 8", "NO"}, +{"4 9 6 9", "NO"}, +{"4 9 6 10", "NO"}, +{"4 9 6 11", "NO"}, +{"4 9 7 7", "NO"}, +{"4 9 7 8", "NO"}, +{"4 9 7 9", "NO"}, +{"4 9 7 10", "NO"}, +{"4 9 7 11", "NO"}, +{"4 9 8 8", "NO"}, +{"4 9 8 9", "NO"}, +{"4 9 8 10", "NO"}, +{"4 9 8 11", "NO"}, +{"4 9 9 9", "NO"}, +{"4 9 9 10", "NO"}, +{"4 9 9 11", "NO"}, +{"4 9 10 10", "NO"}, +{"4 9 10 11", "NO"}, +{"4 9 11 11", "NO"}, +{"4 10 4 10", "YES"}, +{"4 10 4 11", "YES"}, +{"4 10 5 5", "YES"}, +{"4 10 5 6", "NO"}, +{"4 10 5 7", "YES"}, +{"4 10 5 8", "NO"}, +{"4 10 5 9", "NO"}, +{"4 10 5 10", "YES"}, +{"4 10 5 11", "NO"}, +{"4 10 6 6", "NO"}, +{"4 10 6 7", "NO"}, +{"4 10 6 8", "NO"}, +{"4 10 6 9", "NO"}, +{"4 10 6 10", "YES"}, +{"4 10 6 11", "NO"}, +{"4 10 7 7", "NO"}, +{"4 10 7 8", "NO"}, +{"4 10 7 9", "NO"}, +{"4 10 7 10", "NO"}, +{"4 10 7 11", "NO"}, +{"4 10 8 8", "NO"}, +{"4 10 8 9", "YES"}, +{"4 10 8 10", "NO"}, +{"4 10 8 11", "YES"}, +{"4 10 9 9", "NO"}, +{"4 10 9 10", "NO"}, +{"4 10 9 11", "NO"}, +{"4 10 10 10", "NO"}, +{"4 10 10 11", "NO"}, +{"4 10 11 11", "NO"}, +{"4 11 4 11", "YES"}, +{"4 11 5 5", "NO"}, +{"4 11 5 6", "NO"}, +{"4 11 5 7", "NO"}, +{"4 11 5 8", "YES"}, +{"4 11 5 9", "NO"}, +{"4 11 5 10", "NO"}, +{"4 11 5 11", "NO"}, +{"4 11 6 6", "NO"}, +{"4 11 6 7", "NO"}, +{"4 11 6 8", "NO"}, +{"4 11 6 9", "NO"}, +{"4 11 6 10", "YES"}, +{"4 11 6 11", "NO"}, +{"4 11 7 7", "NO"}, +{"4 11 7 8", "NO"}, +{"4 11 7 9", "NO"}, +{"4 11 7 10", "NO"}, +{"4 11 7 11", "NO"}, +{"4 11 8 8", "NO"}, +{"4 11 8 9", "NO"}, +{"4 11 8 10", "NO"}, +{"4 11 8 11", "NO"}, +{"4 11 9 9", "NO"}, +{"4 11 9 10", "NO"}, +{"4 11 9 11", "NO"}, +{"4 11 10 10", "NO"}, +{"4 11 10 11", "NO"}, +{"4 11 11 11", "NO"}, +{"5 5 5 5", "YES"}, +{"5 5 5 6", "NO"}, +{"5 5 5 7", "NO"}, +{"5 5 5 8", "NO"}, +{"5 5 5 9", "NO"}, +{"5 5 5 10", "NO"}, +{"5 5 5 11", "NO"}, +{"5 5 6 6", "NO"}, +{"5 5 6 7", "NO"}, +{"5 5 6 8", "NO"}, +{"5 5 6 9", "NO"}, +{"5 5 6 10", "NO"}, +{"5 5 6 11", "NO"}, +{"5 5 7 7", "YES"}, +{"5 5 7 8", "NO"}, +{"5 5 7 9", "NO"}, +{"5 5 7 10", "NO"}, +{"5 5 7 11", "NO"}, +{"5 5 8 8", "NO"}, +{"5 5 8 9", "NO"}, +{"5 5 8 10", "NO"}, +{"5 5 8 11", "NO"}, +{"5 5 9 9", "NO"}, +{"5 5 9 10", "NO"}, +{"5 5 9 11", "NO"}, +{"5 5 10 10", "YES"}, +{"5 5 10 11", "NO"}, +{"5 5 11 11", "YES"}, +{"5 6 5 6", "YES"}, +{"5 6 5 7", "NO"}, +{"5 6 5 8", "NO"}, +{"5 6 5 9", "NO"}, +{"5 6 5 10", "NO"}, +{"5 6 5 11", "NO"}, +{"5 6 6 6", "NO"}, +{"5 6 6 7", "NO"}, +{"5 6 6 8", "NO"}, +{"5 6 6 9", "NO"}, +{"5 6 6 10", "NO"}, +{"5 6 6 11", "NO"}, +{"5 6 7 7", "NO"}, +{"5 6 7 8", "NO"}, +{"5 6 7 9", "NO"}, +{"5 6 7 10", "NO"}, +{"5 6 7 11", "NO"}, +{"5 6 8 8", "NO"}, +{"5 6 8 9", "NO"}, +{"5 6 8 10", "NO"}, +{"5 6 8 11", "NO"}, +{"5 6 9 9", "NO"}, +{"5 6 9 10", "NO"}, +{"5 6 9 11", "NO"}, +{"5 6 10 10", "NO"}, +{"5 6 10 11", "NO"}, +{"5 6 11 11", "YES"}, +{"5 7 5 7", "YES"}, +{"5 7 5 8", "NO"}, +{"5 7 5 9", "NO"}, +{"5 7 5 10", "NO"}, +{"5 7 5 11", "NO"}, +{"5 7 6 6", "NO"}, +{"5 7 6 7", "NO"}, +{"5 7 6 8", "NO"}, +{"5 7 6 9", "NO"}, +{"5 7 6 10", "NO"}, +{"5 7 6 11", "NO"}, +{"5 7 7 7", "NO"}, +{"5 7 7 8", "NO"}, +{"5 7 7 9", "NO"}, +{"5 7 7 10", "NO"}, +{"5 7 7 11", "NO"}, +{"5 7 8 8", "NO"}, +{"5 7 8 9", "NO"}, +{"5 7 8 10", "NO"}, +{"5 7 8 11", "NO"}, +{"5 7 9 9", "NO"}, +{"5 7 9 10", "NO"}, +{"5 7 9 11", "NO"}, +{"5 7 10 10", "NO"}, +{"5 7 10 11", "NO"}, +{"5 7 11 11", "NO"}, +{"5 8 5 8", "YES"}, +{"5 8 5 9", "NO"}, +{"5 8 5 10", "NO"}, +{"5 8 5 11", "NO"}, +{"5 8 6 6", "NO"}, +{"5 8 6 7", "NO"}, +{"5 8 6 8", "NO"}, +{"5 8 6 9", "NO"}, +{"5 8 6 10", "NO"}, +{"5 8 6 11", "NO"}, +{"5 8 7 7", "NO"}, +{"5 8 7 8", "NO"}, +{"5 8 7 9", "NO"}, +{"5 8 7 10", "NO"}, +{"5 8 7 11", "NO"}, +{"5 8 8 8", "NO"}, +{"5 8 8 9", "NO"}, +{"5 8 8 10", "NO"}, +{"5 8 8 11", "NO"}, +{"5 8 9 9", "NO"}, +{"5 8 9 10", "NO"}, +{"5 8 9 11", "NO"}, +{"5 8 10 10", "NO"}, +{"5 8 10 11", "NO"}, +{"5 8 11 11", "NO"}, +{"5 9 5 9", "YES"}, +{"5 9 5 10", "NO"}, +{"5 9 5 11", "NO"}, +{"5 9 6 6", "NO"}, +{"5 9 6 7", "NO"}, +{"5 9 6 8", "NO"}, +{"5 9 6 9", "NO"}, +{"5 9 6 10", "NO"}, +{"5 9 6 11", "NO"}, +{"5 9 7 7", "NO"}, +{"5 9 7 8", "NO"}, +{"5 9 7 9", "NO"}, +{"5 9 7 10", "NO"}, +{"5 9 7 11", "NO"}, +{"5 9 8 8", "NO"}, +{"5 9 8 9", "NO"}, +{"5 9 8 10", "NO"}, +{"5 9 8 11", "NO"}, +{"5 9 9 9", "NO"}, +{"5 9 9 10", "NO"}, +{"5 9 9 11", "NO"}, +{"5 9 10 10", "NO"}, +{"5 9 10 11", "NO"}, +{"5 9 11 11", "NO"}, +{"5 10 5 10", "YES"}, +{"5 10 5 11", "NO"}, +{"5 10 6 6", "NO"}, +{"5 10 6 7", "NO"}, +{"5 10 6 8", "NO"}, +{"5 10 6 9", "NO"}, +{"5 10 6 10", "NO"}, +{"5 10 6 11", "NO"}, +{"5 10 7 7", "NO"}, +{"5 10 7 8", "NO"}, +{"5 10 7 9", "NO"}, +{"5 10 7 10", "NO"}, +{"5 10 7 11", "NO"}, +{"5 10 8 8", "NO"}, +{"5 10 8 9", "NO"}, +{"5 10 8 10", "NO"}, +{"5 10 8 11", "NO"}, +{"5 10 9 9", "NO"}, +{"5 10 9 10", "NO"}, +{"5 10 9 11", "NO"}, +{"5 10 10 10", "NO"}, +{"5 10 10 11", "NO"}, +{"5 10 11 11", "NO"}, +{"5 11 5 11", "YES"}, +{"5 11 6 6", "NO"}, +{"5 11 6 7", "NO"}, +{"5 11 6 8", "NO"}, +{"5 11 6 9", "NO"}, +{"5 11 6 10", "NO"}, +{"5 11 6 11", "YES"}, +{"5 11 7 7", "NO"}, +{"5 11 7 8", "NO"}, +{"5 11 7 9", "NO"}, +{"5 11 7 10", "NO"}, +{"5 11 7 11", "NO"}, +{"5 11 8 8", "NO"}, +{"5 11 8 9", "NO"}, +{"5 11 8 10", "NO"}, +{"5 11 8 11", "NO"}, +{"5 11 9 9", "NO"}, +{"5 11 9 10", "NO"}, +{"5 11 9 11", "NO"}, +{"5 11 10 10", "NO"}, +{"5 11 10 11", "NO"}, +{"5 11 11 11", "NO"}, +{"6 6 6 6", "YES"}, +{"6 6 6 7", "NO"}, +{"6 6 6 8", "NO"}, +{"6 6 6 9", "NO"}, +{"6 6 6 10", "NO"}, +{"6 6 6 11", "NO"}, +{"6 6 7 7", "YES"}, +{"6 6 7 8", "NO"}, +{"6 6 7 9", "NO"}, +{"6 6 7 10", "NO"}, +{"6 6 7 11", "NO"}, +{"6 6 8 8", "YES"}, +{"6 6 8 9", "NO"}, +{"6 6 8 10", "NO"}, +{"6 6 8 11", "NO"}, +{"6 6 9 9", "NO"}, +{"6 6 9 10", "NO"}, +{"6 6 9 11", "NO"}, +{"6 6 10 10", "YES"}, +{"6 6 10 11", "NO"}, +{"6 6 11 11", "NO"}, +{"6 7 6 7", "YES"}, +{"6 7 6 8", "NO"}, +{"6 7 6 9", "NO"}, +{"6 7 6 10", "NO"}, +{"6 7 6 11", "NO"}, +{"6 7 7 7", "NO"}, +{"6 7 7 8", "NO"}, +{"6 7 7 9", "NO"}, +{"6 7 7 10", "YES"}, +{"6 7 7 11", "NO"}, +{"6 7 8 8", "NO"}, +{"6 7 8 9", "NO"}, +{"6 7 8 10", "NO"}, +{"6 7 8 11", "NO"}, +{"6 7 9 9", "NO"}, +{"6 7 9 10", "NO"}, +{"6 7 9 11", "NO"}, +{"6 7 10 10", "NO"}, +{"6 7 10 11", "NO"}, +{"6 7 11 11", "NO"}, +{"6 8 6 8", "YES"}, +{"6 8 6 9", "NO"}, +{"6 8 6 10", "NO"}, +{"6 8 6 11", "NO"}, +{"6 8 7 7", "NO"}, +{"6 8 7 8", "NO"}, +{"6 8 7 9", "NO"}, +{"6 8 7 10", "NO"}, +{"6 8 7 11", "NO"}, +{"6 8 8 8", "NO"}, +{"6 8 8 9", "NO"}, +{"6 8 8 10", "NO"}, +{"6 8 8 11", "NO"}, +{"6 8 9 9", "NO"}, +{"6 8 9 10", "NO"}, +{"6 8 9 11", "NO"}, +{"6 8 10 10", "NO"}, +{"6 8 10 11", "NO"}, +{"6 8 11 11", "NO"}, +{"6 9 6 9", "YES"}, +{"6 9 6 10", "NO"}, +{"6 9 6 11", "NO"}, +{"6 9 7 7", "NO"}, +{"6 9 7 8", "NO"}, +{"6 9 7 9", "NO"}, +{"6 9 7 10", "NO"}, +{"6 9 7 11", "NO"}, +{"6 9 8 8", "NO"}, +{"6 9 8 9", "NO"}, +{"6 9 8 10", "NO"}, +{"6 9 8 11", "NO"}, +{"6 9 9 9", "NO"}, +{"6 9 9 10", "NO"}, +{"6 9 9 11", "NO"}, +{"6 9 10 10", "NO"}, +{"6 9 10 11", "NO"}, +{"6 9 11 11", "NO"}, +{"6 10 6 10", "YES"}, +{"6 10 6 11", "NO"}, +{"6 10 7 7", "NO"}, +{"6 10 7 8", "NO"}, +{"6 10 7 9", "YES"}, +{"6 10 7 10", "NO"}, +{"6 10 7 11", "NO"}, +{"6 10 8 8", "YES"}, +{"6 10 8 9", "NO"}, +{"6 10 8 10", "NO"}, +{"6 10 8 11", "NO"}, +{"6 10 9 9", "NO"}, +{"6 10 9 10", "NO"}, +{"6 10 9 11", "NO"}, +{"6 10 10 10", "NO"}, +{"6 10 10 11", "NO"}, +{"6 10 11 11", "NO"}, +{"6 11 6 11", "YES"}, +{"6 11 7 7", "NO"}, +{"6 11 7 8", "NO"}, +{"6 11 7 9", "NO"}, +{"6 11 7 10", "NO"}, +{"6 11 7 11", "NO"}, +{"6 11 8 8", "NO"}, +{"6 11 8 9", "NO"}, +{"6 11 8 10", "NO"}, +{"6 11 8 11", "NO"}, +{"6 11 9 9", "NO"}, +{"6 11 9 10", "NO"}, +{"6 11 9 11", "NO"}, +{"6 11 10 10", "NO"}, +{"6 11 10 11", "NO"}, +{"6 11 11 11", "NO"}, +{"7 7 7 7", "YES"}, +{"7 7 7 8", "NO"}, +{"7 7 7 9", "NO"}, +{"7 7 7 10", "NO"}, +{"7 7 7 11", "NO"}, +{"7 7 8 8", "NO"}, +{"7 7 8 9", "NO"}, +{"7 7 8 10", "NO"}, +{"7 7 8 11", "NO"}, +{"7 7 9 9", "NO"}, +{"7 7 9 10", "NO"}, +{"7 7 9 11", "NO"}, +{"7 7 10 10", "YES"}, +{"7 7 10 11", "NO"}, +{"7 7 11 11", "NO"}, +{"7 8 7 8", "YES"}, +{"7 8 7 9", "NO"}, +{"7 8 7 10", "NO"}, +{"7 8 7 11", "NO"}, +{"7 8 8 8", "NO"}, +{"7 8 8 9", "NO"}, +{"7 8 8 10", "NO"}, +{"7 8 8 11", "NO"}, +{"7 8 9 9", "NO"}, +{"7 8 9 10", "NO"}, +{"7 8 9 11", "NO"}, +{"7 8 10 10", "NO"}, +{"7 8 10 11", "NO"}, +{"7 8 11 11", "NO"}, +{"7 9 7 9", "YES"}, +{"7 9 7 10", "NO"}, +{"7 9 7 11", "NO"}, +{"7 9 8 8", "NO"}, +{"7 9 8 9", "NO"}, +{"7 9 8 10", "NO"}, +{"7 9 8 11", "NO"}, +{"7 9 9 9", "NO"}, +{"7 9 9 10", "NO"}, +{"7 9 9 11", "NO"}, +{"7 9 10 10", "NO"}, +{"7 9 10 11", "NO"}, +{"7 9 11 11", "NO"}, +{"7 10 7 10", "YES"}, +{"7 10 7 11", "NO"}, +{"7 10 8 8", "NO"}, +{"7 10 8 9", "NO"}, +{"7 10 8 10", "NO"}, +{"7 10 8 11", "NO"}, +{"7 10 9 9", "NO"}, +{"7 10 9 10", "YES"}, +{"7 10 9 11", "NO"}, +{"7 10 10 10", "NO"}, +{"7 10 10 11", "NO"}, +{"7 10 11 11", "NO"}, +{"7 11 7 11", "YES"}, +{"7 11 8 8", "NO"}, +{"7 11 8 9", "NO"}, +{"7 11 8 10", "NO"}, +{"7 11 8 11", "NO"}, +{"7 11 9 9", "NO"}, +{"7 11 9 10", "NO"}, +{"7 11 9 11", "NO"}, +{"7 11 10 10", "NO"}, +{"7 11 10 11", "NO"}, +{"7 11 11 11", "NO"}, +{"8 8 8 8", "YES"}, +{"8 8 8 9", "NO"}, +{"8 8 8 10", "NO"}, +{"8 8 8 11", "NO"}, +{"8 8 9 9", "NO"}, +{"8 8 9 10", "NO"}, +{"8 8 9 11", "NO"}, +{"8 8 10 10", "YES"}, +{"8 8 10 11", "NO"}, +{"8 8 11 11", "NO"}, +{"8 9 8 9", "YES"}, +{"8 9 8 10", "NO"}, +{"8 9 8 11", "NO"}, +{"8 9 9 9", "NO"}, +{"8 9 9 10", "NO"}, +{"8 9 9 11", "NO"}, +{"8 9 10 10", "NO"}, +{"8 9 10 11", "NO"}, +{"8 9 11 11", "NO"}, +{"8 10 8 10", "YES"}, +{"8 10 8 11", "NO"}, +{"8 10 9 9", "NO"}, +{"8 10 9 10", "NO"}, +{"8 10 9 11", "NO"}, +{"8 10 10 10", "NO"}, +{"8 10 10 11", "NO"}, +{"8 10 11 11", "NO"}, +{"8 11 8 11", "YES"}, +{"8 11 9 9", "NO"}, +{"8 11 9 10", "NO"}, +{"8 11 9 11", "NO"}, +{"8 11 10 10", "NO"}, +{"8 11 10 11", "NO"}, +{"8 11 11 11", "NO"}, +{"9 9 9 9", "YES"}, +{"9 9 9 10", "NO"}, +{"9 9 9 11", "NO"}, +{"9 9 10 10", "YES"}, +{"9 9 10 11", "NO"}, +{"9 9 11 11", "NO"}, +{"9 10 9 10", "YES"}, +{"9 10 9 11", "NO"}, +{"9 10 10 10", "NO"}, +{"9 10 10 11", "NO"}, +{"9 10 11 11", "NO"}, +{"9 11 9 11", "YES"}, +{"9 11 10 10", "NO"}, +{"9 11 10 11", "NO"}, +{"9 11 11 11", "NO"}, +{"10 10 10 10", "YES"}, +{"10 10 10 11", "NO"}, +{"10 10 11 11", "YES"}, +{"10 11 10 11", "YES"}, +{"10 11 11 11", "NO"}, +{"11 11 11 11", "YES"} +}; -bool place4() -{ - FOR(x, -4, MAXX-1) FOR(y, -4, MAXY-1) REP(s, 8) - if (can(x, y, shapes[b2][s], board2, board)) - return true; - return false; -} +map<pp, string> result; int main() { - init(); - + REP(i, MAX) + { + istringstream is(X[i][0]); + int a1, a2, b1, b2; + is >> a1 >> a2 >> b1 >>b2; + pp temp = norm(a1, a2, b1, b2); + result[temp] = X[i][1]; + } + while (gets(in)) { - memset(board, 0, sizeof(board)); - memset(board2, 0, sizeof(board2)); - a1 = get_index(in[0]), a2 = get_index(in[1]), b1 = get_index(in[3]), b2 = get_index(in[4]); - if (place1()) printf("YES\n"); - else printf("NO\n"); + int a1 = get_index(in[0]), a2 = get_index(in[1]), b1 = get_index(in[3]), b2 = get_index(in[4]); + pp temp = norm(a1, a2, b1, b2); + while (result.find(temp) == result.end()) + temp = temp; + printf("%s\n", result[temp].c_str()); }