1402b4fda:	45 8b c7             	mov    %r15d,%r8d
1402b4fdd:	48 89 7c 24 28       	mov    %rdi,0x28(%rsp)
1402b4fe2:	49 8b d4             	mov    %r12,%rdx
1402b4fe5:	49 8b cd             	mov    %r13,%rcx
1402b4fe8:	48 89 5c 24 20       	mov    %rbx,0x20(%rsp)
1402b4fed:	e8 ae d7 02 00       	call   0x1402e27a0
1402b4ff2:	48 8b 9c 24 80 00 00 	mov    0x80(%rsp),%rbx
1402b4ff9:	00
1402b4ffa:	b8 01 00 00 00       	mov    $0x1,%eax
1402b4fff:	48 83 c4 40          	add    $0x40,%rsp
1402b5003:	41 5f                	pop    %r15
1402b5005:	41 5e                	pop    %r14
1402b5007:	41 5d                	pop    %r13
1402b5009:	41 5c                	pop    %r12
1402b500b:	5f                   	pop    %rdi
1402b500c:	5e                   	pop    %rsi
1402b500d:	5d                   	pop    %rbp
1402b500e:	c3                   	ret
1402b500f:	cc                   	int3
1402b5010:	48 8d 05 c9 fe 0d 00 	lea    0xdfec9(%rip),%rax        # 0x140394ee0
1402b5017:	c3                   	ret
1402b5018:	cc                   	int3
1402b5019:	cc                   	int3
1402b501a:	cc                   	int3
1402b501b:	cc                   	int3
1402b501c:	cc                   	int3
1402b501d:	cc                   	int3
1402b501e:	cc                   	int3
1402b501f:	cc                   	int3
1402b5020:	48 89 5c 24 08       	mov    %rbx,0x8(%rsp)
1402b5025:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
1402b502a:	57                   	push   %rdi
1402b502b:	b8 20 00 00 00       	mov    $0x20,%eax
1402b5030:	e8 ab 55 04 00       	call   0x1402fa5e0
1402b5035:	48 2b e0             	sub    %rax,%rsp
1402b5038:	48 8b f2             	mov    %rdx,%rsi
1402b503b:	48 8b d9             	mov    %rcx,%rbx
1402b503e:	e8 dd 93 f8 ff       	call   0x14023e420
1402b5043:	48 8b cb             	mov    %rbx,%rcx
1402b5046:	8b f8                	mov    %eax,%edi
1402b5048:	e8 73 ac f8 ff       	call   0x14023fcc0
1402b504d:	48 8b c8             	mov    %rax,%rcx
1402b5050:	4c 8b c6             	mov    %rsi,%r8
1402b5053:	8b d7                	mov    %edi,%edx
1402b5055:	e8 96 dd 02 00       	call   0x1402e2df0
1402b505a:	48 8b 5c 24 30       	mov    0x30(%rsp),%rbx
1402b505f:	b8 01 00 00 00       	mov    $0x1,%eax
1402b5064:	48 8b 74 24 38       	mov    0x38(%rsp),%rsi
1402b5069:	48 83 c4 20          	add    $0x20,%rsp
1402b506d:	5f                   	pop    %rdi
1402b506e:	c3                   	ret
1402b506f:	cc                   	int3
1402b5070:	48 89 5c 24 10       	mov    %rbx,0x10(%rsp)
1402b5075:	48 89 6c 24 18       	mov    %rbp,0x18(%rsp)
1402b507a:	48 89 7c 24 20       	mov    %rdi,0x20(%rsp)
1402b507f:	41 54                	push   %r12
1402b5081:	41 56                	push   %r14
1402b5083:	41 57                	push   %r15
1402b5085:	b8 30 00 00 00       	mov    $0x30,%eax
1402b508a:	e8 51 55 04 00       	call   0x1402fa5e0
1402b508f:	48 2b e0             	sub    %rax,%rsp
1402b5092:	49 8b e9             	mov    %r9,%rbp
1402b5095:	4d 8b f8             	mov    %r8,%r15
1402b5098:	4c 8b e2             	mov    %rdx,%r12
1402b509b:	4c 8b f1             	mov    %rcx,%r14
1402b509e:	49 81 f9 00 00 00 40 	cmp    $0x40000000,%r9
1402b50a5:	72 6c                	jb     0x1402b5113
1402b50a7:	48 89 74 24 50       	mov    %rsi,0x50(%rsp)
1402b50ac:	49 8b f1             	mov    %r9,%rsi
1402b50af:	48 c1 ee 1e          	shr    $0x1e,%rsi
1402b50b3:	48 69 c6 00 00 00 c0 	imul   $0xffffffffc0000000,%rsi,%rax
1402b50ba:	48 03 e8             	add    %rax,%rbp
1402b50bd:	0f 1f 00             	nopl   (%rax)
1402b50c0:	49 8b ce             	mov    %r14,%rcx
1402b50c3:	e8 08 e1 f7 ff       	call   0x1402331d0
1402b50c8:	49 8b ce             	mov    %r14,%rcx
1402b50cb:	8b f8                	mov    %eax,%edi
1402b50cd:	e8 6e 7d f1 ff       	call   0x1401cce40
1402b50d2:	49 8b ce             	mov    %r14,%rcx
1402b50d5:	48 8b d8             	mov    %rax,%rbx
1402b50d8:	e8 e3 ab f8 ff       	call   0x14023fcc0
1402b50dd:	4c 8b c8             	mov    %rax,%r9
1402b50e0:	89 7c 24 28          	mov    %edi,0x28(%rsp)
1402b50e4:	41 b8 00 00 00 40    	mov    $0x40000000,%r8d
1402b50ea:	48 89 5c 24 20       	mov    %rbx,0x20(%rsp)
1402b50ef:	49 8b d4             	mov    %r12,%rdx
1402b50f2:	49 8b cf             	mov    %r15,%rcx
1402b50f5:	e8 26 e1 02 00       	call   0x1402e3220
1402b50fa:	49 81 c7 00 00 00 40 	add    $0x40000000,%r15
1402b5101:	49 81 c4 00 00 00 40 	add    $0x40000000,%r12
1402b5108:	48 83 ee 01          	sub    $0x1,%rsi
1402b510c:	75 b2                	jne    0x1402b50c0
1402b510e:	48 8b 74 24 50       	mov    0x50(%rsp),%rsi
1402b5113:	48 85 ed             	test   %rbp,%rbp
1402b5116:	74 37                	je     0x1402b514f
1402b5118:	49 8b ce             	mov    %r14,%rcx
1402b511b:	e8 b0 e0 f7 ff       	call   0x1402331d0
1402b5120:	49 8b ce             	mov    %r14,%rcx
1402b5123:	8b f8                	mov    %eax,%edi
1402b5125:	e8 16 7d f1 ff       	call   0x1401cce40
1402b512a:	49 8b ce             	mov    %r14,%rcx
1402b512d:	48 8b d8             	mov    %rax,%rbx
1402b5130:	e8 8b ab f8 ff       	call   0x14023fcc0
1402b5135:	4c 8b c8             	mov    %rax,%r9
1402b5138:	89 7c 24 28          	mov    %edi,0x28(%rsp)
1402b513c:	44 8b c5             	mov    %ebp,%r8d
1402b513f:	48 89 5c 24 20       	mov    %rbx,0x20(%rsp)
1402b5144:	49 8b d4             	mov    %r12,%rdx
1402b5147:	49 8b cf             	mov    %r15,%rcx
1402b514a:	e8 d1 e0 02 00       	call   0x1402e3220
1402b514f:	48 8b 5c 24 58       	mov    0x58(%rsp),%rbx
1402b5154:	b8 01 00 00 00       	mov    $0x1,%eax
1402b5159:	48 8b 6c 24 60       	mov    0x60(%rsp),%rbp
1402b515e:	48 8b 7c 24 68       	mov    0x68(%rsp),%rdi
1402b5163:	48 83 c4 30          	add    $0x30,%rsp
1402b5167:	41 5f                	pop    %r15
1402b5169:	41 5e                	pop    %r14
1402b516b:	41 5c                	pop    %r12
1402b516d:	c3                   	ret
1402b516e:	cc                   	int3
1402b516f:	cc                   	int3
1402b5170:	40 55                	rex push %rbp
1402b5172:	41 54                	push   %r12
1402b5174:	41 56                	push   %r14
1402b5176:	41 57                	push   %r15
1402b5178:	b8 48 00 00 00       	mov    $0x48,%eax
1402b517d:	e8 5e 54 04 00       	call   0x1402fa5e0
1402b5182:	48 2b e0             	sub    %rax,%rsp
1402b5185:	49 8b e9             	mov    %r9,%rbp
1402b5188:	4d 8b f8             	mov    %r8,%r15
1402b518b:	4c 8b e2             	mov    %rdx,%r12
1402b518e:	4c 8b f1             	mov    %rcx,%r14
1402b5191:	4d 85 c9             	test   %r9,%r9
1402b5194:	0f 84 d0 00 00 00    	je     0x1402b526a
1402b519a:	48 89 5c 24 70       	mov    %rbx,0x70(%rsp)
1402b519f:	b8 00 00 00 40       	mov    $0x40000000,%eax
1402b51a4:	4c 3b c8             	cmp    %rax,%r9
1402b51a7:	48 89 74 24 78       	mov    %rsi,0x78(%rsp)
1402b51ac:	49 8b d9             	mov    %r9,%rbx
1402b51af:	48 89 7c 24 40       	mov    %rdi,0x40(%rsp)
1402b51b4:	48 0f 43 d8          	cmovae %rax,%rbx
1402b51b8:	0f 1f 84 00 00 00 00 	nopl   0x0(%rax,%rax,1)
1402b51bf:	00
1402b51c0:	48 3b eb             	cmp    %rbx,%rbp
1402b51c3:	0f 82 81 00 00 00    	jb     0x1402b524a
1402b51c9:	49 8b ce             	mov    %r14,%rcx
1402b51cc:	e8 4f ab f8 ff       	call   0x14023fd20
1402b51d1:	49 8b ce             	mov    %r14,%rcx
1402b51d4:	89 84 24 88 00 00 00 	mov    %eax,0x88(%rsp)
1402b51db:	e8 f0 df f7 ff       	call   0x1402331d0
1402b51e0:	49 8b ce             	mov    %r14,%rcx
1402b51e3:	8b f8                	mov    %eax,%edi
1402b51e5:	e8 56 7c f1 ff       	call   0x1401cce40
1402b51ea:	49 8b ce             	mov    %r14,%rcx
1402b51ed:	48 8b f0             	mov    %rax,%rsi
1402b51f0:	e8 cb aa f8 ff       	call   0x14023fcc0
1402b51f5:	4c 8b c8             	mov    %rax,%r9
1402b51f8:	89 7c 24 30          	mov    %edi,0x30(%rsp)
1402b51fc:	48 8d 84 24 88 00 00 	lea    0x88(%rsp),%rax
1402b5203:	00
1402b5204:	44 8b c3             	mov    %ebx,%r8d
1402b5207:	48 89 44 24 28       	mov    %rax,0x28(%rsp)
1402b520c:	49 8b d4             	mov    %r12,%rdx
1402b520f:	49 8b cf             	mov    %r15,%rcx
1402b5212:	48 89 74 24 20       	mov    %rsi,0x20(%rsp)
1402b5217:	e8 a4 ee 02 00       	call   0x1402e40c0
1402b521c:	8b 94 24 88 00 00 00 	mov    0x88(%rsp),%edx
1402b5223:	49 8b ce             	mov    %r14,%rcx
1402b5226:	e8 05 ab f8 ff       	call   0x14023fd30
1402b522b:	48 2b eb             	sub    %rbx,%rbp
1402b522e:	4c 03 fb             	add    %rbx,%r15
1402b5231:	4c 03 e3             	add    %rbx,%r12
1402b5234:	48 8b c5             	mov    %rbp,%rax
1402b5237:	48 3b eb             	cmp    %rbx,%rbp
1402b523a:	48 0f 43 c3          	cmovae %rbx,%rax
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