ｸｲｽﾞ大陸

というわけで、nn)/ さんの活躍により全文字クリアされました。

・・・が、この参加者数でただ締めてしまうのは負けたような気がするので3が日はロックせず放置します。

ので発展話題
1.最小で式をいくつまで減らせるか
私の用意した解と、nn)/ さんの解（No.6を除く）はともに6式からなっています。
理論上は3式まで減らせますが、実際に可能でしょうか？
2.条件を付ける
全部同一のテーマ（地名だけ・idtだけなど）で、条件を満たすことは可能でしょうか？

※idt:No.8で触れた「二重に正しい問題」の総称(ideal doubly-true)。出題者の過去問でちょっとやってたりする。

まだ実際には着手していませんが、多分 idt は可能だろうと予想しています。