c Boolean vector synthesis problem c n=6 m=4 k=31 A=64 c Specification: c 0 0 0 0 0 0 --> 0 0 0 0 c 0 0 0 0 0 1 --> 0 0 0 1 c 0 0 0 0 1 0 --> 0 0 1 0 c 0 0 0 0 1 1 --> 0 0 1 1 c 0 0 0 1 0 0 --> 0 1 0 0 c 0 0 0 1 0 1 --> 0 1 0 1 c 0 0 0 1 1 0 --> 0 1 1 0 c 0 0 0 1 1 1 --> 0 1 1 1 c 0 0 1 0 0 0 --> 0 0 0 1 c 0 0 1 0 0 1 --> 0 0 1 0 c 0 0 1 0 1 0 --> 0 0 1 1 c 0 0 1 0 1 1 --> 0 1 0 0 c 0 0 1 1 0 0 --> 0 1 0 1 c 0 0 1 1 0 1 --> 0 1 1 0 c 0 0 1 1 1 0 --> 0 1 1 1 c 0 0 1 1 1 1 --> 1 0 0 0 c 0 1 0 0 0 0 --> 0 0 1 0 c 0 1 0 0 0 1 --> 0 0 1 1 c 0 1 0 0 1 0 --> 0 1 0 0 c 0 1 0 0 1 1 --> 0 1 0 1 c 0 1 0 1 0 0 --> 0 1 1 0 c 0 1 0 1 0 1 --> 0 1 1 1 c 0 1 0 1 1 0 --> 1 0 0 0 c 0 1 0 1 1 1 --> 1 0 0 1 c 0 1 1 0 0 0 --> 0 0 1 1 c 0 1 1 0 0 1 --> 0 1 0 0 c 0 1 1 0 1 0 --> 0 1 0 1 c 0 1 1 0 1 1 --> 0 1 1 0 c 0 1 1 1 0 0 --> 0 1 1 1 c 0 1 1 1 0 1 --> 1 0 0 0 c 0 1 1 1 1 0 --> 1 0 0 1 c 0 1 1 1 1 1 --> 1 0 1 0 c 1 0 0 0 0 0 --> 0 1 0 0 c 1 0 0 0 0 1 --> 0 1 0 1 c 1 0 0 0 1 0 --> 0 1 1 0 c 1 0 0 0 1 1 --> 0 1 1 1 c 1 0 0 1 0 0 --> 1 0 0 0 c 1 0 0 1 0 1 --> 1 0 0 1 c 1 0 0 1 1 0 --> 1 0 1 0 c 1 0 0 1 1 1 --> 1 0 1 1 c 1 0 1 0 0 0 --> 0 1 0 1 c 1 0 1 0 0 1 --> 0 1 1 0 c 1 0 1 0 1 0 --> 0 1 1 1 c 1 0 1 0 1 1 --> 1 0 0 0 c 1 0 1 1 0 0 --> 1 0 0 1 c 1 0 1 1 0 1 --> 1 0 1 0 c 1 0 1 1 1 0 --> 1 0 1 1 c 1 0 1 1 1 1 --> 1 1 0 0 c 1 1 0 0 0 0 --> 0 1 1 0 c 1 1 0 0 0 1 --> 0 1 1 1 c 1 1 0 0 1 0 --> 1 0 0 0 c 1 1 0 0 1 1 --> 1 0 0 1 c 1 1 0 1 0 0 --> 1 0 1 0 c 1 1 0 1 0 1 --> 1 0 1 1 c 1 1 0 1 1 0 --> 1 1 0 0 c 1 1 0 1 1 1 --> 1 1 0 1 c 1 1 1 0 0 0 --> 0 1 1 1 c 1 1 1 0 0 1 --> 1 0 0 0 c 1 1 1 0 1 0 --> 1 0 0 1 c 1 1 1 0 1 1 --> 1 0 1 0 c 1 1 1 1 0 0 --> 1 0 1 1 c 1 1 1 1 0 1 --> 1 1 0 0 c 1 1 1 1 1 0 --> 1 1 0 1 c 1 1 1 1 1 1 --> 1 1 1 0 c Decision variables: c s[1][1] is 1 c s[1][2] is 2 c s[1][3] is 3 c s[1][4] is 4 c s[1][5] is 5 c s[1][6] is 6 c s[2][1] is 7 c s[2][2] is 8 c s[2][3] is 9 c s[2][4] is 10 c s[2][5] is 11 c s[2][6] is 12 c s[3][1] is 13 c s[3][2] is 14 c s[3][3] is 15 c s[3][4] is 16 c s[3][5] is 17 c s[3][6] is 18 c s[4][1] is 19 c s[4][2] is 20 c s[4][3] is 21 c s[4][4] is 22 c s[4][5] is 23 c s[4][6] is 24 c s[5][1] is 25 c s[5][2] is 26 c s[5][3] is 27 c s[5][4] is 28 c s[5][5] is 29 c s[5][6] is 30 c s[6][1] is 31 c s[6][2] is 32 c s[6][3] is 33 c s[6][4] is 34 c s[6][5] is 35 c s[6][6] is 36 c s[7][1] is 37 c s[7][2] is 38 c s[7][3] is 39 c s[7][4] is 40 c s[7][5] is 41 c s[7][6] is 42 c s[8][1] is 43 c s[8][2] is 44 c s[8][3] is 45 c s[8][4] is 46 c s[8][5] is 47 c s[8][6] is 48 c s[9][1] is 49 c s[9][2] is 50 c s[9][3] is 51 c s[9][4] is 52 c s[9][5] is 53 c s[9][6] is 54 c s[10][1] is 55 c s[10][2] is 56 c s[10][3] is 57 c s[10][4] is 58 c s[10][5] is 59 c s[10][6] is 60 c s[11][1] is 61 c s[11][2] is 62 c s[11][3] is 63 c s[11][4] is 64 c s[11][5] is 65 c s[11][6] is 66 c s[12][1] is 67 c s[12][2] is 68 c s[12][3] is 69 c s[12][4] is 70 c s[12][5] is 71 c s[12][6] is 72 c s[13][1] is 73 c s[13][2] is 74 c s[13][3] is 75 c s[13][4] is 76 c s[13][5] is 77 c s[13][6] is 78 c s[14][1] is 79 c s[14][2] is 80 c s[14][3] is 81 c s[14][4] is 82 c s[14][5] is 83 c s[14][6] is 84 c s[15][1] is 85 c s[15][2] is 86 c s[15][3] is 87 c s[15][4] is 88 c s[15][5] is 89 c s[15][6] is 90 c s[16][1] is 91 c s[16][2] is 92 c s[16][3] is 93 c s[16][4] is 94 c s[16][5] is 95 c s[16][6] is 96 c s[17][1] is 97 c s[17][2] is 98 c s[17][3] is 99 c s[17][4] is 100 c s[17][5] is 101 c s[17][6] is 102 c s[18][1] is 103 c s[18][2] is 104 c s[18][3] is 105 c s[18][4] is 106 c s[18][5] is 107 c s[18][6] is 108 c s[19][1] is 109 c s[19][2] is 110 c s[19][3] is 111 c s[19][4] is 112 c s[19][5] is 113 c s[19][6] is 114 c s[20][1] is 115 c s[20][2] is 116 c s[20][3] is 117 c s[20][4] is 118 c s[20][5] is 119 c s[20][6] is 120 c s[21][1] is 121 c s[21][2] is 122 c s[21][3] is 123 c s[21][4] is 124 c s[21][5] is 125 c s[21][6] is 126 c s[22][1] is 127 c s[22][2] is 128 c s[22][3] is 129 c s[22][4] is 130 c s[22][5] is 131 c s[22][6] is 132 c s[23][1] is 133 c s[23][2] is 134 c s[23][3] is 135 c s[23][4] is 136 c s[23][5] is 137 c s[23][6] is 138 c s[24][1] is 139 c s[24][2] is 140 c s[24][3] is 141 c s[24][4] is 142 c s[24][5] is 143 c s[24][6] is 144 c s[25][1] is 145 c s[25][2] is 146 c s[25][3] is 147 c s[25][4] is 148 c s[25][5] is 149 c s[25][6] is 150 c s[26][1] is 151 c s[26][2] is 152 c s[26][3] is 153 c s[26][4] is 154 c s[26][5] is 155 c s[26][6] is 156 c s[27][1] is 157 c s[27][2] is 158 c s[27][3] is 159 c s[27][4] is 160 c s[27][5] is 161 c s[27][6] is 162 c s[28][1] is 163 c s[28][2] is 164 c s[28][3] is 165 c s[28][4] is 166 c s[28][5] is 167 c s[28][6] is 168 c s[29][1] is 169 c s[29][2] is 170 c s[29][3] is 171 c s[29][4] is 172 c s[29][5] is 173 c s[29][6] is 174 c s[30][1] is 175 c s[30][2] is 176 c s[30][3] is 177 c s[30][4] is 178 c s[30][5] is 179 c s[30][6] is 180 c s[31][1] is 181 c s[31][2] is 182 c s[31][3] is 183 c s[31][4] is 184 c s[31][5] is 185 c s[31][6] is 186 c sp[1][1] is 187 c sp[1][2] is 188 c sp[1][3] is 189 c sp[1][4] is 190 c sp[1][5] is 191 c sp[1][6] is 192 c sp[2][1] is 193 c sp[2][2] is 194 c sp[2][3] is 195 c sp[2][4] is 196 c sp[2][5] is 197 c sp[2][6] is 198 c sp[3][1] is 199 c sp[3][2] is 200 c sp[3][3] is 201 c sp[3][4] is 202 c sp[3][5] is 203 c sp[3][6] is 204 c sp[4][1] is 205 c sp[4][2] is 206 c sp[4][3] is 207 c sp[4][4] is 208 c sp[4][5] is 209 c sp[4][6] is 210 c sp[5][1] is 211 c sp[5][2] is 212 c sp[5][3] is 213 c sp[5][4] is 214 c sp[5][5] is 215 c sp[5][6] is 216 c sp[6][1] is 217 c sp[6][2] is 218 c sp[6][3] is 219 c sp[6][4] is 220 c sp[6][5] is 221 c sp[6][6] is 222 c sp[7][1] is 223 c sp[7][2] is 224 c sp[7][3] is 225 c sp[7][4] is 226 c sp[7][5] is 227 c sp[7][6] is 228 c sp[8][1] is 229 c sp[8][2] is 230 c sp[8][3] is 231 c sp[8][4] is 232 c sp[8][5] is 233 c sp[8][6] is 234 c sp[9][1] is 235 c sp[9][2] is 236 c sp[9][3] is 237 c sp[9][4] is 238 c sp[9][5] is 239 c sp[9][6] is 240 c sp[10][1] is 241 c sp[10][2] is 242 c sp[10][3] is 243 c sp[10][4] is 244 c sp[10][5] is 245 c sp[10][6] is 246 c sp[11][1] is 247 c sp[11][2] is 248 c sp[11][3] is 249 c sp[11][4] is 250 c sp[11][5] is 251 c sp[11][6] is 252 c sp[12][1] is 253 c sp[12][2] is 254 c sp[12][3] is 255 c sp[12][4] is 256 c sp[12][5] is 257 c sp[12][6] is 258 c sp[13][1] is 259 c sp[13][2] is 260 c sp[13][3] is 261 c sp[13][4] is 262 c sp[13][5] is 263 c sp[13][6] is 264 c sp[14][1] is 265 c sp[14][2] is 266 c sp[14][3] is 267 c sp[14][4] is 268 c sp[14][5] is 269 c sp[14][6] is 270 c sp[15][1] is 271 c sp[15][2] is 272 c sp[15][3] is 273 c sp[15][4] is 274 c sp[15][5] is 275 c sp[15][6] is 276 c sp[16][1] is 277 c sp[16][2] is 278 c sp[16][3] is 279 c sp[16][4] is 280 c sp[16][5] is 281 c sp[16][6] is 282 c sp[17][1] is 283 c sp[17][2] is 284 c sp[17][3] is 285 c sp[17][4] is 286 c sp[17][5] is 287 c sp[17][6] is 288 c sp[18][1] is 289 c sp[18][2] is 290 c sp[18][3] is 291 c sp[18][4] is 292 c sp[18][5] is 293 c sp[18][6] is 294 c sp[19][1] is 295 c sp[19][2] is 296 c sp[19][3] is 297 c sp[19][4] is 298 c sp[19][5] is 299 c sp[19][6] is 300 c sp[20][1] is 301 c sp[20][2] is 302 c sp[20][3] is 303 c sp[20][4] is 304 c sp[20][5] is 305 c sp[20][6] is 306 c sp[21][1] is 307 c sp[21][2] is 308 c sp[21][3] is 309 c sp[21][4] is 310 c sp[21][5] is 311 c sp[21][6] is 312 c sp[22][1] is 313 c sp[22][2] is 314 c sp[22][3] is 315 c sp[22][4] is 316 c sp[22][5] is 317 c sp[22][6] is 318 c sp[23][1] is 319 c sp[23][2] is 320 c sp[23][3] is 321 c sp[23][4] is 322 c sp[23][5] is 323 c sp[23][6] is 324 c sp[24][1] is 325 c sp[24][2] is 326 c sp[24][3] is 327 c sp[24][4] is 328 c sp[24][5] is 329 c sp[24][6] is 330 c sp[25][1] is 331 c sp[25][2] is 332 c sp[25][3] is 333 c sp[25][4] is 334 c sp[25][5] is 335 c sp[25][6] is 336 c sp[26][1] is 337 c sp[26][2] is 338 c sp[26][3] is 339 c sp[26][4] is 340 c sp[26][5] is 341 c sp[26][6] is 342 c sp[27][1] is 343 c sp[27][2] is 344 c sp[27][3] is 345 c sp[27][4] is 346 c sp[27][5] is 347 c sp[27][6] is 348 c sp[28][1] is 349 c sp[28][2] is 350 c sp[28][3] is 351 c sp[28][4] is 352 c sp[28][5] is 353 c sp[28][6] is 354 c sp[29][1] is 355 c sp[29][2] is 356 c sp[29][3] is 357 c sp[29][4] is 358 c sp[29][5] is 359 c sp[29][6] is 360 c sp[30][1] is 361 c sp[30][2] is 362 c sp[30][3] is 363 c sp[30][4] is 364 c sp[30][5] is 365 c sp[30][6] is 366 c sp[31][1] is 367 c sp[31][2] is 368 c sp[31][3] is 369 c sp[31][4] is 370 c sp[31][5] is 371 c sp[31][6] is 372 c w[1][1] is 373 c w[1][2] is 374 c w[1][3] is 375 c w[1][4] is 376 c w[2][1] is 377 c w[2][2] is 378 c w[2][3] is 379 c w[2][4] is 380 c w[3][1] is 381 c w[3][2] is 382 c w[3][3] is 383 c w[3][4] is 384 c w[4][1] is 385 c w[4][2] is 386 c w[4][3] is 387 c w[4][4] is 388 c w[5][1] is 389 c w[5][2] is 390 c w[5][3] is 391 c w[5][4] is 392 c w[6][1] is 393 c w[6][2] is 394 c w[6][3] is 395 c w[6][4] is 396 c w[7][1] is 397 c w[7][2] is 398 c w[7][3] is 399 c w[7][4] is 400 c w[8][1] is 401 c w[8][2] is 402 c w[8][3] is 403 c w[8][4] is 404 c w[9][1] is 405 c w[9][2] is 406 c w[9][3] is 407 c w[9][4] is 408 c w[10][1] is 409 c w[10][2] is 410 c w[10][3] is 411 c w[10][4] is 412 c w[11][1] is 413 c w[11][2] is 414 c w[11][3] is 415 c w[11][4] is 416 c w[12][1] is 417 c w[12][2] is 418 c w[12][3] is 419 c w[12][4] is 420 c w[13][1] is 421 c w[13][2] is 422 c w[13][3] is 423 c w[13][4] is 424 c w[14][1] is 425 c w[14][2] is 426 c w[14][3] is 427 c w[14][4] is 428 c w[15][1] is 429 c w[15][2] is 430 c w[15][3] is 431 c w[15][4] is 432 c w[16][1] is 433 c w[16][2] is 434 c w[16][3] is 435 c w[16][4] is 436 c w[17][1] is 437 c w[17][2] is 438 c w[17][3] is 439 c w[17][4] is 440 c w[18][1] is 441 c w[18][2] is 442 c w[18][3] is 443 c w[18][4] is 444 c w[19][1] is 445 c w[19][2] is 446 c w[19][3] is 447 c w[19][4] is 448 c w[20][1] is 449 c w[20][2] is 450 c w[20][3] is 451 c w[20][4] is 452 c w[21][1] is 453 c w[21][2] is 454 c w[21][3] is 455 c w[21][4] is 456 c w[22][1] is 457 c w[22][2] is 458 c w[22][3] is 459 c w[22][4] is 460 c w[23][1] is 461 c w[23][2] is 462 c w[23][3] is 463 c w[23][4] is 464 c w[24][1] is 465 c w[24][2] is 466 c w[24][3] is 467 c w[24][4] is 468 c w[25][1] is 469 c w[25][2] is 470 c w[25][3] is 471 c w[25][4] is 472 c w[26][1] is 473 c w[26][2] is 474 c w[26][3] is 475 c w[26][4] is 476 c w[27][1] is 477 c w[27][2] is 478 c w[27][3] is 479 c w[27][4] is 480 c w[28][1] is 481 c w[28][2] is 482 c w[28][3] is 483 c w[28][4] is 484 c w[29][1] is 485 c w[29][2] is 486 c w[29][3] is 487 c w[29][4] is 488 c w[30][1] is 489 c w[30][2] is 490 c w[30][3] is 491 c w[30][4] is 492 c w[31][1] is 493 c w[31][2] is 494 c w[31][3] is 495 c w[31][4] is 496 c Auxiliary variables: c z[1][1][1] is 497 c z[1][1][2] is 498 c z[1][1][3] is 499 c z[1][1][4] is 500 c z[1][2][1] is 501 c z[1][2][2] is 502 c z[1][2][3] is 503 c z[1][2][4] is 504 c z[1][3][1] is 505 c z[1][3][2] is 506 c z[1][3][3] is 507 c z[1][3][4] is 508 c z[1][4][1] is 509 c z[1][4][2] is 510 c z[1][4][3] is 511 c z[1][4][4] is 512 c z[1][5][1] is 513 c z[1][5][2] is 514 c z[1][5][3] is 515 c z[1][5][4] is 516 c z[1][6][1] is 517 c z[1][6][2] is 518 c z[1][6][3] is 519 c z[1][6][4] is 520 c z[1][7][1] is 521 c z[1][7][2] is 522 c z[1][7][3] is 523 c z[1][7][4] is 524 c z[1][8][1] is 525 c z[1][8][2] is 526 c z[1][8][3] is 527 c z[1][8][4] is 528 c z[1][9][1] is 529 c z[1][9][2] is 530 c z[1][9][3] is 531 c z[1][9][4] is 532 c z[1][10][1] is 533 c z[1][10][2] is 534 c z[1][10][3] is 535 c z[1][10][4] is 536 c z[1][11][1] is 537 c z[1][11][2] is 538 c z[1][11][3] is 539 c z[1][11][4] is 540 c z[1][12][1] is 541 c z[1][12][2] is 542 c z[1][12][3] is 543 c z[1][12][4] is 544 c z[1][13][1] is 545 c z[1][13][2] is 546 c z[1][13][3] is 547 c z[1][13][4] is 548 c z[1][14][1] is 549 c z[1][14][2] is 550 c z[1][14][3] is 551 c z[1][14][4] is 552 c z[1][15][1] is 553 c z[1][15][2] is 554 c z[1][15][3] is 555 c z[1][15][4] is 556 c z[1][16][1] is 557 c z[1][16][2] is 558 c z[1][16][3] is 559 c z[1][16][4] is 560 c z[1][17][1] is 561 c z[1][17][2] is 562 c z[1][17][3] is 563 c z[1][17][4] is 564 c z[1][18][1] is 565 c z[1][18][2] is 566 c z[1][18][3] is 567 c z[1][18][4] is 568 c z[1][19][1] is 569 c z[1][19][2] is 570 c z[1][19][3] is 571 c z[1][19][4] is 572 c z[1][20][1] is 573 c z[1][20][2] is 574 c z[1][20][3] is 575 c z[1][20][4] is 576 c z[1][21][1] is 577 c z[1][21][2] is 578 c z[1][21][3] is 579 c z[1][21][4] is 580 c z[1][22][1] is 581 c z[1][22][2] is 582 c z[1][22][3] is 583 c z[1][22][4] is 584 c z[1][23][1] is 585 c z[1][23][2] is 586 c z[1][23][3] is 587 c z[1][23][4] is 588 c z[1][24][1] is 589 c z[1][24][2] is 590 c z[1][24][3] is 591 c z[1][24][4] is 592 c z[1][25][1] is 593 c z[1][25][2] is 594 c z[1][25][3] is 595 c z[1][25][4] is 596 c z[1][26][1] is 597 c z[1][26][2] is 598 c z[1][26][3] is 599 c z[1][26][4] is 600 c z[1][27][1] is 601 c z[1][27][2] is 602 c z[1][27][3] is 603 c z[1][27][4] is 604 c z[1][28][1] is 605 c z[1][28][2] is 606 c z[1][28][3] is 607 c z[1][28][4] is 608 c z[1][29][1] is 609 c z[1][29][2] is 610 c z[1][29][3] is 611 c z[1][29][4] is 612 c z[1][30][1] is 613 c z[1][30][2] is 614 c z[1][30][3] is 615 c z[1][30][4] is 616 c z[1][31][1] is 617 c z[1][31][2] is 618 c z[1][31][3] is 619 c z[1][31][4] is 620 c z[2][1][1] is 621 c z[2][1][2] is 622 c z[2][1][3] is 623 c z[2][1][4] is 624 c z[2][2][1] is 625 c z[2][2][2] is 626 c z[2][2][3] is 627 c z[2][2][4] is 628 c z[2][3][1] is 629 c z[2][3][2] is 630 c z[2][3][3] is 631 c z[2][3][4] is 632 c z[2][4][1] is 633 c z[2][4][2] is 634 c z[2][4][3] is 635 c z[2][4][4] is 636 c z[2][5][1] is 637 c z[2][5][2] is 638 c z[2][5][3] is 639 c z[2][5][4] is 640 c z[2][6][1] is 641 c z[2][6][2] is 642 c z[2][6][3] is 643 c z[2][6][4] is 644 c z[2][7][1] is 645 c z[2][7][2] is 646 c z[2][7][3] is 647 c z[2][7][4] is 648 c z[2][8][1] is 649 c z[2][8][2] is 650 c z[2][8][3] is 651 c z[2][8][4] is 652 c z[2][9][1] is 653 c z[2][9][2] is 654 c z[2][9][3] is 655 c z[2][9][4] is 656 c z[2][10][1] is 657 c z[2][10][2] is 658 c z[2][10][3] is 659 c z[2][10][4] is 660 c z[2][11][1] is 661 c z[2][11][2] is 662 c z[2][11][3] is 663 c z[2][11][4] is 664 c z[2][12][1] is 665 c z[2][12][2] is 666 c z[2][12][3] is 667 c z[2][12][4] is 668 c z[2][13][1] is 669 c z[2][13][2] is 670 c z[2][13][3] is 671 c z[2][13][4] is 672 c z[2][14][1] is 673 c z[2][14][2] is 674 c z[2][14][3] is 675 c z[2][14][4] is 676 c z[2][15][1] is 677 c z[2][15][2] is 678 c z[2][15][3] is 679 c z[2][15][4] is 680 c z[2][16][1] is 681 c z[2][16][2] is 682 c z[2][16][3] is 683 c z[2][16][4] is 684 c z[2][17][1] is 685 c z[2][17][2] is 686 c z[2][17][3] is 687 c z[2][17][4] is 688 c z[2][18][1] is 689 c z[2][18][2] is 690 c z[2][18][3] is 691 c z[2][18][4] is 692 c z[2][19][1] is 693 c z[2][19][2] is 694 c z[2][19][3] is 695 c z[2][19][4] is 696 c z[2][20][1] is 697 c z[2][20][2] is 698 c z[2][20][3] is 699 c z[2][20][4] is 700 c z[2][21][1] is 701 c z[2][21][2] is 702 c z[2][21][3] is 703 c z[2][21][4] is 704 c z[2][22][1] is 705 c z[2][22][2] is 706 c z[2][22][3] is 707 c z[2][22][4] is 708 c z[2][23][1] is 709 c z[2][23][2] is 710 c z[2][23][3] is 711 c z[2][23][4] is 712 c z[2][24][1] is 713 c z[2][24][2] is 714 c z[2][24][3] is 715 c z[2][24][4] is 716 c z[2][25][1] is 717 c z[2][25][2] is 718 c z[2][25][3] is 719 c z[2][25][4] is 720 c z[2][26][1] is 721 c z[2][26][2] is 722 c z[2][26][3] is 723 c z[2][26][4] is 724 c z[2][27][1] is 725 c z[2][27][2] is 726 c z[2][27][3] is 727 c z[2][27][4] is 728 c z[2][28][1] is 729 c z[2][28][2] is 730 c z[2][28][3] is 731 c z[2][28][4] is 732 c z[2][29][1] is 733 c z[2][29][2] is 734 c z[2][29][3] is 735 c z[2][29][4] is 736 c z[2][30][1] is 737 c z[2][30][2] is 738 c z[2][30][3] is 739 c z[2][30][4] is 740 c z[2][31][1] is 741 c z[2][31][2] is 742 c z[2][31][3] is 743 c z[2][31][4] is 744 c z[3][1][1] is 745 c z[3][1][2] is 746 c z[3][1][3] is 747 c z[3][1][4] is 748 c z[3][2][1] is 749 c z[3][2][2] is 750 c z[3][2][3] is 751 c z[3][2][4] is 752 c z[3][3][1] is 753 c z[3][3][2] is 754 c z[3][3][3] is 755 c z[3][3][4] is 756 c z[3][4][1] is 757 c z[3][4][2] is 758 c z[3][4][3] is 759 c z[3][4][4] is 760 c z[3][5][1] is 761 c z[3][5][2] is 762 c z[3][5][3] is 763 c z[3][5][4] is 764 c z[3][6][1] is 765 c z[3][6][2] is 766 c z[3][6][3] is 767 c z[3][6][4] is 768 c z[3][7][1] is 769 c z[3][7][2] is 770 c z[3][7][3] is 771 c z[3][7][4] is 772 c z[3][8][1] is 773 c z[3][8][2] is 774 c z[3][8][3] is 775 c z[3][8][4] is 776 c z[3][9][1] is 777 c z[3][9][2] is 778 c z[3][9][3] is 779 c z[3][9][4] is 780 c z[3][10][1] is 781 c z[3][10][2] is 782 c z[3][10][3] is 783 c z[3][10][4] is 784 c z[3][11][1] is 785 c z[3][11][2] is 786 c z[3][11][3] is 787 c z[3][11][4] is 788 c z[3][12][1] is 789 c z[3][12][2] is 790 c z[3][12][3] is 791 c z[3][12][4] is 792 c z[3][13][1] is 793 c z[3][13][2] is 794 c z[3][13][3] is 795 c z[3][13][4] is 796 c z[3][14][1] is 797 c z[3][14][2] is 798 c z[3][14][3] is 799 c z[3][14][4] is 800 c z[3][15][1] is 801 c z[3][15][2] is 802 c z[3][15][3] is 803 c z[3][15][4] is 804 c z[3][16][1] is 805 c z[3][16][2] is 806 c z[3][16][3] is 807 c z[3][16][4] is 808 c z[3][17][1] is 809 c z[3][17][2] is 810 c z[3][17][3] is 811 c z[3][17][4] is 812 c z[3][18][1] is 813 c z[3][18][2] is 814 c z[3][18][3] is 815 c z[3][18][4] is 816 c z[3][19][1] is 817 c z[3][19][2] is 818 c z[3][19][3] is 819 c z[3][19][4] is 820 c z[3][20][1] is 821 c z[3][20][2] is 822 c z[3][20][3] is 823 c z[3][20][4] is 824 c z[3][21][1] is 825 c z[3][21][2] is 826 c z[3][21][3] is 827 c z[3][21][4] is 828 c z[3][22][1] is 829 c z[3][22][2] is 830 c z[3][22][3] is 831 c z[3][22][4] is 832 c z[3][23][1] is 833 c z[3][23][2] is 834 c z[3][23][3] is 835 c z[3][23][4] is 836 c z[3][24][1] is 837 c z[3][24][2] is 838 c z[3][24][3] is 839 c z[3][24][4] is 840 c z[3][25][1] is 841 c z[3][25][2] is 842 c z[3][25][3] is 843 c z[3][25][4] is 844 c z[3][26][1] is 845 c z[3][26][2] is 846 c z[3][26][3] is 847 c z[3][26][4] is 848 c z[3][27][1] is 849 c z[3][27][2] is 850 c z[3][27][3] is 851 c z[3][27][4] is 852 c z[3][28][1] is 853 c z[3][28][2] is 854 c z[3][28][3] is 855 c z[3][28][4] is 856 c z[3][29][1] is 857 c z[3][29][2] is 858 c z[3][29][3] is 859 c z[3][29][4] is 860 c z[3][30][1] is 861 c z[3][30][2] is 862 c z[3][30][3] is 863 c z[3][30][4] is 864 c z[3][31][1] is 865 c z[3][31][2] is 866 c z[3][31][3] is 867 c z[3][31][4] is 868 c z[4][1][1] is 869 c z[4][1][2] is 870 c z[4][1][3] is 871 c z[4][1][4] is 872 c z[4][2][1] is 873 c z[4][2][2] is 874 c z[4][2][3] is 875 c z[4][2][4] is 876 c z[4][3][1] is 877 c z[4][3][2] is 878 c z[4][3][3] is 879 c z[4][3][4] is 880 c z[4][4][1] is 881 c z[4][4][2] is 882 c z[4][4][3] is 883 c z[4][4][4] is 884 c z[4][5][1] is 885 c z[4][5][2] is 886 c z[4][5][3] is 887 c z[4][5][4] is 888 c z[4][6][1] is 889 c z[4][6][2] is 890 c z[4][6][3] is 891 c z[4][6][4] is 892 c z[4][7][1] is 893 c z[4][7][2] is 894 c z[4][7][3] is 895 c z[4][7][4] is 896 c z[4][8][1] is 897 c z[4][8][2] is 898 c z[4][8][3] is 899 c z[4][8][4] is 900 c z[4][9][1] is 901 c z[4][9][2] is 902 c z[4][9][3] is 903 c z[4][9][4] is 904 c z[4][10][1] is 905 c z[4][10][2] is 906 c z[4][10][3] is 907 c z[4][10][4] is 908 c z[4][11][1] is 909 c z[4][11][2] is 910 c z[4][11][3] is 911 c z[4][11][4] is 912 c z[4][12][1] is 913 c z[4][12][2] is 914 c z[4][12][3] is 915 c z[4][12][4] is 916 c z[4][13][1] is 917 c z[4][13][2] is 918 c z[4][13][3] is 919 c z[4][13][4] is 920 c z[4][14][1] is 921 c z[4][14][2] is 922 c z[4][14][3] is 923 c z[4][14][4] is 924 c z[4][15][1] is 925 c z[4][15][2] is 926 c z[4][15][3] is 927 c z[4][15][4] is 928 c z[4][16][1] is 929 c z[4][16][2] is 930 c z[4][16][3] is 931 c z[4][16][4] is 932 c z[4][17][1] is 933 c z[4][17][2] is 934 c z[4][17][3] is 935 c z[4][17][4] is 936 c z[4][18][1] is 937 c z[4][18][2] is 938 c z[4][18][3] is 939 c z[4][18][4] is 940 c z[4][19][1] is 941 c z[4][19][2] is 942 c z[4][19][3] is 943 c z[4][19][4] is 944 c z[4][20][1] is 945 c z[4][20][2] is 946 c z[4][20][3] is 947 c z[4][20][4] is 948 c z[4][21][1] is 949 c z[4][21][2] is 950 c z[4][21][3] is 951 c z[4][21][4] is 952 c z[4][22][1] is 953 c z[4][22][2] is 954 c z[4][22][3] is 955 c z[4][22][4] is 956 c z[4][23][1] is 957 c z[4][23][2] is 958 c z[4][23][3] is 959 c z[4][23][4] is 960 c z[4][24][1] is 961 c z[4][24][2] is 962 c z[4][24][3] is 963 c z[4][24][4] is 964 c z[4][25][1] is 965 c z[4][25][2] is 966 c z[4][25][3] is 967 c z[4][25][4] is 968 c z[4][26][1] is 969 c z[4][26][2] is 970 c z[4][26][3] is 971 c z[4][26][4] is 972 c z[4][27][1] is 973 c z[4][27][2] is 974 c z[4][27][3] is 975 c z[4][27][4] is 976 c z[4][28][1] is 977 c z[4][28][2] is 978 c z[4][28][3] is 979 c z[4][28][4] is 980 c z[4][29][1] is 981 c z[4][29][2] is 982 c z[4][29][3] is 983 c z[4][29][4] is 984 c z[4][30][1] is 985 c z[4][30][2] is 986 c z[4][30][3] is 987 c z[4][30][4] is 988 c z[4][31][1] is 989 c z[4][31][2] is 990 c z[4][31][3] is 991 c z[4][31][4] is 992 c z[5][1][1] is 993 c z[5][1][2] is 994 c z[5][1][3] is 995 c z[5][1][4] is 996 c z[5][2][1] is 997 c z[5][2][2] is 998 c z[5][2][3] is 999 c z[5][2][4] is 1000 c z[5][3][1] is 1001 c z[5][3][2] is 1002 c z[5][3][3] is 1003 c z[5][3][4] is 1004 c z[5][4][1] is 1005 c z[5][4][2] is 1006 c z[5][4][3] is 1007 c z[5][4][4] is 1008 c z[5][5][1] is 1009 c z[5][5][2] is 1010 c z[5][5][3] is 1011 c z[5][5][4] is 1012 c z[5][6][1] is 1013 c z[5][6][2] is 1014 c z[5][6][3] is 1015 c z[5][6][4] is 1016 c z[5][7][1] is 1017 c z[5][7][2] is 1018 c z[5][7][3] is 1019 c z[5][7][4] is 1020 c z[5][8][1] is 1021 c z[5][8][2] is 1022 c z[5][8][3] is 1023 c z[5][8][4] is 1024 c z[5][9][1] is 1025 c z[5][9][2] is 1026 c z[5][9][3] is 1027 c z[5][9][4] is 1028 c z[5][10][1] is 1029 c z[5][10][2] is 1030 c z[5][10][3] is 1031 c z[5][10][4] is 1032 c z[5][11][1] is 1033 c z[5][11][2] is 1034 c z[5][11][3] is 1035 c z[5][11][4] is 1036 c z[5][12][1] is 1037 c z[5][12][2] is 1038 c z[5][12][3] is 1039 c z[5][12][4] is 1040 c z[5][13][1] is 1041 c z[5][13][2] is 1042 c z[5][13][3] is 1043 c z[5][13][4] is 1044 c z[5][14][1] is 1045 c z[5][14][2] is 1046 c z[5][14][3] is 1047 c z[5][14][4] is 1048 c z[5][15][1] is 1049 c z[5][15][2] is 1050 c z[5][15][3] is 1051 c z[5][15][4] is 1052 c z[5][16][1] is 1053 c z[5][16][2] is 1054 c z[5][16][3] is 1055 c z[5][16][4] is 1056 c z[5][17][1] is 1057 c z[5][17][2] is 1058 c z[5][17][3] is 1059 c z[5][17][4] is 1060 c z[5][18][1] is 1061 c z[5][18][2] is 1062 c z[5][18][3] is 1063 c z[5][18][4] is 1064 c z[5][19][1] is 1065 c z[5][19][2] is 1066 c z[5][19][3] is 1067 c z[5][19][4] is 1068 c z[5][20][1] is 1069 c z[5][20][2] is 1070 c z[5][20][3] is 1071 c z[5][20][4] is 1072 c z[5][21][1] is 1073 c z[5][21][2] is 1074 c z[5][21][3] is 1075 c z[5][21][4] is 1076 c z[5][22][1] is 1077 c z[5][22][2] is 1078 c z[5][22][3] is 1079 c z[5][22][4] is 1080 c z[5][23][1] is 1081 c z[5][23][2] is 1082 c z[5][23][3] is 1083 c z[5][23][4] is 1084 c z[5][24][1] is 1085 c z[5][24][2] is 1086 c z[5][24][3] is 1087 c z[5][24][4] is 1088 c z[5][25][1] is 1089 c z[5][25][2] is 1090 c z[5][25][3] is 1091 c z[5][25][4] is 1092 c z[5][26][1] is 1093 c z[5][26][2] is 1094 c z[5][26][3] is 1095 c z[5][26][4] is 1096 c z[5][27][1] is 1097 c z[5][27][2] is 1098 c z[5][27][3] is 1099 c z[5][27][4] is 1100 c z[5][28][1] is 1101 c z[5][28][2] is 1102 c z[5][28][3] is 1103 c z[5][28][4] is 1104 c z[5][29][1] is 1105 c z[5][29][2] is 1106 c z[5][29][3] is 1107 c z[5][29][4] is 1108 c z[5][30][1] is 1109 c z[5][30][2] is 1110 c z[5][30][3] is 1111 c z[5][30][4] is 1112 c z[5][31][1] is 1113 c z[5][31][2] is 1114 c z[5][31][3] is 1115 c z[5][31][4] is 1116 c z[6][1][1] is 1117 c z[6][1][2] is 1118 c z[6][1][3] is 1119 c z[6][1][4] is 1120 c z[6][2][1] is 1121 c z[6][2][2] is 1122 c z[6][2][3] is 1123 c z[6][2][4] is 1124 c z[6][3][1] is 1125 c z[6][3][2] is 1126 c z[6][3][3] is 1127 c z[6][3][4] is 1128 c z[6][4][1] is 1129 c z[6][4][2] is 1130 c z[6][4][3] is 1131 c z[6][4][4] is 1132 c z[6][5][1] is 1133 c z[6][5][2] is 1134 c z[6][5][3] is 1135 c z[6][5][4] is 1136 c z[6][6][1] is 1137 c z[6][6][2] is 1138 c z[6][6][3] is 1139 c z[6][6][4] is 1140 c z[6][7][1] is 1141 c z[6][7][2] is 1142 c z[6][7][3] is 1143 c z[6][7][4] is 1144 c z[6][8][1] is 1145 c z[6][8][2] is 1146 c z[6][8][3] is 1147 c z[6][8][4] is 1148 c z[6][9][1] is 1149 c z[6][9][2] is 1150 c z[6][9][3] is 1151 c z[6][9][4] is 1152 c z[6][10][1] is 1153 c z[6][10][2] is 1154 c z[6][10][3] is 1155 c z[6][10][4] is 1156 c z[6][11][1] is 1157 c z[6][11][2] is 1158 c z[6][11][3] is 1159 c z[6][11][4] is 1160 c z[6][12][1] is 1161 c z[6][12][2] is 1162 c z[6][12][3] is 1163 c z[6][12][4] is 1164 c z[6][13][1] is 1165 c z[6][13][2] is 1166 c z[6][13][3] is 1167 c z[6][13][4] is 1168 c z[6][14][1] is 1169 c z[6][14][2] is 1170 c z[6][14][3] is 1171 c z[6][14][4] is 1172 c z[6][15][1] is 1173 c z[6][15][2] is 1174 c z[6][15][3] is 1175 c z[6][15][4] is 1176 c z[6][16][1] is 1177 c z[6][16][2] is 1178 c z[6][16][3] is 1179 c z[6][16][4] is 1180 c z[6][17][1] is 1181 c z[6][17][2] is 1182 c z[6][17][3] is 1183 c z[6][17][4] is 1184 c z[6][18][1] is 1185 c z[6][18][2] is 1186 c z[6][18][3] is 1187 c z[6][18][4] is 1188 c z[6][19][1] is 1189 c z[6][19][2] is 1190 c z[6][19][3] is 1191 c z[6][19][4] is 1192 c z[6][20][1] is 1193 c z[6][20][2] is 1194 c z[6][20][3] is 1195 c z[6][20][4] is 1196 c z[6][21][1] is 1197 c z[6][21][2] is 1198 c z[6][21][3] is 1199 c z[6][21][4] is 1200 c z[6][22][1] is 1201 c z[6][22][2] is 1202 c z[6][22][3] is 1203 c z[6][22][4] is 1204 c z[6][23][1] is 1205 c z[6][23][2] is 1206 c z[6][23][3] is 1207 c z[6][23][4] is 1208 c z[6][24][1] is 1209 c z[6][24][2] is 1210 c z[6][24][3] is 1211 c z[6][24][4] is 1212 c z[6][25][1] is 1213 c z[6][25][2] is 1214 c z[6][25][3] is 1215 c z[6][25][4] is 1216 c z[6][26][1] is 1217 c z[6][26][2] is 1218 c z[6][26][3] is 1219 c z[6][26][4] is 1220 c z[6][27][1] is 1221 c z[6][27][2] is 1222 c z[6][27][3] is 1223 c z[6][27][4] is 1224 c z[6][28][1] is 1225 c z[6][28][2] is 1226 c z[6][28][3] is 1227 c z[6][28][4] is 1228 c z[6][29][1] is 1229 c z[6][29][2] is 1230 c z[6][29][3] is 1231 c z[6][29][4] is 1232 c z[6][30][1] is 1233 c z[6][30][2] is 1234 c z[6][30][3] is 1235 c z[6][30][4] is 1236 c z[6][31][1] is 1237 c z[6][31][2] is 1238 c z[6][31][3] is 1239 c z[6][31][4] is 1240 c z[7][1][1] is 1241 c z[7][1][2] is 1242 c z[7][1][3] is 1243 c z[7][1][4] is 1244 c z[7][2][1] is 1245 c z[7][2][2] is 1246 c z[7][2][3] is 1247 c z[7][2][4] is 1248 c z[7][3][1] is 1249 c z[7][3][2] is 1250 c z[7][3][3] is 1251 c z[7][3][4] is 1252 c z[7][4][1] is 1253 c z[7][4][2] is 1254 c z[7][4][3] is 1255 c z[7][4][4] is 1256 c z[7][5][1] is 1257 c z[7][5][2] is 1258 c z[7][5][3] is 1259 c z[7][5][4] is 1260 c z[7][6][1] is 1261 c z[7][6][2] is 1262 c z[7][6][3] is 1263 c z[7][6][4] is 1264 c z[7][7][1] is 1265 c z[7][7][2] is 1266 c z[7][7][3] is 1267 c z[7][7][4] is 1268 c z[7][8][1] is 1269 c z[7][8][2] is 1270 c z[7][8][3] is 1271 c z[7][8][4] is 1272 c z[7][9][1] is 1273 c z[7][9][2] is 1274 c z[7][9][3] is 1275 c z[7][9][4] is 1276 c z[7][10][1] is 1277 c z[7][10][2] is 1278 c z[7][10][3] is 1279 c z[7][10][4] is 1280 c z[7][11][1] is 1281 c z[7][11][2] is 1282 c z[7][11][3] is 1283 c z[7][11][4] is 1284 c z[7][12][1] is 1285 c z[7][12][2] is 1286 c z[7][12][3] is 1287 c z[7][12][4] is 1288 c z[7][13][1] is 1289 c z[7][13][2] is 1290 c z[7][13][3] is 1291 c z[7][13][4] is 1292 c z[7][14][1] is 1293 c z[7][14][2] is 1294 c z[7][14][3] is 1295 c z[7][14][4] is 1296 c z[7][15][1] is 1297 c z[7][15][2] is 1298 c z[7][15][3] is 1299 c z[7][15][4] is 1300 c z[7][16][1] is 1301 c z[7][16][2] is 1302 c z[7][16][3] is 1303 c z[7][16][4] is 1304 c z[7][17][1] is 1305 c z[7][17][2] is 1306 c z[7][17][3] is 1307 c z[7][17][4] is 1308 c z[7][18][1] is 1309 c z[7][18][2] is 1310 c z[7][18][3] is 1311 c z[7][18][4] is 1312 c z[7][19][1] is 1313 c z[7][19][2] is 1314 c z[7][19][3] is 1315 c z[7][19][4] is 1316 c z[7][20][1] is 1317 c z[7][20][2] is 1318 c z[7][20][3] is 1319 c z[7][20][4] is 1320 c z[7][21][1] is 1321 c z[7][21][2] is 1322 c z[7][21][3] is 1323 c z[7][21][4] is 1324 c z[7][22][1] is 1325 c z[7][22][2] is 1326 c z[7][22][3] is 1327 c z[7][22][4] is 1328 c z[7][23][1] is 1329 c z[7][23][2] is 1330 c z[7][23][3] is 1331 c z[7][23][4] is 1332 c z[7][24][1] is 1333 c z[7][24][2] is 1334 c z[7][24][3] is 1335 c z[7][24][4] is 1336 c z[7][25][1] is 1337 c z[7][25][2] is 1338 c z[7][25][3] is 1339 c z[7][25][4] is 1340 c z[7][26][1] is 1341 c z[7][26][2] is 1342 c z[7][26][3] is 1343 c z[7][26][4] is 1344 c z[7][27][1] is 1345 c z[7][27][2] is 1346 c z[7][27][3] is 1347 c z[7][27][4] is 1348 c z[7][28][1] is 1349 c z[7][28][2] is 1350 c z[7][28][3] is 1351 c z[7][28][4] is 1352 c z[7][29][1] is 1353 c z[7][29][2] is 1354 c z[7][29][3] is 1355 c z[7][29][4] is 1356 c z[7][30][1] is 1357 c z[7][30][2] is 1358 c z[7][30][3] is 1359 c z[7][30][4] is 1360 c z[7][31][1] is 1361 c z[7][31][2] is 1362 c z[7][31][3] is 1363 c z[7][31][4] is 1364 c z[8][1][1] is 1365 c z[8][1][2] is 1366 c z[8][1][3] is 1367 c z[8][1][4] is 1368 c z[8][2][1] is 1369 c z[8][2][2] is 1370 c z[8][2][3] is 1371 c z[8][2][4] is 1372 c z[8][3][1] is 1373 c z[8][3][2] is 1374 c z[8][3][3] is 1375 c z[8][3][4] is 1376 c z[8][4][1] is 1377 c z[8][4][2] is 1378 c z[8][4][3] is 1379 c z[8][4][4] is 1380 c z[8][5][1] is 1381 c z[8][5][2] is 1382 c z[8][5][3] is 1383 c z[8][5][4] is 1384 c z[8][6][1] is 1385 c z[8][6][2] is 1386 c z[8][6][3] is 1387 c z[8][6][4] is 1388 c z[8][7][1] is 1389 c z[8][7][2] is 1390 c z[8][7][3] is 1391 c z[8][7][4] is 1392 c z[8][8][1] is 1393 c z[8][8][2] is 1394 c z[8][8][3] is 1395 c z[8][8][4] is 1396 c z[8][9][1] is 1397 c z[8][9][2] is 1398 c z[8][9][3] is 1399 c z[8][9][4] is 1400 c z[8][10][1] is 1401 c z[8][10][2] is 1402 c z[8][10][3] is 1403 c z[8][10][4] is 1404 c z[8][11][1] is 1405 c z[8][11][2] is 1406 c z[8][11][3] is 1407 c z[8][11][4] is 1408 c z[8][12][1] is 1409 c z[8][12][2] is 1410 c z[8][12][3] is 1411 c z[8][12][4] is 1412 c z[8][13][1] is 1413 c z[8][13][2] is 1414 c z[8][13][3] is 1415 c z[8][13][4] is 1416 c z[8][14][1] is 1417 c z[8][14][2] is 1418 c z[8][14][3] is 1419 c z[8][14][4] is 1420 c z[8][15][1] is 1421 c z[8][15][2] is 1422 c z[8][15][3] is 1423 c z[8][15][4] is 1424 c z[8][16][1] is 1425 c z[8][16][2] is 1426 c z[8][16][3] is 1427 c z[8][16][4] is 1428 c z[8][17][1] is 1429 c z[8][17][2] is 1430 c z[8][17][3] is 1431 c z[8][17][4] is 1432 c z[8][18][1] is 1433 c z[8][18][2] is 1434 c z[8][18][3] is 1435 c z[8][18][4] is 1436 c z[8][19][1] is 1437 c z[8][19][2] is 1438 c z[8][19][3] is 1439 c z[8][19][4] is 1440 c z[8][20][1] is 1441 c z[8][20][2] is 1442 c z[8][20][3] is 1443 c z[8][20][4] is 1444 c z[8][21][1] is 1445 c z[8][21][2] is 1446 c z[8][21][3] is 1447 c z[8][21][4] is 1448 c z[8][22][1] is 1449 c z[8][22][2] is 1450 c z[8][22][3] is 1451 c z[8][22][4] is 1452 c z[8][23][1] is 1453 c z[8][23][2] is 1454 c z[8][23][3] is 1455 c z[8][23][4] is 1456 c z[8][24][1] is 1457 c z[8][24][2] is 1458 c z[8][24][3] is 1459 c z[8][24][4] is 1460 c z[8][25][1] is 1461 c z[8][25][2] is 1462 c z[8][25][3] is 1463 c z[8][25][4] is 1464 c z[8][26][1] is 1465 c z[8][26][2] is 1466 c z[8][26][3] is 1467 c z[8][26][4] is 1468 c z[8][27][1] is 1469 c z[8][27][2] is 1470 c z[8][27][3] is 1471 c z[8][27][4] is 1472 c z[8][28][1] is 1473 c z[8][28][2] is 1474 c z[8][28][3] is 1475 c z[8][28][4] is 1476 c z[8][29][1] is 1477 c z[8][29][2] is 1478 c z[8][29][3] is 1479 c z[8][29][4] is 1480 c z[8][30][1] is 1481 c z[8][30][2] is 1482 c z[8][30][3] is 1483 c z[8][30][4] is 1484 c z[8][31][1] is 1485 c z[8][31][2] is 1486 c z[8][31][3] is 1487 c z[8][31][4] is 1488 c z[9][1][1] is 1489 c z[9][1][2] is 1490 c z[9][1][3] is 1491 c z[9][1][4] is 1492 c z[9][2][1] is 1493 c z[9][2][2] is 1494 c z[9][2][3] is 1495 c z[9][2][4] is 1496 c z[9][3][1] is 1497 c z[9][3][2] is 1498 c z[9][3][3] is 1499 c z[9][3][4] is 1500 c z[9][4][1] is 1501 c z[9][4][2] is 1502 c z[9][4][3] is 1503 c z[9][4][4] is 1504 c z[9][5][1] is 1505 c z[9][5][2] is 1506 c z[9][5][3] is 1507 c z[9][5][4] is 1508 c z[9][6][1] is 1509 c z[9][6][2] is 1510 c z[9][6][3] is 1511 c z[9][6][4] is 1512 c z[9][7][1] is 1513 c z[9][7][2] is 1514 c z[9][7][3] is 1515 c z[9][7][4] is 1516 c z[9][8][1] is 1517 c z[9][8][2] is 1518 c z[9][8][3] is 1519 c z[9][8][4] is 1520 c z[9][9][1] is 1521 c z[9][9][2] is 1522 c z[9][9][3] is 1523 c z[9][9][4] is 1524 c z[9][10][1] is 1525 c z[9][10][2] is 1526 c z[9][10][3] is 1527 c z[9][10][4] is 1528 c z[9][11][1] is 1529 c z[9][11][2] is 1530 c z[9][11][3] is 1531 c z[9][11][4] is 1532 c z[9][12][1] is 1533 c z[9][12][2] is 1534 c z[9][12][3] is 1535 c z[9][12][4] is 1536 c z[9][13][1] is 1537 c z[9][13][2] is 1538 c z[9][13][3] is 1539 c z[9][13][4] is 1540 c z[9][14][1] is 1541 c z[9][14][2] is 1542 c z[9][14][3] is 1543 c z[9][14][4] is 1544 c z[9][15][1] is 1545 c z[9][15][2] is 1546 c z[9][15][3] is 1547 c z[9][15][4] is 1548 c z[9][16][1] is 1549 c z[9][16][2] is 1550 c z[9][16][3] is 1551 c z[9][16][4] is 1552 c z[9][17][1] is 1553 c z[9][17][2] is 1554 c z[9][17][3] is 1555 c z[9][17][4] is 1556 c z[9][18][1] is 1557 c z[9][18][2] is 1558 c z[9][18][3] is 1559 c z[9][18][4] is 1560 c z[9][19][1] is 1561 c z[9][19][2] is 1562 c z[9][19][3] is 1563 c z[9][19][4] is 1564 c z[9][20][1] is 1565 c z[9][20][2] is 1566 c z[9][20][3] is 1567 c z[9][20][4] is 1568 c z[9][21][1] is 1569 c z[9][21][2] is 1570 c z[9][21][3] is 1571 c z[9][21][4] is 1572 c z[9][22][1] is 1573 c z[9][22][2] is 1574 c z[9][22][3] is 1575 c z[9][22][4] is 1576 c z[9][23][1] is 1577 c z[9][23][2] is 1578 c z[9][23][3] is 1579 c z[9][23][4] is 1580 c z[9][24][1] is 1581 c z[9][24][2] is 1582 c z[9][24][3] is 1583 c z[9][24][4] is 1584 c z[9][25][1] is 1585 c z[9][25][2] is 1586 c z[9][25][3] is 1587 c z[9][25][4] is 1588 c z[9][26][1] is 1589 c z[9][26][2] is 1590 c z[9][26][3] is 1591 c z[9][26][4] is 1592 c z[9][27][1] is 1593 c z[9][27][2] is 1594 c z[9][27][3] is 1595 c z[9][27][4] is 1596 c z[9][28][1] is 1597 c z[9][28][2] is 1598 c z[9][28][3] is 1599 c z[9][28][4] is 1600 c z[9][29][1] is 1601 c z[9][29][2] is 1602 c z[9][29][3] is 1603 c z[9][29][4] is 1604 c z[9][30][1] is 1605 c z[9][30][2] is 1606 c z[9][30][3] is 1607 c z[9][30][4] is 1608 c z[9][31][1] is 1609 c z[9][31][2] is 1610 c z[9][31][3] is 1611 c z[9][31][4] is 1612 c z[10][1][1] is 1613 c z[10][1][2] is 1614 c z[10][1][3] is 1615 c z[10][1][4] is 1616 c z[10][2][1] is 1617 c z[10][2][2] is 1618 c z[10][2][3] is 1619 c z[10][2][4] is 1620 c z[10][3][1] is 1621 c z[10][3][2] is 1622 c z[10][3][3] is 1623 c z[10][3][4] is 1624 c z[10][4][1] is 1625 c z[10][4][2] is 1626 c z[10][4][3] is 1627 c z[10][4][4] is 1628 c z[10][5][1] is 1629 c z[10][5][2] is 1630 c z[10][5][3] is 1631 c z[10][5][4] is 1632 c z[10][6][1] is 1633 c z[10][6][2] is 1634 c z[10][6][3] is 1635 c z[10][6][4] is 1636 c z[10][7][1] is 1637 c z[10][7][2] is 1638 c z[10][7][3] is 1639 c z[10][7][4] is 1640 c z[10][8][1] is 1641 c z[10][8][2] is 1642 c z[10][8][3] is 1643 c z[10][8][4] is 1644 c z[10][9][1] is 1645 c z[10][9][2] is 1646 c z[10][9][3] is 1647 c z[10][9][4] is 1648 c z[10][10][1] is 1649 c z[10][10][2] is 1650 c z[10][10][3] is 1651 c z[10][10][4] is 1652 c z[10][11][1] is 1653 c z[10][11][2] is 1654 c z[10][11][3] is 1655 c z[10][11][4] is 1656 c z[10][12][1] is 1657 c z[10][12][2] is 1658 c z[10][12][3] is 1659 c z[10][12][4] is 1660 c z[10][13][1] is 1661 c z[10][13][2] is 1662 c z[10][13][3] is 1663 c z[10][13][4] is 1664 c z[10][14][1] is 1665 c z[10][14][2] is 1666 c z[10][14][3] is 1667 c z[10][14][4] is 1668 c z[10][15][1] is 1669 c z[10][15][2] is 1670 c z[10][15][3] is 1671 c z[10][15][4] is 1672 c z[10][16][1] is 1673 c z[10][16][2] is 1674 c z[10][16][3] is 1675 c z[10][16][4] is 1676 c z[10][17][1] is 1677 c z[10][17][2] is 1678 c z[10][17][3] is 1679 c z[10][17][4] is 1680 c z[10][18][1] is 1681 c z[10][18][2] is 1682 c z[10][18][3] is 1683 c z[10][18][4] is 1684 c z[10][19][1] is 1685 c z[10][19][2] is 1686 c z[10][19][3] is 1687 c z[10][19][4] is 1688 c z[10][20][1] is 1689 c z[10][20][2] is 1690 c z[10][20][3] is 1691 c z[10][20][4] is 1692 c z[10][21][1] is 1693 c z[10][21][2] is 1694 c z[10][21][3] is 1695 c z[10][21][4] is 1696 c z[10][22][1] is 1697 c z[10][22][2] is 1698 c z[10][22][3] is 1699 c z[10][22][4] is 1700 c z[10][23][1] is 1701 c z[10][23][2] is 1702 c z[10][23][3] is 1703 c z[10][23][4] is 1704 c z[10][24][1] is 1705 c z[10][24][2] is 1706 c z[10][24][3] is 1707 c z[10][24][4] is 1708 c z[10][25][1] is 1709 c z[10][25][2] is 1710 c z[10][25][3] is 1711 c z[10][25][4] is 1712 c z[10][26][1] is 1713 c z[10][26][2] is 1714 c z[10][26][3] is 1715 c z[10][26][4] is 1716 c z[10][27][1] is 1717 c z[10][27][2] is 1718 c z[10][27][3] is 1719 c z[10][27][4] is 1720 c z[10][28][1] is 1721 c z[10][28][2] is 1722 c z[10][28][3] is 1723 c z[10][28][4] is 1724 c z[10][29][1] is 1725 c z[10][29][2] is 1726 c z[10][29][3] is 1727 c z[10][29][4] is 1728 c z[10][30][1] is 1729 c z[10][30][2] is 1730 c z[10][30][3] is 1731 c z[10][30][4] is 1732 c z[10][31][1] is 1733 c z[10][31][2] is 1734 c z[10][31][3] is 1735 c z[10][31][4] is 1736 c z[11][1][1] is 1737 c z[11][1][2] is 1738 c z[11][1][3] is 1739 c z[11][1][4] is 1740 c z[11][2][1] is 1741 c z[11][2][2] is 1742 c z[11][2][3] is 1743 c z[11][2][4] is 1744 c z[11][3][1] is 1745 c z[11][3][2] is 1746 c z[11][3][3] is 1747 c z[11][3][4] is 1748 c z[11][4][1] is 1749 c z[11][4][2] is 1750 c z[11][4][3] is 1751 c z[11][4][4] is 1752 c z[11][5][1] is 1753 c z[11][5][2] is 1754 c z[11][5][3] is 1755 c z[11][5][4] is 1756 c z[11][6][1] is 1757 c z[11][6][2] is 1758 c z[11][6][3] is 1759 c z[11][6][4] is 1760 c z[11][7][1] is 1761 c z[11][7][2] is 1762 c z[11][7][3] is 1763 c z[11][7][4] is 1764 c z[11][8][1] is 1765 c z[11][8][2] is 1766 c z[11][8][3] is 1767 c z[11][8][4] is 1768 c z[11][9][1] is 1769 c z[11][9][2] is 1770 c z[11][9][3] is 1771 c z[11][9][4] is 1772 c z[11][10][1] is 1773 c z[11][10][2] is 1774 c z[11][10][3] is 1775 c z[11][10][4] is 1776 c z[11][11][1] is 1777 c z[11][11][2] is 1778 c z[11][11][3] is 1779 c z[11][11][4] is 1780 c z[11][12][1] is 1781 c z[11][12][2] is 1782 c z[11][12][3] is 1783 c z[11][12][4] is 1784 c z[11][13][1] is 1785 c z[11][13][2] is 1786 c z[11][13][3] is 1787 c z[11][13][4] is 1788 c z[11][14][1] is 1789 c z[11][14][2] is 1790 c z[11][14][3] is 1791 c z[11][14][4] is 1792 c z[11][15][1] is 1793 c z[11][15][2] is 1794 c z[11][15][3] is 1795 c z[11][15][4] is 1796 c z[11][16][1] is 1797 c z[11][16][2] is 1798 c z[11][16][3] is 1799 c z[11][16][4] is 1800 c z[11][17][1] is 1801 c z[11][17][2] is 1802 c z[11][17][3] is 1803 c z[11][17][4] is 1804 c z[11][18][1] is 1805 c z[11][18][2] is 1806 c z[11][18][3] is 1807 c z[11][18][4] is 1808 c z[11][19][1] is 1809 c z[11][19][2] is 1810 c z[11][19][3] is 1811 c z[11][19][4] is 1812 c z[11][20][1] is 1813 c z[11][20][2] is 1814 c z[11][20][3] is 1815 c z[11][20][4] is 1816 c z[11][21][1] is 1817 c z[11][21][2] is 1818 c z[11][21][3] is 1819 c z[11][21][4] is 1820 c z[11][22][1] is 1821 c z[11][22][2] is 1822 c z[11][22][3] is 1823 c z[11][22][4] is 1824 c z[11][23][1] is 1825 c z[11][23][2] is 1826 c z[11][23][3] is 1827 c z[11][23][4] is 1828 c z[11][24][1] is 1829 c z[11][24][2] is 1830 c z[11][24][3] is 1831 c z[11][24][4] is 1832 c z[11][25][1] is 1833 c z[11][25][2] is 1834 c z[11][25][3] is 1835 c z[11][25][4] is 1836 c z[11][26][1] is 1837 c z[11][26][2] is 1838 c z[11][26][3] is 1839 c z[11][26][4] is 1840 c z[11][27][1] is 1841 c z[11][27][2] is 1842 c z[11][27][3] is 1843 c z[11][27][4] is 1844 c z[11][28][1] is 1845 c z[11][28][2] is 1846 c z[11][28][3] is 1847 c z[11][28][4] is 1848 c z[11][29][1] is 1849 c z[11][29][2] is 1850 c z[11][29][3] is 1851 c z[11][29][4] is 1852 c z[11][30][1] is 1853 c z[11][30][2] is 1854 c z[11][30][3] is 1855 c z[11][30][4] is 1856 c z[11][31][1] is 1857 c z[11][31][2] is 1858 c z[11][31][3] is 1859 c z[11][31][4] is 1860 c z[12][1][1] is 1861 c z[12][1][2] is 1862 c z[12][1][3] is 1863 c z[12][1][4] is 1864 c z[12][2][1] is 1865 c z[12][2][2] is 1866 c z[12][2][3] is 1867 c z[12][2][4] is 1868 c z[12][3][1] is 1869 c z[12][3][2] is 1870 c z[12][3][3] is 1871 c z[12][3][4] is 1872 c z[12][4][1] is 1873 c z[12][4][2] is 1874 c z[12][4][3] is 1875 c z[12][4][4] is 1876 c z[12][5][1] is 1877 c z[12][5][2] is 1878 c z[12][5][3] is 1879 c z[12][5][4] is 1880 c z[12][6][1] is 1881 c z[12][6][2] is 1882 c z[12][6][3] is 1883 c z[12][6][4] is 1884 c z[12][7][1] is 1885 c z[12][7][2] is 1886 c z[12][7][3] is 1887 c z[12][7][4] is 1888 c z[12][8][1] is 1889 c z[12][8][2] is 1890 c z[12][8][3] is 1891 c z[12][8][4] is 1892 c z[12][9][1] is 1893 c z[12][9][2] is 1894 c z[12][9][3] is 1895 c z[12][9][4] is 1896 c z[12][10][1] is 1897 c z[12][10][2] is 1898 c z[12][10][3] is 1899 c z[12][10][4] is 1900 c z[12][11][1] is 1901 c z[12][11][2] is 1902 c z[12][11][3] is 1903 c z[12][11][4] is 1904 c z[12][12][1] is 1905 c z[12][12][2] is 1906 c z[12][12][3] is 1907 c z[12][12][4] is 1908 c z[12][13][1] is 1909 c z[12][13][2] is 1910 c z[12][13][3] is 1911 c z[12][13][4] is 1912 c z[12][14][1] is 1913 c z[12][14][2] is 1914 c z[12][14][3] is 1915 c z[12][14][4] is 1916 c z[12][15][1] is 1917 c z[12][15][2] is 1918 c z[12][15][3] is 1919 c z[12][15][4] is 1920 c z[12][16][1] is 1921 c z[12][16][2] is 1922 c z[12][16][3] is 1923 c z[12][16][4] is 1924 c z[12][17][1] is 1925 c z[12][17][2] is 1926 c z[12][17][3] is 1927 c z[12][17][4] is 1928 c z[12][18][1] is 1929 c z[12][18][2] is 1930 c z[12][18][3] is 1931 c z[12][18][4] is 1932 c z[12][19][1] is 1933 c z[12][19][2] is 1934 c z[12][19][3] is 1935 c z[12][19][4] is 1936 c z[12][20][1] is 1937 c z[12][20][2] is 1938 c z[12][20][3] is 1939 c z[12][20][4] is 1940 c z[12][21][1] is 1941 c z[12][21][2] is 1942 c z[12][21][3] is 1943 c z[12][21][4] is 1944 c z[12][22][1] is 1945 c z[12][22][2] is 1946 c z[12][22][3] is 1947 c z[12][22][4] is 1948 c z[12][23][1] is 1949 c z[12][23][2] is 1950 c z[12][23][3] is 1951 c z[12][23][4] is 1952 c z[12][24][1] is 1953 c z[12][24][2] is 1954 c z[12][24][3] is 1955 c z[12][24][4] is 1956 c z[12][25][1] is 1957 c z[12][25][2] is 1958 c z[12][25][3] is 1959 c z[12][25][4] is 1960 c z[12][26][1] is 1961 c z[12][26][2] is 1962 c z[12][26][3] is 1963 c z[12][26][4] is 1964 c z[12][27][1] is 1965 c z[12][27][2] is 1966 c z[12][27][3] is 1967 c z[12][27][4] is 1968 c z[12][28][1] is 1969 c z[12][28][2] is 1970 c z[12][28][3] is 1971 c z[12][28][4] is 1972 c z[12][29][1] is 1973 c z[12][29][2] is 1974 c z[12][29][3] is 1975 c z[12][29][4] is 1976 c z[12][30][1] is 1977 c z[12][30][2] is 1978 c z[12][30][3] is 1979 c z[12][30][4] is 1980 c z[12][31][1] is 1981 c z[12][31][2] is 1982 c z[12][31][3] is 1983 c z[12][31][4] is 1984 c z[13][1][1] is 1985 c z[13][1][2] is 1986 c z[13][1][3] is 1987 c z[13][1][4] is 1988 c z[13][2][1] is 1989 c z[13][2][2] is 1990 c z[13][2][3] is 1991 c z[13][2][4] is 1992 c z[13][3][1] is 1993 c z[13][3][2] is 1994 c z[13][3][3] is 1995 c z[13][3][4] is 1996 c z[13][4][1] is 1997 c z[13][4][2] is 1998 c z[13][4][3] is 1999 c z[13][4][4] is 2000 c z[13][5][1] is 2001 c z[13][5][2] is 2002 c z[13][5][3] is 2003 c z[13][5][4] is 2004 c z[13][6][1] is 2005 c z[13][6][2] is 2006 c z[13][6][3] is 2007 c z[13][6][4] is 2008 c z[13][7][1] is 2009 c z[13][7][2] is 2010 c z[13][7][3] is 2011 c z[13][7][4] is 2012 c z[13][8][1] is 2013 c z[13][8][2] is 2014 c z[13][8][3] is 2015 c z[13][8][4] is 2016 c z[13][9][1] is 2017 c z[13][9][2] is 2018 c z[13][9][3] is 2019 c z[13][9][4] is 2020 c z[13][10][1] is 2021 c z[13][10][2] is 2022 c z[13][10][3] is 2023 c z[13][10][4] is 2024 c z[13][11][1] is 2025 c z[13][11][2] is 2026 c z[13][11][3] is 2027 c z[13][11][4] is 2028 c z[13][12][1] is 2029 c z[13][12][2] is 2030 c z[13][12][3] is 2031 c z[13][12][4] is 2032 c z[13][13][1] is 2033 c z[13][13][2] is 2034 c z[13][13][3] is 2035 c z[13][13][4] is 2036 c z[13][14][1] is 2037 c z[13][14][2] is 2038 c z[13][14][3] is 2039 c z[13][14][4] is 2040 c z[13][15][1] is 2041 c z[13][15][2] is 2042 c z[13][15][3] is 2043 c z[13][15][4] is 2044 c z[13][16][1] is 2045 c z[13][16][2] is 2046 c z[13][16][3] is 2047 c z[13][16][4] is 2048 c z[13][17][1] is 2049 c z[13][17][2] is 2050 c z[13][17][3] is 2051 c z[13][17][4] is 2052 c z[13][18][1] is 2053 c z[13][18][2] is 2054 c z[13][18][3] is 2055 c z[13][18][4] is 2056 c z[13][19][1] is 2057 c z[13][19][2] is 2058 c z[13][19][3] is 2059 c z[13][19][4] is 2060 c z[13][20][1] is 2061 c z[13][20][2] is 2062 c z[13][20][3] is 2063 c z[13][20][4] is 2064 c z[13][21][1] is 2065 c z[13][21][2] is 2066 c z[13][21][3] is 2067 c z[13][21][4] is 2068 c z[13][22][1] is 2069 c z[13][22][2] is 2070 c z[13][22][3] is 2071 c z[13][22][4] is 2072 c z[13][23][1] is 2073 c z[13][23][2] is 2074 c z[13][23][3] is 2075 c z[13][23][4] is 2076 c z[13][24][1] is 2077 c z[13][24][2] is 2078 c z[13][24][3] is 2079 c z[13][24][4] is 2080 c z[13][25][1] is 2081 c z[13][25][2] is 2082 c z[13][25][3] is 2083 c z[13][25][4] is 2084 c z[13][26][1] is 2085 c z[13][26][2] is 2086 c z[13][26][3] is 2087 c z[13][26][4] is 2088 c z[13][27][1] is 2089 c z[13][27][2] is 2090 c z[13][27][3] is 2091 c z[13][27][4] is 2092 c z[13][28][1] is 2093 c z[13][28][2] is 2094 c z[13][28][3] is 2095 c z[13][28][4] is 2096 c z[13][29][1] is 2097 c z[13][29][2] is 2098 c z[13][29][3] is 2099 c z[13][29][4] is 2100 c z[13][30][1] is 2101 c z[13][30][2] is 2102 c z[13][30][3] is 2103 c z[13][30][4] is 2104 c z[13][31][1] is 2105 c z[13][31][2] is 2106 c z[13][31][3] is 2107 c z[13][31][4] is 2108 c z[14][1][1] is 2109 c z[14][1][2] is 2110 c z[14][1][3] is 2111 c z[14][1][4] is 2112 c z[14][2][1] is 2113 c z[14][2][2] is 2114 c z[14][2][3] is 2115 c z[14][2][4] is 2116 c z[14][3][1] is 2117 c z[14][3][2] is 2118 c z[14][3][3] is 2119 c z[14][3][4] is 2120 c z[14][4][1] is 2121 c z[14][4][2] is 2122 c z[14][4][3] is 2123 c z[14][4][4] is 2124 c z[14][5][1] is 2125 c z[14][5][2] is 2126 c z[14][5][3] is 2127 c z[14][5][4] is 2128 c z[14][6][1] is 2129 c z[14][6][2] is 2130 c z[14][6][3] is 2131 c z[14][6][4] is 2132 c z[14][7][1] is 2133 c z[14][7][2] is 2134 c z[14][7][3] is 2135 c z[14][7][4] is 2136 c z[14][8][1] is 2137 c z[14][8][2] is 2138 c z[14][8][3] is 2139 c z[14][8][4] is 2140 c z[14][9][1] is 2141 c z[14][9][2] is 2142 c z[14][9][3] is 2143 c z[14][9][4] is 2144 c z[14][10][1] is 2145 c z[14][10][2] is 2146 c z[14][10][3] is 2147 c z[14][10][4] is 2148 c z[14][11][1] is 2149 c z[14][11][2] is 2150 c z[14][11][3] is 2151 c z[14][11][4] is 2152 c z[14][12][1] is 2153 c z[14][12][2] is 2154 c z[14][12][3] is 2155 c z[14][12][4] is 2156 c z[14][13][1] is 2157 c z[14][13][2] is 2158 c z[14][13][3] is 2159 c z[14][13][4] is 2160 c z[14][14][1] is 2161 c z[14][14][2] is 2162 c z[14][14][3] is 2163 c z[14][14][4] is 2164 c z[14][15][1] is 2165 c z[14][15][2] is 2166 c z[14][15][3] is 2167 c z[14][15][4] is 2168 c z[14][16][1] is 2169 c z[14][16][2] is 2170 c z[14][16][3] is 2171 c z[14][16][4] is 2172 c z[14][17][1] is 2173 c z[14][17][2] is 2174 c z[14][17][3] is 2175 c z[14][17][4] is 2176 c z[14][18][1] is 2177 c z[14][18][2] is 2178 c z[14][18][3] is 2179 c z[14][18][4] is 2180 c z[14][19][1] is 2181 c z[14][19][2] is 2182 c z[14][19][3] is 2183 c z[14][19][4] is 2184 c z[14][20][1] is 2185 c z[14][20][2] is 2186 c z[14][20][3] is 2187 c z[14][20][4] is 2188 c z[14][21][1] is 2189 c z[14][21][2] is 2190 c z[14][21][3] is 2191 c z[14][21][4] is 2192 c z[14][22][1] is 2193 c z[14][22][2] is 2194 c z[14][22][3] is 2195 c z[14][22][4] is 2196 c z[14][23][1] is 2197 c z[14][23][2] is 2198 c z[14][23][3] is 2199 c z[14][23][4] is 2200 c z[14][24][1] is 2201 c z[14][24][2] is 2202 c z[14][24][3] is 2203 c z[14][24][4] is 2204 c z[14][25][1] is 2205 c z[14][25][2] is 2206 c z[14][25][3] is 2207 c z[14][25][4] is 2208 c z[14][26][1] is 2209 c z[14][26][2] is 2210 c z[14][26][3] is 2211 c z[14][26][4] is 2212 c z[14][27][1] is 2213 c z[14][27][2] is 2214 c z[14][27][3] is 2215 c z[14][27][4] is 2216 c z[14][28][1] is 2217 c z[14][28][2] is 2218 c z[14][28][3] is 2219 c z[14][28][4] is 2220 c z[14][29][1] is 2221 c z[14][29][2] is 2222 c z[14][29][3] is 2223 c z[14][29][4] is 2224 c z[14][30][1] is 2225 c z[14][30][2] is 2226 c z[14][30][3] is 2227 c z[14][30][4] is 2228 c z[14][31][1] is 2229 c z[14][31][2] is 2230 c z[14][31][3] is 2231 c z[14][31][4] is 2232 c z[15][1][1] is 2233 c z[15][1][2] is 2234 c z[15][1][3] is 2235 c z[15][1][4] is 2236 c z[15][2][1] is 2237 c z[15][2][2] is 2238 c z[15][2][3] is 2239 c z[15][2][4] is 2240 c z[15][3][1] is 2241 c z[15][3][2] is 2242 c z[15][3][3] is 2243 c z[15][3][4] is 2244 c z[15][4][1] is 2245 c z[15][4][2] is 2246 c z[15][4][3] is 2247 c z[15][4][4] is 2248 c z[15][5][1] is 2249 c z[15][5][2] is 2250 c z[15][5][3] is 2251 c z[15][5][4] is 2252 c z[15][6][1] is 2253 c z[15][6][2] is 2254 c z[15][6][3] is 2255 c z[15][6][4] is 2256 c z[15][7][1] is 2257 c z[15][7][2] is 2258 c z[15][7][3] is 2259 c z[15][7][4] is 2260 c z[15][8][1] is 2261 c z[15][8][2] is 2262 c z[15][8][3] is 2263 c z[15][8][4] is 2264 c z[15][9][1] is 2265 c z[15][9][2] is 2266 c z[15][9][3] is 2267 c z[15][9][4] is 2268 c z[15][10][1] is 2269 c z[15][10][2] is 2270 c z[15][10][3] is 2271 c z[15][10][4] is 2272 c z[15][11][1] is 2273 c z[15][11][2] is 2274 c z[15][11][3] is 2275 c z[15][11][4] is 2276 c z[15][12][1] is 2277 c z[15][12][2] is 2278 c z[15][12][3] is 2279 c z[15][12][4] is 2280 c z[15][13][1] is 2281 c z[15][13][2] is 2282 c z[15][13][3] is 2283 c z[15][13][4] is 2284 c z[15][14][1] is 2285 c z[15][14][2] is 2286 c z[15][14][3] is 2287 c z[15][14][4] is 2288 c z[15][15][1] is 2289 c z[15][15][2] is 2290 c z[15][15][3] is 2291 c z[15][15][4] is 2292 c z[15][16][1] is 2293 c z[15][16][2] is 2294 c z[15][16][3] is 2295 c z[15][16][4] is 2296 c z[15][17][1] is 2297 c z[15][17][2] is 2298 c z[15][17][3] is 2299 c z[15][17][4] is 2300 c z[15][18][1] is 2301 c z[15][18][2] is 2302 c z[15][18][3] is 2303 c z[15][18][4] is 2304 c z[15][19][1] is 2305 c z[15][19][2] is 2306 c z[15][19][3] is 2307 c z[15][19][4] is 2308 c z[15][20][1] is 2309 c z[15][20][2] is 2310 c z[15][20][3] is 2311 c z[15][20][4] is 2312 c z[15][21][1] is 2313 c z[15][21][2] is 2314 c z[15][21][3] is 2315 c z[15][21][4] is 2316 c z[15][22][1] is 2317 c z[15][22][2] is 2318 c z[15][22][3] is 2319 c z[15][22][4] is 2320 c z[15][23][1] is 2321 c z[15][23][2] is 2322 c z[15][23][3] is 2323 c z[15][23][4] is 2324 c z[15][24][1] is 2325 c z[15][24][2] is 2326 c z[15][24][3] is 2327 c z[15][24][4] is 2328 c z[15][25][1] is 2329 c z[15][25][2] is 2330 c z[15][25][3] is 2331 c z[15][25][4] is 2332 c z[15][26][1] is 2333 c z[15][26][2] is 2334 c z[15][26][3] is 2335 c z[15][26][4] is 2336 c z[15][27][1] is 2337 c z[15][27][2] is 2338 c z[15][27][3] is 2339 c z[15][27][4] is 2340 c z[15][28][1] is 2341 c z[15][28][2] is 2342 c z[15][28][3] is 2343 c z[15][28][4] is 2344 c z[15][29][1] is 2345 c z[15][29][2] is 2346 c z[15][29][3] is 2347 c z[15][29][4] is 2348 c z[15][30][1] is 2349 c z[15][30][2] is 2350 c z[15][30][3] is 2351 c z[15][30][4] is 2352 c z[15][31][1] is 2353 c z[15][31][2] is 2354 c z[15][31][3] is 2355 c z[15][31][4] is 2356 c z[16][1][1] is 2357 c z[16][1][2] is 2358 c z[16][1][3] is 2359 c z[16][1][4] is 2360 c z[16][2][1] is 2361 c z[16][2][2] is 2362 c z[16][2][3] is 2363 c z[16][2][4] is 2364 c z[16][3][1] is 2365 c z[16][3][2] is 2366 c z[16][3][3] is 2367 c z[16][3][4] is 2368 c z[16][4][1] is 2369 c z[16][4][2] is 2370 c z[16][4][3] is 2371 c z[16][4][4] is 2372 c z[16][5][1] is 2373 c z[16][5][2] is 2374 c z[16][5][3] is 2375 c z[16][5][4] is 2376 c z[16][6][1] is 2377 c z[16][6][2] is 2378 c z[16][6][3] is 2379 c z[16][6][4] is 2380 c z[16][7][1] is 2381 c z[16][7][2] is 2382 c z[16][7][3] is 2383 c z[16][7][4] is 2384 c z[16][8][1] is 2385 c z[16][8][2] is 2386 c z[16][8][3] is 2387 c z[16][8][4] is 2388 c z[16][9][1] is 2389 c z[16][9][2] is 2390 c z[16][9][3] is 2391 c z[16][9][4] is 2392 c z[16][10][1] is 2393 c z[16][10][2] is 2394 c z[16][10][3] is 2395 c z[16][10][4] is 2396 c z[16][11][1] is 2397 c z[16][11][2] is 2398 c z[16][11][3] is 2399 c z[16][11][4] is 2400 c z[16][12][1] is 2401 c z[16][12][2] is 2402 c z[16][12][3] is 2403 c z[16][12][4] is 2404 c z[16][13][1] is 2405 c z[16][13][2] is 2406 c z[16][13][3] is 2407 c z[16][13][4] is 2408 c z[16][14][1] is 2409 c z[16][14][2] is 2410 c z[16][14][3] is 2411 c z[16][14][4] is 2412 c z[16][15][1] is 2413 c z[16][15][2] is 2414 c z[16][15][3] is 2415 c z[16][15][4] is 2416 c z[16][16][1] is 2417 c z[16][16][2] is 2418 c z[16][16][3] is 2419 c z[16][16][4] is 2420 c z[16][17][1] is 2421 c z[16][17][2] is 2422 c z[16][17][3] is 2423 c z[16][17][4] is 2424 c z[16][18][1] is 2425 c z[16][18][2] is 2426 c z[16][18][3] is 2427 c z[16][18][4] is 2428 c z[16][19][1] is 2429 c z[16][19][2] is 2430 c z[16][19][3] is 2431 c z[16][19][4] is 2432 c z[16][20][1] is 2433 c z[16][20][2] is 2434 c z[16][20][3] is 2435 c z[16][20][4] is 2436 c z[16][21][1] is 2437 c z[16][21][2] is 2438 c z[16][21][3] is 2439 c z[16][21][4] is 2440 c z[16][22][1] is 2441 c z[16][22][2] is 2442 c z[16][22][3] is 2443 c z[16][22][4] is 2444 c z[16][23][1] is 2445 c z[16][23][2] is 2446 c z[16][23][3] is 2447 c z[16][23][4] is 2448 c z[16][24][1] is 2449 c z[16][24][2] is 2450 c z[16][24][3] is 2451 c z[16][24][4] is 2452 c z[16][25][1] is 2453 c z[16][25][2] is 2454 c z[16][25][3] is 2455 c z[16][25][4] is 2456 c z[16][26][1] is 2457 c z[16][26][2] is 2458 c z[16][26][3] is 2459 c z[16][26][4] is 2460 c z[16][27][1] is 2461 c z[16][27][2] is 2462 c z[16][27][3] is 2463 c z[16][27][4] is 2464 c z[16][28][1] is 2465 c z[16][28][2] is 2466 c z[16][28][3] is 2467 c z[16][28][4] is 2468 c z[16][29][1] is 2469 c z[16][29][2] is 2470 c z[16][29][3] is 2471 c z[16][29][4] is 2472 c z[16][30][1] is 2473 c z[16][30][2] is 2474 c z[16][30][3] is 2475 c z[16][30][4] is 2476 c z[16][31][1] is 2477 c z[16][31][2] is 2478 c z[16][31][3] is 2479 c z[16][31][4] is 2480 c z[17][1][1] is 2481 c z[17][1][2] is 2482 c z[17][1][3] is 2483 c z[17][1][4] is 2484 c z[17][2][1] is 2485 c z[17][2][2] is 2486 c z[17][2][3] is 2487 c z[17][2][4] is 2488 c z[17][3][1] is 2489 c z[17][3][2] is 2490 c z[17][3][3] is 2491 c z[17][3][4] is 2492 c z[17][4][1] is 2493 c z[17][4][2] is 2494 c z[17][4][3] is 2495 c z[17][4][4] is 2496 c z[17][5][1] is 2497 c z[17][5][2] is 2498 c z[17][5][3] is 2499 c z[17][5][4] is 2500 c z[17][6][1] is 2501 c z[17][6][2] is 2502 c z[17][6][3] is 2503 c z[17][6][4] is 2504 c z[17][7][1] is 2505 c z[17][7][2] is 2506 c z[17][7][3] is 2507 c z[17][7][4] is 2508 c z[17][8][1] is 2509 c z[17][8][2] is 2510 c z[17][8][3] is 2511 c z[17][8][4] is 2512 c z[17][9][1] is 2513 c z[17][9][2] is 2514 c z[17][9][3] is 2515 c z[17][9][4] is 2516 c z[17][10][1] is 2517 c z[17][10][2] is 2518 c z[17][10][3] is 2519 c z[17][10][4] is 2520 c z[17][11][1] is 2521 c z[17][11][2] is 2522 c z[17][11][3] is 2523 c z[17][11][4] is 2524 c z[17][12][1] is 2525 c z[17][12][2] is 2526 c z[17][12][3] is 2527 c z[17][12][4] is 2528 c z[17][13][1] is 2529 c z[17][13][2] is 2530 c z[17][13][3] is 2531 c z[17][13][4] is 2532 c z[17][14][1] is 2533 c z[17][14][2] is 2534 c z[17][14][3] is 2535 c z[17][14][4] is 2536 c z[17][15][1] is 2537 c z[17][15][2] is 2538 c z[17][15][3] is 2539 c z[17][15][4] is 2540 c z[17][16][1] is 2541 c z[17][16][2] is 2542 c z[17][16][3] is 2543 c z[17][16][4] is 2544 c z[17][17][1] is 2545 c z[17][17][2] is 2546 c z[17][17][3] is 2547 c z[17][17][4] is 2548 c z[17][18][1] is 2549 c z[17][18][2] is 2550 c z[17][18][3] is 2551 c z[17][18][4] is 2552 c z[17][19][1] is 2553 c z[17][19][2] is 2554 c z[17][19][3] is 2555 c z[17][19][4] is 2556 c z[17][20][1] is 2557 c z[17][20][2] is 2558 c z[17][20][3] is 2559 c z[17][20][4] is 2560 c z[17][21][1] is 2561 c z[17][21][2] is 2562 c z[17][21][3] is 2563 c z[17][21][4] is 2564 c z[17][22][1] is 2565 c z[17][22][2] is 2566 c z[17][22][3] is 2567 c z[17][22][4] is 2568 c z[17][23][1] is 2569 c z[17][23][2] is 2570 c z[17][23][3] is 2571 c z[17][23][4] is 2572 c z[17][24][1] is 2573 c z[17][24][2] is 2574 c z[17][24][3] is 2575 c z[17][24][4] is 2576 c z[17][25][1] is 2577 c z[17][25][2] is 2578 c z[17][25][3] is 2579 c z[17][25][4] is 2580 c z[17][26][1] is 2581 c z[17][26][2] is 2582 c z[17][26][3] is 2583 c z[17][26][4] is 2584 c z[17][27][1] is 2585 c z[17][27][2] is 2586 c z[17][27][3] is 2587 c z[17][27][4] is 2588 c z[17][28][1] is 2589 c z[17][28][2] is 2590 c z[17][28][3] is 2591 c z[17][28][4] is 2592 c z[17][29][1] is 2593 c z[17][29][2] is 2594 c z[17][29][3] is 2595 c z[17][29][4] is 2596 c z[17][30][1] is 2597 c z[17][30][2] is 2598 c z[17][30][3] is 2599 c z[17][30][4] is 2600 c z[17][31][1] is 2601 c z[17][31][2] is 2602 c z[17][31][3] is 2603 c z[17][31][4] is 2604 c z[18][1][1] is 2605 c z[18][1][2] is 2606 c z[18][1][3] is 2607 c z[18][1][4] is 2608 c z[18][2][1] is 2609 c z[18][2][2] is 2610 c z[18][2][3] is 2611 c z[18][2][4] is 2612 c z[18][3][1] is 2613 c z[18][3][2] is 2614 c z[18][3][3] is 2615 c z[18][3][4] is 2616 c z[18][4][1] is 2617 c z[18][4][2] is 2618 c z[18][4][3] is 2619 c z[18][4][4] is 2620 c z[18][5][1] is 2621 c z[18][5][2] is 2622 c z[18][5][3] is 2623 c z[18][5][4] is 2624 c z[18][6][1] is 2625 c z[18][6][2] is 2626 c z[18][6][3] is 2627 c z[18][6][4] is 2628 c z[18][7][1] is 2629 c z[18][7][2] is 2630 c z[18][7][3] is 2631 c z[18][7][4] is 2632 c z[18][8][1] is 2633 c z[18][8][2] is 2634 c z[18][8][3] is 2635 c z[18][8][4] is 2636 c z[18][9][1] is 2637 c z[18][9][2] is 2638 c z[18][9][3] is 2639 c z[18][9][4] is 2640 c z[18][10][1] is 2641 c z[18][10][2] is 2642 c z[18][10][3] is 2643 c z[18][10][4] is 2644 c z[18][11][1] is 2645 c z[18][11][2] is 2646 c z[18][11][3] is 2647 c z[18][11][4] is 2648 c z[18][12][1] is 2649 c z[18][12][2] is 2650 c z[18][12][3] is 2651 c z[18][12][4] is 2652 c z[18][13][1] is 2653 c z[18][13][2] is 2654 c z[18][13][3] is 2655 c z[18][13][4] is 2656 c z[18][14][1] is 2657 c z[18][14][2] is 2658 c z[18][14][3] is 2659 c z[18][14][4] is 2660 c z[18][15][1] is 2661 c z[18][15][2] is 2662 c z[18][15][3] is 2663 c z[18][15][4] is 2664 c z[18][16][1] is 2665 c z[18][16][2] is 2666 c z[18][16][3] is 2667 c z[18][16][4] is 2668 c z[18][17][1] is 2669 c z[18][17][2] is 2670 c z[18][17][3] is 2671 c z[18][17][4] is 2672 c z[18][18][1] is 2673 c z[18][18][2] is 2674 c z[18][18][3] is 2675 c z[18][18][4] is 2676 c z[18][19][1] is 2677 c z[18][19][2] is 2678 c z[18][19][3] is 2679 c z[18][19][4] is 2680 c z[18][20][1] is 2681 c z[18][20][2] is 2682 c z[18][20][3] is 2683 c z[18][20][4] is 2684 c z[18][21][1] is 2685 c z[18][21][2] is 2686 c z[18][21][3] is 2687 c z[18][21][4] is 2688 c z[18][22][1] is 2689 c z[18][22][2] is 2690 c z[18][22][3] is 2691 c z[18][22][4] is 2692 c z[18][23][1] is 2693 c z[18][23][2] is 2694 c z[18][23][3] is 2695 c z[18][23][4] is 2696 c z[18][24][1] is 2697 c z[18][24][2] is 2698 c z[18][24][3] is 2699 c z[18][24][4] is 2700 c z[18][25][1] is 2701 c z[18][25][2] is 2702 c z[18][25][3] is 2703 c z[18][25][4] is 2704 c z[18][26][1] is 2705 c z[18][26][2] is 2706 c z[18][26][3] is 2707 c z[18][26][4] is 2708 c z[18][27][1] is 2709 c z[18][27][2] is 2710 c z[18][27][3] is 2711 c z[18][27][4] is 2712 c z[18][28][1] is 2713 c z[18][28][2] is 2714 c z[18][28][3] is 2715 c z[18][28][4] is 2716 c z[18][29][1] is 2717 c z[18][29][2] is 2718 c z[18][29][3] is 2719 c z[18][29][4] is 2720 c z[18][30][1] is 2721 c z[18][30][2] is 2722 c z[18][30][3] is 2723 c z[18][30][4] is 2724 c z[18][31][1] is 2725 c z[18][31][2] is 2726 c z[18][31][3] is 2727 c z[18][31][4] is 2728 c z[19][1][1] is 2729 c z[19][1][2] is 2730 c z[19][1][3] is 2731 c z[19][1][4] is 2732 c z[19][2][1] is 2733 c z[19][2][2] is 2734 c z[19][2][3] is 2735 c z[19][2][4] is 2736 c z[19][3][1] is 2737 c z[19][3][2] is 2738 c z[19][3][3] is 2739 c z[19][3][4] is 2740 c z[19][4][1] is 2741 c z[19][4][2] is 2742 c z[19][4][3] is 2743 c z[19][4][4] is 2744 c z[19][5][1] is 2745 c z[19][5][2] is 2746 c z[19][5][3] is 2747 c z[19][5][4] is 2748 c z[19][6][1] is 2749 c z[19][6][2] is 2750 c z[19][6][3] is 2751 c z[19][6][4] is 2752 c z[19][7][1] is 2753 c z[19][7][2] is 2754 c z[19][7][3] is 2755 c z[19][7][4] is 2756 c z[19][8][1] is 2757 c z[19][8][2] is 2758 c z[19][8][3] is 2759 c z[19][8][4] is 2760 c z[19][9][1] is 2761 c z[19][9][2] is 2762 c z[19][9][3] is 2763 c z[19][9][4] is 2764 c z[19][10][1] is 2765 c z[19][10][2] is 2766 c z[19][10][3] is 2767 c z[19][10][4] is 2768 c z[19][11][1] is 2769 c z[19][11][2] is 2770 c z[19][11][3] is 2771 c z[19][11][4] is 2772 c z[19][12][1] is 2773 c z[19][12][2] is 2774 c z[19][12][3] is 2775 c z[19][12][4] is 2776 c z[19][13][1] is 2777 c z[19][13][2] is 2778 c z[19][13][3] is 2779 c z[19][13][4] is 2780 c z[19][14][1] is 2781 c z[19][14][2] is 2782 c z[19][14][3] is 2783 c z[19][14][4] is 2784 c z[19][15][1] is 2785 c z[19][15][2] is 2786 c z[19][15][3] is 2787 c z[19][15][4] is 2788 c z[19][16][1] is 2789 c z[19][16][2] is 2790 c z[19][16][3] is 2791 c z[19][16][4] is 2792 c z[19][17][1] is 2793 c z[19][17][2] is 2794 c z[19][17][3] is 2795 c z[19][17][4] is 2796 c z[19][18][1] is 2797 c z[19][18][2] is 2798 c z[19][18][3] is 2799 c z[19][18][4] is 2800 c z[19][19][1] is 2801 c z[19][19][2] is 2802 c z[19][19][3] is 2803 c z[19][19][4] is 2804 c z[19][20][1] is 2805 c z[19][20][2] is 2806 c z[19][20][3] is 2807 c z[19][20][4] is 2808 c z[19][21][1] is 2809 c z[19][21][2] is 2810 c z[19][21][3] is 2811 c z[19][21][4] is 2812 c z[19][22][1] is 2813 c z[19][22][2] is 2814 c z[19][22][3] is 2815 c z[19][22][4] is 2816 c z[19][23][1] is 2817 c z[19][23][2] is 2818 c z[19][23][3] is 2819 c z[19][23][4] is 2820 c z[19][24][1] is 2821 c z[19][24][2] is 2822 c z[19][24][3] is 2823 c z[19][24][4] is 2824 c z[19][25][1] is 2825 c z[19][25][2] is 2826 c z[19][25][3] is 2827 c z[19][25][4] is 2828 c z[19][26][1] is 2829 c z[19][26][2] is 2830 c z[19][26][3] is 2831 c z[19][26][4] is 2832 c z[19][27][1] is 2833 c z[19][27][2] is 2834 c z[19][27][3] is 2835 c z[19][27][4] is 2836 c z[19][28][1] is 2837 c z[19][28][2] is 2838 c z[19][28][3] is 2839 c z[19][28][4] is 2840 c z[19][29][1] is 2841 c z[19][29][2] is 2842 c z[19][29][3] is 2843 c z[19][29][4] is 2844 c z[19][30][1] is 2845 c z[19][30][2] is 2846 c z[19][30][3] is 2847 c z[19][30][4] is 2848 c z[19][31][1] is 2849 c z[19][31][2] is 2850 c z[19][31][3] is 2851 c z[19][31][4] is 2852 c z[20][1][1] is 2853 c z[20][1][2] is 2854 c z[20][1][3] is 2855 c z[20][1][4] is 2856 c z[20][2][1] is 2857 c z[20][2][2] is 2858 c z[20][2][3] is 2859 c z[20][2][4] is 2860 c z[20][3][1] is 2861 c z[20][3][2] is 2862 c z[20][3][3] is 2863 c z[20][3][4] is 2864 c z[20][4][1] is 2865 c z[20][4][2] is 2866 c z[20][4][3] is 2867 c z[20][4][4] is 2868 c z[20][5][1] is 2869 c z[20][5][2] is 2870 c z[20][5][3] is 2871 c z[20][5][4] is 2872 c z[20][6][1] is 2873 c z[20][6][2] is 2874 c z[20][6][3] is 2875 c z[20][6][4] is 2876 c z[20][7][1] is 2877 c z[20][7][2] is 2878 c z[20][7][3] is 2879 c z[20][7][4] is 2880 c z[20][8][1] is 2881 c z[20][8][2] is 2882 c z[20][8][3] is 2883 c z[20][8][4] is 2884 c z[20][9][1] is 2885 c z[20][9][2] is 2886 c z[20][9][3] is 2887 c z[20][9][4] is 2888 c z[20][10][1] is 2889 c z[20][10][2] is 2890 c z[20][10][3] is 2891 c z[20][10][4] is 2892 c z[20][11][1] is 2893 c z[20][11][2] is 2894 c z[20][11][3] is 2895 c z[20][11][4] is 2896 c z[20][12][1] is 2897 c z[20][12][2] is 2898 c z[20][12][3] is 2899 c z[20][12][4] is 2900 c z[20][13][1] is 2901 c z[20][13][2] is 2902 c z[20][13][3] is 2903 c z[20][13][4] is 2904 c z[20][14][1] is 2905 c z[20][14][2] is 2906 c z[20][14][3] is 2907 c z[20][14][4] is 2908 c z[20][15][1] is 2909 c z[20][15][2] is 2910 c z[20][15][3] is 2911 c z[20][15][4] is 2912 c z[20][16][1] is 2913 c z[20][16][2] is 2914 c z[20][16][3] is 2915 c z[20][16][4] is 2916 c z[20][17][1] is 2917 c z[20][17][2] is 2918 c z[20][17][3] is 2919 c z[20][17][4] is 2920 c z[20][18][1] is 2921 c z[20][18][2] is 2922 c z[20][18][3] is 2923 c z[20][18][4] is 2924 c z[20][19][1] is 2925 c z[20][19][2] is 2926 c z[20][19][3] is 2927 c z[20][19][4] is 2928 c z[20][20][1] is 2929 c z[20][20][2] is 2930 c z[20][20][3] is 2931 c z[20][20][4] is 2932 c z[20][21][1] is 2933 c z[20][21][2] is 2934 c z[20][21][3] is 2935 c z[20][21][4] is 2936 c z[20][22][1] is 2937 c z[20][22][2] is 2938 c z[20][22][3] is 2939 c z[20][22][4] is 2940 c z[20][23][1] is 2941 c z[20][23][2] is 2942 c z[20][23][3] is 2943 c z[20][23][4] is 2944 c z[20][24][1] is 2945 c z[20][24][2] is 2946 c z[20][24][3] is 2947 c z[20][24][4] is 2948 c z[20][25][1] is 2949 c z[20][25][2] is 2950 c z[20][25][3] is 2951 c z[20][25][4] is 2952 c z[20][26][1] is 2953 c z[20][26][2] is 2954 c z[20][26][3] is 2955 c z[20][26][4] is 2956 c z[20][27][1] is 2957 c z[20][27][2] is 2958 c z[20][27][3] is 2959 c z[20][27][4] is 2960 c z[20][28][1] is 2961 c z[20][28][2] is 2962 c z[20][28][3] is 2963 c z[20][28][4] is 2964 c z[20][29][1] is 2965 c z[20][29][2] is 2966 c z[20][29][3] is 2967 c z[20][29][4] is 2968 c z[20][30][1] is 2969 c z[20][30][2] is 2970 c z[20][30][3] is 2971 c z[20][30][4] is 2972 c z[20][31][1] is 2973 c z[20][31][2] is 2974 c z[20][31][3] is 2975 c z[20][31][4] is 2976 c z[21][1][1] is 2977 c z[21][1][2] is 2978 c z[21][1][3] is 2979 c z[21][1][4] is 2980 c z[21][2][1] is 2981 c z[21][2][2] is 2982 c z[21][2][3] is 2983 c z[21][2][4] is 2984 c z[21][3][1] is 2985 c z[21][3][2] is 2986 c z[21][3][3] is 2987 c z[21][3][4] is 2988 c z[21][4][1] is 2989 c z[21][4][2] is 2990 c z[21][4][3] is 2991 c z[21][4][4] is 2992 c z[21][5][1] is 2993 c z[21][5][2] is 2994 c z[21][5][3] is 2995 c z[21][5][4] is 2996 c z[21][6][1] is 2997 c z[21][6][2] is 2998 c z[21][6][3] is 2999 c z[21][6][4] is 3000 c z[21][7][1] is 3001 c z[21][7][2] is 3002 c z[21][7][3] is 3003 c z[21][7][4] is 3004 c z[21][8][1] is 3005 c z[21][8][2] is 3006 c z[21][8][3] is 3007 c z[21][8][4] is 3008 c z[21][9][1] is 3009 c z[21][9][2] is 3010 c z[21][9][3] is 3011 c z[21][9][4] is 3012 c z[21][10][1] is 3013 c z[21][10][2] is 3014 c z[21][10][3] is 3015 c z[21][10][4] is 3016 c z[21][11][1] is 3017 c z[21][11][2] is 3018 c z[21][11][3] is 3019 c z[21][11][4] is 3020 c z[21][12][1] is 3021 c z[21][12][2] is 3022 c z[21][12][3] is 3023 c z[21][12][4] is 3024 c z[21][13][1] is 3025 c z[21][13][2] is 3026 c z[21][13][3] is 3027 c z[21][13][4] is 3028 c z[21][14][1] is 3029 c z[21][14][2] is 3030 c z[21][14][3] is 3031 c z[21][14][4] is 3032 c z[21][15][1] is 3033 c z[21][15][2] is 3034 c z[21][15][3] is 3035 c z[21][15][4] is 3036 c z[21][16][1] is 3037 c z[21][16][2] is 3038 c z[21][16][3] is 3039 c z[21][16][4] is 3040 c z[21][17][1] is 3041 c z[21][17][2] is 3042 c z[21][17][3] is 3043 c z[21][17][4] is 3044 c z[21][18][1] is 3045 c z[21][18][2] is 3046 c z[21][18][3] is 3047 c z[21][18][4] is 3048 c z[21][19][1] is 3049 c z[21][19][2] is 3050 c z[21][19][3] is 3051 c z[21][19][4] is 3052 c z[21][20][1] is 3053 c z[21][20][2] is 3054 c z[21][20][3] is 3055 c z[21][20][4] is 3056 c z[21][21][1] is 3057 c z[21][21][2] is 3058 c z[21][21][3] is 3059 c z[21][21][4] is 3060 c z[21][22][1] is 3061 c z[21][22][2] is 3062 c z[21][22][3] is 3063 c z[21][22][4] is 3064 c z[21][23][1] is 3065 c z[21][23][2] is 3066 c z[21][23][3] is 3067 c z[21][23][4] is 3068 c z[21][24][1] is 3069 c z[21][24][2] is 3070 c z[21][24][3] is 3071 c z[21][24][4] is 3072 c z[21][25][1] is 3073 c z[21][25][2] is 3074 c z[21][25][3] is 3075 c z[21][25][4] is 3076 c z[21][26][1] is 3077 c z[21][26][2] is 3078 c z[21][26][3] is 3079 c z[21][26][4] is 3080 c z[21][27][1] is 3081 c z[21][27][2] is 3082 c z[21][27][3] is 3083 c z[21][27][4] is 3084 c z[21][28][1] is 3085 c z[21][28][2] is 3086 c z[21][28][3] is 3087 c z[21][28][4] is 3088 c z[21][29][1] is 3089 c z[21][29][2] is 3090 c z[21][29][3] is 3091 c z[21][29][4] is 3092 c z[21][30][1] is 3093 c z[21][30][2] is 3094 c z[21][30][3] is 3095 c z[21][30][4] is 3096 c z[21][31][1] is 3097 c z[21][31][2] is 3098 c z[21][31][3] is 3099 c z[21][31][4] is 3100 c z[22][1][1] is 3101 c z[22][1][2] is 3102 c z[22][1][3] is 3103 c z[22][1][4] is 3104 c z[22][2][1] is 3105 c z[22][2][2] is 3106 c z[22][2][3] is 3107 c z[22][2][4] is 3108 c z[22][3][1] is 3109 c z[22][3][2] is 3110 c z[22][3][3] is 3111 c z[22][3][4] is 3112 c z[22][4][1] is 3113 c z[22][4][2] is 3114 c z[22][4][3] is 3115 c z[22][4][4] is 3116 c z[22][5][1] is 3117 c z[22][5][2] is 3118 c z[22][5][3] is 3119 c z[22][5][4] is 3120 c z[22][6][1] is 3121 c z[22][6][2] is 3122 c z[22][6][3] is 3123 c z[22][6][4] is 3124 c z[22][7][1] is 3125 c z[22][7][2] is 3126 c z[22][7][3] is 3127 c z[22][7][4] is 3128 c z[22][8][1] is 3129 c z[22][8][2] is 3130 c z[22][8][3] is 3131 c z[22][8][4] is 3132 c z[22][9][1] is 3133 c z[22][9][2] is 3134 c z[22][9][3] is 3135 c z[22][9][4] is 3136 c z[22][10][1] is 3137 c z[22][10][2] is 3138 c z[22][10][3] is 3139 c z[22][10][4] is 3140 c z[22][11][1] is 3141 c z[22][11][2] is 3142 c z[22][11][3] is 3143 c z[22][11][4] is 3144 c z[22][12][1] is 3145 c z[22][12][2] is 3146 c z[22][12][3] is 3147 c z[22][12][4] is 3148 c z[22][13][1] is 3149 c z[22][13][2] is 3150 c z[22][13][3] is 3151 c z[22][13][4] is 3152 c z[22][14][1] is 3153 c z[22][14][2] is 3154 c z[22][14][3] is 3155 c z[22][14][4] is 3156 c z[22][15][1] is 3157 c z[22][15][2] is 3158 c z[22][15][3] is 3159 c z[22][15][4] is 3160 c z[22][16][1] is 3161 c z[22][16][2] is 3162 c z[22][16][3] is 3163 c z[22][16][4] is 3164 c z[22][17][1] is 3165 c z[22][17][2] is 3166 c z[22][17][3] is 3167 c z[22][17][4] is 3168 c z[22][18][1] is 3169 c z[22][18][2] is 3170 c z[22][18][3] is 3171 c z[22][18][4] is 3172 c z[22][19][1] is 3173 c z[22][19][2] is 3174 c z[22][19][3] is 3175 c z[22][19][4] is 3176 c z[22][20][1] is 3177 c z[22][20][2] is 3178 c z[22][20][3] is 3179 c z[22][20][4] is 3180 c z[22][21][1] is 3181 c z[22][21][2] is 3182 c z[22][21][3] is 3183 c z[22][21][4] is 3184 c z[22][22][1] is 3185 c z[22][22][2] is 3186 c z[22][22][3] is 3187 c z[22][22][4] is 3188 c z[22][23][1] is 3189 c z[22][23][2] is 3190 c z[22][23][3] is 3191 c z[22][23][4] is 3192 c z[22][24][1] is 3193 c z[22][24][2] is 3194 c z[22][24][3] is 3195 c z[22][24][4] is 3196 c z[22][25][1] is 3197 c z[22][25][2] is 3198 c z[22][25][3] is 3199 c z[22][25][4] is 3200 c z[22][26][1] is 3201 c z[22][26][2] is 3202 c z[22][26][3] is 3203 c z[22][26][4] is 3204 c z[22][27][1] is 3205 c z[22][27][2] is 3206 c z[22][27][3] is 3207 c z[22][27][4] is 3208 c z[22][28][1] is 3209 c z[22][28][2] is 3210 c z[22][28][3] is 3211 c z[22][28][4] is 3212 c z[22][29][1] is 3213 c z[22][29][2] is 3214 c z[22][29][3] is 3215 c z[22][29][4] is 3216 c z[22][30][1] is 3217 c z[22][30][2] is 3218 c z[22][30][3] is 3219 c z[22][30][4] is 3220 c z[22][31][1] is 3221 c z[22][31][2] is 3222 c z[22][31][3] is 3223 c z[22][31][4] is 3224 c z[23][1][1] is 3225 c z[23][1][2] is 3226 c z[23][1][3] is 3227 c z[23][1][4] is 3228 c z[23][2][1] is 3229 c z[23][2][2] is 3230 c z[23][2][3] is 3231 c z[23][2][4] is 3232 c z[23][3][1] is 3233 c z[23][3][2] is 3234 c z[23][3][3] is 3235 c z[23][3][4] is 3236 c z[23][4][1] is 3237 c z[23][4][2] is 3238 c z[23][4][3] is 3239 c z[23][4][4] is 3240 c z[23][5][1] is 3241 c z[23][5][2] is 3242 c z[23][5][3] is 3243 c z[23][5][4] is 3244 c z[23][6][1] is 3245 c z[23][6][2] is 3246 c z[23][6][3] is 3247 c z[23][6][4] is 3248 c z[23][7][1] is 3249 c z[23][7][2] is 3250 c z[23][7][3] is 3251 c z[23][7][4] is 3252 c z[23][8][1] is 3253 c z[23][8][2] is 3254 c z[23][8][3] is 3255 c z[23][8][4] is 3256 c z[23][9][1] is 3257 c z[23][9][2] is 3258 c z[23][9][3] is 3259 c z[23][9][4] is 3260 c z[23][10][1] is 3261 c z[23][10][2] is 3262 c z[23][10][3] is 3263 c z[23][10][4] is 3264 c z[23][11][1] is 3265 c z[23][11][2] is 3266 c z[23][11][3] is 3267 c z[23][11][4] is 3268 c z[23][12][1] is 3269 c z[23][12][2] is 3270 c z[23][12][3] is 3271 c z[23][12][4] is 3272 c z[23][13][1] is 3273 c z[23][13][2] is 3274 c z[23][13][3] is 3275 c z[23][13][4] is 3276 c z[23][14][1] is 3277 c z[23][14][2] is 3278 c z[23][14][3] is 3279 c z[23][14][4] is 3280 c z[23][15][1] is 3281 c z[23][15][2] is 3282 c z[23][15][3] is 3283 c z[23][15][4] is 3284 c z[23][16][1] is 3285 c z[23][16][2] is 3286 c z[23][16][3] is 3287 c z[23][16][4] is 3288 c z[23][17][1] is 3289 c z[23][17][2] is 3290 c z[23][17][3] is 3291 c z[23][17][4] is 3292 c z[23][18][1] is 3293 c z[23][18][2] is 3294 c z[23][18][3] is 3295 c z[23][18][4] is 3296 c z[23][19][1] is 3297 c z[23][19][2] is 3298 c z[23][19][3] is 3299 c z[23][19][4] is 3300 c z[23][20][1] is 3301 c z[23][20][2] is 3302 c z[23][20][3] is 3303 c z[23][20][4] is 3304 c z[23][21][1] is 3305 c z[23][21][2] is 3306 c z[23][21][3] is 3307 c z[23][21][4] is 3308 c z[23][22][1] is 3309 c z[23][22][2] is 3310 c z[23][22][3] is 3311 c z[23][22][4] is 3312 c z[23][23][1] is 3313 c z[23][23][2] is 3314 c z[23][23][3] is 3315 c z[23][23][4] is 3316 c z[23][24][1] is 3317 c z[23][24][2] is 3318 c z[23][24][3] is 3319 c z[23][24][4] is 3320 c z[23][25][1] is 3321 c z[23][25][2] is 3322 c z[23][25][3] is 3323 c z[23][25][4] is 3324 c z[23][26][1] is 3325 c z[23][26][2] is 3326 c z[23][26][3] is 3327 c z[23][26][4] is 3328 c z[23][27][1] is 3329 c z[23][27][2] is 3330 c z[23][27][3] is 3331 c z[23][27][4] is 3332 c z[23][28][1] is 3333 c z[23][28][2] is 3334 c z[23][28][3] is 3335 c z[23][28][4] is 3336 c z[23][29][1] is 3337 c z[23][29][2] is 3338 c z[23][29][3] is 3339 c z[23][29][4] is 3340 c z[23][30][1] is 3341 c z[23][30][2] is 3342 c z[23][30][3] is 3343 c z[23][30][4] is 3344 c z[23][31][1] is 3345 c z[23][31][2] is 3346 c z[23][31][3] is 3347 c z[23][31][4] is 3348 c z[24][1][1] is 3349 c z[24][1][2] is 3350 c z[24][1][3] is 3351 c z[24][1][4] is 3352 c z[24][2][1] is 3353 c z[24][2][2] is 3354 c z[24][2][3] is 3355 c z[24][2][4] is 3356 c z[24][3][1] is 3357 c z[24][3][2] is 3358 c z[24][3][3] is 3359 c z[24][3][4] is 3360 c z[24][4][1] is 3361 c z[24][4][2] is 3362 c z[24][4][3] is 3363 c z[24][4][4] is 3364 c z[24][5][1] is 3365 c z[24][5][2] is 3366 c z[24][5][3] is 3367 c z[24][5][4] is 3368 c z[24][6][1] is 3369 c z[24][6][2] is 3370 c z[24][6][3] is 3371 c z[24][6][4] is 3372 c z[24][7][1] is 3373 c z[24][7][2] is 3374 c z[24][7][3] is 3375 c z[24][7][4] is 3376 c z[24][8][1] is 3377 c z[24][8][2] is 3378 c z[24][8][3] is 3379 c z[24][8][4] is 3380 c z[24][9][1] is 3381 c z[24][9][2] is 3382 c z[24][9][3] is 3383 c z[24][9][4] is 3384 c z[24][10][1] is 3385 c z[24][10][2] is 3386 c z[24][10][3] is 3387 c z[24][10][4] is 3388 c z[24][11][1] is 3389 c z[24][11][2] is 3390 c z[24][11][3] is 3391 c z[24][11][4] is 3392 c z[24][12][1] is 3393 c z[24][12][2] is 3394 c z[24][12][3] is 3395 c z[24][12][4] is 3396 c z[24][13][1] is 3397 c z[24][13][2] is 3398 c z[24][13][3] is 3399 c z[24][13][4] is 3400 c z[24][14][1] is 3401 c z[24][14][2] is 3402 c z[24][14][3] is 3403 c z[24][14][4] is 3404 c z[24][15][1] is 3405 c z[24][15][2] is 3406 c z[24][15][3] is 3407 c z[24][15][4] is 3408 c z[24][16][1] is 3409 c z[24][16][2] is 3410 c z[24][16][3] is 3411 c z[24][16][4] is 3412 c z[24][17][1] is 3413 c z[24][17][2] is 3414 c z[24][17][3] is 3415 c z[24][17][4] is 3416 c z[24][18][1] is 3417 c z[24][18][2] is 3418 c z[24][18][3] is 3419 c z[24][18][4] is 3420 c z[24][19][1] is 3421 c z[24][19][2] is 3422 c z[24][19][3] is 3423 c z[24][19][4] is 3424 c z[24][20][1] is 3425 c z[24][20][2] is 3426 c z[24][20][3] is 3427 c z[24][20][4] is 3428 c z[24][21][1] is 3429 c z[24][21][2] is 3430 c z[24][21][3] is 3431 c z[24][21][4] is 3432 c z[24][22][1] is 3433 c z[24][22][2] is 3434 c z[24][22][3] is 3435 c z[24][22][4] is 3436 c z[24][23][1] is 3437 c z[24][23][2] is 3438 c z[24][23][3] is 3439 c z[24][23][4] is 3440 c z[24][24][1] is 3441 c z[24][24][2] is 3442 c z[24][24][3] is 3443 c z[24][24][4] is 3444 c z[24][25][1] is 3445 c z[24][25][2] is 3446 c z[24][25][3] is 3447 c z[24][25][4] is 3448 c z[24][26][1] is 3449 c z[24][26][2] is 3450 c z[24][26][3] is 3451 c z[24][26][4] is 3452 c z[24][27][1] is 3453 c z[24][27][2] is 3454 c z[24][27][3] is 3455 c z[24][27][4] is 3456 c z[24][28][1] is 3457 c z[24][28][2] is 3458 c z[24][28][3] is 3459 c z[24][28][4] is 3460 c z[24][29][1] is 3461 c z[24][29][2] is 3462 c z[24][29][3] is 3463 c z[24][29][4] is 3464 c z[24][30][1] is 3465 c z[24][30][2] is 3466 c z[24][30][3] is 3467 c z[24][30][4] is 3468 c z[24][31][1] is 3469 c z[24][31][2] is 3470 c z[24][31][3] is 3471 c z[24][31][4] is 3472 c z[25][1][1] is 3473 c z[25][1][2] is 3474 c z[25][1][3] is 3475 c z[25][1][4] is 3476 c z[25][2][1] is 3477 c z[25][2][2] is 3478 c z[25][2][3] is 3479 c z[25][2][4] is 3480 c z[25][3][1] is 3481 c z[25][3][2] is 3482 c z[25][3][3] is 3483 c z[25][3][4] is 3484 c z[25][4][1] is 3485 c z[25][4][2] is 3486 c z[25][4][3] is 3487 c z[25][4][4] is 3488 c z[25][5][1] is 3489 c z[25][5][2] is 3490 c z[25][5][3] is 3491 c z[25][5][4] is 3492 c z[25][6][1] is 3493 c z[25][6][2] is 3494 c z[25][6][3] is 3495 c z[25][6][4] is 3496 c z[25][7][1] is 3497 c z[25][7][2] is 3498 c z[25][7][3] is 3499 c z[25][7][4] is 3500 c z[25][8][1] is 3501 c z[25][8][2] is 3502 c z[25][8][3] is 3503 c z[25][8][4] is 3504 c z[25][9][1] is 3505 c z[25][9][2] is 3506 c z[25][9][3] is 3507 c z[25][9][4] is 3508 c z[25][10][1] is 3509 c z[25][10][2] is 3510 c z[25][10][3] is 3511 c z[25][10][4] is 3512 c z[25][11][1] is 3513 c z[25][11][2] is 3514 c z[25][11][3] is 3515 c z[25][11][4] is 3516 c z[25][12][1] is 3517 c z[25][12][2] is 3518 c z[25][12][3] is 3519 c z[25][12][4] is 3520 c z[25][13][1] is 3521 c z[25][13][2] is 3522 c z[25][13][3] is 3523 c z[25][13][4] is 3524 c z[25][14][1] is 3525 c z[25][14][2] is 3526 c z[25][14][3] is 3527 c z[25][14][4] is 3528 c z[25][15][1] is 3529 c z[25][15][2] is 3530 c z[25][15][3] is 3531 c z[25][15][4] is 3532 c z[25][16][1] is 3533 c z[25][16][2] is 3534 c z[25][16][3] is 3535 c z[25][16][4] is 3536 c z[25][17][1] is 3537 c z[25][17][2] is 3538 c z[25][17][3] is 3539 c z[25][17][4] is 3540 c z[25][18][1] is 3541 c z[25][18][2] is 3542 c z[25][18][3] is 3543 c z[25][18][4] is 3544 c z[25][19][1] is 3545 c z[25][19][2] is 3546 c z[25][19][3] is 3547 c z[25][19][4] is 3548 c z[25][20][1] is 3549 c z[25][20][2] is 3550 c z[25][20][3] is 3551 c z[25][20][4] is 3552 c z[25][21][1] is 3553 c z[25][21][2] is 3554 c z[25][21][3] is 3555 c z[25][21][4] is 3556 c z[25][22][1] is 3557 c z[25][22][2] is 3558 c z[25][22][3] is 3559 c z[25][22][4] is 3560 c z[25][23][1] is 3561 c z[25][23][2] is 3562 c z[25][23][3] is 3563 c z[25][23][4] is 3564 c z[25][24][1] is 3565 c z[25][24][2] is 3566 c z[25][24][3] is 3567 c z[25][24][4] is 3568 c z[25][25][1] is 3569 c z[25][25][2] is 3570 c z[25][25][3] is 3571 c z[25][25][4] is 3572 c z[25][26][1] is 3573 c z[25][26][2] is 3574 c z[25][26][3] is 3575 c z[25][26][4] is 3576 c z[25][27][1] is 3577 c z[25][27][2] is 3578 c z[25][27][3] is 3579 c z[25][27][4] is 3580 c z[25][28][1] is 3581 c z[25][28][2] is 3582 c z[25][28][3] is 3583 c z[25][28][4] is 3584 c z[25][29][1] is 3585 c z[25][29][2] is 3586 c z[25][29][3] is 3587 c z[25][29][4] is 3588 c z[25][30][1] is 3589 c z[25][30][2] is 3590 c z[25][30][3] is 3591 c z[25][30][4] is 3592 c z[25][31][1] is 3593 c z[25][31][2] is 3594 c z[25][31][3] is 3595 c z[25][31][4] is 3596 c z[26][1][1] is 3597 c z[26][1][2] is 3598 c z[26][1][3] is 3599 c z[26][1][4] is 3600 c z[26][2][1] is 3601 c z[26][2][2] is 3602 c z[26][2][3] is 3603 c z[26][2][4] is 3604 c z[26][3][1] is 3605 c z[26][3][2] is 3606 c z[26][3][3] is 3607 c z[26][3][4] is 3608 c z[26][4][1] is 3609 c z[26][4][2] is 3610 c z[26][4][3] is 3611 c z[26][4][4] is 3612 c z[26][5][1] is 3613 c z[26][5][2] is 3614 c z[26][5][3] is 3615 c z[26][5][4] is 3616 c z[26][6][1] is 3617 c z[26][6][2] is 3618 c z[26][6][3] is 3619 c z[26][6][4] is 3620 c z[26][7][1] is 3621 c z[26][7][2] is 3622 c z[26][7][3] is 3623 c z[26][7][4] is 3624 c z[26][8][1] is 3625 c z[26][8][2] is 3626 c z[26][8][3] is 3627 c z[26][8][4] is 3628 c z[26][9][1] is 3629 c z[26][9][2] is 3630 c z[26][9][3] is 3631 c z[26][9][4] is 3632 c z[26][10][1] is 3633 c z[26][10][2] is 3634 c z[26][10][3] is 3635 c z[26][10][4] is 3636 c z[26][11][1] is 3637 c z[26][11][2] is 3638 c z[26][11][3] is 3639 c z[26][11][4] is 3640 c z[26][12][1] is 3641 c z[26][12][2] is 3642 c z[26][12][3] is 3643 c z[26][12][4] is 3644 c z[26][13][1] is 3645 c z[26][13][2] is 3646 c z[26][13][3] is 3647 c z[26][13][4] is 3648 c z[26][14][1] is 3649 c z[26][14][2] is 3650 c z[26][14][3] is 3651 c z[26][14][4] is 3652 c z[26][15][1] is 3653 c z[26][15][2] is 3654 c z[26][15][3] is 3655 c z[26][15][4] is 3656 c z[26][16][1] is 3657 c z[26][16][2] is 3658 c z[26][16][3] is 3659 c z[26][16][4] is 3660 c z[26][17][1] is 3661 c z[26][17][2] is 3662 c z[26][17][3] is 3663 c z[26][17][4] is 3664 c z[26][18][1] is 3665 c z[26][18][2] is 3666 c z[26][18][3] is 3667 c z[26][18][4] is 3668 c z[26][19][1] is 3669 c z[26][19][2] is 3670 c z[26][19][3] is 3671 c z[26][19][4] is 3672 c z[26][20][1] is 3673 c z[26][20][2] is 3674 c z[26][20][3] is 3675 c z[26][20][4] is 3676 c z[26][21][1] is 3677 c z[26][21][2] is 3678 c z[26][21][3] is 3679 c z[26][21][4] is 3680 c z[26][22][1] is 3681 c z[26][22][2] is 3682 c z[26][22][3] is 3683 c z[26][22][4] is 3684 c z[26][23][1] is 3685 c z[26][23][2] is 3686 c z[26][23][3] is 3687 c z[26][23][4] is 3688 c z[26][24][1] is 3689 c z[26][24][2] is 3690 c z[26][24][3] is 3691 c z[26][24][4] is 3692 c z[26][25][1] is 3693 c z[26][25][2] is 3694 c z[26][25][3] is 3695 c z[26][25][4] is 3696 c z[26][26][1] is 3697 c z[26][26][2] is 3698 c z[26][26][3] is 3699 c z[26][26][4] is 3700 c z[26][27][1] is 3701 c z[26][27][2] is 3702 c z[26][27][3] is 3703 c z[26][27][4] is 3704 c z[26][28][1] is 3705 c z[26][28][2] is 3706 c z[26][28][3] is 3707 c z[26][28][4] is 3708 c z[26][29][1] is 3709 c z[26][29][2] is 3710 c z[26][29][3] is 3711 c z[26][29][4] is 3712 c z[26][30][1] is 3713 c z[26][30][2] is 3714 c z[26][30][3] is 3715 c z[26][30][4] is 3716 c z[26][31][1] is 3717 c z[26][31][2] is 3718 c z[26][31][3] is 3719 c z[26][31][4] is 3720 c z[27][1][1] is 3721 c z[27][1][2] is 3722 c z[27][1][3] is 3723 c z[27][1][4] is 3724 c z[27][2][1] is 3725 c z[27][2][2] is 3726 c z[27][2][3] is 3727 c z[27][2][4] is 3728 c z[27][3][1] is 3729 c z[27][3][2] is 3730 c z[27][3][3] is 3731 c z[27][3][4] is 3732 c z[27][4][1] is 3733 c z[27][4][2] is 3734 c z[27][4][3] is 3735 c z[27][4][4] is 3736 c z[27][5][1] is 3737 c z[27][5][2] is 3738 c z[27][5][3] is 3739 c z[27][5][4] is 3740 c z[27][6][1] is 3741 c z[27][6][2] is 3742 c z[27][6][3] is 3743 c z[27][6][4] is 3744 c z[27][7][1] is 3745 c z[27][7][2] is 3746 c z[27][7][3] is 3747 c z[27][7][4] is 3748 c z[27][8][1] is 3749 c z[27][8][2] is 3750 c z[27][8][3] is 3751 c z[27][8][4] is 3752 c z[27][9][1] is 3753 c z[27][9][2] is 3754 c z[27][9][3] is 3755 c z[27][9][4] is 3756 c z[27][10][1] is 3757 c z[27][10][2] is 3758 c z[27][10][3] is 3759 c z[27][10][4] is 3760 c z[27][11][1] is 3761 c z[27][11][2] is 3762 c z[27][11][3] is 3763 c z[27][11][4] is 3764 c z[27][12][1] is 3765 c z[27][12][2] is 3766 c z[27][12][3] is 3767 c z[27][12][4] is 3768 c z[27][13][1] is 3769 c z[27][13][2] is 3770 c z[27][13][3] is 3771 c z[27][13][4] is 3772 c z[27][14][1] is 3773 c z[27][14][2] is 3774 c z[27][14][3] is 3775 c z[27][14][4] is 3776 c z[27][15][1] is 3777 c z[27][15][2] is 3778 c z[27][15][3] is 3779 c z[27][15][4] is 3780 c z[27][16][1] is 3781 c z[27][16][2] is 3782 c z[27][16][3] is 3783 c z[27][16][4] is 3784 c z[27][17][1] is 3785 c z[27][17][2] is 3786 c z[27][17][3] is 3787 c z[27][17][4] is 3788 c z[27][18][1] is 3789 c z[27][18][2] is 3790 c z[27][18][3] is 3791 c z[27][18][4] is 3792 c z[27][19][1] is 3793 c z[27][19][2] is 3794 c z[27][19][3] is 3795 c z[27][19][4] is 3796 c z[27][20][1] is 3797 c z[27][20][2] is 3798 c z[27][20][3] is 3799 c z[27][20][4] is 3800 c z[27][21][1] is 3801 c z[27][21][2] is 3802 c z[27][21][3] is 3803 c z[27][21][4] is 3804 c z[27][22][1] is 3805 c z[27][22][2] is 3806 c z[27][22][3] is 3807 c z[27][22][4] is 3808 c z[27][23][1] is 3809 c z[27][23][2] is 3810 c z[27][23][3] is 3811 c z[27][23][4] is 3812 c z[27][24][1] is 3813 c z[27][24][2] is 3814 c z[27][24][3] is 3815 c z[27][24][4] is 3816 c z[27][25][1] is 3817 c z[27][25][2] is 3818 c z[27][25][3] is 3819 c z[27][25][4] is 3820 c z[27][26][1] is 3821 c z[27][26][2] is 3822 c z[27][26][3] is 3823 c z[27][26][4] is 3824 c z[27][27][1] is 3825 c z[27][27][2] is 3826 c z[27][27][3] is 3827 c z[27][27][4] is 3828 c z[27][28][1] is 3829 c z[27][28][2] is 3830 c z[27][28][3] is 3831 c z[27][28][4] is 3832 c z[27][29][1] is 3833 c z[27][29][2] is 3834 c z[27][29][3] is 3835 c z[27][29][4] is 3836 c z[27][30][1] is 3837 c z[27][30][2] is 3838 c z[27][30][3] is 3839 c z[27][30][4] is 3840 c z[27][31][1] is 3841 c z[27][31][2] is 3842 c z[27][31][3] is 3843 c z[27][31][4] is 3844 c z[28][1][1] is 3845 c z[28][1][2] is 3846 c z[28][1][3] is 3847 c z[28][1][4] is 3848 c z[28][2][1] is 3849 c z[28][2][2] is 3850 c z[28][2][3] is 3851 c z[28][2][4] is 3852 c z[28][3][1] is 3853 c z[28][3][2] is 3854 c z[28][3][3] is 3855 c z[28][3][4] is 3856 c z[28][4][1] is 3857 c z[28][4][2] is 3858 c z[28][4][3] is 3859 c z[28][4][4] is 3860 c z[28][5][1] is 3861 c z[28][5][2] is 3862 c z[28][5][3] is 3863 c z[28][5][4] is 3864 c z[28][6][1] is 3865 c z[28][6][2] is 3866 c z[28][6][3] is 3867 c z[28][6][4] is 3868 c z[28][7][1] is 3869 c z[28][7][2] is 3870 c z[28][7][3] is 3871 c z[28][7][4] is 3872 c z[28][8][1] is 3873 c z[28][8][2] is 3874 c z[28][8][3] is 3875 c z[28][8][4] is 3876 c z[28][9][1] is 3877 c z[28][9][2] is 3878 c z[28][9][3] is 3879 c z[28][9][4] is 3880 c z[28][10][1] is 3881 c z[28][10][2] is 3882 c z[28][10][3] is 3883 c z[28][10][4] is 3884 c z[28][11][1] is 3885 c z[28][11][2] is 3886 c z[28][11][3] is 3887 c z[28][11][4] is 3888 c z[28][12][1] is 3889 c z[28][12][2] is 3890 c z[28][12][3] is 3891 c z[28][12][4] is 3892 c z[28][13][1] is 3893 c z[28][13][2] is 3894 c z[28][13][3] is 3895 c z[28][13][4] is 3896 c z[28][14][1] is 3897 c z[28][14][2] is 3898 c z[28][14][3] is 3899 c z[28][14][4] is 3900 c z[28][15][1] is 3901 c z[28][15][2] is 3902 c z[28][15][3] is 3903 c z[28][15][4] is 3904 c z[28][16][1] is 3905 c z[28][16][2] is 3906 c z[28][16][3] is 3907 c z[28][16][4] is 3908 c z[28][17][1] is 3909 c z[28][17][2] is 3910 c z[28][17][3] is 3911 c z[28][17][4] is 3912 c z[28][18][1] is 3913 c z[28][18][2] is 3914 c z[28][18][3] is 3915 c z[28][18][4] is 3916 c z[28][19][1] is 3917 c z[28][19][2] is 3918 c z[28][19][3] is 3919 c z[28][19][4] is 3920 c z[28][20][1] is 3921 c z[28][20][2] is 3922 c z[28][20][3] is 3923 c z[28][20][4] is 3924 c z[28][21][1] is 3925 c z[28][21][2] is 3926 c z[28][21][3] is 3927 c z[28][21][4] is 3928 c z[28][22][1] is 3929 c z[28][22][2] is 3930 c z[28][22][3] is 3931 c z[28][22][4] is 3932 c z[28][23][1] is 3933 c z[28][23][2] is 3934 c z[28][23][3] is 3935 c z[28][23][4] is 3936 c z[28][24][1] is 3937 c z[28][24][2] is 3938 c z[28][24][3] is 3939 c z[28][24][4] is 3940 c z[28][25][1] is 3941 c z[28][25][2] is 3942 c z[28][25][3] is 3943 c z[28][25][4] is 3944 c z[28][26][1] is 3945 c z[28][26][2] is 3946 c z[28][26][3] is 3947 c z[28][26][4] is 3948 c z[28][27][1] is 3949 c z[28][27][2] is 3950 c z[28][27][3] is 3951 c z[28][27][4] is 3952 c z[28][28][1] is 3953 c z[28][28][2] is 3954 c z[28][28][3] is 3955 c z[28][28][4] is 3956 c z[28][29][1] is 3957 c z[28][29][2] is 3958 c z[28][29][3] is 3959 c z[28][29][4] is 3960 c z[28][30][1] is 3961 c z[28][30][2] is 3962 c z[28][30][3] is 3963 c z[28][30][4] is 3964 c z[28][31][1] is 3965 c z[28][31][2] is 3966 c z[28][31][3] is 3967 c z[28][31][4] is 3968 c z[29][1][1] is 3969 c z[29][1][2] is 3970 c z[29][1][3] is 3971 c z[29][1][4] is 3972 c z[29][2][1] is 3973 c z[29][2][2] is 3974 c z[29][2][3] is 3975 c z[29][2][4] is 3976 c z[29][3][1] is 3977 c z[29][3][2] is 3978 c z[29][3][3] is 3979 c z[29][3][4] is 3980 c z[29][4][1] is 3981 c z[29][4][2] is 3982 c z[29][4][3] is 3983 c z[29][4][4] is 3984 c z[29][5][1] is 3985 c z[29][5][2] is 3986 c z[29][5][3] is 3987 c z[29][5][4] is 3988 c z[29][6][1] is 3989 c z[29][6][2] is 3990 c z[29][6][3] is 3991 c z[29][6][4] is 3992 c z[29][7][1] is 3993 c z[29][7][2] is 3994 c z[29][7][3] is 3995 c z[29][7][4] is 3996 c z[29][8][1] is 3997 c z[29][8][2] is 3998 c z[29][8][3] is 3999 c z[29][8][4] is 4000 c z[29][9][1] is 4001 c z[29][9][2] is 4002 c z[29][9][3] is 4003 c z[29][9][4] is 4004 c z[29][10][1] is 4005 c z[29][10][2] is 4006 c z[29][10][3] is 4007 c z[29][10][4] is 4008 c z[29][11][1] is 4009 c z[29][11][2] is 4010 c z[29][11][3] is 4011 c z[29][11][4] is 4012 c z[29][12][1] is 4013 c z[29][12][2] is 4014 c z[29][12][3] is 4015 c z[29][12][4] is 4016 c z[29][13][1] is 4017 c z[29][13][2] is 4018 c z[29][13][3] is 4019 c z[29][13][4] is 4020 c z[29][14][1] is 4021 c z[29][14][2] is 4022 c z[29][14][3] is 4023 c z[29][14][4] is 4024 c z[29][15][1] is 4025 c z[29][15][2] is 4026 c z[29][15][3] is 4027 c z[29][15][4] is 4028 c z[29][16][1] is 4029 c z[29][16][2] is 4030 c z[29][16][3] is 4031 c z[29][16][4] is 4032 c z[29][17][1] is 4033 c z[29][17][2] is 4034 c z[29][17][3] is 4035 c z[29][17][4] is 4036 c z[29][18][1] is 4037 c z[29][18][2] is 4038 c z[29][18][3] is 4039 c z[29][18][4] is 4040 c z[29][19][1] is 4041 c z[29][19][2] is 4042 c z[29][19][3] is 4043 c z[29][19][4] is 4044 c z[29][20][1] is 4045 c z[29][20][2] is 4046 c z[29][20][3] is 4047 c z[29][20][4] is 4048 c z[29][21][1] is 4049 c z[29][21][2] is 4050 c z[29][21][3] is 4051 c z[29][21][4] is 4052 c z[29][22][1] is 4053 c z[29][22][2] is 4054 c z[29][22][3] is 4055 c z[29][22][4] is 4056 c z[29][23][1] is 4057 c z[29][23][2] is 4058 c z[29][23][3] is 4059 c z[29][23][4] is 4060 c z[29][24][1] is 4061 c z[29][24][2] is 4062 c z[29][24][3] is 4063 c z[29][24][4] is 4064 c z[29][25][1] is 4065 c z[29][25][2] is 4066 c z[29][25][3] is 4067 c z[29][25][4] is 4068 c z[29][26][1] is 4069 c z[29][26][2] is 4070 c z[29][26][3] is 4071 c z[29][26][4] is 4072 c z[29][27][1] is 4073 c z[29][27][2] is 4074 c z[29][27][3] is 4075 c z[29][27][4] is 4076 c z[29][28][1] is 4077 c z[29][28][2] is 4078 c z[29][28][3] is 4079 c z[29][28][4] is 4080 c z[29][29][1] is 4081 c z[29][29][2] is 4082 c z[29][29][3] is 4083 c z[29][29][4] is 4084 c z[29][30][1] is 4085 c z[29][30][2] is 4086 c z[29][30][3] is 4087 c z[29][30][4] is 4088 c z[29][31][1] is 4089 c z[29][31][2] is 4090 c z[29][31][3] is 4091 c z[29][31][4] is 4092 c z[30][1][1] is 4093 c z[30][1][2] is 4094 c z[30][1][3] is 4095 c z[30][1][4] is 4096 c z[30][2][1] is 4097 c z[30][2][2] is 4098 c z[30][2][3] is 4099 c z[30][2][4] is 4100 c z[30][3][1] is 4101 c z[30][3][2] is 4102 c z[30][3][3] is 4103 c z[30][3][4] is 4104 c z[30][4][1] is 4105 c z[30][4][2] is 4106 c z[30][4][3] is 4107 c z[30][4][4] is 4108 c z[30][5][1] is 4109 c z[30][5][2] is 4110 c z[30][5][3] is 4111 c z[30][5][4] is 4112 c z[30][6][1] is 4113 c z[30][6][2] is 4114 c z[30][6][3] is 4115 c z[30][6][4] is 4116 c z[30][7][1] is 4117 c z[30][7][2] is 4118 c z[30][7][3] is 4119 c z[30][7][4] is 4120 c z[30][8][1] is 4121 c z[30][8][2] is 4122 c z[30][8][3] is 4123 c z[30][8][4] is 4124 c z[30][9][1] is 4125 c z[30][9][2] is 4126 c z[30][9][3] is 4127 c z[30][9][4] is 4128 c z[30][10][1] is 4129 c z[30][10][2] is 4130 c z[30][10][3] is 4131 c z[30][10][4] is 4132 c z[30][11][1] is 4133 c z[30][11][2] is 4134 c z[30][11][3] is 4135 c z[30][11][4] is 4136 c z[30][12][1] is 4137 c z[30][12][2] is 4138 c z[30][12][3] is 4139 c z[30][12][4] is 4140 c z[30][13][1] is 4141 c z[30][13][2] is 4142 c z[30][13][3] is 4143 c z[30][13][4] is 4144 c z[30][14][1] is 4145 c z[30][14][2] is 4146 c z[30][14][3] is 4147 c z[30][14][4] is 4148 c z[30][15][1] is 4149 c z[30][15][2] is 4150 c z[30][15][3] is 4151 c z[30][15][4] is 4152 c z[30][16][1] is 4153 c z[30][16][2] is 4154 c z[30][16][3] is 4155 c z[30][16][4] is 4156 c z[30][17][1] is 4157 c z[30][17][2] is 4158 c z[30][17][3] is 4159 c z[30][17][4] is 4160 c z[30][18][1] is 4161 c z[30][18][2] is 4162 c z[30][18][3] is 4163 c z[30][18][4] is 4164 c z[30][19][1] is 4165 c z[30][19][2] is 4166 c z[30][19][3] is 4167 c z[30][19][4] is 4168 c z[30][20][1] is 4169 c z[30][20][2] is 4170 c z[30][20][3] is 4171 c z[30][20][4] is 4172 c z[30][21][1] is 4173 c z[30][21][2] is 4174 c z[30][21][3] is 4175 c z[30][21][4] is 4176 c z[30][22][1] is 4177 c z[30][22][2] is 4178 c z[30][22][3] is 4179 c z[30][22][4] is 4180 c z[30][23][1] is 4181 c z[30][23][2] is 4182 c z[30][23][3] is 4183 c z[30][23][4] is 4184 c z[30][24][1] is 4185 c z[30][24][2] is 4186 c z[30][24][3] is 4187 c z[30][24][4] is 4188 c z[30][25][1] is 4189 c z[30][25][2] is 4190 c z[30][25][3] is 4191 c z[30][25][4] is 4192 c z[30][26][1] is 4193 c z[30][26][2] is 4194 c z[30][26][3] is 4195 c z[30][26][4] is 4196 c z[30][27][1] is 4197 c z[30][27][2] is 4198 c z[30][27][3] is 4199 c z[30][27][4] is 4200 c z[30][28][1] is 4201 c z[30][28][2] is 4202 c z[30][28][3] is 4203 c z[30][28][4] is 4204 c z[30][29][1] is 4205 c z[30][29][2] is 4206 c z[30][29][3] is 4207 c z[30][29][4] is 4208 c z[30][30][1] is 4209 c z[30][30][2] is 4210 c z[30][30][3] is 4211 c z[30][30][4] is 4212 c z[30][31][1] is 4213 c z[30][31][2] is 4214 c z[30][31][3] is 4215 c z[30][31][4] is 4216 c z[31][1][1] is 4217 c z[31][1][2] is 4218 c z[31][1][3] is 4219 c z[31][1][4] is 4220 c z[31][2][1] is 4221 c z[31][2][2] is 4222 c z[31][2][3] is 4223 c z[31][2][4] is 4224 c z[31][3][1] is 4225 c z[31][3][2] is 4226 c z[31][3][3] is 4227 c z[31][3][4] is 4228 c z[31][4][1] is 4229 c z[31][4][2] is 4230 c z[31][4][3] is 4231 c z[31][4][4] is 4232 c z[31][5][1] is 4233 c z[31][5][2] is 4234 c z[31][5][3] is 4235 c z[31][5][4] is 4236 c z[31][6][1] is 4237 c z[31][6][2] is 4238 c z[31][6][3] is 4239 c z[31][6][4] is 4240 c z[31][7][1] is 4241 c z[31][7][2] is 4242 c z[31][7][3] is 4243 c z[31][7][4] is 4244 c z[31][8][1] is 4245 c z[31][8][2] is 4246 c z[31][8][3] is 4247 c z[31][8][4] is 4248 c z[31][9][1] is 4249 c z[31][9][2] is 4250 c z[31][9][3] is 4251 c z[31][9][4] is 4252 c z[31][10][1] is 4253 c z[31][10][2] is 4254 c z[31][10][3] is 4255 c z[31][10][4] is 4256 c z[31][11][1] is 4257 c z[31][11][2] is 4258 c z[31][11][3] is 4259 c z[31][11][4] is 4260 c z[31][12][1] is 4261 c z[31][12][2] is 4262 c z[31][12][3] is 4263 c z[31][12][4] is 4264 c z[31][13][1] is 4265 c z[31][13][2] is 4266 c z[31][13][3] is 4267 c z[31][13][4] is 4268 c z[31][14][1] is 4269 c z[31][14][2] is 4270 c z[31][14][3] is 4271 c z[31][14][4] is 4272 c z[31][15][1] is 4273 c z[31][15][2] is 4274 c z[31][15][3] is 4275 c z[31][15][4] is 4276 c z[31][16][1] is 4277 c z[31][16][2] is 4278 c z[31][16][3] is 4279 c z[31][16][4] is 4280 c z[31][17][1] is 4281 c z[31][17][2] is 4282 c z[31][17][3] is 4283 c z[31][17][4] is 4284 c z[31][18][1] is 4285 c z[31][18][2] is 4286 c z[31][18][3] is 4287 c z[31][18][4] is 4288 c z[31][19][1] is 4289 c z[31][19][2] is 4290 c z[31][19][3] is 4291 c z[31][19][4] is 4292 c z[31][20][1] is 4293 c z[31][20][2] is 4294 c z[31][20][3] is 4295 c z[31][20][4] is 4296 c z[31][21][1] is 4297 c z[31][21][2] is 4298 c z[31][21][3] is 4299 c z[31][21][4] is 4300 c z[31][22][1] is 4301 c z[31][22][2] is 4302 c z[31][22][3] is 4303 c z[31][22][4] is 4304 c z[31][23][1] is 4305 c z[31][23][2] is 4306 c z[31][23][3] is 4307 c z[31][23][4] is 4308 c z[31][24][1] is 4309 c z[31][24][2] is 4310 c z[31][24][3] is 4311 c z[31][24][4] is 4312 c z[31][25][1] is 4313 c z[31][25][2] is 4314 c z[31][25][3] is 4315 c z[31][25][4] is 4316 c z[31][26][1] is 4317 c z[31][26][2] is 4318 c z[31][26][3] is 4319 c z[31][26][4] is 4320 c z[31][27][1] is 4321 c z[31][27][2] is 4322 c z[31][27][3] is 4323 c z[31][27][4] is 4324 c z[31][28][1] is 4325 c z[31][28][2] is 4326 c z[31][28][3] is 4327 c z[31][28][4] is 4328 c z[31][29][1] is 4329 c z[31][29][2] is 4330 c z[31][29][3] is 4331 c z[31][29][4] is 4332 c z[31][30][1] is 4333 c z[31][30][2] is 4334 c z[31][30][3] is 4335 c z[31][30][4] is 4336 c z[31][31][1] is 4337 c z[31][31][2] is 4338 c z[31][31][3] is 4339 c z[31][31][4] is 4340 c z[32][1][1] is 4341 c z[32][1][2] is 4342 c z[32][1][3] is 4343 c z[32][1][4] is 4344 c z[32][2][1] is 4345 c z[32][2][2] is 4346 c z[32][2][3] is 4347 c z[32][2][4] is 4348 c z[32][3][1] is 4349 c z[32][3][2] is 4350 c z[32][3][3] is 4351 c z[32][3][4] is 4352 c z[32][4][1] is 4353 c z[32][4][2] is 4354 c z[32][4][3] is 4355 c z[32][4][4] is 4356 c z[32][5][1] is 4357 c z[32][5][2] is 4358 c z[32][5][3] is 4359 c z[32][5][4] is 4360 c z[32][6][1] is 4361 c z[32][6][2] is 4362 c z[32][6][3] is 4363 c z[32][6][4] is 4364 c z[32][7][1] is 4365 c z[32][7][2] is 4366 c z[32][7][3] is 4367 c z[32][7][4] is 4368 c z[32][8][1] is 4369 c z[32][8][2] is 4370 c z[32][8][3] is 4371 c z[32][8][4] is 4372 c z[32][9][1] is 4373 c z[32][9][2] is 4374 c z[32][9][3] is 4375 c z[32][9][4] is 4376 c z[32][10][1] is 4377 c z[32][10][2] is 4378 c z[32][10][3] is 4379 c z[32][10][4] is 4380 c z[32][11][1] is 4381 c z[32][11][2] is 4382 c z[32][11][3] is 4383 c z[32][11][4] is 4384 c z[32][12][1] is 4385 c z[32][12][2] is 4386 c z[32][12][3] is 4387 c z[32][12][4] is 4388 c z[32][13][1] is 4389 c z[32][13][2] is 4390 c z[32][13][3] is 4391 c z[32][13][4] is 4392 c z[32][14][1] is 4393 c z[32][14][2] is 4394 c z[32][14][3] is 4395 c z[32][14][4] is 4396 c z[32][15][1] is 4397 c z[32][15][2] is 4398 c z[32][15][3] is 4399 c z[32][15][4] is 4400 c z[32][16][1] is 4401 c z[32][16][2] is 4402 c z[32][16][3] is 4403 c z[32][16][4] is 4404 c z[32][17][1] is 4405 c z[32][17][2] is 4406 c z[32][17][3] is 4407 c z[32][17][4] is 4408 c z[32][18][1] is 4409 c z[32][18][2] is 4410 c z[32][18][3] is 4411 c z[32][18][4] is 4412 c z[32][19][1] is 4413 c z[32][19][2] is 4414 c z[32][19][3] is 4415 c z[32][19][4] is 4416 c z[32][20][1] is 4417 c z[32][20][2] is 4418 c z[32][20][3] is 4419 c z[32][20][4] is 4420 c z[32][21][1] is 4421 c z[32][21][2] is 4422 c z[32][21][3] is 4423 c z[32][21][4] is 4424 c z[32][22][1] is 4425 c z[32][22][2] is 4426 c z[32][22][3] is 4427 c z[32][22][4] is 4428 c z[32][23][1] is 4429 c z[32][23][2] is 4430 c z[32][23][3] is 4431 c z[32][23][4] is 4432 c z[32][24][1] is 4433 c z[32][24][2] is 4434 c z[32][24][3] is 4435 c z[32][24][4] is 4436 c z[32][25][1] is 4437 c z[32][25][2] is 4438 c z[32][25][3] is 4439 c z[32][25][4] is 4440 c z[32][26][1] is 4441 c z[32][26][2] is 4442 c z[32][26][3] is 4443 c z[32][26][4] is 4444 c z[32][27][1] is 4445 c z[32][27][2] is 4446 c z[32][27][3] is 4447 c z[32][27][4] is 4448 c z[32][28][1] is 4449 c z[32][28][2] is 4450 c z[32][28][3] is 4451 c z[32][28][4] is 4452 c z[32][29][1] is 4453 c z[32][29][2] is 4454 c z[32][29][3] is 4455 c z[32][29][4] is 4456 c z[32][30][1] is 4457 c z[32][30][2] is 4458 c z[32][30][3] is 4459 c z[32][30][4] is 4460 c z[32][31][1] is 4461 c z[32][31][2] is 4462 c z[32][31][3] is 4463 c z[32][31][4] is 4464 c z[33][1][1] is 4465 c z[33][1][2] is 4466 c z[33][1][3] is 4467 c z[33][1][4] is 4468 c z[33][2][1] is 4469 c z[33][2][2] is 4470 c z[33][2][3] is 4471 c z[33][2][4] is 4472 c z[33][3][1] is 4473 c z[33][3][2] is 4474 c z[33][3][3] is 4475 c z[33][3][4] is 4476 c z[33][4][1] is 4477 c z[33][4][2] is 4478 c z[33][4][3] is 4479 c z[33][4][4] is 4480 c z[33][5][1] is 4481 c z[33][5][2] is 4482 c z[33][5][3] is 4483 c z[33][5][4] is 4484 c z[33][6][1] is 4485 c z[33][6][2] is 4486 c z[33][6][3] is 4487 c z[33][6][4] is 4488 c z[33][7][1] is 4489 c z[33][7][2] is 4490 c z[33][7][3] is 4491 c z[33][7][4] is 4492 c z[33][8][1] is 4493 c z[33][8][2] is 4494 c z[33][8][3] is 4495 c z[33][8][4] is 4496 c z[33][9][1] is 4497 c z[33][9][2] is 4498 c z[33][9][3] is 4499 c z[33][9][4] is 4500 c z[33][10][1] is 4501 c z[33][10][2] is 4502 c z[33][10][3] is 4503 c z[33][10][4] is 4504 c z[33][11][1] is 4505 c z[33][11][2] is 4506 c z[33][11][3] is 4507 c z[33][11][4] is 4508 c z[33][12][1] is 4509 c z[33][12][2] is 4510 c z[33][12][3] is 4511 c z[33][12][4] is 4512 c z[33][13][1] is 4513 c z[33][13][2] is 4514 c z[33][13][3] is 4515 c z[33][13][4] is 4516 c z[33][14][1] is 4517 c z[33][14][2] is 4518 c z[33][14][3] is 4519 c z[33][14][4] is 4520 c z[33][15][1] is 4521 c z[33][15][2] is 4522 c z[33][15][3] is 4523 c z[33][15][4] is 4524 c z[33][16][1] is 4525 c z[33][16][2] is 4526 c z[33][16][3] is 4527 c z[33][16][4] is 4528 c z[33][17][1] is 4529 c z[33][17][2] is 4530 c z[33][17][3] is 4531 c z[33][17][4] is 4532 c z[33][18][1] is 4533 c z[33][18][2] is 4534 c z[33][18][3] is 4535 c z[33][18][4] is 4536 c z[33][19][1] is 4537 c z[33][19][2] is 4538 c z[33][19][3] is 4539 c z[33][19][4] is 4540 c z[33][20][1] is 4541 c z[33][20][2] is 4542 c z[33][20][3] is 4543 c z[33][20][4] is 4544 c z[33][21][1] is 4545 c z[33][21][2] is 4546 c z[33][21][3] is 4547 c z[33][21][4] is 4548 c z[33][22][1] is 4549 c z[33][22][2] is 4550 c z[33][22][3] is 4551 c z[33][22][4] is 4552 c z[33][23][1] is 4553 c z[33][23][2] is 4554 c z[33][23][3] is 4555 c z[33][23][4] is 4556 c z[33][24][1] is 4557 c z[33][24][2] is 4558 c z[33][24][3] is 4559 c z[33][24][4] is 4560 c z[33][25][1] is 4561 c z[33][25][2] is 4562 c z[33][25][3] is 4563 c z[33][25][4] is 4564 c z[33][26][1] is 4565 c z[33][26][2] is 4566 c z[33][26][3] is 4567 c z[33][26][4] is 4568 c z[33][27][1] is 4569 c z[33][27][2] is 4570 c z[33][27][3] is 4571 c z[33][27][4] is 4572 c z[33][28][1] is 4573 c z[33][28][2] is 4574 c z[33][28][3] is 4575 c z[33][28][4] is 4576 c z[33][29][1] is 4577 c z[33][29][2] is 4578 c z[33][29][3] is 4579 c z[33][29][4] is 4580 c z[33][30][1] is 4581 c z[33][30][2] is 4582 c z[33][30][3] is 4583 c z[33][30][4] is 4584 c z[33][31][1] is 4585 c z[33][31][2] is 4586 c z[33][31][3] is 4587 c z[33][31][4] is 4588 c z[34][1][1] is 4589 c z[34][1][2] is 4590 c z[34][1][3] is 4591 c z[34][1][4] is 4592 c z[34][2][1] is 4593 c z[34][2][2] is 4594 c z[34][2][3] is 4595 c z[34][2][4] is 4596 c z[34][3][1] is 4597 c z[34][3][2] is 4598 c z[34][3][3] is 4599 c z[34][3][4] is 4600 c z[34][4][1] is 4601 c z[34][4][2] is 4602 c z[34][4][3] is 4603 c z[34][4][4] is 4604 c z[34][5][1] is 4605 c z[34][5][2] is 4606 c z[34][5][3] is 4607 c z[34][5][4] is 4608 c z[34][6][1] is 4609 c z[34][6][2] is 4610 c z[34][6][3] is 4611 c z[34][6][4] is 4612 c z[34][7][1] is 4613 c z[34][7][2] is 4614 c z[34][7][3] is 4615 c z[34][7][4] is 4616 c z[34][8][1] is 4617 c z[34][8][2] is 4618 c z[34][8][3] is 4619 c z[34][8][4] is 4620 c z[34][9][1] is 4621 c z[34][9][2] is 4622 c z[34][9][3] is 4623 c z[34][9][4] is 4624 c z[34][10][1] is 4625 c z[34][10][2] is 4626 c z[34][10][3] is 4627 c z[34][10][4] is 4628 c z[34][11][1] is 4629 c z[34][11][2] is 4630 c z[34][11][3] is 4631 c z[34][11][4] is 4632 c z[34][12][1] is 4633 c z[34][12][2] is 4634 c z[34][12][3] is 4635 c z[34][12][4] is 4636 c z[34][13][1] is 4637 c z[34][13][2] is 4638 c z[34][13][3] is 4639 c z[34][13][4] is 4640 c z[34][14][1] is 4641 c z[34][14][2] is 4642 c z[34][14][3] is 4643 c z[34][14][4] is 4644 c z[34][15][1] is 4645 c z[34][15][2] is 4646 c z[34][15][3] is 4647 c z[34][15][4] is 4648 c z[34][16][1] is 4649 c z[34][16][2] is 4650 c z[34][16][3] is 4651 c z[34][16][4] is 4652 c z[34][17][1] is 4653 c z[34][17][2] is 4654 c z[34][17][3] is 4655 c z[34][17][4] is 4656 c z[34][18][1] is 4657 c z[34][18][2] is 4658 c z[34][18][3] is 4659 c z[34][18][4] is 4660 c z[34][19][1] is 4661 c z[34][19][2] is 4662 c z[34][19][3] is 4663 c z[34][19][4] is 4664 c z[34][20][1] is 4665 c z[34][20][2] is 4666 c z[34][20][3] is 4667 c z[34][20][4] is 4668 c z[34][21][1] is 4669 c z[34][21][2] is 4670 c z[34][21][3] is 4671 c z[34][21][4] is 4672 c z[34][22][1] is 4673 c z[34][22][2] is 4674 c z[34][22][3] is 4675 c z[34][22][4] is 4676 c z[34][23][1] is 4677 c z[34][23][2] is 4678 c z[34][23][3] is 4679 c z[34][23][4] is 4680 c z[34][24][1] is 4681 c z[34][24][2] is 4682 c z[34][24][3] is 4683 c z[34][24][4] is 4684 c z[34][25][1] is 4685 c z[34][25][2] is 4686 c z[34][25][3] is 4687 c z[34][25][4] is 4688 c z[34][26][1] is 4689 c z[34][26][2] is 4690 c z[34][26][3] is 4691 c z[34][26][4] is 4692 c z[34][27][1] is 4693 c z[34][27][2] is 4694 c z[34][27][3] is 4695 c z[34][27][4] is 4696 c z[34][28][1] is 4697 c z[34][28][2] is 4698 c z[34][28][3] is 4699 c z[34][28][4] is 4700 c z[34][29][1] is 4701 c z[34][29][2] is 4702 c z[34][29][3] is 4703 c z[34][29][4] is 4704 c z[34][30][1] is 4705 c z[34][30][2] is 4706 c z[34][30][3] is 4707 c z[34][30][4] is 4708 c z[34][31][1] is 4709 c z[34][31][2] is 4710 c z[34][31][3] is 4711 c z[34][31][4] is 4712 c z[35][1][1] is 4713 c z[35][1][2] is 4714 c z[35][1][3] is 4715 c z[35][1][4] is 4716 c z[35][2][1] is 4717 c z[35][2][2] is 4718 c z[35][2][3] is 4719 c z[35][2][4] is 4720 c z[35][3][1] is 4721 c z[35][3][2] is 4722 c z[35][3][3] is 4723 c z[35][3][4] is 4724 c z[35][4][1] is 4725 c z[35][4][2] is 4726 c z[35][4][3] is 4727 c z[35][4][4] is 4728 c z[35][5][1] is 4729 c z[35][5][2] is 4730 c z[35][5][3] is 4731 c z[35][5][4] is 4732 c z[35][6][1] is 4733 c z[35][6][2] is 4734 c z[35][6][3] is 4735 c z[35][6][4] is 4736 c z[35][7][1] is 4737 c z[35][7][2] is 4738 c z[35][7][3] is 4739 c z[35][7][4] is 4740 c z[35][8][1] is 4741 c z[35][8][2] is 4742 c z[35][8][3] is 4743 c z[35][8][4] is 4744 c z[35][9][1] is 4745 c z[35][9][2] is 4746 c z[35][9][3] is 4747 c z[35][9][4] is 4748 c z[35][10][1] is 4749 c z[35][10][2] is 4750 c z[35][10][3] is 4751 c z[35][10][4] is 4752 c z[35][11][1] is 4753 c z[35][11][2] is 4754 c z[35][11][3] is 4755 c z[35][11][4] is 4756 c z[35][12][1] is 4757 c z[35][12][2] is 4758 c z[35][12][3] is 4759 c z[35][12][4] is 4760 c z[35][13][1] is 4761 c z[35][13][2] is 4762 c z[35][13][3] is 4763 c z[35][13][4] is 4764 c z[35][14][1] is 4765 c z[35][14][2] is 4766 c z[35][14][3] is 4767 c z[35][14][4] is 4768 c z[35][15][1] is 4769 c z[35][15][2] is 4770 c z[35][15][3] is 4771 c z[35][15][4] is 4772 c z[35][16][1] is 4773 c z[35][16][2] is 4774 c z[35][16][3] is 4775 c z[35][16][4] is 4776 c z[35][17][1] is 4777 c z[35][17][2] is 4778 c z[35][17][3] is 4779 c z[35][17][4] is 4780 c z[35][18][1] is 4781 c z[35][18][2] is 4782 c z[35][18][3] is 4783 c z[35][18][4] is 4784 c z[35][19][1] is 4785 c z[35][19][2] is 4786 c z[35][19][3] is 4787 c z[35][19][4] is 4788 c z[35][20][1] is 4789 c z[35][20][2] is 4790 c z[35][20][3] is 4791 c z[35][20][4] is 4792 c z[35][21][1] is 4793 c z[35][21][2] is 4794 c z[35][21][3] is 4795 c z[35][21][4] is 4796 c z[35][22][1] is 4797 c z[35][22][2] is 4798 c z[35][22][3] is 4799 c z[35][22][4] is 4800 c z[35][23][1] is 4801 c z[35][23][2] is 4802 c z[35][23][3] is 4803 c z[35][23][4] is 4804 c z[35][24][1] is 4805 c z[35][24][2] is 4806 c z[35][24][3] is 4807 c z[35][24][4] is 4808 c z[35][25][1] is 4809 c z[35][25][2] is 4810 c z[35][25][3] is 4811 c z[35][25][4] is 4812 c z[35][26][1] is 4813 c z[35][26][2] is 4814 c z[35][26][3] is 4815 c z[35][26][4] is 4816 c z[35][27][1] is 4817 c z[35][27][2] is 4818 c z[35][27][3] is 4819 c z[35][27][4] is 4820 c z[35][28][1] is 4821 c z[35][28][2] is 4822 c z[35][28][3] is 4823 c z[35][28][4] is 4824 c z[35][29][1] is 4825 c z[35][29][2] is 4826 c z[35][29][3] is 4827 c z[35][29][4] is 4828 c z[35][30][1] is 4829 c z[35][30][2] is 4830 c z[35][30][3] is 4831 c z[35][30][4] is 4832 c z[35][31][1] is 4833 c z[35][31][2] is 4834 c z[35][31][3] is 4835 c z[35][31][4] is 4836 c z[36][1][1] is 4837 c z[36][1][2] is 4838 c z[36][1][3] is 4839 c z[36][1][4] is 4840 c z[36][2][1] is 4841 c z[36][2][2] is 4842 c z[36][2][3] is 4843 c z[36][2][4] is 4844 c z[36][3][1] is 4845 c z[36][3][2] is 4846 c z[36][3][3] is 4847 c z[36][3][4] is 4848 c z[36][4][1] is 4849 c z[36][4][2] is 4850 c z[36][4][3] is 4851 c z[36][4][4] is 4852 c z[36][5][1] is 4853 c z[36][5][2] is 4854 c z[36][5][3] is 4855 c z[36][5][4] is 4856 c z[36][6][1] is 4857 c z[36][6][2] is 4858 c z[36][6][3] is 4859 c z[36][6][4] is 4860 c z[36][7][1] is 4861 c z[36][7][2] is 4862 c z[36][7][3] is 4863 c z[36][7][4] is 4864 c z[36][8][1] is 4865 c z[36][8][2] is 4866 c z[36][8][3] is 4867 c z[36][8][4] is 4868 c z[36][9][1] is 4869 c z[36][9][2] is 4870 c z[36][9][3] is 4871 c z[36][9][4] is 4872 c z[36][10][1] is 4873 c z[36][10][2] is 4874 c z[36][10][3] is 4875 c z[36][10][4] is 4876 c z[36][11][1] is 4877 c z[36][11][2] is 4878 c z[36][11][3] is 4879 c z[36][11][4] is 4880 c z[36][12][1] is 4881 c z[36][12][2] is 4882 c z[36][12][3] is 4883 c z[36][12][4] is 4884 c z[36][13][1] is 4885 c z[36][13][2] is 4886 c z[36][13][3] is 4887 c z[36][13][4] is 4888 c z[36][14][1] is 4889 c z[36][14][2] is 4890 c z[36][14][3] is 4891 c z[36][14][4] is 4892 c z[36][15][1] is 4893 c z[36][15][2] is 4894 c z[36][15][3] is 4895 c z[36][15][4] is 4896 c z[36][16][1] is 4897 c z[36][16][2] is 4898 c z[36][16][3] is 4899 c z[36][16][4] is 4900 c z[36][17][1] is 4901 c z[36][17][2] is 4902 c z[36][17][3] is 4903 c z[36][17][4] is 4904 c z[36][18][1] is 4905 c z[36][18][2] is 4906 c z[36][18][3] is 4907 c z[36][18][4] is 4908 c z[36][19][1] is 4909 c z[36][19][2] is 4910 c z[36][19][3] is 4911 c z[36][19][4] is 4912 c z[36][20][1] is 4913 c z[36][20][2] is 4914 c z[36][20][3] is 4915 c z[36][20][4] is 4916 c z[36][21][1] is 4917 c z[36][21][2] is 4918 c z[36][21][3] is 4919 c z[36][21][4] is 4920 c z[36][22][1] is 4921 c z[36][22][2] is 4922 c z[36][22][3] is 4923 c z[36][22][4] is 4924 c z[36][23][1] is 4925 c z[36][23][2] is 4926 c z[36][23][3] is 4927 c z[36][23][4] is 4928 c z[36][24][1] is 4929 c z[36][24][2] is 4930 c z[36][24][3] is 4931 c z[36][24][4] is 4932 c z[36][25][1] is 4933 c z[36][25][2] is 4934 c z[36][25][3] is 4935 c z[36][25][4] is 4936 c z[36][26][1] is 4937 c z[36][26][2] is 4938 c z[36][26][3] is 4939 c z[36][26][4] is 4940 c z[36][27][1] is 4941 c z[36][27][2] is 4942 c z[36][27][3] is 4943 c z[36][27][4] is 4944 c z[36][28][1] is 4945 c z[36][28][2] is 4946 c z[36][28][3] is 4947 c z[36][28][4] is 4948 c z[36][29][1] is 4949 c z[36][29][2] is 4950 c z[36][29][3] is 4951 c z[36][29][4] is 4952 c z[36][30][1] is 4953 c z[36][30][2] is 4954 c z[36][30][3] is 4955 c z[36][30][4] is 4956 c z[36][31][1] is 4957 c z[36][31][2] is 4958 c z[36][31][3] is 4959 c z[36][31][4] is 4960 c z[37][1][1] is 4961 c z[37][1][2] is 4962 c z[37][1][3] is 4963 c z[37][1][4] is 4964 c z[37][2][1] is 4965 c z[37][2][2] is 4966 c z[37][2][3] is 4967 c z[37][2][4] is 4968 c z[37][3][1] is 4969 c z[37][3][2] is 4970 c z[37][3][3] is 4971 c z[37][3][4] is 4972 c z[37][4][1] is 4973 c z[37][4][2] is 4974 c z[37][4][3] is 4975 c z[37][4][4] is 4976 c z[37][5][1] is 4977 c z[37][5][2] is 4978 c z[37][5][3] is 4979 c z[37][5][4] is 4980 c z[37][6][1] is 4981 c z[37][6][2] is 4982 c z[37][6][3] is 4983 c z[37][6][4] is 4984 c z[37][7][1] is 4985 c z[37][7][2] is 4986 c z[37][7][3] is 4987 c z[37][7][4] is 4988 c z[37][8][1] is 4989 c z[37][8][2] is 4990 c z[37][8][3] is 4991 c z[37][8][4] is 4992 c z[37][9][1] is 4993 c z[37][9][2] is 4994 c z[37][9][3] is 4995 c z[37][9][4] is 4996 c z[37][10][1] is 4997 c z[37][10][2] is 4998 c z[37][10][3] is 4999 c z[37][10][4] is 5000 c z[37][11][1] is 5001 c z[37][11][2] is 5002 c z[37][11][3] is 5003 c z[37][11][4] is 5004 c z[37][12][1] is 5005 c z[37][12][2] is 5006 c z[37][12][3] is 5007 c z[37][12][4] is 5008 c z[37][13][1] is 5009 c z[37][13][2] is 5010 c z[37][13][3] is 5011 c z[37][13][4] is 5012 c z[37][14][1] is 5013 c z[37][14][2] is 5014 c z[37][14][3] is 5015 c z[37][14][4] is 5016 c z[37][15][1] is 5017 c z[37][15][2] is 5018 c z[37][15][3] is 5019 c z[37][15][4] is 5020 c z[37][16][1] is 5021 c z[37][16][2] is 5022 c z[37][16][3] is 5023 c z[37][16][4] is 5024 c z[37][17][1] is 5025 c z[37][17][2] is 5026 c z[37][17][3] is 5027 c z[37][17][4] is 5028 c z[37][18][1] is 5029 c z[37][18][2] is 5030 c z[37][18][3] is 5031 c z[37][18][4] is 5032 c z[37][19][1] is 5033 c z[37][19][2] is 5034 c z[37][19][3] is 5035 c z[37][19][4] is 5036 c z[37][20][1] is 5037 c z[37][20][2] is 5038 c z[37][20][3] is 5039 c z[37][20][4] is 5040 c z[37][21][1] is 5041 c z[37][21][2] is 5042 c z[37][21][3] is 5043 c z[37][21][4] is 5044 c z[37][22][1] is 5045 c z[37][22][2] is 5046 c z[37][22][3] is 5047 c z[37][22][4] is 5048 c z[37][23][1] is 5049 c z[37][23][2] is 5050 c z[37][23][3] is 5051 c z[37][23][4] is 5052 c z[37][24][1] is 5053 c z[37][24][2] is 5054 c z[37][24][3] is 5055 c z[37][24][4] is 5056 c z[37][25][1] is 5057 c z[37][25][2] is 5058 c z[37][25][3] is 5059 c z[37][25][4] is 5060 c z[37][26][1] is 5061 c z[37][26][2] is 5062 c z[37][26][3] is 5063 c z[37][26][4] is 5064 c z[37][27][1] is 5065 c z[37][27][2] is 5066 c z[37][27][3] is 5067 c z[37][27][4] is 5068 c z[37][28][1] is 5069 c z[37][28][2] is 5070 c z[37][28][3] is 5071 c z[37][28][4] is 5072 c z[37][29][1] is 5073 c z[37][29][2] is 5074 c z[37][29][3] is 5075 c z[37][29][4] is 5076 c z[37][30][1] is 5077 c z[37][30][2] is 5078 c z[37][30][3] is 5079 c z[37][30][4] is 5080 c z[37][31][1] is 5081 c z[37][31][2] is 5082 c z[37][31][3] is 5083 c z[37][31][4] is 5084 c z[38][1][1] is 5085 c z[38][1][2] is 5086 c z[38][1][3] is 5087 c z[38][1][4] is 5088 c z[38][2][1] is 5089 c z[38][2][2] is 5090 c z[38][2][3] is 5091 c z[38][2][4] is 5092 c z[38][3][1] is 5093 c z[38][3][2] is 5094 c z[38][3][3] is 5095 c z[38][3][4] is 5096 c z[38][4][1] is 5097 c z[38][4][2] is 5098 c z[38][4][3] is 5099 c z[38][4][4] is 5100 c z[38][5][1] is 5101 c z[38][5][2] is 5102 c z[38][5][3] is 5103 c z[38][5][4] is 5104 c z[38][6][1] is 5105 c z[38][6][2] is 5106 c z[38][6][3] is 5107 c z[38][6][4] is 5108 c z[38][7][1] is 5109 c z[38][7][2] is 5110 c z[38][7][3] is 5111 c z[38][7][4] is 5112 c z[38][8][1] is 5113 c z[38][8][2] is 5114 c z[38][8][3] is 5115 c z[38][8][4] is 5116 c z[38][9][1] is 5117 c z[38][9][2] is 5118 c z[38][9][3] is 5119 c z[38][9][4] is 5120 c z[38][10][1] is 5121 c z[38][10][2] is 5122 c z[38][10][3] is 5123 c z[38][10][4] is 5124 c z[38][11][1] is 5125 c z[38][11][2] is 5126 c z[38][11][3] is 5127 c z[38][11][4] is 5128 c z[38][12][1] is 5129 c z[38][12][2] is 5130 c z[38][12][3] is 5131 c z[38][12][4] is 5132 c z[38][13][1] is 5133 c z[38][13][2] is 5134 c z[38][13][3] is 5135 c z[38][13][4] is 5136 c z[38][14][1] is 5137 c z[38][14][2] is 5138 c z[38][14][3] is 5139 c z[38][14][4] is 5140 c z[38][15][1] is 5141 c z[38][15][2] is 5142 c z[38][15][3] is 5143 c z[38][15][4] is 5144 c z[38][16][1] is 5145 c z[38][16][2] is 5146 c z[38][16][3] is 5147 c z[38][16][4] is 5148 c z[38][17][1] is 5149 c z[38][17][2] is 5150 c z[38][17][3] is 5151 c z[38][17][4] is 5152 c z[38][18][1] is 5153 c z[38][18][2] is 5154 c z[38][18][3] is 5155 c z[38][18][4] is 5156 c z[38][19][1] is 5157 c z[38][19][2] is 5158 c z[38][19][3] is 5159 c z[38][19][4] is 5160 c z[38][20][1] is 5161 c z[38][20][2] is 5162 c z[38][20][3] is 5163 c z[38][20][4] is 5164 c z[38][21][1] is 5165 c z[38][21][2] is 5166 c z[38][21][3] is 5167 c z[38][21][4] is 5168 c z[38][22][1] is 5169 c z[38][22][2] is 5170 c z[38][22][3] is 5171 c z[38][22][4] is 5172 c z[38][23][1] is 5173 c z[38][23][2] is 5174 c z[38][23][3] is 5175 c z[38][23][4] is 5176 c z[38][24][1] is 5177 c z[38][24][2] is 5178 c z[38][24][3] is 5179 c z[38][24][4] is 5180 c z[38][25][1] is 5181 c z[38][25][2] is 5182 c z[38][25][3] is 5183 c z[38][25][4] is 5184 c z[38][26][1] is 5185 c z[38][26][2] is 5186 c z[38][26][3] is 5187 c z[38][26][4] is 5188 c z[38][27][1] is 5189 c z[38][27][2] is 5190 c z[38][27][3] is 5191 c z[38][27][4] is 5192 c z[38][28][1] is 5193 c z[38][28][2] is 5194 c z[38][28][3] is 5195 c z[38][28][4] is 5196 c z[38][29][1] is 5197 c z[38][29][2] is 5198 c z[38][29][3] is 5199 c z[38][29][4] is 5200 c z[38][30][1] is 5201 c z[38][30][2] is 5202 c z[38][30][3] is 5203 c z[38][30][4] is 5204 c z[38][31][1] is 5205 c z[38][31][2] is 5206 c z[38][31][3] is 5207 c z[38][31][4] is 5208 c z[39][1][1] is 5209 c z[39][1][2] is 5210 c z[39][1][3] is 5211 c z[39][1][4] is 5212 c z[39][2][1] is 5213 c z[39][2][2] is 5214 c z[39][2][3] is 5215 c z[39][2][4] is 5216 c z[39][3][1] is 5217 c z[39][3][2] is 5218 c z[39][3][3] is 5219 c z[39][3][4] is 5220 c z[39][4][1] is 5221 c z[39][4][2] is 5222 c z[39][4][3] is 5223 c z[39][4][4] is 5224 c z[39][5][1] is 5225 c z[39][5][2] is 5226 c z[39][5][3] is 5227 c z[39][5][4] is 5228 c z[39][6][1] is 5229 c z[39][6][2] is 5230 c z[39][6][3] is 5231 c z[39][6][4] is 5232 c z[39][7][1] is 5233 c z[39][7][2] is 5234 c z[39][7][3] is 5235 c z[39][7][4] is 5236 c z[39][8][1] is 5237 c z[39][8][2] is 5238 c z[39][8][3] is 5239 c z[39][8][4] is 5240 c z[39][9][1] is 5241 c z[39][9][2] is 5242 c z[39][9][3] is 5243 c z[39][9][4] is 5244 c z[39][10][1] is 5245 c z[39][10][2] is 5246 c z[39][10][3] is 5247 c z[39][10][4] is 5248 c z[39][11][1] is 5249 c z[39][11][2] is 5250 c z[39][11][3] is 5251 c z[39][11][4] is 5252 c z[39][12][1] is 5253 c z[39][12][2] is 5254 c z[39][12][3] is 5255 c z[39][12][4] is 5256 c z[39][13][1] is 5257 c z[39][13][2] is 5258 c z[39][13][3] is 5259 c z[39][13][4] is 5260 c z[39][14][1] is 5261 c z[39][14][2] is 5262 c z[39][14][3] is 5263 c z[39][14][4] is 5264 c z[39][15][1] is 5265 c z[39][15][2] is 5266 c z[39][15][3] is 5267 c z[39][15][4] is 5268 c z[39][16][1] is 5269 c z[39][16][2] is 5270 c z[39][16][3] is 5271 c z[39][16][4] is 5272 c z[39][17][1] is 5273 c z[39][17][2] is 5274 c z[39][17][3] is 5275 c z[39][17][4] is 5276 c z[39][18][1] is 5277 c z[39][18][2] is 5278 c z[39][18][3] is 5279 c z[39][18][4] is 5280 c z[39][19][1] is 5281 c z[39][19][2] is 5282 c z[39][19][3] is 5283 c z[39][19][4] is 5284 c z[39][20][1] is 5285 c z[39][20][2] is 5286 c z[39][20][3] is 5287 c z[39][20][4] is 5288 c z[39][21][1] is 5289 c z[39][21][2] is 5290 c z[39][21][3] is 5291 c z[39][21][4] is 5292 c z[39][22][1] is 5293 c z[39][22][2] is 5294 c z[39][22][3] is 5295 c z[39][22][4] is 5296 c z[39][23][1] is 5297 c z[39][23][2] is 5298 c z[39][23][3] is 5299 c z[39][23][4] is 5300 c z[39][24][1] is 5301 c z[39][24][2] is 5302 c z[39][24][3] is 5303 c z[39][24][4] is 5304 c z[39][25][1] is 5305 c z[39][25][2] is 5306 c z[39][25][3] is 5307 c z[39][25][4] is 5308 c z[39][26][1] is 5309 c z[39][26][2] is 5310 c z[39][26][3] is 5311 c z[39][26][4] is 5312 c z[39][27][1] is 5313 c z[39][27][2] is 5314 c z[39][27][3] is 5315 c z[39][27][4] is 5316 c z[39][28][1] is 5317 c z[39][28][2] is 5318 c z[39][28][3] is 5319 c z[39][28][4] is 5320 c z[39][29][1] is 5321 c z[39][29][2] is 5322 c z[39][29][3] is 5323 c z[39][29][4] is 5324 c z[39][30][1] is 5325 c z[39][30][2] is 5326 c z[39][30][3] is 5327 c z[39][30][4] is 5328 c z[39][31][1] is 5329 c z[39][31][2] is 5330 c z[39][31][3] is 5331 c z[39][31][4] is 5332 c z[40][1][1] is 5333 c z[40][1][2] is 5334 c z[40][1][3] is 5335 c z[40][1][4] is 5336 c z[40][2][1] is 5337 c z[40][2][2] is 5338 c z[40][2][3] is 5339 c z[40][2][4] is 5340 c z[40][3][1] is 5341 c z[40][3][2] is 5342 c z[40][3][3] is 5343 c z[40][3][4] is 5344 c z[40][4][1] is 5345 c z[40][4][2] is 5346 c z[40][4][3] is 5347 c z[40][4][4] is 5348 c z[40][5][1] is 5349 c z[40][5][2] is 5350 c z[40][5][3] is 5351 c z[40][5][4] is 5352 c z[40][6][1] is 5353 c z[40][6][2] is 5354 c z[40][6][3] is 5355 c z[40][6][4] is 5356 c z[40][7][1] is 5357 c z[40][7][2] is 5358 c z[40][7][3] is 5359 c z[40][7][4] is 5360 c z[40][8][1] is 5361 c z[40][8][2] is 5362 c z[40][8][3] is 5363 c z[40][8][4] is 5364 c z[40][9][1] is 5365 c z[40][9][2] is 5366 c z[40][9][3] is 5367 c z[40][9][4] is 5368 c z[40][10][1] is 5369 c z[40][10][2] is 5370 c z[40][10][3] is 5371 c z[40][10][4] is 5372 c z[40][11][1] is 5373 c z[40][11][2] is 5374 c z[40][11][3] is 5375 c z[40][11][4] is 5376 c z[40][12][1] is 5377 c z[40][12][2]