1400454cb:	00 00
1400454cd:	66 4d 0f 38 f6 d4    	adcx   %r12,%r10
1400454d3:	f3 4c 0f 38 f6 db    	adox   %rbx,%r11
1400454d9:	c4 e2 9b f6 9e 30 00 	mulx   0x30(%rsi),%r12,%rbx
1400454e0:	00 00
1400454e2:	66 4d 0f 38 f6 dd    	adcx   %r13,%r11
1400454e8:	f3 4d 0f 38 f6 e6    	adox   %r14,%r12
1400454ee:	c4 62 93 f6 b6 38 00 	mulx   0x38(%rsi),%r13,%r14
1400454f5:	00 00
1400454f7:	48 8b 56 10          	mov    0x10(%rsi),%rdx
1400454fb:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
140045501:	f3 4c 0f 38 f6 eb    	adox   %rbx,%r13
140045507:	66 4d 0f 38 f6 ef    	adcx   %r15,%r13
14004550d:	f3 4c 0f 38 f6 f5    	adox   %rbp,%r14
140045513:	66 4c 0f 38 f6 f5    	adcx   %rbp,%r14
140045519:	4c 89 47 18          	mov    %r8,0x18(%rdi)
14004551d:	4c 89 4f 20          	mov    %r9,0x20(%rdi)
140045521:	c4 e2 bb f6 5e 18    	mulx   0x18(%rsi),%r8,%rbx
140045527:	c4 e2 b3 f6 46 20    	mulx   0x20(%rsi),%r9,%rax
14004552d:	66 4d 0f 38 f6 c2    	adcx   %r10,%r8
140045533:	f3 4c 0f 38 f6 cb    	adox   %rbx,%r9
140045539:	c4 e2 ab f6 5e 28    	mulx   0x28(%rsi),%r10,%rbx
14004553f:	66 4d 0f 38 f6 cb    	adcx   %r11,%r9
140045545:	f3 4c 0f 38 f6 d0    	adox   %rax,%r10
14004554b:	c4 e2 a3 f6 86 30 00 	mulx   0x30(%rsi),%r11,%rax
140045552:	00 00
140045554:	66 4d 0f 38 f6 d4    	adcx   %r12,%r10
14004555a:	f3 4d 0f 38 f6 dd    	adox   %r13,%r11
140045560:	c4 62 9b f6 ae 38 00 	mulx   0x38(%rsi),%r12,%r13
140045567:	00 00
140045569:	3e 48 8b 56 18       	ds mov 0x18(%rsi),%rdx
14004556e:	66 4c 0f 38 f6 db    	adcx   %rbx,%r11
140045574:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
14004557a:	66 4d 0f 38 f6 e6    	adcx   %r14,%r12
140045580:	4c 89 47 28          	mov    %r8,0x28(%rdi)
140045584:	4c 89 4f 30          	mov    %r9,0x30(%rdi)
140045588:	c4 e2 bb f6 46 20    	mulx   0x20(%rsi),%r8,%rax
14004558e:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
140045594:	66 4c 0f 38 f6 ed    	adcx   %rbp,%r13
14004559a:	c4 e2 b3 f6 5e 28    	mulx   0x28(%rsi),%r9,%rbx
1400455a0:	66 4d 0f 38 f6 c2    	adcx   %r10,%r8
1400455a6:	f3 4c 0f 38 f6 c8    	adox   %rax,%r9
1400455ac:	c4 e2 ab f6 46 30    	mulx   0x30(%rsi),%r10,%rax
1400455b2:	66 4d 0f 38 f6 cb    	adcx   %r11,%r9
1400455b8:	f3 4d 0f 38 f6 d4    	adox   %r12,%r10
1400455be:	c4 62 a3 f6 66 38    	mulx   0x38(%rsi),%r11,%r12
1400455c4:	48 8b 56 20          	mov    0x20(%rsi),%rdx
1400455c8:	4c 8b 76 28          	mov    0x28(%rsi),%r14
1400455cc:	66 4c 0f 38 f6 d3    	adcx   %rbx,%r10
1400455d2:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
1400455d8:	4c 8b 7e 30          	mov    0x30(%rsi),%r15
1400455dc:	66 4d 0f 38 f6 dd    	adcx   %r13,%r11
1400455e2:	f3 4c 0f 38 f6 e5    	adox   %rbp,%r12
1400455e8:	66 4c 0f 38 f6 e5    	adcx   %rbp,%r12
1400455ee:	4c 89 47 38          	mov    %r8,0x38(%rdi)
1400455f2:	4c 89 4f 40          	mov    %r9,0x40(%rdi)
1400455f6:	c4 c2 b3 f6 c6       	mulx   %r14,%r9,%rax
1400455fb:	4c 8b 46 38          	mov    0x38(%rsi),%r8
1400455ff:	66 4d 0f 38 f6 ca    	adcx   %r10,%r9
140045605:	c4 c2 ab f6 df       	mulx   %r15,%r10,%rbx
14004560a:	f3 4c 0f 38 f6 d0    	adox   %rax,%r10
140045610:	66 4d 0f 38 f6 d3    	adcx   %r11,%r10
140045616:	c4 c2 a3 f6 c0       	mulx   %r8,%r11,%rax
14004561b:	4c 89 f2             	mov    %r14,%rdx
14004561e:	f3 4c 0f 38 f6 db    	adox   %rbx,%r11
140045624:	66 4d 0f 38 f6 dc    	adcx   %r12,%r11
14004562a:	66 48 0f 38 f6 c5    	adcx   %rbp,%rax
140045630:	c4 c2 8b f6 df       	mulx   %r15,%r14,%rbx
140045635:	c4 42 9b f6 e8       	mulx   %r8,%r12,%r13
14004563a:	4c 89 fa             	mov    %r15,%rdx
14004563d:	48 8d 76 40          	lea    0x40(%rsi),%rsi
140045641:	66 4d 0f 38 f6 de    	adcx   %r14,%r11
140045647:	f3 4c 0f 38 f6 e3    	adox   %rbx,%r12
14004564d:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
140045653:	f3 4c 0f 38 f6 ed    	adox   %rbp,%r13
140045659:	67 67 c4 42 bb f6 f0 	addr32 addr32 mulx %r8,%r8,%r14
140045660:	66 4d 0f 38 f6 e8    	adcx   %r8,%r13
140045666:	66 4c 0f 38 f6 f5    	adcx   %rbp,%r14
14004566c:	48 3b 74 24 10       	cmp    0x10(%rsp),%rsi
140045671:	0f 84 09 02 00 00    	je     0x140045880
140045677:	48 f7 d9             	neg    %rcx
14004567a:	48 c7 c1 f8 ff ff ff 	mov    $0xfffffffffffffff8,%rcx
140045681:	49 89 ef             	mov    %rbp,%r15
140045684:	4c 8b 47 40          	mov    0x40(%rdi),%r8
140045688:	66 4c 0f 38 f6 4f 48 	adcx   0x48(%rdi),%r9
14004568f:	66 4c 0f 38 f6 57 50 	adcx   0x50(%rdi),%r10
140045696:	66 4c 0f 38 f6 5f 58 	adcx   0x58(%rdi),%r11
14004569d:	4c 13 67 60          	adc    0x60(%rdi),%r12
1400456a1:	4c 13 6f 68          	adc    0x68(%rdi),%r13
1400456a5:	4c 13 77 70          	adc    0x70(%rdi),%r14
1400456a9:	4c 13 7f 78          	adc    0x78(%rdi),%r15
1400456ad:	48 8d 2e             	lea    (%rsi),%rbp
1400456b0:	48 8d bf 80 00 00 00 	lea    0x80(%rdi),%rdi
1400456b7:	48 19 c0             	sbb    %rax,%rax
1400456ba:	48 8b 56 c0          	mov    -0x40(%rsi),%rdx
1400456be:	48 89 44 24 18       	mov    %rax,0x18(%rsp)
1400456c3:	48 89 7c 24 20       	mov    %rdi,0x20(%rsp)
1400456c8:	31 c0                	xor    %eax,%eax
1400456ca:	eb 14                	jmp    0x1400456e0
1400456cc:	90                   	nop
1400456cd:	90                   	nop
1400456ce:	90                   	nop
1400456cf:	90                   	nop
1400456d0:	90                   	nop
1400456d1:	90                   	nop
1400456d2:	90                   	nop
1400456d3:	90                   	nop
1400456d4:	90                   	nop
1400456d5:	90                   	nop
1400456d6:	90                   	nop
1400456d7:	90                   	nop
1400456d8:	90                   	nop
1400456d9:	90                   	nop
1400456da:	90                   	nop
1400456db:	90                   	nop
1400456dc:	90                   	nop
1400456dd:	90                   	nop
1400456de:	90                   	nop
1400456df:	90                   	nop
1400456e0:	4c 89 c3             	mov    %r8,%rbx
1400456e3:	c4 62 fb f6 45 00    	mulx   0x0(%rbp),%rax,%r8
1400456e9:	66 48 0f 38 f6 d8    	adcx   %rax,%rbx
1400456ef:	f3 4d 0f 38 f6 c1    	adox   %r9,%r8
1400456f5:	c4 62 fb f6 4d 08    	mulx   0x8(%rbp),%rax,%r9
1400456fb:	66 4c 0f 38 f6 c0    	adcx   %rax,%r8
140045701:	f3 4d 0f 38 f6 ca    	adox   %r10,%r9
140045707:	c4 62 fb f6 55 10    	mulx   0x10(%rbp),%rax,%r10
14004570d:	66 4c 0f 38 f6 c8    	adcx   %rax,%r9
140045713:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
140045719:	c4 62 fb f6 5d 18    	mulx   0x18(%rbp),%rax,%r11
14004571f:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
140045725:	f3 4d 0f 38 f6 dc    	adox   %r12,%r11
14004572b:	c4 62 fb f6 a5 20 00 	mulx   0x20(%rbp),%rax,%r12
140045732:	00 00
140045734:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
14004573a:	f3 4d 0f 38 f6 e5    	adox   %r13,%r12
140045740:	c4 62 fb f6 6d 28    	mulx   0x28(%rbp),%rax,%r13
140045746:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
14004574c:	f3 4d 0f 38 f6 ee    	adox   %r14,%r13
140045752:	c4 62 fb f6 75 30    	mulx   0x30(%rbp),%rax,%r14
140045758:	48 89 1c cf          	mov    %rbx,(%rdi,%rcx,8)
14004575c:	bb 00 00 00 00       	mov    $0x0,%ebx
140045761:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
140045767:	f3 4d 0f 38 f6 f7    	adox   %r15,%r14
14004576d:	c4 62 fb f6 bd 38 00 	mulx   0x38(%rbp),%rax,%r15
140045774:	00 00
140045776:	48 8b 54 ce 08       	mov    0x8(%rsi,%rcx,8),%rdx
14004577b:	66 4c 0f 38 f6 f0    	adcx   %rax,%r14
140045781:	f3 4c 0f 38 f6 fb    	adox   %rbx,%r15
140045787:	66 4c 0f 38 f6 fb    	adcx   %rbx,%r15
14004578d:	67 48 ff c1          	addr32 inc %rcx
140045791:	0f 85 49 ff ff ff    	jne    0x1400456e0
140045797:	48 8d 6d 40          	lea    0x40(%rbp),%rbp
14004579b:	48 c7 c1 f8 ff ff ff 	mov    $0xfffffffffffffff8,%rcx
1400457a2:	48 3b 6c 24 10       	cmp    0x10(%rsp),%rbp
1400457a7:	74 57                	je     0x140045800
1400457a9:	48 2b 5c 24 18       	sub    0x18(%rsp),%rbx
1400457ae:	66 48 8b 56 c0       	data16 mov -0x40(%rsi),%rdx
1400457b3:	66 4c 0f 38 f6 07    	adcx   (%rdi),%r8
1400457b9:	66 4c 0f 38 f6 4f 08 	adcx   0x8(%rdi),%r9
1400457c0:	4c 13 57 10          	adc    0x10(%rdi),%r10
1400457c4:	4c 13 5f 18          	adc    0x18(%rdi),%r11
1400457c8:	4c 13 67 20          	adc    0x20(%rdi),%r12
1400457cc:	4c 13 6f 28          	adc    0x28(%rdi),%r13
1400457d0:	4c 13 77 30          	adc    0x30(%rdi),%r14
1400457d4:	4c 13 7f 38          	adc    0x38(%rdi),%r15
1400457d8:	48 8d 7f 40          	lea    0x40(%rdi),%rdi
1400457dc:	67 48 19 c0          	addr32 sbb %rax,%rax
1400457e0:	31 db                	xor    %ebx,%ebx
1400457e2:	48 89 44 24 18       	mov    %rax,0x18(%rsp)
1400457e7:	e9 f4 fe ff ff       	jmp    0x1400456e0
1400457ec:	90                   	nop
1400457ed:	90                   	nop
1400457ee:	90                   	nop
1400457ef:	90                   	nop
1400457f0:	90                   	nop
1400457f1:	90                   	nop
1400457f2:	90                   	nop
1400457f3:	90                   	nop
1400457f4:	90                   	nop
1400457f5:	90                   	nop
1400457f6:	90                   	nop
1400457f7:	90                   	nop
1400457f8:	90                   	nop
1400457f9:	90                   	nop
1400457fa:	90                   	nop
1400457fb:	90                   	nop
1400457fc:	90                   	nop
1400457fd:	90                   	nop
1400457fe:	90                   	nop
1400457ff:	90                   	nop
140045800:	48 31 ed             	xor    %rbp,%rbp
140045803:	48 2b 5c 24 18       	sub    0x18(%rsp),%rbx
140045808:	66 4c 0f 38 f6 c5    	adcx   %rbp,%r8
14004580e:	48 8b 4c 24 20       	mov    0x20(%rsp),%rcx
140045813:	66 4c 0f 38 f6 cd    	adcx   %rbp,%r9
140045819:	48 8b 16             	mov    (%rsi),%rdx
14004581c:	49 83 d2 00          	adc    $0x0,%r10
140045820:	4c 89 07             	mov    %r8,(%rdi)
140045823:	49 83 d3 00          	adc    $0x0,%r11
140045827:	49 83 d4 00          	adc    $0x0,%r12
14004582b:	49 83 d5 00          	adc    $0x0,%r13
14004582f:	49 83 d6 00          	adc    $0x0,%r14
140045833:	49 83 d7 00          	adc    $0x0,%r15
140045837:	48 39 cf             	cmp    %rcx,%rdi
14004583a:	0f 84 c0 fb ff ff    	je     0x140045400
140045840:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
140045844:	4c 8b 49 08          	mov    0x8(%rcx),%r9
140045848:	4c 89 57 10          	mov    %r10,0x10(%rdi)
14004584c:	4c 8b 51 10          	mov    0x10(%rcx),%r10
140045850:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
140045854:	4c 8b 59 18          	mov    0x18(%rcx),%r11
140045858:	4c 89 67 20          	mov    %r12,0x20(%rdi)
14004585c:	4c 8b 61 20          	mov    0x20(%rcx),%r12
140045860:	4c 89 6f 28          	mov    %r13,0x28(%rdi)
140045864:	4c 8b 69 28          	mov    0x28(%rcx),%r13
140045868:	4c 89 77 30          	mov    %r14,0x30(%rdi)
14004586c:	4c 8b 71 30          	mov    0x30(%rcx),%r14
140045870:	4c 89 7f 38          	mov    %r15,0x38(%rdi)
140045874:	4c 8b 79 38          	mov    0x38(%rcx),%r15
140045878:	48 89 cf             	mov    %rcx,%rdi
14004587b:	e9 80 fb ff ff       	jmp    0x140045400
140045880:	4c 89 4f 48          	mov    %r9,0x48(%rdi)
140045884:	66 48 0f 7e d9       	movq   %xmm3,%rcx
140045889:	4c 89 57 50          	mov    %r10,0x50(%rdi)
14004588d:	4c 89 5f 58          	mov    %r11,0x58(%rdi)
140045891:	4c 89 67 60          	mov    %r12,0x60(%rdi)
140045895:	4c 89 6f 68          	mov    %r13,0x68(%rdi)
140045899:	4c 89 77 70          	mov    %r14,0x70(%rdi)
14004589d:	48 8d 7c 24 38       	lea    0x38(%rsp),%rdi
1400458a2:	48 8b 14 0e          	mov    (%rsi,%rcx,1),%rdx
1400458a6:	4c 8b 5f 08          	mov    0x8(%rdi),%r11
1400458aa:	4d 31 d2             	xor    %r10,%r10
1400458ad:	4c 8b 4c 24 08       	mov    0x8(%rsp),%r9
1400458b2:	f3 4d 0f 38 f6 db    	adox   %r11,%r11
1400458b8:	4c 8b 67 10          	mov    0x10(%rdi),%r12
1400458bc:	4c 8b 6f 18          	mov    0x18(%rdi),%r13
1400458c0:	c4 e2 fb f6 da       	mulx   %rdx,%rax,%rbx
1400458c5:	f3 4d 0f 38 f6 e4    	adox   %r12,%r12
1400458cb:	66 49 0f 38 f6 c2    	adcx   %r10,%rax
1400458d1:	48 8b 94 0e 08 00 00 	mov    0x8(%rsi,%rcx,1),%rdx
1400458d8:	00
1400458d9:	4c 8b 97 20 00 00 00 	mov    0x20(%rdi),%r10
1400458e0:	f3 4d 0f 38 f6 ed    	adox   %r13,%r13
1400458e6:	66 49 0f 38 f6 db    	adcx   %r11,%rbx
1400458ec:	4c 8b 5f 28          	mov    0x28(%rdi),%r11
1400458f0:	48 89 07             	mov    %rax,(%rdi)
1400458f3:	48 89 5f 08          	mov    %rbx,0x8(%rdi)
1400458f7:	c4 e2 fb f6 da       	mulx   %rdx,%rax,%rbx
1400458fc:	f3 4d 0f 38 f6 d2    	adox   %r10,%r10
140045902:	66 49 0f 38 f6 c4    	adcx   %r12,%rax
140045908:	48 8b 54 0e 10       	mov    0x10(%rsi,%rcx,1),%rdx
14004590d:	4c 8b 67 30          	mov    0x30(%rdi),%r12
140045911:	f3 4d 0f 38 f6 db    	adox   %r11,%r11
140045917:	66 49 0f 38 f6 dd    	adcx   %r13,%rbx
14004591d:	4c 8b 6f 38          	mov    0x38(%rdi),%r13
140045921:	48 89 47 10          	mov    %rax,0x10(%rdi)
140045925:	48 89 5f 18          	mov    %rbx,0x18(%rdi)
140045929:	c4 e2 fb f6 da       	mulx   %rdx,%rax,%rbx
14004592e:	f3 4d 0f 38 f6 e4    	adox   %r12,%r12
140045934:	66 49 0f 38 f6 c2    	adcx   %r10,%rax
14004593a:	48 8b 54 0e 18       	mov    0x18(%rsi,%rcx,1),%rdx
14004593f:	48 8d 49 20          	lea    0x20(%rcx),%rcx
140045943:	4c 8b 57 40          	mov    0x40(%rdi),%r10
140045947:	f3 4d 0f 38 f6 ed    	adox   %r13,%r13
14004594d:	66 49 0f 38 f6 db    	adcx   %r11,%rbx
140045953:	4c 8b 5f 48          	mov    0x48(%rdi),%r11
140045957:	48 89 47 20          	mov    %rax,0x20(%rdi)
14004595b:	48 89 5f 28          	mov    %rbx,0x28(%rdi)
14004595f:	c4 e2 fb f6 da       	mulx   %rdx,%rax,%rbx
140045964:	f3 4d 0f 38 f6 d2    	adox   %r10,%r10
14004596a:	66 49 0f 38 f6 c4    	adcx   %r12,%rax
140045970:	e3 2e                	jrcxz  0x1400459a0
140045972:	48 8b 94 0e 00 00 00 	mov    0x0(%rsi,%rcx,1),%rdx
140045979:	00
14004597a:	f3 4d 0f 38 f6 db    	adox   %r11,%r11
140045980:	66 49 0f 38 f6 dd    	adcx   %r13,%rbx
140045986:	4c 8b 67 50          	mov    0x50(%rdi),%r12
14004598a:	4c 8b 6f 58          	mov    0x58(%rdi),%r13
14004598e:	48 89 47 30          	mov    %rax,0x30(%rdi)
140045992:	48 89 5f 38          	mov    %rbx,0x38(%rdi)
140045996:	48 8d 7f 40          	lea    0x40(%rdi),%rdi
14004599a:	90                   	nop
14004599b:	e9 20 ff ff ff       	jmp    0x1400458c0
1400459a0:	66 49 0f 38 f6 dd    	adcx   %r13,%rbx
1400459a6:	48 89 47 30          	mov    %rax,0x30(%rdi)
1400459aa:	48 89 5f 38          	mov    %rbx,0x38(%rdi)
1400459ae:	48 8d 7f 40          	lea    0x40(%rdi),%rdi
1400459b2:	66 48 0f 7e d5       	movq   %xmm2,%rbp
1400459b7:	31 c0                	xor    %eax,%eax
1400459b9:	48 8b 5c 24 28       	mov    0x28(%rsp),%rbx
1400459be:	48 8b 54 24 38       	mov    0x38(%rsp),%rdx
1400459c3:	4a 8d 4c 0d c0       	lea    -0x40(%rbp,%r9,1),%rcx
1400459c8:	48 89 4c 24 08       	mov    %rcx,0x8(%rsp)
1400459cd:	48 89 7c 24 10       	mov    %rdi,0x10(%rsp)
1400459d2:	48 8d 7c 24 38       	lea    0x38(%rsp),%rdi
1400459d7:	eb 07                	jmp    0x1400459e0
1400459d9:	90                   	nop
1400459da:	90                   	nop
1400459db:	90                   	nop
1400459dc:	90                   	nop
1400459dd:	90                   	nop
1400459de:	90                   	nop
1400459df:	90                   	nop
1400459e0:	4c 8b 4f 08          	mov    0x8(%rdi),%r9
1400459e4:	4c 8b 57 10          	mov    0x10(%rdi),%r10
1400459e8:	4c 8b 5f 18          	mov    0x18(%rdi),%r11
1400459ec:	4c 8b 67 20          	mov    0x20(%rdi),%r12
1400459f0:	49 89 d0             	mov    %rdx,%r8
1400459f3:	48 0f af d3          	imul   %rbx,%rdx
1400459f7:	4c 8b 6f 28          	mov    0x28(%rdi),%r13
1400459fb:	4c 8b 77 30          	mov    0x30(%rdi),%r14
1400459ff:	4c 8b 7f 38          	mov    0x38(%rdi),%r15
140045a03:	48 89 44 24 20       	mov    %rax,0x20(%rsp)
140045a08:	48 8d 7f 40          	lea    0x40(%rdi),%rdi
140045a0c:	48 31 f6             	xor    %rsi,%rsi
140045a0f:	48 c7 c1 f8 ff ff ff 	mov    $0xfffffffffffffff8,%rcx
140045a16:	eb 08                	jmp    0x140045a20
140045a18:	90                   	nop
140045a19:	90                   	nop
140045a1a:	90                   	nop
140045a1b:	90                   	nop
140045a1c:	90                   	nop
140045a1d:	90                   	nop
140045a1e:	90                   	nop
140045a1f:	90                   	nop
140045a20:	4c 89 c3             	mov    %r8,%rbx
140045a23:	c4 62 fb f6 45 00    	mulx   0x0(%rbp),%rax,%r8
140045a29:	66 48 0f 38 f6 c3    	adcx   %rbx,%rax
140045a2f:	f3 4d 0f 38 f6 c1    	adox   %r9,%r8
140045a35:	c4 62 e3 f6 4d 08    	mulx   0x8(%rbp),%rbx,%r9
140045a3b:	66 4c 0f 38 f6 c3    	adcx   %rbx,%r8
140045a41:	f3 4d 0f 38 f6 ca    	adox   %r10,%r9
140045a47:	c4 62 e3 f6 55 10    	mulx   0x10(%rbp),%rbx,%r10
140045a4d:	66 4c 0f 38 f6 cb    	adcx   %rbx,%r9
140045a53:	f3 4d 0f 38 f6 d3    	adox   %r11,%r10
140045a59:	c4 62 e3 f6 5d 18    	mulx   0x18(%rbp),%rbx,%r11
140045a5f:	66 4c 0f 38 f6 d3    	adcx   %rbx,%r10
140045a65:	f3 4d 0f 38 f6 dc    	adox   %r12,%r11
140045a6b:	c4 62 e3 f6 a5 20 00 	mulx   0x20(%rbp),%rbx,%r12
140045a72:	00 00
140045a74:	48 89 d0             	mov    %rdx,%rax
140045a77:	4c 89 c2             	mov    %r8,%rdx
140045a7a:	66 4c 0f 38 f6 db    	adcx   %rbx,%r11
140045a80:	f3 4d 0f 38 f6 e5    	adox   %r13,%r12
140045a86:	c4 e2 e3 f6 54 24 28 	mulx   0x28(%rsp),%rbx,%rdx
140045a8d:	48 89 c2             	mov    %rax,%rdx
140045a90:	48 89 44 cc 78       	mov    %rax,0x78(%rsp,%rcx,8)
140045a95:	c4 62 fb f6 6d 28    	mulx   0x28(%rbp),%rax,%r13
140045a9b:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12