From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:39737) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gkLlE-0001Ez-Cg for guix-patches@gnu.org; Thu, 17 Jan 2019 23:28:05 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gkLlC-00088w-Nc for guix-patches@gnu.org; Thu, 17 Jan 2019 23:28:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:36191) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gkLlC-00088Q-B1 for guix-patches@gnu.org; Thu, 17 Jan 2019 23:28:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1gkLlC-0002rf-69 for guix-patches@gnu.org; Thu, 17 Jan 2019 23:28:02 -0500 Subject: [bug#34048] [PATCH] gnu: z3: Update to 4.8.4. Resent-Message-ID: From: Amin Bandali References: <87wonaaitq.fsf@aminb.org> <20190112233038.GB16245@jasmine.lan> <87y37pqkfl.fsf@aminb.org> <20190113075225.GC2050@macbook41> <87o98k4mg5.fsf@aminb.org> <20190115164803.20de38ef@scratchpost.org> Date: Thu, 17 Jan 2019 23:27:40 -0500 In-Reply-To: <20190115164803.20de38ef@scratchpost.org> (Danny Milosavljevic's message of "Tue, 15 Jan 2019 16:48:03 +0100") Message-ID: <87va2m7fpf.fsf@aminb.org> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="=-=-=" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Danny Milosavljevic Cc: 34048@debbugs.gnu.org --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi Danny, On 2019-01-15 4:48 PM, Danny Milosavljevic wrote: > Hi, > > I've updated arachne-pnr, icestorm (please make sure to also update this = when > you update arachne-pnr since arachne-pnr tests require icestorm) and yosy= s on > guix master now. > Thanks; I=E2=80=99ll keep your advice about them in mind if I end up changi= ng them in the future. With Danny=E2=80=99s changes the build phase for arachne-pnr passes but the check phase fails on one of the test cases, with or without my z3 4.8.4 update patch. I=E2=80=99ve attached the corresponding logs: - gwa4kkg00rzp96jkqv52fzz4g197q4-arachne-pnr-0.0-2-840bdfdeb.drv.bz2: with z3 4.8.3 (without my patch) - s1lqkz49nlp147m96bnn0d0yl21dgi-arachne-pnr-0.0-2-840bdfdeb.drv.bz2: with z3 4.8.4 (with my patch) A quick glance at the ediff of the two files, I didn=E2=80=99t see anything suggesting that the failure may be due to updating z3 from 4.8.3 to 4.8.4. It might be a good idea to apply the z3 update patch and try resolving arachne-pnr=E2=80=99s test suite failure in a separate issue. Thanks, amin --=-=-= Content-Type: application/x-bzip2 Content-Disposition: attachment; filename=gwa4kkg00rzp96jkqv52fzz4g197q4-arachne-pnr-0.0-2-840bdfdeb.drv.bz2 Content-Transfer-Encoding: base64 QlpoOTFBWSZTWeZKDf8Aq/Lf0X+Rff///7/v3+/////+QAABABAAYDo+91vXCPleC1fJTwOyvjZl 93y77duzvrl8e7Po53niyLrJ5eH0ABn33XxG2gTp56vO917vnauM22bzidaZzctO773eXs4rrtbu 6fXuwAnzedld7FsMnXdu7O67Ond97TpReuOOlcgNdLtyOAnbNKOLJqbXI1HN25Oe5rra27x573LK zmXubo2Ce4uqmtIIpICamxNAmE00nmkTRPTRpTT0kehqaHoQZPUwmmE2k9ASmhMiJiQgqf6U8ptq TU9qeqaeoAAAAABggAAJR6VNSM0U0m0nieqYjIxAGAINGQMhkAADJoYSeqkkIBTZNNT0RoGkaep+ qMgwRiMCADQAABgiUJoTTQmjU09NEnkaVP2ip5J6CAHkgAYgPJPUHqGQCpJAhoAgGgEmBT0p4p5U /CSbU2Ejah5qmhiaNPRAbBUDm+koADBIgCvf4iSRhIQgglJQrqqTTMk2S3s+dQNDHw9F9J9Lnp9O 2Gv7gYim3iyk+MGKNK0a2At2/P4eCE2mTMmYlLnOf51v6KCCO74BQBvAjCMgQdFxxolKUE1rNxkU hsTBZhLsrO20uhUVu6K2XULqsIsisIXg3KEKAoWrulKVFgA0krYdVd3cZ1ipgq9MlrU6zcF5wW+L HuLMZSvMtp5nGMXnDO2KrWtJQ1QY1cvjF3KwmicTOYa6LdCRS1ZWpfWcQz2mwWURGpZNcPGAuoyV BSLmHHMylTdDAN7gBndhgzgZZM7KbCA4gDEF+5f0e79Ner7QpelY4ckoFYlpSNrJQPu7PtHCgyT/ Qe+5ey1x/Thh99NkE02fZlLbP+Bl0N0JCIQkJCIQyTfpek+/TAkwxSKy0Vtv0Yaj/xdywoIdYTnU jmpShaiyqqJf3hPEJ5TmEsEuCYg5VqqeAsSDceEgiBl3U3a0tz0RXSEr/2rByUlirgqnCruqkJ1f OzW0aOkt64L6isrf6d/PBbtt50J7OcojYXObXo2tfRFzardfEAINoxkAGYM223XVvPdTGLMEVFjH hzbXU218nn9aiU2Q2jzZVxtcu6+nW9uiaJJpCm+Gq3iq7FNNGNVM16Ev4BEjTUCJFwTtCYKhEIMJ EDMKipFhEQ/xRCwSpFAn6xKJFSioigJh59UQ/Mgld1FobFCzBA31BKJ7KKFGtEOkwmBMCCDsshxx 7bcT9r1qoEbo4UFhQAbuW7q00dvK6Yn6mwvD5Kds5lXLLCz1SDNVqWnpy9WX1V8ND7kFw3cZImoi B2HIwFNwp/MKf64bhS4p6xT7xTqPYod51weO+IkJCIm9Yb5QbTOaT+QVm7E9ZQdukVyQoXwvigSi IlRsjN5v2yEB6jaO8cVqVMxTEzWGT3dyK9Ec8wDoSMFHmMSRChAnee71+fvoXUV3DvKPn9jafUUW UmYEmEhIBknEws4cLUaT6aLLGSZMJmmcwTKp9J2LdO+QSWAhx3Na1gq8am4MYwytpzIwkAhDAkFW +CFOoaH1jDNTmnkVW6xhOtMmC0CkmawwxhJMCEMMyFQ9NN4JwnuLy8MQOsOklhPnEIiUPDxEwmlJ 9OEKanDSj3Mze51/T57+lyUqlK/Yc0H6ERY/RJDyX+CgSiIbABquCOxUgwGDBIQCJBZEaNKJISIR U/KC3TIq5LYAc0kmlGJFDS8AmUQwwWtUTFMBZKAsXZsqWLFAWBCQESJsIpjd8HdAo1Ab1XVVvc3z ubBUVJJBXmep6vQzNzRwHBoddmWNSZyQkkJJCSQkkJJCQkqSQ3fmjjEwKiplU1Z/j0N/zwovklHI rf4jIqsHCJYRR1qki11pa1ixFHa0WSLhFDSLllRFrFLAn3UR4EBKgthoCUBKUoAMgAxe6AVl+44n W1VNiDTPs7K1FRUkkFdvJ5XBqNzRxG3Q7bMsakzkhJISSEkhJISSEhJUkhu7Y4xMCorx6DjwOsFC J7/xgagLBisVIkAhBIqystaapbZsqktlStMVEqSoKUMMfq6UCdoSgnU7LAfqm7oOwAfQAZefKQH5 LcPh9/6jDGX3iX1iIHMTeCQd3RWuDfBKBOqA6Cb76Rlv8tyqBiz1Y9/89HHsI8iPPo2+rUpSlMbL LqspOldZEMRBe8OyoPLlLKniRkWPqUxBQDwL3PXJ7UDHZh18qLAz49BmVseKunMsHd39j8cdPGyd gS1yaaE5Sa9qzfxcpCpO0jAoP6Z+pZflNVlqiVGUgWGsT+X0GAA0V6su6fR/xq7u7u/+bu7u75u7 u7u7u7u7eqqpqphmZgO8udpjiqi9Oi28eGC4a+zQryNS5yHlu7dcPURZ2VUjabgI3IhU0Za77p1z fBec1N6C7AB1m8QdBlUnpwNEUgDOItRpL5xVycEQ86F5NFjAcPW8+i7Xdnn33YezMJtCcG93puc9 Jsu7owUZibhQiJQiJQiayhEusaqyZOfdzq1Rzcxw2R1IwCYupIp0ONQU5R4btBNOpZ2IL2ohmLeb 1UDG+XCHYHUuXYQhDLaOp0j3TjntWAAx1IEEn12YbG+EnrwhtZ46dXnTDFqbmKNUQsdsTgzTMymV JFIBUCRsFGxhCZoCxKhjRRSaBSiZDJQzIiIGGAIgLKPOBvCC7XJo/7s+3/Hs4Ye/P/Xl2v84CIH5 4iISPsHUifRUT3RT0WAb+h+Qxi9PRz4O39vq+Tw58jxfV5zV7yL629LBjCCRQTcNudvd10jrrnTw F25cQuuXOnSCIdgdklDoxxfF/b9zwu3HV81u2kJBmHf7658OPsevrzernn83Lxel42o3lvSKADAA ERcsXd6uusdddc67wA65zrlcF0ulyboAHdf9Ven3ezt6f3lvfvLejrninv6tJcJiV/+/jzPyat2x LzbIKIQYhIj/SBfic/SWzZ9X5P88ZVdPL5/pLT61Mu1UkKsQAge8+gB5il1FwFOGIOcFJBYDJ9YA 0BPaEVELoSWItCSiP2kWiHKIXEcohcRrXEfD2f44RDziH0xDSRaIHtU8/xqeWpueQfDJ3MVmLe8D yFxLu+M4qri7fLK8q4m2dPeVBcW2KMmcp7mYa0ztiaqCVMvFRA+DE28YiJwZeVU3U+AxsAMH6gw+ CLfoNJb1/V9d6lVEjyQR0O00qUYSfLKuWQUO352P0qc7eoPqCzcNrkF9oAhSEZFG27iKgfaEUA4E QU7P3lEDcG5XJph2mT7z/W2FxJtQtIg+6H1JG3xxgmEa7Qz5RYybDaxxwZG+dre/9eUaltWlcn3I alzcn9T53jX4up5sphvNPe9HnMDlIy3SSSEMRxMH0HmcUqAJd+biRKoOVbHmzCIhOc1gcqQjzkDO EwYaJzMuFlIpqeedBid40gsiyfWYF4uZ7DBqfZHonWOd8PI5pP6wl4SgSlRCMKRagmxRBPjV1R6N smN0JIOkJkCXCuqC4HSApup3hxyphkNIoEhCELIDkCJRQajCxJlJ8/4x2IpSAH9KKHmrVfZsrVdt crXY61c22uKCjBbGsWDbdD3ata+ZXw/Q+suXb9ZDgwVPSKSeEFDm4ZEvYwwoktaVgUJHYSDzyD5E Fs1uxSR6wumbYNFQzFK4nDJmxphDhAbDxtFZZjAZlNisOQOURbQ+LMGXjVYzbhpXkocKMYhgUo0J ogHGMaFlbBEthOUvV7NfHH3PP3Ze3Fe+c5vOXy4jWVilaYZ3lxCVLKAJgzHneht16ZrOde9xuNuJ lNe6S7JLHWXrLmYrKSyksZ7HY9/5b8I7HZ444I+vBXU9Pnv237TFm/O4jlb9d+8QX1thzvJtv2Wu 9w+DvtaMHXeet0ZF357Y65SXd+scbQt+2Szsbc6gjAYFuyTcF3zk5ORzjhdZfPBxEZ6JhViN3jv6 SvHbPX1LfbO+2p3nfZo3jOt4jas51q8Y2zZetobowG4ZPoGbc3x9eYjfvxrbvt/P33oXk+1bznjb jOtcRvvUcds8KdXybHR9h6Hl5erPG/hx3I5h3x4PdF1HhY+YWcvpb7vybIXZBaNMvJEzJClyZkd3 hYHJVM2PVhSN8xAIQCEMeRY515+31548PPlJefT1VRSSqn6Fb1bnBwccai9bpKdzXlzjic8OZjGk lGjGufBvcm3xtu+o23SW8vjffUZ09xeklqXxrhsEHcg79++N1stKFCjjjHbhJcZeqqKSVU/fjuN/ M/HPcj+kXh1JBGK8aooqqgUupnx46Oe6M5EZznnnllnJNiGhchyIcxUEPeCBuQm7TLTDTAwwwwwh e9RSlJGShUYkFA+KUUA3kwJ3c0KqoQQmE6CdZwOUp/KrRR0oimyU7Lvlid+9v6rTgos7VQUh3rYV VkclJgvTzIJEBGEsEAeIjAhkIARBuzESkhRCsiylKWsqURViyl8lyZC0mktvbrePeFd3cLZeftXw e+Ac7tXXQAAAB1t1Xt9odbyVfFfm18q3xNZEZ6PlctfXa7KWn29u1zra1TnfI2VJlenkXs0zPubo XQfNzd6ng7ni8l6nk9BNU1yVA8HkpKbIZa8887tdX3X4atd9pNHxtJZ4qlLSfGJSLKPUYbC6TcpY uyYYlmApLydJCGEUzen2/LX0Z0nqqqqqqqqLvleuSpJKkkqSSpJUKUpQpSlCOXnnSq64SeyC0Ns1 r2+z5tdvAAAAAAAAAAAAAD6v7da23nvNeiVJbyW3VteHgAAgCIAgIgAAAAgAAACAAiAAAAAifXrt 6vTznN676c2+PyGqlk6JEGsyWgbknMk8zv8F/5iXoP4xDuCWRHzdrTofDTqyX6LLrmh6hL4JSiEV kxI/6VP0gD9iOTtCYG4RvEfsJkk1n823YyQyQ0RhMMGYzzLEjBJGlbPDLp2Qk8JKCbtVyCP13yfe giiI6EEbBEKiQJlWQ1UgVDiLpyiIUF+oXATGNjbhULGzCDIwkFD0bKlNZcIYyFuvaIJhmZLsr2/J qcL9JhDF7O3bNka/hoBfG2lkxtxCovyUqUwu0TEBNjtM9KxU3QPm6aWhNCcbIVzNXpw+1tg01IIZ PGlvHeESjMKQslQskspBUkColEVFGFhRqiQfjQQrKfltQ/LX8TWhwNpUcDkHgFtghe/OW+dqkknE vgiAiFqE8BDWw/s9R721kcGb6WQ6SDyv8j1a2mJo7NWYwVub4wqpEAB8swymFOici7Gd6GBi1DTb SF1RUZHvXZlAoSmWxpm0pKMPLFENqj4kKHpxtYJ36YScohUJKhJ19bJ1sNvL0Pyfpe82BgLN+7uK Fi11ef7iqio2WiK3dJZRlZLIoqq2NqthyCqxovhOFzooLz9AiTaSYwmNsBZAOjTzZ3PQ3QfEU3N4 kzNFGzRbZNM/1OzB4DblJ+gJQzm+m658iPnBDagvVMCSBLgoctoZqpwW3Fp9jl23N8pGg17okLNG u3KrjZa3FY0YWvaLV2xCxJASVkfk01Y+rdztdcJ3Khut8L4JcF54UBfVAW0w1N12Wr535oh7cC8v lOp6lEDY+y52kD0U7XAqGWpTZalJyykp15cdVOIcMwE4AnkPTEA7MOoQ84fdpXMgvpCvgqmsICSI PyhC/FOScDN5Y5c3ZARC1Ye13AJb1wCVB7T5lsPZXD3zQv79OGWFJkRQS/9qRZPT1WPQCVfCVrCe hMKGRgF5dLxZW45A98zh9iORBb72CMl95NfnDS7V4ACEmBDK3LJJqsXC4YWv+kcCkuTkZPlIu2VC O2qrZIVidLUhJq9bauGnjpwEcV9NePkIv1Ue7uzd26TVSr9Ee2YBgQJ1cLcA2x3baezBKEy4Ax4E 8+TPtvPqBjx4rQMWHfsfdLnbGCvD3rxrBdfe1zfD3aPu7OuNubZhAzLaEUfFNwqTSgY/PZLHMCeQ LaogaXzyzgLgHl1B5R633ZD1OZ8X0BKiaAOgSasVJaTZ1jhzINWplF+i2ajIUZKZmqzh3TTMq/Ga J5cGJQ0HaW21vC6XAJ1Jc/YF4eCASY9ORikh2XKnaCO51Rz9RYeXfHTeYb9jtvFBNMsoGNAxxmAY 4MsDM5w4MSpcrLSZRZU18+Ez1YW6HC53yINO3LO2xs9dzH3oqmGC/No3aDx8848+OIDtem2+oLiV 3Ds+dOl10ZiafQ1ao8J7bLpvjkpF8UF0laiBE783fWWQN+36Npt811jfR7GxO2IUzS9TS8WbgzfM Ab7+fhg+H0Ots7BCS4pjj3cba1kNMkRuwwSwwfDd3iO17qW+Ub3hDnItaRlZZZaxWBeaiTLm3lSL 9GPfm+PaSC8IVejPHfbi5cM8+Npd8kLpcy4Bri4BXTS6iBVobfnUydHLfxN+OeFoC6m1ELwF1Lm3 GwJoogZWrJHfjhlFMjxDiPsxVmN9cemLsncK7dm4z4Gf1wfZe0O+/xYYOqLXIUTglgVKIGYPT2Ce XiogdBDA8XxAVzBlUQOrGsOw8Ll2MLdrW4JlLOAV+0y32g8/kFz56r3N517GxYRy5Tv9VzHqeSQY 1jVPJYKsej5i7TUFxLRPd7QM62z1raEiEiCQwfeGEgYNBEz1Nu2OlGK4NR3xVWMTjrb5gt/jTeTV M6CjZhhAxCHnHan7VDY4klL2mOjLBYj+HIk/C46I7T2+B7Dw8LN5zPn1ScdKl/XtCGIyYXe99wV4 CHIyAt/Xq4TyNs+6JjJvmvn+Hj5eLW9NSCApSA1LDBFkISQhI2BYCedPHyIemkjRK6bkTMjVNmu2 DXpXX42Y1XR57xSbUTShSlzURte2KH3vu7PHyxBB9besklcu3QMZnnjiV4xN9ajr4s23lgwfEFLb o78G99vH1rgvY0gWU7a+HoF5pz456iNGvV7pdpJOJFmz5TX4HNstJ7K9GPcOOZszhyZIhZddeMg1 0SiqaNEpqfmNkQUa6LJBGbqngjLy+x7GZDJZHoh3prDja8Z12xqtbG6IadcswwCmV76ii2qfII7b Xou+YxgeEDEOdsTK7XdnWjS7iogZxpn7g7fDxE8BOtRA19fpVfN28hPUZKZBxDvKHY8OvMogNLcs JCPZXVrOTKWbmIAw9fudlbtgxrb+Pf79uWto5V1o4wsdLbFOr5tToQch5h9bs4xDMFDIQklCRjJJ JCSSaVt5KQ5oh8yC2NxjpXLAjI1uxDbv03mDfp21XEz74hlqlxhwCBVVArdS1Paogc/m0u8d3Erl ab9MLWw01rzUQOi0BVlz5G2glHkIZgldE9GWb2swhMHfrV82w9yGrGhJ69aSdv1VVLF8QnhNZ4to 9YcTpoMMWkO145DbhNW3dpskS94Zq+NVM9U8xOzVTF6ebYpLk7RQ8nLujK7Kl678MMurrePQTkHB 58+HOfRjErw7cTZyZn5XdW3yCX8AZvnfoZbG2n9pwxJpItYjHCiLOmVXJ+W7blo1aF2i7rYZuW96 BFAdHwNr4V3KXuXuEKdCmk1aiA6+w6m3vhvBPtCfRYJtv0vXLAn0c/pAvEYVCf7WumWVSYEWqIei N65lTq7OhZoZYWVm6JJQHM0ms06eVkc9pFpLsW7ouxFEVFurKlKpb65anR3HlUy6syLEaiKI9hEB L5Exofhdh+c5HUYBxIfg8jI7lVU+x7u+ZD/H7S+fKKSv7xECw/P2frrg+H7fp/KfsnvAB+0AZghb /l/IE0KGx+8Ibn+X3f5fyCbWIJh/n+f94S/+sJYJqcdYQ3tLk/tfgtv1VtsE3JG/W9n+jYENvHF1 LNDeueWp09WzVZnP+8ELQQ5baXhOoJxmvdJVOvNjx1uP/VYJuCZhNvY3XNNcEjfdr5aQmzIJ2/Pl vxCbnJbjrawmsJtSODtPzzBO/vjo/08O7VJGvcr/HpCcWQTi7L2sIcgToL8um6usIXeLUv0aYE4O lj0ATrCFbNoJj233clgTdoxrK7HBHPW3twTk3c9V7VhdsyCYWSLCkCzXp3BDplZSf2yP6dBmP3wT +H45KenxGVCfuOMmkX/AEfaCJAAyeOrZ4TdkwA8vXPw2FNX2dWoT3RAC2gkKr85Brqqt7LXvWiQD MAAJPzffuyImlX49wkS2BKlH8U/gF6JchP2M0SyEuJPsRmX0VkCVUKDMo7hRrKFVbVVVWlu7tVVV VVVVLS3FBsKvxUGkKoCQ/daRERYI/JTC1GkAZAVALMuQcEKWiefgIj4pVEChGz+z96G/o6afYzn7 5G6aw/P9xz/gj+pmf8bSQn66BKCQrBUF8P3bZgRIQQPzGcU3CHWJyEXIeckH+5WK6ia5CaCP2R0e EOo5FSlKLJMUkikwtIpiyYQi4I6rpYCx/UNXeCv8gpkYgA6CWVJGUhrk8wv7uQJkTAlGuctrOES2 a5tkWyw7wP1VI/SEKSQ0JizSMiIUyvcEcB6GcBjJjI4oaIk3YCkRCgYAjUoKenmaKiFfWhdQzX+e 8S5mU9Gy9+1bl27ru622q6QkKrWO1/fnxVlg62hmXSIPvcT6CIx22kiPcXSIOMdReaVS8oxnCcEJ LR23pmfxPbIg7DsOuTDTEMXxNSNgbkSiSiCYIeskJuDqk6yO+RuPP25jR/N8QBDO36KAJ8iu74gr rqUUWgoF4shICPCWQ/KhzAoFXcDi0ii4Foq1VqhKkIXBKjNHjSP3OUieO7JsUUpFKUpNzn9ciDrX vWJqbkuG55SVDHOFAbtYJJQ5ikIXLdOCFOIpMMzPFmITlSF1IHd5mlD4IbZXfvdKlFvj6r47+75t XNrv75KS0RJJZCEEIdopQ3VwWKiGIhfwAXN+4T6SdQTTxWkiUWiWpAoJUianSjXEnAHKFAC5lQON 6hG6iAYR+nslqUSvTruqq4ggCTy1a3lqtq9vzFrVINyVaoSfTayIKkQV8dUSM/kWTakd8sSB1lOD 2SING0b0j/3sRcu0+rOSpPXNf2rL2ADZgIGyAhL+Ahw4AbQqBLSSwJHdi5+9T2hS9cHkSkgtypGC MFPgaJQFbCsXxH44SVIEPKJSr2Zy2t32TJkrJjJixjRDEDI4QHBMHNx4KS78ggFRxFLFQCRnbQVT 6zoleXoKSAELBNAcxTaLlOIjxEYVCfct/N5BDnHfF0n1Rpfa+BokymUkPDgFr2z1il4Cy+4txxS0 KeoTi3hpCwtIII0xqKtrUnt+Y4iajmQcxO6/rpoKBTLOADtrgJ1qEIU9te4aqotUK/iX16W0LjeS ufqVu2002SpLNmxRljYS1RNaSTGRDskkhkQyCrYIJJKQ05oiGNytiWWCXhL5CYxbCxVKpxXOXaYs GDV1Wu6aqym6okFiFEiN90TmhWmkDBqIrJtwS0jgExCahciGpSEwM5LSkoAd9lQCEFXP6zQAQsAZ qPh21FRsRq16m8ou166bVRCkVI1ool9IF+i0mJE2ociQ2v04oFkeeEmoy0QFo7SA3Ui8sCoA1FrV EQ5ncE40XNmR89RzhvkkSWakDSii2SspB+3uamlSOqghuU6uUlnudULSSDZGIsxivvSOOdSOUOhh kmatzU28liYBZKCCQqgttmZsJ11DReILtX+GAK5CEQFLCyADMqNNSPVlPSZEDmXFAu2R57vUO+IL 8V2tSrxKlSpIDCEkkJIh5nOA47dXApavz93XVuz3dXLTNi0bSWS0mxFsUlXvWrxa50ymtZu1OQAA 5Vy25TWRFKfifB4IcefuPgUh3T8Ha/FDOa6pXo5fYJPqTsA7Z6KKrVJkd/rxCGclRX2OB8XfNKPe 8KVJWsJaxf+KLpgPs+1rjWsWxUNfLwaVrwQx8xPiAIYzguak9LjEOpdJ2Ti96lRKpRKVIffzSOVw 6+Aj7Yh33nuLOEnVLxJNDxSnMwXElVVRPc853SlTVUM5oNoi3zuorPn+Ial6ge7yymTyF9EOnjgM JOATkE4eLdvSPluLSJoSIuQZG/hXSoL9Dt7NgYxVFzGuwS4e1NwegadPwD84grF7AZFIBIDAGCHR jF0WDns+B139XBteT2yINEZyM1eCkjSk7pKiWIh2j2RGRckZC/iuDFJBfpQ0mvwCb40vb1tDTATq 39B1uTqjemQSGsrTE4JSXnYfVcufExdjhz2PlLQluk+DwRejMJQ+UshOo2GVpDTTokyjG7P1d8jy QKg+F8iKunSh2GQ8Jt7V0QReO67ZDATYk0M10nQjuMjtOrsDkIWLCo+YBWjLsEP97hpXKpsVYhNU l98iNzkcBJwClSnq69kviX223brscucnLOBISdVarqr0USyJ1pGqXZinLXNnYTYyYavH6MpD4hKC cSfKRxCbHCJZvUcqWUpRallSVxcklcXJJXFySVxcuXuPAQeSg8g5J9+OaqyEjFgkQDUBDqpVJKB0 Pl0xRRJI+cmEl48Tyic1UWB3CaILgN6erjkQuhGIAHYjWqgWC7QBrFjqijSVGQi5rvnH4KIGHQ8j giHP7JEFOtxUpQ9mv2+2fOdufv6SpO7Ud/dIcMpN7petHBjpdhgjA8PgfJ7d8nmYtZ8XdI5LKKjq ItELEUpVXEnwudUEJy24yltxucADnOAABy3WucuO1at8NdutVu65Hm7uupLnXV0a0tqdtuciJHXO 11cuucAACQAAAAAAaaZgAAAAAAAAAAAEgAABMgAAALXntM5HKTq7tci9356NpaEODCRuPaXUfCiY IfNaO3n0TAJ4aC0iDlOUtho2GKfTskeMFI0wQlRIFSoANN/SVUo4FCF/hJ33N1y5c5ckztyQEs7X ACRYekjEuEZ9vt0kg8seqO475EGBxcPQ2tk8BCez0tTLvYJOqmwuPFGXBH0M7sWhGQKlRoUKCJYr 2b6eCqLiXANCxC6cz0dCT2CsWXAa4gjVDCTCLe2T1OxGskm6Cb5FkjNFLLJIPE33PFTROJroZeIm HUqDvvUIuo6HvPcEWgXT0Pad3EJvYyWCWjfI4SZpHrPPj7pPeYTyy0d/bC5Izsh2K2EuUNsjEWSa YkMYoRzRUQ7nTaIZnvmZdEh4ucmyJGzxg+jg/rnWQYKWlpmPZiBxOd9YAMB/O7eJUuwAdtQQlQuX bYXqUrYMXBUu5TiZ0pH1niEGJgGYWgMqkQMEELLAVGnaqSQU9xYuSOW+RG4KXo4R3b3rp1TeSmQY /D0aqhrECKoEAJtlDaf20Wla1aUopJ1EKyBz3ilTgqxUCwsFlKQSkKKkyPI+7R78BwnlIg+hPpEm uOEQ37ITQWBNlrh75QTF04HouGYtI11COc3KIHZs3UCn/MN6kHcIiGiQlpLJ42bobJNgToZyaUMS RoKAHQDAPeyB3BAWKovMv+IeutSsGBBsQOYRkdV7rNghKeKlFNJbI6cE9giIfLw76j3OZob9hFgg wAdVig0OShZlBP2vBchL6CUEvxSJJ3xOMXwsJPROInaZdQnzHfjwrsEH0BIsalKySBERgjEGDESI 4Xa1t9SQYwm0AJrV5Ktb7B3lEYQbCPc0Eaz18+seYGK3FRoKZiCG6ECIJAIlEXNbCUBRzTedvAYH 4roOPkqGAVBMgTgsiwEKhEksWsNSkOcQbbG3anGdqfukqQzaQRLio96VOB4D0Cv08R2jK1kkISSS qqqpSvrkQWSQs1QSL1mwWudiRWRYSdUiZ7GTOotVBDotZfYL+dVc6brSXOlfKpRiL++XnESavgh3 H0nf7njw8siHfgoG06IDiu8XXvQWQhAAwCJwAB1ikxMvtkoNHMrBgJHFrXY45IiDIkkkISCOiBHq 5gqnep5AfD2ZbXx/S975a5fwdeoQAAXhqd8k9flr537q3rQANYA1LAAyAHZfkpWBF3UCVMyQbO3e iIXJg4SaFIkuk46YDq/DNof7K/PgEskk1uuXSE3jaj5G9Q19HvQOsKg7t69LsAvWMikhrPvmKIWo L3NSnhgnYFfqdSyn7LDV0K1EDvJBnUyiezQiGIe07E56JmJibaqfFU5eVQUzIdEi0UmFUrhUsQay g0AGkAGCQAaUFtFcgJYYHAGB8e80GTA1MKhCsSSd0sVy6QKhZZ0HU0Uh2yL8YZLJo1BIVITsB87O GKJD1kubESFkyfLUhQUqcFUWohSLNhKArYBCIkQqQJUKTzQk0UdNQ+/9VylwSxLzINQg1E+wFgJi 8Vn2Dc+HGlsEYEpBwkwi9ZPHTLLOY6EgycvpMTtK+9G/lS4iFugc3gDqoLyE8EU9Q5pAgQIsCwAN gAyXxEZgBpLsbi1U+EImVACMWDiYu9ECylQNiJpHBQfUGT10Jt0woi+0LEjD6p6na81CpCqkhEOy AKzunBPg+kL7okx0ka+/25wmglDEmilYqK56GFqciFTPljRlSYU4dybwimIVDcfv1W/pqt+Sq35b cZTKlMbNSpsqEkstcqt+Sq38etdVtdublc5SjWBLSaSzUinv3yTDkIPoc+2xgvyHtqTzut+d74lv dmEqJUzTvIUBwrUAboAySSQmSbCgJcgwgoqIoyhayoFKJKIqElP0mL5qIG3fwe3xUQNwnv4cLc1w iy64zqd4dBJIkktLSSS0tJJLS0kktLSSS0tJJKYGCBhBNBSpz9AoKB0JvFJhN/gKslO6TkwSPkwH 4FvFWaYJSKRSKiKkYfsSKk1xCkoilIlCGYYPeSCR8Q0VCk5gvkpkUTW68IUYSYvDefBOutTA6QTu k8u/WdD+lIrJSlUUpKpMplMplJRTKZTKZTKZSRSRSSnt58Fa3qrb9kSHOB5w6yKUWCiVUR3Kb1os KikFOowyM9ARW4hyyUHtOhZAUup0ySLQHzlRDpOjhOEx9T7fuwByfQh6SdtQm5h43JIr67C0mDNc qohZUQx1sMqLQOw4C44pJkqgWMKvbTLZddgF8RLv5CwRWSxaGpkMmgiLZsswNkqR2Hccd4ucu0OX O/pxw5NuiIWq7u6uqRFEQQW1zy3VutVt2rbx1i4A0qLYlFiAEWI5oUUR1+qij2RKSL5DBZI13IuC WRQS0pSqZCEkUopQRxAGog1UHZssCsogtCq2KJLm5AQ/ojzLniIoRQQ3Fr7qD10UovQngVValSEI BCEIMgNff25zaxtFRqo2sbWkkVKnHhPpkkSZjNgN7ySXpwUEwQlrJMkmIJmcuUik3sAmOUkgpST4 yYLuuTcahPRTTiURJNApCxpJeiS7yiHVH43RE9HOzxyhrSo4UsptCYSZpxpssCWi4jwSiIXUu6W8 cW1Na+OACAACAEAIAAIALJNq3lXjtTATlq2CitgmkU5IsvcbR9QbSpHQclxVL2S91XeRQe4oZpuA XATJADJeI1KNl5+zI4G445iinJWICPZgYLwDx19eIK5oy/lEcUxBc0OUQ7SIUgAcgkDYjp3hQrtJ 73ATYFm7mp7GYzkdeeIsMzN2JV5/LDl1z31dEHqcXWin5Zw/D8muRA8Uq09aIa28mCN+sU0MJroj env9/GYTPzdjT37jyORximUQ1aUYoSTdI9/l2nunV0BcDgGUMgmKK2T3icCmvt7SUo2Bi0RERImJ NDgnjhOlDynHqQ7jSjWGWHtLsTQo3S7t8HrrMDB0HbIgykQao9iCT6z0NvJRA49wV3DtmXUtgqh7 SFowhCSEhSob54m3hOM0nQbb3FrfUziJ/OdB9Z4u6PpUZAuDKNYYeJ3l2Y+7i843CcUNoEBgEjVu 3HcZxNqpDxdVnVviaC92zsLT3Po7yiXxJ7pHI1Ix67zejXI4S/se+RXohXQyFdZJdAhv5Bplp6Ca DucgXh3gs9xZ73tbn+z/Zzz+z+4u5IpwoSHMlBv+ --=-=-= Content-Type: application/x-bzip2 Content-Disposition: attachment; filename=s1lqkz49nlp147m96bnn0d0yl21dgi-arachne-pnr-0.0-2-840bdfdeb.drv.bz2 Content-Transfer-Encoding: base64 QlpoOTFBWSZTWUEp/70Aq/Df0X+Rff///7/v3+/////+QAABABAAYDn81xid3wgqZ808DKdtSebv al927fbp8e7e+2898vnuA5U+c9QBQfep3mde7QJ9H3u3nu+t5aiptnX1tndXc5s7ve93zc77Mvee Xvbq77sgBXy5dV2xdg0rptjNjVu7QdBumOlWwBS2kZ0MadFVTRoOM1sKtldVpSrOdpipHaO7u22Y S1XqgNYSSCI2hMkxNkp5D0JT9Q9KZPUHqaGjTQ0AANGgyBoNNEwhNCgptU/KbIyib1R6g0AA0AAA AAAASCgiieppMjTNU0abSP1TyagADRoGgBoAAAAJPVSSIAEp7QnoCnqeU8U9TynqaAGQaAA0AAAA RSEyI00CaTwUwaIJ6qfkxFM1DRpoep6ahoaHqbQj1PUDBUkgRoAIA0QNAmVP0lPyaCjaGiaBmRGm j0mjEDx22q+9vpcqrLTVW2+D5LQyJMxKShXVUmmZM2Le579VmQd/ifIeSjx8sOk+4A7QmWkQVdw8 C5ki+AAEt3d8JtMmZMxKR/jW/lolrdO4IAv1MGmNNgxdaW9xEkEdK++YFA6QyMzBsXW44NEkJI2h dGqNLLSbSTGaYtEGQEgxe+5KJMAUbuw7NbmZarvFmETdCb3tepYTTiVeQstIeiZqyXW1nd5p0VHi L3uSyQwe82V3mbFyjWe1qZJgSpBIg3kRey3p2RZKOJEBmvZCksrOBMNQhjTN4sIcYb0uwQC7QBSI QcZE+DnCR1DBbAE0CX8kvz+3/C+p+8JqVrPrIgVow41CCHB5s3lFFwmZvyF2piaCT5/0jHzuoYRK j88TQo/gzv1edE1Iial4dejyd/H+/k7o7u+2qy0Vt0X5n/i7lBDsCeFSPBSlC1FlVUTV4hPIJ5zw CWCXBMQmi66SOiSopMU31SINHfbbstf3akC3/er3JSWKuCqcKu66QnX9LNTRo6i3swX1BKJ/DG2V W7beVCe5zlEbC5za9e1r4xc2q3XsAEG0YyADMGbW3yLdW89yYxZgiosY8PNtdTbX5Xn9aiU2Q2jz bu5V02udJ4a3vaJokmkKb71VvDV3JeJWNVNa9CX8AiRpqBEi4J3EYSSmpZGq8VdW2mya1f1a1cqs kUCfzCUSKlFRFATD1dch/VCLttpLM5C+Ug3XEWjytIWl1oelyOA8ECBaaGW7dsq3HlXKkkA17a4l BEAvwvlmjswreQkqDIHYkbIFKVLraOhwWT50pt+HRT0YrJHmQLdlsiITQIgdRuLhTIU/rFPvuyFK im8U/AU1nYoczbA7NMIkEQQiaVg5Sg4HFzf+TQ7/c+LB5c0k01Ibqk+UFqqrYZ1K3N2MQQDrMR0j ZZkzAUsYLBe8EV5I33gHEiGBR3jCRCEiAjmdPR4+UiqkWtOUqM9Hylzzbo2aaQNobGwE3BofGoG3 eXOVdmxNpoaWMcUxh6nLiNxycA28hYSHPPOTW8843TOcp7WOMCGwGMQNhrcyV45qs5zlLUOZgetx 5y4+U0G2DwYxrKEZbaBjEJMeiaWN5MZc3d8SopHmNt5c4zWXDJZbitYbnMK1jWMrDPKkdh2v3vZ8 HN7FVVUpVftPBB9yIsfdJDzX9FEWiGYS6GETOSKSiUlIpQqKiNiUkQ2NoGkj7YJaRwVcJYAF1iAa UYkUNLoEyiF6kmKXi0WJKkzzuXr1iSilURFRmqRjjOkzEZgyJklk2W7HjnOHOcPe945zte7hvkTz ZzRM6liEaHHXbS20ttLbS20ttLS1W2nH37M5uVrWWtZfLs9X93py6iK5o4zl2r0mDsWWEUPXGkiW KSBAQw8pxBIoCGCjS3xIkuqReR/C0Teoi4kvSxFiLWsEqglQ76S6u9xcpnCZwltPPndctay1rLbS Sdvq+Xx9RvXkO3U7WYz1Q67aW2ltpbaW2ltpaWq2047bM5uSSEk8AHgaPECRNfP+hV5qtlm2baaV JaKsrLWmqW2bKpLZUrTU1m1QUoYY/bqQJ3BKCdbtsE/lu9VPEAusATu9g4Dx1W+t7XiLdzvYHeQQ gNojUCGOfyVvg5QSgTPAeQnLTUZcvdxVQPFfArz+UBx7SPMj1c9vsZqUpTGyy6rKTqXXxDJAXmHV MHduiip3EMQsPWpYFANZbObqOyiNcWr4Y5DRx3Gi+s3GssbNEN9n+9+nHTxsnaEtcmmhOUmvas38 XKQqTuI4MH+nHVJb7Ddm0KJYxIFhvE/5+o1gDdfux402/9YWta1rW/GZmZmd5mZmZmZmZmViIi0R ZkREAHpEDsEyiJCWrUlDnsilGrZIfnKiYziz18tUdAyUE6dxcXgRxRCzdjfpyour4r0nXSgu8Aes 5CDtMWL8eDlWIS9EmTm3XpJNPSIXriZWLwWdEA2vk+ijU+OEgBVACsMhqFkL8ZUzMiIjrIbEQhBE IQRCHeEQg1puC2eQTsG3OPsi8J4OaRTi31EjlU269SNW6SNiC7kQwFrHFVAtW/lB1BrW/qIIIL8U 2PCp31x065KBKmxRSK++zDY3wk9nCG1qx05+qmGLNuYoziFjuiWqqlRUqVKGVJFIBUCRsFGxhCZo CxKhjRRSaBSiZDJQzAsyorxx7zCyAxXoco/hR/Xu9rXb38v/YbF6GBmD62QhAzLYOghPdMTpCnsW ANPI+ktC8spbqf6bOlpdIv8ZSS9KL6N6mDGEEigm4bc7fXaxu2V7bZiEY2ywldYWxBE27GH1Op8O 5WO2uJ3jKXIJAplX9h3lT7/W23SutlFdBu1G8l6hQAYAAiLlmzPhtTdtl022223ZLAjbKysg1WzM zMzM0T0AW93RC3wMKPIpFcHZJZisRuJvN8Fi7FPfpRUXOCLIEzIZvjYS9c29btOnxeP4tzp9/V7P vFR5EmPBUkKsQAgfA+oB6ClVFuFNVgmmkiqSUSq/kCWI9pFRC6EliLQkoj+ci0Q5RC4jlELiNa4T 2dP23Ih3Ih7kQwBJIh6Ipl9cUyauWQSdCqh4ppWXC2AlrKqvTxEtMrSGaMtaUUrNFhLSjwKFUVm1 mSSio9ohhY2srQzBXD2lbm3GTiYesb1j1BHUAIPpiD0CJ6Q5Ceb7PzcFKqJHmgjm7jTVVRhJ89F2 jQWdn0lT75Hdf1n7C+YmuaDHWELUqVUiX7eKSD+8qQN6oSOv9MiDabZHJph3GT8j/Y2FxJtQtIg/ GH2SNvljBMI12hq5RYybDaxxwZHjO9vf6ecZrZ6Vyfihmubk/lfS8a/N1vWymG809HseuYHKRltq qqqUyTJhPinc4xcEYz1cVRdCaLr3ulyIhe90lJikI+MgaBMNe2hqXXmqKaDvwkMJzGUCxCxH5y4r C4HYXMz7oeSbRwoh2hqE9IfWAmASgSlSCMaRagm1SQT5VdCd5pWs0FQNwA2ABmCuSC3HKFRXicsr X5JapBVKUpfBMiItIS5KXlVlVV+CcYkfWg/piQ1kH4pRFdtcrXY61c22uKCjBbGsWDbdD675mrWv TXv/H9C5dvpVu7LbX0khv2WJB8JZ4HrBnMTeMNDG4hsOeAnAw2luI02esGUuoOTNSMvVxlNLPDIF DAVrtFIgmCCCacpEwoYKJDUjK8hxStiH43A5e+DRA0ZzUDwzkatCCM8j4fUFwjlRB6/Rf2393t7q WVBnNVU1S0oIvRdFVUVkzbsDBGIQABnGQvl7fdtdth5HjfeVFm2ySdiS/FLFKKaKJNEl62Gw9Px1 0RsNlbWg3m4ji3C1ztnazSM75BG5zxzyzCeMOo5sMZ2N+ZZXHOJIccc24yRQPO+z8bknleH1hjna hI2GN7sGcBwcoSmhM70NxuFGtHilrQ0zVwLMYdsq3PlY9OK4+Gc4rOL2zbOEbLVfLNiKq95d8VIm +GTgOBkCh6giZGX86Zs86vjnH4ucwD1LiM2rWNVe+mzmG1tWja87jA4HyB4jq6uutZ6Ncht2VX6F mBMN0SFpjVLc5yu4wQdiG2cp+JmMYK8QxjBJK8kMPSWfVy8C9wYAggAghB1CQo47ez2q10du5J7e FiIaCTELwDKxKjQ0Nau03ySbZF+rd9WrSime5Ja4e+/QncUy+MrdsZJObK+c3arrLTck3sr30jhh yGHPPL5ODcsWLa0+2iTqliIaCTELtwnJT8La35DfkB6OLBgzx0xAgREMDZTa3Trgb8kVQIqr3vVX JOEBImGM4xcJIEG8EBWgauWKUZRIxjGLE010ha1VKqy5Kikg+cWkDcuI5e2GU7IEHQI3iOU1mDoT ckN0Gjj7b4p/TO9lTYWaHK0os7lQUh4rYVVkclJgvT1Ll6hdhVYLhxUwUlKClzVIuvqqVEKyLKGM kGmCHAgzCVFsCJcjEvIhcpbru7hbLzdq9ftgHO7V10AAAAdbdV73vB1vHV7L9/X1L2PtVuTSVK3f OrI/KSyyX0UiqkQVbFSSyeZtak1H4t0LoPo8Do6O95vUweZ6xM5rkqAGs5hhMVCCaUpUUwIPhTKe DksXbck42DJh0nyiUiyj2DDYXSblLF2Ui+QY1XK1EghARCJ4+HVf1VcrEREREREQBAIHWCCACElS SVJJUklSSVKlKEcvVqpVdkJPbBaG2RHb19hflVVVAAAAAAAAAAAAPm/PrW2815bzypLeO26trweA ABAEQBARAAAABAAAAEABEAAAABE+2u3ternOb275Jt8PjNS5b29rVeWsloG5J4EnmePRf+8S9B+6 Id4SyI+juadD46c8l+iy65oewJfCMYhWhcs/sVP8gB/Wjh2BMHIR0iP6xsLiHvy0FhGSGiMJhg1D VqLEjBJGlbVhls2Qk6IoJbTcgj+a+H5IIpCTNSJeVC5FFZXVTXIouOCTPnUQsk/YkwRlSwd7NDB1 ZYm0xsSDzrCSJ0xAqOA3H4wQLMiITsZw7WPzkBCCLqmZkNt8tQBE2xZBNuYTR+ZSZK6rIbAJmcTD POGKWqEr7VaM4VcFwGumNb5gdvVk5WmFTl5a5NjYwbTwpCyVCySykFSQKiURUUYWFrx621X6vg36 21D9XxNSHA2FRwPeatCGyfnavtxkWi8mUEQEQvqENyVw3bTi5sJAvcwSiIDZb0bcJQfCYqU2J8Sa RKMUgA7LBOeJG1HOV4QW0tMGw10VDKxYvOi5r4CREr8zLBlKJMHvsiGKkp8eHqvCfHTCTlEKhJUJ OzsZOxht5esPrHunyA6BkGeJt2QGSL5/m+ZJJCSEY4QkjagxGGVlkJJJIyOSRh4RLOn67stqiG5+ 5EXc1zhc7qM6Jy5+2Xzjg21+CRxdIk1vgNF8tDg/xm+49IGVl8wBgDO6oNM3zI+kQ7oSariLEbTC a9hvyvJNnumPzceGTplILwx0ooSL8ZbYmGiU57CYX0lQvlHBEJAsAkTiH5mWhh68uFKrdHFUMqeu tyVBeF0gXrgFpF2gyqxSfjXgiHhcVit8a3WojOeWLsUfKR2TBcaNi2d9rV1aKq3LRx2SOJv0gJqB PcPl4gHPX6sVD5/fwEm9a7EF+UK+ySR2lFohPyqHD0j2xm4fXu+Rx6UVUmXHlPARs7aIyHofQth7 a4fGaF/TThlhSZEUAse+JEF7XmIecB1fDdrH5x5hwZDT0jTTE6jejfB9yN6C5ZMEX5ZE8tYbXevM ARaUhrnSSyTOxcLhha/6jgUlycjJ85F2yoR3VVbJCsTqZoSZ+22fDTx04COKDFM3MAiFDG6/Gq62 apIetbLlaIRGBrbIWBTU217b4srLeRwX7OUtpzv5kcdeOkjI3a3myvw7iOfSeiHEx7N40sQR53U6 vvKICAiHdiIHrKarGpfRH3yM5vI+pJskQc59td4k4HvONIcW4LqoMFavVXWCJx7AdIOU+9IdnLtI su0Yej0Ip469M9w94ZJx4eLMi17GNl8EKlHHqGtUnhuvgXyLen3G4+NCqjYjCqmyrtNy7c2+xt9G Ry34bp3GrW16rsS/GVoojSRs0XEbGiElmywJSKSK3mAWSRDjy1ufNdLqNczmogYZWzy0FW3ITHBC Ce5PknmW7FG6qp4Uz41RvCd8GLApxY4RGnSXznTa23R7KaM2U77hfagt20sogRc+XleVYXYIvv9u 8lXCWM0KMKIvaEJm5FBz5yOYEuAAvxbvcd/gpxWAGJOoQa7tYvegLoSGygQCyBAO/NrXXa8tVXz5 RvdIeEi1pGVlllrFYF4zJMvybypF+jHpqfLvJBeEK1Y77cXLhqz42l35PMQo2MNYaL24J441UQJs jT71L3Fv1bTVbC5F0GKIXQC6C7G+gJnUQL6TiIdVrr4RBQ6gNN77xIfN9e48yLZAjbZNV0CvUAuD 8IDHightv1zQwvI0Gk4SIN5+H1+MiD0Q3vdPiJJvNciDP7aDwfDZHZKH07JNpdI7tXQMfExqIX8A nhfjm1K+bQozg+txM52+eD8zoEARjuwrKhQJsPN8hcTQC2KQnj4AYTphonSCIQbQNiD5IhsEHIXG OzG4s9juddDm+DOtXHGO32ALt65TrSbWuBAwgQEBAxC2faF2hkfVhY12mOjLB5lxH9fUSfC4649P M8fa3HgfTqk4conXwghgiL8vg+8Mbd4hzMAXL0bfTSRwpxiZhymfB4PFy8Ot6qkEBSkBqWGpsSEj dq2Vr5+fJ+TL6fIbmuvJ59aaiM5s12wa9K6/GzGq5+reKTaiaUKUufdi1s1l5C7T0Kit4uwYeadg sLHhU5AQVbjWrHqa08XbjwRMdbhx7wBsmSOdDM7dPoOhOBcgGiqX7/ECgYZ9mfMCX45vWzwBdgJI 0ebj0DmaJL2R3leIc9ioyhgnIQUV15BODRFzTvbkc+biaWYjojQ4GqYhWDUtvW2R2IhCE3CyGVZS gN8y9Y094v8XI0RZHxyiBABax8IaBSTb2gG1mbiZ4Z3CsQEE3Cli+rPThOTKrZRAw8ZM83qDj3bV EDHZJcHDadqlQ0hzJGt0arySAypsuiCHXPFnGxiVkgSAAhHZ7qYaEsBLW+Dj3tq1YpTaVHcvwcPC nwefwO3ileevo92uZa62rvskCMwVVKqqrVd65GDriHlCS9tX5ar9GJGBrdiG3fpvMG/TtquJqd0Q yzlxhwCF0kgfMkQwSEBr1yisteUfjg2SUYQjKp9yQgN6UQnpy41VEc3qCBqmfCT+6niB4dOhI4ip C3eIJIk9/Yknd9qqli+ITpPJ8TsR5vh1N/unSeWk46rOjsOMiXwDjbttWlqTKM7TKy8WhKKkcxQ4 NdxQthhDcO9dKd+k7e3CjPYgex3vi0jIq3nMxKeYX22knyy9zRMM9NubZCTSRaxGOFEWcZVWngyV z4qMQ/E/MRkcmkRac4NMF4b13BHAvXCVqTA4zdsQy6pHW7Oxtsd53+bbN+XwtOIT8AW5wArISKZ4 gtuvqEAQARFhC8hUxPOyUQSUIh4CZEw38dxIsVukRuVQO3Ezl9/Kh3REGyRsISDZCQhIQkbgxjZP vlqc/A9dTLr1EWIzIojwIojHQrKx8XMfqOo9BcGwg+fwLziqqn3PHnF4/8fiaaYiktPrEQMx9vP/ a+D4/7/m+w+6mkAH8QBmAIS/z/ACaFDY/4hDc/x/P/j/6CbWIJh/l+/+8Jf/tCWCZuOsIb2lyf2v 0Lb8622Cbkjfre3/NsCG3ji61mhvXPPN1dezOzVP8IIWghy20vCdYTjNe6Sqdmpjx1uP9ywTcE1B Nva3XNNcEjfdr5aQmzIJ3fTlvxCbnJbjrawmsJtSODuP36gTx8Y5/59O/OSNe5X8OoJxZBOLtvaw hyBOZfl1XV2BC7yZr9GmBODqY8wJ2BCtm0Ex7r7uSwJu0Y1ldjgjw1t7cE5N3hnezwu2ZBMLJFhS BZr07gh1SspP7ZH+nolz/Cl/w/PJT5fQMrk+87ZNRf5QR8wRIAGT27t/rnzmE9nxv6drHL+3V1I/ iqhJsIoD89UqkuKt7lr02iQDMAAJP4PwXZETSr8W4SJbAklfjt/PUvRLkJ+1qRLIS4k/MjUXxLyy S4g6xHvCO8IkkkckkkkkUjbckkkkkkkkkkg4OZQdBP4EHIJAQX/Og231ET9EjhsiYhLDISXSaU4Q paJ6uggntGIBAIATR+n9AfaIbuvyEkfzh9BoftU4TaH9mo6f2I0v6EbD+u6SE/bQJQSEbFQX2/fx mCJCCB+k2inIQ5CcBPEUmb2SQblZLqJskiaSP2x1eUOw5lSpJZJikkUmFpFMWghgghbkclz0AofY M3UCv6BS8sADqReqSMpDXJwC/v5AmRMCUa5y2tUIltS5tkWywx8QP2VI/WEKSQ0pk1JGgiFNF7gj gPWa4DGTGRxQ0Ium4UhEJB21BGhMU9viYqiE+CFUg6kvynDImmD7EmeIQKGMmakkBWN0pVVVbB3v 79XJWWDtaGoukQe5yOJEY7bSRHoXSIOMdZeaVS8oxnCcEJLR3XpqP3HpIg7TtOyTDTEMWlGsNqJR JRBL0PXJCbQ6pOsjwkbTz92oap/V9Ahpv/dYR8l3xJJr1rSJLJBhCxBEAjqiiH9KG8CQTMoyBvZQ otS6pJKq1QlSELglR0/ocZE6fLdk2qKUilKUm54ffIg7F72RNTclw3POSo92wXsqHLmCSUOgpCGl dNAQt4ikxm0izEJ1UhdSBpNCHxQ2S8t03OaiW+Pqvhvx+5Vza7++SktESSWKUpCnWkWbLsJKkiGS HiJNM/gj7J1BNG1aSJRaJakCglSJpc0alKADnC4BdSoHZkocLoBhH83KW5RK9Wu7VVxBIAeSrW8l VtXu+i2F11SDclWqEn1tZEFSIK+WqJGv5lk3pHhLEgdpTi9JEGjcOCR/72Iuk1v2aaq5XbWz7Xyd QS+UQZ0QrHoh3a9YHWF4JkSWBI9vi7fWp5hV3we4lJBdKpDAjAp6zOkgVoKwvcPndETICDVGuVe5 nLa3fZMmSsmMmLGqpVSqSzpR0jhN/n0kW3nvzQNDzSNUkCzCfdtJJH9L3xp2e9IsENSOZ7kjvSbH qI80D8GP8XqCHjHSLpPtGl9nyNEbTUkPZi9s7CmQC85/+mjxTEK5hLOYO4TkZrlKVyrmy7Zxj6fV 5I5tansR5buv1YMEjRQAHRO4TqUIIJd8+AzVRZoT+K789M532vHXPnrdtppslSWaVMxlm0hvnRjX LbRwMibbYmVMNbQUwYNUl+pEQxuVsSywS8JfITGLYWKqLiucu0xYMGrqtd0ttpTS4qILEKJEWidv ghbTSBgzIrJtwS0jiExCZi5EM1ITA1SWlJQTdfJApSSTT/I1BC8NMie/uuSQbEZ6828ou166bVRC kVI1ool9IF+i0mJE2ociQ2v14oFkerCTMFr4BZOJANVIXdcTAGYs5oiHI5lcbLmzI+uZ0hvkkSWZ oGlFFslZSD+fvZtKkddBDcp18pLPe64WkkGyMRZjFfnSOOqpHKHNhkmpW5m28liYBZKKRS6El+el mrlcapOJJrk/10JJoQqCRmzoN8kTHKJq1vwuiD3NrBJ97l93s9y3oatvq28u6ut7V1dXUVkgQQdx I2248UjbYMQfpzaLD9NIIaaTWjaSyWk2Itikq9Nq8OudMprWbtTkAAOVctuUyUpFKfrPR0Q4+HxS O6fpdr4I+yGqa6pXrcvvEn2TtA7p61FVqk69B4+zkENclRX0cj5PGZo+DpSpK2BLWKlw+35mqNWm N6odff6mq36kOnYHIT4gCHS4F+qxkdAzvxk7pye9SolUolKkPy6JHO4d3ER/qiHS85lnCTrl4kmh 5pTwMFxJVVUT3vjR6ks2sNDacBF00dxefEOpewM4Pb54mHmSetC4XSbgnEJu8n59yRrKkTJIkbBY xynmmC+Tn2ZgtCqLgM8yngmgPWGfl9lvrtW2bfDWNpUVlWWr2ZtdZYNXwPH8fjvbXrfCRB70aY1y NavNSRsSeElRLEQ7x74jIuSMhfyXBikgvzQ5mZ5BOUaXw8WhpgJo38Ue07nN2xvTQEhsKzicEpLz 6I+1y57jF3uPlsfdLQlvFHAyPF2mKNYShjNVyE6zYabSGqnOTRGN2z2vCR5IFQfK+RFXTqQ0naaB vm3tXRBF4tsheJsSaGpdJzR8Mnkz8T3IZyVJE+waIlutD/ltTGTXI7JFiEzkvvkRucjzEnAKVl8t 73m3bW7W23brscucnLOBISdRBcNoSyJ2pGcu1CnLXNnYTYyYZ+PvykPmEoJxJ90jiE2OESzeo5Us SVxcklcXJJXFySVxclBASgkSP4j0iDuUHcG5PwtgqsQRDCwioGwIddKpJQOb6dUUUSSOkbloB6g7 VPmVRYHiJtgyA5J39uCGUIxAA70b1UDMLwAG8WM8XdRYwIyb9OWCfmkQcPR5nEDw+MiCnY5KUoe3 09J90258z4Sd+lJ5nTwQyk7Ub3Wm9pWOnxPo9N0nqMXZI4PkoqOoi0QsRSiquJvp6uqCE5bcZS24 3OABznAAA5brXOXHatW+Ku3Wq3dcg8PrpC2lbQhiQPCUg2NjG7MV2WAAAkAAAAAAGmmYAAAAAAAA AAABIAAATIAAAC1rQzkcJO7hIueOe7RtLoQ9XBlI3nYXUfGiYofRaOvu6pgE8eOkukQc5zluKMs9 546E+u+R50kVLYwq5FFy4Etx8aukWWSDNdzeiKwhIQY08QY222MTwR1VVVUpSw9UjEuEbPDs0kg8 se6PUeUiDm4+s2tm0p2CE9nztTR5MEnXTYXGOsTxM86siGICZMZEiQiUJ9W2XYqi2KhmvQ53z2ua T3CsWW8a4gjOGEmEW9JPIzJJtgm6RZIzRSyySDbZ4SNMb2rSyv2yQmvC4qTUmbo9hUljGHQ6B16g B0lVkAMk0qalzinB56/UtHjW2/shckZ2Q61eSNhL1DbIyFkmcSFkhFDuOqSIZw9TnCaKHQ4ycIke j2wfVzf7r5LG+RsbG58faPJ7N2gEo/y296MpOwHhYISwuO/MaVKrmGMgsvFTsNiVHkGYetvNyTA1 yKpKUqS29JEp2qkkFPYWLkjjvkRuCl6OEd2/oV56+Nb1W0novDEkHfaAaSQDAH0cOh+SJS2qSJDr ipdVHbuSLnCSSpIL0lJJSkEpCipMj8cvbeN06SIOSfMSaj6RDdrhNBYE12uH1lBMXPA821LmxXVk icDiogc+NBT9UOSkHaIiFlBksh7JGUNcmsJyZyaUMSRoKBOJKJ6SxPQozkkSex7UfgfDRI0EpCZw fQrTOrdOt2oWvrKRI5tlnr6R8kRD6dPG5O+aWpuzVJSEoJskqQlnVIXyUE/ndFyEvoJQS/FIknjE 4xfC9FfKO9HbeH474O/0deK1b6q02bq50EREYIxBgxEiOF2tbfLIMYTaAE1q96rW+2+G5rJbta3J kIzjfx2jwAstRUZCmAghlBAQgkAQkkXBaCSBRwTib9QwHyqg272QwLiNBG+SqkohcRJLFrDNRDmi BlIMsh2PEf7FhQzmeBEqKj6U6vTfFb4K6+72reWzroJAAk+7a1LJIWZwSL1mwWudqRWRYSdciatj JqqLVQQ52svsF/hVXOq60lzqXyqUYi/T4zA4iTV8UO8+p4+bx+uiHv4SDtekE90nek6++ElkKCUR HiCdaRc62+vm1bu+W8NZXL4t4dvd3zeIWNAkImqCp2ce0kkeMj1D4eWnZM+nD5Fn7LuVVSgABeDU 75J6/JXv/f29G33d9VvFUN6wAMgB46s1lgRedwljEFAy5axIhcmDjJoUiS6TlpgO39GpofyV+/gE skk1u2XSE3jaj5m9Q19XwQ7TIt7Oknv26w0rGCkhwPyHkiGhBfBsp3605hf4O5ZX+Obq+rrRpkQf Bykcoh7j1ucducfc12ke4kjx+1QSOBnsIaUSHmouaYGKuCgCWoJSKCWskvqSy4viFghbDceAODIt Iehj2NtyN6KVIAaCEPEHU06bId0jDKGhZNOQSFSE9x2g+txssIodFmZCKGQTHA88RJCkzWqjLkLV JWpVoSXiFQlQUgSoUnrgH5fs7VLglia2lMkJkv8ySi5qFacB0vbc4CMCXAa19iUJD24MiRzA3JBk 5fxIxPArdxqTFC7sO6bia5CTmjpEjqTTFFFFSUkoJmEtJ8kS4Aamj5GKp8oRM6AEMLA1KuSIFFXD TEZ1MJCdRk9mhNmmFEX2hYkYfB8A3naQBChELCIcoAvO2gJ8nvhffEk/jQ9Hd6fCFUicWdPOrrv9 gh844zCaU4RyZeDLxmQxvLNIr0KP3QBfAAL3wBfeFGmDKlMbNSpsqEkstcqt+7Vb+HWuq2u3Nyuc pRrAlpMpSVClUVye1KdSE+Lu7L2EnzTsuV7sZNeXWtmPb5B0RTlHsDICzaALSAE223StEZrEYqSl CioijKFrKgUokoioSU/We6faRB3eHSeXykQff0o1+Xz+a1tz1vTtfl188kkSSWlpJJaWkklpaSSW lpJJaWkklZZLNWvBd+19+u12t6Y7Ui5Hb8EDsk3sEj5sR+gt4K1JglNLS01ptd34rabeXWpZWktY Iagwe8sWfgccki9vk+sjTIjqnVwqRKi5uO1+aHX3m67WyOsE75PHw+KNx1vw208MkUlimUymUyko plMplMplMpIpIpJT2c8ta3t1t9hpe+r5V65tc2W1iaiOlTUslgmKQKbS68wzgitRD0aJCdzovgkY yOmhItAdiPuloh2HXsdjbeH0fTcAHz7j3iHReUIOsr3TFSPhICS3GJMiEQkQiFdBdaSyDrNYtrJE XqoFC6bwlfmquYCthKv0lggreWIwGrAwqW7S4QhcGsERIQkGyQwNuE1XHDk26Iharu7q6pEURBKq kjUsloJLyTSRiEtckvVaSoAQsI4ISUR0f0SUeKMClFC4kKY9WuqrctKrcyRiQ2ubXLW8AS5CXSEz zvJJVoSWXSXrRWLbAh9cPIqbhFCFBDIpXKQ9UlJLzI7Ca7dXUkqSSxWr8G3ObWNoqNVG1ja0kiTe 16t9m21t5KvJdw3vUkvTgoJghLWSZJMQTUcuUik3sAmOUkgpST5yYLuyTcZiexTTiURJNApCxpJe iS7ziHXH6boiexTzxhqSo30spsCYSZpwprsCWi4l8Nla1dLr270Veq81ta+CACAACAEAIAAIqqqq qkpSoiatKLhe2SZpEkzRySHRFl7zePiG8sjtOi2VK0StVXIhQeCzTG0SYI0QGiTily0vk7emhvbX HSkKblYQEeq4uXUHbo32BXBGK90I2SwSaYdVQ7FQtQOosTOJz9ZhJPFHewsWURcEtW5I6eKgZhrs zNIylJeJoB5457gchD2HF2op0/Vx1w/R+pskQfKNOPbEOyblx3O1s2iLhI0JkXTtzI6tdGEc9C6l NzWhkDMHIkmMohnghJN8j1958J18xJyeRmaEe+JJpv8mGXn5LWrrPfMKqqsuSZNyeWE4oec4ckO0 0o6I2BoxtiaFF5ul/Z0ezHAwcjtkQZSIPXHtQSfeb9xn1SILu4u2JrrRwkvLoexS+pSlKqlUpUOc 9Jt38Jxm2zix1PsziJyPcepo7pPzZMzWa00m70R8Xo3eD/55z214I84dwo4lnXv3nWd5riblEea+ Rv1I3hQ5v0BJ9h7fV3BANyL09im4LSDOrjPB8pFeiFc3USTsWk5oeWw5W5fBHB7JtDgCT6zH31sV S9K9Kphx/8XckU4UJBBKf+9A --=-=-=--