{
  "cycles": 735,
  "memories": {
    "a": [
      7371,
      14457,
      15467,
      7869,
      11643,
      6666,
      13801,
      5436,
      931,
      10888,
      14426,
      1518,
      10965,
      6436,
      5538,
      8900
    ],
    "phis": [
      1,
      645,
      6889,
      4873,
      83,
      5532,
      4249,
      4434,
      988,
      13221,
      5907,
      14224,
      1999,
      6726,
      5750,
      12519
    ]
  }
}