140071f5c:	90                   	nop
140071f5d:	90                   	nop
140071f5e:	90                   	nop
140071f5f:	90                   	nop
140071f60:	4c 89 c3             	mov    %r8,%rbx
140071f63:	48 0f af 9c 24 88 00 	imul   0x88(%rsp),%rbx
140071f6a:	00 00
140071f6c:	48 8b 45 00          	mov    0x0(%rbp),%rax
140071f70:	b9 08 00 00 00       	mov    $0x8,%ecx
140071f75:	eb 09                	jmp    0x140071f80
140071f77:	90                   	nop
140071f78:	90                   	nop
140071f79:	90                   	nop
140071f7a:	90                   	nop
140071f7b:	90                   	nop
140071f7c:	90                   	nop
140071f7d:	90                   	nop
140071f7e:	90                   	nop
140071f7f:	90                   	nop
140071f80:	48 f7 e3             	mul    %rbx
140071f83:	48 8b 45 08          	mov    0x8(%rbp),%rax
140071f87:	49 f7 d8             	neg    %r8
140071f8a:	49 89 d0             	mov    %rdx,%r8
140071f8d:	49 83 d0 00          	adc    $0x0,%r8
140071f91:	48 f7 e3             	mul    %rbx
140071f94:	49 01 c1             	add    %rax,%r9
140071f97:	48 8b 45 10          	mov    0x10(%rbp),%rax
140071f9b:	48 83 d2 00          	adc    $0x0,%rdx
140071f9f:	4d 01 c8             	add    %r9,%r8
140071fa2:	49 89 d1             	mov    %rdx,%r9
140071fa5:	49 83 d1 00          	adc    $0x0,%r9
140071fa9:	48 f7 e3             	mul    %rbx
140071fac:	49 01 c2             	add    %rax,%r10
140071faf:	48 8b 45 18          	mov    0x18(%rbp),%rax
140071fb3:	48 83 d2 00          	adc    $0x0,%rdx
140071fb7:	4d 01 d1             	add    %r10,%r9
140071fba:	49 89 d2             	mov    %rdx,%r10
140071fbd:	49 83 d2 00          	adc    $0x0,%r10
140071fc1:	48 f7 e3             	mul    %rbx
140071fc4:	49 01 c3             	add    %rax,%r11
140071fc7:	48 8b 45 20          	mov    0x20(%rbp),%rax
140071fcb:	48 83 d2 00          	adc    $0x0,%rdx
140071fcf:	4d 01 da             	add    %r11,%r10
140071fd2:	48 8b b4 24 88 00 00 	mov    0x88(%rsp),%rsi
140071fd9:	00
140071fda:	48 83 d2 00          	adc    $0x0,%rdx
140071fde:	49 89 d3             	mov    %rdx,%r11
140071fe1:	48 f7 e3             	mul    %rbx
140071fe4:	49 01 c4             	add    %rax,%r12
140071fe7:	48 8b 45 28          	mov    0x28(%rbp),%rax
140071feb:	48 83 d2 00          	adc    $0x0,%rdx
140071fef:	49 0f af f0          	imul   %r8,%rsi
140071ff3:	4d 01 e3             	add    %r12,%r11
140071ff6:	49 89 d4             	mov    %rdx,%r12
140071ff9:	49 83 d4 00          	adc    $0x0,%r12
140071ffd:	48 f7 e3             	mul    %rbx
140072000:	49 01 c5             	add    %rax,%r13
140072003:	48 8b 45 30          	mov    0x30(%rbp),%rax
140072007:	48 83 d2 00          	adc    $0x0,%rdx
14007200b:	4d 01 ec             	add    %r13,%r12
14007200e:	49 89 d5             	mov    %rdx,%r13
140072011:	49 83 d5 00          	adc    $0x0,%r13
140072015:	48 f7 e3             	mul    %rbx
140072018:	49 01 c6             	add    %rax,%r14
14007201b:	48 8b 45 38          	mov    0x38(%rbp),%rax
14007201f:	48 83 d2 00          	adc    $0x0,%rdx
140072023:	4d 01 f5             	add    %r14,%r13
140072026:	49 89 d6             	mov    %rdx,%r14
140072029:	49 83 d6 00          	adc    $0x0,%r14
14007202d:	48 f7 e3             	mul    %rbx
140072030:	48 89 f3             	mov    %rsi,%rbx
140072033:	49 01 c7             	add    %rax,%r15
140072036:	48 8b 45 00          	mov    0x0(%rbp),%rax
14007203a:	48 83 d2 00          	adc    $0x0,%rdx
14007203e:	4d 01 fe             	add    %r15,%r14
140072041:	49 89 d7             	mov    %rdx,%r15
140072044:	49 83 d7 00          	adc    $0x0,%r15
140072048:	ff c9                	dec    %ecx
14007204a:	0f 85 30 ff ff ff    	jne    0x140071f80
140072050:	f3 c3                	repz ret
140072052:	90                   	nop
140072053:	90                   	nop
140072054:	90                   	nop
140072055:	90                   	nop
140072056:	90                   	nop
140072057:	90                   	nop
140072058:	90                   	nop
140072059:	90                   	nop
14007205a:	90                   	nop
14007205b:	90                   	nop
14007205c:	90                   	nop
14007205d:	90                   	nop
14007205e:	90                   	nop
14007205f:	90                   	nop
140072060:	49 0f af d0          	imul   %r8,%rdx
140072064:	48 31 f6             	xor    %rsi,%rsi
140072067:	b9 08 00 00 00       	mov    $0x8,%ecx
14007206c:	eb 12                	jmp    0x140072080
14007206e:	90                   	nop
14007206f:	90                   	nop
140072070:	90                   	nop
140072071:	90                   	nop
140072072:	90                   	nop
140072073:	90                   	nop
140072074:	90                   	nop
140072075:	90                   	nop
140072076:	90                   	nop
140072077:	90                   	nop
140072078:	90                   	nop
140072079:	90                   	nop
14007207a:	90                   	nop
14007207b:	90                   	nop
14007207c:	90                   	nop
14007207d:	90                   	nop
14007207e:	90                   	nop
14007207f:	90                   	nop
140072080:	4c 89 c3             	mov    %r8,%rbx
140072083:	c4 62 fb f6 45 00    	mulx   0x0(%rbp),%rax,%r8
140072089:	66 48 0f 38 f6 c3    	adcx   %rbx,%rax
14007208f:	f3 4d 0f 38 f6 c1    	adox   %r9,%r8
140072095:	c4 62 fb f6 4d 08    	mulx   0x8(%rbp),%rax,%r9
14007209b:	66 4c 0f 38 f6 c0    	adcx   %rax,%r8
1400720a1:	f3 4d 0f 38 f6 ca    	adox   %r10,%r9
1400720a7:	c4 62 e3 f6 55 10    	mulx   0x10(%rbp),%rbx,%r10
1400720ad:	66 4c 0f 38 f6 cb    	adcx   %rbx,%r9
1400720b3:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
1400720b9:	c4 62 e3 f6 5d 18    	mulx   0x18(%rbp),%rbx,%r11
1400720bf:	66 4c 0f 38 f6 d3    	adcx   %rbx,%r10
1400720c5:	f3 4d 0f 38 f6 dc    	adox   %r12,%r11
1400720cb:	c4 62 e3 f6 a5 20 00 	mulx   0x20(%rbp),%rbx,%r12
1400720d2:	00 00
1400720d4:	48 89 d0             	mov    %rdx,%rax
1400720d7:	4c 89 c2             	mov    %r8,%rdx
1400720da:	66 4c 0f 38 f6 db    	adcx   %rbx,%r11
1400720e0:	f3 4d 0f 38 f6 e5    	adox   %r13,%r12
1400720e6:	c4 e2 e3 f6 94 24 88 	mulx   0x88(%rsp),%rbx,%rdx
1400720ed:	00 00 00
1400720f0:	48 89 c2             	mov    %rax,%rdx
1400720f3:	c4 62 fb f6 6d 28    	mulx   0x28(%rbp),%rax,%r13
1400720f9:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
1400720ff:	f3 4d 0f 38 f6 ee    	adox   %r14,%r13
140072105:	c4 62 fb f6 b5 30 00 	mulx   0x30(%rbp),%rax,%r14
14007210c:	00 00
14007210e:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
140072114:	f3 4d 0f 38 f6 f7    	adox   %r15,%r14
14007211a:	c4 62 fb f6 7d 38    	mulx   0x38(%rbp),%rax,%r15
140072120:	48 89 da             	mov    %rbx,%rdx
140072123:	66 4c 0f 38 f6 f0    	adcx   %rax,%r14
140072129:	f3 4c 0f 38 f6 fe    	adox   %rsi,%r15
14007212f:	66 4c 0f 38 f6 fe    	adcx   %rsi,%r15
140072135:	ff c9                	dec    %ecx
140072137:	0f 85 43 ff ff ff    	jne    0x140072080
14007213d:	f3 c3                	repz ret
14007213f:	90                   	nop
140072140:	4c 89 07             	mov    %r8,(%rdi)
140072143:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
140072147:	4c 89 57 10          	mov    %r10,0x10(%rdi)
14007214b:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
14007214f:	4c 89 67 20          	mov    %r12,0x20(%rdi)
140072153:	4c 89 6f 28          	mov    %r13,0x28(%rdi)
140072157:	4c 89 77 30          	mov    %r14,0x30(%rdi)
14007215b:	4c 89 7f 38          	mov    %r15,0x38(%rdi)
14007215f:	4c 8b 45 00          	mov    0x0(%rbp),%r8
140072163:	4c 8b 4d 08          	mov    0x8(%rbp),%r9
140072167:	49 f7 d8             	neg    %r8
14007216a:	49 f7 d1             	not    %r9
14007216d:	49 21 c8             	and    %rcx,%r8
140072170:	4c 8b 55 10          	mov    0x10(%rbp),%r10
140072174:	49 21 c9             	and    %rcx,%r9
140072177:	49 f7 d2             	not    %r10
14007217a:	4c 8b 5d 18          	mov    0x18(%rbp),%r11
14007217e:	49 21 ca             	and    %rcx,%r10
140072181:	49 f7 d3             	not    %r11
140072184:	4c 8b 65 20          	mov    0x20(%rbp),%r12
140072188:	49 21 cb             	and    %rcx,%r11
14007218b:	49 f7 d4             	not    %r12
14007218e:	4c 8b 6d 28          	mov    0x28(%rbp),%r13
140072192:	49 21 cc             	and    %rcx,%r12
140072195:	49 f7 d5             	not    %r13
140072198:	4c 8b 75 30          	mov    0x30(%rbp),%r14
14007219c:	49 21 cd             	and    %rcx,%r13
14007219f:	49 f7 d6             	not    %r14
1400721a2:	4c 8b 7d 38          	mov    0x38(%rbp),%r15
1400721a6:	49 21 ce             	and    %rcx,%r14
1400721a9:	49 f7 d7             	not    %r15
1400721ac:	49 21 cf             	and    %rcx,%r15
1400721af:	4c 03 07             	add    (%rdi),%r8
1400721b2:	4c 13 4f 08          	adc    0x8(%rdi),%r9
1400721b6:	4c 13 57 10          	adc    0x10(%rdi),%r10
1400721ba:	4c 13 5f 18          	adc    0x18(%rdi),%r11
1400721be:	4c 13 67 20          	adc    0x20(%rdi),%r12
1400721c2:	4c 13 6f 28          	adc    0x28(%rdi),%r13
1400721c6:	4c 13 77 30          	adc    0x30(%rdi),%r14
1400721ca:	4c 13 7f 38          	adc    0x38(%rdi),%r15
1400721ce:	4c 89 07             	mov    %r8,(%rdi)
1400721d1:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
1400721d5:	4c 89 57 10          	mov    %r10,0x10(%rdi)
1400721d9:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
1400721dd:	4c 89 67 20          	mov    %r12,0x20(%rdi)
1400721e1:	4c 89 6f 28          	mov    %r13,0x28(%rdi)
1400721e5:	4c 89 77 30          	mov    %r14,0x30(%rdi)
1400721e9:	4c 89 7f 38          	mov    %r15,0x38(%rdi)
1400721ed:	f3 c3                	repz ret
1400721ef:	90                   	nop
1400721f0:	90                   	nop
1400721f1:	90                   	nop
1400721f2:	90                   	nop
1400721f3:	90                   	nop
1400721f4:	90                   	nop
1400721f5:	90                   	nop
1400721f6:	90                   	nop
1400721f7:	90                   	nop
1400721f8:	90                   	nop
1400721f9:	90                   	nop
1400721fa:	90                   	nop
1400721fb:	90                   	nop
1400721fc:	90                   	nop
1400721fd:	90                   	nop
1400721fe:	90                   	nop
1400721ff:	90                   	nop
140072200:	48 8d 7c 24 08       	lea    0x8(%rsp),%rdi
140072205:	48 8b 06             	mov    (%rsi),%rax
140072208:	48 f7 e3             	mul    %rbx
14007220b:	48 89 07             	mov    %rax,(%rdi)
14007220e:	48 8b 46 08          	mov    0x8(%rsi),%rax
140072212:	49 89 d0             	mov    %rdx,%r8
140072215:	48 f7 e3             	mul    %rbx
140072218:	49 01 c0             	add    %rax,%r8
14007221b:	48 8b 46 10          	mov    0x10(%rsi),%rax
14007221f:	49 89 d1             	mov    %rdx,%r9
140072222:	49 83 d1 00          	adc    $0x0,%r9
140072226:	48 f7 e3             	mul    %rbx
140072229:	49 01 c1             	add    %rax,%r9
14007222c:	48 8b 46 18          	mov    0x18(%rsi),%rax
140072230:	49 89 d2             	mov    %rdx,%r10
140072233:	49 83 d2 00          	adc    $0x0,%r10
140072237:	48 f7 e3             	mul    %rbx
14007223a:	49 01 c2             	add    %rax,%r10
14007223d:	48 8b 46 20          	mov    0x20(%rsi),%rax
140072241:	49 89 d3             	mov    %rdx,%r11
140072244:	49 83 d3 00          	adc    $0x0,%r11
140072248:	48 f7 e3             	mul    %rbx
14007224b:	49 01 c3             	add    %rax,%r11
14007224e:	48 8b 46 28          	mov    0x28(%rsi),%rax
140072252:	49 89 d4             	mov    %rdx,%r12
140072255:	49 83 d4 00          	adc    $0x0,%r12
140072259:	48 f7 e3             	mul    %rbx
14007225c:	49 01 c4             	add    %rax,%r12
14007225f:	48 8b 46 30          	mov    0x30(%rsi),%rax
140072263:	49 89 d5             	mov    %rdx,%r13
140072266:	49 83 d5 00          	adc    $0x0,%r13
14007226a:	48 f7 e3             	mul    %rbx
14007226d:	49 01 c5             	add    %rax,%r13
140072270:	48 8b 46 38          	mov    0x38(%rsi),%rax
140072274:	49 89 d6             	mov    %rdx,%r14
140072277:	49 83 d6 00          	adc    $0x0,%r14
14007227b:	48 f7 e3             	mul    %rbx
14007227e:	49 01 c6             	add    %rax,%r14
140072281:	48 8b 06             	mov    (%rsi),%rax
140072284:	49 89 d7             	mov    %rdx,%r15
140072287:	49 83 d7 00          	adc    $0x0,%r15
14007228b:	48 8d 6d 08          	lea    0x8(%rbp),%rbp
14007228f:	48 8d 7f 08          	lea    0x8(%rdi),%rdi
140072293:	b9 07 00 00 00       	mov    $0x7,%ecx
140072298:	eb 06                	jmp    0x1400722a0
14007229a:	90                   	nop
14007229b:	90                   	nop
14007229c:	90                   	nop
14007229d:	90                   	nop
14007229e:	90                   	nop
14007229f:	90                   	nop
1400722a0:	48 8b 5d 00          	mov    0x0(%rbp),%rbx
1400722a4:	48 f7 e3             	mul    %rbx
1400722a7:	49 01 c0             	add    %rax,%r8
1400722aa:	48 8b 46 08          	mov    0x8(%rsi),%rax
1400722ae:	4c 89 07             	mov    %r8,(%rdi)
1400722b1:	49 89 d0             	mov    %rdx,%r8
1400722b4:	49 83 d0 00          	adc    $0x0,%r8
1400722b8:	48 f7 e3             	mul    %rbx
1400722bb:	49 01 c1             	add    %rax,%r9
1400722be:	48 8b 46 10          	mov    0x10(%rsi),%rax
1400722c2:	48 83 d2 00          	adc    $0x0,%rdx
1400722c6:	4d 01 c8             	add    %r9,%r8
1400722c9:	49 89 d1             	mov    %rdx,%r9
1400722cc:	49 83 d1 00          	adc    $0x0,%r9
1400722d0:	48 f7 e3             	mul    %rbx
1400722d3:	49 01 c2             	add    %rax,%r10
1400722d6:	48 8b 46 18          	mov    0x18(%rsi),%rax
1400722da:	48 83 d2 00          	adc    $0x0,%rdx
1400722de:	4d 01 d1             	add    %r10,%r9
1400722e1:	49 89 d2             	mov    %rdx,%r10
1400722e4:	49 83 d2 00          	adc    $0x0,%r10
1400722e8:	48 f7 e3             	mul    %rbx
1400722eb:	49 01 c3             	add    %rax,%r11
1400722ee:	48 8b 46 20          	mov    0x20(%rsi),%rax
1400722f2:	48 83 d2 00          	adc    $0x0,%rdx
1400722f6:	4d 01 da             	add    %r11,%r10
1400722f9:	49 89 d3             	mov    %rdx,%r11
1400722fc:	49 83 d3 00          	adc    $0x0,%r11
140072300:	48 f7 e3             	mul    %rbx
140072303:	49 01 c4             	add    %rax,%r12
140072306:	48 8b 46 28          	mov    0x28(%rsi),%rax
14007230a:	48 83 d2 00          	adc    $0x0,%rdx
14007230e:	4d 01 e3             	add    %r12,%r11
140072311:	49 89 d4             	mov    %rdx,%r12
140072314:	49 83 d4 00          	adc    $0x0,%r12
140072318:	48 f7 e3             	mul    %rbx
14007231b:	49 01 c5             	add    %rax,%r13
14007231e:	48 8b 46 30          	mov    0x30(%rsi),%rax
140072322:	48 83 d2 00          	adc    $0x0,%rdx
140072326:	4d 01 ec             	add    %r13,%r12
140072329:	49 89 d5             	mov    %rdx,%r13
14007232c:	49 83 d5 00          	adc    $0x0,%r13
140072330:	48 f7 e3             	mul    %rbx
140072333:	49 01 c6             	add    %rax,%r14
140072336:	48 8b 46 38          	mov    0x38(%rsi),%rax
14007233a:	48 83 d2 00          	adc    $0x0,%rdx
14007233e:	4d 01 f5             	add    %r14,%r13
140072341:	49 89 d6             	mov    %rdx,%r14
140072344:	48 8d 6d 08          	lea    0x8(%rbp),%rbp
140072348:	49 83 d6 00          	adc    $0x0,%r14
14007234c:	48 f7 e3             	mul    %rbx
14007234f:	49 01 c7             	add    %rax,%r15
140072352:	48 8b 06             	mov    (%rsi),%rax
140072355:	48 83 d2 00          	adc    $0x0,%rdx
140072359:	4d 01 fe             	add    %r15,%r14
14007235c:	49 89 d7             	mov    %rdx,%r15
14007235f:	49 83 d7 00          	adc    $0x0,%r15
140072363:	48 8d 7f 08          	lea    0x8(%rdi),%rdi
140072367:	ff c9                	dec    %ecx
140072369:	0f 85 31 ff ff ff    	jne    0x1400722a0
14007236f:	4c 89 07             	mov    %r8,(%rdi)
140072372:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
140072376:	4c 89 57 10          	mov    %r10,0x10(%rdi)
14007237a:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
14007237e:	4c 89 67 20          	mov    %r12,0x20(%rdi)
140072382:	4c 89 6f 28          	mov    %r13,0x28(%rdi)
140072386:	4c 89 77 30          	mov    %r14,0x30(%rdi)
14007238a:	4c 89 7f 38          	mov    %r15,0x38(%rdi)
14007238e:	f3 c3                	repz ret
140072390:	90                   	nop
140072391:	90                   	nop
140072392:	90                   	nop
140072393:	90                   	nop
140072394:	90                   	nop
140072395:	90                   	nop
140072396:	90                   	nop
140072397:	90                   	nop
140072398:	90                   	nop
140072399:	90                   	nop