1400568ad:	41 8b d6             	mov    %r14d,%edx
1400568b0:	f0 0f c1 53 0c       	lock xadd %edx,0xc(%rbx)
1400568b5:	41 03 d6             	add    %r14d,%edx
1400568b8:	75 10                	jne    0x1400568ca
1400568ba:	48 8b 13             	mov    (%rbx),%rdx
1400568bd:	48 8b cb             	mov    %rbx,%rcx
1400568c0:	48 8b 42 08          	mov    0x8(%rdx),%rax
1400568c4:	ff 15 6e 63 ab 00    	call   *0xab636e(%rip)        # 0x140b0cc38
1400568ca:	40 8a c7             	mov    %dil,%al
1400568cd:	eb 4c                	jmp    0x14005691b
1400568cf:	48 8d 4d cf          	lea    -0x31(%rbp),%rcx
1400568d3:	e8 f8 45 fc ff       	call   0x14001aed0
1400568d8:	49 8b 5f 08          	mov    0x8(%r15),%rbx
1400568dc:	48 85 db             	test   %rbx,%rbx
1400568df:	74 38                	je     0x140056919
1400568e1:	83 cf ff             	or     $0xffffffff,%edi
1400568e4:	8b c7                	mov    %edi,%eax
1400568e6:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1400568eb:	03 c7                	add    %edi,%eax
1400568ed:	75 2a                	jne    0x140056919
1400568ef:	48 8b 03             	mov    (%rbx),%rax
1400568f2:	48 8b cb             	mov    %rbx,%rcx
1400568f5:	48 8b 00             	mov    (%rax),%rax
1400568f8:	ff 15 3a 63 ab 00    	call   *0xab633a(%rip)        # 0x140b0cc38
1400568fe:	8b c7                	mov    %edi,%eax
140056900:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
140056905:	03 c7                	add    %edi,%eax
140056907:	75 10                	jne    0x140056919
140056909:	48 8b 03             	mov    (%rbx),%rax
14005690c:	48 8b cb             	mov    %rbx,%rcx
14005690f:	48 8b 40 08          	mov    0x8(%rax),%rax
140056913:	ff 15 1f 63 ab 00    	call   *0xab631f(%rip)        # 0x140b0cc38
140056919:	32 c0                	xor    %al,%al
14005691b:	4c 8d 9c 24 d0 00 00 	lea    0xd0(%rsp),%r11
140056922:	00
140056923:	49 8b 5b 40          	mov    0x40(%r11),%rbx
140056927:	41 0f 28 73 f0       	movaps -0x10(%r11),%xmm6
14005692c:	41 0f 28 7b e0       	movaps -0x20(%r11),%xmm7
140056931:	45 0f 28 43 d0       	movaps -0x30(%r11),%xmm8
140056936:	45 0f 28 53 c0       	movaps -0x40(%r11),%xmm10
14005693b:	49 8b e3             	mov    %r11,%rsp
14005693e:	41 5f                	pop    %r15
140056940:	41 5e                	pop    %r14
140056942:	41 5d                	pop    %r13
140056944:	41 5c                	pop    %r12
140056946:	5f                   	pop    %rdi
140056947:	5e                   	pop    %rsi
140056948:	5d                   	pop    %rbp
140056949:	c3                   	ret
14005694a:	90                   	nop
14005694b:	90                   	nop
14005694c:	90                   	nop
14005694d:	90                   	nop
14005694e:	90                   	nop
14005694f:	90                   	nop
140056950:	48 8b c4             	mov    %rsp,%rax
140056953:	48 89 50 10          	mov    %rdx,0x10(%rax)
140056957:	48 89 48 08          	mov    %rcx,0x8(%rax)
14005695b:	55                   	push   %rbp
14005695c:	53                   	push   %rbx
14005695d:	56                   	push   %rsi
14005695e:	57                   	push   %rdi
14005695f:	41 54                	push   %r12
140056961:	41 55                	push   %r13
140056963:	41 56                	push   %r14
140056965:	41 57                	push   %r15
140056967:	48 8d 68 a1          	lea    -0x5f(%rax),%rbp
14005696b:	48 81 ec c8 00 00 00 	sub    $0xc8,%rsp
140056972:	0f 29 70 a8          	movaps %xmm6,-0x58(%rax)
140056976:	44 0f 29 48 98       	movaps %xmm9,-0x68(%rax)
14005697b:	44 0f 29 50 88       	movaps %xmm10,-0x78(%rax)
140056980:	48 8b fa             	mov    %rdx,%rdi
140056983:	48 8b ca             	mov    %rdx,%rcx
140056986:	e8 35 e5 ff ff       	call   0x140054ec0
14005698b:	44 0f b6 f8          	movzbl %al,%r15d
14005698f:	48 8b d7             	mov    %rdi,%rdx
140056992:	48 8d 4d c7          	lea    -0x39(%rbp),%rcx
140056996:	e8 f5 0c 00 00       	call   0x140057690
14005699b:	90                   	nop
14005699c:	48 8b 0f             	mov    (%rdi),%rcx
14005699f:	41 be 01 00 00 00    	mov    $0x1,%r14d
1400569a5:	49 b8 b7 6d db b6 6d 	movabs $0x6db6db6db6db6db7,%r8
1400569ac:	db b6 6d
1400569af:	45 33 e4             	xor    %r12d,%r12d
1400569b2:	44 39 a1 88 01 00 00 	cmp    %r12d,0x188(%rcx)
1400569b9:	0f 85 6d 01 00 00    	jne    0x140056b2c
1400569bf:	48 8b 45 cf          	mov    -0x31(%rbp),%rax
1400569c3:	48 8b 55 c7          	mov    -0x39(%rbp),%rdx
1400569c7:	48 2b c2             	sub    %rdx,%rax
1400569ca:	48 c1 f8 02          	sar    $0x2,%rax
1400569ce:	48 83 f8 02          	cmp    $0x2,%rax
1400569d2:	0f 82 b7 00 00 00    	jb     0x140056a8f
1400569d8:	0f 85 b9 00 00 00    	jne    0x140056a97
1400569de:	44 39 22             	cmp    %r12d,(%rdx)
1400569e1:	75 06                	jne    0x1400569e9
1400569e3:	83 7a 04 02          	cmpl   $0x2,0x4(%rdx)
1400569e7:	74 0b                	je     0x1400569f4
1400569e9:	44 39 32             	cmp    %r14d,(%rdx)
1400569ec:	75 48                	jne    0x140056a36
1400569ee:	83 7a 04 03          	cmpl   $0x3,0x4(%rdx)
1400569f2:	75 42                	jne    0x140056a36
1400569f4:	48 8b 81 48 01 00 00 	mov    0x148(%rcx),%rax
1400569fb:	48 2b 81 40 01 00 00 	sub    0x140(%rcx),%rax
140056a02:	48 c1 f8 03          	sar    $0x3,%rax
140056a06:	49 0f af c0          	imul   %r8,%rax
140056a0a:	48 83 f8 02          	cmp    $0x2,%rax
140056a0e:	0f 86 13 01 00 00    	jbe    0x140056b27
140056a14:	48 8b 81 30 01 00 00 	mov    0x130(%rcx),%rax
140056a1b:	48 2b 81 28 01 00 00 	sub    0x128(%rcx),%rax
140056a22:	48 c1 f8 03          	sar    $0x3,%rax
140056a26:	49 0f af c0          	imul   %r8,%rax
140056a2a:	48 83 f8 02          	cmp    $0x2,%rax
140056a2e:	0f 86 f3 00 00 00    	jbe    0x140056b27
140056a34:	eb 59                	jmp    0x140056a8f
140056a36:	48 8b 81 48 01 00 00 	mov    0x148(%rcx),%rax
140056a3d:	48 2b 81 40 01 00 00 	sub    0x140(%rcx),%rax
140056a44:	48 c1 f8 03          	sar    $0x3,%rax
140056a48:	49 0f af c0          	imul   %r8,%rax
140056a4c:	48 83 f8 02          	cmp    $0x2,%rax
140056a50:	0f 86 d1 00 00 00    	jbe    0x140056b27
140056a56:	48 8b 81 30 01 00 00 	mov    0x130(%rcx),%rax
140056a5d:	48 2b 81 28 01 00 00 	sub    0x128(%rcx),%rax
140056a64:	48 c1 f8 03          	sar    $0x3,%rax
140056a68:	49 0f af c0          	imul   %r8,%rax
140056a6c:	48 83 f8 02          	cmp    $0x2,%rax
140056a70:	0f 86 b1 00 00 00    	jbe    0x140056b27
140056a76:	f3 0f 10 0d 9a a7 b5 	movss  0xb5a79a(%rip),%xmm1        # 0x140bb1218
140056a7d:	00
140056a7e:	48 8b cf             	mov    %rdi,%rcx
140056a81:	e8 16 e9 ff ff       	call   0x14005539c
140056a86:	48 85 c0             	test   %rax,%rax
140056a89:	0f 85 98 00 00 00    	jne    0x140056b27
140056a8f:	41 8a dc             	mov    %r12b,%bl
140056a92:	e9 9f 00 00 00       	jmp    0x140056b36
140056a97:	48 8b 81 48 01 00 00 	mov    0x148(%rcx),%rax
140056a9e:	48 2b 81 40 01 00 00 	sub    0x140(%rcx),%rax
140056aa5:	48 c1 f8 03          	sar    $0x3,%rax
140056aa9:	49 0f af c0          	imul   %r8,%rax
140056aad:	48 83 f8 02          	cmp    $0x2,%rax
140056ab1:	76 74                	jbe    0x140056b27
140056ab3:	48 8b 81 30 01 00 00 	mov    0x130(%rcx),%rax
140056aba:	48 2b 81 28 01 00 00 	sub    0x128(%rcx),%rax
140056ac1:	48 c1 f8 03          	sar    $0x3,%rax
140056ac5:	49 0f af c0          	imul   %r8,%rax
140056ac9:	48 83 f8 02          	cmp    $0x2,%rax
140056acd:	76 58                	jbe    0x140056b27
140056acf:	f3 0f 10 0d 41 a7 b5 	movss  0xb5a741(%rip),%xmm1        # 0x140bb1218
140056ad6:	00
140056ad7:	48 8b cf             	mov    %rdi,%rcx
140056ada:	e8 bd e8 ff ff       	call   0x14005539c
140056adf:	48 85 c0             	test   %rax,%rax
140056ae2:	75 43                	jne    0x140056b27
140056ae4:	48 8b 0f             	mov    (%rdi),%rcx
140056ae7:	48 8b 01             	mov    (%rcx),%rax
140056aea:	48 8b 80 a8 00 00 00 	mov    0xa8(%rax),%rax
140056af1:	ff 15 41 61 ab 00    	call   *0xab6141(%rip)        # 0x140b0cc38
140056af7:	f3 0f 10 70 0c       	movss  0xc(%rax),%xmm6
140056afc:	f3 0f 5c 70 04       	subss  0x4(%rax),%xmm6
140056b01:	f3 0f 10 40 08       	movss  0x8(%rax),%xmm0
140056b06:	f3 0f 5c 00          	subss  (%rax),%xmm0
140056b0a:	f3 0f 59 f0          	mulss  %xmm0,%xmm6
140056b0e:	48 8b cf             	mov    %rdi,%rcx
140056b11:	e8 12 eb ff ff       	call   0x140055628
140056b16:	f3 0f 5e c6          	divss  %xmm6,%xmm0
140056b1a:	0f 2f 05 83 a5 b5 00 	comiss 0xb5a583(%rip),%xmm0        # 0x140bb10a4
140056b21:	0f 86 68 ff ff ff    	jbe    0x140056a8f
140056b27:	41 8a de             	mov    %r14b,%bl
140056b2a:	eb 0a                	jmp    0x140056b36
140056b2c:	48 8b cf             	mov    %rdi,%rcx
140056b2f:	e8 00 f1 ff ff       	call   0x140055c34
140056b34:	8a d8                	mov    %al,%bl
140056b36:	48 8b cf             	mov    %rdi,%rcx
140056b39:	e8 ee aa 01 00       	call   0x14007162c
140056b3e:	44 0f 28 c8          	movaps %xmm0,%xmm9
140056b42:	48 8b cf             	mov    %rdi,%rcx
140056b45:	e8 ae ac 01 00       	call   0x1400717f8
140056b4a:	44 0f 28 d0          	movaps %xmm0,%xmm10
140056b4e:	84 db                	test   %bl,%bl
140056b50:	75 6a                	jne    0x140056bbc
140056b52:	48 8b cf             	mov    %rdi,%rcx
140056b55:	e8 f6 50 00 00       	call   0x14005bc50
140056b5a:	84 c0                	test   %al,%al
140056b5c:	75 4d                	jne    0x140056bab
140056b5e:	48 8b 0f             	mov    (%rdi),%rcx
140056b61:	44 38 a1 8d 01 00 00 	cmp    %r12b,0x18d(%rcx)
140056b68:	75 41                	jne    0x140056bab
140056b6a:	49 8b f4             	mov    %r12,%rsi
140056b6d:	48 8b 81 70 01 00 00 	mov    0x170(%rcx),%rax
140056b74:	4c 8b 81 78 01 00 00 	mov    0x178(%rcx),%r8
140056b7b:	eb 13                	jmp    0x140056b90
140056b7d:	48 8d 56 01          	lea    0x1(%rsi),%rdx
140056b81:	44 38 60 20          	cmp    %r12b,0x20(%rax)
140056b85:	48 0f 44 d6          	cmove  %rsi,%rdx
140056b89:	48 8b f2             	mov    %rdx,%rsi
140056b8c:	48 83 c0 38          	add    $0x38,%rax
140056b90:	49 3b c0             	cmp    %r8,%rax
140056b93:	75 e8                	jne    0x140056b7d
140056b95:	48 8b 01             	mov    (%rcx),%rax
140056b98:	48 8b 40 40          	mov    0x40(%rax),%rax
140056b9c:	ff 15 96 60 ab 00    	call   *0xab6096(%rip)        # 0x140b0cc38
140056ba2:	48 8d 4e 01          	lea    0x1(%rsi),%rcx
140056ba6:	48 3b c1             	cmp    %rcx,%rax
140056ba9:	75 11                	jne    0x140056bbc
140056bab:	48 8b cf             	mov    %rdi,%rcx
140056bae:	e8 d9 b0 01 00       	call   0x140071c8c
140056bb3:	0f b6 db             	movzbl %bl,%ebx
140056bb6:	84 c0                	test   %al,%al
140056bb8:	41 0f 45 de          	cmovne %r14d,%ebx
140056bbc:	0f 57 c0             	xorps  %xmm0,%xmm0
140056bbf:	f3 0f 7f 45 87       	movdqu %xmm0,-0x79(%rbp)
140056bc4:	b9 20 00 00 00       	mov    $0x20,%ecx
140056bc9:	ff 15 f9 5c ab 00    	call   *0xab5cf9(%rip)        # 0x140b0c8c8
140056bcf:	48 8b c8             	mov    %rax,%rcx
140056bd2:	48 85 c0             	test   %rax,%rax
140056bd5:	75 07                	jne    0x140056bde
140056bd7:	ff 15 bb 58 ab 00    	call   *0xab58bb(%rip)        # 0x140b0c498
140056bdd:	cc                   	int3
140056bde:	48 89 00             	mov    %rax,(%rax)
140056be1:	48 89 40 08          	mov    %rax,0x8(%rax)
140056be5:	48 89 40 10          	mov    %rax,0x10(%rax)
140056be9:	66 c7 40 18 01 01    	movw   $0x101,0x18(%rax)
140056bef:	48 89 45 87          	mov    %rax,-0x79(%rbp)
140056bf3:	4d 8b ec             	mov    %r12,%r13
140056bf6:	4c 89 65 7f          	mov    %r12,0x7f(%rbp)
140056bfa:	4d 8b f4             	mov    %r12,%r14
140056bfd:	48 8b 17             	mov    (%rdi),%rdx
140056c00:	48 8b 82 18 01 00 00 	mov    0x118(%rdx),%rax
140056c07:	48 2b 82 10 01 00 00 	sub    0x110(%rdx),%rax
140056c0e:	48 c1 f8 03          	sar    $0x3,%rax
140056c12:	49 b9 cd cc cc cc cc 	movabs $0xcccccccccccccccd,%r9
140056c19:	cc cc cc
140056c1c:	49 0f af c1          	imul   %r9,%rax
140056c20:	48 85 c0             	test   %rax,%rax
140056c23:	0f 84 e8 00 00 00    	je     0x140056d11
140056c29:	49 8b f4             	mov    %r12,%rsi
140056c2c:	4c 8b 82 10 01 00 00 	mov    0x110(%rdx),%r8
140056c33:	48 8b 82 18 01 00 00 	mov    0x118(%rdx),%rax
140056c3a:	49 2b c0             	sub    %r8,%rax
140056c3d:	48 c1 f8 03          	sar    $0x3,%rax
140056c41:	49 0f af c1          	imul   %r9,%rax
140056c45:	4c 3b f0             	cmp    %rax,%r14
140056c48:	0f 83 f5 01 00 00    	jae    0x140056e43
140056c4e:	48 8b 41 08          	mov    0x8(%rcx),%rax
140056c52:	48 8b d1             	mov    %rcx,%rdx
140056c55:	44 38 60 19          	cmp    %r12b,0x19(%rax)
140056c59:	75 27                	jne    0x140056c82
140056c5b:	46 8b 4c 06 10       	mov    0x10(%rsi,%r8,1),%r9d
140056c60:	44 39 48 1c          	cmp    %r9d,0x1c(%rax)
140056c64:	73 06                	jae    0x140056c6c
140056c66:	48 8b 40 10          	mov    0x10(%rax),%rax
140056c6a:	eb 06                	jmp    0x140056c72
140056c6c:	48 8b d0             	mov    %rax,%rdx
140056c6f:	48 8b 00             	mov    (%rax),%rax
140056c72:	44 38 60 19          	cmp    %r12b,0x19(%rax)
140056c76:	74 e8                	je     0x140056c60
140056c78:	49 b9 cd cc cc cc cc 	movabs $0xcccccccccccccccd,%r9
140056c7f:	cc cc cc
140056c82:	44 38 62 19          	cmp    %r12b,0x19(%rdx)
140056c86:	75 0a                	jne    0x140056c92
140056c88:	8b 42 1c             	mov    0x1c(%rdx),%eax
140056c8b:	42 39 44 06 10       	cmp    %eax,0x10(%rsi,%r8,1)
140056c90:	73 03                	jae    0x140056c95
140056c92:	48 8b d1             	mov    %rcx,%rdx
140056c95:	48 3b d1             	cmp    %rcx,%rdx
140056c98:	75 4e                	jne    0x140056ce8
140056c9a:	48 8b 07             	mov    (%rdi),%rax
140056c9d:	48 8b 90 10 01 00 00 	mov    0x110(%rax),%rdx
140056ca4:	48 8b 88 18 01 00 00 	mov    0x118(%rax),%rcx
140056cab:	48 2b ca             	sub    %rdx,%rcx
140056cae:	48 c1 f9 03          	sar    $0x3,%rcx
140056cb2:	49 0f af c9          	imul   %r9,%rcx
140056cb6:	4c 3b f1             	cmp    %rcx,%r14
140056cb9:	0f 83 84 01 00 00    	jae    0x140056e43
140056cbf:	4c 8d 42 10          	lea    0x10(%rdx),%r8
140056cc3:	4c 03 c6             	add    %rsi,%r8
140056cc6:	48 8d 55 b7          	lea    -0x49(%rbp),%rdx
140056cca:	48 8d 4d 87          	lea    -0x79(%rbp),%rcx
140056cce:	e8 51 78 00 00       	call   0x14005e524
140056cd3:	49 ff c5             	inc    %r13
140056cd6:	4c 89 6d 7f          	mov    %r13,0x7f(%rbp)
140056cda:	48 8b 4d 87          	mov    -0x79(%rbp),%rcx
140056cde:	49 b9 cd cc cc cc cc 	movabs $0xcccccccccccccccd,%r9
140056ce5:	cc cc cc
140056ce8:	49 ff c6             	inc    %r14
140056ceb:	48 83 c6 28          	add    $0x28,%rsi
140056cef:	48 8b 17             	mov    (%rdi),%rdx
140056cf2:	48 8b 82 18 01 00 00 	mov    0x118(%rdx),%rax
140056cf9:	48 2b 82 10 01 00 00 	sub    0x110(%rdx),%rax
140056d00:	48 c1 f8 03          	sar    $0x3,%rax
140056d04:	49 0f af c1          	imul   %r9,%rax
140056d08:	4c 3b f0             	cmp    %rax,%r14
140056d0b:	0f 82 1b ff ff ff    	jb     0x140056c2c
140056d11:	49 83 fd 02          	cmp    $0x2,%r13
140056d15:	b8 01 00 00 00       	mov    $0x1,%eax
140056d1a:	44 0f 47 f8          	cmova  %eax,%r15d
140056d1e:	44 89 7d 77          	mov    %r15d,0x77(%rbp)
140056d22:	49 8b f4             	mov    %r12,%rsi
140056d25:	4d 8b f4             	mov    %r12,%r14
140056d28:	48 8b 02             	mov    (%rdx),%rax
140056d2b:	48 8b ca             	mov    %rdx,%rcx
140056d2e:	48 8b 40 40          	mov    0x40(%rax),%rax
140056d32:	ff 15 00 5f ab 00    	call   *0xab5f00(%rip)        # 0x140b0cc38
140056d38:	48 85 c0             	test   %rax,%rax
140056d3b:	0f 84 e0 00 00 00    	je     0x140056e21
140056d41:	45 33 ed             	xor    %r13d,%r13d
140056d44:	48 8b 0f             	mov    (%rdi),%rcx
140056d47:	48 8b 01             	mov    (%rcx),%rax
140056d4a:	4d 8b c4             	mov    %r12,%r8
140056d4d:	48 8d 55 b7          	lea    -0x49(%rbp),%rdx
140056d51:	48 8b 40 30          	mov    0x30(%rax),%rax
140056d55:	ff 15 dd 5e ab 00    	call   *0xab5edd(%rip)        # 0x140b0cc38
140056d5b:	90                   	nop
140056d5c:	48 8b 08             	mov    (%rax),%rcx
140056d5f:	48 8b 01             	mov    (%rcx),%rax
140056d62:	48 8b 40 40          	mov    0x40(%rax),%rax
140056d66:	ff 15 cc 5e ab 00    	call   *0xab5ecc(%rip)        # 0x140b0cc38
140056d6c:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
140056d71:	4c 8b 7d bf          	mov    -0x41(%rbp),%r15
140056d75:	4d 85 ff             	test   %r15,%r15
140056d78:	74 3b                	je     0x140056db5
140056d7a:	83 c9 ff             	or     $0xffffffff,%ecx
140056d7d:	f0 41 0f c1 4f 08    	lock xadd %ecx,0x8(%r15)
140056d83:	83 f9 01             	cmp    $0x1,%ecx
140056d86:	75 2d                	jne    0x140056db5
140056d88:	49 8b 17             	mov    (%r15),%rdx
140056d8b:	49 8b cf             	mov    %r15,%rcx
140056d8e:	48 8b 02             	mov    (%rdx),%rax
140056d91:	ff 15 a1 5e ab 00    	call   *0xab5ea1(%rip)        # 0x140b0cc38
140056d97:	83 c8 ff             	or     $0xffffffff,%eax
140056d9a:	f0 41 0f c1 47 0c    	lock xadd %eax,0xc(%r15)
140056da0:	83 f8 01             	cmp    $0x1,%eax
140056da3:	75 10                	jne    0x140056db5
140056da5:	49 8b 07             	mov    (%r15),%rax
140056da8:	49 8b cf             	mov    %r15,%rcx
140056dab:	48 8b 40 08          	mov    0x8(%rax),%rax
140056daf:	ff 15 83 5e ab 00    	call   *0xab5e83(%rip)        # 0x140b0cc38
140056db5:	41 b8 01 00 00 00    	mov    $0x1,%r8d
140056dbb:	48 83 7c 24 20 00    	cmpq   $0x0,0x20(%rsp)
140056dc1:	75 03                	jne    0x140056dc6
140056dc3:	49 03 f0             	add    %r8,%rsi
140056dc6:	48 8b 0f             	mov    (%rdi),%rcx
140056dc9:	48 8b 91 70 01 00 00 	mov    0x170(%rcx),%rdx
140056dd0:	48 8b 81 78 01 00 00 	mov    0x178(%rcx),%rax
140056dd7:	48 2b c2             	sub    %rdx,%rax
140056dda:	48 c1 f8 03          	sar    $0x3,%rax
140056dde:	49 b9 b7 6d db b6 6d 	movabs $0x6db6db6db6db6db7,%r9
140056de5:	db b6 6d
140056de8:	49 0f af c1          	imul   %r9,%rax
140056dec:	4c 3b e0             	cmp    %rax,%r12
140056def:	73 52                	jae    0x140056e43