[
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiver",
        "args": [
          {
            "Uint": [
              "0x33",
              8
            ]
          },
          {
            "Uint": [
              "0x52",
              8
            ]
          },
          {
            "Uint": [
              "0x3a0",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10941,
      7213
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalanceWithClamping",
        "args": [
          {
            "Uint": [
              "0x54",
              8
            ]
          },
          {
            "Int": [
              "171136772422761797684020163077426379766",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40583,
      43101
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeTwice",
        "args": [
          {
            "Uint": [
              "0xfc",
              8
            ]
          },
          {
            "Uint": [
              "0xca",
              8
            ]
          },
          {
            "Uint": [
              "0x8848b5edb5fca0727d3fc4fe0945a0b4eed19cc303644d23b68702f674fc9a34",
              256
            ]
          },
          {
            "FixedBytes": [
              "0x49e015eb2b1c5f0d4bc53015db7a0889efcddd5b49230c027f3b607f0531a3a3",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37290,
      27330
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeTwice",
        "args": [
          {
            "Uint": [
              "0xd4",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x1d863489f5b05e2f7d6d1b605a1be1b0379cdbb09ed6497d1e2f3730449eb062",
              256
            ]
          },
          {
            "FixedBytes": [
              "0x97d64e26e1c5e772ac7866b2796b4e7dd28eb43770bb04ccc5277d86818219bd",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42844,
      32354
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetSplitsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xd8",
              8
            ]
          },
          {
            "Uint": [
              "0x1f",
              8
            ]
          },
          {
            "Uint": [
              "0x295059dc",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32090,
      58505
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setSplits",
        "args": [
          {
            "Uint": [
              "0x5b",
              8
            ]
          },
          {
            "Uint": [
              "0x9f",
              8
            ]
          },
          {
            "Uint": [
              "0x862fd27a",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37988,
      41870
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreams",
        "args": [
          {
            "Uint": [
              "0xc",
              8
            ]
          },
          {
            "Uint": [
              "0xbf9e38fc",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24279,
      41785
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceAtInFuture",
        "args": [
          {
            "Uint": [
              "0x24",
              8
            ]
          },
          {
            "Uint": [
              "0x56",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffb",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30469,
      5925
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiverWithClamping",
        "args": [
          {
            "Uint": [
              "0x4",
              8
            ]
          },
          {
            "Uint": [
              "0xfb",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffc",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      96,
      3218
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25,
      4140
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "splitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x7",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9246,
      15159
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAddSplitsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x4d",
              8
            ]
          },
          {
            "Uint": [
              "0x52",
              8
            ]
          },
          {
            "Uint": [
              "0x7fffff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43016,
      21426
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiversReceivedSplit",
        "args": [
          {
            "Uint": [
              "0x42",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8490,
      7610
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalance",
        "args": [
          {
            "Uint": [
              "0x26b",
              8
            ]
          },
          {
            "Int": [
              "5378946322534470016737651999492485761",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      408004,
      21887
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "give",
        "args": [
          {
            "Uint": [
              "0xd",
              8
            ]
          },
          {
            "Uint": [
              "0x39",
              8
            ]
          },
          {
            "Uint": [
              "0xfad4d456c6756ecb9b8605bf772c10bd",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2995,
      10334
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreams",
        "args": [
          {
            "Uint": [
              "0x358",
              8
            ]
          },
          {
            "Uint": [
              "0x56ee8ee0",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3787,
      41564
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setSplitsWithClamping",
        "args": [
          {
            "Uint": [
              "0xb5",
              8
            ]
          },
          {
            "Uint": [
              "0x88",
              8
            ]
          },
          {
            "Uint": [
              "0x1f6735e7",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13844,
      38089
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollect",
        "args": [
          {
            "Uint": [
              "0xb1",
              8
            ]
          },
          {
            "Uint": [
              "0x60",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20455,
      38004
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableAmountCantBeUndone",
        "args": [
          {
            "Uint": [
              "0xfa",
              8
            ]
          },
          {
            "Uint": [
              "0x86",
              8
            ]
          },
          {
            "Uint": [
              "0xe954704cff7843722c58e6a681c790eb09ba8928",
              160
            ]
          },
          {
            "Uint": [
              "0xc146b96e",
              32
            ]
          },
          {
            "Uint": [
              "0x1a7cbfe7",
              32
            ]
          },
          {
            "Int": [
              "0",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24868,
      37334
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollect",
        "args": [
          {
            "Uint": [
              "0xdb",
              8
            ]
          },
          {
            "Uint": [
              "0x7a",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37182,
      2870
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceAtInFuture",
        "args": [
          {
            "Uint": [
              "0x64",
              8
            ]
          },
          {
            "Uint": [
              "0xa8",
              8
            ]
          },
          {
            "Uint": [
              "0xbba82b3649c394f8b403385e7e8747b7e363db45",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32379,
      16693
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamsWithClamping",
        "args": [
          {
            "Uint": [
              "0xfd",
              8
            ]
          },
          {
            "Uint": [
              "0x31",
              8
            ]
          },
          {
            "Uint": [
              "0x55b9533a16d5c9f2e14c86c9e8c0060dbb61914c",
              160
            ]
          },
          {
            "Uint": [
              "0xfffffffc",
              32
            ]
          },
          {
            "Uint": [
              "0x8d37f44c",
              32
            ]
          },
          {
            "Int": [
              "11502754889834384508369261675207114905",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19486,
      54911
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "give",
        "args": [
          {
            "Uint": [
              "0x70",
              8
            ]
          },
          {
            "Uint": [
              "0x80",
              8
            ]
          },
          {
            "Uint": [
              "0xdbe4c0e1bbd26bc4ba4e08a679f5c91d",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14370,
      33606
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "removeStream",
        "args": [
          {
            "Uint": [
              "0x22",
              8
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15177,
      10755
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeAllSenders",
        "args": [
          {
            "Uint": [
              "0x65",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38402,
      36768
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeAllAndReceiveAndSplitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x297",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14154,
      11036
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setSplitsWithClamping",
        "args": [
          {
            "Uint": [
              "0x22",
              8
            ]
          },
          {
            "Uint": [
              "0x92",
              8
            ]
          },
          {
            "Uint": [
              "0xd4ed65f",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37325,
      1346
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsViewVsActual",
        "args": [
          {
            "Uint": [
              "0x3",
              8
            ]
          },
          {
            "Uint": [
              "0x81f1fba9",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4933,
      31029
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsViewVsActual",
        "args": [
          {
            "Uint": [
              "0x34f",
              8
            ]
          },
          {
            "Uint": [
              "0xe9f88c0d",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1052,
      21320
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithFuzzedHistoryShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xfe",
              8
            ]
          },
          {
            "Uint": [
              "0xfe",
              8
            ]
          },
          {
            "Uint": [
              "0xd32c71ab1fad8eaaa0a578c6a5ffb7d8648bfd87a9cf4cdadbbc942369c280b6",
              256
            ]
          },
          {
            "FixedBytes": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13127,
      55395
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamsWithClamping",
        "args": [
          {
            "Uint": [
              "0x9f",
              8
            ]
          },
          {
            "Uint": [
              "0x8c",
              8
            ]
          },
          {
            "Uint": [
              "0x447509e30d760bb25ff5aea147f341c4f6eed4d1",
              160
            ]
          },
          {
            "Uint": [
              "0x103",
              32
            ]
          },
          {
            "Uint": [
              "0x34444175",
              32
            ]
          },
          {
            "Int": [
              "131763154788785857515477035101844833165",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35731,
      31055
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collectToSelf",
        "args": [
          {
            "Uint": [
              "0x92",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31146,
      3788
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRemoveStreamShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x18",
              8
            ]
          },
          {
            "Uint": [
              "0x2ef0df1b894ada5ecfe67928ddc4d93289edc24ea3c3a90130bc45895f5a1d89",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36576,
      13791
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAddStreamShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x1e9",
              8
            ]
          },
          {
            "Uint": [
              "0xff",
              8
            ]
          },
          {
            "Uint": [
              "0xffda4647991645a77e53fa1ec456661935dd4019",
              160
            ]
          },
          {
            "Uint": [
              "0x2aa",
              32
            ]
          },
          {
            "Uint": [
              "0xcf9aab0a",
              32
            ]
          },
          {
            "Int": [
              "704",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41819,
      10083
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeWithFuzzedHistory",
        "args": [
          {
            "Uint": [
              "0x1e9",
              8
            ]
          },
          {
            "Uint": [
              "0x8a",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "FixedBytes": [
              "0x76e9c5745c8cd837e94f69f2ee88a6be759b430dc28016137481f51ee28372fc",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28921,
      5970
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testGiveShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xfd",
              8
            ]
          },
          {
            "Uint": [
              "0x3e",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40029,
      7475
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableVsReceived",
        "args": [
          {
            "Uint": [
              "0xb7",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38324,
      26311
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableAmountCantBeWithdrawn",
        "args": [
          {
            "Uint": [
              "0x35",
              8
            ]
          },
          {
            "Uint": [
              "0xc5",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18503,
      5151
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "removeStream",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0xc18683f7d67a476fc654486f2c0b2e12cccdad440efca895ef1992474bef8a17",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21572,
      1722
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplitViewVsActual",
        "args": [
          {
            "Uint": [
              "0x59",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30575,
      24599
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreamsSplitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x99",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39680,
      25759
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collectToSelf",
        "args": [
          {
            "Uint": [
              "0x80",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4675,
      40774
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "removeStream",
        "args": [
          {
            "Uint": [
              "0x1e",
              8
            ]
          },
          {
            "Uint": [
              "0x725be46a1fe821db1972215abbd592daadeaab6765a91329e36a2be1c1f59d68",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34378,
      10103
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceAtInFuture",
        "args": [
          {
            "Uint": [
              "0x81",
              8
            ]
          },
          {
            "Uint": [
              "0x3d0",
              8
            ]
          },
          {
            "Uint": [
              "0xdde0c40ffd1a115dbc4cdbd0405d4549df29b92e",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17759,
      5952
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetSplitsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x6e",
              8
            ]
          },
          {
            "Uint": [
              "0x85",
              8
            ]
          },
          {
            "Uint": [
              "0xd60e5831",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40342,
      40240
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantSumAmtDeltaIsZero",
        "args": [
          {
            "Uint": [
              "0x3e",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4739,
      42513
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreamsAllCycles",
        "args": [
          {
            "Uint": [
              "0x15",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27425,
      11099
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawAllTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19822,
      25994
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreams",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x5e4cfb",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10023,
      15690
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStreamImmediatelySqueezable",
        "args": [
          {
            "Uint": [
              "0xd3",
              8
            ]
          },
          {
            "Uint": [
              "0xf7",
              8
            ]
          },
          {
            "Uint": [
              "0x3bb",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      196628,
      9578
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeAllAndReceiveAndSplitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x68",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30158,
      163
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantSumAmtDeltaIsZero",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10534,
      24629
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithFullyHashedHistory",
        "args": [
          {
            "Uint": [
              "0xa6",
              8
            ]
          },
          {
            "Uint": [
              "0xfc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40725,
      37137
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x845c3232d9d0bb543a6addd2e8a12abd60aa7cda33c98849c24d449994cdaa05",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43669,
      4763
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueeze",
        "args": [
          {
            "Uint": [
              "0x42",
              8
            ]
          },
          {
            "Uint": [
              "0x7e",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27172,
      1364
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeTwice",
        "args": [
          {
            "Uint": [
              "0x2f",
              8
            ]
          },
          {
            "Uint": [
              "0x99",
              8
            ]
          },
          {
            "Uint": [
              "0x51b3c6089d2e11abf7f40cac1a8fb90a1bc316b7331233c90dda13880d291464",
              256
            ]
          },
          {
            "FixedBytes": [
              "0x9eebcbafa6ff428576a8c0dfa75e8e081f3a0fb71ccfe1ab02bc4410c93f76ae",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42079,
      11209
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetSplitsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xe9",
              8
            ]
          },
          {
            "Uint": [
              "0xc6",
              8
            ]
          },
          {
            "Uint": [
              "0x5a11e15",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34076,
      224
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x28e2bbd280bd648f0",
    "delay": [
      31876,
      24526
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawShouldAlwaysFail",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1685,
      30614
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamsWithClamping",
        "args": [
          {
            "Uint": [
              "0xcf",
              8
            ]
          },
          {
            "Uint": [
              "0x5a",
              8
            ]
          },
          {
            "Uint": [
              "0x8690b73425d3731255e78c35946bd43030d4fbaa",
              160
            ]
          },
          {
            "Uint": [
              "0xfffffffb",
              32
            ]
          },
          {
            "Uint": [
              "0xdc2996e6",
              32
            ]
          },
          {
            "Int": [
              "-989",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42491,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "splitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0xce",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      210576,
      25700
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeAllAndReceiveAndSplitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x1",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      518136,
      43104
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collectToSelf",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38795,
      37574
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "splitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x9",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18883,
      4680
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreamsAllCycles",
        "args": [
          {
            "Uint": [
              "0xa6",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40969,
      5263
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamBalance",
        "args": [
          {
            "Uint": [
              "0x4e",
              8
            ]
          },
          {
            "Int": [
              "-170141183460469231731687303715884105728",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12707,
      42303
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x40",
              8
            ]
          },
          {
            "Uint": [
              "0xf3",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffa",
              160
            ]
          },
          {
            "Uint": [
              "0x2710058f",
              32
            ]
          },
          {
            "Uint": [
              "0xb69a96b3",
              32
            ]
          },
          {
            "Int": [
              "288608807985089950534364311059592703426",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9074,
      36477
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableAmountCantBeUndone",
        "args": [
          {
            "Uint": [
              "0xae",
              8
            ]
          },
          {
            "Uint": [
              "0x5c",
              8
            ]
          },
          {
            "Uint": [
              "0xda6a6c464a521ee43c935252d15bddca9a55fabc",
              160
            ]
          },
          {
            "Uint": [
              "0xfc31ac0b",
              32
            ]
          },
          {
            "Uint": [
              "0x1a683750",
              32
            ]
          },
          {
            "Int": [
              "0",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9045,
      1095
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "removeStream",
        "args": [
          {
            "Uint": [
              "0x22",
              8
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39483,
      32012
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollectShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xd6",
              8
            ]
          },
          {
            "Uint": [
              "0x9c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      376374,
      31261
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeAllAndReceiveAndSplitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x16",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35216,
      11872
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsViewVsActual",
        "args": [
          {
            "Uint": [
              "0xe2",
              8
            ]
          },
          {
            "Uint": [
              "0x7fff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24472,
      40681
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStreamWithClamping",
        "args": [
          {
            "Uint": [
              "0x75",
              8
            ]
          },
          {
            "Uint": [
              "0x108",
              8
            ]
          },
          {
            "Uint": [
              "0xedec3a1b6966aa161860dd27c23afe40c4c03487",
              160
            ]
          },
          {
            "Uint": [
              "0xfffffffe",
              32
            ]
          },
          {
            "Uint": [
              "0xc2155c32",
              32
            ]
          },
          {
            "Int": [
              "0",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38870,
      4332
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setMaxEndHints",
        "args": [
          {
            "Uint": [
              "0xfffffffb",
              32
            ]
          },
          {
            "Uint": [
              "0x93d2a083",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32368,
      1772
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawAllTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36291,
      3135
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawAllTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16073,
      2749
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeWithFuzzedHistory",
        "args": [
          {
            "Uint": [
              "0x96",
              8
            ]
          },
          {
            "Uint": [
              "0x8a",
              8
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "FixedBytes": [
              "0xa12e4aa25eb7a5bcdc2f9738865df7fd0f0c48973a5bdd50373732bd0df8b0d4",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4039,
      16111
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiverWithClamping",
        "args": [
          {
            "Uint": [
              "0xfe",
              8
            ]
          },
          {
            "Uint": [
              "0xf1",
              8
            ]
          },
          {
            "Uint": [
              "0x44936d87",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10507,
      1102
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollect",
        "args": [
          {
            "Uint": [
              "0x4e",
              8
            ]
          },
          {
            "Uint": [
              "0x82",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36411,
      41382
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantAmtPerSecVsMinAmtPerSec",
        "args": [
          {
            "Uint": [
              "0xa1",
              8
            ]
          },
          {
            "Uint": [
              "0x6194b4abad706cd9a584117a3bafeb1bd7f8d86abcb117438f71b24358640b2c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40373,
      34831
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setSplitsWithClamping",
        "args": [
          {
            "Uint": [
              "0x9b",
              8
            ]
          },
          {
            "Uint": [
              "0xa0",
              8
            ]
          },
          {
            "Uint": [
              "0xd0fc4fb6",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11711,
      18329
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamsWithClamping",
        "args": [
          {
            "Uint": [
              "0xdd",
              8
            ]
          },
          {
            "Uint": [
              "0xd8",
              8
            ]
          },
          {
            "Uint": [
              "0xb368d09c586d144b2000b76d869f4986774abb67",
              160
            ]
          },
          {
            "Uint": [
              "0x13d2be5e",
              32
            ]
          },
          {
            "Uint": [
              "0x62e9ce3d",
              32
            ]
          },
          {
            "Int": [
              "132145890304082659324553436923428201045",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13616,
      11497
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAddSplitsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          },
          {
            "Uint": [
              "0x2b",
              8
            ]
          },
          {
            "Uint": [
              "0x20",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      192081,
      5595
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeViewVsActual",
        "args": [
          {
            "Uint": [
              "0x1de",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38657,
      23791
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalance",
        "args": [
          {
            "Uint": [
              "0xde",
              8
            ]
          },
          {
            "Int": [
              "0",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26153,
      29757
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "splitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10346,
      10314
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiver",
        "args": [
          {
            "Uint": [
              "0xf4",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x68bd1c60",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38014,
      13641
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawShouldAlwaysFail",
        "args": [
          {
            "Uint": [
              "0x23e7ec02d62f7a524d381c97de6f8bff94a667fa91a96852fc6dc475ac83f571",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40012,
      60409
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiver",
        "args": [
          {
            "Uint": [
              "0x7a",
              8
            ]
          },
          {
            "Uint": [
              "0x96",
              8
            ]
          },
          {
            "Uint": [
              "0x34e",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5945,
      21265
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithDefaultHistoryShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x284",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38118,
      2198
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStreamImmediatelySqueezable",
        "args": [
          {
            "Uint": [
              "0x209",
              8
            ]
          },
          {
            "Uint": [
              "0x78",
              8
            ]
          },
          {
            "Uint": [
              "0x9215288063857270ff4f",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31445,
      16297
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collect",
        "args": [
          {
            "Uint": [
              "0xd9",
              8
            ]
          },
          {
            "Uint": [
              "0x22",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      532786,
      2522
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStream",
        "args": [
          {
            "Uint": [
              "0x7f",
              8
            ]
          },
          {
            "Uint": [
              "0xf7",
              8
            ]
          },
          {
            "Uint": [
              "0x3bd",
              160
            ]
          },
          {
            "Uint": [
              "0x4fdbc601",
              32
            ]
          },
          {
            "Uint": [
              "0x63765a80",
              32
            ]
          },
          {
            "Int": [
              "39981115533578504974182332587194365801",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37324,
      3136
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAddStreamShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x2a",
              8
            ]
          },
          {
            "Uint": [
              "0x7e",
              8
            ]
          },
          {
            "Uint": [
              "0xc5484626cc21ace414a38c0d08d8efbe07e49e8f",
              160
            ]
          },
          {
            "Uint": [
              "0xda5b4041",
              32
            ]
          },
          {
            "Uint": [
              "0x6174d54c",
              32
            ]
          },
          {
            "Int": [
              "0",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1448,
      35060
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawAllTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7273,
      27154
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStreamWithClamping",
        "args": [
          {
            "Uint": [
              "0xbf",
              8
            ]
          },
          {
            "Uint": [
              "0xe1",
              8
            ]
          },
          {
            "Uint": [
              "0x4a73a6838846bb5",
              160
            ]
          },
          {
            "Uint": [
              "0x1d32ce1c",
              32
            ]
          },
          {
            "Uint": [
              "0x299c6b08",
              32
            ]
          },
          {
            "Int": [
              "0",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14223,
      37832
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "give",
        "args": [
          {
            "Uint": [
              "0xdf",
              8
            ]
          },
          {
            "Uint": [
              "0x8b",
              8
            ]
          },
          {
            "Uint": [
              "0x49a6d1b18181b43eaf825ea4984ac39b",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x2d86390960fc0f2f3",
    "delay": [
      38469,
      6244
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRemoveStreamShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0xc60d24e85bcb668d6a63144ddc8c4a94d2a5dc08a03b73381e510f5155e24e63",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      412093,
      40000
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithFullyHashedHistory",
        "args": [
          {
            "Uint": [
              "0xeb",
              8
            ]
          },
          {
            "Uint": [
              "0x26",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25848,
      39265
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawShouldAlwaysFail",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32755,
      25498
    ]
  }
]