1402ddeb2:	4c 3b c3             	cmp    %rbx,%r8
1402ddeb5:	0f 87 26 01 00 00    	ja     0x1402ddfe1
1402ddebb:	48 8d 95 44 03 00 00 	lea    0x344(%rbp),%rdx
1402ddec2:	e8 99 34 00 00       	call   0x1402e1360
1402ddec7:	e9 2f 01 00 00       	jmp    0x1402ddffb
1402ddecc:	41 8d 46 ff          	lea    -0x1(%r14),%eax
1402dded0:	41 3b c3             	cmp    %r11d,%eax
1402dded3:	0f 84 6f ff ff ff    	je     0x1402dde48
1402dded9:	44 8b d0             	mov    %eax,%r10d
1402ddedc:	44 8d 40 ff          	lea    -0x1(%rax),%r8d
1402ddee0:	3b c2                	cmp    %edx,%eax
1402ddee2:	73 07                	jae    0x1402ddeeb
1402ddee4:	46 8b 4c 95 a4       	mov    -0x5c(%rbp,%r10,4),%r9d
1402ddee9:	eb 03                	jmp    0x1402ddeee
1402ddeeb:	45 33 c9             	xor    %r9d,%r9d
1402ddeee:	44 3b c2             	cmp    %edx,%r8d
1402ddef1:	73 07                	jae    0x1402ddefa
1402ddef3:	42 8b 4c 85 a4       	mov    -0x5c(%rbp,%r8,4),%ecx
1402ddef8:	eb 02                	jmp    0x1402ddefc
1402ddefa:	33 c9                	xor    %ecx,%ecx
1402ddefc:	c1 e9 1e             	shr    $0x1e,%ecx
1402ddeff:	42 8d 04 8d 00 00 00 	lea    0x0(,%r9,4),%eax
1402ddf06:	00
1402ddf07:	0b c8                	or     %eax,%ecx
1402ddf09:	41 8b c0             	mov    %r8d,%eax
1402ddf0c:	42 89 4c 95 a4       	mov    %ecx,-0x5c(%rbp,%r10,4)
1402ddf11:	45 3b c3             	cmp    %r11d,%r8d
1402ddf14:	0f 84 2e ff ff ff    	je     0x1402dde48
1402ddf1a:	8b 55 a0             	mov    -0x60(%rbp),%edx
1402ddf1d:	eb ba                	jmp    0x1402dded9
1402ddf1f:	f7 db                	neg    %ebx
1402ddf21:	48 1b c0             	sbb    %rax,%rax
1402ddf24:	83 64 24 40 00       	andl   $0x0,0x40(%rsp)
1402ddf29:	83 e0 04             	and    $0x4,%eax
1402ddf2c:	0f bd 44 05 a4       	bsr    -0x5c(%rbp,%rax,1),%eax
1402ddf31:	74 04                	je     0x1402ddf37
1402ddf33:	ff c0                	inc    %eax
1402ddf35:	eb 02                	jmp    0x1402ddf39
1402ddf37:	33 c0                	xor    %eax,%eax
1402ddf39:	45 33 f6             	xor    %r14d,%r14d
1402ddf3c:	2b f8                	sub    %eax,%edi
1402ddf3e:	41 3b ff             	cmp    %r15d,%edi
1402ddf41:	41 0f 92 c6          	setb   %r14b
1402ddf45:	41 83 cb ff          	or     $0xffffffff,%r11d
1402ddf49:	44 03 f2             	add    %edx,%r14d
1402ddf4c:	41 83 fe 73          	cmp    $0x73,%r14d
1402ddf50:	76 44                	jbe    0x1402ddf96
1402ddf52:	45 33 f6             	xor    %r14d,%r14d
1402ddf55:	be 35 04 00 00       	mov    $0x435,%esi
1402ddf5a:	44 89 75 a0          	mov    %r14d,-0x60(%rbp)
1402ddf5e:	41 2b f4             	sub    %r12d,%esi
1402ddf61:	48 8d 8d 44 03 00 00 	lea    0x344(%rbp),%rcx
1402ddf68:	8b fe                	mov    %esi,%edi
1402ddf6a:	33 d2                	xor    %edx,%edx
1402ddf6c:	c1 ef 05             	shr    $0x5,%edi
1402ddf6f:	48 8d 1c bd 00 00 00 	lea    0x0(,%rdi,4),%rbx
1402ddf76:	00
1402ddf77:	4c 8b c3             	mov    %rbx,%r8
1402ddf7a:	e8 81 3a 00 00       	call   0x1402e1a00
1402ddf7f:	83 e6 1f             	and    $0x1f,%esi
1402ddf82:	41 8b c7             	mov    %r15d,%eax
1402ddf85:	40 8a ce             	mov    %sil,%cl
1402ddf88:	d3 e0                	shl    %cl,%eax
1402ddf8a:	89 84 1d 44 03 00 00 	mov    %eax,0x344(%rbp,%rbx,1)
1402ddf91:	e9 ee fe ff ff       	jmp    0x1402dde84
1402ddf96:	41 8d 46 ff          	lea    -0x1(%r14),%eax
1402ddf9a:	41 3b c3             	cmp    %r11d,%eax
1402ddf9d:	74 b6                	je     0x1402ddf55
1402ddf9f:	44 8b d0             	mov    %eax,%r10d
1402ddfa2:	44 8d 40 ff          	lea    -0x1(%rax),%r8d
1402ddfa6:	3b c2                	cmp    %edx,%eax
1402ddfa8:	73 07                	jae    0x1402ddfb1
1402ddfaa:	46 8b 4c 95 a4       	mov    -0x5c(%rbp,%r10,4),%r9d
1402ddfaf:	eb 03                	jmp    0x1402ddfb4
1402ddfb1:	45 33 c9             	xor    %r9d,%r9d
1402ddfb4:	44 3b c2             	cmp    %edx,%r8d
1402ddfb7:	73 07                	jae    0x1402ddfc0
1402ddfb9:	42 8b 4c 85 a4       	mov    -0x5c(%rbp,%r8,4),%ecx
1402ddfbe:	eb 02                	jmp    0x1402ddfc2
1402ddfc0:	33 c9                	xor    %ecx,%ecx
1402ddfc2:	c1 e9 1f             	shr    $0x1f,%ecx
1402ddfc5:	43 8d 04 09          	lea    (%r9,%r9,1),%eax
1402ddfc9:	0b c8                	or     %eax,%ecx
1402ddfcb:	41 8b c0             	mov    %r8d,%eax
1402ddfce:	42 89 4c 95 a4       	mov    %ecx,-0x5c(%rbp,%r10,4)
1402ddfd3:	45 3b c3             	cmp    %r11d,%r8d
1402ddfd6:	0f 84 79 ff ff ff    	je     0x1402ddf55
1402ddfdc:	8b 55 a0             	mov    -0x60(%rbp),%edx
1402ddfdf:	eb be                	jmp    0x1402ddf9f
1402ddfe1:	4c 8b c3             	mov    %rbx,%r8
1402ddfe4:	33 d2                	xor    %edx,%edx
1402ddfe6:	e8 15 3a 00 00       	call   0x1402e1a00
1402ddfeb:	e8 b8 e8 fd ff       	call   0x1402bc8a8
1402ddff0:	c7 00 22 00 00 00    	movl   $0x22,(%rax)
1402ddff6:	e8 09 84 fd ff       	call   0x1402b6404
1402ddffb:	44 8b a5 70 01 00 00 	mov    0x170(%rbp),%r12d
1402de002:	8b 4c 24 30          	mov    0x30(%rsp),%ecx
1402de006:	b8 cd cc cc cc       	mov    $0xcccccccd,%eax
1402de00b:	85 c9                	test   %ecx,%ecx
1402de00d:	0f 88 e8 04 00 00    	js     0x1402de4fb
1402de013:	f7 e1                	mul    %ecx
1402de015:	8b c2                	mov    %edx,%eax
1402de017:	48 8d 15 e2 1f d2 ff 	lea    -0x2de01e(%rip),%rdx        # 0x140000000
1402de01e:	c1 e8 03             	shr    $0x3,%eax
1402de021:	89 44 24 50          	mov    %eax,0x50(%rsp)
1402de025:	8b c8                	mov    %eax,%ecx
1402de027:	89 44 24 38          	mov    %eax,0x38(%rsp)
1402de02b:	85 c0                	test   %eax,%eax
1402de02d:	0f 84 26 04 00 00    	je     0x1402de459
1402de033:	41 b8 26 00 00 00    	mov    $0x26,%r8d
1402de039:	41 3b c8             	cmp    %r8d,%ecx
1402de03c:	8b c1                	mov    %ecx,%eax
1402de03e:	41 0f 47 c0          	cmova  %r8d,%eax
1402de042:	89 44 24 48          	mov    %eax,0x48(%rsp)
1402de046:	ff c8                	dec    %eax
1402de048:	8b f8                	mov    %eax,%edi
1402de04a:	0f b6 8c 82 52 f5 39 	movzbl 0x39f552(%rdx,%rax,4),%ecx
1402de051:	00
1402de052:	0f b6 b4 82 53 f5 39 	movzbl 0x39f553(%rdx,%rax,4),%esi
1402de059:	00
1402de05a:	33 d2                	xor    %edx,%edx
1402de05c:	48 8d 1c 8d 00 00 00 	lea    0x0(,%rcx,4),%rbx
1402de063:	00
1402de064:	8d 04 0e             	lea    (%rsi,%rcx,1),%eax
1402de067:	4c 8b c3             	mov    %rbx,%r8
1402de06a:	48 8d 8d 44 03 00 00 	lea    0x344(%rbp),%rcx
1402de071:	89 85 40 03 00 00    	mov    %eax,0x340(%rbp)
1402de077:	e8 84 39 00 00       	call   0x1402e1a00
1402de07c:	48 8d 0d 7d 1f d2 ff 	lea    -0x2de083(%rip),%rcx        # 0x140000000
1402de083:	48 c1 e6 02          	shl    $0x2,%rsi
1402de087:	0f b7 84 b9 50 f5 39 	movzwl 0x39f550(%rcx,%rdi,4),%eax
1402de08e:	00
1402de08f:	48 8d 91 40 ec 39 00 	lea    0x39ec40(%rcx),%rdx
1402de096:	48 8d 8d 44 03 00 00 	lea    0x344(%rbp),%rcx
1402de09d:	4c 8b c6             	mov    %rsi,%r8
1402de0a0:	48 03 cb             	add    %rbx,%rcx
1402de0a3:	48 8d 14 82          	lea    (%rdx,%rax,4),%rdx
1402de0a7:	e8 b4 32 00 00       	call   0x1402e1360
1402de0ac:	44 8b 8d 40 03 00 00 	mov    0x340(%rbp),%r9d
1402de0b3:	45 3b cf             	cmp    %r15d,%r9d
1402de0b6:	77 5b                	ja     0x1402de113
1402de0b8:	8b 85 44 03 00 00    	mov    0x344(%rbp),%eax
1402de0be:	85 c0                	test   %eax,%eax
1402de0c0:	75 08                	jne    0x1402de0ca
1402de0c2:	45 33 e4             	xor    %r12d,%r12d
1402de0c5:	e9 18 01 00 00       	jmp    0x1402de1e2
1402de0ca:	41 3b c7             	cmp    %r15d,%eax
1402de0cd:	0f 84 2d 01 00 00    	je     0x1402de200
1402de0d3:	45 85 e4             	test   %r12d,%r12d
1402de0d6:	0f 84 24 01 00 00    	je     0x1402de200
1402de0dc:	45 33 c0             	xor    %r8d,%r8d
1402de0df:	4c 8b d0             	mov    %rax,%r10
1402de0e2:	45 33 c9             	xor    %r9d,%r9d
1402de0e5:	42 8b 8c 8d 74 01 00 	mov    0x174(%rbp,%r9,4),%ecx
1402de0ec:	00
1402de0ed:	41 8b c0             	mov    %r8d,%eax
1402de0f0:	49 0f af ca          	imul   %r10,%rcx
1402de0f4:	48 03 c8             	add    %rax,%rcx
1402de0f7:	4c 8b c1             	mov    %rcx,%r8
1402de0fa:	42 89 8c 8d 74 01 00 	mov    %ecx,0x174(%rbp,%r9,4)
1402de101:	00
1402de102:	49 c1 e8 20          	shr    $0x20,%r8
1402de106:	45 03 cf             	add    %r15d,%r9d
1402de109:	45 3b cc             	cmp    %r12d,%r9d
1402de10c:	75 d7                	jne    0x1402de0e5
1402de10e:	e9 a9 00 00 00       	jmp    0x1402de1bc
1402de113:	45 3b e7             	cmp    %r15d,%r12d
1402de116:	0f 87 54 01 00 00    	ja     0x1402de270
1402de11c:	8b 9d 74 01 00 00    	mov    0x174(%rbp),%ebx
1402de122:	4d 8b c1             	mov    %r9,%r8
1402de125:	49 c1 e0 02          	shl    $0x2,%r8
1402de129:	45 8b e1             	mov    %r9d,%r12d
1402de12c:	44 89 8d 70 01 00 00 	mov    %r9d,0x170(%rbp)
1402de133:	4d 85 c0             	test   %r8,%r8
1402de136:	74 40                	je     0x1402de178
1402de138:	b8 cc 01 00 00       	mov    $0x1cc,%eax
1402de13d:	48 8d 8d 74 01 00 00 	lea    0x174(%rbp),%rcx
1402de144:	4c 3b c0             	cmp    %rax,%r8
1402de147:	77 0e                	ja     0x1402de157
1402de149:	48 8d 95 44 03 00 00 	lea    0x344(%rbp),%rdx
1402de150:	e8 0b 32 00 00       	call   0x1402e1360
1402de155:	eb 1a                	jmp    0x1402de171
1402de157:	4c 8b c0             	mov    %rax,%r8
1402de15a:	33 d2                	xor    %edx,%edx
1402de15c:	e8 9f 38 00 00       	call   0x1402e1a00
1402de161:	e8 42 e7 fd ff       	call   0x1402bc8a8
1402de166:	c7 00 22 00 00 00    	movl   $0x22,(%rax)
1402de16c:	e8 93 82 fd ff       	call   0x1402b6404
1402de171:	44 8b a5 70 01 00 00 	mov    0x170(%rbp),%r12d
1402de178:	85 db                	test   %ebx,%ebx
1402de17a:	0f 84 42 ff ff ff    	je     0x1402de0c2
1402de180:	41 3b df             	cmp    %r15d,%ebx
1402de183:	74 7b                	je     0x1402de200
1402de185:	45 85 e4             	test   %r12d,%r12d
1402de188:	74 76                	je     0x1402de200
1402de18a:	45 33 c0             	xor    %r8d,%r8d
1402de18d:	4c 8b d3             	mov    %rbx,%r10
1402de190:	45 33 c9             	xor    %r9d,%r9d
1402de193:	42 8b 8c 8d 74 01 00 	mov    0x174(%rbp,%r9,4),%ecx
1402de19a:	00
1402de19b:	41 8b c0             	mov    %r8d,%eax
1402de19e:	49 0f af ca          	imul   %r10,%rcx
1402de1a2:	48 03 c8             	add    %rax,%rcx
1402de1a5:	4c 8b c1             	mov    %rcx,%r8
1402de1a8:	42 89 8c 8d 74 01 00 	mov    %ecx,0x174(%rbp,%r9,4)
1402de1af:	00
1402de1b0:	49 c1 e8 20          	shr    $0x20,%r8
1402de1b4:	45 03 cf             	add    %r15d,%r9d
1402de1b7:	45 3b cc             	cmp    %r12d,%r9d
1402de1ba:	75 d7                	jne    0x1402de193
1402de1bc:	45 85 c0             	test   %r8d,%r8d
1402de1bf:	74 38                	je     0x1402de1f9
1402de1c1:	83 bd 70 01 00 00 73 	cmpl   $0x73,0x170(%rbp)
1402de1c8:	73 21                	jae    0x1402de1eb
1402de1ca:	8b 85 70 01 00 00    	mov    0x170(%rbp),%eax
1402de1d0:	44 89 84 85 74 01 00 	mov    %r8d,0x174(%rbp,%rax,4)
1402de1d7:	00
1402de1d8:	44 8b a5 70 01 00 00 	mov    0x170(%rbp),%r12d
1402de1df:	45 03 e7             	add    %r15d,%r12d
1402de1e2:	44 89 a5 70 01 00 00 	mov    %r12d,0x170(%rbp)
1402de1e9:	eb 15                	jmp    0x1402de200
1402de1eb:	45 33 e4             	xor    %r12d,%r12d
1402de1ee:	32 c0                	xor    %al,%al
1402de1f0:	44 89 a5 70 01 00 00 	mov    %r12d,0x170(%rbp)
1402de1f7:	eb 0a                	jmp    0x1402de203
1402de1f9:	44 8b a5 70 01 00 00 	mov    0x170(%rbp),%r12d
1402de200:	41 8a c7             	mov    %r15b,%al
1402de203:	84 c0                	test   %al,%al
1402de205:	0f 85 2b 02 00 00    	jne    0x1402de436
1402de20b:	45 33 e4             	xor    %r12d,%r12d
1402de20e:	44 89 a5 70 01 00 00 	mov    %r12d,0x170(%rbp)
1402de215:	48 8b 75 88          	mov    -0x78(%rbp),%rsi
1402de219:	48 8b de             	mov    %rsi,%rbx
1402de21c:	45 85 f6             	test   %r14d,%r14d
1402de21f:	0f 84 42 07 00 00    	je     0x1402de967
1402de225:	45 33 c0             	xor    %r8d,%r8d
1402de228:	45 33 c9             	xor    %r9d,%r9d
1402de22b:	42 8b 44 8d a4       	mov    -0x5c(%rbp,%r9,4),%eax
1402de230:	48 8d 0c 80          	lea    (%rax,%rax,4),%rcx
1402de234:	41 8b c0             	mov    %r8d,%eax
1402de237:	4c 8d 04 48          	lea    (%rax,%rcx,2),%r8
1402de23b:	46 89 44 8d a4       	mov    %r8d,-0x5c(%rbp,%r9,4)
1402de240:	45 03 cf             	add    %r15d,%r9d
1402de243:	49 c1 e8 20          	shr    $0x20,%r8
1402de247:	45 3b ce             	cmp    %r14d,%r9d
1402de24a:	75 df                	jne    0x1402de22b
1402de24c:	45 85 c0             	test   %r8d,%r8d
1402de24f:	0f 84 12 07 00 00    	je     0x1402de967
1402de255:	83 7d a0 73          	cmpl   $0x73,-0x60(%rbp)
1402de259:	0f 83 e5 06 00 00    	jae    0x1402de944
1402de25f:	8b 45 a0             	mov    -0x60(%rbp),%eax
1402de262:	44 89 44 85 a4       	mov    %r8d,-0x5c(%rbp,%rax,4)
1402de267:	44 01 7d a0          	add    %r15d,-0x60(%rbp)
1402de26b:	e9 f7 06 00 00       	jmp    0x1402de967
1402de270:	45 3b cc             	cmp    %r12d,%r9d
1402de273:	48 8d 95 74 01 00 00 	lea    0x174(%rbp),%rdx
1402de27a:	41 8b dc             	mov    %r12d,%ebx
1402de27d:	48 8d 8d 44 03 00 00 	lea    0x344(%rbp),%rcx
1402de284:	48 0f 43 ca          	cmovae %rdx,%rcx
1402de288:	4c 8d 85 44 03 00 00 	lea    0x344(%rbp),%r8
1402de28f:	41 0f 42 d9          	cmovb  %r9d,%ebx
1402de293:	48 89 4c 24 58       	mov    %rcx,0x58(%rsp)
1402de298:	0f 92 c0             	setb   %al
1402de29b:	89 5c 24 34          	mov    %ebx,0x34(%rsp)
1402de29f:	48 8d 95 74 01 00 00 	lea    0x174(%rbp),%rdx
1402de2a6:	49 0f 43 d0          	cmovae %r8,%rdx
1402de2aa:	84 c0                	test   %al,%al
1402de2ac:	48 89 54 24 40       	mov    %rdx,0x40(%rsp)
1402de2b1:	45 0f 45 cc          	cmovne %r12d,%r9d
1402de2b5:	45 33 e4             	xor    %r12d,%r12d
1402de2b8:	45 33 d2             	xor    %r10d,%r10d
1402de2bb:	44 89 a5 10 05 00 00 	mov    %r12d,0x510(%rbp)
1402de2c2:	85 db                	test   %ebx,%ebx
1402de2c4:	0f 84 19 01 00 00    	je     0x1402de3e3
1402de2ca:	42 8b 34 91          	mov    (%rcx,%r10,4),%esi
1402de2ce:	85 f6                	test   %esi,%esi
1402de2d0:	75 21                	jne    0x1402de2f3
1402de2d2:	45 3b d4             	cmp    %r12d,%r10d
1402de2d5:	0f 85 fc 00 00 00    	jne    0x1402de3d7
1402de2db:	42 21 b4 95 14 05 00 	and    %esi,0x514(%rbp,%r10,4)
1402de2e2:	00
1402de2e3:	45 8d 62 01          	lea    0x1(%r10),%r12d
1402de2e7:	44 89 a5 10 05 00 00 	mov    %r12d,0x510(%rbp)
1402de2ee:	e9 e4 00 00 00       	jmp    0x1402de3d7
1402de2f3:	45 33 db             	xor    %r11d,%r11d
1402de2f6:	45 8b c2             	mov    %r10d,%r8d
1402de2f9:	45 85 c9             	test   %r9d,%r9d
1402de2fc:	0f 84 c1 00 00 00    	je     0x1402de3c3
1402de302:	41 8b da             	mov    %r10d,%ebx
1402de305:	f7 db                	neg    %ebx
1402de307:	41 83 f8 73          	cmp    $0x73,%r8d
1402de30b:	74 60                	je     0x1402de36d
1402de30d:	41 8b f8             	mov    %r8d,%edi
1402de310:	8b cb                	mov    %ebx,%ecx
1402de312:	45 3b c4             	cmp    %r12d,%r8d
1402de315:	75 12                	jne    0x1402de329
1402de317:	83 a4 bd 14 05 00 00 	andl   $0x0,0x514(%rbp,%rdi,4)
1402de31e:	00
1402de31f:	41 8d 40 01          	lea    0x1(%r8),%eax
1402de323:	89 85 10 05 00 00    	mov    %eax,0x510(%rbp)
1402de329:	41 8b c0             	mov    %r8d,%eax
1402de32c:	45 03 c7             	add    %r15d,%r8d
1402de32f:	03 c1                	add    %ecx,%eax
1402de331:	8b 14 82             	mov    (%rdx,%rax,4),%edx
1402de334:	41 8b c3             	mov    %r11d,%eax
1402de337:	48 0f af d6          	imul   %rsi,%rdx
1402de33b:	48 03 d0             	add    %rax,%rdx
1402de33e:	8b 84 bd 14 05 00 00 	mov    0x514(%rbp,%rdi,4),%eax
1402de345:	48 03 d0             	add    %rax,%rdx
1402de348:	41 8d 04 18          	lea    (%r8,%rbx,1),%eax
1402de34c:	4c 8b da             	mov    %rdx,%r11
1402de34f:	89 94 bd 14 05 00 00 	mov    %edx,0x514(%rbp,%rdi,4)
1402de356:	44 8b a5 10 05 00 00 	mov    0x510(%rbp),%r12d
1402de35d:	49 c1 eb 20          	shr    $0x20,%r11
1402de361:	41 3b c1             	cmp    %r9d,%eax
1402de364:	74 07                	je     0x1402de36d
1402de366:	48 8b 54 24 40       	mov    0x40(%rsp),%rdx
1402de36b:	eb 9a                	jmp    0x1402de307
1402de36d:	45 85 db             	test   %r11d,%r11d
1402de370:	74 4d                	je     0x1402de3bf
1402de372:	41 83 f8 73          	cmp    $0x73,%r8d
1402de376:	0f 84 8f fe ff ff    	je     0x1402de20b
1402de37c:	41 8d 40 01          	lea    0x1(%r8),%eax
1402de380:	41 8b d0             	mov    %r8d,%edx
1402de383:	45 3b c4             	cmp    %r12d,%r8d
1402de386:	44 8b c0             	mov    %eax,%r8d
1402de389:	75 0e                	jne    0x1402de399
1402de38b:	83 a4 95 14 05 00 00 	andl   $0x0,0x514(%rbp,%rdx,4)
1402de392:	00
1402de393:	89 85 10 05 00 00    	mov    %eax,0x510(%rbp)
1402de399:	8b 84 95 14 05 00 00 	mov    0x514(%rbp,%rdx,4),%eax
1402de3a0:	41 8b cb             	mov    %r11d,%ecx
1402de3a3:	48 03 c8             	add    %rax,%rcx
1402de3a6:	89 8c 95 14 05 00 00 	mov    %ecx,0x514(%rbp,%rdx,4)
1402de3ad:	44 8b a5 10 05 00 00 	mov    0x510(%rbp),%r12d
1402de3b4:	48 c1 e9 20          	shr    $0x20,%rcx
1402de3b8:	44 8b d9             	mov    %ecx,%r11d
1402de3bb:	85 c9                	test   %ecx,%ecx
1402de3bd:	75 b3                	jne    0x1402de372
1402de3bf:	8b 5c 24 34          	mov    0x34(%rsp),%ebx
1402de3c3:	41 83 f8 73          	cmp    $0x73,%r8d
1402de3c7:	0f 84 3e fe ff ff    	je     0x1402de20b
1402de3cd:	48 8b 4c 24 58       	mov    0x58(%rsp),%rcx
1402de3d2:	48 8b 54 24 40       	mov    0x40(%rsp),%rdx
1402de3d7:	45 03 d7             	add    %r15d,%r10d
1402de3da:	44 3b d3             	cmp    %ebx,%r10d
1402de3dd:	0f 85 e7 fe ff ff    	jne    0x1402de2ca
1402de3e3:	45 8b c4             	mov    %r12d,%r8d
1402de3e6:	49 c1 e0 02          	shl    $0x2,%r8
1402de3ea:	44 89 a5 70 01 00 00 	mov    %r12d,0x170(%rbp)