eNrNV99v2jAQfu9fEeU9P2gLjClQbazdkFqNtUXbGzLJBcyMnZ4dCPvr5wRawhTUktZa3xKf9d35fPfd5+AiWzBrCSip4F274fq2BTwUEeXTrj26v3I+2Be9k2BOlqS8re3643bHtkJGpOzaudmdAOHS/XVz/QU0AKDdO7ECMZlDqPb2pYoy9xuRsxuS5HusYCloZC1AzUTUtZNUFatWIBXqMHqJQEVYnyiYClwH3na5vGU+bpbXAy9HfAE0lT8F/pYJCWGIYkkjiCrxY8Ik1PIQr6IhUbMBj0UlspfIiMpx49xvdLyEsIXezAR3GmewACecEcaAT8FZ0HAGzFmA/k45OAnBmFAFjsAp4VQSpW+mVoSrxwxUxhdl2bjp+62a6R1JwGvCp+ay2xdcQabyJFeC1wx8WBSdobDTPCsiJKw65zGOR3e1gBEe7gCXDA7nw9PlljCyducyqevjRwq4vit+K33QqFsq61peJkTCCFkl/EypRH70vNVq5eZu/JYbo1f3MEYKCEGKFDWrHEKdhwv5/3tf8x/lkVjJNy5w3T8EiTYDapI31EVhighcGRoMw72pY+gIVA74FeoC/B7H9AADK0zrgSelK9hHfslQPghfbvM9WG0giGS9h8s0+bsbqrCtvJzVTOuHR6StD12DkHVt/2l5d4ZqGim2POWh+ClcbwPfWQJvc9ZjxxaapP6+SLk6ULA1iZ/Kvsq2xUpBGgqezEl2Cw+DatxP2qqjUI7vNNrtVqt55nfOmqfnr5EOxZA01ny3JZY25uTzZpKZlBLkwByOsR5xFNRXLQepZtTTZj05GJZL9C1n7UN+gfeonx9M4/+TYp4y5h13/nRSGd1rNU16lJ55HwpBJ1d3fApSjW4HZgSlFvEHBeXxl6fRngv43WS2+mV4/Jm1WkknjIZFMKbUlgmZvDFU4n29vK87CXeRGiP1/r72NORn21nbJ93bqkPdJ88+FfNGecX03uocQ8n5I3i1YN70Ql09fnlkmDuFGXi54u2d/AXij1nH
mqphGtinoeStkLem