14012a8e2:	48 8b 4d 10          	mov    0x10(%rbp),%rcx
14012a8e6:	4c 89 6d 10          	mov    %r13,0x10(%rbp)
14012a8ea:	48 89 48 30          	mov    %rcx,0x30(%rax)
14012a8ee:	48 ff 44 24 28       	incq   0x28(%rsp)
14012a8f3:	48 8b 43 08          	mov    0x8(%rbx),%rax
14012a8f7:	48 89 1a             	mov    %rbx,(%rdx)
14012a8fa:	48 89 42 08          	mov    %rax,0x8(%rdx)
14012a8fe:	4c 89 6d c8          	mov    %r13,-0x38(%rbp)
14012a902:	48 89 53 08          	mov    %rdx,0x8(%rbx)
14012a906:	48 89 10             	mov    %rdx,(%rax)
14012a909:	48 8b 4d 10          	mov    0x10(%rbp),%rcx
14012a90d:	48 85 c9             	test   %rcx,%rcx
14012a910:	74 0a                	je     0x14012a91c
14012a912:	48 8b 01             	mov    (%rcx),%rax
14012a915:	ba 01 00 00 00       	mov    $0x1,%edx
14012a91a:	ff 10                	call   *(%rax)
14012a91c:	48 8b 55 08          	mov    0x8(%rbp),%rdx
14012a920:	48 83 fa 0f          	cmp    $0xf,%rdx
14012a924:	76 31                	jbe    0x14012a957
14012a926:	48 ff c2             	inc    %rdx
14012a929:	48 8b 4d f0          	mov    -0x10(%rbp),%rcx
14012a92d:	48 8b c1             	mov    %rcx,%rax
14012a930:	48 81 fa 00 10 00 00 	cmp    $0x1000,%rdx
14012a937:	72 19                	jb     0x14012a952
14012a939:	48 83 c2 27          	add    $0x27,%rdx
14012a93d:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
14012a941:	48 2b c1             	sub    %rcx,%rax
14012a944:	48 83 c0 f8          	add    $0xfffffffffffffff8,%rax
14012a948:	48 83 f8 1f          	cmp    $0x1f,%rax
14012a94c:	0f 87 2e 05 00 00    	ja     0x14012ae80
14012a952:	e8 2d f9 1c 00       	call   0x1402fa284
14012a957:	48 83 c7 30          	add    $0x30,%rdi
14012a95b:	49 3b ff             	cmp    %r15,%rdi
14012a95e:	0f 85 2c fe ff ff    	jne    0x14012a790
14012a964:	49 8b cf             	mov    %r15,%rcx
14012a967:	49 2b cc             	sub    %r12,%rcx
14012a96a:	48 b8 55 55 55 55 55 	movabs $0xd555555555555555,%rax
14012a971:	55 55 d5
14012a974:	48 f7 e9             	imul   %rcx
14012a977:	48 8b fa             	mov    %rdx,%rdi
14012a97a:	48 c1 ff 03          	sar    $0x3,%rdi
14012a97e:	48 8b c7             	mov    %rdi,%rax
14012a981:	48 c1 e8 3f          	shr    $0x3f,%rax
14012a985:	48 03 f8             	add    %rax,%rdi
14012a988:	48 89 7c 24 30       	mov    %rdi,0x30(%rsp)
14012a98d:	49 8b dc             	mov    %r12,%rbx
14012a990:	48 8b cb             	mov    %rbx,%rcx
14012a993:	e8 98 09 fd ff       	call   0x1400fb330
14012a998:	48 83 c3 30          	add    $0x30,%rbx
14012a99c:	49 3b df             	cmp    %r15,%rbx
14012a99f:	75 ef                	jne    0x14012a990
14012a9a1:	4d 8b fc             	mov    %r12,%r15
14012a9a4:	4c 89 64 24 48       	mov    %r12,0x48(%rsp)
14012a9a9:	4c 89 64 24 58       	mov    %r12,0x58(%rsp)
14012a9ae:	48 8b 74 24 40       	mov    0x40(%rsp),%rsi
14012a9b3:	eb 0a                	jmp    0x14012a9bf
14012a9b5:	49 be 92 24 49 92 24 	movabs $0x492492492492492,%r14
14012a9bc:	49 92 04
14012a9bf:	4c 89 7d b8          	mov    %r15,-0x48(%rbp)
14012a9c3:	48 83 7c 24 28 00    	cmpq   $0x0,0x28(%rsp)
14012a9c9:	0f 84 9a 00 00 00    	je     0x14012aa69
14012a9cf:	48 8d 5e 78          	lea    0x78(%rsi),%rbx
14012a9d3:	48 89 5d d0          	mov    %rbx,-0x30(%rbp)
14012a9d7:	c6 45 d8 00          	movb   $0x0,-0x28(%rbp)
14012a9db:	48 8b cb             	mov    %rbx,%rcx
14012a9de:	e8 9d 1e 1d 00       	call   0x1402fc880
14012a9e3:	85 c0                	test   %eax,%eax
14012a9e5:	0f 85 1d 05 00 00    	jne    0x14012af08
14012a9eb:	8b 43 4c             	mov    0x4c(%rbx),%eax
14012a9ee:	3d ff ff ff 7f       	cmp    $0x7fffffff,%eax
14012a9f3:	0f 84 ff 04 00 00    	je     0x14012aef8
14012a9f9:	c6 45 d8 01          	movb   $0x1,-0x28(%rbp)
14012a9fd:	48 8d 4e 68          	lea    0x68(%rsi),%rcx
14012aa01:	4c 8b 19             	mov    (%rcx),%r11
14012aa04:	48 8d 44 24 20       	lea    0x20(%rsp),%rax
14012aa09:	48 3b c8             	cmp    %rax,%rcx
14012aa0c:	74 53                	je     0x14012aa61
14012aa0e:	48 8b 54 24 28       	mov    0x28(%rsp),%rdx
14012aa13:	48 85 d2             	test   %rdx,%rdx
14012aa16:	74 49                	je     0x14012aa61
14012aa18:	4c 8b 4c 24 20       	mov    0x20(%rsp),%r9
14012aa1d:	4d 8b 11             	mov    (%r9),%r10
14012aa20:	4c 8b 41 08          	mov    0x8(%rcx),%r8
14012aa24:	49 8b c6             	mov    %r14,%rax
14012aa27:	49 2b c0             	sub    %r8,%rax
14012aa2a:	48 3b c2             	cmp    %rdx,%rax
14012aa2d:	0f 82 b8 04 00 00    	jb     0x14012aeeb
14012aa33:	49 8d 04 10          	lea    (%r8,%rdx,1),%rax
14012aa37:	48 89 41 08          	mov    %rax,0x8(%rcx)
14012aa3b:	4c 89 6c 24 28       	mov    %r13,0x28(%rsp)
14012aa40:	4d 8b 42 08          	mov    0x8(%r10),%r8
14012aa44:	4d 89 08             	mov    %r9,(%r8)
14012aa47:	49 8b 51 08          	mov    0x8(%r9),%rdx
14012aa4b:	4c 89 1a             	mov    %r11,(%rdx)
14012aa4e:	49 8b 43 08          	mov    0x8(%r11),%rax
14012aa52:	4c 89 10             	mov    %r10,(%rax)
14012aa55:	49 89 53 08          	mov    %rdx,0x8(%r11)
14012aa59:	4d 89 41 08          	mov    %r8,0x8(%r9)
14012aa5d:	49 89 42 08          	mov    %rax,0x8(%r10)
14012aa61:	48 8b cb             	mov    %rbx,%rcx
14012aa64:	e8 1d 1e 1d 00       	call   0x1402fc886
14012aa69:	0f 57 c0             	xorps  %xmm0,%xmm0
14012aa6c:	f3 0f 7f 44 24 68    	movdqu %xmm0,0x68(%rsp)
14012aa72:	49 8b cd             	mov    %r13,%rcx
14012aa75:	48 89 4d 88          	mov    %rcx,-0x78(%rbp)
14012aa79:	48 89 4c 24 78       	mov    %rcx,0x78(%rsp)
14012aa7e:	4c 8d ae e0 00 00 00 	lea    0xe0(%rsi),%r13
14012aa85:	49 8b cd             	mov    %r13,%rcx
14012aa88:	e8 f3 1d 1d 00       	call   0x1402fc880
14012aa8d:	85 c0                	test   %eax,%eax
14012aa8f:	0f 85 b1 04 00 00    	jne    0x14012af46
14012aa95:	41 8b 45 4c          	mov    0x4c(%r13),%eax
14012aa99:	3d ff ff ff 7f       	cmp    $0x7fffffff,%eax
14012aa9e:	0f 84 91 04 00 00    	je     0x14012af35
14012aaa4:	48 8d 86 c8 00 00 00 	lea    0xc8(%rsi),%rax
14012aaab:	48 8d 4c 24 68       	lea    0x68(%rsp),%rcx
14012aab0:	33 db                	xor    %ebx,%ebx
14012aab2:	48 3b c8             	cmp    %rax,%rcx
14012aab5:	74 2b                	je     0x14012aae2
14012aab7:	4c 8b 20             	mov    (%rax),%r12
14012aaba:	4c 89 64 24 68       	mov    %r12,0x68(%rsp)
14012aabf:	48 89 18             	mov    %rbx,(%rax)
14012aac2:	4c 8b 70 08          	mov    0x8(%rax),%r14
14012aac6:	4c 89 74 24 70       	mov    %r14,0x70(%rsp)
14012aacb:	48 89 58 08          	mov    %rbx,0x8(%rax)
14012aacf:	48 8b 48 10          	mov    0x10(%rax),%rcx
14012aad3:	48 89 4d 88          	mov    %rcx,-0x78(%rbp)
14012aad7:	48 89 4c 24 78       	mov    %rcx,0x78(%rsp)
14012aadc:	48 89 58 10          	mov    %rbx,0x10(%rax)
14012aae0:	eb 0a                	jmp    0x14012aaec
14012aae2:	4c 8b 74 24 70       	mov    0x70(%rsp),%r14
14012aae7:	4c 8b 64 24 68       	mov    0x68(%rsp),%r12
14012aaec:	49 8b f6             	mov    %r14,%rsi
14012aaef:	4c 89 75 80          	mov    %r14,-0x80(%rbp)
14012aaf3:	49 8b cd             	mov    %r13,%rcx
14012aaf6:	e8 8b 1d 1d 00       	call   0x1402fc886
14012aafb:	4d 3b e6             	cmp    %r14,%r12
14012aafe:	0f 84 9b 01 00 00    	je     0x14012ac9f
14012ab04:	49 8b ce             	mov    %r14,%rcx
14012ab07:	49 2b cc             	sub    %r12,%rcx
14012ab0a:	48 b8 77 77 77 77 77 	movabs $0x7777777777777777,%rax
14012ab11:	77 77 77
14012ab14:	48 f7 e9             	imul   %rcx
14012ab17:	48 2b d1             	sub    %rcx,%rdx
14012ab1a:	48 c1 fa 06          	sar    $0x6,%rdx
14012ab1e:	48 8b c2             	mov    %rdx,%rax
14012ab21:	48 c1 e8 3f          	shr    $0x3f,%rax
14012ab25:	48 03 d0             	add    %rax,%rdx
14012ab28:	03 fa                	add    %edx,%edi
14012ab2a:	48 89 7c 24 30       	mov    %rdi,0x30(%rsp)
14012ab2f:	0f 57 c0             	xorps  %xmm0,%xmm0
14012ab32:	f3 0f 7f 45 f0       	movdqu %xmm0,-0x10(%rbp)
14012ab37:	4c 8b fb             	mov    %rbx,%r15
14012ab3a:	48 89 5d 00          	mov    %rbx,0x0(%rbp)
14012ab3e:	49 8b dc             	mov    %r12,%rbx
14012ab41:	48 8b 7d f8          	mov    -0x8(%rbp),%rdi
14012ab45:	4c 8d 43 68          	lea    0x68(%rbx),%r8
14012ab49:	49 8b 48 f0          	mov    -0x10(%r8),%rcx
14012ab4d:	48 85 c9             	test   %rcx,%rcx
14012ab50:	0f 84 d9 03 00 00    	je     0x14012af2f
14012ab56:	48 8b 01             	mov    (%rcx),%rax
14012ab59:	49 8d 50 f8          	lea    -0x8(%r8),%rdx
14012ab5d:	ff 50 10             	call   *0x10(%rax)
14012ab60:	84 c0                	test   %al,%al
14012ab62:	75 31                	jne    0x14012ab95
14012ab64:	49 3b ff             	cmp    %r15,%rdi
14012ab67:	74 15                	je     0x14012ab7e
14012ab69:	48 8b d3             	mov    %rbx,%rdx
14012ab6c:	48 8b cf             	mov    %rdi,%rcx
14012ab6f:	e8 ec c8 fc ff       	call   0x1400f7460
14012ab74:	48 83 c7 78          	add    $0x78,%rdi
14012ab78:	48 89 7d f8          	mov    %rdi,-0x8(%rbp)
14012ab7c:	eb 17                	jmp    0x14012ab95
14012ab7e:	4c 8b c3             	mov    %rbx,%r8
14012ab81:	48 8b d7             	mov    %rdi,%rdx
14012ab84:	48 8d 4d f0          	lea    -0x10(%rbp),%rcx
14012ab88:	e8 43 5e fc ff       	call   0x1400f09d0
14012ab8d:	4c 8b 7d 00          	mov    0x0(%rbp),%r15
14012ab91:	48 8b 7d f8          	mov    -0x8(%rbp),%rdi
14012ab95:	48 83 c3 78          	add    $0x78,%rbx
14012ab99:	49 3b de             	cmp    %r14,%rbx
14012ab9c:	75 a7                	jne    0x14012ab45
14012ab9e:	48 8b 75 f0          	mov    -0x10(%rbp),%rsi
14012aba2:	48 3b f7             	cmp    %rdi,%rsi
14012aba5:	0f 84 7b 00 00 00    	je     0x14012ac26
14012abab:	4c 89 6d e0          	mov    %r13,-0x20(%rbp)
14012abaf:	c6 45 e8 00          	movb   $0x0,-0x18(%rbp)
14012abb3:	49 8b cd             	mov    %r13,%rcx
14012abb6:	e8 c5 1c 1d 00       	call   0x1402fc880
14012abbb:	85 c0                	test   %eax,%eax
14012abbd:	0f 85 61 03 00 00    	jne    0x14012af24
14012abc3:	41 8b 45 4c          	mov    0x4c(%r13),%eax
14012abc7:	3d ff ff ff 7f       	cmp    $0x7fffffff,%eax
14012abcc:	0f 84 41 03 00 00    	je     0x14012af13
14012abd2:	c6 45 e8 01          	movb   $0x1,-0x18(%rbp)
14012abd6:	4c 8b c7             	mov    %rdi,%r8
14012abd9:	4c 2b c6             	sub    %rsi,%r8
14012abdc:	48 b8 89 88 88 88 88 	movabs $0x8888888888888889,%rax
14012abe3:	88 88 88
14012abe6:	49 f7 e8             	imul   %r8
14012abe9:	49 8d 1c 10          	lea    (%r8,%rdx,1),%rbx
14012abed:	48 c1 fb 06          	sar    $0x6,%rbx
14012abf1:	48 8b c3             	mov    %rbx,%rax
14012abf4:	48 c1 e8 3f          	shr    $0x3f,%rax
14012abf8:	48 03 d8             	add    %rax,%rbx
14012abfb:	48 8b 44 24 40       	mov    0x40(%rsp),%rax
14012ac00:	48 8b 90 d0 00 00 00 	mov    0xd0(%rax),%rdx
14012ac07:	4c 8b cb             	mov    %rbx,%r9
14012ac0a:	4c 8b c6             	mov    %rsi,%r8
14012ac0d:	48 8d 88 c8 00 00 00 	lea    0xc8(%rax),%rcx
14012ac14:	e8 a7 67 fc ff       	call   0x1400f13c0
14012ac19:	01 5c 24 30          	add    %ebx,0x30(%rsp)
14012ac1d:	49 8b cd             	mov    %r13,%rcx
14012ac20:	e8 61 1c 1d 00       	call   0x1402fc886
14012ac25:	90                   	nop
14012ac26:	48 85 f6             	test   %rsi,%rsi
14012ac29:	74 6b                	je     0x14012ac96
14012ac2b:	48 8b de             	mov    %rsi,%rbx
14012ac2e:	48 3b f7             	cmp    %rdi,%rsi
14012ac31:	74 11                	je     0x14012ac44
14012ac33:	48 8b cb             	mov    %rbx,%rcx
14012ac36:	e8 05 09 fd ff       	call   0x1400fb540
14012ac3b:	48 83 c3 78          	add    $0x78,%rbx
14012ac3f:	48 3b df             	cmp    %rdi,%rbx
14012ac42:	75 ef                	jne    0x14012ac33
14012ac44:	4c 2b fe             	sub    %rsi,%r15
14012ac47:	48 b8 89 88 88 88 88 	movabs $0x8888888888888889,%rax
14012ac4e:	88 88 88
14012ac51:	49 f7 ef             	imul   %r15
14012ac54:	49 03 d7             	add    %r15,%rdx
14012ac57:	48 c1 fa 06          	sar    $0x6,%rdx
14012ac5b:	48 8b c2             	mov    %rdx,%rax
14012ac5e:	48 c1 e8 3f          	shr    $0x3f,%rax
14012ac62:	48 03 d0             	add    %rax,%rdx
14012ac65:	48 6b d2 78          	imul   $0x78,%rdx,%rdx
14012ac69:	48 8b c6             	mov    %rsi,%rax
14012ac6c:	48 81 fa 00 10 00 00 	cmp    $0x1000,%rdx
14012ac73:	72 19                	jb     0x14012ac8e
14012ac75:	48 83 c2 27          	add    $0x27,%rdx
14012ac79:	48 8b 76 f8          	mov    -0x8(%rsi),%rsi
14012ac7d:	48 2b c6             	sub    %rsi,%rax
14012ac80:	48 83 c0 f8          	add    $0xfffffffffffffff8,%rax
14012ac84:	48 83 f8 1f          	cmp    $0x1f,%rax
14012ac88:	0f 87 f9 01 00 00    	ja     0x14012ae87
14012ac8e:	48 8b ce             	mov    %rsi,%rcx
14012ac91:	e8 ee f5 1c 00       	call   0x1402fa284
14012ac96:	48 8b 75 80          	mov    -0x80(%rbp),%rsi
14012ac9a:	4c 8b 7c 24 48       	mov    0x48(%rsp),%r15
14012ac9f:	48 8b 44 24 30       	mov    0x30(%rsp),%rax
14012aca4:	85 c0                	test   %eax,%eax
14012aca6:	74 31                	je     0x14012acd9
14012aca8:	48 8b 4c 24 40       	mov    0x40(%rsp),%rcx
14012acad:	f0 01 81 d0 01 00 00 	lock add %eax,0x1d0(%rcx)
14012acb4:	48 8b 44 24 60       	mov    0x60(%rsp),%rax
14012acb9:	48 89 44 24 38       	mov    %rax,0x38(%rsp)
14012acbe:	4c 8b 7c 24 58       	mov    0x58(%rsp),%r15
14012acc3:	4c 8b 6c 24 50       	mov    0x50(%rsp),%r13
14012acc8:	48 8b 7c 24 78       	mov    0x78(%rsp),%rdi
14012accd:	4c 8b 74 24 70       	mov    0x70(%rsp),%r14
14012acd2:	4c 8b 64 24 68       	mov    0x68(%rsp),%r12
14012acd7:	eb 08                	jmp    0x14012ace1
14012acd9:	48 8b 7d 88          	mov    -0x78(%rbp),%rdi
14012acdd:	4c 8b 6d 90          	mov    -0x70(%rbp),%r13
14012ace1:	4d 85 e4             	test   %r12,%r12
14012ace4:	0f 84 6d 00 00 00    	je     0x14012ad57
14012acea:	49 8b dc             	mov    %r12,%rbx
14012aced:	4c 3b e6             	cmp    %rsi,%r12
14012acf0:	74 11                	je     0x14012ad03
14012acf2:	48 8b cb             	mov    %rbx,%rcx
14012acf5:	e8 46 08 fd ff       	call   0x1400fb540
14012acfa:	48 83 c3 78          	add    $0x78,%rbx
14012acfe:	49 3b de             	cmp    %r14,%rbx
14012ad01:	75 ef                	jne    0x14012acf2
14012ad03:	49 2b fc             	sub    %r12,%rdi
14012ad06:	48 b8 89 88 88 88 88 	movabs $0x8888888888888889,%rax
14012ad0d:	88 88 88
14012ad10:	48 f7 ef             	imul   %rdi
14012ad13:	48 03 d7             	add    %rdi,%rdx
14012ad16:	48 c1 fa 06          	sar    $0x6,%rdx
14012ad1a:	48 8b c2             	mov    %rdx,%rax
14012ad1d:	48 c1 e8 3f          	shr    $0x3f,%rax
14012ad21:	48 03 d0             	add    %rax,%rdx
14012ad24:	48 6b d2 78          	imul   $0x78,%rdx,%rdx
14012ad28:	49 8b c4             	mov    %r12,%rax
14012ad2b:	48 81 fa 00 10 00 00 	cmp    $0x1000,%rdx
14012ad32:	72 1a                	jb     0x14012ad4e
14012ad34:	48 83 c2 27          	add    $0x27,%rdx
14012ad38:	4d 8b 64 24 f8       	mov    -0x8(%r12),%r12
14012ad3d:	49 2b c4             	sub    %r12,%rax
14012ad40:	48 83 c0 f8          	add    $0xfffffffffffffff8,%rax
14012ad44:	48 83 f8 1f          	cmp    $0x1f,%rax
14012ad48:	0f 87 40 01 00 00    	ja     0x14012ae8e
14012ad4e:	49 8b cc             	mov    %r12,%rcx
14012ad51:	e8 2e f5 1c 00       	call   0x1402fa284
14012ad56:	90                   	nop
14012ad57:	48 8b 4c 24 20       	mov    0x20(%rsp),%rcx
14012ad5c:	48 8b 41 08          	mov    0x8(%rcx),%rax
14012ad60:	48 c7 00 00 00 00 00 	movq   $0x0,(%rax)
14012ad67:	48 8b 39             	mov    (%rcx),%rdi
14012ad6a:	48 85 ff             	test   %rdi,%rdi
14012ad6d:	74 22                	je     0x14012ad91
14012ad6f:	90                   	nop
14012ad70:	48 8b 1f             	mov    (%rdi),%rbx
14012ad73:	48 8d 4f 10          	lea    0x10(%rdi),%rcx
14012ad77:	e8 34 05 fd ff       	call   0x1400fb2b0
14012ad7c:	ba 38 00 00 00       	mov    $0x38,%edx
14012ad81:	48 8b cf             	mov    %rdi,%rcx
14012ad84:	e8 fb f4 1c 00       	call   0x1402fa284
14012ad89:	48 8b fb             	mov    %rbx,%rdi
14012ad8c:	48 85 db             	test   %rbx,%rbx
14012ad8f:	75 df                	jne    0x14012ad70
14012ad91:	ba 38 00 00 00       	mov    $0x38,%edx
14012ad96:	48 8b 4c 24 20       	mov    0x20(%rsp),%rcx
14012ad9b:	e8 e4 f4 1c 00       	call   0x1402fa284
14012ada0:	90                   	nop
14012ada1:	4d 85 ed             	test   %r13,%r13
14012ada4:	74 73                	je     0x14012ae19
14012ada6:	49 8b dd             	mov    %r13,%rbx
14012ada9:	4c 3b 6d b8          	cmp    -0x48(%rbp),%r13
14012adad:	74 12                	je     0x14012adc1
14012adaf:	90                   	nop
14012adb0:	48 8b cb             	mov    %rbx,%rcx
14012adb3:	e8 78 05 fd ff       	call   0x1400fb330
14012adb8:	48 83 c3 30          	add    $0x30,%rbx
14012adbc:	49 3b df             	cmp    %r15,%rbx
14012adbf:	75 ef                	jne    0x14012adb0
14012adc1:	48 8b 4c 24 38       	mov    0x38(%rsp),%rcx
14012adc6:	49 2b cd             	sub    %r13,%rcx
14012adc9:	48 b8 ab aa aa aa aa 	movabs $0x2aaaaaaaaaaaaaab,%rax
14012add0:	aa aa 2a
14012add3:	48 f7 e9             	imul   %rcx
14012add6:	48 c1 fa 03          	sar    $0x3,%rdx
14012adda:	48 8b c2             	mov    %rdx,%rax
14012addd:	48 c1 e8 3f          	shr    $0x3f,%rax
14012ade1:	48 03 d0             	add    %rax,%rdx
14012ade4:	48 8d 14 52          	lea    (%rdx,%rdx,2),%rdx
14012ade8:	48 c1 e2 04          	shl    $0x4,%rdx
14012adec:	49 8b c5             	mov    %r13,%rax
14012adef:	48 81 fa 00 10 00 00 	cmp    $0x1000,%rdx
14012adf6:	72 19                	jb     0x14012ae11
14012adf8:	48 83 c2 27          	add    $0x27,%rdx
14012adfc:	4d 8b 6d f8          	mov    -0x8(%r13),%r13
14012ae00:	49 2b c5             	sub    %r13,%rax
14012ae03:	48 83 c0 f8          	add    $0xfffffffffffffff8,%rax
14012ae07:	48 83 f8 1f          	cmp    $0x1f,%rax
14012ae0b:	0f 87 84 00 00 00    	ja     0x14012ae95
14012ae11:	49 8b cd             	mov    %r13,%rcx
14012ae14:	e8 6b f4 1c 00       	call   0x1402fa284
14012ae19:	41 bc 00 ca 9a 3b    	mov    $0x3b9aca00,%r12d
14012ae1f:	49 bf ff ff ff ff ff 	movabs $0x7fffffffffffffff,%r15