eNrtWF1v2jAUfedXoEh9JOFjFDoFqpaPDandGBRt2ktlkguYGju1HUr363cT0hXURBsB92kSAnNtX9/4Hp9zHfdys2LFNUhFBW9ZFbtsFYF7wqd83rImd/1S07psF9wlWZOdYTjOrjStoseIUi0r6rWnQLiyf9zedAHng7TahaIrpkvw9N64UFNmfyZqcUuCaEzRXQvqF1egF8JvWUGoY2vRVVpiFO0nIR9UQDxwncSy27u8/7Brd53I2T94DRXIG8LnqU5nMpdPL5QSuO4QDXMhnzPireXyTdUIlAilB0OiF0Mp1tQHPz16whTkWmT25I9BrhnoaJF95zxkzDnIG1mSzQgeB+lRXmFvR290qVyqNCqNi/Na87zcqF/kClzu7E3qagEL55QrZ0w1jEFrtKlhbHNmUnDtMIHtEZ0vtL1UQc4UDYXUhBlKDlWdfXwZWkfCYyYIkrbzTttJJMFukMgU5h42eso7idzFcF/9Y0FP1SRhFkMRR8TVESHXGQTTH+XdiA4mDjbZWc/HiXqT4JWCOp3bX4Kn68EwnDLq5WU/pKsQlJ6MBsfj4JoomEhzbPCdcl88qdOzzG7GDEUfxESZ6pTcV8uVai332fiJyMiQnF4oRQAO0gpVx7DFgM/EsfhAsJ3KVVzKCI8wyChmSjk5ATH2UnsZQ7G5E7LtSHX6qXeXN//fQpDP4/hvqmsJPpVY8rYWWgfqrHZ1Vu3jhyJfEw7aRtUEsGcSbUtvpfCnWqs3zsvV++51nzLoCi9cochH/VHvkjAqooYnJMQ/qwARznVkI5yu8KhiKxFkbL2V5BdXnkq+MaEPICNhPqvF1lr3z/x6tT/4Mu71XqbWk3n16Bkw9O1AG2355MCExuBZykzL4cdpy01GivhQpnNejJWPjvMGJYcWWpf/4fc3dXsFoLlLVGYllbee3IqaoYCn20LlQGTmJdCsEus9rxY+VQEjz8k150Qlf6zAxnRy0Du99L7eJIyFPdwjU3PLxFU/0VRwUxVrOD0eJwPejyD8dTajGa+zsgN0ne27tHbBdaL3aO3Cb9KbhvY=
xv6CmEgREZUH59W5