H4sIAEIfMGcC/ytLLFIoKs1JVbBVqOZSAIJnKxY+m7vfSkH9ZXv7y9lthuo6YOGSzJKcVJDo7onP5qx40bD5xdaWZ7smRAOpWKiSjPziEqCKjJKSgmIrff3y8nK9jNTM3NLUIr2SMqgafX2gstzUkMwUoEpDY7hOmBBUIDmxJDU+tSI5pzQFZGnc8ylbn+7dqFIDYrxY3va0czmIvXvPi85dQMbTrhXP9qxWgeotSCwqTo0vLcqBGFcLAEfuq3jiAAAA