e22387acfbafbb1a9e591bd9d636e7895dcfc8de0"]},"u32":{"type":"integer","format":"int32","minimum":0}}}},
        {},
        document.getElementById("redoc-container")
      );
    </script>
  </body>
</html>
