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
14007239a:	90                   	nop
14007239b:	90                   	nop
14007239c:	90                   	nop
14007239d:	90                   	nop
14007239e:	90                   	nop
14007239f:	90                   	nop
1400723a0:	c4 62 e3 f6 06       	mulx   (%rsi),%rbx,%r8
1400723a5:	48 c7 c1 fa ff ff ff 	mov    $0xfffffffffffffffa,%rcx
1400723ac:	c4 62 fb f6 4e 08    	mulx   0x8(%rsi),%rax,%r9
1400723b2:	48 89 5c 24 08       	mov    %rbx,0x8(%rsp)
1400723b7:	c4 62 e3 f6 56 10    	mulx   0x10(%rsi),%rbx,%r10
1400723bd:	49 11 c0             	adc    %rax,%r8
1400723c0:	c4 62 fb f6 5e 18    	mulx   0x18(%rsi),%rax,%r11
1400723c6:	49 11 d9             	adc    %rbx,%r9
1400723c9:	c4 62 e3 f6 66 20    	mulx   0x20(%rsi),%rbx,%r12
1400723cf:	49 11 c2             	adc    %rax,%r10
1400723d2:	c4 62 fb f6 6e 28    	mulx   0x28(%rsi),%rax,%r13
1400723d8:	49 11 db             	adc    %rbx,%r11
1400723db:	c4 62 e3 f6 76 30    	mulx   0x30(%rsi),%rbx,%r14
1400723e1:	49 11 c4             	adc    %rax,%r12
1400723e4:	c4 62 fb f6 7e 38    	mulx   0x38(%rsi),%rax,%r15
1400723ea:	48 8b 55 08          	mov    0x8(%rbp),%rdx
1400723ee:	49 11 dd             	adc    %rbx,%r13
1400723f1:	49 11 c6             	adc    %rax,%r14
1400723f4:	49 83 d7 00          	adc    $0x0,%r15
1400723f8:	48 31 ff             	xor    %rdi,%rdi
1400723fb:	eb 03                	jmp    0x140072400
1400723fd:	90                   	nop
1400723fe:	90                   	nop
1400723ff:	90                   	nop
140072400:	4c 89 c3             	mov    %r8,%rbx
140072403:	c4 62 fb f6 06       	mulx   (%rsi),%rax,%r8
140072408:	66 48 0f 38 f6 d8    	adcx   %rax,%rbx
14007240e:	f3 4d 0f 38 f6 c1    	adox   %r9,%r8
140072414:	c4 62 fb f6 4e 08    	mulx   0x8(%rsi),%rax,%r9
14007241a:	66 4c 0f 38 f6 c0    	adcx   %rax,%r8
140072420:	f3 4d 0f 38 f6 ca    	adox   %r10,%r9
140072426:	c4 62 fb f6 56 10    	mulx   0x10(%rsi),%rax,%r10
14007242c:	66 4c 0f 38 f6 c8    	adcx   %rax,%r9
140072432:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
140072438:	c4 62 fb f6 5e 18    	mulx   0x18(%rsi),%rax,%r11
14007243e:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
140072444:	f3 4d 0f 38 f6 dc    	adox   %r12,%r11
14007244a:	3e c4 62 fb f6 a6 20 	ds mulx 0x20(%rsi),%rax,%r12
140072451:	00 00 00
140072454:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
14007245a:	f3 4d 0f 38 f6 e5    	adox   %r13,%r12
140072460:	c4 62 fb f6 6e 28    	mulx   0x28(%rsi),%rax,%r13
140072466:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
14007246c:	f3 4d 0f 38 f6 ee    	adox   %r14,%r13
140072472:	c4 62 fb f6 76 30    	mulx   0x30(%rsi),%rax,%r14
140072478:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
14007247e:	f3 4d 0f 38 f6 f7    	adox   %r15,%r14
140072484:	c4 62 fb f6 7e 38    	mulx   0x38(%rsi),%rax,%r15
14007248a:	48 8b 54 cd 40       	mov    0x40(%rbp,%rcx,8),%rdx
14007248f:	48 89 5c cc 40       	mov    %rbx,0x40(%rsp,%rcx,8)
140072494:	66 4c 0f 38 f6 f0    	adcx   %rax,%r14
14007249a:	f3 4c 0f 38 f6 ff    	adox   %rdi,%r15
1400724a0:	66 4c 0f 38 f6 ff    	adcx   %rdi,%r15
1400724a6:	48 ff c1             	inc    %rcx
1400724a9:	0f 85 51 ff ff ff    	jne    0x140072400
1400724af:	4c 89 c3             	mov    %r8,%rbx
1400724b2:	c4 62 fb f6 06       	mulx   (%rsi),%rax,%r8
1400724b7:	66 48 0f 38 f6 d8    	adcx   %rax,%rbx
1400724bd:	f3 4d 0f 38 f6 c1    	adox   %r9,%r8
1400724c3:	c4 62 fb f6 8e 08 00 	mulx   0x8(%rsi),%rax,%r9
1400724ca:	00 00
1400724cc:	66 4c 0f 38 f6 c0    	adcx   %rax,%r8
1400724d2:	f3 4d 0f 38 f6 ca    	adox   %r10,%r9
1400724d8:	c4 62 fb f6 96 10 00 	mulx   0x10(%rsi),%rax,%r10
1400724df:	00 00
1400724e1:	66 4c 0f 38 f6 c8    	adcx   %rax,%r9
1400724e7:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
1400724ed:	c4 62 fb f6 5e 18    	mulx   0x18(%rsi),%rax,%r11
1400724f3:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
1400724f9:	f3 4d 0f 38 f6 dc    	adox   %r12,%r11
1400724ff:	c4 62 fb f6 66 20    	mulx   0x20(%rsi),%rax,%r12
140072505:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
14007250b:	f3 4d 0f 38 f6 e5    	adox   %r13,%r12
140072511:	c4 62 fb f6 6e 28    	mulx   0x28(%rsi),%rax,%r13
140072517:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
14007251d:	f3 4d 0f 38 f6 ee    	adox   %r14,%r13
140072523:	c4 62 fb f6 b6 30 00 	mulx   0x30(%rsi),%rax,%r14
14007252a:	00 00
14007252c:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
140072532:	f3 4d 0f 38 f6 f7    	adox   %r15,%r14
140072538:	c4 62 fb f6 be 38 00 	mulx   0x38(%rsi),%rax,%r15
14007253f:	00 00
140072541:	66 4c 0f 38 f6 f0    	adcx   %rax,%r14
140072547:	f3 4c 0f 38 f6 ff    	adox   %rdi,%r15
14007254d:	66 4c 0f 38 f6 ff    	adcx   %rdi,%r15
140072553:	48 89 5c 24 40       	mov    %rbx,0x40(%rsp)
140072558:	4c 89 44 24 48       	mov    %r8,0x48(%rsp)
14007255d:	4c 89 4c 24 50       	mov    %r9,0x50(%rsp)
140072562:	4c 89 54 24 58       	mov    %r10,0x58(%rsp)
140072567:	4c 89 5c 24 60       	mov    %r11,0x60(%rsp)
14007256c:	4c 89 64 24 68       	mov    %r12,0x68(%rsp)
140072571:	4c 89 6c 24 70       	mov    %r13,0x70(%rsp)
140072576:	4c 89 74 24 78       	mov    %r14,0x78(%rsp)
14007257b:	4c 89 bc 24 80 00 00 	mov    %r15,0x80(%rsp)
140072582:	00
140072583:	f3 c3                	repz ret
140072585:	90                   	nop
140072586:	90                   	nop
140072587:	90                   	nop
140072588:	90                   	nop
140072589:	90                   	nop
14007258a:	90                   	nop
14007258b:	90                   	nop
14007258c:	90                   	nop
14007258d:	90                   	nop
14007258e:	90                   	nop
14007258f:	90                   	nop
140072590:	4a 8d 0c c1          	lea    (%rcx,%r8,8),%rcx
140072594:	41 b9 08 00 00 00    	mov    $0x8,%r9d
14007259a:	eb 04                	jmp    0x1400725a0
14007259c:	90                   	nop
14007259d:	90                   	nop
14007259e:	90                   	nop
14007259f:	90                   	nop
1400725a0:	48 8b 02             	mov    (%rdx),%rax
1400725a3:	48 8d 52 08          	lea    0x8(%rdx),%rdx
1400725a7:	48 89 01             	mov    %rax,(%rcx)
1400725aa:	48 8d 89 80 00 00 00 	lea    0x80(%rcx),%rcx
1400725b1:	41 ff c9             	dec    %r9d
1400725b4:	75 ea                	jne    0x1400725a0
1400725b6:	f3 c3                	repz ret
1400725b8:	90                   	nop
1400725b9:	90                   	nop
1400725ba:	90                   	nop
1400725bb:	90                   	nop
1400725bc:	90                   	nop
1400725bd:	90                   	nop
1400725be:	90                   	nop
1400725bf:	90                   	nop
1400725c0:	48 81 ec a8 00 00 00 	sub    $0xa8,%rsp
1400725c7:	0f 29 34 24          	movaps %xmm6,(%rsp)
1400725cb:	0f 29 7c 24 10       	movaps %xmm7,0x10(%rsp)
1400725d0:	44 0f 29 44 24 20    	movaps %xmm8,0x20(%rsp)
1400725d6:	44 0f 29 4c 24 30    	movaps %xmm9,0x30(%rsp)
1400725dc:	44 0f 29 54 24 40    	movaps %xmm10,0x40(%rsp)
1400725e2:	44 0f 29 5c 24 50    	movaps %xmm11,0x50(%rsp)
1400725e8:	44 0f 29 64 24 60    	movaps %xmm12,0x60(%rsp)
1400725ee:	44 0f 29 6c 24 70    	movaps %xmm13,0x70(%rsp)
1400725f4:	44 0f 29 b4 24 80 00 	movaps %xmm14,0x80(%rsp)
1400725fb:	00 00
1400725fd:	44 0f 29 bc 24 90 00 	movaps %xmm15,0x90(%rsp)
140072604:	00 00
140072606:	66 45 0f 6e c0       	movd   %r8d,%xmm8
14007260b:	66 0f 6f 0d 7d 01 00 	movdqa 0x17d(%rip),%xmm1        # 0x140072790
140072612:	00
140072613:	66 0f 6f 05 65 01 00 	movdqa 0x165(%rip),%xmm0        # 0x140072780
14007261a:	00
14007261b:	66 45 0f 70 c0 00    	pshufd $0x0,%xmm8,%xmm8
140072621:	66 0f 6f f9          	movdqa %xmm1,%xmm7
140072625:	66 0f 6f d1          	movdqa %xmm1,%xmm2
140072629:	66 0f fe c8          	paddd  %xmm0,%xmm1
14007262d:	66 41 0f 76 c0       	pcmpeqd %xmm8,%xmm0
140072632:	66 0f 6f df          	movdqa %xmm7,%xmm3
140072636:	66 0f fe d1          	paddd  %xmm1,%xmm2
14007263a:	66 41 0f 76 c8       	pcmpeqd %xmm8,%xmm1
14007263f:	66 0f 6f e7          	movdqa %xmm7,%xmm4
140072643:	66 0f fe da          	paddd  %xmm2,%xmm3
140072647:	66 41 0f 76 d0       	pcmpeqd %xmm8,%xmm2
14007264c:	66 0f 6f ef          	movdqa %xmm7,%xmm5
140072650:	66 0f fe e3          	paddd  %xmm3,%xmm4
140072654:	66 41 0f 76 d8       	pcmpeqd %xmm8,%xmm3
140072659:	66 0f 6f f7          	movdqa %xmm7,%xmm6
14007265d:	66 0f fe ec          	paddd  %xmm4,%xmm5
140072661:	66 41 0f 76 e0       	pcmpeqd %xmm8,%xmm4
140072666:	66 0f fe f5          	paddd  %xmm5,%xmm6
14007266a:	66 41 0f 76 e8       	pcmpeqd %xmm8,%xmm5
14007266f:	66 0f fe fe          	paddd  %xmm6,%xmm7
140072673:	66 41 0f 76 f0       	pcmpeqd %xmm8,%xmm6
140072678:	66 41 0f 76 f8       	pcmpeqd %xmm8,%xmm7