1400ef0fe:	0f 85 27 ff ff ff    	jne    0x1400ef02b
1400ef104:	c7 06 03 00 00 00    	movl   $0x3,(%rsi)
1400ef10a:	e9 1c ff ff ff       	jmp    0x1400ef02b
1400ef10f:	90                   	nop
1400ef110:	44 8b 84 24 90 00 00 	mov    0x90(%rsp),%r8d
1400ef117:	00
1400ef118:	48 8d 4c 24 20       	lea    0x20(%rsp),%rcx
1400ef11d:	e8 be d8 ff ff       	call   0x1400ec9e0
1400ef122:	80 7c 24 28 15       	cmpb   $0x15,0x28(%rsp)
1400ef127:	b8 0b 00 00 00       	mov    $0xb,%eax
1400ef12c:	0f 84 ed fe ff ff    	je     0x1400ef01f
1400ef132:	e9 f6 fe ff ff       	jmp    0x1400ef02d
1400ef137:	c7 06 02 00 00 00    	movl   $0x2,(%rsi)
1400ef13d:	e9 e9 fe ff ff       	jmp    0x1400ef02b
1400ef142:	c7 06 04 00 00 00    	movl   $0x4,(%rsi)
1400ef148:	e9 de fe ff ff       	jmp    0x1400ef02b
1400ef14d:	e8 1e 57 0f 00       	call   0x1401e4870
1400ef152:	90                   	nop
1400ef153:	66 66 2e 0f 1f 84 00 	data16 cs nopw 0x0(%rax,%rax,1)
1400ef15a:	00 00 00 00
1400ef15e:	66 90                	xchg   %ax,%ax
1400ef160:	57                   	push   %rdi
1400ef161:	56                   	push   %rsi
1400ef162:	53                   	push   %rbx
1400ef163:	48 83 ec 20          	sub    $0x20,%rsp
1400ef167:	44 0f b6 59 4b       	movzbl 0x4b(%rcx),%r11d
1400ef16c:	48 89 cb             	mov    %rcx,%rbx
1400ef16f:	89 d7                	mov    %edx,%edi
1400ef171:	89 d6                	mov    %edx,%esi
1400ef173:	2b 71 10             	sub    0x10(%rcx),%esi
1400ef176:	78 60                	js     0x1400ef1d8
1400ef178:	85 f6                	test   %esi,%esi
1400ef17a:	0f 84 a0 00 00 00    	je     0x1400ef220
1400ef180:	44 8b 53 18          	mov    0x18(%rbx),%r10d
1400ef184:	44 39 d6             	cmp    %r10d,%esi
1400ef187:	0f 8d 73 01 00 00    	jge    0x1400ef300
1400ef18d:	8d 56 ff             	lea    -0x1(%rsi),%edx
1400ef190:	48 89 d9             	mov    %rbx,%rcx
1400ef193:	e8 48 dc ff ff       	call   0x1400ecde0
1400ef198:	89 43 34             	mov    %eax,0x34(%rbx)
1400ef19b:	45 84 db             	test   %r11b,%r11b
1400ef19e:	0f 85 bc 01 00 00    	jne    0x1400ef360
1400ef1a4:	41 29 f2             	sub    %esi,%r10d
1400ef1a7:	44 89 53 18          	mov    %r10d,0x18(%rbx)
1400ef1ab:	48 63 c6             	movslq %esi,%rax
1400ef1ae:	48 01 43 08          	add    %rax,0x8(%rbx)
1400ef1b2:	8b 43 28             	mov    0x28(%rbx),%eax
1400ef1b5:	29 73 30             	sub    %esi,0x30(%rbx)
1400ef1b8:	29 f0                	sub    %esi,%eax
1400ef1ba:	89 7b 10             	mov    %edi,0x10(%rbx)
1400ef1bd:	89 43 28             	mov    %eax,0x28(%rbx)
1400ef1c0:	89 43 14             	mov    %eax,0x14(%rbx)
1400ef1c3:	c7 43 20 00 00 00 00 	movl   $0x0,0x20(%rbx)
1400ef1ca:	48 83 c4 20          	add    $0x20,%rsp
1400ef1ce:	5b                   	pop    %rbx
1400ef1cf:	5e                   	pop    %rsi
1400ef1d0:	5f                   	pop    %rdi
1400ef1d1:	c3                   	ret
1400ef1d2:	66 0f 1f 44 00 00    	nopw   0x0(%rax,%rax,1)
1400ef1d8:	8b 41 24             	mov    0x24(%rcx),%eax
1400ef1db:	48 c7 41 10 00 00 00 	movq   $0x0,0x10(%rcx)
1400ef1e2:	00
1400ef1e3:	c7 41 18 00 00 00 00 	movl   $0x0,0x18(%rcx)
1400ef1ea:	89 41 28             	mov    %eax,0x28(%rcx)
1400ef1ed:	8b 41 2c             	mov    0x2c(%rcx),%eax
1400ef1f0:	c6 41 4c 00          	movb   $0x0,0x4c(%rcx)
1400ef1f4:	89 41 30             	mov    %eax,0x30(%rcx)
1400ef1f7:	44 89 c0             	mov    %r8d,%eax
1400ef1fa:	83 e0 01             	and    $0x1,%eax
1400ef1fd:	83 f8 01             	cmp    $0x1,%eax
1400ef200:	19 c0                	sbb    %eax,%eax
1400ef202:	83 e0 02             	and    $0x2,%eax
1400ef205:	83 c0 04             	add    $0x4,%eax
1400ef208:	89 41 34             	mov    %eax,0x34(%rcx)
1400ef20b:	45 84 db             	test   %r11b,%r11b
1400ef20e:	75 07                	jne    0x1400ef217
1400ef210:	48 8b 01             	mov    (%rcx),%rax
1400ef213:	48 89 41 08          	mov    %rax,0x8(%rcx)
1400ef217:	89 fe                	mov    %edi,%esi
1400ef219:	e9 5a ff ff ff       	jmp    0x1400ef178
1400ef21e:	66 90                	xchg   %ax,%ax
1400ef220:	89 7b 10             	mov    %edi,0x10(%rbx)
1400ef223:	8b 43 28             	mov    0x28(%rbx),%eax
1400ef226:	45 84 db             	test   %r11b,%r11b
1400ef229:	74 95                	je     0x1400ef1c0
1400ef22b:	0f 1f 44 00 00       	nopl   0x0(%rax,%rax,1)
1400ef230:	80 7b 48 00          	cmpb   $0x0,0x48(%rbx)
1400ef234:	0f 85 6e 01 00 00    	jne    0x1400ef3a8
1400ef23a:	48 8b 4b 38          	mov    0x38(%rbx),%rcx
1400ef23e:	48 85 c9             	test   %rcx,%rcx
1400ef241:	0f 84 7c ff ff ff    	je     0x1400ef1c3
1400ef247:	8b 53 1c             	mov    0x1c(%rbx),%edx
1400ef24a:	39 d0                	cmp    %edx,%eax
1400ef24c:	0f 4f c2             	cmovg  %edx,%eax
1400ef24f:	8b 53 14             	mov    0x14(%rbx),%edx
1400ef252:	39 d0                	cmp    %edx,%eax
1400ef254:	0f 8e 5b 01 00 00    	jle    0x1400ef3b5
1400ef25a:	4c 8b 03             	mov    (%rbx),%r8
1400ef25d:	01 d7                	add    %edx,%edi
1400ef25f:	48 63 ff             	movslq %edi,%rdi
1400ef262:	45 0f b6 04 38       	movzbl (%r8,%rdi,1),%r8d
1400ef267:	46 0f b6 0c 01       	movzbl (%rcx,%r8,1),%r9d
1400ef26c:	4c 8b 43 08          	mov    0x8(%rbx),%r8
1400ef270:	48 63 ca             	movslq %edx,%rcx
1400ef273:	83 c2 01             	add    $0x1,%edx
1400ef276:	45 88 0c 08          	mov    %r9b,(%r8,%rcx,1)
1400ef27a:	39 d0                	cmp    %edx,%eax
1400ef27c:	7e 6b                	jle    0x1400ef2e9
1400ef27e:	48 63 d2             	movslq %edx,%rdx
1400ef281:	66 66 2e 0f 1f 84 00 	data16 cs nopw 0x0(%rax,%rax,1)
1400ef288:	00 00 00 00
1400ef28c:	66 66 2e 0f 1f 84 00 	data16 cs nopw 0x0(%rax,%rax,1)
1400ef293:	00 00 00 00
1400ef297:	66 66 2e 0f 1f 84 00 	data16 cs nopw 0x0(%rax,%rax,1)
1400ef29e:	00 00 00 00
1400ef2a2:	66 66 2e 0f 1f 84 00 	data16 cs nopw 0x0(%rax,%rax,1)
1400ef2a9:	00 00 00 00
1400ef2ad:	66 66 2e 0f 1f 84 00 	data16 cs nopw 0x0(%rax,%rax,1)
1400ef2b4:	00 00 00 00
1400ef2b8:	0f 1f 84 00 00 00 00 	nopl   0x0(%rax,%rax,1)
1400ef2bf:	00
1400ef2c0:	8b 4b 10             	mov    0x10(%rbx),%ecx
1400ef2c3:	4c 8b 03             	mov    (%rbx),%r8
1400ef2c6:	01 d1                	add    %edx,%ecx
1400ef2c8:	48 63 c9             	movslq %ecx,%rcx
1400ef2cb:	41 0f b6 0c 08       	movzbl (%r8,%rcx,1),%ecx
1400ef2d0:	4c 8b 43 38          	mov    0x38(%rbx),%r8
1400ef2d4:	45 0f b6 04 08       	movzbl (%r8,%rcx,1),%r8d
1400ef2d9:	48 8b 4b 08          	mov    0x8(%rbx),%rcx
1400ef2dd:	44 88 04 11          	mov    %r8b,(%rcx,%rdx,1)
1400ef2e1:	48 83 c2 01          	add    $0x1,%rdx
1400ef2e5:	39 d0                	cmp    %edx,%eax
1400ef2e7:	7f d7                	jg     0x1400ef2c0
1400ef2e9:	66 0f 6e c8          	movd   %eax,%xmm1
1400ef2ed:	66 0f 70 c1 e0       	pshufd $0xe0,%xmm1,%xmm0
1400ef2f2:	66 0f d6 43 14       	movq   %xmm0,0x14(%rbx)
1400ef2f7:	e9 c7 fe ff ff       	jmp    0x1400ef1c3
1400ef2fc:	0f 1f 40 00          	nopl   0x0(%rax)
1400ef300:	8b 43 10             	mov    0x10(%rbx),%eax
1400ef303:	48 8b 13             	mov    (%rbx),%rdx
1400ef306:	c7 43 14 00 00 00 00 	movl   $0x0,0x14(%rbx)
1400ef30d:	01 f0                	add    %esi,%eax
1400ef30f:	48 98                	cltq
1400ef311:	0f b6 4c 02 ff       	movzbl -0x1(%rdx,%rax,1),%ecx
1400ef316:	48 8b 43 38          	mov    0x38(%rbx),%rax
1400ef31a:	c7 43 18 00 00 00 00 	movl   $0x0,0x18(%rbx)
1400ef321:	48 85 c0             	test   %rax,%rax
1400ef324:	74 04                	je     0x1400ef32a
1400ef326:	0f b6 0c 08          	movzbl (%rax,%rcx,1),%ecx
1400ef32a:	48 8b 53 40          	mov    0x40(%rbx),%rdx
1400ef32e:	0f b6 c1             	movzbl %cl,%eax
1400ef331:	48 c1 e8 05          	shr    $0x5,%rax
1400ef335:	8b 04 82             	mov    (%rdx,%rax,4),%eax
1400ef338:	d3 e8                	shr    %cl,%eax
1400ef33a:	83 e0 01             	and    $0x1,%eax
1400ef33d:	74 51                	je     0x1400ef390
1400ef33f:	89 43 34             	mov    %eax,0x34(%rbx)
1400ef342:	45 84 db             	test   %r11b,%r11b
1400ef345:	0f 84 60 fe ff ff    	je     0x1400ef1ab
1400ef34b:	8b 43 28             	mov    0x28(%rbx),%eax
1400ef34e:	29 73 30             	sub    %esi,0x30(%rbx)
1400ef351:	89 7b 10             	mov    %edi,0x10(%rbx)
1400ef354:	29 f0                	sub    %esi,%eax
1400ef356:	89 43 28             	mov    %eax,0x28(%rbx)
1400ef359:	e9 d2 fe ff ff       	jmp    0x1400ef230
1400ef35e:	66 90                	xchg   %ax,%ax
1400ef360:	44 8b 43 14          	mov    0x14(%rbx),%r8d
1400ef364:	48 8b 4b 08          	mov    0x8(%rbx),%rcx
1400ef368:	48 63 d6             	movslq %esi,%rdx
1400ef36b:	41 29 f0             	sub    %esi,%r8d
1400ef36e:	48 01 ca             	add    %rcx,%rdx
1400ef371:	4d 63 c0             	movslq %r8d,%r8
1400ef374:	e8 7f aa 0f 00       	call   0x1401e9df8
1400ef379:	29 73 14             	sub    %esi,0x14(%rbx)
1400ef37c:	44 0f b6 5b 4b       	movzbl 0x4b(%rbx),%r11d
1400ef381:	29 73 18             	sub    %esi,0x18(%rbx)
1400ef384:	eb bc                	jmp    0x1400ef342
1400ef386:	66 2e 0f 1f 84 00 00 	cs nopw 0x0(%rax,%rax,1)
1400ef38d:	00 00 00
1400ef390:	80 f9 0a             	cmp    $0xa,%cl
1400ef393:	75 aa                	jne    0x1400ef33f
1400ef395:	31 c0                	xor    %eax,%eax
1400ef397:	80 7b 4d 00          	cmpb   $0x0,0x4d(%rbx)
1400ef39b:	0f 95 c0             	setne  %al
1400ef39e:	01 c0                	add    %eax,%eax
1400ef3a0:	eb 9d                	jmp    0x1400ef33f
1400ef3a2:	66 0f 1f 44 00 00    	nopw   0x0(%rax,%rax,1)
1400ef3a8:	48 89 d9             	mov    %rbx,%rcx
1400ef3ab:	e8 a0 e2 ff ff       	call   0x1400ed650
1400ef3b0:	e9 0e fe ff ff       	jmp    0x1400ef1c3
1400ef3b5:	89 d0                	mov    %edx,%eax
1400ef3b7:	e9 2d ff ff ff       	jmp    0x1400ef2e9
1400ef3bc:	0f 1f 40 00          	nopl   0x0(%rax)
1400ef3c0:	55                   	push   %rbp
1400ef3c1:	57                   	push   %rdi
1400ef3c2:	56                   	push   %rsi
1400ef3c3:	53                   	push   %rbx
1400ef3c4:	48 83 ec 28          	sub    $0x28,%rsp
1400ef3c8:	48 8b 01             	mov    (%rcx),%rax
1400ef3cb:	48 89 cf             	mov    %rcx,%rdi
1400ef3ce:	48 85 c0             	test   %rax,%rax
1400ef3d1:	74 6d                	je     0x1400ef440
1400ef3d3:	48 83 79 10 00       	cmpq   $0x0,0x10(%rcx)
1400ef3d8:	74 66                	je     0x1400ef440
1400ef3da:	31 db                	xor    %ebx,%ebx
1400ef3dc:	eb 2f                	jmp    0x1400ef40d
1400ef3de:	66 66 2e 0f 1f 84 00 	data16 cs nopw 0x0(%rax,%rax,1)
1400ef3e5:	00 00 00 00
1400ef3e9:	66 66 2e 0f 1f 84 00 	data16 cs nopw 0x0(%rax,%rax,1)
1400ef3f0:	00 00 00 00
1400ef3f4:	66 66 2e 0f 1f 84 00 	data16 cs nopw 0x0(%rax,%rax,1)
1400ef3fb:	00 00 00 00
1400ef3ff:	90                   	nop
1400ef400:	48 83 c3 01          	add    $0x1,%rbx
1400ef404:	48 3b 5f 10          	cmp    0x10(%rdi),%rbx
1400ef408:	73 36                	jae    0x1400ef440
1400ef40a:	48 8b 07             	mov    (%rdi),%rax
1400ef40d:	48 89 da             	mov    %rbx,%rdx
1400ef410:	48 c1 e2 04          	shl    $0x4,%rdx
1400ef414:	48 01 d0             	add    %rdx,%rax
1400ef417:	8b 50 08             	mov    0x8(%rax),%edx
1400ef41a:	81 e2 ff 00 04 00    	and    $0x400ff,%edx
1400ef420:	83 fa 03             	cmp    $0x3,%edx
1400ef423:	75 db                	jne    0x1400ef400
1400ef425:	48 8b 08             	mov    (%rax),%rcx
1400ef428:	48 83 c3 01          	add    $0x1,%rbx
1400ef42c:	e8 0f a9 0f 00       	call   0x1401e9d40
1400ef431:	48 3b 5f 10          	cmp    0x10(%rdi),%rbx
1400ef435:	72 d3                	jb     0x1400ef40a
1400ef437:	66 0f 1f 84 00 00 00 	nopw   0x0(%rax,%rax,1)
1400ef43e:	00 00
1400ef440:	48 8b 4f 18          	mov    0x18(%rdi),%rcx
1400ef444:	31 db                	xor    %ebx,%ebx
1400ef446:	31 f6                	xor    %esi,%esi
1400ef448:	e8 f3 a8 0f 00       	call   0x1401e9d40
1400ef44d:	48 83 7f 10 00       	cmpq   $0x0,0x10(%rdi)
1400ef452:	74 53                	je     0x1400ef4a7
1400ef454:	66 66 2e 0f 1f 84 00 	data16 cs nopw 0x0(%rax,%rax,1)
1400ef45b:	00 00 00 00
1400ef45f:	90                   	nop
1400ef460:	48 8b 47 30          	mov    0x30(%rdi),%rax
1400ef464:	48 85 c0             	test   %rax,%rax
1400ef467:	74 0a                	je     0x1400ef473
1400ef469:	48 8b 4c 18 08       	mov    0x8(%rax,%rbx,1),%rcx
1400ef46e:	e8 cd a8 0f 00       	call   0x1401e9d40
1400ef473:	48 8b 47 38          	mov    0x38(%rdi),%rax
1400ef477:	48 85 c0             	test   %rax,%rax
1400ef47a:	74 0a                	je     0x1400ef486
1400ef47c:	48 8b 4c 18 08       	mov    0x8(%rax,%rbx,1),%rcx
1400ef481:	e8 ba a8 0f 00       	call   0x1401e9d40
1400ef486:	48 8b 47 28          	mov    0x28(%rdi),%rax
1400ef48a:	48 85 c0             	test   %rax,%rax
1400ef48d:	74 0a                	je     0x1400ef499
1400ef48f:	48 8b 4c 18 08       	mov    0x8(%rax,%rbx,1),%rcx
1400ef494:	e8 a7 a8 0f 00       	call   0x1401e9d40
1400ef499:	48 83 c6 01          	add    $0x1,%rsi
1400ef49d:	48 83 c3 10          	add    $0x10,%rbx
1400ef4a1:	48 3b 77 10          	cmp    0x10(%rdi),%rsi
1400ef4a5:	72 b9                	jb     0x1400ef460
1400ef4a7:	48 8b 4f 28          	mov    0x28(%rdi),%rcx
1400ef4ab:	31 ed                	xor    %ebp,%ebp
1400ef4ad:	e8 8e a8 0f 00       	call   0x1401e9d40
1400ef4b2:	48 8b 4f 30          	mov    0x30(%rdi),%rcx
1400ef4b6:	e8 85 a8 0f 00       	call   0x1401e9d40
1400ef4bb:	48 8b 4f 38          	mov    0x38(%rdi),%rcx
1400ef4bf:	e8 7c a8 0f 00       	call   0x1401e9d40
1400ef4c4:	48 8b 0f             	mov    (%rdi),%rcx
1400ef4c7:	e8 74 a8 0f 00       	call   0x1401e9d40
1400ef4cc:	48 8b 4f 40          	mov    0x40(%rdi),%rcx
1400ef4d0:	48 85 c9             	test   %rcx,%rcx
1400ef4d3:	74 59                	je     0x1400ef52e
1400ef4d5:	66 66 2e 0f 1f 84 00 	data16 cs nopw 0x0(%rax,%rax,1)
1400ef4dc:	00 00 00 00
1400ef4e0:	48 89 e8             	mov    %rbp,%rax
1400ef4e3:	31 db                	xor    %ebx,%ebx
1400ef4e5:	48 c1 e0 04          	shl    $0x4,%rax
1400ef4e9:	48 8d 34 01          	lea    (%rcx,%rax,1),%rsi
1400ef4ed:	8b 06                	mov    (%rsi),%eax
1400ef4ef:	85 c0                	test   %eax,%eax
1400ef4f1:	7e 22                	jle    0x1400ef515
1400ef4f3:	66 66 2e 0f 1f 84 00 	data16 cs nopw 0x0(%rax,%rax,1)
1400ef4fa:	00 00 00 00
1400ef4fe:	66 90                	xchg   %ax,%ax
1400ef500:	48 8b 46 08          	mov    0x8(%rsi),%rax
1400ef504:	48 8b 0c d8          	mov    (%rax,%rbx,8),%rcx
1400ef508:	48 83 c3 01          	add    $0x1,%rbx
1400ef50c:	e8 ff e1 ff ff       	call   0x1400ed710
1400ef511:	39 1e                	cmp    %ebx,(%rsi)
1400ef513:	7f eb                	jg     0x1400ef500
1400ef515:	48 8b 4e 08          	mov    0x8(%rsi),%rcx
1400ef519:	48 83 c5 01          	add    $0x1,%rbp
1400ef51d:	e8 1e a8 0f 00       	call   0x1401e9d40
1400ef522:	48 8b 4f 40          	mov    0x40(%rdi),%rcx
1400ef526:	39 af 84 00 00 00    	cmp    %ebp,0x84(%rdi)
1400ef52c:	73 b2                	jae    0x1400ef4e0
1400ef52e:	e8 0d a8 0f 00       	call   0x1401e9d40
1400ef533:	48 8b 8f c8 00 00 00 	mov    0xc8(%rdi),%rcx
1400ef53a:	e8 01 a8 0f 00       	call   0x1401e9d40
1400ef53f:	48 89 f9             	mov    %rdi,%rcx
1400ef542:	48 83 c4 28          	add    $0x28,%rsp
1400ef546:	5b                   	pop    %rbx
1400ef547:	5e                   	pop    %rsi
1400ef548:	5f                   	pop    %rdi
1400ef549:	5d                   	pop    %rbp
1400ef54a:	e9 f1 a7 0f 00       	jmp    0x1401e9d40
1400ef54f:	90                   	nop
1400ef550:	41 57                	push   %r15
1400ef552:	41 56                	push   %r14
1400ef554:	41 55                	push   %r13
1400ef556:	41 54                	push   %r12
1400ef558:	55                   	push   %rbp
1400ef559:	57                   	push   %rdi
1400ef55a:	56                   	push   %rsi
1400ef55b:	53                   	push   %rbx
1400ef55c:	48 83 ec 58          	sub    $0x58,%rsp
1400ef560:	8b ac 24 c8 00 00 00 	mov    0xc8(%rsp),%ebp
1400ef567:	4c 8b 61 58          	mov    0x58(%rcx),%r12
1400ef56b:	48 89 cb             	mov    %rcx,%rbx
1400ef56e:	48 89 d7             	mov    %rdx,%rdi
1400ef571:	44 89 ca             	mov    %r9d,%edx
1400ef574:	44 89 ce             	mov    %r9d,%esi
1400ef577:	44 89 84 24 b0 00 00 	mov    %r8d,0xb0(%rsp)
1400ef57e:	00
1400ef57f:	e8 cc d7 ff ff       	call   0x1400ecd50
1400ef584:	48 89 d9             	mov    %rbx,%rcx
1400ef587:	89 ea                	mov    %ebp,%edx
1400ef589:	41 89 c5             	mov    %eax,%r13d
1400ef58c:	e8 bf d7 ff ff       	call   0x1400ecd50
1400ef591:	89 c1                	mov    %eax,%ecx
1400ef593:	48 63 47 04          	movslq 0x4(%rdi),%rax
1400ef597:	85 c0                	test   %eax,%eax
1400ef599:	0f 8e 40 01 00 00    	jle    0x1400ef6df
1400ef59f:	4d 8b 34 24          	mov    (%r12),%r14
1400ef5a3:	4c 8b 67 08          	mov    0x8(%rdi),%r12
1400ef5a7:	44 89 6c 24 3c       	mov    %r13d,0x3c(%rsp)
1400ef5ac:	89 4c 24 48          	mov    %ecx,0x48(%rsp)
1400ef5b0:	4c 8b bb 88 00 00 00 	mov    0x88(%rbx),%r15
1400ef5b7:	49 8d 04 84          	lea    (%r12,%rax,4),%rax
1400ef5bb:	48 89 44 24 40       	mov    %rax,0x40(%rsp)
1400ef5c0:	49 63 04 24          	movslq (%r12),%rax
1400ef5c4:	48 8d 04 80          	lea    (%rax,%rax,4),%rax
1400ef5c8:	49 8d 14 87          	lea    (%r15,%rax,4),%rdx
1400ef5cc:	48 63 02             	movslq (%rdx),%rax
1400ef5cf:	8b 7a 08             	mov    0x8(%rdx),%edi
1400ef5d2:	48 c1 e0 04          	shl    $0x4,%rax
1400ef5d6:	45 8b 04 06          	mov    (%r14,%rax,1),%r8d
1400ef5da:	39 fe                	cmp    %edi,%esi
1400ef5dc:	0f 8c 4d 01 00 00    	jl     0x1400ef72f
1400ef5e2:	44 8b 6a 0c          	mov    0xc(%rdx),%r13d
1400ef5e6:	44 39 ee             	cmp    %r13d,%esi