compiler-rt/test/fuzzer/MultipleConstraintsOnSmallInputTest.cpp

   1 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   2 // See https://llvm.org/LICENSE.txt for license information.
   3 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   4 //
   5 // echo -en 'Im_so_cute&pretty_:)' > crash
   6 //
   7 #include <stddef.h>
   8 #include <stdint.h>
   9 #include <stdlib.h>
  10 #include <stdio.h>
  11
  12 // Force noinline, as this test might be interesting for experimenting with
  13 // data flow tracing approach started in https://reviews.llvm.org/D46666.
  14 __attribute__((noinline))
  15 int func1(uint8_t a1, uint8_t a2) {
  16   char v = (a1 ^ a2);
  17   if ( v <= 15 )
  18     return 0;
  19   return 1;
  20 }
  21
  22 __attribute__((noinline))
  23 int func2(uint8_t a1, uint8_t a2) {
  24   char v = (a1 & a2);
  25   if ( v > 80 )
  26     return 0;
  27   return 1;
  28 }
  29
  30 __attribute__((noinline))
  31 int func3(uint8_t a1, uint8_t a2) {
  32   char v = (a1 & a2);
  33   if ( v > 48 )
  34     return 0;
  35   return 1;
  36 }
  37
  38 __attribute__((noinline))
  39 int func4(uint8_t a1, uint8_t a2, uint8_t a3) {
  40   char v = ((a1 & a2)) ^ a3;
  41   if ( v > 44 )
  42     return 0;
  43   return 1;
  44 }
  45
  46 __attribute__((noinline))
  47 int func5(uint8_t a1, uint8_t a2) {
  48   char v = (a1 & a2);
  49   if ( v <= 72 )
  50     return 0;
  51   return 1;
  52 }
  53
  54 __attribute__((noinline))
  55 int func6(uint8_t a1, uint8_t a2) {
  56   char v = (a1 & a2);
  57   if ( v <= 72 )
  58     return 0;
  59   return 1;
  60 }
  61
  62 __attribute__((noinline))
  63 int func7(uint8_t a1, uint8_t a2) {
  64   char v = (a1 ^ a2);
  65   if ( v <= 43 )
  66     return 0;
  67   return 1;
  68 }
  69
  70 __attribute__((noinline))
  71 int func8(uint8_t a1, uint8_t a2) {
  72   char v = (a1 ^ a2);
  73   if ( v <= 66 )
  74     return 0;
  75   return 1;
  76 }
  77
  78 __attribute__((noinline))
  79 int func9(uint8_t a1, uint8_t a2) {
  80   char v = (a1 ^ a2);
  81   if ( v > 16 )
  82     return 0;
  83   return 1;
  84 }
  85
  86 __attribute__((noinline))
  87 int func10(uint8_t a1, uint8_t a2) {
  88   char v = (a1 ^ a2);
  89   if ( v > 83 )
  90     return 0;
  91   return 1;
  92 }
  93
  94 __attribute__((noinline))
  95 int func11(uint8_t a1, uint8_t a2) {
  96   char v = (a1 ^ a2);
  97   if ( v <= 117 )
  98     return 0;
  99   return 1;
 100 }
 101
 102 __attribute__((noinline))
 103 int func12(uint8_t a1, uint8_t a2) {
 104   char v = a1 | a2;
 105   if ( v <= 16 )
 106     return 0;
 107   return 1;
 108 }
 109
 110 __attribute__((noinline))
 111 int func13(uint8_t a1, uint8_t a2) {
 112   char v = (a1 & a2);
 113   if ( v <= 80 )
 114     return 0;
 115   return 1;
 116 }
 117
 118 __attribute__((noinline))
 119 int func14(uint8_t a1) {
 120   char v = ~a1;
 121   if ( v > 1 )
 122     return 0;
 123   return 1;
 124 }
 125
 126 __attribute__((noinline))
 127 int func15(uint8_t a1, uint8_t a2) {
 128   char v = a1 | a2;
 129   if ( v <= 116 )
 130     return 0;
 131   return 1;
 132 }
 133
 134 __attribute__((noinline))
 135 int func16(uint8_t a1) {
 136   char v = a1 >> 5;
 137   if ( v <= 0 )
 138     return 0;
 139   return 1;
 140 }
 141
 142 __attribute__((noinline))
 143 int func17(uint8_t a1) {
 144   char v = ~a1;
 145   if ( v > 1 )
 146     return 0;
 147   return 1;
 148 }
 149
 150 __attribute__((noinline))
 151 int func18(uint8_t a1, uint8_t a2) {
 152   char v = (a1 ^ a2);
 153   if ( v <= 28 )
 154     return 0;
 155   return 1;
 156 }
 157
 158 __attribute__((noinline))
 159 int func19(uint8_t a1, uint8_t a2) {
 160   char v = (a1 ^ a2);
 161   if ( v > 18 )
 162     return 0;
 163   return 1;
 164 }
 165
 166 __attribute__((noinline))
 167 int func20(uint8_t a1, uint8_t a2) {
 168   char v = (a1 & a2);
 169   if ( v <= 47 )
 170     return 0;
 171   return 1;
 172 }
 173
 174 __attribute__((noinline))
 175 int func21(uint8_t a1, uint8_t a2, uint8_t a3) {
 176   char v = (((a1 ^ a2))) & a3;
 177   if ( v > 108 )
 178     return 0;
 179   return 1;
 180 }
 181
 182 __attribute__((noinline))
 183 int func22(uint8_t a1) {
 184   char v = ~a1;
 185   if ( v > 1 )
 186     return 0;
 187   return 1;
 188 }
 189
 190 __attribute__((noinline))
 191 int func23(uint8_t a1, uint8_t a2) {
 192   char v = (a1 ^ a2);
 193   if ( v <= 7 )
 194     return 0;
 195   return 1;
 196 }
 197
 198 __attribute__((noinline))
 199 int func24(uint8_t a1) {
 200   char v = (char)a1 >> 1;
 201   if ( v <= 25 )
 202     return 0;
 203   return 1;
 204 }
 205
 206 __attribute__((noinline))
 207 int func25(uint8_t a1) {
 208   char v = ~a1;
 209   if ( v > 1 )
 210     return 0;
 211   return 1;
 212 }
 213
 214 __attribute__((noinline))
 215 int func26(uint8_t a1, uint8_t a2) {
 216   char v = (a1 & a2);
 217   if ( v <= 41 )
 218     return 0;
 219   return 1;
 220 }
 221
 222 __attribute__((noinline))
 223 int func27(uint8_t a1) {
 224   char v = (char)a1 >> 1;
 225   if ( v <= 14 )
 226     return 0;
 227   return 1;
 228 }
 229
 230 __attribute__((noinline))
 231 int func28(uint8_t a1) {
 232   char v = ~a1;
 233   if ( v > 1 )
 234     return 0;
 235   return 1;
 236 }
 237
 238 __attribute__((noinline))
 239 int func29(uint8_t a1) {
 240   char v = a1 >> 5;
 241   if ( v > 48 )
 242     return 0;
 243   return 1;
 244 }
 245
 246 __attribute__((noinline))
 247 int func30(uint8_t a1) {
 248   char v = ~a1;
 249   if ( v > 1 )
 250     return 0;
 251   return 1;
 252 }
 253
 254 __attribute__((noinline))
 255 int func31(uint8_t a1, uint8_t a2) {
 256   char v = (a1 ^ a2);
 257   if ( v > 45 )
 258     return 0;
 259   return 1;
 260 }
 261
 262 __attribute__((noinline))
 263 int func32(uint8_t a1, uint8_t a2) {
 264   char v = (a1 & a2);
 265   if ( v <= 0 )
 266     return 0;
 267   return 1;
 268 }
 269
 270 __attribute__((noinline))
 271 int func33(uint8_t a1) {
 272   char v = ~a1;
 273   if ( v > 1 )
 274     return 0;
 275   return 1;
 276 }
 277
 278 __attribute__((noinline))
 279 int func34(uint8_t a1, uint8_t a2) {
 280   char v = (a1 ^ a2);
 281   if ( v <= 95 )
 282     return 0;
 283   return 1;
 284 }
 285
 286 __attribute__((noinline))
 287 int func35(uint8_t a1) {
 288   char v = a1 >> 5;
 289   if ( v > 12 )
 290     return 0;
 291   return 1;
 292 }
 293
 294 __attribute__((noinline))
 295 int func36(uint8_t a1, uint8_t a2) {
 296   char v = a1 | a2;
 297   if ( v <= 121 )
 298     return 0;
 299   return 1;
 300 }
 301
 302 __attribute__((noinline))
 303 int func37(uint8_t a1) {
 304   char v = ~a1;
 305   if ( v > 1 )
 306     return 0;
 307   return 1;
 308 }
 309
 310 __attribute__((noinline))
 311 int func38(uint8_t a1, uint8_t a2) {
 312   char v = (a1 & a2);
 313   if ( v <= 61 )
 314     return 0;
 315   return 1;
 316 }
 317
 318 __attribute__((noinline))
 319 int func39(uint8_t a1, uint8_t a2) {
 320   char v = (a1 ^ a2);
 321   if ( v > 94 )
 322     return 0;
 323   return 1;
 324 }
 325
 326 __attribute__((noinline))
 327 int func40(uint8_t a1, uint8_t a2) {
 328   char v = (a1 ^ a2);
 329   if ( v > 125 )
 330     return 0;
 331   return 1;
 332 }
 333
 334 __attribute__((noinline))
 335 int func41(uint8_t a1, uint8_t a2) {
 336   char v = (a1 & a2);
 337   if ( v <= 0 )
 338     return 0;
 339   return 1;
 340 }
 341
 342 __attribute__((noinline))
 343 int func42(uint8_t a1, uint8_t a2, uint8_t a3) {
 344   char v = (((a1 ^ a2))) & a3;
 345   if ( v > 66 )
 346     return 0;
 347   return 1;
 348 }
 349
 350 __attribute__((noinline))
 351 int func43(uint8_t a1) {
 352   char v = ~a1;
 353   if ( v > 1 )
 354     return 0;
 355   return 1;
 356 }
 357
 358 __attribute__((noinline))
 359 int func44(uint8_t a1) {
 360   char v = a1 >> 5;
 361   if ( v <= 0 )
 362     return 0;
 363   return 1;
 364 }
 365
 366 __attribute__((noinline))
 367 int func45(uint8_t a1) {
 368   char v = ~a1;
 369   if ( v > 1 )
 370     return 0;
 371   return 1;
 372 }
 373
 374 __attribute__((noinline))
 375 int func46(uint8_t a1, uint8_t a2) {
 376   char v = (a1 ^ a2);
 377   if ( v > 106 )
 378     return 0;
 379   return 1;
 380 }
 381
 382 __attribute__((noinline))
 383 int func47(uint8_t a1, uint8_t a2) {
 384   char v = (a1 & a2);
 385   if ( v <= 33 )
 386     return 0;
 387   return 1;
 388 }
 389
 390 __attribute__((noinline))
 391 int func48(uint8_t a1, uint8_t a2) {
 392   char v = a1 | a2;
 393   if ( v <= 118 )
 394     return 0;
 395   return 1;
 396 }
 397
 398 __attribute__((noinline))
 399 int func49(uint8_t a1, uint8_t a2) {
 400   char v = (a1 & a2);
 401   if ( v > 58 )
 402     return 0;
 403   return 1;
 404 }
 405
 406 __attribute__((noinline))
 407 int func50(uint8_t a1, uint8_t a2) {
 408   char v = (a1 ^ a2);
 409   if ( v <= 42 )
 410     return 0;
 411   return 1;
 412 }
 413
 414 __attribute__((noinline))
 415 int func51(uint8_t a1, uint8_t a2) {
 416   char v = (a1 ^ a2);
 417   if ( v <= 46 )
 418     return 0;
 419   return 1;
 420 }
 421
 422 __attribute__((noinline))
 423 int func52(uint8_t a1, uint8_t a2) {
 424   char v = (a1 & a2);
 425   if ( v <= 94 )
 426     return 0;
 427   return 1;
 428 }
 429
 430 __attribute__((noinline))
 431 int func53(uint8_t a1, uint8_t a2) {
 432   char v = (a1 ^ a2);
 433   if ( v <= 66 )
 434     return 0;
 435   return 1;
 436 }
 437
 438 __attribute__((noinline))
 439 int func54(uint8_t a1, uint8_t a2) {
 440   char v = (a1 ^ a2);
 441   if ( v <= 23 )
 442     return 0;
 443   return 1;
 444 }
 445
 446 __attribute__((noinline))
 447 int func55(uint8_t a1, uint8_t a2) {
 448   char v = (a1 & a2);
 449   if ( v <= 17 )
 450     return 0;
 451   return 1;
 452 }
 453
 454 __attribute__((noinline))
 455 int func56(uint8_t a1, uint8_t a2) {
 456   char v = (a1 & a2);
 457   if ( v > 90 )
 458     return 0;
 459   return 1;
 460 }
 461
 462 __attribute__((noinline))
 463 int func57(uint8_t a1, uint8_t a2) {
 464   char v = (a1 ^ a2);
 465   if ( v > 63 )
 466     return 0;
 467   return 1;
 468 }
 469
 470 __attribute__((noinline))
 471 int func58(uint8_t a1, uint8_t a2) {
 472   char v = (a1 & a2);
 473   if ( v > 102 )
 474     return 0;
 475   return 1;
 476 }
 477
 478 __attribute__((noinline))
 479 int func59(uint8_t a1, uint8_t a2) {
 480   char v = (a1 & a2);
 481   if ( v <= 49 )
 482     return 0;
 483   return 1;
 484 }
 485
 486 __attribute__((noinline))
 487 int func60(uint8_t a1, uint8_t a2) {
 488   char v = (a1 ^ a2);
 489   if ( v > 26 )
 490     return 0;
 491   return 1;
 492 }
 493
 494 __attribute__((noinline))
 495 int func61(uint8_t a1, uint8_t a2) {
 496   char v = (a1 ^ a2);
 497   if ( v > 55 )
 498     return 0;
 499   return 1;
 500 }
 501
 502 __attribute__((noinline))
 503 int func62(uint8_t a1, uint8_t a2) {
 504   char v = (a1 & a2);
 505   if ( v > 103 )
 506     return 0;
 507   return 1;
 508 }
 509
 510 __attribute__((noinline))
 511 int func63(uint8_t a1, uint8_t a2) {
 512   char v = (a1 & a2);
 513   if ( v <= 0 )
 514     return 0;
 515   return 1;
 516 }
 517
 518 __attribute__((noinline))
 519 int func64(uint8_t a1, uint8_t a2) {
 520   char v = (a1 ^ a2);
 521   if ( v <= 34 )
 522     return 0;
 523   return 1;
 524 }
 525
 526 __attribute__((noinline))
 527 int func65(uint8_t a1, uint8_t a2) {
 528   char v = (a1 & a2);
 529   if ( v > 90 )
 530     return 0;
 531   return 1;
 532 }
 533
 534 __attribute__((noinline))
 535 int func66(uint8_t a1, uint8_t a2) {
 536   char v = (a1 ^ a2);
 537   if ( v > 4 )
 538     return 0;
 539   return 1;
 540 }
 541
 542 __attribute__((noinline))
 543 int func67(uint8_t a1, uint8_t a2) {
 544   char v = (a1 ^ a2);
 545   if ( v > 50 )
 546     return 0;
 547   return 1;
 548 }
 549
 550 __attribute__((noinline))
 551 int func68(uint8_t a1, uint8_t a2) {
 552   char v = (a1 & a2);
 553   if ( v <= 37 )
 554     return 0;
 555   return 1;
 556 }
 557
 558 __attribute__((noinline))
 559 int func69(uint8_t a1, uint8_t a2) {
 560   char v = (a1 ^ a2);
 561   if ( v > 48 )
 562     return 0;
 563   return 1;
 564 }
 565
 566 __attribute__((noinline))
 567 int func70(uint8_t a1) {
 568   char v = a1 << 6;
 569   if ( v > 1 )
 570     return 0;
 571   return 1;
 572 }
 573
 574 __attribute__((noinline))
 575 int func71(uint8_t a1, uint8_t a2) {
 576   char v = a1 | a2;
 577   if ( v <= 85 )
 578     return 0;
 579   return 1;
 580 }
 581
 582 __attribute__((noinline))
 583 int func72(uint8_t a1, uint8_t a2) {
 584   char v = (a1 ^ a2);
 585   if ( v <= 66 )
 586     return 0;
 587   return 1;
 588 }
 589
 590 __attribute__((noinline))
 591 int func73(uint8_t a1, uint8_t a2) {
 592   char v = (a1 & a2);
 593   if ( v <= 30 )
 594     return 0;
 595   return 1;
 596 }
 597
 598 __attribute__((noinline))
 599 int func74(uint8_t a1, uint8_t a2) {
 600   char v = (a1 ^ a2);
 601   if ( v > 118 )
 602     return 0;
 603   return 1;
 604 }
 605
 606 __attribute__((noinline))
 607 int func75(uint8_t a1, uint8_t a2, uint8_t a3) {
 608   char v = ((a1 & a2)) | a3;
 609   if ( v <= 59 )
 610     return 0;
 611   return 1;
 612 }
 613
 614 __attribute__((noinline))
 615 int func76(uint8_t a1, uint8_t a2) {
 616   char v = (a1 ^ a2);
 617   if ( v <= 94 )
 618     return 0;
 619   return 1;
 620 }
 621
 622 __attribute__((noinline))
 623 int func77(uint8_t a1, uint8_t a2) {
 624   char v = (a1 & a2);
 625   if ( v <= 30 )
 626     return 0;
 627   return 1;
 628 }
 629
 630 __attribute__((noinline))
 631 int func78(uint8_t a1, uint8_t a2) {
 632   char v = (a1 ^ a2);
 633   if ( v > 32 )
 634     return 0;
 635   return 1;
 636 }
 637
 638 __attribute__((noinline))
 639 int func79(uint8_t a1) {
 640   char v = 16 * a1;
 641   if ( v > 1 )
 642     return 0;
 643   return 1;
 644 }
 645
 646 __attribute__((noinline))
 647 int func80(uint8_t a1, uint8_t a2, uint8_t a3) {
 648   char v = ((a1 ^ a2)) | a3;
 649   if ( v <= 94 )
 650     return 0;
 651   return 1;
 652 }
 653
 654 __attribute__((noinline))
 655 int func81(uint8_t a1, uint8_t a2) {
 656   char v = a1 | a2;
 657   if ( v > 120 )
 658     return 0;
 659   return 1;
 660 }
 661
 662 __attribute__((noinline))
 663 int func82(uint8_t a1, uint8_t a2) {
 664   char v = (a1 & a2);
 665   if ( v > 81 )
 666     return 0;
 667   return 1;
 668 }
 669
 670 __attribute__((noinline))
 671 int func83(uint8_t a1, uint8_t a2) {
 672   char v = a1 | a2;
 673   if ( v > 119 )
 674     return 0;
 675   return 1;
 676 }
 677
 678 __attribute__((noinline))
 679 int func84(uint8_t a1, uint8_t a2) {
 680   char v = (a1 ^ a2);
 681   if ( v <= 16 )
 682     return 0;
 683   return 1;
 684 }
 685
 686 __attribute__((noinline))
 687 int func85(uint8_t a1) {
 688   char v = 2 * a1;
 689   if ( v > 1 )
 690     return 0;
 691   return 1;
 692 }
 693
 694 __attribute__((noinline))
 695 int func86(uint8_t a1, uint8_t a2) {
 696   char v = a1 | a2;
 697   if ( v <= 66 )
 698     return 0;
 699   return 1;
 700 }
 701
 702 __attribute__((noinline))
 703 int func87(uint8_t a1, uint8_t a2) {
 704   char v = (a1 & a2);
 705   if ( v <= 84 )
 706     return 0;
 707   return 1;
 708 }
 709
 710 __attribute__((noinline))
 711 int func88(uint8_t a1, uint8_t a2) {
 712   char v = (a1 & a2);
 713   if ( v > 118 )
 714     return 0;
 715   return 1;
 716 }
 717
 718 __attribute__((noinline))
 719 int func89(uint8_t a1, uint8_t a2) {
 720   char v = (a1 ^ a2);
 721   if ( v > 47 )
 722     return 0;
 723   return 1;
 724 }
 725
 726 __attribute__((noinline))
 727 int func90(uint8_t a1, uint8_t a2) {
 728   char v = a1 | a2;
 729   if ( v <= 60 )
 730     return 0;
 731   return 1;
 732 }
 733
 734 __attribute__((noinline))
 735 int func91(uint8_t a1, uint8_t a2) {
 736   char v = (a1 & a2);
 737   if ( v <= 13 )
 738     return 0;
 739   return 1;
 740 }
 741
 742 __attribute__((noinline))
 743 int func92(uint8_t a1, uint8_t a2) {
 744   char v = (a1 ^ a2);
 745   if ( v <= 38 )
 746     return 0;
 747   return 1;
 748 }
 749
 750 __attribute__((noinline))
 751 int func93(uint8_t a1, uint8_t a2) {
 752   char v = (a1 ^ a2);
 753   if ( v > 67 )
 754     return 0;
 755   return 1;
 756 }
 757
 758 __attribute__((noinline))
 759 int func94(uint8_t a1) {
 760   char v = 16 * a1;
 761   if ( v > 1 )
 762     return 0;
 763   return 1;
 764 }
 765
 766 __attribute__((noinline))
 767 int func95(uint8_t a1, uint8_t a2) {
 768   char v = a1 | a2;
 769   if ( v <= 94 )
 770     return 0;
 771   return 1;
 772 }
 773
 774 __attribute__((noinline))
 775 int func96(uint8_t a1, uint8_t a2) {
 776   char v = (a1 & a2);
 777   if ( v > 67 )
 778     return 0;
 779   return 1;
 780 }
 781
 782 __attribute__((noinline))
 783 int func97(uint8_t a1, uint8_t a2) {
 784   char v = (a1 & a2);
 785   if ( v > 48 )
 786     return 0;
 787   return 1;
 788 }
 789
 790 __attribute__((noinline))
 791 int func98(uint8_t a1, uint8_t a2) {
 792   char v = (a1 ^ a2);
 793   if ( v > 102 )
 794     return 0;
 795   return 1;
 796 }
 797
 798 __attribute__((noinline))
 799 int func99(uint8_t a1, uint8_t a2) {
 800   char v = (a1 ^ a2);
 801   if ( v > 96 )
 802     return 0;
 803   return 1;
 804 }
 805
 806 __attribute__((noinline))
 807 int func100(uint8_t a1, uint8_t a2, uint8_t a3) {
 808   char v = ((a1 ^ a2)) | a3;
 809   if ( v != 127 )
 810     return 0;
 811   return 1;
 812 }
 813
 814 __attribute__((noinline))
 815 int func101(uint8_t a1) {
 816   char v = 4 * a1;
 817   if ( v > 1 )
 818     return 0;
 819   return 1;
 820 }
 821
 822 __attribute__((noinline))
 823 int func102(uint8_t a1, uint8_t a2) {
 824   char v = a1 | a2;
 825   if ( v <= 43 )
 826     return 0;
 827   return 1;
 828 }
 829
 830 __attribute__((noinline))
 831 int func103(uint8_t a1, uint8_t a2) {
 832   char v = (a1 & a2);
 833   if ( v > 95 )
 834     return 0;
 835   return 1;
 836 }
 837
 838 __attribute__((noinline))
 839 int func104(uint8_t a1, uint8_t a2, uint8_t a3) {
 840   char v = (((a1 ^ a2))) & a3;
 841   if ( v <= 2 )
 842     return 0;
 843   return 1;
 844 }
 845
 846 __attribute__((noinline))
 847 int func105(uint8_t a1, uint8_t a2) {
 848   char v = (a1 & a2);
 849   if ( v > 65 )
 850     return 0;
 851   return 1;
 852 }
 853
 854 __attribute__((noinline))
 855 int func106(uint8_t a1, uint8_t a2) {
 856   char v = (a1 ^ a2);
 857   if ( v <= 24 )
 858     return 0;
 859   return 1;
 860 }
 861
 862 __attribute__((noinline))
 863 int func107(uint8_t a1) {
 864   char v = ~a1;
 865   if ( v > 1 )
 866     return 0;
 867   return 1;
 868 }
 869
 870 __attribute__((noinline))
 871 int func108(uint8_t a1, uint8_t a2) {
 872   char v = (a1 ^ a2);
 873   if ( v > 67 )
 874     return 0;
 875   return 1;
 876 }
 877
 878 __attribute__((noinline))
 879 int func109(uint8_t a1) {
 880   char v = 2 * a1;
 881   if ( v > 1 )
 882     return 0;
 883   return 1;
 884 }
 885
 886 __attribute__((noinline))
 887 int func110(uint8_t a1, uint8_t a2) {
 888   char v = (a1 & a2);
 889   if ( v > 101 )
 890     return 0;
 891   return 1;
 892 }
 893
 894 __attribute__((noinline))
 895 int func111(uint8_t a1, uint8_t a2, uint8_t a3) {
 896   char v = ((a1 & a2)) | a3;
 897   if ( v <= 121 )
 898     return 0;
 899   return 1;
 900 }
 901
 902 __attribute__((noinline))
 903 int func112(uint8_t a1, uint8_t a2) {
 904   char v = (a1 ^ a2);
 905   if ( v <= 40 )
 906     return 0;
 907   return 1;
 908 }
 909
 910 __attribute__((noinline))
 911 int func113(uint8_t a1, uint8_t a2) {
 912   char v = (a1 & a2);
 913   if ( v > 50 )
 914     return 0;
 915   return 1;
 916 }
 917
 918 __attribute__((noinline))
 919 int func114(uint8_t a1) {
 920   char v = a1 << 6;
 921   if ( v > 1 )
 922     return 0;
 923   return 1;
 924 }
 925
 926 __attribute__((noinline))
 927 int func115(uint8_t a1, uint8_t a2) {
 928   char v = a1 | a2;
 929   if ( v <= 12 )
 930     return 0;
 931   return 1;
 932 }
 933
 934 __attribute__((noinline))
 935 int func116(uint8_t a1) {
 936   char v = ~a1;
 937   if ( v > 1 )
 938     return 0;
 939   return 1;
 940 }
 941
 942 __attribute__((noinline))
 943 int func117(uint8_t a1) {
 944   char v = a1 >> 5;
 945   if ( v > 79 )
 946     return 0;
 947   return 1;
 948 }
 949
 950 __attribute__((noinline))
 951 int func118(uint8_t a1) {
 952   char v = ~a1;
 953   if ( v > 1 )
 954     return 0;
 955   return 1;
 956 }
 957
 958 __attribute__((noinline))
 959 int func119(uint8_t a1, uint8_t a2) {
 960   char v = (a1 ^ a2);
 961   if ( v > 44 )
 962     return 0;
 963   return 1;
 964 }
 965
 966 __attribute__((noinline))
 967 int func120(uint8_t a1, uint8_t a2, uint8_t a3) {
 968   char v = ((a1 & a2)) | a3;
 969   if ( v <= 28 )
 970     return 0;
 971   return 1;
 972 }
 973
 974 __attribute__((noinline))
 975 int func121(uint8_t a1, uint8_t a2) {
 976   char v = a1 | a2;
 977   if ( v <= 93 )
 978     return 0;
 979   return 1;
 980 }
 981
 982 __attribute__((noinline))
 983 int func122(uint8_t a1, uint8_t a2) {
 984   char v = a1 | a2;
 985   if ( v <= 40 )
 986     return 0;
 987   return 1;
 988 }
 989
 990 __attribute__((noinline))
 991 int func123(uint8_t a1) {
 992   char v = ~a1;
 993   if ( v > 1 )
 994     return 0;
 995   return 1;
 996 }
 997
 998 __attribute__((noinline))
 999 int func124(uint8_t a1) {
1000   char v = a1 >> 5;
1001   if ( v <= 0 )
1002     return 0;
1003   return 1;
1004 }
1005
1006 __attribute__((noinline))
1007 int func125(uint8_t a1) {
1008   char v = ~a1;
1009   if ( v > 1 )
1010     return 0;
1011   return 1;
1012 }
1013
1014 __attribute__((noinline))
1015 int func126(uint8_t a1) {
1016   char v = ~a1;
1017   if ( v > 1 )
1018     return 0;
1019   return 1;
1020 }
1021
1022 __attribute__((noinline))
1023 int func127(uint8_t a1, uint8_t a2) {
1024   char v = (a1 ^ a2);
1025   if ( v > 8 )
1026     return 0;
1027   return 1;
1028 }
1029
1030 __attribute__((noinline))
1031 int func128(uint8_t a1) {
1032   char v = ~a1;
1033   if ( v > 1 )
1034     return 0;
1035   return 1;
1036 }
1037
1038 __attribute__((noinline))
1039 int func129(uint8_t a1, uint8_t a2) {
1040   char v = (a1 ^ a2);
1041   if ( v <= 3 )
1042     return 0;
1043   return 1;
1044 }
1045
1046 __attribute__((noinline))
1047 int func130(uint8_t a1, uint8_t a2) {
1048   char v = a1 | a2;
1049   if ( v <= 102 )
1050     return 0;
1051   return 1;
1052 }
1053
1054 __attribute__((noinline))
1055 int func131(uint8_t a1, uint8_t a2) {
1056   char v = (a1 ^ a2);
1057   if ( v > 68 )
1058     return 0;
1059   return 1;
1060 }
1061
1062 __attribute__((noinline))
1063 int func132(uint8_t a1, uint8_t a2) {
1064   char v = (a1 & a2);
1065   if ( v > 73 )
1066     return 0;
1067   return 1;
1068 }
1069
1070 __attribute__((noinline))
1071 int func133(uint8_t a1, uint8_t a2) {
1072   char v = (a1 & a2);
1073   if ( v <= 68 )
1074     return 0;
1075   return 1;
1076 }
1077
1078 __attribute__((noinline))
1079 int func134(uint8_t a1) {
1080   char v = 16 * a1;
1081   if ( v > 125 )
1082     return 0;
1083   return 1;
1084 }
1085
1086 __attribute__((noinline))
1087 int func135(uint8_t a1, uint8_t a2) {
1088   char v = (a1 ^ a2);
1089   if ( v > 79 )
1090     return 0;
1091   return 1;
1092 }
1093
1094 __attribute__((noinline))
1095 int func136(uint8_t a1, uint8_t a2) {
1096   char v = (a1 ^ a2);
1097   if ( v > 6 )
1098     return 0;
1099   return 1;
1100 }
1101
1102 __attribute__((noinline))
1103 int func137(uint8_t a1, uint8_t a2) {
1104   char v = (a1 & a2);
1105   if ( v <= 16 )
1106     return 0;
1107   return 1;
1108 }
1109
1110 __attribute__((noinline))
1111 int func138(uint8_t a1) {
1112   char v = ~a1;
1113   if ( v > 1 )
1114     return 0;
1115   return 1;
1116 }
1117
1118 __attribute__((noinline))
1119 int func139(uint8_t a1) {
1120   char v = ~a1;
1121   if ( v > 1 )
1122     return 0;
1123   return 1;
1124 }
1125
1126 __attribute__((noinline))
1127 int func140(uint8_t a1) {
1128   char v = a1 >> 5;
1129   if ( v > 74 )
1130     return 0;
1131   return 1;
1132 }
1133
1134 __attribute__((noinline))
1135 int func141(uint8_t a1) {
1136   char v = ~a1;
1137   if ( v > 1 )
1138     return 0;
1139   return 1;
1140 }
1141
1142 __attribute__((noinline))
1143 int func142(uint8_t a1, uint8_t a2) {
1144   char v = a1 | a2;
1145   if ( v <= 89 )
1146     return 0;
1147   return 1;
1148 }
1149
1150 __attribute__((noinline))
1151 int func143(uint8_t a1, uint8_t a2) {
1152   char v = (a1 ^ a2);
1153   if ( v > 46 )
1154     return 0;
1155   return 1;
1156 }
1157
1158 __attribute__((noinline))
1159 int func144(uint8_t a1) {
1160   char v = 16 * a1;
1161   if ( v <= 29 )
1162     return 0;
1163   return 1;
1164 }
1165
1166 __attribute__((noinline))
1167 int func145(uint8_t a1, uint8_t a2) {
1168   char v = a1 | a2;
1169   if ( v <= 77 )
1170     return 0;
1171   return 1;
1172 }
1173
1174 __attribute__((noinline))
1175 int func146(uint8_t a1, uint8_t a2) {
1176   char v = (a1 ^ a2);
1177   if ( v > 12 )
1178     return 0;
1179   return 1;
1180 }
1181
1182 __attribute__((noinline))
1183 int func147(uint8_t a1) {
1184   char v = ~a1;
1185   if ( v > 1 )
1186     return 0;
1187   return 1;
1188 }
1189
1190 __attribute__((noinline))
1191 int func148(uint8_t a1) {
1192   char v = a1 >> 5;
1193   if ( v > 27 )
1194     return 0;
1195   return 1;
1196 }
1197
1198 __attribute__((noinline))
1199 int func149(uint8_t a1) {
1200   char v = ~a1;
1201   if ( v > 1 )
1202     return 0;
1203   return 1;
1204 }
1205
1206 __attribute__((noinline))
1207 int func150(uint8_t a1, uint8_t a2) {
1208   char v = a1 | a2;
1209   if ( v > 122 )
1210     return 0;
1211   return 1;
1212 }
1213
1214 __attribute__((noinline))
1215 int func151(uint8_t a1, uint8_t a2) {
1216   char v = (a1 ^ a2);
1217   if ( v <= 3 )
1218     return 0;
1219   return 1;
1220 }
1221
1222 __attribute__((noinline))
1223 int func152(uint8_t a1, uint8_t a2) {
1224   char v = (a1 & a2);
1225   if ( v <= 56 )
1226     return 0;
1227   return 1;
1228 }
1229
1230 __attribute__((noinline))
1231 int func153(uint8_t a1) {
1232   char v = 16 * a1;
1233   if ( v <= 3 )
1234     return 0;
1235   return 1;
1236 }
1237
1238 __attribute__((noinline))
1239 int func154(uint8_t a1, uint8_t a2) {
1240   char v = (a1 ^ a2);
1241   if ( v > 43 )
1242     return 0;
1243   return 1;
1244 }
1245
1246 __attribute__((noinline))
1247 int func155(uint8_t a1, uint8_t a2) {
1248   char v = (a1 ^ a2);
1249   if ( v <= 16 )
1250     return 0;
1251   return 1;
1252 }
1253
1254 __attribute__((noinline))
1255 int func156(uint8_t a1) {
1256   char v = ~a1;
1257   if ( v > 1 )
1258     return 0;
1259   return 1;
1260 }
1261
1262 __attribute__((noinline))
1263 int func157(uint8_t a1) {
1264   char v = ~a1;
1265   if ( v > 1 )
1266     return 0;
1267   return 1;
1268 }
1269
1270 __attribute__((noinline))
1271 int func158(uint8_t a1) {
1272   char v = ~a1;
1273   if ( v > 1 )
1274     return 0;
1275   return 1;
1276 }
1277
1278 __attribute__((noinline))
1279 int func159(uint8_t a1) {
1280   char v = a1 >> 5;
1281   if ( v > 88 )
1282     return 0;
1283   return 1;
1284 }
1285
1286 __attribute__((noinline))
1287 int func160(uint8_t a1) {
1288   char v = ~a1;
1289   if ( v > 33 )
1290     return 0;
1291   return 1;
1292 }
1293
1294 __attribute__((noinline))
1295 int func161(uint8_t a1, uint8_t a2) {
1296   char v = (a1 ^ a2);
1297   if ( v > 46 )
1298     return 0;
1299   return 1;
1300 }
1301
1302 __attribute__((noinline))
1303 int func162(uint8_t a1) {
1304   char v = ~a1;
1305   if ( v > 1 )
1306     return 0;
1307   return 1;
1308 }
1309
1310 __attribute__((noinline))
1311 int func163(uint8_t a1, uint8_t a2, uint8_t a3) {
1312   char v = ((a1 & a2)) | a3;
1313   if ( v <= 9 )
1314     return 0;
1315   return 1;
1316 }
1317
1318 __attribute__((noinline))
1319 int func164(uint8_t a1, uint8_t a2) {
1320   char v = (a1 ^ a2);
1321   if ( v > 96 )
1322     return 0;
1323   return 1;
1324 }
1325
1326 __attribute__((noinline))
1327 int func165(uint8_t a1) {
1328   char v = ~a1;
1329   if ( v > 1 )
1330     return 0;
1331   return 1;
1332 }
1333
1334 __attribute__((noinline))
1335 int func166(uint8_t a1) {
1336   char v = ~a1;
1337   if ( v > 1 )
1338     return 0;
1339   return 1;
1340 }
1341
1342 __attribute__((noinline))
1343 int func167(uint8_t a1) {
1344   char v = a1 >> 5;
1345   if ( v > 91 )
1346     return 0;
1347   return 1;
1348 }
1349
1350 __attribute__((noinline))
1351 int func168(uint8_t a1) {
1352   char v = ~a1;
1353   if ( v > 1 )
1354     return 0;
1355   return 1;
1356 }
1357
1358 __attribute__((noinline))
1359 int func169(uint8_t a1, uint8_t a2) {
1360   char v = a1 | a2;
1361   if ( v <= 32 )
1362     return 0;
1363   return 1;
1364 }
1365
1366 __attribute__((noinline))
1367 int func170(uint8_t a1, uint8_t a2) {
1368   char v = (a1 & a2);
1369   if ( v <= 32 )
1370     return 0;
1371   return 1;
1372 }
1373
1374 __attribute__((noinline))
1375 int func171(uint8_t a1) {
1376   char v = ~a1;
1377   if ( v > 1 )
1378     return 0;
1379   return 1;
1380 }
1381
1382 __attribute__((noinline))
1383 int func172(uint8_t a1) {
1384   char v = ~a1;
1385   if ( v > 1 )
1386     return 0;
1387   return 1;
1388 }
1389
1390 __attribute__((noinline))
1391 int func173(uint8_t a1) {
1392   char v = ~a1;
1393   if ( v > 1 )
1394     return 0;
1395   return 1;
1396 }
1397
1398 __attribute__((noinline))
1399 int func174(uint8_t a1, uint8_t a2) {
1400   char v = a1 | a2;
1401   if ( v <= 90 )
1402     return 0;
1403   return 1;
1404 }
1405
1406 __attribute__((noinline))
1407 int func175(uint8_t a1, uint8_t a2) {
1408   char v = (a1 ^ a2);
1409   if ( v > 32 )
1410     return 0;
1411   return 1;
1412 }
1413
1414 __attribute__((noinline))
1415 int func176(uint8_t a1) {
1416   char v = 16 * a1;
1417   if ( v <= 61 )
1418     return 0;
1419   return 1;
1420 }
1421
1422 __attribute__((noinline))
1423 int func177(uint8_t a1, uint8_t a2) {
1424   char v = (a1 ^ a2);
1425   if ( v <= 33 )
1426     return 0;
1427   return 1;
1428 }
1429
1430 __attribute__((noinline))
1431 int func178(uint8_t a1) {
1432   char v = a1 >> 5;
1433   if ( v > 16 )
1434     return 0;
1435   return 1;
1436 }
1437
1438 __attribute__((noinline))
1439 int func179(uint8_t a1) {
1440   char v = ~a1;
1441   if ( v > 64 )
1442     return 0;
1443   return 1;
1444 }
1445
1446 __attribute__((noinline))
1447 int func180(uint8_t a1, uint8_t a2) {
1448   char v = a1 | a2;
1449   if ( v <= 95 )
1450     return 0;
1451   return 1;
1452 }
1453
1454 __attribute__((noinline))
1455 int func181(uint8_t a1, uint8_t a2) {
1456   char v = (a1 ^ a2);
1457   if ( v > 48 )
1458     return 0;
1459   return 1;
1460 }
1461
1462 __attribute__((noinline))
1463 int func182(uint8_t a1, uint8_t a2) {
1464   char v = (a1 & a2);
1465   if ( v > 113 )
1466     return 0;
1467   return 1;
1468 }
1469
1470 __attribute__((noinline))
1471 int func183(uint8_t a1, uint8_t a2) {
1472   char v = (a1 ^ a2);
1473   if ( v <= 41 )
1474     return 0;
1475   return 1;
1476 }
1477
1478 __attribute__((noinline))
1479 int func184(uint8_t a1) {
1480   char v = 16 * a1;
1481   if ( v <= 63 )
1482     return 0;
1483   return 1;
1484 }
1485
1486 __attribute__((noinline))
1487 int func185(uint8_t a1) {
1488   char v = ~a1;
1489   if ( v > 1 )
1490     return 0;
1491   return 1;
1492 }
1493
1494 __attribute__((noinline))
1495 int func186(uint8_t a1, uint8_t a2) {
1496   char v = (a1 & a2);
1497   if ( v <= 94 )
1498     return 0;
1499   return 1;
1500 }
1501
1502 __attribute__((noinline))
1503 int func187(uint8_t a1, uint8_t a2) {
1504   char v = (a1 ^ a2);
1505   if ( v > 43 )
1506     return 0;
1507   return 1;
1508 }
1509
1510 __attribute__((noinline))
1511 int func188(uint8_t a1) {
1512   char v = (char)a1 >> 1;
1513   if ( v <= 57 )
1514     return 0;
1515   return 1;
1516 }
1517
1518 __attribute__((noinline))
1519 int func189(uint8_t a1) {
1520   char v = ~a1;
1521   if ( v > 1 )
1522     return 0;
1523   return 1;
1524 }
1525
1526 __attribute__((noinline))
1527 int func190(uint8_t a1, uint8_t a2) {
1528   char v = (a1 & a2);
1529   if ( v > 103 )
1530     return 0;
1531   return 1;
1532 }
1533
1534 __attribute__((noinline))
1535 int func191(uint8_t a1) {
1536   char v = (char)a1 >> 1;
1537   if ( v > 92 )
1538     return 0;
1539   return 1;
1540 }
1541
1542 __attribute__((noinline))
1543 int func192(uint8_t a1) {
1544   char v = ~a1;
1545   if ( v > 1 )
1546     return 0;
1547   return 1;
1548 }
1549
1550 __attribute__((noinline))
1551 int func193(uint8_t a1, uint8_t a2, uint8_t a3) {
1552   char v = ((a1 & a2)) | a3;
1553   if ( v <= 16 )
1554     return 0;
1555   return 1;
1556 }
1557
1558 __attribute__((noinline))
1559 int func194(uint8_t a1, uint8_t a2) {
1560   char v = a1 | a2;
1561   if ( v <= 20 )
1562     return 0;
1563   return 1;
1564 }
1565
1566 __attribute__((noinline))
1567 int func195(uint8_t a1, uint8_t a2) {
1568   char v = (a1 ^ a2);
1569   if ( v > 82 )
1570     return 0;
1571   return 1;
1572 }
1573
1574 __attribute__((noinline))
1575 int func196(uint8_t a1, uint8_t a2) {
1576   char v = a1 | a2;
1577   if ( v > 117 )
1578     return 0;
1579   return 1;
1580 }
1581
1582 __attribute__((noinline))
1583 int func197(uint8_t a1, uint8_t a2) {
1584   char v = (a1 & a2);
1585   if ( v <= 50 )
1586     return 0;
1587   return 1;
1588 }
1589
1590 __attribute__((noinline))
1591 int func198(uint8_t a1, uint8_t a2) {
1592   char v = (a1 ^ a2);
1593   if ( v > 118 )
1594     return 0;
1595   return 1;
1596 }
1597
1598 __attribute__((noinline))
1599 int func199(uint8_t a1, uint8_t a2) {
1600   char v = (a1 ^ a2);
1601   if ( v == 127 )
1602     return 0;
1603   return 1;
1604 }
1605
1606 __attribute__((noinline))
1607 int func200(uint8_t a1) {
1608   char v = ~a1;
1609   if ( v > 1 )
1610     return 0;
1611   return 1;
1612 }
1613
1614 __attribute__((noinline))
1615 int func201(uint8_t a1, uint8_t a2) {
1616   char v = (a1 & a2);
1617   if ( v <= 67 )
1618     return 0;
1619   return 1;
1620 }
1621
1622 __attribute__((noinline))
1623 int func202(uint8_t a1, uint8_t a2) {
1624   char v = (a1 & a2);
1625   if ( v <= 56 )
1626     return 0;
1627   return 1;
1628 }
1629
1630 __attribute__((noinline))
1631 int func203(uint8_t a1) {
1632   char v = (char)a1 >> 1;
1633   if ( v > 95 )
1634     return 0;
1635   return 1;
1636 }
1637
1638 __attribute__((noinline))
1639 int func204(uint8_t a1) {
1640   char v = ~a1;
1641   if ( v > 1 )
1642     return 0;
1643   return 1;
1644 }
1645
1646 __attribute__((noinline))
1647 int func205(uint8_t a1, uint8_t a2, uint8_t a3) {
1648   char v = ((a1 ^ a2)) | a3;
1649   if ( v > 95 )
1650     return 0;
1651   return 1;
1652 }
1653
1654 __attribute__((noinline))
1655 int func206(uint8_t a1, uint8_t a2) {
1656   char v = (a1 & a2);
1657   if ( v <= 78 )
1658     return 0;
1659   return 1;
1660 }
1661
1662 __attribute__((noinline))
1663 int func207(uint8_t a1) {
1664   char v = (char)a1 >> 1;
1665   if ( v <= 7 )
1666     return 0;
1667   return 1;
1668 }
1669
1670 __attribute__((noinline))
1671 int func208(uint8_t a1) {
1672   char v = a1 >> 5;
1673   if ( v > 123 )
1674     return 0;
1675   return 1;
1676 }
1677
1678 __attribute__((noinline))
1679 int func209(uint8_t a1) {
1680   char v = ~a1;
1681   if ( v > 1 )
1682     return 0;
1683   return 1;
1684 }
1685
1686 __attribute__((noinline))
1687 int func210(uint8_t a1, uint8_t a2) {
1688   char v = a1 | a2;
1689   if ( v <= 101 )
1690     return 0;
1691   return 1;
1692 }
1693
1694 __attribute__((noinline))
1695 int func211(uint8_t a1, uint8_t a2) {
1696   char v = (a1 & a2);
1697   if ( v <= 61 )
1698     return 0;
1699   return 1;
1700 }
1701
1702 __attribute__((noinline))
1703 int func212(uint8_t a1) {
1704   char v = 16 * a1;
1705   if ( v <= 73 )
1706     return 0;
1707   return 1;
1708 }
1709
1710 __attribute__((noinline))
1711 int func213(uint8_t a1, uint8_t a2) {
1712   char v = (a1 ^ a2);
1713   if ( v <= 34 )
1714     return 0;
1715   return 1;
1716 }
1717
1718 __attribute__((noinline))
1719 int func214(uint8_t a1) {
1720   char v = ~a1;
1721   if ( v > 1 )
1722     return 0;
1723   return 1;
1724 }
1725
1726 __attribute__((noinline))
1727 int func215(uint8_t a1, uint8_t a2) {
1728   char v = (a1 & a2);
1729   if ( v <= 5 )
1730     return 0;
1731   return 1;
1732 }
1733
1734 __attribute__((noinline))
1735 int func216(uint8_t a1) {
1736   char v = ~a1;
1737   if ( v > 85 )
1738     return 0;
1739   return 1;
1740 }
1741
1742 __attribute__((noinline))
1743 int func217(uint8_t a1, uint8_t a2) {
1744   char v = (a1 & a2);
1745   if ( v > 113 )
1746     return 0;
1747   return 1;
1748 }
1749
1750 __attribute__((noinline))
1751 int func218(uint8_t a1) {
1752   char v = (char)a1 >> 1;
1753   if ( v > 61 )
1754     return 0;
1755   return 1;
1756 }
1757
1758 __attribute__((noinline))
1759 int func219(uint8_t a1) {
1760   char v = (char)a1 >> 1;
1761   if ( v > 90 )
1762     return 0;
1763   return 1;
1764 }
1765
1766 __attribute__((noinline))
1767 int func220(uint8_t a1) {
1768   char v = a1 >> 5;
1769   if ( v > 106 )
1770     return 0;
1771   return 1;
1772 }
1773
1774 __attribute__((noinline))
1775 int func221(uint8_t a1) {
1776   char v = ~a1;
1777   if ( v > 1 )
1778     return 0;
1779   return 1;
1780 }
1781
1782 __attribute__((noinline))
1783 int func222(uint8_t a1, uint8_t a2) {
1784   char v = (a1 ^ a2);
1785   if ( v > 84 )
1786     return 0;
1787   return 1;
1788 }
1789
1790 __attribute__((noinline))
1791 int func223(uint8_t a1, uint8_t a2) {
1792   char v = (a1 & a2);
1793   if ( v > 81 )
1794     return 0;
1795   return 1;
1796 }
1797
1798 __attribute__((noinline))
1799 int func224(uint8_t a1) {
1800   char v = ~a1;
1801   if ( v > 1 )
1802     return 0;
1803   return 1;
1804 }
1805
1806 __attribute__((noinline))
1807 int func225(uint8_t a1) {
1808   char v = a1 >> 5;
1809   if ( v > 49 )
1810     return 0;
1811   return 1;
1812 }
1813
1814 __attribute__((noinline))
1815 int func226(uint8_t a1) {
1816   char v = ~a1;
1817   if ( v > 1 )
1818     return 0;
1819   return 1;
1820 }
1821
1822 __attribute__((noinline))
1823 int func227(uint8_t a1, uint8_t a2) {
1824   char v = (a1 ^ a2);
1825   if ( v > 66 )
1826     return 0;
1827   return 1;
1828 }
1829
1830 __attribute__((noinline))
1831 int func228(uint8_t a1, uint8_t a2) {
1832   char v = (a1 & a2);
1833   if ( v > 81 )
1834     return 0;
1835   return 1;
1836 }
1837
1838 __attribute__((noinline))
1839 int func229(uint8_t a1, uint8_t a2) {
1840   char v = (a1 & a2);
1841   if ( v > 41 )
1842     return 0;
1843   return 1;
1844 }
1845
1846 __attribute__((noinline))
1847 int func230(uint8_t a1, uint8_t a2) {
1848   char v = (a1 ^ a2);
1849   if ( v > 82 )
1850     return 0;
1851   return 1;
1852 }
1853
1854 __attribute__((noinline))
1855 int func231(uint8_t a1, uint8_t a2) {
1856   char v = (a1 & a2);
1857   if ( v > 84 )
1858     return 0;
1859   return 1;
1860 }
1861
1862 __attribute__((noinline))
1863 int func232(uint8_t a1, uint8_t a2) {
1864   char v = (a1 & a2);
1865   if ( v <= 34 )
1866     return 0;
1867   return 1;
1868 }
1869
1870 __attribute__((noinline))
1871 int func233(uint8_t a1, uint8_t a2) {
1872   char v = (a1 & a2);
1873   if ( v > 66 )
1874     return 0;
1875   return 1;
1876 }
1877
1878 __attribute__((noinline))
1879 int func234(uint8_t a1, uint8_t a2) {
1880   char v = (a1 & a2);
1881   if ( v > 90 )
1882     return 0;
1883   return 1;
1884 }
1885
1886 __attribute__((noinline))
1887 int func235(uint8_t a1, uint8_t a2) {
1888   char v = (a1 & a2);
1889   if ( v > 73 )
1890     return 0;
1891   return 1;
1892 }
1893
1894 __attribute__((noinline))
1895 int func236(uint8_t a1, uint8_t a2) {
1896   char v = (a1 & a2);
1897   if ( v <= 12 )
1898     return 0;
1899   return 1;
1900 }
1901
1902 __attribute__((noinline))
1903 int func237(uint8_t a1, uint8_t a2) {
1904   char v = (a1 ^ a2);
1905   if ( v <= 9 )
1906     return 0;
1907   return 1;
1908 }
1909
1910 __attribute__((noinline))
1911 int func238(uint8_t a1, uint8_t a2) {
1912   char v = (a1 ^ a2);
1913   if ( v <= 42 )
1914     return 0;
1915   return 1;
1916 }
1917
1918 __attribute__((noinline))
1919 int func239(uint8_t a1, uint8_t a2) {
1920   char v = (a1 ^ a2);
1921   if ( v > 44 )
1922     return 0;
1923   return 1;
1924 }
1925
1926 __attribute__((noinline))
1927 int func240(uint8_t a1, uint8_t a2) {
1928   char v = (a1 & a2);
1929   if ( v <= 14 )
1930     return 0;
1931   return 1;
1932 }
1933
1934 __attribute__((noinline))
1935 int func241(uint8_t a1, uint8_t a2) {
1936   char v = (a1 & a2);
1937   if ( v <= 16 )
1938     return 0;
1939   return 1;
1940 }
1941
1942 __attribute__((noinline))
1943 int func242(uint8_t a1, uint8_t a2) {
1944   char v = (a1 & a2);
1945   if ( v > 74 )
1946     return 0;
1947   return 1;
1948 }
1949
1950 __attribute__((noinline))
1951 int func243(uint8_t a1, uint8_t a2) {
1952   char v = (a1 ^ a2);
1953   if ( v > 102 )
1954     return 0;
1955   return 1;
1956 }
1957
1958 __attribute__((noinline))
1959 int func244(uint8_t a1) {
1960   char v = 4 * a1;
1961   if ( v <= 16 )
1962     return 0;
1963   return 1;
1964 }
1965
1966 __attribute__((noinline))
1967 int func245(uint8_t a1, uint8_t a2) {
1968   char v = a1 | a2;
1969   if ( v <= 87 )
1970     return 0;
1971   return 1;
1972 }
1973
1974 __attribute__((noinline))
1975 int func246(uint8_t a1, uint8_t a2) {
1976   char v = (a1 ^ a2);
1977   if ( v > 29 )
1978     return 0;
1979   return 1;
1980 }
1981
1982 __attribute__((noinline))
1983 int func247(uint8_t a1, uint8_t a2) {
1984   char v = (a1 & a2);
1985   if ( v > 51 )
1986     return 0;
1987   return 1;
1988 }
1989
1990 __attribute__((noinline))
1991 int func248(uint8_t a1, uint8_t a2) {
1992   char v = (a1 ^ a2);
1993   if ( v > 74 )
1994     return 0;
1995   return 1;
1996 }
1997
1998 __attribute__((noinline))
1999 int func249(uint8_t a1) {
2000   char v = 4 * a1;
2001   if ( v <= 103 )
2002     return 0;
2003   return 1;
2004 }
2005
2006 __attribute__((noinline))
2007 int func250(uint8_t a1, uint8_t a2) {
2008   char v = a1 | a2;
2009   if ( v <= 56 )
2010     return 0;
2011   return 1;
2012 }
2013
2014 __attribute__((noinline))
2015 int func251(uint8_t a1, uint8_t a2) {
2016   char v = (a1 ^ a2);
2017   if ( v <= 11 )
2018     return 0;
2019   return 1;
2020 }
2021
2022 __attribute__((noinline))
2023 int func252(uint8_t a1, uint8_t a2) {
2024   char v = (a1 & a2);
2025   if ( v <= 16 )
2026     return 0;
2027   return 1;
2028 }
2029
2030 __attribute__((noinline))
2031 int func253(uint8_t a1, uint8_t a2) {
2032   char v = (a1 & a2);
2033   if ( v <= 22 )
2034     return 0;
2035   return 1;
2036 }
2037
2038 __attribute__((noinline))
2039 int func254(uint8_t a1, uint8_t a2, uint8_t a3) {
2040   char v = ((a1 & a2)) | a3;
2041   if ( v > 122 )
2042     return 0;
2043   return 1;
2044 }
2045
2046 __attribute__((noinline))
2047 int func255(uint8_t a1, uint8_t a2) {
2048   char v = (a1 ^ a2);
2049   if ( v > 74 )
2050     return 0;
2051   return 1;
2052 }
2053
2054 __attribute__((noinline))
2055 int func256(uint8_t a1) {
2056   char v = 4 * a1;
2057   if ( v <= 16 )
2058     return 0;
2059   return 1;
2060 }
2061
2062 __attribute__((noinline))
2063 int func257(uint8_t a1, uint8_t a2) {
2064   char v = (a1 ^ a2);
2065   if ( v > 67 )
2066     return 0;
2067   return 1;
2068 }
2069
2070 __attribute__((noinline))
2071 int func258(uint8_t a1, uint8_t a2) {
2072   char v = (a1 & a2);
2073   if ( v > 102 )
2074     return 0;
2075   return 1;
2076 }
2077
2078 __attribute__((noinline))
2079 int func259(uint8_t a1, uint8_t a2) {
2080   char v = (a1 ^ a2);
2081   if ( v > 74 )
2082     return 0;
2083   return 1;
2084 }
2085
2086 __attribute__((noinline))
2087 int func260(uint8_t a1, uint8_t a2) {
2088   char v = a1 | a2;
2089   if ( v <= 27 )
2090     return 0;
2091   return 1;
2092 }
2093
2094 __attribute__((noinline))
2095 int func261(uint8_t a1) {
2096   char v = 4 * a1;
2097   if ( v <= 58 )
2098     return 0;
2099   return 1;
2100 }
2101
2102 __attribute__((noinline))
2103 int func262(uint8_t a1) {
2104   char v = 4 * a1;
2105   if ( v <= 77 )
2106     return 0;
2107   return 1;
2108 }
2109
2110 __attribute__((noinline))
2111 int func263(uint8_t a1, uint8_t a2) {
2112   char v = a1 | a2;
2113   if ( v <= 3 )
2114     return 0;
2115   return 1;
2116 }
2117
2118 __attribute__((noinline))
2119 int func264(uint8_t a1, uint8_t a2) {
2120   char v = (a1 & a2);
2121   if ( v <= 13 )
2122     return 0;
2123   return 1;
2124 }
2125
2126 __attribute__((noinline))
2127 int func265(uint8_t a1, uint8_t a2) {
2128   char v = (a1 ^ a2);
2129   if ( v > 47 )
2130     return 0;
2131   return 1;
2132 }
2133
2134 __attribute__((noinline))
2135 int func266(uint8_t a1, uint8_t a2) {
2136   char v = (a1 & a2);
2137   if ( v <= 39 )
2138     return 0;
2139   return 1;
2140 }
2141
2142 __attribute__((noinline))
2143 int func267(uint8_t a1, uint8_t a2) {
2144   char v = a1 | a2;
2145   if ( v == 127 )
2146     return 0;
2147   return 1;
2148 }
2149
2150 __attribute__((noinline))
2151 int func268(uint8_t a1, uint8_t a2) {
2152   char v = a1 | a2;
2153   if ( v <= 66 )
2154     return 0;
2155   return 1;
2156 }
2157
2158 __attribute__((noinline))
2159 int func269(uint8_t a1, uint8_t a2) {
2160   char v = (a1 & a2);
2161   if ( v <= 47 )
2162     return 0;
2163   return 1;
2164 }
2165
2166 __attribute__((noinline))
2167 int func270(uint8_t a1, uint8_t a2) {
2168   char v = (a1 & a2);
2169   if ( v > 63 )
2170     return 0;
2171   return 1;
2172 }
2173
2174 __attribute__((noinline))
2175 int func271(uint8_t a1, uint8_t a2) {
2176   char v = (a1 & a2);
2177   if ( v > 122 )
2178     return 0;
2179   return 1;
2180 }
2181
2182 __attribute__((noinline))
2183 int func272(uint8_t a1) {
2184   char v = 4 * a1;
2185   if ( v <= 65 )
2186     return 0;
2187   return 1;
2188 }
2189
2190 __attribute__((noinline))
2191 int func273(uint8_t a1, uint8_t a2) {
2192   char v = (a1 & a2);
2193   if ( v > 120 )
2194     return 0;
2195   return 1;
2196 }
2197
2198 __attribute__((noinline))
2199 int func274(uint8_t a1) {
2200   char v = 4 * a1;
2201   if ( v <= 83 )
2202     return 0;
2203   return 1;
2204 }
2205
2206 __attribute__((noinline))
2207 int func275(uint8_t a1, uint8_t a2) {
2208   char v = a1 | a2;
2209   if ( v <= 99 )
2210     return 0;
2211   return 1;
2212 }
2213
2214 __attribute__((noinline))
2215 int func276(uint8_t a1) {
2216   char v = ~a1;
2217   if ( v > 1 )
2218     return 0;
2219   return 1;
2220 }
2221
2222 __attribute__((noinline))
2223 int func277(uint8_t a1) {
2224   char v = a1 >> 5;
2225   if ( v > 42 )
2226     return 0;
2227   return 1;
2228 }
2229
2230 __attribute__((noinline))
2231 int func278(uint8_t a1) {
2232   char v = ~a1;
2233   if ( v > 1 )
2234     return 0;
2235   return 1;
2236 }
2237
2238 __attribute__((noinline))
2239 int func279(uint8_t a1, uint8_t a2) {
2240   char v = (a1 ^ a2);
2241   if ( v > 110 )
2242     return 0;
2243   return 1;
2244 }
2245
2246 __attribute__((noinline))
2247 int func280(uint8_t a1) {
2248   char v = 4 * a1;
2249   if ( v <= 92 )
2250     return 0;
2251   return 1;
2252 }
2253
2254 __attribute__((noinline))
2255 int func281(uint8_t a1, uint8_t a2) {
2256   char v = a1 | a2;
2257   if ( v <= 59 )
2258     return 0;
2259   return 1;
2260 }
2261
2262 __attribute__((noinline))
2263 int func282(uint8_t a1, uint8_t a2) {
2264   char v = a1 | a2;
2265   if ( v <= 1 )
2266     return 0;
2267   return 1;
2268 }
2269
2270 __attribute__((noinline))
2271 int func283(uint8_t a1) {
2272   char v = ~a1;
2273   if ( v > 1 )
2274     return 0;
2275   return 1;
2276 }
2277
2278 __attribute__((noinline))
2279 int func284(uint8_t a1) {
2280   char v = ~a1;
2281   if ( v > 1 )
2282     return 0;
2283   return 1;
2284 }
2285
2286 __attribute__((noinline))
2287 int func285(uint8_t a1) {
2288   char v = ~a1;
2289   if ( v > 17 )
2290     return 0;
2291   return 1;
2292 }
2293
2294 __attribute__((noinline))
2295 int func286(uint8_t a1) {
2296   char v = ~a1;
2297   if ( v > 1 )
2298     return 0;
2299   return 1;
2300 }
2301
2302 __attribute__((noinline))
2303 int func287(uint8_t a1, uint8_t a2) {
2304   char v = a1 | a2;
2305   if ( v <= 78 )
2306     return 0;
2307   return 1;
2308 }
2309
2310 __attribute__((noinline))
2311 int func288(uint8_t a1, uint8_t a2) {
2312   char v = (a1 ^ a2);
2313   if ( v > 47 )
2314     return 0;
2315   return 1;
2316 }
2317
2318 __attribute__((noinline))
2319 int func289(uint8_t a1, uint8_t a2) {
2320   char v = (a1 & a2);
2321   if ( v <= 90 )
2322     return 0;
2323   return 1;
2324 }
2325
2326 __attribute__((noinline))
2327 int func290(uint8_t a1) {
2328   char v = 16 * a1;
2329   if ( v <= 78 )
2330     return 0;
2331   return 1;
2332 }
2333
2334 __attribute__((noinline))
2335 int func291(uint8_t a1, uint8_t a2) {
2336   char v = (a1 ^ a2);
2337   if ( v <= 30 )
2338     return 0;
2339   return 1;
2340 }
2341
2342 __attribute__((noinline))
2343 int func292(uint8_t a1) {
2344   char v = ~a1;
2345   if ( v > 1 )
2346     return 0;
2347   return 1;
2348 }
2349
2350 __attribute__((noinline))
2351 int func293(uint8_t a1) {
2352   char v = ~a1;
2353   if ( v > 1 )
2354     return 0;
2355   return 1;
2356 }
2357
2358 __attribute__((noinline))
2359 int func294(uint8_t a1) {
2360   char v = ~a1;
2361   if ( v > 1 )
2362     return 0;
2363   return 1;
2364 }
2365
2366 __attribute__((noinline))
2367 int func295(uint8_t a1, uint8_t a2) {
2368   char v = a1 | a2;
2369   if ( v <= 17 )
2370     return 0;
2371   return 1;
2372 }
2373
2374 __attribute__((noinline))
2375 int func296(uint8_t a1, uint8_t a2) {
2376   char v = (a1 ^ a2);
2377   if ( v > 86 )
2378     return 0;
2379   return 1;
2380 }
2381
2382 __attribute__((noinline))
2383 int func297(uint8_t a1, uint8_t a2) {
2384   char v = (a1 & a2);
2385   if ( v > 120 )
2386     return 0;
2387   return 1;
2388 }
2389
2390 __attribute__((noinline))
2391 int func298(uint8_t a1) {
2392   char v = 16 * a1;
2393   if ( v <= 46 )
2394     return 0;
2395   return 1;
2396 }
2397
2398 __attribute__((noinline))
2399 int func299(uint8_t a1, uint8_t a2) {
2400   char v = (a1 ^ a2);
2401   if ( v > 63 )
2402     return 0;
2403   return 1;
2404 }
2405
2406 __attribute__((noinline))
2407 int func300(uint8_t a1, uint8_t a2) {
2408   char v = (a1 ^ a2);
2409   if ( v <= 5 )
2410     return 0;
2411   return 1;
2412 }
2413
2414 __attribute__((noinline))
2415 int func301(uint8_t a1) {
2416   char v = ~a1;
2417   if ( v > 17 )
2418     return 0;
2419   return 1;
2420 }
2421
2422 __attribute__((noinline))
2423 int func302(uint8_t a1) {
2424   char v = ~a1;
2425   if ( v > 113 )
2426     return 0;
2427   return 1;
2428 }
2429
2430 __attribute__((noinline))
2431 int func303(uint8_t a1) {
2432   char v = ~a1;
2433   if ( v > 1 )
2434     return 0;
2435   return 1;
2436 }
2437
2438 __attribute__((noinline))
2439 int func304(uint8_t a1, uint8_t a2) {
2440   char v = a1 | a2;
2441   if ( v <= 73 )
2442     return 0;
2443   return 1;
2444 }
2445
2446 __attribute__((noinline))
2447 int func305(uint8_t a1, uint8_t a2) {
2448   char v = (a1 ^ a2);
2449   if ( v > 60 )
2450     return 0;
2451   return 1;
2452 }
2453
2454 __attribute__((noinline))
2455 int func306(uint8_t a1, uint8_t a2) {
2456   char v = (a1 & a2);
2457   if ( v > 119 )
2458     return 0;
2459   return 1;
2460 }
2461
2462 __attribute__((noinline))
2463 int func307(uint8_t a1) {
2464   char v = ~a1;
2465   if ( v > 21 )
2466     return 0;
2467   return 1;
2468 }
2469
2470 __attribute__((noinline))
2471 int func308(uint8_t a1) {
2472   char v = ~a1;
2473   if ( v > 107 )
2474     return 0;
2475   return 1;
2476 }
2477
2478 __attribute__((noinline))
2479 int func309(uint8_t a1, uint8_t a2) {
2480   char v = (a1 ^ a2);
2481   if ( v > 44 )
2482     return 0;
2483   return 1;
2484 }
2485
2486 __attribute__((noinline))
2487 int func310(uint8_t a1, uint8_t a2) {
2488   char v = (a1 & a2);
2489   if ( v <= 57 )
2490     return 0;
2491   return 1;
2492 }
2493
2494 __attribute__((noinline))
2495 int func311(uint8_t a1, uint8_t a2) {
2496   char v = (a1 ^ a2);
2497   if ( v > 59 )
2498     return 0;
2499   return 1;
2500 }
2501
2502 __attribute__((noinline))
2503 int func312(uint8_t a1) {
2504   char v = ~a1;
2505   if ( v > 1 )
2506     return 0;
2507   return 1;
2508 }
2509
2510 __attribute__((noinline))
2511 int func313(uint8_t a1) {
2512   char v = ~a1;
2513   if ( v > 1 )
2514     return 0;
2515   return 1;
2516 }
2517
2518 __attribute__((noinline))
2519 int func314(uint8_t a1) {
2520   char v = a1 >> 5;
2521   if ( v > 58 )
2522     return 0;
2523   return 1;
2524 }
2525
2526 __attribute__((noinline))
2527 int func315(uint8_t a1) {
2528   char v = ~a1;
2529   if ( v > 1 )
2530     return 0;
2531   return 1;
2532 }
2533
2534 __attribute__((noinline))
2535 int func316(uint8_t a1, uint8_t a2) {
2536   char v = a1 | a2;
2537   if ( v <= 101 )
2538     return 0;
2539   return 1;
2540 }
2541
2542 __attribute__((noinline))
2543 int func317(uint8_t a1, uint8_t a2) {
2544   char v = (a1 & a2);
2545   if ( v <= 99 )
2546     return 0;
2547   return 1;
2548 }
2549
2550 __attribute__((noinline))
2551 int func318(uint8_t a1) {
2552   char v = 16 * a1;
2553   if ( v <= 78 )
2554     return 0;
2555   return 1;
2556 }
2557
2558 __attribute__((noinline))
2559 int func319(uint8_t a1, uint8_t a2) {
2560   char v = (a1 ^ a2);
2561   if ( v > 16 )
2562     return 0;
2563   return 1;
2564 }
2565
2566 __attribute__((noinline))
2567 int func320(uint8_t a1) {
2568   char v = ~a1;
2569   if ( v > 10 )
2570     return 0;
2571   return 1;
2572 }
2573
2574 __attribute__((noinline))
2575 int func321(uint8_t a1) {
2576   char v = ~a1;
2577   if ( v > 1 )
2578     return 0;
2579   return 1;
2580 }
2581
2582 __attribute__((noinline))
2583 int func322(uint8_t a1) {
2584   char v = a1 >> 5;
2585   if ( v > 3 )
2586     return 0;
2587   return 1;
2588 }
2589
2590 __attribute__((noinline))
2591 int func323(uint8_t a1) {
2592   char v = ~a1;
2593   if ( v > 1 )
2594     return 0;
2595   return 1;
2596 }
2597
2598 __attribute__((noinline))
2599 int func324(uint8_t a1, uint8_t a2) {
2600   char v = a1 | a2;
2601   if ( v > 118 )
2602     return 0;
2603   return 1;
2604 }
2605
2606 __attribute__((noinline))
2607 int func325(uint8_t a1, uint8_t a2) {
2608   char v = (a1 ^ a2);
2609   if ( v <= 1 )
2610     return 0;
2611   return 1;
2612 }
2613
2614 __attribute__((noinline))
2615 int func326(uint8_t a1) {
2616   char v = 16 * a1;
2617   if ( v <= 0 )
2618     return 0;
2619   return 1;
2620 }
2621
2622 __attribute__((noinline))
2623 int func327(uint8_t a1, uint8_t a2) {
2624   char v = (a1 ^ a2);
2625   if ( v > 101 )
2626     return 0;
2627   return 1;
2628 }
2629
2630 __attribute__((noinline))
2631 int func328(uint8_t a1) {
2632   char v = a1 >> 5;
2633   if ( v > 18 )
2634     return 0;
2635   return 1;
2636 }
2637
2638 __attribute__((noinline))
2639 int func329(uint8_t a1) {
2640   char v = ~a1;
2641   if ( v > 1 )
2642     return 0;
2643   return 1;
2644 }
2645
2646 __attribute__((noinline))
2647 int func330(uint8_t a1, uint8_t a2) {
2648   char v = a1 | a2;
2649   if ( v <= 0 )
2650     return 0;
2651   return 1;
2652 }
2653
2654 __attribute__((noinline))
2655 int func331(uint8_t a1, uint8_t a2) {
2656   char v = (a1 ^ a2);
2657   if ( v > 67 )
2658     return 0;
2659   return 1;
2660 }
2661
2662 __attribute__((noinline))
2663 int func332(uint8_t a1, uint8_t a2) {
2664   char v = (a1 & a2);
2665   if ( v > 103 )
2666     return 0;
2667   return 1;
2668 }
2669
2670 __attribute__((noinline))
2671 int func333(uint8_t a1) {
2672   char v = 16 * a1;
2673   if ( v > 1 )
2674     return 0;
2675   return 1;
2676 }
2677
2678 __attribute__((noinline))
2679 int func334(uint8_t a1, uint8_t a2) {
2680   char v = (a1 ^ a2);
2681   if ( v <= 38 )
2682     return 0;
2683   return 1;
2684 }
2685
2686 __attribute__((noinline))
2687 int func335(uint8_t a1) {
2688   char v = ~a1;
2689   if ( v > 1 )
2690     return 0;
2691   return 1;
2692 }
2693
2694 __attribute__((noinline))
2695 int func336(uint8_t a1, uint8_t a2) {
2696   char v = (a1 & a2);
2697   if ( v <= 94 )
2698     return 0;
2699   return 1;
2700 }
2701
2702 __attribute__((noinline))
2703 int func337(uint8_t a1) {
2704   char v = (char)a1 >> 1;
2705   if ( v > 63 )
2706     return 0;
2707   return 1;
2708 }
2709
2710 __attribute__((noinline))
2711 int func338(uint8_t a1) {
2712   char v = ~a1;
2713   if ( v > 1 )
2714     return 0;
2715   return 1;
2716 }
2717
2718 __attribute__((noinline))
2719 int func339(uint8_t a1) {
2720   char v = (char)a1 >> 1;
2721   if ( v <= 47 )
2722     return 0;
2723   return 1;
2724 }
2725
2726 __attribute__((noinline))
2727 int func340(uint8_t a1) {
2728   char v = a1 >> 5;
2729   if ( v <= 0 )
2730     return 0;
2731   return 1;
2732 }
2733
2734 __attribute__((noinline))
2735 int func341(uint8_t a1) {
2736   char v = ~a1;
2737   if ( v > 1 )
2738     return 0;
2739   return 1;
2740 }
2741
2742 __attribute__((noinline))
2743 int func342(uint8_t a1, uint8_t a2) {
2744   char v = a1 | a2;
2745   if ( v > 118 )
2746     return 0;
2747   return 1;
2748 }
2749
2750 __attribute__((noinline))
2751 int func343(uint8_t a1, uint8_t a2) {
2752   char v = (a1 ^ a2);
2753   if ( v > 58 )
2754     return 0;
2755   return 1;
2756 }
2757
2758 __attribute__((noinline))
2759 int func344(uint8_t a1, uint8_t a2) {
2760   char v = (a1 & a2);
2761   if ( v <= 91 )
2762     return 0;
2763   return 1;
2764 }
2765
2766 __attribute__((noinline))
2767 int func345(uint8_t a1) {
2768   char v = 16 * a1;
2769   if ( v <= 72 )
2770     return 0;
2771   return 1;
2772 }
2773
2774 __attribute__((noinline))
2775 int func346(uint8_t a1, uint8_t a2) {
2776   char v = (a1 ^ a2);
2777   if ( v > 63 )
2778     return 0;
2779   return 1;
2780 }
2781
2782 __attribute__((noinline))
2783 int func347(uint8_t a1) {
2784   char v = ~a1;
2785   if ( v > 1 )
2786     return 0;
2787   return 1;
2788 }
2789
2790 __attribute__((noinline))
2791 int func348(uint8_t a1, uint8_t a2) {
2792   char v = (a1 & a2);
2793   if ( v <= 94 )
2794     return 0;
2795   return 1;
2796 }
2797
2798 __attribute__((noinline))
2799 int func349(uint8_t a1) {
2800   char v = (char)a1 >> 1;
2801   if ( v <= 57 )
2802     return 0;
2803   return 1;
2804 }
2805
2806 __attribute__((noinline))
2807 int func350(uint8_t a1) {
2808   char v = ~a1;
2809   if ( v > 1 )
2810     return 0;
2811   return 1;
2812 }
2813
2814 __attribute__((noinline))
2815 int func351(uint8_t a1, uint8_t a2) {
2816   char v = (a1 & a2);
2817   if ( v > 99 )
2818     return 0;
2819   return 1;
2820 }
2821
2822 __attribute__((noinline))
2823 int func352(uint8_t a1) {
2824   char v = (char)a1 >> 1;
2825   if ( v > 63 )
2826     return 0;
2827   return 1;
2828 }
2829
2830 __attribute__((noinline))
2831 int func353(uint8_t a1) {
2832   char v = a1 >> 5;
2833   if ( v > 81 )
2834     return 0;
2835   return 1;
2836 }
2837
2838 __attribute__((noinline))
2839 int func354(uint8_t a1) {
2840   char v = ~a1;
2841   if ( v > 1 )
2842     return 0;
2843   return 1;
2844 }
2845
2846 __attribute__((noinline))
2847 int func355(uint8_t a1, uint8_t a2) {
2848   char v = a1 | a2;
2849   if ( v > 118 )
2850     return 0;
2851   return 1;
2852 }
2853
2854 __attribute__((noinline))
2855 int func356(uint8_t a1, uint8_t a2) {
2856   char v = (a1 ^ a2);
2857   if ( v > 1 )
2858     return 0;
2859   return 1;
2860 }
2861
2862 __attribute__((noinline))
2863 int func357(uint8_t a1, uint8_t a2) {
2864   char v = (a1 & a2);
2865   if ( v <= 72 )
2866     return 0;
2867   return 1;
2868 }
2869
2870 __attribute__((noinline))
2871 int func358(uint8_t a1) {
2872   char v = 16 * a1;
2873   if ( v > 1 )
2874     return 0;
2875   return 1;
2876 }
2877
2878 __attribute__((noinline))
2879 int func359(uint8_t a1, uint8_t a2) {
2880   char v = (a1 ^ a2);
2881   if ( v > 110 )
2882     return 0;
2883   return 1;
2884 }
2885
2886 __attribute__((noinline))
2887 int func360(uint8_t a1) {
2888   char v = ~a1;
2889   if ( v > 1 )
2890     return 0;
2891   return 1;
2892 }
2893
2894 __attribute__((noinline))
2895 int func361(uint8_t a1, uint8_t a2) {
2896   char v = (a1 & a2);
2897   if ( v <= 68 )
2898     return 0;
2899   return 1;
2900 }
2901
2902 __attribute__((noinline))
2903 int func362(uint8_t a1) {
2904   char v = (char)a1 >> 1;
2905   if ( v > 91 )
2906     return 0;
2907   return 1;
2908 }
2909
2910 __attribute__((noinline))
2911 int func363(uint8_t a1) {
2912   char v = ~a1;
2913   if ( v > 1 )
2914     return 0;
2915   return 1;
2916 }
2917
2918 __attribute__((noinline))
2919 int func364(uint8_t a1, uint8_t a2) {
2920   char v = (a1 & a2);
2921   if ( v > 99 )
2922     return 0;
2923   return 1;
2924 }
2925
2926 __attribute__((noinline))
2927 int func365(uint8_t a1) {
2928   char v = (char)a1 >> 1;
2929   if ( v <= 40 )
2930     return 0;
2931   return 1;
2932 }
2933
2934 __attribute__((noinline))
2935 int func366(uint8_t a1) {
2936   char v = (char)a1 >> 1;
2937   if ( v <= 31 )
2938     return 0;
2939   return 1;
2940 }
2941
2942 __attribute__((noinline))
2943 int func367(uint8_t a1) {
2944   char v = ~a1;
2945   if ( v > 1 )
2946     return 0;
2947   return 1;
2948 }
2949
2950 __attribute__((noinline))
2951 int func368(uint8_t a1) {
2952   char v = a1 >> 5;
2953   if ( v > 96 )
2954     return 0;
2955   return 1;
2956 }
2957
2958 __attribute__((noinline))
2959 int func369(uint8_t a1) {
2960   char v = ~a1;
2961   if ( v > 1 )
2962     return 0;
2963   return 1;
2964 }
2965
2966 __attribute__((noinline))
2967 int func370(uint8_t a1, uint8_t a2) {
2968   char v = (a1 ^ a2);
2969   if ( v > 42 )
2970     return 0;
2971   return 1;
2972 }
2973
2974 __attribute__((noinline))
2975 int func371(uint8_t a1, uint8_t a2) {
2976   char v = (a1 & a2);
2977   if ( v > 118 )
2978     return 0;
2979   return 1;
2980 }
2981
2982 __attribute__((noinline))
2983 int func372(uint8_t a1) {
2984   char v = (char)a1 >> 1;
2985   if ( v > 94 )
2986     return 0;
2987   return 1;
2988 }
2989
2990 __attribute__((noinline))
2991 int func373(uint8_t a1) {
2992   char v = ~a1;
2993   if ( v > 1 )
2994     return 0;
2995   return 1;
2996 }
2997
2998 __attribute__((noinline))
2999 int func374(uint8_t a1) {
3000   char v = ~a1;
3001   if ( v > 1 )
3002     return 0;
3003   return 1;
3004 }
3005
3006 __attribute__((noinline))
3007 int func375(uint8_t a1, uint8_t a2) {
3008   char v = (a1 ^ a2);
3009   if ( v > 64 )
3010     return 0;
3011   return 1;
3012 }
3013
3014 __attribute__((noinline))
3015 int func376(uint8_t a1, uint8_t a2) {
3016   char v = (a1 & a2);
3017   if ( v > 110 )
3018     return 0;
3019   return 1;
3020 }
3021
3022 __attribute__((noinline))
3023 int func377(uint8_t a1) {
3024   char v = 4 * a1;
3025   if ( v <= 104 )
3026     return 0;
3027   return 1;
3028 }
3029
3030 __attribute__((noinline))
3031 int func378(uint8_t a1, uint8_t a2) {
3032   char v = a1 | a2;
3033   if ( v > 112 )
3034     return 0;
3035   return 1;
3036 }
3037
3038 __attribute__((noinline))
3039 int func379(uint8_t a1, uint8_t a2) {
3040   char v = (a1 & a2);
3041   if ( v <= 62 )
3042     return 0;
3043   return 1;
3044 }
3045
3046 __attribute__((noinline))
3047 int func380(uint8_t a1, uint8_t a2) {
3048   char v = (a1 & a2);
3049   if ( v > 48 )
3050     return 0;
3051   return 1;
3052 }
3053
3054 __attribute__((noinline))
3055 int func381(uint8_t a1, uint8_t a2) {
3056   char v = (a1 ^ a2);
3057   if ( v > 58 )
3058     return 0;
3059   return 1;
3060 }
3061
3062 __attribute__((noinline))
3063 int func382(uint8_t a1) {
3064   char v = 4 * a1;
3065   if ( v <= 104 )
3066     return 0;
3067   return 1;
3068 }
3069
3070 __attribute__((noinline))
3071 int func383(uint8_t a1, uint8_t a2) {
3072   char v = a1 | a2;
3073   if ( v <= 50 )
3074     return 0;
3075   return 1;
3076 }
3077
3078 __attribute__((noinline))
3079 int func384(uint8_t a1, uint8_t a2) {
3080   char v = (a1 & a2);
3081   if ( v <= 38 )
3082     return 0;
3083   return 1;
3084 }
3085
3086 __attribute__((noinline))
3087 int func385(uint8_t a1, uint8_t a2) {
3088   char v = (a1 & a2);
3089   if ( v > 85 )
3090     return 0;
3091   return 1;
3092 }
3093
3094 __attribute__((noinline))
3095 int func386(uint8_t a1, uint8_t a2) {
3096   char v = (a1 ^ a2);
3097   if ( v <= 18 )
3098     return 0;
3099   return 1;
3100 }
3101
3102 __attribute__((noinline))
3103 int func387(uint8_t a1) {
3104   char v = 4 * a1;
3105   if ( v <= 97 )
3106     return 0;
3107   return 1;
3108 }
3109
3110 __attribute__((noinline))
3111 int func388(uint8_t a1, uint8_t a2) {
3112   char v = a1 | a2;
3113   if ( v <= 94 )
3114     return 0;
3115   return 1;
3116 }
3117
3118 __attribute__((noinline))
3119 int func389(uint8_t a1, uint8_t a2) {
3120   char v = (a1 & a2);
3121   if ( v <= 26 )
3122     return 0;
3123   return 1;
3124 }
3125
3126 __attribute__((noinline))
3127 int func390(uint8_t a1, uint8_t a2) {
3128   char v = (a1 ^ a2);
3129   if ( v > 67 )
3130     return 0;
3131   return 1;
3132 }
3133
3134 __attribute__((noinline))
3135 int func391(uint8_t a1) {
3136   char v = 4 * a1;
3137   if ( v <= 103 )
3138     return 0;
3139   return 1;
3140 }
3141
3142 __attribute__((noinline))
3143 int func392(uint8_t a1, uint8_t a2) {
3144   char v = (a1 & a2);
3145   if ( v > 50 )
3146     return 0;
3147   return 1;
3148 }
3149
3150 __attribute__((noinline))
3151 int func393(uint8_t a1, uint8_t a2) {
3152   char v = (a1 ^ a2);
3153   if ( v <= 22 )
3154     return 0;
3155   return 1;
3156 }
3157
3158 __attribute__((noinline))
3159 int func394(uint8_t a1) {
3160   char v = 4 * a1;
3161   if ( v <= 103 )
3162     return 0;
3163   return 1;
3164 }
3165
3166 __attribute__((noinline))
3167 int func395(uint8_t a1, uint8_t a2) {
3168   char v = a1 | a2;
3169   if ( v <= 38 )
3170     return 0;
3171   return 1;
3172 }
3173
3174 __attribute__((noinline))
3175 int func396(uint8_t a1, uint8_t a2) {
3176   char v = (a1 & a2);
3177   if ( v <= 52 )
3178     return 0;
3179   return 1;
3180 }
3181
3182 __attribute__((noinline))
3183 int func397(uint8_t a1, uint8_t a2) {
3184   char v = (a1 & a2);
3185   if ( v <= 17 )
3186     return 0;
3187   return 1;
3188 }
3189
3190 __attribute__((noinline))
3191 int func398(uint8_t a1) {
3192   char v = 4 * a1;
3193   if ( v > 1 )
3194     return 0;
3195   return 1;
3196 }
3197
3198 __attribute__((noinline))
3199 int func399(uint8_t a1, uint8_t a2) {
3200   char v = a1 | a2;
3201   if ( v <= 92 )
3202     return 0;
3203   return 1;
3204 }
3205
3206 __attribute__((noinline))
3207 int func400(uint8_t a1, uint8_t a2) {
3208   char v = (a1 & a2);
3209   if ( v <= 55 )
3210     return 0;
3211   return 1;
3212 }
3213
3214 __attribute__((noinline))
3215 int func401(uint8_t a1, uint8_t a2) {
3216   char v = (a1 ^ a2);
3217   if ( v > 81 )
3218     return 0;
3219   return 1;
3220 }
3221
3222 __attribute__((noinline))
3223 int func402(uint8_t a1) {
3224   char v = 4 * a1;
3225   if ( v > 1 )
3226     return 0;
3227   return 1;
3228 }
3229
3230 __attribute__((noinline))
3231 int func403(uint8_t a1, uint8_t a2) {
3232   char v = a1 | a2;
3233   if ( v <= 94 )
3234     return 0;
3235   return 1;
3236 }
3237
3238 __attribute__((noinline))
3239 int func404(uint8_t a1) {
3240   char v = ~a1;
3241   if ( v > 1 )
3242     return 0;
3243   return 1;
3244 }
3245
3246 __attribute__((noinline))
3247 int func405(uint8_t a1) {
3248   char v = ~a1;
3249   if ( v > 1 )
3250     return 0;
3251   return 1;
3252 }
3253
3254 __attribute__((noinline))
3255 int func406(uint8_t a1, uint8_t a2) {
3256   char v = (a1 ^ a2);
3257   if ( v > 101 )
3258     return 0;
3259   return 1;
3260 }
3261
3262 __attribute__((noinline))
3263 int func407(uint8_t a1) {
3264   char v = 4 * a1;
3265   if ( v > 1 )
3266     return 0;
3267   return 1;
3268 }
3269
3270 __attribute__((noinline))
3271 int func408(uint8_t a1, uint8_t a2) {
3272   char v = a1 | a2;
3273   if ( v <= 44 )
3274     return 0;
3275   return 1;
3276 }
3277
3278 __attribute__((noinline))
3279 int func409(uint8_t a1) {
3280   char v = ~a1;
3281   if ( v > 1 )
3282     return 0;
3283   return 1;
3284 }
3285
3286 __attribute__((noinline))
3287 int func410(uint8_t a1) {
3288   char v = ~a1;
3289   if ( v > 1 )
3290     return 0;
3291   return 1;
3292 }
3293
3294 int api(const uint8_t *data, size_t size) {
3295   if (size != 20) return 0;
3296
3297   if (func1(data[0], data[1]) == 0)
3298     return 0;
3299   if (func2(data[0], data[1]) == 0)
3300     return 0;
3301   if (func3(data[18], data[1]) == 0)
3302     return 0;
3303   if (func4(data[7], data[4], data[0]) == 0)
3304     return 0;
3305   if (func5(data[0], data[2]) == 0)
3306     return 0;
3307   if (func6(data[11], data[17]) == 0)
3308     return 0;
3309   if (func7(data[0], data[13]) == 0)
3310     return 0;
3311   if (func8(data[13], data[10]) == 0)
3312     return 0;
3313   if (func9(data[11], data[16]) == 0)
3314     return 0;
3315   if (func10(data[10], data[8]) == 0)
3316     return 0;
3317   if (func11(data[19], data[5]) == 0)
3318     return 0;
3319   if (func12(data[0], data[1]) == 0)
3320     return 0;
3321   if (func13(data[17], data[3]) == 0)
3322     return 0;
3323   if (func14(data[14]) == 0)
3324     return 0;
3325   if (func15(data[13], data[15]) == 0)
3326     return 0;
3327   if (func16(data[0]) == 0)
3328     return 0;
3329   if (func17(data[19]) == 0)
3330     return 0;
3331   if (func18(data[1], data[11]) == 0)
3332     return 0;
3333   if (func19(data[12], data[15]) == 0)
3334     return 0;
3335   if (func20(data[13], data[1]) == 0)
3336     return 0;
3337   if (func21(data[10], data[19], data[12]) == 0)
3338     return 0;
3339   if (func22(data[6]) == 0)
3340     return 0;
3341   if (func23(data[1], data[9]) == 0)
3342     return 0;
3343   if (func24(data[16]) == 0)
3344     return 0;
3345   if (func25(data[6]) == 0)
3346     return 0;
3347   if (func26(data[4], data[12]) == 0)
3348     return 0;
3349   if (func27(data[16]) == 0)
3350     return 0;
3351   if (func28(data[14]) == 0)
3352     return 0;
3353   if (func29(data[0]) == 0)
3354     return 0;
3355   if (func30(data[19]) == 0)
3356     return 0;
3357   if (func31(data[0], data[1]) == 0)
3358     return 0;
3359   if (func32(data[0], data[1]) == 0)
3360     return 0;
3361   if (func33(data[14]) == 0)
3362     return 0;
3363   if (func34(data[0], data[19]) == 0)
3364     return 0;
3365   if (func35(data[0]) == 0)
3366     return 0;
3367   if (func36(data[16], data[7]) == 0)
3368     return 0;
3369   if (func37(data[19]) == 0)
3370     return 0;
3371   if (func38(data[15], data[3]) == 0)
3372     return 0;
3373   if (func39(data[19], data[15]) == 0)
3374     return 0;
3375   if (func40(data[0], data[1]) == 0)
3376     return 0;
3377   if (func41(data[18], data[1]) == 0)
3378     return 0;
3379   if (func42(data[16], data[5], data[1]) == 0)
3380     return 0;
3381   if (func43(data[14]) == 0)
3382     return 0;
3383   if (func44(data[0]) == 0)
3384     return 0;
3385   if (func45(data[19]) == 0)
3386     return 0;
3387   if (func46(data[4], data[19]) == 0)
3388     return 0;
3389   if (func47(data[8], data[7]) == 0)
3390     return 0;
3391   if (func48(data[6], data[7]) == 0)
3392     return 0;
3393   if (func49(data[18], data[1]) == 0)
3394     return 0;
3395   if (func50(data[2], data[8]) == 0)
3396     return 0;
3397   if (func51(data[2], data[13]) == 0)
3398     return 0;
3399   if (func52(data[3], data[8]) == 0)
3400     return 0;
3401   if (func53(data[16], data[18]) == 0)
3402     return 0;
3403   if (func54(data[10], data[9]) == 0)
3404     return 0;
3405   if (func55(data[18], data[1]) == 0)
3406     return 0;
3407   if (func56(data[0], data[1]) == 0)
3408     return 0;
3409   if (func57(data[16], data[1]) == 0)
3410     return 0;
3411   if (func58(data[18], data[1]) == 0)
3412     return 0;
3413   if (func59(data[18], data[3]) == 0)
3414     return 0;
3415   if (func60(data[9], data[1]) == 0)
3416     return 0;
3417   if (func61(data[0], data[1]) == 0)
3418     return 0;
3419   if (func62(data[13], data[1]) == 0)
3420     return 0;
3421   if (func63(data[18], data[1]) == 0)
3422     return 0;
3423   if (func64(data[0], data[1]) == 0)
3424     return 0;
3425   if (func65(data[0], data[1]) == 0)
3426     return 0;
3427   if (func66(data[11], data[14]) == 0)
3428     return 0;
3429   if (func67(data[5], data[11]) == 0)
3430     return 0;
3431   if (func68(data[18], data[1]) == 0)
3432     return 0;
3433   if (func69(data[0], data[6]) == 0)
3434     return 0;
3435   if (func70(data[2]) == 0)
3436     return 0;
3437   if (func71(data[0], data[1]) == 0)
3438     return 0;
3439   if (func72(data[9], data[10]) == 0)
3440     return 0;
3441   if (func73(data[10], data[8]) == 0)
3442     return 0;
3443   if (func74(data[19], data[17]) == 0)
3444     return 0;
3445   if (func75(data[0], data[17], data[8]) == 0)
3446     return 0;
3447   if (func76(data[17], data[18]) == 0)
3448     return 0;
3449   if (func77(data[18], data[9]) == 0)
3450     return 0;
3451   if (func78(data[3], data[6]) == 0)
3452     return 0;
3453   if (func79(data[16]) == 0)
3454     return 0;
3455   if (func80(data[7], data[3], data[17]) == 0)
3456     return 0;
3457   if (func81(data[0], data[1]) == 0)
3458     return 0;
3459   if (func82(data[10], data[18]) == 0)
3460     return 0;
3461   if (func83(data[6], data[7]) == 0)
3462     return 0;
3463   if (func84(data[0], data[6]) == 0)
3464     return 0;
3465   if (func85(data[12]) == 0)
3466     return 0;
3467   if (func86(data[0], data[1]) == 0)
3468     return 0;
3469   if (func87(data[6], data[1]) == 0)
3470     return 0;
3471   if (func88(data[18], data[1]) == 0)
3472     return 0;
3473   if (func89(data[0], data[6]) == 0)
3474     return 0;
3475   if (func90(data[0], data[1]) == 0)
3476     return 0;
3477   if (func91(data[18], data[1]) == 0)
3478     return 0;
3479   if (func92(data[0], data[6]) == 0)
3480     return 0;
3481   if (func93(data[13], data[10]) == 0)
3482     return 0;
3483   if (func94(data[2]) == 0)
3484     return 0;
3485   if (func95(data[0], data[1]) == 0)
3486     return 0;
3487   if (func96(data[0], data[11]) == 0)
3488     return 0;
3489   if (func97(data[18], data[1]) == 0)
3490     return 0;
3491   if (func98(data[0], data[6]) == 0)
3492     return 0;
3493   if (func99(data[0], data[19]) == 0)
3494     return 0;
3495   if (func100(data[14], data[18], data[3]) == 0)
3496     return 0;
3497   if (func101(data[14]) == 0)
3498     return 0;
3499   if (func102(data[6], data[1]) == 0)
3500     return 0;
3501   if (func103(data[5], data[1]) == 0)
3502     return 0;
3503   if (func104(data[14], data[3], data[10]) == 0)
3504     return 0;
3505   if (func105(data[18], data[1]) == 0)
3506     return 0;
3507   if (func106(data[0], data[6]) == 0)
3508     return 0;
3509   if (func107(data[6]) == 0)
3510     return 0;
3511   if (func108(data[9], data[10]) == 0)
3512     return 0;
3513   if (func109(data[7]) == 0)
3514     return 0;
3515   if (func110(data[9], data[17]) == 0)
3516     return 0;
3517   if (func111(data[16], data[15], data[18]) == 0)
3518     return 0;
3519   if (func112(data[0], data[16]) == 0)
3520     return 0;
3521   if (func113(data[18], data[3]) == 0)
3522     return 0;
3523   if (func114(data[3]) == 0)
3524     return 0;
3525   if (func115(data[0], data[1]) == 0)
3526     return 0;
3527   if (func116(data[14]) == 0)
3528     return 0;
3529   if (func117(data[0]) == 0)
3530     return 0;
3531   if (func118(data[19]) == 0)
3532     return 0;
3533   if (func119(data[0], data[6]) == 0)
3534     return 0;
3535   if (func120(data[9], data[5], data[0]) == 0)
3536     return 0;
3537   if (func121(data[0], data[1]) == 0)
3538     return 0;
3539   if (func122(data[12], data[4]) == 0)
3540     return 0;
3541   if (func123(data[14]) == 0)
3542     return 0;
3543   if (func124(data[0]) == 0)
3544     return 0;
3545   if (func125(data[19]) == 0)
3546     return 0;
3547   if (func126(data[14]) == 0)
3548     return 0;
3549   if (func127(data[1], data[9]) == 0)
3550     return 0;
3551   if (func128(data[19]) == 0)
3552     return 0;
3553   if (func129(data[11], data[14]) == 0)
3554     return 0;
3555   if (func130(data[11], data[9]) == 0)
3556     return 0;
3557   if (func131(data[12], data[15]) == 0)
3558     return 0;
3559   if (func132(data[0], data[2]) == 0)
3560     return 0;
3561   if (func133(data[13], data[1]) == 0)
3562     return 0;
3563   if (func134(data[7]) == 0)
3564     return 0;
3565   if (func135(data[13], data[5]) == 0)
3566     return 0;
3567   if (func136(data[12], data[14]) == 0)
3568     return 0;
3569   if (func137(data[9], data[4]) == 0)
3570     return 0;
3571   if (func138(data[6]) == 0)
3572     return 0;
3573   if (func139(data[14]) == 0)
3574     return 0;
3575   if (func140(data[0]) == 0)
3576     return 0;
3577   if (func141(data[19]) == 0)
3578     return 0;
3579   if (func142(data[11], data[9]) == 0)
3580     return 0;
3581   if (func143(data[12], data[15]) == 0)
3582     return 0;
3583   if (func144(data[7]) == 0)
3584     return 0;
3585   if (func145(data[19], data[7]) == 0)
3586     return 0;
3587   if (func146(data[4], data[6]) == 0)
3588     return 0;
3589   if (func147(data[6]) == 0)
3590     return 0;
3591   if (func148(data[0]) == 0)
3592     return 0;
3593   if (func149(data[19]) == 0)
3594     return 0;
3595   if (func150(data[11], data[9]) == 0)
3596     return 0;
3597   if (func151(data[12], data[15]) == 0)
3598     return 0;
3599   if (func152(data[13], data[1]) == 0)
3600     return 0;
3601   if (func153(data[7]) == 0)
3602     return 0;
3603   if (func154(data[2], data[8]) == 0)
3604     return 0;
3605   if (func155(data[13], data[5]) == 0)
3606     return 0;
3607   if (func156(data[6]) == 0)
3608     return 0;
3609   if (func157(data[6]) == 0)
3610     return 0;
3611   if (func158(data[14]) == 0)
3612     return 0;
3613   if (func159(data[0]) == 0)
3614     return 0;
3615   if (func160(data[19]) == 0)
3616     return 0;
3617   if (func161(data[12], data[15]) == 0)
3618     return 0;
3619   if (func162(data[5]) == 0)
3620     return 0;
3621   if (func163(data[6], data[7], data[3]) == 0)
3622     return 0;
3623   if (func164(data[13], data[5]) == 0)
3624     return 0;
3625   if (func165(data[6]) == 0)
3626     return 0;
3627   if (func166(data[14]) == 0)
3628     return 0;
3629   if (func167(data[0]) == 0)
3630     return 0;
3631   if (func168(data[19]) == 0)
3632     return 0;
3633   if (func169(data[11], data[9]) == 0)
3634     return 0;
3635   if (func170(data[9], data[11]) == 0)
3636     return 0;
3637   if (func171(data[6]) == 0)
3638     return 0;
3639   if (func172(data[14]) == 0)
3640     return 0;
3641   if (func173(data[19]) == 0)
3642     return 0;
3643   if (func174(data[11], data[9]) == 0)
3644     return 0;
3645   if (func175(data[12], data[15]) == 0)
3646     return 0;
3647   if (func176(data[7]) == 0)
3648     return 0;
3649   if (func177(data[13], data[5]) == 0)
3650     return 0;
3651   if (func178(data[0]) == 0)
3652     return 0;
3653   if (func179(data[19]) == 0)
3654     return 0;
3655   if (func180(data[11], data[9]) == 0)
3656     return 0;
3657   if (func181(data[12], data[15]) == 0)
3658     return 0;
3659   if (func182(data[13], data[1]) == 0)
3660     return 0;
3661   if (func183(data[7], data[17]) == 0)
3662     return 0;
3663   if (func184(data[7]) == 0)
3664     return 0;
3665   if (func185(data[6]) == 0)
3666     return 0;
3667   if (func186(data[4], data[12]) == 0)
3668     return 0;
3669   if (func187(data[2], data[8]) == 0)
3670     return 0;
3671   if (func188(data[16]) == 0)
3672     return 0;
3673   if (func189(data[6]) == 0)
3674     return 0;
3675   if (func190(data[4], data[12]) == 0)
3676     return 0;
3677   if (func191(data[16]) == 0)
3678     return 0;
3679   if (func192(data[19]) == 0)
3680     return 0;
3681   if (func193(data[19], data[4], data[2]) == 0)
3682     return 0;
3683   if (func194(data[11], data[9]) == 0)
3684     return 0;
3685   if (func195(data[12], data[15]) == 0)
3686     return 0;
3687   if (func196(data[13], data[15]) == 0)
3688     return 0;
3689   if (func197(data[13], data[1]) == 0)
3690     return 0;
3691   if (func198(data[19], data[5]) == 0)
3692     return 0;
3693   if (func199(data[13], data[5]) == 0)
3694     return 0;
3695   if (func200(data[6]) == 0)
3696     return 0;
3697   if (func201(data[4], data[12]) == 0)
3698     return 0;
3699   if (func202(data[5], data[17]) == 0)
3700     return 0;
3701   if (func203(data[16]) == 0)
3702     return 0;
3703   if (func204(data[6]) == 0)
3704     return 0;
3705   if (func205(data[7], data[3], data[17]) == 0)
3706     return 0;
3707   if (func206(data[4], data[12]) == 0)
3708     return 0;
3709   if (func207(data[16]) == 0)
3710     return 0;
3711   if (func208(data[0]) == 0)
3712     return 0;
3713   if (func209(data[19]) == 0)
3714     return 0;
3715   if (func210(data[11], data[9]) == 0)
3716     return 0;
3717   if (func211(data[13], data[1]) == 0)
3718     return 0;
3719   if (func212(data[7]) == 0)
3720     return 0;
3721   if (func213(data[13], data[5]) == 0)
3722     return 0;
3723   if (func214(data[6]) == 0)
3724     return 0;
3725   if (func215(data[4], data[12]) == 0)
3726     return 0;
3727   if (func216(data[6]) == 0)
3728     return 0;
3729   if (func217(data[4], data[12]) == 0)
3730     return 0;
3731   if (func218(data[16]) == 0)
3732     return 0;
3733   if (func219(data[16]) == 0)
3734     return 0;
3735   if (func220(data[0]) == 0)
3736     return 0;
3737   if (func221(data[19]) == 0)
3738     return 0;
3739   if (func222(data[0], data[1]) == 0)
3740     return 0;
3741   if (func223(data[0], data[1]) == 0)
3742     return 0;
3743   if (func224(data[14]) == 0)
3744     return 0;
3745   if (func225(data[0]) == 0)
3746     return 0;
3747   if (func226(data[19]) == 0)
3748     return 0;
3749   if (func227(data[0], data[1]) == 0)
3750     return 0;
3751   if (func228(data[0], data[1]) == 0)
3752     return 0;
3753   if (func229(data[18], data[1]) == 0)
3754     return 0;
3755   if (func230(data[0], data[1]) == 0)
3756     return 0;
3757   if (func231(data[17], data[3]) == 0)
3758     return 0;
3759   if (func232(data[0], data[1]) == 0)
3760     return 0;
3761   if (func233(data[18], data[1]) == 0)
3762     return 0;
3763   if (func234(data[0], data[1]) == 0)
3764     return 0;
3765   if (func235(data[18], data[4]) == 0)
3766     return 0;
3767   if (func236(data[18], data[1]) == 0)
3768     return 0;
3769   if (func237(data[0], data[1]) == 0)
3770     return 0;
3771   if (func238(data[2], data[8]) == 0)
3772     return 0;
3773   if (func239(data[13], data[0]) == 0)
3774     return 0;
3775   if (func240(data[0], data[1]) == 0)
3776     return 0;
3777   if (func241(data[0], data[1]) == 0)
3778     return 0;
3779   if (func242(data[18], data[1]) == 0)
3780     return 0;
3781   if (func243(data[0], data[6]) == 0)
3782     return 0;
3783   if (func244(data[2]) == 0)
3784     return 0;
3785   if (func245(data[0], data[1]) == 0)
3786     return 0;
3787   if (func246(data[1], data[11]) == 0)
3788     return 0;
3789   if (func247(data[18], data[1]) == 0)
3790     return 0;
3791   if (func248(data[0], data[6]) == 0)
3792     return 0;
3793   if (func249(data[2]) == 0)
3794     return 0;
3795   if (func250(data[0], data[1]) == 0)
3796     return 0;
3797   if (func251(data[4], data[6]) == 0)
3798     return 0;
3799   if (func252(data[0], data[1]) == 0)
3800     return 0;
3801   if (func253(data[18], data[1]) == 0)
3802     return 0;
3803   if (func254(data[16], data[15], data[18]) == 0)
3804     return 0;
3805   if (func255(data[0], data[6]) == 0)
3806     return 0;
3807   if (func256(data[2]) == 0)
3808     return 0;
3809   if (func257(data[16], data[18]) == 0)
3810     return 0;
3811   if (func258(data[0], data[1]) == 0)
3812     return 0;
3813   if (func259(data[0], data[6]) == 0)
3814     return 0;
3815   if (func260(data[9], data[13]) == 0)
3816     return 0;
3817   if (func261(data[2]) == 0)
3818     return 0;
3819   if (func262(data[2]) == 0)
3820     return 0;
3821   if (func263(data[0], data[1]) == 0)
3822     return 0;
3823   if (func264(data[0], data[1]) == 0)
3824     return 0;
3825   if (func265(data[0], data[6]) == 0)
3826     return 0;
3827   if (func266(data[7], data[4]) == 0)
3828     return 0;
3829   if (func267(data[16], data[7]) == 0)
3830     return 0;
3831   if (func268(data[0], data[1]) == 0)
3832     return 0;
3833   if (func269(data[0], data[1]) == 0)
3834     return 0;
3835   if (func270(data[18], data[1]) == 0)
3836     return 0;
3837   if (func271(data[13], data[3]) == 0)
3838     return 0;
3839   if (func272(data[2]) == 0)
3840     return 0;
3841   if (func273(data[0], data[1]) == 0)
3842     return 0;
3843   if (func274(data[2]) == 0)
3844     return 0;
3845   if (func275(data[0], data[1]) == 0)
3846     return 0;
3847   if (func276(data[14]) == 0)
3848     return 0;
3849   if (func277(data[0]) == 0)
3850     return 0;
3851   if (func278(data[19]) == 0)
3852     return 0;
3853   if (func279(data[0], data[6]) == 0)
3854     return 0;
3855   if (func280(data[2]) == 0)
3856     return 0;
3857   if (func281(data[0], data[1]) == 0)
3858     return 0;
3859   if (func282(data[8], data[0]) == 0)
3860     return 0;
3861   if (func283(data[14]) == 0)
3862     return 0;
3863   if (func284(data[19]) == 0)
3864     return 0;
3865   if (func285(data[14]) == 0)
3866     return 0;
3867   if (func286(data[19]) == 0)
3868     return 0;
3869   if (func287(data[11], data[9]) == 0)
3870     return 0;
3871   if (func288(data[12], data[15]) == 0)
3872     return 0;
3873   if (func289(data[13], data[1]) == 0)
3874     return 0;
3875   if (func290(data[7]) == 0)
3876     return 0;
3877   if (func291(data[13], data[5]) == 0)
3878     return 0;
3879   if (func292(data[6]) == 0)
3880     return 0;
3881   if (func293(data[14]) == 0)
3882     return 0;
3883   if (func294(data[19]) == 0)
3884     return 0;
3885   if (func295(data[11], data[9]) == 0)
3886     return 0;
3887   if (func296(data[12], data[15]) == 0)
3888     return 0;
3889   if (func297(data[12], data[4]) == 0)
3890     return 0;
3891   if (func298(data[7]) == 0)
3892     return 0;
3893   if (func299(data[13], data[5]) == 0)
3894     return 0;
3895   if (func300(data[12], data[14]) == 0)
3896     return 0;
3897   if (func301(data[6]) == 0)
3898     return 0;
3899   if (func302(data[14]) == 0)
3900     return 0;
3901   if (func303(data[19]) == 0)
3902     return 0;
3903   if (func304(data[11], data[9]) == 0)
3904     return 0;
3905   if (func305(data[12], data[15]) == 0)
3906     return 0;
3907   if (func306(data[13], data[1]) == 0)
3908     return 0;
3909   if (func307(data[6]) == 0)
3910     return 0;
3911   if (func308(data[19]) == 0)
3912     return 0;
3913   if (func309(data[12], data[15]) == 0)
3914     return 0;
3915   if (func310(data[13], data[1]) == 0)
3916     return 0;
3917   if (func311(data[13], data[5]) == 0)
3918     return 0;
3919   if (func312(data[6]) == 0)
3920     return 0;
3921   if (func313(data[14]) == 0)
3922     return 0;
3923   if (func314(data[0]) == 0)
3924     return 0;
3925   if (func315(data[9]) == 0)
3926     return 0;
3927   if (func316(data[11], data[9]) == 0)
3928     return 0;
3929   if (func317(data[13], data[1]) == 0)
3930     return 0;
3931   if (func318(data[7]) == 0)
3932     return 0;
3933   if (func319(data[13], data[4]) == 0)
3934     return 0;
3935   if (func320(data[16]) == 0)
3936     return 0;
3937   if (func321(data[4]) == 0)
3938     return 0;
3939   if (func322(data[0]) == 0)
3940     return 0;
3941   if (func323(data[19]) == 0)
3942     return 0;
3943   if (func324(data[11], data[9]) == 0)
3944     return 0;
3945   if (func325(data[12], data[15]) == 0)
3946     return 0;
3947   if (func326(data[7]) == 0)
3948     return 0;
3949   if (func327(data[13], data[5]) == 0)
3950     return 0;
3951   if (func328(data[0]) == 0)
3952     return 0;
3953   if (func329(data[19]) == 0)
3954     return 0;
3955   if (func330(data[11], data[9]) == 0)
3956     return 0;
3957   if (func331(data[12], data[15]) == 0)
3958     return 0;
3959   if (func332(data[13], data[1]) == 0)
3960     return 0;
3961   if (func333(data[4]) == 0)
3962     return 0;
3963   if (func334(data[13], data[5]) == 0)
3964     return 0;
3965   if (func335(data[6]) == 0)
3966     return 0;
3967   if (func336(data[4], data[12]) == 0)
3968     return 0;
3969   if (func337(data[16]) == 0)
3970     return 0;
3971   if (func338(data[6]) == 0)
3972     return 0;
3973   if (func339(data[16]) == 0)
3974     return 0;
3975   if (func340(data[0]) == 0)
3976     return 0;
3977   if (func341(data[19]) == 0)
3978     return 0;
3979   if (func342(data[11], data[9]) == 0)
3980     return 0;
3981   if (func343(data[12], data[15]) == 0)
3982     return 0;
3983   if (func344(data[13], data[1]) == 0)
3984     return 0;
3985   if (func345(data[7]) == 0)
3986     return 0;
3987   if (func346(data[13], data[5]) == 0)
3988     return 0;
3989   if (func347(data[6]) == 0)
3990     return 0;
3991   if (func348(data[4], data[12]) == 0)
3992     return 0;
3993   if (func349(data[16]) == 0)
3994     return 0;
3995   if (func350(data[6]) == 0)
3996     return 0;
3997   if (func351(data[4], data[12]) == 0)
3998     return 0;
3999   if (func352(data[16]) == 0)
4000     return 0;
4001   if (func353(data[0]) == 0)
4002     return 0;
4003   if (func354(data[19]) == 0)
4004     return 0;
4005   if (func355(data[11], data[9]) == 0)
4006     return 0;
4007   if (func356(data[8], data[15]) == 0)
4008     return 0;
4009   if (func357(data[7], data[1]) == 0)
4010     return 0;
4011   if (func358(data[17]) == 0)
4012     return 0;
4013   if (func359(data[3], data[5]) == 0)
4014     return 0;
4015   if (func360(data[6]) == 0)
4016     return 0;
4017   if (func361(data[4], data[12]) == 0)
4018     return 0;
4019   if (func362(data[16]) == 0)
4020     return 0;
4021   if (func363(data[6]) == 0)
4022     return 0;
4023   if (func364(data[4], data[12]) == 0)
4024     return 0;
4025   if (func365(data[16]) == 0)
4026     return 0;
4027   if (func366(data[16]) == 0)
4028     return 0;
4029   if (func367(data[14]) == 0)
4030     return 0;
4031   if (func368(data[0]) == 0)
4032     return 0;
4033   if (func369(data[19]) == 0)
4034     return 0;
4035   if (func370(data[3], data[1]) == 0)
4036     return 0;
4037   if (func371(data[4], data[1]) == 0)
4038     return 0;
4039   if (func372(data[16]) == 0)
4040     return 0;
4041   if (func373(data[14]) == 0)
4042     return 0;
4043   if (func374(data[19]) == 0)
4044     return 0;
4045   if (func375(data[0], data[1]) == 0)
4046     return 0;
4047   if (func376(data[0], data[1]) == 0)
4048     return 0;
4049   if (func377(data[2]) == 0)
4050     return 0;
4051   if (func378(data[0], data[1]) == 0)
4052     return 0;
4053   if (func379(data[0], data[1]) == 0)
4054     return 0;
4055   if (func380(data[18], data[1]) == 0)
4056     return 0;
4057   if (func381(data[0], data[6]) == 0)
4058     return 0;
4059   if (func382(data[2]) == 0)
4060     return 0;
4061   if (func383(data[8], data[1]) == 0)
4062     return 0;
4063   if (func384(data[5], data[1]) == 0)
4064     return 0;
4065   if (func385(data[18], data[1]) == 0)
4066     return 0;
4067   if (func386(data[0], data[6]) == 0)
4068     return 0;
4069   if (func387(data[2]) == 0)
4070     return 0;
4071   if (func388(data[0], data[1]) == 0)
4072     return 0;
4073   if (func389(data[18], data[1]) == 0)
4074     return 0;
4075   if (func390(data[0], data[6]) == 0)
4076     return 0;
4077   if (func391(data[2]) == 0)
4078     return 0;
4079   if (func392(data[18], data[1]) == 0)
4080     return 0;
4081   if (func393(data[0], data[6]) == 0)
4082     return 0;
4083   if (func394(data[2]) == 0)
4084     return 0;
4085   if (func395(data[0], data[1]) == 0)
4086     return 0;
4087   if (func396(data[0], data[1]) == 0)
4088     return 0;
4089   if (func397(data[18], data[1]) == 0)
4090     return 0;
4091   if (func398(data[9]) == 0)
4092     return 0;
4093   if (func399(data[0], data[1]) == 0)
4094     return 0;
4095   if (func400(data[0], data[1]) == 0)
4096     return 0;
4097   if (func401(data[8], data[6]) == 0)
4098     return 0;
4099   if (func402(data[12]) == 0)
4100     return 0;
4101   if (func403(data[0], data[1]) == 0)
4102     return 0;
4103   if (func404(data[12]) == 0)
4104     return 0;
4105   if (func405(data[1]) == 0)
4106     return 0;
4107   if (func406(data[0], data[6]) == 0)
4108     return 0;
4109   if (func407(data[4]) == 0)
4110     return 0;
4111   if (func408(data[0], data[1]) == 0)
4112     return 0;
4113   if (func409(data[14]) == 0)
4114     return 0;
4115   if (func410(data[14]) == 0)
4116     return 0;
4117
4118   fprintf(stderr, "BINGO\n");
4119   abort();
4120   return 1;
4121 }
4122
4123 extern "C" int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) {
4124   if (api(Data, Size)) {
4125     // Should've crashed before getting here.
4126     return 0;
4127   }
4128   return 0;
4129 }
4130