eNrFV1tv2jAUfu+viPJOElgT6BSoNtZuSK3W0aLtDZnEATPXTn2BsF8/J6QloKQtbq0++qLvXPydcz6H59k9tlaQcURJ3247nm1BEtEYkXnfntxdtnr2+eAkXIIVqF7rOt60e2ZbEQac9+382JlBQLjz5/rqG1QAkNmDEyuksyWMxN49KRB2fgC+uAZpfscKVxTF1j0UCxr37VSKYtcKuWDKjUFKmQB4CAScU7YJ3XK7emU59av7oZsjvgIa8d+U/eUpiOANoysUw7gWPwGYQy0LyTq+AWIxIgmtRXZTHiM+7flnn9xldM/duFj7QTeoroOe1y7XWTb1Pb/rphiQVixbHAk919aPodc6trXjBZp5nXDIrgCZm0vrkBIBM5FntxZc0/Gbgm2G3JZ5VmgEcH3OEza9HGsBM/hwC9kKw+Z8uIpHijMbZ8lTXRu/JGSb22JZawPF/R2ftYzMAIcThmvRF0Kk/LPrrtdrJ7fiBU7CXN1YjPCHQU4lU92kCbWo4Y+redXwEInpmr8zsVXdAAbUMWSqqxuqnkgyBol4dhKUqe35p2+q/0cbhiJBfEQumSLgzyRBDQ1YMKkHnlZeYh/5NcO4Eb5a5Xuw6gAwBjZ7uIqoc2fbKWwLQzIXC6UbHpFKG4qKMOvb3tP24TMedJHixlMaikVhufR7dxK621CPHVrMZOMfUklEA2012z7iQ5GVXEWQG3IeLEE2hg+jetwv6lR5IVpeq91tB73Oacc/awf+W4RDMSKN1d640qSNGfm6HWQmhQRomMIJ0+sbReerF4NIKeyOrycGoypF33PUPuQPeMfUrwMr/IMUE4mxe1z8cvbcSNFVNPIoNfPB+kAlVVW6hFxMxiMzMlJJ90YZefyjKbSXHP74lNb/AI8PVqkTOcMoAkJ9w02JLBOyeHtQi/f94k539O08NdbFh/uS05CdsqTKH9z7qkFVIC/+DHPGv2Fcl8LGUHL+UVIvkLe1oKu/L450cycpQzdXuIOT/6SfSLk=
pyfmt4GfHqLg5u3C