.file   "solution.cpp"
    .section .rdata,"dr"
    .align 4
_ZL1K:
    .long   1337420228
    .def    __main; .scl    2;  .type   32; .endef
.LC0:
    .ascii "%d\0"
    .text
    .globl  main
    .def    main;   .scl    2;  .type   32; .endef
    .seh_proc   main
main:
.LFB15:
    pushq   %rbp
    .seh_pushreg    %rbp
    movq    %rsp, %rbp
    .seh_setframe   %rbp, 0
    subq    $48, %rsp
    .seh_stackalloc 48
    .seh_endprologue
    call    __main
    leaq    -8(%rbp), %rax
    movq    %rax, %rdx
    leaq    .LC0(%rip), %rcx
    call    scanf
    movl    -8(%rbp), %ecx
    movl    $1724097603, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $29, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    movl    %eax, -4(%rbp)
    movl    -4(%rbp), %eax
    imull   $1337420228, %eax, %eax
    subl    %eax, %ecx
    movl    %ecx, %eax
    movl    %eax, -4(%rbp)
    movl    -4(%rbp), %eax
    movl    %eax, %edx
    leaq    .LC0(%rip), %rcx
    call    printf
    movl    $0, %eax
    addq    $48, %rsp
    popq    %rbp
    ret
    .seh_endproc
    .ident  "GCC: (tdm64-1) 5.1.0"
    .def    scanf;  .scl    2;  .type   32; .endef
    .def    printf; .scl    2;  .type   32; .endef