Add an icon. Get rid of SearchBox (not used).

6 files changed, 306 insertions, 216 deletions

diff --git a/Source/ModelViewer/Main.Designer.cs b/Source/ModelViewer/Main.Designer.cs
index 94f2c341..2c08f850 100644
--- a/Source/ModelViewer/Main.Designer.cs
+++ b/Source/ModelViewer/Main.Designer.cs
@@ -28,6 +28,7 @@
     private void InitializeComponent()

     {

       this.components = new System.ComponentModel.Container();

+      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(Main));

       this.currentStateView = new System.Windows.Forms.ListView();

       this.name = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));

       this.value = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader()));

@@ -354,6 +355,7 @@
       this.ClientSize = new System.Drawing.Size(915, 726);

       this.Controls.Add(this.splitContainer1);

       this.Controls.Add(this.menuStrip1);

+      this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));

       this.Name = "Main";

       this.Text = "Boogie Verification Debugger";

       this.stateViewMenu.ResumeLayout(false);

diff --git a/Source/ModelViewer/Main.resx b/Source/ModelViewer/Main.resx
index 9a1cff5d..e51cd8a9 100644
--- a/Source/ModelViewer/Main.resx
+++ b/Source/ModelViewer/Main.resx
@@ -123,4 +123,302 @@
   <metadata name="menuStrip1.TrayLocation" type="System.Drawing.Point, System.Drawing, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a">

     <value>152, 17</value>

   </metadata>

+  <assembly alias="System.Drawing" name="System.Drawing, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a" />

+  <data name="$this.Icon" type="System.Drawing.Icon, System.Drawing" mimetype="application/x-microsoft.net.object.bytearray.base64">

+    <value>

+        AAABAAQAMDAAAAEAIACoJQAARgAAACAgAAABACAAqBAAAO4lAAAYGAAAAQAgAIgJAACWNgAAEBAAAAEA

+        IABoBAAAHkAAACgAAAAwAAAAYAAAAAEAIAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAAAEAAA

+        ABkAAAAaAAAAGgAAABoAAAAaAAAAGgAAABoAAAAaAAAAGgAAABoAAAAaAAAAGgAAABoAAAAaAAAAGgAA

+        ABoAAAAaAAAAGgAAABoAAAAaAAAAGgAAABoAAAAaAAAAGgAAABoAAAAaAAAAGgAAABoAAAAaAAAAGgAA

+        ABoAAAAaAAAAGgAAABoAAAAaAAAAGgAAABoAAAAaAAAAGgAAABoAAAAaAAAAGgAAABoAAAAZAAAAEAAA

+        AAQACwgeACwebgAsH4MALR+FAC0fhQAuIIUALiCFAC8ghQAvIYUAMCGFADAhhQAwIoUAMSKFADEihQAy

+        I4UAMiOFADMkhQAzJIUANCSFADQlhQA1JYUANSWFADYmhQA2JoUANyaFADcnhQA4J4UAOCeFADkohQA5

+        KIUAOiiFADophQA7KYUAOymFADwqhQA8KoUAPSqFAD0rhQA+K4UAPiuFAD8shQA/LIUAQCyFAEAthQBB

+        LYUAQS2DABIMSAAAABAAKR1JAJ5u/wCgb/8AoXD/AKNy/wClc/8Ap3T/AKh1/wCqd/8ArHj/AK15/wCv

+        ev8AsXz/ALN9/wC1fv8Atn//ALiB/wC6gv8AvIP/AL2E/wC/hv8AwYf/AMOI/wDEif8Axov/AMiM/wDK

+        jf8Ay47/AM2P/wDPkf8A0ZL/ANKT/wDUlP8A1pX/ANiX/wDamP8A25n/AN2b/wDfnP8A4Z3/AOKe/wDk

+        n/8A5qH/AOei/wDpo/8A66T/AEIugwAAABkAKR1KAJ5u/wCgb/8AnXL/AKNy/wClc/8Ap3T/AKh1/wCq

+        d/8ArHj/AK15/wCvev8AsXz/ALN9/wC1fv8Atn//ALiB/wC6gv8AvIP/AL2E/wGxiv8Fepz/B1ip/whT

+        rv8Gaav/A56b/wDJjf8Ay47/AM2P/wDPkf8A0ZL/ANKT/wDUlP8A1pX/ANiX/wDamP8A25n/AN2b/wDf

+        nP8A4Z3/AOKe/wDkn/8EqbX/AdSo/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8Bi3r/BVqR/wCk

+        c/8Ap3T/AKh1/wCqd/8ArHj/AK15/wCvev8AsXz/ALN9/wC1fv8Atn//ALiB/wC6gv8AtIX/Blee/w0G

+        t/8OAL7/DgDD/w4AyP8PAM7/DwDT/wwsyP8DoZ7/AM2P/wDPkf8A0ZL/ANKT/wDUlP8A1pX/ANiX/wDa

+        mP8A25n/AN2b/wDfnP8A4Z3/AN+f/wlqyP8Jacr/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCg

+        b/8AoXD/BkuW/wg0of8Annj/AKh1/wCqd/8ArHj/AK15/wCvev8AsXz/ALN9/wC1fv8Atn//ALiB/wGl

+        hv8KIqX/DQCy/w0At/8OALz/DgDC/w4Ax/8PAMz/DwDS/w8A1/8PBNr/Bn6v/wDPkf8A0ZL/ANKT/wDU

+        lP8A1pX/ANiX/wDamP8A25n/AN2b/wDfnP8A1aH/DD7X/w4e4v8A26T/AOei/wDpo/8A66T/AEIuhQAA

+        ABoAKR1KAJ5u/wCgb/8AoXD/AJx1/wsWrf8KIqn/AJ16/wCqd/8ArHj/AK15/wCvev8AsXz/ALN9/wC1

+        fv8Atn//AKmD/woboP8MAKv/DQCw/w0Atv8OALv/DgDA/w4Axv8PAMv/DwDR/w8A1v8QANv/EAHg/waB

+        sP8A0ZL/ANKT/wDUlP8A1pX/ANiX/wDamP8A25n/AN2b/wDUoP8MNNr/EAPr/wStsv8A5qH/AOei/wDp

+        o/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wJ/gv8MA7X/CiWo/wCiev8ArHj/AK15/wCv

+        ev8AsXz/ALN9/wC1fv8AtYD/CDKa/wwApf8MAKr/DQCv/w0Atf8NALr/DgC//w4Axf8PAMr/DwDP/w8A

+        1f8QANr/EADf/xAF4v8DqKP/ANKT/wDUlP8A1pX/ANiX/wDamP8A25n/ANic/ww91v8QAOz/B33B/wDk

+        n/8A5qH/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wClc/8FXZH/DAC2/wg1

+        ov8Aqnj/AK15/wCvev8AsXz/ALN9/wC1fv8EcJD/DACn/wwAp/8MAKr/DQCv/w0AtP8NALn/FwC5/x8B

+        uv8eAL//HADG/xkAzf8TANf/EADe/xAA5P8NKNj/ANCU/wDUlP8A1pX/ANiX/wDamP8A25n/CVzK/xEA

+        7f8KV87/AOGe/wDkn/8A5qH/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wCl

+        c/8ApnT/CD2f/w0At/8GVpf/AKx6/wCue/8Aqn7/AaOC/wKWh/8LEqn/DACr/wwAqv8NAKz/DQCw/w0A

+        tf8NALn/XwWR/6oKaf+rCmr/qwpq/6sKav+pCWr/mgh2/1QErv8RAOj/DiHe/w0r2v8MOtX/C0jQ/wpP

+        zf8LQdT/EADs/w0w2/8A25//AOKe/wDkn/8A5qH/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCg

+        b/8AoXD/AKNy/wClc/8Ap3T/AKF4/wocrP8MALb/DAa0/wwGtP8MArb/DAC2/w0Atv8NALH/DQCu/w0A

+        rf8NAK7/DQCx/w0Atf8OALr/YAWR/6oKaf+rCmr/qwpq/6sKav+rCmr/qwpq/6oJav8zAsv/EADs/xAJ

+        6P8QAOz/EADs/xEA7f8QAOz/DSfe/wHGpf8A4Z3/AOKe/wDkn/8A5qH/AOei/wDpo/8A66T/AEIuhQAA

+        ABoAKR1KAJ5u/wCbcv8AoXD/AKNy/wClc/8Ap3T/AKh1/wGWfv8IPaD/CiSq/wolqv8JLqf/CDyj/wwI

+        tf8NALT/DQCy/w0AsP8NALH/DQCz/w0At/8OALv/VQSX/5YIdf+XCHX/mQh0/54Jcv+mCWz/qwpq/6sK

+        av9bBKv/EADt/wOpp/8Az5j/AcSf/wK+o/8BxqH/ANyb/wDfnP8A4Z3/AOKe/wDkn/8A5qH/AOei/wLO

+        rP8B16v/AEIuhQAAABoAKR1KAJ5u/wVmk/8Df4X/AKNy/wClc/8Ap3T/AKh1/wCqd/8ArHj/AK15/wCv

+        ev8AsXz/AaKD/w0Buv8NALj/DQC1/w0AtP8NALT/DQC2/w0AuP8OALz/DgDA/w4AxP8PAMn/DwDO/w8A

+        0/9QBKn/qwpq/6sKav9nBaH/EQDs/whnxP8A1pX/ANiX/wDamP8A25n/AN2b/wDfnP8A4Z3/AOKe/wDk

+        n/8A5qH/BaC6/wtY0/8A66T/AEIuhQAAABoAKR1KAJ5u/wCac/8NG8P/BmSX/wClc/8Ap3T/AKh1/wCq

+        d/8ArHj/AK15/wCvev8AsXz/BHaU/w4Avv8OALv/DQC5/w0At/8hAa3/VQSU/1UElf8/A6P/DgDB/w4A

+        xf8PAMn/DwDO/w8A0/9KA63/qwpq/6sKav9tBZz/EQDs/w0w3P8A1pX/ANiX/wDamP8A25n/AN2b/wDf

+        nP8A4Z3/AOKe/wDjoP8Jccn/EA7s/wLOrP8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8EdYv/DwHT/wdU

+        o/8Ap3T/AKh1/wCqd/8ArHj/AK15/wCvev8AsXz/B1Kj/w4Awf8OAL7/DgC8/w4Auv86AqP/qgpp/6oK

+        af96BoX/DgDD/w4Axv8PAMr/DwDP/w8A1P9HA7D/qwpq/6sKav9wBpr/EQDs/xAI7f8A05f/ANiX/wDa

+        mP8A25n/AN2b/wDfnP8A4Z3/AOGf/wpgzv8SAPD/Bo3B/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCg

+        b/8AoXD/CUWq/w8A0/8HWqD/AKh1/wCqd/8ArHj/AK15/wCvev8AsXz/Cjax/w4Axf8OAML/DgC//w4A

+        vv88AqT/qgpp/6oKaf93Bob/DgDE/w4AyP8PAMz/DwDQ/w8A1P9EA7L/qwpq/6sKav9yBpj/EQDs/xEA

+        8f8CvKH/ANiX/wDamP8A25n/AN2b/wDfnP8A4Z3/CWnK/xEA8P8LVNP/AOei/wDpo/8A66T/AEIuhQAA

+        ABoAKR1KAJ5u/wCgb/8AoXD/AJ51/wwkvv8PAdP/BXCV/wCqd/8ArHj/AK15/wCvev8AsXz/CyS7/w4A

+        yP8OAMX/DgDD/w4Awf9BA6T/qgpp/6oKaf91Bon/DgDG/w4Ayv8PAM3/DwDR/w8A1f9DA7T/qwpq/6sK

+        av9zBpf/EQDs/xEA8f8Dpqv/ANiX/wDamP8A25n/AN2b/wDfnP8HiL7/EQDw/w0y3/8A3qP/AOei/wDp

+        o/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wGUff8OEMr/DwjP/wKLh/8ArHj/AKx6/wCq

+        ff8BooP/DRbE/w4Ay/9sBZD/ggeB/4AHgv+QCHn/qgpp/6oKaf9tBo7/MQKz/6cJa/+nCWz/pwls/6cJ

+        bP+oCWv/qwpq/6sKav91Bpb/EQDt/xEA8v8MQNf/ClvK/wlrxf8HecD/B4K+/wh0xP8RBu7/EBfo/wHN

+        p/8A5qH/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wClc/8DfYz/DwLS/w8C

+        0v8OC83/DwjP/w8B0/8QANP/DwDS/w4Az/+NCHz/qgpp/6oKaf+qCmn/qgpp/6oKaf9UBJ7/MgK1/6oK

+        af+rCmr/qwpq/6sKav+rCmr/qwpq/6sKav92Bpb/EQDt/xEA8v8RAvH/EgDx/xIA8f8SAPH/EgDx/xIA

+        8f8RCu3/BK6x/wDkn/8A5qH/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wCl

+        c/8Ap3T/BXKU/wwpvf8NHcT/DCLC/wsuvP8KPLb/Dg3O/w8A0v+QCHv/qgpp/6oKaf+qCmn/qglq/4kH

+        f/8YAMb/MQK3/6gJa/+oCWv/qAlr/6kJa/+pCWr/qwpq/6sKav92Bpb/EQDu/xEA8/8Fl7H/A7Om/wSj

+        rv8FlrX/Bo+5/wWXt/8ByqX/AOKe/wDkn/8A5qH/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCg

+        b/8AoXD/AJ91/wClc/8Ap3T/AKh1/wCqd/8ArHj/AK15/wCvev8AsXz/Cy7A/w8A1f8sAb//NAK4/zYC

+        tv8zArf/JgG//w8Azv8OAM//DwDQ/xEA0f8SANP/EgDW/xIA2f9DA7f/qwpq/6sKav91Bpf/EQDv/xIA

+        8/8Dsqb/ANiX/wDamP8A25n/AN2b/wDfnP8A4Z3/AOKe/wDkn/8Eqrb/AdOp/wDpo/8A66T/AEIuhQAA

+        ABoAKR1KAJ5u/wCgb/8AoXD/BHuQ/wZooP8ApnT/AKh1/wCqd/8ArHj/AK15/wCvev8AsXz/CUa2/xAA

+        2f8PANb/DwDU/w8A0v8PANH/DgDR/w4A0f8PANL/DwDT/w8A1f8QANf/EADa/xAA3f9DA7j/qwpq/6sK

+        av90Bpj/EQDw/xEB9P8AzJr/ANiX/wDamP8A25n/AN2b/wDfnP8A4Z3/ANmi/wpd0f8Jbsz/AOei/wDp

+        o/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wo6wf8KOsL/AKB7/wCqd/8ArHj/AK15/wCv

+        ev8AsXz/Bmem/xAA3P8QANn/EADX/xAA1v8PANX/DwDU/w8A1P8PANX/EADW/xAA2P8QANr/EADc/xAA

+        3/9GA7j/qwpq/6sKav9yBpr/EQDx/w8d5/8A1pX/ANiX/wDamP8A25n/AN2b/wDfnP8Cwqn/Dibl/w4t

+        4/8A4KP/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wGae/8PE97/DR/W/wGZ

+        gv8ArHj/AK15/wCvev8AsXz/A4+Q/xAA3/8QAN3/EADb/xAA2f8QANj/EADY/xAA1/8QANj/EADZ/xAA

+        2v8QANz/EADe/xAA4f9KA7b/qwpq/6sKav9vBp7/EQDy/wtP0f8A1pX/ANiX/wDamP8A25n/AN2b/wO4

+        q/8QFev/EBDt/wLEq/8A5qH/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wCl

+        c/8DgY//EAXp/w4Z2/8Bm4P/AK15/wCvev8AsXz/ALF+/w4T2P8QAOD/DwDe/w8A3f8PANz/DwDb/w8A

+        2/8PANv/NgK//zoCvf85Ar//OQLB/zsCwf9qBZ7/qgpp/6oKaf9oBaT/EgD0/wWNtf8A1pX/ANiX/wDa

+        mP8A25n/Armp/xAT7P8RB/H/BKuz/wDkn/8A5qH/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCg

+        b/8AoXD/AKNy/wClc/8Ap3T/BWyg/xAB7P8NH9f/AKR//wCvev8AsXz/ALN9/wlRtv8QAOT/EADi/xAA

+        4P8PAN//DwDe/w8A3v8PAN7/mgh2/6oJaf+qCmn/qgpp/6oKaf+qCmn/qgpp/6oKaf9XBLX/EAzv/wDL

+        mP8A1pX/ANiX/wDamP8Bx6H/Dxzo/xEC8/8FmLn/AOKe/wDkn/8A5qH/AOei/wDpo/8A66T/AEIuhQAA

+        ABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wClc/8Ap3T/AKh1/wdZrv8QAO3/DDHM/wKRjv8ClY7/A46U/wZr

+        qv8QAOf/EADl/xAA4/8QAOL/EADi/xAA4f8QAOH/mwh2/6oJaf+qCmn/qgpp/6oKaf+qCmn/qgpp/6QJ

+        b/8mAeH/EQD1/xEH8P8QFur/DyLl/w4n4/8QD+3/EQDz/wd9wv8A4Z3/AOKe/wDkn/8A5qH/AOei/wDp

+        o/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wClc/8Ap3T/AKh1/wCpd/8KPcL/EADt/xAA

+        7f8QAOz/EADs/xAA7P8QAOv/EADp/xAA5/8QAOb/EADl/xAA5P8QAOT/cQaY/30Gj/9+B47/fgeO/30H

+        kP95BpT/bAWg/zAB1/8RCvH/C0bT/w4t3/8PHeb/EBLs/xAN7v8PG+j/CHbE/wDfnP8A4Z3/AOKe/wDk

+        n/8A5qH/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wClc/8Ap3T/AKh1/wCq

+        d/8AqHr/B2Wp/wpGv/8KRsD/CU+7/whdtP8GbKv/Dw7j/xAA6/8QAOn/EADo/xAA6P8QAOj/EADo/xAA

+        6f8RAOr/EQDr/xEA7f8RAO//EQDy/xIA9f8HdL7/ANKT/wDUlP8A1pX/ANiX/wDZmP8A25n/AN2b/wDf

+        nP8A4Z3/AOKe/wDkn/8A5qH/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wCl

+        c/8Ap3T/AKh1/wCqd/8ArHj/AK15/wCvev8AsXz/ALN9/wC1fv8Atn//BIKg/xAC7f8QAO3/EADs/xAA

+        6/8QAOv/EADr/xAA7P8QAO3/EADu/xEA8P8RAPL/EgD0/ww92P8Az5P/ANKT/wDUlP8A1pX/ANiX/wDa

+        mP8A25n/AN2b/wDfnP8A4Z3/AOKe/wDkn/8A5qH/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCg

+        b/8AoXD/AKNy/wClc/8Ap3T/AKh1/wCqd/8ArHj/AK15/wCvev8AsXz/ALN9/wC1fv8Atn//ALiB/wdk

+        rf8PANH/EADk/xEA7/8QAO7/EADu/xEA7/8RAPD/EQDx/w8A1f8OAMr/Dxfe/wDFlv8A0ZL/ANKT/wDU

+        lP8A1pX/ANiX/wDamP8A25n/AN2b/wDfnP8A4Z3/AOKe/wDkn/8A5qH/AOei/wDpo/8A66T/AEIuhQAA

+        ABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wClc/8Ap3T/AKh1/wCqd/8ArHj/AK15/wCvev8AsXz/ALN9/wC1

+        fv8Atn//ALiB/wk8qP8NAL3/DwDY/xEA8P8RAPL/EQDy/xEA8v8SAPP/EQDy/w4AwP8OAMb/EAHg/wG6

+        m/8A0ZL/ANKT/wDUlP8A1pX/ANiX/wDamP8A25n/AN2b/wDfnP8A4Z3/AOKe/wDkn/8A5qH/AOei/wDp

+        o/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wClc/8Ap3T/AKh1/wCqd/8ArHj/AK15/wCv

+        ev8AsXz/ALN9/wC1fv8Atn//ALiB/wswwP8PANP/EADh/ww9z/8NLNv/EAnw/xEE8/8PF+n/Ck/L/w4N

+        1f8PANr/EAfm/wHBl/8A0ZL/ANKT/wDUlP8A1pX/ANiX/wDamP8A25n/AN2b/wDfnP8A4Z3/AOKe/wDk

+        n/8A5qH/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wClc/8Ap3T/AKh1/wCq

+        d/8ArHj/AK15/wCvev8AsXz/ALN9/wC1fv8Atn//ALiB/wOUlv8NKdP/C0LK/wC4iv8Ai6L/AMCJ/wDE

+        if8Aiqf/AMGP/wOdov8KUsj/BJaq/wDPkf8A0ZL/ANKT/wDUlP8A1pX/ANiX/wDamP8A25n/AN2b/wDf

+        nP8A4Z3/AOKe/wDkn/8A5qH/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wCl

+        c/8Ap3T/AKh1/wCqd/8ArHj/AK15/wCvev8AsXz/ALN9/wC1fv8Atn//ALiB/wC6gv8AvIP/AL2E/wC1

+        i/8AWbz/AMOI/wDEif8Am5//AGm4/wDKjf8Ay47/AM2P/wDPkf8A0ZL/ANKT/wDUlP8A1pX/ANiX/wDa

+        mP8A25n/AN2b/wDfnP8A4Z3/AOKe/wDkn/8A5qH/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCg

+        b/8AoXD/AKNy/wClc/8Ap3T/AKh1/wCqd/8ArHj/AK15/wCvev8AsXz/ALN9/wC1fv8Atn//ALiB/wC6

+        gv8AvIP/AL2E/wBltf8Ad63/AMOI/wDEif8AwY3/ACjX/wCgoP8Ay47/AM2P/wDPkf8A0ZL/ANKT/wDU

+        lP8A1pX/ANiX/wDamP8A25n/AN2b/wDfnP8A4Z3/AOKe/wDkn/8A5qH/AOei/wDpo/8A66T/AEIuhQAA

+        ABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wClc/8Ap3T/AKh1/wCqd/8ArHj/AK15/wCvev8AsXz/ALN9/wC1

+        fv8Atn//ALiB/wC6gv8AvIP/AKaR/wAh2P8AppX/AMOI/wDEif8Axov/AFjA/wA20P8AxZH/AM2P/wDP

+        kf8A0ZL/ANKT/wDUlP8A1pX/ANiX/wDamP8A25n/AN2b/wDfnP8A4Z3/AOKe/wDkn/8A5qH/AOei/wDp

+        o/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wClc/8Ap3T/AKh1/wCqd/8ArHj/AK15/wCv

+        ev8AsXz/ALN9/wC1fv8Atn//ALiB/wC6gv8AvIP/AFO+/wA5zP8AwYf/AMOI/wDEif8Axov/AJaj/wAe

+        2/8Abrj/AM2P/wDPkf8A0ZL/ANKT/wDUlP8A1pX/ANiX/wDamP8A25n/AN2b/wDfnP8A4Z3/AOKe/wDk

+        n/8A5qH/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wClc/8Ap3T/AKh1/wCq

+        d/8ArHj/AK15/wCvev8AsXz/ALN9/wC1fv8Atn//ALiB/wC6gv8AmpX/AB/a/wB5q/8AwYf/AMOI/wDE

+        if8Axov/AMaM/wA5z/8AINr/AKqf/wDPkf8A0ZL/ANKT/wDUlP8A1pX/ANiX/wDamP8A25n/AN2b/wDf

+        nP8A4Z3/AOKe/wDkn/8A5qH/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wCl

+        c/8Ap3T/AKh1/wCqd/8ArHj/AK15/wCvev8AsXz/ALN9/wC1fv8Atn//ALiB/wC5gv8ARMX/ACjV/wC2

+        iv8AwYf/AMOI/wDEif8Axov/AMiM/wCSpv8AHtv/ADvP/wDIlP8A0ZL/ANKT/wDUlP8A1pX/ANiX/wDa

+        mP8A25n/AN2b/wDfnP8A4Z3/AOKe/wDkn/8A5qH/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCg

+        b/8AoXD/AKNy/wClc/8Ap3T/AKh1/wCqd/8ArHj/AK15/wCvev8AsXz/ALN9/wC1fv8Atn//ALiB/wCA

+        o/8AHdr/AHCu/wC/hv8AwYf/AMOI/wDEif8Axov/AMiM/wDJjf8AUMX/AB7c/wBfwP8A0JL/ANKT/wDU

+        lP8A1pX/ANiX/wDamP8A25n/AN2b/wDfnP8A4Z3/AOKe/wDkn/8A5qH/AOei/wDpo/8A66T/AEIuhQAA

+        ABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wClc/8Ap3T/AKh1/wCqd/8ArHj/AK15/wCvev8AsXz/ALN9/wC1

+        fv8Atn//AKSM/wAo1f8AMdD/ALeI/wC/hv8AwYf/AMOI/wDEif8Axov/AMiM/wDKjf8Aupb/AC7U/wAe

+        2/8Adrf/ANKT/wDUlP8A1pX/ANiX/wDamP8A25n/AN2b/wDfnP8A4Z3/AOKe/wDkn/8A5qH/AOei/wDp

+        o/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wClc/8Ap3T/AKh1/wCqd/8ArHj/AK15/wCv

+        ev8AsXz/ALN9/wC1fv8AqYf/ADnK/wAe2v8Aj5z/AL2E/wC/hv8AwYf/AMOI/wDEif8Axov/AMiM/wDK

+        jf8Ay47/AKOh/wAj2f8AHtv/AHK6/wDSlf8A1pX/ANiX/wDamP8A25n/AN2b/wDfnP8A4Z3/AOKe/wDk

+        n/8A5qH/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wClc/8Ap3T/AKh1/wCq

+        d/8ArHj/AK15/wCvev8Aaar/AEjA/wBatf8ALdH/AB3a/wBlsv8AvIP/AL2E/wC/hv8AwYf/AMOI/wDE

+        if8Axov/AMiM/wDKjf8Ay47/AM2P/wCYqP8AI9n/AB7c/wBNyf8ArqX/ANSY/wDHnv8A05z/AN2b/wDf

+        nP8A4Z3/AOKe/wDkn/8A5qH/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCgb/8AoXD/AKNy/wCl

+        c/8Ap3T/AKh1/wCqd/8ArHj/AK15/wCvev8ASr7/AB3b/wAd2v8AHtr/AFy2/wC4g/8AvIP/AL2E/wC/

+        hv8AwYf/AMOI/wDEif8Axov/AMiM/wDKjf8Ay47/AM2P/wDPkf8ApKT/AC7V/wAd3P8AHdz/AB/b/wAd

+        3P8AUcr/AN2b/wDfnP8A4Z3/AOKe/wDkn/8A5qH/AOei/wDpo/8A66T/AEIuhQAAABoAKR1KAJ5u/wCg

+        b/8AoXD/AKNy/wClc/8Ap3T/AKh1/wCqd/8ArHj/AK15/wCvev8AqIH/AH2e/wBtqv8AkZb/ALiB/wC6

+        gv8AvIP/AL2E/wC/hv8AwYf/AMOI/wDEif8Axov/AMiM/wDKjf8Ay47/AM2P/wDPkf8A0ZL/AMOZ/wBr

+        vf8ALNb/AB7b/wAm2P8Adr3/AN2b/wDfnP8A4Z3/AOKe/wDkn/8A5qH/AOei/wDpo/8A66T/AEIuhAAA

+        ABkAKR1FAJ5u/wCgb/8AoXD/AKNy/wClc/8Ap3T/AKh1/wCqd/8ArHj/AK15/wCvev8AsXz/ALN9/wC1

+        fv8Atn//ALiB/wC6gv8AvIP/AL2E/wC/hv8AwYf/AMOI/wDEif8Axov/AMiM/wDKjf8Ay47/AM2P/wDP

+        kf8A0ZL/ANKT/wDUlP8A1Zb/AM+a/wDYmP8A25n/AN2b/wDfnP8A4Z3/AOKe/wDkn/8A5qH/AOei/wDp

+        o/8A66T/AEIucQAAABEADQkYADQkXQA0JGIANSViADYlYgA2JmIANyZiADcmYgA4J2IAOCdiADkoYgA6

+        KGIAOiliADspYgA7KWIAPCpiAD0qYgA9K2IAPitiAD4rYgA/LGIAPyxiAEAtYgBBLWIAQS1iAEIuYgBC

+        LmIAQy9iAEMvYgBEMGIARTBiAEUwYgBGMWIARjFiAEcyYgBIMmIASDJiAEkzYgBJM2IASjRiAEo0YgBL

+        NGIATDViAEw1YgBNNmIATTZiABUPKAAAAAYAAAAAAADyBAAAAAAAAPIEAAAAAAAA8gQAAAAAAADyBAAA

+        AAAAAPIEAAAAAAAA8gQAAAAAAADyBAAAAAAAAPIEAAAAAAAA8gQAAAAAAADyBAAAAAAAAPIEAAAAAAAA

+        8gQAAAAAAADyBAAAAAAAAPIEAAAAAAAA8gQAAAAAAADyBAAAAAAAAPIEAAAAAAAA8gQAAAAAAADyBAAA

+        AAAAAPIEAAAAAAAA8gQAAAAAAADyBAAAAAAAAPIEAAAAAAAA8gQAAAAAAADyBAAAAAAAAPIEAAAAAAAA

+        8gQAAAAAAADyBAAAAAAAAPIEAAAAAAAA8gQAAAAAAADyBAAAAAAAAPIEAAAAAAAA8gQAAAAAAADyBAAA

+        AAAAAPIEAAAAAAAA8gQAAAAAAADyBAAAAAAAAPIEAAAAAAAA8gQAAAAAAADyBAAAAAAAAPIEAAAAAAAA

+        8gQAAAAAAADyBAAAAAAAAPIEAAAAAAAA8gQAAAAAAADyBAAAAAAAAPIEAAAAAAAA8gQoAAAAIAAAAEAA

+        AAABACAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAcFGAAOCjgADwo+AA8KPgAPCj4ADwo+ABALPgAQ

+        Cz4AEAs+ABALPgAQCz4AEQw+ABEMPgARDD4AEQw+ABIMPgASDD4AEg0+ABINPgATDT4AEw0+ABMNPgAT

+        DT4AFA4+ABQOPgAUDj4AFA4+ABUOPgAVDj4AFQ8+ABALNAACAREAPCpsAHhU0wB6VdYAfFfWAH9Y1gCA

+        WdYAglvWAIRc1gCGXtYAiF/WAIpg1gCMYtYAjmPWAJBl1gCSZtYAlGfWAJZp1gCYatYAmmvWAJxt1gCe

+        b9YAoHDWAKJx1gCkc9YApnTWAKh21gCrd9YArHjWAK561gCwe9YAh160ABALNABQOIYAn27/AJJ3/wCc

+        dv8Ap3T/AKl2/wCseP8Arnn/ALF8/wC0ff8Atn//ALmB/wCvhv8Eg5T/CEmq/wk4tf8IUbP/BYal/wDC

+        kf8AzpD/ANGS/wDTk/8A1pX/ANmX/wDbmf8A3pv/AOGd/wLHp/8Eq7T/AOSk/wCyfNYAFg8+AFA3hgCf

+        bv8CgX7/BVaS/wCjdv8AqXb/AKx4/wCuef8AsXz/ALR9/wC2f/8AsIP/CECg/wwLs/8NAL7/DQDF/w8A

+        zv8OCdL/CFi6/wG8l/8A0ZL/ANOT/wDWlf8A2Zf/ANuZ/wDem/8Ct6v/CkvS/wLFq/8A6KL/ALJ81gAW

+        Dz4AUDiGAJ9u/wCgcf8FWpD/CDah/wGWff8ArHj/AK55/wCxfP8AtH3/AKSD/wg3mv8MAKz/DQCz/w0A

+        vP8OAMP/DwDM/w8A0/8QANz/CzrL/wDIlv8A05P/ANaV/wDZl/8A25n/ArSq/w0l3/8Gjrz/AOah/wDo

+        ov8AsnzWABYPPgBQN4YAn27/AKFw/wCbdf8ILqP/Bz+e/wCreP8Arnn/ALF8/wC0ff8FX5L/CwWl/wwA

+        q/8NALL/DwC5/xcAvP8YAMT/FgDN/xEA2v8QAeH/Bny1/wDSk/8A1pX/ANmX/wK+pP8MOtf/CGbI/wDX

+        ov8A5qH/AOii/wCyfNYAFg8+AFA4hgCfbv8AoXD/AKRy/wGOfv8JJaj/Bk2a/wR1jf8EcJH/BWaV/wsI

+        q/8MAKv/DQCt/w0As/8oAav/kQh2/6sKav+rCmr/pgls/4AGiv8XB9//Dhzg/w0p2/8MM9j/DSHf/wtF

+        0/8A3p7/AOOe/wDmof8A6KL/ALJ81gAWDz4AUDeGAJ1w/wChcP8ApHL/AKZ0/wKAhf8JI6n/Chqt/wki

+        q/8LELH/DQCy/w0Ar/8NALD/DQC1/yYBrv+GB33/nghx/6EJb/+oCWr/qglq/zkCyP8KTcz/BYe1/waA

+        uv8Fjbf/AcSl/wDhnf8A457/AOah/wDcpv8AqX/WABYPPgBQOIYChH//BG2Q/wCddv8Ap3T/AKl2/wCs

+        eP8Arnn/AKeA/wkxqv8NALj/DQC1/xkAr/8lAav/GAC3/w4Aw/8PAMr/DwDR/20FlP+rCmr/SwO4/ww4

+        1v8A1pX/ANmX/wDbmf8A3pv/AOGd/wDjnv8EpLf/CHrH/wCyfNYAFg8+AFA3hgCeb/8IRaj/B1Wh/wCn

+        dP8AqXb/AKx4/wCuef8ClYf/Cx+0/w0AvP8NALn/UAOW/40Id/9IA6D/DQDE/w8Ay/8PANL/aQWY/6sK

+        av9PA7X/Dw7o/wDVlv8A2Zf/ANuZ/wDem/8A4Z3/BKi0/w063P8DtrP/ALJ81gAWDz4AUDiGAJ9u/wKM

+        ff8LKLr/B1qg/wCjef8ArHj/AK55/wOGjv8MEMD/DQDC/w4Av/9hBJD/qgpp/1MEm/8OAMf/DwDN/w8A

+        0/9mBZr/qwpq/1EEs/8RAO//AcCf/wDZl/8A25n/AN6b/wWZt/8OIuP/BKO4/wDoov8AsnzWABYPPgBQ

+        N4YAn27/AKFx/wN/iP8NFcf/BHGV/wCseP8Aq3v/BHiW/w0Ix/9RA57/WgSX/4cHff+qCmn/VgSb/1kE

+        mv90Boz/dAaO/5IIev+rCmr/UwSz/xEA8P8IbcP/Boy2/wSbsv8FmrX/Dibi/whryv8A5KH/AOii/wCy

+        fNYAFg8+AFA4hgCfbv8AoXD/AKRy/wVpl/8NF8b/DRDK/w0Qy/8ODsv/DgHQ/5cIdf+qCmn/qglp/6IJ

+        bv87Aq7/gQeD/6oJav+qCWr/qglq/6sKav9UBLP/EQDw/w022v8NONn/DTHd/w0x3f8Iccb/ANei/wDm

+        of8A6KL/ALJ81gAWDz4AUDeGAJ9u/wCgcf8Ao3P/AKF3/wOGif8EfZH/A4KQ/wZnof8NC87/UgOk/1wE

+        nP9XBJ7/QAKu/xQAyv81Arf/RAOw/0QDs/98Boz/qwpq/1MEtP8RAPH/ArSl/wHJnv8Bw6P/AcWl/wDc

+        n/8A457/Ases/wDjpP8AsnzWABYPPgBQOIYAn27/AJh3/wVonv8CjYb/AKh3/wCseP8Arnn/ApGN/w0b

+        zP8PANb/DwDT/w4A0v8OANL/DwDT/w8A1f8QANj/EADc/2YFnv+rCmr/UgS1/xAG7/8A0pf/ANmX/wDb

+        mf8A3pv/AsOo/wlnzP8Er7T/AOii/wCyfNYAFg8+AFA3hgCfbv8AoXD/AoeH/wsuy/8DgpH/AKx4/wCu

+        ef8BoYX/DCvG/xAA2/8QANj/DwDW/w8A1v8PANf/EADY/xAA3P8QAN//aQWd/6sKav9QBLn/DSng/wDW

+        lf8A2Zf/ANuZ/wHNov8MPNz/CWjM/wDlof8A6KL/ALJ81gAWDz4AUDiGAJ9u/wChcP8ApHL/BWue/w0Y

+        2/8DhJP/AK16/wCxfP8IVbL/DwDg/w8A3v8PANz/DwDc/ycByv9cBKL/XgSi/18Eo/+NB4D/qgpp/0cE

+        wf8IbcP/ANaV/wDZl/8Cuaf/DTXe/wlkzf8A16P/AOah/wDoov8AsnzWABYPPgBQN4YAn27/AKFw/wCk

+        cv8AoHn/B1mt/wwk1P8DhJX/AZ2J/wV1ov8QAOX/EADi/w8A4P8PAOD/PgK8/6QIbf+qCmn/qgpp/6oK

+        af+nCWv/KQLd/w0x3f8KWMz/CWHK/ww23P8MO9z/AdGj/wDjnv8A5qH/AOii/wCyfNYAFg8+AFA4hgCf

+        bv8AoXD/AKRy/wCndP8AqHb/CEu4/w0a2/8NGNz/DR3a/w0Z2/8PAef/EADm/xAA5f8lAdT/VgSu/1kE

+        rP9ZBK7/UwO1/zMB1P8LRdT/CGrD/wpYzP8KUtD/CG/F/wHHpP8A4Z3/AOOe/wDmof8A6KL/ALJ81gAW

+        Dz4AUDeGAJ9u/wChcP8ApHL/AKd0/wCpdv8Ao37/A4+O/wOOkv8ClZD/A4eb/w0f2v8QAOv/EADq/xAA

+        6v8QAOr/EADs/xAA7v8RAPH/Dxvn/wG7nP8A05P/ANaV/wDZl/8A25n/AN6b/wDhnf8A457/AOah/wDo

+        ov8AsnzWABYPPgBQOIYAn27/AKFw/wCkcv8Ap3T/AKl2/wCseP8Arnn/ALF8/wC0ff8Atn//BXed/w4A

+        0f8QAOr/EADv/xAA7/8RAPH/DwDZ/w4Fz/8Fhq//ANGS/wDTk/8A1pX/ANmX/wDbmf8A3pv/AOGd/wDj

+        nv8A5qH/AOii/wCyfNYAFg8+AFA3hgCfbv8AoXD/AKRy/wCndP8AqXb/AKx4/wCuef8AsXz/ALR9/wC2

+        f/8GYKX/DgDR/w4b2/8PFef/EAPx/w4b5f8NF9H/DwHY/waAsf8A0ZL/ANOT/wDWlf8A2Zf/ANuZ/wDe

+        m/8A4Z3/AOOe/wDmof8A6KL/ALJ81gAWDz4AUDiGAJ9u/wChcP8ApHL/AKd0/wCpdv8ArHj/AK55/wCx

+        fP8AtH3/ALZ//wGoiv8IX7b/Ap2X/wCRn/8Aw4j/AJah/wGpm/8Fia7/AMKW/wDRkv8A05P/ANaV/wDZ

+        l/8A25n/AN6b/wDhnf8A457/AOah/wDoov8AsnzWABYPPgBQN4YAn27/AKFw/wCkcv8Ap3T/AKl2/wCs

+        eP8Arnn/ALF8/wC0ff8Atn//ALmB/wC8g/8AlJv/AImk/wDDiP8AjKb/AIiq/wDLjv8AzpD/ANGS/wDT

+        k/8A1pX/ANmX/wDbmf8A3pv/AOGd/wDjnv8A5qH/AOii/wCyfNYAFg8+AFA4hgCfbv8AoXD/AKRy/wCn

+        dP8AqXb/AKx4/wCuef8AsXz/ALR9/wC2f/8AuYH/AKuM/wBJwv8AtY3/AMOI/wComf8AQsn/ALSZ/wDO

+        kP8A0ZL/ANOT/wDWlf8A2Zf/ANuZ/wDem/8A4Z3/AOOe/wDmof8A6KL/ALJ81gAWDz4AUDeGAJ9u/wCh

+        cP8ApHL/AKd0/wCpdv8ArHj/AK55/wCxfP8AtH3/ALZ//wC5gf8AfqT/AFK+/wDBh/8Aw4j/AMCN/wBc

+        vf8AY73/AMaT/wDRkv8A05P/ANaV/wDZl/8A25n/AN6b/wDhnf8A457/AOah/wDoov8AsnzWABYPPgBQ

+        OIYAn27/AKFw/wCkcv8Ap3T/AKl2/wCseP8Arnn/ALF8/wC0ff8Atn//AKyJ/wA6yv8AkJ3/AMGH/wDD

+        iP8Axov/ALCX/wAv0/8AfrL/ANGS/wDTk/8A1pX/ANmX/wDbmf8A3pv/AOGd/wDjnv8A5qH/AOii/wCy

+        fNYAFg8+AFA3hgCfbv8AoXD/AKRy/wCndP8AqXb/AKx4/wCuef8AsXz/ALR9/wCygv8AZ7D/AFG+/wC0

+        iv8AwYf/AMOI/wDGi/8AyYz/AHK2/wAw0/8AqKL/ANOT/wDWlf8A2Zf/ANuZ/wDem/8A4Z3/AOOe/wDm

+        of8A6KL/ALJ81gAWDz4AUDiGAJ9u/wChcP8ApHL/AKd0/wCpdv8ArHj/AK55/wCVjv8AlJH/AGWv/wAz

+        zf8AqI7/AL6F/wDBh/8Aw4j/AMaL/wDJjP8AwpL/AGy5/wAx0/8Ai7D/AM2Z/wDUmf8A2Zr/AN6b/wDh

+        nf8A457/AOah/wDoov8AsnzWABYPPgBQN4YAn27/AKFw/wCkcv8Ap3T/AKl2/wCseP8Arnn/AEbA/wAv

+        z/8AL9D/AH+i/wC8g/8AvoX/AMGH/wDDiP8Axov/AMmM/wDLjv8AwpX/AF7A/wAr1v8AUsj/AFfG/wCc

+        sP8A3pv/AOGd/wDjnv8A5qH/AOii/wCyfNYAFg8+AFA4hQCfbv8AoXD/AKRy/wCndP8AqXb/AKx4/wCu

+        ef8AoYX/AIiY/wCmif8AuYH/ALyD/wC+hf8AwYf/AMOI/wDGi/8AyYz/AMuO/wDOkP8AzpP/AKGn/wBg

+        wv8AXsP/AK6p/wDem/8A4Z3/AOOe/wDmof8A6KL/ALJ81AAWDzkALB5LAFc8lQBZPpYAWj+WAFxAlgBd

+        QZYAX0KWAGBDlgBiRJYAY0WWAGVGlgBmR5YAaEiWAGlJlgBqSpYAbEuWAG1MlgBvTZYAcE6WAHFPlgBz

+        UJYAdFGWAHVTlgB2VJYAeVSWAHpVlgB8V5YAfVeWAH9ZlgCAWpYAYkR6AAwIHAAAAAAAAAAAAAAAAAAA

+        AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA

+        AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAKAAAABgA

+        AAAwAAAAAQAgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAANCSgAFg9PABYPUAAXEFAAFxBQABgQUAAY

+        EVAAGRFQABkSUAAaElAAGhJQABsTUAAbE1AAHBNQABwUUAAdFFAAHRRQAB4VUAAeFVAAHxVQAB8WUAAg

+        FlAAIBZPAAQDGwBjRaQAn3D/AKRy/wCndP8Aq3f/AK55/wCyfP8AtX7/ALmB/wC8g/8Bqoz/A4ya/wKl

+        l/8Ayo3/AM6Q/wDRkv8A1ZT/ANmX/wDcmv8A4Jz/AOOe/wHSqP8A6qP/ACEXTwBjRaQAm3L/BF+O/wCl

+        df8Aq3f/AK55/wCyfP8AtX7/ALOC/wdLnv8NAbr/DgDF/w8Az/8LNMX/AbqY/wDRkv8A1ZT/ANmX/wDc

+        mv8A3Z3/CGnI/wLErP8A6qP/ACEXUABjRaQAoG//A3WF/wg5oP8AqXj/AK55/wCyfP8AtX7/Bz2Y/wwA

+        rf8NALj/DgDC/w8Azf8PANj/DSHU/wDHlv8A1ZT/ANmX/wDamv8KUc//BoS//wDmof8A6qP/ACEXUABj

+        RaQAoG//AKRy/wZQlv8GTZr/AK16/wCsfv8Ec4//DACo/wwArf8NALb/TwSb/2QFlv9gBJ7/QwO5/wtG

+        zP8Gg7b/BZKz/wleyP8KWM3/AOKe/wDmof8A6qP/ACEXUABjRaQAn3D/AKRy/wCldf8HO6D/CxWv/wob

+        rf8MArT/DQCv/w0AsP8NALj/fQaB/6EJb/+mCWz/qglq/ysB0/8IYMT/CWDG/wdywf8A2Z7/AOOe/wDm

+        of8A3qf/ACEXUABjRaQFZpP/AZR7/wCndP8Aq3f/AK55/wGeg/8NALr/DQC2/yQBqv8rAav/DgDC/w8A

+        y/8uAb//qwpq/z0Cxf8FkLL/ANmX/wDcmv8A4Jz/AOKe/weBxP8Dv7H/ACEXUABjRaQBlXb/Cya8/wGU

+        f/8Aq3f/AK55/wR6k/8OAMH/DgC8/3IGhv+RCHf/DgDF/w8Azf8qAcL/qwpq/0EDwv8IZcX/ANmX/wDc

+        mv8A4Jz/CWrJ/whyyf8A6qP/ACEXUABjRaQAoG//A36I/wwiwP8Ao3v/AKx6/wZjn/8lAbr/RwOh/4kH

+        e/+NCHr/PQKr/1sEnf9oBZj/qwpq/0IDwf8MOdn/BJ6v/wOsrP8IeMP/C0XX/wDkov8A6qP/ACEXUABj

+        RaQAoG//AKRy/wVmmf8NFMj/DRbI/w0Syv9OBKb/qgpp/6oJaf9nBZP/bQWQ/6kJav+qCWr/qwpq/0MD

+        wf8OJuH/ClXN/wtJ1P8KWs7/Adaj/wDmof8A6qP/ACEXUABjRaQAoG//AomG/wCndP8Aq3f/AK55/wV1

+        m/8WAND/IgHF/x0Axv8OAND/DwDS/xEA1v8qAcn/qwpq/0IDw/8JX8n/ANmX/wDcmv8A4Jz/Ar+s/wO0

+        s/8A6qP/ACEXUABjRaQAoG//AoaI/wlDvP8Apnr/AK55/wKWi/8QANz/EADY/w8A1v8PANb/EADY/xAA

+        3P8sAcv/qwpq/0ADxv8Ghrj/ANmX/wDcmv8Fm7b/C0nY/wDlov8A6qP/ACEXUABjRaQAoG//AKRy/wZm

+        o/8LNcj/AKt7/wCxfP8NGdT/DwDf/w8A3f8PANz/bQWW/3EGlP9+Boz/qgpp/zgFz/8BwZ3/ANmX/wSd

+        sv8NLeL/AdWj/wDmof8A6qP/ACEXUABjRaQAoG//AKRy/wCndP8IT7X/CzDN/wlIvv8NGtr/EADm/xAA

+        4/8QAOL/jAeB/5QIe/+SCH3/egaT/xQU5v8PGef/Dxro/w4o4/8Bx6b/AOOe/wDmof8A6qP/ACEXUABj

+        RaQAoG//AKRy/wCndP8Aqnj/BIGW/wR+nf8DjZf/DCTW/xAA6v8QAOn/EADq/xAA7P8RAO//EA/s/wG5

+        nf8A1ZT/ANiX/wDcmv8A4Jz/AOOe/wDmof8A6qP/ACEXUABjRaQAoG//AKRy/wCndP8Aq3f/AK55/wCy

+        fP8AtX7/BISV/w4A0v8QAO//EADw/xEA8f8OAMn/CGW7/wDRkv8A1ZT/ANmX/wDcmv8A4Jz/AOOe/wDm

+        of8A6qP/ACEXUABjRaQAoG//AKRy/wCndP8Aq3f/AK55/wCyfP8AtX7/A42W/w0a1P8Ga7X/CGS9/wZs

+        uv8KP8b/BYuu/wDRkv8A1ZT/ANmX/wDcmv8A4Jz/AOOe/wDmof8A6qP/ACEXUABjRaQAoG//AKRy/wCn

+        dP8Aq3f/AK55/wCyfP8AtX7/ALmB/wC8g/8Aeqr/AMOI/wB7rv8AwJL/AM6Q/wDRkv8A1ZT/ANmX/wDc

+        mv8A4Jz/AOOe/wDmof8A6qP/ACEXUABjRaQAoG//AKRy/wCndP8Aq3f/AK55/wCyfP8AtX7/ALmB/wCc

+        lf8AcLD/AMOI/wCenv8AYb3/AM6Q/wDRkv8A1ZT/ANmX/wDcmv8A4Jz/AOOe/wDmof8A6qP/ACEXUABj

+        RaQAoG//AKRy/wCndP8Aq3f/AK55/wCyfP8AtX7/ALiB/wBJwv8ArJD/AMOI/wDGi/8AQsr/AJ+k/wDR

+        kv8A1ZT/ANmX/wDcmv8A4Jz/AOOe/wDmof8A6qP/ACEXUABjRaQAoG//AKRy/wCndP8Aq3f/AK55/wCy

+        fP8AtX7/AIGh/wBduP8AwIb/AMOI/wDHi/8Ap53/ADLS/wC6m/8A1ZT/ANmX/wDcmv8A4Jz/AOOe/wDm

+        of8A6qP/ACEXUABjRaQAoG//AKRy/wCndP8Aq3f/AK55/wCFmP8AeaL/ADbM/wCxif8AwIb/AMOI/wDH

+        i/8Ayo3/AIqs/wA00v8AqKb/ANOZ/wDamv8A4Jz/AOOe/wDmof8A6qP/ACEXUABjRaQAoG//AKRy/wCn

+        dP8Aq3f/AK55/wBjrv8ATr3/AKGP/wC8g/8AwIb/AMOI/wDHi/8Ayo3/AM6Q/wCZqf8ANNL/ACDa/wCg

+        r/8A4Jz/AOOe/wDmof8A6qP/ACEXTwBCLm4AakqwAG1MsABvTbAAcU+wAHNQsAB2UrAAeFSwAHtWsAB9

+        V7AAf1mwAIJasACEXLAAhl6wAIhfsACLYbAAjWOwAI1lsACSZrAAlGiwAJZpsACZa7AAm2ywABUPLAAA

+        AEEAAABBAAAAQQAAAEEAAABBAAAAQQAAAEEAAABBAAAAQQAAAEEAAABBAAAAQQAAAEEAAABBAAAAQQAA

+        AEEAAABBAAAAQQAAAEEAAABBAAAAQQAAAEEAAABBAAAAQSgAAAAQAAAAIAAAAAEAIAAAAAAAAAAAAAAA

+        AAAAAAAAAAAAAAAAAAAAMiNkAEUwigBHMYoASTOKAEw1igBONooAUDiKAFI5igBVO4oAVzyKAFk+igBb

+        QIoAXkGKAGBDigBiRIoAKh1LAHdTwwKBf/8Ap3X/AK15/wCzff8AtYH/Bl+b/wsguP8KOL7/Aqmd/wDS

+        k/8A2Jb/ANya/wOqsP8Bz6n/AGRGigB3U8MBjnr/Bk6Y/wCtef8As33/BlCV/wwAr/8QAL3/EwDM/w8P

+        2P8Bupz/ANiW/wSir/8HfMH/AOei/wBkRooAd1PDAKNx/wN2iP8HQJ//B0Kg/wwCrv8NALH/WQST/6UJ

+        bf+eCHP/GhzV/wlZyf8HbsP/AOGe/wDko/8AYkaKAHBXwwVplP8AqHX/AK15/wVjmf8NALj/RwOa/x8B

+        t/8PAM7/iweA/y0Ty/8A15b/ANya/wHTo/8Hg8P/AGRGigB3U8MEdYz/BmGd/wCsef8IRav/MgKt/48I

+        d/9EA6b/QQOv/5MIev8xAtH/BKSs/wK8p/8KU9H/Adan/wBkRooAd1PDAKJx/wVql/8ISK3/DCDD/3sG

+        iP95Bon/QQOs/3cGjv+fCXL/MgLS/wd7vf8HesD/AsKp/wDepf8AZEaKAHdTwwKKg/8EeZb/AK15/wde

+        qf8PANf/DwDU/w8A1v8QANz/iQeD/zAOz/8A1pf/ANic/wh0x/8B2af/AGRGigB3U8MAo3H/Bl+o/wR2

+        nf8Dhpb/DwDh/w8A3v9ZBKX/hAeG/6IJb/8hKc//BZqx/wpYz/8Cu6z/AOei/wBkRooAd1PDAKNx/wCo

+        df8GZqj/CFa2/wswzv8QAOj/JgHV/zUCzf8pCNj/BY+x/wWWsv8CvKf/AOKe/wDnov8AZEaKAHdTwwCj

+        cf8AqHX/AK15/wCzff8DkZD/Dwba/xAG7v8PDOD/CkPC/wDSk/8A2Jb/ANya/wDinv8A56L/AGRGigB3

+        U8MAo3H/AKh1/wCtef8As33/ALOC/wKTm/8AqJX/AJWj/wG5mP8A0pP/ANiW/wDcmv8A4p7/AOei/wBk

+        RooAd1PDAKNx/wCodf8ArXn/ALN9/wC4gP8Acaz/AL+J/wCCq/8Aq57/ANKT/wDYlv8A3Jr/AOKe/wDn

+        ov8AZEaKAHdTwwCjcf8AqHX/AK15/wCzff8An47/AHSs/wDCiP8AwY7/AFTD/wDIl/8A2Jb/ANya/wDi

+        nv8A56L/AGRGigB3U8MAo3H/AKh1/wCtef8AaKv/AFG7/wC4h/8Awoj/AMiM/wCvm/8AUcb/AJKw/wDM

+        oP8A4p7/AOei/wBkRooAXECZAH5YywCCW8sAhl3LAHtqywCKZssAk2bLAJdpywCbbMsAn2/LAJZ3ywBq

+        i8sAoHzLAK96ywCzfcsATTZpAACsQQAArEEAAKxBAACsQQAArEEAAKxBAACsQQAArEEAAKxBAACsQQAA

+        rEEAAKxBAACsQQAArEEAAKxBAACsQQ==

+</value>

+  </data>

 </root>
\ No newline at end of file
diff --git a/Source/ModelViewer/ModelViewer.csproj b/Source/ModelViewer/ModelViewer.csproj
index ac06676e..d374851f 100644
--- a/Source/ModelViewer/ModelViewer.csproj
+++ b/Source/ModelViewer/ModelViewer.csproj
@@ -54,6 +54,9 @@
   <PropertyGroup>

     <AssemblyOriginatorKeyFile>..\InterimKey.snk</AssemblyOriginatorKeyFile>

   </PropertyGroup>

+  <PropertyGroup>

+    <ApplicationIcon>bvdicon.ico</ApplicationIcon>

+  </PropertyGroup>

   <ItemGroup>

     <Reference Include="System" />

     <Reference Include="System.Core" />

@@ -79,12 +82,6 @@
     <Compile Include="Namer.cs" />

     <Compile Include="Program.cs" />

     <Compile Include="Properties\AssemblyInfo.cs" />

-    <Compile Include="SearchBox.cs">

-      <SubType>Form</SubType>

-    </Compile>

-    <Compile Include="SearchBox.Designer.cs">

-      <DependentUpon>SearchBox.cs</DependentUpon>

-    </Compile>

     <Compile Include="TreeSkeleton.cs" />

     <Compile Include="VccProvider.cs" />

     <EmbeddedResource Include="Main.resx">

@@ -139,6 +136,9 @@
       <Install>true</Install>

     </BootstrapperPackage>

   </ItemGroup>

+  <ItemGroup>

+    <Content Include="bvdicon.ico" />

+  </ItemGroup>

   <Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />

   <!-- To modify your build process, add your task inside one of the targets below and uncomment it. 

        Other similar extension points exist, see Microsoft.Common.targets.

diff --git a/Source/ModelViewer/SearchBox.Designer.cs b/Source/ModelViewer/SearchBox.Designer.cs
deleted file mode 100644
index cbb7c4a1..00000000
--- a/Source/ModelViewer/SearchBox.Designer.cs
+++ /dev/null
@@ -1,81 +0,0 @@
-namespace Microsoft.Boogie.ModelViewer

-{

-  partial class SearchBox

-  {

-    /// <summary>

-    /// Required designer variable.

-    /// </summary>

-    private System.ComponentModel.IContainer components = null;

-

-    /// <summary>

-    /// Clean up any resources being used.

-    /// </summary>

-    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>

-    protected override void Dispose(bool disposing)

-    {

-      if (disposing && (components != null)) {

-        components.Dispose();

-      }

-      base.Dispose(disposing);

-    }

-

-    #region Windows Form Designer generated code

-

-    /// <summary>

-    /// Required method for Designer support - do not modify

-    /// the contents of this method with the code editor.

-    /// </summary>

-    private void InitializeComponent()

-    {

-      this.textBox1 = new System.Windows.Forms.TextBox();

-      this.listBox1 = new System.Windows.Forms.ListBox();

-      this.SuspendLayout();

-      // 

-      // textBox1

-      // 

-      this.textBox1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)

-                  | System.Windows.Forms.AnchorStyles.Right)));

-      this.textBox1.Location = new System.Drawing.Point(2, 1);

-      this.textBox1.Name = "textBox1";

-      this.textBox1.Size = new System.Drawing.Size(479, 20);

-      this.textBox1.TabIndex = 0;

-      this.textBox1.TextChanged += new System.EventHandler(this.textBox1_TextChanged);

-      this.textBox1.KeyDown += new System.Windows.Forms.KeyEventHandler(this.textBox1_KeyDown);

-      this.textBox1.KeyPress += new System.Windows.Forms.KeyPressEventHandler(this.textBox1_KeyPress);

-      // 

-      // listBox1

-      // 

-      this.listBox1.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)

-                  | System.Windows.Forms.AnchorStyles.Left)

-                  | System.Windows.Forms.AnchorStyles.Right)));

-      this.listBox1.FormattingEnabled = true;

-      this.listBox1.Location = new System.Drawing.Point(2, 27);

-      this.listBox1.Name = "listBox1";

-      this.listBox1.Size = new System.Drawing.Size(479, 498);

-      this.listBox1.TabIndex = 1;

-      this.listBox1.KeyDown += new System.Windows.Forms.KeyEventHandler(this.listBox1_KeyDown);

-      this.listBox1.Click += new System.EventHandler(this.listBox1_Click);

-      // 

-      // SearchBox

-      // 

-      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);

-      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;

-      this.ClientSize = new System.Drawing.Size(483, 527);

-      this.Controls.Add(this.listBox1);

-      this.Controls.Add(this.textBox1);

-      this.Name = "SearchBox";

-      this.ShowIcon = false;

-      this.Text = "Search...";

-      this.TopMost = true;

-      this.FormClosing += new System.Windows.Forms.FormClosingEventHandler(this.SearchBox_FormClosing);

-      this.ResumeLayout(false);

-      this.PerformLayout();

-

-    }

-

-    #endregion

-

-    private System.Windows.Forms.TextBox textBox1;

-    private System.Windows.Forms.ListBox listBox1;

-  }

-}
\ No newline at end of file
diff --git a/Source/ModelViewer/SearchBox.cs b/Source/ModelViewer/SearchBox.cs
deleted file mode 100644
index 0f337ba5..00000000
--- a/Source/ModelViewer/SearchBox.cs
+++ /dev/null
@@ -1,129 +0,0 @@
-using System;

-using System.Collections.Generic;

-using System.ComponentModel;

-using System.Data;

-using System.Drawing;

-using System.Linq;

-using System.Text;

-using System.Windows.Forms;

-

-namespace Microsoft.Boogie.ModelViewer

-{

-  public partial class SearchBox : Form

-  {

-    public SearchBox(Main a)

-    {

-      this.axprof = a;

-      InitializeComponent();

-      this.textBox1.Text = a.SearchText;

-    }

-

-    class NodeText

-    {

-      internal TreeNode n;

-      public NodeText(TreeNode n) { this.n = n; }

-      public override string ToString()

-      {

-        return n.Text;

-      }

-    }

-

-    List<NodeText> nodes = new List<NodeText>();

-    Main axprof;

-

-    private void AddNodes(TreeNodeCollection coll)

-    {

-      foreach (TreeNode n in coll) {

-        nodes.Add(new NodeText(n));

-        if (n.IsExpanded) {

-          AddNodes(n.Nodes);

-        }

-      }

-    }

-

-    public void SetFilter(string s)

-    {

-      axprof.SearchText = this.textBox1.Text;

-      var words0 = s.Split(' ');

-      var words = new List<string>();

-      foreach (var w in words0) if (w != "") words.Add(w.ToLower());

-      var objs = new List<object>();

-      foreach (var n in nodes) {

-        bool wrong = false;

-        string x = n.ToString().ToLower();

-        foreach (var w in words) {

-          if (!x.Contains(w)) { wrong = true; break; }

-        }

-        if (!wrong) objs.Add(n);

-      }

-      listBox1.BeginUpdate();

-      listBox1.Items.Clear();

-      listBox1.Items.AddRange(objs.ToArray());

-      listBox1.EndUpdate();

-    }

-

-    public void Populate(TreeNodeCollection coll)

-    {

-      nodes.Clear();

-      AddNodes(coll);

-      SetFilter(this.textBox1.Text);

-    }

-

-    private void textBox1_TextChanged(object sender, EventArgs e)

-    {

-      SetFilter(textBox1.Text);

-    }

-

-    private void SearchBox_FormClosing(object sender, FormClosingEventArgs e)

-    {

-

-    }

-

-    private void textBox1_KeyPress(object sender, KeyPressEventArgs e)

-    {

-      if (e.KeyChar == (char)13 || e.KeyChar == (char)27)

-        e.Handled = true;

-

-    }

-

-    private void textBox1_KeyDown(object sender, KeyEventArgs e)

-    {

-      if (e.KeyCode == Keys.Down) {

-        listBox1.SelectedIndex = 0;

-        listBox1.Focus();

-        e.Handled = true;

-      } else if (e.KeyCode == Keys.Enter) {

-        Execute(true);

-        e.Handled = true;

-      } else if (e.KeyCode == Keys.Escape) {

-        this.Hide();

-        e.Handled = true;

-      }

-    }

-

-    private void Execute(bool first)

-    {

-      if (listBox1.Items.Count == 0) return;

-

-      NodeText n =

-        (first ? listBox1.Items[0] : listBox1.SelectedItem) as NodeText;

-      if (n != null) {

-        axprof.Activate(n.n);

-        this.Hide();

-      }

-    }

-

-    private void listBox1_Click(object sender, EventArgs e)

-    {

-      Execute(false);

-    }

-

-    private void listBox1_KeyDown(object sender, KeyEventArgs e)

-    {

-      if (e.KeyCode == Keys.Enter) {

-        Execute(false);

-        e.Handled = true;

-      }

-    }

-  }

-}

diff --git a/Source/ModelViewer/bvdicon.ico b/Source/ModelViewer/bvdicon.ico
new file mode 100644
index 00000000..21bc1a9a
--- /dev/null
+++ b/Source/ModelViewer/bvdicon.ico