eNrNWNFu2jAUfecroryTELZSNgWqlbUr0qqxtmjTXpBJLsWZa6fXTqD7+jkJ1dIpUTuDtT5im3Ovfc89PnF4sr1jTg4oqeAjN/B6rgM8EjHltyN3fnPeHbon406YkJzUlw293qLf67tOxIiUI7eY95ZAuPS+X37+CBoB0B13nFAsE4jUk3WZosy7IHJ9SdJijRPmgsbOHai1iEdumqly1AmlQp3HeCPwp0xJBKG/G6nPJou39fHQL8BegJpJwM+E3zaCrtAIM8oQgasJUXAr8KEl34ERNpVXIEWGEcyIWs9Q5DSGuDl7wiQYBVlt4mvAnIEqgjSC+0l0J43ASUK2V3A/bU76g56dqK3q9rrBcTA4DoaD/mA4HBqFwtpRNVdBb8JHuUwW794EfX+F5bZ8RvLFUXBUDkRS+glhVEg/Egi1Bb3eoFiQC4XQlZDoUIYlnQlUhFkqJpWTp3y0FAfh/lnSxFSmjDx4iUxNj4og0dOAWjXsbaTYwQ1qHWP6zP7C5xlj/j9mPd+pjKWMCxGbiIyrFrGZXJgexERwBdv2iprpo9ruuEhBHg72l+DNd8MsWzIamSqh1qoMpJpfTduF8BVoyCmRMEd7IvKN8lhs5OHFqU4GS9mnpb42ghZVGBwPAuO++6FZ13KXnWUoUvBPARnl+0jRlK/EviKkmdwM9cjj/03h0omJiDBo8WILQxnT3H20jta6w17nVRONoJ/ObkxZ9TUDfLguf+5LrMjGFaHZesAUq/5/xo8fmbEWm3VlrVQq3/v+ZrPxis7yovVruSlqd7q97wcrxqEyUpXiWkp9WV2jL66paQM+5yr2dcq7/+8ceWMMhRnsUYZKq60p6vTs8CL9xyZbS3v2RGrshSktLVFUcFueKVvu/90z5eeoheDLakVb3m1aSRj61ZvRuBP6xXvRuPMbseIjAw==
xv6jSmkHePNgf2W1