402a30:   48 89 5c 24 d8          mov    %rbx,-0x28(%rsp)
  402a35:   48 89 6c 24 e0          mov    %rbp,-0x20(%rsp)
  402a3a:   48 89 f3                mov    %rsi,%rbx
  402a3d:   4c 89 64 24 e8          mov    %r12,-0x18(%rsp)
  402a42:   4c 89 6c 24 f0          mov    %r13,-0x10(%rsp)
  402a47:   4d 89 c4                mov    %r8,%r12
  402a4a:   4c 89 74 24 f8          mov    %r14,-0x8(%rsp)
  402a4f:   48 83 ec 48             sub    $0x48,%rsp
  402a53:   49 89 fd                mov    %rdi,%r13
  402a56:   48 8d 6c 24 08          lea    0x8(%rsp),%rbp
  402a5b:   49 89 d6                mov    %rdx,%r14
  402a5e:   48 89 f2                mov    %rsi,%rdx
  402a61:   48 89 ce                mov    %rcx,%rsi
  402a64:   48 c7 04 24 00 00 00    movq   $0x0,(%rsp)
  402a6b:   00
  402a6c:   48 c7 44 24 08 00 00    movq   $0x0,0x8(%rsp)
  402a73:   00 00
  402a75:   48 89 ef                mov    %rbp,%rdi
  402a78:   e8 83 f1 ff ff          callq  401c00 <fmpz_add@plt>
  402a7d:   4c 89 e2                mov    %r12,%rdx
  402a80:   48 89 de                mov    %rbx,%rsi
  402a83:   48 89 e7                mov    %rsp,%rdi
  402a86:   e8 75 f1 ff ff          callq  401c00 <fmpz_add@plt>
  402a8b:   48 89 e2                mov    %rsp,%rdx
  402a8e:   48 89 ee                mov    %rbp,%rsi
  402a91:   48 89 ef                mov    %rbp,%rdi
  402a94:   e8 67 f1 ff ff          callq  401c00 <fmpz_add@plt>
  402a99:   4c 89 f2                mov    %r14,%rdx
  402a9c:   48 89 de                mov    %rbx,%rsi
  402a9f:   48 89 e7                mov    %rsp,%rdi
  402aa2:   e8 59 f1 ff ff          callq  401c00 <fmpz_add@plt>
  402aa7:   48 89 ea                mov    %rbp,%rdx
  402aaa:   4c 89 e6                mov    %r12,%rsi
  402aad:   48 89 e7                mov    %rsp,%rdi
  402ab0:   e8 6b f2 ff ff          callq  401d20 <fmpz_addmul@plt>
  402ab5:   4c 89 ef                mov    %r13,%rdi
  402ab8:   48 89 e2                mov    %rsp,%rdx
  402abb:   48 89 de                mov    %rbx,%rsi
  402abe:   e8 3d f1 ff ff          callq  401c00 <fmpz_add@plt>
  402ac3:   48 8b 7c 24 08          mov    0x8(%rsp),%rdi
  402ac8:   48 89 f8                mov    %rdi,%rax
  402acb:   48 c1 f8 3e             sar    $0x3e,%rax
  402acf:   48 83 f8 01             cmp    $0x1,%rax
  402ad3:   74 33                   je     402b08 <test_mpz_ternary_3+0xd8>
  402ad5:   48 8b 3c 24             mov    (%rsp),%rdi
  402ad9:   48 89 fa                mov    %rdi,%rdx
  402adc:   48 c1 fa 3e             sar    $0x3e,%rdx
  402ae0:   48 83 fa 01             cmp    $0x1,%rdx
  402ae4:   74 3a                   je     402b20 <test_mpz_ternary_3+0xf0>
  402ae6:   48 8b 5c 24 20          mov    0x20(%rsp),%rbx
  402aeb:   48 8b 6c 24 28          mov    0x28(%rsp),%rbp
  402af0:   4c 8b 64 24 30          mov    0x30(%rsp),%r12
  402af5:   4c 8b 6c 24 38          mov    0x38(%rsp),%r13
  402afa:   4c 8b 74 24 40          mov    0x40(%rsp),%r14
  402aff:   48 83 c4 48             add    $0x48,%rsp
  402b03:   c3                      retq
  402b04:   0f 1f 40 00             nopl   0x0(%rax)
  402b08:   e8 53 f1 ff ff          callq  401c60 <_fmpz_clear_mpz@plt>
  402b0d:   48 c7 44 24 08 00 00    movq   $0x0,0x8(%rsp)
  402b14:   00 00
  402b16:   eb bd                   jmp    402ad5 <test_mpz_ternary_3+0xa5>
  402b18:   0f 1f 84 00 00 00 00    nopl   0x0(%rax,%rax,1)
  402b1f:   00
  402b20:   e8 3b f1 ff ff          callq  401c60 <_fmpz_clear_mpz@plt>
  402b25:   eb bf                   jmp    402ae6 <test_mpz_ternary_3+0xb6>
  402b27:   66 0f 1f 84 00 00 00    nopw   0x0(%rax,%rax,1)
  402b2e:   00 00