Proof Init
CoEICv4HCi9jaGFubmVsRW5kcy9wb3J0cy90cmFuc2Zlci9jaGFubmVscy9jaGFubmVsLTEzMBIpCAEQARoKCgh0cmFuc2ZlciIOY29ubmVjdGlvbi0yMjUqB2ljczIwLTEaDggBGAEgASoGAAL867IRIi4IARIHBAaOlrQRIBohIErVURHT4aZ9Je6coF/+ypCBQ16Gc/buN5Rcy8pzvUpBIiwIARIoBg6OlrQRIJySV8+hV7PNn1jfrhUi9mlB1kDAHysH6Vu5VsZnOwYVICIuCAESBwgUjpa0ESAaISCKSSNWnRED3PsvdqDatvZC4lSO879+7m2KboqolkEMUSIsCAESKAogjpa0ESDYocr3kd44Z6wml5o38TmWEyY0iGa6h57P0+XPGEAHqSAiLAgBEigMTI6WtBEgLbBXZj2wYB/OZf57rv58vfW9dlaqhcyOY+O3lGHfUpUgIi8IARIIDqIBjpa0ESAaISDqy1IWMoV8m11edYMAyioQBsdYM9QY92zmdTv3iDG6wCIvCAESCBDAAo6WtBEgGiEgWbBBH+oU/Wfz1fJ5q8rbq9Kxvk/XXssQM9L+jTOeu88iLwgBEggStASOlrQRIBohIF2g1S9R4EJ5s1HopMpKoyRJvbnFiFEYVGwggUM6xRNuIi0IARIpFtIKjpa0ESD/ItgIcEdzxz+BHqb/sJetLYXbS3Lq39K0xnnRUANMPCAiLQgBEikYkhKOlrQRIMwJyBSCBXIIIxy4XrRvCs+iSxN+0W3R1dx2ykXszAV6ICItCAESKRzkNY6WtBEgzGtn5Sj3Ktqpyo+2HR1K13rUBQov3IJD0ytA2Y3wi2cgIi0IARIpHqRSjpa0ESDEs9M8ifSSyVotd7a5JO8uF6K+w3BIpL/5OeYforpV6iAiLggBEioguOUBjpa0ESDz4SPXorj4/w7VN04O04f5Z9eEeMzZOuC56nX2zlNVcSAiMAgBEgkimNIDjpa0ESAaISDm0BeURByiqVoFwuVRXHFCjNUrl36/l0BWCL+NdeWsZSIwCAESCSSctwnMlrQRIBohIPlAFhd+oPp0+q5zPfjDEq0I3GxMh3/fzK2sLRR3dVguIjAIARIJJpzlHMyWtBEgGiEglFtd+r21Ss6wdf/qmvFd47oUoPxCZwp9dNQjC7ZgAgQiLggBEioosLIozJa0ESDYHffl2a9rmnmXl3bl5OVQ6vuXb6m4duy9OxLCVEVV3iAiLggBEioq+pw8zJa0ESC3SLXfFFLMDqUnVwIg5A1lWBcHFDkx3T2VHoy7IrFxTyAiMQgBEgou6sOAAcCXtBEgGiEgX4XaLe//ct0QOkrUlAlc3wNMhQJCdbPwXCrIWdQC5R4K/AEK+QEKA2liYxIgaHNf/cW5uWicAB8k7IJiI4N1SSSsjo5/UMU+kXY0WKQaCQgBGAEgASoBACIlCAESIQEGuZwNgRn/HtvL4WXQ8ZM327wIDmd8iOV6oq52fr8PDyIlCAESIQHBjPbCGAn+JgwxocKw+UXhMzyX3hHTQo7eC/imuT5adCInCAESAQEaINe49yH3wBnMht/osbGQkc+RSzkO9MrccQNu8baGSZ4NIiUIARIhARBIhLt8TDDzIKZdFm0PqWsB51QlnSrQROyZVKl4QJG5IicIARIBARogE/J5vM01olG0Gz8bAmy6h82eI59LSXVd3Qt8MWj41a8=