100401920:	53                   	push   %rbx
100401921:	48 83 ec 20          	sub    $0x20,%rsp
100401925:	48 8b 15 d4 36 01 00 	mov    0x136d4(%rip),%rdx        # 100415000 <_head_msys_gmp_10_dll-0x2000>
10040192c:	48 8b 1d d5 36 01 00 	mov    0x136d5(%rip),%rbx        # 100415008 <_head_msys_gmp_10_dll-0x1ff8>
100401933:	b9 01 00 00 00       	mov    $0x1,%ecx
100401938:	48 29 d3             	sub    %rdx,%rbx
10040193b:	49 89 d8             	mov    %rbx,%r8
10040193e:	e8 9d 31 00 00       	call   100404ae0 <.text+0x3ae0>
100401943:	48 39 d8             	cmp    %rbx,%rax
100401946:	75 14                	jne    10040195c <.text+0x95c>
100401948:	48 8b 05 b1 36 01 00 	mov    0x136b1(%rip),%rax        # 100415000 <_head_msys_gmp_10_dll-0x2000>
10040194f:	48 89 05 b2 36 01 00 	mov    %rax,0x136b2(%rip)        # 100415008 <_head_msys_gmp_10_dll-0x1ff8>
100401956:	48 83 c4 20          	add    $0x20,%rsp
10040195a:	5b                   	pop    %rbx
10040195b:	c3                   	ret
10040195c:	48 8d 0d 1c b7 00 00 	lea    0xb71c(%rip),%rcx        # 10040d07f <_head_msys_gmp_10_dll-0x9f81>
100401963:	e8 18 8a 00 00       	call   10040a380 <.text+0x9380>
100401968:	48 89 c3             	mov    %rax,%rbx
10040196b:	e8 70 8b 00 00       	call   10040a4e0 <.text+0x94e0>
100401970:	49 89 d9             	mov    %rbx,%r9
100401973:	b9 01 00 00 00       	mov    $0x1,%ecx
100401978:	4c 8d 05 0c b7 00 00 	lea    0xb70c(%rip),%r8        # 10040d08b <_head_msys_gmp_10_dll-0x9f75>
10040197f:	8b 10                	mov    (%rax),%edx
100401981:	e8 1a 8c 00 00       	call   10040a5a0 <.text+0x95a0>
100401986:	90                   	nop
100401987:	66 0f 1f 84 00 00 00 	nopw   0x0(%rax,%rax,1)
10040198e:	00 00
100401990:	48 83 ec 28          	sub    $0x28,%rsp
100401994:	4c 8d 0d f3 b6 00 00 	lea    0xb6f3(%rip),%r9        # 10040d08e <_head_msys_gmp_10_dll-0x9f72>
10040199b:	4c 8d 05 ae bb 00 00 	lea    0xbbae(%rip),%r8        # 10040d550 <_head_msys_gmp_10_dll-0x9ab0>
1004019a2:	ba 35 02 00 00       	mov    $0x235,%edx
1004019a7:	48 8d 0d 72 b6 00 00 	lea    0xb672(%rip),%rcx        # 10040d020 <_head_msys_gmp_10_dll-0x9fe0>
1004019ae:	e8 0d 8b 00 00       	call   10040a4c0 <.text+0x94c0>
1004019b3:	90                   	nop
1004019b4:	66 66 2e 0f 1f 84 00 	data16 cs nopw 0x0(%rax,%rax,1)
1004019bb:	00 00 00 00
1004019bf:	90                   	nop
1004019c0:	41 54                	push   %r12
1004019c2:	48 83 ec 20          	sub    $0x20,%rsp
1004019c6:	4c 8b 64 24 50       	mov    0x50(%rsp),%r12
1004019cb:	49 89 d3             	mov    %rdx,%r11
1004019ce:	49 89 ca             	mov    %rcx,%r10
1004019d1:	4c 89 c2             	mov    %r8,%rdx
1004019d4:	41 f6 c0 01          	test   $0x1,%r8b
1004019d8:	75 1f                	jne    1004019f9 <.text+0x9f9>
1004019da:	66 0f 1f 44 00 00    	nopw   0x0(%rax,%rax,1)
1004019e0:	48 d1 ea             	shr    $1,%rdx
1004019e3:	49 89 d0             	mov    %rdx,%r8
1004019e6:	4c 89 da             	mov    %r11,%rdx
1004019e9:	49 d1 eb             	shr    $1,%r11
1004019ec:	48 c1 e2 3f          	shl    $0x3f,%rdx
1004019f0:	4c 09 c2             	or     %r8,%rdx
1004019f3:	41 83 e0 01          	and    $0x1,%r8d
1004019f7:	74 e7                	je     1004019e0 <.text+0x9e0>
1004019f9:	4c 89 c8             	mov    %r9,%rax
1004019fc:	4c 09 d8             	or     %r11,%rax
1004019ff:	74 61                	je     100401a62 <.text+0xa62>
100401a01:	0f 1f 80 00 00 00 00 	nopl   0x0(%rax)
100401a08:	4d 39 cb             	cmp    %r9,%r11
100401a0b:	77 73                	ja     100401a80 <.text+0xa80>
100401a0d:	0f 94 c0             	sete   %al
100401a10:	4c 39 e2             	cmp    %r12,%rdx
100401a13:	76 04                	jbe    100401a19 <.text+0xa19>
100401a15:	84 c0                	test   %al,%al
100401a17:	75 67                	jne    100401a80 <.text+0xa80>
100401a19:	4d 39 cb             	cmp    %r9,%r11
100401a1c:	72 11                	jb     100401a2f <.text+0xa2f>
100401a1e:	4c 39 e2             	cmp    %r12,%rdx
100401a21:	0f 83 8f 00 00 00    	jae    100401ab6 <.text+0xab6>
100401a27:	84 c0                	test   %al,%al
100401a29:	0f 84 87 00 00 00    	je     100401ab6 <.text+0xab6>
100401a2f:	4c 89 e1             	mov    %r12,%rcx
100401a32:	48 29 d1             	sub    %rdx,%rcx
100401a35:	4d 19 d9             	sbb    %r11,%r9
100401a38:	49 89 cc             	mov    %rcx,%r12
100401a3b:	0f 1f 44 00 00       	nopl   0x0(%rax,%rax,1)
100401a40:	4c 89 e0             	mov    %r12,%rax
100401a43:	4c 89 c9             	mov    %r9,%rcx
100401a46:	49 d1 e9             	shr    $1,%r9
100401a49:	48 d1 e8             	shr    $1,%rax
100401a4c:	48 c1 e1 3f          	shl    $0x3f,%rcx
100401a50:	48 09 c1             	or     %rax,%rcx
100401a53:	49 89 cc             	mov    %rcx,%r12
100401a56:	a8 01                	test   $0x1,%al
100401a58:	74 e6                	je     100401a40 <.text+0xa40>
100401a5a:	4c 89 d8             	mov    %r11,%rax
100401a5d:	4c 09 c8             	or     %r9,%rax
100401a60:	75 a6                	jne    100401a08 <.text+0xa08>
100401a62:	4c 89 e1             	mov    %r12,%rcx
100401a65:	45 31 db             	xor    %r11d,%r11d
100401a68:	e8 13 f6 ff ff       	call   100401080 <.text+0x80>
100401a6d:	4d 89 1a             	mov    %r11,(%r10)
100401a70:	48 83 c4 20          	add    $0x20,%rsp
100401a74:	41 5c                	pop    %r12
100401a76:	c3                   	ret
100401a77:	66 0f 1f 84 00 00 00 	nopw   0x0(%rax,%rax,1)
100401a7e:	00 00
100401a80:	4c 29 e2             	sub    %r12,%rdx
100401a83:	4d 19 cb             	sbb    %r9,%r11
100401a86:	66 2e 0f 1f 84 00 00 	cs nopw 0x0(%rax,%rax,1)
100401a8d:	00 00 00
100401a90:	48 d1 ea             	shr    $1,%rdx
100401a93:	48 89 d1             	mov    %rdx,%rcx
100401a96:	4c 89 da             	mov    %r11,%rdx
100401a99:	49 d1 eb             	shr    $1,%r11
100401a9c:	48 c1 e2 3f          	shl    $0x3f,%rdx
100401aa0:	48 09 ca             	or     %rcx,%rdx
100401aa3:	83 e1 01             	and    $0x1,%ecx
100401aa6:	74 e8                	je     100401a90 <.text+0xa90>
100401aa8:	4c 89 d8             	mov    %r11,%rax
100401aab:	4c 09 c8             	or     %r9,%rax
100401aae:	0f 85 54 ff ff ff    	jne    100401a08 <.text+0xa08>
100401ab4:	eb ac                	jmp    100401a62 <.text+0xa62>
100401ab6:	48 89 d0             	mov    %rdx,%rax
100401ab9:	4d 89 1a             	mov    %r11,(%r10)
100401abc:	48 83 c4 20          	add    $0x20,%rsp
100401ac0:	41 5c                	pop    %r12
100401ac2:	c3                   	ret
100401ac3:	66 66 2e 0f 1f 84 00 	data16 cs nopw 0x0(%rax,%rax,1)
100401aca:	00 00 00 00
100401ace:	66 90                	xchg   %ax,%ax
100401ad0:	53                   	push   %rbx
100401ad1:	48 83 ec 20          	sub    $0x20,%rsp
100401ad5:	48 8b 44 24 50       	mov    0x50(%rsp),%rax
100401ada:	49 89 cb             	mov    %rcx,%r11
100401add:	4d 89 ca             	mov    %r9,%r10
100401ae0:	4d 85 c9             	test   %r9,%r9
100401ae3:	74 72                	je     100401b57 <.text+0xb57>
100401ae5:	48 85 d2             	test   %rdx,%rdx
100401ae8:	74 61                	je     100401b4b <.text+0xb4b>
100401aea:	49 0f bd d9          	bsr    %r9,%rbx
100401aee:	48 0f bd ca          	bsr    %rdx,%rcx
100401af2:	83 f3 3f             	xor    $0x3f,%ebx
100401af5:	83 f1 3f             	xor    $0x3f,%ecx
100401af8:	49 89 c1             	mov    %rax,%r9
100401afb:	29 cb                	sub    %ecx,%ebx
100401afd:	b9 40 00 00 00       	mov    $0x40,%ecx
100401b02:	29 d9                	sub    %ebx,%ecx
100401b04:	49 d3 e9             	shr    %cl,%r9
100401b07:	89 d9                	mov    %ebx,%ecx
100401b09:	49 d3 e2             	shl    %cl,%r10
100401b0c:	48 d3 e0             	shl    %cl,%rax
100401b0f:	4d 09 d1             	or     %r10,%r9
100401b12:	85 db                	test   %ebx,%ebx
100401b14:	7e 35                	jle    100401b4b <.text+0xb4b>
100401b16:	45 31 d2             	xor    %r10d,%r10d
100401b19:	0f 1f 80 00 00 00 00 	nopl   0x0(%rax)
100401b20:	49 39 d1             	cmp    %rdx,%r9
100401b23:	72 07                	jb     100401b2c <.text+0xb2c>
100401b25:	75 0b                	jne    100401b32 <.text+0xb32>
100401b27:	49 39 c0             	cmp    %rax,%r8
100401b2a:	72 06                	jb     100401b32 <.text+0xb32>
100401b2c:	49 29 c0             	sub    %rax,%r8
100401b2f:	4c 19 ca             	sbb    %r9,%rdx
100401b32:	4c 89 c9             	mov    %r9,%rcx
100401b35:	48 d1 e8             	shr    $1,%rax
100401b38:	41 83 c2 01          	add    $0x1,%r10d
100401b3c:	48 c1 e1 3f          	shl    $0x3f,%rcx
100401b40:	49 d1 e9             	shr    $1,%r9
100401b43:	48 09 c8             	or     %rcx,%rax
100401b46:	44 39 d3             	cmp    %r10d,%ebx
100401b49:	75 d5                	jne    100401b20 <.text+0xb20>
100401b4b:	4c 89 c0             	mov    %r8,%rax
100401b4e:	49 89 13             	mov    %rdx,(%r11)
100401b51:	48 83 c4 20          	add    $0x20,%rsp
100401b55:	5b                   	pop    %rbx
100401b56:	c3                   	ret
100401b57:	4c 8d 0d 48 b5 00 00 	lea    0xb548(%rip),%r9        # 10040d0a6 <_head_msys_gmp_10_dll-0x9f5a>
100401b5e:	4c 8d 05 a7 b9 00 00 	lea    0xb9a7(%rip),%r8        # 10040d50c <_head_msys_gmp_10_dll-0x9af4>
100401b65:	ba a3 01 00 00       	mov    $0x1a3,%edx
100401b6a:	48 8d 0d af b4 00 00 	lea    0xb4af(%rip),%rcx        # 10040d020 <_head_msys_gmp_10_dll-0x9fe0>
100401b71:	e8 4a 89 00 00       	call   10040a4c0 <.text+0x94c0>
100401b76:	90                   	nop
100401b77:	66 0f 1f 84 00 00 00 	nopw   0x0(%rax,%rax,1)
100401b7e:	00 00
100401b80:	56                   	push   %rsi
100401b81:	53                   	push   %rbx
100401b82:	48 83 ec 48          	sub    $0x48,%rsp
100401b86:	48 8d 5c 24 20       	lea    0x20(%rsp),%rbx
100401b8b:	48 89 d6             	mov    %rdx,%rsi
100401b8e:	48 89 da             	mov    %rbx,%rdx
100401b91:	e8 ba 2f 00 00       	call   100404b50 <.text+0x3b50>
100401b96:	48 89 c1             	mov    %rax,%rcx
100401b99:	48 89 c2             	mov    %rax,%rdx
100401b9c:	48 29 d9             	sub    %rbx,%rcx
100401b9f:	bb 14 00 00 00       	mov    $0x14,%ebx
100401ba4:	48 29 cb             	sub    %rcx,%rbx
100401ba7:	48 39 f3             	cmp    %rsi,%rbx
100401baa:	0f 83 a0 00 00 00    	jae    100401c50 <.text+0xc50>
100401bb0:	4c 8d 44 31 ec       	lea    -0x14(%rcx,%rsi,1),%r8
100401bb5:	48 8b 05 4c 34 01 00 	mov    0x1344c(%rip),%rax        # 100415008 <_head_msys_gmp_10_dll-0x1ff8>
100401bbc:	49 bb 30 30 30 30 30 	movabs $0x3030303030303030,%r11
100401bc3:	30 30 30
100401bc6:	49 83 f8 08          	cmp    $0x8,%r8
100401bca:	72 5c                	jb     100401c28 <.text+0xc28>
100401bcc:	4c 8d 50 08          	lea    0x8(%rax),%r10
100401bd0:	48 89 c1             	mov    %rax,%rcx
100401bd3:	4c 89 18             	mov    %r11,(%rax)
100401bd6:	49 83 e2 f8          	and    $0xfffffffffffffff8,%r10
100401bda:	4e 89 5c 00 f8       	mov    %r11,-0x8(%rax,%r8,1)
100401bdf:	4c 29 d1             	sub    %r10,%rcx
100401be2:	4c 01 c1             	add    %r8,%rcx
100401be5:	48 83 e1 f8          	and    $0xfffffffffffffff8,%rcx
100401be9:	48 83 f9 08          	cmp    $0x8,%rcx
100401bed:	72 16                	jb     100401c05 <.text+0xc05>
100401bef:	48 83 e1 f8          	and    $0xfffffffffffffff8,%rcx
100401bf3:	49 89 c9             	mov    %rcx,%r9
100401bf6:	31 c9                	xor    %ecx,%ecx
100401bf8:	4d 89 1c 0a          	mov    %r11,(%r10,%rcx,1)
100401bfc:	48 83 c1 08          	add    $0x8,%rcx
100401c00:	4c 39 c9             	cmp    %r9,%rcx
100401c03:	72 f3                	jb     100401bf8 <.text+0xbf8>
100401c05:	4a 8d 0c 00          	lea    (%rax,%r8,1),%rcx
100401c09:	49 89 d8             	mov    %rbx,%r8
100401c0c:	e8 ef 8a 00 00       	call   10040a700 <.text+0x9700>
100401c11:	48 8d 04 18          	lea    (%rax,%rbx,1),%rax
100401c15:	48 89 05 ec 33 01 00 	mov    %rax,0x133ec(%rip)        # 100415008 <_head_msys_gmp_10_dll-0x1ff8>
100401c1c:	48 83 c4 48          	add    $0x48,%rsp
100401c20:	5b                   	pop    %rbx
100401c21:	5e                   	pop    %rsi
100401c22:	c3                   	ret
100401c23:	0f 1f 44 00 00       	nopl   0x0(%rax,%rax,1)
100401c28:	41 f6 c0 04          	test   $0x4,%r8b
100401c2c:	75 2b                	jne    100401c59 <.text+0xc59>
100401c2e:	4d 85 c0             	test   %r8,%r8
100401c31:	74 d2                	je     100401c05 <.text+0xc05>
100401c33:	c6 00 30             	movb   $0x30,(%rax)
100401c36:	41 f6 c0 02          	test   $0x2,%r8b
100401c3a:	74 c9                	je     100401c05 <.text+0xc05>
100401c3c:	b9 30 30 00 00       	mov    $0x3030,%ecx
100401c41:	66 42 89 4c 00 fe    	mov    %cx,-0x2(%rax,%r8,1)
100401c47:	eb bc                	jmp    100401c05 <.text+0xc05>
100401c49:	0f 1f 80 00 00 00 00 	nopl   0x0(%rax)
100401c50:	48 8b 0d b1 33 01 00 	mov    0x133b1(%rip),%rcx        # 100415008 <_head_msys_gmp_10_dll-0x1ff8>
100401c57:	eb b0                	jmp    100401c09 <.text+0xc09>
100401c59:	c7 00 30 30 30 30    	movl   $0x30303030,(%rax)
100401c5f:	42 c7 44 00 fc 30 30 	movl   $0x30303030,-0x4(%rax,%r8,1)
100401c66:	30 30
100401c68:	eb 9b                	jmp    100401c05 <.text+0xc05>
100401c6a:	66 0f 1f 44 00 00    	nopw   0x0(%rax,%rax,1)
100401c70:	41 54                	push   %r12
100401c72:	53                   	push   %rbx
100401c73:	48 83 ec 28          	sub    $0x28,%rsp
100401c77:	48 8b 05 8a 33 01 00 	mov    0x1338a(%rip),%rax        # 100415008 <_head_msys_gmp_10_dll-0x1ff8>
100401c7e:	48 8d 58 01          	lea    0x1(%rax),%rbx
100401c82:	48 89 1d 7f 33 01 00 	mov    %rbx,0x1337f(%rip)        # 100415008 <_head_msys_gmp_10_dll-0x1ff8>
100401c89:	88 08                	mov    %cl,(%rax)
100401c8b:	80 f9 0a             	cmp    $0xa,%cl
100401c8e:	74 10                	je     100401ca0 <.text+0xca0>
100401c90:	48 83 c4 28          	add    $0x28,%rsp
100401c94:	5b                   	pop    %rbx
100401c95:	41 5c                	pop    %r12
100401c97:	c3                   	ret
100401c98:	0f 1f 84 00 00 00 00 	nopl   0x0(%rax,%rax,1)
100401c9f:	00
100401ca0:	8b 05 6a a3 00 00    	mov    0xa36a(%rip),%eax        # 10040c010 <_head_msys_gmp_10_dll-0xaff0>
100401ca6:	4c 8b 25 53 33 01 00 	mov    0x13353(%rip),%r12        # 100415000 <_head_msys_gmp_10_dll-0x2000>
100401cad:	83 f8 ff             	cmp    $0xffffffff,%eax
100401cb0:	74 76                	je     100401d28 <.text+0xd28>
100401cb2:	85 c0                	test   %eax,%eax
100401cb4:	0f 85 83 00 00 00    	jne    100401d3d <.text+0xd3d>
100401cba:	4c 29 e3             	sub    %r12,%rbx
100401cbd:	48 81 fb ff 01 00 00 	cmp    $0x1ff,%rbx
100401cc4:	76 ca                	jbe    100401c90 <.text+0xc90>
100401cc6:	48 8b 05 33 33 01 00 	mov    0x13333(%rip),%rax        # 100415000 <_head_msys_gmp_10_dll-0x2000>
100401ccd:	48 8b 1d 34 33 01 00 	mov    0x13334(%rip),%rbx        # 100415008 <_head_msys_gmp_10_dll-0x1ff8>
100401cd4:	48 05 00 02 00 00    	add    $0x200,%rax
100401cda:	66 0f 1f 44 00 00    	nopw   0x0(%rax,%rax,1)
100401ce0:	49 89 c4             	mov    %rax,%r12
100401ce3:	48 83 e8 01          	sub    $0x1,%rax
100401ce7:	80 38 0a             	cmpb   $0xa,(%rax)
100401cea:	75 f4                	jne    100401ce0 <.text+0xce0>
100401cec:	4c 29 e3             	sub    %r12,%rbx
100401cef:	4c 89 25 12 33 01 00 	mov    %r12,0x13312(%rip)        # 100415008 <_head_msys_gmp_10_dll-0x1ff8>
100401cf6:	e8 25 fc ff ff       	call   100401920 <.text+0x920>
100401cfb:	48 8b 0d fe 32 01 00 	mov    0x132fe(%rip),%rcx        # 100415000 <_head_msys_gmp_10_dll-0x2000>
100401d02:	49 89 d8             	mov    %rbx,%r8
100401d05:	4c 89 e2             	mov    %r12,%rdx
100401d08:	e8 f3 89 00 00       	call   10040a700 <.text+0x9700>
100401d0d:	48 89 c1             	mov    %rax,%rcx
100401d10:	48 01 d9             	add    %rbx,%rcx
100401d13:	48 89 0d ee 32 01 00 	mov    %rcx,0x132ee(%rip)        # 100415008 <_head_msys_gmp_10_dll-0x1ff8>
100401d1a:	48 83 c4 28          	add    $0x28,%rsp
100401d1e:	5b                   	pop    %rbx
100401d1f:	41 5c                	pop    %r12
100401d21:	c3                   	ret
100401d22:	66 0f 1f 44 00 00    	nopw   0x0(%rax,%rax,1)
100401d28:	31 c9                	xor    %ecx,%ecx
100401d2a:	e8 31 89 00 00       	call   10040a660 <.text+0x9660>
100401d2f:	85 c0                	test   %eax,%eax
100401d31:	74 1d                	je     100401d50 <.text+0xd50>
100401d33:	c7 05 d3 a2 00 00 01 	movl   $0x1,0xa2d3(%rip)        # 10040c010 <_head_msys_gmp_10_dll-0xaff0>
100401d3a:	00 00 00
100401d3d:	48 83 c4 28          	add    $0x28,%rsp
100401d41:	5b                   	pop    %rbx
100401d42:	41 5c                	pop    %r12
100401d44:	e9 d7 fb ff ff       	jmp    100401920 <.text+0x920>
100401d49:	0f 1f 80 00 00 00 00 	nopl   0x0(%rax)
100401d50:	b9 01 00 00 00       	mov    $0x1,%ecx
100401d55:	e8 06 89 00 00       	call   10040a660 <.text+0x9660>
100401d5a:	85 c0                	test   %eax,%eax
100401d5c:	0f 95 c0             	setne  %al
100401d5f:	0f b6 c0             	movzbl %al,%eax
100401d62:	89 05 a8 a2 00 00    	mov    %eax,0xa2a8(%rip)        # 10040c010 <_head_msys_gmp_10_dll-0xaff0>
100401d68:	e9 45 ff ff ff       	jmp    100401cb2 <.text+0xcb2>
100401d6d:	0f 1f 00             	nopl   (%rax)
100401d70:	41 57                	push   %r15
100401d72:	41 56                	push   %r14
100401d74:	41 55                	push   %r13
100401d76:	41 54                	push   %r12
100401d78:	55                   	push   %rbp
100401d79:	57                   	push   %rdi
100401d7a:	56                   	push   %rsi
100401d7b:	53                   	push   %rbx
100401d7c:	48 83 ec 28          	sub    $0x28,%rsp
100401d80:	4c 8b b4 24 98 00 00 	mov    0x98(%rsp),%r14
100401d87:	00
100401d88:	4c 89 cb             	mov    %r9,%rbx
100401d8b:	48 89 cf             	mov    %rcx,%rdi
100401d8e:	49 89 c9             	mov    %rcx,%r9
100401d91:	48 89 d5             	mov    %rdx,%rbp
100401d94:	48 89 d9             	mov    %rbx,%rcx
100401d97:	4c 89 c2             	mov    %r8,%rdx
100401d9a:	4c 8b 84 24 90 00 00 	mov    0x90(%rsp),%r8
100401da1:	00
100401da2:	ff 15 a8 56 01 00    	call   *0x156a8(%rip)        # 100417450 <__imp___gmpz_powm>
100401da8:	4c 8b 25 41 56 01 00 	mov    0x15641(%rip),%r12        # 1004173f0 <__imp___gmpz_cmp_ui>
100401daf:	ba 01 00 00 00       	mov    $0x1,%edx
100401db4:	48 89 d9             	mov    %rbx,%rcx
100401db7:	41 ff d4             	call   *%r12
100401dba:	85 c0                	test   %eax,%eax
100401dbc:	74 69                	je     100401e27 <.text+0xe27>
100401dbe:	4c 8b 2d 23 56 01 00 	mov    0x15623(%rip),%r13        # 1004173e8 <__imp___gmpz_cmp>
100401dc5:	48 89 ea             	mov    %rbp,%rdx
100401dc8:	48 89 d9             	mov    %rbx,%rcx
100401dcb:	41 ff d5             	call   *%r13
100401dce:	85 c0                	test   %eax,%eax
100401dd0:	74 55                	je     100401e27 <.text+0xe27>
100401dd2:	4c 8b 3d 7f 56 01 00 	mov    0x1567f(%rip),%r15        # 100417458 <__imp___gmpz_powm_ui>
100401dd9:	be 01 00 00 00       	mov    $0x1,%esi
100401dde:	49 83 fe 01          	cmp    $0x1,%r14
100401de2:	77 24                	ja     100401e08 <.text+0xe08>
100401de4:	eb 5a                	jmp    100401e40 <.text+0xe40>
100401de6:	66 2e 0f 1f 84 00 00 	cs nopw 0x0(%rax,%rax,1)
100401ded:	00 00 00
100401df0:	ba 01 00 00 00       	mov    $0x1,%edx
100401df5:	48 89 d9             	mov    %rbx,%rcx
100401df8:	41 ff d4             	call   *%r12
100401dfb:	85 c0                	test   %eax,%eax
100401dfd:	74 41                	je     100401e40 <.text+0xe40>