eNrNmFlz2jAQgN/zKzx+jw2EKx1DJqVJy0wypSRM+8YIewFRRXJ0cPTXV+ZI7MQuiUCdPDFIYg/t6ttdgovlA3HmwAVmtOWWvZLrAA1ZhOmk5Q7ur0+b7kX7JJihOUofa3qlYbVccZ2QICFabrLvjQBR4f26vfkCWgJwt33iBGw0g1BmzimJifcNiektipMzTjBnOHIeQE5Z1HJjJderTiAk13a0F4z/FjEKIfC3K+ndmEeV4VmtWm/U0/uBnwh9g3QlgN8gOskVPuZGMkPFOVDZQRImjK/22N000oFFHwRTPIQektMeZ3McQZTvBSICjJSMF9Ed8DkBmSjJFe7PwgdhJBzN0LIPj918oy/1bkcu5WnptNwoNyu1SqVxdlYzCzJPXVWutsQJPxUSf7dQHurEqteqfvpErXReyS6UK+f+KxkoDBVgYhjeHuMSEUuBxaKTzVFLejg87k2gCIuYoJU3E7HpVSGO9DZwTRR7jiQe3HPNOKLv7IV8qgjx32n1YEseSxYnYOswRWUBgK77phfRYVTCsjiiZsyUy20uYhDHE/uH0fy60VMjgkNTKmpuKRBy0O8WQ/GD8eQzEjDg9oDyE9OILcTxQZVODEvWx2vW/rNON6pmdTpOsSmr4C2tUaH4V83GZSgVIlhms10fQ5yjVUYL0dDx7taHXIcAncipbup2crcadTRh2XJLT8vZG6mfV5vN6gtdqVtZf1mr3rqR2tnrEo7+jxOv2683OxH4m/CZFJEuHbNDy4dmUL6oHYE+EnzWPTYLEYGCLntoWIw0dXbDgTWu2WPmZiNX6Nere9Pq/EMBX20eRq5oHLUOnT1CGw2Azuh9pr9EXasARe/kvtU5TfH8ujKVMhaffB9TxiNPAyz5GHOrncPF0S9Ql+fnXLA3hFrpOEebhuhd0TF9lPv6xUNnoO3vt7NWrg7JlTECn/htjbLdq+OD+3kAsmZ2LwMQe2rWwwqSmFFbHbAaFePvIEB06TXXz/f7eIwL/sIrzMznJivwk6avffIXSKGwig==
xv6zcmpsKPvvejpw