1400ef578:	48 8b fa             	mov    %rdx,%rdi
1400ef57b:	48 8b f1             	mov    %rcx,%rsi
1400ef57e:	75 09                	jne    0x1400ef589
1400ef580:	48 85 d2             	test   %rdx,%rdx
1400ef583:	0f 84 85 00 00 00    	je     0x1400ef60e
1400ef589:	49 8b 08             	mov    (%r8),%rcx
1400ef58c:	49 8b 01             	mov    (%r9),%rax
1400ef58f:	48 3b c8             	cmp    %rax,%rcx
1400ef592:	77 7a                	ja     0x1400ef60e
1400ef594:	48 85 ff             	test   %rdi,%rdi
1400ef597:	0f 84 dd 00 00 00    	je     0x1400ef67a
1400ef59d:	48 3b c8             	cmp    %rax,%rcx
1400ef5a0:	0f 85 d4 00 00 00    	jne    0x1400ef67a
1400ef5a6:	48 3d ff fb ff 7f    	cmp    $0x7ffffbff,%rax
1400ef5ac:	77 60                	ja     0x1400ef60e
1400ef5ae:	48 05 00 04 00 00    	add    $0x400,%rax
1400ef5b4:	49 89 01             	mov    %rax,(%r9)
1400ef5b7:	48 8b 0a             	mov    (%rdx),%rcx
1400ef5ba:	48 85 c9             	test   %rcx,%rcx
1400ef5bd:	0f 85 84 00 00 00    	jne    0x1400ef647
1400ef5c3:	41 b8 52 03 00 00    	mov    $0x352,%r8d
1400ef5c9:	48 8d 15 08 02 20 00 	lea    0x200208(%rip),%rdx        # 0x1402ef7d8
1400ef5d0:	48 8b c8             	mov    %rax,%rcx
1400ef5d3:	e8 98 c7 ff ff       	call   0x1400ebd70
1400ef5d8:	48 89 07             	mov    %rax,(%rdi)
1400ef5db:	48 85 c0             	test   %rax,%rax
1400ef5de:	75 46                	jne    0x1400ef626
1400ef5e0:	e8 8b 7a 03 00       	call   0x140127070
1400ef5e5:	4c 8d 05 04 02 20 00 	lea    0x200204(%rip),%r8        # 0x1402ef7f0
1400ef5ec:	ba 53 03 00 00       	mov    $0x353,%edx
1400ef5f1:	48 8d 0d e0 01 20 00 	lea    0x2001e0(%rip),%rcx        # 0x1402ef7d8
1400ef5f8:	e8 93 7b 03 00       	call   0x140127190
1400ef5fd:	45 33 c0             	xor    %r8d,%r8d
1400ef600:	ba 00 01 0c 00       	mov    $0xc0100,%edx
1400ef605:	41 8d 48 20          	lea    0x20(%r8),%ecx
1400ef609:	e8 82 7c 03 00       	call   0x140127290
1400ef60e:	33 c0                	xor    %eax,%eax
1400ef610:	48 8b 5c 24 30       	mov    0x30(%rsp),%rbx
1400ef615:	48 8b 74 24 38       	mov    0x38(%rsp),%rsi
1400ef61a:	48 8b 7c 24 40       	mov    0x40(%rsp),%rdi
1400ef61f:	48 83 c4 20          	add    $0x20,%rsp
1400ef623:	41 5e                	pop    %r14
1400ef625:	c3                   	ret
1400ef626:	4c 8b 03             	mov    (%rbx),%r8
1400ef629:	4d 85 c0             	test   %r8,%r8
1400ef62c:	74 10                	je     0x1400ef63e
1400ef62e:	48 8b 16             	mov    (%rsi),%rdx
1400ef631:	48 85 d2             	test   %rdx,%rdx
1400ef634:	74 d8                	je     0x1400ef60e
1400ef636:	48 8b c8             	mov    %rax,%rcx
1400ef639:	e8 22 1d 1f 00       	call   0x1402e1360
1400ef63e:	48 c7 06 00 00 00 00 	movq   $0x0,(%rsi)
1400ef645:	eb 33                	jmp    0x1400ef67a
1400ef647:	41 b9 5f 03 00 00    	mov    $0x35f,%r9d
1400ef64d:	4c 8d 05 84 01 20 00 	lea    0x200184(%rip),%r8        # 0x1402ef7d8
1400ef654:	48 8b d0             	mov    %rax,%rdx
1400ef657:	e8 94 c7 ff ff       	call   0x1400ebdf0
1400ef65c:	48 85 c0             	test   %rax,%rax
1400ef65f:	75 16                	jne    0x1400ef677
1400ef661:	e8 0a 7a 03 00       	call   0x140127070
1400ef666:	4c 8d 05 83 01 20 00 	lea    0x200183(%rip),%r8        # 0x1402ef7f0
1400ef66d:	ba 61 03 00 00       	mov    $0x361,%edx
1400ef672:	e9 7a ff ff ff       	jmp    0x1400ef5f1
1400ef677:	48 89 07             	mov    %rax,(%rdi)
1400ef67a:	48 8b 0b             	mov    (%rbx),%rcx
1400ef67d:	49 3b 0e             	cmp    (%r14),%rcx
1400ef680:	73 16                	jae    0x1400ef698
1400ef682:	48 8b 06             	mov    (%rsi),%rax
1400ef685:	0f b6 54 24 50       	movzbl 0x50(%rsp),%edx
1400ef68a:	48 85 c0             	test   %rax,%rax
1400ef68d:	75 03                	jne    0x1400ef692
1400ef68f:	48 8b 07             	mov    (%rdi),%rax
1400ef692:	88 14 01             	mov    %dl,(%rcx,%rax,1)
1400ef695:	48 ff 03             	incq   (%rbx)
1400ef698:	b8 01 00 00 00       	mov    $0x1,%eax
1400ef69d:	e9 6e ff ff ff       	jmp    0x1400ef610
1400ef6a2:	cc                   	int3
1400ef6a3:	cc                   	int3
1400ef6a4:	cc                   	int3
1400ef6a5:	cc                   	int3
1400ef6a6:	cc                   	int3
1400ef6a7:	cc                   	int3
1400ef6a8:	cc                   	int3
1400ef6a9:	cc                   	int3
1400ef6aa:	cc                   	int3
1400ef6ab:	cc                   	int3
1400ef6ac:	cc                   	int3
1400ef6ad:	cc                   	int3
1400ef6ae:	cc                   	int3
1400ef6af:	cc                   	int3
1400ef6b0:	40 53                	rex push %rbx
1400ef6b2:	55                   	push   %rbp
1400ef6b3:	56                   	push   %rsi
1400ef6b4:	41 54                	push   %r12
1400ef6b6:	41 56                	push   %r14
1400ef6b8:	41 57                	push   %r15
1400ef6ba:	b8 b8 00 00 00       	mov    $0xb8,%eax
1400ef6bf:	e8 6c 14 1c 00       	call   0x1402b0b30
1400ef6c4:	48 2b e0             	sub    %rax,%rsp
1400ef6c7:	48 8b 05 b2 63 2e 00 	mov    0x2e63b2(%rip),%rax        # 0x1403d5a80
1400ef6ce:	48 33 c4             	xor    %rsp,%rax
1400ef6d1:	48 89 84 24 98 00 00 	mov    %rax,0x98(%rsp)
1400ef6d8:	00
1400ef6d9:	f2 0f 10 9c 24 10 01 	movsd  0x110(%rsp),%xmm3
1400ef6e0:	00 00
1400ef6e2:	33 c0                	xor    %eax,%eax
1400ef6e4:	45 33 e4             	xor    %r12d,%r12d
1400ef6e7:	89 44 24 38          	mov    %eax,0x38(%rsp)
1400ef6eb:	8b 84 24 20 01 00 00 	mov    0x120(%rsp),%eax
1400ef6f2:	33 db                	xor    %ebx,%ebx
1400ef6f4:	85 c0                	test   %eax,%eax
1400ef6f6:	89 5c 24 3c          	mov    %ebx,0x3c(%rsp)
1400ef6fa:	48 8b f1             	mov    %rcx,%rsi
1400ef6fd:	0f 57 e4             	xorps  %xmm4,%xmm4
1400ef700:	b9 06 00 00 00       	mov    $0x6,%ecx
1400ef705:	4d 8b f0             	mov    %r8,%r14
1400ef708:	0f 49 c8             	cmovns %eax,%ecx
1400ef70b:	45 8d 44 24 20       	lea    0x20(%r12),%r8d
1400ef710:	66 0f 2f e3          	comisd %xmm3,%xmm4
1400ef714:	4d 8b f9             	mov    %r9,%r15
1400ef717:	48 8b ea             	mov    %rdx,%rbp
1400ef71a:	76 0a                	jbe    0x1400ef726
1400ef71c:	c7 44 24 30 2d 00 00 	movl   $0x2d,0x30(%rsp)
1400ef723:	00
1400ef724:	eb 21                	jmp    0x1400ef747
1400ef726:	8b 84 24 28 01 00 00 	mov    0x128(%rsp),%eax
1400ef72d:	a8 02                	test   $0x2,%al
1400ef72f:	74 0a                	je     0x1400ef73b
1400ef731:	c7 44 24 30 2b 00 00 	movl   $0x2b,0x30(%rsp)
1400ef738:	00
1400ef739:	eb 0c                	jmp    0x1400ef747
1400ef73b:	a8 04                	test   $0x4,%al
1400ef73d:	8b d3                	mov    %ebx,%edx
1400ef73f:	41 0f 45 d0          	cmovne %r8d,%edx
1400ef743:	89 54 24 30          	mov    %edx,0x30(%rsp)
1400ef747:	8b 84 24 30 01 00 00 	mov    0x130(%rsp),%eax
1400ef74e:	41 b8 01 00 00 00    	mov    $0x1,%r8d
1400ef754:	f2 0f 10 0d 54 88 1f 	movsd  0x1f8854(%rip),%xmm1        # 0x1402e7fb0
1400ef75b:	00
1400ef75c:	f2 0f 10 15 ac 00 20 	movsd  0x2000ac(%rip),%xmm2        # 0x1402ef810
1400ef763:	00
1400ef764:	48 89 bc 24 b0 00 00 	mov    %rdi,0xb0(%rsp)
1400ef76b:	00
1400ef76c:	4c 89 ac 24 a8 00 00 	mov    %r13,0xa8(%rsp)
1400ef773:	00
1400ef774:	83 f8 02             	cmp    $0x2,%eax
1400ef777:	75 59                	jne    0x1400ef7d2
1400ef779:	66 0f 2e dc          	ucomisd %xmm4,%xmm3
1400ef77d:	7a 0a                	jp     0x1400ef789
1400ef77f:	75 08                	jne    0x1400ef789
1400ef781:	33 d2                	xor    %edx,%edx
1400ef783:	89 54 24 34          	mov    %edx,0x34(%rsp)
1400ef787:	eb 59                	jmp    0x1400ef7e2
1400ef789:	f2 0f 10 05 6f 00 20 	movsd  0x20006f(%rip),%xmm0        # 0x1402ef800
1400ef790:	00
1400ef791:	66 0f 2f c3          	comisd %xmm3,%xmm0
1400ef795:	76 09                	jbe    0x1400ef7a0
1400ef797:	41 8b d0             	mov    %r8d,%edx
1400ef79a:	89 54 24 34          	mov    %edx,0x34(%rsp)
1400ef79e:	eb 42                	jmp    0x1400ef7e2
1400ef7a0:	85 c9                	test   %ecx,%ecx
1400ef7a2:	75 08                	jne    0x1400ef7ac
1400ef7a4:	66 0f 2f d9          	comisd %xmm1,%xmm3
1400ef7a8:	73 1f                	jae    0x1400ef7c9
1400ef7aa:	85 c9                	test   %ecx,%ecx
1400ef7ac:	7e d3                	jle    0x1400ef781
1400ef7ae:	8b c1                	mov    %ecx,%eax
1400ef7b0:	0f 28 c2             	movaps %xmm2,%xmm0
1400ef7b3:	f2 0f 59 c1          	mulsd  %xmm1,%xmm0
1400ef7b7:	41 2b c0             	sub    %r8d,%eax
1400ef7ba:	75 f7                	jne    0x1400ef7b3
1400ef7bc:	66 0f 2f d8          	comisd %xmm0,%xmm3
1400ef7c0:	8b 84 24 30 01 00 00 	mov    0x130(%rsp),%eax
1400ef7c7:	72 b8                	jb     0x1400ef781
1400ef7c9:	41 8b d0             	mov    %r8d,%edx
1400ef7cc:	89 54 24 34          	mov    %edx,0x34(%rsp)
1400ef7d0:	eb 10                	jmp    0x1400ef7e2
1400ef7d2:	89 44 24 34          	mov    %eax,0x34(%rsp)
1400ef7d6:	8b d0                	mov    %eax,%edx
1400ef7d8:	8b f9                	mov    %ecx,%edi
1400ef7da:	85 c0                	test   %eax,%eax
1400ef7dc:	0f 84 b0 00 00 00    	je     0x1400ef892
1400ef7e2:	66 0f 2e dc          	ucomisd %xmm4,%xmm3
1400ef7e6:	0f 28 c3             	movaps %xmm3,%xmm0
1400ef7e9:	7a 02                	jp     0x1400ef7ed
1400ef7eb:	74 33                	je     0x1400ef820
1400ef7ed:	66 0f 2f d3          	comisd %xmm3,%xmm2
1400ef7f1:	76 10                	jbe    0x1400ef803
1400ef7f3:	f2 0f 59 c1          	mulsd  %xmm1,%xmm0
1400ef7f7:	ff cb                	dec    %ebx
1400ef7f9:	66 0f 2f d0          	comisd %xmm0,%xmm2
1400ef7fd:	77 f4                	ja     0x1400ef7f3
1400ef7ff:	89 5c 24 3c          	mov    %ebx,0x3c(%rsp)
1400ef803:	66 0f 2f c1          	comisd %xmm1,%xmm0
1400ef807:	76 17                	jbe    0x1400ef820
1400ef809:	0f 1f 80 00 00 00 00 	nopl   0x0(%rax)
1400ef810:	f2 0f 5e c1          	divsd  %xmm1,%xmm0
1400ef814:	ff c3                	inc    %ebx
1400ef816:	66 0f 2f c1          	comisd %xmm1,%xmm0
1400ef81a:	77 f4                	ja     0x1400ef810
1400ef81c:	89 5c 24 3c          	mov    %ebx,0x3c(%rsp)
1400ef820:	8b f9                	mov    %ecx,%edi
1400ef822:	83 f8 02             	cmp    $0x2,%eax
1400ef825:	75 63                	jne    0x1400ef88a
1400ef827:	85 c9                	test   %ecx,%ecx
1400ef829:	41 0f 44 f8          	cmove  %r8d,%edi
1400ef82d:	85 d2                	test   %edx,%edx
1400ef82f:	75 57                	jne    0x1400ef888
1400ef831:	b8 ff ff ff ff       	mov    $0xffffffff,%eax
1400ef836:	2b c3                	sub    %ebx,%eax
1400ef838:	03 f8                	add    %eax,%edi
1400ef83a:	79 56                	jns    0x1400ef892
1400ef83c:	4d 8b cf             	mov    %r15,%r9
1400ef83f:	c7 44 24 20 00 00 00 	movl   $0x0,0x20(%rsp)
1400ef846:	00
1400ef847:	4d 8b c6             	mov    %r14,%r8
1400ef84a:	48 8b d5             	mov    %rbp,%rdx
1400ef84d:	48 8b ce             	mov    %rsi,%rcx
1400ef850:	e8 fb fc ff ff       	call   0x1400ef550
1400ef855:	33 c0                	xor    %eax,%eax
1400ef857:	4c 8b ac 24 a8 00 00 	mov    0xa8(%rsp),%r13
1400ef85e:	00
1400ef85f:	48 8b bc 24 b0 00 00 	mov    0xb0(%rsp),%rdi
1400ef866:	00
1400ef867:	48 8b 8c 24 98 00 00 	mov    0x98(%rsp),%rcx
1400ef86e:	00
1400ef86f:	48 33 cc             	xor    %rsp,%rcx
1400ef872:	e8 39 06 1c 00       	call   0x1402afeb0
1400ef877:	48 81 c4 b8 00 00 00 	add    $0xb8,%rsp
1400ef87e:	41 5f                	pop    %r15
1400ef880:	41 5e                	pop    %r14
1400ef882:	41 5c                	pop    %r12
1400ef884:	5e                   	pop    %rsi
1400ef885:	5d                   	pop    %rbp
1400ef886:	5b                   	pop    %rbx
1400ef887:	c3                   	ret
1400ef888:	ff cf                	dec    %edi
1400ef88a:	41 3b d0             	cmp    %r8d,%edx
1400ef88d:	75 03                	jne    0x1400ef892
1400ef88f:	0f 28 d8             	movaps %xmm0,%xmm3
1400ef892:	66 0f 2f e3          	comisd %xmm3,%xmm4
1400ef896:	76 07                	jbe    0x1400ef89f
1400ef898:	0f 57 1d a1 b4 2b 00 	xorps  0x2bb4a1(%rip),%xmm3        # 0x1403aad40
1400ef89f:	66 0f 2f 1d 71 ff 1f 	comisd 0x1fff71(%rip),%xmm3        # 0x1402ef818
1400ef8a6:	00
1400ef8a7:	73 93                	jae    0x1400ef83c
1400ef8a9:	f2 4c 0f 2c eb       	cvttsd2si %xmm3,%r13
1400ef8ae:	83 ff 09             	cmp    $0x9,%edi
1400ef8b1:	7e 0b                	jle    0x1400ef8be
1400ef8b3:	bf 09 00 00 00       	mov    $0x9,%edi
1400ef8b8:	8b cf                	mov    %edi,%ecx
1400ef8ba:	8b c7                	mov    %edi,%eax
1400ef8bc:	eb 08                	jmp    0x1400ef8c6
1400ef8be:	8b cf                	mov    %edi,%ecx
1400ef8c0:	8b c7                	mov    %edi,%eax
1400ef8c2:	85 ff                	test   %edi,%edi
1400ef8c4:	74 45                	je     0x1400ef90b
1400ef8c6:	0f 28 e2             	movaps %xmm2,%xmm4
1400ef8c9:	0f 1f 80 00 00 00 00 	nopl   0x0(%rax)
1400ef8d0:	f2 0f 59 e1          	mulsd  %xmm1,%xmm4
1400ef8d4:	41 2b c0             	sub    %r8d,%eax
1400ef8d7:	75 f7                	jne    0x1400ef8d0
1400ef8d9:	f2 0f 10 2d 27 ff 1f 	movsd  0x1fff27(%rip),%xmm5        # 0x1402ef808
1400ef8e0:	00
1400ef8e1:	f2 0f 2c c4          	cvttsd2si %xmm4,%eax
1400ef8e5:	66 0f 6e c0          	movd   %eax,%xmm0
1400ef8e9:	8d 50 01             	lea    0x1(%rax),%edx
1400ef8ec:	f3 0f e6 c0          	cvtdq2pd %xmm0,%xmm0
1400ef8f0:	f2 0f 5c e0          	subsd  %xmm0,%xmm4
1400ef8f4:	66 0f 2f e5          	comisd %xmm5,%xmm4
1400ef8f8:	0f 42 d0             	cmovb  %eax,%edx
1400ef8fb:	0f 1f 44 00 00       	nopl   0x0(%rax,%rax,1)
1400ef900:	f2 0f 59 d1          	mulsd  %xmm1,%xmm2
1400ef904:	41 2b c8             	sub    %r8d,%ecx
1400ef907:	75 f7                	jne    0x1400ef900
1400ef909:	eb 25                	jmp    0x1400ef930
1400ef90b:	f2 0f 10 2d f5 fe 1f 	movsd  0x1ffef5(%rip),%xmm5        # 0x1402ef808
1400ef912:	00
1400ef913:	0f 28 ca             	movaps %xmm2,%xmm1
1400ef916:	f2 0f 2c c2          	cvttsd2si %xmm2,%eax
1400ef91a:	66 0f 6e c0          	movd   %eax,%xmm0
1400ef91e:	8d 50 01             	lea    0x1(%rax),%edx
1400ef921:	f3 0f e6 c0          	cvtdq2pd %xmm0,%xmm0
1400ef925:	f2 0f 5c c8          	subsd  %xmm0,%xmm1
1400ef929:	66 0f 2f cd          	comisd %xmm5,%xmm1
1400ef92d:	0f 42 d0             	cmovb  %eax,%edx
1400ef930:	0f 57 c0             	xorps  %xmm0,%xmm0
1400ef933:	41 8b c5             	mov    %r13d,%eax
1400ef936:	45 8d 4d 01          	lea    0x1(%r13),%r9d
1400ef93a:	4c 8d 1d 87 fe 1f 00 	lea    0x1ffe87(%rip),%r11        # 0x1402ef7c8
1400ef941:	f2 48 0f 2a c0       	cvtsi2sd %rax,%xmm0
1400ef946:	f2 0f 5c d8          	subsd  %xmm0,%xmm3
1400ef94a:	f2 0f 59 da          	mulsd  %xmm2,%xmm3
1400ef94e:	f2 0f 2c c3          	cvttsd2si %xmm3,%eax
1400ef952:	66 0f 6e c0          	movd   %eax,%xmm0
1400ef956:	8d 48 01             	lea    0x1(%rax),%ecx
1400ef959:	f3 0f e6 c0          	cvtdq2pd %xmm0,%xmm0
1400ef95d:	f2 0f 5c d8          	subsd  %xmm0,%xmm3
1400ef961:	66 0f 2f dd          	comisd %xmm5,%xmm3
1400ef965:	0f 42 c8             	cmovb  %eax,%ecx
1400ef968:	44 8b c1             	mov    %ecx,%r8d
1400ef96b:	44 2b c2             	sub    %edx,%r8d
1400ef96e:	3b ca                	cmp    %edx,%ecx
1400ef970:	44 0f 42 c1          	cmovb  %ecx,%r8d
1400ef974:	45 33 d2             	xor    %r10d,%r10d
1400ef977:	3b ca                	cmp    %edx,%ecx
1400ef979:	41 8b ca             	mov    %r10d,%ecx
1400ef97c:	45 0f 42 cd          	cmovb  %r13d,%r9d
1400ef980:	b8 cd cc cc cc       	mov    $0xcccccccd,%eax
1400ef985:	44 8b e9             	mov    %ecx,%r13d
1400ef988:	41 f7 e1             	mul    %r9d
1400ef98b:	c1 ea 03             	shr    $0x3,%edx
1400ef98e:	8d 04 92             	lea    (%rdx,%rdx,4),%eax
1400ef991:	03 c0                	add    %eax,%eax
1400ef993:	44 2b c8             	sub    %eax,%r9d
1400ef996:	ff c1                	inc    %ecx
1400ef998:	43 0f b6 04 19       	movzbl (%r9,%r11,1),%eax
1400ef99d:	44 8b ca             	mov    %edx,%r9d
1400ef9a0:	42 88 44 14 50       	mov    %al,0x50(%rsp,%r10,1)
1400ef9a5:	49 ff c2             	inc    %r10
1400ef9a8:	85 d2                	test   %edx,%edx
1400ef9aa:	74 06                	je     0x1400ef9b2
1400ef9ac:	49 83 fa 14          	cmp    $0x14,%r10
1400ef9b0:	7c ce                	jl     0x1400ef980
1400ef9b2:	44 8b 9c 24 18 01 00 	mov    0x118(%rsp),%r11d
1400ef9b9:	00
1400ef9ba:	41 83 fd 13          	cmp    $0x13,%r13d
1400ef9be:	44 0f 45 e9          	cmovne %ecx,%r13d
1400ef9c2:	49 63 c5             	movslq %r13d,%rax
1400ef9c5:	48 89 44 24 48       	mov    %rax,0x48(%rsp)
1400ef9ca:	48 83 f8 14          	cmp    $0x14,%rax
1400ef9ce:	0f 83 1c 04 00 00    	jae    0x1400efdf0
1400ef9d4:	44 88 64 04 50       	mov    %r12b,0x50(%rsp,%rax,1)
1400ef9d9:	85 ff                	test   %edi,%edi
1400ef9db:	7e 71                	jle    0x1400efa4e
1400ef9dd:	44 8b 94 24 30 01 00 	mov    0x130(%rsp),%r10d
1400ef9e4:	00
1400ef9e5:	45 33 c9             	xor    %r9d,%r9d
1400ef9e8:	48 8d 0d d9 fd 1f 00 	lea    0x1ffdd9(%rip),%rcx        # 0x1402ef7c8
1400ef9ef:	90                   	nop
1400ef9f0:	41 83 fa 02          	cmp    $0x2,%r10d
1400ef9f4:	75 2d                	jne    0x1400efa23
1400ef9f6:	4d 85 c9             	test   %r9,%r9
1400ef9f9:	75 28                	jne    0x1400efa23
1400ef9fb:	b8 cd cc cc cc       	mov    $0xcccccccd,%eax
1400efa00:	41 f7 e0             	mul    %r8d
1400efa03:	c1 ea 03             	shr    $0x3,%edx
1400efa06:	8d 0c 92             	lea    (%rdx,%rdx,4),%ecx
1400efa09:	03 c9                	add    %ecx,%ecx
1400efa0b:	44 3b c1             	cmp    %ecx,%r8d