#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 */
typedef int /*<<< orphan*/ day;

/* Variables and functions */
int /*<<< orphan*/ memset(int *, int /*<<< orphan*/, int);
int /*<<< orphan*/ printf(char *, int);
int /*<<< orphan*/ scanf(char *, int *);
main() {
  int day[4000];
  int i, j, k, l, m, reg;
  int n, p, h[200], t;
  scanf("%d", &t);
  while (t--) {
    reg = 0;
    memset(day, 0, sizeof(day));
    scanf("%d", &n);
    scanf("%d", &p);
    for (i = 0; i < p; i++)
      scanf("%d", &h[i]);
    for (i = 0; i < p; i++)
      for (j = 1; j * h[i] <= n; j++)
        day[j * h[i]] = 1;
    for (i = 1; i <= n; i++)
      if (day[i] == 1 && i % 7 != 0 && i % 7 != 6)
        reg++;
    printf("%d\n", reg);
  }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x41e0,%rsp
movl   $0x0,-0x4(%rbp)
lea    0xeb7(%rip),%rdi
lea    -0x41d4(%rbp),%rsi
call   1050 <scanf@plt>
mov    -0x41d4(%rbp),%eax
mov    %eax,%ecx
add    $0xffffffff,%ecx
mov    %ecx,-0x41d4(%rbp)
cmp    $0x0,%eax
je     1337 <main+0x207>
movl   $0x0,-0x3ea8(%rbp)
lea    -0x3e90(%rbp),%rdi
xor    %esi,%esi
mov    $0x3e80,%edx
call   1040 <memset@plt>
lea    0xe6d(%rip),%rdi
lea    -0x3eac(%rbp),%rsi
call   1050 <scanf@plt>
lea    0xe5a(%rip),%rdi
lea    -0x3eb0(%rbp),%rsi
call   1050 <scanf@plt>
movl   $0x0,-0x3e94(%rbp)
mov    -0x3e94(%rbp),%eax
cmp    -0x3eb0(%rbp),%eax
jge    1203 <main+0xd3>
movslq -0x3e94(%rbp),%rax
lea    -0x41d0(%rbp),%rsi
shl    $0x2,%rax
add    %rax,%rsi
lea    0xe16(%rip),%rdi
call   1050 <scanf@plt>
mov    -0x3e94(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3e94(%rbp)
jmp    11bc <main+0x8c>
movl   $0x0,-0x3e94(%rbp)
mov    -0x3e94(%rbp),%eax
cmp    -0x3eb0(%rbp),%eax
jge    1299 <main+0x169>
movl   $0x1,-0x3e98(%rbp)
mov    -0x3e98(%rbp),%eax
movslq -0x3e94(%rbp),%rcx
imul   -0x41d0(%rbp,%rcx,4),%eax
ff
cmp    -0x3eac(%rbp),%eax
jg     1280 <main+0x150>
mov    -0x3e98(%rbp),%eax
movslq -0x3e94(%rbp),%rcx
imul   -0x41d0(%rbp,%rcx,4),%eax
ff
cltq
movl   $0x1,-0x3e90(%rbp,%rax,4)
mov    -0x3e98(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3e98(%rbp)
jmp    1229 <main+0xf9>
jmp    1285 <main+0x155>
mov    -0x3e94(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3e94(%rbp)
jmp    120d <main+0xdd>
movl   $0x1,-0x3e94(%rbp)
mov    -0x3e94(%rbp),%eax
cmp    -0x3eac(%rbp),%eax
jg     1320 <main+0x1f0>
movslq -0x3e94(%rbp),%rax
cmpl   $0x1,-0x3e90(%rbp,%rax,4)
01
jne    1307 <main+0x1d7>
mov    -0x3e94(%rbp),%eax
mov    $0x7,%ecx
cltd
idiv   %ecx
cmp    $0x0,%edx
je     1307 <main+0x1d7>
mov    -0x3e94(%rbp),%eax
mov    $0x7,%ecx
cltd
idiv   %ecx
cmp    $0x6,%edx
je     1307 <main+0x1d7>
mov    -0x3ea8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3ea8(%rbp)
jmp    130c <main+0x1dc>
mov    -0x3e94(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3e94(%rbp)
jmp    12a3 <main+0x173>
mov    -0x3ea8(%rbp),%esi
lea    0xcd6(%rip),%rdi
call   1030 <printf@plt>
jmp    1155 <main+0x25>
xor    %eax,%eax
add    $0x41e0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x41b8,%rsp
lea    0xeb8(%rip),%rdi
lea    0x4(%rsp),%rsi
call   1050 <scanf@plt>
subl   $0x1,0x4(%rsp)
jae    116d <main+0x3d>
xor    %eax,%eax
add    $0x41b8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret
lea    0xe8c(%rip),%r15
lea    0x8(%rsp),%r12
lea    0xe83(%rip),%r13
jmp    11a1 <main+0x71>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
xor    %esi,%esi
mov    %r13,%rdi
call   1030 <printf@plt>
subl   $0x1,0x4(%rsp)
jb     1159 <main+0x29>
lea    0x330(%rsp),%rdi
xor    %esi,%esi
mov    $0x3e80,%edx
call   1040 <memset@plt>
mov    %r15,%rdi
lea    0xc(%rsp),%rsi
call   1050 <scanf@plt>
mov    %r15,%rdi
mov    %r12,%rsi
call   1050 <scanf@plt>
cmpl   $0x0,0x8(%rsp)
jle    1250 <main+0x120>
lea    0x10(%rsp),%rbp
xor    %r14d,%r14d
nopl   0x0(%rax)
mov    %r15,%rdi
mov    %rbp,%rsi
call   1050 <scanf@plt>
add    $0x1,%r14
movslq 0x8(%rsp),%rax
add    $0x4,%rbp
cmp    %rax,%r14
jl     11e0 <main+0xb0>
mov    %eax,%r8d
test   %r8d,%r8d
jle    1250 <main+0x120>
mov    0xc(%rsp),%eax
movslq %eax,%rcx
cmp    $0x1,%r8d
jne    1395 <main+0x265>
xor    %esi,%esi
test   $0x1,%r8b
je     1254 <main+0x124>
movslq 0x10(%rsp,%rsi,4),%rdx
cmp    %eax,%edx
jg     1254 <main+0x124>
mov    %rdx,%rsi
nopw   0x0(%rax,%rax,1)
movslq %esi,%rdi
movl   $0x1,0x330(%rsp,%rdi,4)
add    %rdx,%rsi
cmp    %rcx,%rsi
jle    1230 <main+0x100>
jmp    1254 <main+0x124>
nopl   0x0(%rax,%rax,1)
mov    0xc(%rsp),%eax
test   %eax,%eax
jle    1190 <main+0x60>
mov    %eax,%r8d
cmp    $0x1,%eax
jne    1280 <main+0x150>
xor    %esi,%esi
mov    $0x1,%eax
test   $0x1,%r8b
je     1192 <main+0x62>
jmp    134d <main+0x21d>
nopw   0x0(%rax,%rax,1)
mov    %r8d,%r9d
and    $0xfffffffe,%r9d
xor    %esi,%esi
mov    $0xffffffffffffffff,%rax
mov    $0x1,%edi
mov    $0x2,%ebp
lea    0x338(%rsp),%rcx
jmp    12cc <main+0x19c>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x8,%rcx
add    $0x2,%edi
add    $0x2,%ebp
lea    (%r9,%rax,1),%rdx
add    $0xfffffffffffffffe,%rdx
add    $0xfffffffffffffffe,%rax
cmp    $0xffffffffffffffff,%rdx
je     1340 <main+0x210>
cmpl   $0x1,-0x4(%rcx)
jne    1300 <main+0x1d0>
mov    %edi,%ebx
imul   $0x24924925,%rbx,%rdx
shr    $0x20,%rdx
mov    %edi,%ebx
sub    %edx,%ebx
shr    %ebx
add    %edx,%ebx
shr    $0x2,%ebx
lea    0x0(,%rbx,8),%edx
sub    %edx,%ebx
add    %edi,%ebx
je     1300 <main+0x1d0>
cmp    $0x6,%ebx
je     1300 <main+0x1d0>
add    $0x1,%esi
nop
cmpl   $0x1,(%rcx)
jne    12b0 <main+0x180>
mov    %ebp,%edx
imul   $0x24924925,%rdx,%rdx
shr    $0x20,%rdx
mov    %ebp,%ebx
sub    %edx,%ebx
shr    %ebx
add    %edx,%ebx
shr    $0x2,%ebx
lea    0x0(,%rbx,8),%edx
sub    %edx,%ebx
add    %ebp,%ebx
je     12b0 <main+0x180>
cmp    $0x6,%ebx
je     12b0 <main+0x180>
add    $0x1,%esi
jmp    12b0 <main+0x180>
nopw   0x0(%rax,%rax,1)
neg    %rax
test   $0x1,%r8b
je     1192 <main+0x62>
cmpl   $0x1,0x330(%rsp,%rax,4)
01
jne    1192 <main+0x62>
mov    %eax,%ecx
imul   $0x24924925,%rcx,%rdx
shr    $0x20,%rdx
mov    %eax,%ecx
sub    %edx,%ecx
shr    %ecx
add    %edx,%ecx
shr    $0x2,%ecx
lea    0x0(,%rcx,8),%edx
sub    %edx,%ecx
add    %eax,%ecx
je     1192 <main+0x62>
cmp    $0x6,%ecx
je     1192 <main+0x62>
add    $0x1,%esi
jmp    1192 <main+0x62>
mov    %r8d,%edi
and    $0xfffffffe,%edi
xor    %esi,%esi
jmp    13ad <main+0x27d>
nop
add    $0x2,%rsi
cmp    %rdi,%rsi
je     1218 <main+0xe8>
movslq 0x10(%rsp,%rsi,4),%rbx
cmp    %eax,%ebx
jg     13d6 <main+0x2a6>
mov    %rbx,%rbp
nopl   0x0(%rax)
movslq %ebp,%rdx
movl   $0x1,0x330(%rsp,%rdx,4)
add    %rbx,%rbp
cmp    %rcx,%rbp
jle    13c0 <main+0x290>
lea    0x0(,%rsi,4),%rdx
or     $0x4,%rdx
movslq 0x10(%rsp,%rdx,1),%rbx
cmp    %eax,%ebx
jg     13a0 <main+0x270>
mov    %rbx,%rbp
xchg   %ax,%ax
movslq %ebp,%rdx
movl   $0x1,0x330(%rsp,%rdx,4)
add    %rbx,%rbp
cmp    %rcx,%rbp
jle    13f0 <main+0x2c0>
jmp    13a0 <main+0x270>

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

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