{
  "hash": "b5e61e3bbb48a37870fbaa4f995b31a2f79884401b2346370519c5b9bf61e6d9",
  "invariants": []
}