100402570:	ff 15 7a 4e 01 00    	call   *0x14e7a(%rip)        # 1004173f0 <__imp___gmpz_cmp_ui>
100402576:	e9 3f ff ff ff       	jmp    1004024ba <.text+0x14ba>
10040257b:	0f 1f 44 00 00       	nopl   0x0(%rax,%rax,1)
100402580:	41 57                	push   %r15
100402582:	41 56                	push   %r14
100402584:	41 55                	push   %r13
100402586:	41 54                	push   %r12
100402588:	55                   	push   %rbp
100402589:	57                   	push   %rdi
10040258a:	56                   	push   %rsi
10040258b:	53                   	push   %rbx
10040258c:	48 81 ec b8 00 00 00 	sub    $0xb8,%rsp
100402593:	48 8d 74 24 70       	lea    0x70(%rsp),%rsi
100402598:	4c 8d 74 24 50       	lea    0x50(%rsp),%r14
10040259d:	48 89 cf             	mov    %rcx,%rdi
1004025a0:	48 c7 44 24 20 00 00 	movq   $0x0,0x20(%rsp)
1004025a7:	00 00
1004025a9:	4c 8d 64 24 60       	lea    0x60(%rsp),%r12
1004025ae:	49 89 f0             	mov    %rsi,%r8
1004025b1:	4c 89 f1             	mov    %r14,%rcx
1004025b4:	4c 89 74 24 38       	mov    %r14,0x38(%rsp)
1004025b9:	48 8d 9c 24 80 00 00 	lea    0x80(%rsp),%rbx
1004025c0:	00
1004025c1:	4c 89 e2             	mov    %r12,%rdx
1004025c4:	49 89 d9             	mov    %rbx,%r9
1004025c7:	ff 15 6b 4e 01 00    	call   *0x14e6b(%rip)        # 100417438 <__imp___gmpz_inits>
1004025cd:	41 b8 01 00 00 00    	mov    $0x1,%r8d
1004025d3:	48 89 fa             	mov    %rdi,%rdx
1004025d6:	48 89 f1             	mov    %rsi,%rcx
1004025d9:	ff 15 a1 4e 01 00    	call   *0x14ea1(%rip)        # 100417480 <__imp___gmpz_sub_ui>
1004025df:	31 d2                	xor    %edx,%edx
1004025e1:	48 89 f1             	mov    %rsi,%rcx
1004025e4:	ff 15 76 4e 01 00    	call   *0x14e76(%rip)        # 100417460 <__imp___gmpz_scan1>
1004025ea:	48 89 f2             	mov    %rsi,%rdx
1004025ed:	4c 89 f1             	mov    %r14,%rcx
1004025f0:	49 89 c7             	mov    %rax,%r15
1004025f3:	49 89 c0             	mov    %rax,%r8
1004025f6:	48 89 44 24 40       	mov    %rax,0x40(%rsp)
1004025fb:	ff 15 87 4e 01 00    	call   *0x14e87(%rip)        # 100417488 <__imp___gmpz_tdiv_q_2exp>
100402601:	ba 02 00 00 00       	mov    $0x2,%edx
100402606:	4c 89 e1             	mov    %r12,%rcx
100402609:	ff 15 61 4e 01 00    	call   *0x14e61(%rip)        # 100417470 <__imp___gmpz_set_ui>
10040260f:	4c 89 7c 24 28       	mov    %r15,0x28(%rsp)
100402614:	49 89 d9             	mov    %rbx,%r9
100402617:	4d 89 e0             	mov    %r12,%r8
10040261a:	4c 89 74 24 20       	mov    %r14,0x20(%rsp)
10040261f:	48 89 f2             	mov    %rsi,%rdx
100402622:	48 89 f9             	mov    %rdi,%rcx
100402625:	e8 46 f7 ff ff       	call   100401d70 <.text+0xd70>
10040262a:	88 44 24 4f          	mov    %al,0x4f(%rsp)
10040262e:	84 c0                	test   %al,%al
100402630:	0f 84 59 01 00 00    	je     10040278f <.text+0x178f>
100402636:	48 89 f2             	mov    %rsi,%rdx
100402639:	48 89 d9             	mov    %rbx,%rcx
10040263c:	48 8d 2d bd dc 00 00 	lea    0xdcbd(%rip),%rbp        # 100410300 <_head_msys_gmp_10_dll-0x6d00>
100402643:	ff 15 1f 4e 01 00    	call   *0x14e1f(%rip)        # 100417468 <__imp___gmpz_set>
100402649:	48 8d 94 24 90 00 00 	lea    0x90(%rsp),%rdx
100402650:	00
100402651:	48 89 d9             	mov    %rbx,%rcx
100402654:	e8 d7 fc ff ff       	call   100402330 <.text+0x1330>
100402659:	4c 8b 3d 98 4d 01 00 	mov    0x14d98(%rip),%r15        # 1004173f8 <__imp___gmpz_divexact>
100402660:	4c 8b 35 e9 4d 01 00 	mov    0x14de9(%rip),%r14        # 100417450 <__imp___gmpz_powm>
100402667:	66 0f 1f 84 00 00 00 	nopw   0x0(%rax,%rax,1)
10040266e:	00 00
100402670:	48 83 bc 24 a0 00 00 	cmpq   $0x0,0xa0(%rsp)
100402677:	00 00
100402679:	0f 84 f6 00 00 00    	je     100402775 <.text+0x1775>
10040267f:	45 31 ed             	xor    %r13d,%r13d
100402682:	4d 89 e8             	mov    %r13,%r8
100402685:	48 89 f2             	mov    %rsi,%rdx
100402688:	48 89 d9             	mov    %rbx,%rcx
10040268b:	49 83 c5 01          	add    $0x1,%r13
10040268f:	49 c1 e0 04          	shl    $0x4,%r8
100402693:	4c 03 84 24 90 00 00 	add    0x90(%rsp),%r8
10040269a:	00
10040269b:	41 ff d7             	call   *%r15
10040269e:	49 89 f9             	mov    %rdi,%r9
1004026a1:	49 89 d8             	mov    %rbx,%r8
1004026a4:	4c 89 e2             	mov    %r12,%rdx
1004026a7:	48 89 d9             	mov    %rbx,%rcx
1004026aa:	41 ff d6             	call   *%r14
1004026ad:	ba 01 00 00 00       	mov    $0x1,%edx
1004026b2:	48 89 d9             	mov    %rbx,%rcx
1004026b5:	ff 15 35 4d 01 00    	call   *0x14d35(%rip)        # 1004173f0 <__imp___gmpz_cmp_ui>
1004026bb:	48 8b 94 24 a0 00 00 	mov    0xa0(%rsp),%rdx
1004026c2:	00
1004026c3:	49 39 d5             	cmp    %rdx,%r13
1004026c6:	73 78                	jae    100402740 <.text+0x1740>
1004026c8:	85 c0                	test   %eax,%eax
1004026ca:	75 b6                	jne    100402682 <.text+0x1682>
1004026cc:	0f 1f 40 00          	nopl   0x0(%rax)
1004026d0:	44 0f b6 45 00       	movzbl 0x0(%rbp),%r8d
1004026d5:	4c 89 e2             	mov    %r12,%rdx
1004026d8:	4c 89 e1             	mov    %r12,%rcx
1004026db:	ff 15 ef 4c 01 00    	call   *0x14cef(%rip)        # 1004173d0 <__imp___gmpz_add_ui>
1004026e1:	48 8b 44 24 40       	mov    0x40(%rsp),%rax
1004026e6:	49 89 d9             	mov    %rbx,%r9
1004026e9:	4d 89 e0             	mov    %r12,%r8
1004026ec:	48 89 f2             	mov    %rsi,%rdx
1004026ef:	48 89 f9             	mov    %rdi,%rcx
1004026f2:	48 89 44 24 28       	mov    %rax,0x28(%rsp)
1004026f7:	48 8b 44 24 38       	mov    0x38(%rsp),%rax
1004026fc:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
100402701:	e8 6a f6 ff ff       	call   100401d70 <.text+0xd70>
100402706:	84 c0                	test   %al,%al
100402708:	0f 84 ba 00 00 00    	je     1004027c8 <.text+0x17c8>
10040270e:	48 83 c5 01          	add    $0x1,%rbp
100402712:	48 8d 05 83 de 00 00 	lea    0xde83(%rip),%rax        # 10041059c <_head_msys_gmp_10_dll-0x6a64>
100402719:	48 39 c5             	cmp    %rax,%rbp
10040271c:	0f 85 4e ff ff ff    	jne    100402670 <.text+0x1670>
100402722:	48 8d 0d f7 a9 00 00 	lea    0xa9f7(%rip),%rcx        # 10040d120 <_head_msys_gmp_10_dll-0x9ee0>
100402729:	e8 52 7c 00 00       	call   10040a380 <.text+0x9380>
10040272e:	31 d2                	xor    %edx,%edx
100402730:	31 c9                	xor    %ecx,%ecx
100402732:	49 89 c0             	mov    %rax,%r8
100402735:	e8 66 7e 00 00       	call   10040a5a0 <.text+0x95a0>
10040273a:	e8 41 7e 00 00       	call   10040a580 <.text+0x9580>
10040273f:	90                   	nop
100402740:	85 c0                	test   %eax,%eax
100402742:	74 8c                	je     1004026d0 <.text+0x16d0>
100402744:	48 85 d2             	test   %rdx,%rdx
100402747:	74 2c                	je     100402775 <.text+0x1775>
100402749:	48 8b 3d 88 4c 01 00 	mov    0x14c88(%rip),%rdi        # 1004173d8 <__imp___gmpz_clear>
100402750:	31 ed                	xor    %ebp,%ebp
100402752:	31 c0                	xor    %eax,%eax
100402754:	48 8b 8c 24 90 00 00 	mov    0x90(%rsp),%rcx
10040275b:	00
10040275c:	48 c1 e0 04          	shl    $0x4,%rax
100402760:	48 01 c1             	add    %rax,%rcx
100402763:	ff d7                	call   *%rdi
100402765:	8d 45 01             	lea    0x1(%rbp),%eax
100402768:	48 89 c5             	mov    %rax,%rbp
10040276b:	48 3b 84 24 a0 00 00 	cmp    0xa0(%rsp),%rax
100402772:	00
100402773:	72 df                	jb     100402754 <.text+0x1754>
100402775:	48 8b 8c 24 90 00 00 	mov    0x90(%rsp),%rcx
10040277c:	00
10040277d:	e8 8e 7e 00 00       	call   10040a610 <.text+0x9610>
100402782:	48 8b 8c 24 98 00 00 	mov    0x98(%rsp),%rcx
100402789:	00
10040278a:	e8 81 7e 00 00       	call   10040a610 <.text+0x9610>
10040278f:	48 8b 4c 24 38       	mov    0x38(%rsp),%rcx
100402794:	49 89 d9             	mov    %rbx,%r9
100402797:	49 89 f0             	mov    %rsi,%r8
10040279a:	4c 89 e2             	mov    %r12,%rdx
10040279d:	48 c7 44 24 20 00 00 	movq   $0x0,0x20(%rsp)
1004027a4:	00 00
1004027a6:	ff 15 34 4c 01 00    	call   *0x14c34(%rip)        # 1004173e0 <__imp___gmpz_clears>
1004027ac:	0f b6 44 24 4f       	movzbl 0x4f(%rsp),%eax
1004027b1:	48 81 c4 b8 00 00 00 	add    $0xb8,%rsp
1004027b8:	5b                   	pop    %rbx
1004027b9:	5e                   	pop    %rsi
1004027ba:	5f                   	pop    %rdi
1004027bb:	5d                   	pop    %rbp
1004027bc:	41 5c                	pop    %r12
1004027be:	41 5d                	pop    %r13
1004027c0:	41 5e                	pop    %r14
1004027c2:	41 5f                	pop    %r15
1004027c4:	c3                   	ret
1004027c5:	0f 1f 00             	nopl   (%rax)
1004027c8:	c6 44 24 4f 00       	movb   $0x0,0x4f(%rsp)
1004027cd:	48 8b 94 24 a0 00 00 	mov    0xa0(%rsp),%rdx
1004027d4:	00
1004027d5:	e9 6a ff ff ff       	jmp    100402744 <.text+0x1744>
1004027da:	66 0f 1f 44 00 00    	nopw   0x0(%rax,%rax,1)
1004027e0:	41 57                	push   %r15
1004027e2:	41 56                	push   %r14
1004027e4:	41 55                	push   %r13
1004027e6:	41 54                	push   %r12
1004027e8:	55                   	push   %rbp
1004027e9:	57                   	push   %rdi
1004027ea:	56                   	push   %rsi
1004027eb:	53                   	push   %rbx
1004027ec:	48 81 ec b8 00 00 00 	sub    $0xb8,%rsp
1004027f3:	48 83 f9 02          	cmp    $0x2,%rcx
1004027f7:	49 89 cf             	mov    %rcx,%r15
1004027fa:	49 89 d5             	mov    %rdx,%r13
1004027fd:	4c 89 84 24 10 01 00 	mov    %r8,0x110(%rsp)
100402804:	00
100402805:	48 19 c9             	sbb    %rcx,%rcx
100402808:	4c 89 8c 24 18 01 00 	mov    %r9,0x118(%rsp)
10040280f:	00
100402810:	31 d2                	xor    %edx,%edx
100402812:	83 e1 40             	and    $0x40,%ecx
100402815:	48 83 c1 3f          	add    $0x3f,%rcx
100402819:	49 83 ff 02          	cmp    $0x2,%r15
10040281d:	0f 92 c2             	setb   %dl
100402820:	48 19 c0             	sbb    %rax,%rax
100402823:	48 83 c0 01          	add    $0x1,%rax
100402827:	66 0f 1f 84 00 00 00 	nopw   0x0(%rax,%rax,1)
10040282e:	00 00
100402830:	49 89 d0             	mov    %rdx,%r8
100402833:	48 01 c0             	add    %rax,%rax
100402836:	48 01 d2             	add    %rdx,%rdx
100402839:	49 c1 e8 3f          	shr    $0x3f,%r8
10040283d:	4c 09 c0             	or     %r8,%rax
100402840:	49 39 c7             	cmp    %rax,%r15
100402843:	72 07                	jb     10040284c <.text+0x184c>
100402845:	75 0b                	jne    100402852 <.text+0x1852>
100402847:	49 39 d5             	cmp    %rdx,%r13
10040284a:	77 06                	ja     100402852 <.text+0x1852>
10040284c:	4c 29 ea             	sub    %r13,%rdx
10040284f:	4c 19 f8             	sbb    %r15,%rax
100402852:	48 83 e9 01          	sub    $0x1,%rcx
100402856:	73 d8                	jae    100402830 <.text+0x1830>
100402858:	48 89 54 24 48       	mov    %rdx,0x48(%rsp)
10040285d:	48 89 d7             	mov    %rdx,%rdi
100402860:	48 89 44 24 50       	mov    %rax,0x50(%rsp)
100402865:	48 01 fa             	add    %rdi,%rdx
100402868:	48 11 c0             	adc    %rax,%rax
10040286b:	48 89 84 24 88 00 00 	mov    %rax,0x88(%rsp)
100402872:	00
100402873:	48 89 d3             	mov    %rdx,%rbx
100402876:	49 89 c4             	mov    %rax,%r12
100402879:	4c 39 f8             	cmp    %r15,%rax
10040287c:	77 07                	ja     100402885 <.text+0x1885>
10040287e:	75 19                	jne    100402899 <.text+0x1899>
100402880:	4c 39 ea             	cmp    %r13,%rdx
100402883:	72 14                	jb     100402899 <.text+0x1899>
100402885:	4c 29 ea             	sub    %r13,%rdx
100402888:	4c 19 f8             	sbb    %r15,%rax
10040288b:	48 89 84 24 88 00 00 	mov    %rax,0x88(%rsp)
100402892:	00
100402893:	48 89 d3             	mov    %rdx,%rbx
100402896:	49 89 c4             	mov    %rax,%r12
100402899:	4c 89 a4 24 90 00 00 	mov    %r12,0x90(%rsp)
1004028a0:	00
1004028a1:	4c 89 a4 24 98 00 00 	mov    %r12,0x98(%rsp)
1004028a8:	00
1004028a9:	4d 85 ff             	test   %r15,%r15
1004028ac:	75 0a                	jne    1004028b8 <.text+0x18b8>
1004028ae:	49 83 fd 01          	cmp    $0x1,%r13
1004028b2:	0f 84 79 04 00 00    	je     100402d31 <.text+0x1d31>
1004028b8:	48 8d 84 24 a0 00 00 	lea    0xa0(%rsp),%rax
1004028bf:	00
1004028c0:	48 89 5c 24 58       	mov    %rbx,0x58(%rsp)
1004028c5:	be 01 00 00 00       	mov    $0x1,%esi
1004028ca:	48 8d ac 24 a8 00 00 	lea    0xa8(%rsp),%rbp
1004028d1:	00
1004028d2:	48 c7 44 24 60 01 00 	movq   $0x1,0x60(%rsp)
1004028d9:	00 00
1004028db:	48 89 df             	mov    %rbx,%rdi
1004028de:	49 89 ee             	mov    %rbp,%r14
1004028e1:	48 89 44 24 70       	mov    %rax,0x70(%rsp)
1004028e6:	66 2e 0f 1f 84 00 00 	cs nopw 0x0(%rax,%rax,1)
1004028ed:	00 00 00
1004028f0:	4c 89 e8             	mov    %r13,%rax
1004028f3:	48 8d 0d 86 ac 00 00 	lea    0xac86(%rip),%rcx        # 10040d580 <_head_msys_gmp_10_dll-0x9a80>
1004028fa:	48 d1 e8             	shr    $1,%rax
1004028fd:	83 e0 7f             	and    $0x7f,%eax
100402900:	0f b6 04 01          	movzbl (%rcx,%rax,1),%eax
100402904:	48 8d 14 00          	lea    (%rax,%rax,1),%rdx
100402908:	48 0f af c0          	imul   %rax,%rax
10040290c:	49 0f af c5          	imul   %r13,%rax
100402910:	48 29 c2             	sub    %rax,%rdx
100402913:	48 8d 04 12          	lea    (%rdx,%rdx,1),%rax
100402917:	48 0f af d2          	imul   %rdx,%rdx
10040291b:	49 0f af d5          	imul   %r13,%rdx
10040291f:	48 29 d0             	sub    %rdx,%rax
100402922:	48 8d 2c 00          	lea    (%rax,%rax,1),%rbp
100402926:	48 0f af c0          	imul   %rax,%rax
10040292a:	49 0f af c5          	imul   %r13,%rax
10040292e:	48 29 c5             	sub    %rax,%rbp
100402931:	4c 89 e8             	mov    %r13,%rax
100402934:	83 e0 01             	and    $0x1,%eax
100402937:	48 89 44 24 68       	mov    %rax,0x68(%rsp)
10040293c:	0f 1f 40 00          	nopl   0x0(%rax)
100402940:	48 89 5c 24 20       	mov    %rbx,0x20(%rsp)
100402945:	4c 89 e2             	mov    %r12,%rdx
100402948:	4d 89 e1             	mov    %r12,%r9
10040294b:	49 89 d8             	mov    %rbx,%r8
10040294e:	48 89 6c 24 38       	mov    %rbp,0x38(%rsp)
100402953:	4c 89 f1             	mov    %r14,%rcx
100402956:	4c 89 6c 24 30       	mov    %r13,0x30(%rsp)
10040295b:	4c 89 7c 24 28       	mov    %r15,0x28(%rsp)
100402960:	e8 5b e9 ff ff       	call   1004012c0 <.text+0x2c0>
100402965:	48 8b 94 24 a8 00 00 	mov    0xa8(%rsp),%rdx
10040296c:	00
10040296d:	48 03 84 24 10 01 00 	add    0x110(%rsp),%rax
100402974:	00
100402975:	48 83 d2 00          	adc    $0x0,%rdx
100402979:	48 89 94 24 88 00 00 	mov    %rdx,0x88(%rsp)
100402980:	00
100402981:	48 89 c3             	mov    %rax,%rbx
100402984:	49 89 d4             	mov    %rdx,%r12
100402987:	4c 39 fa             	cmp    %r15,%rdx
10040298a:	77 07                	ja     100402993 <.text+0x1993>
10040298c:	75 19                	jne    1004029a7 <.text+0x19a7>
10040298e:	4c 39 e8             	cmp    %r13,%rax
100402991:	72 14                	jb     1004029a7 <.text+0x19a7>
100402993:	4c 29 e8             	sub    %r13,%rax
100402996:	4c 19 fa             	sbb    %r15,%rdx
100402999:	48 89 94 24 88 00 00 	mov    %rdx,0x88(%rsp)
1004029a0:	00
1004029a1:	48 89 c3             	mov    %rax,%rbx
1004029a4:	49 89 d4             	mov    %rdx,%r12
1004029a7:	4c 8b 8c 24 90 00 00 	mov    0x90(%rsp),%r9
1004029ae:	00
1004029af:	48 8b 44 24 58       	mov    0x58(%rsp),%rax
1004029b4:	48 29 d8             	sub    %rbx,%rax
1004029b7:	4d 19 e1             	sbb    %r12,%r9
1004029ba:	4d 85 c9             	test   %r9,%r9
1004029bd:	79 06                	jns    1004029c5 <.text+0x19c5>
1004029bf:	4c 01 e8             	add    %r13,%rax
1004029c2:	4d 11 f9             	adc    %r15,%r9
1004029c5:	48 89 6c 24 38       	mov    %rbp,0x38(%rsp)
1004029ca:	4c 8b 44 24 48       	mov    0x48(%rsp),%r8
1004029cf:	4c 89 f1             	mov    %r14,%rcx
1004029d2:	4c 89 6c 24 30       	mov    %r13,0x30(%rsp)
1004029d7:	48 8b 54 24 50       	mov    0x50(%rsp),%rdx
1004029dc:	4c 89 7c 24 28       	mov    %r15,0x28(%rsp)
1004029e1:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
1004029e6:	e8 d5 e8 ff ff       	call   1004012c0 <.text+0x2c0>
1004029eb:	48 89 44 24 48       	mov    %rax,0x48(%rsp)
1004029f0:	48 8b 84 24 a8 00 00 	mov    0xa8(%rsp),%rax
1004029f7:	00
1004029f8:	48 89 44 24 50       	mov    %rax,0x50(%rsp)
1004029fd:	48 89 f0             	mov    %rsi,%rax
100402a00:	83 e0 1f             	and    $0x1f,%eax
100402a03:	48 83 f8 01          	cmp    $0x1,%rax
100402a07:	0f 84 db 00 00 00    	je     100402ae8 <.text+0x1ae8>
100402a0d:	48 83 ee 01          	sub    $0x1,%rsi
100402a11:	0f 85 29 ff ff ff    	jne    100402940 <.text+0x1940>
100402a17:	48 8b 44 24 60       	mov    0x60(%rsp),%rax
100402a1c:	4c 89 a4 24 90 00 00 	mov    %r12,0x90(%rsp)
100402a23:	00
100402a24:	48 8d 3c 00          	lea    (%rax,%rax,1),%rdi
100402a28:	48 89 7c 24 58       	mov    %rdi,0x58(%rsp)
100402a2d:	48 89 df             	mov    %rbx,%rdi
100402a30:	48 85 c0             	test   %rax,%rax
100402a33:	0f 84 88 00 00 00    	je     100402ac1 <.text+0x1ac1>
100402a39:	4c 89 e2             	mov    %r12,%rdx
100402a3c:	4d 89 ec             	mov    %r13,%r12
100402a3f:	49 89 f5             	mov    %rsi,%r13
100402a42:	49 89 d8             	mov    %rbx,%r8
100402a45:	48 8b b4 24 10 01 00 	mov    0x110(%rsp),%rsi
100402a4c:	00
100402a4d:	48 89 c3             	mov    %rax,%rbx
100402a50:	4c 89 44 24 20       	mov    %r8,0x20(%rsp)
100402a55:	49 89 d1             	mov    %rdx,%r9
100402a58:	4c 89 f1             	mov    %r14,%rcx
100402a5b:	48 89 6c 24 38       	mov    %rbp,0x38(%rsp)
100402a60:	4c 89 64 24 30       	mov    %r12,0x30(%rsp)
100402a65:	4c 89 7c 24 28       	mov    %r15,0x28(%rsp)
100402a6a:	e8 51 e8 ff ff       	call   1004012c0 <.text+0x2c0>
100402a6f:	48 8b 8c 24 a8 00 00 	mov    0xa8(%rsp),%rcx
100402a76:	00
100402a77:	48 01 f0             	add    %rsi,%rax
100402a7a:	48 83 d1 00          	adc    $0x0,%rcx
100402a7e:	48 89 8c 24 88 00 00 	mov    %rcx,0x88(%rsp)