eNq1mF1v2jAUhu/5FVHuSQiDrp0C1craDalVGQVt2k1lkgOYGTs9tvnYr59D6EanRKymvkKJzTknPq8fv0l8uVkybwUoqeAdPwoavgc8ESnls44/Ht3Uz/3Lbi1ekBU5mGbmBc2m7yWMSNnx89FgAoTL4Pvd7Scw/wf0uzUvFpMFJOrFPK0oC74QOb8jWT7Hi1eCpt4S1FykHT/TanfXi6VCU0V3LfCnzEgCcbi/czi6eGwd3o/DPNh/RNUS8JbwWWlQ4FYxE40IXPWIgpnAbWno5LEVtRvtyCoBlUOQQmMCA6LmAxQrmkJammdKmASrJNN1+gC4YqDyJKXBw2QprWKTBdkM4alfXvNHM9pTG1Vv1KP3Uevi7Pyd+T27sEqFBytV3omlDJ+7EQIPi+t2I2rlVxMqmJhtLds0EKgIc9QgKnsvheYoD8LTUSGkVGaMbIOFzGyXiiAxw4AGB+4eJH+CERpAMbNm/8TnmrHwlVWP9/hwVHFOp57QXFVQ5GZouxA9wRVsqjtqBz612WuRgny7sL8EL4f+QE8YTWzpZgCkQarxsF8JN2dguCISxuiODN8oT8Vavj1xDjvsqPpsB82KU77daratt9IPI6SKM+dao8ggvEItJTB5Cl/6fCpOJYuRZ3moP+J0IsydGxIJYVDhh+qWxDGKfLZvzjTvbj8VA6VBP1+PbLXyVQNuH3aXpaFp2jnJJSYuEG+EWVn362VebPUjRrkdnVt6eyynyFypTH4Iw/V6HSBMGWzM24wMNKMwA/P+4pT8BwevO+Pu5HQv3E7BUEelT4pj0a5rtvvwmA841dvu/7/30KU5FGo4oScFsp2BtX/99qz+a2ydlT14ARd3aXYmlCijRleGSE9Of1Pp8xs0VLifTmnFJ5RKEcZh8fmmW4vD/NNNt/Yb4x70cA==
TeXC39H8Qv9jeRSJ