[
  {
    "call": {
      "SolCall": {
        "name": "collectToSelf",
        "args": [
          {
            "Uint": [
              "0xf3",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15166,
      41370
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "removeStream",
        "args": [
          {
            "Uint": [
              "0xfd",
              8
            ]
          },
          {
            "Uint": [
              "0x45c5bac286cca3afdaae5fc3bc9d712a9bd1f2c1d5c7d985d27feee83a45c481",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22104,
      42315
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantAmtPerSecVsMinAmtPerSec",
        "args": [
          {
            "Uint": [
              "0x6f",
              8
            ]
          },
          {
            "Uint": [
              "0xcd7490d287749265787bdf6d2854afcd40250913b3c285c93f48d4f0a2dc14b5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25991,
      42287
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceAtInFuture",
        "args": [
          {
            "Uint": [
              "0x10",
              8
            ]
          },
          {
            "Uint": [
              "0x81",
              8
            ]
          },
          {
            "Uint": [
              "0xe4",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29376,
      8626
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeWithDefaultHistory",
        "args": [
          {
            "Uint": [
              "0xc1",
              8
            ]
          },
          {
            "Uint": [
              "0x230",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      526783,
      18902
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableAmountCantBeWithdrawn",
        "args": [
          {
            "Uint": [
              "0xc2",
              8
            ]
          },
          {
            "Uint": [
              "0x1d",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14584,
      41976
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalanceWithdrawAll",
        "args": [
          {
            "Uint": [
              "0xc9",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6284,
      17891
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeToSelf",
        "args": [
          {
            "Uint": [
              "0xbc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40354,
      38423
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "removeAllSplits",
        "args": [
          {
            "Uint": [
              "0x61",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40914,
      24081
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalanceWithClamping",
        "args": [
          {
            "Uint": [
              "0xe1",
              8
            ]
          },
          {
            "Int": [
              "678",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5390
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xdb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14912,
      13643
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeAllAndReceiveAndSplitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x4",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      446728,
      36802
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamBalance",
        "args": [
          {
            "Uint": [
              "0x4c",
              8
            ]
          },
          {
            "Int": [
              "-239",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29794,
      30646
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "giveClampedAmount",
        "args": [
          {
            "Uint": [
              "0x3f6",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x5d8851bba3acdbf46fc109e3a2b80abd",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35552,
      40615
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamsWithClamping",
        "args": [
          {
            "Uint": [
              "0x97",
              8
            ]
          },
          {
            "Uint": [
              "0xfa",
              8
            ]
          },
          {
            "Uint": [
              "0x2dfc5ad8ad5fcb2388eff4945337fd5d1428d385",
              160
            ]
          },
          {
            "Uint": [
              "0x277",
              32
            ]
          },
          {
            "Uint": [
              "0x486254f2",
              32
            ]
          },
          {
            "Int": [
              "825973639636868536771663689",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31530,
      34331
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalance",
        "args": [
          {
            "Uint": [
              "0x342",
              8
            ]
          },
          {
            "Int": [
              "825973639636868536771663689",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21882,
      4755
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4316,
      18244
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreams",
        "args": [
          {
            "Uint": [
              "0x20d",
              8
            ]
          },
          {
            "Uint": [
              "0x16",
              8
            ]
          },
          {
            "Uint": [
              "0x2754b6cdc4854fa75c40aed5a3ab8b74a6346b8e",
              160
            ]
          },
          {
            "Uint": [
              "0x48bda7c",
              32
            ]
          },
          {
            "Uint": [
              "0xfffffffc",
              32
            ]
          },
          {
            "Int": [
              "243385231218105626785396511701306207173",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      28467,
      3807
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawAllTokensShouldNotRevert",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38877,
      4708
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreams",
        "args": [
          {
            "Uint": [
              "0x60",
              8
            ]
          },
          {
            "Uint": [
              "0x9c",
              8
            ]
          },
          {
            "Uint": [
              "0xdbdccf28a5df837f11cba621cee04dd28bc1e6d6",
              160
            ]
          },
          {
            "Uint": [
              "0xbc",
              32
            ]
          },
          {
            "Uint": [
              "0x88",
              32
            ]
          },
          {
            "Int": [
              "825973639636868536771663689",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      476415,
      19742
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreamsAllCycles",
        "args": [
          {
            "Uint": [
              "0xfb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      168442,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreamsAllCycles",
        "args": [
          {
            "Uint": [
              "0xc8",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1694,
      37896
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplittableAfterSplit",
        "args": [
          {
            "Uint": [
              "0xa3",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1898,
      11218
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStream",
        "args": [
          {
            "Uint": [
              "0xfd",
              8
            ]
          },
          {
            "Uint": [
              "0x7b",
              8
            ]
          },
          {
            "Uint": [
              "0xc870fd0ab4f22dde821ab7ffdf48e36723cd0683",
              160
            ]
          },
          {
            "Uint": [
              "0xaae8e8bf",
              32
            ]
          },
          {
            "Uint": [
              "0xe83d60eb",
              32
            ]
          },
          {
            "Int": [
              "300",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42649,
      34282
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithDefaultHistoryShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0xd",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      208382,
      45457
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreamsSplitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0xfa",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      23597
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceAtInFuture",
        "args": [
          {
            "Uint": [
              "0xfa",
              8
            ]
          },
          {
            "Uint": [
              "0x1e",
              8
            ]
          },
          {
            "Uint": [
              "0xa9eb76e23c82b20a08e0031d9515380d6a75610c",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      249444,
      48971
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithFullyHashedHistory",
        "args": [
          {
            "Uint": [
              "0xfc",
              8
            ]
          },
          {
            "Uint": [
              "0x6f",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32781,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreams",
        "args": [
          {
            "Uint": [
              "0xcf",
              8
            ]
          },
          {
            "Uint": [
              "0x7db75576",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20250,
      2374
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeViewVsActual",
        "args": [
          {
            "Uint": [
              "0x9b",
              8
            ]
          },
          {
            "Uint": [
              "0x1ed",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21123,
      37417
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplitShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xf9",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      158555,
      29856
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeToSelf",
        "args": [
          {
            "Uint": [
              "0xdf",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      34192,
      52940
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAddSplitsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x17",
              8
            ]
          },
          {
            "Uint": [
              "0xd0",
              8
            ]
          },
          {
            "Uint": [
              "0x200",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31292,
      20446
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "split",
        "args": [
          {
            "Uint": [
              "0x19",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42880,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamBalanceWithdrawAllShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xc1",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      10107
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplittableAfterSplit",
        "args": [
          {
            "Uint": [
              "0x3a",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38398,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testGiveShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x1d",
              8
            ]
          },
          {
            "Uint": [
              "0x47",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11213,
      23478
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantAmtPerSecVsMinAmtPerSec",
        "args": [
          {
            "Uint": [
              "0xee",
              8
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38850,
      31818
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalanceWithClamping",
        "args": [
          {
            "Uint": [
              "0x99",
              8
            ]
          },
          {
            "Int": [
              "297552707854337884687998078504131155436",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43077,
      2055
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableAmountCantBeUndone",
        "args": [
          {
            "Uint": [
              "0x98",
              8
            ]
          },
          {
            "Uint": [
              "0x1",
              8
            ]
          },
          {
            "Uint": [
              "0x1dd83a28d5010c3cc2b70846e3f290ef497d072f",
              160
            ]
          },
          {
            "Uint": [
              "0x6e39b23f",
              32
            ]
          },
          {
            "Uint": [
              "0x9686d64b",
              32
            ]
          },
          {
            "Int": [
              "660",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3386,
      45265
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      29607
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAddSplitsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x2",
              8
            ]
          },
          {
            "Uint": [
              "0x2c",
              8
            ]
          },
          {
            "Uint": [
              "0xc86007fb",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22588,
      1933
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "giveClampedAmount",
        "args": [
          {
            "Uint": [
              "0x2d",
              8
            ]
          },
          {
            "Uint": [
              "0xaa",
              8
            ]
          },
          {
            "Uint": [
              "0x168",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41357,
      52390
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testGiveShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xac",
              8
            ]
          },
          {
            "Uint": [
              "0x43",
              8
            ]
          },
          {
            "Uint": [
              "0xd60c60590c1a82735517f19a6c52c6cb",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40860,
      9812
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAddStreamShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x2e",
              8
            ]
          },
          {
            "Uint": [
              "0x46",
              8
            ]
          },
          {
            "Uint": [
              "0x31c4cfadca6b3caf22953d764829033aa145e427",
              160
            ]
          },
          {
            "Uint": [
              "0x64c8eb73",
              32
            ]
          },
          {
            "Uint": [
              "0xfffffffe",
              32
            ]
          },
          {
            "Int": [
              "146541270147809858713919786356104103342",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      232636,
      23027
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsViewVsActual",
        "args": [
          {
            "Uint": [
              "0xc1",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffe",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8572,
      27727
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collectToSelf",
        "args": [
          {
            "Uint": [
              "0x72",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39912,
      24448
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x20",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      407392,
      8696
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithFullyHashedHistory",
        "args": [
          {
            "Uint": [
              "0x33",
              8
            ]
          },
          {
            "Uint": [
              "0x8f",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9638,
      42347
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreams",
        "args": [
          {
            "Uint": [
              "0x59",
              8
            ]
          },
          {
            "Uint": [
              "0x6358fbf9",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2654,
      21279
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeTwice",
        "args": [
          {
            "Uint": [
              "0xc0",
              8
            ]
          },
          {
            "Uint": [
              "0xe3",
              8
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          },
          {
            "FixedBytes": [
              "0xb7778492c21a0ee03db95c2fa3b83e7febb9924705144ec0bacc5fd58ddf4176",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36024,
      24970
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeWithFuzzedHistory",
        "args": [
          {
            "Uint": [
              "0x2d",
              8
            ]
          },
          {
            "Uint": [
              "0xa7",
              8
            ]
          },
          {
            "Uint": [
              "0x1f93a8303af65b07d163eb3c004ad719fab5154c36ff1bc66401b6ea3b740dcf",
              256
            ]
          },
          {
            "FixedBytes": [
              "0x04ac7abe4463194edc85eb17fd6799eba47ff09dbe71a0caf890d1b00780dc3e",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3389,
      37320
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableAmountCantBeWithdrawn",
        "args": [
          {
            "Uint": [
              "0x62",
              8
            ]
          },
          {
            "Uint": [
              "0xb1",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      38312
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamBalanceWithdrawAllShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14942,
      50699
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiverWithClamping",
        "args": [
          {
            "Uint": [
              "0x198",
              8
            ]
          },
          {
            "Uint": [
              "0x9b",
              8
            ]
          },
          {
            "Uint": [
              "0x6d56ce59",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      26869,
      35736
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collectToSelf",
        "args": [
          {
            "Uint": [
              "0xd8",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      286373,
      36648
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setMaxEndHints",
        "args": [
          {
            "Uint": [
              "0xb96cb3ac",
              32
            ]
          },
          {
            "Uint": [
              "0x6e63b60",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16144,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x60",
              8
            ]
          },
          {
            "Uint": [
              "0x29",
              8
            ]
          },
          {
            "Uint": [
              "0x45c28cd493d17006ef1cc35a2cd260fb72639cc3",
              160
            ]
          },
          {
            "Uint": [
              "0x2a2",
              32
            ]
          },
          {
            "Uint": [
              "0x5eec3aef",
              32
            ]
          },
          {
            "Int": [
              "0",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      324420,
      38181
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStreamImmediatelySqueezable",
        "args": [
          {
            "Uint": [
              "0x1f9",
              8
            ]
          },
          {
            "Uint": [
              "0x27",
              8
            ]
          },
          {
            "Uint": [
              "0x44d3ef078b5d01d369fd617d95a6911d06a5f54e",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38743,
      14754
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStreamImmediatelySqueezable",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          },
          {
            "Uint": [
              "0x69",
              8
            ]
          },
          {
            "Uint": [
              "0x1d7c96c9c2c4dad8441ae095cea4e84f2e190d08",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18058,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawAllTokensShouldNotRevert",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35899,
      1866
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceAtInFuture",
        "args": [
          {
            "Uint": [
              "0x15",
              8
            ]
          },
          {
            "Uint": [
              "0x2c",
              8
            ]
          },
          {
            "Uint": [
              "0xa31f032ffdf7727c857d1fffa420c67710cf3dd0",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3086,
      27951
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollectableAfterSplit",
        "args": [
          {
            "Uint": [
              "0xfc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13180,
      2307
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawAllTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1071,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiver",
        "args": [
          {
            "Uint": [
              "0x74",
              8
            ]
          },
          {
            "Uint": [
              "0x58",
              8
            ]
          },
          {
            "Uint": [
              "0x68",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42486,
      38813
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreamsAllCycles",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      162,
      4366
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "splitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x3e",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4659,
      38076
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setSplits",
        "args": [
          {
            "Uint": [
              "0xd1",
              8
            ]
          },
          {
            "Uint": [
              "0xe5",
              8
            ]
          },
          {
            "Uint": [
              "0xbcff2bff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16795,
      12394
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceAtInFuture",
        "args": [
          {
            "Uint": [
              "0x6d",
              8
            ]
          },
          {
            "Uint": [
              "0x94",
              8
            ]
          },
          {
            "Uint": [
              "0x55116e569bc30245326d77b43b3eff5a54fe7264",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41073,
      10876
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "removeStream",
        "args": [
          {
            "Uint": [
              "0x4e",
              8
            ]
          },
          {
            "Uint": [
              "0xe22dcf41e82401526bcd85bf0688312d5d5e200b45bf619830dcea71fb7311d8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2453,
      41325
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collectToSelf",
        "args": [
          {
            "Uint": [
              "0xd0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14364,
      39081
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeAllAndReceiveAndSplitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x65",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36125,
      9820
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsViewConsistency",
        "args": [
          {
            "Uint": [
              "0x72",
              8
            ]
          },
          {
            "Uint": [
              "0x9c21108e",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38770,
      19073
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testGiveShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x80",
              8
            ]
          },
          {
            "Uint": [
              "0x87",
              8
            ]
          },
          {
            "Uint": [
              "0xd5153eb9bce16393b042d75049175352",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38102,
      6792
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsViewConsistency",
        "args": [
          {
            "Uint": [
              "0x6b",
              8
            ]
          },
          {
            "Uint": [
              "0xb8da0e45",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      393210,
      5251
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawAllTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      308799,
      40548
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStreamWithClamping",
        "args": [
          {
            "Uint": [
              "0x59",
              8
            ]
          },
          {
            "Uint": [
              "0xfc",
              8
            ]
          },
          {
            "Uint": [
              "0x371",
              160
            ]
          },
          {
            "Uint": [
              "0x3f0ac258",
              32
            ]
          },
          {
            "Uint": [
              "0x33a",
              32
            ]
          },
          {
            "Int": [
              "309361297235735633513328473399612560435",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      31526
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x34",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20251,
      9069
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStreamWithClamping",
        "args": [
          {
            "Uint": [
              "0xfb",
              8
            ]
          },
          {
            "Uint": [
              "0x76",
              8
            ]
          },
          {
            "Uint": [
              "0x42ef8181d13c04d8a0768562dc773f962c74e7a3",
              160
            ]
          },
          {
            "Uint": [
              "0x998077b8",
              32
            ]
          },
          {
            "Uint": [
              "0x0",
              32
            ]
          },
          {
            "Int": [
              "121579469869041675655142766163907855956",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      972,
      1686
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantSumAmtDeltaIsZero",
        "args": [
          {
            "Uint": [
              "0x4e",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31876,
      6201
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "splitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0xad",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42675,
      36361
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStreamImmediatelySqueezable",
        "args": [
          {
            "Uint": [
              "0xd",
              8
            ]
          },
          {
            "Uint": [
              "0xb2",
              8
            ]
          },
          {
            "Uint": [
              "0x30b",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4169,
      47101
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceAtInFuture",
        "args": [
          {
            "Uint": [
              "0x6",
              8
            ]
          },
          {
            "Uint": [
              "0x83",
              8
            ]
          },
          {
            "Uint": [
              "0x1aa",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10119,
      39743
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceAtInFuture",
        "args": [
          {
            "Uint": [
              "0xc1",
              8
            ]
          },
          {
            "Uint": [
              "0x43",
              8
            ]
          },
          {
            "Uint": [
              "0x1f81923c7c673a9c97e0791255d5217730ccfae4",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      468222,
      15866
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamsWithClamping",
        "args": [
          {
            "Uint": [
              "0x64",
              8
            ]
          },
          {
            "Uint": [
              "0xd0",
              8
            ]
          },
          {
            "Uint": [
              "0x3c8",
              160
            ]
          },
          {
            "Uint": [
              "0x41fe8d75",
              32
            ]
          },
          {
            "Uint": [
              "0x7a62abb9",
              32
            ]
          },
          {
            "Int": [
              "23305072192893222337730303047289375418",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22634,
      40472
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setSplits",
        "args": [
          {
            "Uint": [
              "0xa8",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x7caa4ae7",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39933,
      42305
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiver",
        "args": [
          {
            "Uint": [
              "0x7f",
              8
            ]
          },
          {
            "Uint": [
              "0xf4",
              8
            ]
          },
          {
            "Uint": [
              "0x7197bf78",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24956,
      37224
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "splitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x7c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      489264,
      4306
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplitViewVsActual",
        "args": [
          {
            "Uint": [
              "0xd3",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1156,
      4366
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collectToSelf",
        "args": [
          {
            "Uint": [
              "0xd1",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32647,
      31180
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      995,
      5953
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collect",
        "args": [
          {
            "Uint": [
              "0x75",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17635,
      32611
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collect",
        "args": [
          {
            "Uint": [
              "0xa8",
              8
            ]
          },
          {
            "Uint": [
              "0xa3",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12242,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithFuzzedHistoryShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x1e",
              8
            ]
          },
          {
            "Uint": [
              "0xfb",
              8
            ]
          },
          {
            "Uint": [
              "0x61f677fd67400b88c84ad7bb67f4bf9f92a7e165cec39913607b32e5f1f0a382",
              256
            ]
          },
          {
            "FixedBytes": [
              "0xe12fc5178de92467f69b47b2840f32e15e83e78e213ffbf283fff33cda407794",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11874,
      39184
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantAmtPerSecVsMinAmtPerSec",
        "args": [
          {
            "Uint": [
              "0xb0",
              8
            ]
          },
          {
            "Uint": [
              "0x286",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      22836,
      43088
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRemoveStreamShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x2e5",
              8
            ]
          },
          {
            "Uint": [
              "0x472a8a32c95291cffd8da6bd2efcc7f106a59b326f713f65865e6da3a17b4503",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21892,
      23885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreams",
        "args": [
          {
            "Uint": [
              "0x7",
              8
            ]
          },
          {
            "Uint": [
              "0x9a",
              8
            ]
          },
          {
            "Uint": [
              "0x518e17eb8eb177fd7aec1e8e029bce637003516c",
              160
            ]
          },
          {
            "Uint": [
              "0x97012133",
              32
            ]
          },
          {
            "Uint": [
              "0x39c4e1d6",
              32
            ]
          },
          {
            "Int": [
              "874",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32153,
      27726
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testGiveShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x52",
              8
            ]
          },
          {
            "Uint": [
              "0x10",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      40819
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setMaxEndHints",
        "args": [
          {
            "Uint": [
              "0x460e9426",
              32
            ]
          },
          {
            "Uint": [
              "0x3a1b1be2",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27986,
      8321
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreams",
        "args": [
          {
            "Uint": [
              "0x7b",
              8
            ]
          },
          {
            "Uint": [
              "0xd1",
              8
            ]
          },
          {
            "Uint": [
              "0xf6b2a9557bcaa74fca743b4667d4da1d7c0818f1",
              160
            ]
          },
          {
            "Uint": [
              "0xea1f346",
              32
            ]
          },
          {
            "Uint": [
              "0x55315607",
              32
            ]
          },
          {
            "Int": [
              "726",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2391,
      21770
    ]
  }
]