14003f595:	41 57                	push   %r15
14003f597:	48 8b 02             	mov    (%rdx),%rax
14003f59a:	48 89 d3             	mov    %rdx,%rbx
14003f59d:	4c 8d 35 1c fb ff ff 	lea    -0x4e4(%rip),%r14        # 0x14003f0c0
14003f5a4:	4c 8b 3d 35 fb ff ff 	mov    -0x4cb(%rip),%r15        # 0x14003f0e0
14003f5ab:	48 89 c1             	mov    %rax,%rcx
14003f5ae:	48 f7 26             	mulq   (%rsi)
14003f5b1:	49 89 c0             	mov    %rax,%r8
14003f5b4:	48 89 c8             	mov    %rcx,%rax
14003f5b7:	49 89 d1             	mov    %rdx,%r9
14003f5ba:	48 f7 66 08          	mulq   0x8(%rsi)
14003f5be:	49 01 c1             	add    %rax,%r9
14003f5c1:	48 89 c8             	mov    %rcx,%rax
14003f5c4:	48 83 d2 00          	adc    $0x0,%rdx
14003f5c8:	49 89 d2             	mov    %rdx,%r10
14003f5cb:	48 f7 66 10          	mulq   0x10(%rsi)
14003f5cf:	49 01 c2             	add    %rax,%r10
14003f5d2:	48 89 c8             	mov    %rcx,%rax
14003f5d5:	48 83 d2 00          	adc    $0x0,%rdx
14003f5d9:	4d 89 c5             	mov    %r8,%r13
14003f5dc:	4d 0f af c7          	imul   %r15,%r8
14003f5e0:	49 89 d3             	mov    %rdx,%r11
14003f5e3:	48 f7 66 18          	mulq   0x18(%rsi)
14003f5e7:	49 01 c3             	add    %rax,%r11
14003f5ea:	4c 89 c0             	mov    %r8,%rax
14003f5ed:	48 83 d2 00          	adc    $0x0,%rdx
14003f5f1:	49 89 d4             	mov    %rdx,%r12
14003f5f4:	49 f7 26             	mulq   (%r14)
14003f5f7:	4c 89 c5             	mov    %r8,%rbp
14003f5fa:	49 01 c5             	add    %rax,%r13
14003f5fd:	4c 89 c0             	mov    %r8,%rax
14003f600:	48 83 d2 00          	adc    $0x0,%rdx
14003f604:	48 89 d1             	mov    %rdx,%rcx
14003f607:	4d 29 c2             	sub    %r8,%r10
14003f60a:	49 83 d8 00          	sbb    $0x0,%r8
14003f60e:	49 f7 66 08          	mulq   0x8(%r14)
14003f612:	49 01 c9             	add    %rcx,%r9
14003f615:	48 83 d2 00          	adc    $0x0,%rdx
14003f619:	49 01 c1             	add    %rax,%r9
14003f61c:	48 89 e8             	mov    %rbp,%rax
14003f61f:	49 11 d2             	adc    %rdx,%r10
14003f622:	48 89 ea             	mov    %rbp,%rdx
14003f625:	49 83 d0 00          	adc    $0x0,%r8
14003f629:	48 c1 e0 20          	shl    $0x20,%rax
14003f62d:	48 c1 ea 20          	shr    $0x20,%rdx
14003f631:	49 29 c3             	sub    %rax,%r11
14003f634:	48 8b 43 08          	mov    0x8(%rbx),%rax
14003f638:	48 19 d5             	sbb    %rdx,%rbp
14003f63b:	4d 01 c3             	add    %r8,%r11
14003f63e:	49 11 ec             	adc    %rbp,%r12
14003f641:	49 83 d5 00          	adc    $0x0,%r13
14003f645:	48 89 c1             	mov    %rax,%rcx
14003f648:	48 f7 26             	mulq   (%rsi)
14003f64b:	49 01 c1             	add    %rax,%r9
14003f64e:	48 89 c8             	mov    %rcx,%rax
14003f651:	48 83 d2 00          	adc    $0x0,%rdx
14003f655:	48 89 d5             	mov    %rdx,%rbp
14003f658:	48 f7 66 08          	mulq   0x8(%rsi)
14003f65c:	49 01 ea             	add    %rbp,%r10
14003f65f:	48 83 d2 00          	adc    $0x0,%rdx
14003f663:	49 01 c2             	add    %rax,%r10
14003f666:	48 89 c8             	mov    %rcx,%rax
14003f669:	48 83 d2 00          	adc    $0x0,%rdx
14003f66d:	48 89 d5             	mov    %rdx,%rbp
14003f670:	48 f7 66 10          	mulq   0x10(%rsi)
14003f674:	49 01 eb             	add    %rbp,%r11
14003f677:	48 83 d2 00          	adc    $0x0,%rdx
14003f67b:	49 01 c3             	add    %rax,%r11
14003f67e:	48 89 c8             	mov    %rcx,%rax
14003f681:	48 83 d2 00          	adc    $0x0,%rdx
14003f685:	4c 89 c9             	mov    %r9,%rcx
14003f688:	4d 0f af cf          	imul   %r15,%r9
14003f68c:	48 89 d5             	mov    %rdx,%rbp
14003f68f:	48 f7 66 18          	mulq   0x18(%rsi)
14003f693:	49 01 ec             	add    %rbp,%r12
14003f696:	48 83 d2 00          	adc    $0x0,%rdx
14003f69a:	4d 31 c0             	xor    %r8,%r8
14003f69d:	49 01 c4             	add    %rax,%r12
14003f6a0:	4c 89 c8             	mov    %r9,%rax
14003f6a3:	49 11 d5             	adc    %rdx,%r13
14003f6a6:	49 83 d0 00          	adc    $0x0,%r8
14003f6aa:	49 f7 26             	mulq   (%r14)
14003f6ad:	4c 89 cd             	mov    %r9,%rbp
14003f6b0:	48 01 c1             	add    %rax,%rcx
14003f6b3:	4c 89 c8             	mov    %r9,%rax
14003f6b6:	48 11 d1             	adc    %rdx,%rcx
14003f6b9:	4d 29 cb             	sub    %r9,%r11
14003f6bc:	49 83 d9 00          	sbb    $0x0,%r9
14003f6c0:	49 f7 66 08          	mulq   0x8(%r14)
14003f6c4:	49 01 ca             	add    %rcx,%r10
14003f6c7:	48 83 d2 00          	adc    $0x0,%rdx
14003f6cb:	49 01 c2             	add    %rax,%r10
14003f6ce:	48 89 e8             	mov    %rbp,%rax
14003f6d1:	49 11 d3             	adc    %rdx,%r11
14003f6d4:	48 89 ea             	mov    %rbp,%rdx
14003f6d7:	49 83 d1 00          	adc    $0x0,%r9
14003f6db:	48 c1 e0 20          	shl    $0x20,%rax
14003f6df:	48 c1 ea 20          	shr    $0x20,%rdx
14003f6e3:	49 29 c4             	sub    %rax,%r12
14003f6e6:	48 8b 43 10          	mov    0x10(%rbx),%rax
14003f6ea:	48 19 d5             	sbb    %rdx,%rbp
14003f6ed:	4d 01 cc             	add    %r9,%r12
14003f6f0:	49 11 ed             	adc    %rbp,%r13
14003f6f3:	49 83 d0 00          	adc    $0x0,%r8
14003f6f7:	48 89 c1             	mov    %rax,%rcx
14003f6fa:	48 f7 26             	mulq   (%rsi)
14003f6fd:	49 01 c2             	add    %rax,%r10
14003f700:	48 89 c8             	mov    %rcx,%rax
14003f703:	48 83 d2 00          	adc    $0x0,%rdx
14003f707:	48 89 d5             	mov    %rdx,%rbp
14003f70a:	48 f7 66 08          	mulq   0x8(%rsi)
14003f70e:	49 01 eb             	add    %rbp,%r11
14003f711:	48 83 d2 00          	adc    $0x0,%rdx
14003f715:	49 01 c3             	add    %rax,%r11
14003f718:	48 89 c8             	mov    %rcx,%rax
14003f71b:	48 83 d2 00          	adc    $0x0,%rdx
14003f71f:	48 89 d5             	mov    %rdx,%rbp
14003f722:	48 f7 66 10          	mulq   0x10(%rsi)
14003f726:	49 01 ec             	add    %rbp,%r12
14003f729:	48 83 d2 00          	adc    $0x0,%rdx
14003f72d:	49 01 c4             	add    %rax,%r12
14003f730:	48 89 c8             	mov    %rcx,%rax
14003f733:	48 83 d2 00          	adc    $0x0,%rdx
14003f737:	4c 89 d1             	mov    %r10,%rcx
14003f73a:	4d 0f af d7          	imul   %r15,%r10
14003f73e:	48 89 d5             	mov    %rdx,%rbp
14003f741:	48 f7 66 18          	mulq   0x18(%rsi)
14003f745:	49 01 ed             	add    %rbp,%r13
14003f748:	48 83 d2 00          	adc    $0x0,%rdx
14003f74c:	4d 31 c9             	xor    %r9,%r9
14003f74f:	49 01 c5             	add    %rax,%r13
14003f752:	4c 89 d0             	mov    %r10,%rax
14003f755:	49 11 d0             	adc    %rdx,%r8
14003f758:	49 83 d1 00          	adc    $0x0,%r9
14003f75c:	49 f7 26             	mulq   (%r14)
14003f75f:	4c 89 d5             	mov    %r10,%rbp
14003f762:	48 01 c1             	add    %rax,%rcx
14003f765:	4c 89 d0             	mov    %r10,%rax
14003f768:	48 11 d1             	adc    %rdx,%rcx
14003f76b:	4d 29 d4             	sub    %r10,%r12
14003f76e:	49 83 da 00          	sbb    $0x0,%r10
14003f772:	49 f7 66 08          	mulq   0x8(%r14)
14003f776:	49 01 cb             	add    %rcx,%r11
14003f779:	48 83 d2 00          	adc    $0x0,%rdx
14003f77d:	49 01 c3             	add    %rax,%r11
14003f780:	48 89 e8             	mov    %rbp,%rax
14003f783:	49 11 d4             	adc    %rdx,%r12
14003f786:	48 89 ea             	mov    %rbp,%rdx
14003f789:	49 83 d2 00          	adc    $0x0,%r10
14003f78d:	48 c1 e0 20          	shl    $0x20,%rax
14003f791:	48 c1 ea 20          	shr    $0x20,%rdx
14003f795:	49 29 c5             	sub    %rax,%r13
14003f798:	48 8b 43 18          	mov    0x18(%rbx),%rax
14003f79c:	48 19 d5             	sbb    %rdx,%rbp
14003f79f:	4d 01 d5             	add    %r10,%r13
14003f7a2:	49 11 e8             	adc    %rbp,%r8
14003f7a5:	49 83 d1 00          	adc    $0x0,%r9
14003f7a9:	48 89 c1             	mov    %rax,%rcx
14003f7ac:	48 f7 26             	mulq   (%rsi)
14003f7af:	49 01 c3             	add    %rax,%r11
14003f7b2:	48 89 c8             	mov    %rcx,%rax
14003f7b5:	48 83 d2 00          	adc    $0x0,%rdx
14003f7b9:	48 89 d5             	mov    %rdx,%rbp
14003f7bc:	48 f7 66 08          	mulq   0x8(%rsi)
14003f7c0:	49 01 ec             	add    %rbp,%r12
14003f7c3:	48 83 d2 00          	adc    $0x0,%rdx
14003f7c7:	49 01 c4             	add    %rax,%r12
14003f7ca:	48 89 c8             	mov    %rcx,%rax
14003f7cd:	48 83 d2 00          	adc    $0x0,%rdx
14003f7d1:	48 89 d5             	mov    %rdx,%rbp
14003f7d4:	48 f7 66 10          	mulq   0x10(%rsi)
14003f7d8:	49 01 ed             	add    %rbp,%r13
14003f7db:	48 83 d2 00          	adc    $0x0,%rdx
14003f7df:	49 01 c5             	add    %rax,%r13
14003f7e2:	48 89 c8             	mov    %rcx,%rax
14003f7e5:	48 83 d2 00          	adc    $0x0,%rdx
14003f7e9:	4c 89 d9             	mov    %r11,%rcx
14003f7ec:	4d 0f af df          	imul   %r15,%r11
14003f7f0:	48 89 d5             	mov    %rdx,%rbp
14003f7f3:	48 f7 66 18          	mulq   0x18(%rsi)
14003f7f7:	49 01 e8             	add    %rbp,%r8
14003f7fa:	48 83 d2 00          	adc    $0x0,%rdx
14003f7fe:	4d 31 d2             	xor    %r10,%r10
14003f801:	49 01 c0             	add    %rax,%r8
14003f804:	4c 89 d8             	mov    %r11,%rax
14003f807:	49 11 d1             	adc    %rdx,%r9
14003f80a:	49 83 d2 00          	adc    $0x0,%r10
14003f80e:	49 f7 26             	mulq   (%r14)
14003f811:	4c 89 dd             	mov    %r11,%rbp
14003f814:	48 01 c1             	add    %rax,%rcx
14003f817:	4c 89 d8             	mov    %r11,%rax
14003f81a:	48 11 d1             	adc    %rdx,%rcx
14003f81d:	4d 29 dd             	sub    %r11,%r13
14003f820:	49 83 db 00          	sbb    $0x0,%r11
14003f824:	49 f7 66 08          	mulq   0x8(%r14)
14003f828:	49 01 cc             	add    %rcx,%r12
14003f82b:	48 83 d2 00          	adc    $0x0,%rdx
14003f82f:	49 01 c4             	add    %rax,%r12
14003f832:	48 89 e8             	mov    %rbp,%rax
14003f835:	49 11 d5             	adc    %rdx,%r13
14003f838:	48 89 ea             	mov    %rbp,%rdx
14003f83b:	49 83 d3 00          	adc    $0x0,%r11
14003f83f:	48 c1 e0 20          	shl    $0x20,%rax
14003f843:	48 c1 ea 20          	shr    $0x20,%rdx
14003f847:	49 29 c0             	sub    %rax,%r8
14003f84a:	48 19 d5             	sbb    %rdx,%rbp
14003f84d:	4d 01 d8             	add    %r11,%r8
14003f850:	49 11 e9             	adc    %rbp,%r9
14003f853:	49 83 d2 00          	adc    $0x0,%r10
14003f857:	4c 89 e6             	mov    %r12,%rsi
14003f85a:	4d 2b 26             	sub    (%r14),%r12
14003f85d:	4d 89 eb             	mov    %r13,%r11
14003f860:	4d 1b 6e 08          	sbb    0x8(%r14),%r13
14003f864:	4c 89 c1             	mov    %r8,%rcx
14003f867:	4d 1b 46 10          	sbb    0x10(%r14),%r8
14003f86b:	4c 89 cd             	mov    %r9,%rbp
14003f86e:	4d 1b 4e 18          	sbb    0x18(%r14),%r9
14003f872:	49 83 da 00          	sbb    $0x0,%r10
14003f876:	4c 0f 42 e6          	cmovb  %rsi,%r12
14003f87a:	4d 0f 42 eb          	cmovb  %r11,%r13
14003f87e:	4c 0f 42 c1          	cmovb  %rcx,%r8
14003f882:	4c 0f 42 cd          	cmovb  %rbp,%r9
14003f886:	4c 89 27             	mov    %r12,(%rdi)
14003f889:	4c 89 6f 08          	mov    %r13,0x8(%rdi)
14003f88d:	4c 89 47 10          	mov    %r8,0x10(%rdi)
14003f891:	4c 89 4f 18          	mov    %r9,0x18(%rdi)
14003f895:	4c 8b 3c 24          	mov    (%rsp),%r15
14003f899:	4c 8b 74 24 08       	mov    0x8(%rsp),%r14
14003f89e:	4c 8b 6c 24 10       	mov    0x10(%rsp),%r13
14003f8a3:	4c 8b 64 24 18       	mov    0x18(%rsp),%r12
14003f8a8:	48 8b 5c 24 20       	mov    0x20(%rsp),%rbx
14003f8ad:	48 8b 6c 24 28       	mov    0x28(%rsp),%rbp
14003f8b2:	48 8d 64 24 30       	lea    0x30(%rsp),%rsp
14003f8b7:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
14003f8bc:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
14003f8c1:	f3 c3                	repz ret
14003f8c3:	90                   	nop
14003f8c4:	90                   	nop
14003f8c5:	90                   	nop
14003f8c6:	90                   	nop
14003f8c7:	90                   	nop
14003f8c8:	90                   	nop
14003f8c9:	90                   	nop
14003f8ca:	90                   	nop
14003f8cb:	90                   	nop
14003f8cc:	90                   	nop
14003f8cd:	90                   	nop
14003f8ce:	90                   	nop
14003f8cf:	90                   	nop
14003f8d0:	90                   	nop
14003f8d1:	90                   	nop
14003f8d2:	90                   	nop
14003f8d3:	90                   	nop
14003f8d4:	90                   	nop
14003f8d5:	90                   	nop
14003f8d6:	90                   	nop
14003f8d7:	90                   	nop
14003f8d8:	90                   	nop
14003f8d9:	90                   	nop
14003f8da:	90                   	nop
14003f8db:	90                   	nop
14003f8dc:	90                   	nop
14003f8dd:	90                   	nop
14003f8de:	90                   	nop
14003f8df:	90                   	nop
14003f8e0:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
14003f8e5:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14003f8ea:	48 89 e0             	mov    %rsp,%rax
14003f8ed:	48 89 cf             	mov    %rcx,%rdi
14003f8f0:	48 89 d6             	mov    %rdx,%rsi
14003f8f3:	4c 89 c2             	mov    %r8,%rdx
14003f8f6:	b9 00 01 08 00       	mov    $0x80100,%ecx
14003f8fb:	23 0d 17 c4 39 00    	and    0x39c417(%rip),%ecx        # 0x1403dbd18
14003f901:	81 f9 00 01 08 00    	cmp    $0x80100,%ecx
14003f907:	0f 84 e9 06 00 00    	je     0x14003fff6
14003f90d:	55                   	push   %rbp
14003f90e:	53                   	push   %rbx
14003f90f:	41 54                	push   %r12
14003f911:	41 55                	push   %r13
14003f913:	41 56                	push   %r14
14003f915:	41 57                	push   %r15
14003f917:	4c 8b 06             	mov    (%rsi),%r8
14003f91a:	48 8b 46 08          	mov    0x8(%rsi),%rax
14003f91e:	4c 8b 76 10          	mov    0x10(%rsi),%r14
14003f922:	4c 8b 7e 18          	mov    0x18(%rsi),%r15
14003f926:	48 8d 35 93 f7 ff ff 	lea    -0x86d(%rip),%rsi        # 0x14003f0c0
14003f92d:	48 89 d3             	mov    %rdx,%rbx
14003f930:	eb 0e                	jmp    0x14003f940
14003f932:	90                   	nop
14003f933:	90                   	nop
14003f934:	90                   	nop
14003f935:	90                   	nop
14003f936:	90                   	nop
14003f937:	90                   	nop
14003f938:	90                   	nop
14003f939:	90                   	nop
14003f93a:	90                   	nop
14003f93b:	90                   	nop
14003f93c:	90                   	nop
14003f93d:	90                   	nop
14003f93e:	90                   	nop
14003f93f:	90                   	nop
14003f940:	48 89 c5             	mov    %rax,%rbp
14003f943:	49 f7 e0             	mul    %r8
14003f946:	49 89 c1             	mov    %rax,%r9
14003f949:	66 48 0f 6e cd       	movq   %rbp,%xmm1
14003f94e:	4c 89 f0             	mov    %r14,%rax
14003f951:	49 89 d2             	mov    %rdx,%r10
14003f954:	49 f7 e0             	mul    %r8
14003f957:	49 01 c2             	add    %rax,%r10
14003f95a:	4c 89 f8             	mov    %r15,%rax
14003f95d:	66 49 0f 6e d6       	movq   %r14,%xmm2
14003f962:	48 83 d2 00          	adc    $0x0,%rdx
14003f966:	49 89 d3             	mov    %rdx,%r11
14003f969:	49 f7 e0             	mul    %r8
14003f96c:	49 01 c3             	add    %rax,%r11
14003f96f:	4c 89 f8             	mov    %r15,%rax
14003f972:	66 49 0f 6e df       	movq   %r15,%xmm3
14003f977:	48 83 d2 00          	adc    $0x0,%rdx
14003f97b:	49 89 d4             	mov    %rdx,%r12
14003f97e:	49 f7 e6             	mul    %r14
14003f981:	49 89 c5             	mov    %rax,%r13
14003f984:	4c 89 f0             	mov    %r14,%rax
14003f987:	49 89 d6             	mov    %rdx,%r14
14003f98a:	48 f7 e5             	mul    %rbp
14003f98d:	49 01 c3             	add    %rax,%r11
14003f990:	4c 89 f8             	mov    %r15,%rax
14003f993:	48 83 d2 00          	adc    $0x0,%rdx
14003f997:	49 89 d7             	mov    %rdx,%r15
14003f99a:	48 f7 e5             	mul    %rbp
14003f99d:	49 01 c4             	add    %rax,%r12
14003f9a0:	48 83 d2 00          	adc    $0x0,%rdx
14003f9a4:	4d 01 fc             	add    %r15,%r12
14003f9a7:	49 11 d5             	adc    %rdx,%r13
14003f9aa:	49 83 d6 00          	adc    $0x0,%r14
14003f9ae:	4d 31 ff             	xor    %r15,%r15
14003f9b1:	4c 89 c0             	mov    %r8,%rax
14003f9b4:	4d 01 c9             	add    %r9,%r9
14003f9b7:	4d 11 d2             	adc    %r10,%r10
14003f9ba:	4d 11 db             	adc    %r11,%r11
14003f9bd:	4d 11 e4             	adc    %r12,%r12
14003f9c0:	4d 11 ed             	adc    %r13,%r13
14003f9c3:	4d 11 f6             	adc    %r14,%r14
14003f9c6:	49 83 d7 00          	adc    $0x0,%r15
14003f9ca:	48 f7 e0             	mul    %rax
14003f9cd:	49 89 c0             	mov    %rax,%r8
14003f9d0:	66 48 0f 7e c8       	movq   %xmm1,%rax
14003f9d5:	48 89 d5             	mov    %rdx,%rbp
14003f9d8:	48 f7 e0             	mul    %rax
14003f9db:	49 01 e9             	add    %rbp,%r9