14003f278:	49 ff cf             	dec    %r15
14003f27b:	75 b3                	jne    0x14003f230
14003f27d:	4a 8b 74 cc 08       	mov    0x8(%rsp,%r9,8),%rsi
14003f282:	b8 01 00 00 00       	mov    $0x1,%eax
14003f287:	4c 8b 7e d0          	mov    -0x30(%rsi),%r15
14003f28b:	4c 8b 76 d8          	mov    -0x28(%rsi),%r14
14003f28f:	4c 8b 6e e0          	mov    -0x20(%rsi),%r13
14003f293:	4c 8b 66 e8          	mov    -0x18(%rsi),%r12
14003f297:	48 8b 6e f0          	mov    -0x10(%rsi),%rbp
14003f29b:	48 8b 5e f8          	mov    -0x8(%rsi),%rbx
14003f29f:	48 8d 26             	lea    (%rsi),%rsp
14003f2a2:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
14003f2a7:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
14003f2ac:	f3 c3                	repz ret
14003f2ae:	90                   	nop
14003f2af:	90                   	nop
14003f2b0:	90                   	nop
14003f2b1:	90                   	nop
14003f2b2:	90                   	nop
14003f2b3:	90                   	nop
14003f2b4:	90                   	nop
14003f2b5:	90                   	nop
14003f2b6:	90                   	nop
14003f2b7:	90                   	nop
14003f2b8:	90                   	nop
14003f2b9:	90                   	nop
14003f2ba:	90                   	nop
14003f2bb:	90                   	nop
14003f2bc:	90                   	nop
14003f2bd:	90                   	nop
14003f2be:	90                   	nop
14003f2bf:	90                   	nop
14003f2c0:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
14003f2c5:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14003f2ca:	48 89 e0             	mov    %rsp,%rax
14003f2cd:	48 89 cf             	mov    %rcx,%rdi
14003f2d0:	48 89 d6             	mov    %rdx,%rsi
14003f2d3:	4c 89 c2             	mov    %r8,%rdx
14003f2d6:	4c 89 c9             	mov    %r9,%rcx
14003f2d9:	4c 8b 44 24 28       	mov    0x28(%rsp),%r8
14003f2de:	4c 8b 4c 24 30       	mov    0x30(%rsp),%r9
14003f2e3:	48 89 e0             	mov    %rsp,%rax
14003f2e6:	53                   	push   %rbx
14003f2e7:	55                   	push   %rbp
14003f2e8:	41 54                	push   %r12
14003f2ea:	41 55                	push   %r13
14003f2ec:	41 56                	push   %r14
14003f2ee:	41 57                	push   %r15
14003f2f0:	45 89 ca             	mov    %r9d,%r10d
14003f2f3:	41 c1 e1 03          	shl    $0x3,%r9d
14003f2f7:	49 c1 e2 05          	shl    $0x5,%r10
14003f2fb:	49 f7 d9             	neg    %r9
14003f2fe:	4e 8d 5c 4c c0       	lea    -0x40(%rsp,%r9,2),%r11
14003f303:	48 89 e5             	mov    %rsp,%rbp
14003f306:	4d 8b 00             	mov    (%r8),%r8
14003f309:	49 29 f3             	sub    %rsi,%r11
14003f30c:	49 81 e3 ff 0f 00 00 	and    $0xfff,%r11
14003f313:	4d 39 da             	cmp    %r11,%r10
14003f316:	72 28                	jb     0x14003f340
14003f318:	4c 29 dd             	sub    %r11,%rbp
14003f31b:	4a 8d 6c 4d c0       	lea    -0x40(%rbp,%r9,2),%rbp
14003f320:	eb 3b                	jmp    0x14003f35d
14003f322:	90                   	nop
14003f323:	90                   	nop
14003f324:	90                   	nop
14003f325:	90                   	nop
14003f326:	90                   	nop
14003f327:	90                   	nop
14003f328:	90                   	nop
14003f329:	90                   	nop
14003f32a:	90                   	nop
14003f32b:	90                   	nop
14003f32c:	90                   	nop
14003f32d:	90                   	nop
14003f32e:	90                   	nop
14003f32f:	90                   	nop
14003f330:	90                   	nop
14003f331:	90                   	nop
14003f332:	90                   	nop
14003f333:	90                   	nop
14003f334:	90                   	nop
14003f335:	90                   	nop
14003f336:	90                   	nop
14003f337:	90                   	nop
14003f338:	90                   	nop
14003f339:	90                   	nop
14003f33a:	90                   	nop
14003f33b:	90                   	nop
14003f33c:	90                   	nop
14003f33d:	90                   	nop
14003f33e:	90                   	nop
14003f33f:	90                   	nop
14003f340:	4f 8d 94 09 c0 0f 00 	lea    0xfc0(%r9,%r9,1),%r10
14003f347:	00
14003f348:	4a 8d 6c 4d c0       	lea    -0x40(%rbp,%r9,2),%rbp
14003f34d:	4d 29 d3             	sub    %r10,%r11
14003f350:	41 ba 00 00 00 00    	mov    $0x0,%r10d
14003f356:	4d 0f 42 da          	cmovb  %r10,%r11
14003f35a:	4c 29 dd             	sub    %r11,%rbp
14003f35d:	48 83 e5 c0          	and    $0xffffffffffffffc0,%rbp
14003f361:	49 89 e3             	mov    %rsp,%r11
14003f364:	49 29 eb             	sub    %rbp,%r11
14003f367:	49 81 e3 00 f0 ff ff 	and    $0xfffffffffffff000,%r11
14003f36e:	49 8d 24 2b          	lea    (%r11,%rbp,1),%rsp
14003f372:	4c 8b 14 24          	mov    (%rsp),%r10
14003f376:	48 39 ec             	cmp    %rbp,%rsp
14003f379:	77 05                	ja     0x14003f380
14003f37b:	eb 14                	jmp    0x14003f391
14003f37d:	90                   	nop
14003f37e:	90                   	nop
14003f37f:	90                   	nop
14003f380:	48 8d a4 24 00 f0 ff 	lea    -0x1000(%rsp),%rsp
14003f387:	ff
14003f388:	4c 8b 14 24          	mov    (%rsp),%r10
14003f38c:	48 39 ec             	cmp    %rbp,%rsp
14003f38f:	77 ef                	ja     0x14003f380
14003f391:	4d 89 ca             	mov    %r9,%r10
14003f394:	49 f7 d9             	neg    %r9
14003f397:	4c 89 44 24 20       	mov    %r8,0x20(%rsp)
14003f39c:	48 89 44 24 28       	mov    %rax,0x28(%rsp)
14003f3a1:	66 48 0f 6e d1       	movq   %rcx,%xmm2
14003f3a6:	66 0f ef c0          	pxor   %xmm0,%xmm0
14003f3aa:	66 48 0f 6e cf       	movq   %rdi,%xmm1
14003f3af:	66 49 0f 6e da       	movq   %r10,%xmm3
14003f3b4:	8b 05 2e 0d 3d 00    	mov    0x3d0d2e(%rip),%eax        # 0x1404100e8
14003f3ba:	25 00 01 08 00       	and    $0x80100,%eax
14003f3bf:	3d 00 01 08 00       	cmp    $0x80100,%eax
14003f3c4:	75 1a                	jne    0x14003f3e0
14003f3c6:	e8 35 50 00 00       	call   0x140044400
14003f3cb:	49 8d 1c 08          	lea    (%r8,%rcx,1),%rbx
14003f3cf:	49 89 c9             	mov    %rcx,%r9
14003f3d2:	48 89 ca             	mov    %rcx,%rdx
14003f3d5:	66 48 0f 7e cf       	movq   %xmm1,%rdi
14003f3da:	48 c1 f9 05          	sar    $0x5,%rcx
14003f3de:	eb 20                	jmp    0x14003f400
14003f3e0:	e8 1b 3a 00 00       	call   0x140042e00
14003f3e5:	4a 8d 1c 0f          	lea    (%rdi,%r9,1),%rbx
14003f3e9:	4c 89 c9             	mov    %r9,%rcx
14003f3ec:	4c 89 ca             	mov    %r9,%rdx
14003f3ef:	66 48 0f 7e cf       	movq   %xmm1,%rdi
14003f3f4:	48 c1 f9 05          	sar    $0x5,%rcx
14003f3f8:	eb 06                	jmp    0x14003f400
14003f3fa:	90                   	nop
14003f3fb:	90                   	nop
14003f3fc:	90                   	nop
14003f3fd:	90                   	nop
14003f3fe:	90                   	nop
14003f3ff:	90                   	nop
14003f400:	4c 8b 23             	mov    (%rbx),%r12
14003f403:	4c 8b 6b 08          	mov    0x8(%rbx),%r13
14003f407:	4c 8b 73 10          	mov    0x10(%rbx),%r14
14003f40b:	4c 8b 7b 18          	mov    0x18(%rbx),%r15
14003f40f:	48 8d 5b 20          	lea    0x20(%rbx),%rbx
14003f413:	4c 1b 65 00          	sbb    0x0(%rbp),%r12
14003f417:	4c 1b 6d 08          	sbb    0x8(%rbp),%r13
14003f41b:	4c 1b 75 10          	sbb    0x10(%rbp),%r14
14003f41f:	4c 1b 7d 18          	sbb    0x18(%rbp),%r15
14003f423:	48 8d 6d 20          	lea    0x20(%rbp),%rbp
14003f427:	4c 89 27             	mov    %r12,(%rdi)
14003f42a:	4c 89 6f 08          	mov    %r13,0x8(%rdi)
14003f42e:	4c 89 77 10          	mov    %r14,0x10(%rdi)
14003f432:	4c 89 7f 18          	mov    %r15,0x18(%rdi)
14003f436:	48 8d 7f 20          	lea    0x20(%rdi),%rdi
14003f43a:	48 ff c1             	inc    %rcx
14003f43d:	75 c1                	jne    0x14003f400
14003f43f:	48 83 d8 00          	sbb    $0x0,%rax
14003f443:	4a 8d 1c 0b          	lea    (%rbx,%r9,1),%rbx
14003f447:	4a 8d 3c 0f          	lea    (%rdi,%r9,1),%rdi
14003f44b:	66 48 0f 6e c8       	movq   %rax,%xmm1
14003f450:	66 0f ef c0          	pxor   %xmm0,%xmm0
14003f454:	66 0f 70 c9 00       	pshufd $0x0,%xmm1,%xmm1
14003f459:	48 8b 74 24 28       	mov    0x28(%rsp),%rsi
14003f45e:	eb 00                	jmp    0x14003f460
14003f460:	66 0f 6f 13          	movdqa (%rbx),%xmm2
14003f464:	66 0f 6f 5b 10       	movdqa 0x10(%rbx),%xmm3
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