{
  "proofType": "ultraplonk",
  "vkRegistered": true,
  "proofOptions": {
    "numberOfPublicInputs": 1
  },
  "proofData": {
    "vk": "AAAAAgAAAAgAAAABAAAAFwAAAARJRF8xKRR2U2W0u19IpCTbArMMFYuazmqHhr8z9lwz6HJJ+ZUuYG69CbdoaAGTK3LJ2+g6axrjQfjLbVKlaLaTYw9GQwAAAARJRF8yJMYT+yrD3VGIrLdaZqPhr6qpZg03MfOb3CBY3zRV39oW9qrPHaurr7nAL2H+F4qYELKK9vRSF/eLCKayQPAz8AAAAARJRF8zJsXAlx0EGmd35IlolvZ0Zw4Xu2jpLLsR5gXS10wHf2YV1aWAZJQX/2Ujx+yOL85fHyL+9b4qn7T9MATZxlYu/gAAAARJRF80CESwPlR/scICdEHRfgjpkgJOLwN9JK9ELfuZ2jKvA5odz0uxqnp7BXqcOKQefFXDwK2Lkgr+TQb3fJvFavct2gAAAANRXzErSMhelpjrTMhzw7yfQNjjJfjWiJRKmJqPTeuyhoVi5BhA+L0afeInhbCTUwWJ1mJIk+wo91qZaxIr4zyfUjz1AAAAA1FfMhsztEhOmUqZUumcQBDvov84ISTuhssKFYalTu9fTnuUDIKX3cC72FpBbUXvSwvoB1PLfF/iiSE43aGKx3crXREAAAADUV8zE3V+FaCQXymDA3hKFhshLd/nDrehKAWW6OSoBPEYpt0Fd1tsFGxKWYVuhp/lpw6iOnKd95aTXHgk46Jr55SCmwAAAANRXzQRlQBcojQb1NpHe/TDHUB28BHMepti2H4x17isdjJhfBHPiAhoySLgv181OcPIrChg/15J01P5iog055g+S1p2AAAADFFfQVJJVEhNRVRJQymgWmuCSRYFqup+uI5fBfaAGGg2hLHe5s6akg1hrYIGB2jJxeh8+Ld53o51USpc9PdG1+Ic0POu4ZHuSdXuDwAAAAAFUV9BVVgOUtG9dYEsM8bz157kuUxU5esnC7ZL3m5uzsrf2MMjbA/0F9JWvkPnPIsaqFvdo0hKLGQdzlW8LdZO8M15Cn/qAAAAA1FfQwqfcuIzWfSLITlVPhSnJjQU2A3SQK9NR5aX+mfIOxDaAtkrXFPIKy38g0prPPWc5MPi9m2Hk2aOd51CK8dXIUIAAAAKUV9FTExJUFRJQwNWCjszToh1MvYFyct2KME++ak3zBJCD7ONmrjoSOheFa3Iux4ByDX0iVnRI3vWm86/CKRZnN2g+5YxLU3Ax6kAAAADUV9NCa0MsyTNdmyhI9m/vV++8Er4RcrSbef7U2uLYNXeuZ8I6mxMXomgjbclRguPBs71LzL2sXJyMxsJu+Hy/a6ejQAAAAZRX1NPUlQmI62JLcYrH6fQplDw1HBvRXcZSVBz02Ztd6YlrqsMUSlfbxCXbDe9nG+Wu3GH1dv8yKRn4CHAOxP3Sp95w6EMAAAAB1NJR01BXzEgEU3qqbvgMg/HBA7UsM/1LUCNs8DR24MnrO0TSL6vkwt0VLLTqqgsvWL93/sh8bOO+OCWnVhsJF/LaNb5V9P4AAAAB1NJR01BXzIg/hZRwGeKsNd80leR8pfHd3A4V16vazhQz/I3EovVOAjk3hEp87nG+JqEplSpABXGNpHXCwzAWxOxSPqXy8qgAAAAB1NJR01BXzMafG8Qrh+BH06Fc1Hbva3V6pPY/oUY4JjcSl9XHXS0NR5x4l/XwErK+RYbATGG+W2FZnTb5fTRt8JKsQjwgr+BAAAAB1NJR01BXzQfTlmS0aBPe7Cys/LwYIYmims3aw+1jdlEHhjNFuub8wge13VMsxR2MJmm0ckS7aAKHNqNyd0YUUyfr5QFBZ48AAAAB1RBQkxFXzEfVLqgdVjl+wVb2bpJwGecXW4IpmBatFE3SKwPoBfdHCSuxiqdl2NJkmfcmMM0KB4e5+4pu7XksIDGCRwUM85iAAAAB1RBQkxFXzIozz4ivNU3guvD4EkOJ+UalnVZRv8W8NZjI2Xw6wq01CNM5UHx9RF91ATPrwGiKUMUjX2Mm6Q/ITP6tCAUNaNkAAAAB1RBQkxFXzMwFpVQKLY5D0RsP9DFtCSn+5X/tGHZUUoQcOLSQDmC7xPvZmERsL5WojWYPTl9KgiGPDt8183cILp5zpFQUcVuAAAAB1RBQkxFXzQhf3xCNRYemjwWxFtspJnjmT9GX8n1bpOsdp5Ze3UsHCVkZ7/LY9n9y13eOXdXrY/6TNlrxnsLffVngnHhEUB1AAAAClRBQkxFX1RZUEUrTkBuGMgx7Jd7eWC17XFRDbB9RsOXSQsOoLbGqZSvugo2mvnxXCBTlXhtYaLiRLDhOFFJsyQXQITMBtl4weQOAGsMhUAAAAABawyEQAAAAAEAAADwAAAAAAAAAGkAAAAAAAAA1AAAAABrDIcwAAAAAQTjulxXDQABAAAAAAAAAAAA",
    "proof": "AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAIKagW+rxvB+jDUb0TaQlmce7En3FN0wPOliuolsrQWPyc0cbLQfm0nUcyBpGWkOM/HgE95hbu0HOFYF8WsIgwkE6aNXbX4isvVWVjifLunf/j43+4tnKMwaibYDsT6rswvOE+an1Wy4WZQtQ+IjvrETeuOgy9PaaTWkVGWLsX0HAjfRXTJl4TJ9Lyz9QjP+RfLaafdXlirTxbBxXhMcw8XLHsEhj3PRdarXh0aqA64jPWk+x3KWgcUgPSjTwUb92obmnlTrLWZwx7N2fJgdM4pwCkha6eqE7zgmxwcAkZW1B5mn6HVD1TFPRsVAbGantOo8T+BOVyrzkr3lHC9KqB2DqC4IuAOl0nnZvPGu2dbqkJgSXr/qFWaELXhEHtrgV0Fda6Ux9ZLTwvl4hD0ffo0d/4uebq1w98dJiBaK420/Q5o4GUOq+q+o+LH8mNhOz5LgNjnPV8FaLJ28dqdzXMlB86R3cfdHsu60tIkuLeWNCi1aGSQKRIyhMii17SU8j4a2ULbjx/qJzyKqYwRu2CinMr4sEB3EJtRRIGYNmuXyS1EdhL0YIo45k5AOql2KdDaml1T93nG+PdeoQELgjkoImEHDzR9esLpsoH8fQVGaJQiNmasAsCFyVWHcNiYeGkRVz/ZLxdWBs3dK2GJ/dEio8HJVfvqOdD7D1TEtZfDtg+HM0TllWPsA4RQIB0zZIEqrRXbHjP9/7HwbKXHmbhBDb4PXN85mfbMT0yhJWP2Z1PEx0LhVqsIYo2V0Sv9KpYiMrl3q6Qg7JusmrHFKEja5NykKOsJMxNUPNGGKCeuaBSKVGRUjpVmC4bsIummyiz2ga/YCiQj4d+sYC8ZeXYcL+1skoaTkYjhETWhIIdj4BhNBUOMkumdEN3giCp9dS8ZRu9loiGE6q98BDt4VzB+cU4qSKPaN3MC3rRFwLOwjRgZDb1GwkoQp5L4eB8vNEXug089dsCPTOfJRqC6uHZIFKWl6vUAF9oXFSZt++PxI7xt41ryweJysZEp2kh+m64cE0NjqZImGV7KBrrz/8IcRraLES8gNAv9VKtNnxLiXhyRjE4wpRqw++4BKS25ICyps2fB+hdnUZI8xaqkmdVvGATHNhcarqNp5VOe74RaA3YupmiludUKc/XO/Nty0ekqajNI4nam/wj/po2JMCGM45lAYeXpeZPZ5jFMiyVXFg7ZPOEn4op2atwUS6cPItgatSrNBHFeiDyZcRTQBsx2EX1OzyjzUf0ivDfpDbqdCoUcszYx6h3bHqw1rFlDKo0cR+XPeZibnAjzuW9ir8iJaLn5PEhkSPetW+ncAzmnXy9y8uAQSyqNeUS5ONu8EMMM9XGdeOu3WemrYbgACBE3FBMnd2noKk5EhmhjSam3RDzenZ0WWl7ZWgn4Them2YgrGAM9VFk1qHEOJAVOxIS7mkRzAwKxwxxTjUa3he6UOQMaMs4wBwLvDbvFJYGtIVYTSU1Arm1O9gcHl6dCdO28JMX9dc17YSW96+V4UOgkqPgj/182BWYA69FID9zKqTAbVoo8qLIl/8noLPG86oDvTXuCkUeWj8BTJVYAE0G4lS6Bl00/ZLTxOjksuzX2ySjxtvryeB3+Io90zdwQECJtEUhV6vTlo7jyOebOLYG5BW2+iwsu6/vzh+JQJBzejEQsnTiKJaqCFqiW3uwx4J5g7PfX+GQWnkxm5aVxYr/94R5fG4k3D3Olq0DCNFjkaicyQcyr04xXGBGTcKZ+bZJmHLDL+7TfvynnnR6zkMPWUWgrAJ/IdDudOnLPnTe3AwoRZYECJ9KjXocfoVaUPIqlkAzA8R7RytNvNMfZdvOX/iRzYvuLmDKqYorml6aOAT8R+gNsX3NqVcQxyAAZrPYcBzohmUEZIXIai6CqnhjxG44Bk4UWQWgmvJ9KSCZ7X/MaZS6p18uwY4rcoHQXJTlVMj0L5kbI1oj47sIkI0nJyy2QO7pufj9U+y2gPZAxgY7WeIRHd1BE6zU+OgAgGDOjJWS+jlx+qEahlnMVTFNI2S04ehdgQSONHmhb3Amk5OYpptbXYZvopXoiqkI5zFhLtQDOHeeJ7gapRnncRO9IcQDJ2r3Xti4m+Oyz5wnWK3lrZM1NaH1WIA314KgnTohWC4QaJtW91dxkk149PkeAR8Ru97k0MgqQI6h3Vozj+/sPlo/5DnOgrA1jHPWxmTCLthipxDuoOySgntsHQ/9lfzApXuexT3XsUB62crGNuTyf8UQPbfAmFttckexaYisMDY6x7ZKmyPcUm/AxdizCcQumWwk4R5kg9ZxPsKJ3UBArROtsg7Fk6uuQRMJukoQMA9QqCNWpqFjeeKYva47styDjPU1N6uyOC0uiZv4MjioCAMHGHZ6Qa0uhG3y5fhW6AnHXynxYDIbaIELd9WX5KMNXoyi6//ELO4DC7AmRoE8iFVlmkum7lYQ4ioLPFRqJeVDiCICuN0kskqbnPV1qJhRLBmpp8Kh4/dIkLsqv6OPwoli5995Lkuq/qhXC2x0oIMgRW+rExegIoRjmCkEL2CRhVieAUFTLE2G3KgUwj3kPWZzJCyso/1HiaJfVJegDVqknN0L0bPTOC7Vv4Z9GGC5PdqkMwyxAU3P+ACGMHIuxJOCPf1H1r8yXqUmuDfy4HOECFi0pj1ectU2x7HD4tuNssZ9B9g3Zh0Gnj4p8s1cEHn05GRclp1Ipe/eolb7CfFhl9r0/giLQlvWB5MDKcSzoCVPIOlUEvcKvjz8xHtctDjQgO8Ov4hkHCcOYl6N9HiOM2kcPFPZ1AvPOf7WNfb7Wkfrk9iPWq8gHo6s54qIX3nCvz2SH/Z0ULejojhbYHpePPTiMDx04kVqYj1EvCQ=="
  }
}
