#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*/ find_empty_pos_since(char **, int *, int *);
int _solve(char board[][11], int row, int col) {
  if (!find_empty_pos_since(board, &row, &col))
    return 0;
  int t, i, j, nextRow, nextCol;
  int x, y;
  y = row / 3 * 3;
  x = col / 3 * 3;
  if (col < 9) {
    nextRow = row;
    nextCol = col + 1;
  } else {
    nextRow = row + 1;
    nextCol = 0;
  }
  for (t = '1'; t <= '9'; ++t) {
    for (i = 0; i < 9; ++i)
      if (board[row][i] == t)
        goto next;
    for (i = 0; i < 9; ++i)
      if (board[i][col] == t)
        goto next;
    for (i = y; i < y + 3; ++i)
      for (j = x; j < x + 3; ++j)
        if (board[i][j] == t)
          goto next;
    board[row][col] = t;
    if (_solve(board, nextRow, nextCol) == 0) {
      return 0;
    }
  next:
    continue;
  }
  board[row][col] = '0';
  return 1;
}


x86 assembly (clang, -O0):
<_solve>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    -0x10(%rbp),%rdi
lea    -0x14(%rbp),%rsi
lea    -0x18(%rbp),%rdx
call   1040 <find_empty_pos_since@plt>
cmp    $0x0,%eax
jne    1158 <_solve+0x38>
movl   $0x0,-0x4(%rbp)
jmp    1339 <_solve+0x219>
mov    -0x14(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
imul   $0x3,%eax,%eax
mov    %eax,-0x34(%rbp)
mov    -0x18(%rbp),%eax
mov    $0x3,%ecx
cltd
idiv   %ecx
imul   $0x3,%eax,%eax
mov    %eax,-0x30(%rbp)
cmpl   $0x9,-0x18(%rbp)
jge    1198 <_solve+0x78>
mov    -0x14(%rbp),%eax
mov    %eax,-0x28(%rbp)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x2c(%rbp)
jmp    11a8 <_solve+0x88>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x28(%rbp)
movl   $0x0,-0x2c(%rbp)
movl   $0x31,-0x1c(%rbp)
cmpl   $0x39,-0x1c(%rbp)
jg     131b <_solve+0x1fb>
movl   $0x0,-0x20(%rbp)
cmpl   $0x9,-0x20(%rbp)
jge    1202 <_solve+0xe2>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0xb,%rcx,%rcx
add    %rcx,%rax
movslq -0x20(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    -0x1c(%rbp),%eax
jne    11ef <_solve+0xcf>
jmp    1308 <_solve+0x1e8>
jmp    11f4 <_solve+0xd4>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    11c0 <_solve+0xa0>
movl   $0x0,-0x20(%rbp)
cmpl   $0x9,-0x20(%rbp)
jge    124b <_solve+0x12b>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
imul   $0xb,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    -0x1c(%rbp),%eax
jne    1238 <_solve+0x118>
jmp    1308 <_solve+0x1e8>
jmp    123d <_solve+0x11d>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1209 <_solve+0xe9>
mov    -0x34(%rbp),%eax
mov    %eax,-0x20(%rbp)
mov    -0x20(%rbp),%eax
mov    -0x34(%rbp),%ecx
add    $0x3,%ecx
cmp    %ecx,%eax
jge    12c4 <_solve+0x1a4>
mov    -0x30(%rbp),%eax
mov    %eax,-0x24(%rbp)
mov    -0x24(%rbp),%eax
mov    -0x30(%rbp),%ecx
add    $0x3,%ecx
cmp    %ecx,%eax
jge    12b1 <_solve+0x191>
mov    -0x10(%rbp),%rax
movslq -0x20(%rbp),%rcx
imul   $0xb,%rcx,%rcx
add    %rcx,%rax
movslq -0x24(%rbp),%rcx
movsbl (%rax,%rcx,1),%eax
cmp    -0x1c(%rbp),%eax
jne    129e <_solve+0x17e>
jmp    1308 <_solve+0x1e8>
jmp    12a3 <_solve+0x183>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1268 <_solve+0x148>
jmp    12b6 <_solve+0x196>
mov    -0x20(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x20(%rbp)
jmp    1251 <_solve+0x131>
mov    -0x1c(%rbp),%eax
mov    %al,%dl
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0xb,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x10(%rbp),%rdi
mov    -0x28(%rbp),%esi
mov    -0x2c(%rbp),%edx
call   1030 <_solve@plt>
cmp    $0x0,%eax
jne    1303 <_solve+0x1e3>
movl   $0x0,-0x4(%rbp)
jmp    1339 <_solve+0x219>
jmp    1308 <_solve+0x1e8>
jmp    130d <_solve+0x1ed>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    11af <_solve+0x8f>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
imul   $0xb,%rcx,%rcx
add    %rcx,%rax
movslq -0x18(%rbp),%rcx
movb   $0x30,(%rax,%rcx,1)
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<_solve>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    %rdi,%rbx
mov    %esi,0x10(%rsp)
mov    %edx,0xc(%rsp)
lea    0x10(%rsp),%rsi
lea    0xc(%rsp),%rdx
call   1040 <find_empty_pos_since@plt>
test   %eax,%eax
je     1332 <_solve+0x212>
movslq 0x10(%rsp),%rax
imul   $0x55555556,%rax,%rcx
mov    %rcx,%rdx
shr    $0x3f,%rdx
shr    $0x20,%rcx
add    %edx,%ecx
lea    (%rcx,%rcx,2),%edx
movslq 0xc(%rsp),%rsi
imul   $0x55555556,%rsi,%rdi
mov    %rdi,%rbp
shr    $0x3f,%rbp
shr    $0x20,%rdi
add    %ebp,%edi
lea    0x1(%rsi),%ebp
xor    %r9d,%r9d
xor    %r15d,%r15d
cmp    $0x9,%rsi
setge  %r15b
lea    (%rdi,%rdi,2),%esi
cmovl  %ebp,%r9d
add    %eax,%r15d
movslq %esi,%rbp
movslq %edx,%r12
lea    (%rdi,%rdi,2),%edx
add    $0x2,%edx
movslq %edx,%r10
lea    (%rcx,%rcx,2),%ecx
add    $0x2,%ecx
movslq %ecx,%r11
add    $0xffffffffffffffff,%rbp
lea    (%r12,%r12,4),%rcx
lea    (%r12,%rcx,2),%r13
add    %rbx,%r13
mov    $0x31,%r14d
jmp    11e2 <_solve+0xc2>
nop
add    $0x1,%r14d
mov    0x10(%rsp),%eax
cmp    $0x3a,%r14d
je     1336 <_solve+0x216>
cltq
lea    (%rax,%rax,4),%rcx
lea    (%rax,%rcx,2),%rax
movsbl (%rbx,%rax,1),%ecx
cmp    %ecx,%r14d
je     11d0 <_solve+0xb0>
movsbl 0x1(%rbx,%rax,1),%ecx
cmp    %ecx,%r14d
je     11d0 <_solve+0xb0>
movsbl 0x2(%rbx,%rax,1),%ecx
cmp    %ecx,%r14d
je     11d0 <_solve+0xb0>
movsbl 0x3(%rbx,%rax,1),%ecx
cmp    %ecx,%r14d
je     11d0 <_solve+0xb0>
movsbl 0x4(%rbx,%rax,1),%ecx
cmp    %ecx,%r14d
je     11d0 <_solve+0xb0>
movsbl 0x5(%rbx,%rax,1),%ecx
cmp    %ecx,%r14d
je     11d0 <_solve+0xb0>
movsbl 0x6(%rbx,%rax,1),%ecx
cmp    %ecx,%r14d
je     11d0 <_solve+0xb0>
movsbl 0x7(%rbx,%rax,1),%ecx
cmp    %ecx,%r14d
je     11d0 <_solve+0xb0>
movsbl 0x8(%rbx,%rax,1),%ecx
cmp    %ecx,%r14d
je     11d0 <_solve+0xb0>
movslq 0xc(%rsp),%rcx
movsbl (%rbx,%rcx,1),%edx
cmp    %edx,%r14d
je     11d0 <_solve+0xb0>
movsbl 0xb(%rbx,%rcx,1),%edx
cmp    %edx,%r14d
je     11d0 <_solve+0xb0>
movsbl 0x16(%rbx,%rcx,1),%edx
cmp    %edx,%r14d
je     11d0 <_solve+0xb0>
movsbl 0x21(%rbx,%rcx,1),%edx
cmp    %edx,%r14d
je     11d0 <_solve+0xb0>
movsbl 0x2c(%rbx,%rcx,1),%edx
cmp    %edx,%r14d
je     11d0 <_solve+0xb0>
movsbl 0x37(%rbx,%rcx,1),%edx
cmp    %edx,%r14d
je     11d0 <_solve+0xb0>
movsbl 0x42(%rbx,%rcx,1),%edx
cmp    %edx,%r14d
je     11d0 <_solve+0xb0>
movsbl 0x4d(%rbx,%rcx,1),%edx
cmp    %edx,%r14d
je     11d0 <_solve+0xb0>
movsbl 0x58(%rbx,%rcx,1),%edx
cmp    %edx,%r14d
je     11d0 <_solve+0xb0>
mov    %r13,%rdx
mov    %r12,%r8
mov    %rbp,%rdi
movsbl 0x1(%rdx,%rdi,1),%esi
cmp    %esi,%r14d
je     11d0 <_solve+0xb0>
add    $0x1,%rdi
cmp    %r10,%rdi
jl     12d0 <_solve+0x1b0>
lea    0x1(%r8),%rsi
add    $0xb,%rdx
cmp    %r11,%r8
mov    %rsi,%r8
jl     12cd <_solve+0x1ad>
add    %rbx,%rax
mov    %r14b,(%rcx,%rax,1)
mov    %rbx,%rdi
mov    %r15d,%esi
mov    %r9d,%edx
mov    %r9d,0x14(%rsp)
mov    %r10,0x20(%rsp)
mov    %r11,0x18(%rsp)
call   1030 <_solve@plt>
mov    0x18(%rsp),%r11
mov    0x20(%rsp),%r10
mov    0x14(%rsp),%r9d
test   %eax,%eax
jne    11d0 <_solve+0xb0>
xor    %eax,%eax
jmp    1351 <_solve+0x231>
cltq
movslq 0xc(%rsp),%rcx
lea    (%rax,%rax,4),%rdx
lea    (%rax,%rdx,2),%rax
add    %rax,%rbx
movb   $0x30,(%rcx,%rbx,1)
mov    $0x1,%eax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
define i32 @_solve([11 x i8]* %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca [11 x i8]*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i32
%14 = alloca i32
store [11 x i8]* %0, [11 x i8]** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
%15 = load [11 x i8]*, [11 x i8]** %5
%16 = bitcast [11 x i8]* %15 to i8**
%17 = call i32 @find_empty_pos_since(i8** %16, i32* %6, i32* %7)
%18 = icmp ne i32 %17, 0
br i1 %18, label %20, label %19
19: ; preds = %3
store i32 0, i32* %4
br label %146
20: ; preds = %3
%21 = load i32, i32* %6
%22 = sdiv i32 %21, 3
%23 = mul nsw i32 %22, 3
store i32 %23, i32* %14
%24 = load i32, i32* %7
%25 = sdiv i32 %24, 3
%26 = mul nsw i32 %25, 3
store i32 %26, i32* %13
%27 = load i32, i32* %7
%28 = icmp slt i32 %27, 9
br i1 %28, label %29, label %33
29: ; preds = %20
%30 = load i32, i32* %6
store i32 %30, i32* %11
%31 = load i32, i32* %7
%32 = add nsw i32 %31, 1
store i32 %32, i32* %12
br label %36
33: ; preds = %20
%34 = load i32, i32* %6
%35 = add nsw i32 %34, 1
store i32 %35, i32* %11
store i32 0, i32* %12
br label %36
36: ; preds = %33, %29
store i32 49, i32* %8
br label %37
37: ; preds = %135, %36
%38 = load i32, i32* %8
%39 = icmp sle i32 %38, 57
br i1 %39, label %40, label %138
40: ; preds = %37
store i32 0, i32* %9
br label %41
41: ; preds = %58, %40
%42 = load i32, i32* %9
%43 = icmp slt i32 %42, 9
br i1 %43, label %44, label %61
44: ; preds = %41
%45 = load [11 x i8]*, [11 x i8]** %5
%46 = load i32, i32* %6
%47 = sext i32 %46 to i64
%48 = getelementptr inbounds [11 x i8], [11 x i8]* %45, i64 %47
%49 = load i32, i32* %9
%50 = sext i32 %49 to i64
%51 = getelementptr inbounds [11 x i8], [11 x i8]* %48, i64 0, i64 %50
%52 = load i8, i8* %51
%53 = sext i8 %52 to i32
%54 = load i32, i32* %8
%55 = icmp eq i32 %53, %54
br i1 %55, label %56, label %57
56: ; preds = %44
br label %134
57: ; preds = %44
br label %58
58: ; preds = %57
%59 = load i32, i32* %9
%60 = add nsw i32 %59, 1
store i32 %60, i32* %9
br label %41
61: ; preds = %41
store i32 0, i32* %9
br label %62
62: ; preds = %79, %61
%63 = load i32, i32* %9
%64 = icmp slt i32 %63, 9
br i1 %64, label %65, label %82
65: ; preds = %62
%66 = load [11 x i8]*, [11 x i8]** %5
%67 = load i32, i32* %9
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds [11 x i8], [11 x i8]* %66, i64 %68
%70 = load i32, i32* %7
%71 = sext i32 %70 to i64
%72 = getelementptr inbounds [11 x i8], [11 x i8]* %69, i64 0, i64 %71
%73 = load i8, i8* %72
%74 = sext i8 %73 to i32
%75 = load i32, i32* %8
%76 = icmp eq i32 %74, %75
br i1 %76, label %77, label %78
77: ; preds = %65
br label %134
78: ; preds = %65
br label %79
79: ; preds = %78
%80 = load i32, i32* %9
%81 = add nsw i32 %80, 1
store i32 %81, i32* %9
br label %62
82: ; preds = %62
%83 = load i32, i32* %14
store i32 %83, i32* %9
br label %84
84: ; preds = %114, %82
%85 = load i32, i32* %9
%86 = load i32, i32* %14
%87 = add nsw i32 %86, 3
%88 = icmp slt i32 %85, %87
br i1 %88, label %89, label %117
89: ; preds = %84
%90 = load i32, i32* %13
store i32 %90, i32* %10
br label %91
91: ; preds = %110, %89
%92 = load i32, i32* %10
%93 = load i32, i32* %13
%94 = add nsw i32 %93, 3
%95 = icmp slt i32 %92, %94
br i1 %95, label %96, label %113
96: ; preds = %91
%97 = load [11 x i8]*, [11 x i8]** %5
%98 = load i32, i32* %9
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds [11 x i8], [11 x i8]* %97, i64 %99
%101 = load i32, i32* %10
%102 = sext i32 %101 to i64
%103 = getelementptr inbounds [11 x i8], [11 x i8]* %100, i64 0, i64 %102
%104 = load i8, i8* %103
%105 = sext i8 %104 to i32
%106 = load i32, i32* %8
%107 = icmp eq i32 %105, %106
br i1 %107, label %108, label %109
108: ; preds = %96
br label %134
109: ; preds = %96
br label %110
110: ; preds = %109
%111 = load i32, i32* %10
%112 = add nsw i32 %111, 1
store i32 %112, i32* %10
br label %91
113: ; preds = %91
br label %114
114: ; preds = %113
%115 = load i32, i32* %9
%116 = add nsw i32 %115, 1
store i32 %116, i32* %9
br label %84
117: ; preds = %84
%118 = load i32, i32* %8
%119 = trunc i32 %118 to i8
%120 = load [11 x i8]*, [11 x i8]** %5
%121 = load i32, i32* %6
%122 = sext i32 %121 to i64
%123 = getelementptr inbounds [11 x i8], [11 x i8]* %120, i64 %122
%124 = load i32, i32* %7
%125 = sext i32 %124 to i64
%126 = getelementptr inbounds [11 x i8], [11 x i8]* %123, i64 0, i64 %125
store i8 %119, i8* %126
%127 = load [11 x i8]*, [11 x i8]** %5
%128 = load i32, i32* %11
%129 = load i32, i32* %12
%130 = call i32 @_solve([11 x i8]* %127, i32 %128, i32 %129)
%131 = icmp eq i32 %130, 0
br i1 %131, label %132, label %133
132: ; preds = %117
store i32 0, i32* %4
br label %146
133: ; preds = %117
br label %134
134: ; preds = %133, %108, %77, %56
br label %135
135: ; preds = %134
%136 = load i32, i32* %8
%137 = add nsw i32 %136, 1
store i32 %137, i32* %8
br label %37
138: ; preds = %37
%139 = load [11 x i8]*, [11 x i8]** %5
%140 = load i32, i32* %6
%141 = sext i32 %140 to i64
%142 = getelementptr inbounds [11 x i8], [11 x i8]* %139, i64 %141
%143 = load i32, i32* %7
%144 = sext i32 %143 to i64
%145 = getelementptr inbounds [11 x i8], [11 x i8]* %142, i64 0, i64 %144
store i8 48, i8* %145
store i32 1, i32* %4
br label %146
146: ; preds = %138, %132, %19
%147 = load i32, i32* %4
ret i32 %147
}

LLVM IR (-O2):
define i32 @_solve([11 x i8]* %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca i32
store i32 %1, i32* %4
store i32 %2, i32* %5
%6 = bitcast [11 x i8]* %0 to i8**
%7 = call i32 @find_empty_pos_since(i8** %6, i32* %4, i32* %5)
%8 = icmp eq i32 %7, 0
br i1 %8, label %151, label %9
9: ; preds = %3
%10 = load i32, i32* %4
%11 = srem i32 %10, 3
%12 = sub i32 %10, %11
%13 = load i32, i32* %5
%14 = srem i32 %13, 3
%15 = sub i32 %13, %14
%16 = icmp slt i32 %13, 9
%17 = add nsw i32 %13, 1
%18 = xor i1 %16, true
%19 = zext i1 %18 to i32
%20 = add nsw i32 %10, %19
%21 = select i1 %16, i32 %17, i32 0
%22 = sext i32 %15 to i64
%23 = sext i32 %12 to i64
%24 = add nsw i32 %15, 2
%25 = sext i32 %24 to i64
%26 = add nsw i32 %12, 2
%27 = sext i32 %26 to i64
br label %28
28: ; preds = %142, %9
%29 = phi i32 [ %10, %9 ], [ %145, %142 ]
%30 = phi i32 [ 49, %9 ], [ %143, %142 ]
%31 = sext i32 %29 to i64
%32 = getelementptr inbounds [11 x i8], [11 x i8]* %0, i64 %31, i64 0
%33 = load i8, i8* %32
%34 = sext i8 %33 to i32
%35 = icmp eq i32 %30, %34
br i1 %35, label %142, label %36
36: ; preds = %28
%37 = getelementptr inbounds [11 x i8], [11 x i8]* %0, i64 %31, i64 1
%38 = load i8, i8* %37
%39 = sext i8 %38 to i32
%40 = icmp eq i32 %30, %39
br i1 %40, label %142, label %41
41: ; preds = %36
%42 = getelementptr inbounds [11 x i8], [11 x i8]* %0, i64 %31, i64 2
%43 = load i8, i8* %42
%44 = sext i8 %43 to i32
%45 = icmp eq i32 %30, %44
br i1 %45, label %142, label %46
46: ; preds = %41
%47 = getelementptr inbounds [11 x i8], [11 x i8]* %0, i64 %31, i64 3
%48 = load i8, i8* %47
%49 = sext i8 %48 to i32
%50 = icmp eq i32 %30, %49
br i1 %50, label %142, label %51
51: ; preds = %46
%52 = getelementptr inbounds [11 x i8], [11 x i8]* %0, i64 %31, i64 4
%53 = load i8, i8* %52
%54 = sext i8 %53 to i32
%55 = icmp eq i32 %30, %54
br i1 %55, label %142, label %56
56: ; preds = %51
%57 = getelementptr inbounds [11 x i8], [11 x i8]* %0, i64 %31, i64 5
%58 = load i8, i8* %57
%59 = sext i8 %58 to i32
%60 = icmp eq i32 %30, %59
br i1 %60, label %142, label %61
61: ; preds = %56
%62 = getelementptr inbounds [11 x i8], [11 x i8]* %0, i64 %31, i64 6
%63 = load i8, i8* %62
%64 = sext i8 %63 to i32
%65 = icmp eq i32 %30, %64
br i1 %65, label %142, label %66
66: ; preds = %61
%67 = getelementptr inbounds [11 x i8], [11 x i8]* %0, i64 %31, i64 7
%68 = load i8, i8* %67
%69 = sext i8 %68 to i32
%70 = icmp eq i32 %30, %69
br i1 %70, label %142, label %71
71: ; preds = %66
%72 = getelementptr inbounds [11 x i8], [11 x i8]* %0, i64 %31, i64 8
%73 = load i8, i8* %72
%74 = sext i8 %73 to i32
%75 = icmp eq i32 %30, %74
br i1 %75, label %142, label %76
76: ; preds = %71
%77 = load i32, i32* %5
%78 = sext i32 %77 to i64
%79 = getelementptr inbounds [11 x i8], [11 x i8]* %0, i64 0, i64 %78
%80 = load i8, i8* %79
%81 = sext i8 %80 to i32
%82 = icmp eq i32 %30, %81
br i1 %82, label %142, label %83
83: ; preds = %76
%84 = getelementptr inbounds [11 x i8], [11 x i8]* %0, i64 1, i64 %78
%85 = load i8, i8* %84
%86 = sext i8 %85 to i32
%87 = icmp eq i32 %30, %86
br i1 %87, label %142, label %88
88: ; preds = %83
%89 = getelementptr inbounds [11 x i8], [11 x i8]* %0, i64 2, i64 %78
%90 = load i8, i8* %89
%91 = sext i8 %90 to i32
%92 = icmp eq i32 %30, %91
br i1 %92, label %142, label %93
93: ; preds = %88
%94 = getelementptr inbounds [11 x i8], [11 x i8]* %0, i64 3, i64 %78
%95 = load i8, i8* %94
%96 = sext i8 %95 to i32
%97 = icmp eq i32 %30, %96
br i1 %97, label %142, label %98
98: ; preds = %93
%99 = getelementptr inbounds [11 x i8], [11 x i8]* %0, i64 4, i64 %78
%100 = load i8, i8* %99
%101 = sext i8 %100 to i32
%102 = icmp eq i32 %30, %101
br i1 %102, label %142, label %103
103: ; preds = %98
%104 = getelementptr inbounds [11 x i8], [11 x i8]* %0, i64 5, i64 %78
%105 = load i8, i8* %104
%106 = sext i8 %105 to i32
%107 = icmp eq i32 %30, %106
br i1 %107, label %142, label %108
108: ; preds = %103
%109 = getelementptr inbounds [11 x i8], [11 x i8]* %0, i64 6, i64 %78
%110 = load i8, i8* %109
%111 = sext i8 %110 to i32
%112 = icmp eq i32 %30, %111
br i1 %112, label %142, label %113
113: ; preds = %108
%114 = getelementptr inbounds [11 x i8], [11 x i8]* %0, i64 7, i64 %78
%115 = load i8, i8* %114
%116 = sext i8 %115 to i32
%117 = icmp eq i32 %30, %116
br i1 %117, label %142, label %118
118: ; preds = %113
%119 = getelementptr inbounds [11 x i8], [11 x i8]* %0, i64 8, i64 %78
%120 = load i8, i8* %119
%121 = sext i8 %120 to i32
%122 = icmp eq i32 %30, %121
br i1 %122, label %142, label %123
123: ; preds = %118, %134
%124 = phi i64 [ %135, %134 ], [ %23, %118 ]
br label %128
125: ; preds = %128
%126 = add nsw i64 %129, 1
%127 = icmp slt i64 %129, %25
br i1 %127, label %128, label %134
128: ; preds = %123, %125
%129 = phi i64 [ %22, %123 ], [ %126, %125 ]
%130 = getelementptr inbounds [11 x i8], [11 x i8]* %0, i64 %124, i64 %129
%131 = load i8, i8* %130
%132 = sext i8 %131 to i32
%133 = icmp eq i32 %30, %132
br i1 %133, label %142, label %125
134: ; preds = %125
%135 = add nsw i64 %124, 1
%136 = icmp slt i64 %124, %27
br i1 %136, label %123, label %137
137: ; preds = %134
%138 = trunc i32 %30 to i8
%139 = getelementptr inbounds [11 x i8], [11 x i8]* %0, i64 %31, i64 %78
store i8 %138, i8* %139
%140 = call i32 @_solve([11 x i8]* %0, i32 %20, i32 %21)
%141 = icmp eq i32 %140, 0
br i1 %141, label %151, label %142
142: ; preds = %128, %28, %36, %41, %46, %51, %56, %61, %66, %71, %76, %83, %88, %93, %98, %103, %108, %113, %118, %137
%143 = add nuw nsw i32 %30, 1
%144 = icmp eq i32 %143, 58
%145 = load i32, i32* %4
br i1 %144, label %146, label %28
146: ; preds = %142
%147 = sext i32 %145 to i64
%148 = load i32, i32* %5
%149 = sext i32 %148 to i64
%150 = getelementptr inbounds [11 x i8], [11 x i8]* %0, i64 %147, i64 %149
store i8 48, i8* %150
br label %151
151: ; preds = %137, %146, %3
%152 = phi i32 [ 0, %3 ], [ 1, %146 ], [ 0, %137 ]
ret i32 %152
}