1402ceb88:	49 2b c0             	sub    %r8,%rax
1402ceb8b:	48 03 f1             	add    %rcx,%rsi
1402ceb8e:	48 03 e8             	add    %rax,%rbp
1402ceb91:	49 69 c5 7d 6f 0a 00 	imul   $0xa6f7d,%r13,%rax
1402ceb98:	49 69 cd 53 c6 f0 ff 	imul   $0xfffffffffff0c653,%r13,%rcx
1402ceb9f:	4c 2b d0             	sub    %rax,%r10
1402ceba2:	48 89 ac 24 c8 00 00 	mov    %rbp,0xc8(%rsp)
1402ceba9:	00
1402cebaa:	48 69 c6 7d 6f 0a 00 	imul   $0xa6f7d,%rsi,%rax
1402cebb1:	4d 03 d7             	add    %r15,%r10
1402cebb4:	48 89 b4 24 98 00 00 	mov    %rsi,0x98(%rsp)
1402cebbb:	00
1402cebbc:	4c 01 54 24 08       	add    %r10,0x8(%rsp)
1402cebc1:	48 2b c8             	sub    %rax,%rcx
1402cebc4:	48 69 c5 d1 15 02 00 	imul   $0x215d1,%rbp,%rax
1402cebcb:	48 03 c8             	add    %rax,%rcx
1402cebce:	49 2b cb             	sub    %r11,%rcx
1402cebd1:	48 03 cb             	add    %rbx,%rcx
1402cebd4:	48 01 8c 24 88 01 00 	add    %rcx,0x188(%rsp)
1402cebdb:	00
1402cebdc:	4c 8b 9c 24 b8 00 00 	mov    0xb8(%rsp),%r11
1402cebe3:	00
1402cebe4:	4c 8b 84 24 00 01 00 	mov    0x100(%rsp),%r8
1402cebeb:	00
1402cebec:	49 69 c6 7d 6f 0a 00 	imul   $0xa6f7d,%r14,%rax
1402cebf3:	48 69 ce 53 c6 f0 ff 	imul   $0xfffffffffff0c653,%rsi,%rcx
1402cebfa:	49 69 d6 18 2d 07 00 	imul   $0x72d18,%r14,%rdx
1402cec01:	4c 69 d5 67 fb 09 00 	imul   $0x9fb67,%rbp,%r10
1402cec08:	48 2b c8             	sub    %rax,%rcx
1402cec0b:	48 c1 e7 15          	shl    $0x15,%rdi
1402cec0f:	49 69 c5 18 2d 07 00 	imul   $0x72d18,%r13,%rax
1402cec16:	4c 03 94 24 e8 00 00 	add    0xe8(%rsp),%r10
1402cec1d:	00
1402cec1e:	48 03 c8             	add    %rax,%rcx
1402cec21:	49 69 c1 d1 15 02 00 	imul   $0x215d1,%r9,%rax
1402cec28:	48 03 c8             	add    %rax,%rcx
1402cec2b:	48 2b cf             	sub    %rdi,%rcx
1402cec2e:	48 8b 7c 24 78       	mov    0x78(%rsp),%rdi
1402cec33:	4c 03 d1             	add    %rcx,%r10
1402cec36:	48 8b 8c 24 18 01 00 	mov    0x118(%rsp),%rcx
1402cec3d:	00
1402cec3e:	48 c1 e1 15          	shl    $0x15,%rcx
1402cec42:	49 69 c3 13 2c 0a 00 	imul   $0xa2c13,%r11,%rax
1402cec49:	4c 89 94 24 08 01 00 	mov    %r10,0x108(%rsp)
1402cec50:	00
1402cec51:	48 2b c1             	sub    %rcx,%rax
1402cec54:	48 03 f8             	add    %rax,%rdi
1402cec57:	49 69 c1 13 2c 0a 00 	imul   $0xa2c13,%r9,%rax
1402cec5e:	49 69 cb 67 fb 09 00 	imul   $0x9fb67,%r11,%rcx
1402cec65:	48 03 d0             	add    %rax,%rdx
1402cec68:	48 89 7c 24 78       	mov    %rdi,0x78(%rsp)
1402cec6d:	48 8b 84 24 20 01 00 	mov    0x120(%rsp),%rax
1402cec74:	00
1402cec75:	48 c1 e0 15          	shl    $0x15,%rax
1402cec79:	48 2b d0             	sub    %rax,%rdx
1402cec7c:	49 8d 04 10          	lea    (%r8,%rdx,1),%rax
1402cec80:	49 c1 e0 15          	shl    $0x15,%r8
1402cec84:	48 03 c8             	add    %rax,%rcx
1402cec87:	48 01 0c 24          	add    %rcx,(%rsp)
1402cec8b:	49 69 c6 ad 39 0f 00 	imul   $0xf39ad,%r14,%rax
1402cec92:	48 69 d6 18 2d 07 00 	imul   $0x72d18,%rsi,%rdx
1402cec99:	49 69 c9 67 fb 09 00 	imul   $0x9fb67,%r9,%rcx
1402ceca0:	4c 8b 4c 24 70       	mov    0x70(%rsp),%r9
1402ceca5:	48 2b d0             	sub    %rax,%rdx
1402ceca8:	48 69 c5 13 2c 0a 00 	imul   $0xa2c13,%rbp,%rax
1402cecaf:	48 8d af 00 00 10 00 	lea    0x100000(%rdi),%rbp
1402cecb6:	48 8b bc 24 a0 00 00 	mov    0xa0(%rsp),%rdi
1402cecbd:	00
1402cecbe:	48 03 d0             	add    %rax,%rdx
1402cecc1:	48 c1 fd 15          	sar    $0x15,%rbp
1402cecc5:	49 69 c3 d1 15 02 00 	imul   $0x215d1,%r11,%rax
1402ceccc:	48 03 d0             	add    %rax,%rdx
1402ceccf:	48 8b 84 24 28 01 00 	mov    0x128(%rsp),%rax
1402cecd6:	00
1402cecd7:	48 c1 e0 15          	shl    $0x15,%rax
1402cecdb:	48 2b d0             	sub    %rax,%rdx
1402cecde:	49 8d 04 11          	lea    (%r9,%rdx,1),%rax
1402cece2:	49 c1 e1 15          	shl    $0x15,%r9
1402cece6:	48 03 c8             	add    %rax,%rcx
1402cece9:	48 01 8c 24 90 01 00 	add    %rcx,0x190(%rsp)
1402cecf0:	00
1402cecf1:	49 69 c6 13 2c 0a 00 	imul   $0xa2c13,%r14,%rax
1402cecf8:	49 69 cb 18 2d 07 00 	imul   $0x72d18,%r11,%rcx
1402cecff:	48 69 d7 18 2d 07 00 	imul   $0x72d18,%rdi,%rdx
1402ced06:	4c 8b 34 24          	mov    (%rsp),%r14
1402ced0a:	48 03 c8             	add    %rax,%rcx
1402ced0d:	49 69 c3 ad 39 0f 00 	imul   $0xf39ad,%r11,%rax
1402ced14:	49 2b c8             	sub    %r8,%rcx
1402ced17:	49 81 c6 00 00 10 00 	add    $0x100000,%r14
1402ced1e:	48 2b d0             	sub    %rax,%rdx
1402ced21:	49 c1 fe 15          	sar    $0x15,%r14
1402ced25:	48 69 c6 13 2c 0a 00 	imul   $0xa2c13,%rsi,%rax
1402ced2c:	48 8b b4 24 90 01 00 	mov    0x190(%rsp),%rsi
1402ced33:	00
1402ced34:	48 03 cd             	add    %rbp,%rcx
1402ced37:	48 01 8c 24 90 00 00 	add    %rcx,0x90(%rsp)
1402ced3e:	00
1402ced3f:	48 03 c2             	add    %rdx,%rax
1402ced42:	48 69 8c 24 c0 00 00 	imul   $0x9fb67,0xc0(%rsp),%rcx
1402ced49:	00 67 fb 09 00
1402ced4e:	48 69 d7 53 c6 f0 ff 	imul   $0xfffffffffff0c653,%rdi,%rdx
1402ced55:	49 2b c1             	sub    %r9,%rax
1402ced58:	48 81 c6 00 00 10 00 	add    $0x100000,%rsi
1402ced5f:	49 03 c6             	add    %r14,%rax
1402ced62:	48 c1 fe 15          	sar    $0x15,%rsi
1402ced66:	48 03 c8             	add    %rax,%rcx
1402ced69:	48 01 8c 24 80 00 00 	add    %rcx,0x80(%rsp)
1402ced70:	00
1402ced71:	49 69 c3 7d 6f 0a 00 	imul   $0xa6f7d,%r11,%rax
1402ced78:	4c 8b 9c 24 c8 00 00 	mov    0xc8(%rsp),%r11
1402ced7f:	00
1402ced80:	48 2b d0             	sub    %rax,%rdx
1402ced83:	49 69 c3 18 2d 07 00 	imul   $0x72d18,%r11,%rax
1402ced8a:	48 03 d0             	add    %rax,%rdx
1402ced8d:	49 69 c5 13 2c 0a 00 	imul   $0xa2c13,%r13,%rax
1402ced94:	48 69 8c 24 98 00 00 	imul   $0x9fb67,0x98(%rsp),%rcx
1402ced9b:	00 67 fb 09 00
1402ceda0:	48 03 d0             	add    %rax,%rdx
1402ceda3:	4c 8b 8c 24 90 00 00 	mov    0x90(%rsp),%r9
1402cedaa:	00
1402cedab:	48 69 84 24 c0 00 00 	imul   $0x215d1,0xc0(%rsp),%rax
1402cedb2:	00 d1 15 02 00
1402cedb7:	48 c1 e3 15          	shl    $0x15,%rbx
1402cedbb:	4d 8d 82 00 00 10 00 	lea    0x100000(%r10),%r8
1402cedc2:	4c 8b 94 24 80 00 00 	mov    0x80(%rsp),%r10
1402cedc9:	00
1402cedca:	48 03 d0             	add    %rax,%rdx
1402cedcd:	48 8b 84 24 d8 00 00 	mov    0xd8(%rsp),%rax
1402cedd4:	00
1402cedd5:	49 81 c1 00 00 10 00 	add    $0x100000,%r9
1402ceddc:	48 c1 e0 15          	shl    $0x15,%rax
1402cede0:	49 81 c2 00 00 10 00 	add    $0x100000,%r10
1402cede7:	48 2b d0             	sub    %rax,%rdx
1402cedea:	49 c1 f8 15          	sar    $0x15,%r8
1402cedee:	49 c1 e7 15          	shl    $0x15,%r15
1402cedf2:	49 c1 e4 15          	shl    $0x15,%r12
1402cedf6:	48 c1 e5 15          	shl    $0x15,%rbp
1402cedfa:	48 8d 04 16          	lea    (%rsi,%rdx,1),%rax
1402cedfe:	49 c1 f9 15          	sar    $0x15,%r9
1402cee02:	48 03 c8             	add    %rax,%rcx
1402cee05:	49 c1 fa 15          	sar    $0x15,%r10
1402cee09:	48 01 8c 24 a8 00 00 	add    %rcx,0xa8(%rsp)
1402cee10:	00
1402cee11:	48 69 c7 7d 6f 0a 00 	imul   $0xa6f7d,%rdi,%rax
1402cee18:	49 69 d3 53 c6 f0 ff 	imul   $0xfffffffffff0c653,%r11,%rdx
1402cee1f:	49 69 cd 67 fb 09 00 	imul   $0x9fb67,%r13,%rcx
1402cee26:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
1402cee2b:	48 2b d0             	sub    %rax,%rdx
1402cee2e:	48 69 84 24 98 00 00 	imul   $0x215d1,0x98(%rsp),%rax
1402cee35:	00 d1 15 02 00
1402cee3a:	49 c1 e6 15          	shl    $0x15,%r14
1402cee3e:	48 03 c2             	add    %rdx,%rax
1402cee41:	48 8b 94 24 88 01 00 	mov    0x188(%rsp),%rdx
1402cee48:	00
1402cee49:	48 2b c3             	sub    %rbx,%rax
1402cee4c:	48 81 c2 00 00 10 00 	add    $0x100000,%rdx
1402cee53:	48 8b 9c 24 88 00 00 	mov    0x88(%rsp),%rbx
1402cee5a:	00
1402cee5b:	49 03 c0             	add    %r8,%rax
1402cee5e:	48 03 c8             	add    %rax,%rcx
1402cee61:	49 c1 e0 15          	shl    $0x15,%r8
1402cee65:	48 03 d9             	add    %rcx,%rbx
1402cee68:	48 c1 fa 15          	sar    $0x15,%rdx
1402cee6c:	49 69 c3 7d 6f 0a 00 	imul   $0xa6f7d,%r11,%rax
1402cee73:	49 69 cd d1 15 02 00 	imul   $0x215d1,%r13,%rcx
1402cee7a:	4c 8b 9c 24 a8 00 00 	mov    0xa8(%rsp),%r11
1402cee81:	00
1402cee82:	4c 8b ac 24 08 01 00 	mov    0x108(%rsp),%r13
1402cee89:	00
1402cee8a:	49 81 c3 00 00 10 00 	add    $0x100000,%r11
1402cee91:	49 c1 fb 15          	sar    $0x15,%r11
1402cee95:	48 89 9c 24 88 00 00 	mov    %rbx,0x88(%rsp)
1402cee9c:	00
1402cee9d:	48 2b c8             	sub    %rax,%rcx
1402ceea0:	49 2b cf             	sub    %r15,%rcx
1402ceea3:	4c 8b bc 24 b0 00 00 	mov    0xb0(%rsp),%r15
1402ceeaa:	00
1402ceeab:	48 03 ca             	add    %rdx,%rcx
1402ceeae:	48 c1 e2 15          	shl    $0x15,%rdx
1402ceeb2:	4c 03 f9             	add    %rcx,%r15
1402ceeb5:	48 8d 8f 00 00 10 00 	lea    0x100000(%rdi),%rcx
1402ceebc:	48 c1 f9 15          	sar    $0x15,%rcx
1402ceec0:	48 8b c1             	mov    %rcx,%rax
1402ceec3:	48 c1 e1 15          	shl    $0x15,%rcx
1402ceec7:	49 2b c4             	sub    %r12,%rax
1402ceeca:	4c 8b a4 24 98 01 00 	mov    0x198(%rsp),%r12
1402ceed1:	00
1402ceed2:	4c 03 e0             	add    %rax,%r12
1402ceed5:	49 8b c3             	mov    %r11,%rax
1402ceed8:	49 2b c0             	sub    %r8,%rax
1402ceedb:	4c 8d 83 00 00 10 00 	lea    0x100000(%rbx),%r8
1402ceee2:	4c 03 e8             	add    %rax,%r13
1402ceee5:	49 c1 f8 15          	sar    $0x15,%r8
1402ceee9:	49 8b c0             	mov    %r8,%rax
1402ceeec:	49 8d 9f 00 00 10 00 	lea    0x100000(%r15),%rbx
1402ceef3:	48 2b c2             	sub    %rdx,%rax
1402ceef6:	48 c1 fb 15          	sar    $0x15,%rbx
1402ceefa:	48 01 84 24 88 01 00 	add    %rax,0x188(%rsp)
1402cef01:	00
1402cef02:	48 8b c3             	mov    %rbx,%rax
1402cef05:	48 2b c1             	sub    %rcx,%rax
1402cef08:	48 8b 4c 24 78       	mov    0x78(%rsp),%rcx
1402cef0d:	48 03 f8             	add    %rax,%rdi
1402cef10:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
1402cef15:	49 8d bc 24 00 00 10 	lea    0x100000(%r12),%rdi
1402cef1c:	00
1402cef1d:	48 c1 ff 15          	sar    $0x15,%rdi
1402cef21:	48 69 c7 13 2c 0a 00 	imul   $0xa2c13,%rdi,%rax
1402cef28:	48 2b c5             	sub    %rbp,%rax
1402cef2b:	48 03 c8             	add    %rax,%rcx
1402cef2e:	48 89 4c 24 78       	mov    %rcx,0x78(%rsp)
1402cef33:	48 69 c7 67 fb 09 00 	imul   $0x9fb67,%rdi,%rax
1402cef3a:	48 8b 2c 24          	mov    (%rsp),%rbp
1402cef3e:	49 2b c6             	sub    %r14,%rax
1402cef41:	48 8b 94 24 90 00 00 	mov    0x90(%rsp),%rdx
1402cef48:	00
1402cef49:	49 03 c1             	add    %r9,%rax
1402cef4c:	48 03 e8             	add    %rax,%rbp
1402cef4f:	48 c1 e6 15          	shl    $0x15,%rsi
1402cef53:	48 69 c7 d1 15 02 00 	imul   $0x215d1,%rdi,%rax
1402cef5a:	49 c1 e1 15          	shl    $0x15,%r9
1402cef5e:	48 2b c6             	sub    %rsi,%rax
1402cef61:	48 c1 f9 15          	sar    $0x15,%rcx
1402cef65:	48 8b b4 24 90 01 00 	mov    0x190(%rsp),%rsi
1402cef6c:	00
1402cef6d:	49 03 c2             	add    %r10,%rax
1402cef70:	48 03 f0             	add    %rax,%rsi
1402cef73:	49 c1 e3 15          	shl    $0x15,%r11
1402cef77:	49 f7 da             	neg    %r10
1402cef7a:	49 c1 e0 15          	shl    $0x15,%r8
1402cef7e:	48 69 c7 18 2d 07 00 	imul   $0x72d18,%rdi,%rax
1402cef85:	49 c1 e2 15          	shl    $0x15,%r10
1402cef89:	49 2b c1             	sub    %r9,%rax
1402cef8c:	48 c1 e3 15          	shl    $0x15,%rbx
1402cef90:	48 03 c1             	add    %rcx,%rax
1402cef93:	48 c1 e1 15          	shl    $0x15,%rcx
1402cef97:	48 03 d0             	add    %rax,%rdx
1402cef9a:	48 69 c7 ad 39 0f 00 	imul   $0xf39ad,%rdi,%rax
1402cefa1:	48 89 94 24 90 00 00 	mov    %rdx,0x90(%rsp)
1402cefa8:	00
1402cefa9:	4c 2b d0             	sub    %rax,%r10
1402cefac:	48 c1 fa 15          	sar    $0x15,%rdx
1402cefb0:	48 8b 84 24 80 00 00 	mov    0x80(%rsp),%rax
1402cefb7:	00
1402cefb8:	48 03 ea             	add    %rdx,%rbp
1402cefbb:	4c 8b cd             	mov    %rbp,%r9
1402cefbe:	48 89 2c 24          	mov    %rbp,(%rsp)
1402cefc2:	49 c1 f9 15          	sar    $0x15,%r9
1402cefc6:	4d 03 d1             	add    %r9,%r10
1402cefc9:	49 03 c2             	add    %r10,%rax
1402cefcc:	4c 8b d0             	mov    %rax,%r10
1402cefcf:	48 89 84 24 80 00 00 	mov    %rax,0x80(%rsp)
1402cefd6:	00
1402cefd7:	48 69 c7 83 90 f5 ff 	imul   $0xfffffffffff59083,%rdi,%rax
1402cefde:	48 c1 e7 15          	shl    $0x15,%rdi
1402cefe2:	49 2b c3             	sub    %r11,%rax
1402cefe5:	49 c1 fa 15          	sar    $0x15,%r10
1402cefe9:	4c 8b 9c 24 a8 00 00 	mov    0xa8(%rsp),%r11
1402ceff0:	00
1402ceff1:	49 03 f2             	add    %r10,%rsi
1402ceff4:	48 89 b4 24 90 01 00 	mov    %rsi,0x190(%rsp)
1402ceffb:	00
1402ceffc:	48 c1 fe 15          	sar    $0x15,%rsi
1402cf000:	48 03 c6             	add    %rsi,%rax
1402cf003:	4c 03 d8             	add    %rax,%r11
1402cf006:	4c 89 9c 24 a8 00 00 	mov    %r11,0xa8(%rsp)
1402cf00d:	00
1402cf00e:	49 c1 fb 15          	sar    $0x15,%r11
1402cf012:	4d 03 eb             	add    %r11,%r13
1402cf015:	49 8b ed             	mov    %r13,%rbp
1402cf018:	48 c1 fd 15          	sar    $0x15,%rbp
1402cf01c:	48 8b c5             	mov    %rbp,%rax
1402cf01f:	49 2b c0             	sub    %r8,%rax
1402cf022:	4c 8b 84 24 88 00 00 	mov    0x88(%rsp),%r8
1402cf029:	00
1402cf02a:	4c 03 c0             	add    %rax,%r8
1402cf02d:	48 8b 84 24 88 01 00 	mov    0x188(%rsp),%rax
1402cf034:	00
1402cf035:	4c 89 84 24 88 00 00 	mov    %r8,0x88(%rsp)
1402cf03c:	00
1402cf03d:	49 c1 f8 15          	sar    $0x15,%r8
1402cf041:	49 03 c0             	add    %r8,%rax
1402cf044:	4c 8b f0             	mov    %rax,%r14
1402cf047:	48 89 84 24 88 01 00 	mov    %rax,0x188(%rsp)
1402cf04e:	00
1402cf04f:	49 c1 fe 15          	sar    $0x15,%r14
1402cf053:	49 8b c6             	mov    %r14,%rax
1402cf056:	48 2b c3             	sub    %rbx,%rax
1402cf059:	4c 03 f8             	add    %rax,%r15
1402cf05c:	48 8b 44 24 08       	mov    0x8(%rsp),%rax
1402cf061:	49 8b df             	mov    %r15,%rbx
1402cf064:	4c 89 bc 24 b0 00 00 	mov    %r15,0xb0(%rsp)
1402cf06b:	00
1402cf06c:	48 c1 fb 15          	sar    $0x15,%rbx
1402cf070:	48 03 c3             	add    %rbx,%rax
1402cf073:	4c 8b f8             	mov    %rax,%r15
1402cf076:	48 89 44 24 08       	mov    %rax,0x8(%rsp)
1402cf07b:	49 c1 ff 15          	sar    $0x15,%r15
1402cf07f:	49 8b c7             	mov    %r15,%rax
1402cf082:	48 2b c7             	sub    %rdi,%rax
1402cf085:	4c 03 e0             	add    %rax,%r12
1402cf088:	49 8b fc             	mov    %r12,%rdi
1402cf08b:	48 c1 ff 15          	sar    $0x15,%rdi
1402cf08f:	48 69 c7 13 2c 0a 00 	imul   $0xa2c13,%rdi,%rax
1402cf096:	48 2b c1             	sub    %rcx,%rax
1402cf099:	48 8b 4c 24 78       	mov    0x78(%rsp),%rcx
1402cf09e:	48 03 c8             	add    %rax,%rcx
1402cf0a1:	48 c1 e2 15          	shl    $0x15,%rdx
1402cf0a5:	48 89 4c 24 78       	mov    %rcx,0x78(%rsp)
1402cf0aa:	49 f7 da             	neg    %r10
1402cf0ad:	48 c1 f9 15          	sar    $0x15,%rcx
1402cf0b1:	49 c1 e1 15          	shl    $0x15,%r9
1402cf0b5:	49 c1 e2 15          	shl    $0x15,%r10
1402cf0b9:	48 69 c7 18 2d 07 00 	imul   $0x72d18,%rdi,%rax
1402cf0c0:	49 c1 e0 15          	shl    $0x15,%r8
1402cf0c4:	48 2b c2             	sub    %rdx,%rax
1402cf0c7:	48 c1 e6 15          	shl    $0x15,%rsi
1402cf0cb:	48 03 c1             	add    %rcx,%rax
1402cf0ce:	48 8b 94 24 90 00 00 	mov    0x90(%rsp),%rdx
1402cf0d5:	00
1402cf0d6:	48 f7 d9             	neg    %rcx
1402cf0d9:	49 c1 e3 15          	shl    $0x15,%r11
1402cf0dd:	48 c1 e1 15          	shl    $0x15,%rcx
1402cf0e1:	48 03 d0             	add    %rax,%rdx
1402cf0e4:	48 01 4c 24 78       	add    %rcx,0x78(%rsp)
1402cf0e9:	48 8b ca             	mov    %rdx,%rcx
1402cf0ec:	48 c1 f9 15          	sar    $0x15,%rcx
1402cf0f0:	48 69 c7 67 fb 09 00 	imul   $0x9fb67,%rdi,%rax
1402cf0f7:	48 c1 e5 15          	shl    $0x15,%rbp
1402cf0fb:	49 2b c1             	sub    %r9,%rax
1402cf0fe:	4c 8b 0c 24          	mov    (%rsp),%r9
1402cf102:	48 03 c1             	add    %rcx,%rax
1402cf105:	48 f7 d9             	neg    %rcx
1402cf108:	48 c1 e1 15          	shl    $0x15,%rcx
1402cf10c:	4c 03 c8             	add    %rax,%r9
1402cf10f:	48 03 d1             	add    %rcx,%rdx
1402cf112:	49 8b c9             	mov    %r9,%rcx
1402cf115:	48 c1 f9 15          	sar    $0x15,%rcx
1402cf119:	48 69 c7 ad 39 0f 00 	imul   $0xf39ad,%rdi,%rax
1402cf120:	48 89 94 24 90 00 00 	mov    %rdx,0x90(%rsp)
1402cf127:	00
1402cf128:	48 8b 94 24 90 01 00 	mov    0x190(%rsp),%rdx
1402cf12f:	00
1402cf130:	4c 2b d0             	sub    %rax,%r10
1402cf133:	4c 03 d1             	add    %rcx,%r10
1402cf136:	48 f7 d9             	neg    %rcx
1402cf139:	4c 01 94 24 80 00 00 	add    %r10,0x80(%rsp)
1402cf140:	00
1402cf141:	4c 8b 94 24 80 00 00 	mov    0x80(%rsp),%r10
1402cf148:	00