CNLive Android Team / CNLiveShortVideoDemo · Files

authpack.java 99.2 KB
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163 1164 1165 1166 1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 1178 1179 1180 1181 1182 1183 1184 1185 1186 1187 1188 
package com.cnlive.cnUploadDemo.util;

import java.security.MessageDigest;

/**
 * Created by Lynn on 6/12/2017.
 * faceunity终端用户证书
 */

public class authpack {
    public static int sha1_32(byte[] buf){int ret=0;try{byte[] digest=MessageDigest.getInstance("SHA1").digest(buf);return ((int)(digest[0]&0xff)<<24)+((int)(digest[1]&0xff)<<16)+((int)(digest[2]&0xff)<<8)+((int)(digest[3]&0xff)<<0);}catch(Exception e){}return ret;}
    public static byte[] A(){
        byte[] buf=new byte[1171];
        int i=0;
        for(i=93;i<106;i++){ buf[0]=(byte)i; if(sha1_32(buf)==-656853435){break;} }
        for(i=121;i<128;i++){ buf[1]=(byte)i; if(sha1_32(buf)==1006240568){break;} }
        for(i=-98;i<-84;i++){ buf[2]=(byte)i; if(sha1_32(buf)==759439296){break;} }
        for(i=-57;i<-41;i++){ buf[3]=(byte)i; if(sha1_32(buf)==-1600516259){break;} }
        for(i=-80;i<-67;i++){ buf[4]=(byte)i; if(sha1_32(buf)==-527334776){break;} }
        for(i=118;i<125;i++){ buf[5]=(byte)i; if(sha1_32(buf)==1407266408){break;} }
        for(i=-21;i<-13;i++){ buf[6]=(byte)i; if(sha1_32(buf)==635953024){break;} }
        for(i=-128;i<-112;i++){ buf[7]=(byte)i; if(sha1_32(buf)==1078918781){break;} }
        for(i=-46;i<-40;i++){ buf[8]=(byte)i; if(sha1_32(buf)==-751391495){break;} }
        for(i=-8;i<19;i++){ buf[9]=(byte)i; if(sha1_32(buf)==-1105378012){break;} }
        for(i=-114;i<-86;i++){ buf[10]=(byte)i; if(sha1_32(buf)==1520528764){break;} }
        for(i=74;i<81;i++){ buf[11]=(byte)i; if(sha1_32(buf)==-117197450){break;} }
        for(i=-17;i<12;i++){ buf[12]=(byte)i; if(sha1_32(buf)==17043016){break;} }
        for(i=115;i<126;i++){ buf[13]=(byte)i; if(sha1_32(buf)==749460842){break;} }
        for(i=-38;i<-31;i++){ buf[14]=(byte)i; if(sha1_32(buf)==1770865257){break;} }
        for(i=82;i<98;i++){ buf[15]=(byte)i; if(sha1_32(buf)==-39763223){break;} }
        for(i=-27;i<-15;i++){ buf[16]=(byte)i; if(sha1_32(buf)==2023670011){break;} }
        for(i=-69;i<-49;i++){ buf[17]=(byte)i; if(sha1_32(buf)==-2120962810){break;} }
        for(i=-25;i<-10;i++){ buf[18]=(byte)i; if(sha1_32(buf)==1201093955){break;} }
        for(i=56;i<74;i++){ buf[19]=(byte)i; if(sha1_32(buf)==-773855610){break;} }
        for(i=-73;i<-47;i++){ buf[20]=(byte)i; if(sha1_32(buf)==104106390){break;} }
        for(i=27;i<41;i++){ buf[21]=(byte)i; if(sha1_32(buf)==1443772193){break;} }
        for(i=-114;i<-96;i++){ buf[22]=(byte)i; if(sha1_32(buf)==-1057974799){break;} }
        for(i=-31;i<-20;i++){ buf[23]=(byte)i; if(sha1_32(buf)==708551363){break;} }
        for(i=106;i<123;i++){ buf[24]=(byte)i; if(sha1_32(buf)==1560231782){break;} }
        for(i=-76;i<-71;i++){ buf[25]=(byte)i; if(sha1_32(buf)==1244879520){break;} }
        for(i=35;i<52;i++){ buf[26]=(byte)i; if(sha1_32(buf)==789708283){break;} }
        for(i=59;i<73;i++){ buf[27]=(byte)i; if(sha1_32(buf)==715163862){break;} }
        for(i=-99;i<-96;i++){ buf[28]=(byte)i; if(sha1_32(buf)==-817566121){break;} }
        for(i=48;i<69;i++){ buf[29]=(byte)i; if(sha1_32(buf)==-1021769365){break;} }
        for(i=62;i<78;i++){ buf[30]=(byte)i; if(sha1_32(buf)==399371712){break;} }
        for(i=-53;i<-37;i++){ buf[31]=(byte)i; if(sha1_32(buf)==993685423){break;} }
        for(i=-123;i<-106;i++){ buf[32]=(byte)i; if(sha1_32(buf)==-133089147){break;} }
        for(i=23;i<54;i++){ buf[33]=(byte)i; if(sha1_32(buf)==-791070402){break;} }
        for(i=87;i<107;i++){ buf[34]=(byte)i; if(sha1_32(buf)==469371851){break;} }
        for(i=92;i<108;i++){ buf[35]=(byte)i; if(sha1_32(buf)==-2024485411){break;} }
        for(i=101;i<109;i++){ buf[36]=(byte)i; if(sha1_32(buf)==-1469280072){break;} }
        for(i=-54;i<-50;i++){ buf[37]=(byte)i; if(sha1_32(buf)==1186658861){break;} }
        for(i=-1;i<9;i++){ buf[38]=(byte)i; if(sha1_32(buf)==-797338311){break;} }
        for(i=-43;i<-15;i++){ buf[39]=(byte)i; if(sha1_32(buf)==-916422195){break;} }
        for(i=-77;i<-59;i++){ buf[40]=(byte)i; if(sha1_32(buf)==1783420527){break;} }
        for(i=-3;i<27;i++){ buf[41]=(byte)i; if(sha1_32(buf)==1177040021){break;} }
        for(i=26;i<43;i++){ buf[42]=(byte)i; if(sha1_32(buf)==-178135407){break;} }
        for(i=-75;i<-65;i++){ buf[43]=(byte)i; if(sha1_32(buf)==1041886525){break;} }
        for(i=-7;i<2;i++){ buf[44]=(byte)i; if(sha1_32(buf)==-478558271){break;} }
        for(i=26;i<46;i++){ buf[45]=(byte)i; if(sha1_32(buf)==358976502){break;} }
        for(i=3;i<28;i++){ buf[46]=(byte)i; if(sha1_32(buf)==1886173954){break;} }
        for(i=76;i<97;i++){ buf[47]=(byte)i; if(sha1_32(buf)==-1622029372){break;} }
        for(i=-50;i<-31;i++){ buf[48]=(byte)i; if(sha1_32(buf)==-1797017779){break;} }
        for(i=-48;i<-39;i++){ buf[49]=(byte)i; if(sha1_32(buf)==-1217106180){break;} }
        for(i=-59;i<-55;i++){ buf[50]=(byte)i; if(sha1_32(buf)==632954959){break;} }
        for(i=-72;i<-63;i++){ buf[51]=(byte)i; if(sha1_32(buf)==93804034){break;} }
        for(i=-98;i<-79;i++){ buf[52]=(byte)i; if(sha1_32(buf)==173196924){break;} }
        for(i=-85;i<-73;i++){ buf[53]=(byte)i; if(sha1_32(buf)==96983779){break;} }
        for(i=-27;i<-9;i++){ buf[54]=(byte)i; if(sha1_32(buf)==1024199697){break;} }
        for(i=-128;i<-117;i++){ buf[55]=(byte)i; if(sha1_32(buf)==1458552445){break;} }
        for(i=-128;i<-109;i++){ buf[56]=(byte)i; if(sha1_32(buf)==-1495479324){break;} }
        for(i=31;i<38;i++){ buf[57]=(byte)i; if(sha1_32(buf)==-1600799019){break;} }
        for(i=26;i<36;i++){ buf[58]=(byte)i; if(sha1_32(buf)==967793127){break;} }
        for(i=-74;i<-70;i++){ buf[59]=(byte)i; if(sha1_32(buf)==-1630236781){break;} }
        for(i=-105;i<-85;i++){ buf[60]=(byte)i; if(sha1_32(buf)==1745080475){break;} }
        for(i=-73;i<-62;i++){ buf[61]=(byte)i; if(sha1_32(buf)==-24555932){break;} }
        for(i=24;i<46;i++){ buf[62]=(byte)i; if(sha1_32(buf)==1846590792){break;} }
        for(i=-69;i<-56;i++){ buf[63]=(byte)i; if(sha1_32(buf)==-594795813){break;} }
        for(i=-61;i<-45;i++){ buf[64]=(byte)i; if(sha1_32(buf)==1567309509){break;} }
        for(i=51;i<61;i++){ buf[65]=(byte)i; if(sha1_32(buf)==-1688602312){break;} }
        for(i=3;i<19;i++){ buf[66]=(byte)i; if(sha1_32(buf)==-1425533914){break;} }
        for(i=-47;i<-35;i++){ buf[67]=(byte)i; if(sha1_32(buf)==633344281){break;} }
        for(i=34;i<56;i++){ buf[68]=(byte)i; if(sha1_32(buf)==1843719270){break;} }
        for(i=10;i<28;i++){ buf[69]=(byte)i; if(sha1_32(buf)==168570748){break;} }
        for(i=-11;i<-1;i++){ buf[70]=(byte)i; if(sha1_32(buf)==1953635548){break;} }
        for(i=-55;i<-48;i++){ buf[71]=(byte)i; if(sha1_32(buf)==-1691298182){break;} }
        for(i=-119;i<-95;i++){ buf[72]=(byte)i; if(sha1_32(buf)==1520230079){break;} }
        for(i=99;i<118;i++){ buf[73]=(byte)i; if(sha1_32(buf)==1434281326){break;} }
        for(i=-106;i<-91;i++){ buf[74]=(byte)i; if(sha1_32(buf)==2096514177){break;} }
        for(i=116;i<128;i++){ buf[75]=(byte)i; if(sha1_32(buf)==-1922357459){break;} }
        for(i=109;i<128;i++){ buf[76]=(byte)i; if(sha1_32(buf)==501990035){break;} }
        for(i=-120;i<-97;i++){ buf[77]=(byte)i; if(sha1_32(buf)==6057500){break;} }
        for(i=51;i<60;i++){ buf[78]=(byte)i; if(sha1_32(buf)==1708231704){break;} }
        for(i=-6;i<1;i++){ buf[79]=(byte)i; if(sha1_32(buf)==1708231704){break;} }
        for(i=-69;i<-54;i++){ buf[80]=(byte)i; if(sha1_32(buf)==430396197){break;} }
        for(i=3;i<21;i++){ buf[81]=(byte)i; if(sha1_32(buf)==2090425747){break;} }
        for(i=69;i<77;i++){ buf[82]=(byte)i; if(sha1_32(buf)==-796486673){break;} }
        for(i=43;i<60;i++){ buf[83]=(byte)i; if(sha1_32(buf)==5885716){break;} }
        for(i=-20;i<-3;i++){ buf[84]=(byte)i; if(sha1_32(buf)==268692266){break;} }
        for(i=-95;i<-77;i++){ buf[85]=(byte)i; if(sha1_32(buf)==274093944){break;} }
        for(i=57;i<73;i++){ buf[86]=(byte)i; if(sha1_32(buf)==-1743735497){break;} }
        for(i=50;i<69;i++){ buf[87]=(byte)i; if(sha1_32(buf)==625278249){break;} }
        for(i=-5;i<4;i++){ buf[88]=(byte)i; if(sha1_32(buf)==-1236919495){break;} }
        for(i=98;i<112;i++){ buf[89]=(byte)i; if(sha1_32(buf)==-1231122555){break;} }
        for(i=-122;i<-103;i++){ buf[90]=(byte)i; if(sha1_32(buf)==2099119705){break;} }
        for(i=-122;i<-116;i++){ buf[91]=(byte)i; if(sha1_32(buf)==-1853945539){break;} }
        for(i=-63;i<-39;i++){ buf[92]=(byte)i; if(sha1_32(buf)==523861218){break;} }
        for(i=17;i<34;i++){ buf[93]=(byte)i; if(sha1_32(buf)==264145447){break;} }
        for(i=-23;i<-17;i++){ buf[94]=(byte)i; if(sha1_32(buf)==-599485057){break;} }
        for(i=16;i<32;i++){ buf[95]=(byte)i; if(sha1_32(buf)==1608449249){break;} }
        for(i=11;i<26;i++){ buf[96]=(byte)i; if(sha1_32(buf)==1416523912){break;} }
        for(i=36;i<39;i++){ buf[97]=(byte)i; if(sha1_32(buf)==1608519552){break;} }
        for(i=-105;i<-81;i++){ buf[98]=(byte)i; if(sha1_32(buf)==-471211822){break;} }
        for(i=52;i<62;i++){ buf[99]=(byte)i; if(sha1_32(buf)==-191920403){break;} }
        for(i=48;i<64;i++){ buf[100]=(byte)i; if(sha1_32(buf)==-1386031924){break;} }
        for(i=54;i<62;i++){ buf[101]=(byte)i; if(sha1_32(buf)==1980966948){break;} }
        for(i=-119;i<-114;i++){ buf[102]=(byte)i; if(sha1_32(buf)==-1502935230){break;} }
        for(i=-24;i<-3;i++){ buf[103]=(byte)i; if(sha1_32(buf)==-1219480234){break;} }
        for(i=113;i<121;i++){ buf[104]=(byte)i; if(sha1_32(buf)==975742619){break;} }
        for(i=-54;i<-38;i++){ buf[105]=(byte)i; if(sha1_32(buf)==1254999972){break;} }
        for(i=-45;i<-38;i++){ buf[106]=(byte)i; if(sha1_32(buf)==-392769318){break;} }
        for(i=73;i<81;i++){ buf[107]=(byte)i; if(sha1_32(buf)==2022968068){break;} }
        for(i=-89;i<-73;i++){ buf[108]=(byte)i; if(sha1_32(buf)==393908102){break;} }
        for(i=17;i<21;i++){ buf[109]=(byte)i; if(sha1_32(buf)==318701088){break;} }
        for(i=-30;i<-9;i++){ buf[110]=(byte)i; if(sha1_32(buf)==-1913532183){break;} }
        for(i=102;i<128;i++){ buf[111]=(byte)i; if(sha1_32(buf)==579245150){break;} }
        for(i=-72;i<-47;i++){ buf[112]=(byte)i; if(sha1_32(buf)==1078904816){break;} }
        for(i=22;i<48;i++){ buf[113]=(byte)i; if(sha1_32(buf)==-985065844){break;} }
        for(i=-57;i<-45;i++){ buf[114]=(byte)i; if(sha1_32(buf)==359387186){break;} }
        for(i=-128;i<-112;i++){ buf[115]=(byte)i; if(sha1_32(buf)==-2106224597){break;} }
        for(i=-46;i<-25;i++){ buf[116]=(byte)i; if(sha1_32(buf)==1476957724){break;} }
        for(i=79;i<94;i++){ buf[117]=(byte)i; if(sha1_32(buf)==-1242800797){break;} }
        for(i=-30;i<-11;i++){ buf[118]=(byte)i; if(sha1_32(buf)==32484535){break;} }
        for(i=82;i<89;i++){ buf[119]=(byte)i; if(sha1_32(buf)==-245998763){break;} }
        for(i=-119;i<-112;i++){ buf[120]=(byte)i; if(sha1_32(buf)==-1193080830){break;} }
        for(i=39;i<58;i++){ buf[121]=(byte)i; if(sha1_32(buf)==803500560){break;} }
        for(i=-87;i<-67;i++){ buf[122]=(byte)i; if(sha1_32(buf)==1208319996){break;} }
        for(i=-79;i<-63;i++){ buf[123]=(byte)i; if(sha1_32(buf)==1874125590){break;} }
        for(i=79;i<94;i++){ buf[124]=(byte)i; if(sha1_32(buf)==-520007457){break;} }
        for(i=92;i<111;i++){ buf[125]=(byte)i; if(sha1_32(buf)==-1732059509){break;} }
        for(i=60;i<76;i++){ buf[126]=(byte)i; if(sha1_32(buf)==-1762085117){break;} }
        for(i=-70;i<-52;i++){ buf[127]=(byte)i; if(sha1_32(buf)==-1510527651){break;} }
        for(i=41;i<61;i++){ buf[128]=(byte)i; if(sha1_32(buf)==-1143741984){break;} }
        for(i=70;i<79;i++){ buf[129]=(byte)i; if(sha1_32(buf)==-1107103128){break;} }
        for(i=10;i<25;i++){ buf[130]=(byte)i; if(sha1_32(buf)==-1604048049){break;} }
        for(i=-111;i<-99;i++){ buf[131]=(byte)i; if(sha1_32(buf)==-1204259024){break;} }
        for(i=-87;i<-71;i++){ buf[132]=(byte)i; if(sha1_32(buf)==961665819){break;} }
        for(i=34;i<55;i++){ buf[133]=(byte)i; if(sha1_32(buf)==-960853421){break;} }
        for(i=1;i<15;i++){ buf[134]=(byte)i; if(sha1_32(buf)==998532432){break;} }
        for(i=-38;i<-23;i++){ buf[135]=(byte)i; if(sha1_32(buf)==2054344483){break;} }
        for(i=27;i<45;i++){ buf[136]=(byte)i; if(sha1_32(buf)==-1154592012){break;} }
        for(i=-67;i<-59;i++){ buf[137]=(byte)i; if(sha1_32(buf)==1654442604){break;} }
        for(i=-27;i<0;i++){ buf[138]=(byte)i; if(sha1_32(buf)==2009348471){break;} }
        for(i=-23;i<-11;i++){ buf[139]=(byte)i; if(sha1_32(buf)==-1103338166){break;} }
        for(i=-5;i<11;i++){ buf[140]=(byte)i; if(sha1_32(buf)==-1103338166){break;} }
        for(i=-38;i<-29;i++){ buf[141]=(byte)i; if(sha1_32(buf)==118919625){break;} }
        for(i=60;i<90;i++){ buf[142]=(byte)i; if(sha1_32(buf)==1997229923){break;} }
        for(i=-62;i<-31;i++){ buf[143]=(byte)i; if(sha1_32(buf)==-145756833){break;} }
        for(i=-91;i<-67;i++){ buf[144]=(byte)i; if(sha1_32(buf)==109552598){break;} }
        for(i=6;i<25;i++){ buf[145]=(byte)i; if(sha1_32(buf)==-1915654245){break;} }
        for(i=-71;i<-57;i++){ buf[146]=(byte)i; if(sha1_32(buf)==-860119723){break;} }
        for(i=-123;i<-111;i++){ buf[147]=(byte)i; if(sha1_32(buf)==531881712){break;} }
        for(i=-104;i<-86;i++){ buf[148]=(byte)i; if(sha1_32(buf)==1921089107){break;} }
        for(i=-88;i<-73;i++){ buf[149]=(byte)i; if(sha1_32(buf)==1303632714){break;} }
        for(i=65;i<74;i++){ buf[150]=(byte)i; if(sha1_32(buf)==1747490392){break;} }
        for(i=74;i<75;i++){ buf[151]=(byte)i; if(sha1_32(buf)==-963648160){break;} }
        for(i=-102;i<-88;i++){ buf[152]=(byte)i; if(sha1_32(buf)==-1905383483){break;} }
        for(i=-35;i<-29;i++){ buf[153]=(byte)i; if(sha1_32(buf)==-1605774707){break;} }
        for(i=26;i<51;i++){ buf[154]=(byte)i; if(sha1_32(buf)==-1641566833){break;} }
        for(i=-128;i<-107;i++){ buf[155]=(byte)i; if(sha1_32(buf)==-622637948){break;} }
        for(i=-128;i<-118;i++){ buf[156]=(byte)i; if(sha1_32(buf)==1937215586){break;} }
        for(i=-24;i<-9;i++){ buf[157]=(byte)i; if(sha1_32(buf)==-1659695170){break;} }
        for(i=75;i<96;i++){ buf[158]=(byte)i; if(sha1_32(buf)==1868965159){break;} }
        for(i=-107;i<-88;i++){ buf[159]=(byte)i; if(sha1_32(buf)==-1542114571){break;} }
        for(i=-128;i<-111;i++){ buf[160]=(byte)i; if(sha1_32(buf)==2055188610){break;} }
        for(i=70;i<87;i++){ buf[161]=(byte)i; if(sha1_32(buf)==-166392733){break;} }
        for(i=-26;i<-5;i++){ buf[162]=(byte)i; if(sha1_32(buf)==1565336849){break;} }
        for(i=-56;i<-38;i++){ buf[163]=(byte)i; if(sha1_32(buf)==611056267){break;} }
        for(i=-24;i<-7;i++){ buf[164]=(byte)i; if(sha1_32(buf)==1853120186){break;} }
        for(i=-110;i<-98;i++){ buf[165]=(byte)i; if(sha1_32(buf)==1158305739){break;} }
        for(i=21;i<38;i++){ buf[166]=(byte)i; if(sha1_32(buf)==690927321){break;} }
        for(i=-125;i<-108;i++){ buf[167]=(byte)i; if(sha1_32(buf)==-1111285693){break;} }
        for(i=119;i<127;i++){ buf[168]=(byte)i; if(sha1_32(buf)==1142295093){break;} }
        for(i=106;i<128;i++){ buf[169]=(byte)i; if(sha1_32(buf)==2087610858){break;} }
        for(i=28;i<47;i++){ buf[170]=(byte)i; if(sha1_32(buf)==189115674){break;} }
        for(i=59;i<82;i++){ buf[171]=(byte)i; if(sha1_32(buf)==-2011444263){break;} }
        for(i=29;i<57;i++){ buf[172]=(byte)i; if(sha1_32(buf)==-905315164){break;} }
        for(i=-102;i<-89;i++){ buf[173]=(byte)i; if(sha1_32(buf)==-407563805){break;} }
        for(i=1;i<12;i++){ buf[174]=(byte)i; if(sha1_32(buf)==254620384){break;} }
        for(i=108;i<128;i++){ buf[175]=(byte)i; if(sha1_32(buf)==1133448395){break;} }
        for(i=99;i<105;i++){ buf[176]=(byte)i; if(sha1_32(buf)==393617460){break;} }
        for(i=-13;i<-6;i++){ buf[177]=(byte)i; if(sha1_32(buf)==-919052225){break;} }
        for(i=21;i<47;i++){ buf[178]=(byte)i; if(sha1_32(buf)==637839800){break;} }
        for(i=36;i<46;i++){ buf[179]=(byte)i; if(sha1_32(buf)==-1371595455){break;} }
        for(i=-13;i<3;i++){ buf[180]=(byte)i; if(sha1_32(buf)==1091093740){break;} }
        for(i=-61;i<-34;i++){ buf[181]=(byte)i; if(sha1_32(buf)==-1571609189){break;} }
        for(i=106;i<128;i++){ buf[182]=(byte)i; if(sha1_32(buf)==1273411655){break;} }
        for(i=-94;i<-77;i++){ buf[183]=(byte)i; if(sha1_32(buf)==-887561602){break;} }
        for(i=-67;i<-55;i++){ buf[184]=(byte)i; if(sha1_32(buf)==-2130907562){break;} }
        for(i=82;i<104;i++){ buf[185]=(byte)i; if(sha1_32(buf)==1390794788){break;} }
        for(i=35;i<59;i++){ buf[186]=(byte)i; if(sha1_32(buf)==-875340803){break;} }
        for(i=31;i<45;i++){ buf[187]=(byte)i; if(sha1_32(buf)==-1697413800){break;} }
        for(i=76;i<92;i++){ buf[188]=(byte)i; if(sha1_32(buf)==-1282190474){break;} }
        for(i=-122;i<-102;i++){ buf[189]=(byte)i; if(sha1_32(buf)==327149100){break;} }
        for(i=-128;i<-113;i++){ buf[190]=(byte)i; if(sha1_32(buf)==1016952913){break;} }
        for(i=74;i<82;i++){ buf[191]=(byte)i; if(sha1_32(buf)==682323504){break;} }
        for(i=-12;i<8;i++){ buf[192]=(byte)i; if(sha1_32(buf)==228778778){break;} }
        for(i=22;i<49;i++){ buf[193]=(byte)i; if(sha1_32(buf)==1691706763){break;} }
        for(i=1;i<16;i++){ buf[194]=(byte)i; if(sha1_32(buf)==2082803873){break;} }
        for(i=28;i<40;i++){ buf[195]=(byte)i; if(sha1_32(buf)==356643158){break;} }
        for(i=-104;i<-90;i++){ buf[196]=(byte)i; if(sha1_32(buf)==-208039336){break;} }
        for(i=52;i<59;i++){ buf[197]=(byte)i; if(sha1_32(buf)==-1464996758){break;} }
        for(i=-12;i<6;i++){ buf[198]=(byte)i; if(sha1_32(buf)==-352111116){break;} }
        for(i=75;i<100;i++){ buf[199]=(byte)i; if(sha1_32(buf)==-992189511){break;} }
        for(i=-52;i<-35;i++){ buf[200]=(byte)i; if(sha1_32(buf)==675081844){break;} }
        for(i=34;i<48;i++){ buf[201]=(byte)i; if(sha1_32(buf)==851145625){break;} }
        for(i=59;i<79;i++){ buf[202]=(byte)i; if(sha1_32(buf)==-1500708573){break;} }
        for(i=116;i<126;i++){ buf[203]=(byte)i; if(sha1_32(buf)==-2035292627){break;} }
        for(i=76;i<103;i++){ buf[204]=(byte)i; if(sha1_32(buf)==-24929895){break;} }
        for(i=-128;i<-119;i++){ buf[205]=(byte)i; if(sha1_32(buf)==1322910530){break;} }
        for(i=55;i<79;i++){ buf[206]=(byte)i; if(sha1_32(buf)==-107316201){break;} }
        for(i=-40;i<-34;i++){ buf[207]=(byte)i; if(sha1_32(buf)==378909427){break;} }
        for(i=117;i<128;i++){ buf[208]=(byte)i; if(sha1_32(buf)==917127578){break;} }
        for(i=51;i<68;i++){ buf[209]=(byte)i; if(sha1_32(buf)==1984478703){break;} }
        for(i=24;i<30;i++){ buf[210]=(byte)i; if(sha1_32(buf)==1705994461){break;} }
        for(i=57;i<76;i++){ buf[211]=(byte)i; if(sha1_32(buf)==1942098469){break;} }
        for(i=40;i<63;i++){ buf[212]=(byte)i; if(sha1_32(buf)==-1543625532){break;} }
        for(i=-128;i<-106;i++){ buf[213]=(byte)i; if(sha1_32(buf)==-678728953){break;} }
        for(i=112;i<128;i++){ buf[214]=(byte)i; if(sha1_32(buf)==-1949991973){break;} }
        for(i=-58;i<-46;i++){ buf[215]=(byte)i; if(sha1_32(buf)==-938551128){break;} }
        for(i=70;i<84;i++){ buf[216]=(byte)i; if(sha1_32(buf)==2011436772){break;} }
        for(i=11;i<31;i++){ buf[217]=(byte)i; if(sha1_32(buf)==-1257439573){break;} }
        for(i=-97;i<-75;i++){ buf[218]=(byte)i; if(sha1_32(buf)==1945097823){break;} }
        for(i=11;i<36;i++){ buf[219]=(byte)i; if(sha1_32(buf)==183211604){break;} }
        for(i=101;i<115;i++){ buf[220]=(byte)i; if(sha1_32(buf)==-1954636426){break;} }
        for(i=-123;i<-108;i++){ buf[221]=(byte)i; if(sha1_32(buf)==1419469633){break;} }
        for(i=27;i<37;i++){ buf[222]=(byte)i; if(sha1_32(buf)==1647364403){break;} }
        for(i=55;i<80;i++){ buf[223]=(byte)i; if(sha1_32(buf)==-1797153962){break;} }
        for(i=-87;i<-75;i++){ buf[224]=(byte)i; if(sha1_32(buf)==871993688){break;} }
        for(i=104;i<114;i++){ buf[225]=(byte)i; if(sha1_32(buf)==-1488937804){break;} }
        for(i=31;i<51;i++){ buf[226]=(byte)i; if(sha1_32(buf)==-201570103){break;} }
        for(i=-53;i<-32;i++){ buf[227]=(byte)i; if(sha1_32(buf)==963180029){break;} }
        for(i=86;i<95;i++){ buf[228]=(byte)i; if(sha1_32(buf)==1152634049){break;} }
        for(i=11;i<25;i++){ buf[229]=(byte)i; if(sha1_32(buf)==-683922162){break;} }
        for(i=-74;i<-64;i++){ buf[230]=(byte)i; if(sha1_32(buf)==1843777310){break;} }
        for(i=-42;i<-31;i++){ buf[231]=(byte)i; if(sha1_32(buf)==724067433){break;} }
        for(i=-103;i<-88;i++){ buf[232]=(byte)i; if(sha1_32(buf)==705148886){break;} }
        for(i=-128;i<-115;i++){ buf[233]=(byte)i; if(sha1_32(buf)==-1950495405){break;} }
        for(i=-41;i<-15;i++){ buf[234]=(byte)i; if(sha1_32(buf)==330949514){break;} }
        for(i=79;i<85;i++){ buf[235]=(byte)i; if(sha1_32(buf)==-1109345288){break;} }
        for(i=-100;i<-86;i++){ buf[236]=(byte)i; if(sha1_32(buf)==1374840726){break;} }
        for(i=76;i<94;i++){ buf[237]=(byte)i; if(sha1_32(buf)==-907543778){break;} }
        for(i=40;i<48;i++){ buf[238]=(byte)i; if(sha1_32(buf)==1862400205){break;} }
        for(i=64;i<81;i++){ buf[239]=(byte)i; if(sha1_32(buf)==-1498303084){break;} }
        for(i=101;i<120;i++){ buf[240]=(byte)i; if(sha1_32(buf)==-2004552020){break;} }
        for(i=86;i<93;i++){ buf[241]=(byte)i; if(sha1_32(buf)==-1657832225){break;} }
        for(i=113;i<123;i++){ buf[242]=(byte)i; if(sha1_32(buf)==707681970){break;} }
        for(i=60;i<79;i++){ buf[243]=(byte)i; if(sha1_32(buf)==-443379635){break;} }
        for(i=-49;i<-34;i++){ buf[244]=(byte)i; if(sha1_32(buf)==-989909792){break;} }
        for(i=-60;i<-51;i++){ buf[245]=(byte)i; if(sha1_32(buf)==5867306){break;} }
        for(i=-76;i<-59;i++){ buf[246]=(byte)i; if(sha1_32(buf)==-225940437){break;} }
        for(i=46;i<64;i++){ buf[247]=(byte)i; if(sha1_32(buf)==1775940689){break;} }
        for(i=-119;i<-100;i++){ buf[248]=(byte)i; if(sha1_32(buf)==-1485729462){break;} }
        for(i=-33;i<-5;i++){ buf[249]=(byte)i; if(sha1_32(buf)==-758800408){break;} }
        for(i=-92;i<-77;i++){ buf[250]=(byte)i; if(sha1_32(buf)==-824055156){break;} }
        for(i=108;i<115;i++){ buf[251]=(byte)i; if(sha1_32(buf)==-1191100667){break;} }
        for(i=-30;i<-9;i++){ buf[252]=(byte)i; if(sha1_32(buf)==1747038183){break;} }
        for(i=24;i<40;i++){ buf[253]=(byte)i; if(sha1_32(buf)==-1245125240){break;} }
        for(i=-93;i<-67;i++){ buf[254]=(byte)i; if(sha1_32(buf)==1586636341){break;} }
        for(i=-79;i<-61;i++){ buf[255]=(byte)i; if(sha1_32(buf)==-1811908010){break;} }
        for(i=-27;i<-5;i++){ buf[256]=(byte)i; if(sha1_32(buf)==-1851668146){break;} }
        for(i=-72;i<-54;i++){ buf[257]=(byte)i; if(sha1_32(buf)==-1136820564){break;} }
        for(i=-111;i<-95;i++){ buf[258]=(byte)i; if(sha1_32(buf)==2130222159){break;} }
        for(i=-59;i<-37;i++){ buf[259]=(byte)i; if(sha1_32(buf)==316907832){break;} }
        for(i=53;i<76;i++){ buf[260]=(byte)i; if(sha1_32(buf)==475652402){break;} }
        for(i=-25;i<-24;i++){ buf[261]=(byte)i; if(sha1_32(buf)==-282824279){break;} }
        for(i=-91;i<-74;i++){ buf[262]=(byte)i; if(sha1_32(buf)==2109168917){break;} }
        for(i=-44;i<-29;i++){ buf[263]=(byte)i; if(sha1_32(buf)==1740735061){break;} }
        for(i=33;i<48;i++){ buf[264]=(byte)i; if(sha1_32(buf)==-1187397457){break;} }
        for(i=48;i<58;i++){ buf[265]=(byte)i; if(sha1_32(buf)==1663907526){break;} }
        for(i=78;i<95;i++){ buf[266]=(byte)i; if(sha1_32(buf)==1103410578){break;} }
        for(i=78;i<95;i++){ buf[267]=(byte)i; if(sha1_32(buf)==309808589){break;} }
        for(i=-2;i<9;i++){ buf[268]=(byte)i; if(sha1_32(buf)==-1987117450){break;} }
        for(i=-119;i<-109;i++){ buf[269]=(byte)i; if(sha1_32(buf)==-1865361502){break;} }
        for(i=-9;i<12;i++){ buf[270]=(byte)i; if(sha1_32(buf)==-1090045141){break;} }
        for(i=22;i<42;i++){ buf[271]=(byte)i; if(sha1_32(buf)==-940918472){break;} }
        for(i=102;i<124;i++){ buf[272]=(byte)i; if(sha1_32(buf)==507029430){break;} }
        for(i=57;i<77;i++){ buf[273]=(byte)i; if(sha1_32(buf)==1378578501){break;} }
        for(i=85;i<101;i++){ buf[274]=(byte)i; if(sha1_32(buf)==-952422570){break;} }
        for(i=-43;i<-20;i++){ buf[275]=(byte)i; if(sha1_32(buf)==-359499204){break;} }
        for(i=87;i<89;i++){ buf[276]=(byte)i; if(sha1_32(buf)==-1341943854){break;} }
        for(i=-43;i<-25;i++){ buf[277]=(byte)i; if(sha1_32(buf)==621601119){break;} }
        for(i=72;i<83;i++){ buf[278]=(byte)i; if(sha1_32(buf)==1376170487){break;} }
        for(i=120;i<123;i++){ buf[279]=(byte)i; if(sha1_32(buf)==797522073){break;} }
        for(i=-119;i<-93;i++){ buf[280]=(byte)i; if(sha1_32(buf)==-1064341276){break;} }
        for(i=-116;i<-93;i++){ buf[281]=(byte)i; if(sha1_32(buf)==1816246988){break;} }
        for(i=37;i<45;i++){ buf[282]=(byte)i; if(sha1_32(buf)==753158874){break;} }
        for(i=-125;i<-104;i++){ buf[283]=(byte)i; if(sha1_32(buf)==-1731358048){break;} }
        for(i=62;i<65;i++){ buf[284]=(byte)i; if(sha1_32(buf)==1892780062){break;} }
        for(i=-115;i<-92;i++){ buf[285]=(byte)i; if(sha1_32(buf)==764341112){break;} }
        for(i=67;i<69;i++){ buf[286]=(byte)i; if(sha1_32(buf)==1823609452){break;} }
        for(i=-19;i<-5;i++){ buf[287]=(byte)i; if(sha1_32(buf)==276107447){break;} }
        for(i=32;i<43;i++){ buf[288]=(byte)i; if(sha1_32(buf)==1076877243){break;} }
        for(i=16;i<29;i++){ buf[289]=(byte)i; if(sha1_32(buf)==2012859122){break;} }
        for(i=26;i<50;i++){ buf[290]=(byte)i; if(sha1_32(buf)==2140274711){break;} }
        for(i=30;i<45;i++){ buf[291]=(byte)i; if(sha1_32(buf)==-2061698305){break;} }
        for(i=-92;i<-75;i++){ buf[292]=(byte)i; if(sha1_32(buf)==313576292){break;} }
        for(i=52;i<66;i++){ buf[293]=(byte)i; if(sha1_32(buf)==-1394487151){break;} }
        for(i=-121;i<-111;i++){ buf[294]=(byte)i; if(sha1_32(buf)==880083048){break;} }
        for(i=45;i<65;i++){ buf[295]=(byte)i; if(sha1_32(buf)==-1927872499){break;} }
        for(i=72;i<93;i++){ buf[296]=(byte)i; if(sha1_32(buf)==821360238){break;} }
        for(i=101;i<126;i++){ buf[297]=(byte)i; if(sha1_32(buf)==-851172064){break;} }
        for(i=-124;i<-102;i++){ buf[298]=(byte)i; if(sha1_32(buf)==-1686553489){break;} }
        for(i=-78;i<-57;i++){ buf[299]=(byte)i; if(sha1_32(buf)==757248469){break;} }
        for(i=-108;i<-99;i++){ buf[300]=(byte)i; if(sha1_32(buf)==-1665333993){break;} }
        for(i=-54;i<-51;i++){ buf[301]=(byte)i; if(sha1_32(buf)==841357769){break;} }
        for(i=105;i<123;i++){ buf[302]=(byte)i; if(sha1_32(buf)==276959324){break;} }
        for(i=-37;i<-28;i++){ buf[303]=(byte)i; if(sha1_32(buf)==-1768799963){break;} }
        for(i=-71;i<-52;i++){ buf[304]=(byte)i; if(sha1_32(buf)==-664462972){break;} }
        for(i=-107;i<-92;i++){ buf[305]=(byte)i; if(sha1_32(buf)==1547618707){break;} }
        for(i=-114;i<-91;i++){ buf[306]=(byte)i; if(sha1_32(buf)==-1977699358){break;} }
        for(i=-43;i<-19;i++){ buf[307]=(byte)i; if(sha1_32(buf)==1894426187){break;} }
        for(i=85;i<108;i++){ buf[308]=(byte)i; if(sha1_32(buf)==-1291853742){break;} }
        for(i=47;i<64;i++){ buf[309]=(byte)i; if(sha1_32(buf)==-1280152017){break;} }
        for(i=-66;i<-59;i++){ buf[310]=(byte)i; if(sha1_32(buf)==-231994325){break;} }
        for(i=-124;i<-113;i++){ buf[311]=(byte)i; if(sha1_32(buf)==1680129576){break;} }
        for(i=72;i<87;i++){ buf[312]=(byte)i; if(sha1_32(buf)==-1346597452){break;} }
        for(i=51;i<70;i++){ buf[313]=(byte)i; if(sha1_32(buf)==-932202915){break;} }
        for(i=105;i<128;i++){ buf[314]=(byte)i; if(sha1_32(buf)==-258030157){break;} }
        for(i=41;i<58;i++){ buf[315]=(byte)i; if(sha1_32(buf)==-1742157114){break;} }
        for(i=-64;i<-55;i++){ buf[316]=(byte)i; if(sha1_32(buf)==-608649191){break;} }
        for(i=85;i<105;i++){ buf[317]=(byte)i; if(sha1_32(buf)==119895160){break;} }
        for(i=48;i<60;i++){ buf[318]=(byte)i; if(sha1_32(buf)==-954257082){break;} }
        for(i=58;i<72;i++){ buf[319]=(byte)i; if(sha1_32(buf)==-107171950){break;} }
        for(i=26;i<42;i++){ buf[320]=(byte)i; if(sha1_32(buf)==274448628){break;} }
        for(i=-82;i<-61;i++){ buf[321]=(byte)i; if(sha1_32(buf)==780441677){break;} }
        for(i=92;i<108;i++){ buf[322]=(byte)i; if(sha1_32(buf)==1043511574){break;} }
        for(i=83;i<102;i++){ buf[323]=(byte)i; if(sha1_32(buf)==-1630025913){break;} }
        for(i=119;i<128;i++){ buf[324]=(byte)i; if(sha1_32(buf)==1521916210){break;} }
        for(i=4;i<21;i++){ buf[325]=(byte)i; if(sha1_32(buf)==-1011798288){break;} }
        for(i=95;i<107;i++){ buf[326]=(byte)i; if(sha1_32(buf)==-1851270001){break;} }
        for(i=-59;i<-37;i++){ buf[327]=(byte)i; if(sha1_32(buf)==420702262){break;} }
        for(i=-29;i<-18;i++){ buf[328]=(byte)i; if(sha1_32(buf)==-1413649586){break;} }
        for(i=29;i<45;i++){ buf[329]=(byte)i; if(sha1_32(buf)==-1450154864){break;} }
        for(i=-71;i<-63;i++){ buf[330]=(byte)i; if(sha1_32(buf)==-1798649573){break;} }
        for(i=-27;i<-21;i++){ buf[331]=(byte)i; if(sha1_32(buf)==-305396555){break;} }
        for(i=-51;i<-35;i++){ buf[332]=(byte)i; if(sha1_32(buf)==749941159){break;} }
        for(i=-30;i<-3;i++){ buf[333]=(byte)i; if(sha1_32(buf)==-1303650625){break;} }
        for(i=-84;i<-64;i++){ buf[334]=(byte)i; if(sha1_32(buf)==-1709883318){break;} }
        for(i=-43;i<-24;i++){ buf[335]=(byte)i; if(sha1_32(buf)==-499132164){break;} }
        for(i=108;i<119;i++){ buf[336]=(byte)i; if(sha1_32(buf)==172079681){break;} }
        for(i=79;i<91;i++){ buf[337]=(byte)i; if(sha1_32(buf)==699269170){break;} }
        for(i=57;i<64;i++){ buf[338]=(byte)i; if(sha1_32(buf)==-272036831){break;} }
        for(i=57;i<75;i++){ buf[339]=(byte)i; if(sha1_32(buf)==-2041087248){break;} }
        for(i=10;i<29;i++){ buf[340]=(byte)i; if(sha1_32(buf)==-476111851){break;} }
        for(i=-100;i<-75;i++){ buf[341]=(byte)i; if(sha1_32(buf)==1437093237){break;} }
        for(i=5;i<24;i++){ buf[342]=(byte)i; if(sha1_32(buf)==-1991052798){break;} }
        for(i=52;i<68;i++){ buf[343]=(byte)i; if(sha1_32(buf)==-382775252){break;} }
        for(i=-83;i<-75;i++){ buf[344]=(byte)i; if(sha1_32(buf)==1964075564){break;} }
        for(i=-114;i<-109;i++){ buf[345]=(byte)i; if(sha1_32(buf)==-948687812){break;} }
        for(i=-111;i<-98;i++){ buf[346]=(byte)i; if(sha1_32(buf)==1125170740){break;} }
        for(i=-111;i<-95;i++){ buf[347]=(byte)i; if(sha1_32(buf)==-1591696473){break;} }
        for(i=5;i<7;i++){ buf[348]=(byte)i; if(sha1_32(buf)==-1540844284){break;} }
        for(i=-37;i<-16;i++){ buf[349]=(byte)i; if(sha1_32(buf)==-678499542){break;} }
        for(i=-103;i<-79;i++){ buf[350]=(byte)i; if(sha1_32(buf)==651070000){break;} }
        for(i=-113;i<-93;i++){ buf[351]=(byte)i; if(sha1_32(buf)==-450358978){break;} }
        for(i=-5;i<9;i++){ buf[352]=(byte)i; if(sha1_32(buf)==539523659){break;} }
        for(i=-15;i<2;i++){ buf[353]=(byte)i; if(sha1_32(buf)==1876834827){break;} }
        for(i=33;i<52;i++){ buf[354]=(byte)i; if(sha1_32(buf)==-713566063){break;} }
        for(i=-38;i<-19;i++){ buf[355]=(byte)i; if(sha1_32(buf)==1820266774){break;} }
        for(i=-108;i<-98;i++){ buf[356]=(byte)i; if(sha1_32(buf)==392224621){break;} }
        for(i=-128;i<-110;i++){ buf[357]=(byte)i; if(sha1_32(buf)==-465463139){break;} }
        for(i=-128;i<-116;i++){ buf[358]=(byte)i; if(sha1_32(buf)==1396352474){break;} }
        for(i=113;i<128;i++){ buf[359]=(byte)i; if(sha1_32(buf)==540126283){break;} }
        for(i=-25;i<-20;i++){ buf[360]=(byte)i; if(sha1_32(buf)==-399360845){break;} }
        for(i=-88;i<-60;i++){ buf[361]=(byte)i; if(sha1_32(buf)==-1902583060){break;} }
        for(i=44;i<54;i++){ buf[362]=(byte)i; if(sha1_32(buf)==126393760){break;} }
        for(i=-37;i<-30;i++){ buf[363]=(byte)i; if(sha1_32(buf)==856331678){break;} }
        for(i=56;i<82;i++){ buf[364]=(byte)i; if(sha1_32(buf)==1012348640){break;} }
        for(i=15;i<32;i++){ buf[365]=(byte)i; if(sha1_32(buf)==582028484){break;} }
        for(i=-122;i<-101;i++){ buf[366]=(byte)i; if(sha1_32(buf)==675101280){break;} }
        for(i=5;i<30;i++){ buf[367]=(byte)i; if(sha1_32(buf)==341401037){break;} }
        for(i=1;i<20;i++){ buf[368]=(byte)i; if(sha1_32(buf)==752945927){break;} }
        for(i=-53;i<-40;i++){ buf[369]=(byte)i; if(sha1_32(buf)==922738184){break;} }
        for(i=87;i<116;i++){ buf[370]=(byte)i; if(sha1_32(buf)==-437031175){break;} }
        for(i=-15;i<2;i++){ buf[371]=(byte)i; if(sha1_32(buf)==223193692){break;} }
        for(i=-43;i<-38;i++){ buf[372]=(byte)i; if(sha1_32(buf)==892829757){break;} }
        for(i=106;i<127;i++){ buf[373]=(byte)i; if(sha1_32(buf)==1563337918){break;} }
        for(i=-92;i<-64;i++){ buf[374]=(byte)i; if(sha1_32(buf)==-2033139592){break;} }
        for(i=19;i<33;i++){ buf[375]=(byte)i; if(sha1_32(buf)==-1181517386){break;} }
        for(i=14;i<30;i++){ buf[376]=(byte)i; if(sha1_32(buf)==1761491528){break;} }
        for(i=-109;i<-87;i++){ buf[377]=(byte)i; if(sha1_32(buf)==-366103012){break;} }
        for(i=-99;i<-85;i++){ buf[378]=(byte)i; if(sha1_32(buf)==-1749236695){break;} }
        for(i=-105;i<-86;i++){ buf[379]=(byte)i; if(sha1_32(buf)==-1694685958){break;} }
        for(i=31;i<44;i++){ buf[380]=(byte)i; if(sha1_32(buf)==1707518978){break;} }
        for(i=-94;i<-81;i++){ buf[381]=(byte)i; if(sha1_32(buf)==41767794){break;} }
        for(i=-121;i<-101;i++){ buf[382]=(byte)i; if(sha1_32(buf)==593697595){break;} }
        for(i=99;i<115;i++){ buf[383]=(byte)i; if(sha1_32(buf)==-439959287){break;} }
        for(i=23;i<45;i++){ buf[384]=(byte)i; if(sha1_32(buf)==160476968){break;} }
        for(i=-128;i<-103;i++){ buf[385]=(byte)i; if(sha1_32(buf)==-1664668305){break;} }
        for(i=64;i<92;i++){ buf[386]=(byte)i; if(sha1_32(buf)==-673138658){break;} }
        for(i=-109;i<-94;i++){ buf[387]=(byte)i; if(sha1_32(buf)==-1616543989){break;} }
        for(i=-30;i<-16;i++){ buf[388]=(byte)i; if(sha1_32(buf)==1864065523){break;} }
        for(i=-58;i<-50;i++){ buf[389]=(byte)i; if(sha1_32(buf)==-939767064){break;} }
        for(i=52;i<70;i++){ buf[390]=(byte)i; if(sha1_32(buf)==-718251187){break;} }
        for(i=-104;i<-85;i++){ buf[391]=(byte)i; if(sha1_32(buf)==-1024611018){break;} }
        for(i=-119;i<-102;i++){ buf[392]=(byte)i; if(sha1_32(buf)==-321332718){break;} }
        for(i=54;i<72;i++){ buf[393]=(byte)i; if(sha1_32(buf)==1150126224){break;} }
        for(i=-102;i<-89;i++){ buf[394]=(byte)i; if(sha1_32(buf)==865653206){break;} }
        for(i=92;i<103;i++){ buf[395]=(byte)i; if(sha1_32(buf)==-845407667){break;} }
        for(i=9;i<37;i++){ buf[396]=(byte)i; if(sha1_32(buf)==-1362884514){break;} }
        for(i=-9;i<13;i++){ buf[397]=(byte)i; if(sha1_32(buf)==1792270264){break;} }
        for(i=61;i<69;i++){ buf[398]=(byte)i; if(sha1_32(buf)==-2018142945){break;} }
        for(i=-18;i<-3;i++){ buf[399]=(byte)i; if(sha1_32(buf)==874735799){break;} }
        for(i=-88;i<-75;i++){ buf[400]=(byte)i; if(sha1_32(buf)==271218257){break;} }
        for(i=-15;i<2;i++){ buf[401]=(byte)i; if(sha1_32(buf)==927440843){break;} }
        for(i=-90;i<-60;i++){ buf[402]=(byte)i; if(sha1_32(buf)==340206348){break;} }
        for(i=-114;i<-98;i++){ buf[403]=(byte)i; if(sha1_32(buf)==1722115613){break;} }
        for(i=41;i<66;i++){ buf[404]=(byte)i; if(sha1_32(buf)==-553335149){break;} }
        for(i=74;i<98;i++){ buf[405]=(byte)i; if(sha1_32(buf)==1768568554){break;} }
        for(i=79;i<87;i++){ buf[406]=(byte)i; if(sha1_32(buf)==400419744){break;} }
        for(i=94;i<112;i++){ buf[407]=(byte)i; if(sha1_32(buf)==1567427199){break;} }
        for(i=18;i<48;i++){ buf[408]=(byte)i; if(sha1_32(buf)==-378407797){break;} }
        for(i=2;i<16;i++){ buf[409]=(byte)i; if(sha1_32(buf)==170007669){break;} }
        for(i=-46;i<-28;i++){ buf[410]=(byte)i; if(sha1_32(buf)==82555736){break;} }
        for(i=87;i<95;i++){ buf[411]=(byte)i; if(sha1_32(buf)==1135541244){break;} }
        for(i=-9;i<3;i++){ buf[412]=(byte)i; if(sha1_32(buf)==87003630){break;} }
        for(i=39;i<60;i++){ buf[413]=(byte)i; if(sha1_32(buf)==86753312){break;} }
        for(i=110;i<128;i++){ buf[414]=(byte)i; if(sha1_32(buf)==1525811025){break;} }
        for(i=-3;i<17;i++){ buf[415]=(byte)i; if(sha1_32(buf)==-1872006563){break;} }
        for(i=39;i<64;i++){ buf[416]=(byte)i; if(sha1_32(buf)==1043661283){break;} }
        for(i=78;i<100;i++){ buf[417]=(byte)i; if(sha1_32(buf)==414709032){break;} }
        for(i=-34;i<-18;i++){ buf[418]=(byte)i; if(sha1_32(buf)==348075645){break;} }
        for(i=10;i<31;i++){ buf[419]=(byte)i; if(sha1_32(buf)==623602002){break;} }
        for(i=14;i<22;i++){ buf[420]=(byte)i; if(sha1_32(buf)==-1682726434){break;} }
        for(i=-81;i<-71;i++){ buf[421]=(byte)i; if(sha1_32(buf)==-612297346){break;} }
        for(i=25;i<37;i++){ buf[422]=(byte)i; if(sha1_32(buf)==519032955){break;} }
        for(i=41;i<70;i++){ buf[423]=(byte)i; if(sha1_32(buf)==-2022682744){break;} }
        for(i=116;i<128;i++){ buf[424]=(byte)i; if(sha1_32(buf)==-968478263){break;} }
        for(i=85;i<90;i++){ buf[425]=(byte)i; if(sha1_32(buf)==1233612028){break;} }
        for(i=0;i<3;i++){ buf[426]=(byte)i; if(sha1_32(buf)==-1193059463){break;} }
        for(i=-38;i<-16;i++){ buf[427]=(byte)i; if(sha1_32(buf)==1685710688){break;} }
        for(i=112;i<124;i++){ buf[428]=(byte)i; if(sha1_32(buf)==-613894574){break;} }
        for(i=-57;i<-32;i++){ buf[429]=(byte)i; if(sha1_32(buf)==-492596130){break;} }
        for(i=-17;i<-3;i++){ buf[430]=(byte)i; if(sha1_32(buf)==1710416056){break;} }
        for(i=-52;i<-34;i++){ buf[431]=(byte)i; if(sha1_32(buf)==885764248){break;} }
        for(i=-65;i<-54;i++){ buf[432]=(byte)i; if(sha1_32(buf)==291800862){break;} }
        for(i=-100;i<-95;i++){ buf[433]=(byte)i; if(sha1_32(buf)==443343580){break;} }
        for(i=54;i<76;i++){ buf[434]=(byte)i; if(sha1_32(buf)==-96809337){break;} }
        for(i=46;i<65;i++){ buf[435]=(byte)i; if(sha1_32(buf)==-1870682554){break;} }
        for(i=-77;i<-64;i++){ buf[436]=(byte)i; if(sha1_32(buf)==1911675685){break;} }
        for(i=-3;i<16;i++){ buf[437]=(byte)i; if(sha1_32(buf)==709202172){break;} }
        for(i=-114;i<-99;i++){ buf[438]=(byte)i; if(sha1_32(buf)==-1157553613){break;} }
        for(i=-74;i<-61;i++){ buf[439]=(byte)i; if(sha1_32(buf)==1431253541){break;} }
        for(i=91;i<117;i++){ buf[440]=(byte)i; if(sha1_32(buf)==-5982503){break;} }
        for(i=-68;i<-52;i++){ buf[441]=(byte)i; if(sha1_32(buf)==56932553){break;} }
        for(i=-125;i<-109;i++){ buf[442]=(byte)i; if(sha1_32(buf)==1529630520){break;} }
        for(i=92;i<108;i++){ buf[443]=(byte)i; if(sha1_32(buf)==-802925471){break;} }
        for(i=-55;i<-44;i++){ buf[444]=(byte)i; if(sha1_32(buf)==1613072103){break;} }
        for(i=83;i<98;i++){ buf[445]=(byte)i; if(sha1_32(buf)==1813975091){break;} }
        for(i=-8;i<6;i++){ buf[446]=(byte)i; if(sha1_32(buf)==215106835){break;} }
        for(i=-111;i<-93;i++){ buf[447]=(byte)i; if(sha1_32(buf)==-1571767378){break;} }
        for(i=87;i<107;i++){ buf[448]=(byte)i; if(sha1_32(buf)==-2143848304){break;} }
        for(i=22;i<24;i++){ buf[449]=(byte)i; if(sha1_32(buf)==-1834327169){break;} }
        for(i=106;i<123;i++){ buf[450]=(byte)i; if(sha1_32(buf)==-1943606231){break;} }
        for(i=-112;i<-96;i++){ buf[451]=(byte)i; if(sha1_32(buf)==806884447){break;} }
        for(i=3;i<18;i++){ buf[452]=(byte)i; if(sha1_32(buf)==-622557384){break;} }
        for(i=47;i<63;i++){ buf[453]=(byte)i; if(sha1_32(buf)==1637119203){break;} }
        for(i=21;i<32;i++){ buf[454]=(byte)i; if(sha1_32(buf)==-357020826){break;} }
        for(i=-3;i<23;i++){ buf[455]=(byte)i; if(sha1_32(buf)==-754192755){break;} }
        for(i=103;i<115;i++){ buf[456]=(byte)i; if(sha1_32(buf)==-1695625282){break;} }
        for(i=40;i<67;i++){ buf[457]=(byte)i; if(sha1_32(buf)==-1524545466){break;} }
        for(i=-32;i<-18;i++){ buf[458]=(byte)i; if(sha1_32(buf)==-1391935430){break;} }
        for(i=-13;i<0;i++){ buf[459]=(byte)i; if(sha1_32(buf)==-450591197){break;} }
        for(i=-128;i<-109;i++){ buf[460]=(byte)i; if(sha1_32(buf)==1577511106){break;} }
        for(i=95;i<106;i++){ buf[461]=(byte)i; if(sha1_32(buf)==-242958161){break;} }
        for(i=44;i<75;i++){ buf[462]=(byte)i; if(sha1_32(buf)==-379191893){break;} }
        for(i=57;i<61;i++){ buf[463]=(byte)i; if(sha1_32(buf)==1714182967){break;} }
        for(i=104;i<111;i++){ buf[464]=(byte)i; if(sha1_32(buf)==-1095184819){break;} }
        for(i=-20;i<-4;i++){ buf[465]=(byte)i; if(sha1_32(buf)==-400342166){break;} }
        for(i=-8;i<9;i++){ buf[466]=(byte)i; if(sha1_32(buf)==772844704){break;} }
        for(i=68;i<95;i++){ buf[467]=(byte)i; if(sha1_32(buf)==-1065782890){break;} }
        for(i=-106;i<-88;i++){ buf[468]=(byte)i; if(sha1_32(buf)==-849043850){break;} }
        for(i=38;i<63;i++){ buf[469]=(byte)i; if(sha1_32(buf)==-1877152013){break;} }
        for(i=74;i<88;i++){ buf[470]=(byte)i; if(sha1_32(buf)==58419254){break;} }
        for(i=-76;i<-63;i++){ buf[471]=(byte)i; if(sha1_32(buf)==-308677017){break;} }
        for(i=-63;i<-38;i++){ buf[472]=(byte)i; if(sha1_32(buf)==-419671454){break;} }
        for(i=0;i<20;i++){ buf[473]=(byte)i; if(sha1_32(buf)==-1373838706){break;} }
        for(i=-22;i<-4;i++){ buf[474]=(byte)i; if(sha1_32(buf)==1298659673){break;} }
        for(i=-21;i<-10;i++){ buf[475]=(byte)i; if(sha1_32(buf)==402346541){break;} }
        for(i=72;i<98;i++){ buf[476]=(byte)i; if(sha1_32(buf)==2072705747){break;} }
        for(i=-69;i<-50;i++){ buf[477]=(byte)i; if(sha1_32(buf)==350333305){break;} }
        for(i=60;i<80;i++){ buf[478]=(byte)i; if(sha1_32(buf)==-1584671628){break;} }
        for(i=57;i<77;i++){ buf[479]=(byte)i; if(sha1_32(buf)==-104916296){break;} }
        for(i=117;i<126;i++){ buf[480]=(byte)i; if(sha1_32(buf)==-740292257){break;} }
        for(i=-25;i<-11;i++){ buf[481]=(byte)i; if(sha1_32(buf)==1862955096){break;} }
        for(i=-121;i<-102;i++){ buf[482]=(byte)i; if(sha1_32(buf)==-820547163){break;} }
        for(i=78;i<92;i++){ buf[483]=(byte)i; if(sha1_32(buf)==1175183701){break;} }
        for(i=-92;i<-72;i++){ buf[484]=(byte)i; if(sha1_32(buf)==-1362833804){break;} }
        for(i=-101;i<-93;i++){ buf[485]=(byte)i; if(sha1_32(buf)==1883267555){break;} }
        for(i=-8;i<8;i++){ buf[486]=(byte)i; if(sha1_32(buf)==-1616093708){break;} }
        for(i=-42;i<-29;i++){ buf[487]=(byte)i; if(sha1_32(buf)==-1257726556){break;} }
        for(i=20;i<22;i++){ buf[488]=(byte)i; if(sha1_32(buf)==-807689770){break;} }
        for(i=-79;i<-63;i++){ buf[489]=(byte)i; if(sha1_32(buf)==-1294873903){break;} }
        for(i=72;i<87;i++){ buf[490]=(byte)i; if(sha1_32(buf)==2109581536){break;} }
        for(i=14;i<36;i++){ buf[491]=(byte)i; if(sha1_32(buf)==777362866){break;} }
        for(i=67;i<86;i++){ buf[492]=(byte)i; if(sha1_32(buf)==-1933898963){break;} }
        for(i=26;i<50;i++){ buf[493]=(byte)i; if(sha1_32(buf)==1425331505){break;} }
        for(i=-4;i<16;i++){ buf[494]=(byte)i; if(sha1_32(buf)==1425331505){break;} }
        for(i=-78;i<-71;i++){ buf[495]=(byte)i; if(sha1_32(buf)==1880530783){break;} }
        for(i=-22;i<8;i++){ buf[496]=(byte)i; if(sha1_32(buf)==-582969233){break;} }
        for(i=-72;i<-55;i++){ buf[497]=(byte)i; if(sha1_32(buf)==1654087543){break;} }
        for(i=-79;i<-57;i++){ buf[498]=(byte)i; if(sha1_32(buf)==1613018185){break;} }
        for(i=-120;i<-114;i++){ buf[499]=(byte)i; if(sha1_32(buf)==872709611){break;} }
        for(i=-109;i<-101;i++){ buf[500]=(byte)i; if(sha1_32(buf)==-1076654955){break;} }
        for(i=59;i<71;i++){ buf[501]=(byte)i; if(sha1_32(buf)==100777609){break;} }
        for(i=26;i<48;i++){ buf[502]=(byte)i; if(sha1_32(buf)==2031659550){break;} }
        for(i=-52;i<-43;i++){ buf[503]=(byte)i; if(sha1_32(buf)==1490598351){break;} }
        for(i=36;i<67;i++){ buf[504]=(byte)i; if(sha1_32(buf)==375224650){break;} }
        for(i=10;i<13;i++){ buf[505]=(byte)i; if(sha1_32(buf)==1482137840){break;} }
        for(i=96;i<120;i++){ buf[506]=(byte)i; if(sha1_32(buf)==-1715232092){break;} }
        for(i=27;i<32;i++){ buf[507]=(byte)i; if(sha1_32(buf)==1216664807){break;} }
        for(i=-36;i<-13;i++){ buf[508]=(byte)i; if(sha1_32(buf)==-1386157539){break;} }
        for(i=47;i<65;i++){ buf[509]=(byte)i; if(sha1_32(buf)==818290847){break;} }
        for(i=-9;i<9;i++){ buf[510]=(byte)i; if(sha1_32(buf)==35241138){break;} }
        for(i=56;i<67;i++){ buf[511]=(byte)i; if(sha1_32(buf)==454150543){break;} }
        for(i=-5;i<15;i++){ buf[512]=(byte)i; if(sha1_32(buf)==-1527645777){break;} }
        for(i=-106;i<-96;i++){ buf[513]=(byte)i; if(sha1_32(buf)==-1860556539){break;} }
        for(i=60;i<76;i++){ buf[514]=(byte)i; if(sha1_32(buf)==525457089){break;} }
        for(i=76;i<85;i++){ buf[515]=(byte)i; if(sha1_32(buf)==-1208531033){break;} }
        for(i=-96;i<-72;i++){ buf[516]=(byte)i; if(sha1_32(buf)==-1668384993){break;} }
        for(i=23;i<34;i++){ buf[517]=(byte)i; if(sha1_32(buf)==-720023996){break;} }
        for(i=117;i<128;i++){ buf[518]=(byte)i; if(sha1_32(buf)==735910851){break;} }
        for(i=-99;i<-92;i++){ buf[519]=(byte)i; if(sha1_32(buf)==-735364024){break;} }
        for(i=-123;i<-114;i++){ buf[520]=(byte)i; if(sha1_32(buf)==148452408){break;} }
        for(i=-65;i<-63;i++){ buf[521]=(byte)i; if(sha1_32(buf)==-2064236007){break;} }
        for(i=-14;i<2;i++){ buf[522]=(byte)i; if(sha1_32(buf)==-1614946154){break;} }
        for(i=-65;i<-49;i++){ buf[523]=(byte)i; if(sha1_32(buf)==-1812943831){break;} }
        for(i=38;i<53;i++){ buf[524]=(byte)i; if(sha1_32(buf)==-91531874){break;} }
        for(i=-83;i<-63;i++){ buf[525]=(byte)i; if(sha1_32(buf)==-872999111){break;} }
        for(i=-112;i<-85;i++){ buf[526]=(byte)i; if(sha1_32(buf)==-1926931704){break;} }
        for(i=86;i<102;i++){ buf[527]=(byte)i; if(sha1_32(buf)==231466208){break;} }
        for(i=29;i<38;i++){ buf[528]=(byte)i; if(sha1_32(buf)==-1231014933){break;} }
        for(i=-1;i<13;i++){ buf[529]=(byte)i; if(sha1_32(buf)==470303560){break;} }
        for(i=-110;i<-97;i++){ buf[530]=(byte)i; if(sha1_32(buf)==1781265070){break;} }
        for(i=35;i<60;i++){ buf[531]=(byte)i; if(sha1_32(buf)==1521707328){break;} }
        for(i=101;i<106;i++){ buf[532]=(byte)i; if(sha1_32(buf)==-985331387){break;} }
        for(i=95;i<119;i++){ buf[533]=(byte)i; if(sha1_32(buf)==-699614548){break;} }
        for(i=-11;i<-5;i++){ buf[534]=(byte)i; if(sha1_32(buf)==608386841){break;} }
        for(i=-128;i<-112;i++){ buf[535]=(byte)i; if(sha1_32(buf)==-1954543775){break;} }
        for(i=-108;i<-89;i++){ buf[536]=(byte)i; if(sha1_32(buf)==714005191){break;} }
        for(i=9;i<17;i++){ buf[537]=(byte)i; if(sha1_32(buf)==825372696){break;} }
        for(i=-107;i<-89;i++){ buf[538]=(byte)i; if(sha1_32(buf)==-777198321){break;} }
        for(i=-105;i<-80;i++){ buf[539]=(byte)i; if(sha1_32(buf)==1565945830){break;} }
        for(i=-94;i<-90;i++){ buf[540]=(byte)i; if(sha1_32(buf)==474597759){break;} }
        for(i=32;i<43;i++){ buf[541]=(byte)i; if(sha1_32(buf)==-1728202968){break;} }
        for(i=-85;i<-62;i++){ buf[542]=(byte)i; if(sha1_32(buf)==1560748635){break;} }
        for(i=86;i<94;i++){ buf[543]=(byte)i; if(sha1_32(buf)==1506636561){break;} }
        for(i=-6;i<10;i++){ buf[544]=(byte)i; if(sha1_32(buf)==1237288794){break;} }
        for(i=-26;i<-5;i++){ buf[545]=(byte)i; if(sha1_32(buf)==-1333648057){break;} }
        for(i=6;i<27;i++){ buf[546]=(byte)i; if(sha1_32(buf)==310722525){break;} }
        for(i=86;i<95;i++){ buf[547]=(byte)i; if(sha1_32(buf)==-1602659316){break;} }
        for(i=-115;i<-100;i++){ buf[548]=(byte)i; if(sha1_32(buf)==1774273318){break;} }
        for(i=-128;i<-114;i++){ buf[549]=(byte)i; if(sha1_32(buf)==-587045381){break;} }
        for(i=-31;i<-11;i++){ buf[550]=(byte)i; if(sha1_32(buf)==1679023301){break;} }
        for(i=-22;i<7;i++){ buf[551]=(byte)i; if(sha1_32(buf)==-1784786048){break;} }
        for(i=-128;i<-121;i++){ buf[552]=(byte)i; if(sha1_32(buf)==-1979443210){break;} }
        for(i=57;i<82;i++){ buf[553]=(byte)i; if(sha1_32(buf)==1498584180){break;} }
        for(i=91;i<105;i++){ buf[554]=(byte)i; if(sha1_32(buf)==2024033125){break;} }
        for(i=-42;i<-18;i++){ buf[555]=(byte)i; if(sha1_32(buf)==161136514){break;} }
        for(i=101;i<114;i++){ buf[556]=(byte)i; if(sha1_32(buf)==-915175982){break;} }
        for(i=41;i<58;i++){ buf[557]=(byte)i; if(sha1_32(buf)==-455917150){break;} }
        for(i=-111;i<-86;i++){ buf[558]=(byte)i; if(sha1_32(buf)==-202413005){break;} }
        for(i=23;i<28;i++){ buf[559]=(byte)i; if(sha1_32(buf)==1469496015){break;} }
        for(i=9;i<34;i++){ buf[560]=(byte)i; if(sha1_32(buf)==-2053835165){break;} }
        for(i=51;i<62;i++){ buf[561]=(byte)i; if(sha1_32(buf)==-1752965054){break;} }
        for(i=-95;i<-81;i++){ buf[562]=(byte)i; if(sha1_32(buf)==1896954010){break;} }
        for(i=33;i<36;i++){ buf[563]=(byte)i; if(sha1_32(buf)==-128157838){break;} }
        for(i=28;i<43;i++){ buf[564]=(byte)i; if(sha1_32(buf)==-328152944){break;} }
        for(i=-93;i<-79;i++){ buf[565]=(byte)i; if(sha1_32(buf)==1486330965){break;} }
        for(i=38;i<53;i++){ buf[566]=(byte)i; if(sha1_32(buf)==-333921241){break;} }
        for(i=-79;i<-61;i++){ buf[567]=(byte)i; if(sha1_32(buf)==562689634){break;} }
        for(i=-47;i<-27;i++){ buf[568]=(byte)i; if(sha1_32(buf)==159036944){break;} }
        for(i=-70;i<-53;i++){ buf[569]=(byte)i; if(sha1_32(buf)==-703845672){break;} }
        for(i=5;i<21;i++){ buf[570]=(byte)i; if(sha1_32(buf)==-727604486){break;} }
        for(i=66;i<78;i++){ buf[571]=(byte)i; if(sha1_32(buf)==-2046293551){break;} }
        for(i=73;i<93;i++){ buf[572]=(byte)i; if(sha1_32(buf)==1165505461){break;} }
        for(i=62;i<81;i++){ buf[573]=(byte)i; if(sha1_32(buf)==153825221){break;} }
        for(i=-81;i<-65;i++){ buf[574]=(byte)i; if(sha1_32(buf)==25283970){break;} }
        for(i=-56;i<-39;i++){ buf[575]=(byte)i; if(sha1_32(buf)==-1478938792){break;} }
        for(i=44;i<51;i++){ buf[576]=(byte)i; if(sha1_32(buf)==1005664339){break;} }
        for(i=31;i<56;i++){ buf[577]=(byte)i; if(sha1_32(buf)==-1539626303){break;} }
        for(i=77;i<94;i++){ buf[578]=(byte)i; if(sha1_32(buf)==1247261861){break;} }
        for(i=66;i<86;i++){ buf[579]=(byte)i; if(sha1_32(buf)==86258058){break;} }
        for(i=-41;i<-28;i++){ buf[580]=(byte)i; if(sha1_32(buf)==-1315098661){break;} }
        for(i=115;i<128;i++){ buf[581]=(byte)i; if(sha1_32(buf)==-1242775502){break;} }
        for(i=-113;i<-87;i++){ buf[582]=(byte)i; if(sha1_32(buf)==-2050017396){break;} }
        for(i=-107;i<-101;i++){ buf[583]=(byte)i; if(sha1_32(buf)==-1734352732){break;} }
        for(i=-128;i<-111;i++){ buf[584]=(byte)i; if(sha1_32(buf)==1460375494){break;} }
        for(i=-126;i<-115;i++){ buf[585]=(byte)i; if(sha1_32(buf)==-1241694249){break;} }
        for(i=-50;i<-35;i++){ buf[586]=(byte)i; if(sha1_32(buf)==250492907){break;} }
        for(i=97;i<124;i++){ buf[587]=(byte)i; if(sha1_32(buf)==-1966431767){break;} }
        for(i=35;i<61;i++){ buf[588]=(byte)i; if(sha1_32(buf)==694358476){break;} }
        for(i=-112;i<-100;i++){ buf[589]=(byte)i; if(sha1_32(buf)==-1718599470){break;} }
        for(i=23;i<33;i++){ buf[590]=(byte)i; if(sha1_32(buf)==1910293682){break;} }
        for(i=-62;i<-49;i++){ buf[591]=(byte)i; if(sha1_32(buf)==643414691){break;} }
        for(i=75;i<91;i++){ buf[592]=(byte)i; if(sha1_32(buf)==-1215082874){break;} }
        for(i=-110;i<-98;i++){ buf[593]=(byte)i; if(sha1_32(buf)==1993004871){break;} }
        for(i=17;i<34;i++){ buf[594]=(byte)i; if(sha1_32(buf)==1055221407){break;} }
        for(i=38;i<59;i++){ buf[595]=(byte)i; if(sha1_32(buf)==-178770402){break;} }
        for(i=49;i<63;i++){ buf[596]=(byte)i; if(sha1_32(buf)==1334863923){break;} }
        for(i=45;i<57;i++){ buf[597]=(byte)i; if(sha1_32(buf)==-1651713939){break;} }
        for(i=3;i<34;i++){ buf[598]=(byte)i; if(sha1_32(buf)==1818396251){break;} }
        for(i=31;i<36;i++){ buf[599]=(byte)i; if(sha1_32(buf)==-2048988934){break;} }
        for(i=48;i<60;i++){ buf[600]=(byte)i; if(sha1_32(buf)==-786777626){break;} }
        for(i=96;i<117;i++){ buf[601]=(byte)i; if(sha1_32(buf)==1055930221){break;} }
        for(i=-113;i<-106;i++){ buf[602]=(byte)i; if(sha1_32(buf)==969696294){break;} }
        for(i=-95;i<-84;i++){ buf[603]=(byte)i; if(sha1_32(buf)==234125604){break;} }
        for(i=107;i<109;i++){ buf[604]=(byte)i; if(sha1_32(buf)==-1834053469){break;} }
        for(i=7;i<28;i++){ buf[605]=(byte)i; if(sha1_32(buf)==-1849463747){break;} }
        for(i=-39;i<-19;i++){ buf[606]=(byte)i; if(sha1_32(buf)==-904305394){break;} }
        for(i=27;i<56;i++){ buf[607]=(byte)i; if(sha1_32(buf)==-315326105){break;} }
        for(i=-39;i<-21;i++){ buf[608]=(byte)i; if(sha1_32(buf)==-1533790830){break;} }
        for(i=-58;i<-47;i++){ buf[609]=(byte)i; if(sha1_32(buf)==979889736){break;} }
        for(i=-33;i<-26;i++){ buf[610]=(byte)i; if(sha1_32(buf)==-1447154704){break;} }
        for(i=46;i<61;i++){ buf[611]=(byte)i; if(sha1_32(buf)==-755016793){break;} }
        for(i=64;i<84;i++){ buf[612]=(byte)i; if(sha1_32(buf)==-1858829321){break;} }
        for(i=-91;i<-70;i++){ buf[613]=(byte)i; if(sha1_32(buf)==1336722095){break;} }
        for(i=0;i<16;i++){ buf[614]=(byte)i; if(sha1_32(buf)==-234286862){break;} }
        for(i=-7;i<1;i++){ buf[615]=(byte)i; if(sha1_32(buf)==-711209786){break;} }
        for(i=-110;i<-81;i++){ buf[616]=(byte)i; if(sha1_32(buf)==-406661490){break;} }
        for(i=24;i<46;i++){ buf[617]=(byte)i; if(sha1_32(buf)==514587803){break;} }
        for(i=-51;i<-36;i++){ buf[618]=(byte)i; if(sha1_32(buf)==915614748){break;} }
        for(i=-106;i<-94;i++){ buf[619]=(byte)i; if(sha1_32(buf)==-99346793){break;} }
        for(i=80;i<103;i++){ buf[620]=(byte)i; if(sha1_32(buf)==-1297448986){break;} }
        for(i=52;i<74;i++){ buf[621]=(byte)i; if(sha1_32(buf)==1277238196){break;} }
        for(i=-73;i<-60;i++){ buf[622]=(byte)i; if(sha1_32(buf)==-1491653810){break;} }
        for(i=71;i<86;i++){ buf[623]=(byte)i; if(sha1_32(buf)==756842051){break;} }
        for(i=16;i<34;i++){ buf[624]=(byte)i; if(sha1_32(buf)==940236376){break;} }
        for(i=-23;i<-7;i++){ buf[625]=(byte)i; if(sha1_32(buf)==1664994255){break;} }
        for(i=-92;i<-68;i++){ buf[626]=(byte)i; if(sha1_32(buf)==-537561096){break;} }
        for(i=-47;i<-32;i++){ buf[627]=(byte)i; if(sha1_32(buf)==1517861477){break;} }
        for(i=-2;i<12;i++){ buf[628]=(byte)i; if(sha1_32(buf)==856730966){break;} }
        for(i=-32;i<-20;i++){ buf[629]=(byte)i; if(sha1_32(buf)==-1251243883){break;} }
        for(i=22;i<40;i++){ buf[630]=(byte)i; if(sha1_32(buf)==-966622528){break;} }
        for(i=93;i<109;i++){ buf[631]=(byte)i; if(sha1_32(buf)==349055781){break;} }
        for(i=16;i<30;i++){ buf[632]=(byte)i; if(sha1_32(buf)==-1911762033){break;} }
        for(i=-96;i<-80;i++){ buf[633]=(byte)i; if(sha1_32(buf)==-1925997834){break;} }
        for(i=28;i<43;i++){ buf[634]=(byte)i; if(sha1_32(buf)==-536275716){break;} }
        for(i=-10;i<16;i++){ buf[635]=(byte)i; if(sha1_32(buf)==1659679572){break;} }
        for(i=48;i<67;i++){ buf[636]=(byte)i; if(sha1_32(buf)==2094852947){break;} }
        for(i=-113;i<-98;i++){ buf[637]=(byte)i; if(sha1_32(buf)==-522070405){break;} }
        for(i=-91;i<-83;i++){ buf[638]=(byte)i; if(sha1_32(buf)==1590080577){break;} }
        for(i=-91;i<-81;i++){ buf[639]=(byte)i; if(sha1_32(buf)==1304060457){break;} }
        for(i=31;i<50;i++){ buf[640]=(byte)i; if(sha1_32(buf)==-1565646870){break;} }
        for(i=122;i<128;i++){ buf[641]=(byte)i; if(sha1_32(buf)==-1989067651){break;} }
        for(i=-103;i<-81;i++){ buf[642]=(byte)i; if(sha1_32(buf)==1838945077){break;} }
        for(i=78;i<101;i++){ buf[643]=(byte)i; if(sha1_32(buf)==-661503601){break;} }
        for(i=-26;i<-8;i++){ buf[644]=(byte)i; if(sha1_32(buf)==-863371901){break;} }
        for(i=-128;i<-105;i++){ buf[645]=(byte)i; if(sha1_32(buf)==1839808064){break;} }
        for(i=-107;i<-87;i++){ buf[646]=(byte)i; if(sha1_32(buf)==1473035393){break;} }
        for(i=51;i<78;i++){ buf[647]=(byte)i; if(sha1_32(buf)==87211160){break;} }
        for(i=8;i<30;i++){ buf[648]=(byte)i; if(sha1_32(buf)==36047959){break;} }
        for(i=-97;i<-76;i++){ buf[649]=(byte)i; if(sha1_32(buf)==-1432351843){break;} }
        for(i=80;i<95;i++){ buf[650]=(byte)i; if(sha1_32(buf)==-1628921255){break;} }
        for(i=10;i<37;i++){ buf[651]=(byte)i; if(sha1_32(buf)==791081608){break;} }
        for(i=44;i<65;i++){ buf[652]=(byte)i; if(sha1_32(buf)==-622572846){break;} }
        for(i=57;i<75;i++){ buf[653]=(byte)i; if(sha1_32(buf)==1748840291){break;} }
        for(i=-93;i<-77;i++){ buf[654]=(byte)i; if(sha1_32(buf)==-91858139){break;} }
        for(i=115;i<126;i++){ buf[655]=(byte)i; if(sha1_32(buf)==1457014424){break;} }
        for(i=-122;i<-106;i++){ buf[656]=(byte)i; if(sha1_32(buf)==1530411770){break;} }
        for(i=-83;i<-69;i++){ buf[657]=(byte)i; if(sha1_32(buf)==-290005444){break;} }
        for(i=-46;i<-21;i++){ buf[658]=(byte)i; if(sha1_32(buf)==1498482211){break;} }
        for(i=-74;i<-54;i++){ buf[659]=(byte)i; if(sha1_32(buf)==-1511702833){break;} }
        for(i=110;i<126;i++){ buf[660]=(byte)i; if(sha1_32(buf)==1582987143){break;} }
        for(i=-32;i<-27;i++){ buf[661]=(byte)i; if(sha1_32(buf)==-1040332143){break;} }
        for(i=-60;i<-40;i++){ buf[662]=(byte)i; if(sha1_32(buf)==-813913468){break;} }
        for(i=-21;i<-12;i++){ buf[663]=(byte)i; if(sha1_32(buf)==-552035167){break;} }
        for(i=36;i<63;i++){ buf[664]=(byte)i; if(sha1_32(buf)==-1295815362){break;} }
        for(i=102;i<123;i++){ buf[665]=(byte)i; if(sha1_32(buf)==-1614052211){break;} }
        for(i=28;i<47;i++){ buf[666]=(byte)i; if(sha1_32(buf)==-1042174745){break;} }
        for(i=-118;i<-103;i++){ buf[667]=(byte)i; if(sha1_32(buf)==-2009280867){break;} }
        for(i=-112;i<-92;i++){ buf[668]=(byte)i; if(sha1_32(buf)==168257623){break;} }
        for(i=47;i<52;i++){ buf[669]=(byte)i; if(sha1_32(buf)==795876008){break;} }
        for(i=-101;i<-84;i++){ buf[670]=(byte)i; if(sha1_32(buf)==302619558){break;} }
        for(i=46;i<73;i++){ buf[671]=(byte)i; if(sha1_32(buf)==-1978983159){break;} }
        for(i=-25;i<-1;i++){ buf[672]=(byte)i; if(sha1_32(buf)==884455626){break;} }
        for(i=-57;i<-39;i++){ buf[673]=(byte)i; if(sha1_32(buf)==-1095673138){break;} }
        for(i=80;i<89;i++){ buf[674]=(byte)i; if(sha1_32(buf)==-1840924805){break;} }
        for(i=26;i<45;i++){ buf[675]=(byte)i; if(sha1_32(buf)==-133073178){break;} }
        for(i=49;i<67;i++){ buf[676]=(byte)i; if(sha1_32(buf)==-1604309847){break;} }
        for(i=96;i<111;i++){ buf[677]=(byte)i; if(sha1_32(buf)==755716077){break;} }
        for(i=-33;i<-11;i++){ buf[678]=(byte)i; if(sha1_32(buf)==751693169){break;} }
        for(i=65;i<81;i++){ buf[679]=(byte)i; if(sha1_32(buf)==-1137603948){break;} }
        for(i=-119;i<-106;i++){ buf[680]=(byte)i; if(sha1_32(buf)==-1135836675){break;} }
        for(i=93;i<99;i++){ buf[681]=(byte)i; if(sha1_32(buf)==265570552){break;} }
        for(i=3;i<7;i++){ buf[682]=(byte)i; if(sha1_32(buf)==1213516996){break;} }
        for(i=-1;i<18;i++){ buf[683]=(byte)i; if(sha1_32(buf)==-1827740427){break;} }
        for(i=-114;i<-90;i++){ buf[684]=(byte)i; if(sha1_32(buf)==-1698495516){break;} }
        for(i=41;i<57;i++){ buf[685]=(byte)i; if(sha1_32(buf)==305143219){break;} }
        for(i=115;i<128;i++){ buf[686]=(byte)i; if(sha1_32(buf)==-1894752835){break;} }
        for(i=-75;i<-56;i++){ buf[687]=(byte)i; if(sha1_32(buf)==1524965065){break;} }
        for(i=-119;i<-94;i++){ buf[688]=(byte)i; if(sha1_32(buf)==-179576052){break;} }
        for(i=-58;i<-39;i++){ buf[689]=(byte)i; if(sha1_32(buf)==869848296){break;} }
        for(i=-125;i<-97;i++){ buf[690]=(byte)i; if(sha1_32(buf)==-1448744018){break;} }
        for(i=41;i<57;i++){ buf[691]=(byte)i; if(sha1_32(buf)==-2038766866){break;} }
        for(i=0;i<19;i++){ buf[692]=(byte)i; if(sha1_32(buf)==-1831566068){break;} }
        for(i=104;i<120;i++){ buf[693]=(byte)i; if(sha1_32(buf)==1320860201){break;} }
        for(i=-6;i<11;i++){ buf[694]=(byte)i; if(sha1_32(buf)==-1741286898){break;} }
        for(i=40;i<49;i++){ buf[695]=(byte)i; if(sha1_32(buf)==-1553317348){break;} }
        for(i=65;i<78;i++){ buf[696]=(byte)i; if(sha1_32(buf)==697870590){break;} }
        for(i=-83;i<-73;i++){ buf[697]=(byte)i; if(sha1_32(buf)==-2059880670){break;} }
        for(i=-19;i<-14;i++){ buf[698]=(byte)i; if(sha1_32(buf)==59876872){break;} }
        for(i=106;i<116;i++){ buf[699]=(byte)i; if(sha1_32(buf)==-1980488068){break;} }
        for(i=-61;i<-34;i++){ buf[700]=(byte)i; if(sha1_32(buf)==-1771929073){break;} }
        for(i=105;i<127;i++){ buf[701]=(byte)i; if(sha1_32(buf)==-1038410071){break;} }
        for(i=-19;i<5;i++){ buf[702]=(byte)i; if(sha1_32(buf)==443348102){break;} }
        for(i=-50;i<-39;i++){ buf[703]=(byte)i; if(sha1_32(buf)==1726857018){break;} }
        for(i=-52;i<-40;i++){ buf[704]=(byte)i; if(sha1_32(buf)==13235711){break;} }
        for(i=86;i<93;i++){ buf[705]=(byte)i; if(sha1_32(buf)==-556160622){break;} }
        for(i=-39;i<-21;i++){ buf[706]=(byte)i; if(sha1_32(buf)==-1124423184){break;} }
        for(i=-57;i<-36;i++){ buf[707]=(byte)i; if(sha1_32(buf)==1741009792){break;} }
        for(i=-63;i<-37;i++){ buf[708]=(byte)i; if(sha1_32(buf)==1865854567){break;} }
        for(i=75;i<89;i++){ buf[709]=(byte)i; if(sha1_32(buf)==-169189985){break;} }
        for(i=-128;i<-105;i++){ buf[710]=(byte)i; if(sha1_32(buf)==815163357){break;} }
        for(i=-77;i<-57;i++){ buf[711]=(byte)i; if(sha1_32(buf)==464403427){break;} }
        for(i=8;i<34;i++){ buf[712]=(byte)i; if(sha1_32(buf)==1462074298){break;} }
        for(i=-25;i<-20;i++){ buf[713]=(byte)i; if(sha1_32(buf)==-935277129){break;} }
        for(i=29;i<50;i++){ buf[714]=(byte)i; if(sha1_32(buf)==-114231629){break;} }
        for(i=105;i<123;i++){ buf[715]=(byte)i; if(sha1_32(buf)==946940538){break;} }
        for(i=-67;i<-59;i++){ buf[716]=(byte)i; if(sha1_32(buf)==645826649){break;} }
        for(i=119;i<123;i++){ buf[717]=(byte)i; if(sha1_32(buf)==231401048){break;} }
        for(i=85;i<98;i++){ buf[718]=(byte)i; if(sha1_32(buf)==-1307921070){break;} }
        for(i=30;i<38;i++){ buf[719]=(byte)i; if(sha1_32(buf)==486282111){break;} }
        for(i=-96;i<-80;i++){ buf[720]=(byte)i; if(sha1_32(buf)==1988917803){break;} }
        for(i=-102;i<-89;i++){ buf[721]=(byte)i; if(sha1_32(buf)==-1386230857){break;} }
        for(i=19;i<43;i++){ buf[722]=(byte)i; if(sha1_32(buf)==-1631906661){break;} }
        for(i=-7;i<2;i++){ buf[723]=(byte)i; if(sha1_32(buf)==-857168339){break;} }
        for(i=21;i<37;i++){ buf[724]=(byte)i; if(sha1_32(buf)==-1836331701){break;} }
        for(i=20;i<39;i++){ buf[725]=(byte)i; if(sha1_32(buf)==578411245){break;} }
        for(i=-41;i<-26;i++){ buf[726]=(byte)i; if(sha1_32(buf)==-628645518){break;} }
        for(i=-31;i<-10;i++){ buf[727]=(byte)i; if(sha1_32(buf)==-710759798){break;} }
        for(i=41;i<58;i++){ buf[728]=(byte)i; if(sha1_32(buf)==-434580646){break;} }
        for(i=73;i<82;i++){ buf[729]=(byte)i; if(sha1_32(buf)==-945586064){break;} }
        for(i=-3;i<13;i++){ buf[730]=(byte)i; if(sha1_32(buf)==-1267433188){break;} }
        for(i=-40;i<-28;i++){ buf[731]=(byte)i; if(sha1_32(buf)==1804515099){break;} }
        for(i=-16;i<-9;i++){ buf[732]=(byte)i; if(sha1_32(buf)==-1276121404){break;} }
        for(i=22;i<36;i++){ buf[733]=(byte)i; if(sha1_32(buf)==1875755137){break;} }
        for(i=-39;i<-19;i++){ buf[734]=(byte)i; if(sha1_32(buf)==1870687427){break;} }
        for(i=65;i<89;i++){ buf[735]=(byte)i; if(sha1_32(buf)==1827074999){break;} }
        for(i=-38;i<-13;i++){ buf[736]=(byte)i; if(sha1_32(buf)==1748066320){break;} }
        for(i=67;i<81;i++){ buf[737]=(byte)i; if(sha1_32(buf)==487839277){break;} }
        for(i=-128;i<-119;i++){ buf[738]=(byte)i; if(sha1_32(buf)==-1869603955){break;} }
        for(i=-22;i<-7;i++){ buf[739]=(byte)i; if(sha1_32(buf)==844247040){break;} }
        for(i=-39;i<-32;i++){ buf[740]=(byte)i; if(sha1_32(buf)==1529565493){break;} }
        for(i=-95;i<-79;i++){ buf[741]=(byte)i; if(sha1_32(buf)==924676782){break;} }
        for(i=-20;i<6;i++){ buf[742]=(byte)i; if(sha1_32(buf)==-825879127){break;} }
        for(i=-65;i<-44;i++){ buf[743]=(byte)i; if(sha1_32(buf)==-32023940){break;} }
        for(i=-24;i<-16;i++){ buf[744]=(byte)i; if(sha1_32(buf)==1841970148){break;} }
        for(i=34;i<50;i++){ buf[745]=(byte)i; if(sha1_32(buf)==-558042776){break;} }
        for(i=-42;i<-22;i++){ buf[746]=(byte)i; if(sha1_32(buf)==-1120611063){break;} }
        for(i=76;i<97;i++){ buf[747]=(byte)i; if(sha1_32(buf)==-781629516){break;} }
        for(i=80;i<103;i++){ buf[748]=(byte)i; if(sha1_32(buf)==-1609103612){break;} }
        for(i=106;i<127;i++){ buf[749]=(byte)i; if(sha1_32(buf)==1288872287){break;} }
        for(i=-95;i<-85;i++){ buf[750]=(byte)i; if(sha1_32(buf)==-725922453){break;} }
        for(i=-76;i<-56;i++){ buf[751]=(byte)i; if(sha1_32(buf)==787752904){break;} }
        for(i=81;i<98;i++){ buf[752]=(byte)i; if(sha1_32(buf)==1018404406){break;} }
        for(i=113;i<126;i++){ buf[753]=(byte)i; if(sha1_32(buf)==-2048223912){break;} }
        for(i=-128;i<-113;i++){ buf[754]=(byte)i; if(sha1_32(buf)==-195416544){break;} }
        for(i=-83;i<-68;i++){ buf[755]=(byte)i; if(sha1_32(buf)==-162635368){break;} }
        for(i=-128;i<-110;i++){ buf[756]=(byte)i; if(sha1_32(buf)==-1523204817){break;} }
        for(i=107;i<128;i++){ buf[757]=(byte)i; if(sha1_32(buf)==-769937341){break;} }
        for(i=89;i<110;i++){ buf[758]=(byte)i; if(sha1_32(buf)==1178592000){break;} }
        for(i=102;i<112;i++){ buf[759]=(byte)i; if(sha1_32(buf)==-578089069){break;} }
        for(i=45;i<64;i++){ buf[760]=(byte)i; if(sha1_32(buf)==-420849852){break;} }
        for(i=7;i<22;i++){ buf[761]=(byte)i; if(sha1_32(buf)==1709465082){break;} }
        for(i=53;i<66;i++){ buf[762]=(byte)i; if(sha1_32(buf)==556393977){break;} }
        for(i=-61;i<-39;i++){ buf[763]=(byte)i; if(sha1_32(buf)==-541609435){break;} }
        for(i=107;i<124;i++){ buf[764]=(byte)i; if(sha1_32(buf)==-2136833987){break;} }
        for(i=-76;i<-57;i++){ buf[765]=(byte)i; if(sha1_32(buf)==437418396){break;} }
        for(i=-28;i<-13;i++){ buf[766]=(byte)i; if(sha1_32(buf)==623274673){break;} }
        for(i=-81;i<-55;i++){ buf[767]=(byte)i; if(sha1_32(buf)==1753372715){break;} }
        for(i=-23;i<-9;i++){ buf[768]=(byte)i; if(sha1_32(buf)==-1329032556){break;} }
        for(i=45;i<66;i++){ buf[769]=(byte)i; if(sha1_32(buf)==1077466172){break;} }
        for(i=46;i<66;i++){ buf[770]=(byte)i; if(sha1_32(buf)==355976182){break;} }
        for(i=-12;i<10;i++){ buf[771]=(byte)i; if(sha1_32(buf)==-1165863147){break;} }
        for(i=-36;i<-13;i++){ buf[772]=(byte)i; if(sha1_32(buf)==32386916){break;} }
        for(i=-26;i<-14;i++){ buf[773]=(byte)i; if(sha1_32(buf)==540221560){break;} }
        for(i=-56;i<-28;i++){ buf[774]=(byte)i; if(sha1_32(buf)==2047826685){break;} }
        for(i=106;i<125;i++){ buf[775]=(byte)i; if(sha1_32(buf)==397205042){break;} }
        for(i=36;i<58;i++){ buf[776]=(byte)i; if(sha1_32(buf)==1139506008){break;} }
        for(i=-34;i<-19;i++){ buf[777]=(byte)i; if(sha1_32(buf)==15834601){break;} }
        for(i=-24;i<0;i++){ buf[778]=(byte)i; if(sha1_32(buf)==-821171521){break;} }
        for(i=106;i<126;i++){ buf[779]=(byte)i; if(sha1_32(buf)==-1064929422){break;} }
        for(i=98;i<104;i++){ buf[780]=(byte)i; if(sha1_32(buf)==1615097477){break;} }
        for(i=38;i<58;i++){ buf[781]=(byte)i; if(sha1_32(buf)==1144742169){break;} }
        for(i=117;i<128;i++){ buf[782]=(byte)i; if(sha1_32(buf)==1199986190){break;} }
        for(i=20;i<27;i++){ buf[783]=(byte)i; if(sha1_32(buf)==-371640699){break;} }
        for(i=67;i<83;i++){ buf[784]=(byte)i; if(sha1_32(buf)==-1282821331){break;} }
        for(i=71;i<96;i++){ buf[785]=(byte)i; if(sha1_32(buf)==-4967747){break;} }
        for(i=-104;i<-98;i++){ buf[786]=(byte)i; if(sha1_32(buf)==-1964559958){break;} }
        for(i=-34;i<-18;i++){ buf[787]=(byte)i; if(sha1_32(buf)==232666137){break;} }
        for(i=79;i<90;i++){ buf[788]=(byte)i; if(sha1_32(buf)==-1222763006){break;} }
        for(i=-110;i<-103;i++){ buf[789]=(byte)i; if(sha1_32(buf)==-1468765993){break;} }
        for(i=25;i<45;i++){ buf[790]=(byte)i; if(sha1_32(buf)==-48111374){break;} }
        for(i=26;i<54;i++){ buf[791]=(byte)i; if(sha1_32(buf)==1232571239){break;} }
        for(i=15;i<36;i++){ buf[792]=(byte)i; if(sha1_32(buf)==1128899345){break;} }
        for(i=57;i<70;i++){ buf[793]=(byte)i; if(sha1_32(buf)==-1277576780){break;} }
        for(i=-41;i<-18;i++){ buf[794]=(byte)i; if(sha1_32(buf)==-1599423556){break;} }
        for(i=-128;i<-122;i++){ buf[795]=(byte)i; if(sha1_32(buf)==-356219623){break;} }
        for(i=102;i<128;i++){ buf[796]=(byte)i; if(sha1_32(buf)==-1084442534){break;} }
        for(i=-128;i<-119;i++){ buf[797]=(byte)i; if(sha1_32(buf)==244012644){break;} }
        for(i=32;i<47;i++){ buf[798]=(byte)i; if(sha1_32(buf)==-1705498122){break;} }
        for(i=66;i<83;i++){ buf[799]=(byte)i; if(sha1_32(buf)==99529011){break;} }
        for(i=79;i<100;i++){ buf[800]=(byte)i; if(sha1_32(buf)==-108688616){break;} }
        for(i=-14;i<-2;i++){ buf[801]=(byte)i; if(sha1_32(buf)==651923952){break;} }
        for(i=10;i<17;i++){ buf[802]=(byte)i; if(sha1_32(buf)==263563496){break;} }
        for(i=81;i<96;i++){ buf[803]=(byte)i; if(sha1_32(buf)==-1683618398){break;} }
        for(i=106;i<108;i++){ buf[804]=(byte)i; if(sha1_32(buf)==-201606480){break;} }
        for(i=88;i<105;i++){ buf[805]=(byte)i; if(sha1_32(buf)==634471013){break;} }
        for(i=-97;i<-75;i++){ buf[806]=(byte)i; if(sha1_32(buf)==-1659204774){break;} }
        for(i=66;i<79;i++){ buf[807]=(byte)i; if(sha1_32(buf)==1268526883){break;} }
        for(i=-128;i<-107;i++){ buf[808]=(byte)i; if(sha1_32(buf)==1515228247){break;} }
        for(i=104;i<121;i++){ buf[809]=(byte)i; if(sha1_32(buf)==923338362){break;} }
        for(i=21;i<34;i++){ buf[810]=(byte)i; if(sha1_32(buf)==597801610){break;} }
        for(i=-114;i<-94;i++){ buf[811]=(byte)i; if(sha1_32(buf)==358026664){break;} }
        for(i=113;i<125;i++){ buf[812]=(byte)i; if(sha1_32(buf)==-2018952167){break;} }
        for(i=106;i<111;i++){ buf[813]=(byte)i; if(sha1_32(buf)==730374461){break;} }
        for(i=114;i<128;i++){ buf[814]=(byte)i; if(sha1_32(buf)==-1155375825){break;} }
        for(i=-18;i<3;i++){ buf[815]=(byte)i; if(sha1_32(buf)==-1483832197){break;} }
        for(i=65;i<84;i++){ buf[816]=(byte)i; if(sha1_32(buf)==119676061){break;} }
        for(i=0;i<15;i++){ buf[817]=(byte)i; if(sha1_32(buf)==128643307){break;} }
        for(i=-94;i<-80;i++){ buf[818]=(byte)i; if(sha1_32(buf)==2122644236){break;} }
        for(i=-87;i<-79;i++){ buf[819]=(byte)i; if(sha1_32(buf)==1252785081){break;} }
        for(i=-128;i<-116;i++){ buf[820]=(byte)i; if(sha1_32(buf)==1107119891){break;} }
        for(i=-64;i<-49;i++){ buf[821]=(byte)i; if(sha1_32(buf)==590836564){break;} }
        for(i=-51;i<-35;i++){ buf[822]=(byte)i; if(sha1_32(buf)==-1214547151){break;} }
        for(i=33;i<43;i++){ buf[823]=(byte)i; if(sha1_32(buf)==1831282317){break;} }
        for(i=77;i<94;i++){ buf[824]=(byte)i; if(sha1_32(buf)==-468473415){break;} }
        for(i=-32;i<-7;i++){ buf[825]=(byte)i; if(sha1_32(buf)==620930414){break;} }
        for(i=1;i<21;i++){ buf[826]=(byte)i; if(sha1_32(buf)==104838568){break;} }
        for(i=27;i<40;i++){ buf[827]=(byte)i; if(sha1_32(buf)==-31349043){break;} }
        for(i=27;i<39;i++){ buf[828]=(byte)i; if(sha1_32(buf)==-1228502250){break;} }
        for(i=76;i<93;i++){ buf[829]=(byte)i; if(sha1_32(buf)==1041309460){break;} }
        for(i=-128;i<-115;i++){ buf[830]=(byte)i; if(sha1_32(buf)==-807694512){break;} }
        for(i=18;i<41;i++){ buf[831]=(byte)i; if(sha1_32(buf)==-957396051){break;} }
        for(i=-124;i<-119;i++){ buf[832]=(byte)i; if(sha1_32(buf)==601038177){break;} }
        for(i=78;i<107;i++){ buf[833]=(byte)i; if(sha1_32(buf)==-888112929){break;} }
        for(i=85;i<100;i++){ buf[834]=(byte)i; if(sha1_32(buf)==-1763966486){break;} }
        for(i=73;i<97;i++){ buf[835]=(byte)i; if(sha1_32(buf)==257549110){break;} }
        for(i=-13;i<-2;i++){ buf[836]=(byte)i; if(sha1_32(buf)==-992786486){break;} }
        for(i=-56;i<-52;i++){ buf[837]=(byte)i; if(sha1_32(buf)==2125124072){break;} }
        for(i=-76;i<-56;i++){ buf[838]=(byte)i; if(sha1_32(buf)==1145518035){break;} }
        for(i=100;i<113;i++){ buf[839]=(byte)i; if(sha1_32(buf)==1085540692){break;} }
        for(i=9;i<11;i++){ buf[840]=(byte)i; if(sha1_32(buf)==188455254){break;} }
        for(i=-128;i<-110;i++){ buf[841]=(byte)i; if(sha1_32(buf)==540558617){break;} }
        for(i=-128;i<-111;i++){ buf[842]=(byte)i; if(sha1_32(buf)==-783999861){break;} }
        for(i=-128;i<-113;i++){ buf[843]=(byte)i; if(sha1_32(buf)==1433819006){break;} }
        for(i=72;i<98;i++){ buf[844]=(byte)i; if(sha1_32(buf)==326920787){break;} }
        for(i=-105;i<-84;i++){ buf[845]=(byte)i; if(sha1_32(buf)==1549611622){break;} }
        for(i=17;i<22;i++){ buf[846]=(byte)i; if(sha1_32(buf)==-1687978743){break;} }
        for(i=51;i<65;i++){ buf[847]=(byte)i; if(sha1_32(buf)==-299998099){break;} }
        for(i=58;i<70;i++){ buf[848]=(byte)i; if(sha1_32(buf)==-2057455327){break;} }
        for(i=-49;i<-25;i++){ buf[849]=(byte)i; if(sha1_32(buf)==-1292237020){break;} }
        for(i=-126;i<-107;i++){ buf[850]=(byte)i; if(sha1_32(buf)==-1608769773){break;} }
        for(i=48;i<78;i++){ buf[851]=(byte)i; if(sha1_32(buf)==313342021){break;} }
        for(i=-90;i<-62;i++){ buf[852]=(byte)i; if(sha1_32(buf)==1465884809){break;} }
        for(i=-96;i<-78;i++){ buf[853]=(byte)i; if(sha1_32(buf)==1329126871){break;} }
        for(i=4;i<21;i++){ buf[854]=(byte)i; if(sha1_32(buf)==-2045039332){break;} }
        for(i=-45;i<-25;i++){ buf[855]=(byte)i; if(sha1_32(buf)==1969719414){break;} }
        for(i=-33;i<-28;i++){ buf[856]=(byte)i; if(sha1_32(buf)==1292940694){break;} }
        for(i=78;i<92;i++){ buf[857]=(byte)i; if(sha1_32(buf)==1258939222){break;} }
        for(i=-6;i<10;i++){ buf[858]=(byte)i; if(sha1_32(buf)==1258939222){break;} }
        for(i=-101;i<-88;i++){ buf[859]=(byte)i; if(sha1_32(buf)==-1819148665){break;} }
        for(i=123;i<128;i++){ buf[860]=(byte)i; if(sha1_32(buf)==982152965){break;} }
        for(i=-89;i<-60;i++){ buf[861]=(byte)i; if(sha1_32(buf)==872297220){break;} }
        for(i=-62;i<-56;i++){ buf[862]=(byte)i; if(sha1_32(buf)==-233247221){break;} }
        for(i=125;i<128;i++){ buf[863]=(byte)i; if(sha1_32(buf)==-1643736292){break;} }
        for(i=70;i<83;i++){ buf[864]=(byte)i; if(sha1_32(buf)==298343638){break;} }
        for(i=-125;i<-110;i++){ buf[865]=(byte)i; if(sha1_32(buf)==-306259415){break;} }
        for(i=-14;i<0;i++){ buf[866]=(byte)i; if(sha1_32(buf)==222399115){break;} }
        for(i=-115;i<-91;i++){ buf[867]=(byte)i; if(sha1_32(buf)==512153891){break;} }
        for(i=-107;i<-95;i++){ buf[868]=(byte)i; if(sha1_32(buf)==-1033373422){break;} }
        for(i=0;i<18;i++){ buf[869]=(byte)i; if(sha1_32(buf)==-1491454033){break;} }
        for(i=-96;i<-79;i++){ buf[870]=(byte)i; if(sha1_32(buf)==1775551270){break;} }
        for(i=9;i<29;i++){ buf[871]=(byte)i; if(sha1_32(buf)==-275701639){break;} }
        for(i=79;i<92;i++){ buf[872]=(byte)i; if(sha1_32(buf)==1614874253){break;} }
        for(i=-123;i<-117;i++){ buf[873]=(byte)i; if(sha1_32(buf)==-5954558){break;} }
        for(i=82;i<103;i++){ buf[874]=(byte)i; if(sha1_32(buf)==-2083716844){break;} }
        for(i=-43;i<-37;i++){ buf[875]=(byte)i; if(sha1_32(buf)==1711885560){break;} }
        for(i=102;i<117;i++){ buf[876]=(byte)i; if(sha1_32(buf)==790339296){break;} }
        for(i=91;i<108;i++){ buf[877]=(byte)i; if(sha1_32(buf)==276559687){break;} }
        for(i=-115;i<-96;i++){ buf[878]=(byte)i; if(sha1_32(buf)==794582861){break;} }
        for(i=48;i<66;i++){ buf[879]=(byte)i; if(sha1_32(buf)==981693755){break;} }
        for(i=-40;i<-18;i++){ buf[880]=(byte)i; if(sha1_32(buf)==-1659983420){break;} }
        for(i=-37;i<-26;i++){ buf[881]=(byte)i; if(sha1_32(buf)==289252511){break;} }
        for(i=65;i<84;i++){ buf[882]=(byte)i; if(sha1_32(buf)==2135756645){break;} }
        for(i=-42;i<-30;i++){ buf[883]=(byte)i; if(sha1_32(buf)==1273261187){break;} }
        for(i=-2;i<14;i++){ buf[884]=(byte)i; if(sha1_32(buf)==-1023407066){break;} }
        for(i=-79;i<-66;i++){ buf[885]=(byte)i; if(sha1_32(buf)==-1606847468){break;} }
        for(i=-103;i<-89;i++){ buf[886]=(byte)i; if(sha1_32(buf)==-2026975030){break;} }
        for(i=1;i<13;i++){ buf[887]=(byte)i; if(sha1_32(buf)==-1456367436){break;} }
        for(i=7;i<31;i++){ buf[888]=(byte)i; if(sha1_32(buf)==1208928979){break;} }
        for(i=-2;i<23;i++){ buf[889]=(byte)i; if(sha1_32(buf)==1450560635){break;} }
        for(i=92;i<111;i++){ buf[890]=(byte)i; if(sha1_32(buf)==-1396628960){break;} }
        for(i=-61;i<-57;i++){ buf[891]=(byte)i; if(sha1_32(buf)==-1383935168){break;} }
        for(i=0;i<6;i++){ buf[892]=(byte)i; if(sha1_32(buf)==-1896072361){break;} }
        for(i=118;i<128;i++){ buf[893]=(byte)i; if(sha1_32(buf)==-327860264){break;} }
        for(i=-13;i<6;i++){ buf[894]=(byte)i; if(sha1_32(buf)==-316049724){break;} }
        for(i=-112;i<-102;i++){ buf[895]=(byte)i; if(sha1_32(buf)==-1970114175){break;} }
        for(i=34;i<48;i++){ buf[896]=(byte)i; if(sha1_32(buf)==1933967814){break;} }
        for(i=1;i<31;i++){ buf[897]=(byte)i; if(sha1_32(buf)==2132308285){break;} }
        for(i=-25;i<-12;i++){ buf[898]=(byte)i; if(sha1_32(buf)==-1422414751){break;} }
        for(i=81;i<95;i++){ buf[899]=(byte)i; if(sha1_32(buf)==-1108731821){break;} }
        for(i=30;i<42;i++){ buf[900]=(byte)i; if(sha1_32(buf)==-2051509532){break;} }
        for(i=-2;i<24;i++){ buf[901]=(byte)i; if(sha1_32(buf)==257897548){break;} }
        for(i=-52;i<-42;i++){ buf[902]=(byte)i; if(sha1_32(buf)==-505492315){break;} }
        for(i=70;i<92;i++){ buf[903]=(byte)i; if(sha1_32(buf)==-2051031573){break;} }
        for(i=-118;i<-103;i++){ buf[904]=(byte)i; if(sha1_32(buf)==-1887173113){break;} }
        for(i=126;i<128;i++){ buf[905]=(byte)i; if(sha1_32(buf)==-1386838512){break;} }
        for(i=-3;i<9;i++){ buf[906]=(byte)i; if(sha1_32(buf)==-121219635){break;} }
        for(i=72;i<90;i++){ buf[907]=(byte)i; if(sha1_32(buf)==679622119){break;} }
        for(i=52;i<59;i++){ buf[908]=(byte)i; if(sha1_32(buf)==1341225148){break;} }
        for(i=75;i<99;i++){ buf[909]=(byte)i; if(sha1_32(buf)==-189861392){break;} }
        for(i=43;i<59;i++){ buf[910]=(byte)i; if(sha1_32(buf)==1296389408){break;} }
        for(i=59;i<78;i++){ buf[911]=(byte)i; if(sha1_32(buf)==2035953528){break;} }
        for(i=-87;i<-74;i++){ buf[912]=(byte)i; if(sha1_32(buf)==-1715920789){break;} }
        for(i=26;i<48;i++){ buf[913]=(byte)i; if(sha1_32(buf)==435648061){break;} }
        for(i=53;i<70;i++){ buf[914]=(byte)i; if(sha1_32(buf)==-1079875231){break;} }
        for(i=85;i<94;i++){ buf[915]=(byte)i; if(sha1_32(buf)==-471181985){break;} }
        for(i=-76;i<-62;i++){ buf[916]=(byte)i; if(sha1_32(buf)==1920356543){break;} }
        for(i=-59;i<-39;i++){ buf[917]=(byte)i; if(sha1_32(buf)==207868324){break;} }
        for(i=-65;i<-38;i++){ buf[918]=(byte)i; if(sha1_32(buf)==1915153215){break;} }
        for(i=-44;i<-16;i++){ buf[919]=(byte)i; if(sha1_32(buf)==2092956346){break;} }
        for(i=3;i<19;i++){ buf[920]=(byte)i; if(sha1_32(buf)==666203860){break;} }
        for(i=10;i<14;i++){ buf[921]=(byte)i; if(sha1_32(buf)==-130197316){break;} }
        for(i=70;i<83;i++){ buf[922]=(byte)i; if(sha1_32(buf)==-871880907){break;} }
        for(i=97;i<110;i++){ buf[923]=(byte)i; if(sha1_32(buf)==802894800){break;} }
        for(i=22;i<31;i++){ buf[924]=(byte)i; if(sha1_32(buf)==1374179525){break;} }
        for(i=15;i<30;i++){ buf[925]=(byte)i; if(sha1_32(buf)==-1728641985){break;} }
        for(i=-81;i<-54;i++){ buf[926]=(byte)i; if(sha1_32(buf)==-276634609){break;} }
        for(i=24;i<31;i++){ buf[927]=(byte)i; if(sha1_32(buf)==-1283413843){break;} }
        for(i=122;i<128;i++){ buf[928]=(byte)i; if(sha1_32(buf)==1085280042){break;} }
        for(i=90;i<114;i++){ buf[929]=(byte)i; if(sha1_32(buf)==597988175){break;} }
        for(i=63;i<91;i++){ buf[930]=(byte)i; if(sha1_32(buf)==-714229194){break;} }
        for(i=49;i<60;i++){ buf[931]=(byte)i; if(sha1_32(buf)==-788561058){break;} }
        for(i=25;i<40;i++){ buf[932]=(byte)i; if(sha1_32(buf)==894202726){break;} }
        for(i=-77;i<-65;i++){ buf[933]=(byte)i; if(sha1_32(buf)==2138214644){break;} }
        for(i=-95;i<-84;i++){ buf[934]=(byte)i; if(sha1_32(buf)==-1314574032){break;} }
        for(i=-23;i<-10;i++){ buf[935]=(byte)i; if(sha1_32(buf)==704490079){break;} }
        for(i=-106;i<-83;i++){ buf[936]=(byte)i; if(sha1_32(buf)==-1181235305){break;} }
        for(i=103;i<125;i++){ buf[937]=(byte)i; if(sha1_32(buf)==-554403161){break;} }
        for(i=109;i<122;i++){ buf[938]=(byte)i; if(sha1_32(buf)==-1484501049){break;} }
        for(i=88;i<103;i++){ buf[939]=(byte)i; if(sha1_32(buf)==659766447){break;} }
        for(i=82;i<99;i++){ buf[940]=(byte)i; if(sha1_32(buf)==1318520855){break;} }
        for(i=-70;i<-55;i++){ buf[941]=(byte)i; if(sha1_32(buf)==-1768751924){break;} }
        for(i=-101;i<-81;i++){ buf[942]=(byte)i; if(sha1_32(buf)==-904496197){break;} }
        for(i=8;i<27;i++){ buf[943]=(byte)i; if(sha1_32(buf)==1761845322){break;} }
        for(i=3;i<18;i++){ buf[944]=(byte)i; if(sha1_32(buf)==-134722570){break;} }
        for(i=-97;i<-90;i++){ buf[945]=(byte)i; if(sha1_32(buf)==1572175806){break;} }
        for(i=-58;i<-33;i++){ buf[946]=(byte)i; if(sha1_32(buf)==1915756161){break;} }
        for(i=-122;i<-102;i++){ buf[947]=(byte)i; if(sha1_32(buf)==-1822017989){break;} }
        for(i=-40;i<-27;i++){ buf[948]=(byte)i; if(sha1_32(buf)==289233652){break;} }
        for(i=95;i<110;i++){ buf[949]=(byte)i; if(sha1_32(buf)==375139344){break;} }
        for(i=88;i<104;i++){ buf[950]=(byte)i; if(sha1_32(buf)==-750244807){break;} }
        for(i=14;i<29;i++){ buf[951]=(byte)i; if(sha1_32(buf)==-1925682252){break;} }
        for(i=-108;i<-99;i++){ buf[952]=(byte)i; if(sha1_32(buf)==-1769249275){break;} }
        for(i=48;i<66;i++){ buf[953]=(byte)i; if(sha1_32(buf)==-477331454){break;} }
        for(i=-127;i<-122;i++){ buf[954]=(byte)i; if(sha1_32(buf)==-1497723955){break;} }
        for(i=-86;i<-71;i++){ buf[955]=(byte)i; if(sha1_32(buf)==-64014427){break;} }
        for(i=94;i<95;i++){ buf[956]=(byte)i; if(sha1_32(buf)==1140986265){break;} }
        for(i=36;i<41;i++){ buf[957]=(byte)i; if(sha1_32(buf)==-1464455522){break;} }
        for(i=114;i<128;i++){ buf[958]=(byte)i; if(sha1_32(buf)==-26609199){break;} }
        for(i=-71;i<-50;i++){ buf[959]=(byte)i; if(sha1_32(buf)==1742515564){break;} }
        for(i=119;i<128;i++){ buf[960]=(byte)i; if(sha1_32(buf)==-1227817397){break;} }
        for(i=-87;i<-71;i++){ buf[961]=(byte)i; if(sha1_32(buf)==-540641252){break;} }
        for(i=50;i<69;i++){ buf[962]=(byte)i; if(sha1_32(buf)==478660068){break;} }
        for(i=-22;i<-13;i++){ buf[963]=(byte)i; if(sha1_32(buf)==-1451461840){break;} }
        for(i=-76;i<-47;i++){ buf[964]=(byte)i; if(sha1_32(buf)==187316397){break;} }
        for(i=100;i<122;i++){ buf[965]=(byte)i; if(sha1_32(buf)==-690205456){break;} }
        for(i=50;i<76;i++){ buf[966]=(byte)i; if(sha1_32(buf)==2016329829){break;} }
        for(i=-62;i<-47;i++){ buf[967]=(byte)i; if(sha1_32(buf)==601158078){break;} }
        for(i=-27;i<-16;i++){ buf[968]=(byte)i; if(sha1_32(buf)==1657482848){break;} }
        for(i=81;i<96;i++){ buf[969]=(byte)i; if(sha1_32(buf)==-1301841777){break;} }
        for(i=12;i<23;i++){ buf[970]=(byte)i; if(sha1_32(buf)==-1939741581){break;} }
        for(i=60;i<75;i++){ buf[971]=(byte)i; if(sha1_32(buf)==-998124985){break;} }
        for(i=39;i<63;i++){ buf[972]=(byte)i; if(sha1_32(buf)==-709877925){break;} }
        for(i=72;i<91;i++){ buf[973]=(byte)i; if(sha1_32(buf)==507024003){break;} }
        for(i=81;i<87;i++){ buf[974]=(byte)i; if(sha1_32(buf)==-2061956412){break;} }
        for(i=64;i<89;i++){ buf[975]=(byte)i; if(sha1_32(buf)==1543890881){break;} }
        for(i=-128;i<-111;i++){ buf[976]=(byte)i; if(sha1_32(buf)==1786984481){break;} }
        for(i=45;i<61;i++){ buf[977]=(byte)i; if(sha1_32(buf)==-726841468){break;} }
        for(i=-114;i<-103;i++){ buf[978]=(byte)i; if(sha1_32(buf)==908748773){break;} }
        for(i=-31;i<-23;i++){ buf[979]=(byte)i; if(sha1_32(buf)==-542309323){break;} }
        for(i=-22;i<1;i++){ buf[980]=(byte)i; if(sha1_32(buf)==-46647748){break;} }
        for(i=-127;i<-111;i++){ buf[981]=(byte)i; if(sha1_32(buf)==1525555369){break;} }
        for(i=32;i<53;i++){ buf[982]=(byte)i; if(sha1_32(buf)==-1214568900){break;} }
        for(i=-100;i<-91;i++){ buf[983]=(byte)i; if(sha1_32(buf)==765658362){break;} }
        for(i=27;i<46;i++){ buf[984]=(byte)i; if(sha1_32(buf)==-713328019){break;} }
        for(i=-91;i<-71;i++){ buf[985]=(byte)i; if(sha1_32(buf)==1203183230){break;} }
        for(i=-81;i<-64;i++){ buf[986]=(byte)i; if(sha1_32(buf)==-989570065){break;} }
        for(i=53;i<71;i++){ buf[987]=(byte)i; if(sha1_32(buf)==-1706378939){break;} }
        for(i=97;i<106;i++){ buf[988]=(byte)i; if(sha1_32(buf)==46585790){break;} }
        for(i=-69;i<-47;i++){ buf[989]=(byte)i; if(sha1_32(buf)==-192861865){break;} }
        for(i=57;i<73;i++){ buf[990]=(byte)i; if(sha1_32(buf)==-1599902279){break;} }
        for(i=20;i<41;i++){ buf[991]=(byte)i; if(sha1_32(buf)==2020122967){break;} }
        for(i=-30;i<-8;i++){ buf[992]=(byte)i; if(sha1_32(buf)==319136051){break;} }
        for(i=9;i<23;i++){ buf[993]=(byte)i; if(sha1_32(buf)==-1278619520){break;} }
        for(i=-99;i<-73;i++){ buf[994]=(byte)i; if(sha1_32(buf)==-200050534){break;} }
        for(i=6;i<21;i++){ buf[995]=(byte)i; if(sha1_32(buf)==1347101471){break;} }
        for(i=-107;i<-90;i++){ buf[996]=(byte)i; if(sha1_32(buf)==34487722){break;} }
        for(i=99;i<109;i++){ buf[997]=(byte)i; if(sha1_32(buf)==-615509834){break;} }
        for(i=-13;i<-6;i++){ buf[998]=(byte)i; if(sha1_32(buf)==784172573){break;} }
        for(i=98;i<105;i++){ buf[999]=(byte)i; if(sha1_32(buf)==551621207){break;} }
        for(i=-128;i<-118;i++){ buf[1000]=(byte)i; if(sha1_32(buf)==132361205){break;} }
        for(i=-29;i<-13;i++){ buf[1001]=(byte)i; if(sha1_32(buf)==59511882){break;} }
        for(i=-113;i<-95;i++){ buf[1002]=(byte)i; if(sha1_32(buf)==1042370563){break;} }
        for(i=108;i<123;i++){ buf[1003]=(byte)i; if(sha1_32(buf)==-1983019284){break;} }
        for(i=25;i<31;i++){ buf[1004]=(byte)i; if(sha1_32(buf)==1417058590){break;} }
        for(i=-62;i<-49;i++){ buf[1005]=(byte)i; if(sha1_32(buf)==-2073688226){break;} }
        for(i=-19;i<-10;i++){ buf[1006]=(byte)i; if(sha1_32(buf)==323620634){break;} }
        for(i=9;i<38;i++){ buf[1007]=(byte)i; if(sha1_32(buf)==-1565859710){break;} }
        for(i=73;i<91;i++){ buf[1008]=(byte)i; if(sha1_32(buf)==-403617169){break;} }
        for(i=84;i<95;i++){ buf[1009]=(byte)i; if(sha1_32(buf)==887820590){break;} }
        for(i=-31;i<-19;i++){ buf[1010]=(byte)i; if(sha1_32(buf)==1626246718){break;} }
        for(i=40;i<63;i++){ buf[1011]=(byte)i; if(sha1_32(buf)==184582852){break;} }
        for(i=27;i<42;i++){ buf[1012]=(byte)i; if(sha1_32(buf)==-1418311011){break;} }
        for(i=59;i<68;i++){ buf[1013]=(byte)i; if(sha1_32(buf)==1224537086){break;} }
        for(i=30;i<42;i++){ buf[1014]=(byte)i; if(sha1_32(buf)==-458187829){break;} }
        for(i=1;i<32;i++){ buf[1015]=(byte)i; if(sha1_32(buf)==-147692231){break;} }
        for(i=-31;i<-16;i++){ buf[1016]=(byte)i; if(sha1_32(buf)==750794171){break;} }
        for(i=101;i<128;i++){ buf[1017]=(byte)i; if(sha1_32(buf)==1330690010){break;} }
        for(i=76;i<86;i++){ buf[1018]=(byte)i; if(sha1_32(buf)==-1189267671){break;} }
        for(i=92;i<100;i++){ buf[1019]=(byte)i; if(sha1_32(buf)==1390816529){break;} }
        for(i=7;i<33;i++){ buf[1020]=(byte)i; if(sha1_32(buf)==1904955877){break;} }
        for(i=-63;i<-50;i++){ buf[1021]=(byte)i; if(sha1_32(buf)==1360687760){break;} }
        for(i=-128;i<-114;i++){ buf[1022]=(byte)i; if(sha1_32(buf)==652723764){break;} }
        for(i=-15;i<-11;i++){ buf[1023]=(byte)i; if(sha1_32(buf)==711437689){break;} }
        for(i=-97;i<-81;i++){ buf[1024]=(byte)i; if(sha1_32(buf)==1704054997){break;} }
        for(i=-120;i<-109;i++){ buf[1025]=(byte)i; if(sha1_32(buf)==-1658576777){break;} }
        for(i=-59;i<-58;i++){ buf[1026]=(byte)i; if(sha1_32(buf)==-1463579845){break;} }
        for(i=116;i<128;i++){ buf[1027]=(byte)i; if(sha1_32(buf)==-1987583654){break;} }
        for(i=32;i<44;i++){ buf[1028]=(byte)i; if(sha1_32(buf)==383606015){break;} }
        for(i=-12;i<11;i++){ buf[1029]=(byte)i; if(sha1_32(buf)==383606015){break;} }
        for(i=45;i<53;i++){ buf[1030]=(byte)i; if(sha1_32(buf)==-462922030){break;} }
        for(i=104;i<127;i++){ buf[1031]=(byte)i; if(sha1_32(buf)==50911740){break;} }
        for(i=-95;i<-89;i++){ buf[1032]=(byte)i; if(sha1_32(buf)==-1306309808){break;} }
        for(i=54;i<60;i++){ buf[1033]=(byte)i; if(sha1_32(buf)==-921610919){break;} }
        for(i=31;i<46;i++){ buf[1034]=(byte)i; if(sha1_32(buf)==488249586){break;} }
        for(i=34;i<45;i++){ buf[1035]=(byte)i; if(sha1_32(buf)==510162198){break;} }
        for(i=-94;i<-80;i++){ buf[1036]=(byte)i; if(sha1_32(buf)==1951424854){break;} }
        for(i=-16;i<9;i++){ buf[1037]=(byte)i; if(sha1_32(buf)==-140901548){break;} }
        for(i=26;i<50;i++){ buf[1038]=(byte)i; if(sha1_32(buf)==-347551074){break;} }
        for(i=6;i<22;i++){ buf[1039]=(byte)i; if(sha1_32(buf)==-894670644){break;} }
        for(i=76;i<94;i++){ buf[1040]=(byte)i; if(sha1_32(buf)==1419407963){break;} }
        for(i=-67;i<-58;i++){ buf[1041]=(byte)i; if(sha1_32(buf)==-1478684493){break;} }
        for(i=-124;i<-111;i++){ buf[1042]=(byte)i; if(sha1_32(buf)==-1921008904){break;} }
        for(i=57;i<68;i++){ buf[1043]=(byte)i; if(sha1_32(buf)==-1515361310){break;} }
        for(i=-78;i<-59;i++){ buf[1044]=(byte)i; if(sha1_32(buf)==-1485232768){break;} }
        for(i=12;i<31;i++){ buf[1045]=(byte)i; if(sha1_32(buf)==-400851789){break;} }
        for(i=4;i<19;i++){ buf[1046]=(byte)i; if(sha1_32(buf)==-776508627){break;} }
        for(i=58;i<81;i++){ buf[1047]=(byte)i; if(sha1_32(buf)==-470757692){break;} }
        for(i=48;i<58;i++){ buf[1048]=(byte)i; if(sha1_32(buf)==1628455011){break;} }
        for(i=40;i<63;i++){ buf[1049]=(byte)i; if(sha1_32(buf)==-1652950371){break;} }
        for(i=-100;i<-83;i++){ buf[1050]=(byte)i; if(sha1_32(buf)==-860360771){break;} }
        for(i=2;i<9;i++){ buf[1051]=(byte)i; if(sha1_32(buf)==-686425084){break;} }
        for(i=-128;i<-109;i++){ buf[1052]=(byte)i; if(sha1_32(buf)==1345386552){break;} }
        for(i=118;i<126;i++){ buf[1053]=(byte)i; if(sha1_32(buf)==-675185626){break;} }
        for(i=76;i<97;i++){ buf[1054]=(byte)i; if(sha1_32(buf)==845047838){break;} }
        for(i=-91;i<-73;i++){ buf[1055]=(byte)i; if(sha1_32(buf)==1272956215){break;} }
        for(i=-128;i<-107;i++){ buf[1056]=(byte)i; if(sha1_32(buf)==-1656553789){break;} }
        for(i=7;i<20;i++){ buf[1057]=(byte)i; if(sha1_32(buf)==326455824){break;} }
        for(i=-26;i<-21;i++){ buf[1058]=(byte)i; if(sha1_32(buf)==-716969567){break;} }
        for(i=-84;i<-73;i++){ buf[1059]=(byte)i; if(sha1_32(buf)==809985850){break;} }
        for(i=93;i<104;i++){ buf[1060]=(byte)i; if(sha1_32(buf)==494439608){break;} }
        for(i=33;i<47;i++){ buf[1061]=(byte)i; if(sha1_32(buf)==1885115018){break;} }
        for(i=5;i<21;i++){ buf[1062]=(byte)i; if(sha1_32(buf)==853086729){break;} }
        for(i=-91;i<-69;i++){ buf[1063]=(byte)i; if(sha1_32(buf)==-779662329){break;} }
        for(i=101;i<121;i++){ buf[1064]=(byte)i; if(sha1_32(buf)==1525829487){break;} }
        for(i=69;i<82;i++){ buf[1065]=(byte)i; if(sha1_32(buf)==859352761){break;} }
        for(i=4;i<28;i++){ buf[1066]=(byte)i; if(sha1_32(buf)==-1862124876){break;} }
        for(i=19;i<49;i++){ buf[1067]=(byte)i; if(sha1_32(buf)==-898681370){break;} }
        for(i=-50;i<-29;i++){ buf[1068]=(byte)i; if(sha1_32(buf)==-216652426){break;} }
        for(i=-28;i<-11;i++){ buf[1069]=(byte)i; if(sha1_32(buf)==-198937874){break;} }
        for(i=-42;i<-32;i++){ buf[1070]=(byte)i; if(sha1_32(buf)==-772949341){break;} }
        for(i=113;i<128;i++){ buf[1071]=(byte)i; if(sha1_32(buf)==445622688){break;} }
        for(i=99;i<117;i++){ buf[1072]=(byte)i; if(sha1_32(buf)==331807794){break;} }
        for(i=62;i<71;i++){ buf[1073]=(byte)i; if(sha1_32(buf)==43400180){break;} }
        for(i=-83;i<-74;i++){ buf[1074]=(byte)i; if(sha1_32(buf)==-323488646){break;} }
        for(i=-75;i<-68;i++){ buf[1075]=(byte)i; if(sha1_32(buf)==1656759269){break;} }
        for(i=49;i<74;i++){ buf[1076]=(byte)i; if(sha1_32(buf)==-239356816){break;} }
        for(i=-118;i<-98;i++){ buf[1077]=(byte)i; if(sha1_32(buf)==-432002762){break;} }
        for(i=46;i<72;i++){ buf[1078]=(byte)i; if(sha1_32(buf)==204562895){break;} }
        for(i=19;i<35;i++){ buf[1079]=(byte)i; if(sha1_32(buf)==1763574706){break;} }
        for(i=64;i<84;i++){ buf[1080]=(byte)i; if(sha1_32(buf)==1310152307){break;} }
        for(i=68;i<83;i++){ buf[1081]=(byte)i; if(sha1_32(buf)==843517270){break;} }
        for(i=-15;i<3;i++){ buf[1082]=(byte)i; if(sha1_32(buf)==843517270){break;} }
        for(i=-11;i<11;i++){ buf[1083]=(byte)i; if(sha1_32(buf)==1579625856){break;} }
        for(i=-59;i<-44;i++){ buf[1084]=(byte)i; if(sha1_32(buf)==315981601){break;} }
        for(i=-93;i<-74;i++){ buf[1085]=(byte)i; if(sha1_32(buf)==1458176262){break;} }
        for(i=86;i<113;i++){ buf[1086]=(byte)i; if(sha1_32(buf)==-797150448){break;} }
        for(i=6;i<34;i++){ buf[1087]=(byte)i; if(sha1_32(buf)==-724165204){break;} }
        for(i=56;i<73;i++){ buf[1088]=(byte)i; if(sha1_32(buf)==1905822747){break;} }
        for(i=50;i<74;i++){ buf[1089]=(byte)i; if(sha1_32(buf)==-1038693119){break;} }
        for(i=62;i<76;i++){ buf[1090]=(byte)i; if(sha1_32(buf)==-276332708){break;} }
        for(i=88;i<107;i++){ buf[1091]=(byte)i; if(sha1_32(buf)==-1219026255){break;} }
        for(i=-30;i<-12;i++){ buf[1092]=(byte)i; if(sha1_32(buf)==461377773){break;} }
        for(i=-38;i<-19;i++){ buf[1093]=(byte)i; if(sha1_32(buf)==-1946311449){break;} }
        for(i=-124;i<-112;i++){ buf[1094]=(byte)i; if(sha1_32(buf)==-398313862){break;} }
        for(i=-94;i<-72;i++){ buf[1095]=(byte)i; if(sha1_32(buf)==1136224582){break;} }
        for(i=-20;i<5;i++){ buf[1096]=(byte)i; if(sha1_32(buf)==1333851205){break;} }
        for(i=111;i<126;i++){ buf[1097]=(byte)i; if(sha1_32(buf)==1113752366){break;} }
        for(i=-78;i<-69;i++){ buf[1098]=(byte)i; if(sha1_32(buf)==-1329629214){break;} }
        for(i=-68;i<-57;i++){ buf[1099]=(byte)i; if(sha1_32(buf)==175477289){break;} }
        for(i=-93;i<-66;i++){ buf[1100]=(byte)i; if(sha1_32(buf)==1099791376){break;} }
        for(i=25;i<39;i++){ buf[1101]=(byte)i; if(sha1_32(buf)==-932240723){break;} }
        for(i=-61;i<-48;i++){ buf[1102]=(byte)i; if(sha1_32(buf)==1952755140){break;} }
        for(i=-116;i<-99;i++){ buf[1103]=(byte)i; if(sha1_32(buf)==1518557842){break;} }
        for(i=-48;i<-45;i++){ buf[1104]=(byte)i; if(sha1_32(buf)==-188516407){break;} }
        for(i=-58;i<-45;i++){ buf[1105]=(byte)i; if(sha1_32(buf)==120186355){break;} }
        for(i=14;i<24;i++){ buf[1106]=(byte)i; if(sha1_32(buf)==-562156914){break;} }
        for(i=57;i<59;i++){ buf[1107]=(byte)i; if(sha1_32(buf)==1636003756){break;} }
        for(i=20;i<34;i++){ buf[1108]=(byte)i; if(sha1_32(buf)==-1591430659){break;} }
        for(i=8;i<25;i++){ buf[1109]=(byte)i; if(sha1_32(buf)==1241949228){break;} }
        for(i=16;i<32;i++){ buf[1110]=(byte)i; if(sha1_32(buf)==1310875976){break;} }
        for(i=50;i<62;i++){ buf[1111]=(byte)i; if(sha1_32(buf)==929303268){break;} }
        for(i=51;i<55;i++){ buf[1112]=(byte)i; if(sha1_32(buf)==-1114405666){break;} }
        for(i=-22;i<4;i++){ buf[1113]=(byte)i; if(sha1_32(buf)==-1038121532){break;} }
        for(i=-11;i<1;i++){ buf[1114]=(byte)i; if(sha1_32(buf)==-1016363066){break;} }
        for(i=41;i<50;i++){ buf[1115]=(byte)i; if(sha1_32(buf)==-2065938895){break;} }
        for(i=79;i<92;i++){ buf[1116]=(byte)i; if(sha1_32(buf)==-728031456){break;} }
        for(i=4;i<25;i++){ buf[1117]=(byte)i; if(sha1_32(buf)==1569028452){break;} }
        for(i=16;i<33;i++){ buf[1118]=(byte)i; if(sha1_32(buf)==139135791){break;} }
        for(i=-20;i<5;i++){ buf[1119]=(byte)i; if(sha1_32(buf)==-1622543646){break;} }
        for(i=-27;i<-20;i++){ buf[1120]=(byte)i; if(sha1_32(buf)==-193941192){break;} }
        for(i=-17;i<8;i++){ buf[1121]=(byte)i; if(sha1_32(buf)==1351560761){break;} }
        for(i=9;i<22;i++){ buf[1122]=(byte)i; if(sha1_32(buf)==-1879004247){break;} }
        for(i=-36;i<-17;i++){ buf[1123]=(byte)i; if(sha1_32(buf)==-1355192148){break;} }
        for(i=30;i<42;i++){ buf[1124]=(byte)i; if(sha1_32(buf)==1059355042){break;} }
        for(i=97;i<114;i++){ buf[1125]=(byte)i; if(sha1_32(buf)==2134255729){break;} }
        for(i=-28;i<-14;i++){ buf[1126]=(byte)i; if(sha1_32(buf)==-1915994378){break;} }
        for(i=10;i<41;i++){ buf[1127]=(byte)i; if(sha1_32(buf)==1043660523){break;} }
        for(i=-17;i<3;i++){ buf[1128]=(byte)i; if(sha1_32(buf)==-2144220713){break;} }
        for(i=92;i<95;i++){ buf[1129]=(byte)i; if(sha1_32(buf)==-2071773539){break;} }
        for(i=116;i<128;i++){ buf[1130]=(byte)i; if(sha1_32(buf)==636476548){break;} }
        for(i=95;i<110;i++){ buf[1131]=(byte)i; if(sha1_32(buf)==376269021){break;} }
        for(i=53;i<64;i++){ buf[1132]=(byte)i; if(sha1_32(buf)==1455462665){break;} }
        for(i=95;i<105;i++){ buf[1133]=(byte)i; if(sha1_32(buf)==1293101051){break;} }
        for(i=-86;i<-62;i++){ buf[1134]=(byte)i; if(sha1_32(buf)==-841004794){break;} }
        for(i=-65;i<-48;i++){ buf[1135]=(byte)i; if(sha1_32(buf)==-584789006){break;} }
        for(i=9;i<15;i++){ buf[1136]=(byte)i; if(sha1_32(buf)==1412021246){break;} }
        for(i=-100;i<-85;i++){ buf[1137]=(byte)i; if(sha1_32(buf)==579477814){break;} }
        for(i=63;i<86;i++){ buf[1138]=(byte)i; if(sha1_32(buf)==-1259869493){break;} }
        for(i=104;i<128;i++){ buf[1139]=(byte)i; if(sha1_32(buf)==295903531){break;} }
        for(i=-110;i<-100;i++){ buf[1140]=(byte)i; if(sha1_32(buf)==1558464713){break;} }
        for(i=62;i<80;i++){ buf[1141]=(byte)i; if(sha1_32(buf)==-1512190905){break;} }
        for(i=-119;i<-100;i++){ buf[1142]=(byte)i; if(sha1_32(buf)==38339218){break;} }
        for(i=-116;i<-102;i++){ buf[1143]=(byte)i; if(sha1_32(buf)==1724319460){break;} }
        for(i=108;i<127;i++){ buf[1144]=(byte)i; if(sha1_32(buf)==-1208829345){break;} }
        for(i=-114;i<-93;i++){ buf[1145]=(byte)i; if(sha1_32(buf)==1275461618){break;} }
        for(i=67;i<80;i++){ buf[1146]=(byte)i; if(sha1_32(buf)==-581588996){break;} }
        for(i=-108;i<-102;i++){ buf[1147]=(byte)i; if(sha1_32(buf)==450865730){break;} }
        for(i=-97;i<-84;i++){ buf[1148]=(byte)i; if(sha1_32(buf)==-343590921){break;} }
        for(i=49;i<65;i++){ buf[1149]=(byte)i; if(sha1_32(buf)==121576366){break;} }
        for(i=31;i<49;i++){ buf[1150]=(byte)i; if(sha1_32(buf)==-1027854761){break;} }
        for(i=41;i<68;i++){ buf[1151]=(byte)i; if(sha1_32(buf)==1994865650){break;} }
        for(i=30;i<46;i++){ buf[1152]=(byte)i; if(sha1_32(buf)==907784579){break;} }
        for(i=-128;i<-112;i++){ buf[1153]=(byte)i; if(sha1_32(buf)==-201392739){break;} }
        for(i=27;i<46;i++){ buf[1154]=(byte)i; if(sha1_32(buf)==-40233276){break;} }
        for(i=-128;i<-111;i++){ buf[1155]=(byte)i; if(sha1_32(buf)==-1623574606){break;} }
        for(i=106;i<119;i++){ buf[1156]=(byte)i; if(sha1_32(buf)==-898098){break;} }
        for(i=-28;i<-10;i++){ buf[1157]=(byte)i; if(sha1_32(buf)==1007943545){break;} }
        for(i=-75;i<-62;i++){ buf[1158]=(byte)i; if(sha1_32(buf)==2122478567){break;} }
        for(i=-50;i<-44;i++){ buf[1159]=(byte)i; if(sha1_32(buf)==40261269){break;} }
        for(i=-81;i<-69;i++){ buf[1160]=(byte)i; if(sha1_32(buf)==344879543){break;} }
        for(i=16;i<37;i++){ buf[1161]=(byte)i; if(sha1_32(buf)==-1625168911){break;} }
        for(i=100;i<115;i++){ buf[1162]=(byte)i; if(sha1_32(buf)==600507955){break;} }
        for(i=-119;i<-91;i++){ buf[1163]=(byte)i; if(sha1_32(buf)==-103995753){break;} }
        for(i=-4;i<0;i++){ buf[1164]=(byte)i; if(sha1_32(buf)==-723363169){break;} }
        for(i=-59;i<-39;i++){ buf[1165]=(byte)i; if(sha1_32(buf)==1184717549){break;} }
        for(i=51;i<52;i++){ buf[1166]=(byte)i; if(sha1_32(buf)==1609483458){break;} }
        for(i=-55;i<-29;i++){ buf[1167]=(byte)i; if(sha1_32(buf)==802884938){break;} }
        for(i=-90;i<-63;i++){ buf[1168]=(byte)i; if(sha1_32(buf)==1298269860){break;} }
        for(i=-80;i<-60;i++){ buf[1169]=(byte)i; if(sha1_32(buf)==-1341385414){break;} }
        for(i=88;i<114;i++){ buf[1170]=(byte)i; if(sha1_32(buf)==-1191210553){break;} }
        return buf;
    }
}