14016e1cc:	80 fa 19             	cmp    $0x19,%dl
14016e1cf:	41 8d 48 e0          	lea    -0x20(%r8),%ecx
14016e1d3:	44 0f b6 c9          	movzbl %cl,%r9d
14016e1d7:	41 8d 4a e0          	lea    -0x20(%r10),%ecx
14016e1db:	45 0f 47 c8          	cmova  %r8d,%r9d
14016e1df:	0f b6 d1             	movzbl %cl,%edx
14016e1e2:	45 8d 42 9f          	lea    -0x61(%r10),%r8d
14016e1e6:	41 80 f8 19          	cmp    $0x19,%r8b
14016e1ea:	41 0f 47 d2          	cmova  %r10d,%edx
14016e1ee:	44 3a ca             	cmp    %dl,%r9b
14016e1f1:	74 1b                	je     0x14016e20e
14016e1f3:	ff c3                	inc    %ebx
14016e1f5:	48 83 c7 08          	add    $0x8,%rdi
14016e1f9:	89 5d bf             	mov    %ebx,-0x41(%rbp)
14016e1fc:	83 fb 07             	cmp    $0x7,%ebx
14016e1ff:	0f 8c 6b ff ff ff    	jl     0x14016e170
14016e205:	c7 45 bf ff ff ff ff 	movl   $0xffffffff,-0x41(%rbp)
14016e20c:	eb 09                	jmp    0x14016e217
14016e20e:	83 fb ff             	cmp    $0xffffffff,%ebx
14016e211:	0f 85 89 01 00 00    	jne    0x14016e3a0
14016e217:	41 83 fd ff          	cmp    $0xffffffff,%r13d
14016e21b:	0f 85 b2 00 00 00    	jne    0x14016e2d3
14016e221:	48 8d 3d b8 a1 1c 00 	lea    0x1ca1b8(%rip),%rdi        # 0x1403383e0
14016e228:	44 8b ee             	mov    %esi,%r13d
14016e22b:	0f 1f 44 00 00       	nopl   0x0(%rax,%rax,1)
14016e230:	4c 8b 1f             	mov    (%rdi),%r11
14016e233:	4c 8d 55 ff          	lea    -0x1(%rbp),%r10
14016e237:	84 c0                	test   %al,%al
14016e239:	74 42                	je     0x14016e27d
14016e23b:	0f 1f 44 00 00       	nopl   0x0(%rax,%rax,1)
14016e240:	45 0f b6 0b          	movzbl (%r11),%r9d
14016e244:	45 84 c9             	test   %r9b,%r9b
14016e247:	74 34                	je     0x14016e27d
14016e249:	45 0f b6 02          	movzbl (%r10),%r8d
14016e24d:	41 8d 48 e0          	lea    -0x20(%r8),%ecx
14016e251:	0f b6 d9             	movzbl %cl,%ebx
14016e254:	41 8d 50 9f          	lea    -0x61(%r8),%edx
14016e258:	80 fa 19             	cmp    $0x19,%dl
14016e25b:	41 8d 49 9f          	lea    -0x61(%r9),%ecx
14016e25f:	41 0f 47 d8          	cmova  %r8d,%ebx
14016e263:	80 f9 19             	cmp    $0x19,%cl
14016e266:	77 04                	ja     0x14016e26c
14016e268:	41 80 e9 20          	sub    $0x20,%r9b
14016e26c:	41 3a d9             	cmp    %r9b,%bl
14016e26f:	75 0c                	jne    0x14016e27d
14016e271:	49 ff c2             	inc    %r10
14016e274:	49 ff c3             	inc    %r11
14016e277:	41 80 3a 00          	cmpb   $0x0,(%r10)
14016e27b:	75 c3                	jne    0x14016e240
14016e27d:	45 0f b6 02          	movzbl (%r10),%r8d
14016e281:	45 0f b6 13          	movzbl (%r11),%r10d
14016e285:	41 8d 50 9f          	lea    -0x61(%r8),%edx
14016e289:	80 fa 19             	cmp    $0x19,%dl
14016e28c:	41 8d 48 e0          	lea    -0x20(%r8),%ecx
14016e290:	44 0f b6 c9          	movzbl %cl,%r9d
14016e294:	41 8d 4a e0          	lea    -0x20(%r10),%ecx
14016e298:	45 0f 47 c8          	cmova  %r8d,%r9d
14016e29c:	0f b6 d1             	movzbl %cl,%edx
14016e29f:	45 8d 42 9f          	lea    -0x61(%r10),%r8d
14016e2a3:	41 80 f8 19          	cmp    $0x19,%r8b
14016e2a7:	41 0f 47 d2          	cmova  %r10d,%edx
14016e2ab:	44 3a ca             	cmp    %dl,%r9b
14016e2ae:	74 19                	je     0x14016e2c9
14016e2b0:	48 83 c7 08          	add    $0x8,%rdi
14016e2b4:	41 ff c5             	inc    %r13d
14016e2b7:	41 83 fd 0c          	cmp    $0xc,%r13d
14016e2bb:	0f 8c 6f ff ff ff    	jl     0x14016e230
14016e2c1:	41 bd ff ff ff ff    	mov    $0xffffffff,%r13d
14016e2c7:	eb 0a                	jmp    0x14016e2d3
14016e2c9:	41 83 fd ff          	cmp    $0xffffffff,%r13d
14016e2cd:	0f 85 ca 00 00 00    	jne    0x14016e39d
14016e2d3:	41 83 ff ff          	cmp    $0xffffffff,%r15d
14016e2d7:	0f 85 8f 00 00 00    	jne    0x14016e36c
14016e2dd:	48 8d 3d 5c a2 1c 00 	lea    0x1ca25c(%rip),%rdi        # 0x140338540
14016e2e4:	4c 8d 55 ff          	lea    -0x1(%rbp),%r10
14016e2e8:	4c 8b df             	mov    %rdi,%r11
14016e2eb:	84 c0                	test   %al,%al
14016e2ed:	74 3b                	je     0x14016e32a
14016e2ef:	90                   	nop
14016e2f0:	41 0f b6 0b          	movzbl (%r11),%ecx
14016e2f4:	84 c9                	test   %cl,%cl
14016e2f6:	74 32                	je     0x14016e32a
14016e2f8:	45 0f b6 0a          	movzbl (%r10),%r9d
14016e2fc:	41 8d 51 e0          	lea    -0x20(%r9),%edx
14016e300:	0f b6 da             	movzbl %dl,%ebx
14016e303:	45 8d 41 9f          	lea    -0x61(%r9),%r8d
14016e307:	41 80 f8 19          	cmp    $0x19,%r8b
14016e30b:	8d 51 9f             	lea    -0x61(%rcx),%edx
14016e30e:	41 0f 47 d9          	cmova  %r9d,%ebx
14016e312:	80 fa 19             	cmp    $0x19,%dl
14016e315:	77 03                	ja     0x14016e31a
14016e317:	80 e9 20             	sub    $0x20,%cl
14016e31a:	3a d9                	cmp    %cl,%bl
14016e31c:	75 0c                	jne    0x14016e32a
14016e31e:	49 ff c2             	inc    %r10
14016e321:	49 ff c3             	inc    %r11
14016e324:	41 80 3a 00          	cmpb   $0x0,(%r10)
14016e328:	75 c6                	jne    0x14016e2f0
14016e32a:	45 0f b6 02          	movzbl (%r10),%r8d
14016e32e:	45 0f b6 13          	movzbl (%r11),%r10d
14016e332:	41 8d 50 9f          	lea    -0x61(%r8),%edx
14016e336:	80 fa 19             	cmp    $0x19,%dl
14016e339:	41 8d 48 e0          	lea    -0x20(%r8),%ecx
14016e33d:	44 0f b6 c9          	movzbl %cl,%r9d
14016e341:	41 8d 4a e0          	lea    -0x20(%r10),%ecx
14016e345:	45 0f 47 c8          	cmova  %r8d,%r9d
14016e349:	0f b6 d1             	movzbl %cl,%edx
14016e34c:	45 8d 42 9f          	lea    -0x61(%r10),%r8d
14016e350:	41 80 f8 19          	cmp    $0x19,%r8b
14016e354:	41 0f 47 d2          	cmova  %r10d,%edx
14016e358:	44 3a ca             	cmp    %dl,%r9b
14016e35b:	74 3b                	je     0x14016e398
14016e35d:	48 83 c7 0c          	add    $0xc,%rdi
14016e361:	ff c6                	inc    %esi
14016e363:	83 fe 45             	cmp    $0x45,%esi
14016e366:	0f 82 78 ff ff ff    	jb     0x14016e2e4
14016e36c:	b8 ff ff ff ff       	mov    $0xffffffff,%eax
14016e371:	48 8b 4d 1f          	mov    0x1f(%rbp),%rcx
14016e375:	48 33 cc             	xor    %rsp,%rcx
14016e378:	e8 c3 c2 18 00       	call   0x1402fa640
14016e37d:	48 8b 9c 24 f0 00 00 	mov    0xf0(%rsp),%rbx
14016e384:	00
14016e385:	48 81 c4 a0 00 00 00 	add    $0xa0,%rsp
14016e38c:	41 5f                	pop    %r15
14016e38e:	41 5e                	pop    %r14
14016e390:	41 5d                	pop    %r13
14016e392:	41 5c                	pop    %r12
14016e394:	5f                   	pop    %rdi
14016e395:	5e                   	pop    %rsi
14016e396:	5d                   	pop    %rbp
14016e397:	c3                   	ret
14016e398:	44 6b 7f 08 3c       	imul   $0x3c,0x8(%rdi),%r15d
14016e39d:	8b 5d bf             	mov    -0x41(%rbp),%ebx
14016e3a0:	8b 7d b7             	mov    -0x49(%rbp),%edi
14016e3a3:	4d 03 f4             	add    %r12,%r14
14016e3a6:	e9 57 02 00 00       	jmp    0x14016e602
14016e3ab:	3c 80                	cmp    $0x80,%al
14016e3ad:	0f 83 5a 02 00 00    	jae    0x14016e60d
14016e3b3:	42 f6 84 02 a0 c0 33 	testb  $0x4,0x33c0a0(%rdx,%r8,1)
14016e3ba:	00 04
14016e3bc:	0f 84 4b 02 00 00    	je     0x14016e60d
14016e3c2:	89 75 c7             	mov    %esi,-0x39(%rbp)
14016e3c5:	41 83 f9 ff          	cmp    $0xffffffff,%r9d
14016e3c9:	75 77                	jne    0x14016e442
14016e3cb:	48 8d 45 c7          	lea    -0x39(%rbp),%rax
14016e3cf:	49 8b ce             	mov    %r14,%rcx
14016e3d2:	48 89 44 24 28       	mov    %rax,0x28(%rsp)
14016e3d7:	4c 8d 4d d3          	lea    -0x2d(%rbp),%r9
14016e3db:	48 8d 45 c3          	lea    -0x3d(%rbp),%rax
14016e3df:	4c 8d 45 cf          	lea    -0x31(%rbp),%r8
14016e3e3:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
14016e3e8:	48 8d 15 d1 f7 1c 00 	lea    0x1cf7d1(%rip),%rdx        # 0x14033dbc0
14016e3ef:	e8 dc 78 f5 ff       	call   0x1400c5cd0
14016e3f4:	83 f8 03             	cmp    $0x3,%eax
14016e3f7:	75 0c                	jne    0x14016e405
14016e3f9:	48 63 45 c7          	movslq -0x39(%rbp),%rax
14016e3fd:	4c 03 f0             	add    %rax,%r14
14016e400:	e9 fd 01 00 00       	jmp    0x14016e602
14016e405:	83 7d c3 ff          	cmpl   $0xffffffff,-0x3d(%rbp)
14016e409:	75 37                	jne    0x14016e442
14016e40b:	48 8d 45 c7          	lea    -0x39(%rbp),%rax
14016e40f:	49 8b ce             	mov    %r14,%rcx
14016e412:	4c 8d 4d d3          	lea    -0x2d(%rbp),%r9
14016e416:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
14016e41b:	4c 8d 45 cf          	lea    -0x31(%rbp),%r8
14016e41f:	48 8d 15 b2 f7 1c 00 	lea    0x1cf7b2(%rip),%rdx        # 0x14033dbd8
14016e426:	e8 a5 78 f5 ff       	call   0x1400c5cd0
14016e42b:	83 f8 02             	cmp    $0x2,%eax
14016e42e:	75 12                	jne    0x14016e442
14016e430:	48 63 45 c7          	movslq -0x39(%rbp),%rax
14016e434:	44 8b ce             	mov    %esi,%r9d
14016e437:	4c 03 f0             	add    %rax,%r14
14016e43a:	89 75 c3             	mov    %esi,-0x3d(%rbp)
14016e43d:	e9 c4 01 00 00       	jmp    0x14016e606
14016e442:	ff 15 d0 bb 1b 00    	call   *0x1bbbd0(%rip)        # 0x14032a018
14016e448:	8b 18                	mov    (%rax),%ebx
14016e44a:	ff 15 c8 bb 1b 00    	call   *0x1bbbc8(%rip)        # 0x14032a018
14016e450:	41 b8 0a 00 00 00    	mov    $0xa,%r8d
14016e456:	48 8d 55 ef          	lea    -0x11(%rbp),%rdx
14016e45a:	49 8b ce             	mov    %r14,%rcx
14016e45d:	89 30                	mov    %esi,(%rax)
14016e45f:	ff 15 f3 b9 1b 00    	call   *0x1bb9f3(%rip)        # 0x140329e58
14016e465:	8b f0                	mov    %eax,%esi
14016e467:	ff 15 ab bb 1b 00    	call   *0x1bbbab(%rip)        # 0x14032a018
14016e46d:	8b 38                	mov    (%rax),%edi
14016e46f:	ff 15 a3 bb 1b 00    	call   *0x1bbba3(%rip)        # 0x14032a018
14016e475:	39 18                	cmp    %ebx,(%rax)
14016e477:	74 08                	je     0x14016e481
14016e479:	ff 15 99 bb 1b 00    	call   *0x1bbb99(%rip)        # 0x14032a018
14016e47f:	89 18                	mov    %ebx,(%rax)
14016e481:	85 ff                	test   %edi,%edi
14016e483:	0f 85 e3 fe ff ff    	jne    0x14016e36c
14016e489:	8b ce                	mov    %esi,%ecx
14016e48b:	e8 d0 a4 00 00       	call   0x140178960
14016e490:	4c 8b 4d ef          	mov    -0x11(%rbp),%r9
14016e494:	44 8b c0             	mov    %eax,%r8d
14016e497:	41 83 ff ff          	cmp    $0xffffffff,%r15d
14016e49b:	75 66                	jne    0x14016e503
14016e49d:	49 8b c1             	mov    %r9,%rax
14016e4a0:	49 2b c6             	sub    %r14,%rax
14016e4a3:	48 83 f8 04          	cmp    $0x4,%rax
14016e4a7:	75 5a                	jne    0x14016e503
14016e4a9:	41 81 f8 78 05 00 00 	cmp    $0x578,%r8d
14016e4b0:	0f 8f ca 00 00 00    	jg     0x14016e580
14016e4b6:	4c 39 75 f7          	cmp    %r14,-0x9(%rbp)
14016e4ba:	0f 83 c0 00 00 00    	jae    0x14016e580
14016e4c0:	41 0f b6 4e ff       	movzbl -0x1(%r14),%ecx
14016e4c5:	8d 41 d5             	lea    -0x2b(%rcx),%eax
14016e4c8:	a8 fd                	test   $0xfd,%al
14016e4ca:	0f 85 b0 00 00 00    	jne    0x14016e580
14016e4d0:	8b 7d b7             	mov    -0x49(%rbp),%edi
14016e4d3:	b8 1f 85 eb 51       	mov    $0x51eb851f,%eax
14016e4d8:	41 f7 e8             	imul   %r8d
14016e4db:	c1 fa 05             	sar    $0x5,%edx
14016e4de:	8b c2                	mov    %edx,%eax
14016e4e0:	c1 e8 1f             	shr    $0x1f,%eax
14016e4e3:	03 d0                	add    %eax,%edx
14016e4e5:	8d 04 92             	lea    (%rdx,%rdx,4),%eax
14016e4e8:	c1 e0 03             	shl    $0x3,%eax
14016e4eb:	44 2b c0             	sub    %eax,%r8d
14016e4ee:	45 6b f8 3c          	imul   $0x3c,%r8d,%r15d
14016e4f2:	80 f9 2b             	cmp    $0x2b,%cl
14016e4f5:	0f 85 01 01 00 00    	jne    0x14016e5fc
14016e4fb:	41 f7 df             	neg    %r15d
14016e4fe:	e9 f9 00 00 00       	jmp    0x14016e5fc
14016e503:	8b 4d bb             	mov    -0x45(%rbp),%ecx
14016e506:	49 8b c1             	mov    %r9,%rax
14016e509:	8b 7d b7             	mov    -0x49(%rbp),%edi
14016e50c:	49 2b c6             	sub    %r14,%rax
14016e50f:	48 83 f8 08          	cmp    $0x8,%rax
14016e513:	75 71                	jne    0x14016e586
14016e515:	83 f9 ff             	cmp    $0xffffffff,%ecx
14016e518:	75 6c                	jne    0x14016e586
14016e51a:	44 3b e9             	cmp    %ecx,%r13d
14016e51d:	75 67                	jne    0x14016e586
14016e51f:	3b f9                	cmp    %ecx,%edi
14016e521:	75 63                	jne    0x14016e586
14016e523:	b8 ad 8b db 68       	mov    $0x68db8bad,%eax
14016e528:	41 8b c8             	mov    %r8d,%ecx
14016e52b:	41 f7 e8             	imul   %r8d
14016e52e:	41 8b f8             	mov    %r8d,%edi
14016e531:	44 8b d2             	mov    %edx,%r10d
14016e534:	41 c1 fa 0c          	sar    $0xc,%r10d
14016e538:	41 8b c2             	mov    %r10d,%eax
14016e53b:	c1 e8 1f             	shr    $0x1f,%eax
14016e53e:	44 03 d0             	add    %eax,%r10d
14016e541:	41 69 c2 10 27 00 00 	imul   $0x2710,%r10d,%eax
14016e548:	44 89 55 bb          	mov    %r10d,-0x45(%rbp)
14016e54c:	2b c8                	sub    %eax,%ecx
14016e54e:	b8 1f 85 eb 51       	mov    $0x51eb851f,%eax
14016e553:	f7 e9                	imul   %ecx
14016e555:	b8 1f 85 eb 51       	mov    $0x51eb851f,%eax
14016e55a:	c1 fa 05             	sar    $0x5,%edx
14016e55d:	44 8b ea             	mov    %edx,%r13d
14016e560:	ff ca                	dec    %edx
14016e562:	41 c1 ed 1f          	shr    $0x1f,%r13d
14016e566:	44 03 ea             	add    %edx,%r13d
14016e569:	41 f7 e8             	imul   %r8d
14016e56c:	c1 fa 05             	sar    $0x5,%edx
14016e56f:	8b c2                	mov    %edx,%eax
14016e571:	c1 e8 1f             	shr    $0x1f,%eax
14016e574:	03 d0                	add    %eax,%edx
14016e576:	6b c2 64             	imul   $0x64,%edx,%eax
14016e579:	2b f8                	sub    %eax,%edi
14016e57b:	89 7d b7             	mov    %edi,-0x49(%rbp)
14016e57e:	eb 7c                	jmp    0x14016e5fc
14016e580:	8b 7d b7             	mov    -0x49(%rbp),%edi
14016e583:	8b 4d bb             	mov    -0x45(%rbp),%ecx
14016e586:	45 85 e4             	test   %r12d,%r12d
14016e589:	75 2d                	jne    0x14016e5b8
14016e58b:	83 ff ff             	cmp    $0xffffffff,%edi
14016e58e:	0f 85 d8 fd ff ff    	jne    0x14016e36c
14016e594:	41 8d 40 ff          	lea    -0x1(%r8),%eax
14016e598:	83 f8 1e             	cmp    $0x1e,%eax
14016e59b:	77 10                	ja     0x14016e5ad
14016e59d:	41 8b f8             	mov    %r8d,%edi
14016e5a0:	44 89 45 b7          	mov    %r8d,-0x49(%rbp)
14016e5a4:	c7 45 cb 01 00 00 00 	movl   $0x1,-0x35(%rbp)
14016e5ab:	eb 4f                	jmp    0x14016e5fc
14016e5ad:	41 bc 01 00 00 00    	mov    $0x1,%r12d
14016e5b3:	89 7d b7             	mov    %edi,-0x49(%rbp)
14016e5b6:	eb 0a                	jmp    0x14016e5c2
14016e5b8:	41 83 fc 01          	cmp    $0x1,%r12d
14016e5bc:	0f 85 aa fd ff ff    	jne    0x14016e36c
14016e5c2:	83 f9 ff             	cmp    $0xffffffff,%ecx
14016e5c5:	0f 85 a1 fd ff ff    	jne    0x14016e36c
14016e5cb:	44 89 45 bb          	mov    %r8d,-0x45(%rbp)
14016e5cf:	41 83 f8 64          	cmp    $0x64,%r8d
14016e5d3:	7d 17                	jge    0x14016e5ec
14016e5d5:	41 8d 80 6c 07 00 00 	lea    0x76c(%r8),%eax
14016e5dc:	41 83 f8 46          	cmp    $0x46,%r8d
14016e5e0:	7f 07                	jg     0x14016e5e9
14016e5e2:	41 8d 80 d0 07 00 00 	lea    0x7d0(%r8),%eax
14016e5e9:	89 45 bb             	mov    %eax,-0x45(%rbp)
14016e5ec:	83 ff ff             	cmp    $0xffffffff,%edi
14016e5ef:	b8 00 00 00 00       	mov    $0x0,%eax
14016e5f4:	44 0f 44 e0          	cmove  %eax,%r12d
14016e5f8:	44 89 65 cb          	mov    %r12d,-0x35(%rbp)
14016e5fc:	8b 5d bf             	mov    -0x41(%rbp),%ebx
14016e5ff:	4d 8b f1             	mov    %r9,%r14
14016e602:	44 8b 4d c3          	mov    -0x3d(%rbp),%r9d
14016e606:	4c 8d 05 f3 19 e9 ff 	lea    -0x16e60d(%rip),%r8        # 0x140000000
14016e60d:	8b 45 d7             	mov    -0x29(%rbp),%eax
14016e610:	44 8b 65 cb          	mov    -0x35(%rbp),%r12d
14016e614:	ff c0                	inc    %eax
14016e616:	41 80 3e 00          	cmpb   $0x0,(%r14)
14016e61a:	89 45 d7             	mov    %eax,-0x29(%rbp)
14016e61d:	0f 85 73 fa ff ff    	jne    0x14016e096
14016e623:	8b 75 bb             	mov    -0x45(%rbp),%esi
14016e626:	33 c9                	xor    %ecx,%ecx
14016e628:	41 83 f9 ff          	cmp    $0xffffffff,%r9d
14016e62c:	74 0a                	je     0x14016e638
14016e62e:	44 8b 55 cf          	mov    -0x31(%rbp),%r10d
14016e632:	44 8b 5d d3          	mov    -0x2d(%rbp),%r11d
14016e636:	eb 09                	jmp    0x14016e641
14016e638:	44 8b d1             	mov    %ecx,%r10d
14016e63b:	44 8b d9             	mov    %ecx,%r11d
14016e63e:	44 8b c9             	mov    %ecx,%r9d
14016e641:	83 ff ff             	cmp    $0xffffffff,%edi
14016e644:	0f 84 22 fd ff ff    	je     0x14016e36c
14016e64a:	41 83 fd ff          	cmp    $0xffffffff,%r13d
14016e64e:	0f 84 18 fd ff ff    	je     0x14016e36c
14016e654:	81 fe 2f 06 00 00    	cmp    $0x62f,%esi
14016e65a:	0f 8c 0c fd ff ff    	jl     0x14016e36c
14016e660:	83 ff 1f             	cmp    $0x1f,%edi
14016e663:	0f 8f 03 fd ff ff    	jg     0x14016e36c
14016e669:	41 83 fd 0b          	cmp    $0xb,%r13d
14016e66d:	0f 8f f9 fc ff ff    	jg     0x14016e36c
14016e673:	41 83 fa 17          	cmp    $0x17,%r10d
14016e677:	0f 8f ef fc ff ff    	jg     0x14016e36c
14016e67d:	41 83 fb 3b          	cmp    $0x3b,%r11d
14016e681:	0f 8f e5 fc ff ff    	jg     0x14016e36c
14016e687:	41 83 f9 3c          	cmp    $0x3c,%r9d
14016e68b:	0f 8f db fc ff ff    	jg     0x14016e36c
14016e691:	8b c1                	mov    %ecx,%eax
14016e693:	41 83 fd 01          	cmp    $0x1,%r13d
14016e697:	8b ce                	mov    %esi,%ecx
14016e699:	0f 9e c0             	setle  %al
14016e69c:	2b c8                	sub    %eax,%ecx
14016e69e:	b8 1f 85 eb 51       	mov    $0x51eb851f,%eax
14016e6a3:	f7 e9                	imul   %ecx
14016e6a5:	44 8b c2             	mov    %edx,%r8d
14016e6a8:	41 c1 f8 07          	sar    $0x7,%r8d
14016e6ac:	41 8b c0             	mov    %r8d,%eax
14016e6af:	c1 e8 1f             	shr    $0x1f,%eax
14016e6b2:	44 03 c0             	add    %eax,%r8d
14016e6b5:	b8 1f 85 eb 51       	mov    $0x51eb851f,%eax
14016e6ba:	f7 e9                	imul   %ecx
14016e6bc:	c1 fa 05             	sar    $0x5,%edx
14016e6bf:	8b c2                	mov    %edx,%eax