#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 *, int);
int main() {
  int numbers[28124];
  for (int n = 0; n < 28124; n++) {
    numbers[n] = 0;
  }
  for (int n = 1; n < 28124; n++) {
    int divisor_sum = 1;
    for (int i = 2; i < n; i++) {
      if (n % i == 0) {
        divisor_sum += i;
      }
    }
    if (divisor_sum > n) {
      numbers[n] = 1;
    }
  }
  int sum = 0;
  for (int n = 1; n < 28124; n++) {
    int abundant_sum = 0;
    for (int i = 12; i <= n / 2; i++) {
      if (numbers[i] == 1 && numbers[n - i] == 1) {
        abundant_sum = 1;
        break;
      }
    }
    if (abundant_sum == 0) {
      sum += n;
    }
  }
  printf("%d\n", sum);
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1b7b0,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0x1b784(%rbp)
cmpl   $0x6ddc,-0x1b784(%rbp)
jge    1162 <main+0x52>
movslq -0x1b784(%rbp),%rax
movl   $0x0,-0x1b780(%rbp,%rax,4)
mov    -0x1b784(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1b784(%rbp)
jmp    112c <main+0x1c>
movl   $0x1,-0x1b788(%rbp)
cmpl   $0x6ddc,-0x1b788(%rbp)
jge    1220 <main+0x110>
movl   $0x1,-0x1b78c(%rbp)
movl   $0x2,-0x1b790(%rbp)
mov    -0x1b790(%rbp),%eax
cmp    -0x1b788(%rbp),%eax
jge    11e3 <main+0xd3>
mov    -0x1b788(%rbp),%eax
cltd
idivl  -0x1b790(%rbp)
cmp    $0x0,%edx
jne    11ca <main+0xba>
mov    -0x1b790(%rbp),%eax
add    -0x1b78c(%rbp),%eax
mov    %eax,-0x1b78c(%rbp)
jmp    11cf <main+0xbf>
mov    -0x1b790(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1b790(%rbp)
jmp    1190 <main+0x80>
mov    -0x1b78c(%rbp),%eax
cmp    -0x1b788(%rbp),%eax
jle    1207 <main+0xf7>
movslq -0x1b788(%rbp),%rax
movl   $0x1,-0x1b780(%rbp,%rax,4)
jmp    120c <main+0xfc>
mov    -0x1b788(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1b788(%rbp)
jmp    116c <main+0x5c>
movl   $0x0,-0x1b794(%rbp)
movl   $0x1,-0x1b798(%rbp)
cmpl   $0x6ddc,-0x1b798(%rbp)
jge    1313 <main+0x203>
movl   $0x0,-0x1b79c(%rbp)
movl   $0xc,-0x1b7a0(%rbp)
mov    -0x1b7a0(%rbp),%eax
mov    %eax,-0x1b7a4(%rbp)
mov    -0x1b798(%rbp),%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x1b7a4(%rbp),%eax
cmp    %ecx,%eax
jg     12db <main+0x1cb>
movslq -0x1b7a0(%rbp),%rax
cmpl   $0x1,-0x1b780(%rbp,%rax,4)
01
jne    12c2 <main+0x1b2>
mov    -0x1b798(%rbp),%eax
sub    -0x1b7a0(%rbp),%eax
cltq
cmpl   $0x1,-0x1b780(%rbp,%rax,4)
01
jne    12c2 <main+0x1b2>
movl   $0x1,-0x1b79c(%rbp)
jmp    12db <main+0x1cb>
jmp    12c7 <main+0x1b7>
mov    -0x1b7a0(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1b7a0(%rbp)
jmp    1258 <main+0x148>
cmpl   $0x0,-0x1b79c(%rbp)
jne    12fa <main+0x1ea>
mov    -0x1b798(%rbp),%eax
add    -0x1b794(%rbp),%eax
mov    %eax,-0x1b794(%rbp)
jmp    12ff <main+0x1ef>
mov    -0x1b798(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1b798(%rbp)
jmp    1234 <main+0x124>
mov    -0x1b794(%rbp),%esi
lea    0xce0(%rip),%rdi
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x1b7b0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %r15
push   %r14
push   %rbx
sub    $0x1b770,%rsp
mov    %rsp,%rdi
xor    %r14d,%r14d
mov    $0x1b770,%edx
xor    %esi,%esi
call   1040 <memset@plt>
mov    $0x1,%r15d
mov    $0xffffffffffffffff,%r9
xor    %r10d,%r10d
jmp    1169 <main+0x49>
add    $0x1,%r15
add    $0x1,%r10
add    $0x1,%r9
cmp    $0x6ddc,%r15
je     1222 <main+0x102>
mov    $0x1,%ebx
cmp    $0x3,%r15
jb     120a <main+0xea>
lea    -0x1(%r10),%r8
cmp    $0x2,%r10
jne    11a0 <main+0x80>
mov    $0x1,%ebx
mov    $0x2,%ecx
test   $0x1,%r8b
jne    11f9 <main+0xd9>
jmp    120a <main+0xea>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
mov    %r9,%r11
and    $0xfffffffffffffffe,%r11
mov    $0x1,%ebx
xor    %esi,%esi
jmp    11ba <main+0x9a>
add    %edi,%ebx
mov    %rcx,%rsi
cmp    %rcx,%r11
je     11f0 <main+0xd0>
lea    0x2(%rsi),%rcx
xor    %edi,%edi
mov    %r15d,%eax
xor    %edx,%edx
div    %ecx
mov    %ecx,%eax
test   %edx,%edx
je     11cf <main+0xaf>
xor    %eax,%eax
add    %eax,%ebx
add    $0x3,%esi
mov    %r15d,%eax
xor    %edx,%edx
div    %esi
test   %edx,%edx
jne    11b0 <main+0x90>
lea    0x1(%rcx),%edi
jmp    11b0 <main+0x90>
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x2,%ecx
test   $0x1,%r8b
je     120a <main+0xea>
mov    %r15d,%eax
xor    %edx,%edx
div    %ecx
test   %edx,%edx
cmovne %r14d,%ecx
add    %ebx,%ecx
mov    %ecx,%ebx
mov    %ebx,%eax
cmp    %rax,%r15
jae    1150 <main+0x30>
movl   $0x1,(%rsp,%r15,4)
jmp    1150 <main+0x30>
lea    -0x2c(%rsp),%rbx
xor    %esi,%esi
mov    $0x1,%ecx
jmp    1245 <main+0x125>
mov    %ecx,%eax
add    %eax,%esi
add    $0x1,%rcx
add    $0x4,%rbx
cmp    $0x6ddc,%rcx
je     127d <main+0x15d>
cmp    $0x18,%rcx
jb     1230 <main+0x110>
mov    %ecx,%edx
shr    %edx
mov    $0xb,%edi
mov    %rbx,%rax
jmp    126d <main+0x14d>
nopl   0x0(%rax)
add    $0x1,%rdi
add    $0xfffffffffffffffc,%rax
cmp    %rdx,%rdi
jae    1230 <main+0x110>
cmpl   $0x1,0x4(%rsp,%rdi,4)
jne    1260 <main+0x140>
cmpl   $0x1,(%rax)
jne    1260 <main+0x140>
xor    %eax,%eax
jmp    1232 <main+0x112>
lea    0xd7c(%rip),%rdi
call   1030 <printf@plt>
xor    %eax,%eax
add    $0x1b770,%rsp
pop    %rbx
pop    %r14
pop    %r15
ret

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

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