1402f328f:	48 8b 78 68          	mov    0x68(%rax),%rdi
1402f3293:	49 8b 06             	mov    (%r14),%rax
1402f3296:	49 8b ce             	mov    %r14,%rcx
1402f3299:	48 8b 80 90 01 00 00 	mov    0x190(%rax),%rax
1402f32a0:	ff 15 92 99 81 00    	call   *0x819992(%rip)        # 0x140b0cc38
1402f32a6:	4c 8b 00             	mov    (%rax),%r8
1402f32a9:	0f 57 c0             	xorps  %xmm0,%xmm0
1402f32ac:	4d 39 68 48          	cmp    %r13,0x48(%r8)
1402f32b0:	74 43                	je     0x1402f32f5
1402f32b2:	49 8b 48 48          	mov    0x48(%r8),%rcx
1402f32b6:	49 8b 50 40          	mov    0x40(%r8),%rdx
1402f32ba:	48 ff c9             	dec    %rcx
1402f32bd:	48 03 d1             	add    %rcx,%rdx
1402f32c0:	49 8b 48 38          	mov    0x38(%r8),%rcx
1402f32c4:	48 ff c9             	dec    %rcx
1402f32c7:	48 23 ca             	and    %rdx,%rcx
1402f32ca:	49 8b 40 30          	mov    0x30(%r8),%rax
1402f32ce:	48 8b 14 c8          	mov    (%rax,%rcx,8),%rdx
1402f32d2:	f3 0f 7f 45 80       	movdqu %xmm0,-0x80(%rbp)
1402f32d7:	48 8b 42 08          	mov    0x8(%rdx),%rax
1402f32db:	48 85 c0             	test   %rax,%rax
1402f32de:	74 04                	je     0x1402f32e4
1402f32e0:	f0 ff 40 08          	lock incl 0x8(%rax)
1402f32e4:	48 8b 02             	mov    (%rdx),%rax
1402f32e7:	48 89 45 80          	mov    %rax,-0x80(%rbp)
1402f32eb:	48 8b 42 08          	mov    0x8(%rdx),%rax
1402f32ef:	48 89 45 88          	mov    %rax,-0x78(%rbp)
1402f32f3:	eb 05                	jmp    0x1402f32fa
1402f32f5:	f3 0f 7f 45 80       	movdqu %xmm0,-0x80(%rbp)
1402f32fa:	49 8b 06             	mov    (%r14),%rax
1402f32fd:	49 8b ce             	mov    %r14,%rcx
1402f3300:	48 8b 80 60 01 00 00 	mov    0x160(%rax),%rax
1402f3307:	ff 15 2b 99 81 00    	call   *0x81992b(%rip)        # 0x140b0cc38
1402f330d:	48 8b 10             	mov    (%rax),%rdx
1402f3310:	0f 57 c0             	xorps  %xmm0,%xmm0
1402f3313:	66 0f 7f 45 a0       	movdqa %xmm0,-0x60(%rbp)
1402f3318:	48 8b 4c 24 78       	mov    0x78(%rsp),%rcx
1402f331d:	48 85 c9             	test   %rcx,%rcx
1402f3320:	74 04                	je     0x1402f3326
1402f3322:	f0 ff 41 08          	lock incl 0x8(%rcx)
1402f3326:	0f 28 44 24 70       	movaps 0x70(%rsp),%xmm0
1402f332b:	66 0f 7f 45 a0       	movdqa %xmm0,-0x60(%rbp)
1402f3330:	0f 57 c0             	xorps  %xmm0,%xmm0
1402f3333:	f3 0f 7f 45 08       	movdqu %xmm0,0x8(%rbp)
1402f3338:	48 8d 45 80          	lea    -0x80(%rbp),%rax
1402f333c:	48 89 44 24 58       	mov    %rax,0x58(%rsp)
1402f3341:	48 8d 45 d8          	lea    -0x28(%rbp),%rax
1402f3345:	48 89 44 24 50       	mov    %rax,0x50(%rsp)
1402f334a:	c7 44 24 48 01 00 00 	movl   $0x1,0x48(%rsp)
1402f3351:	00
1402f3352:	f3 0f 10 05 da dd 8b 	movss  0x8bddda(%rip),%xmm0        # 0x140bb1134
1402f3359:	00
1402f335a:	f3 0f 11 44 24 40    	movss  %xmm0,0x40(%rsp)
1402f3360:	44 88 6c 24 38       	mov    %r13b,0x38(%rsp)
1402f3365:	c6 44 24 30 01       	movb   $0x1,0x30(%rsp)
1402f336a:	44 88 6c 24 28       	mov    %r13b,0x28(%rsp)
1402f336f:	48 89 54 24 20       	mov    %rdx,0x20(%rsp)
1402f3374:	4c 8d 4d a0          	lea    -0x60(%rbp),%r9
1402f3378:	4c 8d 45 08          	lea    0x8(%rbp),%r8
1402f337c:	48 8d 55 30          	lea    0x30(%rbp),%rdx
1402f3380:	48 8b cb             	mov    %rbx,%rcx
1402f3383:	48 8b c7             	mov    %rdi,%rax
1402f3386:	ff 15 ac 98 81 00    	call   *0x8198ac(%rip)        # 0x140b0cc38
1402f338c:	48 8b 08             	mov    (%rax),%rcx
1402f338f:	48 8b 50 08          	mov    0x8(%rax),%rdx
1402f3393:	4c 89 28             	mov    %r13,(%rax)
1402f3396:	4c 89 68 08          	mov    %r13,0x8(%rax)
1402f339a:	49 89 4f 08          	mov    %rcx,0x8(%r15)
1402f339e:	49 8b 5f 10          	mov    0x10(%r15),%rbx
1402f33a2:	49 89 57 10          	mov    %rdx,0x10(%r15)
1402f33a6:	48 85 db             	test   %rbx,%rbx
1402f33a9:	74 39                	je     0x1402f33e4
1402f33ab:	41 8b c4             	mov    %r12d,%eax
1402f33ae:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402f33b3:	41 03 c4             	add    %r12d,%eax
1402f33b6:	75 2c                	jne    0x1402f33e4
1402f33b8:	48 8b 03             	mov    (%rbx),%rax
1402f33bb:	48 8b cb             	mov    %rbx,%rcx
1402f33be:	48 8b 00             	mov    (%rax),%rax
1402f33c1:	ff 15 71 98 81 00    	call   *0x819871(%rip)        # 0x140b0cc38
1402f33c7:	41 8b c4             	mov    %r12d,%eax
1402f33ca:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402f33cf:	41 03 c4             	add    %r12d,%eax
1402f33d2:	75 10                	jne    0x1402f33e4
1402f33d4:	48 8b 03             	mov    (%rbx),%rax
1402f33d7:	48 8b cb             	mov    %rbx,%rcx
1402f33da:	48 8b 40 08          	mov    0x8(%rax),%rax
1402f33de:	ff 15 54 98 81 00    	call   *0x819854(%rip)        # 0x140b0cc38
1402f33e4:	48 8b 5d 38          	mov    0x38(%rbp),%rbx
1402f33e8:	48 85 db             	test   %rbx,%rbx
1402f33eb:	74 3a                	je     0x1402f3427
1402f33ed:	41 8b c4             	mov    %r12d,%eax
1402f33f0:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402f33f5:	41 03 c4             	add    %r12d,%eax
1402f33f8:	75 2d                	jne    0x1402f3427
1402f33fa:	48 8b 03             	mov    (%rbx),%rax
1402f33fd:	48 8b cb             	mov    %rbx,%rcx
1402f3400:	48 8b 00             	mov    (%rax),%rax
1402f3403:	ff 15 2f 98 81 00    	call   *0x81982f(%rip)        # 0x140b0cc38
1402f3409:	41 8b c4             	mov    %r12d,%eax
1402f340c:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402f3411:	41 03 c4             	add    %r12d,%eax
1402f3414:	75 11                	jne    0x1402f3427
1402f3416:	48 8b 03             	mov    (%rbx),%rax
1402f3419:	48 8b cb             	mov    %rbx,%rcx
1402f341c:	48 8b 40 08          	mov    0x8(%rax),%rax
1402f3420:	ff 15 12 98 81 00    	call   *0x819812(%rip)        # 0x140b0cc38
1402f3426:	90                   	nop
1402f3427:	48 8b 5d 88          	mov    -0x78(%rbp),%rbx
1402f342b:	48 85 db             	test   %rbx,%rbx
1402f342e:	74 39                	je     0x1402f3469
1402f3430:	41 8b c4             	mov    %r12d,%eax
1402f3433:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402f3438:	41 03 c4             	add    %r12d,%eax
1402f343b:	75 2c                	jne    0x1402f3469
1402f343d:	48 8b 03             	mov    (%rbx),%rax
1402f3440:	48 8b cb             	mov    %rbx,%rcx
1402f3443:	48 8b 00             	mov    (%rax),%rax
1402f3446:	ff 15 ec 97 81 00    	call   *0x8197ec(%rip)        # 0x140b0cc38
1402f344c:	41 8b c4             	mov    %r12d,%eax
1402f344f:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402f3454:	41 03 c4             	add    %r12d,%eax
1402f3457:	75 10                	jne    0x1402f3469
1402f3459:	48 8b 03             	mov    (%rbx),%rax
1402f345c:	48 8b cb             	mov    %rbx,%rcx
1402f345f:	48 8b 40 08          	mov    0x8(%rax),%rax
1402f3463:	ff 15 cf 97 81 00    	call   *0x8197cf(%rip)        # 0x140b0cc38
1402f3469:	49 8b 7f 08          	mov    0x8(%r15),%rdi
1402f346d:	48 8b 07             	mov    (%rdi),%rax
1402f3470:	48 8b 58 48          	mov    0x48(%rax),%rbx
1402f3474:	49 8b 16             	mov    (%r14),%rdx
1402f3477:	49 8b ce             	mov    %r14,%rcx
1402f347a:	48 8b 82 60 01 00 00 	mov    0x160(%rdx),%rax
1402f3481:	ff 15 b1 97 81 00    	call   *0x8197b1(%rip)        # 0x140b0cc38
1402f3487:	48 8b 10             	mov    (%rax),%rdx
1402f348a:	8b 92 38 01 00 00    	mov    0x138(%rdx),%edx
1402f3490:	48 8b cf             	mov    %rdi,%rcx
1402f3493:	48 8b c3             	mov    %rbx,%rax
1402f3496:	ff 15 9c 97 81 00    	call   *0x81979c(%rip)        # 0x140b0cc38
1402f349c:	49 8b 7f 08          	mov    0x8(%r15),%rdi
1402f34a0:	48 8b 07             	mov    (%rdi),%rax
1402f34a3:	48 8b 98 88 00 00 00 	mov    0x88(%rax),%rbx
1402f34aa:	49 8b 16             	mov    (%r14),%rdx
1402f34ad:	49 8b ce             	mov    %r14,%rcx
1402f34b0:	48 8b 82 60 01 00 00 	mov    0x160(%rdx),%rax
1402f34b7:	ff 15 7b 97 81 00    	call   *0x81977b(%rip)        # 0x140b0cc38
1402f34bd:	48 8b 10             	mov    (%rax),%rdx
1402f34c0:	48 81 c2 50 01 00 00 	add    $0x150,%rdx
1402f34c7:	48 8b cf             	mov    %rdi,%rcx
1402f34ca:	48 8b c3             	mov    %rbx,%rax
1402f34cd:	ff 15 65 97 81 00    	call   *0x819765(%rip)        # 0x140b0cc38
1402f34d3:	49 8b 7f 08          	mov    0x8(%r15),%rdi
1402f34d7:	48 8b 07             	mov    (%rdi),%rax
1402f34da:	48 8b 58 68          	mov    0x68(%rax),%rbx
1402f34de:	49 8b 16             	mov    (%r14),%rdx
1402f34e1:	49 8b ce             	mov    %r14,%rcx
1402f34e4:	48 8b 82 60 01 00 00 	mov    0x160(%rdx),%rax
1402f34eb:	ff 15 47 97 81 00    	call   *0x819747(%rip)        # 0x140b0cc38
1402f34f1:	48 8b 10             	mov    (%rax),%rdx
1402f34f4:	f3 0f 10 92 30 01 00 	movss  0x130(%rdx),%xmm2
1402f34fb:	00
1402f34fc:	48 8d 55 e8          	lea    -0x18(%rbp),%rdx
1402f3500:	48 8b cf             	mov    %rdi,%rcx
1402f3503:	48 8b c3             	mov    %rbx,%rax
1402f3506:	ff 15 2c 97 81 00    	call   *0x81972c(%rip)        # 0x140b0cc38
1402f350c:	90                   	nop
1402f350d:	48 8b 4c 24 78       	mov    0x78(%rsp),%rcx
1402f3512:	48 85 c9             	test   %rcx,%rcx
1402f3515:	74 41                	je     0x1402f3558
1402f3517:	41 8b c4             	mov    %r12d,%eax
1402f351a:	f0 0f c1 41 08       	lock xadd %eax,0x8(%rcx)
1402f351f:	41 03 c4             	add    %r12d,%eax
1402f3522:	75 34                	jne    0x1402f3558
1402f3524:	48 8b 5c 24 78       	mov    0x78(%rsp),%rbx
1402f3529:	48 8b 03             	mov    (%rbx),%rax
1402f352c:	48 8b cb             	mov    %rbx,%rcx
1402f352f:	48 8b 00             	mov    (%rax),%rax
1402f3532:	ff 15 00 97 81 00    	call   *0x819700(%rip)        # 0x140b0cc38
1402f3538:	41 8b c4             	mov    %r12d,%eax
1402f353b:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402f3540:	41 03 c4             	add    %r12d,%eax
1402f3543:	75 13                	jne    0x1402f3558
1402f3545:	48 8b 4c 24 78       	mov    0x78(%rsp),%rcx
1402f354a:	48 8b 01             	mov    (%rcx),%rax
1402f354d:	48 8b 40 08          	mov    0x8(%rax),%rax
1402f3551:	ff 15 e1 96 81 00    	call   *0x8196e1(%rip)        # 0x140b0cc38
1402f3557:	90                   	nop
1402f3558:	48 8b 5d 20          	mov    0x20(%rbp),%rbx
1402f355c:	48 85 db             	test   %rbx,%rbx
1402f355f:	74 3a                	je     0x1402f359b
1402f3561:	41 8b c4             	mov    %r12d,%eax
1402f3564:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402f3569:	41 03 c4             	add    %r12d,%eax
1402f356c:	75 2d                	jne    0x1402f359b
1402f356e:	48 8b 03             	mov    (%rbx),%rax
1402f3571:	48 8b cb             	mov    %rbx,%rcx
1402f3574:	48 8b 00             	mov    (%rax),%rax
1402f3577:	ff 15 bb 96 81 00    	call   *0x8196bb(%rip)        # 0x140b0cc38
1402f357d:	41 8b c4             	mov    %r12d,%eax
1402f3580:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402f3585:	41 03 c4             	add    %r12d,%eax
1402f3588:	75 11                	jne    0x1402f359b
1402f358a:	48 8b 03             	mov    (%rbx),%rax
1402f358d:	48 8b cb             	mov    %rbx,%rcx
1402f3590:	48 8b 40 08          	mov    0x8(%rax),%rax
1402f3594:	ff 15 9e 96 81 00    	call   *0x81969e(%rip)        # 0x140b0cc38
1402f359a:	90                   	nop
1402f359b:	48 8b 5d e0          	mov    -0x20(%rbp),%rbx
1402f359f:	48 85 db             	test   %rbx,%rbx
1402f35a2:	74 3a                	je     0x1402f35de
1402f35a4:	41 8b c4             	mov    %r12d,%eax
1402f35a7:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402f35ac:	41 03 c4             	add    %r12d,%eax
1402f35af:	75 2d                	jne    0x1402f35de
1402f35b1:	48 8b 03             	mov    (%rbx),%rax
1402f35b4:	48 8b cb             	mov    %rbx,%rcx
1402f35b7:	48 8b 00             	mov    (%rax),%rax
1402f35ba:	ff 15 78 96 81 00    	call   *0x819678(%rip)        # 0x140b0cc38
1402f35c0:	41 8b c4             	mov    %r12d,%eax
1402f35c3:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402f35c8:	41 03 c4             	add    %r12d,%eax
1402f35cb:	75 11                	jne    0x1402f35de
1402f35cd:	48 8b 03             	mov    (%rbx),%rax
1402f35d0:	48 8b cb             	mov    %rbx,%rcx
1402f35d3:	48 8b 40 08          	mov    0x8(%rax),%rax
1402f35d7:	ff 15 5b 96 81 00    	call   *0x81965b(%rip)        # 0x140b0cc38
1402f35dd:	90                   	nop
1402f35de:	48 8b 5d f0          	mov    -0x10(%rbp),%rbx
1402f35e2:	48 85 db             	test   %rbx,%rbx
1402f35e5:	74 3a                	je     0x1402f3621
1402f35e7:	41 8b c4             	mov    %r12d,%eax
1402f35ea:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402f35ef:	41 03 c4             	add    %r12d,%eax
1402f35f2:	75 2d                	jne    0x1402f3621
1402f35f4:	48 8b 03             	mov    (%rbx),%rax
1402f35f7:	48 8b cb             	mov    %rbx,%rcx
1402f35fa:	48 8b 00             	mov    (%rax),%rax
1402f35fd:	ff 15 35 96 81 00    	call   *0x819635(%rip)        # 0x140b0cc38
1402f3603:	41 8b c4             	mov    %r12d,%eax
1402f3606:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402f360b:	41 03 c4             	add    %r12d,%eax
1402f360e:	75 11                	jne    0x1402f3621
1402f3610:	48 8b 03             	mov    (%rbx),%rax
1402f3613:	48 8b cb             	mov    %rbx,%rcx
1402f3616:	48 8b 40 08          	mov    0x8(%rax),%rax
1402f361a:	ff 15 18 96 81 00    	call   *0x819618(%rip)        # 0x140b0cc38
1402f3620:	90                   	nop
1402f3621:	48 8b ce             	mov    %rsi,%rcx
1402f3624:	e8 db 70 ff ff       	call   0x1402ea704
1402f3629:	48 8b ce             	mov    %rsi,%rcx
1402f362c:	e8 a3 bf 7f 00       	call   0x140aef5d4
1402f3631:	48 8b 5d b8          	mov    -0x48(%rbp),%rbx
1402f3635:	48 85 db             	test   %rbx,%rbx
1402f3638:	74 3a                	je     0x1402f3674
1402f363a:	41 8b c4             	mov    %r12d,%eax
1402f363d:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402f3642:	41 03 c4             	add    %r12d,%eax
1402f3645:	75 2d                	jne    0x1402f3674
1402f3647:	48 8b 03             	mov    (%rbx),%rax
1402f364a:	48 8b cb             	mov    %rbx,%rcx
1402f364d:	48 8b 00             	mov    (%rax),%rax
1402f3650:	ff 15 e2 95 81 00    	call   *0x8195e2(%rip)        # 0x140b0cc38
1402f3656:	41 8b c4             	mov    %r12d,%eax
1402f3659:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402f365e:	41 03 c4             	add    %r12d,%eax
1402f3661:	75 11                	jne    0x1402f3674
1402f3663:	48 8b 03             	mov    (%rbx),%rax
1402f3666:	48 8b cb             	mov    %rbx,%rcx
1402f3669:	48 8b 40 08          	mov    0x8(%rax),%rax
1402f366d:	ff 15 c5 95 81 00    	call   *0x8195c5(%rip)        # 0x140b0cc38
1402f3673:	90                   	nop
1402f3674:	48 8b 5d 00          	mov    0x0(%rbp),%rbx
1402f3678:	48 85 db             	test   %rbx,%rbx
1402f367b:	74 3a                	je     0x1402f36b7
1402f367d:	41 8b c4             	mov    %r12d,%eax
1402f3680:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402f3685:	41 03 c4             	add    %r12d,%eax
1402f3688:	75 2d                	jne    0x1402f36b7
1402f368a:	48 8b 03             	mov    (%rbx),%rax
1402f368d:	48 8b cb             	mov    %rbx,%rcx
1402f3690:	48 8b 00             	mov    (%rax),%rax
1402f3693:	ff 15 9f 95 81 00    	call   *0x81959f(%rip)        # 0x140b0cc38
1402f3699:	41 8b c4             	mov    %r12d,%eax
1402f369c:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402f36a1:	41 03 c4             	add    %r12d,%eax
1402f36a4:	75 11                	jne    0x1402f36b7
1402f36a6:	48 8b 03             	mov    (%rbx),%rax
1402f36a9:	48 8b cb             	mov    %rbx,%rcx
1402f36ac:	48 8b 40 08          	mov    0x8(%rax),%rax
1402f36b0:	ff 15 82 95 81 00    	call   *0x819582(%rip)        # 0x140b0cc38
1402f36b6:	90                   	nop
1402f36b7:	48 8b 4d c0          	mov    -0x40(%rbp),%rcx
1402f36bb:	48 85 c9             	test   %rcx,%rcx
1402f36be:	0f 84 93 00 00 00    	je     0x1402f3757
1402f36c4:	48 8b 75 c8          	mov    -0x38(%rbp),%rsi
1402f36c8:	48 3b ce             	cmp    %rsi,%rcx
1402f36cb:	74 56                	je     0x1402f3723
1402f36cd:	48 8d 79 08          	lea    0x8(%rcx),%rdi
1402f36d1:	48 8b 1f             	mov    (%rdi),%rbx
1402f36d4:	48 85 db             	test   %rbx,%rbx
1402f36d7:	74 39                	je     0x1402f3712
1402f36d9:	41 8b c4             	mov    %r12d,%eax
1402f36dc:	f0 0f c1 43 08       	lock xadd %eax,0x8(%rbx)
1402f36e1:	41 03 c4             	add    %r12d,%eax
1402f36e4:	75 2c                	jne    0x1402f3712
1402f36e6:	48 8b 03             	mov    (%rbx),%rax
1402f36e9:	48 8b cb             	mov    %rbx,%rcx
1402f36ec:	48 8b 00             	mov    (%rax),%rax
1402f36ef:	ff 15 43 95 81 00    	call   *0x819543(%rip)        # 0x140b0cc38
1402f36f5:	41 8b c4             	mov    %r12d,%eax
1402f36f8:	f0 0f c1 43 0c       	lock xadd %eax,0xc(%rbx)
1402f36fd:	41 03 c4             	add    %r12d,%eax
1402f3700:	75 10                	jne    0x1402f3712
1402f3702:	48 8b 03             	mov    (%rbx),%rax
1402f3705:	48 8b cb             	mov    %rbx,%rcx
1402f3708:	48 8b 40 08          	mov    0x8(%rax),%rax
1402f370c:	ff 15 26 95 81 00    	call   *0x819526(%rip)        # 0x140b0cc38
1402f3712:	48 83 c7 10          	add    $0x10,%rdi
1402f3716:	48 8d 47 f8          	lea    -0x8(%rdi),%rax
1402f371a:	48 3b c6             	cmp    %rsi,%rax
1402f371d:	75 b2                	jne    0x1402f36d1
1402f371f:	48 8b 4d c0          	mov    -0x40(%rbp),%rcx
1402f3723:	48 8b 45 d0          	mov    -0x30(%rbp),%rax
1402f3727:	48 2b c1             	sub    %rcx,%rax
1402f372a:	48 83 e0 f0          	and    $0xfffffffffffffff0,%rax
1402f372e:	48 8b d1             	mov    %rcx,%rdx
1402f3731:	48 3d 00 10 00 00    	cmp    $0x1000,%rax
1402f3737:	72 18                	jb     0x1402f3751
1402f3739:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1402f373d:	48 2b d1             	sub    %rcx,%rdx
1402f3740:	48 8d 42 f8          	lea    -0x8(%rdx),%rax
1402f3744:	48 83 f8 1f          	cmp    $0x1f,%rax
1402f3748:	76 07                	jbe    0x1402f3751
1402f374a:	ff 15 48 92 81 00    	call   *0x819248(%rip)        # 0x140b0c998
1402f3750:	cc                   	int3
1402f3751:	ff 15 69 91 81 00    	call   *0x819169(%rip)        # 0x140b0c8c0
1402f3757:	48 8b 4d 48          	mov    0x48(%rbp),%rcx
1402f375b:	48 33 cc             	xor    %rsp,%rcx
1402f375e:	e8 7d be 7f 00       	call   0x140aef5e0
1402f3763:	48 8b 9c 24 a8 01 00 	mov    0x1a8(%rsp),%rbx
1402f376a:	00
1402f376b:	48 81 c4 50 01 00 00 	add    $0x150,%rsp
1402f3772:	41 5f                	pop    %r15
1402f3774:	41 5e                	pop    %r14
1402f3776:	41 5d                	pop    %r13
1402f3778:	41 5c                	pop    %r12
1402f377a:	5f                   	pop    %rdi
1402f377b:	5e                   	pop    %rsi
1402f377c:	5d                   	pop    %rbp
1402f377d:	c3                   	ret