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>
100401dff:	48 83 c6 01          	add    $0x1,%rsi
100401e03:	49 39 f6             	cmp    %rsi,%r14
100401e06:	74 38                	je     100401e40 <.text+0xe40>
100401e08:	48 89 da             	mov    %rbx,%rdx
100401e0b:	48 89 d9             	mov    %rbx,%rcx
100401e0e:	49 89 f9             	mov    %rdi,%r9
100401e11:	41 b8 02 00 00 00    	mov    $0x2,%r8d
100401e17:	41 ff d7             	call   *%r15
100401e1a:	48 89 ea             	mov    %rbp,%rdx
100401e1d:	48 89 d9             	mov    %rbx,%rcx
100401e20:	41 ff d5             	call   *%r13
100401e23:	85 c0                	test   %eax,%eax
100401e25:	75 c9                	jne    100401df0 <.text+0xdf0>
100401e27:	b8 01 00 00 00       	mov    $0x1,%eax
100401e2c:	48 83 c4 28          	add    $0x28,%rsp
100401e30:	5b                   	pop    %rbx
100401e31:	5e                   	pop    %rsi
100401e32:	5f                   	pop    %rdi
100401e33:	5d                   	pop    %rbp
100401e34:	41 5c                	pop    %r12
100401e36:	41 5d                	pop    %r13
100401e38:	41 5e                	pop    %r14
100401e3a:	41 5f                	pop    %r15
100401e3c:	c3                   	ret
100401e3d:	0f 1f 00             	nopl   (%rax)
100401e40:	31 c0                	xor    %eax,%eax
100401e42:	eb e8                	jmp    100401e2c <.text+0xe2c>
100401e44:	66 66 2e 0f 1f 84 00 	data16 cs nopw 0x0(%rax,%rax,1)
100401e4b:	00 00 00 00
100401e4f:	90                   	nop
100401e50:	53                   	push   %rbx
100401e51:	48 83 ec 30          	sub    $0x30,%rsp
100401e55:	41 bb 40 00 00 00    	mov    $0x40,%r11d
100401e5b:	45 31 d2             	xor    %r10d,%r10d
100401e5e:	41 b8 00 ca 9a 3b    	mov    $0x3b9aca00,%r8d
100401e64:	49 89 d1             	mov    %rdx,%r9
100401e67:	48 89 ca             	mov    %rcx,%rdx
100401e6a:	48 89 cb             	mov    %rcx,%rbx
100401e6d:	48 b9 53 5a 9b a0 2f 	movabs $0x44b82fa09b5a53,%rcx
100401e74:	b8 44 00
100401e77:	48 c1 ea 09          	shr    $0x9,%rdx
100401e7b:	48 89 d0             	mov    %rdx,%rax
100401e7e:	48 f7 e1             	mul    %rcx
100401e81:	31 c9                	xor    %ecx,%ecx
100401e83:	48 c1 ea 0b          	shr    $0xb,%rdx
100401e87:	48 69 c2 00 ca 9a 3b 	imul   $0x3b9aca00,%rdx,%rax
100401e8e:	48 89 da             	mov    %rbx,%rdx
100401e91:	48 29 c2             	sub    %rax,%rdx
100401e94:	0f 1f 40 00          	nopl   0x0(%rax)
100401e98:	4c 89 c0             	mov    %r8,%rax
100401e9b:	48 d1 e9             	shr    $1,%rcx
100401e9e:	4d 01 d2             	add    %r10,%r10
100401ea1:	48 c1 e0 3f          	shl    $0x3f,%rax
100401ea5:	49 d1 e8             	shr    $1,%r8
100401ea8:	48 09 c1             	or     %rax,%rcx
100401eab:	49 39 d0             	cmp    %rdx,%r8
100401eae:	72 07                	jb     100401eb7 <.text+0xeb7>
100401eb0:	75 0f                	jne    100401ec1 <.text+0xec1>
100401eb2:	4c 39 c9             	cmp    %r9,%rcx
100401eb5:	77 0a                	ja     100401ec1 <.text+0xec1>
100401eb7:	49 83 c2 01          	add    $0x1,%r10
100401ebb:	49 29 c9             	sub    %rcx,%r9
100401ebe:	4c 19 c2             	sbb    %r8,%rdx
100401ec1:	41 83 eb 01          	sub    $0x1,%r11d
100401ec5:	75 d1                	jne    100401e98 <.text+0xe98>
100401ec7:	4c 89 4c 24 28       	mov    %r9,0x28(%rsp)
100401ecc:	48 81 fb ff c9 9a 3b 	cmp    $0x3b9ac9ff,%rbx
100401ed3:	76 3a                	jbe    100401f0f <.text+0xf0f>
100401ed5:	48 ba 53 5a 9b a0 2f 	movabs $0x44b82fa09b5a53,%rdx
100401edc:	b8 44 00
100401edf:	48 c1 eb 09          	shr    $0x9,%rbx
100401ee3:	48 89 d8             	mov    %rbx,%rax
100401ee6:	48 f7 e2             	mul    %rdx
100401ee9:	48 c1 ea 0b          	shr    $0xb,%rdx
100401eed:	48 89 d1             	mov    %rdx,%rcx
100401ef0:	4c 89 d2             	mov    %r10,%rdx
100401ef3:	e8 58 ff ff ff       	call   100401e50 <.text+0xe50>
100401ef8:	4c 8b 4c 24 28       	mov    0x28(%rsp),%r9
100401efd:	ba 09 00 00 00       	mov    $0x9,%edx
100401f02:	4c 89 c9             	mov    %r9,%rcx
100401f05:	48 83 c4 30          	add    $0x30,%rsp
100401f09:	5b                   	pop    %rbx
100401f0a:	e9 71 fc ff ff       	jmp    100401b80 <.text+0xb80>
100401f0f:	31 d2                	xor    %edx,%edx
100401f11:	4c 89 d1             	mov    %r10,%rcx
100401f14:	e8 67 fc ff ff       	call   100401b80 <.text+0xb80>
100401f19:	4c 8b 4c 24 28       	mov    0x28(%rsp),%r9
100401f1e:	eb dd                	jmp    100401efd <.text+0xefd>
100401f20:	41 57                	push   %r15
100401f22:	41 56                	push   %r14
100401f24:	41 55                	push   %r13
100401f26:	41 54                	push   %r12
100401f28:	55                   	push   %rbp
100401f29:	57                   	push   %rdi
100401f2a:	56                   	push   %rsi
100401f2b:	53                   	push   %rbx
100401f2c:	48 81 ec d8 00 00 00 	sub    $0xd8,%rsp
100401f33:	80 3d d6 30 01 00 00 	cmpb   $0x0,0x130d6(%rip)        # 100415010 <_head_msys_gmp_10_dll-0x1ff0>
100401f3a:	4c 89 84 24 30 01 00 	mov    %r8,0x130(%rsp)
100401f41:	00
100401f42:	49 89 cd             	mov    %rcx,%r13
100401f45:	48 89 d7             	mov    %rdx,%rdi
100401f48:	0f 85 b8 03 00 00    	jne    100402306 <.text+0x1306>
100401f4e:	4c 8d bc 24 c0 00 00 	lea    0xc0(%rsp),%r15
100401f55:	00
100401f56:	48 8d 9c 24 b0 00 00 	lea    0xb0(%rsp),%rbx
100401f5d:	00
100401f5e:	45 31 c0             	xor    %r8d,%r8d
100401f61:	bd 01 00 00 00       	mov    $0x1,%ebp
100401f66:	4c 89 fa             	mov    %r15,%rdx
100401f69:	48 89 d9             	mov    %rbx,%rcx
100401f6c:	4c 8d 64 24 70       	lea    0x70(%rsp),%r12
100401f71:	ff 15 c1 54 01 00    	call   *0x154c1(%rip)        # 100417438 <__imp___gmpz_inits>
100401f77:	48 8d 84 24 90 00 00 	lea    0x90(%rsp),%rax
100401f7e:	00
100401f7f:	ba 02 00 00 00       	mov    $0x2,%edx
100401f84:	48 8b 35 95 54 01 00 	mov    0x15495(%rip),%rsi        # 100417420 <__imp___gmpz_init_set_si>
100401f8b:	48 89 c1             	mov    %rax,%rcx
100401f8e:	48 89 44 24 50       	mov    %rax,0x50(%rsp)
100401f93:	4c 8d b4 24 a0 00 00 	lea    0xa0(%rsp),%r14
100401f9a:	00
100401f9b:	ff d6                	call   *%rsi
100401f9d:	ba 02 00 00 00       	mov    $0x2,%edx
100401fa2:	4c 89 e1             	mov    %r12,%rcx
100401fa5:	ff d6                	call   *%rsi
100401fa7:	48 8d 84 24 80 00 00 	lea    0x80(%rsp),%rax
100401fae:	00
100401faf:	ba 02 00 00 00       	mov    $0x2,%edx
100401fb4:	48 89 c1             	mov    %rax,%rcx
100401fb7:	48 89 44 24 48       	mov    %rax,0x48(%rsp)
100401fbc:	ff d6                	call   *%rsi
100401fbe:	ba 01 00 00 00       	mov    $0x1,%edx
100401fc3:	4c 89 f1             	mov    %r14,%rcx
100401fc6:	ff 15 64 54 01 00    	call   *0x15464(%rip)        # 100417430 <__imp___gmpz_init_set_ui>
100401fcc:	48 c7 44 24 58 01 00 	movq   $0x1,0x58(%rsp)
100401fd3:	00 00
100401fd5:	ba 01 00 00 00       	mov    $0x1,%edx
100401fda:	4c 89 e9             	mov    %r13,%rcx
100401fdd:	ff 15 0d 54 01 00    	call   *0x1540d(%rip)        # 1004173f0 <__imp___gmpz_cmp_ui>
100401fe3:	85 c0                	test   %eax,%eax
100401fe5:	0f 84 b5 02 00 00    	je     1004022a0 <.text+0x12a0>
100401feb:	48 8b 35 4e 54 01 00 	mov    0x1544e(%rip),%rsi        # 100417440 <__imp___gmpz_mod>
100401ff2:	eb 0e                	jmp    100402002 <.text+0x1002>
100401ff4:	0f 1f 40 00          	nopl   0x0(%rax)
100401ff8:	48 83 ed 01          	sub    $0x1,%rbp
100401ffc:	0f 84 9d 00 00 00    	je     10040209f <.text+0x109f>
100402002:	4d 89 e0             	mov    %r12,%r8
100402005:	4c 89 e2             	mov    %r12,%rdx
100402008:	48 89 d9             	mov    %rbx,%rcx
10040200b:	ff 15 37 54 01 00    	call   *0x15437(%rip)        # 100417448 <__imp___gmpz_mul>
100402011:	4d 89 e8             	mov    %r13,%r8
100402014:	48 89 da             	mov    %rbx,%rdx
100402017:	4c 89 e1             	mov    %r12,%rcx
10040201a:	ff d6                	call   *%rsi
10040201c:	49 89 f8             	mov    %rdi,%r8
10040201f:	4c 89 e2             	mov    %r12,%rdx
100402022:	4c 89 e1             	mov    %r12,%rcx
100402025:	ff 15 a5 53 01 00    	call   *0x153a5(%rip)        # 1004173d0 <__imp___gmpz_add_ui>
10040202b:	48 8b 54 24 48       	mov    0x48(%rsp),%rdx
100402030:	4d 89 e0             	mov    %r12,%r8
100402033:	48 89 d9             	mov    %rbx,%rcx
100402036:	ff 15 3c 54 01 00    	call   *0x1543c(%rip)        # 100417478 <__imp___gmpz_sub>
10040203c:	49 89 d8             	mov    %rbx,%r8
10040203f:	4c 89 f2             	mov    %r14,%rdx
100402042:	4c 89 f9             	mov    %r15,%rcx
100402045:	ff 15 fd 53 01 00    	call   *0x153fd(%rip)        # 100417448 <__imp___gmpz_mul>
10040204b:	4d 89 e8             	mov    %r13,%r8
10040204e:	4c 89 fa             	mov    %r15,%rdx
100402051:	4c 89 f1             	mov    %r14,%rcx
100402054:	ff d6                	call   *%rsi
100402056:	48 89 e8             	mov    %rbp,%rax
100402059:	83 e0 1f             	and    $0x1f,%eax
10040205c:	48 83 f8 01          	cmp    $0x1,%rax
100402060:	75 96                	jne    100401ff8 <.text+0xff8>
100402062:	4c 89 f2             	mov    %r14,%rdx