140078043:	c4 62 fb f6 45 00    	mulx   0x0(%rbp),%rax,%r8
140078049:	66 48 0f 38 f6 c3    	adcx   %rbx,%rax
14007804f:	f3 4d 0f 38 f6 c1    	adox   %r9,%r8
140078055:	c4 62 fb f6 4d 08    	mulx   0x8(%rbp),%rax,%r9
14007805b:	66 4c 0f 38 f6 c0    	adcx   %rax,%r8
140078061:	f3 4d 0f 38 f6 ca    	adox   %r10,%r9
140078067:	c4 62 e3 f6 55 10    	mulx   0x10(%rbp),%rbx,%r10
14007806d:	66 4c 0f 38 f6 cb    	adcx   %rbx,%r9
140078073:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
140078079:	c4 62 e3 f6 5d 18    	mulx   0x18(%rbp),%rbx,%r11
14007807f:	66 4c 0f 38 f6 d3    	adcx   %rbx,%r10
140078085:	f3 4d 0f 38 f6 dc    	adox   %r12,%r11
14007808b:	c4 62 e3 f6 a5 20 00 	mulx   0x20(%rbp),%rbx,%r12
140078092:	00 00
140078094:	48 89 d0             	mov    %rdx,%rax
140078097:	4c 89 c2             	mov    %r8,%rdx
14007809a:	66 4c 0f 38 f6 db    	adcx   %rbx,%r11
1400780a0:	f3 4d 0f 38 f6 e5    	adox   %r13,%r12
1400780a6:	c4 e2 e3 f6 94 24 88 	mulx   0x88(%rsp),%rbx,%rdx
1400780ad:	00 00 00
1400780b0:	48 89 c2             	mov    %rax,%rdx
1400780b3:	c4 62 fb f6 6d 28    	mulx   0x28(%rbp),%rax,%r13
1400780b9:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
1400780bf:	f3 4d 0f 38 f6 ee    	adox   %r14,%r13
1400780c5:	c4 62 fb f6 b5 30 00 	mulx   0x30(%rbp),%rax,%r14
1400780cc:	00 00
1400780ce:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
1400780d4:	f3 4d 0f 38 f6 f7    	adox   %r15,%r14
1400780da:	c4 62 fb f6 7d 38    	mulx   0x38(%rbp),%rax,%r15
1400780e0:	48 89 da             	mov    %rbx,%rdx
1400780e3:	66 4c 0f 38 f6 f0    	adcx   %rax,%r14
1400780e9:	f3 4c 0f 38 f6 fe    	adox   %rsi,%r15
1400780ef:	66 4c 0f 38 f6 fe    	adcx   %rsi,%r15
1400780f5:	ff c9                	dec    %ecx
1400780f7:	0f 85 43 ff ff ff    	jne    0x140078040
1400780fd:	f3 c3                	repz ret
1400780ff:	90                   	nop
140078100:	4c 89 07             	mov    %r8,(%rdi)
140078103:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
140078107:	4c 89 57 10          	mov    %r10,0x10(%rdi)
14007810b:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
14007810f:	4c 89 67 20          	mov    %r12,0x20(%rdi)
140078113:	4c 89 6f 28          	mov    %r13,0x28(%rdi)
140078117:	4c 89 77 30          	mov    %r14,0x30(%rdi)
14007811b:	4c 89 7f 38          	mov    %r15,0x38(%rdi)
14007811f:	4c 8b 45 00          	mov    0x0(%rbp),%r8
140078123:	4c 8b 4d 08          	mov    0x8(%rbp),%r9
140078127:	49 f7 d8             	neg    %r8
14007812a:	49 f7 d1             	not    %r9
14007812d:	49 21 c8             	and    %rcx,%r8
140078130:	4c 8b 55 10          	mov    0x10(%rbp),%r10
140078134:	49 21 c9             	and    %rcx,%r9
140078137:	49 f7 d2             	not    %r10
14007813a:	4c 8b 5d 18          	mov    0x18(%rbp),%r11
14007813e:	49 21 ca             	and    %rcx,%r10
140078141:	49 f7 d3             	not    %r11
140078144:	4c 8b 65 20          	mov    0x20(%rbp),%r12
140078148:	49 21 cb             	and    %rcx,%r11
14007814b:	49 f7 d4             	not    %r12
14007814e:	4c 8b 6d 28          	mov    0x28(%rbp),%r13
140078152:	49 21 cc             	and    %rcx,%r12
140078155:	49 f7 d5             	not    %r13
140078158:	4c 8b 75 30          	mov    0x30(%rbp),%r14
14007815c:	49 21 cd             	and    %rcx,%r13
14007815f:	49 f7 d6             	not    %r14
140078162:	4c 8b 7d 38          	mov    0x38(%rbp),%r15
140078166:	49 21 ce             	and    %rcx,%r14
140078169:	49 f7 d7             	not    %r15
14007816c:	49 21 cf             	and    %rcx,%r15
14007816f:	4c 03 07             	add    (%rdi),%r8
140078172:	4c 13 4f 08          	adc    0x8(%rdi),%r9
140078176:	4c 13 57 10          	adc    0x10(%rdi),%r10
14007817a:	4c 13 5f 18          	adc    0x18(%rdi),%r11
14007817e:	4c 13 67 20          	adc    0x20(%rdi),%r12
140078182:	4c 13 6f 28          	adc    0x28(%rdi),%r13
140078186:	4c 13 77 30          	adc    0x30(%rdi),%r14
14007818a:	4c 13 7f 38          	adc    0x38(%rdi),%r15
14007818e:	4c 89 07             	mov    %r8,(%rdi)
140078191:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
140078195:	4c 89 57 10          	mov    %r10,0x10(%rdi)
140078199:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
14007819d:	4c 89 67 20          	mov    %r12,0x20(%rdi)
1400781a1:	4c 89 6f 28          	mov    %r13,0x28(%rdi)
1400781a5:	4c 89 77 30          	mov    %r14,0x30(%rdi)
1400781a9:	4c 89 7f 38          	mov    %r15,0x38(%rdi)
1400781ad:	f3 c3                	repz ret
1400781af:	90                   	nop
1400781b0:	90                   	nop
1400781b1:	90                   	nop
1400781b2:	90                   	nop
1400781b3:	90                   	nop
1400781b4:	90                   	nop
1400781b5:	90                   	nop
1400781b6:	90                   	nop
1400781b7:	90                   	nop
1400781b8:	90                   	nop
1400781b9:	90                   	nop
1400781ba:	90                   	nop
1400781bb:	90                   	nop
1400781bc:	90                   	nop
1400781bd:	90                   	nop
1400781be:	90                   	nop
1400781bf:	90                   	nop
1400781c0:	48 8d 7c 24 08       	lea    0x8(%rsp),%rdi
1400781c5:	48 8b 06             	mov    (%rsi),%rax
1400781c8:	48 f7 e3             	mul    %rbx
1400781cb:	48 89 07             	mov    %rax,(%rdi)
1400781ce:	48 8b 46 08          	mov    0x8(%rsi),%rax
1400781d2:	49 89 d0             	mov    %rdx,%r8
1400781d5:	48 f7 e3             	mul    %rbx
1400781d8:	49 01 c0             	add    %rax,%r8
1400781db:	48 8b 46 10          	mov    0x10(%rsi),%rax
1400781df:	49 89 d1             	mov    %rdx,%r9
1400781e2:	49 83 d1 00          	adc    $0x0,%r9
1400781e6:	48 f7 e3             	mul    %rbx
1400781e9:	49 01 c1             	add    %rax,%r9
1400781ec:	48 8b 46 18          	mov    0x18(%rsi),%rax
1400781f0:	49 89 d2             	mov    %rdx,%r10
1400781f3:	49 83 d2 00          	adc    $0x0,%r10
1400781f7:	48 f7 e3             	mul    %rbx
1400781fa:	49 01 c2             	add    %rax,%r10
1400781fd:	48 8b 46 20          	mov    0x20(%rsi),%rax
140078201:	49 89 d3             	mov    %rdx,%r11
140078204:	49 83 d3 00          	adc    $0x0,%r11
140078208:	48 f7 e3             	mul    %rbx
14007820b:	49 01 c3             	add    %rax,%r11
14007820e:	48 8b 46 28          	mov    0x28(%rsi),%rax
140078212:	49 89 d4             	mov    %rdx,%r12
140078215:	49 83 d4 00          	adc    $0x0,%r12
140078219:	48 f7 e3             	mul    %rbx
14007821c:	49 01 c4             	add    %rax,%r12
14007821f:	48 8b 46 30          	mov    0x30(%rsi),%rax
140078223:	49 89 d5             	mov    %rdx,%r13
140078226:	49 83 d5 00          	adc    $0x0,%r13
14007822a:	48 f7 e3             	mul    %rbx
14007822d:	49 01 c5             	add    %rax,%r13
140078230:	48 8b 46 38          	mov    0x38(%rsi),%rax
140078234:	49 89 d6             	mov    %rdx,%r14
140078237:	49 83 d6 00          	adc    $0x0,%r14
14007823b:	48 f7 e3             	mul    %rbx
14007823e:	49 01 c6             	add    %rax,%r14
140078241:	48 8b 06             	mov    (%rsi),%rax
140078244:	49 89 d7             	mov    %rdx,%r15
140078247:	49 83 d7 00          	adc    $0x0,%r15
14007824b:	48 8d 6d 08          	lea    0x8(%rbp),%rbp
14007824f:	48 8d 7f 08          	lea    0x8(%rdi),%rdi
140078253:	b9 07 00 00 00       	mov    $0x7,%ecx
140078258:	eb 06                	jmp    0x140078260
14007825a:	90                   	nop
14007825b:	90                   	nop
14007825c:	90                   	nop
14007825d:	90                   	nop
14007825e:	90                   	nop
14007825f:	90                   	nop
140078260:	48 8b 5d 00          	mov    0x0(%rbp),%rbx
140078264:	48 f7 e3             	mul    %rbx
140078267:	49 01 c0             	add    %rax,%r8
14007826a:	48 8b 46 08          	mov    0x8(%rsi),%rax
14007826e:	4c 89 07             	mov    %r8,(%rdi)
140078271:	49 89 d0             	mov    %rdx,%r8
140078274:	49 83 d0 00          	adc    $0x0,%r8
140078278:	48 f7 e3             	mul    %rbx
14007827b:	49 01 c1             	add    %rax,%r9
14007827e:	48 8b 46 10          	mov    0x10(%rsi),%rax
140078282:	48 83 d2 00          	adc    $0x0,%rdx
140078286:	4d 01 c8             	add    %r9,%r8
140078289:	49 89 d1             	mov    %rdx,%r9
14007828c:	49 83 d1 00          	adc    $0x0,%r9
140078290:	48 f7 e3             	mul    %rbx
140078293:	49 01 c2             	add    %rax,%r10
140078296:	48 8b 46 18          	mov    0x18(%rsi),%rax
14007829a:	48 83 d2 00          	adc    $0x0,%rdx
14007829e:	4d 01 d1             	add    %r10,%r9
1400782a1:	49 89 d2             	mov    %rdx,%r10
1400782a4:	49 83 d2 00          	adc    $0x0,%r10
1400782a8:	48 f7 e3             	mul    %rbx
1400782ab:	49 01 c3             	add    %rax,%r11
1400782ae:	48 8b 46 20          	mov    0x20(%rsi),%rax
1400782b2:	48 83 d2 00          	adc    $0x0,%rdx
1400782b6:	4d 01 da             	add    %r11,%r10
1400782b9:	49 89 d3             	mov    %rdx,%r11
1400782bc:	49 83 d3 00          	adc    $0x0,%r11
1400782c0:	48 f7 e3             	mul    %rbx
1400782c3:	49 01 c4             	add    %rax,%r12
1400782c6:	48 8b 46 28          	mov    0x28(%rsi),%rax
1400782ca:	48 83 d2 00          	adc    $0x0,%rdx
1400782ce:	4d 01 e3             	add    %r12,%r11
1400782d1:	49 89 d4             	mov    %rdx,%r12
1400782d4:	49 83 d4 00          	adc    $0x0,%r12
1400782d8:	48 f7 e3             	mul    %rbx
1400782db:	49 01 c5             	add    %rax,%r13
1400782de:	48 8b 46 30          	mov    0x30(%rsi),%rax
1400782e2:	48 83 d2 00          	adc    $0x0,%rdx
1400782e6:	4d 01 ec             	add    %r13,%r12
1400782e9:	49 89 d5             	mov    %rdx,%r13
1400782ec:	49 83 d5 00          	adc    $0x0,%r13
1400782f0:	48 f7 e3             	mul    %rbx
1400782f3:	49 01 c6             	add    %rax,%r14
1400782f6:	48 8b 46 38          	mov    0x38(%rsi),%rax
1400782fa:	48 83 d2 00          	adc    $0x0,%rdx
1400782fe:	4d 01 f5             	add    %r14,%r13
140078301:	49 89 d6             	mov    %rdx,%r14
140078304:	48 8d 6d 08          	lea    0x8(%rbp),%rbp
140078308:	49 83 d6 00          	adc    $0x0,%r14
14007830c:	48 f7 e3             	mul    %rbx
14007830f:	49 01 c7             	add    %rax,%r15
140078312:	48 8b 06             	mov    (%rsi),%rax
140078315:	48 83 d2 00          	adc    $0x0,%rdx
140078319:	4d 01 fe             	add    %r15,%r14
14007831c:	49 89 d7             	mov    %rdx,%r15
14007831f:	49 83 d7 00          	adc    $0x0,%r15
140078323:	48 8d 7f 08          	lea    0x8(%rdi),%rdi
140078327:	ff c9                	dec    %ecx
140078329:	0f 85 31 ff ff ff    	jne    0x140078260
14007832f:	4c 89 07             	mov    %r8,(%rdi)
140078332:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
140078336:	4c 89 57 10          	mov    %r10,0x10(%rdi)
14007833a:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
14007833e:	4c 89 67 20          	mov    %r12,0x20(%rdi)
140078342:	4c 89 6f 28          	mov    %r13,0x28(%rdi)
140078346:	4c 89 77 30          	mov    %r14,0x30(%rdi)
14007834a:	4c 89 7f 38          	mov    %r15,0x38(%rdi)
14007834e:	f3 c3                	repz ret
140078350:	90                   	nop
140078351:	90                   	nop
140078352:	90                   	nop
140078353:	90                   	nop
140078354:	90                   	nop
140078355:	90                   	nop
140078356:	90                   	nop
140078357:	90                   	nop
140078358:	90                   	nop
140078359:	90                   	nop
14007835a:	90                   	nop
14007835b:	90                   	nop
14007835c:	90                   	nop
14007835d:	90                   	nop
14007835e:	90                   	nop
14007835f:	90                   	nop
140078360:	c4 62 e3 f6 06       	mulx   (%rsi),%rbx,%r8
140078365:	48 c7 c1 fa ff ff ff 	mov    $0xfffffffffffffffa,%rcx
14007836c:	c4 62 fb f6 4e 08    	mulx   0x8(%rsi),%rax,%r9
140078372:	48 89 5c 24 08       	mov    %rbx,0x8(%rsp)
140078377:	c4 62 e3 f6 56 10    	mulx   0x10(%rsi),%rbx,%r10
14007837d:	49 11 c0             	adc    %rax,%r8
140078380:	c4 62 fb f6 5e 18    	mulx   0x18(%rsi),%rax,%r11
140078386:	49 11 d9             	adc    %rbx,%r9
140078389:	c4 62 e3 f6 66 20    	mulx   0x20(%rsi),%rbx,%r12
14007838f:	49 11 c2             	adc    %rax,%r10
140078392:	c4 62 fb f6 6e 28    	mulx   0x28(%rsi),%rax,%r13
140078398:	49 11 db             	adc    %rbx,%r11
14007839b:	c4 62 e3 f6 76 30    	mulx   0x30(%rsi),%rbx,%r14
1400783a1:	49 11 c4             	adc    %rax,%r12
1400783a4:	c4 62 fb f6 7e 38    	mulx   0x38(%rsi),%rax,%r15
1400783aa:	48 8b 55 08          	mov    0x8(%rbp),%rdx
1400783ae:	49 11 dd             	adc    %rbx,%r13
1400783b1:	49 11 c6             	adc    %rax,%r14
1400783b4:	49 83 d7 00          	adc    $0x0,%r15
1400783b8:	48 31 ff             	xor    %rdi,%rdi
1400783bb:	eb 03                	jmp    0x1400783c0
1400783bd:	90                   	nop
1400783be:	90                   	nop
1400783bf:	90                   	nop
1400783c0:	4c 89 c3             	mov    %r8,%rbx
1400783c3:	c4 62 fb f6 06       	mulx   (%rsi),%rax,%r8
1400783c8:	66 48 0f 38 f6 d8    	adcx   %rax,%rbx
1400783ce:	f3 4d 0f 38 f6 c1    	adox   %r9,%r8
1400783d4:	c4 62 fb f6 4e 08    	mulx   0x8(%rsi),%rax,%r9
1400783da:	66 4c 0f 38 f6 c0    	adcx   %rax,%r8
1400783e0:	f3 4d 0f 38 f6 ca    	adox   %r10,%r9
1400783e6:	c4 62 fb f6 56 10    	mulx   0x10(%rsi),%rax,%r10
1400783ec:	66 4c 0f 38 f6 c8    	adcx   %rax,%r9
1400783f2:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
1400783f8:	c4 62 fb f6 5e 18    	mulx   0x18(%rsi),%rax,%r11
1400783fe:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
140078404:	f3 4d 0f 38 f6 dc    	adox   %r12,%r11
14007840a:	3e c4 62 fb f6 a6 20 	ds mulx 0x20(%rsi),%rax,%r12
140078411:	00 00 00
140078414:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
14007841a:	f3 4d 0f 38 f6 e5    	adox   %r13,%r12
140078420:	c4 62 fb f6 6e 28    	mulx   0x28(%rsi),%rax,%r13
140078426:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
14007842c:	f3 4d 0f 38 f6 ee    	adox   %r14,%r13
140078432:	c4 62 fb f6 76 30    	mulx   0x30(%rsi),%rax,%r14
140078438:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
14007843e:	f3 4d 0f 38 f6 f7    	adox   %r15,%r14
140078444:	c4 62 fb f6 7e 38    	mulx   0x38(%rsi),%rax,%r15
14007844a:	48 8b 54 cd 40       	mov    0x40(%rbp,%rcx,8),%rdx
14007844f:	48 89 5c cc 40       	mov    %rbx,0x40(%rsp,%rcx,8)
140078454:	66 4c 0f 38 f6 f0    	adcx   %rax,%r14
14007845a:	f3 4c 0f 38 f6 ff    	adox   %rdi,%r15
140078460:	66 4c 0f 38 f6 ff    	adcx   %rdi,%r15
140078466:	48 ff c1             	inc    %rcx
140078469:	0f 85 51 ff ff ff    	jne    0x1400783c0
14007846f:	4c 89 c3             	mov    %r8,%rbx
140078472:	c4 62 fb f6 06       	mulx   (%rsi),%rax,%r8
140078477:	66 48 0f 38 f6 d8    	adcx   %rax,%rbx
14007847d:	f3 4d 0f 38 f6 c1    	adox   %r9,%r8
140078483:	c4 62 fb f6 8e 08 00 	mulx   0x8(%rsi),%rax,%r9
14007848a:	00 00
14007848c:	66 4c 0f 38 f6 c0    	adcx   %rax,%r8
140078492:	f3 4d 0f 38 f6 ca    	adox   %r10,%r9
140078498:	c4 62 fb f6 96 10 00 	mulx   0x10(%rsi),%rax,%r10
14007849f:	00 00
1400784a1:	66 4c 0f 38 f6 c8    	adcx   %rax,%r9
1400784a7:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
1400784ad:	c4 62 fb f6 5e 18    	mulx   0x18(%rsi),%rax,%r11
1400784b3:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
1400784b9:	f3 4d 0f 38 f6 dc    	adox   %r12,%r11
1400784bf:	c4 62 fb f6 66 20    	mulx   0x20(%rsi),%rax,%r12
1400784c5:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
1400784cb:	f3 4d 0f 38 f6 e5    	adox   %r13,%r12
1400784d1:	c4 62 fb f6 6e 28    	mulx   0x28(%rsi),%rax,%r13
1400784d7:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
1400784dd:	f3 4d 0f 38 f6 ee    	adox   %r14,%r13
1400784e3:	c4 62 fb f6 b6 30 00 	mulx   0x30(%rsi),%rax,%r14
1400784ea:	00 00
1400784ec:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
1400784f2:	f3 4d 0f 38 f6 f7    	adox   %r15,%r14
1400784f8:	c4 62 fb f6 be 38 00 	mulx   0x38(%rsi),%rax,%r15
1400784ff:	00 00
140078501:	66 4c 0f 38 f6 f0    	adcx   %rax,%r14
140078507:	f3 4c 0f 38 f6 ff    	adox   %rdi,%r15
14007850d:	66 4c 0f 38 f6 ff    	adcx   %rdi,%r15
140078513:	48 89 5c 24 40       	mov    %rbx,0x40(%rsp)
140078518:	4c 89 44 24 48       	mov    %r8,0x48(%rsp)
14007851d:	4c 89 4c 24 50       	mov    %r9,0x50(%rsp)
140078522:	4c 89 54 24 58       	mov    %r10,0x58(%rsp)
140078527:	4c 89 5c 24 60       	mov    %r11,0x60(%rsp)
14007852c:	4c 89 64 24 68       	mov    %r12,0x68(%rsp)
140078531:	4c 89 6c 24 70       	mov    %r13,0x70(%rsp)
140078536:	4c 89 74 24 78       	mov    %r14,0x78(%rsp)
14007853b:	4c 89 bc 24 80 00 00 	mov    %r15,0x80(%rsp)
140078542:	00
140078543:	f3 c3                	repz ret
140078545:	90                   	nop
140078546:	90                   	nop
140078547:	90                   	nop
140078548:	90                   	nop
140078549:	90                   	nop
14007854a:	90                   	nop
14007854b:	90                   	nop
14007854c:	90                   	nop
14007854d:	90                   	nop
14007854e:	90                   	nop
14007854f:	90                   	nop
140078550:	4a 8d 0c c1          	lea    (%rcx,%r8,8),%rcx
140078554:	41 b9 08 00 00 00    	mov    $0x8,%r9d
14007855a:	eb 04                	jmp    0x140078560
14007855c:	90                   	nop