From mboxrd@z Thu Jan 1 00:00:00 1970 Content-Type: multipart/mixed; boundary="===============7726469194985772160==" MIME-Version: 1.0 From: kernel test robot Subject: arch/riscv/mm/ptdump.c:210 note_page() warn: should '(pte_pfn(($expr_0x7f0526438120(24)))) << (12)' be a 64 bit Date: Wed, 13 Jan 2021 07:55:36 +0800 Message-ID: <202101130728.Wg0QN66f-lkp@intel.com> List-Id: To: kbuild@lists.01.org --===============7726469194985772160== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable CC: kbuild-all(a)lists.01.org CC: linux-kernel(a)vger.kernel.org TO: Zong Li CC: Andrew Morton CC: Linux Memory Management List Hi Zong, First bad commit (maybe !=3D root cause): tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git = master head: e609571b5ffa3528bf85292de1ceaddac342bc1c commit: b422d28b21773bbfc9e84dbb5579a8ce355279ca riscv: support DEBUG_WX date: 7 months ago :::::: branch date: 6 hours ago :::::: commit date: 7 months ago config: riscv-randconfig-m031-20210112 (attached as .config) compiler: riscv32-linux-gcc (GCC) 9.3.0 If you fix the issue, kindly add following tag as appropriate Reported-by: kernel test robot Reported-by: Dan Carpenter smatch warnings: arch/riscv/mm/ptdump.c:210 note_page() warn: should '(pte_pfn(($expr_0x7f05= 26438120(24)))) << (12)' be a 64 bit type? vim +210 arch/riscv/mm/ptdump.c 59c4da8640ccf472 Zong Li 2020-03-12 205 = 59c4da8640ccf472 Zong Li 2020-03-12 206 static void note_page(struct= ptdump_state *pt_st, unsigned long addr, 99395ee3f7b4accc Steven Price 2020-06-01 207 int level, u64 val) 59c4da8640ccf472 Zong Li 2020-03-12 208 { 59c4da8640ccf472 Zong Li 2020-03-12 209 struct pg_state *st =3D con= tainer_of(pt_st, struct pg_state, ptdump); 59c4da8640ccf472 Zong Li 2020-03-12 @210 u64 pa =3D PFN_PHYS(pte_pfn= (__pte(val))); 59c4da8640ccf472 Zong Li 2020-03-12 211 u64 prot =3D 0; 59c4da8640ccf472 Zong Li 2020-03-12 212 = 59c4da8640ccf472 Zong Li 2020-03-12 213 if (level >=3D 0) 59c4da8640ccf472 Zong Li 2020-03-12 214 prot =3D val & pg_level[le= vel].mask; 59c4da8640ccf472 Zong Li 2020-03-12 215 = 59c4da8640ccf472 Zong Li 2020-03-12 216 if (st->level =3D=3D -1) { 59c4da8640ccf472 Zong Li 2020-03-12 217 st->level =3D level; 59c4da8640ccf472 Zong Li 2020-03-12 218 st->current_prot =3D prot; 59c4da8640ccf472 Zong Li 2020-03-12 219 st->start_address =3D addr; 59c4da8640ccf472 Zong Li 2020-03-12 220 st->start_pa =3D pa; 59c4da8640ccf472 Zong Li 2020-03-12 221 st->last_pa =3D pa; 59c4da8640ccf472 Zong Li 2020-03-12 222 pt_dump_seq_printf(st->seq= , "---[ %s ]---\n", st->marker->name); 59c4da8640ccf472 Zong Li 2020-03-12 223 } else if (prot !=3D st->cu= rrent_prot || 59c4da8640ccf472 Zong Li 2020-03-12 224 level !=3D st->level ||= addr >=3D st->marker[1].start_address) { 59c4da8640ccf472 Zong Li 2020-03-12 225 if (st->current_prot) { 59c4da8640ccf472 Zong Li 2020-03-12 226 note_prot_wx(st, addr); 59c4da8640ccf472 Zong Li 2020-03-12 227 dump_addr(st, addr); 59c4da8640ccf472 Zong Li 2020-03-12 228 dump_prot(st); 59c4da8640ccf472 Zong Li 2020-03-12 229 pt_dump_seq_puts(st->seq,= "\n"); 59c4da8640ccf472 Zong Li 2020-03-12 230 } 59c4da8640ccf472 Zong Li 2020-03-12 231 = 59c4da8640ccf472 Zong Li 2020-03-12 232 while (addr >=3D st->marke= r[1].start_address) { 59c4da8640ccf472 Zong Li 2020-03-12 233 st->marker++; 59c4da8640ccf472 Zong Li 2020-03-12 234 pt_dump_seq_printf(st->se= q, "---[ %s ]---\n", 59c4da8640ccf472 Zong Li 2020-03-12 235 st->marker->name); 59c4da8640ccf472 Zong Li 2020-03-12 236 } 59c4da8640ccf472 Zong Li 2020-03-12 237 = 59c4da8640ccf472 Zong Li 2020-03-12 238 st->start_address =3D addr; 59c4da8640ccf472 Zong Li 2020-03-12 239 st->start_pa =3D pa; 59c4da8640ccf472 Zong Li 2020-03-12 240 st->last_pa =3D pa; 59c4da8640ccf472 Zong Li 2020-03-12 241 st->current_prot =3D prot; 59c4da8640ccf472 Zong Li 2020-03-12 242 st->level =3D level; 59c4da8640ccf472 Zong Li 2020-03-12 243 } else { 59c4da8640ccf472 Zong Li 2020-03-12 244 st->last_pa =3D pa; 59c4da8640ccf472 Zong Li 2020-03-12 245 } 59c4da8640ccf472 Zong Li 2020-03-12 246 } 59c4da8640ccf472 Zong Li 2020-03-12 247 = :::::: The code at line 210 was first introduced by commit :::::: 59c4da8640ccf4721d54d36835706f3eefb521a4 riscv: Add support to dump = the kernel page tables :::::: TO: Zong Li :::::: CC: Palmer Dabbelt --- 0-DAY CI Kernel Test Service, Intel Corporation https://lists.01.org/hyperkitty/list/kbuild-all(a)lists.01.org --===============7726469194985772160== Content-Type: application/gzip MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="config.gz" H4sICJIz/l8AAy5jb25maWcAnDzbcts4su/zFaxM1dZM1SYjy5fYZ8sPIAiKGJEEQ4C65AWl2Eqi iiO5JHlmsl9/GgAvAAl6dndr1jG7G0ADaPQV8M8//Rygl/Ph++a8e9g8Pf0Ivmz32+PmvH0MPu+e tv8KIhbkTAQkouIdEKe7/ctfvx13p4c/gut3799Ngvn2uN8+Bfiw/7z78gJNd4f9Tz//BP/9DMDv z9DL8f8C3eJy+vZJtX/75eEh+GWG8a/B3bvLdxOgxSyP6UxiLCmXgLn/0YDgQy5IySnL7+8ml5NJ g0ijFj69vJro/7X9pCifteiJ1X2CuEQ8kzMmWDeIhaB5SnPSoWj5QS5ZOe8gIikJioAwZvBDCsQV Uk94plfvKThtzy/P3bTCks1JLlkueVZYXedUSJIvJCphOjSj4v5yqpatZoplBU2JFISLYHcK9oez 6ridP8Mobab45o0PLFFlzzKsKCwaR6mw6CMSoyoVMmFc5Cgj929+2R/2219bAr5EiueWLb7mC1pg m6MWVzBOVzL7UJGKeFjGJeNcZiRj5VoiIRBOOu4qTlIadt+oApnrPhO0ILBQODEI4ALmmfbIO6je Dti74PTy6fTjdN5+77ZjRnJSUqy3lidsaQmbhaH57wQLtbheNE5o4UpJxDJEcx9MJpSUivd1h+UF KjlRRP7+IxJWs5jrld/uH4PD5950fI0y2EkKS5VHKSmH/WIQjjlZkFzwZonE7vv2ePKtkqB4DiJL YIWsbciZTD4q0cz0wrQ7D8ACxmARxZ6NN60ocNXrydpfOktkSTiMm4H02vMe8GgJXElIVgjoLPcJ XINesLTKBSrXNss10m5mtFZR/SY2p2/BGcYNNsDD6bw5n4LNw8PhZX/e7b/0FgkaSIQxgyFoPrOH CHkEwzBMQOyBQngPjVIgXCDB/UeKUxdeL8p/wKWeTYmrgPt2N19LwNncwqckK9hGn7rhhthuzpv2 NUvuUK7WCWk+tbQ6nZtfbEgCWtXsfKvKVOsYziiNxf3F+25XaS7moMhi0qe57Is8xwmJjOA3Is8f vm4fX8AsBZ+3m/PLcXvS4HoSHmyrvmYlqwpuLxnoMjzz7luYzusGPkWoEYa5br4xoqX0YnDMZQin ekkjkThbJuwGXkbqsQoa8XFOyihD1nAGGMMB+aj1SL+ziCwoJq8NB+I5KvA1SVjE4wxp9WdpS4bn LQoJi1dls0CXwhGz+awEl7lvvmBlSsA4eoBGPdoWlRPh7wZWG88LBnKodJZgpaXYjMgp06v5tRBr DvsYEVA8GAm9v7ZVdXByMfUMW5IUOTpMSRlshnYlSv/+h4wJaX737waWrAClSz8SGbNSqXH4J0M5 9prwHjWHX5wZYpGCEsGkUKZTihJ2xvJAirj7MKqm+9bGS+2Psy4zIjJQkLI27T7NpJdu4BDExgx2 AOOctObFUSa2k2SJXYjARMeV7rZlKa4EWXmXkhTM5bCbBp3lKI39O6RZcnFNh8pWx5Yi4AloHJsZ RJm3T8pkBTPzbzmKFhQmVi+ZT75hlBCVJbW9iLmiXWd8CJHOwrdQvXpKZAVduEIw3C2179oRjZ1j AWyQKCK+tdEOoRJW2Xo0zZbii8lVo+3r+KTYHj8fjt83+4dtQP7Y7sFSIlD4WNlKcC6M4a+bd316 Le9/2GPDzSIznUntIDSujeXjIwEBwtwn2CkKnbOQVqFfulI2hkAh7GU5I42fP06mtH1KOSg0ODcs 8xMmVRxDSFIg6BH2D2IN0H3+MylIplW1CsNoTIGSui4jOEYxTXsy2hwJpTe0fnU8QTe+aogvp6Ed KZSU44UVGKiYIcsQGLlc+SFgGTJw029fw6OV5W7o/iQPqaWqMssXWiDdSsVuzcwayFUHgQVjccyJ uJ/8hSduuKpZiOGcwLGDgBCFttrSSBMtjKNJCrFKE1llLCJpj2KJQAK1U4RSmVSgVdOw30lVFKwU 3NhezbLeYke9d1R1J7F18MCLxXO9dQ2Z5TFqMAQpMM8ZH+Ibh83Rv23ggiA0LMEuAm/GAvYJeJUN ocmSQFRhDRKDASCoTNfwLY0mbTZoJtS6yhTOasrvp7WreMAga0/bhzqr0R0EBq4lSPXC7wQp9IKW wqs/3E51r8XT5qyUSXD+8bztnHS9LeXickodlW+gN1fUZ5/15sPcolQHtp2maREoX/s0PloVyZor EZvOXLWT+VxYUeWkWeje2ZOUI4kdk1lU3qVw523ra8c172LMi8nEu+CAml5PfFbio7ycTHqRKvTi p7238kvGjUtKFeJZIk6w0tmOD97oB7mYXLxmMbqAQk0qPADZ4VkJwcnKgGWRzj+9edM1dyiNvBz+ hAAFbM/my/Y7mB6rn069Zv4lH2vqJLA2x4evuzOIKPD79nH7DI3dYWwjrAVSn++EMWutNBICC+V9 CjqrWMWHZxSkSycG6rRaTyeprBzozFqzjSAjWmrth4re2CqfB2JfZ8N4D4vTPq/a8pdk1qfUcB05 aA0noyobDGXUsBYOUDOpsD2nMXiddtSdgjUUMAtwqVUuwzNTksa1aXZc7m50x4a9Zv96tk+bhiYN KFgRsWVuGoCqZVU/B4dZsW5yoCK1BoIgG1RCCHNZojKyEcbJ0WZaO7u+fRQgDELOSZmDliqXK9uq jKJUWG97V21aa4bZ4u2nzWn7GHwzh+/5ePi8ezLJm/aMKLK6Y48+aJnTZMZdIbWv27kkr43U91v+ 5li1WhSEWQUZxFpE7UzzTI0+sfIPLKpS4vXgDQbOJVFZEja3I9GwzodYUSTHnILsf6ggnHUxKr4M +cwLdDK2XTAqyKykYv0KSoqLyRD9ESQocsG1QpTaAXJCQ4Vdhr5clelOOTG2d2JD25Gc3jgofFYg fwinCExxAHwwXK51gDtIHhab43mndjMQYNIsTQn8C6pjYoi+VHBtqzrMyryjcIy9i5K4gsgc+YS1 R0gIZ6vRISTFfByJopi/xkTBlhC5E38NoE+szCNd+TgGZ8w7Z8bjDuEfI6Mz5KdpKAQqqb/7DOFX m2Y8Ytxp2kgAj8DW8DlES8TJCEA8AXPhVfg615ylwBSXq9ubVxmooDdQocQZrNF4UeZjTYH7KbPZ yPxBzZf20vvCt2pEHOeozF5feBJTH4OqanRz68NYB9war/FWesfJPsvZB+1jU9Yofcq67K118oCO MuPNRWC03PKehZyvQ9s4N+Aw/mBz5A7SihvPL6xkRl4rCl7QHL5cbdualSyjbGnpzy7fqqdD/to+ vJw3n562uhYb6GzD2ZpYSPM4E8oxsJJqaYydbGRNxHFJC+Fhosar6NNRhx3Yp2ANNoOj7WYzSqJ8 I6/jOTYdPdds+/1w/BFkPo+2daJeiXGb4BmUY4Wcs9lFzgbnmU3d2O0N3LCISNPOzuG23amSjR36 dJgF/FDuUz9U50UKDlAhtNeCC/CG2/yAdpF61UadMyiJCpNNWanVNrMSuaRzbnHfuHKaB1BNoM6j 8v5qcnfTUOQE5BqcWl25mltNcUrANCGQe1sqwXvvF4Fx5rNBH/tkGqAnVxLOwbdteIN/YY39wfNo o/SjP9c52uD2avrfjnD1XzdIfAXP0QYfubAM/xjZ/Zt/n86Pb1yyjwVjaddRWEXDpe7RXMYs9eec veTavWTj83HIgcdPL30em65s4dStrE/DePOlWXQnMuSiS2tHTfZRxZtzf/IQJFsJtq6p2j3PVNEJ fLckQ958a6sTC6FUN8EUOa7+uJLqDpZotHe+Pf95OH6DMMAbnAPzxKdZle13DAn4FTjrQSKKnDLz Kip0hYyM1JDBFPkTvwBXd1tUgDqyJqoCVohC3ajhnMaWS9+0LZK1DupgubPCUVRA0Ua89pAG2PrB Xu/NmjJ8QCSqjXZnnkoazXz1qQVQytvJ9OKDTd5B5WxRFt61sGiyHk2rWLHZYOdblhAj245DmmLn Y+q40gKlc+/4q+m1F56iIvQJecIcZighRHF/feWDyTytf9FVN9iuXKDUS2kEyTI3CLf9OoXRQcm5 WRbspA+jnKsaKVOXkvyBFWww0mGRbz9ruXZ2s4bpc/BKGxX2Fiof0U3GOIx2r35Ed8OlmzB4dPPB 0csKb/3MFI6dUn3CfYWSuqatj1mpXdl+mVyhzOnzLbYWwJUMK76WqvpoOX4f0p4uCs7b07nJgNQ6 bYDqIWz91aWBshJFnd9dbB6+bc9BuXncHVT243x4ODxZnhsC0XbOAHzLCEEgwVO08J1imFXJLBVQ Mk6a0dDqHZyUfc334/aP3cM2eDzu/nCd/jnl1vbeFI4YhMUHIhL70IZoDVsuVY4vjlaOqukwSeSL Y2sCcP8G3ZHCch3XKLOtyavzaMUD2ZESnJISLV1AaFsHBZj1CH6/uLu8axYPAEFkhor6S6aIF4MB F6sBiKcG1EkqACPiO74Go3Iu5sqIU83zMNOun52DUvVREpUOpIzVCfWApHDyTtA2J8UAIDM8yMY2 KJWJZXJouQCPM+EzDIBJuNNRSnotUxL5bTPgILKJ+5c8bXx9FXCQawqfXrbnw+H8dfQUQGOVcUt7 zCSYhqLiPrPSYLk53w60QqXwwWRyNRxAI0LM/cbWokEiufR5HhZJMwdP49nNatXHwJGYTi6H4AJd TIbQGBaiD4xEejEgFJd4AEsrglEZ9eEL+L8Dy8pFOgDIwSJnYl7DuuLP2Ca38RkNZalSvV1PS1pC sMw9EDD/1hYu4Uu66QIN4sW6BwHbtHBOfDxTTsHFQCZbxH67fTwF50PwaQtTUWH/owr5g9qduLBU dQ1RDrtyvxNVizQXi6xM95IC1CtLZTyn3otByjbeWWfffHdJIxfcpM8srUZjv9ccj9x+5uABp/6g Vg1CYz8uXYoq95cgwAWQmKR2mSVGNGULW3GBKRMqMKt9lA6h6zVE3bf5nbaByZj6N5Uu7JSa4dPn emJX5gucQajU/wbvC0US07YmU+C3D5vjY/DpuHv8olPjXclx91AzFLB+3qcy9Z2EpIU9aQcMxlck zqX2hcgKO/nfQGSm6kROgkigPEJp7wKxfUtYDxTTMtNJWX2fdSD38e74/c/NcRs8HTaP22PHfrzU C2Gz3oJ0JBup+6vWZq4gsm1HM3XgQTtdizRT9+WzWroms2ArlD6n7Tk3ZcBFm8VzXDaIyJcO1rtY takHZTHi67e+QOktWhm0soV1JxA5ZGzhGNMikx8Yl/NKvZ4YeRthkHUXhXlCYXmTZObk9My3pPYF 5RrGCzqALS8GIJXJHfZXOonjETk3lvzlVKt3J0uQsZXwZgmyhCqX37ETVhet98VAraiasnU2S4a7 C3NdaiTn3iKiTlb1ClvPm+Opd2UO6CQq3+sc/kg/Tp7fvUMNSBa/2hZETl9jbdp6UOYSgEoNm+Lm 24vRDmSV13fX3BLgkFAVuVmerl1ZHtQmmhXRS1LBr0F2UAUCcyNQHDf705N+GBWkmx9umAJDhukc DkRvWk2Ftjv8wmviAOzE5fAty6WHkvZJyzga6ZTzOHLy+jwbodRbx4rBdqpcoPf8K2Rb6AHVlyEu XFVhHi2g7DcIAH+Lnzanr8HD192zJ8JTMhVTd9l+JxHBIOMhceEzkssG7DADPajMg77UzLxXvRWV Os4hgvBfX8CXF27nPez0VeyVi1Xj0wsPbOqBKTfYceDaGWSRk1du4GDb0BBaCZr2DhHKegDWA6CQ k9puNq89xvfIlHQ2z88qe1ADtfOnqTYPoKP6G8mU57RSi6VyiL3DoC+m2RrbAta3S/w4mH+pLlze uvctbZKUWA8EbYTaM/PeYupDs7gvSg1GXTdCsMS+xIZNNyOqbjzWy6ygTFduxnrpOV0dTKKc5euM VYNjWaQInAv/vbC/2y5zH3L79Pntw2F/3uz24M9Dn+MJGBhPXf+NU+TmwRyEXJZUEHNFeD2qMTpy Jsb1SoaTYno5n17fjJJwLqbXY4qMpyXKhtvRWzB7QBH1Dw58S8EESk38Yhfdaiwp9UUehb2Y3rqD aaU/VavaV4jR7vTtLdu/xWpHxjx4vVQMzy6tmBInygsAfyq7v7gaQsX9VScCf7+79kg5uM294FGb g5wojBdY77PZdD9Fd6PU9Q9qNPPmX2yK6Uop+tlAo2kkwRhsk0pgZr2XeiMkYPp85TCjM5eynulo L7DQQ9u2+fM3cBg2T0/bp0ARB5+NBoWFPx6engZbqjuMYHYp9UzJIGQkvHxkKzrGv1nuws05twil KtQzoNcaY4gxctwmZrPd6aHvFGo69YPTV7tSN11Y7r6p9SCNDffcoHqNNtIR0OTvSdUT1Ne7DEPh kV0IEhpJ0PNPC6W2/2H+nULcmwXfTenQqyU1mdvjB/24vHNY6gP69x331J1izPs+Q2GrsCdPAJDL VN/t5ImqyvbUlyYISVi/VZ9O+rgYvLnMvQHQoGZpRUJfMqHt170ko8DJGuLb0L40HAkrRGOx/buq jAo3zgOgumWgbkA6QP0CwI+as/B3m30ARescZd5TBMhGuuw+nCfd8O2U6eA7c7J+TN04hnB+obxh +xKKQaiyWY8hlfxJke8OP3jW7qOKGiDR6vb2/d3NEAEm6GoIzVUA5Ojg+oLmQJnli4wE/OX5+XA8 d1KtoI1p6EITBdRv/FSyxhfLKIIYhaVzN9FA8aAn8Oxm/ap2U7qymWpVkxVg1/2g6Hp6vZJRwRzl aYFVTsBXnrYonAxBVGXZ2hUAmMzd5ZRfTS7sMUBvpoxXJVF1JV0Y8d9zLCJ+dzuZIm+RkfJ0ejeZ WObeQKbWzVrw2jkruRSAub52HkI0qDC5eP/e9x6iIdBc3Nmp8yTDN5fXVogS8YubW6fQrU4XzAss YXH52vNTPnBIa8RKvQ1bSR7FxGvCKMcSYnSLq2JRoNy+koWn9XEw9+kIKNQsOPWl1cAlElPrKHRA p3RZg1MyQ9h3Amt8hlY3t++vB93dXeLVjQe6Wl0NwRB7yNu7pCB85WGBkIvJ5Mor/72Jmr/zsP1r cwro/nQ+vnzXjxVPXzdH8PLOKjuh6IIn8PqCRzgpu2f1q/23AiR3Qr//oTM7lQgRP1KhWZEO9And n8ErUur2H8Fx+6T/EE23Yd0NAFao/Jd39q91Ya0iTthrUiVNVagLj2wNYmIhzGnjHw9kSt+mz5jl oZSIRupvnthvjxWV+yXNO/xugLpn/UAq+AUW9Ns/g/PmefvPAEdvYZd/tYp99SV6bv/hgKQ0MEfD tdCRF+EN2vVeuyOrGNXxA8q9KTtNkLLZzLkOpKFcVYQRX+fYmaZoBMdJK5oW4MTodRvnJcZDChtP 9U/P4kuu/urPCDylIfzjaMyuCRrnRhGov6Yz8nDO0JRFO24Xf/VWotdvypb6deJYn1HSl6VElhHC gxkAPCkgPBmfAlCQzF/kavAorZD3/PnORWs47b/cwNXjYLVQjvE1D4ZDBkEyKUuv86poIDbBjnuh eyvcFa//CFUbVwV/7s5fAbt/y+M42G/O4DQHO/Vc+/8p+7LlxnEl0V9x1NM5Ed23RGqjZqIfKJKS 0OZmgpRkvzBUtqpK0d7Glud036+/SIAgsSTkug/dLmUmdjCRSOTy/XCvMDxeV7iJSH8N0roIiCjZ 4luAY2+KitzgaFYzNI6wHsPxBb5AFZaJmBJxAm5iGhjU6qFmqpDFnN9gh3qH8hBy7wL9ZDrT2uwF OQ3KjT9V8wvDllj8tp9aO3gnE3UeyLjhgKDkHAQeWgitWfccDhdyGmNcwhAiJBdU8dfjwWalPx4U fp0ntSXkcgEQkwtuGnZLv1NfAaF4nahqCgnhxu0QNCyMo1C90OgEVdHkMbsiEs0Wx6CxfPlRMjA9 3yZgKteU7srgUXEZpmZkkGEbhREYUWKbKIxoEmkDgfOj0M1kBuiFSxcj0u3cuOkcg3Av04r9Q53k usnbLV8oHnpMb2+b1PgB1xkDOq1m0wz3Oap0+1Dxm92xRp4NHE1toGbc1cEiVe8tYUW2GP39t8aU NIwjKIhshjDh0tl/qMMfiUsEUj1HtRF21oKhrnhz1b3HAGx+F4MgBnZ4Of7KyS7Knd2YymUYUFMK CEiUgQYgCyMTQeplqLlPdBUwFrbXmeAA53oxV48kDTz6Mg6E19wxyDTZq9uRU3Q6NxW0ISDFJHbv SXkTjGYTA5rRKAJelFn9z7aGWZeO3pfowpWbW82Rk+5KNVRdmsRtXZH1Gh7TOUJcqgm5Yj+dLwBh TPJWqyjM4g4wbA7GGPOahADH96xQXSxNgv48yOb7/V5vhwGDOQIUvMIYrOCzYMCp9wwqmQSB52g4 IlEYh2ahiDvruEcTh2w3i7ZwfBmMA993tAnYOgo8Tx8ZLzQJEOBsjgEXOnBF9kmsg0hUpmwf6zB4 fWz3u/BWh6ds6ya1N/K8yEDsax2QhRUTX1NzziTYG60d42YnQZWkRmUMVgjlLQ6uPQRDk4yY7efc mSpMHY2HdTAaG3vpRqmnA1UJXGyvTWCewHXAaJH18Fp2HRey2Rfu6A6t2cV/r53ScJ9mO5tE1FFm S+qEMoFa61unX1mzz9iv1ppk0833NQ0Wi6kaGK5MVQV9Weo/wEHWDI4B4EvOXoAXprYYX2LIrCwT s0LOW8HUDS9TaO4jALBq4PKjo0UuWmpWxFQbNk03+p2KYXtLK0cQPk5D2U53BWBiaC5jwb9mSMcY W+fcCzlfARWFNX5dA+R1uHNJOoAuk3VIGzxY3rKt6jTwdMXhAMZi1AGWSYHzYL83C7H/XDIVoEm5 SVDN8C7V7c17a9adw6gaCjDxjsm+4GaUse/SUWtPpIdVZD8v3EH0glmCxwtQqeQZ8ylhRGiECR4q jWXRbSIrSj7vUsd1P2krS2LCPl3lYUbFVmFnb4q20HHET1qoKHFV4LCIV0lq8inJ3W0cfr5LuBiS 5Ghohc6sogpvo96YNeEmzVe7E1gl/8t2lvk3mD6/H49X55+SyhKQdqpjxSZW3cbgl34dkBAQmNUJ 43DXtuHIVWXUIvg2Hwb4oHzlHmZS0cgqeTi9c3ttVRXHyuFTrXiOdbzJcdu07ZYJjXP9F9x2tHNI o+A/25iWJij1CtIP6QlAVz8Pbw/cytV+cuVFNqtIanhlH7fa59mpo18/zraSdxh8XjZ2AOGNbJt8 La6kUlNy+qRSpX/+E/6vv9sJcBlW18vYhDLhtaTaU4uAs72Bny0c22ndWUn0oYc3R304WM322NWv FQ3q4HKJQLnVktG9hqOQZtdhlhhB4DpIm9PpNEDg6URVmGITPTwDIEsn1o7tjcP9+fhmvwiKU3/Q A7g8dBdM2K5vtVNYPAlxMLoMaQxPC6DBAzWKtWfo8e10eLR3K8wdE01l0Dpz2RkqMAKfiXfZl+ff OeJd1Ms/bfuVQtTAmNPYG42QugUGc3rrCMAJJ9UMIgwEfyco0gsEecX/Tf/wDArdtkgBOusUEfmQ cQiELOceDrtX57psrSF+pQJvRuhcF31MnPmq7CakJc50O8Luo/6zDtdNiEft1gh1By4bx4MAQnDH ITAFQrQMmxhiMf7hMQFwNHL1itN+OmFktZ/tZyOrV93tpKSy02YrOsHnDTE2Zg+dsTbXXgIc25pi Ojyr+RVN27S8POuchuSrNNk7BmFQfD4K9ivZc0cNsiYRYyUVUqtNhFVsfetJ3t554+mFzV1WMbav GRhvoLcr1HibUWsuHhJjzaUol/LQcDy3a4rLz3mTpsC5cR0/DzsqXPSRkXXBSg0ptusZj3GGXoxY a1bg6AEmgoj+0ZtOcagWIaC0t11Zsua0w0cooS+tHCmzPtuDi2DZaVDFzWAVolG9N7vupUCRFCVI hKcmhWacNGB7b7pBIu1xUVRXeoSOzhEM5Omre+QcHpaAXcK5wz2qsAT/M4gZAGlfhk4N0InKUKLK nyhWIqRU3CMHZw5Xn3rVWbLVZoD9vjZicYN0bvs+ye0Rsf9KfIJVMKcj1Dj9OqhNppkfKcA2qqYj G8NOHnFlxVGMFZE80cUMFZ8326JG3z6ASlasFd2y0YEl4x5TTPUdrsfju1K1vzExnXeW1asebxyV HRk7JdLbpW4JL2FtsULZlS0f9uq8br2qhtY8rn7v2SduC+xYt2QszasM5nBZsG0K9p1qnwAhHBnw 7xjQG1YOdbIHrHjMEHr5j8fz6fXx+DcbAXSJ24xjlxfYC9VSyOys9jRNcjSmSle/ZSw8wNn/L5RL 62gyHs30aQBEGYWL6cRzIf62EeK9xepBlu6j0ox0JC13Lk2HWn/nSqrnTAIEzbT3Jj5v6brQgo5L IOu5uh36Gwq45w1rMGwXnivl6hs473WOF/96enk/P/5zdXz6dnx4OD5cfe2ofmcyPXhk/NtcxAg2 s+PFCvBxAukHuPOqzlUMJGbsYJC4AnYAWZIlW1+vHNsxfLuJKFEixRJq4wGUBfTWmHg2v85+Vtdj 3EOcLyLJatSQEJBCmOx1O3+zj/+ZSSwM9ZUtPlucw8PhlXOE/n6mzxApQJfUoNaivNu9Za7e42JZ 1Kvm7q4tKMGMQoCoDgvastNHnwiegcdQYQB8S8BoGniMde4W55/iG+gGpew6jV8xsZSoZ6NzI2sf CewM47tJuf85t0Y0Nx34+ZrGEwMGviTnZgYCw/lV5bw98ViPTQhxiBgMcTmUJ/pOwSvyQ6kpKOFs tVTDCg4p3tl1i3s+O6aywzvspcEwyXbl4UZv/B6l1xTuhUEc49RaGEuADS/dWmeXTQ2CX4o+JoGg 0HtxGGOUH72j3Ipa8wJXZLjL4GcxUJgMAWBpNh+1aYo7domWUsfxDthCfAtmrfKNzVGK3bEDQmcj X5/DXoOgrt5eD/NI2r0ee4aDJAfROnF3m99kZbu+cXc/zGJtbyinla2vgd4MBz3Ql124pW5T6TJ0 yTeLITRo6DpNZv4ej6nPi5v8XsFm2JA2qkUr+6GJO0I7Sonh6zSAH09gTazEpABD040aWKnUnY3Z T/trFJeMksr6MOEHCrILBkR2uOYXHPQxsKfh2juz4Q7X8XbH82ZPZh7QfS+7lJsvb5aEUNYlG8PL /V/oCOqy9aZBIJKboaKPXV4pTnJ2O0NjjrCOahYSHYC794DJX+f/M/V6x9hiZVi1yCKkutGdugT7 NtkAlwl4HidHf+xMExyahfv5eDRIvsIZ6unw+srkJj7h1vnGy80n+70RtEH42xosV4jGPYNUofEu LI05alc1/Bmpkc3VzqOCiyCoHOIbx27SXWzUmBZrEm0jq6JsGczoHJeCBEGS33n+3NUUDbNwGvts dxTLxl4hK+OJjlUDjssljfTbJAcLZumqB6yEVtFGPd8vLGwvSnPo8e/Xw/ODveBhXE7Zt2L1pIPD PnV2J85Le8F2rXHfsLflyF4dgPvOgfNbz9icww7ahxPRcatgOndWWJck8gNvZIpKxlSJb2cV21OI TJaPGQkLdEXuijy0OrmM56OpH7iKLePFdO5lu625xctgPt6jczif+fiRpVBML1DUJWX4ALOzGPC+ Z2+X+ibbXyi2SyejsfnxM+hMKKT0unZZMPacSwfYqbZwyAL1UsAnC8fYnTebXNitY2/hmftObGLP hEbjcRCYYywJLWhlAPdV6E24d9qgCbb7KmKm0OXl73e41ajVIcXMvVCASTNmgqAZwO880LNap7P3 +39O3ZVnEK+GIkLUb2PqTxbKjOiYwMcx3i7DEObJOGDoGk8Ei3RS7Tx9PPyvrlplVYqbGVjeOkxS JAnkg0Jnr8PDCEdTbSAKInAieGSdLjSr3SrQeONP2505qvfHOCJw9nQ8cvZj7H3Wj7GjOYZooypy 14yxRJViqrpcqoh5MHIhPMfQk9HE1ZEg8eaXdla3gxTREdJ/tOEWNSXmOPBoVt2QB6AhJ5oYnk3V eCtTadI68heo2ZlKldWzsT921dE18UkdvejixAlQsVLc0KuEB48CSz7leiioURy4Kmc4SjQIefLS WxxqZvwowR4Z8OrIGRsPFv5UILANx4+h1vb96BCXyk1HfXsdlIduM2BwgVvzeN/ldDTT+O4yBN3E Ld+6M0ywUAnUTa/BPQfct+F0Se2OCaAyY3nYgS/0aHnjg+E5NpoO5XAeN6k28Q3S/3ChSRIK3Jsi cLbK3lx79jIwyFxwjK+e+3JCCC2hjI3gm0l1OJcIENb8uaZv6zCOi81QI59srGRaj2dTDz2flP54 k+kcu85IEuEvV3S0M+7GhtVjiYwoyQIZO5+URWAj2ApPvOkea5CjFpfaAwp/OsdrnY+njlqnwcVa abYcT+b2XliHzToR3FV9j5HFqnoxmU5teBNRbzTy0b7YUr/yQow7UHGBRA1L3wFErhVaa4EhJC7h +W1zsL3q+LFIEtpmStAXSazGDJEwiOjCc3/WFdG1S5JCZrVYF+BJnZTtjlBcK4aV4Gnd6QbXpGIF RKbBMtSVspLyl6vUeuuqCTTG/H+fVIT3CdJsdFQXpyPJmjR0JIySNLo6Rl7zlD3R18q9ay+2C+xz 5l/uGuFZWi+R7MI62sQFqukHu/mCUqIn+FEjSXMSblXAncEV6kGHqpE4moGA0BdrkASO8l0UVF3u WkaQxssaAIANIuHJXujRYABBeUQ2dOI4XrYL6daiDFt5jcy49wgcqtnlKvLvH888f647/twqth6Y ABZGdcCYGe68zQnoeO7hx45E+6gAmpFIqkiUfQxFwtoP5iMzWBpgwGKCP5lEWsDFHrVJIz0UJ6DY 3EwXoz2mO+BoRaGid31f+iO39SGQZGDPgNrAw+i4VLI3qwXo1HfaKiokl1rmJJjxmUTOfH2COGxs wQxfFQ5Nc2zBALUO6wSy2NB2TSO9rizyxns1uLwC1M1uVIRm7gGIDZlNfI/P34DY1PAkTEk01mGs dJnGegXkhs58a9KvkwxXQAIyCMosGBm7UACnZkUcPENtfMWGEBKWMdqOO2PQKQoNZhh0MUagwcSG MqnG7gLcaxDgAqNU5TMOZFdEizDJV763zJSFSu64MUppzloEQMeUaboqBV4ldWPWU0Yrdicaj52f RVVPR5fQ0bSeBhfw18EIUzNwXD6tZ54xLzSJED5FyWQ+22OIbKoHtuqBThdqILi+Ddiu8u2C1JFT dLmfjkZWpAa9cJ2VaMhVwBmXeYDV8PY6Hk/3bU2j0OayaTleTDAllEAG8yCwKkwze4XDNAtRG9KS zrzRVGEwQi2tvh4JyNxgQlJ9bTYl4Atc8d0T+B52XZIDsJTuCmI6c/FnTGHew4MZ/h7VEyy8T7q8 8C6fHT3RpTOIETGeiKrzOsU9Ki9IXNjE6H7u1PvIt7FLPX8+RhBpNp6Ox1ZD0Zhd3lx8WLw8WHu0 iDbs/hyiIR7hxO+fZGygaVGpoi7NY0Qn89THXhP4oLOpN7I+bIDi0WU40ubZHGZtJwadjC5UM/b2 VjWgw0JG2mFwuwxJYB5lnc4Lr26xwHNHclZbbDK4EXuBU2qTJHBpNmsfiqPPaIL7gYThGdy5zlbi Y1ZtIV2i86DEXMNtTXct6IFO46eBQgQU2BZpHa6VrT8QgM14IxwVaJMljobgyslvnD3dxVaZILNm rAZrb5CHkGbgQhDM8Nx7ClU8HS9wbYZCJAT9i91EllhFdqL7xSpsMVzHzTBp1yAZO4v76IdqkHjY NK/CfDqeqnqiAadfPwe4EI/dmO1UVYMOWELTxXiENsVQM3/uhRiOsd7ZGN0jcNzP0Y5wjI9jgrnv qK07R1EMPkW9TIGsSypOh0/2H1DN5tj79EBjC/Q6bqpK6hrKkPhN3NSFC2aTBT4qjpzhh79OxcT/ X6FypNA0qKZ4VmCDao5L1QbVAhOmTJrAPWuXZnvh+EjFLWn0C6NgZP4n26G7t5qij04xDzBBWKdh s48OJSo9tjdwXDmdePgElEEwde0ahpthx6hKcjNf+A6GD1c/h4JHJ/I/GbRxhRww5o1RwayaOwjc erHichsEo5mj9xwZ/EIFC0cF3bXvYgXUz8pwhHJDQFGc/9NpFsxn6IwoNz4bl66ZzDhC2Ycl1igo VuNoFuKDZMjAn1zeJOxCMPXYKuM1yOvZZ1XM/LFrqcR97JNdZF/xTBzOIjjOu9R7uJB93rTmG6fg TFsmRXoDu1EM0UvgSIeE6IwLyBBjhD9pG1a0Ij3c2+H15+keNeKNKztkQ8hgqj+hzLaqgEXCtrfD 0/Hq28f372B/bzsgrowwajJ7GlZM5PA63P/1ePrx8wwB+qP4QtQIhhUZfTvXTPSROLpOyXpTa4SK ar7HW4axA6q/Z1qYXoK0MJZabUDdQOCyXaqmXRiQ9toPOMRuEKdifB03AtBo5iOsA53s7ZiH2XiB 960Elz5U4z3Q2MxLmX79WWVoc8tGPE9LvNVlzHgLJjko46mifZTnePnUDDMlk8B9sgf7XHTmRyXb pxBTVG2T5piSGaI1FRDoNiV1nSZtkrNPWNGvAb77oHWgmVabB4vqwgvq0CYthxx3Wg157tItAp7N 2wayiLabKNZq1KsP85wNld0t82Sn5CbuswUcHx8Pz8eXj3duZPjSJ6XU+iIfbUsIuYQ+wHEqEcu0 zUhe2JG7inrd7jakTlLiiHckqZYpX39at5sGS93bzSXtYzUygL0C4N5IG1omPHdMGt4O6a0ALVan N8rcvLyfLzoq8SWZzfejkTXh7R52iIBqg+HweLnGVeg9hWItr6CSoVITWoERFZubtq4RbF3DWvOk 9Qh2RVO8HdRony/JvmFX5U0JRM51A0sab7a/SLNii8tqukgDNrrwjHSJpuh67JjThgkL9sTRFMJJ IovUI9gY8GiyAxXqo8+jxAXhbDZdzLEGoGp45XUUBTQ1v1oAchOzzlSu36ddSqzo8fCO+DTyfR8Z G8mKygDAXWxQ1VkfqD4v6uS/rviomUQTrhPGXl8ZQ32/enkWUc+/fZyvhij8V0+Hf6Qnz+HxnWdC hqzIx4f/voLIYGpNm+PjK0+59vTyBiHJv7+YvEZSmvIOjJ48HX7w3G1mPCO+deJIewvkMIiFqYV1 Y1AexVC/BQroFtlYBolpf2Cg3bH0OP+Ic4oJybynfNljNXjLABax44Wr1OPhzObv6Wr9+HEUaTbl 3Gd8g7CN9vTycNQSVPFtQIrWTvGpsu9d5OocQ/l6vwCi9Wt9ePhxPH+NPw6PvzMeeuSduHo7/s/H 6e0oDhdBMmR6UFNmWycO1O/SwPYEENXkGgKdUXa00kLNg8zne0PAKzDEoZqNlIboxmWwt/lshAJt XtMjwKSkEtFP+j3Mx45+uQ2lc/0uz78HHqMF/Rz08xutM8nIzDerZEAfzx3IGUjc1A3+kiX6s6WJ a1XSZF3UulUsB5szFN3yIKLs7zzSVbQCa1nsq7MbQ8rHRK9wVcekTYzwmXw0ZclkBbYiRiap4ckV CNpsJbJ6Cas+R8tM9mF/tmtjQ6UWy2f7kolcW7KsQtzrn4+j2IVVRfTnB14az/UsDmuaiGTQ8PhQ NxYXY3sPBOcVlhkX0LesyF7vfnLHJ3BvfOEgX7C//tTbL81GNpSJeewf7KbrYhmSZDJT7Wv5dEG0 G7YaTHDr0pjpi78JC3qdYF7cfD1rS0BhMl4S10UTYSFVeZX7MKoaQ+xOwnWaILXt2f8YGP3gyp// vJ/uD4+C7+JfnBl0uShFtVFCcPdkwArfH0cMpnCzLcwICD1QMJnlrZTRL0po45GhDlT8ixxjM/oZ xms0hH19W6p5D/jPto60gD8SFhETWNXe3PM2JngFW0zVqApwE+ke+Q1P0xOhlp28wCYeUzr2VaV+ 1xn+nh7sVf5c//N6/D1S/dO/xkfVW53+53S+/2k7rYsqeVQXMuY9n3ZaK2WW/39rN7sVPvKQHecj ZN5GrAFFJ+ISPHx1NwuBybcElFADFuudoxFN4IXkFXRH6khNjKJaFJW7iiY37KxBgDQO5sHcBhNI jqzVZ6VLlCB5ywz6Gz3E/TfDzwG5yU6FrJRFX2n8FQp9fveDWgwXFADReKNu5R7Ugo9oxO7ZtFDz LQ34Mq1XGYaARItVSPVTTEdzZoe9jWtU9cJz1M/kpoxuIgxr+X8PqBX81Z3HBmRG0mUSNmhmCyDS 44oAaNuwr8OhJM3g2NigmfA4Kt6QGdt9Vl9kXPqGYjoDoIhuxHppxTYUc4gGTFZfY1OxT3LNwmqY XD1zdw8Ps9lUTWyRZGDgrzkESpjLEJh7hdPz6f4vLDBPX7rJabhKwHeryVALMVpWRf9FDeWpgF1s 9/OPRPZCWYhh1KB9Ap3NAOEaHK70VfsyQFu32TUnWlYg6OQgRW52IDXk68QOBQQKRItJ8vJhzo6W 6SI0esRu6rOxH2DQqQmNqtHIm3jexIAnKQQMHWtPPRzBFdUja7wcjL9yDnhM0JLYmer21AMX6pM9 h/b+gipQ1+yK0mASaI4KgLopYweeTn38lXHA40/MPX52afBlMDXFFgM/D7D3H4kNZuYy8EgDU3Ny Oig2H4DSzCk4VJpW1WHdmBvbtKriQNuepQNHnj+howCzOuQUqqWSti1jPxghS1KPpwvnfhlM9/VS 7vdvoWyNQni/M3pQp9F04e2tjWZZSkhwZwJnb/Dp366WVXNlvRyhY2+Vjj3UmlCl8Pe9jDdwBK6H +vZ4ev7rX96/ufxTrZdX3ZPDB7jZX9HX4z2EdN2QeIhbx3609YbkazUppVgPuNtkxqDt2CBiVOm+ SnBdEceDVZgbywNe3dYYlxfrwm10rWeIgTeYCwlAf25+84rtbj959dvpxw+bn3bKePNDkDp6HnvI gStyyMNdW1Mk8ZCY3D0VkiqrccWdRrRJmITIpBVMWNEI+zcoZ6+isvm8PZ5wjtTYbVajM92C9PF3 zy9I5IbT6xn0Z+9XZ7Eqw9bNj+fvJxDkIQjV99OPq3/B4p0Pbz+OZy2yor5MVZhTCOP0+dCiMMNd aDSqsstUjNchcg9+Xgc4b9qfUD/JDpNlIYSTJUmJmuUmYQxXebUbHvHrSIge6NhjcBnamhms+UQy 1LJZYY9nPMXOiqCRrkWpNiu2CSQiJytNb9Bh2X4t8fS/RqP9mJt9p+0aBryJJxPNq5xkjJBGhOia OZkWna2ZGjiX/+wjO44McFXA+P6YDl0XCCGRMeZNaYhq1EDVBhYCS/BWXaljVzF4wkuFwhIT1V4M g+hKKEog/YNrILpLXG3BzgAPkgQUMUQxEBRaTWwaGqqwPjD8VVIYKVC91S72NTvhGqTFbVwq4in8 giuyAuG6H1LU6dIEVlpGYgGLS+0TEkCz6e5h+P7t5f3l+/lq88/r8e337dWPj+P7WbPx6PNFXyYd 2ltXyS2u4WISlJ5BmR1bSaxd1QTE+SLQowWjhC+HkrukvV7+4Y8mwQUyJpKolCOrSZ4pG8n4YtIR Gl5IDNMRdRl2rJ3RoaMlEwapN2sjG8cQo0AgzKZzwN6085EjX6VOxnilP8FaYPg0XJaRA5dBiDis +ZsmrJNoA5WXRgdM0qb3073Qz8BX78sDcIq0DeCWYqdQR3At/mpx/tQZdc4ChqjVm8EAhqj7RA9I WgVzz7c/LCZPHv76eIUj+R0eyd5fj8f7n+r35KAwPhVhSyalsvD54e3lpL2hMZ5oRDTqUVYSYWk5 1tWinF5dY1aUXflFs0t6uQ4hpovCDXPCJF5a6omahSDKjtfrdp/me/jH7g6t9JrONdewkojAQ90r 4/tfxzNm92ZgZOk9SSGWLOsoWSlrtyJJGkM0aZGLQJ6TGagFgElRPfMq2Ch1GDT7LhTkB6FIizuw vCKNVwQ9ntgEwOt5WhQiHI2sCWIVwSyVVcKmMNG2WzeDcjKil6enl+eriAe+5PZ6kJtrEMuVObet 1gC6oTEuVyslpfU2/oUpVItJMMV6yxjxdDzxHJsBkK7YJxqVhzli6SSTibsR1FlFIYniKJmrgbYM nGYqqOKoPwK2W+JDN22IATjEybMLbCOTyUkM4lSFkQmXJAgxge85JHXQAG1XzXQyYlvPTIEmEwbg G67fuzt2K8077aLYoZySvny8YZEL+JVQj1TCIexLWqruVOwA3vb3x0FrOeRFJfVsgluxoh1Q6ghJ uizQkP5sShvlkiC4DwSwPd1fceRVeWA3KZ4cj9pi0WekejtcrFn1dnnV8enlfHx9e7nH1L1VkhU1 xBqP0CEjhUWlr0/vP9D6yoxKSRSvUSvZn0RgQQkZRmSv2Sw/P+wgkNpgZSwQrKf/oiIBQPHM8xL8 G861+9N3NkODIlmcZU+PLz8YmL5EWmflIYWgRTk4KB+cxWyssGV+ezk83L88ucqheGEktS+/rt6O x/f7A1vWm5c3cuOq5DNScZH/P9neVYGF48ibj8Mj65qz7yheOdx5PHFLQtmfHk/Pfxt1DocppKLa RsL5u2sHK9FLM7+09MrVMYMTeVUl2AUs2dfRYLWZ/H1mMpI0iIvtfS3IXSa0HVbxEjMLginiGI3U MRDIIA5IWdNlyiQp63zqOTwFOpKqBu8sTLjtCGg21TyOOrC0KNAenYpK0y8Q82OXK7BDskOy+/C9 nlxF1mKGvYZcX1oUeXGwlGmnBJLBec0a+wpLsOjShC+ZQK0sojrU/DHAFkYTxxQeCbhlFWW0XsKv KMQigAsykfB7vbMrgNhJXHtrTQnkn6Yf30TCEiWGqwyArSagVoDs1IKUA3YG9vYa3NHB3saR2hoK dw+0bV1UVZLrsSMVdPx5DZQklRr/G3CQfYBk+yC70Z/uRLf3bIrUzivIch+2fpBn3ObHgYKRGVWG Zbkp8qTN4mw2052WAV9ESVrUsPpxgt8pgYr7agh7o1+hIWgubEZDw4w2+Vr2UytfM6DnO2I3AIHY QGDpgJ6f+l5RioKhnCO8SqRZ+7CfbVricSGq0FZIDhdC+VnmcVUQRfvVAdolyWMIhFhqOlodiwar NyqQngVfvp1A+/zbz/90//jf5wfxry/uptkip6veFsy8jnbF4lB5ZMr1HGUiuiiPqy+Ph83u6vx2 uAdrYTu9hJo2nf0AibMu2mWo7d8BwSpu9ayGDBU3WeZIas+wTDqqoouJOAei/k1CUdDyHaUnQJaw do3mDu/RtN7YFbVseyPQsiYIVNq6DPln7cnsb9Klag4ps+/CshoBQSwUdzhQruSsojZbV0MGX9Ny pKfo5BA8pkVPxfYju8y46sjCaLMvrEgqKtmyIvFauyp1XWPySXKXdHh0C8iknfBhREVTpmhMB95K layJ/jxYrFQMWj/HxyvsTDPS1bCf0vWnzYsY24pAokflthGbZmnW2mGcFklAQ7VwbxyyTAxVDIXU NqpBUpPWhM3Yfkg4pxrI2QHwmn0bxuv5wlfjvwgg9bTg3EpyNwXSBWREE6lZtx6R+2H41tnvFktL NlCkJDPU3tonXbF/50mEP7ixvZPXjnfgzHJFkC9DukgsvEBPoEvkJ5AyddswJXFYs4s/hfcdquq0 GIh0Jk2qXOq36HHAMON2RQ3iMa+4oIQtRoTHnpRUNImaCn8oZSSTVrXt54CGsm4XFe+TgVIbNXo0 +ZW2DFs/DrtuciIsr5WO/LmMNWkBfjvfKFjD2TJibEcLFUMoHLDa8HogI1VtHxXidh/WtSHxDkh0 xhE6OQ/KgIyu/GlMpQLGCxtTxwnVmLYDh+QtYUrlFfWNnVREAoZuoGVduarKSdpXJhfBN0bIAdBF jKyfZgOMTIlEKdMycEtfLqZrEKK0kisQDyErG4EMmuA/QVTbDolM7wqrcQ7GwzZJ/B112E/cMSHd NcOw4qpchs9NwpNt61+wgHS2vIUejhgelCHk1zVBw/WyYuwSU92WtT5+FQyZ9aiG2yb6bu1B5p4d EMuGsKOIXbPJOg/B2UKrsX+zlwKq/YhPBMhty7MKBQUyypumqJUDjf8EewnuPtHnONbuKuDo1xHu wirHZ0/gjTELYM3kGrXCm1VWt1sskJzA+EYFUa0sOvjfrqjOuAVM/9I4H9efFRuKiSndW7lauGAL BRGwcRjjdTGp2MfUsj8aP0FIwnQXMjF/VaRpgTnPKGXg3rJHG8wSNglFedvrvw/3P1U3xRWV/F+R pDjogucgx8MngduBdG2I9uLfqyL7Gm9jfuAP5/2wI2mxYLdtFx9q4pWFku3gdQsDmIJ+XYX112QP /89ro/V+s+tMNqOsnAbZmiTwW77WR0x6LSHQ2mQ8x/CkABsPyMfx5fT+AmF1fve+YIRNvQpUVmQ2 KiBItR/n78GXYbLy2mKLgwx2aUaEBun9+PHwcvUdXydQ7+Msl2OiDUnjKlG433VS5eog5GW4+1ln pfUTY9UCYUkXm2bNOM8S7RC7ekO0xIpdYNXrngxPsCbrMK9B/aUFyRN/JDMYdCX2rPTtgCEG/w5u 2cUjUz/5CkyNDMYSxkPlOqitsA88XFn0CT9NXN/KxnUoMkSZNmZlS/sQHXCuqsxB/bkyBRoJ6Tj6 yIJD1H+GWq1U4X7Agg0MHHerWxNLmywLdaVxX4xvEKS/gkART9jRDscxtWu5SwnmqCGQhgwjgBW8 AaLz1+GbJcGvy123wOWJXYJz7HRRSUrwyjRkOBUPBkOftrMKt0VTsYHgjHZJXGseVWFmHIgcImQl 3Fyyo8hqRcVHb5qQbvSaJEyIWPxkwXRTGpU4INFaQLmRlWw+8nXqyJ5qkPLL/aUmVTqINxKVDdq0 awf2BHeayU8PZmIwWp+xUFZzd0hdIDIj4AkPjLDkz+p3Cdpaki2TOEbVJsPkV+E6g4SqQkDgdY37 k3JvcauM5IybOzhMkTm5VWnVdJPvJy5yhpthBWYrJEFth6661rX7KoeBlXUSg/uq5YHkoBNb3F1N gSpHBRk8zOnFS4g2gX4Ct3Rr9LhxMunKFGolxNIkSLh1wPaYT7QlkuySCkPS3KkPcz00YkdTzY2q IREOT3DrKTJNUkOaAPWcxS7WqTJY9kMKS5jkBWgpurVMdNML9pi5GzOfOjCBngLBwGHBYQ0Sd8Wu zmjORAbGc2J8dzdnmMONQTJxVuwcwGzmxCwcmMXYVWZxYZ4X40/neTFxNRnMjaGx6wlsnzZwFPD8 qWv+Gcoze8lt3B3dk015eA98HDw2m5AIzDxNxU9dBTHLOhU/xzuycNWH5pPUCCbOonhUWSC5LkjQ Yudtj2z0fkI2HMZ11WBpEhwl7GyPzE4ITF4nTYWdxD1JVYQ10T2ke9xtRdIUfeOVJOswSdVHvh5e Jck1VieJIKoIrhnrafKGYA5F2jwQbCrqpromdKMjuvvpcPDkJDJeboYwjapeX1hbHe8/3k7nfxR3 lK6e6+RWO9Dgd1slNw2EE3HJgl3IN54/PrkFtwL9VtPVg5SsKzhoYtmsPIeEim6Aq91p4w27MCQV T6GFegp0xx44YlBupVFXJFJeEW2ttIRol2NZTXfcIRjI/z6AuVnuJqziJGc9B3UeqHnaMGVSi+6X aRFdQLE7Qpp2yWGdNMDcaKluHq5QjzgF3DQ2SVqqdzsULcbz5ev7t9Pz14/34xuEZ/r95/HxVXmZ 7wdfF1lxWyCzIhBg3sSdq9jlmG0MdkdUnSxQ4iYmNSRz/8Mb+RMXZcGEkXaIhp8WkKTJ3QuSc0gy 6GmTutb8SPoSYVmGbDawyiQKlBWbz/C9oHOBbng9v0zCTic21PriNjdKdM5U2E7uKYeHKrQPMKml 45rcE92GGZ43rKeAQANsugnOGJXW2I212OVtSh3OCIzhr01BtsdKHZyx8r9GK2cEmV+LNg6VM4H1 9Y8vYDj88PKf59/+OTwdfnt8OTy8np5/ez98P7J6Tg+/nZ7Pxx/AZ3/79vr9i2C918e35+Pj1c/D 28PxGYwlBhasxFO4Oj2fzqfD4+n/HgCrGNPBwrGvN7rmSoqhQxzB3zTYfCreoDYFWCboBMOrNt64 RLv73ttymgeLbHwPCR1gpVXtG/d8NCxAOCxLskjligK6V79NASpvTEgVknjGmH5UKE4b/Dgpeo37 2z+v55ere4gu+PJ2JRic4hLBieFxKFQTm2lg34YnYYwCbVJ6HZFyo2UF1hF2EZ3vKECbtNKc5HoY SmizKtlxZ09CV+evy9KmZkC7BlDe2KRD8lsUbhdoqJsa3MFFGlP9Mb6jWq88P8ia1ELkTYoD7eb5 H2TJm3rD5Be518qPb4+n+9//Ov5zdc+33Q+INvyPtdsqGlpVxfaSJ6oRTA9DCauYavHgZbebapv4 06mn5c8QFoEf55/H5/Pp/nA+Plwlz7zDkBvnP6fzz6vw/f3l/sRR8eF8sEYQqTFF5TwjsGjDpMjQ H5VFeuuN9Rx8/WezJtRD0/vILyW5Idb3zQa9CRmX28rJX3LPDpBi3u3uLu2ZjFZLG1bbmyxCtlSi W2N20FR/RjDRxQpTb3fIEuviHmmaCcW7SjfCkRMJkajrBj9WZccp1YPOCdPIw/tP18xlod2vDQbc ixGYLW4ZrdVgfPpxfD/bjVXR2EdWCsBI1fv9Bvf07vDLNLxOfGylBAbXtcsma28Uk5W9y1HufGF/ ZzHqqCaRaBHC9jY3r8ZurpKJZLGnhiVSwHpahgHhT1GvvR4/VgPiyY9vE3oY0J/OMPDUQ47ATTi2 gRkCA3uDZWEfafW68hZ2xbtSNCcO+tPrT80MsOcvFOU61HB2sSjyZkkcvssdRRVdWFomAO1WBNkr EjHEYrHYdpglaUpwibunoTWunVEI8Jiu8sRJLnwAK/4X6dv1JrwLsWcKuYZhSkNkH8mTAKmS4uai PbYqDd+GfgvhBkxy0ySoF3iH3BXo4nTwYW2kY+3r2/H9XZPO+2lcpeKh2zoPHE99HTqYYIrSvuwE rXGCBsLr0N3zk/DuOzw/vDxd5R9P345vwvvQuF30+xyCZZaYJBlXyzWPB4FjumPA2lcc5wrVphJF 6IOdQmG1+yeBwC+gYtAUKYqQ2GJyvETgonWPdcrqPQU2Sz0SvRWA8sU+xbnqgOQr85ryePr2dmCX sreXj/PpGTmPU7LsOBoCZ/wIRXTHnZ0xxaZBceLbvVhckGBbFpCoGGrTyVOUCcjwtuldIrnUmQun 8dDXQSi93Kn+rDOr2qBGI/Q2yxLQQXL1JcRY1S6tElk2y7Sjoc2yIxvsUgbCusxUKqTJ/XS0aKOk qsmKRGC7bRpul9cRDcCGYQtYqAyjmEtl0oAdXkU5nkeZNgIxK3bva9BSlomwEeAWJNAdgvjKRce3 M/h7svvFO4+59n768Xw4f7Ar+v3P4/1fp+cfim8Of3RUlcd6KBsbT//4ohhldfhkX1ehOk24lq3I 47C6RVoz6xtyknQ0uI3cL4xUtr4kOTTNjTZXki+kToYgdB+qTkRC2iW7kzLmrKqxU5InYdVyuyjl IwfnSm02l4TJYBCNRdm20l2RiWd5BErqirvPqRtIJUmT3IHNE7C1I6kRM6aKUTlXKP1VB8/eb5KH 1NWiqzKBnV1KSa1pNyJvplPYMn3Ukrpp9VJj3/ipu6PpGPYVJ8tbPD+qRuKSVThJWO3wLSnwbFW0 Ls00Pq9z/UgN5EeW9p0qUi4N4gqlcCiulrd4awW5ojJ9IjoUWNXASZZqxn4cOkhGsjt3RW8KpkOF kY8Jn6DUE5QaZB+EnIMx+v0dgNUFFZB2H+BSc4fmPpoOz8uOhIQzfLE7fIhmMhiQ9abJlkjPIIQO 9qF06GX0J1LIkTtAfkrIgxW7g0HujLTQAkWqUHiz07NXKjjWqIpbqvHA2Q/uAQkR5apQtdjk9uvb MJUm5/1BSIuIMEawTdjMVFoMu5D7I6lenwLEI9ZpzAHgcabo3NgP6GcaVuCRuUlM52nAg0Tnsl+i 61TMnFLljcqo0mKp/0K+nDzVfUn6JakLdvHXPvH0rq1DbUuQ6gbEHMyhJyv14FbsxypW2gVXW/Ak pHWlvoqC+3GhjIEypqPNIrys5mvUNdc6pcwxkaJKtMokgsutdJPGZOxEVk5kegnZRFkZk14/0L9n SPmCQ1/fTs/nv67YZenq4en4/gOL2chP5OvWaWza4aMwxb06I+HzC6+dKTtb014RP3dS3DQkqf/o 30WlZGbV0FNAyC3ZEZHcTN3OXR4253a+zZYFiKNJVTFKTRQV74zsPyYULAuKGx04Z7G/PZ8ej7+f T0+d2PPOSe8F/A2bc9Es3JAwg7acq/uzBswUdJe4FWMrCXd20R+W2d4t2V4Cn3CV7VTsysbrYiiF XyTwzgx+Hez2pr4RiF5R4Y4F9udZqOU7MDG8IzzJksLSKg7P666vZcF5HzXH0MHttVgV4CO+S8Jr sMWwo84OsZl+bda1SEbdVxIfv3384Jm1yPP7+e3j6fh8Vj1swzUIe7dUjXqpAPsXR7FSf4z+9jAq EcgDr6EL8kHBGgVyEHz5oi+CYYq5pCEexO6XBqZXDZ4TibXq4G0geUn3dNpXNswMtzxjd40kp4YT t6gF8PzkwDkJlC52ucM5jKPZvqCFw5VraIPt7JXd+v+r7EhyG4dhX+lxDoP8wYnt2ki8VLHi3Iog DYqimLZo0mKeP1wkWwvlYm6JRGulKJLioro8Q7cumSeYPDQYeDyGS+CWTLz4kOvGIez8P8qnZopN XKvEez320a3R23EJYr/L1kvV9F6uwxizs/yGeRANFKaCJAKSXMtDE6/ioaFXjYR91ASj1uKn/T1w xfdiBA1//dG9TWc7oRGuSPbNsX3IBMDhITbU9BaTicQMPhfTopDxr28iMON5tNhVEBqXn3cQ/q57 /7j+vtu9n1+/Ppj0VKe356t7VlpAIHQJYXdPqRg90rWjCuJKvIo7jaGH523tygFNDjQi2QAo1Mln iCsfK4ztMmR7aefHB6DPQL3zzhP8Sf3BXYiUZnnWbIoHdPjpi7JlOKRjNqgQqsMVx6lvi6IPCAAr C/AFdKZwv64fL2/4KgoD+vN1u/y9wI/L7bxarZw49YYyAMush+LoKgfMFs8h/Hwsm8BDIjPuAyPx AIAZXDjHMI0FMOPvy5pZw3TKzZLLMGw4euSmiNs48ohl/vU/Fm5mKeCwYL5BR1yh6x7IOyZeAZkI 6AxLzuHabZnK2euEMeeVb6in0+10h1fTGdVE13CjUOUkXCvJHLpmE2VPUq4kj+M6Fc2YiDKIdXhx AFVXug91esEJSMwj7HWjYIHaAS75OFyR2ujghFh+baOR6SmjXfYgfkAFAlGBrzQWFg+Cy8oc9dAb VDgdIBrMmKl0IgDDSxO6Ao+ATkGilXDX8/g8K1KQgDH0GGIXVRJ/6Hpw0hdkXBlgJf0FIdI7xCTL hV6AIFsAX4rwQfRt4ERhvJzeKxqb0xRJxSMAurJe1J7lHcKGDGCcQLuMtgvlHSSF9puEYFYUDaAr sJM0s0TMFfUAl0dpRiOJR8QxTIOdPqxGkODTn/Gg7abFO7Vvs95kuZArLHsfLOcac0lWNs6+tQx0 Js3lmOd7yFCJzR+kYqZZcMCrRUCb3rfueJyigTdOmJGIo1Z49+eEtbOCWjqdDja5imy/HegFpIMm 66NkChOcXf8hA2rQL1AMp8MUsMWEDPPRuda2VODQ85kf4ZqqzlUmmwUZiL7Oy4TRLAOAUInqyyWQ Q4KlZmN43LYg9jfR1M+X6/nbo7OuomS4XG94GSILs3n/vnyeni+O64Bm7nI21icrY4G/9+pDJTqX FkeeRmLV7f2E6olOzfFQHFUaZQ2RAd3ufg6oYthk4IY33cGgmhv6XemWyQ4MlcOut5476m6bD5J2 l5lHfC7ae5SNc3rXLeX1CIp9yLVlN4iDefR1iWqNetOw0FXL+lWeujWos/pH8dXDtbtNnigafVUc UeRLAxh9IrsjiP4iBmrvmQfzKyQUD37gLSrnx7NUW5NG0/8Iiin8e+ozrd1AiVR0tMpovyWM/FEG 4UJ8CIXvLQMqRVK9+Q8yVFTnju66rFsMlThIr3wmD7BqgBF1GAC8goadfwQtvtILpng2vSfDHzZb k84xXY823nBXSpEtzS7TQ2QdnYyiqQNCA0XxWHybdZl0RYbtrAj+B+4LnE8KJgEA --===============7726469194985772160==--