[libFuzzer] add a symbolic execution puzzle (difficult for today's libFuzzer).

[Dor1s]

Summary

This can be solved just in seconds with KLEE. Current libFuzzer
is able to satistfy 101 constraints out of 410 constraints presented during
the first hour of running with -use_value_profile=1 and -max_len=20.
During the next 3 hours, libFuzzer is able to generate ~50 NEW inputs,
bot none of those solve any new constraint.
During the next 20 hours, it didn't find any NEW inputs.

This test might be interesting for experimenting with the data flow tracing
approach started in https://reviews.llvm.org/D46666.

For the solution with KLEE and other information, see
https://github.com/Dor1s/codegate2017-quals-angrybird

[delcypher]

Neat. Was this generated programmatically?

test/fuzzer/MultipleConstraintsOnSmallInputTest.c

7

You don't need this include. You don't seem to be using assert() anywhere.

[delcypher]

test/fuzzer/MultipleConstraintsOnSmallInputTest.c

14

Why don't you want these functions inlined? A comment explaining your reasoning would be nice.

[Dor1s]

Address review comments: remove unused header + add a comment regarding "noinline"

[Dor1s]

In D46924#1101643, @delcypher wrote:

Neat. Was this generated programmatically?

Yes, there is a generator script and some extra info at https://github.com/Dor1s/codegate2017-quals-angrybird

[kcc]

LGTM++

Looking forward to trying to attack it.
But indeed, for examples like this, KLEE (or other symexec) is clearly more powerful... today.

btw, thanks for supplying the reproducer in the top comment.

test/fuzzer/MultipleConstraintsOnSmallInputTest.c

+// 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;
+}
+