#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 solve(int rectangle[][3]) {
  int i = 5, j = 1, w, h, k, identical, fail = 0;
  while (i--) {
    identical = 0;
    scanf("%d%d", &w, &h);
    for (k = 0; k < j; k++) {
      if (rectangle[k][2] < 2 &&
          (((w == rectangle[k][0] && h == rectangle[k][1])) ||
           (w == rectangle[k][1] && h == rectangle[k][0]))) {
        identical = 1;
        rectangle[k][2]++;
      }
    }
    if (!identical && j == 3)
      fail = 1;
    else if (!identical && j < 3) {
      rectangle[j][0] = w;
      rectangle[j][1] = h;
      rectangle[j++][2] = 1;
    }
  }
  if (fail)
    return 0;
  fail = 1;
  if (rectangle[0][0] == rectangle[1][0]) {
    if (rectangle[0][1] == rectangle[2][0] &&
        rectangle[1][1] == rectangle[2][1])
      fail = 0;
    if (rectangle[0][1] == rectangle[2][1] &&
        rectangle[1][1] == rectangle[2][0])
      fail = 0;
  }
  if (rectangle[0][1] == rectangle[1][0]) {
    if (rectangle[0][0] == rectangle[2][0] &&
        rectangle[1][1] == rectangle[2][1])
      fail = 0;
    if (rectangle[0][0] == rectangle[2][1] &&
        rectangle[1][1] == rectangle[2][0])
      fail = 0;
  }
  if (rectangle[0][1] == rectangle[1][1]) {
    if (rectangle[0][0] == rectangle[2][0] &&
        rectangle[1][0] == rectangle[2][1])
      fail = 0;
    if (rectangle[0][0] == rectangle[2][1] &&
        rectangle[1][0] == rectangle[2][0])
      fail = 0;
  }
  if (rectangle[0][0] == rectangle[1][1]) {
    if (rectangle[0][1] == rectangle[2][0] &&
        rectangle[1][0] == rectangle[2][1])
      fail = 0;
    if (rectangle[0][1] == rectangle[2][1] &&
        rectangle[1][0] == rectangle[2][0])
      fail = 0;
  }
  return !fail;
}


x86 assembly (clang, -O0):
<solve>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    %rdi,-0x10(%rbp)
movl   $0x5,-0x14(%rbp)
movl   $0x1,-0x18(%rbp)
movl   $0x0,-0x2c(%rbp)
mov    -0x14(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x14(%rbp)
cmp    $0x0,%eax
je     12af <solve+0x19f>
movl   $0x0,-0x28(%rbp)
lea    0xead(%rip),%rdi
lea    -0x1c(%rbp),%rsi
lea    -0x20(%rbp),%rdx
call   1030 <scanf@plt>
movl   $0x0,-0x24(%rbp)
mov    -0x24(%rbp),%eax
cmp    -0x18(%rbp),%eax
jge    1228 <solve+0x118>
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
imul   $0xc,%rcx,%rcx
add    %rcx,%rax
cmpl   $0x2,0x8(%rax)
jge    1215 <solve+0x105>
mov    -0x1c(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
imul   $0xc,%rdx,%rdx
add    %rdx,%rcx
cmp    (%rcx),%eax
jne    11c1 <solve+0xb1>
mov    -0x20(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
imul   $0xc,%rdx,%rdx
add    %rdx,%rcx
cmp    0x4(%rcx),%eax
je     11f6 <solve+0xe6>
mov    -0x1c(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
imul   $0xc,%rdx,%rdx
add    %rdx,%rcx
cmp    0x4(%rcx),%eax
jne    1215 <solve+0x105>
mov    -0x20(%rbp),%eax
mov    -0x10(%rbp),%rcx
movslq -0x24(%rbp),%rdx
imul   $0xc,%rdx,%rdx
add    %rdx,%rcx
cmp    (%rcx),%eax
jne    1215 <solve+0x105>
movl   $0x1,-0x28(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x24(%rbp),%rcx
imul   $0xc,%rcx,%rcx
add    %rcx,%rax
mov    0x8(%rax),%ecx
add    $0x1,%ecx
mov    %ecx,0x8(%rax)
jmp    121a <solve+0x10a>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    1167 <solve+0x57>
cmpl   $0x0,-0x28(%rbp)
jne    1248 <solve+0x138>
cmpl   $0x3,-0x18(%rbp)
jne    1248 <solve+0x138>
movl   $0x1,-0x2c(%rbp)
jmp    12aa <solve+0x19a>
cmpl   $0x0,-0x28(%rbp)
jne    12a5 <solve+0x195>
cmpl   $0x3,-0x18(%rbp)
jge    12a5 <solve+0x195>
mov    -0x1c(%rbp),%ecx
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rdx
imul   $0xc,%rdx,%rdx
add    %rdx,%rax
mov    %ecx,(%rax)
mov    -0x20(%rbp),%ecx
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rdx
imul   $0xc,%rdx,%rdx
add    %rdx,%rax
mov    %ecx,0x4(%rax)
mov    -0x10(%rbp),%rax
mov    -0x18(%rbp),%ecx
mov    %ecx,%edx
add    $0x1,%edx
mov    %edx,-0x18(%rbp)
movslq %ecx,%rcx
imul   $0xc,%rcx,%rcx
add    %rcx,%rax
movl   $0x1,0x8(%rax)
jmp    12aa <solve+0x19a>
jmp    1131 <solve+0x21>
cmpl   $0x0,-0x2c(%rbp)
je     12c5 <solve+0x1b5>
movl   $0x0,-0x4(%rbp)
jmp    14b3 <solve+0x3a3>
movl   $0x1,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0xc(%rcx),%eax
jne    1342 <solve+0x232>
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x18(%rcx),%eax
jne    130e <solve+0x1fe>
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x1c(%rcx),%eax
jne    130e <solve+0x1fe>
movl   $0x0,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x1c(%rcx),%eax
jne    133d <solve+0x22d>
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x18(%rcx),%eax
jne    133d <solve+0x22d>
movl   $0x0,-0x2c(%rbp)
jmp    1342 <solve+0x232>
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0xc(%rcx),%eax
jne    13b7 <solve+0x2a7>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x18(%rcx),%eax
jne    1384 <solve+0x274>
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x1c(%rcx),%eax
jne    1384 <solve+0x274>
movl   $0x0,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x1c(%rcx),%eax
jne    13b2 <solve+0x2a2>
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x18(%rcx),%eax
jne    13b2 <solve+0x2a2>
movl   $0x0,-0x2c(%rbp)
jmp    13b7 <solve+0x2a7>
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x10(%rcx),%eax
jne    142c <solve+0x31c>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x18(%rcx),%eax
jne    13f9 <solve+0x2e9>
mov    -0x10(%rbp),%rax
mov    0xc(%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x1c(%rcx),%eax
jne    13f9 <solve+0x2e9>
movl   $0x0,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x1c(%rcx),%eax
jne    1427 <solve+0x317>
mov    -0x10(%rbp),%rax
mov    0xc(%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x18(%rcx),%eax
jne    1427 <solve+0x317>
movl   $0x0,-0x2c(%rbp)
jmp    142c <solve+0x31c>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x10(%rcx),%eax
jne    14a2 <solve+0x392>
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x18(%rcx),%eax
jne    146e <solve+0x35e>
mov    -0x10(%rbp),%rax
mov    0xc(%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x1c(%rcx),%eax
jne    146e <solve+0x35e>
movl   $0x0,-0x2c(%rbp)
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x1c(%rcx),%eax
jne    149d <solve+0x38d>
mov    -0x10(%rbp),%rax
mov    0xc(%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x18(%rcx),%eax
jne    149d <solve+0x38d>
movl   $0x0,-0x2c(%rbp)
jmp    14a2 <solve+0x392>
cmpl   $0x0,-0x2c(%rbp)
setne  %al
xor    $0xff,%al
and    $0x1,%al
movzbl %al,%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<solve>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
mov    %rdi,%rbx
mov    $0x1,%r14d
mov    $0x1,%bpl
mov    $0x4,%r15d
lea    0x4(%rsp),%r12
mov    %rsp,%r13
jmp    114a <solve+0x3a>
nopw   0x0(%rax,%rax,1)
sub    $0x1,%r15d
jb     124b <solve+0x13b>
lea    0xeaf(%rip),%rdi
mov    %r12,%rsi
mov    %r13,%rdx
call   1030 <scanf@plt>
test   %r14d,%r14d
jle    1200 <solve+0xf0>
mov    %ebp,%r10d
mov    0x4(%rsp),%eax
mov    (%rsp),%r9d
mov    %r14d,%ecx
shl    $0x2,%rcx
lea    (%rcx,%rcx,2),%rdx
xor    %esi,%esi
xor    %r8d,%r8d
jmp    11a6 <solve+0x96>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x1,%ebp
mov    %ebp,0x8(%rbx,%rsi,1)
mov    $0x1,%r8d
add    $0xc,%rsi
cmp    %rsi,%rdx
je     11d0 <solve+0xc0>
mov    0x8(%rbx,%rsi,1),%ebp
cmp    $0x1,%ebp
jg     119d <solve+0x8d>
mov    (%rbx,%rsi,1),%edi
mov    0x4(%rbx,%rsi,1),%ecx
cmp    %edi,%eax
jne    11bf <solve+0xaf>
cmp    %ecx,%r9d
je     1190 <solve+0x80>
cmp    %ecx,%eax
jne    119d <solve+0x8d>
cmp    %edi,%r9d
je     1190 <solve+0x80>
jmp    119d <solve+0x8d>
nopw   0x0(%rax,%rax,1)
test   %r8d,%r8d
sete   %al
jne    1210 <solve+0x100>
cmp    $0x3,%r14d
mov    %r10d,%ebp
jne    1202 <solve+0xf2>
xor    %ebp,%ebp
mov    $0x3,%r14d
sub    $0x1,%r15d
jae    114a <solve+0x3a>
jmp    1326 <solve+0x216>
nopl   0x0(%rax,%rax,1)
mov    $0x1,%al
test   %al,%al
jne    121b <solve+0x10b>
jmp    1140 <solve+0x30>
nopl   0x0(%rax,%rax,1)
mov    %r10d,%ebp
test   %al,%al
je     1140 <solve+0x30>
cmp    $0x2,%r14d
jg     1140 <solve+0x30>
mov    0x4(%rsp),%eax
movslq %r14d,%rcx
lea    (%rcx,%rcx,2),%rcx
mov    %eax,(%rbx,%rcx,4)
mov    (%rsp),%eax
mov    %eax,0x4(%rbx,%rcx,4)
add    $0x1,%r14d
movl   $0x1,0x8(%rbx,%rcx,4)
jmp    1140 <solve+0x30>
test   $0x1,%bpl
mov    $0x0,%ebp
je     1326 <solve+0x216>
mov    (%rbx),%ebp
mov    0x4(%rbx),%r11d
mov    0xc(%rbx),%r9d
mov    $0x1,%eax
cmp    %r9d,%ebp
jne    129d <solve+0x18d>
mov    0x18(%rbx),%edi
cmp    %edi,%r11d
jne    1288 <solve+0x178>
mov    0x1c(%rbx),%ecx
xor    %eax,%eax
cmp    %ecx,0x10(%rbx)
setne  %al
cmp    %ecx,%r11d
je     1295 <solve+0x185>
jmp    129d <solve+0x18d>
mov    0x1c(%rbx),%ecx
mov    $0x1,%eax
cmp    %ecx,%r11d
jne    129d <solve+0x18d>
xor    %ecx,%ecx
cmp    %edi,0x10(%rbx)
cmove  %ecx,%eax
cmp    %r9d,%r11d
jne    12cb <solve+0x1bb>
mov    0x18(%rbx),%edi
cmp    %edi,%ebp
jne    12bc <solve+0x1ac>
mov    0x1c(%rbx),%ecx
xor    %r8d,%r8d
cmp    %ecx,0x10(%rbx)
cmove  %r8d,%eax
cmp    %ecx,%ebp
je     12c3 <solve+0x1b3>
jmp    12cb <solve+0x1bb>
mov    0x1c(%rbx),%ecx
cmp    %ecx,%ebp
jne    12cb <solve+0x1bb>
xor    %ecx,%ecx
cmp    %edi,0x10(%rbx)
cmove  %ecx,%eax
mov    0x10(%rbx),%edi
cmp    %edi,%r11d
jne    12f8 <solve+0x1e8>
mov    0x18(%rbx),%r10d
mov    0x1c(%rbx),%ecx
mov    %ebp,%esi
xor    %r10d,%esi
mov    %r9d,%edx
xor    %ecx,%edx
xor    %r8d,%r8d
or     %esi,%edx
cmove  %r8d,%eax
cmp    %ecx,%ebp
jne    12f8 <solve+0x1e8>
cmp    %r10d,%r9d
cmove  %r8d,%eax
cmp    %edi,%ebp
jne    131e <solve+0x20e>
mov    0x18(%rbx),%esi
mov    0x1c(%rbx),%ecx
mov    %r11d,%edx
xor    %esi,%edx
mov    %r9d,%ebp
xor    %ecx,%ebp
xor    %edi,%edi
or     %edx,%ebp
cmove  %edi,%eax
cmp    %ecx,%r11d
jne    131e <solve+0x20e>
cmp    %esi,%r9d
cmove  %edi,%eax
xor    %ebp,%ebp
test   %eax,%eax
sete   %bpl
mov    %ebp,%eax
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [5 x i8] c"%d%d\00"
define i32 @solve([3 x i32]* %0) {
%2 = alloca i32
%3 = alloca [3 x i32]*
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
store [3 x i32]* %0, [3 x i32]** %3
store i32 5, i32* %4
store i32 1, i32* %5
store i32 0, i32* %10
br label %11
11: ; preds = %110, %1
%12 = load i32, i32* %4
%13 = add nsw i32 %12, -1
store i32 %13, i32* %4
%14 = icmp ne i32 %12, 0
br i1 %14, label %15, label %111
15: ; preds = %11
store i32 0, i32* %9
%16 = call i32 @scanf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), i32* %6, i32* %7)
store i32 0, i32* %8
br label %17
17: ; preds = %74, %15
%18 = load i32, i32* %8
%19 = load i32, i32* %5
%20 = icmp slt i32 %18, %19
br i1 %20, label %21, label %77
21: ; preds = %17
%22 = load [3 x i32]*, [3 x i32]** %3
%23 = load i32, i32* %8
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds [3 x i32], [3 x i32]* %22, i64 %24
%26 = getelementptr inbounds [3 x i32], [3 x i32]* %25, i64 0, i64 2
%27 = load i32, i32* %26
%28 = icmp slt i32 %27, 2
br i1 %28, label %29, label %73
29: ; preds = %21
%30 = load i32, i32* %6
%31 = load [3 x i32]*, [3 x i32]** %3
%32 = load i32, i32* %8
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds [3 x i32], [3 x i32]* %31, i64 %33
%35 = getelementptr inbounds [3 x i32], [3 x i32]* %34, i64 0, i64 0
%36 = load i32, i32* %35
%37 = icmp eq i32 %30, %36
br i1 %37, label %38, label %47
38: ; preds = %29
%39 = load i32, i32* %7
%40 = load [3 x i32]*, [3 x i32]** %3
%41 = load i32, i32* %8
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds [3 x i32], [3 x i32]* %40, i64 %42
%44 = getelementptr inbounds [3 x i32], [3 x i32]* %43, i64 0, i64 1
%45 = load i32, i32* %44
%46 = icmp eq i32 %39, %45
br i1 %46, label %65, label %47
47: ; preds = %38, %29
%48 = load i32, i32* %6
%49 = load [3 x i32]*, [3 x i32]** %3
%50 = load i32, i32* %8
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds [3 x i32], [3 x i32]* %49, i64 %51
%53 = getelementptr inbounds [3 x i32], [3 x i32]* %52, i64 0, i64 1
%54 = load i32, i32* %53
%55 = icmp eq i32 %48, %54
br i1 %55, label %56, label %73
56: ; preds = %47
%57 = load i32, i32* %7
%58 = load [3 x i32]*, [3 x i32]** %3
%59 = load i32, i32* %8
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds [3 x i32], [3 x i32]* %58, i64 %60
%62 = getelementptr inbounds [3 x i32], [3 x i32]* %61, i64 0, i64 0
%63 = load i32, i32* %62
%64 = icmp eq i32 %57, %63
br i1 %64, label %65, label %73
65: ; preds = %56, %38
store i32 1, i32* %9
%66 = load [3 x i32]*, [3 x i32]** %3
%67 = load i32, i32* %8
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds [3 x i32], [3 x i32]* %66, i64 %68
%70 = getelementptr inbounds [3 x i32], [3 x i32]* %69, i64 0, i64 2
%71 = load i32, i32* %70
%72 = add nsw i32 %71, 1
store i32 %72, i32* %70
br label %73
73: ; preds = %65, %56, %47, %21
br label %74
74: ; preds = %73
%75 = load i32, i32* %8
%76 = add nsw i32 %75, 1
store i32 %76, i32* %8
br label %17
77: ; preds = %17
%78 = load i32, i32* %9
%79 = icmp ne i32 %78, 0
br i1 %79, label %84, label %80
80: ; preds = %77
%81 = load i32, i32* %5
%82 = icmp eq i32 %81, 3
br i1 %82, label %83, label %84
83: ; preds = %80
store i32 1, i32* %10
br label %110
84: ; preds = %80, %77
%85 = load i32, i32* %9
%86 = icmp ne i32 %85, 0
br i1 %86, label %109, label %87
87: ; preds = %84
%88 = load i32, i32* %5
%89 = icmp slt i32 %88, 3
br i1 %89, label %90, label %109
90: ; preds = %87
%91 = load i32, i32* %6
%92 = load [3 x i32]*, [3 x i32]** %3
%93 = load i32, i32* %5
%94 = sext i32 %93 to i64
%95 = getelementptr inbounds [3 x i32], [3 x i32]* %92, i64 %94
%96 = getelementptr inbounds [3 x i32], [3 x i32]* %95, i64 0, i64 0
store i32 %91, i32* %96
%97 = load i32, i32* %7
%98 = load [3 x i32]*, [3 x i32]** %3
%99 = load i32, i32* %5
%100 = sext i32 %99 to i64
%101 = getelementptr inbounds [3 x i32], [3 x i32]* %98, i64 %100
%102 = getelementptr inbounds [3 x i32], [3 x i32]* %101, i64 0, i64 1
store i32 %97, i32* %102
%103 = load [3 x i32]*, [3 x i32]** %3
%104 = load i32, i32* %5
%105 = add nsw i32 %104, 1
store i32 %105, i32* %5
%106 = sext i32 %104 to i64
%107 = getelementptr inbounds [3 x i32], [3 x i32]* %103, i64 %106
%108 = getelementptr inbounds [3 x i32], [3 x i32]* %107, i64 0, i64 2
store i32 1, i32* %108
br label %109
109: ; preds = %90, %87, %84
br label %110
110: ; preds = %109, %83
br label %11
111: ; preds = %11
%112 = load i32, i32* %10
%113 = icmp ne i32 %112, 0
br i1 %113, label %114, label %115
114: ; preds = %111
store i32 0, i32* %2
br label %332
115: ; preds = %111
store i32 1, i32* %10
%116 = load [3 x i32]*, [3 x i32]** %3
%117 = getelementptr inbounds [3 x i32], [3 x i32]* %116, i64 0
%118 = getelementptr inbounds [3 x i32], [3 x i32]* %117, i64 0, i64 0
%119 = load i32, i32* %118
%120 = load [3 x i32]*, [3 x i32]** %3
%121 = getelementptr inbounds [3 x i32], [3 x i32]* %120, i64 1
%122 = getelementptr inbounds [3 x i32], [3 x i32]* %121, i64 0, i64 0
%123 = load i32, i32* %122
%124 = icmp eq i32 %119, %123
br i1 %124, label %125, label %168
125: ; preds = %115
%126 = load [3 x i32]*, [3 x i32]** %3
%127 = getelementptr inbounds [3 x i32], [3 x i32]* %126, i64 0
%128 = getelementptr inbounds [3 x i32], [3 x i32]* %127, i64 0, i64 1
%129 = load i32, i32* %128
%130 = load [3 x i32]*, [3 x i32]** %3
%131 = getelementptr inbounds [3 x i32], [3 x i32]* %130, i64 2
%132 = getelementptr inbounds [3 x i32], [3 x i32]* %131, i64 0, i64 0
%133 = load i32, i32* %132
%134 = icmp eq i32 %129, %133
br i1 %134, label %135, label %146
135: ; preds = %125
%136 = load [3 x i32]*, [3 x i32]** %3
%137 = getelementptr inbounds [3 x i32], [3 x i32]* %136, i64 1
%138 = getelementptr inbounds [3 x i32], [3 x i32]* %137, i64 0, i64 1
%139 = load i32, i32* %138
%140 = load [3 x i32]*, [3 x i32]** %3
%141 = getelementptr inbounds [3 x i32], [3 x i32]* %140, i64 2
%142 = getelementptr inbounds [3 x i32], [3 x i32]* %141, i64 0, i64 1
%143 = load i32, i32* %142
%144 = icmp eq i32 %139, %143
br i1 %144, label %145, label %146
145: ; preds = %135
store i32 0, i32* %10
br label %146
146: ; preds = %145, %135, %125
%147 = load [3 x i32]*, [3 x i32]** %3
%148 = getelementptr inbounds [3 x i32], [3 x i32]* %147, i64 0
%149 = getelementptr inbounds [3 x i32], [3 x i32]* %148, i64 0, i64 1
%150 = load i32, i32* %149
%151 = load [3 x i32]*, [3 x i32]** %3
%152 = getelementptr inbounds [3 x i32], [3 x i32]* %151, i64 2
%153 = getelementptr inbounds [3 x i32], [3 x i32]* %152, i64 0, i64 1
%154 = load i32, i32* %153
%155 = icmp eq i32 %150, %154
br i1 %155, label %156, label %167
156: ; preds = %146
%157 = load [3 x i32]*, [3 x i32]** %3
%158 = getelementptr inbounds [3 x i32], [3 x i32]* %157, i64 1
%159 = getelementptr inbounds [3 x i32], [3 x i32]* %158, i64 0, i64 1
%160 = load i32, i32* %159
%161 = load [3 x i32]*, [3 x i32]** %3
%162 = getelementptr inbounds [3 x i32], [3 x i32]* %161, i64 2
%163 = getelementptr inbounds [3 x i32], [3 x i32]* %162, i64 0, i64 0
%164 = load i32, i32* %163
%165 = icmp eq i32 %160, %164
br i1 %165, label %166, label %167
166: ; preds = %156
store i32 0, i32* %10
br label %167
167: ; preds = %166, %156, %146
br label %168
168: ; preds = %167, %115
%169 = load [3 x i32]*, [3 x i32]** %3
%170 = getelementptr inbounds [3 x i32], [3 x i32]* %169, i64 0
%171 = getelementptr inbounds [3 x i32], [3 x i32]* %170, i64 0, i64 1
%172 = load i32, i32* %171
%173 = load [3 x i32]*, [3 x i32]** %3
%174 = getelementptr inbounds [3 x i32], [3 x i32]* %173, i64 1
%175 = getelementptr inbounds [3 x i32], [3 x i32]* %174, i64 0, i64 0
%176 = load i32, i32* %175
%177 = icmp eq i32 %172, %176
br i1 %177, label %178, label %221
178: ; preds = %168
%179 = load [3 x i32]*, [3 x i32]** %3
%180 = getelementptr inbounds [3 x i32], [3 x i32]* %179, i64 0
%181 = getelementptr inbounds [3 x i32], [3 x i32]* %180, i64 0, i64 0
%182 = load i32, i32* %181
%183 = load [3 x i32]*, [3 x i32]** %3
%184 = getelementptr inbounds [3 x i32], [3 x i32]* %183, i64 2
%185 = getelementptr inbounds [3 x i32], [3 x i32]* %184, i64 0, i64 0
%186 = load i32, i32* %185
%187 = icmp eq i32 %182, %186
br i1 %187, label %188, label %199
188: ; preds = %178
%189 = load [3 x i32]*, [3 x i32]** %3
%190 = getelementptr inbounds [3 x i32], [3 x i32]* %189, i64 1
%191 = getelementptr inbounds [3 x i32], [3 x i32]* %190, i64 0, i64 1
%192 = load i32, i32* %191
%193 = load [3 x i32]*, [3 x i32]** %3
%194 = getelementptr inbounds [3 x i32], [3 x i32]* %193, i64 2
%195 = getelementptr inbounds [3 x i32], [3 x i32]* %194, i64 0, i64 1
%196 = load i32, i32* %195
%197 = icmp eq i32 %192, %196
br i1 %197, label %198, label %199
198: ; preds = %188
store i32 0, i32* %10
br label %199
199: ; preds = %198, %188, %178
%200 = load [3 x i32]*, [3 x i32]** %3
%201 = getelementptr inbounds [3 x i32], [3 x i32]* %200, i64 0
%202 = getelementptr inbounds [3 x i32], [3 x i32]* %201, i64 0, i64 0
%203 = load i32, i32* %202
%204 = load [3 x i32]*, [3 x i32]** %3
%205 = getelementptr inbounds [3 x i32], [3 x i32]* %204, i64 2
%206 = getelementptr inbounds [3 x i32], [3 x i32]* %205, i64 0, i64 1
%207 = load i32, i32* %206
%208 = icmp eq i32 %203, %207
br i1 %208, label %209, label %220
209: ; preds = %199
%210 = load [3 x i32]*, [3 x i32]** %3
%211 = getelementptr inbounds [3 x i32], [3 x i32]* %210, i64 1
%212 = getelementptr inbounds [3 x i32], [3 x i32]* %211, i64 0, i64 1
%213 = load i32, i32* %212
%214 = load [3 x i32]*, [3 x i32]** %3
%215 = getelementptr inbounds [3 x i32], [3 x i32]* %214, i64 2
%216 = getelementptr inbounds [3 x i32], [3 x i32]* %215, i64 0, i64 0
%217 = load i32, i32* %216
%218 = icmp eq i32 %213, %217
br i1 %218, label %219, label %220
219: ; preds = %209
store i32 0, i32* %10
br label %220
220: ; preds = %219, %209, %199
br label %221
221: ; preds = %220, %168
%222 = load [3 x i32]*, [3 x i32]** %3
%223 = getelementptr inbounds [3 x i32], [3 x i32]* %222, i64 0
%224 = getelementptr inbounds [3 x i32], [3 x i32]* %223, i64 0, i64 1
%225 = load i32, i32* %224
%226 = load [3 x i32]*, [3 x i32]** %3
%227 = getelementptr inbounds [3 x i32], [3 x i32]* %226, i64 1
%228 = getelementptr inbounds [3 x i32], [3 x i32]* %227, i64 0, i64 1
%229 = load i32, i32* %228
%230 = icmp eq i32 %225, %229
br i1 %230, label %231, label %274
231: ; preds = %221
%232 = load [3 x i32]*, [3 x i32]** %3
%233 = getelementptr inbounds [3 x i32], [3 x i32]* %232, i64 0
%234 = getelementptr inbounds [3 x i32], [3 x i32]* %233, i64 0, i64 0
%235 = load i32, i32* %234
%236 = load [3 x i32]*, [3 x i32]** %3
%237 = getelementptr inbounds [3 x i32], [3 x i32]* %236, i64 2
%238 = getelementptr inbounds [3 x i32], [3 x i32]* %237, i64 0, i64 0
%239 = load i32, i32* %238
%240 = icmp eq i32 %235, %239
br i1 %240, label %241, label %252
241: ; preds = %231
%242 = load [3 x i32]*, [3 x i32]** %3
%243 = getelementptr inbounds [3 x i32], [3 x i32]* %242, i64 1
%244 = getelementptr inbounds [3 x i32], [3 x i32]* %243, i64 0, i64 0
%245 = load i32, i32* %244
%246 = load [3 x i32]*, [3 x i32]** %3
%247 = getelementptr inbounds [3 x i32], [3 x i32]* %246, i64 2
%248 = getelementptr inbounds [3 x i32], [3 x i32]* %247, i64 0, i64 1
%249 = load i32, i32* %248
%250 = icmp eq i32 %245, %249
br i1 %250, label %251, label %252
251: ; preds = %241
store i32 0, i32* %10
br label %252
252: ; preds = %251, %241, %231
%253 = load [3 x i32]*, [3 x i32]** %3
%254 = getelementptr inbounds [3 x i32], [3 x i32]* %253, i64 0
%255 = getelementptr inbounds [3 x i32], [3 x i32]* %254, i64 0, i64 0
%256 = load i32, i32* %255
%257 = load [3 x i32]*, [3 x i32]** %3
%258 = getelementptr inbounds [3 x i32], [3 x i32]* %257, i64 2
%259 = getelementptr inbounds [3 x i32], [3 x i32]* %258, i64 0, i64 1
%260 = load i32, i32* %259
%261 = icmp eq i32 %256, %260
br i1 %261, label %262, label %273
262: ; preds = %252
%263 = load [3 x i32]*, [3 x i32]** %3
%264 = getelementptr inbounds [3 x i32], [3 x i32]* %263, i64 1
%265 = getelementptr inbounds [3 x i32], [3 x i32]* %264, i64 0, i64 0
%266 = load i32, i32* %265
%267 = load [3 x i32]*, [3 x i32]** %3
%268 = getelementptr inbounds [3 x i32], [3 x i32]* %267, i64 2
%269 = getelementptr inbounds [3 x i32], [3 x i32]* %268, i64 0, i64 0
%270 = load i32, i32* %269
%271 = icmp eq i32 %266, %270
br i1 %271, label %272, label %273
272: ; preds = %262
store i32 0, i32* %10
br label %273
273: ; preds = %272, %262, %252
br label %274
274: ; preds = %273, %221
%275 = load [3 x i32]*, [3 x i32]** %3
%276 = getelementptr inbounds [3 x i32], [3 x i32]* %275, i64 0
%277 = getelementptr inbounds [3 x i32], [3 x i32]* %276, i64 0, i64 0
%278 = load i32, i32* %277
%279 = load [3 x i32]*, [3 x i32]** %3
%280 = getelementptr inbounds [3 x i32], [3 x i32]* %279, i64 1
%281 = getelementptr inbounds [3 x i32], [3 x i32]* %280, i64 0, i64 1
%282 = load i32, i32* %281
%283 = icmp eq i32 %278, %282
br i1 %283, label %284, label %327
284: ; preds = %274
%285 = load [3 x i32]*, [3 x i32]** %3
%286 = getelementptr inbounds [3 x i32], [3 x i32]* %285, i64 0
%287 = getelementptr inbounds [3 x i32], [3 x i32]* %286, i64 0, i64 1
%288 = load i32, i32* %287
%289 = load [3 x i32]*, [3 x i32]** %3
%290 = getelementptr inbounds [3 x i32], [3 x i32]* %289, i64 2
%291 = getelementptr inbounds [3 x i32], [3 x i32]* %290, i64 0, i64 0
%292 = load i32, i32* %291
%293 = icmp eq i32 %288, %292
br i1 %293, label %294, label %305
294: ; preds = %284
%295 = load [3 x i32]*, [3 x i32]** %3
%296 = getelementptr inbounds [3 x i32], [3 x i32]* %295, i64 1
%297 = getelementptr inbounds [3 x i32], [3 x i32]* %296, i64 0, i64 0
%298 = load i32, i32* %297
%299 = load [3 x i32]*, [3 x i32]** %3
%300 = getelementptr inbounds [3 x i32], [3 x i32]* %299, i64 2
%301 = getelementptr inbounds [3 x i32], [3 x i32]* %300, i64 0, i64 1
%302 = load i32, i32* %301
%303 = icmp eq i32 %298, %302
br i1 %303, label %304, label %305
304: ; preds = %294
store i32 0, i32* %10
br label %305
305: ; preds = %304, %294, %284
%306 = load [3 x i32]*, [3 x i32]** %3
%307 = getelementptr inbounds [3 x i32], [3 x i32]* %306, i64 0
%308 = getelementptr inbounds [3 x i32], [3 x i32]* %307, i64 0, i64 1
%309 = load i32, i32* %308
%310 = load [3 x i32]*, [3 x i32]** %3
%311 = getelementptr inbounds [3 x i32], [3 x i32]* %310, i64 2
%312 = getelementptr inbounds [3 x i32], [3 x i32]* %311, i64 0, i64 1
%313 = load i32, i32* %312
%314 = icmp eq i32 %309, %313
br i1 %314, label %315, label %326
315: ; preds = %305
%316 = load [3 x i32]*, [3 x i32]** %3
%317 = getelementptr inbounds [3 x i32], [3 x i32]* %316, i64 1
%318 = getelementptr inbounds [3 x i32], [3 x i32]* %317, i64 0, i64 0
%319 = load i32, i32* %318
%320 = load [3 x i32]*, [3 x i32]** %3
%321 = getelementptr inbounds [3 x i32], [3 x i32]* %320, i64 2
%322 = getelementptr inbounds [3 x i32], [3 x i32]* %321, i64 0, i64 0
%323 = load i32, i32* %322
%324 = icmp eq i32 %319, %323
br i1 %324, label %325, label %326
325: ; preds = %315
store i32 0, i32* %10
br label %326
326: ; preds = %325, %315, %305
br label %327
327: ; preds = %326, %274
%328 = load i32, i32* %10
%329 = icmp ne i32 %328, 0
%330 = xor i1 %329, true
%331 = zext i1 %330 to i32
store i32 %331, i32* %2
br label %332
332: ; preds = %327, %114
%333 = load i32, i32* %2
ret i32 %333
}

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