140040234:	66 4c 0f 38 f6 cd    	adcx   %rbp,%r9
14004023a:	c4 e2 f3 f6 6e 10    	mulx   0x10(%rsi),%rcx,%rbp
140040240:	f3 4c 0f 38 f6 c9    	adox   %rcx,%r9
140040246:	66 4c 0f 38 f6 d5    	adcx   %rbp,%r10
14004024c:	c4 e2 f3 f6 6e 18    	mulx   0x18(%rsi),%rcx,%rbp
140040252:	f3 4c 0f 38 f6 d1    	adox   %rcx,%r10
140040258:	66 4c 0f 38 f6 dd    	adcx   %rbp,%r11
14004025e:	f3 4c 0f 38 f6 d8    	adox   %rax,%r11
140040264:	4d 01 c4             	add    %r8,%r12
140040267:	4d 11 e9             	adc    %r13,%r9
14004026a:	4c 89 e2             	mov    %r12,%rdx
14004026d:	4d 11 f2             	adc    %r14,%r10
140040270:	4d 11 fb             	adc    %r15,%r11
140040273:	4d 89 ce             	mov    %r9,%r14
140040276:	48 83 d0 00          	adc    $0x0,%rax
14004027a:	4c 2b 26             	sub    (%rsi),%r12
14004027d:	4d 89 d7             	mov    %r10,%r15
140040280:	4c 1b 4e 08          	sbb    0x8(%rsi),%r9
140040284:	4c 1b 56 10          	sbb    0x10(%rsi),%r10
140040288:	4d 89 d8             	mov    %r11,%r8
14004028b:	4c 1b 5e 18          	sbb    0x18(%rsi),%r11
14004028f:	48 83 d8 00          	sbb    $0x0,%rax
140040293:	49 0f 43 d4          	cmovae %r12,%rdx
140040297:	4d 0f 43 f1          	cmovae %r9,%r14
14004029b:	4d 0f 43 fa          	cmovae %r10,%r15
14004029f:	4d 0f 43 c3          	cmovae %r11,%r8
1400402a3:	48 ff cb             	dec    %rbx
1400402a6:	0f 85 74 fd ff ff    	jne    0x140040020
1400402ac:	48 89 17             	mov    %rdx,(%rdi)
1400402af:	4c 89 77 08          	mov    %r14,0x8(%rdi)
1400402b3:	66 0f ef c9          	pxor   %xmm1,%xmm1
1400402b7:	4c 89 7f 10          	mov    %r15,0x10(%rdi)
1400402bb:	66 0f ef d2          	pxor   %xmm2,%xmm2
1400402bf:	4c 89 47 18          	mov    %r8,0x18(%rdi)
1400402c3:	66 0f ef db          	pxor   %xmm3,%xmm3
1400402c7:	4c 8b 3c 24          	mov    (%rsp),%r15
1400402cb:	4c 8b 74 24 08       	mov    0x8(%rsp),%r14
1400402d0:	4c 8b 6c 24 10       	mov    0x10(%rsp),%r13
1400402d5:	4c 8b 64 24 18       	mov    0x18(%rsp),%r12
1400402da:	48 8b 5c 24 20       	mov    0x20(%rsp),%rbx
1400402df:	48 8b 6c 24 28       	mov    0x28(%rsp),%rbp
1400402e4:	48 8d 64 24 30       	lea    0x30(%rsp),%rsp
1400402e9:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
1400402ee:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
1400402f3:	f3 c3                	repz ret
1400402f5:	90                   	nop
1400402f6:	90                   	nop
1400402f7:	90                   	nop
1400402f8:	90                   	nop
1400402f9:	90                   	nop
1400402fa:	90                   	nop
1400402fb:	90                   	nop
1400402fc:	90                   	nop
1400402fd:	90                   	nop
1400402fe:	90                   	nop
1400402ff:	90                   	nop
140040300:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140040305:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14004030a:	48 89 e0             	mov    %rsp,%rax
14004030d:	48 89 cf             	mov    %rcx,%rdi
140040310:	48 89 d6             	mov    %rdx,%rsi
140040313:	b9 00 01 08 00       	mov    $0x80100,%ecx
140040318:	23 0d fa b9 39 00    	and    0x39b9fa(%rip),%ecx        # 0x1403dbd18
14004031e:	48 8d 15 fb ec ff ff 	lea    -0x1305(%rip),%rdx        # 0x14003f020
140040325:	eb 3a                	jmp    0x140040361
140040327:	90                   	nop
140040328:	90                   	nop
140040329:	90                   	nop
14004032a:	90                   	nop
14004032b:	90                   	nop
14004032c:	90                   	nop
14004032d:	90                   	nop
14004032e:	90                   	nop
14004032f:	90                   	nop
140040330:	90                   	nop
140040331:	90                   	nop
140040332:	90                   	nop
140040333:	90                   	nop
140040334:	90                   	nop
140040335:	90                   	nop
140040336:	90                   	nop
140040337:	90                   	nop
140040338:	90                   	nop
140040339:	90                   	nop
14004033a:	90                   	nop
14004033b:	90                   	nop
14004033c:	90                   	nop
14004033d:	90                   	nop
14004033e:	90                   	nop
14004033f:	90                   	nop
140040340:	48 89 7c 24 08       	mov    %rdi,0x8(%rsp)
140040345:	48 89 74 24 10       	mov    %rsi,0x10(%rsp)
14004034a:	48 89 e0             	mov    %rsp,%rax
14004034d:	48 89 cf             	mov    %rcx,%rdi
140040350:	48 89 d6             	mov    %rdx,%rsi
140040353:	4c 89 c2             	mov    %r8,%rdx
140040356:	b9 00 01 08 00       	mov    $0x80100,%ecx
14004035b:	23 0d b7 b9 39 00    	and    0x39b9b7(%rip),%ecx        # 0x1403dbd18
140040361:	55                   	push   %rbp
140040362:	53                   	push   %rbx
140040363:	41 54                	push   %r12
140040365:	41 55                	push   %r13
140040367:	41 56                	push   %r14
140040369:	41 57                	push   %r15
14004036b:	81 f9 00 01 08 00    	cmp    $0x80100,%ecx
140040371:	74 2d                	je     0x1400403a0
140040373:	48 89 d3             	mov    %rdx,%rbx
140040376:	48 8b 02             	mov    (%rdx),%rax
140040379:	4c 8b 0e             	mov    (%rsi),%r9
14004037c:	4c 8b 56 08          	mov    0x8(%rsi),%r10
140040380:	4c 8b 5e 10          	mov    0x10(%rsi),%r11
140040384:	4c 8b 66 18          	mov    0x18(%rsi),%r12
140040388:	e8 73 00 00 00       	call   0x140040400
14004038d:	eb 2f                	jmp    0x1400403be
14004038f:	90                   	nop
140040390:	90                   	nop
140040391:	90                   	nop
140040392:	90                   	nop
140040393:	90                   	nop
140040394:	90                   	nop
140040395:	90                   	nop
140040396:	90                   	nop
140040397:	90                   	nop
140040398:	90                   	nop
140040399:	90                   	nop
14004039a:	90                   	nop
14004039b:	90                   	nop
14004039c:	90                   	nop
14004039d:	90                   	nop
14004039e:	90                   	nop
14004039f:	90                   	nop
1400403a0:	48 89 d3             	mov    %rdx,%rbx
1400403a3:	48 8b 12             	mov    (%rdx),%rdx
1400403a6:	4c 8b 0e             	mov    (%rsi),%r9
1400403a9:	4c 8b 56 08          	mov    0x8(%rsi),%r10
1400403ad:	4c 8b 5e 10          	mov    0x10(%rsi),%r11
1400403b1:	4c 8b 66 18          	mov    0x18(%rsi),%r12
1400403b5:	48 8d 76 80          	lea    -0x80(%rsi),%rsi
1400403b9:	e8 02 05 00 00       	call   0x1400408c0
1400403be:	4c 8b 3c 24          	mov    (%rsp),%r15
1400403c2:	4c 8b 74 24 08       	mov    0x8(%rsp),%r14
1400403c7:	4c 8b 6c 24 10       	mov    0x10(%rsp),%r13
1400403cc:	4c 8b 64 24 18       	mov    0x18(%rsp),%r12
1400403d1:	48 8b 5c 24 20       	mov    0x20(%rsp),%rbx
1400403d6:	48 8b 6c 24 28       	mov    0x28(%rsp),%rbp
1400403db:	48 8d 64 24 30       	lea    0x30(%rsp),%rsp
1400403e0:	48 8b 7c 24 08       	mov    0x8(%rsp),%rdi
1400403e5:	48 8b 74 24 10       	mov    0x10(%rsp),%rsi
1400403ea:	f3 c3                	repz ret
1400403ec:	90                   	nop
1400403ed:	90                   	nop
1400403ee:	90                   	nop
1400403ef:	90                   	nop
1400403f0:	90                   	nop
1400403f1:	90                   	nop
1400403f2:	90                   	nop
1400403f3:	90                   	nop
1400403f4:	90                   	nop
1400403f5:	90                   	nop
1400403f6:	90                   	nop
1400403f7:	90                   	nop
1400403f8:	90                   	nop
1400403f9:	90                   	nop
1400403fa:	90                   	nop
1400403fb:	90                   	nop
1400403fc:	90                   	nop
1400403fd:	90                   	nop
1400403fe:	90                   	nop
1400403ff:	90                   	nop
140040400:	48 89 c5             	mov    %rax,%rbp
140040403:	49 f7 e1             	mul    %r9
140040406:	4c 8b 35 fb eb ff ff 	mov    -0x1405(%rip),%r14        # 0x14003f008
14004040d:	49 89 c0             	mov    %rax,%r8
140040410:	48 89 e8             	mov    %rbp,%rax
140040413:	49 89 d1             	mov    %rdx,%r9
140040416:	49 f7 e2             	mul    %r10
140040419:	4c 8b 3d f8 eb ff ff 	mov    -0x1408(%rip),%r15        # 0x14003f018
140040420:	49 01 c1             	add    %rax,%r9
140040423:	48 89 e8             	mov    %rbp,%rax
140040426:	48 83 d2 00          	adc    $0x0,%rdx
14004042a:	49 89 d2             	mov    %rdx,%r10
14004042d:	49 f7 e3             	mul    %r11
140040430:	49 01 c2             	add    %rax,%r10
140040433:	48 89 e8             	mov    %rbp,%rax
140040436:	48 83 d2 00          	adc    $0x0,%rdx
14004043a:	49 89 d3             	mov    %rdx,%r11
14004043d:	49 f7 e4             	mul    %r12
140040440:	49 01 c3             	add    %rax,%r11
140040443:	4c 89 c0             	mov    %r8,%rax
140040446:	48 83 d2 00          	adc    $0x0,%rdx
14004044a:	4d 31 ed             	xor    %r13,%r13
14004044d:	49 89 d4             	mov    %rdx,%r12
140040450:	4c 89 c5             	mov    %r8,%rbp
140040453:	49 c1 e0 20          	shl    $0x20,%r8
140040457:	49 f7 e7             	mul    %r15
14004045a:	48 c1 ed 20          	shr    $0x20,%rbp
14004045e:	4d 01 c1             	add    %r8,%r9
140040461:	49 11 ea             	adc    %rbp,%r10
140040464:	49 11 c3             	adc    %rax,%r11
140040467:	48 8b 43 08          	mov    0x8(%rbx),%rax
14004046b:	49 11 d4             	adc    %rdx,%r12
14004046e:	49 83 d5 00          	adc    $0x0,%r13
140040472:	4d 31 c0             	xor    %r8,%r8
140040475:	48 89 c5             	mov    %rax,%rbp
140040478:	48 f7 26             	mulq   (%rsi)
14004047b:	49 01 c1             	add    %rax,%r9
14004047e:	48 89 e8             	mov    %rbp,%rax
140040481:	48 83 d2 00          	adc    $0x0,%rdx
140040485:	48 89 d1             	mov    %rdx,%rcx
140040488:	48 f7 66 08          	mulq   0x8(%rsi)
14004048c:	49 01 ca             	add    %rcx,%r10
14004048f:	48 83 d2 00          	adc    $0x0,%rdx
140040493:	49 01 c2             	add    %rax,%r10
140040496:	48 89 e8             	mov    %rbp,%rax
140040499:	48 83 d2 00          	adc    $0x0,%rdx
14004049d:	48 89 d1             	mov    %rdx,%rcx
1400404a0:	48 f7 66 10          	mulq   0x10(%rsi)
1400404a4:	49 01 cb             	add    %rcx,%r11
1400404a7:	48 83 d2 00          	adc    $0x0,%rdx
1400404ab:	49 01 c3             	add    %rax,%r11
1400404ae:	48 89 e8             	mov    %rbp,%rax
1400404b1:	48 83 d2 00          	adc    $0x0,%rdx
1400404b5:	48 89 d1             	mov    %rdx,%rcx
1400404b8:	48 f7 66 18          	mulq   0x18(%rsi)
1400404bc:	49 01 cc             	add    %rcx,%r12
1400404bf:	48 83 d2 00          	adc    $0x0,%rdx
1400404c3:	49 01 c4             	add    %rax,%r12
1400404c6:	4c 89 c8             	mov    %r9,%rax
1400404c9:	49 11 d5             	adc    %rdx,%r13
1400404cc:	49 83 d0 00          	adc    $0x0,%r8
1400404d0:	4c 89 cd             	mov    %r9,%rbp
1400404d3:	49 c1 e1 20          	shl    $0x20,%r9
1400404d7:	49 f7 e7             	mul    %r15
1400404da:	48 c1 ed 20          	shr    $0x20,%rbp
1400404de:	4d 01 ca             	add    %r9,%r10
1400404e1:	49 11 eb             	adc    %rbp,%r11
1400404e4:	49 11 c4             	adc    %rax,%r12
1400404e7:	48 8b 43 10          	mov    0x10(%rbx),%rax
1400404eb:	49 11 d5             	adc    %rdx,%r13
1400404ee:	49 83 d0 00          	adc    $0x0,%r8
1400404f2:	4d 31 c9             	xor    %r9,%r9
1400404f5:	48 89 c5             	mov    %rax,%rbp
1400404f8:	48 f7 26             	mulq   (%rsi)
1400404fb:	49 01 c2             	add    %rax,%r10
1400404fe:	48 89 e8             	mov    %rbp,%rax
140040501:	48 83 d2 00          	adc    $0x0,%rdx
140040505:	48 89 d1             	mov    %rdx,%rcx
140040508:	48 f7 66 08          	mulq   0x8(%rsi)
14004050c:	49 01 cb             	add    %rcx,%r11
14004050f:	48 83 d2 00          	adc    $0x0,%rdx
140040513:	49 01 c3             	add    %rax,%r11
140040516:	48 89 e8             	mov    %rbp,%rax
140040519:	48 83 d2 00          	adc    $0x0,%rdx
14004051d:	48 89 d1             	mov    %rdx,%rcx
140040520:	48 f7 66 10          	mulq   0x10(%rsi)
140040524:	49 01 cc             	add    %rcx,%r12
140040527:	48 83 d2 00          	adc    $0x0,%rdx
14004052b:	49 01 c4             	add    %rax,%r12
14004052e:	48 89 e8             	mov    %rbp,%rax
140040531:	48 83 d2 00          	adc    $0x0,%rdx
140040535:	48 89 d1             	mov    %rdx,%rcx
140040538:	48 f7 66 18          	mulq   0x18(%rsi)
14004053c:	49 01 cd             	add    %rcx,%r13
14004053f:	48 83 d2 00          	adc    $0x0,%rdx
140040543:	49 01 c5             	add    %rax,%r13
140040546:	4c 89 d0             	mov    %r10,%rax
140040549:	49 11 d0             	adc    %rdx,%r8
14004054c:	49 83 d1 00          	adc    $0x0,%r9
140040550:	4c 89 d5             	mov    %r10,%rbp
140040553:	49 c1 e2 20          	shl    $0x20,%r10
140040557:	49 f7 e7             	mul    %r15
14004055a:	48 c1 ed 20          	shr    $0x20,%rbp
14004055e:	4d 01 d3             	add    %r10,%r11
140040561:	49 11 ec             	adc    %rbp,%r12
140040564:	49 11 c5             	adc    %rax,%r13
140040567:	48 8b 43 18          	mov    0x18(%rbx),%rax
14004056b:	49 11 d0             	adc    %rdx,%r8
14004056e:	49 83 d1 00          	adc    $0x0,%r9
140040572:	4d 31 d2             	xor    %r10,%r10
140040575:	48 89 c5             	mov    %rax,%rbp
140040578:	48 f7 26             	mulq   (%rsi)
14004057b:	49 01 c3             	add    %rax,%r11
14004057e:	48 89 e8             	mov    %rbp,%rax
140040581:	48 83 d2 00          	adc    $0x0,%rdx
140040585:	48 89 d1             	mov    %rdx,%rcx
140040588:	48 f7 66 08          	mulq   0x8(%rsi)
14004058c:	49 01 cc             	add    %rcx,%r12
14004058f:	48 83 d2 00          	adc    $0x0,%rdx
140040593:	49 01 c4             	add    %rax,%r12
140040596:	48 89 e8             	mov    %rbp,%rax
140040599:	48 83 d2 00          	adc    $0x0,%rdx
14004059d:	48 89 d1             	mov    %rdx,%rcx
1400405a0:	48 f7 66 10          	mulq   0x10(%rsi)
1400405a4:	49 01 cd             	add    %rcx,%r13
1400405a7:	48 83 d2 00          	adc    $0x0,%rdx
1400405ab:	49 01 c5             	add    %rax,%r13
1400405ae:	48 89 e8             	mov    %rbp,%rax
1400405b1:	48 83 d2 00          	adc    $0x0,%rdx
1400405b5:	48 89 d1             	mov    %rdx,%rcx
1400405b8:	48 f7 66 18          	mulq   0x18(%rsi)
1400405bc:	49 01 c8             	add    %rcx,%r8
1400405bf:	48 83 d2 00          	adc    $0x0,%rdx
1400405c3:	49 01 c0             	add    %rax,%r8
1400405c6:	4c 89 d8             	mov    %r11,%rax
1400405c9:	49 11 d1             	adc    %rdx,%r9
1400405cc:	49 83 d2 00          	adc    $0x0,%r10
1400405d0:	4c 89 dd             	mov    %r11,%rbp
1400405d3:	49 c1 e3 20          	shl    $0x20,%r11
1400405d7:	49 f7 e7             	mul    %r15
1400405da:	48 c1 ed 20          	shr    $0x20,%rbp
1400405de:	4d 01 dc             	add    %r11,%r12
1400405e1:	49 11 ed             	adc    %rbp,%r13
1400405e4:	4c 89 e1             	mov    %r12,%rcx
1400405e7:	49 11 c0             	adc    %rax,%r8
1400405ea:	49 11 d1             	adc    %rdx,%r9
1400405ed:	4c 89 ed             	mov    %r13,%rbp
1400405f0:	49 83 d2 00          	adc    $0x0,%r10
1400405f4:	49 83 ec ff          	sub    $0xffffffffffffffff,%r12
1400405f8:	4c 89 c3             	mov    %r8,%rbx
1400405fb:	4d 19 f5             	sbb    %r14,%r13
1400405fe:	49 83 d8 00          	sbb    $0x0,%r8
140040602:	4c 89 ca             	mov    %r9,%rdx
140040605:	4d 19 f9             	sbb    %r15,%r9
140040608:	49 83 da 00          	sbb    $0x0,%r10
14004060c:	4c 0f 42 e1          	cmovb  %rcx,%r12
140040610:	4c 0f 42 ed          	cmovb  %rbp,%r13
140040614:	4c 89 27             	mov    %r12,(%rdi)
140040617:	4c 0f 42 c3          	cmovb  %rbx,%r8
14004061b:	4c 89 6f 08          	mov    %r13,0x8(%rdi)
14004061f:	4c 0f 42 ca          	cmovb  %rdx,%r9
140040623:	4c 89 47 10          	mov    %r8,0x10(%rdi)
140040627:	4c 89 4f 18          	mov    %r9,0x18(%rdi)
14004062b:	f3 c3                	repz ret
14004062d:	90                   	nop
14004062e:	90                   	nop
14004062f:	90                   	nop
140040630:	90                   	nop
140040631:	90                   	nop
140040632:	90                   	nop
140040633:	90                   	nop
140040634:	90                   	nop
140040635:	90                   	nop
140040636:	90                   	nop
140040637:	90                   	nop
140040638:	90                   	nop
140040639:	90                   	nop
14004063a:	90                   	nop
14004063b:	90                   	nop
14004063c:	90                   	nop
14004063d:	90                   	nop