Proof Init
CtsICtgICi9jaGFubmVsRW5kcy9wb3J0cy90cmFuc2Zlci9jaGFubmVscy9jaGFubmVsLTY1MxIpCAEQARoKCgh0cmFuc2ZlciIOY29ubmVjdGlvbi01NDQqB2ljczIwLTEaDggBGAEgASoGAALcyZ4bIiwIARIoAgTcyZ4bILFBNf2LHWIKjgG1+WIR3hxokdL+2OjeYi/yVgwOLHBFICIsCAESKAQG3MmeGyAIG782Ius3cHmOSkwpofdjrL8yklb2pJ5UCUxhdERa2yAiLggBEgcGCtzJnhsgGiEgMN4sBQZs3u5J78i3Qf1e1J0PL1paV5ENRkKtdTaE3S8iLAgBEigIEtzJnhsgClum/g1sNwhNtGvZySrugG76MrF07Hv+HQuoXPvhPKogIiwIARIoCizcyZ4bIB+63eFRr9cAGRs55EnA5neADe9MkNjSfN6QBEBN9vBCICIuCAESBwxM3MmeGyAaISAXQIrpcu697HeQpIsZuAieUKz7OGnnQLj7dj+PFzAsTSIvCAESCA6UAdzJnhsgGiEgniTBGYwcdi25orKYNhZxdqoAOO6Bw9ri6jgvhG5VeGEiLQgBEikQqgLcyZ4bIOvX3j+sVoeZB3w036CNA4fRrz2TnrR6JpZo+UuPaZkYICItCAESKRSuBtzJnhsgCc/VNSP3BLfm8CTDLHvg9S1vQtRx/4OjXrUy4RYwP+EgIi8IARIIFqYJ3smeGyAaISDFP4SsbX+1+7Pt8v8LgKIpPDdxf18Jk7DkfnyP4NV3bCItCAESKRiME97JnhsgkHmB97H9yLoSP1b8HYgKRhBcuBQFPg30Ft2PONL1bmwgIi0IARIpHLg83smeGyBGmuNP6sdBvYuCVrBBcPKRSv5NkaW3Kvh8Ous/9MBW2iAiLggBEiogxMQB3smeGyCb34VhDD0Kkl0ue5ThwPFP1FjCBvclMbe9/Em18eH0yiAiLggBEioiiPcD3smeGyDpB055ArTSIktjp8BpFmqMyVvfhyrZDcePcv9rBXjlICAiMAgBEgkkoLwK3smeGyAaISCLoJhasQBHfaWfgi166+hGXoYFrXYPB0Ty94DjNQkMAyIuCAESKiaGmxXeyZ4bIJjU21TBXJBUZEEPgaPhW7XY9I4MJfONjYgkdL7USQpJICIuCAESKirwoyHeyZ4bIATn/5Si8CeANZ+R/0YGgE1GZeXUtAmzIFOhXV/VUmeSICIuCAESKiyg+D/eyZ4bIHfuWIitaafuW65f6tk/4w3YmoxSDWZOYMGWdjnRKrGnICIuCAESKi6UoWzeyZ4bIFHMjTRZfkcO/T57QTCreDFycYq2cm+i5OhRxZHzUYFQICIvCAESKzDGyYcC3smeGyB0lgO2mCXMNeXYpfVLYhu1lHyLzqysSB/ESWgknc21HCAiMQgBEgoyvuC0BN7JnhsgGiEgffeQWcyz3sKfFCd+IuAtz6QovmiqX8MT5yrNcUqZYkAK/gEK+wEKA2liYxIgu+RacTi72LyQWYVtTTCtWxUKz5On9yx4JJo/osc1ASAaCQgBGAEgASoBACInCAESAQEaIN4GdNr/9MKo31SYEKo/lFFhEHaqxVVi7p9o9nobfJvrIiUIARIhARYA3ov6UqNsoA3fQbrivqA8TJ/0KoPRh/9afjanpqIxIicIARIBARog331n/kKy+DZ0MvQ3eJt3XYpeKZr/qwk13uwEe4RtS3IiJwgBEgEBGiDJm+k3kc0RSUgmEDjOwR+Anhirs8dLreTkrQhHE1DwnCIlCAESIQHacZl00vpnlmExdikcR5TeDdnk+XhodO3acCrS8D4yng==