140239edb:	f3 0f 7f 45 f0       	movdqu %xmm0,-0x10(%rbp)
140239ee0:	48 8b 47 08          	mov    0x8(%rdi),%rax
140239ee4:	48 85 c0             	test   %rax,%rax
140239ee7:	74 04                	je     0x140239eed
140239ee9:	f0 ff 40 08          	lock incl 0x8(%rax)
140239eed:	48 8b 07             	mov    (%rdi),%rax
140239ef0:	48 89 45 f0          	mov    %rax,-0x10(%rbp)
140239ef4:	48 8b 47 08          	mov    0x8(%rdi),%rax
140239ef8:	48 89 45 f8          	mov    %rax,-0x8(%rbp)
140239efc:	f3 0f 7f 45 e0       	movdqu %xmm0,-0x20(%rbp)
140239f01:	48 8b 43 08          	mov    0x8(%rbx),%rax
140239f05:	48 85 c0             	test   %rax,%rax
140239f08:	74 04                	je     0x140239f0e
140239f0a:	f0 ff 40 08          	lock incl 0x8(%rax)
140239f0e:	48 8b 03             	mov    (%rbx),%rax
140239f11:	48 89 45 e0          	mov    %rax,-0x20(%rbp)
140239f15:	48 8b 43 08          	mov    0x8(%rbx),%rax
140239f19:	48 89 45 e8          	mov    %rax,-0x18(%rbp)
140239f1d:	48 8d 4e 48          	lea    0x48(%rsi),%rcx
140239f21:	4c 8d 45 f0          	lea    -0x10(%rbp),%r8
140239f25:	48 8d 55 e0          	lea    -0x20(%rbp),%rdx
140239f29:	e8 42 01 00 00       	call   0x14023a070
140239f2e:	0f 57 c0             	xorps  %xmm0,%xmm0
140239f31:	f3 0f 7f 45 f0       	movdqu %xmm0,-0x10(%rbp)
140239f36:	48 8b 47 08          	mov    0x8(%rdi),%rax
140239f3a:	48 85 c0             	test   %rax,%rax
140239f3d:	74 04                	je     0x140239f43
140239f3f:	f0 ff 40 08          	lock incl 0x8(%rax)
140239f43:	48 8b 07             	mov    (%rdi),%rax
140239f46:	48 89 45 f0          	mov    %rax,-0x10(%rbp)
140239f4a:	48 8b 47 08          	mov    0x8(%rdi),%rax
140239f4e:	48 89 45 f8          	mov    %rax,-0x8(%rbp)
140239f52:	f3 0f 7f 45 e0       	movdqu %xmm0,-0x20(%rbp)
140239f57:	48 8b 43 08          	mov    0x8(%rbx),%rax
140239f5b:	48 85 c0             	test   %rax,%rax
140239f5e:	74 04                	je     0x140239f64
140239f60:	f0 ff 40 08          	lock incl 0x8(%rax)
140239f64:	48 8b 03             	mov    (%rbx),%rax
140239f67:	48 89 45 e0          	mov    %rax,-0x20(%rbp)
140239f6b:	48 8b 43 08          	mov    0x8(%rbx),%rax
140239f6f:	48 89 45 e8          	mov    %rax,-0x18(%rbp)
140239f73:	48 8d 8e 88 00 00 00 	lea    0x88(%rsi),%rcx
140239f7a:	4c 8d 45 f0          	lea    -0x10(%rbp),%r8
140239f7e:	48 8d 55 e0          	lea    -0x20(%rbp),%rdx
140239f82:	e8 e9 00 00 00       	call   0x14023a070
140239f87:	0f 57 c0             	xorps  %xmm0,%xmm0
140239f8a:	f3 0f 7f 45 f0       	movdqu %xmm0,-0x10(%rbp)
140239f8f:	48 8b 47 08          	mov    0x8(%rdi),%rax
140239f93:	48 85 c0             	test   %rax,%rax
140239f96:	74 04                	je     0x140239f9c
140239f98:	f0 ff 40 08          	lock incl 0x8(%rax)
140239f9c:	48 8b 07             	mov    (%rdi),%rax
140239f9f:	48 89 45 f0          	mov    %rax,-0x10(%rbp)
140239fa3:	48 8b 47 08          	mov    0x8(%rdi),%rax
140239fa7:	48 89 45 f8          	mov    %rax,-0x8(%rbp)
140239fab:	f3 0f 7f 45 e0       	movdqu %xmm0,-0x20(%rbp)
140239fb0:	48 8b 43 08          	mov    0x8(%rbx),%rax
140239fb4:	48 85 c0             	test   %rax,%rax
140239fb7:	74 04                	je     0x140239fbd
140239fb9:	f0 ff 40 08          	lock incl 0x8(%rax)
140239fbd:	48 8b 03             	mov    (%rbx),%rax
140239fc0:	48 89 45 e0          	mov    %rax,-0x20(%rbp)
140239fc4:	48 8b 43 08          	mov    0x8(%rbx),%rax
140239fc8:	48 89 45 e8          	mov    %rax,-0x18(%rbp)
140239fcc:	48 8d 8e c8 00 00 00 	lea    0xc8(%rsi),%rcx
140239fd3:	4c 8d 45 f0          	lea    -0x10(%rbp),%r8
140239fd7:	48 8d 55 e0          	lea    -0x20(%rbp),%rdx
140239fdb:	e8 90 00 00 00       	call   0x14023a070
140239fe0:	90                   	nop
140239fe1:	48 8b 5b 08          	mov    0x8(%rbx),%rbx
140239fe5:	83 ce ff             	or     $0xffffffff,%esi
140239fe8:	48 85 db             	test   %rbx,%rbx
140239feb:	74 36                	je     0x14023a023
140239fed:	8b c6                	mov    %esi,%eax
140239fef:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
140239ff4:	03 c6                	add    %esi,%eax
140239ff6:	75 2b                	jne    0x14023a023
140239ff8:	48 8b 03             	mov    (%rbx),%rax
140239ffb:	48 8b cb             	mov    %rbx,%rcx
140239ffe:	48 8b 00             	mov    (%rax),%rax
14023a001:	ff 15 31 2c 8d 00    	call   *0x8d2c31(%rip)        # 0x140b0cc38
14023a007:	8b c6                	mov    %esi,%eax
14023a009:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
14023a00e:	03 c6                	add    %esi,%eax
14023a010:	75 11                	jne    0x14023a023
14023a012:	48 8b 03             	mov    (%rbx),%rax
14023a015:	48 8b cb             	mov    %rbx,%rcx
14023a018:	48 8b 40 08          	mov    0x8(%rax),%rax
14023a01c:	ff 15 16 2c 8d 00    	call   *0x8d2c16(%rip)        # 0x140b0cc38
14023a022:	90                   	nop
14023a023:	48 8b 5f 08          	mov    0x8(%rdi),%rbx
14023a027:	48 85 db             	test   %rbx,%rbx
14023a02a:	74 35                	je     0x14023a061
14023a02c:	8b c6                	mov    %esi,%eax
14023a02e:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
14023a033:	03 c6                	add    %esi,%eax
14023a035:	75 2a                	jne    0x14023a061
14023a037:	48 8b 03             	mov    (%rbx),%rax
14023a03a:	48 8b cb             	mov    %rbx,%rcx
14023a03d:	48 8b 00             	mov    (%rax),%rax
14023a040:	ff 15 f2 2b 8d 00    	call   *0x8d2bf2(%rip)        # 0x140b0cc38
14023a046:	8b c6                	mov    %esi,%eax
14023a048:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
14023a04d:	03 c6                	add    %esi,%eax
14023a04f:	75 10                	jne    0x14023a061
14023a051:	48 8b 03             	mov    (%rbx),%rax
14023a054:	48 8b cb             	mov    %rbx,%rcx
14023a057:	48 8b 40 08          	mov    0x8(%rax),%rax
14023a05b:	ff 15 d7 2b 8d 00    	call   *0x8d2bd7(%rip)        # 0x140b0cc38
14023a061:	48 8b 5c 24 78       	mov    0x78(%rsp),%rbx
14023a066:	48 83 c4 40          	add    $0x40,%rsp
14023a06a:	5f                   	pop    %rdi
14023a06b:	5e                   	pop    %rsi
14023a06c:	5d                   	pop    %rbp
14023a06d:	c3                   	ret
14023a06e:	90                   	nop
14023a06f:	90                   	nop
14023a070:	48 8b c4             	mov    %rsp,%rax
14023a073:	48 89 58 08          	mov    %rbx,0x8(%rax)
14023a077:	48 89 68 20          	mov    %rbp,0x20(%rax)
14023a07b:	4c 89 40 18          	mov    %r8,0x18(%rax)
14023a07f:	48 89 50 10          	mov    %rdx,0x10(%rax)
14023a083:	56                   	push   %rsi
14023a084:	57                   	push   %rdi
14023a085:	41 56                	push   %r14
14023a087:	48 83 ec 50          	sub    $0x50,%rsp
14023a08b:	49 8b f0             	mov    %r8,%rsi
14023a08e:	48 8b ea             	mov    %rdx,%rbp
14023a091:	48 8b d1             	mov    %rcx,%rdx
14023a094:	48 8d 48 c8          	lea    -0x38(%rax),%rcx
14023a098:	e8 4f 1a de ff       	call   0x14001baec
14023a09d:	48 8b 5c 24 30       	mov    0x30(%rsp),%rbx
14023a0a2:	41 83 ce ff          	or     $0xffffffff,%r14d
14023a0a6:	eb 70                	jmp    0x14023a118
14023a0a8:	48 8b 0e             	mov    (%rsi),%rcx
14023a0ab:	48 8b 43 08          	mov    0x8(%rbx),%rax
14023a0af:	48 85 c0             	test   %rax,%rax
14023a0b2:	74 04                	je     0x14023a0b8
14023a0b4:	f0 ff 40 08          	lock incl 0x8(%rax)
14023a0b8:	48 8b 03             	mov    (%rbx),%rax
14023a0bb:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
14023a0c0:	48 8b 7b 08          	mov    0x8(%rbx),%rdi
14023a0c4:	48 89 7c 24 28       	mov    %rdi,0x28(%rsp)
14023a0c9:	4c 8b c5             	mov    %rbp,%r8
14023a0cc:	48 8d 54 24 20       	lea    0x20(%rsp),%rdx
14023a0d1:	e8 ea 00 f5 ff       	call   0x14018a1c0
14023a0d6:	48 85 ff             	test   %rdi,%rdi
14023a0d9:	74 39                	je     0x14023a114
14023a0db:	41 8b c6             	mov    %r14d,%eax
14023a0de:	f0 0f c1 47 08       	lock xadd %eax,0x8(%rdi)
14023a0e3:	41 03 c6             	add    %r14d,%eax
14023a0e6:	75 2c                	jne    0x14023a114
14023a0e8:	48 8b 07             	mov    (%rdi),%rax
14023a0eb:	48 8b cf             	mov    %rdi,%rcx
14023a0ee:	48 8b 00             	mov    (%rax),%rax
14023a0f1:	ff 15 41 2b 8d 00    	call   *0x8d2b41(%rip)        # 0x140b0cc38
14023a0f7:	41 8b c6             	mov    %r14d,%eax
14023a0fa:	f0 0f c1 47 0c       	lock xadd %eax,0xc(%rdi)
14023a0ff:	41 03 c6             	add    %r14d,%eax
14023a102:	75 10                	jne    0x14023a114
14023a104:	48 8b 07             	mov    (%rdi),%rax
14023a107:	48 8b cf             	mov    %rdi,%rcx
14023a10a:	48 8b 40 08          	mov    0x8(%rax),%rax
14023a10e:	ff 15 24 2b 8d 00    	call   *0x8d2b24(%rip)        # 0x140b0cc38
14023a114:	48 83 c3 10          	add    $0x10,%rbx
14023a118:	48 3b 5c 24 38       	cmp    0x38(%rsp),%rbx
14023a11d:	75 89                	jne    0x14023a0a8
14023a11f:	48 8d 4c 24 30       	lea    0x30(%rsp),%rcx
14023a124:	e8 a7 0d de ff       	call   0x14001aed0
14023a129:	48 8b 5d 08          	mov    0x8(%rbp),%rbx
14023a12d:	48 85 db             	test   %rbx,%rbx
14023a130:	74 3a                	je     0x14023a16c
14023a132:	41 8b c6             	mov    %r14d,%eax
14023a135:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
14023a13a:	41 03 c6             	add    %r14d,%eax
14023a13d:	75 2d                	jne    0x14023a16c
14023a13f:	48 8b 03             	mov    (%rbx),%rax
14023a142:	48 8b cb             	mov    %rbx,%rcx
14023a145:	48 8b 00             	mov    (%rax),%rax
14023a148:	ff 15 ea 2a 8d 00    	call   *0x8d2aea(%rip)        # 0x140b0cc38
14023a14e:	41 8b c6             	mov    %r14d,%eax
14023a151:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
14023a156:	41 03 c6             	add    %r14d,%eax
14023a159:	75 11                	jne    0x14023a16c
14023a15b:	48 8b 03             	mov    (%rbx),%rax
14023a15e:	48 8b cb             	mov    %rbx,%rcx
14023a161:	48 8b 40 08          	mov    0x8(%rax),%rax
14023a165:	ff 15 cd 2a 8d 00    	call   *0x8d2acd(%rip)        # 0x140b0cc38
14023a16b:	90                   	nop
14023a16c:	48 8b 5e 08          	mov    0x8(%rsi),%rbx
14023a170:	48 85 db             	test   %rbx,%rbx
14023a173:	74 39                	je     0x14023a1ae
14023a175:	41 8b c6             	mov    %r14d,%eax
14023a178:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
14023a17d:	41 03 c6             	add    %r14d,%eax
14023a180:	75 2c                	jne    0x14023a1ae
14023a182:	48 8b 03             	mov    (%rbx),%rax
14023a185:	48 8b cb             	mov    %rbx,%rcx
14023a188:	48 8b 00             	mov    (%rax),%rax
14023a18b:	ff 15 a7 2a 8d 00    	call   *0x8d2aa7(%rip)        # 0x140b0cc38
14023a191:	41 8b c6             	mov    %r14d,%eax
14023a194:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
14023a199:	41 03 c6             	add    %r14d,%eax
14023a19c:	75 10                	jne    0x14023a1ae
14023a19e:	48 8b 03             	mov    (%rbx),%rax
14023a1a1:	48 8b cb             	mov    %rbx,%rcx
14023a1a4:	48 8b 40 08          	mov    0x8(%rax),%rax
14023a1a8:	ff 15 8a 2a 8d 00    	call   *0x8d2a8a(%rip)        # 0x140b0cc38
14023a1ae:	4c 8d 5c 24 50       	lea    0x50(%rsp),%r11
14023a1b3:	49 8b 5b 20          	mov    0x20(%r11),%rbx
14023a1b7:	49 8b 6b 38          	mov    0x38(%r11),%rbp
14023a1bb:	49 8b e3             	mov    %r11,%rsp
14023a1be:	41 5e                	pop    %r14
14023a1c0:	5f                   	pop    %rdi
14023a1c1:	5e                   	pop    %rsi
14023a1c2:	c3                   	ret
14023a1c3:	90                   	nop
14023a1c4:	48 89 5c 24 08       	mov    %rbx,0x8(%rsp)
14023a1c9:	57                   	push   %rdi
14023a1ca:	48 83 ec 20          	sub    $0x20,%rsp
14023a1ce:	48 8b f9             	mov    %rcx,%rdi
14023a1d1:	33 c9                	xor    %ecx,%ecx
14023a1d3:	48 89 0f             	mov    %rcx,(%rdi)
14023a1d6:	48 89 4f 08          	mov    %rcx,0x8(%rdi)
14023a1da:	48 8b 42 08          	mov    0x8(%rdx),%rax
14023a1de:	48 85 c0             	test   %rax,%rax
14023a1e1:	74 04                	je     0x14023a1e7
14023a1e3:	f0 ff 40 08          	lock incl 0x8(%rax)
14023a1e7:	48 8b 02             	mov    (%rdx),%rax
14023a1ea:	48 89 07             	mov    %rax,(%rdi)
14023a1ed:	48 8b 42 08          	mov    0x8(%rdx),%rax
14023a1f1:	48 89 47 08          	mov    %rax,0x8(%rdi)
14023a1f5:	89 4f 10             	mov    %ecx,0x10(%rdi)
14023a1f8:	48 8b 5a 08          	mov    0x8(%rdx),%rbx
14023a1fc:	48 85 db             	test   %rbx,%rbx
14023a1ff:	74 39                	je     0x14023a23a
14023a201:	83 c8 ff             	or     $0xffffffff,%eax
14023a204:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
14023a209:	83 f8 01             	cmp    $0x1,%eax
14023a20c:	75 2c                	jne    0x14023a23a
14023a20e:	48 8b 03             	mov    (%rbx),%rax
14023a211:	48 8b cb             	mov    %rbx,%rcx
14023a214:	48 8b 00             	mov    (%rax),%rax
14023a217:	ff 15 1b 2a 8d 00    	call   *0x8d2a1b(%rip)        # 0x140b0cc38
14023a21d:	83 c8 ff             	or     $0xffffffff,%eax
14023a220:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
14023a225:	83 f8 01             	cmp    $0x1,%eax
14023a228:	75 10                	jne    0x14023a23a
14023a22a:	48 8b 03             	mov    (%rbx),%rax
14023a22d:	48 8b cb             	mov    %rbx,%rcx
14023a230:	48 8b 40 08          	mov    0x8(%rax),%rax
14023a234:	ff 15 fe 29 8d 00    	call   *0x8d29fe(%rip)        # 0x140b0cc38
14023a23a:	48 8b 5c 24 30       	mov    0x30(%rsp),%rbx
14023a23f:	48 8b c7             	mov    %rdi,%rax
14023a242:	48 83 c4 20          	add    $0x20,%rsp
14023a246:	5f                   	pop    %rdi
14023a247:	c3                   	ret
14023a248:	90                   	nop
14023a249:	90                   	nop
14023a24a:	90                   	nop
14023a24b:	90                   	nop
14023a24c:	90                   	nop
14023a24d:	90                   	nop
14023a24e:	90                   	nop
14023a24f:	90                   	nop
14023a250:	f3 0f 10 41 1c       	movss  0x1c(%rcx),%xmm0
14023a255:	f3 0f 10 4a 1c       	movss  0x1c(%rdx),%xmm1
14023a25a:	0f 2e c1             	ucomiss %xmm1,%xmm0
14023a25d:	7a 0d                	jp     0x14023a26c
14023a25f:	75 0b                	jne    0x14023a26c
14023a261:	f3 0f 10 42 18       	movss  0x18(%rdx),%xmm0
14023a266:	0f 2f 41 18          	comiss 0x18(%rcx),%xmm0
14023a26a:	eb 03                	jmp    0x14023a26f
14023a26c:	0f 2f c8             	comiss %xmm0,%xmm1
14023a26f:	0f 97 c0             	seta   %al
14023a272:	c3                   	ret
14023a273:	90                   	nop
14023a274:	48 8b c4             	mov    %rsp,%rax
14023a277:	55                   	push   %rbp
14023a278:	53                   	push   %rbx
14023a279:	56                   	push   %rsi
14023a27a:	41 54                	push   %r12
14023a27c:	41 55                	push   %r13
14023a27e:	41 56                	push   %r14
14023a280:	41 57                	push   %r15
14023a282:	48 8d a8 e8 fd ff ff 	lea    -0x218(%rax),%rbp
14023a289:	48 81 ec e0 02 00 00 	sub    $0x2e0,%rsp
14023a290:	0f 29 70 b8          	movaps %xmm6,-0x48(%rax)
14023a294:	4c 8b e1             	mov    %rcx,%r12
14023a297:	0f 57 c0             	xorps  %xmm0,%xmm0
14023a29a:	66 0f 7f 45 b0       	movdqa %xmm0,-0x50(%rbp)
14023a29f:	48 8b 09             	mov    (%rcx),%rcx
14023a2a2:	48 8b 01             	mov    (%rcx),%rax
14023a2a5:	48 8b 40 18          	mov    0x18(%rax),%rax
14023a2a9:	ff 15 89 29 8d 00    	call   *0x8d2989(%rip)        # 0x140b0cc38
14023a2af:	83 f8 07             	cmp    $0x7,%eax
14023a2b2:	75 0f                	jne    0x14023a2c3
14023a2b4:	49 8b d4             	mov    %r12,%rdx
14023a2b7:	48 8d 4c 24 30       	lea    0x30(%rsp),%rcx
14023a2bc:	e8 9f 6b df ff       	call   0x140030e60
14023a2c1:	eb 0e                	jmp    0x14023a2d1
14023a2c3:	48 8d 54 24 30       	lea    0x30(%rsp),%rdx
14023a2c8:	49 8b 0c 24          	mov    (%r12),%rcx
14023a2cc:	e8 97 a9 df ff       	call   0x140034c68
14023a2d1:	48 8b 08             	mov    (%rax),%rcx
14023a2d4:	48 8b 81 30 02 00 00 	mov    0x230(%rcx),%rax
14023a2db:	48 85 c0             	test   %rax,%rax
14023a2de:	be 01 00 00 00       	mov    $0x1,%esi
14023a2e3:	74 04                	je     0x14023a2e9
14023a2e5:	f0 01 70 08          	lock add %esi,0x8(%rax)
14023a2e9:	48 8b 81 28 02 00 00 	mov    0x228(%rcx),%rax
14023a2f0:	48 89 45 b0          	mov    %rax,-0x50(%rbp)
14023a2f4:	48 8b 5c 24 38       	mov    0x38(%rsp),%rbx
14023a2f9:	48 8b 81 30 02 00 00 	mov    0x230(%rcx),%rax
14023a300:	48 85 db             	test   %rbx,%rbx
14023a303:	48 89 45 b8          	mov    %rax,-0x48(%rbp)
14023a307:	74 37                	je     0x14023a340
14023a309:	83 c8 ff             	or     $0xffffffff,%eax
14023a30c:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
14023a311:	3b c6                	cmp    %esi,%eax
14023a313:	75 2b                	jne    0x14023a340
14023a315:	48 8b 03             	mov    (%rbx),%rax
14023a318:	48 8b cb             	mov    %rbx,%rcx
14023a31b:	48 8b 00             	mov    (%rax),%rax
14023a31e:	ff 15 14 29 8d 00    	call   *0x8d2914(%rip)        # 0x140b0cc38
14023a324:	83 c8 ff             	or     $0xffffffff,%eax
14023a327:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
14023a32c:	3b c6                	cmp    %esi,%eax
14023a32e:	75 10                	jne    0x14023a340
14023a330:	48 8b 03             	mov    (%rbx),%rax
14023a333:	48 8b cb             	mov    %rbx,%rcx
14023a336:	48 8b 40 08          	mov    0x8(%rax),%rax
14023a33a:	ff 15 f8 28 8d 00    	call   *0x8d28f8(%rip)        # 0x140b0cc38
14023a340:	49 8b 14 24          	mov    (%r12),%rdx
14023a344:	48 81 c2 90 00 00 00 	add    $0x90,%rdx
14023a34b:	48 8d 4c 24 50       	lea    0x50(%rsp),%rcx
14023a350:	e8 af a1 de ff       	call   0x140024504
14023a355:	90                   	nop
14023a356:	49 8b 14 24          	mov    (%r12),%rdx
14023a35a:	48 81 c2 a8 00 00 00 	add    $0xa8,%rdx
14023a361:	48 8d 4d 90          	lea    -0x70(%rbp),%rcx
14023a365:	e8 9a a1 de ff       	call   0x140024504
14023a36a:	90                   	nop
14023a36b:	48 8b 54 24 58       	mov    0x58(%rsp),%rdx
14023a370:	4c 8b c2             	mov    %rdx,%r8
14023a373:	48 8b 4c 24 50       	mov    0x50(%rsp),%rcx
14023a378:	4c 2b c1             	sub    %rcx,%r8
14023a37b:	49 c1 f8 03          	sar    $0x3,%r8
14023a37f:	49 bd b7 6d db b6 6d 	movabs $0x6db6db6db6db6db7,%r13
14023a386:	db b6 6d