14023d928:	49 bd b7 6d db b6 6d 	movabs $0x6db6db6db6db6db7,%r13
14023d92f:	db b6 6d
14023d932:	48 85 ff             	test   %rdi,%rdi
14023d935:	0f 8e ad 00 00 00    	jle    0x14023d9e8
14023d93b:	4d 8b cc             	mov    %r12,%r9
14023d93e:	4c 8b c6             	mov    %rsi,%r8
14023d941:	48 8b d3             	mov    %rbx,%rdx
14023d944:	48 8d 4d b0          	lea    -0x50(%rbp),%rcx
14023d948:	e8 53 04 00 00       	call   0x14023dda0
14023d94d:	48 8b cf             	mov    %rdi,%rcx
14023d950:	48 c1 f9 02          	sar    $0x2,%rcx
14023d954:	48 d1 ff             	sar    $1,%rdi
14023d957:	48 03 f9             	add    %rcx,%rdi
14023d95a:	48 8b ce             	mov    %rsi,%rcx
14023d95d:	4c 8b 75 b8          	mov    -0x48(%rbp),%r14
14023d961:	49 2b ce             	sub    %r14,%rcx
14023d964:	48 c1 f9 03          	sar    $0x3,%rcx
14023d968:	49 0f af cd          	imul   %r13,%rcx
14023d96c:	4c 8b 7d b0          	mov    -0x50(%rbp),%r15
14023d970:	49 8b c7             	mov    %r15,%rax
14023d973:	48 2b c3             	sub    %rbx,%rax
14023d976:	48 c1 f8 03          	sar    $0x3,%rax
14023d97a:	49 0f af c5          	imul   %r13,%rax
14023d97e:	4d 8b cc             	mov    %r12,%r9
14023d981:	4c 8b c7             	mov    %rdi,%r8
14023d984:	48 3b c1             	cmp    %rcx,%rax
14023d987:	7d 10                	jge    0x14023d999
14023d989:	49 8b d7             	mov    %r15,%rdx
14023d98c:	48 8b cb             	mov    %rbx,%rcx
14023d98f:	e8 54 ff ff ff       	call   0x14023d8e8
14023d994:	49 8b de             	mov    %r14,%rbx
14023d997:	eb 0e                	jmp    0x14023d9a7
14023d999:	48 8b d6             	mov    %rsi,%rdx
14023d99c:	49 8b ce             	mov    %r14,%rcx
14023d99f:	e8 44 ff ff ff       	call   0x14023d8e8
14023d9a4:	49 8b f7             	mov    %r15,%rsi
14023d9a7:	48 8b c6             	mov    %rsi,%rax
14023d9aa:	48 2b c3             	sub    %rbx,%rax
14023d9ad:	48 3d 38 07 00 00    	cmp    $0x738,%rax
14023d9b3:	0f 8d 79 ff ff ff    	jge    0x14023d932
14023d9b9:	4d 8b c4             	mov    %r12,%r8
14023d9bc:	48 8b d6             	mov    %rsi,%rdx
14023d9bf:	48 8b cb             	mov    %rbx,%rcx
14023d9c2:	e8 b5 01 00 00       	call   0x14023db7c
14023d9c7:	4c 8d 9c 24 80 00 00 	lea    0x80(%rsp),%r11
14023d9ce:	00
14023d9cf:	49 8b 5b 30          	mov    0x30(%r11),%rbx
14023d9d3:	49 8b 73 38          	mov    0x38(%r11),%rsi
14023d9d7:	49 8b 7b 40          	mov    0x40(%r11),%rdi
14023d9db:	49 8b e3             	mov    %r11,%rsp
14023d9de:	41 5f                	pop    %r15
14023d9e0:	41 5e                	pop    %r14
14023d9e2:	41 5d                	pop    %r13
14023d9e4:	41 5c                	pop    %r12
14023d9e6:	5d                   	pop    %rbp
14023d9e7:	c3                   	ret
14023d9e8:	48 8b fe             	mov    %rsi,%rdi
14023d9eb:	48 2b fb             	sub    %rbx,%rdi
14023d9ee:	48 c1 ff 03          	sar    $0x3,%rdi
14023d9f2:	49 0f af fd          	imul   %r13,%rdi
14023d9f6:	4c 8b f7             	mov    %rdi,%r14
14023d9f9:	49 d1 fe             	sar    $1,%r14
14023d9fc:	4d 85 f6             	test   %r14,%r14
14023d9ff:	7e 79                	jle    0x14023da7a
14023da01:	4d 6b fe 38          	imul   $0x38,%r14,%r15
14023da05:	49 83 c7 24          	add    $0x24,%r15
14023da09:	4c 03 fb             	add    %rbx,%r15
14023da0c:	49 ff ce             	dec    %r14
14023da0f:	4d 8d 7f c8          	lea    -0x38(%r15),%r15
14023da13:	49 8d 57 dc          	lea    -0x24(%r15),%rdx
14023da17:	48 8d 4d c0          	lea    -0x40(%rbp),%rcx
14023da1b:	e8 cc e0 dd ff       	call   0x14001baec
14023da20:	41 0f 10 47 f4       	movups -0xc(%r15),%xmm0
14023da25:	0f 11 45 d8          	movups %xmm0,-0x28(%rbp)
14023da29:	f3 41 0f 10 47 04    	movss  0x4(%r15),%xmm0
14023da2f:	f3 0f 11 45 e8       	movss  %xmm0,-0x18(%rbp)
14023da34:	f3 41 0f 10 4f 08    	movss  0x8(%r15),%xmm1
14023da3a:	f3 0f 11 4d ec       	movss  %xmm1,-0x14(%rbp)
14023da3f:	41 8b 47 0c          	mov    0xc(%r15),%eax
14023da43:	89 45 f0             	mov    %eax,-0x10(%rbp)
14023da46:	41 8a 47 10          	mov    0x10(%r15),%al
14023da4a:	88 45 f4             	mov    %al,-0xc(%rbp)
14023da4d:	41 8a 47 11          	mov    0x11(%r15),%al
14023da51:	88 45 f5             	mov    %al,-0xb(%rbp)
14023da54:	4c 89 64 24 20       	mov    %r12,0x20(%rsp)
14023da59:	4c 8d 4d c0          	lea    -0x40(%rbp),%r9
14023da5d:	4c 8b c7             	mov    %rdi,%r8
14023da60:	49 8b d6             	mov    %r14,%rdx
14023da63:	48 8b cb             	mov    %rbx,%rcx
14023da66:	e8 4d 06 00 00       	call   0x14023e0b8
14023da6b:	90                   	nop
14023da6c:	48 8d 4d c0          	lea    -0x40(%rbp),%rcx
14023da70:	e8 5b d4 dd ff       	call   0x14001aed0
14023da75:	4d 85 f6             	test   %r14,%r14
14023da78:	7f 92                	jg     0x14023da0c
14023da7a:	48 83 ff 02          	cmp    $0x2,%rdi
14023da7e:	0f 8c 43 ff ff ff    	jl     0x14023d9c7
14023da84:	48 8d 7e e0          	lea    -0x20(%rsi),%rdi
14023da88:	49 c7 c6 e8 ff ff ff 	mov    $0xffffffffffffffe8,%r14
14023da8f:	4c 2b f3             	sub    %rbx,%r14
14023da92:	be 20 00 00 00       	mov    $0x20,%esi
14023da97:	48 2b f3             	sub    %rbx,%rsi
14023da9a:	48 8d 04 3e          	lea    (%rsi,%rdi,1),%rax
14023da9e:	48 c1 f8 03          	sar    $0x3,%rax
14023daa2:	49 0f af c5          	imul   %r13,%rax
14023daa6:	48 83 f8 02          	cmp    $0x2,%rax
14023daaa:	0f 8c b2 00 00 00    	jl     0x14023db62
14023dab0:	4c 8d 7f e8          	lea    -0x18(%rdi),%r15
14023dab4:	49 8b d7             	mov    %r15,%rdx
14023dab7:	48 8d 4d c0          	lea    -0x40(%rbp),%rcx
14023dabb:	e8 2c e0 dd ff       	call   0x14001baec
14023dac0:	0f 10 07             	movups (%rdi),%xmm0
14023dac3:	0f 11 45 d8          	movups %xmm0,-0x28(%rbp)
14023dac7:	f3 0f 10 47 10       	movss  0x10(%rdi),%xmm0
14023dacc:	f3 0f 11 45 e8       	movss  %xmm0,-0x18(%rbp)
14023dad1:	f3 0f 10 47 14       	movss  0x14(%rdi),%xmm0
14023dad6:	f3 0f 11 45 ec       	movss  %xmm0,-0x14(%rbp)
14023dadb:	8b 47 18             	mov    0x18(%rdi),%eax
14023dade:	89 45 f0             	mov    %eax,-0x10(%rbp)
14023dae1:	8a 47 1c             	mov    0x1c(%rdi),%al
14023dae4:	88 45 f4             	mov    %al,-0xc(%rbp)
14023dae7:	8a 47 1d             	mov    0x1d(%rdi),%al
14023daea:	88 45 f5             	mov    %al,-0xb(%rbp)
14023daed:	4c 3b fb             	cmp    %rbx,%r15
14023daf0:	74 16                	je     0x14023db08
14023daf2:	4c 8b 43 08          	mov    0x8(%rbx),%r8
14023daf6:	4c 2b 03             	sub    (%rbx),%r8
14023daf9:	49 c1 f8 04          	sar    $0x4,%r8
14023dafd:	48 8b 13             	mov    (%rbx),%rdx
14023db00:	49 8b cf             	mov    %r15,%rcx
14023db03:	e8 9c 44 df ff       	call   0x140031fa4
14023db08:	f2 0f 10 43 18       	movsd  0x18(%rbx),%xmm0
14023db0d:	f2 0f 11 07          	movsd  %xmm0,(%rdi)
14023db11:	f2 0f 10 4b 20       	movsd  0x20(%rbx),%xmm1
14023db16:	f2 0f 11 4f 08       	movsd  %xmm1,0x8(%rdi)
14023db1b:	8b 43 28             	mov    0x28(%rbx),%eax
14023db1e:	89 47 10             	mov    %eax,0x10(%rdi)
14023db21:	8b 43 2c             	mov    0x2c(%rbx),%eax
14023db24:	89 47 14             	mov    %eax,0x14(%rdi)
14023db27:	8b 43 30             	mov    0x30(%rbx),%eax
14023db2a:	89 47 18             	mov    %eax,0x18(%rdi)
14023db2d:	8a 43 34             	mov    0x34(%rbx),%al
14023db30:	88 47 1c             	mov    %al,0x1c(%rdi)
14023db33:	8a 43 35             	mov    0x35(%rbx),%al
14023db36:	88 47 1d             	mov    %al,0x1d(%rdi)
14023db39:	4e 8d 04 37          	lea    (%rdi,%r14,1),%r8
14023db3d:	49 c1 f8 03          	sar    $0x3,%r8
14023db41:	4d 0f af c5          	imul   %r13,%r8
14023db45:	4c 89 64 24 20       	mov    %r12,0x20(%rsp)
14023db4a:	4c 8d 4d c0          	lea    -0x40(%rbp),%r9
14023db4e:	33 d2                	xor    %edx,%edx
14023db50:	48 8b cb             	mov    %rbx,%rcx
14023db53:	e8 60 05 00 00       	call   0x14023e0b8
14023db58:	90                   	nop
14023db59:	48 8d 4d c0          	lea    -0x40(%rbp),%rcx
14023db5d:	e8 6e d3 dd ff       	call   0x14001aed0
14023db62:	48 83 ef 38          	sub    $0x38,%rdi
14023db66:	48 8d 04 3e          	lea    (%rsi,%rdi,1),%rax
14023db6a:	48 83 f8 70          	cmp    $0x70,%rax
14023db6e:	0f 8d 26 ff ff ff    	jge    0x14023da9a
14023db74:	e9 4e fe ff ff       	jmp    0x14023d9c7
14023db79:	cc                   	int3
14023db7a:	90                   	nop
14023db7b:	90                   	nop
14023db7c:	48 89 5c 24 08       	mov    %rbx,0x8(%rsp)
14023db81:	4c 89 44 24 18       	mov    %r8,0x18(%rsp)
14023db86:	48 89 54 24 10       	mov    %rdx,0x10(%rsp)
14023db8b:	55                   	push   %rbp
14023db8c:	56                   	push   %rsi
14023db8d:	57                   	push   %rdi
14023db8e:	41 54                	push   %r12
14023db90:	41 55                	push   %r13
14023db92:	41 56                	push   %r14
14023db94:	41 57                	push   %r15
14023db96:	48 8b ec             	mov    %rsp,%rbp
14023db99:	48 83 ec 60          	sub    $0x60,%rsp
14023db9d:	4d 8b e8             	mov    %r8,%r13
14023dba0:	4c 8b fa             	mov    %rdx,%r15
14023dba3:	48 8b d9             	mov    %rcx,%rbx
14023dba6:	48 3b ca             	cmp    %rdx,%rcx
14023dba9:	0f 84 d3 01 00 00    	je     0x14023dd82
14023dbaf:	48 8d 71 38          	lea    0x38(%rcx),%rsi
14023dbb3:	48 3b f2             	cmp    %rdx,%rsi
14023dbb6:	0f 84 c6 01 00 00    	je     0x14023dd82
14023dbbc:	4c 8d 76 24          	lea    0x24(%rsi),%r14
14023dbc0:	48 8b fe             	mov    %rsi,%rdi
14023dbc3:	48 8b d6             	mov    %rsi,%rdx
14023dbc6:	48 8d 4d c0          	lea    -0x40(%rbp),%rcx
14023dbca:	e8 1d df dd ff       	call   0x14001baec
14023dbcf:	41 0f 10 46 f4       	movups -0xc(%r14),%xmm0
14023dbd4:	0f 11 45 d8          	movups %xmm0,-0x28(%rbp)
14023dbd8:	f3 41 0f 10 46 04    	movss  0x4(%r14),%xmm0
14023dbde:	f3 0f 11 45 e8       	movss  %xmm0,-0x18(%rbp)
14023dbe3:	f3 41 0f 10 4e 08    	movss  0x8(%r14),%xmm1
14023dbe9:	f3 0f 11 4d ec       	movss  %xmm1,-0x14(%rbp)
14023dbee:	41 8b 46 0c          	mov    0xc(%r14),%eax
14023dbf2:	89 45 f0             	mov    %eax,-0x10(%rbp)
14023dbf5:	41 8a 46 10          	mov    0x10(%r14),%al
14023dbf9:	88 45 f4             	mov    %al,-0xc(%rbp)
14023dbfc:	41 8a 46 11          	mov    0x11(%r14),%al
14023dc00:	88 45 f5             	mov    %al,-0xb(%rbp)
14023dc03:	48 8b d3             	mov    %rbx,%rdx
14023dc06:	48 8d 4d c0          	lea    -0x40(%rbp),%rcx
14023dc0a:	49 8b c5             	mov    %r13,%rax
14023dc0d:	ff 15 25 f0 8c 00    	call   *0x8cf025(%rip)        # 0x140b0cc38
14023dc13:	84 c0                	test   %al,%al
14023dc15:	74 62                	je     0x14023dc79
14023dc17:	4d 8d 46 14          	lea    0x14(%r14),%r8
14023dc1b:	48 8b d6             	mov    %rsi,%rdx
14023dc1e:	48 8b cb             	mov    %rbx,%rcx
14023dc21:	e8 e6 03 00 00       	call   0x14023e00c
14023dc26:	48 8d 45 c0          	lea    -0x40(%rbp),%rax
14023dc2a:	48 3b d8             	cmp    %rax,%rbx
14023dc2d:	74 17                	je     0x14023dc46
14023dc2f:	4c 8b 45 c8          	mov    -0x38(%rbp),%r8
14023dc33:	48 8b 55 c0          	mov    -0x40(%rbp),%rdx
14023dc37:	4c 2b c2             	sub    %rdx,%r8
14023dc3a:	49 c1 f8 04          	sar    $0x4,%r8
14023dc3e:	48 8b cb             	mov    %rbx,%rcx
14023dc41:	e8 5e 43 df ff       	call   0x140031fa4
14023dc46:	0f 10 45 d8          	movups -0x28(%rbp),%xmm0
14023dc4a:	0f 11 43 18          	movups %xmm0,0x18(%rbx)
14023dc4e:	f3 0f 10 45 e8       	movss  -0x18(%rbp),%xmm0
14023dc53:	f3 0f 11 43 28       	movss  %xmm0,0x28(%rbx)
14023dc58:	f3 0f 10 4d ec       	movss  -0x14(%rbp),%xmm1
14023dc5d:	f3 0f 11 4b 2c       	movss  %xmm1,0x2c(%rbx)
14023dc62:	8b 45 f0             	mov    -0x10(%rbp),%eax
14023dc65:	89 43 30             	mov    %eax,0x30(%rbx)
14023dc68:	8a 45 f4             	mov    -0xc(%rbp),%al
14023dc6b:	88 43 34             	mov    %al,0x34(%rbx)
14023dc6e:	8a 45 f5             	mov    -0xb(%rbp),%al
14023dc71:	88 43 35             	mov    %al,0x35(%rbx)
14023dc74:	e9 ef 00 00 00       	jmp    0x14023dd68
14023dc79:	4d 8d 66 a4          	lea    -0x5c(%r14),%r12
14023dc7d:	49 8b d4             	mov    %r12,%rdx
14023dc80:	48 8d 4d c0          	lea    -0x40(%rbp),%rcx
14023dc84:	49 8b c5             	mov    %r13,%rax
14023dc87:	ff 15 ab ef 8c 00    	call   *0x8cefab(%rip)        # 0x140b0cc38
14023dc8d:	84 c0                	test   %al,%al
14023dc8f:	0f 84 85 00 00 00    	je     0x14023dd1a
14023dc95:	4d 8d 6e bc          	lea    -0x44(%r14),%r13
14023dc99:	4c 8b 7d 50          	mov    0x50(%rbp),%r15
14023dc9d:	49 3b fc             	cmp    %r12,%rdi
14023dca0:	74 18                	je     0x14023dcba
14023dca2:	4d 8b 45 f0          	mov    -0x10(%r13),%r8
14023dca6:	4d 2b 04 24          	sub    (%r12),%r8
14023dcaa:	49 c1 f8 04          	sar    $0x4,%r8
14023dcae:	49 8b 14 24          	mov    (%r12),%rdx
14023dcb2:	48 8b cf             	mov    %rdi,%rcx
14023dcb5:	e8 ea 42 df ff       	call   0x140031fa4
14023dcba:	f2 41 0f 10 45 00    	movsd  0x0(%r13),%xmm0
14023dcc0:	f2 0f 11 47 18       	movsd  %xmm0,0x18(%rdi)
14023dcc5:	f2 41 0f 10 4d 08    	movsd  0x8(%r13),%xmm1
14023dccb:	f2 0f 11 4f 20       	movsd  %xmm1,0x20(%rdi)
14023dcd0:	41 8b 45 10          	mov    0x10(%r13),%eax
14023dcd4:	89 47 28             	mov    %eax,0x28(%rdi)
14023dcd7:	41 8b 45 14          	mov    0x14(%r13),%eax
14023dcdb:	89 47 2c             	mov    %eax,0x2c(%rdi)
14023dcde:	41 8b 45 18          	mov    0x18(%r13),%eax
14023dce2:	89 47 30             	mov    %eax,0x30(%rdi)
14023dce5:	41 8a 45 1c          	mov    0x1c(%r13),%al
14023dce9:	88 47 34             	mov    %al,0x34(%rdi)
14023dcec:	41 8a 45 1d          	mov    0x1d(%r13),%al
14023dcf0:	88 47 35             	mov    %al,0x35(%rdi)
14023dcf3:	49 8b fc             	mov    %r12,%rdi
14023dcf6:	49 83 ec 38          	sub    $0x38,%r12
14023dcfa:	49 83 ed 38          	sub    $0x38,%r13
14023dcfe:	49 8b d4             	mov    %r12,%rdx
14023dd01:	48 8d 4d c0          	lea    -0x40(%rbp),%rcx
14023dd05:	49 8b c7             	mov    %r15,%rax
14023dd08:	ff 15 2a ef 8c 00    	call   *0x8cef2a(%rip)        # 0x140b0cc38
14023dd0e:	84 c0                	test   %al,%al
14023dd10:	75 8b                	jne    0x14023dc9d
14023dd12:	4c 8b 7d 48          	mov    0x48(%rbp),%r15
14023dd16:	4c 8b 6d 50          	mov    0x50(%rbp),%r13
14023dd1a:	48 8d 45 c0          	lea    -0x40(%rbp),%rax
14023dd1e:	48 3b f8             	cmp    %rax,%rdi
14023dd21:	74 17                	je     0x14023dd3a
14023dd23:	4c 8b 45 c8          	mov    -0x38(%rbp),%r8
14023dd27:	48 8b 55 c0          	mov    -0x40(%rbp),%rdx
14023dd2b:	4c 2b c2             	sub    %rdx,%r8
14023dd2e:	49 c1 f8 04          	sar    $0x4,%r8
14023dd32:	48 8b cf             	mov    %rdi,%rcx
14023dd35:	e8 6a 42 df ff       	call   0x140031fa4
14023dd3a:	0f 10 45 d8          	movups -0x28(%rbp),%xmm0
14023dd3e:	0f 11 47 18          	movups %xmm0,0x18(%rdi)
14023dd42:	f3 0f 10 45 e8       	movss  -0x18(%rbp),%xmm0
14023dd47:	f3 0f 11 47 28       	movss  %xmm0,0x28(%rdi)
14023dd4c:	f3 0f 10 4d ec       	movss  -0x14(%rbp),%xmm1
14023dd51:	f3 0f 11 4f 2c       	movss  %xmm1,0x2c(%rdi)
14023dd56:	8b 45 f0             	mov    -0x10(%rbp),%eax
14023dd59:	89 47 30             	mov    %eax,0x30(%rdi)
14023dd5c:	8a 45 f4             	mov    -0xc(%rbp),%al
14023dd5f:	88 47 34             	mov    %al,0x34(%rdi)
14023dd62:	8a 45 f5             	mov    -0xb(%rbp),%al
14023dd65:	88 47 35             	mov    %al,0x35(%rdi)
14023dd68:	48 8d 4d c0          	lea    -0x40(%rbp),%rcx
14023dd6c:	e8 5f d1 dd ff       	call   0x14001aed0
14023dd71:	48 83 c6 38          	add    $0x38,%rsi
14023dd75:	49 83 c6 38          	add    $0x38,%r14
14023dd79:	49 3b f7             	cmp    %r15,%rsi
14023dd7c:	0f 85 3e fe ff ff    	jne    0x14023dbc0
14023dd82:	49 8b c7             	mov    %r15,%rax
14023dd85:	48 8b 9c 24 a0 00 00 	mov    0xa0(%rsp),%rbx
14023dd8c:	00
14023dd8d:	48 83 c4 60          	add    $0x60,%rsp
14023dd91:	41 5f                	pop    %r15
14023dd93:	41 5e                	pop    %r14
14023dd95:	41 5d                	pop    %r13
14023dd97:	41 5c                	pop    %r12
14023dd99:	5f                   	pop    %rdi
14023dd9a:	5e                   	pop    %rsi
14023dd9b:	5d                   	pop    %rbp
14023dd9c:	c3                   	ret
14023dd9d:	90                   	nop
14023dd9e:	90                   	nop
14023dd9f:	90                   	nop
14023dda0:	48 89 5c 24 18       	mov    %rbx,0x18(%rsp)
14023dda5:	48 89 4c 24 08       	mov    %rcx,0x8(%rsp)
14023ddaa:	55                   	push   %rbp
14023ddab:	56                   	push   %rsi
14023ddac:	57                   	push   %rdi
14023ddad:	41 54                	push   %r12
14023ddaf:	41 55                	push   %r13
14023ddb1:	41 56                	push   %r14
14023ddb3:	41 57                	push   %r15
14023ddb5:	48 83 ec 20          	sub    $0x20,%rsp
14023ddb9:	48 b9 b7 6d db b6 6d 	movabs $0x6db6db6db6db6db7,%rcx
14023ddc0:	db b6 6d
14023ddc3:	49 8d 68 c8          	lea    -0x38(%r8),%rbp
14023ddc7:	49 8b c0             	mov    %r8,%rax
14023ddca:	4d 8b e1             	mov    %r9,%r12
14023ddcd:	48 2b c2             	sub    %rdx,%rax
14023ddd0:	4d 8b e8             	mov    %r8,%r13
14023ddd3:	48 c1 f8 03          	sar    $0x3,%rax
14023ddd7:	4c 8b f2             	mov    %rdx,%r14
14023ddda:	48 0f af c1          	imul   %rcx,%rax
14023ddde:	48 d1 f8             	sar    $1,%rax
14023dde1:	48 6b f0 38          	imul   $0x38,%rax,%rsi
14023dde5:	48 8b c5             	mov    %rbp,%rax
14023dde8:	48 2b c2             	sub    %rdx,%rax
14023ddeb:	48 03 f2             	add    %rdx,%rsi
14023ddee:	48 c1 f8 03          	sar    $0x3,%rax
14023ddf2:	48 0f af c1          	imul   %rcx,%rax
14023ddf6:	48 8b ca             	mov    %rdx,%rcx
14023ddf9:	48 83 f8 28          	cmp    $0x28,%rax
14023ddfd:	7e 5a                	jle    0x14023de59
14023ddff:	48 ff c0             	inc    %rax
14023de02:	48 c1 f8 03          	sar    $0x3,%rax
14023de06:	48 6b f8 70          	imul   $0x70,%rax,%rdi