1402c78f5:	5f                   	pop    %rdi
1402c78f6:	5e                   	pop    %rsi
1402c78f7:	c3                   	ret
1402c78f8:	cc                   	int3
1402c78f9:	cc                   	int3
1402c78fa:	cc                   	int3
1402c78fb:	cc                   	int3
1402c78fc:	cc                   	int3
1402c78fd:	cc                   	int3
1402c78fe:	cc                   	int3
1402c78ff:	cc                   	int3
1402c7900:	48 89 5c 24 20       	mov    %rbx,0x20(%rsp)
1402c7905:	55                   	push   %rbp
1402c7906:	56                   	push   %rsi
1402c7907:	57                   	push   %rdi
1402c7908:	41 54                	push   %r12
1402c790a:	41 55                	push   %r13
1402c790c:	41 56                	push   %r14
1402c790e:	41 57                	push   %r15
1402c7910:	b8 20 01 00 00       	mov    $0x120,%eax
1402c7915:	e8 c6 2c 03 00       	call   0x1402fa5e0
1402c791a:	48 2b e0             	sub    %rax,%rsp
1402c791d:	48 8b 05 5c 08 14 00 	mov    0x14085c(%rip),%rax        # 0x140408180
1402c7924:	48 33 c4             	xor    %rsp,%rax
1402c7927:	48 89 84 24 10 01 00 	mov    %rax,0x110(%rsp)
1402c792e:	00
1402c792f:	45 33 ff             	xor    %r15d,%r15d
1402c7932:	41 8b e8             	mov    %r8d,%ebp
1402c7935:	4c 89 7c 24 48       	mov    %r15,0x48(%rsp)
1402c793a:	48 8b da             	mov    %rdx,%rbx
1402c793d:	4c 89 7c 24 40       	mov    %r15,0x40(%rsp)
1402c7942:	48 8b f9             	mov    %rcx,%rdi
1402c7945:	4c 89 7c 24 30       	mov    %r15,0x30(%rsp)
1402c794a:	45 8b ef             	mov    %r15d,%r13d
1402c794d:	4c 89 7c 24 50       	mov    %r15,0x50(%rsp)
1402c7952:	41 8d 77 20          	lea    0x20(%r15),%esi
1402c7956:	4c 89 7c 24 60       	mov    %r15,0x60(%rsp)
1402c795b:	45 8b e7             	mov    %r15d,%r12d
1402c795e:	48 85 d2             	test   %rdx,%rdx
1402c7961:	0f 85 83 00 00 00    	jne    0x1402c79ea
1402c7967:	be 43 00 00 00       	mov    $0x43,%esi
1402c796c:	49 8b dc             	mov    %r12,%rbx
1402c796f:	4c 8d 0d ca 58 0e 00 	lea    0xe58ca(%rip),%r9        # 0x1403ad240
1402c7976:	c7 44 24 20 d6 00 00 	movl   $0xd6,0x20(%rsp)
1402c797d:	00
1402c797e:	44 8b c6             	mov    %esi,%r8d
1402c7981:	ba 95 00 00 00       	mov    $0x95,%edx
1402c7986:	b9 10 00 00 00       	mov    $0x10,%ecx
1402c798b:	e8 10 9a f5 ff       	call   0x1402213a0
1402c7990:	48 8b 4c 24 48       	mov    0x48(%rsp),%rcx
1402c7995:	e8 06 43 f6 ff       	call   0x14022bca0
1402c799a:	49 8b cc             	mov    %r12,%rcx
1402c799d:	e8 fe 42 f6 ff       	call   0x14022bca0
1402c79a2:	48 8b cb             	mov    %rbx,%rcx
1402c79a5:	e8 f6 42 f6 ff       	call   0x14022bca0
1402c79aa:	48 8b 4c 24 50       	mov    0x50(%rsp),%rcx
1402c79af:	e8 ec 42 f6 ff       	call   0x14022bca0
1402c79b4:	49 8b cd             	mov    %r13,%rcx
1402c79b7:	e8 d4 55 fb ff       	call   0x14027cf90
1402c79bc:	41 8b c7             	mov    %r15d,%eax
1402c79bf:	48 8b 8c 24 10 01 00 	mov    0x110(%rsp),%rcx
1402c79c6:	00
1402c79c7:	48 33 cc             	xor    %rsp,%rcx
1402c79ca:	e8 71 2c 03 00       	call   0x1402fa640
1402c79cf:	48 8b 9c 24 78 01 00 	mov    0x178(%rsp),%rbx
1402c79d6:	00
1402c79d7:	48 81 c4 20 01 00 00 	add    $0x120,%rsp
1402c79de:	41 5f                	pop    %r15
1402c79e0:	41 5e                	pop    %r14
1402c79e2:	41 5d                	pop    %r13
1402c79e4:	41 5c                	pop    %r12
1402c79e6:	5f                   	pop    %rdi
1402c79e7:	5e                   	pop    %rsi
1402c79e8:	5d                   	pop    %rbp
1402c79e9:	c3                   	ret
1402c79ea:	e8 11 58 fb ff       	call   0x14027d200
1402c79ef:	48 89 44 24 38       	mov    %rax,0x38(%rsp)
1402c79f4:	4c 8b e8             	mov    %rax,%r13
1402c79f7:	48 85 c0             	test   %rax,%rax
1402c79fa:	75 08                	jne    0x1402c7a04
1402c79fc:	8d 70 41             	lea    0x41(%rax),%esi
1402c79ff:	e9 68 ff ff ff       	jmp    0x1402c796c
1402c7a04:	48 8b cb             	mov    %rbx,%rcx
1402c7a07:	e8 d4 52 f5 ff       	call   0x14021cce0
1402c7a0c:	41 be 01 00 00 00    	mov    $0x1,%r14d
1402c7a12:	85 c0                	test   %eax,%eax
1402c7a14:	0f 84 b3 00 00 00    	je     0x1402c7acd
1402c7a1a:	41 be 80 00 00 00    	mov    $0x80,%r14d
1402c7a20:	8b d5                	mov    %ebp,%edx
1402c7a22:	45 8b c6             	mov    %r14d,%r8d
1402c7a25:	48 8b cf             	mov    %rdi,%rcx
1402c7a28:	e8 13 55 f5 ff       	call   0x14021cf40
1402c7a2d:	85 c0                	test   %eax,%eax
1402c7a2f:	0f 84 37 ff ff ff    	je     0x1402c796c
1402c7a35:	48 8b cb             	mov    %rbx,%rcx
1402c7a38:	e8 83 52 f5 ff       	call   0x14021ccc0
1402c7a3d:	8b d8                	mov    %eax,%ebx
1402c7a3f:	85 c0                	test   %eax,%eax
1402c7a41:	0f 84 25 ff ff ff    	je     0x1402c796c
1402c7a47:	8b c8                	mov    %eax,%ecx
1402c7a49:	e8 02 76 f7 ff       	call   0x14023f050
1402c7a4e:	4c 8b c0             	mov    %rax,%r8
1402c7a51:	48 8d 15 00 58 0e 00 	lea    0xe5800(%rip),%rdx        # 0x1403ad258
1402c7a58:	48 8b cf             	mov    %rdi,%rcx
1402c7a5b:	e8 10 24 f6 ff       	call   0x140229e70
1402c7a60:	85 c0                	test   %eax,%eax
1402c7a62:	0f 8e 04 ff ff ff    	jle    0x1402c796c
1402c7a68:	48 8d 15 d5 71 06 00 	lea    0x671d5(%rip),%rdx        # 0x14032ec44
1402c7a6f:	48 8b cf             	mov    %rdi,%rcx
1402c7a72:	e8 f9 23 f6 ff       	call   0x140229e70
1402c7a77:	85 c0                	test   %eax,%eax
1402c7a79:	0f 8e ed fe ff ff    	jle    0x1402c796c
1402c7a7f:	8b cb                	mov    %ebx,%ecx
1402c7a81:	e8 0a 36 f9 ff       	call   0x14025b090
1402c7a86:	48 8b d8             	mov    %rax,%rbx
1402c7a89:	48 85 c0             	test   %rax,%rax
1402c7a8c:	0f 84 6d 04 00 00    	je     0x1402c7eff
1402c7a92:	45 8b c6             	mov    %r14d,%r8d
1402c7a95:	8b d5                	mov    %ebp,%edx
1402c7a97:	48 8b cf             	mov    %rdi,%rcx
1402c7a9a:	e8 a1 54 f5 ff       	call   0x14021cf40
1402c7a9f:	85 c0                	test   %eax,%eax
1402c7aa1:	0f 84 c5 fe ff ff    	je     0x1402c796c
1402c7aa7:	4c 8b c3             	mov    %rbx,%r8
1402c7aaa:	48 8d 15 b7 57 0e 00 	lea    0xe57b7(%rip),%rdx        # 0x1403ad268
1402c7ab1:	48 8b cf             	mov    %rdi,%rcx
1402c7ab4:	e8 b7 23 f6 ff       	call   0x140229e70
1402c7ab9:	49 8b dc             	mov    %r12,%rbx
1402c7abc:	85 c0                	test   %eax,%eax
1402c7abe:	0f 8e ab fe ff ff    	jle    0x1402c796f
1402c7ac4:	45 8d 7e 81          	lea    -0x7f(%r14),%r15d
1402c7ac8:	e9 c3 fe ff ff       	jmp    0x1402c7990
1402c7acd:	48 8b cb             	mov    %rbx,%rcx
1402c7ad0:	e8 1b 08 f5 ff       	call   0x1402182f0
1402c7ad5:	48 8b c8             	mov    %rax,%rcx
1402c7ad8:	e8 33 5e f6 ff       	call   0x14022d910
1402c7add:	3d 97 01 00 00       	cmp    $0x197,%eax
1402c7ae2:	89 44 24 58          	mov    %eax,0x58(%rsp)
1402c7ae6:	45 0f 44 e6          	cmove  %r14d,%r12d
1402c7aea:	e8 a1 43 f6 ff       	call   0x14022be90
1402c7aef:	48 89 44 24 48       	mov    %rax,0x48(%rsp)
1402c7af4:	48 85 c0             	test   %rax,%rax
1402c7af7:	0f 84 10 04 00 00    	je     0x1402c7f0d
1402c7afd:	e8 8e 43 f6 ff       	call   0x14022be90
1402c7b02:	48 89 44 24 40       	mov    %rax,0x40(%rsp)
1402c7b07:	4c 8b f0             	mov    %rax,%r14
1402c7b0a:	48 85 c0             	test   %rax,%rax
1402c7b0d:	0f 84 fa 03 00 00    	je     0x1402c7f0d
1402c7b13:	e8 78 43 f6 ff       	call   0x14022be90
1402c7b18:	48 89 44 24 30       	mov    %rax,0x30(%rsp)
1402c7b1d:	48 85 c0             	test   %rax,%rax
1402c7b20:	0f 84 e7 03 00 00    	je     0x1402c7f0d
1402c7b26:	48 8b 54 24 48       	mov    0x48(%rsp),%rdx
1402c7b2b:	4c 8b c8             	mov    %rax,%r9
1402c7b2e:	4d 8b c6             	mov    %r14,%r8
1402c7b31:	4c 89 6c 24 20       	mov    %r13,0x20(%rsp)
1402c7b36:	48 8b cb             	mov    %rbx,%rcx
1402c7b39:	e8 52 0c f9 ff       	call   0x140258790
1402c7b3e:	85 c0                	test   %eax,%eax
1402c7b40:	75 10                	jne    0x1402c7b52
1402c7b42:	48 8b 5c 24 30       	mov    0x30(%rsp),%rbx
1402c7b47:	8d 70 10             	lea    0x10(%rax),%esi
1402c7b4a:	4d 8b e6             	mov    %r14,%r12
1402c7b4d:	e9 1d fe ff ff       	jmp    0x1402c796f
1402c7b52:	48 8b cb             	mov    %rbx,%rcx
1402c7b55:	e8 c6 50 de ff       	call   0x1400acc20
1402c7b5a:	4c 8b f0             	mov    %rax,%r14
1402c7b5d:	48 85 c0             	test   %rax,%rax
1402c7b60:	75 12                	jne    0x1402c7b74
1402c7b62:	4c 8b 64 24 40       	mov    0x40(%rsp),%r12
1402c7b67:	8d 70 10             	lea    0x10(%rax),%esi
1402c7b6a:	48 8b 5c 24 30       	mov    0x30(%rsp),%rbx
1402c7b6f:	e9 fb fd ff ff       	jmp    0x1402c796f
1402c7b74:	48 8b cb             	mov    %rbx,%rcx
1402c7b77:	e8 24 50 de ff       	call   0x1400acba0
1402c7b7c:	48 8b cb             	mov    %rbx,%rcx
1402c7b7f:	48 89 44 24 68       	mov    %rax,0x68(%rsp)
1402c7b84:	4c 8b e8             	mov    %rax,%r13
1402c7b87:	e8 f4 39 df ff       	call   0x1400bb580
1402c7b8c:	48 89 44 24 70       	mov    %rax,0x70(%rsp)
1402c7b91:	4d 85 ed             	test   %r13,%r13
1402c7b94:	75 19                	jne    0x1402c7baf
1402c7b96:	be 10 00 00 00       	mov    $0x10,%esi
1402c7b9b:	4c 8b 6c 24 38       	mov    0x38(%rsp),%r13
1402c7ba0:	4c 8b 64 24 40       	mov    0x40(%rsp),%r12
1402c7ba5:	48 8b 5c 24 30       	mov    0x30(%rsp),%rbx
1402c7baa:	e9 c0 fd ff ff       	jmp    0x1402c796f
1402c7baf:	48 8b cb             	mov    %rbx,%rcx
1402c7bb2:	e8 19 51 f5 ff       	call   0x14021ccd0
1402c7bb7:	44 8b e8             	mov    %eax,%r13d
1402c7bba:	45 33 c9             	xor    %r9d,%r9d
1402c7bbd:	48 8b 44 24 38       	mov    0x38(%rsp),%rax
1402c7bc2:	45 8b c5             	mov    %r13d,%r8d
1402c7bc5:	49 8b d6             	mov    %r14,%rdx
1402c7bc8:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
1402c7bcd:	48 8b cb             	mov    %rbx,%rcx
1402c7bd0:	e8 7b f8 02 00       	call   0x1402f7450
1402c7bd5:	48 89 44 24 50       	mov    %rax,0x50(%rsp)
1402c7bda:	48 85 c0             	test   %rax,%rax
1402c7bdd:	74 b7                	je     0x1402c7b96
1402c7bdf:	48 8b cb             	mov    %rbx,%rcx
1402c7be2:	e8 99 b2 f6 ff       	call   0x140232e80
1402c7be7:	48 89 44 24 78       	mov    %rax,0x78(%rsp)
1402c7bec:	48 85 c0             	test   %rax,%rax
1402c7bef:	74 0d                	je     0x1402c7bfe
1402c7bf1:	48 8b cb             	mov    %rbx,%rcx
1402c7bf4:	e8 b7 50 f5 ff       	call   0x14021ccb0
1402c7bf9:	48 89 44 24 60       	mov    %rax,0x60(%rsp)
1402c7bfe:	41 be 80 00 00 00    	mov    $0x80,%r14d
1402c7c04:	8b d5                	mov    %ebp,%edx
1402c7c06:	45 8b c6             	mov    %r14d,%r8d
1402c7c09:	48 8b cf             	mov    %rdi,%rcx
1402c7c0c:	e8 2f 53 f5 ff       	call   0x14021cf40
1402c7c11:	85 c0                	test   %eax,%eax
1402c7c13:	74 86                	je     0x1402c7b9b
1402c7c15:	8b 4c 24 58          	mov    0x58(%rsp),%ecx
1402c7c19:	e8 32 74 f7 ff       	call   0x14023f050
1402c7c1e:	4c 8b c0             	mov    %rax,%r8
1402c7c21:	48 8d 15 50 56 0e 00 	lea    0xe5650(%rip),%rdx        # 0x1403ad278
1402c7c28:	48 8b cf             	mov    %rdi,%rcx
1402c7c2b:	e8 40 22 f6 ff       	call   0x140229e70
1402c7c30:	85 c0                	test   %eax,%eax
1402c7c32:	0f 8e 63 ff ff ff    	jle    0x1402c7b9b
1402c7c38:	45 85 e4             	test   %r12d,%r12d
1402c7c3b:	74 51                	je     0x1402c7c8e
1402c7c3d:	48 8b cb             	mov    %rbx,%rcx
1402c7c40:	e8 cb 28 fa ff       	call   0x14026a510
1402c7c45:	8b d8                	mov    %eax,%ebx
1402c7c47:	85 c0                	test   %eax,%eax
1402c7c49:	0f 84 4c ff ff ff    	je     0x1402c7b9b
1402c7c4f:	45 8b c6             	mov    %r14d,%r8d
1402c7c52:	8b d5                	mov    %ebp,%edx
1402c7c54:	48 8b cf             	mov    %rdi,%rcx
1402c7c57:	e8 e4 52 f5 ff       	call   0x14021cf40
1402c7c5c:	85 c0                	test   %eax,%eax
1402c7c5e:	0f 84 37 ff ff ff    	je     0x1402c7b9b
1402c7c64:	8b cb                	mov    %ebx,%ecx
1402c7c66:	e8 e5 73 f7 ff       	call   0x14023f050
1402c7c6b:	4c 8b c0             	mov    %rax,%r8
1402c7c6e:	48 8d 15 13 56 0e 00 	lea    0xe5613(%rip),%rdx        # 0x1403ad288
1402c7c75:	48 8b cf             	mov    %rdi,%rcx
1402c7c78:	e8 f3 21 f6 ff       	call   0x140229e70
1402c7c7d:	85 c0                	test   %eax,%eax
1402c7c7f:	0f 8e 16 ff ff ff    	jle    0x1402c7b9b
1402c7c85:	48 8d 15 0c 56 0e 00 	lea    0xe560c(%rip),%rdx        # 0x1403ad298
1402c7c8c:	eb 07                	jmp    0x1402c7c95
1402c7c8e:	48 8d 15 0f 56 0e 00 	lea    0xe560f(%rip),%rdx        # 0x1403ad2a4
1402c7c95:	4c 8b 44 24 48       	mov    0x48(%rsp),%r8
1402c7c9a:	45 33 c9             	xor    %r9d,%r9d
1402c7c9d:	48 8b cf             	mov    %rdi,%rcx
1402c7ca0:	89 6c 24 20          	mov    %ebp,0x20(%rsp)
1402c7ca4:	e8 67 f4 ff ff       	call   0x1402c7110
1402c7ca9:	85 c0                	test   %eax,%eax
1402c7cab:	0f 84 ea fe ff ff    	je     0x1402c7b9b
1402c7cb1:	4c 8b 64 24 40       	mov    0x40(%rsp),%r12
1402c7cb6:	48 8d 15 ef 55 0e 00 	lea    0xe55ef(%rip),%rdx        # 0x1403ad2ac
1402c7cbd:	4d 8b c4             	mov    %r12,%r8
1402c7cc0:	89 6c 24 20          	mov    %ebp,0x20(%rsp)
1402c7cc4:	45 33 c9             	xor    %r9d,%r9d
1402c7cc7:	48 8b cf             	mov    %rdi,%rcx
1402c7cca:	e8 41 f4 ff ff       	call   0x1402c7110
1402c7ccf:	48 8b 5c 24 30       	mov    0x30(%rsp),%rbx
1402c7cd4:	85 c0                	test   %eax,%eax
1402c7cd6:	0f 84 eb 00 00 00    	je     0x1402c7dc7
1402c7cdc:	45 33 c9             	xor    %r9d,%r9d
1402c7cdf:	89 6c 24 20          	mov    %ebp,0x20(%rsp)
1402c7ce3:	4c 8b c3             	mov    %rbx,%r8
1402c7ce6:	48 8d 15 c7 55 0e 00 	lea    0xe55c7(%rip),%rdx        # 0x1403ad2b4
1402c7ced:	48 8b cf             	mov    %rdi,%rcx
1402c7cf0:	e8 1b f4 ff ff       	call   0x1402c7110
1402c7cf5:	85 c0                	test   %eax,%eax
1402c7cf7:	0f 84 ca 00 00 00    	je     0x1402c7dc7
1402c7cfd:	4c 8b 44 24 50       	mov    0x50(%rsp),%r8
1402c7d02:	45 33 c9             	xor    %r9d,%r9d
1402c7d05:	89 6c 24 20          	mov    %ebp,0x20(%rsp)
1402c7d09:	48 8b cf             	mov    %rdi,%rcx
1402c7d0c:	41 83 fd 02          	cmp    $0x2,%r13d
1402c7d10:	75 09                	jne    0x1402c7d1b
1402c7d12:	48 8b 15 87 03 14 00 	mov    0x140387(%rip),%rdx        # 0x1404080a0
1402c7d19:	eb 14                	jmp    0x1402c7d2f
1402c7d1b:	48 8b 15 86 03 14 00 	mov    0x140386(%rip),%rdx        # 0x1404080a8
1402c7d22:	41 83 fd 04          	cmp    $0x4,%r13d
1402c7d26:	74 07                	je     0x1402c7d2f
1402c7d28:	48 8b 15 81 03 14 00 	mov    0x140381(%rip),%rdx        # 0x1404080b0
1402c7d2f:	e8 dc f3 ff ff       	call   0x1402c7110
1402c7d34:	85 c0                	test   %eax,%eax
1402c7d36:	0f 84 8b 00 00 00    	je     0x1402c7dc7
1402c7d3c:	4c 8b 44 24 68       	mov    0x68(%rsp),%r8
1402c7d41:	48 8d 15 78 55 0e 00 	lea    0xe5578(%rip),%rdx        # 0x1403ad2c0
1402c7d48:	45 33 c9             	xor    %r9d,%r9d
1402c7d4b:	89 6c 24 20          	mov    %ebp,0x20(%rsp)
1402c7d4f:	48 8b cf             	mov    %rdi,%rcx
1402c7d52:	e8 b9 f3 ff ff       	call   0x1402c7110
1402c7d57:	85 c0                	test   %eax,%eax
1402c7d59:	74 6c                	je     0x1402c7dc7
1402c7d5b:	48 8b 44 24 70       	mov    0x70(%rsp),%rax
1402c7d60:	48 85 c0             	test   %rax,%rax
1402c7d63:	74 1d                	je     0x1402c7d82
1402c7d65:	45 33 c9             	xor    %r9d,%r9d
1402c7d68:	89 6c 24 20          	mov    %ebp,0x20(%rsp)
1402c7d6c:	4c 8b c0             	mov    %rax,%r8
1402c7d6f:	48 8d 15 52 55 0e 00 	lea    0xe5552(%rip),%rdx        # 0x1403ad2c8
1402c7d76:	48 8b cf             	mov    %rdi,%rcx
1402c7d79:	e8 92 f3 ff ff       	call   0x1402c7110
1402c7d7e:	85 c0                	test   %eax,%eax
1402c7d80:	74 45                	je     0x1402c7dc7
1402c7d82:	4c 8b 6c 24 78       	mov    0x78(%rsp),%r13
1402c7d87:	4d 85 ed             	test   %r13,%r13
1402c7d8a:	0f 84 5f 01 00 00    	je     0x1402c7eef
1402c7d90:	85 ed                	test   %ebp,%ebp
1402c7d92:	7e 3d                	jle    0x1402c7dd1
1402c7d94:	41 3b ee             	cmp    %r14d,%ebp
1402c7d97:	48 8d 8c 24 80 00 00 	lea    0x80(%rsp),%rcx
1402c7d9e:	00
1402c7d9f:	8b d6                	mov    %esi,%edx
1402c7da1:	44 0f 4e f5          	cmovle %ebp,%r14d
1402c7da5:	45 8b c6             	mov    %r14d,%r8d
1402c7da8:	41 8b ee             	mov    %r14d,%ebp
1402c7dab:	e8 ae 4c 03 00       	call   0x1402fca5e
1402c7db0:	45 8b c6             	mov    %r14d,%r8d
1402c7db3:	48 8d 94 24 80 00 00 	lea    0x80(%rsp),%rdx
1402c7dba:	00
1402c7dbb:	48 8b cf             	mov    %rdi,%rcx
1402c7dbe:	e8 2d 59 f5 ff       	call   0x14021d6f0
1402c7dc3:	85 c0                	test   %eax,%eax
1402c7dc5:	7f 0d                	jg     0x1402c7dd4
1402c7dc7:	4c 8b 6c 24 38       	mov    0x38(%rsp),%r13
1402c7dcc:	e9 9e fb ff ff       	jmp    0x1402c796f
1402c7dd1:	41 8b ef             	mov    %r15d,%ebp
1402c7dd4:	4c 8d 05 f9 54 0e 00 	lea    0xe54f9(%rip),%r8        # 0x1403ad2d4
1402c7ddb:	48 8b cf             	mov    %rdi,%rcx
1402c7dde:	48 8d 15 9b 5e 06 00 	lea    0x65e9b(%rip),%rdx        # 0x14032dc80
1402c7de5:	e8 86 20 f6 ff       	call   0x140229e70
1402c7dea:	85 c0                	test   %eax,%eax
1402c7dec:	7e d9                	jle    0x1402c7dc7
1402c7dee:	4c 8b 64 24 60       	mov    0x60(%rsp),%r12
1402c7df3:	49 8b df             	mov    %r15,%rbx
1402c7df6:	4d 85 e4             	test   %r12,%r12
1402c7df9:	0f 84 b9 00 00 00    	je     0x1402c7eb8
1402c7dff:	41 be 01 00 00 00    	mov    $0x1,%r14d
1402c7e05:	48 b8 89 88 88 88 88 	movabs $0x8888888888888889,%rax
1402c7e0c:	88 88 88
1402c7e0f:	4d 2b f5             	sub    %r13,%r14
1402c7e12:	0f 1f 40 00          	nopl   0x0(%rax)
1402c7e16:	66 66 0f 1f 84 00 00 	data16 nopw 0x0(%rax,%rax,1)
1402c7e1d:	00 00 00
1402c7e20:	48 f7 e3             	mul    %rbx
1402c7e23:	48 c1 ea 03          	shr    $0x3,%rdx
1402c7e27:	48 6b ca 0f          	imul   $0xf,%rdx,%rcx
1402c7e2b:	48 3b d9             	cmp    %rcx,%rbx