#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 main() {
  unsigned char X;
  unsigned long A, B, LA, Rndm, Sh, Sk;
  int Cnt;
  char Chk(unsigned long, unsigned long);
  Rndm = 0;
  LA = 0;
  Cnt = 0;
  for (A = 0; (int)(A / 16777216) < 255; A += Rndm % 150000) {
    for (B = 1; (int)(B / 16777216) < 255; B += Rndm) {
      X = Chk(A, B);
      if (X == (char)1)
        return;
      Cnt++;
      if (A != 0) {
        X = Chk(B, A);
        if (X == (char)1)
          return;
        Cnt++;
      }
      Rndm = ((Rndm + 8456) * 364182) % 550715;
    }
    if ((A - LA) >= 250000) {
      LA = (A / 250000) * 250000;
      printf(".");
      if (LA % 10000000 == 0) {
        printf("# %d %2d%04d%04d\n", Cnt, (int)(A / 100000000),
               (int)(A / 10000 % 10000), (int)(A % 10000));
        Cnt = 0;
      }
    }
  }
  Sh = 0xf0;
  for (A = 0; A < 0xe0000000; A = Sh) {
    for (Sk = A + 500; A < Sk; A++) {
      for (B = 1; (int)(B / 16777216) < 255; B += Rndm) {
        X = Chk(A, B);
        if (X == (char)1)
          return;
        if (A != 0) {
          X = Chk(B, A);
          if (X == (char)1)
            return;
        }
        Rndm = ((Rndm + 8456) * 364182) % 550715;
      }
      if (A % 10 == 0)
        printf(".");
    }
    printf("#%2d%04d%04d\n", (int)(A / 100000000), (int)(A / 10000 % 10000),
           (int)(A % 10000));
    if (Sh < 0x20000000)
      Sh = Sh * 2 + 16;
    else
      Sh += 0x20000000;
  }
  printf("OK!\n");
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
movq   $0x0,-0x28(%rbp)
movq   $0x0,-0x20(%rbp)
movl   $0x0,-0x3c(%rbp)
movq   $0x0,-0x10(%rbp)
mov    -0x10(%rbp),%rax
shr    $0x18,%rax
cmp    $0xff,%eax
jge    12d8 <main+0x1b8>
movq   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%rax
shr    $0x18,%rax
cmp    $0xff,%eax
jge    1206 <main+0xe6>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1030 <Chk@plt>
mov    %al,-0x1(%rbp)
movzbl -0x1(%rbp),%eax
cmp    $0x1,%eax
jne    1197 <main+0x77>
jmp    1490 <main+0x370>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
cmpq   $0x0,-0x10(%rbp)
je     11d6 <main+0xb6>
mov    -0x18(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1030 <Chk@plt>
mov    %al,-0x1(%rbp)
movzbl -0x1(%rbp),%eax
cmp    $0x1,%eax
jne    11cd <main+0xad>
jmp    1490 <main+0x370>
mov    -0x3c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x3c(%rbp)
mov    -0x28(%rbp),%rax
add    $0x2108,%rax
imul   $0x58e96,%rax,%rax
mov    $0x8673b,%ecx
xor    %edx,%edx
div    %rcx
mov    %rdx,-0x28(%rbp)
mov    -0x28(%rbp),%rax
add    -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
jmp    1162 <main+0x42>
mov    -0x10(%rbp),%rax
sub    -0x20(%rbp),%rax
cmp    $0x3d090,%rax
jb     12b8 <main+0x198>
mov    -0x10(%rbp),%rax
mov    $0x3d090,%ecx
xor    %edx,%edx
div    %rcx
imul   $0x3d090,%rax,%rax
mov    %rax,-0x20(%rbp)
lea    0xdc6(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
mov    -0x20(%rbp),%rax
mov    $0x989680,%ecx
xor    %edx,%edx
div    %rcx
cmp    $0x0,%rdx
jne    12b3 <main+0x193>
mov    -0x3c(%rbp),%esi
mov    -0x10(%rbp),%rax
mov    $0x5f5e100,%ecx
xor    %edx,%edx
div    %rcx
mov    %eax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
mov    $0x2710,%ecx
xor    %edx,%edx
div    %rcx
mov    $0x2710,%ecx
xor    %edx,%edx
div    %rcx
mov    %edx,%ecx
mov    -0x10(%rbp),%rax
mov    $0x2710,%edi
xor    %edx,%edx
div    %rdi
mov    %rdx,%rax
mov    -0x40(%rbp),%edx
mov    %eax,%r8d
lea    0xd5d(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
movl   $0x0,-0x3c(%rbp)
jmp    12b8 <main+0x198>
jmp    12bd <main+0x19d>
mov    -0x28(%rbp),%rax
mov    $0x249f0,%ecx
xor    %edx,%edx
div    %rcx
add    -0x10(%rbp),%rdx
mov    %rdx,-0x10(%rbp)
jmp    1147 <main+0x27>
movq   $0xf0,-0x30(%rbp)
movq   $0x0,-0x10(%rbp)
mov    $0xe0000000,%eax
cmp    %rax,-0x10(%rbp)
jae    1482 <main+0x362>
mov    -0x10(%rbp),%rax
add    $0x1f4,%rax
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
cmp    -0x38(%rbp),%rax
jae    13ee <main+0x2ce>
movq   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%rax
shr    $0x18,%rax
cmp    $0xff,%eax
jge    13b2 <main+0x292>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
call   1030 <Chk@plt>
mov    %al,-0x1(%rbp)
movzbl -0x1(%rbp),%eax
cmp    $0x1,%eax
jne    1350 <main+0x230>
jmp    1490 <main+0x370>
cmpq   $0x0,-0x10(%rbp)
je     1382 <main+0x262>
mov    -0x18(%rbp),%rdi
mov    -0x10(%rbp),%rsi
call   1030 <Chk@plt>
mov    %al,-0x1(%rbp)
movzbl -0x1(%rbp),%eax
cmp    $0x1,%eax
jne    137d <main+0x25d>
jmp    1490 <main+0x370>
jmp    1382 <main+0x262>
mov    -0x28(%rbp),%rax
add    $0x2108,%rax
imul   $0x58e96,%rax,%rax
mov    $0x8673b,%ecx
xor    %edx,%edx
div    %rcx
mov    %rdx,-0x28(%rbp)
mov    -0x28(%rbp),%rax
add    -0x18(%rbp),%rax
mov    %rax,-0x18(%rbp)
jmp    131b <main+0x1fb>
mov    -0x10(%rbp),%rax
mov    $0xa,%ecx
xor    %edx,%edx
div    %rcx
cmp    $0x0,%rdx
jne    13d8 <main+0x2b8>
lea    0xc2f(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
jmp    13dd <main+0x2bd>
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    1305 <main+0x1e5>
mov    -0x10(%rbp),%rax
mov    $0x5f5e100,%ecx
xor    %edx,%edx
div    %rcx
mov    %eax,%esi
mov    -0x10(%rbp),%rax
mov    $0x2710,%ecx
xor    %edx,%edx
div    %rcx
mov    $0x2710,%ecx
xor    %edx,%edx
div    %rcx
mov    %edx,%eax
mov    %eax,-0x44(%rbp)
mov    -0x10(%rbp),%rax
mov    $0x2710,%ecx
xor    %edx,%edx
div    %rcx
mov    %rdx,%rax
mov    -0x44(%rbp),%edx
mov    %eax,%ecx
lea    0xbdc(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
cmpq   $0x20000000,-0x30(%rbp)
20
jae    1462 <main+0x342>
mov    -0x30(%rbp),%rax
shl    $0x1,%rax
add    $0x10,%rax
mov    %rax,-0x30(%rbp)
jmp    1470 <main+0x350>
mov    -0x30(%rbp),%rax
add    $0x20000000,%rax
mov    %rax,-0x30(%rbp)
jmp    1475 <main+0x355>
mov    -0x30(%rbp),%rax
mov    %rax,-0x10(%rbp)
jmp    12e8 <main+0x1c8>
lea    0xb99(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
add    $0x50,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
xor    %r14d,%r14d
mov    $0xb78dcab0,%ebp
movabs $0xf3b724a1b01c22ef,%r15
24 b7 f3
xor    %r13d,%r13d
xor    %eax,%eax
mov    %rax,(%rsp)
xor    %r12d,%r12d
mov    $0x1,%ebx
jmp    11a3 <main+0x63>
add    $0x1,%r14d
imul   $0x58e96,%r13,%r13
add    %rbp,%r13
mov    %r13,%rax
mul    %r15
shr    $0x13,%rdx
imul   $0x8673b,%rdx,%rax
sub    %rax,%r13
add    %r13,%rbx
mov    %rbx,%rax
shr    $0x18,%rax
cmp    $0xff,%eax
jge    11e0 <main+0xa0>
mov    %r12,%rdi
mov    %rbx,%rsi
call   1030 <Chk@plt>
cmp    $0x1,%al
je     1439 <main+0x2f9>
test   %r12,%r12
je     1170 <main+0x30>
mov    %rbx,%rdi
mov    %r12,%rsi
call   1030 <Chk@plt>
cmp    $0x1,%al
je     1439 <main+0x2f9>
add    $0x2,%r14d
jmp    1174 <main+0x34>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %r12,%rax
sub    (%rsp),%rax
cmp    $0x3d090,%rax
jb     12b0 <main+0x170>
mov    %r12,%rax
movabs $0x431bde82d7b634db,%rcx
de 1b 43
mul    %rcx
mov    %rdx,%rbx
shr    $0x10,%rbx
imul   $0x3d090,%rbx,%rax
mov    %rax,(%rsp)
mov    $0x2e,%edi
call   1040 <putchar@plt>
movabs $0xccccccccccccccd0,%rax
cc cc cc
imul   %rax,%rbx
ror    $0x7,%rbx
movabs $0x1ad7f29abca,%rax
cmp    %rax,%rbx
ja     12b0 <main+0x170>
mov    %r12,%rax
movabs $0xabcc77118461cefd,%rcx
77 cc ab
mul    %rcx
mov    %rdx,%rbx
shr    $0x1a,%rbx
mov    %r12,%rax
movabs $0x346dc5d63886594b,%rsi
c5 6d 34
mul    %rsi
mov    %rdx,%rcx
shr    $0xb,%rcx
mov    %rcx,%rax
mul    %rsi
shr    $0xb,%rdx
imul   $0x2710,%edx,%eax
imul   $0x2710,%ecx,%edx
sub    %eax,%ecx
mov    %r12d,%r8d
sub    %edx,%r8d
lea    0xd6d(%rip),%rdi
mov    %r14d,%esi
mov    %ebx,%edx
xor    %eax,%eax
call   1060 <printf@plt>
xor    %r14d,%r14d
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
mov    %r13d,%eax
imul   $0x6fd91d85,%rax,%rax
shr    $0x30,%rax
imul   $0x249f0,%eax,%eax
mov    %r13d,%ecx
sub    %eax,%ecx
add    %rcx,%r12
mov    %r12,%rax
shr    $0x18,%rax
cmp    $0xff,%eax
jl     1169 <main+0x29>
mov    $0xf0,%ecx
xor    %r12d,%r12d
mov    %rcx,(%rsp)
lea    0x1f4(%r12),%r14
mov    $0x1,%ebx
jmp    132f <main+0x1ef>
nopl   0x0(%rax)
imul   $0x58e96,%r13,%r13
add    %rbp,%r13
mov    %r13,%rax
mul    %r15
shr    $0x13,%rdx
imul   $0x8673b,%rdx,%rax
sub    %rax,%r13
add    %r13,%rbx
mov    %rbx,%rax
shr    $0x18,%rax
cmp    $0xff,%eax
jge    135b <main+0x21b>
mov    %r12,%rdi
mov    %rbx,%rsi
call   1030 <Chk@plt>
cmp    $0x1,%al
je     1439 <main+0x2f9>
test   %r12,%r12
je     1300 <main+0x1c0>
mov    %rbx,%rdi
mov    %r12,%rsi
call   1030 <Chk@plt>
cmp    $0x1,%al
jne    1300 <main+0x1c0>
jmp    1439 <main+0x2f9>
mov    %r12,%rax
movabs $0xcccccccccccccccd,%rcx
cc cc cc
imul   %rcx,%rax
ror    %rax
movabs $0x1999999999999999,%rcx
99 99 19
cmp    %rcx,%rax
ja     1388 <main+0x248>
mov    $0x2e,%edi
call   1040 <putchar@plt>
add    $0x1,%r12
cmp    %r14,%r12
jb     12f2 <main+0x1b2>
mov    %r12,%rax
movabs $0xabcc77118461cefd,%rcx
77 cc ab
mul    %rcx
mov    %rdx,%rsi
shr    $0x1a,%rsi
mov    %r12,%rax
movabs $0x346dc5d63886594b,%rdi
c5 6d 34
mul    %rdi
mov    %rdx,%rcx
shr    $0xb,%rcx
mov    %rcx,%rax
mul    %rdi
shr    $0xb,%rdx
imul   $0x2710,%edx,%eax
imul   $0x2710,%ecx,%edx
sub    %eax,%ecx
sub    %edx,%r12d
lea    0xc2d(%rip),%rdi
mov    %ecx,%edx
mov    %r12d,%ecx
xor    %eax,%eax
call   1060 <printf@plt>
mov    (%rsp),%rcx
lea    0x20000000(%rcx),%rax
cmp    $0x20000000,%rcx
lea    0x10(%rcx,%rcx,1),%rcx
cmovae %rax,%rcx
lea    0x28723550(%rbp),%rax
mov    %rcx,%r12
cmp    %rax,%rcx
jb     12e6 <main+0x1a6>
lea    0xbfa(%rip),%rdi
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1050 <puts@plt>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
@.str.1 = [18 x i8] c"# %d %2d%04d%04d\0A\00"
@.str.2 = [14 x i8] c"#%2d%04d%04d\0A\00"
@str = [4 x i8] c"OK!\00"
define void @main() {
br label %1
1: ; preds = %0, %47
%2 = phi i32 [ 0, %0 ], [ %49, %47 ]
%3 = phi i64 [ 0, %0 ], [ %24, %47 ]
%4 = phi i64 [ 0, %0 ], [ %48, %47 ]
%5 = phi i64 [ 0, %0 ], [ %53, %47 ]
%6 = icmp eq i64 %5, 0
br label %7
7: ; preds = %1, %20
%8 = phi i32 [ %2, %1 ], [ %21, %20 ]
%9 = phi i64 [ %3, %1 ], [ %24, %20 ]
%10 = phi i64 [ 1, %1 ], [ %25, %20 ]
%11 = tail call signext i8 @Chk(i64 %5, i64 %10)
%12 = icmp eq i8 %11, 1
br i1 %12, label %108, label %13
13: ; preds = %7
%14 = add nsw i32 %8, 1
br i1 %6, label %20, label %15
15: ; preds = %13
%16 = tail call signext i8 @Chk(i64 %10, i64 %5)
%17 = icmp eq i8 %16, 1
br i1 %17, label %108, label %18
18: ; preds = %15
%19 = add nsw i32 %8, 2
br label %20
20: ; preds = %18, %13
%21 = phi i32 [ %19, %18 ], [ %14, %13 ]
%22 = mul nsw i64 %9, 364182
%23 = add nsw i64 %22, 3079522992
%24 = urem i64 %23, 550715
%25 = add i64 %24, %10
%26 = lshr i64 %25, 24
%27 = trunc i64 %26 to i32
%28 = icmp slt i32 %27, 255
br i1 %28, label %7, label %29
29: ; preds = %20
%30 = sub i64 %5, %4
%31 = icmp ugt i64 %30, 249999
br i1 %31, label %32, label %47
32: ; preds = %29
%33 = urem i64 %5, 250000
%34 = sub nuw i64 %5, %33
%35 = tail call i32 @putchar(i32 46)
%36 = urem i64 %34, 10000000
%37 = icmp eq i64 %36, 0
br i1 %37, label %38, label %47
38: ; preds = %32
%39 = udiv i64 %5, 100000000
%40 = trunc i64 %39 to i32
%41 = udiv i64 %5, 10000
%42 = urem i64 %41, 10000
%43 = trunc i64 %42 to i32
%44 = urem i64 %5, 10000
%45 = trunc i64 %44 to i32
%46 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([18 x i8], [18 x i8]* @.str.1, i64 0, i64 0), i32 %21, i32 %40, i32 %43, i32 %45)
br label %47
47: ; preds = %29, %38, %32
%48 = phi i64 [ %34, %38 ], [ %34, %32 ], [ %4, %29 ]
%49 = phi i32 [ 0, %38 ], [ %21, %32 ], [ %21, %29 ]
%50 = trunc i64 %24 to i32
%51 = urem i32 %50, 150000
%52 = zext i32 %51 to i64
%53 = add i64 %5, %52
%54 = lshr i64 %53, 24
%55 = trunc i64 %54 to i32
%56 = icmp slt i32 %55, 255
br i1 %56, label %1, label %57
57: ; preds = %47, %91
%58 = phi i64 [ %104, %91 ], [ 240, %47 ]
%59 = phi i64 [ %78, %91 ], [ %24, %47 ]
%60 = phi i64 [ %104, %91 ], [ 0, %47 ]
%61 = add nuw nsw i64 %60, 500
br label %62
62: ; preds = %57, %88
%63 = phi i64 [ %59, %57 ], [ %78, %88 ]
%64 = phi i64 [ %60, %57 ], [ %89, %88 ]
%65 = icmp eq i64 %64, 0
br label %66
66: ; preds = %62, %75
%67 = phi i64 [ %63, %62 ], [ %78, %75 ]
%68 = phi i64 [ 1, %62 ], [ %79, %75 ]
%69 = tail call signext i8 @Chk(i64 %64, i64 %68)
%70 = icmp eq i8 %69, 1
br i1 %70, label %108, label %71
71: ; preds = %66
br i1 %65, label %75, label %72
72: ; preds = %71
%73 = tail call signext i8 @Chk(i64 %68, i64 %64)
%74 = icmp eq i8 %73, 1
br i1 %74, label %108, label %75
75: ; preds = %72, %71
%76 = mul nsw i64 %67, 364182
%77 = add nsw i64 %76, 3079522992
%78 = urem i64 %77, 550715
%79 = add i64 %78, %68
%80 = lshr i64 %79, 24
%81 = trunc i64 %80 to i32
%82 = icmp slt i32 %81, 255
br i1 %82, label %66, label %83
83: ; preds = %75
%84 = urem i64 %64, 10
%85 = icmp eq i64 %84, 0
br i1 %85, label %86, label %88
86: ; preds = %83
%87 = tail call i32 @putchar(i32 46)
br label %88
88: ; preds = %83, %86
%89 = add i64 %64, 1
%90 = icmp ult i64 %89, %61
br i1 %90, label %62, label %91
91: ; preds = %88
%92 = udiv i64 %89, 100000000
%93 = trunc i64 %92 to i32
%94 = udiv i64 %89, 10000
%95 = urem i64 %94, 10000
%96 = trunc i64 %95 to i32
%97 = urem i64 %89, 10000
%98 = trunc i64 %97 to i32
%99 = tail call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([14 x i8], [14 x i8]* @.str.2, i64 0, i64 0), i32 %93, i32 %96, i32 %98)
%100 = icmp ult i64 %58, 536870912
%101 = shl i64 %58, 1
%102 = add i64 %101, 16
%103 = add i64 %58, 536870912
%104 = select i1 %100, i64 %102, i64 %103
%105 = icmp ult i64 %104, 3758096384
br i1 %105, label %57, label %106
106: ; preds = %91
%107 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @str, i64 0, i64 0))
br label %108
108: ; preds = %15, %7, %72, %66, %106
ret void
}