Index: test/fuzzer/MultipleConstraintsOnSmallInputTest.c
===================================================================
--- test/fuzzer/MultipleConstraintsOnSmallInputTest.c
+++ test/fuzzer/MultipleConstraintsOnSmallInputTest.c
@@ -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;
+}
+
+int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) {
+  if (api(Data, Size)) {
+    // Should've crashed before getting here.
+    return 0;
+  }
+  return 0;
+}
+