#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 /*<<< orphan*/ scanf(char *, int *);
int main() {
  int n, s = 0, i;
  scanf("%d", &n);
  s = n * (n * n + 6 * n - 1) / 6;
  for (i = 1; i < n; i++)
    if (n - i >= i)
      s = s + i * (i - 1) / 2;
    else
      s = s + i * (4 * n - 3 * i) - n * (n + 1);
  printf("\n\n%d\n\n", s);
  return 1;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
movl   $0x0,-0x4(%rbp)
movl   $0x0,-0xc(%rbp)
lea    0xec3(%rip),%rdi
lea    -0x8(%rbp),%rsi
call   1040 <scanf@plt>
mov    -0x8(%rbp),%eax
mov    -0x8(%rbp),%ecx
imul   -0x8(%rbp),%ecx
imul   $0x6,-0x8(%rbp),%edx
add    %edx,%ecx
sub    $0x1,%ecx
imul   %ecx,%eax
mov    $0x6,%ecx
cltd
idiv   %ecx
mov    %eax,-0xc(%rbp)
movl   $0x1,-0x10(%rbp)
mov    -0x10(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    11ed <main+0xcd>
mov    -0x8(%rbp),%eax
sub    -0x10(%rbp),%eax
cmp    -0x10(%rbp),%eax
jl     11b2 <main+0x92>
mov    -0xc(%rbp),%eax
mov    %eax,-0x14(%rbp)
mov    -0x10(%rbp),%eax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
imul   %ecx,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,%ecx
mov    -0x14(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0xc(%rbp)
jmp    11da <main+0xba>
mov    -0xc(%rbp),%eax
mov    -0x10(%rbp),%ecx
mov    -0x8(%rbp),%edx
shl    $0x2,%edx
imul   $0x3,-0x10(%rbp),%esi
sub    %esi,%edx
imul   %edx,%ecx
add    %ecx,%eax
mov    -0x8(%rbp),%ecx
mov    -0x8(%rbp),%edx
add    $0x1,%edx
imul   %edx,%ecx
sub    %ecx,%eax
mov    %eax,-0xc(%rbp)
jmp    11df <main+0xbf>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    116e <main+0x4e>
mov    -0xc(%rbp),%esi
lea    0xe0c(%rip),%rdi
call   1030 <printf@plt>
mov    $0x1,%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rax
lea    0xf28(%rip),%rdi
lea    0x4(%rsp),%rsi
call   1040 <scanf@plt>
mov    0x4(%rsp),%eax
lea    0x6(%rax),%ecx
imul   %eax,%ecx
add    $0xffffffff,%ecx
imul   %eax,%ecx
movslq %ecx,%rcx
imul   $0x2aaaaaab,%rcx,%rsi
mov    %rsi,%rcx
shr    $0x3f,%rcx
shr    $0x20,%rsi
add    %ecx,%esi
cmp    $0x2,%eax
jl     136b <main+0x24b>
lea    0x0(,%rax,4),%r11d
mov    %eax,%r10d
not    %r10d
imul   %eax,%r10d
lea    -0x1(%rax),%r8d
mov    $0x1,%edi
cmp    $0x8,%r8d
jb     137e <main+0x25e>
mov    %r8d,%r9d
and    $0xfffffff8,%r9d
lea    0x1(%r9),%edi
movd   %esi,%xmm0
movd   %eax,%xmm1
pshufd $0x0,%xmm1,%xmm12
movd   %r11d,%xmm1
pshufd $0x0,%xmm1,%xmm13
movd   %r10d,%xmm1
pshufd $0x0,%xmm1,%xmm14
pxor   %xmm3,%xmm3
movdqa 0xe3d(%rip),%xmm9
mov    %r9d,%esi
cs nopw 0x0(%rax,%rax,1)
movdqa %xmm9,%xmm6
paddd  0xe33(%rip),%xmm6
movdqa %xmm12,%xmm1
psubd  %xmm9,%xmm1
movdqa %xmm12,%xmm2
psubd  %xmm6,%xmm2
movdqa %xmm9,%xmm11
pcmpgtd %xmm1,%xmm11
movdqa %xmm6,%xmm1
pcmpgtd %xmm2,%xmm1
movdqa %xmm9,%xmm2
paddd  0xe31(%rip),%xmm2
movdqa %xmm9,%xmm4
paddd  0xe04(%rip),%xmm4
pshufd $0xf5,%xmm2,%xmm5
pmuludq %xmm9,%xmm2
pshufd $0xe8,%xmm2,%xmm10
pshufd $0xf5,%xmm9,%xmm15
pmuludq %xmm15,%xmm5
pshufd $0xe8,%xmm5,%xmm2
punpckldq %xmm2,%xmm10
pshufd $0xf5,%xmm4,%xmm2
pmuludq %xmm6,%xmm4
pshufd $0xe8,%xmm4,%xmm5
pshufd $0xf5,%xmm6,%xmm8
pmuludq %xmm8,%xmm2
pshufd $0xe8,%xmm2,%xmm2
punpckldq %xmm2,%xmm5
movdqa %xmm10,%xmm2
psrld  $0x1f,%xmm2
paddd  %xmm10,%xmm2
movdqa %xmm5,%xmm10
psrld  $0x1f,%xmm10
paddd  %xmm5,%xmm10
movdqa %xmm9,%xmm5
paddd  %xmm9,%xmm5
paddd  %xmm9,%xmm5
movdqa %xmm6,%xmm7
paddd  %xmm6,%xmm7
paddd  %xmm6,%xmm7
movdqa %xmm13,%xmm4
psubd  %xmm5,%xmm4
movdqa %xmm13,%xmm5
psubd  %xmm7,%xmm5
pshufd $0xf5,%xmm4,%xmm7
pmuludq %xmm15,%xmm7
pmuludq %xmm9,%xmm4
pshufd $0xe8,%xmm4,%xmm4
pshufd $0xe8,%xmm7,%xmm7
punpckldq %xmm7,%xmm4
pmuludq %xmm5,%xmm6
pshufd $0xf5,%xmm5,%xmm5
pmuludq %xmm8,%xmm5
pshufd $0xe8,%xmm6,%xmm6
pshufd $0xe8,%xmm5,%xmm5
punpckldq %xmm5,%xmm6
psrad  $0x1,%xmm2
paddd  %xmm0,%xmm2
paddd  %xmm14,%xmm0
paddd  %xmm4,%xmm0
psrad  $0x1,%xmm10
paddd  %xmm3,%xmm10
paddd  %xmm14,%xmm3
paddd  %xmm6,%xmm3
movdqa %xmm0,%xmm4
pand   %xmm11,%xmm4
pandn  %xmm2,%xmm11
movdqa %xmm11,%xmm0
por    %xmm4,%xmm0
movdqa %xmm3,%xmm2
pand   %xmm1,%xmm2
pandn  %xmm10,%xmm1
movdqa %xmm1,%xmm3
por    %xmm2,%xmm3
paddd  0xced(%rip),%xmm9
add    $0xfffffff8,%esi
jne    11d0 <main+0xb0>
paddd  %xmm0,%xmm3
pshufd $0xee,%xmm3,%xmm0
paddd  %xmm3,%xmm0
pshufd $0x55,%xmm0,%xmm1
paddd  %xmm0,%xmm1
movd   %xmm1,%esi
cmp    %r9d,%r8d
jne    137e <main+0x25e>
lea    0xce1(%rip),%rdi
call   1030 <printf@plt>
mov    $0x1,%eax
pop    %rcx
ret
sub    %edi,%eax
lea    (%rdi,%rdi,2),%edx
sub    %edx,%r11d
jmp    13a7 <main+0x287>
nopl   0x0(%rax,%rax,1)
mov    %r11d,%ecx
imul   %edi,%ecx
add    %r10d,%esi
add    %ecx,%esi
add    $0x1,%edi
add    $0xfffffffd,%r11d
add    $0xffffffff,%eax
je     136b <main+0x24b>
cmp    %edi,%eax
jl     1390 <main+0x270>
lea    -0x1(%rdi),%ecx
imul   %edi,%ecx
mov    %ecx,%edx
shr    $0x1f,%edx
add    %ecx,%edx
sar    %edx
add    %edx,%esi
jmp    139b <main+0x27b>

LLVM IR (-O0):
@.str = [3 x i8] c"%d\00"
@.str.1 = [7 x i8] c"\0A\0A%d\0A\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
store i32 0, i32* %1
store i32 0, i32* %3
%5 = call i32 @scanf(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i32* %2)
%6 = load i32, i32* %2
%7 = load i32, i32* %2
%8 = load i32, i32* %2
%9 = mul nsw i32 %7, %8
%10 = load i32, i32* %2
%11 = mul nsw i32 6, %10
%12 = add nsw i32 %9, %11
%13 = sub nsw i32 %12, 1
%14 = mul nsw i32 %6, %13
%15 = sdiv i32 %14, 6
store i32 %15, i32* %3
store i32 1, i32* %4
br label %16
16: ; preds = %50, %0
%17 = load i32, i32* %4
%18 = load i32, i32* %2
%19 = icmp slt i32 %17, %18
br i1 %19, label %20, label %53
20: ; preds = %16
%21 = load i32, i32* %2
%22 = load i32, i32* %4
%23 = sub nsw i32 %21, %22
%24 = load i32, i32* %4
%25 = icmp sge i32 %23, %24
br i1 %25, label %26, label %34
26: ; preds = %20
%27 = load i32, i32* %3
%28 = load i32, i32* %4
%29 = load i32, i32* %4
%30 = sub nsw i32 %29, 1
%31 = mul nsw i32 %28, %30
%32 = sdiv i32 %31, 2
%33 = add nsw i32 %27, %32
store i32 %33, i32* %3
br label %49
34: ; preds = %20
%35 = load i32, i32* %3
%36 = load i32, i32* %4
%37 = load i32, i32* %2
%38 = mul nsw i32 4, %37
%39 = load i32, i32* %4
%40 = mul nsw i32 3, %39
%41 = sub nsw i32 %38, %40
%42 = mul nsw i32 %36, %41
%43 = add nsw i32 %35, %42
%44 = load i32, i32* %2
%45 = load i32, i32* %2
%46 = add nsw i32 %45, 1
%47 = mul nsw i32 %44, %46
%48 = sub nsw i32 %43, %47
store i32 %48, i32* %3
br label %49
49: ; preds = %34, %26
br label %50
50: ; preds = %49
%51 = load i32, i32* %4
%52 = add nsw i32 %51, 1
store i32 %52, i32* %4
br label %16
53: ; preds = %16
%54 = load i32, i32* %3
%55 = call i32 @printf(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.1, i64 0, i64 0), i32 %54)
ret i32 1
}

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