140070384:	48 f7 66 10          	mulq   0x10(%rsi)
140070388:	49 89 c2             	mov    %rax,%r10
14007038b:	b8 42 db 01 00       	mov    $0x1db42,%eax
140070390:	49 89 d3             	mov    %rdx,%r11
140070393:	48 f7 66 18          	mulq   0x18(%rsi)
140070397:	49 89 c4             	mov    %rax,%r12
14007039a:	b8 42 db 01 00       	mov    $0x1db42,%eax
14007039f:	49 89 d5             	mov    %rdx,%r13
1400703a2:	48 f7 66 20          	mulq   0x20(%rsi)
1400703a6:	49 89 c6             	mov    %rax,%r14
1400703a9:	49 89 d7             	mov    %rdx,%r15
1400703ac:	e9 af fe ff ff       	jmp    0x140070260
1400703b1:	90                   	nop
1400703b2:	90                   	nop
1400703b3:	90                   	nop
1400703b4:	90                   	nop
1400703b5:	90                   	nop
1400703b6:	90                   	nop
1400703b7:	90                   	nop
1400703b8:	90                   	nop
1400703b9:	90                   	nop
1400703ba:	90                   	nop
1400703bb:	90                   	nop
1400703bc:	90                   	nop
1400703bd:	90                   	nop
1400703be:	90                   	nop
1400703bf:	90                   	nop
1400703c0:	8b 0d 22 fd 39 00    	mov    0x39fd22(%rip),%ecx        # 0x1404100e8
1400703c6:	31 c0                	xor    %eax,%eax
1400703c8:	81 e1 00 01 08 00    	and    $0x80100,%ecx
1400703ce:	81 f9 00 01 08 00    	cmp    $0x80100,%ecx
1400703d4:	0f 44 c1             	cmove  %ecx,%eax
1400703d7:	f3 c3                	repz ret
1400703d9:	90                   	nop
1400703da:	90                   	nop
1400703db:	90                   	nop
1400703dc:	90                   	nop
1400703dd:	90                   	nop
1400703de:	90                   	nop
1400703df:	90                   	nop
1400703e0:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
1400703e5:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
1400703ea:	48 89 e0             	mov    %rsp,%rax
1400703ed:	48 89 cf             	mov    %rcx,%rdi
1400703f0:	48 89 d6             	mov    %rdx,%rsi
1400703f3:	4c 89 c2             	mov    %r8,%rdx
1400703f6:	55                   	push   %rbp
1400703f7:	53                   	push   %rbx
1400703f8:	41 54                	push   %r12
1400703fa:	41 55                	push   %r13
1400703fc:	41 56                	push   %r14
1400703fe:	41 57                	push   %r15
140070400:	57                   	push   %rdi
140070401:	48 8d 64 24 f0       	lea    -0x10(%rsp),%rsp
140070406:	48 89 d0             	mov    %rdx,%rax
140070409:	48 8b 2a             	mov    (%rdx),%rbp
14007040c:	48 8b 16             	mov    (%rsi),%rdx
14007040f:	48 8b 48 08          	mov    0x8(%rax),%rcx
140070413:	4c 8b 70 10          	mov    0x10(%rax),%r14
140070417:	4c 8b 78 18          	mov    0x18(%rax),%r15
14007041b:	c4 e2 bb f6 c5       	mulx   %rbp,%r8,%rax
140070420:	31 ff                	xor    %edi,%edi
140070422:	c4 e2 b3 f6 d9       	mulx   %rcx,%r9,%rbx
140070427:	66 4c 0f 38 f6 c8    	adcx   %rax,%r9
14007042d:	c4 c2 ab f6 c6       	mulx   %r14,%r10,%rax
140070432:	66 4c 0f 38 f6 d3    	adcx   %rbx,%r10
140070438:	c4 42 a3 f6 e7       	mulx   %r15,%r11,%r12
14007043d:	48 8b 56 08          	mov    0x8(%rsi),%rdx
140070441:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
140070447:	4c 89 34 24          	mov    %r14,(%rsp)
14007044b:	66 4c 0f 38 f6 e7    	adcx   %rdi,%r12
140070451:	c4 e2 fb f6 dd       	mulx   %rbp,%rax,%rbx
140070456:	f3 4c 0f 38 f6 c8    	adox   %rax,%r9
14007045c:	66 4c 0f 38 f6 d3    	adcx   %rbx,%r10
140070462:	c4 e2 fb f6 d9       	mulx   %rcx,%rax,%rbx
140070467:	f3 4c 0f 38 f6 d0    	adox   %rax,%r10
14007046d:	66 4c 0f 38 f6 db    	adcx   %rbx,%r11
140070473:	c4 c2 fb f6 de       	mulx   %r14,%rax,%rbx
140070478:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
14007047e:	66 4c 0f 38 f6 e3    	adcx   %rbx,%r12
140070484:	c4 42 fb f6 ef       	mulx   %r15,%rax,%r13
140070489:	48 8b 56 10          	mov    0x10(%rsi),%rdx
14007048d:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
140070493:	66 4c 0f 38 f6 ef    	adcx   %rdi,%r13
140070499:	f3 4c 0f 38 f6 ef    	adox   %rdi,%r13
14007049f:	c4 e2 fb f6 dd       	mulx   %rbp,%rax,%rbx
1400704a4:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
1400704aa:	f3 4c 0f 38 f6 db    	adox   %rbx,%r11
1400704b0:	c4 e2 fb f6 d9       	mulx   %rcx,%rax,%rbx
1400704b5:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
1400704bb:	f3 4c 0f 38 f6 e3    	adox   %rbx,%r12
1400704c1:	c4 c2 fb f6 de       	mulx   %r14,%rax,%rbx
1400704c6:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
1400704cc:	f3 4c 0f 38 f6 eb    	adox   %rbx,%r13
1400704d2:	c4 42 fb f6 f7       	mulx   %r15,%rax,%r14
1400704d7:	48 8b 56 18          	mov    0x18(%rsi),%rdx
1400704db:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
1400704e1:	f3 4c 0f 38 f6 f7    	adox   %rdi,%r14
1400704e7:	66 4c 0f 38 f6 f7    	adcx   %rdi,%r14
1400704ed:	c4 e2 fb f6 dd       	mulx   %rbp,%rax,%rbx
1400704f2:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
1400704f8:	66 4c 0f 38 f6 e3    	adcx   %rbx,%r12
1400704fe:	c4 e2 fb f6 d9       	mulx   %rcx,%rax,%rbx
140070503:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
140070509:	66 4c 0f 38 f6 eb    	adcx   %rbx,%r13
14007050f:	c4 e2 fb f6 1c 24    	mulx   (%rsp),%rax,%rbx
140070515:	f3 4c 0f 38 f6 e8    	adox   %rax,%r13
14007051b:	66 4c 0f 38 f6 f3    	adcx   %rbx,%r14
140070521:	c4 42 fb f6 ff       	mulx   %r15,%rax,%r15
140070526:	ba 26 00 00 00       	mov    $0x26,%edx
14007052b:	f3 4c 0f 38 f6 f0    	adox   %rax,%r14
140070531:	66 4c 0f 38 f6 ff    	adcx   %rdi,%r15
140070537:	f3 4c 0f 38 f6 ff    	adox   %rdi,%r15
14007053d:	e9 3e 01 00 00       	jmp    0x140070680
140070542:	90                   	nop
140070543:	90                   	nop
140070544:	90                   	nop
140070545:	90                   	nop
140070546:	90                   	nop
140070547:	90                   	nop
140070548:	90                   	nop
140070549:	90                   	nop
14007054a:	90                   	nop
14007054b:	90                   	nop
14007054c:	90                   	nop
14007054d:	90                   	nop
14007054e:	90                   	nop
14007054f:	90                   	nop
140070550:	90                   	nop
140070551:	90                   	nop
140070552:	90                   	nop
140070553:	90                   	nop
140070554:	90                   	nop
140070555:	90                   	nop
140070556:	90                   	nop
140070557:	90                   	nop
140070558:	90                   	nop
140070559:	90                   	nop
14007055a:	90                   	nop
14007055b:	90                   	nop
14007055c:	90                   	nop
14007055d:	90                   	nop
14007055e:	90                   	nop
14007055f:	90                   	nop
140070560:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140070565:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14007056a:	48 89 e0             	mov    %rsp,%rax
14007056d:	48 89 cf             	mov    %rcx,%rdi
140070570:	48 89 d6             	mov    %rdx,%rsi
140070573:	55                   	push   %rbp
140070574:	53                   	push   %rbx
140070575:	41 54                	push   %r12
140070577:	41 55                	push   %r13
140070579:	41 56                	push   %r14
14007057b:	41 57                	push   %r15
14007057d:	57                   	push   %rdi
14007057e:	48 8d 64 24 f0       	lea    -0x10(%rsp),%rsp
140070583:	48 8b 16             	mov    (%rsi),%rdx
140070586:	48 8b 4e 08          	mov    0x8(%rsi),%rcx
14007058a:	48 8b 6e 10          	mov    0x10(%rsi),%rbp
14007058e:	48 8b 76 18          	mov    0x18(%rsi),%rsi
140070592:	c4 62 bb f6 fa       	mulx   %rdx,%r8,%r15
140070597:	c4 e2 b3 f6 c1       	mulx   %rcx,%r9,%rax
14007059c:	31 ff                	xor    %edi,%edi
14007059e:	c4 e2 ab f6 dd       	mulx   %rbp,%r10,%rbx
1400705a3:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
1400705a9:	c4 62 a3 f6 e6       	mulx   %rsi,%r11,%r12
1400705ae:	48 89 ca             	mov    %rcx,%rdx
1400705b1:	66 4c 0f 38 f6 db    	adcx   %rbx,%r11
1400705b7:	66 4c 0f 38 f6 e7    	adcx   %rdi,%r12
1400705bd:	c4 e2 fb f6 dd       	mulx   %rbp,%rax,%rbx
1400705c2:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
1400705c8:	66 4c 0f 38 f6 e3    	adcx   %rbx,%r12
1400705ce:	c4 62 fb f6 ee       	mulx   %rsi,%rax,%r13
1400705d3:	48 89 ea             	mov    %rbp,%rdx
1400705d6:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
1400705dc:	66 4c 0f 38 f6 ef    	adcx   %rdi,%r13
1400705e2:	c4 62 fb f6 f6       	mulx   %rsi,%rax,%r14
1400705e7:	48 89 ca             	mov    %rcx,%rdx
1400705ea:	f3 4c 0f 38 f6 e8    	adox   %rax,%r13
1400705f0:	66 4c 0f 38 f6 f7    	adcx   %rdi,%r14
1400705f6:	f3 4c 0f 38 f6 f7    	adox   %rdi,%r14
1400705fc:	66 4d 0f 38 f6 c9    	adcx   %r9,%r9
140070602:	f3 4d 0f 38 f6 cf    	adox   %r15,%r9
140070608:	66 4d 0f 38 f6 d2    	adcx   %r10,%r10
14007060e:	c4 e2 fb f6 da       	mulx   %rdx,%rax,%rbx
140070613:	48 89 ea             	mov    %rbp,%rdx
140070616:	66 4d 0f 38 f6 db    	adcx   %r11,%r11
14007061c:	f3 4c 0f 38 f6 d0    	adox   %rax,%r10
140070622:	66 4d 0f 38 f6 e4    	adcx   %r12,%r12
140070628:	f3 4c 0f 38 f6 db    	adox   %rbx,%r11
14007062e:	c4 e2 fb f6 da       	mulx   %rdx,%rax,%rbx
140070633:	48 89 f2             	mov    %rsi,%rdx
140070636:	66 4d 0f 38 f6 ed    	adcx   %r13,%r13
14007063c:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
140070642:	66 4d 0f 38 f6 f6    	adcx   %r14,%r14
140070648:	f3 4c 0f 38 f6 eb    	adox   %rbx,%r13
14007064e:	c4 62 fb f6 fa       	mulx   %rdx,%rax,%r15
140070653:	ba 26 00 00 00       	mov    $0x26,%edx
140070658:	f3 4c 0f 38 f6 f0    	adox   %rax,%r14
14007065e:	66 4c 0f 38 f6 ff    	adcx   %rdi,%r15
140070664:	f3 4c 0f 38 f6 ff    	adox   %rdi,%r15
14007066a:	eb 14                	jmp    0x140070680
14007066c:	90                   	nop
14007066d:	90                   	nop
14007066e:	90                   	nop
14007066f:	90                   	nop
140070670:	90                   	nop
140070671:	90                   	nop
140070672:	90                   	nop
140070673:	90                   	nop
140070674:	90                   	nop
140070675:	90                   	nop
140070676:	90                   	nop
140070677:	90                   	nop
140070678:	90                   	nop
140070679:	90                   	nop
14007067a:	90                   	nop
14007067b:	90                   	nop
14007067c:	90                   	nop
14007067d:	90                   	nop
14007067e:	90                   	nop
14007067f:	90                   	nop
140070680:	c4 c2 fb f6 dc       	mulx   %r12,%rax,%rbx
140070685:	66 4c 0f 38 f6 c0    	adcx   %rax,%r8
14007068b:	f3 4c 0f 38 f6 cb    	adox   %rbx,%r9
140070691:	c4 c2 fb f6 dd       	mulx   %r13,%rax,%rbx
140070696:	66 4c 0f 38 f6 c8    	adcx   %rax,%r9
14007069c:	f3 4c 0f 38 f6 d3    	adox   %rbx,%r10
1400706a2:	c4 c2 fb f6 de       	mulx   %r14,%rax,%rbx
1400706a7:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
1400706ad:	f3 4c 0f 38 f6 db    	adox   %rbx,%r11
1400706b3:	c4 42 fb f6 e7       	mulx   %r15,%rax,%r12
1400706b8:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
1400706be:	f3 4c 0f 38 f6 e7    	adox   %rdi,%r12
1400706c4:	66 4c 0f 38 f6 e7    	adcx   %rdi,%r12
1400706ca:	48 8b 7c 24 10       	mov    0x10(%rsp),%rdi
1400706cf:	4c 0f af e2          	imul   %rdx,%r12
1400706d3:	4d 01 e0             	add    %r12,%r8
1400706d6:	49 83 d1 00          	adc    $0x0,%r9
1400706da:	49 83 d2 00          	adc    $0x0,%r10
1400706de:	49 83 d3 00          	adc    $0x0,%r11
1400706e2:	48 19 c0             	sbb    %rax,%rax
1400706e5:	48 83 e0 26          	and    $0x26,%rax
1400706e9:	49 01 c0             	add    %rax,%r8
1400706ec:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
1400706f0:	4c 89 57 10          	mov    %r10,0x10(%rdi)
1400706f4:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
1400706f8:	4c 89 07             	mov    %r8,(%rdi)
1400706fb:	4c 8b 7c 24 18       	mov    0x18(%rsp),%r15
140070700:	4c 8b 74 24 20       	mov    0x20(%rsp),%r14
140070705:	4c 8b 6c 24 28       	mov    0x28(%rsp),%r13
14007070a:	4c 8b 64 24 30       	mov    0x30(%rsp),%r12
14007070f:	48 8b 5c 24 38       	mov    0x38(%rsp),%rbx
140070714:	48 8b 6c 24 40       	mov    0x40(%rsp),%rbp
140070719:	48 8d 64 24 48       	lea    0x48(%rsp),%rsp
14007071e:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
140070723:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
140070728:	f3 c3                	repz ret
14007072a:	90                   	nop
14007072b:	90                   	nop
14007072c:	90                   	nop
14007072d:	90                   	nop
14007072e:	90                   	nop
14007072f:	90                   	nop
140070730:	90                   	nop
140070731:	90                   	nop
140070732:	90                   	nop
140070733:	90                   	nop
140070734:	90                   	nop
140070735:	90                   	nop
140070736:	90                   	nop
140070737:	90                   	nop
140070738:	90                   	nop
140070739:	90                   	nop
14007073a:	90                   	nop
14007073b:	90                   	nop
14007073c:	90                   	nop
14007073d:	90                   	nop
14007073e:	90                   	nop
14007073f:	90                   	nop
140070740:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140070745:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14007074a:	48 89 e0             	mov    %rsp,%rax
14007074d:	48 89 cf             	mov    %rcx,%rdi
140070750:	48 89 d6             	mov    %rdx,%rsi
140070753:	ba 42 db 01 00       	mov    $0x1db42,%edx
140070758:	c4 e2 bb f6 0e       	mulx   (%rsi),%r8,%rcx
14007075d:	c4 e2 b3 f6 46 08    	mulx   0x8(%rsi),%r9,%rax
140070763:	49 01 c9             	add    %rcx,%r9
140070766:	c4 e2 ab f6 4e 10    	mulx   0x10(%rsi),%r10,%rcx
14007076c:	49 11 c2             	adc    %rax,%r10
14007076f:	c4 e2 a3 f6 46 18    	mulx   0x18(%rsi),%r11,%rax
140070775:	49 11 cb             	adc    %rcx,%r11
140070778:	48 83 d0 00          	adc    $0x0,%rax
14007077c:	48 6b c0 26          	imul   $0x26,%rax,%rax
140070780:	49 01 c0             	add    %rax,%r8
140070783:	49 83 d1 00          	adc    $0x0,%r9
140070787:	49 83 d2 00          	adc    $0x0,%r10
14007078b:	49 83 d3 00          	adc    $0x0,%r11
14007078f:	48 19 c0             	sbb    %rax,%rax
140070792:	48 83 e0 26          	and    $0x26,%rax
140070796:	49 01 c0             	add    %rax,%r8
140070799:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
14007079d:	4c 89 57 10          	mov    %r10,0x10(%rdi)
1400707a1:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
1400707a5:	4c 89 07             	mov    %r8,(%rdi)
1400707a8:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
1400707ad:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
1400707b2:	f3 c3                	repz ret
1400707b4:	90                   	nop
1400707b5:	90                   	nop
1400707b6:	90                   	nop
1400707b7:	90                   	nop
1400707b8:	90                   	nop
1400707b9:	90                   	nop
1400707ba:	90                   	nop
1400707bb:	90                   	nop
1400707bc:	90                   	nop
1400707bd:	90                   	nop
1400707be:	90                   	nop
1400707bf:	90                   	nop
1400707c0:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
1400707c5:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
1400707ca:	48 89 e0             	mov    %rsp,%rax
1400707cd:	48 89 cf             	mov    %rcx,%rdi
1400707d0:	48 89 d6             	mov    %rdx,%rsi
1400707d3:	4c 89 c2             	mov    %r8,%rdx
1400707d6:	4c 8b 06             	mov    (%rsi),%r8
1400707d9:	4c 8b 4e 08          	mov    0x8(%rsi),%r9
1400707dd:	4c 8b 56 10          	mov    0x10(%rsi),%r10
1400707e1:	4c 8b 5e 18          	mov    0x18(%rsi),%r11
1400707e5:	4c 03 02             	add    (%rdx),%r8
1400707e8:	4c 13 4a 08          	adc    0x8(%rdx),%r9
1400707ec:	4c 13 52 10          	adc    0x10(%rdx),%r10
1400707f0:	4c 13 5a 18          	adc    0x18(%rdx),%r11
1400707f4:	48 19 c0             	sbb    %rax,%rax
1400707f7:	48 83 e0 26          	and    $0x26,%rax
1400707fb:	49 01 c0             	add    %rax,%r8
1400707fe:	49 83 d1 00          	adc    $0x0,%r9
140070802:	49 83 d2 00          	adc    $0x0,%r10
140070806:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
14007080a:	49 83 d3 00          	adc    $0x0,%r11
14007080e:	4c 89 57 10          	mov    %r10,0x10(%rdi)
140070812:	48 19 c0             	sbb    %rax,%rax
140070815:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
140070819:	48 83 e0 26          	and    $0x26,%rax
14007081d:	49 01 c0             	add    %rax,%r8
140070820:	4c 89 07             	mov    %r8,(%rdi)
140070823:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi