eNrtWG1v2jAQ/t5fgZDYNxJeRClboOpo2ZhalUHRpn2pTOKAU2OnfuFlv36XhLawBbU1+NskFBKffXe+uzx+Lt75ak4LCywk4axdrDqVYgEznweETdvF8V2vfFY875x4EVqgrWkwz6k2igWfIinbxUTqTDBi0vl5c32JYT0Wxc5JweOTCPtqZ55WhDpfkZzdoDiZU/AWnASFOVYzHrSLsVbpaMGTSoAXnSUXDzJGPvbczci21L9vViun2yLPTfS9QbGWWFwjNs3VGwojnb4WAjPVRQpPuVjvUa3um/WzhpnXRA6x5Fr4eIDUbCD4ggQ4yDeEqMRGRsJlMMJiQbFKjOQqdyN/Lo2Uowithvixn+/0BUi7aqXKlXK1WW3WatVW67RabxiZEluhyrWWbMJ9oOj+tNFo1etuKFyfz+eaEbUuI9/XmNByFHOhEDVM1yBdbClRRHZ3K86SHYEfXy2IgMiYorUTydg0VEggEGMB0GBvI8kO7gSAFYWY/aWfaUrdd3o93uCIJY8TmOpyzdQeOOkNTQPR5Uzh1f6MmiGgWm1qkWB5PLW/Ocs/AAZ6QolvinKAQxpLNR7294OcZXz4jCQeC3sA8YOwgC/l8YFnO9GWvP83sM+ip6RUzozfql9QU3tOoSsteIxdACQiD8GZPgv5oQgDZZqv6qlIbdZnSpK4jyjew2XKhvgDhflE7KyVvr3XKhPkKv1ydWdaMd81FutR+pirmgTtl1ybobMNyIcCfc1zgQMioBNoz5SKZal+Uar14Pdcq06EKOHSgQEYjqmeEibh7hvg72h0O0gH4Bm4BVyl5AnLKNUzueTDjfpS/TIzUGskJhqJEbgE3Jc7FmAsAq6iQi7m1Ur2DJrSm1Bs/iBUZcyC9Gm5lmS5nu7ORGIJRL5VqW+vI3M0xZk8s5iNQuDlm+QJOy4vEVGOXEw/oHn8CXbaTr2BnVMOcTBmWBkOWGxOtMgH6zQpH103L9/vOmPP/xeSeSEdt5iAAbyAib0+1ApJzUh7dv5bcn2S0br3vw6mh8drVPbQ9myzftMG5tpQQuMD8pHxDGtsoH91fILx0ptZc3uwA9r2zKR9FFKEM1tkXk8Ob7b7rJeg120Ykj1fBPcWoedmXyM7J56bfInsnPwBJwDpMw==
ACL2GpRFgtz7G38q