diff --git a/netlist_6502.h b/netlist_6502.h index ba70d21..11e63e0 100644 --- a/netlist_6502.h +++ b/netlist_6502.h @@ -1,14 +1,3 @@ -/* - Copyright (c) 2010 Greg James, Brian Silverman, Barry Silverman - - The following is provided under terms of the Creative Commons - Attribution-NonCommercial-ShareAlike 3.0 Unported license: - http://creativecommons.org/licenses/by-nc-sa/3.0/ - - Specify the original author as Greg James and the following URL - for original source material: www.visual6502.org -*/ - /* Copyright (c) 2010 Greg James, Brian Silverman, Barry Silverman @@ -22,1731 +11,81 @@ BOOL netlist_6502_node_is_pullup[] = { - /* 0 */ 1, - /* 1 */ 0, - /* 2 */ 0, - /* 3 */ 1, - /* 4 */ 1, - /* 5 */ 1, - /* 6 */ 1, - /* 7 */ 0, - /* 8 */ 1, - /* 9 */ 0, - /* 10 */ 1, - /* 11 */ 1, - /* 12 */ 0, - /* 13 */ 0, - /* 14 */ 1, - /* 15 */ 0, - /* 16 */ 1, - /* 17 */ 1, - /* 18 */ 0, - /* 19 */ 1, - /* 20 */ 1, - /* 21 */ 1, - /* 22 */ 1, - /* 23 */ 1, - /* 24 */ 0, - /* 25 */ 1, - /* 26 */ 1, - /* 27 */ 1, - /* 28 */ 0, - /* 29 */ 1, - /* 30 */ 2, - /* 31 */ 1, - /* 32 */ 0, - /* 33 */ 1, - /* 34 */ 1, - /* 35 */ 1, - /* 36 */ 1, - /* 37 */ 0, - /* 38 */ 1, - /* 39 */ 1, - /* 40 */ 0, - /* 41 */ 0, - /* 42 */ 0, - /* 43 */ 0, - /* 44 */ 0, - /* 45 */ 0, - /* 46 */ 1, - /* 47 */ 0, - /* 48 */ 0, - /* 49 */ 0, - /* 50 */ 0, - /* 51 */ 0, - /* 52 */ 0, - /* 53 */ 1, - /* 54 */ 0, - /* 55 */ 0, - /* 56 */ 0, - /* 57 */ 0, - /* 58 */ 1, - /* 59 */ 0, - /* 60 */ 1, - /* 61 */ 1, - /* 62 */ 1, - /* 63 */ 1, - /* 64 */ 0, - /* 65 */ 1, - /* 66 */ 0, - /* 67 */ 1, - /* 68 */ 0, - /* 69 */ 0, - /* 70 */ 1, - /* 71 */ 1, - /* 72 */ 1, - /* 73 */ 0, - /* 74 */ 0, - /* 75 */ 1, - /* 76 */ 1, - /* 77 */ 1, - /* 78 */ 1, - /* 79 */ 1, - /* 80 */ 1, - /* 81 */ 0, - /* 82 */ 0, - /* 83 */ 1, - /* 84 */ 1, - /* 85 */ 0, - /* 86 */ 0, - /* 87 */ 0, - /* 88 */ 0, - /* 89 */ 1, - /* 90 */ 1, - /* 91 */ 1, - /* 92 */ 0, - /* 93 */ 1, - /* 94 */ 0, - /* 95 */ 0, - /* 96 */ 0, - /* 97 */ 1, - /* 98 */ 0, - /* 99 */ 0, - /* 100 */ 0, - /* 101 */ 0, - /* 102 */ 0, - /* 103 */ 0, - /* 104 */ 1, - /* 105 */ 1, - /* 106 */ 0, - /* 107 */ 0, - /* 108 */ 1, - /* 109 */ 1, - /* 110 */ 1, - /* 111 */ 1, - /* 112 */ 0, - /* 113 */ 1, - /* 114 */ 0, - /* 115 */ 0, - /* 116 */ 0, - /* 117 */ 1, - /* 118 */ 1, - /* 119 */ 0, - /* 120 */ 1, - /* 121 */ 0, - /* 122 */ 1, - /* 123 */ 1, - /* 124 */ 1, - /* 125 */ 1, - /* 126 */ 0, - /* 127 */ 1, - /* 128 */ 1, - /* 129 */ 0, - /* 130 */ 1, - /* 131 */ 1, - /* 132 */ 1, - /* 133 */ 1, - /* 134 */ 1, - /* 135 */ 0, - /* 136 */ 0, - /* 137 */ 0, - /* 138 */ 0, - /* 139 */ 1, - /* 140 */ 0, - /* 141 */ 1, - /* 142 */ 1, - /* 143 */ 1, - /* 144 */ 2, - /* 145 */ 1, - /* 146 */ 1, - /* 147 */ 0, - /* 148 */ 0, - /* 149 */ 1, - /* 150 */ 0, - /* 151 */ 0, - /* 152 */ 1, - /* 153 */ 0, - /* 154 */ 1, - /* 155 */ 1, - /* 156 */ 1, - /* 157 */ 1, - /* 158 */ 0, - /* 159 */ 0, - /* 160 */ 1, - /* 161 */ 1, - /* 162 */ 0, - /* 163 */ 1, - /* 164 */ 0, - /* 165 */ 0, - /* 166 */ 0, - /* 167 */ 1, - /* 168 */ 1, - /* 169 */ 1, - /* 170 */ 0, - /* 171 */ 0, - /* 172 */ 1, - /* 173 */ 2, - /* 174 */ 1, - /* 175 */ 0, - /* 176 */ 1, - /* 177 */ 1, - /* 178 */ 1, - /* 179 */ 1, - /* 180 */ 1, - /* 181 */ 0, - /* 182 */ 1, - /* 183 */ 0, - /* 184 */ 1, - /* 185 */ 0, - /* 186 */ 0, - /* 187 */ 1, - /* 188 */ 1, - /* 189 */ 0, - /* 190 */ 0, - /* 191 */ 1, - /* 192 */ 1, - /* 193 */ 1, - /* 194 */ 1, - /* 195 */ 0, - /* 196 */ 1, - /* 197 */ 0, - /* 198 */ 1, - /* 199 */ 0, - /* 200 */ 1, - /* 201 */ 1, - /* 202 */ 0, - /* 203 */ 0, - /* 204 */ 1, - /* 205 */ 0, - /* 206 */ 1, - /* 207 */ 1, - /* 208 */ 1, - /* 209 */ 1, - /* 210 */ 0, - /* 211 */ 0, - /* 212 */ 1, - /* 213 */ 1, - /* 214 */ 0, - /* 215 */ 0, - /* 216 */ 1, - /* 217 */ 1, - /* 218 */ 1, - /* 219 */ 1, - /* 220 */ 1, - /* 221 */ 1, - /* 222 */ 0, - /* 223 */ 0, - /* 224 */ 1, - /* 225 */ 1, - /* 226 */ 0, - /* 227 */ 1, - /* 228 */ 1, - /* 229 */ 1, - /* 230 */ 0, - /* 231 */ 1, - /* 232 */ 1, - /* 233 */ 1, - /* 234 */ 1, - /* 235 */ 0, - /* 236 */ 1, - /* 237 */ 0, - /* 238 */ 1, - /* 239 */ 0, - /* 240 */ 1, - /* 241 */ 1, - /* 242 */ 1, - /* 243 */ 1, - /* 244 */ 1, - /* 245 */ 1, - /* 246 */ 0, - /* 247 */ 0, - /* 248 */ 0, - /* 249 */ 1, - /* 250 */ 0, - /* 251 */ 1, - /* 252 */ 1, - /* 253 */ 1, - /* 254 */ 1, - /* 255 */ 1, - /* 256 */ 1, - /* 257 */ 1, - /* 258 */ 1, - /* 259 */ 1, - /* 260 */ 1, - /* 261 */ 1, - /* 262 */ 1, - /* 263 */ 1, - /* 264 */ 1, - /* 265 */ 0, - /* 266 */ 0, - /* 267 */ 1, - /* 268 */ 0, - /* 269 */ 1, - /* 270 */ 1, - /* 271 */ 1, - /* 272 */ 1, - /* 273 */ 1, - /* 274 */ 1, - /* 275 */ 1, - /* 276 */ 0, - /* 277 */ 0, - /* 278 */ 1, - /* 279 */ 1, - /* 280 */ 1, - /* 281 */ 1, - /* 282 */ 1, - /* 283 */ 0, - /* 284 */ 1, - /* 285 */ 1, - /* 286 */ 1, - /* 287 */ 1, - /* 288 */ 1, - /* 289 */ 0, - /* 290 */ 2, - /* 291 */ 1, - /* 292 */ 0, - /* 293 */ 1, - /* 294 */ 0, - /* 295 */ 1, - /* 296 */ 0, - /* 297 */ 1, - /* 298 */ 0, - /* 299 */ 1, - /* 300 */ 1, - /* 301 */ 1, - /* 302 */ 1, - /* 303 */ 1, - /* 304 */ 0, - /* 305 */ 0, - /* 306 */ 1, - /* 307 */ 1, - /* 308 */ 1, - /* 309 */ 1, - /* 310 */ 0, - /* 311 */ 1, - /* 312 */ 1, - /* 313 */ 0, - /* 314 */ 1, - /* 315 */ 0, - /* 316 */ 0, - /* 317 */ 1, - /* 318 */ 1, - /* 319 */ 1, - /* 320 */ 1, - /* 321 */ 1, - /* 322 */ 0, - /* 323 */ 0, - /* 324 */ 1, - /* 325 */ 0, - /* 326 */ 1, - /* 327 */ 1, - /* 328 */ 1, - /* 329 */ 1, - /* 330 */ 1, - /* 331 */ 1, - /* 332 */ 1, - /* 333 */ 1, - /* 334 */ 1, - /* 335 */ 1, - /* 336 */ 1, - /* 337 */ 1, - /* 338 */ 0, - /* 339 */ 0, - /* 340 */ 1, - /* 341 */ 1, - /* 342 */ 1, - /* 343 */ 0, - /* 344 */ 1, - /* 345 */ 1, - /* 346 */ 0, - /* 347 */ 1, - /* 348 */ 0, - /* 349 */ 0, - /* 350 */ 1, - /* 351 */ 1, - /* 352 */ 1, - /* 353 */ 0, - /* 354 */ 1, - /* 355 */ 1, - /* 356 */ 0, - /* 357 */ 0, - /* 358 */ 1, - /* 359 */ 0, - /* 360 */ 0, - /* 361 */ 0, - /* 362 */ 0, - /* 363 */ 0, - /* 364 */ 0, - /* 365 */ 1, - /* 366 */ 1, - /* 367 */ 0, - /* 368 */ 1, - /* 369 */ 0, - /* 370 */ 1, - /* 371 */ 1, - /* 372 */ 1, - /* 373 */ 0, - /* 374 */ 1, - /* 375 */ 0, - /* 376 */ 1, - /* 377 */ 0, - /* 378 */ 1, - /* 379 */ 1, - /* 380 */ 0, - /* 381 */ 0, - /* 382 */ 1, - /* 383 */ 1, - /* 384 */ 1, - /* 385 */ 1, - /* 386 */ 1, - /* 387 */ 0, - /* 388 */ 1, - /* 389 */ 1, - /* 390 */ 1, - /* 391 */ 1, - /* 392 */ 1, - /* 393 */ 0, - /* 394 */ 0, - /* 395 */ 0, - /* 396 */ 1, - /* 397 */ 1, - /* 398 */ 0, - /* 399 */ 0, - /* 400 */ 1, - /* 401 */ 1, - /* 402 */ 0, - /* 403 */ 1, - /* 404 */ 1, - /* 405 */ 0, - /* 406 */ 0, - /* 407 */ 0, - /* 408 */ 0, - /* 409 */ 1, - /* 410 */ 1, - /* 411 */ 2, - /* 412 */ 1, - /* 413 */ 0, - /* 414 */ 0, - /* 415 */ 0, - /* 416 */ 0, - /* 417 */ 0, - /* 418 */ 0, - /* 419 */ 1, - /* 420 */ 1, - /* 421 */ 0, - /* 422 */ 1, - /* 423 */ 1, - /* 424 */ 1, - /* 425 */ 1, - /* 426 */ 0, - /* 427 */ 1, - /* 428 */ 1, - /* 429 */ 0, - /* 430 */ 0, - /* 431 */ 0, - /* 432 */ 1, - /* 433 */ 0, - /* 434 */ 1, - /* 435 */ 0, - /* 436 */ 1, - /* 437 */ 0, - /* 438 */ 0, - /* 439 */ 1, - /* 440 */ 1, - /* 441 */ 1, - /* 442 */ 1, - /* 443 */ 0, - /* 444 */ 1, - /* 445 */ 1, - /* 446 */ 1, - /* 447 */ 1, - /* 448 */ 0, - /* 449 */ 0, - /* 450 */ 1, - /* 451 */ 0, - /* 452 */ 0, - /* 453 */ 1, - /* 454 */ 0, - /* 455 */ 0, - /* 456 */ 0, - /* 457 */ 1, - /* 458 */ 1, - /* 459 */ 0, - /* 460 */ 0, - /* 461 */ 1, - /* 462 */ 1, - /* 463 */ 0, - /* 464 */ 1, - /* 465 */ 1, - /* 466 */ 1, - /* 467 */ 1, - /* 468 */ 1, - /* 469 */ 0, - /* 470 */ 1, - /* 471 */ 0, - /* 472 */ 1, - /* 473 */ 1, - /* 474 */ 1, - /* 475 */ 0, - /* 476 */ 1, - /* 477 */ 1, - /* 478 */ 1, - /* 479 */ 1, - /* 480 */ 1, - /* 481 */ 1, - /* 482 */ 0, - /* 483 */ 0, - /* 484 */ 1, - /* 485 */ 1, - /* 486 */ 1, - /* 487 */ 1, - /* 488 */ 1, - /* 489 */ 1, - /* 490 */ 1, - /* 491 */ 1, - /* 492 */ 1, - /* 493 */ 0, - /* 494 */ 1, - /* 495 */ 0, - /* 496 */ 1, - /* 497 */ 2, - /* 498 */ 0, - /* 499 */ 1, - /* 500 */ 1, - /* 501 */ 1, - /* 502 */ 0, - /* 503 */ 1, - /* 504 */ 1, - /* 505 */ 1, - /* 506 */ 1, - /* 507 */ 1, - /* 508 */ 0, - /* 509 */ 0, - /* 510 */ 1, - /* 511 */ 0, - /* 512 */ 0, - /* 513 */ 1, - /* 514 */ 0, - /* 515 */ 1, - /* 516 */ 1, - /* 517 */ 1, - /* 518 */ 1, - /* 519 */ 1, - /* 520 */ 0, - /* 521 */ 0, - /* 522 */ 1, - /* 523 */ 1, - /* 524 */ 0, - /* 525 */ 1, - /* 526 */ 0, - /* 527 */ 0, - /* 528 */ 1, - /* 529 */ 0, - /* 530 */ 0, - /* 531 */ 1, - /* 532 */ 1, - /* 533 */ 1, - /* 534 */ 0, - /* 535 */ 1, - /* 536 */ 0, - /* 537 */ 0, - /* 538 */ 1, - /* 539 */ 0, - /* 540 */ 1, - /* 541 */ 0, - /* 542 */ 2, - /* 543 */ 1, - /* 544 */ 1, - /* 545 */ 0, - /* 546 */ 1, - /* 547 */ 0, - /* 548 */ 1, - /* 549 */ 0, - /* 550 */ 1, - /* 551 */ 1, - /* 552 */ 1, - /* 553 */ 1, - /* 554 */ 0, - /* 555 */ 1, - /* 556 */ 1, - /* 557 */ 0, - /* 558 */ 0, - /* 559 */ 0, - /* 560 */ 0, - /* 561 */ 0, - /* 562 */ 0, - /* 563 */ 2, - /* 564 */ 1, - /* 565 */ 1, - /* 566 */ 1, - /* 567 */ 1, - /* 568 */ 1, - /* 569 */ 0, - /* 570 */ 1, - /* 571 */ 1, - /* 572 */ 1, - /* 573 */ 0, - /* 574 */ 0, - /* 575 */ 1, - /* 576 */ 0, - /* 577 */ 0, - /* 578 */ 1, - /* 579 */ 1, - /* 580 */ 0, - /* 581 */ 0, - /* 582 */ 1, - /* 583 */ 1, - /* 584 */ 0, - /* 585 */ 0, - /* 586 */ 1, - /* 587 */ 1, - /* 588 */ 1, - /* 589 */ 0, - /* 590 */ 0, - /* 591 */ 0, - /* 592 */ 1, - /* 593 */ 1, - /* 594 */ 1, - /* 595 */ 1, - /* 596 */ 0, - /* 597 */ 0, - /* 598 */ 0, - /* 599 */ 0, - /* 600 */ 1, - /* 601 */ 0, - /* 602 */ 1, - /* 603 */ 1, - /* 604 */ 1, - /* 605 */ 0, - /* 606 */ 1, - /* 607 */ 1, - /* 608 */ 1, - /* 609 */ 1, - /* 610 */ 0, - /* 611 */ 1, - /* 612 */ 0, - /* 613 */ 1, - /* 614 */ 0, - /* 615 */ 0, - /* 616 */ 1, - /* 617 */ 1, - /* 618 */ 1, - /* 619 */ 0, - /* 620 */ 1, - /* 621 */ 0, - /* 622 */ 0, - /* 623 */ 1, - /* 624 */ 1, - /* 625 */ 1, - /* 626 */ 1, - /* 627 */ 0, - /* 628 */ 1, - /* 629 */ 1, - /* 630 */ 1, - /* 631 */ 1, - /* 632 */ 1, - /* 633 */ 0, - /* 634 */ 0, - /* 635 */ 0, - /* 636 */ 1, - /* 637 */ 1, - /* 638 */ 1, - /* 639 */ 0, - /* 640 */ 1, - /* 641 */ 1, - /* 642 */ 0, - /* 643 */ 0, - /* 644 */ 0, - /* 645 */ 1, - /* 646 */ 1, - /* 647 */ 1, - /* 648 */ 0, - /* 649 */ 1, - /* 650 */ 0, - /* 651 */ 1, - /* 652 */ 1, - /* 653 */ 0, - /* 654 */ 0, - /* 655 */ 0, - /* 656 */ 0, - /* 657 */ 0, - /* 658 */ 1, - /* 659 */ 0, - /* 660 */ 1, - /* 661 */ 0, - /* 662 */ 1, - /* 663 */ 0, - /* 664 */ 1, - /* 665 */ 1, - /* 666 */ 0, - /* 667 */ 1, - /* 668 */ 0, - /* 669 */ 1, - /* 670 */ 1, - /* 671 */ 0, - /* 672 */ 0, - /* 673 */ 1, - /* 674 */ 1, - /* 675 */ 0, - /* 676 */ 0, - /* 677 */ 1, - /* 678 */ 1, - /* 679 */ 1, - /* 680 */ 0, - /* 681 */ 1, - /* 682 */ 1, - /* 683 */ 0, - /* 684 */ 0, - /* 685 */ 0, - /* 686 */ 1, - /* 687 */ 1, - /* 688 */ 0, - /* 689 */ 1, - /* 690 */ 1, - /* 691 */ 1, - /* 692 */ 1, - /* 693 */ 1, - /* 694 */ 1, - /* 695 */ 1, - /* 696 */ 1, - /* 697 */ 0, - /* 698 */ 0, - /* 699 */ 1, - /* 700 */ 1, - /* 701 */ 1, - /* 702 */ 1, - /* 703 */ 0, - /* 704 */ 0, - /* 705 */ 0, - /* 706 */ 0, - /* 707 */ 0, - /* 708 */ 1, - /* 709 */ 1, - /* 710 */ 0, - /* 711 */ 0, - /* 712 */ 1, - /* 713 */ 1, - /* 714 */ 1, - /* 715 */ 1, - /* 716 */ 0, - /* 717 */ 1, - /* 718 */ 1, - /* 719 */ 0, - /* 720 */ 1, - /* 721 */ 1, - /* 722 */ 0, - /* 723 */ 1, - /* 724 */ 0, - /* 725 */ 1, - /* 726 */ 1, - /* 727 */ 0, - /* 728 */ 1, - /* 729 */ 0, - /* 730 */ 1, - /* 731 */ 1, - /* 732 */ 1, - /* 733 */ 1, - /* 734 */ 0, - /* 735 */ 1, - /* 736 */ 0, - /* 737 */ 0, - /* 738 */ 0, - /* 739 */ 1, - /* 740 */ 0, - /* 741 */ 0, - /* 742 */ 0, - /* 743 */ 1, - /* 744 */ 1, - /* 745 */ 0, - /* 746 */ 1, - /* 747 */ 1, - /* 748 */ 1, - /* 749 */ 2, - /* 750 */ 1, - /* 751 */ 0, - /* 752 */ 0, - /* 753 */ 1, - /* 754 */ 1, - /* 755 */ 1, - /* 756 */ 0, - /* 757 */ 1, - /* 758 */ 0, - /* 759 */ 0, - /* 760 */ 0, - /* 761 */ 1, - /* 762 */ 1, - /* 763 */ 1, - /* 764 */ 1, - /* 765 */ 1, - /* 766 */ 0, - /* 767 */ 1, - /* 768 */ 0, - /* 769 */ 1, - /* 770 */ 1, - /* 771 */ 1, - /* 772 */ 1, - /* 773 */ 1, - /* 774 */ 1, - /* 775 */ 1, - /* 776 */ 1, - /* 777 */ 0, - /* 778 */ 1, - /* 779 */ 1, - /* 780 */ 0, - /* 781 */ 1, - /* 782 */ 1, - /* 783 */ 1, - /* 784 */ 1, - /* 785 */ 0, - /* 786 */ 1, - /* 787 */ 1, - /* 788 */ 1, - /* 789 */ 1, - /* 790 */ 1, - /* 791 */ 1, - /* 792 */ 0, - /* 793 */ 0, - /* 794 */ 0, - /* 795 */ 1, - /* 796 */ 0, - /* 797 */ 1, - /* 798 */ 0, - /* 799 */ 0, - /* 800 */ 1, - /* 801 */ 0, - /* 802 */ 0, - /* 803 */ 1, - /* 804 */ 1, - /* 805 */ 0, - /* 806 */ 0, - /* 807 */ 1, - /* 808 */ 1, - /* 809 */ 1, - /* 810 */ 1, - /* 811 */ 1, - /* 812 */ 1, - /* 813 */ 1, - /* 814 */ 0, - /* 815 */ 1, - /* 816 */ 0, - /* 817 */ 1, - /* 818 */ 1, - /* 819 */ 1, - /* 820 */ 0, - /* 821 */ 0, - /* 822 */ 1, - /* 823 */ 0, - /* 824 */ 1, - /* 825 */ 0, - /* 826 */ 0, - /* 827 */ 1, - /* 828 */ 0, - /* 829 */ 0, - /* 830 */ 1, - /* 831 */ 1, - /* 832 */ 0, - /* 833 */ 0, - /* 834 */ 1, - /* 835 */ 0, - /* 836 */ 0, - /* 837 */ 1, - /* 838 */ 1, - /* 839 */ 1, - /* 840 */ 1, - /* 841 */ 1, - /* 842 */ 1, - /* 843 */ 0, - /* 844 */ 1, - /* 845 */ 1, - /* 846 */ 1, - /* 847 */ 1, - /* 848 */ 0, - /* 849 */ 1, - /* 850 */ 1, - /* 851 */ 1, - /* 852 */ 1, - /* 853 */ 1, - /* 854 */ 1, - /* 855 */ 0, - /* 856 */ 0, - /* 857 */ 1, - /* 858 */ 0, - /* 859 */ 0, - /* 860 */ 1, - /* 861 */ 1, - /* 862 */ 1, - /* 863 */ 0, - /* 864 */ 0, - /* 865 */ 0, - /* 866 */ 0, - /* 867 */ 1, - /* 868 */ 0, - /* 869 */ 0, - /* 870 */ 1, - /* 871 */ 1, - /* 872 */ 1, - /* 873 */ 0, - /* 874 */ 0, - /* 875 */ 1, - /* 876 */ 1, - /* 877 */ 1, - /* 878 */ 0, - /* 879 */ 1, - /* 880 */ 1, - /* 881 */ 0, - /* 882 */ 1, - /* 883 */ 1, - /* 884 */ 1, - /* 885 */ 1, - /* 886 */ 0, - /* 887 */ 0, - /* 888 */ 1, - /* 889 */ 1, - /* 890 */ 1, - /* 891 */ 0, - /* 892 */ 0, - /* 893 */ 0, - /* 894 */ 0, - /* 895 */ 1, - /* 896 */ 1, - /* 897 */ 0, - /* 898 */ 0, - /* 899 */ 0, - /* 900 */ 0, - /* 901 */ 1, - /* 902 */ 0, - /* 903 */ 0, - /* 904 */ 1, - /* 905 */ 1, - /* 906 */ 1, - /* 907 */ 0, - /* 908 */ 2, - /* 909 */ 1, - /* 910 */ 1, - /* 911 */ 0, - /* 912 */ 0, - /* 913 */ 1, - /* 914 */ 0, - /* 915 */ 2, - /* 916 */ 1, - /* 917 */ 1, - /* 918 */ 1, - /* 919 */ 1, - /* 920 */ 1, - /* 921 */ 0, - /* 922 */ 0, - /* 923 */ 1, - /* 924 */ 0, - /* 925 */ 1, - /* 926 */ 1, - /* 927 */ 0, - /* 928 */ 1, - /* 929 */ 1, - /* 930 */ 1, - /* 931 */ 1, - /* 932 */ 1, - /* 933 */ 1, - /* 934 */ 1, - /* 935 */ 1, - /* 936 */ 1, - /* 937 */ 1, - /* 938 */ 1, - /* 939 */ 0, - /* 940 */ 0, - /* 941 */ 0, - /* 942 */ 0, - /* 943 */ 0, - /* 944 */ 1, - /* 945 */ 0, - /* 946 */ 1, - /* 947 */ 1, - /* 948 */ 0, - /* 949 */ 0, - /* 950 */ 1, - /* 951 */ 1, - /* 952 */ 1, - /* 953 */ 1, - /* 954 */ 1, - /* 955 */ 0, - /* 956 */ 1, - /* 957 */ 0, - /* 958 */ 1, - /* 959 */ 1, - /* 960 */ 0, - /* 961 */ 1, - /* 962 */ 1, - /* 963 */ 0, - /* 964 */ 1, - /* 965 */ 1, - /* 966 */ 1, - /* 967 */ 1, - /* 968 */ 0, - /* 969 */ 1, - /* 970 */ 0, - /* 971 */ 1, - /* 972 */ 0, - /* 973 */ 1, - /* 974 */ 0, - /* 975 */ 1, - /* 976 */ 1, - /* 977 */ 0, - /* 978 */ 0, - /* 979 */ 1, - /* 980 */ 1, - /* 981 */ 1, - /* 982 */ 0, - /* 983 */ 1, - /* 984 */ 0, - /* 985 */ 1, - /* 986 */ 1, - /* 987 */ 1, - /* 988 */ 1, - /* 989 */ 0, - /* 990 */ 1, - /* 991 */ 0, - /* 992 */ 1, - /* 993 */ 0, - /* 994 */ 0, - /* 995 */ 1, - /* 996 */ 1, - /* 997 */ 1, - /* 998 */ 1, - /* 999 */ 0, - /* 1000 */ 0, - /* 1001 */ 0, - /* 1002 */ 1, - /* 1003 */ 1, - /* 1004 */ 0, - /* 1005 */ 0, - /* 1006 */ 1, - /* 1007 */ 1, - /* 1008 */ 0, - /* 1009 */ 1, - /* 1010 */ 1, - /* 1011 */ 0, - /* 1012 */ 0, - /* 1013 */ 0, - /* 1014 */ 0, - /* 1015 */ 0, - /* 1016 */ 1, - /* 1017 */ 1, - /* 1018 */ 1, - /* 1019 */ 1, - /* 1020 */ 0, - /* 1021 */ 1, - /* 1022 */ 0, - /* 1023 */ 1, - /* 1024 */ 1, - /* 1025 */ 1, - /* 1026 */ 1, - /* 1027 */ 0, - /* 1028 */ 1, - /* 1029 */ 0, - /* 1030 */ 0, - /* 1031 */ 1, - /* 1032 */ 1, - /* 1033 */ 1, - /* 1034 */ 1, - /* 1035 */ 1, - /* 1036 */ 0, - /* 1037 */ 1, - /* 1038 */ 1, - /* 1039 */ 1, - /* 1040 */ 0, - /* 1041 */ 0, - /* 1042 */ 1, - /* 1043 */ 1, - /* 1044 */ 1, - /* 1045 */ 1, - /* 1046 */ 1, - /* 1047 */ 1, - /* 1048 */ 1, - /* 1049 */ 0, - /* 1050 */ 1, - /* 1051 */ 0, - /* 1052 */ 1, - /* 1053 */ 0, - /* 1054 */ 1, - /* 1055 */ 1, - /* 1056 */ 1, - /* 1057 */ 1, - /* 1058 */ 0, - /* 1059 */ 0, - /* 1060 */ 0, - /* 1061 */ 0, - /* 1062 */ 0, - /* 1063 */ 1, - /* 1064 */ 0, - /* 1065 */ 1, - /* 1066 */ 1, - /* 1067 */ 1, - /* 1068 */ 0, - /* 1069 */ 1, - /* 1070 */ 1, - /* 1071 */ 0, - /* 1072 */ 0, - /* 1073 */ 1, - /* 1074 */ 1, - /* 1075 */ 1, - /* 1076 */ 0, - /* 1077 */ 1, - /* 1078 */ 0, - /* 1079 */ 1, - /* 1080 */ 0, - /* 1081 */ 1, - /* 1082 */ 1, - /* 1083 */ 1, - /* 1084 */ 1, - /* 1085 */ 1, - /* 1086 */ 1, - /* 1087 */ 1, - /* 1088 */ 1, - /* 1089 */ 1, - /* 1090 */ 1, - /* 1091 */ 1, - /* 1092 */ 0, - /* 1093 */ 1, - /* 1094 */ 1, - /* 1095 */ 0, - /* 1096 */ 1, - /* 1097 */ 1, - /* 1098 */ 0, - /* 1099 */ 1, - /* 1100 */ 0, - /* 1101 */ 1, - /* 1102 */ 0, - /* 1103 */ 0, - /* 1104 */ 0, - /* 1105 */ 0, - /* 1106 */ 1, - /* 1107 */ 1, - /* 1108 */ 0, - /* 1109 */ 1, - /* 1110 */ 1, - /* 1111 */ 1, - /* 1112 */ 1, - /* 1113 */ 0, - /* 1114 */ 1, - /* 1115 */ 1, - /* 1116 */ 1, - /* 1117 */ 1, - /* 1118 */ 0, - /* 1119 */ 1, - /* 1120 */ 1, - /* 1121 */ 0, - /* 1122 */ 1, - /* 1123 */ 0, - /* 1124 */ 0, - /* 1125 */ 1, - /* 1126 */ 0, - /* 1127 */ 2, - /* 1128 */ 0, - /* 1129 */ 1, - /* 1130 */ 1, - /* 1131 */ 0, - /* 1132 */ 0, - /* 1133 */ 1, - /* 1134 */ 1, - /* 1135 */ 1, - /* 1136 */ 0, - /* 1137 */ 1, - /* 1138 */ 1, - /* 1139 */ 0, - /* 1140 */ 0, - /* 1141 */ 1, - /* 1142 */ 0, - /* 1143 */ 1, - /* 1144 */ 1, - /* 1145 */ 1, - /* 1146 */ 1, - /* 1147 */ 0, - /* 1148 */ 0, - /* 1149 */ 0, - /* 1150 */ 0, - /* 1151 */ 0, - /* 1152 */ 0, - /* 1153 */ 1, - /* 1154 */ 1, - /* 1155 */ 1, - /* 1156 */ 0, - /* 1157 */ 1, - /* 1158 */ 0, - /* 1159 */ 1, - /* 1160 */ 0, - /* 1161 */ 0, - /* 1162 */ 0, - /* 1163 */ 0, - /* 1164 */ 1, - /* 1165 */ 1, - /* 1166 */ 1, - /* 1167 */ 0, - /* 1168 */ 1, - /* 1169 */ 1, - /* 1170 */ 1, - /* 1171 */ 0, - /* 1172 */ 0, - /* 1173 */ 1, - /* 1174 */ 1, - /* 1175 */ 1, - /* 1176 */ 0, - /* 1177 */ 0, - /* 1178 */ 1, - /* 1179 */ 1, - /* 1180 */ 1, - /* 1181 */ 1, - /* 1182 */ 1, - /* 1183 */ 0, - /* 1184 */ 1, - /* 1185 */ 1, - /* 1186 */ 0, - /* 1187 */ 1, - /* 1188 */ 0, - /* 1189 */ 0, - /* 1190 */ 1, - /* 1191 */ 0, - /* 1192 */ 1, - /* 1193 */ 1, - /* 1194 */ 1, - /* 1195 */ 1, - /* 1196 */ 1, - /* 1197 */ 1, - /* 1198 */ 0, - /* 1199 */ 1, - /* 1200 */ 1, - /* 1201 */ 0, - /* 1202 */ 1, - /* 1203 */ 0, - /* 1204 */ 1, - /* 1205 */ 1, - /* 1206 */ 1, - /* 1207 */ 2, - /* 1208 */ 2, - /* 1209 */ 1, - /* 1210 */ 1, - /* 1211 */ 1, - /* 1212 */ 0, - /* 1213 */ 1, - /* 1214 */ 1, - /* 1215 */ 1, - /* 1216 */ 0, - /* 1217 */ 1, - /* 1218 */ 1, - /* 1219 */ 1, - /* 1220 */ 1, - /* 1221 */ 0, - /* 1222 */ 1, - /* 1223 */ 1, - /* 1224 */ 1, - /* 1225 */ 1, - /* 1226 */ 1, - /* 1227 */ 1, - /* 1228 */ 1, - /* 1229 */ 1, - /* 1230 */ 1, - /* 1231 */ 1, - /* 1232 */ 1, - /* 1233 */ 1, - /* 1234 */ 0, - /* 1235 */ 0, - /* 1236 */ 1, - /* 1237 */ 0, - /* 1238 */ 1, - /* 1239 */ 1, - /* 1240 */ 1, - /* 1241 */ 1, - /* 1242 */ 0, - /* 1243 */ 1, - /* 1244 */ 1, - /* 1245 */ 1, - /* 1246 */ 1, - /* 1247 */ 0, - /* 1248 */ 0, - /* 1249 */ 0, - /* 1250 */ 1, - /* 1251 */ 1, - /* 1252 */ 0, - /* 1253 */ 1, - /* 1254 */ 0, - /* 1255 */ 1, - /* 1256 */ 1, - /* 1257 */ 1, - /* 1258 */ 1, - /* 1259 */ 1, - /* 1260 */ 1, - /* 1261 */ 2, - /* 1262 */ 1, - /* 1263 */ 0, - /* 1264 */ 0, - /* 1265 */ 1, - /* 1266 */ 0, - /* 1267 */ 1, - /* 1268 */ 1, - /* 1269 */ 0, - /* 1270 */ 1, - /* 1271 */ 1, - /* 1272 */ 0, - /* 1273 */ 1, - /* 1274 */ 0, - /* 1275 */ 1, - /* 1276 */ 0, - /* 1277 */ 1, - /* 1278 */ 0, - /* 1279 */ 0, - /* 1280 */ 0, - /* 1281 */ 1, - /* 1282 */ 0, - /* 1283 */ 0, - /* 1284 */ 0, - /* 1285 */ 1, - /* 1286 */ 1, - /* 1287 */ 0, - /* 1288 */ 0, - /* 1289 */ 1, - /* 1290 */ 1, - /* 1291 */ 0, - /* 1292 */ 1, - /* 1293 */ 1, - /* 1294 */ 1, - /* 1295 */ 1, - /* 1296 */ 0, - /* 1297 */ 0, - /* 1298 */ 0, - /* 1299 */ 0, - /* 1300 */ 0, - /* 1301 */ 1, - /* 1302 */ 0, - /* 1303 */ 1, - /* 1304 */ 1, - /* 1305 */ 1, - /* 1306 */ 1, - /* 1307 */ 0, - /* 1308 */ 1, - /* 1309 */ 1, - /* 1310 */ 0, - /* 1311 */ 1, - /* 1312 */ 1, - /* 1313 */ 1, - /* 1314 */ 1, - /* 1315 */ 1, - /* 1316 */ 1, - /* 1317 */ 2, - /* 1318 */ 1, - /* 1319 */ 1, - /* 1320 */ 1, - /* 1321 */ 0, - /* 1322 */ 0, - /* 1323 */ 1, - /* 1324 */ 1, - /* 1325 */ 0, - /* 1326 */ 0, - /* 1327 */ 1, - /* 1328 */ 1, - /* 1329 */ 1, - /* 1330 */ 0, - /* 1331 */ 0, - /* 1332 */ 0, - /* 1333 */ 0, - /* 1334 */ 1, - /* 1335 */ 1, - /* 1336 */ 0, - /* 1337 */ 1, - /* 1338 */ 0, - /* 1339 */ 1, - /* 1340 */ 0, - /* 1341 */ 0, - /* 1342 */ 1, - /* 1343 */ 1, - /* 1344 */ 1, - /* 1345 */ 1, - /* 1346 */ 1, - /* 1347 */ 1, - /* 1348 */ 0, - /* 1349 */ 0, - /* 1350 */ 1, - /* 1351 */ 0, - /* 1352 */ 1, - /* 1353 */ 0, - /* 1354 */ 0, - /* 1355 */ 1, - /* 1356 */ 1, - /* 1357 */ 1, - /* 1358 */ 1, - /* 1359 */ 0, - /* 1360 */ 0, - /* 1361 */ 2, - /* 1362 */ 0, - /* 1363 */ 2, - /* 1364 */ 1, - /* 1365 */ 0, - /* 1366 */ 0, - /* 1367 */ 0, - /* 1368 */ 1, - /* 1369 */ 1, - /* 1370 */ 1, - /* 1371 */ 1, - /* 1372 */ 1, - /* 1373 */ 0, - /* 1374 */ 1, - /* 1375 */ 1, - /* 1376 */ 1, - /* 1377 */ 1, - /* 1378 */ 0, - /* 1379 */ 1, - /* 1380 */ 1, - /* 1381 */ 1, - /* 1382 */ 1, - /* 1383 */ 1, - /* 1384 */ 1, - /* 1385 */ 1, - /* 1386 */ 1, - /* 1387 */ 0, - /* 1388 */ 0, - /* 1389 */ 1, - /* 1390 */ 0, - /* 1391 */ 1, - /* 1392 */ 1, - /* 1393 */ 0, - /* 1394 */ 1, - /* 1395 */ 0, - /* 1396 */ 1, - /* 1397 */ 0, - /* 1398 */ 1, - /* 1399 */ 1, - /* 1400 */ 1, - /* 1401 */ 1, - /* 1402 */ 1, - /* 1403 */ 0, - /* 1404 */ 0, - /* 1405 */ 0, - /* 1406 */ 0, - /* 1407 */ 0, - /* 1408 */ 1, - /* 1409 */ 0, - /* 1410 */ 1, - /* 1411 */ 0, - /* 1412 */ 1, - /* 1413 */ 1, - /* 1414 */ 1, - /* 1415 */ 1, - /* 1416 */ 1, - /* 1417 */ 0, - /* 1418 */ 0, - /* 1419 */ 1, - /* 1420 */ 1, - /* 1421 */ 1, - /* 1422 */ 0, - /* 1423 */ 1, - /* 1424 */ 0, - /* 1425 */ 1, - /* 1426 */ 0, - /* 1427 */ 1, - /* 1428 */ 1, - /* 1429 */ 1, - /* 1430 */ 1, - /* 1431 */ 0, - /* 1432 */ 0, - /* 1433 */ 1, - /* 1434 */ 1, - /* 1435 */ 0, - /* 1436 */ 0, - /* 1437 */ 0, - /* 1438 */ 0, - /* 1439 */ 1, - /* 1440 */ 1, - /* 1441 */ 1, - /* 1442 */ 0, - /* 1443 */ 0, - /* 1444 */ 1, - /* 1445 */ 0, - /* 1446 */ 1, - /* 1447 */ 0, - /* 1448 */ 1, - /* 1449 */ 1, - /* 1450 */ 0, - /* 1451 */ 0, - /* 1452 */ 0, - /* 1453 */ 1, - /* 1454 */ 0, - /* 1455 */ 1, - /* 1456 */ 0, - /* 1457 */ 1, - /* 1458 */ 1, - /* 1459 */ 1, - /* 1460 */ 1, - /* 1461 */ 2, - /* 1462 */ 1, - /* 1463 */ 1, - /* 1464 */ 1, - /* 1465 */ 1, - /* 1466 */ 1, - /* 1467 */ 0, - /* 1468 */ 0, - /* 1469 */ 1, - /* 1470 */ 0, - /* 1471 */ 1, - /* 1472 */ 0, - /* 1473 */ 0, - /* 1474 */ 1, - /* 1475 */ 1, - /* 1476 */ 1, - /* 1477 */ 0, - /* 1478 */ 1, - /* 1479 */ 0, - /* 1480 */ 0, - /* 1481 */ 1, - /* 1482 */ 1, - /* 1483 */ 0, - /* 1484 */ 1, - /* 1485 */ 0, - /* 1486 */ 1, - /* 1487 */ 1, - /* 1488 */ 1, - /* 1489 */ 0, - /* 1490 */ 0, - /* 1491 */ 1, - /* 1492 */ 1, - /* 1493 */ 0, - /* 1494 */ 1, - /* 1495 */ 1, - /* 1496 */ 1, - /* 1497 */ 1, - /* 1498 */ 0, - /* 1499 */ 1, - /* 1500 */ 1, - /* 1501 */ 0, - /* 1502 */ 1, - /* 1503 */ 0, - /* 1504 */ 1, - /* 1505 */ 0, - /* 1506 */ 1, - /* 1507 */ 1, - /* 1508 */ 0, - /* 1509 */ 0, - /* 1510 */ 0, - /* 1511 */ 1, - /* 1512 */ 1, - /* 1513 */ 0, - /* 1514 */ 0, - /* 1515 */ 0, - /* 1516 */ 0, - /* 1517 */ 1, - /* 1518 */ 1, - /* 1519 */ 1, - /* 1520 */ 1, - /* 1521 */ 1, - /* 1522 */ 0, - /* 1523 */ 1, - /* 1524 */ 1, - /* 1525 */ 1, - /* 1526 */ 1, - /* 1527 */ 0, - /* 1528 */ 0, - /* 1529 */ 0, - /* 1530 */ 0, - /* 1531 */ 1, - /* 1532 */ 0, - /* 1533 */ 0, - /* 1534 */ 1, - /* 1535 */ 0, - /* 1536 */ 0, - /* 1537 */ 0, - /* 1538 */ 0, - /* 1539 */ 0, - /* 1540 */ 1, - /* 1541 */ 1, - /* 1542 */ 1, - /* 1543 */ 1, - /* 1544 */ 1, - /* 1545 */ 0, - /* 1546 */ 0, - /* 1547 */ 0, - /* 1548 */ 1, - /* 1549 */ 1, - /* 1550 */ 0, - /* 1551 */ 0, - /* 1552 */ 1, - /* 1553 */ 0, - /* 1554 */ 0, - /* 1555 */ 0, - /* 1556 */ 0, - /* 1557 */ 1, - /* 1558 */ 0, - /* 1559 */ 0, - /* 1560 */ 1, - /* 1561 */ 1, - /* 1562 */ 1, - /* 1563 */ 0, - /* 1564 */ 0, - /* 1565 */ 0, - /* 1566 */ 1, - /* 1567 */ 1, - /* 1568 */ 0, - /* 1569 */ 1, - /* 1570 */ 0, - /* 1571 */ 1, - /* 1572 */ 0, - /* 1573 */ 1, - /* 1574 */ 0, - /* 1575 */ 1, - /* 1576 */ 1, - /* 1577 */ 0, - /* 1578 */ 1, - /* 1579 */ 0, - /* 1580 */ 1, - /* 1581 */ 0, - /* 1582 */ 1, - /* 1583 */ 0, - /* 1584 */ 0, - /* 1585 */ 1, - /* 1586 */ 1, - /* 1587 */ 1, - /* 1588 */ 1, - /* 1589 */ 1, - /* 1590 */ 0, - /* 1591 */ 0, - /* 1592 */ 1, - /* 1593 */ 1, - /* 1594 */ 1, - /* 1595 */ 1, - /* 1596 */ 1, - /* 1597 */ 1, - /* 1598 */ 0, - /* 1599 */ 1, - /* 1600 */ 1, - /* 1601 */ 1, - /* 1602 */ 0, - /* 1603 */ 0, - /* 1604 */ 0, - /* 1605 */ 1, - /* 1606 */ 0, - /* 1607 */ 0, - /* 1608 */ 0, - /* 1609 */ 0, - /* 1610 */ 1, - /* 1611 */ 0, - /* 1612 */ 1, - /* 1613 */ 1, - /* 1614 */ 1, - /* 1615 */ 0, - /* 1616 */ 0, - /* 1617 */ 0, - /* 1618 */ 1, - /* 1619 */ 1, - /* 1620 */ 0, - /* 1621 */ 1, - /* 1622 */ 1, - /* 1623 */ 1, - /* 1624 */ 0, - /* 1625 */ 0, - /* 1626 */ 1, - /* 1627 */ 0, - /* 1628 */ 1, - /* 1629 */ 1, - /* 1630 */ 0, - /* 1631 */ 1, - /* 1632 */ 1, - /* 1633 */ 0, - /* 1634 */ 1, - /* 1635 */ 1, - /* 1636 */ 0, - /* 1637 */ 1, - /* 1638 */ 1, - /* 1639 */ 0, - /* 1640 */ 1, - /* 1641 */ 1, - /* 1642 */ 1, - /* 1643 */ 1, - /* 1644 */ 0, - /* 1645 */ 0, - /* 1646 */ 1, - /* 1647 */ 1, - /* 1648 */ 0, - /* 1649 */ 1, - /* 1650 */ 1, - /* 1651 */ 0, - /* 1652 */ 0, - /* 1653 */ 0, - /* 1654 */ 1, - /* 1655 */ 1, - /* 1656 */ 0, - /* 1657 */ 1, - /* 1658 */ 1, - /* 1659 */ 0, - /* 1660 */ 1, - /* 1661 */ 0, - /* 1662 */ 1, - /* 1663 */ 2, - /* 1664 */ 1, - /* 1665 */ 1, - /* 1666 */ 0, - /* 1667 */ 0, - /* 1668 */ 1, - /* 1669 */ 0, - /* 1670 */ 0, - /* 1671 */ 1, - /* 1672 */ 1, - /* 1673 */ 0, - /* 1674 */ 0, - /* 1675 */ 0, - /* 1676 */ 1, - /* 1677 */ 1, - /* 1678 */ 0, - /* 1679 */ 0, - /* 1680 */ 0, - /* 1681 */ 0, - /* 1682 */ 1, - /* 1683 */ 0, - /* 1684 */ 1, - /* 1685 */ 0, - /* 1686 */ 0, - /* 1687 */ 1, - /* 1688 */ 1, - /* 1689 */ 1, - /* 1690 */ 0, - /* 1691 */ 1, - /* 1692 */ 0, - /* 1693 */ 0, - /* 1694 */ 1, - /* 1695 */ 0, - /* 1696 */ 0, - /* 1697 */ 1, - /* 1698 */ 0, - /* 1699 */ 0, - /* 1700 */ 0, - /* 1701 */ 2, - /* 1702 */ 0, - /* 1703 */ 0, - /* 1704 */ 1, - /* 1705 */ 1, - /* 1706 */ 0, - /* 1707 */ 0, - /* 1708 */ 1, - /* 1709 */ 1, - /* 1710 */ 1, - /* 1711 */ 1, - /* 1712 */ 1, - /* 1713 */ 0, - /* 1714 */ 1, - /* 1715 */ 1, - /* 1716 */ 1, - /* 1717 */ 1, - /* 1718 */ 1, - /* 1719 */ 1, - /* 1720 */ 1, - /* 1721 */ 1, - /* 1722 */ 1, - /* 1723 */ 0, - /* 1724 */ 1 + 1, 0, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 1, 1, 1, + 1, 0, 1, 1, 1, 0, 1, 2, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, + 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 0, + 0, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 1, + 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 0, + 0, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 0, + 0, 1, 0, 1, 1, 1, 2, 1, 1, 0, 0, 1, 0, 0, 1, 0, 1, 1, 1, 1, 0, 0, 1, + 1, 0, 1, 0, 0, 0, 1, 1, 1, 0, 0, 1, 2, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, + 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 0, 0, 1, 0, 1, + 1, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 1, + 0, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 0, 1, 1, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, + 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 2, 1, 0, 1, 0, 1, 0, 1, 0, + 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, + 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, + 1, 0, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, + 1, 0, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, + 1, 1, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 0, 0, 1, 1, 2, 1, 0, + 0, 0, 0, 0, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 1, 0, 1, 0, 1, + 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 1, 0, + 0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, + 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 2, 0, 1, 1, 1, 0, 1, 1, 1, + 1, 1, 0, 0, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, + 0, 0, 1, 1, 1, 0, 1, 0, 0, 1, 0, 1, 0, 2, 1, 1, 0, 1, 0, 1, 0, 1, 1, + 1, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 2, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, + 1, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 0, 0, 0, 1, 1, 1, 1, 0, 0, + 0, 0, 1, 0, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 0, 1, 0, 0, 1, 1, 1, 0, 1, + 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, + 0, 1, 1, 1, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 1, 1, 0, + 1, 0, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 0, 1, 1, 0, 1, + 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, + 1, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, + 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 1, 1, 1, 2, 1, 0, 0, 1, 1, 1, 0, 1, 0, + 0, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, + 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, + 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 0, 0, 1, 0, 1, 0, 0, 1, + 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, + 1, 1, 1, 1, 0, 0, 1, 0, 0, 1, 1, 1, 0, 0, 0, 0, 1, 0, 0, 1, 1, 1, 0, + 0, 1, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 0, 0, 0, 1, 1, + 0, 0, 0, 0, 1, 0, 0, 1, 1, 1, 0, 2, 1, 1, 0, 0, 1, 0, 2, 1, 1, 1, 1, + 1, 0, 0, 1, 0, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, + 0, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, + 1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, + 0, 1, 0, 1, 0, 0, 1, 1, 1, 1, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, + 0, 0, 0, 0, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0, 0, 1, 1, 1, 1, + 1, 0, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, + 0, 0, 0, 0, 0, 1, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 0, 1, 0, + 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 1, 0, 1, 0, 1, 0, 0, + 0, 0, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, + 2, 0, 1, 1, 0, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 0, 0, 0, + 0, 0, 0, 1, 1, 1, 0, 1, 0, 1, 0, 0, 0, 0, 1, 1, 1, 0, 1, 1, 1, 0, 0, + 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 1, 1, 1, 1, + 1, 1, 0, 1, 1, 0, 1, 0, 1, 1, 1, 2, 2, 1, 1, 1, 0, 1, 1, 1, 0, 1, 1, + 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, + 0, 1, 1, 1, 1, 0, 0, 0, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 2, 1, 0, 0, + 1, 0, 1, 1, 0, 1, 1, 0, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, + 0, 1, 1, 0, 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, + 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 0, 0, 1, 1, 0, 0, 1, 1, 1, 0, 0, 0, 0, + 1, 1, 0, 1, 0, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 0, 0, 1, 1, + 1, 1, 0, 0, 2, 0, 2, 1, 0, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, + 1, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, + 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 0, 1, 0, 1, + 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 1, 0, 0, 1, 0, 1, 0, 1, + 1, 0, 0, 0, 1, 0, 1, 0, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1, + 0, 0, 1, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 1, 1, 1, 0, 0, 1, 1, 0, 1, + 1, 1, 1, 0, 1, 1, 0, 1, 0, 1, 0, 1, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, + 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 1, + 1, 1, 1, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 1, 1, 0, + 0, 0, 1, 1, 0, 1, 0, 1, 0, 1, 0, 1, 1, 0, 1, 0, 1, 0, 1, 0, 0, 1, 1, + 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, + 1, 0, 1, 1, 1, 0, 0, 0, 1, 1, 0, 1, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 1, + 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 1, 1, 0, 0, 0, 1, 1, + 0, 1, 1, 0, 1, 0, 1, 2, 1, 1, 0, 0, 1, 0, 0, 1, 1, 0, 0, 0, 1, 1, 0, + 0, 0, 0, 1, 0, 1, 0, 0, 1, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 0, 0, 0, 2, + 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1 }; typedef struct { @@ -1757,3514 +96,3514 @@ typedef struct { netlist_transdefs netlist_6502_transdefs[] = { -{357, 558, 217}, -{1608, 657, 349}, -{412, 558, 1146}, -{558, 558, 943}, -{826, 230, 657}, -{82, 558, 1319}, -{821, 289, 1514}, -{558, 558, 1171}, -{945, 558, 1199}, -{710, 524, 1548}, -{190, 558, 220}, -{38, 1247, 657}, -{1248, 189, 558}, -{1248, 558, 155}, -{943, 558, 346}, -{1140, 148, 657}, -{1540, 508, 558}, -{710, 32, 1082}, -{710, 1451, 212}, -{1247, 558, 534}, -{943, 1162, 272}, -{943, 983, 418}, -{248, 1615, 468}, -{248, 472, 395}, -{710, 1495, 348}, -{1096, 1100, 558}, -{1096, 558, 1660}, -{1096, 855, 657}, -{1503, 558, 744}, -{44, 1616, 558}, -{78, 651, 375}, -{78, 558, 65}, -{710, 928, 1378}, -{710, 1309, 74}, -{943, 518, 115}, -{32, 558, 31}, -{943, 1405, 657}, -{943, 973, 1603}, -{347, 510, 558}, -{710, 1667, 883}, -{706, 1456, 558}, -{1174, 307, 558}, -{1622, 558, 409}, -{192, 25, 558}, -{1490, 558, 606}, -{943, 1148, 767}, -{549, 1150, 1248}, -{549, 1287, 1332}, -{549, 1680, 1188}, -{549, 1142, 1405}, -{353, 794, 558}, -{353, 794, 558}, -{593, 558, 1700}, -{549, 1167, 54}, -{600, 613, 1362}, -{549, 530, 166}, -{549, 1627, 1336}, -{948, 558, 1400}, -{264, 1092, 480}, -{1582, 632, 558}, -{584, 558, 923}, -{1003, 274, 136}, -{1003, 860, 558}, -{943, 1347, 1527}, -{68, 558, 331}, -{558, 945, 558}, -{1457, 1644, 1495}, -{1485, 1066, 558}, -{1485, 558, 1066}, -{1485, 1066, 558}, -{1077, 558, 1622}, -{1077, 667, 558}, -{325, 115, 1336}, -{710, 920, 785}, -{1318, 748, 558}, -{362, 304, 657}, -{127, 421, 657}, -{325, 989, 1405}, -{53, 558, 790}, -{763, 558, 1068}, -{1088, 558, 147}, -{1088, 558, 1463}, -{1042, 1370, 493}, -{1042, 1473, 1421}, -{943, 513, 443}, -{943, 1673, 1646}, -{943, 490, 1516}, -{311, 856, 558}, -{311, 835, 558}, -{783, 558, 1158}, -{783, 558, 1704}, -{783, 558, 1253}, -{381, 230, 558}, -{381, 230, 558}, -{381, 230, 558}, -{381, 558, 230}, -{381, 230, 558}, -{381, 558, 230}, -{381, 230, 558}, -{152, 558, 1343}, -{555, 371, 558}, -{810, 558, 207}, -{819, 501, 558}, -{1148, 1138, 558}, -{963, 657, 672}, -{967, 202, 558}, -{1691, 972, 558}, -{1342, 1563, 558}, -{786, 844, 558}, -{422, 657, 1296}, -{422, 1346, 558}, -{422, 359, 558}, -{984, 1680, 558}, -{1410, 558, 365}, -{403, 558, 1145}, -{527, 746, 558}, -{1610, 972, 1372}, -{710, 653, 1497}, -{429, 489, 558}, -{467, 558, 10}, -{460, 692, 558}, -{536, 558, 1647}, -{917, 1358, 558}, -{821, 429, 514}, -{744, 558, 1268}, -{710, 430, 1570}, -{943, 1179, 393}, -{1700, 998, 1188}, -{1700, 1389, 1287}, -{1369, 558, 1462}, -{1369, 657, 438}, -{925, 558, 816}, -{1700, 721, 1001}, -{1700, 618, 1336}, -{818, 1043, 558}, -{818, 657, 414}, -{1700, 3, 1405}, -{270, 1426, 558}, -{1678, 477, 1559}, -{1678, 558, 1632}, -{710, 1590, 1083}, -{589, 558, 1017}, -{710, 1424, 1066}, -{1420, 1455, 558}, -{1420, 397, 558}, -{493, 789, 558}, -{640, 884, 558}, -{1108, 558, 624}, -{154, 558, 75}, -{154, 657, 129}, -{787, 558, 605}, -{1247, 558, 325}, -{1582, 604, 558}, -{1670, 1010, 558}, -{798, 82, 657}, -{798, 82, 657}, -{453, 1264, 558}, -{28, 567, 558}, -{121, 558, 1548}, -{285, 1225, 558}, -{1134, 558, 70}, -{706, 1366, 558}, -{272, 952, 558}, -{715, 426, 558}, -{715, 914, 558}, -{761, 711, 739}, -{1296, 657, 399}, -{1453, 657, 373}, -{1312, 558, 264}, -{646, 558, 812}, -{943, 1513, 210}, -{379, 1500, 1706}, -{379, 558, 1345}, -{813, 1101, 1508}, -{4, 558, 11}, -{819, 1380, 558}, -{714, 214, 657}, -{43, 818, 558}, -{1520, 558, 1107}, -{1002, 558, 1130}, -{943, 779, 805}, -{710, 1141, 101}, -{943, 408, 1308}, -{1581, 1480, 379}, -{347, 558, 191}, -{1537, 1116, 558}, -{1537, 558, 1116}, -{1537, 1116, 558}, -{1624, 169, 558}, -{408, 938, 558}, -{1576, 1125, 558}, -{943, 1609, 1394}, -{205, 453, 558}, -{309, 558, 368}, -{1544, 405, 1172}, -{1720, 558, 373}, -{1720, 657, 612}, -{1088, 1076, 657}, -{646, 558, 773}, -{982, 558, 1141}, -{1135, 558, 1203}, -{1135, 558, 1629}, -{1258, 558, 813}, -{248, 558, 720}, -{1045, 558, 1371}, -{999, 558, 1237}, -{999, 1237, 558}, -{999, 558, 1237}, -{999, 558, 1237}, -{999, 1237, 558}, -{999, 558, 1237}, -{999, 1237, 558}, -{943, 561, 29}, -{867, 558, 876}, -{1173, 558, 1717}, -{1146, 206, 558}, -{76, 558, 1106}, -{241, 558, 1033}, -{241, 657, 1015}, -{995, 975, 886}, -{201, 558, 1371}, -{273, 558, 272}, -{846, 307, 558}, -{879, 1183, 541}, -{827, 558, 380}, -{1061, 558, 124}, -{654, 332, 1403}, -{943, 1108, 657}, -{621, 558, 355}, -{1035, 558, 251}, -{1606, 188, 558}, -{41, 407, 719}, -{41, 52, 87}, -{41, 1651, 1424}, -{41, 315, 1661}, -{41, 1160, 1095}, -{41, 483, 1387}, -{41, 13, 1014}, -{41, 1539, 1147}, -{370, 558, 689}, -{805, 558, 1534}, -{943, 326, 1136}, -{943, 1117, 170}, -{710, 797, 873}, -{1382, 558, 1087}, -{960, 1178, 558}, -{977, 1628, 316}, -{977, 558, 143}, -{874, 1098, 166}, -{874, 1212, 1336}, -{874, 1532, 1188}, -{874, 1405, 1702}, -{874, 183, 1150}, -{874, 81, 1287}, -{781, 802, 558}, -{1525, 558, 406}, -{1525, 558, 555}, -{647, 427, 558}, -{1372, 1425, 558}, -{943, 242, 1648}, -{710, 931, 1674}, -{710, 1526, 1450}, -{1273, 638, 558}, -{512, 558, 154}, -{1247, 874, 558}, -{1427, 558, 1448}, -{223, 558, 1357}, -{1219, 558, 1002}, -{1042, 1108, 687}, -{943, 604, 1477}, -{206, 367, 1082}, -{265, 818, 558}, -{1575, 558, 971}, -{105, 371, 406}, -{105, 558, 555}, -{631, 558, 1323}, -{631, 657, 283}, -{544, 267, 558}, -{1482, 616, 558}, -{943, 657, 1437}, -{101, 558, 1364}, -{985, 558, 844}, -{1262, 558, 1151}, -{654, 618, 1212}, -{654, 280, 1098}, -{654, 3, 1702}, -{654, 998, 1532}, -{654, 1389, 81}, -{654, 694, 183}, -{315, 558, 883}, -{1307, 558, 178}, -{281, 558, 347}, -{781, 553, 558}, -{1413, 558, 1235}, -{764, 558, 1649}, -{1212, 558, 1187}, -{710, 719, 1597}, -{1410, 558, 1605}, -{279, 455, 558}, -{943, 407, 657}, -{730, 1724, 558}, -{612, 558, 175}, -{612, 558, 175}, -{612, 558, 175}, -{612, 558, 175}, -{612, 175, 558}, -{612, 175, 558}, -{612, 558, 175}, -{445, 558, 317}, -{445, 558, 417}, -{445, 558, 417}, -{710, 127, 558}, -{445, 539, 558}, -{445, 558, 539}, -{445, 539, 558}, -{445, 558, 539}, -{445, 558, 539}, -{768, 287, 558}, -{1382, 1215, 558}, -{1220, 558, 547}, -{1220, 817, 558}, -{1015, 1637, 1242}, -{1015, 1282, 872}, -{1015, 413, 401}, -{784, 558, 1464}, -{67, 558, 501}, -{1699, 558, 913}, -{447, 261, 558}, -{425, 388, 558}, -{801, 564, 54}, -{347, 335, 558}, -{1602, 558, 1596}, -{182, 442, 558}, -{746, 657, 798}, -{943, 261, 729}, -{710, 959, 323}, -{710, 1183, 1605}, -{1595, 1181, 793}, -{1227, 488, 558}, -{0, 182, 558}, -{1452, 861, 558}, -{575, 558, 1000}, -{1708, 558, 1055}, -{1305, 558, 921}, -{525, 800, 558}, -{525, 1331, 657}, -{1130, 80, 558}, -{1381, 558, 980}, -{328, 1133, 558}, -{328, 558, 194}, -{66, 451, 558}, -{66, 451, 558}, -{66, 451, 558}, -{66, 451, 558}, -{943, 558, 48}, -{943, 558, 741}, -{1341, 600, 558}, -{712, 558, 300}, -{1108, 558, 1224}, -{335, 1303, 1397}, -{253, 279, 558}, -{253, 1692, 558}, -{1129, 657, 943}, -{1333, 906, 558}, -{558, 82, 558}, -{1081, 558, 605}, -{1530, 558, 1198}, -{424, 657, 248}, -{614, 558, 1178}, -{198, 248, 558}, -{198, 424, 558}, -{335, 1717, 1604}, -{437, 413, 977}, -{926, 558, 1054}, -{1700, 694, 1150}, -{869, 558, 349}, -{869, 558, 349}, -{869, 349, 558}, -{869, 558, 349}, -{869, 349, 558}, -{869, 349, 558}, -{869, 349, 558}, -{1076, 657, 1393}, -{1076, 657, 1393}, -{1611, 558, 641}, -{1700, 280, 166}, -{244, 558, 544}, -{1144, 757, 939}, -{248, 1456, 428}, -{248, 12, 1091}, -{248, 558, 16}, -{82, 213, 558}, -{170, 558, 686}, -{601, 558, 280}, -{943, 1654, 162}, -{821, 705, 1062}, -{521, 6, 558}, -{317, 657, 417}, -{203, 558, 52}, -{353, 558, 1076}, -{353, 558, 1076}, -{353, 558, 1463}, -{710, 1553, 845}, -{1109, 1358, 558}, -{650, 558, 1281}, -{427, 558, 500}, -{427, 112, 1314}, -{943, 878, 462}, -{330, 807, 558}, -{1258, 558, 1716}, -{48, 584, 315}, -{48, 502, 1651}, -{48, 49, 483}, -{48, 948, 1160}, -{48, 205, 1539}, -{48, 1551, 13}, -{943, 1336, 657}, -{943, 1187, 1029}, -{1503, 558, 1383}, -{821, 1667, 92}, -{943, 1090, 1683}, -{762, 558, 1018}, -{135, 421, 558}, -{135, 421, 558}, -{135, 558, 421}, -{135, 421, 558}, -{943, 1160, 657}, -{943, 1630, 657}, -{440, 366, 1012}, -{668, 1143, 558}, -{1162, 21, 558}, -{943, 474, 15}, -{1263, 1169, 54}, -{962, 558, 1035}, -{1523, 963, 558}, -{1523, 635, 657}, -{1260, 1413, 558}, -{1260, 657, 1235}, -{220, 558, 130}, -{220, 639, 657}, -{400, 558, 102}, -{400, 657, 1696}, -{834, 558, 1696}, -{834, 558, 400}, -{777, 1561, 558}, -{604, 656, 558}, -{1545, 1443, 657}, -{1246, 558, 1012}, -{1334, 558, 949}, -{1334, 558, 1406}, -{859, 977, 1108}, -{710, 402, 187}, -{358, 558, 1129}, -{358, 558, 1129}, -{943, 1717, 1113}, -{1263, 871, 1001}, -{943, 657, 52}, -{943, 568, 498}, -{1250, 138, 558}, -{1250, 990, 558}, -{1250, 1041, 657}, -{1011, 558, 1214}, -{1655, 558, 182}, -{1136, 1356, 558}, -{378, 909, 558}, -{35, 71, 558}, -{35, 654, 657}, -{554, 1180, 558}, -{554, 558, 964}, -{787, 1304, 558}, -{967, 1347, 558}, -{967, 558, 104}, -{710, 571, 343}, -{943, 207, 1061}, -{980, 473, 1004}, -{89, 558, 958}, -{963, 657, 672}, -{1240, 863, 558}, -{943, 164, 333}, -{174, 558, 1197}, -{781, 558, 1170}, -{670, 1417, 657}, -{994, 558, 1443}, -{994, 1443, 558}, -{994, 558, 1443}, -{994, 558, 1443}, -{994, 1443, 558}, -{994, 558, 1443}, -{994, 1443, 558}, -{1439, 558, 518}, -{654, 1435, 721}, -{13, 558, 880}, -{670, 747, 558}, -{1472, 1480, 558}, -{1587, 1294, 558}, -{1587, 558, 1083}, -{1628, 1285, 942}, -{506, 558, 877}, -{824, 1278, 1642}, -{59, 722, 1084}, -{1396, 1347, 558}, -{1676, 558, 634}, -{1676, 86, 657}, -{943, 194, 310}, -{118, 1092, 558}, -{1176, 558, 572}, -{1336, 61, 558}, -{1100, 268, 558}, -{1100, 268, 558}, -{1100, 268, 558}, -{712, 558, 383}, -{1337, 1560, 558}, -{1603, 558, 3}, -{443, 1422, 754}, -{443, 558, 755}, -{943, 496, 601}, -{1223, 225, 558}, -{1223, 657, 859}, -{337, 895, 558}, -{1225, 558, 1222}, -{710, 87, 870}, -{1015, 684, 1414}, -{1015, 1437, 606}, -{943, 844, 459}, -{175, 568, 558}, -{1517, 916, 558}, -{1015, 765, 1299}, -{1015, 1630, 314}, -{1015, 121, 331}, -{293, 1402, 57}, -{293, 207, 356}, -{293, 810, 558}, -{335, 734, 1106}, -{807, 330, 558}, -{990, 1041, 558}, -{990, 138, 657}, -{1357, 558, 1575}, -{1097, 558, 1475}, -{59, 740, 1691}, -{787, 51, 29}, -{1635, 558, 203}, -{710, 1641, 237}, -{710, 724, 409}, -{1662, 1426, 845}, -{267, 558, 80}, -{206, 387, 916}, -{59, 649, 1071}, -{505, 22, 1572}, -{505, 558, 193}, -{943, 1071, 495}, -{1109, 1130, 558}, -{1417, 1163, 558}, -{1417, 558, 1163}, -{1417, 1163, 558}, -{1417, 558, 1163}, -{1417, 1163, 558}, -{943, 718, 116}, -{1236, 165, 558}, -{8, 1584, 345}, -{1634, 558, 37}, -{1634, 558, 224}, -{10, 176, 558}, -{55, 628, 558}, -{1614, 299, 1616}, -{925, 558, 335}, -{664, 558, 1697}, -{1465, 558, 1134}, -{1459, 122, 558}, -{1459, 1030, 558}, -{772, 558, 1305}, -{772, 657, 921}, -{1098, 558, 496}, -{1079, 481, 558}, -{943, 534, 558}, -{459, 625, 558}, -{43, 830, 558}, -{558, 103, 558}, -{755, 566, 580}, -{1634, 520, 657}, -{732, 558, 17}, -{732, 558, 1536}, -{710, 248, 1679}, -{710, 223, 1215}, -{748, 1327, 558}, -{1078, 558, 511}, -{863, 1108, 719}, -{863, 991, 87}, -{863, 1473, 1424}, -{863, 1302, 1661}, -{863, 892, 1095}, -{863, 1503, 1387}, -{863, 833, 1014}, -{863, 493, 1147}, -{1374, 1368, 558}, -{322, 657, 1493}, -{322, 1493, 657}, -{322, 1493, 657}, -{322, 1493, 657}, -{1536, 558, 1233}, -{1536, 558, 286}, -{1536, 558, 382}, -{1536, 558, 1173}, -{1536, 558, 1543}, -{1536, 558, 76}, -{1536, 1658, 558}, -{1536, 245, 558}, -{1536, 985, 558}, -{1536, 558, 682}, -{1536, 558, 665}, -{1536, 558, 271}, -{1536, 558, 552}, -{1536, 1623, 558}, -{1536, 403, 558}, -{1536, 1273, 558}, -{1536, 558, 1337}, -{1536, 558, 1355}, -{1536, 558, 787}, -{1536, 558, 575}, -{1536, 558, 257}, -{1536, 179, 558}, -{1536, 131, 558}, -{1536, 1420, 558}, -{1536, 558, 1342}, -{1536, 558, 4}, -{1536, 558, 1396}, -{1536, 558, 167}, -{1536, 558, 303}, -{1536, 1504, 558}, -{1536, 1721, 558}, -{1536, 1074, 558}, -{1536, 558, 1478}, -{1536, 558, 594}, -{1536, 558, 1292}, -{1536, 558, 1114}, -{1536, 558, 1476}, -{1536, 1226, 558}, -{1536, 1419, 558}, -{943, 573, 1491}, -{236, 558, 272}, -{587, 558, 299}, -{337, 1466, 558}, -{337, 1601, 558}, -{337, 558, 1173}, -{337, 558, 1562}, -{337, 558, 1543}, -{337, 558, 1540}, -{337, 558, 245}, -{337, 985, 558}, -{337, 682, 558}, -{337, 665, 558}, -{337, 558, 286}, -{337, 558, 271}, -{337, 558, 370}, -{337, 558, 403}, -{337, 558, 804}, -{337, 712, 558}, -{337, 546, 558}, -{337, 776, 558}, -{337, 558, 257}, -{337, 558, 179}, -{337, 558, 1420}, -{337, 558, 4}, -{337, 167, 558}, -{337, 303, 558}, -{337, 1504, 558}, -{337, 487, 558}, -{337, 558, 579}, -{337, 558, 145}, -{337, 558, 259}, -{337, 558, 517}, -{337, 352, 558}, -{337, 750, 558}, -{337, 528, 558}, -{337, 691, 558}, -{337, 558, 1646}, -{337, 558, 1114}, -{337, 558, 1476}, -{337, 558, 1226}, -{337, 1665, 558}, -{337, 840, 558}, -{337, 1164, 558}, -{943, 473, 848}, -{943, 614, 389}, -{1359, 558, 249}, -{943, 960, 1081}, -{248, 1154, 558}, -{248, 180, 558}, -{1202, 558, 1367}, -{1202, 558, 57}, -{307, 558, 620}, -{784, 558, 256}, -{1551, 558, 278}, -{567, 171, 558}, -{567, 1026, 558}, -{567, 657, 322}, -{551, 558, 8}, -{943, 1620, 1125}, -{558, 1297, 558}, -{832, 1275, 558}, -{491, 437, 558}, -{1502, 642, 558}, -{1502, 951, 558}, -{1502, 1152, 657}, -{892, 744, 558}, -{79, 911, 696}, -{943, 277, 893}, -{412, 1257, 558}, -{1714, 1189, 262}, -{1241, 177, 558}, -{833, 558, 351}, -{43, 558, 1541}, -{1529, 558, 91}, -{167, 558, 11}, -{710, 854, 1395}, -{1126, 1290, 558}, -{699, 1556, 986}, -{699, 867, 558}, -{1057, 1649, 558}, -{1070, 558, 1538}, -{1070, 1334, 558}, -{1070, 558, 200}, -{1112, 382, 558}, -{1112, 1233, 558}, -{1112, 84, 558}, -{1112, 1543, 558}, -{1112, 76, 558}, -{1112, 1658, 558}, -{1112, 786, 558}, -{1112, 1664, 558}, -{1112, 1482, 558}, -{1112, 286, 558}, -{1112, 271, 558}, -{1112, 370, 558}, -{1112, 552, 558}, -{1112, 1612, 558}, -{1112, 1487, 558}, -{1112, 784, 558}, -{1112, 764, 558}, -{1112, 1057, 558}, -{1112, 1582, 558}, -{1112, 1031, 558}, -{1112, 804, 558}, -{1112, 1311, 558}, -{1112, 1428, 558}, -{1112, 1520, 558}, -{1112, 1259, 558}, -{1112, 857, 558}, -{1112, 712, 558}, -{1112, 1337, 558}, -{1112, 1381, 558}, -{1112, 776, 558}, -{1112, 157, 558}, -{1112, 1324, 558}, -{1112, 179, 558}, -{1112, 131, 558}, -{1112, 4, 558}, -{1112, 1396, 558}, -{1112, 167, 558}, -{1112, 303, 558}, -{1112, 1086, 558}, -{1112, 1074, 558}, -{1112, 487, 558}, -{1112, 579, 558}, -{1112, 0, 558}, -{1112, 1478, 558}, -{1112, 594, 558}, -{1112, 1210, 558}, -{1112, 1557, 558}, -{1112, 259, 558}, -{1112, 1052, 558}, -{1112, 791, 558}, -{1112, 352, 558}, -{1112, 750, 558}, -{1112, 932, 558}, -{1112, 1589, 558}, -{1112, 446, 558}, -{1112, 528, 558}, -{1112, 309, 558}, -{1112, 1430, 558}, -{1112, 1646, 558}, -{1112, 1476, 558}, -{1112, 1226, 558}, -{1112, 1569, 558}, -{1112, 950, 558}, -{1112, 1665, 558}, -{1112, 1710, 558}, -{1112, 1050, 558}, -{1112, 607, 558}, -{1112, 219, 558}, -{1300, 1384, 558}, -{710, 416, 1016}, -{276, 558, 1637}, -{1544, 586, 1330}, -{1544, 586, 1330}, -{943, 1607, 318}, -{1328, 558, 1466}, -{1328, 271, 558}, -{1328, 370, 558}, -{1328, 558, 552}, -{1328, 558, 1612}, -{1328, 558, 1487}, -{1328, 558, 784}, -{1328, 558, 244}, -{1328, 558, 1623}, -{1328, 764, 558}, -{1328, 403, 558}, -{1328, 558, 1582}, -{1328, 558, 1031}, -{1328, 558, 804}, -{1328, 558, 1311}, -{1328, 558, 1520}, -{1328, 558, 857}, -{1328, 712, 558}, -{1328, 558, 1381}, -{1328, 558, 546}, -{1328, 558, 776}, -{1328, 558, 157}, -{1328, 558, 1243}, -{1328, 558, 1324}, -{1328, 131, 558}, -{1328, 1396, 558}, -{1328, 558, 303}, -{1328, 558, 1504}, -{1328, 558, 1086}, -{1328, 558, 1074}, -{1328, 558, 1246}, -{1328, 558, 487}, -{1328, 579, 558}, -{1328, 0, 558}, -{1328, 558, 1478}, -{1328, 558, 594}, -{1328, 558, 1557}, -{1328, 558, 259}, -{1328, 558, 1052}, -{1328, 558, 791}, -{1328, 352, 558}, -{1328, 750, 558}, -{1328, 558, 932}, -{1328, 558, 1589}, -{1328, 558, 446}, -{1328, 558, 528}, -{1328, 558, 309}, -{1328, 558, 1430}, -{1328, 691, 558}, -{1328, 1292, 558}, -{1328, 558, 1646}, -{1328, 558, 1114}, -{1328, 558, 1476}, -{1328, 558, 1226}, -{1328, 558, 1569}, -{1328, 558, 1665}, -{1328, 1050, 558}, -{1328, 558, 1174}, -{1063, 558, 1310}, -{963, 672, 657}, -{840, 558, 846}, -{1131, 558, 187}, -{243, 566, 802}, -{216, 516, 558}, -{216, 1610, 558}, -{1299, 558, 1046}, -{1107, 389, 558}, -{639, 416, 107}, -{1007, 558, 1334}, -{1673, 558, 754}, -{639, 1636, 707}, -{573, 1484, 558}, -{1241, 558, 1013}, -{1241, 558, 1217}, -{291, 558, 1157}, -{291, 657, 1564}, -{1524, 1225, 558}, -{1721, 558, 10}, -{278, 558, 1488}, -{462, 558, 1278}, -{599, 725, 558}, -{692, 441, 558}, -{692, 325, 657}, -{1259, 558, 300}, -{760, 1350, 558}, -{1473, 558, 458}, -{820, 27, 558}, -{383, 917, 558}, -{622, 558, 386}, -{248, 1649, 558}, -{16, 472, 1366}, -{899, 558, 850}, -{353, 558, 147}, -{353, 558, 147}, -{1385, 558, 347}, -{710, 1132, 1087}, -{248, 1180, 558}, -{943, 1373, 188}, -{817, 486, 558}, -{997, 657, 963}, -{997, 1523, 558}, -{997, 635, 558}, -{225, 859, 558}, -{640, 136, 558}, -{640, 860, 558}, -{155, 1021, 558}, -{155, 425, 558}, -{440, 558, 1555}, -{432, 1686, 558}, -{432, 1097, 558}, -{635, 558, 672}, -{635, 672, 558}, -{635, 558, 672}, -{635, 672, 558}, -{635, 558, 672}, -{635, 672, 558}, -{635, 672, 558}, -{43, 558, 1534}, -{967, 1330, 558}, -{181, 721, 558}, -{943, 1225, 683}, -{726, 558, 630}, -{1195, 558, 1191}, -{1195, 1254, 657}, -{771, 1055, 558}, -{221, 251, 558}, -{221, 558, 251}, -{248, 558, 372}, -{248, 1365, 1085}, -{943, 359, 92}, -{710, 626, 756}, -{710, 457, 823}, -{255, 558, 741}, -{1140, 148, 657}, -{1288, 1634, 558}, -{383, 558, 1040}, -{383, 1040, 558}, -{1637, 558, 699}, -{270, 1445, 1495}, -{1593, 558, 1552}, -{1593, 362, 657}, -{1666, 1525, 957}, -{1666, 250, 953}, -{1666, 701, 740}, -{1666, 884, 1071}, -{1666, 308, 296}, -{1666, 1469, 277}, -{1666, 1459, 722}, -{1666, 304, 177}, -{341, 558, 256}, -{16, 1558, 428}, -{691, 252, 591}, -{558, 558, 1672}, -{439, 1053, 558}, -{156, 558, 786}, -{156, 558, 1664}, -{156, 558, 1482}, -{156, 558, 1243}, -{156, 558, 822}, -{156, 1324, 558}, -{156, 558, 1646}, -{156, 1155, 558}, -{156, 558, 301}, -{156, 558, 950}, -{156, 558, 1665}, -{156, 558, 1710}, -{943, 1302, 657}, -{943, 1694, 1}, -{874, 54, 1403}, -{1120, 558, 137}, -{558, 1171, 558}, -{833, 744, 558}, -{368, 218, 558}, -{623, 319, 1707}, -{623, 388, 558}, -{1578, 1368, 558}, -{1027, 558, 476}, -{1589, 368, 558}, -{1589, 104, 558}, -{153, 558, 1096}, -{440, 1352, 558}, -{440, 104, 558}, -{440, 812, 558}, -{1585, 558, 962}, -{1398, 1489, 558}, -{258, 1103, 1106}, -{979, 1347, 558}, -{370, 558, 1464}, -{955, 558, 1671}, -{1343, 911, 558}, -{790, 558, 434}, -{1054, 558, 70}, -{1543, 558, 1106}, -{1150, 320, 558}, -{283, 1108, 488}, -{775, 657, 1608}, -{775, 1423, 558}, -{775, 869, 558}, -{283, 1473, 481}, -{1164, 340, 558}, -{248, 558, 1382}, -{575, 673, 1053}, -{879, 703, 927}, -{415, 931, 558}, -{88, 1375, 558}, -{1110, 771, 558}, -{1506, 965, 1388}, -{1506, 295, 558}, -{353, 558, 7}, -{353, 558, 7}, -{353, 558, 466}, -{73, 920, 558}, -{65, 651, 558}, -{710, 248, 902}, -{1384, 1182, 558}, -{943, 1675, 895}, -{25, 674, 558}, -{943, 1588, 829}, -{943, 894, 1281}, -{943, 369, 1075}, -{943, 929, 1234}, -{688, 558, 1223}, -{943, 1638, 1537}, -{110, 701, 716}, -{510, 1716, 558}, -{1113, 161, 558}, -{861, 1382, 558}, -{1247, 558, 1068}, -{471, 1591, 1591}, -{471, 558, 1591}, -{471, 558, 1591}, -{471, 558, 1591}, -{471, 558, 1591}, -{471, 558, 1591}, -{471, 558, 1591}, -{471, 558, 1591}, -{471, 1591, 558}, -{353, 558, 1325}, -{353, 558, 1325}, -{353, 558, 769}, -{358, 1467, 657}, -{710, 463, 1094}, -{879, 1590, 1620}, -{645, 558, 1368}, -{248, 558, 1275}, -{52, 558, 1267}, -{710, 494, 514}, -{954, 279, 558}, -{954, 367, 558}, -{236, 558, 1427}, -{271, 558, 1464}, -{114, 558, 1496}, -{943, 1251, 843}, -{1437, 558, 1519}, -{710, 262, 1447}, -{522, 558, 1196}, -{639, 246, 153}, -{691, 558, 790}, -{1182, 1601, 558}, -{1182, 258, 558}, -{1182, 665, 558}, -{1182, 764, 558}, -{1182, 1057, 558}, -{1182, 1381, 558}, -{1182, 303, 558}, -{1182, 285, 558}, -{1182, 594, 558}, -{1182, 1052, 558}, -{1182, 1589, 558}, -{1182, 309, 558}, -{1182, 1646, 558}, -{1182, 904, 558}, -{1182, 1476, 558}, -{1182, 950, 558}, -{1182, 558, 607}, -{1182, 219, 558}, -{943, 558, 984}, -{943, 558, 549}, -{943, 558, 437}, -{943, 558, 859}, -{943, 558, 1068}, -{943, 558, 654}, -{943, 874, 558}, -{984, 558, 1167}, -{710, 851, 792}, -{984, 558, 1248}, -{984, 558, 1142}, -{984, 558, 1627}, -{984, 558, 530}, -{1052, 558, 510}, -{1052, 558, 134}, -{1165, 105, 558}, -{1165, 558, 942}, -{37, 945, 945}, -{37, 945, 558}, -{37, 945, 558}, -{37, 945, 558}, -{37, 945, 558}, -{37, 558, 945}, -{37, 945, 558}, -{37, 945, 558}, -{37, 558, 945}, -{8, 36, 558}, -{8, 150, 558}, -{570, 1030, 333}, -{1258, 591, 558}, -{943, 684, 657}, -{1259, 558, 1649}, -{943, 1724, 448}, -{685, 558, 1598}, -{1238, 558, 1060}, -{921, 371, 957}, -{921, 965, 250}, -{921, 22, 740}, -{921, 274, 1071}, -{921, 651, 296}, -{921, 486, 277}, -{921, 722, 1197}, -{921, 304, 532}, -{710, 1376, 1288}, -{1569, 558, 327}, -{988, 640, 558}, -{943, 34, 828}, -{943, 657, 1188}, -{151, 558, 2}, -{1326, 72, 558}, -{710, 1339, 597}, -{402, 558, 834}, -{485, 436, 558}, -{361, 809, 558}, -{943, 442, 509}, -{1025, 558, 564}, -{1320, 558, 1601}, -{1320, 558, 382}, -{1320, 558, 1173}, -{1320, 558, 1233}, -{1320, 1562, 558}, -{1320, 558, 1543}, -{1320, 558, 76}, -{1320, 558, 1658}, -{1320, 558, 1540}, -{1320, 558, 245}, -{1320, 558, 985}, -{1320, 558, 786}, -{1320, 1664, 558}, -{1320, 558, 682}, -{1320, 558, 1482}, -{1320, 558, 665}, -{1320, 558, 286}, -{1320, 558, 324}, -{1320, 558, 1337}, -{1320, 558, 1355}, -{1320, 558, 787}, -{1320, 558, 257}, -{1320, 558, 179}, -{1320, 558, 1420}, -{1320, 558, 4}, -{1320, 558, 167}, -{1320, 558, 145}, -{1320, 558, 517}, -{1320, 558, 301}, -{1320, 558, 950}, -{1320, 1710, 558}, -{1320, 1419, 558}, -{1320, 558, 1164}, -{1068, 977, 624}, -{236, 558, 79}, -{1023, 1003, 558}, -{1023, 1425, 924}, -{1068, 1645, 478}, -{1068, 704, 458}, -{811, 753, 558}, -{811, 753, 558}, -{519, 558, 127}, -{519, 135, 657}, -{1360, 1575, 558}, -{1155, 558, 252}, -{1628, 1348, 558}, -{16, 1703, 468}, -{1074, 366, 558}, -{1063, 308, 1583}, -{1513, 558, 234}, -{946, 558, 384}, -{1653, 558, 128}, -{773, 275, 558}, -{376, 66, 558}, -{376, 558, 842}, -{376, 1479, 657}, -{943, 98, 1709}, -{686, 558, 1282}, -{710, 562, 645}, -{467, 1705, 558}, -{1392, 297, 346}, -{1392, 558, 284}, -{526, 558, 1227}, -{552, 558, 1464}, -{1425, 558, 78}, -{1425, 1310, 142}, -{117, 558, 1617}, -{92, 422, 558}, -{991, 558, 744}, -{1294, 851, 558}, -{943, 197, 944}, -{1658, 558, 1106}, -{710, 1684, 1418}, -{516, 388, 558}, -{1221, 1566, 558}, -{812, 558, 1044}, -{943, 1352, 1131}, -{1355, 558, 1560}, -{710, 1375, 95}, -{710, 1089, 1529}, -{844, 454, 946}, -{129, 331, 1336}, -{129, 314, 166}, -{129, 1405, 606}, -{129, 1414, 1188}, -{352, 1391, 558}, -{352, 1352, 558}, -{943, 820, 1657}, -{553, 511, 845}, -{1272, 558, 608}, -{413, 558, 123}, -{1142, 558, 185}, -{1142, 558, 404}, -{43, 21, 558}, -{1449, 558, 944}, -{1675, 337, 558}, -{16, 363, 1091}, -{1233, 558, 1717}, -{384, 885, 558}, -{384, 550, 558}, -{943, 176, 598}, -{943, 1592, 1653}, -{943, 558, 891}, -{702, 558, 1562}, -{702, 1543, 558}, -{702, 76, 558}, -{702, 1540, 558}, -{702, 245, 558}, -{702, 985, 558}, -{702, 786, 558}, -{702, 682, 558}, -{702, 244, 558}, -{702, 324, 558}, -{702, 558, 1466}, -{702, 546, 558}, -{702, 1324, 558}, -{702, 179, 558}, -{702, 1396, 558}, -{702, 167, 558}, -{702, 1074, 558}, -{702, 1246, 558}, -{702, 53, 558}, -{702, 691, 558}, -{702, 1665, 558}, -{248, 558, 191}, -{778, 558, 1275}, -{31, 687, 558}, -{444, 657, 42}, -{1228, 1196, 558}, -{1140, 148, 657}, -{943, 67, 1036}, -{1632, 1236, 558}, -{1632, 1220, 558}, -{163, 1498, 558}, -{163, 903, 558}, -{1620, 1576, 558}, -{943, 1011, 862}, -{710, 1687, 222}, -{710, 299, 1625}, -{943, 1008, 169}, -{1321, 1714, 558}, -{1244, 1103, 558}, -{1433, 620, 558}, -{710, 254, 1353}, -{943, 340, 1283}, -{681, 433, 1023}, -{1446, 430, 206}, -{1010, 311, 558}, -{1010, 1334, 558}, -{1047, 558, 534}, -{796, 35, 558}, -{1262, 1407, 933}, -{943, 296, 1490}, -{667, 558, 928}, -{284, 891, 1032}, -{292, 1070, 558}, -{26, 60, 558}, -{26, 1512, 558}, -{26, 1173, 558}, -{26, 258, 558}, -{26, 245, 558}, -{26, 682, 558}, -{26, 492, 558}, -{26, 1204, 558}, -{26, 558, 58}, -{26, 342, 558}, -{26, 257, 558}, -{26, 354, 558}, -{26, 1168, 558}, -{26, 1721, 558}, -{26, 1239, 558}, -{26, 558, 461}, -{26, 447, 558}, -{26, 660, 558}, -{26, 1292, 558}, -{26, 1114, 558}, -{26, 904, 558}, -{26, 558, 1419}, -{26, 281, 558}, -{26, 1164, 558}, -{1651, 558, 168}, -{437, 1242, 704}, -{943, 889, 1104}, -{991, 1474, 558}, -{1247, 48, 558}, -{1247, 1331, 558}, -{456, 1039, 558}, -{647, 939, 558}, -{943, 825, 138}, -{1036, 717, 558}, -{1672, 558, 1650}, -{509, 1270, 558}, -{653, 558, 390}, -{179, 558, 1455}, -{862, 1365, 558}, -{866, 657, 9}, -{1055, 1560, 558}, -{1038, 269, 558}, -{1622, 558, 1019}, -{1622, 1294, 558}, -{1484, 558, 1491}, -{882, 558, 1374}, -{725, 306, 558}, -{1448, 1619, 558}, -{943, 831, 858}, -{1511, 1598, 262}, -{1042, 1444, 991}, -{172, 1633, 558}, -{172, 210, 657}, -{1357, 678, 558}, -{1302, 558, 1600}, -{1186, 98, 1150}, -{1533, 558, 964}, -{331, 149, 558}, -{984, 558, 1522}, -{1715, 558, 1399}, -{1715, 558, 1399}, -{1715, 1105, 657}, -{677, 726, 558}, -{989, 565, 558}, -{1022, 558, 329}, -{689, 558, 1465}, -{943, 396, 796}, -{943, 153, 1100}, -{1442, 793, 558}, -{1380, 558, 109}, -{967, 558, 405}, -{1693, 1312, 558}, -{1601, 1604, 558}, -{1601, 558, 1397}, -{1247, 558, 1698}, -{558, 558, 175}, -{269, 1030, 333}, -{603, 1721, 558}, -{235, 1483, 336}, -{235, 558, 1084}, -{149, 970, 558}, -{149, 558, 762}, -{892, 558, 478}, -{295, 965, 558}, -{791, 273, 558}, -{791, 677, 558}, -{116, 1597, 558}, -{116, 558, 1597}, -{116, 1597, 558}, -{1683, 558, 966}, -{441, 325, 558}, -{1109, 558, 1649}, -{627, 558, 318}, -{538, 330, 881}, -{43, 558, 1223}, -{282, 874, 558}, -{33, 558, 1301}, -{853, 1517, 558}, -{425, 1388, 558}, -{425, 295, 558}, -{876, 1584, 558}, -{283, 1458, 833}, -{1356, 326, 558}, -{1318, 637, 558}, -{1691, 516, 558}, -{394, 558, 401}, -{1415, 558, 471}, -{1415, 558, 466}, -{710, 1290, 698}, -{943, 111, 955}, -{943, 62, 1690}, -{943, 374, 1669}, -{675, 888, 558}, -{675, 888, 558}, -{697, 558, 872}, -{1239, 636, 558}, -{792, 732, 106}, -{1005, 558, 93}, -{978, 419, 558}, -{1328, 558, 1320}, -{1304, 558, 1688}, -{828, 558, 998}, -{248, 1145, 558}, -{248, 604, 558}, -{710, 533, 599}, -{1064, 558, 694}, -{321, 558, 849}, -{321, 657, 247}, -{1228, 384, 558}, -{1228, 384, 558}, -{1377, 385, 558}, -{1177, 558, 1614}, -{857, 558, 300}, -{353, 558, 520}, -{353, 558, 520}, -{353, 558, 224}, -{194, 60, 558}, -{194, 1512, 558}, -{194, 84, 558}, -{194, 558, 1623}, -{194, 558, 403}, -{194, 558, 1428}, -{194, 558, 492}, -{194, 558, 1204}, -{194, 1259, 558}, -{194, 558, 342}, -{194, 558, 1355}, -{194, 558, 787}, -{194, 558, 575}, -{194, 1243, 558}, -{194, 822, 558}, -{194, 1420, 558}, -{194, 558, 1342}, -{194, 558, 1504}, -{194, 1168, 558}, -{194, 145, 558}, -{194, 1524, 558}, -{194, 1210, 558}, -{194, 461, 558}, -{194, 558, 1155}, -{194, 558, 301}, -{194, 558, 1385}, -{558, 558, 650}, -{759, 558, 944}, -{879, 1300, 343}, -{1006, 558, 664}, -{710, 675, 330}, -{353, 612, 558}, -{353, 612, 558}, -{943, 14, 294}, -{943, 586, 832}, -{1567, 558, 60}, -{1567, 558, 1487}, -{1567, 558, 1031}, -{1567, 1428, 558}, -{1567, 558, 58}, -{1567, 558, 342}, -{1567, 1381, 558}, -{1567, 558, 579}, -{1567, 558, 120}, -{1567, 558, 677}, -{1567, 558, 447}, -{1567, 558, 660}, -{1567, 558, 1430}, -{1567, 904, 558}, -{1567, 558, 607}, -{1682, 613, 150}, -{91, 558, 1256}, -{91, 657, 574}, -{339, 558, 543}, -{595, 239, 558}, -{595, 992, 558}, -{1247, 558, 859}, -{943, 676, 907}, -{17, 657, 1536}, -{17, 558, 646}, -{1114, 558, 889}, -{1226, 327, 558}, -{1564, 684, 1661}, -{1564, 1437, 1095}, -{1564, 1282, 87}, -{1564, 1242, 1424}, -{1564, 413, 719}, -{320, 1322, 558}, -{320, 735, 558}, -{353, 558, 471}, -{353, 558, 471}, -{354, 558, 595}, -{444, 643, 558}, -{444, 1613, 558}, -{943, 1431, 1134}, -{1478, 558, 256}, -{1313, 924, 558}, -{1105, 558, 710}, -{1105, 558, 710}, -{1105, 710, 558}, -{1105, 558, 710}, -{1105, 710, 558}, -{1488, 558, 545}, -{1488, 558, 1547}, -{45, 558, 815}, -{647, 558, 570}, -{801, 1491, 1287}, -{470, 467, 558}, -{943, 146, 737}, -{801, 1188, 1531}, -{885, 513, 558}, -{353, 558, 37}, -{353, 558, 37}, -{96, 350, 313}, -{96, 649, 558}, -{288, 558, 798}, -{288, 657, 794}, -{1429, 826, 657}, -{43, 625, 558}, -{1532, 558, 34}, -{751, 558, 652}, -{1677, 558, 475}, -{1677, 657, 999}, -{943, 865, 958}, -{1186, 1405, 85}, -{1186, 1648, 1188}, -{1186, 1, 1287}, -{582, 558, 1067}, -{582, 821, 657}, -{1186, 1336, 448}, -{1186, 589, 166}, -{1629, 558, 263}, -{707, 558, 1502}, -{71, 558, 654}, -{1186, 777, 1001}, -{858, 1719, 558}, -{60, 1717, 558}, -{520, 657, 945}, -{520, 657, 945}, -{1104, 253, 558}, -{1552, 362, 558}, -{892, 797, 558}, -{644, 678, 558}, -{975, 854, 558}, -{1084, 558, 803}, -{1084, 1314, 558}, -{1205, 1454, 1494}, -{1205, 260, 558}, -{943, 1689, 982}, -{943, 1001, 657}, -{943, 522, 88}, -{1386, 484, 914}, -{31, 307, 558}, -{1287, 1580, 558}, -{1287, 1580, 558}, -{86, 435, 558}, -{86, 558, 435}, -{86, 558, 435}, -{86, 558, 435}, -{710, 1624, 248}, -{286, 616, 558}, -{803, 482, 558}, -{210, 558, 736}, -{210, 558, 736}, -{210, 558, 736}, -{210, 558, 736}, -{294, 959, 558}, -{128, 558, 1592}, -{353, 558, 42}, -{353, 558, 42}, -{353, 558, 1613}, -{910, 558, 1165}, -{943, 658, 989}, -{673, 1304, 558}, -{15, 39, 558}, -{710, 1514, 880}, -{708, 549, 558}, -{943, 305, 1531}, -{480, 202, 629}, -{710, 472, 1606}, -{943, 44, 90}, -{683, 558, 229}, -{1154, 1380, 558}, -{904, 558, 347}, -{943, 559, 608}, -{353, 558, 373}, -{353, 558, 373}, -{353, 558, 1720}, -{943, 54, 657}, -{943, 722, 68}, -{409, 558, 302}, -{362, 841, 957}, -{362, 250, 681}, -{362, 350, 740}, -{362, 1071, 1063}, -{362, 296, 477}, -{362, 277, 336}, -{362, 722, 1318}, -{943, 469, 875}, -{1664, 844, 558}, -{325, 573, 1287}, -{613, 1656, 450}, -{613, 558, 1159}, -{943, 657, 493}, -{943, 1481, 1452}, -{943, 560, 808}, -{572, 1517, 558}, -{693, 1348, 1525}, -{139, 169, 558}, -{334, 558, 1421}, -{353, 643, 558}, -{353, 643, 558}, -{248, 46, 558}, -{1137, 558, 1185}, -{560, 558, 412}, -{860, 274, 558}, -{943, 436, 85}, -{943, 896, 1284}, -{1716, 558, 180}, -{1349, 588, 558}, -{1045, 558, 1370}, -{943, 1321, 132}, -{943, 1254, 1307}, -{550, 1347, 558}, -{790, 1137, 816}, -{943, 250, 697}, -{639, 825, 864}, -{175, 558, 1588}, -{747, 558, 1417}, -{1460, 558, 1309}, -{1174, 201, 558}, -{353, 558, 798}, -{353, 558, 798}, -{353, 558, 288}, -{943, 558, 525}, -{943, 558, 628}, -{1111, 1470, 558}, -{1111, 558, 1614}, -{1680, 313, 558}, -{1680, 649, 558}, -{956, 984, 558}, -{1521, 558, 242}, -{325, 1148, 1150}, -{440, 137, 504}, -{1382, 1649, 558}, -{1382, 300, 558}, -{90, 1433, 558}, -{120, 558, 256}, -{1645, 1063, 185}, -{1645, 404, 558}, -{1258, 558, 1352}, -{987, 558, 1169}, -{95, 558, 531}, -{943, 31, 1051}, -{710, 1368, 1149}, -{1453, 612, 558}, -{1453, 1720, 558}, -{126, 558, 113}, -{750, 1391, 558}, -{640, 558, 1610}, -{1217, 558, 532}, -{43, 476, 558}, -{453, 558, 1213}, -{1371, 620, 558}, -{439, 51, 558}, -{1553, 558, 334}, -{1002, 558, 605}, -{1002, 558, 605}, -{1477, 1541, 558}, -{1428, 558, 1107}, -{1428, 558, 604}, -{558, 558, 89}, -{646, 558, 272}, -{1174, 558, 1293}, -{131, 558, 1455}, -{800, 1331, 558}, -{1247, 558, 741}, -{1564, 121, 1014}, -{1564, 1630, 1387}, -{943, 1037, 266}, -{42, 657, 650}, -{42, 657, 650}, -{1702, 558, 973}, -{1471, 558, 1119}, -{943, 1586, 621}, -{710, 577, 1046}, -{476, 558, 956}, -{476, 984, 657}, -{1562, 1244, 558}, -{1562, 1351, 558}, -{1503, 961, 558}, -{710, 1093, 226}, -{245, 1358, 558}, -{671, 14, 558}, -{1124, 558, 1662}, -{1269, 558, 1401}, -{1269, 558, 1249}, -{821, 668, 1451}, -{226, 1593, 558}, -{543, 196, 558}, -{543, 657, 1468}, -{1708, 558, 236}, -{475, 1237, 657}, -{1350, 827, 558}, -{710, 827, 1472}, -{710, 1275, 1581}, -{1626, 558, 1133}, -{1626, 558, 702}, -{821, 1128, 1353}, -{1086, 558, 1037}, -{1399, 558, 1105}, -{319, 558, 972}, -{936, 558, 425}, -{1325, 657, 1005}, -{1325, 1005, 657}, -{43, 558, 611}, -{245, 558, 1106}, -{710, 50, 1350}, -{600, 36, 558}, -{1721, 558, 1048}, -{710, 1636, 935}, -{1394, 503, 558}, -{1468, 1630, 280}, -{1468, 1437, 3}, -{1468, 684, 998}, -{1468, 1242, 1389}, -{1408, 1004, 558}, -{1662, 553, 558}, -{1468, 721, 1299}, -{862, 1347, 558}, -{107, 558, 376}, -{236, 182, 1151}, -{124, 558, 141}, -{710, 1528, 1215}, -{710, 1161, 109}, -{1401, 626, 1198}, -{529, 558, 391}, -{529, 558, 391}, -{529, 558, 391}, -{770, 558, 19}, -{943, 1150, 657}, -{943, 182, 265}, -{943, 897, 1211}, -{446, 368, 558}, -{1165, 558, 1354}, -{1214, 558, 879}, -{966, 1635, 558}, -{966, 657, 203}, -{559, 770, 558}, -{1596, 1271, 558}, -{1596, 657, 140}, -{943, 657, 1242}, -{943, 1402, 114}, -{710, 1014, 1116}, -{1600, 1546, 1495}, -{31, 1044, 558}, -{905, 558, 979}, -{1533, 156, 558}, -{373, 657, 175}, -{373, 657, 175}, -{1175, 558, 267}, -{943, 1473, 657}, -{597, 882, 558}, -{761, 1056, 558}, -{78, 695, 619}, -{78, 558, 1179}, -{943, 674, 745}, -{943, 1130, 512}, -{943, 1102, 1099}, -{1241, 269, 558}, -{353, 558, 298}, -{353, 558, 298}, -{353, 558, 23}, -{600, 1279, 558}, -{161, 558, 969}, -{161, 657, 801}, -{641, 715, 558}, -{641, 1704, 558}, -{1247, 558, 654}, -{804, 558, 604}, -{325, 615, 166}, -{1577, 558, 1042}, -{1043, 558, 414}, -{325, 843, 1001}, -{1218, 1257, 558}, -{894, 1587, 558}, -{1393, 558, 490}, -{344, 1073, 557}, -{826, 657, 230}, -{344, 20, 585}, -{344, 558, 1316}, -{943, 73, 934}, -{248, 1465, 558}, -{1501, 1349, 558}, -{1501, 1349, 558}, -{1501, 558, 1349}, -{1501, 1349, 558}, -{943, 1049, 160}, -{477, 647, 558}, -{1149, 558, 264}, -{1565, 558, 1218}, -{1565, 558, 1218}, -{710, 248, 1276}, -{943, 1713, 501}, -{971, 1512, 558}, -{971, 258, 558}, -{971, 84, 558}, -{971, 788, 558}, -{971, 1057, 558}, -{971, 204, 558}, -{971, 1582, 558}, -{971, 1204, 558}, -{971, 712, 558}, -{971, 157, 558}, -{971, 1086, 558}, -{971, 487, 558}, -{971, 1239, 558}, -{971, 285, 558}, -{971, 1524, 558}, -{971, 273, 558}, -{971, 750, 558}, -{971, 932, 558}, -{971, 309, 558}, -{971, 219, 558}, -{710, 1360, 1091}, -{84, 558, 1106}, -{1679, 558, 1262}, -{943, 1438, 504}, -{943, 1228, 1574}, -{843, 558, 1640}, -{943, 119, 702}, -{328, 1006, 558}, -{879, 237, 119}, -{879, 724, 310}, -{710, 248, 1272}, -{503, 558, 270}, -{833, 1684, 558}, -{0, 558, 256}, -{335, 508, 1303}, -{1669, 1460, 558}, -{704, 681, 452}, -{704, 1691, 558}, -{534, 54, 737}, -{534, 1009, 1234}, -{534, 978, 450}, -{534, 1475, 162}, -{534, 1405, 727}, -{534, 263, 858}, -{534, 679, 1136}, -{534, 1494, 1653}, -{251, 558, 1028}, -{251, 353, 558}, -{251, 353, 558}, -{251, 558, 353}, -{251, 558, 353}, -{1708, 19, 558}, -{1060, 54, 1108}, -{1060, 1150, 991}, -{1060, 1473, 1287}, -{1060, 1188, 1302}, -{1060, 892, 1405}, -{1060, 1503, 166}, -{1060, 833, 1336}, -{1060, 1001, 493}, -{943, 1065, 1124}, -{1571, 1144, 558}, -{1194, 558, 439}, -{848, 558, 1178}, -{943, 824, 398}, -{1465, 728, 558}, -{388, 972, 1372}, -{825, 558, 1250}, -{943, 558, 742}, -{616, 558, 454}, -{1419, 558, 774}, -{390, 1258, 558}, -{1418, 1415, 558}, -{1564, 1147, 1299}, -{620, 558, 922}, -{620, 1115, 558}, -{1295, 558, 1238}, -{1295, 657, 1060}, -{943, 1209, 663}, -{710, 1181, 69}, -{943, 28, 171}, -{1247, 437, 558}, -{1710, 252, 558}, -{799, 1339, 558}, -{643, 558, 650}, -{643, 558, 650}, -{643, 558, 650}, -{643, 650, 558}, -{643, 650, 558}, -{643, 558, 650}, -{643, 558, 650}, -{102, 657, 1156}, -{102, 657, 1156}, -{102, 657, 1156}, -{102, 657, 1156}, -{102, 657, 1156}, -{102, 657, 1156}, -{102, 657, 1156}, -{1314, 558, 592}, -{1314, 1327, 1617}, -{1083, 302, 558}, -{1083, 1019, 558}, -{1200, 558, 648}, -{1435, 548, 558}, -{1020, 1277, 558}, -{1436, 1723, 558}, -{1436, 558, 1614}, -{1184, 1631, 903}, -{943, 1651, 657}, -{372, 1085, 1172}, -{248, 912, 1290}, -{273, 558, 773}, -{964, 558, 17}, -{964, 558, 1536}, -{663, 558, 535}, -{470, 1286, 558}, -{127, 135, 558}, -{872, 558, 901}, -{1245, 299, 1723}, -{1152, 1340, 657}, -{1152, 1340, 657}, -{1152, 657, 1340}, -{1152, 657, 1340}, -{1152, 1340, 657}, -{1560, 1081, 558}, -{1609, 1329, 558}, -{1450, 1499, 558}, -{926, 558, 1712}, -{1170, 661, 566}, -{943, 1326, 1073}, -{466, 558, 7}, -{466, 657, 471}, -{1258, 384, 558}, -{193, 22, 558}, -{289, 997, 558}, -{943, 1358, 521}, -{318, 558, 1444}, -{1545, 1443, 657}, -{710, 644, 428}, -{1171, 558, 519}, -{1574, 1089, 558}, -{776, 558, 1219}, -{305, 184, 558}, -{1411, 1079, 558}, -{849, 558, 247}, -{862, 1211, 558}, -{94, 558, 1024}, -{933, 558, 877}, -{523, 1657, 1406}, -{523, 875, 1659}, -{523, 558, 743}, -{1646, 558, 513}, -{1230, 708, 558}, -{1230, 657, 549}, -{59, 304, 1398}, -{59, 143, 957}, -{947, 558, 1654}, -{377, 558, 232}, -{1468, 413, 332}, -{758, 1622, 558}, -{81, 558, 1190}, -{943, 1300, 1182}, -{270, 922, 1544}, -{270, 1115, 558}, -{1691, 558, 110}, -{1691, 558, 1023}, -{868, 723, 558}, -{746, 794, 558}, -{746, 288, 558}, -{546, 1681, 558}, -{43, 1270, 558}, -{1247, 898, 558}, -{119, 558, 1626}, -{500, 1390, 1197}, -{500, 558, 174}, -{188, 690, 558}, -{1303, 782, 1040}, -{1160, 212, 558}, -{449, 558, 819}, -{1302, 457, 558}, -{1033, 558, 1015}, -{414, 1611, 1299}, -{325, 305, 1188}, -{943, 11, 55}, -{1274, 558, 1069}, -{710, 913, 1274}, -{1311, 558, 604}, -{23, 558, 298}, -{23, 657, 1501}, -{968, 1093, 558}, -{943, 1705, 1020}, -{199, 558, 781}, -{199, 558, 1422}, -{334, 558, 118}, -{700, 619, 558}, -{157, 558, 1090}, -{1129, 558, 1467}, -{1633, 657, 736}, -{1633, 657, 736}, -{1633, 657, 736}, -{1633, 657, 736}, -{1633, 657, 736}, -{901, 1556, 558}, -{901, 867, 558}, -{647, 1220, 558}, -{1067, 821, 558}, -{943, 541, 1320}, -{710, 1409, 916}, -{666, 558, 862}, -{1323, 283, 558}, -{535, 558, 1206}, -{1185, 1215, 558}, -{201, 1433, 558}, -{493, 1200, 558}, -{493, 558, 744}, -{636, 558, 967}, -{855, 268, 657}, -{855, 268, 657}, -{855, 268, 657}, -{855, 268, 657}, -{855, 268, 657}, -{248, 558, 1343}, -{646, 202, 558}, -{943, 558, 881}, -{1056, 1080, 739}, -{943, 1539, 657}, -{878, 631, 558}, -{916, 558, 1185}, -{967, 558, 272}, -{943, 80, 1333}, -{1671, 571, 558}, -{1671, 558, 302}, -{1671, 1019, 558}, -{1671, 558, 1294}, -{1516, 1306, 558}, -{1516, 558, 1306}, -{1516, 1306, 558}, -{196, 558, 1468}, -{271, 558, 1058}, -{710, 1039, 24}, -{857, 558, 1649}, -{857, 558, 1377}, -{943, 1101, 190}, -{164, 412, 558}, -{943, 993, 20}, -{0, 726, 558}, -{1455, 1412, 558}, -{1346, 558, 1296}, -{1346, 359, 657}, -{1324, 558, 1455}, -{214, 765, 1001}, -{847, 558, 104}, -{1243, 558, 1455}, -{676, 558, 148}, -{676, 148, 558}, -{676, 558, 148}, -{676, 148, 558}, -{676, 558, 148}, -{676, 558, 148}, -{676, 558, 148}, -{748, 558, 1241}, -{1296, 399, 657}, -{785, 558, 267}, -{1028, 353, 657}, -{1159, 558, 450}, -{1431, 1578, 558}, -{238, 1215, 558}, -{969, 801, 558}, -{232, 558, 585}, -{232, 1704, 558}, -{232, 558, 1316}, -{943, 1177, 1069}, -{1429, 1315, 558}, -{1429, 381, 558}, -{943, 1442, 1045}, -{1481, 558, 1134}, -{943, 728, 357}, -{781, 558, 160}, -{1481, 558, 912}, -{943, 1652, 385}, -{558, 1005, 558}, -{646, 470, 558}, -{943, 1194, 99}, -{727, 556, 558}, -{932, 368, 558}, -{932, 558, 1352}, -{1121, 291, 558}, -{981, 558, 733}, -{943, 107, 66}, -{1143, 475, 657}, -{1143, 558, 1677}, -{1143, 558, 999}, -{943, 957, 394}, -{1285, 1506, 558}, -{1285, 1510, 1122}, -{1447, 558, 1175}, -{1327, 808, 558}, -{959, 1154, 558}, -{171, 558, 1493}, -{171, 558, 1493}, -{171, 558, 1493}, -{171, 558, 1493}, -{345, 1475, 1686}, -{345, 558, 1097}, -{1138, 558, 767}, -{710, 1387, 240}, -{815, 558, 1193}, -{1292, 558, 1065}, -{829, 667, 558}, -{98, 1434, 558}, -{1505, 830, 558}, -{757, 1030, 558}, -{710, 1718, 671}, -{192, 1130, 558}, -{1024, 558, 1069}, -{943, 1231, 1176}, -{1062, 1429, 558}, -{1171, 558, 358}, -{1222, 558, 1090}, -{382, 558, 1717}, -{1186, 1216, 54}, -{336, 1459, 482}, -{558, 159, 558}, -{1579, 558, 221}, -{1042, 1119, 892}, -{1591, 374, 558}, -{1042, 439, 1302}, -{1042, 77, 833}, -{507, 279, 558}, -{507, 186, 1082}, -{710, 961, 1266}, -{200, 558, 1486}, -{200, 293, 1367}, -{200, 558, 57}, -{353, 1501, 558}, -{353, 1501, 558}, -{943, 952, 1509}, -{222, 97, 558}, -{938, 1245, 558}, -{99, 558, 1644}, -{108, 1666, 558}, -{850, 1446, 558}, -{850, 430, 558}, -{943, 1169, 1216}, -{943, 588, 529}, -{943, 483, 657}, -{943, 121, 657}, -{67, 558, 14}, -{1032, 558, 297}, -{1534, 558, 763}, -{1534, 1068, 657}, -{69, 1045, 558}, -{36, 1009, 1322}, -{36, 558, 735}, -{417, 657, 539}, -{417, 539, 657}, -{417, 539, 657}, -{417, 657, 539}, -{417, 657, 539}, -{417, 657, 539}, -{417, 539, 657}, -{967, 1211, 558}, -{967, 1211, 558}, -{1286, 1211, 558}, -{690, 558, 1612}, -{690, 558, 804}, -{690, 1311, 558}, -{690, 492, 558}, -{690, 1259, 558}, -{690, 558, 354}, -{690, 558, 341}, -{690, 558, 461}, -{690, 558, 352}, -{690, 558, 1589}, -{690, 1569, 558}, -{690, 281, 558}, -{1399, 657, 710}, -{398, 321, 558}, -{43, 692, 558}, -{1293, 620, 558}, -{936, 1122, 558}, -{348, 1194, 558}, -{350, 988, 558}, -{743, 558, 875}, -{743, 545, 609}, -{743, 558, 1547}, -{890, 558, 1694}, -{140, 1539, 1001}, -{140, 1336, 13}, -{325, 64, 54}, -{140, 407, 54}, -{710, 38, 558}, -{710, 558, 1247}, -{1252, 882, 558}, -{140, 1160, 1405}, -{140, 315, 1188}, -{140, 1651, 1287}, -{761, 233, 970}, -{761, 558, 762}, -{1201, 558, 1372}, -{840, 558, 1293}, -{115, 1439, 558}, -{97, 558, 1072}, -{97, 558, 769}, -{755, 558, 1170}, -{834, 657, 102}, -{75, 129, 558}, -{142, 1571, 558}, -{142, 427, 165}, -{574, 1628, 957}, -{574, 841, 250}, -{574, 681, 740}, -{574, 350, 1071}, -{574, 1063, 296}, -{574, 277, 477}, -{574, 336, 722}, -{574, 304, 1318}, -{233, 1205, 569}, -{943, 1282, 657}, -{1191, 657, 887}, -{1191, 657, 887}, -{1191, 657, 887}, -{1191, 657, 887}, -{1499, 558, 709}, -{1499, 657, 1201}, -{1549, 929, 558}, -{943, 414, 558}, -{943, 898, 558}, -{31, 558, 132}, -{918, 1583, 558}, -{336, 558, 112}, -{756, 1110, 558}, -{1331, 146, 1108}, -{1331, 929, 991}, -{1331, 1618, 1473}, -{1331, 1654, 1302}, -{1331, 892, 1344}, -{1331, 831, 1503}, -{1331, 326, 833}, -{1331, 1592, 493}, -{369, 540, 558}, -{1345, 1542, 1685}, -{1345, 1568, 558}, -{1649, 795, 558}, -{710, 1180, 1533}, -{1403, 558, 983}, -{1268, 558, 580}, -{287, 657, 1545}, -{287, 558, 1034}, -{287, 558, 994}, -{219, 558, 347}, -{140, 1150, 52}, -{984, 558, 1332}, -{610, 558, 582}, -{801, 1251, 1001}, -{1139, 937, 558}, -{943, 1500, 526}, -{801, 658, 1405}, -{47, 603, 558}, -{801, 518, 1336}, -{801, 733, 166}, -{49, 499, 558}, -{579, 558, 824}, -{862, 558, 445}, -{729, 558, 1185}, -{710, 738, 1519}, -{1540, 558, 734}, -{943, 1503, 657}, -{50, 558, 629}, -{943, 440, 151}, -{660, 1716, 558}, -{660, 1708, 558}, -{594, 558, 256}, -{39, 558, 208}, -{558, 558, 1349}, -{943, 927, 26}, -{628, 1335, 558}, -{628, 657, 1698}, -{943, 616, 460}, -{895, 558, 1233}, -{895, 558, 76}, -{895, 1658, 558}, -{895, 558, 786}, -{895, 558, 1664}, -{895, 558, 1612}, -{895, 558, 784}, -{895, 244, 558}, -{895, 1623, 558}, -{895, 558, 764}, -{895, 1311, 558}, -{895, 324, 558}, -{895, 857, 558}, -{895, 558, 1337}, -{895, 1355, 558}, -{895, 787, 558}, -{895, 558, 575}, -{895, 558, 1381}, -{895, 822, 558}, -{895, 131, 558}, -{895, 558, 1086}, -{895, 558, 1074}, -{895, 558, 1246}, -{895, 0, 558}, -{895, 558, 594}, -{895, 558, 1052}, -{895, 558, 1589}, -{895, 558, 446}, -{895, 309, 558}, -{895, 53, 558}, -{895, 1292, 558}, -{895, 558, 1155}, -{895, 558, 1569}, -{895, 558, 301}, -{895, 558, 950}, -{895, 558, 1710}, -{895, 1419, 558}, -{681, 558, 716}, -{283, 72, 1503}, -{143, 693, 558}, -{143, 1285, 558}, -{1031, 558, 604}, -{943, 1455, 1505}, -{1566, 1240, 558}, -{1566, 657, 863}, -{710, 1507, 864}, -{1133, 996, 558}, -{1704, 856, 919}, -{1704, 835, 558}, -{581, 838, 558}, -{397, 11, 1563}, -{1557, 134, 558}, -{283, 892, 208}, -{862, 1130, 558}, -{943, 657, 315}, -{943, 133, 558}, -{943, 161, 558}, -{418, 558, 332}, -{943, 740, 276}, -{1466, 558, 1000}, -{1257, 753, 558}, -{1257, 711, 558}, -{1257, 558, 569}, -{24, 440, 558}, -{64, 1025, 558}, -{58, 558, 1107}, -{943, 795, 360}, -{739, 679, 1554}, -{739, 558, 479}, -{943, 868, 1631}, -{0, 558, 272}, -{298, 657, 1349}, -{298, 657, 1349}, -{298, 657, 1349}, -{298, 657, 1349}, -{659, 558, 195}, -{659, 195, 558}, -{659, 195, 558}, -{659, 195, 558}, -{659, 558, 195}, -{659, 195, 558}, -{1698, 54, 146}, -{1698, 1150, 929}, -{1698, 1618, 1287}, -{1698, 1188, 1654}, -{1698, 1405, 1344}, -{1698, 166, 831}, -{1698, 326, 1336}, -{1698, 1592, 1001}, -{1468, 1282, 694}, -{943, 707, 642}, -{780, 1722, 558}, -{379, 558, 1704}, -{1125, 1512, 558}, -{1125, 558, 382}, -{1125, 1173, 558}, -{1125, 1543, 558}, -{1125, 76, 558}, -{1125, 245, 558}, -{1125, 786, 558}, -{1125, 1664, 558}, -{1125, 682, 558}, -{1125, 1482, 558}, -{1125, 552, 558}, -{1125, 1487, 558}, -{1125, 764, 558}, -{1125, 1057, 558}, -{1125, 58, 558}, -{1125, 1520, 558}, -{1125, 1381, 558}, -{1125, 257, 558}, -{1125, 1324, 558}, -{1125, 179, 558}, -{1125, 558, 131}, -{1125, 4, 558}, -{1125, 1396, 558}, -{1125, 167, 558}, -{1125, 354, 558}, -{1125, 1086, 558}, -{1125, 1074, 558}, -{1125, 558, 273}, -{1125, 594, 558}, -{1125, 677, 558}, -{1125, 447, 558}, -{1125, 1052, 558}, -{1125, 558, 791}, -{1125, 750, 558}, -{1125, 932, 558}, -{1125, 1589, 558}, -{1125, 309, 558}, -{1125, 1430, 558}, -{1125, 1292, 558}, -{1125, 1114, 558}, -{1125, 1226, 558}, -{1125, 1006, 558}, -{1125, 1164, 558}, -{1125, 950, 558}, -{1125, 281, 558}, -{1125, 1665, 558}, -{1125, 607, 558}, -{1125, 1419, 558}, -{1125, 1050, 558}, -{1255, 59, 558}, -{781, 1546, 558}, -{781, 558, 1457}, -{897, 558, 1369}, -{46, 1508, 558}, -{530, 558, 1559}, -{530, 558, 1632}, -{434, 558, 510}, -{1247, 414, 558}, -{630, 152, 558}, -{701, 558, 1572}, -{701, 558, 193}, -{335, 1352, 558}, -{1696, 558, 1156}, -{1696, 1156, 558}, -{1696, 1156, 558}, -{1696, 558, 1156}, -{1696, 1156, 558}, -{229, 407, 558}, -{192, 506, 558}, -{517, 925, 558}, -{934, 139, 558}, -{943, 1064, 1711}, -{1545, 657, 1443}, -{754, 648, 1181}, -{754, 1595, 558}, -{48, 292, 52}, -{710, 590, 1178}, -{1128, 558, 775}, -{48, 1670, 407}, -{713, 617, 558}, -{713, 676, 558}, -{943, 751, 1192}, -{489, 657, 1639}, -{489, 558, 1153}, -{489, 659, 558}, -{1018, 558, 100}, -{1220, 1469, 558}, -{231, 558, 778}, -{1430, 558, 368}, -{877, 911, 558}, -{877, 911, 558}, -{300, 558, 847}, -{133, 558, 602}, -{133, 657, 1263}, -{709, 1201, 558}, -{1216, 987, 558}, -{318, 558, 1293}, -{1393, 558, 1075}, -{1704, 558, 1007}, -{236, 176, 558}, -{741, 1551, 652}, -{741, 205, 1206}, -{741, 948, 27}, -{741, 49, 1301}, -{741, 502, 1496}, -{741, 584, 141}, -{741, 1670, 1722}, -{741, 292, 209}, -{943, 515, 1411}, -{665, 616, 558}, -{203, 558, 315}, -{203, 558, 1651}, -{203, 558, 483}, -{203, 558, 1160}, -{1228, 550, 558}, -{203, 558, 1539}, -{203, 558, 13}, -{360, 1230, 558}, -{204, 1118, 558}, -{1289, 632, 1058}, -{197, 558, 198}, -{197, 558, 198}, -{888, 558, 1092}, -{879, 1675, 74}, -{879, 1609, 1378}, -{270, 1692, 1082}, -{407, 1668, 558}, -{487, 558, 824}, -{1068, 1432, 583}, -{1068, 96, 1621}, -{182, 1619, 558}, -{943, 126, 1486}, -{788, 152, 558}, -{974, 558, 1492}, -{1357, 378, 558}, -{1161, 732, 558}, -{1302, 558, 1621}, -{646, 558, 182}, -{607, 558, 347}, -{710, 1267, 1298}, -{1613, 558, 42}, -{1613, 657, 643}, -{901, 558, 1682}, -{901, 558, 1362}, -{943, 940, 378}, -{248, 558, 187}, -{248, 558, 1718}, -{1623, 558, 837}, -{747, 1163, 657}, -{358, 558, 1715}, -{438, 1437, 208}, -{438, 72, 1630}, -{438, 121, 1458}, -{438, 1647, 1299}, -{438, 413, 488}, -{438, 976, 1282}, -{438, 1242, 481}, -{438, 723, 684}, -{854, 975, 558}, -{1345, 558, 1500}, -{943, 635, 289}, -{1404, 558, 133}, -{1193, 558, 1242}, -{833, 558, 1416}, -{1276, 930, 558}, -{1276, 930, 558}, -{1400, 558, 83}, -{1509, 611, 558}, -{684, 558, 1507}, -{839, 43, 657}, -{943, 484, 536}, -{43, 6, 558}, -{1235, 1539, 1206}, -{1235, 13, 652}, -{1235, 483, 1301}, -{1235, 1160, 27}, -{1235, 315, 141}, -{1235, 1651, 1496}, -{1235, 52, 209}, -{1235, 407, 1722}, -{1440, 605, 779}, -{1201, 558, 700}, -{943, 1062, 381}, -{710, 1129, 558}, -{1642, 558, 1352}, -{1041, 211, 657}, -{1041, 657, 211}, -{1041, 657, 211}, -{1041, 657, 211}, -{1041, 211, 657}, -{178, 1254, 558}, -{178, 1195, 558}, -{178, 657, 1191}, -{389, 300, 558}, -{1541, 558, 491}, -{1541, 437, 657}, -{943, 558, 431}, -{1639, 657, 195}, -{475, 1237, 657}, -{353, 558, 1072}, -{353, 558, 1072}, -{1008, 1189, 558}, -{1008, 558, 1511}, -{410, 344, 814}, -{410, 557, 558}, -{308, 558, 375}, -{308, 558, 65}, -{943, 706, 678}, -{561, 558, 533}, -{410, 558, 474}, -{1423, 558, 1608}, -{1423, 869, 657}, -{710, 168, 836}, -{1297, 1392, 558}, -{943, 1699, 1024}, -{364, 558, 1232}, -{710, 468, 18}, -{59, 404, 296}, -{389, 1649, 558}, -{1487, 558, 1464}, -{59, 1632, 277}, -{18, 558, 378}, -{1570, 1480, 379}, -{943, 833, 657}, -{440, 1681, 905}, -{943, 213, 576}, -{943, 862, 537}, -{710, 789, 158}, -{1166, 1685, 558}, -{1166, 1568, 558}, -{1660, 558, 855}, -{1660, 1100, 657}, -{1134, 558, 1712}, -{1050, 1006, 558}, -{779, 656, 1594}, -{297, 558, 1032}, -{556, 558, 1344}, -{1689, 558, 1196}, -{1315, 558, 826}, -{1265, 1202, 558}, -{1265, 1334, 558}, -{943, 733, 615}, -{1639, 657, 195}, -{158, 63, 558}, -{1373, 558, 1703}, -{1373, 558, 395}, -{1153, 558, 1639}, -{1153, 659, 657}, -{314, 761, 558}, -{781, 558, 1550}, -{943, 967, 1269}, -{1459, 558, 1390}, -{1459, 558, 174}, -{1396, 558, 11}, -{943, 199, 327}, -{943, 252, 338}, -{710, 187, 1579}, -{710, 627, 566}, -{1247, 1186, 558}, -{943, 306, 581}, -{1157, 1564, 558}, -{562, 558, 1374}, -{1266, 1453, 558}, -{1639, 195, 657}, -{1473, 744, 558}, -{893, 558, 314}, -{1473, 558, 1573}, -{625, 662, 558}, -{625, 657, 1186}, -{646, 558, 1172}, -{1284, 558, 464}, -{1284, 558, 464}, -{1284, 558, 464}, -{1122, 558, 505}, -{1122, 558, 433}, -{609, 558, 1213}, -{97, 1325, 657}, -{604, 558, 385}, -{1145, 522, 558}, -{737, 558, 5}, -{1512, 558, 1717}, -{943, 554, 17}, -{940, 558, 1615}, -{359, 399, 558}, -{359, 399, 558}, -{359, 558, 399}, -{359, 399, 558}, -{359, 558, 399}, -{359, 399, 558}, -{359, 399, 558}, -{790, 191, 558}, -{1204, 1107, 558}, -{1591, 558, 1638}, -{821, 768, 836}, -{206, 558, 465}, -{528, 558, 368}, -{1167, 316, 558}, -{1167, 558, 143}, -{217, 696, 558}, -{234, 210, 558}, -{234, 172, 558}, -{234, 1633, 657}, -{419, 1618, 558}, -{710, 43, 558}, -{710, 558, 1247}, -{710, 1247, 558}, -{162, 558, 947}, -{991, 558, 243}, -{859, 1535, 493}, -{859, 235, 833}, -{1576, 60, 558}, -{1576, 84, 558}, -{1576, 271, 558}, -{1576, 370, 558}, -{1576, 1612, 558}, -{1576, 784, 558}, -{1576, 204, 558}, -{1576, 804, 558}, -{1576, 1311, 558}, -{1576, 1428, 558}, -{1576, 492, 558}, -{1576, 1204, 558}, -{1576, 1259, 558}, -{1576, 342, 558}, -{1576, 857, 558}, -{1576, 712, 558}, -{1576, 776, 558}, -{1576, 1168, 558}, -{1576, 1721, 558}, -{1576, 487, 558}, -{1576, 579, 558}, -{1576, 1239, 558}, -{1576, 285, 558}, -{1576, 1524, 558}, -{1576, 0, 558}, -{1576, 1478, 558}, -{1576, 1210, 558}, -{1576, 461, 558}, -{1576, 660, 558}, -{1576, 1557, 558}, -{1576, 259, 558}, -{1576, 352, 558}, -{1576, 446, 558}, -{1576, 528, 558}, -{1576, 904, 558}, -{1576, 1569, 558}, -{1576, 1710, 558}, -{1576, 219, 558}, -{1576, 1385, 558}, -{710, 1147, 391}, -{859, 1432, 991}, -{859, 96, 1302}, -{859, 1473, 704}, -{859, 1678, 1503}, -{859, 1645, 892}, -{558, 806, 558}, -{943, 589, 578}, -{682, 1586, 558}, -{943, 768, 994}, -{1316, 1386, 426}, -{1316, 914, 558}, -{943, 657, 413}, -{943, 1229, 780}, -{1441, 41, 558}, -{1535, 1318, 1695}, -{1535, 558, 1398}, -{1316, 558, 20}, -{853, 558, 387}, -{519, 670, 558}, -{519, 558, 670}, -{283, 723, 1302}, -{283, 976, 991}, -{283, 493, 1647}, -{698, 558, 1481}, -{846, 1371, 558}, -{1201, 333, 558}, -{21, 228, 558}, -{21, 657, 48}, -{943, 1530, 1110}, -{1123, 765, 558}, -{1607, 661, 558}, -{1652, 1178, 558}, -{943, 1121, 1225}, -{1247, 549, 558}, -{655, 783, 558}, -{540, 227, 558}, -{602, 1263, 558}, -{710, 1661, 464}, -{611, 255, 558}, -{611, 741, 657}, -{248, 917, 558}, -{954, 558, 513}, -{1026, 558, 322}, -{1026, 171, 657}, -{1051, 455, 1082}, -{1200, 626, 1249}, -{943, 456, 191}, -{822, 558, 1455}, -{404, 918, 558}, -{404, 142, 558}, -{943, 558, 1331}, -{943, 558, 1698}, -{842, 558, 1479}, -{842, 657, 66}, -{713, 657, 1140}, -{1409, 1231, 558}, -{1228, 11, 558}, -{166, 1135, 558}, -{1522, 1695, 558}, -{1522, 558, 1398}, -{943, 364, 86}, -{70, 1117, 558}, -{1211, 10, 558}, -{637, 558, 1308}, -{1608, 349, 657}, -{1599, 807, 431}, -{1335, 558, 1698}, -{1665, 252, 558}, -{1247, 558, 1263}, -{1314, 1308, 1489}, -{1314, 637, 558}, -{596, 558, 819}, -{565, 558, 658}, -{1068, 1678, 1383}, -{1068, 235, 351}, -{1068, 1535, 423}, -{1605, 1294, 558}, -{927, 1112, 558}, -{958, 1449, 558}, -{943, 871, 777}, -{919, 1229, 835}, -{919, 1486, 1538}, -{919, 558, 200}, -{1211, 1655, 558}, -{1077, 558, 809}, -{1077, 558, 1410}, -{710, 705, 1668}, -{273, 1211, 558}, -{1492, 558, 1445}, -{1492, 558, 1457}, -{266, 558, 525}, -{1357, 558, 188}, -{710, 246, 123}, -{1415, 7, 657}, -{217, 558, 413}, -{440, 558, 813}, -{335, 558, 1280}, -{1234, 1549, 558}, -{302, 851, 558}, -{710, 1650, 94}, -{943, 1602, 506}, -{770, 558, 853}, -{249, 163, 558}, -{249, 1704, 558}, -{1, 890, 558}, -{1329, 558, 1601}, -{1329, 558, 382}, -{1329, 558, 1173}, -{1329, 558, 1233}, -{1329, 558, 1543}, -{1329, 558, 76}, -{1329, 558, 1540}, -{1329, 245, 558}, -{1329, 558, 786}, -{1329, 558, 1482}, -{1329, 558, 370}, -{1329, 558, 552}, -{1329, 558, 784}, -{1329, 558, 1623}, -{1329, 558, 403}, -{1329, 1311, 558}, -{1329, 558, 1355}, -{1329, 558, 257}, -{1329, 558, 179}, -{1329, 558, 1086}, -{1329, 558, 487}, -{1329, 558, 145}, -{1329, 558, 1478}, -{1329, 1557, 558}, -{1329, 558, 517}, -{1329, 558, 352}, -{1329, 558, 750}, -{1329, 558, 932}, -{1329, 558, 309}, -{1329, 558, 1569}, -{1329, 558, 301}, -{199, 558, 941}, -{256, 25, 558}, -{943, 633, 1059}, -{943, 1575, 40}, -{61, 1554, 558}, -{61, 558, 479}, -{85, 485, 558}, -{479, 679, 558}, -{873, 1088, 558}, -{259, 558, 134}, -{823, 444, 558}, -{840, 1433, 558}, -{1315, 657, 381}, -{83, 949, 523}, -{83, 558, 1406}, -{1220, 570, 558}, -{943, 799, 264}, -{943, 1693, 264}, -{992, 46, 558}, -{301, 558, 252}, -{745, 558, 241}, -{771, 558, 1446}, -{771, 430, 465}, -{1184, 474, 766}, -{1184, 558, 410}, -{1077, 1671, 558}, -{1077, 558, 1460}, -{838, 811, 558}, -{1112, 558, 26}, -{113, 558, 209}, -{710, 187, 759}, -{1108, 1687, 558}, -{943, 558, 1035}, -{541, 558, 1328}, -{129, 872, 1150}, -{1283, 587, 558}, -{129, 401, 54}, -{902, 558, 1109}, -{902, 558, 1109}, -{902, 558, 1289}, -{830, 1047, 558}, -{830, 534, 657}, -{1643, 558, 766}, -{1643, 1704, 558}, -{1643, 558, 410}, -{1077, 558, 1587}, -{1077, 558, 540}, -{1044, 1408, 1000}, -{943, 1379, 215}, -{986, 1279, 345}, -{247, 1722, 1108}, -{247, 991, 209}, -{247, 1473, 1496}, -{247, 141, 1302}, -{247, 27, 892}, -{247, 1301, 1503}, -{247, 833, 652}, -{247, 493, 1206}, -{943, 1128, 869}, -{1674, 772, 558}, -{909, 446, 558}, -{909, 528, 558}, -{909, 0, 558}, -{909, 1210, 558}, -{909, 1385, 558}, -{909, 370, 558}, -{909, 784, 558}, -{909, 776, 558}, -{909, 1168, 558}, -{943, 104, 1221}, -{943, 558, 1186}, -{943, 1263, 558}, -{943, 558, 325}, -{943, 558, 801}, -{710, 47, 420}, -{937, 558, 1706}, -{937, 558, 1704}, -{937, 558, 1345}, -{1132, 717, 558}, -{710, 666, 1380}, -{1382, 334, 558}, -{617, 676, 657}, -{710, 1474, 527}, -{630, 1705, 558}, -{1518, 898, 558}, -{996, 1710, 558}, -{996, 558, 1601}, -{996, 558, 382}, -{996, 558, 1173}, -{996, 1233, 558}, -{996, 1658, 558}, -{996, 1664, 558}, -{996, 1482, 558}, -{996, 665, 558}, -{996, 558, 286}, -{996, 558, 271}, -{996, 558, 370}, -{996, 552, 558}, -{996, 1612, 558}, -{996, 1487, 558}, -{996, 784, 558}, -{996, 764, 558}, -{996, 558, 1582}, -{996, 558, 1031}, -{996, 558, 804}, -{996, 1311, 558}, -{996, 1520, 558}, -{996, 857, 558}, -{996, 712, 558}, -{996, 1337, 558}, -{996, 558, 1381}, -{996, 558, 776}, -{996, 558, 157}, -{996, 257, 558}, -{996, 131, 558}, -{996, 4, 558}, -{996, 303, 558}, -{996, 1721, 558}, -{996, 558, 1086}, -{996, 558, 487}, -{996, 558, 579}, -{996, 1239, 558}, -{996, 0, 558}, -{996, 1478, 558}, -{996, 594, 558}, -{996, 660, 558}, -{996, 558, 1557}, -{996, 558, 259}, -{996, 558, 1052}, -{996, 791, 558}, -{996, 352, 558}, -{996, 750, 558}, -{996, 932, 558}, -{996, 1589, 558}, -{996, 558, 446}, -{996, 558, 528}, -{996, 558, 309}, -{996, 1430, 558}, -{996, 1292, 558}, -{996, 1646, 558}, -{996, 1114, 558}, -{996, 1476, 558}, -{996, 558, 1226}, -{996, 558, 1569}, -{996, 558, 950}, -{996, 1050, 558}, -{996, 1419, 558}, -{996, 1164, 558}, -{312, 995, 558}, -{312, 854, 742}, -{988, 1425, 558}, -{710, 1291, 1382}, -{717, 558, 926}, -{717, 558, 1087}, -{1034, 558, 1545}, -{1034, 994, 657}, -{1690, 558, 1410}, -{1302, 558, 744}, -{40, 1558, 558}, -{40, 558, 12}, -{1282, 558, 1016}, -{393, 551, 558}, -{943, 596, 1085}, -{943, 1175, 685}, -{1291, 1312, 558}, -{592, 1013, 532}, -{592, 558, 1217}, -{1021, 1510, 558}, -{809, 365, 558}, -{90, 558, 77}, -{852, 1454, 558}, -{852, 260, 558}, -{324, 1107, 1555}, -{769, 558, 1325}, -{769, 657, 1072}, -{900, 558, 1643}, -{147, 1393, 1393}, -{147, 1393, 558}, -{147, 1393, 558}, -{147, 558, 1393}, -{147, 558, 1393}, -{147, 558, 1393}, -{147, 558, 1393}, -{147, 558, 1393}, -{147, 558, 1393}, -{1473, 1376, 558}, -{365, 558, 125}, -{537, 363, 558}, -{993, 731, 558}, -{753, 263, 1203}, -{753, 558, 1629}, -{926, 827, 558}, -{943, 632, 339}, -{1364, 558, 108}, -{1364, 657, 1666}, -{425, 558, 953}, -{1467, 943, 558}, -{1467, 943, 558}, -{1467, 943, 558}, -{1467, 558, 943}, -{56, 558, 720}, -{260, 558, 1494}, -{735, 1009, 558}, -{1242, 935, 558}, -{5, 558, 146}, -{1462, 438, 558}, -{1115, 1544, 558}, -{1394, 558, 1658}, -{1394, 558, 985}, -{1394, 558, 1664}, -{1394, 558, 682}, -{1394, 558, 665}, -{1394, 558, 286}, -{1394, 558, 271}, -{1394, 558, 1612}, -{1394, 558, 1487}, -{1394, 558, 244}, -{1394, 558, 1520}, -{1394, 558, 324}, -{1394, 558, 712}, -{1394, 558, 787}, -{1394, 558, 575}, -{1394, 558, 1466}, -{1394, 558, 776}, -{1394, 558, 822}, -{1394, 558, 131}, -{1394, 558, 1420}, -{1394, 558, 4}, -{1394, 558, 167}, -{1394, 558, 303}, -{1394, 558, 1504}, -{1394, 558, 579}, -{1394, 558, 0}, -{1394, 558, 259}, -{1394, 558, 528}, -{1394, 558, 1430}, -{1394, 558, 1646}, -{1394, 558, 1155}, -{1394, 558, 1476}, -{1394, 558, 1226}, -{1394, 558, 1164}, -{1438, 1497, 558}, -{1254, 887, 558}, -{1254, 558, 887}, -{1254, 558, 887}, -{1254, 558, 887}, -{540, 302, 558}, -{540, 558, 365}, -{540, 1294, 558}, -{236, 558, 506}, -{1580, 1656, 558}, -{1580, 1159, 558}, -{1573, 845, 1550}, -{430, 959, 558}, -{1263, 578, 166}, -{1263, 1724, 1336}, -{1256, 558, 574}, -{1263, 1694, 1287}, -{1263, 242, 1188}, -{1263, 436, 1405}, -{224, 558, 520}, -{224, 657, 37}, -{1719, 558, 831}, -{1144, 558, 570}, -{1329, 1394, 558}, -{248, 558, 879}, -{1599, 558, 538}, -{1296, 657, 399}, -{103, 558, 1599}, -{943, 1391, 1577}, -{531, 558, 1255}, -{531, 657, 59}, -{63, 657, 298}, -{943, 668, 999}, -{821, 1298, 907}, -{943, 1106, 1404}, -{498, 558, 240}, -{498, 558, 240}, -{498, 558, 240}, -{1612, 558, 1464}, -{712, 558, 1649}, -{801, 767, 1150}, -{1432, 841, 189}, -{1432, 558, 155}, -{662, 1186, 558}, -{469, 558, 33}, -{1232, 86, 558}, -{1232, 558, 1676}, -{1232, 634, 657}, -{1434, 558, 1709}, -{752, 558, 1389}, -{681, 558, 216}, -{130, 639, 558}, -{275, 104, 558}, -{1019, 1515, 851}, -{1019, 231, 558}, -{731, 1458, 558}, -{248, 558, 1120}, -{248, 1039, 2}, -{342, 558, 300}, -{1398, 117, 558}, -{1398, 558, 1241}, -{617, 558, 1140}, -{1527, 1295, 558}, -{125, 1515, 558}, -{1625, 558, 90}, -{1476, 1379, 558}, -{1697, 275, 558}, -{1168, 558, 595}, -{143, 623, 558}, -{782, 1347, 558}, -{366, 934, 558}, -{898, 622, 72}, -{898, 900, 208}, -{898, 1611, 1647}, -{898, 377, 1458}, -{898, 1022, 976}, -{898, 1139, 488}, -{898, 1359, 723}, -{898, 655, 481}, -{140, 483, 166}, -{1468, 618, 121}, -{483, 558, 254}, -{336, 558, 1038}, -{1542, 515, 1158}, -{1542, 558, 1253}, -{1247, 984, 558}, -{576, 558, 870}, -{576, 558, 870}, -{576, 558, 870}, -{1253, 558, 515}, -{934, 558, 160}, -{837, 1689, 558}, -{590, 558, 910}, -{1700, 332, 54}, -{493, 558, 423}, -{943, 974, 774}, -{943, 934, 968}, -{943, 1196, 415}, -{943, 680, 1688}, -{1528, 106, 558}, -{303, 558, 669}, -{437, 121, 235}, -{437, 1299, 1535}, -{1608, 349, 657}, -{437, 1282, 1432}, -{437, 1437, 1645}, -{437, 1678, 1630}, -{943, 1126, 1465}, -{437, 684, 96}, -{943, 19, 899}, -{725, 558, 1179}, -{930, 1286, 558}, -{1005, 558, 718}, -{558, 1591, 558}, -{943, 1618, 978}, -{945, 558, 111}, -{943, 304, 1123}, -{650, 896, 558}, -{1002, 1211, 558}, -{1416, 1470, 299}, -{952, 152, 558}, -{862, 558, 272}, -{258, 1717, 1351}, -{1263, 1709, 1150}, -{669, 1228, 558}, -{558, 1393, 558}, -{943, 1374, 1252}, -{1627, 1483, 558}, -{1627, 558, 1084}, -{936, 1707, 558}, -{936, 388, 558}, -{943, 727, 1344}, -{502, 558, 1265}, -{1640, 558, 1251}, -{865, 558, 420}, -{1032, 645, 558}, -{1384, 60, 558}, -{1384, 1512, 558}, -{1384, 382, 558}, -{1384, 1173, 558}, -{1384, 84, 558}, -{1384, 1543, 558}, -{1384, 76, 558}, -{1384, 245, 558}, -{1384, 786, 558}, -{1384, 1664, 558}, -{1384, 682, 558}, -{1384, 1482, 558}, -{1384, 271, 558}, -{1384, 370, 558}, -{1384, 552, 558}, -{1384, 1612, 558}, -{1384, 1487, 558}, -{1384, 784, 558}, -{1384, 1582, 558}, -{1384, 804, 558}, -{1384, 1311, 558}, -{1384, 1428, 558}, -{1384, 492, 558}, -{1384, 1204, 558}, -{1384, 1520, 558}, -{1384, 1259, 558}, -{1384, 342, 558}, -{1384, 857, 558}, -{1384, 712, 558}, -{1384, 776, 558}, -{1384, 157, 558}, -{1384, 257, 558}, -{1384, 1324, 558}, -{1384, 179, 558}, -{1384, 131, 558}, -{1384, 4, 558}, -{1384, 1396, 558}, -{1384, 167, 558}, -{1384, 1168, 558}, -{1384, 1721, 558}, -{1384, 1086, 558}, -{1384, 1074, 558}, -{1384, 487, 558}, -{1384, 579, 558}, -{1384, 1239, 558}, -{1384, 1524, 558}, -{1384, 0, 558}, -{1384, 1478, 558}, -{1384, 1210, 558}, -{1384, 461, 558}, -{1384, 660, 558}, -{1384, 1557, 558}, -{1384, 259, 558}, -{1384, 791, 558}, -{1384, 352, 558}, -{1384, 750, 558}, -{1384, 932, 558}, -{1384, 446, 558}, -{1384, 528, 558}, -{1384, 1430, 558}, -{1384, 1292, 558}, -{1384, 1114, 558}, -{1384, 1226, 558}, -{1384, 1569, 558}, -{1384, 1665, 558}, -{1384, 1050, 558}, -{1384, 1419, 558}, -{1384, 1385, 558}, -{1384, 1164, 558}, -{1384, 1006, 558}, -{943, 1712, 45}, -{1561, 558, 871}, -{1210, 726, 558}, -{1210, 558, 256}, -{1463, 558, 1076}, -{1463, 657, 147}, -{183, 558, 1711}, -{257, 558, 1455}, -{943, 64, 564}, -{943, 659, 429}, -{1213, 1209, 558}, -{228, 558, 48}, -{1224, 558, 186}, -{495, 558, 1414}, -{1277, 558, 1441}, -{1277, 657, 41}, -{248, 558, 781}, -{248, 558, 781}, -{134, 930, 558}, -{134, 467, 558}, -{943, 449, 67}, -{811, 1080, 558}, -{811, 1205, 100}, -{943, 991, 657}, -{809, 558, 1641}, -{609, 1192, 1547}, -{609, 1209, 1264}, -{1412, 558, 384}, -{1349, 62, 558}, -{710, 1338, 720}, -{1464, 558, 1109}, -{710, 227, 703}, -{943, 166, 657}, -{943, 548, 181}, -{710, 1095, 1306}, -{710, 558, 43}, -{710, 558, 839}, -{1049, 558, 507}, -{338, 558, 954}, -{549, 1001, 1522}, -{615, 981, 558}, -{598, 1260, 558}, -{310, 558, 328}, -{1539, 494, 558}, -{943, 13, 657}, -{943, 657, 1299}, -{180, 501, 558}, -{1102, 976, 558}, -{1048, 239, 192}, -{184, 558, 1531}, -{943, 1199, 1485}, -{943, 824, 56}, -{943, 886, 558}, -{639, 524, 1307}, -{639, 577, 28}, -{639, 738, 364}, -{639, 463, 1513}, -{1630, 1094, 558}, -{264, 558, 1712}, -{461, 261, 558}, -{461, 726, 558}, -{879, 380, 1077}, -{1713, 238, 558}, -{1628, 623, 1354}, -{907, 558, 713}, -{414, 1022, 1282}, -{414, 413, 1139}, -{414, 1359, 684}, -{414, 1242, 655}, -{414, 622, 1630}, -{414, 1437, 900}, -{414, 121, 377}, -{248, 558, 1185}, -{1108, 558, 744}, -{1271, 140, 558}, -{159, 558, 312}, -{129, 1637, 1287}, -{499, 558, 1659}, -{499, 558, 743}, -{950, 252, 558}, -{1029, 558, 618}, -{943, 1341, 695}, -{475, 1237, 657}, -{874, 1435, 1001}, -{642, 1340, 558}, -{642, 1340, 558}, -{642, 1340, 558}, -{642, 1340, 558}, -{1002, 152, 558}, -{572, 558, 1407}, -{943, 1078, 334}, -{1479, 451, 657}, -{1479, 451, 657}, -{1479, 451, 657}, -{1479, 657, 451}, -{1479, 451, 657}, -{1648, 558, 1521}, -{323, 14, 558}, -{355, 558, 593}, -{355, 657, 1700}, -{392, 814, 558}, -{392, 557, 558}, -{794, 82, 558}, -{794, 82, 558}, -{794, 558, 82}, -{794, 558, 82}, -{794, 82, 558}, -{794, 82, 558}, -{794, 82, 558}, -{943, 1155, 1436}, -{943, 696, 610}, -{1146, 811, 558}, -{248, 1440, 558}, -{841, 558, 936}, -{63, 1501, 558}, -{63, 23, 558}, -{1247, 801, 558}, -{43, 1230, 558}, -{122, 570, 558}, -{649, 1313, 558}, -{649, 640, 558}, -{1332, 452, 558}, -{1332, 1691, 558}, -{934, 1196, 558}, -{943, 558, 1585}, -{1270, 558, 1518}, -{1270, 898, 657}, -{1188, 432, 558}, -{1188, 432, 558}, -{906, 558, 714}, -{906, 558, 214}, -{1017, 558, 578}, -{1338, 462, 558}, -{1382, 1350, 558}, -{7, 657, 1591}, -{7, 657, 1591}, -{7, 657, 1591}, -{680, 558, 1526}, -{943, 629, 760}, -{967, 558, 1427}, -{1001, 852, 558}, -{1001, 852, 558}, -{138, 211, 558}, -{138, 211, 558}, -{138, 211, 558}, -{138, 211, 558}, -{943, 1649, 1027}, -{926, 558, 187}, -{638, 1118, 604}, -{1358, 396, 558}, -{634, 657, 435}, -{634, 657, 435}, -{634, 657, 435}, -{634, 657, 435}, -{634, 435, 657}, -{1542, 1099, 1568}, -{1253, 1184, 1498}, -{1253, 903, 558}, -{827, 558, 1471}, -{386, 392, 558}, -{386, 1704, 558}, -{943, 700, 1565}, -{329, 1166, 558}, -{329, 1704, 558}, -{492, 1107, 558}, -{1072, 1005, 558}, -{1072, 558, 1005}, -{1072, 1005, 558}, -{1072, 558, 1005}, -{1072, 1005, 558}, -{1072, 558, 1005}, -{1072, 1005, 558}, -{1072, 558, 1005}, -{1571, 486, 547}, -{1571, 817, 558}, -{826, 230, 657}, -{218, 558, 1716}, -{943, 1594, 688}, -{1395, 558, 67}, -{1395, 67, 558}, -{215, 941, 1111}, -{59, 155, 250}, -{1504, 558, 669}, -{6, 558, 282}, -{6, 874, 657}, -{145, 1280, 1037}, -{43, 35, 558}, -{991, 558, 583}, -{448, 730, 558}, -{678, 558, 1567}, -{943, 361, 1319}, -{943, 758, 93}, -{951, 1152, 558}, -{951, 642, 657}, -{943, 1287, 657}, -{943, 1190, 752}, -{943, 892, 657}, -{1258, 1130, 558}, -{1619, 558, 586}, -{923, 356, 558}, -{923, 1334, 558}, -{923, 810, 558} + {357, 558, 217}, + {1608, 657, 349}, + {412, 558, 1146}, + {558, 558, 943}, + {826, 230, 657}, + {82, 558, 1319}, + {821, 289, 1514}, + {558, 558, 1171}, + {945, 558, 1199}, + {710, 524, 1548}, + {190, 558, 220}, + {38, 1247, 657}, + {1248, 189, 558}, + {1248, 558, 155}, + {943, 558, 346}, + {1140, 148, 657}, + {1540, 508, 558}, + {710, 32, 1082}, + {710, 1451, 212}, + {1247, 558, 534}, + {943, 1162, 272}, + {943, 983, 418}, + {248, 1615, 468}, + {248, 472, 395}, + {710, 1495, 348}, + {1096, 1100, 558}, + {1096, 558, 1660}, + {1096, 855, 657}, + {1503, 558, 744}, + {44, 1616, 558}, + {78, 651, 375}, + {78, 558, 65}, + {710, 928, 1378}, + {710, 1309, 74}, + {943, 518, 115}, + {32, 558, 31}, + {943, 1405, 657}, + {943, 973, 1603}, + {347, 510, 558}, + {710, 1667, 883}, + {706, 1456, 558}, + {1174, 307, 558}, + {1622, 558, 409}, + {192, 25, 558}, + {1490, 558, 606}, + {943, 1148, 767}, + {549, 1150, 1248}, + {549, 1287, 1332}, + {549, 1680, 1188}, + {549, 1142, 1405}, + {353, 794, 558}, + {353, 794, 558}, + {593, 558, 1700}, + {549, 1167, 54}, + {600, 613, 1362}, + {549, 530, 166}, + {549, 1627, 1336}, + {948, 558, 1400}, + {264, 1092, 480}, + {1582, 632, 558}, + {584, 558, 923}, + {1003, 274, 136}, + {1003, 860, 558}, + {943, 1347, 1527}, + {68, 558, 331}, + {558, 945, 558}, + {1457, 1644, 1495}, + {1485, 1066, 558}, + {1485, 558, 1066}, + {1485, 1066, 558}, + {1077, 558, 1622}, + {1077, 667, 558}, + {325, 115, 1336}, + {710, 920, 785}, + {1318, 748, 558}, + {362, 304, 657}, + {127, 421, 657}, + {325, 989, 1405}, + {53, 558, 790}, + {763, 558, 1068}, + {1088, 558, 147}, + {1088, 558, 1463}, + {1042, 1370, 493}, + {1042, 1473, 1421}, + {943, 513, 443}, + {943, 1673, 1646}, + {943, 490, 1516}, + {311, 856, 558}, + {311, 835, 558}, + {783, 558, 1158}, + {783, 558, 1704}, + {783, 558, 1253}, + {381, 230, 558}, + {381, 230, 558}, + {381, 230, 558}, + {381, 558, 230}, + {381, 230, 558}, + {381, 558, 230}, + {381, 230, 558}, + {152, 558, 1343}, + {555, 371, 558}, + {810, 558, 207}, + {819, 501, 558}, + {1148, 1138, 558}, + {963, 657, 672}, + {967, 202, 558}, + {1691, 972, 558}, + {1342, 1563, 558}, + {786, 844, 558}, + {422, 657, 1296}, + {422, 1346, 558}, + {422, 359, 558}, + {984, 1680, 558}, + {1410, 558, 365}, + {403, 558, 1145}, + {527, 746, 558}, + {1610, 972, 1372}, + {710, 653, 1497}, + {429, 489, 558}, + {467, 558, 10}, + {460, 692, 558}, + {536, 558, 1647}, + {917, 1358, 558}, + {821, 429, 514}, + {744, 558, 1268}, + {710, 430, 1570}, + {943, 1179, 393}, + {1700, 998, 1188}, + {1700, 1389, 1287}, + {1369, 558, 1462}, + {1369, 657, 438}, + {925, 558, 816}, + {1700, 721, 1001}, + {1700, 618, 1336}, + {818, 1043, 558}, + {818, 657, 414}, + {1700, 3, 1405}, + {270, 1426, 558}, + {1678, 477, 1559}, + {1678, 558, 1632}, + {710, 1590, 1083}, + {589, 558, 1017}, + {710, 1424, 1066}, + {1420, 1455, 558}, + {1420, 397, 558}, + {493, 789, 558}, + {640, 884, 558}, + {1108, 558, 624}, + {154, 558, 75}, + {154, 657, 129}, + {787, 558, 605}, + {1247, 558, 325}, + {1582, 604, 558}, + {1670, 1010, 558}, + {798, 82, 657}, + {798, 82, 657}, + {453, 1264, 558}, + {28, 567, 558}, + {121, 558, 1548}, + {285, 1225, 558}, + {1134, 558, 70}, + {706, 1366, 558}, + {272, 952, 558}, + {715, 426, 558}, + {715, 914, 558}, + {761, 711, 739}, + {1296, 657, 399}, + {1453, 657, 373}, + {1312, 558, 264}, + {646, 558, 812}, + {943, 1513, 210}, + {379, 1500, 1706}, + {379, 558, 1345}, + {813, 1101, 1508}, + {4, 558, 11}, + {819, 1380, 558}, + {714, 214, 657}, + {43, 818, 558}, + {1520, 558, 1107}, + {1002, 558, 1130}, + {943, 779, 805}, + {710, 1141, 101}, + {943, 408, 1308}, + {1581, 1480, 379}, + {347, 558, 191}, + {1537, 1116, 558}, + {1537, 558, 1116}, + {1537, 1116, 558}, + {1624, 169, 558}, + {408, 938, 558}, + {1576, 1125, 558}, + {943, 1609, 1394}, + {205, 453, 558}, + {309, 558, 368}, + {1544, 405, 1172}, + {1720, 558, 373}, + {1720, 657, 612}, + {1088, 1076, 657}, + {646, 558, 773}, + {982, 558, 1141}, + {1135, 558, 1203}, + {1135, 558, 1629}, + {1258, 558, 813}, + {248, 558, 720}, + {1045, 558, 1371}, + {999, 558, 1237}, + {999, 1237, 558}, + {999, 558, 1237}, + {999, 558, 1237}, + {999, 1237, 558}, + {999, 558, 1237}, + {999, 1237, 558}, + {943, 561, 29}, + {867, 558, 876}, + {1173, 558, 1717}, + {1146, 206, 558}, + {76, 558, 1106}, + {241, 558, 1033}, + {241, 657, 1015}, + {995, 975, 886}, + {201, 558, 1371}, + {273, 558, 272}, + {846, 307, 558}, + {879, 1183, 541}, + {827, 558, 380}, + {1061, 558, 124}, + {654, 332, 1403}, + {943, 1108, 657}, + {621, 558, 355}, + {1035, 558, 251}, + {1606, 188, 558}, + {41, 407, 719}, + {41, 52, 87}, + {41, 1651, 1424}, + {41, 315, 1661}, + {41, 1160, 1095}, + {41, 483, 1387}, + {41, 13, 1014}, + {41, 1539, 1147}, + {370, 558, 689}, + {805, 558, 1534}, + {943, 326, 1136}, + {943, 1117, 170}, + {710, 797, 873}, + {1382, 558, 1087}, + {960, 1178, 558}, + {977, 1628, 316}, + {977, 558, 143}, + {874, 1098, 166}, + {874, 1212, 1336}, + {874, 1532, 1188}, + {874, 1405, 1702}, + {874, 183, 1150}, + {874, 81, 1287}, + {781, 802, 558}, + {1525, 558, 406}, + {1525, 558, 555}, + {647, 427, 558}, + {1372, 1425, 558}, + {943, 242, 1648}, + {710, 931, 1674}, + {710, 1526, 1450}, + {1273, 638, 558}, + {512, 558, 154}, + {1247, 874, 558}, + {1427, 558, 1448}, + {223, 558, 1357}, + {1219, 558, 1002}, + {1042, 1108, 687}, + {943, 604, 1477}, + {206, 367, 1082}, + {265, 818, 558}, + {1575, 558, 971}, + {105, 371, 406}, + {105, 558, 555}, + {631, 558, 1323}, + {631, 657, 283}, + {544, 267, 558}, + {1482, 616, 558}, + {943, 657, 1437}, + {101, 558, 1364}, + {985, 558, 844}, + {1262, 558, 1151}, + {654, 618, 1212}, + {654, 280, 1098}, + {654, 3, 1702}, + {654, 998, 1532}, + {654, 1389, 81}, + {654, 694, 183}, + {315, 558, 883}, + {1307, 558, 178}, + {281, 558, 347}, + {781, 553, 558}, + {1413, 558, 1235}, + {764, 558, 1649}, + {1212, 558, 1187}, + {710, 719, 1597}, + {1410, 558, 1605}, + {279, 455, 558}, + {943, 407, 657}, + {730, 1724, 558}, + {612, 558, 175}, + {612, 558, 175}, + {612, 558, 175}, + {612, 558, 175}, + {612, 175, 558}, + {612, 175, 558}, + {612, 558, 175}, + {445, 558, 317}, + {445, 558, 417}, + {445, 558, 417}, + {710, 127, 558}, + {445, 539, 558}, + {445, 558, 539}, + {445, 539, 558}, + {445, 558, 539}, + {445, 558, 539}, + {768, 287, 558}, + {1382, 1215, 558}, + {1220, 558, 547}, + {1220, 817, 558}, + {1015, 1637, 1242}, + {1015, 1282, 872}, + {1015, 413, 401}, + {784, 558, 1464}, + {67, 558, 501}, + {1699, 558, 913}, + {447, 261, 558}, + {425, 388, 558}, + {801, 564, 54}, + {347, 335, 558}, + {1602, 558, 1596}, + {182, 442, 558}, + {746, 657, 798}, + {943, 261, 729}, + {710, 959, 323}, + {710, 1183, 1605}, + {1595, 1181, 793}, + {1227, 488, 558}, + {0, 182, 558}, + {1452, 861, 558}, + {575, 558, 1000}, + {1708, 558, 1055}, + {1305, 558, 921}, + {525, 800, 558}, + {525, 1331, 657}, + {1130, 80, 558}, + {1381, 558, 980}, + {328, 1133, 558}, + {328, 558, 194}, + {66, 451, 558}, + {66, 451, 558}, + {66, 451, 558}, + {66, 451, 558}, + {943, 558, 48}, + {943, 558, 741}, + {1341, 600, 558}, + {712, 558, 300}, + {1108, 558, 1224}, + {335, 1303, 1397}, + {253, 279, 558}, + {253, 1692, 558}, + {1129, 657, 943}, + {1333, 906, 558}, + {558, 82, 558}, + {1081, 558, 605}, + {1530, 558, 1198}, + {424, 657, 248}, + {614, 558, 1178}, + {198, 248, 558}, + {198, 424, 558}, + {335, 1717, 1604}, + {437, 413, 977}, + {926, 558, 1054}, + {1700, 694, 1150}, + {869, 558, 349}, + {869, 558, 349}, + {869, 349, 558}, + {869, 558, 349}, + {869, 349, 558}, + {869, 349, 558}, + {869, 349, 558}, + {1076, 657, 1393}, + {1076, 657, 1393}, + {1611, 558, 641}, + {1700, 280, 166}, + {244, 558, 544}, + {1144, 757, 939}, + {248, 1456, 428}, + {248, 12, 1091}, + {248, 558, 16}, + {82, 213, 558}, + {170, 558, 686}, + {601, 558, 280}, + {943, 1654, 162}, + {821, 705, 1062}, + {521, 6, 558}, + {317, 657, 417}, + {203, 558, 52}, + {353, 558, 1076}, + {353, 558, 1076}, + {353, 558, 1463}, + {710, 1553, 845}, + {1109, 1358, 558}, + {650, 558, 1281}, + {427, 558, 500}, + {427, 112, 1314}, + {943, 878, 462}, + {330, 807, 558}, + {1258, 558, 1716}, + {48, 584, 315}, + {48, 502, 1651}, + {48, 49, 483}, + {48, 948, 1160}, + {48, 205, 1539}, + {48, 1551, 13}, + {943, 1336, 657}, + {943, 1187, 1029}, + {1503, 558, 1383}, + {821, 1667, 92}, + {943, 1090, 1683}, + {762, 558, 1018}, + {135, 421, 558}, + {135, 421, 558}, + {135, 558, 421}, + {135, 421, 558}, + {943, 1160, 657}, + {943, 1630, 657}, + {440, 366, 1012}, + {668, 1143, 558}, + {1162, 21, 558}, + {943, 474, 15}, + {1263, 1169, 54}, + {962, 558, 1035}, + {1523, 963, 558}, + {1523, 635, 657}, + {1260, 1413, 558}, + {1260, 657, 1235}, + {220, 558, 130}, + {220, 639, 657}, + {400, 558, 102}, + {400, 657, 1696}, + {834, 558, 1696}, + {834, 558, 400}, + {777, 1561, 558}, + {604, 656, 558}, + {1545, 1443, 657}, + {1246, 558, 1012}, + {1334, 558, 949}, + {1334, 558, 1406}, + {859, 977, 1108}, + {710, 402, 187}, + {358, 558, 1129}, + {358, 558, 1129}, + {943, 1717, 1113}, + {1263, 871, 1001}, + {943, 657, 52}, + {943, 568, 498}, + {1250, 138, 558}, + {1250, 990, 558}, + {1250, 1041, 657}, + {1011, 558, 1214}, + {1655, 558, 182}, + {1136, 1356, 558}, + {378, 909, 558}, + {35, 71, 558}, + {35, 654, 657}, + {554, 1180, 558}, + {554, 558, 964}, + {787, 1304, 558}, + {967, 1347, 558}, + {967, 558, 104}, + {710, 571, 343}, + {943, 207, 1061}, + {980, 473, 1004}, + {89, 558, 958}, + {963, 657, 672}, + {1240, 863, 558}, + {943, 164, 333}, + {174, 558, 1197}, + {781, 558, 1170}, + {670, 1417, 657}, + {994, 558, 1443}, + {994, 1443, 558}, + {994, 558, 1443}, + {994, 558, 1443}, + {994, 1443, 558}, + {994, 558, 1443}, + {994, 1443, 558}, + {1439, 558, 518}, + {654, 1435, 721}, + {13, 558, 880}, + {670, 747, 558}, + {1472, 1480, 558}, + {1587, 1294, 558}, + {1587, 558, 1083}, + {1628, 1285, 942}, + {506, 558, 877}, + {824, 1278, 1642}, + {59, 722, 1084}, + {1396, 1347, 558}, + {1676, 558, 634}, + {1676, 86, 657}, + {943, 194, 310}, + {118, 1092, 558}, + {1176, 558, 572}, + {1336, 61, 558}, + {1100, 268, 558}, + {1100, 268, 558}, + {1100, 268, 558}, + {712, 558, 383}, + {1337, 1560, 558}, + {1603, 558, 3}, + {443, 1422, 754}, + {443, 558, 755}, + {943, 496, 601}, + {1223, 225, 558}, + {1223, 657, 859}, + {337, 895, 558}, + {1225, 558, 1222}, + {710, 87, 870}, + {1015, 684, 1414}, + {1015, 1437, 606}, + {943, 844, 459}, + {175, 568, 558}, + {1517, 916, 558}, + {1015, 765, 1299}, + {1015, 1630, 314}, + {1015, 121, 331}, + {293, 1402, 57}, + {293, 207, 356}, + {293, 810, 558}, + {335, 734, 1106}, + {807, 330, 558}, + {990, 1041, 558}, + {990, 138, 657}, + {1357, 558, 1575}, + {1097, 558, 1475}, + {59, 740, 1691}, + {787, 51, 29}, + {1635, 558, 203}, + {710, 1641, 237}, + {710, 724, 409}, + {1662, 1426, 845}, + {267, 558, 80}, + {206, 387, 916}, + {59, 649, 1071}, + {505, 22, 1572}, + {505, 558, 193}, + {943, 1071, 495}, + {1109, 1130, 558}, + {1417, 1163, 558}, + {1417, 558, 1163}, + {1417, 1163, 558}, + {1417, 558, 1163}, + {1417, 1163, 558}, + {943, 718, 116}, + {1236, 165, 558}, + {8, 1584, 345}, + {1634, 558, 37}, + {1634, 558, 224}, + {10, 176, 558}, + {55, 628, 558}, + {1614, 299, 1616}, + {925, 558, 335}, + {664, 558, 1697}, + {1465, 558, 1134}, + {1459, 122, 558}, + {1459, 1030, 558}, + {772, 558, 1305}, + {772, 657, 921}, + {1098, 558, 496}, + {1079, 481, 558}, + {943, 534, 558}, + {459, 625, 558}, + {43, 830, 558}, + {558, 103, 558}, + {755, 566, 580}, + {1634, 520, 657}, + {732, 558, 17}, + {732, 558, 1536}, + {710, 248, 1679}, + {710, 223, 1215}, + {748, 1327, 558}, + {1078, 558, 511}, + {863, 1108, 719}, + {863, 991, 87}, + {863, 1473, 1424}, + {863, 1302, 1661}, + {863, 892, 1095}, + {863, 1503, 1387}, + {863, 833, 1014}, + {863, 493, 1147}, + {1374, 1368, 558}, + {322, 657, 1493}, + {322, 1493, 657}, + {322, 1493, 657}, + {322, 1493, 657}, + {1536, 558, 1233}, + {1536, 558, 286}, + {1536, 558, 382}, + {1536, 558, 1173}, + {1536, 558, 1543}, + {1536, 558, 76}, + {1536, 1658, 558}, + {1536, 245, 558}, + {1536, 985, 558}, + {1536, 558, 682}, + {1536, 558, 665}, + {1536, 558, 271}, + {1536, 558, 552}, + {1536, 1623, 558}, + {1536, 403, 558}, + {1536, 1273, 558}, + {1536, 558, 1337}, + {1536, 558, 1355}, + {1536, 558, 787}, + {1536, 558, 575}, + {1536, 558, 257}, + {1536, 179, 558}, + {1536, 131, 558}, + {1536, 1420, 558}, + {1536, 558, 1342}, + {1536, 558, 4}, + {1536, 558, 1396}, + {1536, 558, 167}, + {1536, 558, 303}, + {1536, 1504, 558}, + {1536, 1721, 558}, + {1536, 1074, 558}, + {1536, 558, 1478}, + {1536, 558, 594}, + {1536, 558, 1292}, + {1536, 558, 1114}, + {1536, 558, 1476}, + {1536, 1226, 558}, + {1536, 1419, 558}, + {943, 573, 1491}, + {236, 558, 272}, + {587, 558, 299}, + {337, 1466, 558}, + {337, 1601, 558}, + {337, 558, 1173}, + {337, 558, 1562}, + {337, 558, 1543}, + {337, 558, 1540}, + {337, 558, 245}, + {337, 985, 558}, + {337, 682, 558}, + {337, 665, 558}, + {337, 558, 286}, + {337, 558, 271}, + {337, 558, 370}, + {337, 558, 403}, + {337, 558, 804}, + {337, 712, 558}, + {337, 546, 558}, + {337, 776, 558}, + {337, 558, 257}, + {337, 558, 179}, + {337, 558, 1420}, + {337, 558, 4}, + {337, 167, 558}, + {337, 303, 558}, + {337, 1504, 558}, + {337, 487, 558}, + {337, 558, 579}, + {337, 558, 145}, + {337, 558, 259}, + {337, 558, 517}, + {337, 352, 558}, + {337, 750, 558}, + {337, 528, 558}, + {337, 691, 558}, + {337, 558, 1646}, + {337, 558, 1114}, + {337, 558, 1476}, + {337, 558, 1226}, + {337, 1665, 558}, + {337, 840, 558}, + {337, 1164, 558}, + {943, 473, 848}, + {943, 614, 389}, + {1359, 558, 249}, + {943, 960, 1081}, + {248, 1154, 558}, + {248, 180, 558}, + {1202, 558, 1367}, + {1202, 558, 57}, + {307, 558, 620}, + {784, 558, 256}, + {1551, 558, 278}, + {567, 171, 558}, + {567, 1026, 558}, + {567, 657, 322}, + {551, 558, 8}, + {943, 1620, 1125}, + {558, 1297, 558}, + {832, 1275, 558}, + {491, 437, 558}, + {1502, 642, 558}, + {1502, 951, 558}, + {1502, 1152, 657}, + {892, 744, 558}, + {79, 911, 696}, + {943, 277, 893}, + {412, 1257, 558}, + {1714, 1189, 262}, + {1241, 177, 558}, + {833, 558, 351}, + {43, 558, 1541}, + {1529, 558, 91}, + {167, 558, 11}, + {710, 854, 1395}, + {1126, 1290, 558}, + {699, 1556, 986}, + {699, 867, 558}, + {1057, 1649, 558}, + {1070, 558, 1538}, + {1070, 1334, 558}, + {1070, 558, 200}, + {1112, 382, 558}, + {1112, 1233, 558}, + {1112, 84, 558}, + {1112, 1543, 558}, + {1112, 76, 558}, + {1112, 1658, 558}, + {1112, 786, 558}, + {1112, 1664, 558}, + {1112, 1482, 558}, + {1112, 286, 558}, + {1112, 271, 558}, + {1112, 370, 558}, + {1112, 552, 558}, + {1112, 1612, 558}, + {1112, 1487, 558}, + {1112, 784, 558}, + {1112, 764, 558}, + {1112, 1057, 558}, + {1112, 1582, 558}, + {1112, 1031, 558}, + {1112, 804, 558}, + {1112, 1311, 558}, + {1112, 1428, 558}, + {1112, 1520, 558}, + {1112, 1259, 558}, + {1112, 857, 558}, + {1112, 712, 558}, + {1112, 1337, 558}, + {1112, 1381, 558}, + {1112, 776, 558}, + {1112, 157, 558}, + {1112, 1324, 558}, + {1112, 179, 558}, + {1112, 131, 558}, + {1112, 4, 558}, + {1112, 1396, 558}, + {1112, 167, 558}, + {1112, 303, 558}, + {1112, 1086, 558}, + {1112, 1074, 558}, + {1112, 487, 558}, + {1112, 579, 558}, + {1112, 0, 558}, + {1112, 1478, 558}, + {1112, 594, 558}, + {1112, 1210, 558}, + {1112, 1557, 558}, + {1112, 259, 558}, + {1112, 1052, 558}, + {1112, 791, 558}, + {1112, 352, 558}, + {1112, 750, 558}, + {1112, 932, 558}, + {1112, 1589, 558}, + {1112, 446, 558}, + {1112, 528, 558}, + {1112, 309, 558}, + {1112, 1430, 558}, + {1112, 1646, 558}, + {1112, 1476, 558}, + {1112, 1226, 558}, + {1112, 1569, 558}, + {1112, 950, 558}, + {1112, 1665, 558}, + {1112, 1710, 558}, + {1112, 1050, 558}, + {1112, 607, 558}, + {1112, 219, 558}, + {1300, 1384, 558}, + {710, 416, 1016}, + {276, 558, 1637}, + {1544, 586, 1330}, + {1544, 586, 1330}, + {943, 1607, 318}, + {1328, 558, 1466}, + {1328, 271, 558}, + {1328, 370, 558}, + {1328, 558, 552}, + {1328, 558, 1612}, + {1328, 558, 1487}, + {1328, 558, 784}, + {1328, 558, 244}, + {1328, 558, 1623}, + {1328, 764, 558}, + {1328, 403, 558}, + {1328, 558, 1582}, + {1328, 558, 1031}, + {1328, 558, 804}, + {1328, 558, 1311}, + {1328, 558, 1520}, + {1328, 558, 857}, + {1328, 712, 558}, + {1328, 558, 1381}, + {1328, 558, 546}, + {1328, 558, 776}, + {1328, 558, 157}, + {1328, 558, 1243}, + {1328, 558, 1324}, + {1328, 131, 558}, + {1328, 1396, 558}, + {1328, 558, 303}, + {1328, 558, 1504}, + {1328, 558, 1086}, + {1328, 558, 1074}, + {1328, 558, 1246}, + {1328, 558, 487}, + {1328, 579, 558}, + {1328, 0, 558}, + {1328, 558, 1478}, + {1328, 558, 594}, + {1328, 558, 1557}, + {1328, 558, 259}, + {1328, 558, 1052}, + {1328, 558, 791}, + {1328, 352, 558}, + {1328, 750, 558}, + {1328, 558, 932}, + {1328, 558, 1589}, + {1328, 558, 446}, + {1328, 558, 528}, + {1328, 558, 309}, + {1328, 558, 1430}, + {1328, 691, 558}, + {1328, 1292, 558}, + {1328, 558, 1646}, + {1328, 558, 1114}, + {1328, 558, 1476}, + {1328, 558, 1226}, + {1328, 558, 1569}, + {1328, 558, 1665}, + {1328, 1050, 558}, + {1328, 558, 1174}, + {1063, 558, 1310}, + {963, 672, 657}, + {840, 558, 846}, + {1131, 558, 187}, + {243, 566, 802}, + {216, 516, 558}, + {216, 1610, 558}, + {1299, 558, 1046}, + {1107, 389, 558}, + {639, 416, 107}, + {1007, 558, 1334}, + {1673, 558, 754}, + {639, 1636, 707}, + {573, 1484, 558}, + {1241, 558, 1013}, + {1241, 558, 1217}, + {291, 558, 1157}, + {291, 657, 1564}, + {1524, 1225, 558}, + {1721, 558, 10}, + {278, 558, 1488}, + {462, 558, 1278}, + {599, 725, 558}, + {692, 441, 558}, + {692, 325, 657}, + {1259, 558, 300}, + {760, 1350, 558}, + {1473, 558, 458}, + {820, 27, 558}, + {383, 917, 558}, + {622, 558, 386}, + {248, 1649, 558}, + {16, 472, 1366}, + {899, 558, 850}, + {353, 558, 147}, + {353, 558, 147}, + {1385, 558, 347}, + {710, 1132, 1087}, + {248, 1180, 558}, + {943, 1373, 188}, + {817, 486, 558}, + {997, 657, 963}, + {997, 1523, 558}, + {997, 635, 558}, + {225, 859, 558}, + {640, 136, 558}, + {640, 860, 558}, + {155, 1021, 558}, + {155, 425, 558}, + {440, 558, 1555}, + {432, 1686, 558}, + {432, 1097, 558}, + {635, 558, 672}, + {635, 672, 558}, + {635, 558, 672}, + {635, 672, 558}, + {635, 558, 672}, + {635, 672, 558}, + {635, 672, 558}, + {43, 558, 1534}, + {967, 1330, 558}, + {181, 721, 558}, + {943, 1225, 683}, + {726, 558, 630}, + {1195, 558, 1191}, + {1195, 1254, 657}, + {771, 1055, 558}, + {221, 251, 558}, + {221, 558, 251}, + {248, 558, 372}, + {248, 1365, 1085}, + {943, 359, 92}, + {710, 626, 756}, + {710, 457, 823}, + {255, 558, 741}, + {1140, 148, 657}, + {1288, 1634, 558}, + {383, 558, 1040}, + {383, 1040, 558}, + {1637, 558, 699}, + {270, 1445, 1495}, + {1593, 558, 1552}, + {1593, 362, 657}, + {1666, 1525, 957}, + {1666, 250, 953}, + {1666, 701, 740}, + {1666, 884, 1071}, + {1666, 308, 296}, + {1666, 1469, 277}, + {1666, 1459, 722}, + {1666, 304, 177}, + {341, 558, 256}, + {16, 1558, 428}, + {691, 252, 591}, + {558, 558, 1672}, + {439, 1053, 558}, + {156, 558, 786}, + {156, 558, 1664}, + {156, 558, 1482}, + {156, 558, 1243}, + {156, 558, 822}, + {156, 1324, 558}, + {156, 558, 1646}, + {156, 1155, 558}, + {156, 558, 301}, + {156, 558, 950}, + {156, 558, 1665}, + {156, 558, 1710}, + {943, 1302, 657}, + {943, 1694, 1}, + {874, 54, 1403}, + {1120, 558, 137}, + {558, 1171, 558}, + {833, 744, 558}, + {368, 218, 558}, + {623, 319, 1707}, + {623, 388, 558}, + {1578, 1368, 558}, + {1027, 558, 476}, + {1589, 368, 558}, + {1589, 104, 558}, + {153, 558, 1096}, + {440, 1352, 558}, + {440, 104, 558}, + {440, 812, 558}, + {1585, 558, 962}, + {1398, 1489, 558}, + {258, 1103, 1106}, + {979, 1347, 558}, + {370, 558, 1464}, + {955, 558, 1671}, + {1343, 911, 558}, + {790, 558, 434}, + {1054, 558, 70}, + {1543, 558, 1106}, + {1150, 320, 558}, + {283, 1108, 488}, + {775, 657, 1608}, + {775, 1423, 558}, + {775, 869, 558}, + {283, 1473, 481}, + {1164, 340, 558}, + {248, 558, 1382}, + {575, 673, 1053}, + {879, 703, 927}, + {415, 931, 558}, + {88, 1375, 558}, + {1110, 771, 558}, + {1506, 965, 1388}, + {1506, 295, 558}, + {353, 558, 7}, + {353, 558, 7}, + {353, 558, 466}, + {73, 920, 558}, + {65, 651, 558}, + {710, 248, 902}, + {1384, 1182, 558}, + {943, 1675, 895}, + {25, 674, 558}, + {943, 1588, 829}, + {943, 894, 1281}, + {943, 369, 1075}, + {943, 929, 1234}, + {688, 558, 1223}, + {943, 1638, 1537}, + {110, 701, 716}, + {510, 1716, 558}, + {1113, 161, 558}, + {861, 1382, 558}, + {1247, 558, 1068}, + {471, 1591, 1591}, + {471, 558, 1591}, + {471, 558, 1591}, + {471, 558, 1591}, + {471, 558, 1591}, + {471, 558, 1591}, + {471, 558, 1591}, + {471, 558, 1591}, + {471, 1591, 558}, + {353, 558, 1325}, + {353, 558, 1325}, + {353, 558, 769}, + {358, 1467, 657}, + {710, 463, 1094}, + {879, 1590, 1620}, + {645, 558, 1368}, + {248, 558, 1275}, + {52, 558, 1267}, + {710, 494, 514}, + {954, 279, 558}, + {954, 367, 558}, + {236, 558, 1427}, + {271, 558, 1464}, + {114, 558, 1496}, + {943, 1251, 843}, + {1437, 558, 1519}, + {710, 262, 1447}, + {522, 558, 1196}, + {639, 246, 153}, + {691, 558, 790}, + {1182, 1601, 558}, + {1182, 258, 558}, + {1182, 665, 558}, + {1182, 764, 558}, + {1182, 1057, 558}, + {1182, 1381, 558}, + {1182, 303, 558}, + {1182, 285, 558}, + {1182, 594, 558}, + {1182, 1052, 558}, + {1182, 1589, 558}, + {1182, 309, 558}, + {1182, 1646, 558}, + {1182, 904, 558}, + {1182, 1476, 558}, + {1182, 950, 558}, + {1182, 558, 607}, + {1182, 219, 558}, + {943, 558, 984}, + {943, 558, 549}, + {943, 558, 437}, + {943, 558, 859}, + {943, 558, 1068}, + {943, 558, 654}, + {943, 874, 558}, + {984, 558, 1167}, + {710, 851, 792}, + {984, 558, 1248}, + {984, 558, 1142}, + {984, 558, 1627}, + {984, 558, 530}, + {1052, 558, 510}, + {1052, 558, 134}, + {1165, 105, 558}, + {1165, 558, 942}, + {37, 945, 945}, + {37, 945, 558}, + {37, 945, 558}, + {37, 945, 558}, + {37, 945, 558}, + {37, 558, 945}, + {37, 945, 558}, + {37, 945, 558}, + {37, 558, 945}, + {8, 36, 558}, + {8, 150, 558}, + {570, 1030, 333}, + {1258, 591, 558}, + {943, 684, 657}, + {1259, 558, 1649}, + {943, 1724, 448}, + {685, 558, 1598}, + {1238, 558, 1060}, + {921, 371, 957}, + {921, 965, 250}, + {921, 22, 740}, + {921, 274, 1071}, + {921, 651, 296}, + {921, 486, 277}, + {921, 722, 1197}, + {921, 304, 532}, + {710, 1376, 1288}, + {1569, 558, 327}, + {988, 640, 558}, + {943, 34, 828}, + {943, 657, 1188}, + {151, 558, 2}, + {1326, 72, 558}, + {710, 1339, 597}, + {402, 558, 834}, + {485, 436, 558}, + {361, 809, 558}, + {943, 442, 509}, + {1025, 558, 564}, + {1320, 558, 1601}, + {1320, 558, 382}, + {1320, 558, 1173}, + {1320, 558, 1233}, + {1320, 1562, 558}, + {1320, 558, 1543}, + {1320, 558, 76}, + {1320, 558, 1658}, + {1320, 558, 1540}, + {1320, 558, 245}, + {1320, 558, 985}, + {1320, 558, 786}, + {1320, 1664, 558}, + {1320, 558, 682}, + {1320, 558, 1482}, + {1320, 558, 665}, + {1320, 558, 286}, + {1320, 558, 324}, + {1320, 558, 1337}, + {1320, 558, 1355}, + {1320, 558, 787}, + {1320, 558, 257}, + {1320, 558, 179}, + {1320, 558, 1420}, + {1320, 558, 4}, + {1320, 558, 167}, + {1320, 558, 145}, + {1320, 558, 517}, + {1320, 558, 301}, + {1320, 558, 950}, + {1320, 1710, 558}, + {1320, 1419, 558}, + {1320, 558, 1164}, + {1068, 977, 624}, + {236, 558, 79}, + {1023, 1003, 558}, + {1023, 1425, 924}, + {1068, 1645, 478}, + {1068, 704, 458}, + {811, 753, 558}, + {811, 753, 558}, + {519, 558, 127}, + {519, 135, 657}, + {1360, 1575, 558}, + {1155, 558, 252}, + {1628, 1348, 558}, + {16, 1703, 468}, + {1074, 366, 558}, + {1063, 308, 1583}, + {1513, 558, 234}, + {946, 558, 384}, + {1653, 558, 128}, + {773, 275, 558}, + {376, 66, 558}, + {376, 558, 842}, + {376, 1479, 657}, + {943, 98, 1709}, + {686, 558, 1282}, + {710, 562, 645}, + {467, 1705, 558}, + {1392, 297, 346}, + {1392, 558, 284}, + {526, 558, 1227}, + {552, 558, 1464}, + {1425, 558, 78}, + {1425, 1310, 142}, + {117, 558, 1617}, + {92, 422, 558}, + {991, 558, 744}, + {1294, 851, 558}, + {943, 197, 944}, + {1658, 558, 1106}, + {710, 1684, 1418}, + {516, 388, 558}, + {1221, 1566, 558}, + {812, 558, 1044}, + {943, 1352, 1131}, + {1355, 558, 1560}, + {710, 1375, 95}, + {710, 1089, 1529}, + {844, 454, 946}, + {129, 331, 1336}, + {129, 314, 166}, + {129, 1405, 606}, + {129, 1414, 1188}, + {352, 1391, 558}, + {352, 1352, 558}, + {943, 820, 1657}, + {553, 511, 845}, + {1272, 558, 608}, + {413, 558, 123}, + {1142, 558, 185}, + {1142, 558, 404}, + {43, 21, 558}, + {1449, 558, 944}, + {1675, 337, 558}, + {16, 363, 1091}, + {1233, 558, 1717}, + {384, 885, 558}, + {384, 550, 558}, + {943, 176, 598}, + {943, 1592, 1653}, + {943, 558, 891}, + {702, 558, 1562}, + {702, 1543, 558}, + {702, 76, 558}, + {702, 1540, 558}, + {702, 245, 558}, + {702, 985, 558}, + {702, 786, 558}, + {702, 682, 558}, + {702, 244, 558}, + {702, 324, 558}, + {702, 558, 1466}, + {702, 546, 558}, + {702, 1324, 558}, + {702, 179, 558}, + {702, 1396, 558}, + {702, 167, 558}, + {702, 1074, 558}, + {702, 1246, 558}, + {702, 53, 558}, + {702, 691, 558}, + {702, 1665, 558}, + {248, 558, 191}, + {778, 558, 1275}, + {31, 687, 558}, + {444, 657, 42}, + {1228, 1196, 558}, + {1140, 148, 657}, + {943, 67, 1036}, + {1632, 1236, 558}, + {1632, 1220, 558}, + {163, 1498, 558}, + {163, 903, 558}, + {1620, 1576, 558}, + {943, 1011, 862}, + {710, 1687, 222}, + {710, 299, 1625}, + {943, 1008, 169}, + {1321, 1714, 558}, + {1244, 1103, 558}, + {1433, 620, 558}, + {710, 254, 1353}, + {943, 340, 1283}, + {681, 433, 1023}, + {1446, 430, 206}, + {1010, 311, 558}, + {1010, 1334, 558}, + {1047, 558, 534}, + {796, 35, 558}, + {1262, 1407, 933}, + {943, 296, 1490}, + {667, 558, 928}, + {284, 891, 1032}, + {292, 1070, 558}, + {26, 60, 558}, + {26, 1512, 558}, + {26, 1173, 558}, + {26, 258, 558}, + {26, 245, 558}, + {26, 682, 558}, + {26, 492, 558}, + {26, 1204, 558}, + {26, 558, 58}, + {26, 342, 558}, + {26, 257, 558}, + {26, 354, 558}, + {26, 1168, 558}, + {26, 1721, 558}, + {26, 1239, 558}, + {26, 558, 461}, + {26, 447, 558}, + {26, 660, 558}, + {26, 1292, 558}, + {26, 1114, 558}, + {26, 904, 558}, + {26, 558, 1419}, + {26, 281, 558}, + {26, 1164, 558}, + {1651, 558, 168}, + {437, 1242, 704}, + {943, 889, 1104}, + {991, 1474, 558}, + {1247, 48, 558}, + {1247, 1331, 558}, + {456, 1039, 558}, + {647, 939, 558}, + {943, 825, 138}, + {1036, 717, 558}, + {1672, 558, 1650}, + {509, 1270, 558}, + {653, 558, 390}, + {179, 558, 1455}, + {862, 1365, 558}, + {866, 657, 9}, + {1055, 1560, 558}, + {1038, 269, 558}, + {1622, 558, 1019}, + {1622, 1294, 558}, + {1484, 558, 1491}, + {882, 558, 1374}, + {725, 306, 558}, + {1448, 1619, 558}, + {943, 831, 858}, + {1511, 1598, 262}, + {1042, 1444, 991}, + {172, 1633, 558}, + {172, 210, 657}, + {1357, 678, 558}, + {1302, 558, 1600}, + {1186, 98, 1150}, + {1533, 558, 964}, + {331, 149, 558}, + {984, 558, 1522}, + {1715, 558, 1399}, + {1715, 558, 1399}, + {1715, 1105, 657}, + {677, 726, 558}, + {989, 565, 558}, + {1022, 558, 329}, + {689, 558, 1465}, + {943, 396, 796}, + {943, 153, 1100}, + {1442, 793, 558}, + {1380, 558, 109}, + {967, 558, 405}, + {1693, 1312, 558}, + {1601, 1604, 558}, + {1601, 558, 1397}, + {1247, 558, 1698}, + {558, 558, 175}, + {269, 1030, 333}, + {603, 1721, 558}, + {235, 1483, 336}, + {235, 558, 1084}, + {149, 970, 558}, + {149, 558, 762}, + {892, 558, 478}, + {295, 965, 558}, + {791, 273, 558}, + {791, 677, 558}, + {116, 1597, 558}, + {116, 558, 1597}, + {116, 1597, 558}, + {1683, 558, 966}, + {441, 325, 558}, + {1109, 558, 1649}, + {627, 558, 318}, + {538, 330, 881}, + {43, 558, 1223}, + {282, 874, 558}, + {33, 558, 1301}, + {853, 1517, 558}, + {425, 1388, 558}, + {425, 295, 558}, + {876, 1584, 558}, + {283, 1458, 833}, + {1356, 326, 558}, + {1318, 637, 558}, + {1691, 516, 558}, + {394, 558, 401}, + {1415, 558, 471}, + {1415, 558, 466}, + {710, 1290, 698}, + {943, 111, 955}, + {943, 62, 1690}, + {943, 374, 1669}, + {675, 888, 558}, + {675, 888, 558}, + {697, 558, 872}, + {1239, 636, 558}, + {792, 732, 106}, + {1005, 558, 93}, + {978, 419, 558}, + {1328, 558, 1320}, + {1304, 558, 1688}, + {828, 558, 998}, + {248, 1145, 558}, + {248, 604, 558}, + {710, 533, 599}, + {1064, 558, 694}, + {321, 558, 849}, + {321, 657, 247}, + {1228, 384, 558}, + {1228, 384, 558}, + {1377, 385, 558}, + {1177, 558, 1614}, + {857, 558, 300}, + {353, 558, 520}, + {353, 558, 520}, + {353, 558, 224}, + {194, 60, 558}, + {194, 1512, 558}, + {194, 84, 558}, + {194, 558, 1623}, + {194, 558, 403}, + {194, 558, 1428}, + {194, 558, 492}, + {194, 558, 1204}, + {194, 1259, 558}, + {194, 558, 342}, + {194, 558, 1355}, + {194, 558, 787}, + {194, 558, 575}, + {194, 1243, 558}, + {194, 822, 558}, + {194, 1420, 558}, + {194, 558, 1342}, + {194, 558, 1504}, + {194, 1168, 558}, + {194, 145, 558}, + {194, 1524, 558}, + {194, 1210, 558}, + {194, 461, 558}, + {194, 558, 1155}, + {194, 558, 301}, + {194, 558, 1385}, + {558, 558, 650}, + {759, 558, 944}, + {879, 1300, 343}, + {1006, 558, 664}, + {710, 675, 330}, + {353, 612, 558}, + {353, 612, 558}, + {943, 14, 294}, + {943, 586, 832}, + {1567, 558, 60}, + {1567, 558, 1487}, + {1567, 558, 1031}, + {1567, 1428, 558}, + {1567, 558, 58}, + {1567, 558, 342}, + {1567, 1381, 558}, + {1567, 558, 579}, + {1567, 558, 120}, + {1567, 558, 677}, + {1567, 558, 447}, + {1567, 558, 660}, + {1567, 558, 1430}, + {1567, 904, 558}, + {1567, 558, 607}, + {1682, 613, 150}, + {91, 558, 1256}, + {91, 657, 574}, + {339, 558, 543}, + {595, 239, 558}, + {595, 992, 558}, + {1247, 558, 859}, + {943, 676, 907}, + {17, 657, 1536}, + {17, 558, 646}, + {1114, 558, 889}, + {1226, 327, 558}, + {1564, 684, 1661}, + {1564, 1437, 1095}, + {1564, 1282, 87}, + {1564, 1242, 1424}, + {1564, 413, 719}, + {320, 1322, 558}, + {320, 735, 558}, + {353, 558, 471}, + {353, 558, 471}, + {354, 558, 595}, + {444, 643, 558}, + {444, 1613, 558}, + {943, 1431, 1134}, + {1478, 558, 256}, + {1313, 924, 558}, + {1105, 558, 710}, + {1105, 558, 710}, + {1105, 710, 558}, + {1105, 558, 710}, + {1105, 710, 558}, + {1488, 558, 545}, + {1488, 558, 1547}, + {45, 558, 815}, + {647, 558, 570}, + {801, 1491, 1287}, + {470, 467, 558}, + {943, 146, 737}, + {801, 1188, 1531}, + {885, 513, 558}, + {353, 558, 37}, + {353, 558, 37}, + {96, 350, 313}, + {96, 649, 558}, + {288, 558, 798}, + {288, 657, 794}, + {1429, 826, 657}, + {43, 625, 558}, + {1532, 558, 34}, + {751, 558, 652}, + {1677, 558, 475}, + {1677, 657, 999}, + {943, 865, 958}, + {1186, 1405, 85}, + {1186, 1648, 1188}, + {1186, 1, 1287}, + {582, 558, 1067}, + {582, 821, 657}, + {1186, 1336, 448}, + {1186, 589, 166}, + {1629, 558, 263}, + {707, 558, 1502}, + {71, 558, 654}, + {1186, 777, 1001}, + {858, 1719, 558}, + {60, 1717, 558}, + {520, 657, 945}, + {520, 657, 945}, + {1104, 253, 558}, + {1552, 362, 558}, + {892, 797, 558}, + {644, 678, 558}, + {975, 854, 558}, + {1084, 558, 803}, + {1084, 1314, 558}, + {1205, 1454, 1494}, + {1205, 260, 558}, + {943, 1689, 982}, + {943, 1001, 657}, + {943, 522, 88}, + {1386, 484, 914}, + {31, 307, 558}, + {1287, 1580, 558}, + {1287, 1580, 558}, + {86, 435, 558}, + {86, 558, 435}, + {86, 558, 435}, + {86, 558, 435}, + {710, 1624, 248}, + {286, 616, 558}, + {803, 482, 558}, + {210, 558, 736}, + {210, 558, 736}, + {210, 558, 736}, + {210, 558, 736}, + {294, 959, 558}, + {128, 558, 1592}, + {353, 558, 42}, + {353, 558, 42}, + {353, 558, 1613}, + {910, 558, 1165}, + {943, 658, 989}, + {673, 1304, 558}, + {15, 39, 558}, + {710, 1514, 880}, + {708, 549, 558}, + {943, 305, 1531}, + {480, 202, 629}, + {710, 472, 1606}, + {943, 44, 90}, + {683, 558, 229}, + {1154, 1380, 558}, + {904, 558, 347}, + {943, 559, 608}, + {353, 558, 373}, + {353, 558, 373}, + {353, 558, 1720}, + {943, 54, 657}, + {943, 722, 68}, + {409, 558, 302}, + {362, 841, 957}, + {362, 250, 681}, + {362, 350, 740}, + {362, 1071, 1063}, + {362, 296, 477}, + {362, 277, 336}, + {362, 722, 1318}, + {943, 469, 875}, + {1664, 844, 558}, + {325, 573, 1287}, + {613, 1656, 450}, + {613, 558, 1159}, + {943, 657, 493}, + {943, 1481, 1452}, + {943, 560, 808}, + {572, 1517, 558}, + {693, 1348, 1525}, + {139, 169, 558}, + {334, 558, 1421}, + {353, 643, 558}, + {353, 643, 558}, + {248, 46, 558}, + {1137, 558, 1185}, + {560, 558, 412}, + {860, 274, 558}, + {943, 436, 85}, + {943, 896, 1284}, + {1716, 558, 180}, + {1349, 588, 558}, + {1045, 558, 1370}, + {943, 1321, 132}, + {943, 1254, 1307}, + {550, 1347, 558}, + {790, 1137, 816}, + {943, 250, 697}, + {639, 825, 864}, + {175, 558, 1588}, + {747, 558, 1417}, + {1460, 558, 1309}, + {1174, 201, 558}, + {353, 558, 798}, + {353, 558, 798}, + {353, 558, 288}, + {943, 558, 525}, + {943, 558, 628}, + {1111, 1470, 558}, + {1111, 558, 1614}, + {1680, 313, 558}, + {1680, 649, 558}, + {956, 984, 558}, + {1521, 558, 242}, + {325, 1148, 1150}, + {440, 137, 504}, + {1382, 1649, 558}, + {1382, 300, 558}, + {90, 1433, 558}, + {120, 558, 256}, + {1645, 1063, 185}, + {1645, 404, 558}, + {1258, 558, 1352}, + {987, 558, 1169}, + {95, 558, 531}, + {943, 31, 1051}, + {710, 1368, 1149}, + {1453, 612, 558}, + {1453, 1720, 558}, + {126, 558, 113}, + {750, 1391, 558}, + {640, 558, 1610}, + {1217, 558, 532}, + {43, 476, 558}, + {453, 558, 1213}, + {1371, 620, 558}, + {439, 51, 558}, + {1553, 558, 334}, + {1002, 558, 605}, + {1002, 558, 605}, + {1477, 1541, 558}, + {1428, 558, 1107}, + {1428, 558, 604}, + {558, 558, 89}, + {646, 558, 272}, + {1174, 558, 1293}, + {131, 558, 1455}, + {800, 1331, 558}, + {1247, 558, 741}, + {1564, 121, 1014}, + {1564, 1630, 1387}, + {943, 1037, 266}, + {42, 657, 650}, + {42, 657, 650}, + {1702, 558, 973}, + {1471, 558, 1119}, + {943, 1586, 621}, + {710, 577, 1046}, + {476, 558, 956}, + {476, 984, 657}, + {1562, 1244, 558}, + {1562, 1351, 558}, + {1503, 961, 558}, + {710, 1093, 226}, + {245, 1358, 558}, + {671, 14, 558}, + {1124, 558, 1662}, + {1269, 558, 1401}, + {1269, 558, 1249}, + {821, 668, 1451}, + {226, 1593, 558}, + {543, 196, 558}, + {543, 657, 1468}, + {1708, 558, 236}, + {475, 1237, 657}, + {1350, 827, 558}, + {710, 827, 1472}, + {710, 1275, 1581}, + {1626, 558, 1133}, + {1626, 558, 702}, + {821, 1128, 1353}, + {1086, 558, 1037}, + {1399, 558, 1105}, + {319, 558, 972}, + {936, 558, 425}, + {1325, 657, 1005}, + {1325, 1005, 657}, + {43, 558, 611}, + {245, 558, 1106}, + {710, 50, 1350}, + {600, 36, 558}, + {1721, 558, 1048}, + {710, 1636, 935}, + {1394, 503, 558}, + {1468, 1630, 280}, + {1468, 1437, 3}, + {1468, 684, 998}, + {1468, 1242, 1389}, + {1408, 1004, 558}, + {1662, 553, 558}, + {1468, 721, 1299}, + {862, 1347, 558}, + {107, 558, 376}, + {236, 182, 1151}, + {124, 558, 141}, + {710, 1528, 1215}, + {710, 1161, 109}, + {1401, 626, 1198}, + {529, 558, 391}, + {529, 558, 391}, + {529, 558, 391}, + {770, 558, 19}, + {943, 1150, 657}, + {943, 182, 265}, + {943, 897, 1211}, + {446, 368, 558}, + {1165, 558, 1354}, + {1214, 558, 879}, + {966, 1635, 558}, + {966, 657, 203}, + {559, 770, 558}, + {1596, 1271, 558}, + {1596, 657, 140}, + {943, 657, 1242}, + {943, 1402, 114}, + {710, 1014, 1116}, + {1600, 1546, 1495}, + {31, 1044, 558}, + {905, 558, 979}, + {1533, 156, 558}, + {373, 657, 175}, + {373, 657, 175}, + {1175, 558, 267}, + {943, 1473, 657}, + {597, 882, 558}, + {761, 1056, 558}, + {78, 695, 619}, + {78, 558, 1179}, + {943, 674, 745}, + {943, 1130, 512}, + {943, 1102, 1099}, + {1241, 269, 558}, + {353, 558, 298}, + {353, 558, 298}, + {353, 558, 23}, + {600, 1279, 558}, + {161, 558, 969}, + {161, 657, 801}, + {641, 715, 558}, + {641, 1704, 558}, + {1247, 558, 654}, + {804, 558, 604}, + {325, 615, 166}, + {1577, 558, 1042}, + {1043, 558, 414}, + {325, 843, 1001}, + {1218, 1257, 558}, + {894, 1587, 558}, + {1393, 558, 490}, + {344, 1073, 557}, + {826, 657, 230}, + {344, 20, 585}, + {344, 558, 1316}, + {943, 73, 934}, + {248, 1465, 558}, + {1501, 1349, 558}, + {1501, 1349, 558}, + {1501, 558, 1349}, + {1501, 1349, 558}, + {943, 1049, 160}, + {477, 647, 558}, + {1149, 558, 264}, + {1565, 558, 1218}, + {1565, 558, 1218}, + {710, 248, 1276}, + {943, 1713, 501}, + {971, 1512, 558}, + {971, 258, 558}, + {971, 84, 558}, + {971, 788, 558}, + {971, 1057, 558}, + {971, 204, 558}, + {971, 1582, 558}, + {971, 1204, 558}, + {971, 712, 558}, + {971, 157, 558}, + {971, 1086, 558}, + {971, 487, 558}, + {971, 1239, 558}, + {971, 285, 558}, + {971, 1524, 558}, + {971, 273, 558}, + {971, 750, 558}, + {971, 932, 558}, + {971, 309, 558}, + {971, 219, 558}, + {710, 1360, 1091}, + {84, 558, 1106}, + {1679, 558, 1262}, + {943, 1438, 504}, + {943, 1228, 1574}, + {843, 558, 1640}, + {943, 119, 702}, + {328, 1006, 558}, + {879, 237, 119}, + {879, 724, 310}, + {710, 248, 1272}, + {503, 558, 270}, + {833, 1684, 558}, + {0, 558, 256}, + {335, 508, 1303}, + {1669, 1460, 558}, + {704, 681, 452}, + {704, 1691, 558}, + {534, 54, 737}, + {534, 1009, 1234}, + {534, 978, 450}, + {534, 1475, 162}, + {534, 1405, 727}, + {534, 263, 858}, + {534, 679, 1136}, + {534, 1494, 1653}, + {251, 558, 1028}, + {251, 353, 558}, + {251, 353, 558}, + {251, 558, 353}, + {251, 558, 353}, + {1708, 19, 558}, + {1060, 54, 1108}, + {1060, 1150, 991}, + {1060, 1473, 1287}, + {1060, 1188, 1302}, + {1060, 892, 1405}, + {1060, 1503, 166}, + {1060, 833, 1336}, + {1060, 1001, 493}, + {943, 1065, 1124}, + {1571, 1144, 558}, + {1194, 558, 439}, + {848, 558, 1178}, + {943, 824, 398}, + {1465, 728, 558}, + {388, 972, 1372}, + {825, 558, 1250}, + {943, 558, 742}, + {616, 558, 454}, + {1419, 558, 774}, + {390, 1258, 558}, + {1418, 1415, 558}, + {1564, 1147, 1299}, + {620, 558, 922}, + {620, 1115, 558}, + {1295, 558, 1238}, + {1295, 657, 1060}, + {943, 1209, 663}, + {710, 1181, 69}, + {943, 28, 171}, + {1247, 437, 558}, + {1710, 252, 558}, + {799, 1339, 558}, + {643, 558, 650}, + {643, 558, 650}, + {643, 558, 650}, + {643, 650, 558}, + {643, 650, 558}, + {643, 558, 650}, + {643, 558, 650}, + {102, 657, 1156}, + {102, 657, 1156}, + {102, 657, 1156}, + {102, 657, 1156}, + {102, 657, 1156}, + {102, 657, 1156}, + {102, 657, 1156}, + {1314, 558, 592}, + {1314, 1327, 1617}, + {1083, 302, 558}, + {1083, 1019, 558}, + {1200, 558, 648}, + {1435, 548, 558}, + {1020, 1277, 558}, + {1436, 1723, 558}, + {1436, 558, 1614}, + {1184, 1631, 903}, + {943, 1651, 657}, + {372, 1085, 1172}, + {248, 912, 1290}, + {273, 558, 773}, + {964, 558, 17}, + {964, 558, 1536}, + {663, 558, 535}, + {470, 1286, 558}, + {127, 135, 558}, + {872, 558, 901}, + {1245, 299, 1723}, + {1152, 1340, 657}, + {1152, 1340, 657}, + {1152, 657, 1340}, + {1152, 657, 1340}, + {1152, 1340, 657}, + {1560, 1081, 558}, + {1609, 1329, 558}, + {1450, 1499, 558}, + {926, 558, 1712}, + {1170, 661, 566}, + {943, 1326, 1073}, + {466, 558, 7}, + {466, 657, 471}, + {1258, 384, 558}, + {193, 22, 558}, + {289, 997, 558}, + {943, 1358, 521}, + {318, 558, 1444}, + {1545, 1443, 657}, + {710, 644, 428}, + {1171, 558, 519}, + {1574, 1089, 558}, + {776, 558, 1219}, + {305, 184, 558}, + {1411, 1079, 558}, + {849, 558, 247}, + {862, 1211, 558}, + {94, 558, 1024}, + {933, 558, 877}, + {523, 1657, 1406}, + {523, 875, 1659}, + {523, 558, 743}, + {1646, 558, 513}, + {1230, 708, 558}, + {1230, 657, 549}, + {59, 304, 1398}, + {59, 143, 957}, + {947, 558, 1654}, + {377, 558, 232}, + {1468, 413, 332}, + {758, 1622, 558}, + {81, 558, 1190}, + {943, 1300, 1182}, + {270, 922, 1544}, + {270, 1115, 558}, + {1691, 558, 110}, + {1691, 558, 1023}, + {868, 723, 558}, + {746, 794, 558}, + {746, 288, 558}, + {546, 1681, 558}, + {43, 1270, 558}, + {1247, 898, 558}, + {119, 558, 1626}, + {500, 1390, 1197}, + {500, 558, 174}, + {188, 690, 558}, + {1303, 782, 1040}, + {1160, 212, 558}, + {449, 558, 819}, + {1302, 457, 558}, + {1033, 558, 1015}, + {414, 1611, 1299}, + {325, 305, 1188}, + {943, 11, 55}, + {1274, 558, 1069}, + {710, 913, 1274}, + {1311, 558, 604}, + {23, 558, 298}, + {23, 657, 1501}, + {968, 1093, 558}, + {943, 1705, 1020}, + {199, 558, 781}, + {199, 558, 1422}, + {334, 558, 118}, + {700, 619, 558}, + {157, 558, 1090}, + {1129, 558, 1467}, + {1633, 657, 736}, + {1633, 657, 736}, + {1633, 657, 736}, + {1633, 657, 736}, + {1633, 657, 736}, + {901, 1556, 558}, + {901, 867, 558}, + {647, 1220, 558}, + {1067, 821, 558}, + {943, 541, 1320}, + {710, 1409, 916}, + {666, 558, 862}, + {1323, 283, 558}, + {535, 558, 1206}, + {1185, 1215, 558}, + {201, 1433, 558}, + {493, 1200, 558}, + {493, 558, 744}, + {636, 558, 967}, + {855, 268, 657}, + {855, 268, 657}, + {855, 268, 657}, + {855, 268, 657}, + {855, 268, 657}, + {248, 558, 1343}, + {646, 202, 558}, + {943, 558, 881}, + {1056, 1080, 739}, + {943, 1539, 657}, + {878, 631, 558}, + {916, 558, 1185}, + {967, 558, 272}, + {943, 80, 1333}, + {1671, 571, 558}, + {1671, 558, 302}, + {1671, 1019, 558}, + {1671, 558, 1294}, + {1516, 1306, 558}, + {1516, 558, 1306}, + {1516, 1306, 558}, + {196, 558, 1468}, + {271, 558, 1058}, + {710, 1039, 24}, + {857, 558, 1649}, + {857, 558, 1377}, + {943, 1101, 190}, + {164, 412, 558}, + {943, 993, 20}, + {0, 726, 558}, + {1455, 1412, 558}, + {1346, 558, 1296}, + {1346, 359, 657}, + {1324, 558, 1455}, + {214, 765, 1001}, + {847, 558, 104}, + {1243, 558, 1455}, + {676, 558, 148}, + {676, 148, 558}, + {676, 558, 148}, + {676, 148, 558}, + {676, 558, 148}, + {676, 558, 148}, + {676, 558, 148}, + {748, 558, 1241}, + {1296, 399, 657}, + {785, 558, 267}, + {1028, 353, 657}, + {1159, 558, 450}, + {1431, 1578, 558}, + {238, 1215, 558}, + {969, 801, 558}, + {232, 558, 585}, + {232, 1704, 558}, + {232, 558, 1316}, + {943, 1177, 1069}, + {1429, 1315, 558}, + {1429, 381, 558}, + {943, 1442, 1045}, + {1481, 558, 1134}, + {943, 728, 357}, + {781, 558, 160}, + {1481, 558, 912}, + {943, 1652, 385}, + {558, 1005, 558}, + {646, 470, 558}, + {943, 1194, 99}, + {727, 556, 558}, + {932, 368, 558}, + {932, 558, 1352}, + {1121, 291, 558}, + {981, 558, 733}, + {943, 107, 66}, + {1143, 475, 657}, + {1143, 558, 1677}, + {1143, 558, 999}, + {943, 957, 394}, + {1285, 1506, 558}, + {1285, 1510, 1122}, + {1447, 558, 1175}, + {1327, 808, 558}, + {959, 1154, 558}, + {171, 558, 1493}, + {171, 558, 1493}, + {171, 558, 1493}, + {171, 558, 1493}, + {345, 1475, 1686}, + {345, 558, 1097}, + {1138, 558, 767}, + {710, 1387, 240}, + {815, 558, 1193}, + {1292, 558, 1065}, + {829, 667, 558}, + {98, 1434, 558}, + {1505, 830, 558}, + {757, 1030, 558}, + {710, 1718, 671}, + {192, 1130, 558}, + {1024, 558, 1069}, + {943, 1231, 1176}, + {1062, 1429, 558}, + {1171, 558, 358}, + {1222, 558, 1090}, + {382, 558, 1717}, + {1186, 1216, 54}, + {336, 1459, 482}, + {558, 159, 558}, + {1579, 558, 221}, + {1042, 1119, 892}, + {1591, 374, 558}, + {1042, 439, 1302}, + {1042, 77, 833}, + {507, 279, 558}, + {507, 186, 1082}, + {710, 961, 1266}, + {200, 558, 1486}, + {200, 293, 1367}, + {200, 558, 57}, + {353, 1501, 558}, + {353, 1501, 558}, + {943, 952, 1509}, + {222, 97, 558}, + {938, 1245, 558}, + {99, 558, 1644}, + {108, 1666, 558}, + {850, 1446, 558}, + {850, 430, 558}, + {943, 1169, 1216}, + {943, 588, 529}, + {943, 483, 657}, + {943, 121, 657}, + {67, 558, 14}, + {1032, 558, 297}, + {1534, 558, 763}, + {1534, 1068, 657}, + {69, 1045, 558}, + {36, 1009, 1322}, + {36, 558, 735}, + {417, 657, 539}, + {417, 539, 657}, + {417, 539, 657}, + {417, 657, 539}, + {417, 657, 539}, + {417, 657, 539}, + {417, 539, 657}, + {967, 1211, 558}, + {967, 1211, 558}, + {1286, 1211, 558}, + {690, 558, 1612}, + {690, 558, 804}, + {690, 1311, 558}, + {690, 492, 558}, + {690, 1259, 558}, + {690, 558, 354}, + {690, 558, 341}, + {690, 558, 461}, + {690, 558, 352}, + {690, 558, 1589}, + {690, 1569, 558}, + {690, 281, 558}, + {1399, 657, 710}, + {398, 321, 558}, + {43, 692, 558}, + {1293, 620, 558}, + {936, 1122, 558}, + {348, 1194, 558}, + {350, 988, 558}, + {743, 558, 875}, + {743, 545, 609}, + {743, 558, 1547}, + {890, 558, 1694}, + {140, 1539, 1001}, + {140, 1336, 13}, + {325, 64, 54}, + {140, 407, 54}, + {710, 38, 558}, + {710, 558, 1247}, + {1252, 882, 558}, + {140, 1160, 1405}, + {140, 315, 1188}, + {140, 1651, 1287}, + {761, 233, 970}, + {761, 558, 762}, + {1201, 558, 1372}, + {840, 558, 1293}, + {115, 1439, 558}, + {97, 558, 1072}, + {97, 558, 769}, + {755, 558, 1170}, + {834, 657, 102}, + {75, 129, 558}, + {142, 1571, 558}, + {142, 427, 165}, + {574, 1628, 957}, + {574, 841, 250}, + {574, 681, 740}, + {574, 350, 1071}, + {574, 1063, 296}, + {574, 277, 477}, + {574, 336, 722}, + {574, 304, 1318}, + {233, 1205, 569}, + {943, 1282, 657}, + {1191, 657, 887}, + {1191, 657, 887}, + {1191, 657, 887}, + {1191, 657, 887}, + {1499, 558, 709}, + {1499, 657, 1201}, + {1549, 929, 558}, + {943, 414, 558}, + {943, 898, 558}, + {31, 558, 132}, + {918, 1583, 558}, + {336, 558, 112}, + {756, 1110, 558}, + {1331, 146, 1108}, + {1331, 929, 991}, + {1331, 1618, 1473}, + {1331, 1654, 1302}, + {1331, 892, 1344}, + {1331, 831, 1503}, + {1331, 326, 833}, + {1331, 1592, 493}, + {369, 540, 558}, + {1345, 1542, 1685}, + {1345, 1568, 558}, + {1649, 795, 558}, + {710, 1180, 1533}, + {1403, 558, 983}, + {1268, 558, 580}, + {287, 657, 1545}, + {287, 558, 1034}, + {287, 558, 994}, + {219, 558, 347}, + {140, 1150, 52}, + {984, 558, 1332}, + {610, 558, 582}, + {801, 1251, 1001}, + {1139, 937, 558}, + {943, 1500, 526}, + {801, 658, 1405}, + {47, 603, 558}, + {801, 518, 1336}, + {801, 733, 166}, + {49, 499, 558}, + {579, 558, 824}, + {862, 558, 445}, + {729, 558, 1185}, + {710, 738, 1519}, + {1540, 558, 734}, + {943, 1503, 657}, + {50, 558, 629}, + {943, 440, 151}, + {660, 1716, 558}, + {660, 1708, 558}, + {594, 558, 256}, + {39, 558, 208}, + {558, 558, 1349}, + {943, 927, 26}, + {628, 1335, 558}, + {628, 657, 1698}, + {943, 616, 460}, + {895, 558, 1233}, + {895, 558, 76}, + {895, 1658, 558}, + {895, 558, 786}, + {895, 558, 1664}, + {895, 558, 1612}, + {895, 558, 784}, + {895, 244, 558}, + {895, 1623, 558}, + {895, 558, 764}, + {895, 1311, 558}, + {895, 324, 558}, + {895, 857, 558}, + {895, 558, 1337}, + {895, 1355, 558}, + {895, 787, 558}, + {895, 558, 575}, + {895, 558, 1381}, + {895, 822, 558}, + {895, 131, 558}, + {895, 558, 1086}, + {895, 558, 1074}, + {895, 558, 1246}, + {895, 0, 558}, + {895, 558, 594}, + {895, 558, 1052}, + {895, 558, 1589}, + {895, 558, 446}, + {895, 309, 558}, + {895, 53, 558}, + {895, 1292, 558}, + {895, 558, 1155}, + {895, 558, 1569}, + {895, 558, 301}, + {895, 558, 950}, + {895, 558, 1710}, + {895, 1419, 558}, + {681, 558, 716}, + {283, 72, 1503}, + {143, 693, 558}, + {143, 1285, 558}, + {1031, 558, 604}, + {943, 1455, 1505}, + {1566, 1240, 558}, + {1566, 657, 863}, + {710, 1507, 864}, + {1133, 996, 558}, + {1704, 856, 919}, + {1704, 835, 558}, + {581, 838, 558}, + {397, 11, 1563}, + {1557, 134, 558}, + {283, 892, 208}, + {862, 1130, 558}, + {943, 657, 315}, + {943, 133, 558}, + {943, 161, 558}, + {418, 558, 332}, + {943, 740, 276}, + {1466, 558, 1000}, + {1257, 753, 558}, + {1257, 711, 558}, + {1257, 558, 569}, + {24, 440, 558}, + {64, 1025, 558}, + {58, 558, 1107}, + {943, 795, 360}, + {739, 679, 1554}, + {739, 558, 479}, + {943, 868, 1631}, + {0, 558, 272}, + {298, 657, 1349}, + {298, 657, 1349}, + {298, 657, 1349}, + {298, 657, 1349}, + {659, 558, 195}, + {659, 195, 558}, + {659, 195, 558}, + {659, 195, 558}, + {659, 558, 195}, + {659, 195, 558}, + {1698, 54, 146}, + {1698, 1150, 929}, + {1698, 1618, 1287}, + {1698, 1188, 1654}, + {1698, 1405, 1344}, + {1698, 166, 831}, + {1698, 326, 1336}, + {1698, 1592, 1001}, + {1468, 1282, 694}, + {943, 707, 642}, + {780, 1722, 558}, + {379, 558, 1704}, + {1125, 1512, 558}, + {1125, 558, 382}, + {1125, 1173, 558}, + {1125, 1543, 558}, + {1125, 76, 558}, + {1125, 245, 558}, + {1125, 786, 558}, + {1125, 1664, 558}, + {1125, 682, 558}, + {1125, 1482, 558}, + {1125, 552, 558}, + {1125, 1487, 558}, + {1125, 764, 558}, + {1125, 1057, 558}, + {1125, 58, 558}, + {1125, 1520, 558}, + {1125, 1381, 558}, + {1125, 257, 558}, + {1125, 1324, 558}, + {1125, 179, 558}, + {1125, 558, 131}, + {1125, 4, 558}, + {1125, 1396, 558}, + {1125, 167, 558}, + {1125, 354, 558}, + {1125, 1086, 558}, + {1125, 1074, 558}, + {1125, 558, 273}, + {1125, 594, 558}, + {1125, 677, 558}, + {1125, 447, 558}, + {1125, 1052, 558}, + {1125, 558, 791}, + {1125, 750, 558}, + {1125, 932, 558}, + {1125, 1589, 558}, + {1125, 309, 558}, + {1125, 1430, 558}, + {1125, 1292, 558}, + {1125, 1114, 558}, + {1125, 1226, 558}, + {1125, 1006, 558}, + {1125, 1164, 558}, + {1125, 950, 558}, + {1125, 281, 558}, + {1125, 1665, 558}, + {1125, 607, 558}, + {1125, 1419, 558}, + {1125, 1050, 558}, + {1255, 59, 558}, + {781, 1546, 558}, + {781, 558, 1457}, + {897, 558, 1369}, + {46, 1508, 558}, + {530, 558, 1559}, + {530, 558, 1632}, + {434, 558, 510}, + {1247, 414, 558}, + {630, 152, 558}, + {701, 558, 1572}, + {701, 558, 193}, + {335, 1352, 558}, + {1696, 558, 1156}, + {1696, 1156, 558}, + {1696, 1156, 558}, + {1696, 558, 1156}, + {1696, 1156, 558}, + {229, 407, 558}, + {192, 506, 558}, + {517, 925, 558}, + {934, 139, 558}, + {943, 1064, 1711}, + {1545, 657, 1443}, + {754, 648, 1181}, + {754, 1595, 558}, + {48, 292, 52}, + {710, 590, 1178}, + {1128, 558, 775}, + {48, 1670, 407}, + {713, 617, 558}, + {713, 676, 558}, + {943, 751, 1192}, + {489, 657, 1639}, + {489, 558, 1153}, + {489, 659, 558}, + {1018, 558, 100}, + {1220, 1469, 558}, + {231, 558, 778}, + {1430, 558, 368}, + {877, 911, 558}, + {877, 911, 558}, + {300, 558, 847}, + {133, 558, 602}, + {133, 657, 1263}, + {709, 1201, 558}, + {1216, 987, 558}, + {318, 558, 1293}, + {1393, 558, 1075}, + {1704, 558, 1007}, + {236, 176, 558}, + {741, 1551, 652}, + {741, 205, 1206}, + {741, 948, 27}, + {741, 49, 1301}, + {741, 502, 1496}, + {741, 584, 141}, + {741, 1670, 1722}, + {741, 292, 209}, + {943, 515, 1411}, + {665, 616, 558}, + {203, 558, 315}, + {203, 558, 1651}, + {203, 558, 483}, + {203, 558, 1160}, + {1228, 550, 558}, + {203, 558, 1539}, + {203, 558, 13}, + {360, 1230, 558}, + {204, 1118, 558}, + {1289, 632, 1058}, + {197, 558, 198}, + {197, 558, 198}, + {888, 558, 1092}, + {879, 1675, 74}, + {879, 1609, 1378}, + {270, 1692, 1082}, + {407, 1668, 558}, + {487, 558, 824}, + {1068, 1432, 583}, + {1068, 96, 1621}, + {182, 1619, 558}, + {943, 126, 1486}, + {788, 152, 558}, + {974, 558, 1492}, + {1357, 378, 558}, + {1161, 732, 558}, + {1302, 558, 1621}, + {646, 558, 182}, + {607, 558, 347}, + {710, 1267, 1298}, + {1613, 558, 42}, + {1613, 657, 643}, + {901, 558, 1682}, + {901, 558, 1362}, + {943, 940, 378}, + {248, 558, 187}, + {248, 558, 1718}, + {1623, 558, 837}, + {747, 1163, 657}, + {358, 558, 1715}, + {438, 1437, 208}, + {438, 72, 1630}, + {438, 121, 1458}, + {438, 1647, 1299}, + {438, 413, 488}, + {438, 976, 1282}, + {438, 1242, 481}, + {438, 723, 684}, + {854, 975, 558}, + {1345, 558, 1500}, + {943, 635, 289}, + {1404, 558, 133}, + {1193, 558, 1242}, + {833, 558, 1416}, + {1276, 930, 558}, + {1276, 930, 558}, + {1400, 558, 83}, + {1509, 611, 558}, + {684, 558, 1507}, + {839, 43, 657}, + {943, 484, 536}, + {43, 6, 558}, + {1235, 1539, 1206}, + {1235, 13, 652}, + {1235, 483, 1301}, + {1235, 1160, 27}, + {1235, 315, 141}, + {1235, 1651, 1496}, + {1235, 52, 209}, + {1235, 407, 1722}, + {1440, 605, 779}, + {1201, 558, 700}, + {943, 1062, 381}, + {710, 1129, 558}, + {1642, 558, 1352}, + {1041, 211, 657}, + {1041, 657, 211}, + {1041, 657, 211}, + {1041, 657, 211}, + {1041, 211, 657}, + {178, 1254, 558}, + {178, 1195, 558}, + {178, 657, 1191}, + {389, 300, 558}, + {1541, 558, 491}, + {1541, 437, 657}, + {943, 558, 431}, + {1639, 657, 195}, + {475, 1237, 657}, + {353, 558, 1072}, + {353, 558, 1072}, + {1008, 1189, 558}, + {1008, 558, 1511}, + {410, 344, 814}, + {410, 557, 558}, + {308, 558, 375}, + {308, 558, 65}, + {943, 706, 678}, + {561, 558, 533}, + {410, 558, 474}, + {1423, 558, 1608}, + {1423, 869, 657}, + {710, 168, 836}, + {1297, 1392, 558}, + {943, 1699, 1024}, + {364, 558, 1232}, + {710, 468, 18}, + {59, 404, 296}, + {389, 1649, 558}, + {1487, 558, 1464}, + {59, 1632, 277}, + {18, 558, 378}, + {1570, 1480, 379}, + {943, 833, 657}, + {440, 1681, 905}, + {943, 213, 576}, + {943, 862, 537}, + {710, 789, 158}, + {1166, 1685, 558}, + {1166, 1568, 558}, + {1660, 558, 855}, + {1660, 1100, 657}, + {1134, 558, 1712}, + {1050, 1006, 558}, + {779, 656, 1594}, + {297, 558, 1032}, + {556, 558, 1344}, + {1689, 558, 1196}, + {1315, 558, 826}, + {1265, 1202, 558}, + {1265, 1334, 558}, + {943, 733, 615}, + {1639, 657, 195}, + {158, 63, 558}, + {1373, 558, 1703}, + {1373, 558, 395}, + {1153, 558, 1639}, + {1153, 659, 657}, + {314, 761, 558}, + {781, 558, 1550}, + {943, 967, 1269}, + {1459, 558, 1390}, + {1459, 558, 174}, + {1396, 558, 11}, + {943, 199, 327}, + {943, 252, 338}, + {710, 187, 1579}, + {710, 627, 566}, + {1247, 1186, 558}, + {943, 306, 581}, + {1157, 1564, 558}, + {562, 558, 1374}, + {1266, 1453, 558}, + {1639, 195, 657}, + {1473, 744, 558}, + {893, 558, 314}, + {1473, 558, 1573}, + {625, 662, 558}, + {625, 657, 1186}, + {646, 558, 1172}, + {1284, 558, 464}, + {1284, 558, 464}, + {1284, 558, 464}, + {1122, 558, 505}, + {1122, 558, 433}, + {609, 558, 1213}, + {97, 1325, 657}, + {604, 558, 385}, + {1145, 522, 558}, + {737, 558, 5}, + {1512, 558, 1717}, + {943, 554, 17}, + {940, 558, 1615}, + {359, 399, 558}, + {359, 399, 558}, + {359, 558, 399}, + {359, 399, 558}, + {359, 558, 399}, + {359, 399, 558}, + {359, 399, 558}, + {790, 191, 558}, + {1204, 1107, 558}, + {1591, 558, 1638}, + {821, 768, 836}, + {206, 558, 465}, + {528, 558, 368}, + {1167, 316, 558}, + {1167, 558, 143}, + {217, 696, 558}, + {234, 210, 558}, + {234, 172, 558}, + {234, 1633, 657}, + {419, 1618, 558}, + {710, 43, 558}, + {710, 558, 1247}, + {710, 1247, 558}, + {162, 558, 947}, + {991, 558, 243}, + {859, 1535, 493}, + {859, 235, 833}, + {1576, 60, 558}, + {1576, 84, 558}, + {1576, 271, 558}, + {1576, 370, 558}, + {1576, 1612, 558}, + {1576, 784, 558}, + {1576, 204, 558}, + {1576, 804, 558}, + {1576, 1311, 558}, + {1576, 1428, 558}, + {1576, 492, 558}, + {1576, 1204, 558}, + {1576, 1259, 558}, + {1576, 342, 558}, + {1576, 857, 558}, + {1576, 712, 558}, + {1576, 776, 558}, + {1576, 1168, 558}, + {1576, 1721, 558}, + {1576, 487, 558}, + {1576, 579, 558}, + {1576, 1239, 558}, + {1576, 285, 558}, + {1576, 1524, 558}, + {1576, 0, 558}, + {1576, 1478, 558}, + {1576, 1210, 558}, + {1576, 461, 558}, + {1576, 660, 558}, + {1576, 1557, 558}, + {1576, 259, 558}, + {1576, 352, 558}, + {1576, 446, 558}, + {1576, 528, 558}, + {1576, 904, 558}, + {1576, 1569, 558}, + {1576, 1710, 558}, + {1576, 219, 558}, + {1576, 1385, 558}, + {710, 1147, 391}, + {859, 1432, 991}, + {859, 96, 1302}, + {859, 1473, 704}, + {859, 1678, 1503}, + {859, 1645, 892}, + {558, 806, 558}, + {943, 589, 578}, + {682, 1586, 558}, + {943, 768, 994}, + {1316, 1386, 426}, + {1316, 914, 558}, + {943, 657, 413}, + {943, 1229, 780}, + {1441, 41, 558}, + {1535, 1318, 1695}, + {1535, 558, 1398}, + {1316, 558, 20}, + {853, 558, 387}, + {519, 670, 558}, + {519, 558, 670}, + {283, 723, 1302}, + {283, 976, 991}, + {283, 493, 1647}, + {698, 558, 1481}, + {846, 1371, 558}, + {1201, 333, 558}, + {21, 228, 558}, + {21, 657, 48}, + {943, 1530, 1110}, + {1123, 765, 558}, + {1607, 661, 558}, + {1652, 1178, 558}, + {943, 1121, 1225}, + {1247, 549, 558}, + {655, 783, 558}, + {540, 227, 558}, + {602, 1263, 558}, + {710, 1661, 464}, + {611, 255, 558}, + {611, 741, 657}, + {248, 917, 558}, + {954, 558, 513}, + {1026, 558, 322}, + {1026, 171, 657}, + {1051, 455, 1082}, + {1200, 626, 1249}, + {943, 456, 191}, + {822, 558, 1455}, + {404, 918, 558}, + {404, 142, 558}, + {943, 558, 1331}, + {943, 558, 1698}, + {842, 558, 1479}, + {842, 657, 66}, + {713, 657, 1140}, + {1409, 1231, 558}, + {1228, 11, 558}, + {166, 1135, 558}, + {1522, 1695, 558}, + {1522, 558, 1398}, + {943, 364, 86}, + {70, 1117, 558}, + {1211, 10, 558}, + {637, 558, 1308}, + {1608, 349, 657}, + {1599, 807, 431}, + {1335, 558, 1698}, + {1665, 252, 558}, + {1247, 558, 1263}, + {1314, 1308, 1489}, + {1314, 637, 558}, + {596, 558, 819}, + {565, 558, 658}, + {1068, 1678, 1383}, + {1068, 235, 351}, + {1068, 1535, 423}, + {1605, 1294, 558}, + {927, 1112, 558}, + {958, 1449, 558}, + {943, 871, 777}, + {919, 1229, 835}, + {919, 1486, 1538}, + {919, 558, 200}, + {1211, 1655, 558}, + {1077, 558, 809}, + {1077, 558, 1410}, + {710, 705, 1668}, + {273, 1211, 558}, + {1492, 558, 1445}, + {1492, 558, 1457}, + {266, 558, 525}, + {1357, 558, 188}, + {710, 246, 123}, + {1415, 7, 657}, + {217, 558, 413}, + {440, 558, 813}, + {335, 558, 1280}, + {1234, 1549, 558}, + {302, 851, 558}, + {710, 1650, 94}, + {943, 1602, 506}, + {770, 558, 853}, + {249, 163, 558}, + {249, 1704, 558}, + {1, 890, 558}, + {1329, 558, 1601}, + {1329, 558, 382}, + {1329, 558, 1173}, + {1329, 558, 1233}, + {1329, 558, 1543}, + {1329, 558, 76}, + {1329, 558, 1540}, + {1329, 245, 558}, + {1329, 558, 786}, + {1329, 558, 1482}, + {1329, 558, 370}, + {1329, 558, 552}, + {1329, 558, 784}, + {1329, 558, 1623}, + {1329, 558, 403}, + {1329, 1311, 558}, + {1329, 558, 1355}, + {1329, 558, 257}, + {1329, 558, 179}, + {1329, 558, 1086}, + {1329, 558, 487}, + {1329, 558, 145}, + {1329, 558, 1478}, + {1329, 1557, 558}, + {1329, 558, 517}, + {1329, 558, 352}, + {1329, 558, 750}, + {1329, 558, 932}, + {1329, 558, 309}, + {1329, 558, 1569}, + {1329, 558, 301}, + {199, 558, 941}, + {256, 25, 558}, + {943, 633, 1059}, + {943, 1575, 40}, + {61, 1554, 558}, + {61, 558, 479}, + {85, 485, 558}, + {479, 679, 558}, + {873, 1088, 558}, + {259, 558, 134}, + {823, 444, 558}, + {840, 1433, 558}, + {1315, 657, 381}, + {83, 949, 523}, + {83, 558, 1406}, + {1220, 570, 558}, + {943, 799, 264}, + {943, 1693, 264}, + {992, 46, 558}, + {301, 558, 252}, + {745, 558, 241}, + {771, 558, 1446}, + {771, 430, 465}, + {1184, 474, 766}, + {1184, 558, 410}, + {1077, 1671, 558}, + {1077, 558, 1460}, + {838, 811, 558}, + {1112, 558, 26}, + {113, 558, 209}, + {710, 187, 759}, + {1108, 1687, 558}, + {943, 558, 1035}, + {541, 558, 1328}, + {129, 872, 1150}, + {1283, 587, 558}, + {129, 401, 54}, + {902, 558, 1109}, + {902, 558, 1109}, + {902, 558, 1289}, + {830, 1047, 558}, + {830, 534, 657}, + {1643, 558, 766}, + {1643, 1704, 558}, + {1643, 558, 410}, + {1077, 558, 1587}, + {1077, 558, 540}, + {1044, 1408, 1000}, + {943, 1379, 215}, + {986, 1279, 345}, + {247, 1722, 1108}, + {247, 991, 209}, + {247, 1473, 1496}, + {247, 141, 1302}, + {247, 27, 892}, + {247, 1301, 1503}, + {247, 833, 652}, + {247, 493, 1206}, + {943, 1128, 869}, + {1674, 772, 558}, + {909, 446, 558}, + {909, 528, 558}, + {909, 0, 558}, + {909, 1210, 558}, + {909, 1385, 558}, + {909, 370, 558}, + {909, 784, 558}, + {909, 776, 558}, + {909, 1168, 558}, + {943, 104, 1221}, + {943, 558, 1186}, + {943, 1263, 558}, + {943, 558, 325}, + {943, 558, 801}, + {710, 47, 420}, + {937, 558, 1706}, + {937, 558, 1704}, + {937, 558, 1345}, + {1132, 717, 558}, + {710, 666, 1380}, + {1382, 334, 558}, + {617, 676, 657}, + {710, 1474, 527}, + {630, 1705, 558}, + {1518, 898, 558}, + {996, 1710, 558}, + {996, 558, 1601}, + {996, 558, 382}, + {996, 558, 1173}, + {996, 1233, 558}, + {996, 1658, 558}, + {996, 1664, 558}, + {996, 1482, 558}, + {996, 665, 558}, + {996, 558, 286}, + {996, 558, 271}, + {996, 558, 370}, + {996, 552, 558}, + {996, 1612, 558}, + {996, 1487, 558}, + {996, 784, 558}, + {996, 764, 558}, + {996, 558, 1582}, + {996, 558, 1031}, + {996, 558, 804}, + {996, 1311, 558}, + {996, 1520, 558}, + {996, 857, 558}, + {996, 712, 558}, + {996, 1337, 558}, + {996, 558, 1381}, + {996, 558, 776}, + {996, 558, 157}, + {996, 257, 558}, + {996, 131, 558}, + {996, 4, 558}, + {996, 303, 558}, + {996, 1721, 558}, + {996, 558, 1086}, + {996, 558, 487}, + {996, 558, 579}, + {996, 1239, 558}, + {996, 0, 558}, + {996, 1478, 558}, + {996, 594, 558}, + {996, 660, 558}, + {996, 558, 1557}, + {996, 558, 259}, + {996, 558, 1052}, + {996, 791, 558}, + {996, 352, 558}, + {996, 750, 558}, + {996, 932, 558}, + {996, 1589, 558}, + {996, 558, 446}, + {996, 558, 528}, + {996, 558, 309}, + {996, 1430, 558}, + {996, 1292, 558}, + {996, 1646, 558}, + {996, 1114, 558}, + {996, 1476, 558}, + {996, 558, 1226}, + {996, 558, 1569}, + {996, 558, 950}, + {996, 1050, 558}, + {996, 1419, 558}, + {996, 1164, 558}, + {312, 995, 558}, + {312, 854, 742}, + {988, 1425, 558}, + {710, 1291, 1382}, + {717, 558, 926}, + {717, 558, 1087}, + {1034, 558, 1545}, + {1034, 994, 657}, + {1690, 558, 1410}, + {1302, 558, 744}, + {40, 1558, 558}, + {40, 558, 12}, + {1282, 558, 1016}, + {393, 551, 558}, + {943, 596, 1085}, + {943, 1175, 685}, + {1291, 1312, 558}, + {592, 1013, 532}, + {592, 558, 1217}, + {1021, 1510, 558}, + {809, 365, 558}, + {90, 558, 77}, + {852, 1454, 558}, + {852, 260, 558}, + {324, 1107, 1555}, + {769, 558, 1325}, + {769, 657, 1072}, + {900, 558, 1643}, + {147, 1393, 1393}, + {147, 1393, 558}, + {147, 1393, 558}, + {147, 558, 1393}, + {147, 558, 1393}, + {147, 558, 1393}, + {147, 558, 1393}, + {147, 558, 1393}, + {147, 558, 1393}, + {1473, 1376, 558}, + {365, 558, 125}, + {537, 363, 558}, + {993, 731, 558}, + {753, 263, 1203}, + {753, 558, 1629}, + {926, 827, 558}, + {943, 632, 339}, + {1364, 558, 108}, + {1364, 657, 1666}, + {425, 558, 953}, + {1467, 943, 558}, + {1467, 943, 558}, + {1467, 943, 558}, + {1467, 558, 943}, + {56, 558, 720}, + {260, 558, 1494}, + {735, 1009, 558}, + {1242, 935, 558}, + {5, 558, 146}, + {1462, 438, 558}, + {1115, 1544, 558}, + {1394, 558, 1658}, + {1394, 558, 985}, + {1394, 558, 1664}, + {1394, 558, 682}, + {1394, 558, 665}, + {1394, 558, 286}, + {1394, 558, 271}, + {1394, 558, 1612}, + {1394, 558, 1487}, + {1394, 558, 244}, + {1394, 558, 1520}, + {1394, 558, 324}, + {1394, 558, 712}, + {1394, 558, 787}, + {1394, 558, 575}, + {1394, 558, 1466}, + {1394, 558, 776}, + {1394, 558, 822}, + {1394, 558, 131}, + {1394, 558, 1420}, + {1394, 558, 4}, + {1394, 558, 167}, + {1394, 558, 303}, + {1394, 558, 1504}, + {1394, 558, 579}, + {1394, 558, 0}, + {1394, 558, 259}, + {1394, 558, 528}, + {1394, 558, 1430}, + {1394, 558, 1646}, + {1394, 558, 1155}, + {1394, 558, 1476}, + {1394, 558, 1226}, + {1394, 558, 1164}, + {1438, 1497, 558}, + {1254, 887, 558}, + {1254, 558, 887}, + {1254, 558, 887}, + {1254, 558, 887}, + {540, 302, 558}, + {540, 558, 365}, + {540, 1294, 558}, + {236, 558, 506}, + {1580, 1656, 558}, + {1580, 1159, 558}, + {1573, 845, 1550}, + {430, 959, 558}, + {1263, 578, 166}, + {1263, 1724, 1336}, + {1256, 558, 574}, + {1263, 1694, 1287}, + {1263, 242, 1188}, + {1263, 436, 1405}, + {224, 558, 520}, + {224, 657, 37}, + {1719, 558, 831}, + {1144, 558, 570}, + {1329, 1394, 558}, + {248, 558, 879}, + {1599, 558, 538}, + {1296, 657, 399}, + {103, 558, 1599}, + {943, 1391, 1577}, + {531, 558, 1255}, + {531, 657, 59}, + {63, 657, 298}, + {943, 668, 999}, + {821, 1298, 907}, + {943, 1106, 1404}, + {498, 558, 240}, + {498, 558, 240}, + {498, 558, 240}, + {1612, 558, 1464}, + {712, 558, 1649}, + {801, 767, 1150}, + {1432, 841, 189}, + {1432, 558, 155}, + {662, 1186, 558}, + {469, 558, 33}, + {1232, 86, 558}, + {1232, 558, 1676}, + {1232, 634, 657}, + {1434, 558, 1709}, + {752, 558, 1389}, + {681, 558, 216}, + {130, 639, 558}, + {275, 104, 558}, + {1019, 1515, 851}, + {1019, 231, 558}, + {731, 1458, 558}, + {248, 558, 1120}, + {248, 1039, 2}, + {342, 558, 300}, + {1398, 117, 558}, + {1398, 558, 1241}, + {617, 558, 1140}, + {1527, 1295, 558}, + {125, 1515, 558}, + {1625, 558, 90}, + {1476, 1379, 558}, + {1697, 275, 558}, + {1168, 558, 595}, + {143, 623, 558}, + {782, 1347, 558}, + {366, 934, 558}, + {898, 622, 72}, + {898, 900, 208}, + {898, 1611, 1647}, + {898, 377, 1458}, + {898, 1022, 976}, + {898, 1139, 488}, + {898, 1359, 723}, + {898, 655, 481}, + {140, 483, 166}, + {1468, 618, 121}, + {483, 558, 254}, + {336, 558, 1038}, + {1542, 515, 1158}, + {1542, 558, 1253}, + {1247, 984, 558}, + {576, 558, 870}, + {576, 558, 870}, + {576, 558, 870}, + {1253, 558, 515}, + {934, 558, 160}, + {837, 1689, 558}, + {590, 558, 910}, + {1700, 332, 54}, + {493, 558, 423}, + {943, 974, 774}, + {943, 934, 968}, + {943, 1196, 415}, + {943, 680, 1688}, + {1528, 106, 558}, + {303, 558, 669}, + {437, 121, 235}, + {437, 1299, 1535}, + {1608, 349, 657}, + {437, 1282, 1432}, + {437, 1437, 1645}, + {437, 1678, 1630}, + {943, 1126, 1465}, + {437, 684, 96}, + {943, 19, 899}, + {725, 558, 1179}, + {930, 1286, 558}, + {1005, 558, 718}, + {558, 1591, 558}, + {943, 1618, 978}, + {945, 558, 111}, + {943, 304, 1123}, + {650, 896, 558}, + {1002, 1211, 558}, + {1416, 1470, 299}, + {952, 152, 558}, + {862, 558, 272}, + {258, 1717, 1351}, + {1263, 1709, 1150}, + {669, 1228, 558}, + {558, 1393, 558}, + {943, 1374, 1252}, + {1627, 1483, 558}, + {1627, 558, 1084}, + {936, 1707, 558}, + {936, 388, 558}, + {943, 727, 1344}, + {502, 558, 1265}, + {1640, 558, 1251}, + {865, 558, 420}, + {1032, 645, 558}, + {1384, 60, 558}, + {1384, 1512, 558}, + {1384, 382, 558}, + {1384, 1173, 558}, + {1384, 84, 558}, + {1384, 1543, 558}, + {1384, 76, 558}, + {1384, 245, 558}, + {1384, 786, 558}, + {1384, 1664, 558}, + {1384, 682, 558}, + {1384, 1482, 558}, + {1384, 271, 558}, + {1384, 370, 558}, + {1384, 552, 558}, + {1384, 1612, 558}, + {1384, 1487, 558}, + {1384, 784, 558}, + {1384, 1582, 558}, + {1384, 804, 558}, + {1384, 1311, 558}, + {1384, 1428, 558}, + {1384, 492, 558}, + {1384, 1204, 558}, + {1384, 1520, 558}, + {1384, 1259, 558}, + {1384, 342, 558}, + {1384, 857, 558}, + {1384, 712, 558}, + {1384, 776, 558}, + {1384, 157, 558}, + {1384, 257, 558}, + {1384, 1324, 558}, + {1384, 179, 558}, + {1384, 131, 558}, + {1384, 4, 558}, + {1384, 1396, 558}, + {1384, 167, 558}, + {1384, 1168, 558}, + {1384, 1721, 558}, + {1384, 1086, 558}, + {1384, 1074, 558}, + {1384, 487, 558}, + {1384, 579, 558}, + {1384, 1239, 558}, + {1384, 1524, 558}, + {1384, 0, 558}, + {1384, 1478, 558}, + {1384, 1210, 558}, + {1384, 461, 558}, + {1384, 660, 558}, + {1384, 1557, 558}, + {1384, 259, 558}, + {1384, 791, 558}, + {1384, 352, 558}, + {1384, 750, 558}, + {1384, 932, 558}, + {1384, 446, 558}, + {1384, 528, 558}, + {1384, 1430, 558}, + {1384, 1292, 558}, + {1384, 1114, 558}, + {1384, 1226, 558}, + {1384, 1569, 558}, + {1384, 1665, 558}, + {1384, 1050, 558}, + {1384, 1419, 558}, + {1384, 1385, 558}, + {1384, 1164, 558}, + {1384, 1006, 558}, + {943, 1712, 45}, + {1561, 558, 871}, + {1210, 726, 558}, + {1210, 558, 256}, + {1463, 558, 1076}, + {1463, 657, 147}, + {183, 558, 1711}, + {257, 558, 1455}, + {943, 64, 564}, + {943, 659, 429}, + {1213, 1209, 558}, + {228, 558, 48}, + {1224, 558, 186}, + {495, 558, 1414}, + {1277, 558, 1441}, + {1277, 657, 41}, + {248, 558, 781}, + {248, 558, 781}, + {134, 930, 558}, + {134, 467, 558}, + {943, 449, 67}, + {811, 1080, 558}, + {811, 1205, 100}, + {943, 991, 657}, + {809, 558, 1641}, + {609, 1192, 1547}, + {609, 1209, 1264}, + {1412, 558, 384}, + {1349, 62, 558}, + {710, 1338, 720}, + {1464, 558, 1109}, + {710, 227, 703}, + {943, 166, 657}, + {943, 548, 181}, + {710, 1095, 1306}, + {710, 558, 43}, + {710, 558, 839}, + {1049, 558, 507}, + {338, 558, 954}, + {549, 1001, 1522}, + {615, 981, 558}, + {598, 1260, 558}, + {310, 558, 328}, + {1539, 494, 558}, + {943, 13, 657}, + {943, 657, 1299}, + {180, 501, 558}, + {1102, 976, 558}, + {1048, 239, 192}, + {184, 558, 1531}, + {943, 1199, 1485}, + {943, 824, 56}, + {943, 886, 558}, + {639, 524, 1307}, + {639, 577, 28}, + {639, 738, 364}, + {639, 463, 1513}, + {1630, 1094, 558}, + {264, 558, 1712}, + {461, 261, 558}, + {461, 726, 558}, + {879, 380, 1077}, + {1713, 238, 558}, + {1628, 623, 1354}, + {907, 558, 713}, + {414, 1022, 1282}, + {414, 413, 1139}, + {414, 1359, 684}, + {414, 1242, 655}, + {414, 622, 1630}, + {414, 1437, 900}, + {414, 121, 377}, + {248, 558, 1185}, + {1108, 558, 744}, + {1271, 140, 558}, + {159, 558, 312}, + {129, 1637, 1287}, + {499, 558, 1659}, + {499, 558, 743}, + {950, 252, 558}, + {1029, 558, 618}, + {943, 1341, 695}, + {475, 1237, 657}, + {874, 1435, 1001}, + {642, 1340, 558}, + {642, 1340, 558}, + {642, 1340, 558}, + {642, 1340, 558}, + {1002, 152, 558}, + {572, 558, 1407}, + {943, 1078, 334}, + {1479, 451, 657}, + {1479, 451, 657}, + {1479, 451, 657}, + {1479, 657, 451}, + {1479, 451, 657}, + {1648, 558, 1521}, + {323, 14, 558}, + {355, 558, 593}, + {355, 657, 1700}, + {392, 814, 558}, + {392, 557, 558}, + {794, 82, 558}, + {794, 82, 558}, + {794, 558, 82}, + {794, 558, 82}, + {794, 82, 558}, + {794, 82, 558}, + {794, 82, 558}, + {943, 1155, 1436}, + {943, 696, 610}, + {1146, 811, 558}, + {248, 1440, 558}, + {841, 558, 936}, + {63, 1501, 558}, + {63, 23, 558}, + {1247, 801, 558}, + {43, 1230, 558}, + {122, 570, 558}, + {649, 1313, 558}, + {649, 640, 558}, + {1332, 452, 558}, + {1332, 1691, 558}, + {934, 1196, 558}, + {943, 558, 1585}, + {1270, 558, 1518}, + {1270, 898, 657}, + {1188, 432, 558}, + {1188, 432, 558}, + {906, 558, 714}, + {906, 558, 214}, + {1017, 558, 578}, + {1338, 462, 558}, + {1382, 1350, 558}, + {7, 657, 1591}, + {7, 657, 1591}, + {7, 657, 1591}, + {680, 558, 1526}, + {943, 629, 760}, + {967, 558, 1427}, + {1001, 852, 558}, + {1001, 852, 558}, + {138, 211, 558}, + {138, 211, 558}, + {138, 211, 558}, + {138, 211, 558}, + {943, 1649, 1027}, + {926, 558, 187}, + {638, 1118, 604}, + {1358, 396, 558}, + {634, 657, 435}, + {634, 657, 435}, + {634, 657, 435}, + {634, 657, 435}, + {634, 435, 657}, + {1542, 1099, 1568}, + {1253, 1184, 1498}, + {1253, 903, 558}, + {827, 558, 1471}, + {386, 392, 558}, + {386, 1704, 558}, + {943, 700, 1565}, + {329, 1166, 558}, + {329, 1704, 558}, + {492, 1107, 558}, + {1072, 1005, 558}, + {1072, 558, 1005}, + {1072, 1005, 558}, + {1072, 558, 1005}, + {1072, 1005, 558}, + {1072, 558, 1005}, + {1072, 1005, 558}, + {1072, 558, 1005}, + {1571, 486, 547}, + {1571, 817, 558}, + {826, 230, 657}, + {218, 558, 1716}, + {943, 1594, 688}, + {1395, 558, 67}, + {1395, 67, 558}, + {215, 941, 1111}, + {59, 155, 250}, + {1504, 558, 669}, + {6, 558, 282}, + {6, 874, 657}, + {145, 1280, 1037}, + {43, 35, 558}, + {991, 558, 583}, + {448, 730, 558}, + {678, 558, 1567}, + {943, 361, 1319}, + {943, 758, 93}, + {951, 1152, 558}, + {951, 642, 657}, + {943, 1287, 657}, + {943, 1190, 752}, + {943, 892, 657}, + {1258, 1130, 558}, + {1619, 558, 586}, + {923, 356, 558}, + {923, 1334, 558}, + {923, 810, 558} };