140070162:	48 8b 06             	mov    (%rsi),%rax
140070165:	4c 8b 7e 10          	mov    0x10(%rsi),%r15
140070169:	48 8b 6e 20          	mov    0x20(%rsi),%rbp
14007016d:	48 89 7c 24 20       	mov    %rdi,0x20(%rsp)
140070172:	4c 8d 34 00          	lea    (%rax,%rax,1),%r14
140070176:	48 f7 e0             	mul    %rax
140070179:	48 89 c3             	mov    %rax,%rbx
14007017c:	48 8b 46 08          	mov    0x8(%rsi),%rax
140070180:	48 89 d1             	mov    %rdx,%rcx
140070183:	49 f7 e6             	mul    %r14
140070186:	49 89 c0             	mov    %rax,%r8
140070189:	4c 89 f8             	mov    %r15,%rax
14007018c:	4c 89 3c 24          	mov    %r15,(%rsp)
140070190:	49 89 d1             	mov    %rdx,%r9
140070193:	49 f7 e6             	mul    %r14
140070196:	49 89 c2             	mov    %rax,%r10
140070199:	48 8b 46 18          	mov    0x18(%rsi),%rax
14007019d:	49 89 d3             	mov    %rdx,%r11
1400701a0:	48 6b fd 13          	imul   $0x13,%rbp,%rdi
1400701a4:	49 f7 e6             	mul    %r14
1400701a7:	49 89 c4             	mov    %rax,%r12
1400701aa:	48 89 e8             	mov    %rbp,%rax
1400701ad:	49 89 d5             	mov    %rdx,%r13
1400701b0:	49 f7 e6             	mul    %r14
1400701b3:	49 89 c6             	mov    %rax,%r14
1400701b6:	48 89 e8             	mov    %rbp,%rax
1400701b9:	49 89 d7             	mov    %rdx,%r15
1400701bc:	48 f7 e7             	mul    %rdi
1400701bf:	49 01 c4             	add    %rax,%r12
1400701c2:	48 8b 46 08          	mov    0x8(%rsi),%rax
1400701c6:	49 11 d5             	adc    %rdx,%r13
1400701c9:	48 8b 76 18          	mov    0x18(%rsi),%rsi
1400701cd:	48 8d 2c 00          	lea    (%rax,%rax,1),%rbp
1400701d1:	48 f7 e0             	mul    %rax
1400701d4:	49 01 c2             	add    %rax,%r10
1400701d7:	48 8b 04 24          	mov    (%rsp),%rax
1400701db:	49 11 d3             	adc    %rdx,%r11
1400701de:	48 f7 e5             	mul    %rbp
1400701e1:	49 01 c4             	add    %rax,%r12
1400701e4:	48 89 e8             	mov    %rbp,%rax
1400701e7:	49 11 d5             	adc    %rdx,%r13
1400701ea:	48 f7 e6             	mul    %rsi
1400701ed:	49 01 c6             	add    %rax,%r14
1400701f0:	48 89 e8             	mov    %rbp,%rax
1400701f3:	49 11 d7             	adc    %rdx,%r15
1400701f6:	48 6b ee 13          	imul   $0x13,%rsi,%rbp
1400701fa:	48 f7 e7             	mul    %rdi
1400701fd:	48 01 c3             	add    %rax,%rbx
140070200:	48 8d 04 36          	lea    (%rsi,%rsi,1),%rax
140070204:	48 11 d1             	adc    %rdx,%rcx
140070207:	48 f7 e7             	mul    %rdi
14007020a:	49 01 c2             	add    %rax,%r10
14007020d:	48 89 f0             	mov    %rsi,%rax
140070210:	49 11 d3             	adc    %rdx,%r11
140070213:	48 f7 e5             	mul    %rbp
140070216:	49 01 c0             	add    %rax,%r8
140070219:	48 8b 04 24          	mov    (%rsp),%rax
14007021d:	49 11 d1             	adc    %rdx,%r9
140070220:	48 8d 34 00          	lea    (%rax,%rax,1),%rsi
140070224:	48 f7 e0             	mul    %rax
140070227:	49 01 c6             	add    %rax,%r14
14007022a:	48 89 e8             	mov    %rbp,%rax
14007022d:	49 11 d7             	adc    %rdx,%r15
140070230:	48 f7 e6             	mul    %rsi
140070233:	48 01 c3             	add    %rax,%rbx
140070236:	48 89 f0             	mov    %rsi,%rax
140070239:	48 11 d1             	adc    %rdx,%rcx
14007023c:	48 f7 e7             	mul    %rdi
14007023f:	49 01 c0             	add    %rax,%r8
140070242:	49 11 d1             	adc    %rdx,%r9
140070245:	48 8b 7c 24 20       	mov    0x20(%rsp),%rdi
14007024a:	eb 14                	jmp    0x140070260
14007024c:	90                   	nop
14007024d:	90                   	nop
14007024e:	90                   	nop
14007024f:	90                   	nop
140070250:	90                   	nop
140070251:	90                   	nop
140070252:	90                   	nop
140070253:	90                   	nop
140070254:	90                   	nop
140070255:	90                   	nop
140070256:	90                   	nop
140070257:	90                   	nop
140070258:	90                   	nop
140070259:	90                   	nop
14007025a:	90                   	nop
14007025b:	90                   	nop
14007025c:	90                   	nop
14007025d:	90                   	nop
14007025e:	90                   	nop
14007025f:	90                   	nop
140070260:	48 bd ff ff ff ff ff 	movabs $0x7ffffffffffff,%rbp
140070267:	ff 07 00
14007026a:	4c 89 d2             	mov    %r10,%rdx
14007026d:	49 c1 ea 33          	shr    $0x33,%r10
140070271:	49 c1 e3 0d          	shl    $0xd,%r11
140070275:	48 21 ea             	and    %rbp,%rdx
140070278:	4d 09 d3             	or     %r10,%r11
14007027b:	4d 01 dc             	add    %r11,%r12
14007027e:	49 83 d5 00          	adc    $0x0,%r13
140070282:	48 89 d8             	mov    %rbx,%rax
140070285:	48 c1 eb 33          	shr    $0x33,%rbx
140070289:	48 c1 e1 0d          	shl    $0xd,%rcx
14007028d:	48 21 e8             	and    %rbp,%rax
140070290:	48 09 d9             	or     %rbx,%rcx
140070293:	49 01 c8             	add    %rcx,%r8
140070296:	49 83 d1 00          	adc    $0x0,%r9
14007029a:	4c 89 e3             	mov    %r12,%rbx
14007029d:	49 c1 ec 33          	shr    $0x33,%r12
1400702a1:	49 c1 e5 0d          	shl    $0xd,%r13
1400702a5:	48 21 eb             	and    %rbp,%rbx
1400702a8:	4d 09 e5             	or     %r12,%r13
1400702ab:	4d 01 ee             	add    %r13,%r14
1400702ae:	49 83 d7 00          	adc    $0x0,%r15
1400702b2:	4c 89 c1             	mov    %r8,%rcx
1400702b5:	49 c1 e8 33          	shr    $0x33,%r8
1400702b9:	49 c1 e1 0d          	shl    $0xd,%r9
1400702bd:	48 21 e9             	and    %rbp,%rcx
1400702c0:	4d 09 c1             	or     %r8,%r9
1400702c3:	4c 01 ca             	add    %r9,%rdx
1400702c6:	4d 89 f2             	mov    %r14,%r10
1400702c9:	49 c1 ee 33          	shr    $0x33,%r14
1400702cd:	49 c1 e7 0d          	shl    $0xd,%r15
1400702d1:	49 21 ea             	and    %rbp,%r10
1400702d4:	4d 09 f7             	or     %r14,%r15
1400702d7:	4f 8d 34 ff          	lea    (%r15,%r15,8),%r14
1400702db:	4f 8d 3c 77          	lea    (%r15,%r14,2),%r15
1400702df:	4c 01 f8             	add    %r15,%rax
1400702e2:	49 89 d0             	mov    %rdx,%r8
1400702e5:	48 21 ea             	and    %rbp,%rdx
1400702e8:	49 c1 e8 33          	shr    $0x33,%r8
1400702ec:	4c 01 c3             	add    %r8,%rbx
1400702ef:	49 89 c1             	mov    %rax,%r9
1400702f2:	48 21 e8             	and    %rbp,%rax
1400702f5:	49 c1 e9 33          	shr    $0x33,%r9
1400702f9:	4c 01 c9             	add    %r9,%rcx
1400702fc:	48 89 07             	mov    %rax,(%rdi)
1400702ff:	48 89 4f 08          	mov    %rcx,0x8(%rdi)
140070303:	48 89 57 10          	mov    %rdx,0x10(%rdi)
140070307:	48 89 5f 18          	mov    %rbx,0x18(%rdi)
14007030b:	4c 89 57 20          	mov    %r10,0x20(%rdi)
14007030f:	4c 8b 7c 24 28       	mov    0x28(%rsp),%r15
140070314:	4c 8b 74 24 30       	mov    0x30(%rsp),%r14
140070319:	4c 8b 6c 24 38       	mov    0x38(%rsp),%r13
14007031e:	4c 8b 64 24 40       	mov    0x40(%rsp),%r12
140070323:	48 8b 5c 24 48       	mov    0x48(%rsp),%rbx
140070328:	48 8b 6c 24 50       	mov    0x50(%rsp),%rbp
14007032d:	48 8d 64 24 58       	lea    0x58(%rsp),%rsp
140070332:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
140070337:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
14007033c:	f3 c3                	repz ret
14007033e:	90                   	nop
14007033f:	90                   	nop
140070340:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140070345:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14007034a:	48 89 e0             	mov    %rsp,%rax
14007034d:	48 89 cf             	mov    %rcx,%rdi
140070350:	48 89 d6             	mov    %rdx,%rsi
140070353:	55                   	push   %rbp
140070354:	53                   	push   %rbx
140070355:	41 54                	push   %r12
140070357:	41 55                	push   %r13
140070359:	41 56                	push   %r14
14007035b:	41 57                	push   %r15
14007035d:	48 8d 64 24 d8       	lea    -0x28(%rsp),%rsp
140070362:	b8 42 db 01 00       	mov    $0x1db42,%eax
140070367:	48 f7 26             	mulq   (%rsi)
14007036a:	48 89 c3             	mov    %rax,%rbx
14007036d:	b8 42 db 01 00       	mov    $0x1db42,%eax
140070372:	48 89 d1             	mov    %rdx,%rcx
140070375:	48 f7 66 08          	mulq   0x8(%rsi)
140070379:	49 89 c0             	mov    %rax,%r8
14007037c:	b8 42 db 01 00       	mov    $0x1db42,%eax
140070381:	49 89 d1             	mov    %rdx,%r9
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