From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-10.3 required=3.0 tests=BAYES_00, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,MENTIONS_GIT_HOSTING, SPF_HELO_NONE,SPF_PASS,USER_AGENT_SANE_1 autolearn=ham autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 703F4C433ED for ; Tue, 4 May 2021 13:40:33 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by mail.kernel.org (Postfix) with ESMTP id 4395861104 for ; Tue, 4 May 2021 13:40:33 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S231127AbhEDNlZ (ORCPT ); Tue, 4 May 2021 09:41:25 -0400 Received: from mga06.intel.com ([134.134.136.31]:64086 "EHLO mga06.intel.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S230252AbhEDNlT (ORCPT ); Tue, 4 May 2021 09:41:19 -0400 IronPort-SDR: EtM3prjU/+woiPyUGxgjXvXNvbeOnaX7XeMh9rghAISibog0DDygVSg80w2JOlXR0vI48P7uNg GaYluLEqtVaQ== X-IronPort-AV: E=McAfee;i="6200,9189,9974"; a="259264913" X-IronPort-AV: E=Sophos;i="5.82,272,1613462400"; d="gz'50?scan'50,208,50";a="259264913" Received: from orsmga004.jf.intel.com ([10.7.209.38]) by orsmga104.jf.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 04 May 2021 06:40:22 -0700 IronPort-SDR: f1wCRFtam6D7xcPawJuYNOFZpW+g25T7P9iP1ZPl/yFHHW/184do84ZkezLORcGngm/uoMs2vy 7ZAQ3M1ewMsg== X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.82,272,1613462400"; d="gz'50?scan'50,208,50";a="539181922" Received: from lkp-server01.sh.intel.com (HELO a48ff7ddd223) ([10.239.97.150]) by orsmga004.jf.intel.com with ESMTP; 04 May 2021 06:40:18 -0700 Received: from kbuild by a48ff7ddd223 with local (Exim 4.92) (envelope-from ) id 1ldvHc-0009by-Pw; Tue, 04 May 2021 13:40:16 +0000 Date: Tue, 4 May 2021 21:39:57 +0800 From: kernel test robot To: Suman Anna Cc: kbuild-all@lists.01.org, linux-kernel@vger.kernel.org, Bjorn Andersson , "Andrew F. Davis" , Grzegorz Jaszczyk , Mathieu Poirier Subject: drivers/remoteproc/pru_rproc.c:145 pru_d_da_to_va() warn: always true condition '(da >= 0) => (0-u32max >= 0)' Message-ID: <202105042147.xzNVb08J-lkp@intel.com> MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="MGYHOYXEY6WxJCY8" Content-Disposition: inline User-Agent: Mutt/1.10.1 (2018-07-13) Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org --MGYHOYXEY6WxJCY8 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master head: 5e321ded302da4d8c5d5dd953423d9b748ab3775 commit: d4ce2de7e4af8b978eb816784d0eafc220336d52 remoteproc: pru: Add a PRU remoteproc driver date: 5 months ago config: arm64-randconfig-m031-20210504 (attached as .config) compiler: aarch64-linux-gcc (GCC) 9.3.0 If you fix the issue, kindly add following tag as appropriate Reported-by: kernel test robot smatch warnings: drivers/remoteproc/pru_rproc.c:145 pru_d_da_to_va() warn: always true condition '(da >= 0) => (0-u32max >= 0)' drivers/remoteproc/pru_rproc.c:176 pru_i_da_to_va() warn: always true condition '(da >= 0) => (0-u32max >= 0)' vim +145 drivers/remoteproc/pru_rproc.c 118 119 /* 120 * Convert PRU device address (data spaces only) to kernel virtual address. 121 * 122 * Each PRU has access to all data memories within the PRUSS, accessible at 123 * different ranges. So, look through both its primary and secondary Data 124 * RAMs as well as any shared Data RAM to convert a PRU device address to 125 * kernel virtual address. Data RAM0 is primary Data RAM for PRU0 and Data 126 * RAM1 is primary Data RAM for PRU1. 127 */ 128 static void *pru_d_da_to_va(struct pru_rproc *pru, u32 da, size_t len) 129 { 130 struct pruss_mem_region dram0, dram1, shrd_ram; 131 struct pruss *pruss = pru->pruss; 132 u32 offset; 133 void *va = NULL; 134 135 if (len == 0) 136 return NULL; 137 138 dram0 = pruss->mem_regions[PRUSS_MEM_DRAM0]; 139 dram1 = pruss->mem_regions[PRUSS_MEM_DRAM1]; 140 /* PRU1 has its local RAM addresses reversed */ 141 if (pru->id == 1) 142 swap(dram0, dram1); 143 shrd_ram = pruss->mem_regions[PRUSS_MEM_SHRD_RAM2]; 144 > 145 if (da >= PRU_PDRAM_DA && da + len <= PRU_PDRAM_DA + dram0.size) { 146 offset = da - PRU_PDRAM_DA; 147 va = (__force void *)(dram0.va + offset); 148 } else if (da >= PRU_SDRAM_DA && 149 da + len <= PRU_SDRAM_DA + dram1.size) { 150 offset = da - PRU_SDRAM_DA; 151 va = (__force void *)(dram1.va + offset); 152 } else if (da >= PRU_SHRDRAM_DA && 153 da + len <= PRU_SHRDRAM_DA + shrd_ram.size) { 154 offset = da - PRU_SHRDRAM_DA; 155 va = (__force void *)(shrd_ram.va + offset); 156 } 157 158 return va; 159 } 160 161 /* 162 * Convert PRU device address (instruction space) to kernel virtual address. 163 * 164 * A PRU does not have an unified address space. Each PRU has its very own 165 * private Instruction RAM, and its device address is identical to that of 166 * its primary Data RAM device address. 167 */ 168 static void *pru_i_da_to_va(struct pru_rproc *pru, u32 da, size_t len) 169 { 170 u32 offset; 171 void *va = NULL; 172 173 if (len == 0) 174 return NULL; 175 > 176 if (da >= PRU_IRAM_DA && 177 da + len <= PRU_IRAM_DA + pru->mem_regions[PRU_IOMEM_IRAM].size) { 178 offset = da - PRU_IRAM_DA; 179 va = (__force void *)(pru->mem_regions[PRU_IOMEM_IRAM].va + 180 offset); 181 } 182 183 return va; 184 } 185 --- 0-DAY CI Kernel Test Service, Intel Corporation https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org --MGYHOYXEY6WxJCY8 Content-Type: application/gzip Content-Disposition: attachment; filename=".config.gz" Content-Transfer-Encoding: base64 H4sICD9BkWAAAy5jb25maWcAnDxZc+M20u/5FarJy+5DJjpsj6e+8gNIgiIiXgZASfYLS/Fo Etd67KyPJPPvtxvgAZBNxfWlajKj7sbdNxr88YcfZ+zt9enb4fX+7vDw8H322/Hx+Hx4PX6Z fb1/OP7fLCpmeaFnPBL6IxCn949vf/98eP52cTY7/7iYf5z/9Hy3mG2Oz4/Hh1n49Pj1/rc3 aH//9PjDjz+ERR6LdR2G9ZZLJYq81nyvrz4cDs93v1+c/fSAvf30293d7F/rMPz37PPH1cf5 B6eZUDUgrr63oHXf1dXn+Wo+bxFp1MGXq7O5+a/rJ2X5ukPPne4Tpmqmsnpd6KIfxEGIPBU5 d1BFrrSsQl1I1UOFvK53hdz0kKASaaRFxmvNgpTXqpC6x+pEchZB53EB/wMShU1hv36crc32 P8xejq9vf/Q7KHKha55vayZhrSIT+mq1BPJuWlkpYBjNlZ7dv8wen16xh25zipCl7fo/fKDA NavcLTDzrxVLtUMf8ZhVqTaTIcBJoXTOMn714V+PT4/Hf3/o56du1FaUoTu1DlcWSuzr7Lri FScJdkyHST3Ct0uXhVJ1xrNC3tRMaxYmsIyucaV4KgKyX1YBTxM9JmzLYZ9hTEMBc4dtStsD grOevbz9+vL95fX4rT+gNc+5FKFhhVIWgcMzLkolxW4aU6d8y1Maz+OYh1rg1OK4zizLEHSZ WEum8aC/9wuSEaBUrXa15IrnEd00TETpM3VUZEzkPkyJjCKqE8El7toN3bkoxRiRKYHISQQ5 AYMrsqxyV5hHwP7NTLwesUVcyJBHjdiJfN1jVcmk4k2LjjPceUc8qNax8jno+Phl9vR1wAvk aYBgiGZ6crxMoyG2PYcN0CFI6AZYIteOsjGcifpJi3BTB7JgUciUPtnaIzNsrO+/HZ9fKE42 3RY5B4Z0Os2LOrlFPZMZzuq2CoAljFZEIiREybYSsHi3jYXGVZqScmnQJCYR6wQ52OybpM9k tDBH00jOs1LDADmtaVqCbZFWuWbyhlhSQ9PvTNsoLKDNCGwF0Wx5WFY/68PLf2avMMXZAab7 8np4fZkd7u6e3h5f7x9/GxwCNKhZaPq1TNtNdCukHqDx2InpIhMaLvM6cjWdChOQDbZdD6Ug UBGqspCDfoXWlKpEy6U0c9kTQSA0KbsxjQaIPQETBTm5Ugl3NvCzszSRUGhVI5IB3rHNne2A HRSqSJl7TDKsZooQCzjPGnDjg7fAbqLws+Z7EApqw5TXg+lzAMIdNX00YkygRqAq4hRcSxYO ENgxHFia9qLsYHIOnKD4OgxSYVRFt6n+pvSLFRv7D1KcxCYBfTsQ1IGSstxnVFV7AOru9+OX t4fj8+zr8fD69nx8MeBmJgTW04yqKktwtlSdVxmrAwa+X+jxVePdiVwvlpcDtdo1HmLDtSyq 0mHzkq25FXlXr4MbEq4HP+sN/DXsya67h8ZMyNrH9M5dDPobLMhORDohthJUAdlnM1IpIjUC yihjI2AM7HhrltOPbTFJteY6pd0oECLFtaJxtnnEtyIknTeLhy4avTBsCWIUn+o5KE+ijfGm xLBA9drQMM086wQuLLgFoPaoCSc83JQFsAfaIYgCHD+vUaTgR5uO3T7BwsMhRhxURsj0UHG1 54hKk8QEKarUrXG8Jd04KAo0QUNZ7Hm+AFuUiVuOzpDZ1kJmIBqeYR6SKfgHtXvgr+gUlFzI jYGzisYJHsq4/2FVoSMT6BEBxzhSo4C50KGte0dosHMNgphLbH0rz1KYgIJyETrFDee3IToD ZvEMIAPXcOimtONWEMk68os/a9fFNbbVgsOs3IeJoxd4WbjunhLrnKWxI7pm8i7AuHEuQCVW q/TRjChoJVzUFayX1tAs2gpYY7O99G7BOAGTErx7Yhs22OwmcxRMC6k9j7aDmj1FTsdQxmOZ euQGG5W8YyBrreFHsl+EpygQBGKVgn9LzA8ZzTR1967zoPulweA5eMxWnnuJVPya6BRa8Shy Va05bBSqeuitl+FiftZatiZLUh6fvz49fzs83h1n/M/jIzgnDIxbiO4J+K69z+H32E3LaDWL hPXV2wx2rQhJZ+idIzqeZWYHbG0bpQRVWgV2Ep6kItRaPCu0BeWPYqaCwUGaZInTlgUTA/lk BW2DsD2MLcEmN6xC9gZEaOPQuakl6I0iG06ix2PQDD4KxVQqqeIYwk3jA5i9Z2AJHNnEnUDf EoJLLZjD0eBOxyL13BGjO41FUa7D5eeBes7NLs76thdngXBVqxsSG1I7RZWIWF8tlj4Kfui6 1C36jMJm0RgLspNlDFyIPKpheJAiCNAXl6cI2P5qOdFDyw9dR4t30EF/iwsnxhQFem0Ad9IX 4OWGG+sBN16dkxNIU75maW22HYR/y9KKX83//nI8fJk7/zmJsg0Y73FHtn+Im+KUrdUY33q5 VlTGwE4TtlNRY7JkxyHspeJ7VWUElKUikOBk2CDMZfBbiHtrcPwIlm5Rq+VATfLc5C+b/FpS 6DJ110LTSPiXq91V5hzMhsucp3VWQNCSczcEicFscybTG/hde05zubZpVJMfU1cr2mmvTOJt mCrBELbeoGq3yedGF5cPh1fUibALD8c7P19tk38h+jae4rXwtUj5ntjDZjL5XgxmwNLSSyIb YBBmy8vV+RhaC5zxaNiAS1ActBU3eKEx+XWCQIaZ0pSatYe4v8mL8WoxQbY/n2q0WQ3mDxwH TByycrjcdL3YDECJ8CN82yNHm0wlXqw+4JEA3t6M2oHPTtobi9yCsRqMnu3He3wNWmaqD8lZ agf2oTlXbMhycH4bP5lq99JI12B/OdM6pbxsi9aYzN0v5sOubvJriJn8YM1gNF9LSsKb05RD P0gnVR653rgLHc+3ykWZ0L6gwW/B34fIaLgj4GaiRRmf9x711jTT3u5P4GAPspJ0ewjhdh2w uM8rGDCYvNnx+fnwepj99fT8n8Mz+EVfXmZ/3h9mr78fZ4cHcJIeD6/3fx5fZl+fD9+OSOWq C7SYeAHEIPBDY5VyloMmhoBwaJC5hAOtsvpyebFafJ7GfrJYZ8U+/mx+8XliazzCxeezT8v3 EK6W80+0nHtkZ6uz6Wkv5suzT4vLIdrZGVXysGpMHtOT/Swuzs+Xy0k07M3q4tP09izOV/PP y9XkapwJSV6CBNY6DcSJ/paXF5fzT+/YxsXZxWq5PH8P5fnZEraSzl6wrQCSlnS5XH2iuxwS rqDXdxF+Oju/oLxzn2w1XywcC9Vg9X7Zd+QyQ1xBbKaqDjlfgA+1cLcVVX4q0Lx323CxuJjP L+dLYjaojuuYpZtCOiw2d2zOBIUnOYbmOopBZOb91OYXFLNT/XEI4BaOL1OE4BaAI9HrYIw/ he++//80is+lZxvjvqsxXy4uGtQJPrs4I2g8ii2z7vSKUDQt7uzyn5pfrT4PQ4626TgYsS3O umABg6QAI+oczLp3r4SYVKBpbJB03GdSbhl9sWyRKqNiwVyavOXV8ryLIxrfFuFeOrAiHeak SDmmiY3n7CQCbpH/PJa/rZfnc/o66xYkbBKFwkMNfHu16CMT3wFuEgNw6iYqHfoM5q4T/OrG YZ9ENyH0EM9THurWy0f3fZiqgSBIU933F+plnGOwJdzUyY5OnKgb1S+syT/HQ7fCJIcQ2YSq TA5XhWkeY4hrLOQwGU06elElsJvpptTNbUQbfDDJ8MJtDJm+WdvwPff8SwOACId09ULJVFJH VeYljffkhZ65y8YQ2HBeIdF364PmKseAuQmxwK7x1GNGWWC22+Q0u5yaXT+dVbZyq3a11oGc w7qn4gsk02y9xgR4FMmaBYK2QyaMd1GtA/bn5cfFDMuC7l/BY3vD3Id3/eMNBUzD4ijITszm 9Fy3CScdx3+YiDPZ5fRkvZEqVozVawliMqlYgRkgGtP5uFmY0+7uP8zImfXqnbMutcSbjMQx /vbaLJAst0E1CAsLwX/SIxrMZyOikrnhBj8cUIYG2o5gYSzqnK8xdyEZJnA0H9jUUytwVnn2 bkZiWWX2mjoMOymg217WZ+PDAH2EScT1KUaanIgz2fN3HkmgxXtOw6drfM55GV0NIy+bAJ3k wmb5GXUGk1MeaY4tHdkaFlO8ioo6zwjHuzFkUhRS6BtT7TR1hYGp/5CZ9BCNN8vEGy28eqDv xmwdBCYMcSc5Vveh/ZF87a59GDyaMwyeoLenPzDEdE4szCJTN/jhQ9/co6QsENoxk68lSrhc Op2UHolNZz39dXyefTs8Hn47fjs+EnNSFQRfbulXA6CufVsUbHtprkaoQpisVinnTpKjhfj5 PoDinWhL29/CZWC+N3h6G8pHLbMB8dRdLqDCdOON1+ZCbT2Yo3x213VZ7MBj53EsQsH7q6VT 7Yl1DikK58bTZP6zwdklIgCjbI4MLyiVIBywZtMddJ/QmDretrKoocg6ija3gTjx5eHo6j5T 9xINBaavn7ENuubx8/G/b8fHu++zl7vDg61T8voCDrqe7Ito7aJH8zadx/fP3/46PB9n0TPE SM++MgTPPhNG6RVh4TmhLcqc8bB20KLL6ZblyZYRr02KPvbuumMhsx24negXe/cPYMVLOHJ5 A722RM4NBPSU9tk9cK4llkhME0jllvcImK23ju44wOhKAWq72Ndyp2kHaV0Ua9Aj7azoa+Ns X0eqnMSpsKI1O+h1mFrsVLk27j9sYRa6tdw+HIu6wmLL5c1g3w0Sou7aRA22ePH42/Nh9rXl kS+GR9wioQmCFj3iLuf+E9z6CiKUWyOqk8YrhHP1SsbNb4xAIKIcXtP1yPPFskP2EtShF23v dJDQDdGRnRxjAr+aml62OtEuO5tGrhMMXybRjKuJITvMyWaABCOdnSYIXBMwIsB7JpIkTCA2 ZMt5exM1PJSySG8Wq/m5wU8fSp54hERH/VwCNQp/2stex6s6/vTl+AewK2nKbbwYetVHNsD0 YQrcwdjLH/0CMWadsoBTNS2j+zMjob2prHIQjHWOMV4Yek69IdyQzTfgk5KIuMrNDRsm2sDf EvkvPBzWrQOZ9Q9HmQRz85oUxWaAjDJm7q7Fuioq4jYVXBNj+ppi8DGBQWJ9Du5eNbzCQZcY InAt4hvQSZUMqXzDBrwFW6pFIPFMbA5lAhkJafIsrjFx1m2fjthHKPUuEZo3tZoeqcowQ9O8 7RjuPPi1wIzo3qHL2xxmzUbVS1j+MnVo+A5lsiGE5wFM0xbKDXAm2YMzoOBYrtPMqsmGjDag 5+DTWKLIKINgD6LLBMaw18no+ZJoLIalSJqDsmxZKxbzcXGXnUwjKM05oVs/oGja2Uc4E7io qCYSaYqHmEo5gcJckx549RZz8smL2fwUzm7QtR8deb16mKnOUSYxaY5yuxkXoU8UtA+o/rmY HesOMIk3oTJyTHLyJmdIHIo9X8wnbj35A1mqMN+L5VY8jQ1vEeJrUG28SXXt1cUMOvBxg4Ia rwpOF2VU7HLbImU3ReXmYFIs5Qhgl8G3izzl39TQrJYwgtnHk5yAO2APt++cgvXKS4P+1G3y Ue6c8sgTqGFzu9U+TT+p5qGbrBMKi3WAq2WbEvA1H8aZbmmbap3JNXidP/16eDl+mf3HRvh/ PD99vX/w3mMgUTN9YuoGa2u7uF/3SGD6Eq8TA3trw0ePeDXhhbI+sPftO3Ad3oRmv1K+F5qq qHBoQVXizsAfWZQ31CiGsa06mxivJ3Dri8m48J0OTxdLAVtgJa3rQ5hCUoWlj1cLp1jVCiqx 2FaEzZuLFBwHv0I7QP6gsgusqQ9vz1zlzmVgldsHorUCgw+//IsD/3KGaVALYQ0xl6NXTH2w aQw2FWTaLcSQO8WzKaRh5wmcLdSA7TFvJiNDZtIsPck0ZthY7uimI3gnDTnOCFyPlJUl6vEm BVybonpK8G3db72T0MBdR5+YMoLK/z7evb0efn04mqfJM1PR+uq4xYHI4wzvPOLBKD2iyyqP DDoi0YoRO7HOK0RhHbsjGtDA97abUVQoRemXKFtEBgHuxKWI5OjukKIytWqzJdnx29Pzdyd7 QqT9Tl3btTd2IKkV8+vuu9tAi6Nuomxjvzc4/cgkQwbVmF13W5sooS8JY6Z0vR553ehQm2Jt X76aKztzXWevc7siU2Pq2nCizyJidlVylMdBOrmVx3HmtUxulL3T0l29bX+rp6gEemunzToz YS9Brs7mny9ozdCcTcxEWvkF6D6GeoB30qehsGCFduzGsxkkWWbfBtAMi/VN5laVRvs35n39 aVkUFCPdBpV3PXGrxhXtgyjNlInWAgTHYzMbvOH0x35mp29KUxvrO3gg2+h9tm8Ze/OGb4x4 HiYZk5R5MMFYkcNcMCuPb2ZGd9TtkFj6JJjnAUyLb9tDzruC1fz4ikUi4B2MhRx4fcO9C2r8 DaEkczYAjNXe/4XZ0gHEb7KPSvNWivu74oBNAzpLCHMnEQDHAiwMRyZ2FShgy0r8cINSEGr3 E2rbglQaDxYOLCsHj2OBxsY+9P2vpkQ2k743IEW0puRtm7K8vpwvF95L2R5ar7eSCrAcimwr HcaLeGjP2HndgZBagldPllmmqZNDhR9umZxm6cbvawvhOXiAiCD62i+d8i6w14Gr94rcZSnB OccFnHu5yx5a52nzD/PiC84m16TZcJpYHvIUHgstboIr2ieORiKu345vR5CHn5s3oYObiYa+ DgPqEU+LTXTgsZcFxiocsJSB443kib7M27brcXfSfSvUAlVMDKxiornm1ykBDWJqimFAeb8t FkSD6InhusbwNTnvSKHUUkPD32RZQ9dSSqpZdv0P26o2AT3BMCk2fAy+jq/JnUHf58Qw8bUl IcZh1DDUUSUJsb+l4NR8YDzAnJiQ/9SiP0JFHMrwFrP1Qfyt6KHj3RgRAS+exJexiAvjsp3w gZoJXn34+t8PzY3iw+Hl5f7r/d3gI0FIGaaDtQEAIz33GXwL1qHII/MG09tZRMW7KcNj0NWK qjZtsVJty/FoCL0gx0qL06PZZ8YnBvSey7rd8pG4ICbDz+HQj2GRhBu836GFNYmb1ZJAhVlJ NsmDGz1i3gY3vY0NQcbdyNlBNO9wiGmwXETUohn5+YlOkoARHdYPvUeDAVh8hj74ljymbePI 0N1DcL9pfaLeSJUTT2VxPrlKSFyiaH/kWmrKykv3YwMyNl/gcFXT3sU3L9mN22QVZe+L9yjr TVEPGo2/sa+DSt3U/tPkYGh5kC+bD1D5funs9fjy2lrgxr8doQYI15d1doplkkWkRQiZE5nB j1qynQ8IQq9uBEHrHd1T/cvi8+qz31yoQpftygAwi45/3t8RZQhIvB1NZ7sPB2XMAAQnbKIm P28Knez3Eejv2RCT6A7HzzLgq1oeUcwEKDfUNj/91DCAMhWjXJJTDTT9HaQerXgaD78+5uJj zjSEsOMqHltF9fB2fH16ev199sUu9ctwv6GLJBSBVpHrCFhopNPFEBboVThYIELTiodMUjJg Cbbwx+sqk9t0uFEAqhXNoIjWm2aSfenX1PLaZjsheerdqLaQ2lOVO7xC8bNOBqTcnK2BgB7Y OrwZr9GtdnbJeusL88U4TAp5TNtQI1/yFPNe9Y7JHMIs8pMYLXXI8V5U2Mw7BMWVIjuV/LqC xZkqUcwj8nU08WGRvgX84GlapUzWCb6UPjUNpMb7mb15GSwnFta4MBOfLenpRkw/WrWM2Pjh b4feeefngTFQ8hqlIhicUguxVQTQqpzEhZ4JHyD15n+UPct2o8iSv+LVnO5FTfMQAhZ3gQBJ tEFgQBKuDcdd9tz2ua5yHdt1p+7fT0ZmAhmZkVLNok5ZEZEP8hnvLJB8O6ON7ahLYi4lLEsU MBQj9/0Ad3TuWu8sFZwLBqVdMre3hS33F7tiYtrrKE2KLXV3bVXecAt+RLuiV02qADyo21oC QPuNgWLzL51hoG6flalxXh2eHt5uts9PL5BD4evXH98kN3vzGyvzu9zlyukFNfXtNoxDJ8FN omx6ANhmjd4HBhoLj8yvxrDNIfB9XAcHQRGtrd4cBwGz0ZpDdBgaYjAFUNaCx8/fnttDoPcf 0/RxsN+St98vDvSstOgSsHfpHGSxpRWV5bk/Hg6kUMjYJn7mKEcyaGHBrqHWnvf7vq7LiVW0 GVTzJXEJXz82rgIc3pJqo6wR4RuB1yX7SVmqUrjZFAVOWqVFov8eIVHKmBaz+bNJP315eHu8 +evt+fGfS0gst9A9f5FdvKl1jeNRmFL3eYlMNgg8Nkm/Fz7Qs1R46quGPFDZWXLIkhJFUzWt qG52suRpSaeez158L68Pj9z/b5qoM/9KZEqaQFw7nLGKUIqivk0WJ80ls+lSijum6B9LoiF8 sNwIC/n83QslGCbAGkauR0ZGaNV1p0X5ufN1L1wDTrMZSdEHlsCt0zgblPOjjHnA63zmU1vS uCrQwEvIsqOeAqKpxru6G2+PkMgWCBeUgMlyTa5h57wW4Bxy7GtLclVAn44l+5FsirLoC9VW DN6jG9UbjPEI2FmX/8anoIR1TNghyuKTUcLOrgGqKpVfndpRE5ROMJ9ouynG5FQpNwS4t/Ew N76Et+pqBNQ2P6S5no5rGiLhBFMzAa/e3avsqWWvC878x7t5ncExlaY4zAQAEGFrpgiViSfG XdFtGCWVgaKqhx4rgpdI4dKSNxi8kM95QSkc2aXagCGowrPeHQ+BA1kkPQM+FGPbKfrYKY2B TKmG9nJXjhVfT9SH7AtctwQo6ZImmUAZWNUUzO4j3Y9qsUYdLAdH1VMiTdYrS0qNUKi3YOzp 8UZjQDDg9sjhjQGFqY1E3dabPxEguz8kVYFaNSPAGAxtAPYbWRrqLc9S3J4gtFe1LwtEXZ5w L4SvgSIANUmLGWsJGJMhisJ4bSJcL1qZ0ANEVaWznuNU5Tfdj+/fX98+kJJDhQur/PP7F3PT dPmhq9uO8d6dX54cT3UOzQIvGMasQe4HCxAfTCoCnULsKK/utezHaRf7XrfCYfjslCjrDsRx GXdABok3WRczPj9ReaCiK70YheALiIfCTKdP7RkuCKgo5olis3fDUEluMsF547Gj+oBV6doP FGNX1rnrSPkNC5R9ypinjb9s26neNlEW0gA5uJjEkm1xkG5zapJDQTHaqSdXlPBEydktVN28 z4thGlcOH5PeU1bTAgwMIKShSu8NMBOc1lEYoCkTmNhPhzV5BMwEw7C6SFFk/RjF+ybvaOlM kuW56zgrkhPRPl+GZPx8eL8pvr1/vP34yhPMvf/NmJXHm4+3h2/vQHfz8vzt6eaR7Y3n7/An jtf4f5emtpXcDsY65DhagoKkPiLYtFlSvH/7eHq5YefYzX/dvD298McQ3pWNP90RdaPfAktm 8AtVzJOd7hXWADKgopAvdIqIxLhpV0waJGPtARLce9QqqAJYsIBo8IbtHPDWU2S6vJcqSQQz 8iPyA4deRHc8iIY0YENNfZ7g9jhEJAVTc5UjMW4h4blbGCNoyXelEdsCXTFZwrPrA+eOPQMx FbDxIqkwZbmrkhQs/cr1n6Rdjo1X7C92h+UUzLw/GQ4r5LmOv+b5m8FXsywxn87k2fHEp4o/ i0BmGzjlalw3eF4XNb6BD2WlBZ8itPjNLk3HNYFOYAKFln5xwRDQNKEVPRO6rmLn589fILFk Pp0aL9iZRwZyTXV4jri/aMSYIj1mDgECNteWZn+vvTYxrYMibfNyvO2iOA7U1MtVxgZfbDYN iNlIgDA+dVXoVEW/SbD/i4CnFfB4bP1RvQGKXYMtRRxYdWnKOou5asHUgMK7+vHywc7fp59C ayEVCJ2ptVd0Fd04AAl1ShJFZx6sVNOnNQ0OHW4ayE6vBzMgfJYDy2rJ899M4RGUHoUhq0ZN YMch4NoBKh4ErtVgq3I/84r71/ePT+/Pj083x24zHb28raenR3ha5/WNYyYDWfL48P2DiV7G qX4usT1pNgucM4pnA3K2v9l51zI2sdIS5SFsT5spMU1F6sZUGnFY18phDuLekY0VhmyrBNtj JMxqSGF4Lshqzl0Azza0ylrtVwrRpFf6zmNsl27qqLZTPwJet0nQKhSQy2G0kialJoudIxXO 7iQgYLvp6MhdSSAS2mzP4PsNgWZXvrNKmCylXiIlBKP3CWp7ghkTQlA0dHKXmcBuVZhJ2GdQ ueyrc7EtsFOHBNkWCvpQIjskwrNTuIbEjFfqaRO508laZCbIq0uQrZ+rNKTvjEqAUyaqmM/3 WUJrA1QqxoexpXw4UDmspEa4Te5TlLGaQ8+lH6j3O4/QgqmYhaBv3Cn9/Axmnt9Mi/7vNx+v rLUnnvBMUBlW3bPKK4GlBf/C5v0JMiL+hUP5bkc7CaBbMhoNMNp9wmGDR2WE60rI8tB5a5GP cGF9S1IJDz6UnENQBOTF31HoODWmmjIrFF12MG7g4tv3Hx9W/r84NGoYGP85mfkRDF6Pyitp bV5a5DjgLDV3BYQXbvy32OeaY6qkb4tBYnh3j+9Pby/w/Moz5Bj/nwekDJGF6mOXs/bMjkwY sOgcqWS7GlnH2Kv8MA7/gBSUl2nu/xGuI0zyZ30veoGg+YkECj2eMiM2Y44ocJvfb2pkmJkg 7IZOSWgTBCo/ijFRpI6WhouJkVpI+ttNRha+6xnbTqlpEEVI9emu99w1hcik61S7jgICXd6K zuhwyZVSYL46c6pQnybrlbsmv43hopVLpTGcScTapTpZRb7nk9UCyqcyjCq1DqEfxGTpimQI FnTTup5LdKg7nBh7cG4ZgMAWFfURh/zcq9LcjKib/AASfUc1lFRM2thRmL4+J+eEap+VoCeV Cy5j2YoFbw5HzY4NOm+pMo0+W960xmohqryxr4/pnkEuje9g3QlMJnXd4UozTLa6TFD1t2NT FRa7xXIqWc81diB18ATYMpYTZEwOSVnvKISfUVD1jFGgBQFN602bEPDd1qN6smtVEQ2BR5zJ cMEdIfV+VVNcz0zEee9EfSZsRnVFlp8Lma/arL6vMnrMl7p5+sRLrZ/hQRD1NYcZUyU7xkWr HMvSLwhtrNsN2SuO3CQWj5eFDGLSLEEryxeei4z9uEz0eZ8f9keK45tJsk1MT1BS5WlNa9WW ThzbTb1rky11MS9rrGP8o0sMFty2yOg8Y5puaJJM1+ISaMbEXO7itiuSNaWIEfuL53ZA79DB b7CGFEnJlgATaBUNviwDB4vgIZSCC3AKEUWWZxWfZF0YrdAthdFhFIZElw2i+GIVsUXTTRAi 6xHGp9Y2WsZiub/SBmgPxkp1f0PoI7vQiyEtWhq/OXqu4/q2bnC0R/E7KhXIepAOoUgPke9G tsrS+yjtq8Rd0cl4TdKd61LsEibs+67RnDUJAs1niqDQxG0r4epqY6vrra1+obksiZ3As9UD Omy2Fa7UsU+qptsX2J6gEuR5T4vPiGiXlBYnQ5NMbu/r1EPq07mXVSqZ7Jwe7l1dZypHib6c 3WGqH6eKK8qCLWtLQeNdEBXZrbv7cE15a6J+HQ+fLSskv+23nuuFFiy69zCmphH8FB3PkaNq EUyCCyuScdCuGznXPoox04GDk24jdNW5LhVPiIjycgtaqaJZ0Z2t+A9bG4zzXh/Lse+uHYrF IR8Ky4BVt6Fr3VWMV68gbcmV+vOMCfh9MDjWawblJaQjl1Ry/ncLDxBdaZn/fS5sd+OFk/6c 9VE4DNjJwai6YIKmb8F3Kd/blnFlaM9xBsN6adJcWyWCKrhcybUrvEmxGhlNTjWSzu1opxel SFxGnwNF9wt3c9e7nvrUE8ZV297CwmgWKIzimTF9O1PRDdE6sGyvvunWgRMOts/6nPdrj3zR A1Fx7t5yA9bwLlYxnraB9aho630lOYtrTRV3XTBYDurPoJNXj38p8hVdqsMYI+au0FercMtM IhKNWZY4znuxhca7Za1iw3gePBpSyeUPDhuHvidzHk4KvyEM2ZyN9QFpI1Rs7LN7vukL47MZ Ooq9YC6rC8dVEq0sjyYICq4P2rB71CIwKVRZDqGulCpYIToVSPQVmBS2KqhbxFDo6Nuh/zPW gW2+g/dt6tby5f25XDsrh27wOClxdbVsyhbt2vfHpqKyrs5EURAaYktzruRAEfUyHO+ItdL2 NnICQ+OkDFxbwzvp4FFWI4drQSI4RXqJyHNQW9ND6a+MnSPB+IbAKHTqCBTbot46TszPTqvE wuDJXrcnb80uDDGDhgKdo9eBgtbqFwThRGBtB3xcRcZhYnjYXQKXIrlOuh60S64+rm1V6DIA B2G3ZoBg52UOqTYaZKt6+U0Q/Z7lcC+TnlY6vSr+S4inQ3z8QIWAURexRCUmeYAMN8IA//D2 yJ3liz/qGzCUIEdM9An8J/h8It2lgEIsxq2agFSA2U3SdJ4ORcYqWV54lwlixS2Nt9h5leWh UlG2TUeilaSh2hYaVgIhFOcq/Kh9P6h8pHPj4mgsYeOhCwJKdz4TlCIdiHTooIZ9cYkjzFfC VeTvh7eHL+D/sDjNLvdzT2u7pK4GDDuGE54k4e88W3w8dKsT21CjeEqavCmaaiO9dFAS8MWC eCbczKR7DJhTb75c+kYI3IEY9ZVjeQ5oIViR3rRp60kuYvassbSqWDDzE/0KSZ+yf2oCew4o OpOBFnBahpBlLNqECUs9Yzgh2bFluqCQVAWDWBI0q2SH46nucWwCoE/sY0F5N9ALbe5r7/uf G29lDWUzCOlvH4qyvEfOXRNE+Ogvkd8XJk8strFvj13P334X4UWmzZj11TQVo2uUDQy3WrBB rDFY5AtF2wSg/GVk0kbMsNUR1qHwGFucxXg/0r+fv5OdgaAQcVDxxBb5Qc1hJivVDIMLVDSo gcs+XfnO2kQwpiMO1OfcMOIngSgOad+WJmJ6HUQBZ7lSwj5AY1UOaVMiV92Lg6WWl1FmEAqF +9ThMCU+ruWu3ixRh1DvfEJD/Anh1MybKIZgn3n0YvrP+8fT15u/IHpFGLxvfvv6+v7x8p+b p69/PT2Cd9sfkurT67dPX9h3/I5n23j5VgJnBZcKFrFD2rpkS/2QamskhQ2k+zSKSYFIcx4+ OHk60yIDo82r/EQlNeE4/kCu1m2qQb6SRXy5SGpOZkXm51alrV2IaSobTSXGV005bKjoZ47r 10IUxSVO69UwkK4TcBTWVZIVt7j1erIGo4rAOGuppT6XOjXbR+QwqyRDYpQaEnh+nXwtCPBt UWgLo731tbGDMHS22kttXXRF1edaYfkMLurCfBVZugCOO0lvVC9CSfTKhrKJLVZk3nl2nxu7 K//J34R8gW32B9vMbIc9SLdQwq+Wj5qIUzJqqj/+FqeIrEbZrHgnbuUDzBOHZjsf0NjBNGnD WfIYZx4VYgwrx0Gk2VFzVNQ2KQSQwvqzDL8ggAMNty3gm2Onf4jRdzW+Ms0OHUDgZSktSXp2 VhAUr6WFmDSF9WUiwJkNcGhuMorALVQP7zDf6eu3j7fXlxf2p+FVxGNCuVihsPoAa9mOTkY/ dBwNMfAwfiai79Ar5AAzjmIFmBwHvdtwSN/RXA1Hz77oKvDYA79c3uuVyVPcUpfEgv9ihqRV MeDTkW5MxVl/4F5HQ0CuFb/tbN8GUZ9lQ0w+IGQnLUUhO8K2zAfjM/TLA2DsBrBUU1ahM5Zl Q3XA5pE74S/0br49EOyW3RAtBtYp424P9xqQXQ5M9NDK1y1KoQugpnTUB50BZL6SzqFNWmz1 b2zt/e/8dG10oEvdqOjWjtYiXBFdoUbCSujemJuu2Iq3I1A/4OKwDjSXwS9h19ZvUMQgdRoG 9dYDyADR1RpouoBUWKkNqngqfdzdEQs4qTL6LFI4UoJR5B3Erplz0ebt9eP1y+uLPM/e9XLs Hy1BALIv87U3OMbQW9gDvq3nsCmlSEWN9r5T3yrpCiT6CM0ROwK+zOfvHOXCwS/PEJu4nMVQ AYhDS5VNg/gn9tOS8YphpvpMmQiKpSV/c+cWsty2ep0SSTAAFBmcM2QH/snT8H+8vql9ENi+ Yd17/fIvHSG9vmWgE7j32lLyqu7fD4+Pz+AUzrgbXuv7f6vRn2Zj80DowteUy0AiRp7dTnVe Lw5IIFToQfCanq/BJeAvugmEkI9Szl1ahlp2Jun80KPEh4mgShvP75wIS+AGFh1GOtbEKOeo 0aWOTYTlYcyZZHADh7p0ZoK+2g5Eh7iJR3VUnjsERgMTXKd5WfdUL5kccaH9hUkxCnKJ0Vjf GtGh80a0KObSFQ2M1DMWwQ8WeGOB3xHDdmLLyARL9i1pIlVtoWHTxnWJ8Z5Zv2HWvbRsZ78/ vN98f/725ePtxWT/57liq71LOrPSDl7rJlYpA45tlIRhHBNzrGCJji5YNUjUxK4v1ry+WHN4 CbtKLrW72riqFGEbQ2OkdF/pCSE0Bja4+RDgXGEDPtNpHK0pZe9MBVlLiHnjloDEdciaj4eA ZlEUijUr7lNONwbN2FoaiRgam9BtVKQPvUYT+eSpsWBH2ghsdOiX6Pa/0u+9VhdJdPI7S79j 6Det6jeorjUEKW0Sy0Kasde/nBO6FvsDQfdrNe6DX6JaX//E/XqcX4Kpnh6fH/qnf9mPt7w4 8EycxPlrAY4nj4ZXNbKoqijGfxXE/q56L3TJ2tbhmrzHABPGF4cKSGLKt2ghYLcx2WrkrkMa Hvo0PPLpXkZu7F3pZRS4l2aTfYYfh+oxa51MvegJgvwOOCBywvVVcwpD0qYP3AHjVRUGTwB4 5nLIUCfTGQfunBi73mrmhqlI0d5hiVXwhLogzzXA3X1nSZcrTB20BMRxkgXF7YuAImcxr4jH Q74+fP/+9HjDeSBjG/ByIROPtTxkHK5rkYQ/h+IemA+N8VWgAhp2neC8bP1fFPS4cJac2HxR cplAn9ELFByWF6a6VijYe/jPIf2w1UEk0psIdGtO8bgvz2ZLZb0r0hNt8xMTs4nWXUirewVB fvjseuEFgiaNaGW9QGOeUcAGfX00pbN2jd6Dp8g8irYGQCGt1ca4miTIPLbDat62tri5esT+ QZcag/e+VPUQB57TLEaePxw6wCTqME3hIYCluVSTKhu3qZbmAL+8Q22e2dTFoU8/vzMh19xU SywmAcU5uCTm0Ogr8DwKI6C5yR3jYzjcs64Qbr709VGRUKI7HBOazQgnMmszfVOkXiR5S0XZ rg2VOJ+2mTmE2gyJUFdba+x2/VwfEvMMykIn8Ei3FIl2I0+fmjloAW3txo9XvgGMQmMoARjg y3ueF5CCrVtXuknqx2wa9AG+ZcXeKL0ITMPWCRBhkEY57j8b2w9DiffMgndMTqXzhQm88Fe0 1XuuojhGLkDEtM96wSvLgV1U7ppy/ZpG0ndjV58YsWHMc69KfT+KrB1viq7uWqPU0EIUECWT iEqXPJVTii3zs/RFvtu1+S6hrcCyVplzSgJ5GlE+Ou6n/32WtjhClXp2pXkJEhSsIkrztJCg +0It6Z4rCoFvxwXe7ZDNkOih2vPu5eHfatw/q0daBCGViTr8M6ajvZJmPHyrql7CiMiK4G+1 6Yl5EY1LS364HnqvIBqL5KvSRA6VbALVgh0jMYqSzjGFbxkH3x/TNrXXHF3tOq0sVCnCyKFb DyOXRkS5s7Jh3JBYb3JdzSICONHyrKFq1s8FKFWzSHJQsNLLhBJbFCqdy9dx8GeftJRHp0oK Xr+2aso+9eKAVCErVCBD4bQEKvbXejEluLXVwjmvK3XMjBxZg8AKUG2J15U0bQ4ubDzB3rUm uVe02iSkX61+qQZ4pKG819eHgCr5eSns/lxZgqKbLBGk1OE+JV7OUniFiJ2eSutTCEQj33mS YJ5DW4OBiWkHPl+MXRIsvkTISiF1YRSvAsQpTTgexEB0bsafPccNqJKwYUkNpEqgbnUEJ7rJ 4R7VVEc+Wjd9N8Oq43ZIDOBUz+YOlsdgRejRhjp6n9FPnul0WT8e2cyzyYL1d2mINK5zgkNo Y8j4KqozEkedAojEc9FGmEZrCha5MKB87anu/RMCuFw1BHSCY2ZgqYZPBdWJsvfXAXVLKV1w V0EYUoWzvOdec4JoHVD6JKUejb/GmJj4SjaLKzcYLIjYofoEKC+gRXiVJvSpi12hCGwtM76e +ApAxBGB6KqNvyKmSkTSxcS23CXHXS6umJVLLby2D5yL66bt2SkTEH1hp7KvbPjtMS9lc+aB PRU6pp3rOLQ6cf56U9IjaOI4Jh8M/T/GrqS5cWNJ/xWFDxN+EfPiYQd4eAcQAElYKAACQIrq C0OW1bLC3a0OtXpmPL9+Mquw1JIFzsFWM79E7UtmVVZmV4dD5Cb6csoXc+3n5VTmOmm0SRPn fcIF+OPH63+Rbi5nv9U5NARVFokhcCVZR6EnFJ2hvwUboCzcKkTNGpVjY0nVd22pujE9AySe jUc/UZg5hvgsX2LKgG8DAjtgKStAEbWCKhyk53EO0O0KQiR9P7JwZHHkUevezHEuL7u0ntz3 ktl0DAMzk8ZCCotiszSXoC2KnKAP55YYRRn8Ly07kBK6xkTzXrnfX8huRA3J8bWf5jxkQnex C1oPZcQscyTebm+mvItDPw57Ktk9+eZ+RqvQTXpmpgiA55AAyDwpSfbI7IWxNy0cTkyH8hC5 /tq0KPHw+V4LnDGDQ7I+7X7LSGlhgmH961yP6smqrAsRMd5IU+wTpEtEhSMmUhWALmzpsNVo UebbrLUaPvNwQ3IFQMhzrxQ/8BSbRBkIyBWAQ6RMrHKQReLuLNSAaiRP5ET0ranC5NLXhQpP RJ2Ryhwbovf4OZumLKvY6kjG2AVidaC+jiKf8tmjcAREn3AgJEYwB+zVUIW5Gcta3/Gu9ER1 xkiC2tTWmIYsUuOhz18X9c5ztyxbUR1n3i6GtYiSu5Y9KVMsXKexxiKfolLbGlBp3pCkUrOa xYR8UrGEbGL0j7g+u1myOjtZQpaB7lCgry2AAJOV34SeT3Yfh4L1ASJ41urQZknsR0RnIBB4 RP3qIRMno2U/NB1VsjobYFqvDRbkiKluBQDUdWJy1W3GYmqANVl2aTVrRQmjKrZLwo1sY8W2 R3Lb5sAVCdWLIupTDsXrS+S2QLsu0l542lS37JLtdrLx6AzVfXvsLmXbk2jnhx69wAGUOBHt yXLhafswcNbHVtlXUeL6lLnHMvw8UPMjYljjthkn5LAW0OKk4tr+6yerW+i4WxHqjNh+HEJI BMRzYp9eygGht3Oxmq+uGMgSBAG94KfnJEpWd8MWWoaYNO25gL2Wjm7U9oETkAa/EkvoRzGh aB2zfKM5rZIhjzRlmTjOeVu4lOjyqYKyUgvOPcOdzARkcw9NL55Y+vFKkkAOg0s0GZDp6QGA /z8r1QI8o9QKVoDMEVMpFiyzXNdJHJ7rEKs/ANG9R43QnvVZEDO6CiNmMYNS2bb+Zl1u74eh j8ljsiUhFkVEG4NE4HpJntBHBn0s7r+JpROgeFU/hWZJKOWurFPPIQYy0qm9A+i+ZZkcsnh9 jRwOLLO4/5lZWOs6q1MPGYh+53SycQC5ti4jy6p6DwyhS+QqXbfoyOB69CHGfeLHsU8+LJQ4 EpeYmQhsrICX27LbrMtsnGVtDQaGClbpgaingKKa0O4Birz4sLMhBQXx4B0X5jqXWcpemLgM JceAHglTnF65/hPUD+lQ9haHPRNTwYpuX9TZw3yvdcmLKn24sP7fjs5sKPQT0NC3YRN835Xc Ie1l6Mp2rTRTGPN9c4LiF+3lvuwLKkOZcYfnPTyG6Goh5E94eFvuxnj1E3vqBONqeZEBn5Ly /13Nky6e0XMo8pTEKJlsI+e0uV+mESRSxEf6xgATz0ZM+q1v0iabIRMRduMGeXrhQyBZ2lmo MEzlvOfaja9F7PVDy+blOxEF9v3t8Y+nt6/4mOv96yNhcI12oXVvFgXpfaeUYwqAaktTmAs9 fv3x89sLkeFiemNhkexvpAtYe335cwuz4w7QSnhUcOTntURD3qdDdsgbcoHut7BA9H25lf0F 9HKEWc7CvfRgjCCZe1l2FRZLNhgWR0+BgFXqGGxZvdaDrkrJciAg5754d/n889sTD8duBACb xtIuN9wGIW0Ku/jQsz11dc55llttmdr7sexXbKIppu+Md7oWR4NzpoOXxI7mJY0j3GUivtPO VC8GC3iospwMp7bjMQHCjaPedHF6vgljl91Ttt6ikq6qBXDiufUcw/sjxdL1WysLQ49A9Ft4 3kB4XO+TD/8mVHXyjGmOR/z0c2yJQTv6nRFaa5/giJaqZ5iWTkbYJSOYIDi+t6raVBbAENmn Q4GPV/k1gl5g0C18vOy3nVPLPLSjTs7RepF804a0QxmBGMnb2QDC8KwBoBVdoOhl5qs0yHNy IiQlUd71kUfboiN8WzDNvFSBk6RlCal7LmioZ8nJEWkWJsbhfNWvUrXnows1JKlJRFE3vtFv SE8C+2AR5g/U4cqMekYlOdmizy04dcTA0SFSTgIn2kZvlenceCEXn86ar0y+qOpuhJHYFQPl HxShySpEWiQnp6JKiJCZqu4NPHVuHqDRZjtmmXibyHaYnCSu4lViX2TEQtyXQRydSYBHdeeD 3NMmjnlIwalMCWE2k4jK9bcPCYxST6MKJ5zqfEy359BxjG0t3fruSLYOkh70QzJu7C4fX1W2 Xca0MhhWdkgd0HGD78NiMfRZat2WdAN3QUviROuKAf2LHPVM2rRilhhzaGbiOqHF9z63QaFD JBCOnnkBOD2hjBYWeGPslJzuuba5jNXSrPklsmbPL6VHW5zMDElkW+smO3wtv8X6nqCao3lG NHcdIwYLtE+fUwz3VeD45iBcYO582Jxb95XrxT4pqlXMD0mrIF6a+T2CTORvCox0muxQp/vU Ku7Nrz1MIiVPTNDa9pz1QVx59GETrzYLXYsJ0gS79DmUgPUdQQe1WQa0wJT2gOq769LeyLJW VWQJnRVBRHqqIS/M3OU5vpghn5/JLGiJpa3q88c6Mnoo1omKIwleKP3ZF5dRZtVLpU+HaLgk Cu+LstwjnwfJeuaqojJrzNONiKREz568J9tgA9iV5wKK1VRDKrusXBgwaOYx5cG6+yMryNTx 9IIfXshccx8tfCBl7emFZ+FBlSmRz4tVSLcRltA89EnhRWKp4U9r+VyoVevfa4qbisjq24JQ WpWEWt+BKTyudhi+gDbbaKnrDS1IwTzL6qAxUSfG0ihK69APQ7LXOJbI9p8LpgoxkuN5rl3Y kVOo+dyW8TBcH2FlX218hywrXlp6sWsZYbCNRKS2KbGAsBKTBecIOUK4xbJlfIit/0oHcUGA OtPWWOhZNctSVMpic1xPGniiOKKSNtUmFQsT22eTXkWUadKvrjQKvy8N1ovOeSJyZBIqlAaG 9KarF5SUB3UmVQPU0IS8JNKZPLops9aFtiLHHWtDEXGUQJIk3NiQ6Ewjd/HG2megJ1rMxlQm y7szlSmkZVuVKbo6QICJfFypsmzI0YuPj4OQHDmqoivTZ/WVKE27O34qbL5LJLYTrKRXq8a5 rtSN82zoGsjPKReyfNGuRslTnSpKX5hPhCUQVezVIhoatwSB2EbShyBxyPV3Vv2pogzs5F1r 1N5jbUpG8lJ5elpC6EOWxFFMF0C8PrhWgFG/Xy9BtQd9wCH7dZFoqdQhcSeiwqgoPIkXkNOf Q3FNp402JC5M7tXEUWP0fHo1Frqz59ux2LKBTlr31axD1ydXSaFO05U2VWUDswheJ4t7dYmD eN24oEINW01gVpYmRD+p6tBFsLRUVaX6qnbb7jiNP0m0bHbZFJuIPmLhOIacoGFW5GV6yYqM P1K0uYEUXAQHv8TZvz9+//P1ifQEn3emj+IUaHL8ilHFksmcvnt//Pp88/vPz5/RhfH8wZjy bnvJGMYHl9oTaHUzlLsHmST9u+wYd+EO1cmVrzL4b1dWVVfIEYNHIGvaB/gqNYASg/luq1L9 BPRKOi0EyLQQoNPawXAp9/WlqKEDagXaNsNhoc8Njgj8EQDZmcAB2QxVQTBptWhk08UdBi/Z we4D2qqsM2COaXZbYXg/hYqDdow00GtFRBfoWFmMVmyMD6Xf/5xciRPvpSAhGDRZlVGeLnj/ nLV852jltpbp3ZzfxVgaZfIOf8FLPLUPx1NiOTG0Dt2fB5BS6J0NWEbdns6OFUPX1A0rtHTF GbaliD1UwFFeu5PzSNzIPz799eX15c+Pm/+4wVbU4urMcw2wS1alfT+uJXJ5EKuCneN4gTeQ VnScg/Ve4u93stLH6cPJD527k55iWZUbz3IDNeE+6TAF0SFvvIDpaZ72ey/wvZR6WYe46eMJ qSnr/Wiz28seNccaQY/fKgGukH44J34Yq7RmYL7nyZfQ84yxtuvCcTvkXkg17MKiyIsL2Tx4 WLBRvVpN9o4HX62KnE6C8LxDcyW0E0qNR35xIFXNuHOSPhMnRnTp+FmBQ4lTGs/G8n2bhJar CYUpJk2CFxbzUkiqgHactSCaVcWS4QlaPJZdcy/YNo9cJ7b0VZeds5reEaTUC+1WdzKzWV8o pqKcyrxotGV/mgbNXjGPwt/4cgwD2cAaR0/0hee0T0mPgBJLVh0Hz1PcCBmSiWQW0xxr02X5 oczN1e+gvOot88XhwNAV9X5QAvoC3qX3REmPRjKLgz5hrPT9+en18Qsvg2ECg/xpMBQ8erBM yzo1wsJM1KLby3DbygY+nHQEmaTS09kW1W1JyQcIZgdURPVPskMJv+gYWBxvjvTlDYIszdJK dq7Bv+DCp5HPAxfNrflAJ+ybuit7aptEhoKBfLNTsyqqQjPb4dRPt4W9QvuCbUvSTR1Hd/J2 wikVxjWQYywh9VSe0iov9awhY1vsVQ4/aN14n1ba6bpIvLjvm7qk7nR4kR66yaZR+a5ED4yW b8pBy/q3VISYVFIY7sv6QEqYonY1ehZXgqIivcr0t/ZIVDchQaqbE+Wzm4PNvjSny0TFH22r rE6Cvttpi1TZHdm2Kto09+gZhTz7TeAoowmJ94eiqMxBBnJ+mTEYAYVeHwa911me+Qn8YQfC gm00gFzOB72WXZl1Td/sBo3cYADCQptrGEqynGKUS3TNXyqSQBEsbq1FbdMabR1hrNtmRlsM afUgu2DkVFg9YH/RMxvJIN/aUhsZZEWETEHTFWieIqfspWUWJQw5B6oUn+LXWihXDnWg21EK BYJ9CuPuVv9kdAZu+wYf548G6DJ5KFJj8QIiDELYZgpblSCjttLXo44ZHb7Hk8a0LymBiqfD 0m74rXkYE1s2Wolu35OG8tSoRYCFrC/MST8cYMmgY68JGIMZWuMuIcsRN+hL2/va2lmWrNFX tXNZs0Yvwqeia7A2lvQ/PeSwAevzULw4uByOW5KeQalB1ha/tL25apW4VJScsETmUwSYudgi IB8t2xmfzXFYJeIsxfSgRB+yUj1CkFsIOYiTohFlTDngau+7vriDzZhRm9OI9jnI2LLv6ZHM teCFDGlwx1eTPAW//9Xn/0Lb5ZvD248POiDWcsbFMmsMLsTSjsEf1ZIGyD2qdlBEugacIz9k pVpMTrqgW8csAymmkQXlBW+rYccooNlBadJePhBSQc19hwoOG9eoxAQW+K+1eiBTfp+x/pBR 6RtBFReIJ61Gy1jA3ieTa8/pybfwY4guCtrhX/VuegFZWW2L9Gg55Vx6xuKXGjkUF5j8k5bs 3dHftDw4GXq1Vq2mBLuZQMkP4KCKZruUInhwjc9rBK6OYUr54J8e8I8aFgvpR0wz6pqKNNjF D9UYEUjK7owxfejv9JTHmCvWxmbD7epYO4OAV1vGKh1PcmFImeZUASE6RAwDXWAoM2k7nSiz 0Y7kK73/eH36i3ijMH1yrPt0V6CnwSM/uDM+ta9FY1J1cc9lEEmchF/ioIiiXbhUSCJcoAOR RXUDwBm2HcpJNVpCHe7RD1a9L0yFGA8EjLry79N0cD359lJQa9/xwk2qk3s/0syGBB0fz9IX zqKQGYt80jhngcNEr7p6/ytoneO4gesGRhGKykXHGQ55l8M5uO2iY3zIydSF2oQqPkhm4sY7 E1RHdcPH6eZtvIwKt9ye8dVIN+IZqVzrKDf4JY9JJzQ0qtaGztmoWRuGZ7TCZtobxhkl38Eu qE8kGJlZJ9rZ+0TWjuYMnD6WXJox1Cs0UrXTuRmKfLMXxRmsvRggLLpe0DsJvU6KtO8p95Ac ImwOxdTIPeGmQ6v04IeW97liQq4c6XKGIUvxrtdWnKHKwo1rDATpRYY2xkfjm5VugmkWUg/+ xffmUwdOxzNzmGoatex9d1f57kYv3wh4RsFH2/1tNczndMuSePP57f3m9y+v3/761f3HDQi+ N91+ezOeof5EP96UsH7z66LH/EOWQEW/oWJH6zeiQNyQ39oc3N+Q0cpoHWr7hIdXfZAVH9GR 3JbfOnVxIbMOAkS9ONCbcs98l3vWmJtxeH99eTG3lgG2pr12aSgDPEKgtUITUwN720ENFafg hwIUU5AGKTVFYSRuNxU8a48WJM1Ary2HB2sZLEHnFJ7pDTXvBt50r98/MH7ij5sP0X7LcKuf Pz6/fsHov09v3z6/vtz8is388fj+8vxhjrW5Obu07jHI47WiZCkrOnMXn+A2pQ8ZFaa6GPLi tJIGnq1bB/jcssdcXoGFHlVuy0q09nSg/vjXz+/YFD/evjzf/Pj+/Pz0p/L4l+aYUi1gbZ50 2SUvpMrF51xVsU+zBzNcj8xjeIfmVHw6TjWaSDZ9gHkA4kxBfDdoDzNlVIt5IvJnmfKUtRsg AzmmERImKXMxIAHiIRsaqBpl7DJg0PN+aGR9UCJOF5u/vH88Ob+oqRratoJyl9yGPArIzes3 GOCfHxVrEPwC1KKd6AG1KJyujTmZfjmWBX/Zb6lf3p2UgwU8MMFyEBYJE3u63Yafip4S3haW ovm0UUsq6OfEORP0THHKM5MNn/QTkvdoCGBt34nF4kVFYolii+nRyHJ4YEkYrdVVfyw20dHv 3kZ9yyJB+vU0xWM17x1ZtFeEM7kPM1+xBR+Bsq9cT/XsokKkpyaNJaI+PwNCWoiPOPd6pjrk VyBntYU5iy978lMQK5CQGbLAHWjj1ZHBeMgzA3e+d2uSJTM9I7PRRHWtEzO0QiXmSg8a2MZJ qVR3IGyQLibnRGGaWQp0hnYhrUylT73QLE7BQPmNidF2Ajo1CoHuk3O3Q9NgiyH2VPeQ0glm NIe5n8w7YVteW7GwyzdrncAZAutCszYtOAPRXkgPiJHJ6bEtq43FTFheU0hbgblxN7FioDz3 ahAmJD1SAuYqa0hgXdWIxQVmnOd6RIVZ1sYbrYHwyD6t8/F4ce5GDJZtbkBGM/kePbAEYvoT JUtqG8qbzDJoETPTFrHAvzx+gLr09VrBXU95kbLQQ5foG6SH9AiKkvCyS1lZPVgGUmTRuBUW 2j+uxBJ7pD9BmSNIQksRYFO8+jExjngIIXoq2g8b5pVhuHXjIbU84JgnezKs7qvI4JPVQiQk H/1MDD2LvIAcQdu7wPLUZhpibZhRcxdHHjFF57gB5vA2H4KM2KeH+o61xvh9+/ZP0PPWR2/J znlp5rbrq8tuYCCxp4o1CI9T5WfIRxUEoLUF/kB901aOv748IoflmcOUMroQWB8dp1VY+Iby E/Kd3shjXBTNjTXAvywbs/7Q0izYea3JAFXi884Vrk+GxsP5eQTetQT1x0kzXQ2iO4/eMcac 3hbae6WJe8hdcVI1m6b1z6Cnvtu28hx99Rim/pwDoO1xd/P2HZ8vSyO3f6gzNFaX/T3dc6rc IMfxc6rpBXRhDQxmYXtPNNjI1BfVDhUppbVH7FCkrWbONSrpWtlnlf8Ik61vQUOWplQeBEow oZLtMZxCWV50q5LBjW7psOFph/o+HmYUkicv/nMCFy99I7lreCOGKllcqlxY0ffK026BilhT I/aLpBtjTBJuzII+/iiDCZlBOZuTAJulkFat8Qulty03A6edDSihuYQzMOqIAGH5rEb8xpPb o0E85a0izY/kbVpVDSmwjAxl3R4HMwvNJZ9Ent6OUI9jJm69LPAbjQ7oNuDe07BOxtxjr0/v bz/ePn/cHP7+/vz+z9PNy8/nHx+KmcbkZeAK65LfviseLL6vh3Rfyg4yswYtKPXfuj+CmSoO G/l0LT8Vl9vtvz0nSFbYQNyVOR1pOApmVvYZNT50vrJPV4bRyCRc2U18RvmzLchAILhdVDus qdhp7yQX0jfnyFEj090lRh88VAojnpeNF1xLqEq3bSaSMTA+BKkM7o4pN0SEXNrVDBIvDIyU gRiSxEufGvRb8Vc5AtRKTwHKZF7IXXMcxLgTh2SwWPz4eHx5/fYi7VXi/dfT0/OX5/e3r896 LNIUVnQ38iya74gGDrlNaKmKnL49fnl7ufl4u/nj9eX14/ELnvRCUT4U8S3N40R+hQ2/vUSJ TryajpzTBP/++s8/Xt+fhbcQOk8MVKRkygmqNclEnBzXqMW5lplo2cfvj0/A9u3p+f/RDq78 oBp+x0EkZ3w9MSFt8NLAHwH3f3/7+PP5x6vW1ZuEvD3ngGLFb01OhNN6/vjvt/e/eKP8/b/P 7/95U379/vwHL2NG1jLc/B9pV/fcNo7k/xXXPu1W3d7wQyKlh3mgSErimBQZglKUvLA8sTZx bWznbOcuub/+0ABIdoMNO1NXUzWxupsACOKj0ej+tdH8Tfm/WIIZuyp51+Xh8vT555UaazDC ixRXkMcrPDcNwYYfGsgzPJ5xQLuq0pbwy/PjV7iEfPOrBvJQTbNtv/Xs6BrITGJrn+kH93wz DW6fHu9uyYcWe8uQP3kl2s7O4/jWpdhVbeqkJarKTvTbZpeAJsVWcDwU4oMQDRtxAGGIWxqx KH/3yQ5yRiyupQY1422yKAoXMTl6GxaEfS28jSOacpSIs1mhKmAszBxlLmNHcCMIQBScj227 iB7iAzGhL3k6TXpAOJwxFAkssNmM0COmyCbN5LDnvEuMQJusVvG8kSLKvCCZ1yTpvh8w9LwR S+Zlxd73Pa5hEDoZsFArSIAYMgk94umhHRU6cljM/kGgi+Nw2c6LlPTV+sQUCQgQzkhYJVCK VeBxY/eY+hELLzTxicV0IDeZfC5mi3yvrnHrzuFpCcqyVB2a+pAfOk7JuRaxh42ugACtosuo /6TxMOxP6b4g7oeEITV+NsS2KXSKax3FfvP878sLF5hucaZKzkUJqfgg3HvLH422RV5mUk+H YwYr0Ow/9PsijGIPHKdZkV1dZtuCHubQia+VGtgYusp1ZZWXZXKozzi+dfoSOkHVvu6a0nEZ a0RYRwVlw0pLdOMjf8CVqjyukWz0g6A8KudyOUafUHuYmEL0xvH1cfSwVC42gAzQXv51ebrA lnwr9/7P2IhRpBiZGioRzQoPHiCNsG+1ILrUL1Y2by2DJ0uZa8vui7gu4BUkolG02LIhraOD 0TgYxTJc+E7W0snyFy7OwsnBYbyIk2ZpHnt8bwFvHSx5ngg8OI01LBdsqyJxvPUIBTN9A0k2 +JX8dJL8d3Vb8AmcgVsK3wtWiZxMZVbwEwY1wZUAHYmQ0G1EP6V8fxiYRb43FJSgMXugRoMf Un0Qdk/U72XnucAJRoH4LYE16zqr2ipX4dj3++zU0AaZ5Zl9CeV8bzdVZwbgzgsDV7S0CoSV xFYjV92lH6WnkPof2BKcOkBlNHyZo4DIkeuVSsXrVXoKXP1MFoWABT3Qee0h5QRuiuiOG9RK bm84p7Pl22ShYGgH+6soKueHPzLfTcV0hVygClPdWMxEBSvqJu+3ckPrt1wQQ1cY78dXN4vq cnt3013+fSUe0aEML81wYNFBdwxT2fxfYcn518hWOL64kSmqneUu9YrwH80uy9Nfl6+2u3T7 5sozCFe839Zc8qQb8dqrn/JD+tq7R7Ej56glFfO3qpaUAyadSME9y1tvt/Ip5teMCc6Ev9T9 SvhXv60Snn8rt2jl7n0lMH0gV4UxbzezpBwpNanUknpQuNUlMt1Gm4PODpM0cts2UBDIHKKZ IfhVk7VnfGrlRRNgOWWmjTy8zZhqvZc7rUiERVwlcbzAh8aJuuGo2AtjIkYeS2VlY1Z2zVOX 9orarhMv2nmsZUzxx6Q8abOzigSWPEQE8ledXsNtG9tD8GRfidl+abhZcYocY2zIIPT6eDbB y1PpJnOG/ILRgqr7loCchkLrfCSFIGTWIY9NGxywRLpeRR6w2HE9yYSJLYSPDDTIbSTpzhQc B1D29W35a9xVYX9jyl+zKdp11SkB05fEpVf0CfRieuRf1oioHAIpl8YBS7SOGvbRWxVIifY1 mZWsYRV2b4jsQ3cjV3DJFDANlAx31fv3oikO8MVm13B65RKP35+4FEMqoqCvEVaDpiidhHxe AXB8RMOeEmsVBJ0blGOLJOcAIPHsR/pkJiWcPj91gC6T8IZTOPVI1TbpjvIhz1stHa5MoBCW AMgySkMaUvUff8OipuggK4tdu/Jb62EwSB4P14f6/YEzIcF76VeSh3IPJ3n9IAbfekja2acV OsSr7GF2F+kUW47QD7u4rkK3y2LoVlLJSCWymgTp2RReX0eaoNA01Lduii5abF7ZI62RNr5Z UpSb+kyHRLVHDYCqKy0ymYmM6QYkOUNWGQbe8BCzzbbvu8piQwBtoDAZ5nRF6q/BqqUugX8P ltFssNtNNMm4gMy0cLDH0cqkRm8cIGS/HOQ/pLP1qWVWIuLDacjNN12tfPf5JvVNllpNAirk 72rtDoMhmVbZO4usE65UYkepMFSpYCF3sKP8/ymxaQk+oWrSFHSibZNwCXT36Uoxr5qbzxcV AHQlbKiqoZK+2ankj/PqBw4ksnqLPTrs4K8yk5QD7RTzrjtvtdsuVfkksAE0A1+7HUAOrm7f 1scdCnuut1rKfimNEzB5dw0DWDfKuUPaZTVQ1qnC9+gwdQWRGihDPFDW9ZvikBWHnWCEskKo Htx8gBeS/wwvyMieiLMiIvfixKdngwE7e0fbF2YmYO4W7x9fLt+eHj8xzo45wKTYNpqJ2qcu WzcsbJOcs80i5RTMpj3Sqqcl5DrsM9E4Gqb57dJZ83glOntl3RXf7p8/s47zjZz0GiFxBzGb QOCdE5Wg7m++alLFOAwBoO590Y4YAnJDebh9f/d0QVi4miFf6e/i5/PL5f6qfrhKv9x9+weE sn26+5ecewzUCSgmTdVncq0vDnNnweT+6+Nn+aQ80XEZMzm2fg7C526dj825NCuo/Zy1cyhM MM70hTDRLdww2TH9RqrZottgkz9bo/YlODe/bZ8ul+dPN3KVevf4VLxzNQtUsKxJ+Kn37lik aZ8fdgVr/YXnApWopcZLNBTZpk2F2/pWi3Q86H9WZ6udaMrtmvQUoO9NVKo61XY6dmDOyjVY FtOJn+uZYaPkzI2wJB22bZJud3RnVdki37dWNjq9GrjMLcCe2bcmXzqumaqd777ffJWffz7i zJMsH4+pmalBKe7j0dymT0d9huzRZX1ksHkoMd9ny4v4aiJXNZHrIDBKsHFgiB+7ik54c/Yk sUjflMj5I8XIT9heIKadVnTq05CTR8qSZh8Kkz2WzAtHDjJfRsySybshMnm3QZfZtVuGWtR6 yrPqD78BoFHusuPA0xjK1JAbrAeNNLToTOrVuehFS7Hq1MeTG3VSRVC5e1xImT/iwM9tKdTw DqnT5nqBX/2MbiC1syTlCtN8WaRcs2pSptRGMBaPqaU4dPIAJIp+7Ha1rJzvvt49/OAX6LM8 nx/O/cmYOcwKxD0xxqz/0m6Pjo4VOB9s25xbkPNzl064AvmPl0+PD0a9mOMSaWGVB/uPJCX2 O8XYimS9wN73hk7BUgxxnphoYoQh9mKd6EOaHspousPSp9AihtN2q3UcsjHyWkBUyyUFSTEM ALFzYDNUUo+kuLegjDelHwd91bCh/INptW00/NawOeNuKcDN/bjdYv1lovXphiUTDDRK19oH ywW8p1kuOeDrI7+UomQDupBnbAv1nzjoHj0zE1W1ypVBwU5okQCLiPcTFjolsyVOTctP+WE8 MM9cjIdPZRyM8bZhSGtMOpckOtwQbOdcTSSJNzdVEtAUTJKycNzsbqpUDlwFXsG5J2VJgGdT loTUmUF+5DbzIrZozeMurxWHxlchHErVlj7k3MiuzyJDnaR+0h7RJMvN9fqc/nHtWyhfw1xK wyDEaU6rJF4saT5VTXKlpDRcC4MviUlOMUlY0ay8FcA4+fNMpZrOV7QmkabVOZWfdUkIUUDb LtLEgSsmuutViO+ZgbBJltTr/P/h0d6LYlclciqVHbF+JFnsrf2WizoF9++AuC3H/ppMgjiI LDf5tW/9tuRx7lL5exHT5yPqh6kpfbGFPJZN0iZlyU4MImfNSblHRNbvVU9bGa88q9Z4zeqZ wAjJo6tVbD26ZhHagLEgK4rUIKm5NFsvIg5BSa5H4FRIE2qDVVL5xRjydJ8EqCCe3/PJm1Vk of1IfjjlZd1A6FOXp13NHaqHGznchn2xWmCXnf2ZpC6Qx8g4s+vSwB926yZ2lwaLmIWAAw71 n1OkNb/caZ4jr7rUNLyAzbArOb5v5dJVNDYDu+QEC98WDllcDvD/i3D3VGkTBhjXBQgLHCUK hDV5xDiqgDeE1JQg4pF8kCo/9B993b2kVU0QBWvHkDgkx3hFwAl0ije7kPGcIOQ8ZEsy0Gik SUKNAMj8Y4PSdWpEeyvfts4pKnvfPTAXwgv8+VN+4IfcdzJcbwWeenYD/GAlvOWcHPkiwvkb FVkW4C9nFQv7cG6xVyHr3G6YEcbBMbUo+D9C7cp0scQem6dt5Hu0r83R4Tx8uL8aq7R9enx4 ucofbrG9SKpUbS73rTJnykRPGEPht6/y1GFtPaswIqv6vkoXNpDPaEocC9AWpC+X+7tPEOOj Ap1xsV0pFehmP0PI1oz8Yz1xkH6VR6z5Ik3FiqxdyTvqVy7SLPRm6oGm8poI1F60BRwqdg3W aUQj8M/Tx5XZCIbbQvuddbT33e0Q7Q1BOOnj/f3jA00HYjQ2rVcblD6ePWnOE7Y3Wz4eBpUw RQij0Wlbs2iG58Y2TQZ+UNRFMz6nm8Ve5xBJDYo+nXBndZioMj2c5ci+0eORqD5oZ116EQ9q BQmqHak7gcWburIlSYQMvxeW2iIpvEubZC3XQevmhW6ex60ikhEFi9bWepbRym6SpNihZYi5 jubhaEs+hbFirGzRiNeYJIOokHLf8lpKsHTG0CMq1mpFoVyzpoY8VtyUy8RigRVWqQT4RO8H rSDCOSWrKAjJ7+S89GP6e0X3GrkrL2I2TRZw1hR6rYPoYLljBTacK+Evl7G9nUlq7ErPa9iR z+O66J3B6iEUO/nKpBkDdW+/39//NKam2YRWMPt9dqyqD2wVswJMEr/Lf32/PHz6OcZr/i9g n2aZ+K0py+HqSrtKqGvim5fHp9+yu+eXp7s/v0MoqxUturQTExNvC0cRGnroy83z5Z+lFLvc XpWPj9+u/i6b8I+rf41NfEZNpNVupcrLrwqSYz6jachfrWZKz/dqT5G17/PPp8fnT4/fLrIt 9g6p7Bgethhokh8ypMgmBRGROreCgHsrymJpWTZ2PutVvj0nIpB6NTaMTDRqMEF0vaZxVond h7bmjRJVcww9HLRsCPbqpkZyZwqCmC1uU+p2UkUnR3B3v+td+nLz9eUL0lYG6tPLVXvzcrmq Hh/uXuhn2uaLBVnyFGFBFqHQI1iPhhKQDZyrBDFxu3Srvt/f3d69/GRGThWEPjrYZfsOK0d7 UKbxyUUSAhKcR/KbVEWmMVgHZicCvH/q33QQGJo9ALojCw8uiphYXuB3QD7b7F31SieXiBcA Y76/3Dx/f7rcX6Q2+1323WwWLbzZlFlEcxIOUjUkPP02VeFHs9+2vVDRyHa+PddiFeMmDBR7 VI90fqO/rs4R1nIPp75Iq4Wc6h5Pnc0azJvFqSMhOesiM+velOHbaiZoKaooE9htitBp51k8 0on2cyE5JL0yFHAB8FEpRC6mTtZwDWit8iNOswvtIn/I+eHa3pPsCPYJdpMpQwsJS1LkEsXd aCRNJtYhGbdAIXeOiYjDgKSb3PsxXjzhNzWOpZV8YsW3HHi8o3olWxlaxUQs+ikwoiVRh3ZN kDQeCwOnWbIDPA9dUYzHFFHKPcsnqirlsZkkFMsPyEEfW8RLZ+YsLdC02M3vD5H4gZVzvGk9 R6KDrl3iu4jyJL/3AiPGyKVf7g7WZgAUZFw81AkNS6+bTo4E0qmNbJXKcuHw5y18n0XDAsaC GrW76zD0eaN2fzwVAsdxjiQ6cScymbNdKsIFTdGhSDE3FoYv28nPR/BtFWFlEeKYKuqiXCwd OHhHsfRXAadsnNJDST+GplAgxFNelZHHYs9qFvWYOJWRzx48P8rPGAQe0THpGqPdcW4+P1xe 9CUBs7dfr9YYiV/9xtvWtbcmRkdzJ1UluwNLtLcIzOJXdskKfeeFEzyYd3WVd3lrqXjoWiYN lzPcH7rQqwa4NLthrOyrdLlahNwCYVivWHewlKWpDOy2Cn3PvQtaYi7gF/aL6m/9/evL3bev lx/UyQusNUdiVCKCRvn59PXuwTVMsMHokJbFYfwgrJanb2j7tu6mxKHjzsrUo1owJHu4+idg yjzcytPow4W+xb41DvnIYIXYKu9Ve2y6QcChR3SQrKGs68ZVkAKJ5woZX4NvrNnnH6TurYB4 bx4+f/8q//72+Hyn0Jfw7j9O2bfFyRnv2+OL1EbumLvrZUBXsUz4KzbjOtgxFrahg6C0aAK5 zAJ7hufzuLDA80P2YlRyliG96Fj45HjQNaV9enG8K9sPsv+xhl5Wzdr3+GMafUQf/p8uz6Dh MUvjpvEir9rR1awJ2MU4K/dy5UazIWukRsefgRTOBOI0HllxirSB/mHDsZvSxycx/dtecg3V sdo2ZejTW4tKLHl4F2CE8WxydL07t3K3XDjQ2fZN4EX8uvexSaSiyAeUzr7PpEs/AOzU/LOJ cG02XLwpEmHz5R9/3N3DKRDm3u3ds8YtmxWo9D87gVSRJS3kuMz7E6d8VBs/wPOrIYiL7RaQ 0/Dlk2i3JPbpvCaDR/5eYrUCxNGFEGgZFOD4VC7D0jvbwHBvvPJfxg2jFiDAEaPz7o2y9LJ/ uf8Gpjk6B8nN7ZpF/5dLVFH1kEa4qtP62JSzhMlmvnU5i0FQlee1F1F1UtP428ZKHjrwDSD8 RrbhTm4aWFdXvwOc4jE5h/5qSQDzuJcfxwwG/pA/xtQlk9L+vnolSQpwR7+A1yTsHIyIa6Cp aTv2xebU2e0oqjOvLhsme8FueHIHsKpQCeZCSgN3bkD0tagTWgOpUqVbc4Q9Ah/8ex0tGtzx Opy3STHMnbf1WWw/WEUsg1XalJlFJTk/FeV4WBR227sidyFZG/a+tVK+aR2ufXf16cvdNwQd O6xh7TvacPBJ3BXpjACjtD+0v/s2/RTOZU9SHe6wm7scLLjMoSOhdrR4ma4BdQ0ba4ZQBDRj TnJwQ02NTSvSo02qM4x6pGkNbo0miRxJlQIcOmXz0EdJpI4JSiu4IJLMXdBAKQoZs1uLeui0 fj1M/dHdt533PPYF5pjKddjqm0ruubqVkx5tf+uxQU2SXvebox1+sAcHUwUDI6ldW5clfo23 OCZMxlz+21zw7SEWDU2V6njZ7zioFi3AQvBoFsWwMjQrobOh0sB8TdSdzFFtZAiNGzDg44Tk ftBiRtpzUysP+w9X4vufz8rPeppnAOfUypkh2VMxiNhXRVNI3XBPHISB4UKCAp6JIXU9agIS j2LD4pVLCY1/BBLozC5p1/Uh0ZAQpMHDIwehmHZ9E4vX9EDmIALlJJ21nKFElaLwDZIumdcr m9qkRW7Xa3IC9F3dtnwyOizF9dTAEwVEpr9RgEjKU22XABuiBi6y8fiQUFWc5cDH3wsxTVSy /hakbBPP7C53X8AUlKNyw7wbxPLLKXeo1TdztUytgUmo8KvratY4zD92VWFXMvBXZ/P4q/Vo MBaunuac9MHqIHUJUaR2JSPTfhHaFIAAeKUFkn3ETucD8Szmby3J+2z+tnWalzUAhbZZzh93 QGqI63L1+QTJYgY1y4PZZPEGD7uscTLg19mz2z0K5FbWeV5KDRp4f9cLEMFMFNzUmuKG5Eu+ VVD3oclTx0sxE8N4m2aNhvh0vpGRUxPvlyRfaavR6uZjSCUON2OCcnTc0fvio91+vRFe53m1 ST4wH2U4nZE9BRUBUaspn88cx33IH1JxHl2xmssTJFRSJ7x7fQU8VwxBlUtVAJQVpS6JC7kI aPp0v6Q5yx8/gMPfVykRDudYcSqK2cRVkImjXbrhDqtvn2XtvMmiycfihi59pQ9G3UBFalrw 1EOxh6ytcTCbIaiofYABwRD4lIfHjfWUySnx+9/+vIOsrP/x5X/MH//9cKv/+pu7Pgq64EDE zhKkjgLeKiGo1JnWTzsxpiYq7baYyQJZnrm7WTRuvj2KnB0W05r0togsmPNMVlWDfjBUTduv 4wbxxzKMwwmSee8aHM+pfZNVWxAVUDkGmnaKeH/18nTzSdmO7Kkj8LlY/oCLvg5ykYgi5RgA F9NRhnKawn0IRFEfW6l+pDr8m78omMTYLMWc4LZrk5Rb7fTq1JF8UQOt33VckpiRLRyPybXz tccaHII5Uqf8t4Obxrz3x5Wg2dG4FY0u08AUUX653Oohn+mrXTsKC8uvYuAL2VVdcQYgOQwl MfKNZ7V1yTOy5dxeuNwYRqEqSffnOmBasGmLDGcDMq3dtnn+MZ9xTVsaWFW0Fay1ymvzXUHT ANVbzHG1MlMA9/T1JK3fVvygHAWSLb92096S2uohV8F8/aHO2O8lRapEdCYPtv20Ye2PnLqM BOQhM88xrL6Aw2Fd2eWJTe7E6ZZnfm73PZZdIXv8PDl5oIs1FvvgCAERu3gdODBZNF/4C89x 0XI8OwNPJWvMaDS/50MYB9OtPovFJMqiIvYDIGgkk7RrSzpzW/n3IU87exkY6LBXcH4d9RGE 0FeRK9W7Y5JlWDGc4LQ6qdtIFaj7v8qOZTluG3nfr1DltFvlJJIse5ODDyCJGcLDl0hQo/GF NZbG1pStR82MNvF+/XYDIIlHk8keEnm6myAINPqFRqO1s/CxTLz7SxWXsQfAO6usU0/3eJW3 srKseHYSw4oE860EHaCvC7c/6YZhyF+CGG0wRNSQe4uIKxsBUxhbo8RvsVSTG7ntYV2kSjGW /tVmfYMCKy0BhSjoGC+0AL5qvalkcFfGSHHDayEpP2nR6BvZ7J4lk5e0CY0BA92ZNza0YSDX bemeKVQAvNddlcFRzLGgVVFVA9bQr1ld6F0Tr6Eg4u1gJYhJqy+LXHY3Fz7g0uttLK35Yq0s F81V5xhwCuaA0ExwALFjS5j6STZBCRORsc0EDKRxImpcMfBnnoBlawbGxKLMsnLtCPaRGO1F auFZJLcwo+rLyLflHMalrDa9ZIu3dw87r8SNWjJ01rWm1o7Icfd6/3z2BZbduOpG7wZPLZI1 vXS1qFRkSc0tr2HF68IeQs9wlXkV/KSWpUbcMulW8NNggSrpPXXAIm2XwMiR/QoDArlgK2Yw PRdJF9dgmtnKvA/FLsWSFRKjgs5T+k/PaqMfEw6hpRPw/jQUFTASkue0KIHlB6Jt9dd0ZDpb W4gYRmTspwGA6q5zEI2fVJ4H6Zo40lafEdrdvR5wE3K8bnJ4/YqT5agbHrcoxLok540K58pa uEqnJ5nIrNFIks/U3RMpA4e+4IkSb8j3Hd4pGJtDiuO2ok9GiVUQ7SgoteFtW/wMJxyfzGHs /LrHJBrYA0zsn349gl/46+txd3h8vt/9/LD7/mI5iX3Zu3GUmKVEsyb/8BMegrh//uPpzY/t 4/bN9+ft/cv+6c1x+2UHHd/fv9k/nXZfcVLefH758pOep9Xu8LT7fvawPdzv1Pb5OF+m0NPj 8+HH2R7c6v32+/6/W3MqY9AXAu+jwd2IoiycaO4yBr7P2qUo0NZuQfxytlJfTs4eTR5tak7f OTpDj7NKJY7aT0CP8QFnZjSoQx9qBQuu0HUvL87PQ5oaLBuR8756n2sYwZBgiRRkrWHaSBO8 J0Wz36J0jDt6/Hv09PQNB+n8hThIIbQoykHyH368nJ7P7p4Pu7Pnw5lmPqt0viKGb1o6hSod 8GUI5ywhgSFps4pFldpLxUOEj4CETUlgSFo7d2EOMJIwrL/Yd3yyJ2yq86uqCqkBGLaAAfSQ dCyISsLDB1y7zaUeSk321++6VMvFxeVv4O0EiKLNaGD4+kr9DcDqD8EJrUx5EYdTLvJkCHC+ fv6+v/v52+7H2Z1i0a+H7cvDj4Aza+duSw1LQvbgcfg6HidOgGMA10lDe3B9P3My8d18c1vf 8Mt37y5+HwKPr6cHzEy7255292f8SX0PZgD+sT89nLHj8flur1DJ9rQNPjCO83DKCFicgr3G Ls+rMtuYjHC/34wvRXNB5sH3X8avxQ0xUCkDkXXTf1CkTt2hsjqG3Y1i4s3xgvLje6RrpA1Q 8uqKvkcR8UhWU9vRBlkuqEcq6O/0M7fEcgEjxpQq9BZGOjfyiQCDsKVrhPbf1DTCqZ2qg5Tb 48PUUOcsZOqUAt7qWXGBN5qyT7vcHU+2rTas4PgtmRRt48P33ZIyOsrYil9GE/CGYoI6lhfn iSAvwjZrgXyVNReeTEyuCBhBJ4Dp1UYvxc91nnjriKKYOG0+Uly+oyuajBRvybNB/WpNncst BuDlu/cU+N0FoX5T9jYE5gQMfe+oXBKDIZf1xe8zEnFd6Tdr9tq/PDiphoNsCpcawJx6fj24 aCNBUNdxOLURONF4f94kIiif0HMew6vzRKhcYqavL8y929dHLHnUaUS/Jx5LyEvIDXJBK9dV yj6xhGisYVnD5vimVxXhJDux1AFYV7q6ms8l4XBLHg4YuKbkDBj4OJaaP54fXzAr2DsDPozT IgOXe27RZJ/oKK9B/3ZFZx0MT1NxgRGZUtLgUyOTQHDX26f758ez4vXx8+7QH1F3fKiBnRvR xRVlqiZ1pCr9tDSGlPUao2ViMHyIA3U7/YlIETT5UeB9nhzTx6pNgEXT05Sx99/Xo1R/pl86 kE06AwNFXVASyEbDGrshL6nxSEkfZcDyQlnMZYTbdHaMZxCHjLAN8DM7Uy/U9q6+7z8ftuDN HZ5fT/snQpXjgVJKAio4JdfUCVStNvsUtDkaSlimOjaCVFogkA1o1Ow75p4ejGGrhWDNOYQz yw/oer0Odj/66L/Pkcz1edI+GD/IMaVDokHP+p+TrgNZEOOB4y/KATiqi7PwXlGdGH73sLv7 Bg68fWro75D3PYpEweqNDq4vPgynkaf4LRMFZ3VXs2LpZLgwtQ0xAiIB+v6G13bUW7GLYhwK 2ydCgqFQxNVGX+XnuqU2ScaLCWzBZddKkXmXndWJoOxQ+PCcg1eaR9CdsbFaxSztZNYhUTNW 1zswJ18avgkj/nFe3cbpUu3K1HzhUWBkd4Ha32wNCvdyH9NGs8lBpBfmdJxdGLUwEX6nIi5Y uJh0Ix39Gl94jBV3M2Zw3AnZdm4Dby+9Bt5eDgHcCf2nSDIR82gzZdlaJLSaVASsXuuwuPck cA390HtHvrnSLnZyj2HhzXgksXVsxndBWJsIqWcJQy5MUgIJlkVS5hND1XcBjQDVhnvSC+Bq l96H337qnG1P/bu7dWs2GajKBquorzMEgtmDZYDMvdZ5hMoU1sV0Y00F4xG0FsUfA5iJ+3tL yQ6iG5Tk4DNzHGYK1q3yioRHOQleNLm9fsAIuWGZtwt4y+qabfSatGVVg6vczoRCkFMyGX7g 5uwIKMD87RqNAPm0lKmHQwRekYTa39/3QRzD1DXZvb8CVnffA4OYsRoTf1JlSRGipeGyrcJO DXiwreukXBczJM2miBV6MZzT/Ssq5xTEQIJYvKyb6G+zFqXMIvfzirLoKbFabuViB1RVlpmL qnlAbaQkgUHDrM8josAwd1Y/l5lmUEuaVC341E6r17aGyMrI/WXvefV8kJlNxb7N7FMnmRNa EvU12hfUVkReCaeiCPxYJNLmUVCx/fK6SRpLUfTQJZe4A1EuEkYcQ8Bn1C1mnVN2H9PfMuFz ndrWWLPM3w1JeFU6yWxYJZ/c/wsMDXdvqbdsFPTlsH86fdOHEx93R3vHaVDyKisO1O8yA/Mi GyLy/56kuG4Flx+uhvE1F4oFLQwUoJ6jElQYXl9XgI9v8YJiIfgPDJuobJwamJN9H3zW/ffd z6f9o7HQjor0TsMP1F6ofhv6CgSbGO8jbzHUkHK73P6ihk6r/IkPl+dXv9lzVHWswVTP3LGc avBz9FVdDR1+TIEAq7KLAiaf5FqzuLi6SBx3pHMmbQHvY1T3urLINv7ogsTBbMW20A+wTGDh BjskqBhzzUBY6C+tSiX3G38EDJx+wRq36nCDVUu30bD+uxP1D/viNcPOye7z69evuNcmno6n wyuWDXLzvxiem2s2TU3dtmD61wQ9bpSYWuP/7XkbsLh7owhyTKsip9BrCXdkp7bCtRpeJtaQ m1/jNj381ntFRCMKuXIeB0C/h6kZ98P5nxc2Fv4pRdGC9mMS7Oe6rFKwu86dKUet00YNK8B+ LIQE584MiCFSOLuXmljWE2cpNTrCe7TInAeFxuQK7xX+670GFcfm3J8H78q7WY5xpx8TXjgx 8di1wI80m8JDu6PoxEQTPO6IhWjdwKRuDvFKG1IuFD4LhoVbKkNBYZU1ZTGVoDY23Xm79Q5B XSYMk7ccPTqaGopmfRv2eU2lOA1unEza3ElR1xDqGkGv3TL6yOndpSZro57IGUSFUDGfqXVl ZhMsTpNe4L20x8z0S6dTtKjAqL6BIkgMDS8SXy9443mTh7dA9piwc0CNu0FhwpdPVUfz+Gq5 yNhybvDHjpGHSNyPELVsGbE4DGLmNfqiFpVoMce6WkWgTT85sVpgMi19aIS6oITZtzzGsfoM jQ3jUBqLKVtoWBXlKHPAgfCSU1UbpLQJpIGnr1N9qlhv8CHRWfn8cnxzhlVKX1+05ku3T1+P thgpYG2BZi4dB8MBY7psy8dD5BqpbNJWjlIdYyjoz5h7BixroVzISWRUlhIvf8htMvWGv0Pj d02336V41gs0z8peC1phDajhAy4uz8fBH181Eqo3EdwySWt6NYzM+hoMHDCTktI5EDE/RTq5 DmyW+1c0VAgVoAWEiT6PaUDEIy6f4IevOK+8fFyzQsDXzisZaCLsoKXf/nl82T9hVgD0/fH1 tPtzB//Yne5++eWXf1nBR0yHVu0ulUMx3HNr54vezCdF69vtJaNCM0bdYIBO8lsemFr99eA+ fIJ8vdYYkP7lWqXqeQT1uuF58Jjqoed5Igy8KoqUADNZ4o2ITcZ5FU6JGR29YWJ8Mkp6qX7A 4sK0ek/5jl8W+LdNvJh4KG4S3eaaCRme5/l/OMLxNtXRJfszlfcAA9i1BW5IAlPruNzkjK+0 RvfkM+HPWaLwmzbR7ren7RnaZncYXic8tEyQUUCzOhAbcBmxjFQavQA3huRpbW90ykqKS1Xk LMj4d4TEROf9t8Y1jB6Y3l4VS709GbeUEKGnHog7dS8EAZ9+AjMyp55CravczUHuXl5YPiu2 O3GiDXH8ugkZ0P2iwJi8Nr5hrVQ+FT+GLqUgwjNtikneV8ywgj+qqhz0q/Z4bfBo57FL8FZS mibZFAwX/aJfDtPIbi1kiue7Gv89Gp2r8zdAgJsmHgmWyFCjjpTKh/Ybic2DuhUrLKvajl35 qQJD/r1w6jI2Re9sKeFogoeCAUSMEfijEND3lv4EoaU++sBAIElQJatgmHmGyucOZm48AkFN G21NOvNDH9XpGwMVh2n61B68Nu7DjmBhmnKxmOuB0dNzJNo+mCFI1xmbbcHwl+GhiRpx6vGu KcCkhtVE2UkgzWH+zTgE6eM93Oyh4b2D6gEyQ6YF6ohrjrMYOaoWAayfIx9Ot9BsClhjA3Qc IxD4fe3ImQEwa0AUqJemydQC7CIOn5ezmvYNrSVGU3rvZZnaosAxtDu+jMubYWzn+NTMsWQ1 bkdMbILZnbJJyQHElexjGVb7cW+jVqBel887h/qcugl38SFneHt4fH9FRkcEGsa9BBKJHb8v weHCkqEECHfLVw0e0+8a/NcUyUDRyTymiGImnUIII0Y/VQlSIblUXEY3F+dU8+YQOJf51S2J tw+zW70ChTdq0RAt6Qq1/ijbIX+5O57Q+kO/JX7+z+6w/WpVeV21hb0HoX728Rof7PKLhvFb zSMUTik1k98+nncyZhcG+1V12486Uk3pAeUODhSOHmAiazJGhz4QqUNgQXjNonHanj1ehM0t 0DZ3e+A20Md751bJChZ8EHJoQJKCHNBrvHKv6gQEtdLNgRccW1z0Jhtt9MdWiaQsc6RXxjNw p62kFRzP2KScVR648bzBqPcOlJ8SyKJRREa4JTyDV/u6ZVZiwa8JiebsLvuxSuWPvb8i3CXV 75TfmmCk8zV620wf9WpCZBPbyXQKugKwtAvKK+iQ22MDIyHzYADbVjgJoQqoN8hpJYR4PBa6 ADk6NYk1JlJI/7ST/nA6rU/hRGJttS9EgWVOLF0XtLUQdQ6eH2Xyw4OwirPEFyBoiMiMFBiK 8xyElUNipUBNsQO8sumIqW4TnjF/2kAbgYTvQgZQWVUi4H6eG6g3Ash5KEqodQ0P+ZuvszI3 OCim92L/B7ToF2KuxwEA --MGYHOYXEY6WxJCY8-- From mboxrd@z Thu Jan 1 00:00:00 1970 Content-Type: multipart/mixed; boundary="===============6140218999744990309==" MIME-Version: 1.0 From: kernel test robot To: kbuild-all@lists.01.org Subject: drivers/remoteproc/pru_rproc.c:145 pru_d_da_to_va() warn: always true condition '(da >= 0) => (0-u32max >= 0)' Date: Tue, 04 May 2021 21:39:57 +0800 Message-ID: <202105042147.xzNVb08J-lkp@intel.com> List-Id: --===============6140218999744990309== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git = master head: 5e321ded302da4d8c5d5dd953423d9b748ab3775 commit: d4ce2de7e4af8b978eb816784d0eafc220336d52 remoteproc: pru: Add a PRU= remoteproc driver date: 5 months ago config: arm64-randconfig-m031-20210504 (attached as .config) compiler: aarch64-linux-gcc (GCC) 9.3.0 If you fix the issue, kindly add following tag as appropriate Reported-by: kernel test robot smatch warnings: drivers/remoteproc/pru_rproc.c:145 pru_d_da_to_va() warn: always true condi= tion '(da >=3D 0) =3D> (0-u32max >=3D 0)' drivers/remoteproc/pru_rproc.c:176 pru_i_da_to_va() warn: always true condi= tion '(da >=3D 0) =3D> (0-u32max >=3D 0)' vim +145 drivers/remoteproc/pru_rproc.c 118 = 119 /* 120 * Convert PRU device address (data spaces only) to kernel virtual a= ddress. 121 * 122 * Each PRU has access to all data memories within the PRUSS, access= ible at 123 * different ranges. So, look through both its primary and secondary= Data 124 * RAMs as well as any shared Data RAM to convert a PRU device addre= ss to 125 * kernel virtual address. Data RAM0 is primary Data RAM for PRU0 an= d Data 126 * RAM1 is primary Data RAM for PRU1. 127 */ 128 static void *pru_d_da_to_va(struct pru_rproc *pru, u32 da, size_t le= n) 129 { 130 struct pruss_mem_region dram0, dram1, shrd_ram; 131 struct pruss *pruss =3D pru->pruss; 132 u32 offset; 133 void *va =3D NULL; 134 = 135 if (len =3D=3D 0) 136 return NULL; 137 = 138 dram0 =3D pruss->mem_regions[PRUSS_MEM_DRAM0]; 139 dram1 =3D pruss->mem_regions[PRUSS_MEM_DRAM1]; 140 /* PRU1 has its local RAM addresses reversed */ 141 if (pru->id =3D=3D 1) 142 swap(dram0, dram1); 143 shrd_ram =3D pruss->mem_regions[PRUSS_MEM_SHRD_RAM2]; 144 = > 145 if (da >=3D PRU_PDRAM_DA && da + len <=3D PRU_PDRAM_DA + dram0.size= ) { 146 offset =3D da - PRU_PDRAM_DA; 147 va =3D (__force void *)(dram0.va + offset); 148 } else if (da >=3D PRU_SDRAM_DA && 149 da + len <=3D PRU_SDRAM_DA + dram1.size) { 150 offset =3D da - PRU_SDRAM_DA; 151 va =3D (__force void *)(dram1.va + offset); 152 } else if (da >=3D PRU_SHRDRAM_DA && 153 da + len <=3D PRU_SHRDRAM_DA + shrd_ram.size) { 154 offset =3D da - PRU_SHRDRAM_DA; 155 va =3D (__force void *)(shrd_ram.va + offset); 156 } 157 = 158 return va; 159 } 160 = 161 /* 162 * Convert PRU device address (instruction space) to kernel virtual = address. 163 * 164 * A PRU does not have an unified address space. Each PRU has its ve= ry own 165 * private Instruction RAM, and its device address is identical to t= hat of 166 * its primary Data RAM device address. 167 */ 168 static void *pru_i_da_to_va(struct pru_rproc *pru, u32 da, size_t le= n) 169 { 170 u32 offset; 171 void *va =3D NULL; 172 = 173 if (len =3D=3D 0) 174 return NULL; 175 = > 176 if (da >=3D PRU_IRAM_DA && 177 da + len <=3D PRU_IRAM_DA + pru->mem_regions[PRU_IOMEM_IRAM].si= ze) { 178 offset =3D da - PRU_IRAM_DA; 179 va =3D (__force void *)(pru->mem_regions[PRU_IOMEM_IRAM].va + 180 offset); 181 } 182 = 183 return va; 184 } 185 = --- 0-DAY CI Kernel Test Service, Intel Corporation https://lists.01.org/hyperkitty/list/kbuild-all(a)lists.01.org --===============6140218999744990309== Content-Type: application/gzip MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="config.gz" H4sICD9BkWAAAy5jb25maWcAnDxZc+M20u/5FarJy+5DJjpsj6e+8gNIgiIiXgZASfYLS/FoEtd6 7KyPJPPvtxvgAZBNxfWlajKj7sbdNxr88YcfZ+zt9enb4fX+7vDw8H322/Hx+Hx4PX6Zfb1/OP7f LCpmeaFnPBL6IxCn949vf/98eP52cTY7/7iYf5z/9Hy3mG2Oz4/Hh1n49Pj1/rc3aH//9PjDjz+E RR6LdR2G9ZZLJYq81nyvrz4cDs93v1+c/fSAvf30293d7F/rMPz37PPH1cf5B6eZUDUgrr63oHXf 1dXn+Wo+bxFp1MGXq7O5+a/rJ2X5ukPPne4Tpmqmsnpd6KIfxEGIPBU5d1BFrrSsQl1I1UOFvK53 hdz0kKASaaRFxmvNgpTXqpC6x+pEchZB53EB/wMShU1hv36crc32P8xejq9vf/Q7KHKha55vayZh rSIT+mq1BPJuWlkpYBjNlZ7dv8wen16xh25zipCl7fo/fKDANavcLTDzrxVLtUMf8ZhVqTaTIcBJ oXTOMn714V+PT4/Hf3/o56du1FaUoTu1DlcWSuzr7LriFScJdkyHST3Ct0uXhVJ1xrNC3tRMaxYm sIyucaV4KgKyX1YBTxM9JmzLYZ9hTEMBc4dtStsDgrOevbz9+vL95fX4rT+gNc+5FKFhhVIWgcMz LkolxW4aU6d8y1Maz+OYh1rg1OK4zizLEHSZWEum8aC/9wuSEaBUrXa15IrnEd00TETpM3VUZEzk PkyJjCKqE8El7toN3bkoxRiRKYHISQQ5AYMrsqxyV5hHwP7NTLwesUVcyJBHjdiJfN1jVcmk4k2L jjPceUc8qNax8jno+Phl9vR1wAvkaYBgiGZ6crxMoyG2PYcN0CFI6AZYIteOsjGcifpJi3BTB7Jg UciUPtnaIzNsrO+/HZ9fKE423RY5B4Z0Os2LOrlFPZMZzuq2CoAljFZEIiREybYSsHi3jYXGVZqS cmnQJCYR6wQ52OybpM9ktDBH00jOs1LDADmtaVqCbZFWuWbyhlhSQ9PvTNsoLKDNCGwF0Wx5WFY/ 68PLf2avMMXZAab78np4fZkd7u6e3h5f7x9/GxwCNKhZaPq1TNtNdCukHqDx2InpIhMaLvM6cjWd ChOQDbZdD6UgUBGqspCDfoXWlKpEy6U0c9kTQSA0KbsxjQaIPQETBTm5Ugl3NvCzszSRUGhVI5IB 3rHNne2AHRSqSJl7TDKsZooQCzjPGnDjg7fAbqLws+Z7EApqw5TXg+lzAMIdNX00YkygRqAq4hRc SxYOENgxHFia9qLsYHIOnKD4OgxSYVRFt6n+pvSLFRv7D1KcxCYBfTsQ1IGSstxnVFV7AOru9+OX t4fj8+zr8fD69nx8MeBmJgTW04yqKktwtlSdVxmrAwa+X+jxVePdiVwvlpcDtdo1HmLDtSyq0mHz kq25FXlXr4MbEq4HP+sN/DXsya67h8ZMyNrH9M5dDPobLMhORDohthJUAdlnM1IpIjUCyihjI2AM 7HhrltOPbTFJteY6pd0oECLFtaJxtnnEtyIknTeLhy4avTBsCWIUn+o5KE+ijfGmxLBA9drQMM08 6wQuLLgFoPaoCSc83JQFsAfaIYgCHD+vUaTgR5uO3T7BwsMhRhxURsj0UHG154hKk8QEKarUrXG8 Jd04KAo0QUNZ7Hm+AFuUiVuOzpDZ1kJmIBqeYR6SKfgHtXvgr+gUlFzIjYGzisYJHsq4/2FVoSMT 6BEBxzhSo4C50KGte0dosHMNgphLbH0rz1KYgIJyETrFDee3IToDZvEMIAPXcOimtONWEMk68os/ a9fFNbbVgsOs3IeJoxd4WbjunhLrnKWxI7pm8i7AuHEuQCVWq/TRjChoJVzUFayX1tAs2gpYY7O9 9G7BOAGTErx7Yhs22OwmcxRMC6k9j7aDmj1FTsdQxmOZeuQGG5W8YyBrreFHsl+EpygQBGKVgn9L zA8ZzTR1967zoPulweA5eMxWnnuJVPya6BRa8ShyVa05bBSqeuitl+FiftZatiZLUh6fvz49fzs8 3h1n/M/jIzgnDIxbiO4J+K69z+H32E3LaDWLhPXV2wx2rQhJZ+idIzqeZWYHbG0bpQRVWgV2Ep6k ItRaPCu0BeWPYqaCwUGaZInTlgUTA/lkBW2DsD2MLcEmN6xC9gZEaOPQuakl6I0iG06ix2PQDD4K xVQqqeIYwk3jA5i9Z2AJHNnEnUDfEoJLLZjD0eBOxyL13BGjO41FUa7D5eeBes7NLs76thdngXBV qxsSG1I7RZWIWF8tlj4Kfui61C36jMJm0RgLspNlDFyIPKpheJAiCNAXl6cI2P5qOdFDyw9dR4t3 0EF/iwsnxhQFem0Ad9IX4OWGG+sBN16dkxNIU75maW22HYR/y9KKX83//nI8fJk7/zmJsg0Y73FH tn+Im+KUrdUY33q5VlTGwE4TtlNRY7JkxyHspeJ7VWUElKUikOBk2CDMZfBbiHtrcPwIlm5Rq+VA TfLc5C+b/FpS6DJ110LTSPiXq91V5hzMhsucp3VWQNCSczcEicFscybTG/hde05zubZpVJMfU1cr 2mmvTOJtmCrBELbeoGq3yedGF5cPh1fUibALD8c7P19tk38h+jae4rXwtUj5ntjDZjL5XgxmwNLS SyIbYBBmy8vV+RhaC5zxaNiAS1ActBU3eKEx+XWCQIaZ0pSatYe4v8mL8WoxQbY/n2q0WQ3mDxwH TByycrjcdL3YDECJ8CN82yNHm0wlXqw+4JEA3t6M2oHPTtobi9yCsRqMnu3He3wNWmaqD8lZagf2 oTlXbMhycH4bP5lq99JI12B/OdM6pbxsi9aYzN0v5sOubvJriJn8YM1gNF9LSsKb05RDP0gnVR65 3rgLHc+3ykWZ0L6gwW/B34fIaLgj4GaiRRmf9x711jTT3u5P4GAPspJ0ewjhdh2wuM8rGDCYvNnx +fnwepj99fT8n8Mz+EVfXmZ/3h9mr78fZ4cHcJIeD6/3fx5fZl+fD9+OSOWqC7SYeAHEIPBDY5Vy loMmhoBwaJC5hAOtsvpyebFafJ7GfrJYZ8U+/mx+8XliazzCxeezT8v3EK6W80+0nHtkZ6uz6Wkv 5suzT4vLIdrZGVXysGpMHtOT/Swuzs+Xy0k07M3q4tP09izOV/PPy9XkapwJSV6CBNY6DcSJ/paX F5fzT+/YxsXZxWq5PH8P5fnZEraSzl6wrQCSlnS5XH2iuxwSrqDXdxF+Oju/oLxzn2w1XywcC9Vg 9X7Zd+QyQ1xBbKaqDjlfgA+1cLcVVX4q0Lx323CxuJjPL+dLYjaojuuYpZtCOiw2d2zOBIUnOYbm OopBZOb91OYXFLNT/XEI4BaOL1OE4BaAI9HrYIw/he++//80is+lZxvjvqsxXy4uGtQJPrs4I2g8 ii2z7vSKUDQt7uzyn5pfrT4PQ4626TgYsS3OumABg6QAI+oczLp3r4SYVKBpbJB03GdSbhl9sWyR KqNiwVyavOXV8ryLIxrfFuFeOrAiHeakSDmmiY3n7CQCbpH/PJa/rZfnc/o66xYkbBKFwkMNfHu1 6CMT3wFuEgNw6iYqHfoM5q4T/OrGYZ9ENyH0EM9THurWy0f3fZiqgSBIU933F+plnGOwJdzUyY5O nKgb1S+syT/HQ7fCJIcQ2YSqTA5XhWkeY4hrLOQwGU06elElsJvpptTNbUQbfDDJ8MJtDJm+Wdvw Pff8SwOACId09ULJVFJHVeYljffkhZ65y8YQ2HBeIdF364PmKseAuQmxwK7x1GNGWWC22+Q0u5ya XT+dVbZyq3a11oGcw7qn4gsk02y9xgR4FMmaBYK2QyaMd1GtA/bn5cfFDMuC7l/BY3vD3Id3/eMN BUzD4ijITszm9Fy3CScdx3+YiDPZ5fRkvZEqVozVawliMqlYgRkgGtP5uFmY0+7uP8zImfXqnbMu tcSbjMQx/vbaLJAst0E1CAsLwX/SIxrMZyOikrnhBj8cUIYG2o5gYSzqnK8xdyEZJnA0H9jUUytw Vnn2bkZiWWX2mjoMOymg217WZ+PDAH2EScT1KUaanIgz2fN3HkmgxXtOw6drfM55GV0NIy+bAJ3k wmb5GXUGk1MeaY4tHdkaFlO8ioo6zwjHuzFkUhRS6BtT7TR1hYGp/5CZ9BCNN8vEGy28eqDvxmwd BCYMcSc5Vveh/ZF87a59GDyaMwyeoLenPzDEdE4szCJTN/jhQ9/co6QsENoxk68lSrhcOp2UHolN Zz39dXyefTs8Hn47fjs+EnNSFQRfbulXA6CufVsUbHtprkaoQpisVinnTpKjhfj5PoDinWhL29/C ZWC+N3h6G8pHLbMB8dRdLqDCdOON1+ZCbT2Yo3x213VZ7MBj53EsQsH7q6VT7Yl1DikK58bTZP6z wdklIgCjbI4MLyiVIBywZtMddJ/QmDretrKoocg6ija3gTjx5eHo6j5T9xINBaavn7ENuubx8/G/ b8fHu++zl7vDg61T8voCDrqe7Ito7aJH8zadx/fP3/46PB9n0TPESM++MgTPPhNG6RVh4TmhLcqc 8bB20KLL6ZblyZYRr02KPvbuumMhsx24negXe/cPYMVLOHJ5A722RM4NBPSU9tk9cK4llkhME0jl lvcImK23ju44wOhKAWq72Ndyp2kHaV0Ua9Aj7azoa+NsX0eqnMSpsKI1O+h1mFrsVLk27j9sYRa6 tdw+HIu6wmLL5c1g3w0Sou7aRA22ePH42/Nh9rXlkS+GR9wioQmCFj3iLuf+E9z6CiKUWyOqk8Yr hHP1SsbNb4xAIKIcXtP1yPPFskP2EtShF23vdJDQDdGRnRxjAr+aml62OtEuO5tGrhMMXybRjKuJ ITvMyWaABCOdnSYIXBMwIsB7JpIkTCA2ZMt5exM1PJSySG8Wq/m5wU8fSp54hERH/VwCNQp/2ste x6s6/vTl+AewK2nKbbwYetVHNsD0YQrcwdjLH/0CMWadsoBTNS2j+zMjob2prHIQjHWOMV4Yek69 IdyQzTfgk5KIuMrNDRsm2sDfEvkvPBzWrQOZ9Q9HmQRz85oUxWaAjDJm7q7Fuioq4jYVXBNj+ppi 8DGBQWJ9Du5eNbzCQZcYInAt4hvQSZUMqXzDBrwFW6pFIPFMbA5lAhkJafIsrjFx1m2fjthHKPUu EZo3tZoeqcowQ9O87RjuPPi1wIzo3qHL2xxmzUbVS1j+MnVo+A5lsiGE5wFM0xbKDXAm2YMzoOBY rtPMqsmGjDag5+DTWKLIKINgD6LLBMaw18no+ZJoLIalSJqDsmxZKxbzcXGXnUwjKM05oVs/oGja 2Uc4E7ioqCYSaYqHmEo5gcJckx549RZz8smL2fwUzm7QtR8deb16mKnOUSYxaY5yuxkXoU8UtA+o /rmYHesOMIk3oTJyTHLyJmdIHIo9X8wnbj35A1mqMN+L5VY8jQ1vEeJrUG28SXXt1cUMOvBxg4Ia rwpOF2VU7HLbImU3ReXmYFIs5Qhgl8G3izzl39TQrJYwgtnHk5yAO2APt++cgvXKS4P+1G3yUe6c 8sgTqGFzu9U+TT+p5qGbrBMKi3WAq2WbEvA1H8aZbmmbap3JNXidP/16eDl+mf3HRvh/PD99vX/w 3mMgUTN9YuoGa2u7uF/3SGD6Eq8TA3trw0ePeDXhhbI+sPftO3Ad3oRmv1K+F5qqqHBoQVXizsAf WZQ31CiGsa06mxivJ3Dri8m48J0OTxdLAVtgJa3rQ5hCUoWlj1cLp1jVCiqx2FaEzZuLFBwHv0I7 QP6gsgusqQ9vz1zlzmVgldsHorUCgw+//IsD/3KGaVALYQ0xl6NXTH2waQw2FWTaLcSQO8WzKaRh 5wmcLdSA7TFvJiNDZtIsPck0ZthY7uimI3gnDTnOCFyPlJUl6vEmBVybonpK8G3db72T0MBdR5+Y MoLK/z7evb0efn04mqfJM1PR+uq4xYHI4wzvPOLBKD2iyyqPDDoi0YoRO7HOK0RhHbsjGtDA97ab UVQoRemXKFtEBgHuxKWI5OjukKIytWqzJdnx29Pzdyd7QqT9Tl3btTd2IKkV8+vuu9tAi6Nuomxj vzc4/cgkQwbVmF13W5sooS8JY6Z0vR553ehQm2JtX76aKztzXWevc7siU2Pq2nCizyJidlVylMdB OrmVx3HmtUxulL3T0l29bX+rp6gEemunzTozYS9Brs7mny9ozdCcTcxEWvkF6D6GeoB30qehsGCF duzGsxkkWWbfBtAMi/VN5laVRvs35n39aVkUFCPdBpV3PXGrxhXtgyjNlInWAgTHYzMbvOH0x35m p29KUxvrO3gg2+h9tm8Ze/OGb4x4HiYZk5R5MMFYkcNcMCuPb2ZGd9TtkFj6JJjnAUyLb9tDzruC 1fz4ikUi4B2MhRx4fcO9C2r8DaEkczYAjNXe/4XZ0gHEb7KPSvNWivu74oBNAzpLCHMnEQDHAiwM RyZ2FShgy0r8cINSEGr3E2rbglQaDxYOLCsHj2OBxsY+9P2vpkQ2k743IEW0puRtm7K8vpwvF95L 2R5ar7eSCrAcimwrHcaLeGjP2HndgZBagldPllmmqZNDhR9umZxm6cbvawvhOXiAiCD62i+d8i6w 14Gr94rcZSnBOccFnHu5yx5a52nzD/PiC84m16TZcJpYHvIUHgstboIr2ieORiKu345vR5CHn5s3 oYObiYa+DgPqEU+LTXTgsZcFxiocsJSB443kib7M27brcXfSfSvUAlVMDKxiornm1ykBDWJqimFA eb8tFkSD6InhusbwNTnvSKHUUkPD32RZQ9dSSqpZdv0P26o2AT3BMCk2fAy+jq/JnUHf58Qw8bUl IcZh1DDUUSUJsb+l4NR8YDzAnJiQ/9SiP0JFHMrwFrP1Qfyt6KHj3RgRAS+exJexiAvjsp3wgZoJ Xn34+t8PzY3iw+Hl5f7r/d3gI0FIGaaDtQEAIz33GXwL1qHII/MG09tZRMW7KcNj0NWKqjZtsVJt y/FoCL0gx0qL06PZZ8YnBvSey7rd8pG4ICbDz+HQj2GRhBu836GFNYmb1ZJAhVlJNsmDGz1i3gY3 vY0NQcbdyNlBNO9wiGmwXETUohn5+YlOkoARHdYPvUeDAVh8hj74ljymbePI0N1DcL9pfaLeSJUT T2VxPrlKSFyiaH/kWmrKykv3YwMyNl/gcFXT3sU3L9mN22QVZe+L9yjrTVEPGo2/sa+DSt3U/tPk YGh5kC+bD1D5funs9fjy2lrgxr8doQYI15d1doplkkWkRQiZE5nBj1qynQ8IQq9uBEHrHd1T/cvi 8+qz31yoQpftygAwi45/3t8RZQhIvB1NZ7sPB2XMAAQnbKImP28Knez3Eejv2RCT6A7HzzLgq1oe UcwEKDfUNj/91DCAMhWjXJJTDTT9HaQerXgaD78+5uJjzjSEsOMqHltF9fB2fH16ev199sUu9ctw v6GLJBSBVpHrCFhopNPFEBboVThYIELTiodMUjJgCbbwx+sqk9t0uFEAqhXNoIjWm2aSfenX1PLa ZjsheerdqLaQ2lOVO7xC8bNOBqTcnK2BgB7YOrwZr9GtdnbJeusL88U4TAp5TNtQI1/yFPNe9Y7J HMIs8pMYLXXI8V5U2Mw7BMWVIjuV/LqCxZkqUcwj8nU08WGRvgX84GlapUzWCb6UPjUNpMb7mb15 GSwnFta4MBOfLenpRkw/WrWM2Pjhb4feeefngTFQ8hqlIhicUguxVQTQqpzEhZ4JHyD15n+UPct2 o8iSv+LVnO5FTfMQAhZ3gQBJtEFgQBKuDcdd9tz2ua5yHdt1p+7fT0ZmAhmZkVLNok5ZEZEP8hnv LJB8O6ON7ahLYi4lLEsUMBQj9/0Ad3TuWu8sFZwLBqVdMre3hS33F7tiYtrrKE2KLXV3bVXecAt+ RLuiV02qADyo21oCQPuNgWLzL51hoG6flalxXh2eHt5uts9PL5BD4evXH98kN3vzGyvzu9zlyukF NfXtNoxDJ8FNomx6ANhmjd4HBhoLj8yvxrDNIfB9XAcHQRGtrd4cBwGz0ZpDdBgaYjAFUNaCx8/f nttDoPcf0/RxsN+St98vDvSstOgSsHfpHGSxpRWV5bk/Hg6kUMjYJn7mKEcyaGHBrqHWnvf7vq7L iVW0GVTzJXEJXz82rgIc3pJqo6wR4RuB1yX7SVmqUrjZFAVOWqVFov8eIVHKmBaz+bNJP315eHu8 +evt+fGfS0gst9A9f5FdvKl1jeNRmFL3eYlMNgg8Nkm/Fz7Qs1R46quGPFDZWXLIkhJFUzWtqG52 suRpSaeez158L68Pj9z/b5qoM/9KZEqaQFw7nLGKUIqivk0WJ80ls+lSijum6B9LoiF8sNwIC/n8 3QslGCbAGkauR0ZGaNV1p0X5ufN1L1wDTrMZSdEHlsCt0zgblPOjjHnA63zmU1vSuCrQwEvIsqOe AqKpxru6G2+PkMgWCBeUgMlyTa5h57wW4Bxy7GtLclVAn44l+5FsirLoC9VWDN6jG9UbjPEI2FmX /8anoIR1TNghyuKTUcLOrgGqKpVfndpRE5ROMJ9ouynG5FQpNwS4t/EwN76Et+pqBNQ2P6S5no5r GiLhBFMzAa/e3avsqWWvC878x7t5ncExlaY4zAQAEGFrpgiViSfGXdFtGCWVgaKqhx4rgpdI4dKS Nxi8kM95QSkc2aXagCGowrPeHQ+BA1kkPQM+FGPbKfrYKY2BTKmG9nJXjhVfT9SH7AtctwQo6ZIm mUAZWNUUzO4j3Y9qsUYdLAdH1VMiTdYrS0qNUKi3YOzp8UZjQDDg9sjhjQGFqY1E3dabPxEguz8k VYFaNSPAGAxtAPYbWRrqLc9S3J4gtFe1LwtEXZ5wL4SvgSIANUmLGWsJGJMhisJ4bSJcL1qZ0ANE VaWznuNU5Tfdj+/fX98+kJJDhQur/PP7F3PTdPmhq9uO8d6dX54cT3UOzQIvGMasQe4HCxAfTCoC nULsKK/utezHaRf7XrfCYfjslCjrDsRxGXdABok3WRczPj9ReaCiK70YheALiIfCTKdP7RkuCKgo 5olis3fDUEluMsF547Gj+oBV6doPFGNX1rnrSPkNC5R9ypinjb9s26neNlEW0gA5uJjEkm1xkG5z apJDQTHaqSdXlPBEydktVN28z4thGlcOH5PeU1bTAgwMIKShSu8NMBOc1lEYoCkTmNhPhzV5BMwE w7C6SFFk/RjF+ybvaOlMkuW56zgrkhPRPl+GZPx8eL8pvr1/vP34yhPMvf/NmJXHm4+3h2/vQHfz 8vzt6eaR7Y3n7/Anjtf4f5emtpXcDsY65DhagoKkPiLYtFlSvH/7eHq5YefYzX/dvD298McQ3pWN P90RdaPfAktm8AtVzJOd7hXWADKgopAvdIqIxLhpV0waJGPtARLce9QqqAJYsIBo8IbtHPDWU2S6 vJcqSQQz8iPyA4deRHc8iIY0YENNfZ7g9jhEJAVTc5UjMW4h4blbGCNoyXelEdsCXTFZwrPrA+eO PQMxFbDxIqkwZbmrkhQs/cr1n6Rdjo1X7C92h+UUzLw/GQ4r5LmOv+b5m8FXsywxn87k2fHEp4o/ i0BmGzjlalw3eF4XNb6BD2WlBZ8itPjNLk3HNYFOYAKFln5xwRDQNKEVPRO6rmLn589fILFkPp0a L9iZRwZyTXV4jri/aMSYIj1mDgECNteWZn+vvTYxrYMibfNyvO2iOA7U1MtVxgZfbDYNiNlIgDA+ dVXoVEW/SbD/i4CnFfB4bP1RvQGKXYMtRRxYdWnKOou5asHUgMK7+vHywc7fp59CayEVCJ2ptVd0 Fd04AAl1ShJFZx6sVNOnNQ0OHW4ayE6vBzMgfJYDy2rJ899M4RGUHoUhq0ZNYMch4NoBKh4ErtVg q3I/84r71/ePT+/Pj083x24zHb28raenR3ha5/WNYyYDWfL48P2DiV7GqX4usT1pNgucM4pnA3K2 v9l51zI2sdIS5SFsT5spMU1F6sZUGnFY18phDuLekY0VhmyrBNtjJMxqSGF4Lshqzl0Azza0ylrt VwrRpFf6zmNsl27qqLZTPwJet0nQKhSQy2G0kialJoudIxXO7iQgYLvp6MhdSSAS2mzP4PsNgWZX vrNKmCylXiIlBKP3CWp7ghkTQlA0dHKXmcBuVZhJ2GdQueyrc7EtsFOHBNkWCvpQIjskwrNTuIbE jFfqaRO508laZCbIq0uQrZ+rNKTvjEqAUyaqmM/3WUJrA1QqxoexpXw4UDmspEa4Te5TlLGaQ8+l H6j3O4/QgqmYhaBv3Cn9/Axmnt9Mi/7vNx+vrLUnnvBMUBlW3bPKK4GlBf/C5v0JMiL+hUP5bkc7 CaBbMhoNMNp9wmGDR2WE60rI8tB5a5GPcGF9S1IJDz6UnENQBOTF31HoODWmmjIrFF12MG7g4tv3 Hx9W/r84NGoYGP85mfkRDF6PyitpbV5a5DjgLDV3BYQXbvy32OeaY6qkb4tBYnh3j+9Pby/w/Moz 5Bj/nwekDJGF6mOXs/bMjkwYsOgcqWS7GlnH2Kv8MA7/gBSUl2nu/xGuI0zyZ30veoGg+YkECj2e MiM2Y44ocJvfb2pkmJkg7IZOSWgTBCo/ijFRpI6WhouJkVpI+ttNRha+6xnbTqlpEEVI9emu99w1 hcik61S7jgICXd6KzuhwyZVSYL46c6pQnybrlbsmv43hopVLpTGcScTapTpZRb7nk9UCyqcyjCq1 DqEfxGTpimQIFnTTup5LdKg7nBh7cG4ZgMAWFfURh/zcq9LcjKib/AASfUc1lFRM2thRmL4+J+eE ap+VoCeVCy5j2YoFbw5HzY4NOm+pMo0+W960xmohqryxr4/pnkEuje9g3QlMJnXd4UozTLa6TFD1 t2NTFRa7xXIqWc81diB18ATYMpYTZEwOSVnvKISfUVD1jFGgBQFN602bEPDd1qN6smtVEQ2BR5zJ cMEdIfV+VVNcz0zEee9EfSZsRnVFlp8Lma/arL6vMnrMl7p5+sRLrZ/hQRD1NYcZUyU7xkWrHMvS LwhtrNsN2SuO3CQWj5eFDGLSLEEryxeei4z9uEz0eZ8f9keK45tJsk1MT1BS5WlNa9WWThzbTb1r ky11MS9rrGP8o0sMFty2yOg8Y5puaJJM1+ISaMbEXO7itiuSNaWIEfuL53ZA79DBb7CGFEnJlgAT aBUNviwDB4vgIZSCC3AKEUWWZxWfZF0YrdAthdFhFIZElw2i+GIVsUXTTRAi6xHGp9Y2WsZiub/S BmgPxkp1f0PoI7vQiyEtWhq/OXqu4/q2bnC0R/E7KhXIepAOoUgPke9GtsrS+yjtq8Rd0cl4TdKd 61LsEibs+67RnDUJAs1niqDQxG0r4epqY6vrra1+obksiZ3As9UDOmy2Fa7UsU+qptsX2J6gEuR5 T4vPiGiXlBYnQ5NMbu/r1EPq07mXVSqZ7Jwe7l1dZypHib6c3WGqH6eKK8qCLWtLQeNdEBXZrbv7 cE15a6J+HQ+fLSskv+23nuuFFiy69zCmphH8FB3PkaNqEUyCCyuScdCuGznXPoox04GDk24jdNW5 LhVPiIjycgtaqaJZ0Z2t+A9bG4zzXh/Lse+uHYrFIR8Ky4BVt6Fr3VWMV68gbcmV+vOMCfh9MDjW awblJaQjl1Ry/ncLDxBdaZn/fS5sd+OFk/6c9VE4DNjJwai6YIKmb8F3Kd/blnFlaM9xBsN6adJc WyWCKrhcybUrvEmxGhlNTjWSzu1opxelSFxGnwNF9wt3c9e7nvrUE8ZV297CwmgWKIzimTF9O1PR DdE6sGyvvunWgRMOts/6nPdrj3zRA1Fx7t5yA9bwLlYxnraB9aho630lOYtrTRV3XTBYDurPoJNX j38p8hVdqsMYI+au0FercMtMIhKNWZY4znuxhca7Za1iw3gePBpSyeUPDhuHvidzHk4KvyEM2ZyN 9QFpI1Rs7LN7vukL47MZOoq9YC6rC8dVEq0sjyYICq4P2rB71CIwKVRZDqGulCpYIToVSPQVmBS2 KqhbxFDo6Nuh/zPWgW2+g/dt6tby5f25XDsrh27wOClxdbVsyhbt2vfHpqKyrs5EURAaYktzruRA EfUyHO+ItdL2NnICQ+OkDFxbwzvp4FFWI4drQSI4RXqJyHNQW9ND6a+MnSPB+IbAKHTqCBTbot46 TszPTqvEwuDJXrcnb80uDDGDhgKdo9eBgtbqFwThRGBtB3xcRcZhYnjYXQKXIrlOuh60S64+rm1V 6DIAB2G3ZoBg52UOqTYaZKt6+U0Q/Z7lcC+TnlY6vSr+S4inQ3z8QIWAURexRCUmeYAMN8IA//D2 yJ3liz/qGzCUIEdM9An8J/h8It2lgEIsxq2agFSA2U3SdJ4ORcYqWV54lwlixS2Nt9h5leWhUlG2 TUeilaSh2hYaVgIhFOcq/Kh9P6h8pHPj4mgsYeOhCwJKdz4TlCIdiHTooIZ9cYkjzFfCVeTvh7eH L+D/sDjNLvdzT2u7pK4GDDuGE54k4e88W3w8dKsT21CjeEqavCmaaiO9dFAS8MWCeCbczKR7DJhT b75c+kYI3IEY9ZVjeQ5oIViR3rRp60kuYvassbSqWDDzE/0KSZ+yf2oCew4oOpOBFnBahpBlLNqE CUs9Yzgh2bFluqCQVAWDWBI0q2SH46nucWwCoE/sY0F5N9ALbe5r7/ufG29lDWUzCOlvH4qyvEfO XRNE+Ogvkd8XJk8strFvj13P334X4UWmzZj11TQVo2uUDQy3WrBBrDFY5AtF2wSg/GVk0kbMsNUR 1qHwGFucxXg/0r+fv5OdgaAQcVDxxBb5Qc1hJivVDIMLVDSogcs+XfnO2kQwpiMO1OfcMOIngSgO ad+WJmJ6HUQBZ7lSwj5AY1UOaVMiV92Lg6WWl1FmEAqF+9ThMCU+ruWu3ixRh1DvfEJD/Anh1Myb KIZgn3n0YvrP+8fT15u/IHpFGLxvfvv6+v7x8p+bp69/PT2Cd9sfkurT67dPX9h3/I5n23j5VgJn BZcKFrFD2rpkS/2QamskhQ2k+zSKSYFIcx4+OHk60yIDo82r/EQlNeE4/kCu1m2qQb6SRXy5SGpO ZkXm51alrV2IaSobTSXGV005bKjoZ47r10IUxSVO69UwkK4TcBTWVZIVt7j1erIGo4rAOGuppT6X OjXbR+QwqyRDYpQaEnh+nXwtCPBtUWgLo731tbGDMHS22kttXXRF1edaYfkMLurCfBVZugCOO0lv VC9CSfTKhrKJLVZk3nl2nxu7K//J34R8gW32B9vMbIc9SLdQwq+Wj5qIUzJqqj/+FqeIrEbZrHgn buUDzBOHZjsf0NjBNGnDWfIYZx4VYgwrx0Gk2VFzVNQ2KQSQwvqzDL8ggAMNty3gm2Onf4jRdzW+ Ms0OHUDgZSktSXp2VhAUr6WFmDSF9WUiwJkNcGhuMorALVQP7zDf6eu3j7fXlxf2p+FVxGNCuVih sPoAa9mOTkY/dBwNMfAwfiai79Ar5AAzjmIFmBwHvdtwSN/RXA1Hz77oKvDYA79c3uuVyVPcUpfE gv9ihqRVMeDTkW5MxVl/4F5HQ0CuFb/tbN8GUZ9lQ0w+IGQnLUUhO8K2zAfjM/TLA2DsBrBUU1ah M5ZlQ3XA5pE74S/0br49EOyW3RAtBtYp424P9xqQXQ5M9NDK1y1KoQugpnTUB50BZL6SzqFNWmz1 b2zt/e/8dG10oEvdqOjWjtYiXBFdoUbCSujemJuu2Iq3I1A/4OKwDjSXwS9h19ZvUMQgdRoG9dYD yADR1RpouoBUWKkNqngqfdzdEQs4qTL6LFI4UoJR5B3Erplz0ebt9eP1y+uLPM/e9XLsHy1BALIv 87U3OMbQW9gDvq3nsCmlSEWN9r5T3yrpCiT6CM0ROwK+zOfvHOXCwS/PEJu4nMVQAYhDS5VNg/gn 9tOS8YphpvpMmQiKpSV/c+cWsty2ep0SSTAAFBmcM2QH/snT8H+8vql9ENi+Yd17/fIvHSG9vmWg E7j32lLyqu7fD4+Pz+AUzrgbXuv7f6vRn2Zj80DowteUy0AiRp7dTnVeLw5IIFToQfCanq/BJeAv ugmEkI9Szl1ahlp2Jun80KPEh4mgShvP75wIS+AGFh1GOtbEKOeo0aWOTYTlYcyZZHADh7p0ZoK+ 2g5Eh7iJR3VUnjsERgMTXKd5WfdUL5kccaH9hUkxCnKJ0VjfGtGh80a0KObSFQ2M1DMWwQ8WeGOB 3xHDdmLLyARL9i1pIlVtoWHTxnWJ8Z5Zv2HWvbRsZ78/vN98f/725ePtxWT/57liq71LOrPSDl7r JlYpA45tlIRhHBNzrGCJji5YNUjUxK4v1ry+WHN4CbtKLrW72riqFGEbQ2OkdF/pCSE0Bja4+RDg XGEDPtNpHK0pZe9MBVlLiHnjloDEdciaj4eAZlEUijUr7lNONwbN2FoaiRgam9BtVKQPvUYT+eSp sWBH2ghsdOiX6Pa/0u+9VhdJdPI7S79j6Det6jeorjUEKW0Sy0Kasde/nBO6FvsDQfdrNe6DX6Ja X//E/XqcX4Kpnh6fH/qnf9mPt7w48EycxPlrAY4nj4ZXNbKoqijGfxXE/q56L3TJ2tbhmrzHABPG F4cKSGLKt2ghYLcx2WrkrkMaHvo0PPLpXkZu7F3pZRS4l2aTfYYfh+oxa51MvegJgvwOOCBywvVV cwpD0qYP3AHjVRUGTwB45nLIUCfTGQfunBi73mrmhqlI0d5hiVXwhLogzzXA3X1nSZcrTB20BMRx kgXF7YuAImcxr4jHQ74+fP/+9HjDeSBjG/ByIROPtTxkHK5rkYQ/h+IemA+N8VWgAhp2neC8bP1f FPS4cJac2HxRcplAn9ELFByWF6a6VijYe/jPIf2w1UEk0psIdGtO8bgvz2ZLZb0r0hNt8xMTs4nW XUirewVBfvjseuEFgiaNaGW9QGOeUcAGfX00pbN2jd6Dp8g8irYGQCGt1ca4miTIPLbDat62tri5 esT+QZcag/e+VPUQB57TLEaePxw6wCTqME3hIYCluVSTKhu3qZbmAL+8Q22e2dTFoU8/vzMh19xU SywmAcU5uCTm0Ogr8DwKI6C5yR3jYzjcs64Qbr709VGRUKI7HBOazQgnMmszfVOkXiR5S0XZrg2V OJ+2mTmE2gyJUFdba+x2/VwfEvMMykIn8Ei3FIl2I0+fmjloAW3txo9XvgGMQmMoARjgy3ueF5CC rVtXuknqx2wa9AG+ZcXeKL0ITMPWCRBhkEY57j8b2w9DiffMgndMTqXzhQm88Fe01XuuojhGLkDE tM96wSvLgV1U7ppy/ZpG0ndjV58YsWHMc69KfT+KrB1viq7uWqPU0EIUECWTiEqXPJVTii3zs/RF vtu1+S6hrcCyVplzSgJ5GlE+Ou6n/32WtjhClXp2pXkJEhSsIkrztJCg+0It6Z4rCoFvxwXe7ZDN kOih2vPu5eHfatw/q0daBCGViTr8M6ajvZJmPHyrql7CiMiK4G+16Yl5EY1LS364HnqvIBqL5KvS RA6VbALVgh0jMYqSzjGFbxkH3x/TNrXXHF3tOq0sVCnCyKFbDyOXRkS5s7Jh3JBYb3JdzSICONHy rKFq1s8FKFWzSHJQsNLLhBJbFCqdy9dx8GeftJRHp0oKXr+2aso+9eKAVCErVCBD4bQEKvbXejEl uLXVwjmvK3XMjBxZg8AKUG2J15U0bQ4ubDzB3rUmuVe02iSkX61+qQZ4pKG819eHgCr5eSns/lxZ gqKbLBGk1OE+JV7OUniFiJ2eSutTCEQj33mSYJ5DW4OBiWkHPl+MXRIsvkTISiF1YRSvAsQpTTge xEB0bsafPccNqJKwYUkNpEqgbnUEJ7rJ4R7VVEc+Wjd9N8Oq43ZIDOBUz+YOlsdgRejRhjp6n9FP nul0WT8e2cyzyYL1d2mINK5zgkNoY8j4KqozEkedAojEc9FGmEZrCha5MKB87anu/RMCuFw1BHSC Y2ZgqYZPBdWJsvfXAXVLKV1wV0EYUoWzvOdec4JoHVD6JKUejb/GmJj4SjaLKzcYLIjYofoEKC+g RXiVJvSpi12hCGwtM76e+ApAxBGB6KqNvyKmSkTSxcS23CXHXS6umJVLLby2D5yL66bt2SkTEH1h p7KvbPjtMS9lc+aBPRU6pp3rOLQ6cf56U9IjaOI4Jh8M/T/GrqS5cWNJ/xWFDxN+EfPiYQd4eAcQ AElYKAACQIrqC0OW1bLC3a0OtXpmPL9+Mquw1JIFzsFWM79E7UtmVVZmV4dD5Cb6csoXc+3n5VTm Omm0SRPnfcIF+OPH63+Rbi5nv9U5NARVFokhcCVZR6EnFJ2hvwUboCzcKkTNGpVjY0nVd22pujE9 AySejUc/UZg5hvgsX2LKgG8DAjtgKStAEbWCKhyk53EO0O0KQiR9P7JwZHHkUevezHEuL7u0ntz3 ktl0DAMzk8ZCCotiszSXoC2KnKAP55YYRRn8Ly07kBK6xkTzXrnfX8huRA3J8bWf5jxkQnexC1oP ZcQscyTebm+mvItDPw57Ktk9+eZ+RqvQTXpmpgiA55AAyDwpSfbI7IWxNy0cTkyH8hC5/tq0KPHw +V4LnDGDQ7I+7X7LSGlhgmH961yP6smqrAsRMd5IU+wTpEtEhSMmUhWALmzpsNVoUebbrLUaPvNw Q3IFQMhzrxQ/8BSbRBkIyBWAQ6RMrHKQReLuLNSAaiRP5ET0ranC5NLXhQpPRJ2Ryhwbovf4OZum LKvY6kjG2AVidaC+jiKf8tmjcAREn3AgJEYwB+zVUIW5Gcta3/Gu9ER1xkiC2tTWmIYsUuOhz18X 9c5ztyxbUR1n3i6GtYiSu5Y9KVMsXKexxiKfolLbGlBp3pCkUrOaxYR8UrGEbGL0j7g+u1myOjtZ QpaB7lCgry2AAJOV34SeT3Yfh4L1ASJ41urQZknsR0RnIBB4RP3qIRMno2U/NB1VsjobYFqvDRbk iKluBQDUdWJy1W3GYmqANVl2aTVrRQmjKrZLwo1sY8W2R3Lb5sAVCdWLIupTDsXrS+S2QLsu0l54 2lS37JLtdrLx6AzVfXvsLmXbk2jnhx69wAGUOBHtyXLhafswcNbHVtlXUeL6lLnHMvw8UPMjYljj thkn5LAW0OKk4tr+6yerW+i4WxHqjNh+HEJIBMRzYp9eygGht3Oxmq+uGMgSBAG94KfnJEpWd8MW WoaYNO25gL2Wjm7U9oETkAa/EkvoRzGhaB2zfKM5rZIhjzRlmTjOeVu4lOjyqYKyUgvOPcOdzARk cw9NL55Y+vFKkkAOg0s0GZDp6QGA/z8r1QI8o9QKVoDMEVMpFiyzXNdJHJ7rEKs/ANG9R43QnvVZ EDO6CiNmMYNS2bb+Zl1u74ehj8ljsiUhFkVEG4NE4HpJntBHBn0s7r+JpROgeFU/hWZJKOWurFPP IQYy0qm9A+i+ZZkcsnh9jRwOLLO4/5lZWOs6q1MPGYh+53SycQC5ti4jy6p6DwyhS+QqXbfoyOB6 9CHGfeLHsU8+LJQ4EpeYmQhsrICX27LbrMtsnGVtDQaGClbpgaingKKa0O4Birz4sLMhBQXx4B0X 5jqXWcpemLgMJceAHglTnF65/hPUD+lQ9haHPRNTwYpuX9TZw3yvdcmLKn24sP7fjs5sKPQT0NC3 YRN835XcIe1l6Mp2rTRTGPN9c4LiF+3lvuwLKkOZcYfnPTyG6Goh5E94eFvuxnj1E3vqBONqeZEB n5Ly/13Nky6e0XMo8pTEKJlsI+e0uV+mESRSxEf6xgATz0ZM+q1v0iabIRMRduMGeXrhQyBZ2lmo MEzlvOfaja9F7PVDy+blOxEF9v3t8Y+nt6/4mOv96yNhcI12oXVvFgXpfaeUYwqAaktTmAs9fv3x 89sLkeFiemNhkexvpAtYe335cwuz4w7QSnhUcOTntURD3qdDdsgbcoHut7BA9H25lf0F9HKEWc7C vfRgjCCZe1l2FRZLNhgWR0+BgFXqGGxZvdaDrkrJciAg5754d/n889sTD8duBACbxtIuN9wGIW0K u/jQsz11dc55llttmdr7sexXbKIppu+Md7oWR4NzpoOXxI7mJY0j3GUivtPOVC8GC3iospwMp7bj MQHCjaPedHF6vgljl91Ttt6ikq6qBXDiufUcw/sjxdL1WysLQ49A9Ft43kB4XO+TD/8mVHXyjGmO R/z0c2yJQTv6nRFaa5/giJaqZ5iWTkbYJSOYIDi+t6raVBbAENmnQ4GPV/k1gl5g0C18vOy3nVPL PLSjTs7RepF804a0QxmBGMnb2QDC8KwBoBVdoOhl5qs0yHNyIiQlUd71kUfboiN8WzDNvFSBk6Rl Cal7LmioZ8nJEWkWJsbhfNWvUrXnows1JKlJRFE3vtFvSE8C+2AR5g/U4cqMekYlOdmizy04dcTA 0SFSTgIn2kZvlenceCEXn86ar0y+qOpuhJHYFQPlHxShySpEWiQnp6JKiJCZqu4NPHVuHqDRZjtm mXibyHaYnCSu4lViX2TEQtyXQRydSYBHdeeD3NMmjnlIwalMCWE2k4jK9bcPCYxST6MKJ5zqfEy3 59BxjG0t3fruSLYOkh70QzJu7C4fX1W2Xca0MhhWdkgd0HGD78NiMfRZat2WdAN3QUviROuKAf2L HPVM2rRilhhzaGbiOqHF9z63QaFDJBCOnnkBOD2hjBYWeGPslJzuuba5jNXSrPklsmbPL6VHW5zM DElkW+smO3wtv8X6nqCao3lGNHcdIwYLtE+fUwz3VeD45iBcYO582Jxb95XrxT4pqlXMD0mrIF6a +T2CTORvCox0muxQp/vUKu7Nrz1MIiVPTNDa9pz1QVx59GETrzYLXYsJ0gS79DmUgPUdQQe1WQa0 wJT2gOq769LeyLJWVWQJnRVBRHqqIS/M3OU5vpghn5/JLGiJpa3q88c6Mnoo1omKIwleKP3ZF5dR ZtVLpU+HaLgkCu+LstwjnwfJeuaqojJrzNONiKREz568J9tgA9iV5wKK1VRDKrusXBgwaOYx5cG6 +yMryNTx9IIfXshccx8tfCBl7emFZ+FBlSmRz4tVSLcRltA89EnhRWKp4U9r+VyoVevfa4qbisjq 24JQWpWEWt+BKTyudhi+gDbbaKnrDS1IwTzL6qAxUSfG0ihK69APQ7LXOJbI9p8LpgoxkuN5rl3Y kVOo+dyW8TBcH2FlX218hywrXlp6sWsZYbCNRKS2KbGAsBKTBecIOUK4xbJlfIit/0oHcUGAOtPW WOhZNctSVMpic1xPGniiOKKSNtUmFQsT22eTXkWUadKvrjQKvy8N1ovOeSJyZBIqlAaG9KarF5SU B3UmVQPU0IS8JNKZPLops9aFtiLHHWtDEXGUQJIk3NiQ6Ewjd/HG2megJ1rMxlQmy7szlSmkZVuV Kbo6QICJfFypsmzI0YuPj4OQHDmqoivTZ/WVKE27O34qbL5LJLYTrKRXq8a5rtSN82zoGsjPKRey fNGuRslTnSpKX5hPhCUQVezVIhoatwSB2EbShyBxyPV3Vv2pogzs5F1r1N5jbUpG8lJ5elpC6EOW xFFMF0C8PrhWgFG/Xy9BtQd9wCH7dZFoqdQhcSeiwqgoPIkXkNOfQ3FNp402JC5M7tXEUWP0fHo1 Frqz59ux2LKBTlr31axD1ydXSaFO05U2VWUDswheJ4t7dYmDeN24oEINW01gVpYmRD+p6tBFsLRU VaX6qnbb7jiNP0m0bHbZFJuIPmLhOIacoGFW5GV6yYqMP1K0uYEUXAQHv8TZvz9+//P1ifQEn3em j+IUaHL8ilHFksmcvnt//Pp88/vPz5/RhfH8wZjybnvJGMYHl9oTaHUzlLsHmST9u+wYd+EO1cmV rzL4b1dWVVfIEYNHIGvaB/gqNYASg/luq1L9BPRKOi0EyLQQoNPawXAp9/WlqKEDagXaNsNhoc8N jgj8EQDZmcAB2QxVQTBptWhk08UdBi/Zwe4D2qqsM2COaXZbYXg/hYqDdow00GtFRBfoWFmMVmyM D6Xf/5xciRPvpSAhGDRZlVGeLnj/nLV852jltpbp3ZzfxVgaZfIOf8FLPLUPx1NiOTG0Dt2fB5BS 6J0NWEbdns6OFUPX1A0rtHTFGbaliD1UwFFeu5PzSNzIPz799eX15c+Pm/+4wVbU4urMcw2wS1al fT+uJXJ5EKuCneN4gTeQVnScg/Ve4u93stLH6cPJD527k55iWZUbz3IDNeE+6TAF0SFvvIDpaZ72 ey/wvZR6WYe46eMJqSnr/Wiz28seNccaQY/fKgGukH44J34Yq7RmYL7nyZfQ84yxtuvCcTvkXkg1 7MKiyIsL2Tx4WLBRvVpN9o4HX62KnE6C8LxDcyW0E0qNR35xIFXNuHOSPhMnRnTp+FmBQ4lTGs/G 8n2bhJarCYUpJk2CFxbzUkiqgHactSCaVcWS4QlaPJZdcy/YNo9cJ7b0VZeds5reEaTUC+1WdzKz WV8opqKcyrxotGV/mgbNXjGPwt/4cgwD2cAaR0/0hee0T0mPgBJLVh0Hz1PcCBmSiWQW0xxr02X5 oczN1e+gvOot88XhwNAV9X5QAvoC3qX3REmPRjKLgz5hrPT9+en18Qsvg2ECg/xpMBQ8erBMyzo1 wsJM1KLby3DbygY+nHQEmaTS09kW1W1JyQcIZgdURPVPskMJv+gYWBxvjvTlDYIszdJKdq7Bv+DC p5HPAxfNrflAJ+ybuit7aptEhoKBfLNTsyqqQjPb4dRPt4W9QvuCbUvSTR1Hd/J2wikVxjWQYywh 9VSe0iov9awhY1vsVQ4/aN14n1ba6bpIvLjvm7qk7nR4kR66yaZR+a5ED4yWb8pBy/q3VISYVFIY 7sv6QEqYonY1ehZXgqIivcr0t/ZIVDchQaqbE+Wzm4PNvjSny0TFH22rrE6Cvttpi1TZHdm2Kto0 9+gZhTz7TeAoowmJ94eiqMxBBnJ+mTEYAYVeHwa911me+Qn8YQfCgm00gFzOB72WXZl1Td/sBo3c YADCQptrGEqynGKUS3TNXyqSQBEsbq1FbdMabR1hrNtmRlsMafUgu2DkVFg9YH/RMxvJIN/aUhsZ ZEWETEHTFWieIqfspWUWJQw5B6oUn+LXWihXDnWg21EKBYJ9CuPuVv9kdAZu+wYf548G6DJ5KFJj 8QIiDELYZgpblSCjttLXo44ZHb7Hk8a0LymBiqfD0m74rXkYE1s2Wolu35OG8tSoRYCFrC/MST8c YMmgY68JGIMZWuMuIcsRN+hL2/va2lmWrNFXtXNZs0Yvwqeia7A2lvQ/PeSwAevzULw4uByOW5Ke QalB1ha/tL25apW4VJScsETmUwSYudgiIB8t2xmfzXFYJeIsxfSgRB+yUj1CkFsIOYiTohFlTDng au+7vriDzZhRm9OI9jnI2LLv6ZHMteCFDGlwx1eTPAW//9Xn/0Lb5ZvD248POiDWcsbFMmsMLsTS jsEf1ZIGyD2qdlBEugacIz9kpVpMTrqgW8csAymmkQXlBW+rYccooNlBadJePhBSQc19hwoOG9eo xAQW+K+1eiBTfp+x/pBR6RtBFReIJ61Gy1jA3ieTa8/pybfwY4guCtrhX/VuegFZWW2L9Gg55Vx6 xuKXGjkUF5j8k5bs3dHftDw4GXq1Vq2mBLuZQMkP4KCKZruUInhwjc9rBK6OYUr54J8e8I8aFgvp R0wz6pqKNNjFD9UYEUjK7owxfejv9JTHmCvWxmbD7epYO4OAV1vGKh1PcmFImeZUASE6RAwDXWAo M2k7nSiz0Y7kK73/eH36i3ijMH1yrPt0V6CnwSM/uDM+ta9FY1J1cc9lEEmchF/ioIiiXbhUSCJc oAORRXUDwBm2HcpJNVpCHe7RD1a9L0yFGA8EjLry79N0cD359lJQa9/xwk2qk3s/0syGBB0fz9IX zqKQGYt80jhngcNEr7p6/ytoneO4gesGRhGKykXHGQ55l8M5uO2iY3zIydSF2oQqPkhm4sY7E1RH dcPH6eZtvIwKt9ye8dVIN+IZqVzrKDf4JY9JJzQ0qtaGztmoWRuGZ7TCZtobxhkl38EuqE8kGJlZ J9rZ+0TWjuYMnD6WXJox1Cs0UrXTuRmKfLMXxRmsvRggLLpe0DsJvU6KtO8p95AcImwOxdTIPeGm Q6v04IeW97liQq4c6XKGIUvxrtdWnKHKwo1rDATpRYY2xkfjm5VugmkWUg/+xffmUwdOxzNzmGoa tex9d1f57kYv3wh4RsFH2/1tNczndMuSePP57f3m9y+v3/761f3HDQi+N91+ezOeof5EP96UsH7z 66LH/EOWQEW/oWJH6zeiQNyQ39oc3N+Q0cpoHWr7hIdXfZAVH9GR3JbfOnVxIbMOAkS9ONCbcs98 l3vWmJtxeH99eTG3lgG2pr12aSgDPEKgtUITUwN720ENFafghwIUU5AGKTVFYSRuNxU8a48WJM1A ry2HB2sZLEHnFJ7pDTXvBt50r98/MH7ij5sP0X7LcKufPz6/fsHov09v3z6/vtz8is388fj+8vxh jrW5Obu07jHI47WiZCkrOnMXn+A2pQ8ZFaa6GPLitJIGnq1bB/jcssdcXoGFHlVuy0q09nSg/vjX z+/YFD/evjzf/Pj+/Pz0p/L4l+aYUi1gbZ502SUvpMrF51xVsU+zBzNcj8xjeIfmVHw6TjWaSDZ9 gHkA4kxBfDdoDzNlVIt5IvJnmfKUtRsgAzmmERImKXMxIAHiIRsaqBpl7DJg0PN+aGR9UCJOF5u/ vH88Ob+oqRratoJyl9yGPArIzes3GOCfHxVrEPwC1KKd6AG1KJyujTmZfjmWBX/Zb6lf3p2UgwU8 MMFyEBYJE3u63Yafip4S3haWovm0UUsq6OfEORP0THHKM5MNn/QTkvdoCGBt34nF4kVFYolii+nR yHJ4YEkYrdVVfyw20dHv3kZ9yyJB+vU0xWM17x1ZtFeEM7kPM1+xBR+Bsq9cT/XsokKkpyaNJaI+ PwNCWoiPOPd6pjrkVyBntYU5iy978lMQK5CQGbLAHWjj1ZHBeMgzA3e+d2uSJTM9I7PRRHWtEzO0 QiXmSg8a2MZJqVR3IGyQLibnRGGaWQp0hnYhrUylT73QLE7BQPmNidF2Ajo1CoHuk3O3Q9NgiyH2 VPeQ0glmNIe5n8w7YVteW7GwyzdrncAZAutCszYtOAPRXkgPiJHJ6bEtq43FTFheU0hbgblxN7Fi oDz3ahAmJD1SAuYqa0hgXdWIxQVmnOd6RIVZ1sYbrYHwyD6t8/F4ce5GDJZtbkBGM/kePbAEYvoT JUtqG8qbzDJoETPTFrHAvzx+gLr09VrBXU95kbLQQ5foG6SH9AiKkvCyS1lZPVgGUmTRuBUW2j+u xBJ7pD9BmSNIQksRYFO8+jExjngIIXoq2g8b5pVhuHXjIbU84JgnezKs7qvI4JPVQiQkH/1MDD2L vIAcQdu7wPLUZhpibZhRcxdHHjFF57gB5vA2H4KM2KeH+o61xvh9+/ZP0PPWR2/Jznlp5rbrq8tu YCCxp4o1CI9T5WfIRxUEoLUF/kB901aOv748IoflmcOUMroQWB8dp1VY+IbyE/Kd3shjXBTNjTXA vywbs/7Q0izYea3JAFXi884Vrk+GxsP5eQTetQT1x0kzXQ2iO4/eMcac3hbae6WJe8hdcVI1m6b1 z6Cnvtu28hx99Rim/pwDoO1xd/P2HZ8vSyO3f6gzNFaX/T3dc6rcIMfxc6rpBXRhDQxmYXtPNNjI 1BfVDhUppbVH7FCkrWbONSrpWtlnlf8Ik61vQUOWplQeBEowoZLtMZxCWV50q5LBjW7psOFph/o+ HmYUkicv/nMCFy99I7lreCOGKllcqlxY0ffK026BilhTI/aLpBtjTBJuzII+/iiDCZlBOZuTAJul kFat8Qulty03A6edDSihuYQzMOqIAGH5rEb8xpPbo0E85a0izY/kbVpVDSmwjAxl3R4HMwvNJZ9E nt6OUI9jJm69LPAbjQ7oNuDe07BOxtxjr0/vbz/ePn/cHP7+/vz+z9PNy8/nHx+KmcbkZeAK65Lf viseLL6vh3Rfyg4yswYtKPXfuj+CmSoOG/l0LT8Vl9vtvz0nSFbYQNyVOR1pOApmVvYZNT50vrJP V4bRyCRc2U18RvmzLchAILhdVDusqdhp7yQX0jfnyFEj090lRh88VAojnpeNF1xLqEq3bSaSMTA+ BKkM7o4pN0SEXNrVDBIvDIyUgRiSxEufGvRb8Vc5AtRKTwHKZF7IXXMcxLgTh2SwWPz4eHx5/fYi 7VXi/dfT0/OX5/e3r896LNIUVnQ38iya74gGDrlNaKmKnL49fnl7ufl4u/nj9eX14/ELnvRCUT4U 8S3N40R+hQ2/vUSJTryajpzTBP/++s8/Xt+fhbcQOk8MVKRkygmqNclEnBzXqMW5lplo2cfvj0/A 9u3p+f/RDq78oBp+x0EkZ3w9MSFt8NLAHwH3f3/7+PP5x6vW1ZuEvD3ngGLFb01OhNN6/vjvt/e/ eKP8/b/P7/95U379/vwHL2NG1jLc/B9pV/fcNo7k/xXXPu1W3d7wQyKlh3mgSErimBQZglKUvLA8 sTZxbWznbOcuub/+0ABIdoMNO1NXUzWxupsACOKj0ej+tdH8Tfm/WIIZuyp51+Xh8vT555UaazDC ixRXkMcrPDcNwYYfGsgzPJ5xQLuq0pbwy/PjV7iEfPOrBvJQTbNtv/Xs6BrITGJrn+kH93wzDW6f Hu9uyYcWe8uQP3kl2s7O4/jWpdhVbeqkJarKTvTbZpeAJsVWcDwU4oMQDRtxAGGIWxqxKH/3yQ5y RiyupQY1422yKAoXMTl6GxaEfS28jSOacpSIs1mhKmAszBxlLmNHcCMIQBScj227iB7iAzGhL3k6 TXpAOJwxFAkssNmM0COmyCbN5LDnvEuMQJusVvG8kSLKvCCZ1yTpvh8w9LwRS+Zlxd73Pa5hEDoZ sFArSIAYMgk94umhHRU6cljM/kGgi+Nw2c6LlPTV+sQUCQgQzkhYJVCKVeBxY/eY+hELLzTxicV0 IDeZfC5mi3yvrnHrzuFpCcqyVB2a+pAfOk7JuRaxh42ugACtosuo/6TxMOxP6b4g7oeEITV+NsS2 KXSKax3FfvP878sLF5hucaZKzkUJqfgg3HvLH422RV5mUk+HYwYr0Ow/9PsijGIPHKdZkV1dZtuC HubQia+VGtgYusp1ZZWXZXKozzi+dfoSOkHVvu6a0nEZa0RYRwVlw0pLdOMjf8CVqjyukWz0g6A8 KudyOUafUHuYmEL0xvH1cfSwVC42gAzQXv51ebrAlnwr9/7P2IhRpBiZGioRzQoPHiCNsG+1ILrU L1Y2by2DJ0uZa8vui7gu4BUkolG02LIhraOD0TgYxTJc+E7W0snyFy7OwsnBYbyIk2ZpHnt8bwFv HSx5ngg8OI01LBdsqyJxvPUIBTN9A0k2+JX8dJL8d3Vb8AmcgVsK3wtWiZxMZVbwEwY1wZUAHYmQ 0G1EP6V8fxiYRb43FJSgMXugRoMfUn0Qdk/U72XnucAJRoH4LYE16zqr2ipX4dj3++zU0AaZ5Zl9 CeV8bzdVZwbgzgsDV7S0CoSVxFYjV92lH6WnkPof2BKcOkBlNHyZo4DIkeuVSsXrVXoKXP1MFoWA BT3Qee0h5QRuiuiOG9RKbm84p7Pl22ShYGgH+6soKueHPzLfTcV0hVygClPdWMxEBSvqJu+3ckPr t1wQQ1cY78dXN4vqcnt3013+fSUe0aEML81wYNFBdwxT2fxfYcn518hWOL64kSmqneUu9YrwH80u y9Nfl6+2u3T75sozCFe839Zc8qQb8dqrn/JD+tq7R7Ej56glFfO3qpaUAyadSME9y1tvt/Ip5teM Cc6Ev9T9SvhXv60Snn8rt2jl7n0lMH0gV4UxbzezpBwpNanUknpQuNUlMt1Gm4PODpM0cts2UBDI HKKZIfhVk7VnfGrlRRNgOWWmjTy8zZhqvZc7rUiERVwlcbzAh8aJuuGo2AtjIkYeS2VlY1Z2zVOX 9orarhMv2nmsZUzxx6Q8abOzigSWPEQE8ledXsNtG9tD8GRfidl+abhZcYocY2zIIPT6eDbBy1Pp JnOG/ILRgqr7loCchkLrfCSFIGTWIY9NGxywRLpeRR6w2HE9yYSJLYSPDDTIbSTpzhQcB1D29W35 a9xVYX9jyl+zKdp11SkB05fEpVf0CfRieuRf1oioHAIpl8YBS7SOGvbRWxVIifY1mZWsYRV2b4js Q3cjV3DJFDANlAx31fv3oikO8MVm13B65RKP35+4FEMqoqCvEVaDpiidhHxeAXB8RMOeEmsVBJ0b lGOLJOcAIPHsR/pkJiWcPj91gC6T8IZTOPVI1TbpjvIhz1stHa5MoBCWAMgySkMaUvUff8Oipugg K4tdu/Jb62EwSB4P14f6/YEzIcF76VeSh3IPJ3n9IAbfekja2acVOsSr7GF2F+kUW47QD7u4rkK3 y2LoVlLJSCWymgTp2RReX0eaoNA01Lduii5abF7ZI62RNr5ZUpSb+kyHRLVHDYCqKy0ymYmM6QYk OUNWGQbe8BCzzbbvu8piQwBtoDAZ5nRF6q/BqqUugX8PltFssNtNNMm4gMy0cLDH0cqkRm8cIGS/ HOQ/pLP1qWVWIuLDacjNN12tfPf5JvVNllpNAirk72rtDoMhmVbZO4usE65UYkepMFSpYCF3sKP8 /ymxaQk+oWrSFHSibZNwCXT36Uoxr5qbzxcVAHQlbKiqoZK+2ankj/PqBw4ksnqLPTrs4K8yk5QD 7RTzrjtvtdsuVfkksAE0A1+7HUAOrm7f1scdCnuut1rKfimNEzB5dw0DWDfKuUPaZTVQ1qnC9+gw dQWRGihDPFDW9ZvikBWHnWCEskKoHtx8gBeS/wwvyMieiLMiIvfixKdngwE7e0fbF2YmYO4W7x9f Lt+eHj8xzo45wKTYNpqJ2qcuWzcsbJOcs80i5RTMpj3Sqqcl5DrsM9E4Gqb57dJZ83glOntl3RXf 7p8/s47zjZz0GiFxBzGbQOCdE5Wg7m++alLFOAwBoO590Y4YAnJDebh9f/d0QVi4miFf6e/i5/PL 5f6qfrhKv9x9+weEsn26+5ecewzUCSgmTdVncq0vDnNnweT+6+Nn+aQ80XEZMzm2fg7C526dj825 NCuo/Zy1cyhMMM70hTDRLdww2TH9RqrZottgkz9bo/YlODe/bZ8ul+dPN3KVevf4VLxzNQtUsKxJ +Kn37likaZ8fdgVr/YXnApWopcZLNBTZpk2F2/pWi3Q86H9WZ6udaMrtmvQUoO9NVKo61XY6dmDO yjVYFtOJn+uZYaPkzI2wJB22bZJud3RnVdki37dWNjq9GrjMLcCe2bcmXzqumaqd777ffJWffz7i zJMsH4+pmalBKe7j0dymT0d9huzRZX1ksHkoMd9ny4v4aiJXNZHrIDBKsHFgiB+7ik54c/YksUjf lMj5I8XIT9heIKadVnTq05CTR8qSZh8Kkz2WzAtHDjJfRsySybshMnm3QZfZtVuGWtR6yrPqD78B oFHusuPA0xjK1JAbrAeNNLToTOrVuehFS7Hq1MeTG3VSRVC5e1xImT/iwM9tKdTwDqnT5nqBX/2M biC1syTlCtN8WaRcs2pSptRGMBaPqaU4dPIAJIp+7Ha1rJzvvt49/OAX6LM8nx/O/cmYOcwKxD0x xqz/0m6Pjo4VOB9s25xbkPNzl064AvmPl0+PD0a9mOMSaWGVB/uPJCX2O8XYimS9wN73hk7BUgxx nphoYoQh9mKd6EOaHspousPSp9AihtN2q3UcsjHyWkBUyyUFSTEMALFzYDNUUo+kuLegjDelHwd9 1bCh/INptW00/NawOeNuKcDN/bjdYv1lovXphiUTDDRK19oHywW8p1kuOeDrI7+UomQDupBnbAv1 nzjoHj0zE1W1ypVBwU5okQCLiPcTFjolsyVOTctP+WE8MM9cjIdPZRyM8bZhSGtMOpckOtwQbOdc TSSJNzdVEtAUTJKycNzsbqpUDlwFXsG5J2VJgGdTloTUmUF+5DbzIrZozeMurxWHxlchHErVlj7k 3MiuzyJDnaR+0h7RJMvN9fqc/nHtWyhfw1xKwyDEaU6rJF4saT5VTXKlpDRcC4MviUlOMUlY0ay8 FcA4+fNMpZrOV7QmkabVOZWfdUkIUUDbLtLEgSsmuutViO+ZgbBJltTr/P/h0d6LYlclciqVHbF+ JFnsrf2WizoF9++AuC3H/ppMgjiILDf5tW/9tuRx7lL5exHT5yPqh6kpfbGFPJZN0iZlyU4MImfN SblHRNbvVU9bGa88q9Z4zeqZwAjJo6tVbD26ZhHagLEgK4rUIKm5NFsvIg5BSa5H4FRIE2qDVVL5 xRjydJ8EqCCe3/PJm1Vkof1IfjjlZd1A6FOXp13NHaqHGznchn2xWmCXnf2ZpC6Qx8g4s+vSwB92 6yZ2lwaLmIWAAw71n1OkNb/caZ4jr7rUNLyAzbArOb5v5dJVNDYDu+QEC98WDllcDvD/i3D3VGkT BhjXBQgLHCUKhDV5xDiqgDeE1JQg4pF8kCo/9B993b2kVU0QBWvHkDgkx3hFwAl0ije7kPGcIOQ8 ZEsy0GikSUKNAMj8Y4PSdWpEeyvfts4pKnvfPTAXwgv8+VN+4IfcdzJcbwWeenYD/GAlvOWcHPki wvkbFVkW4C9nFQv7cG6xVyHr3G6YEcbBMbUo+D9C7cp0scQem6dt5Hu0r83R4Tx8uL8aq7R9enx4 ucofbrG9SKpUbS73rTJnykRPGEPht6/y1GFtPaswIqv6vkoXNpDPaEocC9AWpC+X+7tPEOOjAp1x sV0pFehmP0PI1oz8Yz1xkH6VR6z5Ik3FiqxdyTvqVy7SLPRm6oGm8poI1F60BRwqdg3WaUQj8M/T x5XZCIbbQvuddbT33e0Q7Q1BOOnj/f3jA00HYjQ2rVcblD6ePWnOE7Y3Wz4eBpUwRQij0Wlbs2iG 58Y2TQZ+UNRFMz6nm8Ve5xBJDYo+nXBndZioMj2c5ci+0eORqD5oZ116EQ9qBQmqHak7gcWburIl SYQMvxeW2iIpvEubZC3XQevmhW6ex60ikhEFi9bWepbRym6SpNihZYi5jubhaEs+hbFirGzRiNeY JIOokHLf8lpKsHTG0CMq1mpFoVyzpoY8VtyUy8RigRVWqQT4RO8HrSDCOSWrKAjJ7+S89GP6e0X3 GrkrL2I2TRZw1hR6rYPoYLljBTacK+Evl7G9nUlq7ErPa9iRz+O66J3B6iEUO/nKpBkDdW+/39// NKam2YRWMPt9dqyqD2wVswJMEr/Lf32/PHz6OcZr/i9gn2aZ+K0py+HqSrtKqGvim5fHp9+yu+eX p7s/v0MoqxUturQTExNvC0cRGnroy83z5Z+lFLvcXpWPj9+u/i6b8I+rf41NfEZNpNVupcrLrwqS Yz6jachfrWZKz/dqT5G17/PPp8fnT4/fLrIt9g6p7Bgethhokh8ypMgmBRGROreCgHsrymJpWTZ2 PutVvj0nIpB6NTaMTDRqMEF0vaZxVondh7bmjRJVcww9HLRsCPbqpkZyZwqCmC1uU+p2UkUnR3B3 v+td+nLz9eUL0lYG6tPLVXvzcrmqHh/uXuhn2uaLBVnyFGFBFqHQI1iPhhKQDZyrBDFxu3Srvt/f 3d69/GRGThWEPjrYZfsOK0d7UKbxyUUSAhKcR/KbVEWmMVgHZicCvH/q33QQGJo9ALojCw8uiphY XuB3QD7b7F31SieXiBcAY76/3Dx/f7rcX6Q2+1323WwWLbzZlFlEcxIOUjUkPP02VeFHs9+2vVDR yHa+PddiFeMmDBR7VI90fqO/rs4R1nIPp75Iq4Wc6h5Pnc0azJvFqSMhOesiM+velOHbaiZoKaoo E9htitBp51k80on2cyE5JL0yFHAB8FEpRC6mTtZwDWit8iNOswvtIn/I+eHa3pPsCPYJdpMpQwsJ S1LkEsXdaCRNJtYhGbdAIXeOiYjDgKSb3PsxXjzhNzWOpZV8YsW3HHi8o3olWxlaxUQs+ikwoiVR h3ZNkDQeCwOnWbIDPA9dUYzHFFHKPcsnqirlsZkkFMsPyEEfW8RLZ+YsLdC02M3vD5H4gZVzvGk9 R6KDrl3iu4jyJL/3AiPGyKVf7g7WZgAUZFw81AkNS6+bTo4E0qmNbJXKcuHw5y18n0XDAsaCGrW7 6zD0eaN2fzwVAsdxjiQ6cScymbNdKsIFTdGhSDE3FoYv28nPR/BtFWFlEeKYKuqiXCwdOHhHsfRX AadsnNJDST+GplAgxFNelZHHYs9qFvWYOJWRzx48P8rPGAQe0THpGqPdcW4+P1xe9CUBs7dfr9YY iV/9xtvWtbcmRkdzJ1UluwNLtLcIzOJXdskKfeeFEzyYd3WVd3lrqXjoWiYNlzPcH7rQqwa4NLth rOyrdLlahNwCYVivWHewlKWpDOy2Cn3PvQtaYi7gF/aL6m/9/evL3bevlx/UyQusNUdiVCKCRvn5 9PXuwTVMsMHokJbFYfwgrJanb2j7tu6mxKHjzsrUo1owJHu4+idgyjzcytPow4W+xb41DvnIYIXY Ku9Ve2y6QcChR3SQrKGs68ZVkAKJ5woZX4NvrNnnH6TurYB4bx4+f/8q//72+Hyn0Jfw7j9O2bfF yRnv2+OL1EbumLvrZUBXsUz4KzbjOtgxFrahg6C0aAK5zAJ7hufzuLDA80P2YlRyliG96Fj45HjQ NaV9enG8K9sPsv+xhl5Wzdr3+GMafUQf/p8uz6DhMUvjpvEir9rR1awJ2MU4K/dy5UazIWukRsef gRTOBOI0HllxirSB/mHDsZvSxycx/dtecg3Vsdo2ZejTW4tKLHl4F2CE8WxydL07t3K3XDjQ2fZN 4EX8uvexSaSiyAeUzr7PpEs/AOzU/LOJcG02XLwpEmHz5R9/3N3DKRDm3u3ds8YtmxWo9D87gVSR JS3kuMz7E6d8VBs/wPOrIYiL7RaQ0/Dlk2i3JPbpvCaDR/5eYrUCxNGFEGgZFOD4VC7D0jvbwHBv vPJfxg2jFiDAEaPz7o2y9LJ/uf8Gpjk6B8nN7ZpF/5dLVFH1kEa4qtP62JSzhMlmvnU5i0FQlee1 F1F1UtP428ZKHjrwDSD8RrbhTm4aWFdXvwOc4jE5h/5qSQDzuJcfxwwG/pA/xtQlk9L+vnolSQpw R7+A1yTsHIyIa6CpaTv2xebU2e0oqjOvLhsme8FueHIHsKpQCeZCSgN3bkD0tagTWgOpUqVbc4Q9 Ah/8ex0tGtzxOpy3STHMnbf1WWw/WEUsg1XalJlFJTk/FeV4WBR227sidyFZG/a+tVK+aR2ufXf1 6cvdNwQdO6xh7TvacPBJ3BXpjACjtD+0v/s2/RTOZU9SHe6wm7scLLjMoSOhdrR4ma4BdQ0ba4ZQ BDRjTnJwQ02NTSvSo02qM4x6pGkNbo0miRxJlQIcOmXz0EdJpI4JSiu4IJLMXdBAKQoZs1uLeui0 fj1M/dHdt533PPYF5pjKddjqm0ruubqVkx5tf+uxQU2SXvebox1+sAcHUwUDI6ldW5clfo23OCZM xlz+21zw7SEWDU2V6njZ7zioFi3AQvBoFsWwMjQrobOh0sB8TdSdzFFtZAiNGzDg44TkftBiRtpz UysP+w9X4vufz8rPeppnAOfUypkh2VMxiNhXRVNI3XBPHISB4UKCAp6JIXU9agISj2LD4pVLCY1/ BBLozC5p1/Uh0ZAQpMHDIwehmHZ9E4vX9EDmIALlJJ21nKFElaLwDZIumdcrm9qkRW7Xa3IC9F3d tnwyOizF9dTAEwVEpr9RgEjKU22XABuiBi6y8fiQUFWc5cDH3wsxTVSy/hakbBPP7C53X8AUlKNy w7wbxPLLKXeo1TdztUytgUmo8KvratY4zD92VWFXMvBXZ/P4q/VoMBaunuac9MHqIHUJUaR2JSPT fhHaFIAAeKUFkn3ETucD8Szmby3J+2z+tnWalzUAhbZZzh93QGqI63L1+QTJYgY1y4PZZPEGD7us cTLg19mz2z0K5FbWeV5KDRp4f9cLEMFMFNzUmuKG5Eu+VVD3oclTx0sxE8N4m2aNhvh0vpGRUxPv lyRfaavR6uZjSCUON2OCcnTc0fvio91+vRFe53m1ST4wH2U4nZE9BRUBUaspn88cx33IH1JxHl2x mssTJFRSJ7x7fQU8VwxBlUtVAJQVpS6JC7kIaPp0v6Q5yx8/gMPfVykRDudYcSqK2cRVkImjXbrh Dqtvn2XtvMmiycfihi59pQ9G3UBFalrw1EOxh6ytcTCbIaiofYABwRD4lIfHjfWUySnx+9/+vIOs rP/x5X/MH//9cKv/+pu7Pgq64EDEzhKkjgLeKiGo1JnWTzsxpiYq7baYyQJZnrm7WTRuvj2KnB0W 05r0togsmPNMVlWDfjBUTduv4wbxxzKMwwmSee8aHM+pfZNVWxAVUDkGmnaKeH/18nTzSdmO7Kkj 8LlY/oCLvg5ykYgi5RgAF9NRhnKawn0IRFEfW6l+pDr8m78omMTYLMWc4LZrk5Rb7fTq1JF8UQOt 33VckpiRLRyPybXztccaHII5Uqf8t4Obxrz3x5Wg2dG4FY0u08AUUX653Oohn+mrXTsKC8uvYuAL 2VVdcQYgOQwlMfKNZ7V1yTOy5dxeuNwYRqEqSffnOmBasGmLDGcDMq3dtnn+MZ9xTVsaWFW0Fay1 ymvzXUHTANVbzHG1MlMA9/T1JK3fVvygHAWSLb92096S2uohV8F8/aHO2O8lRapEdCYPtv20Ye2P nLqMBOQhM88xrL6Aw2Fd2eWJTe7E6ZZnfm73PZZdIXv8PDl5oIs1FvvgCAERu3gdODBZNF/4C89x 0XI8OwNPJWvMaDS/50MYB9OtPovFJMqiIvYDIGgkk7RrSzpzW/n3IU87exkY6LBXcH4d9RGE0FeR K9W7Y5JlWDGc4LQ6qdtIFaj7v8qOZTluG3nfr1DltFvlJJIse5ODDyCJGcLDl0hQo/GFNZbG1pSt R82MNvF+/XYDIIlHk8keEnm6myAINPqFRqO1s/CxTLz7SxWXsQfAO6usU0/3eJW3srKseHYSw4oE 860EHaCvC7c/6YZhyF+CGG0wRNSQe4uIKxsBUxhbo8RvsVSTG7ntYV2kSjGW/tVmfYMCKy0BhSjo GC+0AL5qvalkcFfGSHHDayEpP2nR6BvZ7J4lk5e0CY0BA92ZNza0YSDXbemeKVQAvNddlcFRzLGg VVFVA9bQr1ld6F0Tr6Eg4u1gJYhJqy+LXHY3Fz7g0uttLK35Yq0sF81V5xhwCuaA0ExwALFjS5j6 STZBCRORsc0EDKRxImpcMfBnnoBlawbGxKLMsnLtCPaRGO1FauFZJLcwo+rLyLflHMalrDa9ZIu3 dw87r8SNWjJ01rWm1o7Icfd6/3z2BZbduOpG7wZPLZI1vXS1qFRkSc0tr2HF68IeQs9wlXkV/KSW pUbcMulW8NNggSrpPXXAIm2XwMiR/QoDArlgK2YwPRdJF9dgmtnKvA/FLsWSFRKjgs5T+k/PaqMf Ew6hpRPw/jQUFTASkue0KIHlB6Jt9dd0ZDpbW4gYRmTspwGA6q5zEI2fVJ4H6Zo40lafEdrdvR5w E3K8bnJ4/YqT5agbHrcoxLok540K58pauEqnJ5nIrNFIks/U3RMpA4e+4IkSb8j3Hd4pGJtDiuO2 ok9GiVUQ7SgoteFtW/wMJxyfzGHs/LrHJBrYA0zsn349gl/46+txd3h8vt/9/LD7/mI5iX3Zu3GU mKVEsyb/8BMegrh//uPpzY/t4/bN9+ft/cv+6c1x+2UHHd/fv9k/nXZfcVLefH758pOep9Xu8LT7 fvawPdzv1Pb5OF+m0NPj8+HH2R7c6v32+/6/W3MqY9AXAu+jwd2IoiycaO4yBr7P2qUo0NZuQfxy tlJfTs4eTR5tak7fOTpDj7NKJY7aT0CP8QFnZjSoQx9qBQuu0HUvL87PQ5oaLBuR8756n2sYwZBg iRRkrWHaSBO8J0Wz36J0jDt6/Hv09PQNB+n8hThIIbQoykHyH368nJ7P7p4Pu7Pnw5lmPqt0viKG b1o6hSod8GUI5ywhgSFps4pFldpLxUOEj4CETUlgSFo7d2EOMJIwrL/Yd3yyJ2yq86uqCqkBGLaA AfSQdCyISsLDB1y7zaUeSk321++6VMvFxeVv4O0EiKLNaGD4+kr9DcDqD8EJrUx5EYdTLvJkCHC+ fv6+v/v52+7H2Z1i0a+H7cvDj4Aza+duSw1LQvbgcfg6HidOgGMA10lDe3B9P3My8d18c1vf8Mt3 7y5+HwKPr6cHzEy7255292f8SX0PZgD+sT89nLHj8flur1DJ9rQNPjCO83DKCFicgr3GLs+rMtuY jHC/34wvRXNB5sH3X8avxQ0xUCkDkXXTf1CkTt2hsjqG3Y1i4s3xgvLje6RrpA1Q8uqKvkcR8UhW U9vRBlkuqEcq6O/0M7fEcgEjxpQq9BZGOjfyiQCDsKVrhPbf1DTCqZ2qg5Tb48PUUOcsZOqUAt7q WXGBN5qyT7vcHU+2rTas4PgtmRRt48P33ZIyOsrYil9GE/CGYoI6lhfniSAvwjZrgXyVNReeTEyu CBhBJ4Dp1UYvxc91nnjriKKYOG0+Uly+oyuajBRvybNB/WpNncstBuDlu/cU+N0FoX5T9jYE5gQM fe+oXBKDIZf1xe8zEnFd6Tdr9tq/PDiphoNsCpcawJx6fj24aCNBUNdxOLURONF4f94kIiif0HMe w6vzRKhcYqavL8y929dHLHnUaUS/Jx5LyEvIDXJBK9dVyj6xhGisYVnD5vimVxXhJDux1AFYV7q6 ms8l4XBLHg4YuKbkDBj4OJaaP54fXzAr2DsDPozTIgOXe27RZJ/oKK9B/3ZFZx0MT1NxgRGZUtLg UyOTQHDX26f758ez4vXx8+7QH1F3fKiBnRvRxRVlqiZ1pCr9tDSGlPUao2ViMHyIA3U7/YlIETT5 UeB9nhzTx6pNgEXT05Sx99/Xo1R/pl86kE06AwNFXVASyEbDGrshL6nxSEkfZcDyQlnMZYTbdHaM ZxCHjLAN8DM7Uy/U9q6+7z8ftuDNHZ5fT/snQpXjgVJKAio4JdfUCVStNvsUtDkaSlimOjaCVFog kA1o1Ow75p4ejGGrhWDNOYQzyw/oer0Odj/66L/Pkcz1edI+GD/IMaVDokHP+p+TrgNZEOOB4y/K ATiqi7PwXlGdGH73sLv7Bg68fWro75D3PYpEweqNDq4vPgynkaf4LRMFZ3VXs2LpZLgwtQ0xAiIB +v6G13bUW7GLYhwK2ydCgqFQxNVGX+XnuqU2ScaLCWzBZddKkXmXndWJoOxQ+PCcg1eaR9CdsbFa xSztZNYhUTNW1zswJ18avgkj/nFe3cbpUu3K1HzhUWBkd4Ha32wNCvdyH9NGs8lBpBfmdJxdGLUw EX6nIi5YuJh0Ix39Gl94jBV3M2Zw3AnZdm4Dby+9Bt5eDgHcCf2nSDIR82gzZdlaJLSaVASsXuuw uPckcA390HtHvrnSLnZyj2HhzXgksXVsxndBWJsIqWcJQy5MUgIJlkVS5hND1XcBjQDVhnvSC+Bq l96H337qnG1P/bu7dWs2GajKBquorzMEgtmDZYDMvdZ5hMoU1sV0Y00F4xG0FsUfA5iJ+3tLyQ6i G5Tk4DNzHGYK1q3yioRHOQleNLm9fsAIuWGZtwt4y+qabfSatGVVg6vczoRCkFMyGX7g5uwIKMD8 7RqNAPm0lKmHQwRekYTa39/3QRzD1DXZvb8CVnffA4OYsRoTf1JlSRGipeGyrcJODXiwreukXBcz JM2miBV6MZzT/Ssq5xTEQIJYvKyb6G+zFqXMIvfzirLoKbFabuViB1RVlpmLqnlAbaQkgUHDrM8j osAwd1Y/l5lmUEuaVC341E6r17aGyMrI/WXvefV8kJlNxb7N7FMnmRNaEvU12hfUVkReCaeiCPxY JNLmUVCx/fK6SRpLUfTQJZe4A1EuEkYcQ8Bn1C1mnVN2H9PfMuFzndrWWLPM3w1JeFU6yWxYJZ/c /wsMDXdvqbdsFPTlsH86fdOHEx93R3vHaVDyKisO1O8yA/MiGyLy/56kuG4Flx+uhvE1F4oFLQwU oJ6jElQYXl9XgI9v8YJiIfgPDJuobJwamJN9H3zW/ffdz6f9o7HQjor0TsMP1F6ofhv6CgSbGO8j bzHUkHK73P6ihk6r/IkPl+dXv9lzVHWswVTP3LGcavBz9FVdDR1+TIEAq7KLAiaf5FqzuLi6SBx3 pHMmbQHvY1T3urLINv7ogsTBbMW20A+wTGDhBjskqBhzzUBY6C+tSiX3G38EDJx+wRq36nCDVUu3 0bD+uxP1D/viNcPOye7z69evuNcmno6nwyuWDXLzvxiem2s2TU3dtmD61wQ9bpSYWuP/7XkbsLh7 owhyTKsip9BrCXdkp7bCtRpeJtaQm1/jNj381ntFRCMKuXIeB0C/h6kZ98P5nxc2Fv4pRdGC9mMS 7Oe6rFKwu86dKUet00YNK8B+LIQE584MiCFSOLuXmljWE2cpNTrCe7TInAeFxuQK7xX+670GFcfm 3J8H78q7WY5xpx8TXjgx8di1wI80m8JDu6PoxEQTPO6IhWjdwKRuDvFKG1IuFD4LhoVbKkNBYZU1 ZTGVoDY23Xm79Q5BXSYMk7ccPTqaGopmfRv2eU2lOA1unEza3ElR1xDqGkGv3TL6yOndpSZro57I GUSFUDGfqXVlZhMsTpNe4L20x8z0S6dTtKjAqL6BIkgMDS8SXy9443mTh7dA9piwc0CNu0FhwpdP VUfz+Gq5yNhybvDHjpGHSNyPELVsGbE4DGLmNfqiFpVoMce6WkWgTT85sVpgMi19aIS6oITZtzzG sfoMjQ3jUBqLKVtoWBXlKHPAgfCSU1UbpLQJpIGnr1N9qlhv8CHRWfn8cnxzhlVKX1+05ku3T1+P thgpYG2BZi4dB8MBY7psy8dD5BqpbNJWjlIdYyjoz5h7BixroVzISWRUlhIvf8htMvWGv0Pjd023 36V41gs0z8peC1phDajhAy4uz8fBH181Eqo3EdwySWt6NYzM+hoMHDCTktI5EDE/RTq5DmyW+1c0 VAgVoAWEiT6PaUDEIy6f4IevOK+8fFyzQsDXzisZaCLsoKXf/nl82T9hVgD0/fH1tPtzB//Yne5+ +eWXf1nBR0yHVu0ulUMx3HNr54vezCdF69vtJaNCM0bdYIBO8lsemFr99eA+fIJ8vdYYkP7lWqXq eQT1uuF58Jjqoed5Igy8KoqUADNZ4o2ITcZ5FU6JGR29YWJ8Mkp6qX7A4sK0ek/5jl8W+LdNvJh4 KG4S3eaaCRme5/l/OMLxNtXRJfszlfcAA9i1BW5IAlPruNzkjK+0RvfkM+HPWaLwmzbR7ren7Rna ZncYXic8tEyQUUCzOhAbcBmxjFQavQA3huRpbW90ykqKS1XkLMj4d4TEROf9t8Y1jB6Y3l4VS709 GbeUEKGnHog7dS8EAZ9+AjMyp55CravczUHuXl5YPiu2O3GiDXH8ugkZ0P2iwJi8Nr5hrVQ+FT+G LqUgwjNtikneV8ywgj+qqhz0q/Z4bfBo57FL8FZSmibZFAwX/aJfDtPIbi1kiue7Gv89Gp2r8zdA gJsmHgmWyFCjjpTKh/Ybic2DuhUrLKvajl35qQJD/r1w6jI2Re9sKeFogoeCAUSMEfijEND3lv4E oaU++sBAIElQJatgmHmGyucOZm48AkFNG21NOvNDH9XpGwMVh2n61B68Nu7DjmBhmnKxmOuB0dNz JNo+mCFI1xmbbcHwl+GhiRpx6vGuKcCkhtVE2UkgzWH+zTgE6eM93Oyh4b2D6gEyQ6YF6ohrjrMY OaoWAayfIx9Ot9BsClhjA3QcIxD4fe3ImQEwa0AUqJemydQC7CIOn5ezmvYNrSVGU3rvZZnaosAx tDu+jMubYWzn+NTMsWQ1bkdMbILZnbJJyQHElexjGVb7cW+jVqBel887h/qcugl38SFneHt4fH9F RkcEGsa9BBKJHb8vweHCkqEECHfLVw0e0+8a/NcUyUDRyTymiGImnUIII0Y/VQlSIblUXEY3F+dU 8+YQOJf51S2Jtw+zW70ChTdq0RAt6Qq1/ijbIX+5O57Q+kO/JX7+z+6w/WpVeV21hb0HoX728Rof 7PKLhvFbzSMUTik1k98+nncyZhcG+1V12486Uk3pAeUODhSOHmAiazJGhz4QqUNgQXjNonHanj1e hM0t0DZ3e+A20Md751bJChZ8EHJoQJKCHNBrvHKv6gQEtdLNgRccW1z0Jhtt9MdWiaQsc6RXxjNw p62kFRzP2KScVR648bzBqPcOlJ8SyKJRREa4JTyDV/u6ZVZiwa8JiebsLvuxSuWPvb8i3CXV75Tf mmCk8zV620wf9WpCZBPbyXQKugKwtAvKK+iQ22MDIyHzYADbVjgJoQqoN8hpJYR4PBa6ADk6NYk1 JlJI/7ST/nA6rU/hRGJttS9EgWVOLF0XtLUQdQ6eH2Xyw4OwirPEFyBoiMiMFBiK8xyElUNipUBN sQO8sumIqW4TnjF/2kAbgYTvQgZQWVUi4H6eG6g3Ash5KEqodQ0P+ZuvszI3OCim92L/B7ToF2Ku xwEA --===============6140218999744990309==--