先日、
TensorFlowでのMNIST学習結果を、実際に手書きして試す - すぎゃーんメモ
という記事を書いて、「Herokuで動かそうとしたが上手くいかず〜〜」ということだったのだけど、その後も幾つか変更があって そのおかげなのか何なのか分からないけどもう一度Heroku環境用のpipパッケージをビルドしてみたら上手く出来て、それを同梱することで無事にHeroku環境でも動くようになった。
これでブラウザさえあれば誰でも学習結果を試すことができますね。色んな数字を書いて試して遊んでみてください。
誰かスマホ対応してくれると嬉しいなー。。
を、作った。
これを使って https://devcenter.heroku.com/articles/docker のようにheroku-docker pluginを使ってdeployすれば、cv2でOpenCVの機能を使うPython appが動くと思います。
例: https://docker-python-opencv-example.herokuapp.com/
Deep Learningでアイドルの顔認識を試してみようかなーと思って、でもまずは顔の画像をたくさん集める必要があるなー 収集workerをどっかのサーバで動かせると良いのかなー、とかで ローカル環境以外のところでもOpenCVで画像から顔検出してくれるAPIみたいなのがあると便利そう…というところから
という流れになって。Dockerってまだ殆ど使ったことなかったしこの機会にちょっと勉強しておこうかな、というのもあり。
HerokuからCedar Stack用のheroku/cederイメージ、それにPython実行環境を追加したheroku/pythonというイメージが既に公開されているので、それを使ってさらに追加でOpenCVをインストールする、というDockerfileを書いた次第。
OpenCVのインストールは各Linuxディストリビューションでスクリプト一発で最新のものが入るようにしてくれているのがあったので、それを拝借した。
普通の環境ならこれで簡単にインストールできて動かせるのだと思うけど、heroku/pythonでインストールされているpythonのパスを指定したり インストール先のパスを変えたり(/usr/localとかに入れてもreleaseするときにslugに含まれないらしい)、あと実際のheroku環境には入っていないライブラリなどもありOFFにしないとダメなようだったり、で 幾つかcmakeのビルドオプションを弄った。
-cmake -D CMAKE_BUILD_TYPE=RELEASE -D CMAKE_INSTALL_PREFIX=/usr/local -D WITH_TBB=ON -D BUILD_NEW_PYTHON_SUPPORT=ON -D WITH_V4L=ON -D INSTALL_C_EXAMPLES=ON -D INSTALL_PYTHON_EXAMPLES=ON -D BUILD_EXAMPLES=ON -D WITH_QT=ON -D WITH_OPENGL=ON .. +cmake -D CMAKE_BUILD_TYPE=RELEASE -D CMAKE_INSTALL_PREFIX=/app/.heroku/opencv -D BUILD_opencv_python2=ON -D WITH_V4L=ON -D INSTALL_C_EXAMPLES=ON -D INSTALL_PYTHON_EXAMPLES=ON -D BUILD_EXAMPLES=ON -D WITH_OPENGL=ON -D PYTHON_INCLUDE_DIR=/app/.heroku/python/include/python2.7 -D WITH_1394=OFF -D WITH_GSTREAMER=OFF -D WITH_FFMPEG=OFF ..
など。
Docker Hub の Automated Builds はGithubのリポジトリにDockerfileをpushするだけで勝手にimageを作ってくれるのでとってもラクチンでありがたい。
https://docs.docker.com/docker-hub/builds/
し、コードとして記述する感じでイメージが作られるので成果物がどういうものか分かりやすいし 変更の履歴も追えるし良いですね。
今回のをちょっと変更すれば他の言語用のbindingsを動かす環境も作れる、はず。ちょっと調べた感じでは
とか。でもまぁLLで使うならPythonが一番無難そうかな、と…
Deep Learningという言葉を色んなところで聞くようになり、Googleからも TensorFlow というものが出たし、そろそろちょっと勉強してみるか〜 ということで初心者が機械学習に手を出してみた。
TensorFlowのtutorialを見てみると、まず最初に「MNIST」という手書き文字の識別問題が出てくる。その問題に対して、こういうモデルを作ってこうやって学習させていくと91.2%くらいの識別率になります、さらに飛躍させてこういうモデルでこうやって学習させると99.2%くらいまで識別率が上がります、とか書いてあって、確かになるほどーと数字で納得もできるのだけど、せっかくなら実際にその学習結果を使って自分の書いた数字を識別してもらいたいじゃないか、ということで そういうのを作ってみた。
canvasにマウスで自由に線を書くとそれを入力として(使用しているモデルに合わせて28x28にリサイズして)サーバに送り、MNIST用に学習したモデルたちがそれぞれどういう判定を返したか、を返して結果を表示する。
使用しているのはtutorialで出てくる、単純なロジスティック回帰を用いた単層のもの(識別率約91.2%)と、多層畳み込みニューラルネットワークのもの(識別率約99.2%)。
これをそれぞれMNISTのデータからある程度まで学習させて、それぞれの変数をdumpしておき、Webアプリではそれを読み込んで使うだけ。
実際に数字を書いてみると多層畳み込みのものの方がどれだけ精度が高いかを実感できる。Deep Learningすげー。
せっかくWebアプリにしているんだからHerokuにでも上げて誰でも試せるようにしたい、と思ったのだけど、現時点ではTensorFlowがHerokuのPython buildpack上では動かないらしい。
これによると既に最新のソースコードでは解決しているそうなので、自前でpipパッケージをビルドすれば出来るのでは、とのことだったけど dockerでheroku/pythonの環境を作ってbazelやらswigやらinstallしてビルドしてみようとしたものの結局うまくビルドできず、断念した… tensorflowの次のバージョンがreleaseされるのを待っておこうと思います…
なんとなく今まで使ったことないものを使ってみよう、と思ってフロント側のJSをES2015で書いてGulpでwatchしつつ変更のたびにbabelで変換して適当にcompressして、みたいにしてみた。
まだ全然慣れないけど 最近のフロントエンド開発ってこんな感じなのかなー、と。
ググると色んな解説記事などがあってありがたい。
とか特に丁寧に解説があって深層学習ってのがどういうことなのか、とかそれなりに理解できたような気がします。
まだまだ分かっていないことも多いけど 次は顔識別とか試してみたいなーと思っています。
どちらも「フォロワーの発言から特定の語が含まれているTweetを拾って、replyする」という機能を持つもの。
これを実現するために、フォローされたら自動でフォロー返しをして、GET statuses/home_timelineを定期的に叩いたり、 User streams でフォロワーの発言を収集していた。
しかし数ヶ月前に@genkidashitebotがAPI Key Restrictionを食らってしまい、ちょっと調べてみたところfollow/unfollowの自動化は禁止事項となっているらしい(知らなかった)。
となると、自動フォロー返しなどをせずにフォロワーの発言を拾ってくる必要がある…。無理なんじゃないかとしばらく諦めていたけど、REST APIを駆使することである程度実現できるのでは、と思い至った。
GET followers/listを使うとfollowersのuser情報に付随して最新のtweetが1件含まれて返ってくる。これらを集約すればfollowersのタイムライン的なものが得られる。ただ、これは1回あたり200件が取得上限で、cursorを使って遡っていっても3000 followersくらいいるとそこまでで15分の枠を使い切ってしまう。
followersが多いときに使えるのがGET followers/idsとGET users/lookup。followers/idsではfollowersの「IDだけ」を1回で最大5,000件取得できる。ので数万followersいても数回のリクエストですべて取得できる。そしてusers/lookupにはそのIDをカンマ連結したパラメータでリクエストすることで最大100件のuser情報を得ることができる。
ということで、これらを使えば「全followersのIDを取得し、それらのuser情報と最新のTweetを1件取得」できるので、これを定期的に実行することで(連続でTweetされたときなど ある程度の取りこぼしは出るものの)フォロワーの発言だけで構成されるタイムラインを得ることができる。
そしてusers/lookupなんかはcursorを含まない独立のリクエストになるので(可能か否かだけで言えば)並行で処理することもできる。
ので「定期的にフォロワーのタイムラインを取得し、特定の条件に合致したもの自動でmentionを送る」という機能を持つフレームワーク的なものを書いた。goで。
で、それを使って停止された自動mention系botを再始動させてみた。
Goで全裸 というのは以前に書いていたのだけど、形態素解析器 kagome がけっこうアップデートされていたのでそれに合わせてちょっと直した。外部辞書も利用できるようになっているようなのでいつかは NEologd 辞書を使うようにしたりして全裸にする精度を上げたい気持ちはある。
両botともherokuで動かしてみていて、経過観察しているところ。このまま放置していても動き続けてくれるといいなぁ…。
第5回 ISUCONの本選に、参加しました。第1回のときの出場メンバー(@fujiwaraさん、@songmuさん)での「fujiwara組」。
ISUCON5 本選リアルタイムフォトレポート【更新終了】 : ISUCON公式Blog
自分はアプリケーション側の担当ということで コード書いていこうと思っていましたが、今回あまり出来ることが無く、並行で作業もしづらかったので@songmuさんと@fujiwaraさんにコード書くのをお任せし、横から口を出す係になりました。
ほとんどコード書かずに横で見ているだけで終わってしまった、つらい #isucon
まぁでも一応わかる限りのことは横から指摘して 正しく早く実装をするお手伝いは出来たつもりなので幾らかはチームに貢献できたと思うし、とにかく優勝できてよかったです。ここからまた精進していきたいと思います。
出題の皆様、運営の皆様、テコラス様、ありがとうございました！
賞金でたくさんアイドルに会いに行こうと思います。
先日、
の2つの記事でPerl6の記号プログラムを紹介したけど、その作り方については何も言及していなかったので ちゃんと書いておこうと思います。
Perl5における記号プログラミングの手法は古くから確立されていて、 記号だけのPerlプログラミングの基本原理 - JPerl Advent Calendar 2010 Sym Track の記事にも全貌が載っていますが、要するに「任意のプログラム文字列を排他的論理和(XOR)を使って生成し、それを拡張正規表現を利用してevalする」という方法です。
01100000 => 0x60 ('`')
^) 00100001 => 0x21 ('!')
-----------
01000001 => 0x41 ('A')このように2つの文字のASCIIコードのXOR演算によって別の文字を生成できるので、記号文字同士のXOR演算でアルファベットや数字を生成することができ、最終的に実行したいプログラムなど 任意の文字列をすべて記号だけで表現することができます。
で、その生成した文字列を実際に実行するための手段として拡張正規表現の(?{ code })という記法があります。
'' =~ /(?{ print "Hello" })/;
のようにして書くと (?{ ... })内のコードが実行され"Hello"が出力されます。これを
'' =~ '(?{ print "Hello" })';
と書くこともでき、つまり記号だけでこの右辺の文字列を生成すれば、任意のプログラムを実行することができる、という仕組みです。
記号プログラムでアスキーアートを作れる Acme::EyeDrops というCPANモジュールでも、この手法が使われています。
ただし、Perl 5.18以降では拡張正規表現の使用に制限ができており、use re 'eval'プラグマを宣言しないと実行できなくなっています。とても残念です。
で、Perl6ではこれはどうなるか、というと 1.「排他的論理和で任意の文字列を生成する」に関してはPerl5と同様に出来ました。ただし演算子が変わっておりPerl5でのXOR演算子^は one Junction を生成する演算子となっています。
http://docs.perl6.org/language/operators#infix_%5E
で、上記ドキュメントには明記されていないけど どうやら文字列の排他的論理和は~^という演算子で実現できるようでした。
こっちには書いてありますね。
http://design.perl6.org/S03.html#Symbolic_unary_precedence
ちなみに~^"で文字列のビット反転が取れるらしいですが、実際に使ってみるとprefix:<~^> NYIとエラーを吐いて死にます。Not Implemented Yet!!
そして 2.「拡張正規表現によるeval」について、こちらは正規表現の書き方・仕組みが大きく変わっている影響で使えなくなっているようでした。
'' ~~ /{ say "Hello" }/のような書き方でblock内のコード実行は出来るけれど、文字列に置き換えることは出来ないようで。
で、別の手段を使う必要がある… ということで某soozyというSlackグループで尋ねたところ、以下の方法を教えていただきました。
::('&EVAL')('say q{Hello}');::というのがグローバルのstash的なもの？で、ここに対して文字列でシンボルを参照できる仕組みがあるようで。"dynamic symbol lookup" というsyntaxだそうです。
http://doc.perl6.org/language/5to6#%26_Sub
これを使うことで文字列からPerl6の"EVAL"関数を呼び出すことができ、ここに任意のプログラム文字列を渡すことでeval実行することができます。
なので、"&EVAL"とプログラム文字列を記号から生成することができれば任意のプログラムを記号だけで表現できる、ということになります。
こうして作られたのが1つめの記事で書いた記号Hello worldになります。
::('!{.(?'~^'.~!)~'~^')^.^^'~^'?!^?('~^'??)!{')('!?}}~~(!^~{~))(.{~('~^'))?^?.).(?.}?)().!~'~^'~!.?}?~.^.{?!)~}!).'~^'}!!.~(}(!?}~{!}).(('~^')^(^.(.)~?!.()!})?)')前半の::('!{.(?'~^'.~!)~'~^')^.^^'~^'?!^?('~^'??)!{')の部分が::('&EVAL')を表していて、後半の('!?}}~~(!^~{~))(.{~('~^'))?^?.).(?.}?)().!~'~^'~!.?}?~.^.{?!)~}!).'~^'}!!.~(}(!?}~{!}).(('~^')^(^.(.)~?!.()!})?)')部分が"Hello, world!".sayというコード本文になっています。分かりやすいですね。
さて、任意の記号プログラムが作れることが分かったので、あとは使う記号の種類を減らすことを考えます。Perl5の場合は、' = ~ ( ) ^ .と最低限必要な7種類の記号だけを使って実現できていました。
Perl6においては、前述の通り記号プログラミングに最低限必要なのは: ' ( ) ~ ^の6種類だけとなります。この6種類の記号の組み合わせで任意の文字列を生成することができれば、6種類の記号だけで任意のプログラムを記号だけで書けるわけですが…
use v6;
my @chars = <: ( ) ~ ^>;
my %dict;
for @chars -> $c1 {
%dict.push: $c1 => ($c1);
for @chars -> $c2 {
%dict.push: $c1~^$c2 => ($c1, $c2);
for @chars -> $c3 {
%dict.push: $c1~^$c2~^$c3 => ($c1, $c2, $c3);
for @chars -> $c4 {
%dict.push: $c1~^$c2~^$c3~^$c4 => ($c1, $c2, $c3, $c4);
for @chars -> $c5 {
%dict.push: $c1~^$c2~^$c3~^$c4~^$c5 => ($c1, $c2, $c3, $c4, $c5);
}
}
}
}
}
for %dict.keys.sort({ .ord }) -> $c {
next unless %dict{$c}:exists;
'\x%02X %s => %s'.sprintf(
$c.ord,
$c ~~ /<[\x20 .. \x7E]>/ ?? qq{"$c"} !! '(?)',
%dict{$c}.pick.sort({ .ord }).join(' ')
).say
}
say %dict.keys.elems;のように試してみると、
\x00 (?) => ) ) ~ ~
\x01 (?) => ( ) ) )
\x08 (?) => ( ( ( ^ ~
\x09 (?) => ) : : ^ ~
\x12 (?) => ( :
\x13 (?) => ( ( ) :
\x1A (?) => ) ) : ^ ~
\x1B (?) => ( ) : ^ ~
\x20 " " => ) ) ^ ~
\x21 "!" => ( ) ^ ~
\x28 "(" => ( : : : :
\x29 ")" => ) ) ) : :
\x32 "2" => ( : ^ ~
\x33 "3" => ) : ^ ~
\x3A ":" => ( ( ) ) :
\x3B ";" => ( ) : ~ ~
\x44 "D" => ( ( : ~
\x45 "E" => ( ) : ~
\x4C "L" => ( ) ) : ^
\x4D "M" => ) : ^ ~ ~
\x56 "V" => ( ~
\x57 "W" => ( ( ) ~
\x5E "^" => ) ) : : ^
\x5F "_" => ( ) ) ) ^
\x64 "d" => : ^ ~ ~
\x65 "e" => ( ) : ^
\x6C "l" => ( : : : ~
\x6D "m" => ( ( ) : ~
\x76 "v" => ( ) ) ^
\x77 "w" => ) ^ ~ ~
\x7E "~" => ) ) : : ~
\x7F (?) => ( ) : : ~
32と32種類の文字しか生成できません。これでは'&EVAL'を作ることもできない… ので、使う記号種類は6のままで別の文字列を作る方法を模索するしかありません。
で、前述のperl5での7記号プログラミングに似た手法で"0"を作ります。それが~(^(''~~''))です。これは、'' ~~ ''で正規表現マッチでTrueを生成し、そこにRangeを作るprefix operator^を適用させて0..^1というRangeを作り、それを文字列として評価することで"0"を作る、ということになります。
dd (''~~''); #=> Bool $var = Bool::True
dd ^(''~~''); #=> Range $var = 0..^1
dd ~(^(''~~'')); #=> Str $var = "0"
dd ~(^2); #=> Str $var = "0 1"
dd ~(^3); #=> Str $var = "0 1 2"Rangeの文字列表現はスペースでの連結になるようなので、「0からTrue(つまり1)までのRange」の文字列表現として"0"が生まれるようです。ちなみにPerl6ではPerl5と違ってTrue(真値)の文字列表現は"True"になるので、ここから"1"を作るようなことはできません。数値コンテキストとして評価する+演算子を使って~(+(''~~''))のようにしないと"1"が作れません。ここでは"+"を使うことができないので、つらい。
さて、"0"を作れることは分かったので それを使える前提として改めて何種類の文字を記号から生成できるか、を見てみると…
\x00 (?) => ( ( 0 0 : :
\x01 (?) => ( ) ^ ^ ~ ~
\x02 (?) => ( 0 : ^ ~
\x03 (?) => ) 0 : ^ ~
\x08 (?) => ( 0 0 ^ ~
\x09 (?) => ) 0 0 ^ ~
\x0A (?) => 0 : ^ ^ ~ ~
\x0B (?) => ( ) 0 : ^ ^
\x10 (?) => 0 : : ^ ~
\x11 (?) => ( ) 0 ^ ~
\x12 (?) => ( ) ) : ~ ~
\x13 (?) => ) ) ) : ^ ^
\x18 (?) => ( ) ) 0 ^ ^
\x19 (?) => ) 0 0 0 ^ ^
\x1A (?) => : ^ ~ ~ ~
\x1B (?) => ( ) : ^ ~
\x20 " " => ) ) : : ^ ~
\x21 "!" => ( ) : : ^ ~
\x22 """ => ( 0 : ^ ^
\x23 "#" => ( ( ) 0 :
\x28 "(" => ( 0 0 ~ ~
\x29 ")" => ) 0 0 ~ ~
\x2A "*" => 0 : ^ ~ ~ ~
\x2B "+" => ( ) 0 : ^ ~
\x30 "0" => ( ( 0 ~ ~
\x31 "1" => ( ) 0
\x32 "2" => ( : : : ^ ~
\x33 "3" => ) 0 0 : ^ ~
\x38 "8" => ( 0 : : ^ ~
\x39 "9" => ( ( ) 0 ^ ~
\x3A ":" => 0 0 : ~ ~
\x3B ";" => ( ) 0 0 :
\x44 "D" => ( ( : : : ~
\x45 "E" => ( ) 0 0 : ~
\x46 "F" => ( 0 ^ ~ ~
\x47 "G" => ( ( ) 0 ^
\x4C "L" => ( ( ( : ^
\x4D "M" => ( ( ) : ^
\x4E "N" => 0 0 0 ^ ^ ~
\x4F "O" => ( ) 0 ~ ~ ~
\x54 "T" => ) ) 0 : ^
\x55 "U" => ( ) 0 : ^
\x56 "V" => ( 0 0 : : ~
\x57 "W" => ) ) ) ^ ^ ~
\x5C "\" => ( ) ) 0 : ~
\x5D "]" => ) 0 0 0 : ~
\x5E "^" => ) ) 0 0 ^
\x5F "_" => ( ) ) ) ^
\x64 "d" => 0 0 : ^ ~ ~
\x65 "e" => ( ) : ^ ~ ~
\x66 "f" => ( 0 : : ~
\x67 "g" => ) 0 ~ ~ ~
\x6C "l" => ( 0 0 : ~
\x6D "m" => ) 0 0 : ~
\x6E "n" => 0 : : ^ ^ ^
\x6F "o" => ( ) 0 0 0 ^
\x74 "t" => 0 : : : ~
\x75 "u" => ( ) 0 : ~
\x76 "v" => ( 0 0 : : ^
\x77 "w" => ( ( ) 0 0 ^
\x7C "|" => ( 0 : : : ^
\x7D "}" => ( ( ) 0 : ^
\x7E "~" => ^ ^ ~ ~ ~
\x7F (?) => ( ) ^ ^ ~
64と、64種類まで増やせました、がこれでもまだ"A"を作ることもできない…。ここに出てこない文字をさらにどうにかして作り出す必要があります。数値コンテキストとして評価する演算子が使えないので"1", "2", "3"が使えてもそこから"4", "5", "6", "7"を作ることもできなくて、つらい。
ここで思い出すのが::('&EVAL')でdynamicにsymbolを参照する方法。'&EVAL'は呼べなくても他のものなら呼べるのでは…！と。なんと偶然にも、"Mu", "Num", "VM"などの文字は先ほどまでの方法で作れます。ということで編み出したのが
~(::('Num')('1*2**2'))という方法。::('Num')でNumクラスを参照、これはそのままコンストラクタを呼ぶような形で利用できるので、括弧で文字列を渡して数値を生成することができます。ただしどんな文字列でも受け付けられるわけではなく.Numで数値としてparseできるような文字列でなければならなりません。単純な足し算や掛け算の式はダメ。
しかしどうやらexponentials(指数)を使う表現として特殊な記法が用意されているようです。
http://design.perl6.org/S02.html#Exponentials
所謂 のような形式を表すために"6.02*10**23"という形式の文字列はサポートされているらしい。"1", "2", "*"の文字はここまでで生成できているので、これを利用して、"1*2**2"という文字列から"4"を作り出すことができる！！
ということで"4"を使うことができるようになると、無事に"\x00"から"\x7F"までのASCIIコードをすべて表現することができるようになります。
あとは"\x80"より上の範囲、マルチバイト文字列が含まれる場合を考慮する必要がありますが、これはすべて"\x3042"のような形で表現するよう変換してしまえばすべてASCII範囲内で収まるので問題ありませんね。
これで任意のプログラムを6種類の記号だけを使った等価なプログラムに変換することができそうです。やったー！！
というわで、この方法で任意のコードを6種類の記号プログラムに変換するモジュールを作っておきました。ご自由にお使いください。
Perl6で記号Hello worldする - すぎゃーんメモ という記事を書いたところ
なるほど、文字の種類が少なくて簡単 / 他3コメント URL “Perl6で記号Hello worldする - すぎゃーんメモ” URL
というブコメをいただいたけど、あの記事では適当に生成したので 11種類もの記号を使っていて まだちょっと多いかな、という感じがした。
ので最大限に使う文字種類を減らして、6種類の記号だけでHello worldを書いてみた。
::('('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~':'~^')'~^'~'~^'('~'~'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^(~(^(''~~'')))~^'~'~^'('~^':'~^')'~'('~^':'~^'^')((~(^(''~~'')))~^'('~^':'~':'~^'('~^(~(^(''~~'')))~^'~'~'^'~^':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^'('~^'^'~^':'~'^'~^')'~^'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^(~(^(''~~'')))~^':'~'('~^(~(^(''~~'')))~^'~'~^':'~':'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^'('~^(~(^(''~~'')))~^'^'~'('~^(~(^(''~~'')))~^':'~^'~'~':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~'('~^(~(^(''~~'')))~^'~'~^':'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'('~^')'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'('~^':'~^'~'~^(~(^(''~~'')))~'^'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~'('~^'^'~^'~'~^(~(^(''~~'')))~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~'^'~^')'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~(^(''~~'')))~^'~'~^':'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~^'^'~(~(^(''~~'')))~^'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~^'^'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^'^'~':'~^'~'~^'('~^(~(^(''~~'')))~'^'~^':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'~'~^':'~^(~(^(''~~'')))~'^'~^(~(^(''~~'')))~^'('~'~'~^(~(^(''~~'')))~^':'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^'('~^':'~'~'~^':'~^'('~^'^'~')'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~':'~^'~'~^'('~^(~(^(''~~'')))~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'^'~'^'~^'~'~^':'~^'('~(~(^(''~~'')))~(~(^(''~~'')))~^'~'~^'('~^':'~'^'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'~'~^':'~^(~(^(''~~'')))~^'^'~^')'~'^'~^'~'~^':'~^')'~^(~(^(''~~'')))~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^'('~^':'~^(~(^(''~~'')))~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^'('~^':'~'~'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^(~(^(''~~'')))~^'^'~^'('~'('~^'^'~^(~(^(''~~'')))~(~(^(''~~'')))~^':'~^'('~^'~'~'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'~'~^')'~^(~(^(''~~'')))~^'^'~'^'~^':'~^'('~^'~'~'('~^':'~^(~(^(''~~'')))~^'~'~':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^'^'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^(~(^(''~~'')))~^'^'~^'('~^'~'~')'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^':'~^(~(^(''~~'')))~^'('~'('~^':'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~':'~^(~(^(''~~'')))~^'~'~^'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~(^(''~~'')))~^'('~^':'~^'~'~'^'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~'^'~^':'~^'('~^'~'~'('~^(~(^(''~~'')))~^')'~':'~^(~(^(''~~'')))~^'~'~^'('~'^'~^'('~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'^'~^'~'~^':'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'~'~^'^'~^(~(^(''~~'')))~^')'~^':'~':'~^'~'~^(~(^(''~~'')))~^'('~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~'~'~^':'~^'^'~^'('~'('~^':'~^'~'~^')'~'('~^(~(^(''~~'')))~^':'~^'~'~'('~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~(~(^(''~~'')))~^')'~^'~'~^':'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'^'~^':'~^')'~^'~'~'('~^(~(^(''~~'')))~^'~'~^':'~'^'~^':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~(^(''~~'')))~^':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'~'~^'^'~'('~^')'~^(~(^(''~~'')))~(~(^(''~~'')))~^'('~^':'~^'~'~'('~^':'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~(^(''~~'')))~^'~'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^')'~'~'~^')'~^(~(^(''~~'')))~^'^'~':'~^(~(^(''~~'')))~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^'~'~^':'~':'~^'('~^'~'~^')'~'~'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^')'~^(~(^(''~~'')))~^'~'~^':'~'^'~^'('~^':')https://gist.github.com/sugyan/8505d2602965967c7a9b
これでperl6で実行すると"Hello, world!"が出力されます。
"(", ")", ":", "'", "^", "~"の6種類の記号だけで任意の記号プログラムが書ける、はず。
Perl6すごい。
FizzBuzzが見たい / “Perl6で記号Hello worldする - すぎゃーんメモ” URL
という要望もあったので書いてみた。
::((~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~'~'~^')'~^'('~^':'~'('~^'~'~'~'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^(~(^(''~~'')))~^'('~':'~^'^'~^'(')('('~^(~(^(''~~'')))~^':'~':'~^(~(^(''~~'')))~^'('~^'~'~':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^'('~'~'~^(~(^(''~~'')))~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^':'~'^'~^')'~^':'~^'~'~':'~^'~'~^'('~^(~(^(''~~'')))~'('~^'^'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~':'~^'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^(~(^(''~~'')))~^'~'~'('~^')'~^(~(^(''~~'')))~':'~^'~'~^'('~^(~(^(''~~'')))~'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~'^'~^(~(^(''~~'')))~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^':'~^'~'~'~'~^')'~^(~(^(''~~'')))~^'^'~'~'~^':'~^'('~^(~(^(''~~'')))~'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~'('~^'~'~^'^'~^':'~(~(^(''~~'')))~(~(^(''~~'')))~^'('~^'~'~^':'~'^'~^'('~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^'('~^'^'~^':'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^(~(^(''~~'')))~^':'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~^'^'~'('~^')'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~(^(''~~'')))~^'^'~^'('~'('~^(~(^(''~~'')))~^':'~^'~'~'('~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~':'~^'~'~^'^'~^'('~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~'~'~^':'~^(~(^(''~~'')))~^'('~':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~'^'~^')'~^':'~^'~'~'~'~^'^'~^':'~^')'~':'~^(~(^(''~~'')))~^'('~^'~'~'^'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~'~'~^':'~^'^'~^')'~'~'~^':'~':'~^'('~^(~(^(''~~'')))~^'~'~'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^':'~'~'~^':'~^')'~^'^'~'~'~^':'~(~(^(''~~'')))~^'('~^':'~^'~'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~^'('~'~'~^'^'~^':'~^')'~(~(^(''~~'')))~':'~^(~(^(''~~'')))~^'~'~^'('~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'^'~'^'~^')'~^'~'~^':'~'^'~^'('~^(~(^(''~~'')))~'~'~^'('~^(~(^(''~~'')))~^':'~':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^'^'~'~'~^')'~^':'~^'^'~(~(^(''~~'')))~^'('~^'^'~':'~^(~(^(''~~'')))~^'('~^'~'~'('~^':'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~':'~^'('~^'^'~^'~'~(~(^(''~~'')))~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^'~'~^'^'~(~(^(''~~'')))~^'~'~^'('~^':'~'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'('~^'^'~^':'~^(~(^(''~~'')))~^'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'('~^':'~^(~(^(''~~'')))~^'~'~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~(~(^(''~~'')))~^'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^'^'~^':'~(~(^(''~~'')))~^'~'~^')'~^'^'~(~(^(''~~'')))~^'~'~^'('~^':'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^'^'~^':'~')'~^'^'~^'~'~^(~(^(''~~'')))~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^':'~^'~'~^(~(^(''~~'')))~^'('~(~(^(''~~'')))~^':'~^'~'~^'('~'^'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~')'~^'^'~^'~'~^':'~^(~(^(''~~'')))~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~(^(''~~'')))~^'('~^'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^':'~'('~^'~'~^':'~^(~(^(''~~'')))~'^'~^'('~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~':'~^'^'~^'~'~^'('~(~(^(''~~'')))~^'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~^')'~'('~^(~(^(''~~'')))~^':'~^'~'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^':'~^'^'~'~'~^'^'~^')'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^(~(^(''~~'')))~^':'~'~'~^':'~^')'~^'('~':'~^'~'~^(~(^(''~~'')))~^'('~':'~^'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^':'~^'('~^'^'~(~(^(''~~'')))~^'('~^'~'~^'^'~(~(^(''~~'')))~^':'~^'~'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~^'('~'^'~^'~'~^':'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'('~^':'~^'~'~^(~(^(''~~'')))~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'^'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^')'~'('~^'^'~^(~(^(''~~'')))~'~'~^':'~^'('~^(~(^(''~~'')))~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~^'('~'('~^':'~^'^'~^'~'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^')'~(~(^(''~~'')))~^':'~^'('~^'~'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~^'^'~')'~^':'~^'~'~^'^'~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~'('~^'~'~^(~(^(''~~'')))~^':'~'('~^'^'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^':'~^')'~^'^'~':'~^'~'~'~'~^'('~^(~(^(''~~'')))~^':'~'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~':'~^'~'~^')'~^'^'~'~'~^':'~'~'~^':'~^'('~^(~(^(''~~'')))~'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~':'~^'~'~^')'~^'^'~(~(^(''~~'')))~'~'~^'('~^':'~^(~(^(''~~'')))~'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^':'~'^'~^'~'~^':'~^')'~'^'~^(~(^(''~~'')))~^'('~'~'~^'('~^':'~^(~(^(''~~'')))~'^'~^'('~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'^'~^')'~^'~'~^':'~'('~^(~(^(''~~'')))~^'^'~'~'~^'('~^(~(^(''~~'')))~^':'~'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~'~'~^'^'~^':'~^'('~'~'~^'^'~^(~(^(''~~'')))~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^':'~'('~^'~'~^(~(^(''~~'')))~^':'~'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^':'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'('~^'~'~^'^'~^':'~':'~^'('~^(~(^(''~~'')))~^'~'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^':'~^'^'~'^'~^')'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^(~(^(''~~'')))~^'~'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^'('~'('~^'~'~^(~(^(''~~'')))~^':'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^'~'~^'^'~^(~(^(''~~'')))~^':'~'('~^(~(^(''~~'')))~^':'~^'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~':'~^(~(^(''~~'')))~^'('~^'~'~'('~^':'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'~'~^')'~^'^'~^':'~^(~(^(''~~'')))~'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^':'~^')'~^(~(^(''~~'')))~'~'~^'('~^':'~^(~(^(''~~'')))~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~'('~^'~'~^':'~^'^'~'^'~^(~(^(''~~'')))~^':'~^'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~(~(^(''~~'')))~^':'~^'~'~^'('~'^'~^':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'^'~^'('~^'~'~^':'~(~(^(''~~'')))~^')'~^'('~':'~^'('~^'~'~^(~(^(''~~'')))~'('~^'^'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^'^'~^'('~^':'~')'~^'('~^(~(^(''~~'')))~'~'~^':'~^'('~^(~(^(''~~'')))~':'~^'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^':'~^'('~^'^'~'~'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^(~(^(''~~'')))~^')'~':'~^'('~^(~(^(''~~'')))~^'~'~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~'~'~^'^'~^':'~^'('~')'~^'^'~^'~'~^':'~^(~(^(''~~'')))~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~(^(''~~'')))~^':'~^'~'~^'('~':'~^'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^'^'~^'('~^':'~(~(^(''~~'')))~^'~'~^')'~^'^'~(~(^(''~~'')))~^'('~^'~'~^':'~':'~^'^'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^'^'~^':'~^'('~(~(^(''~~'')))~^')'~^'('~(~(^(''~~'')))~^':'~^'~'~^'('~':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^'('~'~'~^'('~^'^'~^':'~')'~^(~(^(''~~'')))~^'('~':'~^'('~^(~(^(''~~'')))~^'~'~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~':'~^'('~^'^'~^'~'~'('~^'~'~^'^'~^(~(^(''~~'')))~'('~^':'~^'~'~^(~(^(''~~'')))~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^':'~^'^'~'~'~^':'~^'^'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~(^(''~~'')))~^':'~^'~'~^'('~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^')'~'('~^(~(^(''~~'')))~^'^'~'~'~^':'~^(~(^(''~~'')))~^'('~':'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~'^'~^'('~^':'~^'~'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^'('~':'~^'~'~^(~(^(''~~'')))~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'^'~^'('~')'~^'~'~^':'~^'^'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^'('~':'~^'('~^'~'~^(~(^(''~~'')))~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~':'~^')'~^'^'~^'~'~'~'~^':'~'~'~^(~(^(''~~'')))~^':'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^'('~^':'~')'~^'~'~^':'~^'^'~':'~^'~'~(~(^(''~~'')))~^':'~^'('~^'~'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~^'('~'^'~^')'~^':'~^'~'~(~(^(''~~'')))~'~'~^'('~^':'~^(~(^(''~~'')))~':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^'('~':'~^')'~^'^'~^'~'~'('~^(~(^(''~~'')))~^'^'~'~'~^':'~^(~(^(''~~'')))~^'('~'('~^'^'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^':'~^'^'~^')'~'^'~^'('~^(~(^(''~~'')))~':'~^'('~^'~'~^(~(^(''~~'')))~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~^'('~'^'~^'~'~^'('~^':'~'^'~^(~(^(''~~'')))~^')'~^':'~^'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~':'~^(~(^(''~~'')))~^'~'~^'('~'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'('~^'~'~^':'~^'^'~'~'~^'('~^(~(^(''~~'')))~^':'~'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~')'~^(~(^(''~~'')))~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'^'~^'~'~')'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~':'~^(~(^(''~~'')))~^'('~^'~'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^'^'~^':'~(~(^(''~~'')))~^'~'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^':'~'('~^(~(^(''~~'')))~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'~'~^')'~^':'~'~'~^':'~^(~(^(''~~'')))~^'('~'^'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~'^'~^(~(^(''~~'')))~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^':'~^'~'~')'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^(~(^(''~~'')))~^'('~^':'~^'~'~':'~^'('~^'~'~^(~(^(''~~'')))~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~^'^'~':'~^'^'~^'('~^'~'~':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'~'~^(~(^(''~~'')))~^')'~^'^'~(~(^(''~~'')))~^'~'~^'('~^':'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^':'~^'^'~'^'~^'~'~^'('~^':'~')'~^(~(^(''~~'')))~^'('~':'~^'('~^(~(^(''~~'')))~^'~'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~^'('~'^'~^'~'~^'('~^':'~(~(^(''~~'')))~^'('~^')'~(~(^(''~~'')))~^'('~^':'~^'~'~'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~'~'~^'('~^':'~^'^'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~':'~^(~(^(''~~'')))~^'('~^'~'~':'~^'^'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~')'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~'^'~^'('~^(~(^(''~~'')))~(~(^(''~~'')))~^':'~^'('~^'~'~':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~'~'~^'('~^':'~^'^'~(~(^(''~~'')))~^')'~^'~'~^'^'~'~'~^':'~^'('~^(~(^(''~~'')))~':'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~':'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'~'~^(~(^(''~~'')))~^'('~'('~^':'~^'^'~^'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^(~(^(''~~'')))~(~(^(''~~'')))~^'('~^'~'~^':'~'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^':'~'~'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~^(~(^(''~~'')))~'('~^'^'~^(~(^(''~~'')))~'('~^(~(^(''~~'')))~^'~'~^':'~':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'~'~^(~(^(''~~'')))~^')'~^'^'~':'~^'('~^'^'~^'~'~'~'~^':'~^'('~^(~(^(''~~'')))~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^'^'~^':'~':'~^'^'~^'~'~^'('~(~(^(''~~'')))~'('~^'~'~^':'~^(~(^(''~~'')))~'^'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~')'~^'^'~^'~'~^':'~')'~^'('~^(~(^(''~~'')))~'('~^':'~^(~(^(''~~'')))~^'~'~'^'~^':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^':'~^'('~^'^'~')'~^'~'~^':'~^'('~':'~^'~'~^'('~^(~(^(''~~'')))~'^'~^':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^':'~^'^'~^'('~'('~^')'~^':'~^'~'~'~'~^':'~^'('~^(~(^(''~~'')))~':'~^'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~')'~^'^'~^'~'~^':'~(~(^(''~~'')))~^'('~^')'~':'~^(~(^(''~~'')))~^'~'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~^'('~')'~^'^'~^'~'~^':'~(~(^(''~~'')))~'('~^'~'~^(~(^(''~~'')))~^':'~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'^'~'~'~^':'~^')'~^'^'~(~(^(''~~'')))~'('~^':'~^(~(^(''~~'')))~'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'~'~')'~^'~'~^':'~^'('~'('~^'~'~'~'~^(~(^(''~~'')))~^')'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^':'~'^'~^'('~^':')
