eNrNWN9T4jAQfvev6PTdBgQUbgrOXdU7ZnSOQ5m7Nye0CwRLUvMD4f76S0vF4rSHBjPjI9n0281u9su3+OerRewsgQvCaNetezXXARqyiNBp1x3dXR233fPekT/HS1zc1vZq9836ieuEMRai66Z2bwyYCu/PzfUFaATgbu/I8dl4DqHc2ackib0fWMxucJLucfwlI5GzADljUddNlMxWHV9IruPoPTH+IBIcgo/ylaI14dHJfaPVbLQaRbuPUtA3oCsB/BrTaSn4hBthhopzoDLAEqaMr6viruu4W512x8gHEUMQTPEQBljOBpwtSQRR+SlwLMDIyeQpugW+jEGmTkrB0TxcCCNwPMerITz2y4P+qq2BXMnj2nH9rH7aOWvU2qe1TtPIFS+kqtRbeghUKAl6tXCKklhNCRUouGh1AsYeCAgkMZeAVUgkZxSFQmw/21zJszp6IEw8KjAs8YBxiWNLxSUi2L2nlvxweNx7iSIikhivvblITFOFOdZm4JpV7B0kPcEd1zwX65y9wqcqjtE7ox7l7GMp4pTcAqaorCChq6FpIgJGJayqK2rGm3KV30XdXR8H+5fR8rdjoMYxCU2ZUXOXAiFHw341MX5CTvmGBYy4PVL5TWjEnsTHk1XxcliKPsn49r86o1kze6+TAj/tOniLRKqEL2RoNxnagDnH6x3cWFONd5ttcp0Y6FTOtJx7Rsp96PrBquvWtsv7NEu2ZZuH7EfmOg/8xeKjzVlNWLdPJ+xQvtVNWw713LKfrVszccpCHEOFPL03ZHDdps+q2hoR2COZjaEU9PvlnemT9ksBX2+aoxSaRN1DRXto49XUt7oy9Pf3yIYC940u+chlpsYVL6fYmZSJ+IJQmiUt1ykstDiNYIHVGNQUPE1YjEfehH/Wp7UgiuwNZFaU13gjCg4si2nn7VNSh04H+ff5FFLqQ3Ljqo+2JG2NSvuXH8/OL6OBtbAHO1xiz00m47EkjNrShWp8+KzXp1ead+TPyYRU/JdVeQlfhJOPUiHXO/oHKTRzkg==
pgmTex6AlWEEjyyC