Proof Init
CrgECrUECi1jaGFubmVsRW5kcy9wb3J0cy90cmFuc2Zlci9jaGFubmVscy9jaGFubmVsLTUSJwgBEAEaCgoIdHJhbnNmZXIiDGNvbm5lY3Rpb24tNSoHaWNzMjAtMRoNCAEYASABKgUAApScDCIrCAESJwIElJwMIN9fAh9s2XEHqPJ/7zRxwC1PMtnmn3z1yKZjnklhJGxPICItCAESBgQIlJwMIBohIFW9e5anqP7VtRD5wPqcFrwGzMdhkk2RdL/sSxr6ORhxIisIARInBg6UnAwgqBF9R9JDLIcPEn8YlJVuAAhuynYZArTeQfKegwdWjQQgIi0IARIGCBqUnAwgGiEggI3r64kqSEUZ7MDTjVwWZFnf6zgnxA3dePI1nXDL3sUiKwgBEicKLJScDCDthRDKjtmajYcOWz2PpgFKJk0wRVdYe/aP7R398r4KaCAiKwgBEicMaJScDCCtUMFoFwhQRKbJSWkFnyHgD69gmBEzXjA0IitgZ2lxOCAiLAgBEigOrgGUnAwgqr+NWXQ6cUT6li5dfNt8UcYEK2eCxDZgHEAq0L6l6wAgIiwIARIoEKYClJwMIFWrMH05lISCJD2AhZcCD5nsSazJO7xTAvrAiU2+ibrKICIuCAESBxTQB5ScDCAaISCQ9M81U4wmFf02bdiJmb+qIwc++T0DDP212/zv3V5T/CIuCAESBxbeDZScDCAaISB+/mtfjl/SHZHbxe6iDQJwoTgw/8FeyIdtRcLxJslHZAqlAgqiAgoDaWJjEiAWDilPP9AOOlxqsR2GsHgX0f+zkLPA7mJOGMzviwUBURoJCAEYASABKgEAIiUIARIhAQa5nA2BGf8e28vhZdDxkzfbvAgOZ3yI5XqirnZ+vw8PIiUIARIhASHlbJ0Ki2hZ0/DcZKZ0DBo0sXMa/WeI9aME7jHc6fhzIicIARIBARogPtlZs8pxKqBqjTGkmtuAVpCqc9QgiLb5q8QCveKhsYUiJwgBEgEBGiCN2FBqC3V0yzLyNkMhC1smpmPVD44CMgQ4QUhYQznXXSIlCAESIQGk58EiuIjyQmcbwReqfaHpV3A0/P2B//5LrwzTQ+CiXiInCAESAQEaIMeXoWCCQ3xzGtQtuWO72SjkAMwoAZXPClcOWyk2rSaI