1400729b5:	48 21 ea             	and    %rbp,%rdx
1400729b8:	4d 09 d3             	or     %r10,%r11
1400729bb:	4d 01 dc             	add    %r11,%r12
1400729be:	49 83 d5 00          	adc    $0x0,%r13
1400729c2:	48 89 d8             	mov    %rbx,%rax
1400729c5:	48 c1 eb 33          	shr    $0x33,%rbx
1400729c9:	48 c1 e1 0d          	shl    $0xd,%rcx
1400729cd:	48 21 e8             	and    %rbp,%rax
1400729d0:	48 09 d9             	or     %rbx,%rcx
1400729d3:	49 01 c8             	add    %rcx,%r8
1400729d6:	49 83 d1 00          	adc    $0x0,%r9
1400729da:	4c 89 e3             	mov    %r12,%rbx
1400729dd:	49 c1 ec 33          	shr    $0x33,%r12
1400729e1:	49 c1 e5 0d          	shl    $0xd,%r13
1400729e5:	48 21 eb             	and    %rbp,%rbx
1400729e8:	4d 09 e5             	or     %r12,%r13
1400729eb:	4d 01 ee             	add    %r13,%r14
1400729ee:	49 83 d7 00          	adc    $0x0,%r15
1400729f2:	4c 89 c1             	mov    %r8,%rcx
1400729f5:	49 c1 e8 33          	shr    $0x33,%r8
1400729f9:	49 c1 e1 0d          	shl    $0xd,%r9
1400729fd:	48 21 e9             	and    %rbp,%rcx
140072a00:	4d 09 c1             	or     %r8,%r9
140072a03:	4c 01 ca             	add    %r9,%rdx
140072a06:	4d 89 f2             	mov    %r14,%r10
140072a09:	49 c1 ee 33          	shr    $0x33,%r14
140072a0d:	49 c1 e7 0d          	shl    $0xd,%r15
140072a11:	49 21 ea             	and    %rbp,%r10
140072a14:	4d 09 f7             	or     %r14,%r15
140072a17:	4f 8d 34 ff          	lea    (%r15,%r15,8),%r14
140072a1b:	4f 8d 3c 77          	lea    (%r15,%r14,2),%r15
140072a1f:	4c 01 f8             	add    %r15,%rax
140072a22:	49 89 d0             	mov    %rdx,%r8
140072a25:	48 21 ea             	and    %rbp,%rdx
140072a28:	49 c1 e8 33          	shr    $0x33,%r8
140072a2c:	4c 01 c3             	add    %r8,%rbx
140072a2f:	49 89 c1             	mov    %rax,%r9
140072a32:	48 21 e8             	and    %rbp,%rax
140072a35:	49 c1 e9 33          	shr    $0x33,%r9
140072a39:	4c 01 c9             	add    %r9,%rcx
140072a3c:	48 89 07             	mov    %rax,(%rdi)
140072a3f:	48 89 4f 08          	mov    %rcx,0x8(%rdi)
140072a43:	48 89 57 10          	mov    %rdx,0x10(%rdi)
140072a47:	48 89 5f 18          	mov    %rbx,0x18(%rdi)
140072a4b:	4c 89 57 20          	mov    %r10,0x20(%rdi)
140072a4f:	4c 8b 7c 24 28       	mov    0x28(%rsp),%r15
140072a54:	4c 8b 74 24 30       	mov    0x30(%rsp),%r14
140072a59:	4c 8b 6c 24 38       	mov    0x38(%rsp),%r13
140072a5e:	4c 8b 64 24 40       	mov    0x40(%rsp),%r12
140072a63:	48 8b 5c 24 48       	mov    0x48(%rsp),%rbx
140072a68:	48 8b 6c 24 50       	mov    0x50(%rsp),%rbp
140072a6d:	48 8d 64 24 58       	lea    0x58(%rsp),%rsp
140072a72:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
140072a77:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
140072a7c:	f3 c3                	repz ret
140072a7e:	90                   	nop
140072a7f:	90                   	nop
140072a80:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140072a85:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
140072a8a:	48 89 e0             	mov    %rsp,%rax
140072a8d:	48 89 cf             	mov    %rcx,%rdi
140072a90:	48 89 d6             	mov    %rdx,%rsi
140072a93:	55                   	push   %rbp
140072a94:	53                   	push   %rbx
140072a95:	41 54                	push   %r12
140072a97:	41 55                	push   %r13
140072a99:	41 56                	push   %r14
140072a9b:	41 57                	push   %r15
140072a9d:	48 8d 64 24 d8       	lea    -0x28(%rsp),%rsp
140072aa2:	b8 42 db 01 00       	mov    $0x1db42,%eax
140072aa7:	48 f7 26             	mulq   (%rsi)
140072aaa:	48 89 c3             	mov    %rax,%rbx
140072aad:	b8 42 db 01 00       	mov    $0x1db42,%eax
140072ab2:	48 89 d1             	mov    %rdx,%rcx
140072ab5:	48 f7 66 08          	mulq   0x8(%rsi)
140072ab9:	49 89 c0             	mov    %rax,%r8
140072abc:	b8 42 db 01 00       	mov    $0x1db42,%eax
140072ac1:	49 89 d1             	mov    %rdx,%r9
140072ac4:	48 f7 66 10          	mulq   0x10(%rsi)
140072ac8:	49 89 c2             	mov    %rax,%r10
140072acb:	b8 42 db 01 00       	mov    $0x1db42,%eax
140072ad0:	49 89 d3             	mov    %rdx,%r11
140072ad3:	48 f7 66 18          	mulq   0x18(%rsi)
140072ad7:	49 89 c4             	mov    %rax,%r12
140072ada:	b8 42 db 01 00       	mov    $0x1db42,%eax
140072adf:	49 89 d5             	mov    %rdx,%r13
140072ae2:	48 f7 66 20          	mulq   0x20(%rsi)
140072ae6:	49 89 c6             	mov    %rax,%r14
140072ae9:	49 89 d7             	mov    %rdx,%r15
140072aec:	e9 af fe ff ff       	jmp    0x1400729a0
140072af1:	90                   	nop
140072af2:	90                   	nop
140072af3:	90                   	nop
140072af4:	90                   	nop
140072af5:	90                   	nop
140072af6:	90                   	nop
140072af7:	90                   	nop
140072af8:	90                   	nop
140072af9:	90                   	nop
140072afa:	90                   	nop
140072afb:	90                   	nop
140072afc:	90                   	nop
140072afd:	90                   	nop
140072afe:	90                   	nop
140072aff:	90                   	nop
140072b00:	8b 0d 12 ff 43 01    	mov    0x143ff12(%rip),%ecx        # 0x1414b2a18
140072b06:	31 c0                	xor    %eax,%eax
140072b08:	81 e1 00 01 08 00    	and    $0x80100,%ecx
140072b0e:	81 f9 00 01 08 00    	cmp    $0x80100,%ecx
140072b14:	0f 44 c1             	cmove  %ecx,%eax
140072b17:	f3 c3                	repz ret
140072b19:	90                   	nop
140072b1a:	90                   	nop
140072b1b:	90                   	nop
140072b1c:	90                   	nop
140072b1d:	90                   	nop
140072b1e:	90                   	nop
140072b1f:	90                   	nop
140072b20:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140072b25:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
140072b2a:	48 89 e0             	mov    %rsp,%rax
140072b2d:	48 89 cf             	mov    %rcx,%rdi
140072b30:	48 89 d6             	mov    %rdx,%rsi
140072b33:	4c 89 c2             	mov    %r8,%rdx
140072b36:	55                   	push   %rbp
140072b37:	53                   	push   %rbx
140072b38:	41 54                	push   %r12
140072b3a:	41 55                	push   %r13
140072b3c:	41 56                	push   %r14
140072b3e:	41 57                	push   %r15
140072b40:	57                   	push   %rdi
140072b41:	48 8d 64 24 f0       	lea    -0x10(%rsp),%rsp
140072b46:	48 89 d0             	mov    %rdx,%rax
140072b49:	48 8b 2a             	mov    (%rdx),%rbp
140072b4c:	48 8b 16             	mov    (%rsi),%rdx
140072b4f:	48 8b 48 08          	mov    0x8(%rax),%rcx
140072b53:	4c 8b 70 10          	mov    0x10(%rax),%r14
140072b57:	4c 8b 78 18          	mov    0x18(%rax),%r15
140072b5b:	c4 e2 bb f6 c5       	mulx   %rbp,%r8,%rax
140072b60:	31 ff                	xor    %edi,%edi
140072b62:	c4 e2 b3 f6 d9       	mulx   %rcx,%r9,%rbx
140072b67:	66 4c 0f 38 f6 c8    	adcx   %rax,%r9
140072b6d:	c4 c2 ab f6 c6       	mulx   %r14,%r10,%rax
140072b72:	66 4c 0f 38 f6 d3    	adcx   %rbx,%r10
140072b78:	c4 42 a3 f6 e7       	mulx   %r15,%r11,%r12
140072b7d:	48 8b 56 08          	mov    0x8(%rsi),%rdx
140072b81:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
140072b87:	4c 89 34 24          	mov    %r14,(%rsp)
140072b8b:	66 4c 0f 38 f6 e7    	adcx   %rdi,%r12
140072b91:	c4 e2 fb f6 dd       	mulx   %rbp,%rax,%rbx
140072b96:	f3 4c 0f 38 f6 c8    	adox   %rax,%r9
140072b9c:	66 4c 0f 38 f6 d3    	adcx   %rbx,%r10
140072ba2:	c4 e2 fb f6 d9       	mulx   %rcx,%rax,%rbx
140072ba7:	f3 4c 0f 38 f6 d0    	adox   %rax,%r10
140072bad:	66 4c 0f 38 f6 db    	adcx   %rbx,%r11
140072bb3:	c4 c2 fb f6 de       	mulx   %r14,%rax,%rbx
140072bb8:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
140072bbe:	66 4c 0f 38 f6 e3    	adcx   %rbx,%r12
140072bc4:	c4 42 fb f6 ef       	mulx   %r15,%rax,%r13
140072bc9:	48 8b 56 10          	mov    0x10(%rsi),%rdx
140072bcd:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
140072bd3:	66 4c 0f 38 f6 ef    	adcx   %rdi,%r13
140072bd9:	f3 4c 0f 38 f6 ef    	adox   %rdi,%r13
140072bdf:	c4 e2 fb f6 dd       	mulx   %rbp,%rax,%rbx
140072be4:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
140072bea:	f3 4c 0f 38 f6 db    	adox   %rbx,%r11
140072bf0:	c4 e2 fb f6 d9       	mulx   %rcx,%rax,%rbx
140072bf5:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
140072bfb:	f3 4c 0f 38 f6 e3    	adox   %rbx,%r12
140072c01:	c4 c2 fb f6 de       	mulx   %r14,%rax,%rbx
140072c06:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
140072c0c:	f3 4c 0f 38 f6 eb    	adox   %rbx,%r13
140072c12:	c4 42 fb f6 f7       	mulx   %r15,%rax,%r14
140072c17:	48 8b 56 18          	mov    0x18(%rsi),%rdx
140072c1b:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
140072c21:	f3 4c 0f 38 f6 f7    	adox   %rdi,%r14
140072c27:	66 4c 0f 38 f6 f7    	adcx   %rdi,%r14
140072c2d:	c4 e2 fb f6 dd       	mulx   %rbp,%rax,%rbx
140072c32:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
140072c38:	66 4c 0f 38 f6 e3    	adcx   %rbx,%r12
140072c3e:	c4 e2 fb f6 d9       	mulx   %rcx,%rax,%rbx
140072c43:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
140072c49:	66 4c 0f 38 f6 eb    	adcx   %rbx,%r13
140072c4f:	c4 e2 fb f6 1c 24    	mulx   (%rsp),%rax,%rbx
140072c55:	f3 4c 0f 38 f6 e8    	adox   %rax,%r13
140072c5b:	66 4c 0f 38 f6 f3    	adcx   %rbx,%r14
140072c61:	c4 42 fb f6 ff       	mulx   %r15,%rax,%r15
140072c66:	ba 26 00 00 00       	mov    $0x26,%edx
140072c6b:	f3 4c 0f 38 f6 f0    	adox   %rax,%r14
140072c71:	66 4c 0f 38 f6 ff    	adcx   %rdi,%r15
140072c77:	f3 4c 0f 38 f6 ff    	adox   %rdi,%r15
140072c7d:	e9 3e 01 00 00       	jmp    0x140072dc0
140072c82:	90                   	nop
140072c83:	90                   	nop
140072c84:	90                   	nop
140072c85:	90                   	nop
140072c86:	90                   	nop
140072c87:	90                   	nop
140072c88:	90                   	nop
140072c89:	90                   	nop
140072c8a:	90                   	nop
140072c8b:	90                   	nop
140072c8c:	90                   	nop
140072c8d:	90                   	nop
140072c8e:	90                   	nop
140072c8f:	90                   	nop
140072c90:	90                   	nop
140072c91:	90                   	nop
140072c92:	90                   	nop
140072c93:	90                   	nop
140072c94:	90                   	nop
140072c95:	90                   	nop
140072c96:	90                   	nop
140072c97:	90                   	nop
140072c98:	90                   	nop
140072c99:	90                   	nop
140072c9a:	90                   	nop
140072c9b:	90                   	nop
140072c9c:	90                   	nop
140072c9d:	90                   	nop
140072c9e:	90                   	nop
140072c9f:	90                   	nop
140072ca0:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140072ca5:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
140072caa:	48 89 e0             	mov    %rsp,%rax
140072cad:	48 89 cf             	mov    %rcx,%rdi
140072cb0:	48 89 d6             	mov    %rdx,%rsi
140072cb3:	55                   	push   %rbp
140072cb4:	53                   	push   %rbx
140072cb5:	41 54                	push   %r12
140072cb7:	41 55                	push   %r13
140072cb9:	41 56                	push   %r14
140072cbb:	41 57                	push   %r15
140072cbd:	57                   	push   %rdi
140072cbe:	48 8d 64 24 f0       	lea    -0x10(%rsp),%rsp
140072cc3:	48 8b 16             	mov    (%rsi),%rdx
140072cc6:	48 8b 4e 08          	mov    0x8(%rsi),%rcx
140072cca:	48 8b 6e 10          	mov    0x10(%rsi),%rbp
140072cce:	48 8b 76 18          	mov    0x18(%rsi),%rsi
140072cd2:	c4 62 bb f6 fa       	mulx   %rdx,%r8,%r15
140072cd7:	c4 e2 b3 f6 c1       	mulx   %rcx,%r9,%rax
140072cdc:	31 ff                	xor    %edi,%edi
140072cde:	c4 e2 ab f6 dd       	mulx   %rbp,%r10,%rbx
140072ce3:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
140072ce9:	c4 62 a3 f6 e6       	mulx   %rsi,%r11,%r12
140072cee:	48 89 ca             	mov    %rcx,%rdx
140072cf1:	66 4c 0f 38 f6 db    	adcx   %rbx,%r11
140072cf7:	66 4c 0f 38 f6 e7    	adcx   %rdi,%r12
140072cfd:	c4 e2 fb f6 dd       	mulx   %rbp,%rax,%rbx
140072d02:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
140072d08:	66 4c 0f 38 f6 e3    	adcx   %rbx,%r12
140072d0e:	c4 62 fb f6 ee       	mulx   %rsi,%rax,%r13
140072d13:	48 89 ea             	mov    %rbp,%rdx
140072d16:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
140072d1c:	66 4c 0f 38 f6 ef    	adcx   %rdi,%r13
140072d22:	c4 62 fb f6 f6       	mulx   %rsi,%rax,%r14
140072d27:	48 89 ca             	mov    %rcx,%rdx
140072d2a:	f3 4c 0f 38 f6 e8    	adox   %rax,%r13
140072d30:	66 4c 0f 38 f6 f7    	adcx   %rdi,%r14
140072d36:	f3 4c 0f 38 f6 f7    	adox   %rdi,%r14
140072d3c:	66 4d 0f 38 f6 c9    	adcx   %r9,%r9
140072d42:	f3 4d 0f 38 f6 cf    	adox   %r15,%r9
140072d48:	66 4d 0f 38 f6 d2    	adcx   %r10,%r10
140072d4e:	c4 e2 fb f6 da       	mulx   %rdx,%rax,%rbx
140072d53:	48 89 ea             	mov    %rbp,%rdx
140072d56:	66 4d 0f 38 f6 db    	adcx   %r11,%r11
140072d5c:	f3 4c 0f 38 f6 d0    	adox   %rax,%r10
140072d62:	66 4d 0f 38 f6 e4    	adcx   %r12,%r12
140072d68:	f3 4c 0f 38 f6 db    	adox   %rbx,%r11
140072d6e:	c4 e2 fb f6 da       	mulx   %rdx,%rax,%rbx
140072d73:	48 89 f2             	mov    %rsi,%rdx
140072d76:	66 4d 0f 38 f6 ed    	adcx   %r13,%r13
140072d7c:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
140072d82:	66 4d 0f 38 f6 f6    	adcx   %r14,%r14
140072d88:	f3 4c 0f 38 f6 eb    	adox   %rbx,%r13
140072d8e:	c4 62 fb f6 fa       	mulx   %rdx,%rax,%r15
140072d93:	ba 26 00 00 00       	mov    $0x26,%edx
140072d98:	f3 4c 0f 38 f6 f0    	adox   %rax,%r14
140072d9e:	66 4c 0f 38 f6 ff    	adcx   %rdi,%r15
140072da4:	f3 4c 0f 38 f6 ff    	adox   %rdi,%r15
140072daa:	eb 14                	jmp    0x140072dc0
140072dac:	90                   	nop
140072dad:	90                   	nop
140072dae:	90                   	nop
140072daf:	90                   	nop
140072db0:	90                   	nop
140072db1:	90                   	nop
140072db2:	90                   	nop
140072db3:	90                   	nop
140072db4:	90                   	nop
140072db5:	90                   	nop
140072db6:	90                   	nop
140072db7:	90                   	nop
140072db8:	90                   	nop
140072db9:	90                   	nop
140072dba:	90                   	nop
140072dbb:	90                   	nop
140072dbc:	90                   	nop
140072dbd:	90                   	nop
140072dbe:	90                   	nop
140072dbf:	90                   	nop
140072dc0:	c4 c2 fb f6 dc       	mulx   %r12,%rax,%rbx
140072dc5:	66 4c 0f 38 f6 c0    	adcx   %rax,%r8
140072dcb:	f3 4c 0f 38 f6 cb    	adox   %rbx,%r9
140072dd1:	c4 c2 fb f6 dd       	mulx   %r13,%rax,%rbx
140072dd6:	66 4c 0f 38 f6 c8    	adcx   %rax,%r9
140072ddc:	f3 4c 0f 38 f6 d3    	adox   %rbx,%r10
140072de2:	c4 c2 fb f6 de       	mulx   %r14,%rax,%rbx
140072de7:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
140072ded:	f3 4c 0f 38 f6 db    	adox   %rbx,%r11
140072df3:	c4 42 fb f6 e7       	mulx   %r15,%rax,%r12
140072df8:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
140072dfe:	f3 4c 0f 38 f6 e7    	adox   %rdi,%r12
140072e04:	66 4c 0f 38 f6 e7    	adcx   %rdi,%r12
140072e0a:	48 8b 7c 24 10       	mov    0x10(%rsp),%rdi
140072e0f:	4c 0f af e2          	imul   %rdx,%r12
140072e13:	4d 01 e0             	add    %r12,%r8
140072e16:	49 83 d1 00          	adc    $0x0,%r9
140072e1a:	49 83 d2 00          	adc    $0x0,%r10
140072e1e:	49 83 d3 00          	adc    $0x0,%r11
140072e22:	48 19 c0             	sbb    %rax,%rax
140072e25:	48 83 e0 26          	and    $0x26,%rax
140072e29:	49 01 c0             	add    %rax,%r8
140072e2c:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
140072e30:	4c 89 57 10          	mov    %r10,0x10(%rdi)
140072e34:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
140072e38:	4c 89 07             	mov    %r8,(%rdi)
140072e3b:	4c 8b 7c 24 18       	mov    0x18(%rsp),%r15
140072e40:	4c 8b 74 24 20       	mov    0x20(%rsp),%r14
140072e45:	4c 8b 6c 24 28       	mov    0x28(%rsp),%r13
140072e4a:	4c 8b 64 24 30       	mov    0x30(%rsp),%r12
140072e4f:	48 8b 5c 24 38       	mov    0x38(%rsp),%rbx
140072e54:	48 8b 6c 24 40       	mov    0x40(%rsp),%rbp
140072e59:	48 8d 64 24 48       	lea    0x48(%rsp),%rsp
140072e5e:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
140072e63:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
140072e68:	f3 c3                	repz ret
140072e6a:	90                   	nop
140072e6b:	90                   	nop
140072e6c:	90                   	nop
140072e6d:	90                   	nop
140072e6e:	90                   	nop
140072e6f:	90                   	nop
140072e70:	90                   	nop
140072e71:	90                   	nop
140072e72:	90                   	nop
140072e73:	90                   	nop
140072e74:	90                   	nop
140072e75:	90                   	nop
140072e76:	90                   	nop