API tools faq
paste
Advertisement
Guest User

Tris optimized -O3

a guest
Dec 18th, 2015
755
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
ASM (NASM) 74.44 KB | None | 0 0
raw download clone embed print report
  1.     .file   "es8.c"
  2.     .section    .rodata.str1.8,"aMS",@progbits,1
  3.     .align 8
  4. .LC0:
  5.     .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"
  6.     .section    .rodata.str1.1,"aMS",@progbits,1
  7. .LC1:
  8.     .string "%i"
  9.     .section    .rodata.str1.8
  10.     .align 8
  11. .LC2:
  12.     .string "Insert the width of your tree (must be a odd number)"
  13.     .align 8
  14. .LC6:
  15.     .string "Do you want to challenge the AI? (0=No, 1=Yes)"
  16.     .section    .rodata.str1.1
  17. .LC7:
  18.     .string "Draw!"
  19. .LC8:
  20.     .string "Player %d win!\n\n"
  21. .LC9:
  22.     .string "Player %d's turn...\n"
  23.     .section    .rodata.str1.8
  24.     .align 8
  25. .LC10:
  26.     .string "Insert the x and y coordinates:"
  27.     .align 8
  28. .LC11:
  29.     .string "Bad coordinates, or location already filled"
  30.     .section    .rodata.str1.1
  31. .LC14:
  32.     .string "-+-+-"
  33.     .section    .text.startup,"ax",@progbits
  34.     .p2align 4,,15
  35.     .globl  main
  36.     .type   main, @function
  37. main:
  38. .LFB21:
  39.     .cfi_startproc
  40.     pushq   %r13
  41.     .cfi_def_cfa_offset 16
  42.     .cfi_offset 13, -16
  43.     xorl    %edi, %edi
  44.     pushq   %r12
  45.     .cfi_def_cfa_offset 24
  46.     .cfi_offset 12, -24
  47.     pushq   %rbp
  48.     .cfi_def_cfa_offset 32
  49.     .cfi_offset 6, -32
  50.     pushq   %rbx
  51.     .cfi_def_cfa_offset 40
  52.     .cfi_offset 3, -40
  53.     movl    $8, %ebx
  54.     subq    $56, %rsp
  55.     .cfi_def_cfa_offset 96
  56.     movl    $0, 16(%rsp)
  57.     call    time
  58.     movl    %eax, %edi
  59.     call    srand
  60.     movl    16(%rsp), %edx
  61. .L166:
  62.     cmpl    $0, %edx
  63.     jl  .L168
  64.     je  .L199
  65.     cmpl    $1, %edx
  66.     je  .L200
  67.     cmpl    $2, %edx
  68.     .p2align 4,,5
  69.     je  .L201
  70.     cmpl    $3, %edx
  71.     .p2align 4,,2
  72.     je  .L202
  73.     cmpl    $4, %edx
  74.     .p2align 4,,2
  75.     je  .L203
  76. .L22:
  77.     leal    -556064(%rdx), %eax
  78.     cmpl    $31, %eax
  79.     jbe .L23
  80.     leal    -528416(%rdx), %eax
  81.     cmpl    $31, %eax
  82.     jbe .L23
  83.     leal    -596000(%rdx), %eax
  84.     cmpl    $31, %eax
  85.     jbe .L23
  86.     leal    -395296(%rdx), %eax
  87.     cmpl    $31, %eax
  88.     ja  .L204
  89.     .p2align 4,,10
  90.     .p2align 3
  91. .L23:
  92.     movl    $.LC7, %edi
  93.     call    puts
  94. .L168:
  95.     addq    $56, %rsp
  96.     .cfi_remember_state
  97.     .cfi_def_cfa_offset 40
  98.     xorl    %eax, %eax
  99.     popq    %rbx
  100.     .cfi_def_cfa_offset 32
  101.     popq    %rbp
  102.     .cfi_def_cfa_offset 24
  103.     popq    %r12
  104.     .cfi_def_cfa_offset 16
  105.     popq    %r13
  106.     .cfi_def_cfa_offset 8
  107.     ret
  108.     .p2align 4,,10
  109.     .p2align 3
  110. .L199:
  111.     .cfi_restore_state
  112.     movl    $.LC0, %edi
  113.     call    puts
  114.     leaq    16(%rsp), %rsi
  115.     xorl    %eax, %eax
  116.     movl    $.LC1, %edi
  117.     call    __isoc99_scanf
  118.     movl    16(%rsp), %edx
  119.     leal    -1(%rdx), %eax
  120.     cmpl    $1, %eax
  121.     jbe .L166
  122.     addq    $56, %rsp
  123.     .cfi_remember_state
  124.     .cfi_def_cfa_offset 40
  125.     xorl    %eax, %eax
  126.     popq    %rbx
  127.     .cfi_def_cfa_offset 32
  128.     popq    %rbp
  129.     .cfi_def_cfa_offset 24
  130.     popq    %r12
  131.     .cfi_def_cfa_offset 16
  132.     popq    %r13
  133.     .cfi_def_cfa_offset 8
  134.     ret
  135.     .p2align 4,,10
  136.     .p2align 3
  137. .L200:
  138.     .cfi_restore_state
  139.     leaq    32(%rsp), %rbp
  140.     movl    $-1, 32(%rsp)
  141.     .p2align 4,,10
  142.     .p2align 3
  143. .L167:
  144.     movl    $.LC2, %edi
  145.     call    puts
  146.     xorl    %eax, %eax
  147.     movq    %rbp, %rsi
  148.     movl    $.LC1, %edi
  149.     call    __isoc99_scanf
  150.     movl    32(%rsp), %ebx
  151.     testl   %ebx, %ebx
  152.     jle .L167
  153.     testb   $1, %bl
  154.     je  .L167
  155.     movl    %ebx, %ecx
  156.     movl    $0, 16(%rsp)
  157.     xorl    %eax, %eax
  158.     sarl    %ecx
  159.     jmp .L12
  160.     .p2align 4,,10
  161.     .p2align 3
  162. .L8:
  163.     addl    %edx, %eax
  164.     addl    %eax, %ecx
  165.     movl    %ecx, %esi
  166.     shrl    $31, %esi
  167.     addl    %esi, %ecx
  168.     andl    $1, %ecx
  169.     subl    %esi, %ecx
  170.     cmpl    $1, %ecx
  171.     je  .L205
  172.     movl    $42, %edi
  173.     call    putchar
  174. .L9:
  175.     movl    16(%rsp), %ecx
  176.     movl    32(%rsp), %ebx
  177.     movl    %ecx, %edx
  178.     movl    %ecx, %eax
  179.     sarl    $31, %edx
  180.     idivl   %ebx
  181.     leal    -1(%rbx), %eax
  182.     cmpl    %eax, %edx
  183.     je  .L206
  184. .L11:
  185.     leal    1(%rcx), %eax
  186.     movl    %ebx, %ecx
  187.     shrl    $31, %ecx
  188.     addl    %ebx, %ecx
  189.     movl    %eax, 16(%rsp)
  190.     sarl    %ecx
  191.     leal    1(%rcx), %edx
  192.     imull   %ebx, %edx
  193.     cmpl    %eax, %edx
  194.     jle .L207
  195. .L12:
  196.     movl    %eax, %edx
  197.     movl    %ecx, %esi
  198.     sarl    $31, %edx
  199.     idivl   %ebx
  200.     subl    %eax, %esi
  201.     cmpl    %esi, %edx
  202.     jl  .L7
  203.     leal    (%rcx,%rax), %esi
  204.     cmpl    %esi, %edx
  205.     jle .L8
  206. .L7:
  207.     movl    $32, %edi
  208.     call    putchar
  209.     jmp .L9
  210.     .p2align 4,,10
  211.     .p2align 3
  212. .L206:
  213.     movl    $10, %edi
  214.     call    putchar
  215.     movl    32(%rsp), %ebx
  216.     movl    16(%rsp), %ecx
  217.     jmp .L11
  218.     .p2align 4,,10
  219.     .p2align 3
  220. .L205:
  221.     movl    $48, %edi
  222.     call    putchar
  223.     jmp .L9
  224.     .p2align 4,,10
  225.     .p2align 3
  226. .L207:
  227.     movl    $0, 16(%rsp)
  228.     xorl    %ebp, %ebp
  229.     jmp .L13
  230.     .p2align 4,,10
  231.     .p2align 3
  232. .L14:
  233.     movl    $32, %edi
  234.     call    putchar
  235. .L16:
  236.     movl    16(%rsp), %ebp
  237.     movl    32(%rsp), %ebx
  238.     movl    %ebp, %edx
  239.     movl    %ebp, %eax
  240.     sarl    $31, %edx
  241.     idivl   %ebx
  242.     leal    -1(%rbx), %eax
  243.     cmpl    %eax, %edx
  244.     je  .L208
  245. .L17:
  246.     addl    $1, %ebp
  247.     movl    %ebp, 16(%rsp)
  248. .L13:
  249.     cvtsi2sd    %ebx, %xmm1
  250.     movapd  %xmm1, %xmm0
  251.     movsd   %xmm1, (%rsp)
  252.     divsd   .LC5(%rip), %xmm0
  253.     call    ceil
  254.     cvttsd2si   %xmm0, %eax
  255.     movsd   (%rsp), %xmm1
  256.     imull   %ebx, %eax
  257.     cmpl    %ebp, %eax
  258.     jle .L168
  259.     mulsd   .LC3(%rip), %xmm1
  260.     movl    %ebp, %edx
  261.     movl    %ebp, %eax
  262.     sarl    $31, %edx
  263.     idivl   %ebx
  264.     unpcklpd    %xmm1, %xmm1
  265.     movl    %edx, %r12d
  266.     cvtpd2ps    %xmm1, %xmm0
  267.     call    roundf
  268.     movss   .LC4(%rip), %xmm1
  269.     movl    %ebx, %edx
  270.     addss   %xmm0, %xmm1
  271.     cvttss2si   %xmm1, %ecx
  272.     movl    %ecx, %eax
  273.     shrl    $31, %eax
  274.     addl    %eax, %ecx
  275.     andl    $1, %ecx
  276.     subl    %eax, %ecx
  277.     cvtsi2ss    %ecx, %xmm1
  278.     addss   %xmm0, %xmm1
  279.     cvttss2si   %xmm1, %eax
  280.     subl    %eax, %edx
  281.     movl    %edx, %eax
  282.     shrl    $31, %edx
  283.     addl    %edx, %eax
  284.     sarl    %eax
  285.     cmpl    %eax, %r12d
  286.     jl  .L14
  287.     subl    %eax, %ebx
  288.     cmpl    %ebx, %r12d
  289.     jge .L14
  290.     movl    $124, %edi
  291.     call    putchar
  292.     jmp .L16
  293.     .p2align 4,,10
  294.     .p2align 3
  295. .L208:
  296.     movl    $10, %edi
  297.     call    putchar
  298.     movl    16(%rsp), %ebp
  299.     movl    32(%rsp), %ebx
  300.     jmp .L17
  301.     .p2align 4,,10
  302.     .p2align 3
  303. .L202:
  304.     movl    $5, 16(%rsp)
  305.     movb    $5, %dl
  306.     jmp .L22
  307.     .p2align 4,,10
  308.     .p2align 3
  309. .L203:
  310.     movl    $21, 16(%rsp)
  311.     movb    $21, %dl
  312.     jmp .L22
  313.     .p2align 4,,10
  314.     .p2align 3
  315. .L201:
  316.     movl    $.LC6, %edi
  317.     call    puts
  318.     leaq    16(%rsp), %rsi
  319.     xorl    %eax, %eax
  320.     movl    $.LC1, %edi
  321.     call    __isoc99_scanf
  322.     movl    16(%rsp), %edx
  323.     cmpl    $1, %edx
  324.     ja  .L168
  325.     addl    $3, %edx
  326.     movl    %edx, 16(%rsp)
  327.     jmp .L166
  328. .L204:
  329.     leal    -386080(%rdx), %eax
  330.     cmpl    $31, %eax
  331.     jbe .L23
  332.     leal    -346144(%rdx), %eax
  333.     cmpl    $31, %eax
  334.     jbe .L23
  335.     leal    -528608(%rdx), %eax
  336.     cmpl    $31, %eax
  337.     jbe .L23
  338.     leal    -549152(%rdx), %eax
  339.     cmpl    $31, %eax
  340.     jbe .L23
  341.     leal    -416032(%rdx), %eax
  342.     cmpl    $31, %eax
  343.     jbe .L23
  344.     leal    -348640(%rdx), %eax
  345.     cmpl    $31, %eax
  346.     jbe .L23
  347.     leal    -348704(%rdx), %eax
  348.     cmpl    $31, %eax
  349.     jbe .L23
  350.     leal    -388640(%rdx), %eax
  351.     cmpl    $31, %eax
  352.     jbe .L23
  353.     leal    -387808(%rdx), %eax
  354.     cmpl    $31, %eax
  355.     jbe .L23
  356.     leal    -526112(%rdx), %eax
  357.     cmpl    $31, %eax
  358.     jbe .L23
  359.     leal    -392992(%rdx), %eax
  360.     cmpl    $31, %eax
  361.     jbe .L23
  362.     leal    -550880(%rdx), %eax
  363.     cmpl    $31, %eax
  364.     jbe .L23
  365.     leal    -294976(%rdx), %eax
  366.     cmpl    $31, %eax
  367.     jbe .L25
  368.     leal    -98368(%rdx), %eax
  369.     cmpl    $31, %eax
  370.     jbe .L25
  371.     leal    -295104(%rdx), %eax
  372.     cmpl    $31, %eax
  373.     jbe .L25
  374.     leal    -393408(%rdx), %eax
  375.     cmpl    $31, %eax
  376.     jbe .L25
  377.     leal    -393568(%rdx), %eax
  378.     cmpl    $31, %eax
  379.     jbe .L25
  380.     leal    -229760(%rdx), %eax
  381.     cmpl    $31, %eax
  382.     jbe .L25
  383.     leal    -360832(%rdx), %eax
  384.     cmpl    $31, %eax
  385.     jbe .L25
  386.     leal    -393632(%rdx), %eax
  387.     cmpl    $31, %eax
  388.     jbe .L25
  389.     leal    -229856(%rdx), %eax
  390.     cmpl    $31, %eax
  391.     jbe .L25
  392.     leal    -164384(%rdx), %eax
  393.     cmpl    $31, %eax
  394.     jbe .L25
  395.     leal    -393824(%rdx), %eax
  396.     cmpl    $31, %eax
  397.     jbe .L25
  398.     leal    -361088(%rdx), %eax
  399.     cmpl    $31, %eax
  400.     jbe .L25
  401.     leal    -164768(%rdx), %eax
  402.     cmpl    $31, %eax
  403.     jbe .L25
  404.     leal    -459680(%rdx), %eax
  405.     cmpl    $31, %eax
  406.     jbe .L25
  407.     leal    -230336(%rdx), %eax
  408.     cmpl    $31, %eax
  409.     jbe .L25
  410.     leal    -361408(%rdx), %eax
  411.     cmpl    $31, %eax
  412.     jbe .L25
  413.     leal    -492640(%rdx), %eax
  414.     cmpl    $31, %eax
  415.     jbe .L25
  416.     leal    -230528(%rdx), %eax
  417.     cmpl    $31, %eax
  418.     jbe .L25
  419.     leal    -197856(%rdx), %eax
  420.     cmpl    $31, %eax
  421.     jbe .L25
  422.     leal    -361792(%rdx), %eax
  423.     cmpl    $31, %eax
  424.     jbe .L25
  425.     leal    -460160(%rdx), %eax
  426.     cmpl    $31, %eax
  427.     jbe .L25
  428.     leal    -66944(%rdx), %eax
  429.     cmpl    $31, %eax
  430.     jbe .L25
  431.     leal    -198016(%rdx), %eax
  432.     cmpl    $31, %eax
  433.     jbe .L25
  434.     leal    -198080(%rdx), %eax
  435.     cmpl    $31, %eax
  436.     jbe .L25
  437.     leal    -361920(%rdx), %eax
  438.     cmpl    $31, %eax
  439.     jbe .L25
  440.     leal    -558560(%rdx), %eax
  441.     cmpl    $31, %eax
  442.     jbe .L25
  443.     leal    -525856(%rdx), %eax
  444.     cmpl    $31, %eax
  445.     jbe .L25
  446.     leal    -198208(%rdx), %eax
  447.     cmpl    $31, %eax
  448.     jbe .L25
  449.     leal    -493152(%rdx), %eax
  450.     cmpl    $31, %eax
  451.     jbe .L25
  452.     leal    -394880(%rdx), %eax
  453.     cmpl    $31, %eax
  454.     jbe .L25
  455.     leal    -198336(%rdx), %eax
  456.     cmpl    $31, %eax
  457.     jbe .L25
  458.     leal    -526048(%rdx), %eax
  459.     cmpl    $31, %eax
  460.     jbe .L25
  461.     leal    -362240(%rdx), %eax
  462.     cmpl    $31, %eax
  463.     jbe .L25
  464.     leal    -263936(%rdx), %eax
  465.     cmpl    $31, %eax
  466.     jbe .L25
  467.     leal    -100160(%rdx), %eax
  468.     cmpl    $31, %eax
  469.     jbe .L25
  470.     leal    -198464(%rdx), %eax
  471.     cmpl    $31, %eax
  472.     jbe .L25
  473.     leal    -198528(%rdx), %eax
  474.     cmpl    $31, %eax
  475.     jbe .L25
  476.     leal    -362368(%rdx), %eax
  477.     cmpl    $31, %eax
  478.     jbe .L25
  479.     leal    -362496(%rdx), %eax
  480.     cmpl    $31, %eax
  481.     jbe .L25
  482.     leal    -362624(%rdx), %eax
  483.     cmpl    $31, %eax
  484.     jbe .L25
  485.     leal    -460928(%rdx), %eax
  486.     cmpl    $31, %eax
  487.     jbe .L25
  488.     leal    -592064(%rdx), %eax
  489.     cmpl    $31, %eax
  490.     jbe .L25
  491.     leal    -329920(%rdx), %eax
  492.     cmpl    $31, %eax
  493.     jbe .L25
  494.     leal    -329984(%rdx), %eax
  495.     cmpl    $31, %eax
  496.     jbe .L25
  497.     leal    -395552(%rdx), %eax
  498.     cmpl    $31, %eax
  499.     jbe .L25
  500.     leal    -166240(%rdx), %eax
  501.     cmpl    $31, %eax
  502.     jbe .L25
  503.     leal    -166368(%rdx), %eax
  504.     cmpl    $31, %eax
  505.     jbe .L25
  506.     leal    -494080(%rdx), %eax
  507.     cmpl    $31, %eax
  508.     jbe .L25
  509.     leal    -264736(%rdx), %eax
  510.     cmpl    $31, %eax
  511.     jbe .L25
  512.     leal    -592448(%rdx), %eax
  513.     cmpl    $31, %eax
  514.     jbe .L25
  515.     leal    -264864(%rdx), %eax
  516.     cmpl    $31, %eax
  517.     jbe .L25
  518.     leal    -363168(%rdx), %eax
  519.     cmpl    $31, %eax
  520.     jbe .L25
  521.     leal    -494304(%rdx), %eax
  522.     cmpl    $31, %eax
  523.     jbe .L25
  524.     leal    -363328(%rdx), %eax
  525.     cmpl    $31, %eax
  526.     jbe .L25
  527.     leal    -461664(%rdx), %eax
  528.     cmpl    $31, %eax
  529.     jbe .L25
  530.     leal    -461824(%rdx), %eax
  531.     cmpl    $31, %eax
  532.     jbe .L25
  533.     leal    -461888(%rdx), %eax
  534.     cmpl    $31, %eax
  535.     jbe .L25
  536.     leal    -68672(%rdx), %eax
  537.     cmpl    $31, %eax
  538.     jbe .L25
  539.     leal    -494656(%rdx), %eax
  540.     cmpl    $31, %eax
  541.     jbe .L25
  542.     leal    -35968(%rdx), %eax
  543.     cmpl    $31, %eax
  544.     jbe .L25
  545.     leal    -560288(%rdx), %eax
  546.     cmpl    $31, %eax
  547.     jbe .L25
  548.     leal    -134336(%rdx), %eax
  549.     cmpl    $31, %eax
  550.     jbe .L25
  551.     leal    -494912(%rdx), %eax
  552.     cmpl    $31, %eax
  553.     jbe .L25
  554.     leal    -200000(%rdx), %eax
  555.     cmpl    $31, %eax
  556.     jbe .L25
  557.     leal    -331136(%rdx), %eax
  558.     cmpl    $31, %eax
  559.     jbe .L25
  560.     leal    -167296(%rdx), %eax
  561.     cmpl    $31, %eax
  562.     jbe .L25
  563.     leal    -527840(%rdx), %eax
  564.     cmpl    $31, %eax
  565.     jbe .L25
  566.     leal    -265792(%rdx), %eax
  567.     cmpl    $31, %eax
  568.     jbe .L25
  569.     leal    -364096(%rdx), %eax
  570.     cmpl    $31, %eax
  571.     jbe .L25
  572.     leal    -167552(%rdx), %eax
  573.     cmpl    $31, %eax
  574.     jbe .L25
  575.     leal    -462464(%rdx), %eax
  576.     cmpl    $31, %eax
  577.     jbe .L25
  578.     leal    -134880(%rdx), %eax
  579.     cmpl    $31, %eax
  580.     jbe .L25
  581.     leal    -331520(%rdx), %eax
  582.     cmpl    $31, %eax
  583.     jbe .L25
  584.     leal    -462592(%rdx), %eax
  585.     cmpl    $31, %eax
  586.     jbe .L25
  587.     leal    -298816(%rdx), %eax
  588.     cmpl    $31, %eax
  589.     jbe .L25
  590.     leal    -331584(%rdx), %eax
  591.     cmpl    $31, %eax
  592.     jbe .L25
  593.     leal    -298880(%rdx), %eax
  594.     cmpl    $31, %eax
  595.     jbe .L25
  596.     leal    -462720(%rdx), %eax
  597.     cmpl    $31, %eax
  598.     jbe .L25
  599.     leal    -167904(%rdx), %eax
  600.     cmpl    $31, %eax
  601.     jbe .L25
  602.     leal    -593920(%rdx), %eax
  603.     cmpl    $31, %eax
  604.     jbe .L25
  605.     leal    -135232(%rdx), %eax
  606.     cmpl    $31, %eax
  607.     jbe .L25
  608.     leal    -168064(%rdx), %eax
  609.     cmpl    $31, %eax
  610.     jbe .L25
  611.     leal    -594048(%rdx), %eax
  612.     cmpl    $31, %eax
  613.     jbe .L25
  614.     leal    -266400(%rdx), %eax
  615.     cmpl    $31, %eax
  616.     jbe .L25
  617.     leal    -168128(%rdx), %eax
  618.     cmpl    $31, %eax
  619.     jbe .L25
  620.     leal    -135488(%rdx), %eax
  621.     cmpl    $31, %eax
  622.     jbe .L25
  623.     leal    -266624(%rdx), %eax
  624.     cmpl    $31, %eax
  625.     jbe .L25
  626.     leal    -364928(%rdx), %eax
  627.     cmpl    $31, %eax
  628.     jbe .L25
  629.     leal    -364992(%rdx), %eax
  630.     cmpl    $31, %eax
  631.     jbe .L25
  632.     leal    -463424(%rdx), %eax
  633.     cmpl    $31, %eax
  634.     jbe .L25
  635.     leal    -594496(%rdx), %eax
  636.     cmpl    $31, %eax
  637.     jbe .L25
  638.     leal    -135808(%rdx), %eax
  639.     cmpl    $31, %eax
  640.     jbe .L25
  641.     leal    -463488(%rdx), %eax
  642.     cmpl    $31, %eax
  643.     jbe .L25
  644.     leal    -594624(%rdx), %eax
  645.     cmpl    $31, %eax
  646.     jbe .L25
  647.     leal    -299968(%rdx), %eax
  648.     cmpl    $31, %eax
  649.     jbe .L25
  650.     leal    -300032(%rdx), %eax
  651.     cmpl    $31, %eax
  652.     jbe .L25
  653.     leal    -594976(%rdx), %eax
  654.     cmpl    $31, %eax
  655.     jbe .L25
  656.     leal    -37952(%rdx), %eax
  657.     cmpl    $31, %eax
  658.     jbe .L25
  659.     leal    -595008(%rdx), %eax
  660.     cmpl    $31, %eax
  661.     jbe .L25
  662.     leal    -431200(%rdx), %eax
  663.     cmpl    $31, %eax
  664.     jbe .L25
  665.     leal    -136320(%rdx), %eax
  666.     cmpl    $31, %eax
  667.     jbe .L25
  668.     leal    -595168(%rdx), %eax
  669.     cmpl    $31, %eax
  670.     jbe .L25
  671.     leal    -431328(%rdx), %eax
  672.     cmpl    $31, %eax
  673.     jbe .L25
  674.     leal    -267520(%rdx), %eax
  675.     cmpl    $31, %eax
  676.     jbe .L25
  677.     leal    -595232(%rdx), %eax
  678.     cmpl    $31, %eax
  679.     jbe .L25
  680.     leal    -300416(%rdx), %eax
  681.     cmpl    $31, %eax
  682.     jbe .L25
  683.     leal    -398720(%rdx), %eax
  684.     cmpl    $31, %eax
  685.     jbe .L25
  686.     leal    -169376(%rdx), %eax
  687.     cmpl    $31, %eax
  688.     jbe .L25
  689.     leal    -529856(%rdx), %eax
  690.     cmpl    $31, %eax
  691.     jbe .L25
  692.     leal    -136640(%rdx), %eax
  693.     cmpl    $31, %eax
  694.     jbe .L25
  695.     leal    -300480(%rdx), %eax
  696.     cmpl    $31, %eax
  697.     jbe .L25
  698.     leal    -267776(%rdx), %eax
  699.     cmpl    $31, %eax
  700.     jbe .L25
  701.     leal    -464384(%rdx), %eax
  702.     cmpl    $31, %eax
  703.     jbe .L25
  704.     leal    -497216(%rdx), %eax
  705.     cmpl    $31, %eax
  706.     jbe .L25
  707.     leal    -431680(%rdx), %eax
  708.     cmpl    $31, %eax
  709.     jbe .L25
  710.     leal    -431712(%rdx), %eax
  711.     cmpl    $31, %eax
  712.     jbe .L25
  713.     leal    -595584(%rdx), %eax
  714.     cmpl    $31, %eax
  715.     jbe .L25
  716.     leal    -136896(%rdx), %eax
  717.     cmpl    $31, %eax
  718.     jbe .L25
  719.     leal    -431872(%rdx), %eax
  720.     cmpl    $31, %eax
  721.     jbe .L25
  722.     leal    -595744(%rdx), %eax
  723.     cmpl    $31, %eax
  724.     jbe .L25
  725.     leal    -431936(%rdx), %eax
  726.     cmpl    $31, %eax
  727.     jbe .L25
  728.     leal    -268096(%rdx), %eax
  729.     cmpl    $31, %eax
  730.     jbe .L25
  731.     leal    -595808(%rdx), %eax
  732.     cmpl    $31, %eax
  733.     jbe .L25
  734.     leal    -399200(%rdx), %eax
  735.     cmpl    $31, %eax
  736.     jbe .L25
  737.     leal    -170048(%rdx), %eax
  738.     cmpl    $31, %eax
  739.     jbe .L25
  740.     leal    -464960(%rdx), %eax
  741.     cmpl    $31, %eax
  742.     jbe .L25
  743.     leal    -268480(%rdx), %eax
  744.     cmpl    $31, %eax
  745.     jbe .L25
  746.     leal    -465152(%rdx), %eax
  747.     cmpl    $31, %eax
  748.     jbe .L25
  749.     leal    -399680(%rdx), %eax
  750.     cmpl    $31, %eax
  751.     jbe .L25
  752.     leal    -268608(%rdx), %eax
  753.     cmpl    $31, %eax
  754.     jbe .L25
  755.     leal    -399872(%rdx), %eax
  756.     cmpl    $31, %eax
  757.     jbe .L25
  758.     leal    -137792(%rdx), %eax
  759.     cmpl    $31, %eax
  760.     jbe .L25
  761.     leal    -268928(%rdx), %eax
  762.     cmpl    $31, %eax
  763.     jbe .L25
  764.     leal    -170624(%rdx), %eax
  765.     cmpl    $31, %eax
  766.     jbe .L25
  767.     leal    -203456(%rdx), %eax
  768.     cmpl    $31, %eax
  769.     jbe .L25
  770.     leal    -400256(%rdx), %eax
  771.     cmpl    $31, %eax
  772.     jbe .L25
  773.     leal    -269184(%rdx), %eax
  774.     cmpl    $31, %eax
  775.     jbe .L25
  776.     leal    -269312(%rdx), %eax
  777.     cmpl    $31, %eax
  778.     jbe .L25
  779.     leal    -367616(%rdx), %eax
  780.     cmpl    $31, %eax
  781.     jbe .L25
  782.     leal    -39968(%rdx), %eax
  783.     cmpl    $31, %eax
  784.     jbe .L25
  785.     leal    -597056(%rdx), %eax
  786.     cmpl    $31, %eax
  787.     jbe .L25
  788.     leal    -531520(%rdx), %eax
  789.     cmpl    $31, %eax
  790.     jbe .L25
  791.     leal    -334912(%rdx), %eax
  792.     cmpl    $31, %eax
  793.     jbe .L25
  794.     leal    -7328(%rdx), %eax
  795.     cmpl    $31, %eax
  796.     jbe .L25
  797.     leal    -400640(%rdx), %eax
  798.     cmpl    $31, %eax
  799.     jbe .L25
  800.     leal    -531712(%rdx), %eax
  801.     cmpl    $31, %eax
  802.     jbe .L25
  803.     leal    -564608(%rdx), %eax
  804.     cmpl    $31, %eax
  805.     jbe .L25
  806.     leal    -531840(%rdx), %eax
  807.     cmpl    $31, %eax
  808.     jbe .L25
  809.     leal    -40352(%rdx), %eax
  810.     cmpl    $31, %eax
  811.     jbe .L25
  812.     leal    -368096(%rdx), %eax
  813.     cmpl    $31, %eax
  814.     jbe .L25
  815.     leal    -269856(%rdx), %eax
  816.     cmpl    $31, %eax
  817.     jbe .L25
  818.     leal    -73312(%rdx), %eax
  819.     cmpl    $31, %eax
  820.     jbe .L25
  821.     leal    -401024(%rdx), %eax
  822.     cmpl    $31, %eax
  823.     jbe .L25
  824.     leal    -270016(%rdx), %eax
  825.     cmpl    $31, %eax
  826.     jbe .L25
  827.     leal    -597728(%rdx), %eax
  828.     cmpl    $31, %eax
  829.     jbe .L25
  830.     leal    -270080(%rdx), %eax
  831.     cmpl    $31, %eax
  832.     jbe .L25
  833.     leal    -401216(%rdx), %eax
  834.     cmpl    $31, %eax
  835.     jbe .L25
  836.     leal    -368576(%rdx), %eax
  837.     cmpl    $31, %eax
  838.     jbe .L25
  839.     leal    -466976(%rdx), %eax
  840.     cmpl    $31, %eax
  841.     jbe .L25
  842.     leal    -368768(%rdx), %eax
  843.     cmpl    $31, %eax
  844.     jbe .L25
  845.     leal    -598304(%rdx), %eax
  846.     cmpl    $31, %eax
  847.     jbe .L25
  848.     leal    -532768(%rdx), %eax
  849.     cmpl    $31, %eax
  850.     jbe .L25
  851.     leal    -205184(%rdx), %eax
  852.     cmpl    $31, %eax
  853.     jbe .L25
  854.     leal    -303520(%rdx), %eax
  855.     cmpl    $31, %eax
  856.     jbe .L25
  857.     leal    -270784(%rdx), %eax
  858.     cmpl    $31, %eax
  859.     jbe .L25
  860.     leal    -369152(%rdx), %eax
  861.     cmpl    $31, %eax
  862.     jbe .L25
  863.     leal    -238144(%rdx), %eax
  864.     cmpl    $31, %eax
  865.     jbe .L25
  866.     leal    -270912(%rdx), %eax
  867.     cmpl    $31, %eax
  868.     jbe .L25
  869.     leal    -172736(%rdx), %eax
  870.     cmpl    $31, %eax
  871.     jbe .L25
  872.     leal    -533184(%rdx), %eax
  873.     cmpl    $31, %eax
  874.     jbe .L25
  875.     leal    -336576(%rdx), %eax
  876.     cmpl    $31, %eax
  877.     jbe .L25
  878.     leal    -74464(%rdx), %eax
  879.     cmpl    $31, %eax
  880.     jbe .L25
  881.     leal    -402176(%rdx), %eax
  882.     cmpl    $31, %eax
  883.     jbe .L25
  884.     leal    -303904(%rdx), %eax
  885.     cmpl    $31, %eax
  886.     jbe .L25
  887.     leal    -238400(%rdx), %eax
  888.     cmpl    $31, %eax
  889.     jbe .L25
  890.     leal    -435008(%rdx), %eax
  891.     cmpl    $31, %eax
  892.     jbe .L25
  893.     leal    -41824(%rdx), %eax
  894.     cmpl    $31, %eax
  895.     jbe .L25
  896.     leal    -369536(%rdx), %eax
  897.     cmpl    $31, %eax
  898.     jbe .L25
  899.     leal    -533376(%rdx), %eax
  900.     cmpl    $31, %eax
  901.     jbe .L25
  902.     leal    -304032(%rdx), %eax
  903.     cmpl    $31, %eax
  904.     jbe .L25
  905.     leal    -41952(%rdx), %eax
  906.     cmpl    $31, %eax
  907.     jbe .L25
  908.     leal    -533536(%rdx), %eax
  909.     cmpl    $31, %eax
  910.     jbe .L25
  911.     leal    -566336(%rdx), %eax
  912.     cmpl    $31, %eax
  913.     jbe .L25
  914.     leal    -533600(%rdx), %eax
  915.     cmpl    $31, %eax
  916.     jbe .L25
  917.     leal    -599168(%rdx), %eax
  918.     cmpl    $31, %eax
  919.     jbe .L25
  920.     leal    -74976(%rdx), %eax
  921.     cmpl    $31, %eax
  922.     jbe .L25
  923.     leal    -369920(%rdx), %eax
  924.     cmpl    $31, %eax
  925.     jbe .L25
  926.     leal    -271616(%rdx), %eax
  927.     cmpl    $31, %eax
  928.     jbe .L25
  929.     leal    -500992(%rdx), %eax
  930.     cmpl    $31, %eax
  931.     jbe .L25
  932.     leal    -271680(%rdx), %eax
  933.     cmpl    $31, %eax
  934.     jbe .L25
  935.     leal    -370112(%rdx), %eax
  936.     cmpl    $31, %eax
  937.     jbe .L25
  938.     leal    -501376(%rdx), %eax
  939.     cmpl    $31, %eax
  940.     jbe .L25
  941.     leal    -435872(%rdx), %eax
  942.     cmpl    $31, %eax
  943.     jbe .L25
  944.     leal    -599744(%rdx), %eax
  945.     cmpl    $31, %eax
  946.     jbe .L25
  947.     leal    -599936(%rdx), %eax
  948.     cmpl    $31, %eax
  949.     jbe .L25
  950.     leal    -42880(%rdx), %eax
  951.     cmpl    $31, %eax
  952.     jbe .L25
  953.     leal    -305056(%rdx), %eax
  954.     cmpl    $31, %eax
  955.     jbe .L25
  956.     leal    -501760(%rdx), %eax
  957.     cmpl    $31, %eax
  958.     jbe .L25
  959.     leal    -305184(%rdx), %eax
  960.     cmpl    $31, %eax
  961.     jbe .L25
  962.     leal    -43136(%rdx), %eax
  963.     cmpl    $31, %eax
  964.     jbe .L25
  965.     leal    -174208(%rdx), %eax
  966.     cmpl    $31, %eax
  967.     jbe .L25
  968.     leal    -501888(%rdx), %eax
  969.     cmpl    $31, %eax
  970.     jbe .L25
  971.     leal    -534848(%rdx), %eax
  972.     cmpl    $31, %eax
  973.     jbe .L25
  974.     leal    -371072(%rdx), %eax
  975.     cmpl    $31, %eax
  976.     jbe .L25
  977.     leal    -502144(%rdx), %eax
  978.     cmpl    $31, %eax
  979.     jbe .L25
  980.     leal    -305536(%rdx), %eax
  981.     cmpl    $31, %eax
  982.     jbe .L25
  983.     leal    -305568(%rdx), %eax
  984.     cmpl    $31, %eax
  985.     jbe .L25
  986.     leal    -43488(%rdx), %eax
  987.     cmpl    $31, %eax
  988.     jbe .L25
  989.     leal    -240128(%rdx), %eax
  990.     cmpl    $31, %eax
  991.     jbe .L25
  992.     leal    -305728(%rdx), %eax
  993.     cmpl    $31, %eax
  994.     jbe .L25
  995.     leal    -305792(%rdx), %eax
  996.     cmpl    $31, %eax
  997.     jbe .L25
  998.     leal    -43648(%rdx), %eax
  999.     cmpl    $31, %eax
  1000.     jbe .L25
  1001.     leal    -43712(%rdx), %eax
  1002.     cmpl    $31, %eax
  1003.     jbe .L25
  1004.     leal    -174784(%rdx), %eax
  1005.     cmpl    $31, %eax
  1006.     jbe .L25
  1007.     leal    -535328(%rdx), %eax
  1008.     cmpl    $31, %eax
  1009.     jbe .L25
  1010.     leal    -142112(%rdx), %eax
  1011.     cmpl    $31, %eax
  1012.     jbe .L25
  1013.     leal    -502656(%rdx), %eax
  1014.     cmpl    $31, %eax
  1015.     jbe .L25
  1016.     leal    -175168(%rdx), %eax
  1017.     cmpl    $31, %eax
  1018.     jbe .L25
  1019.     leal    -404640(%rdx), %eax
  1020.     cmpl    $31, %eax
  1021.     jbe .L25
  1022.     leal    -175296(%rdx), %eax
  1023.     cmpl    $31, %eax
  1024.     jbe .L25
  1025.     leal    -11488(%rdx), %eax
  1026.     cmpl    $31, %eax
  1027.     jbe .L25
  1028.     leal    -404800(%rdx), %eax
  1029.     cmpl    $31, %eax
  1030.     jbe .L25
  1031.     leal    -404864(%rdx), %eax
  1032.     cmpl    $31, %eax
  1033.     jbe .L25
  1034.     leal    -339488(%rdx), %eax
  1035.     cmpl    $31, %eax
  1036.     jbe .L25
  1037.     leal    -601664(%rdx), %eax
  1038.     cmpl    $31, %eax
  1039.     jbe .L25
  1040.     leal    -11872(%rdx), %eax
  1041.     cmpl    $31, %eax
  1042.     jbe .L25
  1043.     leal    -601728(%rdx), %eax
  1044.     cmpl    $31, %eax
  1045.     jbe .L25
  1046.     leal    -175744(%rdx), %eax
  1047.     cmpl    $31, %eax
  1048.     jbe .L25
  1049.     leal    -12000(%rdx), %eax
  1050.     cmpl    $31, %eax
  1051.     jbe .L25
  1052.     leal    -175872(%rdx), %eax
  1053.     cmpl    $31, %eax
  1054.     jbe .L25
  1055.     leal    -274304(%rdx), %eax
  1056.     cmpl    $31, %eax
  1057.     jbe .L25
  1058.     leal    -44960(%rdx), %eax
  1059.     cmpl    $31, %eax
  1060.     jbe .L25
  1061.     leal    -110528(%rdx), %eax
  1062.     cmpl    $31, %eax
  1063.     jbe .L25
  1064.     leal    -339904(%rdx), %eax
  1065.     cmpl    $31, %eax
  1066.     jbe .L25
  1067.     leal    -405568(%rdx), %eax
  1068.     cmpl    $31, %eax
  1069.     jbe .L25
  1070.     leal    -340032(%rdx), %eax
  1071.     cmpl    $31, %eax
  1072.     jbe .L25
  1073.     leal    -602240(%rdx), %eax
  1074.     cmpl    $31, %eax
  1075.     jbe .L25
  1076.     leal    -405696(%rdx), %eax
  1077.     cmpl    $31, %eax
  1078.     jbe .L25
  1079.     leal    -471296(%rdx), %eax
  1080.     cmpl    $31, %eax
  1081.     jbe .L25
  1082.     leal    -274784(%rdx), %eax
  1083.     cmpl    $31, %eax
  1084.     jbe .L25
  1085.     leal    -45440(%rdx), %eax
  1086.     cmpl    $31, %eax
  1087.     jbe .L25
  1088.     leal    -602496(%rdx), %eax
  1089.     cmpl    $31, %eax
  1090.     jbe .L25
  1091.     leal    -569792(%rdx), %eax
  1092.     cmpl    $31, %eax
  1093.     jbe .L25
  1094.     leal    -602656(%rdx), %eax
  1095.     cmpl    $31, %eax
  1096.     jbe .L25
  1097.     leal    -45632(%rdx), %eax
  1098.     cmpl    $31, %eax
  1099.     jbe .L25
  1100.     leal    -602720(%rdx), %eax
  1101.     cmpl    $31, %eax
  1102.     jbe .L25
  1103.     leal    -307840(%rdx), %eax
  1104.     cmpl    $31, %eax
  1105.     jbe .L25
  1106.     leal    -275264(%rdx), %eax
  1107.     cmpl    $31, %eax
  1108.     jbe .L25
  1109.     leal    -406400(%rdx), %eax
  1110.     cmpl    $31, %eax
  1111.     jbe .L25
  1112.     leal    -406464(%rdx), %eax
  1113.     cmpl    $31, %eax
  1114.     jbe .L25
  1115.     leal    -340960(%rdx), %eax
  1116.     cmpl    $31, %eax
  1117.     jbe .L25
  1118.     leal    -275456(%rdx), %eax
  1119.     cmpl    $31, %eax
  1120.     jbe .L25
  1121.     leal    -308224(%rdx), %eax
  1122.     cmpl    $31, %eax
  1123.     jbe .L25
  1124.     leal    -308352(%rdx), %eax
  1125.     cmpl    $31, %eax
  1126.     jbe .L25
  1127.     leal    -308512(%rdx), %eax
  1128.     cmpl    $31, %eax
  1129.     jbe .L25
  1130.     leal    -603488(%rdx), %eax
  1131.     cmpl    $31, %eax
  1132.     jbe .L25
  1133.     leal    -275840(%rdx), %eax
  1134.     cmpl    $31, %eax
  1135.     jbe .L25
  1136.     leal    -112000(%rdx), %eax
  1137.     cmpl    $31, %eax
  1138.     jbe .L25
  1139.     leal    -308640(%rdx), %eax
  1140.     cmpl    $31, %eax
  1141.     jbe .L25
  1142.     leal    -177728(%rdx), %eax
  1143.     cmpl    $31, %eax
  1144.     jbe .L25
  1145.     leal    -112192(%rdx), %eax
  1146.     cmpl    $31, %eax
  1147.     jbe .L25
  1148.     leal    -341568(%rdx), %eax
  1149.     cmpl    $31, %eax
  1150.     jbe .L25
  1151.     leal    -407168(%rdx), %eax
  1152.     cmpl    $31, %eax
  1153.     jbe .L25
  1154.     leal    -243328(%rdx), %eax
  1155.     cmpl    $31, %eax
  1156.     jbe .L25
  1157.     leal    -571104(%rdx), %eax
  1158.     cmpl    $31, %eax
  1159.     jbe .L25
  1160.     leal    -276224(%rdx), %eax
  1161.     cmpl    $31, %eax
  1162.     jbe .L25
  1163.     leal    -407296(%rdx), %eax
  1164.     cmpl    $31, %eax
  1165.     jbe .L25
  1166.     leal    -308992(%rdx), %eax
  1167.     cmpl    $31, %eax
  1168.     jbe .L25
  1169.     leal    -341792(%rdx), %eax
  1170.     cmpl    $31, %eax
  1171.     jbe .L25
  1172.     leal    -309024(%rdx), %eax
  1173.     cmpl    $31, %eax
  1174.     jbe .L25
  1175.     leal    -440192(%rdx), %eax
  1176.     cmpl    $31, %eax
  1177.     jbe .L25
  1178.     leal    -571264(%rdx), %eax
  1179.     cmpl    $31, %eax
  1180.     jbe .L25
  1181.     leal    -407424(%rdx), %eax
  1182.     cmpl    $31, %eax
  1183.     jbe .L25
  1184.     leal    -571328(%rdx), %eax
  1185.     cmpl    $31, %eax
  1186.     jbe .L25
  1187.     leal    -473024(%rdx), %eax
  1188.     cmpl    $31, %eax
  1189.     jbe .L25
  1190.     leal    -309184(%rdx), %eax
  1191.     cmpl    $31, %eax
  1192.     jbe .L25
  1193.     leal    -309248(%rdx), %eax
  1194.     cmpl    $31, %eax
  1195.     jbe .L25
  1196.     leal    -407552(%rdx), %eax
  1197.     cmpl    $31, %eax
  1198.     jbe .L25
  1199.     leal    -538688(%rdx), %eax
  1200.     cmpl    $31, %eax
  1201.     jbe .L25
  1202.     leal    -571456(%rdx), %eax
  1203.     cmpl    $31, %eax
  1204.     jbe .L25
  1205.     leal    -374912(%rdx), %eax
  1206.     cmpl    $31, %eax
  1207.     jbe .L25
  1208.     leal    -276608(%rdx), %eax
  1209.     cmpl    $31, %eax
  1210.     jbe .L25
  1211.     leal    -145568(%rdx), %eax
  1212.     cmpl    $31, %eax
  1213.     jbe .L25
  1214.     leal    -571584(%rdx), %eax
  1215.     cmpl    $31, %eax
  1216.     jbe .L25
  1217.     leal    -571712(%rdx), %eax
  1218.     cmpl    $31, %eax
  1219.     jbe .L25
  1220.     leal    -276800(%rdx), %eax
  1221.     cmpl    $31, %eax
  1222.     jbe .L25
  1223.     leal    -407872(%rdx), %eax
  1224.     cmpl    $31, %eax
  1225.     jbe .L25
  1226.     leal    -309568(%rdx), %eax
  1227.     cmpl    $31, %eax
  1228.     jbe .L25
  1229.     leal    -571776(%rdx), %eax
  1230.     cmpl    $31, %eax
  1231.     jbe .L25
  1232.     leal    -408000(%rdx), %eax
  1233.     cmpl    $31, %eax
  1234.     jbe .L25
  1235.     leal    -539232(%rdx), %eax
  1236.     cmpl    $31, %eax
  1237.     jbe .L25
  1238.     leal    -113344(%rdx), %eax
  1239.     cmpl    $31, %eax
  1240.     jbe .L25
  1241.     leal    -309952(%rdx), %eax
  1242.     cmpl    $31, %eax
  1243.     jbe .L25
  1244.     leal    -408352(%rdx), %eax
  1245.     cmpl    $31, %eax
  1246.     jbe .L25
  1247.     leal    -310080(%rdx), %eax
  1248.     cmpl    $31, %eax
  1249.     jbe .L25
  1250.     leal    -408384(%rdx), %eax
  1251.     cmpl    $31, %eax
  1252.     jbe .L25
  1253.     leal    -113536(%rdx), %eax
  1254.     cmpl    $31, %eax
  1255.     jbe .L25
  1256.     leal    -310176(%rdx), %eax
  1257.     cmpl    $31, %eax
  1258.     jbe .L25
  1259.     leal    -539584(%rdx), %eax
  1260.     cmpl    $31, %eax
  1261.     jbe .L25
  1262.     leal    -408544(%rdx), %eax
  1263.     cmpl    $31, %eax
  1264.     jbe .L25
  1265.     leal    -113664(%rdx), %eax
  1266.     cmpl    $31, %eax
  1267.     jbe .L25
  1268.     leal    -408608(%rdx), %eax
  1269.     cmpl    $31, %eax
  1270.     jbe .L25
  1271.     leal    -605216(%rdx), %eax
  1272.     cmpl    $31, %eax
  1273.     jbe .L25
  1274.     leal    -310336(%rdx), %eax
  1275.     cmpl    $31, %eax
  1276.     jbe .L25
  1277.     leal    -310400(%rdx), %eax
  1278.     cmpl    $31, %eax
  1279.     jbe .L25
  1280.     leal    -408704(%rdx), %eax
  1281.     cmpl    $31, %eax
  1282.     jbe .L25
  1283.     leal    -539840(%rdx), %eax
  1284.     cmpl    $31, %eax
  1285.     jbe .L25
  1286.     leal    -113856(%rdx), %eax
  1287.     cmpl    $31, %eax
  1288.     jbe .L25
  1289.     leal    -277760(%rdx), %eax
  1290.     cmpl    $31, %eax
  1291.     jbe .L25
  1292.     leal    -310528(%rdx), %eax
  1293.     cmpl    $31, %eax
  1294.     jbe .L25
  1295.     leal    -310656(%rdx), %eax
  1296.     cmpl    $31, %eax
  1297.     jbe .L25
  1298.     leal    -408960(%rdx), %eax
  1299.     cmpl    $31, %eax
  1300.     jbe .L25
  1301.     leal    -310784(%rdx), %eax
  1302.     cmpl    $31, %eax
  1303.     jbe .L25
  1304.     leal    -540160(%rdx), %eax
  1305.     cmpl    $31, %eax
  1306.     jbe .L25
  1307.     leal    -179744(%rdx), %eax
  1308.     cmpl    $31, %eax
  1309.     jbe .L25
  1310.     leal    -441920(%rdx), %eax
  1311.     cmpl    $31, %eax
  1312.     jbe .L25
  1313.     leal    -310848(%rdx), %eax
  1314.     cmpl    $31, %eax
  1315.     jbe .L25
  1316.     leal    -376384(%rdx), %eax
  1317.     cmpl    $31, %eax
  1318.     jbe .L25
  1319.     leal    -409184(%rdx), %eax
  1320.     cmpl    $31, %eax
  1321.     jbe .L25
  1322.     leal    -48800(%rdx), %eax
  1323.     cmpl    $31, %eax
  1324.     jbe .L25
  1325.     leal    -507584(%rdx), %eax
  1326.     cmpl    $31, %eax
  1327.     jbe .L25
  1328.     leal    -409376(%rdx), %eax
  1329.     cmpl    $31, %eax
  1330.     jbe .L25
  1331.     leal    -376640(%rdx), %eax
  1332.     cmpl    $31, %eax
  1333.     jbe .L25
  1334.     leal    -573248(%rdx), %eax
  1335.     cmpl    $31, %eax
  1336.     jbe .L25
  1337.     leal    -180224(%rdx), %eax
  1338.     cmpl    $31, %eax
  1339.     jbe .L25
  1340.     leal    -540672(%rdx), %eax
  1341.     cmpl    $31, %eax
  1342.     jbe .L25
  1343.     leal    -180416(%rdx), %eax
  1344.     cmpl    $31, %eax
  1345.     jbe .L25
  1346.     leal    -508128(%rdx), %eax
  1347.     cmpl    $31, %eax
  1348.     jbe .L25
  1349.     leal    -409856(%rdx), %eax
  1350.     cmpl    $31, %eax
  1351.     jbe .L25
  1352.     leal    -540992(%rdx), %eax
  1353.     cmpl    $31, %eax
  1354.     jbe .L25
  1355.     leal    -409920(%rdx), %eax
  1356.     cmpl    $31, %eax
  1357.     jbe .L25
  1358.     leal    -213344(%rdx), %eax
  1359.     cmpl    $31, %eax
  1360.     jbe .L25
  1361.     leal    -115136(%rdx), %eax
  1362.     cmpl    $31, %eax
  1363.     jbe .L25
  1364.     leal    -508480(%rdx), %eax
  1365.     cmpl    $31, %eax
  1366.     jbe .L25
  1367.     leal    -541248(%rdx), %eax
  1368.     cmpl    $31, %eax
  1369.     jbe .L25
  1370.     leal    -180992(%rdx), %eax
  1371.     cmpl    $31, %eax
  1372.     jbe .L25
  1373.     leal    -115520(%rdx), %eax
  1374.     cmpl    $31, %eax
  1375.     jbe .L25
  1376.     leal    -344896(%rdx), %eax
  1377.     cmpl    $31, %eax
  1378.     jbe .L25
  1379.     leal    -344960(%rdx), %eax
  1380.     cmpl    $31, %eax
  1381.     jbe .L25
  1382.     leal    -82816(%rdx), %eax
  1383.     cmpl    $31, %eax
  1384.     jbe .L25
  1385.     leal    -377792(%rdx), %eax
  1386.     cmpl    $31, %eax
  1387.     jbe .L25
  1388.     leal    -246784(%rdx), %eax
  1389.     cmpl    $31, %eax
  1390.     jbe .L25
  1391.     leal    -377920(%rdx), %eax
  1392.     cmpl    $31, %eax
  1393.     jbe .L25
  1394.     leal    -410688(%rdx), %eax
  1395.     cmpl    $31, %eax
  1396.     jbe .L25
  1397.     leal    -509056(%rdx), %eax
  1398.     cmpl    $31, %eax
  1399.     jbe .L25
  1400.     leal    -378048(%rdx), %eax
  1401.     cmpl    $31, %eax
  1402.     jbe .L25
  1403.     leal    -410848(%rdx), %eax
  1404.     cmpl    $31, %eax
  1405.     jbe .L25
  1406.     leal    -345344(%rdx), %eax
  1407.     cmpl    $31, %eax
  1408.     jbe .L25
  1409.     leal    -17696(%rdx), %eax
  1410.     cmpl    $31, %eax
  1411.     jbe .L25
  1412.     leal    -378176(%rdx), %eax
  1413.     cmpl    $31, %eax
  1414.     jbe .L25
  1415.     leal    -476480(%rdx), %eax
  1416.     cmpl    $31, %eax
  1417.     jbe .L25
  1418.     leal    -345408(%rdx), %eax
  1419.     cmpl    $31, %eax
  1420.     jbe .L25
  1421.     leal    -542144(%rdx), %eax
  1422.     cmpl    $31, %eax
  1423.     jbe .L25
  1424.     leal    -214496(%rdx), %eax
  1425.     cmpl    $31, %eax
  1426.     jbe .L25
  1427.     leal    -181728(%rdx), %eax
  1428.     cmpl    $31, %eax
  1429.     jbe .L25
  1430.     leal    -181888(%rdx), %eax
  1431.     cmpl    $31, %eax
  1432.     jbe .L25
  1433.     leal    -181952(%rdx), %eax
  1434.     cmpl    $31, %eax
  1435.     jbe .L25
  1436.     leal    -313024(%rdx), %eax
  1437.     cmpl    $31, %eax
  1438.     jbe .L25
  1439.     leal    -214880(%rdx), %eax
  1440.     cmpl    $31, %eax
  1441.     jbe .L25
  1442.     leal    -444320(%rdx), %eax
  1443.     cmpl    $31, %eax
  1444.     jbe .L25
  1445.     leal    -509888(%rdx), %eax
  1446.     cmpl    $31, %eax
  1447.     jbe .L25
  1448.     leal    -411680(%rdx), %eax
  1449.     cmpl    $31, %eax
  1450.     jbe .L25
  1451.     leal    -313408(%rdx), %eax
  1452.     cmpl    $31, %eax
  1453.     jbe .L25
  1454.     leal    -510144(%rdx), %eax
  1455.     cmpl    $31, %eax
  1456.     jbe .L25
  1457.     leal    -313536(%rdx), %eax
  1458.     cmpl    $31, %eax
  1459.     jbe .L25
  1460.     leal    -346336(%rdx), %eax
  1461.     cmpl    $31, %eax
  1462.     jbe .L25
  1463.     leal    -182528(%rdx), %eax
  1464.     cmpl    $31, %eax
  1465.     jbe .L25
  1466.     leal    -346400(%rdx), %eax
  1467.     cmpl    $31, %eax
  1468.     jbe .L25
  1469.     leal    -444704(%rdx), %eax
  1470.     cmpl    $31, %eax
  1471.     jbe .L25
  1472.     leal    -346496(%rdx), %eax
  1473.     cmpl    $31, %eax
  1474.     jbe .L25
  1475.     leal    -182656(%rdx), %eax
  1476.     cmpl    $31, %eax
  1477.     jbe .L25
  1478.     leal    -346560(%rdx), %eax
  1479.     cmpl    $31, %eax
  1480.     jbe .L25
  1481.     leal    -248320(%rdx), %eax
  1482.     cmpl    $31, %eax
  1483.     jbe .L25
  1484.     leal    -182784(%rdx), %eax
  1485.     cmpl    $31, %eax
  1486.     jbe .L25
  1487.     leal    -477792(%rdx), %eax
  1488.     cmpl    $31, %eax
  1489.     jbe .L25
  1490.     leal    -182912(%rdx), %eax
  1491.     cmpl    $31, %eax
  1492.     jbe .L25
  1493.     leal    -248448(%rdx), %eax
  1494.     cmpl    $31, %eax
  1495.     jbe .L25
  1496.     leal    -477952(%rdx), %eax
  1497.     cmpl    $31, %eax
  1498.     jbe .L25
  1499.     leal    -478016(%rdx), %eax
  1500.     cmpl    $31, %eax
  1501.     jbe .L25
  1502.     leal    -346976(%rdx), %eax
  1503.     cmpl    $31, %eax
  1504.     jbe .L25
  1505.     leal    -412544(%rdx), %eax
  1506.     cmpl    $31, %eax
  1507.     jbe .L25
  1508.     leal    -478144(%rdx), %eax
  1509.     cmpl    $31, %eax
  1510.     jbe .L25
  1511.     leal    -379904(%rdx), %eax
  1512.     cmpl    $31, %eax
  1513.     jbe .L25
  1514.     leal    -347168(%rdx), %eax
  1515.     cmpl    $31, %eax
  1516.     jbe .L25
  1517.     leal    -52256(%rdx), %eax
  1518.     cmpl    $31, %eax
  1519.     jbe .L25
  1520.     leal    -511040(%rdx), %eax
  1521.     cmpl    $31, %eax
  1522.     jbe .L25
  1523.     leal    -478272(%rdx), %eax
  1524.     cmpl    $31, %eax
  1525.     jbe .L25
  1526.     leal    -478400(%rdx), %eax
  1527.     cmpl    $31, %eax
  1528.     jbe .L25
  1529.     leal    -183488(%rdx), %eax
  1530.     cmpl    $31, %eax
  1531.     jbe .L25
  1532.     leal    -576704(%rdx), %eax
  1533.     cmpl    $31, %eax
  1534.     jbe .L25
  1535.     leal    -478464(%rdx), %eax
  1536.     cmpl    $31, %eax
  1537.     jbe .L25
  1538.     leal    -183552(%rdx), %eax
  1539.     cmpl    $31, %eax
  1540.     jbe .L25
  1541.     leal    -446176(%rdx), %eax
  1542.     cmpl    $31, %eax
  1543.     jbe .L25
  1544.     leal    -151264(%rdx), %eax
  1545.     cmpl    $31, %eax
  1546.     jbe .L25
  1547.     leal    -446304(%rdx), %eax
  1548.     cmpl    $31, %eax
  1549.     jbe .L25
  1550.     leal    -151392(%rdx), %eax
  1551.     cmpl    $31, %eax
  1552.     jbe .L25
  1553.     leal    -184448(%rdx), %eax
  1554.     cmpl    $31, %eax
  1555.     jbe .L25
  1556.     leal    -151744(%rdx), %eax
  1557.     cmpl    $31, %eax
  1558.     jbe .L25
  1559.     leal    -151776(%rdx), %eax
  1560.     cmpl    $31, %eax
  1561.     jbe .L25
  1562.     leal    -151936(%rdx), %eax
  1563.     cmpl    $31, %eax
  1564.     jbe .L25
  1565.     leal    -152000(%rdx), %eax
  1566.     cmpl    $31, %eax
  1567.     jbe .L25
  1568.     leal    -119392(%rdx), %eax
  1569.     cmpl    $31, %eax
  1570.     jbe .L25
  1571.     leal    -250496(%rdx), %eax
  1572.     cmpl    $31, %eax
  1573.     jbe .L25
  1574.     leal    -381568(%rdx), %eax
  1575.     cmpl    $31, %eax
  1576.     jbe .L25
  1577.     leal    -21152(%rdx), %eax
  1578.     cmpl    $31, %eax
  1579.     jbe .L25
  1580.     leal    -185024(%rdx), %eax
  1581.     cmpl    $31, %eax
  1582.     jbe .L25
  1583.     leal    -479936(%rdx), %eax
  1584.     cmpl    $31, %eax
  1585.     jbe .L25
  1586.     leal    -447232(%rdx), %eax
  1587.     cmpl    $31, %eax
  1588.     jbe .L25
  1589.     leal    -185216(%rdx), %eax
  1590.     cmpl    $31, %eax
  1591.     jbe .L25
  1592.     leal    -578432(%rdx), %eax
  1593.     cmpl    $31, %eax
  1594.     jbe .L25
  1595.     leal    -447488(%rdx), %eax
  1596.     cmpl    $31, %eax
  1597.     jbe .L25
  1598.     leal    -316480(%rdx), %eax
  1599.     cmpl    $31, %eax
  1600.     jbe .L25
  1601.     leal    -119904(%rdx), %eax
  1602.     cmpl    $31, %eax
  1603.     jbe .L25
  1604.     leal    -414848(%rdx), %eax
  1605.     cmpl    $31, %eax
  1606.     jbe .L25
  1607.     leal    -218272(%rdx), %eax
  1608.     cmpl    $31, %eax
  1609.     jbe .L25
  1610.     leal    -415040(%rdx), %eax
  1611.     cmpl    $31, %eax
  1612.     jbe .L25
  1613.     leal    -447840(%rdx), %eax
  1614.     cmpl    $31, %eax
  1615.     jbe .L25
  1616.     leal    -316864(%rdx), %eax
  1617.     cmpl    $31, %eax
  1618.     jbe .L25
  1619.     leal    -448000(%rdx), %eax
  1620.     cmpl    $31, %eax
  1621.     jbe .L25
  1622.     leal    -448064(%rdx), %eax
  1623.     cmpl    $31, %eax
  1624.     jbe .L25
  1625.     leal    -316992(%rdx), %eax
  1626.     cmpl    $31, %eax
  1627.     jbe .L25
  1628.     leal    -415616(%rdx), %eax
  1629.     cmpl    $31, %eax
  1630.     jbe .L25
  1631.     leal    -120832(%rdx), %eax
  1632.     cmpl    $31, %eax
  1633.     jbe .L25
  1634.     leal    -251968(%rdx), %eax
  1635.     cmpl    $31, %eax
  1636.     jbe .L25
  1637.     leal    -383104(%rdx), %eax
  1638.     cmpl    $31, %eax
  1639.     jbe .L25
  1640.     leal    -88288(%rdx), %eax
  1641.     cmpl    $31, %eax
  1642.     jbe .L25
  1643.     leal    -121056(%rdx), %eax
  1644.     cmpl    $31, %eax
  1645.     jbe .L25
  1646.     leal    -547072(%rdx), %eax
  1647.     cmpl    $31, %eax
  1648.     jbe .L25
  1649.     leal    -383232(%rdx), %eax
  1650.     cmpl    $31, %eax
  1651.     jbe .L25
  1652.     leal    -252224(%rdx), %eax
  1653.     cmpl    $31, %eax
  1654.     jbe .L25
  1655.     leal    -284992(%rdx), %eax
  1656.     cmpl    $31, %eax
  1657.     jbe .L25
  1658.     leal    -416096(%rdx), %eax
  1659.     cmpl    $31, %eax
  1660.     jbe .L25
  1661.     leal    -285056(%rdx), %eax
  1662.     cmpl    $31, %eax
  1663.     jbe .L25
  1664.     leal    -416288(%rdx), %eax
  1665.     cmpl    $31, %eax
  1666.     jbe .L25
  1667.     leal    -318016(%rdx), %eax
  1668.     cmpl    $31, %eax
  1669.     jbe .L25
  1670.     leal    -187040(%rdx), %eax
  1671.     cmpl    $31, %eax
  1672.     jbe .L25
  1673.     leal    -219808(%rdx), %eax
  1674.     cmpl    $31, %eax
  1675.     jbe .L25
  1676.     leal    -318144(%rdx), %eax
  1677.     cmpl    $31, %eax
  1678.     jbe .L25
  1679.     leal    -88800(%rdx), %eax
  1680.     cmpl    $31, %eax
  1681.     jbe .L25
  1682.     leal    -547584(%rdx), %eax
  1683.     cmpl    $31, %eax
  1684.     jbe .L25
  1685.     leal    -449312(%rdx), %eax
  1686.     cmpl    $31, %eax
  1687.     jbe .L25
  1688.     leal    -219936(%rdx), %eax
  1689.     cmpl    $31, %eax
  1690.     jbe .L25
  1691.     leal    -514880(%rdx), %eax
  1692.     cmpl    $31, %eax
  1693.     jbe .L25
  1694.     leal    -121664(%rdx), %eax
  1695.     cmpl    $31, %eax
  1696.     jbe .L25
  1697.     leal    -547840(%rdx), %eax
  1698.     cmpl    $31, %eax
  1699.     jbe .L25
  1700.     leal    -318496(%rdx), %eax
  1701.     cmpl    $31, %eax
  1702.     jbe .L25
  1703.     leal    -318528(%rdx), %eax
  1704.     cmpl    $31, %eax
  1705.     jbe .L25
  1706.     leal    -416864(%rdx), %eax
  1707.     cmpl    $31, %eax
  1708.     jbe .L25
  1709.     leal    -547968(%rdx), %eax
  1710.     cmpl    $31, %eax
  1711.     jbe .L25
  1712.     leal    -318688(%rdx), %eax
  1713.     cmpl    $31, %eax
  1714.     jbe .L25
  1715.     leal    -449792(%rdx), %eax
  1716.     cmpl    $31, %eax
  1717.     jbe .L25
  1718.     leal    -318752(%rdx), %eax
  1719.     cmpl    $31, %eax
  1720.     jbe .L25
  1721.     leal    -318880(%rdx), %eax
  1722.     cmpl    $31, %eax
  1723.     jbe .L25
  1724.     leal    -253376(%rdx), %eax
  1725.     cmpl    $31, %eax
  1726.     jbe .L25
  1727.     leal    -449984(%rdx), %eax
  1728.     cmpl    $31, %eax
  1729.     jbe .L25
  1730.     leal    -155072(%rdx), %eax
  1731.     cmpl    $31, %eax
  1732.     jbe .L25
  1733.     leal    -548320(%rdx), %eax
  1734.     cmpl    $31, %eax
  1735.     jbe .L25
  1736.     leal    -548352(%rdx), %eax
  1737.     cmpl    $31, %eax
  1738.     jbe .L25
  1739.     leal    -319008(%rdx), %eax
  1740.     cmpl    $31, %eax
  1741.     jbe .L25
  1742.     leal    -253504(%rdx), %eax
  1743.     cmpl    $31, %eax
  1744.     jbe .L25
  1745.     leal    -89728(%rdx), %eax
  1746.     cmpl    $31, %eax
  1747.     jbe .L25
  1748.     leal    -548512(%rdx), %eax
  1749.     cmpl    $31, %eax
  1750.     jbe .L25
  1751.     leal    -253632(%rdx), %eax
  1752.     cmpl    $31, %eax
  1753.     jbe .L25
  1754.     leal    -548576(%rdx), %eax
  1755.     cmpl    $31, %eax
  1756.     jbe .L25
  1757.     leal    -253760(%rdx), %eax
  1758.     cmpl    $31, %eax
  1759.     jbe .L25
  1760.     leal    -89952(%rdx), %eax
  1761.     cmpl    $31, %eax
  1762.     jbe .L25
  1763.     leal    -548736(%rdx), %eax
  1764.     cmpl    $31, %eax
  1765.     jbe .L25
  1766.     leal    -319360(%rdx), %eax
  1767.     cmpl    $31, %eax
  1768.     jbe .L25
  1769.     leal    -319392(%rdx), %eax
  1770.     cmpl    $31, %eax
  1771.     jbe .L25
  1772.     leal    -450560(%rdx), %eax
  1773.     cmpl    $31, %eax
  1774.     jbe .L25
  1775.     leal    -483392(%rdx), %eax
  1776.     cmpl    $31, %eax
  1777.     jbe .L25
  1778.     leal    -319552(%rdx), %eax
  1779.     cmpl    $31, %eax
  1780.     jbe .L25
  1781.     leal    -319616(%rdx), %eax
  1782.     cmpl    $31, %eax
  1783.     jbe .L25
  1784.     leal    -90304(%rdx), %eax
  1785.     cmpl    $31, %eax
  1786.     jbe .L25
  1787.     leal    -516352(%rdx), %eax
  1788.     cmpl    $31, %eax
  1789.     jbe .L25
  1790.     leal    -155936(%rdx), %eax
  1791.     cmpl    $31, %eax
  1792.     jbe .L25
  1793.     leal    -24992(%rdx), %eax
  1794.     cmpl    $31, %eax
  1795.     jbe .L25
  1796.     leal    -90560(%rdx), %eax
  1797.     cmpl    $31, %eax
  1798.     jbe .L25
  1799.     leal    -516544(%rdx), %eax
  1800.     cmpl    $31, %eax
  1801.     jbe .L25
  1802.     leal    -319936(%rdx), %eax
  1803.     cmpl    $31, %eax
  1804.     jbe .L25
  1805.     leal    -352736(%rdx), %eax
  1806.     cmpl    $31, %eax
  1807.     jbe .L25
  1808.     leal    -549344(%rdx), %eax
  1809.     cmpl    $31, %eax
  1810.     jbe .L25
  1811.     leal    -57952(%rdx), %eax
  1812.     cmpl    $31, %eax
  1813.     jbe .L25
  1814.     leal    -58080(%rdx), %eax
  1815.     cmpl    $31, %eax
  1816.     jbe .L25
  1817.     leal    -418592(%rdx), %eax
  1818.     cmpl    $31, %eax
  1819.     jbe .L25
  1820.     leal    -320320(%rdx), %eax
  1821.     cmpl    $31, %eax
  1822.     jbe .L25
  1823.     leal    -353120(%rdx), %eax
  1824.     cmpl    $31, %eax
  1825.     jbe .L25
  1826.     leal    -385888(%rdx), %eax
  1827.     cmpl    $31, %eax
  1828.     jbe .L25
  1829.     leal    -320448(%rdx), %eax
  1830.     cmpl    $31, %eax
  1831.     jbe .L25
  1832.     leal    -320544(%rdx), %eax
  1833.     cmpl    $31, %eax
  1834.     jbe .L25
  1835.     leal    -123968(%rdx), %eax
  1836.     cmpl    $31, %eax
  1837.     jbe .L25
  1838.     leal    -58432(%rdx), %eax
  1839.     cmpl    $31, %eax
  1840.     jbe .L25
  1841.     leal    -386144(%rdx), %eax
  1842.     cmpl    $31, %eax
  1843.     jbe .L25
  1844.     leal    -58464(%rdx), %eax
  1845.     cmpl    $31, %eax
  1846.     jbe .L25
  1847.     leal    -255104(%rdx), %eax
  1848.     cmpl    $31, %eax
  1849.     jbe .L25
  1850.     leal    -320704(%rdx), %eax
  1851.     cmpl    $31, %eax
  1852.     jbe .L25
  1853.     leal    -320768(%rdx), %eax
  1854.     cmpl    $31, %eax
  1855.     jbe .L25
  1856.     leal    -58624(%rdx), %eax
  1857.     cmpl    $31, %eax
  1858.     jbe .L25
  1859.     leal    -58688(%rdx), %eax
  1860.     cmpl    $31, %eax
  1861.     jbe .L25
  1862.     leal    -222592(%rdx), %eax
  1863.     cmpl    $31, %eax
  1864.     jbe .L25
  1865.     leal    -320896(%rdx), %eax
  1866.     cmpl    $31, %eax
  1867.     jbe .L25
  1868.     leal    -255488(%rdx), %eax
  1869.     cmpl    $31, %eax
  1870.     jbe .L25
  1871.     leal    -386560(%rdx), %eax
  1872.     cmpl    $31, %eax
  1873.     jbe .L25
  1874.     leal    -321024(%rdx), %eax
  1875.     cmpl    $31, %eax
  1876.     jbe .L25
  1877.     leal    -517696(%rdx), %eax
  1878.     cmpl    $31, %eax
  1879.     jbe .L25
  1880.     leal    -222848(%rdx), %eax
  1881.     cmpl    $31, %eax
  1882.     jbe .L25
  1883.     leal    -321152(%rdx), %eax
  1884.     cmpl    $31, %eax
  1885.     jbe .L25
  1886.     leal    -321216(%rdx), %eax
  1887.     cmpl    $31, %eax
  1888.     jbe .L25
  1889.     leal    -485120(%rdx), %eax
  1890.     cmpl    $31, %eax
  1891.     jbe .L25
  1892.     leal    -517888(%rdx), %eax
  1893.     cmpl    $31, %eax
  1894.     jbe .L25
  1895.     leal    -26464(%rdx), %eax
  1896.     cmpl    $31, %eax
  1897.     jbe .L25
  1898.     leal    -354176(%rdx), %eax
  1899.     cmpl    $31, %eax
  1900.     jbe .L25
  1901.     leal    -518016(%rdx), %eax
  1902.     cmpl    $31, %eax
  1903.     jbe .L25
  1904.     leal    -354272(%rdx), %eax
  1905.     cmpl    $31, %eax
  1906.     jbe .L25
  1907.     leal    -223264(%rdx), %eax
  1908.     cmpl    $31, %eax
  1909.     jbe .L25
  1910.     leal    -452672(%rdx), %eax
  1911.     cmpl    $31, %eax
  1912.     jbe .L25
  1913.     leal    -518208(%rdx), %eax
  1914.     cmpl    $31, %eax
  1915.     jbe .L25
  1916.     leal    -321664(%rdx), %eax
  1917.     cmpl    $31, %eax
  1918.     jbe .L25
  1919.     leal    -223392(%rdx), %eax
  1920.     cmpl    $31, %eax
  1921.     jbe .L25
  1922.     leal    -584096(%rdx), %eax
  1923.     cmpl    $31, %eax
  1924.     jbe .L25
  1925.     leal    -354752(%rdx), %eax
  1926.     cmpl    $31, %eax
  1927.     jbe .L25
  1928.     leal    -322048(%rdx), %eax
  1929.     cmpl    $31, %eax
  1930.     jbe .L25
  1931.     leal    -354944(%rdx), %eax
  1932.     cmpl    $31, %eax
  1933.     jbe .L25
  1934.     leal    -322176(%rdx), %eax
  1935.     cmpl    $31, %eax
  1936.     jbe .L25
  1937.     leal    -551648(%rdx), %eax
  1938.     cmpl    $31, %eax
  1939.     jbe .L25
  1940.     leal    -584576(%rdx), %eax
  1941.     cmpl    $31, %eax
  1942.     jbe .L25
  1943.     leal    -191360(%rdx), %eax
  1944.     cmpl    $31, %eax
  1945.     jbe .L25
  1946.     leal    -584768(%rdx), %eax
  1947.     cmpl    $31, %eax
  1948.     jbe .L25
  1949.     leal    -224320(%rdx), %eax
  1950.     cmpl    $31, %eax
  1951.     jbe .L25
  1952.     leal    -388224(%rdx), %eax
  1953.     cmpl    $31, %eax
  1954.     jbe .L25
  1955.     leal    -289984(%rdx), %eax
  1956.     cmpl    $31, %eax
  1957.     jbe .L25
  1958.     leal    -388384(%rdx), %eax
  1959.     cmpl    $31, %eax
  1960.     jbe .L25
  1961.     leal    -519488(%rdx), %eax
  1962.     cmpl    $31, %eax
  1963.     jbe .L25
  1964.     leal    -28000(%rdx), %eax
  1965.     cmpl    $31, %eax
  1966.     jbe .L25
  1967.     leal    -28128(%rdx), %eax
  1968.     cmpl    $31, %eax
  1969.     jbe .L25
  1970.     leal    -454144(%rdx), %eax
  1971.     cmpl    $31, %eax
  1972.     jbe .L25
  1973.     leal    -552512(%rdx), %eax
  1974.     cmpl    $31, %eax
  1975.     jbe .L25
  1976.     leal    -585344(%rdx), %eax
  1977.     cmpl    $31, %eax
  1978.     jbe .L25
  1979.     leal    -323200(%rdx), %eax
  1980.     cmpl    $31, %eax
  1981.     jbe .L25
  1982.     leal    -224928(%rdx), %eax
  1983.     cmpl    $31, %eax
  1984.     jbe .L25
  1985.     leal    -519872(%rdx), %eax
  1986.     cmpl    $31, %eax
  1987.     jbe .L25
  1988.     leal    -323328(%rdx), %eax
  1989.     cmpl    $31, %eax
  1990.     jbe .L25
  1991.     leal    -225088(%rdx), %eax
  1992.     cmpl    $31, %eax
  1993.     jbe .L25
  1994.     leal    -225152(%rdx), %eax
  1995.     cmpl    $31, %eax
  1996.     jbe .L25
  1997.     leal    -454720(%rdx), %eax
  1998.     cmpl    $31, %eax
  1999.     jbe .L25
  2000.     leal    -323680(%rdx), %eax
  2001.     cmpl    $31, %eax
  2002.     jbe .L25
  2003.     leal    -323712(%rdx), %eax
  2004.     cmpl    $31, %eax
  2005.     jbe .L25
  2006.     leal    -422048(%rdx), %eax
  2007.     cmpl    $31, %eax
  2008.     jbe .L25
  2009.     leal    -323872(%rdx), %eax
  2010.     cmpl    $31, %eax
  2011.     jbe .L25
  2012.     leal    -61760(%rdx), %eax
  2013.     cmpl    $31, %eax
  2014.     jbe .L25
  2015.     leal    -323936(%rdx), %eax
  2016.     cmpl    $31, %eax
  2017.     jbe .L25
  2018.     leal    -586080(%rdx), %eax
  2019.     cmpl    $31, %eax
  2020.     jbe .L25
  2021.     leal    -324000(%rdx), %eax
  2022.     cmpl    $31, %eax
  2023.     jbe .L25
  2024.     leal    -455104(%rdx), %eax
  2025.     cmpl    $31, %eax
  2026.     jbe .L25
  2027.     leal    -160256(%rdx), %eax
  2028.     cmpl    $31, %eax
  2029.     jbe .L25
  2030.     leal    -586240(%rdx), %eax
  2031.     cmpl    $31, %eax
  2032.     jbe .L25
  2033.     leal    -586304(%rdx), %eax
  2034.     cmpl    $31, %eax
  2035.     jbe .L25
  2036.     leal    -193088(%rdx), %eax
  2037.     cmpl    $31, %eax
  2038.     jbe .L25
  2039.     leal    -324160(%rdx), %eax
  2040.     cmpl    $31, %eax
  2041.     jbe .L25
  2042.     leal    -455232(%rdx), %eax
  2043.     cmpl    $31, %eax
  2044.     jbe .L25
  2045.     leal    -324224(%rdx), %eax
  2046.     cmpl    $31, %eax
  2047.     jbe .L25
  2048.     leal    -389888(%rdx), %eax
  2049.     cmpl    $31, %eax
  2050.     jbe .L25
  2051.     leal    -127744(%rdx), %eax
  2052.     cmpl    $31, %eax
  2053.     jbe .L25
  2054.     leal    -324352(%rdx), %eax
  2055.     cmpl    $31, %eax
  2056.     jbe .L25
  2057.     leal    -357248(%rdx), %eax
  2058.     cmpl    $31, %eax
  2059.     jbe .L25
  2060.     leal    -324480(%rdx), %eax
  2061.     cmpl    $31, %eax
  2062.     jbe .L25
  2063.     leal    -29600(%rdx), %eax
  2064.     cmpl    $31, %eax
  2065.     jbe .L25
  2066.     leal    -324608(%rdx), %eax
  2067.     cmpl    $31, %eax
  2068.     jbe .L25
  2069.     leal    -455680(%rdx), %eax
  2070.     cmpl    $31, %eax
  2071.     jbe .L25
  2072.     leal    -324672(%rdx), %eax
  2073.     cmpl    $31, %eax
  2074.     jbe .L25
  2075.     leal    -586880(%rdx), %eax
  2076.     cmpl    $31, %eax
  2077.     jbe .L25
  2078.     leal    -390272(%rdx), %eax
  2079.     cmpl    $31, %eax
  2080.     jbe .L25
  2081.     leal    -455808(%rdx), %eax
  2082.     cmpl    $31, %eax
  2083.     jbe .L25
  2084.     leal    -128128(%rdx), %eax
  2085.     cmpl    $31, %eax
  2086.     jbe .L25
  2087.     leal    -62624(%rdx), %eax
  2088.     cmpl    $31, %eax
  2089.     jbe .L25
  2090.     leal    -587008(%rdx), %eax
  2091.     cmpl    $31, %eax
  2092.     jbe .L25
  2093.     leal    -29984(%rdx), %eax
  2094.     cmpl    $31, %eax
  2095.     jbe .L25
  2096.     leal    -324928(%rdx), %eax
  2097.     cmpl    $31, %eax
  2098.     jbe .L25
  2099.     leal    -259424(%rdx), %eax
  2100.     cmpl    $31, %eax
  2101.     jbe .L25
  2102.     leal    -587136(%rdx), %eax
  2103.     cmpl    $31, %eax
  2104.     jbe .L25
  2105.     leal    -325056(%rdx), %eax
  2106.     cmpl    $31, %eax
  2107.     jbe .L25
  2108.     leal    -587264(%rdx), %eax
  2109.     cmpl    $31, %eax
  2110.     jbe .L25
  2111.     leal    -128512(%rdx), %eax
  2112.     cmpl    $31, %eax
  2113.     jbe .L25
  2114.     leal    -128640(%rdx), %eax
  2115.     cmpl    $31, %eax
  2116.     jbe .L25
  2117.     leal    -358048(%rdx), %eax
  2118.     cmpl    $31, %eax
  2119.     jbe .L25
  2120.     leal    -259808(%rdx), %eax
  2121.     cmpl    $31, %eax
  2122.     jbe .L25
  2123.     leal    -325408(%rdx), %eax
  2124.     cmpl    $31, %eax
  2125.     jbe .L25
  2126.     leal    -358176(%rdx), %eax
  2127.     cmpl    $31, %eax
  2128.     jbe .L25
  2129.     leal    -554816(%rdx), %eax
  2130.     cmpl    $31, %eax
  2131.     jbe .L25
  2132.     leal    -325440(%rdx), %eax
  2133.     cmpl    $31, %eax
  2134.     jbe .L25
  2135.     leal    -325600(%rdx), %eax
  2136.     cmpl    $31, %eax
  2137.     jbe .L25
  2138.     leal    -325664(%rdx), %eax
  2139.     cmpl    $31, %eax
  2140.     jbe .L25
  2141.     leal    -587840(%rdx), %eax
  2142.     cmpl    $31, %eax
  2143.     jbe .L25
  2144.     leal    -555072(%rdx), %eax
  2145.     cmpl    $31, %eax
  2146.     jbe .L25
  2147.     leal    -587904(%rdx), %eax
  2148.     cmpl    $31, %eax
  2149.     jbe .L25
  2150.     leal    -161984(%rdx), %eax
  2151.     cmpl    $31, %eax
  2152.     jbe .L25
  2153.     leal    -129408(%rdx), %eax
  2154.     cmpl    $31, %eax
  2155.     jbe .L25
  2156.     leal    -391616(%rdx), %eax
  2157.     cmpl    $31, %eax
  2158.     jbe .L25
  2159.     leal    -457280(%rdx), %eax
  2160.     cmpl    $31, %eax
  2161.     jbe .L25
  2162.     leal    -391744(%rdx), %eax
  2163.     cmpl    $31, %eax
  2164.     jbe .L25
  2165.     leal    -293440(%rdx), %eax
  2166.     cmpl    $31, %eax
  2167.     jbe .L25
  2168.     leal    -555648(%rdx), %eax
  2169.     cmpl    $31, %eax
  2170.     jbe .L25
  2171.     leal    -359104(%rdx), %eax
  2172.     cmpl    $31, %eax
  2173.     jbe .L25
  2174.     leal    -391872(%rdx), %eax
  2175.     cmpl    $31, %eax
  2176.     jbe .L25
  2177.     leal    -260864(%rdx), %eax
  2178.     cmpl    $31, %eax
  2179.     jbe .L25
  2180.     leal    -392000(%rdx), %eax
  2181.     cmpl    $31, %eax
  2182.     jbe .L25
  2183.     leal    -260960(%rdx), %eax
  2184.     cmpl    $31, %eax
  2185.     jbe .L25
  2186.     leal    -457664(%rdx), %eax
  2187.     cmpl    $31, %eax
  2188.     jbe .L25
  2189.     leal    -228320(%rdx), %eax
  2190.     cmpl    $31, %eax
  2191.     jbe .L25
  2192.     leal    -556000(%rdx), %eax
  2193.     cmpl    $31, %eax
  2194.     jbe .L25
  2195.     leal    -588800(%rdx), %eax
  2196.     cmpl    $31, %eax
  2197.     jbe .L25
  2198.     leal    -359712(%rdx), %eax
  2199.     cmpl    $31, %eax
  2200.     jbe .L25
  2201.     leal    -261440(%rdx), %eax
  2202.     cmpl    $31, %eax
  2203.     jbe .L25
  2204.     leal    -228704(%rdx), %eax
  2205.     cmpl    $31, %eax
  2206.     jbe .L25
  2207.     leal    -359872(%rdx), %eax
  2208.     cmpl    $31, %eax
  2209.     jbe .L25
  2210.     leal    -359936(%rdx), %eax
  2211.     cmpl    $31, %eax
  2212.     jbe .L25
  2213.     leal    -261632(%rdx), %eax
  2214.     cmpl    $31, %eax
  2215.     jbe .L25
  2216.     leal    -425504(%rdx), %eax
  2217.     cmpl    $31, %eax
  2218.     jbe .L25
  2219.     leal    -589376(%rdx), %eax
  2220.     cmpl    $31, %eax
  2221.     jbe .L25
  2222.     leal    -392800(%rdx), %eax
  2223.     cmpl    $31, %eax
  2224.     jbe .L25
  2225.     leal    -589568(%rdx), %eax
  2226.     cmpl    $31, %eax
  2227.     jbe .L25
  2228.     leal    -556832(%rdx), %eax
  2229.     cmpl    $31, %eax
  2230.     jbe .L25
  2231.     leal    -393056(%rdx), %eax
  2232.     cmpl    $31, %eax
  2233.     jbe .L25
  2234.     leal    -98176(%rdx), %eax
  2235.     cmpl    $31, %eax
  2236.     jbe .L25
  2237.     leal    -196544(%rdx), %eax
  2238.     cmpl    $31, %eax
  2239.     jbe .L25
  2240.     leal    -393152(%rdx), %eax
  2241.     cmpl    $31, %eax
  2242.     ja  .L26
  2243. .L25:
  2244.     movl    $1, %esi
  2245.     movl    $.LC8, %edi
  2246.     xorl    %eax, %eax
  2247.     call    printf
  2248.     jmp .L168
  2249. .L26:
  2250.     leal    -131200(%rdx), %eax
  2251.     cmpl    $31, %eax
  2252.     jbe .L27
  2253.     leal    -32800(%rdx), %eax
  2254.     cmpl    $31, %eax
  2255.     jbe .L27
  2256.     leal    -524416(%rdx), %eax
  2257.     cmpl    $31, %eax
  2258.     jbe .L27
  2259.     leal    -131264(%rdx), %eax
  2260.     cmpl    $31, %eax
  2261.     jbe .L27
  2262.     leal    -344320(%rdx), %eax
  2263.     cmpl    $31, %eax
  2264.     jbe .L27
  2265.     leal    -262496(%rdx), %eax
  2266.     cmpl    $31, %eax
  2267.     jbe .L27
  2268.     leal    -278912(%rdx), %eax
  2269.     cmpl    $31, %eax
  2270.     jbe .L27
  2271.     leal    -426400(%rdx), %eax
  2272.     cmpl    $31, %eax
  2273.     jbe .L27
  2274.     leal    -246208(%rdx), %eax
  2275.     cmpl    $31, %eax
  2276.     jbe .L27
  2277.     leal    -410240(%rdx), %eax
  2278.     cmpl    $31, %eax
  2279.     jbe .L27
  2280.     leal    -131776(%rdx), %eax
  2281.     cmpl    $31, %eax
  2282.     jbe .L27
  2283.     leal    -574144(%rdx), %eax
  2284.     cmpl    $31, %eax
  2285.     jbe .L27
  2286.     leal    -377536(%rdx), %eax
  2287.     cmpl    $31, %eax
  2288.     jbe .L27
  2289.     leal    -459488(%rdx), %eax
  2290.     cmpl    $31, %eax
  2291.     jbe .L27
  2292.     leal    -508640(%rdx), %eax
  2293.     cmpl    $31, %eax
  2294.     jbe .L27
  2295.     leal    -574208(%rdx), %eax
  2296.     cmpl    $31, %eax
  2297.     jbe .L27
  2298.     leal    -328480(%rdx), %eax
  2299.     cmpl    $31, %eax
  2300.     jbe .L27
  2301.     leal    -132032(%rdx), %eax
  2302.     cmpl    $31, %eax
  2303.     jbe .L27
  2304.     leal    -328672(%rdx), %eax
  2305.     cmpl    $31, %eax
  2306.     jbe .L27
  2307.     leal    -410624(%rdx), %eax
  2308.     cmpl    $31, %eax
  2309.     jbe .L27
  2310.     leal    -263264(%rdx), %eax
  2311.     cmpl    $31, %eax
  2312.     jbe .L27
  2313.     leal    -115808(%rdx), %eax
  2314.     cmpl    $31, %eax
  2315.     jbe .L27
  2316.     leal    -263328(%rdx), %eax
  2317.     cmpl    $31, %eax
  2318.     jbe .L27
  2319.     leal    -115872(%rdx), %eax
  2320.     cmpl    $31, %eax
  2321.     jbe .L27
  2322.     leal    -214240(%rdx), %eax
  2323.     cmpl    $31, %eax
  2324.     jbe .L27
  2325.     leal    -394496(%rdx), %eax
  2326.     cmpl    $31, %eax
  2327.     jbe .L27
  2328.     leal    -607520(%rdx), %eax
  2329.     cmpl    $31, %eax
  2330.     jbe .L27
  2331.     leal    -116064(%rdx), %eax
  2332.     cmpl    $31, %eax
  2333.     jbe .L27
  2334.     leal    -411008(%rdx), %eax
  2335.     cmpl    $31, %eax
  2336.     jbe .L27
  2337.     leal    -411072(%rdx), %eax
  2338.     cmpl    $31, %eax
  2339.     jbe .L27
  2340.     leal    -607712(%rdx), %eax
  2341.     cmpl    $31, %eax
  2342.     jbe .L27
  2343.     leal    -116224(%rdx), %eax
  2344.     cmpl    $31, %eax
  2345.     jbe .L27
  2346.     leal    -460320(%rdx), %eax
  2347.     cmpl    $31, %eax
  2348.     jbe .L27
  2349.     leal    -607776(%rdx), %eax
  2350.     cmpl    $31, %eax
  2351.     jbe .L27
  2352.     leal    -509472(%rdx), %eax
  2353.     cmpl    $31, %eax
  2354.     jbe .L27
  2355.     leal    -116288(%rdx), %eax
  2356.     cmpl    $31, %eax
  2357.     jbe .L27
  2358.     leal    -34528(%rdx), %eax
  2359.     cmpl    $31, %eax
  2360.     jbe .L27
  2361.     leal    -509696(%rdx), %eax
  2362.     cmpl    $31, %eax
  2363.     jbe .L27
  2364.     leal    -116480(%rdx), %eax
  2365.     cmpl    $31, %eax
  2366.     jbe .L27
  2367.     leal    -378656(%rdx), %eax
  2368.     cmpl    $31, %eax
  2369.     jbe .L27
  2370.     leal    -526240(%rdx), %eax
  2371.     cmpl    $31, %eax
  2372.     jbe .L27
  2373.     leal    -378912(%rdx), %eax
  2374.     cmpl    $31, %eax
  2375.     jbe .L27
  2376.     leal    -395328(%rdx), %eax
  2377.     cmpl    $31, %eax
  2378.     jbe .L27
  2379.     leal    -247936(%rdx), %eax
  2380.     cmpl    $31, %eax
  2381.     jbe .L27
  2382.     leal    -51424(%rdx), %eax
  2383.     cmpl    $31, %eax
  2384.     jbe .L27
  2385.     leal    -543040(%rdx), %eax
  2386.     cmpl    $31, %eax
  2387.     jbe .L27
  2388.     leal    -526720(%rdx), %eax
  2389.     cmpl    $31, %eax
  2390.     jbe .L27
  2391.     leal    -199168(%rdx), %eax
  2392.     cmpl    $31, %eax
  2393.     jbe .L27
  2394.     leal    -543296(%rdx), %eax
  2395.     cmpl    $31, %eax
  2396.     jbe .L27
  2397.     leal    -395840(%rdx), %eax
  2398.     cmpl    $31, %eax
  2399.     jbe .L27
  2400.     leal    -526912(%rdx), %eax
  2401.     cmpl    $31, %eax
  2402.     jbe .L27
  2403.     leal    -363104(%rdx), %eax
  2404.     cmpl    $31, %eax
  2405.     jbe .L27
  2406.     leal    -379488(%rdx), %eax
  2407.     cmpl    $31, %eax
  2408.     jbe .L27
  2409.     leal    -346816(%rdx), %eax
  2410.     cmpl    $31, %eax
  2411.     jbe .L27
  2412.     leal    -396032(%rdx), %eax
  2413.     cmpl    $31, %eax
  2414.     jbe .L27
  2415.     leal    -396096(%rdx), %eax
  2416.     cmpl    $31, %eax
  2417.     jbe .L27
  2418.     leal    -379840(%rdx), %eax
  2419.     cmpl    $31, %eax
  2420.     jbe .L27
  2421.     leal    -527296(%rdx), %eax
  2422.     cmpl    $31, %eax
  2423.     jbe .L27
  2424.     leal    -609248(%rdx), %eax
  2425.     cmpl    $31, %eax
  2426.     jbe .L27
  2427.     leal    -625664(%rdx), %eax
  2428.     cmpl    $31, %eax
  2429.     jbe .L27
  2430.     leal    -281632(%rdx), %eax
  2431.     cmpl    $31, %eax
  2432.     jbe .L27
  2433.     leal    -232544(%rdx), %eax
  2434.     cmpl    $31, %eax
  2435.     jbe .L27
  2436.     leal    -330880(%rdx), %eax
  2437.     cmpl    $31, %eax
  2438.     jbe .L27
  2439.     leal    -461984(%rdx), %eax
  2440.     cmpl    $31, %eax
  2441.     jbe .L27
  2442.     leal    -609440(%rdx), %eax
  2443.     cmpl    $31, %eax
  2444.     jbe .L27
  2445.     leal    -625856(%rdx), %eax
  2446.     cmpl    $31, %eax
  2447.     jbe .L27
  2448.     leal    -462048(%rdx), %eax
  2449.     cmpl    $31, %eax
  2450.     jbe .L27
  2451.     leal    -609504(%rdx), %eax
  2452.     cmpl    $31, %eax
  2453.     jbe .L27
  2454.     leal    -330976(%rdx), %eax
  2455.     cmpl    $31, %eax
  2456.     jbe .L27
  2457.     leal    -625920(%rdx), %eax
  2458.     cmpl    $31, %eax
  2459.     jbe .L27
  2460.     leal    -232736(%rdx), %eax
  2461.     cmpl    $31, %eax
  2462.     jbe .L27
  2463.     leal    -527680(%rdx), %eax
  2464.     cmpl    $31, %eax
  2465.     jbe .L27
  2466.     leal    -232800(%rdx), %eax
  2467.     cmpl    $31, %eax
  2468.     jbe .L27
  2469.     leal    -363936(%rdx), %eax
  2470.     cmpl    $31, %eax
  2471.     jbe .L27
  2472.     leal    -101920(%rdx), %eax
  2473.     cmpl    $31, %eax
  2474.     jbe .L27
  2475.     leal    -528064(%rdx), %eax
  2476.     cmpl    $31, %eax
  2477.     jbe .L27
  2478.     leal    -331456(%rdx), %eax
  2479.     cmpl    $31, %eax
  2480.     jbe .L27
  2481.     leal    -610016(%rdx), %eax
  2482.     cmpl    $31, %eax
  2483.     jbe .L27
  2484.     leal    -380672(%rdx), %eax
  2485.     cmpl    $31, %eax
  2486.     jbe .L27
  2487.     leal    -610080(%rdx), %eax
  2488.     cmpl    $31, %eax
  2489.     jbe .L27
  2490.     leal    -348032(%rdx), %eax
  2491.     cmpl    $31, %eax
  2492.     jbe .L27
  2493.     leal    -479104(%rdx), %eax
  2494.     cmpl    $31, %eax
  2495.     jbe .L27
  2496.     leal    -528256(%rdx), %eax
  2497.     cmpl    $31, %eax
  2498.     jbe .L27
  2499.     leal    -495520(%rdx), %eax
  2500.     cmpl    $31, %eax
  2501.     jbe .L27
  2502.     leal    -511936(%rdx), %eax
  2503.     cmpl    $31, %eax
  2504.     jbe .L27
  2505.     leal    -610272(%rdx), %eax
  2506.     cmpl    $31, %eax
  2507.     jbe .L27
  2508.     leal    -462816(%rdx), %eax
  2509.     cmpl    $31, %eax
  2510.     jbe .L27
  2511.     leal    -364544(%rdx), %eax
  2512.     cmpl    $31, %eax
  2513.     jbe .L27
  2514.     leal    -118816(%rdx), %eax
  2515.     cmpl    $31, %eax
  2516.     jbe .L27
  2517.     leal    -266272(%rdx), %eax
  2518.     cmpl    $31, %eax
  2519.     jbe .L27
  2520.     leal    -610432(%rdx), %eax
  2521.     cmpl    $31, %eax
  2522.     jbe .L27
  2523.     leal    -462976(%rdx), %eax
  2524.     cmpl    $31, %eax
  2525.     jbe .L27
  2526.     leal    -53408(%rdx), %eax
  2527.     cmpl    $31, %eax
  2528.     jbe .L27
  2529.     leal    -610496(%rdx), %eax
  2530.     cmpl    $31, %eax
  2531.     jbe .L27
  2532.     leal    -512192(%rdx), %eax
  2533.     cmpl    $31, %eax
  2534.     jbe .L27
  2535.     leal    -200960(%rdx), %eax
  2536.     cmpl    $31, %eax
  2537.     jbe .L27
  2538.     leal    -610688(%rdx), %eax
  2539.     cmpl    $31, %eax
  2540.     jbe .L27
  2541.     leal    -201152(%rdx), %eax
  2542.     cmpl    $31, %eax
  2543.     jbe .L27
  2544.     leal    -496096(%rdx), %eax
  2545.     cmpl    $31, %eax
  2546.     jbe .L27
  2547.     leal    -332384(%rdx), %eax
  2548.     cmpl    $31, %eax
  2549.     jbe .L27
  2550.     leal    -348800(%rdx), %eax
  2551.     cmpl    $31, %eax
  2552.     jbe .L27
  2553.     leal    -332448(%rdx), %eax
  2554.     cmpl    $31, %eax
  2555.     jbe .L27
  2556.     leal    -496288(%rdx), %eax
  2557.     cmpl    $31, %eax
  2558.     jbe .L27
  2559.     leal    -348864(%rdx), %eax
  2560.     cmpl    $31, %eax
  2561.     jbe .L27
  2562.     leal    -283360(%rdx), %eax
  2563.     cmpl    $31, %eax
  2564.     jbe .L27
  2565.     leal    -299776(%rdx), %eax
  2566.     cmpl    $31, %eax
  2567.     jbe .L27
  2568.     leal    -463808(%rdx), %eax
  2569.     cmpl    $31, %eax
  2570.     jbe .L27
  2571.     leal    -529376(%rdx), %eax
  2572.     cmpl    $31, %eax
  2573.     jbe .L27
  2574.     leal    -349184(%rdx), %eax
  2575.     cmpl    $31, %eax
  2576.     jbe .L27
  2577.     leal    -168992(%rdx), %eax
  2578.     cmpl    $31, %eax
  2579.     jbe .L27
  2580.     leal    -529440(%rdx), %eax
  2581.     cmpl    $31, %eax
  2582.     jbe .L27
  2583.     leal    -349376(%rdx), %eax
  2584.     cmpl    $31, %eax
  2585.     jbe .L27
  2586.     leal    -349440(%rdx), %eax
  2587.     cmpl    $31, %eax
  2588.     jbe .L27
  2589.     leal    -333216(%rdx), %eax
  2590.     cmpl    $31, %eax
  2591.     jbe .L27
  2592.     leal    -234976(%rdx), %eax
  2593.     cmpl    $31, %eax
  2594.     jbe .L27
  2595.     leal    -480832(%rdx), %eax
  2596.     cmpl    $31, %eax
  2597.     jbe .L27
  2598.     leal    -333376(%rdx), %eax
  2599.     cmpl    $31, %eax
  2600.     jbe .L27
  2601.     leal    -333440(%rdx), %eax
  2602.     cmpl    $31, %eax
  2603.     jbe .L27
  2604.     leal    -546496(%rdx), %eax
  2605.     cmpl    $31, %eax
  2606.     jbe .L27
  2607.     leal    -382720(%rdx), %eax
  2608.     cmpl    $31, %eax
  2609.     jbe .L27
  2610.     leal    -530208(%rdx), %eax
  2611.     cmpl    $31, %eax
  2612.     jbe .L27
  2613.     leal    -481088(%rdx), %eax
  2614.     cmpl    $31, %eax
  2615.     jbe .L27
  2616.     leal    -153440(%rdx), %eax
  2617.     cmpl    $31, %eax
  2618.     jbe .L27
  2619.     leal    -169824(%rdx), %eax
  2620.     cmpl    $31, %eax
  2621.     jbe .L27
  2622.     leal    -530368(%rdx), %eax
  2623.     cmpl    $31, %eax
  2624.     jbe .L27
  2625.     leal    -579584(%rdx), %eax
  2626.     cmpl    $31, %eax
  2627.     jbe .L27
  2628.     leal    -333952(%rdx), %eax
  2629.     cmpl    $31, %eax
  2630.     jbe .L27
  2631.     leal    -219424(%rdx), %eax
  2632.     cmpl    $31, %eax
  2633.     jbe .L27
  2634.     leal    -448864(%rdx), %eax
  2635.     cmpl    $31, %eax
  2636.     jbe .L27
  2637.     leal    -334208(%rdx), %eax
  2638.     cmpl    $31, %eax
  2639.     jbe .L27
  2640.     leal    -465280(%rdx), %eax
  2641.     cmpl    $31, %eax
  2642.     jbe .L27
  2643.     leal    -154016(%rdx), %eax
  2644.     cmpl    $31, %eax
  2645.     jbe .L27
  2646.     leal    -121312(%rdx), %eax
  2647.     cmpl    $31, %eax
  2648.     jbe .L27
  2649.     leal    -268768(%rdx), %eax
  2650.     cmpl    $31, %eax
  2651.     jbe .L27
  2652.     leal    -596608(%rdx), %eax
  2653.     cmpl    $31, %eax
  2654.     jbe .L27
  2655.     leal    -154272(%rdx), %eax
  2656.     cmpl    $31, %eax
  2657.     jbe .L27
  2658.     leal    -596672(%rdx), %eax
  2659.     cmpl    $31, %eax
  2660.     jbe .L27
  2661.     leal    -531200(%rdx), %eax
  2662.     cmpl    $31, %eax
  2663.     jbe .L27
  2664.     leal    -449440(%rdx), %eax
  2665.     cmpl    $31, %eax
  2666.     jbe .L27
  2667.     leal    -449632(%rdx), %eax
  2668.     cmpl    $31, %eax
  2669.     jbe .L27
  2670.     leal    -269440(%rdx), %eax
  2671.     cmpl    $31, %eax
  2672.     jbe .L27
  2673.     leal    -433312(%rdx), %eax
  2674.     cmpl    $31, %eax
  2675.     jbe .L27
  2676.     leal    -236704(%rdx), %eax
  2677.     cmpl    $31, %eax
  2678.     jbe .L27
  2679.     leal    -597184(%rdx), %eax
  2680.     cmpl    $31, %eax
  2681.     jbe .L27
  2682.     leal    -253120(%rdx), %eax
  2683.     cmpl    $31, %eax
  2684.     jbe .L27
  2685.     leal    -56608(%rdx), %eax
  2686.     cmpl    $31, %eax
  2687.     jbe .L27
  2688.     leal    -302432(%rdx), %eax
  2689.     cmpl    $31, %eax
  2690.     jbe .L27
  2691.     leal    -597376(%rdx), %eax
  2692.     cmpl    $31, %eax
  2693.     jbe .L27
  2694.     leal    -302496(%rdx), %eax
  2695.     cmpl    $31, %eax
  2696.     jbe .L27
  2697.     leal    -384448(%rdx), %eax
  2698.     cmpl    $31, %eax
  2699.     jbe .L27
  2700.     leal    -531936(%rdx), %eax
  2701.     cmpl    $31, %eax
  2702.     jbe .L27
  2703.     leal    -597504(%rdx), %eax
  2704.     cmpl    $31, %eax
  2705.     jbe .L27
  2706.     leal    -302688(%rdx), %eax
  2707.     cmpl    $31, %eax
  2708.     jbe .L27
  2709.     leal    -122528(%rdx), %eax
  2710.     cmpl    $31, %eax
  2711.     jbe .L27
  2712.     leal    -532160(%rdx), %eax
  2713.     cmpl    $31, %eax
  2714.     jbe .L27
  2715.     leal    -138944(%rdx), %eax
  2716.     cmpl    $31, %eax
  2717.     jbe .L27
  2718.     leal    -433888(%rdx), %eax
  2719.     cmpl    $31, %eax
  2720.     jbe .L27
  2721.     leal    -302848(%rdx), %eax
  2722.     cmpl    $31, %eax
  2723.     jbe .L27
  2724.     leal    -106240(%rdx), %eax
  2725.     cmpl    $31, %eax
  2726.     jbe .L27
  2727.     leal    -302912(%rdx), %eax
  2728.     cmpl    $31, %eax
  2729.     jbe .L27
  2730.     leal    -270176(%rdx), %eax
  2731.     cmpl    $31, %eax
  2732.     jbe .L27
  2733.     leal    -270240(%rdx), %eax
  2734.     cmpl    $31, %eax
  2735.     jbe .L27
  2736.     leal    -434080(%rdx), %eax
  2737.     cmpl    $31, %eax
  2738.     jbe .L27
  2739.     leal    -401344(%rdx), %eax
  2740.     cmpl    $31, %eax
  2741.     jbe .L27
  2742.     leal    -221152(%rdx), %eax
  2743.     cmpl    $31, %eax
  2744.     jbe .L27
  2745.     leal    -303104(%rdx), %eax
  2746.     cmpl    $31, %eax
  2747.     jbe .L27
  2748.     leal    -614432(%rdx), %eax
  2749.     cmpl    $31, %eax
  2750.     jbe .L27
  2751.     leal    -548992(%rdx), %eax
  2752.     cmpl    $31, %eax
  2753.     jbe .L27
  2754.     leal    -336064(%rdx), %eax
  2755.     cmpl    $31, %eax
  2756.     jbe .L27
  2757.     leal    -614624(%rdx), %eax
  2758.     cmpl    $31, %eax
  2759.     jbe .L27
  2760.     leal    -614688(%rdx), %eax
  2761.     cmpl    $31, %eax
  2762.     jbe .L27
  2763.     leal    -336160(%rdx), %eax
  2764.     cmpl    $31, %eax
  2765.     jbe .L27
  2766.     leal    -532864(%rdx), %eax
  2767.     cmpl    $31, %eax
  2768.     jbe .L27
  2769.     leal    -123296(%rdx), %eax
  2770.     cmpl    $31, %eax
  2771.     jbe .L27
  2772.     leal    -123360(%rdx), %eax
  2773.     cmpl    $31, %eax
  2774.     jbe .L27
  2775.     leal    -532992(%rdx), %eax
  2776.     cmpl    $31, %eax
  2777.     jbe .L27
  2778.     leal    -74272(%rdx), %eax
  2779.     cmpl    $31, %eax
  2780.     jbe .L27
  2781.     leal    -271008(%rdx), %eax
  2782.     cmpl    $31, %eax
  2783.     jbe .L27
  2784.     leal    -615200(%rdx), %eax
  2785.     cmpl    $31, %eax
  2786.     jbe .L27
  2787.     leal    -271168(%rdx), %eax
  2788.     cmpl    $31, %eax
  2789.     jbe .L27
  2790.     leal    -615264(%rdx), %eax
  2791.     cmpl    $31, %eax
  2792.     jbe .L27
  2793.     leal    -271232(%rdx), %eax
  2794.     cmpl    $31, %eax
  2795.     jbe .L27
  2796.     leal    -336832(%rdx), %eax
  2797.     cmpl    $31, %eax
  2798.     jbe .L27
  2799.     leal    -615456(%rdx), %eax
  2800.     cmpl    $31, %eax
  2801.     jbe .L27
  2802.     leal    -549952(%rdx), %eax
  2803.     cmpl    $31, %eax
  2804.     jbe .L27
  2805.     leal    -533696(%rdx), %eax
  2806.     cmpl    $31, %eax
  2807.     jbe .L27
  2808.     leal    -615616(%rdx), %eax
  2809.     cmpl    $31, %eax
  2810.     jbe .L27
  2811.     leal    -615680(%rdx), %eax
  2812.     cmpl    $31, %eax
  2813.     jbe .L27
  2814.     leal    -550208(%rdx), %eax
  2815.     cmpl    $31, %eax
  2816.     jbe .L27
  2817.     leal    -386400(%rdx), %eax
  2818.     cmpl    $31, %eax
  2819.     jbe .L27
  2820.     leal    -517504(%rdx), %eax
  2821.     cmpl    $31, %eax
  2822.     jbe .L27
  2823.     leal    -615872(%rdx), %eax
  2824.     cmpl    $31, %eax
  2825.     jbe .L27
  2826.     leal    -107968(%rdx), %eax
  2827.     cmpl    $31, %eax
  2828.     jbe .L27
  2829.     leal    -58912(%rdx), %eax
  2830.     cmpl    $31, %eax
  2831.     jbe .L27
  2832.     leal    -272000(%rdx), %eax
  2833.     cmpl    $31, %eax
  2834.     jbe .L27
  2835.     leal    -550528(%rdx), %eax
  2836.     cmpl    $31, %eax
  2837.     jbe .L27
  2838.     leal    -403136(%rdx), %eax
  2839.     cmpl    $31, %eax
  2840.     jbe .L27
  2841.     leal    -59104(%rdx), %eax
  2842.     cmpl    $31, %eax
  2843.     jbe .L27
  2844.     leal    -255776(%rdx), %eax
  2845.     cmpl    $31, %eax
  2846.     jbe .L27
  2847.     leal    -288544(%rdx), %eax
  2848.     cmpl    $31, %eax
  2849.     jbe .L27
  2850.     leal    -550720(%rdx), %eax
  2851.     cmpl    $31, %eax
  2852.     jbe .L27
  2853.     leal    -255840(%rdx), %eax
  2854.     cmpl    $31, %eax
  2855.     jbe .L27
  2856.     leal    -403328(%rdx), %eax
  2857.     cmpl    $31, %eax
  2858.     jbe .L27
  2859.     leal    -534400(%rdx), %eax
  2860.     cmpl    $31, %eax
  2861.     jbe .L27
  2862.     leal    -337792(%rdx), %eax
  2863.     cmpl    $31, %eax
  2864.     jbe .L27
  2865.     leal    -387008(%rdx), %eax
  2866.     cmpl    $31, %eax
  2867.     jbe .L27
  2868.     leal    -256032(%rdx), %eax
  2869.     cmpl    $31, %eax
  2870.     jbe .L27
  2871.     leal    -550976(%rdx), %eax
  2872.     cmpl    $31, %eax
  2873.     jbe .L27
  2874.     leal    -534656(%rdx), %eax
  2875.     cmpl    $31, %eax
  2876.     jbe .L27
  2877.     leal    -551040(%rdx), %eax
  2878.     cmpl    $31, %eax
  2879.     jbe .L27
  2880.     leal    -256192(%rdx), %eax
  2881.     cmpl    $31, %eax
  2882.     jbe .L27
  2883.     leal    -256256(%rdx), %eax
  2884.     cmpl    $31, %eax
  2885.     jbe .L27
  2886.     leal    -387328(%rdx), %eax
  2887.     cmpl    $31, %eax
  2888.     jbe .L27
  2889.     leal    -92576(%rdx), %eax
  2890.     cmpl    $31, %eax
  2891.     jbe .L27
  2892.     leal    -518560(%rdx), %eax
  2893.     cmpl    $31, %eax
  2894.     jbe .L27
  2895.     leal    -256448(%rdx), %eax
  2896.     cmpl    $31, %eax
  2897.     jbe .L27
  2898.     leal    -534976(%rdx), %eax
  2899.     cmpl    $31, %eax
  2900.     jbe .L27
  2901.     leal    -616928(%rdx), %eax
  2902.     cmpl    $31, %eax
  2903.     jbe .L27
  2904.     leal    -616992(%rdx), %eax
  2905.     cmpl    $31, %eax
  2906.     jbe .L27
  2907.     leal    -92768(%rdx), %eax
  2908.     cmpl    $31, %eax
  2909.     jbe .L27
  2910.     leal    -518752(%rdx), %eax
  2911.     cmpl    $31, %eax
  2912.     jbe .L27
  2913.     leal    -535168(%rdx), %eax
  2914.     cmpl    $31, %eax
  2915.     jbe .L27
  2916.     leal    -92832(%rdx), %eax
  2917.     cmpl    $31, %eax
  2918.     jbe .L27
  2919.     leal    -617184(%rdx), %eax
  2920.     cmpl    $31, %eax
  2921.     jbe .L27
  2922.     leal    -387840(%rdx), %eax
  2923.     cmpl    $31, %eax
  2924.     jbe .L27
  2925.     leal    -437024(%rdx), %eax
  2926.     cmpl    $31, %eax
  2927.     jbe .L27
  2928.     leal    -486272(%rdx), %eax
  2929.     cmpl    $31, %eax
  2930.     jbe .L27
  2931.     leal    -617344(%rdx), %eax
  2932.     cmpl    $31, %eax
  2933.     jbe .L27
  2934.     leal    -60320(%rdx), %eax
  2935.     cmpl    $31, %eax
  2936.     jbe .L27
  2937.     leal    -617408(%rdx), %eax
  2938.     cmpl    $31, %eax
  2939.     jbe .L27
  2940.     leal    -535488(%rdx), %eax
  2941.     cmpl    $31, %eax
  2942.     jbe .L27
  2943.     leal    -27616(%rdx), %eax
  2944.     cmpl    $31, %eax
  2945.     jbe .L27
  2946.     leal    -338944(%rdx), %eax
  2947.     cmpl    $31, %eax
  2948.     jbe .L27
  2949.     leal    -388160(%rdx), %eax
  2950.     cmpl    $31, %eax
  2951.     jbe .L27
  2952.     leal    -617600(%rdx), %eax
  2953.     cmpl    $31, %eax
  2954.     jbe .L27
  2955.     leal    -519328(%rdx), %eax
  2956.     cmpl    $31, %eax
  2957.     jbe .L27
  2958.     leal    -503008(%rdx), %eax
  2959.     cmpl    $31, %eax
  2960.     jbe .L27
  2961.     leal    -535808(%rdx), %eax
  2962.     cmpl    $31, %eax
  2963.     jbe .L27
  2964.     leal    -355616(%rdx), %eax
  2965.     cmpl    $31, %eax
  2966.     jbe .L27
  2967.     leal    -372032(%rdx), %eax
  2968.     cmpl    $31, %eax
  2969.     jbe .L27
  2970.     leal    -126304(%rdx), %eax
  2971.     cmpl    $31, %eax
  2972.     jbe .L27
  2973.     leal    -339328(%rdx), %eax
  2974.     cmpl    $31, %eax
  2975.     jbe .L27
  2976.     leal    -503200(%rdx), %eax
  2977.     cmpl    $31, %eax
  2978.     jbe .L27
  2979.     leal    -536000(%rdx), %eax
  2980.     cmpl    $31, %eax
  2981.     jbe .L27
  2982.     leal    -536064(%rdx), %eax
  2983.     cmpl    $31, %eax
  2984.     jbe .L27
  2985.     leal    -126496(%rdx), %eax
  2986.     cmpl    $31, %eax
  2987.     jbe .L27
  2988.     leal    -519808(%rdx), %eax
  2989.     cmpl    $31, %eax
  2990.     jbe .L27
  2991.     leal    -61088(%rdx), %eax
  2992.     cmpl    $31, %eax
  2993.     jbe .L27
  2994.     leal    -61152(%rdx), %eax
  2995.     cmpl    $31, %eax
  2996.     jbe .L27
  2997.     leal    -520000(%rdx), %eax
  2998.     cmpl    $31, %eax
  2999.     jbe .L27
  3000.     leal    -356192(%rdx), %eax
  3001.     cmpl    $31, %eax
  3002.     jbe .L27
  3003.     leal    -602048(%rdx), %eax
  3004.     cmpl    $31, %eax
  3005.     jbe .L27
  3006.     leal    -503776(%rdx), %eax
  3007.     cmpl    $31, %eax
  3008.     jbe .L27
  3009.     leal    -356448(%rdx), %eax
  3010.     cmpl    $31, %eax
  3011.     jbe .L27
  3012.     leal    -340128(%rdx), %eax
  3013.     cmpl    $31, %eax
  3014.     jbe .L27
  3015.     leal    -241888(%rdx), %eax
  3016.     cmpl    $31, %eax
  3017.     jbe .L27
  3018.     leal    -618752(%rdx), %eax
  3019.     cmpl    $31, %eax
  3020.     jbe .L27
  3021.     leal    -340288(%rdx), %eax
  3022.     cmpl    $31, %eax
  3023.     jbe .L27
  3024.     leal    -176480(%rdx), %eax
  3025.     cmpl    $31, %eax
  3026.     jbe .L27
  3027.     leal    -340352(%rdx), %eax
  3028.     cmpl    $31, %eax
  3029.     jbe .L27
  3030.     leal    -520576(%rdx), %eax
  3031.     cmpl    $31, %eax
  3032.     jbe .L27
  3033.     leal    -618944(%rdx), %eax
  3034.     cmpl    $31, %eax
  3035.     jbe .L27
  3036.     leal    -504256(%rdx), %eax
  3037.     cmpl    $31, %eax
  3038.     jbe .L27
  3039.     leal    -438752(%rdx), %eax
  3040.     cmpl    $31, %eax
  3041.     jbe .L27
  3042.     leal    -619008(%rdx), %eax
  3043.     cmpl    $31, %eax
  3044.     jbe .L27
  3045.     leal    -176736(%rdx), %eax
  3046.     cmpl    $31, %eax
  3047.     jbe .L27
  3048.     leal    -504448(%rdx), %eax
  3049.     cmpl    $31, %eax
  3050.     jbe .L27
  3051.     leal    -553664(%rdx), %eax
  3052.     cmpl    $31, %eax
  3053.     jbe .L27
  3054.     leal    -258784(%rdx), %eax
  3055.     cmpl    $31, %eax
  3056.     jbe .L27
  3057.     leal    -602880(%rdx), %eax
  3058.     cmpl    $31, %eax
  3059.     jbe .L27
  3060.     leal    -95008(%rdx), %eax
  3061.     cmpl    $31, %eax
  3062.     jbe .L27
  3063.     leal    -45920(%rdx), %eax
  3064.     cmpl    $31, %eax
  3065.     jbe .L27
  3066.     leal    -46112(%rdx), %eax
  3067.     cmpl    $31, %eax
  3068.     jbe .L27
  3069.     leal    -341056(%rdx), %eax
  3070.     cmpl    $31, %eax
  3071.     jbe .L27
  3072.     leal    -46176(%rdx), %eax
  3073.     cmpl    $31, %eax
  3074.     jbe .L27
  3075.     leal    -177312(%rdx), %eax
  3076.     cmpl    $31, %eax
  3077.     jbe .L27
  3078.     leal    -505024(%rdx), %eax
  3079.     cmpl    $31, %eax
  3080.     jbe .L27
  3081.     leal    -341184(%rdx), %eax
  3082.     cmpl    $31, %eax
  3083.     jbe .L27
  3084.     leal    -439520(%rdx), %eax
  3085.     cmpl    $31, %eax
  3086.     jbe .L27
  3087.     leal    -439584(%rdx), %eax
  3088.     cmpl    $31, %eax
  3089.     jbe .L27
  3090.     leal    -341440(%rdx), %eax
  3091.     cmpl    $31, %eax
  3092.     jbe .L27
  3093.     leal    -177664(%rdx), %eax
  3094.     cmpl    $31, %eax
  3095.     jbe .L27
  3096.     leal    -79456(%rdx), %eax
  3097.     cmpl    $31, %eax
  3098.     jbe .L27
  3099.     leal    -456352(%rdx), %eax
  3100.     cmpl    $31, %eax
  3101.     jbe .L27
  3102.     leal    -128800(%rdx), %eax
  3103.     cmpl    $31, %eax
  3104.     jbe .L27
  3105.     leal    -456544(%rdx), %eax
  3106.     cmpl    $31, %eax
  3107.     jbe .L27
  3108.     leal    -341888(%rdx), %eax
  3109.     cmpl    $31, %eax
  3110.     jbe .L27
  3111.     leal    -620480(%rdx), %eax
  3112.     cmpl    $31, %eax
  3113.     jbe .L27
  3114.     leal    -341952(%rdx), %eax
  3115.     cmpl    $31, %eax
  3116.     jbe .L27
  3117.     leal    -292864(%rdx), %eax
  3118.     cmpl    $31, %eax
  3119.     jbe .L27
  3120.     leal    -620672(%rdx), %eax
  3121.     cmpl    $31, %eax
  3122.     jbe .L27
  3123.     leal    -620736(%rdx), %eax
  3124.     cmpl    $31, %eax
  3125.     jbe .L27
  3126.     leal    -129280(%rdx), %eax
  3127.     cmpl    $31, %eax
  3128.     jbe .L27
  3129.     leal    -506144(%rdx), %eax
  3130.     cmpl    $31, %eax
  3131.     jbe .L27
  3132.     leal    -178496(%rdx), %eax
  3133.     cmpl    $31, %eax
  3134.     jbe .L27
  3135.     leal    -457120(%rdx), %eax
  3136.     cmpl    $31, %eax
  3137.     jbe .L27
  3138.     leal    -276928(%rdx), %eax
  3139.     cmpl    $31, %eax
  3140.     jbe .L27
  3141.     leal    -522688(%rdx), %eax
  3142.     cmpl    $31, %eax
  3143.     jbe .L27
  3144.     leal    -96736(%rdx), %eax
  3145.     cmpl    $31, %eax
  3146.     jbe .L27
  3147.     leal    -113152(%rdx), %eax
  3148.     cmpl    $31, %eax
  3149.     jbe .L27
  3150.     leal    -457600(%rdx), %eax
  3151.     cmpl    $31, %eax
  3152.     jbe .L27
  3153.     leal    -261088(%rdx), %eax
  3154.     cmpl    $31, %eax
  3155.     jbe .L27
  3156.     leal    -506912(%rdx), %eax
  3157.     cmpl    $31, %eax
  3158.     jbe .L27
  3159.     leal    -457792(%rdx), %eax
  3160.     cmpl    $31, %eax
  3161.     jbe .L27
  3162.     leal    -146528(%rdx), %eax
  3163.     cmpl    $31, %eax
  3164.     jbe .L27
  3165.     leal    -506976(%rdx), %eax
  3166.     cmpl    $31, %eax
  3167.     jbe .L27
  3168.     leal    -556160(%rdx), %eax
  3169.     cmpl    $31, %eax
  3170.     jbe .L27
  3171.     leal    -130208(%rdx), %eax
  3172.     cmpl    $31, %eax
  3173.     jbe .L27
  3174.     leal    -261280(%rdx), %eax
  3175.     cmpl    $31, %eax
  3176.     jbe .L27
  3177.     leal    -130272(%rdx), %eax
  3178.     cmpl    $31, %eax
  3179.     jbe .L27
  3180.     leal    -408832(%rdx), %eax
  3181.     cmpl    $31, %eax
  3182.     jbe .L27
  3183.     leal    -81184(%rdx), %eax
  3184.     cmpl    $31, %eax
  3185.     jbe .L27
  3186.     leal    -458368(%rdx), %eax
  3187.     cmpl    $31, %eax
  3188.     jbe .L27
  3189.     leal    -294592(%rdx), %eax
  3190.     cmpl    $31, %eax
  3191.     jbe .L27
  3192.     leal    -589696(%rdx), %eax
  3193.     cmpl    $31, %eax
  3194.     jbe .L27
  3195.     leal    -131040(%rdx), %eax
  3196.     cmpl    $31, %eax
  3197.     ja  .L28
  3198. .L27:
  3199.     movl    $2, %esi
  3200.     movl    $.LC8, %edi
  3201.     xorl    %eax, %eax
  3202.     call    printf
  3203.     jmp .L168
  3204. .L28:
  3205.     movl    %edx, %eax
  3206.     andl    $7, %eax
  3207.     cmpl    $5, %eax
  3208.     jne .L166
  3209.     sarl    $3, %edx
  3210.     xorl    %eax, %eax
  3211.     movl    $.LC9, %edi
  3212.     andl    $1, %edx
  3213.     leal    1(%rdx), %esi
  3214.     call    printf
  3215.     movl    16(%rsp), %ecx
  3216.     movl    %ecx, %edx
  3217.     movl    %ecx, %eax
  3218.     sarl    $31, %edx
  3219.     idivl   %ebx
  3220.     testb   $1, %al
  3221.     je  .L129
  3222.     movl    %ecx, %edx
  3223.     movl    $16, %esi
  3224.     movl    %ecx, %eax
  3225.     sarl    $31, %edx
  3226.     movl    $1048576, %ebp
  3227.     idivl   %esi
  3228.     testb   $1, %al
  3229.     jne .L172
  3230. .L129:
  3231.     leaq    32(%rsp), %rbp
  3232.     movl    $1048576, %r12d
  3233. .L169:
  3234.     movl    %ecx, %edx
  3235.     movl    %ecx, %eax
  3236.     movl    $.LC10, %edi
  3237.     sarl    $31, %edx
  3238.     idivl   %r12d
  3239.     movl    %edx, 16(%rsp)
  3240.     call    puts
  3241.     xorl    %eax, %eax
  3242.     movq    %rbp, %rsi
  3243.     movl    $.LC1, %edi
  3244.     call    __isoc99_scanf
  3245.     cmpl    $3, 32(%rsp)
  3246.     jbe .L31
  3247.     movl    $3, 32(%rsp)
  3248. .L31:
  3249.     movl    32(%rsp), %eax
  3250.     movq    %rbp, %rsi
  3251.     movl    $.LC1, %edi
  3252.     sall    $20, %eax
  3253.     addl    %eax, 16(%rsp)
  3254.     xorl    %eax, %eax
  3255.     call    __isoc99_scanf
  3256.     cmpl    $3, 32(%rsp)
  3257.     jbe .L32
  3258.     movl    $3, 32(%rsp)
  3259. .L32:
  3260.     movl    32(%rsp), %esi
  3261.     movl    $4, %r11d
  3262.     sall    $22, %esi
  3263.     addl    16(%rsp), %esi
  3264.     movl    %esi, %edx
  3265.     movl    %esi, %eax
  3266.     movl    %esi, 16(%rsp)
  3267.     sarl    $31, %edx
  3268.     idivl   %r12d
  3269.     movl    %edx, %r13d
  3270.     movl    %eax, %edx
  3271.     movl    %eax, %r9d
  3272.     sarl    $31, %edx
  3273.     idivl   %r11d
  3274.     cmpl    $3, %edx
  3275.     movl    %edx, %r8d
  3276.     movl    %edx, %r10d
  3277.     je  .L33
  3278.     movl    %esi, %edx
  3279.     movl    $4194304, %ecx
  3280.     movl    %esi, %eax
  3281.     sarl    $31, %edx
  3282.     idivl   %ecx
  3283.     movl    %eax, %edx
  3284.     movl    %eax, %edi
  3285.     sarl    $31, %edx
  3286.     idivl   %r11d
  3287.     cmpl    $3, %edx
  3288.     movl    %edx, %ecx
  3289.     je  .L33
  3290.     testb   $3, %r9b
  3291.     jne .L37
  3292.     testb   $3, %dil
  3293.     jne .L35
  3294.     movl    %r13d, %edx
  3295.     movb    $32, %r11b
  3296.     movl    %r13d, %eax
  3297.     sarl    $31, %edx
  3298.     idivl   %r11d
  3299.     movb    $3, %r11b
  3300.     movl    %eax, %edx
  3301.     sarl    $31, %edx
  3302.     idivl   %r11d
  3303.     testl   %edx, %edx
  3304.     jne .L33
  3305. .L35:
  3306.     cmpl    $1, %ecx
  3307.     je  .L209
  3308.     cmpl    $2, %ecx
  3309.     je  .L210
  3310. .L37:
  3311.     cmpl    $1, %r8d
  3312.     je  .L211
  3313.     cmpl    $2, %r8d
  3314.     je  .L212
  3315. .L41:
  3316.     movl    %esi, %edx
  3317.     movl    $4194304, %ecx
  3318.     movl    %esi, %eax
  3319.     sarl    $31, %edx
  3320.     idivl   %ecx
  3321.     movl    $4, %ecx
  3322.     movl    %eax, %edx
  3323.     movl    %eax, %edi
  3324.     sarl    $31, %edx
  3325.     idivl   %ecx
  3326.     movl    16(%rsp), %ecx
  3327.     movl    %edx, %r8d
  3328. .L110:
  3329.     andb    $3, %r9b
  3330.     jne .L48
  3331.     testb   $3, %dil
  3332.     jne .L46
  3333.     movl    %esi, %edx
  3334.     movl    %esi, %eax
  3335.     movl    $32, %r9d
  3336.     sarl    $31, %edx
  3337.     idivl   %r12d
  3338.     movl    %edx, %eax
  3339.     sarl    $31, %edx
  3340.     idivl   %r9d
  3341.     movb    $3, %r9b
  3342.     movl    %eax, %edx
  3343.     sarl    $31, %edx
  3344.     idivl   %r9d
  3345.     testl   %edx, %edx
  3346.     jne .L169
  3347. .L46:
  3348.     cmpl    $1, %r8d
  3349.     je  .L213
  3350.     cmpl    $2, %r8d
  3351.     je  .L214
  3352. .L48:
  3353.     cmpl    $1, %r10d
  3354.     je  .L215
  3355.     cmpl    $2, %r10d
  3356.     je  .L216
  3357. .L54:
  3358.     movl    %ecx, %edx
  3359.     movl    $1048576, %esi
  3360.     movl    %ecx, %eax
  3361.     sarl    $31, %edx
  3362.     idivl   %esi
  3363.     testb   $3, %al
  3364.     movl    %eax, %esi
  3365.     jne .L217
  3366.     movl    %ecx, %edx
  3367.     movl    $4194304, %edi
  3368.     movl    %ecx, %eax
  3369.     sarl    $31, %edx
  3370.     idivl   %edi
  3371.     testb   $3, %al
  3372.     movl    %eax, %edi
  3373.     jne .L66
  3374.     movl    %ecx, %edx
  3375.     movl    %ecx, %eax
  3376.     movl    $2, %esi
  3377.     sarl    $31, %edx
  3378.     idivl   %ebx
  3379.     movl    %eax, %edx
  3380.     sarl    $31, %edx
  3381.     idivl   %esi
  3382.     leal    1(%rdx), %eax
  3383.     sall    $5, %eax
  3384.     addl    %ecx, %eax
  3385.     movl    %eax, 16(%rsp)
  3386. .L67:
  3387.     movl    16(%rsp), %ecx
  3388.     movl    %ecx, %edx
  3389.     movl    %ecx, %eax
  3390.     sarl    $31, %edx
  3391.     idivl   %ebx
  3392.     testb   $1, %al
  3393.     jne .L76
  3394.     addl    $8, %ecx
  3395. .L77:
  3396.     movl    $10, %edi
  3397.     movl    %ecx, 16(%rsp)
  3398.     call    putchar
  3399.     movl    16(%rsp), %eax
  3400.     movl    $1048576, %ecx
  3401.     movl    %eax, %edx
  3402.     sarl    $31, %edx
  3403.     idivl   %ecx
  3404.     movl    $32, %ecx
  3405.     movl    %edx, %eax
  3406.     sarl    $31, %edx
  3407.     idivl   %ecx
  3408.     movb    $3, %cl
  3409.     movl    %eax, %edx
  3410.     sarl    $31, %edx
  3411.     idivl   %ecx
  3412.     testl   %edx, %edx
  3413.     je  .L218
  3414.     cmpl    $1, %edx
  3415.     je  .L219
  3416.     cmpl    $2, %edx
  3417.     jne .L79
  3418.     movl    $111, %edi
  3419.     call    putchar
  3420. .L79:
  3421.     movl    $124, %edi
  3422.     call    putchar
  3423.     movl    16(%rsp), %eax
  3424.     movl    $1048576, %ecx
  3425.     movl    %eax, %edx
  3426.     sarl    $31, %edx
  3427.     idivl   %ecx
  3428.     movl    $96, %ecx
  3429.     movl    %edx, %eax
  3430.     sarl    $31, %edx
  3431.     idivl   %ecx
  3432.     movb    $3, %cl
  3433.     movl    %eax, %edx
  3434.     sarl    $31, %edx
  3435.     idivl   %ecx
  3436.     testl   %edx, %edx
  3437.     je  .L220
  3438.     cmpl    $1, %edx
  3439.     je  .L221
  3440.     cmpl    $2, %edx
  3441.     jne .L82
  3442.     movl    $111, %edi
  3443.     call    putchar
  3444. .L82:
  3445.     movl    $124, %edi
  3446.     call    putchar
  3447.     movl    16(%rsp), %eax
  3448.     movl    $1048576, %ecx
  3449.     movl    %eax, %edx
  3450.     sarl    $31, %edx
  3451.     idivl   %ecx
  3452.     movl    $288, %ecx
  3453.     movl    %edx, %eax
  3454.     sarl    $31, %edx
  3455.     idivl   %ecx
  3456.     movw    $3, %cx
  3457.     movl    %eax, %edx
  3458.     sarl    $31, %edx
  3459.     idivl   %ecx
  3460.     testl   %edx, %edx
  3461.     je  .L222
  3462.     cmpl    $1, %edx
  3463.     je  .L223
  3464.     cmpl    $2, %edx
  3465.     jne .L85
  3466.     movl    $111, %edi
  3467.     call    putchar
  3468. .L85:
  3469.     movl    $10, %edi
  3470.     call    putchar
  3471.     movl    $.LC14, %edi
  3472.     call    puts
  3473.     movl    16(%rsp), %eax
  3474.     movl    $1048576, %ecx
  3475.     movl    %eax, %edx
  3476.     sarl    $31, %edx
  3477.     idivl   %ecx
  3478.     movl    $864, %ecx
  3479.     movl    %edx, %eax
  3480.     sarl    $31, %edx
  3481.     idivl   %ecx
  3482.     movw    $3, %cx
  3483.     movl    %eax, %edx
  3484.     sarl    $31, %edx
  3485.     idivl   %ecx
  3486.     testl   %edx, %edx
  3487.     je  .L224
  3488.     cmpl    $1, %edx
  3489.     je  .L225
  3490.     cmpl    $2, %edx
  3491.     jne .L88
  3492.     movl    $111, %edi
  3493.     call    putchar
  3494. .L88:
  3495.     movl    $124, %edi
  3496.     call    putchar
  3497.     movl    16(%rsp), %eax
  3498.     movl    $1048576, %ecx
  3499.     movl    %eax, %edx
  3500.     sarl    $31, %edx
  3501.     idivl   %ecx
  3502.     movl    $2592, %ecx
  3503.     movl    %edx, %eax
  3504.     sarl    $31, %edx
  3505.     idivl   %ecx
  3506.     movw    $3, %cx
  3507.     movl    %eax, %edx
  3508.     sarl    $31, %edx
  3509.     idivl   %ecx
  3510.     testl   %edx, %edx
  3511.     je  .L226
  3512.     cmpl    $1, %edx
  3513.     je  .L227
  3514.     cmpl    $2, %edx
  3515.     jne .L91
  3516.     movl    $111, %edi
  3517.     call    putchar
  3518. .L91:
  3519.     movl    $124, %edi
  3520.     call    putchar
  3521.     movl    16(%rsp), %eax
  3522.     movl    $1048576, %ecx
  3523.     movl    %eax, %edx
  3524.     sarl    $31, %edx
  3525.     idivl   %ecx
  3526.     movl    $7776, %ecx
  3527.     movl    %edx, %eax
  3528.     sarl    $31, %edx
  3529.     idivl   %ecx
  3530.     movw    $3, %cx
  3531.     movl    %eax, %edx
  3532.     sarl    $31, %edx
  3533.     idivl   %ecx
  3534.     testl   %edx, %edx
  3535.     je  .L228
  3536.     cmpl    $1, %edx
  3537.     je  .L229
  3538.     cmpl    $2, %edx
  3539.     jne .L94
  3540.     movl    $111, %edi
  3541.     call    putchar
  3542. .L94:
  3543.     movl    $10, %edi
  3544.     call    putchar
  3545.     movl    $.LC14, %edi
  3546.     call    puts
  3547.     movl    16(%rsp), %eax
  3548.     movl    $1048576, %ecx
  3549.     movl    %eax, %edx
  3550.     sarl    $31, %edx
  3551.     idivl   %ecx
  3552.     movl    $23328, %ecx
  3553.     movl    %edx, %eax
  3554.     sarl    $31, %edx
  3555.     idivl   %ecx
  3556.     movw    $3, %cx
  3557.     movl    %eax, %edx
  3558.     sarl    $31, %edx
  3559.     idivl   %ecx
  3560.     testl   %edx, %edx
  3561.     je  .L230
  3562.     cmpl    $1, %edx
  3563.     je  .L231
  3564.     cmpl    $2, %edx
  3565.     jne .L97
  3566.     movl    $111, %edi
  3567.     call    putchar
  3568. .L97:
  3569.     movl    $124, %edi
  3570.     call    putchar
  3571.     movl    16(%rsp), %eax
  3572.     movl    $1048576, %ecx
  3573.     movl    %eax, %edx
  3574.     sarl    $31, %edx
  3575.     idivl   %ecx
  3576.     movl    $69984, %ecx
  3577.     movl    %edx, %eax
  3578.     sarl    $31, %edx
  3579.     idivl   %ecx
  3580.     movl    $3, %ecx
  3581.     movl    %eax, %edx
  3582.     sarl    $31, %edx
  3583.     idivl   %ecx
  3584.     testl   %edx, %edx
  3585.     je  .L232
  3586.     cmpl    $1, %edx
  3587.     je  .L233
  3588.     cmpl    $2, %edx
  3589.     jne .L100
  3590.     movl    $111, %edi
  3591.     call    putchar
  3592. .L100:
  3593.     movl    $124, %edi
  3594.     call    putchar
  3595.     movl    16(%rsp), %eax
  3596.     movl    $1048576, %ecx
  3597.     movl    %eax, %edx
  3598.     sarl    $31, %edx
  3599.     idivl   %ecx
  3600.     movl    $209952, %ecx
  3601.     movl    %edx, %eax
  3602.     sarl    $31, %edx
  3603.     idivl   %ecx
  3604.     movl    $3, %ecx
  3605.     movl    %eax, %edx
  3606.     sarl    $31, %edx
  3607.     idivl   %ecx
  3608.     testl   %edx, %edx
  3609.     je  .L234
  3610.     cmpl    $1, %edx
  3611.     je  .L235
  3612.     cmpl    $2, %edx
  3613.     jne .L103
  3614.     movl    $111, %edi
  3615.     call    putchar
  3616. .L103:
  3617.     movl    $10, %edi
  3618.     call    putchar
  3619.     movl    16(%rsp), %eax
  3620.     movl    $1048576, %ecx
  3621.     movl    %eax, %edx
  3622.     sarl    $31, %edx
  3623.     idivl   %ecx
  3624.     movl    %edx, 16(%rsp)
  3625.     jmp .L166
  3626. .L235:
  3627.     movl    $120, %edi
  3628.     call    putchar
  3629.     jmp .L103
  3630. .L234:
  3631.     movl    $32, %edi
  3632.     call    putchar
  3633.     .p2align 4,,3
  3634.     jmp .L103
  3635. .L233:
  3636.     movl    $120, %edi
  3637.     call    putchar
  3638.     .p2align 4,,3
  3639.     jmp .L100
  3640. .L232:
  3641.     movl    $32, %edi
  3642.     call    putchar
  3643.     .p2align 4,,3
  3644.     jmp .L100
  3645. .L231:
  3646.     movl    $120, %edi
  3647.     call    putchar
  3648.     .p2align 4,,3
  3649.     jmp .L97
  3650. .L230:
  3651.     movl    $32, %edi
  3652.     call    putchar
  3653.     .p2align 4,,3
  3654.     jmp .L97
  3655. .L229:
  3656.     movl    $120, %edi
  3657.     call    putchar
  3658.     .p2align 4,,3
  3659.     jmp .L94
  3660. .L228:
  3661.     movl    $32, %edi
  3662.     call    putchar
  3663.     .p2align 4,,3
  3664.     jmp .L94
  3665. .L227:
  3666.     movl    $120, %edi
  3667.     call    putchar
  3668.     .p2align 4,,3
  3669.     jmp .L91
  3670. .L226:
  3671.     movl    $32, %edi
  3672.     call    putchar
  3673.     .p2align 4,,3
  3674.     jmp .L91
  3675. .L225:
  3676.     movl    $120, %edi
  3677.     call    putchar
  3678.     .p2align 4,,3
  3679.     jmp .L88
  3680. .L224:
  3681.     movl    $32, %edi
  3682.     call    putchar
  3683.     .p2align 4,,3
  3684.     jmp .L88
  3685. .L223:
  3686.     movl    $120, %edi
  3687.     call    putchar
  3688.     .p2align 4,,3
  3689.     jmp .L85
  3690. .L222:
  3691.     movl    $32, %edi
  3692.     call    putchar
  3693.     .p2align 4,,3
  3694.     jmp .L85
  3695. .L221:
  3696.     movl    $120, %edi
  3697.     call    putchar
  3698.     .p2align 4,,3
  3699.     jmp .L82
  3700. .L220:
  3701.     movl    $32, %edi
  3702.     call    putchar
  3703.     .p2align 4,,3
  3704.     jmp .L82
  3705. .L219:
  3706.     movl    $120, %edi
  3707.     call    putchar
  3708.     .p2align 4,,3
  3709.     jmp .L79
  3710. .L218:
  3711.     movl    $32, %edi
  3712.     call    putchar
  3713.     .p2align 4,,3
  3714.     jmp .L79
  3715. .L76:
  3716.     subl    $8, %ecx
  3717.     jmp .L77
  3718. .L66:
  3719.     movl    %eax, %edx
  3720.     movl    $4, %r8d
  3721.     sarl    $31, %edx
  3722.     idivl   %r8d
  3723.     cmpl    $1, %edx
  3724.     movl    %edx, %r9d
  3725.     je  .L236
  3726.     cmpl    $2, %edx
  3727.     je  .L237
  3728.     movl    %esi, %edx
  3729.     movl    %esi, %eax
  3730.     sarl    $31, %edx
  3731.     idivl   %r8d
  3732.     cmpl    $1, %edx
  3733.     movl    %edx, %esi
  3734.     je  .L238
  3735. .L71:
  3736.     cmpl    $2, %esi
  3737.     je  .L239
  3738. .L74:
  3739.     movl    %ecx, %edx
  3740.     movl    %ecx, %eax
  3741.     movl    $2, %esi
  3742.     sarl    $31, %edx
  3743.     idivl   %ebx
  3744.     movl    %eax, %edx
  3745.     sarl    $31, %edx
  3746.     idivl   %esi
  3747.     leal    1(%rdx), %eax
  3748.     imull   $209952, %eax, %eax
  3749.     addl    %eax, %ecx
  3750.     movl    %ecx, 16(%rsp)
  3751.     jmp .L67
  3752. .L217:
  3753.     movl    %eax, %edx
  3754.     movl    $4, %edi
  3755.     sarl    $31, %edx
  3756.     idivl   %edi
  3757.     cmpl    $1, %edx
  3758.     movl    %edx, %esi
  3759.     jne .L71
  3760.     movl    %ecx, %edx
  3761.     movl    $4194304, %esi
  3762.     movl    %ecx, %eax
  3763.     sarl    $31, %edx
  3764.     idivl   %esi
  3765.     testb   $3, %al
  3766.     jne .L72
  3767.     movl    %ecx, %edx
  3768.     movl    %ecx, %eax
  3769.     movl    $2, %esi
  3770.     sarl    $31, %edx
  3771.     idivl   %ebx
  3772.     movl    %eax, %edx
  3773.     sarl    $31, %edx
  3774.     idivl   %esi
  3775.     leal    1(%rdx), %eax
  3776.     imull   $864, %eax, %eax
  3777.     addl    %eax, %ecx
  3778.     movl    %ecx, 16(%rsp)
  3779.     jmp .L67
  3780. .L239:
  3781.     movl    %ecx, %edx
  3782.     movl    $4194304, %edi
  3783.     movl    %ecx, %eax
  3784.     sarl    $31, %edx
  3785.     idivl   %edi
  3786.     testb   $3, %al
  3787.     jne .L75
  3788.     movl    %ecx, %edx
  3789.     movl    %ecx, %eax
  3790.     sarl    $31, %edx
  3791.     idivl   %ebx
  3792.     movl    %eax, %edx
  3793.     sarl    $31, %edx
  3794.     idivl   %esi
  3795.     leal    1(%rdx), %eax
  3796.     imull   $23328, %eax, %eax
  3797.     addl    %eax, %ecx
  3798.     movl    %ecx, 16(%rsp)
  3799.     jmp .L67
  3800. .L238:
  3801.     movl    %edi, %eax
  3802. .L72:
  3803.     movl    %eax, %edx
  3804.     movl    $4, %edi
  3805.     sarl    $31, %edx
  3806.     idivl   %edi
  3807.     cmpl    $1, %edx
  3808.     movl    %edx, %esi
  3809.     je  .L240
  3810.     cmpl    $2, %edx
  3811.     jne .L74
  3812.     movl    %ecx, %edx
  3813.     movl    %ecx, %eax
  3814.     sarl    $31, %edx
  3815.     idivl   %ebx
  3816.     movl    %eax, %edx
  3817.     sarl    $31, %edx
  3818.     idivl   %esi
  3819.     leal    1(%rdx), %eax
  3820.     imull   $7776, %eax, %eax
  3821.     addl    %eax, %ecx
  3822.     movl    %ecx, 16(%rsp)
  3823.     jmp .L67
  3824. .L75:
  3825.     movl    %eax, %edx
  3826.     movl    $4, %edi
  3827.     sarl    $31, %edx
  3828.     idivl   %edi
  3829.     subl    $1, %edx
  3830.     jne .L74
  3831.     movl    %ecx, %edx
  3832.     movl    %ecx, %eax
  3833.     sarl    $31, %edx
  3834.     idivl   %ebx
  3835.     movl    %eax, %edx
  3836.     sarl    $31, %edx
  3837.     idivl   %esi
  3838.     leal    1(%rdx), %eax
  3839.     imull   $69984, %eax, %eax
  3840.     addl    %eax, %ecx
  3841.     movl    %ecx, 16(%rsp)
  3842.     jmp .L67
  3843. .L240:
  3844.     movl    %ecx, %edx
  3845.     movl    %ecx, %eax
  3846.     movb    $2, %sil
  3847.     sarl    $31, %edx
  3848.     idivl   %ebx
  3849.     movl    %eax, %edx
  3850.     sarl    $31, %edx
  3851.     idivl   %esi
  3852.     leal    1(%rdx), %eax
  3853.     imull   $2592, %eax, %eax
  3854.     addl    %eax, %ecx
  3855.     movl    %ecx, 16(%rsp)
  3856.     jmp .L67
  3857. .L237:
  3858.     movl    %ecx, %edx
  3859.     movl    %ecx, %eax
  3860.     sarl    $31, %edx
  3861.     idivl   %ebx
  3862.     movl    %eax, %edx
  3863.     sarl    $31, %edx
  3864.     idivl   %r9d
  3865.     leal    1(%rdx), %eax
  3866.     imull   $288, %eax, %eax
  3867.     addl    %eax, %ecx
  3868.     movl    %ecx, 16(%rsp)
  3869.     jmp .L67
  3870. .L236:
  3871.     movl    %ecx, %edx
  3872.     movl    %ecx, %eax
  3873.     movl    $2, %esi
  3874.     sarl    $31, %edx
  3875.     idivl   %ebx
  3876.     movl    %eax, %edx
  3877.     sarl    $31, %edx
  3878.     idivl   %esi
  3879.     leal    1(%rdx), %eax
  3880.     imull   $96, %eax, %eax
  3881.     addl    %eax, %ecx
  3882.     movl    %ecx, 16(%rsp)
  3883.     jmp .L67
  3884. .L216:
  3885.     andb    $3, %dil
  3886.     jne .L55
  3887.     movl    %esi, %edx
  3888.     movl    %esi, %eax
  3889.     movl    $23328, %edi
  3890.     sarl    $31, %edx
  3891.     idivl   %r12d
  3892.     movl    %edx, %eax
  3893.     sarl    $31, %edx
  3894.     idivl   %edi
  3895.     movw    $3, %di
  3896.     movl    %eax, %edx
  3897.     sarl    $31, %edx
  3898.     idivl   %edi
  3899.     testl   %edx, %edx
  3900.     jne .L169
  3901. .L55:
  3902.     cmpl    $1, %r8d
  3903.     je  .L241
  3904.     cmpl    $2, %r8d
  3905.     jne .L54
  3906.     movl    %esi, %edx
  3907.     movl    %esi, %eax
  3908.     movl    $209952, %edi
  3909.     sarl    $31, %edx
  3910.     idivl   %r12d
  3911. .L181:
  3912.     movl    %edx, %eax
  3913.     sarl    $31, %edx
  3914.     movl    $3, %esi
  3915.     idivl   %edi
  3916.     movl    %eax, %edx
  3917.     sarl    $31, %edx
  3918.     idivl   %esi
  3919.     testl   %edx, %edx
  3920.     jne .L169
  3921.     jmp .L54
  3922. .L215:
  3923.     andb    $3, %dil
  3924.     jne .L50
  3925.     movl    %esi, %edx
  3926.     movl    %esi, %eax
  3927.     movl    $864, %edi
  3928.     sarl    $31, %edx
  3929.     idivl   %r12d
  3930.     movl    %edx, %eax
  3931.     sarl    $31, %edx
  3932.     idivl   %edi
  3933.     movw    $3, %di
  3934.     movl    %eax, %edx
  3935.     sarl    $31, %edx
  3936.     idivl   %edi
  3937.     testl   %edx, %edx
  3938.     jne .L169
  3939. .L50:
  3940.     cmpl    $1, %r8d
  3941.     je  .L242
  3942.     cmpl    $2, %r8d
  3943.     jne .L54
  3944.     movl    %esi, %edx
  3945.     movl    %esi, %eax
  3946.     movl    $7776, %edi
  3947.     sarl    $31, %edx
  3948.     idivl   %r12d
  3949.     jmp .L181
  3950. .L241:
  3951.     movl    %esi, %edx
  3952.     movl    %esi, %eax
  3953.     movl    $69984, %edi
  3954.     sarl    $31, %edx
  3955.     idivl   %r12d
  3956.     jmp .L181
  3957. .L242:
  3958.     movl    %esi, %edx
  3959.     movl    %esi, %eax
  3960.     movl    $2592, %edi
  3961.     sarl    $31, %edx
  3962.     idivl   %r12d
  3963.     jmp .L181
  3964. .L214:
  3965.     movl    %esi, %edx
  3966.     movl    %esi, %eax
  3967.     movl    $288, %r9d
  3968.     sarl    $31, %edx
  3969.     idivl   %r12d
  3970.     movl    %edx, %eax
  3971.     sarl    $31, %edx
  3972.     idivl   %r9d
  3973.     movw    $3, %r9w
  3974. .L180:
  3975.     movl    %eax, %edx
  3976.     sarl    $31, %edx
  3977.     idivl   %r9d
  3978.     testl   %edx, %edx
  3979.     jne .L169
  3980.     jmp .L48
  3981. .L213:
  3982.     movl    %esi, %edx
  3983.     movl    %esi, %eax
  3984.     movl    $96, %r9d
  3985.     sarl    $31, %edx
  3986.     idivl   %r12d
  3987.     movl    %edx, %eax
  3988.     sarl    $31, %edx
  3989.     idivl   %r9d
  3990.     movb    $3, %r9b
  3991.     jmp .L180
  3992. .L212:
  3993.     andb    $3, %dil
  3994.     jne .L42
  3995.     movl    %esi, %edx
  3996.     movl    %esi, %eax
  3997.     movl    $23328, %edi
  3998.     sarl    $31, %edx
  3999.     idivl   %r12d
  4000.     movl    %edx, %eax
  4001.     sarl    $31, %edx
  4002.     idivl   %edi
  4003.     movw    $3, %di
  4004.     movl    %eax, %edx
  4005.     sarl    $31, %edx
  4006.     idivl   %edi
  4007.     testl   %edx, %edx
  4008.     jne .L33
  4009. .L42:
  4010.     cmpl    $1, %ecx
  4011.     je  .L243
  4012.     cmpl    $2, %ecx
  4013.     jne .L41
  4014.     movl    %esi, %edx
  4015.     movl    %esi, %eax
  4016.     movl    $209952, %ecx
  4017.     sarl    $31, %edx
  4018.     idivl   %r12d
  4019. .L185:
  4020.     movl    %edx, %eax
  4021.     sarl    $31, %edx
  4022.     idivl   %ecx
  4023.     movl    $3, %ecx
  4024. .L186:
  4025.     movl    %eax, %edx
  4026.     sarl    $31, %edx
  4027.     idivl   %ecx
  4028.     testl   %edx, %edx
  4029.     je  .L41
  4030. .L33:
  4031.     movl    $.LC11, %edi
  4032.     call    puts
  4033.     movl    16(%rsp), %ecx
  4034.     movl    $4, %r11d
  4035.     movl    %ecx, %edx
  4036.     movl    %ecx, %eax
  4037.     movl    %ecx, %esi
  4038.     sarl    $31, %edx
  4039.     idivl   %r12d
  4040.     movl    %eax, %edx
  4041.     movl    %eax, %r9d
  4042.     sarl    $31, %edx
  4043.     idivl   %r11d
  4044.     cmpl    $3, %edx
  4045.     movl    %edx, %r10d
  4046.     je  .L169
  4047.     movl    %ecx, %edx
  4048.     movl    $4194304, %edi
  4049.     movl    %ecx, %eax
  4050.     sarl    $31, %edx
  4051.     idivl   %edi
  4052.     movl    %eax, %edx
  4053.     movl    %eax, %edi
  4054.     sarl    $31, %edx
  4055.     idivl   %r11d
  4056.     cmpl    $3, %edx
  4057.     movl    %edx, %r8d
  4058.     jne .L110
  4059.     jmp .L169
  4060. .L243:
  4061.     movl    %esi, %edx
  4062.     movl    %esi, %eax
  4063.     movl    $69984, %ecx
  4064.     sarl    $31, %edx
  4065.     idivl   %r12d
  4066.     jmp .L185
  4067. .L210:
  4068.     movl    %esi, %edx
  4069.     movl    %esi, %eax
  4070.     movl    $288, %r11d
  4071.     sarl    $31, %edx
  4072.     idivl   %r12d
  4073.     movl    %edx, %eax
  4074.     sarl    $31, %edx
  4075.     idivl   %r11d
  4076.     movw    $3, %r11w
  4077. .L183:
  4078.     movl    %eax, %edx
  4079.     sarl    $31, %edx
  4080.     idivl   %r11d
  4081.     testl   %edx, %edx
  4082.     jne .L33
  4083.     jmp .L37
  4084. .L209:
  4085.     movl    %esi, %edx
  4086.     movl    %esi, %eax
  4087.     movl    $96, %r11d
  4088.     sarl    $31, %edx
  4089.     idivl   %r12d
  4090.     movl    %edx, %eax
  4091.     sarl    $31, %edx
  4092.     idivl   %r11d
  4093.     movb    $3, %r11b
  4094.     jmp .L183
  4095. .L211:
  4096.     andb    $3, %dil
  4097.     jne .L39
  4098.     movl    %esi, %edx
  4099.     movl    %esi, %eax
  4100.     movl    $864, %edi
  4101.     sarl    $31, %edx
  4102.     idivl   %r12d
  4103.     movl    %edx, %eax
  4104.     sarl    $31, %edx
  4105.     idivl   %edi
  4106.     movw    $3, %di
  4107.     movl    %eax, %edx
  4108.     sarl    $31, %edx
  4109.     idivl   %edi
  4110.     testl   %edx, %edx
  4111.     jne .L33
  4112. .L39:
  4113.     cmpl    $1, %ecx
  4114.     je  .L244
  4115.     cmpl    $2, %ecx
  4116.     jne .L41
  4117.     movl    %esi, %edx
  4118.     movl    %esi, %eax
  4119.     movw    $7776, %cx
  4120.     sarl    $31, %edx
  4121.     idivl   %r12d
  4122. .L196:
  4123.     movl    %edx, %eax
  4124.     sarl    $31, %edx
  4125.     idivl   %ecx
  4126.     movw    $3, %cx
  4127.     jmp .L186
  4128. .L177:
  4129.     andb    $3, %dil
  4130.     jne .L64
  4131.     movl    %ecx, %edx
  4132.     movl    %ecx, %eax
  4133.     movl    $23328, %edi
  4134.     sarl    $31, %edx
  4135.     idivl   %ebp
  4136.     movl    %edx, %eax
  4137.     sarl    $31, %edx
  4138.     idivl   %edi
  4139.     movw    $3, %di
  4140.     movl    %eax, %edx
  4141.     sarl    $31, %edx
  4142.     idivl   %edi
  4143.     testl   %edx, %edx
  4144.     jne .L143
  4145. .L64:
  4146.     cmpl    $1, %esi
  4147.     je  .L245
  4148.     cmpl    $2, %esi
  4149.     jne .L188
  4150.     movl    %ecx, %edx
  4151.     movl    %ecx, %eax
  4152.     movl    $209952, %esi
  4153.     sarl    $31, %edx
  4154.     idivl   %ebp
  4155. .L191:
  4156.     movl    %edx, %eax
  4157.     sarl    $31, %edx
  4158.     movl    $3, %ecx
  4159.     idivl   %esi
  4160.     movl    %eax, %edx
  4161.     sarl    $31, %edx
  4162.     idivl   %ecx
  4163.     testl   %edx, %edx
  4164.     je  .L188
  4165. .L143:
  4166.     movl    16(%rsp), %ecx
  4167. .L172:
  4168.     movl    %ecx, %edx
  4169.     movl    %ecx, %eax
  4170.     sarl    $31, %edx
  4171.     idivl   %ebp
  4172.     movl    %edx, 16(%rsp)
  4173.     call    rand
  4174.     cvtsi2sd    %eax, %xmm0
  4175.     cvttsd2si   %xmm0, %eax
  4176.     cvtsi2sd    %eax, %xmm0
  4177.     divsd   .LC12(%rip), %xmm0
  4178.     mulsd   .LC13(%rip), %xmm0
  4179.     cvttsd2si   %xmm0, %eax
  4180.     movl    %eax, 32(%rsp)
  4181.     sall    $20, %eax
  4182.     addl    %eax, 16(%rsp)
  4183.     call    rand
  4184.     cvtsi2sd    %eax, %xmm0
  4185.     movl    $4, %r9d
  4186.     cvttsd2si   %xmm0, %eax
  4187.     cvtsi2sd    %eax, %xmm0
  4188.     divsd   .LC12(%rip), %xmm0
  4189.     mulsd   .LC13(%rip), %xmm0
  4190.     cvttsd2si   %xmm0, %ecx
  4191.     movl    %ecx, 32(%rsp)
  4192.     sall    $22, %ecx
  4193.     addl    16(%rsp), %ecx
  4194.     movl    %ecx, %edx
  4195.     movl    %ecx, %eax
  4196.     movl    %ecx, 16(%rsp)
  4197.     sarl    $31, %edx
  4198.     idivl   %ebp
  4199.     movl    %edx, %r11d
  4200.     movl    %eax, %edx
  4201.     movl    %eax, %r10d
  4202.     sarl    $31, %edx
  4203.     idivl   %r9d
  4204.     cmpl    $3, %edx
  4205.     movl    %edx, %r8d
  4206.     je  .L172
  4207.     movl    %ecx, %edx
  4208.     movl    $4194304, %esi
  4209.     movl    %ecx, %eax
  4210.     sarl    $31, %edx
  4211.     idivl   %esi
  4212.     movl    %eax, %edx
  4213.     movl    %eax, %edi
  4214.     sarl    $31, %edx
  4215.     idivl   %r9d
  4216.     cmpl    $3, %edx
  4217.     movl    %edx, %esi
  4218.     je  .L172
  4219.     andb    $3, %r10b
  4220.     jne .L60
  4221.     testb   $3, %dil
  4222.     jne .L58
  4223.     movl    %r11d, %edx
  4224.     movb    $32, %r9b
  4225.     movl    %r11d, %eax
  4226.     sarl    $31, %edx
  4227.     idivl   %r9d
  4228.     movb    $3, %r9b
  4229.     movl    %eax, %edx
  4230.     sarl    $31, %edx
  4231.     idivl   %r9d
  4232.     testl   %edx, %edx
  4233.     jne .L172
  4234. .L58:
  4235.     cmpl    $1, %esi
  4236.     je  .L246
  4237.     cmpl    $2, %esi
  4238.     je  .L247
  4239. .L60:
  4240.     cmpl    $1, %r8d
  4241.     je  .L248
  4242.     cmpl    $2, %r8d
  4243.     je  .L177
  4244. .L188:
  4245.     movl    16(%rsp), %ecx
  4246.     jmp .L54
  4247. .L244:
  4248.     movl    %esi, %edx
  4249.     movl    %esi, %eax
  4250.     movw    $2592, %cx
  4251.     sarl    $31, %edx
  4252.     idivl   %r12d
  4253.     jmp .L196
  4254. .L245:
  4255.     movl    %ecx, %edx
  4256.     movl    %ecx, %eax
  4257.     movl    $69984, %esi
  4258.     sarl    $31, %edx
  4259.     idivl   %ebp
  4260.     jmp .L191
  4261. .L247:
  4262.     movl    %ecx, %edx
  4263.     movl    %ecx, %eax
  4264.     movl    $288, %r9d
  4265.     sarl    $31, %edx
  4266.     idivl   %ebp
  4267.     movl    %edx, %eax
  4268.     sarl    $31, %edx
  4269.     idivl   %r9d
  4270.     movw    $3, %r9w
  4271. .L195:
  4272.     movl    %eax, %edx
  4273.     sarl    $31, %edx
  4274.     idivl   %r9d
  4275.     testl   %edx, %edx
  4276.     je  .L60
  4277.     jmp .L143
  4278. .L248:
  4279.     andb    $3, %dil
  4280.     jne .L62
  4281.     movl    %ecx, %edx
  4282.     movl    %ecx, %eax
  4283.     movl    $864, %edi
  4284.     sarl    $31, %edx
  4285.     idivl   %ebp
  4286.     movl    %edx, %eax
  4287.     sarl    $31, %edx
  4288.     idivl   %edi
  4289.     movw    $3, %di
  4290.     movl    %eax, %edx
  4291.     sarl    $31, %edx
  4292.     idivl   %edi
  4293.     testl   %edx, %edx
  4294.     jne .L143
  4295. .L62:
  4296.     cmpl    $1, %esi
  4297.     je  .L249
  4298.     cmpl    $2, %esi
  4299.     jne .L188
  4300.     movl    %ecx, %edx
  4301.     movl    %ecx, %eax
  4302.     movl    $7776, %esi
  4303.     sarl    $31, %edx
  4304.     idivl   %ebp
  4305.     jmp .L191
  4306. .L246:
  4307.     movl    %ecx, %edx
  4308.     movl    %ecx, %eax
  4309.     movl    $96, %r9d
  4310.     sarl    $31, %edx
  4311.     idivl   %ebp
  4312.     movl    %edx, %eax
  4313.     sarl    $31, %edx
  4314.     idivl   %r9d
  4315.     movb    $3, %r9b
  4316.     jmp .L195
  4317. .L249:
  4318.     movl    %ecx, %edx
  4319.     movl    %ecx, %eax
  4320.     movw    $2592, %si
  4321.     sarl    $31, %edx
  4322.     idivl   %ebp
  4323.     jmp .L191
  4324.     .cfi_endproc
  4325. .LFE21:
  4326.     .size   main, .-main
  4327.     .section    .rodata.cst8,"aM",@progbits,8
  4328.     .align 8
  4329. .LC3:
  4330.     .long   0
  4331.     .long   1070596096
  4332.     .section    .rodata.cst4,"aM",@progbits,4
  4333.     .align 4
  4334. .LC4:
  4335.     .long   1065353216
  4336.     .section    .rodata.cst8
  4337.     .align 8
  4338. .LC5:
  4339.     .long   0
  4340.     .long   1076101120
  4341.     .align 8
  4342. .LC12:
  4343.     .long   4290772992
  4344.     .long   1105199103
  4345.     .align 8
  4346. .LC13:
  4347.     .long   0
  4348.     .long   1074266112
  4349.     .ident  "GCC: (Debian 4.7.2-5) 4.7.2"
  4350.     .section    .note.GNU-stack,"",@progbits
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!