eNrVWFtv2jAUfu+viPJOTAqsbApUG21XpFVjtGh7QyY5gKmxU18o7NfPCbSEKlFbt5bWR3zMd+7fOU50ul5SbwVCEs46fhjUfQ9YzBPCZh1/dHNRa/un3aNogVe4eK0d1MfN8Nj3Yoql7PiZPJgAZjL4c/XjDAwCCL975EV8soBYHdzTitDgEsv5FU6zO1604iTxlqDmPOn4qVb5qRdJJYwd3XsubmWKY4jQ7qQolTAOPzfCRlEYoQzxBdBagviB2awUeSqsMGMtBDDVwwpmXGxKoSEZt8Ljk09WCogcguRaxDDAaj4QfEUSSMpdwFSClZLpfXINYkVBZUpKwZEkyg4cL/B6CHf9cqO/GmlPrVWtXgtPwnbjuNlsNRqNupUqUQhVef0YJ1AquMlIK2yFKJYSUTJBE86VuYLTWmIyqcgSUhLfgsi9RlkC6+2TBkqpnhEm0dXZ4PI6kywkkrHglCqeolhLxZf5mcIswSIJFtIy6QMuFKaO0k1k77BsHekRcPdsWSVEphRvTKRS21BhgY0YhGEYd45kHtwIw3nUxOwJPtOUoldaPdqRkSOLM67rcc1UBSddDG0D0eNMwbo6o3Y0qta7WiQg3w/2L2flc2SgJ5TEtlxp2EyDVKNhv5oqPwTLfMMSRsIdzfwmLOH38v3pq1gujqxPcwauHuhNyxmVFujqEP0l21MlfCE8h5EwAiwE3hzgUsM8wXV+yfcosJmam03vAWmnwyQP1h2//ni89+Gxtp+oKoQh/5Fr3tm9l0Ro66oNB/fZlL+VfU0Ll0M9NPD/37v5LstjTKFimx1bMrxp2ocN3BktuKOcraAU9Pv5je3I+6VBbLbdUgpNkk55R7x8/rkYqqbMKy1/fdNs+dDdQ0eLcrKdK5XKLwgtk3QeGKripmmm4uPM2MK+5O715mQpm2y3g9dkxbbDntuo3vpK2P1/9xop1aGEtuazRzJ2Rpn98/dn4f0TwZnZgwPScKcmX+exIpy52gb1pBTxjbxvEssuhGnen9MpqfjmVVmY+zUqQtlW1z36B2uOivw=
xv6svdSU4pdWMyIU