1402f5008:	48 8b 03             	mov    (%rbx),%rax
1402f500b:	48 8b cb             	mov    %rbx,%rcx
1402f500e:	48 8b 40 08          	mov    0x8(%rax),%rax
1402f5012:	ff 15 20 7c 81 00    	call   *0x817c20(%rip)        # 0x140b0cc38
1402f5018:	90                   	nop
1402f5019:	48 8b 5c 24 48       	mov    0x48(%rsp),%rbx
1402f501e:	48 85 db             	test   %rbx,%rbx
1402f5021:	74 36                	je     0x1402f5059
1402f5023:	8b c7                	mov    %edi,%eax
1402f5025:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402f502a:	03 c7                	add    %edi,%eax
1402f502c:	75 2b                	jne    0x1402f5059
1402f502e:	48 8b 03             	mov    (%rbx),%rax
1402f5031:	48 8b cb             	mov    %rbx,%rcx
1402f5034:	48 8b 00             	mov    (%rax),%rax
1402f5037:	ff 15 fb 7b 81 00    	call   *0x817bfb(%rip)        # 0x140b0cc38
1402f503d:	8b c7                	mov    %edi,%eax
1402f503f:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402f5044:	03 c7                	add    %edi,%eax
1402f5046:	75 11                	jne    0x1402f5059
1402f5048:	48 8b 03             	mov    (%rbx),%rax
1402f504b:	48 8b cb             	mov    %rbx,%rcx
1402f504e:	48 8b 40 08          	mov    0x8(%rax),%rax
1402f5052:	ff 15 e0 7b 81 00    	call   *0x817be0(%rip)        # 0x140b0cc38
1402f5058:	90                   	nop
1402f5059:	48 8b 5d c8          	mov    -0x38(%rbp),%rbx
1402f505d:	48 85 db             	test   %rbx,%rbx
1402f5060:	74 35                	je     0x1402f5097
1402f5062:	8b c7                	mov    %edi,%eax
1402f5064:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402f5069:	03 c7                	add    %edi,%eax
1402f506b:	75 2a                	jne    0x1402f5097
1402f506d:	48 8b 03             	mov    (%rbx),%rax
1402f5070:	48 8b cb             	mov    %rbx,%rcx
1402f5073:	48 8b 00             	mov    (%rax),%rax
1402f5076:	ff 15 bc 7b 81 00    	call   *0x817bbc(%rip)        # 0x140b0cc38
1402f507c:	8b c7                	mov    %edi,%eax
1402f507e:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402f5083:	03 c7                	add    %edi,%eax
1402f5085:	75 10                	jne    0x1402f5097
1402f5087:	48 8b 03             	mov    (%rbx),%rax
1402f508a:	48 8b cb             	mov    %rbx,%rcx
1402f508d:	48 8b 40 08          	mov    0x8(%rax),%rax
1402f5091:	ff 15 a1 7b 81 00    	call   *0x817ba1(%rip)        # 0x140b0cc38
1402f5097:	48 8b 4c 24 50       	mov    0x50(%rsp),%rcx
1402f509c:	48 8b 01             	mov    (%rcx),%rax
1402f509f:	48 8d 55 a0          	lea    -0x60(%rbp),%rdx
1402f50a3:	48 8b 00             	mov    (%rax),%rax
1402f50a6:	ff 15 8c 7b 81 00    	call   *0x817b8c(%rip)        # 0x140b0cc38
1402f50ac:	48 8b 4c 24 50       	mov    0x50(%rsp),%rcx
1402f50b1:	48 8b 01             	mov    (%rcx),%rax
1402f50b4:	49 8b 14 24          	mov    (%r12),%rdx
1402f50b8:	f3 0f 10 8a 30 01 00 	movss  0x130(%rdx),%xmm1
1402f50bf:	00
1402f50c0:	48 8b 40 40          	mov    0x40(%rax),%rax
1402f50c4:	ff 15 6e 7b 81 00    	call   *0x817b6e(%rip)        # 0x140b0cc38
1402f50ca:	48 8b 4c 24 50       	mov    0x50(%rsp),%rcx
1402f50cf:	48 8b 01             	mov    (%rcx),%rax
1402f50d2:	49 8b 14 24          	mov    (%r12),%rdx
1402f50d6:	8b 92 38 01 00 00    	mov    0x138(%rdx),%edx
1402f50dc:	48 8b 40 20          	mov    0x20(%rax),%rax
1402f50e0:	ff 15 52 7b 81 00    	call   *0x817b52(%rip)        # 0x140b0cc38
1402f50e6:	48 8b 4c 24 50       	mov    0x50(%rsp),%rcx
1402f50eb:	48 8b 01             	mov    (%rcx),%rax
1402f50ee:	49 8b 14 24          	mov    (%r12),%rdx
1402f50f2:	48 81 c2 50 01 00 00 	add    $0x150,%rdx
1402f50f9:	48 8b 40 30          	mov    0x30(%rax),%rax
1402f50fd:	ff 15 35 7b 81 00    	call   *0x817b35(%rip)        # 0x140b0cc38
1402f5103:	49 8d 4d 08          	lea    0x8(%r13),%rcx
1402f5107:	48 8d 54 24 50       	lea    0x50(%rsp),%rdx
1402f510c:	e8 a7 68 fe ff       	call   0x1402db9b8
1402f5111:	90                   	nop
1402f5112:	48 8b 5c 24 58       	mov    0x58(%rsp),%rbx
1402f5117:	48 85 db             	test   %rbx,%rbx
1402f511a:	74 36                	je     0x1402f5152
1402f511c:	8b c7                	mov    %edi,%eax
1402f511e:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402f5123:	03 c7                	add    %edi,%eax
1402f5125:	75 2b                	jne    0x1402f5152
1402f5127:	48 8b 03             	mov    (%rbx),%rax
1402f512a:	48 8b cb             	mov    %rbx,%rcx
1402f512d:	48 8b 00             	mov    (%rax),%rax
1402f5130:	ff 15 02 7b 81 00    	call   *0x817b02(%rip)        # 0x140b0cc38
1402f5136:	8b c7                	mov    %edi,%eax
1402f5138:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402f513d:	03 c7                	add    %edi,%eax
1402f513f:	75 11                	jne    0x1402f5152
1402f5141:	48 8b 03             	mov    (%rbx),%rax
1402f5144:	48 8b cb             	mov    %rbx,%rcx
1402f5147:	48 8b 40 08          	mov    0x8(%rax),%rax
1402f514b:	ff 15 e7 7a 81 00    	call   *0x817ae7(%rip)        # 0x140b0cc38
1402f5151:	90                   	nop
1402f5152:	48 8b 5d a8          	mov    -0x58(%rbp),%rbx
1402f5156:	48 85 db             	test   %rbx,%rbx
1402f5159:	74 36                	je     0x1402f5191
1402f515b:	8b c7                	mov    %edi,%eax
1402f515d:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402f5162:	03 c7                	add    %edi,%eax
1402f5164:	75 2b                	jne    0x1402f5191
1402f5166:	48 8b 03             	mov    (%rbx),%rax
1402f5169:	48 8b cb             	mov    %rbx,%rcx
1402f516c:	48 8b 00             	mov    (%rax),%rax
1402f516f:	ff 15 c3 7a 81 00    	call   *0x817ac3(%rip)        # 0x140b0cc38
1402f5175:	8b c7                	mov    %edi,%eax
1402f5177:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402f517c:	03 c7                	add    %edi,%eax
1402f517e:	75 11                	jne    0x1402f5191
1402f5180:	48 8b 03             	mov    (%rbx),%rax
1402f5183:	48 8b cb             	mov    %rbx,%rcx
1402f5186:	48 8b 40 08          	mov    0x8(%rax),%rax
1402f518a:	ff 15 a8 7a 81 00    	call   *0x817aa8(%rip)        # 0x140b0cc38
1402f5190:	90                   	nop
1402f5191:	48 8b 5d 88          	mov    -0x78(%rbp),%rbx
1402f5195:	48 85 db             	test   %rbx,%rbx
1402f5198:	74 36                	je     0x1402f51d0
1402f519a:	8b c7                	mov    %edi,%eax
1402f519c:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402f51a1:	03 c7                	add    %edi,%eax
1402f51a3:	75 2b                	jne    0x1402f51d0
1402f51a5:	48 8b 03             	mov    (%rbx),%rax
1402f51a8:	48 8b cb             	mov    %rbx,%rcx
1402f51ab:	48 8b 00             	mov    (%rax),%rax
1402f51ae:	ff 15 84 7a 81 00    	call   *0x817a84(%rip)        # 0x140b0cc38
1402f51b4:	8b c7                	mov    %edi,%eax
1402f51b6:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402f51bb:	03 c7                	add    %edi,%eax
1402f51bd:	75 11                	jne    0x1402f51d0
1402f51bf:	48 8b 03             	mov    (%rbx),%rax
1402f51c2:	48 8b cb             	mov    %rbx,%rcx
1402f51c5:	48 8b 40 08          	mov    0x8(%rax),%rax
1402f51c9:	ff 15 69 7a 81 00    	call   *0x817a69(%rip)        # 0x140b0cc38
1402f51cf:	90                   	nop
1402f51d0:	48 8b 5d 98          	mov    -0x68(%rbp),%rbx
1402f51d4:	48 85 db             	test   %rbx,%rbx
1402f51d7:	74 37                	je     0x1402f5210
1402f51d9:	8b c7                	mov    %edi,%eax
1402f51db:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402f51e0:	03 c7                	add    %edi,%eax
1402f51e2:	75 2c                	jne    0x1402f5210
1402f51e4:	48 8b 03             	mov    (%rbx),%rax
1402f51e7:	48 8b cb             	mov    %rbx,%rcx
1402f51ea:	48 8b 00             	mov    (%rax),%rax
1402f51ed:	ff 15 45 7a 81 00    	call   *0x817a45(%rip)        # 0x140b0cc38
1402f51f3:	8b c7                	mov    %edi,%eax
1402f51f5:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402f51fa:	03 c7                	add    %edi,%eax
1402f51fc:	75 12                	jne    0x1402f5210
1402f51fe:	48 8b 03             	mov    (%rbx),%rax
1402f5201:	48 8b cb             	mov    %rbx,%rcx
1402f5204:	48 8b 40 08          	mov    0x8(%rax),%rax
1402f5208:	ff 15 2a 7a 81 00    	call   *0x817a2a(%rip)        # 0x140b0cc38
1402f520e:	90                   	nop
1402f520f:	90                   	nop
1402f5210:	49 8b 5e 08          	mov    0x8(%r14),%rbx
1402f5214:	48 85 db             	test   %rbx,%rbx
1402f5217:	74 36                	je     0x1402f524f
1402f5219:	8b c7                	mov    %edi,%eax
1402f521b:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402f5220:	03 c7                	add    %edi,%eax
1402f5222:	75 2b                	jne    0x1402f524f
1402f5224:	48 8b 03             	mov    (%rbx),%rax
1402f5227:	48 8b cb             	mov    %rbx,%rcx
1402f522a:	48 8b 00             	mov    (%rax),%rax
1402f522d:	ff 15 05 7a 81 00    	call   *0x817a05(%rip)        # 0x140b0cc38
1402f5233:	8b c7                	mov    %edi,%eax
1402f5235:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402f523a:	03 c7                	add    %edi,%eax
1402f523c:	75 11                	jne    0x1402f524f
1402f523e:	48 8b 03             	mov    (%rbx),%rax
1402f5241:	48 8b cb             	mov    %rbx,%rcx
1402f5244:	48 8b 40 08          	mov    0x8(%rax),%rax
1402f5248:	ff 15 ea 79 81 00    	call   *0x8179ea(%rip)        # 0x140b0cc38
1402f524e:	90                   	nop
1402f524f:	49 8b 5f 08          	mov    0x8(%r15),%rbx
1402f5253:	48 85 db             	test   %rbx,%rbx
1402f5256:	74 35                	je     0x1402f528d
1402f5258:	8b c7                	mov    %edi,%eax
1402f525a:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402f525f:	03 c7                	add    %edi,%eax
1402f5261:	75 2a                	jne    0x1402f528d
1402f5263:	48 8b 03             	mov    (%rbx),%rax
1402f5266:	48 8b cb             	mov    %rbx,%rcx
1402f5269:	48 8b 00             	mov    (%rax),%rax
1402f526c:	ff 15 c6 79 81 00    	call   *0x8179c6(%rip)        # 0x140b0cc38
1402f5272:	8b c7                	mov    %edi,%eax
1402f5274:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402f5279:	03 c7                	add    %edi,%eax
1402f527b:	75 10                	jne    0x1402f528d
1402f527d:	48 8b 03             	mov    (%rbx),%rax
1402f5280:	48 8b cb             	mov    %rbx,%rcx
1402f5283:	48 8b 40 08          	mov    0x8(%rax),%rax
1402f5287:	ff 15 ab 79 81 00    	call   *0x8179ab(%rip)        # 0x140b0cc38
1402f528d:	48 8b 4d 10          	mov    0x10(%rbp),%rcx
1402f5291:	48 33 cc             	xor    %rsp,%rcx
1402f5294:	e8 47 a3 7f 00       	call   0x140aef5e0
1402f5299:	48 81 c4 28 01 00 00 	add    $0x128,%rsp
1402f52a0:	41 5f                	pop    %r15
1402f52a2:	41 5e                	pop    %r14
1402f52a4:	41 5d                	pop    %r13
1402f52a6:	41 5c                	pop    %r12
1402f52a8:	5f                   	pop    %rdi
1402f52a9:	5e                   	pop    %rsi
1402f52aa:	5b                   	pop    %rbx
1402f52ab:	5d                   	pop    %rbp
1402f52ac:	c3                   	ret
1402f52ad:	ba 00 84 04 80       	mov    $0x80048400,%edx
1402f52b2:	48 8d 4d d0          	lea    -0x30(%rbp),%rcx
1402f52b6:	e8 dd 0d 00 00       	call   0x1402f6098
1402f52bb:	48 8d 15 46 12 94 00 	lea    0x941246(%rip),%rdx        # 0x140c36508
1402f52c2:	48 8d 4d d0          	lea    -0x30(%rbp),%rcx
1402f52c6:	e8 b3 b1 7f 00       	call   0x140af047e
1402f52cb:	cc                   	int3
1402f52cc:	90                   	nop
1402f52cd:	90                   	nop
1402f52ce:	90                   	nop
1402f52cf:	90                   	nop
1402f52d0:	40 53                	rex push %rbx
1402f52d2:	48 83 ec 20          	sub    $0x20,%rsp
1402f52d6:	65 48 8b 04 25 58 00 	mov    %gs:0x58,%rax
1402f52dd:	00 00
1402f52df:	48 8b da             	mov    %rdx,%rbx
1402f52e2:	b9 04 00 00 00       	mov    $0x4,%ecx
1402f52e7:	48 8b 00             	mov    (%rax),%rax
1402f52ea:	8b 04 01             	mov    (%rcx,%rax,1),%eax
1402f52ed:	39 05 dd 60 a3 00    	cmp    %eax,0xa360dd(%rip)        # 0x140d2b3d0
1402f52f3:	7f 4f                	jg     0x1402f5344
1402f52f5:	48 8b 5b 08          	mov    0x8(%rbx),%rbx
1402f52f9:	48 85 db             	test   %rbx,%rbx
1402f52fc:	74 39                	je     0x1402f5337
1402f52fe:	83 c8 ff             	or     $0xffffffff,%eax
1402f5301:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402f5306:	83 f8 01             	cmp    $0x1,%eax
1402f5309:	75 2c                	jne    0x1402f5337
1402f530b:	48 8b 03             	mov    (%rbx),%rax
1402f530e:	48 8b cb             	mov    %rbx,%rcx
1402f5311:	48 8b 00             	mov    (%rax),%rax
1402f5314:	ff 15 1e 79 81 00    	call   *0x81791e(%rip)        # 0x140b0cc38
1402f531a:	83 c8 ff             	or     $0xffffffff,%eax
1402f531d:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402f5322:	83 f8 01             	cmp    $0x1,%eax
1402f5325:	75 10                	jne    0x1402f5337
1402f5327:	48 8b 03             	mov    (%rbx),%rax
1402f532a:	48 8b cb             	mov    %rbx,%rcx
1402f532d:	48 8b 40 08          	mov    0x8(%rax),%rax
1402f5331:	ff 15 01 79 81 00    	call   *0x817901(%rip)        # 0x140b0cc38
1402f5337:	48 8d 05 62 a8 9c 00 	lea    0x9ca862(%rip),%rax        # 0x140cbfba0
1402f533e:	48 83 c4 20          	add    $0x20,%rsp
1402f5342:	5b                   	pop    %rbx
1402f5343:	c3                   	ret
1402f5344:	48 8d 0d 85 60 a3 00 	lea    0xa36085(%rip),%rcx        # 0x140d2b3d0
1402f534b:	e8 78 a9 7f 00       	call   0x140aefcc8
1402f5350:	83 3d 79 60 a3 00 ff 	cmpl   $0xffffffff,0xa36079(%rip)        # 0x140d2b3d0
1402f5357:	75 9c                	jne    0x1402f52f5
1402f5359:	48 8d 0d 60 50 81 00 	lea    0x815060(%rip),%rcx        # 0x140b0a3c0
1402f5360:	e8 d7 a5 7f 00       	call   0x140aef93c
1402f5365:	48 8d 0d 64 60 a3 00 	lea    0xa36064(%rip),%rcx        # 0x140d2b3d0
1402f536c:	e8 eb a8 7f 00       	call   0x140aefc5c
1402f5371:	eb 82                	jmp    0x1402f52f5
1402f5373:	cc                   	int3
1402f5374:	90                   	nop
1402f5375:	90                   	nop
1402f5376:	90                   	nop
1402f5377:	90                   	nop
1402f5378:	90                   	nop
1402f5379:	90                   	nop
1402f537a:	90                   	nop
1402f537b:	90                   	nop
1402f537c:	90                   	nop
1402f537d:	90                   	nop
1402f537e:	90                   	nop
1402f537f:	90                   	nop
1402f5380:	48 8b c4             	mov    %rsp,%rax
1402f5383:	48 89 58 08          	mov    %rbx,0x8(%rax)
1402f5387:	56                   	push   %rsi
1402f5388:	57                   	push   %rdi
1402f5389:	41 56                	push   %r14
1402f538b:	48 81 ec 50 01 00 00 	sub    $0x150,%rsp
1402f5392:	0f 29 70 d8          	movaps %xmm6,-0x28(%rax)
1402f5396:	48 8b 05 a3 9c 9c 00 	mov    0x9c9ca3(%rip),%rax        # 0x140cbf040
1402f539d:	48 33 c4             	xor    %rsp,%rax
1402f53a0:	48 89 84 24 30 01 00 	mov    %rax,0x130(%rsp)
1402f53a7:	00
1402f53a8:	49 8b f8             	mov    %r8,%rdi
1402f53ab:	33 db                	xor    %ebx,%ebx
1402f53ad:	48 8b 82 b0 00 00 00 	mov    0xb0(%rdx),%rax
1402f53b4:	48 85 c0             	test   %rax,%rax
1402f53b7:	74 04                	je     0x1402f53bd
1402f53b9:	f0 ff 40 08          	lock incl 0x8(%rax)
1402f53bd:	48 8b b2 b0 00 00 00 	mov    0xb0(%rdx),%rsi
1402f53c4:	4c 8b b2 a8 00 00 00 	mov    0xa8(%rdx),%r14
1402f53cb:	4c 89 74 24 20       	mov    %r14,0x20(%rsp)
1402f53d0:	48 89 74 24 28       	mov    %rsi,0x28(%rsp)
1402f53d5:	48 8b cf             	mov    %rdi,%rcx
1402f53d8:	e8 db 5b fa ff       	call   0x14029afb8
1402f53dd:	3c 64                	cmp    $0x64,%al
1402f53df:	0f 87 e3 02 00 00    	ja     0x1402f56c8
1402f53e5:	0f 57 c0             	xorps  %xmm0,%xmm0
1402f53e8:	66 0f 7f 84 24 80 00 	movdqa %xmm0,0x80(%rsp)
1402f53ef:	00 00
1402f53f1:	48 85 f6             	test   %rsi,%rsi
1402f53f4:	74 09                	je     0x1402f53ff
1402f53f6:	f0 ff 46 08          	lock incl 0x8(%rsi)
1402f53fa:	4c 8b 74 24 20       	mov    0x20(%rsp),%r14
1402f53ff:	0f 28 74 24 20       	movaps 0x20(%rsp),%xmm6
1402f5404:	66 0f 7f b4 24 80 00 	movdqa %xmm6,0x80(%rsp)
1402f540b:	00 00
1402f540d:	48 8d 94 24 80 00 00 	lea    0x80(%rsp),%rdx
1402f5414:	00
1402f5415:	48 8b cf             	mov    %rdi,%rcx
1402f5418:	e8 2b 85 fa ff       	call   0x14029d948
1402f541d:	84 c0                	test   %al,%al
1402f541f:	0f 85 a3 02 00 00    	jne    0x1402f56c8
1402f5425:	49 8b 06             	mov    (%r14),%rax
1402f5428:	48 8d 54 24 60       	lea    0x60(%rsp),%rdx
1402f542d:	49 8b ce             	mov    %r14,%rcx
1402f5430:	48 8b 40 50          	mov    0x50(%rax),%rax
1402f5434:	ff 15 fe 77 81 00    	call   *0x8177fe(%rip)        # 0x140b0cc38
1402f543a:	90                   	nop
1402f543b:	4c 8b 44 24 60       	mov    0x60(%rsp),%r8
1402f5440:	4d 85 c0             	test   %r8,%r8
1402f5443:	0f 84 bf 03 00 00    	je     0x1402f5808
1402f5449:	49 8b 00             	mov    (%r8),%rax
1402f544c:	0f 57 c0             	xorps  %xmm0,%xmm0
1402f544f:	0f 11 44 24 40       	movups %xmm0,0x40(%rsp)
1402f5454:	66 0f 6f 0d 24 c8 8b 	movdqa 0x8bc824(%rip),%xmm1        # 0x140bb1c80
1402f545b:	00
1402f545c:	f3 0f 7f 4c 24 50    	movdqu %xmm1,0x50(%rsp)
1402f5462:	8b 0d 34 48 85 00    	mov    0x854834(%rip),%ecx        # 0x140b49c9c
1402f5468:	66 89 4c 24 40       	mov    %cx,0x40(%rsp)
1402f546d:	8a 0d 2b 48 85 00    	mov    0x85482b(%rip),%cl        # 0x140b49c9e
1402f5473:	88 4c 24 42          	mov    %cl,0x42(%rsp)
1402f5477:	88 5c 24 43          	mov    %bl,0x43(%rsp)
1402f547b:	48 8d 54 24 40       	lea    0x40(%rsp),%rdx
1402f5480:	49 8b c8             	mov    %r8,%rcx
1402f5483:	48 8b 40 40          	mov    0x40(%rax),%rax
1402f5487:	ff 15 ab 77 81 00    	call   *0x8177ab(%rip)        # 0x140b0cc38
1402f548d:	4c 8b c7             	mov    %rdi,%r8
1402f5490:	48 8b d0             	mov    %rax,%rdx
1402f5493:	48 8d 8c 24 80 00 00 	lea    0x80(%rsp),%rcx
1402f549a:	00
1402f549b:	e8 20 29 00 00       	call   0x1402f7dc0
1402f54a0:	90                   	nop
1402f54a1:	48 8b 44 24 58       	mov    0x58(%rsp),%rax
1402f54a6:	48 83 f8 0f          	cmp    $0xf,%rax
1402f54aa:	76 31                	jbe    0x1402f54dd
1402f54ac:	48 ff c0             	inc    %rax
1402f54af:	48 8b 4c 24 40       	mov    0x40(%rsp),%rcx
1402f54b4:	48 8b d1             	mov    %rcx,%rdx
1402f54b7:	48 3d 00 10 00 00    	cmp    $0x1000,%rax
1402f54bd:	72 18                	jb     0x1402f54d7