1402b523e:	48 8b d8             	mov    %rax,%rbx
1402b5241:	48 85 ed             	test   %rbp,%rbp
1402b5244:	0f 85 76 ff ff ff    	jne    0x1402b51c0
1402b524a:	48 8b 74 24 78       	mov    0x78(%rsp),%rsi
1402b524f:	b8 01 00 00 00       	mov    $0x1,%eax
1402b5254:	48 8b 7c 24 40       	mov    0x40(%rsp),%rdi
1402b5259:	48 8b 5c 24 70       	mov    0x70(%rsp),%rbx
1402b525e:	48 83 c4 48          	add    $0x48,%rsp
1402b5262:	41 5f                	pop    %r15
1402b5264:	41 5e                	pop    %r14
1402b5266:	41 5c                	pop    %r12
1402b5268:	5d                   	pop    %rbp
1402b5269:	c3                   	ret
1402b526a:	b8 01 00 00 00       	mov    $0x1,%eax
1402b526f:	48 83 c4 48          	add    $0x48,%rsp
1402b5273:	41 5f                	pop    %r15
1402b5275:	41 5e                	pop    %r14
1402b5277:	41 5c                	pop    %r12
1402b5279:	5d                   	pop    %rbp
1402b527a:	c3                   	ret
1402b527b:	cc                   	int3
1402b527c:	cc                   	int3
1402b527d:	cc                   	int3
1402b527e:	cc                   	int3
1402b527f:	cc                   	int3
1402b5280:	48 89 6c 24 18       	mov    %rbp,0x18(%rsp)
1402b5285:	48 89 74 24 20       	mov    %rsi,0x20(%rsp)
1402b528a:	41 54                	push   %r12
1402b528c:	41 56                	push   %r14
1402b528e:	41 57                	push   %r15
1402b5290:	b8 20 00 00 00       	mov    $0x20,%eax
1402b5295:	e8 46 53 04 00       	call   0x1402fa5e0
1402b529a:	48 2b e0             	sub    %rax,%rsp
1402b529d:	49 8b f1             	mov    %r9,%rsi
1402b52a0:	49 8b e8             	mov    %r8,%rbp
1402b52a3:	4c 8b f2             	mov    %rdx,%r14
1402b52a6:	4c 8b f9             	mov    %rcx,%r15
1402b52a9:	e8 42 30 f6 ff       	call   0x1402182f0
1402b52ae:	4c 63 60 04          	movslq 0x4(%rax),%r12
1402b52b2:	49 3b f4             	cmp    %r12,%rsi
1402b52b5:	72 55                	jb     0x1402b530c
1402b52b7:	48 89 5c 24 40       	mov    %rbx,0x40(%rsp)
1402b52bc:	49 2b f4             	sub    %r12,%rsi
1402b52bf:	48 89 7c 24 48       	mov    %rdi,0x48(%rsp)
1402b52c4:	4c 2b f5             	sub    %rbp,%r14
1402b52c7:	48 8b fd             	mov    %rbp,%rdi
1402b52ca:	66 0f 1f 44 00 00    	nopw   0x0(%rax,%rax,1)
1402b52d0:	49 8b cf             	mov    %r15,%rcx
1402b52d3:	e8 f8 de f7 ff       	call   0x1402331d0
1402b52d8:	49 8b cf             	mov    %r15,%rcx
1402b52db:	8b d8                	mov    %eax,%ebx
1402b52dd:	e8 de a9 f8 ff       	call   0x14023fcc0
1402b52e2:	4c 8b c0             	mov    %rax,%r8
1402b52e5:	49 8d 14 3e          	lea    (%r14,%rdi,1),%rdx
1402b52e9:	44 8b cb             	mov    %ebx,%r9d
1402b52ec:	48 8b cf             	mov    %rdi,%rcx
1402b52ef:	e8 5c de 02 00       	call   0x1402e3150
1402b52f4:	49 03 fc             	add    %r12,%rdi
1402b52f7:	48 8b c7             	mov    %rdi,%rax
1402b52fa:	48 2b c5             	sub    %rbp,%rax
1402b52fd:	48 3b c6             	cmp    %rsi,%rax
1402b5300:	76 ce                	jbe    0x1402b52d0
1402b5302:	48 8b 7c 24 48       	mov    0x48(%rsp),%rdi
1402b5307:	48 8b 5c 24 40       	mov    0x40(%rsp),%rbx
1402b530c:	48 8b 6c 24 50       	mov    0x50(%rsp),%rbp
1402b5311:	b8 01 00 00 00       	mov    $0x1,%eax
1402b5316:	48 8b 74 24 58       	mov    0x58(%rsp),%rsi
1402b531b:	48 83 c4 20          	add    $0x20,%rsp
1402b531f:	41 5f                	pop    %r15
1402b5321:	41 5e                	pop    %r14
1402b5323:	41 5c                	pop    %r12
1402b5325:	c3                   	ret
1402b5326:	cc                   	int3
1402b5327:	cc                   	int3
1402b5328:	cc                   	int3
1402b5329:	cc                   	int3
1402b532a:	cc                   	int3
1402b532b:	cc                   	int3
1402b532c:	cc                   	int3
1402b532d:	cc                   	int3
1402b532e:	cc                   	int3
1402b532f:	cc                   	int3
1402b5330:	48 89 5c 24 10       	mov    %rbx,0x10(%rsp)
1402b5335:	48 89 6c 24 18       	mov    %rbp,0x18(%rsp)
1402b533a:	57                   	push   %rdi
1402b533b:	41 56                	push   %r14
1402b533d:	41 57                	push   %r15
1402b533f:	b8 30 00 00 00       	mov    $0x30,%eax
1402b5344:	e8 97 52 04 00       	call   0x1402fa5e0
1402b5349:	48 2b e0             	sub    %rax,%rsp
1402b534c:	49 8b e9             	mov    %r9,%rbp
1402b534f:	4d 8b f0             	mov    %r8,%r14
1402b5352:	4c 8b fa             	mov    %rdx,%r15
1402b5355:	48 8b f9             	mov    %rcx,%rdi
1402b5358:	49 81 f9 00 00 00 40 	cmp    $0x40000000,%r9
1402b535f:	72 7d                	jb     0x1402b53de
1402b5361:	48 89 74 24 50       	mov    %rsi,0x50(%rsp)
1402b5366:	49 8b f1             	mov    %r9,%rsi
1402b5369:	48 c1 ee 1e          	shr    $0x1e,%rsi
1402b536d:	48 69 c6 00 00 00 c0 	imul   $0xffffffffc0000000,%rsi,%rax
1402b5374:	48 03 e8             	add    %rax,%rbp
1402b5377:	48 8b cf             	mov    %rdi,%rcx
1402b537a:	e8 a1 a9 f8 ff       	call   0x14023fd20
1402b537f:	48 8b cf             	mov    %rdi,%rcx
1402b5382:	89 44 24 68          	mov    %eax,0x68(%rsp)
1402b5386:	e8 b5 7a f1 ff       	call   0x1401cce40
1402b538b:	48 8b cf             	mov    %rdi,%rcx
1402b538e:	48 8b d8             	mov    %rax,%rbx
1402b5391:	e8 2a a9 f8 ff       	call   0x14023fcc0
1402b5396:	4c 8b c8             	mov    %rax,%r9
1402b5399:	41 b8 00 00 00 40    	mov    $0x40000000,%r8d
1402b539f:	48 8d 44 24 68       	lea    0x68(%rsp),%rax
1402b53a4:	49 8b d7             	mov    %r15,%rdx
1402b53a7:	48 89 44 24 28       	mov    %rax,0x28(%rsp)
1402b53ac:	49 8b ce             	mov    %r14,%rcx
1402b53af:	48 89 5c 24 20       	mov    %rbx,0x20(%rsp)
1402b53b4:	e8 37 ef 02 00       	call   0x1402e42f0
1402b53b9:	8b 54 24 68          	mov    0x68(%rsp),%edx
1402b53bd:	48 8b cf             	mov    %rdi,%rcx
1402b53c0:	e8 6b a9 f8 ff       	call   0x14023fd30
1402b53c5:	49 81 c6 00 00 00 40 	add    $0x40000000,%r14
1402b53cc:	49 81 c7 00 00 00 40 	add    $0x40000000,%r15
1402b53d3:	48 83 ee 01          	sub    $0x1,%rsi
1402b53d7:	75 9e                	jne    0x1402b5377
1402b53d9:	48 8b 74 24 50       	mov    0x50(%rsp),%rsi
1402b53de:	48 85 ed             	test   %rbp,%rbp
1402b53e1:	74 4b                	je     0x1402b542e
1402b53e3:	48 8b cf             	mov    %rdi,%rcx
1402b53e6:	e8 35 a9 f8 ff       	call   0x14023fd20
1402b53eb:	48 8b cf             	mov    %rdi,%rcx
1402b53ee:	89 44 24 68          	mov    %eax,0x68(%rsp)
1402b53f2:	e8 49 7a f1 ff       	call   0x1401cce40
1402b53f7:	48 8b cf             	mov    %rdi,%rcx
1402b53fa:	48 8b d8             	mov    %rax,%rbx
1402b53fd:	e8 be a8 f8 ff       	call   0x14023fcc0
1402b5402:	4c 8b c8             	mov    %rax,%r9
1402b5405:	44 8b c5             	mov    %ebp,%r8d
1402b5408:	48 8d 44 24 68       	lea    0x68(%rsp),%rax
1402b540d:	49 8b d7             	mov    %r15,%rdx
1402b5410:	48 89 44 24 28       	mov    %rax,0x28(%rsp)
1402b5415:	49 8b ce             	mov    %r14,%rcx
1402b5418:	48 89 5c 24 20       	mov    %rbx,0x20(%rsp)
1402b541d:	e8 ce ee 02 00       	call   0x1402e42f0
1402b5422:	8b 54 24 68          	mov    0x68(%rsp),%edx
1402b5426:	48 8b cf             	mov    %rdi,%rcx
1402b5429:	e8 02 a9 f8 ff       	call   0x14023fd30
1402b542e:	48 8b 5c 24 58       	mov    0x58(%rsp),%rbx
1402b5433:	b8 01 00 00 00       	mov    $0x1,%eax
1402b5438:	48 8b 6c 24 60       	mov    0x60(%rsp),%rbp
1402b543d:	48 83 c4 30          	add    $0x30,%rsp
1402b5441:	41 5f                	pop    %r15
1402b5443:	41 5e                	pop    %r14
1402b5445:	5f                   	pop    %rdi
1402b5446:	c3                   	ret
1402b5447:	cc                   	int3
1402b5448:	cc                   	int3
1402b5449:	cc                   	int3
1402b544a:	cc                   	int3
1402b544b:	cc                   	int3
1402b544c:	cc                   	int3
1402b544d:	cc                   	int3
1402b544e:	cc                   	int3
1402b544f:	cc                   	int3
1402b5450:	48 8d 05 e9 fa 0d 00 	lea    0xdfae9(%rip),%rax        # 0x140394f40
1402b5457:	c3                   	ret
1402b5458:	cc                   	int3
1402b5459:	cc                   	int3
1402b545a:	cc                   	int3
1402b545b:	cc                   	int3
1402b545c:	cc                   	int3
1402b545d:	cc                   	int3
1402b545e:	cc                   	int3
1402b545f:	cc                   	int3
1402b5460:	48 8d 05 39 fb 0d 00 	lea    0xdfb39(%rip),%rax        # 0x140394fa0
1402b5467:	c3                   	ret
1402b5468:	cc                   	int3
1402b5469:	cc                   	int3
1402b546a:	cc                   	int3
1402b546b:	cc                   	int3
1402b546c:	cc                   	int3
1402b546d:	cc                   	int3
1402b546e:	cc                   	int3
1402b546f:	cc                   	int3
1402b5470:	48 8d 05 e9 fb 0d 00 	lea    0xdfbe9(%rip),%rax        # 0x140395060
1402b5477:	c3                   	ret
1402b5478:	cc                   	int3
1402b5479:	cc                   	int3
1402b547a:	cc                   	int3
1402b547b:	cc                   	int3
1402b547c:	cc                   	int3
1402b547d:	cc                   	int3
1402b547e:	cc                   	int3
1402b547f:	cc                   	int3
1402b5480:	48 8d 05 79 fb 0d 00 	lea    0xdfb79(%rip),%rax        # 0x140395000
1402b5487:	c3                   	ret
1402b5488:	cc                   	int3
1402b5489:	cc                   	int3
1402b548a:	cc                   	int3
1402b548b:	cc                   	int3
1402b548c:	cc                   	int3
1402b548d:	cc                   	int3
1402b548e:	cc                   	int3
1402b548f:	cc                   	int3
1402b5490:	48 89 5c 24 08       	mov    %rbx,0x8(%rsp)
1402b5495:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
1402b549a:	57                   	push   %rdi
1402b549b:	b8 20 00 00 00       	mov    $0x20,%eax
1402b54a0:	e8 3b 51 04 00       	call   0x1402fa5e0
1402b54a5:	48 2b e0             	sub    %rax,%rsp
1402b54a8:	48 8b f2             	mov    %rdx,%rsi
1402b54ab:	48 8b d9             	mov    %rcx,%rbx
1402b54ae:	e8 6d 8f f8 ff       	call   0x14023e420
1402b54b3:	48 8b cb             	mov    %rbx,%rcx
1402b54b6:	8b f8                	mov    %eax,%edi
1402b54b8:	e8 03 a8 f8 ff       	call   0x14023fcc0
1402b54bd:	48 8b c8             	mov    %rax,%rcx
1402b54c0:	4c 8b c6             	mov    %rsi,%r8
1402b54c3:	8b d7                	mov    %edi,%edx
1402b54c5:	e8 06 f0 02 00       	call   0x1402e44d0
1402b54ca:	48 8b 5c 24 30       	mov    0x30(%rsp),%rbx
1402b54cf:	b8 01 00 00 00       	mov    $0x1,%eax
1402b54d4:	48 8b 74 24 38       	mov    0x38(%rsp),%rsi
1402b54d9:	48 83 c4 20          	add    $0x20,%rsp
1402b54dd:	5f                   	pop    %rdi
1402b54de:	c3                   	ret
1402b54df:	cc                   	int3
1402b54e0:	48 89 5c 24 10       	mov    %rbx,0x10(%rsp)
1402b54e5:	48 89 6c 24 18       	mov    %rbp,0x18(%rsp)
1402b54ea:	48 89 7c 24 20       	mov    %rdi,0x20(%rsp)
1402b54ef:	41 54                	push   %r12
1402b54f1:	41 56                	push   %r14
1402b54f3:	41 57                	push   %r15
1402b54f5:	b8 30 00 00 00       	mov    $0x30,%eax
1402b54fa:	e8 e1 50 04 00       	call   0x1402fa5e0
1402b54ff:	48 2b e0             	sub    %rax,%rsp
1402b5502:	49 8b e9             	mov    %r9,%rbp
1402b5505:	4d 8b f8             	mov    %r8,%r15
1402b5508:	4c 8b e2             	mov    %rdx,%r12
1402b550b:	4c 8b f1             	mov    %rcx,%r14
1402b550e:	49 81 f9 00 00 00 40 	cmp    $0x40000000,%r9
1402b5515:	72 6c                	jb     0x1402b5583
1402b5517:	48 89 74 24 50       	mov    %rsi,0x50(%rsp)
1402b551c:	49 8b f1             	mov    %r9,%rsi
1402b551f:	48 c1 ee 1e          	shr    $0x1e,%rsi
1402b5523:	48 69 c6 00 00 00 c0 	imul   $0xffffffffc0000000,%rsi,%rax
1402b552a:	48 03 e8             	add    %rax,%rbp
1402b552d:	0f 1f 00             	nopl   (%rax)
1402b5530:	49 8b ce             	mov    %r14,%rcx
1402b5533:	e8 98 dc f7 ff       	call   0x1402331d0
1402b5538:	49 8b ce             	mov    %r14,%rcx
1402b553b:	8b f8                	mov    %eax,%edi
1402b553d:	e8 fe 78 f1 ff       	call   0x1401cce40
1402b5542:	49 8b ce             	mov    %r14,%rcx
1402b5545:	48 8b d8             	mov    %rax,%rbx
1402b5548:	e8 73 a7 f8 ff       	call   0x14023fcc0
1402b554d:	4c 8b c8             	mov    %rax,%r9
1402b5550:	89 7c 24 28          	mov    %edi,0x28(%rsp)
1402b5554:	41 b8 00 00 00 40    	mov    $0x40000000,%r8d
1402b555a:	48 89 5c 24 20       	mov    %rbx,0x20(%rsp)
1402b555f:	49 8b d4             	mov    %r12,%rdx
1402b5562:	49 8b cf             	mov    %r15,%rcx
1402b5565:	e8 36 07 03 00       	call   0x1402e5ca0
1402b556a:	49 81 c7 00 00 00 40 	add    $0x40000000,%r15
1402b5571:	49 81 c4 00 00 00 40 	add    $0x40000000,%r12
1402b5578:	48 83 ee 01          	sub    $0x1,%rsi
1402b557c:	75 b2                	jne    0x1402b5530
1402b557e:	48 8b 74 24 50       	mov    0x50(%rsp),%rsi
1402b5583:	48 85 ed             	test   %rbp,%rbp
1402b5586:	74 37                	je     0x1402b55bf
1402b5588:	49 8b ce             	mov    %r14,%rcx
1402b558b:	e8 40 dc f7 ff       	call   0x1402331d0
1402b5590:	49 8b ce             	mov    %r14,%rcx
1402b5593:	8b f8                	mov    %eax,%edi
1402b5595:	e8 a6 78 f1 ff       	call   0x1401cce40
1402b559a:	49 8b ce             	mov    %r14,%rcx
1402b559d:	48 8b d8             	mov    %rax,%rbx
1402b55a0:	e8 1b a7 f8 ff       	call   0x14023fcc0
1402b55a5:	4c 8b c8             	mov    %rax,%r9
1402b55a8:	89 7c 24 28          	mov    %edi,0x28(%rsp)
1402b55ac:	44 8b c5             	mov    %ebp,%r8d
1402b55af:	48 89 5c 24 20       	mov    %rbx,0x20(%rsp)
1402b55b4:	49 8b d4             	mov    %r12,%rdx
1402b55b7:	49 8b cf             	mov    %r15,%rcx
1402b55ba:	e8 e1 06 03 00       	call   0x1402e5ca0
1402b55bf:	48 8b 5c 24 58       	mov    0x58(%rsp),%rbx
1402b55c4:	b8 01 00 00 00       	mov    $0x1,%eax
1402b55c9:	48 8b 6c 24 60       	mov    0x60(%rsp),%rbp
1402b55ce:	48 8b 7c 24 68       	mov    0x68(%rsp),%rdi
1402b55d3:	48 83 c4 30          	add    $0x30,%rsp
1402b55d7:	41 5f                	pop    %r15
1402b55d9:	41 5e                	pop    %r14
1402b55db:	41 5c                	pop    %r12
1402b55dd:	c3                   	ret
1402b55de:	cc                   	int3
1402b55df:	cc                   	int3
1402b55e0:	40 55                	rex push %rbp
1402b55e2:	41 54                	push   %r12
1402b55e4:	41 56                	push   %r14
1402b55e6:	41 57                	push   %r15
1402b55e8:	b8 48 00 00 00       	mov    $0x48,%eax
1402b55ed:	e8 ee 4f 04 00       	call   0x1402fa5e0
1402b55f2:	48 2b e0             	sub    %rax,%rsp
1402b55f5:	49 8b e9             	mov    %r9,%rbp
1402b55f8:	4d 8b f8             	mov    %r8,%r15
1402b55fb:	4c 8b e2             	mov    %rdx,%r12
1402b55fe:	4c 8b f1             	mov    %rcx,%r14
1402b5601:	4d 85 c9             	test   %r9,%r9
1402b5604:	0f 84 d0 00 00 00    	je     0x1402b56da
1402b560a:	48 89 5c 24 70       	mov    %rbx,0x70(%rsp)
1402b560f:	b8 00 00 00 40       	mov    $0x40000000,%eax
1402b5614:	4c 3b c8             	cmp    %rax,%r9
1402b5617:	48 89 74 24 78       	mov    %rsi,0x78(%rsp)
1402b561c:	49 8b d9             	mov    %r9,%rbx
1402b561f:	48 89 7c 24 40       	mov    %rdi,0x40(%rsp)
1402b5624:	48 0f 43 d8          	cmovae %rax,%rbx
1402b5628:	0f 1f 84 00 00 00 00 	nopl   0x0(%rax,%rax,1)
1402b562f:	00
1402b5630:	48 3b eb             	cmp    %rbx,%rbp
1402b5633:	0f 82 81 00 00 00    	jb     0x1402b56ba
1402b5639:	49 8b ce             	mov    %r14,%rcx
1402b563c:	e8 df a6 f8 ff       	call   0x14023fd20
1402b5641:	49 8b ce             	mov    %r14,%rcx
1402b5644:	89 84 24 88 00 00 00 	mov    %eax,0x88(%rsp)
1402b564b:	e8 80 db f7 ff       	call   0x1402331d0
1402b5650:	49 8b ce             	mov    %r14,%rcx
1402b5653:	8b f8                	mov    %eax,%edi
1402b5655:	e8 e6 77 f1 ff       	call   0x1401cce40
1402b565a:	49 8b ce             	mov    %r14,%rcx
1402b565d:	48 8b f0             	mov    %rax,%rsi
1402b5660:	e8 5b a6 f8 ff       	call   0x14023fcc0
1402b5665:	4c 8b c8             	mov    %rax,%r9
1402b5668:	89 7c 24 30          	mov    %edi,0x30(%rsp)
1402b566c:	48 8d 84 24 88 00 00 	lea    0x88(%rsp),%rax
1402b5673:	00
1402b5674:	44 8b c3             	mov    %ebx,%r8d
1402b5677:	48 89 44 24 28       	mov    %rax,0x28(%rsp)
1402b567c:	49 8b d4             	mov    %r12,%rdx
1402b567f:	49 8b cf             	mov    %r15,%rcx
1402b5682:	48 89 74 24 20       	mov    %rsi,0x20(%rsp)
1402b5687:	e8 24 15 03 00       	call   0x1402e6bb0
1402b568c:	8b 94 24 88 00 00 00 	mov    0x88(%rsp),%edx
1402b5693:	49 8b ce             	mov    %r14,%rcx
1402b5696:	e8 95 a6 f8 ff       	call   0x14023fd30
1402b569b:	48 2b eb             	sub    %rbx,%rbp
1402b569e:	4c 03 fb             	add    %rbx,%r15
1402b56a1:	4c 03 e3             	add    %rbx,%r12
1402b56a4:	48 8b c5             	mov    %rbp,%rax
1402b56a7:	48 3b eb             	cmp    %rbx,%rbp
1402b56aa:	48 0f 43 c3          	cmovae %rbx,%rax
1402b56ae:	48 8b d8             	mov    %rax,%rbx