Tris Original

    .file   "es8.c"
    .section    .rodata
    .align 8
.LC0:
    .string "Choose the part to execute:\n\t1 \t: Part 1 (Christmas tree)\n\t2 \t: Part 2 (Tic-tac-toe)\n\tother \t: Exit\n"
.LC1:
    .string "%i"
    .align 8
.LC2:
    .string "Insert the width of your tree (must be a odd number)"
    .align 8
.LC6:
    .string "Do you want to challenge the AI? (0=No, 1=Yes)"
.LC7:
    .string "Draw!"
.LC8:
    .string "Player %d win!\n\n"
.LC9:
    .string "Player %d's turn...\n"
    .align 8
.LC10:
    .string "Insert the x and y coordinates:"
    .align 8
.LC11:
    .string "Bad coordinates, or location already filled"
.LC14:
    .string "-+-+-"
    .text
    .globl  main
    .type   main, @function
main:
.LFB0:
    .cfi_startproc
    pushq   %rbp
    .cfi_def_cfa_offset 16
    .cfi_offset 6, -16
    movq    %rsp, %rbp
    .cfi_def_cfa_register 6
    pushq   %r13
    pushq   %r12
    pushq   %rbx
    subq    $40, %rsp
    .cfi_offset 13, -24
    .cfi_offset 12, -32
    .cfi_offset 3, -40
    movl    $0, -36(%rbp)
    movl    $0, %edi
    call    time
    movl    %eax, %edi
    call    srand
    jmp .L2
.L104:
    movl    -36(%rbp), %eax
    testl   %eax, %eax
    jne .L3
    movl    $.LC0, %edi
    call    puts
    leaq    -36(%rbp), %rax
    movq    %rax, %rsi
    movl    $.LC1, %edi
    movl    $0, %eax
    call    __isoc99_scanf
    movl    -36(%rbp), %eax
    cmpl    $1, %eax
    je  .L2
    movl    -36(%rbp), %eax
    cmpl    $2, %eax
    je  .L2
    movl    $-1, -36(%rbp)
    jmp .L2
.L3:
    movl    -36(%rbp), %eax
    cmpl    $1, %eax
    jne .L4
    movl    $-1, -40(%rbp)
    jmp .L5
.L6:
    movl    $.LC2, %edi
    call    puts
    leaq    -40(%rbp), %rax
    movq    %rax, %rsi
    movl    $.LC1, %edi
    movl    $0, %eax
    call    __isoc99_scanf
.L5:
    movl    -40(%rbp), %eax
    testl   %eax, %eax
    jle .L6
    movl    -40(%rbp), %eax
    andl    $1, %eax
    testl   %eax, %eax
    je  .L6
    movl    $0, -36(%rbp)
    jmp .L7
.L13:
    movl    -36(%rbp), %eax
    movl    -40(%rbp), %ecx
    movl    %eax, %edx
    sarl    $31, %edx
    idivl   %ecx
    movl    %edx, %ecx
    movl    -40(%rbp), %eax
    movl    %eax, %edx
    shrl    $31, %edx
    addl    %edx, %eax
    sarl    %eax
    movl    %eax, %esi
    movl    -36(%rbp), %eax
    movl    -40(%rbp), %edx
    movl    %edx, -60(%rbp)
    movl    %eax, %edx
    sarl    $31, %edx
    idivl   -60(%rbp)
    movl    %esi, %edx
    subl    %eax, %edx
    movl    %edx, %eax
    cmpl    %eax, %ecx
    jl  .L8
    movl    -36(%rbp), %eax
    movl    -40(%rbp), %ecx
    movl    %eax, %edx
    sarl    $31, %edx
    idivl   %ecx
    movl    %edx, %ecx
    movl    -40(%rbp), %eax
    movl    %eax, %edx
    shrl    $31, %edx
    addl    %edx, %eax
    sarl    %eax
    movl    %eax, %esi
    movl    -36(%rbp), %eax
    movl    -40(%rbp), %edx
    movl    %edx, -60(%rbp)
    movl    %eax, %edx
    sarl    $31, %edx
    idivl   -60(%rbp)
    addl    %esi, %eax
    cmpl    %eax, %ecx
    jle .L9
.L8:
    movl    $32, %edi
    call    putchar
    jmp .L10
.L9:
    movl    -36(%rbp), %eax
    movl    -40(%rbp), %ecx
    movl    %ecx, -60(%rbp)
    movl    %eax, %edx
    sarl    $31, %edx
    idivl   -60(%rbp)
    movl    %eax, %ecx
    movl    -36(%rbp), %eax
    movl    -40(%rbp), %esi
    movl    %eax, %edx
    sarl    $31, %edx
    idivl   %esi
    movl    %edx, %eax
    leal    (%rcx,%rax), %edx
    movl    -40(%rbp), %eax
    movl    %eax, %ecx
    shrl    $31, %ecx
    addl    %ecx, %eax
    sarl    %eax
    addl    %eax, %edx
    movl    %edx, %eax
    sarl    $31, %eax
    shrl    $31, %eax
    addl    %eax, %edx
    andl    $1, %edx
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    %ecx, %eax
    cmpl    $1, %eax
    jne .L11
    movl    $48, %edi
    call    putchar
    jmp .L10
.L11:
    movl    $42, %edi
    call    putchar
.L10:
    movl    -36(%rbp), %eax
    movl    -40(%rbp), %ecx
    movl    %eax, %edx
    sarl    $31, %edx
    idivl   %ecx
    movl    %edx, %eax
    movl    -40(%rbp), %edx
    subl    $1, %edx
    cmpl    %edx, %eax
    jne .L12
    movl    $10, %edi
    call    putchar
.L12:
    movl    -36(%rbp), %eax
    addl    $1, %eax
    movl    %eax, -36(%rbp)
.L7:
    movl    -40(%rbp), %eax
    movl    %eax, %edx
    shrl    $31, %edx
    addl    %edx, %eax
    sarl    %eax
    leal    1(%rax), %edx
    movl    -40(%rbp), %eax
    imull   %eax, %edx
    movl    -36(%rbp), %eax
    cmpl    %eax, %edx
    jg  .L13
    movl    $0, -36(%rbp)
    jmp .L14
.L19:
    movl    -36(%rbp), %eax
    movl    -40(%rbp), %ecx
    movl    %eax, %edx
    sarl    $31, %edx
    idivl   %ecx
    movl    %edx, %ebx
    movl    -40(%rbp), %r12d
    movl    -40(%rbp), %eax
    cvtsi2sd    %eax, %xmm0
    movsd   .LC3(%rip), %xmm1
    divsd   %xmm1, %xmm0
    unpcklpd    %xmm0, %xmm0
    cvtpd2ps    %xmm0, %xmm0
    call    roundf
    movss   %xmm0, -52(%rbp)
    movl    -40(%rbp), %eax
    cvtsi2sd    %eax, %xmm0
    movsd   .LC3(%rip), %xmm1
    divsd   %xmm1, %xmm0
    unpcklpd    %xmm0, %xmm0
    cvtpd2ps    %xmm0, %xmm0
    call    roundf
    movss   .LC4(%rip), %xmm1
    addss   %xmm1, %xmm0
    cvttss2si   %xmm0, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $31, %edx
    addl    %edx, %eax
    andl    $1, %eax
    subl    %edx, %eax
    cvtsi2ss    %eax, %xmm0
    addss   -52(%rbp), %xmm0
    cvttss2si   %xmm0, %eax
    movl    %r12d, %edx
    subl    %eax, %edx
    movl    %edx, %eax
    movl    %eax, %edx
    shrl    $31, %edx
    addl    %edx, %eax
    sarl    %eax
    cmpl    %eax, %ebx
    jl  .L15
    movl    -36(%rbp), %eax
    movl    -40(%rbp), %ecx
    movl    %eax, %edx
    sarl    $31, %edx
    idivl   %ecx
    movl    %edx, %ebx
    movl    -40(%rbp), %r12d
    movl    -40(%rbp), %r13d
    movl    -40(%rbp), %eax
    cvtsi2sd    %eax, %xmm0
    movsd   .LC3(%rip), %xmm1
    divsd   %xmm1, %xmm0
    unpcklpd    %xmm0, %xmm0
    cvtpd2ps    %xmm0, %xmm0
    call    roundf
    movss   %xmm0, -56(%rbp)
    movl    -40(%rbp), %eax
    cvtsi2sd    %eax, %xmm0
    movsd   .LC3(%rip), %xmm1
    divsd   %xmm1, %xmm0
    unpcklpd    %xmm0, %xmm0
    cvtpd2ps    %xmm0, %xmm0
    call    roundf
    movss   .LC4(%rip), %xmm1
    addss   %xmm1, %xmm0
    cvttss2si   %xmm0, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $31, %edx
    addl    %edx, %eax
    andl    $1, %eax
    subl    %edx, %eax
    cvtsi2ss    %eax, %xmm0
    addss   -56(%rbp), %xmm0
    cvttss2si   %xmm0, %eax
    movl    %r13d, %ecx
    subl    %eax, %ecx
    movl    %ecx, %eax
    movl    %eax, %edx
    shrl    $31, %edx
    addl    %edx, %eax
    sarl    %eax
    movl    %r12d, %edx
    subl    %eax, %edx
    movl    %edx, %eax
    cmpl    %eax, %ebx
    jl  .L16
.L15:
    movl    $32, %edi
    call    putchar
    jmp .L17
.L16:
    movl    $124, %edi
    call    putchar
.L17:
    movl    -36(%rbp), %eax
    movl    -40(%rbp), %ecx
    movl    %eax, %edx
    sarl    $31, %edx
    idivl   %ecx
    movl    %edx, %eax
    movl    -40(%rbp), %edx
    subl    $1, %edx
    cmpl    %edx, %eax
    jne .L18
    movl    $10, %edi
    call    putchar
.L18:
    movl    -36(%rbp), %eax
    addl    $1, %eax
    movl    %eax, -36(%rbp)
.L14:
    movl    -40(%rbp), %eax
    cvtsi2sd    %eax, %xmm0
    movsd   .LC5(%rip), %xmm1
    divsd   %xmm1, %xmm0
    call    ceil
    cvttsd2si   %xmm0, %edx
    movl    -40(%rbp), %eax
    imull   %eax, %edx
    movl    -36(%rbp), %eax
    cmpl    %eax, %edx
    jg  .L19
    movl    $-1, -36(%rbp)
    jmp .L2
.L4:
    movl    -36(%rbp), %eax
    cmpl    $2, %eax
    jne .L20
    movl    $.LC6, %edi
    call    puts
    leaq    -36(%rbp), %rax
    movq    %rax, %rsi
    movl    $.LC1, %edi
    movl    $0, %eax
    call    __isoc99_scanf
    movl    -36(%rbp), %eax
    testl   %eax, %eax
    je  .L21
    movl    -36(%rbp), %eax
    cmpl    $1, %eax
    jne .L22
.L21:
    movl    -36(%rbp), %eax
    addl    $3, %eax
    movl    %eax, -36(%rbp)
    jmp .L2
.L22:
    movl    $-1, -36(%rbp)
    jmp .L2
.L20:
    movl    -36(%rbp), %eax
    cmpl    $3, %eax
    jne .L24
    movl    $5, -36(%rbp)
    jmp .L2
.L24:
    movl    -36(%rbp), %eax
    cmpl    $4, %eax
    jne .L25
    movl    $21, -36(%rbp)
    jmp .L2
.L25:
    movl    -36(%rbp), %eax
    subl    $528416, %eax
    cmpl    $31, %eax
    jbe .L26
    movl    -36(%rbp), %eax
    subl    $556064, %eax
    cmpl    $31, %eax
    jbe .L26
    movl    -36(%rbp), %eax
    subl    $596000, %eax
    cmpl    $31, %eax
    jbe .L26
    movl    -36(%rbp), %eax
    subl    $395296, %eax
    cmpl    $31, %eax
    jbe .L26
    movl    -36(%rbp), %eax
    subl    $386080, %eax
    cmpl    $31, %eax
    jbe .L26
    movl    -36(%rbp), %eax
    subl    $346144, %eax
    cmpl    $31, %eax
    jbe .L26
    movl    -36(%rbp), %eax
    subl    $528608, %eax
    cmpl    $31, %eax
    jbe .L26
    movl    -36(%rbp), %eax
    subl    $549152, %eax
    cmpl    $31, %eax
    jbe .L26
    movl    -36(%rbp), %eax
    subl    $416032, %eax
    cmpl    $31, %eax
    jbe .L26
    movl    -36(%rbp), %eax
    subl    $348640, %eax
    cmpl    $31, %eax
    jbe .L26
    movl    -36(%rbp), %eax
    subl    $348704, %eax
    cmpl    $31, %eax
    jbe .L26
    movl    -36(%rbp), %eax
    subl    $388640, %eax
    cmpl    $31, %eax
    jbe .L26
    movl    -36(%rbp), %eax
    subl    $387808, %eax
    cmpl    $31, %eax
    jbe .L26
    movl    -36(%rbp), %eax
    subl    $526112, %eax
    cmpl    $31, %eax
    jbe .L26
    movl    -36(%rbp), %eax
    subl    $392992, %eax
    cmpl    $31, %eax
    jbe .L26
    movl    -36(%rbp), %eax
    subl    $550880, %eax
    cmpl    $31, %eax
    ja  .L27
.L26:
    movl    $.LC7, %edi
    call    puts
    movl    $-1, -36(%rbp)
    jmp .L2
.L27:
    movl    -36(%rbp), %eax
    subl    $98368, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $294976, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $295104, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $393408, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $393568, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $229760, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $360832, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $393632, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $229856, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $164384, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $393824, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $361088, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $164768, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $459680, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $230336, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $361408, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $492640, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $230528, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $197856, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $361792, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $460160, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $66944, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $198016, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $198080, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $361920, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $558560, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $525856, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $198208, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $493152, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $394880, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $198336, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $526048, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $362240, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $263936, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $100160, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $198464, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $198528, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $362368, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $362496, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $362624, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $460928, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $592064, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $329920, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $329984, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $395552, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $166240, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $166368, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $494080, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $264736, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $592448, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $264864, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $363168, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $494304, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $363328, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $461664, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $461824, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $461888, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $68672, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $494656, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $35968, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $560288, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $134336, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $494912, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $200000, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $331136, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $167296, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $527840, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $265792, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $364096, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $167552, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $462464, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $134880, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $331520, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $462592, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $298816, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $331584, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $298880, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $462720, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $167904, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $593920, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $135232, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $168064, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $594048, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $266400, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $168128, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $135488, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $266624, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $364928, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $364992, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $463424, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $594496, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $135808, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $463488, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $594624, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $299968, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $300032, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $594976, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $37952, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $595008, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $431200, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $136320, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $595168, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $431328, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $267520, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $595232, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $300416, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $398720, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $169376, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $529856, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $136640, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $300480, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $267776, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $464384, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $497216, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $431680, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $431712, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $595584, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $136896, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $431872, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $595744, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $431936, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $268096, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $595808, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $399200, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $170048, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $464960, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $268480, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $465152, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $399680, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $268608, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $399872, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $137792, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $268928, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $170624, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $203456, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $400256, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $269184, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $269312, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $367616, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $39968, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $597056, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $531520, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $334912, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $7328, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $400640, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $531712, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $564608, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $531840, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $40352, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $368096, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $269856, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $73312, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $401024, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $270016, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $597728, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $270080, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $401216, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $368576, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $466976, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $368768, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $598304, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $532768, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $205184, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $303520, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $270784, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $369152, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $238144, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $270912, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $172736, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $533184, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $336576, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $74464, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $402176, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $303904, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $238400, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $435008, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $41824, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $369536, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $533376, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $304032, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $41952, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $533536, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $566336, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $533600, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $599168, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $74976, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $369920, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $271616, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $500992, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $271680, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $370112, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $501376, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $435872, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $599744, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $599936, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $42880, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $305056, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $501760, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $305184, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $43136, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $174208, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $501888, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $534848, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $371072, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $502144, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $305536, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $305568, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $43488, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $240128, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $305728, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $305792, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $43648, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $43712, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $174784, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $535328, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $142112, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $502656, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $175168, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $404640, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $175296, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $11488, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $404800, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $404864, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $339488, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $601664, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $11872, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $601728, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $175744, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $12000, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $175872, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $274304, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $44960, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $110528, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $339904, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $405568, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $340032, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $602240, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $405696, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $471296, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $274784, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $45440, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $602496, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $569792, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $602656, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $45632, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $602720, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $307840, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $275264, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $406400, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $406464, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $340960, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $275456, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $308224, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $308352, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $308512, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $603488, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $275840, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $112000, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $308640, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $177728, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $112192, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $341568, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $407168, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $243328, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $571104, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $276224, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $407296, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $308992, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $341792, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $309024, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $440192, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $571264, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $407424, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $571328, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $473024, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $309184, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $309248, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $407552, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $538688, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $571456, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $374912, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $276608, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $145568, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $571584, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $571712, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $276800, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $407872, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $309568, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $571776, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $408000, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $539232, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $113344, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $309952, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $408352, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $310080, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $408384, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $113536, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $310176, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $539584, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $408544, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $113664, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $408608, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $605216, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $310336, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $310400, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $408704, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $539840, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $113856, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $277760, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $310528, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $310656, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $408960, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $310784, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $540160, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $179744, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $441920, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $310848, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $376384, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $409184, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $48800, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $507584, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $409376, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $376640, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $573248, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $180224, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $540672, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $180416, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $508128, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $409856, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $540992, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $409920, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $213344, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $115136, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $508480, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $541248, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $180992, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $115520, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $344896, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $344960, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $82816, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $377792, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $246784, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $377920, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $410688, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $509056, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $378048, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $410848, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $345344, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $17696, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $378176, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $476480, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $345408, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $542144, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $214496, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $181728, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $181888, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $181952, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $313024, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $214880, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $444320, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $509888, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $411680, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $313408, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $510144, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $313536, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $346336, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $182528, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $346400, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $444704, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $346496, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $182656, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $346560, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $248320, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $182784, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $477792, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $182912, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $248448, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $477952, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $478016, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $346976, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $412544, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $478144, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $379904, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $347168, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $52256, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $511040, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $478272, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $478400, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $183488, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $576704, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $478464, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $183552, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $446176, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $151264, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $446304, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $151392, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $184448, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $151744, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $151776, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $151936, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $152000, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $119392, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $250496, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $381568, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $21152, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $185024, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $479936, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $447232, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $185216, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $578432, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $447488, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $316480, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $119904, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $414848, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $218272, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $415040, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $447840, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $316864, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $448000, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $448064, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $316992, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $415616, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $120832, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $251968, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $383104, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $88288, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $121056, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $547072, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $383232, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $252224, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $284992, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $416096, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $285056, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $416288, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $318016, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $187040, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $219808, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $318144, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $88800, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $547584, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $449312, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $219936, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $514880, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $121664, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $547840, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $318496, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $318528, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $416864, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $547968, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $318688, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $449792, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $318752, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $318880, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $253376, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $449984, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $155072, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $548320, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $548352, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $319008, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $253504, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $89728, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $548512, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $253632, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $548576, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $253760, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $89952, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $548736, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $319360, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $319392, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $450560, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $483392, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $319552, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $319616, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $90304, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $516352, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $155936, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $24992, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $90560, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $516544, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $319936, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $352736, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $549344, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $57952, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $58080, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $418592, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $320320, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $353120, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $385888, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $320448, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $320544, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $123968, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $58432, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $386144, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $58464, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $255104, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $320704, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $320768, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $58624, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $58688, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $222592, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $320896, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $255488, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $386560, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $321024, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $517696, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $222848, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $321152, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $321216, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $485120, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $517888, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $26464, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $354176, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $518016, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $354272, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $223264, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $452672, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $518208, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $321664, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $223392, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $584096, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $354752, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $322048, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $354944, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $322176, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $551648, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $584576, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $191360, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $584768, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $224320, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $388224, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $289984, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $388384, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $519488, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $28000, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $28128, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $454144, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $552512, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $585344, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $323200, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $224928, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $519872, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $323328, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $225088, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $225152, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $454720, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $323680, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $323712, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $422048, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $323872, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $61760, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $323936, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $586080, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $324000, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $455104, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $160256, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $586240, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $586304, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $193088, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $324160, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $455232, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $324224, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $389888, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $127744, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $324352, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $357248, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $324480, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $29600, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $324608, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $455680, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $324672, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $586880, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $390272, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $455808, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $128128, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $62624, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $587008, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $29984, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $324928, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $259424, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $587136, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $325056, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $587264, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $128512, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $128640, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $358048, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $259808, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $325408, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $358176, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $554816, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $325440, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $325600, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $325664, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $587840, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $555072, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $587904, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $161984, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $129408, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $391616, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $457280, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $391744, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $293440, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $555648, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $359104, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $391872, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $260864, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $392000, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $260960, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $457664, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $228320, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $556000, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $588800, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $359712, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $261440, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $228704, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $359872, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $359936, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $261632, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $425504, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $589376, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $392800, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $589568, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $556832, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $393056, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $98176, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $196544, %eax
    cmpl    $31, %eax
    jbe .L28
    movl    -36(%rbp), %eax
    subl    $393152, %eax
    cmpl    $31, %eax
    ja  .L29
.L28:
    movl    $1, %esi
    movl    $.LC8, %edi
    movl    $0, %eax
    call    printf
    movl    $-1, -36(%rbp)
    jmp .L2
.L29:
    movl    -36(%rbp), %eax
    subl    $32800, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $131200, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $524416, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $131264, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $344320, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $262496, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $278912, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $426400, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $246208, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $410240, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $131776, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $574144, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $377536, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $459488, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $508640, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $574208, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $328480, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $132032, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $328672, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $410624, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $263264, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $115808, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $263328, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $115872, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $214240, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $394496, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $607520, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $116064, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $411008, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $411072, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $607712, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $116224, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $460320, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $607776, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $509472, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $116288, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $34528, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $509696, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $116480, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $378656, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $526240, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $378912, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $395328, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $247936, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $51424, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $543040, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $526720, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $199168, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $543296, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $395840, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $526912, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $363104, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $379488, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $346816, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $396032, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $396096, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $379840, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $527296, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $609248, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $625664, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $281632, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $232544, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $330880, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $461984, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $609440, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $625856, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $462048, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $609504, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $330976, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $625920, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $232736, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $527680, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $232800, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $363936, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $101920, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $528064, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $331456, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $610016, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $380672, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $610080, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $348032, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $479104, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $528256, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $495520, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $511936, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $610272, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $462816, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $364544, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $118816, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $266272, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $610432, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $462976, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $53408, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $610496, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $512192, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $200960, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $610688, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $201152, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $496096, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $332384, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $348800, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $332448, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $496288, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $348864, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $283360, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $299776, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $463808, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $529376, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $349184, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $168992, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $529440, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $349376, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $349440, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $333216, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $234976, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $480832, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $333376, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $333440, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $546496, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $382720, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $530208, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $481088, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $153440, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $169824, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $530368, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $579584, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $333952, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $219424, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $448864, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $334208, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $465280, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $154016, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $121312, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $268768, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $596608, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $154272, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $596672, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $531200, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $449440, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $449632, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $269440, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $433312, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $236704, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $597184, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $253120, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $56608, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $302432, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $597376, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $302496, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $384448, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $531936, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $597504, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $302688, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $122528, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $532160, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $138944, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $433888, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $302848, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $106240, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $302912, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $270176, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $270240, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $434080, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $401344, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $221152, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $303104, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $614432, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $548992, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $336064, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $614624, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $614688, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $336160, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $532864, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $123296, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $123360, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $532992, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $74272, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $271008, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $615200, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $271168, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $615264, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $271232, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $336832, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $615456, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $549952, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $533696, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $615616, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $615680, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $550208, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $386400, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $517504, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $615872, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $107968, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $58912, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $272000, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $550528, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $403136, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $59104, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $255776, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $288544, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $550720, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $255840, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $403328, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $534400, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $337792, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $387008, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $256032, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $550976, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $534656, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $551040, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $256192, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $256256, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $387328, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $92576, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $518560, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $256448, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $534976, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $616928, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $616992, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $92768, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $518752, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $535168, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $92832, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $617184, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $387840, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $437024, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $486272, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $617344, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $60320, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $617408, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $535488, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $27616, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $338944, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $388160, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $617600, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $519328, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $503008, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $535808, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $355616, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $372032, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $126304, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $339328, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $503200, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $536000, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $536064, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $126496, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $519808, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $61088, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $61152, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $520000, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $356192, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $602048, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $503776, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $356448, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $340128, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $241888, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $618752, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $340288, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $176480, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $340352, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $520576, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $618944, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $504256, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $438752, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $619008, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $176736, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $504448, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $553664, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $258784, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $602880, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $95008, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $45920, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $46112, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $341056, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $46176, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $177312, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $505024, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $341184, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $439520, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $439584, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $341440, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $177664, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $79456, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $456352, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $128800, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $456544, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $341888, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $620480, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $341952, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $292864, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $620672, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $620736, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $129280, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $506144, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $178496, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $457120, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $276928, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $522688, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $96736, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $113152, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $457600, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $261088, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $506912, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $457792, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $146528, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $506976, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $556160, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $130208, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $261280, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $130272, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $408832, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $81184, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $458368, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $294592, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $589696, %eax
    cmpl    $31, %eax
    jbe .L30
    movl    -36(%rbp), %eax
    subl    $131040, %eax
    cmpl    $31, %eax
    ja  .L31
.L30:
    movl    $2, %esi
    movl    $.LC8, %edi
    movl    $0, %eax
    call    printf
    movl    $-1, -36(%rbp)
    jmp .L2
.L31:
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $29, %edx
    addl    %edx, %eax
    andl    $7, %eax
    subl    %edx, %eax
    cmpl    $5, %eax
    jne .L2
    movl    -36(%rbp), %eax
    leal    7(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $3, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $31, %edx
    addl    %edx, %eax
    andl    $1, %eax
    subl    %edx, %eax
    addl    $1, %eax
    movl    %eax, %esi
    movl    $.LC9, %edi
    movl    $0, %eax
    call    printf
    movl    -36(%rbp), %eax
    leal    7(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $3, %eax
    andl    $1, %eax
    testl   %eax, %eax
    je  .L32
    movl    -36(%rbp), %eax
    leal    15(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $4, %eax
    andl    $1, %eax
    testl   %eax, %eax
    jne .L33
.L32:
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, -36(%rbp)
    movl    $.LC10, %edi
    call    puts
    leaq    -40(%rbp), %rax
    movq    %rax, %rsi
    movl    $.LC1, %edi
    movl    $0, %eax
    call    __isoc99_scanf
    movl    -40(%rbp), %eax
    testl   %eax, %eax
    js  .L34
    movl    -40(%rbp), %eax
    cmpl    $3, %eax
    jle .L35
.L34:
    movl    $3, -40(%rbp)
.L35:
    movl    -40(%rbp), %eax
    movl    %eax, %edx
    sall    $20, %edx
    movl    -36(%rbp), %eax
    addl    %edx, %eax
    movl    %eax, -36(%rbp)
    leaq    -40(%rbp), %rax
    movq    %rax, %rsi
    movl    $.LC1, %edi
    movl    $0, %eax
    call    __isoc99_scanf
    movl    -40(%rbp), %eax
    testl   %eax, %eax
    js  .L36
    movl    -40(%rbp), %eax
    cmpl    $3, %eax
    jle .L37
.L36:
    movl    $3, -40(%rbp)
.L37:
    movl    -40(%rbp), %eax
    movl    %eax, %edx
    sall    $22, %edx
    movl    -36(%rbp), %eax
    addl    %edx, %eax
    movl    %eax, -36(%rbp)
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $3, %eax
    je  .L38
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $3, %eax
    je  .L38
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L39
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L39
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    leal    31(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $5, %eax
    movl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L38
.L39:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L40
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L40
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $715827883, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $4, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L38
.L40:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L41
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L41
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $954437177, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $6, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L38
.L41:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L42
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L42
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $1272582903, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $8, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L38
.L42:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L43
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L43
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $424194301, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $8, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L38
.L43:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L44
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L44
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $-2032597691, %edx
    movl    %ecx, %eax
    imull   %edx
    leal    (%rdx,%rcx), %eax
    movl    %eax, %edx
    sarl    $12, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L38
.L44:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L45
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L45
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $1508246403, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $13, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L38
.L45:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L46
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L46
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $502748801, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $13, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L38
.L46:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L47
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L47
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $-1613640357, %edx
    movl    %ecx, %eax
    imull   %edx
    leal    (%rdx,%rcx), %eax
    movl    %eax, %edx
    sarl    $17, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    je  .L47
.L38:
    movl    $.LC11, %edi
    call    puts
.L47:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $3, %eax
    je  .L32
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $3, %eax
    je  .L32
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L48
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L48
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    leal    31(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $5, %eax
    movl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L32
.L48:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L49
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L49
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $715827883, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $4, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L32
.L49:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L50
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L50
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $954437177, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $6, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L32
.L50:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L51
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L51
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $1272582903, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $8, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L32
.L51:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L52
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L52
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $424194301, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $8, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L32
.L52:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L53
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L53
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $-2032597691, %edx
    movl    %ecx, %eax
    imull   %edx
    leal    (%rdx,%rcx), %eax
    movl    %eax, %edx
    sarl    $12, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L32
.L53:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L54
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L54
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $1508246403, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $13, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L32
.L54:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L55
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L55
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $502748801, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $13, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L32
.L55:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L106
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L106
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $-1613640357, %edx
    movl    %ecx, %eax
    imull   %edx
    leal    (%rdx,%rcx), %eax
    movl    %eax, %edx
    sarl    $17, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L32
    jmp .L106
.L33:
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, -36(%rbp)
    call    rand
    cvtsi2sd    %eax, %xmm0
    cvttsd2si   %xmm0, %eax
    cvtsi2sd    %eax, %xmm0
    movsd   .LC12(%rip), %xmm1
    divsd   %xmm1, %xmm0
    movsd   .LC13(%rip), %xmm1
    mulsd   %xmm1, %xmm0
    cvttsd2si   %xmm0, %eax
    movl    %eax, -40(%rbp)
    movl    -40(%rbp), %eax
    movl    %eax, %edx
    sall    $20, %edx
    movl    -36(%rbp), %eax
    addl    %edx, %eax
    movl    %eax, -36(%rbp)
    call    rand
    cvtsi2sd    %eax, %xmm0
    cvttsd2si   %xmm0, %eax
    cvtsi2sd    %eax, %xmm0
    movsd   .LC12(%rip), %xmm1
    divsd   %xmm1, %xmm0
    movsd   .LC13(%rip), %xmm1
    mulsd   %xmm1, %xmm0
    cvttsd2si   %xmm0, %eax
    movl    %eax, -40(%rbp)
    movl    -40(%rbp), %eax
    movl    %eax, %edx
    sall    $22, %edx
    movl    -36(%rbp), %eax
    addl    %edx, %eax
    movl    %eax, -36(%rbp)
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $3, %eax
    je  .L33
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $3, %eax
    je  .L33
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L58
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L58
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    leal    31(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $5, %eax
    movl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L33
.L58:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L59
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L59
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $715827883, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $4, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L33
.L59:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L60
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L60
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $954437177, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $6, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L33
.L60:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L61
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L61
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $1272582903, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $8, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L33
.L61:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L62
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L62
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $424194301, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $8, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L33
.L62:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L63
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L63
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $-2032597691, %edx
    movl    %ecx, %eax
    imull   %edx
    leal    (%rdx,%rcx), %eax
    movl    %eax, %edx
    sarl    $12, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L33
.L63:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L64
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L64
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $1508246403, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $13, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L33
.L64:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L65
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L65
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $502748801, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $13, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L33
.L65:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L57
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L57
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $-1613640357, %edx
    movl    %ecx, %eax
    imull   %edx
    leal    (%rdx,%rcx), %eax
    movl    %eax, %edx
    sarl    $17, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L33
    jmp .L57
.L106:
    nop
.L57:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L66
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L66
    movl    -36(%rbp), %eax
    leal    7(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $3, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $31, %edx
    addl    %edx, %eax
    andl    $1, %eax
    subl    %edx, %eax
    addl    $1, %eax
    movl    %eax, %edx
    sall    $5, %edx
    movl    -36(%rbp), %eax
    addl    %edx, %eax
    movl    %eax, -36(%rbp)
    jmp .L67
.L66:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L68
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L68
    movl    -36(%rbp), %eax
    leal    7(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $3, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $31, %edx
    addl    %edx, %eax
    andl    $1, %eax
    subl    %edx, %eax
    leal    1(%rax), %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    sall    $5, %eax
    movl    %eax, %edx
    movl    -36(%rbp), %eax
    addl    %edx, %eax
    movl    %eax, -36(%rbp)
    jmp .L67
.L68:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L69
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L69
    movl    -36(%rbp), %eax
    leal    7(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $3, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $31, %edx
    addl    %edx, %eax
    andl    $1, %eax
    subl    %edx, %eax
    leal    1(%rax), %edx
    movl    %edx, %eax
    sall    $3, %eax
    addl    %edx, %eax
    sall    $5, %eax
    movl    %eax, %edx
    movl    -36(%rbp), %eax
    addl    %edx, %eax
    movl    %eax, -36(%rbp)
    jmp .L67
.L69:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L70
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L70
    movl    -36(%rbp), %eax
    leal    7(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $3, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $31, %edx
    addl    %edx, %eax
    andl    $1, %eax
    subl    %edx, %eax
    addl    $1, %eax
    imull   $864, %eax, %edx
    movl    -36(%rbp), %eax
    addl    %edx, %eax
    movl    %eax, -36(%rbp)
    jmp .L67
.L70:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L71
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L71
    movl    -36(%rbp), %eax
    leal    7(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $3, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $31, %edx
    addl    %edx, %eax
    andl    $1, %eax
    subl    %edx, %eax
    addl    $1, %eax
    imull   $2592, %eax, %edx
    movl    -36(%rbp), %eax
    addl    %edx, %eax
    movl    %eax, -36(%rbp)
    jmp .L67
.L71:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L72
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L72
    movl    -36(%rbp), %eax
    leal    7(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $3, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $31, %edx
    addl    %edx, %eax
    andl    $1, %eax
    subl    %edx, %eax
    addl    $1, %eax
    imull   $7776, %eax, %edx
    movl    -36(%rbp), %eax
    addl    %edx, %eax
    movl    %eax, -36(%rbp)
    jmp .L67
.L72:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L73
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    andl    $3, %eax
    testl   %eax, %eax
    jne .L73
    movl    -36(%rbp), %eax
    leal    7(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $3, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $31, %edx
    addl    %edx, %eax
    andl    $1, %eax
    subl    %edx, %eax
    addl    $1, %eax
    imull   $23328, %eax, %edx
    movl    -36(%rbp), %eax
    addl    %edx, %eax
    movl    %eax, -36(%rbp)
    jmp .L67
.L73:
    movl    -36(%rbp), %eax
    leal    1048575(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $20, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $2, %eax
    jne .L74
    movl    -36(%rbp), %eax
    leal    4194303(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $22, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $30, %edx
    addl    %edx, %eax
    andl    $3, %eax
    subl    %edx, %eax
    cmpl    $1, %eax
    jne .L74
    movl    -36(%rbp), %eax
    leal    7(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $3, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $31, %edx
    addl    %edx, %eax
    andl    $1, %eax
    subl    %edx, %eax
    addl    $1, %eax
    imull   $69984, %eax, %edx
    movl    -36(%rbp), %eax
    addl    %edx, %eax
    movl    %eax, -36(%rbp)
    jmp .L67
.L74:
    movl    -36(%rbp), %eax
    leal    7(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $3, %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $31, %edx
    addl    %edx, %eax
    andl    $1, %eax
    subl    %edx, %eax
    addl    $1, %eax
    imull   $209952, %eax, %edx
    movl    -36(%rbp), %eax
    addl    %edx, %eax
    movl    %eax, -36(%rbp)
.L67:
    movl    -36(%rbp), %eax
    leal    7(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $3, %eax
    andl    $1, %eax
    testl   %eax, %eax
    jne .L75
    movl    -36(%rbp), %eax
    addl    $8, %eax
    movl    %eax, -36(%rbp)
    jmp .L76
.L75:
    movl    -36(%rbp), %eax
    subl    $8, %eax
    movl    %eax, -36(%rbp)
.L76:
    movl    $10, %edi
    call    putchar
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    leal    31(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $5, %eax
    movl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L77
    movl    $32, %edi
    call    putchar
    jmp .L78
.L77:
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    leal    31(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $5, %eax
    movl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    cmpl    $1, %edx
    jne .L79
    movl    $120, %edi
    call    putchar
    jmp .L78
.L79:
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    leal    31(%rax), %edx
    testl   %eax, %eax
    cmovs   %edx, %eax
    sarl    $5, %eax
    movl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    cmpl    $2, %edx
    jne .L78
    movl    $111, %edi
    call    putchar
.L78:
    movl    $124, %edi
    call    putchar
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $715827883, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $4, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L80
    movl    $32, %edi
    call    putchar
    jmp .L81
.L80:
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $715827883, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $4, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    cmpl    $1, %edx
    jne .L82
    movl    $120, %edi
    call    putchar
    jmp .L81
.L82:
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $715827883, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $4, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    cmpl    $2, %edx
    jne .L81
    movl    $111, %edi
    call    putchar
.L81:
    movl    $124, %edi
    call    putchar
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $954437177, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $6, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L83
    movl    $32, %edi
    call    putchar
    jmp .L84
.L83:
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $954437177, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $6, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    cmpl    $1, %edx
    jne .L85
    movl    $120, %edi
    call    putchar
    jmp .L84
.L85:
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $954437177, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $6, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    cmpl    $2, %edx
    jne .L84
    movl    $111, %edi
    call    putchar
.L84:
    movl    $10, %edi
    call    putchar
    movl    $.LC14, %edi
    call    puts
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $1272582903, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $8, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L86
    movl    $32, %edi
    call    putchar
    jmp .L87
.L86:
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $1272582903, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $8, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    cmpl    $1, %edx
    jne .L88
    movl    $120, %edi
    call    putchar
    jmp .L87
.L88:
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $1272582903, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $8, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    cmpl    $2, %edx
    jne .L87
    movl    $111, %edi
    call    putchar
.L87:
    movl    $124, %edi
    call    putchar
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $424194301, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $8, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L89
    movl    $32, %edi
    call    putchar
    jmp .L90
.L89:
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $424194301, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $8, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    cmpl    $1, %edx
    jne .L91
    movl    $120, %edi
    call    putchar
    jmp .L90
.L91:
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $424194301, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $8, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    cmpl    $2, %edx
    jne .L90
    movl    $111, %edi
    call    putchar
.L90:
    movl    $124, %edi
    call    putchar
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $-2032597691, %edx
    movl    %ecx, %eax
    imull   %edx
    leal    (%rdx,%rcx), %eax
    movl    %eax, %edx
    sarl    $12, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L92
    movl    $32, %edi
    call    putchar
    jmp .L93
.L92:
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $-2032597691, %edx
    movl    %ecx, %eax
    imull   %edx
    leal    (%rdx,%rcx), %eax
    movl    %eax, %edx
    sarl    $12, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    cmpl    $1, %edx
    jne .L94
    movl    $120, %edi
    call    putchar
    jmp .L93
.L94:
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $-2032597691, %edx
    movl    %ecx, %eax
    imull   %edx
    leal    (%rdx,%rcx), %eax
    movl    %eax, %edx
    sarl    $12, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    cmpl    $2, %edx
    jne .L93
    movl    $111, %edi
    call    putchar
.L93:
    movl    $10, %edi
    call    putchar
    movl    $.LC14, %edi
    call    puts
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $1508246403, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $13, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L95
    movl    $32, %edi
    call    putchar
    jmp .L96
.L95:
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $1508246403, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $13, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    cmpl    $1, %edx
    jne .L97
    movl    $120, %edi
    call    putchar
    jmp .L96
.L97:
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $1508246403, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $13, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    cmpl    $2, %edx
    jne .L96
    movl    $111, %edi
    call    putchar
.L96:
    movl    $124, %edi
    call    putchar
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $502748801, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $13, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L98
    movl    $32, %edi
    call    putchar
    jmp .L99
.L98:
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $502748801, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $13, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    cmpl    $1, %edx
    jne .L100
    movl    $120, %edi
    call    putchar
    jmp .L99
.L100:
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $502748801, %edx
    movl    %ecx, %eax
    imull   %edx
    sarl    $13, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    cmpl    $2, %edx
    jne .L99
    movl    $111, %edi
    call    putchar
.L99:
    movl    $124, %edi
    call    putchar
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $-1613640357, %edx
    movl    %ecx, %eax
    imull   %edx
    leal    (%rdx,%rcx), %eax
    movl    %eax, %edx
    sarl    $17, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    testl   %edx, %edx
    jne .L101
    movl    $32, %edi
    call    putchar
    jmp .L102
.L101:
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $-1613640357, %edx
    movl    %ecx, %eax
    imull   %edx
    leal    (%rdx,%rcx), %eax
    movl    %eax, %edx
    sarl    $17, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    cmpl    $1, %edx
    jne .L103
    movl    $120, %edi
    call    putchar
    jmp .L102
.L103:
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, %ecx
    movl    $-1613640357, %edx
    movl    %ecx, %eax
    imull   %edx
    leal    (%rdx,%rcx), %eax
    movl    %eax, %edx
    sarl    $17, %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    movl    %edx, %ecx
    subl    %eax, %ecx
    movl    $1431655766, %edx
    movl    %ecx, %eax
    imull   %edx
    movl    %ecx, %eax
    sarl    $31, %eax
    subl    %eax, %edx
    movl    %edx, %eax
    addl    %eax, %eax
    addl    %edx, %eax
    movl    %ecx, %edx
    subl    %eax, %edx
    cmpl    $2, %edx
    jne .L102
    movl    $111, %edi
    call    putchar
.L102:
    movl    $10, %edi
    call    putchar
    movl    -36(%rbp), %eax
    movl    %eax, %edx
    sarl    $31, %edx
    shrl    $12, %edx
    addl    %edx, %eax
    andl    $1048575, %eax
    subl    %edx, %eax
    movl    %eax, -36(%rbp)
.L2:
    movl    -36(%rbp), %eax
    testl   %eax, %eax
    jns .L104
    movl    $0, %eax
    addq    $40, %rsp
    popq    %rbx
    popq    %r12
    popq    %r13
    popq    %rbp
    .cfi_def_cfa 7, 8
    ret
    .cfi_endproc
.LFE0:
    .size   main, .-main
    .section    .rodata
    .align 8
.LC3:
    .long   0
    .long   1074790400
    .align 4
.LC4:
    .long   1065353216
    .align 8
.LC5:
    .long   0
    .long   1076101120
    .align 8
.LC12:
    .long   4290772992
    .long   1105199103
    .align 8
.LC13:
    .long   0
    .long   1074266112
    .ident  "GCC: (Debian 4.7.2-5) 4.7.2"
    .section    .note.GNU-stack,"",@progbits