1402d829f:	41 5d                	pop    %r13
1402d82a1:	41 5c                	pop    %r12
1402d82a3:	5f                   	pop    %rdi
1402d82a4:	c3                   	ret
1402d82a5:	3b c1                	cmp    %ecx,%eax
1402d82a7:	7c db                	jl     0x1402d8284
1402d82a9:	41 3b c0             	cmp    %r8d,%eax
1402d82ac:	7f d6                	jg     0x1402d8284
1402d82ae:	3b c1                	cmp    %ecx,%eax
1402d82b0:	7e 05                	jle    0x1402d82b7
1402d82b2:	41 3b c0             	cmp    %r8d,%eax
1402d82b5:	7c 32                	jl     0x1402d82e9
1402d82b7:	6b 4d 08 3c          	imul   $0x3c,0x8(%rbp),%ecx
1402d82bb:	03 4d 04             	add    0x4(%rbp),%ecx
1402d82be:	6b d1 3c             	imul   $0x3c,%ecx,%edx
1402d82c1:	03 55 00             	add    0x0(%rbp),%edx
1402d82c4:	69 ca e8 03 00 00    	imul   $0x3e8,%edx,%ecx
1402d82ca:	41 3b c0             	cmp    %r8d,%eax
1402d82cd:	75 0e                	jne    0x1402d82dd
1402d82cf:	3b 0d 73 de 0f 00    	cmp    0xfde73(%rip),%ecx        # 0x1403d6148
1402d82d5:	40 0f 9d c7          	setge  %dil
1402d82d9:	8b c7                	mov    %edi,%eax
1402d82db:	eb aa                	jmp    0x1402d8287
1402d82dd:	3b 0d 75 de 0f 00    	cmp    0xfde75(%rip),%ecx        # 0x1403d6158
1402d82e3:	40 0f 9c c7          	setl   %dil
1402d82e7:	eb f0                	jmp    0x1402d82d9
1402d82e9:	33 c0                	xor    %eax,%eax
1402d82eb:	eb 9a                	jmp    0x1402d8287
1402d82ed:	45 33 c9             	xor    %r9d,%r9d
1402d82f0:	48 89 7c 24 20       	mov    %rdi,0x20(%rsp)
1402d82f5:	45 33 c0             	xor    %r8d,%r8d
1402d82f8:	33 d2                	xor    %edx,%edx
1402d82fa:	33 c9                	xor    %ecx,%ecx
1402d82fc:	e8 53 e1 fd ff       	call   0x1402b6454
1402d8301:	cc                   	int3
1402d8302:	cc                   	int3
1402d8303:	cc                   	int3
1402d8304:	48 89 5c 24 10       	mov    %rbx,0x10(%rsp)
1402d8309:	48 89 6c 24 18       	mov    %rbp,0x18(%rsp)
1402d830e:	56                   	push   %rsi
1402d830f:	57                   	push   %rdi
1402d8310:	41 56                	push   %r14
1402d8312:	48 83 ec 30          	sub    $0x30,%rsp
1402d8316:	83 64 24 50 00       	andl   $0x0,0x50(%rsp)
1402d831b:	44 8b f1             	mov    %ecx,%r14d
1402d831e:	41 8b c8             	mov    %r8d,%ecx
1402d8321:	49 63 d9             	movslq %r9d,%rbx
1402d8324:	41 8b f0             	mov    %r8d,%esi
1402d8327:	8b fa                	mov    %edx,%edi
1402d8329:	e8 76 e1 fd ff       	call   0x1402b64a4
1402d832e:	4c 8d 1d cb 7c d2 ff 	lea    -0x2d8335(%rip),%r11        # 0x140000000
1402d8335:	40 8a e8             	mov    %al,%bpl
1402d8338:	83 ff 01             	cmp    $0x1,%edi
1402d833b:	0f 85 d2 00 00 00    	jne    0x1402d8413
1402d8341:	84 c0                	test   %al,%al
1402d8343:	74 0a                	je     0x1402d834f
1402d8345:	45 8b 94 9b 14 12 3a 	mov    0x3a1214(%r11,%rbx,4),%r10d
1402d834c:	00
1402d834d:	eb 08                	jmp    0x1402d8357
1402d834f:	45 8b 94 9b dc 11 3a 	mov    0x3a11dc(%r11,%rbx,4),%r10d
1402d8356:	00
1402d8357:	41 ff c2             	inc    %r10d
1402d835a:	44 8d 46 ff          	lea    -0x1(%rsi),%r8d
1402d835e:	bf 1f 85 eb 51       	mov    $0x51eb851f,%edi
1402d8363:	8d 8e 2b 01 00 00    	lea    0x12b(%rsi),%ecx
1402d8369:	8b c7                	mov    %edi,%eax
1402d836b:	f7 e9                	imul   %ecx
1402d836d:	8b c7                	mov    %edi,%eax
1402d836f:	44 8b ca             	mov    %edx,%r9d
1402d8372:	41 f7 e8             	imul   %r8d
1402d8375:	41 8b c0             	mov    %r8d,%eax
1402d8378:	41 c1 f9 07          	sar    $0x7,%r9d
1402d837c:	c1 fa 05             	sar    $0x5,%edx
1402d837f:	41 8b c9             	mov    %r9d,%ecx
1402d8382:	c1 e9 1f             	shr    $0x1f,%ecx
1402d8385:	44 03 c9             	add    %ecx,%r9d
1402d8388:	8b ca                	mov    %edx,%ecx
1402d838a:	c1 e9 1f             	shr    $0x1f,%ecx
1402d838d:	03 d1                	add    %ecx,%edx
1402d838f:	69 ce 6d 01 00 00    	imul   $0x16d,%esi,%ecx
1402d8395:	44 2b ca             	sub    %edx,%r9d
1402d8398:	99                   	cltd
1402d8399:	83 e2 03             	and    $0x3,%edx
1402d839c:	81 c1 25 9c ff ff    	add    $0xffff9c25,%ecx
1402d83a2:	44 8d 04 02          	lea    (%rdx,%rax,1),%r8d
1402d83a6:	b8 93 24 49 92       	mov    $0x92492493,%eax
1402d83ab:	41 c1 f8 02          	sar    $0x2,%r8d
1402d83af:	45 03 c2             	add    %r10d,%r8d
1402d83b2:	45 03 c1             	add    %r9d,%r8d
1402d83b5:	44 03 c1             	add    %ecx,%r8d
1402d83b8:	41 f7 e8             	imul   %r8d
1402d83bb:	41 03 d0             	add    %r8d,%edx
1402d83be:	c1 fa 02             	sar    $0x2,%edx
1402d83c1:	8b c2                	mov    %edx,%eax
1402d83c3:	c1 e8 1f             	shr    $0x1f,%eax
1402d83c6:	03 d0                	add    %eax,%edx
1402d83c8:	6b c2 07             	imul   $0x7,%edx,%eax
1402d83cb:	6b 54 24 70 07       	imul   $0x7,0x70(%rsp),%edx
1402d83d0:	44 2b c0             	sub    %eax,%r8d
1402d83d3:	41 2b d0             	sub    %r8d,%edx
1402d83d6:	41 03 d2             	add    %r10d,%edx
1402d83d9:	03 54 24 78          	add    0x78(%rsp),%edx
1402d83dd:	44 3b 44 24 78       	cmp    0x78(%rsp),%r8d
1402d83e2:	8d 42 f9             	lea    -0x7(%rdx),%eax
1402d83e5:	0f 4f c2             	cmovg  %edx,%eax
1402d83e8:	40 84 ed             	test   %bpl,%bpl
1402d83eb:	74 0a                	je     0x1402d83f7
1402d83ed:	41 8b 8c 9b 18 12 3a 	mov    0x3a1218(%r11,%rbx,4),%ecx
1402d83f4:	00
1402d83f5:	eb 08                	jmp    0x1402d83ff
1402d83f7:	41 8b 8c 9b e0 11 3a 	mov    0x3a11e0(%r11,%rbx,4),%ecx
1402d83fe:	00
1402d83ff:	83 7c 24 70 05       	cmpl   $0x5,0x70(%rsp)
1402d8404:	44 8b c0             	mov    %eax,%r8d
1402d8407:	75 29                	jne    0x1402d8432
1402d8409:	3b c1                	cmp    %ecx,%eax
1402d840b:	7e 25                	jle    0x1402d8432
1402d840d:	44 8d 40 f9          	lea    -0x7(%rax),%r8d
1402d8411:	eb 1f                	jmp    0x1402d8432
1402d8413:	40 84 ed             	test   %bpl,%bpl
1402d8416:	74 0a                	je     0x1402d8422
1402d8418:	45 8b 84 9b 14 12 3a 	mov    0x3a1214(%r11,%rbx,4),%r8d
1402d841f:	00
1402d8420:	eb 08                	jmp    0x1402d842a
1402d8422:	45 8b 84 9b dc 11 3a 	mov    0x3a11dc(%r11,%rbx,4),%r8d
1402d8429:	00
1402d842a:	44 03 84 24 80 00 00 	add    0x80(%rsp),%r8d
1402d8431:	00
1402d8432:	6b 84 24 88 00 00 00 	imul   $0x3c,0x88(%rsp),%eax
1402d8439:	3c
1402d843a:	03 84 24 90 00 00 00 	add    0x90(%rsp),%eax
1402d8441:	6b c8 3c             	imul   $0x3c,%eax,%ecx
1402d8444:	03 8c 24 98 00 00 00 	add    0x98(%rsp),%ecx
1402d844b:	69 c9 e8 03 00 00    	imul   $0x3e8,%ecx,%ecx
1402d8451:	03 8c 24 a0 00 00 00 	add    0xa0(%rsp),%ecx
1402d8458:	45 85 f6             	test   %r14d,%r14d
1402d845b:	75 26                	jne    0x1402d8483
1402d845d:	44 89 05 e0 dc 0f 00 	mov    %r8d,0xfdce0(%rip)        # 0x1403d6144
1402d8464:	89 0d de dc 0f 00    	mov    %ecx,0xfdcde(%rip)        # 0x1403d6148
1402d846a:	89 35 d0 dc 0f 00    	mov    %esi,0xfdcd0(%rip)        # 0x1403d6140
1402d8470:	48 8b 5c 24 58       	mov    0x58(%rsp),%rbx
1402d8475:	48 8b 6c 24 60       	mov    0x60(%rsp),%rbp
1402d847a:	48 83 c4 30          	add    $0x30,%rsp
1402d847e:	41 5e                	pop    %r14
1402d8480:	5f                   	pop    %rdi
1402d8481:	5e                   	pop    %rsi
1402d8482:	c3                   	ret
1402d8483:	89 0d cf dc 0f 00    	mov    %ecx,0xfdccf(%rip)        # 0x1403d6158
1402d8489:	48 8d 4c 24 50       	lea    0x50(%rsp),%rcx
1402d848e:	44 89 05 bf dc 0f 00 	mov    %r8d,0xfdcbf(%rip)        # 0x1403d6154
1402d8495:	e8 0e fb ff ff       	call   0x1402d7fa8
1402d849a:	85 c0                	test   %eax,%eax
1402d849c:	75 45                	jne    0x1402d84e3
1402d849e:	8b 05 b4 dc 0f 00    	mov    0xfdcb4(%rip),%eax        # 0x1403d6158
1402d84a4:	69 4c 24 50 e8 03 00 	imul   $0x3e8,0x50(%rsp),%ecx
1402d84ab:	00
1402d84ac:	03 c1                	add    %ecx,%eax
1402d84ae:	89 05 a4 dc 0f 00    	mov    %eax,0xfdca4(%rip)        # 0x1403d6158
1402d84b4:	79 0d                	jns    0x1402d84c3
1402d84b6:	05 00 5c 26 05       	add    $0x5265c00,%eax
1402d84bb:	ff 0d 93 dc 0f 00    	decl   0xfdc93(%rip)        # 0x1403d6154
1402d84c1:	eb 12                	jmp    0x1402d84d5
1402d84c3:	3d 00 5c 26 05       	cmp    $0x5265c00,%eax
1402d84c8:	7c 11                	jl     0x1402d84db
1402d84ca:	05 00 a4 d9 fa       	add    $0xfad9a400,%eax
1402d84cf:	ff 05 7f dc 0f 00    	incl   0xfdc7f(%rip)        # 0x1403d6154
1402d84d5:	89 05 7d dc 0f 00    	mov    %eax,0xfdc7d(%rip)        # 0x1403d6158
1402d84db:	89 35 6f dc 0f 00    	mov    %esi,0xfdc6f(%rip)        # 0x1403d6150
1402d84e1:	eb 8d                	jmp    0x1402d8470
1402d84e3:	48 83 64 24 20 00    	andq   $0x0,0x20(%rsp)
1402d84e9:	45 33 c9             	xor    %r9d,%r9d
1402d84ec:	45 33 c0             	xor    %r8d,%r8d
1402d84ef:	33 d2                	xor    %edx,%edx
1402d84f1:	33 c9                	xor    %ecx,%ecx
1402d84f3:	e8 5c df fd ff       	call   0x1402b6454
1402d84f8:	cc                   	int3
1402d84f9:	cc                   	int3
1402d84fa:	cc                   	int3
1402d84fb:	cc                   	int3
1402d84fc:	48 89 5c 24 08       	mov    %rbx,0x8(%rsp)
1402d8501:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
1402d8506:	57                   	push   %rdi
1402d8507:	48 83 ec 60          	sub    $0x60,%rsp
1402d850b:	48 8b fa             	mov    %rdx,%rdi
1402d850e:	49 8b f0             	mov    %r8,%rsi
1402d8511:	4c 8b c1             	mov    %rcx,%r8
1402d8514:	ba 40 00 00 00       	mov    $0x40,%edx
1402d8519:	48 8b cf             	mov    %rdi,%rcx
1402d851c:	49 8b d9             	mov    %r9,%rbx
1402d851f:	e8 00 a9 fe ff       	call   0x1402c2e24
1402d8524:	33 d2                	xor    %edx,%edx
1402d8526:	85 c0                	test   %eax,%eax
1402d8528:	0f 85 9b 00 00 00    	jne    0x1402d85c9
1402d852e:	48 8d 4c 24 40       	lea    0x40(%rsp),%rcx
1402d8533:	e8 78 40 fe ff       	call   0x1402bc5b0
1402d8538:	48 8b 44 24 48       	mov    0x48(%rsp),%rax
1402d853d:	b9 e9 fd 00 00       	mov    $0xfde9,%ecx
1402d8542:	39 48 0c             	cmp    %ecx,0xc(%rax)
1402d8545:	75 15                	jne    0x1402d855c
1402d8547:	80 7c 24 58 00       	cmpb   $0x0,0x58(%rsp)
1402d854c:	74 45                	je     0x1402d8593
1402d854e:	48 8b 44 24 40       	mov    0x40(%rsp),%rax
1402d8553:	83 a0 a8 03 00 00 fd 	andl   $0xfffffffd,0x3a8(%rax)
1402d855a:	eb 37                	jmp    0x1402d8593
1402d855c:	e8 2f cb ff ff       	call   0x1402d5090
1402d8561:	85 c0                	test   %eax,%eax
1402d8563:	75 19                	jne    0x1402d857e
1402d8565:	38 44 24 58          	cmp    %al,0x58(%rsp)
1402d8569:	74 0c                	je     0x1402d8577
1402d856b:	48 8b 44 24 40       	mov    0x40(%rsp),%rax
1402d8570:	83 a0 a8 03 00 00 fd 	andl   $0xfffffffd,0x3a8(%rax)
1402d8577:	b9 01 00 00 00       	mov    $0x1,%ecx
1402d857c:	eb 15                	jmp    0x1402d8593
1402d857e:	80 7c 24 58 00       	cmpb   $0x0,0x58(%rsp)
1402d8583:	74 0c                	je     0x1402d8591
1402d8585:	48 8b 44 24 40       	mov    0x40(%rsp),%rax
1402d858a:	83 a0 a8 03 00 00 fd 	andl   $0xfffffffd,0x3a8(%rax)
1402d8591:	33 c9                	xor    %ecx,%ecx
1402d8593:	48 83 64 24 38 00    	andq   $0x0,0x38(%rsp)
1402d8599:	44 8b cb             	mov    %ebx,%r9d
1402d859c:	48 83 64 24 30 00    	andq   $0x0,0x30(%rsp)
1402d85a2:	4c 8b c7             	mov    %rdi,%r8
1402d85a5:	c7 44 24 28 3f 00 00 	movl   $0x3f,0x28(%rsp)
1402d85ac:	00
1402d85ad:	33 d2                	xor    %edx,%edx
1402d85af:	48 89 74 24 20       	mov    %rsi,0x20(%rsp)
1402d85b4:	e8 3b bc ff ff       	call   0x1402d41f4
1402d85b9:	48 8b 5c 24 70       	mov    0x70(%rsp),%rbx
1402d85be:	48 8b 74 24 78       	mov    0x78(%rsp),%rsi
1402d85c3:	48 83 c4 60          	add    $0x60,%rsp
1402d85c7:	5f                   	pop    %rdi
1402d85c8:	c3                   	ret
1402d85c9:	48 83 64 24 20 00    	andq   $0x0,0x20(%rsp)
1402d85cf:	45 33 c9             	xor    %r9d,%r9d
1402d85d2:	45 33 c0             	xor    %r8d,%r8d
1402d85d5:	33 c9                	xor    %ecx,%ecx
1402d85d7:	e8 78 de fd ff       	call   0x1402b6454
1402d85dc:	cc                   	int3
1402d85dd:	cc                   	int3
1402d85de:	cc                   	int3
1402d85df:	cc                   	int3
1402d85e0:	40 55                	rex push %rbp
1402d85e2:	53                   	push   %rbx
1402d85e3:	56                   	push   %rsi
1402d85e4:	57                   	push   %rdi
1402d85e5:	41 54                	push   %r12
1402d85e7:	41 56                	push   %r14
1402d85e9:	41 57                	push   %r15
1402d85eb:	48 8b ec             	mov    %rsp,%rbp
1402d85ee:	48 83 ec 30          	sub    $0x30,%rsp
1402d85f2:	48 8b f9             	mov    %rcx,%rdi
1402d85f5:	e8 6e f9 ff ff       	call   0x1402d7f68
1402d85fa:	4c 8b f0             	mov    %rax,%r14
1402d85fd:	e8 6e f9 ff ff       	call   0x1402d7f70
1402d8602:	45 33 e4             	xor    %r12d,%r12d
1402d8605:	48 8d 4d 48          	lea    0x48(%rbp),%rcx
1402d8609:	44 89 65 48          	mov    %r12d,0x48(%rbp)
1402d860d:	4c 8b f8             	mov    %rax,%r15
1402d8610:	44 89 65 50          	mov    %r12d,0x50(%rbp)
1402d8614:	e8 bf f9 ff ff       	call   0x1402d7fd8
1402d8619:	85 c0                	test   %eax,%eax
1402d861b:	0f 85 24 02 00 00    	jne    0x1402d8845
1402d8621:	48 8d 4d 50          	lea    0x50(%rbp),%rcx
1402d8625:	e8 4e f9 ff ff       	call   0x1402d7f78
1402d862a:	85 c0                	test   %eax,%eax
1402d862c:	0f 85 13 02 00 00    	jne    0x1402d8845
1402d8632:	48 8b 0d a7 30 10 00 	mov    0x1030a7(%rip),%rcx        # 0x1403db6e0
1402d8639:	48 85 c9             	test   %rcx,%rcx
1402d863c:	74 20                	je     0x1402d865e
1402d863e:	48 8b c7             	mov    %rdi,%rax
1402d8641:	48 2b cf             	sub    %rdi,%rcx
1402d8644:	0f b7 10             	movzwl (%rax),%edx
1402d8647:	44 0f b7 04 08       	movzwl (%rax,%rcx,1),%r8d
1402d864c:	41 2b d0             	sub    %r8d,%edx
1402d864f:	75 09                	jne    0x1402d865a
1402d8651:	48 83 c0 02          	add    $0x2,%rax
1402d8655:	45 85 c0             	test   %r8d,%r8d
1402d8658:	75 ea                	jne    0x1402d8644
1402d865a:	85 d2                	test   %edx,%edx
1402d865c:	74 2d                	je     0x1402d868b
1402d865e:	48 83 ce ff          	or     $0xffffffffffffffff,%rsi
1402d8662:	48 8b ce             	mov    %rsi,%rcx
1402d8665:	48 ff c1             	inc    %rcx
1402d8668:	66 44 39 24 4f       	cmp    %r12w,(%rdi,%rcx,2)
1402d866d:	75 f6                	jne    0x1402d8665
1402d866f:	48 8d 0c 4d 02 00 00 	lea    0x2(,%rcx,2),%rcx
1402d8676:	00
1402d8677:	e8 08 a4 ff ff       	call   0x1402d2a84
1402d867c:	48 8b d8             	mov    %rax,%rbx
1402d867f:	48 85 c0             	test   %rax,%rax
1402d8682:	75 16                	jne    0x1402d869a
1402d8684:	33 c9                	xor    %ecx,%ecx
1402d8686:	e8 bd a3 ff ff       	call   0x1402d2a48
1402d868b:	48 83 c4 30          	add    $0x30,%rsp
1402d868f:	41 5f                	pop    %r15
1402d8691:	41 5e                	pop    %r14
1402d8693:	41 5c                	pop    %r12
1402d8695:	5f                   	pop    %rdi
1402d8696:	5e                   	pop    %rsi
1402d8697:	5b                   	pop    %rbx
1402d8698:	5d                   	pop    %rbp
1402d8699:	c3                   	ret
1402d869a:	48 8b 0d 3f 30 10 00 	mov    0x10303f(%rip),%rcx        # 0x1403db6e0
1402d86a1:	e8 a2 a3 ff ff       	call   0x1402d2a48
1402d86a6:	48 89 1d 33 30 10 00 	mov    %rbx,0x103033(%rip)        # 0x1403db6e0
1402d86ad:	48 ff c6             	inc    %rsi
1402d86b0:	66 44 39 24 77       	cmp    %r12w,(%rdi,%rsi,2)
1402d86b5:	75 f6                	jne    0x1402d86ad
1402d86b7:	48 8d 56 01          	lea    0x1(%rsi),%rdx
1402d86bb:	4c 8b c7             	mov    %rdi,%r8
1402d86be:	48 8b cb             	mov    %rbx,%rcx
1402d86c1:	e8 e2 e8 ff ff       	call   0x1402d6fa8
1402d86c6:	85 c0                	test   %eax,%eax
1402d86c8:	0f 85 77 01 00 00    	jne    0x1402d8845
1402d86ce:	49 8b 0f             	mov    (%r15),%rcx
1402d86d1:	bb 80 00 00 00       	mov    $0x80,%ebx
1402d86d6:	44 8b c3             	mov    %ebx,%r8d
1402d86d9:	33 d2                	xor    %edx,%edx
1402d86db:	e8 20 93 00 00       	call   0x1402e1a00
1402d86e0:	49 8b 4f 08          	mov    0x8(%r15),%rcx
1402d86e4:	44 8b c3             	mov    %ebx,%r8d
1402d86e7:	33 d2                	xor    %edx,%edx
1402d86e9:	e8 12 93 00 00       	call   0x1402e1a00
1402d86ee:	49 8b 0e             	mov    (%r14),%rcx
1402d86f1:	bb 40 00 00 00       	mov    $0x40,%ebx
1402d86f6:	44 8b c3             	mov    %ebx,%r8d
1402d86f9:	33 d2                	xor    %edx,%edx
1402d86fb:	e8 00 93 00 00       	call   0x1402e1a00
1402d8700:	49 8b 4e 08          	mov    0x8(%r14),%rcx
1402d8704:	44 8b c3             	mov    %ebx,%r8d
1402d8707:	33 d2                	xor    %edx,%edx
1402d8709:	e8 f2 92 00 00       	call   0x1402e1a00
1402d870e:	4d 8b 06             	mov    (%r14),%r8
1402d8711:	bb 03 00 00 00       	mov    $0x3,%ebx
1402d8716:	49 8b 17             	mov    (%r15),%rdx
1402d8719:	44 8b cb             	mov    %ebx,%r9d
1402d871c:	48 8b cf             	mov    %rdi,%rcx
1402d871f:	e8 d8 fd ff ff       	call   0x1402d84fc
1402d8724:	8b c3                	mov    %ebx,%eax
1402d8726:	66 44 39 27          	cmp    %r12w,(%rdi)
1402d872a:	74 04                	je     0x1402d8730
1402d872c:	48 83 c7 02          	add    $0x2,%rdi
1402d8730:	48 83 e8 01          	sub    $0x1,%rax
1402d8734:	75 f0                	jne    0x1402d8726
1402d8736:	0f b7 37             	movzwl (%rdi),%esi
1402d8739:	48 8d 5f 02          	lea    0x2(%rdi),%rbx
1402d873d:	66 83 fe 2d          	cmp    $0x2d,%si
1402d8741:	44 8d 40 0a          	lea    0xa(%rax),%r8d
1402d8745:	48 8d 55 58          	lea    0x58(%rbp),%rdx
1402d8749:	48 0f 45 df          	cmovne %rdi,%rbx