Proof Init
Cu4ECusECi1jaGFubmVsRW5kcy9wb3J0cy90cmFuc2Zlci9jaGFubmVscy9jaGFubmVsLTMSJwgBEAEaCgoIdHJhbnNmZXIiDGNvbm5lY3Rpb24tOCoHaWNzMjAtMRoNCAEYASABKgUAAsyTBiIrCAESJwIEzJMGIEO06RgCFZ9Z9JUpRWLQ4HfmI7tcTjubhWMLZTRa8eUbICIrCAESJwQIzJMGIBPuto6LqtsmNX2l1db8uhsLvdzPEp85Lcm6dHpYQShyICItCAESBgYMzJMGIBohIEld53CshUnuMAaVyFJ5EtL4GkmuvrXfB6KELCMtNWzCIi0IARIGCBTMkwYgGiEgfelN1PU2bOAEC3zQ6oN1uBjfyfOxjNN198J3Akse3HMiLQgBEgYKMMyTBiAaISBwWSiOdVlY1H4sJhhJVVFy0CwiG5Z+kY9E42eeZH3DHiItCAESBgxIzJMGIBohIH32C98/rKZZcFqSY84yf8xd3t+muBRBVSM0Ez+JQ2odIi4IARIHDpYBzJMGIBohIOCjC7kvW13EWw9EGWXQMCCRYwv+8tLMJw6zWmFBpS6BIi4IARIHEJYCzJMGIBohII2guGR97cQUXB7NxVEcFWLMeJ7R537Pf/HBTb6iZsI+Ii4IARIHFJYKzJMGIBohICNoZFnXP3Twild26ctmhiyUwhv8fH+HYp33RmbdANByIiwIARIoGOYWzJMGIPTlsTwX+uM2Zp1QXU9q75yMGt/tL8j/JI0UZvMwGNoyICIuCAESBxqAQsyTBiAaISCoytBNMbHXoB3ch5LWghnPjqojGCB+1SayrfqypUuC/wr8AQr5AQoDaWJjEiDkl2p3WSVMGtZK4ltsogscwP8p41Hxmr7rVEQBr8ZSIRoJCAEYASABKgEAIiUIARIhAQhCtVYUIq1o0oaCuv+tf5nNimSjOdS9YrcpFolNPZoZIiUIARIhAeJb8OXe4GeK5KwdF/Gwz/tCknXSkwnfzPdS3zPVnURBIiUIARIhAeO4rRb9HET8bOqRLYBll1fvaG+9aZuKYYuurcZi92+DIicIARIBARogj1E8uw+ydu5+yqXU3AUGy/FE8uUgBJiesIKQ9FIo4rAiJwgBEgEBGiB65D2UxPXn4x5WCCVYZFzmKPL4b7KVk+9fSvaOctEk8g==