140076074:	48 11 d1             	adc    %rdx,%rcx
140076077:	48 f7 e7             	mul    %rdi
14007607a:	49 01 c0             	add    %rax,%r8
14007607d:	48 8b 46 08          	mov    0x8(%rsi),%rax
140076081:	49 11 d1             	adc    %rdx,%r9
140076084:	48 f7 e5             	mul    %rbp
140076087:	48 6b fd 13          	imul   $0x13,%rbp,%rdi
14007608b:	49 01 c2             	add    %rax,%r10
14007608e:	48 8b 46 10          	mov    0x10(%rsi),%rax
140076092:	49 11 d3             	adc    %rdx,%r11
140076095:	48 f7 e5             	mul    %rbp
140076098:	49 01 c4             	add    %rax,%r12
14007609b:	48 8b 46 18          	mov    0x18(%rsi),%rax
14007609f:	49 11 d5             	adc    %rdx,%r13
1400760a2:	48 f7 e5             	mul    %rbp
1400760a5:	48 8b 2c 24          	mov    (%rsp),%rbp
1400760a9:	49 01 c6             	add    %rax,%r14
1400760ac:	48 8b 46 20          	mov    0x20(%rsi),%rax
1400760b0:	49 11 d7             	adc    %rdx,%r15
1400760b3:	48 f7 e7             	mul    %rdi
1400760b6:	48 01 c3             	add    %rax,%rbx
1400760b9:	48 8b 46 08          	mov    0x8(%rsi),%rax
1400760bd:	48 11 d1             	adc    %rdx,%rcx
1400760c0:	48 f7 e5             	mul    %rbp
1400760c3:	49 01 c0             	add    %rax,%r8
1400760c6:	48 8b 46 10          	mov    0x10(%rsi),%rax
1400760ca:	49 11 d1             	adc    %rdx,%r9
1400760cd:	48 f7 e5             	mul    %rbp
1400760d0:	49 01 c2             	add    %rax,%r10
1400760d3:	48 8b 46 18          	mov    0x18(%rsi),%rax
1400760d7:	49 11 d3             	adc    %rdx,%r11
1400760da:	48 f7 e5             	mul    %rbp
1400760dd:	49 01 c4             	add    %rax,%r12
1400760e0:	48 8b 46 20          	mov    0x20(%rsi),%rax
1400760e4:	49 11 d5             	adc    %rdx,%r13
1400760e7:	48 f7 e5             	mul    %rbp
1400760ea:	49 01 c6             	add    %rax,%r14
1400760ed:	49 11 d7             	adc    %rdx,%r15
1400760f0:	48 8b 7c 24 20       	mov    0x20(%rsp),%rdi
1400760f5:	e9 26 01 00 00       	jmp    0x140076220
1400760fa:	90                   	nop
1400760fb:	90                   	nop
1400760fc:	90                   	nop
1400760fd:	90                   	nop
1400760fe:	90                   	nop
1400760ff:	90                   	nop
140076100:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140076105:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14007610a:	48 89 e0             	mov    %rsp,%rax
14007610d:	48 89 cf             	mov    %rcx,%rdi
140076110:	48 89 d6             	mov    %rdx,%rsi
140076113:	55                   	push   %rbp
140076114:	53                   	push   %rbx
140076115:	41 54                	push   %r12
140076117:	41 55                	push   %r13
140076119:	41 56                	push   %r14
14007611b:	41 57                	push   %r15
14007611d:	48 8d 64 24 d8       	lea    -0x28(%rsp),%rsp
140076122:	48 8b 06             	mov    (%rsi),%rax
140076125:	4c 8b 7e 10          	mov    0x10(%rsi),%r15
140076129:	48 8b 6e 20          	mov    0x20(%rsi),%rbp
14007612d:	48 89 7c 24 20       	mov    %rdi,0x20(%rsp)
140076132:	4c 8d 34 00          	lea    (%rax,%rax,1),%r14
140076136:	48 f7 e0             	mul    %rax
140076139:	48 89 c3             	mov    %rax,%rbx
14007613c:	48 8b 46 08          	mov    0x8(%rsi),%rax
140076140:	48 89 d1             	mov    %rdx,%rcx
140076143:	49 f7 e6             	mul    %r14
140076146:	49 89 c0             	mov    %rax,%r8
140076149:	4c 89 f8             	mov    %r15,%rax
14007614c:	4c 89 3c 24          	mov    %r15,(%rsp)
140076150:	49 89 d1             	mov    %rdx,%r9
140076153:	49 f7 e6             	mul    %r14
140076156:	49 89 c2             	mov    %rax,%r10
140076159:	48 8b 46 18          	mov    0x18(%rsi),%rax
14007615d:	49 89 d3             	mov    %rdx,%r11
140076160:	48 6b fd 13          	imul   $0x13,%rbp,%rdi
140076164:	49 f7 e6             	mul    %r14
140076167:	49 89 c4             	mov    %rax,%r12
14007616a:	48 89 e8             	mov    %rbp,%rax
14007616d:	49 89 d5             	mov    %rdx,%r13
140076170:	49 f7 e6             	mul    %r14
140076173:	49 89 c6             	mov    %rax,%r14
140076176:	48 89 e8             	mov    %rbp,%rax
140076179:	49 89 d7             	mov    %rdx,%r15
14007617c:	48 f7 e7             	mul    %rdi
14007617f:	49 01 c4             	add    %rax,%r12
140076182:	48 8b 46 08          	mov    0x8(%rsi),%rax
140076186:	49 11 d5             	adc    %rdx,%r13
140076189:	48 8b 76 18          	mov    0x18(%rsi),%rsi
14007618d:	48 8d 2c 00          	lea    (%rax,%rax,1),%rbp
140076191:	48 f7 e0             	mul    %rax
140076194:	49 01 c2             	add    %rax,%r10
140076197:	48 8b 04 24          	mov    (%rsp),%rax
14007619b:	49 11 d3             	adc    %rdx,%r11
14007619e:	48 f7 e5             	mul    %rbp
1400761a1:	49 01 c4             	add    %rax,%r12
1400761a4:	48 89 e8             	mov    %rbp,%rax
1400761a7:	49 11 d5             	adc    %rdx,%r13
1400761aa:	48 f7 e6             	mul    %rsi
1400761ad:	49 01 c6             	add    %rax,%r14
1400761b0:	48 89 e8             	mov    %rbp,%rax
1400761b3:	49 11 d7             	adc    %rdx,%r15
1400761b6:	48 6b ee 13          	imul   $0x13,%rsi,%rbp
1400761ba:	48 f7 e7             	mul    %rdi
1400761bd:	48 01 c3             	add    %rax,%rbx
1400761c0:	48 8d 04 36          	lea    (%rsi,%rsi,1),%rax
1400761c4:	48 11 d1             	adc    %rdx,%rcx
1400761c7:	48 f7 e7             	mul    %rdi
1400761ca:	49 01 c2             	add    %rax,%r10
1400761cd:	48 89 f0             	mov    %rsi,%rax
1400761d0:	49 11 d3             	adc    %rdx,%r11
1400761d3:	48 f7 e5             	mul    %rbp
1400761d6:	49 01 c0             	add    %rax,%r8
1400761d9:	48 8b 04 24          	mov    (%rsp),%rax
1400761dd:	49 11 d1             	adc    %rdx,%r9
1400761e0:	48 8d 34 00          	lea    (%rax,%rax,1),%rsi
1400761e4:	48 f7 e0             	mul    %rax
1400761e7:	49 01 c6             	add    %rax,%r14
1400761ea:	48 89 e8             	mov    %rbp,%rax
1400761ed:	49 11 d7             	adc    %rdx,%r15
1400761f0:	48 f7 e6             	mul    %rsi
1400761f3:	48 01 c3             	add    %rax,%rbx
1400761f6:	48 89 f0             	mov    %rsi,%rax
1400761f9:	48 11 d1             	adc    %rdx,%rcx
1400761fc:	48 f7 e7             	mul    %rdi
1400761ff:	49 01 c0             	add    %rax,%r8
140076202:	49 11 d1             	adc    %rdx,%r9
140076205:	48 8b 7c 24 20       	mov    0x20(%rsp),%rdi
14007620a:	eb 14                	jmp    0x140076220
14007620c:	90                   	nop
14007620d:	90                   	nop
14007620e:	90                   	nop
14007620f:	90                   	nop
140076210:	90                   	nop
140076211:	90                   	nop
140076212:	90                   	nop
140076213:	90                   	nop
140076214:	90                   	nop
140076215:	90                   	nop
140076216:	90                   	nop
140076217:	90                   	nop
140076218:	90                   	nop
140076219:	90                   	nop
14007621a:	90                   	nop
14007621b:	90                   	nop
14007621c:	90                   	nop
14007621d:	90                   	nop
14007621e:	90                   	nop
14007621f:	90                   	nop
140076220:	48 bd ff ff ff ff ff 	movabs $0x7ffffffffffff,%rbp
140076227:	ff 07 00
14007622a:	4c 89 d2             	mov    %r10,%rdx
14007622d:	49 c1 ea 33          	shr    $0x33,%r10
140076231:	49 c1 e3 0d          	shl    $0xd,%r11
140076235:	48 21 ea             	and    %rbp,%rdx
140076238:	4d 09 d3             	or     %r10,%r11
14007623b:	4d 01 dc             	add    %r11,%r12
14007623e:	49 83 d5 00          	adc    $0x0,%r13
140076242:	48 89 d8             	mov    %rbx,%rax
140076245:	48 c1 eb 33          	shr    $0x33,%rbx
140076249:	48 c1 e1 0d          	shl    $0xd,%rcx
14007624d:	48 21 e8             	and    %rbp,%rax
140076250:	48 09 d9             	or     %rbx,%rcx
140076253:	49 01 c8             	add    %rcx,%r8
140076256:	49 83 d1 00          	adc    $0x0,%r9
14007625a:	4c 89 e3             	mov    %r12,%rbx
14007625d:	49 c1 ec 33          	shr    $0x33,%r12
140076261:	49 c1 e5 0d          	shl    $0xd,%r13
140076265:	48 21 eb             	and    %rbp,%rbx
140076268:	4d 09 e5             	or     %r12,%r13
14007626b:	4d 01 ee             	add    %r13,%r14
14007626e:	49 83 d7 00          	adc    $0x0,%r15
140076272:	4c 89 c1             	mov    %r8,%rcx
140076275:	49 c1 e8 33          	shr    $0x33,%r8
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