diff --git a/p20/p20.org b/p20/p20.org index 63dac30..968c2d3 100644 --- a/p20/p20.org +++ b/p20/p20.org @@ -46,19 +46,18 @@ Define some aux functions "Returns the neighbour to P in the direction DIR" (list (+ (car p) (car dir)) (+ (cadr p) (cadr dir)))) -#+end_src -This is the naïve implementation. Explore the maze; -this function returns a list of paths and the -associated scores; it blows the stack on the actual input + (defun taxicab-distance (p q) + "Returns the taxicab distance from P to Q" + (+ (abs (- (car p) (car q))) + (abs (- (cadr p) (cadr q))))) +#+end_src -First, we explore the maze and record the path before reaching the -exit -#+begin_src emacs-lisp +First, we explore the maze and record the path from START to END +#+begin_src emacs-lisp :results none (defun explore (p dir &optional past) "Explore the maze starting at position P and in the direction - DIR. Returns an alist of (pos . distance) where distance is the number - of steps taken to reach the position" + DIR. Returns a list of positions traversed END to START" (if (eq (thing-at p) 'end) (cons p past) (let* ((forward-dirs (--filter (>= (dot it dir) 0) '((0 1) (0 -1) (-1 0) (1 0)))) @@ -69,9 +68,6 @@ exit (explore (starting-pos) '(0 0)))) #+end_src -#+RESULTS: -: (((103 89) . 0) ((104 89) . 1) ((105 89) . 2) ((106 89) . 3) ((107 89) . 4) ((107 90) . 5) ((107 91) . 6) ((108 91) . 7) ((109 91) . 8) ((110 91) . 9) ((111 91) . 10) ((112 91) . 11) ((113 91) . 12) ((113 90) . 13) ((113 89) . 14) ((114 89) . 15) ((115 89) . 16) ((115 90) . 17) ((115 91) . 18) ((116 91) . 19) ((117 91) . 20) ((117 90) . 21) ((117 89) . 22) ((118 89) . 23) ((119 89) . 24) ((120 89) . 25) ((121 89) . 26) ((121 90) . 27) ((121 91) . 28) ((122 91) . 29) ((123 91) . 30) ((123 90) . 31) ((123 89) . 32) ((124 89) . 33) ((125 89) . 34) ((126 89) . 35) ((127 89) . 36) ((127 90) . 37) ((127 91) . 38) ((127 92) . 39) ((127 93) . 40) ((128 93) . 41) ((129 93) . 42) ((129 92) . 43) ((129 91) . 44) ((129 90) . 45) ((129 89) . 46) ((130 89) . 47) ((131 89) . 48) ((131 90) . 49) ((131 91) . 50) ((132 91) . 51) ((133 91) . 52) ((133 90) . 53) ((133 89) . 54) ((134 89) . 55) ((135 89) . 56) ((135 90) . 57) ((135 91) . 58) ((136 91) . 59) ((137 91) . 60) ((138 91) . 61) ((139 91) . 62) ((139 90) . 63) ((139 89) . 64) ((138 89) . 65) ((137 89) . 66) ((137 88) . 67) ((137 87) . 68) ((138 87) . 69) ((139 87) . 70) ((139 86) . 71) ((139 85) . 72) ((138 85) . 73) ((137 85) . 74) ((136 85) . 75) ((135 85) . 76) ((135 86) . 77) ((135 87) . 78) ((134 87) . 79) ((133 87) . 80) ((133 86) . 81) ((133 85) . 82) ((132 85) . 83) ((131 85) . 84) ((131 86) . 85) ((131 87) . 86) ((130 87) . 87) ((129 87) . 88) ((128 87) . 89) ((127 87) . 90) ((127 86) . 91) ((127 85) . 92) ((128 85) . 93) ((129 85) . 94) ((129 84) . 95) ((129 83) . 96) ((128 83) . 97) ((127 83) . 98) ((126 83) . 99) ((125 83) . 100) ((124 83) . 101) ((123 83) . 102) ((123 84) . 103) ((123 85) . 104) ((124 85) . 105) ((125 85) . 106) ((125 86) . 107) ((125 87) . 108) ((124 87) . 109) ((123 87) . 110) ((122 87) . 111) ((121 87) . 112) ((121 86) . 113) ((121 85) . 114) ((120 85) . 115) ((119 85) . 116) ((119 86) . 117) ((119 87) . 118) ((118 87) . 119) ((117 87) . 120) ((116 87) . 121) ((115 87) . 122) ((114 87) . 123) ((113 87) . 124) ((112 87) . 125) ((111 87) . 126) ((111 88) . 127) ((111 89) . 128) ((110 89) . 129) ((109 89) . 130) ((109 88) . 131) ((109 87) . 132) ((108 87) . 133) ((107 87) . 134) ((106 87) . 135) ((105 87) . 136) ((105 86) . 137) ((105 85) . 138) ((104 85) . 139) ((103 85) . 140) ((103 84) . 141) ((103 83) . 142) ((104 83) . 143) ((105 83) . 144) ((106 83) . 145) ((107 83) . 146) ((107 84) . 147) ((107 85) . 148) ((108 85) . 149) ((109 85) . 150) ((109 84) . 151) ((109 83) . 152) ((110 83) . 153) ((111 83) . 154) ((111 82) . 155) ((111 81) . 156) ((110 81) . 157) ((109 81) . 158) ((108 81) . 159) ((107 81) . 160) ((106 81) . 161) ((105 81) . 162) ((105 80) . 163) ((105 79) . 164) ((104 79) . 165) ((103 79) . 166) ((103 78) . 167) ((103 77) . 168) ((104 77) . 169) ((105 77) . 170) ((106 77) . 171) ((107 77) . 172) ((107 78) . 173) ((107 79) . 174) ((108 79) . 175) ((109 79) . 176) ((109 78) . 177) ((109 77) . 178) ((110 77) . 179) ((111 77) . 180) ((111 78) . 181) ((111 79) . 182) ((112 79) . 183) ((113 79) . 184) ((113 80) . 185) ((113 81) . 186) ((113 82) . 187) ((113 83) . 188) ((113 84) . 189) ((113 85) . 190) ((114 85) . 191) ((115 85) . 192) ((115 84) . 193) ((115 83) . 194) ((115 82) . 195) ((115 81) . 196) ((115 80) . 197) ((115 79) . 198) ((116 79) . 199) ((117 79) . 200) ((118 79) . 201) ((119 79) . 202) ((119 80) . 203) ((119 81) . 204) ((118 81) . 205) ((117 81) . 206) ((117 82) . 207) ((117 83) . 208) ((118 83) . 209) ((119 83) . 210) ((120 83) . 211) ((121 83) . 212) ((121 82) . 213) ((121 81) . 214) ((122 81) . 215) ((123 81) . 216) ((124 81) . 217) ((125 81) . 218) ((126 81) . 219) ((127 81) . 220) ((127 80) . 221) ((127 79) . 222) ((126 79) . 223) ((125 79) . 224) ((124 79) . 225) ((123 79) . 226) ((122 79) . 227) ((121 79) . 228) ((121 78) . 229) ((121 77) . 230) ((120 77) . 231) ((119 77) . 232) ((118 77) . 233) ((117 77) . 234) ((116 77) . 235) ((115 77) . 236) ((114 77) . 237) ((113 77) . 238) ((113 76) . 239) ((113 75) . 240) ((113 74) . 241) ((113 73) . 242) ((114 73) . 243) ((115 73) . 244) ((115 74) . 245) ((115 75) . 246) ((116 75) . 247) ((117 75) . 248) ((117 74) . 249) ((117 73) . 250) ((118 73) . 251) ((119 73) . 252) ((119 74) . 253) ((119 75) . 254) ((120 75) . 255) ((121 75) . 256) ((121 74) . 257) ((121 73) . 258) ((122 73) . 259) ((123 73) . 260) ((123 74) . 261) ((123 75) . 262) ((123 76) . 263) ((123 77) . 264) ((124 77) . 265) ((125 77) . 266) ((125 76) . 267) ((125 75) . 268) ((126 75) . 269) ((127 75) . 270) ((127 76) . 271) ((127 77) . 272) ((128 77) . 273) ((129 77) . 274) ((129 78) . 275) ((129 79) . 276) ((129 80) . 277) ((129 81) . 278) ((130 81) . 279) ((131 81) . 280) ((131 82) . 281) ((131 83) . 282) ((132 83) . 283) ((133 83) . 284) ((134 83) . 285) ((135 83) . 286) ((136 83) . 287) ((137 83) . 288) ((138 83) . 289) ((139 83) . 290) ((139 82) . 291) ((139 81) . 292) ((138 81) . 293) ((137 81) . 294) ((137 80) . 295) ((137 79) . 296) ((138 79) . 297) ((139 79) . 298) ((139 78) . 299) ((139 77) . 300) ((138 77) . 301) ((137 77) . 302) ((136 77) . 303) ((135 77) . 304) ((135 78) . 305) ((135 79) . 306) ((135 80) . 307) ((135 81) . 308) ((134 81) . 309) ((133 81) . 310) ((133 80) . 311) ((133 79) . 312) ((132 79) . 313) ((131 79) . 314) ((131 78) . 315) ((131 77) . 316) ((132 77) . 317) ((133 77) . 318) ((133 76) . 319) ((133 75) . 320) ((132 75) . 321) ((131 75) . 322) ((130 75) . 323) ((129 75) . 324) ((129 74) . 325) ((129 73) . 326) ((128 73) . 327) ((127 73) . 328) ((126 73) . 329) ((125 73) . 330) ((125 72) . 331) ((125 71) . 332) ((124 71) . 333) ((123 71) . 334) ((123 70) . 335) ((123 69) . 336) ((124 69) . 337) ((125 69) . 338) ((126 69) . 339) ((127 69) . 340) ((127 70) . 341) ((127 71) . 342) ((128 71) . 343) ((129 71) . 344) ((129 70) . 345) ((129 69) . 346) ((130 69) . 347) ((131 69) . 348) ((131 70) . 349) ((131 71) . 350) ((131 72) . 351) ((131 73) . 352) ((132 73) . 353) ((133 73) . 354) ((134 73) . 355) ((135 73) . 356) ((135 72) . 357) ((135 71) . 358) ((134 71) . 359) ((133 71) . 360) ((133 70) . 361) ((133 69) . 362) ((134 69) . 363) ((135 69) . 364) ((136 69) . 365) ((137 69) . 366) ((137 70) . 367) ((137 71) . 368) ((137 72) . 369) ((137 73) . 370) ((137 74) . 371) ((137 75) . 372) ((138 75) . 373) ((139 75) . 374) ((139 74) . 375) ((139 73) . 376) ((139 72) . 377) ((139 71) . 378) ((139 70) . 379) ((139 69) . 380) ((139 68) . 381) ((139 67) . 382) ((138 67) . 383) ((137 67) . 384) ((137 66) . 385) ((137 65) . 386) ((138 65) . 387) ((139 65) . 388) ((139 64) . 389) ((139 63) . 390) ((138 63) . 391) ((137 63) . 392) ((136 63) . 393) ((135 63) . 394) ((134 63) . 395) ((133 63) . 396) ((133 64) . 397) ((133 65) . 398) ((134 65) . 399) ((135 65) . 400) ((135 66) . 401) ((135 67) . 402) ((134 67) . 403) ((133 67) . 404) ((132 67) . 405) ((131 67) . 406) ((131 66) . 407) ((131 65) . 408) ((130 65) . 409) ((129 65) . 410) ((129 66) . 411) ((129 67) . 412) ((128 67) . 413) ((127 67) . 414) ((126 67) . 415) ((125 67) . 416) ((124 67) . 417) ((123 67) . 418) ((123 66) . 419) ((123 65) . 420) ((124 65) . 421) ((125 65) . 422) ((126 65) . 423) ((127 65) . 424) ((127 64) . 425) ((127 63) . 426) ((126 63) . 427) ((125 63) . 428) ((124 63) . 429) ((123 63) . 430) ((122 63) . 431) ((121 63) . 432) ((121 64) . 433) ((121 65) . 434) ((121 66) . 435) ((121 67) . 436) ((121 68) . 437) ((121 69) . 438) ((121 70) . 439) ((121 71) . 440) ((120 71) . 441) ((119 71) . 442) ((119 70) . 443) ((119 69) . 444) ((119 68) . 445) ((119 67) . 446) ((118 67) . 447) ((117 67) . 448) ((117 68) . 449) ((117 69) . 450) ((117 70) . 451) ((117 71) . 452) ((116 71) . 453) ((115 71) . 454) ((115 70) . 455) ((115 69) . 456) ((115 68) . 457) ((115 67) . 458) ((114 67) . 459) ((113 67) . 460) ((113 68) . 461) ((113 69) . 462) ((113 70) . 463) ((113 71) . 464) ((112 71) . 465) ((111 71) . 466) ((111 72) . 467) ((111 73) . 468) ((111 74) . 469) ((111 75) . 470) ((110 75) . 471) ((109 75) . 472) ((108 75) . 473) ((107 75) . 474) ((106 75) . 475) ((105 75) . 476) ((104 75) . 477) ((103 75) . 478) ((102 75) . 479) ((101 75) . 480) ((101 76) . 481) ((101 77) . 482) ((101 78) . 483) ((101 79) . 484) ((100 79) . 485) ((99 79) . 486) ((99 80) . 487) ((99 81) . 488) ((100 81) . 489) ((101 81) . 490) ((101 82) . 491) ((101 83) . 492) ((100 83) . 493) ((99 83) . 494) ((98 83) . 495) ((97 83) . 496) ((97 82) . 497) ((97 81) . 498) ((97 80) . 499) ((97 79) . 500) ((96 79) . 501) ((95 79) . 502) ((95 80) . 503) ((95 81) . 504) ((95 82) . 505) ((95 83) . 506) ((94 83) . 507) ((93 83) . 508) ((92 83) . 509) ((91 83) . 510) ((91 82) . 511) ((91 81) . 512) ((92 81) . 513) ((93 81) . 514) ((93 80) . 515) ((93 79) . 516) ((93 78) . 517) ((93 77) . 518) ((93 76) . 519) ((93 75) . 520) ((94 75) . 521) ((95 75) . 522) ((95 76) . 523) ((95 77) . 524) ((96 77) . 525) ((97 77) . 526) ((98 77) . 527) ((99 77) . 528) ((99 76) . 529) ((99 75) . 530) ((98 75) . 531) ((97 75) . 532) ((97 74) . 533) ((97 73) . 534) ((98 73) . 535) ((99 73) . 536) ((100 73) . 537) ((101 73) . 538) ((102 73) . 539) ((103 73) . 540) ((104 73) . 541) ((105 73) . 542) ((106 73) . 543) ((107 73) . 544) ((108 73) . 545) ((109 73) . 546) ((109 72) . 547) ((109 71) . 548) ((108 71) . 549) ((107 71) . 550) ((106 71) . 551) ((105 71) . 552) ((104 71) . 553) ((103 71) . 554) ((102 71) . 555) ((101 71) . 556) ((100 71) . 557) ((99 71) . 558) ((98 71) . 559) ((97 71) . 560) ((96 71) . 561) ((95 71) . 562) ((95 72) . 563) ((95 73) . 564) ((94 73) . 565) ((93 73) . 566) ((92 73) . 567) ((91 73) . 568) ((91 74) . 569) ((91 75) . 570) ((91 76) . 571) ((91 77) . 572) ((90 77) . 573) ((89 77) . 574) ((88 77) . 575) ((87 77) . 576) ((87 76) . 577) ((87 75) . 578) ((88 75) . 579) ((89 75) . 580) ((89 74) . 581) ((89 73) . 582) ((88 73) . 583) ((87 73) . 584) ((86 73) . 585) ((85 73) . 586) ((85 74) . 587) ((85 75) . 588) ((85 76) . 589) ((85 77) . 590) ((84 77) . 591) ((83 77) . 592) ((83 76) . 593) ((83 75) . 594) ((83 74) . 595) ((83 73) . 596) ((82 73) . 597) ((81 73) . 598) ((81 72) . 599) ((81 71) . 600) ((82 71) . 601) ((83 71) . 602) ((84 71) . 603) ((85 71) . 604) ((86 71) . 605) ((87 71) . 606) ((88 71) . 607) ((89 71) . 608) ((90 71) . 609) ((91 71) . 610) ((92 71) . 611) ((93 71) . 612) ((93 70) . 613) ((93 69) . 614) ((94 69) . 615) ((95 69) . 616) ((96 69) . 617) ((97 69) . 618) ((98 69) . 619) ((99 69) . 620) ((100 69) . 621) ((101 69) . 622) ((102 69) . 623) ((103 69) . 624) ((104 69) . 625) ((105 69) . 626) ((106 69) . 627) ((107 69) . 628) ((108 69) . 629) ((109 69) . 630) ((110 69) . 631) ((111 69) . 632) ((111 68) . 633) ((111 67) . 634) ((110 67) . 635) ((109 67) . 636) ((108 67) . 637) ((107 67) . 638) ((106 67) . 639) ((105 67) . 640) ((105 66) . 641) ((105 65) . 642) ((104 65) . 643) ((103 65) . 644) ((103 66) . 645) ((103 67) . 646) ((102 67) . 647) ((101 67) . 648) ((100 67) . 649) ((99 67) . 650) ((98 67) . 651) ((97 67) . 652) ((96 67) . 653) ((95 67) . 654) ((94 67) . 655) ((93 67) . 656) ((93 66) . 657) ((93 65) . 658) ((94 65) . 659) ((95 65) . 660) ((96 65) . 661) ((97 65) . 662) ((98 65) . 663) ((99 65) . 664) ((100 65) . 665) ((101 65) . 666) ((101 64) . 667) ((101 63) . 668) ((102 63) . 669) ((103 63) . 670) ((104 63) . 671) ((105 63) . 672) ((106 63) . 673) ((107 63) . 674) ((107 64) . 675) ((107 65) . 676) ((108 65) . 677) ((109 65) . 678) ((110 65) . 679) ((111 65) . 680) ((112 65) . 681) ((113 65) . 682) ((113 64) . 683) ((113 63) . 684) ((114 63) . 685) ((115 63) . 686) ((115 64) . 687) ((115 65) . 688) ((116 65) . 689) ((117 65) . 690) ((118 65) . 691) ((119 65) . 692) ((119 64) . 693) ((119 63) . 694) ((118 63) . 695) ((117 63) . 696) ((117 62) . 697) ((117 61) . 698) ((116 61) . 699) ((115 61) . 700) ((114 61) . 701) ((113 61) . 702) ((113 60) . 703) ((113 59) . 704) ((112 59) . 705) ((111 59) . 706) ((111 60) . 707) ((111 61) . 708) ((111 62) . 709) ((111 63) . 710) ((110 63) . 711) ((109 63) . 712) ((109 62) . 713) ((109 61) . 714) ((108 61) . 715) ((107 61) . 716) ((106 61) . 717) ((105 61) . 718) ((104 61) . 719) ((103 61) . 720) ((103 60) . 721) ((103 59) . 722) ((104 59) . 723) ((105 59) . 724) ((106 59) . 725) ((107 59) . 726) ((108 59) . 727) ((109 59) . 728) ((109 58) . 729) ((109 57) . 730) ((110 57) . 731) ((111 57) . 732) ((112 57) . 733) ((113 57) . 734) ((114 57) . 735) ((115 57) . 736) ((115 56) . 737) ((115 55) . 738) ((114 55) . 739) ((113 55) . 740) ((113 54) . 741) ((113 53) . 742) ((112 53) . 743) ((111 53) . 744) ((111 54) . 745) ((111 55) . 746) ((110 55) . 747) ((109 55) . 748) ((108 55) . 749) ((107 55) . 750) ((107 56) . 751) ((107 57) . 752) ((106 57) . 753) ((105 57) . 754) ((105 56) . 755) ((105 55) . 756) ((104 55) . 757) ((103 55) . 758) ((102 55) . 759) ((101 55) . 760) ((101 56) . 761) ((101 57) . 762) ((101 58) . 763) ((101 59) . 764) ((100 59) . 765) ((99 59) . 766) ((99 60) . 767) ((99 61) . 768) ((99 62) . 769) ((99 63) . 770) ((98 63) . 771) ((97 63) . 772) ((97 62) . 773) ((97 61) . 774) ((97 60) . 775) ((97 59) . 776) ((96 59) . 777) ((95 59) . 778) ((95 60) . 779) ((95 61) . 780) ((95 62) . 781) ((95 63) . 782) ((94 63) . 783) ((93 63) . 784) ((93 62) . 785) ((93 61) . 786) ((93 60) . 787) ((93 59) . 788) ((92 59) . 789) ((91 59) . 790) ((91 60) . 791) ((91 61) . 792) ((91 62) . 793) ((91 63) . 794) ((91 64) . 795) ((91 65) . 796) ((90 65) . 797) ((89 65) . 798) ((89 66) . 799) ((89 67) . 800) ((90 67) . 801) ((91 67) . 802) ((91 68) . 803) ((91 69) . 804) ((90 69) . 805) ((89 69) . 806) ((88 69) . 807) ((87 69) . 808) ((86 69) . 809) ((85 69) . 810) ((85 68) . 811) ((85 67) . 812) ((86 67) . 813) ((87 67) . 814) ((87 66) . 815) ((87 65) . 816) ((86 65) . 817) ((85 65) . 818) ((85 64) . 819) ((85 63) . 820) ((86 63) . 821) ((87 63) . 822) ((88 63) . 823) ((89 63) . 824) ((89 62) . 825) ((89 61) . 826) ((89 60) . 827) ((89 59) . 828) ((88 59) . 829) ((87 59) . 830) ((87 60) . 831) ((87 61) . 832) ((86 61) . 833) ((85 61) . 834) ((85 60) . 835) ((85 59) . 836) ((84 59) . 837) ((83 59) . 838) ((83 60) . 839) ((83 61) . 840) ((83 62) . 841) ((83 63) . 842) ((83 64) . 843) ((83 65) . 844) ((83 66) . 845) ((83 67) . 846) ((83 68) . 847) ((83 69) . 848) ((82 69) . 849) ((81 69) . 850) ((80 69) . 851) ((79 69) . 852) ((79 70) . 853) ((79 71) . 854) ((79 72) . 855) ((79 73) . 856) ((78 73) . 857) ((77 73) . 858) ((77 72) . 859) ((77 71) . 860) ((77 70) . 861) ((77 69) . 862) ((76 69) . 863) ((75 69) . 864) ((75 68) . 865) ((75 67) . 866) ((76 67) . 867) ((77 67) . 868) ((77 66) . 869) ((77 65) . 870) ((78 65) . 871) ((79 65) . 872) ((79 66) . 873) ((79 67) . 874) ((80 67) . 875) ((81 67) . 876) ((81 66) . 877) ((81 65) . 878) ((81 64) . 879) ((81 63) . 880) ((81 62) . 881) ((81 61) . 882) ((81 60) . 883) ((81 59) . 884) ((80 59) . 885) ((79 59) . 886) ((79 60) . 887) ((79 61) . 888) ((79 62) . 889) ((79 63) . 890) ((78 63) . 891) ((77 63) . 892) ((76 63) . 893) ((75 63) . 894) ((75 62) . 895) ((75 61) . 896) ((76 61) . 897) ((77 61) . 898) ((77 60) . 899) ((77 59) . 900) ((76 59) . 901) ((75 59) . 902) ((75 58) . 903) ((75 57) . 904) ((76 57) . 905) ((77 57) . 906) ((78 57) . 907) ((79 57) . 908) ((80 57) . 909) ((81 57) . 910) ((82 57) . 911) ((83 57) . 912) ((84 57) . 913) ((85 57) . 914) ((86 57) . 915) ((87 57) . 916) ((87 56) . 917) ((87 55) . 918) ((86 55) . 919) ((85 55) . 920) ((85 54) . 921) ((85 53) . 922) ((86 53) . 923) ((87 53) . 924) ((87 52) . 925) ((87 51) . 926) ((87 50) . 927) ((87 49) . 928) ((88 49) . 929) ((89 49) . 930) ((89 50) . 931) ((89 51) . 932) ((89 52) . 933) ((89 53) . 934) ((89 54) . 935) ((89 55) . 936) ((89 56) . 937) ((89 57) . 938) ((90 57) . 939) ((91 57) . 940) ((91 56) . 941) ((91 55) . 942) ((92 55) . 943) ((93 55) . 944) ((93 56) . 945) ((93 57) . 946) ((94 57) . 947) ((95 57) . 948) ((96 57) . 949) ((97 57) . 950) ((98 57) . 951) ((99 57) . 952) ((99 56) . 953) ((99 55) . 954) ((98 55) . 955) ((97 55) . 956) ((96 55) . 957) ((95 55) . 958) ((95 54) . 959) ((95 53) . 960) ((94 53) . 961) ((93 53) . 962) ((92 53) . 963) ((91 53) . 964) ((91 52) . 965) ((91 51) . 966) ((92 51) . 967) ((93 51) . 968) ((94 51) . 969) ((95 51) . 970) ((95 50) . 971) ((95 49) . 972) ((95 48) . 973) ((95 47) . 974) ((96 47) . 975) ((97 47) . 976) ((98 47) . 977) ((99 47) . 978) ((99 48) . 979) ((99 49) . 980) ((98 49) . 981) ((97 49) . 982) ((97 50) . 983) ((97 51) . 984) ((97 52) . 985) ((97 53) . 986) ((98 53) . 987) ((99 53) . 988) ((100 53) . 989) ((101 53) . 990) ((101 52) . 991) ((101 51) . 992) ((102 51) . 993) ((103 51) . 994) ((103 52) . 995) ((103 53) . 996) ((104 53) . 997) ((105 53) . 998) ((105 52) . 999) ((105 51) . 1000) ((106 51) . 1001) ((107 51) . 1002) ((107 52) . 1003) ((107 53) . 1004) ((108 53) . 1005) ((109 53) . 1006) ((109 52) . 1007) ((109 51) . 1008) ((110 51) . 1009) ((111 51) . 1010) ((111 50) . 1011) ((111 49) . 1012) ((112 49) . 1013) ((113 49) . 1014) ((114 49) . 1015) ((115 49) . 1016) ((115 50) . 1017) ((115 51) . 1018) ((115 52) . 1019) ((115 53) . 1020) ((116 53) . 1021) ((117 53) . 1022) ((117 54) . 1023) ((117 55) . 1024) ((117 56) . 1025) ((117 57) . 1026) ((117 58) . 1027) ((117 59) . 1028) ((118 59) . 1029) ((119 59) . 1030) ((119 58) . 1031) ((119 57) . 1032) ((119 56) . 1033) ((119 55) . 1034) ((120 55) . 1035) ((121 55) . 1036) ((121 56) . 1037) ((121 57) . 1038) ((121 58) . 1039) ((121 59) . 1040) ((122 59) . 1041) ((123 59) . 1042) ((123 60) . 1043) ((123 61) . 1044) ((124 61) . 1045) ((125 61) . 1046) ((125 60) . 1047) ((125 59) . 1048) ((126 59) . 1049) ((127 59) . 1050) ((127 58) . 1051) ((127 57) . 1052) ((128 57) . 1053) ((129 57) . 1054) ((129 58) . 1055) ((129 59) . 1056) ((129 60) . 1057) ((129 61) . 1058) ((129 62) . 1059) ((129 63) . 1060) ((130 63) . 1061) ((131 63) . 1062) ((131 62) . 1063) ((131 61) . 1064) ((131 60) . 1065) ((131 59) . 1066) ((131 58) . 1067) ((131 57) . 1068) ((132 57) . 1069) ((133 57) . 1070) ((133 58) . 1071) ((133 59) . 1072) ((133 60) . 1073) ((133 61) . 1074) ((134 61) . 1075) ((135 61) . 1076) ((136 61) . 1077) ((137 61) . 1078) ((138 61) . 1079) ((139 61) . 1080) ((139 60) . 1081) ((139 59) . 1082) ((138 59) . 1083) ((137 59) . 1084) ((136 59) . 1085) ((135 59) . 1086) ((135 58) . 1087) ((135 57) . 1088) ((136 57) . 1089) ((137 57) . 1090) ((138 57) . 1091) ((139 57) . 1092) ((139 56) . 1093) ((139 55) . 1094) ((138 55) . 1095) ((137 55) . 1096) ((136 55) . 1097) ((135 55) . 1098) ((134 55) . 1099) ((133 55) . 1100) ((132 55) . 1101) ((131 55) . 1102) ((130 55) . 1103) ((129 55) . 1104) ((128 55) . 1105) ((127 55) . 1106) ((126 55) . 1107) ((125 55) . 1108) ((125 56) . 1109) ((125 57) . 1110) ((124 57) . 1111) ((123 57) . 1112) ((123 56) . 1113) ((123 55) . 1114) ((123 54) . 1115) ((123 53) . 1116) ((124 53) . 1117) ((125 53) . 1118) ((126 53) . 1119) ((127 53) . 1120) ((128 53) . 1121) ((129 53) . 1122) ((130 53) . 1123) ((131 53) . 1124) ((132 53) . 1125) ((133 53) . 1126) ((134 53) . 1127) ((135 53) . 1128) ((136 53) . 1129) ((137 53) . 1130) ((138 53) . 1131) ((139 53) . 1132) ((139 52) . 1133) ((139 51) . 1134) ((138 51) . 1135) ((137 51) . 1136) ((136 51) . 1137) ((135 51) . 1138) ((135 50) . 1139) ((135 49) . 1140) ((136 49) . 1141) ((137 49) . 1142) ((138 49) . 1143) ((139 49) . 1144) ((139 48) . 1145) ((139 47) . 1146) ((138 47) . 1147) ((137 47) . 1148) ((136 47) . 1149) ((135 47) . 1150) ((135 46) . 1151) ((135 45) . 1152) ((134 45) . 1153) ((133 45) . 1154) ((133 46) . 1155) ((133 47) . 1156) ((133 48) . 1157) ((133 49) . 1158) ((133 50) . 1159) ((133 51) . 1160) ((132 51) . 1161) ((131 51) . 1162) ((131 50) . 1163) ((131 49) . 1164) ((131 48) . 1165) ((131 47) . 1166) ((130 47) . 1167) ((129 47) . 1168) ((129 48) . 1169) ((129 49) . 1170) ((129 50) . 1171) ((129 51) . 1172) ((128 51) . 1173) ((127 51) . 1174) ((127 50) . 1175) ((127 49) . 1176) ((126 49) . 1177) ((125 49) . 1178) ((125 50) . 1179) ((125 51) . 1180) ((124 51) . 1181) ((123 51) . 1182) ((123 50) . 1183) ((123 49) . 1184) ((123 48) . 1185) ((123 47) . 1186) ((124 47) . 1187) ((125 47) . 1188) ((126 47) . 1189) ((127 47) . 1190) ((127 46) . 1191) ((127 45) . 1192) ((126 45) . 1193) ((125 45) . 1194) ((125 44) . 1195) ((125 43) . 1196) ((126 43) . 1197) ((127 43) . 1198) ((128 43) . 1199) ((129 43) . 1200) ((129 44) . 1201) ((129 45) . 1202) ((130 45) . 1203) ((131 45) . 1204) ((131 44) . 1205) ((131 43) . 1206) ((132 43) . 1207) ((133 43) . 1208) ((134 43) . 1209) ((135 43) . 1210) ((135 42) . 1211) ((135 41) . 1212) ((134 41) . 1213) ((133 41) . 1214) ((132 41) . 1215) ((131 41) . 1216) ((131 40) . 1217) ((131 39) . 1218) ((130 39) . 1219) ((129 39) . 1220) ((129 40) . 1221) ((129 41) . 1222) ((128 41) . 1223) ((127 41) . 1224) ((126 41) . 1225) ((125 41) . 1226) ((124 41) . 1227) ((123 41) . 1228) ((122 41) . 1229) ((121 41) . 1230) ((121 42) . 1231) ((121 43) . 1232) ((122 43) . 1233) ((123 43) . 1234) ((123 44) . 1235) ((123 45) . 1236) ((122 45) . 1237) ((121 45) . 1238) ((121 46) . 1239) ((121 47) . 1240) ((121 48) . 1241) ((121 49) . 1242) ((121 50) . 1243) ((121 51) . 1244) ((121 52) . 1245) ((121 53) . 1246) ((120 53) . 1247) ((119 53) . 1248) ((119 52) . 1249) ((119 51) . 1250) ((118 51) . 1251) ((117 51) . 1252) ((117 50) . 1253) ((117 49) . 1254) ((118 49) . 1255) ((119 49) . 1256) ((119 48) . 1257) ((119 47) . 1258) ((118 47) . 1259) ((117 47) . 1260) ((116 47) . 1261) ((115 47) . 1262) ((114 47) . 1263) ((113 47) . 1264) ((112 47) . 1265) ((111 47) . 1266) ((111 46) . 1267) ((111 45) . 1268) ((110 45) . 1269) ((109 45) . 1270) ((109 46) . 1271) ((109 47) . 1272) ((109 48) . 1273) ((109 49) . 1274) ((108 49) . 1275) ((107 49) . 1276) ((106 49) . 1277) ((105 49) . 1278) ((104 49) . 1279) ((103 49) . 1280) ((102 49) . 1281) ((101 49) . 1282) ((101 48) . 1283) ((101 47) . 1284) ((102 47) . 1285) ((103 47) . 1286) ((104 47) . 1287) ((105 47) . 1288) ((106 47) . 1289) ((107 47) . 1290) ((107 46) . 1291) ((107 45) . 1292) ((106 45) . 1293) ((105 45) . 1294) ((104 45) . 1295) ((103 45) . 1296) ((102 45) . 1297) ((101 45) . 1298) ((101 44) . 1299) ((101 43) . 1300) ((101 42) . 1301) ((101 41) . 1302) ((102 41) . 1303) ((103 41) . 1304) ((103 42) . 1305) ((103 43) . 1306) ((104 43) . 1307) ((105 43) . 1308) ((106 43) . 1309) ((107 43) . 1310) ((108 43) . 1311) ((109 43) . 1312) ((109 42) . 1313) ((109 41) . 1314) ((108 41) . 1315) ((107 41) . 1316) ((106 41) . 1317) ((105 41) . 1318) ((105 40) . 1319) ((105 39) . 1320) ((106 39) . 1321) ((107 39) . 1322) ((108 39) . 1323) ((109 39) . 1324) ((110 39) . 1325) ((111 39) . 1326) ((111 40) . 1327) ((111 41) . 1328) ((111 42) . 1329) ((111 43) . 1330) ((112 43) . 1331) ((113 43) . 1332) ((113 42) . 1333) ((113 41) . 1334) ((114 41) . 1335) ((115 41) . 1336) ((115 42) . 1337) ((115 43) . 1338) ((115 44) . 1339) ((115 45) . 1340) ((116 45) . 1341) ((117 45) . 1342) ((117 44) . 1343) ((117 43) . 1344) ((118 43) . 1345) ((119 43) . 1346) ((119 42) . 1347) ((119 41) . 1348) ((118 41) . 1349) ((117 41) . 1350) ((117 40) . 1351) ((117 39) . 1352) ((118 39) . 1353) ((119 39) . 1354) ((120 39) . 1355) ((121 39) . 1356) ((122 39) . 1357) ((123 39) . 1358) ((124 39) . 1359) ((125 39) . 1360) ((126 39) . 1361) ((127 39) . 1362) ((127 38) . 1363) ((127 37) . 1364) ((126 37) . 1365) ((125 37) . 1366) ((124 37) . 1367) ((123 37) . 1368) ((122 37) . 1369) ((121 37) . 1370) ((120 37) . 1371) ((119 37) . 1372) ((118 37) . 1373) ((117 37) . 1374) ((116 37) . 1375) ((115 37) . 1376) ((115 38) . 1377) ((115 39) . 1378) ((114 39) . 1379) ((113 39) . 1380) ((113 38) . 1381) ((113 37) . 1382) ((112 37) . 1383) ((111 37) . 1384) ((110 37) . 1385) ((109 37) . 1386) ((108 37) . 1387) ((107 37) . 1388) ((106 37) . 1389) ((105 37) . 1390) ((105 36) . 1391) ((105 35) . 1392) ((106 35) . 1393) ((107 35) . 1394) ((108 35) . 1395) ((109 35) . 1396) ((110 35) . 1397) ((111 35) . 1398) ((112 35) . 1399) ((113 35) . 1400) ((114 35) . 1401) ((115 35) . 1402) ((116 35) . 1403) ((117 35) . 1404) ((118 35) . 1405) ((119 35) . 1406) ((120 35) . 1407) ((121 35) . 1408) ((121 34) . 1409) ((121 33) . 1410) ((122 33) . 1411) ((123 33) . 1412) ((123 34) . 1413) ((123 35) . 1414) ((124 35) . 1415) ((125 35) . 1416) ((125 34) . 1417) ((125 33) . 1418) ((125 32) . 1419) ((125 31) . 1420) ((126 31) . 1421) ((127 31) . 1422) ((128 31) . 1423) ((129 31) . 1424) ((129 32) . 1425) ((129 33) . 1426) ((128 33) . 1427) ((127 33) . 1428) ((127 34) . 1429) ((127 35) . 1430) ((128 35) . 1431) ((129 35) . 1432) ((129 36) . 1433) ((129 37) . 1434) ((130 37) . 1435) ((131 37) . 1436) ((131 36) . 1437) ((131 35) . 1438) ((132 35) . 1439) ((133 35) . 1440) ((133 36) . 1441) ((133 37) . 1442) ((133 38) . 1443) ((133 39) . 1444) ((134 39) . 1445) ((135 39) . 1446) ((135 38) . 1447) ((135 37) . 1448) ((135 36) . 1449) ((135 35) . 1450) ((136 35) . 1451) ((137 35) . 1452) ((137 36) . 1453) ((137 37) . 1454) ((137 38) . 1455) ((137 39) . 1456) ((137 40) . 1457) ((137 41) . 1458) ((137 42) . 1459) ((137 43) . 1460) ((137 44) . 1461) ((137 45) . 1462) ((138 45) . 1463) ((139 45) . 1464) ((139 44) . 1465) ((139 43) . 1466) ((139 42) . 1467) ((139 41) . 1468) ((139 40) . 1469) ((139 39) . 1470) ((139 38) . 1471) ((139 37) . 1472) ((139 36) . 1473) ((139 35) . 1474) ((139 34) . 1475) ((139 33) . 1476) ((138 33) . 1477) ((137 33) . 1478) ((136 33) . 1479) ((135 33) . 1480) ((134 33) . 1481) ((133 33) . 1482) ((132 33) . 1483) ((131 33) . 1484) ((131 32) . 1485) ((131 31) . 1486) ((132 31) . 1487) ((133 31) . 1488) ((134 31) . 1489) ((135 31) . 1490) ((136 31) . 1491) ((137 31) . 1492) ((138 31) . 1493) ((139 31) . 1494) ((139 30) . 1495) ((139 29) . 1496) ((138 29) . 1497) ((137 29) . 1498) ((136 29) . 1499) ((135 29) . 1500) ((134 29) . 1501) ((133 29) . 1502) ((132 29) . 1503) ((131 29) . 1504) ((131 28) . 1505) ((131 27) . 1506) ((132 27) . 1507) ((133 27) . 1508) ((134 27) . 1509) ((135 27) . 1510) ((135 26) . 1511) ((135 25) . 1512) ((136 25) . 1513) ((137 25) . 1514) ((137 26) . 1515) ((137 27) . 1516) ((138 27) . 1517) ((139 27) . 1518) ((139 26) . 1519) ((139 25) . 1520) ((139 24) . 1521) ((139 23) . 1522) ((138 23) . 1523) ((137 23) . 1524) ((137 22) . 1525) ((137 21) . 1526) ((138 21) . 1527) ((139 21) . 1528) ((139 20) . 1529) ((139 19) . 1530) ((138 19) . 1531) ((137 19) . 1532) ((136 19) . 1533) ((135 19) . 1534) ((135 20) . 1535) ((135 21) . 1536) ((135 22) . 1537) ((135 23) . 1538) ((134 23) . 1539) ((133 23) . 1540) ((133 24) . 1541) ((133 25) . 1542) ((132 25) . 1543) ((131 25) . 1544) ((131 24) . 1545) ((131 23) . 1546) ((131 22) . 1547) ((131 21) . 1548) ((132 21) . 1549) ((133 21) . 1550) ((133 20) . 1551) ((133 19) . 1552) ((132 19) . 1553) ((131 19) . 1554) ((131 18) . 1555) ((131 17) . 1556) ((132 17) . 1557) ((133 17) . 1558) ((134 17) . 1559) ((135 17) . 1560) ((136 17) . 1561) ((137 17) . 1562) ((138 17) . 1563) ((139 17) . 1564) ((139 16) . 1565) ((139 15) . 1566) ((138 15) . 1567) ((137 15) . 1568) ((136 15) . 1569) ((135 15) . 1570) ((134 15) . 1571) ((133 15) . 1572) ((132 15) . 1573) ((131 15) . 1574) ((130 15) . 1575) ((129 15) . 1576) ((129 16) . 1577) ((129 17) . 1578) ((129 18) . 1579) ((129 19) . 1580) ((129 20) . 1581) ((129 21) . 1582) ((129 22) . 1583) ((129 23) . 1584) ((129 24) . 1585) ((129 25) . 1586) ((129 26) . 1587) ((129 27) . 1588) ((129 28) . 1589) ((129 29) . 1590) ((128 29) . 1591) ((127 29) . 1592) ((127 28) . 1593) ((127 27) . 1594) ((127 26) . 1595) ((127 25) . 1596) ((127 24) . 1597) ((127 23) . 1598) ((127 22) . 1599) ((127 21) . 1600) ((127 20) . 1601) ((127 19) . 1602) ((127 18) . 1603) ((127 17) . 1604) ((127 16) . 1605) ((127 15) . 1606) ((126 15) . 1607) ((125 15) . 1608) ((125 16) . 1609) ((125 17) . 1610) ((125 18) . 1611) ((125 19) . 1612) ((125 20) . 1613) ((125 21) . 1614) ((125 22) . 1615) ((125 23) . 1616) ((125 24) . 1617) ((125 25) . 1618) ((125 26) . 1619) ((125 27) . 1620) ((125 28) . 1621) ((125 29) . 1622) ((124 29) . 1623) ((123 29) . 1624) ((123 30) . 1625) ((123 31) . 1626) ((122 31) . 1627) ((121 31) . 1628) ((121 30) . 1629) ((121 29) . 1630) ((120 29) . 1631) ((119 29) . 1632) ((119 30) . 1633) ((119 31) . 1634) ((119 32) . 1635) ((119 33) . 1636) ((118 33) . 1637) ((117 33) . 1638) ((116 33) . 1639) ((115 33) . 1640) ((115 32) . 1641) ((115 31) . 1642) ((116 31) . 1643) ((117 31) . 1644) ((117 30) . 1645) ((117 29) . 1646) ((116 29) . 1647) ((115 29) . 1648) ((114 29) . 1649) ((113 29) . 1650) ((113 30) . 1651) ((113 31) . 1652) ((113 32) . 1653) ((113 33) . 1654) ((112 33) . 1655) ((111 33) . 1656) ((110 33) . 1657) ((109 33) . 1658) ((109 32) . 1659) ((109 31) . 1660) ((110 31) . 1661) ((111 31) . 1662) ((111 30) . 1663) ((111 29) . 1664) ((110 29) . 1665) ((109 29) . 1666) ((109 28) . 1667) ((109 27) . 1668) ((110 27) . 1669) ((111 27) . 1670) ((112 27) . 1671) ((113 27) . 1672) ((114 27) . 1673) ((115 27) . 1674) ((116 27) . 1675) ((117 27) . 1676) ((118 27) . 1677) ((119 27) . 1678) ((120 27) . 1679) ((121 27) . 1680) ((122 27) . 1681) ((123 27) . 1682) ((123 26) . 1683) ((123 25) . 1684) ((122 25) . 1685) ((121 25) . 1686) ((120 25) . 1687) ((119 25) . 1688) ((118 25) . 1689) ((117 25) . 1690) ((116 25) . 1691) ((115 25) . 1692) ((115 24) . 1693) ((115 23) . 1694) ((116 23) . 1695) ((117 23) . 1696) ((118 23) . 1697) ((119 23) . 1698) ((120 23) . 1699) ((121 23) . 1700) ((122 23) . 1701) ((123 23) . 1702) ((123 22) . 1703) ((123 21) . 1704) ((122 21) . 1705) ((121 21) . 1706) ((121 20) . 1707) ((121 19) . 1708) ((121 18) . 1709) ((121 17) . 1710) ((122 17) . 1711) ((123 17) . 1712) ((123 16) . 1713) ((123 15) . 1714) ((123 14) . 1715) ((123 13) . 1716) ((124 13) . 1717) ((125 13) . 1718) ((126 13) . 1719) ((127 13) . 1720) ((128 13) . 1721) ((129 13) . 1722) ((130 13) . 1723) ((131 13) . 1724) ((132 13) . 1725) ((133 13) . 1726) ((134 13) . 1727) ((135 13) . 1728) ((136 13) . 1729) ((137 13) . 1730) ((138 13) . 1731) ((139 13) . 1732) ((139 12) . 1733) ((139 11) . 1734) ((138 11) . 1735) ((137 11) . 1736) ((136 11) . 1737) ((135 11) . 1738) ((134 11) . 1739) ((133 11) . 1740) ((133 10) . 1741) ((133 9) . 1742) ((134 9) . 1743) ((135 9) . 1744) ((136 9) . 1745) ((137 9) . 1746) ((138 9) . 1747) ((139 9) . 1748) ((139 8) . 1749) ((139 7) . 1750) ((138 7) . 1751) ((137 7) . 1752) ((137 6) . 1753) ((137 5) . 1754) ((138 5) . 1755) ((139 5) . 1756) ((139 4) . 1757) ((139 3) . 1758) ((138 3) . 1759) ((137 3) . 1760) ((137 2) . 1761) ((137 1) . 1762) ((136 1) . 1763) ((135 1) . 1764) ((135 2) . 1765) ((135 3) . 1766) ((135 4) . 1767) ((135 5) . 1768) ((135 6) . 1769) ((135 7) . 1770) ((134 7) . 1771) ((133 7) . 1772) ((133 6) . 1773) ((133 5) . 1774) ((133 4) . 1775) ((133 3) . 1776) ((133 2) . 1777) ((133 1) . 1778) ((132 1) . 1779) ((131 1) . 1780) ((131 2) . 1781) ((131 3) . 1782) ((131 4) . 1783) ((131 5) . 1784) ((131 6) . 1785) ((131 7) . 1786) ((131 8) . 1787) ((131 9) . 1788) ((131 10) . 1789) ((131 11) . 1790) ((130 11) . 1791) ((129 11) . 1792) ((129 10) . 1793) ((129 9) . 1794) ((129 8) . 1795) ((129 7) . 1796) ((128 7) . 1797) ((127 7) . 1798) ((127 8) . 1799) ((127 9) . 1800) ((127 10) . 1801) ((127 11) . 1802) ((126 11) . 1803) ((125 11) . 1804) ((125 10) . 1805) ((125 9) . 1806) ((125 8) . 1807) ((125 7) . 1808) ((125 6) . 1809) ((125 5) . 1810) ((126 5) . 1811) ((127 5) . 1812) ((128 5) . 1813) ((129 5) . 1814) ((129 4) . 1815) ((129 3) . 1816) ((129 2) . 1817) ((129 1) . 1818) ((128 1) . 1819) ((127 1) . 1820) ((127 2) . 1821) ((127 3) . 1822) ((126 3) . 1823) ((125 3) . 1824) ((125 2) . 1825) ((125 1) . 1826) ((124 1) . 1827) ((123 1) . 1828) ((122 1) . 1829) ((121 1) . 1830) ((121 2) . 1831) ((121 3) . 1832) ((122 3) . 1833) ((123 3) . 1834) ((123 4) . 1835) ((123 5) . 1836) ((122 5) . 1837) ((121 5) . 1838) ((120 5) . 1839) ((119 5) . 1840) ((119 4) . 1841) ((119 3) . 1842) ((119 2) . 1843) ((119 1) . 1844) ((118 1) . 1845) ((117 1) . 1846) ((117 2) . 1847) ((117 3) . 1848) ((117 4) . 1849) ((117 5) . 1850) ((117 6) . 1851) ((117 7) . 1852) ((118 7) . 1853) ((119 7) . 1854) ((120 7) . 1855) ((121 7) . 1856) ((122 7) . 1857) ((123 7) . 1858) ((123 8) . 1859) ((123 9) . 1860) ((123 10) . 1861) ((123 11) . 1862) ((122 11) . 1863) ((121 11) . 1864) ((121 12) . 1865) ((121 13) . 1866) ((121 14) . 1867) ((121 15) . 1868) ((120 15) . 1869) ((119 15) . 1870) ((119 16) . 1871) ((119 17) . 1872) ((119 18) . 1873) ((119 19) . 1874) ((119 20) . 1875) ((119 21) . 1876) ((118 21) . 1877) ((117 21) . 1878) ((116 21) . 1879) ((115 21) . 1880) ((115 20) . 1881) ((115 19) . 1882) ((116 19) . 1883) ((117 19) . 1884) ((117 18) . 1885) ((117 17) . 1886) ((116 17) . 1887) ((115 17) . 1888) ((115 16) . 1889) ((115 15) . 1890) ((116 15) . 1891) ((117 15) . 1892) ((117 14) . 1893) ((117 13) . 1894) ((118 13) . 1895) ((119 13) . 1896) ((119 12) . 1897) ((119 11) . 1898) ((119 10) . 1899) ((119 9) . 1900) ((118 9) . 1901) ((117 9) . 1902) ((117 10) . 1903) ((117 11) . 1904) ((116 11) . 1905) ((115 11) . 1906) ((115 12) . 1907) ((115 13) . 1908) ((114 13) . 1909) ((113 13) . 1910) ((113 12) . 1911) ((113 11) . 1912) ((113 10) . 1913) ((113 9) . 1914) ((114 9) . 1915) ((115 9) . 1916) ((115 8) . 1917) ((115 7) . 1918) ((114 7) . 1919) ((113 7) . 1920) ((113 6) . 1921) ((113 5) . 1922) ((113 4) . 1923) ((113 3) . 1924) ((114 3) . 1925) ((115 3) . 1926) ((115 2) . 1927) ((115 1) . 1928) ((114 1) . 1929) ((113 1) . 1930) ((112 1) . 1931) ((111 1) . 1932) ((111 2) . 1933) ((111 3) . 1934) ((111 4) . 1935) ((111 5) . 1936) ((111 6) . 1937) ((111 7) . 1938) ((110 7) . 1939) ((109 7) . 1940) ((109 8) . 1941) ((109 9) . 1942) ((110 9) . 1943) ((111 9) . 1944) ((111 10) . 1945) ((111 11) . 1946) ((111 12) . 1947) ((111 13) . 1948) ((111 14) . 1949) ((111 15) . 1950) ((112 15) . 1951) ((113 15) . 1952) ((113 16) . 1953) ((113 17) . 1954) ((112 17) . 1955) ((111 17) . 1956) ((111 18) . 1957) ((111 19) . 1958) ((112 19) . 1959) ((113 19) . 1960) ((113 20) . 1961) ((113 21) . 1962) ((113 22) . 1963) ((113 23) . 1964) ((113 24) . 1965) ((113 25) . 1966) ((112 25) . 1967) ((111 25) . 1968) ((110 25) . 1969) ((109 25) . 1970) ((109 24) . 1971) ((109 23) . 1972) ((110 23) . 1973) ((111 23) . 1974) ((111 22) . 1975) ((111 21) . 1976) ((110 21) . 1977) ((109 21) . 1978) ((109 20) . 1979) ((109 19) . 1980) ((109 18) . 1981) ((109 17) . 1982) ((109 16) . 1983) ((109 15) . 1984) ((109 14) . 1985) ((109 13) . 1986) ((109 12) . 1987) ((109 11) . 1988) ((108 11) . 1989) ((107 11) . 1990) ((107 12) . 1991) ((107 13) . 1992) ((107 14) . 1993) ((107 15) . 1994) ((107 16) . 1995) ((107 17) . 1996) ((107 18) . 1997) ((107 19) . 1998) ((107 20) . 1999) ((107 21) . 2000) ((107 22) . 2001) ((107 23) . 2002) ((107 24) . 2003) ((107 25) . 2004) ((107 26) . 2005) ((107 27) . 2006) ((107 28) . 2007) ((107 29) . 2008) ((107 30) . 2009) ((107 31) . 2010) ((107 32) . 2011) ((107 33) . 2012) ((106 33) . 2013) ((105 33) . 2014) ((105 32) . 2015) ((105 31) . 2016) ((105 30) . 2017) ((105 29) . 2018) ((105 28) . 2019) ((105 27) . 2020) ((105 26) . 2021) ((105 25) . 2022) ((105 24) . 2023) ((105 23) . 2024) ((105 22) . 2025) ((105 21) . 2026) ((105 20) . 2027) ((105 19) . 2028) ((105 18) . 2029) ((105 17) . 2030) ((104 17) . 2031) ((103 17) . 2032) ((103 18) . 2033) ((103 19) . 2034) ((102 19) . 2035) ((101 19) . 2036) ((101 18) . 2037) ((101 17) . 2038) ((101 16) . 2039) ((101 15) . 2040) ((102 15) . 2041) ((103 15) . 2042) ((104 15) . 2043) ((105 15) . 2044) ((105 14) . 2045) ((105 13) . 2046) ((105 12) . 2047) ((105 11) . 2048) ((104 11) . 2049) ((103 11) . 2050) ((103 12) . 2051) ((103 13) . 2052) ((102 13) . 2053) ((101 13) . 2054) ((101 12) . 2055) ((101 11) . 2056) ((101 10) . 2057) ((101 9) . 2058) ((102 9) . 2059) ((103 9) . 2060) ((104 9) . 2061) ((105 9) . 2062) ((106 9) . 2063) ((107 9) . 2064) ((107 8) . 2065) ((107 7) . 2066) ((106 7) . 2067) ((105 7) . 2068) ((104 7) . 2069) ((103 7) . 2070) ((103 6) . 2071) ((103 5) . 2072) ((103 4) . 2073) ((103 3) . 2074) ((104 3) . 2075) ((105 3) . 2076) ((105 4) . 2077) ((105 5) . 2078) ((106 5) . 2079) ((107 5) . 2080) ((107 4) . 2081) ((107 3) . 2082) ((108 3) . 2083) ((109 3) . 2084) ((109 2) . 2085) ((109 1) . 2086) ((108 1) . 2087) ((107 1) . 2088) ((106 1) . 2089) ((105 1) . 2090) ((104 1) . 2091) ((103 1) . 2092) ((102 1) . 2093) ((101 1) . 2094) ((101 2) . 2095) ((101 3) . 2096) ((101 4) . 2097) ((101 5) . 2098) ((101 6) . 2099) ((101 7) . 2100) ((100 7) . 2101) ((99 7) . 2102) ((99 6) . 2103) ((99 5) . 2104) ((98 5) . 2105) ((97 5) . 2106) ((97 6) . 2107) ((97 7) . 2108) ((96 7) . 2109) ((95 7) . 2110) ((95 6) . 2111) ((95 5) . 2112) ((95 4) . 2113) ((95 3) . 2114) ((96 3) . 2115) ((97 3) . 2116) ((98 3) . 2117) ((99 3) . 2118) ((99 2) . 2119) ((99 1) . 2120) ((98 1) . 2121) ((97 1) . 2122) ((96 1) . 2123) ((95 1) . 2124) ((94 1) . 2125) ((93 1) . 2126) ((93 2) . 2127) ((93 3) . 2128) ((93 4) . 2129) ((93 5) . 2130) ((93 6) . 2131) ((93 7) . 2132) ((92 7) . 2133) ((91 7) . 2134) ((91 8) . 2135) ((91 9) . 2136) ((92 9) . 2137) ((93 9) . 2138) ((94 9) . 2139) ((95 9) . 2140) ((96 9) . 2141) ((97 9) . 2142) ((98 9) . 2143) ((99 9) . 2144) ((99 10) . 2145) ((99 11) . 2146) ((99 12) . 2147) ((99 13) . 2148) ((98 13) . 2149) ((97 13) . 2150) ((97 12) . 2151) ((97 11) . 2152) ((96 11) . 2153) ((95 11) . 2154) ((95 12) . 2155) ((95 13) . 2156) ((94 13) . 2157) ((93 13) . 2158) ((93 12) . 2159) ((93 11) . 2160) ((92 11) . 2161) ((91 11) . 2162) ((91 12) . 2163) ((91 13) . 2164) ((90 13) . 2165) ((89 13) . 2166) ((89 12) . 2167) ((89 11) . 2168) ((88 11) . 2169) ((87 11) . 2170) ((87 12) . 2171) ((87 13) . 2172) ((87 14) . 2173) ((87 15) . 2174) ((88 15) . 2175) ((89 15) . 2176) ((90 15) . 2177) ((91 15) . 2178) ((92 15) . 2179) ((93 15) . 2180) ((94 15) . 2181) ((95 15) . 2182) ((96 15) . 2183) ((97 15) . 2184) ((98 15) . 2185) ((99 15) . 2186) ((99 16) . 2187) ((99 17) . 2188) ((98 17) . 2189) ((97 17) . 2190) ((97 18) . 2191) ((97 19) . 2192) ((98 19) . 2193) ((99 19) . 2194) ((99 20) . 2195) ((99 21) . 2196) ((100 21) . 2197) ((101 21) . 2198) ((102 21) . 2199) ((103 21) . 2200) ((103 22) . 2201) ((103 23) . 2202) ((103 24) . 2203) ((103 25) . 2204) ((102 25) . 2205) ((101 25) . 2206) ((101 24) . 2207) ((101 23) . 2208) ((100 23) . 2209) ((99 23) . 2210) ((98 23) . 2211) ((97 23) . 2212) ((97 22) . 2213) ((97 21) . 2214) ((96 21) . 2215) ((95 21) . 2216) ((95 22) . 2217) ((95 23) . 2218) ((94 23) . 2219) ((93 23) . 2220) ((92 23) . 2221) ((91 23) . 2222) ((91 24) . 2223) ((91 25) . 2224) ((92 25) . 2225) ((93 25) . 2226) ((94 25) . 2227) ((95 25) . 2228) ((96 25) . 2229) ((97 25) . 2230) ((98 25) . 2231) ((99 25) . 2232) ((99 26) . 2233) ((99 27) . 2234) ((99 28) . 2235) ((99 29) . 2236) ((100 29) . 2237) ((101 29) . 2238) ((101 28) . 2239) ((101 27) . 2240) ((102 27) . 2241) ((103 27) . 2242) ((103 28) . 2243) ((103 29) . 2244) ((103 30) . 2245) ((103 31) . 2246) ((103 32) . 2247) ((103 33) . 2248) ((103 34) . 2249) ((103 35) . 2250) ((103 36) . 2251) ((103 37) . 2252) ((103 38) . 2253) ((103 39) . 2254) ((102 39) . 2255) ((101 39) . 2256) ((101 38) . 2257) ((101 37) . 2258) ((101 36) . 2259) ((101 35) . 2260) ((101 34) . 2261) ((101 33) . 2262) ((101 32) . 2263) ((101 31) . 2264) ((100 31) . 2265) ((99 31) . 2266) ((99 32) . 2267) ((99 33) . 2268) ((99 34) . 2269) ((99 35) . 2270) ((99 36) . 2271) ((99 37) . 2272) ((99 38) . 2273) ((99 39) . 2274) ((99 40) . 2275) ((99 41) . 2276) ((99 42) . 2277) ((99 43) . 2278) ((99 44) . 2279) ((99 45) . 2280) ((98 45) . 2281) ((97 45) . 2282) ((97 44) . 2283) ((97 43) . 2284) ((97 42) . 2285) ((97 41) . 2286) ((97 40) . 2287) ((97 39) . 2288) ((97 38) . 2289) ((97 37) . 2290) ((97 36) . 2291) ((97 35) . 2292) ((97 34) . 2293) ((97 33) . 2294) ((97 32) . 2295) ((97 31) . 2296) ((97 30) . 2297) ((97 29) . 2298) ((97 28) . 2299) ((97 27) . 2300) ((96 27) . 2301) ((95 27) . 2302) ((95 28) . 2303) ((95 29) . 2304) ((95 30) . 2305) ((95 31) . 2306) ((95 32) . 2307) ((95 33) . 2308) ((95 34) . 2309) ((95 35) . 2310) ((94 35) . 2311) ((93 35) . 2312) ((93 34) . 2313) ((93 33) . 2314) ((93 32) . 2315) ((93 31) . 2316) ((93 30) . 2317) ((93 29) . 2318) ((93 28) . 2319) ((93 27) . 2320) ((92 27) . 2321) ((91 27) . 2322) ((91 28) . 2323) ((91 29) . 2324) ((91 30) . 2325) ((91 31) . 2326) ((91 32) . 2327) ((91 33) . 2328) ((91 34) . 2329) ((91 35) . 2330) ((91 36) . 2331) ((91 37) . 2332) ((92 37) . 2333) ((93 37) . 2334) ((94 37) . 2335) ((95 37) . 2336) ((95 38) . 2337) ((95 39) . 2338) ((94 39) . 2339) ((93 39) . 2340) ((93 40) . 2341) ((93 41) . 2342) ((93 42) . 2343) ((93 43) . 2344) ((94 43) . 2345) ((95 43) . 2346) ((95 44) . 2347) ((95 45) . 2348) ((94 45) . 2349) ((93 45) . 2350) ((93 46) . 2351) ((93 47) . 2352) ((93 48) . 2353) ((93 49) . 2354) ((92 49) . 2355) ((91 49) . 2356) ((91 48) . 2357) ((91 47) . 2358) ((91 46) . 2359) ((91 45) . 2360) ((91 44) . 2361) ((91 43) . 2362) ((90 43) . 2363) ((89 43) . 2364) ((89 44) . 2365) ((89 45) . 2366) ((89 46) . 2367) ((89 47) . 2368) ((88 47) . 2369) ((87 47) . 2370) ((87 46) . 2371) ((87 45) . 2372) ((87 44) . 2373) ((87 43) . 2374) ((86 43) . 2375) ((85 43) . 2376) ((85 44) . 2377) ((85 45) . 2378) ((85 46) . 2379) ((85 47) . 2380) ((85 48) . 2381) ((85 49) . 2382) ((85 50) . 2383) ((85 51) . 2384) ((84 51) . 2385) ((83 51) . 2386) ((83 50) . 2387) ((83 49) . 2388) ((83 48) . 2389) ((83 47) . 2390) ((83 46) . 2391) ((83 45) . 2392) ((83 44) . 2393) ((83 43) . 2394) ((83 42) . 2395) ((83 41) . 2396) ((84 41) . 2397) ((85 41) . 2398) ((86 41) . 2399) ((87 41) . 2400) ((88 41) . 2401) ((89 41) . 2402) ((90 41) . 2403) ((91 41) . 2404) ((91 40) . 2405) ((91 39) . 2406) ((90 39) . 2407) ((89 39) . 2408) ((88 39) . 2409) ((87 39) . 2410) ((87 38) . 2411) ((87 37) . 2412) ((88 37) . 2413) ((89 37) . 2414) ((89 36) . 2415) ((89 35) . 2416) ((88 35) . 2417) ((87 35) . 2418) ((87 34) . 2419) ((87 33) . 2420) ((88 33) . 2421) ((89 33) . 2422) ((89 32) . 2423) ((89 31) . 2424) ((88 31) . 2425) ((87 31) . 2426) ((87 30) . 2427) ((87 29) . 2428) ((87 28) . 2429) ((87 27) . 2430) ((88 27) . 2431) ((89 27) . 2432) ((89 26) . 2433) ((89 25) . 2434) ((88 25) . 2435) ((87 25) . 2436) ((86 25) . 2437) ((85 25) . 2438) ((85 24) . 2439) ((85 23) . 2440) ((86 23) . 2441) ((87 23) . 2442) ((87 22) . 2443) ((87 21) . 2444) ((88 21) . 2445) ((89 21) . 2446) ((90 21) . 2447) ((91 21) . 2448) ((92 21) . 2449) ((93 21) . 2450) ((93 20) . 2451) ((93 19) . 2452) ((94 19) . 2453) ((95 19) . 2454) ((95 18) . 2455) ((95 17) . 2456) ((94 17) . 2457) ((93 17) . 2458) ((92 17) . 2459) ((91 17) . 2460) ((91 18) . 2461) ((91 19) . 2462) ((90 19) . 2463) ((89 19) . 2464) ((88 19) . 2465) ((87 19) . 2466) ((87 18) . 2467) ((87 17) . 2468) ((86 17) . 2469) ((85 17) . 2470) ((85 16) . 2471) ((85 15) . 2472) ((85 14) . 2473) ((85 13) . 2474) ((85 12) . 2475) ((85 11) . 2476) ((84 11) . 2477) ((83 11) . 2478) ((83 12) . 2479) ((83 13) . 2480) ((83 14) . 2481) ((83 15) . 2482) ((83 16) . 2483) ((83 17) . 2484) ((83 18) . 2485) ((83 19) . 2486) ((84 19) . 2487) ((85 19) . 2488) ((85 20) . 2489) ((85 21) . 2490) ((84 21) . 2491) ((83 21) . 2492) ((83 22) . 2493) ((83 23) . 2494) ((83 24) . 2495) ((83 25) . 2496) ((83 26) . 2497) ((83 27) . 2498) ((84 27) . 2499) ((85 27) . 2500) ((85 28) . 2501) ((85 29) . 2502) ((85 30) . 2503) ((85 31) . 2504) ((85 32) . 2505) ((85 33) . 2506) ((85 34) . 2507) ((85 35) . 2508) ((85 36) . 2509) ((85 37) . 2510) ((85 38) . 2511) ((85 39) . 2512) ((84 39) . 2513) ((83 39) . 2514) ((83 38) . 2515) ((83 37) . 2516) ((83 36) . 2517) ((83 35) . 2518) ((83 34) . 2519) ((83 33) . 2520) ((83 32) . 2521) ((83 31) . 2522) ((83 30) . 2523) ((83 29) . 2524) ((82 29) . 2525) ((81 29) . 2526) ((81 28) . 2527) ((81 27) . 2528) ((81 26) . 2529) ((81 25) . 2530) ((81 24) . 2531) ((81 23) . 2532) ((81 22) . 2533) ((81 21) . 2534) ((81 20) . 2535) ((81 19) . 2536) ((81 18) . 2537) ((81 17) . 2538) ((80 17) . 2539) ((79 17) . 2540) ((78 17) . 2541) ((77 17) . 2542) ((77 18) . 2543) ((77 19) . 2544) ((78 19) . 2545) ((79 19) . 2546) ((79 20) . 2547) ((79 21) . 2548) ((78 21) . 2549) ((77 21) . 2550) ((77 22) . 2551) ((77 23) . 2552) ((78 23) . 2553) ((79 23) . 2554) ((79 24) . 2555) ((79 25) . 2556) ((78 25) . 2557) ((77 25) . 2558) ((77 26) . 2559) ((77 27) . 2560) ((78 27) . 2561) ((79 27) . 2562) ((79 28) . 2563) ((79 29) . 2564) ((78 29) . 2565) ((77 29) . 2566) ((76 29) . 2567) ((75 29) . 2568) ((75 30) . 2569) ((75 31) . 2570) ((76 31) . 2571) ((77 31) . 2572) ((78 31) . 2573) ((79 31) . 2574) ((80 31) . 2575) ((81 31) . 2576) ((81 32) . 2577) ((81 33) . 2578) ((81 34) . 2579) ((81 35) . 2580) ((81 36) . 2581) ((81 37) . 2582) ((81 38) . 2583) ((81 39) . 2584) ((81 40) . 2585) ((81 41) . 2586) ((81 42) . 2587) ((81 43) . 2588) ((81 44) . 2589) ((81 45) . 2590) ((80 45) . 2591) ((79 45) . 2592) ((79 44) . 2593) ((79 43) . 2594) ((78 43) . 2595) ((77 43) . 2596) ((77 42) . 2597) ((77 41) . 2598) ((78 41) . 2599) ((79 41) . 2600) ((79 40) . 2601) ((79 39) . 2602) ((79 38) . 2603) ((79 37) . 2604) ((79 36) . 2605) ((79 35) . 2606) ((79 34) . 2607) ((79 33) . 2608) ((78 33) . 2609) ((77 33) . 2610) ((77 34) . 2611) ((77 35) . 2612) ((76 35) . 2613) ((75 35) . 2614) ((75 36) . 2615) ((75 37) . 2616) ((76 37) . 2617) ((77 37) . 2618) ((77 38) . 2619) ((77 39) . 2620) ((76 39) . 2621) ((75 39) . 2622) ((75 40) . 2623) ((75 41) . 2624) ((75 42) . 2625) ((75 43) . 2626) ((74 43) . 2627) ((73 43) . 2628) ((72 43) . 2629) ((71 43) . 2630) ((71 44) . 2631) ((71 45) . 2632) ((72 45) . 2633) ((73 45) . 2634) ((74 45) . 2635) ((75 45) . 2636) ((75 46) . 2637) ((75 47) . 2638) ((76 47) . 2639) ((77 47) . 2640) ((78 47) . 2641) ((79 47) . 2642) ((80 47) . 2643) ((81 47) . 2644) ((81 48) . 2645) ((81 49) . 2646) ((80 49) . 2647) ((79 49) . 2648) ((79 50) . 2649) ((79 51) . 2650) ((80 51) . 2651) ((81 51) . 2652) ((81 52) . 2653) ((81 53) . 2654) ((82 53) . 2655) ((83 53) . 2656) ((83 54) . 2657) ((83 55) . 2658) ((82 55) . 2659) ((81 55) . 2660) ((80 55) . 2661) ((79 55) . 2662) ((79 54) . 2663) ((79 53) . 2664) ((78 53) . 2665) ((77 53) . 2666) ((77 54) . 2667) ((77 55) . 2668) ((76 55) . 2669) ((75 55) . 2670) ((75 54) . 2671) ((75 53) . 2672) ((74 53) . 2673) ((73 53) . 2674) ((73 52) . 2675) ((73 51) . 2676) ((74 51) . 2677) ((75 51) . 2678) ((76 51) . 2679) ((77 51) . 2680) ((77 50) . 2681) ((77 49) . 2682) ((76 49) . 2683) ((75 49) . 2684) ((74 49) . 2685) ((73 49) . 2686) ((73 48) . 2687) ((73 47) . 2688) ((72 47) . 2689) ((71 47) . 2690) ((71 48) . 2691) ((71 49) . 2692) ((71 50) . 2693) ((71 51) . 2694) ((71 52) . 2695) ((71 53) . 2696) ((71 54) . 2697) ((71 55) . 2698) ((72 55) . 2699) ((73 55) . 2700) ((73 56) . 2701) ((73 57) . 2702) ((73 58) . 2703) ((73 59) . 2704) ((73 60) . 2705) ((73 61) . 2706) ((73 62) . 2707) ((73 63) . 2708) ((72 63) . 2709) ((71 63) . 2710) ((71 62) . 2711) ((71 61) . 2712) ((70 61) . 2713) ((69 61) . 2714) ((69 60) . 2715) ((69 59) . 2716) ((70 59) . 2717) ((71 59) . 2718) ((71 58) . 2719) ((71 57) . 2720) ((70 57) . 2721) ((69 57) . 2722) ((69 56) . 2723) ((69 55) . 2724) ((68 55) . 2725) ((67 55) . 2726) ((67 54) . 2727) ((67 53) . 2728) ((68 53) . 2729) ((69 53) . 2730) ((69 52) . 2731) ((69 51) . 2732) ((68 51) . 2733) ((67 51) . 2734) ((66 51) . 2735) ((65 51) . 2736) ((65 52) . 2737) ((65 53) . 2738) ((65 54) . 2739) ((65 55) . 2740) ((65 56) . 2741) ((65 57) . 2742) ((66 57) . 2743) ((67 57) . 2744) ((67 58) . 2745) ((67 59) . 2746) ((66 59) . 2747) ((65 59) . 2748) ((65 60) . 2749) ((65 61) . 2750) ((66 61) . 2751) ((67 61) . 2752) ((67 62) . 2753) ((67 63) . 2754) ((66 63) . 2755) ((65 63) . 2756) ((65 64) . 2757) ((65 65) . 2758) ((66 65) . 2759) ((67 65) . 2760) ((67 66) . 2761) ((67 67) . 2762) ((66 67) . 2763) ((65 67) . 2764) ((64 67) . 2765) ((63 67) . 2766) ((63 66) . 2767) ((63 65) . 2768) ((63 64) . 2769) ((63 63) . 2770) ((62 63) . 2771) ((61 63) . 2772) ((61 62) . 2773) ((61 61) . 2774) ((62 61) . 2775) ((63 61) . 2776) ((63 60) . 2777) ((63 59) . 2778) ((63 58) . 2779) ((63 57) . 2780) ((63 56) . 2781) ((63 55) . 2782) ((63 54) . 2783) ((63 53) . 2784) ((63 52) . 2785) ((63 51) . 2786) ((63 50) . 2787) ((63 49) . 2788) ((64 49) . 2789) ((65 49) . 2790) ((66 49) . 2791) ((67 49) . 2792) ((68 49) . 2793) ((69 49) . 2794) ((69 48) . 2795) ((69 47) . 2796) ((68 47) . 2797) ((67 47) . 2798) ((67 46) . 2799) ((67 45) . 2800) ((68 45) . 2801) ((69 45) . 2802) ((69 44) . 2803) ((69 43) . 2804) ((69 42) . 2805) ((69 41) . 2806) ((68 41) . 2807) ((67 41) . 2808) ((67 40) . 2809) ((67 39) . 2810) ((68 39) . 2811) ((69 39) . 2812) ((70 39) . 2813) ((71 39) . 2814) ((71 40) . 2815) ((71 41) . 2816) ((72 41) . 2817) ((73 41) . 2818) ((73 40) . 2819) ((73 39) . 2820) ((73 38) . 2821) ((73 37) . 2822) ((73 36) . 2823) ((73 35) . 2824) ((72 35) . 2825) ((71 35) . 2826) ((71 34) . 2827) ((71 33) . 2828) ((72 33) . 2829) ((73 33) . 2830) ((73 32) . 2831) ((73 31) . 2832) ((72 31) . 2833) ((71 31) . 2834) ((70 31) . 2835) ((69 31) . 2836) ((69 32) . 2837) ((69 33) . 2838) ((69 34) . 2839) ((69 35) . 2840) ((69 36) . 2841) ((69 37) . 2842) ((68 37) . 2843) ((67 37) . 2844) ((67 36) . 2845) ((67 35) . 2846) ((67 34) . 2847) ((67 33) . 2848) ((67 32) . 2849) ((67 31) . 2850) ((67 30) . 2851) ((67 29) . 2852) ((68 29) . 2853) ((69 29) . 2854) ((69 28) . 2855) ((69 27) . 2856) ((70 27) . 2857) ((71 27) . 2858) ((71 28) . 2859) ((71 29) . 2860) ((72 29) . 2861) ((73 29) . 2862) ((73 28) . 2863) ((73 27) . 2864) ((74 27) . 2865) ((75 27) . 2866) ((75 26) . 2867) ((75 25) . 2868) ((74 25) . 2869) ((73 25) . 2870) ((72 25) . 2871) ((71 25) . 2872) ((71 24) . 2873) ((71 23) . 2874) ((72 23) . 2875) ((73 23) . 2876) ((74 23) . 2877) ((75 23) . 2878) ((75 22) . 2879) ((75 21) . 2880) ((74 21) . 2881) ((73 21) . 2882) ((73 20) . 2883) ((73 19) . 2884) ((73 18) . 2885) ((73 17) . 2886) ((74 17) . 2887) ((75 17) . 2888) ((75 16) . 2889) ((75 15) . 2890) ((76 15) . 2891) ((77 15) . 2892) ((77 14) . 2893) ((77 13) . 2894) ((78 13) . 2895) ((79 13) . 2896) ((79 14) . 2897) ((79 15) . 2898) ((80 15) . 2899) ((81 15) . 2900) ((81 14) . 2901) ((81 13) . 2902) ((81 12) . 2903) ((81 11) . 2904) ((80 11) . 2905) ((79 11) . 2906) ((78 11) . 2907) ((77 11) . 2908) ((76 11) . 2909) ((75 11) . 2910) ((75 12) . 2911) ((75 13) . 2912) ((74 13) . 2913) ((73 13) . 2914) ((73 14) . 2915) ((73 15) . 2916) ((72 15) . 2917) ((71 15) . 2918) ((71 16) . 2919) ((71 17) . 2920) ((71 18) . 2921) ((71 19) . 2922) ((71 20) . 2923) ((71 21) . 2924) ((70 21) . 2925) ((69 21) . 2926) ((69 20) . 2927) ((69 19) . 2928) ((69 18) . 2929) ((69 17) . 2930) ((69 16) . 2931) ((69 15) . 2932) ((68 15) . 2933) ((67 15) . 2934) ((67 14) . 2935) ((67 13) . 2936) ((68 13) . 2937) ((69 13) . 2938) ((70 13) . 2939) ((71 13) . 2940) ((71 12) . 2941) ((71 11) . 2942) ((71 10) . 2943) ((71 9) . 2944) ((72 9) . 2945) ((73 9) . 2946) ((74 9) . 2947) ((75 9) . 2948) ((76 9) . 2949) ((77 9) . 2950) ((78 9) . 2951) ((79 9) . 2952) ((79 8) . 2953) ((79 7) . 2954) ((78 7) . 2955) ((77 7) . 2956) ((77 6) . 2957) ((77 5) . 2958) ((78 5) . 2959) ((79 5) . 2960) ((80 5) . 2961) ((81 5) . 2962) ((81 6) . 2963) ((81 7) . 2964) ((81 8) . 2965) ((81 9) . 2966) ((82 9) . 2967) ((83 9) . 2968) ((83 8) . 2969) ((83 7) . 2970) ((83 6) . 2971) ((83 5) . 2972) ((84 5) . 2973) ((85 5) . 2974) ((85 6) . 2975) ((85 7) . 2976) ((85 8) . 2977) ((85 9) . 2978) ((86 9) . 2979) ((87 9) . 2980) ((88 9) . 2981) ((89 9) . 2982) ((89 8) . 2983) ((89 7) . 2984) ((88 7) . 2985) ((87 7) . 2986) ((87 6) . 2987) ((87 5) . 2988) ((88 5) . 2989) ((89 5) . 2990) ((90 5) . 2991) ((91 5) . 2992) ((91 4) . 2993) ((91 3) . 2994) ((90 3) . 2995) ((89 3) . 2996) ((89 2) . 2997) ((89 1) . 2998) ((88 1) . 2999) ((87 1) . 3000) ((87 2) . 3001) ((87 3) . 3002) ((86 3) . 3003) ((85 3) . 3004) ((85 2) . 3005) ((85 1) . 3006) ((84 1) . 3007) ((83 1) . 3008) ((83 2) . 3009) ((83 3) . 3010) ((82 3) . 3011) ((81 3) . 3012) ((81 2) . 3013) ((81 1) . 3014) ((80 1) . 3015) ((79 1) . 3016) ((79 2) . 3017) ((79 3) . 3018) ((78 3) . 3019) ((77 3) . 3020) ((77 2) . 3021) ((77 1) . 3022) ((76 1) . 3023) ((75 1) . 3024) ((75 2) . 3025) ((75 3) . 3026) ((74 3) . 3027) ((73 3) . 3028) ((73 2) . 3029) ((73 1) . 3030) ((72 1) . 3031) ((71 1) . 3032) ((71 2) . 3033) ((71 3) . 3034) ((71 4) . 3035) ((71 5) . 3036) ((72 5) . 3037) ((73 5) . 3038) ((74 5) . 3039) ((75 5) . 3040) ((75 6) . 3041) ((75 7) . 3042) ((74 7) . 3043) ((73 7) . 3044) ((72 7) . 3045) ((71 7) . 3046) ((70 7) . 3047) ((69 7) . 3048) ((69 6) . 3049) ((69 5) . 3050) ((68 5) . 3051) ((67 5) . 3052) ((67 4) . 3053) ((67 3) . 3054) ((68 3) . 3055) ((69 3) . 3056) ((69 2) . 3057) ((69 1) . 3058) ((68 1) . 3059) ((67 1) . 3060) ((66 1) . 3061) ((65 1) . 3062) ((64 1) . 3063) ((63 1) . 3064) ((62 1) . 3065) ((61 1) . 3066) ((61 2) . 3067) ((61 3) . 3068) ((60 3) . 3069) ((59 3) . 3070) ((59 4) . 3071) ((59 5) . 3072) ((60 5) . 3073) ((61 5) . 3074) ((61 6) . 3075) ((61 7) . 3076) ((61 8) . 3077) ((61 9) . 3078) ((62 9) . 3079) ((63 9) . 3080) ((63 8) . 3081) ((63 7) . 3082) ((63 6) . 3083) ((63 5) . 3084) ((63 4) . 3085) ((63 3) . 3086) ((64 3) . 3087) ((65 3) . 3088) ((65 4) . 3089) ((65 5) . 3090) ((65 6) . 3091) ((65 7) . 3092) ((66 7) . 3093) ((67 7) . 3094) ((67 8) . 3095) ((67 9) . 3096) ((68 9) . 3097) ((69 9) . 3098) ((69 10) . 3099) ((69 11) . 3100) ((68 11) . 3101) ((67 11) . 3102) ((66 11) . 3103) ((65 11) . 3104) ((64 11) . 3105) ((63 11) . 3106) ((62 11) . 3107) ((61 11) . 3108) ((61 12) . 3109) ((61 13) . 3110) ((62 13) . 3111) ((63 13) . 3112) ((64 13) . 3113) ((65 13) . 3114) ((65 14) . 3115) ((65 15) . 3116) ((64 15) . 3117) ((63 15) . 3118) ((62 15) . 3119) ((61 15) . 3120) ((61 16) . 3121) ((61 17) . 3122) ((62 17) . 3123) ((63 17) . 3124) ((64 17) . 3125) ((65 17) . 3126) ((66 17) . 3127) ((67 17) . 3128) ((67 18) . 3129) ((67 19) . 3130) ((67 20) . 3131) ((67 21) . 3132) ((66 21) . 3133) ((65 21) . 3134) ((65 20) . 3135) ((65 19) . 3136) ((64 19) . 3137) ((63 19) . 3138) ((62 19) . 3139) ((61 19) . 3140) ((61 20) . 3141) ((61 21) . 3142) ((62 21) . 3143) ((63 21) . 3144) ((63 22) . 3145) ((63 23) . 3146) ((63 24) . 3147) ((63 25) . 3148) ((64 25) . 3149) ((65 25) . 3150) ((65 24) . 3151) ((65 23) . 3152) ((66 23) . 3153) ((67 23) . 3154) ((68 23) . 3155) ((69 23) . 3156) ((69 24) . 3157) ((69 25) . 3158) ((68 25) . 3159) ((67 25) . 3160) ((67 26) . 3161) ((67 27) . 3162) ((66 27) . 3163) ((65 27) . 3164) ((65 28) . 3165) ((65 29) . 3166) ((65 30) . 3167) ((65 31) . 3168) ((65 32) . 3169) ((65 33) . 3170) ((65 34) . 3171) ((65 35) . 3172) ((65 36) . 3173) ((65 37) . 3174) ((65 38) . 3175) ((65 39) . 3176) ((64 39) . 3177) ((63 39) . 3178) ((63 40) . 3179) ((63 41) . 3180) ((64 41) . 3181) ((65 41) . 3182) ((65 42) . 3183) ((65 43) . 3184) ((65 44) . 3185) ((65 45) . 3186) ((65 46) . 3187) ((65 47) . 3188) ((64 47) . 3189) ((63 47) . 3190) ((62 47) . 3191) ((61 47) . 3192) ((61 46) . 3193) ((61 45) . 3194) ((62 45) . 3195) ((63 45) . 3196) ((63 44) . 3197) ((63 43) . 3198) ((62 43) . 3199) ((61 43) . 3200) ((61 42) . 3201) ((61 41) . 3202) ((61 40) . 3203) ((61 39) . 3204) ((61 38) . 3205) ((61 37) . 3206) ((62 37) . 3207) ((63 37) . 3208) ((63 36) . 3209) ((63 35) . 3210) ((62 35) . 3211) ((61 35) . 3212) ((61 34) . 3213) ((61 33) . 3214) ((62 33) . 3215) ((63 33) . 3216) ((63 32) . 3217) ((63 31) . 3218) ((63 30) . 3219) ((63 29) . 3220) ((63 28) . 3221) ((63 27) . 3222) ((62 27) . 3223) ((61 27) . 3224) ((61 28) . 3225) ((61 29) . 3226) ((61 30) . 3227) ((61 31) . 3228) ((60 31) . 3229) ((59 31) . 3230) ((58 31) . 3231) ((57 31) . 3232) ((57 32) . 3233) ((57 33) . 3234) ((58 33) . 3235) ((59 33) . 3236) ((59 34) . 3237) ((59 35) . 3238) ((58 35) . 3239) ((57 35) . 3240) ((57 36) . 3241) ((57 37) . 3242) ((58 37) . 3243) ((59 37) . 3244) ((59 38) . 3245) ((59 39) . 3246) ((59 40) . 3247) ((59 41) . 3248) ((59 42) . 3249) ((59 43) . 3250) ((59 44) . 3251) ((59 45) . 3252) ((58 45) . 3253) ((57 45) . 3254) ((57 44) . 3255) ((57 43) . 3256) ((56 43) . 3257) ((55 43) . 3258) ((55 42) . 3259) ((55 41) . 3260) ((56 41) . 3261) ((57 41) . 3262) ((57 40) . 3263) ((57 39) . 3264) ((56 39) . 3265) ((55 39) . 3266) ((55 38) . 3267) ((55 37) . 3268) ((55 36) . 3269) ((55 35) . 3270) ((54 35) . 3271) ((53 35) . 3272) ((53 34) . 3273) ((53 33) . 3274) ((54 33) . 3275) ((55 33) . 3276) ((55 32) . 3277) ((55 31) . 3278) ((54 31) . 3279) ((53 31) . 3280) ((52 31) . 3281) ((51 31) . 3282) ((51 30) . 3283) ((51 29) . 3284) ((52 29) . 3285) ((53 29) . 3286) ((54 29) . 3287) ((55 29) . 3288) ((56 29) . 3289) ((57 29) . 3290) ((58 29) . 3291) ((59 29) . 3292) ((59 28) . 3293) ((59 27) . 3294) ((59 26) . 3295) ((59 25) . 3296) ((60 25) . 3297) ((61 25) . 3298) ((61 24) . 3299) ((61 23) . 3300) ((60 23) . 3301) ((59 23) . 3302) ((59 22) . 3303) ((59 21) . 3304) ((59 20) . 3305) ((59 19) . 3306) ((59 18) . 3307) ((59 17) . 3308) ((58 17) . 3309) ((57 17) . 3310) ((57 18) . 3311) ((57 19) . 3312) ((57 20) . 3313) ((57 21) . 3314) ((56 21) . 3315) ((55 21) . 3316) ((55 20) . 3317) ((55 19) . 3318) ((55 18) . 3319) ((55 17) . 3320) ((55 16) . 3321) ((55 15) . 3322) ((56 15) . 3323) ((57 15) . 3324) ((58 15) . 3325) ((59 15) . 3326) ((59 14) . 3327) ((59 13) . 3328) ((58 13) . 3329) ((57 13) . 3330) ((57 12) . 3331) ((57 11) . 3332) ((58 11) . 3333) ((59 11) . 3334) ((59 10) . 3335) ((59 9) . 3336) ((58 9) . 3337) ((57 9) . 3338) ((56 9) . 3339) ((55 9) . 3340) ((54 9) . 3341) ((53 9) . 3342) ((53 10) . 3343) ((53 11) . 3344) ((54 11) . 3345) ((55 11) . 3346) ((55 12) . 3347) ((55 13) . 3348) ((54 13) . 3349) ((53 13) . 3350) ((53 14) . 3351) ((53 15) . 3352) ((52 15) . 3353) ((51 15) . 3354) ((51 14) . 3355) ((51 13) . 3356) ((51 12) . 3357) ((51 11) . 3358) ((51 10) . 3359) ((51 9) . 3360) ((51 8) . 3361) ((51 7) . 3362) ((52 7) . 3363) ((53 7) . 3364) ((54 7) . 3365) ((55 7) . 3366) ((56 7) . 3367) ((57 7) . 3368) ((57 6) . 3369) ((57 5) . 3370) ((56 5) . 3371) ((55 5) . 3372) ((55 4) . 3373) ((55 3) . 3374) ((56 3) . 3375) ((57 3) . 3376) ((57 2) . 3377) ((57 1) . 3378) ((56 1) . 3379) ((55 1) . 3380) ((54 1) . 3381) ((53 1) . 3382) ((53 2) . 3383) ((53 3) . 3384) ((53 4) . 3385) ((53 5) . 3386) ((52 5) . 3387) ((51 5) . 3388) ((51 4) . 3389) ((51 3) . 3390) ((51 2) . 3391) ((51 1) . 3392) ((50 1) . 3393) ((49 1) . 3394) ((48 1) . 3395) ((47 1) . 3396) ((46 1) . 3397) ((45 1) . 3398) ((44 1) . 3399) ((43 1) . 3400) ((43 2) . 3401) ((43 3) . 3402) ((44 3) . 3403) ((45 3) . 3404) ((46 3) . 3405) ((47 3) . 3406) ((48 3) . 3407) ((49 3) . 3408) ((49 4) . 3409) ((49 5) . 3410) ((49 6) . 3411) ((49 7) . 3412) ((49 8) . 3413) ((49 9) . 3414) ((49 10) . 3415) ((49 11) . 3416) ((49 12) . 3417) ((49 13) . 3418) ((49 14) . 3419) ((49 15) . 3420) ((48 15) . 3421) ((47 15) . 3422) ((47 14) . 3423) ((47 13) . 3424) ((47 12) . 3425) ((47 11) . 3426) ((47 10) . 3427) ((47 9) . 3428) ((47 8) . 3429) ((47 7) . 3430) ((47 6) . 3431) ((47 5) . 3432) ((46 5) . 3433) ((45 5) . 3434) ((45 6) . 3435) ((45 7) . 3436) ((44 7) . 3437) ((43 7) . 3438) ((43 8) . 3439) ((43 9) . 3440) ((44 9) . 3441) ((45 9) . 3442) ((45 10) . 3443) ((45 11) . 3444) ((44 11) . 3445) ((43 11) . 3446) ((43 12) . 3447) ((43 13) . 3448) ((44 13) . 3449) ((45 13) . 3450) ((45 14) . 3451) ((45 15) . 3452) ((44 15) . 3453) ((43 15) . 3454) ((43 16) . 3455) ((43 17) . 3456) ((44 17) . 3457) ((45 17) . 3458) ((45 18) . 3459) ((45 19) . 3460) ((46 19) . 3461) ((47 19) . 3462) ((47 18) . 3463) ((47 17) . 3464) ((48 17) . 3465) ((49 17) . 3466) ((49 18) . 3467) ((49 19) . 3468) ((50 19) . 3469) ((51 19) . 3470) ((51 18) . 3471) ((51 17) . 3472) ((52 17) . 3473) ((53 17) . 3474) ((53 18) . 3475) ((53 19) . 3476) ((53 20) . 3477) ((53 21) . 3478) ((53 22) . 3479) ((53 23) . 3480) ((54 23) . 3481) ((55 23) . 3482) ((56 23) . 3483) ((57 23) . 3484) ((57 24) . 3485) ((57 25) . 3486) ((57 26) . 3487) ((57 27) . 3488) ((56 27) . 3489) ((55 27) . 3490) ((55 26) . 3491) ((55 25) . 3492) ((54 25) . 3493) ((53 25) . 3494) ((53 26) . 3495) ((53 27) . 3496) ((52 27) . 3497) ((51 27) . 3498) ((51 26) . 3499) ((51 25) . 3500) ((51 24) . 3501) ((51 23) . 3502) ((51 22) . 3503) ((51 21) . 3504) ((50 21) . 3505) ((49 21) . 3506) ((48 21) . 3507) ((47 21) . 3508) ((47 22) . 3509) ((47 23) . 3510) ((48 23) . 3511) ((49 23) . 3512) ((49 24) . 3513) ((49 25) . 3514) ((49 26) . 3515) ((49 27) . 3516) ((49 28) . 3517) ((49 29) . 3518) ((49 30) . 3519) ((49 31) . 3520) ((49 32) . 3521) ((49 33) . 3522) ((50 33) . 3523) ((51 33) . 3524) ((51 34) . 3525) ((51 35) . 3526) ((50 35) . 3527) ((49 35) . 3528) ((49 36) . 3529) ((49 37) . 3530) ((49 38) . 3531) ((49 39) . 3532) ((50 39) . 3533) ((51 39) . 3534) ((51 38) . 3535) ((51 37) . 3536) ((52 37) . 3537) ((53 37) . 3538) ((53 38) . 3539) ((53 39) . 3540) ((53 40) . 3541) ((53 41) . 3542) ((52 41) . 3543) ((51 41) . 3544) ((50 41) . 3545) ((49 41) . 3546) ((49 42) . 3547) ((49 43) . 3548) ((50 43) . 3549) ((51 43) . 3550) ((52 43) . 3551) ((53 43) . 3552) ((53 44) . 3553) ((53 45) . 3554) ((54 45) . 3555) ((55 45) . 3556) ((55 46) . 3557) ((55 47) . 3558) ((56 47) . 3559) ((57 47) . 3560) ((57 48) . 3561) ((57 49) . 3562) ((58 49) . 3563) ((59 49) . 3564) ((60 49) . 3565) ((61 49) . 3566) ((61 50) . 3567) ((61 51) . 3568) ((61 52) . 3569) ((61 53) . 3570) ((61 54) . 3571) ((61 55) . 3572) ((61 56) . 3573) ((61 57) . 3574) ((61 58) . 3575) ((61 59) . 3576) ((60 59) . 3577) ((59 59) . 3578) ((59 58) . 3579) ((59 57) . 3580) ((59 56) . 3581) ((59 55) . 3582) ((59 54) . 3583) ((59 53) . 3584) ((59 52) . 3585) ((59 51) . 3586) ((58 51) . 3587) ((57 51) . 3588) ((57 52) . 3589) ((57 53) . 3590) ((57 54) . 3591) ((57 55) . 3592) ((57 56) . 3593) ((57 57) . 3594) ((57 58) . 3595) ((57 59) . 3596) ((57 60) . 3597) ((57 61) . 3598) ((56 61) . 3599) ((55 61) . 3600) ((54 61) . 3601) ((53 61) . 3602) ((52 61) . 3603) ((51 61) . 3604) ((51 60) . 3605) ((51 59) . 3606) ((52 59) . 3607) ((53 59) . 3608) ((54 59) . 3609) ((55 59) . 3610) ((55 58) . 3611) ((55 57) . 3612) ((55 56) . 3613) ((55 55) . 3614) ((55 54) . 3615) ((55 53) . 3616) ((55 52) . 3617) ((55 51) . 3618) ((55 50) . 3619) ((55 49) . 3620) ((54 49) . 3621) ((53 49) . 3622) ((53 48) . 3623) ((53 47) . 3624) ((52 47) . 3625) ((51 47) . 3626) ((51 46) . 3627) ((51 45) . 3628) ((50 45) . 3629) ((49 45) . 3630) ((49 46) . 3631) ((49 47) . 3632) ((49 48) . 3633) ((49 49) . 3634) ((49 50) . 3635) ((49 51) . 3636) ((50 51) . 3637) ((51 51) . 3638) ((52 51) . 3639) ((53 51) . 3640) ((53 52) . 3641) ((53 53) . 3642) ((52 53) . 3643) ((51 53) . 3644) ((50 53) . 3645) ((49 53) . 3646) ((48 53) . 3647) ((47 53) . 3648) ((47 52) . 3649) ((47 51) . 3650) ((47 50) . 3651) ((47 49) . 3652) ((47 48) . 3653) ((47 47) . 3654) ((47 46) . 3655) ((47 45) . 3656) ((46 45) . 3657) ((45 45) . 3658) ((44 45) . 3659) ((43 45) . 3660) ((42 45) . 3661) ((41 45) . 3662) ((41 44) . 3663) ((41 43) . 3664) ((42 43) . 3665) ((43 43) . 3666) ((43 42) . 3667) ((43 41) . 3668) ((44 41) . 3669) ((45 41) . 3670) ((45 42) . 3671) ((45 43) . 3672) ((46 43) . 3673) ((47 43) . 3674) ((47 42) . 3675) ((47 41) . 3676) ((47 40) . 3677) ((47 39) . 3678) ((46 39) . 3679) ((45 39) . 3680) ((45 38) . 3681) ((45 37) . 3682) ((46 37) . 3683) ((47 37) . 3684) ((47 36) . 3685) ((47 35) . 3686) ((47 34) . 3687) ((47 33) . 3688) ((47 32) . 3689) ((47 31) . 3690) ((47 30) . 3691) ((47 29) . 3692) ((47 28) . 3693) ((47 27) . 3694) ((47 26) . 3695) ((47 25) . 3696) ((46 25) . 3697) ((45 25) . 3698) ((45 26) . 3699) ((45 27) . 3700) ((45 28) . 3701) ((45 29) . 3702) ((45 30) . 3703) ((45 31) . 3704) ((45 32) . 3705) ((45 33) . 3706) ((45 34) . 3707) ((45 35) . 3708) ((44 35) . 3709) ((43 35) . 3710) ((43 34) . 3711) ((43 33) . 3712) ((43 32) . 3713) ((43 31) . 3714) ((43 30) . 3715) ((43 29) . 3716) ((43 28) . 3717) ((43 27) . 3718) ((42 27) . 3719) ((41 27) . 3720) ((41 26) . 3721) ((41 25) . 3722) ((42 25) . 3723) ((43 25) . 3724) ((43 24) . 3725) ((43 23) . 3726) ((44 23) . 3727) ((45 23) . 3728) ((45 22) . 3729) ((45 21) . 3730) ((44 21) . 3731) ((43 21) . 3732) ((43 20) . 3733) ((43 19) . 3734) ((42 19) . 3735) ((41 19) . 3736) ((41 20) . 3737) ((41 21) . 3738) ((41 22) . 3739) ((41 23) . 3740) ((40 23) . 3741) ((39 23) . 3742) ((39 24) . 3743) ((39 25) . 3744) ((39 26) . 3745) ((39 27) . 3746) ((38 27) . 3747) ((37 27) . 3748) ((37 26) . 3749) ((37 25) . 3750) ((37 24) . 3751) ((37 23) . 3752) ((37 22) . 3753) ((37 21) . 3754) ((38 21) . 3755) ((39 21) . 3756) ((39 20) . 3757) ((39 19) . 3758) ((39 18) . 3759) ((39 17) . 3760) ((40 17) . 3761) ((41 17) . 3762) ((41 16) . 3763) ((41 15) . 3764) ((40 15) . 3765) ((39 15) . 3766) ((39 14) . 3767) ((39 13) . 3768) ((39 12) . 3769) ((39 11) . 3770) ((40 11) . 3771) ((41 11) . 3772) ((41 10) . 3773) ((41 9) . 3774) ((41 8) . 3775) ((41 7) . 3776) ((41 6) . 3777) ((41 5) . 3778) ((40 5) . 3779) ((39 5) . 3780) ((39 6) . 3781) ((39 7) . 3782) ((39 8) . 3783) ((39 9) . 3784) ((38 9) . 3785) ((37 9) . 3786) ((37 10) . 3787) ((37 11) . 3788) ((37 12) . 3789) ((37 13) . 3790) ((37 14) . 3791) ((37 15) . 3792) ((36 15) . 3793) ((35 15) . 3794) ((35 16) . 3795) ((35 17) . 3796) ((36 17) . 3797) ((37 17) . 3798) ((37 18) . 3799) ((37 19) . 3800) ((36 19) . 3801) ((35 19) . 3802) ((35 20) . 3803) ((35 21) . 3804) ((34 21) . 3805) ((33 21) . 3806) ((33 22) . 3807) ((33 23) . 3808) ((34 23) . 3809) ((35 23) . 3810) ((35 24) . 3811) ((35 25) . 3812) ((34 25) . 3813) ((33 25) . 3814) ((33 26) . 3815) ((33 27) . 3816) ((34 27) . 3817) ((35 27) . 3818) ((35 28) . 3819) ((35 29) . 3820) ((35 30) . 3821) ((35 31) . 3822) ((36 31) . 3823) ((37 31) . 3824) ((37 30) . 3825) ((37 29) . 3826) ((38 29) . 3827) ((39 29) . 3828) ((40 29) . 3829) ((41 29) . 3830) ((41 30) . 3831) ((41 31) . 3832) ((40 31) . 3833) ((39 31) . 3834) ((39 32) . 3835) ((39 33) . 3836) ((40 33) . 3837) ((41 33) . 3838) ((41 34) . 3839) ((41 35) . 3840) ((40 35) . 3841) ((39 35) . 3842) ((39 36) . 3843) ((39 37) . 3844) ((40 37) . 3845) ((41 37) . 3846) ((42 37) . 3847) ((43 37) . 3848) ((43 38) . 3849) ((43 39) . 3850) ((42 39) . 3851) ((41 39) . 3852) ((41 40) . 3853) ((41 41) . 3854) ((40 41) . 3855) ((39 41) . 3856) ((39 40) . 3857) ((39 39) . 3858) ((38 39) . 3859) ((37 39) . 3860) ((37 38) . 3861) ((37 37) . 3862) ((37 36) . 3863) ((37 35) . 3864) ((37 34) . 3865) ((37 33) . 3866) ((36 33) . 3867) ((35 33) . 3868) ((34 33) . 3869) ((33 33) . 3870) ((33 32) . 3871) ((33 31) . 3872) ((32 31) . 3873) ((31 31) . 3874) ((31 30) . 3875) ((31 29) . 3876) ((31 28) . 3877) ((31 27) . 3878) ((31 26) . 3879) ((31 25) . 3880) ((31 24) . 3881) ((31 23) . 3882) ((31 22) . 3883) ((31 21) . 3884) ((30 21) . 3885) ((29 21) . 3886) ((29 20) . 3887) ((29 19) . 3888) ((30 19) . 3889) ((31 19) . 3890) ((32 19) . 3891) ((33 19) . 3892) ((33 18) . 3893) ((33 17) . 3894) ((33 16) . 3895) ((33 15) . 3896) ((33 14) . 3897) ((33 13) . 3898) ((34 13) . 3899) ((35 13) . 3900) ((35 12) . 3901) ((35 11) . 3902) ((35 10) . 3903) ((35 9) . 3904) ((34 9) . 3905) ((33 9) . 3906) ((33 10) . 3907) ((33 11) . 3908) ((32 11) . 3909) ((31 11) . 3910) ((30 11) . 3911) ((29 11) . 3912) ((29 10) . 3913) ((29 9) . 3914) ((29 8) . 3915) ((29 7) . 3916) ((30 7) . 3917) ((31 7) . 3918) ((32 7) . 3919) ((33 7) . 3920) ((34 7) . 3921) ((35 7) . 3922) ((36 7) . 3923) ((37 7) . 3924) ((37 6) . 3925) ((37 5) . 3926) ((37 4) . 3927) ((37 3) . 3928) ((38 3) . 3929) ((39 3) . 3930) ((40 3) . 3931) ((41 3) . 3932) ((41 2) . 3933) ((41 1) . 3934) ((40 1) . 3935) ((39 1) . 3936) ((38 1) . 3937) ((37 1) . 3938) ((36 1) . 3939) ((35 1) . 3940) ((35 2) . 3941) ((35 3) . 3942) ((35 4) . 3943) ((35 5) . 3944) ((34 5) . 3945) ((33 5) . 3946) ((33 4) . 3947) ((33 3) . 3948) ((33 2) . 3949) ((33 1) . 3950) ((32 1) . 3951) ((31 1) . 3952) ((31 2) . 3953) ((31 3) . 3954) ((31 4) . 3955) ((31 5) . 3956) ((30 5) . 3957) ((29 5) . 3958) ((29 4) . 3959) ((29 3) . 3960) ((29 2) . 3961) ((29 1) . 3962) ((28 1) . 3963) ((27 1) . 3964) ((27 2) . 3965) ((27 3) . 3966) ((27 4) . 3967) ((27 5) . 3968) ((27 6) . 3969) ((27 7) . 3970) ((26 7) . 3971) ((25 7) . 3972) ((25 6) . 3973) ((25 5) . 3974) ((25 4) . 3975) ((25 3) . 3976) ((25 2) . 3977) ((25 1) . 3978) ((24 1) . 3979) ((23 1) . 3980) ((23 2) . 3981) ((23 3) . 3982) ((22 3) . 3983) ((21 3) . 3984) ((21 2) . 3985) ((21 1) . 3986) ((20 1) . 3987) ((19 1) . 3988) ((19 2) . 3989) ((19 3) . 3990) ((19 4) . 3991) ((19 5) . 3992) ((20 5) . 3993) ((21 5) . 3994) ((22 5) . 3995) ((23 5) . 3996) ((23 6) . 3997) ((23 7) . 3998) ((22 7) . 3999) ((21 7) . 4000) ((21 8) . 4001) ((21 9) . 4002) ((20 9) . 4003) ((19 9) . 4004) ((19 10) . 4005) ((19 11) . 4006) ((19 12) . 4007) ((19 13) . 4008) ((20 13) . 4009) ((21 13) . 4010) ((21 12) . 4011) ((21 11) . 4012) ((22 11) . 4013) ((23 11) . 4014) ((23 10) . 4015) ((23 9) . 4016) ((24 9) . 4017) ((25 9) . 4018) ((26 9) . 4019) ((27 9) . 4020) ((27 10) . 4021) ((27 11) . 4022) ((27 12) . 4023) ((27 13) . 4024) ((28 13) . 4025) ((29 13) . 4026) ((30 13) . 4027) ((31 13) . 4028) ((31 14) . 4029) ((31 15) . 4030) ((31 16) . 4031) ((31 17) . 4032) ((30 17) . 4033) ((29 17) . 4034) ((29 16) . 4035) ((29 15) . 4036) ((28 15) . 4037) ((27 15) . 4038) ((27 16) . 4039) ((27 17) . 4040) ((27 18) . 4041) ((27 19) . 4042) ((27 20) . 4043) ((27 21) . 4044) ((26 21) . 4045) ((25 21) . 4046) ((25 20) . 4047) ((25 19) . 4048) ((25 18) . 4049) ((25 17) . 4050) ((25 16) . 4051) ((25 15) . 4052) ((25 14) . 4053) ((25 13) . 4054) ((24 13) . 4055) ((23 13) . 4056) ((23 14) . 4057) ((23 15) . 4058) ((23 16) . 4059) ((23 17) . 4060) ((23 18) . 4061) ((23 19) . 4062) ((23 20) . 4063) ((23 21) . 4064) ((22 21) . 4065) ((21 21) . 4066) ((21 20) . 4067) ((21 19) . 4068) ((21 18) . 4069) ((21 17) . 4070) ((21 16) . 4071) ((21 15) . 4072) ((20 15) . 4073) ((19 15) . 4074) ((18 15) . 4075) ((17 15) . 4076) ((17 14) . 4077) ((17 13) . 4078) ((17 12) . 4079) ((17 11) . 4080) ((16 11) . 4081) ((15 11) . 4082) ((15 10) . 4083) ((15 9) . 4084) ((15 8) . 4085) ((15 7) . 4086) ((16 7) . 4087) ((17 7) . 4088) ((17 6) . 4089) ((17 5) . 4090) ((17 4) . 4091) ((17 3) . 4092) ((17 2) . 4093) ((17 1) . 4094) ((16 1) . 4095) ((15 1) . 4096) ((14 1) . 4097) ((13 1) . 4098) ((12 1) . 4099) ((11 1) . 4100) ((10 1) . 4101) ((9 1) . 4102) ((9 2) . 4103) ((9 3) . 4104) ((10 3) . 4105) ((11 3) . 4106) ((12 3) . 4107) ((13 3) . 4108) ((14 3) . 4109) ((15 3) . 4110) ((15 4) . 4111) ((15 5) . 4112) ((14 5) . 4113) ((13 5) . 4114) ((13 6) . 4115) ((13 7) . 4116) ((12 7) . 4117) ((11 7) . 4118) ((11 8) . 4119) ((11 9) . 4120) ((12 9) . 4121) ((13 9) . 4122) ((13 10) . 4123) ((13 11) . 4124) ((12 11) . 4125) ((11 11) . 4126) ((11 12) . 4127) ((11 13) . 4128) ((12 13) . 4129) ((13 13) . 4130) ((14 13) . 4131) ((15 13) . 4132) ((15 14) . 4133) ((15 15) . 4134) ((14 15) . 4135) ((13 15) . 4136) ((12 15) . 4137) ((11 15) . 4138) ((10 15) . 4139) ((9 15) . 4140) ((9 14) . 4141) ((9 13) . 4142) ((9 12) . 4143) ((9 11) . 4144) ((9 10) . 4145) ((9 9) . 4146) ((8 9) . 4147) ((7 9) . 4148) ((7 8) . 4149) ((7 7) . 4150) ((8 7) . 4151) ((9 7) . 4152) ((9 6) . 4153) ((9 5) . 4154) ((8 5) . 4155) ((7 5) . 4156) ((7 4) . 4157) ((7 3) . 4158) ((7 2) . 4159) ((7 1) . 4160) ((6 1) . 4161) ((5 1) . 4162) ((5 2) . 4163) ((5 3) . 4164) ((5 4) . 4165) ((5 5) . 4166) ((5 6) . 4167) ((5 7) . 4168) ((4 7) . 4169) ((3 7) . 4170) ((3 6) . 4171) ((3 5) . 4172) ((3 4) . 4173) ((3 3) . 4174) ((3 2) . 4175) ((3 1) . 4176) ((2 1) . 4177) ((1 1) . 4178) ((1 2) . 4179) ((1 3) . 4180) ((1 4) . 4181) ((1 5) . 4182) ((1 6) . 4183) ((1 7) . 4184) ((1 8) . 4185) ((1 9) . 4186) ((1 10) . 4187) ((1 11) . 4188) ((1 12) . 4189) ((1 13) . 4190) ((2 13) . 4191) ((3 13) . 4192) ((3 12) . 4193) ((3 11) . 4194) ((3 10) . 4195) ((3 9) . 4196) ((4 9) . 4197) ((5 9) . 4198) ((5 10) . 4199) ((5 11) . 4200) ((6 11) . 4201) ((7 11) . 4202) ((7 12) . 4203) ((7 13) . 4204) ((6 13) . 4205) ((5 13) . 4206) ((5 14) . 4207) ((5 15) . 4208) ((6 15) . 4209) ((7 15) . 4210) ((7 16) . 4211) ((7 17) . 4212) ((7 18) . 4213) ((7 19) . 4214) ((6 19) . 4215) ((5 19) . 4216) ((4 19) . 4217) ((3 19) . 4218) ((3 18) . 4219) ((3 17) . 4220) ((3 16) . 4221) ((3 15) . 4222) ((2 15) . 4223) ((1 15) . 4224) ((1 16) . 4225) ((1 17) . 4226) ((1 18) . 4227) ((1 19) . 4228) ((1 20) . 4229) ((1 21) . 4230) ((2 21) . 4231) ((3 21) . 4232) ((4 21) . 4233) ((5 21) . 4234) ((5 22) . 4235) ((5 23) . 4236) ((4 23) . 4237) ((3 23) . 4238) ((3 24) . 4239) ((3 25) . 4240) ((2 25) . 4241) ((1 25) . 4242) ((1 26) . 4243) ((1 27) . 4244) ((2 27) . 4245) ((3 27) . 4246) ((3 28) . 4247) ((3 29) . 4248) ((2 29) . 4249) ((1 29) . 4250) ((1 30) . 4251) ((1 31) . 4252) ((2 31) . 4253) ((3 31) . 4254) ((4 31) . 4255) ((5 31) . 4256) ((5 30) . 4257) ((5 29) . 4258) ((5 28) . 4259) ((5 27) . 4260) ((5 26) . 4261) ((5 25) . 4262) ((6 25) . 4263) ((7 25) . 4264) ((7 24) . 4265) ((7 23) . 4266) ((7 22) . 4267) ((7 21) . 4268) ((8 21) . 4269) ((9 21) . 4270) ((9 20) . 4271) ((9 19) . 4272) ((9 18) . 4273) ((9 17) . 4274) ((10 17) . 4275) ((11 17) . 4276) ((12 17) . 4277) ((13 17) . 4278) ((14 17) . 4279) ((15 17) . 4280) ((16 17) . 4281) ((17 17) . 4282) ((18 17) . 4283) ((19 17) . 4284) ((19 18) . 4285) ((19 19) . 4286) ((18 19) . 4287) ((17 19) . 4288) ((16 19) . 4289) ((15 19) . 4290) ((14 19) . 4291) ((13 19) . 4292) ((13 20) . 4293) ((13 21) . 4294) ((12 21) . 4295) ((11 21) . 4296) ((11 22) . 4297) ((11 23) . 4298) ((12 23) . 4299) ((13 23) . 4300) ((14 23) . 4301) ((15 23) . 4302) ((15 22) . 4303) ((15 21) . 4304) ((16 21) . 4305) ((17 21) . 4306) ((18 21) . 4307) ((19 21) . 4308) ((19 22) . 4309) ((19 23) . 4310) ((20 23) . 4311) ((21 23) . 4312) ((21 24) . 4313) ((21 25) . 4314) ((20 25) . 4315) ((19 25) . 4316) ((19 26) . 4317) ((19 27) . 4318) ((20 27) . 4319) ((21 27) . 4320) ((22 27) . 4321) ((23 27) . 4322) ((24 27) . 4323) ((25 27) . 4324) ((25 26) . 4325) ((25 25) . 4326) ((24 25) . 4327) ((23 25) . 4328) ((23 24) . 4329) ((23 23) . 4330) ((24 23) . 4331) ((25 23) . 4332) ((26 23) . 4333) ((27 23) . 4334) ((28 23) . 4335) ((29 23) . 4336) ((29 24) . 4337) ((29 25) . 4338) ((28 25) . 4339) ((27 25) . 4340) ((27 26) . 4341) ((27 27) . 4342) ((28 27) . 4343) ((29 27) . 4344) ((29 28) . 4345) ((29 29) . 4346) ((29 30) . 4347) ((29 31) . 4348) ((28 31) . 4349) ((27 31) . 4350) ((27 30) . 4351) ((27 29) . 4352) ((26 29) . 4353) ((25 29) . 4354) ((25 30) . 4355) ((25 31) . 4356) ((24 31) . 4357) ((23 31) . 4358) ((23 30) . 4359) ((23 29) . 4360) ((22 29) . 4361) ((21 29) . 4362) ((21 30) . 4363) ((21 31) . 4364) ((20 31) . 4365) ((19 31) . 4366) ((18 31) . 4367) ((17 31) . 4368) ((17 30) . 4369) ((17 29) . 4370) ((17 28) . 4371) ((17 27) . 4372) ((17 26) . 4373) ((17 25) . 4374) ((16 25) . 4375) ((15 25) . 4376) ((15 26) . 4377) ((15 27) . 4378) ((15 28) . 4379) ((15 29) . 4380) ((14 29) . 4381) ((13 29) . 4382) ((13 28) . 4383) ((13 27) . 4384) ((13 26) . 4385) ((13 25) . 4386) ((12 25) . 4387) ((11 25) . 4388) ((10 25) . 4389) ((9 25) . 4390) ((9 26) . 4391) ((9 27) . 4392) ((10 27) . 4393) ((11 27) . 4394) ((11 28) . 4395) ((11 29) . 4396) ((10 29) . 4397) ((9 29) . 4398) ((8 29) . 4399) ((7 29) . 4400) ((7 30) . 4401) ((7 31) . 4402) ((8 31) . 4403) ((9 31) . 4404) ((10 31) . 4405) ((11 31) . 4406) ((12 31) . 4407) ((13 31) . 4408) ((14 31) . 4409) ((15 31) . 4410) ((15 32) . 4411) ((15 33) . 4412) ((14 33) . 4413) ((13 33) . 4414) ((12 33) . 4415) ((11 33) . 4416) ((10 33) . 4417) ((9 33) . 4418) ((9 34) . 4419) ((9 35) . 4420) ((8 35) . 4421) ((7 35) . 4422) ((6 35) . 4423) ((5 35) . 4424) ((5 34) . 4425) ((5 33) . 4426) ((4 33) . 4427) ((3 33) . 4428) ((3 34) . 4429) ((3 35) . 4430) ((2 35) . 4431) ((1 35) . 4432) ((1 36) . 4433) ((1 37) . 4434) ((2 37) . 4435) ((3 37) . 4436) ((3 38) . 4437) ((3 39) . 4438) ((2 39) . 4439) ((1 39) . 4440) ((1 40) . 4441) ((1 41) . 4442) ((2 41) . 4443) ((3 41) . 4444) ((4 41) . 4445) ((5 41) . 4446) ((5 40) . 4447) ((5 39) . 4448) ((5 38) . 4449) ((5 37) . 4450) ((6 37) . 4451) ((7 37) . 4452) ((7 38) . 4453) ((7 39) . 4454) ((8 39) . 4455) ((9 39) . 4456) ((9 38) . 4457) ((9 37) . 4458) ((10 37) . 4459) ((11 37) . 4460) ((11 36) . 4461) ((11 35) . 4462) ((12 35) . 4463) ((13 35) . 4464) ((14 35) . 4465) ((15 35) . 4466) ((16 35) . 4467) ((17 35) . 4468) ((17 34) . 4469) ((17 33) . 4470) ((18 33) . 4471) ((19 33) . 4472) ((20 33) . 4473) ((21 33) . 4474) ((22 33) . 4475) ((23 33) . 4476) ((24 33) . 4477) ((25 33) . 4478) ((26 33) . 4479) ((27 33) . 4480) ((28 33) . 4481) ((29 33) . 4482) ((30 33) . 4483) ((31 33) . 4484) ((31 34) . 4485) ((31 35) . 4486) ((32 35) . 4487) ((33 35) . 4488) ((34 35) . 4489) ((35 35) . 4490) ((35 36) . 4491) ((35 37) . 4492) ((34 37) . 4493) ((33 37) . 4494) ((32 37) . 4495) ((31 37) . 4496) ((31 38) . 4497) ((31 39) . 4498) ((30 39) . 4499) ((29 39) . 4500) ((29 38) . 4501) ((29 37) . 4502) ((29 36) . 4503) ((29 35) . 4504) ((28 35) . 4505) ((27 35) . 4506) ((26 35) . 4507) ((25 35) . 4508) ((24 35) . 4509) ((23 35) . 4510) ((23 36) . 4511) ((23 37) . 4512) ((24 37) . 4513) ((25 37) . 4514) ((26 37) . 4515) ((27 37) . 4516) ((27 38) . 4517) ((27 39) . 4518) ((26 39) . 4519) ((25 39) . 4520) ((24 39) . 4521) ((23 39) . 4522) ((22 39) . 4523) ((21 39) . 4524) ((21 38) . 4525) ((21 37) . 4526) ((21 36) . 4527) ((21 35) . 4528) ((20 35) . 4529) ((19 35) . 4530) ((19 36) . 4531) ((19 37) . 4532) ((18 37) . 4533) ((17 37) . 4534) ((16 37) . 4535) ((15 37) . 4536) ((15 38) . 4537) ((15 39) . 4538) ((14 39) . 4539) ((13 39) . 4540) ((12 39) . 4541) ((11 39) . 4542) ((11 40) . 4543) ((11 41) . 4544) ((12 41) . 4545) ((13 41) . 4546) ((14 41) . 4547) ((15 41) . 4548) ((16 41) . 4549) ((17 41) . 4550) ((17 40) . 4551) ((17 39) . 4552) ((18 39) . 4553) ((19 39) . 4554) ((19 40) . 4555) ((19 41) . 4556) ((20 41) . 4557) ((21 41) . 4558) ((22 41) . 4559) ((23 41) . 4560) ((24 41) . 4561) ((25 41) . 4562) ((26 41) . 4563) ((27 41) . 4564) ((28 41) . 4565) ((29 41) . 4566) ((30 41) . 4567) ((31 41) . 4568) ((31 42) . 4569) ((31 43) . 4570) ((32 43) . 4571) ((33 43) . 4572) ((33 42) . 4573) ((33 41) . 4574) ((33 40) . 4575) ((33 39) . 4576) ((34 39) . 4577) ((35 39) . 4578) ((35 40) . 4579) ((35 41) . 4580) ((36 41) . 4581) ((37 41) . 4582) ((37 42) . 4583) ((37 43) . 4584) ((36 43) . 4585) ((35 43) . 4586) ((35 44) . 4587) ((35 45) . 4588) ((36 45) . 4589) ((37 45) . 4590) ((38 45) . 4591) ((39 45) . 4592) ((39 46) . 4593) ((39 47) . 4594) ((40 47) . 4595) ((41 47) . 4596) ((42 47) . 4597) ((43 47) . 4598) ((44 47) . 4599) ((45 47) . 4600) ((45 48) . 4601) ((45 49) . 4602) ((44 49) . 4603) ((43 49) . 4604) ((42 49) . 4605) ((41 49) . 4606) ((40 49) . 4607) ((39 49) . 4608) ((38 49) . 4609) ((37 49) . 4610) ((37 48) . 4611) ((37 47) . 4612) ((36 47) . 4613) ((35 47) . 4614) ((35 48) . 4615) ((35 49) . 4616) ((34 49) . 4617) ((33 49) . 4618) ((33 48) . 4619) ((33 47) . 4620) ((33 46) . 4621) ((33 45) . 4622) ((32 45) . 4623) ((31 45) . 4624) ((31 46) . 4625) ((31 47) . 4626) ((30 47) . 4627) ((29 47) . 4628) ((29 46) . 4629) ((29 45) . 4630) ((29 44) . 4631) ((29 43) . 4632) ((28 43) . 4633) ((27 43) . 4634) ((26 43) . 4635) ((25 43) . 4636) ((24 43) . 4637) ((23 43) . 4638) ((22 43) . 4639) ((21 43) . 4640) ((20 43) . 4641) ((19 43) . 4642) ((19 44) . 4643) ((19 45) . 4644) ((20 45) . 4645) ((21 45) . 4646) ((21 46) . 4647) ((21 47) . 4648) ((22 47) . 4649) ((23 47) . 4650) ((23 46) . 4651) ((23 45) . 4652) ((24 45) . 4653) ((25 45) . 4654) ((26 45) . 4655) ((27 45) . 4656) ((27 46) . 4657) ((27 47) . 4658) ((27 48) . 4659) ((27 49) . 4660) ((26 49) . 4661) ((25 49) . 4662) ((25 50) . 4663) ((25 51) . 4664) ((26 51) . 4665) ((27 51) . 4666) ((28 51) . 4667) ((29 51) . 4668) ((29 50) . 4669) ((29 49) . 4670) ((30 49) . 4671) ((31 49) . 4672) ((31 50) . 4673) ((31 51) . 4674) ((32 51) . 4675) ((33 51) . 4676) ((34 51) . 4677) ((35 51) . 4678) ((36 51) . 4679) ((37 51) . 4680) ((38 51) . 4681) ((39 51) . 4682) ((40 51) . 4683) ((41 51) . 4684) ((42 51) . 4685) ((43 51) . 4686) ((44 51) . 4687) ((45 51) . 4688) ((45 52) . 4689) ((45 53) . 4690) ((44 53) . 4691) ((43 53) . 4692) ((42 53) . 4693) ((41 53) . 4694) ((40 53) . 4695) ((39 53) . 4696) ((38 53) . 4697) ((37 53) . 4698) ((36 53) . 4699) ((35 53) . 4700) ((35 54) . 4701) ((35 55) . 4702) ((36 55) . 4703) ((37 55) . 4704) ((38 55) . 4705) ((39 55) . 4706) ((40 55) . 4707) ((41 55) . 4708) ((41 56) . 4709) ((41 57) . 4710) ((40 57) . 4711) ((39 57) . 4712) ((38 57) . 4713) ((37 57) . 4714) ((36 57) . 4715) ((35 57) . 4716) ((34 57) . 4717) ((33 57) . 4718) ((33 56) . 4719) ((33 55) . 4720) ((32 55) . 4721) ((31 55) . 4722) ((31 54) . 4723) ((31 53) . 4724) ((30 53) . 4725) ((29 53) . 4726) ((29 54) . 4727) ((29 55) . 4728) ((29 56) . 4729) ((29 57) . 4730) ((30 57) . 4731) ((31 57) . 4732) ((31 58) . 4733) ((31 59) . 4734) ((30 59) . 4735) ((29 59) . 4736) ((29 60) . 4737) ((29 61) . 4738) ((28 61) . 4739) ((27 61) . 4740) ((27 60) . 4741) ((27 59) . 4742) ((27 58) . 4743) ((27 57) . 4744) ((27 56) . 4745) ((27 55) . 4746) ((27 54) . 4747) ((27 53) . 4748) ((26 53) . 4749) ((25 53) . 4750) ((25 54) . 4751) ((25 55) . 4752) ((24 55) . 4753) ((23 55) . 4754) ((23 54) . 4755) ((23 53) . 4756) ((23 52) . 4757) ((23 51) . 4758) ((23 50) . 4759) ((23 49) . 4760) ((22 49) . 4761) ((21 49) . 4762) ((21 50) . 4763) ((21 51) . 4764) ((21 52) . 4765) ((21 53) . 4766) ((21 54) . 4767) ((21 55) . 4768) ((20 55) . 4769) ((19 55) . 4770) ((19 54) . 4771) ((19 53) . 4772) ((19 52) . 4773) ((19 51) . 4774) ((18 51) . 4775) ((17 51) . 4776) ((17 50) . 4777) ((17 49) . 4778) ((18 49) . 4779) ((19 49) . 4780) ((19 48) . 4781) ((19 47) . 4782) ((18 47) . 4783) ((17 47) . 4784) ((17 46) . 4785) ((17 45) . 4786) ((17 44) . 4787) ((17 43) . 4788) ((16 43) . 4789) ((15 43) . 4790) ((15 44) . 4791) ((15 45) . 4792) ((15 46) . 4793) ((15 47) . 4794) ((14 47) . 4795) ((13 47) . 4796) ((13 46) . 4797) ((13 45) . 4798) ((13 44) . 4799) ((13 43) . 4800) ((12 43) . 4801) ((11 43) . 4802) ((11 44) . 4803) ((11 45) . 4804) ((10 45) . 4805) ((9 45) . 4806) ((9 44) . 4807) ((9 43) . 4808) ((9 42) . 4809) ((9 41) . 4810) ((8 41) . 4811) ((7 41) . 4812) ((7 42) . 4813) ((7 43) . 4814) ((7 44) . 4815) ((7 45) . 4816) ((6 45) . 4817) ((5 45) . 4818) ((5 44) . 4819) ((5 43) . 4820) ((4 43) . 4821) ((3 43) . 4822) ((3 44) . 4823) ((3 45) . 4824) ((2 45) . 4825) ((1 45) . 4826) ((1 46) . 4827) ((1 47) . 4828) ((2 47) . 4829) ((3 47) . 4830) ((4 47) . 4831) ((5 47) . 4832) ((6 47) . 4833) ((7 47) . 4834) ((8 47) . 4835) ((9 47) . 4836) ((10 47) . 4837) ((11 47) . 4838) ((11 48) . 4839) ((11 49) . 4840) ((12 49) . 4841) ((13 49) . 4842) ((14 49) . 4843) ((15 49) . 4844) ((15 50) . 4845) ((15 51) . 4846) ((14 51) . 4847) ((13 51) . 4848) ((12 51) . 4849) ((11 51) . 4850) ((10 51) . 4851) ((9 51) . 4852) ((9 50) . 4853) ((9 49) . 4854) ((8 49) . 4855) ((7 49) . 4856) ((7 50) . 4857) ((7 51) . 4858) ((6 51) . 4859) ((5 51) . 4860) ((5 52) . 4861) ((5 53) . 4862) ((6 53) . 4863) ((7 53) . 4864) ((8 53) . 4865) ((9 53) . 4866) ((10 53) . 4867) ((11 53) . 4868) ((12 53) . 4869) ((13 53) . 4870) ((14 53) . 4871) ((15 53) . 4872) ((16 53) . 4873) ((17 53) . 4874) ((17 54) . 4875) ((17 55) . 4876) ((16 55) . 4877) ((15 55) . 4878) ((14 55) . 4879) ((13 55) . 4880) ((12 55) . 4881) ((11 55) . 4882) ((11 56) . 4883) ((11 57) . 4884) ((10 57) . 4885) ((9 57) . 4886) ((9 56) . 4887) ((9 55) . 4888) ((8 55) . 4889) ((7 55) . 4890) ((7 56) . 4891) ((7 57) . 4892) ((7 58) . 4893) ((7 59) . 4894) ((6 59) . 4895) ((5 59) . 4896) ((5 58) . 4897) ((5 57) . 4898) ((5 56) . 4899) ((5 55) . 4900) ((4 55) . 4901) ((3 55) . 4902) ((3 54) . 4903) ((3 53) . 4904) ((3 52) . 4905) ((3 51) . 4906) ((3 50) . 4907) ((3 49) . 4908) ((2 49) . 4909) ((1 49) . 4910) ((1 50) . 4911) ((1 51) . 4912) ((1 52) . 4913) ((1 53) . 4914) ((1 54) . 4915) ((1 55) . 4916) ((1 56) . 4917) ((1 57) . 4918) ((2 57) . 4919) ((3 57) . 4920) ((3 58) . 4921) ((3 59) . 4922) ((3 60) . 4923) ((3 61) . 4924) ((2 61) . 4925) ((1 61) . 4926) ((1 62) . 4927) ((1 63) . 4928) ((2 63) . 4929) ((3 63) . 4930) ((3 64) . 4931) ((3 65) . 4932) ((4 65) . 4933) ((5 65) . 4934) ((5 64) . 4935) ((5 63) . 4936) ((5 62) . 4937) ((5 61) . 4938) ((6 61) . 4939) ((7 61) . 4940) ((7 62) . 4941) ((7 63) . 4942) ((8 63) . 4943) ((9 63) . 4944) ((9 62) . 4945) ((9 61) . 4946) ((9 60) . 4947) ((9 59) . 4948) ((10 59) . 4949) ((11 59) . 4950) ((11 60) . 4951) ((11 61) . 4952) ((12 61) . 4953) ((13 61) . 4954) ((13 60) . 4955) ((13 59) . 4956) ((13 58) . 4957) ((13 57) . 4958) ((14 57) . 4959) ((15 57) . 4960) ((15 58) . 4961) ((15 59) . 4962) ((15 60) . 4963) ((15 61) . 4964) ((16 61) . 4965) ((17 61) . 4966) ((17 60) . 4967) ((17 59) . 4968) ((17 58) . 4969) ((17 57) . 4970) ((18 57) . 4971) ((19 57) . 4972) ((20 57) . 4973) ((21 57) . 4974) ((22 57) . 4975) ((23 57) . 4976) ((24 57) . 4977) ((25 57) . 4978) ((25 58) . 4979) ((25 59) . 4980) ((24 59) . 4981) ((23 59) . 4982) ((22 59) . 4983) ((21 59) . 4984) ((20 59) . 4985) ((19 59) . 4986) ((19 60) . 4987) ((19 61) . 4988) ((20 61) . 4989) ((21 61) . 4990) ((22 61) . 4991) ((23 61) . 4992) ((24 61) . 4993) ((25 61) . 4994) ((25 62) . 4995) ((25 63) . 4996) ((26 63) . 4997) ((27 63) . 4998) ((27 64) . 4999) ((27 65) . 5000) ((26 65) . 5001) ((25 65) . 5002) ((24 65) . 5003) ((23 65) . 5004) ((23 64) . 5005) ((23 63) . 5006) ((22 63) . 5007) ((21 63) . 5008) ((21 64) . 5009) ((21 65) . 5010) ((20 65) . 5011) ((19 65) . 5012) ((19 64) . 5013) ((19 63) . 5014) ((18 63) . 5015) ((17 63) . 5016) ((17 64) . 5017) ((17 65) . 5018) ((16 65) . 5019) ((15 65) . 5020) ((15 64) . 5021) ((15 63) . 5022) ((14 63) . 5023) ((13 63) . 5024) ((13 64) . 5025) ((13 65) . 5026) ((12 65) . 5027) ((11 65) . 5028) ((11 66) . 5029) ((11 67) . 5030) ((10 67) . 5031) ((9 67) . 5032) ((9 66) . 5033) ((9 65) . 5034) ((8 65) . 5035) ((7 65) . 5036) ((7 66) . 5037) ((7 67) . 5038) ((6 67) . 5039) ((5 67) . 5040) ((4 67) . 5041) ((3 67) . 5042) ((2 67) . 5043) ((1 67) . 5044) ((1 68) . 5045) ((1 69) . 5046) ((2 69) . 5047) ((3 69) . 5048) ((4 69) . 5049) ((5 69) . 5050) ((5 70) . 5051) ((5 71) . 5052) ((4 71) . 5053) ((3 71) . 5054) ((3 72) . 5055) ((3 73) . 5056) ((2 73) . 5057) ((1 73) . 5058) ((1 74) . 5059) ((1 75) . 5060) ((2 75) . 5061) ((3 75) . 5062) ((4 75) . 5063) ((5 75) . 5064) ((5 74) . 5065) ((5 73) . 5066) ((6 73) . 5067) ((7 73) . 5068) ((8 73) . 5069) ((9 73) . 5070) ((9 72) . 5071) ((9 71) . 5072) ((8 71) . 5073) ((7 71) . 5074) ((7 70) . 5075) ((7 69) . 5076) ((8 69) . 5077) ((9 69) . 5078) ((10 69) . 5079) ((11 69) . 5080) ((12 69) . 5081) ((13 69) . 5082) ((13 68) . 5083) ((13 67) . 5084) ((14 67) . 5085) ((15 67) . 5086) ((16 67) . 5087) ((17 67) . 5088) ((18 67) . 5089) ((19 67) . 5090) ((19 68) . 5091) ((19 69) . 5092) ((20 69) . 5093) ((21 69) . 5094) ((21 68) . 5095) ((21 67) . 5096) ((22 67) . 5097) ((23 67) . 5098) ((23 68) . 5099) ((23 69) . 5100) ((24 69) . 5101) ((25 69) . 5102) ((25 68) . 5103) ((25 67) . 5104) ((26 67) . 5105) ((27 67) . 5106) ((28 67) . 5107) ((29 67) . 5108) ((30 67) . 5109) ((31 67) . 5110) ((31 66) . 5111) ((31 65) . 5112) ((30 65) . 5113) ((29 65) . 5114) ((29 64) . 5115) ((29 63) . 5116) ((30 63) . 5117) ((31 63) . 5118) ((31 62) . 5119) ((31 61) . 5120) ((32 61) . 5121) ((33 61) . 5122) ((33 60) . 5123) ((33 59) . 5124) ((34 59) . 5125) ((35 59) . 5126) ((36 59) . 5127) ((37 59) . 5128) ((38 59) . 5129) ((39 59) . 5130) ((40 59) . 5131) ((41 59) . 5132) ((42 59) . 5133) ((43 59) . 5134) ((43 58) . 5135) ((43 57) . 5136) ((43 56) . 5137) ((43 55) . 5138) ((44 55) . 5139) ((45 55) . 5140) ((45 56) . 5141) ((45 57) . 5142) ((46 57) . 5143) ((47 57) . 5144) ((47 56) . 5145) ((47 55) . 5146) ((48 55) . 5147) ((49 55) . 5148) ((50 55) . 5149) ((51 55) . 5150) ((52 55) . 5151) ((53 55) . 5152) ((53 56) . 5153) ((53 57) . 5154) ((52 57) . 5155) ((51 57) . 5156) ((50 57) . 5157) ((49 57) . 5158) ((49 58) . 5159) ((49 59) . 5160) ((48 59) . 5161) ((47 59) . 5162) ((46 59) . 5163) ((45 59) . 5164) ((45 60) . 5165) ((45 61) . 5166) ((46 61) . 5167) ((47 61) . 5168) ((47 62) . 5169) ((47 63) . 5170) ((46 63) . 5171) ((45 63) . 5172) ((45 64) . 5173) ((45 65) . 5174) ((46 65) . 5175) ((47 65) . 5176) ((48 65) . 5177) ((49 65) . 5178) ((49 64) . 5179) ((49 63) . 5180) ((50 63) . 5181) ((51 63) . 5182) ((51 64) . 5183) ((51 65) . 5184) ((52 65) . 5185) ((53 65) . 5186) ((53 64) . 5187) ((53 63) . 5188) ((54 63) . 5189) ((55 63) . 5190) ((55 64) . 5191) ((55 65) . 5192) ((56 65) . 5193) ((57 65) . 5194) ((57 64) . 5195) ((57 63) . 5196) ((58 63) . 5197) ((59 63) . 5198) ((59 64) . 5199) ((59 65) . 5200) ((60 65) . 5201) ((61 65) . 5202) ((61 66) . 5203) ((61 67) . 5204) ((60 67) . 5205) ((59 67) . 5206) ((59 68) . 5207) ((59 69) . 5208) ((58 69) . 5209) ((57 69) . 5210) ((57 68) . 5211) ((57 67) . 5212) ((56 67) . 5213) ((55 67) . 5214) ((54 67) . 5215) ((53 67) . 5216) ((52 67) . 5217) ((51 67) . 5218) ((51 68) . 5219) ((51 69) . 5220) ((52 69) . 5221) ((53 69) . 5222) ((54 69) . 5223) ((55 69) . 5224) ((55 70) . 5225) ((55 71) . 5226) ((54 71) . 5227) ((53 71) . 5228) ((52 71) . 5229) ((51 71) . 5230) ((51 72) . 5231) ((51 73) . 5232) ((50 73) . 5233) ((49 73) . 5234) ((49 72) . 5235) ((49 71) . 5236) ((49 70) . 5237) ((49 69) . 5238) ((49 68) . 5239) ((49 67) . 5240) ((48 67) . 5241) ((47 67) . 5242) ((46 67) . 5243) ((45 67) . 5244) ((45 68) . 5245) ((45 69) . 5246) ((44 69) . 5247) ((43 69) . 5248) ((42 69) . 5249) ((41 69) . 5250) ((41 68) . 5251) ((41 67) . 5252) ((42 67) . 5253) ((43 67) . 5254) ((43 66) . 5255) ((43 65) . 5256) ((42 65) . 5257) ((41 65) . 5258) ((41 64) . 5259) ((41 63) . 5260) ((42 63) . 5261) ((43 63) . 5262) ((43 62) . 5263) ((43 61) . 5264) ((42 61) . 5265) ((41 61) . 5266) ((40 61) . 5267) ((39 61) . 5268) ((39 62) . 5269) ((39 63) . 5270) ((38 63) . 5271) ((37 63) . 5272) ((37 62) . 5273) ((37 61) . 5274) ((36 61) . 5275) ((35 61) . 5276) ((35 62) . 5277) ((35 63) . 5278) ((34 63) . 5279) ((33 63) . 5280) ((33 64) . 5281) ((33 65) . 5282) ((34 65) . 5283) ((35 65) . 5284) ((36 65) . 5285) ((37 65) . 5286) ((38 65) . 5287) ((39 65) . 5288) ((39 66) . 5289) ((39 67) . 5290) ((38 67) . 5291) ((37 67) . 5292) ((36 67) . 5293) ((35 67) . 5294) ((34 67) . 5295) ((33 67) . 5296) ((33 68) . 5297) ((33 69) . 5298) ((34 69) . 5299) ((35 69) . 5300) ((36 69) . 5301) ((37 69) . 5302) ((38 69) . 5303) ((39 69) . 5304) ((39 70) . 5305) ((39 71) . 5306) ((40 71) . 5307) ((41 71) . 5308) ((42 71) . 5309) ((43 71) . 5310) ((44 71) . 5311) ((45 71) . 5312) ((46 71) . 5313) ((47 71) . 5314) ((47 72) . 5315) ((47 73) . 5316) ((46 73) . 5317) ((45 73) . 5318) ((44 73) . 5319) ((43 73) . 5320) ((42 73) . 5321) ((41 73) . 5322) ((40 73) . 5323) ((39 73) . 5324) ((38 73) . 5325) ((37 73) . 5326) ((37 72) . 5327) ((37 71) . 5328) ((36 71) . 5329) ((35 71) . 5330) ((34 71) . 5331) ((33 71) . 5332) ((32 71) . 5333) ((31 71) . 5334) ((31 70) . 5335) ((31 69) . 5336) ((30 69) . 5337) ((29 69) . 5338) ((29 70) . 5339) ((29 71) . 5340) ((29 72) . 5341) ((29 73) . 5342) ((28 73) . 5343) ((27 73) . 5344) ((27 72) . 5345) ((27 71) . 5346) ((26 71) . 5347) ((25 71) . 5348) ((25 72) . 5349) ((25 73) . 5350) ((24 73) . 5351) ((23 73) . 5352) ((23 72) . 5353) ((23 71) . 5354) ((22 71) . 5355) ((21 71) . 5356) ((20 71) . 5357) ((19 71) . 5358) ((18 71) . 5359) ((17 71) . 5360) ((17 70) . 5361) ((17 69) . 5362) ((16 69) . 5363) ((15 69) . 5364) ((15 70) . 5365) ((15 71) . 5366) ((14 71) . 5367) ((13 71) . 5368) ((12 71) . 5369) ((11 71) . 5370) ((11 72) . 5371) ((11 73) . 5372) ((12 73) . 5373) ((13 73) . 5374) ((14 73) . 5375) ((15 73) . 5376) ((15 74) . 5377) ((15 75) . 5378) ((15 76) . 5379) ((15 77) . 5380) ((15 78) . 5381) ((15 79) . 5382) ((16 79) . 5383) ((17 79) . 5384) ((17 78) . 5385) ((17 77) . 5386) ((18 77) . 5387) ((19 77) . 5388) ((19 76) . 5389) ((19 75) . 5390) ((18 75) . 5391) ((17 75) . 5392) ((17 74) . 5393) ((17 73) . 5394) ((18 73) . 5395) ((19 73) . 5396) ((20 73) . 5397) ((21 73) . 5398) ((21 74) . 5399) ((21 75) . 5400) ((22 75) . 5401) ((23 75) . 5402) ((23 76) . 5403) ((23 77) . 5404) ((24 77) . 5405) ((25 77) . 5406) ((25 76) . 5407) ((25 75) . 5408) ((26 75) . 5409) ((27 75) . 5410) ((28 75) . 5411) ((29 75) . 5412) ((30 75) . 5413) ((31 75) . 5414) ((31 74) . 5415) ((31 73) . 5416) ((32 73) . 5417) ((33 73) . 5418) ((34 73) . 5419) ((35 73) . 5420) ((35 74) . 5421) ((35 75) . 5422) ((36 75) . 5423) ((37 75) . 5424) ((38 75) . 5425) ((39 75) . 5426) ((40 75) . 5427) ((41 75) . 5428) ((42 75) . 5429) ((43 75) . 5430) ((44 75) . 5431) ((45 75) . 5432) ((46 75) . 5433) ((47 75) . 5434) ((48 75) . 5435) ((49 75) . 5436) ((50 75) . 5437) ((51 75) . 5438) ((52 75) . 5439) ((53 75) . 5440) ((53 74) . 5441) ((53 73) . 5442) ((54 73) . 5443) ((55 73) . 5444) ((55 74) . 5445) ((55 75) . 5446) ((56 75) . 5447) ((57 75) . 5448) ((57 74) . 5449) ((57 73) . 5450) ((57 72) . 5451) ((57 71) . 5452) ((58 71) . 5453) ((59 71) . 5454) ((59 72) . 5455) ((59 73) . 5456) ((59 74) . 5457) ((59 75) . 5458) ((59 76) . 5459) ((59 77) . 5460) ((58 77) . 5461) ((57 77) . 5462) ((56 77) . 5463) ((55 77) . 5464) ((55 78) . 5465) ((55 79) . 5466) ((56 79) . 5467) ((57 79) . 5468) ((57 80) . 5469) ((57 81) . 5470) ((56 81) . 5471) ((55 81) . 5472) ((55 82) . 5473) ((55 83) . 5474) ((54 83) . 5475) ((53 83) . 5476) ((53 82) . 5477) ((53 81) . 5478) ((53 80) . 5479) ((53 79) . 5480) ((53 78) . 5481) ((53 77) . 5482) ((52 77) . 5483) ((51 77) . 5484) ((50 77) . 5485) ((49 77) . 5486) ((49 78) . 5487) ((49 79) . 5488) ((50 79) . 5489) ((51 79) . 5490) ((51 80) . 5491) ((51 81) . 5492) ((51 82) . 5493) ((51 83) . 5494) ((50 83) . 5495) ((49 83) . 5496) ((49 82) . 5497) ((49 81) . 5498) ((48 81) . 5499) ((47 81) . 5500) ((47 80) . 5501) ((47 79) . 5502) ((47 78) . 5503) ((47 77) . 5504) ((46 77) . 5505) ((45 77) . 5506) ((45 78) . 5507) ((45 79) . 5508) ((45 80) . 5509) ((45 81) . 5510) ((44 81) . 5511) ((43 81) . 5512) ((43 80) . 5513) ((43 79) . 5514) ((43 78) . 5515) ((43 77) . 5516) ((42 77) . 5517) ((41 77) . 5518) ((41 78) . 5519) ((41 79) . 5520) ((41 80) . 5521) ((41 81) . 5522) ((40 81) . 5523) ((39 81) . 5524) ((39 80) . 5525) ((39 79) . 5526) ((39 78) . 5527) ((39 77) . 5528) ((38 77) . 5529) ((37 77) . 5530) ((36 77) . 5531) ((35 77) . 5532) ((34 77) . 5533) ((33 77) . 5534) ((32 77) . 5535) ((31 77) . 5536) ((30 77) . 5537) ((29 77) . 5538) ((28 77) . 5539) ((27 77) . 5540) ((27 78) . 5541) ((27 79) . 5542) ((26 79) . 5543) ((25 79) . 5544) ((24 79) . 5545) ((23 79) . 5546) ((23 80) . 5547) ((23 81) . 5548) ((24 81) . 5549) ((25 81) . 5550) ((26 81) . 5551) ((27 81) . 5552) ((27 82) . 5553) ((27 83) . 5554) ((27 84) . 5555) ((27 85) . 5556) ((28 85) . 5557) ((29 85) . 5558) ((30 85) . 5559) ((31 85) . 5560) ((31 84) . 5561) ((31 83) . 5562) ((30 83) . 5563) ((29 83) . 5564) ((29 82) . 5565) ((29 81) . 5566) ((29 80) . 5567) ((29 79) . 5568) ((30 79) . 5569) ((31 79) . 5570) ((31 80) . 5571) ((31 81) . 5572) ((32 81) . 5573) ((33 81) . 5574) ((33 80) . 5575) ((33 79) . 5576) ((34 79) . 5577) ((35 79) . 5578) ((36 79) . 5579) ((37 79) . 5580) ((37 80) . 5581) ((37 81) . 5582) ((36 81) . 5583) ((35 81) . 5584) ((35 82) . 5585) ((35 83) . 5586) ((34 83) . 5587) ((33 83) . 5588) ((33 84) . 5589) ((33 85) . 5590) ((34 85) . 5591) ((35 85) . 5592) ((36 85) . 5593) ((37 85) . 5594) ((37 84) . 5595) ((37 83) . 5596) ((38 83) . 5597) ((39 83) . 5598) ((39 84) . 5599) ((39 85) . 5600) ((40 85) . 5601) ((41 85) . 5602) ((41 84) . 5603) ((41 83) . 5604) ((42 83) . 5605) ((43 83) . 5606) ((43 84) . 5607) ((43 85) . 5608) ((43 86) . 5609) ((43 87) . 5610) ((44 87) . 5611) ((45 87) . 5612) ((45 86) . 5613) ((45 85) . 5614) ((45 84) . 5615) ((45 83) . 5616) ((46 83) . 5617) ((47 83) . 5618) ((47 84) . 5619) ((47 85) . 5620) ((47 86) . 5621) ((47 87) . 5622) ((47 88) . 5623) ((47 89) . 5624) ((46 89) . 5625) ((45 89) . 5626) ((44 89) . 5627) ((43 89) . 5628) ((42 89) . 5629) ((41 89) . 5630) ((41 88) . 5631) ((41 87) . 5632) ((40 87) . 5633) ((39 87) . 5634) ((39 88) . 5635) ((39 89) . 5636) ((38 89) . 5637) ((37 89) . 5638) ((37 88) . 5639) ((37 87) . 5640) ((36 87) . 5641) ((35 87) . 5642) ((35 88) . 5643) ((35 89) . 5644) ((34 89) . 5645) ((33 89) . 5646) ((32 89) . 5647) ((31 89) . 5648) ((31 88) . 5649) ((31 87) . 5650) ((30 87) . 5651) ((29 87) . 5652) ((29 88) . 5653) ((29 89) . 5654) ((28 89) . 5655) ((27 89) . 5656) ((26 89) . 5657) ((25 89) . 5658) ((25 88) . 5659) ((25 87) . 5660) ((25 86) . 5661) ((25 85) . 5662) ((25 84) . 5663) ((25 83) . 5664) ((24 83) . 5665) ((23 83) . 5666) ((23 84) . 5667) ((23 85) . 5668) ((22 85) . 5669) ((21 85) . 5670) ((21 84) . 5671) ((21 83) . 5672) ((21 82) . 5673) ((21 81) . 5674) ((21 80) . 5675) ((21 79) . 5676) ((20 79) . 5677) ((19 79) . 5678) ((19 80) . 5679) ((19 81) . 5680) ((19 82) . 5681) ((19 83) . 5682) ((19 84) . 5683) ((19 85) . 5684) ((18 85) . 5685) ((17 85) . 5686) ((17 84) . 5687) ((17 83) . 5688) ((17 82) . 5689) ((17 81) . 5690) ((16 81) . 5691) ((15 81) . 5692) ((14 81) . 5693) ((13 81) . 5694) ((12 81) . 5695) ((11 81) . 5696) ((11 80) . 5697) ((11 79) . 5698) ((12 79) . 5699) ((13 79) . 5700) ((13 78) . 5701) ((13 77) . 5702) ((13 76) . 5703) ((13 75) . 5704) ((12 75) . 5705) ((11 75) . 5706) ((11 76) . 5707) ((11 77) . 5708) ((10 77) . 5709) ((9 77) . 5710) ((9 76) . 5711) ((9 75) . 5712) ((8 75) . 5713) ((7 75) . 5714) ((7 76) . 5715) ((7 77) . 5716) ((6 77) . 5717) ((5 77) . 5718) ((4 77) . 5719) ((3 77) . 5720) ((2 77) . 5721) ((1 77) . 5722) ((1 78) . 5723) ((1 79) . 5724) ((2 79) . 5725) ((3 79) . 5726) ((4 79) . 5727) ((5 79) . 5728) ((6 79) . 5729) ((7 79) . 5730) ((8 79) . 5731) ((9 79) . 5732) ((9 80) . 5733) ((9 81) . 5734) ((8 81) . 5735) ((7 81) . 5736) ((6 81) . 5737) ((5 81) . 5738) ((4 81) . 5739) ((3 81) . 5740) ((2 81) . 5741) ((1 81) . 5742) ((1 82) . 5743) ((1 83) . 5744) ((2 83) . 5745) ((3 83) . 5746) ((4 83) . 5747) ((5 83) . 5748) ((6 83) . 5749) ((7 83) . 5750) ((8 83) . 5751) ((9 83) . 5752) ((10 83) . 5753) ((11 83) . 5754) ((12 83) . 5755) ((13 83) . 5756) ((14 83) . 5757) ((15 83) . 5758) ((15 84) . 5759) ((15 85) . 5760) ((14 85) . 5761) ((13 85) . 5762) ((12 85) . 5763) ((11 85) . 5764) ((10 85) . 5765) ((9 85) . 5766) ((9 86) . 5767) ((9 87) . 5768) ((10 87) . 5769) ((11 87) . 5770) ((12 87) . 5771) ((13 87) . 5772) ((14 87) . 5773) ((15 87) . 5774) ((16 87) . 5775) ((17 87) . 5776) ((18 87) . 5777) ((19 87) . 5778) ((20 87) . 5779) ((21 87) . 5780) ((22 87) . 5781) ((23 87) . 5782) ((23 88) . 5783) ((23 89) . 5784) ((22 89) . 5785) ((21 89) . 5786) ((21 90) . 5787) ((21 91) . 5788) ((20 91) . 5789) ((19 91) . 5790) ((18 91) . 5791) ((17 91) . 5792) ((17 90) . 5793) ((17 89) . 5794) ((16 89) . 5795) ((15 89) . 5796) ((15 90) . 5797) ((15 91) . 5798) ((14 91) . 5799) ((13 91) . 5800) ((13 90) . 5801) ((13 89) . 5802) ((12 89) . 5803) ((11 89) . 5804) ((11 90) . 5805) ((11 91) . 5806) ((10 91) . 5807) ((9 91) . 5808) ((8 91) . 5809) ((7 91) . 5810) ((7 90) . 5811) ((7 89) . 5812) ((7 88) . 5813) ((7 87) . 5814) ((7 86) . 5815) ((7 85) . 5816) ((6 85) . 5817) ((5 85) . 5818) ((4 85) . 5819) ((3 85) . 5820) ((2 85) . 5821) ((1 85) . 5822) ((1 86) . 5823) ((1 87) . 5824) ((2 87) . 5825) ((3 87) . 5826) ((4 87) . 5827) ((5 87) . 5828) ((5 88) . 5829) ((5 89) . 5830) ((4 89) . 5831) ((3 89) . 5832) ((2 89) . 5833) ((1 89) . 5834) ((1 90) . 5835) ((1 91) . 5836) ((1 92) . 5837) ((1 93) . 5838) ((2 93) . 5839) ((3 93) . 5840) ((3 92) . 5841) ((3 91) . 5842) ((4 91) . 5843) ((5 91) . 5844) ((5 92) . 5845) ((5 93) . 5846) ((5 94) . 5847) ((5 95) . 5848) ((4 95) . 5849) ((3 95) . 5850) ((2 95) . 5851) ((1 95) . 5852) ((1 96) . 5853) ((1 97) . 5854) ((2 97) . 5855) ((3 97) . 5856) ((4 97) . 5857) ((5 97) . 5858) ((5 98) . 5859) ((5 99) . 5860) ((6 99) . 5861) ((7 99) . 5862) ((7 98) . 5863) ((7 97) . 5864) ((7 96) . 5865) ((7 95) . 5866) ((7 94) . 5867) ((7 93) . 5868) ((8 93) . 5869) ((9 93) . 5870) ((10 93) . 5871) ((11 93) . 5872) ((12 93) . 5873) ((13 93) . 5874) ((14 93) . 5875) ((15 93) . 5876) ((16 93) . 5877) ((17 93) . 5878) ((17 94) . 5879) ((17 95) . 5880) ((16 95) . 5881) ((15 95) . 5882) ((14 95) . 5883) ((13 95) . 5884) ((12 95) . 5885) ((11 95) . 5886) ((10 95) . 5887) ((9 95) . 5888) ((9 96) . 5889) ((9 97) . 5890) ((10 97) . 5891) ((11 97) . 5892) ((12 97) . 5893) ((13 97) . 5894) ((13 98) . 5895) ((13 99) . 5896) ((12 99) . 5897) ((11 99) . 5898) ((10 99) . 5899) ((9 99) . 5900) ((9 100) . 5901) ((9 101) . 5902) ((8 101) . 5903) ((7 101) . 5904) ((6 101) . 5905) ((5 101) . 5906) ((4 101) . 5907) ((3 101) . 5908) ((3 100) . 5909) ((3 99) . 5910) ((2 99) . 5911) ((1 99) . 5912) ((1 100) . 5913) ((1 101) . 5914) ((1 102) . 5915) ((1 103) . 5916) ((1 104) . 5917) ((1 105) . 5918) ((2 105) . 5919) ((3 105) . 5920) ((3 104) . 5921) ((3 103) . 5922) ((4 103) . 5923) ((5 103) . 5924) ((6 103) . 5925) ((7 103) . 5926) ((8 103) . 5927) ((9 103) . 5928) ((9 104) . 5929) ((9 105) . 5930) ((8 105) . 5931) ((7 105) . 5932) ((6 105) . 5933) ((5 105) . 5934) ((5 106) . 5935) ((5 107) . 5936) ((4 107) . 5937) ((3 107) . 5938) ((2 107) . 5939) ((1 107) . 5940) ((1 108) . 5941) ((1 109) . 5942) ((1 110) . 5943) ((1 111) . 5944) ((1 112) . 5945) ((1 113) . 5946) ((1 114) . 5947) ((1 115) . 5948) ((1 116) . 5949) ((1 117) . 5950) ((2 117) . 5951) ((3 117) . 5952) ((3 116) . 5953) ((3 115) . 5954) ((3 114) . 5955) ((3 113) . 5956) ((3 112) . 5957) ((3 111) . 5958) ((3 110) . 5959) ((3 109) . 5960) ((4 109) . 5961) ((5 109) . 5962) ((5 110) . 5963) ((5 111) . 5964) ((5 112) . 5965) ((5 113) . 5966) ((5 114) . 5967) ((5 115) . 5968) ((5 116) . 5969) ((5 117) . 5970) ((5 118) . 5971) ((5 119) . 5972) ((4 119) . 5973) ((3 119) . 5974) ((2 119) . 5975) ((1 119) . 5976) ((1 120) . 5977) ((1 121) . 5978) ((2 121) . 5979) ((3 121) . 5980) ((4 121) . 5981) ((5 121) . 5982) ((6 121) . 5983) ((7 121) . 5984) ((7 120) . 5985) ((7 119) . 5986) ((7 118) . 5987) ((7 117) . 5988) ((7 116) . 5989) ((7 115) . 5990) ((7 114) . 5991) ((7 113) . 5992) ((7 112) . 5993) ((7 111) . 5994) ((7 110) . 5995) ((7 109) . 5996) ((7 108) . 5997) ((7 107) . 5998) ((8 107) . 5999) ((9 107) . 6000) ((10 107) . 6001) ((11 107) . 6002) ((11 106) . 6003) ((11 105) . 6004) ((11 104) . 6005) ((11 103) . 6006) ((11 102) . 6007) ((11 101) . 6008) ((12 101) . 6009) ((13 101) . 6010) ((13 102) . 6011) ((13 103) . 6012) ((13 104) . 6013) ((13 105) . 6014) ((13 106) . 6015) ((13 107) . 6016) ((13 108) . 6017) ((13 109) . 6018) ((12 109) . 6019) ((11 109) . 6020) ((10 109) . 6021) ((9 109) . 6022) ((9 110) . 6023) ((9 111) . 6024) ((10 111) . 6025) ((11 111) . 6026) ((11 112) . 6027) ((11 113) . 6028) ((10 113) . 6029) ((9 113) . 6030) ((9 114) . 6031) ((9 115) . 6032) ((10 115) . 6033) ((11 115) . 6034) ((11 116) . 6035) ((11 117) . 6036) ((10 117) . 6037) ((9 117) . 6038) ((9 118) . 6039) ((9 119) . 6040) ((10 119) . 6041) ((11 119) . 6042) ((11 120) . 6043) ((11 121) . 6044) ((12 121) . 6045) ((13 121) . 6046) ((13 120) . 6047) ((13 119) . 6048) ((13 118) . 6049) ((13 117) . 6050) ((13 116) . 6051) ((13 115) . 6052) ((13 114) . 6053) ((13 113) . 6054) ((13 112) . 6055) ((13 111) . 6056) ((14 111) . 6057) ((15 111) . 6058) ((15 112) . 6059) ((15 113) . 6060) ((16 113) . 6061) ((17 113) . 6062) ((17 112) . 6063) ((17 111) . 6064) ((17 110) . 6065) ((17 109) . 6066) ((16 109) . 6067) ((15 109) . 6068) ((15 108) . 6069) ((15 107) . 6070) ((15 106) . 6071) ((15 105) . 6072) ((15 104) . 6073) ((15 103) . 6074) ((15 102) . 6075) ((15 101) . 6076) ((15 100) . 6077) ((15 99) . 6078) ((15 98) . 6079) ((15 97) . 6080) ((16 97) . 6081) ((17 97) . 6082) ((18 97) . 6083) ((19 97) . 6084) ((19 96) . 6085) ((19 95) . 6086) ((19 94) . 6087) ((19 93) . 6088) ((20 93) . 6089) ((21 93) . 6090) ((21 94) . 6091) ((21 95) . 6092) ((21 96) . 6093) ((21 97) . 6094) ((22 97) . 6095) ((23 97) . 6096) ((23 96) . 6097) ((23 95) . 6098) ((23 94) . 6099) ((23 93) . 6100) ((23 92) . 6101) ((23 91) . 6102) ((24 91) . 6103) ((25 91) . 6104) ((25 92) . 6105) ((25 93) . 6106) ((25 94) . 6107) ((25 95) . 6108) ((25 96) . 6109) ((25 97) . 6110) ((26 97) . 6111) ((27 97) . 6112) ((27 96) . 6113) ((27 95) . 6114) ((27 94) . 6115) ((27 93) . 6116) ((27 92) . 6117) ((27 91) . 6118) ((28 91) . 6119) ((29 91) . 6120) ((30 91) . 6121) ((31 91) . 6122) ((32 91) . 6123) ((33 91) . 6124) ((34 91) . 6125) ((35 91) . 6126) ((35 92) . 6127) ((35 93) . 6128) ((36 93) . 6129) ((37 93) . 6130) ((37 92) . 6131) ((37 91) . 6132) ((38 91) . 6133) ((39 91) . 6134) ((40 91) . 6135) ((41 91) . 6136) ((41 92) . 6137) ((41 93) . 6138) ((40 93) . 6139) ((39 93) . 6140) ((39 94) . 6141) ((39 95) . 6142) ((40 95) . 6143) ((41 95) . 6144) ((41 96) . 6145) ((41 97) . 6146) ((40 97) . 6147) ((39 97) . 6148) ((38 97) . 6149) ((37 97) . 6150) ((37 96) . 6151) ((37 95) . 6152) ((36 95) . 6153) ((35 95) . 6154) ((35 96) . 6155) ((35 97) . 6156) ((34 97) . 6157) ((33 97) . 6158) ((33 96) . 6159) ((33 95) . 6160) ((33 94) . 6161) ((33 93) . 6162) ((32 93) . 6163) ((31 93) . 6164) ((31 94) . 6165) ((31 95) . 6166) ((30 95) . 6167) ((29 95) . 6168) ((29 96) . 6169) ((29 97) . 6170) ((30 97) . 6171) ((31 97) . 6172) ((31 98) . 6173) ((31 99) . 6174) ((32 99) . 6175) ((33 99) . 6176) ((34 99) . 6177) ((35 99) . 6178) ((36 99) . 6179) ((37 99) . 6180) ((38 99) . 6181) ((39 99) . 6182) ((39 100) . 6183) ((39 101) . 6184) ((38 101) . 6185) ((37 101) . 6186) ((36 101) . 6187) ((35 101) . 6188) ((35 102) . 6189) ((35 103) . 6190) ((34 103) . 6191) ((33 103) . 6192) ((33 102) . 6193) ((33 101) . 6194) ((32 101) . 6195) ((31 101) . 6196) ((30 101) . 6197) ((29 101) . 6198) ((29 100) . 6199) ((29 99) . 6200) ((28 99) . 6201) ((27 99) . 6202) ((27 100) . 6203) ((27 101) . 6204) ((26 101) . 6205) ((25 101) . 6206) ((24 101) . 6207) ((23 101) . 6208) ((23 100) . 6209) ((23 99) . 6210) ((22 99) . 6211) ((21 99) . 6212) ((20 99) . 6213) ((19 99) . 6214) ((18 99) . 6215) ((17 99) . 6216) ((17 100) . 6217) ((17 101) . 6218) ((17 102) . 6219) ((17 103) . 6220) ((17 104) . 6221) ((17 105) . 6222) ((17 106) . 6223) ((17 107) . 6224) ((18 107) . 6225) ((19 107) . 6226) ((19 108) . 6227) ((19 109) . 6228) ((20 109) . 6229) ((21 109) . 6230) ((21 108) . 6231) ((21 107) . 6232) ((21 106) . 6233) ((21 105) . 6234) ((20 105) . 6235) ((19 105) . 6236) ((19 104) . 6237) ((19 103) . 6238) ((19 102) . 6239) ((19 101) . 6240) ((20 101) . 6241) ((21 101) . 6242) ((21 102) . 6243) ((21 103) . 6244) ((22 103) . 6245) ((23 103) . 6246) ((23 104) . 6247) ((23 105) . 6248) ((24 105) . 6249) ((25 105) . 6250) ((25 104) . 6251) ((25 103) . 6252) ((26 103) . 6253) ((27 103) . 6254) ((28 103) . 6255) ((29 103) . 6256) ((30 103) . 6257) ((31 103) . 6258) ((31 104) . 6259) ((31 105) . 6260) ((30 105) . 6261) ((29 105) . 6262) ((28 105) . 6263) ((27 105) . 6264) ((27 106) . 6265) ((27 107) . 6266) ((26 107) . 6267) ((25 107) . 6268) ((24 107) . 6269) ((23 107) . 6270) ((23 108) . 6271) ((23 109) . 6272) ((24 109) . 6273) ((25 109) . 6274) ((26 109) . 6275) ((27 109) . 6276) ((27 110) . 6277) ((27 111) . 6278) ((26 111) . 6279) ((25 111) . 6280) ((24 111) . 6281) ((23 111) . 6282) ((22 111) . 6283) ((21 111) . 6284) ((20 111) . 6285) ((19 111) . 6286) ((19 112) . 6287) ((19 113) . 6288) ((20 113) . 6289) ((21 113) . 6290) ((21 114) . 6291) ((21 115) . 6292) ((21 116) . 6293) ((21 117) . 6294) ((20 117) . 6295) ((19 117) . 6296) ((19 116) . 6297) ((19 115) . 6298) ((18 115) . 6299) ((17 115) . 6300) ((17 116) . 6301) ((17 117) . 6302) ((16 117) . 6303) ((15 117) . 6304) ((15 118) . 6305) ((15 119) . 6306) ((16 119) . 6307) ((17 119) . 6308) ((17 120) . 6309) ((17 121) . 6310) ((17 122) . 6311) ((17 123) . 6312) ((16 123) . 6313) ((15 123) . 6314) ((14 123) . 6315) ((13 123) . 6316) ((12 123) . 6317) ((11 123) . 6318) ((10 123) . 6319) ((9 123) . 6320) ((8 123) . 6321) ((7 123) . 6322) ((6 123) . 6323) ((5 123) . 6324) ((4 123) . 6325) ((3 123) . 6326) ((3 124) . 6327) ((3 125) . 6328) ((2 125) . 6329) ((1 125) . 6330) ((1 126) . 6331) ((1 127) . 6332) ((2 127) . 6333) ((3 127) . 6334) ((4 127) . 6335) ((5 127) . 6336) ((5 126) . 6337) ((5 125) . 6338) ((6 125) . 6339) ((7 125) . 6340) ((7 126) . 6341) ((7 127) . 6342) ((7 128) . 6343) ((7 129) . 6344) ((6 129) . 6345) ((5 129) . 6346) ((4 129) . 6347) ((3 129) . 6348) ((3 130) . 6349) ((3 131) . 6350) ((2 131) . 6351) ((1 131) . 6352) ((1 132) . 6353) ((1 133) . 6354) ((2 133) . 6355) ((3 133) . 6356) ((3 134) . 6357) ((3 135) . 6358) ((3 136) . 6359) ((3 137) . 6360) ((2 137) . 6361) ((1 137) . 6362) ((1 138) . 6363) ((1 139) . 6364) ((2 139) . 6365) ((3 139) . 6366) ((4 139) . 6367) ((5 139) . 6368) ((5 138) . 6369) ((5 137) . 6370) ((5 136) . 6371) ((5 135) . 6372) ((5 134) . 6373) ((5 133) . 6374) ((5 132) . 6375) ((5 131) . 6376) ((6 131) . 6377) ((7 131) . 6378) ((8 131) . 6379) ((9 131) . 6380) ((9 130) . 6381) ((9 129) . 6382) ((9 128) . 6383) ((9 127) . 6384) ((9 126) . 6385) ((9 125) . 6386) ((10 125) . 6387) ((11 125) . 6388) ((11 126) . 6389) ((11 127) . 6390) ((12 127) . 6391) ((13 127) . 6392) ((13 126) . 6393) ((13 125) . 6394) ((14 125) . 6395) ((15 125) . 6396) ((15 126) . 6397) ((15 127) . 6398) ((16 127) . 6399) ((17 127) . 6400) ((17 126) . 6401) ((17 125) . 6402) ((18 125) . 6403) ((19 125) . 6404) ((19 124) . 6405) ((19 123) . 6406) ((19 122) . 6407) ((19 121) . 6408) ((19 120) . 6409) ((19 119) . 6410) ((20 119) . 6411) ((21 119) . 6412) ((21 120) . 6413) ((21 121) . 6414) ((21 122) . 6415) ((21 123) . 6416) ((21 124) . 6417) ((21 125) . 6418) ((21 126) . 6419) ((21 127) . 6420) ((21 128) . 6421) ((21 129) . 6422) ((20 129) . 6423) ((19 129) . 6424) ((18 129) . 6425) ((17 129) . 6426) ((16 129) . 6427) ((15 129) . 6428) ((14 129) . 6429) ((13 129) . 6430) ((12 129) . 6431) ((11 129) . 6432) ((11 130) . 6433) ((11 131) . 6434) ((12 131) . 6435) ((13 131) . 6436) ((13 132) . 6437) ((13 133) . 6438) ((12 133) . 6439) ((11 133) . 6440) ((10 133) . 6441) ((9 133) . 6442) ((8 133) . 6443) ((7 133) . 6444) ((7 134) . 6445) ((7 135) . 6446) ((7 136) . 6447) ((7 137) . 6448) ((7 138) . 6449) ((7 139) . 6450) ((8 139) . 6451) ((9 139) . 6452) ((9 138) . 6453) ((9 137) . 6454) ((9 136) . 6455) ((9 135) . 6456) ((10 135) . 6457) ((11 135) . 6458) ((12 135) . 6459) ((13 135) . 6460) ((13 136) . 6461) ((13 137) . 6462) ((12 137) . 6463) ((11 137) . 6464) ((11 138) . 6465) ((11 139) . 6466) ((12 139) . 6467) ((13 139) . 6468) ((14 139) . 6469) ((15 139) . 6470) ((15 138) . 6471) ((15 137) . 6472) ((15 136) . 6473) ((15 135) . 6474) ((16 135) . 6475) ((17 135) . 6476) ((17 136) . 6477) ((17 137) . 6478) ((17 138) . 6479) ((17 139) . 6480) ((18 139) . 6481) ((19 139) . 6482) ((19 138) . 6483) ((19 137) . 6484) ((19 136) . 6485) ((19 135) . 6486) ((19 134) . 6487) ((19 133) . 6488) ((18 133) . 6489) ((17 133) . 6490) ((16 133) . 6491) ((15 133) . 6492) ((15 132) . 6493) ((15 131) . 6494) ((16 131) . 6495) ((17 131) . 6496) ((18 131) . 6497) ((19 131) . 6498) ((20 131) . 6499) ((21 131) . 6500) ((21 132) . 6501) ((21 133) . 6502) ((22 133) . 6503) ((23 133) . 6504) ((23 134) . 6505) ((23 135) . 6506) ((24 135) . 6507) ((25 135) . 6508) ((25 134) . 6509) ((25 133) . 6510) ((25 132) . 6511) ((25 131) . 6512) ((24 131) . 6513) ((23 131) . 6514) ((23 130) . 6515) ((23 129) . 6516) ((23 128) . 6517) ((23 127) . 6518) ((23 126) . 6519) ((23 125) . 6520) ((23 124) . 6521) ((23 123) . 6522) ((23 122) . 6523) ((23 121) . 6524) ((23 120) . 6525) ((23 119) . 6526) ((23 118) . 6527) ((23 117) . 6528) ((23 116) . 6529) ((23 115) . 6530) ((23 114) . 6531) ((23 113) . 6532) ((24 113) . 6533) ((25 113) . 6534) ((26 113) . 6535) ((27 113) . 6536) ((27 114) . 6537) ((27 115) . 6538) ((26 115) . 6539) ((25 115) . 6540) ((25 116) . 6541) ((25 117) . 6542) ((26 117) . 6543) ((27 117) . 6544) ((27 118) . 6545) ((27 119) . 6546) ((26 119) . 6547) ((25 119) . 6548) ((25 120) . 6549) ((25 121) . 6550) ((26 121) . 6551) ((27 121) . 6552) ((28 121) . 6553) ((29 121) . 6554) ((29 120) . 6555) ((29 119) . 6556) ((30 119) . 6557) ((31 119) . 6558) ((31 118) . 6559) ((31 117) . 6560) ((30 117) . 6561) ((29 117) . 6562) ((29 116) . 6563) ((29 115) . 6564) ((29 114) . 6565) ((29 113) . 6566) ((30 113) . 6567) ((31 113) . 6568) ((31 112) . 6569) ((31 111) . 6570) ((30 111) . 6571) ((29 111) . 6572) ((29 110) . 6573) ((29 109) . 6574) ((29 108) . 6575) ((29 107) . 6576) ((30 107) . 6577) ((31 107) . 6578) ((31 108) . 6579) ((31 109) . 6580) ((32 109) . 6581) ((33 109) . 6582) ((33 108) . 6583) ((33 107) . 6584) ((33 106) . 6585) ((33 105) . 6586) ((34 105) . 6587) ((35 105) . 6588) ((35 106) . 6589) ((35 107) . 6590) ((35 108) . 6591) ((35 109) . 6592) ((36 109) . 6593) ((37 109) . 6594) ((37 108) . 6595) ((37 107) . 6596) ((37 106) . 6597) ((37 105) . 6598) ((37 104) . 6599) ((37 103) . 6600) ((38 103) . 6601) ((39 103) . 6602) ((39 104) . 6603) ((39 105) . 6604) ((40 105) . 6605) ((41 105) . 6606) ((41 106) . 6607) ((41 107) . 6608) ((40 107) . 6609) ((39 107) . 6610) ((39 108) . 6611) ((39 109) . 6612) ((40 109) . 6613) ((41 109) . 6614) ((41 110) . 6615) ((41 111) . 6616) ((41 112) . 6617) ((41 113) . 6618) ((40 113) . 6619) ((39 113) . 6620) ((39 112) . 6621) ((39 111) . 6622) ((38 111) . 6623) ((37 111) . 6624) ((36 111) . 6625) ((35 111) . 6626) ((34 111) . 6627) ((33 111) . 6628) ((33 112) . 6629) ((33 113) . 6630) ((33 114) . 6631) ((33 115) . 6632) ((34 115) . 6633) ((35 115) . 6634) ((35 114) . 6635) ((35 113) . 6636) ((36 113) . 6637) ((37 113) . 6638) ((37 114) . 6639) ((37 115) . 6640) ((38 115) . 6641) ((39 115) . 6642) ((39 116) . 6643) ((39 117) . 6644) ((38 117) . 6645) ((37 117) . 6646) ((36 117) . 6647) ((35 117) . 6648) ((35 118) . 6649) ((35 119) . 6650) ((34 119) . 6651) ((33 119) . 6652) ((33 120) . 6653) ((33 121) . 6654) ((32 121) . 6655) ((31 121) . 6656) ((31 122) . 6657) ((31 123) . 6658) ((30 123) . 6659) ((29 123) . 6660) ((28 123) . 6661) ((27 123) . 6662) ((26 123) . 6663) ((25 123) . 6664) ((25 124) . 6665) ((25 125) . 6666) ((26 125) . 6667) ((27 125) . 6668) ((28 125) . 6669) ((29 125) . 6670) ((29 126) . 6671) ((29 127) . 6672) ((28 127) . 6673) ((27 127) . 6674) ((26 127) . 6675) ((25 127) . 6676) ((25 128) . 6677) ((25 129) . 6678) ((26 129) . 6679) ((27 129) . 6680) ((27 130) . 6681) ((27 131) . 6682) ((28 131) . 6683) ((29 131) . 6684) ((29 130) . 6685) ((29 129) . 6686) ((30 129) . 6687) ((31 129) . 6688) ((31 130) . 6689) ((31 131) . 6690) ((31 132) . 6691) ((31 133) . 6692) ((30 133) . 6693) ((29 133) . 6694) ((28 133) . 6695) ((27 133) . 6696) ((27 134) . 6697) ((27 135) . 6698) ((28 135) . 6699) ((29 135) . 6700) ((29 136) . 6701) ((29 137) . 6702) ((28 137) . 6703) ((27 137) . 6704) ((26 137) . 6705) ((25 137) . 6706) ((24 137) . 6707) ((23 137) . 6708) ((22 137) . 6709) ((21 137) . 6710) ((21 138) . 6711) ((21 139) . 6712) ((22 139) . 6713) ((23 139) . 6714) ((24 139) . 6715) ((25 139) . 6716) ((26 139) . 6717) ((27 139) . 6718) ((28 139) . 6719) ((29 139) . 6720) ((30 139) . 6721) ((31 139) . 6722) ((31 138) . 6723) ((31 137) . 6724) ((31 136) . 6725) ((31 135) . 6726) ((32 135) . 6727) ((33 135) . 6728) ((33 134) . 6729) ((33 133) . 6730) ((33 132) . 6731) ((33 131) . 6732) ((33 130) . 6733) ((33 129) . 6734) ((34 129) . 6735) ((35 129) . 6736) ((35 130) . 6737) ((35 131) . 6738) ((36 131) . 6739) ((37 131) . 6740) ((37 130) . 6741) ((37 129) . 6742) ((37 128) . 6743) ((37 127) . 6744) ((37 126) . 6745) ((37 125) . 6746) ((36 125) . 6747) ((35 125) . 6748) ((35 126) . 6749) ((35 127) . 6750) ((34 127) . 6751) ((33 127) . 6752) ((32 127) . 6753) ((31 127) . 6754) ((31 126) . 6755) ((31 125) . 6756) ((32 125) . 6757) ((33 125) . 6758) ((33 124) . 6759) ((33 123) . 6760) ((34 123) . 6761) ((35 123) . 6762) ((35 122) . 6763) ((35 121) . 6764) ((36 121) . 6765) ((37 121) . 6766) ((37 120) . 6767) ((37 119) . 6768) ((38 119) . 6769) ((39 119) . 6770) ((40 119) . 6771) ((41 119) . 6772) ((41 120) . 6773) ((41 121) . 6774) ((40 121) . 6775) ((39 121) . 6776) ((39 122) . 6777) ((39 123) . 6778) ((40 123) . 6779) ((41 123) . 6780) ((41 124) . 6781) ((41 125) . 6782) ((41 126) . 6783) ((41 127) . 6784) ((40 127) . 6785) ((39 127) . 6786) ((39 128) . 6787) ((39 129) . 6788) ((39 130) . 6789) ((39 131) . 6790) ((39 132) . 6791) ((39 133) . 6792) ((38 133) . 6793) ((37 133) . 6794) ((36 133) . 6795) ((35 133) . 6796) ((35 134) . 6797) ((35 135) . 6798) ((35 136) . 6799) ((35 137) . 6800) ((34 137) . 6801) ((33 137) . 6802) ((33 138) . 6803) ((33 139) . 6804) ((34 139) . 6805) ((35 139) . 6806) ((36 139) . 6807) ((37 139) . 6808) ((37 138) . 6809) ((37 137) . 6810) ((37 136) . 6811) ((37 135) . 6812) ((38 135) . 6813) ((39 135) . 6814) ((39 136) . 6815) ((39 137) . 6816) ((40 137) . 6817) ((41 137) . 6818) ((41 138) . 6819) ((41 139) . 6820) ((42 139) . 6821) ((43 139) . 6822) ((43 138) . 6823) ((43 137) . 6824) ((43 136) . 6825) ((43 135) . 6826) ((42 135) . 6827) ((41 135) . 6828) ((41 134) . 6829) ((41 133) . 6830) ((42 133) . 6831) ((43 133) . 6832) ((43 132) . 6833) ((43 131) . 6834) ((42 131) . 6835) ((41 131) . 6836) ((41 130) . 6837) ((41 129) . 6838) ((42 129) . 6839) ((43 129) . 6840) ((44 129) . 6841) ((45 129) . 6842) ((45 130) . 6843) ((45 131) . 6844) ((45 132) . 6845) ((45 133) . 6846) ((45 134) . 6847) ((45 135) . 6848) ((45 136) . 6849) ((45 137) . 6850) ((46 137) . 6851) ((47 137) . 6852) ((47 138) . 6853) ((47 139) . 6854) ((48 139) . 6855) ((49 139) . 6856) ((50 139) . 6857) ((51 139) . 6858) ((52 139) . 6859) ((53 139) . 6860) ((53 138) . 6861) ((53 137) . 6862) ((52 137) . 6863) ((51 137) . 6864) ((50 137) . 6865) ((49 137) . 6866) ((49 136) . 6867) ((49 135) . 6868) ((48 135) . 6869) ((47 135) . 6870) ((47 134) . 6871) ((47 133) . 6872) ((47 132) . 6873) ((47 131) . 6874) ((48 131) . 6875) ((49 131) . 6876) ((49 130) . 6877) ((49 129) . 6878) ((48 129) . 6879) ((47 129) . 6880) ((47 128) . 6881) ((47 127) . 6882) ((46 127) . 6883) ((45 127) . 6884) ((44 127) . 6885) ((43 127) . 6886) ((43 126) . 6887) ((43 125) . 6888) ((44 125) . 6889) ((45 125) . 6890) ((46 125) . 6891) ((47 125) . 6892) ((48 125) . 6893) ((49 125) . 6894) ((49 124) . 6895) ((49 123) . 6896) ((48 123) . 6897) ((47 123) . 6898) ((46 123) . 6899) ((45 123) . 6900) ((44 123) . 6901) ((43 123) . 6902) ((43 122) . 6903) ((43 121) . 6904) ((43 120) . 6905) ((43 119) . 6906) ((44 119) . 6907) ((45 119) . 6908) ((45 120) . 6909) ((45 121) . 6910) ((46 121) . 6911) ((47 121) . 6912) ((47 120) . 6913) ((47 119) . 6914) ((48 119) . 6915) ((49 119) . 6916) ((49 118) . 6917) ((49 117) . 6918) ((48 117) . 6919) ((47 117) . 6920) ((46 117) . 6921) ((45 117) . 6922) ((44 117) . 6923) ((43 117) . 6924) ((42 117) . 6925) ((41 117) . 6926) ((41 116) . 6927) ((41 115) . 6928) ((42 115) . 6929) ((43 115) . 6930) ((44 115) . 6931) ((45 115) . 6932) ((45 114) . 6933) ((45 113) . 6934) ((44 113) . 6935) ((43 113) . 6936) ((43 112) . 6937) ((43 111) . 6938) ((44 111) . 6939) ((45 111) . 6940) ((45 110) . 6941) ((45 109) . 6942) ((44 109) . 6943) ((43 109) . 6944) ((43 108) . 6945) ((43 107) . 6946) ((43 106) . 6947) ((43 105) . 6948) ((44 105) . 6949) ((45 105) . 6950) ((45 104) . 6951) ((45 103) . 6952) ((44 103) . 6953) ((43 103) . 6954) ((42 103) . 6955) ((41 103) . 6956) ((41 102) . 6957) ((41 101) . 6958) ((42 101) . 6959) ((43 101) . 6960) ((43 100) . 6961) ((43 99) . 6962) ((43 98) . 6963) ((43 97) . 6964) ((43 96) . 6965) ((43 95) . 6966) ((43 94) . 6967) ((43 93) . 6968) ((43 92) . 6969) ((43 91) . 6970) ((44 91) . 6971) ((45 91) . 6972) ((46 91) . 6973) ((47 91) . 6974) ((47 92) . 6975) ((47 93) . 6976) ((46 93) . 6977) ((45 93) . 6978) ((45 94) . 6979) ((45 95) . 6980) ((45 96) . 6981) ((45 97) . 6982) ((45 98) . 6983) ((45 99) . 6984) ((45 100) . 6985) ((45 101) . 6986) ((46 101) . 6987) ((47 101) . 6988) ((47 102) . 6989) ((47 103) . 6990) ((47 104) . 6991) ((47 105) . 6992) ((47 106) . 6993) ((47 107) . 6994) ((47 108) . 6995) ((47 109) . 6996) ((47 110) . 6997) ((47 111) . 6998) ((47 112) . 6999) ((47 113) . 7000) ((47 114) . 7001) ((47 115) . 7002) ((48 115) . 7003) ((49 115) . 7004) ((49 114) . 7005) ((49 113) . 7006) ((50 113) . 7007) ((51 113) . 7008) ((51 112) . 7009) ((51 111) . 7010) ((50 111) . 7011) ((49 111) . 7012) ((49 110) . 7013) ((49 109) . 7014) ((49 108) . 7015) ((49 107) . 7016) ((49 106) . 7017) ((49 105) . 7018) ((49 104) . 7019) ((49 103) . 7020) ((49 102) . 7021) ((49 101) . 7022) ((49 100) . 7023) ((49 99) . 7024) ((49 98) . 7025) ((49 97) . 7026) ((48 97) . 7027) ((47 97) . 7028) ((47 96) . 7029) ((47 95) . 7030) ((48 95) . 7031) ((49 95) . 7032) ((49 94) . 7033) ((49 93) . 7034) ((50 93) . 7035) ((51 93) . 7036) ((51 92) . 7037) ((51 91) . 7038) ((52 91) . 7039) ((53 91) . 7040) ((53 92) . 7041) ((53 93) . 7042) ((53 94) . 7043) ((53 95) . 7044) ((52 95) . 7045) ((51 95) . 7046) ((51 96) . 7047) ((51 97) . 7048) ((51 98) . 7049) ((51 99) . 7050) ((51 100) . 7051) ((51 101) . 7052) ((51 102) . 7053) ((51 103) . 7054) ((51 104) . 7055) ((51 105) . 7056) ((51 106) . 7057) ((51 107) . 7058) ((51 108) . 7059) ((51 109) . 7060) ((52 109) . 7061) ((53 109) . 7062) ((53 110) . 7063) ((53 111) . 7064) ((53 112) . 7065) ((53 113) . 7066) ((53 114) . 7067) ((53 115) . 7068) ((52 115) . 7069) ((51 115) . 7070) ((51 116) . 7071) ((51 117) . 7072) ((52 117) . 7073) ((53 117) . 7074) ((53 118) . 7075) ((53 119) . 7076) ((54 119) . 7077) ((55 119) . 7078) ((55 118) . 7079) ((55 117) . 7080) ((56 117) . 7081) ((57 117) . 7082) ((57 116) . 7083) ((57 115) . 7084) ((56 115) . 7085) ((55 115) . 7086) ((55 114) . 7087) ((55 113) . 7088) ((56 113) . 7089) ((57 113) . 7090) ((57 112) . 7091) ((57 111) . 7092) ((56 111) . 7093) ((55 111) . 7094) ((55 110) . 7095) ((55 109) . 7096) ((56 109) . 7097) ((57 109) . 7098) ((57 108) . 7099) ((57 107) . 7100) ((56 107) . 7101) ((55 107) . 7102) ((54 107) . 7103) ((53 107) . 7104) ((53 106) . 7105) ((53 105) . 7106) ((53 104) . 7107) ((53 103) . 7108) ((53 102) . 7109) ((53 101) . 7110) ((54 101) . 7111) ((55 101) . 7112) ((55 100) . 7113) ((55 99) . 7114) ((54 99) . 7115) ((53 99) . 7116) ((53 98) . 7117) ((53 97) . 7118) ((54 97) . 7119) ((55 97) . 7120) ((56 97) . 7121) ((57 97) . 7122) ((57 98) . 7123) ((57 99) . 7124) ((57 100) . 7125) ((57 101) . 7126) ((57 102) . 7127) ((57 103) . 7128) ((56 103) . 7129) ((55 103) . 7130) ((55 104) . 7131) ((55 105) . 7132) ((56 105) . 7133) ((57 105) . 7134) ((58 105) . 7135) ((59 105) . 7136) ((59 106) . 7137) ((59 107) . 7138) ((59 108) . 7139) ((59 109) . 7140) ((59 110) . 7141) ((59 111) . 7142) ((59 112) . 7143) ((59 113) . 7144) ((59 114) . 7145) ((59 115) . 7146) ((60 115) . 7147) ((61 115) . 7148) ((61 114) . 7149) ((61 113) . 7150) ((61 112) . 7151) ((61 111) . 7152) ((61 110) . 7153) ((61 109) . 7154) ((61 108) . 7155) ((61 107) . 7156) ((61 106) . 7157) ((61 105) . 7158) ((61 104) . 7159) ((61 103) . 7160) ((60 103) . 7161) ((59 103) . 7162) ((59 102) . 7163) ((59 101) . 7164) ((60 101) . 7165) ((61 101) . 7166) ((61 100) . 7167) ((61 99) . 7168) ((60 99) . 7169) ((59 99) . 7170) ((59 98) . 7171) ((59 97) . 7172) ((60 97) . 7173) ((61 97) . 7174) ((61 96) . 7175) ((61 95) . 7176) ((60 95) . 7177) ((59 95) . 7178) ((58 95) . 7179) ((57 95) . 7180) ((56 95) . 7181) ((55 95) . 7182) ((55 94) . 7183) ((55 93) . 7184) ((56 93) . 7185) ((57 93) . 7186) ((57 92) . 7187) ((57 91) . 7188) ((56 91) . 7189) ((55 91) . 7190) ((55 90) . 7191) ((55 89) . 7192) ((54 89) . 7193) ((53 89) . 7194) ((53 88) . 7195) ((53 87) . 7196) ((52 87) . 7197) ((51 87) . 7198) ((51 88) . 7199) ((51 89) . 7200) ((50 89) . 7201) ((49 89) . 7202) ((49 88) . 7203) ((49 87) . 7204) ((49 86) . 7205) ((49 85) . 7206) ((50 85) . 7207) ((51 85) . 7208) ((52 85) . 7209) ((53 85) . 7210) ((54 85) . 7211) ((55 85) . 7212) ((55 86) . 7213) ((55 87) . 7214) ((56 87) . 7215) ((57 87) . 7216) ((57 88) . 7217) ((57 89) . 7218) ((58 89) . 7219) ((59 89) . 7220) ((59 90) . 7221) ((59 91) . 7222) ((59 92) . 7223) ((59 93) . 7224) ((60 93) . 7225) ((61 93) . 7226) ((61 92) . 7227) ((61 91) . 7228) ((62 91) . 7229) ((63 91) . 7230) ((63 90) . 7231) ((63 89) . 7232) ((62 89) . 7233) ((61 89) . 7234) ((61 88) . 7235) ((61 87) . 7236) ((62 87) . 7237) ((63 87) . 7238) ((63 86) . 7239) ((63 85) . 7240) ((62 85) . 7241) ((61 85) . 7242) ((60 85) . 7243) ((59 85) . 7244) ((58 85) . 7245) ((57 85) . 7246) ((57 84) . 7247) ((57 83) . 7248) ((58 83) . 7249) ((59 83) . 7250) ((59 82) . 7251) ((59 81) . 7252) ((59 80) . 7253) ((59 79) . 7254) ((60 79) . 7255) ((61 79) . 7256) ((61 80) . 7257) ((61 81) . 7258) ((61 82) . 7259) ((61 83) . 7260) ((62 83) . 7261) ((63 83) . 7262) ((63 82) . 7263) ((63 81) . 7264) ((63 80) . 7265) ((63 79) . 7266) ((63 78) . 7267) ((63 77) . 7268) ((62 77) . 7269) ((61 77) . 7270) ((61 76) . 7271) ((61 75) . 7272) ((62 75) . 7273) ((63 75) . 7274) ((63 74) . 7275) ((63 73) . 7276) ((63 72) . 7277) ((63 71) . 7278) ((62 71) . 7279) ((61 71) . 7280) ((61 70) . 7281) ((61 69) . 7282) ((62 69) . 7283) ((63 69) . 7284) ((64 69) . 7285) ((65 69) . 7286) ((65 70) . 7287) ((65 71) . 7288) ((65 72) . 7289) ((65 73) . 7290) ((65 74) . 7291) ((65 75) . 7292) ((65 76) . 7293) ((65 77) . 7294) ((65 78) . 7295) ((65 79) . 7296) ((65 80) . 7297) ((65 81) . 7298) ((65 82) . 7299) ((65 83) . 7300) ((65 84) . 7301) ((65 85) . 7302) ((65 86) . 7303) ((65 87) . 7304) ((65 88) . 7305) ((65 89) . 7306) ((65 90) . 7307) ((65 91) . 7308) ((66 91) . 7309) ((67 91) . 7310) ((67 90) . 7311) ((67 89) . 7312) ((67 88) . 7313) ((67 87) . 7314) ((67 86) . 7315) ((67 85) . 7316) ((67 84) . 7317) ((67 83) . 7318) ((67 82) . 7319) ((67 81) . 7320) ((67 80) . 7321) ((67 79) . 7322) ((67 78) . 7323) ((67 77) . 7324) ((67 76) . 7325) ((67 75) . 7326) ((67 74) . 7327) ((67 73) . 7328) ((68 73) . 7329) ((69 73) . 7330) ((69 74) . 7331) ((69 75) . 7332) ((69 76) . 7333) ((69 77) . 7334) ((69 78) . 7335) ((69 79) . 7336) ((70 79) . 7337) ((71 79) . 7338) ((71 78) . 7339) ((71 77) . 7340) ((71 76) . 7341) ((71 75) . 7342) ((71 74) . 7343) ((71 73) . 7344) ((71 72) . 7345) ((71 71) . 7346) ((70 71) . 7347) ((69 71) . 7348) ((68 71) . 7349) ((67 71) . 7350) ((67 70) . 7351) ((67 69) . 7352) ((68 69) . 7353) ((69 69) . 7354) ((69 68) . 7355) ((69 67) . 7356) ((69 66) . 7357) ((69 65) . 7358) ((70 65) . 7359) ((71 65) . 7360) ((72 65) . 7361) ((73 65) . 7362) ((73 66) . 7363) ((73 67) . 7364) ((72 67) . 7365) ((71 67) . 7366) ((71 68) . 7367) ((71 69) . 7368) ((72 69) . 7369) ((73 69) . 7370) ((73 70) . 7371) ((73 71) . 7372) ((74 71) . 7373) ((75 71) . 7374) ((75 72) . 7375) ((75 73) . 7376) ((74 73) . 7377) ((73 73) . 7378) ((73 74) . 7379) ((73 75) . 7380) ((73 76) . 7381) ((73 77) . 7382) ((73 78) . 7383) ((73 79) . 7384) ((74 79) . 7385) ((75 79) . 7386) ((75 78) . 7387) ((75 77) . 7388) ((75 76) . 7389) ((75 75) . 7390) ((76 75) . 7391) ((77 75) . 7392) ((77 76) . 7393) ((77 77) . 7394) ((78 77) . 7395) ((79 77) . 7396) ((79 76) . 7397) ((79 75) . 7398) ((80 75) . 7399) ((81 75) . 7400) ((81 76) . 7401) ((81 77) . 7402) ((81 78) . 7403) ((81 79) . 7404) ((80 79) . 7405) ((79 79) . 7406) ((78 79) . 7407) ((77 79) . 7408) ((77 80) . 7409) ((77 81) . 7410) ((78 81) . 7411) ((79 81) . 7412) ((79 82) . 7413) ((79 83) . 7414) ((78 83) . 7415) ((77 83) . 7416) ((76 83) . 7417) ((75 83) . 7418) ((75 82) . 7419) ((75 81) . 7420) ((74 81) . 7421) ((73 81) . 7422) ((73 82) . 7423) ((73 83) . 7424) ((72 83) . 7425) ((71 83) . 7426) ((71 82) . 7427) ((71 81) . 7428) ((70 81) . 7429) ((69 81) . 7430) ((69 82) . 7431) ((69 83) . 7432) ((69 84) . 7433) ((69 85) . 7434) ((70 85) . 7435) ((71 85) . 7436) ((72 85) . 7437) ((73 85) . 7438) ((73 86) . 7439) ((73 87) . 7440) ((72 87) . 7441) ((71 87) . 7442) ((70 87) . 7443) ((69 87) . 7444) ((69 88) . 7445) ((69 89) . 7446) ((69 90) . 7447) ((69 91) . 7448) ((70 91) . 7449) ((71 91) . 7450) ((71 90) . 7451) ((71 89) . 7452) ((72 89) . 7453) ((73 89) . 7454) ((73 90) . 7455) ((73 91) . 7456) ((73 92) . 7457) ((73 93) . 7458) ((72 93) . 7459) ((71 93) . 7460) ((71 94) . 7461) ((71 95) . 7462) ((70 95) . 7463) ((69 95) . 7464) ((69 94) . 7465) ((69 93) . 7466) ((68 93) . 7467) ((67 93) . 7468) ((66 93) . 7469) ((65 93) . 7470) ((64 93) . 7471) ((63 93) . 7472) ((63 94) . 7473) ((63 95) . 7474) ((63 96) . 7475) ((63 97) . 7476) ((64 97) . 7477) ((65 97) . 7478) ((65 96) . 7479) ((65 95) . 7480) ((66 95) . 7481) ((67 95) . 7482) ((67 96) . 7483) ((67 97) . 7484) ((68 97) . 7485) ((69 97) . 7486) ((69 98) . 7487) ((69 99) . 7488) ((68 99) . 7489) ((67 99) . 7490) ((66 99) . 7491) ((65 99) . 7492) ((64 99) . 7493) ((63 99) . 7494) ((63 100) . 7495) ((63 101) . 7496) ((63 102) . 7497) ((63 103) . 7498) ((63 104) . 7499) ((63 105) . 7500) ((63 106) . 7501) ((63 107) . 7502) ((63 108) . 7503) ((63 109) . 7504) ((64 109) . 7505) ((65 109) . 7506) ((66 109) . 7507) ((67 109) . 7508) ((67 108) . 7509) ((67 107) . 7510) ((66 107) . 7511) ((65 107) . 7512) ((65 106) . 7513) ((65 105) . 7514) ((65 104) . 7515) ((65 103) . 7516) ((65 102) . 7517) ((65 101) . 7518) ((66 101) . 7519) ((67 101) . 7520) ((68 101) . 7521) ((69 101) . 7522) ((69 102) . 7523) ((69 103) . 7524) ((68 103) . 7525) ((67 103) . 7526) ((67 104) . 7527) ((67 105) . 7528) ((68 105) . 7529) ((69 105) . 7530) ((70 105) . 7531) ((71 105) . 7532) ((71 106) . 7533) ((71 107) . 7534) ((70 107) . 7535) ((69 107) . 7536) ((69 108) . 7537) ((69 109) . 7538) ((70 109) . 7539) ((71 109) . 7540) ((71 110) . 7541) ((71 111) . 7542) ((70 111) . 7543) ((69 111) . 7544) ((68 111) . 7545) ((67 111) . 7546) ((66 111) . 7547) ((65 111) . 7548) ((65 112) . 7549) ((65 113) . 7550) ((64 113) . 7551) ((63 113) . 7552) ((63 114) . 7553) ((63 115) . 7554) ((64 115) . 7555) ((65 115) . 7556) ((65 116) . 7557) ((65 117) . 7558) ((64 117) . 7559) ((63 117) . 7560) ((62 117) . 7561) ((61 117) . 7562) ((60 117) . 7563) ((59 117) . 7564) ((59 118) . 7565) ((59 119) . 7566) ((60 119) . 7567) ((61 119) . 7568) ((62 119) . 7569) ((63 119) . 7570) ((63 120) . 7571) ((63 121) . 7572) ((62 121) . 7573) ((61 121) . 7574) ((60 121) . 7575) ((59 121) . 7576) ((58 121) . 7577) ((57 121) . 7578) ((56 121) . 7579) ((55 121) . 7580) ((54 121) . 7581) ((53 121) . 7582) ((52 121) . 7583) ((51 121) . 7584) ((51 122) . 7585) ((51 123) . 7586) ((52 123) . 7587) ((53 123) . 7588) ((54 123) . 7589) ((55 123) . 7590) ((56 123) . 7591) ((57 123) . 7592) ((57 124) . 7593) ((57 125) . 7594) ((56 125) . 7595) ((55 125) . 7596) ((54 125) . 7597) ((53 125) . 7598) ((52 125) . 7599) ((51 125) . 7600) ((51 126) . 7601) ((51 127) . 7602) ((51 128) . 7603) ((51 129) . 7604) ((51 130) . 7605) ((51 131) . 7606) ((51 132) . 7607) ((51 133) . 7608) ((51 134) . 7609) ((51 135) . 7610) ((52 135) . 7611) ((53 135) . 7612) ((53 134) . 7613) ((53 133) . 7614) ((53 132) . 7615) ((53 131) . 7616) ((53 130) . 7617) ((53 129) . 7618) ((53 128) . 7619) ((53 127) . 7620) ((54 127) . 7621) ((55 127) . 7622) ((56 127) . 7623) ((57 127) . 7624) ((57 128) . 7625) ((57 129) . 7626) ((57 130) . 7627) ((57 131) . 7628) ((56 131) . 7629) ((55 131) . 7630) ((55 132) . 7631) ((55 133) . 7632) ((56 133) . 7633) ((57 133) . 7634) ((57 134) . 7635) ((57 135) . 7636) ((58 135) . 7637) ((59 135) . 7638) ((59 134) . 7639) ((59 133) . 7640) ((59 132) . 7641) ((59 131) . 7642) ((59 130) . 7643) ((59 129) . 7644) ((59 128) . 7645) ((59 127) . 7646) ((59 126) . 7647) ((59 125) . 7648) ((59 124) . 7649) ((59 123) . 7650) ((60 123) . 7651) ((61 123) . 7652) ((62 123) . 7653) ((63 123) . 7654) ((63 124) . 7655) ((63 125) . 7656) ((62 125) . 7657) ((61 125) . 7658) ((61 126) . 7659) ((61 127) . 7660) ((62 127) . 7661) ((63 127) . 7662) ((63 128) . 7663) ((63 129) . 7664) ((62 129) . 7665) ((61 129) . 7666) ((61 130) . 7667) ((61 131) . 7668) ((62 131) . 7669) ((63 131) . 7670) ((63 132) . 7671) ((63 133) . 7672) ((63 134) . 7673) ((63 135) . 7674) ((62 135) . 7675) ((61 135) . 7676) ((61 136) . 7677) ((61 137) . 7678) ((60 137) . 7679) ((59 137) . 7680) ((58 137) . 7681) ((57 137) . 7682) ((56 137) . 7683) ((55 137) . 7684) ((55 138) . 7685) ((55 139) . 7686) ((56 139) . 7687) ((57 139) . 7688) ((58 139) . 7689) ((59 139) . 7690) ((60 139) . 7691) ((61 139) . 7692) ((62 139) . 7693) ((63 139) . 7694) ((63 138) . 7695) ((63 137) . 7696) ((64 137) . 7697) ((65 137) . 7698) ((65 136) . 7699) ((65 135) . 7700) ((65 134) . 7701) ((65 133) . 7702) ((66 133) . 7703) ((67 133) . 7704) ((67 134) . 7705) ((67 135) . 7706) ((67 136) . 7707) ((67 137) . 7708) ((67 138) . 7709) ((67 139) . 7710) ((68 139) . 7711) ((69 139) . 7712) ((69 138) . 7713) ((69 137) . 7714) ((69 136) . 7715) ((69 135) . 7716) ((69 134) . 7717) ((69 133) . 7718) ((70 133) . 7719) ((71 133) . 7720) ((71 134) . 7721) ((71 135) . 7722) ((71 136) . 7723) ((71 137) . 7724) ((71 138) . 7725) ((71 139) . 7726) ((72 139) . 7727) ((73 139) . 7728) ((73 138) . 7729) ((73 137) . 7730) ((73 136) . 7731) ((73 135) . 7732) ((73 134) . 7733) ((73 133) . 7734) ((73 132) . 7735) ((73 131) . 7736) ((72 131) . 7737) ((71 131) . 7738) ((70 131) . 7739) ((69 131) . 7740) ((68 131) . 7741) ((67 131) . 7742) ((66 131) . 7743) ((65 131) . 7744) ((65 130) . 7745) ((65 129) . 7746) ((65 128) . 7747) ((65 127) . 7748) ((66 127) . 7749) ((67 127) . 7750) ((67 128) . 7751) ((67 129) . 7752) ((68 129) . 7753) ((69 129) . 7754) ((69 128) . 7755) ((69 127) . 7756) ((70 127) . 7757) ((71 127) . 7758) ((71 126) . 7759) ((71 125) . 7760) ((70 125) . 7761) ((69 125) . 7762) ((68 125) . 7763) ((67 125) . 7764) ((66 125) . 7765) ((65 125) . 7766) ((65 124) . 7767) ((65 123) . 7768) ((66 123) . 7769) ((67 123) . 7770) ((68 123) . 7771) ((69 123) . 7772) ((69 122) . 7773) ((69 121) . 7774) ((68 121) . 7775) ((67 121) . 7776) ((66 121) . 7777) ((65 121) . 7778) ((65 120) . 7779) ((65 119) . 7780) ((66 119) . 7781) ((67 119) . 7782) ((67 118) . 7783) ((67 117) . 7784) ((68 117) . 7785) ((69 117) . 7786) ((70 117) . 7787) ((71 117) . 7788) ((71 116) . 7789) ((71 115) . 7790) ((70 115) . 7791) ((69 115) . 7792) ((68 115) . 7793) ((67 115) . 7794) ((67 114) . 7795) ((67 113) . 7796) ((68 113) . 7797) ((69 113) . 7798) ((70 113) . 7799) ((71 113) . 7800) ((72 113) . 7801) ((73 113) . 7802) ((73 114) . 7803) ((73 115) . 7804) ((73 116) . 7805) ((73 117) . 7806) ((73 118) . 7807) ((73 119) . 7808) ((72 119) . 7809) ((71 119) . 7810) ((71 120) . 7811) ((71 121) . 7812) ((72 121) . 7813) ((73 121) . 7814) ((73 122) . 7815) ((73 123) . 7816) ((73 124) . 7817) ((73 125) . 7818) ((74 125) . 7819) ((75 125) . 7820) ((75 124) . 7821) ((75 123) . 7822) ((75 122) . 7823) ((75 121) . 7824) ((75 120) . 7825) ((75 119) . 7826) ((76 119) . 7827) ((77 119) . 7828) ((77 120) . 7829) ((77 121) . 7830) ((77 122) . 7831) ((77 123) . 7832) ((77 124) . 7833) ((77 125) . 7834) ((77 126) . 7835) ((77 127) . 7836) ((76 127) . 7837) ((75 127) . 7838) ((74 127) . 7839) ((73 127) . 7840) ((73 128) . 7841) ((73 129) . 7842) ((74 129) . 7843) ((75 129) . 7844) ((75 130) . 7845) ((75 131) . 7846) ((75 132) . 7847) ((75 133) . 7848) ((75 134) . 7849) ((75 135) . 7850) ((75 136) . 7851) ((75 137) . 7852) ((75 138) . 7853) ((75 139) . 7854) ((76 139) . 7855) ((77 139) . 7856) ((77 138) . 7857) ((77 137) . 7858) ((77 136) . 7859) ((77 135) . 7860) ((77 134) . 7861) ((77 133) . 7862) ((78 133) . 7863) ((79 133) . 7864) ((79 132) . 7865) ((79 131) . 7866) ((78 131) . 7867) ((77 131) . 7868) ((77 130) . 7869) ((77 129) . 7870) ((78 129) . 7871) ((79 129) . 7872) ((79 128) . 7873) ((79 127) . 7874) ((80 127) . 7875) ((81 127) . 7876) ((81 128) . 7877) ((81 129) . 7878) ((81 130) . 7879) ((81 131) . 7880) ((81 132) . 7881) ((81 133) . 7882) ((82 133) . 7883) ((83 133) . 7884) ((83 134) . 7885) ((83 135) . 7886) ((83 136) . 7887) ((83 137) . 7888) ((82 137) . 7889) ((81 137) . 7890) ((81 136) . 7891) ((81 135) . 7892) ((80 135) . 7893) ((79 135) . 7894) ((79 136) . 7895) ((79 137) . 7896) ((79 138) . 7897) ((79 139) . 7898) ((80 139) . 7899) ((81 139) . 7900) ((82 139) . 7901) ((83 139) . 7902) ((84 139) . 7903) ((85 139) . 7904) ((85 138) . 7905) ((85 137) . 7906) ((86 137) . 7907) ((87 137) . 7908) ((87 138) . 7909) ((87 139) . 7910) ((88 139) . 7911) ((89 139) . 7912) ((89 138) . 7913) ((89 137) . 7914) ((90 137) . 7915) ((91 137) . 7916) ((91 136) . 7917) ((91 135) . 7918) ((90 135) . 7919) ((89 135) . 7920) ((88 135) . 7921) ((87 135) . 7922) ((86 135) . 7923) ((85 135) . 7924) ((85 134) . 7925) ((85 133) . 7926) ((86 133) . 7927) ((87 133) . 7928) ((88 133) . 7929) ((89 133) . 7930) ((89 132) . 7931) ((89 131) . 7932) ((88 131) . 7933) ((87 131) . 7934) ((86 131) . 7935) ((85 131) . 7936) ((84 131) . 7937) ((83 131) . 7938) ((83 130) . 7939) ((83 129) . 7940) ((83 128) . 7941) ((83 127) . 7942) ((84 127) . 7943) ((85 127) . 7944) ((86 127) . 7945) ((87 127) . 7946) ((87 128) . 7947) ((87 129) . 7948) ((88 129) . 7949) ((89 129) . 7950) ((89 128) . 7951) ((89 127) . 7952) ((89 126) . 7953) ((89 125) . 7954) ((88 125) . 7955) ((87 125) . 7956) ((86 125) . 7957) ((85 125) . 7958) ((84 125) . 7959) ((83 125) . 7960) ((82 125) . 7961) ((81 125) . 7962) ((80 125) . 7963) ((79 125) . 7964) ((79 124) . 7965) ((79 123) . 7966) ((79 122) . 7967) ((79 121) . 7968) ((80 121) . 7969) ((81 121) . 7970) ((81 122) . 7971) ((81 123) . 7972) ((82 123) . 7973) ((83 123) . 7974) ((83 122) . 7975) ((83 121) . 7976) ((84 121) . 7977) ((85 121) . 7978) ((85 120) . 7979) ((85 119) . 7980) ((84 119) . 7981) ((83 119) . 7982) ((82 119) . 7983) ((81 119) . 7984) ((80 119) . 7985) ((79 119) . 7986) ((79 118) . 7987) ((79 117) . 7988) ((79 116) . 7989) ((79 115) . 7990) ((78 115) . 7991) ((77 115) . 7992) ((77 116) . 7993) ((77 117) . 7994) ((76 117) . 7995) ((75 117) . 7996) ((75 116) . 7997) ((75 115) . 7998) ((75 114) . 7999) ((75 113) . 8000) ((76 113) . 8001) ((77 113) . 8002) ((77 112) . 8003) ((77 111) . 8004) ((76 111) . 8005) ((75 111) . 8006) ((74 111) . 8007) ((73 111) . 8008) ((73 110) . 8009) ((73 109) . 8010) ((74 109) . 8011) ((75 109) . 8012) ((76 109) . 8013) ((77 109) . 8014) ((77 108) . 8015) ((77 107) . 8016) ((76 107) . 8017) ((75 107) . 8018) ((74 107) . 8019) ((73 107) . 8020) ((73 106) . 8021) ((73 105) . 8022) ((73 104) . 8023) ((73 103) . 8024) ((72 103) . 8025) ((71 103) . 8026) ((71 102) . 8027) ((71 101) . 8028) ((72 101) . 8029) ((73 101) . 8030) ((73 100) . 8031) ((73 99) . 8032) ((72 99) . 8033) ((71 99) . 8034) ((71 98) . 8035) ((71 97) . 8036) ((72 97) . 8037) ((73 97) . 8038) ((73 96) . 8039) ((73 95) . 8040) ((74 95) . 8041) ((75 95) . 8042) ((75 94) . 8043) ((75 93) . 8044) ((75 92) . 8045) ((75 91) . 8046) ((75 90) . 8047) ((75 89) . 8048) ((75 88) . 8049) ((75 87) . 8050) ((75 86) . 8051) ((75 85) . 8052) ((76 85) . 8053) ((77 85) . 8054) ((77 86) . 8055) ((77 87) . 8056) ((77 88) . 8057) ((77 89) . 8058) ((77 90) . 8059) ((77 91) . 8060) ((77 92) . 8061) ((77 93) . 8062) ((78 93) . 8063) ((79 93) . 8064) ((80 93) . 8065) ((81 93) . 8066) ((81 94) . 8067) ((81 95) . 8068) ((81 96) . 8069) ((81 97) . 8070) ((80 97) . 8071) ((79 97) . 8072) ((79 96) . 8073) ((79 95) . 8074) ((78 95) . 8075) ((77 95) . 8076) ((77 96) . 8077) ((77 97) . 8078) ((76 97) . 8079) ((75 97) . 8080) ((75 98) . 8081) ((75 99) . 8082) ((76 99) . 8083) ((77 99) . 8084) ((78 99) . 8085) ((79 99) . 8086) ((79 100) . 8087) ((79 101) . 8088) ((78 101) . 8089) ((77 101) . 8090) ((76 101) . 8091) ((75 101) . 8092) ((75 102) . 8093) ((75 103) . 8094) ((75 104) . 8095) ((75 105) . 8096) ((76 105) . 8097) ((77 105) . 8098) ((77 104) . 8099) ((77 103) . 8100) ((78 103) . 8101) ((79 103) . 8102) ((79 104) . 8103) ((79 105) . 8104) ((79 106) . 8105) ((79 107) . 8106) ((79 108) . 8107) ((79 109) . 8108) ((79 110) . 8109) ((79 111) . 8110) ((79 112) . 8111) ((79 113) . 8112) ((80 113) . 8113) ((81 113) . 8114) ((81 114) . 8115) ((81 115) . 8116) ((81 116) . 8117) ((81 117) . 8118) ((82 117) . 8119) ((83 117) . 8120) ((83 116) . 8121) ((83 115) . 8122) ((83 114) . 8123) ((83 113) . 8124) ((84 113) . 8125) ((85 113) . 8126) ((85 112) . 8127) ((85 111) . 8128) ((84 111) . 8129) ((83 111) . 8130) ((82 111) . 8131) ((81 111) . 8132) ((81 110) . 8133) ((81 109) . 8134) ((81 108) . 8135) ((81 107) . 8136) ((81 106) . 8137) ((81 105) . 8138) ((81 104) . 8139) ((81 103) . 8140) ((81 102) . 8141) ((81 101) . 8142) ((81 100) . 8143) ((81 99) . 8144) ((82 99) . 8145) ((83 99) . 8146) ((83 100) . 8147) ((83 101) . 8148) ((83 102) . 8149) ((83 103) . 8150) ((83 104) . 8151) ((83 105) . 8152) ((83 106) . 8153) ((83 107) . 8154) ((83 108) . 8155) ((83 109) . 8156) ((84 109) . 8157) ((85 109) . 8158) ((85 108) . 8159) ((85 107) . 8160) ((85 106) . 8161) ((85 105) . 8162) ((85 104) . 8163) ((85 103) . 8164) ((86 103) . 8165) ((87 103) . 8166) ((87 104) . 8167) ((87 105) . 8168) ((87 106) . 8169) ((87 107) . 8170) ((87 108) . 8171) ((87 109) . 8172) ((87 110) . 8173) ((87 111) . 8174) ((87 112) . 8175) ((87 113) . 8176) ((87 114) . 8177) ((87 115) . 8178) ((86 115) . 8179) ((85 115) . 8180) ((85 116) . 8181) ((85 117) . 8182) ((86 117) . 8183) ((87 117) . 8184) ((87 118) . 8185) ((87 119) . 8186) ((88 119) . 8187) ((89 119) . 8188) ((89 118) . 8189) ((89 117) . 8190) ((89 116) . 8191) ((89 115) . 8192) ((89 114) . 8193) ((89 113) . 8194) ((89 112) . 8195) ((89 111) . 8196) ((89 110) . 8197) ((89 109) . 8198) ((89 108) . 8199) ((89 107) . 8200) ((89 106) . 8201) ((89 105) . 8202) ((89 104) . 8203) ((89 103) . 8204) ((89 102) . 8205) ((89 101) . 8206) ((88 101) . 8207) ((87 101) . 8208) ((86 101) . 8209) ((85 101) . 8210) ((85 100) . 8211) ((85 99) . 8212) ((86 99) . 8213) ((87 99) . 8214) ((87 98) . 8215) ((87 97) . 8216) ((87 96) . 8217) ((87 95) . 8218) ((88 95) . 8219) ((89 95) . 8220) ((89 96) . 8221) ((89 97) . 8222) ((89 98) . 8223) ((89 99) . 8224) ((90 99) . 8225) ((91 99) . 8226) ((91 100) . 8227) ((91 101) . 8228) ((91 102) . 8229) ((91 103) . 8230) ((91 104) . 8231) ((91 105) . 8232) ((91 106) . 8233) ((91 107) . 8234) ((92 107) . 8235) ((93 107) . 8236) ((93 106) . 8237) ((93 105) . 8238) ((93 104) . 8239) ((93 103) . 8240) ((93 102) . 8241) ((93 101) . 8242) ((93 100) . 8243) ((93 99) . 8244) ((94 99) . 8245) ((95 99) . 8246) ((95 100) . 8247) ((95 101) . 8248) ((95 102) . 8249) ((95 103) . 8250) ((95 104) . 8251) ((95 105) . 8252) ((95 106) . 8253) ((95 107) . 8254) ((95 108) . 8255) ((95 109) . 8256) ((94 109) . 8257) ((93 109) . 8258) ((92 109) . 8259) ((91 109) . 8260) ((91 110) . 8261) ((91 111) . 8262) ((91 112) . 8263) ((91 113) . 8264) ((92 113) . 8265) ((93 113) . 8266) ((93 112) . 8267) ((93 111) . 8268) ((94 111) . 8269) ((95 111) . 8270) ((95 112) . 8271) ((95 113) . 8272) ((95 114) . 8273) ((95 115) . 8274) ((94 115) . 8275) ((93 115) . 8276) ((92 115) . 8277) ((91 115) . 8278) ((91 116) . 8279) ((91 117) . 8280) ((91 118) . 8281) ((91 119) . 8282) ((92 119) . 8283) ((93 119) . 8284) ((93 118) . 8285) ((93 117) . 8286) ((94 117) . 8287) ((95 117) . 8288) ((95 118) . 8289) ((95 119) . 8290) ((96 119) . 8291) ((97 119) . 8292) ((97 120) . 8293) ((97 121) . 8294) ((96 121) . 8295) ((95 121) . 8296) ((94 121) . 8297) ((93 121) . 8298) ((92 121) . 8299) ((91 121) . 8300) ((90 121) . 8301) ((89 121) . 8302) ((88 121) . 8303) ((87 121) . 8304) ((87 122) . 8305) ((87 123) . 8306) ((88 123) . 8307) ((89 123) . 8308) ((90 123) . 8309) ((91 123) . 8310) ((91 124) . 8311) ((91 125) . 8312) ((92 125) . 8313) ((93 125) . 8314) ((93 124) . 8315) ((93 123) . 8316) ((94 123) . 8317) ((95 123) . 8318) ((96 123) . 8319) ((97 123) . 8320) ((97 124) . 8321) ((97 125) . 8322) ((97 126) . 8323) ((97 127) . 8324) ((96 127) . 8325) ((95 127) . 8326) ((94 127) . 8327) ((93 127) . 8328) ((93 128) . 8329) ((93 129) . 8330) ((92 129) . 8331) ((91 129) . 8332) ((91 130) . 8333) ((91 131) . 8334) ((92 131) . 8335) ((93 131) . 8336) ((93 132) . 8337) ((93 133) . 8338) ((93 134) . 8339) ((93 135) . 8340) ((94 135) . 8341) ((95 135) . 8342) ((95 134) . 8343) ((95 133) . 8344) ((95 132) . 8345) ((95 131) . 8346) ((95 130) . 8347) ((95 129) . 8348) ((96 129) . 8349) ((97 129) . 8350) ((97 130) . 8351) ((97 131) . 8352) ((98 131) . 8353) ((99 131) . 8354) ((99 132) . 8355) ((99 133) . 8356) ((98 133) . 8357) ((97 133) . 8358) ((97 134) . 8359) ((97 135) . 8360) ((98 135) . 8361) ((99 135) . 8362) ((99 136) . 8363) ((99 137) . 8364) ((98 137) . 8365) ((97 137) . 8366) ((96 137) . 8367) ((95 137) . 8368) ((94 137) . 8369) ((93 137) . 8370) ((93 138) . 8371) ((93 139) . 8372) ((94 139) . 8373) ((95 139) . 8374) ((96 139) . 8375) ((97 139) . 8376) ((98 139) . 8377) ((99 139) . 8378) ((100 139) . 8379) ((101 139) . 8380) ((102 139) . 8381) ((103 139) . 8382) ((104 139) . 8383) ((105 139) . 8384) ((106 139) . 8385) ((107 139) . 8386) ((107 138) . 8387) ((107 137) . 8388) ((106 137) . 8389) ((105 137) . 8390) ((104 137) . 8391) ((103 137) . 8392) ((102 137) . 8393) ((101 137) . 8394) ((101 136) . 8395) ((101 135) . 8396) ((101 134) . 8397) ((101 133) . 8398) ((102 133) . 8399) ((103 133) . 8400) ((103 134) . 8401) ((103 135) . 8402) ((104 135) . 8403) ((105 135) . 8404) ((105 134) . 8405) ((105 133) . 8406) ((106 133) . 8407) ((107 133) . 8408) ((107 134) . 8409) ((107 135) . 8410) ((108 135) . 8411) ((109 135) . 8412) ((109 136) . 8413) ((109 137) . 8414) ((109 138) . 8415) ((109 139) . 8416) ((110 139) . 8417) ((111 139) . 8418) ((112 139) . 8419) ((113 139) . 8420) ((114 139) . 8421) ((115 139) . 8422) ((116 139) . 8423) ((117 139) . 8424) ((117 138) . 8425) ((117 137) . 8426) ((116 137) . 8427) ((115 137) . 8428) ((114 137) . 8429) ((113 137) . 8430) ((112 137) . 8431) ((111 137) . 8432) ((111 136) . 8433) ((111 135) . 8434) ((112 135) . 8435) ((113 135) . 8436) ((114 135) . 8437) ((115 135) . 8438) ((115 134) . 8439) ((115 133) . 8440) ((114 133) . 8441) ((113 133) . 8442) ((112 133) . 8443) ((111 133) . 8444) ((110 133) . 8445) ((109 133) . 8446) ((109 132) . 8447) ((109 131) . 8448) ((108 131) . 8449) ((107 131) . 8450) ((106 131) . 8451) ((105 131) . 8452) ((104 131) . 8453) ((103 131) . 8454) ((102 131) . 8455) ((101 131) . 8456) ((101 130) . 8457) ((101 129) . 8458) ((100 129) . 8459) ((99 129) . 8460) ((99 128) . 8461) ((99 127) . 8462) ((99 126) . 8463) ((99 125) . 8464) ((100 125) . 8465) ((101 125) . 8466) ((101 126) . 8467) ((101 127) . 8468) ((102 127) . 8469) ((103 127) . 8470) ((103 126) . 8471) ((103 125) . 8472) ((104 125) . 8473) ((105 125) . 8474) ((105 124) . 8475) ((105 123) . 8476) ((104 123) . 8477) ((103 123) . 8478) ((102 123) . 8479) ((101 123) . 8480) ((100 123) . 8481) ((99 123) . 8482) ((99 122) . 8483) ((99 121) . 8484) ((99 120) . 8485) ((99 119) . 8486) ((100 119) . 8487) ((101 119) . 8488) ((101 118) . 8489) ((101 117) . 8490) ((100 117) . 8491) ((99 117) . 8492) ((98 117) . 8493) ((97 117) . 8494) ((97 116) . 8495) ((97 115) . 8496) ((98 115) . 8497) ((99 115) . 8498) ((99 114) . 8499) ((99 113) . 8500) ((98 113) . 8501) ((97 113) . 8502) ((97 112) . 8503) ((97 111) . 8504) ((97 110) . 8505) ((97 109) . 8506) ((97 108) . 8507) ((97 107) . 8508) ((97 106) . 8509) ((97 105) . 8510) ((97 104) . 8511) ((97 103) . 8512) ((98 103) . 8513) ((99 103) . 8514) ((99 104) . 8515) ((99 105) . 8516) ((100 105) . 8517) ((101 105) . 8518) ((101 106) . 8519) ((101 107) . 8520) ((100 107) . 8521) ((99 107) . 8522) ((99 108) . 8523) ((99 109) . 8524) ((99 110) . 8525) ((99 111) . 8526) ((100 111) . 8527) ((101 111) . 8528) ((101 110) . 8529) ((101 109) . 8530) ((102 109) . 8531) ((103 109) . 8532) ((103 110) . 8533) ((103 111) . 8534) ((103 112) . 8535) ((103 113) . 8536) ((102 113) . 8537) ((101 113) . 8538) ((101 114) . 8539) ((101 115) . 8540) ((102 115) . 8541) ((103 115) . 8542) ((103 116) . 8543) ((103 117) . 8544) ((103 118) . 8545) ((103 119) . 8546) ((103 120) . 8547) ((103 121) . 8548) ((104 121) . 8549) ((105 121) . 8550) ((105 120) . 8551) ((105 119) . 8552) ((106 119) . 8553) ((107 119) . 8554) ((107 120) . 8555) ((107 121) . 8556) ((107 122) . 8557) ((107 123) . 8558) ((107 124) . 8559) ((107 125) . 8560) ((107 126) . 8561) ((107 127) . 8562) ((106 127) . 8563) ((105 127) . 8564) ((105 128) . 8565) ((105 129) . 8566) ((106 129) . 8567) ((107 129) . 8568) ((108 129) . 8569) ((109 129) . 8570) ((109 128) . 8571) ((109 127) . 8572) ((109 126) . 8573) ((109 125) . 8574) ((109 124) . 8575) ((109 123) . 8576) ((109 122) . 8577) ((109 121) . 8578) ((109 120) . 8579) ((109 119) . 8580) ((110 119) . 8581) ((111 119) . 8582) ((111 120) . 8583) ((111 121) . 8584) ((111 122) . 8585) ((111 123) . 8586) ((111 124) . 8587) ((111 125) . 8588) ((111 126) . 8589) ((111 127) . 8590) ((111 128) . 8591) ((111 129) . 8592) ((111 130) . 8593) ((111 131) . 8594) ((112 131) . 8595) ((113 131) . 8596) ((113 130) . 8597) ((113 129) . 8598) ((114 129) . 8599) ((115 129) . 8600) ((115 128) . 8601) ((115 127) . 8602) ((114 127) . 8603) ((113 127) . 8604) ((113 126) . 8605) ((113 125) . 8606) ((114 125) . 8607) ((115 125) . 8608) ((116 125) . 8609) ((117 125) . 8610) ((117 126) . 8611) ((117 127) . 8612) ((117 128) . 8613) ((117 129) . 8614) ((117 130) . 8615) ((117 131) . 8616) ((117 132) . 8617) ((117 133) . 8618) ((117 134) . 8619) ((117 135) . 8620) ((118 135) . 8621) ((119 135) . 8622) ((119 136) . 8623) ((119 137) . 8624) ((119 138) . 8625) ((119 139) . 8626) ((120 139) . 8627) ((121 139) . 8628) ((121 138) . 8629) ((121 137) . 8630) ((121 136) . 8631) ((121 135) . 8632) ((122 135) . 8633) ((123 135) . 8634) ((123 136) . 8635) ((123 137) . 8636) ((123 138) . 8637) ((123 139) . 8638) ((124 139) . 8639) ((125 139) . 8640) ((126 139) . 8641) ((127 139) . 8642) ((128 139) . 8643) ((129 139) . 8644) ((129 138) . 8645) ((129 137) . 8646) ((128 137) . 8647) ((127 137) . 8648) ((126 137) . 8649) ((125 137) . 8650) ((125 136) . 8651) ((125 135) . 8652) ((126 135) . 8653) ((127 135) . 8654) ((127 134) . 8655) ((127 133) . 8656) ((128 133) . 8657) ((129 133) . 8658) ((129 134) . 8659) ((129 135) . 8660) ((130 135) . 8661) ((131 135) . 8662) ((131 134) . 8663) ((131 133) . 8664) ((132 133) . 8665) ((133 133) . 8666) ((133 134) . 8667) ((133 135) . 8668) ((133 136) . 8669) ((133 137) . 8670) ((132 137) . 8671) ((131 137) . 8672) ((131 138) . 8673) ((131 139) . 8674) ((132 139) . 8675) ((133 139) . 8676) ((134 139) . 8677) ((135 139) . 8678) ((136 139) . 8679) ((137 139) . 8680) ((138 139) . 8681) ((139 139) . 8682) ((139 138) . 8683) ((139 137) . 8684) ((138 137) . 8685) ((137 137) . 8686) ((136 137) . 8687) ((135 137) . 8688) ((135 136) . 8689) ((135 135) . 8690) ((136 135) . 8691) ((137 135) . 8692) ((138 135) . 8693) ((139 135) . 8694) ((139 134) . 8695) ((139 133) . 8696) ((138 133) . 8697) ((137 133) . 8698) ((136 133) . 8699) ((135 133) . 8700) ((135 132) . 8701) ((135 131) . 8702) ((134 131) . 8703) ((133 131) . 8704) ((132 131) . 8705) ((131 131) . 8706) ((130 131) . 8707) ((129 131) . 8708) ((128 131) . 8709) ((127 131) . 8710) ((126 131) . 8711) ((125 131) . 8712) ((125 132) . 8713) ((125 133) . 8714) ((124 133) . 8715) ((123 133) . 8716) ((123 132) . 8717) ((123 131) . 8718) ((122 131) . 8719) ((121 131) . 8720) ((121 132) . 8721) ((121 133) . 8722) ((120 133) . 8723) ((119 133) . 8724) ((119 132) . 8725) ((119 131) . 8726) ((119 130) . 8727) ((119 129) . 8728) ((119 128) . 8729) ((119 127) . 8730) ((120 127) . 8731) ((121 127) . 8732) ((121 128) . 8733) ((121 129) . 8734) ((122 129) . 8735) ((123 129) . 8736) ((123 128) . 8737) ((123 127) . 8738) ((124 127) . 8739) ((125 127) . 8740) ((125 128) . 8741) ((125 129) . 8742) ((126 129) . 8743) ((127 129) . 8744) ((127 128) . 8745) ((127 127) . 8746) ((127 126) . 8747) ((127 125) . 8748) ((127 124) . 8749) ((127 123) . 8750) ((126 123) . 8751) ((125 123) . 8752) ((125 124) . 8753) ((125 125) . 8754) ((124 125) . 8755) ((123 125) . 8756) ((123 124) . 8757) ((123 123) . 8758) ((122 123) . 8759) ((121 123) . 8760) ((121 124) . 8761) ((121 125) . 8762) ((120 125) . 8763) ((119 125) . 8764) ((119 124) . 8765) ((119 123) . 8766) ((118 123) . 8767) ((117 123) . 8768) ((116 123) . 8769) ((115 123) . 8770) ((114 123) . 8771) ((113 123) . 8772) ((113 122) . 8773) ((113 121) . 8774) ((113 120) . 8775) ((113 119) . 8776) ((114 119) . 8777) ((115 119) . 8778) ((115 118) . 8779) ((115 117) . 8780) ((116 117) . 8781) ((117 117) . 8782) ((117 116) . 8783) ((117 115) . 8784) ((116 115) . 8785) ((115 115) . 8786) ((114 115) . 8787) ((113 115) . 8788) ((113 116) . 8789) ((113 117) . 8790) ((112 117) . 8791) ((111 117) . 8792) ((110 117) . 8793) ((109 117) . 8794) ((108 117) . 8795) ((107 117) . 8796) ((106 117) . 8797) ((105 117) . 8798) ((105 116) . 8799) ((105 115) . 8800) ((105 114) . 8801) ((105 113) . 8802) ((106 113) . 8803) ((107 113) . 8804) ((107 114) . 8805) ((107 115) . 8806) ((108 115) . 8807) ((109 115) . 8808) ((110 115) . 8809) ((111 115) . 8810) ((111 114) . 8811) ((111 113) . 8812) ((110 113) . 8813) ((109 113) . 8814) ((109 112) . 8815) ((109 111) . 8816) ((108 111) . 8817) ((107 111) . 8818) ((106 111) . 8819) ((105 111) . 8820) ((105 110) . 8821) ((105 109) . 8822) ((106 109) . 8823) ((107 109) . 8824) ((108 109) . 8825) ((109 109) . 8826) ((109 108) . 8827) ((109 107) . 8828) ((108 107) . 8829) ((107 107) . 8830) ((106 107) . 8831) ((105 107) . 8832) ((104 107) . 8833) ((103 107) . 8834) ((103 106) . 8835) ((103 105) . 8836) ((104 105) . 8837) ((105 105) . 8838) ((105 104) . 8839) ((105 103) . 8840) ((106 103) . 8841) ((107 103) . 8842) ((107 102) . 8843) ((107 101) . 8844) ((106 101) . 8845) ((105 101) . 8846) ((104 101) . 8847) ((103 101) . 8848) ((103 102) . 8849) ((103 103) . 8850) ((102 103) . 8851) ((101 103) . 8852) ((101 102) . 8853) ((101 101) . 8854) ((100 101) . 8855) ((99 101) . 8856) ((98 101) . 8857) ((97 101) . 8858) ((97 100) . 8859) ((97 99) . 8860) ((98 99) . 8861) ((99 99) . 8862) ((100 99) . 8863) ((101 99) . 8864) ((102 99) . 8865) ((103 99) . 8866) ((104 99) . 8867) ((105 99) . 8868) ((106 99) . 8869) ((107 99) . 8870) ((108 99) . 8871) ((109 99) . 8872) ((109 100) . 8873) ((109 101) . 8874) ((109 102) . 8875) ((109 103) . 8876) ((109 104) . 8877) ((109 105) . 8878) ((110 105) . 8879) ((111 105) . 8880) ((111 106) . 8881) ((111 107) . 8882) ((111 108) . 8883) ((111 109) . 8884) ((111 110) . 8885) ((111 111) . 8886) ((112 111) . 8887) ((113 111) . 8888) ((113 110) . 8889) ((113 109) . 8890) ((113 108) . 8891) ((113 107) . 8892) ((113 106) . 8893) ((113 105) . 8894) ((114 105) . 8895) ((115 105) . 8896) ((115 106) . 8897) ((115 107) . 8898) ((115 108) . 8899) ((115 109) . 8900) ((115 110) . 8901) ((115 111) . 8902) ((115 112) . 8903) ((115 113) . 8904) ((116 113) . 8905) ((117 113) . 8906) ((117 112) . 8907) ((117 111) . 8908) ((117 110) . 8909) ((117 109) . 8910) ((117 108) . 8911) ((117 107) . 8912) ((117 106) . 8913) ((117 105) . 8914) ((118 105) . 8915) ((119 105) . 8916) ((119 104) . 8917) ((119 103) . 8918) ((118 103) . 8919) ((117 103) . 8920) ((116 103) . 8921) ((115 103) . 8922) ((114 103) . 8923) ((113 103) . 8924) ((112 103) . 8925) ((111 103) . 8926) ((111 102) . 8927) ((111 101) . 8928) ((111 100) . 8929) ((111 99) . 8930) ((112 99) . 8931) ((113 99) . 8932) ((113 100) . 8933) ((113 101) . 8934) ((114 101) . 8935) ((115 101) . 8936) ((115 100) . 8937) ((115 99) . 8938) ((116 99) . 8939) ((117 99) . 8940) ((117 100) . 8941) ((117 101) . 8942) ((118 101) . 8943) ((119 101) . 8944) ((120 101) . 8945) ((121 101) . 8946) ((121 102) . 8947) ((121 103) . 8948) ((121 104) . 8949) ((121 105) . 8950) ((121 106) . 8951) ((121 107) . 8952) ((120 107) . 8953) ((119 107) . 8954) ((119 108) . 8955) ((119 109) . 8956) ((119 110) . 8957) ((119 111) . 8958) ((119 112) . 8959) ((119 113) . 8960) ((119 114) . 8961) ((119 115) . 8962) ((119 116) . 8963) ((119 117) . 8964) ((119 118) . 8965) ((119 119) . 8966) ((118 119) . 8967) ((117 119) . 8968) ((117 120) . 8969) ((117 121) . 8970) ((118 121) . 8971) ((119 121) . 8972) ((120 121) . 8973) ((121 121) . 8974) ((121 120) . 8975) ((121 119) . 8976) ((122 119) . 8977) ((123 119) . 8978) ((123 120) . 8979) ((123 121) . 8980) ((124 121) . 8981) ((125 121) . 8982) ((125 120) . 8983) ((125 119) . 8984) ((126 119) . 8985) ((127 119) . 8986) ((127 120) . 8987) ((127 121) . 8988) ((128 121) . 8989) ((129 121) . 8990) ((130 121) . 8991) ((131 121) . 8992) ((131 122) . 8993) ((131 123) . 8994) ((130 123) . 8995) ((129 123) . 8996) ((129 124) . 8997) ((129 125) . 8998) ((129 126) . 8999) ((129 127) . 9000) ((129 128) . 9001) ((129 129) . 9002) ((130 129) . 9003) ((131 129) . 9004) ((131 128) . 9005) ((131 127) . 9006) ((131 126) . 9007) ((131 125) . 9008) ((132 125) . 9009) ((133 125) . 9010) ((133 126) . 9011) ((133 127) . 9012) ((133 128) . 9013) ((133 129) . 9014) ((134 129) . 9015) ((135 129) . 9016) ((135 128) . 9017) ((135 127) . 9018) ((135 126) . 9019) ((135 125) . 9020) ((136 125) . 9021) ((137 125) . 9022) ((137 126) . 9023) ((137 127) . 9024) ((137 128) . 9025) ((137 129) . 9026) ((137 130) . 9027) ((137 131) . 9028) ((138 131) . 9029) ((139 131) . 9030) ((139 130) . 9031) ((139 129) . 9032) ((139 128) . 9033) ((139 127) . 9034) ((139 126) . 9035) ((139 125) . 9036) ((139 124) . 9037) ((139 123) . 9038) ((138 123) . 9039) ((137 123) . 9040) ((136 123) . 9041) ((135 123) . 9042) ((134 123) . 9043) ((133 123) . 9044) ((133 122) . 9045) ((133 121) . 9046) ((134 121) . 9047) ((135 121) . 9048) ((136 121) . 9049) ((137 121) . 9050) ((138 121) . 9051) ((139 121) . 9052) ((139 120) . 9053) ((139 119) . 9054) ((138 119) . 9055) ((137 119) . 9056) ((136 119) . 9057) ((135 119) . 9058) ((135 118) . 9059) ((135 117) . 9060) ((134 117) . 9061) ((133 117) . 9062) ((133 118) . 9063) ((133 119) . 9064) ((132 119) . 9065) ((131 119) . 9066) ((130 119) . 9067) ((129 119) . 9068) ((129 118) . 9069) ((129 117) . 9070) ((128 117) . 9071) ((127 117) . 9072) ((126 117) . 9073) ((125 117) . 9074) ((124 117) . 9075) ((123 117) . 9076) ((122 117) . 9077) ((121 117) . 9078) ((121 116) . 9079) ((121 115) . 9080) ((122 115) . 9081) ((123 115) . 9082) ((124 115) . 9083) ((125 115) . 9084) ((126 115) . 9085) ((127 115) . 9086) ((127 114) . 9087) ((127 113) . 9088) ((128 113) . 9089) ((129 113) . 9090) ((130 113) . 9091) ((131 113) . 9092) ((131 114) . 9093) ((131 115) . 9094) ((132 115) . 9095) ((133 115) . 9096) ((134 115) . 9097) ((135 115) . 9098) ((135 114) . 9099) ((135 113) . 9100) ((134 113) . 9101) ((133 113) . 9102) ((133 112) . 9103) ((133 111) . 9104) ((132 111) . 9105) ((131 111) . 9106) ((130 111) . 9107) ((129 111) . 9108) ((128 111) . 9109) ((127 111) . 9110) ((126 111) . 9111) ((125 111) . 9112) ((125 112) . 9113) ((125 113) . 9114) ((124 113) . 9115) ((123 113) . 9116) ((122 113) . 9117) ((121 113) . 9118) ((121 112) . 9119) ((121 111) . 9120) ((121 110) . 9121) ((121 109) . 9122) ((122 109) . 9123) ((123 109) . 9124) ((123 108) . 9125) ((123 107) . 9126) ((123 106) . 9127) ((123 105) . 9128) ((123 104) . 9129) ((123 103) . 9130) ((124 103) . 9131) ((125 103) . 9132) ((125 104) . 9133) ((125 105) . 9134) ((125 106) . 9135) ((125 107) . 9136) ((125 108) . 9137) ((125 109) . 9138) ((126 109) . 9139) ((127 109) . 9140) ((127 108) . 9141) ((127 107) . 9142) ((127 106) . 9143) ((127 105) . 9144) ((127 104) . 9145) ((127 103) . 9146) ((127 102) . 9147) ((127 101) . 9148) ((128 101) . 9149) ((129 101) . 9150) ((129 102) . 9151) ((129 103) . 9152) ((129 104) . 9153) ((129 105) . 9154) ((129 106) . 9155) ((129 107) . 9156) ((129 108) . 9157) ((129 109) . 9158) ((130 109) . 9159) ((131 109) . 9160) ((132 109) . 9161) ((133 109) . 9162) ((134 109) . 9163) ((135 109) . 9164) ((135 110) . 9165) ((135 111) . 9166) ((136 111) . 9167) ((137 111) . 9168) ((137 112) . 9169) ((137 113) . 9170) ((137 114) . 9171) ((137 115) . 9172) ((137 116) . 9173) ((137 117) . 9174) ((138 117) . 9175) ((139 117) . 9176) ((139 116) . 9177) ((139 115) . 9178) ((139 114) . 9179) ((139 113) . 9180) ((139 112) . 9181) ((139 111) . 9182) ((139 110) . 9183) ((139 109) . 9184) ((138 109) . 9185) ((137 109) . 9186) ((137 108) . 9187) ((137 107) . 9188) ((136 107) . 9189) ((135 107) . 9190) ((134 107) . 9191) ((133 107) . 9192) ((132 107) . 9193) ((131 107) . 9194) ((131 106) . 9195) ((131 105) . 9196) ((131 104) . 9197) ((131 103) . 9198) ((132 103) . 9199) ((133 103) . 9200) ((133 104) . 9201) ((133 105) . 9202) ((134 105) . 9203) ((135 105) . 9204) ((135 104) . 9205) ((135 103) . 9206) ((136 103) . 9207) ((137 103) . 9208) ((137 104) . 9209) ((137 105) . 9210) ((138 105) . 9211) ((139 105) . 9212) ((139 104) . 9213) ((139 103) . 9214) ((139 102) . 9215) ((139 101) . 9216) ((139 100) . 9217) ((139 99) . 9218) ((138 99) . 9219) ((137 99) . 9220) ((137 100) . 9221) ((137 101) . 9222) ((136 101) . 9223) ((135 101) . 9224) ((134 101) . 9225) ((133 101) . 9226) ((132 101) . 9227) ((131 101) . 9228) ((131 100) . 9229) ((131 99) . 9230) ((131 98) . 9231) ((131 97) . 9232) ((132 97) . 9233) ((133 97) . 9234) ((133 98) . 9235) ((133 99) . 9236) ((134 99) . 9237) ((135 99) . 9238) ((135 98) . 9239) ((135 97) . 9240) ((136 97) . 9241) ((137 97) . 9242) ((137 96) . 9243) ((137 95) . 9244) ((138 95) . 9245) ((139 95) . 9246) ((139 94) . 9247) ((139 93) . 9248) ((138 93) . 9249) ((137 93) . 9250) ((136 93) . 9251) ((135 93) . 9252) ((135 94) . 9253) ((135 95) . 9254) ((134 95) . 9255) ((133 95) . 9256) ((133 94) . 9257) ((133 93) . 9258) ((132 93) . 9259) ((131 93) . 9260) ((131 94) . 9261) ((131 95) . 9262) ((130 95) . 9263) ((129 95) . 9264) ((129 96) . 9265) ((129 97) . 9266) ((129 98) . 9267) ((129 99) . 9268) ((128 99) . 9269) ((127 99) . 9270) ((126 99) . 9271) ((125 99) . 9272) ((125 100) . 9273) ((125 101) . 9274) ((124 101) . 9275) ((123 101) . 9276) ((123 100) . 9277) ((123 99) . 9278) ((123 98) . 9279) ((123 97) . 9280) ((124 97) . 9281) ((125 97) . 9282) ((126 97) . 9283) ((127 97) . 9284) ((127 96) . 9285) ((127 95) . 9286) ((126 95) . 9287) ((125 95) . 9288) ((125 94) . 9289) ((125 93) . 9290) ((124 93) . 9291) ((123 93) . 9292) ((123 94) . 9293) ((123 95) . 9294) ((122 95) . 9295) ((121 95) . 9296) ((121 96) . 9297) ((121 97) . 9298) ((121 98) . 9299) ((121 99) . 9300) ((120 99) . 9301) ((119 99) . 9302) ((119 98) . 9303) ((119 97) . 9304) ((118 97) . 9305) ((117 97) . 9306) ((117 96) . 9307) ((117 95) . 9308) ((118 95) . 9309) ((119 95) . 9310) ((119 94) . 9311) ((119 93) . 9312) ((118 93) . 9313) ((117 93) . 9314) ((116 93) . 9315) ((115 93) . 9316) ((115 94) . 9317) ((115 95) . 9318) ((115 96) . 9319) ((115 97) . 9320) ((114 97) . 9321) ((113 97) . 9322) ((112 97) . 9323) ((111 97) . 9324) ((111 96) . 9325) ((111 95) . 9326) ((112 95) . 9327) ((113 95) . 9328) ((113 94) . 9329) ((113 93) . 9330) ((112 93) . 9331) ((111 93) . 9332) ((110 93) . 9333) ((109 93) . 9334) ((109 94) . 9335) ((109 95) . 9336) ((109 96) . 9337) ((109 97) . 9338) ((108 97) . 9339) ((107 97) . 9340) ((106 97) . 9341) ((105 97) . 9342) ((104 97) . 9343) ((103 97) . 9344) ((102 97) . 9345) ((101 97) . 9346) ((101 96) . 9347) ((101 95) . 9348) ((102 95) . 9349) ((103 95) . 9350) ((104 95) . 9351) ((105 95) . 9352) ((106 95) . 9353) ((107 95) . 9354) ((107 94) . 9355) ((107 93) . 9356) ((106 93) . 9357) ((105 93) . 9358) ((105 92) . 9359) ((105 91) . 9360) ((104 91) . 9361) ((103 91) . 9362) ((102 91) . 9363) ((101 91) . 9364) ((101 92) . 9365) ((101 93) . 9366) ((100 93) . 9367) ((99 93) . 9368) ((98 93) . 9369) ((97 93) . 9370) ((97 94) . 9371) ((97 95) . 9372) ((98 95) . 9373) ((99 95) . 9374) ((99 96) . 9375) ((99 97) . 9376) ((98 97) . 9377) ((97 97) . 9378) ((96 97) . 9379) ((95 97) . 9380) ((94 97) . 9381) ((93 97) . 9382) ((92 97) . 9383) ((91 97) . 9384) ((91 96) . 9385) ((91 95) . 9386) ((92 95) . 9387) ((93 95) . 9388) ((94 95) . 9389) ((95 95) . 9390) ((95 94) . 9391) ((95 93) . 9392) ((94 93) . 9393) ((93 93) . 9394) ((92 93) . 9395) ((91 93) . 9396) ((90 93) . 9397) ((89 93) . 9398) ((88 93) . 9399) ((87 93) . 9400) ((86 93) . 9401) ((85 93) . 9402) ((85 94) . 9403) ((85 95) . 9404) ((85 96) . 9405) ((85 97) . 9406) ((84 97) . 9407) ((83 97) . 9408) ((83 96) . 9409) ((83 95) . 9410) ((83 94) . 9411) ((83 93) . 9412) ((83 92) . 9413) ((83 91) . 9414) ((82 91) . 9415) ((81 91) . 9416) ((80 91) . 9417) ((79 91) . 9418) ((79 90) . 9419) ((79 89) . 9420) ((79 88) . 9421) ((79 87) . 9422) ((79 86) . 9423) ((79 85) . 9424) ((80 85) . 9425) ((81 85) . 9426) ((81 86) . 9427) ((81 87) . 9428) ((81 88) . 9429) ((81 89) . 9430) ((82 89) . 9431) ((83 89) . 9432) ((83 88) . 9433) ((83 87) . 9434) ((84 87) . 9435) ((85 87) . 9436) ((85 88) . 9437) ((85 89) . 9438) ((85 90) . 9439) ((85 91) . 9440) ((86 91) . 9441) ((87 91) . 9442) ((88 91) . 9443) ((89 91) . 9444) ((89 90) . 9445) ((89 89) . 9446) ((89 88) . 9447) ((89 87) . 9448) ((88 87) . 9449) ((87 87) . 9450) ((87 86) . 9451) ((87 85) . 9452) ((86 85) . 9453) ((85 85) . 9454) ((85 84) . 9455) ((85 83) . 9456) ((84 83) . 9457) ((83 83) . 9458) ((82 83) . 9459) ((81 83) . 9460) ((81 82) . 9461) ((81 81) . 9462) ((82 81) . 9463) ((83 81) . 9464) ((84 81) . 9465) ((85 81) . 9466) ((85 80) . 9467) ((85 79) . 9468)) - Now look for gaps: #+begin_src emacs-lisp (defun subtract-nil (a b) @@ -89,3 +85,19 @@ Now look for gaps: #+RESULTS: : 1426 + +Alternatively, collect all element of the path that are –in the +taxicab distance– closer than 20 to any given element of the path; +then compute the time saved by using the cheat +#+begin_src emacs-lisp + (length + (--filter (>= it 100) + (-flatten + (-map (lambda (x) (--map (- (cdar it) (cdr x) (cdr it)) + (--filter (<= (cdr it) 20) + (--map (cons it (taxicab-distance (car it) (car x))) distance-alist)))) + distance-alist)))) +#+end_src + +#+RESULTS: +: 1000697