eNrNWFFv2jAQfudXRJH6SNLA6MoUqDZaNqRWYxS0aS+VkxzFaWKnZwfofv0coCudkrE5WNpLlPicu4vv83df7F+s08RaAgrKWc/2nFPbAhbyiLL7nj2bDpvn9kW/4cdkSfamqXlOy7OtMCFC9OzC6gRAmHC+3Vxfgnof0O43LJ8HMYTy1bxc0sT5RMTihmTFHMtfchpZKcgFj3p2lsvNqOULiSqL/orjg8hICL67G9m3xndv9sd9t3D2F15zAXhN2H2p0zlq+QxzRGByQCTcc3wqzzckdx3Pa2sFoGICgucYwpjIxRj5kkYQlX8CSQRoBZmvolvAZQKyCFLq3I3DVGg5JzFZT+BxVJ70e2UdyLVsnja9t95Zt33med1Wt6MVCveWqqIUqXCf6+HO0Y3VY4G0B0BH3WiWaMxRksRQcagYvAaZoTgIjwdBEFGRJeSpzlIRJMoMqKjA3IcUXzBFRU6JWrPf/LM8Sdx/zHq2ow5DGRfMNOA5kxUMMpzoLsSAMwnr6orqkZ5c77BIQRzP7Q/Oygl/nAcJDXWZTXFPDkLOJqNqYjPACR+IgBmaI4WvlEV8JY5PNvvFNZR9tuHLPzTLTkt7H31XKKroNVc58gxcRUFU1GGWEZvzupyigFnu6gWWx0XkRv3wkCRQoX+amiyjoPgs14yB3dxG2hpKnX68muqi5EsO+HS7eSx1TaNeLVUYmqB1BclDeceiF4uT1jChgbqmPFWy5NeNguZJexjxlFAGO80yJcFJ+1KSoFNtatXgkMPC+7Tb1dsvWE5QCykz8c51V6uVA+sMUFIBoqkUDVLJqZKgTrFjDzSVi/9oJRXnv8DJ3B+GESmylWZbzjeUerBt5DXAoMsih5RLXTW+e3+n+ktjSMyhRmG2DcdYWxhdHb/TvEhxY2mPX1GXuTAb2Uwk5cyUjsuD+v9WIzZERQ2f53NaceBTCULf3R429Ru+Wxw09Rs/ATlGOOo=
TeXCLAXZWAtEKFjB