0000000000400541 <if0>:
  400541: 55                    push   %rbp
  400542: 48 89 e5              mov    %rsp,%rbp
  400545: 48 83 ec 10           sub    $0x10,%rsp
  400549: 48 c7 45 f8 00 00 00  movq   $0x0,-0x8(%rbp)
  400550: 00
  400551: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  400555: 8b 00                 mov    (%rax),%eax
  400557: 83 f8 0e              cmp    $0xe,%eax
  40055a: 75 0a                 jne    400566 <if0+0x25>
  40055c: bf ac 08 40 00        mov    $0x4008ac,%edi
  400561: e8 8a fe ff ff        callq  4003f0 <puts@plt>
  400566: b8 00 00 00 00        mov    $0x0,%eax
  40056b: c9                    leaveq
  40056c: c3                    retq

000000000040056d <if1>:
  40056d: 55                    push   %rbp
  40056e: 48 89 e5              mov    %rsp,%rbp
  400571: 48 83 ec 10           sub    $0x10,%rsp
  400575: 48 c7 45 f8 00 00 00  movq   $0x0,-0x8(%rbp)
  40057c: 00
  40057d: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  400581: 8b 00                 mov    (%rax),%eax
  400583: 83 f8 0e              cmp    $0xe,%eax
  400586: 75 0c                 jne    400594 <if1+0x27>
  400588: bf ae 08 40 00        mov    $0x4008ae,%edi
  40058d: e8 5e fe ff ff        callq  4003f0 <puts@plt>
  400592: eb 0a                 jmp    40059e <if1+0x31>
  400594: bf b1 08 40 00        mov    $0x4008b1,%edi
  400599: e8 52 fe ff ff        callq  4003f0 <puts@plt>
  40059e: b8 00 00 00 00        mov    $0x0,%eax
  4005a3: c9                    leaveq
  4005a4: c3                    retq

00000000004005a5 <if2>:
  4005a5: 55                    push   %rbp
  4005a6: 48 89 e5              mov    %rsp,%rbp
  4005a9: 48 83 ec 10           sub    $0x10,%rsp
  4005ad: 48 c7 45 f8 00 00 00  movq   $0x0,-0x8(%rbp)
  4005b4: 00
  4005b5: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  4005b9: 8b 00                 mov    (%rax),%eax
  4005bb: 83 f8 0e              cmp    $0xe,%eax
  4005be: 75 0c                 jne    4005cc <if2+0x27>
  4005c0: bf b4 08 40 00        mov    $0x4008b4,%edi
  4005c5: e8 26 fe ff ff        callq  4003f0 <puts@plt>
  4005ca: eb 2c                 jmp    4005f8 <if2+0x53>
  4005cc: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  4005d0: 8b 00                 mov    (%rax),%eax
  4005d2: 83 f8 16              cmp    $0x16,%eax
  4005d5: 75 0c                 jne    4005e3 <if2+0x3e>
  4005d7: bf b7 08 40 00        mov    $0x4008b7,%edi
  4005dc: e8 0f fe ff ff        callq  4003f0 <puts@plt>
  4005e1: eb 15                 jmp    4005f8 <if2+0x53>
  4005e3: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  4005e7: 8b 00                 mov    (%rax),%eax
  4005e9: 83 f8 2c              cmp    $0x2c,%eax
  4005ec: 75 0a                 jne    4005f8 <if2+0x53>
  4005ee: bf ba 08 40 00        mov    $0x4008ba,%edi
  4005f3: e8 f8 fd ff ff        callq  4003f0 <puts@plt>
  4005f8: b8 00 00 00 00        mov    $0x0,%eax
  4005fd: c9                    leaveq
  4005fe: c3                    retq

00000000004005ff <if3>:
  4005ff: 55                    push   %rbp
  400600: 48 89 e5              mov    %rsp,%rbp
  400603: 48 83 ec 10           sub    $0x10,%rsp
  400607: 48 c7 45 f8 00 00 00  movq   $0x0,-0x8(%rbp)
  40060e: 00
  40060f: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  400613: 8b 00                 mov    (%rax),%eax
  400615: 83 f8 03              cmp    $0x3,%eax
  400618: 74 0b                 je     400625 <if3+0x26>
  40061a: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  40061e: 8b 00                 mov    (%rax),%eax
  400620: 83 f8 04              cmp    $0x4,%eax
  400623: 75 0a                 jne    40062f <if3+0x30>
  400625: bf bd 08 40 00        mov    $0x4008bd,%edi
  40062a: e8 c1 fd ff ff        callq  4003f0 <puts@plt>
  40062f: b8 00 00 00 00        mov    $0x0,%eax
  400634: c9                    leaveq
  400635: c3                    retq

0000000000400636 <if4>:
  400636: 55                    push   %rbp
  400637: 48 89 e5              mov    %rsp,%rbp
  40063a: 48 83 ec 10           sub    $0x10,%rsp
  40063e: 48 c7 45 f8 00 00 00  movq   $0x0,-0x8(%rbp)
  400645: 00
  400646: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  40064a: 8b 00                 mov    (%rax),%eax
  40064c: 83 f8 03              cmp    $0x3,%eax
  40064f: 75 15                 jne    400666 <if4+0x30>
  400651: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  400655: 8b 00                 mov    (%rax),%eax
  400657: 83 f8 04              cmp    $0x4,%eax
  40065a: 75 0a                 jne    400666 <if4+0x30>
  40065c: bf bf 08 40 00        mov    $0x4008bf,%edi
  400661: e8 8a fd ff ff        callq  4003f0 <puts@plt>
  400666: b8 00 00 00 00        mov    $0x0,%eax
  40066b: c9                    leaveq
  40066c: c3                    retq

000000000040066d <if5>:
  40066d: 55                    push   %rbp
  40066e: 48 89 e5              mov    %rsp,%rbp
  400671: 48 83 ec 10           sub    $0x10,%rsp
  400675: 48 c7 45 f8 00 00 00  movq   $0x0,-0x8(%rbp)
  40067c: 00
  40067d: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  400681: 8b 00                 mov    (%rax),%eax
  400683: 83 f8 03              cmp    $0x3,%eax
  400686: 74 12                 je     40069a <if5+0x2d>
  400688: 48 83 7d f8 00        cmpq   $0x0,-0x8(%rbp)
  40068d: 74 15                 je     4006a4 <if5+0x37>
  40068f: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  400693: 8b 00                 mov    (%rax),%eax
  400695: 83 f8 04              cmp    $0x4,%eax
  400698: 75 0a                 jne    4006a4 <if5+0x37>
  40069a: bf c1 08 40 00        mov    $0x4008c1,%edi
  40069f: e8 4c fd ff ff        callq  4003f0 <puts@plt>
  4006a4: b8 00 00 00 00        mov    $0x0,%eax
  4006a9: c9                    leaveq
  4006aa: c3                    retq

00000000004006ab <if6>:
  4006ab: 55                    push   %rbp
  4006ac: 48 89 e5              mov    %rsp,%rbp
  4006af: 48 c7 45 f8 00 00 00  movq   $0x0,-0x8(%rbp)
  4006b6: 00
  4006b7: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  4006bb: 8b 00                 mov    (%rax),%eax
  4006bd: 3d 8f 01 00 00        cmp    $0x18f,%eax
  4006c2: 7f 07                 jg     4006cb <if6+0x20>
  4006c4: b8 01 00 00 00        mov    $0x1,%eax
  4006c9: eb 62                 jmp    40072d <if6+0x82>
  4006cb: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  4006cf: 8b 00                 mov    (%rax),%eax
  4006d1: 3d f4 01 00 00        cmp    $0x1f4,%eax
  4006d6: 7f 07                 jg     4006df <if6+0x34>
  4006d8: b8 02 00 00 00        mov    $0x2,%eax
  4006dd: eb 4e                 jmp    40072d <if6+0x82>
  4006df: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  4006e3: 8b 00                 mov    (%rax),%eax
  4006e5: 3d 58 02 00 00        cmp    $0x258,%eax
  4006ea: 7e 07                 jle    4006f3 <if6+0x48>
  4006ec: b8 03 00 00 00        mov    $0x3,%eax
  4006f1: eb 3a                 jmp    40072d <if6+0x82>
  4006f3: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  4006f7: 8b 00                 mov    (%rax),%eax
  4006f9: 3d bb 02 00 00        cmp    $0x2bb,%eax
  4006fe: 7e 07                 jle    400707 <if6+0x5c>
  400700: b8 04 00 00 00        mov    $0x4,%eax
  400705: eb 26                 jmp    40072d <if6+0x82>
  400707: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  40070b: 8b 00                 mov    (%rax),%eax
  40070d: 3d 20 03 00 00        cmp    $0x320,%eax
  400712: 7f 0d                 jg     400721 <if6+0x76>
  400714: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  400718: 8b 00                 mov    (%rax),%eax
  40071a: 3d 20 03 00 00        cmp    $0x320,%eax
  40071f: 75 07                 jne    400728 <if6+0x7d>
  400721: b8 05 00 00 00        mov    $0x5,%eax
  400726: eb 05                 jmp    40072d <if6+0x82>
  400728: b8 00 00 00 00        mov    $0x0,%eax
  40072d: 5d                    pop    %rbp
  40072e: c3                    retq

000000000040072f <if7>:
  40072f: 55                    push   %rbp
  400730: 48 89 e5              mov    %rsp,%rbp
  400733: 48 c7 45 f8 00 00 00  movq   $0x0,-0x8(%rbp)
  40073a: 00
  40073b: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  40073f: 8b 00                 mov    (%rax),%eax
  400741: 3d 8f 01 00 00        cmp    $0x18f,%eax
  400746: 77 07                 ja     40074f <if7+0x20>
  400748: b8 01 00 00 00        mov    $0x1,%eax
  40074d: eb 62                 jmp    4007b1 <if7+0x82>
  40074f: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  400753: 8b 00                 mov    (%rax),%eax
  400755: 3d f4 01 00 00        cmp    $0x1f4,%eax
  40075a: 77 07                 ja     400763 <if7+0x34>
  40075c: b8 02 00 00 00        mov    $0x2,%eax
  400761: eb 4e                 jmp    4007b1 <if7+0x82>
  400763: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  400767: 8b 00                 mov    (%rax),%eax
  400769: 3d 58 02 00 00        cmp    $0x258,%eax
  40076e: 76 07                 jbe    400777 <if7+0x48>
  400770: b8 03 00 00 00        mov    $0x3,%eax
  400775: eb 3a                 jmp    4007b1 <if7+0x82>
  400777: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  40077b: 8b 00                 mov    (%rax),%eax
  40077d: 3d bb 02 00 00        cmp    $0x2bb,%eax
  400782: 76 07                 jbe    40078b <if7+0x5c>
  400784: b8 04 00 00 00        mov    $0x4,%eax
  400789: eb 26                 jmp    4007b1 <if7+0x82>
  40078b: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  40078f: 8b 00                 mov    (%rax),%eax
  400791: 3d 20 03 00 00        cmp    $0x320,%eax
  400796: 77 0d                 ja     4007a5 <if7+0x76>
  400798: 48 8b 45 f8           mov    -0x8(%rbp),%rax
  40079c: 8b 00                 mov    (%rax),%eax
  40079e: 3d 20 03 00 00        cmp    $0x320,%eax
  4007a3: 75 07                 jne    4007ac <if7+0x7d>
  4007a5: b8 05 00 00 00        mov    $0x5,%eax
  4007aa: eb 05                 jmp    4007b1 <if7+0x82>
  4007ac: b8 00 00 00 00        mov    $0x0,%eax
  4007b1: 5d                    pop    %rbp
  4007b2: c3                    retq
  4007b3: 90                    nop
  4007b4: 90                    nop
  4007b5: 90                    nop
  4007b6: 90                    nop
  4007b7: 90                    nop
  4007b8: 90                    nop
  4007b9: 90                    nop
  4007ba: 90                    nop
  4007bb: 90                    nop
  4007bc: 90                    nop
  4007bd: 90                    nop
  4007be: 90                    nop
  4007bf: 90                    nop
