[
  {
    "call": {
      "SolCall": {
        "name": "invariantAccountingVsTokenBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2063,
      4248
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiver",
        "args": [
          {
            "Uint": [
              "0x28",
              8
            ]
          },
          {
            "Uint": [
              "0xfc",
              8
            ]
          },
          {
            "Uint": [
              "0x2",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16798,
      6332
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableVsReceived",
        "args": [
          {
            "Uint": [
              "0xbd",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18689,
      11361
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeAllAndReceiveAndSplitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x386",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16963,
      38911
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplitShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x22b",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36676,
      18722
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAddStreamShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xb7",
              8
            ]
          },
          {
            "Uint": [
              "0x40",
              8
            ]
          },
          {
            "Uint": [
              "0x398",
              160
            ]
          },
          {
            "Uint": [
              "0x4fd1d4db",
              32
            ]
          },
          {
            "Uint": [
              "0xe4fd1cbd",
              32
            ]
          },
          {
            "Int": [
              "554",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40099,
      30702
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalanceWithClamping",
        "args": [
          {
            "Uint": [
              "0x71",
              8
            ]
          },
          {
            "Int": [
              "67471966592773345830600004819584245875",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26906,
      10544
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreams",
        "args": [
          {
            "Uint": [
              "0xad",
              8
            ]
          },
          {
            "Uint": [
              "0x21aaee",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32600,
      38539
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "splitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x5b",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      93197,
      11117
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantSumAmtDeltaIsZero",
        "args": [
          {
            "Uint": [
              "0x6a",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      432360,
      6565
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantAmtPerSecVsMinAmtPerSec",
        "args": [
          {
            "Uint": [
              "0x7c",
              8
            ]
          },
          {
            "Uint": [
              "0x168966ccfad656799dd217423345b16c3920e687cdfd8af6626de5290abdb8c0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9015,
      3548
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeTwice",
        "args": [
          {
            "Uint": [
              "0xf3",
              8
            ]
          },
          {
            "Uint": [
              "0xdd",
              8
            ]
          },
          {
            "Uint": [
              "0x1247f708f1be2e915c57906d26860ab29a48a516643e55cabab45941873abe15",
              256
            ]
          },
          {
            "FixedBytes": [
              "0xd037f27fe02aef822179cb7064496f9e71ccf4fa05bb52f0537edfb5a66e2673",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16688,
      39637
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamBalanceShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Int": [
              "624",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      555048,
      18061
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreams",
        "args": [
          {
            "Uint": [
              "0x7a",
              8
            ]
          },
          {
            "Uint": [
              "0x2f4",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1345,
      50664
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreams",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x1d",
              8
            ]
          },
          {
            "Uint": [
              "0x82208ee46e749fb49df7766487bcd0d24849dd7a",
              160
            ]
          },
          {
            "Uint": [
              "0xb11af745",
              32
            ]
          },
          {
            "Uint": [
              "0xd91de69b",
              32
            ]
          },
          {
            "Int": [
              "306865308555009216821720871155573198547",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      422685,
      35931
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueeze",
        "args": [
          {
            "Uint": [
              "0xf0",
              8
            ]
          },
          {
            "Uint": [
              "0x21",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6791,
      42516
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollectShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xc",
              8
            ]
          },
          {
            "Uint": [
              "0xf6",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22616,
      27190
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeWithFuzzedHistory",
        "args": [
          {
            "Uint": [
              "0x1",
              8
            ]
          },
          {
            "Uint": [
              "0x4e",
              8
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "FixedBytes": [
              "0x0b6a456b76e6d54262d77ca1e87b79e5ebaf4a360369777ece6e28d3c15d8bcd",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x4a9f21e90559da4a0",
    "delay": [
      578155,
      38889
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "give",
        "args": [
          {
            "Uint": [
              "0xb6",
              8
            ]
          },
          {
            "Uint": [
              "0x9",
              8
            ]
          },
          {
            "Uint": [
              "0x4091f4eea9a25c43e0afa18131507f15",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39457,
      1396
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollect",
        "args": [
          {
            "Uint": [
              "0x4c",
              8
            ]
          },
          {
            "Uint": [
              "0xdb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36306,
      24958
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAddStreamShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xce",
              8
            ]
          },
          {
            "Uint": [
              "0xc0",
              8
            ]
          },
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffff",
              160
            ]
          },
          {
            "Uint": [
              "0xb3985a6d",
              32
            ]
          },
          {
            "Uint": [
              "0x66f144dd",
              32
            ]
          },
          {
            "Int": [
              "-534",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30153,
      24510
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setMaxEndHints",
        "args": [
          {
            "Uint": [
              "0x11891a99",
              32
            ]
          },
          {
            "Uint": [
              "0x44e9825a",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39770,
      4192
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAddSplitsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x89",
              8
            ]
          },
          {
            "Uint": [
              "0x2e",
              8
            ]
          },
          {
            "Uint": [
              "0x235",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42133,
      29596
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantAccountingVsTokenBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      92864,
      55698
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeTwice",
        "args": [
          {
            "Uint": [
              "0xcd",
              8
            ]
          },
          {
            "Uint": [
              "0xad",
              8
            ]
          },
          {
            "Uint": [
              "0xff",
              256
            ]
          },
          {
            "FixedBytes": [
              "0x476a580f4c6775e281371d36c2b8f86220c4a2c66daa0e926558dd3386268248",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9087,
      16464
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableAmountCantBeWithdrawn",
        "args": [
          {
            "Uint": [
              "0x36",
              8
            ]
          },
          {
            "Uint": [
              "0xe2",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15858,
      37908
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x1f",
              8
            ]
          },
          {
            "Uint": [
              "0x160",
              8
            ]
          },
          {
            "Uint": [
              "0x53b898fa614a1c8bb1150da1c0613ba4516b734f",
              160
            ]
          },
          {
            "Uint": [
              "0x3f0",
              32
            ]
          },
          {
            "Uint": [
              "0xfffffffc",
              32
            ]
          },
          {
            "Int": [
              "398",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      288121,
      18979
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiverWithClamping",
        "args": [
          {
            "Uint": [
              "0xde",
              8
            ]
          },
          {
            "Uint": [
              "0x6f",
              8
            ]
          },
          {
            "Uint": [
              "0x9952e6fb",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38547,
      36964
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplittableAfterSplit",
        "args": [
          {
            "Uint": [
              "0x192",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42759,
      38683
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreams",
        "args": [
          {
            "Uint": [
              "0x5e",
              8
            ]
          },
          {
            "Uint": [
              "0xcfd04bb3",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      211437,
      19890
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setMaxEndHints",
        "args": [
          {
            "Uint": [
              "0xee61fc18",
              32
            ]
          },
          {
            "Uint": [
              "0x380fb30",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40779,
      36427
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithFullyHashedHistory",
        "args": [
          {
            "Uint": [
              "0x6f",
              8
            ]
          },
          {
            "Uint": [
              "0x1c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27522,
      34615
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeTwice",
        "args": [
          {
            "Uint": [
              "0xfa",
              8
            ]
          },
          {
            "Uint": [
              "0xff",
              8
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "FixedBytes": [
              "0x14fb23ddf173b000a1fd8d1a83b3bd7271817d644f037ec3dc4d509202af33a8",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26957,
      42802
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collectToSelf",
        "args": [
          {
            "Uint": [
              "0xfc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      391614,
      1338
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawShouldAlwaysFail",
        "args": [
          {
            "Uint": [
              "0xf775e08b0c34de0c9f14865f3e8eb0226560ac681479cee8c4d82767903ce510",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2375,
      39014
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalance",
        "args": [
          {
            "Uint": [
              "0x40",
              8
            ]
          },
          {
            "Int": [
              "872",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22104,
      31892
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreamsAllCycles",
        "args": [
          {
            "Uint": [
              "0x63",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42219,
      28249
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableAmountCantBeUndone",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          },
          {
            "Uint": [
              "0x7d",
              8
            ]
          },
          {
            "Uint": [
              "0xd40d2249bac009f4e2ccd9a7ba8858118370e87",
              160
            ]
          },
          {
            "Uint": [
              "0xfffffffb",
              32
            ]
          },
          {
            "Uint": [
              "0x6d80dc9f",
              32
            ]
          },
          {
            "Int": [
              "-676",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5255,
      1718
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplitShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xc5",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35559,
      32514
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeToSelf",
        "args": [
          {
            "Uint": [
              "0x59",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41016,
      38711
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeViewVsActual",
        "args": [
          {
            "Uint": [
              "0x66",
              8
            ]
          },
          {
            "Uint": [
              "0x44",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22671,
      19924
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsViewConsistency",
        "args": [
          {
            "Uint": [
              "0x100",
              8
            ]
          },
          {
            "Uint": [
              "0x6cce7e34",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21533,
      13275
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetSplitsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xa5",
              8
            ]
          },
          {
            "Uint": [
              "0x1af",
              8
            ]
          },
          {
            "Uint": [
              "0xc8da335",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20792,
      13401
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeViewVsActual",
        "args": [
          {
            "Uint": [
              "0xad",
              8
            ]
          },
          {
            "Uint": [
              "0xdb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32333,
      13029
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplittableAfterSplit",
        "args": [
          {
            "Uint": [
              "0x67",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38258,
      36882
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableAmountCantBeUndone",
        "args": [
          {
            "Uint": [
              "0x8b",
              8
            ]
          },
          {
            "Uint": [
              "0x7c",
              8
            ]
          },
          {
            "Uint": [
              "0x6a9d00c60ebb0294ca244bba4e70e3dee90ef46f",
              160
            ]
          },
          {
            "Uint": [
              "0x2e1cce1e",
              32
            ]
          },
          {
            "Uint": [
              "0xa839c79",
              32
            ]
          },
          {
            "Int": [
              "123712533587061813568153683827026616633",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23367,
      3621
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAddStreamShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x11",
              8
            ]
          },
          {
            "Uint": [
              "0xd6",
              8
            ]
          },
          {
            "Uint": [
              "0x607f0214ee9161eb22111d79413286fc418d79fc",
              160
            ]
          },
          {
            "Uint": [
              "0x5f067863",
              32
            ]
          },
          {
            "Uint": [
              "0x720b9d87",
              32
            ]
          },
          {
            "Int": [
              "3",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26687,
      16878
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "removeAllSplits",
        "args": [
          {
            "Uint": [
              "0x77",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15144,
      27964
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceAtInFuture",
        "args": [
          {
            "Uint": [
              "0x70",
              8
            ]
          },
          {
            "Uint": [
              "0xcd",
              8
            ]
          },
          {
            "Uint": [
              "0xe16081213ce7bbb8e8cbf57aa8f7a436d3b171c0",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1364,
      38401
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setMaxEndHints",
        "args": [
          {
            "Uint": [
              "0xb83947c6",
              32
            ]
          },
          {
            "Uint": [
              "0xd9cc99d4",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41871,
      25663
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsViewConsistency",
        "args": [
          {
            "Uint": [
              "0xce",
              8
            ]
          },
          {
            "Uint": [
              "0x514fc322",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3178,
      43144
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawAllTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      435105,
      32368
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsViewConsistency",
        "args": [
          {
            "Uint": [
              "0x3df",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffe",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      558623,
      40239
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiversReceivedSplit",
        "args": [
          {
            "Uint": [
              "0xd8",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35906,
      4025
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collectToSelf",
        "args": [
          {
            "Uint": [
              "0xb3",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      485,
      23845
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamBalance",
        "args": [
          {
            "Uint": [
              "0x1e",
              8
            ]
          },
          {
            "Int": [
              "-396",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38017,
      49842
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableVsReceived",
        "args": [
          {
            "Uint": [
              "0xfc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      914,
      6537
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeViewVsActual",
        "args": [
          {
            "Uint": [
              "0xdb",
              8
            ]
          },
          {
            "Uint": [
              "0x85",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3959,
      14844
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreams",
        "args": [
          {
            "Uint": [
              "0x22b",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffc",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36377,
      29091
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplitShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x9c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13793,
      36673
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollect",
        "args": [
          {
            "Uint": [
              "0x77",
              8
            ]
          },
          {
            "Uint": [
              "0x10",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37967,
      38172
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "split",
        "args": [
          {
            "Uint": [
              "0x1",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36946,
      21293
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollect",
        "args": [
          {
            "Uint": [
              "0x44",
              8
            ]
          },
          {
            "Uint": [
              "0x97",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40177,
      10494
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiversReceivedSplit",
        "args": [
          {
            "Uint": [
              "0x43",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37227,
      27141
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalanceWithdrawAll",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1647,
      2423
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiver",
        "args": [
          {
            "Uint": [
              "0xe",
              8
            ]
          },
          {
            "Uint": [
              "0xb7",
              8
            ]
          },
          {
            "Uint": [
              "0x379",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40967,
      2119
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeViewVsActual",
        "args": [
          {
            "Uint": [
              "0x73",
              8
            ]
          },
          {
            "Uint": [
              "0x6d",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17887,
      28275
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalance",
        "args": [
          {
            "Uint": [
              "0x2c3",
              8
            ]
          },
          {
            "Int": [
              "176551834194920755203046373211224473058",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      95108,
      28879
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithFullyHashedHistory",
        "args": [
          {
            "Uint": [
              "0x26",
              8
            ]
          },
          {
            "Uint": [
              "0x7d",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8708,
      43074
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithFuzzedHistoryShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x9",
              8
            ]
          },
          {
            "Uint": [
              "0x321",
              8
            ]
          },
          {
            "Uint": [
              "0x3b4",
              256
            ]
          },
          {
            "FixedBytes": [
              "0x000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18245,
      49216
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawShouldAlwaysFail",
        "args": [
          {
            "Uint": [
              "0x3de",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2449,
      1343
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueeze",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          },
          {
            "Uint": [
              "0xad",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12424,
      31943
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableVsReceived",
        "args": [
          {
            "Uint": [
              "0xf2",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15582,
      39069
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamsWithClamping",
        "args": [
          {
            "Uint": [
              "0x2b",
              8
            ]
          },
          {
            "Uint": [
              "0x276",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffb",
              160
            ]
          },
          {
            "Uint": [
              "0x9b9235f0",
              32
            ]
          },
          {
            "Uint": [
              "0xda1f67f7",
              32
            ]
          },
          {
            "Int": [
              "219034415820454465442464935708735578916",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38947,
      22233
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "give",
        "args": [
          {
            "Uint": [
              "0x301",
              8
            ]
          },
          {
            "Uint": [
              "0x7e",
              8
            ]
          },
          {
            "Uint": [
              "0xf77d5a15c2e4614d6cee396eeecd13c9",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37491,
      1321
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollect",
        "args": [
          {
            "Uint": [
              "0xfc",
              8
            ]
          },
          {
            "Uint": [
              "0xf7",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30582,
      9083
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiver",
        "args": [
          {
            "Uint": [
              "0x94",
              8
            ]
          },
          {
            "Uint": [
              "0xdb",
              8
            ]
          },
          {
            "Uint": [
              "0x7ed494ff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16795,
      24945
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawAllTokensShouldNotRevert",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42819,
      4454
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStreamImmediatelySqueezable",
        "args": [
          {
            "Uint": [
              "0x25f",
              8
            ]
          },
          {
            "Uint": [
              "0xe6",
              8
            ]
          },
          {
            "Uint": [
              "0xe767b13683df0448d9389a04ad644f61b21992c9",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29649,
      10639
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeTwice",
        "args": [
          {
            "Uint": [
              "0x174",
              8
            ]
          },
          {
            "Uint": [
              "0x67",
              8
            ]
          },
          {
            "Uint": [
              "0xedee61e36f62bc0919f824f39b78197dc44b38e73f7f778593f596cb06ecd81",
              256
            ]
          },
          {
            "FixedBytes": [
              "0x000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33410,
      1676
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeTwice",
        "args": [
          {
            "Uint": [
              "0x7a",
              8
            ]
          },
          {
            "Uint": [
              "0xfc",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "FixedBytes": [
              "0xf84934f36ed7b857d9ebbf9c209be0fe653823adc7f979e5fa3de36787e0efec",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8789,
      43015
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplittableAfterSplit",
        "args": [
          {
            "Uint": [
              "0xfc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      259612,
      40158
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamBalanceWithdrawAllShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x3b1",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40183,
      29591
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "split",
        "args": [
          {
            "Uint": [
              "0xce",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22258,
      41218
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "giveClampedAmount",
        "args": [
          {
            "Uint": [
              "0x1",
              8
            ]
          },
          {
            "Uint": [
              "0xd3",
              8
            ]
          },
          {
            "Uint": [
              "0x91288e78268fec20e5d984c001642fb5",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21749,
      4676
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "removeAllSplits",
        "args": [
          {
            "Uint": [
              "0xee",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10540,
      14791
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29181,
      27525
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableAmountCantBeUndone",
        "args": [
          {
            "Uint": [
              "0x18",
              8
            ]
          },
          {
            "Uint": [
              "0xce",
              8
            ]
          },
          {
            "Uint": [
              "0x235",
              160
            ]
          },
          {
            "Uint": [
              "0x6d522c51",
              32
            ]
          },
          {
            "Uint": [
              "0x1bb253e3",
              32
            ]
          },
          {
            "Int": [
              "103839999727035202624141361961889680409",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36312,
      30197
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "give",
        "args": [
          {
            "Uint": [
              "0x79",
              8
            ]
          },
          {
            "Uint": [
              "0x9e",
              8
            ]
          },
          {
            "Uint": [
              "0xd442848b126559302f9efe157e93596",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      71776,
      15783
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithFuzzedHistoryShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x34",
              8
            ]
          },
          {
            "Uint": [
              "0x8a",
              8
            ]
          },
          {
            "Uint": [
              "0x6e521ab3e086e2ca7fb7a6f288694b8be376789619937dc22cd0da4bdb6a9198",
              256
            ]
          },
          {
            "FixedBytes": [
              "0x0000000000000000000000000000000000000000000000000000000000000000",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7276,
      42577
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamBalanceWithdrawAllShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x2e1",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      192081,
      53
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawShouldAlwaysFail",
        "args": [
          {
            "Uint": [
              "0x5c2bd1ea265ffcc620f64f7fa015cf8e5119bd4ca3dc01875bf71f0003167501",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30183,
      10840
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "splitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0xd7",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36053,
      2869
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeAllAndReceiveAndSplitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x4",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43204,
      9051
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableAmountCantBeWithdrawn",
        "args": [
          {
            "Uint": [
              "0x145",
              8
            ]
          },
          {
            "Uint": [
              "0x5c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23037,
      18407
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreams",
        "args": [
          {
            "Uint": [
              "0xfb",
              8
            ]
          },
          {
            "Uint": [
              "0xa1470d5c",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12104,
      42398
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeAllSenders",
        "args": [
          {
            "Uint": [
              "0xfa",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40072,
      42002
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollectShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x38",
              8
            ]
          },
          {
            "Uint": [
              "0x3c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31444,
      30644
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "give",
        "args": [
          {
            "Uint": [
              "0x4",
              8
            ]
          },
          {
            "Uint": [
              "0x14",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffb",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35332,
      4681
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeWithDefaultHistory",
        "args": [
          {
            "Uint": [
              "0x167",
              8
            ]
          },
          {
            "Uint": [
              "0x70",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34077,
      35465
    ]
  }
]