section .text

.globl main
main:
entry:
    push rbp
    mov rbp, rsp
    push rbx
    push rsi
    sub rsp, 48
    xor r10, r10
    xor rbx, rbx
    mov [rbp-24], rbx
    xor r10, r10
    xor rbx, rbx
    mov [rbp-32], rbx
    xor r10, r10
    xor rbx, rbx
    mov [rbp-40], rbx
    xor r10, r10
    xor rbx, rbx
    mov [rbp-48], rbx
    xor r10, r10
    xor rbx, rbx
    mov [rbp-56], rbx
    mov r10, [rbp-32]
    mov rcx, r10
    sub rsp, 32
    call bestof_str_free
    add rsp, 32
    lea rcx, .pb.str.0
    sub rsp, 32
    call bestof_strdup
    add rsp, 32
    mov rbx, rax
    nop
    mov [rbp-32], rbx
    mov r10, [rbp-40]
    mov rcx, r10
    sub rsp, 32
    call bestof_str_free
    add rsp, 32
    lea rcx, .pb.str.1
    sub rsp, 32
    call bestof_strdup
    add rsp, 32
    mov rbx, rax
    nop
    mov [rbp-40], rbx
    xor r10, r10
    xor rbx, rbx
    mov [rbp-56], rbx
    mov r10, [rbp-32]
    mov rcx, r10
    lea rdx, .pb.str.2
    sub rsp, 32
    call bestof_str_concat
    add rsp, 32
    mov rbx, rax
    mov r10, [rbp-40]
    mov rsi, r10
    mov rcx, rbx
    mov rdx, rsi
    sub rsp, 32
    call bestof_str_concat
    add rsp, 32
    mov rbx, rax
    mov r10, [rbp-48]
    mov rsi, r10
    mov rcx, r10
    sub rsp, 32
    call bestof_str_free
    add rsp, 32
    nop
    mov [rbp-48], rbx
    mov r10, [rbp-48]
    mov rcx, r10
    lea rdx, .pb.str.3
    sub rsp, 32
    call bestof_str_cmp
    add rsp, 32
    mov rbx, rax
    test rbx, rbx
    mov r10, 0
    setne r10
    mov rbx, r10
    test rbx, rbx
    jne pb_if_then_main_0
    jmp pb_if_else_main_1
pb_if_then_main_0:
    mov r10, 1
    mov rbx, 1
    mov [rbp-56], 1
    jmp pb_if_end_main_2
pb_if_else_main_1:
    jmp pb_if_end_main_2
pb_if_end_main_2:
    xor r10, r10
    test r10, r10
    mov r10, 0
    setne r10
    mov rbx, r10
    test rbx, rbx
    jne pb_if_then_main_3
    jmp pb_if_else_main_4
pb_if_then_main_3:
    mov r10, 2
    mov rbx, 2
    mov [rbp-56], 2
    jmp pb_if_end_main_5
pb_if_else_main_4:
    jmp pb_if_end_main_5
pb_if_end_main_5:
    xor r10, r10
    test r10, r10
    mov r10, 0
    setne r10
    mov rbx, r10
    test rbx, rbx
    jne pb_if_then_main_6
    jmp pb_if_else_main_7
pb_if_then_main_6:
    mov r10, 3
    mov rbx, 3
    mov [rbp-56], 3
    jmp pb_if_end_main_8
pb_if_else_main_7:
    jmp pb_if_end_main_8
pb_if_end_main_8:
    xor r10, r10
    test r10, r10
    mov r10, 0
    setne r10
    mov rbx, r10
    test rbx, rbx
    jne pb_if_then_main_9
    jmp pb_if_else_main_10
pb_if_then_main_9:
    mov r10, 4
    mov rbx, 4
    mov [rbp-56], 4
    jmp pb_if_end_main_11
pb_if_else_main_10:
    jmp pb_if_end_main_11
pb_if_end_main_11:
    xor r10, r10
    test r10, r10
    mov r10, 0
    setne r10
    mov rbx, r10
    test rbx, rbx
    jne pb_if_then_main_12
    jmp pb_if_else_main_13
pb_if_then_main_12:
    mov r10, 5
    mov rbx, 5
    mov [rbp-56], 5
    jmp pb_if_end_main_14
pb_if_else_main_13:
    jmp pb_if_end_main_14
pb_if_end_main_14:
    xor r10, r10
    test r10, r10
    mov r10, 0
    setne r10
    mov rbx, r10
    test rbx, rbx
    jne pb_if_then_main_15
    jmp pb_if_else_main_16
pb_if_then_main_15:
    mov r10, 6
    mov rbx, 6
    mov [rbp-56], 6
    jmp pb_if_end_main_17
pb_if_else_main_16:
    jmp pb_if_end_main_17
pb_if_end_main_17:
    xor r10, r10
    test r10, r10
    mov r10, 0
    setne r10
    mov rbx, r10
    test rbx, rbx
    jne pb_if_then_main_18
    jmp pb_if_else_main_19
pb_if_then_main_18:
    mov r10, 7
    mov rbx, 7
    mov [rbp-56], 7
    jmp pb_if_end_main_20
pb_if_else_main_19:
    jmp pb_if_end_main_20
pb_if_end_main_20:
    xor r10, r10
    test r10, r10
    mov r10, 0
    setne r10
    mov rbx, r10
    test rbx, rbx
    jne pb_if_then_main_21
    jmp pb_if_else_main_22
pb_if_then_main_21:
    mov r10, 8
    mov rbx, 8
    mov [rbp-56], 8
    jmp pb_if_end_main_23
pb_if_else_main_22:
    jmp pb_if_end_main_23
pb_if_end_main_23:
    xor r10, r10
    test r10, r10
    mov r10, 0
    setne r10
    mov rbx, r10
    test rbx, rbx
    jne pb_if_then_main_24
    jmp pb_if_else_main_25
pb_if_then_main_24:
    mov r10, 9
    mov rbx, 9
    mov [rbp-56], 9
    jmp pb_if_end_main_26
pb_if_else_main_25:
    jmp pb_if_end_main_26
pb_if_end_main_26:
    xor r10, r10
    test r10, r10
    mov r10, 0
    setne r10
    mov rbx, r10
    test rbx, rbx
    jne pb_if_then_main_27
    jmp pb_if_else_main_28
pb_if_then_main_27:
    mov r10, 10
    mov rbx, 10
    mov [rbp-56], 10
    jmp pb_if_end_main_29
pb_if_else_main_28:
    jmp pb_if_end_main_29
pb_if_end_main_29:
    xor r10, r10
    test r10, r10
    mov r10, 0
    setne r10
    mov rbx, r10
    test rbx, rbx
    jne pb_if_then_main_30
    jmp pb_if_else_main_31
pb_if_then_main_30:
    mov r10, 11
    mov rbx, 11
    mov [rbp-56], 11
    jmp pb_if_end_main_32
pb_if_else_main_31:
    jmp pb_if_end_main_32
pb_if_end_main_32:
    xor r10, r10
    test r10, r10
    mov r10, 0
    setne r10
    mov rbx, r10
    test rbx, rbx
    jne pb_if_then_main_33
    jmp pb_if_else_main_34
pb_if_then_main_33:
    mov r10, 12
    mov rbx, 12
    mov [rbp-56], 12
    jmp pb_if_end_main_35
pb_if_else_main_34:
    jmp pb_if_end_main_35
pb_if_end_main_35:
    xor r10, r10
    test r10, r10
    mov r10, 0
    setne r10
    mov rbx, r10
    test rbx, rbx
    jne pb_if_then_main_36
    jmp pb_if_else_main_37
pb_if_then_main_36:
    mov r10, 13
    mov rbx, 13
    mov [rbp-56], 13
    jmp pb_if_end_main_38
pb_if_else_main_37:
    jmp pb_if_end_main_38
pb_if_end_main_38:
    xor r10, r10
    test r10, r10
    mov r10, 0
    setne r10
    mov rbx, r10
    test rbx, rbx
    jne pb_if_then_main_39
    jmp pb_if_else_main_40
pb_if_then_main_39:
    mov r10, 14
    mov rbx, 14
    mov [rbp-56], 14
    jmp pb_if_end_main_41
pb_if_else_main_40:
    jmp pb_if_end_main_41
pb_if_end_main_41:
    xor r10, r10
    test r10, r10
    mov r10, 0
    setne r10
    mov rbx, r10
    test rbx, rbx
    jne pb_if_then_main_42
    jmp pb_if_else_main_43
pb_if_then_main_42:
    mov r10, 15
    mov rbx, 15
    mov [rbp-56], 15
    jmp pb_if_end_main_44
pb_if_else_main_43:
    jmp pb_if_end_main_44
pb_if_end_main_44:
    xor r10, r10
    test r10, r10
    mov r10, 0
    setne r10
    mov rbx, r10
    test rbx, rbx
    jne pb_if_then_main_45
    jmp pb_if_else_main_46
pb_if_then_main_45:
    mov r10, 16
    mov rbx, 16
    mov [rbp-56], 16
    jmp pb_if_end_main_47
pb_if_else_main_46:
    jmp pb_if_end_main_47
pb_if_end_main_47:
    xor r10, r10
    test r10, r10
    mov r10, 0
    setne r10
    mov rbx, r10
    test rbx, rbx
    jne pb_if_then_main_48
    jmp pb_if_else_main_49
pb_if_then_main_48:
    mov r10, 17
    mov rbx, 17
    mov [rbp-56], 17
    jmp pb_if_end_main_50
pb_if_else_main_49:
    jmp pb_if_end_main_50
pb_if_end_main_50:
    mov r10, [rbp-56]
    mov rbx, r10
    nop
    mov [rbp-24], rbx
    mov r10, [rbp-24]
    mov rbx, r10
    mov r10, [rbp-32]
    mov rsi, r10
    mov rcx, r10
    sub rsp, 32
    call bestof_str_free
    add rsp, 32
    xor r10, r10
    xor rsi, rsi
    mov [rbp-32], rsi
    mov r10, [rbp-40]
    mov rsi, r10
    mov rcx, r10
    sub rsp, 32
    call bestof_str_free
    add rsp, 32
    xor r10, r10
    xor rsi, rsi
    mov [rbp-40], rsi
    mov r10, [rbp-48]
    mov rsi, r10
    mov rcx, r10
    sub rsp, 32
    call bestof_str_free
    add rsp, 32
    xor rsi, rsi
    mov [rbp-48], rsi
    mov rax, rbx
    add rsp, 48
    pop rsi
    pop rbx
    pop rbp
    ret

