14006d0c9:	f3 4c 0f 38 f6 d1    	adox   %rcx,%r10
14006d0cf:	66 4d 0f 38 f6 f6    	adcx   %r14,%r14
14006d0d5:	c4 e2 f3 f6 ea       	mulx   %rdx,%rcx,%rbp
14006d0da:	67 66 48 0f 7e da    	addr32 movq %xmm3,%rdx
14006d0e0:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
14006d0e6:	66 4d 0f 38 f6 ff    	adcx   %r15,%r15
14006d0ec:	f3 4c 0f 38 f6 e1    	adox   %rcx,%r12
14006d0f2:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
14006d0f8:	c4 e2 f3 f6 c2       	mulx   %rdx,%rcx,%rax
14006d0fd:	f3 4c 0f 38 f6 f1    	adox   %rcx,%r14
14006d103:	f3 4c 0f 38 f6 f8    	adox   %rax,%r15
14006d109:	4c 89 c2             	mov    %r8,%rdx
14006d10c:	c4 e2 eb f6 4e 20    	mulx   0x20(%rsi),%rdx,%rcx
14006d112:	48 31 c0             	xor    %rax,%rax
14006d115:	c4 e2 f3 f6 2e       	mulx   (%rsi),%rcx,%rbp
14006d11a:	66 4c 0f 38 f6 c1    	adcx   %rcx,%r8
14006d120:	f3 4c 0f 38 f6 cd    	adox   %rbp,%r9
14006d126:	c4 e2 f3 f6 6e 08    	mulx   0x8(%rsi),%rcx,%rbp
14006d12c:	66 4c 0f 38 f6 c9    	adcx   %rcx,%r9
14006d132:	f3 4c 0f 38 f6 d5    	adox   %rbp,%r10
14006d138:	c4 e2 f3 f6 6e 10    	mulx   0x10(%rsi),%rcx,%rbp
14006d13e:	66 4c 0f 38 f6 d1    	adcx   %rcx,%r10
14006d144:	f3 4c 0f 38 f6 dd    	adox   %rbp,%r11
14006d14a:	c4 e2 f3 f6 6e 18    	mulx   0x18(%rsi),%rcx,%rbp
14006d150:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
14006d156:	f3 4c 0f 38 f6 c5    	adox   %rbp,%r8
14006d15c:	66 4c 0f 38 f6 c0    	adcx   %rax,%r8
14006d162:	4c 89 ca             	mov    %r9,%rdx
14006d165:	c4 e2 eb f6 4e 20    	mulx   0x20(%rsi),%rdx,%rcx
14006d16b:	c4 e2 f3 f6 2e       	mulx   (%rsi),%rcx,%rbp
14006d170:	f3 4c 0f 38 f6 c9    	adox   %rcx,%r9
14006d176:	66 4c 0f 38 f6 d5    	adcx   %rbp,%r10
14006d17c:	c4 e2 f3 f6 6e 08    	mulx   0x8(%rsi),%rcx,%rbp
14006d182:	f3 4c 0f 38 f6 d1    	adox   %rcx,%r10
14006d188:	66 4c 0f 38 f6 dd    	adcx   %rbp,%r11
14006d18e:	c4 e2 f3 f6 6e 10    	mulx   0x10(%rsi),%rcx,%rbp
14006d194:	f3 4c 0f 38 f6 d9    	adox   %rcx,%r11
14006d19a:	66 4c 0f 38 f6 c5    	adcx   %rbp,%r8
14006d1a0:	c4 e2 f3 f6 6e 18    	mulx   0x18(%rsi),%rcx,%rbp
14006d1a6:	f3 4c 0f 38 f6 c1    	adox   %rcx,%r8
14006d1ac:	66 4c 0f 38 f6 cd    	adcx   %rbp,%r9
14006d1b2:	f3 4c 0f 38 f6 c8    	adox   %rax,%r9
14006d1b8:	4c 89 d2             	mov    %r10,%rdx
14006d1bb:	c4 e2 eb f6 4e 20    	mulx   0x20(%rsi),%rdx,%rcx
14006d1c1:	c4 e2 f3 f6 2e       	mulx   (%rsi),%rcx,%rbp
14006d1c6:	66 4c 0f 38 f6 d1    	adcx   %rcx,%r10
14006d1cc:	f3 4c 0f 38 f6 dd    	adox   %rbp,%r11
14006d1d2:	c4 e2 f3 f6 6e 08    	mulx   0x8(%rsi),%rcx,%rbp
14006d1d8:	66 4c 0f 38 f6 d9    	adcx   %rcx,%r11
14006d1de:	f3 4c 0f 38 f6 c5    	adox   %rbp,%r8
14006d1e4:	c4 e2 f3 f6 6e 10    	mulx   0x10(%rsi),%rcx,%rbp
14006d1ea:	66 4c 0f 38 f6 c1    	adcx   %rcx,%r8
14006d1f0:	f3 4c 0f 38 f6 cd    	adox   %rbp,%r9
14006d1f6:	c4 e2 f3 f6 6e 18    	mulx   0x18(%rsi),%rcx,%rbp
14006d1fc:	66 4c 0f 38 f6 c9    	adcx   %rcx,%r9
14006d202:	f3 4c 0f 38 f6 d5    	adox   %rbp,%r10
14006d208:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
14006d20e:	4c 89 da             	mov    %r11,%rdx
14006d211:	c4 e2 eb f6 4e 20    	mulx   0x20(%rsi),%rdx,%rcx
14006d217:	c4 e2 f3 f6 2e       	mulx   (%rsi),%rcx,%rbp
14006d21c:	f3 4c 0f 38 f6 d9    	adox   %rcx,%r11
14006d222:	66 4c 0f 38 f6 c5    	adcx   %rbp,%r8
14006d228:	c4 e2 f3 f6 6e 08    	mulx   0x8(%rsi),%rcx,%rbp
14006d22e:	f3 4c 0f 38 f6 c1    	adox   %rcx,%r8
14006d234:	66 4c 0f 38 f6 cd    	adcx   %rbp,%r9
14006d23a:	c4 e2 f3 f6 6e 10    	mulx   0x10(%rsi),%rcx,%rbp
14006d240:	f3 4c 0f 38 f6 c9    	adox   %rcx,%r9
14006d246:	66 4c 0f 38 f6 d5    	adcx   %rbp,%r10
14006d24c:	c4 e2 f3 f6 6e 18    	mulx   0x18(%rsi),%rcx,%rbp
14006d252:	f3 4c 0f 38 f6 d1    	adox   %rcx,%r10
14006d258:	66 4c 0f 38 f6 dd    	adcx   %rbp,%r11
14006d25e:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
14006d264:	4d 01 c4             	add    %r8,%r12
14006d267:	4d 11 e9             	adc    %r13,%r9
14006d26a:	4c 89 e2             	mov    %r12,%rdx
14006d26d:	4d 11 f2             	adc    %r14,%r10
14006d270:	4d 11 fb             	adc    %r15,%r11
14006d273:	4d 89 ce             	mov    %r9,%r14
14006d276:	48 83 d0 00          	adc    $0x0,%rax
14006d27a:	4c 2b 26             	sub    (%rsi),%r12
14006d27d:	4d 89 d7             	mov    %r10,%r15
14006d280:	4c 1b 4e 08          	sbb    0x8(%rsi),%r9
14006d284:	4c 1b 56 10          	sbb    0x10(%rsi),%r10
14006d288:	4d 89 d8             	mov    %r11,%r8
14006d28b:	4c 1b 5e 18          	sbb    0x18(%rsi),%r11
14006d28f:	48 83 d8 00          	sbb    $0x0,%rax
14006d293:	49 0f 43 d4          	cmovae %r12,%rdx
14006d297:	4d 0f 43 f1          	cmovae %r9,%r14
14006d29b:	4d 0f 43 fa          	cmovae %r10,%r15
14006d29f:	4d 0f 43 c3          	cmovae %r11,%r8
14006d2a3:	48 ff cb             	dec    %rbx
14006d2a6:	0f 85 74 fd ff ff    	jne    0x14006d020
14006d2ac:	48 89 17             	mov    %rdx,(%rdi)
14006d2af:	4c 89 77 08          	mov    %r14,0x8(%rdi)
14006d2b3:	66 0f ef c9          	pxor   %xmm1,%xmm1
14006d2b7:	4c 89 7f 10          	mov    %r15,0x10(%rdi)
14006d2bb:	66 0f ef d2          	pxor   %xmm2,%xmm2
14006d2bf:	4c 89 47 18          	mov    %r8,0x18(%rdi)
14006d2c3:	66 0f ef db          	pxor   %xmm3,%xmm3
14006d2c7:	4c 8b 3c 24          	mov    (%rsp),%r15
14006d2cb:	4c 8b 74 24 08       	mov    0x8(%rsp),%r14
14006d2d0:	4c 8b 6c 24 10       	mov    0x10(%rsp),%r13
14006d2d5:	4c 8b 64 24 18       	mov    0x18(%rsp),%r12
14006d2da:	48 8b 5c 24 20       	mov    0x20(%rsp),%rbx
14006d2df:	48 8b 6c 24 28       	mov    0x28(%rsp),%rbp
14006d2e4:	48 8d 64 24 30       	lea    0x30(%rsp),%rsp
14006d2e9:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
14006d2ee:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
14006d2f3:	f3 c3                	repz ret
14006d2f5:	90                   	nop
14006d2f6:	90                   	nop
14006d2f7:	90                   	nop
14006d2f8:	90                   	nop
14006d2f9:	90                   	nop
14006d2fa:	90                   	nop
14006d2fb:	90                   	nop
14006d2fc:	90                   	nop
14006d2fd:	90                   	nop
14006d2fe:	90                   	nop
14006d2ff:	90                   	nop
14006d300:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
14006d305:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14006d30a:	48 89 e0             	mov    %rsp,%rax
14006d30d:	48 89 cf             	mov    %rcx,%rdi
14006d310:	48 89 d6             	mov    %rdx,%rsi
14006d313:	b9 00 01 08 00       	mov    $0x80100,%ecx
14006d318:	23 0d fa 56 44 01    	and    0x14456fa(%rip),%ecx        # 0x1414b2a18
14006d31e:	48 8d 15 fb ec ff ff 	lea    -0x1305(%rip),%rdx        # 0x14006c020
14006d325:	eb 3a                	jmp    0x14006d361
14006d327:	90                   	nop
14006d328:	90                   	nop
14006d329:	90                   	nop
14006d32a:	90                   	nop
14006d32b:	90                   	nop
14006d32c:	90                   	nop
14006d32d:	90                   	nop
14006d32e:	90                   	nop
14006d32f:	90                   	nop
14006d330:	90                   	nop
14006d331:	90                   	nop
14006d332:	90                   	nop
14006d333:	90                   	nop
14006d334:	90                   	nop
14006d335:	90                   	nop
14006d336:	90                   	nop
14006d337:	90                   	nop
14006d338:	90                   	nop
14006d339:	90                   	nop
14006d33a:	90                   	nop
14006d33b:	90                   	nop
14006d33c:	90                   	nop
14006d33d:	90                   	nop
14006d33e:	90                   	nop
14006d33f:	90                   	nop
14006d340:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
14006d345:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14006d34a:	48 89 e0             	mov    %rsp,%rax
14006d34d:	48 89 cf             	mov    %rcx,%rdi
14006d350:	48 89 d6             	mov    %rdx,%rsi
14006d353:	4c 89 c2             	mov    %r8,%rdx
14006d356:	b9 00 01 08 00       	mov    $0x80100,%ecx
14006d35b:	23 0d b7 56 44 01    	and    0x14456b7(%rip),%ecx        # 0x1414b2a18
14006d361:	55                   	push   %rbp
14006d362:	53                   	push   %rbx
14006d363:	41 54                	push   %r12
14006d365:	41 55                	push   %r13
14006d367:	41 56                	push   %r14
14006d369:	41 57                	push   %r15
14006d36b:	81 f9 00 01 08 00    	cmp    $0x80100,%ecx
14006d371:	74 2d                	je     0x14006d3a0
14006d373:	48 89 d3             	mov    %rdx,%rbx
14006d376:	48 8b 02             	mov    (%rdx),%rax
14006d379:	4c 8b 0e             	mov    (%rsi),%r9
14006d37c:	4c 8b 56 08          	mov    0x8(%rsi),%r10
14006d380:	4c 8b 5e 10          	mov    0x10(%rsi),%r11
14006d384:	4c 8b 66 18          	mov    0x18(%rsi),%r12
14006d388:	e8 73 00 00 00       	call   0x14006d400
14006d38d:	eb 2f                	jmp    0x14006d3be
14006d38f:	90                   	nop
14006d390:	90                   	nop
14006d391:	90                   	nop
14006d392:	90                   	nop
14006d393:	90                   	nop
14006d394:	90                   	nop
14006d395:	90                   	nop
14006d396:	90                   	nop
14006d397:	90                   	nop
14006d398:	90                   	nop
14006d399:	90                   	nop
14006d39a:	90                   	nop
14006d39b:	90                   	nop
14006d39c:	90                   	nop
14006d39d:	90                   	nop
14006d39e:	90                   	nop
14006d39f:	90                   	nop
14006d3a0:	48 89 d3             	mov    %rdx,%rbx
14006d3a3:	48 8b 12             	mov    (%rdx),%rdx
14006d3a6:	4c 8b 0e             	mov    (%rsi),%r9
14006d3a9:	4c 8b 56 08          	mov    0x8(%rsi),%r10
14006d3ad:	4c 8b 5e 10          	mov    0x10(%rsi),%r11
14006d3b1:	4c 8b 66 18          	mov    0x18(%rsi),%r12
14006d3b5:	48 8d 76 80          	lea    -0x80(%rsi),%rsi
14006d3b9:	e8 02 05 00 00       	call   0x14006d8c0
14006d3be:	4c 8b 3c 24          	mov    (%rsp),%r15
14006d3c2:	4c 8b 74 24 08       	mov    0x8(%rsp),%r14
14006d3c7:	4c 8b 6c 24 10       	mov    0x10(%rsp),%r13
14006d3cc:	4c 8b 64 24 18       	mov    0x18(%rsp),%r12
14006d3d1:	48 8b 5c 24 20       	mov    0x20(%rsp),%rbx
14006d3d6:	48 8b 6c 24 28       	mov    0x28(%rsp),%rbp
14006d3db:	48 8d 64 24 30       	lea    0x30(%rsp),%rsp
14006d3e0:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
14006d3e5:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
14006d3ea:	f3 c3                	repz ret
14006d3ec:	90                   	nop
14006d3ed:	90                   	nop
14006d3ee:	90                   	nop
14006d3ef:	90                   	nop
14006d3f0:	90                   	nop
14006d3f1:	90                   	nop
14006d3f2:	90                   	nop
14006d3f3:	90                   	nop
14006d3f4:	90                   	nop
14006d3f5:	90                   	nop
14006d3f6:	90                   	nop
14006d3f7:	90                   	nop
14006d3f8:	90                   	nop
14006d3f9:	90                   	nop
14006d3fa:	90                   	nop
14006d3fb:	90                   	nop
14006d3fc:	90                   	nop
14006d3fd:	90                   	nop
14006d3fe:	90                   	nop
14006d3ff:	90                   	nop
14006d400:	48 89 c5             	mov    %rax,%rbp
14006d403:	49 f7 e1             	mul    %r9
14006d406:	4c 8b 35 fb eb ff ff 	mov    -0x1405(%rip),%r14        # 0x14006c008
14006d40d:	49 89 c0             	mov    %rax,%r8
14006d410:	48 89 e8             	mov    %rbp,%rax
14006d413:	49 89 d1             	mov    %rdx,%r9
14006d416:	49 f7 e2             	mul    %r10
14006d419:	4c 8b 3d f8 eb ff ff 	mov    -0x1408(%rip),%r15        # 0x14006c018
14006d420:	49 01 c1             	add    %rax,%r9
14006d423:	48 89 e8             	mov    %rbp,%rax
14006d426:	48 83 d2 00          	adc    $0x0,%rdx
14006d42a:	49 89 d2             	mov    %rdx,%r10
14006d42d:	49 f7 e3             	mul    %r11
14006d430:	49 01 c2             	add    %rax,%r10
14006d433:	48 89 e8             	mov    %rbp,%rax
14006d436:	48 83 d2 00          	adc    $0x0,%rdx
14006d43a:	49 89 d3             	mov    %rdx,%r11
14006d43d:	49 f7 e4             	mul    %r12
14006d440:	49 01 c3             	add    %rax,%r11
14006d443:	4c 89 c0             	mov    %r8,%rax
14006d446:	48 83 d2 00          	adc    $0x0,%rdx
14006d44a:	4d 31 ed             	xor    %r13,%r13
14006d44d:	49 89 d4             	mov    %rdx,%r12
14006d450:	4c 89 c5             	mov    %r8,%rbp
14006d453:	49 c1 e0 20          	shl    $0x20,%r8
14006d457:	49 f7 e7             	mul    %r15
14006d45a:	48 c1 ed 20          	shr    $0x20,%rbp
14006d45e:	4d 01 c1             	add    %r8,%r9
14006d461:	49 11 ea             	adc    %rbp,%r10
14006d464:	49 11 c3             	adc    %rax,%r11
14006d467:	48 8b 43 08          	mov    0x8(%rbx),%rax
14006d46b:	49 11 d4             	adc    %rdx,%r12
14006d46e:	49 83 d5 00          	adc    $0x0,%r13
14006d472:	4d 31 c0             	xor    %r8,%r8
14006d475:	48 89 c5             	mov    %rax,%rbp
14006d478:	48 f7 26             	mulq   (%rsi)
14006d47b:	49 01 c1             	add    %rax,%r9
14006d47e:	48 89 e8             	mov    %rbp,%rax
14006d481:	48 83 d2 00          	adc    $0x0,%rdx
14006d485:	48 89 d1             	mov    %rdx,%rcx
14006d488:	48 f7 66 08          	mulq   0x8(%rsi)
14006d48c:	49 01 ca             	add    %rcx,%r10
14006d48f:	48 83 d2 00          	adc    $0x0,%rdx
14006d493:	49 01 c2             	add    %rax,%r10
14006d496:	48 89 e8             	mov    %rbp,%rax
14006d499:	48 83 d2 00          	adc    $0x0,%rdx
14006d49d:	48 89 d1             	mov    %rdx,%rcx
14006d4a0:	48 f7 66 10          	mulq   0x10(%rsi)
14006d4a4:	49 01 cb             	add    %rcx,%r11
14006d4a7:	48 83 d2 00          	adc    $0x0,%rdx
14006d4ab:	49 01 c3             	add    %rax,%r11
14006d4ae:	48 89 e8             	mov    %rbp,%rax
14006d4b1:	48 83 d2 00          	adc    $0x0,%rdx
14006d4b5:	48 89 d1             	mov    %rdx,%rcx
14006d4b8:	48 f7 66 18          	mulq   0x18(%rsi)
14006d4bc:	49 01 cc             	add    %rcx,%r12
14006d4bf:	48 83 d2 00          	adc    $0x0,%rdx
14006d4c3:	49 01 c4             	add    %rax,%r12
14006d4c6:	4c 89 c8             	mov    %r9,%rax
14006d4c9:	49 11 d5             	adc    %rdx,%r13
14006d4cc:	49 83 d0 00          	adc    $0x0,%r8
14006d4d0:	4c 89 cd             	mov    %r9,%rbp
14006d4d3:	49 c1 e1 20          	shl    $0x20,%r9
14006d4d7:	49 f7 e7             	mul    %r15
14006d4da:	48 c1 ed 20          	shr    $0x20,%rbp
14006d4de:	4d 01 ca             	add    %r9,%r10
14006d4e1:	49 11 eb             	adc    %rbp,%r11
14006d4e4:	49 11 c4             	adc    %rax,%r12
14006d4e7:	48 8b 43 10          	mov    0x10(%rbx),%rax
14006d4eb:	49 11 d5             	adc    %rdx,%r13
14006d4ee:	49 83 d0 00          	adc    $0x0,%r8
14006d4f2:	4d 31 c9             	xor    %r9,%r9
14006d4f5:	48 89 c5             	mov    %rax,%rbp
14006d4f8:	48 f7 26             	mulq   (%rsi)
14006d4fb:	49 01 c2             	add    %rax,%r10
14006d4fe:	48 89 e8             	mov    %rbp,%rax
14006d501:	48 83 d2 00          	adc    $0x0,%rdx
14006d505:	48 89 d1             	mov    %rdx,%rcx
14006d508:	48 f7 66 08          	mulq   0x8(%rsi)
14006d50c:	49 01 cb             	add    %rcx,%r11
14006d50f:	48 83 d2 00          	adc    $0x0,%rdx
14006d513:	49 01 c3             	add    %rax,%r11
14006d516:	48 89 e8             	mov    %rbp,%rax
14006d519:	48 83 d2 00          	adc    $0x0,%rdx
14006d51d:	48 89 d1             	mov    %rdx,%rcx
14006d520:	48 f7 66 10          	mulq   0x10(%rsi)
14006d524:	49 01 cc             	add    %rcx,%r12
14006d527:	48 83 d2 00          	adc    $0x0,%rdx
14006d52b:	49 01 c4             	add    %rax,%r12
14006d52e:	48 89 e8             	mov    %rbp,%rax
14006d531:	48 83 d2 00          	adc    $0x0,%rdx
14006d535:	48 89 d1             	mov    %rdx,%rcx
14006d538:	48 f7 66 18          	mulq   0x18(%rsi)
14006d53c:	49 01 cd             	add    %rcx,%r13
14006d53f:	48 83 d2 00          	adc    $0x0,%rdx
14006d543:	49 01 c5             	add    %rax,%r13
14006d546:	4c 89 d0             	mov    %r10,%rax
14006d549:	49 11 d0             	adc    %rdx,%r8
14006d54c:	49 83 d1 00          	adc    $0x0,%r9
14006d550:	4c 89 d5             	mov    %r10,%rbp
14006d553:	49 c1 e2 20          	shl    $0x20,%r10
14006d557:	49 f7 e7             	mul    %r15
14006d55a:	48 c1 ed 20          	shr    $0x20,%rbp
14006d55e:	4d 01 d3             	add    %r10,%r11
14006d561:	49 11 ec             	adc    %rbp,%r12
14006d564:	49 11 c5             	adc    %rax,%r13
14006d567:	48 8b 43 18          	mov    0x18(%rbx),%rax
14006d56b:	49 11 d0             	adc    %rdx,%r8
14006d56e:	49 83 d1 00          	adc    $0x0,%r9
14006d572:	4d 31 d2             	xor    %r10,%r10
14006d575:	48 89 c5             	mov    %rax,%rbp
14006d578:	48 f7 26             	mulq   (%rsi)
14006d57b:	49 01 c3             	add    %rax,%r11
14006d57e:	48 89 e8             	mov    %rbp,%rax
14006d581:	48 83 d2 00          	adc    $0x0,%rdx
14006d585:	48 89 d1             	mov    %rdx,%rcx
14006d588:	48 f7 66 08          	mulq   0x8(%rsi)