1400a4e73:	74 09                	je     0x1400a4e7e
1400a4e75:	f0 01 50 08          	lock add %edx,0x8(%rax)
1400a4e79:	48 8b 4c 24 78       	mov    0x78(%rsp),%rcx
1400a4e7e:	49 8b 06             	mov    (%r14),%rax
1400a4e81:	48 89 47 08          	mov    %rax,0x8(%rdi)
1400a4e85:	49 8b 46 08          	mov    0x8(%r14),%rax
1400a4e89:	48 89 47 10          	mov    %rax,0x10(%rdi)
1400a4e8d:	48 8d 05 04 30 a7 00 	lea    0xa73004(%rip),%rax        # 0x140b17e98
1400a4e94:	48 89 07             	mov    %rax,(%rdi)
1400a4e97:	4c 8d 77 18          	lea    0x18(%rdi),%r14
1400a4e9b:	4c 89 74 24 38       	mov    %r14,0x38(%rsp)
1400a4ea0:	49 83 66 38 00       	andq   $0x0,0x38(%r14)
1400a4ea5:	48 85 c9             	test   %rcx,%rcx
1400a4ea8:	74 18                	je     0x1400a4ec2
1400a4eaa:	48 8b 01             	mov    (%rcx),%rax
1400a4ead:	49 8b d6             	mov    %r14,%rdx
1400a4eb0:	48 8b 00             	mov    (%rax),%rax
1400a4eb3:	ff 15 7f 7d a6 00    	call   *0xa67d7f(%rip)        # 0x140b0cc38
1400a4eb9:	49 89 46 38          	mov    %rax,0x38(%r14)
1400a4ebd:	48 8b 4c 24 78       	mov    0x78(%rsp),%rcx
1400a4ec2:	48 85 c9             	test   %rcx,%rcx
1400a4ec5:	74 19                	je     0x1400a4ee0
1400a4ec7:	48 8b 01             	mov    (%rcx),%rax
1400a4eca:	48 8d 54 24 40       	lea    0x40(%rsp),%rdx
1400a4ecf:	48 3b ca             	cmp    %rdx,%rcx
1400a4ed2:	0f 95 c2             	setne  %dl
1400a4ed5:	48 8b 40 20          	mov    0x20(%rax),%rax
1400a4ed9:	ff 15 59 7d a6 00    	call   *0xa67d59(%rip)        # 0x140b0cc38
1400a4edf:	90                   	nop
1400a4ee0:	48 89 3b             	mov    %rdi,(%rbx)
1400a4ee3:	48 89 73 08          	mov    %rsi,0x8(%rbx)
1400a4ee7:	48 8b c3             	mov    %rbx,%rax
1400a4eea:	48 8b 8c 24 80 00 00 	mov    0x80(%rsp),%rcx
1400a4ef1:	00
1400a4ef2:	48 33 cc             	xor    %rsp,%rcx
1400a4ef5:	e8 e6 a6 a4 00       	call   0x140aef5e0
1400a4efa:	48 81 c4 90 00 00 00 	add    $0x90,%rsp
1400a4f01:	41 5f                	pop    %r15
1400a4f03:	41 5e                	pop    %r14
1400a4f05:	5f                   	pop    %rdi
1400a4f06:	5e                   	pop    %rsi
1400a4f07:	5b                   	pop    %rbx
1400a4f08:	c3                   	ret
1400a4f09:	90                   	nop
1400a4f0a:	90                   	nop
1400a4f0b:	90                   	nop
1400a4f0c:	48 89 5c 24 18       	mov    %rbx,0x18(%rsp)
1400a4f11:	56                   	push   %rsi
1400a4f12:	57                   	push   %rdi
1400a4f13:	41 56                	push   %r14
1400a4f15:	48 81 ec 90 00 00 00 	sub    $0x90,%rsp
1400a4f1c:	48 8b 05 1d a1 c1 00 	mov    0xc1a11d(%rip),%rax        # 0x140cbf040
1400a4f23:	48 33 c4             	xor    %rsp,%rax
1400a4f26:	48 89 84 24 80 00 00 	mov    %rax,0x80(%rsp)
1400a4f2d:	00
1400a4f2e:	4c 8b f2             	mov    %rdx,%r14
1400a4f31:	48 8b d9             	mov    %rcx,%rbx
1400a4f34:	48 89 4c 24 20       	mov    %rcx,0x20(%rsp)
1400a4f39:	b9 70 00 00 00       	mov    $0x70,%ecx
1400a4f3e:	ff 15 84 79 a6 00    	call   *0xa67984(%rip)        # 0x140b0c8c8
1400a4f44:	48 8b f0             	mov    %rax,%rsi
1400a4f47:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
1400a4f4c:	48 85 c0             	test   %rax,%rax
1400a4f4f:	75 07                	jne    0x1400a4f58
1400a4f51:	ff 15 41 75 a6 00    	call   *0xa67541(%rip)        # 0x140b0c498
1400a4f57:	90                   	nop
1400a4f58:	ba 01 00 00 00       	mov    $0x1,%edx
1400a4f5d:	89 50 08             	mov    %edx,0x8(%rax)
1400a4f60:	89 50 0c             	mov    %edx,0xc(%rax)
1400a4f63:	48 8d 05 1e 2a a7 00 	lea    0xa72a1e(%rip),%rax        # 0x140b17988
1400a4f6a:	48 89 06             	mov    %rax,(%rsi)
1400a4f6d:	48 8d 7e 10          	lea    0x10(%rsi),%rdi
1400a4f71:	48 89 7c 24 30       	mov    %rdi,0x30(%rsp)
1400a4f76:	48 8d 05 63 29 a7 00 	lea    0xa72963(%rip),%rax        # 0x140b178e0
1400a4f7d:	48 89 44 24 40       	mov    %rax,0x40(%rsp)
1400a4f82:	48 8d 4c 24 40       	lea    0x40(%rsp),%rcx
1400a4f87:	48 89 4c 24 78       	mov    %rcx,0x78(%rsp)
1400a4f8c:	48 8d 05 bd 2e a7 00 	lea    0xa72ebd(%rip),%rax        # 0x140b17e50
1400a4f93:	48 89 07             	mov    %rax,(%rdi)
1400a4f96:	48 83 67 08 00       	andq   $0x0,0x8(%rdi)
1400a4f9b:	48 83 67 10 00       	andq   $0x0,0x10(%rdi)
1400a4fa0:	49 8b 46 08          	mov    0x8(%r14),%rax
1400a4fa4:	48 85 c0             	test   %rax,%rax
1400a4fa7:	74 09                	je     0x1400a4fb2
1400a4fa9:	f0 01 50 08          	lock add %edx,0x8(%rax)
1400a4fad:	48 8b 4c 24 78       	mov    0x78(%rsp),%rcx
1400a4fb2:	49 8b 06             	mov    (%r14),%rax
1400a4fb5:	48 89 47 08          	mov    %rax,0x8(%rdi)
1400a4fb9:	49 8b 46 08          	mov    0x8(%r14),%rax
1400a4fbd:	48 89 47 10          	mov    %rax,0x10(%rdi)
1400a4fc1:	48 8d 05 58 34 a7 00 	lea    0xa73458(%rip),%rax        # 0x140b18420
1400a4fc8:	48 89 07             	mov    %rax,(%rdi)
1400a4fcb:	4c 8d 77 18          	lea    0x18(%rdi),%r14
1400a4fcf:	4c 89 74 24 38       	mov    %r14,0x38(%rsp)
1400a4fd4:	49 83 66 38 00       	andq   $0x0,0x38(%r14)
1400a4fd9:	48 85 c9             	test   %rcx,%rcx
1400a4fdc:	74 18                	je     0x1400a4ff6
1400a4fde:	48 8b 01             	mov    (%rcx),%rax
1400a4fe1:	49 8b d6             	mov    %r14,%rdx
1400a4fe4:	48 8b 00             	mov    (%rax),%rax
1400a4fe7:	ff 15 4b 7c a6 00    	call   *0xa67c4b(%rip)        # 0x140b0cc38
1400a4fed:	49 89 46 38          	mov    %rax,0x38(%r14)
1400a4ff1:	48 8b 4c 24 78       	mov    0x78(%rsp),%rcx
1400a4ff6:	48 83 67 58 00       	andq   $0x0,0x58(%rdi)
1400a4ffb:	48 85 c9             	test   %rcx,%rcx
1400a4ffe:	74 19                	je     0x1400a5019
1400a5000:	48 8b 01             	mov    (%rcx),%rax
1400a5003:	48 8d 54 24 40       	lea    0x40(%rsp),%rdx
1400a5008:	48 3b ca             	cmp    %rdx,%rcx
1400a500b:	0f 95 c2             	setne  %dl
1400a500e:	48 8b 40 20          	mov    0x20(%rax),%rax
1400a5012:	ff 15 20 7c a6 00    	call   *0xa67c20(%rip)        # 0x140b0cc38
1400a5018:	90                   	nop
1400a5019:	48 89 3b             	mov    %rdi,(%rbx)
1400a501c:	48 89 73 08          	mov    %rsi,0x8(%rbx)
1400a5020:	48 8b c3             	mov    %rbx,%rax
1400a5023:	48 8b 8c 24 80 00 00 	mov    0x80(%rsp),%rcx
1400a502a:	00
1400a502b:	48 33 cc             	xor    %rsp,%rcx
1400a502e:	e8 ad a5 a4 00       	call   0x140aef5e0
1400a5033:	48 8b 9c 24 c0 00 00 	mov    0xc0(%rsp),%rbx
1400a503a:	00
1400a503b:	48 81 c4 90 00 00 00 	add    $0x90,%rsp
1400a5042:	41 5e                	pop    %r14
1400a5044:	5f                   	pop    %rdi
1400a5045:	5e                   	pop    %rsi
1400a5046:	c3                   	ret
1400a5047:	90                   	nop
1400a5048:	48 8b c4             	mov    %rsp,%rax
1400a504b:	4c 89 48 20          	mov    %r9,0x20(%rax)
1400a504f:	4c 89 40 18          	mov    %r8,0x18(%rax)
1400a5053:	48 89 50 10          	mov    %rdx,0x10(%rax)
1400a5057:	48 89 48 08          	mov    %rcx,0x8(%rax)
1400a505b:	53                   	push   %rbx
1400a505c:	56                   	push   %rsi
1400a505d:	57                   	push   %rdi
1400a505e:	41 54                	push   %r12
1400a5060:	41 55                	push   %r13
1400a5062:	41 56                	push   %r14
1400a5064:	41 57                	push   %r15
1400a5066:	48 83 ec 40          	sub    $0x40,%rsp
1400a506a:	4d 8b e1             	mov    %r9,%r12
1400a506d:	4d 8b c8             	mov    %r8,%r9
1400a5070:	48 8b da             	mov    %rdx,%rbx
1400a5073:	4c 8d 69 08          	lea    0x8(%rcx),%r13
1400a5077:	4c 89 6c 24 20       	mov    %r13,0x20(%rsp)
1400a507c:	4c 8b 39             	mov    (%rcx),%r15
1400a507f:	49 8b 75 00          	mov    0x0(%r13),%rsi
1400a5083:	48 89 74 24 28       	mov    %rsi,0x28(%rsp)
1400a5088:	48 8b 51 10          	mov    0x10(%rcx),%rdx
1400a508c:	48 8b c2             	mov    %rdx,%rax
1400a508f:	48 2b c6             	sub    %rsi,%rax
1400a5092:	48 c1 f8 04          	sar    $0x4,%rax
1400a5096:	45 33 db             	xor    %r11d,%r11d
1400a5099:	4d 85 e4             	test   %r12,%r12
1400a509c:	0f 84 71 02 00 00    	je     0x1400a5313
1400a50a2:	4c 3b e0             	cmp    %rax,%r12
1400a50a5:	0f 86 78 02 00 00    	jbe    0x1400a5323
1400a50ab:	48 8b ce             	mov    %rsi,%rcx
1400a50ae:	49 2b cf             	sub    %r15,%rcx
1400a50b1:	48 c1 f9 04          	sar    $0x4,%rcx
1400a50b5:	49 ba ff ff ff ff ff 	movabs $0xfffffffffffffff,%r10
1400a50bc:	ff ff 0f
1400a50bf:	49 8b c2             	mov    %r10,%rax
1400a50c2:	48 2b c1             	sub    %rcx,%rax
1400a50c5:	4c 3b e0             	cmp    %rax,%r12
1400a50c8:	0f 87 43 04 00 00    	ja     0x1400a5511
1400a50ce:	4e 8d 04 21          	lea    (%rcx,%r12,1),%r8
1400a50d2:	4c 89 44 24 30       	mov    %r8,0x30(%rsp)
1400a50d7:	49 2b d7             	sub    %r15,%rdx
1400a50da:	48 c1 fa 04          	sar    $0x4,%rdx
1400a50de:	48 8b ca             	mov    %rdx,%rcx
1400a50e1:	48 d1 e9             	shr    $1,%rcx
1400a50e4:	49 8b c2             	mov    %r10,%rax
1400a50e7:	48 2b c1             	sub    %rcx,%rax
1400a50ea:	48 3b d0             	cmp    %rax,%rdx
1400a50ed:	76 05                	jbe    0x1400a50f4
1400a50ef:	4d 8b ea             	mov    %r10,%r13
1400a50f2:	eb 0b                	jmp    0x1400a50ff
1400a50f4:	4c 8d 2c 11          	lea    (%rcx,%rdx,1),%r13
1400a50f8:	4d 3b e8             	cmp    %r8,%r13
1400a50fb:	4d 0f 42 e8          	cmovb  %r8,%r13
1400a50ff:	4c 89 6c 24 20       	mov    %r13,0x20(%rsp)
1400a5104:	4d 3b ea             	cmp    %r10,%r13
1400a5107:	0f 87 0a 04 00 00    	ja     0x1400a5517
1400a510d:	49 8b cd             	mov    %r13,%rcx
1400a5110:	48 c1 e1 04          	shl    $0x4,%rcx
1400a5114:	48 85 c9             	test   %rcx,%rcx
1400a5117:	75 0d                	jne    0x1400a5126
1400a5119:	49 8b fb             	mov    %r11,%rdi
1400a511c:	4c 89 9c 24 88 00 00 	mov    %r11,0x88(%rsp)
1400a5123:	00
1400a5124:	eb 65                	jmp    0x1400a518b
1400a5126:	48 81 f9 00 10 00 00 	cmp    $0x1000,%rcx
1400a512d:	72 34                	jb     0x1400a5163
1400a512f:	48 8d 41 27          	lea    0x27(%rcx),%rax
1400a5133:	48 3b c1             	cmp    %rcx,%rax
1400a5136:	0f 86 db 03 00 00    	jbe    0x1400a5517
1400a513c:	48 8b c8             	mov    %rax,%rcx
1400a513f:	ff 15 83 77 a6 00    	call   *0xa67783(%rip)        # 0x140b0c8c8
1400a5145:	45 33 db             	xor    %r11d,%r11d
1400a5148:	48 85 c0             	test   %rax,%rax
1400a514b:	74 27                	je     0x1400a5174
1400a514d:	48 8d 78 27          	lea    0x27(%rax),%rdi
1400a5151:	48 83 e7 e0          	and    $0xffffffffffffffe0,%rdi
1400a5155:	48 89 47 f8          	mov    %rax,-0x8(%rdi)
1400a5159:	48 89 bc 24 88 00 00 	mov    %rdi,0x88(%rsp)
1400a5160:	00
1400a5161:	eb 20                	jmp    0x1400a5183
1400a5163:	ff 15 5f 77 a6 00    	call   *0xa6775f(%rip)        # 0x140b0c8c8
1400a5169:	48 8b f8             	mov    %rax,%rdi
1400a516c:	45 33 db             	xor    %r11d,%r11d
1400a516f:	48 85 c0             	test   %rax,%rax
1400a5172:	75 07                	jne    0x1400a517b
1400a5174:	ff 15 1e 73 a6 00    	call   *0xa6731e(%rip)        # 0x140b0c498
1400a517a:	cc                   	int3
1400a517b:	48 89 84 24 88 00 00 	mov    %rax,0x88(%rsp)
1400a5182:	00
1400a5183:	4c 8b 8c 24 90 00 00 	mov    0x90(%rsp),%r9
1400a518a:	00
1400a518b:	48 8b c3             	mov    %rbx,%rax
1400a518e:	49 2b c7             	sub    %r15,%rax
1400a5191:	48 c1 f8 04          	sar    $0x4,%rax
1400a5195:	49 8d 0c 04          	lea    (%r12,%rax,1),%rcx
1400a5199:	48 c1 e1 04          	shl    $0x4,%rcx
1400a519d:	48 89 4c 24 28       	mov    %rcx,0x28(%rsp)
1400a51a2:	4c 8d 34 0f          	lea    (%rdi,%rcx,1),%r14
1400a51a6:	4c 89 74 24 38       	mov    %r14,0x38(%rsp)
1400a51ab:	48 c1 e0 04          	shl    $0x4,%rax
1400a51af:	48 03 c7             	add    %rdi,%rax
1400a51b2:	48 89 84 24 98 00 00 	mov    %rax,0x98(%rsp)
1400a51b9:	00
1400a51ba:	4d 8b d4             	mov    %r12,%r10
1400a51bd:	48 8b c8             	mov    %rax,%rcx
1400a51c0:	49 8d 51 08          	lea    0x8(%r9),%rdx
1400a51c4:	4c 8b c0             	mov    %rax,%r8
1400a51c7:	4d 2b c1             	sub    %r9,%r8
1400a51ca:	4c 89 19             	mov    %r11,(%rcx)
1400a51cd:	4d 89 1c 10          	mov    %r11,(%r8,%rdx,1)
1400a51d1:	48 8b 02             	mov    (%rdx),%rax
1400a51d4:	48 85 c0             	test   %rax,%rax
1400a51d7:	74 04                	je     0x1400a51dd
1400a51d9:	f0 ff 40 08          	lock incl 0x8(%rax)
1400a51dd:	48 8b 42 f8          	mov    -0x8(%rdx),%rax
1400a51e1:	48 89 01             	mov    %rax,(%rcx)
1400a51e4:	48 8b 02             	mov    (%rdx),%rax
1400a51e7:	4a 89 04 02          	mov    %rax,(%rdx,%r8,1)
1400a51eb:	48 83 c1 10          	add    $0x10,%rcx
1400a51ef:	48 83 c2 10          	add    $0x10,%rdx
1400a51f3:	49 83 ea 01          	sub    $0x1,%r10
1400a51f7:	75 d1                	jne    0x1400a51ca
1400a51f9:	48 8b d1             	mov    %rcx,%rdx
1400a51fc:	e8 6f 90 f7 ff       	call   0x14001e270
1400a5201:	48 8b 84 24 98 00 00 	mov    0x98(%rsp),%rax
1400a5208:	00
1400a5209:	48 89 84 24 98 00 00 	mov    %rax,0x98(%rsp)
1400a5210:	00
1400a5211:	49 83 fc 01          	cmp    $0x1,%r12
1400a5215:	75 4f                	jne    0x1400a5266
1400a5217:	48 3b de             	cmp    %rsi,%rbx
1400a521a:	75 4a                	jne    0x1400a5266
1400a521c:	48 8b cf             	mov    %rdi,%rcx
1400a521f:	4c 3b fe             	cmp    %rsi,%r15
1400a5222:	74 3a                	je     0x1400a525e
1400a5224:	49 8d 57 08          	lea    0x8(%r15),%rdx
1400a5228:	4c 8b c7             	mov    %rdi,%r8
1400a522b:	4d 2b c7             	sub    %r15,%r8
1400a522e:	45 33 f6             	xor    %r14d,%r14d
1400a5231:	4c 89 31             	mov    %r14,(%rcx)
1400a5234:	4e 89 34 02          	mov    %r14,(%rdx,%r8,1)
1400a5238:	48 8b 42 f8          	mov    -0x8(%rdx),%rax
1400a523c:	48 89 01             	mov    %rax,(%rcx)
1400a523f:	48 8b 02             	mov    (%rdx),%rax
1400a5242:	4a 89 04 02          	mov    %rax,(%rdx,%r8,1)
1400a5246:	4c 89 72 f8          	mov    %r14,-0x8(%rdx)
1400a524a:	4c 89 32             	mov    %r14,(%rdx)
1400a524d:	48 83 c1 10          	add    $0x10,%rcx
1400a5251:	48 8d 52 10          	lea    0x10(%rdx),%rdx
1400a5255:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1400a5259:	48 3b c6             	cmp    %rsi,%rax
1400a525c:	75 d3                	jne    0x1400a5231
1400a525e:	48 8b d1             	mov    %rcx,%rdx
1400a5261:	e9 90 00 00 00       	jmp    0x1400a52f6
1400a5266:	48 8b cf             	mov    %rdi,%rcx
1400a5269:	4c 3b fb             	cmp    %rbx,%r15
1400a526c:	74 35                	je     0x1400a52a3
1400a526e:	4c 2b ff             	sub    %rdi,%r15
1400a5271:	45 33 e4             	xor    %r12d,%r12d
1400a5274:	4c 89 21             	mov    %r12,(%rcx)
1400a5277:	4c 89 61 08          	mov    %r12,0x8(%rcx)
1400a527b:	49 8b 04 0f          	mov    (%r15,%rcx,1),%rax
1400a527f:	48 89 01             	mov    %rax,(%rcx)
1400a5282:	49 8b 44 0f 08       	mov    0x8(%r15,%rcx,1),%rax
1400a5287:	48 89 41 08          	mov    %rax,0x8(%rcx)
1400a528b:	4e 89 24 39          	mov    %r12,(%rcx,%r15,1)
1400a528f:	4e 89 64 39 08       	mov    %r12,0x8(%rcx,%r15,1)
1400a5294:	48 83 c1 10          	add    $0x10,%rcx
1400a5298:	49 8d 04 0f          	lea    (%r15,%rcx,1),%rax
1400a529c:	48 3b c3             	cmp    %rbx,%rax
1400a529f:	75 d3                	jne    0x1400a5274
1400a52a1:	eb 03                	jmp    0x1400a52a6
1400a52a3:	45 33 e4             	xor    %r12d,%r12d
1400a52a6:	48 8b d1             	mov    %rcx,%rdx
1400a52a9:	e8 c2 8f f7 ff       	call   0x14001e270
1400a52ae:	48 89 bc 24 98 00 00 	mov    %rdi,0x98(%rsp)
1400a52b5:	00
1400a52b6:	48 3b de             	cmp    %rsi,%rbx
1400a52b9:	74 35                	je     0x1400a52f0
1400a52bb:	48 2b 5c 24 28       	sub    0x28(%rsp),%rbx
1400a52c0:	48 2b df             	sub    %rdi,%rbx
1400a52c3:	4d 89 26             	mov    %r12,(%r14)
1400a52c6:	4d 89 66 08          	mov    %r12,0x8(%r14)
1400a52ca:	49 8b 04 1e          	mov    (%r14,%rbx,1),%rax
1400a52ce:	49 89 06             	mov    %rax,(%r14)
1400a52d1:	49 8b 44 1e 08       	mov    0x8(%r14,%rbx,1),%rax
1400a52d6:	49 89 46 08          	mov    %rax,0x8(%r14)
1400a52da:	4d 89 24 1e          	mov    %r12,(%r14,%rbx,1)
1400a52de:	4d 89 64 1e 08       	mov    %r12,0x8(%r14,%rbx,1)
1400a52e3:	49 83 c6 10          	add    $0x10,%r14
1400a52e7:	4a 8d 04 33          	lea    (%rbx,%r14,1),%rax
1400a52eb:	48 3b c6             	cmp    %rsi,%rax
1400a52ee:	75 d3                	jne    0x1400a52c3
1400a52f0:	49 8b d6             	mov    %r14,%rdx
1400a52f3:	49 8b ce             	mov    %r14,%rcx
1400a52f6:	e8 75 8f f7 ff       	call   0x14001e270
1400a52fb:	4d 8b cd             	mov    %r13,%r9
1400a52fe:	4c 8b 44 24 30       	mov    0x30(%rsp),%r8
1400a5303:	48 8b d7             	mov    %rdi,%rdx
1400a5306:	48 8b 8c 24 80 00 00 	mov    0x80(%rsp),%rcx
1400a530d:	00
1400a530e:	e8 b5 d2 f7 ff       	call   0x1400225c8
1400a5313:	48 83 c4 40          	add    $0x40,%rsp
1400a5317:	41 5f                	pop    %r15
1400a5319:	41 5e                	pop    %r14
1400a531b:	41 5d                	pop    %r13
1400a531d:	41 5c                	pop    %r12
1400a531f:	5f                   	pop    %rdi
1400a5320:	5e                   	pop    %rsi
1400a5321:	5b                   	pop    %rbx
1400a5322:	c3                   	ret
1400a5323:	48 8b c6             	mov    %rsi,%rax
1400a5326:	48 2b c3             	sub    %rbx,%rax
1400a5329:	48 c1 f8 04          	sar    $0x4,%rax
1400a532d:	4d 8b fc             	mov    %r12,%r15
1400a5330:	49 c1 e7 04          	shl    $0x4,%r15
1400a5334:	4c 3b e0             	cmp    %rax,%r12
1400a5337:	0f 83 21 01 00 00    	jae    0x1400a545e
1400a533d:	48 8b fe             	mov    %rsi,%rdi
1400a5340:	49 2b ff             	sub    %r15,%rdi
1400a5343:	4c 8b f6             	mov    %rsi,%r14