#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ scanf(char *, int *, int *, int *);
int solve() {
  int a = 0, b = 0, c = 0;
  scanf("%d %d %d", &a, &b, &c);
  int x[3];
  x[0] = a;
  x[1] = -a;
  x[2] = 0;
  int y[3];
  y[0] = b;
  y[1] = -b;
  y[2] = 0;
  int z[3];
  z[0] = c;
  z[1] = -c;
  z[2] = 0;
  int i, j, k;
  for (i = 0; i < 4; i++) {
    for (j = 0; j < 4; j++) {
      for (k = 0; k < 4; k++) {
        if (i + k + j < 6) {
          if (x[i] + y[j] + z[k] == 0) {
            return 1;
          }
        }
      }
    }
  }
  return 0;
}


x86 assembly (clang, -O0):
<solve>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
movl   $0x0,-0x8(%rbp)
movl   $0x0,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
lea    0xecc(%rip),%rdi
lea    -0x8(%rbp),%rsi
lea    -0xc(%rbp),%rdx
lea    -0x10(%rbp),%rcx
call   1030 <scanf@plt>
mov    -0x8(%rbp),%eax
mov    %eax,-0x1c(%rbp)
xor    %eax,%eax
sub    -0x8(%rbp),%eax
mov    %eax,-0x18(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0xc(%rbp),%eax
mov    %eax,-0x28(%rbp)
xor    %eax,%eax
sub    -0xc(%rbp),%eax
mov    %eax,-0x24(%rbp)
movl   $0x0,-0x20(%rbp)
mov    -0x10(%rbp),%eax
mov    %eax,-0x34(%rbp)
xor    %eax,%eax
sub    -0x10(%rbp),%eax
mov    %eax,-0x30(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x0,-0x38(%rbp)
cmpl   $0x4,-0x38(%rbp)
jge    1234 <solve+0x124>
movl   $0x0,-0x3c(%rbp)
cmpl   $0x4,-0x3c(%rbp)
jge    1221 <solve+0x111>
movl   $0x0,-0x40(%rbp)
cmpl   $0x4,-0x40(%rbp)
jge    120e <solve+0xfe>
mov    -0x38(%rbp),%eax
add    -0x40(%rbp),%eax
add    -0x3c(%rbp),%eax
cmp    $0x6,%eax
jge    11fb <solve+0xeb>
movslq -0x38(%rbp),%rax
mov    -0x1c(%rbp,%rax,4),%eax
movslq -0x3c(%rbp),%rcx
add    -0x28(%rbp,%rcx,4),%eax
movslq -0x40(%rbp),%rcx
add    -0x34(%rbp,%rcx,4),%eax
cmp    $0x0,%eax
jne    11f6 <solve+0xe6>
movl   $0x1,-0x4(%rbp)
jmp    123b <solve+0x12b>
jmp    11fb <solve+0xeb>
jmp    1200 <solve+0xf0>
mov    -0x40(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x40(%rbp)
jmp    11ad <solve+0x9d>
jmp    1213 <solve+0x103>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
jmp    119c <solve+0x8c>
jmp    1226 <solve+0x116>
mov    -0x38(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x38(%rbp)
jmp    118b <solve+0x7b>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<solve>:
sub    $0x28,%rsp
movl   $0x0,0x24(%rsp)
movl   $0x0,0x20(%rsp)
movl   $0x0,0x1c(%rsp)
lea    0xecd(%rip),%rdi
lea    0x24(%rsp),%rsi
lea    0x20(%rsp),%rdx
lea    0x1c(%rsp),%rcx
call   1030 <scanf@plt>
mov    0x24(%rsp),%eax
mov    %eax,0x10(%rsp)
mov    0x20(%rsp),%edx
mov    %edx,0x4(%rsp)
mov    %edx,%ecx
add    %eax,%edx
neg    %eax
mov    %eax,0x14(%rsp)
movl   $0x0,0x18(%rsp)
neg    %ecx
mov    %ecx,0x8(%rsp)
movl   $0x0,0xc(%rsp)
mov    0x1c(%rsp),%eax
mov    %eax,%ecx
neg    %ecx
cmp    %ecx,%edx
je     1399 <solve+0x289>
mov    0x4(%rsp),%edx
add    0x10(%rsp),%edx
cmp    %eax,%edx
je     1399 <solve+0x289>
mov    0x4(%rsp),%edx
add    0x10(%rsp),%edx
je     1399 <solve+0x289>
mov    0x8(%rsp),%edx
add    0x10(%rsp),%edx
cmp    %ecx,%edx
je     1399 <solve+0x289>
mov    0x8(%rsp),%edx
add    0x10(%rsp),%edx
cmp    %eax,%edx
je     1399 <solve+0x289>
mov    0x8(%rsp),%edx
add    0x10(%rsp),%edx
je     1399 <solve+0x289>
mov    0xc(%rsp),%edx
add    0x10(%rsp),%edx
cmp    %ecx,%edx
je     1399 <solve+0x289>
mov    0xc(%rsp),%edx
add    0x10(%rsp),%edx
cmp    %eax,%edx
je     1399 <solve+0x289>
mov    0xc(%rsp),%edx
add    0x10(%rsp),%edx
je     1399 <solve+0x289>
mov    0x10(%rsp),%edx
add    0x10(%rsp),%edx
cmp    %ecx,%edx
je     1399 <solve+0x289>
mov    0x10(%rsp),%edx
add    0x10(%rsp),%edx
cmp    %eax,%edx
je     1399 <solve+0x289>
mov    0x10(%rsp),%edx
add    0x10(%rsp),%edx
je     1399 <solve+0x289>
mov    0x4(%rsp),%edx
add    0x14(%rsp),%edx
cmp    %ecx,%edx
je     1399 <solve+0x289>
mov    0x4(%rsp),%edx
add    0x14(%rsp),%edx
cmp    %eax,%edx
je     1399 <solve+0x289>
mov    0x4(%rsp),%edx
add    0x14(%rsp),%edx
je     1399 <solve+0x289>
mov    0x8(%rsp),%edx
add    0x14(%rsp),%edx
cmp    %ecx,%edx
je     1399 <solve+0x289>
mov    0x8(%rsp),%edx
add    0x14(%rsp),%edx
cmp    %eax,%edx
je     1399 <solve+0x289>
mov    0x8(%rsp),%edx
add    0x14(%rsp),%edx
je     1399 <solve+0x289>
mov    0xc(%rsp),%edx
add    0x14(%rsp),%edx
cmp    %ecx,%edx
je     1399 <solve+0x289>
mov    0xc(%rsp),%edx
add    0x14(%rsp),%edx
cmp    %eax,%edx
je     1399 <solve+0x289>
mov    0xc(%rsp),%edx
add    0x14(%rsp),%edx
je     1399 <solve+0x289>
mov    0x10(%rsp),%edx
add    0x14(%rsp),%edx
cmp    %ecx,%edx
je     1399 <solve+0x289>
mov    0x10(%rsp),%edx
add    0x14(%rsp),%edx
cmp    %eax,%edx
je     1399 <solve+0x289>
mov    0x4(%rsp),%edx
add    0x18(%rsp),%edx
cmp    %ecx,%edx
je     1399 <solve+0x289>
mov    0x4(%rsp),%edx
add    0x18(%rsp),%edx
cmp    %eax,%edx
je     1399 <solve+0x289>
mov    0x4(%rsp),%edx
add    0x18(%rsp),%edx
je     1399 <solve+0x289>
mov    0x8(%rsp),%edx
add    0x18(%rsp),%edx
cmp    %ecx,%edx
je     1399 <solve+0x289>
mov    0x8(%rsp),%edx
add    0x18(%rsp),%edx
cmp    %eax,%edx
je     1399 <solve+0x289>
mov    0x8(%rsp),%edx
add    0x18(%rsp),%edx
je     1399 <solve+0x289>
mov    0xc(%rsp),%edx
add    0x18(%rsp),%edx
cmp    %ecx,%edx
je     1399 <solve+0x289>
mov    0xc(%rsp),%edx
add    0x18(%rsp),%edx
cmp    %eax,%edx
je     1399 <solve+0x289>
mov    0x10(%rsp),%edx
add    0x18(%rsp),%edx
cmp    %ecx,%edx
je     1399 <solve+0x289>
mov    0x4(%rsp),%edx
add    0x1c(%rsp),%edx
cmp    %ecx,%edx
je     1399 <solve+0x289>
mov    0x4(%rsp),%edx
add    0x1c(%rsp),%edx
cmp    %eax,%edx
je     1399 <solve+0x289>
mov    0x4(%rsp),%edx
add    0x1c(%rsp),%edx
je     1399 <solve+0x289>
mov    0x8(%rsp),%edx
add    0x1c(%rsp),%edx
cmp    %ecx,%edx
je     1399 <solve+0x289>
mov    0x8(%rsp),%edx
add    0x1c(%rsp),%edx
cmp    %eax,%edx
je     1399 <solve+0x289>
mov    0xc(%rsp),%edx
add    0x1c(%rsp),%edx
xor    %eax,%eax
cmp    %ecx,%edx
jne    139e <solve+0x28e>
mov    $0x1,%eax
add    $0x28,%rsp
ret

LLVM IR (-O0):
@.str = [9 x i8] c"%d %d %d\00"
define i32 @solve() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca [3 x i32]
%6 = alloca [3 x i32]
%7 = alloca [3 x i32]
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store i32 0, i32* %2
store i32 0, i32* %3
store i32 0, i32* %4
%11 = call i32 @scanf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32* %2, i32* %3, i32* %4)
%12 = load i32, i32* %2
%13 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 0
store i32 %12, i32* %13
%14 = load i32, i32* %2
%15 = sub nsw i32 0, %14
%16 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 1
store i32 %15, i32* %16
%17 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 2
store i32 0, i32* %17
%18 = load i32, i32* %3
%19 = getelementptr inbounds [3 x i32], [3 x i32]* %6, i64 0, i64 0
store i32 %18, i32* %19
%20 = load i32, i32* %3
%21 = sub nsw i32 0, %20
%22 = getelementptr inbounds [3 x i32], [3 x i32]* %6, i64 0, i64 1
store i32 %21, i32* %22
%23 = getelementptr inbounds [3 x i32], [3 x i32]* %6, i64 0, i64 2
store i32 0, i32* %23
%24 = load i32, i32* %4
%25 = getelementptr inbounds [3 x i32], [3 x i32]* %7, i64 0, i64 0
store i32 %24, i32* %25
%26 = load i32, i32* %4
%27 = sub nsw i32 0, %26
%28 = getelementptr inbounds [3 x i32], [3 x i32]* %7, i64 0, i64 1
store i32 %27, i32* %28
%29 = getelementptr inbounds [3 x i32], [3 x i32]* %7, i64 0, i64 2
store i32 0, i32* %29
store i32 0, i32* %8
br label %30
30: ; preds = %75, %0
%31 = load i32, i32* %8
%32 = icmp slt i32 %31, 4
br i1 %32, label %33, label %78
33: ; preds = %30
store i32 0, i32* %9
br label %34
34: ; preds = %71, %33
%35 = load i32, i32* %9
%36 = icmp slt i32 %35, 4
br i1 %36, label %37, label %74
37: ; preds = %34
store i32 0, i32* %10
br label %38
38: ; preds = %67, %37
%39 = load i32, i32* %10
%40 = icmp slt i32 %39, 4
br i1 %40, label %41, label %70
41: ; preds = %38
%42 = load i32, i32* %8
%43 = load i32, i32* %10
%44 = add nsw i32 %42, %43
%45 = load i32, i32* %9
%46 = add nsw i32 %44, %45
%47 = icmp slt i32 %46, 6
br i1 %47, label %48, label %66
48: ; preds = %41
%49 = load i32, i32* %8
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 %50
%52 = load i32, i32* %51
%53 = load i32, i32* %9
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds [3 x i32], [3 x i32]* %6, i64 0, i64 %54
%56 = load i32, i32* %55
%57 = add nsw i32 %52, %56
%58 = load i32, i32* %10
%59 = sext i32 %58 to i64
%60 = getelementptr inbounds [3 x i32], [3 x i32]* %7, i64 0, i64 %59
%61 = load i32, i32* %60
%62 = add nsw i32 %57, %61
%63 = icmp eq i32 %62, 0
br i1 %63, label %64, label %65
64: ; preds = %48
store i32 1, i32* %1
br label %79
65: ; preds = %48
br label %66
66: ; preds = %65, %41
br label %67
67: ; preds = %66
%68 = load i32, i32* %10
%69 = add nsw i32 %68, 1
store i32 %69, i32* %10
br label %38
70: ; preds = %38
br label %71
71: ; preds = %70
%72 = load i32, i32* %9
%73 = add nsw i32 %72, 1
store i32 %73, i32* %9
br label %34
74: ; preds = %34
br label %75
75: ; preds = %74
%76 = load i32, i32* %8
%77 = add nsw i32 %76, 1
store i32 %77, i32* %8
br label %30
78: ; preds = %30
store i32 0, i32* %1
br label %79
79: ; preds = %78, %64
%80 = load i32, i32* %1
ret i32 %80
}

LLVM IR (-O2):
@.str = [9 x i8] c"%d %d %d\00"
define i32 @solve() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca [3 x i32]
%5 = alloca [3 x i32]
%6 = bitcast i32* %1 to i8*
store i32 0, i32* %1
%7 = bitcast i32* %2 to i8*
store i32 0, i32* %2
%8 = bitcast i32* %3 to i8*
store i32 0, i32* %3
%9 = call i32 @scanf(i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str, i64 0, i64 0), i32* %1, i32* %2, i32* %3)
%10 = bitcast [3 x i32]* %4 to i8*
%11 = load i32, i32* %1
%12 = getelementptr inbounds [3 x i32], [3 x i32]* %4, i64 0, i64 0
store i32 %11, i32* %12
%13 = sub nsw i32 0, %11
%14 = getelementptr inbounds [3 x i32], [3 x i32]* %4, i64 0, i64 1
store i32 %13, i32* %14
%15 = getelementptr inbounds [3 x i32], [3 x i32]* %4, i64 0, i64 2
store i32 0, i32* %15
%16 = bitcast [3 x i32]* %5 to i8*
%17 = load i32, i32* %2
%18 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 0
store i32 %17, i32* %18
%19 = sub nsw i32 0, %17
%20 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 1
store i32 %19, i32* %20
%21 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 2
store i32 0, i32* %21
%22 = load i32, i32* %3
%23 = sub i32 0, %22
%24 = getelementptr inbounds [3 x i32], [3 x i32]* %4, i64 0, i64 0
%25 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 0
%26 = load i32, i32* %24
%27 = load i32, i32* %25
%28 = add nsw i32 %27, %26
%29 = icmp eq i32 %28, %23
br i1 %29, label %232, label %30
30: ; preds = %0
%31 = load i32, i32* %24
%32 = load i32, i32* %25
%33 = add nsw i32 %32, %31
%34 = icmp eq i32 %33, %22
br i1 %34, label %232, label %35
35: ; preds = %30
%36 = load i32, i32* %24
%37 = load i32, i32* %25
%38 = sub i32 0, %36
%39 = icmp eq i32 %37, %38
br i1 %39, label %232, label %40
40: ; preds = %35
%41 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 1
%42 = load i32, i32* %24
%43 = load i32, i32* %41
%44 = add nsw i32 %43, %42
%45 = icmp eq i32 %44, %23
br i1 %45, label %232, label %46
46: ; preds = %40
%47 = load i32, i32* %24
%48 = load i32, i32* %41
%49 = add nsw i32 %48, %47
%50 = icmp eq i32 %49, %22
br i1 %50, label %232, label %51
51: ; preds = %46
%52 = load i32, i32* %24
%53 = load i32, i32* %41
%54 = sub i32 0, %52
%55 = icmp eq i32 %53, %54
br i1 %55, label %232, label %56
56: ; preds = %51
%57 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 2
%58 = load i32, i32* %24
%59 = load i32, i32* %57
%60 = add nsw i32 %59, %58
%61 = icmp eq i32 %60, %23
br i1 %61, label %232, label %62
62: ; preds = %56
%63 = load i32, i32* %24
%64 = load i32, i32* %57
%65 = add nsw i32 %64, %63
%66 = icmp eq i32 %65, %22
br i1 %66, label %232, label %67
67: ; preds = %62
%68 = load i32, i32* %24
%69 = load i32, i32* %57
%70 = sub i32 0, %68
%71 = icmp eq i32 %69, %70
br i1 %71, label %232, label %72
72: ; preds = %67
%73 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 3
%74 = load i32, i32* %24
%75 = load i32, i32* %73
%76 = add nsw i32 %75, %74
%77 = icmp eq i32 %76, %23
br i1 %77, label %232, label %78
78: ; preds = %72
%79 = load i32, i32* %24
%80 = load i32, i32* %73
%81 = add nsw i32 %80, %79
%82 = icmp eq i32 %81, %22
br i1 %82, label %232, label %83
83: ; preds = %78
%84 = load i32, i32* %24
%85 = load i32, i32* %73
%86 = sub i32 0, %84
%87 = icmp eq i32 %85, %86
br i1 %87, label %232, label %88
88: ; preds = %83
%89 = getelementptr inbounds [3 x i32], [3 x i32]* %4, i64 0, i64 1
%90 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 0
%91 = load i32, i32* %89
%92 = load i32, i32* %90
%93 = add nsw i32 %92, %91
%94 = icmp eq i32 %93, %23
br i1 %94, label %232, label %95
95: ; preds = %88
%96 = load i32, i32* %89
%97 = load i32, i32* %90
%98 = add nsw i32 %97, %96
%99 = icmp eq i32 %98, %22
br i1 %99, label %232, label %100
100: ; preds = %95
%101 = load i32, i32* %89
%102 = load i32, i32* %90
%103 = sub i32 0, %101
%104 = icmp eq i32 %102, %103
br i1 %104, label %232, label %105
105: ; preds = %100
%106 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 1
%107 = load i32, i32* %89
%108 = load i32, i32* %106
%109 = add nsw i32 %108, %107
%110 = icmp eq i32 %109, %23
br i1 %110, label %232, label %111
111: ; preds = %105
%112 = load i32, i32* %89
%113 = load i32, i32* %106
%114 = add nsw i32 %113, %112
%115 = icmp eq i32 %114, %22
br i1 %115, label %232, label %116
116: ; preds = %111
%117 = load i32, i32* %89
%118 = load i32, i32* %106
%119 = sub i32 0, %117
%120 = icmp eq i32 %118, %119
br i1 %120, label %232, label %121
121: ; preds = %116
%122 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 2
%123 = load i32, i32* %89
%124 = load i32, i32* %122
%125 = add nsw i32 %124, %123
%126 = icmp eq i32 %125, %23
br i1 %126, label %232, label %127
127: ; preds = %121
%128 = load i32, i32* %89
%129 = load i32, i32* %122
%130 = add nsw i32 %129, %128
%131 = icmp eq i32 %130, %22
br i1 %131, label %232, label %132
132: ; preds = %127
%133 = load i32, i32* %89
%134 = load i32, i32* %122
%135 = sub i32 0, %133
%136 = icmp eq i32 %134, %135
br i1 %136, label %232, label %137
137: ; preds = %132
%138 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 3
%139 = load i32, i32* %89
%140 = load i32, i32* %138
%141 = add nsw i32 %140, %139
%142 = icmp eq i32 %141, %23
br i1 %142, label %232, label %143
143: ; preds = %137
%144 = load i32, i32* %89
%145 = load i32, i32* %138
%146 = add nsw i32 %145, %144
%147 = icmp eq i32 %146, %22
br i1 %147, label %232, label %148
148: ; preds = %143
%149 = getelementptr inbounds [3 x i32], [3 x i32]* %4, i64 0, i64 2
%150 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 0
%151 = load i32, i32* %149
%152 = load i32, i32* %150
%153 = add nsw i32 %152, %151
%154 = icmp eq i32 %153, %23
br i1 %154, label %232, label %155
155: ; preds = %148
%156 = load i32, i32* %149
%157 = load i32, i32* %150
%158 = add nsw i32 %157, %156
%159 = icmp eq i32 %158, %22
br i1 %159, label %232, label %160
160: ; preds = %155
%161 = load i32, i32* %149
%162 = load i32, i32* %150
%163 = sub i32 0, %161
%164 = icmp eq i32 %162, %163
br i1 %164, label %232, label %165
165: ; preds = %160
%166 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 1
%167 = load i32, i32* %149
%168 = load i32, i32* %166
%169 = add nsw i32 %168, %167
%170 = icmp eq i32 %169, %23
br i1 %170, label %232, label %171
171: ; preds = %165
%172 = load i32, i32* %149
%173 = load i32, i32* %166
%174 = add nsw i32 %173, %172
%175 = icmp eq i32 %174, %22
br i1 %175, label %232, label %176
176: ; preds = %171
%177 = load i32, i32* %149
%178 = load i32, i32* %166
%179 = sub i32 0, %177
%180 = icmp eq i32 %178, %179
br i1 %180, label %232, label %181
181: ; preds = %176
%182 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 2
%183 = load i32, i32* %149
%184 = load i32, i32* %182
%185 = add nsw i32 %184, %183
%186 = icmp eq i32 %185, %23
br i1 %186, label %232, label %187
187: ; preds = %181
%188 = load i32, i32* %149
%189 = load i32, i32* %182
%190 = add nsw i32 %189, %188
%191 = icmp eq i32 %190, %22
br i1 %191, label %232, label %192
192: ; preds = %187
%193 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 3
%194 = load i32, i32* %149
%195 = load i32, i32* %193
%196 = add nsw i32 %195, %194
%197 = icmp eq i32 %196, %23
br i1 %197, label %232, label %198
198: ; preds = %192
%199 = getelementptr inbounds [3 x i32], [3 x i32]* %4, i64 0, i64 3
%200 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 0
%201 = load i32, i32* %199
%202 = load i32, i32* %200
%203 = add nsw i32 %202, %201
%204 = icmp eq i32 %203, %23
br i1 %204, label %232, label %205
205: ; preds = %198
%206 = load i32, i32* %199
%207 = load i32, i32* %200
%208 = add nsw i32 %207, %206
%209 = icmp eq i32 %208, %22
br i1 %209, label %232, label %210
210: ; preds = %205
%211 = load i32, i32* %199
%212 = load i32, i32* %200
%213 = sub i32 0, %211
%214 = icmp eq i32 %212, %213
br i1 %214, label %232, label %215
215: ; preds = %210
%216 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 1
%217 = load i32, i32* %199
%218 = load i32, i32* %216
%219 = add nsw i32 %218, %217
%220 = icmp eq i32 %219, %23
br i1 %220, label %232, label %221
221: ; preds = %215
%222 = load i32, i32* %199
%223 = load i32, i32* %216
%224 = add nsw i32 %223, %222
%225 = icmp eq i32 %224, %22
br i1 %225, label %232, label %226
226: ; preds = %221
%227 = getelementptr inbounds [3 x i32], [3 x i32]* %5, i64 0, i64 2
%228 = load i32, i32* %199
%229 = load i32, i32* %227
%230 = add nsw i32 %229, %228
%231 = icmp eq i32 %230, %23
br i1 %231, label %232, label %233
232: ; preds = %226, %221, %215, %210, %205, %198, %192, %187, %181, %176, %171, %165, %160, %155, %148, %143, %137, %132, %127, %121, %116, %111, %105, %100, %95, %88, %83, %78, %72, %67, %62, %56, %51, %46, %40, %35, %30, %0
br label %233
233: ; preds = %226, %232
%234 = phi i32 [ 1, %232 ], [ 0, %226 ]
ret i32 %234
}