eNrVWF1v2jAUfedXoEh9bAL9GHQKVF1WNqRWZbRo016QSW7AzNjptUPpfv1uAltBSqQ24EqTIHFs6/jG9+Tck/iXq4WoLwE1V7LjNN2GUwcZqojLaccZPfSO285lt+bP2ZJtT2u7jXHzvOnUQ8G07jjZuDsBJrX74/bmMxACoNOt1X01mUNodualhgv3K9OzW5Zkc+r+UvGovgAzU1HHSVKT99Z9bZDi6D4p/KUTFoLvbXq2R+fjs+1+38vAXoGaasAbJqeFoDFWwgxTRJAmYAamCp9L4j2thM31ELRKMYQBM7MBqiWPICqOngkNlRaJn6J7wKUAky2yCy5TIbw3obE5Ww3hsV8c5RWNBmZljhvHzVazddL+0GhdtNvVsolbe1O4WiLSKZfaC4J+oBAG+aU314kXo5LGS5AvKW03irpd6q6Yo4FCw4Sl7HAd7BLM0joIj6Us2LS999pPhoyGAUkr7N1tdpsPSOolKORoX9pzPdpoi6WIM+kKVCpNicT0hlU3IqDUwao87dVU0aw2hOWgDwf7W8niijBIJ4KHVfWPBCsFbUbD/v48+MQ0jNCeHHznMlJP+vAys50xS9EnuVIWgi4iGJ+2Wmdn5+3Kz8dPYkdJ4blOUSXgkbRwvY9i9GWs9uUIEe5QULmhUSETUGJpxhV1gXj214FZY7K9p2Q9UAj65fqhav6/pYDP9/llITRCxJGMb2dmTKKPTq+OTnr0W7Aw5G72j5Eu5+FC08kIGJ9ftFrUDHXWsSmu1Nopr//G59lB8AkdJ0oZWpMl1KbUo6FiW02lbUg/0bt0p97O8LVkWHHXKRZLUZ6+j563nbg3e5/L/48NVANe+GDvZaPUb1R1XWvZtxTwZF3OX0+UqupS5kHe1XxHXCeCPW/eBA5kivP6ZK2K9K8PX5hevLa1sAc7umZvmdwXM8OVtOXp0sn+POnLXkbiuzjmJZ98ygP0vfX3pm7N97JvTd3aH0A0NuI=
SAKTeXQBgg8mteFU