402400:   48 89 5c 24 e0          mov    %rbx,-0x20(%rsp)
  402405:   48 89 6c 24 e8          mov    %rbp,-0x18(%rsp)
  40240a:   48 89 f3                mov    %rsi,%rbx
  40240d:   4c 89 64 24 f0          mov    %r12,-0x10(%rsp)
  402412:   4c 89 6c 24 f8          mov    %r13,-0x8(%rsp)
  402417:   48 83 ec 48             sub    $0x48,%rsp
  40241b:   49 89 fc                mov    %rdi,%r12
  40241e:   49 89 d5                mov    %rdx,%r13
  402421:   48 89 e7                mov    %rsp,%rdi
  402424:   48 89 f2                mov    %rsi,%rdx
  402427:   48 89 ce                mov    %rcx,%rsi
  40242a:   4c 89 c5                mov    %r8,%rbp
  40242d:   48 c7 04 24 00 00 00    movq   $0x0,(%rsp)
  402434:   00
  402435:   48 c7 44 24 10 00 00    movq   $0x0,0x10(%rsp)
  40243c:   00 00
  40243e:   e8 bd f7 ff ff          callq  401c00 <fmpz_add@plt>
  402443:   48 8d 7c 24 10          lea    0x10(%rsp),%rdi
  402448:   48 89 ea                mov    %rbp,%rdx
  40244b:   48 89 de                mov    %rbx,%rsi
  40244e:   e8 ad f7 ff ff          callq  401c00 <fmpz_add@plt>
  402453:   48 8d 54 24 10          lea    0x10(%rsp),%rdx
  402458:   48 89 e6                mov    %rsp,%rsi
  40245b:   48 89 e7                mov    %rsp,%rdi
  40245e:   e8 9d f7 ff ff          callq  401c00 <fmpz_add@plt>
  402463:   48 8d 7c 24 10          lea    0x10(%rsp),%rdi
  402468:   4c 89 ea                mov    %r13,%rdx
  40246b:   48 89 de                mov    %rbx,%rsi
  40246e:   e8 8d f7 ff ff          callq  401c00 <fmpz_add@plt>
  402473:   48 8d 7c 24 10          lea    0x10(%rsp),%rdi
  402478:   48 89 ea                mov    %rbp,%rdx
  40247b:   48 89 e6                mov    %rsp,%rsi
  40247e:   e8 9d f8 ff ff          callq  401d20 <fmpz_addmul@plt>
  402483:   48 8d 54 24 10          lea    0x10(%rsp),%rdx
  402488:   4c 89 e7                mov    %r12,%rdi
  40248b:   48 89 de                mov    %rbx,%rsi
  40248e:   e8 6d f7 ff ff          callq  401c00 <fmpz_add@plt>
  402493:   48 8b 3c 24             mov    (%rsp),%rdi
  402497:   48 89 f8                mov    %rdi,%rax
  40249a:   48 c1 f8 3e             sar    $0x3e,%rax
  40249e:   48 83 f8 01             cmp    $0x1,%rax
  4024a2:   74 2c                   je     4024d0 <test_mpz_ternary_4+0xd0>
  4024a4:   48 8b 7c 24 10          mov    0x10(%rsp),%rdi
  4024a9:   48 89 fa                mov    %rdi,%rdx
  4024ac:   48 c1 fa 3e             sar    $0x3e,%rdx
  4024b0:   48 83 fa 01             cmp    $0x1,%rdx
  4024b4:   74 2a                   je     4024e0 <test_mpz_ternary_4+0xe0>
  4024b6:   48 8b 5c 24 28          mov    0x28(%rsp),%rbx
  4024bb:   48 8b 6c 24 30          mov    0x30(%rsp),%rbp
  4024c0:   4c 8b 64 24 38          mov    0x38(%rsp),%r12
  4024c5:   4c 8b 6c 24 40          mov    0x40(%rsp),%r13
  4024ca:   48 83 c4 48             add    $0x48,%rsp
  4024ce:   c3                      retq
  4024cf:   90                      nop
  4024d0:   e8 8b f7 ff ff          callq  401c60 <_fmpz_clear_mpz@plt>
  4024d5:   48 c7 04 24 00 00 00    movq   $0x0,(%rsp)
  4024dc:   00
  4024dd:   eb c5                   jmp    4024a4 <test_mpz_ternary_4+0xa4>
  4024df:   90                      nop
  4024e0:   e8 7b f7 ff ff          callq  401c60 <_fmpz_clear_mpz@plt>
  4024e5:   eb cf                   jmp    4024b6 <test_mpz_ternary_4+0xb6>
  4024e7:   66 0f 1f 84 00 00 00    nopw   0x0(%rax,%rax,1)
  4024ee:   00 00