1401e5341:	c7 44 24 6c 00 00 00 	movl   $0x0,0x6c(%rsp)
1401e5348:	00
1401e5349:	48 8d 70 01          	lea    0x1(%rax),%rsi
1401e534d:	48 89 b4 24 c0 00 00 	mov    %rsi,0xc0(%rsp)
1401e5354:	00
1401e5355:	0f b6 48 01          	movzbl 0x1(%rax),%ecx
1401e5359:	84 c9                	test   %cl,%cl
1401e535b:	0f 85 37 ff ff ff    	jne    0x1401e5298
1401e5361:	48 83 bc 24 78 01 00 	cmpq   $0x0,0x178(%rsp)
1401e5368:	00 00
1401e536a:	74 0b                	je     0x1401e5377
1401e536c:	48 8b 84 24 78 01 00 	mov    0x178(%rsp),%rax
1401e5373:	00
1401e5374:	48 89 28             	mov    %rbp,(%rax)
1401e5377:	b8 06 00 00 00       	mov    $0x6,%eax
1401e537c:	0f 10 b4 24 d0 00 00 	movups 0xd0(%rsp),%xmm6
1401e5383:	00
1401e5384:	0f 10 bc 24 e0 00 00 	movups 0xe0(%rsp),%xmm7
1401e538b:	00
1401e538c:	44 0f 10 84 24 f0 00 	movups 0xf0(%rsp),%xmm8
1401e5393:	00 00
1401e5395:	44 0f 10 8c 24 00 01 	movups 0x100(%rsp),%xmm9
1401e539c:	00 00
1401e539e:	44 0f 10 94 24 10 01 	movups 0x110(%rsp),%xmm10
1401e53a5:	00 00
1401e53a7:	48 81 c4 28 01 00 00 	add    $0x128,%rsp
1401e53ae:	5b                   	pop    %rbx
1401e53af:	5e                   	pop    %rsi
1401e53b0:	5f                   	pop    %rdi
1401e53b1:	5d                   	pop    %rbp
1401e53b2:	41 5c                	pop    %r12
1401e53b4:	41 5d                	pop    %r13
1401e53b6:	41 5e                	pop    %r14
1401e53b8:	41 5f                	pop    %r15
1401e53ba:	c3                   	ret
1401e53bb:	0f 1f 44 00 00       	nopl   0x0(%rax,%rax,1)
1401e53c0:	48 83 c0 01          	add    $0x1,%rax
1401e53c4:	e9 98 fe ff ff       	jmp    0x1401e5261
1401e53c9:	0f 1f 80 00 00 00 00 	nopl   0x0(%rax)
1401e53d0:	41 38 04 24          	cmp    %al,(%r12)
1401e53d4:	0f 84 de 03 00 00    	je     0x1401e57b8
1401e53da:	83 e1 df             	and    $0xffffffdf,%ecx
1401e53dd:	80 f9 45             	cmp    $0x45,%cl
1401e53e0:	0f 84 2a 02 00 00    	je     0x1401e5610
1401e53e6:	48 8b 84 24 80 01 00 	mov    0x180(%rsp),%rax
1401e53ed:	00
1401e53ee:	c7 84 24 b4 00 00 00 	movl   $0x1,0xb4(%rsp)
1401e53f5:	01 00 00 00
1401e53f9:	8b 40 0c             	mov    0xc(%rax),%eax
1401e53fc:	89 44 24 48          	mov    %eax,0x48(%rsp)
1401e5400:	83 e0 03             	and    $0x3,%eax
1401e5403:	83 f8 02             	cmp    $0x2,%eax
1401e5406:	0f 84 69 15 00 00    	je     0x1401e6975
1401e540c:	c7 44 24 48 00 00 00 	movl   $0x0,0x48(%rsp)
1401e5413:	00
1401e5414:	41 89 de             	mov    %ebx,%r14d
1401e5417:	c7 44 24 70 00 00 00 	movl   $0x0,0x70(%rsp)
1401e541e:	00
1401e541f:	c7 44 24 60 00 00 00 	movl   $0x0,0x60(%rsp)
1401e5426:	00
1401e5427:	8b 4c 24 6c          	mov    0x6c(%rsp),%ecx
1401e542b:	83 c1 01             	add    $0x1,%ecx
1401e542e:	89 8c 24 8c 00 00 00 	mov    %ecx,0x8c(%rsp)
1401e5435:	83 f8 03             	cmp    $0x3,%eax
1401e5438:	74 0f                	je     0x1401e5449
1401e543a:	85 c0                	test   %eax,%eax
1401e543c:	0f 94 c0             	sete   %al
1401e543f:	0f b6 c0             	movzbl %al,%eax
1401e5442:	89 84 24 8c 00 00 00 	mov    %eax,0x8c(%rsp)
1401e5449:	45 85 f6             	test   %r14d,%r14d
1401e544c:	44 0f 44 f3          	cmove  %ebx,%r14d
1401e5450:	b8 11 00 00 00       	mov    $0x11,%eax
1401e5455:	66 0f ef c0          	pxor   %xmm0,%xmm0
1401e5459:	39 c3                	cmp    %eax,%ebx
1401e545b:	0f 4e c3             	cmovle %ebx,%eax
1401e545e:	41 89 c5             	mov    %eax,%r13d
1401e5461:	89 f8                	mov    %edi,%eax
1401e5463:	f2 48 0f 2a c0       	cvtsi2sd %rax,%xmm0
1401e5468:	66 48 0f 7e c5       	movq   %xmm0,%rbp
1401e546d:	83 fb 09             	cmp    $0x9,%ebx
1401e5470:	7e 24                	jle    0x1401e5496
1401e5472:	48 8b 0d 87 36 05 00 	mov    0x53687(%rip),%rcx        # 0x140238b00
1401e5479:	41 8d 45 f7          	lea    -0x9(%r13),%eax
1401e547d:	66 0f ef c9          	pxor   %xmm1,%xmm1
1401e5481:	48 98                	cltq
1401e5483:	f2 48 0f 2a ca       	cvtsi2sd %rdx,%xmm1
1401e5488:	f2 0f 59 04 c1       	mulsd  (%rcx,%rax,8),%xmm0
1401e548d:	f2 0f 58 c1          	addsd  %xmm1,%xmm0
1401e5491:	66 48 0f 7e c5       	movq   %xmm0,%rbp
1401e5496:	41 83 ff 35          	cmp    $0x35,%r15d
1401e549a:	0f 8f b0 03 00 00    	jg     0x1401e5850
1401e54a0:	83 fb 0f             	cmp    $0xf,%ebx
1401e54a3:	0f 8f a7 03 00 00    	jg     0x1401e5850
1401e54a9:	8b 44 24 70          	mov    0x70(%rsp),%eax
1401e54ad:	85 c0                	test   %eax,%eax
1401e54af:	0f 84 57 16 00 00    	je     0x1401e6b0c
1401e54b5:	0f 8e ad 0c 00 00    	jle    0x1401e6168
1401e54bb:	48 63 44 24 70       	movslq 0x70(%rsp),%rax
1401e54c0:	83 f8 16             	cmp    $0x16,%eax
1401e54c3:	0f 8f 12 18 00 00    	jg     0x1401e6cdb
1401e54c9:	48 8d 15 50 32 05 00 	lea    0x53250(%rip),%rdx        # 0x140238720
1401e54d0:	44 8b 04 82          	mov    (%rdx,%rax,4),%r8d
1401e54d4:	85 ed                	test   %ebp,%ebp
1401e54d6:	0f 85 06 1b 00 00    	jne    0x1401e6fe2
1401e54dc:	48 89 ea             	mov    %rbp,%rdx
1401e54df:	b9 15 00 00 00       	mov    $0x15,%ecx
1401e54e4:	48 c1 ea 20          	shr    $0x20,%rdx
1401e54e8:	81 ca 00 00 10 00    	or     $0x100000,%edx
1401e54ee:	f3 0f bc d2          	tzcnt  %edx,%edx
1401e54f2:	29 d1                	sub    %edx,%ecx
1401e54f4:	48 8b 15 05 36 05 00 	mov    0x53605(%rip),%rdx        # 0x140238b00
1401e54fb:	66 48 0f 6e c5       	movq   %rbp,%xmm0
1401e5500:	41 01 c8             	add    %ecx,%r8d
1401e5503:	4c 89 5c 24 50       	mov    %r11,0x50(%rsp)
1401e5508:	f2 0f 59 04 c2       	mulsd  (%rdx,%rax,8),%xmm0
1401e550d:	48 8d 84 24 b4 00 00 	lea    0xb4(%rsp),%rax
1401e5514:	00
1401e5515:	48 89 44 24 30       	mov    %rax,0x30(%rsp)
1401e551a:	8b 84 24 8c 00 00 00 	mov    0x8c(%rsp),%eax
1401e5521:	89 44 24 28          	mov    %eax,0x28(%rsp)
1401e5525:	31 c0                	xor    %eax,%eax
1401e5527:	41 83 f8 35          	cmp    $0x35,%r8d
1401e552b:	0f 9e c0             	setle  %al
1401e552e:	89 44 24 20          	mov    %eax,0x20(%rsp)
1401e5532:	66 48 0f 7e c5       	movq   %xmm0,%rbp
1401e5537:	4c 8b 8c 24 90 01 00 	mov    0x190(%rsp),%r9
1401e553e:	00
1401e553f:	4c 8b 84 24 88 01 00 	mov    0x188(%rsp),%r8
1401e5546:	00
1401e5547:	48 8b 94 24 80 01 00 	mov    0x180(%rsp),%rdx
1401e554e:	00
1401e554f:	e8 6c f7 ff ff       	call   0x1401e4cc0
1401e5554:	4c 8b 5c 24 50       	mov    0x50(%rsp),%r11
1401e5559:	85 c0                	test   %eax,%eax
1401e555b:	75 48                	jne    0x1401e55a5
1401e555d:	31 c0                	xor    %eax,%eax
1401e555f:	e9 f0 02 00 00       	jmp    0x1401e5854
1401e5564:	0f 1f 40 00          	nopl   0x0(%rax)
1401e5568:	0f b6 56 01          	movzbl 0x1(%rsi),%edx
1401e556c:	48 8d 46 01          	lea    0x1(%rsi),%rax
1401e5570:	83 e2 df             	and    $0xffffffdf,%edx
1401e5573:	80 fa 58             	cmp    $0x58,%dl
1401e5576:	0f 84 91 13 00 00    	je     0x1401e690d
1401e557c:	0f 1f 40 00          	nopl   0x0(%rax)
1401e5580:	48 89 84 24 c0 00 00 	mov    %rax,0xc0(%rsp)
1401e5587:	00
1401e5588:	48 89 c6             	mov    %rax,%rsi
1401e558b:	0f b6 08             	movzbl (%rax),%ecx
1401e558e:	48 8d 40 01          	lea    0x1(%rax),%rax
1401e5592:	80 f9 30             	cmp    $0x30,%cl
1401e5595:	74 e9                	je     0x1401e5580
1401e5597:	41 ba 01 00 00 00    	mov    $0x1,%r10d
1401e559d:	84 c9                	test   %cl,%cl
1401e559f:	0f 85 ff fc ff ff    	jne    0x1401e52a4
1401e55a5:	4c 8b 84 24 c8 00 00 	mov    0xc8(%rsp),%r8
1401e55ac:	00
1401e55ad:	48 83 bc 24 78 01 00 	cmpq   $0x0,0x178(%rsp)
1401e55b4:	00 00
1401e55b6:	74 13                	je     0x1401e55cb
1401e55b8:	48 8b 84 24 c0 00 00 	mov    0xc0(%rsp),%rax
1401e55bf:	00
1401e55c0:	48 8b bc 24 78 01 00 	mov    0x178(%rsp),%rdi
1401e55c7:	00
1401e55c8:	48 89 07             	mov    %rax,(%rdi)
1401e55cb:	8b 4c 24 6c          	mov    0x6c(%rsp),%ecx
1401e55cf:	85 c9                	test   %ecx,%ecx
1401e55d1:	74 08                	je     0x1401e55db
1401e55d3:	83 8c 24 b4 00 00 00 	orl    $0x8,0xb4(%rsp)
1401e55da:	08
1401e55db:	4d 85 c0             	test   %r8,%r8
1401e55de:	74 1d                	je     0x1401e55fd
1401e55e0:	48 8b 8c 24 90 01 00 	mov    0x190(%rsp),%rcx
1401e55e7:	00
1401e55e8:	44 89 fa             	mov    %r15d,%edx
1401e55eb:	e8 50 3f 00 00       	call   0x1401e9540
1401e55f0:	48 8b 8c 24 c8 00 00 	mov    0xc8(%rsp),%rcx
1401e55f7:	00
1401e55f8:	e8 a3 31 00 00       	call   0x1401e87a0
1401e55fd:	8b 84 24 b4 00 00 00 	mov    0xb4(%rsp),%eax
1401e5604:	e9 73 fd ff ff       	jmp    0x1401e537c
1401e5609:	0f 1f 80 00 00 00 00 	nopl   0x0(%rax)
1401e5610:	c7 44 24 60 00 00 00 	movl   $0x0,0x60(%rsp)
1401e5617:	00
1401e5618:	41 89 dd             	mov    %ebx,%r13d
1401e561b:	45 31 e4             	xor    %r12d,%r12d
1401e561e:	c7 44 24 50 00 00 00 	movl   $0x0,0x50(%rsp)
1401e5625:	00
1401e5626:	48 8b ac 24 c0 00 00 	mov    0xc0(%rsp),%rbp
1401e562d:	00
1401e562e:	48 8d 45 01          	lea    0x1(%rbp),%rax
1401e5632:	48 89 84 24 c0 00 00 	mov    %rax,0xc0(%rsp)
1401e5639:	00
1401e563a:	0f be 45 01          	movsbl 0x1(%rbp),%eax
1401e563e:	3c 2b                	cmp    $0x2b,%al
1401e5640:	0f 84 ba 12 00 00    	je     0x1401e6900
1401e5646:	3c 2d                	cmp    $0x2d,%al
1401e5648:	0f 85 d2 09 00 00    	jne    0x1401e6020
1401e564e:	c7 44 24 58 01 00 00 	movl   $0x1,0x58(%rsp)
1401e5655:	00
1401e5656:	48 8d 45 02          	lea    0x2(%rbp),%rax
1401e565a:	48 89 84 24 c0 00 00 	mov    %rax,0xc0(%rsp)
1401e5661:	00
1401e5662:	0f be 45 02          	movsbl 0x2(%rbp),%eax
1401e5666:	44 8d 48 d0          	lea    -0x30(%rax),%r9d
1401e566a:	41 83 f9 09          	cmp    $0x9,%r9d
1401e566e:	0f 87 54 11 00 00    	ja     0x1401e67c8
1401e5674:	48 8b 8c 24 c0 00 00 	mov    0xc0(%rsp),%rcx
1401e567b:	00
1401e567c:	83 f8 30             	cmp    $0x30,%eax
1401e567f:	0f 85 21 13 00 00    	jne    0x1401e69a6
1401e5685:	4c 8d 41 01          	lea    0x1(%rcx),%r8
1401e5689:	66 66 2e 0f 1f 84 00 	data16 cs nopw 0x0(%rax,%rax,1)
1401e5690:	00 00 00 00
1401e5694:	66 66 2e 0f 1f 84 00 	data16 cs nopw 0x0(%rax,%rax,1)
1401e569b:	00 00 00 00
1401e569f:	90                   	nop
1401e56a0:	4c 89 84 24 c0 00 00 	mov    %r8,0xc0(%rsp)
1401e56a7:	00
1401e56a8:	41 0f be 00          	movsbl (%r8),%eax
1401e56ac:	4c 89 c1             	mov    %r8,%rcx
1401e56af:	4d 8d 40 01          	lea    0x1(%r8),%r8
1401e56b3:	83 f8 30             	cmp    $0x30,%eax
1401e56b6:	74 e8                	je     0x1401e56a0
1401e56b8:	44 8d 40 cf          	lea    -0x31(%rax),%r8d
1401e56bc:	c7 44 24 48 00 00 00 	movl   $0x0,0x48(%rsp)
1401e56c3:	00
1401e56c4:	41 83 f8 08          	cmp    $0x8,%r8d
1401e56c8:	0f 86 d4 12 00 00    	jbe    0x1401e69a2
1401e56ce:	66 90                	xchg   %ax,%ax
1401e56d0:	45 85 ed             	test   %r13d,%r13d
1401e56d3:	0f 85 a3 13 00 00    	jne    0x1401e6a7c
1401e56d9:	45 09 d4             	or     %r10d,%r12d
1401e56dc:	0f 85 c3 fe ff ff    	jne    0x1401e55a5
1401e56e2:	8b 54 24 50          	mov    0x50(%rsp),%edx
1401e56e6:	85 d2                	test   %edx,%edx
1401e56e8:	0f 85 3b 01 00 00    	jne    0x1401e5829
1401e56ee:	83 f8 69             	cmp    $0x69,%eax
1401e56f1:	0f 84 7e 14 00 00    	je     0x1401e6b75
1401e56f7:	0f 8f 6a 14 00 00    	jg     0x1401e6b67
1401e56fd:	83 f8 49             	cmp    $0x49,%eax
1401e5700:	0f 84 6f 14 00 00    	je     0x1401e6b75
1401e5706:	83 f8 4e             	cmp    $0x4e,%eax
1401e5709:	0f 85 1a 01 00 00    	jne    0x1401e5829
1401e570f:	48 8d 9c 24 c0 00 00 	lea    0xc0(%rsp),%rbx
1401e5716:	00
1401e5717:	48 8d 15 2b 2f 05 00 	lea    0x52f2b(%rip),%rdx        # 0x140238649
1401e571e:	48 89 d9             	mov    %rbx,%rcx
1401e5721:	e8 ca 3d 00 00       	call   0x1401e94f0
1401e5726:	85 c0                	test   %eax,%eax
1401e5728:	0f 84 fb 00 00 00    	je     0x1401e5829
1401e572e:	48 8b 84 24 80 01 00 	mov    0x180(%rsp),%rax
1401e5735:	00
1401e5736:	48 8b bc 24 88 01 00 	mov    0x188(%rsp),%rdi
1401e573d:	00
1401e573e:	c7 84 24 b4 00 00 00 	movl   $0x4,0xb4(%rsp)
1401e5745:	04 00 00 00
1401e5749:	4c 8b 84 24 c8 00 00 	mov    0xc8(%rsp),%r8
1401e5750:	00
1401e5751:	8b 40 08             	mov    0x8(%rax),%eax
1401e5754:	89 44 24 48          	mov    %eax,0x48(%rsp)
1401e5758:	83 c0 01             	add    $0x1,%eax
1401e575b:	89 07                	mov    %eax,(%rdi)
1401e575d:	48 8b 84 24 c0 00 00 	mov    0xc0(%rsp),%rax
1401e5764:	00
1401e5765:	80 38 28             	cmpb   $0x28,(%rax)
1401e5768:	0f 85 3f fe ff ff    	jne    0x1401e55ad
1401e576e:	4c 8b 84 24 90 01 00 	mov    0x190(%rsp),%r8
1401e5775:	00
1401e5776:	48 8b 94 24 80 01 00 	mov    0x180(%rsp),%rdx
1401e577d:	00
1401e577e:	48 89 d9             	mov    %rbx,%rcx
1401e5781:	e8 7a 29 00 00       	call   0x1401e8100
1401e5786:	89 84 24 b4 00 00 00 	mov    %eax,0xb4(%rsp)
1401e578d:	48 8b 84 24 80 01 00 	mov    0x180(%rsp),%rax
1401e5794:	00
1401e5795:	48 8b bc 24 88 01 00 	mov    0x188(%rsp),%rdi
1401e579c:	00
1401e579d:	4c 8b 84 24 c8 00 00 	mov    0xc8(%rsp),%r8
1401e57a4:	00
1401e57a5:	8b 40 08             	mov    0x8(%rax),%eax
1401e57a8:	83 c0 01             	add    $0x1,%eax
1401e57ab:	89 07                	mov    %eax,(%rdi)
1401e57ad:	e9 fb fd ff ff       	jmp    0x1401e55ad
1401e57b2:	66 0f 1f 44 00 00    	nopw   0x0(%rax,%rax,1)
1401e57b8:	41 0f b6 4c 24 01    	movzbl 0x1(%r12),%ecx
1401e57be:	84 c9                	test   %cl,%cl
1401e57c0:	0f 84 a5 08 00 00    	je     0x1401e606b
1401e57c6:	41 b9 01 00 00 00    	mov    $0x1,%r9d
1401e57cc:	eb 23                	jmp    0x1401e57f1
1401e57ce:	66 66 2e 0f 1f 84 00 	data16 cs nopw 0x0(%rax,%rax,1)
1401e57d5:	00 00 00 00
1401e57d9:	0f 1f 80 00 00 00 00 	nopl   0x0(%rax)
1401e57e0:	49 83 c1 01          	add    $0x1,%r9
1401e57e4:	43 0f b6 0c 0c       	movzbl (%r12,%r9,1),%ecx
1401e57e9:	84 c9                	test   %cl,%cl
1401e57eb:	0f 84 af 06 00 00    	je     0x1401e5ea0
1401e57f1:	43 38 0c 08          	cmp    %cl,(%r8,%r9,1)
1401e57f5:	74 e9                	je     0x1401e57e0
1401e57f7:	c7 44 24 60 00 00 00 	movl   $0x0,0x60(%rsp)
1401e57fe:	00
1401e57ff:	41 89 d8             	mov    %ebx,%r8d
1401e5802:	45 31 e4             	xor    %r12d,%r12d
1401e5805:	c7 44 24 50 00 00 00 	movl   $0x0,0x50(%rsp)
1401e580c:	00
1401e580d:	89 c1                	mov    %eax,%ecx
1401e580f:	83 e1 df             	and    $0xffffffdf,%ecx
1401e5812:	83 f9 45             	cmp    $0x45,%ecx
1401e5815:	0f 85 3d 08 00 00    	jne    0x1401e6058
1401e581b:	89 d8                	mov    %ebx,%eax
1401e581d:	44 09 e0             	or     %r12d,%eax
1401e5820:	44 09 d0             	or     %r10d,%eax
1401e5823:	0f 85 1a 19 00 00    	jne    0x1401e7143
1401e5829:	48 89 ac 24 c0 00 00 	mov    %rbp,0xc0(%rsp)
1401e5830:	00
1401e5831:	4c 8b 84 24 c8 00 00 	mov    0xc8(%rsp),%r8
1401e5838:	00
1401e5839:	c7 84 24 b4 00 00 00 	movl   $0x6,0xb4(%rsp)
1401e5840:	06 00 00 00
1401e5844:	e9 64 fd ff ff       	jmp    0x1401e55ad
1401e5849:	0f 1f 80 00 00 00 00 	nopl   0x0(%rax)
1401e5850:	8b 44 24 70          	mov    0x70(%rsp),%eax
1401e5854:	41 89 dc             	mov    %ebx,%r12d
1401e5857:	45 29 ec             	sub    %r13d,%r12d
1401e585a:	41 01 c4             	add    %eax,%r12d
1401e585d:	45 85 e4             	test   %r12d,%r12d
1401e5860:	0f 8e c2 06 00 00    	jle    0x1401e5f28
1401e5866:	44 89 e0             	mov    %r12d,%eax
1401e5869:	41 83 e4 f0          	and    $0xfffffff0,%r12d
1401e586d:	83 e0 0f             	and    $0xf,%eax
1401e5870:	85 c0                	test   %eax,%eax
1401e5872:	0f 85 b8 07 00 00    	jne    0x1401e6030
1401e5878:	44 89 e2             	mov    %r12d,%edx
1401e587b:	c1 fa 04             	sar    $0x4,%edx
1401e587e:	41 81 fc ff 00 00 00 	cmp    $0xff,%r12d
1401e5885:	0f 8e 97 17 00 00    	jle    0x1401e7022
1401e588b:	4c 8b 0d 6e 31 05 00 	mov    0x5316e(%rip),%r9        # 0x140238a00
1401e5892:	41 89 d0             	mov    %edx,%r8d
1401e5895:	45 31 d2             	xor    %r10d,%r10d
1401e5898:	f2 41 0f 10 41 20    	movsd  0x20(%r9),%xmm0
1401e589e:	66 90                	xchg   %ax,%ax
1401e58a0:	48 89 e8             	mov    %rbp,%rax
1401e58a3:	48 89 e9             	mov    %rbp,%rcx
1401e58a6:	89 ed                	mov    %ebp,%ebp
1401e58a8:	41 83 e8 10          	sub    $0x10,%r8d
1401e58ac:	48 c1 e8 20          	shr    $0x20,%rax
1401e58b0:	48 c1 e9 34          	shr    $0x34,%rcx
1401e58b4:	25 ff ff 0f 80       	and    $0x800fffff,%eax
1401e58b9:	81 e1 ff 07 00 00    	and    $0x7ff,%ecx
1401e58bf:	0d 00 00 f0 3f       	or     $0x3ff00000,%eax
1401e58c4:	45 8d 94 0a 01 fc ff 	lea    -0x3ff(%r10,%rcx,1),%r10d