140071e2e:	90                   	nop
140071e2f:	90                   	nop
140071e30:	90                   	nop
140071e31:	90                   	nop
140071e32:	90                   	nop
140071e33:	90                   	nop
140071e34:	90                   	nop
140071e35:	90                   	nop
140071e36:	90                   	nop
140071e37:	90                   	nop
140071e38:	90                   	nop
140071e39:	90                   	nop
140071e3a:	90                   	nop
140071e3b:	90                   	nop
140071e3c:	90                   	nop
140071e3d:	90                   	nop
140071e3e:	90                   	nop
140071e3f:	90                   	nop
140071e40:	4c 89 c3             	mov    %r8,%rbx
140071e43:	c4 62 fb f6 45 00    	mulx   0x0(%rbp),%rax,%r8
140071e49:	66 48 0f 38 f6 c3    	adcx   %rbx,%rax
140071e4f:	f3 4d 0f 38 f6 c1    	adox   %r9,%r8
140071e55:	c4 62 fb f6 4d 08    	mulx   0x8(%rbp),%rax,%r9
140071e5b:	66 4c 0f 38 f6 c0    	adcx   %rax,%r8
140071e61:	f3 4d 0f 38 f6 ca    	adox   %r10,%r9
140071e67:	c4 62 e3 f6 55 10    	mulx   0x10(%rbp),%rbx,%r10
140071e6d:	66 4c 0f 38 f6 cb    	adcx   %rbx,%r9
140071e73:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
140071e79:	c4 62 e3 f6 5d 18    	mulx   0x18(%rbp),%rbx,%r11
140071e7f:	66 4c 0f 38 f6 d3    	adcx   %rbx,%r10
140071e85:	f3 4d 0f 38 f6 dc    	adox   %r12,%r11
140071e8b:	c4 62 e3 f6 a5 20 00 	mulx   0x20(%rbp),%rbx,%r12
140071e92:	00 00
140071e94:	48 89 d0             	mov    %rdx,%rax
140071e97:	4c 89 c2             	mov    %r8,%rdx
140071e9a:	66 4c 0f 38 f6 db    	adcx   %rbx,%r11
140071ea0:	f3 4d 0f 38 f6 e5    	adox   %r13,%r12
140071ea6:	c4 e2 e3 f6 94 24 88 	mulx   0x88(%rsp),%rbx,%rdx
140071ead:	00 00 00
140071eb0:	48 89 c2             	mov    %rax,%rdx
140071eb3:	c4 62 fb f6 6d 28    	mulx   0x28(%rbp),%rax,%r13
140071eb9:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
140071ebf:	f3 4d 0f 38 f6 ee    	adox   %r14,%r13
140071ec5:	c4 62 fb f6 b5 30 00 	mulx   0x30(%rbp),%rax,%r14
140071ecc:	00 00
140071ece:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
140071ed4:	f3 4d 0f 38 f6 f7    	adox   %r15,%r14
140071eda:	c4 62 fb f6 7d 38    	mulx   0x38(%rbp),%rax,%r15
140071ee0:	48 89 da             	mov    %rbx,%rdx
140071ee3:	66 4c 0f 38 f6 f0    	adcx   %rax,%r14
140071ee9:	f3 4c 0f 38 f6 fe    	adox   %rsi,%r15
140071eef:	66 4c 0f 38 f6 fe    	adcx   %rsi,%r15
140071ef5:	ff c9                	dec    %ecx
140071ef7:	0f 85 43 ff ff ff    	jne    0x140071e40
140071efd:	f3 c3                	repz ret
140071eff:	90                   	nop
140071f00:	4c 89 07             	mov    %r8,(%rdi)
140071f03:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
140071f07:	4c 89 57 10          	mov    %r10,0x10(%rdi)
140071f0b:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
140071f0f:	4c 89 67 20          	mov    %r12,0x20(%rdi)
140071f13:	4c 89 6f 28          	mov    %r13,0x28(%rdi)
140071f17:	4c 89 77 30          	mov    %r14,0x30(%rdi)
140071f1b:	4c 89 7f 38          	mov    %r15,0x38(%rdi)
140071f1f:	4c 8b 45 00          	mov    0x0(%rbp),%r8
140071f23:	4c 8b 4d 08          	mov    0x8(%rbp),%r9
140071f27:	49 f7 d8             	neg    %r8
140071f2a:	49 f7 d1             	not    %r9
140071f2d:	49 21 c8             	and    %rcx,%r8
140071f30:	4c 8b 55 10          	mov    0x10(%rbp),%r10
140071f34:	49 21 c9             	and    %rcx,%r9
140071f37:	49 f7 d2             	not    %r10
140071f3a:	4c 8b 5d 18          	mov    0x18(%rbp),%r11
140071f3e:	49 21 ca             	and    %rcx,%r10
140071f41:	49 f7 d3             	not    %r11
140071f44:	4c 8b 65 20          	mov    0x20(%rbp),%r12
140071f48:	49 21 cb             	and    %rcx,%r11
140071f4b:	49 f7 d4             	not    %r12
140071f4e:	4c 8b 6d 28          	mov    0x28(%rbp),%r13
140071f52:	49 21 cc             	and    %rcx,%r12
140071f55:	49 f7 d5             	not    %r13
140071f58:	4c 8b 75 30          	mov    0x30(%rbp),%r14
140071f5c:	49 21 cd             	and    %rcx,%r13
140071f5f:	49 f7 d6             	not    %r14
140071f62:	4c 8b 7d 38          	mov    0x38(%rbp),%r15
140071f66:	49 21 ce             	and    %rcx,%r14
140071f69:	49 f7 d7             	not    %r15
140071f6c:	49 21 cf             	and    %rcx,%r15
140071f6f:	4c 03 07             	add    (%rdi),%r8
140071f72:	4c 13 4f 08          	adc    0x8(%rdi),%r9
140071f76:	4c 13 57 10          	adc    0x10(%rdi),%r10
140071f7a:	4c 13 5f 18          	adc    0x18(%rdi),%r11
140071f7e:	4c 13 67 20          	adc    0x20(%rdi),%r12
140071f82:	4c 13 6f 28          	adc    0x28(%rdi),%r13
140071f86:	4c 13 77 30          	adc    0x30(%rdi),%r14
140071f8a:	4c 13 7f 38          	adc    0x38(%rdi),%r15
140071f8e:	4c 89 07             	mov    %r8,(%rdi)
140071f91:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
140071f95:	4c 89 57 10          	mov    %r10,0x10(%rdi)
140071f99:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
140071f9d:	4c 89 67 20          	mov    %r12,0x20(%rdi)
140071fa1:	4c 89 6f 28          	mov    %r13,0x28(%rdi)
140071fa5:	4c 89 77 30          	mov    %r14,0x30(%rdi)
140071fa9:	4c 89 7f 38          	mov    %r15,0x38(%rdi)
140071fad:	f3 c3                	repz ret
140071faf:	90                   	nop
140071fb0:	90                   	nop
140071fb1:	90                   	nop
140071fb2:	90                   	nop
140071fb3:	90                   	nop
140071fb4:	90                   	nop
140071fb5:	90                   	nop
140071fb6:	90                   	nop
140071fb7:	90                   	nop
140071fb8:	90                   	nop
140071fb9:	90                   	nop
140071fba:	90                   	nop
140071fbb:	90                   	nop
140071fbc:	90                   	nop
140071fbd:	90                   	nop
140071fbe:	90                   	nop
140071fbf:	90                   	nop
140071fc0:	48 8d 7c 24 08       	lea    0x8(%rsp),%rdi
140071fc5:	48 8b 06             	mov    (%rsi),%rax
140071fc8:	48 f7 e3             	mul    %rbx
140071fcb:	48 89 07             	mov    %rax,(%rdi)
140071fce:	48 8b 46 08          	mov    0x8(%rsi),%rax
140071fd2:	49 89 d0             	mov    %rdx,%r8
140071fd5:	48 f7 e3             	mul    %rbx
140071fd8:	49 01 c0             	add    %rax,%r8
140071fdb:	48 8b 46 10          	mov    0x10(%rsi),%rax
140071fdf:	49 89 d1             	mov    %rdx,%r9
140071fe2:	49 83 d1 00          	adc    $0x0,%r9
140071fe6:	48 f7 e3             	mul    %rbx
140071fe9:	49 01 c1             	add    %rax,%r9
140071fec:	48 8b 46 18          	mov    0x18(%rsi),%rax
140071ff0:	49 89 d2             	mov    %rdx,%r10
140071ff3:	49 83 d2 00          	adc    $0x0,%r10
140071ff7:	48 f7 e3             	mul    %rbx
140071ffa:	49 01 c2             	add    %rax,%r10
140071ffd:	48 8b 46 20          	mov    0x20(%rsi),%rax
140072001:	49 89 d3             	mov    %rdx,%r11
140072004:	49 83 d3 00          	adc    $0x0,%r11
140072008:	48 f7 e3             	mul    %rbx
14007200b:	49 01 c3             	add    %rax,%r11
14007200e:	48 8b 46 28          	mov    0x28(%rsi),%rax
140072012:	49 89 d4             	mov    %rdx,%r12
140072015:	49 83 d4 00          	adc    $0x0,%r12
140072019:	48 f7 e3             	mul    %rbx
14007201c:	49 01 c4             	add    %rax,%r12
14007201f:	48 8b 46 30          	mov    0x30(%rsi),%rax
140072023:	49 89 d5             	mov    %rdx,%r13
140072026:	49 83 d5 00          	adc    $0x0,%r13
14007202a:	48 f7 e3             	mul    %rbx
14007202d:	49 01 c5             	add    %rax,%r13
140072030:	48 8b 46 38          	mov    0x38(%rsi),%rax
140072034:	49 89 d6             	mov    %rdx,%r14
140072037:	49 83 d6 00          	adc    $0x0,%r14
14007203b:	48 f7 e3             	mul    %rbx
14007203e:	49 01 c6             	add    %rax,%r14
140072041:	48 8b 06             	mov    (%rsi),%rax
140072044:	49 89 d7             	mov    %rdx,%r15
140072047:	49 83 d7 00          	adc    $0x0,%r15
14007204b:	48 8d 6d 08          	lea    0x8(%rbp),%rbp
14007204f:	48 8d 7f 08          	lea    0x8(%rdi),%rdi
140072053:	b9 07 00 00 00       	mov    $0x7,%ecx
140072058:	eb 06                	jmp    0x140072060
14007205a:	90                   	nop
14007205b:	90                   	nop
14007205c:	90                   	nop
14007205d:	90                   	nop
14007205e:	90                   	nop
14007205f:	90                   	nop
140072060:	48 8b 5d 00          	mov    0x0(%rbp),%rbx
140072064:	48 f7 e3             	mul    %rbx
140072067:	49 01 c0             	add    %rax,%r8
14007206a:	48 8b 46 08          	mov    0x8(%rsi),%rax
14007206e:	4c 89 07             	mov    %r8,(%rdi)
140072071:	49 89 d0             	mov    %rdx,%r8
140072074:	49 83 d0 00          	adc    $0x0,%r8
140072078:	48 f7 e3             	mul    %rbx
14007207b:	49 01 c1             	add    %rax,%r9
14007207e:	48 8b 46 10          	mov    0x10(%rsi),%rax
140072082:	48 83 d2 00          	adc    $0x0,%rdx
140072086:	4d 01 c8             	add    %r9,%r8
140072089:	49 89 d1             	mov    %rdx,%r9
14007208c:	49 83 d1 00          	adc    $0x0,%r9
140072090:	48 f7 e3             	mul    %rbx
140072093:	49 01 c2             	add    %rax,%r10
140072096:	48 8b 46 18          	mov    0x18(%rsi),%rax
14007209a:	48 83 d2 00          	adc    $0x0,%rdx
14007209e:	4d 01 d1             	add    %r10,%r9
1400720a1:	49 89 d2             	mov    %rdx,%r10
1400720a4:	49 83 d2 00          	adc    $0x0,%r10
1400720a8:	48 f7 e3             	mul    %rbx
1400720ab:	49 01 c3             	add    %rax,%r11
1400720ae:	48 8b 46 20          	mov    0x20(%rsi),%rax
1400720b2:	48 83 d2 00          	adc    $0x0,%rdx
1400720b6:	4d 01 da             	add    %r11,%r10
1400720b9:	49 89 d3             	mov    %rdx,%r11
1400720bc:	49 83 d3 00          	adc    $0x0,%r11
1400720c0:	48 f7 e3             	mul    %rbx
1400720c3:	49 01 c4             	add    %rax,%r12
1400720c6:	48 8b 46 28          	mov    0x28(%rsi),%rax
1400720ca:	48 83 d2 00          	adc    $0x0,%rdx
1400720ce:	4d 01 e3             	add    %r12,%r11
1400720d1:	49 89 d4             	mov    %rdx,%r12
1400720d4:	49 83 d4 00          	adc    $0x0,%r12
1400720d8:	48 f7 e3             	mul    %rbx
1400720db:	49 01 c5             	add    %rax,%r13
1400720de:	48 8b 46 30          	mov    0x30(%rsi),%rax
1400720e2:	48 83 d2 00          	adc    $0x0,%rdx
1400720e6:	4d 01 ec             	add    %r13,%r12
1400720e9:	49 89 d5             	mov    %rdx,%r13
1400720ec:	49 83 d5 00          	adc    $0x0,%r13
1400720f0:	48 f7 e3             	mul    %rbx
1400720f3:	49 01 c6             	add    %rax,%r14
1400720f6:	48 8b 46 38          	mov    0x38(%rsi),%rax
1400720fa:	48 83 d2 00          	adc    $0x0,%rdx
1400720fe:	4d 01 f5             	add    %r14,%r13
140072101:	49 89 d6             	mov    %rdx,%r14
140072104:	48 8d 6d 08          	lea    0x8(%rbp),%rbp
140072108:	49 83 d6 00          	adc    $0x0,%r14
14007210c:	48 f7 e3             	mul    %rbx
14007210f:	49 01 c7             	add    %rax,%r15
140072112:	48 8b 06             	mov    (%rsi),%rax
140072115:	48 83 d2 00          	adc    $0x0,%rdx
140072119:	4d 01 fe             	add    %r15,%r14
14007211c:	49 89 d7             	mov    %rdx,%r15
14007211f:	49 83 d7 00          	adc    $0x0,%r15
140072123:	48 8d 7f 08          	lea    0x8(%rdi),%rdi
140072127:	ff c9                	dec    %ecx
140072129:	0f 85 31 ff ff ff    	jne    0x140072060
14007212f:	4c 89 07             	mov    %r8,(%rdi)
140072132:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
140072136:	4c 89 57 10          	mov    %r10,0x10(%rdi)
14007213a:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
14007213e:	4c 89 67 20          	mov    %r12,0x20(%rdi)
140072142:	4c 89 6f 28          	mov    %r13,0x28(%rdi)
140072146:	4c 89 77 30          	mov    %r14,0x30(%rdi)
14007214a:	4c 89 7f 38          	mov    %r15,0x38(%rdi)
14007214e:	f3 c3                	repz ret
140072150:	90                   	nop
140072151:	90                   	nop
140072152:	90                   	nop
140072153:	90                   	nop
140072154:	90                   	nop
140072155:	90                   	nop
140072156:	90                   	nop
140072157:	90                   	nop
140072158:	90                   	nop
140072159:	90                   	nop
14007215a:	90                   	nop
14007215b:	90                   	nop
14007215c:	90                   	nop
14007215d:	90                   	nop
14007215e:	90                   	nop
14007215f:	90                   	nop
140072160:	c4 62 e3 f6 06       	mulx   (%rsi),%rbx,%r8
140072165:	48 c7 c1 fa ff ff ff 	mov    $0xfffffffffffffffa,%rcx
14007216c:	c4 62 fb f6 4e 08    	mulx   0x8(%rsi),%rax,%r9
140072172:	48 89 5c 24 08       	mov    %rbx,0x8(%rsp)
140072177:	c4 62 e3 f6 56 10    	mulx   0x10(%rsi),%rbx,%r10
14007217d:	49 11 c0             	adc    %rax,%r8
140072180:	c4 62 fb f6 5e 18    	mulx   0x18(%rsi),%rax,%r11
140072186:	49 11 d9             	adc    %rbx,%r9
140072189:	c4 62 e3 f6 66 20    	mulx   0x20(%rsi),%rbx,%r12
14007218f:	49 11 c2             	adc    %rax,%r10
140072192:	c4 62 fb f6 6e 28    	mulx   0x28(%rsi),%rax,%r13
140072198:	49 11 db             	adc    %rbx,%r11
14007219b:	c4 62 e3 f6 76 30    	mulx   0x30(%rsi),%rbx,%r14
1400721a1:	49 11 c4             	adc    %rax,%r12
1400721a4:	c4 62 fb f6 7e 38    	mulx   0x38(%rsi),%rax,%r15
1400721aa:	48 8b 55 08          	mov    0x8(%rbp),%rdx
1400721ae:	49 11 dd             	adc    %rbx,%r13
1400721b1:	49 11 c6             	adc    %rax,%r14
1400721b4:	49 83 d7 00          	adc    $0x0,%r15
1400721b8:	48 31 ff             	xor    %rdi,%rdi
1400721bb:	eb 03                	jmp    0x1400721c0
1400721bd:	90                   	nop
1400721be:	90                   	nop
1400721bf:	90                   	nop
1400721c0:	4c 89 c3             	mov    %r8,%rbx
1400721c3:	c4 62 fb f6 06       	mulx   (%rsi),%rax,%r8
1400721c8:	66 48 0f 38 f6 d8    	adcx   %rax,%rbx
1400721ce:	f3 4d 0f 38 f6 c1    	adox   %r9,%r8
1400721d4:	c4 62 fb f6 4e 08    	mulx   0x8(%rsi),%rax,%r9
1400721da:	66 4c 0f 38 f6 c0    	adcx   %rax,%r8
1400721e0:	f3 4d 0f 38 f6 ca    	adox   %r10,%r9
1400721e6:	c4 62 fb f6 56 10    	mulx   0x10(%rsi),%rax,%r10
1400721ec:	66 4c 0f 38 f6 c8    	adcx   %rax,%r9
1400721f2:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
1400721f8:	c4 62 fb f6 5e 18    	mulx   0x18(%rsi),%rax,%r11
1400721fe:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
140072204:	f3 4d 0f 38 f6 dc    	adox   %r12,%r11
14007220a:	3e c4 62 fb f6 a6 20 	ds mulx 0x20(%rsi),%rax,%r12
140072211:	00 00 00
140072214:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
14007221a:	f3 4d 0f 38 f6 e5    	adox   %r13,%r12
140072220:	c4 62 fb f6 6e 28    	mulx   0x28(%rsi),%rax,%r13
140072226:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
14007222c:	f3 4d 0f 38 f6 ee    	adox   %r14,%r13
140072232:	c4 62 fb f6 76 30    	mulx   0x30(%rsi),%rax,%r14
140072238:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
14007223e:	f3 4d 0f 38 f6 f7    	adox   %r15,%r14
140072244:	c4 62 fb f6 7e 38    	mulx   0x38(%rsi),%rax,%r15
14007224a:	48 8b 54 cd 40       	mov    0x40(%rbp,%rcx,8),%rdx
14007224f:	48 89 5c cc 40       	mov    %rbx,0x40(%rsp,%rcx,8)
140072254:	66 4c 0f 38 f6 f0    	adcx   %rax,%r14
14007225a:	f3 4c 0f 38 f6 ff    	adox   %rdi,%r15
140072260:	66 4c 0f 38 f6 ff    	adcx   %rdi,%r15
140072266:	48 ff c1             	inc    %rcx
140072269:	0f 85 51 ff ff ff    	jne    0x1400721c0
14007226f:	4c 89 c3             	mov    %r8,%rbx
140072272:	c4 62 fb f6 06       	mulx   (%rsi),%rax,%r8
140072277:	66 48 0f 38 f6 d8    	adcx   %rax,%rbx
14007227d:	f3 4d 0f 38 f6 c1    	adox   %r9,%r8
140072283:	c4 62 fb f6 8e 08 00 	mulx   0x8(%rsi),%rax,%r9
14007228a:	00 00
14007228c:	66 4c 0f 38 f6 c0    	adcx   %rax,%r8
140072292:	f3 4d 0f 38 f6 ca    	adox   %r10,%r9
140072298:	c4 62 fb f6 96 10 00 	mulx   0x10(%rsi),%rax,%r10
14007229f:	00 00
1400722a1:	66 4c 0f 38 f6 c8    	adcx   %rax,%r9
1400722a7:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
1400722ad:	c4 62 fb f6 5e 18    	mulx   0x18(%rsi),%rax,%r11
1400722b3:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
1400722b9:	f3 4d 0f 38 f6 dc    	adox   %r12,%r11
1400722bf:	c4 62 fb f6 66 20    	mulx   0x20(%rsi),%rax,%r12
1400722c5:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
1400722cb:	f3 4d 0f 38 f6 e5    	adox   %r13,%r12
1400722d1:	c4 62 fb f6 6e 28    	mulx   0x28(%rsi),%rax,%r13
1400722d7:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
1400722dd:	f3 4d 0f 38 f6 ee    	adox   %r14,%r13
1400722e3:	c4 62 fb f6 b6 30 00 	mulx   0x30(%rsi),%rax,%r14
1400722ea:	00 00
1400722ec:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
1400722f2:	f3 4d 0f 38 f6 f7    	adox   %r15,%r14
1400722f8:	c4 62 fb f6 be 38 00 	mulx   0x38(%rsi),%rax,%r15
1400722ff:	00 00
140072301:	66 4c 0f 38 f6 f0    	adcx   %rax,%r14
140072307:	f3 4c 0f 38 f6 ff    	adox   %rdi,%r15
14007230d:	66 4c 0f 38 f6 ff    	adcx   %rdi,%r15
140072313:	48 89 5c 24 40       	mov    %rbx,0x40(%rsp)
140072318:	4c 89 44 24 48       	mov    %r8,0x48(%rsp)
14007231d:	4c 89 4c 24 50       	mov    %r9,0x50(%rsp)
140072322:	4c 89 54 24 58       	mov    %r10,0x58(%rsp)
140072327:	4c 89 5c 24 60       	mov    %r11,0x60(%rsp)
14007232c:	4c 89 64 24 68       	mov    %r12,0x68(%rsp)
140072331:	4c 89 6c 24 70       	mov    %r13,0x70(%rsp)