#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*/ getchar();
int /*<<< orphan*/ printf(char *, int);
int main() {
  int *p, a[13], n = 0, num = 13;
  for (p = a; p < a + 13; p++)
    *p = 1;
  for (p = a; num > 1; p++) {
    if (p > a + 12)
      p = a;
    if (*p)
      n++;
    if (n == 3) {
      *p = 0;
      num--;
      n = 0;
    }
  }
  for (p = a; p < a + 13; p++)
    if (*p)
      printf("%d", p - a + 1);
  getchar();
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x54(%rbp)
movl   $0xd,-0x58(%rbp)
lea    -0x50(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
lea    -0x50(%rbp),%rcx
add    $0x34,%rcx
cmp    %rcx,%rax
jae    1175 <main+0x55>
mov    -0x10(%rbp),%rax
movl   $0x1,(%rax)
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
jmp    1145 <main+0x25>
lea    -0x50(%rbp),%rax
mov    %rax,-0x10(%rbp)
cmpl   $0x1,-0x58(%rbp)
jle    11f4 <main+0xd4>
mov    -0x10(%rbp),%rax
lea    -0x50(%rbp),%rcx
add    $0x30,%rcx
cmp    %rcx,%rax
jbe    11a4 <main+0x84>
lea    -0x50(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x0,(%rax)
je     11ba <main+0x9a>
mov    -0x54(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x54(%rbp)
cmpl   $0x3,-0x54(%rbp)
jne    11de <main+0xbe>
mov    -0x10(%rbp),%rax
movl   $0x0,(%rax)
mov    -0x58(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x58(%rbp)
movl   $0x0,-0x54(%rbp)
jmp    11e3 <main+0xc3>
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
jmp    117d <main+0x5d>
lea    -0x50(%rbp),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
lea    -0x50(%rbp),%rcx
add    $0x34,%rcx
cmp    %rcx,%rax
jae    1255 <main+0x135>
mov    -0x10(%rbp),%rax
cmpl   $0x0,(%rax)
je     123f <main+0x11f>
mov    -0x10(%rbp),%rax
lea    -0x50(%rbp),%rcx
sub    %rcx,%rax
sar    $0x2,%rax
add    $0x1,%rax
mov    %eax,%esi
lea    0xdc6(%rip),%rdi
call   1030 <printf@plt>
jmp    1244 <main+0x124>
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %rax,-0x10(%rbp)
jmp    11fc <main+0xdc>
mov    $0x0,%al
call   1040 <getchar@plt>
xor    %eax,%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0x38,%rsp
mov    %rsp,%rax
lea    0x34(%rsp),%r15
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
movl   $0x1,(%rax)
add    $0x4,%rax
cmp    %r15,%rax
jb     1140 <main+0x20>
mov    %rsp,%rbp
lea    0x30(%rsp),%rcx
xor    %edi,%edi
mov    $0xd,%edx
lea    0x4(%rsp),%rsi
mov    %rbp,%rbx
jmp    1180 <main+0x60>
nopl   0x0(%rax,%rax,1)
cmp    %rcx,%rbx
lea    0x4(%rbx),%rbx
cmova  %rsi,%rbx
cmp    $0x1,%edx
jle    11a2 <main+0x82>
cmp    %rcx,%rbx
mov    %rbx,%rax
cmova  %rbp,%rax
cmpl   $0x1,(%rax)
sbb    $0xffffffff,%edi
cmp    $0x3,%edi
jne    1170 <main+0x50>
movl   $0x0,(%rax)
add    $0xffffffff,%edx
xor    %edi,%edi
jmp    1170 <main+0x50>
mov    $0x1,%ebp
mov    %rsp,%rbx
lea    0xe4f(%rip),%r14
jmp    11cc <main+0xac>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
add    $0x4,%rbx
add    $0x1,%ebp
cmp    %r15,%rbx
jae    11dd <main+0xbd>
cmpl   $0x0,(%rbx)
je     11c0 <main+0xa0>
mov    %r14,%rdi
mov    %ebp,%esi
call   1030 <printf@plt>
jmp    11c0 <main+0xa0>
xor    %eax,%eax
call   1040 <getchar@plt>
xor    %eax,%eax
add    $0x38,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [3 x i8] c"%d\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i32*
%3 = alloca [13 x i32]
%4 = alloca i32
%5 = alloca i32
store i32 0, i32* %1
store i32 0, i32* %4
store i32 13, i32* %5
%6 = getelementptr inbounds [13 x i32], [13 x i32]* %3, i64 0, i64 0
store i32* %6, i32** %2
br label %7
7: ; preds = %14, %0
%8 = load i32*, i32** %2
%9 = getelementptr inbounds [13 x i32], [13 x i32]* %3, i64 0, i64 0
%10 = getelementptr inbounds i32, i32* %9, i64 13
%11 = icmp ult i32* %8, %10
br i1 %11, label %12, label %17
12: ; preds = %7
%13 = load i32*, i32** %2
store i32 1, i32* %13
br label %14
14: ; preds = %12
%15 = load i32*, i32** %2
%16 = getelementptr inbounds i32, i32* %15, i32 1
store i32* %16, i32** %2
br label %7
17: ; preds = %7
%18 = getelementptr inbounds [13 x i32], [13 x i32]* %3, i64 0, i64 0
store i32* %18, i32** %2
br label %19
19: ; preds = %44, %17
%20 = load i32, i32* %5
%21 = icmp sgt i32 %20, 1
br i1 %21, label %22, label %47
22: ; preds = %19
%23 = load i32*, i32** %2
%24 = getelementptr inbounds [13 x i32], [13 x i32]* %3, i64 0, i64 0
%25 = getelementptr inbounds i32, i32* %24, i64 12
%26 = icmp ugt i32* %23, %25
br i1 %26, label %27, label %29
27: ; preds = %22
%28 = getelementptr inbounds [13 x i32], [13 x i32]* %3, i64 0, i64 0
store i32* %28, i32** %2
br label %29
29: ; preds = %27, %22
%30 = load i32*, i32** %2
%31 = load i32, i32* %30
%32 = icmp ne i32 %31, 0
br i1 %32, label %33, label %36
33: ; preds = %29
%34 = load i32, i32* %4
%35 = add nsw i32 %34, 1
store i32 %35, i32* %4
br label %36
36: ; preds = %33, %29
%37 = load i32, i32* %4
%38 = icmp eq i32 %37, 3
br i1 %38, label %39, label %43
39: ; preds = %36
%40 = load i32*, i32** %2
store i32 0, i32* %40
%41 = load i32, i32* %5
%42 = add nsw i32 %41, -1
store i32 %42, i32* %5
store i32 0, i32* %4
br label %43
43: ; preds = %39, %36
br label %44
44: ; preds = %43
%45 = load i32*, i32** %2
%46 = getelementptr inbounds i32, i32* %45, i32 1
store i32* %46, i32** %2
br label %19
47: ; preds = %19
%48 = getelementptr inbounds [13 x i32], [13 x i32]* %3, i64 0, i64 0
store i32* %48, i32** %2
br label %49
49: ; preds = %69, %47
%50 = load i32*, i32** %2
%51 = getelementptr inbounds [13 x i32], [13 x i32]* %3, i64 0, i64 0
%52 = getelementptr inbounds i32, i32* %51, i64 13
%53 = icmp ult i32* %50, %52
br i1 %53, label %54, label %72
54: ; preds = %49
%55 = load i32*, i32** %2
%56 = load i32, i32* %55
%57 = icmp ne i32 %56, 0
br i1 %57, label %58, label %68
58: ; preds = %54
%59 = load i32*, i32** %2
%60 = getelementptr inbounds [13 x i32], [13 x i32]* %3, i64 0, i64 0
%61 = ptrtoint i32* %59 to i64
%62 = ptrtoint i32* %60 to i64
%63 = sub i64 %61, %62
%64 = sdiv exact i64 %63, 4
%65 = add nsw i64 %64, 1
%66 = trunc i64 %65 to i32
%67 = call i32 @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %66)
br label %68
68: ; preds = %58, %54
br label %69
69: ; preds = %68
%70 = load i32*, i32** %2
%71 = getelementptr inbounds i32, i32* %70, i32 1
store i32* %71, i32** %2
br label %49
72: ; preds = %49
%73 = call i32 (...) @getchar()
ret i32 0
}

LLVM IR (-O2):
@.str = [3 x i8] c"%d\00"
define i32 @main() {
%1 = alloca [13 x i32]
%2 = bitcast [13 x i32]* %1 to i8*
%3 = getelementptr inbounds [13 x i32], [13 x i32]* %1, i64 0, i64 0
%4 = getelementptr inbounds [13 x i32], [13 x i32]* %1, i64 0, i64 13
br label %8
5: ; preds = %8
%6 = getelementptr inbounds [13 x i32], [13 x i32]* %1, i64 0, i64 12
%7 = getelementptr inbounds [13 x i32], [13 x i32]* %1, i64 0, i64 1
br label %14
8: ; preds = %0, %8
%9 = phi i32* [ %3, %0 ], [ %10, %8 ]
store i32 1, i32* %9
%10 = getelementptr inbounds i32, i32* %9, i64 1
%11 = icmp ult i32* %10, %4
br i1 %11, label %8, label %5
12: ; preds = %27
%13 = ptrtoint [13 x i32]* %1 to i64
br label %33
14: ; preds = %5, %27
%15 = phi i32 [ 13, %5 ], [ %29, %27 ]
%16 = phi i32 [ 0, %5 ], [ %28, %27 ]
%17 = phi i32* [ %3, %5 ], [ %31, %27 ]
%18 = icmp ugt i32* %17, %6
%19 = select i1 %18, i32* %3, i32* %17
%20 = load i32, i32* %19
%21 = icmp ne i32 %20, 0
%22 = zext i1 %21 to i32
%23 = add nsw i32 %16, %22
%24 = icmp eq i32 %23, 3
br i1 %24, label %25, label %27
25: ; preds = %14
store i32 0, i32* %19
%26 = add nsw i32 %15, -1
br label %27
27: ; preds = %14, %25
%28 = phi i32 [ 0, %25 ], [ %23, %14 ]
%29 = phi i32 [ %26, %25 ], [ %15, %14 ]
%30 = getelementptr inbounds i32, i32* %17, i64 1
%31 = select i1 %18, i32* %7, i32* %30
%32 = icmp sgt i32 %29, 1
br i1 %32, label %14, label %12
33: ; preds = %12, %44
%34 = phi i32* [ %3, %12 ], [ %45, %44 ]
%35 = load i32, i32* %34
%36 = icmp eq i32 %35, 0
br i1 %36, label %44, label %37
37: ; preds = %33
%38 = ptrtoint i32* %34 to i64
%39 = sub i64 %38, %13
%40 = lshr exact i64 %39, 2
%41 = trunc i64 %40 to i32
%42 = add i32 %41, 1
%43 = call i32 @printf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32 %42)
br label %44
44: ; preds = %33, %37
%45 = getelementptr inbounds i32, i32* %34, i64 1
%46 = icmp ult i32* %45, %4
br i1 %46, label %33, label %47
47: ; preds = %44
%48 = call i32 (...) @getchar()
ret i32 0
}