1400eea17:	41 bd 00 10 00 00    	mov    $0x1000,%r13d
1400eea1d:	66 0f 6f 35 db 16 1d 	movdqa 0x1d16db(%rip),%xmm6        # 0x1402c0100
1400eea24:	00
1400eea25:	33 c9                	xor    %ecx,%ecx
1400eea27:	38 4f 19             	cmp    %cl,0x19(%rdi)
1400eea2a:	0f 84 c4 00 00 00    	je     0x1400eeaf4
1400eea30:	48 8d 47 50          	lea    0x50(%rdi),%rax
1400eea34:	48 39 70 18          	cmp    %rsi,0x18(%rax)
1400eea38:	76 03                	jbe    0x1400eea3d
1400eea3a:	48 8b 00             	mov    (%rax),%rax
1400eea3d:	48 89 9c 24 38 01 00 	mov    %rbx,0x138(%rsp)
1400eea44:	00
1400eea45:	48 89 84 24 40 01 00 	mov    %rax,0x140(%rsp)
1400eea4c:	00
1400eea4d:	66 44 89 a4 24 48 01 	mov    %r12w,0x148(%rsp)
1400eea54:	00 00
1400eea56:	0f 57 c0             	xorps  %xmm0,%xmm0
1400eea59:	0f 11 84 24 50 01 00 	movups %xmm0,0x150(%rsp)
1400eea60:	00
1400eea61:	66 0f 7f b4 24 60 01 	movdqa %xmm6,0x160(%rsp)
1400eea68:	00 00
1400eea6a:	33 c0                	xor    %eax,%eax
1400eea6c:	66 89 84 24 50 01 00 	mov    %ax,0x150(%rsp)
1400eea73:	00
1400eea74:	4c 89 bc 24 30 01 00 	mov    %r15,0x130(%rsp)
1400eea7b:	00
1400eea7c:	48 8d 05 15 60 18 00 	lea    0x186015(%rip),%rax        # 0x140274a98
1400eea83:	48 89 44 24 58       	mov    %rax,0x58(%rsp)
1400eea88:	48 8d 84 24 30 01 00 	lea    0x130(%rsp),%rax
1400eea8f:	00
1400eea90:	48 89 44 24 28       	mov    %rax,0x28(%rsp)
1400eea95:	48 8d 44 24 58       	lea    0x58(%rsp),%rax
1400eea9a:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
1400eea9f:	b9 08 96 49 1e       	mov    $0x1e499608,%ecx
1400eeaa4:	41 b8 0f 00 00 00    	mov    $0xf,%r8d
1400eeaaa:	e8 f9 7e f1 ff       	call   0x1400069a8
1400eeaaf:	48 8b 84 24 68 01 00 	mov    0x168(%rsp),%rax
1400eeab6:	00
1400eeab7:	48 3b c6             	cmp    %rsi,%rax
1400eeaba:	76 36                	jbe    0x1400eeaf2
1400eeabc:	48 8d 04 45 02 00 00 	lea    0x2(,%rax,2),%rax
1400eeac3:	00
1400eeac4:	48 8b 8c 24 50 01 00 	mov    0x150(%rsp),%rcx
1400eeacb:	00
1400eeacc:	48 8b d1             	mov    %rcx,%rdx
1400eeacf:	49 3b c5             	cmp    %r13,%rax
1400eead2:	72 18                	jb     0x1400eeaec
1400eead4:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1400eead8:	48 2b d1             	sub    %rcx,%rdx
1400eeadb:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1400eeadf:	48 83 f8 1f          	cmp    $0x1f,%rax
1400eeae3:	76 07                	jbe    0x1400eeaec
1400eeae5:	ff 15 95 40 12 00    	call   *0x124095(%rip)        # 0x140212b80
1400eeaeb:	cc                   	int3
1400eeaec:	ff 15 4e 40 12 00    	call   *0x12404e(%rip)        # 0x140212b40
1400eeaf2:	33 c9                	xor    %ecx,%ecx
1400eeaf4:	38 4f 18             	cmp    %cl,0x18(%rdi)
1400eeaf7:	0f 85 c2 00 00 00    	jne    0x1400eebbf
1400eeafd:	48 8d 47 50          	lea    0x50(%rdi),%rax
1400eeb01:	48 39 70 18          	cmp    %rsi,0x18(%rax)
1400eeb05:	76 03                	jbe    0x1400eeb0a
1400eeb07:	48 8b 00             	mov    (%rax),%rax
1400eeb0a:	48 89 9c 24 38 01 00 	mov    %rbx,0x138(%rsp)
1400eeb11:	00
1400eeb12:	48 89 84 24 40 01 00 	mov    %rax,0x140(%rsp)
1400eeb19:	00
1400eeb1a:	66 44 89 a4 24 48 01 	mov    %r12w,0x148(%rsp)
1400eeb21:	00 00
1400eeb23:	0f 57 c0             	xorps  %xmm0,%xmm0
1400eeb26:	0f 11 84 24 50 01 00 	movups %xmm0,0x150(%rsp)
1400eeb2d:	00
1400eeb2e:	66 0f 7f b4 24 60 01 	movdqa %xmm6,0x160(%rsp)
1400eeb35:	00 00
1400eeb37:	33 db                	xor    %ebx,%ebx
1400eeb39:	66 89 9c 24 50 01 00 	mov    %bx,0x150(%rsp)
1400eeb40:	00
1400eeb41:	4c 89 bc 24 30 01 00 	mov    %r15,0x130(%rsp)
1400eeb48:	00
1400eeb49:	48 8d 05 a8 66 18 00 	lea    0x1866a8(%rip),%rax        # 0x1402751f8
1400eeb50:	48 89 44 24 58       	mov    %rax,0x58(%rsp)
1400eeb55:	48 8d 84 24 30 01 00 	lea    0x130(%rsp),%rax
1400eeb5c:	00
1400eeb5d:	48 89 44 24 28       	mov    %rax,0x28(%rsp)
1400eeb62:	48 8d 44 24 58       	lea    0x58(%rsp),%rax
1400eeb67:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
1400eeb6c:	b9 07 96 49 1e       	mov    $0x1e499607,%ecx
1400eeb71:	44 8d 43 0f          	lea    0xf(%rbx),%r8d
1400eeb75:	e8 2e 7e f1 ff       	call   0x1400069a8
1400eeb7a:	48 8b 84 24 68 01 00 	mov    0x168(%rsp),%rax
1400eeb81:	00
1400eeb82:	48 3b c6             	cmp    %rsi,%rax
1400eeb85:	76 3a                	jbe    0x1400eebc1
1400eeb87:	48 8d 04 45 02 00 00 	lea    0x2(,%rax,2),%rax
1400eeb8e:	00
1400eeb8f:	48 8b 8c 24 50 01 00 	mov    0x150(%rsp),%rcx
1400eeb96:	00
1400eeb97:	48 8b d1             	mov    %rcx,%rdx
1400eeb9a:	49 3b c5             	cmp    %r13,%rax
1400eeb9d:	72 18                	jb     0x1400eebb7
1400eeb9f:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1400eeba3:	48 2b d1             	sub    %rcx,%rdx
1400eeba6:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1400eebaa:	48 83 f8 1f          	cmp    $0x1f,%rax
1400eebae:	76 07                	jbe    0x1400eebb7
1400eebb0:	ff 15 ca 3f 12 00    	call   *0x123fca(%rip)        # 0x140212b80
1400eebb6:	cc                   	int3
1400eebb7:	ff 15 83 3f 12 00    	call   *0x123f83(%rip)        # 0x140212b40
1400eebbd:	eb 02                	jmp    0x1400eebc1
1400eebbf:	33 db                	xor    %ebx,%ebx
1400eebc1:	38 5f 19             	cmp    %bl,0x19(%rdi)
1400eebc4:	0f 85 ed 15 00 00    	jne    0x1400f01b7
1400eebca:	38 5f 18             	cmp    %bl,0x18(%rdi)
1400eebcd:	0f 84 e4 15 00 00    	je     0x1400f01b7
1400eebd3:	38 5f 1a             	cmp    %bl,0x1a(%rdi)
1400eebd6:	0f 85 db 15 00 00    	jne    0x1400f01b7
1400eebdc:	44 8a e3             	mov    %bl,%r12b
1400eebdf:	88 5c 24 51          	mov    %bl,0x51(%rsp)
1400eebe3:	44 8a fb             	mov    %bl,%r15b
1400eebe6:	89 5c 24 60          	mov    %ebx,0x60(%rsp)
1400eebea:	0f 57 c0             	xorps  %xmm0,%xmm0
1400eebed:	0f 11 84 24 70 01 00 	movups %xmm0,0x170(%rsp)
1400eebf4:	00
1400eebf5:	f3 0f 7f b4 24 80 01 	movdqu %xmm6,0x180(%rsp)
1400eebfc:	00 00
1400eebfe:	33 c0                	xor    %eax,%eax
1400eec00:	66 89 84 24 70 01 00 	mov    %ax,0x170(%rsp)
1400eec07:	00
1400eec08:	48 8b cf             	mov    %rdi,%rcx
1400eec0b:	e8 f4 1b 00 00       	call   0x1400f0804
1400eec10:	48 8d 8f 50 01 00 00 	lea    0x150(%rdi),%rcx
1400eec17:	e8 80 94 fe ff       	call   0x1400d809c
1400eec1c:	48 8d 8f 90 01 00 00 	lea    0x190(%rdi),%rcx
1400eec23:	e8 74 94 fe ff       	call   0x1400d809c
1400eec28:	33 d2                	xor    %edx,%edx
1400eec2a:	48 39 94 24 f0 06 00 	cmp    %rdx,0x6f0(%rsp)
1400eec31:	00
1400eec32:	0f 95 c0             	setne  %al
1400eec35:	88 87 d0 01 00 00    	mov    %al,0x1d0(%rdi)
1400eec3b:	45 84 e4             	test   %r12b,%r12b
1400eec3e:	0f 85 12 0e 00 00    	jne    0x1400efa56
1400eec44:	45 33 ff             	xor    %r15d,%r15d
1400eec47:	4c 89 bc 24 90 01 00 	mov    %r15,0x190(%rsp)
1400eec4e:	00
1400eec4f:	48 8d 8c 24 18 01 00 	lea    0x118(%rsp),%rcx
1400eec56:	00
1400eec57:	e8 bc 84 f3 ff       	call   0x140027118
1400eec5c:	48 8b 08             	mov    (%rax),%rcx
1400eec5f:	48 89 8c 24 98 01 00 	mov    %rcx,0x198(%rsp)
1400eec66:	00
1400eec67:	48 89 8c 24 a0 01 00 	mov    %rcx,0x1a0(%rsp)
1400eec6e:	00
1400eec6f:	c6 84 24 a8 01 00 00 	movb   $0x1,0x1a8(%rsp)
1400eec76:	01
1400eec77:	4c 8d 8c 24 90 01 00 	lea    0x190(%rsp),%r9
1400eec7e:	00
1400eec7f:	8b 15 ef 6c 18 00    	mov    0x186cef(%rip),%edx        # 0x140275974
1400eec85:	48 8d 8c 24 f0 00 00 	lea    0xf0(%rsp),%rcx
1400eec8c:	00
1400eec8d:	e8 c2 52 02 00       	call   0x140113f54
1400eec92:	48 8d 8f f8 00 00 00 	lea    0xf8(%rdi),%rcx
1400eec99:	48 89 8c 24 88 00 00 	mov    %rcx,0x88(%rsp)
1400eeca0:	00
1400eeca1:	44 89 bc 24 90 00 00 	mov    %r15d,0x90(%rsp)
1400eeca8:	00
1400eeca9:	48 8b 09             	mov    (%rcx),%rcx
1400eecac:	ff 15 9e 34 12 00    	call   *0x12349e(%rip)        # 0x140212150
1400eecb2:	f0 ff 84 24 90 00 00 	lock incl 0x90(%rsp)
1400eecb9:	00
1400eecba:	48 8b 4f 78          	mov    0x78(%rdi),%rcx
1400eecbe:	48 85 c9             	test   %rcx,%rcx
1400eecc1:	0f 85 b8 00 00 00    	jne    0x1400eed7f
1400eecc7:	41 b8 5e 76 88 02    	mov    $0x288765e,%r8d
1400eeccd:	49 8b ce             	mov    %r14,%rcx
1400eecd0:	e8 a3 84 ff ff       	call   0x1400e7178
1400eecd5:	eb 19                	jmp    0x1400eecf0
1400eecd7:	f0 ff 8c 24 90 00 00 	lock decl 0x90(%rsp)
1400eecde:	00
1400eecdf:	48 8b 8c 24 88 00 00 	mov    0x88(%rsp),%rcx
1400eece6:	00
1400eece7:	48 8b 09             	mov    (%rcx),%rcx
1400eecea:	ff 15 68 34 12 00    	call   *0x123468(%rip)        # 0x140212158
1400eecf0:	8b 84 24 90 00 00 00 	mov    0x90(%rsp),%eax
1400eecf7:	85 c0                	test   %eax,%eax
1400eecf9:	75 dc                	jne    0x1400eecd7
1400eecfb:	48 8d 8c 24 f0 00 00 	lea    0xf0(%rsp),%rcx
1400eed02:	00
1400eed03:	e8 fc 52 02 00       	call   0x140114004
1400eed08:	48 8b 84 24 88 01 00 	mov    0x188(%rsp),%rax
1400eed0f:	00
1400eed10:	48 3b c6             	cmp    %rsi,%rax
1400eed13:	76 36                	jbe    0x1400eed4b
1400eed15:	48 8d 04 45 02 00 00 	lea    0x2(,%rax,2),%rax
1400eed1c:	00
1400eed1d:	48 8b 8c 24 70 01 00 	mov    0x170(%rsp),%rcx
1400eed24:	00
1400eed25:	48 8b d1             	mov    %rcx,%rdx
1400eed28:	49 3b c5             	cmp    %r13,%rax
1400eed2b:	72 18                	jb     0x1400eed45
1400eed2d:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1400eed31:	48 2b d1             	sub    %rcx,%rdx
1400eed34:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1400eed38:	48 83 f8 1f          	cmp    $0x1f,%rax
1400eed3c:	76 07                	jbe    0x1400eed45
1400eed3e:	ff 15 3c 3e 12 00    	call   *0x123e3c(%rip)        # 0x140212b80
1400eed44:	cc                   	int3
1400eed45:	ff 15 f5 3d 12 00    	call   *0x123df5(%rip)        # 0x140212b40
1400eed4b:	f3 0f 7f b4 24 80 01 	movdqu %xmm6,0x180(%rsp)
1400eed52:	00 00
1400eed54:	66 44 89 bc 24 70 01 	mov    %r15w,0x170(%rsp)
1400eed5b:	00 00
1400eed5d:	48 8d 8c 24 d0 02 00 	lea    0x2d0(%rsp),%rcx
1400eed64:	00
1400eed65:	e8 2e 92 fe ff       	call   0x1400d7f98
1400eed6a:	48 8d 8c 24 c8 00 00 	lea    0xc8(%rsp),%rcx
1400eed71:	00
1400eed72:	e8 8d 52 02 00       	call   0x140114004
1400eed77:	49 8b c6             	mov    %r14,%rax
1400eed7a:	e9 48 15 00 00       	jmp    0x1400f02c7
1400eed7f:	48 83 8f c0 00 00 00 	orq    $0xffffffffffffffff,0xc0(%rdi)
1400eed86:	ff
1400eed87:	4c 89 bf c8 00 00 00 	mov    %r15,0xc8(%rdi)
1400eed8e:	48 8b 9c 24 f0 06 00 	mov    0x6f0(%rsp),%rbx
1400eed95:	00
1400eed96:	b8 ff ff ff ff       	mov    $0xffffffff,%eax
1400eed9b:	48 3b d8             	cmp    %rax,%rbx
1400eed9e:	0f 87 4e 15 00 00    	ja     0x1400f02f2
1400eeda4:	4c 89 7c 24 30       	mov    %r15,0x30(%rsp)
1400eeda9:	89 5c 24 28          	mov    %ebx,0x28(%rsp)
1400eedad:	89 5c 24 20          	mov    %ebx,0x20(%rsp)
1400eedb1:	4c 8b 8c 24 b8 00 00 	mov    0xb8(%rsp),%r9
1400eedb8:	00
1400eedb9:	45 33 c0             	xor    %r8d,%r8d
1400eedbc:	33 d2                	xor    %edx,%edx
1400eedbe:	ff 15 1c 39 24 00    	call   *0x24391c(%rip)        # 0x1403326e0
1400eedc4:	44 8b e0             	mov    %eax,%r12d
1400eedc7:	85 c0                	test   %eax,%eax
1400eedc9:	41 0f 95 c7          	setne  %r15b
1400eedcd:	85 c0                	test   %eax,%eax
1400eedcf:	74 7a                	je     0x1400eee4b
1400eedd1:	01 9f c8 00 00 00    	add    %ebx,0xc8(%rdi)
1400eedd7:	48 8b 8f b0 00 00 00 	mov    0xb0(%rdi),%rcx
1400eedde:	48 85 c9             	test   %rcx,%rcx
1400eede1:	74 04                	je     0x1400eede7
1400eede3:	f0 ff 41 08          	lock incl 0x8(%rcx)
1400eede7:	48 8b 9f b0 00 00 00 	mov    0xb0(%rdi),%rbx
1400eedee:	48 8b 87 a8 00 00 00 	mov    0xa8(%rdi),%rax
1400eedf5:	48 8b 8c 24 f0 06 00 	mov    0x6f0(%rsp),%rcx
1400eedfc:	00
1400eedfd:	01 48 10             	add    %ecx,0x10(%rax)
1400eee00:	48 85 db             	test   %rbx,%rbx
1400eee03:	74 39                	je     0x1400eee3e
1400eee05:	83 c8 ff             	or     $0xffffffff,%eax
1400eee08:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1400eee0d:	83 f8 01             	cmp    $0x1,%eax
1400eee10:	75 2c                	jne    0x1400eee3e
1400eee12:	48 8b 03             	mov    (%rbx),%rax
1400eee15:	48 8b cb             	mov    %rbx,%rcx
1400eee18:	48 8b 00             	mov    (%rax),%rax
1400eee1b:	ff 15 0f 40 12 00    	call   *0x12400f(%rip)        # 0x140212e30
1400eee21:	83 c8 ff             	or     $0xffffffff,%eax
1400eee24:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1400eee29:	83 f8 01             	cmp    $0x1,%eax
1400eee2c:	75 10                	jne    0x1400eee3e
1400eee2e:	48 8b 03             	mov    (%rbx),%rax
1400eee31:	48 8b cb             	mov    %rbx,%rcx
1400eee34:	48 8b 40 08          	mov    0x8(%rax),%rax
1400eee38:	ff 15 f2 3f 12 00    	call   *0x123ff2(%rip)        # 0x140212e30
1400eee3e:	48 8b 9c 24 f0 06 00 	mov    0x6f0(%rsp),%rbx
1400eee45:	00
1400eee46:	e9 0b 01 00 00       	jmp    0x1400eef56
1400eee4b:	ff 15 ff 31 12 00    	call   *0x1231ff(%rip)        # 0x140212050
1400eee51:	89 44 24 60          	mov    %eax,0x60(%rsp)
1400eee55:	48 8d 0d f4 8d 15 00 	lea    0x158df4(%rip),%rcx        # 0x140247c50
1400eee5c:	48 89 8c 24 98 01 00 	mov    %rcx,0x198(%rsp)
1400eee63:	00
1400eee64:	89 84 24 a0 01 00 00 	mov    %eax,0x1a0(%rsp)
1400eee6b:	b8 04 00 00 00       	mov    $0x4,%eax
1400eee70:	66 89 84 24 a4 01 00 	mov    %ax,0x1a4(%rsp)
1400eee77:	00
1400eee78:	0f 57 c0             	xorps  %xmm0,%xmm0
1400eee7b:	0f 11 84 24 a8 01 00 	movups %xmm0,0x1a8(%rsp)
1400eee82:	00
1400eee83:	33 c0                	xor    %eax,%eax
1400eee85:	48 89 84 24 b8 01 00 	mov    %rax,0x1b8(%rsp)
1400eee8c:	00
1400eee8d:	48 89 b4 24 c0 01 00 	mov    %rsi,0x1c0(%rsp)
1400eee94:	00
1400eee95:	66 89 84 24 a8 01 00 	mov    %ax,0x1a8(%rsp)
1400eee9c:	00
1400eee9d:	48 8d 05 74 7b 14 00 	lea    0x147b74(%rip),%rax        # 0x140236a18
1400eeea4:	48 89 84 24 90 01 00 	mov    %rax,0x190(%rsp)
1400eeeab:	00
1400eeeac:	48 8d 8c 24 d0 01 00 	lea    0x1d0(%rsp),%rcx
1400eeeb3:	00
1400eeeb4:	e8 6f 37 ff ff       	call   0x1400e2628
1400eeeb9:	48 8d 0d 18 63 18 00 	lea    0x186318(%rip),%rcx        # 0x1402751d8
1400eeec0:	48 89 4c 24 58       	mov    %rcx,0x58(%rsp)
1400eeec5:	48 8d 8c 24 90 01 00 	lea    0x190(%rsp),%rcx
1400eeecc:	00
1400eeecd:	48 89 4c 24 30       	mov    %rcx,0x30(%rsp)
1400eeed2:	48 89 44 24 28       	mov    %rax,0x28(%rsp)
1400eeed7:	48 8d 44 24 58       	lea    0x58(%rsp),%rax
1400eeedc:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
1400eeee1:	b9 9d 53 05 01       	mov    $0x105539d,%ecx
1400eeee6:	e8 a5 65 00 00       	call   0x1400f5490
1400eeeeb:	48 8d 8c 24 d0 01 00 	lea    0x1d0(%rsp),%rcx
1400eeef2:	00
1400eeef3:	e8 90 8c fe ff       	call   0x1400d7b88
1400eeef8:	48 8b 84 24 c0 01 00 	mov    0x1c0(%rsp),%rax
1400eeeff:	00
1400eef00:	48 3b c6             	cmp    %rsi,%rax
1400eef03:	76 51                	jbe    0x1400eef56
1400eef05:	48 8d 04 45 02 00 00 	lea    0x2(,%rax,2),%rax
1400eef0c:	00
1400eef0d:	48 8b 8c 24 a8 01 00 	mov    0x1a8(%rsp),%rcx
1400eef14:	00
1400eef15:	48 8b d1             	mov    %rcx,%rdx
1400eef18:	49 3b c5             	cmp    %r13,%rax
1400eef1b:	72 18                	jb     0x1400eef35
1400eef1d:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1400eef21:	48 2b d1             	sub    %rcx,%rdx
1400eef24:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1400eef28:	48 83 f8 1f          	cmp    $0x1f,%rax
1400eef2c:	76 07                	jbe    0x1400eef35
1400eef2e:	ff 15 4c 3c 12 00    	call   *0x123c4c(%rip)        # 0x140212b80
1400eef34:	cc                   	int3
1400eef35:	ff 15 05 3c 12 00    	call   *0x123c05(%rip)        # 0x140212b40
1400eef3b:	eb 19                	jmp    0x1400eef56
1400eef3d:	f0 ff 8c 24 90 00 00 	lock decl 0x90(%rsp)
1400eef44:	00
1400eef45:	48 8b 8c 24 88 00 00 	mov    0x88(%rsp),%rcx
1400eef4c:	00
1400eef4d:	48 8b 09             	mov    (%rcx),%rcx
1400eef50:	ff 15 02 32 12 00    	call   *0x123202(%rip)        # 0x140212158
1400eef56:	8b 84 24 90 00 00 00 	mov    0x90(%rsp),%eax
1400eef5d:	85 c0                	test   %eax,%eax
1400eef5f:	75 dc                	jne    0x1400eef3d
1400eef61:	45 85 e4             	test   %r12d,%r12d
1400eef64:	0f 84 24 06 00 00    	je     0x1400ef58e
1400eef6a:	45 33 e4             	xor    %r12d,%r12d
1400eef6d:	4c 39 a4 24 80 00 00 	cmp    %r12,0x80(%rsp)
1400eef74:	00
1400eef75:	0f 84 16 06 00 00    	je     0x1400ef591
1400eef7b:	48 85 db             	test   %rbx,%rbx
1400eef7e:	0f 84 0d 06 00 00    	je     0x1400ef591
1400eef84:	4c 8b bc 24 80 00 00 	mov    0x80(%rsp),%r15
1400eef8b:	00
1400eef8c:	49 8b cf             	mov    %r15,%rcx
1400eef8f:	e8 b4 6a 04 00       	call   0x140135a48
1400eef94:	85 c0                	test   %eax,%eax