eNrlWFFP2zAQfu+vqPruhEIHaEqLtg62SqB1hWrTXpDrXBp3rh3Odlv26+ckRStTIiDFL+MxtvPd2f7uuztHZ5ulaK8ANVey3+kGB502SKZiLuf9zvTmgpx2zgataEFXdGeZWxd0TzttJqjW/U4+G8yASh38uLr8BO5/wM6g1Y7UbAHMPFpnDRfBF6rTK5rla9rRSvG4vQSTqrjfyawpRtuRNui8GKwV/tIZZRCF25Hd2cVtb3c8CnOwZ6BaDXhJ5bwSNMFGmMwigjRDamCu8L4Sei7U7bujw+NGBriegFYWGYypSceoVjyGuHoLVGhoZCRZx9eAKwEmN1IJHi7YUjcCpwu6mcDdqNrpD252aDaGHJDuSfe01+seHh/2TruNTOHOUVVTx20i5AJIDCRBKhkU+woNsFRyxkESGi+55G49NTwJqTCAMl9IWEpxDqT4F4GhNbB0V0/AuJEVCJVl5QCmJC1hoSAx4TIHAVMOMiUNZSZMIKUZyRQaygWRymqynQIkBWdOjnoNOTPOUYUntnA9fMx6T3YQ7p5kZcx1Juh9sNBZ06OiSN00oNMmfxvJd3DjCKeFO7N/8KUVInyh19OtlnnyOJfKobLS1EjaxaTpQQwdxWFTf6PNVNhstlzkoF8P9reS1RlobGeCs6ZS68TQgjbTyahead+CSH2kGqboT6W+cxmrtX599dtlmyfvixMX9eVE01PPA/uno3VNNj63qDIInSZyvY/UjWSi9hU5FynVUA9x8t+HSFGwKkYF1JSspKEOu9h4qLC9RZ+/yC4nKkE/n980pe03C3h/XXxWQvO4v9dlMh+Jz8VIrd8vj7hSdPz1MharFS01JtPvw3C9XgdFNAUJvpksuFMQ+evuvFRdZRVaZhNPrs/KEuH5rGka/U/VZPv2Gdv/t/1MpQ2DFva4hzJReJPz0fnrZ4i/TYY3t8ePJM2fmaIhcDKkpK+C0M727xpH8gKdEnxNEl7ztlZLwigs3/UGrSjM3/QGrT/QVcjP
jMx2SzJkG2Latex5