1402fdefa:	cc                   	int3
1402fdefb:	cc                   	int3
1402fdefc:	cc                   	int3
1402fdefd:	cc                   	int3
1402fdefe:	cc                   	int3
1402fdeff:	cc                   	int3
1402fdf00:	48 89 5c 24 10       	mov    %rbx,0x10(%rsp)
1402fdf05:	48 89 6c 24 18       	mov    %rbp,0x18(%rsp)
1402fdf0a:	48 89 74 24 20       	mov    %rsi,0x20(%rsp)
1402fdf0f:	57                   	push   %rdi
1402fdf10:	48 83 ec 40          	sub    $0x40,%rsp
1402fdf14:	49 8b f8             	mov    %r8,%rdi
1402fdf17:	48 8b f2             	mov    %rdx,%rsi
1402fdf1a:	48 8b d9             	mov    %rcx,%rbx
1402fdf1d:	4c 89 44 24 20       	mov    %r8,0x20(%rsp)
1402fdf22:	4c 89 44 24 28       	mov    %r8,0x28(%rsp)
1402fdf27:	4c 89 4c 24 30       	mov    %r9,0x30(%rsp)
1402fdf2c:	48 3b ca             	cmp    %rdx,%rcx
1402fdf2f:	74 5f                	je     0x1402fdf90
1402fdf31:	33 ed                	xor    %ebp,%ebp
1402fdf33:	0f 1f 40 00          	nopl   0x0(%rax)
1402fdf37:	66 0f 1f 84 00 00 00 	nopw   0x0(%rax,%rax,1)
1402fdf3e:	00 00
1402fdf40:	48 89 7c 24 50       	mov    %rdi,0x50(%rsp)
1402fdf45:	0f 57 c0             	xorps  %xmm0,%xmm0
1402fdf48:	0f 11 07             	movups %xmm0,(%rdi)
1402fdf4b:	48 89 6f 10          	mov    %rbp,0x10(%rdi)
1402fdf4f:	48 89 6f 18          	mov    %rbp,0x18(%rdi)
1402fdf53:	0f 10 03             	movups (%rbx),%xmm0
1402fdf56:	0f 11 07             	movups %xmm0,(%rdi)
1402fdf59:	0f 10 4b 10          	movups 0x10(%rbx),%xmm1
1402fdf5d:	0f 11 4f 10          	movups %xmm1,0x10(%rdi)
1402fdf61:	48 89 6b 10          	mov    %rbp,0x10(%rbx)
1402fdf65:	48 c7 43 18 0f 00 00 	movq   $0xf,0x18(%rbx)
1402fdf6c:	00
1402fdf6d:	c6 03 00             	movb   $0x0,(%rbx)
1402fdf70:	48 8d 4f 20          	lea    0x20(%rdi),%rcx
1402fdf74:	48 8d 53 20          	lea    0x20(%rbx),%rdx
1402fdf78:	e8 93 78 d9 ff       	call   0x140095810
1402fdf7d:	90                   	nop
1402fdf7e:	48 83 c7 38          	add    $0x38,%rdi
1402fdf82:	48 89 7c 24 28       	mov    %rdi,0x28(%rsp)
1402fdf87:	48 83 c3 38          	add    $0x38,%rbx
1402fdf8b:	48 3b de             	cmp    %rsi,%rbx
1402fdf8e:	75 b0                	jne    0x1402fdf40
1402fdf90:	48 8b c7             	mov    %rdi,%rax
1402fdf93:	48 8b 5c 24 58       	mov    0x58(%rsp),%rbx
1402fdf98:	48 8b 6c 24 60       	mov    0x60(%rsp),%rbp
1402fdf9d:	48 8b 74 24 68       	mov    0x68(%rsp),%rsi
1402fdfa2:	48 83 c4 40          	add    $0x40,%rsp
1402fdfa6:	5f                   	pop    %rdi
1402fdfa7:	c3                   	ret
1402fdfa8:	cc                   	int3
1402fdfa9:	cc                   	int3
1402fdfaa:	cc                   	int3
1402fdfab:	cc                   	int3
1402fdfac:	cc                   	int3
1402fdfad:	cc                   	int3
1402fdfae:	cc                   	int3
1402fdfaf:	cc                   	int3
1402fdfb0:	48 89 5c 24 08       	mov    %rbx,0x8(%rsp)
1402fdfb5:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
1402fdfba:	57                   	push   %rdi
1402fdfbb:	48 83 ec 20          	sub    $0x20,%rsp
1402fdfbf:	41 8b 00             	mov    (%r8),%eax
1402fdfc2:	48 8d 4a 10          	lea    0x10(%rdx),%rcx
1402fdfc6:	89 02                	mov    %eax,(%rdx)
1402fdfc8:	48 8b da             	mov    %rdx,%rbx
1402fdfcb:	49 8b 40 08          	mov    0x8(%r8),%rax
1402fdfcf:	33 f6                	xor    %esi,%esi
1402fdfd1:	48 89 42 08          	mov    %rax,0x8(%rdx)
1402fdfd5:	49 8b f8             	mov    %r8,%rdi
1402fdfd8:	49 8d 50 10          	lea    0x10(%r8),%rdx
1402fdfdc:	48 89 71 38          	mov    %rsi,0x38(%rcx)
1402fdfe0:	e8 cb 3b e3 ff       	call   0x140131bb0
1402fdfe5:	48 8b 47 50          	mov    0x50(%rdi),%rax
1402fdfe9:	48 89 77 50          	mov    %rsi,0x50(%rdi)
1402fdfed:	40 88 73 58          	mov    %sil,0x58(%rbx)
1402fdff1:	48 89 43 50          	mov    %rax,0x50(%rbx)
1402fdff5:	0f b6 47 60          	movzbl 0x60(%rdi),%eax
1402fdff9:	88 43 60             	mov    %al,0x60(%rbx)
1402fdffc:	48 8b 47 68          	mov    0x68(%rdi),%rax
1402fe000:	48 89 77 68          	mov    %rsi,0x68(%rdi)
1402fe004:	48 89 43 68          	mov    %rax,0x68(%rbx)
1402fe008:	c6 43 70 01          	movb   $0x1,0x70(%rbx)
1402fe00c:	48 8b 5c 24 30       	mov    0x30(%rsp),%rbx
1402fe011:	89 37                	mov    %esi,(%rdi)
1402fe013:	48 89 77 08          	mov    %rsi,0x8(%rdi)
1402fe017:	48 8b 74 24 38       	mov    0x38(%rsp),%rsi
1402fe01c:	48 83 c4 20          	add    $0x20,%rsp
1402fe020:	5f                   	pop    %rdi
1402fe021:	c3                   	ret
1402fe022:	cc                   	int3
1402fe023:	cc                   	int3
1402fe024:	cc                   	int3
1402fe025:	cc                   	int3
1402fe026:	cc                   	int3
1402fe027:	cc                   	int3
1402fe028:	cc                   	int3
1402fe029:	cc                   	int3
1402fe02a:	cc                   	int3
1402fe02b:	cc                   	int3
1402fe02c:	cc                   	int3
1402fe02d:	cc                   	int3
1402fe02e:	cc                   	int3
1402fe02f:	cc                   	int3
1402fe030:	40 53                	rex push %rbx
1402fe032:	55                   	push   %rbp
1402fe033:	56                   	push   %rsi
1402fe034:	57                   	push   %rdi
1402fe035:	41 54                	push   %r12
1402fe037:	41 56                	push   %r14
1402fe039:	41 57                	push   %r15
1402fe03b:	48 83 ec 50          	sub    $0x50,%rsp
1402fe03f:	48 8b 05 3a a1 10 00 	mov    0x10a13a(%rip),%rax        # 0x140408180
1402fe046:	48 33 c4             	xor    %rsp,%rax
1402fe049:	48 89 44 24 40       	mov    %rax,0x40(%rsp)
1402fe04e:	4d 8b f9             	mov    %r9,%r15
1402fe051:	4d 8b f0             	mov    %r8,%r14
1402fe054:	4c 8b e2             	mov    %rdx,%r12
1402fe057:	48 8b f1             	mov    %rcx,%rsi
1402fe05a:	48 8b ac 24 b0 00 00 	mov    0xb0(%rsp),%rbp
1402fe061:	00
1402fe062:	48 8b c1             	mov    %rcx,%rax
1402fe065:	48 83 79 18 0f       	cmpq   $0xf,0x18(%rcx)
1402fe06a:	76 03                	jbe    0x1402fe06f
1402fe06c:	48 8b 01             	mov    (%rcx),%rax
1402fe06f:	4c 2b f0             	sub    %rax,%r14
1402fe072:	0f 57 c0             	xorps  %xmm0,%xmm0
1402fe075:	0f 11 44 24 20       	movups %xmm0,0x20(%rsp)
1402fe07a:	33 c0                	xor    %eax,%eax
1402fe07c:	bf 0f 00 00 00       	mov    $0xf,%edi
1402fe081:	48 89 44 24 30       	mov    %rax,0x30(%rsp)
1402fe086:	48 89 7c 24 38       	mov    %rdi,0x38(%rsp)
1402fe08b:	4c 3b fd             	cmp    %rbp,%r15
1402fe08e:	75 09                	jne    0x1402fe099
1402fe090:	88 44 24 20          	mov    %al,0x20(%rsp)
1402fe094:	e9 d9 00 00 00       	jmp    0x1402fe172
1402fe099:	49 2b ef             	sub    %r15,%rbp
1402fe09c:	48 b9 ff ff ff ff ff 	movabs $0x7fffffffffffffff,%rcx
1402fe0a3:	ff ff 7f
1402fe0a6:	48 3b e9             	cmp    %rcx,%rbp
1402fe0a9:	0f 87 52 01 00 00    	ja     0x1402fe201
1402fe0af:	48 3b ef             	cmp    %rdi,%rbp
1402fe0b2:	0f 86 87 00 00 00    	jbe    0x1402fe13f
1402fe0b8:	48 8b fd             	mov    %rbp,%rdi
1402fe0bb:	48 83 cf 0f          	or     $0xf,%rdi
1402fe0bf:	48 3b f9             	cmp    %rcx,%rdi
1402fe0c2:	76 3d                	jbe    0x1402fe101
1402fe0c4:	48 8b f9             	mov    %rcx,%rdi
1402fe0c7:	48 b8 00 00 00 00 00 	movabs $0x8000000000000000,%rax
1402fe0ce:	00 00 80
1402fe0d1:	48 83 c0 27          	add    $0x27,%rax
1402fe0d5:	48 8b c8             	mov    %rax,%rcx
1402fe0d8:	e8 6b c1 ff ff       	call   0x1402fa248
1402fe0dd:	48 8b c8             	mov    %rax,%rcx
1402fe0e0:	48 85 c0             	test   %rax,%rax
1402fe0e3:	0f 84 db 00 00 00    	je     0x1402fe1c4
1402fe0e9:	48 83 c0 27          	add    $0x27,%rax
1402fe0ed:	48 83 e0 e0          	and    $0xffffffffffffffe0,%rax
1402fe0f1:	48 89 48 f8          	mov    %rcx,-0x8(%rax)
1402fe0f5:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
1402fe0fa:	48 89 7c 24 38       	mov    %rdi,0x38(%rsp)
1402fe0ff:	eb 43                	jmp    0x1402fe144
1402fe101:	b9 16 00 00 00       	mov    $0x16,%ecx
1402fe106:	48 3b f9             	cmp    %rcx,%rdi
1402fe109:	48 0f 42 f9          	cmovb  %rcx,%rdi
1402fe10d:	48 8d 4f 01          	lea    0x1(%rdi),%rcx
1402fe111:	48 85 c9             	test   %rcx,%rcx
1402fe114:	74 1d                	je     0x1402fe133
1402fe116:	48 81 f9 00 10 00 00 	cmp    $0x1000,%rcx
1402fe11d:	72 0f                	jb     0x1402fe12e
1402fe11f:	48 8d 41 27          	lea    0x27(%rcx),%rax
1402fe123:	48 3b c1             	cmp    %rcx,%rax
1402fe126:	0f 86 db 00 00 00    	jbe    0x1402fe207
1402fe12c:	eb a7                	jmp    0x1402fe0d5
1402fe12e:	e8 15 c1 ff ff       	call   0x1402fa248
1402fe133:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
1402fe138:	48 89 7c 24 38       	mov    %rdi,0x38(%rsp)
1402fe13d:	eb 05                	jmp    0x1402fe144
1402fe13f:	48 8b 44 24 20       	mov    0x20(%rsp),%rax
1402fe144:	48 8d 5c 24 20       	lea    0x20(%rsp),%rbx
1402fe149:	48 83 ff 0f          	cmp    $0xf,%rdi
1402fe14d:	48 0f 47 d8          	cmova  %rax,%rbx
1402fe151:	4c 8b c5             	mov    %rbp,%r8
1402fe154:	49 8b d7             	mov    %r15,%rdx
1402fe157:	48 8b cb             	mov    %rbx,%rcx
1402fe15a:	e8 cf e8 ff ff       	call   0x1402fca2e
1402fe15f:	48 89 6c 24 30       	mov    %rbp,0x30(%rsp)
1402fe164:	c6 04 2b 00          	movb   $0x0,(%rbx,%rbp,1)
1402fe168:	48 8b 7c 24 38       	mov    0x38(%rsp),%rdi
1402fe16d:	48 8b 44 24 30       	mov    0x30(%rsp),%rax
1402fe172:	4c 8d 44 24 20       	lea    0x20(%rsp),%r8
1402fe177:	48 83 ff 0f          	cmp    $0xf,%rdi
1402fe17b:	4c 0f 47 44 24 20    	cmova  0x20(%rsp),%r8
1402fe181:	4c 8b c8             	mov    %rax,%r9
1402fe184:	49 8b d6             	mov    %r14,%rdx
1402fe187:	48 8b ce             	mov    %rsi,%rcx
1402fe18a:	e8 21 40 dc ff       	call   0x1400c21b0
1402fe18f:	90                   	nop
1402fe190:	48 8b 54 24 38       	mov    0x38(%rsp),%rdx
1402fe195:	48 83 fa 0f          	cmp    $0xf,%rdx
1402fe199:	76 35                	jbe    0x1402fe1d0
1402fe19b:	48 ff c2             	inc    %rdx
1402fe19e:	48 8b 4c 24 20       	mov    0x20(%rsp),%rcx
1402fe1a3:	48 8b c1             	mov    %rcx,%rax
1402fe1a6:	48 81 fa 00 10 00 00 	cmp    $0x1000,%rdx
1402fe1ad:	72 1c                	jb     0x1402fe1cb
1402fe1af:	48 83 c2 27          	add    $0x27,%rdx
1402fe1b3:	48 8b 49 f8          	mov    -0x8(%rcx),%rcx
1402fe1b7:	48 2b c1             	sub    %rcx,%rax
1402fe1ba:	48 83 c0 f8          	add    $0xfffffffffffffff8,%rax
1402fe1be:	48 83 f8 1f          	cmp    $0x1f,%rax
1402fe1c2:	76 07                	jbe    0x1402fe1cb
1402fe1c4:	ff 15 2e be 02 00    	call   *0x2be2e(%rip)        # 0x140329ff8
1402fe1ca:	cc                   	int3
1402fe1cb:	e8 b4 c0 ff ff       	call   0x1402fa284
1402fe1d0:	48 83 7e 18 0f       	cmpq   $0xf,0x18(%rsi)
1402fe1d5:	76 03                	jbe    0x1402fe1da
1402fe1d7:	48 8b 36             	mov    (%rsi),%rsi
1402fe1da:	4a 8d 0c 36          	lea    (%rsi,%r14,1),%rcx
1402fe1de:	49 89 0c 24          	mov    %rcx,(%r12)
1402fe1e2:	49 8b c4             	mov    %r12,%rax
1402fe1e5:	48 8b 4c 24 40       	mov    0x40(%rsp),%rcx
1402fe1ea:	48 33 cc             	xor    %rsp,%rcx
1402fe1ed:	e8 4e c4 ff ff       	call   0x1402fa640
1402fe1f2:	48 83 c4 50          	add    $0x50,%rsp
1402fe1f6:	41 5f                	pop    %r15
1402fe1f8:	41 5e                	pop    %r14
1402fe1fa:	41 5c                	pop    %r12
1402fe1fc:	5f                   	pop    %rdi
1402fe1fd:	5e                   	pop    %rsi
1402fe1fe:	5d                   	pop    %rbp
1402fe1ff:	5b                   	pop    %rbx
1402fe200:	c3                   	ret
1402fe201:	e8 3a 9e d8 ff       	call   0x140088040
1402fe206:	cc                   	int3
1402fe207:	e8 a4 9d d8 ff       	call   0x140087fb0
1402fe20c:	cc                   	int3
1402fe20d:	cc                   	int3
1402fe20e:	cc                   	int3
1402fe20f:	cc                   	int3
1402fe210:	40 55                	rex push %rbp
1402fe212:	57                   	push   %rdi
1402fe213:	41 56                	push   %r14
1402fe215:	48 83 ec 60          	sub    $0x60,%rsp
1402fe219:	48 8b 05 60 9f 10 00 	mov    0x109f60(%rip),%rax        # 0x140408180
1402fe220:	48 33 c4             	xor    %rsp,%rax
1402fe223:	48 89 44 24 30       	mov    %rax,0x30(%rsp)
1402fe228:	4c 8b f2             	mov    %rdx,%r14
1402fe22b:	48 8b e9             	mov    %rcx,%rbp
1402fe22e:	e8 47 e6 ff ff       	call   0x1402fc87a
1402fe233:	48 8b cd             	mov    %rbp,%rcx
1402fe236:	8b f8                	mov    %eax,%edi
1402fe238:	e8 43 e6 ff ff       	call   0x1402fc880
1402fe23d:	85 c0                	test   %eax,%eax
1402fe23f:	0f 85 15 02 00 00    	jne    0x1402fe45a
1402fe245:	8b 45 4c             	mov    0x4c(%rbp),%eax
1402fe248:	3d ff ff ff 7f       	cmp    $0x7fffffff,%eax
1402fe24d:	0f 84 f7 01 00 00    	je     0x1402fe44a
1402fe253:	48 89 9c 24 88 00 00 	mov    %rbx,0x88(%rsp)
1402fe25a:	00
1402fe25b:	48 89 b4 24 90 00 00 	mov    %rsi,0x90(%rsp)
1402fe262:	00
1402fe263:	4c 89 a4 24 98 00 00 	mov    %r12,0x98(%rsp)
1402fe26a:	00
1402fe26b:	4c 89 6c 24 58       	mov    %r13,0x58(%rsp)
1402fe270:	4c 89 7c 24 50       	mov    %r15,0x50(%rsp)
1402fe275:	0f 29 74 24 40       	movaps %xmm6,0x40(%rsp)
1402fe27a:	3b bd 9c 00 00 00    	cmp    0x9c(%rbp),%edi
1402fe280:	75 16                	jne    0x1402fe298
1402fe282:	8b 85 98 00 00 00    	mov    0x98(%rbp),%eax
1402fe288:	83 f8 ff             	cmp    $0xffffffff,%eax
1402fe28b:	0f 83 b5 01 00 00    	jae    0x1402fe446
1402fe291:	ff c0                	inc    %eax
1402fe293:	e9 55 01 00 00       	jmp    0x1402fe3ed
1402fe298:	83 bd 98 00 00 00 00 	cmpl   $0x0,0x98(%rbp)
1402fe29f:	0f 84 3d 01 00 00    	je     0x1402fe3e2
1402fe2a5:	f2 0f 10 35 0b 02 03 	movsd  0x3020b(%rip),%xmm6        # 0x14032e4b8
1402fe2ac:	00
1402fe2ad:	49 bd f3 8c 90 94 07 	movabs $0xb2f4fc0794908cf3,%r13
1402fe2b4:	fc f4 b2
1402fe2b7:	49 bc 00 00 16 ad cd 	movabs $0x311cdad160000,%r12
1402fe2be:	11 03 00
1402fe2c1:	e8 a8 e5 ff ff       	call   0x1402fc86e
1402fe2c6:	48 8b d8             	mov    %rax,%rbx
1402fe2c9:	e8 9a e5 ff ff       	call   0x1402fc868
1402fe2ce:	48 8b c8             	mov    %rax,%rcx
1402fe2d1:	48 81 fb 80 96 98 00 	cmp    $0x989680,%rbx
1402fe2d8:	75 06                	jne    0x1402fe2e0
1402fe2da:	48 6b d9 64          	imul   $0x64,%rcx,%rbx
1402fe2de:	eb 74                	jmp    0x1402fe354
1402fe2e0:	48 81 fb 00 36 6e 01 	cmp    $0x16e3600,%rbx
1402fe2e7:	75 4a                	jne    0x1402fe333
1402fe2e9:	49 8b c5             	mov    %r13,%rax
1402fe2ec:	48 f7 e9             	imul   %rcx
1402fe2ef:	4c 8d 04 11          	lea    (%rcx,%rdx,1),%r8
1402fe2f3:	49 c1 f8 18          	sar    $0x18,%r8
1402fe2f7:	49 8b c0             	mov    %r8,%rax
1402fe2fa:	48 c1 e8 3f          	shr    $0x3f,%rax
1402fe2fe:	4c 03 c0             	add    %rax,%r8
1402fe301:	49 69 c0 00 36 6e 01 	imul   $0x16e3600,%r8,%rax
1402fe308:	48 2b c8             	sub    %rax,%rcx
1402fe30b:	49 8b c5             	mov    %r13,%rax
1402fe30e:	48 69 c9 00 ca 9a 3b 	imul   $0x3b9aca00,%rcx,%rcx
1402fe315:	48 f7 e9             	imul   %rcx
1402fe318:	48 8d 1c 11          	lea    (%rcx,%rdx,1),%rbx
1402fe31c:	48 c1 fb 18          	sar    $0x18,%rbx
1402fe320:	48 8b c3             	mov    %rbx,%rax
1402fe323:	48 c1 e8 3f          	shr    $0x3f,%rax
1402fe327:	48 03 d8             	add    %rax,%rbx
1402fe32a:	49 69 c0 00 ca 9a 3b 	imul   $0x3b9aca00,%r8,%rax
1402fe331:	eb 1e                	jmp    0x1402fe351
1402fe333:	48 99                	cqto
1402fe335:	48 f7 fb             	idiv   %rbx
1402fe338:	48 8b c8             	mov    %rax,%rcx
1402fe33b:	48 69 c2 00 ca 9a 3b 	imul   $0x3b9aca00,%rdx,%rax
1402fe342:	48 99                	cqto
1402fe344:	48 f7 fb             	idiv   %rbx
1402fe347:	48 8b d8             	mov    %rax,%rbx
1402fe34a:	48 69 c1 00 ca 9a 3b 	imul   $0x3b9aca00,%rcx,%rax
1402fe351:	48 03 d8             	add    %rax,%rbx
1402fe354:	49 8b 36             	mov    (%r14),%rsi
1402fe357:	48 3b de             	cmp    %rsi,%rbx
1402fe35a:	0f 8d dd 00 00 00    	jge    0x1402fe43d
1402fe360:	e8 fd e4 ff ff       	call   0x1402fc862
1402fe365:	48 6b d0 64          	imul   $0x64,%rax,%rdx
1402fe369:	0f 57 c0             	xorps  %xmm0,%xmm0
1402fe36c:	48 2b f3             	sub    %rbx,%rsi
1402fe36f:	f2 48 0f 2a c6       	cvtsi2sd %rsi,%xmm0
1402fe374:	4a 8d 0c 22          	lea    (%rdx,%r12,1),%rcx
1402fe378:	66 0f 2f c6          	comisd %xmm6,%xmm0
1402fe37c:	77 04                	ja     0x1402fe382
1402fe37e:	48 8d 0c 16          	lea    (%rsi,%rdx,1),%rcx
1402fe382:	48 8d 04 32          	lea    (%rdx,%rsi,1),%rax
1402fe386:	49 03 d4             	add    %r12,%rdx
1402fe389:	66 0f 2f c6          	comisd %xmm6,%xmm0
1402fe38d:	4c 8d 44 24 20       	lea    0x20(%rsp),%r8
1402fe392:	48 0f 46 d0          	cmovbe %rax,%rdx
1402fe396:	48 b8 b3 94 d6 26 e8 	movabs $0x112e0be826d694b3,%rax
1402fe39d:	0b 2e 11
1402fe3a0:	48 f7 ea             	imul   %rdx
1402fe3a3:	48 c1 fa 1a          	sar    $0x1a,%rdx
1402fe3a7:	48 8b c2             	mov    %rdx,%rax
1402fe3aa:	48 c1 e8 3f          	shr    $0x3f,%rax
1402fe3ae:	48 03 d0             	add    %rax,%rdx
1402fe3b1:	69 c2 00 ca 9a 3b    	imul   $0x3b9aca00,%edx,%eax
1402fe3b7:	48 89 54 24 20       	mov    %rdx,0x20(%rsp)
1402fe3bc:	48 8b d5             	mov    %rbp,%rdx
1402fe3bf:	2b c8                	sub    %eax,%ecx