eNrtWFtv2jAUfu+vQEjsDcJFFNgCVUfLxtSqDIo27aUyiQNOHTv1hct+/U4SWkIX1DXgt0kVdXycc459vnz5TuyLdUALSywk4axbrFWqxQJmDncJm3eL0/tBuV286J3ZPlqi1DJYV6k1iwWHIim7xchamWHEZOXn7c0VhvuxKPbOCjaf+dhRe+u0IrTyFcnFLQqjNQV7yYlbCLBacLdbDLWKZwu2VAKy6K24eJQhcrBtbWfSVuehVauep022Ffn7B8daYnGD2DzTrydy+XS0EJipPlJ4zsXmgGv10Gq0m/myJnKMJdfCwSOkFiPBl8TFbnYgRCXOFcRbuRMslhSrKEimc8t3ApnLOfLReoyfhtlJX4K1r9aqXC3XWrVWvV7rdOqdnIclUkeVGS3ahPVI0cN5s9lpNCxPWA4PAs2I2pSR42hMaNkPuVCI5izXKL7ZUKGI7O8jzlAcgZ/eBIRLZEjRpuLLMO9RIYHAjAVQg7mNRDu4F0BWFM7slX+mKbXemfV0yyOGMo5oqs81UwfoZDDOexB9zhReH65oPgZU6y0WCZanc/ubs+wXwEjPKHHyshzwkMZSTcfDwyRnmB8+I4mnwhxB/CDM5St5euJJF9pQ9n8f7IvpuSjVdu6n6hdg6sBb6FoLHmILCInIY3hmyDx+LMMATLNdPYPUJD5jkcQdRPEBLVPOyT8AzGdhZwz65h6rxJDp9Mv1fV7EfNdYbCbxZaZr4nZ3tc7HziYoHwD6VuYCu0RAJ9BdKBXKUuOyVB/A3wtWKz6ihMsKTMB0SPWcMAmjb8C/k8ndKJ6Aa9AW8Cslj1RGqZHYJR9v3ZcaV0mAejMK0YyCwI/LHbkXAeZ80CrK4yKoVZNr8BQPPBH/C7irKU6m/IDPCMXpcRn8hFwipuT+7UisInXfaaedvbJ2qvW0FblBtLkoKCL0ZTCCngmaHzfeKmxokDzG0fBqx34fUBB+ghVdT0Bt4XAoh6PKLcKSGAb7Fy2y+Tyu20fLyoLEu17DF/+xZhRrp8Ub6IgdJZnrZo1I3UT6JyrCUOqzRBy+/4nJ+wp6SxAf2+Rt7982k5kxlND4iHokasWYphhen16m7Do8Y2mP9njdXJi4G0OKcGaqJdCz41v2IRtE7HXneeTAd8WDILSt5Jtm78y2ou+ZvbM/jsH9gg==
ACL2GpRFgtz7G38q