14021af52:	41 5e                	pop    %r14
14021af54:	5f                   	pop    %rdi
14021af55:	5d                   	pop    %rbp
14021af56:	c3                   	ret
14021af57:	90                   	nop
14021af58:	48 8b c4             	mov    %rsp,%rax
14021af5b:	48 89 58 08          	mov    %rbx,0x8(%rax)
14021af5f:	48 89 70 20          	mov    %rsi,0x20(%rax)
14021af63:	4c 89 40 18          	mov    %r8,0x18(%rax)
14021af67:	48 89 50 10          	mov    %rdx,0x10(%rax)
14021af6b:	55                   	push   %rbp
14021af6c:	57                   	push   %rdi
14021af6d:	41 54                	push   %r12
14021af6f:	41 56                	push   %r14
14021af71:	41 57                	push   %r15
14021af73:	48 8b ec             	mov    %rsp,%rbp
14021af76:	48 83 ec 50          	sub    $0x50,%rsp
14021af7a:	49 8b f0             	mov    %r8,%rsi
14021af7d:	4c 8b f2             	mov    %rdx,%r14
14021af80:	45 33 ff             	xor    %r15d,%r15d
14021af83:	49 8b 08             	mov    (%r8),%rcx
14021af86:	48 8b 01             	mov    (%rcx),%rax
14021af89:	48 8b 40 40          	mov    0x40(%rax),%rax
14021af8d:	ff 15 a5 1c 8f 00    	call   *0x8f1ca5(%rip)        # 0x140b0cc38
14021af93:	41 83 cc ff          	or     $0xffffffff,%r12d
14021af97:	48 85 c0             	test   %rax,%rax
14021af9a:	0f 84 68 01 00 00    	je     0x14021b108
14021afa0:	49 8b 3e             	mov    (%r14),%rdi
14021afa3:	48 8b 07             	mov    (%rdi),%rax
14021afa6:	48 8b 58 48          	mov    0x48(%rax),%rbx
14021afaa:	48 8b 0e             	mov    (%rsi),%rcx
14021afad:	48 8b 01             	mov    (%rcx),%rax
14021afb0:	4d 8b c7             	mov    %r15,%r8
14021afb3:	48 8d 55 e0          	lea    -0x20(%rbp),%rdx
14021afb7:	48 8b 40 30          	mov    0x30(%rax),%rax
14021afbb:	ff 15 77 1c 8f 00    	call   *0x8f1c77(%rip)        # 0x140b0cc38
14021afc1:	90                   	nop
14021afc2:	48 8b d0             	mov    %rax,%rdx
14021afc5:	48 8b cf             	mov    %rdi,%rcx
14021afc8:	48 8b c3             	mov    %rbx,%rax
14021afcb:	ff 15 67 1c 8f 00    	call   *0x8f1c67(%rip)        # 0x140b0cc38
14021afd1:	90                   	nop
14021afd2:	48 8b 5d e8          	mov    -0x18(%rbp),%rbx
14021afd6:	48 85 db             	test   %rbx,%rbx
14021afd9:	74 39                	je     0x14021b014
14021afdb:	41 8b c4             	mov    %r12d,%eax
14021afde:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
14021afe3:	41 03 c4             	add    %r12d,%eax
14021afe6:	75 2c                	jne    0x14021b014
14021afe8:	48 8b 03             	mov    (%rbx),%rax
14021afeb:	48 8b cb             	mov    %rbx,%rcx
14021afee:	48 8b 00             	mov    (%rax),%rax
14021aff1:	ff 15 41 1c 8f 00    	call   *0x8f1c41(%rip)        # 0x140b0cc38
14021aff7:	41 8b c4             	mov    %r12d,%eax
14021affa:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
14021afff:	41 03 c4             	add    %r12d,%eax
14021b002:	75 10                	jne    0x14021b014
14021b004:	48 8b 03             	mov    (%rbx),%rax
14021b007:	48 8b cb             	mov    %rbx,%rcx
14021b00a:	48 8b 40 08          	mov    0x8(%rax),%rax
14021b00e:	ff 15 24 1c 8f 00    	call   *0x8f1c24(%rip)        # 0x140b0cc38
14021b014:	48 8b 0e             	mov    (%rsi),%rcx
14021b017:	48 8b 01             	mov    (%rcx),%rax
14021b01a:	4d 8b c7             	mov    %r15,%r8
14021b01d:	48 8d 55 f0          	lea    -0x10(%rbp),%rdx
14021b021:	48 8b 40 30          	mov    0x30(%rax),%rax
14021b025:	ff 15 0d 1c 8f 00    	call   *0x8f1c0d(%rip)        # 0x140b0cc38
14021b02b:	90                   	nop
14021b02c:	48 8b 08             	mov    (%rax),%rcx
14021b02f:	48 8b 01             	mov    (%rcx),%rax
14021b032:	0f 57 c0             	xorps  %xmm0,%xmm0
14021b035:	f3 0f 7f 45 d0       	movdqu %xmm0,-0x30(%rbp)
14021b03a:	49 8b 56 08          	mov    0x8(%r14),%rdx
14021b03e:	48 85 d2             	test   %rdx,%rdx
14021b041:	74 04                	je     0x14021b047
14021b043:	f0 ff 42 08          	lock incl 0x8(%rdx)
14021b047:	49 8b 16             	mov    (%r14),%rdx
14021b04a:	48 89 55 d0          	mov    %rdx,-0x30(%rbp)
14021b04e:	49 8b 56 08          	mov    0x8(%r14),%rdx
14021b052:	48 89 55 d8          	mov    %rdx,-0x28(%rbp)
14021b056:	4c 8d 45 d0          	lea    -0x30(%rbp),%r8
14021b05a:	33 d2                	xor    %edx,%edx
14021b05c:	48 8b 40 60          	mov    0x60(%rax),%rax
14021b060:	ff 15 d2 1b 8f 00    	call   *0x8f1bd2(%rip)        # 0x140b0cc38
14021b066:	48 8b 5d d8          	mov    -0x28(%rbp),%rbx
14021b06a:	48 85 db             	test   %rbx,%rbx
14021b06d:	74 3b                	je     0x14021b0aa
14021b06f:	90                   	nop
14021b070:	41 8b c4             	mov    %r12d,%eax
14021b073:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
14021b078:	41 03 c4             	add    %r12d,%eax
14021b07b:	75 2d                	jne    0x14021b0aa
14021b07d:	48 8b 03             	mov    (%rbx),%rax
14021b080:	48 8b cb             	mov    %rbx,%rcx
14021b083:	48 8b 00             	mov    (%rax),%rax
14021b086:	ff 15 ac 1b 8f 00    	call   *0x8f1bac(%rip)        # 0x140b0cc38
14021b08c:	41 8b c4             	mov    %r12d,%eax
14021b08f:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
14021b094:	41 03 c4             	add    %r12d,%eax
14021b097:	75 11                	jne    0x14021b0aa
14021b099:	48 8b 03             	mov    (%rbx),%rax
14021b09c:	48 8b cb             	mov    %rbx,%rcx
14021b09f:	48 8b 40 08          	mov    0x8(%rax),%rax
14021b0a3:	ff 15 8f 1b 8f 00    	call   *0x8f1b8f(%rip)        # 0x140b0cc38
14021b0a9:	90                   	nop
14021b0aa:	48 8b 5d f8          	mov    -0x8(%rbp),%rbx
14021b0ae:	48 85 db             	test   %rbx,%rbx
14021b0b1:	74 39                	je     0x14021b0ec
14021b0b3:	41 8b c4             	mov    %r12d,%eax
14021b0b6:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
14021b0bb:	41 03 c4             	add    %r12d,%eax
14021b0be:	75 2c                	jne    0x14021b0ec
14021b0c0:	48 8b 03             	mov    (%rbx),%rax
14021b0c3:	48 8b cb             	mov    %rbx,%rcx
14021b0c6:	48 8b 00             	mov    (%rax),%rax
14021b0c9:	ff 15 69 1b 8f 00    	call   *0x8f1b69(%rip)        # 0x140b0cc38
14021b0cf:	41 8b c4             	mov    %r12d,%eax
14021b0d2:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
14021b0d7:	41 03 c4             	add    %r12d,%eax
14021b0da:	75 10                	jne    0x14021b0ec
14021b0dc:	48 8b 03             	mov    (%rbx),%rax
14021b0df:	48 8b cb             	mov    %rbx,%rcx
14021b0e2:	48 8b 40 08          	mov    0x8(%rax),%rax
14021b0e6:	ff 15 4c 1b 8f 00    	call   *0x8f1b4c(%rip)        # 0x140b0cc38
14021b0ec:	49 ff c7             	inc    %r15
14021b0ef:	48 8b 0e             	mov    (%rsi),%rcx
14021b0f2:	48 8b 01             	mov    (%rcx),%rax
14021b0f5:	48 8b 40 40          	mov    0x40(%rax),%rax
14021b0f9:	ff 15 39 1b 8f 00    	call   *0x8f1b39(%rip)        # 0x140b0cc38
14021b0ff:	4c 3b f8             	cmp    %rax,%r15
14021b102:	0f 82 98 fe ff ff    	jb     0x14021afa0
14021b108:	49 8b 3e             	mov    (%r14),%rdi
14021b10b:	48 8b 07             	mov    (%rdi),%rax
14021b10e:	48 8b 98 b8 00 00 00 	mov    0xb8(%rax),%rbx
14021b115:	48 8b 0e             	mov    (%rsi),%rcx
14021b118:	48 8b 11             	mov    (%rcx),%rdx
14021b11b:	48 8b 82 a8 00 00 00 	mov    0xa8(%rdx),%rax
14021b122:	ff 15 10 1b 8f 00    	call   *0x8f1b10(%rip)        # 0x140b0cc38
14021b128:	45 33 c0             	xor    %r8d,%r8d
14021b12b:	48 8b d0             	mov    %rax,%rdx
14021b12e:	48 8b cf             	mov    %rdi,%rcx
14021b131:	48 8b c3             	mov    %rbx,%rax
14021b134:	ff 15 fe 1a 8f 00    	call   *0x8f1afe(%rip)        # 0x140b0cc38
14021b13a:	48 8b 0e             	mov    (%rsi),%rcx
14021b13d:	48 8b 01             	mov    (%rcx),%rax
14021b140:	33 d2                	xor    %edx,%edx
14021b142:	48 8b 40 70          	mov    0x70(%rax),%rax
14021b146:	ff 15 ec 1a 8f 00    	call   *0x8f1aec(%rip)        # 0x140b0cc38
14021b14c:	48 8b 0e             	mov    (%rsi),%rcx
14021b14f:	48 8b 01             	mov    (%rcx),%rax
14021b152:	0f 57 c0             	xorps  %xmm0,%xmm0
14021b155:	f3 0f 7f 45 d0       	movdqu %xmm0,-0x30(%rbp)
14021b15a:	4c 8d 45 d0          	lea    -0x30(%rbp),%r8
14021b15e:	33 d2                	xor    %edx,%edx
14021b160:	48 8b 40 60          	mov    0x60(%rax),%rax
14021b164:	ff 15 ce 1a 8f 00    	call   *0x8f1ace(%rip)        # 0x140b0cc38
14021b16a:	90                   	nop
14021b16b:	48 8b 5d d8          	mov    -0x28(%rbp),%rbx
14021b16f:	48 85 db             	test   %rbx,%rbx
14021b172:	74 3a                	je     0x14021b1ae
14021b174:	41 8b c4             	mov    %r12d,%eax
14021b177:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
14021b17c:	41 03 c4             	add    %r12d,%eax
14021b17f:	75 2d                	jne    0x14021b1ae
14021b181:	48 8b 03             	mov    (%rbx),%rax
14021b184:	48 8b cb             	mov    %rbx,%rcx
14021b187:	48 8b 00             	mov    (%rax),%rax
14021b18a:	ff 15 a8 1a 8f 00    	call   *0x8f1aa8(%rip)        # 0x140b0cc38
14021b190:	41 8b c4             	mov    %r12d,%eax
14021b193:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
14021b198:	41 03 c4             	add    %r12d,%eax
14021b19b:	75 11                	jne    0x14021b1ae
14021b19d:	48 8b 03             	mov    (%rbx),%rax
14021b1a0:	48 8b cb             	mov    %rbx,%rcx
14021b1a3:	48 8b 40 08          	mov    0x8(%rax),%rax
14021b1a7:	ff 15 8b 1a 8f 00    	call   *0x8f1a8b(%rip)        # 0x140b0cc38
14021b1ad:	90                   	nop
14021b1ae:	49 8b 5e 08          	mov    0x8(%r14),%rbx
14021b1b2:	48 85 db             	test   %rbx,%rbx
14021b1b5:	74 3a                	je     0x14021b1f1
14021b1b7:	41 8b c4             	mov    %r12d,%eax
14021b1ba:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
14021b1bf:	41 03 c4             	add    %r12d,%eax
14021b1c2:	75 2d                	jne    0x14021b1f1
14021b1c4:	48 8b 03             	mov    (%rbx),%rax
14021b1c7:	48 8b cb             	mov    %rbx,%rcx
14021b1ca:	48 8b 00             	mov    (%rax),%rax
14021b1cd:	ff 15 65 1a 8f 00    	call   *0x8f1a65(%rip)        # 0x140b0cc38
14021b1d3:	41 8b c4             	mov    %r12d,%eax
14021b1d6:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
14021b1db:	41 03 c4             	add    %r12d,%eax
14021b1de:	75 11                	jne    0x14021b1f1
14021b1e0:	48 8b 03             	mov    (%rbx),%rax
14021b1e3:	48 8b cb             	mov    %rbx,%rcx
14021b1e6:	48 8b 40 08          	mov    0x8(%rax),%rax
14021b1ea:	ff 15 48 1a 8f 00    	call   *0x8f1a48(%rip)        # 0x140b0cc38
14021b1f0:	90                   	nop
14021b1f1:	48 8b 5e 08          	mov    0x8(%rsi),%rbx
14021b1f5:	48 85 db             	test   %rbx,%rbx
14021b1f8:	74 39                	je     0x14021b233
14021b1fa:	41 8b c4             	mov    %r12d,%eax
14021b1fd:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
14021b202:	41 03 c4             	add    %r12d,%eax
14021b205:	75 2c                	jne    0x14021b233
14021b207:	48 8b 03             	mov    (%rbx),%rax
14021b20a:	48 8b cb             	mov    %rbx,%rcx
14021b20d:	48 8b 00             	mov    (%rax),%rax
14021b210:	ff 15 22 1a 8f 00    	call   *0x8f1a22(%rip)        # 0x140b0cc38
14021b216:	41 8b c4             	mov    %r12d,%eax
14021b219:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
14021b21e:	41 03 c4             	add    %r12d,%eax
14021b221:	75 10                	jne    0x14021b233
14021b223:	48 8b 03             	mov    (%rbx),%rax
14021b226:	48 8b cb             	mov    %rbx,%rcx
14021b229:	48 8b 40 08          	mov    0x8(%rax),%rax
14021b22d:	ff 15 05 1a 8f 00    	call   *0x8f1a05(%rip)        # 0x140b0cc38
14021b233:	4c 8d 5c 24 50       	lea    0x50(%rsp),%r11
14021b238:	49 8b 5b 30          	mov    0x30(%r11),%rbx
14021b23c:	49 8b 73 48          	mov    0x48(%r11),%rsi
14021b240:	49 8b e3             	mov    %r11,%rsp
14021b243:	41 5f                	pop    %r15
14021b245:	41 5e                	pop    %r14
14021b247:	41 5c                	pop    %r12
14021b249:	5f                   	pop    %rdi
14021b24a:	5d                   	pop    %rbp
14021b24b:	c3                   	ret
14021b24c:	48 89 5c 24 10       	mov    %rbx,0x10(%rsp)
14021b251:	48 89 74 24 18       	mov    %rsi,0x18(%rsp)
14021b256:	55                   	push   %rbp
14021b257:	57                   	push   %rdi
14021b258:	41 54                	push   %r12
14021b25a:	41 56                	push   %r14
14021b25c:	41 57                	push   %r15
14021b25e:	48 8b ec             	mov    %rsp,%rbp
14021b261:	48 83 ec 50          	sub    $0x50,%rsp
14021b265:	48 8b 4a 08          	mov    0x8(%rdx),%rcx
14021b269:	45 33 f6             	xor    %r14d,%r14d
14021b26c:	4c 8b 02             	mov    (%rdx),%r8
14021b26f:	48 8b c1             	mov    %rcx,%rax
14021b272:	49 2b c0             	sub    %r8,%rax
14021b275:	45 33 d2             	xor    %r10d,%r10d
14021b278:	48 c1 f8 04          	sar    $0x4,%rax
14021b27c:	48 8b fa             	mov    %rdx,%rdi
14021b27f:	48 85 c0             	test   %rax,%rax
14021b282:	0f 84 aa 02 00 00    	je     0x14021b532
14021b288:	48 8b d1             	mov    %rcx,%rdx
14021b28b:	4d 8b c8             	mov    %r8,%r9
14021b28e:	41 83 cc ff          	or     $0xffffffff,%r12d
14021b292:	33 f6                	xor    %esi,%esi
14021b294:	48 8b c1             	mov    %rcx,%rax
14021b297:	49 83 fe 03          	cmp    $0x3,%r14
14021b29b:	49 0f 47 f2          	cmova  %r10,%rsi
14021b29f:	49 2b c0             	sub    %r8,%rax
14021b2a2:	48 c1 f8 04          	sar    $0x4,%rax
14021b2a6:	33 db                	xor    %ebx,%ebx
14021b2a8:	48 85 c0             	test   %rax,%rax
14021b2ab:	0f 84 bb 00 00 00    	je     0x14021b36c
14021b2b1:	45 33 f6             	xor    %r14d,%r14d
14021b2b4:	48 3b f3             	cmp    %rbx,%rsi
14021b2b7:	0f 84 87 00 00 00    	je     0x14021b344
14021b2bd:	49 2b c8             	sub    %r8,%rcx
14021b2c0:	48 c1 f9 04          	sar    $0x4,%rcx
14021b2c4:	48 3b f1             	cmp    %rcx,%rsi
14021b2c7:	0f 83 87 02 00 00    	jae    0x14021b554
14021b2cd:	48 8b c6             	mov    %rsi,%rax
14021b2d0:	48 03 c0             	add    %rax,%rax
14021b2d3:	49 8b 0c c0          	mov    (%r8,%rax,8),%rcx
14021b2d7:	48 8b 01             	mov    (%rcx),%rax
14021b2da:	48 8b 80 a8 00 00 00 	mov    0xa8(%rax),%rax
14021b2e1:	ff 15 51 19 8f 00    	call   *0x8f1951(%rip)        # 0x140b0cc38
14021b2e7:	48 8b 4f 08          	mov    0x8(%rdi),%rcx
14021b2eb:	4c 8b f8             	mov    %rax,%r15
14021b2ee:	48 8b 07             	mov    (%rdi),%rax
14021b2f1:	48 2b c8             	sub    %rax,%rcx
14021b2f4:	48 c1 f9 04          	sar    $0x4,%rcx
14021b2f8:	48 3b d9             	cmp    %rcx,%rbx
14021b2fb:	0f 83 53 02 00 00    	jae    0x14021b554
14021b301:	49 8b 0c 06          	mov    (%r14,%rax,1),%rcx
14021b305:	48 8b 01             	mov    (%rcx),%rax
14021b308:	48 8b 80 a8 00 00 00 	mov    0xa8(%rax),%rax
14021b30f:	ff 15 23 19 8f 00    	call   *0x8f1923(%rip)        # 0x140b0cc38
14021b315:	f3 41 0f 10 0f       	movss  (%r15),%xmm1
14021b31a:	f3 41 0f 10 47 08    	movss  0x8(%r15),%xmm0
14021b320:	f3 0f 5f 08          	maxss  (%rax),%xmm1
14021b324:	f3 0f 5d 40 08       	minss  0x8(%rax),%xmm0
14021b329:	0f 2f c1             	comiss %xmm1,%xmm0
14021b32c:	76 06                	jbe    0x14021b334
14021b32e:	f3 0f 5c c1          	subss  %xmm1,%xmm0
14021b332:	eb 03                	jmp    0x14021b337
14021b334:	0f 57 c0             	xorps  %xmm0,%xmm0
14021b337:	0f 2f 05 ce 5c 99 00 	comiss 0x995cce(%rip),%xmm0        # 0x140bb100c
14021b33e:	0f 87 c4 01 00 00    	ja     0x14021b508
14021b344:	48 8b 57 08          	mov    0x8(%rdi),%rdx
14021b348:	48 ff c3             	inc    %rbx
14021b34b:	4c 8b 0f             	mov    (%rdi),%r9
14021b34e:	48 8b c2             	mov    %rdx,%rax
14021b351:	49 2b c1             	sub    %r9,%rax
14021b354:	49 83 c6 10          	add    $0x10,%r14
14021b358:	48 c1 f8 04          	sar    $0x4,%rax
14021b35c:	48 3b d8             	cmp    %rax,%rbx
14021b35f:	73 0b                	jae    0x14021b36c
14021b361:	48 8b ca             	mov    %rdx,%rcx
14021b364:	4d 8b c1             	mov    %r9,%r8
14021b367:	e9 48 ff ff ff       	jmp    0x14021b2b4
14021b36c:	49 2b d1             	sub    %r9,%rdx
14021b36f:	48 c1 fa 04          	sar    $0x4,%rdx
14021b373:	48 3b f2             	cmp    %rdx,%rsi
14021b376:	0f 83 df 01 00 00    	jae    0x14021b55b
14021b37c:	48 8b ce             	mov    %rsi,%rcx
14021b37f:	0f 57 c0             	xorps  %xmm0,%xmm0
14021b382:	48 03 c9             	add    %rcx,%rcx
14021b385:	f3 0f 7f 45 d0       	movdqu %xmm0,-0x30(%rbp)
14021b38a:	49 8b 44 c9 08       	mov    0x8(%r9,%rcx,8),%rax
14021b38f:	48 85 c0             	test   %rax,%rax
14021b392:	74 04                	je     0x14021b398
14021b394:	f0 ff 40 08          	lock incl 0x8(%rax)
14021b398:	49 8b 04 c9          	mov    (%r9,%rcx,8),%rax
14021b39c:	48 89 45 d0          	mov    %rax,-0x30(%rbp)
14021b3a0:	49 8b 44 c9 08       	mov    0x8(%r9,%rcx,8),%rax
14021b3a5:	48 8d 4d d0          	lea    -0x30(%rbp),%rcx
14021b3a9:	48 89 45 d8          	mov    %rax,-0x28(%rbp)
14021b3ad:	e8 d6 58 f8 ff       	call   0x1401a0c88
14021b3b2:	0f 2f 05 17 5d 99 00 	comiss 0x995d17(%rip),%xmm0        # 0x140bb10d0
14021b3b9:	0f 83 49 01 00 00    	jae    0x14021b508
14021b3bf:	45 33 f6             	xor    %r14d,%r14d
14021b3c2:	45 33 ff             	xor    %r15d,%r15d
14021b3c5:	48 8b 0f             	mov    (%rdi),%rcx
14021b3c8:	48 8b 47 08          	mov    0x8(%rdi),%rax
14021b3cc:	48 2b c1             	sub    %rcx,%rax
14021b3cf:	48 c1 f8 04          	sar    $0x4,%rax
14021b3d3:	48 3b f0             	cmp    %rax,%rsi
14021b3d6:	0f 83 78 01 00 00    	jae    0x14021b554
14021b3dc:	48 8b c6             	mov    %rsi,%rax
14021b3df:	48 03 c0             	add    %rax,%rax
14021b3e2:	48 8b 0c c1          	mov    (%rcx,%rax,8),%rcx
14021b3e6:	48 8b 01             	mov    (%rcx),%rax
14021b3e9:	48 8b 40 40          	mov    0x40(%rax),%rax
14021b3ed:	ff 15 45 18 8f 00    	call   *0x8f1845(%rip)        # 0x140b0cc38
14021b3f3:	4c 3b f8             	cmp    %rax,%r15
14021b3f6:	0f 83 02 01 00 00    	jae    0x14021b4fe
14021b3fc:	48 8b 0f             	mov    (%rdi),%rcx
14021b3ff:	48 8b 47 08          	mov    0x8(%rdi),%rax
14021b403:	48 2b c1             	sub    %rcx,%rax
14021b406:	48 c1 f8 04          	sar    $0x4,%rax
14021b40a:	48 3b f0             	cmp    %rax,%rsi
14021b40d:	0f 83 3a 01 00 00    	jae    0x14021b54d
14021b413:	48 8b c6             	mov    %rsi,%rax
14021b416:	48 8d 55 f0          	lea    -0x10(%rbp),%rdx
14021b41a:	48 03 c0             	add    %rax,%rax
14021b41d:	4d 8b c7             	mov    %r15,%r8