Subscribed unsubscribe Subscribe Subscribe

perl6なので6種類の記号だけでプログラムを書く

Perl6

Perl6で記号Hello worldする - すぎゃーんメモ という記事を書いたところ

というブコメをいただいたけど、あの記事では適当に生成したので 11種類もの記号を使っていて まだちょっと多いかな、という感じがした。

ので最大限に使う文字種類を減らして、6種類の記号だけでHello worldを書いてみた。

::('('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~':'~^')'~^'~'~^'('~'~'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^(~(^(''~~'')))~^'~'~^'('~^':'~^')'~'('~^':'~^'^')((~(^(''~~'')))~^'('~^':'~':'~^'('~^(~(^(''~~'')))~^'~'~'^'~^':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^'('~^'^'~^':'~'^'~^')'~^'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^(~(^(''~~'')))~^':'~'('~^(~(^(''~~'')))~^'~'~^':'~':'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^'('~^(~(^(''~~'')))~^'^'~'('~^(~(^(''~~'')))~^':'~^'~'~':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~'('~^(~(^(''~~'')))~^'~'~^':'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'('~^')'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'('~^':'~^'~'~^(~(^(''~~'')))~'^'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~'('~^'^'~^'~'~^(~(^(''~~'')))~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~'^'~^')'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~(^(''~~'')))~^'~'~^':'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~^'^'~(~(^(''~~'')))~^'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~^'^'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^'^'~':'~^'~'~^'('~^(~(^(''~~'')))~'^'~^':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'~'~^':'~^(~(^(''~~'')))~'^'~^(~(^(''~~'')))~^'('~'~'~^(~(^(''~~'')))~^':'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^'('~^':'~'~'~^':'~^'('~^'^'~')'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~':'~^'~'~^'('~^(~(^(''~~'')))~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'^'~'^'~^'~'~^':'~^'('~(~(^(''~~'')))~(~(^(''~~'')))~^'~'~^'('~^':'~'^'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'~'~^':'~^(~(^(''~~'')))~^'^'~^')'~'^'~^'~'~^':'~^')'~^(~(^(''~~'')))~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^'('~^':'~^(~(^(''~~'')))~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^'('~^':'~'~'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^(~(^(''~~'')))~^'^'~^'('~'('~^'^'~^(~(^(''~~'')))~(~(^(''~~'')))~^':'~^'('~^'~'~'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'~'~^')'~^(~(^(''~~'')))~^'^'~'^'~^':'~^'('~^'~'~'('~^':'~^(~(^(''~~'')))~^'~'~':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^'^'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^(~(^(''~~'')))~^'^'~^'('~^'~'~')'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^':'~^(~(^(''~~'')))~^'('~'('~^':'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~':'~^(~(^(''~~'')))~^'~'~^'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~(^(''~~'')))~^'('~^':'~^'~'~'^'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~'^'~^':'~^'('~^'~'~'('~^(~(^(''~~'')))~^')'~':'~^(~(^(''~~'')))~^'~'~^'('~'^'~^'('~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'^'~^'~'~^':'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'~'~^'^'~^(~(^(''~~'')))~^')'~^':'~':'~^'~'~^(~(^(''~~'')))~^'('~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~'~'~^':'~^'^'~^'('~'('~^':'~^'~'~^')'~'('~^(~(^(''~~'')))~^':'~^'~'~'('~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~(~(^(''~~'')))~^')'~^'~'~^':'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'^'~^':'~^')'~^'~'~'('~^(~(^(''~~'')))~^'~'~^':'~'^'~^':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~(^(''~~'')))~^':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'~'~^'^'~'('~^')'~^(~(^(''~~'')))~(~(^(''~~'')))~^'('~^':'~^'~'~'('~^':'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~(^(''~~'')))~^'~'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^')'~'~'~^')'~^(~(^(''~~'')))~^'^'~':'~^(~(^(''~~'')))~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^'~'~^':'~':'~^'('~^'~'~^')'~'~'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^')'~^(~(^(''~~'')))~^'~'~^':'~'^'~^'('~^':')

https://gist.github.com/sugyan/8505d2602965967c7a9b

これでperl6で実行すると"Hello, world!"が出力されます。

"(", ")", ":", "'", "^", "~"の6種類の記号だけで任意の記号プログラムが書ける、はず。
Perl6すごい。

FizzBuzz

という要望もあったので書いてみた。

::((~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~'~'~^')'~^'('~^':'~'('~^'~'~'~'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^(~(^(''~~'')))~^'('~':'~^'^'~^'(')('('~^(~(^(''~~'')))~^':'~':'~^(~(^(''~~'')))~^'('~^'~'~':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^'('~'~'~^(~(^(''~~'')))~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^':'~'^'~^')'~^':'~^'~'~':'~^'~'~^'('~^(~(^(''~~'')))~'('~^'^'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~':'~^'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^(~(^(''~~'')))~^'~'~'('~^')'~^(~(^(''~~'')))~':'~^'~'~^'('~^(~(^(''~~'')))~'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~'^'~^(~(^(''~~'')))~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^':'~^'~'~'~'~^')'~^(~(^(''~~'')))~^'^'~'~'~^':'~^'('~^(~(^(''~~'')))~'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~'('~^'~'~^'^'~^':'~(~(^(''~~'')))~(~(^(''~~'')))~^'('~^'~'~^':'~'^'~^'('~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^'('~^'^'~^':'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^(~(^(''~~'')))~^':'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~^'^'~'('~^')'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~(^(''~~'')))~^'^'~^'('~'('~^(~(^(''~~'')))~^':'~^'~'~'('~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~':'~^'~'~^'^'~^'('~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~'~'~^':'~^(~(^(''~~'')))~^'('~':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~'^'~^')'~^':'~^'~'~'~'~^'^'~^':'~^')'~':'~^(~(^(''~~'')))~^'('~^'~'~'^'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~'~'~^':'~^'^'~^')'~'~'~^':'~':'~^'('~^(~(^(''~~'')))~^'~'~'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^':'~'~'~^':'~^')'~^'^'~'~'~^':'~(~(^(''~~'')))~^'('~^':'~^'~'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~^'('~'~'~^'^'~^':'~^')'~(~(^(''~~'')))~':'~^(~(^(''~~'')))~^'~'~^'('~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'^'~'^'~^')'~^'~'~^':'~'^'~^'('~^(~(^(''~~'')))~'~'~^'('~^(~(^(''~~'')))~^':'~':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^'^'~'~'~^')'~^':'~^'^'~(~(^(''~~'')))~^'('~^'^'~':'~^(~(^(''~~'')))~^'('~^'~'~'('~^':'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~':'~^'('~^'^'~^'~'~(~(^(''~~'')))~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^'~'~^'^'~(~(^(''~~'')))~^'~'~^'('~^':'~'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'('~^'^'~^':'~^(~(^(''~~'')))~^'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'('~^':'~^(~(^(''~~'')))~^'~'~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~(~(^(''~~'')))~^'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^'^'~^':'~(~(^(''~~'')))~^'~'~^')'~^'^'~(~(^(''~~'')))~^'~'~^'('~^':'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^'^'~^':'~')'~^'^'~^'~'~^(~(^(''~~'')))~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^':'~^'~'~^(~(^(''~~'')))~^'('~(~(^(''~~'')))~^':'~^'~'~^'('~'^'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~')'~^'^'~^'~'~^':'~^(~(^(''~~'')))~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~(^(''~~'')))~^'('~^'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^':'~'('~^'~'~^':'~^(~(^(''~~'')))~'^'~^'('~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~':'~^'^'~^'~'~^'('~(~(^(''~~'')))~^'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~^')'~'('~^(~(^(''~~'')))~^':'~^'~'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^':'~^'^'~'~'~^'^'~^')'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^(~(^(''~~'')))~^':'~'~'~^':'~^')'~^'('~':'~^'~'~^(~(^(''~~'')))~^'('~':'~^'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^':'~^'('~^'^'~(~(^(''~~'')))~^'('~^'~'~^'^'~(~(^(''~~'')))~^':'~^'~'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~^'('~'^'~^'~'~^':'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'('~^':'~^'~'~^(~(^(''~~'')))~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'^'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^')'~'('~^'^'~^(~(^(''~~'')))~'~'~^':'~^'('~^(~(^(''~~'')))~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~^'('~'('~^':'~^'^'~^'~'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^')'~(~(^(''~~'')))~^':'~^'('~^'~'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~^'^'~')'~^':'~^'~'~^'^'~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~'('~^'~'~^(~(^(''~~'')))~^':'~'('~^'^'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^':'~^')'~^'^'~':'~^'~'~'~'~^'('~^(~(^(''~~'')))~^':'~'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~':'~^'~'~^')'~^'^'~'~'~^':'~'~'~^':'~^'('~^(~(^(''~~'')))~'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~':'~^'~'~^')'~^'^'~(~(^(''~~'')))~'~'~^'('~^':'~^(~(^(''~~'')))~'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^':'~'^'~^'~'~^':'~^')'~'^'~^(~(^(''~~'')))~^'('~'~'~^'('~^':'~^(~(^(''~~'')))~'^'~^'('~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'^'~^')'~^'~'~^':'~'('~^(~(^(''~~'')))~^'^'~'~'~^'('~^(~(^(''~~'')))~^':'~'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~'~'~^'^'~^':'~^'('~'~'~^'^'~^(~(^(''~~'')))~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^':'~'('~^'~'~^(~(^(''~~'')))~^':'~'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^':'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'('~^'~'~^'^'~^':'~':'~^'('~^(~(^(''~~'')))~^'~'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^':'~^'^'~'^'~^')'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^(~(^(''~~'')))~^'~'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^'('~'('~^'~'~^(~(^(''~~'')))~^':'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^'~'~^'^'~^(~(^(''~~'')))~^':'~'('~^(~(^(''~~'')))~^':'~^'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~':'~^(~(^(''~~'')))~^'('~^'~'~'('~^':'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'~'~^')'~^'^'~^':'~^(~(^(''~~'')))~'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^':'~^')'~^(~(^(''~~'')))~'~'~^'('~^':'~^(~(^(''~~'')))~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~'('~^'~'~^':'~^'^'~'^'~^(~(^(''~~'')))~^':'~^'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~(~(^(''~~'')))~^':'~^'~'~^'('~'^'~^':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'^'~^'('~^'~'~^':'~(~(^(''~~'')))~^')'~^'('~':'~^'('~^'~'~^(~(^(''~~'')))~'('~^'^'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^'^'~^'('~^':'~')'~^'('~^(~(^(''~~'')))~'~'~^':'~^'('~^(~(^(''~~'')))~':'~^'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^':'~^'('~^'^'~'~'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^(~(^(''~~'')))~^')'~':'~^'('~^(~(^(''~~'')))~^'~'~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~'~'~^'^'~^':'~^'('~')'~^'^'~^'~'~^':'~^(~(^(''~~'')))~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~(^(''~~'')))~^':'~^'~'~^'('~':'~^'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^'^'~^'('~^':'~(~(^(''~~'')))~^'~'~^')'~^'^'~(~(^(''~~'')))~^'('~^'~'~^':'~':'~^'^'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^'^'~^':'~^'('~(~(^(''~~'')))~^')'~^'('~(~(^(''~~'')))~^':'~^'~'~^'('~':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^'('~'~'~^'('~^'^'~^':'~')'~^(~(^(''~~'')))~^'('~':'~^'('~^(~(^(''~~'')))~^'~'~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~':'~^'('~^'^'~^'~'~'('~^'~'~^'^'~^(~(^(''~~'')))~'('~^':'~^'~'~^(~(^(''~~'')))~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^':'~^'^'~'~'~^':'~^'^'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~(~(^(''~~'')))~^':'~^'~'~^'('~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^')'~'('~^(~(^(''~~'')))~^'^'~'~'~^':'~^(~(^(''~~'')))~^'('~':'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~'^'~^'('~^':'~^'~'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^'('~':'~^'~'~^(~(^(''~~'')))~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'^'~^'('~')'~^'~'~^':'~^'^'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^'('~':'~^'('~^'~'~^(~(^(''~~'')))~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~':'~^')'~^'^'~^'~'~'~'~^':'~'~'~^(~(^(''~~'')))~^':'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^'('~^':'~')'~^'~'~^':'~^'^'~':'~^'~'~(~(^(''~~'')))~^':'~^'('~^'~'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~^'('~'^'~^')'~^':'~^'~'~(~(^(''~~'')))~'~'~^'('~^':'~^(~(^(''~~'')))~':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^'('~':'~^')'~^'^'~^'~'~'('~^(~(^(''~~'')))~^'^'~'~'~^':'~^(~(^(''~~'')))~^'('~'('~^'^'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^':'~^'^'~^')'~'^'~^'('~^(~(^(''~~'')))~':'~^'('~^'~'~^(~(^(''~~'')))~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~^'('~'^'~^'~'~^'('~^':'~'^'~^(~(^(''~~'')))~^')'~^':'~^'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~':'~^(~(^(''~~'')))~^'~'~^'('~'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'('~^'~'~^':'~^'^'~'~'~^'('~^(~(^(''~~'')))~^':'~'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~')'~^(~(^(''~~'')))~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'^'~^'~'~')'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~':'~^(~(^(''~~'')))~^'('~^'~'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^'^'~^':'~(~(^(''~~'')))~^'~'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^':'~'('~^(~(^(''~~'')))~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'~'~^')'~^':'~'~'~^':'~^(~(^(''~~'')))~^'('~'^'~^':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~'^'~^(~(^(''~~'')))~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^')'~^':'~^'~'~')'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^(~(^(''~~'')))~^'('~^':'~^'~'~':'~^'('~^'~'~^(~(^(''~~'')))~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~^'^'~':'~^'^'~^'('~^'~'~':'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'~'~^(~(^(''~~'')))~^')'~^'^'~(~(^(''~~'')))~^'~'~^'('~^':'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^':'~^'^'~'^'~^'~'~^'('~^':'~')'~^(~(^(''~~'')))~^'('~':'~^'('~^(~(^(''~~'')))~^'~'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~^'('~'^'~^'~'~^'('~^':'~(~(^(''~~'')))~^'('~^')'~(~(^(''~~'')))~^'('~^':'~^'~'~'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~'~'~^'('~^':'~^'^'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~':'~^(~(^(''~~'')))~^'('~^'~'~':'~^'^'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~')'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~'^'~^'('~^(~(^(''~~'')))~(~(^(''~~'')))~^':'~^'('~^'~'~':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~'~'~^'('~^':'~^'^'~(~(^(''~~'')))~^')'~^'~'~^'^'~'~'~^':'~^'('~^(~(^(''~~'')))~':'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~':'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'~'~^(~(^(''~~'')))~^'('~'('~^':'~^'^'~^'~'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^(~(^(''~~'')))~(~(^(''~~'')))~^'('~^'~'~^':'~'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^':'~'~'~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'('~^(~(^(''~~'')))~'('~^'^'~^(~(^(''~~'')))~'('~^(~(^(''~~'')))~^'~'~^':'~':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'~'~^(~(^(''~~'')))~^')'~^'^'~':'~^'('~^'^'~^'~'~'~'~^':'~^'('~^(~(^(''~~'')))~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^'^'~^':'~':'~^'^'~^'~'~^'('~(~(^(''~~'')))~'('~^'~'~^':'~^(~(^(''~~'')))~'^'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~')'~^'^'~^'~'~^':'~')'~^'('~^(~(^(''~~'')))~'('~^':'~^(~(^(''~~'')))~^'~'~'^'~^':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^':'~^'('~^'^'~')'~^'~'~^':'~^'('~':'~^'~'~^'('~^(~(^(''~~'')))~'^'~^':'~^'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~'~'~^':'~^'^'~^'('~'('~^')'~^':'~^'~'~'~'~^':'~^'('~^(~(^(''~~'')))~':'~^'('~^'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~')'~^'^'~^'~'~^':'~(~(^(''~~'')))~^'('~^')'~':'~^(~(^(''~~'')))~^'~'~^'('~(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'^'~^':'~^'('~')'~^'^'~^'~'~^':'~(~(^(''~~'')))~'('~^'~'~^(~(^(''~~'')))~^':'~'('~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'^'~'~'~^':'~^')'~^'^'~(~(^(''~~'')))~'('~^':'~^(~(^(''~~'')))~'^'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^':'~^'~'~')'~^'~'~^':'~^'('~'('~^'~'~'~'~^(~(^(''~~'')))~^')'~^(~::('~'~^~(^(''~~''))~':'~^~(^(''~~''))~^'~'~^'('~^')'~')'~^':'~^'~')(')'~^~(^(''~~''))~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^~(^(''~~''))~^':'~^'~'~'^'~^':'~^'~'~^'('))~^'('~^':'~'^'~^'('~^':')