veryはまった。Ctrl+Dで落ちるには落ちたけど、もっとうまい方法があるのではないかと思ったら普通に.exitで終了できた。 '.'重要.help見ると良いよ