mnCTeXF2tXRVESmnS6pVxcULKCX5HSMKVURECK2vQxST/gdt3PIqYzQ1WMdoz9OrzfM42IBsbZb2aleGtoWuny0cvGY1frwQl53DtvYy6ZuUhz/yz2FL4tX65rOGJeEG
9
mZth846eY9J28HtVvr+Ho4ZDvokItIjwP/YtsUbvTtu/L2vYzf5a6Mtqg/uUIK0X