14003f469:	48 8d 5b 20          	lea    0x20(%rbx),%rbx
14003f46d:	f3 0f 6f 27          	movdqu (%rdi),%xmm4
14003f471:	f3 0f 6f 6f 10       	movdqu 0x10(%rdi),%xmm5
14003f476:	48 8d 7f 20          	lea    0x20(%rdi),%rdi
14003f47a:	66 0f 7f 43 e0       	movdqa %xmm0,-0x20(%rbx)
14003f47f:	66 0f 7f 43 f0       	movdqa %xmm0,-0x10(%rbx)
14003f484:	66 0f 7f 44 13 e0    	movdqa %xmm0,-0x20(%rbx,%rdx,1)
14003f48a:	66 0f 7f 44 13 f0    	movdqa %xmm0,-0x10(%rbx,%rdx,1)
14003f490:	66 0f 76 c1          	pcmpeqd %xmm1,%xmm0
14003f494:	66 0f db d1          	pand   %xmm1,%xmm2
14003f498:	66 0f db d9          	pand   %xmm1,%xmm3
14003f49c:	66 0f db e0          	pand   %xmm0,%xmm4
14003f4a0:	66 0f db e8          	pand   %xmm0,%xmm5
14003f4a4:	66 0f ef c0          	pxor   %xmm0,%xmm0
14003f4a8:	66 0f eb e2          	por    %xmm2,%xmm4
14003f4ac:	66 0f eb eb          	por    %xmm3,%xmm5
14003f4b0:	f3 0f 7f 67 e0       	movdqu %xmm4,-0x20(%rdi)
14003f4b5:	f3 0f 7f 6f f0       	movdqu %xmm5,-0x10(%rdi)
14003f4ba:	49 83 c1 20          	add    $0x20,%r9
14003f4be:	75 a0                	jne    0x14003f460
14003f4c0:	b8 01 00 00 00       	mov    $0x1,%eax
14003f4c5:	4c 8b 7e d0          	mov    -0x30(%rsi),%r15
14003f4c9:	4c 8b 76 d8          	mov    -0x28(%rsi),%r14
14003f4cd:	4c 8b 6e e0          	mov    -0x20(%rsi),%r13
14003f4d1:	4c 8b 66 e8          	mov    -0x18(%rsi),%r12
14003f4d5:	48 8b 6e f0          	mov    -0x10(%rsi),%rbp
14003f4d9:	48 8b 5e f8          	mov    -0x8(%rsi),%rbx
14003f4dd:	48 8d 26             	lea    (%rsi),%rsp
14003f4e0:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
14003f4e5:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
14003f4ea:	f3 c3                	repz ret
14003f4ec:	90                   	nop
14003f4ed:	90                   	nop
14003f4ee:	90                   	nop
14003f4ef:	90                   	nop
14003f4f0:	90                   	nop
14003f4f1:	90                   	nop
14003f4f2:	90                   	nop
14003f4f3:	90                   	nop
14003f4f4:	90                   	nop
14003f4f5:	90                   	nop
14003f4f6:	90                   	nop
14003f4f7:	90                   	nop
14003f4f8:	90                   	nop
14003f4f9:	90                   	nop
14003f4fa:	90                   	nop
14003f4fb:	90                   	nop
14003f4fc:	90                   	nop
14003f4fd:	90                   	nop
14003f4fe:	90                   	nop
14003f4ff:	90                   	nop
14003f500:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
14003f505:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14003f50a:	48 89 e0             	mov    %rsp,%rax
14003f50d:	48 89 cf             	mov    %rcx,%rdi
14003f510:	48 89 d6             	mov    %rdx,%rsi
14003f513:	4c 89 c2             	mov    %r8,%rdx
14003f516:	4c 89 c9             	mov    %r9,%rcx
14003f519:	4c 8b 44 24 28       	mov    0x28(%rsp),%r8
14003f51e:	4c 8b 4c 24 30       	mov    0x30(%rsp),%r9
14003f523:	48 89 e0             	mov    %rsp,%rax
14003f526:	53                   	push   %rbx
14003f527:	55                   	push   %rbp
14003f528:	41 54                	push   %r12
14003f52a:	41 55                	push   %r13
14003f52c:	41 56                	push   %r14
14003f52e:	41 57                	push   %r15
14003f530:	41 c1 e1 03          	shl    $0x3,%r9d
14003f534:	4d 31 d2             	xor    %r10,%r10
14003f537:	4d 29 ca             	sub    %r9,%r10
14003f53a:	4d 8b 00             	mov    (%r8),%r8
14003f53d:	4a 8d 6c 14 b8       	lea    -0x48(%rsp,%r10,1),%rbp
14003f542:	48 83 e5 80          	and    $0xffffffffffffff80,%rbp
14003f546:	49 89 e3             	mov    %rsp,%r11
14003f549:	49 29 eb             	sub    %rbp,%r11
14003f54c:	49 81 e3 00 f0 ff ff 	and    $0xfffffffffffff000,%r11
14003f553:	49 8d 24 2b          	lea    (%r11,%rbp,1),%rsp
14003f557:	4c 8b 14 24          	mov    (%rsp),%r10
14003f55b:	48 39 ec             	cmp    %rbp,%rsp
14003f55e:	77 10                	ja     0x14003f570
14003f560:	eb 1f                	jmp    0x14003f581
14003f562:	90                   	nop
14003f563:	90                   	nop
14003f564:	90                   	nop
14003f565:	90                   	nop
14003f566:	90                   	nop
14003f567:	90                   	nop
14003f568:	90                   	nop
14003f569:	90                   	nop
14003f56a:	90                   	nop
14003f56b:	90                   	nop
14003f56c:	90                   	nop
14003f56d:	90                   	nop
14003f56e:	90                   	nop
14003f56f:	90                   	nop
14003f570:	48 8d a4 24 00 f0 ff 	lea    -0x1000(%rsp),%rsp
14003f577:	ff
14003f578:	4c 8b 14 24          	mov    (%rsp),%r10
14003f57c:	48 39 ec             	cmp    %rbp,%rsp
14003f57f:	77 ef                	ja     0x14003f570
14003f581:	4e 8d 14 0a          	lea    (%rdx,%r9,1),%r10
14003f585:	4c 89 0c 24          	mov    %r9,(%rsp)
14003f589:	49 c1 e9 05          	shr    $0x5,%r9
14003f58d:	4c 89 54 24 10       	mov    %r10,0x10(%rsp)
14003f592:	49 83 e9 01          	sub    $0x1,%r9
14003f596:	4c 89 44 24 18       	mov    %r8,0x18(%rsp)
14003f59b:	48 89 7c 24 20       	mov    %rdi,0x20(%rsp)
14003f5a0:	48 89 44 24 28       	mov    %rax,0x28(%rsp)
14003f5a5:	4c 89 4c 24 30       	mov    %r9,0x30(%rsp)
14003f5aa:	eb 14                	jmp    0x14003f5c0
14003f5ac:	90                   	nop
14003f5ad:	90                   	nop
14003f5ae:	90                   	nop
14003f5af:	90                   	nop
14003f5b0:	90                   	nop
14003f5b1:	90                   	nop
14003f5b2:	90                   	nop
14003f5b3:	90                   	nop
14003f5b4:	90                   	nop
14003f5b5:	90                   	nop
14003f5b6:	90                   	nop
14003f5b7:	90                   	nop
14003f5b8:	90                   	nop
14003f5b9:	90                   	nop
14003f5ba:	90                   	nop
14003f5bb:	90                   	nop
14003f5bc:	90                   	nop
14003f5bd:	90                   	nop
14003f5be:	90                   	nop
14003f5bf:	90                   	nop
14003f5c0:	48 8d 7a 08          	lea    0x8(%rdx),%rdi
14003f5c4:	48 8b 12             	mov    (%rdx),%rdx
14003f5c7:	48 8d 5c 24 60       	lea    0x60(%rsp),%rbx
14003f5cc:	49 89 d1             	mov    %rdx,%r9
14003f5cf:	c4 e2 bb f6 06       	mulx   (%rsi),%r8,%rax
14003f5d4:	c4 62 a3 f6 76 08    	mulx   0x8(%rsi),%r11,%r14
14003f5da:	49 01 c3             	add    %rax,%r11
14003f5dd:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
14003f5e2:	c4 62 9b f6 6e 10    	mulx   0x10(%rsi),%r12,%r13
14003f5e8:	4d 11 f4             	adc    %r14,%r12
14003f5eb:	49 83 d5 00          	adc    $0x0,%r13
14003f5ef:	4c 89 c7             	mov    %r8,%rdi
14003f5f2:	4c 0f af 44 24 18    	imul   0x18(%rsp),%r8
14003f5f8:	48 31 ed             	xor    %rbp,%rbp
14003f5fb:	c4 62 fb f6 76 18    	mulx   0x18(%rsi),%rax,%r14
14003f601:	4c 89 c2             	mov    %r8,%rdx
14003f604:	48 8d 76 20          	lea    0x20(%rsi),%rsi
14003f608:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
14003f60e:	66 4c 0f 38 f6 f5    	adcx   %rbp,%r14
14003f614:	c4 62 fb f6 11       	mulx   (%rcx),%rax,%r10
14003f619:	66 48 0f 38 f6 f8    	adcx   %rax,%rdi
14003f61f:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
14003f625:	c4 62 fb f6 59 08    	mulx   0x8(%rcx),%rax,%r11
14003f62b:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
14003f631:	f3 4d 0f 38 f6 dc    	adox   %r12,%r11
14003f637:	c4 62 fb f6 a1 10 00 	mulx   0x10(%rcx),%rax,%r12
14003f63e:	00 00
14003f640:	48 8b 7c 24 30       	mov    0x30(%rsp),%rdi
14003f645:	4c 89 53 e0          	mov    %r10,-0x20(%rbx)
14003f649:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
14003f64f:	f3 4d 0f 38 f6 e5    	adox   %r13,%r12
14003f655:	c4 62 fb f6 79 18    	mulx   0x18(%rcx),%rax,%r15
14003f65b:	4c 89 ca             	mov    %r9,%rdx
14003f65e:	4c 89 5b e8          	mov    %r11,-0x18(%rbx)
14003f662:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
14003f668:	f3 4c 0f 38 f6 fd    	adox   %rbp,%r15
14003f66e:	48 8d 49 20          	lea    0x20(%rcx),%rcx
14003f672:	4c 89 63 f0          	mov    %r12,-0x10(%rbx)
14003f676:	eb 08                	jmp    0x14003f680
14003f678:	90                   	nop
14003f679:	90                   	nop
14003f67a:	90                   	nop
14003f67b:	90                   	nop
14003f67c:	90                   	nop
14003f67d:	90                   	nop
14003f67e:	90                   	nop
14003f67f:	90                   	nop
14003f680:	66 4c 0f 38 f6 fd    	adcx   %rbp,%r15
14003f686:	c4 e2 ab f6 06       	mulx   (%rsi),%r10,%rax
14003f68b:	66 4d 0f 38 f6 d6    	adcx   %r14,%r10
14003f691:	c4 62 a3 f6 76 08    	mulx   0x8(%rsi),%r11,%r14
14003f697:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
14003f69d:	c4 e2 9b f6 46 10    	mulx   0x10(%rsi),%r12,%rax
14003f6a3:	66 4d 0f 38 f6 e6    	adcx   %r14,%r12
14003f6a9:	c4 62 93 f6 76 18    	mulx   0x18(%rsi),%r13,%r14
14003f6af:	67 67 4c 89 c2       	addr32 addr32 mov %r8,%rdx
14003f6b4:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
14003f6ba:	66 4c 0f 38 f6 f5    	adcx   %rbp,%r14
14003f6c0:	48 8d 76 20          	lea    0x20(%rsi),%rsi
14003f6c4:	48 8d 5b 20          	lea    0x20(%rbx),%rbx
14003f6c8:	f3 4d 0f 38 f6 d7    	adox   %r15,%r10
14003f6ce:	c4 62 fb f6 39       	mulx   (%rcx),%rax,%r15
14003f6d3:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
14003f6d9:	f3 4d 0f 38 f6 df    	adox   %r15,%r11
14003f6df:	c4 62 fb f6 79 08    	mulx   0x8(%rcx),%rax,%r15
14003f6e5:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
14003f6eb:	f3 4d 0f 38 f6 e7    	adox   %r15,%r12
14003f6f1:	c4 62 fb f6 79 10    	mulx   0x10(%rcx),%rax,%r15
14003f6f7:	4c 89 53 d8          	mov    %r10,-0x28(%rbx)
14003f6fb:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
14003f701:	4c 89 5b e0          	mov    %r11,-0x20(%rbx)
14003f705:	f3 4d 0f 38 f6 ef    	adox   %r15,%r13
14003f70b:	c4 62 fb f6 79 18    	mulx   0x18(%rcx),%rax,%r15
14003f711:	4c 89 ca             	mov    %r9,%rdx
14003f714:	4c 89 63 e8          	mov    %r12,-0x18(%rbx)
14003f718:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
14003f71e:	f3 4c 0f 38 f6 fd    	adox   %rbp,%r15
14003f724:	48 8d 49 20          	lea    0x20(%rcx),%rcx
14003f728:	4c 89 6b f0          	mov    %r13,-0x10(%rbx)
14003f72c:	48 ff cf             	dec    %rdi
14003f72f:	0f 85 4b ff ff ff    	jne    0x14003f680
14003f735:	48 8b 04 24          	mov    (%rsp),%rax
14003f739:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
14003f73e:	49 11 ef             	adc    %rbp,%r15
14003f741:	4d 01 fe             	add    %r15,%r14
14003f744:	4d 19 ff             	sbb    %r15,%r15
14003f747:	4c 89 73 f8          	mov    %r14,-0x8(%rbx)
14003f74b:	eb 13                	jmp    0x14003f760
14003f74d:	90                   	nop
14003f74e:	90                   	nop
14003f74f:	90                   	nop
14003f750:	90                   	nop
14003f751:	90                   	nop
14003f752:	90                   	nop
14003f753:	90                   	nop
14003f754:	90                   	nop
14003f755:	90                   	nop
14003f756:	90                   	nop
14003f757:	90                   	nop
14003f758:	90                   	nop
14003f759:	90                   	nop
14003f75a:	90                   	nop
14003f75b:	90                   	nop
14003f75c:	90                   	nop
14003f75d:	90                   	nop
14003f75e:	90                   	nop
14003f75f:	90                   	nop
14003f760:	48 8b 17             	mov    (%rdi),%rdx
14003f763:	48 8d 7f 08          	lea    0x8(%rdi),%rdi
14003f767:	48 29 c6             	sub    %rax,%rsi
14003f76a:	4c 89 3b             	mov    %r15,(%rbx)
14003f76d:	48 8d 5c 24 60       	lea    0x60(%rsp),%rbx
14003f772:	48 29 c1             	sub    %rax,%rcx
14003f775:	c4 62 bb f6 1e       	mulx   (%rsi),%r8,%r11
14003f77a:	31 ed                	xor    %ebp,%ebp
14003f77c:	49 89 d1             	mov    %rdx,%r9
14003f77f:	c4 62 8b f6 66 08    	mulx   0x8(%rsi),%r14,%r12
14003f785:	f3 4c 0f 38 f6 43 e0 	adox   -0x20(%rbx),%r8
14003f78c:	66 4d 0f 38 f6 de    	adcx   %r14,%r11
14003f792:	c4 62 83 f6 6e 10    	mulx   0x10(%rsi),%r15,%r13
14003f798:	f3 4c 0f 38 f6 5b e8 	adox   -0x18(%rbx),%r11
14003f79f:	66 4d 0f 38 f6 e7    	adcx   %r15,%r12
14003f7a5:	f3 4c 0f 38 f6 63 f0 	adox   -0x10(%rbx),%r12
14003f7ac:	66 4c 0f 38 f6 ed    	adcx   %rbp,%r13
14003f7b2:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
14003f7b8:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
14003f7bd:	4d 89 c7             	mov    %r8,%r15
14003f7c0:	4c 0f af 44 24 18    	imul   0x18(%rsp),%r8
14003f7c6:	31 ed                	xor    %ebp,%ebp
14003f7c8:	c4 62 fb f6 76 18    	mulx   0x18(%rsi),%rax,%r14
14003f7ce:	4c 89 c2             	mov    %r8,%rdx
14003f7d1:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
14003f7d7:	f3 4c 0f 38 f6 6b f8 	adox   -0x8(%rbx),%r13
14003f7de:	66 4c 0f 38 f6 f5    	adcx   %rbp,%r14
14003f7e4:	48 8d 76 20          	lea    0x20(%rsi),%rsi
14003f7e8:	f3 4c 0f 38 f6 f5    	adox   %rbp,%r14
14003f7ee:	c4 62 fb f6 11       	mulx   (%rcx),%rax,%r10
14003f7f3:	66 4c 0f 38 f6 f8    	adcx   %rax,%r15
14003f7f9:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
14003f7ff:	c4 62 fb f6 59 08    	mulx   0x8(%rcx),%rax,%r11
14003f805:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
14003f80b:	f3 4d 0f 38 f6 dc    	adox   %r12,%r11
14003f811:	c4 62 fb f6 61 10    	mulx   0x10(%rcx),%rax,%r12
14003f817:	4c 89 53 e0          	mov    %r10,-0x20(%rbx)
14003f81b:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
14003f821:	f3 4d 0f 38 f6 e5    	adox   %r13,%r12
14003f827:	c4 62 fb f6 79 18    	mulx   0x18(%rcx),%rax,%r15
14003f82d:	4c 89 ca             	mov    %r9,%rdx
14003f830:	4c 89 5b e8          	mov    %r11,-0x18(%rbx)
14003f834:	48 8d 49 20          	lea    0x20(%rcx),%rcx
14003f838:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
14003f83e:	f3 4c 0f 38 f6 fd    	adox   %rbp,%r15
14003f844:	48 8b 7c 24 30       	mov    0x30(%rsp),%rdi
14003f849:	4c 89 63 f0          	mov    %r12,-0x10(%rbx)
14003f84d:	eb 11                	jmp    0x14003f860
14003f84f:	90                   	nop
14003f850:	90                   	nop
14003f851:	90                   	nop
14003f852:	90                   	nop
14003f853:	90                   	nop
14003f854:	90                   	nop
14003f855:	90                   	nop
14003f856:	90                   	nop
14003f857:	90                   	nop
14003f858:	90                   	nop
14003f859:	90                   	nop
14003f85a:	90                   	nop
14003f85b:	90                   	nop
14003f85c:	90                   	nop
14003f85d:	90                   	nop
14003f85e:	90                   	nop
14003f85f:	90                   	nop
14003f860:	c4 e2 ab f6 06       	mulx   (%rsi),%r10,%rax
14003f865:	66 4c 0f 38 f6 fd    	adcx   %rbp,%r15
14003f86b:	f3 4d 0f 38 f6 d6    	adox   %r14,%r10
14003f871:	c4 62 a3 f6 76 08    	mulx   0x8(%rsi),%r11,%r14
14003f877:	66 4c 0f 38 f6 13    	adcx   (%rbx),%r10
14003f87d:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
14003f883:	c4 e2 9b f6 46 10    	mulx   0x10(%rsi),%r12,%rax
14003f889:	66 4c 0f 38 f6 5b 08 	adcx   0x8(%rbx),%r11
14003f890:	f3 4d 0f 38 f6 e6    	adox   %r14,%r12
14003f896:	c4 62 93 f6 76 18    	mulx   0x18(%rsi),%r13,%r14
14003f89c:	4c 89 c2             	mov    %r8,%rdx
14003f89f:	66 4c 0f 38 f6 63 10 	adcx   0x10(%rbx),%r12
14003f8a6:	f3 4c 0f 38 f6 e8    	adox   %rax,%r13
14003f8ac:	66 4c 0f 38 f6 6b 18 	adcx   0x18(%rbx),%r13
14003f8b3:	f3 4c 0f 38 f6 f5    	adox   %rbp,%r14
14003f8b9:	48 8d 76 20          	lea    0x20(%rsi),%rsi
14003f8bd:	48 8d 5b 20          	lea    0x20(%rbx),%rbx
14003f8c1:	66 4c 0f 38 f6 f5    	adcx   %rbp,%r14
14003f8c7:	f3 4d 0f 38 f6 d7    	adox   %r15,%r10
14003f8cd:	c4 62 fb f6 39       	mulx   (%rcx),%rax,%r15
14003f8d2:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
14003f8d8:	f3 4d 0f 38 f6 df    	adox   %r15,%r11
14003f8de:	c4 62 fb f6 79 08    	mulx   0x8(%rcx),%rax,%r15
14003f8e4:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
14003f8ea:	f3 4d 0f 38 f6 e7    	adox   %r15,%r12
14003f8f0:	c4 62 fb f6 79 10    	mulx   0x10(%rcx),%rax,%r15
14003f8f6:	4c 89 53 d8          	mov    %r10,-0x28(%rbx)
14003f8fa:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
14003f900:	f3 4d 0f 38 f6 ef    	adox   %r15,%r13
14003f906:	c4 62 fb f6 79 18    	mulx   0x18(%rcx),%rax,%r15
14003f90c:	4c 89 ca             	mov    %r9,%rdx
14003f90f:	4c 89 5b e0          	mov    %r11,-0x20(%rbx)
14003f913:	4c 89 63 e8          	mov    %r12,-0x18(%rbx)
14003f917:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
14003f91d:	f3 4c 0f 38 f6 fd    	adox   %rbp,%r15
14003f923:	48 8d 49 20          	lea    0x20(%rcx),%rcx
14003f927:	4c 89 6b f0          	mov    %r13,-0x10(%rbx)
14003f92b:	48 ff cf             	dec    %rdi
14003f92e:	0f 85 2c ff ff ff    	jne    0x14003f860
14003f934:	48 8b 04 24          	mov    (%rsp),%rax
14003f938:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
14003f93d:	49 11 ef             	adc    %rbp,%r15
14003f940:	48 2b 2b             	sub    (%rbx),%rbp
14003f943:	4d 11 fe             	adc    %r15,%r14
14003f946:	4d 19 ff             	sbb    %r15,%r15
14003f949:	4c 89 73 f8          	mov    %r14,-0x8(%rbx)
14003f94d:	48 3b 7c 24 10       	cmp    0x10(%rsp),%rdi
14003f952:	0f 85 08 fe ff ff    	jne    0x14003f760