fork download
  1. Whitespace 空白に想いを乗せて
  2.  
  3. このページはEsolang advent 2012参加ページ(3日目)です。
  4.  
  5. ブログを持っていなかったので、静的ページで参加させて頂きます。
  6.  
  7. Whitespaceとは
  8.  
  9. 自分が紹介する難解プログラミング言語はWhitespaceです。オリジナル言語ではありません。開発されたのは2003年です。
  10.  
  11. その名の通り「空白」を使って記述するプログラミング言語です。例えば以下にFizzBuzzの例を示します。
  12.  
  13.  
  14.  
  15.  
  16.  
  17.  
  18.  
  19.  
  20.  
  21.  
  22.  
  23.  
  24.  
  25.  
  26.  
  27.  
  28.  
  29.  
  30. 見ての通り、たいへん美しいソースコードですね。空白というのは、具体的には半角スペースとタブと改行(LF)です。ちなみに、Whitespaceを試してみたいという方はideoneでも可能ですので、例えばこのコードを貼り付けたりして試してみましょう。ideoneにおいては、Whitespaceは言語一覧の一番最後を飾るというたいへん名誉な立ち位置にいます。ただ、空白はわりと適当に扱われているのか、たまに貼り付けるとソースコードが変化してしまうことがあるので注意しましょう。
  31.  
  32. Whitespaceは難解プログラミング言語の中ではわりと高度なほうで、負の数も扱えるスタックの他、ヒープ領域にも数値を保存できるので値の保存には困りません。
  33.  
  34. ループなどはラベルとGOTOのようなものを利用し、分岐は条件を満たしたときのみラベルにジャンプするやつを使います。なんと条件もわざわざ2種類用意されており、スタックの一番上を取り出して、「0かどうか」「負かどうか」の2つを利用できます。
  35.  
  36. さらにラベルを利用してのサブルーチンもあります(自分はHSPをやったことがあるのでサブルーチンと言われてもピンときますが、最近は他の言語であまりサブルーチンという言葉を聞きませんね。Perlとか?)
  37.  
  38. じつはこのHSP(Hot Soup Processor)も、プログラミングコンテストなども行われる実用言語(Windows専用, スマートフォンへの移植機能が開発中)でありながら、なかなか奇っ怪な言語です。余談となりますが以下でちょっと紹介しましょう。
  39.  
  40. ; コメントはセミコロン または //
  41.  
  42. ; =と==の意味は同じ(代入)
  43. a=3
  44. b==5
  45.  
  46. ; でも地の文以外だどちらも等価演算子になる
  47. c=d=5 ; dが5ならcに1が入る。他は0が入る(dは変化しない)
  48. if a=3 {
  49. mes "aは3です" ; 命令(括弧なし)と関数(括弧あり)がある。関数の返り値は必ず利用しないとエラー
  50. }else{
  51. mes "aは3ではありません"
  52. }else{
  53. ;elseを繋げられる(直前のブロックの否定)
  54. mes "aは3です"
  55. }
  56.  
  57. a+5 ; 他の言語でいう「a+=5」(+=演算子も利用可)
  58. b+ ; 他の言語でいう「b++」(++演算子も利用可)
  59.  
  60. gosub *c ; ラベルcに飛んでreturnで戻る
  61.  
  62. stop
  63.  
  64. ; ラベル
  65. *c
  66. mes "ラベルC"
  67. return
  68. さて、なんといってもWhitespaceの一番の特徴は空白しか使わないことです。空白以外の文字は全て無視(コメント扱い)されます。
  69.  
  70. 一見してプログラムであると分かりにくいというその性質から、次のような用途があります(公式ページから引用)。
  71.  
  72. Whitespace is a particularly useful language for spies. Imagine you have a top secret program that you don't want anyone to see. What do you do? Simply print it out and delete the file, ready to type in at a later date. Nobody will know that your blank piece of paper is actually vital computer code!
  73.  
  74. (Whitespaceは特にスパイに有用な言語である。誰にも見られたくない最高機密のプログラムを持っているとしよう。どうすればいい?そういうときはプログラムを印刷してファイルは消去して、後で入力し直すことにしよう。そうすればあなたの持っている真っ白な紙が実は極めて重要なソースコードであろうとは、誰にも分からないのだ!)
  75.  
  76. 皆さんも機会があれば、重要なメッセージはWhitespaceソースコード化して渡してみましょう。Whitespaceなら、郵送途中のアクシデントなど心配無用です。お手軽ながら絶対に秘密が漏れません。
  77.  
  78. そこで今回は、好きなメッセージを表示するWhitespaceコードを生成するプログラムを用意してみました。これさえあれば、深くWhitespaceについて知らなくてもその便利さが味わえます。
  79.  
  80. 表示したいメッセージを入力:
  81.  
  82.  
  83.  
  84.  
  85.  
  86.  
  87.  
  88. どうでしょうか。これでどんなメッセージでも安全に持ち運べること間違いなしです。
  89.  
  90. ただし、マルチバイト文字にも一応対応したつもりですが、インタプリタのほうは対応状況がよく分かりません。メッセージはASCII文字のみに留めておくのが無難でしょう。
  91.  
  92. 実用を目指して
  93.  
  94. 分かったと思いますが、印刷して持ち運べなどというのははっきりいってジョークでしょう。自分はこういうのは大好きです。
  95.  
  96. そこで、実用的な用途を探してみましょう。
  97.  
  98. Whitespaceの特徴は、スペース、タブ、改行しか使わないことでした。それ以外の文字は全て無視されます。
  99.  
  100. 実はこれが重要なことで、言い換えれば、関係ない文字が混ざっていてもいいということです。
  101.  
  102. 一方、そもそもこれこそがWhitespaceのコンセプトの元になったことでもありますが、多くのプログラミング言語においてはスペースは無視されます(ただし最近はPythonとか、CoffeeScriptなどそうはいかないのもある上、JavaScriptも改行のあるなしで意味が変わる場面があるなどします)。
  103.  
  104. すなわち、これらのプログラミング言語とWhitespaceは、まるで水とエタノールのように自由に混ざり合うことができるわけです。
  105.  
  106. 言いたいことが分かったと思います。他の文書の中にWhitespaceコードを混ぜ込んでしまおうということです。そうすれば、簡単にメッセージを隠すことができます。
  107.  
  108. そこで今回選んだのが、プログラミング言語ではないですが、HTMLです。HTMLでは、改行も含めて空白はどれだけ空けてもいいですから、1つでも空白が空いていればそこにWhitespaceコードを好きなだけねじ込むことができるわけです。
  109.  
  110. また、日本語だと空白が空くのはタグの属性の間とかあとは改行のときくらいですが、英語圏とかだと単語の間にも空白があるので隙間には困りませんね。Whitespaceはイギリスの人が開発しましたから当然そういう発想もあったことでしょう。WhitespaceをHTMLに混ぜ込むという発想は公式サイトでも具体化されています。
  111.  
  112. そこで今回、HTMLにWhitespaceを混ぜられるスクリプトを用意しました。以下で試すことができます。
  113.  
  114. ちなみに生成したコードを動かす方法は、ideoneなどがありますが、貼り付け時にたまにタブがスペースに変化したりしてプログラムが変化してしまいます。他の実行方法としては、Linuxとかなら公式ページからインタプリタをダウンロードできます。Windowsの場合面倒なので、拙作のWhitespaceエディタに読み込ませても一応実行できます。よかったら試してみましょう。
  115.  
  116. 注意:既にWhitespaceコードが埋め込まれているページに適用すると消えてしまいます
  117.  
  118. 注意:JavaScriptを含むページの場合JavaScriptが動かなる可能性があります
  119.  
  120. 注意:このスクリプトはたぶんIEでは動きません
  121.  
  122. Whitespaceコードを入力:
  123.  
  124.  
  125.  
  126. HTMLを入力:(この中身が書き換えられます)
  127.  
  128.  
  129.  
  130.  
  131. どうでしょうか。これを利用して大切なメッセージを伝えてみるのはどうでしょう。例えば"I love you"とか…。
  132.  
  133. 実際にやってみた(ソースを確認してみましょう)
  134.  
  135. Written by uhyo_
  136.  
  137.  
  138.  
  139.  
  140.  
  141.  
Success #stdin #stdout 0s 5320KB
stdin
   	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	 	 
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	 	 
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	 	 	 
	
     	 	 	 
	
     	     
	
     	     
	
     	 	 	 
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
     	     
	
  



stdout
Standard output is empty