[
  {
    "call": {
      "SolCall": {
        "name": "squeezeAllAndReceiveAndSplitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x11",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14,
      40982
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiverWithClamping",
        "args": [
          {
            "Uint": [
              "0x98",
              8
            ]
          },
          {
            "Uint": [
              "0xf6",
              8
            ]
          },
          {
            "Uint": [
              "0xc1442a2f",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39,
      4441
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawShouldAlwaysFail",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49,
      13968
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeWithFuzzedHistory",
        "args": [
          {
            "Uint": [
              "0x18",
              8
            ]
          },
          {
            "Uint": [
              "0x26",
              8
            ]
          },
          {
            "Uint": [
              "0x21",
              256
            ]
          },
          {
            "FixedBytes": [
              "0xae3c31f69a67f33175af34c86e946a082a51c770207a1d848e9ab7da0e479ca4",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31,
      51617
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiverWithClamping",
        "args": [
          {
            "Uint": [
              "0xc",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x299",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35,
      51519
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAddSplitsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xb1",
              8
            ]
          },
          {
            "Uint": [
              "0x1c",
              8
            ]
          },
          {
            "Uint": [
              "0xf17cbe3a",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76,
      40629
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamsWithClamping",
        "args": [
          {
            "Uint": [
              "0x56",
              8
            ]
          },
          {
            "Uint": [
              "0x93",
              8
            ]
          },
          {
            "Uint": [
              "0x8cf12101b8e774e1cb063b6a04ec342909dbc21e",
              160
            ]
          },
          {
            "Uint": [
              "0x9bb6d170",
              32
            ]
          },
          {
            "Uint": [
              "0xea3e807d",
              32
            ]
          },
          {
            "Int": [
              "307534889694581378791487944194028739450",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      88,
      38268
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "split",
        "args": [
          {
            "Uint": [
              "0x7",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65,
      23038
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithFullyHashedHistory",
        "args": [
          {
            "Uint": [
              "0xb",
              8
            ]
          },
          {
            "Uint": [
              "0x33f",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67,
      40668
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantAmtPerSecVsMinAmtPerSec",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0xc5a9868f8a62061076fb1d0c04f03f2eaa0eb880f8745f37e803537c1ca7fcad",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32,
      39452
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalance",
        "args": [
          {
            "Uint": [
              "0x7b",
              8
            ]
          },
          {
            "Int": [
              "133151191596908608841174894085489343828",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35,
      14369
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamBalanceShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x5e",
              8
            ]
          },
          {
            "Int": [
              "329483804135726737505705272857061501101",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60,
      28471
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "giveClampedAmount",
        "args": [
          {
            "Uint": [
              "0xf9",
              8
            ]
          },
          {
            "Uint": [
              "0xcc",
              8
            ]
          },
          {
            "Uint": [
              "0xf60d10b8e5bb5337f617f8efdc9dd64d",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24,
      30355
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithFuzzedHistoryShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x3b",
              8
            ]
          },
          {
            "Uint": [
              "0x6d",
              8
            ]
          },
          {
            "Uint": [
              "0x11b6517ec953c04406cf58beb19e8afcae458c793ee93b06566311122a482cb6",
              256
            ]
          },
          {
            "FixedBytes": [
              "0xd4c45a9b7bbcab3fd4eaf3f77d221cb7f6fdd5c479aa13c974630848e2cca976",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30,
      2483
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreams",
        "args": [
          {
            "Uint": [
              "0x9f",
              8
            ]
          },
          {
            "Uint": [
              "0xff",
              8
            ]
          },
          {
            "Uint": [
              "0xc89e861611ccc691ab08f933d3dc04e4cdb0ee6d",
              160
            ]
          },
          {
            "Uint": [
              "0x347",
              32
            ]
          },
          {
            "Uint": [
              "0xfc4f9bca",
              32
            ]
          },
          {
            "Int": [
              "381",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85,
      15158
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStreamWithClamping",
        "args": [
          {
            "Uint": [
              "0x81",
              8
            ]
          },
          {
            "Uint": [
              "0xf2",
              8
            ]
          },
          {
            "Uint": [
              "0xa5f17dddcb6b790722c40bb3350c610524b6fa61",
              160
            ]
          },
          {
            "Uint": [
              "0x53",
              32
            ]
          },
          {
            "Uint": [
              "0x78d40063",
              32
            ]
          },
          {
            "Int": [
              "32566330240058357167444765790110838574",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36,
      37053
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testGiveShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x9d",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x209e12a8a5f1b73f8b03379c5c275f40",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53,
      36975
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collectToSelf",
        "args": [
          {
            "Uint": [
              "0x2a",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31,
      31800
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeAllSenders",
        "args": [
          {
            "Uint": [
              "0x3db",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      65,
      9786
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetSplitsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0xd9",
              8
            ]
          },
          {
            "Uint": [
              "0xffffffff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84,
      6812
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplittableAfterSplit",
        "args": [
          {
            "Uint": [
              "0x27",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70,
      41590
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAddSplitsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x71",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0xfc283948",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75,
      3087
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeTwice",
        "args": [
          {
            "Uint": [
              "0xde",
              8
            ]
          },
          {
            "Uint": [
              "0x21",
              8
            ]
          },
          {
            "Uint": [
              "0x88",
              256
            ]
          },
          {
            "FixedBytes": [
              "0x0f5232ec88aa102e65bba1e162badbcc7ac49a59e7255e1b25a7c1654ec481ae",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66,
      2892
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiversReceivedSplit",
        "args": [
          {
            "Uint": [
              "0xaf",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      99,
      17130
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreamsAllCycles",
        "args": [
          {
            "Uint": [
              "0xfe",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72,
      42636
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsViewConsistency",
        "args": [
          {
            "Uint": [
              "0x33b",
              8
            ]
          },
          {
            "Uint": [
              "0xcb1e3353",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70,
      4388
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStreamImmediatelySqueezable",
        "args": [
          {
            "Uint": [
              "0x19",
              8
            ]
          },
          {
            "Uint": [
              "0x4d",
              8
            ]
          },
          {
            "Uint": [
              "0x594c4cff10deca0575553c6230ee50d86f4fedc8",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20,
      37522
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStreamImmediatelySqueezable",
        "args": [
          {
            "Uint": [
              "0x13",
              8
            ]
          },
          {
            "Uint": [
              "0x36",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffe",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4,
      27963
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawShouldAlwaysFail",
        "args": [
          {
            "Uint": [
              "0x3c36f4bad63a5db4f68425dce6ea22feebfc45d16ffe111ea0b6d04d82cc59eb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      99,
      25970
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplitShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xfc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31,
      34577
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreams",
        "args": [
          {
            "Uint": [
              "0x11",
              8
            ]
          },
          {
            "Uint": [
              "0xc9832132",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80,
      3096
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantSumAmtDeltaIsZero",
        "args": [
          {
            "Uint": [
              "0xcc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20,
      49074
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "splitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x80",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      95,
      1470
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRemoveStreamShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xec",
              8
            ]
          },
          {
            "Uint": [
              "0x12e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33,
      18402
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawAllTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44,
      29634
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantAccountingVsTokenBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1,
      30784
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithFuzzedHistoryShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x1d",
              8
            ]
          },
          {
            "Uint": [
              "0x47",
              8
            ]
          },
          {
            "Uint": [
              "0x65",
              256
            ]
          },
          {
            "FixedBytes": [
              "0x86870ad580bf47de657d511c23c43d38c8e1c1d5324e6a05cfe59ba3668b6cde",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76,
      22969
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableVsReceived",
        "args": [
          {
            "Uint": [
              "0xcf",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34,
      7183
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawAllTokensShouldNotRevert",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      96,
      15585
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithFuzzedHistoryShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x83",
              8
            ]
          },
          {
            "Uint": [
              "0x75",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          },
          {
            "FixedBytes": [
              "0xb46e29a72c55b58d4910395d3a181899b4797b1055f0c905f4164a06a5d7511b",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82,
      42451
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeAllAndReceiveAndSplitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x1e",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80,
      42878
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collectToSelf",
        "args": [
          {
            "Uint": [
              "0xe",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      91,
      41800
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "removeAllSplits",
        "args": [
          {
            "Uint": [
              "0x2",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20,
      41017
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStream",
        "args": [
          {
            "Uint": [
              "0x58",
              8
            ]
          },
          {
            "Uint": [
              "0x25",
              8
            ]
          },
          {
            "Uint": [
              "0x313bb6491ca4f28b52c94af74dac33745a3ea755",
              160
            ]
          },
          {
            "Uint": [
              "0x66f792c1",
              32
            ]
          },
          {
            "Uint": [
              "0x2b9",
              32
            ]
          },
          {
            "Int": [
              "239784996586535294173585657795359606956",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12,
      22827
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "give",
        "args": [
          {
            "Uint": [
              "0x6",
              8
            ]
          },
          {
            "Uint": [
              "0xbb",
              8
            ]
          },
          {
            "Uint": [
              "0x9c14d2f66222f58ba8659b0cd1995711",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86,
      57699
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableAmountCantBeWithdrawn",
        "args": [
          {
            "Uint": [
              "0xf9",
              8
            ]
          },
          {
            "Uint": [
              "0xb2",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80,
      22359
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeWithFuzzedHistory",
        "args": [
          {
            "Uint": [
              "0x8f",
              8
            ]
          },
          {
            "Uint": [
              "0x8f",
              8
            ]
          },
          {
            "Uint": [
              "0x21",
              256
            ]
          },
          {
            "FixedBytes": [
              "0xa60833db0676c2edcbc152cbf1e2323dd431f688fa245a488b97c52f2d73ac1f",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81,
      16692
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x8f6bc278dfdd122dab101c7ae0b4dd4e2d9e6f85d2c0991a5447a94e1478771c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56,
      42404
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreamsSplitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x14",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      99,
      31096
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeTwice",
        "args": [
          {
            "Uint": [
              "0xee",
              8
            ]
          },
          {
            "Uint": [
              "0x16",
              8
            ]
          },
          {
            "Uint": [
              "0x6543a404054e333a99f495e17506a85a247a9c7707fd7f90b51909c29c9f019f",
              256
            ]
          },
          {
            "FixedBytes": [
              "0x35a6043eafa5bd1cbab0679e940bb621ea97aeab9d70a01df1b72d576d7c5d9e",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      80,
      39843
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueeze",
        "args": [
          {
            "Uint": [
              "0x310",
              8
            ]
          },
          {
            "Uint": [
              "0xcc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40,
      28915
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xcd",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x39517170541bf3b06cd1aa1f4dd3a207d4578650",
              160
            ]
          },
          {
            "Uint": [
              "0xadf496c",
              32
            ]
          },
          {
            "Uint": [
              "0x50cd756f",
              32
            ]
          },
          {
            "Int": [
              "51278289437518055044974779967856310460",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      76,
      42985
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setSplits",
        "args": [
          {
            "Uint": [
              "0xf3",
              8
            ]
          },
          {
            "Uint": [
              "0xe2",
              8
            ]
          },
          {
            "Uint": [
              "0xfe142069",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8,
      42673
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollectShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xac",
              8
            ]
          },
          {
            "Uint": [
              "0xa",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      98,
      21032
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceAtInFuture",
        "args": [
          {
            "Uint": [
              "0xd2",
              8
            ]
          },
          {
            "Uint": [
              "0xa3",
              8
            ]
          },
          {
            "Uint": [
              "0x725739b3867c4e6ccd5cf6cf292e482a8d710817",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15,
      21280
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplitShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x4",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      61,
      15172
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "split",
        "args": [
          {
            "Uint": [
              "0xea",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32,
      38328
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreams",
        "args": [
          {
            "Uint": [
              "0x91",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffa",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48,
      12237
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "split",
        "args": [
          {
            "Uint": [
              "0x3d",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51,
      40773
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollectShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x96",
              8
            ]
          },
          {
            "Uint": [
              "0x21",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45,
      2758
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableAmountCantBeUndone",
        "args": [
          {
            "Uint": [
              "0x3cb",
              8
            ]
          },
          {
            "Uint": [
              "0xe4",
              8
            ]
          },
          {
            "Uint": [
              "0xacfcd8b364b9751243cb8349f5b75422e18e37c3",
              160
            ]
          },
          {
            "Uint": [
              "0xa28c1068",
              32
            ]
          },
          {
            "Uint": [
              "0xfffffffc",
              32
            ]
          },
          {
            "Int": [
              "867505843273208036140987572",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82,
      41800
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3,
      41298
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testGiveShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xfd",
              8
            ]
          },
          {
            "Uint": [
              "0xfa",
              8
            ]
          },
          {
            "Uint": [
              "0x4941d83388e6285ba5a3daecca86920a",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49,
      25090
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsViewConsistency",
        "args": [
          {
            "Uint": [
              "0x28",
              8
            ]
          },
          {
            "Uint": [
              "0x54a9780c",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58,
      4477
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeWithFuzzedHistory",
        "args": [
          {
            "Uint": [
              "0xfd",
              8
            ]
          },
          {
            "Uint": [
              "0x366",
              8
            ]
          },
          {
            "Uint": [
              "0x92942e82ddb4123acd69c68b847ed75dafdf4e03886859d66b9517236601e439",
              256
            ]
          },
          {
            "FixedBytes": [
              "0x28d8139e32daa05182622042fb38e171357a8e0d198d7ca34a15f89801b4c6b6",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36,
      21346
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantAccountingVsTokenBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58,
      12808
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "removeStream",
        "args": [
          {
            "Uint": [
              "0x59",
              8
            ]
          },
          {
            "Uint": [
              "0x2f4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85,
      1922
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableVsReceived",
        "args": [
          {
            "Uint": [
              "0x36",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10,
      18528
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreamsAllCycles",
        "args": [
          {
            "Uint": [
              "0xfd",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50,
      42248
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xa5",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31,
      30412
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testGiveShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x97",
              8
            ]
          },
          {
            "Uint": [
              "0x12",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      95,
      32685
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplitViewVsActual",
        "args": [
          {
            "Uint": [
              "0xb8",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54,
      10674
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceAtInFuture",
        "args": [
          {
            "Uint": [
              "0x4",
              8
            ]
          },
          {
            "Uint": [
              "0x361",
              8
            ]
          },
          {
            "Uint": [
              "0x8a0d77800d56415c45e67e6fca4d055c4ab2bb52",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20,
      27386
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollectableAfterSplit",
        "args": [
          {
            "Uint": [
              "0x27",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27,
      40694
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiverWithClamping",
        "args": [
          {
            "Uint": [
              "0x2f",
              8
            ]
          },
          {
            "Uint": [
              "0x3",
              8
            ]
          },
          {
            "Uint": [
              "0xd460f636",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44,
      42115
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collect",
        "args": [
          {
            "Uint": [
              "0xac",
              8
            ]
          },
          {
            "Uint": [
              "0x60",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      52,
      36286
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreams",
        "args": [
          {
            "Uint": [
              "0x179",
              8
            ]
          },
          {
            "Uint": [
              "0x138c2276",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50,
      7554
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiverWithClamping",
        "args": [
          {
            "Uint": [
              "0xb6",
              8
            ]
          },
          {
            "Uint": [
              "0x36",
              8
            ]
          },
          {
            "Uint": [
              "0xf66edeab",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39,
      1226
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "splitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0xa6",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59,
      5564
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreams",
        "args": [
          {
            "Uint": [
              "0x3b",
              8
            ]
          },
          {
            "Uint": [
              "0x4e",
              8
            ]
          },
          {
            "Uint": [
              "0x3bacc657d5cb118f6ef0cddf96ab844f91f79e2e",
              160
            ]
          },
          {
            "Uint": [
              "0xc2d2e407",
              32
            ]
          },
          {
            "Uint": [
              "0xfffffffa",
              32
            ]
          },
          {
            "Int": [
              "28424330775628289710087364043369192425",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5,
      37874
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalanceWithdrawAll",
        "args": [
          {
            "Uint": [
              "0x45",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13,
      2920
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "split",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72,
      41038
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStream",
        "args": [
          {
            "Uint": [
              "0x44",
              8
            ]
          },
          {
            "Uint": [
              "0xa5",
              8
            ]
          },
          {
            "Uint": [
              "0xa310ef07490e89edafe1eb60b3efa50c28f947a8",
              160
            ]
          },
          {
            "Uint": [
              "0xb143ba02",
              32
            ]
          },
          {
            "Uint": [
              "0x14e",
              32
            ]
          },
          {
            "Int": [
              "-311",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51,
      2763
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeToSelf",
        "args": [
          {
            "Uint": [
              "0x90",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22,
      29463
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeWithFuzzedHistory",
        "args": [
          {
            "Uint": [
              "0xab",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x3f",
              256
            ]
          },
          {
            "FixedBytes": [
              "0x207bb759307f8d22c25fde0c4465bce87ecc963ad0f9f402ff761ff4717acc34",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36,
      17024
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantAmtPerSecVsMinAmtPerSec",
        "args": [
          {
            "Uint": [
              "0x7a",
              8
            ]
          },
          {
            "Uint": [
              "0x3eb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42,
      26230
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithFuzzedHistoryShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x62",
              8
            ]
          },
          {
            "Uint": [
              "0x21",
              8
            ]
          },
          {
            "Uint": [
              "0x91",
              256
            ]
          },
          {
            "FixedBytes": [
              "0xd1ca427f6accd7856daded90cf38046ebd816afc1e9f1b3937f6a3d9d2d9da0d",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15,
      32074
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollect",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0xbc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43,
      2147
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeToSelf",
        "args": [
          {
            "Uint": [
              "0x41",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10,
      27084
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "giveClampedAmount",
        "args": [
          {
            "Uint": [
              "0xee",
              8
            ]
          },
          {
            "Uint": [
              "0x5e",
              8
            ]
          },
          {
            "Uint": [
              "0xa11421044af9f0c9f989bdc296c84b2e",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53,
      41419
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceAtInFuture",
        "args": [
          {
            "Uint": [
              "0x8",
              8
            ]
          },
          {
            "Uint": [
              "0x85",
              8
            ]
          },
          {
            "Uint": [
              "0xd6b5bdb9c9383a27c2a1531357bed90dcdeff95f",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11,
      37331
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantAmtPerSecVsMinAmtPerSec",
        "args": [
          {
            "Uint": [
              "0x1",
              8
            ]
          },
          {
            "Uint": [
              "0x396ad895fc3d44c7cc92b7ce307617e7ae6a89351",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18,
      3034
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "removeStream",
        "args": [
          {
            "Uint": [
              "0xd9",
              8
            ]
          },
          {
            "Uint": [
              "0x100",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22,
      20423
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplitShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xa0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      82,
      32378
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplitShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x3c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      47,
      13639
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueeze",
        "args": [
          {
            "Uint": [
              "0x5",
              8
            ]
          },
          {
            "Uint": [
              "0xa7",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45,
      8010
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawShouldAlwaysFail",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      50,
      3179
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "split",
        "args": [
          {
            "Uint": [
              "0xb2",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      91,
      28295
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setMaxEndHints",
        "args": [
          {
            "Uint": [
              "0x8e4de862",
              32
            ]
          },
          {
            "Uint": [
              "0xa7340af4",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21,
      37529
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsViewConsistency",
        "args": [
          {
            "Uint": [
              "0xe0",
              8
            ]
          },
          {
            "Uint": [
              "0x4167",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      78,
      12650
    ]
  }
]