#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 EXIT_FAILURE;
int EXIT_SUCCESS;
int /*<<< orphan*/ printf(char *, long, long, long);
int scanf(char *, long *, long *);
int main(int argc, char *argv[]) {
  long int c1, c2;
  if (scanf("%ld %ld", &c1, &c2) != 2)
    return EXIT_FAILURE;
  long int c_diff = (int)((c2 - c1) / (float)100 + 0.5);
  printf("%02ld:%02ld:%02ld", c_diff / 60 / 60, c_diff / 60 % 60,
         c_diff % 60 % 60);
  return EXIT_SUCCESS;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
lea    0xecf(%rip),%rdi
lea    -0x18(%rbp),%rsi
lea    -0x20(%rbp),%rdx
call   1040 <scanf@plt>
cmp    $0x2,%eax
je     1164 <main+0x44>
mov    0x2e86(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
jmp    1208 <main+0xe8>
mov    -0x20(%rbp),%rax
sub    -0x18(%rbp),%rax
cvtsi2ss %rax,%xmm0
movss  0xe8f(%rip),%xmm1
divss  %xmm1,%xmm0
cvtss2sd %xmm0,%xmm0
movsd  0xe77(%rip),%xmm1
addsd  %xmm1,%xmm0
cvttsd2si %xmm0,%eax
cltq
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
mov    $0x3c,%ecx
cqto
idiv   %rcx
mov    $0x3c,%ecx
cqto
idiv   %rcx
mov    %rax,%rsi
mov    -0x28(%rbp),%rax
mov    $0x3c,%ecx
cqto
idiv   %rcx
mov    $0x3c,%ecx
cqto
idiv   %rcx
mov    %rdx,-0x30(%rbp)
mov    -0x28(%rbp),%rax
mov    $0x3c,%ecx
cqto
idiv   %rcx
mov    %rdx,%rax
mov    $0x3c,%ecx
cqto
idiv   %rcx
mov    %rdx,%rcx
mov    -0x30(%rbp),%rdx
lea    0xe1d(%rip),%rdi
call   1030 <printf@plt>
mov    0x2dd5(%rip),%rax
mov    (%rax),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
sub    $0x18,%rsp
lea    0xee5(%rip),%rdi
lea    0x10(%rsp),%rsi
lea    0x8(%rsp),%rdx
call   1040 <scanf@plt>
cmp    $0x2,%eax
jne    11dc <main+0xbc>
mov    0x8(%rsp),%rax
sub    0x10(%rsp),%rax
cvtsi2ss %rax,%xmm0
divss  0xea6(%rip),%xmm0
cvtss2sd %xmm0,%xmm0
addsd  0xea2(%rip),%xmm0
cvttsd2si %xmm0,%eax
cltq
imul   $0xffffffff91a2b3c5,%rax,%rcx
shr    $0x20,%rcx
add    %eax,%ecx
mov    %ecx,%edx
shr    $0x1f,%edx
sar    $0xb,%ecx
add    %edx,%ecx
movslq %ecx,%rsi
imul   $0xffffffff88888889,%rax,%rcx
shr    $0x20,%rcx
add    %eax,%ecx
mov    %ecx,%edx
shr    $0x1f,%edx
sar    $0x5,%ecx
add    %edx,%ecx
movslq %ecx,%rcx
imul   $0xffffffff88888889,%rcx,%rdx
shr    $0x20,%rdx
add    %ecx,%edx
mov    %edx,%edi
shr    $0x1f,%edi
sar    $0x5,%edx
add    %edi,%edx
imul   $0x3c,%edx,%edx
imul   $0x3c,%ecx,%edi
sub    %edx,%ecx
movslq %ecx,%rdx
sub    %edi,%eax
movslq %eax,%rcx
lea    0xe4a(%rip),%rdi
call   1030 <printf@plt>
mov    0x2dfe(%rip),%rax
jmp    11e3 <main+0xc3>
mov    0x2dfd(%rip),%rax
mov    (%rax),%eax
add    $0x18,%rsp
ret

LLVM IR (-O0):
@.str = [8 x i8] c"%ld %ld\00"
@EXIT_FAILURE = global i32 0
@.str.1 = [18 x i8] c"%02ld:%02ld:%02ld\00"
@EXIT_SUCCESS = global i32 0
define i32 @main(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8**
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
store i32 0, i32* %3
store i32 %0, i32* %4
store i8** %1, i8*** %5
%9 = call i32 @scanf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str, i64 0, i64 0), i64* %6, i64* %7)
%10 = icmp ne i32 %9, 2
br i1 %10, label %11, label %13
11: ; preds = %2
%12 = load i32, i32* @EXIT_FAILURE
store i32 %12, i32* %3
br label %34
13: ; preds = %2
%14 = load i64, i64* %7
%15 = load i64, i64* %6
%16 = sub nsw i64 %14, %15
%17 = sitofp i64 %16 to float
%18 = fdiv float %17, 1.000000e+02
%19 = fpext float %18 to double
%20 = fadd double %19, 5.000000e-01
%21 = fptosi double %20 to i32
%22 = sext i32 %21 to i64
store i64 %22, i64* %8
%23 = load i64, i64* %8
%24 = sdiv i64 %23, 60
%25 = sdiv i64 %24, 60
%26 = load i64, i64* %8
%27 = sdiv i64 %26, 60
%28 = srem i64 %27, 60
%29 = load i64, i64* %8
%30 = srem i64 %29, 60
%31 = srem i64 %30, 60
%32 = call i32 @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.1, i64 0, i64 0), i64 %25, i64 %28, i64 %31)
%33 = load i32, i32* @EXIT_SUCCESS
store i32 %33, i32* %3
br label %34
34: ; preds = %13, %11
%35 = load i32, i32* %3
ret i32 %35
}

LLVM IR (-O2):
@.str = [8 x i8] c"%ld %ld\00"
@EXIT_FAILURE = global i32 0
@.str.1 = [18 x i8] c"%02ld:%02ld:%02ld\00"
@EXIT_SUCCESS = global i32 0
define i32 @main(i32 %0, i8** nocapture readnone %1) {
%3 = alloca i64
%4 = alloca i64
%5 = bitcast i64* %3 to i8*
%6 = bitcast i64* %4 to i8*
%7 = call i32 @scanf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str, i64 0, i64 0), i64* %3, i64* %4)
%8 = icmp eq i32 %7, 2
br i1 %8, label %9, label %26
9: ; preds = %2
%10 = load i64, i64* %4
%11 = load i64, i64* %3
%12 = sub nsw i64 %10, %11
%13 = sitofp i64 %12 to float
%14 = fdiv float %13, 1.000000e+02
%15 = fpext float %14 to double
%16 = fadd double %15, 5.000000e-01
%17 = fptosi double %16 to i32
%18 = sdiv i32 %17, 60
%19 = sdiv i32 %17, 3600
%20 = sext i32 %19 to i64
%21 = srem i32 %18, 60
%22 = sext i32 %21 to i64
%23 = srem i32 %17, 60
%24 = sext i32 %23 to i64
%25 = call i32 @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.1, i64 0, i64 0), i64 %20, i64 %22, i64 %24)
br label %26
26: ; preds = %2, %9
%27 = phi i32* [ @EXIT_SUCCESS, %9 ], [ @EXIT_FAILURE, %2 ]
%28 = load i32, i32* %27
ret i32 %28
}