1400727b0:	49 01 c0             	add    %rax,%r8
1400727b3:	48 8b 46 20          	mov    0x20(%rsi),%rax
1400727b7:	49 11 d1             	adc    %rdx,%r9
1400727ba:	48 f7 e7             	mul    %rdi
1400727bd:	48 6b fd 13          	imul   $0x13,%rbp,%rdi
1400727c1:	49 01 c2             	add    %rax,%r10
1400727c4:	48 8b 46 08          	mov    0x8(%rsi),%rax
1400727c8:	49 11 d3             	adc    %rdx,%r11
1400727cb:	48 f7 e5             	mul    %rbp
1400727ce:	49 01 c4             	add    %rax,%r12
1400727d1:	48 8b 46 10          	mov    0x10(%rsi),%rax
1400727d5:	49 11 d5             	adc    %rdx,%r13
1400727d8:	48 f7 e5             	mul    %rbp
1400727db:	48 8b 6c 24 08       	mov    0x8(%rsp),%rbp
1400727e0:	49 01 c6             	add    %rax,%r14
1400727e3:	48 8b 46 18          	mov    0x18(%rsi),%rax
1400727e7:	49 11 d7             	adc    %rdx,%r15
1400727ea:	48 f7 e7             	mul    %rdi
1400727ed:	48 01 c3             	add    %rax,%rbx
1400727f0:	48 8b 46 20          	mov    0x20(%rsi),%rax
1400727f4:	48 11 d1             	adc    %rdx,%rcx
1400727f7:	48 f7 e7             	mul    %rdi
1400727fa:	49 01 c0             	add    %rax,%r8
1400727fd:	48 8b 46 08          	mov    0x8(%rsi),%rax
140072801:	49 11 d1             	adc    %rdx,%r9
140072804:	48 f7 e5             	mul    %rbp
140072807:	48 6b fd 13          	imul   $0x13,%rbp,%rdi
14007280b:	49 01 c2             	add    %rax,%r10
14007280e:	48 8b 46 10          	mov    0x10(%rsi),%rax
140072812:	49 11 d3             	adc    %rdx,%r11
140072815:	48 f7 e5             	mul    %rbp
140072818:	49 01 c4             	add    %rax,%r12
14007281b:	48 8b 46 18          	mov    0x18(%rsi),%rax
14007281f:	49 11 d5             	adc    %rdx,%r13
140072822:	48 f7 e5             	mul    %rbp
140072825:	48 8b 2c 24          	mov    (%rsp),%rbp
140072829:	49 01 c6             	add    %rax,%r14
14007282c:	48 8b 46 20          	mov    0x20(%rsi),%rax
140072830:	49 11 d7             	adc    %rdx,%r15
140072833:	48 f7 e7             	mul    %rdi
140072836:	48 01 c3             	add    %rax,%rbx
140072839:	48 8b 46 08          	mov    0x8(%rsi),%rax
14007283d:	48 11 d1             	adc    %rdx,%rcx
140072840:	48 f7 e5             	mul    %rbp
140072843:	49 01 c0             	add    %rax,%r8
140072846:	48 8b 46 10          	mov    0x10(%rsi),%rax
14007284a:	49 11 d1             	adc    %rdx,%r9
14007284d:	48 f7 e5             	mul    %rbp
140072850:	49 01 c2             	add    %rax,%r10
140072853:	48 8b 46 18          	mov    0x18(%rsi),%rax
140072857:	49 11 d3             	adc    %rdx,%r11
14007285a:	48 f7 e5             	mul    %rbp
14007285d:	49 01 c4             	add    %rax,%r12
140072860:	48 8b 46 20          	mov    0x20(%rsi),%rax
140072864:	49 11 d5             	adc    %rdx,%r13
140072867:	48 f7 e5             	mul    %rbp
14007286a:	49 01 c6             	add    %rax,%r14
14007286d:	49 11 d7             	adc    %rdx,%r15
140072870:	48 8b 7c 24 20       	mov    0x20(%rsp),%rdi
140072875:	e9 26 01 00 00       	jmp    0x1400729a0
14007287a:	90                   	nop
14007287b:	90                   	nop
14007287c:	90                   	nop
14007287d:	90                   	nop
14007287e:	90                   	nop
14007287f:	90                   	nop
140072880:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140072885:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14007288a:	48 89 e0             	mov    %rsp,%rax
14007288d:	48 89 cf             	mov    %rcx,%rdi
140072890:	48 89 d6             	mov    %rdx,%rsi
140072893:	55                   	push   %rbp
140072894:	53                   	push   %rbx
140072895:	41 54                	push   %r12
140072897:	41 55                	push   %r13
140072899:	41 56                	push   %r14
14007289b:	41 57                	push   %r15
14007289d:	48 8d 64 24 d8       	lea    -0x28(%rsp),%rsp
1400728a2:	48 8b 06             	mov    (%rsi),%rax
1400728a5:	4c 8b 7e 10          	mov    0x10(%rsi),%r15
1400728a9:	48 8b 6e 20          	mov    0x20(%rsi),%rbp
1400728ad:	48 89 7c 24 20       	mov    %rdi,0x20(%rsp)
1400728b2:	4c 8d 34 00          	lea    (%rax,%rax,1),%r14
1400728b6:	48 f7 e0             	mul    %rax
1400728b9:	48 89 c3             	mov    %rax,%rbx
1400728bc:	48 8b 46 08          	mov    0x8(%rsi),%rax
1400728c0:	48 89 d1             	mov    %rdx,%rcx
1400728c3:	49 f7 e6             	mul    %r14
1400728c6:	49 89 c0             	mov    %rax,%r8
1400728c9:	4c 89 f8             	mov    %r15,%rax
1400728cc:	4c 89 3c 24          	mov    %r15,(%rsp)
1400728d0:	49 89 d1             	mov    %rdx,%r9
1400728d3:	49 f7 e6             	mul    %r14
1400728d6:	49 89 c2             	mov    %rax,%r10
1400728d9:	48 8b 46 18          	mov    0x18(%rsi),%rax
1400728dd:	49 89 d3             	mov    %rdx,%r11
1400728e0:	48 6b fd 13          	imul   $0x13,%rbp,%rdi
1400728e4:	49 f7 e6             	mul    %r14
1400728e7:	49 89 c4             	mov    %rax,%r12
1400728ea:	48 89 e8             	mov    %rbp,%rax
1400728ed:	49 89 d5             	mov    %rdx,%r13
1400728f0:	49 f7 e6             	mul    %r14
1400728f3:	49 89 c6             	mov    %rax,%r14
1400728f6:	48 89 e8             	mov    %rbp,%rax
1400728f9:	49 89 d7             	mov    %rdx,%r15
1400728fc:	48 f7 e7             	mul    %rdi
1400728ff:	49 01 c4             	add    %rax,%r12
140072902:	48 8b 46 08          	mov    0x8(%rsi),%rax
140072906:	49 11 d5             	adc    %rdx,%r13
140072909:	48 8b 76 18          	mov    0x18(%rsi),%rsi
14007290d:	48 8d 2c 00          	lea    (%rax,%rax,1),%rbp
140072911:	48 f7 e0             	mul    %rax
140072914:	49 01 c2             	add    %rax,%r10
140072917:	48 8b 04 24          	mov    (%rsp),%rax
14007291b:	49 11 d3             	adc    %rdx,%r11
14007291e:	48 f7 e5             	mul    %rbp
140072921:	49 01 c4             	add    %rax,%r12
140072924:	48 89 e8             	mov    %rbp,%rax
140072927:	49 11 d5             	adc    %rdx,%r13
14007292a:	48 f7 e6             	mul    %rsi
14007292d:	49 01 c6             	add    %rax,%r14
140072930:	48 89 e8             	mov    %rbp,%rax
140072933:	49 11 d7             	adc    %rdx,%r15
140072936:	48 6b ee 13          	imul   $0x13,%rsi,%rbp
14007293a:	48 f7 e7             	mul    %rdi
14007293d:	48 01 c3             	add    %rax,%rbx
140072940:	48 8d 04 36          	lea    (%rsi,%rsi,1),%rax
140072944:	48 11 d1             	adc    %rdx,%rcx
140072947:	48 f7 e7             	mul    %rdi
14007294a:	49 01 c2             	add    %rax,%r10
14007294d:	48 89 f0             	mov    %rsi,%rax
140072950:	49 11 d3             	adc    %rdx,%r11
140072953:	48 f7 e5             	mul    %rbp
140072956:	49 01 c0             	add    %rax,%r8
140072959:	48 8b 04 24          	mov    (%rsp),%rax
14007295d:	49 11 d1             	adc    %rdx,%r9
140072960:	48 8d 34 00          	lea    (%rax,%rax,1),%rsi
140072964:	48 f7 e0             	mul    %rax
140072967:	49 01 c6             	add    %rax,%r14
14007296a:	48 89 e8             	mov    %rbp,%rax
14007296d:	49 11 d7             	adc    %rdx,%r15
140072970:	48 f7 e6             	mul    %rsi
140072973:	48 01 c3             	add    %rax,%rbx
140072976:	48 89 f0             	mov    %rsi,%rax
140072979:	48 11 d1             	adc    %rdx,%rcx
14007297c:	48 f7 e7             	mul    %rdi
14007297f:	49 01 c0             	add    %rax,%r8
140072982:	49 11 d1             	adc    %rdx,%r9
140072985:	48 8b 7c 24 20       	mov    0x20(%rsp),%rdi
14007298a:	eb 14                	jmp    0x1400729a0
14007298c:	90                   	nop
14007298d:	90                   	nop
14007298e:	90                   	nop
14007298f:	90                   	nop
140072990:	90                   	nop
140072991:	90                   	nop
140072992:	90                   	nop
140072993:	90                   	nop
140072994:	90                   	nop
140072995:	90                   	nop
140072996:	90                   	nop
140072997:	90                   	nop
140072998:	90                   	nop
140072999:	90                   	nop
14007299a:	90                   	nop
14007299b:	90                   	nop
14007299c:	90                   	nop
14007299d:	90                   	nop
14007299e:	90                   	nop
14007299f:	90                   	nop
1400729a0:	48 bd ff ff ff ff ff 	movabs $0x7ffffffffffff,%rbp
1400729a7:	ff 07 00
1400729aa:	4c 89 d2             	mov    %r10,%rdx
1400729ad:	49 c1 ea 33          	shr    $0x33,%r10
1400729b1:	49 c1 e3 0d          	shl    $0xd,%r11
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