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
14003f9de:	49 11 c2             	adc    %rax,%r10
14003f9e1:	66 48 0f 7e d0       	movq   %xmm2,%rax
14003f9e6:	48 83 d2 00          	adc    $0x0,%rdx
14003f9ea:	48 89 d5             	mov    %rdx,%rbp
14003f9ed:	48 f7 e0             	mul    %rax
14003f9f0:	49 01 eb             	add    %rbp,%r11
14003f9f3:	49 11 c4             	adc    %rax,%r12
14003f9f6:	66 48 0f 7e d8       	movq   %xmm3,%rax
14003f9fb:	48 83 d2 00          	adc    $0x0,%rdx
14003f9ff:	48 89 d5             	mov    %rdx,%rbp
14003fa02:	4c 89 c1             	mov    %r8,%rcx
14003fa05:	4c 0f af 46 20       	imul   0x20(%rsi),%r8
14003fa0a:	48 f7 e0             	mul    %rax
14003fa0d:	49 01 ed             	add    %rbp,%r13
14003fa10:	49 11 c6             	adc    %rax,%r14
14003fa13:	48 8b 06             	mov    (%rsi),%rax
14003fa16:	49 11 d7             	adc    %rdx,%r15
14003fa19:	49 f7 e0             	mul    %r8
14003fa1c:	4c 89 c5             	mov    %r8,%rbp
14003fa1f:	48 01 c1             	add    %rax,%rcx
14003fa22:	48 8b 46 08          	mov    0x8(%rsi),%rax
14003fa26:	48 11 d1             	adc    %rdx,%rcx
14003fa29:	4d 29 c2             	sub    %r8,%r10
14003fa2c:	48 83 dd 00          	sbb    $0x0,%rbp
14003fa30:	49 f7 e0             	mul    %r8
14003fa33:	49 01 c9             	add    %rcx,%r9
14003fa36:	48 83 d2 00          	adc    $0x0,%rdx
14003fa3a:	49 01 c1             	add    %rax,%r9
14003fa3d:	4c 89 c0             	mov    %r8,%rax
14003fa40:	49 11 d2             	adc    %rdx,%r10
14003fa43:	4c 89 c2             	mov    %r8,%rdx
14003fa46:	48 83 d5 00          	adc    $0x0,%rbp
14003fa4a:	4c 89 c9             	mov    %r9,%rcx
14003fa4d:	4c 0f af 4e 20       	imul   0x20(%rsi),%r9
14003fa52:	48 c1 e0 20          	shl    $0x20,%rax
14003fa56:	48 c1 ea 20          	shr    $0x20,%rdx
14003fa5a:	49 29 c3             	sub    %rax,%r11
14003fa5d:	48 8b 06             	mov    (%rsi),%rax
14003fa60:	49 19 d0             	sbb    %rdx,%r8
14003fa63:	49 01 eb             	add    %rbp,%r11
14003fa66:	49 83 d0 00          	adc    $0x0,%r8
14003fa6a:	49 f7 e1             	mul    %r9
14003fa6d:	4c 89 cd             	mov    %r9,%rbp
14003fa70:	48 01 c1             	add    %rax,%rcx
14003fa73:	48 8b 46 08          	mov    0x8(%rsi),%rax
14003fa77:	48 11 d1             	adc    %rdx,%rcx
14003fa7a:	4d 29 cb             	sub    %r9,%r11
14003fa7d:	48 83 dd 00          	sbb    $0x0,%rbp
14003fa81:	49 f7 e1             	mul    %r9
14003fa84:	49 01 ca             	add    %rcx,%r10
14003fa87:	48 83 d2 00          	adc    $0x0,%rdx
14003fa8b:	49 01 c2             	add    %rax,%r10
14003fa8e:	4c 89 c8             	mov    %r9,%rax
14003fa91:	49 11 d3             	adc    %rdx,%r11
14003fa94:	4c 89 ca             	mov    %r9,%rdx
14003fa97:	48 83 d5 00          	adc    $0x0,%rbp
14003fa9b:	4c 89 d1             	mov    %r10,%rcx
14003fa9e:	4c 0f af 56 20       	imul   0x20(%rsi),%r10
14003faa3:	48 c1 e0 20          	shl    $0x20,%rax
14003faa7:	48 c1 ea 20          	shr    $0x20,%rdx
14003faab:	49 29 c0             	sub    %rax,%r8
14003faae:	48 8b 06             	mov    (%rsi),%rax
14003fab1:	49 19 d1             	sbb    %rdx,%r9
14003fab4:	49 01 e8             	add    %rbp,%r8
14003fab7:	49 83 d1 00          	adc    $0x0,%r9
14003fabb:	49 f7 e2             	mul    %r10
14003fabe:	4c 89 d5             	mov    %r10,%rbp
14003fac1:	48 01 c1             	add    %rax,%rcx
14003fac4:	48 8b 46 08          	mov    0x8(%rsi),%rax
14003fac8:	48 11 d1             	adc    %rdx,%rcx
14003facb:	4d 29 d0             	sub    %r10,%r8
14003face:	48 83 dd 00          	sbb    $0x0,%rbp
14003fad2:	49 f7 e2             	mul    %r10
14003fad5:	49 01 cb             	add    %rcx,%r11
14003fad8:	48 83 d2 00          	adc    $0x0,%rdx
14003fadc:	49 01 c3             	add    %rax,%r11
14003fadf:	4c 89 d0             	mov    %r10,%rax
14003fae2:	49 11 d0             	adc    %rdx,%r8
14003fae5:	4c 89 d2             	mov    %r10,%rdx
14003fae8:	48 83 d5 00          	adc    $0x0,%rbp
14003faec:	4c 89 d9             	mov    %r11,%rcx
14003faef:	4c 0f af 5e 20       	imul   0x20(%rsi),%r11
14003faf4:	48 c1 e0 20          	shl    $0x20,%rax
14003faf8:	48 c1 ea 20          	shr    $0x20,%rdx
14003fafc:	49 29 c1             	sub    %rax,%r9
14003faff:	48 8b 06             	mov    (%rsi),%rax
14003fb02:	49 19 d2             	sbb    %rdx,%r10
14003fb05:	49 01 e9             	add    %rbp,%r9
14003fb08:	49 83 d2 00          	adc    $0x0,%r10
14003fb0c:	49 f7 e3             	mul    %r11
14003fb0f:	4c 89 dd             	mov    %r11,%rbp
14003fb12:	48 01 c1             	add    %rax,%rcx
14003fb15:	48 8b 46 08          	mov    0x8(%rsi),%rax
14003fb19:	48 11 d1             	adc    %rdx,%rcx
14003fb1c:	4d 29 d9             	sub    %r11,%r9
14003fb1f:	48 83 dd 00          	sbb    $0x0,%rbp
14003fb23:	49 f7 e3             	mul    %r11
14003fb26:	49 01 c8             	add    %rcx,%r8
14003fb29:	48 83 d2 00          	adc    $0x0,%rdx
14003fb2d:	49 01 c0             	add    %rax,%r8
14003fb30:	4c 89 d8             	mov    %r11,%rax
14003fb33:	49 11 d1             	adc    %rdx,%r9
14003fb36:	4c 89 da             	mov    %r11,%rdx
14003fb39:	48 83 d5 00          	adc    $0x0,%rbp
14003fb3d:	48 c1 e0 20          	shl    $0x20,%rax
14003fb41:	48 c1 ea 20          	shr    $0x20,%rdx
14003fb45:	49 29 c2             	sub    %rax,%r10
14003fb48:	49 19 d3             	sbb    %rdx,%r11
14003fb4b:	49 01 ea             	add    %rbp,%r10
14003fb4e:	49 83 d3 00          	adc    $0x0,%r11
14003fb52:	48 31 d2             	xor    %rdx,%rdx
14003fb55:	4d 01 e0             	add    %r12,%r8
14003fb58:	4d 11 e9             	adc    %r13,%r9
14003fb5b:	4d 89 c4             	mov    %r8,%r12
14003fb5e:	4d 11 f2             	adc    %r14,%r10
14003fb61:	4d 11 fb             	adc    %r15,%r11
14003fb64:	4c 89 c8             	mov    %r9,%rax
14003fb67:	48 83 d2 00          	adc    $0x0,%rdx
14003fb6b:	4c 2b 06             	sub    (%rsi),%r8
14003fb6e:	4d 89 d6             	mov    %r10,%r14
14003fb71:	4c 1b 4e 08          	sbb    0x8(%rsi),%r9
14003fb75:	4c 1b 56 10          	sbb    0x10(%rsi),%r10
14003fb79:	4d 89 df             	mov    %r11,%r15
14003fb7c:	4c 1b 5e 18          	sbb    0x18(%rsi),%r11
14003fb80:	48 83 da 00          	sbb    $0x0,%rdx
14003fb84:	4d 0f 42 c4          	cmovb  %r12,%r8
14003fb88:	49 0f 43 c1          	cmovae %r9,%rax
14003fb8c:	4d 0f 43 f2          	cmovae %r10,%r14
14003fb90:	4d 0f 43 fb          	cmovae %r11,%r15
14003fb94:	48 ff cb             	dec    %rbx
14003fb97:	0f 85 a3 fd ff ff    	jne    0x14003f940
14003fb9d:	4c 89 07             	mov    %r8,(%rdi)
14003fba0:	48 89 47 08          	mov    %rax,0x8(%rdi)
14003fba4:	66 0f ef c9          	pxor   %xmm1,%xmm1
14003fba8:	4c 89 77 10          	mov    %r14,0x10(%rdi)
14003fbac:	66 0f ef d2          	pxor   %xmm2,%xmm2
14003fbb0:	4c 89 7f 18          	mov    %r15,0x18(%rdi)
14003fbb4:	66 0f ef db          	pxor   %xmm3,%xmm3
14003fbb8:	4c 8b 3c 24          	mov    (%rsp),%r15
14003fbbc:	4c 8b 74 24 08       	mov    0x8(%rsp),%r14
14003fbc1:	4c 8b 6c 24 10       	mov    0x10(%rsp),%r13
14003fbc6:	4c 8b 64 24 18       	mov    0x18(%rsp),%r12
14003fbcb:	48 8b 5c 24 20       	mov    0x20(%rsp),%rbx
14003fbd0:	48 8b 6c 24 28       	mov    0x28(%rsp),%rbp
14003fbd5:	48 8d 64 24 30       	lea    0x30(%rsp),%rsp
14003fbda:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
14003fbdf:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
14003fbe4:	f3 c3                	repz ret
14003fbe6:	90                   	nop
14003fbe7:	90                   	nop
14003fbe8:	90                   	nop
14003fbe9:	90                   	nop
14003fbea:	90                   	nop
14003fbeb:	90                   	nop
14003fbec:	90                   	nop
14003fbed:	90                   	nop
14003fbee:	90                   	nop
14003fbef:	90                   	nop
14003fbf0:	90                   	nop
14003fbf1:	90                   	nop
14003fbf2:	90                   	nop
14003fbf3:	90                   	nop
14003fbf4:	90                   	nop
14003fbf5:	90                   	nop
14003fbf6:	90                   	nop
14003fbf7:	90                   	nop
14003fbf8:	90                   	nop
14003fbf9:	90                   	nop
14003fbfa:	90                   	nop
14003fbfb:	90                   	nop
14003fbfc:	90                   	nop
14003fbfd:	90                   	nop
14003fbfe:	90                   	nop
14003fbff:	90                   	nop
14003fc00:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)