1400a50ea:	48 3b d0             	cmp    %rax,%rdx
1400a50ed:	76 05                	jbe    0x1400a50f4
1400a50ef:	4d 8b ea             	mov    %r10,%r13
1400a50f2:	eb 0b                	jmp    0x1400a50ff
1400a50f4:	4c 8d 2c 11          	lea    (%rcx,%rdx,1),%r13
1400a50f8:	4d 3b e8             	cmp    %r8,%r13
1400a50fb:	4d 0f 42 e8          	cmovb  %r8,%r13
1400a50ff:	4c 89 6c 24 20       	mov    %r13,0x20(%rsp)
1400a5104:	4d 3b ea             	cmp    %r10,%r13
1400a5107:	0f 87 0a 04 00 00    	ja     0x1400a5517
1400a510d:	49 8b cd             	mov    %r13,%rcx
1400a5110:	48 c1 e1 04          	shl    $0x4,%rcx
1400a5114:	48 85 c9             	test   %rcx,%rcx
1400a5117:	75 0d                	jne    0x1400a5126
1400a5119:	49 8b fb             	mov    %r11,%rdi
1400a511c:	4c 89 9c 24 88 00 00 	mov    %r11,0x88(%rsp)
1400a5123:	00
1400a5124:	eb 65                	jmp    0x1400a518b
1400a5126:	48 81 f9 00 10 00 00 	cmp    $0x1000,%rcx
1400a512d:	72 34                	jb     0x1400a5163
1400a512f:	48 8d 41 27          	lea    0x27(%rcx),%rax
1400a5133:	48 3b c1             	cmp    %rcx,%rax
1400a5136:	0f 86 db 03 00 00    	jbe    0x1400a5517
1400a513c:	48 8b c8             	mov    %rax,%rcx
1400a513f:	ff 15 83 77 a6 00    	call   *0xa67783(%rip)        # 0x140b0c8c8
1400a5145:	45 33 db             	xor    %r11d,%r11d
1400a5148:	48 85 c0             	test   %rax,%rax
1400a514b:	74 27                	je     0x1400a5174
1400a514d:	48 8d 78 27          	lea    0x27(%rax),%rdi
1400a5151:	48 83 e7 e0          	and    $0xffffffffffffffe0,%rdi
1400a5155:	48 89 47 f8          	mov    %rax,-0x8(%rdi)
1400a5159:	48 89 bc 24 88 00 00 	mov    %rdi,0x88(%rsp)
1400a5160:	00
1400a5161:	eb 20                	jmp    0x1400a5183
1400a5163:	ff 15 5f 77 a6 00    	call   *0xa6775f(%rip)        # 0x140b0c8c8
1400a5169:	48 8b f8             	mov    %rax,%rdi
1400a516c:	45 33 db             	xor    %r11d,%r11d
1400a516f:	48 85 c0             	test   %rax,%rax
1400a5172:	75 07                	jne    0x1400a517b
1400a5174:	ff 15 1e 73 a6 00    	call   *0xa6731e(%rip)        # 0x140b0c498
1400a517a:	cc                   	int3
1400a517b:	48 89 84 24 88 00 00 	mov    %rax,0x88(%rsp)
1400a5182:	00
1400a5183:	4c 8b 8c 24 90 00 00 	mov    0x90(%rsp),%r9
1400a518a:	00
1400a518b:	48 8b c3             	mov    %rbx,%rax
1400a518e:	49 2b c7             	sub    %r15,%rax
1400a5191:	48 c1 f8 04          	sar    $0x4,%rax
1400a5195:	49 8d 0c 04          	lea    (%r12,%rax,1),%rcx
1400a5199:	48 c1 e1 04          	shl    $0x4,%rcx
1400a519d:	48 89 4c 24 28       	mov    %rcx,0x28(%rsp)
1400a51a2:	4c 8d 34 0f          	lea    (%rdi,%rcx,1),%r14
1400a51a6:	4c 89 74 24 38       	mov    %r14,0x38(%rsp)
1400a51ab:	48 c1 e0 04          	shl    $0x4,%rax
1400a51af:	48 03 c7             	add    %rdi,%rax
1400a51b2:	48 89 84 24 98 00 00 	mov    %rax,0x98(%rsp)
1400a51b9:	00
1400a51ba:	4d 8b d4             	mov    %r12,%r10
1400a51bd:	48 8b c8             	mov    %rax,%rcx
1400a51c0:	49 8d 51 08          	lea    0x8(%r9),%rdx
1400a51c4:	4c 8b c0             	mov    %rax,%r8
1400a51c7:	4d 2b c1             	sub    %r9,%r8
1400a51ca:	4c 89 19             	mov    %r11,(%rcx)
1400a51cd:	4d 89 1c 10          	mov    %r11,(%r8,%rdx,1)
1400a51d1:	48 8b 02             	mov    (%rdx),%rax
1400a51d4:	48 85 c0             	test   %rax,%rax
1400a51d7:	74 04                	je     0x1400a51dd
1400a51d9:	f0 ff 40 08          	lock incl 0x8(%rax)
1400a51dd:	48 8b 42 f8          	mov    -0x8(%rdx),%rax
1400a51e1:	48 89 01             	mov    %rax,(%rcx)
1400a51e4:	48 8b 02             	mov    (%rdx),%rax
1400a51e7:	4a 89 04 02          	mov    %rax,(%rdx,%r8,1)
1400a51eb:	48 83 c1 10          	add    $0x10,%rcx
1400a51ef:	48 83 c2 10          	add    $0x10,%rdx
1400a51f3:	49 83 ea 01          	sub    $0x1,%r10
1400a51f7:	75 d1                	jne    0x1400a51ca
1400a51f9:	48 8b d1             	mov    %rcx,%rdx
1400a51fc:	e8 6f 90 f7 ff       	call   0x14001e270
1400a5201:	48 8b 84 24 98 00 00 	mov    0x98(%rsp),%rax
1400a5208:	00
1400a5209:	48 89 84 24 98 00 00 	mov    %rax,0x98(%rsp)
1400a5210:	00
1400a5211:	49 83 fc 01          	cmp    $0x1,%r12
1400a5215:	75 4f                	jne    0x1400a5266
1400a5217:	48 3b de             	cmp    %rsi,%rbx
1400a521a:	75 4a                	jne    0x1400a5266
1400a521c:	48 8b cf             	mov    %rdi,%rcx
1400a521f:	4c 3b fe             	cmp    %rsi,%r15
1400a5222:	74 3a                	je     0x1400a525e
1400a5224:	49 8d 57 08          	lea    0x8(%r15),%rdx
1400a5228:	4c 8b c7             	mov    %rdi,%r8
1400a522b:	4d 2b c7             	sub    %r15,%r8
1400a522e:	45 33 f6             	xor    %r14d,%r14d
1400a5231:	4c 89 31             	mov    %r14,(%rcx)
1400a5234:	4e 89 34 02          	mov    %r14,(%rdx,%r8,1)
1400a5238:	48 8b 42 f8          	mov    -0x8(%rdx),%rax
1400a523c:	48 89 01             	mov    %rax,(%rcx)
1400a523f:	48 8b 02             	mov    (%rdx),%rax
1400a5242:	4a 89 04 02          	mov    %rax,(%rdx,%r8,1)
1400a5246:	4c 89 72 f8          	mov    %r14,-0x8(%rdx)
1400a524a:	4c 89 32             	mov    %r14,(%rdx)
1400a524d:	48 83 c1 10          	add    $0x10,%rcx
1400a5251:	48 8d 52 10          	lea    0x10(%rdx),%rdx
1400a5255:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1400a5259:	48 3b c6             	cmp    %rsi,%rax
1400a525c:	75 d3                	jne    0x1400a5231
1400a525e:	48 8b d1             	mov    %rcx,%rdx
1400a5261:	e9 90 00 00 00       	jmp    0x1400a52f6
1400a5266:	48 8b cf             	mov    %rdi,%rcx
1400a5269:	4c 3b fb             	cmp    %rbx,%r15
1400a526c:	74 35                	je     0x1400a52a3
1400a526e:	4c 2b ff             	sub    %rdi,%r15
1400a5271:	45 33 e4             	xor    %r12d,%r12d
1400a5274:	4c 89 21             	mov    %r12,(%rcx)
1400a5277:	4c 89 61 08          	mov    %r12,0x8(%rcx)
1400a527b:	49 8b 04 0f          	mov    (%r15,%rcx,1),%rax
1400a527f:	48 89 01             	mov    %rax,(%rcx)
1400a5282:	49 8b 44 0f 08       	mov    0x8(%r15,%rcx,1),%rax
1400a5287:	48 89 41 08          	mov    %rax,0x8(%rcx)
1400a528b:	4e 89 24 39          	mov    %r12,(%rcx,%r15,1)
1400a528f:	4e 89 64 39 08       	mov    %r12,0x8(%rcx,%r15,1)
1400a5294:	48 83 c1 10          	add    $0x10,%rcx
1400a5298:	49 8d 04 0f          	lea    (%r15,%rcx,1),%rax
1400a529c:	48 3b c3             	cmp    %rbx,%rax
1400a529f:	75 d3                	jne    0x1400a5274
1400a52a1:	eb 03                	jmp    0x1400a52a6
1400a52a3:	45 33 e4             	xor    %r12d,%r12d
1400a52a6:	48 8b d1             	mov    %rcx,%rdx
1400a52a9:	e8 c2 8f f7 ff       	call   0x14001e270
1400a52ae:	48 89 bc 24 98 00 00 	mov    %rdi,0x98(%rsp)
1400a52b5:	00
1400a52b6:	48 3b de             	cmp    %rsi,%rbx
1400a52b9:	74 35                	je     0x1400a52f0
1400a52bb:	48 2b 5c 24 28       	sub    0x28(%rsp),%rbx
1400a52c0:	48 2b df             	sub    %rdi,%rbx
1400a52c3:	4d 89 26             	mov    %r12,(%r14)
1400a52c6:	4d 89 66 08          	mov    %r12,0x8(%r14)
1400a52ca:	49 8b 04 1e          	mov    (%r14,%rbx,1),%rax
1400a52ce:	49 89 06             	mov    %rax,(%r14)
1400a52d1:	49 8b 44 1e 08       	mov    0x8(%r14,%rbx,1),%rax
1400a52d6:	49 89 46 08          	mov    %rax,0x8(%r14)
1400a52da:	4d 89 24 1e          	mov    %r12,(%r14,%rbx,1)
1400a52de:	4d 89 64 1e 08       	mov    %r12,0x8(%r14,%rbx,1)
1400a52e3:	49 83 c6 10          	add    $0x10,%r14
1400a52e7:	4a 8d 04 33          	lea    (%rbx,%r14,1),%rax
1400a52eb:	48 3b c6             	cmp    %rsi,%rax
1400a52ee:	75 d3                	jne    0x1400a52c3
1400a52f0:	49 8b d6             	mov    %r14,%rdx
1400a52f3:	49 8b ce             	mov    %r14,%rcx
1400a52f6:	e8 75 8f f7 ff       	call   0x14001e270
1400a52fb:	4d 8b cd             	mov    %r13,%r9
1400a52fe:	4c 8b 44 24 30       	mov    0x30(%rsp),%r8
1400a5303:	48 8b d7             	mov    %rdi,%rdx
1400a5306:	48 8b 8c 24 80 00 00 	mov    0x80(%rsp),%rcx
1400a530d:	00
1400a530e:	e8 b5 d2 f7 ff       	call   0x1400225c8
1400a5313:	48 83 c4 40          	add    $0x40,%rsp
1400a5317:	41 5f                	pop    %r15
1400a5319:	41 5e                	pop    %r14
1400a531b:	41 5d                	pop    %r13
1400a531d:	41 5c                	pop    %r12
1400a531f:	5f                   	pop    %rdi
1400a5320:	5e                   	pop    %rsi
1400a5321:	5b                   	pop    %rbx
1400a5322:	c3                   	ret
1400a5323:	48 8b c6             	mov    %rsi,%rax
1400a5326:	48 2b c3             	sub    %rbx,%rax
1400a5329:	48 c1 f8 04          	sar    $0x4,%rax
1400a532d:	4d 8b fc             	mov    %r12,%r15
1400a5330:	49 c1 e7 04          	shl    $0x4,%r15
1400a5334:	4c 3b e0             	cmp    %rax,%r12
1400a5337:	0f 83 21 01 00 00    	jae    0x1400a545e
1400a533d:	48 8b fe             	mov    %rsi,%rdi
1400a5340:	49 2b ff             	sub    %r15,%rdi
1400a5343:	4c 8b f6             	mov    %rsi,%r14
1400a5346:	48 3b fe             	cmp    %rsi,%rdi
1400a5349:	74 33                	je     0x1400a537e
1400a534b:	48 8b cf             	mov    %rdi,%rcx
1400a534e:	48 2b ce             	sub    %rsi,%rcx
1400a5351:	4d 89 1e             	mov    %r11,(%r14)
1400a5354:	4d 89 5e 08          	mov    %r11,0x8(%r14)
1400a5358:	49 8b 04 0e          	mov    (%r14,%rcx,1),%rax
1400a535c:	49 89 06             	mov    %rax,(%r14)
1400a535f:	4a 8b 44 31 08       	mov    0x8(%rcx,%r14,1),%rax
1400a5364:	49 89 46 08          	mov    %rax,0x8(%r14)
1400a5368:	4d 89 1c 0e          	mov    %r11,(%r14,%rcx,1)
1400a536c:	4d 89 5c 0e 08       	mov    %r11,0x8(%r14,%rcx,1)
1400a5371:	49 83 c6 10          	add    $0x10,%r14
1400a5375:	4a 8d 04 31          	lea    (%rcx,%r14,1),%rax
1400a5379:	48 3b c6             	cmp    %rsi,%rax
1400a537c:	75 d3                	jne    0x1400a5351
1400a537e:	49 8b d6             	mov    %r14,%rdx
1400a5381:	49 8b ce             	mov    %r14,%rcx
1400a5384:	e8 e7 8e f7 ff       	call   0x14001e270
1400a5389:	4d 89 75 00          	mov    %r14,0x0(%r13)
1400a538d:	48 3b fb             	cmp    %rbx,%rdi
1400a5390:	74 6c                	je     0x1400a53fe
1400a5392:	41 83 cd ff          	or     $0xffffffff,%r13d
1400a5396:	45 33 f6             	xor    %r14d,%r14d
1400a5399:	48 83 ef 10          	sub    $0x10,%rdi
1400a539d:	48 8b 07             	mov    (%rdi),%rax
1400a53a0:	48 8b 4f 08          	mov    0x8(%rdi),%rcx
1400a53a4:	4c 89 37             	mov    %r14,(%rdi)
1400a53a7:	4c 89 77 08          	mov    %r14,0x8(%rdi)
1400a53ab:	49 89 04 3f          	mov    %rax,(%r15,%rdi,1)
1400a53af:	4a 8b 74 3f 08       	mov    0x8(%rdi,%r15,1),%rsi
1400a53b4:	4a 89 4c 3f 08       	mov    %rcx,0x8(%rdi,%r15,1)
1400a53b9:	48 85 f6             	test   %rsi,%rsi
1400a53bc:	74 39                	je     0x1400a53f7
1400a53be:	41 8b c5             	mov    %r13d,%eax
1400a53c1:	f0 0f c1 46 08       	lock xadd %eax,0x8(%rsi)
1400a53c6:	41 03 c5             	add    %r13d,%eax
1400a53c9:	75 2c                	jne    0x1400a53f7
1400a53cb:	48 8b 06             	mov    (%rsi),%rax
1400a53ce:	48 8b ce             	mov    %rsi,%rcx
1400a53d1:	48 8b 00             	mov    (%rax),%rax
1400a53d4:	ff 15 5e 78 a6 00    	call   *0xa6785e(%rip)        # 0x140b0cc38
1400a53da:	41 8b c5             	mov    %r13d,%eax
1400a53dd:	f0 0f c1 46 0c       	lock xadd %eax,0xc(%rsi)
1400a53e2:	41 03 c5             	add    %r13d,%eax
1400a53e5:	75 10                	jne    0x1400a53f7
1400a53e7:	48 8b 06             	mov    (%rsi),%rax
1400a53ea:	48 8b ce             	mov    %rsi,%rcx
1400a53ed:	48 8b 40 08          	mov    0x8(%rax),%rax
1400a53f1:	ff 15 41 78 a6 00    	call   *0xa67841(%rip)        # 0x140b0cc38
1400a53f7:	48 3b fb             	cmp    %rbx,%rdi
1400a53fa:	75 9d                	jne    0x1400a5399
1400a53fc:	eb 03                	jmp    0x1400a5401
1400a53fe:	45 33 f6             	xor    %r14d,%r14d
1400a5401:	4a 8d 14 3b          	lea    (%rbx,%r15,1),%rdx
1400a5405:	48 8b cb             	mov    %rbx,%rcx
1400a5408:	e8 63 8e f7 ff       	call   0x14001e270
1400a540d:	48 8b 84 24 90 00 00 	mov    0x90(%rsp),%rax
1400a5414:	00
1400a5415:	48 8d 48 08          	lea    0x8(%rax),%rcx
1400a5419:	48 8b d3             	mov    %rbx,%rdx
1400a541c:	48 2b d0             	sub    %rax,%rdx
1400a541f:	4c 89 33             	mov    %r14,(%rbx)
1400a5422:	4c 89 34 11          	mov    %r14,(%rcx,%rdx,1)
1400a5426:	48 8b 01             	mov    (%rcx),%rax
1400a5429:	48 85 c0             	test   %rax,%rax
1400a542c:	74 04                	je     0x1400a5432
1400a542e:	f0 ff 40 08          	lock incl 0x8(%rax)
1400a5432:	48 8b 41 f8          	mov    -0x8(%rcx),%rax
1400a5436:	48 89 03             	mov    %rax,(%rbx)
1400a5439:	48 8b 01             	mov    (%rcx),%rax
1400a543c:	48 89 04 11          	mov    %rax,(%rcx,%rdx,1)
1400a5440:	48 83 c3 10          	add    $0x10,%rbx
1400a5444:	48 83 c1 10          	add    $0x10,%rcx
1400a5448:	49 83 ec 01          	sub    $0x1,%r12
1400a544c:	75 d1                	jne    0x1400a541f
1400a544e:	48 8b d3             	mov    %rbx,%rdx
1400a5451:	48 8b cb             	mov    %rbx,%rcx
1400a5454:	e8 17 8e f7 ff       	call   0x14001e270
1400a5459:	e9 ae 00 00 00       	jmp    0x1400a550c
1400a545e:	49 8d 3c 1f          	lea    (%r15,%rbx,1),%rdi
1400a5462:	48 89 bc 24 98 00 00 	mov    %rdi,0x98(%rsp)
1400a5469:	00
1400a546a:	48 3b de             	cmp    %rsi,%rbx
1400a546d:	74 33                	je     0x1400a54a2
1400a546f:	48 8b cb             	mov    %rbx,%rcx
1400a5472:	48 2b cf             	sub    %rdi,%rcx
1400a5475:	4c 89 1f             	mov    %r11,(%rdi)
1400a5478:	4c 89 5f 08          	mov    %r11,0x8(%rdi)
1400a547c:	48 8b 04 39          	mov    (%rcx,%rdi,1),%rax
1400a5480:	48 89 07             	mov    %rax,(%rdi)
1400a5483:	48 8b 44 39 08       	mov    0x8(%rcx,%rdi,1),%rax
1400a5488:	48 89 47 08          	mov    %rax,0x8(%rdi)
1400a548c:	4c 89 1c 0f          	mov    %r11,(%rdi,%rcx,1)
1400a5490:	4c 89 5c 0f 08       	mov    %r11,0x8(%rdi,%rcx,1)
1400a5495:	48 83 c7 10          	add    $0x10,%rdi
1400a5499:	48 8d 04 0f          	lea    (%rdi,%rcx,1),%rax
1400a549d:	48 3b c6             	cmp    %rsi,%rax
1400a54a0:	75 d3                	jne    0x1400a5475
1400a54a2:	48 8b d7             	mov    %rdi,%rdx
1400a54a5:	48 8b cf             	mov    %rdi,%rcx
1400a54a8:	e8 c3 8d f7 ff       	call   0x14001e270
1400a54ad:	49 89 7d 00          	mov    %rdi,0x0(%r13)
1400a54b1:	48 8b d6             	mov    %rsi,%rdx
1400a54b4:	48 8b cb             	mov    %rbx,%rcx
1400a54b7:	e8 b4 8d f7 ff       	call   0x14001e270
1400a54bc:	48 8b 84 24 90 00 00 	mov    0x90(%rsp),%rax
1400a54c3:	00
1400a54c4:	48 8d 48 08          	lea    0x8(%rax),%rcx
1400a54c8:	48 8b d3             	mov    %rbx,%rdx
1400a54cb:	48 2b d0             	sub    %rax,%rdx
1400a54ce:	45 33 f6             	xor    %r14d,%r14d
1400a54d1:	4c 89 33             	mov    %r14,(%rbx)
1400a54d4:	4c 89 34 11          	mov    %r14,(%rcx,%rdx,1)
1400a54d8:	48 8b 01             	mov    (%rcx),%rax
1400a54db:	48 85 c0             	test   %rax,%rax
1400a54de:	74 04                	je     0x1400a54e4
1400a54e0:	f0 ff 40 08          	lock incl 0x8(%rax)
1400a54e4:	48 8b 41 f8          	mov    -0x8(%rcx),%rax
1400a54e8:	48 89 03             	mov    %rax,(%rbx)
1400a54eb:	48 8b 01             	mov    (%rcx),%rax
1400a54ee:	48 89 04 11          	mov    %rax,(%rcx,%rdx,1)
1400a54f2:	48 83 c3 10          	add    $0x10,%rbx
1400a54f6:	48 83 c1 10          	add    $0x10,%rcx
1400a54fa:	49 83 ec 01          	sub    $0x1,%r12
1400a54fe:	75 d1                	jne    0x1400a54d1
1400a5500:	48 8b d3             	mov    %rbx,%rdx
1400a5503:	48 8b cb             	mov    %rbx,%rcx
1400a5506:	e8 65 8d f7 ff       	call   0x14001e270
1400a550b:	90                   	nop
1400a550c:	e9 02 fe ff ff       	jmp    0x1400a5313
1400a5511:	e8 52 68 f7 ff       	call   0x14001bd68
1400a5516:	cc                   	int3
1400a5517:	e8 b4 e7 f5 ff       	call   0x140003cd0
1400a551c:	cc                   	int3
1400a551d:	90                   	nop
1400a551e:	90                   	nop
1400a551f:	90                   	nop
1400a5520:	4c 89 44 24 18       	mov    %r8,0x18(%rsp)
1400a5525:	53                   	push   %rbx
1400a5526:	56                   	push   %rsi
1400a5527:	57                   	push   %rdi
1400a5528:	41 56                	push   %r14
1400a552a:	41 57                	push   %r15
1400a552c:	48 83 ec 30          	sub    $0x30,%rsp
1400a5530:	48 8b f2             	mov    %rdx,%rsi
1400a5533:	4c 8b f9             	mov    %rcx,%r15
1400a5536:	49 b8 aa aa aa aa aa 	movabs $0xaaaaaaaaaaaaaaa,%r8
1400a553d:	aa aa 0a
1400a5540:	49 3b d0             	cmp    %r8,%rdx
1400a5543:	0f 87 55 01 00 00    	ja     0x1400a569e
1400a5549:	4c 8b 71 08          	mov    0x8(%rcx),%r14
1400a554d:	4c 2b 31             	sub    (%rcx),%r14
1400a5550:	49 c1 fe 03          	sar    $0x3,%r14
1400a5554:	48 b8 ab aa aa aa aa 	movabs $0xaaaaaaaaaaaaaaab,%rax
1400a555b:	aa aa aa
1400a555e:	4c 0f af f0          	imul   %rax,%r14
1400a5562:	48 8b 49 10          	mov    0x10(%rcx),%rcx
1400a5566:	49 2b 0f             	sub    (%r15),%rcx
1400a5569:	48 c1 f9 03          	sar    $0x3,%rcx
1400a556d:	48 0f af c8          	imul   %rax,%rcx
1400a5571:	48 8b d1             	mov    %rcx,%rdx
1400a5574:	48 d1 ea             	shr    $1,%rdx
1400a5577:	49 8b c0             	mov    %r8,%rax
1400a557a:	48 2b c2             	sub    %rdx,%rax
1400a557d:	48 3b c8             	cmp    %rax,%rcx
1400a5580:	76 05                	jbe    0x1400a5587
1400a5582:	49 8b f8             	mov    %r8,%rdi
1400a5585:	eb 0b                	jmp    0x1400a5592
1400a5587:	48 8d 3c 0a          	lea    (%rdx,%rcx,1),%rdi
1400a558b:	48 3b fe             	cmp    %rsi,%rdi
1400a558e:	48 0f 42 fe          	cmovb  %rsi,%rdi
1400a5592:	48 89 7c 24 78       	mov    %rdi,0x78(%rsp)
1400a5597:	49 3b f8             	cmp    %r8,%rdi
1400a559a:	0f 87 f8 00 00 00    	ja     0x1400a5698