eNrNWF1v2jAUfedXRHlPQmihMAWqjbUbUqsxWrRpL8gkN8XUtVN/8LFfPweoRidnbQ2W+oLAds699j33+JDkfPVAvAVwgRnt+nFY9z2gKcswvev649vLoO2f92rJHC3Q3jK9Lmyc+F5KkBBdv5wNp4CoCH9eX30G/Txwv1fzEjadQyqfrVMSk/ArErNrVJRrvGTBcOY9gJyxrOsXSm5GvURIrrPoLRm/FwVKIYl2I/uz88np/ngSlWCvQFUC+BWid0bQnFthpopzoLKPJNwxvjZCPwg2abVOOu2mVQgsRiCY4ikMkZwNOVvgDDLzJhARYBUkX2Y3wBcEZBnECB4VjEuEiRU+mqPVCB4H5rw/6tm+XMmgHsRn8elZ3NSH1a7HVqH43mkZo+32ESFKFcIcIrGmGU6RjBqo06jH98HTQICpBJ6yIM0zGWQgghlSUuhvgQBM9SdfxJO4HjdOW7bFHZbZEEdlxaL/nKCO4nB4fJE+GRYFQetwLgrbo0Ic6WngWkbcbaTcwS3Xwkb0mf2DTxUh0RuzHu9kx1HGpar1maKyQn0uR7YH0Wea/avqitoJplztuIhBHA/2N6Pmy2KopgSntpqoJUuBkOPR4L+S+E6k5BMSMObutOQHphlbiuNr1D4nHGW/qRQxgxI0aTWbncaZdQP+0vSruNsuFGcFRFq7sDhEkgY0Z4eKkWa0GeqJz++BxxubxlJEoMKoBZaSpgn85CudtYi79ttOGEG/XNzaMuu7Ar6+2fw0QuOse3BBUxf3iKZyZe5vb4ytOrzs4pvtVr1hx2puFp+ZlIX4EEXL5TIsWyrM+Tu7VfZsgLs/H068xtZ7bbXZUerT7ZX76tLa9ulLRuRQc717fmfijTEkV3BAGbaS7kx4BxfH1/K/ztpZ2sNnwuMuzMYFI4kZdeWv1NSIeAQBGtBLruXhW57jijdCldRMou3bqF4tico3Ub3aH72uQbg=
TeXuVec8MrnR288Z