[
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31056,
      54331
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawShouldAlwaysFail",
        "args": [
          {
            "Uint": [
              "0x4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38073,
      42469
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollect",
        "args": [
          {
            "Uint": [
              "0x1f",
              8
            ]
          },
          {
            "Uint": [
              "0xca",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42070,
      1316
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollect",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x22",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34644,
      37153
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplitShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x95",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13577,
      42504
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantAccountingVsTokenBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15846,
      54965
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreamsAllCycles",
        "args": [
          {
            "Uint": [
              "0xc6",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36834,
      18367
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsViewVsActual",
        "args": [
          {
            "Uint": [
              "0x61",
              8
            ]
          },
          {
            "Uint": [
              "0x45f097b2",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      333836,
      37134
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiver",
        "args": [
          {
            "Uint": [
              "0xee",
              8
            ]
          },
          {
            "Uint": [
              "0x7b",
              8
            ]
          },
          {
            "Uint": [
              "0xf3a33b3e",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1045,
      21152
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplittableAfterSplit",
        "args": [
          {
            "Uint": [
              "0x5c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      519495,
      40300
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalanceWithdrawAll",
        "args": [
          {
            "Uint": [
              "0x54",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1954,
      32756
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeViewVsActual",
        "args": [
          {
            "Uint": [
              "0x29e",
              8
            ]
          },
          {
            "Uint": [
              "0x50",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38855,
      7201
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33818,
      35468
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantSumAmtDeltaIsZero",
        "args": [
          {
            "Uint": [
              "0x3e7",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20375,
      39792
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreamsAllCycles",
        "args": [
          {
            "Uint": [
              "0x29f",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15674,
      27491
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplittableAfterSplit",
        "args": [
          {
            "Uint": [
              "0x70",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9642,
      10828
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawAllTokensShouldNotRevert",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26391,
      49840
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiverWithClamping",
        "args": [
          {
            "Uint": [
              "0x88",
              8
            ]
          },
          {
            "Uint": [
              "0x81",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffa",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38924,
      40282
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableAmountCantBeUndone",
        "args": [
          {
            "Uint": [
              "0xd5",
              8
            ]
          },
          {
            "Uint": [
              "0x1b6",
              8
            ]
          },
          {
            "Uint": [
              "0x4fb53fc47069fd0875d6d1723093cc7d95b594df",
              160
            ]
          },
          {
            "Uint": [
              "0x9879387e",
              32
            ]
          },
          {
            "Uint": [
              "0x974fbf49",
              32
            ]
          },
          {
            "Int": [
              "-440",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      483,
      31659
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollectShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x55",
              8
            ]
          },
          {
            "Uint": [
              "0xc3",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42695,
      2655
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStreamImmediatelySqueezable",
        "args": [
          {
            "Uint": [
              "0xab",
              8
            ]
          },
          {
            "Uint": [
              "0xcb",
              8
            ]
          },
          {
            "Uint": [
              "0x1d9",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      552071,
      21387
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalanceWithdrawAll",
        "args": [
          {
            "Uint": [
              "0xd8",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1162,
      11878
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamsWithClamping",
        "args": [
          {
            "Uint": [
              "0x22",
              8
            ]
          },
          {
            "Uint": [
              "0xdf",
              8
            ]
          },
          {
            "Uint": [
              "0xa2d4cecd9c1842833b5dae3ed879dc41bbcc441c",
              160
            ]
          },
          {
            "Uint": [
              "0xa6429ac7",
              32
            ]
          },
          {
            "Uint": [
              "0xcf3ea16f",
              32
            ]
          },
          {
            "Int": [
              "107626726751961558453868321940000397589",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      266351,
      26223
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeWithDefaultHistory",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x2b",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14848,
      9944
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawAllTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25462,
      34270
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableAmountCantBeWithdrawn",
        "args": [
          {
            "Uint": [
              "0x6e",
              8
            ]
          },
          {
            "Uint": [
              "0x45",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39855,
      13041
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithDefaultHistoryShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xa5",
              8
            ]
          },
          {
            "Uint": [
              "0x60",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      395199,
      2733
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamBalance",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          },
          {
            "Int": [
              "310396160191308812375988834792517424325",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      602812,
      36588
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStream",
        "args": [
          {
            "Uint": [
              "0x32",
              8
            ]
          },
          {
            "Uint": [
              "0x97",
              8
            ]
          },
          {
            "Uint": [
              "0x45054115355411df9528aa28a60ec1699a7cacb4",
              160
            ]
          },
          {
            "Uint": [
              "0xfffffffd",
              32
            ]
          },
          {
            "Uint": [
              "0xaa301604",
              32
            ]
          },
          {
            "Int": [
              "285096732853735721237934127702587004064",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14494,
      4147
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "splitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0xe2",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37842,
      6230
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeWithDefaultHistory",
        "args": [
          {
            "Uint": [
              "0x96",
              8
            ]
          },
          {
            "Uint": [
              "0x41",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17302,
      2947
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamsWithClamping",
        "args": [
          {
            "Uint": [
              "0x89",
              8
            ]
          },
          {
            "Uint": [
              "0xb7",
              8
            ]
          },
          {
            "Uint": [
              "0x3be6f8f60e8213573dbd58694d32d8ffcd94e542",
              160
            ]
          },
          {
            "Uint": [
              "0xfffffffa",
              32
            ]
          },
          {
            "Uint": [
              "0xdca2af74",
              32
            ]
          },
          {
            "Int": [
              "214818939738586717799491910388767777391",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3909,
      7599
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantAmtPerSecVsMinAmtPerSec",
        "args": [
          {
            "Uint": [
              "0x26",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39490,
      38928
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collect",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          },
          {
            "Uint": [
              "0x34",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40911,
      38808
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalance",
        "args": [
          {
            "Uint": [
              "0xfe",
              8
            ]
          },
          {
            "Int": [
              "258272488680299101750146356579518742684",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12651,
      23764
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiver",
        "args": [
          {
            "Uint": [
              "0xbc",
              8
            ]
          },
          {
            "Uint": [
              "0xfb",
              8
            ]
          },
          {
            "Uint": [
              "0xcbe8c6aa",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      157877,
      19073
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setSplitsWithClamping",
        "args": [
          {
            "Uint": [
              "0x14",
              8
            ]
          },
          {
            "Uint": [
              "0x11",
              8
            ]
          },
          {
            "Uint": [
              "0x5f066423",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14844,
      11118
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "removeStream",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      196610,
      37561
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawShouldAlwaysFail",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24173,
      43037
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollectableAfterSplit",
        "args": [
          {
            "Uint": [
              "0xfe",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16089,
      38504
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantSumAmtDeltaIsZero",
        "args": [
          {
            "Uint": [
              "0x21d",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36166,
      26951
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueeze",
        "args": [
          {
            "Uint": [
              "0xfe",
              8
            ]
          },
          {
            "Uint": [
              "0x1b4",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26234,
      20416
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplittableAfterSplit",
        "args": [
          {
            "Uint": [
              "0xb2",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37911,
      21546
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplitViewVsActual",
        "args": [
          {
            "Uint": [
              "0x4f",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      218382,
      35048
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetSplitsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xd3",
              8
            ]
          },
          {
            "Uint": [
              "0xf",
              8
            ]
          },
          {
            "Uint": [
              "0x833d0e2d",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21292,
      24837
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetSplitsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xe1",
              8
            ]
          },
          {
            "Uint": [
              "0xf4",
              8
            ]
          },
          {
            "Uint": [
              "0xde",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      555047,
      5598
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collect",
        "args": [
          {
            "Uint": [
              "0xf9",
              8
            ]
          },
          {
            "Uint": [
              "0xc2",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      492311,
      40926
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setSplitsWithClamping",
        "args": [
          {
            "Uint": [
              "0x6e",
              8
            ]
          },
          {
            "Uint": [
              "0x10",
              8
            ]
          },
          {
            "Uint": [
              "0xd3d020e",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38259,
      28286
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplitViewVsActual",
        "args": [
          {
            "Uint": [
              "0xcd",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41560,
      13037
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiversReceivedSplit",
        "args": [
          {
            "Uint": [
              "0x8",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      156,
      21296
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsViewConsistency",
        "args": [
          {
            "Uint": [
              "0x46",
              8
            ]
          },
          {
            "Uint": [
              "0x74ce8d59",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1819,
      10548
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalance",
        "args": [
          {
            "Uint": [
              "0xcb",
              8
            ]
          },
          {
            "Int": [
              "645",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16701,
      46742
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsViewConsistency",
        "args": [
          {
            "Uint": [
              "0x32",
              8
            ]
          },
          {
            "Uint": [
              "0x53a39214",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10269,
      1617
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRemoveStreamShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xd6",
              8
            ]
          },
          {
            "Uint": [
              "0xa362293e95c21928e0a9594241d4ac5a1778ff152786559e9c384f6bc726ef9f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42362,
      36939
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStreamWithClamping",
        "args": [
          {
            "Uint": [
              "0x77",
              8
            ]
          },
          {
            "Uint": [
              "0x84",
              8
            ]
          },
          {
            "Uint": [
              "0x8343c9cc683195f740a53ad849bcb9b38fbb0f7c",
              160
            ]
          },
          {
            "Uint": [
              "0x3c1",
              32
            ]
          },
          {
            "Uint": [
              "0x33521d3d",
              32
            ]
          },
          {
            "Int": [
              "58145052207116808125534934155631941195",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      201039,
      1228
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collectToSelf",
        "args": [
          {
            "Uint": [
              "0x1df",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42469,
      34798
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueeze",
        "args": [
          {
            "Uint": [
              "0x258",
              8
            ]
          },
          {
            "Uint": [
              "0x8c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22314,
      32003
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiversReceivedSplit",
        "args": [
          {
            "Uint": [
              "0x1b",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42461,
      32091
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x23f",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      476274,
      20441
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawShouldAlwaysFail",
        "args": [
          {
            "Uint": [
              "0x859fcd03f03fd371ef8e29a002a2fd2e89647eaf27680479fd78ee0bff3fc66d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32656,
      25463
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeTwice",
        "args": [
          {
            "Uint": [
              "0x34",
              8
            ]
          },
          {
            "Uint": [
              "0x75",
              8
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          },
          {
            "FixedBytes": [
              "0xde1cc0934a27cc90e345815f2ef6867c6c410f9376b6b0d9d5c425463d8a3a1d",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35058,
      41515
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collect",
        "args": [
          {
            "Uint": [
              "0xfc",
              8
            ]
          },
          {
            "Uint": [
              "0x9f",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      126581,
      7116
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "give",
        "args": [
          {
            "Uint": [
              "0xfd",
              8
            ]
          },
          {
            "Uint": [
              "0xa3",
              8
            ]
          },
          {
            "Uint": [
              "0xb8",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7302,
      40619
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsViewVsActual",
        "args": [
          {
            "Uint": [
              "0xd2",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffa",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2495,
      25665
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsViewVsActual",
        "args": [
          {
            "Uint": [
              "0x7a",
              8
            ]
          },
          {
            "Uint": [
              "0x617b8239",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9106,
      15641
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantSumAmtDeltaIsZero",
        "args": [
          {
            "Uint": [
              "0x5",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14927,
      30789
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeWithFuzzedHistory",
        "args": [
          {
            "Uint": [
              "0xdc",
              8
            ]
          },
          {
            "Uint": [
              "0x1f5",
              8
            ]
          },
          {
            "Uint": [
              "0x2c4",
              256
            ]
          },
          {
            "FixedBytes": [
              "0x0f357816820f344d00c6e4bd9327da59a75f826f54a2149a3750ea08bdeba19b",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      61393,
      30513
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantAccountingVsTokenBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25341,
      10000
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplitShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xe9",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31947,
      885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "giveClampedAmount",
        "args": [
          {
            "Uint": [
              "0x46",
              8
            ]
          },
          {
            "Uint": [
              "0x2f",
              8
            ]
          },
          {
            "Uint": [
              "0x379",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24113,
      6456
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawAllTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29521,
      21535
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreamsAllCycles",
        "args": [
          {
            "Uint": [
              "0xfb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14120,
      36919
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalanceWithClamping",
        "args": [
          {
            "Uint": [
              "0x94",
              8
            ]
          },
          {
            "Int": [
              "138937557066707542742823122057688977360",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22672,
      37418
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStreamWithClamping",
        "args": [
          {
            "Uint": [
              "0x84",
              8
            ]
          },
          {
            "Uint": [
              "0x26",
              8
            ]
          },
          {
            "Uint": [
              "0x472f02f5abf2e0a1f0eda65aa95134737e45d30e",
              160
            ]
          },
          {
            "Uint": [
              "0x397b605f",
              32
            ]
          },
          {
            "Uint": [
              "0x663f6ff8",
              32
            ]
          },
          {
            "Int": [
              "-935",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11146,
      10333
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetSplitsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x5d",
              8
            ]
          },
          {
            "Uint": [
              "0xd7",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffb",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13827,
      4065
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithDefaultHistoryShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xa0",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23522,
      16327
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantSumAmtDeltaIsZero",
        "args": [
          {
            "Uint": [
              "0xcb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24178,
      27541
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setMaxEndHints",
        "args": [
          {
            "Uint": [
              "0x3bfd6a6a",
              32
            ]
          },
          {
            "Uint": [
              "0x858201e2",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      192082,
      29601
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRemoveStreamShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x65",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16135,
      11038
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiver",
        "args": [
          {
            "Uint": [
              "0x52",
              8
            ]
          },
          {
            "Uint": [
              "0xfb",
              8
            ]
          },
          {
            "Uint": [
              "0x89eb7dac",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15780,
      1765
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeWithDefaultHistory",
        "args": [
          {
            "Uint": [
              "0x7b",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37854,
      15651
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamsWithClamping",
        "args": [
          {
            "Uint": [
              "0x62",
              8
            ]
          },
          {
            "Uint": [
              "0x34",
              8
            ]
          },
          {
            "Uint": [
              "0x64",
              160
            ]
          },
          {
            "Uint": [
              "0x83b6d3be",
              32
            ]
          },
          {
            "Uint": [
              "0x61daf94e",
              32
            ]
          },
          {
            "Int": [
              "-722",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37362,
      3529
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "splitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0xb8",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34962,
      25091
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAddSplitsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x9d",
              8
            ]
          },
          {
            "Uint": [
              "0x272",
              8
            ]
          },
          {
            "Uint": [
              "0x9214d455",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      369770,
      5393
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreamsSplitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0xb8",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40582,
      13205
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRemoveStreamShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x8000000000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7984,
      10223
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "removeAllSplits",
        "args": [
          {
            "Uint": [
              "0x67",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30525,
      38895
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamBalanceShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x87",
              8
            ]
          },
          {
            "Int": [
              "17338009378834494064088137665580122087",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      182636,
      19078
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueeze",
        "args": [
          {
            "Uint": [
              "0xb6",
              8
            ]
          },
          {
            "Uint": [
              "0x3c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39935,
      30448
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalanceWithClamping",
        "args": [
          {
            "Uint": [
              "0x1a",
              8
            ]
          },
          {
            "Int": [
              "289862050817995996375985683253783925231",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36203,
      14209
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "removeStream",
        "args": [
          {
            "Uint": [
              "0xb1",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35020,
      37672
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableAmountCantBeWithdrawn",
        "args": [
          {
            "Uint": [
              "0xe5",
              8
            ]
          },
          {
            "Uint": [
              "0x6e",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32530,
      10936
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "give",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x93",
              8
            ]
          },
          {
            "Uint": [
              "0xa1458e4c2b1686522a3f438fb81f399a",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40842,
      10924
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setMaxEndHints",
        "args": [
          {
            "Uint": [
              "0xfffffffc",
              32
            ]
          },
          {
            "Uint": [
              "0x80075994",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15735,
      10940
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeWithFuzzedHistory",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          },
          {
            "Uint": [
              "0x87",
              8
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "FixedBytes": [
              "0x59804435bb348bc0ca77aa332421eaec349695f9c2216b07078d981c2a49e967",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3200,
      14817
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalance",
        "args": [
          {
            "Uint": [
              "0x1c",
              8
            ]
          },
          {
            "Int": [
              "181226613693981229118571602013664645113",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6814,
      16334
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantAmtPerSecVsMinAmtPerSec",
        "args": [
          {
            "Uint": [
              "0x357",
              8
            ]
          },
          {
            "Uint": [
              "0xb76b73f743355dc8a4af3609eb19c619c2fc22dee8c56e3fe84a760c00d95057",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x6bf9cece03c9ae00",
    "delay": [
      39645,
      13796
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collect",
        "args": [
          {
            "Uint": [
              "0x47",
              8
            ]
          },
          {
            "Uint": [
              "0x9c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3373,
      57055
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawAllTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5744,
      12825
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreams",
        "args": [
          {
            "Uint": [
              "0x45",
              8
            ]
          },
          {
            "Uint": [
              "0xc0",
              8
            ]
          },
          {
            "Uint": [
              "0xaae1e616e22cdc39129b0fe3fab808a51fbacc9b",
              160
            ]
          },
          {
            "Uint": [
              "0x32f136e1",
              32
            ]
          },
          {
            "Uint": [
              "0xce6cf973",
              32
            ]
          },
          {
            "Int": [
              "46817623185864898778212077673648278241",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11604,
      40881
    ]
  }
]