14003e22f:	cc                   	int3
14003e230:	48 b8 80 70 00 00 80 	movabs $0x708000007080,%rax
14003e237:	70 00 00
14003e23a:	89 05 a0 a3 03 00    	mov    %eax,0x3a3a0(%rip)        # 0x1400785e0
14003e240:	48 b8 01 00 00 00 01 	movabs $0x100000001,%rax
14003e247:	00 00 00
14003e24a:	89 05 94 a3 03 00    	mov    %eax,0x3a394(%rip)        # 0x1400785e4
14003e250:	48 b8 f0 f1 ff ff f0 	movabs $0xfffff1f0fffff1f0,%rax
14003e257:	f1 ff ff
14003e25a:	89 05 88 a3 03 00    	mov    %eax,0x3a388(%rip)        # 0x1400785e8
14003e260:	48 8d 05 f9 42 03 00 	lea    0x342f9(%rip),%rax        # 0x140072560
14003e267:	48 89 05 82 a3 03 00 	mov    %rax,0x3a382(%rip)        # 0x1400785f0
14003e26e:	48 8d 05 fb 42 03 00 	lea    0x342fb(%rip),%rax        # 0x140072570
14003e275:	48 89 05 7c a3 03 00 	mov    %rax,0x3a37c(%rip)        # 0x1400785f8
14003e27c:	33 c0                	xor    %eax,%eax
14003e27e:	c3                   	ret
14003e27f:	cc                   	int3
14003e280:	48 8d 05 5d a3 03 00 	lea    0x3a35d(%rip),%rax        # 0x1400785e4
14003e287:	c3                   	ret
14003e288:	48 8d 05 59 a3 03 00 	lea    0x3a359(%rip),%rax        # 0x1400785e8
14003e28f:	c3                   	ret
14003e290:	48 8d 05 49 a3 03 00 	lea    0x3a349(%rip),%rax        # 0x1400785e0
14003e297:	c3                   	ret
14003e298:	48 8b 05 51 a3 03 00 	mov    0x3a351(%rip),%rax        # 0x1400785f0
14003e29f:	c3                   	ret
14003e2a0:	48 8b 05 51 a3 03 00 	mov    0x3a351(%rip),%rax        # 0x1400785f8
14003e2a7:	c3                   	ret
14003e2a8:	48 83 ec 28          	sub    $0x28,%rsp
14003e2ac:	48 85 c9             	test   %rcx,%rcx
14003e2af:	75 17                	jne    0x14003e2c8
14003e2b1:	e8 82 d7 fe ff       	call   0x14002ba38
14003e2b6:	c7 00 16 00 00 00    	movl   $0x16,(%rax)
14003e2bc:	e8 e3 d2 fe ff       	call   0x14002b5a4
14003e2c1:	b8 16 00 00 00       	mov    $0x16,%eax
14003e2c6:	eb 0a                	jmp    0x14003e2d2
14003e2c8:	8b 05 16 a3 03 00    	mov    0x3a316(%rip),%eax        # 0x1400785e4
14003e2ce:	89 01                	mov    %eax,(%rcx)
14003e2d0:	33 c0                	xor    %eax,%eax
14003e2d2:	48 83 c4 28          	add    $0x28,%rsp
14003e2d6:	c3                   	ret
14003e2d7:	cc                   	int3
14003e2d8:	48 83 ec 28          	sub    $0x28,%rsp
14003e2dc:	48 85 c9             	test   %rcx,%rcx
14003e2df:	75 17                	jne    0x14003e2f8
14003e2e1:	e8 52 d7 fe ff       	call   0x14002ba38
14003e2e6:	c7 00 16 00 00 00    	movl   $0x16,(%rax)
14003e2ec:	e8 b3 d2 fe ff       	call   0x14002b5a4
14003e2f1:	b8 16 00 00 00       	mov    $0x16,%eax
14003e2f6:	eb 0a                	jmp    0x14003e302
14003e2f8:	8b 05 ea a2 03 00    	mov    0x3a2ea(%rip),%eax        # 0x1400785e8
14003e2fe:	89 01                	mov    %eax,(%rcx)
14003e300:	33 c0                	xor    %eax,%eax
14003e302:	48 83 c4 28          	add    $0x28,%rsp
14003e306:	c3                   	ret
14003e307:	cc                   	int3
14003e308:	48 83 ec 28          	sub    $0x28,%rsp
14003e30c:	48 85 c9             	test   %rcx,%rcx
14003e30f:	75 17                	jne    0x14003e328
14003e311:	e8 22 d7 fe ff       	call   0x14002ba38
14003e316:	c7 00 16 00 00 00    	movl   $0x16,(%rax)
14003e31c:	e8 83 d2 fe ff       	call   0x14002b5a4
14003e321:	b8 16 00 00 00       	mov    $0x16,%eax
14003e326:	eb 0a                	jmp    0x14003e332
14003e328:	8b 05 b2 a2 03 00    	mov    0x3a2b2(%rip),%eax        # 0x1400785e0
14003e32e:	89 01                	mov    %eax,(%rcx)
14003e330:	33 c0                	xor    %eax,%eax
14003e332:	48 83 c4 28          	add    $0x28,%rsp
14003e336:	c3                   	ret
14003e337:	cc                   	int3
14003e338:	48 8b c4             	mov    %rsp,%rax
14003e33b:	48 89 58 08          	mov    %rbx,0x8(%rax)
14003e33f:	48 89 68 18          	mov    %rbp,0x18(%rax)
14003e343:	48 89 70 20          	mov    %rsi,0x20(%rax)
14003e347:	57                   	push   %rdi
14003e348:	41 54                	push   %r12
14003e34a:	41 55                	push   %r13
14003e34c:	41 56                	push   %r14
14003e34e:	41 57                	push   %r15
14003e350:	48 83 ec 60          	sub    $0x60,%rsp
14003e354:	48 8b e9             	mov    %rcx,%rbp
14003e357:	33 ff                	xor    %edi,%edi
14003e359:	48 8d 48 10          	lea    0x10(%rax),%rcx
14003e35d:	89 78 10             	mov    %edi,0x10(%rax)
14003e360:	e8 43 ff ff ff       	call   0x14003e2a8
14003e365:	85 c0                	test   %eax,%eax
14003e367:	0f 85 b0 02 00 00    	jne    0x14003e61d
14003e36d:	39 bc 24 98 00 00 00 	cmp    %edi,0x98(%rsp)
14003e374:	0f 84 9f 02 00 00    	je     0x14003e619
14003e37a:	8b 75 14             	mov    0x14(%rbp),%esi
14003e37d:	44 8d 7f 01          	lea    0x1(%rdi),%r15d
14003e381:	3b 35 f9 41 03 00    	cmp    0x341f9(%rip),%esi        # 0x140072580
14003e387:	75 0c                	jne    0x14003e395
14003e389:	3b 35 01 42 03 00    	cmp    0x34201(%rip),%esi        # 0x140072590
14003e38f:	0f 84 f8 01 00 00    	je     0x14003e58d
14003e395:	39 3d 75 a2 03 00    	cmp    %edi,0x3a275(%rip)        # 0x140078610
14003e39b:	0f 84 65 01 00 00    	je     0x14003e506
14003e3a1:	66 39 3d 10 a3 03 00 	cmp    %di,0x3a310(%rip)        # 0x1400786b8
14003e3a8:	75 67                	jne    0x14003e411
14003e3aa:	0f b7 0d 13 a3 03 00 	movzwl 0x3a313(%rip),%ecx        # 0x1400786c4
14003e3b1:	44 8b c6             	mov    %esi,%r8d
14003e3b4:	0f b7 15 07 a3 03 00 	movzwl 0x3a307(%rip),%edx        # 0x1400786c2
14003e3bb:	0f b7 05 04 a3 03 00 	movzwl 0x3a304(%rip),%eax        # 0x1400786c6
14003e3c2:	44 0f b7 15 f6 a2 03 	movzwl 0x3a2f6(%rip),%r10d        # 0x1400786c0
14003e3c9:	00
14003e3ca:	44 0f b7 1d ea a2 03 	movzwl 0x3a2ea(%rip),%r11d        # 0x1400786bc
14003e3d1:	00
14003e3d2:	0f b7 1d e5 a2 03 00 	movzwl 0x3a2e5(%rip),%ebx        # 0x1400786be
14003e3d9:	44 0f b7 0d d9 a2 03 	movzwl 0x3a2d9(%rip),%r9d        # 0x1400786ba
14003e3e0:	00
14003e3e1:	89 44 24 50          	mov    %eax,0x50(%rsp)
14003e3e5:	89 4c 24 48          	mov    %ecx,0x48(%rsp)
14003e3e9:	33 c9                	xor    %ecx,%ecx
14003e3eb:	89 54 24 40          	mov    %edx,0x40(%rsp)
14003e3ef:	41 8b d7             	mov    %r15d,%edx
14003e3f2:	44 89 54 24 38       	mov    %r10d,0x38(%rsp)
14003e3f7:	89 7c 24 30          	mov    %edi,0x30(%rsp)
14003e3fb:	44 89 5c 24 28       	mov    %r11d,0x28(%rsp)
14003e400:	89 5c 24 20          	mov    %ebx,0x20(%rsp)
14003e404:	e8 2b 02 00 00       	call   0x14003e634
14003e409:	8b 75 14             	mov    0x14(%rbp),%esi
14003e40c:	e9 80 00 00 00       	jmp    0x14003e491
14003e411:	44 0f b7 35 ad a2 03 	movzwl 0x3a2ad(%rip),%r14d        # 0x1400786c6
14003e418:	00
14003e419:	8b ce                	mov    %esi,%ecx
14003e41b:	44 0f b7 3d a1 a2 03 	movzwl 0x3a2a1(%rip),%r15d        # 0x1400786c4
14003e422:	00
14003e423:	44 0f b7 25 97 a2 03 	movzwl 0x3a297(%rip),%r12d        # 0x1400786c2
14003e42a:	00
14003e42b:	44 0f b7 2d 8d a2 03 	movzwl 0x3a28d(%rip),%r13d        # 0x1400786c0
14003e432:	00
14003e433:	0f b7 1d 80 a2 03 00 	movzwl 0x3a280(%rip),%ebx        # 0x1400786ba
14003e43a:	e8 11 6b ff ff       	call   0x140034f50
14003e43f:	84 c0                	test   %al,%al
14003e441:	48 8d 05 b8 1b fc ff 	lea    -0x3e448(%rip),%rax        # 0x140000000
14003e448:	74 09                	je     0x14003e453
14003e44a:	8b 8c 98 fc 9a 05 00 	mov    0x59afc(%rax,%rbx,4),%ecx
14003e451:	eb 07                	jmp    0x14003e45a
14003e453:	8b 8c 98 c4 9a 05 00 	mov    0x59ac4(%rax,%rbx,4),%ecx
14003e45a:	0f b7 05 5d a2 03 00 	movzwl 0x3a25d(%rip),%eax        # 0x1400786be
14003e461:	03 c1                	add    %ecx,%eax
14003e463:	89 35 17 41 03 00    	mov    %esi,0x34117(%rip)        # 0x140072580
14003e469:	89 05 15 41 03 00    	mov    %eax,0x34115(%rip)        # 0x140072584
14003e46f:	41 6b c5 3c          	imul   $0x3c,%r13d,%eax
14003e473:	41 03 c4             	add    %r12d,%eax
14003e476:	6b c8 3c             	imul   $0x3c,%eax,%ecx
14003e479:	41 03 cf             	add    %r15d,%ecx
14003e47c:	41 bf 01 00 00 00    	mov    $0x1,%r15d
14003e482:	69 c1 e8 03 00 00    	imul   $0x3e8,%ecx,%eax
14003e488:	41 03 c6             	add    %r14d,%eax
14003e48b:	89 05 f7 40 03 00    	mov    %eax,0x340f7(%rip)        # 0x140072588
14003e491:	66 39 3d cc a1 03 00 	cmp    %di,0x3a1cc(%rip)        # 0x140078664
14003e498:	44 0f b7 0d c6 a1 03 	movzwl 0x3a1c6(%rip),%r9d        # 0x140078666
14003e49f:	00
14003e4a0:	44 0f b7 15 c4 a1 03 	movzwl 0x3a1c4(%rip),%r10d        # 0x14007866c
14003e4a7:	00
14003e4a8:	44 0f b7 1d be a1 03 	movzwl 0x3a1be(%rip),%r11d        # 0x14007866e
14003e4af:	00
14003e4b0:	0f b7 1d b9 a1 03 00 	movzwl 0x3a1b9(%rip),%ebx        # 0x140078670
14003e4b7:	44 0f b7 35 b3 a1 03 	movzwl 0x3a1b3(%rip),%r14d        # 0x140078672
14003e4be:	00
14003e4bf:	75 16                	jne    0x14003e4d7
14003e4c1:	0f b7 05 a2 a1 03 00 	movzwl 0x3a1a2(%rip),%eax        # 0x14007866a
14003e4c8:	41 8b d7             	mov    %r15d,%edx
14003e4cb:	0f b7 0d 96 a1 03 00 	movzwl 0x3a196(%rip),%ecx        # 0x140078668
14003e4d2:	44 8b c7             	mov    %edi,%r8d
14003e4d5:	eb 0e                	jmp    0x14003e4e5
14003e4d7:	44 0f b7 05 8b a1 03 	movzwl 0x3a18b(%rip),%r8d        # 0x14007866a
14003e4de:	00
14003e4df:	8b d7                	mov    %edi,%edx
14003e4e1:	8b c7                	mov    %edi,%eax
14003e4e3:	8b cf                	mov    %edi,%ecx
14003e4e5:	44 89 74 24 50       	mov    %r14d,0x50(%rsp)
14003e4ea:	89 5c 24 48          	mov    %ebx,0x48(%rsp)
14003e4ee:	44 89 5c 24 40       	mov    %r11d,0x40(%rsp)
14003e4f3:	44 89 54 24 38       	mov    %r10d,0x38(%rsp)
14003e4f8:	44 89 44 24 30       	mov    %r8d,0x30(%rsp)
14003e4fd:	44 8b c6             	mov    %esi,%r8d
14003e500:	89 4c 24 28          	mov    %ecx,0x28(%rsp)
14003e504:	eb 7b                	jmp    0x14003e581
14003e506:	89 7c 24 50          	mov    %edi,0x50(%rsp)
14003e50a:	8b c7                	mov    %edi,%eax
14003e50c:	89 7c 24 48          	mov    %edi,0x48(%rsp)
14003e510:	44 8b cf             	mov    %edi,%r9d
14003e513:	89 7c 24 40          	mov    %edi,0x40(%rsp)
14003e517:	83 fe 6b             	cmp    $0x6b,%esi
14003e51a:	bb 02 00 00 00       	mov    $0x2,%ebx
14003e51f:	44 8b c6             	mov    %esi,%r8d
14003e522:	0f 9d c0             	setge  %al
14003e525:	89 5c 24 38          	mov    %ebx,0x38(%rsp)
14003e529:	41 03 c7             	add    %r15d,%eax
14003e52c:	89 7c 24 30          	mov    %edi,0x30(%rsp)
14003e530:	83 fe 6b             	cmp    $0x6b,%esi
14003e533:	89 7c 24 28          	mov    %edi,0x28(%rsp)
14003e537:	41 8b d7             	mov    %r15d,%edx
14003e53a:	89 44 24 20          	mov    %eax,0x20(%rsp)
14003e53e:	41 0f 9c c1          	setl   %r9b
14003e542:	33 c9                	xor    %ecx,%ecx
14003e544:	41 83 c1 03          	add    $0x3,%r9d
14003e548:	e8 e7 00 00 00       	call   0x14003e634
14003e54d:	44 8b 45 14          	mov    0x14(%rbp),%r8d
14003e551:	8d 43 03             	lea    0x3(%rbx),%eax
14003e554:	89 7c 24 50          	mov    %edi,0x50(%rsp)
14003e558:	83 fe 6b             	cmp    $0x6b,%esi
14003e55b:	89 7c 24 48          	mov    %edi,0x48(%rsp)
14003e55f:	44 8b cf             	mov    %edi,%r9d
14003e562:	89 7c 24 40          	mov    %edi,0x40(%rsp)
14003e566:	41 0f 9d c1          	setge  %r9b
14003e56a:	89 5c 24 38          	mov    %ebx,0x38(%rsp)
14003e56e:	41 0f 4d c7          	cmovge %r15d,%eax
14003e572:	89 7c 24 30          	mov    %edi,0x30(%rsp)
14003e576:	41 83 c1 0a          	add    $0xa,%r9d
14003e57a:	89 7c 24 28          	mov    %edi,0x28(%rsp)
14003e57e:	41 8b d7             	mov    %r15d,%edx
14003e581:	41 8b cf             	mov    %r15d,%ecx
14003e584:	89 44 24 20          	mov    %eax,0x20(%rsp)
14003e588:	e8 a7 00 00 00       	call   0x14003e634
14003e58d:	44 8b 05 f0 3f 03 00 	mov    0x33ff0(%rip),%r8d        # 0x140072584
14003e594:	8b 0d fa 3f 03 00    	mov    0x33ffa(%rip),%ecx        # 0x140072594
14003e59a:	8b 45 1c             	mov    0x1c(%rbp),%eax
14003e59d:	44 3b c1             	cmp    %ecx,%r8d
14003e5a0:	7d 33                	jge    0x14003e5d5
14003e5a2:	41 3b c0             	cmp    %r8d,%eax
14003e5a5:	7c 72                	jl     0x14003e619
14003e5a7:	3b c1                	cmp    %ecx,%eax
14003e5a9:	7f 6e                	jg     0x14003e619
14003e5ab:	41 3b c0             	cmp    %r8d,%eax
14003e5ae:	7e 37                	jle    0x14003e5e7
14003e5b0:	3b c1                	cmp    %ecx,%eax
14003e5b2:	7d 33                	jge    0x14003e5e7
14003e5b4:	41 8b c7             	mov    %r15d,%eax
14003e5b7:	4c 8d 5c 24 60       	lea    0x60(%rsp),%r11
14003e5bc:	49 8b 5b 30          	mov    0x30(%r11),%rbx
14003e5c0:	49 8b 6b 40          	mov    0x40(%r11),%rbp
14003e5c4:	49 8b 73 48          	mov    0x48(%r11),%rsi
14003e5c8:	49 8b e3             	mov    %r11,%rsp
14003e5cb:	41 5f                	pop    %r15
14003e5cd:	41 5e                	pop    %r14
14003e5cf:	41 5d                	pop    %r13
14003e5d1:	41 5c                	pop    %r12
14003e5d3:	5f                   	pop    %rdi
14003e5d4:	c3                   	ret
14003e5d5:	3b c1                	cmp    %ecx,%eax
14003e5d7:	7c db                	jl     0x14003e5b4
14003e5d9:	41 3b c0             	cmp    %r8d,%eax
14003e5dc:	7f d6                	jg     0x14003e5b4
14003e5de:	3b c1                	cmp    %ecx,%eax
14003e5e0:	7e 05                	jle    0x14003e5e7
14003e5e2:	41 3b c0             	cmp    %r8d,%eax
14003e5e5:	7c 32                	jl     0x14003e619
14003e5e7:	6b 4d 08 3c          	imul   $0x3c,0x8(%rbp),%ecx
14003e5eb:	03 4d 04             	add    0x4(%rbp),%ecx
14003e5ee:	6b d1 3c             	imul   $0x3c,%ecx,%edx
14003e5f1:	03 55 00             	add    0x0(%rbp),%edx
14003e5f4:	69 ca e8 03 00 00    	imul   $0x3e8,%edx,%ecx
14003e5fa:	41 3b c0             	cmp    %r8d,%eax
14003e5fd:	75 0e                	jne    0x14003e60d
14003e5ff:	3b 0d 83 3f 03 00    	cmp    0x33f83(%rip),%ecx        # 0x140072588
14003e605:	40 0f 9d c7          	setge  %dil
14003e609:	8b c7                	mov    %edi,%eax
14003e60b:	eb aa                	jmp    0x14003e5b7
14003e60d:	3b 0d 85 3f 03 00    	cmp    0x33f85(%rip),%ecx        # 0x140072598
14003e613:	40 0f 9c c7          	setl   %dil
14003e617:	eb f0                	jmp    0x14003e609
14003e619:	33 c0                	xor    %eax,%eax
14003e61b:	eb 9a                	jmp    0x14003e5b7
14003e61d:	45 33 c9             	xor    %r9d,%r9d
14003e620:	48 89 7c 24 20       	mov    %rdi,0x20(%rsp)
14003e625:	45 33 c0             	xor    %r8d,%r8d
14003e628:	33 d2                	xor    %edx,%edx
14003e62a:	33 c9                	xor    %ecx,%ecx
14003e62c:	e8 c3 cf fe ff       	call   0x14002b5f4
14003e631:	cc                   	int3
14003e632:	cc                   	int3
14003e633:	cc                   	int3
14003e634:	48 89 5c 24 10       	mov    %rbx,0x10(%rsp)
14003e639:	48 89 6c 24 18       	mov    %rbp,0x18(%rsp)
14003e63e:	56                   	push   %rsi
14003e63f:	57                   	push   %rdi
14003e640:	41 56                	push   %r14
14003e642:	48 83 ec 30          	sub    $0x30,%rsp
14003e646:	83 64 24 50 00       	andl   $0x0,0x50(%rsp)
14003e64b:	44 8b f1             	mov    %ecx,%r14d
14003e64e:	41 8b c8             	mov    %r8d,%ecx
14003e651:	49 63 d9             	movslq %r9d,%rbx
14003e654:	41 8b f0             	mov    %r8d,%esi
14003e657:	8b fa                	mov    %edx,%edi
14003e659:	e8 f2 68 ff ff       	call   0x140034f50
14003e65e:	4c 8d 1d 9b 19 fc ff 	lea    -0x3e665(%rip),%r11        # 0x140000000
14003e665:	40 8a e8             	mov    %al,%bpl
14003e668:	83 ff 01             	cmp    $0x1,%edi
14003e66b:	0f 85 d2 00 00 00    	jne    0x14003e743
14003e671:	84 c0                	test   %al,%al
14003e673:	74 0a                	je     0x14003e67f
14003e675:	45 8b 94 9b fc 9a 05 	mov    0x59afc(%r11,%rbx,4),%r10d
14003e67c:	00
14003e67d:	eb 08                	jmp    0x14003e687
14003e67f:	45 8b 94 9b c4 9a 05 	mov    0x59ac4(%r11,%rbx,4),%r10d
14003e686:	00
14003e687:	41 ff c2             	inc    %r10d
14003e68a:	44 8d 46 ff          	lea    -0x1(%rsi),%r8d
14003e68e:	bf 1f 85 eb 51       	mov    $0x51eb851f,%edi
14003e693:	8d 8e 2b 01 00 00    	lea    0x12b(%rsi),%ecx
14003e699:	8b c7                	mov    %edi,%eax
14003e69b:	f7 e9                	imul   %ecx
14003e69d:	8b c7                	mov    %edi,%eax
14003e69f:	44 8b ca             	mov    %edx,%r9d
14003e6a2:	41 f7 e8             	imul   %r8d
14003e6a5:	41 8b c0             	mov    %r8d,%eax
14003e6a8:	41 c1 f9 07          	sar    $0x7,%r9d
14003e6ac:	c1 fa 05             	sar    $0x5,%edx
14003e6af:	41 8b c9             	mov    %r9d,%ecx
14003e6b2:	c1 e9 1f             	shr    $0x1f,%ecx
14003e6b5:	44 03 c9             	add    %ecx,%r9d
14003e6b8:	8b ca                	mov    %edx,%ecx
14003e6ba:	c1 e9 1f             	shr    $0x1f,%ecx
14003e6bd:	03 d1                	add    %ecx,%edx
14003e6bf:	69 ce 6d 01 00 00    	imul   $0x16d,%esi,%ecx
14003e6c5:	44 2b ca             	sub    %edx,%r9d
14003e6c8:	99                   	cltd
14003e6c9:	83 e2 03             	and    $0x3,%edx
14003e6cc:	81 c1 25 9c ff ff    	add    $0xffff9c25,%ecx
14003e6d2:	44 8d 04 02          	lea    (%rdx,%rax,1),%r8d
14003e6d6:	b8 93 24 49 92       	mov    $0x92492493,%eax
14003e6db:	41 c1 f8 02          	sar    $0x2,%r8d
14003e6df:	45 03 c2             	add    %r10d,%r8d
14003e6e2:	45 03 c1             	add    %r9d,%r8d
14003e6e5:	44 03 c1             	add    %ecx,%r8d
14003e6e8:	41 f7 e8             	imul   %r8d
14003e6eb:	41 03 d0             	add    %r8d,%edx
14003e6ee:	c1 fa 02             	sar    $0x2,%edx
14003e6f1:	8b c2                	mov    %edx,%eax
14003e6f3:	c1 e8 1f             	shr    $0x1f,%eax
14003e6f6:	03 d0                	add    %eax,%edx
14003e6f8:	6b c2 07             	imul   $0x7,%edx,%eax
14003e6fb:	6b 54 24 70 07       	imul   $0x7,0x70(%rsp),%edx
14003e700:	44 2b c0             	sub    %eax,%r8d
14003e703:	41 2b d0             	sub    %r8d,%edx
14003e706:	41 03 d2             	add    %r10d,%edx
14003e709:	03 54 24 78          	add    0x78(%rsp),%edx
14003e70d:	44 3b 44 24 78       	cmp    0x78(%rsp),%r8d
14003e712:	8d 42 f9             	lea    -0x7(%rdx),%eax
14003e715:	0f 4f c2             	cmovg  %edx,%eax
14003e718:	40 84 ed             	test   %bpl,%bpl
14003e71b:	74 0a                	je     0x14003e727
14003e71d:	41 8b 8c 9b 00 9b 05 	mov    0x59b00(%r11,%rbx,4),%ecx
14003e724:	00
14003e725:	eb 08                	jmp    0x14003e72f
14003e727:	41 8b 8c 9b c8 9a 05 	mov    0x59ac8(%r11,%rbx,4),%ecx
14003e72e:	00
14003e72f:	83 7c 24 70 05       	cmpl   $0x5,0x70(%rsp)