eNrdWN9v2jAQfuevQJH6SBJ+rKVToOpY2ZCoxmjRpr1UTnKAqYnTs0Pp/vpdgK4gJdJq8MskFBL7cr74vvvuS4Kr9VJUV4CKy6Tj1F3fqUISyZgns44zue/X2s5VtxIs2IrtmZGdW2871UgwpTpOPuuGwBLl/rwdfga6H9DpVqqBDBcQ6QO7THPhfmVqfsvS3KYarCSPq0vQcxl3nDTTm9FqoDRSFN1niY8qZREE3m5kf3bx0NofD7zc2T94zRTgkCWzQqdTNPIZZYiQ6B7TMJP4UhJv08g3V2NQMsMIRkzPRyhXPIa4OHomFBgtMn2O7wBXAnS+yKHzJBPCe5c3tmDrMTwNiqO8ptmeXuuaX6tf1M8vG836ZbvhnxsFjnt7U5JRmWgvRb6i5AzljCfuQqWGmRhJ1ExYygFXvUMYWVoH4ak017tz77S7xpDRNCDVvb1nyh/mHomJBIUcHwthriY7nrAUcU5DPZkluoQu+mPTjehR6mBdnlwzhtPrHSw5qNO5/S2TYnYfZaHgkSmXEflkoPRkPDgeB5+YggnaK/ofPInlszo9mexnzFL06YYPC51GD/VWo/mh7RtXxy/CRkkLuclQpuARsXB1DF8Mkqk8FiEEt1O52kgTGTEBJa2sZsgKhLJXLWUNx/ZqZDtR6PTLzb1p/r9ngC93m8tC1wgxR5KwnbnWqTprXp81+vRTacP3fXfBBJeKUXUxN5JLmlhES0V/hHu/dX7RatD5FOkwo54U1wSLcpvcQvCQjnMaFRAyVIfjS7kkCfA6tl0mdysR/l7XYqZZLUT5CEh92YzQbXQJqoXSbX1/OWzZxYqozrCYtTa5/uh5xVkukUVX/zlUqJe8gcXeC0ipbjFVb9sGYingcCsLTFBkylhlqsaCaI+5SgV72b0nnEhMbzqbtf4zuDl9S3vT6NbCHh2QnL1lNnqaaS4TW1owC4/HySDp5yD+Np3yks8+5QEG3vabU7cSePn3pm7lD3kYMeM=
vcsn4gCY1TtvTLpD