140023a46:	48 8b cb             	mov    %rbx,%rcx
140023a49:	e8 b6 b0 00 00       	call   0x14002eb04
140023a4e:	48 8b 5c 24 30       	mov    0x30(%rsp),%rbx
140023a53:	48 83 c4 20          	add    $0x20,%rsp
140023a57:	5f                   	pop    %rdi
140023a58:	c3                   	ret
140023a59:	cc                   	int3
140023a5a:	cc                   	int3
140023a5b:	cc                   	int3
140023a5c:	48 83 ec 28          	sub    $0x28,%rsp
140023a60:	4c 8d 0d 71 cd 01 00 	lea    0x1cd71(%rip),%r9        # 0x1400407d8
140023a67:	b9 01 00 00 00       	mov    $0x1,%ecx
140023a6c:	4c 8d 05 5d cd 01 00 	lea    0x1cd5d(%rip),%r8        # 0x1400407d0
140023a73:	48 8d 15 5e cd 01 00 	lea    0x1cd5e(%rip),%rdx        # 0x1400407d8
140023a7a:	e8 39 f8 ff ff       	call   0x1400232b8
140023a7f:	48 85 c0             	test   %rax,%rax
140023a82:	0f 95 c0             	setne  %al
140023a85:	48 83 c4 28          	add    $0x28,%rsp
140023a89:	c3                   	ret
140023a8a:	cc                   	int3
140023a8b:	cc                   	int3
140023a8c:	48 83 ec 28          	sub    $0x28,%rsp
140023a90:	4c 8d 0d 25 cd 01 00 	lea    0x1cd25(%rip),%r9        # 0x1400407bc
140023a97:	33 c9                	xor    %ecx,%ecx
140023a99:	4c 8d 05 18 cd 01 00 	lea    0x1cd18(%rip),%r8        # 0x1400407b8
140023aa0:	48 8d 15 19 cd 01 00 	lea    0x1cd19(%rip),%rdx        # 0x1400407c0
140023aa7:	e8 0c f8 ff ff       	call   0x1400232b8
140023aac:	4c 8d 0d 25 cd 01 00 	lea    0x1cd25(%rip),%r9        # 0x1400407d8
140023ab3:	b9 01 00 00 00       	mov    $0x1,%ecx
140023ab8:	4c 8d 05 11 cd 01 00 	lea    0x1cd11(%rip),%r8        # 0x1400407d0
140023abf:	48 8d 15 12 cd 01 00 	lea    0x1cd12(%rip),%rdx        # 0x1400407d8
140023ac6:	e8 ed f7 ff ff       	call   0x1400232b8
140023acb:	4c 8d 0d 1e cd 01 00 	lea    0x1cd1e(%rip),%r9        # 0x1400407f0
140023ad2:	b9 02 00 00 00       	mov    $0x2,%ecx
140023ad7:	4c 8d 05 0a cd 01 00 	lea    0x1cd0a(%rip),%r8        # 0x1400407e8
140023ade:	48 8d 15 0b cd 01 00 	lea    0x1cd0b(%rip),%rdx        # 0x1400407f0
140023ae5:	e8 ce f7 ff ff       	call   0x1400232b8
140023aea:	4c 8d 0d 1f cd 01 00 	lea    0x1cd1f(%rip),%r9        # 0x140040810
140023af1:	b9 04 00 00 00       	mov    $0x4,%ecx
140023af6:	4c 8d 05 0b cd 01 00 	lea    0x1cd0b(%rip),%r8        # 0x140040808
140023afd:	48 8d 15 0c cd 01 00 	lea    0x1cd0c(%rip),%rdx        # 0x140040810
140023b04:	e8 af f7 ff ff       	call   0x1400232b8
140023b09:	4c 8d 0d 18 cd 01 00 	lea    0x1cd18(%rip),%r9        # 0x140040828
140023b10:	b9 08 00 00 00       	mov    $0x8,%ecx
140023b15:	4c 8d 05 04 cd 01 00 	lea    0x1cd04(%rip),%r8        # 0x140040820
140023b1c:	48 8d 15 05 cd 01 00 	lea    0x1cd05(%rip),%rdx        # 0x140040828
140023b23:	e8 90 f7 ff ff       	call   0x1400232b8
140023b28:	4c 8d 0d 11 cd 01 00 	lea    0x1cd11(%rip),%r9        # 0x140040840
140023b2f:	b9 0b 00 00 00       	mov    $0xb,%ecx
140023b34:	4c 8d 05 fd cc 01 00 	lea    0x1ccfd(%rip),%r8        # 0x140040838
140023b3b:	48 8d 15 fe cc 01 00 	lea    0x1ccfe(%rip),%rdx        # 0x140040840
140023b42:	e8 71 f7 ff ff       	call   0x1400232b8
140023b47:	4c 8d 0d 0a cd 01 00 	lea    0x1cd0a(%rip),%r9        # 0x140040858
140023b4e:	b9 0c 00 00 00       	mov    $0xc,%ecx
140023b53:	4c 8d 05 f6 cc 01 00 	lea    0x1ccf6(%rip),%r8        # 0x140040850
140023b5a:	48 8d 15 f7 cc 01 00 	lea    0x1ccf7(%rip),%rdx        # 0x140040858
140023b61:	e8 52 f7 ff ff       	call   0x1400232b8
140023b66:	4c 8d 0d 1b cd 01 00 	lea    0x1cd1b(%rip),%r9        # 0x140040888
140023b6d:	b9 10 00 00 00       	mov    $0x10,%ecx
140023b72:	4c 8d 05 07 cd 01 00 	lea    0x1cd07(%rip),%r8        # 0x140040880
140023b79:	48 8d 15 08 cd 01 00 	lea    0x1cd08(%rip),%rdx        # 0x140040888
140023b80:	e8 33 f7 ff ff       	call   0x1400232b8
140023b85:	4c 8d 0d 1c cd 01 00 	lea    0x1cd1c(%rip),%r9        # 0x1400408a8
140023b8c:	b9 11 00 00 00       	mov    $0x11,%ecx
140023b91:	4c 8d 05 08 cd 01 00 	lea    0x1cd08(%rip),%r8        # 0x1400408a0
140023b98:	48 8d 15 09 cd 01 00 	lea    0x1cd09(%rip),%rdx        # 0x1400408a8
140023b9f:	e8 14 f7 ff ff       	call   0x1400232b8
140023ba4:	4c 8d 0d 15 cd 01 00 	lea    0x1cd15(%rip),%r9        # 0x1400408c0
140023bab:	b9 12 00 00 00       	mov    $0x12,%ecx
140023bb0:	4c 8d 05 01 cd 01 00 	lea    0x1cd01(%rip),%r8        # 0x1400408b8
140023bb7:	48 8d 15 02 cd 01 00 	lea    0x1cd02(%rip),%rdx        # 0x1400408c0
140023bbe:	e8 f5 f6 ff ff       	call   0x1400232b8
140023bc3:	4c 8d 0d 16 cd 01 00 	lea    0x1cd16(%rip),%r9        # 0x1400408e0
140023bca:	b9 13 00 00 00       	mov    $0x13,%ecx
140023bcf:	4c 8d 05 02 cd 01 00 	lea    0x1cd02(%rip),%r8        # 0x1400408d8
140023bd6:	48 8d 15 03 cd 01 00 	lea    0x1cd03(%rip),%rdx        # 0x1400408e0
140023bdd:	48 83 c4 28          	add    $0x28,%rsp
140023be1:	e9 d2 f6 ff ff       	jmp    0x1400232b8
140023be6:	cc                   	int3
140023be7:	cc                   	int3
140023be8:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140023bed:	48 8b 05 cc a5 02 00 	mov    0x2a5cc(%rip),%rax        # 0x14004e1c0
140023bf4:	48 8d 3d c5 e9 02 00 	lea    0x2e9c5(%rip),%rdi        # 0x1400525c0
140023bfb:	b9 1f 00 00 00       	mov    $0x1f,%ecx
140023c00:	f3 48 ab             	rep stos %rax,%es:(%rdi)
140023c03:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
140023c08:	b0 01                	mov    $0x1,%al
140023c0a:	c3                   	ret
140023c0b:	cc                   	int3
140023c0c:	40 53                	rex push %rbx
140023c0e:	48 83 ec 20          	sub    $0x20,%rsp
140023c12:	84 c9                	test   %cl,%cl
140023c14:	75 2f                	jne    0x140023c45
140023c16:	48 8d 1d f3 e8 02 00 	lea    0x2e8f3(%rip),%rbx        # 0x140052510
140023c1d:	48 8b 0b             	mov    (%rbx),%rcx
140023c20:	48 85 c9             	test   %rcx,%rcx
140023c23:	74 10                	je     0x140023c35
140023c25:	48 83 f9 ff          	cmp    $0xffffffffffffffff,%rcx
140023c29:	74 06                	je     0x140023c31
140023c2b:	ff 15 47 86 01 00    	call   *0x18647(%rip)        # 0x14003c278
140023c31:	48 83 23 00          	andq   $0x0,(%rbx)
140023c35:	48 83 c3 08          	add    $0x8,%rbx
140023c39:	48 8d 05 78 e9 02 00 	lea    0x2e978(%rip),%rax        # 0x1400525b8
140023c40:	48 3b d8             	cmp    %rax,%rbx
140023c43:	75 d8                	jne    0x140023c1d
140023c45:	b0 01                	mov    $0x1,%al
140023c47:	48 83 c4 20          	add    $0x20,%rsp
140023c4b:	5b                   	pop    %rbx
140023c4c:	c3                   	ret
140023c4d:	cc                   	int3
140023c4e:	cc                   	int3
140023c4f:	cc                   	int3
140023c50:	48 89 5c 24 08       	mov    %rbx,0x8(%rsp)
140023c55:	48 89 6c 24 10       	mov    %rbp,0x10(%rsp)
140023c5a:	48 89 74 24 18       	mov    %rsi,0x18(%rsp)
140023c5f:	57                   	push   %rdi
140023c60:	48 83 ec 50          	sub    $0x50,%rsp
140023c64:	49 63 d9             	movslq %r9d,%rbx
140023c67:	49 8b f8             	mov    %r8,%rdi
140023c6a:	8b f2                	mov    %edx,%esi
140023c6c:	48 8b e9             	mov    %rcx,%rbp
140023c6f:	45 85 c9             	test   %r9d,%r9d
140023c72:	7e 14                	jle    0x140023c88
140023c74:	48 8b d3             	mov    %rbx,%rdx
140023c77:	49 8b c8             	mov    %r8,%rcx
140023c7a:	e8 cd d5 ff ff       	call   0x14002124c
140023c7f:	3b c3                	cmp    %ebx,%eax
140023c81:	8d 58 01             	lea    0x1(%rax),%ebx
140023c84:	7c 02                	jl     0x140023c88
140023c86:	8b d8                	mov    %eax,%ebx
140023c88:	48 83 64 24 40 00    	andq   $0x0,0x40(%rsp)
140023c8e:	44 8b cb             	mov    %ebx,%r9d
140023c91:	48 83 64 24 38 00    	andq   $0x0,0x38(%rsp)
140023c97:	4c 8b c7             	mov    %rdi,%r8
140023c9a:	48 83 64 24 30 00    	andq   $0x0,0x30(%rsp)
140023ca0:	8b d6                	mov    %esi,%edx
140023ca2:	8b 84 24 88 00 00 00 	mov    0x88(%rsp),%eax
140023ca9:	48 8b cd             	mov    %rbp,%rcx
140023cac:	89 44 24 28          	mov    %eax,0x28(%rsp)
140023cb0:	48 8b 84 24 80 00 00 	mov    0x80(%rsp),%rax
140023cb7:	00
140023cb8:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
140023cbd:	e8 4e fc ff ff       	call   0x140023910
140023cc2:	48 8b 5c 24 60       	mov    0x60(%rsp),%rbx
140023cc7:	48 8b 6c 24 68       	mov    0x68(%rsp),%rbp
140023ccc:	48 8b 74 24 70       	mov    0x70(%rsp),%rsi
140023cd1:	48 83 c4 50          	add    $0x50,%rsp
140023cd5:	5f                   	pop    %rdi
140023cd6:	c3                   	ret
140023cd7:	cc                   	int3
140023cd8:	48 b8 80 70 00 00 80 	movabs $0x708000007080,%rax
140023cdf:	70 00 00
140023ce2:	89 05 d8 e9 02 00    	mov    %eax,0x2e9d8(%rip)        # 0x1400526c0
140023ce8:	48 b8 01 00 00 00 01 	movabs $0x100000001,%rax
140023cef:	00 00 00
140023cf2:	89 05 cc e9 02 00    	mov    %eax,0x2e9cc(%rip)        # 0x1400526c4
140023cf8:	48 b8 f0 f1 ff ff f0 	movabs $0xfffff1f0fffff1f0,%rax
140023cff:	f1 ff ff
140023d02:	89 05 c0 e9 02 00    	mov    %eax,0x2e9c0(%rip)        # 0x1400526c8
140023d08:	48 8d 05 d1 a9 02 00 	lea    0x2a9d1(%rip),%rax        # 0x14004e6e0
140023d0f:	48 89 05 ba e9 02 00 	mov    %rax,0x2e9ba(%rip)        # 0x1400526d0
140023d16:	48 8d 05 d3 a9 02 00 	lea    0x2a9d3(%rip),%rax        # 0x14004e6f0
140023d1d:	48 89 05 b4 e9 02 00 	mov    %rax,0x2e9b4(%rip)        # 0x1400526d8
140023d24:	33 c0                	xor    %eax,%eax
140023d26:	c3                   	ret
140023d27:	cc                   	int3
140023d28:	48 8d 05 95 e9 02 00 	lea    0x2e995(%rip),%rax        # 0x1400526c4
140023d2f:	c3                   	ret
140023d30:	48 8d 05 91 e9 02 00 	lea    0x2e991(%rip),%rax        # 0x1400526c8
140023d37:	c3                   	ret
140023d38:	48 8d 05 81 e9 02 00 	lea    0x2e981(%rip),%rax        # 0x1400526c0
140023d3f:	c3                   	ret
140023d40:	48 8b 05 89 e9 02 00 	mov    0x2e989(%rip),%rax        # 0x1400526d0
140023d47:	c3                   	ret
140023d48:	48 8b 05 89 e9 02 00 	mov    0x2e989(%rip),%rax        # 0x1400526d8
140023d4f:	c3                   	ret
140023d50:	48 83 ec 28          	sub    $0x28,%rsp
140023d54:	48 85 c9             	test   %rcx,%rcx
140023d57:	75 17                	jne    0x140023d70
140023d59:	e8 7e d3 ff ff       	call   0x1400210dc
140023d5e:	c7 00 16 00 00 00    	movl   $0x16,(%rax)
140023d64:	e8 eb b1 fe ff       	call   0x14000ef54
140023d69:	b8 16 00 00 00       	mov    $0x16,%eax
140023d6e:	eb 0a                	jmp    0x140023d7a
140023d70:	8b 05 4e e9 02 00    	mov    0x2e94e(%rip),%eax        # 0x1400526c4
140023d76:	89 01                	mov    %eax,(%rcx)
140023d78:	33 c0                	xor    %eax,%eax
140023d7a:	48 83 c4 28          	add    $0x28,%rsp
140023d7e:	c3                   	ret
140023d7f:	cc                   	int3
140023d80:	48 83 ec 28          	sub    $0x28,%rsp
140023d84:	48 85 c9             	test   %rcx,%rcx
140023d87:	75 17                	jne    0x140023da0
140023d89:	e8 4e d3 ff ff       	call   0x1400210dc
140023d8e:	c7 00 16 00 00 00    	movl   $0x16,(%rax)
140023d94:	e8 bb b1 fe ff       	call   0x14000ef54
140023d99:	b8 16 00 00 00       	mov    $0x16,%eax
140023d9e:	eb 0a                	jmp    0x140023daa
140023da0:	8b 05 22 e9 02 00    	mov    0x2e922(%rip),%eax        # 0x1400526c8
140023da6:	89 01                	mov    %eax,(%rcx)
140023da8:	33 c0                	xor    %eax,%eax
140023daa:	48 83 c4 28          	add    $0x28,%rsp
140023dae:	c3                   	ret
140023daf:	cc                   	int3
140023db0:	48 83 ec 28          	sub    $0x28,%rsp
140023db4:	48 85 c9             	test   %rcx,%rcx
140023db7:	75 17                	jne    0x140023dd0
140023db9:	e8 1e d3 ff ff       	call   0x1400210dc
140023dbe:	c7 00 16 00 00 00    	movl   $0x16,(%rax)
140023dc4:	e8 8b b1 fe ff       	call   0x14000ef54
140023dc9:	b8 16 00 00 00       	mov    $0x16,%eax
140023dce:	eb 0a                	jmp    0x140023dda
140023dd0:	8b 05 ea e8 02 00    	mov    0x2e8ea(%rip),%eax        # 0x1400526c0
140023dd6:	89 01                	mov    %eax,(%rcx)
140023dd8:	33 c0                	xor    %eax,%eax
140023dda:	48 83 c4 28          	add    $0x28,%rsp
140023dde:	c3                   	ret
140023ddf:	cc                   	int3
140023de0:	8b c1                	mov    %ecx,%eax
140023de2:	44 8b c1             	mov    %ecx,%r8d
140023de5:	25 03 00 00 80       	and    $0x80000003,%eax
140023dea:	7d 07                	jge    0x140023df3
140023dec:	ff c8                	dec    %eax
140023dee:	83 c8 fc             	or     $0xfffffffc,%eax
140023df1:	ff c0                	inc    %eax
140023df3:	41 b9 1f 85 eb 51    	mov    $0x51eb851f,%r9d
140023df9:	85 c0                	test   %eax,%eax
140023dfb:	75 1b                	jne    0x140023e18
140023dfd:	41 8b c1             	mov    %r9d,%eax
140023e00:	41 f7 e8             	imul   %r8d
140023e03:	c1 fa 05             	sar    $0x5,%edx
140023e06:	8b ca                	mov    %edx,%ecx
140023e08:	c1 e9 1f             	shr    $0x1f,%ecx
140023e0b:	03 d1                	add    %ecx,%edx
140023e0d:	6b d2 64             	imul   $0x64,%edx,%edx
140023e10:	44 3b c2             	cmp    %edx,%r8d
140023e13:	74 03                	je     0x140023e18
140023e15:	b0 01                	mov    $0x1,%al
140023e17:	c3                   	ret
140023e18:	41 8d 88 6c 07 00 00 	lea    0x76c(%r8),%ecx
140023e1f:	41 8b c1             	mov    %r9d,%eax
140023e22:	f7 e9                	imul   %ecx
140023e24:	c1 fa 07             	sar    $0x7,%edx
140023e27:	8b c2                	mov    %edx,%eax
140023e29:	c1 e8 1f             	shr    $0x1f,%eax
140023e2c:	03 d0                	add    %eax,%edx
140023e2e:	69 c2 90 01 00 00    	imul   $0x190,%edx,%eax
140023e34:	3b c8                	cmp    %eax,%ecx
140023e36:	0f 94 c0             	sete   %al
140023e39:	c3                   	ret
140023e3a:	cc                   	int3
140023e3b:	cc                   	int3
140023e3c:	48 89 5c 24 10       	mov    %rbx,0x10(%rsp)
140023e41:	57                   	push   %rdi
140023e42:	48 83 ec 20          	sub    $0x20,%rsp
140023e46:	48 8b fa             	mov    %rdx,%rdi
140023e49:	48 8b d9             	mov    %rcx,%rbx
140023e4c:	48 85 c9             	test   %rcx,%rcx
140023e4f:	75 18                	jne    0x140023e69
140023e51:	e8 86 d2 ff ff       	call   0x1400210dc
140023e56:	bb 16 00 00 00       	mov    $0x16,%ebx
140023e5b:	89 18                	mov    %ebx,(%rax)
140023e5d:	e8 f2 b0 fe ff       	call   0x14000ef54
140023e62:	8b c3                	mov    %ebx,%eax
140023e64:	e9 60 01 00 00       	jmp    0x140023fc9
140023e69:	66 0f 6f 05 bf 8f 01 	movdqa 0x18fbf(%rip),%xmm0        # 0x14003ce30
140023e70:	00
140023e71:	0f 11 01             	movups %xmm0,(%rcx)
140023e74:	0f 11 41 10          	movups %xmm0,0x10(%rcx)
140023e78:	66 0f 7e 41 20       	movd   %xmm0,0x20(%rcx)
140023e7d:	48 85 ff             	test   %rdi,%rdi
140023e80:	74 cf                	je     0x140023e51
140023e82:	48 8b 02             	mov    (%rdx),%rax
140023e85:	48 89 44 24 40       	mov    %rax,0x40(%rsp)
140023e8a:	48 3d 40 57 ff ff    	cmp    $0xffffffffffff5740,%rax
140023e90:	7d 0e                	jge    0x140023ea0
140023e92:	e8 45 d2 ff ff       	call   0x1400210dc
140023e97:	bb 16 00 00 00       	mov    $0x16,%ebx
140023e9c:	89 18                	mov    %ebx,(%rax)
140023e9e:	eb c2                	jmp    0x140023e62
140023ea0:	48 b9 df ef 58 93 07 	movabs $0x79358efdf,%rcx
140023ea7:	00 00 00
140023eaa:	48 3b c1             	cmp    %rcx,%rax
140023ead:	7f e3                	jg     0x140023e92
140023eaf:	48 8d 54 24 30       	lea    0x30(%rsp),%rdx
140023eb4:	c6 44 24 30 00       	movb   $0x0,0x30(%rsp)
140023eb9:	48 8d 4c 24 40       	lea    0x40(%rsp),%rcx
140023ebe:	e8 11 01 00 00       	call   0x140023fd4
140023ec3:	4c 8b 44 24 40       	mov    0x40(%rsp),%r8
140023ec8:	4c 8d 15 e9 0d 02 00 	lea    0x20de9(%rip),%r10        # 0x140044cb8
140023ecf:	89 43 14             	mov    %eax,0x14(%rbx)
140023ed2:	49 bb 57 29 51 ce a0 	movabs $0x1845c8a0ce512957,%r11
140023ed9:	c8 45 18
140023edc:	49 8b c3             	mov    %r11,%rax
140023edf:	41 b9 01 00 00 00    	mov    $0x1,%r9d
140023ee5:	49 f7 e8             	imul   %r8
140023ee8:	48 c1 fa 0d          	sar    $0xd,%rdx
140023eec:	48 8b c2             	mov    %rdx,%rax
140023eef:	48 c1 e8 3f          	shr    $0x3f,%rax
140023ef3:	48 03 d0             	add    %rax,%rdx
140023ef6:	48 63 c2             	movslq %edx,%rax
140023ef9:	48 69 c8 80 ae fe ff 	imul   $0xfffffffffffeae80,%rax,%rcx
140023f00:	48 8d 05 e9 0d 02 00 	lea    0x20de9(%rip),%rax        # 0x140044cf0
140023f07:	89 53 1c             	mov    %edx,0x1c(%rbx)
140023f0a:	4c 03 c1             	add    %rcx,%r8
140023f0d:	80 7c 24 30 00       	cmpb   $0x0,0x30(%rsp)
140023f12:	4c 0f 45 d0          	cmovne %rax,%r10
140023f16:	49 8d 4a 04          	lea    0x4(%r10),%rcx
140023f1a:	eb 07                	jmp    0x140023f23
140023f1c:	41 ff c1             	inc    %r9d
140023f1f:	48 8d 49 04          	lea    0x4(%rcx),%rcx
140023f23:	39 11                	cmp    %edx,(%rcx)
140023f25:	7c f5                	jl     0x140023f1c
140023f27:	41 8d 49 ff          	lea    -0x1(%r9),%ecx
140023f2b:	49 8b c3             	mov    %r11,%rax
140023f2e:	89 4b 10             	mov    %ecx,0x10(%rbx)
140023f31:	49 63 c9             	movslq %r9d,%rcx
140023f34:	41 2b 54 8a fc       	sub    -0x4(%r10,%rcx,4),%edx
140023f39:	89 53 0c             	mov    %edx,0xc(%rbx)
140023f3c:	48 f7 2f             	imulq  (%rdi)
140023f3f:	83 63 20 00          	andl   $0x0,0x20(%rbx)
140023f43:	48 8b ca             	mov    %rdx,%rcx
140023f46:	48 c1 f9 0d          	sar    $0xd,%rcx
140023f4a:	48 8b c1             	mov    %rcx,%rax
140023f4d:	48 c1 e8 3f          	shr    $0x3f,%rax
140023f51:	48 03 c8             	add    %rax,%rcx
140023f54:	b8 93 24 49 92       	mov    $0x92492493,%eax
140023f59:	83 c1 04             	add    $0x4,%ecx
140023f5c:	f7 e9                	imul   %ecx
140023f5e:	03 d1                	add    %ecx,%edx
140023f60:	c1 fa 02             	sar    $0x2,%edx
140023f63:	8b c2                	mov    %edx,%eax
140023f65:	c1 e8 1f             	shr    $0x1f,%eax
140023f68:	03 d0                	add    %eax,%edx
140023f6a:	6b c2 07             	imul   $0x7,%edx,%eax
140023f6d:	2b c8                	sub    %eax,%ecx
140023f6f:	48 b8 05 7c f3 6a e2 	movabs $0x48d159e26af37c05,%rax
140023f76:	59 d1 48
140023f79:	49 f7 e8             	imul   %r8
140023f7c:	89 4b 18             	mov    %ecx,0x18(%rbx)
140023f7f:	48 c1 fa 0a          	sar    $0xa,%rdx
140023f83:	48 8b c2             	mov    %rdx,%rax
140023f86:	48 c1 e8 3f          	shr    $0x3f,%rax
140023f8a:	48 03 d0             	add    %rax,%rdx
140023f8d:	48 63 c2             	movslq %edx,%rax
140023f90:	48 69 c8 f0 f1 ff ff 	imul   $0xfffffffffffff1f0,%rax,%rcx
140023f97:	89 53 08             	mov    %edx,0x8(%rbx)
140023f9a:	48 b8 89 88 88 88 88 	movabs $0x8888888888888889,%rax
140023fa1:	88 88 88
140023fa4:	4c 03 c1             	add    %rcx,%r8