diff options
Diffstat (limited to 'test/fuzzer/MultipleConstraintsOnSmallInputTest.cpp')
| -rw-r--r-- | test/fuzzer/MultipleConstraintsOnSmallInputTest.cpp | 4129 |
1 files changed, 4129 insertions, 0 deletions
diff --git a/test/fuzzer/MultipleConstraintsOnSmallInputTest.cpp b/test/fuzzer/MultipleConstraintsOnSmallInputTest.cpp new file mode 100644 index 000000000000..8e24acbcf2d9 --- /dev/null +++ b/test/fuzzer/MultipleConstraintsOnSmallInputTest.cpp @@ -0,0 +1,4129 @@ +// This file is distributed under the University of Illinois Open Source +// License. See LICENSE.TXT for details. +// +// echo -en 'Im_so_cute&pretty_:)' > crash +// +#include <stddef.h> +#include <stdint.h> +#include <stdlib.h> +#include <stdio.h> + +// Force noinline, as this test might be interesting for experimenting with +// data flow tracing approach started in https://reviews.llvm.org/D46666. +__attribute__((noinline)) +int func1(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 15 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func2(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 80 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func3(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 48 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func4(uint8_t a1, uint8_t a2, uint8_t a3) { + char v = ((a1 & a2)) ^ a3; + if ( v > 44 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func5(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 72 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func6(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 72 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func7(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 43 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func8(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 66 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func9(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 16 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func10(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 83 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func11(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 117 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func12(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 16 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func13(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 80 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func14(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func15(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 116 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func16(uint8_t a1) { + char v = a1 >> 5; + if ( v <= 0 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func17(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func18(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 28 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func19(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 18 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func20(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 47 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func21(uint8_t a1, uint8_t a2, uint8_t a3) { + char v = (((a1 ^ a2))) & a3; + if ( v > 108 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func22(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func23(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 7 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func24(uint8_t a1) { + char v = (char)a1 >> 1; + if ( v <= 25 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func25(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func26(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 41 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func27(uint8_t a1) { + char v = (char)a1 >> 1; + if ( v <= 14 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func28(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func29(uint8_t a1) { + char v = a1 >> 5; + if ( v > 48 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func30(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func31(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 45 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func32(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 0 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func33(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func34(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 95 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func35(uint8_t a1) { + char v = a1 >> 5; + if ( v > 12 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func36(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 121 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func37(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func38(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 61 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func39(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 94 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func40(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 125 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func41(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 0 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func42(uint8_t a1, uint8_t a2, uint8_t a3) { + char v = (((a1 ^ a2))) & a3; + if ( v > 66 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func43(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func44(uint8_t a1) { + char v = a1 >> 5; + if ( v <= 0 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func45(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func46(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 106 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func47(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 33 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func48(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 118 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func49(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 58 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func50(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 42 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func51(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 46 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func52(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 94 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func53(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 66 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func54(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 23 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func55(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 17 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func56(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 90 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func57(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 63 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func58(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 102 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func59(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 49 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func60(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 26 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func61(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 55 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func62(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 103 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func63(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 0 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func64(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 34 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func65(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 90 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func66(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 4 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func67(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 50 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func68(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 37 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func69(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 48 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func70(uint8_t a1) { + char v = a1 << 6; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func71(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 85 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func72(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 66 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func73(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 30 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func74(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 118 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func75(uint8_t a1, uint8_t a2, uint8_t a3) { + char v = ((a1 & a2)) | a3; + if ( v <= 59 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func76(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 94 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func77(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 30 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func78(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 32 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func79(uint8_t a1) { + char v = 16 * a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func80(uint8_t a1, uint8_t a2, uint8_t a3) { + char v = ((a1 ^ a2)) | a3; + if ( v <= 94 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func81(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v > 120 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func82(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 81 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func83(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v > 119 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func84(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 16 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func85(uint8_t a1) { + char v = 2 * a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func86(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 66 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func87(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 84 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func88(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 118 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func89(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 47 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func90(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 60 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func91(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 13 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func92(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 38 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func93(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 67 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func94(uint8_t a1) { + char v = 16 * a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func95(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 94 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func96(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 67 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func97(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 48 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func98(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 102 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func99(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 96 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func100(uint8_t a1, uint8_t a2, uint8_t a3) { + char v = ((a1 ^ a2)) | a3; + if ( v != 127 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func101(uint8_t a1) { + char v = 4 * a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func102(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 43 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func103(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 95 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func104(uint8_t a1, uint8_t a2, uint8_t a3) { + char v = (((a1 ^ a2))) & a3; + if ( v <= 2 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func105(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 65 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func106(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 24 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func107(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func108(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 67 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func109(uint8_t a1) { + char v = 2 * a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func110(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 101 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func111(uint8_t a1, uint8_t a2, uint8_t a3) { + char v = ((a1 & a2)) | a3; + if ( v <= 121 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func112(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 40 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func113(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 50 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func114(uint8_t a1) { + char v = a1 << 6; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func115(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 12 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func116(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func117(uint8_t a1) { + char v = a1 >> 5; + if ( v > 79 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func118(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func119(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 44 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func120(uint8_t a1, uint8_t a2, uint8_t a3) { + char v = ((a1 & a2)) | a3; + if ( v <= 28 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func121(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 93 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func122(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 40 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func123(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func124(uint8_t a1) { + char v = a1 >> 5; + if ( v <= 0 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func125(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func126(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func127(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 8 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func128(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func129(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 3 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func130(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 102 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func131(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 68 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func132(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 73 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func133(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 68 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func134(uint8_t a1) { + char v = 16 * a1; + if ( v > 125 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func135(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 79 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func136(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 6 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func137(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 16 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func138(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func139(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func140(uint8_t a1) { + char v = a1 >> 5; + if ( v > 74 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func141(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func142(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 89 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func143(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 46 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func144(uint8_t a1) { + char v = 16 * a1; + if ( v <= 29 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func145(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 77 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func146(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 12 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func147(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func148(uint8_t a1) { + char v = a1 >> 5; + if ( v > 27 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func149(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func150(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v > 122 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func151(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 3 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func152(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 56 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func153(uint8_t a1) { + char v = 16 * a1; + if ( v <= 3 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func154(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 43 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func155(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 16 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func156(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func157(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func158(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func159(uint8_t a1) { + char v = a1 >> 5; + if ( v > 88 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func160(uint8_t a1) { + char v = ~a1; + if ( v > 33 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func161(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 46 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func162(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func163(uint8_t a1, uint8_t a2, uint8_t a3) { + char v = ((a1 & a2)) | a3; + if ( v <= 9 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func164(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 96 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func165(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func166(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func167(uint8_t a1) { + char v = a1 >> 5; + if ( v > 91 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func168(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func169(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 32 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func170(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 32 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func171(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func172(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func173(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func174(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 90 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func175(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 32 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func176(uint8_t a1) { + char v = 16 * a1; + if ( v <= 61 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func177(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 33 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func178(uint8_t a1) { + char v = a1 >> 5; + if ( v > 16 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func179(uint8_t a1) { + char v = ~a1; + if ( v > 64 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func180(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 95 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func181(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 48 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func182(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 113 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func183(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 41 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func184(uint8_t a1) { + char v = 16 * a1; + if ( v <= 63 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func185(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func186(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 94 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func187(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 43 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func188(uint8_t a1) { + char v = (char)a1 >> 1; + if ( v <= 57 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func189(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func190(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 103 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func191(uint8_t a1) { + char v = (char)a1 >> 1; + if ( v > 92 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func192(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func193(uint8_t a1, uint8_t a2, uint8_t a3) { + char v = ((a1 & a2)) | a3; + if ( v <= 16 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func194(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 20 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func195(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 82 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func196(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v > 117 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func197(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 50 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func198(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 118 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func199(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v == 127 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func200(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func201(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 67 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func202(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 56 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func203(uint8_t a1) { + char v = (char)a1 >> 1; + if ( v > 95 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func204(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func205(uint8_t a1, uint8_t a2, uint8_t a3) { + char v = ((a1 ^ a2)) | a3; + if ( v > 95 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func206(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 78 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func207(uint8_t a1) { + char v = (char)a1 >> 1; + if ( v <= 7 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func208(uint8_t a1) { + char v = a1 >> 5; + if ( v > 123 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func209(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func210(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 101 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func211(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 61 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func212(uint8_t a1) { + char v = 16 * a1; + if ( v <= 73 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func213(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 34 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func214(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func215(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 5 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func216(uint8_t a1) { + char v = ~a1; + if ( v > 85 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func217(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 113 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func218(uint8_t a1) { + char v = (char)a1 >> 1; + if ( v > 61 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func219(uint8_t a1) { + char v = (char)a1 >> 1; + if ( v > 90 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func220(uint8_t a1) { + char v = a1 >> 5; + if ( v > 106 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func221(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func222(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 84 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func223(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 81 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func224(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func225(uint8_t a1) { + char v = a1 >> 5; + if ( v > 49 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func226(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func227(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 66 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func228(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 81 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func229(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 41 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func230(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 82 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func231(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 84 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func232(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 34 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func233(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 66 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func234(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 90 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func235(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 73 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func236(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 12 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func237(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 9 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func238(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 42 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func239(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 44 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func240(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 14 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func241(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 16 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func242(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 74 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func243(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 102 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func244(uint8_t a1) { + char v = 4 * a1; + if ( v <= 16 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func245(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 87 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func246(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 29 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func247(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 51 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func248(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 74 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func249(uint8_t a1) { + char v = 4 * a1; + if ( v <= 103 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func250(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 56 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func251(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 11 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func252(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 16 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func253(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 22 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func254(uint8_t a1, uint8_t a2, uint8_t a3) { + char v = ((a1 & a2)) | a3; + if ( v > 122 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func255(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 74 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func256(uint8_t a1) { + char v = 4 * a1; + if ( v <= 16 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func257(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 67 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func258(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 102 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func259(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 74 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func260(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 27 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func261(uint8_t a1) { + char v = 4 * a1; + if ( v <= 58 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func262(uint8_t a1) { + char v = 4 * a1; + if ( v <= 77 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func263(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 3 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func264(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 13 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func265(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 47 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func266(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 39 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func267(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v == 127 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func268(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 66 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func269(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 47 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func270(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 63 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func271(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 122 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func272(uint8_t a1) { + char v = 4 * a1; + if ( v <= 65 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func273(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 120 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func274(uint8_t a1) { + char v = 4 * a1; + if ( v <= 83 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func275(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 99 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func276(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func277(uint8_t a1) { + char v = a1 >> 5; + if ( v > 42 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func278(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func279(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 110 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func280(uint8_t a1) { + char v = 4 * a1; + if ( v <= 92 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func281(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 59 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func282(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func283(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func284(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func285(uint8_t a1) { + char v = ~a1; + if ( v > 17 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func286(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func287(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 78 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func288(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 47 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func289(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 90 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func290(uint8_t a1) { + char v = 16 * a1; + if ( v <= 78 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func291(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 30 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func292(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func293(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func294(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func295(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 17 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func296(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 86 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func297(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 120 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func298(uint8_t a1) { + char v = 16 * a1; + if ( v <= 46 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func299(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 63 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func300(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 5 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func301(uint8_t a1) { + char v = ~a1; + if ( v > 17 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func302(uint8_t a1) { + char v = ~a1; + if ( v > 113 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func303(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func304(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 73 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func305(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 60 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func306(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 119 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func307(uint8_t a1) { + char v = ~a1; + if ( v > 21 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func308(uint8_t a1) { + char v = ~a1; + if ( v > 107 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func309(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 44 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func310(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 57 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func311(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 59 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func312(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func313(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func314(uint8_t a1) { + char v = a1 >> 5; + if ( v > 58 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func315(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func316(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 101 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func317(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 99 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func318(uint8_t a1) { + char v = 16 * a1; + if ( v <= 78 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func319(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 16 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func320(uint8_t a1) { + char v = ~a1; + if ( v > 10 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func321(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func322(uint8_t a1) { + char v = a1 >> 5; + if ( v > 3 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func323(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func324(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v > 118 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func325(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func326(uint8_t a1) { + char v = 16 * a1; + if ( v <= 0 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func327(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 101 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func328(uint8_t a1) { + char v = a1 >> 5; + if ( v > 18 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func329(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func330(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 0 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func331(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 67 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func332(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 103 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func333(uint8_t a1) { + char v = 16 * a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func334(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 38 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func335(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func336(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 94 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func337(uint8_t a1) { + char v = (char)a1 >> 1; + if ( v > 63 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func338(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func339(uint8_t a1) { + char v = (char)a1 >> 1; + if ( v <= 47 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func340(uint8_t a1) { + char v = a1 >> 5; + if ( v <= 0 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func341(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func342(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v > 118 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func343(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 58 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func344(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 91 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func345(uint8_t a1) { + char v = 16 * a1; + if ( v <= 72 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func346(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 63 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func347(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func348(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 94 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func349(uint8_t a1) { + char v = (char)a1 >> 1; + if ( v <= 57 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func350(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func351(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 99 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func352(uint8_t a1) { + char v = (char)a1 >> 1; + if ( v > 63 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func353(uint8_t a1) { + char v = a1 >> 5; + if ( v > 81 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func354(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func355(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v > 118 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func356(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func357(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 72 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func358(uint8_t a1) { + char v = 16 * a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func359(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 110 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func360(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func361(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 68 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func362(uint8_t a1) { + char v = (char)a1 >> 1; + if ( v > 91 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func363(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func364(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 99 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func365(uint8_t a1) { + char v = (char)a1 >> 1; + if ( v <= 40 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func366(uint8_t a1) { + char v = (char)a1 >> 1; + if ( v <= 31 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func367(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func368(uint8_t a1) { + char v = a1 >> 5; + if ( v > 96 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func369(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func370(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 42 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func371(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 118 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func372(uint8_t a1) { + char v = (char)a1 >> 1; + if ( v > 94 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func373(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func374(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func375(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 64 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func376(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 110 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func377(uint8_t a1) { + char v = 4 * a1; + if ( v <= 104 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func378(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v > 112 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func379(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 62 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func380(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 48 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func381(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 58 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func382(uint8_t a1) { + char v = 4 * a1; + if ( v <= 104 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func383(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 50 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func384(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 38 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func385(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 85 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func386(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 18 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func387(uint8_t a1) { + char v = 4 * a1; + if ( v <= 97 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func388(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 94 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func389(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 26 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func390(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 67 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func391(uint8_t a1) { + char v = 4 * a1; + if ( v <= 103 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func392(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v > 50 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func393(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v <= 22 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func394(uint8_t a1) { + char v = 4 * a1; + if ( v <= 103 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func395(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 38 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func396(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 52 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func397(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 17 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func398(uint8_t a1) { + char v = 4 * a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func399(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 92 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func400(uint8_t a1, uint8_t a2) { + char v = (a1 & a2); + if ( v <= 55 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func401(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 81 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func402(uint8_t a1) { + char v = 4 * a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func403(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 94 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func404(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func405(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func406(uint8_t a1, uint8_t a2) { + char v = (a1 ^ a2); + if ( v > 101 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func407(uint8_t a1) { + char v = 4 * a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func408(uint8_t a1, uint8_t a2) { + char v = a1 | a2; + if ( v <= 44 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func409(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +__attribute__((noinline)) +int func410(uint8_t a1) { + char v = ~a1; + if ( v > 1 ) + return 0; + return 1; +} + +int api(const uint8_t *data, size_t size) { + if (size != 20) return 0; + + if (func1(data[0], data[1]) == 0) + return 0; + if (func2(data[0], data[1]) == 0) + return 0; + if (func3(data[18], data[1]) == 0) + return 0; + if (func4(data[7], data[4], data[0]) == 0) + return 0; + if (func5(data[0], data[2]) == 0) + return 0; + if (func6(data[11], data[17]) == 0) + return 0; + if (func7(data[0], data[13]) == 0) + return 0; + if (func8(data[13], data[10]) == 0) + return 0; + if (func9(data[11], data[16]) == 0) + return 0; + if (func10(data[10], data[8]) == 0) + return 0; + if (func11(data[19], data[5]) == 0) + return 0; + if (func12(data[0], data[1]) == 0) + return 0; + if (func13(data[17], data[3]) == 0) + return 0; + if (func14(data[14]) == 0) + return 0; + if (func15(data[13], data[15]) == 0) + return 0; + if (func16(data[0]) == 0) + return 0; + if (func17(data[19]) == 0) + return 0; + if (func18(data[1], data[11]) == 0) + return 0; + if (func19(data[12], data[15]) == 0) + return 0; + if (func20(data[13], data[1]) == 0) + return 0; + if (func21(data[10], data[19], data[12]) == 0) + return 0; + if (func22(data[6]) == 0) + return 0; + if (func23(data[1], data[9]) == 0) + return 0; + if (func24(data[16]) == 0) + return 0; + if (func25(data[6]) == 0) + return 0; + if (func26(data[4], data[12]) == 0) + return 0; + if (func27(data[16]) == 0) + return 0; + if (func28(data[14]) == 0) + return 0; + if (func29(data[0]) == 0) + return 0; + if (func30(data[19]) == 0) + return 0; + if (func31(data[0], data[1]) == 0) + return 0; + if (func32(data[0], data[1]) == 0) + return 0; + if (func33(data[14]) == 0) + return 0; + if (func34(data[0], data[19]) == 0) + return 0; + if (func35(data[0]) == 0) + return 0; + if (func36(data[16], data[7]) == 0) + return 0; + if (func37(data[19]) == 0) + return 0; + if (func38(data[15], data[3]) == 0) + return 0; + if (func39(data[19], data[15]) == 0) + return 0; + if (func40(data[0], data[1]) == 0) + return 0; + if (func41(data[18], data[1]) == 0) + return 0; + if (func42(data[16], data[5], data[1]) == 0) + return 0; + if (func43(data[14]) == 0) + return 0; + if (func44(data[0]) == 0) + return 0; + if (func45(data[19]) == 0) + return 0; + if (func46(data[4], data[19]) == 0) + return 0; + if (func47(data[8], data[7]) == 0) + return 0; + if (func48(data[6], data[7]) == 0) + return 0; + if (func49(data[18], data[1]) == 0) + return 0; + if (func50(data[2], data[8]) == 0) + return 0; + if (func51(data[2], data[13]) == 0) + return 0; + if (func52(data[3], data[8]) == 0) + return 0; + if (func53(data[16], data[18]) == 0) + return 0; + if (func54(data[10], data[9]) == 0) + return 0; + if (func55(data[18], data[1]) == 0) + return 0; + if (func56(data[0], data[1]) == 0) + return 0; + if (func57(data[16], data[1]) == 0) + return 0; + if (func58(data[18], data[1]) == 0) + return 0; + if (func59(data[18], data[3]) == 0) + return 0; + if (func60(data[9], data[1]) == 0) + return 0; + if (func61(data[0], data[1]) == 0) + return 0; + if (func62(data[13], data[1]) == 0) + return 0; + if (func63(data[18], data[1]) == 0) + return 0; + if (func64(data[0], data[1]) == 0) + return 0; + if (func65(data[0], data[1]) == 0) + return 0; + if (func66(data[11], data[14]) == 0) + return 0; + if (func67(data[5], data[11]) == 0) + return 0; + if (func68(data[18], data[1]) == 0) + return 0; + if (func69(data[0], data[6]) == 0) + return 0; + if (func70(data[2]) == 0) + return 0; + if (func71(data[0], data[1]) == 0) + return 0; + if (func72(data[9], data[10]) == 0) + return 0; + if (func73(data[10], data[8]) == 0) + return 0; + if (func74(data[19], data[17]) == 0) + return 0; + if (func75(data[0], data[17], data[8]) == 0) + return 0; + if (func76(data[17], data[18]) == 0) + return 0; + if (func77(data[18], data[9]) == 0) + return 0; + if (func78(data[3], data[6]) == 0) + return 0; + if (func79(data[16]) == 0) + return 0; + if (func80(data[7], data[3], data[17]) == 0) + return 0; + if (func81(data[0], data[1]) == 0) + return 0; + if (func82(data[10], data[18]) == 0) + return 0; + if (func83(data[6], data[7]) == 0) + return 0; + if (func84(data[0], data[6]) == 0) + return 0; + if (func85(data[12]) == 0) + return 0; + if (func86(data[0], data[1]) == 0) + return 0; + if (func87(data[6], data[1]) == 0) + return 0; + if (func88(data[18], data[1]) == 0) + return 0; + if (func89(data[0], data[6]) == 0) + return 0; + if (func90(data[0], data[1]) == 0) + return 0; + if (func91(data[18], data[1]) == 0) + return 0; + if (func92(data[0], data[6]) == 0) + return 0; + if (func93(data[13], data[10]) == 0) + return 0; + if (func94(data[2]) == 0) + return 0; + if (func95(data[0], data[1]) == 0) + return 0; + if (func96(data[0], data[11]) == 0) + return 0; + if (func97(data[18], data[1]) == 0) + return 0; + if (func98(data[0], data[6]) == 0) + return 0; + if (func99(data[0], data[19]) == 0) + return 0; + if (func100(data[14], data[18], data[3]) == 0) + return 0; + if (func101(data[14]) == 0) + return 0; + if (func102(data[6], data[1]) == 0) + return 0; + if (func103(data[5], data[1]) == 0) + return 0; + if (func104(data[14], data[3], data[10]) == 0) + return 0; + if (func105(data[18], data[1]) == 0) + return 0; + if (func106(data[0], data[6]) == 0) + return 0; + if (func107(data[6]) == 0) + return 0; + if (func108(data[9], data[10]) == 0) + return 0; + if (func109(data[7]) == 0) + return 0; + if (func110(data[9], data[17]) == 0) + return 0; + if (func111(data[16], data[15], data[18]) == 0) + return 0; + if (func112(data[0], data[16]) == 0) + return 0; + if (func113(data[18], data[3]) == 0) + return 0; + if (func114(data[3]) == 0) + return 0; + if (func115(data[0], data[1]) == 0) + return 0; + if (func116(data[14]) == 0) + return 0; + if (func117(data[0]) == 0) + return 0; + if (func118(data[19]) == 0) + return 0; + if (func119(data[0], data[6]) == 0) + return 0; + if (func120(data[9], data[5], data[0]) == 0) + return 0; + if (func121(data[0], data[1]) == 0) + return 0; + if (func122(data[12], data[4]) == 0) + return 0; + if (func123(data[14]) == 0) + return 0; + if (func124(data[0]) == 0) + return 0; + if (func125(data[19]) == 0) + return 0; + if (func126(data[14]) == 0) + return 0; + if (func127(data[1], data[9]) == 0) + return 0; + if (func128(data[19]) == 0) + return 0; + if (func129(data[11], data[14]) == 0) + return 0; + if (func130(data[11], data[9]) == 0) + return 0; + if (func131(data[12], data[15]) == 0) + return 0; + if (func132(data[0], data[2]) == 0) + return 0; + if (func133(data[13], data[1]) == 0) + return 0; + if (func134(data[7]) == 0) + return 0; + if (func135(data[13], data[5]) == 0) + return 0; + if (func136(data[12], data[14]) == 0) + return 0; + if (func137(data[9], data[4]) == 0) + return 0; + if (func138(data[6]) == 0) + return 0; + if (func139(data[14]) == 0) + return 0; + if (func140(data[0]) == 0) + return 0; + if (func141(data[19]) == 0) + return 0; + if (func142(data[11], data[9]) == 0) + return 0; + if (func143(data[12], data[15]) == 0) + return 0; + if (func144(data[7]) == 0) + return 0; + if (func145(data[19], data[7]) == 0) + return 0; + if (func146(data[4], data[6]) == 0) + return 0; + if (func147(data[6]) == 0) + return 0; + if (func148(data[0]) == 0) + return 0; + if (func149(data[19]) == 0) + return 0; + if (func150(data[11], data[9]) == 0) + return 0; + if (func151(data[12], data[15]) == 0) + return 0; + if (func152(data[13], data[1]) == 0) + return 0; + if (func153(data[7]) == 0) + return 0; + if (func154(data[2], data[8]) == 0) + return 0; + if (func155(data[13], data[5]) == 0) + return 0; + if (func156(data[6]) == 0) + return 0; + if (func157(data[6]) == 0) + return 0; + if (func158(data[14]) == 0) + return 0; + if (func159(data[0]) == 0) + return 0; + if (func160(data[19]) == 0) + return 0; + if (func161(data[12], data[15]) == 0) + return 0; + if (func162(data[5]) == 0) + return 0; + if (func163(data[6], data[7], data[3]) == 0) + return 0; + if (func164(data[13], data[5]) == 0) + return 0; + if (func165(data[6]) == 0) + return 0; + if (func166(data[14]) == 0) + return 0; + if (func167(data[0]) == 0) + return 0; + if (func168(data[19]) == 0) + return 0; + if (func169(data[11], data[9]) == 0) + return 0; + if (func170(data[9], data[11]) == 0) + return 0; + if (func171(data[6]) == 0) + return 0; + if (func172(data[14]) == 0) + return 0; + if (func173(data[19]) == 0) + return 0; + if (func174(data[11], data[9]) == 0) + return 0; + if (func175(data[12], data[15]) == 0) + return 0; + if (func176(data[7]) == 0) + return 0; + if (func177(data[13], data[5]) == 0) + return 0; + if (func178(data[0]) == 0) + return 0; + if (func179(data[19]) == 0) + return 0; + if (func180(data[11], data[9]) == 0) + return 0; + if (func181(data[12], data[15]) == 0) + return 0; + if (func182(data[13], data[1]) == 0) + return 0; + if (func183(data[7], data[17]) == 0) + return 0; + if (func184(data[7]) == 0) + return 0; + if (func185(data[6]) == 0) + return 0; + if (func186(data[4], data[12]) == 0) + return 0; + if (func187(data[2], data[8]) == 0) + return 0; + if (func188(data[16]) == 0) + return 0; + if (func189(data[6]) == 0) + return 0; + if (func190(data[4], data[12]) == 0) + return 0; + if (func191(data[16]) == 0) + return 0; + if (func192(data[19]) == 0) + return 0; + if (func193(data[19], data[4], data[2]) == 0) + return 0; + if (func194(data[11], data[9]) == 0) + return 0; + if (func195(data[12], data[15]) == 0) + return 0; + if (func196(data[13], data[15]) == 0) + return 0; + if (func197(data[13], data[1]) == 0) + return 0; + if (func198(data[19], data[5]) == 0) + return 0; + if (func199(data[13], data[5]) == 0) + return 0; + if (func200(data[6]) == 0) + return 0; + if (func201(data[4], data[12]) == 0) + return 0; + if (func202(data[5], data[17]) == 0) + return 0; + if (func203(data[16]) == 0) + return 0; + if (func204(data[6]) == 0) + return 0; + if (func205(data[7], data[3], data[17]) == 0) + return 0; + if (func206(data[4], data[12]) == 0) + return 0; + if (func207(data[16]) == 0) + return 0; + if (func208(data[0]) == 0) + return 0; + if (func209(data[19]) == 0) + return 0; + if (func210(data[11], data[9]) == 0) + return 0; + if (func211(data[13], data[1]) == 0) + return 0; + if (func212(data[7]) == 0) + return 0; + if (func213(data[13], data[5]) == 0) + return 0; + if (func214(data[6]) == 0) + return 0; + if (func215(data[4], data[12]) == 0) + return 0; + if (func216(data[6]) == 0) + return 0; + if (func217(data[4], data[12]) == 0) + return 0; + if (func218(data[16]) == 0) + return 0; + if (func219(data[16]) == 0) + return 0; + if (func220(data[0]) == 0) + return 0; + if (func221(data[19]) == 0) + return 0; + if (func222(data[0], data[1]) == 0) + return 0; + if (func223(data[0], data[1]) == 0) + return 0; + if (func224(data[14]) == 0) + return 0; + if (func225(data[0]) == 0) + return 0; + if (func226(data[19]) == 0) + return 0; + if (func227(data[0], data[1]) == 0) + return 0; + if (func228(data[0], data[1]) == 0) + return 0; + if (func229(data[18], data[1]) == 0) + return 0; + if (func230(data[0], data[1]) == 0) + return 0; + if (func231(data[17], data[3]) == 0) + return 0; + if (func232(data[0], data[1]) == 0) + return 0; + if (func233(data[18], data[1]) == 0) + return 0; + if (func234(data[0], data[1]) == 0) + return 0; + if (func235(data[18], data[4]) == 0) + return 0; + if (func236(data[18], data[1]) == 0) + return 0; + if (func237(data[0], data[1]) == 0) + return 0; + if (func238(data[2], data[8]) == 0) + return 0; + if (func239(data[13], data[0]) == 0) + return 0; + if (func240(data[0], data[1]) == 0) + return 0; + if (func241(data[0], data[1]) == 0) + return 0; + if (func242(data[18], data[1]) == 0) + return 0; + if (func243(data[0], data[6]) == 0) + return 0; + if (func244(data[2]) == 0) + return 0; + if (func245(data[0], data[1]) == 0) + return 0; + if (func246(data[1], data[11]) == 0) + return 0; + if (func247(data[18], data[1]) == 0) + return 0; + if (func248(data[0], data[6]) == 0) + return 0; + if (func249(data[2]) == 0) + return 0; + if (func250(data[0], data[1]) == 0) + return 0; + if (func251(data[4], data[6]) == 0) + return 0; + if (func252(data[0], data[1]) == 0) + return 0; + if (func253(data[18], data[1]) == 0) + return 0; + if (func254(data[16], data[15], data[18]) == 0) + return 0; + if (func255(data[0], data[6]) == 0) + return 0; + if (func256(data[2]) == 0) + return 0; + if (func257(data[16], data[18]) == 0) + return 0; + if (func258(data[0], data[1]) == 0) + return 0; + if (func259(data[0], data[6]) == 0) + return 0; + if (func260(data[9], data[13]) == 0) + return 0; + if (func261(data[2]) == 0) + return 0; + if (func262(data[2]) == 0) + return 0; + if (func263(data[0], data[1]) == 0) + return 0; + if (func264(data[0], data[1]) == 0) + return 0; + if (func265(data[0], data[6]) == 0) + return 0; + if (func266(data[7], data[4]) == 0) + return 0; + if (func267(data[16], data[7]) == 0) + return 0; + if (func268(data[0], data[1]) == 0) + return 0; + if (func269(data[0], data[1]) == 0) + return 0; + if (func270(data[18], data[1]) == 0) + return 0; + if (func271(data[13], data[3]) == 0) + return 0; + if (func272(data[2]) == 0) + return 0; + if (func273(data[0], data[1]) == 0) + return 0; + if (func274(data[2]) == 0) + return 0; + if (func275(data[0], data[1]) == 0) + return 0; + if (func276(data[14]) == 0) + return 0; + if (func277(data[0]) == 0) + return 0; + if (func278(data[19]) == 0) + return 0; + if (func279(data[0], data[6]) == 0) + return 0; + if (func280(data[2]) == 0) + return 0; + if (func281(data[0], data[1]) == 0) + return 0; + if (func282(data[8], data[0]) == 0) + return 0; + if (func283(data[14]) == 0) + return 0; + if (func284(data[19]) == 0) + return 0; + if (func285(data[14]) == 0) + return 0; + if (func286(data[19]) == 0) + return 0; + if (func287(data[11], data[9]) == 0) + return 0; + if (func288(data[12], data[15]) == 0) + return 0; + if (func289(data[13], data[1]) == 0) + return 0; + if (func290(data[7]) == 0) + return 0; + if (func291(data[13], data[5]) == 0) + return 0; + if (func292(data[6]) == 0) + return 0; + if (func293(data[14]) == 0) + return 0; + if (func294(data[19]) == 0) + return 0; + if (func295(data[11], data[9]) == 0) + return 0; + if (func296(data[12], data[15]) == 0) + return 0; + if (func297(data[12], data[4]) == 0) + return 0; + if (func298(data[7]) == 0) + return 0; + if (func299(data[13], data[5]) == 0) + return 0; + if (func300(data[12], data[14]) == 0) + return 0; + if (func301(data[6]) == 0) + return 0; + if (func302(data[14]) == 0) + return 0; + if (func303(data[19]) == 0) + return 0; + if (func304(data[11], data[9]) == 0) + return 0; + if (func305(data[12], data[15]) == 0) + return 0; + if (func306(data[13], data[1]) == 0) + return 0; + if (func307(data[6]) == 0) + return 0; + if (func308(data[19]) == 0) + return 0; + if (func309(data[12], data[15]) == 0) + return 0; + if (func310(data[13], data[1]) == 0) + return 0; + if (func311(data[13], data[5]) == 0) + return 0; + if (func312(data[6]) == 0) + return 0; + if (func313(data[14]) == 0) + return 0; + if (func314(data[0]) == 0) + return 0; + if (func315(data[9]) == 0) + return 0; + if (func316(data[11], data[9]) == 0) + return 0; + if (func317(data[13], data[1]) == 0) + return 0; + if (func318(data[7]) == 0) + return 0; + if (func319(data[13], data[4]) == 0) + return 0; + if (func320(data[16]) == 0) + return 0; + if (func321(data[4]) == 0) + return 0; + if (func322(data[0]) == 0) + return 0; + if (func323(data[19]) == 0) + return 0; + if (func324(data[11], data[9]) == 0) + return 0; + if (func325(data[12], data[15]) == 0) + return 0; + if (func326(data[7]) == 0) + return 0; + if (func327(data[13], data[5]) == 0) + return 0; + if (func328(data[0]) == 0) + return 0; + if (func329(data[19]) == 0) + return 0; + if (func330(data[11], data[9]) == 0) + return 0; + if (func331(data[12], data[15]) == 0) + return 0; + if (func332(data[13], data[1]) == 0) + return 0; + if (func333(data[4]) == 0) + return 0; + if (func334(data[13], data[5]) == 0) + return 0; + if (func335(data[6]) == 0) + return 0; + if (func336(data[4], data[12]) == 0) + return 0; + if (func337(data[16]) == 0) + return 0; + if (func338(data[6]) == 0) + return 0; + if (func339(data[16]) == 0) + return 0; + if (func340(data[0]) == 0) + return 0; + if (func341(data[19]) == 0) + return 0; + if (func342(data[11], data[9]) == 0) + return 0; + if (func343(data[12], data[15]) == 0) + return 0; + if (func344(data[13], data[1]) == 0) + return 0; + if (func345(data[7]) == 0) + return 0; + if (func346(data[13], data[5]) == 0) + return 0; + if (func347(data[6]) == 0) + return 0; + if (func348(data[4], data[12]) == 0) + return 0; + if (func349(data[16]) == 0) + return 0; + if (func350(data[6]) == 0) + return 0; + if (func351(data[4], data[12]) == 0) + return 0; + if (func352(data[16]) == 0) + return 0; + if (func353(data[0]) == 0) + return 0; + if (func354(data[19]) == 0) + return 0; + if (func355(data[11], data[9]) == 0) + return 0; + if (func356(data[8], data[15]) == 0) + return 0; + if (func357(data[7], data[1]) == 0) + return 0; + if (func358(data[17]) == 0) + return 0; + if (func359(data[3], data[5]) == 0) + return 0; + if (func360(data[6]) == 0) + return 0; + if (func361(data[4], data[12]) == 0) + return 0; + if (func362(data[16]) == 0) + return 0; + if (func363(data[6]) == 0) + return 0; + if (func364(data[4], data[12]) == 0) + return 0; + if (func365(data[16]) == 0) + return 0; + if (func366(data[16]) == 0) + return 0; + if (func367(data[14]) == 0) + return 0; + if (func368(data[0]) == 0) + return 0; + if (func369(data[19]) == 0) + return 0; + if (func370(data[3], data[1]) == 0) + return 0; + if (func371(data[4], data[1]) == 0) + return 0; + if (func372(data[16]) == 0) + return 0; + if (func373(data[14]) == 0) + return 0; + if (func374(data[19]) == 0) + return 0; + if (func375(data[0], data[1]) == 0) + return 0; + if (func376(data[0], data[1]) == 0) + return 0; + if (func377(data[2]) == 0) + return 0; + if (func378(data[0], data[1]) == 0) + return 0; + if (func379(data[0], data[1]) == 0) + return 0; + if (func380(data[18], data[1]) == 0) + return 0; + if (func381(data[0], data[6]) == 0) + return 0; + if (func382(data[2]) == 0) + return 0; + if (func383(data[8], data[1]) == 0) + return 0; + if (func384(data[5], data[1]) == 0) + return 0; + if (func385(data[18], data[1]) == 0) + return 0; + if (func386(data[0], data[6]) == 0) + return 0; + if (func387(data[2]) == 0) + return 0; + if (func388(data[0], data[1]) == 0) + return 0; + if (func389(data[18], data[1]) == 0) + return 0; + if (func390(data[0], data[6]) == 0) + return 0; + if (func391(data[2]) == 0) + return 0; + if (func392(data[18], data[1]) == 0) + return 0; + if (func393(data[0], data[6]) == 0) + return 0; + if (func394(data[2]) == 0) + return 0; + if (func395(data[0], data[1]) == 0) + return 0; + if (func396(data[0], data[1]) == 0) + return 0; + if (func397(data[18], data[1]) == 0) + return 0; + if (func398(data[9]) == 0) + return 0; + if (func399(data[0], data[1]) == 0) + return 0; + if (func400(data[0], data[1]) == 0) + return 0; + if (func401(data[8], data[6]) == 0) + return 0; + if (func402(data[12]) == 0) + return 0; + if (func403(data[0], data[1]) == 0) + return 0; + if (func404(data[12]) == 0) + return 0; + if (func405(data[1]) == 0) + return 0; + if (func406(data[0], data[6]) == 0) + return 0; + if (func407(data[4]) == 0) + return 0; + if (func408(data[0], data[1]) == 0) + return 0; + if (func409(data[14]) == 0) + return 0; + if (func410(data[14]) == 0) + return 0; + + fprintf(stderr, "BINGO\n"); + abort(); + return 1; +} + +extern "C" int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) { + if (api(Data, Size)) { + // Should've crashed before getting here. + return 0; + } + return 0; +} + |