1400151d4:	48 8d bf 80 00 00 00 	lea    0x80(%rdi),%rdi
1400151db:	49 83 e9 40          	sub    $0x40,%r9
1400151df:	75 cb                	jne    0x1400151ac
1400151e1:	48 8b 16             	mov    (%rsi),%rdx
1400151e4:	4d 31 d2             	xor    %r10,%r10
1400151e7:	4d 31 db             	xor    %r11,%r11
1400151ea:	4d 31 e4             	xor    %r12,%r12
1400151ed:	4d 31 ed             	xor    %r13,%r13
1400151f0:	4d 31 f6             	xor    %r14,%r14
1400151f3:	4d 31 ff             	xor    %r15,%r15
1400151f6:	48 8d 7c 24 38       	lea    0x38(%rsp),%rdi
1400151fb:	48 31 ed             	xor    %rbp,%rbp
1400151fe:	eb 00                	jmp    0x140015200
140015200:	c4 e2 bb f6 46 08    	mulx   0x8(%rsi),%r8,%rax
140015206:	66 4d 0f 38 f6 c1    	adcx   %r9,%r8
14001520c:	f3 4c 0f 38 f6 d0    	adox   %rax,%r10
140015212:	c4 e2 b3 f6 46 10    	mulx   0x10(%rsi),%r9,%rax
140015218:	66 4d 0f 38 f6 ca    	adcx   %r10,%r9
14001521e:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
140015224:	c4 e2 ab f6 86 18 00 	mulx   0x18(%rsi),%r10,%rax
14001522b:	00 00
14001522d:	66 4d 0f 38 f6 d3    	adcx   %r11,%r10
140015233:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
140015239:	c4 e2 a3 f6 86 20 00 	mulx   0x20(%rsi),%r11,%rax
140015240:	00 00
140015242:	66 4d 0f 38 f6 dc    	adcx   %r12,%r11
140015248:	f3 4c 0f 38 f6 e8    	adox   %rax,%r13
14001524e:	c4 e2 9b f6 46 28    	mulx   0x28(%rsi),%r12,%rax
140015254:	66 4d 0f 38 f6 e5    	adcx   %r13,%r12
14001525a:	f3 4c 0f 38 f6 f0    	adox   %rax,%r14
140015260:	c4 e2 93 f6 46 30    	mulx   0x30(%rsi),%r13,%rax
140015266:	66 4d 0f 38 f6 ee    	adcx   %r14,%r13
14001526c:	f3 49 0f 38 f6 c7    	adox   %r15,%rax
140015272:	c4 62 8b f6 7e 38    	mulx   0x38(%rsi),%r14,%r15
140015278:	48 8b 56 08          	mov    0x8(%rsi),%rdx
14001527c:	66 4c 0f 38 f6 f0    	adcx   %rax,%r14
140015282:	f3 4c 0f 38 f6 fd    	adox   %rbp,%r15
140015288:	4c 13 7f 40          	adc    0x40(%rdi),%r15
14001528c:	4c 89 47 08          	mov    %r8,0x8(%rdi)
140015290:	4c 89 4f 10          	mov    %r9,0x10(%rdi)
140015294:	48 19 c9             	sbb    %rcx,%rcx
140015297:	48 31 ed             	xor    %rbp,%rbp
14001529a:	c4 e2 bb f6 5e 10    	mulx   0x10(%rsi),%r8,%rbx
1400152a0:	c4 e2 b3 f6 46 18    	mulx   0x18(%rsi),%r9,%rax
1400152a6:	66 4d 0f 38 f6 c2    	adcx   %r10,%r8
1400152ac:	f3 4c 0f 38 f6 cb    	adox   %rbx,%r9
1400152b2:	c4 e2 ab f6 5e 20    	mulx   0x20(%rsi),%r10,%rbx
1400152b8:	66 4d 0f 38 f6 cb    	adcx   %r11,%r9
1400152be:	f3 4c 0f 38 f6 d0    	adox   %rax,%r10
1400152c4:	c4 e2 a3 f6 86 28 00 	mulx   0x28(%rsi),%r11,%rax
1400152cb:	00 00
1400152cd:	66 4d 0f 38 f6 d4    	adcx   %r12,%r10
1400152d3:	f3 4c 0f 38 f6 db    	adox   %rbx,%r11
1400152d9:	c4 e2 9b f6 9e 30 00 	mulx   0x30(%rsi),%r12,%rbx
1400152e0:	00 00
1400152e2:	66 4d 0f 38 f6 dd    	adcx   %r13,%r11
1400152e8:	f3 4d 0f 38 f6 e6    	adox   %r14,%r12
1400152ee:	c4 62 93 f6 b6 38 00 	mulx   0x38(%rsi),%r13,%r14
1400152f5:	00 00
1400152f7:	48 8b 56 10          	mov    0x10(%rsi),%rdx
1400152fb:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
140015301:	f3 4c 0f 38 f6 eb    	adox   %rbx,%r13
140015307:	66 4d 0f 38 f6 ef    	adcx   %r15,%r13
14001530d:	f3 4c 0f 38 f6 f5    	adox   %rbp,%r14
140015313:	66 4c 0f 38 f6 f5    	adcx   %rbp,%r14
140015319:	4c 89 47 18          	mov    %r8,0x18(%rdi)
14001531d:	4c 89 4f 20          	mov    %r9,0x20(%rdi)
140015321:	c4 e2 bb f6 5e 18    	mulx   0x18(%rsi),%r8,%rbx
140015327:	c4 e2 b3 f6 46 20    	mulx   0x20(%rsi),%r9,%rax
14001532d:	66 4d 0f 38 f6 c2    	adcx   %r10,%r8
140015333:	f3 4c 0f 38 f6 cb    	adox   %rbx,%r9
140015339:	c4 e2 ab f6 5e 28    	mulx   0x28(%rsi),%r10,%rbx
14001533f:	66 4d 0f 38 f6 cb    	adcx   %r11,%r9
140015345:	f3 4c 0f 38 f6 d0    	adox   %rax,%r10
14001534b:	c4 e2 a3 f6 86 30 00 	mulx   0x30(%rsi),%r11,%rax
140015352:	00 00
140015354:	66 4d 0f 38 f6 d4    	adcx   %r12,%r10
14001535a:	f3 4d 0f 38 f6 dd    	adox   %r13,%r11
140015360:	c4 62 9b f6 ae 38 00 	mulx   0x38(%rsi),%r12,%r13
140015367:	00 00
140015369:	3e 48 8b 56 18       	ds mov 0x18(%rsi),%rdx
14001536e:	66 4c 0f 38 f6 db    	adcx   %rbx,%r11
140015374:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
14001537a:	66 4d 0f 38 f6 e6    	adcx   %r14,%r12
140015380:	4c 89 47 28          	mov    %r8,0x28(%rdi)
140015384:	4c 89 4f 30          	mov    %r9,0x30(%rdi)
140015388:	c4 e2 bb f6 46 20    	mulx   0x20(%rsi),%r8,%rax
14001538e:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
140015394:	66 4c 0f 38 f6 ed    	adcx   %rbp,%r13
14001539a:	c4 e2 b3 f6 5e 28    	mulx   0x28(%rsi),%r9,%rbx
1400153a0:	66 4d 0f 38 f6 c2    	adcx   %r10,%r8
1400153a6:	f3 4c 0f 38 f6 c8    	adox   %rax,%r9
1400153ac:	c4 e2 ab f6 46 30    	mulx   0x30(%rsi),%r10,%rax
1400153b2:	66 4d 0f 38 f6 cb    	adcx   %r11,%r9
1400153b8:	f3 4d 0f 38 f6 d4    	adox   %r12,%r10
1400153be:	c4 62 a3 f6 66 38    	mulx   0x38(%rsi),%r11,%r12
1400153c4:	48 8b 56 20          	mov    0x20(%rsi),%rdx
1400153c8:	4c 8b 76 28          	mov    0x28(%rsi),%r14
1400153cc:	66 4c 0f 38 f6 d3    	adcx   %rbx,%r10
1400153d2:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
1400153d8:	4c 8b 7e 30          	mov    0x30(%rsi),%r15
1400153dc:	66 4d 0f 38 f6 dd    	adcx   %r13,%r11
1400153e2:	f3 4c 0f 38 f6 e5    	adox   %rbp,%r12
1400153e8:	66 4c 0f 38 f6 e5    	adcx   %rbp,%r12
1400153ee:	4c 89 47 38          	mov    %r8,0x38(%rdi)
1400153f2:	4c 89 4f 40          	mov    %r9,0x40(%rdi)
1400153f6:	c4 c2 b3 f6 c6       	mulx   %r14,%r9,%rax
1400153fb:	4c 8b 46 38          	mov    0x38(%rsi),%r8
1400153ff:	66 4d 0f 38 f6 ca    	adcx   %r10,%r9
140015405:	c4 c2 ab f6 df       	mulx   %r15,%r10,%rbx
14001540a:	f3 4c 0f 38 f6 d0    	adox   %rax,%r10
140015410:	66 4d 0f 38 f6 d3    	adcx   %r11,%r10
140015416:	c4 c2 a3 f6 c0       	mulx   %r8,%r11,%rax
14001541b:	4c 89 f2             	mov    %r14,%rdx
14001541e:	f3 4c 0f 38 f6 db    	adox   %rbx,%r11
140015424:	66 4d 0f 38 f6 dc    	adcx   %r12,%r11
14001542a:	66 48 0f 38 f6 c5    	adcx   %rbp,%rax
140015430:	c4 c2 8b f6 df       	mulx   %r15,%r14,%rbx
140015435:	c4 42 9b f6 e8       	mulx   %r8,%r12,%r13
14001543a:	4c 89 fa             	mov    %r15,%rdx
14001543d:	48 8d 76 40          	lea    0x40(%rsi),%rsi
140015441:	66 4d 0f 38 f6 de    	adcx   %r14,%r11
140015447:	f3 4c 0f 38 f6 e3    	adox   %rbx,%r12
14001544d:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
140015453:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
140015459:	67 67 c4 42 bb f6 f0 	addr32 addr32 mulx %r8,%r8,%r14
140015460:	66 4d 0f 38 f6 e8    	adcx   %r8,%r13
140015466:	66 4c 0f 38 f6 f5    	adcx   %rbp,%r14
14001546c:	48 3b 74 24 10       	cmp    0x10(%rsp),%rsi
140015471:	0f 84 09 02 00 00    	je     0x140015680
140015477:	48 f7 d9             	neg    %rcx
14001547a:	48 c7 c1 f8 ff ff ff 	mov    $0xfffffffffffffff8,%rcx
140015481:	49 89 ef             	mov    %rbp,%r15
140015484:	4c 8b 47 40          	mov    0x40(%rdi),%r8
140015488:	66 4c 0f 38 f6 4f 48 	adcx   0x48(%rdi),%r9
14001548f:	66 4c 0f 38 f6 57 50 	adcx   0x50(%rdi),%r10
140015496:	66 4c 0f 38 f6 5f 58 	adcx   0x58(%rdi),%r11
14001549d:	4c 13 67 60          	adc    0x60(%rdi),%r12
1400154a1:	4c 13 6f 68          	adc    0x68(%rdi),%r13
1400154a5:	4c 13 77 70          	adc    0x70(%rdi),%r14
1400154a9:	4c 13 7f 78          	adc    0x78(%rdi),%r15
1400154ad:	48 8d 2e             	lea    (%rsi),%rbp
1400154b0:	48 8d bf 80 00 00 00 	lea    0x80(%rdi),%rdi
1400154b7:	48 19 c0             	sbb    %rax,%rax
1400154ba:	48 8b 56 c0          	mov    -0x40(%rsi),%rdx
1400154be:	48 89 44 24 18       	mov    %rax,0x18(%rsp)
1400154c3:	48 89 7c 24 20       	mov    %rdi,0x20(%rsp)
1400154c8:	31 c0                	xor    %eax,%eax
1400154ca:	eb 14                	jmp    0x1400154e0
1400154cc:	90                   	nop
1400154cd:	90                   	nop
1400154ce:	90                   	nop
1400154cf:	90                   	nop
1400154d0:	90                   	nop
1400154d1:	90                   	nop
1400154d2:	90                   	nop
1400154d3:	90                   	nop
1400154d4:	90                   	nop
1400154d5:	90                   	nop
1400154d6:	90                   	nop
1400154d7:	90                   	nop
1400154d8:	90                   	nop
1400154d9:	90                   	nop
1400154da:	90                   	nop
1400154db:	90                   	nop
1400154dc:	90                   	nop
1400154dd:	90                   	nop
1400154de:	90                   	nop
1400154df:	90                   	nop
1400154e0:	4c 89 c3             	mov    %r8,%rbx
1400154e3:	c4 62 fb f6 45 00    	mulx   0x0(%rbp),%rax,%r8
1400154e9:	66 48 0f 38 f6 d8    	adcx   %rax,%rbx
1400154ef:	f3 4d 0f 38 f6 c1    	adox   %r9,%r8
1400154f5:	c4 62 fb f6 4d 08    	mulx   0x8(%rbp),%rax,%r9
1400154fb:	66 4c 0f 38 f6 c0    	adcx   %rax,%r8
140015501:	f3 4d 0f 38 f6 ca    	adox   %r10,%r9
140015507:	c4 62 fb f6 55 10    	mulx   0x10(%rbp),%rax,%r10
14001550d:	66 4c 0f 38 f6 c8    	adcx   %rax,%r9
140015513:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
140015519:	c4 62 fb f6 5d 18    	mulx   0x18(%rbp),%rax,%r11
14001551f:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
140015525:	f3 4d 0f 38 f6 dc    	adox   %r12,%r11
14001552b:	c4 62 fb f6 a5 20 00 	mulx   0x20(%rbp),%rax,%r12
140015532:	00 00
140015534:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
14001553a:	f3 4d 0f 38 f6 e5    	adox   %r13,%r12
140015540:	c4 62 fb f6 6d 28    	mulx   0x28(%rbp),%rax,%r13
140015546:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
14001554c:	f3 4d 0f 38 f6 ee    	adox   %r14,%r13
140015552:	c4 62 fb f6 75 30    	mulx   0x30(%rbp),%rax,%r14
140015558:	48 89 1c cf          	mov    %rbx,(%rdi,%rcx,8)
14001555c:	bb 00 00 00 00       	mov    $0x0,%ebx
140015561:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
140015567:	f3 4d 0f 38 f6 f7    	adox   %r15,%r14
14001556d:	c4 62 fb f6 bd 38 00 	mulx   0x38(%rbp),%rax,%r15
140015574:	00 00
140015576:	48 8b 54 ce 08       	mov    0x8(%rsi,%rcx,8),%rdx
14001557b:	66 4c 0f 38 f6 f0    	adcx   %rax,%r14
140015581:	f3 4c 0f 38 f6 fb    	adox   %rbx,%r15
140015587:	66 4c 0f 38 f6 fb    	adcx   %rbx,%r15
14001558d:	67 48 ff c1          	addr32 inc %rcx
140015591:	0f 85 49 ff ff ff    	jne    0x1400154e0
140015597:	48 8d 6d 40          	lea    0x40(%rbp),%rbp
14001559b:	48 c7 c1 f8 ff ff ff 	mov    $0xfffffffffffffff8,%rcx
1400155a2:	48 3b 6c 24 10       	cmp    0x10(%rsp),%rbp
1400155a7:	74 57                	je     0x140015600
1400155a9:	48 2b 5c 24 18       	sub    0x18(%rsp),%rbx
1400155ae:	66 48 8b 56 c0       	data16 mov -0x40(%rsi),%rdx
1400155b3:	66 4c 0f 38 f6 07    	adcx   (%rdi),%r8
1400155b9:	66 4c 0f 38 f6 4f 08 	adcx   0x8(%rdi),%r9
1400155c0:	4c 13 57 10          	adc    0x10(%rdi),%r10
1400155c4:	4c 13 5f 18          	adc    0x18(%rdi),%r11
1400155c8:	4c 13 67 20          	adc    0x20(%rdi),%r12
1400155cc:	4c 13 6f 28          	adc    0x28(%rdi),%r13
1400155d0:	4c 13 77 30          	adc    0x30(%rdi),%r14
1400155d4:	4c 13 7f 38          	adc    0x38(%rdi),%r15
1400155d8:	48 8d 7f 40          	lea    0x40(%rdi),%rdi
1400155dc:	67 48 19 c0          	addr32 sbb %rax,%rax
1400155e0:	31 db                	xor    %ebx,%ebx
1400155e2:	48 89 44 24 18       	mov    %rax,0x18(%rsp)
1400155e7:	e9 f4 fe ff ff       	jmp    0x1400154e0
1400155ec:	90                   	nop
1400155ed:	90                   	nop
1400155ee:	90                   	nop
1400155ef:	90                   	nop
1400155f0:	90                   	nop
1400155f1:	90                   	nop
1400155f2:	90                   	nop
1400155f3:	90                   	nop
1400155f4:	90                   	nop
1400155f5:	90                   	nop
1400155f6:	90                   	nop
1400155f7:	90                   	nop
1400155f8:	90                   	nop
1400155f9:	90                   	nop
1400155fa:	90                   	nop
1400155fb:	90                   	nop
1400155fc:	90                   	nop
1400155fd:	90                   	nop
1400155fe:	90                   	nop
1400155ff:	90                   	nop
140015600:	48 31 ed             	xor    %rbp,%rbp
140015603:	48 2b 5c 24 18       	sub    0x18(%rsp),%rbx
140015608:	66 4c 0f 38 f6 c5    	adcx   %rbp,%r8
14001560e:	48 8b 4c 24 20       	mov    0x20(%rsp),%rcx
140015613:	66 4c 0f 38 f6 cd    	adcx   %rbp,%r9
140015619:	48 8b 16             	mov    (%rsi),%rdx
14001561c:	49 83 d2 00          	adc    $0x0,%r10
140015620:	4c 89 07             	mov    %r8,(%rdi)
140015623:	49 83 d3 00          	adc    $0x0,%r11
140015627:	49 83 d4 00          	adc    $0x0,%r12
14001562b:	49 83 d5 00          	adc    $0x0,%r13
14001562f:	49 83 d6 00          	adc    $0x0,%r14
140015633:	49 83 d7 00          	adc    $0x0,%r15
140015637:	48 39 cf             	cmp    %rcx,%rdi
14001563a:	0f 84 c0 fb ff ff    	je     0x140015200
140015640:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
140015644:	4c 8b 49 08          	mov    0x8(%rcx),%r9
140015648:	4c 89 57 10          	mov    %r10,0x10(%rdi)
14001564c:	4c 8b 51 10          	mov    0x10(%rcx),%r10
140015650:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
140015654:	4c 8b 59 18          	mov    0x18(%rcx),%r11
140015658:	4c 89 67 20          	mov    %r12,0x20(%rdi)
14001565c:	4c 8b 61 20          	mov    0x20(%rcx),%r12
140015660:	4c 89 6f 28          	mov    %r13,0x28(%rdi)
140015664:	4c 8b 69 28          	mov    0x28(%rcx),%r13
140015668:	4c 89 77 30          	mov    %r14,0x30(%rdi)
14001566c:	4c 8b 71 30          	mov    0x30(%rcx),%r14
140015670:	4c 89 7f 38          	mov    %r15,0x38(%rdi)
140015674:	4c 8b 79 38          	mov    0x38(%rcx),%r15
140015678:	48 89 cf             	mov    %rcx,%rdi
14001567b:	e9 80 fb ff ff       	jmp    0x140015200
140015680:	4c 89 4f 48          	mov    %r9,0x48(%rdi)
140015684:	66 48 0f 7e d9       	movq   %xmm3,%rcx
140015689:	4c 89 57 50          	mov    %r10,0x50(%rdi)
14001568d:	4c 89 5f 58          	mov    %r11,0x58(%rdi)
140015691:	4c 89 67 60          	mov    %r12,0x60(%rdi)
140015695:	4c 89 6f 68          	mov    %r13,0x68(%rdi)
140015699:	4c 89 77 70          	mov    %r14,0x70(%rdi)
14001569d:	48 8d 7c 24 38       	lea    0x38(%rsp),%rdi
1400156a2:	48 8b 14 0e          	mov    (%rsi,%rcx,1),%rdx
1400156a6:	4c 8b 5f 08          	mov    0x8(%rdi),%r11
1400156aa:	4d 31 d2             	xor    %r10,%r10
1400156ad:	4c 8b 4c 24 08       	mov    0x8(%rsp),%r9
1400156b2:	f3 4d 0f 38 f6 db    	adox   %r11,%r11
1400156b8:	4c 8b 67 10          	mov    0x10(%rdi),%r12
1400156bc:	4c 8b 6f 18          	mov    0x18(%rdi),%r13
1400156c0:	c4 e2 fb f6 da       	mulx   %rdx,%rax,%rbx
1400156c5:	f3 4d 0f 38 f6 e4    	adox   %r12,%r12
1400156cb:	66 49 0f 38 f6 c2    	adcx   %r10,%rax
1400156d1:	48 8b 94 0e 08 00 00 	mov    0x8(%rsi,%rcx,1),%rdx
1400156d8:	00
1400156d9:	4c 8b 97 20 00 00 00 	mov    0x20(%rdi),%r10
1400156e0:	f3 4d 0f 38 f6 ed    	adox   %r13,%r13
1400156e6:	66 49 0f 38 f6 db    	adcx   %r11,%rbx
1400156ec:	4c 8b 5f 28          	mov    0x28(%rdi),%r11
1400156f0:	48 89 07             	mov    %rax,(%rdi)
1400156f3:	48 89 5f 08          	mov    %rbx,0x8(%rdi)
1400156f7:	c4 e2 fb f6 da       	mulx   %rdx,%rax,%rbx
1400156fc:	f3 4d 0f 38 f6 d2    	adox   %r10,%r10
140015702:	66 49 0f 38 f6 c4    	adcx   %r12,%rax
140015708:	48 8b 54 0e 10       	mov    0x10(%rsi,%rcx,1),%rdx
14001570d:	4c 8b 67 30          	mov    0x30(%rdi),%r12
140015711:	f3 4d 0f 38 f6 db    	adox   %r11,%r11
140015717:	66 49 0f 38 f6 dd    	adcx   %r13,%rbx
14001571d:	4c 8b 6f 38          	mov    0x38(%rdi),%r13
140015721:	48 89 47 10          	mov    %rax,0x10(%rdi)
140015725:	48 89 5f 18          	mov    %rbx,0x18(%rdi)
140015729:	c4 e2 fb f6 da       	mulx   %rdx,%rax,%rbx
14001572e:	f3 4d 0f 38 f6 e4    	adox   %r12,%r12
140015734:	66 49 0f 38 f6 c2    	adcx   %r10,%rax
14001573a:	48 8b 54 0e 18       	mov    0x18(%rsi,%rcx,1),%rdx
14001573f:	48 8d 49 20          	lea    0x20(%rcx),%rcx
140015743:	4c 8b 57 40          	mov    0x40(%rdi),%r10
140015747:	f3 4d 0f 38 f6 ed    	adox   %r13,%r13
14001574d:	66 49 0f 38 f6 db    	adcx   %r11,%rbx
140015753:	4c 8b 5f 48          	mov    0x48(%rdi),%r11
140015757:	48 89 47 20          	mov    %rax,0x20(%rdi)
14001575b:	48 89 5f 28          	mov    %rbx,0x28(%rdi)
14001575f:	c4 e2 fb f6 da       	mulx   %rdx,%rax,%rbx
140015764:	f3 4d 0f 38 f6 d2    	adox   %r10,%r10
14001576a:	66 49 0f 38 f6 c4    	adcx   %r12,%rax
140015770:	e3 2e                	jrcxz  0x1400157a0
140015772:	48 8b 94 0e 00 00 00 	mov    0x0(%rsi,%rcx,1),%rdx
140015779:	00
14001577a:	f3 4d 0f 38 f6 db    	adox   %r11,%r11
140015780:	66 49 0f 38 f6 dd    	adcx   %r13,%rbx
140015786:	4c 8b 67 50          	mov    0x50(%rdi),%r12
14001578a:	4c 8b 6f 58          	mov    0x58(%rdi),%r13
14001578e:	48 89 47 30          	mov    %rax,0x30(%rdi)
140015792:	48 89 5f 38          	mov    %rbx,0x38(%rdi)
140015796:	48 8d 7f 40          	lea    0x40(%rdi),%rdi
14001579a:	90                   	nop
14001579b:	e9 20 ff ff ff       	jmp    0x1400156c0
1400157a0:	66 49 0f 38 f6 dd    	adcx   %r13,%rbx
1400157a6:	48 89 47 30          	mov    %rax,0x30(%rdi)
1400157aa:	48 89 5f 38          	mov    %rbx,0x38(%rdi)
1400157ae:	48 8d 7f 40          	lea    0x40(%rdi),%rdi
1400157b2:	66 48 0f 7e d5       	movq   %xmm2,%rbp
1400157b7:	31 c0                	xor    %eax,%eax
1400157b9:	48 8b 5c 24 28       	mov    0x28(%rsp),%rbx
1400157be:	48 8b 54 24 38       	mov    0x38(%rsp),%rdx
1400157c3:	4a 8d 4c 0d c0       	lea    -0x40(%rbp,%r9,1),%rcx
1400157c8:	48 89 4c 24 08       	mov    %rcx,0x8(%rsp)
1400157cd:	48 89 7c 24 10       	mov    %rdi,0x10(%rsp)
1400157d2:	48 8d 7c 24 38       	lea    0x38(%rsp),%rdi
1400157d7:	eb 07                	jmp    0x1400157e0
1400157d9:	90                   	nop
1400157da:	90                   	nop
1400157db:	90                   	nop