140076279:	49 c1 e1 0d          	shl    $0xd,%r9
14007627d:	48 21 e9             	and    %rbp,%rcx
140076280:	4d 09 c1             	or     %r8,%r9
140076283:	4c 01 ca             	add    %r9,%rdx
140076286:	4d 89 f2             	mov    %r14,%r10
140076289:	49 c1 ee 33          	shr    $0x33,%r14
14007628d:	49 c1 e7 0d          	shl    $0xd,%r15
140076291:	49 21 ea             	and    %rbp,%r10
140076294:	4d 09 f7             	or     %r14,%r15
140076297:	4f 8d 34 ff          	lea    (%r15,%r15,8),%r14
14007629b:	4f 8d 3c 77          	lea    (%r15,%r14,2),%r15
14007629f:	4c 01 f8             	add    %r15,%rax
1400762a2:	49 89 d0             	mov    %rdx,%r8
1400762a5:	48 21 ea             	and    %rbp,%rdx
1400762a8:	49 c1 e8 33          	shr    $0x33,%r8
1400762ac:	4c 01 c3             	add    %r8,%rbx
1400762af:	49 89 c1             	mov    %rax,%r9
1400762b2:	48 21 e8             	and    %rbp,%rax
1400762b5:	49 c1 e9 33          	shr    $0x33,%r9
1400762b9:	4c 01 c9             	add    %r9,%rcx
1400762bc:	48 89 07             	mov    %rax,(%rdi)
1400762bf:	48 89 4f 08          	mov    %rcx,0x8(%rdi)
1400762c3:	48 89 57 10          	mov    %rdx,0x10(%rdi)
1400762c7:	48 89 5f 18          	mov    %rbx,0x18(%rdi)
1400762cb:	4c 89 57 20          	mov    %r10,0x20(%rdi)
1400762cf:	4c 8b 7c 24 28       	mov    0x28(%rsp),%r15
1400762d4:	4c 8b 74 24 30       	mov    0x30(%rsp),%r14
1400762d9:	4c 8b 6c 24 38       	mov    0x38(%rsp),%r13
1400762de:	4c 8b 64 24 40       	mov    0x40(%rsp),%r12
1400762e3:	48 8b 5c 24 48       	mov    0x48(%rsp),%rbx
1400762e8:	48 8b 6c 24 50       	mov    0x50(%rsp),%rbp
1400762ed:	48 8d 64 24 58       	lea    0x58(%rsp),%rsp
1400762f2:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
1400762f7:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
1400762fc:	f3 c3                	repz ret
1400762fe:	90                   	nop
1400762ff:	90                   	nop
140076300:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140076305:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14007630a:	48 89 e0             	mov    %rsp,%rax
14007630d:	48 89 cf             	mov    %rcx,%rdi
140076310:	48 89 d6             	mov    %rdx,%rsi
140076313:	55                   	push   %rbp
140076314:	53                   	push   %rbx
140076315:	41 54                	push   %r12
140076317:	41 55                	push   %r13
140076319:	41 56                	push   %r14
14007631b:	41 57                	push   %r15
14007631d:	48 8d 64 24 d8       	lea    -0x28(%rsp),%rsp
140076322:	b8 42 db 01 00       	mov    $0x1db42,%eax
140076327:	48 f7 26             	mulq   (%rsi)
14007632a:	48 89 c3             	mov    %rax,%rbx
14007632d:	b8 42 db 01 00       	mov    $0x1db42,%eax
140076332:	48 89 d1             	mov    %rdx,%rcx
140076335:	48 f7 66 08          	mulq   0x8(%rsi)
140076339:	49 89 c0             	mov    %rax,%r8
14007633c:	b8 42 db 01 00       	mov    $0x1db42,%eax
140076341:	49 89 d1             	mov    %rdx,%r9
140076344:	48 f7 66 10          	mulq   0x10(%rsi)
140076348:	49 89 c2             	mov    %rax,%r10
14007634b:	b8 42 db 01 00       	mov    $0x1db42,%eax
140076350:	49 89 d3             	mov    %rdx,%r11
140076353:	48 f7 66 18          	mulq   0x18(%rsi)
140076357:	49 89 c4             	mov    %rax,%r12
14007635a:	b8 42 db 01 00       	mov    $0x1db42,%eax
14007635f:	49 89 d5             	mov    %rdx,%r13
140076362:	48 f7 66 20          	mulq   0x20(%rsi)
140076366:	49 89 c6             	mov    %rax,%r14
140076369:	49 89 d7             	mov    %rdx,%r15
14007636c:	e9 af fe ff ff       	jmp    0x140076220
140076371:	90                   	nop
140076372:	90                   	nop
140076373:	90                   	nop
140076374:	90                   	nop
140076375:	90                   	nop
140076376:	90                   	nop
140076377:	90                   	nop
140076378:	90                   	nop
140076379:	90                   	nop
14007637a:	90                   	nop
14007637b:	90                   	nop
14007637c:	90                   	nop
14007637d:	90                   	nop
14007637e:	90                   	nop
14007637f:	90                   	nop
140076380:	8b 0d 92 59 36 00    	mov    0x365992(%rip),%ecx        # 0x1403dbd18
140076386:	31 c0                	xor    %eax,%eax
140076388:	81 e1 00 01 08 00    	and    $0x80100,%ecx
14007638e:	81 f9 00 01 08 00    	cmp    $0x80100,%ecx
140076394:	0f 44 c1             	cmove  %ecx,%eax
140076397:	f3 c3                	repz ret
140076399:	90                   	nop
14007639a:	90                   	nop
14007639b:	90                   	nop
14007639c:	90                   	nop
14007639d:	90                   	nop
14007639e:	90                   	nop
14007639f:	90                   	nop
1400763a0:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
1400763a5:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
1400763aa:	48 89 e0             	mov    %rsp,%rax
1400763ad:	48 89 cf             	mov    %rcx,%rdi
1400763b0:	48 89 d6             	mov    %rdx,%rsi
1400763b3:	4c 89 c2             	mov    %r8,%rdx
1400763b6:	55                   	push   %rbp
1400763b7:	53                   	push   %rbx
1400763b8:	41 54                	push   %r12
1400763ba:	41 55                	push   %r13
1400763bc:	41 56                	push   %r14
1400763be:	41 57                	push   %r15
1400763c0:	57                   	push   %rdi
1400763c1:	48 8d 64 24 f0       	lea    -0x10(%rsp),%rsp
1400763c6:	48 89 d0             	mov    %rdx,%rax
1400763c9:	48 8b 2a             	mov    (%rdx),%rbp
1400763cc:	48 8b 16             	mov    (%rsi),%rdx
1400763cf:	48 8b 48 08          	mov    0x8(%rax),%rcx
1400763d3:	4c 8b 70 10          	mov    0x10(%rax),%r14
1400763d7:	4c 8b 78 18          	mov    0x18(%rax),%r15
1400763db:	c4 e2 bb f6 c5       	mulx   %rbp,%r8,%rax
1400763e0:	31 ff                	xor    %edi,%edi
1400763e2:	c4 e2 b3 f6 d9       	mulx   %rcx,%r9,%rbx
1400763e7:	66 4c 0f 38 f6 c8    	adcx   %rax,%r9
1400763ed:	c4 c2 ab f6 c6       	mulx   %r14,%r10,%rax
1400763f2:	66 4c 0f 38 f6 d3    	adcx   %rbx,%r10
1400763f8:	c4 42 a3 f6 e7       	mulx   %r15,%r11,%r12
1400763fd:	48 8b 56 08          	mov    0x8(%rsi),%rdx
140076401:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
140076407:	4c 89 34 24          	mov    %r14,(%rsp)
14007640b:	66 4c 0f 38 f6 e7    	adcx   %rdi,%r12
140076411:	c4 e2 fb f6 dd       	mulx   %rbp,%rax,%rbx
140076416:	f3 4c 0f 38 f6 c8    	adox   %rax,%r9
14007641c:	66 4c 0f 38 f6 d3    	adcx   %rbx,%r10
140076422:	c4 e2 fb f6 d9       	mulx   %rcx,%rax,%rbx
140076427:	f3 4c 0f 38 f6 d0    	adox   %rax,%r10
14007642d:	66 4c 0f 38 f6 db    	adcx   %rbx,%r11
140076433:	c4 c2 fb f6 de       	mulx   %r14,%rax,%rbx
140076438:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
14007643e:	66 4c 0f 38 f6 e3    	adcx   %rbx,%r12
140076444:	c4 42 fb f6 ef       	mulx   %r15,%rax,%r13
140076449:	48 8b 56 10          	mov    0x10(%rsi),%rdx
14007644d:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
140076453:	66 4c 0f 38 f6 ef    	adcx   %rdi,%r13
140076459:	f3 4c 0f 38 f6 ef    	adox   %rdi,%r13
14007645f:	c4 e2 fb f6 dd       	mulx   %rbp,%rax,%rbx
140076464:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
14007646a:	f3 4c 0f 38 f6 db    	adox   %rbx,%r11
140076470:	c4 e2 fb f6 d9       	mulx   %rcx,%rax,%rbx
140076475:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
14007647b:	f3 4c 0f 38 f6 e3    	adox   %rbx,%r12
140076481:	c4 c2 fb f6 de       	mulx   %r14,%rax,%rbx
140076486:	66 4c 0f 38 f6 e0    	adcx   %rax,%r12
14007648c:	f3 4c 0f 38 f6 eb    	adox   %rbx,%r13
140076492:	c4 42 fb f6 f7       	mulx   %r15,%rax,%r14
140076497:	48 8b 56 18          	mov    0x18(%rsi),%rdx
14007649b:	66 4c 0f 38 f6 e8    	adcx   %rax,%r13
1400764a1:	f3 4c 0f 38 f6 f7    	adox   %rdi,%r14
1400764a7:	66 4c 0f 38 f6 f7    	adcx   %rdi,%r14
1400764ad:	c4 e2 fb f6 dd       	mulx   %rbp,%rax,%rbx
1400764b2:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
1400764b8:	66 4c 0f 38 f6 e3    	adcx   %rbx,%r12
1400764be:	c4 e2 fb f6 d9       	mulx   %rcx,%rax,%rbx
1400764c3:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
1400764c9:	66 4c 0f 38 f6 eb    	adcx   %rbx,%r13
1400764cf:	c4 e2 fb f6 1c 24    	mulx   (%rsp),%rax,%rbx
1400764d5:	f3 4c 0f 38 f6 e8    	adox   %rax,%r13
1400764db:	66 4c 0f 38 f6 f3    	adcx   %rbx,%r14
1400764e1:	c4 42 fb f6 ff       	mulx   %r15,%rax,%r15
1400764e6:	ba 26 00 00 00       	mov    $0x26,%edx
1400764eb:	f3 4c 0f 38 f6 f0    	adox   %rax,%r14
1400764f1:	66 4c 0f 38 f6 ff    	adcx   %rdi,%r15
1400764f7:	f3 4c 0f 38 f6 ff    	adox   %rdi,%r15
1400764fd:	e9 3e 01 00 00       	jmp    0x140076640
140076502:	90                   	nop
140076503:	90                   	nop
140076504:	90                   	nop
140076505:	90                   	nop
140076506:	90                   	nop
140076507:	90                   	nop
140076508:	90                   	nop
140076509:	90                   	nop
14007650a:	90                   	nop
14007650b:	90                   	nop
14007650c:	90                   	nop
14007650d:	90                   	nop
14007650e:	90                   	nop
14007650f:	90                   	nop
140076510:	90                   	nop
140076511:	90                   	nop
140076512:	90                   	nop
140076513:	90                   	nop
140076514:	90                   	nop
140076515:	90                   	nop
140076516:	90                   	nop
140076517:	90                   	nop
140076518:	90                   	nop
140076519:	90                   	nop
14007651a:	90                   	nop
14007651b:	90                   	nop
14007651c:	90                   	nop
14007651d:	90                   	nop
14007651e:	90                   	nop
14007651f:	90                   	nop
140076520:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140076525:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14007652a:	48 89 e0             	mov    %rsp,%rax
14007652d:	48 89 cf             	mov    %rcx,%rdi
140076530:	48 89 d6             	mov    %rdx,%rsi
140076533:	55                   	push   %rbp
140076534:	53                   	push   %rbx
140076535:	41 54                	push   %r12
140076537:	41 55                	push   %r13
140076539:	41 56                	push   %r14
14007653b:	41 57                	push   %r15
14007653d:	57                   	push   %rdi
14007653e:	48 8d 64 24 f0       	lea    -0x10(%rsp),%rsp
140076543:	48 8b 16             	mov    (%rsi),%rdx
140076546:	48 8b 4e 08          	mov    0x8(%rsi),%rcx
14007654a:	48 8b 6e 10          	mov    0x10(%rsi),%rbp
14007654e:	48 8b 76 18          	mov    0x18(%rsi),%rsi
140076552:	c4 62 bb f6 fa       	mulx   %rdx,%r8,%r15
140076557:	c4 e2 b3 f6 c1       	mulx   %rcx,%r9,%rax
14007655c:	31 ff                	xor    %edi,%edi
14007655e:	c4 e2 ab f6 dd       	mulx   %rbp,%r10,%rbx
140076563:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
140076569:	c4 62 a3 f6 e6       	mulx   %rsi,%r11,%r12
14007656e:	48 89 ca             	mov    %rcx,%rdx
140076571:	66 4c 0f 38 f6 db    	adcx   %rbx,%r11
140076577:	66 4c 0f 38 f6 e7    	adcx   %rdi,%r12
14007657d:	c4 e2 fb f6 dd       	mulx   %rbp,%rax,%rbx
140076582:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
140076588:	66 4c 0f 38 f6 e3    	adcx   %rbx,%r12
14007658e:	c4 62 fb f6 ee       	mulx   %rsi,%rax,%r13
140076593:	48 89 ea             	mov    %rbp,%rdx
140076596:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
14007659c:	66 4c 0f 38 f6 ef    	adcx   %rdi,%r13
1400765a2:	c4 62 fb f6 f6       	mulx   %rsi,%rax,%r14
1400765a7:	48 89 ca             	mov    %rcx,%rdx
1400765aa:	f3 4c 0f 38 f6 e8    	adox   %rax,%r13
1400765b0:	66 4c 0f 38 f6 f7    	adcx   %rdi,%r14
1400765b6:	f3 4c 0f 38 f6 f7    	adox   %rdi,%r14
1400765bc:	66 4d 0f 38 f6 c9    	adcx   %r9,%r9
1400765c2:	f3 4d 0f 38 f6 cf    	adox   %r15,%r9
1400765c8:	66 4d 0f 38 f6 d2    	adcx   %r10,%r10
1400765ce:	c4 e2 fb f6 da       	mulx   %rdx,%rax,%rbx
1400765d3:	48 89 ea             	mov    %rbp,%rdx
1400765d6:	66 4d 0f 38 f6 db    	adcx   %r11,%r11
1400765dc:	f3 4c 0f 38 f6 d0    	adox   %rax,%r10
1400765e2:	66 4d 0f 38 f6 e4    	adcx   %r12,%r12
1400765e8:	f3 4c 0f 38 f6 db    	adox   %rbx,%r11
1400765ee:	c4 e2 fb f6 da       	mulx   %rdx,%rax,%rbx
1400765f3:	48 89 f2             	mov    %rsi,%rdx
1400765f6:	66 4d 0f 38 f6 ed    	adcx   %r13,%r13
1400765fc:	f3 4c 0f 38 f6 e0    	adox   %rax,%r12
140076602:	66 4d 0f 38 f6 f6    	adcx   %r14,%r14
140076608:	f3 4c 0f 38 f6 eb    	adox   %rbx,%r13
14007660e:	c4 62 fb f6 fa       	mulx   %rdx,%rax,%r15
140076613:	ba 26 00 00 00       	mov    $0x26,%edx
140076618:	f3 4c 0f 38 f6 f0    	adox   %rax,%r14
14007661e:	66 4c 0f 38 f6 ff    	adcx   %rdi,%r15
140076624:	f3 4c 0f 38 f6 ff    	adox   %rdi,%r15
14007662a:	eb 14                	jmp    0x140076640
14007662c:	90                   	nop
14007662d:	90                   	nop
14007662e:	90                   	nop
14007662f:	90                   	nop
140076630:	90                   	nop
140076631:	90                   	nop
140076632:	90                   	nop
140076633:	90                   	nop
140076634:	90                   	nop
140076635:	90                   	nop
140076636:	90                   	nop
140076637:	90                   	nop
140076638:	90                   	nop
140076639:	90                   	nop
14007663a:	90                   	nop
14007663b:	90                   	nop
14007663c:	90                   	nop
14007663d:	90                   	nop
14007663e:	90                   	nop
14007663f:	90                   	nop
140076640:	c4 c2 fb f6 dc       	mulx   %r12,%rax,%rbx
140076645:	66 4c 0f 38 f6 c0    	adcx   %rax,%r8
14007664b:	f3 4c 0f 38 f6 cb    	adox   %rbx,%r9
140076651:	c4 c2 fb f6 dd       	mulx   %r13,%rax,%rbx
140076656:	66 4c 0f 38 f6 c8    	adcx   %rax,%r9
14007665c:	f3 4c 0f 38 f6 d3    	adox   %rbx,%r10
140076662:	c4 c2 fb f6 de       	mulx   %r14,%rax,%rbx
140076667:	66 4c 0f 38 f6 d0    	adcx   %rax,%r10
14007666d:	f3 4c 0f 38 f6 db    	adox   %rbx,%r11
140076673:	c4 42 fb f6 e7       	mulx   %r15,%rax,%r12
140076678:	66 4c 0f 38 f6 d8    	adcx   %rax,%r11
14007667e:	f3 4c 0f 38 f6 e7    	adox   %rdi,%r12
140076684:	66 4c 0f 38 f6 e7    	adcx   %rdi,%r12
14007668a:	48 8b 7c 24 10       	mov    0x10(%rsp),%rdi
14007668f:	4c 0f af e2          	imul   %rdx,%r12
140076693:	4d 01 e0             	add    %r12,%r8
140076696:	49 83 d1 00          	adc    $0x0,%r9
14007669a:	49 83 d2 00          	adc    $0x0,%r10
14007669e:	49 83 d3 00          	adc    $0x0,%r11
1400766a2:	48 19 c0             	sbb    %rax,%rax
1400766a5:	48 83 e0 26          	and    $0x26,%rax
1400766a9:	49 01 c0             	add    %rax,%r8
1400766ac:	4c 89 4f 08          	mov    %r9,0x8(%rdi)
1400766b0:	4c 89 57 10          	mov    %r10,0x10(%rdi)
1400766b4:	4c 89 5f 18          	mov    %r11,0x18(%rdi)
1400766b8:	4c 89 07             	mov    %r8,(%rdi)
1400766bb:	4c 8b 7c 24 18       	mov    0x18(%rsp),%r15
1400766c0:	4c 8b 74 24 20       	mov    0x20(%rsp),%r14
1400766c5:	4c 8b 6c 24 28       	mov    0x28(%rsp),%r13
1400766ca:	4c 8b 64 24 30       	mov    0x30(%rsp),%r12
1400766cf:	48 8b 5c 24 38       	mov    0x38(%rsp),%rbx
1400766d4:	48 8b 6c 24 40       	mov    0x40(%rsp),%rbp
1400766d9:	48 8d 64 24 48       	lea    0x48(%rsp),%rsp
1400766de:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
1400766e3:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
1400766e8:	f3 c3                	repz ret
1400766ea:	90                   	nop
1400766eb:	90                   	nop
1400766ec:	90                   	nop
1400766ed:	90                   	nop
1400766ee:	90                   	nop
1400766ef:	90                   	nop
1400766f0:	90                   	nop
1400766f1:	90                   	nop
1400766f2:	90                   	nop
1400766f3:	90                   	nop
1400766f4:	90                   	nop
1400766f5:	90                   	nop
1400766f6:	90                   	nop
1400766f7:	90                   	nop
1400766f8:	90                   	nop
1400766f9:	90                   	nop
1400766fa:	90                   	nop
1400766fb:	90                   	nop
1400766fc:	90                   	nop
1400766fd:	90                   	nop
1400766fe:	90                   	nop
1400766ff:	90                   	nop
140076700:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140076705:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14007670a:	48 89 e0             	mov    %rsp,%rax
14007670d:	48 89 cf             	mov    %rcx,%rdi
140076710:	48 89 d6             	mov    %rdx,%rsi
140076713:	ba 42 db 01 00       	mov    $0x1db42,%edx
140076718:	c4 e2 bb f6 0e       	mulx   (%rsi),%r8,%rcx
14007671d:	c4 e2 b3 f6 46 08    	mulx   0x8(%rsi),%r9,%rax
140076723:	49 01 c9             	add    %rcx,%r9
140076726:	c4 e2 ab f6 4e 10    	mulx   0x10(%rsi),%r10,%rcx
14007672c:	49 11 c2             	adc    %rax,%r10