14004043a:	49 83 c1 20          	add    $0x20,%r9
14004043e:	75 a0                	jne    0x1400403e0
140040440:	b8 01 00 00 00       	mov    $0x1,%eax
140040445:	4c 8b 7e d0          	mov    -0x30(%rsi),%r15
140040449:	4c 8b 76 d8          	mov    -0x28(%rsi),%r14
14004044d:	4c 8b 6e e0          	mov    -0x20(%rsi),%r13
140040451:	4c 8b 66 e8          	mov    -0x18(%rsi),%r12
140040455:	48 8b 6e f0          	mov    -0x10(%rsi),%rbp
140040459:	48 8b 5e f8          	mov    -0x8(%rsi),%rbx
14004045d:	48 8d 26             	lea    (%rsi),%rsp
140040460:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
140040465:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
14004046a:	f3 c3                	repz ret
14004046c:	90                   	nop
14004046d:	90                   	nop
14004046e:	90                   	nop
14004046f:	90                   	nop
140040470:	90                   	nop
140040471:	90                   	nop
140040472:	90                   	nop
140040473:	90                   	nop
140040474:	90                   	nop
140040475:	90                   	nop
140040476:	90                   	nop
140040477:	90                   	nop
140040478:	90                   	nop
140040479:	90                   	nop
14004047a:	90                   	nop
14004047b:	90                   	nop
14004047c:	90                   	nop
14004047d:	90                   	nop
14004047e:	90                   	nop
14004047f:	90                   	nop
140040480:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140040485:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14004048a:	48 89 e0             	mov    %rsp,%rax
14004048d:	48 89 cf             	mov    %rcx,%rdi
140040490:	48 89 d6             	mov    %rdx,%rsi
140040493:	4c 89 c2             	mov    %r8,%rdx
140040496:	4c 89 c9             	mov    %r9,%rcx
140040499:	4c 8b 44 24 28       	mov    0x28(%rsp),%r8
14004049e:	4c 8b 4c 24 30       	mov    0x30(%rsp),%r9
1400404a3:	48 89 e0             	mov    %rsp,%rax
1400404a6:	53                   	push   %rbx
1400404a7:	55                   	push   %rbp
1400404a8:	41 54                	push   %r12
1400404aa:	41 55                	push   %r13
1400404ac:	41 56                	push   %r14
1400404ae:	41 57                	push   %r15
1400404b0:	41 c1 e1 03          	shl    $0x3,%r9d
1400404b4:	4d 31 d2             	xor    %r10,%r10
1400404b7:	4d 29 ca             	sub    %r9,%r10
1400404ba:	4d 8b 00             	mov    (%r8),%r8
1400404bd:	4a 8d 6c 14 b8       	lea    -0x48(%rsp,%r10,1),%rbp
1400404c2:	48 83 e5 80          	and    $0xffffffffffffff80,%rbp
1400404c6:	49 89 e3             	mov    %rsp,%r11
1400404c9:	49 29 eb             	sub    %rbp,%r11
1400404cc:	49 81 e3 00 f0 ff ff 	and    $0xfffffffffffff000,%r11
1400404d3:	49 8d 24 2b          	lea    (%r11,%rbp,1),%rsp
1400404d7:	4c 8b 14 24          	mov    (%rsp),%r10
1400404db:	48 39 ec             	cmp    %rbp,%rsp
1400404de:	77 10                	ja     0x1400404f0
1400404e0:	eb 1f                	jmp    0x140040501
1400404e2:	90                   	nop
1400404e3:	90                   	nop
1400404e4:	90                   	nop
1400404e5:	90                   	nop
1400404e6:	90                   	nop
1400404e7:	90                   	nop
1400404e8:	90                   	nop
1400404e9:	90                   	nop
1400404ea:	90                   	nop
1400404eb:	90                   	nop
1400404ec:	90                   	nop
1400404ed:	90                   	nop
1400404ee:	90                   	nop
1400404ef:	90                   	nop
1400404f0:	48 8d a4 24 00 f0 ff 	lea    -0x1000(%rsp),%rsp
1400404f7:	ff
1400404f8:	4c 8b 14 24          	mov    (%rsp),%r10
1400404fc:	48 39 ec             	cmp    %rbp,%rsp
1400404ff:	77 ef                	ja     0x1400404f0
140040501:	4e 8d 14 0a          	lea    (%rdx,%r9,1),%r10
140040505:	4c 89 0c 24          	mov    %r9,(%rsp)
140040509:	49 c1 e9 05          	shr    $0x5,%r9
14004050d:	4c 89 54 24 10       	mov    %r10,0x10(%rsp)
140040512:	49 83 e9 01          	sub    $0x1,%r9
140040516:	4c 89 44 24 18       	mov    %r8,0x18(%rsp)
14004051b:	48 89 7c 24 20       	mov    %rdi,0x20(%rsp)
140040520:	48 89 44 24 28       	mov    %rax,0x28(%rsp)
140040525:	4c 89 4c 24 30       	mov    %r9,0x30(%rsp)
14004052a:	eb 14                	jmp    0x140040540
14004052c:	90                   	nop
14004052d:	90                   	nop
14004052e:	90                   	nop
14004052f:	90                   	nop
140040530:	90                   	nop
140040531:	90                   	nop
140040532:	90                   	nop
140040533:	90                   	nop
140040534:	90                   	nop
140040535:	90                   	nop
140040536:	90                   	nop
140040537:	90                   	nop
140040538:	90                   	nop
140040539:	90                   	nop
14004053a:	90                   	nop
14004053b:	90                   	nop
14004053c:	90                   	nop
14004053d:	90                   	nop
14004053e:	90                   	nop
14004053f:	90                   	nop
140040540:	48 8d 7a 08          	lea    0x8(%rdx),%rdi
140040544:	48 8b 12             	mov    (%rdx),%rdx
140040547:	48 8d 5c 24 60       	lea    0x60(%rsp),%rbx
14004054c:	49 89 d1             	mov    %rdx,%r9
14004054f:	c4 e2 bb f6 06       	mulx   (%rsi),%r8,%rax
140040554:	c4 62 a3 f6 76 08    	mulx   0x8(%rsi),%r11,%r14
14004055a:	49 01 c3             	add    %rax,%r11
14004055d:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140040562:	c4 62 9b f6 6e 10    	mulx   0x10(%rsi),%r12,%r13
140040568:	4d 11 f4             	adc    %r14,%r12
14004056b:	49 83 d5 00          	adc    $0x0,%r13
14004056f:	4c 89 c7             	mov    %r8,%rdi
140040572:	4c 0f af 44 24 18    	imul   0x18(%rsp),%r8
140040578:	48 31 ed             	xor    %rbp,%rbp
14004057b:	c4 62 fb f6 76 18    	mulx   0x18(%rsi),%rax,%r14
140040581:	4c 89 c2             	mov    %r8,%rdx
140040584:	48 8d 76 20          	lea    0x20(%rsi),%rsi
140040588:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
14004058e:	66 4c 0f 38 f6 f5    	adcx   %rbp,%r14
140040594:	c4 62 fb f6 11       	mulx   (%rcx),%rax,%r10
140040599:	66 48 0f 38 f6 f8    	adcx   %rax,%rdi
14004059f:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
1400405a5:	c4 62 fb f6 59 08    	mulx   0x8(%rcx),%rax,%r11
1400405ab:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
1400405b1:	f3 4d 0f 38 f6 dc    	adox   %r12,%r11
1400405b7:	c4 62 fb f6 a1 10 00 	mulx   0x10(%rcx),%rax,%r12
1400405be:	00 00
1400405c0:	48 8b 7c 24 30       	mov    0x30(%rsp),%rdi
1400405c5:	4c 89 53 e0          	mov    %r10,-0x20(%rbx)
1400405c9:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
1400405cf:	f3 4d 0f 38 f6 e5    	adox   %r13,%r12
1400405d5:	c4 62 fb f6 79 18    	mulx   0x18(%rcx),%rax,%r15
1400405db:	4c 89 ca             	mov    %r9,%rdx
1400405de:	4c 89 5b e8          	mov    %r11,-0x18(%rbx)
1400405e2:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
1400405e8:	f3 4c 0f 38 f6 fd    	adox   %rbp,%r15
1400405ee:	48 8d 49 20          	lea    0x20(%rcx),%rcx
1400405f2:	4c 89 63 f0          	mov    %r12,-0x10(%rbx)
1400405f6:	eb 08                	jmp    0x140040600
1400405f8:	90                   	nop
1400405f9:	90                   	nop
1400405fa:	90                   	nop
1400405fb:	90                   	nop
1400405fc:	90                   	nop
1400405fd:	90                   	nop
1400405fe:	90                   	nop
1400405ff:	90                   	nop
140040600:	66 4c 0f 38 f6 fd    	adcx   %rbp,%r15
140040606:	c4 e2 ab f6 06       	mulx   (%rsi),%r10,%rax
14004060b:	66 4d 0f 38 f6 d6    	adcx   %r14,%r10
140040611:	c4 62 a3 f6 76 08    	mulx   0x8(%rsi),%r11,%r14
140040617:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
14004061d:	c4 e2 9b f6 46 10    	mulx   0x10(%rsi),%r12,%rax
140040623:	66 4d 0f 38 f6 e6    	adcx   %r14,%r12
140040629:	c4 62 93 f6 76 18    	mulx   0x18(%rsi),%r13,%r14
14004062f:	67 67 4c 89 c2       	addr32 addr32 mov %r8,%rdx
140040634:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
14004063a:	66 4c 0f 38 f6 f5    	adcx   %rbp,%r14
140040640:	48 8d 76 20          	lea    0x20(%rsi),%rsi
140040644:	48 8d 5b 20          	lea    0x20(%rbx),%rbx
140040648:	f3 4d 0f 38 f6 d7    	adox   %r15,%r10
14004064e:	c4 62 fb f6 39       	mulx   (%rcx),%rax,%r15
140040653:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
140040659:	f3 4d 0f 38 f6 df    	adox   %r15,%r11
14004065f:	c4 62 fb f6 79 08    	mulx   0x8(%rcx),%rax,%r15
140040665:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
14004066b:	f3 4d 0f 38 f6 e7    	adox   %r15,%r12
140040671:	c4 62 fb f6 79 10    	mulx   0x10(%rcx),%rax,%r15
140040677:	4c 89 53 d8          	mov    %r10,-0x28(%rbx)
14004067b:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
140040681:	4c 89 5b e0          	mov    %r11,-0x20(%rbx)
140040685:	f3 4d 0f 38 f6 ef    	adox   %r15,%r13
14004068b:	c4 62 fb f6 79 18    	mulx   0x18(%rcx),%rax,%r15
140040691:	4c 89 ca             	mov    %r9,%rdx
140040694:	4c 89 63 e8          	mov    %r12,-0x18(%rbx)
140040698:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
14004069e:	f3 4c 0f 38 f6 fd    	adox   %rbp,%r15
1400406a4:	48 8d 49 20          	lea    0x20(%rcx),%rcx
1400406a8:	4c 89 6b f0          	mov    %r13,-0x10(%rbx)
1400406ac:	48 ff cf             	dec    %rdi
1400406af:	0f 85 4b ff ff ff    	jne    0x140040600
1400406b5:	48 8b 04 24          	mov    (%rsp),%rax
1400406b9:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
1400406be:	49 11 ef             	adc    %rbp,%r15
1400406c1:	4d 01 fe             	add    %r15,%r14
1400406c4:	4d 19 ff             	sbb    %r15,%r15
1400406c7:	4c 89 73 f8          	mov    %r14,-0x8(%rbx)
1400406cb:	eb 13                	jmp    0x1400406e0
1400406cd:	90                   	nop
1400406ce:	90                   	nop
1400406cf:	90                   	nop
1400406d0:	90                   	nop
1400406d1:	90                   	nop
1400406d2:	90                   	nop
1400406d3:	90                   	nop
1400406d4:	90                   	nop
1400406d5:	90                   	nop
1400406d6:	90                   	nop
1400406d7:	90                   	nop
1400406d8:	90                   	nop
1400406d9:	90                   	nop
1400406da:	90                   	nop
1400406db:	90                   	nop
1400406dc:	90                   	nop
1400406dd:	90                   	nop
1400406de:	90                   	nop
1400406df:	90                   	nop
1400406e0:	48 8b 17             	mov    (%rdi),%rdx
1400406e3:	48 8d 7f 08          	lea    0x8(%rdi),%rdi
1400406e7:	48 29 c6             	sub    %rax,%rsi
1400406ea:	4c 89 3b             	mov    %r15,(%rbx)
1400406ed:	48 8d 5c 24 60       	lea    0x60(%rsp),%rbx
1400406f2:	48 29 c1             	sub    %rax,%rcx
1400406f5:	c4 62 bb f6 1e       	mulx   (%rsi),%r8,%r11
1400406fa:	31 ed                	xor    %ebp,%ebp
1400406fc:	49 89 d1             	mov    %rdx,%r9
1400406ff:	c4 62 8b f6 66 08    	mulx   0x8(%rsi),%r14,%r12
140040705:	f3 4c 0f 38 f6 43 e0 	adox   -0x20(%rbx),%r8
14004070c:	66 4d 0f 38 f6 de    	adcx   %r14,%r11
140040712:	c4 62 83 f6 6e 10    	mulx   0x10(%rsi),%r15,%r13
140040718:	f3 4c 0f 38 f6 5b e8 	adox   -0x18(%rbx),%r11
14004071f:	66 4d 0f 38 f6 e7    	adcx   %r15,%r12
140040725:	f3 4c 0f 38 f6 63 f0 	adox   -0x10(%rbx),%r12
14004072c:	66 4c 0f 38 f6 ed    	adcx   %rbp,%r13
140040732:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
140040738:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
14004073d:	4d 89 c7             	mov    %r8,%r15
140040740:	4c 0f af 44 24 18    	imul   0x18(%rsp),%r8
140040746:	31 ed                	xor    %ebp,%ebp
140040748:	c4 62 fb f6 76 18    	mulx   0x18(%rsi),%rax,%r14
14004074e:	4c 89 c2             	mov    %r8,%rdx
140040751:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
140040757:	f3 4c 0f 38 f6 6b f8 	adox   -0x8(%rbx),%r13
14004075e:	66 4c 0f 38 f6 f5    	adcx   %rbp,%r14
140040764:	48 8d 76 20          	lea    0x20(%rsi),%rsi
140040768:	f3 4c 0f 38 f6 f5    	adox   %rbp,%r14
14004076e:	c4 62 fb f6 11       	mulx   (%rcx),%rax,%r10
140040773:	66 4c 0f 38 f6 f8    	adcx   %rax,%r15
140040779:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
14004077f:	c4 62 fb f6 59 08    	mulx   0x8(%rcx),%rax,%r11
140040785:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
14004078b:	f3 4d 0f 38 f6 dc    	adox   %r12,%r11
140040791:	c4 62 fb f6 61 10    	mulx   0x10(%rcx),%rax,%r12
140040797:	4c 89 53 e0          	mov    %r10,-0x20(%rbx)
14004079b:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
1400407a1:	f3 4d 0f 38 f6 e5    	adox   %r13,%r12
1400407a7:	c4 62 fb f6 79 18    	mulx   0x18(%rcx),%rax,%r15
1400407ad:	4c 89 ca             	mov    %r9,%rdx
1400407b0:	4c 89 5b e8          	mov    %r11,-0x18(%rbx)
1400407b4:	48 8d 49 20          	lea    0x20(%rcx),%rcx
1400407b8:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
1400407be:	f3 4c 0f 38 f6 fd    	adox   %rbp,%r15
1400407c4:	48 8b 7c 24 30       	mov    0x30(%rsp),%rdi
1400407c9:	4c 89 63 f0          	mov    %r12,-0x10(%rbx)
1400407cd:	eb 11                	jmp    0x1400407e0
1400407cf:	90                   	nop
1400407d0:	90                   	nop
1400407d1:	90                   	nop
1400407d2:	90                   	nop
1400407d3:	90                   	nop
1400407d4:	90                   	nop
1400407d5:	90                   	nop
1400407d6:	90                   	nop
1400407d7:	90                   	nop
1400407d8:	90                   	nop
1400407d9:	90                   	nop
1400407da:	90                   	nop
1400407db:	90                   	nop
1400407dc:	90                   	nop
1400407dd:	90                   	nop
1400407de:	90                   	nop
1400407df:	90                   	nop
1400407e0:	c4 e2 ab f6 06       	mulx   (%rsi),%r10,%rax
1400407e5:	66 4c 0f 38 f6 fd    	adcx   %rbp,%r15
1400407eb:	f3 4d 0f 38 f6 d6    	adox   %r14,%r10
1400407f1:	c4 62 a3 f6 76 08    	mulx   0x8(%rsi),%r11,%r14
1400407f7:	66 4c 0f 38 f6 13    	adcx   (%rbx),%r10
1400407fd:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
140040803:	c4 e2 9b f6 46 10    	mulx   0x10(%rsi),%r12,%rax
140040809:	66 4c 0f 38 f6 5b 08 	adcx   0x8(%rbx),%r11
140040810:	f3 4d 0f 38 f6 e6    	adox   %r14,%r12
140040816:	c4 62 93 f6 76 18    	mulx   0x18(%rsi),%r13,%r14
14004081c:	4c 89 c2             	mov    %r8,%rdx
14004081f:	66 4c 0f 38 f6 63 10 	adcx   0x10(%rbx),%r12
140040826:	f3 4c 0f 38 f6 e8    	adox   %rax,%r13
14004082c:	66 4c 0f 38 f6 6b 18 	adcx   0x18(%rbx),%r13
140040833:	f3 4c 0f 38 f6 f5    	adox   %rbp,%r14
140040839:	48 8d 76 20          	lea    0x20(%rsi),%rsi
14004083d:	48 8d 5b 20          	lea    0x20(%rbx),%rbx
140040841:	66 4c 0f 38 f6 f5    	adcx   %rbp,%r14
140040847:	f3 4d 0f 38 f6 d7    	adox   %r15,%r10
14004084d:	c4 62 fb f6 39       	mulx   (%rcx),%rax,%r15
140040852:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
140040858:	f3 4d 0f 38 f6 df    	adox   %r15,%r11
14004085e:	c4 62 fb f6 79 08    	mulx   0x8(%rcx),%rax,%r15
140040864:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
14004086a:	f3 4d 0f 38 f6 e7    	adox   %r15,%r12
140040870:	c4 62 fb f6 79 10    	mulx   0x10(%rcx),%rax,%r15
140040876:	4c 89 53 d8          	mov    %r10,-0x28(%rbx)
14004087a:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
140040880:	f3 4d 0f 38 f6 ef    	adox   %r15,%r13
140040886:	c4 62 fb f6 79 18    	mulx   0x18(%rcx),%rax,%r15
14004088c:	4c 89 ca             	mov    %r9,%rdx
14004088f:	4c 89 5b e0          	mov    %r11,-0x20(%rbx)
140040893:	4c 89 63 e8          	mov    %r12,-0x18(%rbx)
140040897:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
14004089d:	f3 4c 0f 38 f6 fd    	adox   %rbp,%r15
1400408a3:	48 8d 49 20          	lea    0x20(%rcx),%rcx
1400408a7:	4c 89 6b f0          	mov    %r13,-0x10(%rbx)
1400408ab:	48 ff cf             	dec    %rdi
1400408ae:	0f 85 2c ff ff ff    	jne    0x1400407e0
1400408b4:	48 8b 04 24          	mov    (%rsp),%rax
1400408b8:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
1400408bd:	49 11 ef             	adc    %rbp,%r15
1400408c0:	48 2b 2b             	sub    (%rbx),%rbp
1400408c3:	4d 11 fe             	adc    %r15,%r14
1400408c6:	4d 19 ff             	sbb    %r15,%r15
1400408c9:	4c 89 73 f8          	mov    %r14,-0x8(%rbx)
1400408cd:	48 3b 7c 24 10       	cmp    0x10(%rsp),%rdi
1400408d2:	0f 85 08 fe ff ff    	jne    0x1400406e0
1400408d8:	48 8d 5c 24 40       	lea    0x40(%rsp),%rbx
1400408dd:	48 29 c1             	sub    %rax,%rcx
1400408e0:	49 f7 df             	neg    %r15
1400408e3:	48 89 c2             	mov    %rax,%rdx
1400408e6:	48 c1 e8 05          	shr    $0x5,%rax
1400408ea:	48 8b 7c 24 20       	mov    0x20(%rsp),%rdi
1400408ef:	eb 0f                	jmp    0x140040900
1400408f1:	90                   	nop
1400408f2:	90                   	nop
1400408f3:	90                   	nop
1400408f4:	90                   	nop
1400408f5:	90                   	nop
1400408f6:	90                   	nop
1400408f7:	90                   	nop
1400408f8:	90                   	nop
1400408f9:	90                   	nop
1400408fa:	90                   	nop
1400408fb:	90                   	nop