eNrNWF1v2jAUfe+viPJOnNAPxhSoNtZuSK3GaNH2hkx8ATNjp7ZDYb9+DqQlVInaurXUN8g153743nNPiM/XS+atQCoqeMePgtD3gCeCUD7r+KPby8Yn/7x7FC/wCpePfQrC8UnY9L2EYaU6fm4PJoC5Cv5cX30DgwDS7x55sZgsINEH5zJNWfADq/k1TvMzXrwSlHhL0HNBOn6a6e1TL1Zamji690L+VSlOIEbFk7JVwThqH0fHZWOMcsQXQGcK5BXms0rkqbTCTDIpgese1jATclMJTXAyPm2Gx00rD1QNQYlMJjDAej6QYkUJkOocMFNg5WR6T25Arhjo3EklOFJU24HjBV4P4a5fHfQXY+3ptW6EjagVnZ61zlrhSSs6sXIlS6WqbiCTBEqlIOZG2u1TlKVMYIKISBSiSzwzRj5DzTBqN6IILRRaYEaFQomQUHxu5Pk0JEyNs3mwUJa3OhBSY+boPqnqHTamIz8S7p7tG0JVyvDGVCq1LRWW2JhBGg5xl0iewa00rMZMzZ7g84wx9MqoRwXdOIo4Z7OeyLiuYZ3LoW0heoJrWNffqB1R6nXRixTU+8H+E7x6UwyyCaOJLRkauspA6dGwX8+FH4NGvmIFI+mOR35TTsS9en9+KveDo+jTLcXW7+Sw1W7bAZcI6RD+JQqoFr5Un8NSGAOWEm8OcJnhluBme8j3GPCZnhu19oBU+DC3B+uOHz4+3ufw2L1PXJXKsP2y9VzEvbfEaJeqDcv2+VS8lV/NkFZDPYzoB5jOreAUCWZQIznHliRtxvJBJjsbfHeksjNUgn6/uLXdWr8ykJvdOFRCU9KpbvmXrzAXe9H0cW3kr5+KHeM5fBvJZDWfzrVO1WeEliSdB4aMhCTBVH6gPVkSNe7eoZwop8luw7+m7LYz9JzseauUL35fvDJU+tAys2asR7p1Ror9i/fn2b2Odxb24IAW3LnZam6sqeCuFF02qUR8I7Obi+WX0gzvz+mU1vz1VNuYeyUUo1yYdY/+A3crWWI=
CLRSfvbUBO2rtva0