#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*/ printf(char *, ...);
void outCLIQUE(int clique1[], int cliqsize1, int clique2[], int cliqsize2,
               int orignode1[700], int orignode2[700]) {
  int tosort[700];
  int i, j, x, y;
  printf("{");
  for (i = 0; i < cliqsize1; i++) {
    x = orignode1[clique1[i]];
    for (j = i; j > 0 && (y = tosort[j - 1]) > x; j--)
      tosort[j] = y;
    tosort[j] = x;
  }
  for (i = 0; i < cliqsize1; i++) {
    printf("%d", tosort[i]);
    if (i < cliqsize1 - 1)
      printf(", ");
  }
  printf("}  x  {");
  for (i = 0; i < cliqsize2; i++) {
    x = orignode2[clique2[i]];
    for (j = i; j > 0 && (y = tosort[j - 1]) > x; j--)
      tosort[j] = y;
    tosort[j] = x;
  }
  for (i = 0; i < cliqsize2; i++) {
    printf("%d", tosort[i]);
    if (i < cliqsize2 - 1)
      printf(", ");
  }
  printf("}\n");
}


x86 assembly (clang, -O0):
<outCLIQUE>:
push   %rbp
mov    %rsp,%rbp
sub    $0xb40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %ecx,-0x1c(%rbp)
mov    %r8,-0x28(%rbp)
mov    %r9,-0x30(%rbp)
lea    0xed4(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0xb24(%rbp)
mov    -0xb24(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    121f <outCLIQUE+0x10f>
mov    -0x28(%rbp),%rax
mov    -0x8(%rbp),%rcx
movslq -0xb24(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0xb2c(%rbp)
mov    -0xb24(%rbp),%eax
mov    %eax,-0xb28(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0xb28(%rbp)
mov    %al,-0xb31(%rbp)
jle    11bc <outCLIQUE+0xac>
mov    -0xb28(%rbp),%eax
sub    $0x1,%eax
cltq
mov    -0xb20(%rbp,%rax,4),%eax
mov    %eax,-0xb30(%rbp)
cmp    -0xb2c(%rbp),%eax
setg   %al
mov    %al,-0xb31(%rbp)
mov    -0xb31(%rbp),%al
test   $0x1,%al
jne    11cf <outCLIQUE+0xbf>
jmp    11f7 <outCLIQUE+0xe7>
mov    -0xb30(%rbp),%ecx
movslq -0xb28(%rbp),%rax
mov    %ecx,-0xb20(%rbp,%rax,4)
mov    -0xb28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xb28(%rbp)
jmp    1180 <outCLIQUE+0x70>
mov    -0xb2c(%rbp),%ecx
movslq -0xb28(%rbp),%rax
mov    %ecx,-0xb20(%rbp,%rax,4)
mov    -0xb24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xb24(%rbp)
jmp    1149 <outCLIQUE+0x39>
movl   $0x0,-0xb24(%rbp)
mov    -0xb24(%rbp),%eax
cmp    -0xc(%rbp),%eax
jge    128f <outCLIQUE+0x17f>
movslq -0xb24(%rbp),%rax
mov    -0xb20(%rbp,%rax,4),%esi
lea    0xdb3(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0xb24(%rbp),%eax
mov    -0xc(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    1276 <outCLIQUE+0x166>
lea    0xd94(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    127b <outCLIQUE+0x16b>
mov    -0xb24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xb24(%rbp)
jmp    1229 <outCLIQUE+0x119>
lea    0xd70(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x0,-0xb24(%rbp)
mov    -0xb24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    137d <outCLIQUE+0x26d>
mov    -0x30(%rbp),%rax
mov    -0x18(%rbp),%rcx
movslq -0xb24(%rbp),%rdx
movslq (%rcx,%rdx,4),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0xb2c(%rbp)
mov    -0xb24(%rbp),%eax
mov    %eax,-0xb28(%rbp)
xor    %eax,%eax
cmpl   $0x0,-0xb28(%rbp)
mov    %al,-0xb32(%rbp)
jle    131a <outCLIQUE+0x20a>
mov    -0xb28(%rbp),%eax
sub    $0x1,%eax
cltq
mov    -0xb20(%rbp,%rax,4),%eax
mov    %eax,-0xb30(%rbp)
cmp    -0xb2c(%rbp),%eax
setg   %al
mov    %al,-0xb32(%rbp)
mov    -0xb32(%rbp),%al
test   $0x1,%al
jne    132d <outCLIQUE+0x21d>
jmp    1355 <outCLIQUE+0x245>
mov    -0xb30(%rbp),%ecx
movslq -0xb28(%rbp),%rax
mov    %ecx,-0xb20(%rbp,%rax,4)
mov    -0xb28(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0xb28(%rbp)
jmp    12de <outCLIQUE+0x1ce>
mov    -0xb2c(%rbp),%ecx
movslq -0xb28(%rbp),%rax
mov    %ecx,-0xb20(%rbp,%rax,4)
mov    -0xb24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xb24(%rbp)
jmp    12a7 <outCLIQUE+0x197>
movl   $0x0,-0xb24(%rbp)
mov    -0xb24(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    13ed <outCLIQUE+0x2dd>
movslq -0xb24(%rbp),%rax
mov    -0xb20(%rbp,%rax,4),%esi
lea    0xc55(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0xb24(%rbp),%eax
mov    -0x1c(%rbp),%ecx
sub    $0x1,%ecx
cmp    %ecx,%eax
jge    13d4 <outCLIQUE+0x2c4>
lea    0xc36(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    13d9 <outCLIQUE+0x2c9>
mov    -0xb24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xb24(%rbp)
jmp    1387 <outCLIQUE+0x277>
lea    0xc1a(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
add    $0xb40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<outCLIQUE>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0xb08,%rsp
mov    %r9,%r15
mov    %r8,%rbx
mov    %rcx,0x8(%rsp)
mov    %rdx,%r12
mov    %esi,%r13d
mov    %rdi,%rbp
mov    $0x7b,%edi
call   1030 <putchar@plt>
test   %r13d,%r13d
jle    120c <outCLIQUE+0xdc>
mov    %r13d,%r14d
xor    %eax,%eax
jmp    1182 <outCLIQUE+0x52>
nop
xor    %edx,%edx
movslq %edx,%rdx
mov    %ecx,0x10(%rsp,%rdx,4)
add    $0x1,%rax
cmp    %r14,%rax
je     11c1 <outCLIQUE+0x91>
movslq 0x0(%rbp,%rax,4),%rcx
mov    (%rbx,%rcx,4),%ecx
test   %rax,%rax
je     1170 <outCLIQUE+0x40>
mov    %rax,%rdx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    -0x1(%rdx),%rsi
mov    %esi,%edi
mov    0x10(%rsp,%rdi,4),%edi
cmp    %ecx,%edi
jle    1172 <outCLIQUE+0x42>
mov    %edi,0x10(%rsp,%rdx,4)
lea    0x1(%rsi),%rdi
mov    %rsi,%rdx
cmp    $0x1,%rdi
jg     11a0 <outCLIQUE+0x70>
jmp    1170 <outCLIQUE+0x40>
test   %r13d,%r13d
jle    120c <outCLIQUE+0xdc>
add    $0xffffffff,%r13d
lea    0xe2f(%rip),%rbx
xor    %ebp,%ebp
jmp    11e9 <outCLIQUE+0xb9>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0x1,%rbp
cmp    %rbp,%r14
je     120c <outCLIQUE+0xdc>
mov    0x10(%rsp,%rbp,4),%esi
mov    %rbx,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
cmp    %r13,%rbp
jae    11e0 <outCLIQUE+0xb0>
lea    0xe00(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
jmp    11e0 <outCLIQUE+0xb0>
lea    0xdf3(%rip),%rdi
xor    %eax,%eax
call   1050 <printf@plt>
mov    0x8(%rsp),%r13
test   %r13d,%r13d
jle    12c8 <outCLIQUE+0x198>
mov    %r13d,%ebp
xor    %eax,%eax
jmp    1242 <outCLIQUE+0x112>
nop
xor    %edx,%edx
movslq %edx,%rdx
mov    %ecx,0x10(%rsp,%rdx,4)
add    $0x1,%rax
cmp    %rbp,%rax
je     1281 <outCLIQUE+0x151>
movslq (%r12,%rax,4),%rcx
mov    (%r15,%rcx,4),%ecx
test   %rax,%rax
je     1230 <outCLIQUE+0x100>
mov    %rax,%rdx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
lea    -0x1(%rdx),%rsi
mov    %esi,%edi
mov    0x10(%rsp,%rdi,4),%edi
cmp    %ecx,%edi
jle    1232 <outCLIQUE+0x102>
mov    %edi,0x10(%rsp,%rdx,4)
lea    0x1(%rsi),%rdi
mov    %rsi,%rdx
cmp    $0x1,%rdi
jg     1260 <outCLIQUE+0x130>
jmp    1230 <outCLIQUE+0x100>
test   %r13d,%r13d
jle    12c8 <outCLIQUE+0x198>
add    $0xffffffff,%r13d
lea    0xd6f(%rip),%r15
lea    0xd6b(%rip),%r14
xor    %ebx,%ebx
jmp    12a9 <outCLIQUE+0x179>
nopl   0x0(%rax)
add    $0x1,%rbx
cmp    %rbx,%rbp
je     12c8 <outCLIQUE+0x198>
mov    0x10(%rsp,%rbx,4),%esi
mov    %r15,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
cmp    %r13,%rbx
jae    12a0 <outCLIQUE+0x170>
mov    %r14,%rdi
xor    %eax,%eax
call   1050 <printf@plt>
jmp    12a0 <outCLIQUE+0x170>
lea    0xd3f(%rip),%rdi
add    $0xb08,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <puts@plt>

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

LLVM IR (-O2):
@.str.1 = [3 x i8] c"%d\00"
@.str.2 = [3 x i8] c", \00"
@.str.3 = [8 x i8] c"} x {\00"
@str = [2 x i8] c"}\00"
define void @outCLIQUE(i32* nocapture %0, i32 %1, i32* nocapture %2, i32 %3, i32* nocapture %4, i32* nocapture %5) {
%7 = alloca [700 x i32]
%8 = bitcast [700 x i32]* %7 to i8*
%9 = tail call i32 @putchar(i32 123)
%10 = icmp sgt i32 %1, 0
br i1 %10, label %11, label %54
11: ; preds = %6
%12 = zext i32 %1 to i64
br label %18
13: ; preds = %36
br i1 %10, label %14, label %54
14: ; preds = %13
%15 = add nsw i32 %1, -1
%16 = zext i32 %15 to i64
%17 = zext i32 %1 to i64
br label %43
18: ; preds = %11, %36
%19 = phi i64 [ 0, %11 ], [ %41, %36 ]
%20 = getelementptr inbounds i32, i32* %0, i64 %19
%21 = load i32, i32* %20
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds i32, i32* %4, i64 %22
%24 = load i32, i32* %23
%25 = icmp eq i64 %19, 0
br i1 %25, label %36, label %26
26: ; preds = %18, %33
%27 = phi i64 [ %28, %33 ], [ %19, %18 ]
%28 = add nsw i64 %27, -1
%29 = and i64 %28, 4294967295
%30 = getelementptr inbounds [700 x i32], [700 x i32]* %7, i64 0, i64 %29
%31 = load i32, i32* %30
%32 = icmp sgt i32 %31, %24
br i1 %32, label %33, label %36
33: ; preds = %26
%34 = getelementptr inbounds [700 x i32], [700 x i32]* %7, i64 0, i64 %27
store i32 %31, i32* %34
%35 = icmp sgt i64 %27, 1
br i1 %35, label %26, label %36
36: ; preds = %26, %33, %18
%37 = phi i64 [ 0, %18 ], [ 0, %33 ], [ %27, %26 ]
%38 = shl i64 %37, 32
%39 = ashr exact i64 %38, 32
%40 = getelementptr inbounds [700 x i32], [700 x i32]* %7, i64 0, i64 %39
store i32 %24, i32* %40
%41 = add nuw nsw i64 %19, 1
%42 = icmp eq i64 %41, %12
br i1 %42, label %13, label %18
43: ; preds = %14, %51
%44 = phi i64 [ 0, %14 ], [ %52, %51 ]
%45 = getelementptr inbounds [700 x i32], [700 x i32]* %7, i64 0, i64 %44
%46 = load i32, i32* %45
%47 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i32 %46)
%48 = icmp ult i64 %44, %16
br i1 %48, label %49, label %51
49: ; preds = %43
%50 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0))
br label %51
51: ; preds = %43, %49
%52 = add nuw nsw i64 %44, 1
%53 = icmp eq i64 %52, %17
br i1 %53, label %54, label %43
54: ; preds = %51, %6, %13
%55 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([8 x i8], [8 x i8]* @.str.3, i64 0, i64 0))
%56 = icmp sgt i32 %3, 0
br i1 %56, label %57, label %100
57: ; preds = %54
%58 = zext i32 %3 to i64
br label %64
59: ; preds = %82
br i1 %56, label %60, label %100
60: ; preds = %59
%61 = add nsw i32 %3, -1
%62 = zext i32 %61 to i64
%63 = zext i32 %3 to i64
br label %89
64: ; preds = %57, %82
%65 = phi i64 [ 0, %57 ], [ %87, %82 ]
%66 = getelementptr inbounds i32, i32* %2, i64 %65
%67 = load i32, i32* %66
%68 = sext i32 %67 to i64
%69 = getelementptr inbounds i32, i32* %5, i64 %68
%70 = load i32, i32* %69
%71 = icmp eq i64 %65, 0
br i1 %71, label %82, label %72
72: ; preds = %64, %79
%73 = phi i64 [ %74, %79 ], [ %65, %64 ]
%74 = add nsw i64 %73, -1
%75 = and i64 %74, 4294967295
%76 = getelementptr inbounds [700 x i32], [700 x i32]* %7, i64 0, i64 %75
%77 = load i32, i32* %76
%78 = icmp sgt i32 %77, %70
br i1 %78, label %79, label %82
79: ; preds = %72
%80 = getelementptr inbounds [700 x i32], [700 x i32]* %7, i64 0, i64 %73
store i32 %77, i32* %80
%81 = icmp sgt i64 %73, 1
br i1 %81, label %72, label %82
82: ; preds = %72, %79, %64
%83 = phi i64 [ 0, %64 ], [ 0, %79 ], [ %73, %72 ]
%84 = shl i64 %83, 32
%85 = ashr exact i64 %84, 32
%86 = getelementptr inbounds [700 x i32], [700 x i32]* %7, i64 0, i64 %85
store i32 %70, i32* %86
%87 = add nuw nsw i64 %65, 1
%88 = icmp eq i64 %87, %58
br i1 %88, label %59, label %64
89: ; preds = %60, %97
%90 = phi i64 [ 0, %60 ], [ %98, %97 ]
%91 = getelementptr inbounds [700 x i32], [700 x i32]* %7, i64 0, i64 %90
%92 = load i32, i32* %91
%93 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i32 %92)
%94 = icmp ult i64 %90, %62
br i1 %94, label %95, label %97
95: ; preds = %89
%96 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i64 0, i64 0))
br label %97
97: ; preds = %89, %95
%98 = add nuw nsw i64 %90, 1
%99 = icmp eq i64 %98, %63
br i1 %99, label %100, label %89
100: ; preds = %97, %54, %59
%101 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @str, i64 0, i64 0))
ret void
}