[
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithDefaultHistoryShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x369",
              8
            ]
          },
          {
            "Uint": [
              "0x334",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      92,
      36481
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawAllTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7,
      42724
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableAmountCantBeUndone",
        "args": [
          {
            "Uint": [
              "0x71",
              8
            ]
          },
          {
            "Uint": [
              "0xd9",
              8
            ]
          },
          {
            "Uint": [
              "0xb3259375de7ab6d2156a770865eb1b2da23aa835",
              160
            ]
          },
          {
            "Uint": [
              "0x7090b02a",
              32
            ]
          },
          {
            "Uint": [
              "0x2abbd256",
              32
            ]
          },
          {
            "Int": [
              "163454409718500585656881103446311901302",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      100,
      32249
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiver",
        "args": [
          {
            "Uint": [
              "0xab",
              8
            ]
          },
          {
            "Uint": [
              "0x46",
              8
            ]
          },
          {
            "Uint": [
              "0xf36d2bef",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54,
      41172
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreams",
        "args": [
          {
            "Uint": [
              "0xfd",
              8
            ]
          },
          {
            "Uint": [
              "0x42aca990",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      36,
      14355
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalanceWithClamping",
        "args": [
          {
            "Uint": [
              "0x1a6",
              8
            ]
          },
          {
            "Int": [
              "190",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69,
      32410
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testGiveShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x51",
              8
            ]
          },
          {
            "Uint": [
              "0xfa",
              8
            ]
          },
          {
            "Uint": [
              "0xf15ddd414abee75a26c65f1d93d46d6e",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      86,
      4142
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawAllTokensShouldNotRevert",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      47,
      35161
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollectShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x31",
              8
            ]
          },
          {
            "Uint": [
              "0x22",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      37,
      17213
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantSumAmtDeltaIsZero",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      0,
      0
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreams",
        "args": [
          {
            "Uint": [
              "0xf0",
              8
            ]
          },
          {
            "Uint": [
              "0xaa",
              8
            ]
          },
          {
            "Uint": [
              "0xf4",
              160
            ]
          },
          {
            "Uint": [
              "0x2dd70006",
              32
            ]
          },
          {
            "Uint": [
              "0x3d2",
              32
            ]
          },
          {
            "Int": [
              "29943126240998615732812820982477544250",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32,
      42071
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamBalance",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Int": [
              "60873057469054333222687975598512126463",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33,
      51096
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiver",
        "args": [
          {
            "Uint": [
              "0x8d",
              8
            ]
          },
          {
            "Uint": [
              "0x6f",
              8
            ]
          },
          {
            "Uint": [
              "0x3d25cdb4",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10,
      36311
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setSplits",
        "args": [
          {
            "Uint": [
              "0xb1",
              8
            ]
          },
          {
            "Uint": [
              "0x2",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffb",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18,
      26298
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collectToSelf",
        "args": [
          {
            "Uint": [
              "0xa",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      35,
      37360
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setMaxEndHints",
        "args": [
          {
            "Uint": [
              "0x832f9d23",
              32
            ]
          },
          {
            "Uint": [
              "0x7c569520",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14,
      37863
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStream",
        "args": [
          {
            "Uint": [
              "0x67",
              8
            ]
          },
          {
            "Uint": [
              "0xfa",
              8
            ]
          },
          {
            "Uint": [
              "0x5015dfede3f8f6f80ed6fe617435769d149ec5d1",
              160
            ]
          },
          {
            "Uint": [
              "0x9215e9c5",
              32
            ]
          },
          {
            "Uint": [
              "0x2d485240",
              32
            ]
          },
          {
            "Int": [
              "330724164066305535751204290155543602100",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42,
      37426
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawAllTokensShouldNotRevert",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      100,
      27474
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeWithFuzzedHistory",
        "args": [
          {
            "Uint": [
              "0xa3",
              8
            ]
          },
          {
            "Uint": [
              "0xfa",
              8
            ]
          },
          {
            "Uint": [
              "0x61",
              256
            ]
          },
          {
            "FixedBytes": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54,
      40559
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreams",
        "args": [
          {
            "Uint": [
              "0x2b2",
              8
            ]
          },
          {
            "Uint": [
              "0xb",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffc",
              160
            ]
          },
          {
            "Uint": [
              "0xc1f3ed8c",
              32
            ]
          },
          {
            "Uint": [
              "0xe0a6d165",
              32
            ]
          },
          {
            "Int": [
              "289922551289808643145323722780395998593",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44,
      12238
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalanceWithdrawAll",
        "args": [
          {
            "Uint": [
              "0x11",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      31,
      39333
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreams",
        "args": [
          {
            "Uint": [
              "0x3b",
              8
            ]
          },
          {
            "Uint": [
              "0x287",
              8
            ]
          },
          {
            "Uint": [
              "0x6b13d38997cbdfc4a542982fe86ff0598240aac1",
              160
            ]
          },
          {
            "Uint": [
              "0xe924c7b6",
              32
            ]
          },
          {
            "Uint": [
              "0x24ccda5",
              32
            ]
          },
          {
            "Int": [
              "179496646972663016719718518894058970459",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16,
      11198
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantAmtPerSecVsMinAmtPerSec",
        "args": [
          {
            "Uint": [
              "0x29",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48,
      36091
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplittableAfterSplit",
        "args": [
          {
            "Uint": [
              "0x24",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41,
      38614
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeWithFuzzedHistory",
        "args": [
          {
            "Uint": [
              "0x37",
              8
            ]
          },
          {
            "Uint": [
              "0x30",
              8
            ]
          },
          {
            "Uint": [
              "0x357",
              256
            ]
          },
          {
            "FixedBytes": [
              "0x9f370ecd04e98ea9c1492e87f254ac0d0294ef7f6814b1c665d5c1658bc6d30b",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11,
      11497
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantAmtPerSecVsMinAmtPerSec",
        "args": [
          {
            "Uint": [
              "0x52",
              8
            ]
          },
          {
            "Uint": [
              "0x86a121607d8df8c11bdeba1914d372728840c20d1ce8c8910f4238264555551e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81,
      35967
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setMaxEndHints",
        "args": [
          {
            "Uint": [
              "0x923d05cb",
              32
            ]
          },
          {
            "Uint": [
              "0xfffffffd",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      55,
      22667
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithFuzzedHistoryShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x26",
              8
            ]
          },
          {
            "Uint": [
              "0x18",
              8
            ]
          },
          {
            "Uint": [
              "0x8c5c2ee557fbc66d979b90ecaaccce513249fafe53725e94610782e9783de53",
              256
            ]
          },
          {
            "FixedBytes": [
              "0xae80e8ab8fe04f03fa64aab24c84ac2349e7a129e58aed05f0d98f3d5bf8399f",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77,
      38888
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalance",
        "args": [
          {
            "Uint": [
              "0x8c",
              8
            ]
          },
          {
            "Int": [
              "1",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44,
      6391
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreams",
        "args": [
          {
            "Uint": [
              "0x322",
              8
            ]
          },
          {
            "Uint": [
              "0xef4358cc",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      61,
      13969
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalanceWithClamping",
        "args": [
          {
            "Uint": [
              "0xbf",
              8
            ]
          },
          {
            "Int": [
              "267526832732961488385189014987039479190",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74,
      6219
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetSplitsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x8",
              8
            ]
          },
          {
            "Uint": [
              "0xdd",
              8
            ]
          },
          {
            "Uint": [
              "0xca7e152b",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11,
      40320
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalance",
        "args": [
          {
            "Uint": [
              "0x88",
              8
            ]
          },
          {
            "Int": [
              "154126216153319171334375886864179350841",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14,
      3654
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamBalanceWithdrawAllShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x1",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74,
      33467
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableVsReceived",
        "args": [
          {
            "Uint": [
              "0x2ad",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17,
      37569
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStreamImmediatelySqueezable",
        "args": [
          {
            "Uint": [
              "0x7e",
              8
            ]
          },
          {
            "Uint": [
              "0x1",
              8
            ]
          },
          {
            "Uint": [
              "0xfbd78a8a9151d218a3bf17910b413db94e5f221",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5,
      31308
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "removeAllSplits",
        "args": [
          {
            "Uint": [
              "0x1f",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      30,
      5872
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testGiveShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x1fd",
              8
            ]
          },
          {
            "Uint": [
              "0xc7",
              8
            ]
          },
          {
            "Uint": [
              "0x9557f7feef22889b1e350f1ebda1b6a8",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      96,
      31086
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreamsSplitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x77",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      44,
      30649
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addStream",
        "args": [
          {
            "Uint": [
              "0x105",
              8
            ]
          },
          {
            "Uint": [
              "0xa8",
              8
            ]
          },
          {
            "Uint": [
              "0xe63ed8a924322ba4a399a962c4dfc155619bc7b8",
              160
            ]
          },
          {
            "Uint": [
              "0x8fbe7ff9",
              32
            ]
          },
          {
            "Uint": [
              "0x2e1dddfa",
              32
            ]
          },
          {
            "Int": [
              "288102701013590560603472587833949581091",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      89,
      42292
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "give",
        "args": [
          {
            "Uint": [
              "0x8d",
              8
            ]
          },
          {
            "Uint": [
              "0x4",
              8
            ]
          },
          {
            "Uint": [
              "0xd04f4aa6ffb18411a826f667fbb1b85",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42,
      32540
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollect",
        "args": [
          {
            "Uint": [
              "0x23f",
              8
            ]
          },
          {
            "Uint": [
              "0x27c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      84,
      42489
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setMaxEndHints",
        "args": [
          {
            "Uint": [
              "0x60c574f5",
              32
            ]
          },
          {
            "Uint": [
              "0xc713a033",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85,
      2949
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplitViewVsActual",
        "args": [
          {
            "Uint": [
              "0x77",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      41,
      30580
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceAtInFuture",
        "args": [
          {
            "Uint": [
              "0x7c",
              8
            ]
          },
          {
            "Uint": [
              "0xc0",
              8
            ]
          },
          {
            "Uint": [
              "0x68ce2db435d742465de76857742af328e63737ed",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5,
      128
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiver",
        "args": [
          {
            "Uint": [
              "0xd0",
              8
            ]
          },
          {
            "Uint": [
              "0xfa",
              8
            ]
          },
          {
            "Uint": [
              "0x74",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      43,
      20091
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollect",
        "args": [
          {
            "Uint": [
              "0x39",
              8
            ]
          },
          {
            "Uint": [
              "0x177",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      96,
      23666
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantAccountingVsTokenBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18,
      21294
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRemoveStreamShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x80",
              8
            ]
          },
          {
            "Uint": [
              "0x83",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79,
      40618
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeWithFuzzedHistory",
        "args": [
          {
            "Uint": [
              "0x1a",
              8
            ]
          },
          {
            "Uint": [
              "0x7",
              8
            ]
          },
          {
            "Uint": [
              "0xdc38c4d2a7da88a7fb52f378321b9f94f7b01f679aac3ee760149f33783e833f",
              256
            ]
          },
          {
            "FixedBytes": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      96,
      22311
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeToSelf",
        "args": [
          {
            "Uint": [
              "0xd4",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58,
      32604
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithFuzzedHistoryShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x33",
              8
            ]
          },
          {
            "Uint": [
              "0x56",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffb",
              256
            ]
          },
          {
            "FixedBytes": [
              "0x687331123a5411e36c685f75cd1f7b289649fd7fc54267b8e5ee3cd76934c2fc",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      58,
      43117
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreamsSplitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0xc8",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      72,
      39296
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawAllTokens",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13,
      14335
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollect",
        "args": [
          {
            "Uint": [
              "0x80",
              8
            ]
          },
          {
            "Uint": [
              "0x46",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51,
      41715
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeAllAndReceiveAndSplitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x75",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      20,
      2185
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeWithDefaultHistory",
        "args": [
          {
            "Uint": [
              "0x59",
              8
            ]
          },
          {
            "Uint": [
              "0xd",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      53,
      19818
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalance",
        "args": [
          {
            "Uint": [
              "0xf5",
              8
            ]
          },
          {
            "Int": [
              "277142278321511316564819949792014647037",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      51,
      27662
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceAtInFuture",
        "args": [
          {
            "Uint": [
              "0xfe",
              8
            ]
          },
          {
            "Uint": [
              "0x65",
              8
            ]
          },
          {
            "Uint": [
              "0xa0066dab172aa1717e796f0334d59b5d6dc3c88",
              160
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      38,
      15880
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setSplits",
        "args": [
          {
            "Uint": [
              "0xc8",
              8
            ]
          },
          {
            "Uint": [
              "0xd4",
              8
            ]
          },
          {
            "Uint": [
              "0xde516025",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      21,
      42392
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setMaxEndHints",
        "args": [
          {
            "Uint": [
              "0x1830b0a5",
              32
            ]
          },
          {
            "Uint": [
              "0xe96eea39",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      46,
      11605
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSplitShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x16",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      91,
      15734
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x3f",
              8
            ]
          },
          {
            "Uint": [
              "0x832a82e9194290a600de4f412a1477d9747a8b1e",
              160
            ]
          },
          {
            "Uint": [
              "0xe18f00a2",
              32
            ]
          },
          {
            "Uint": [
              "0x88cccb28",
              32
            ]
          },
          {
            "Int": [
              "-60",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      70,
      47143
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "giveClampedAmount",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          },
          {
            "Uint": [
              "0x4",
              8
            ]
          },
          {
            "Uint": [
              "0xcadc1d00204978050bf9488ad1dca6a6",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      60,
      38844
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiversReceivedSplit",
        "args": [
          {
            "Uint": [
              "0x95",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16,
      32544
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithFullyHashedHistory",
        "args": [
          {
            "Uint": [
              "0x87",
              8
            ]
          },
          {
            "Uint": [
              "0x7a",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40,
      19011
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x67",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      23,
      36533
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalance",
        "args": [
          {
            "Uint": [
              "0x2be",
              8
            ]
          },
          {
            "Int": [
              "89263349511163885703271050584822520023",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49,
      39396
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamBalanceWithdrawAllShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x6e",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67,
      41419
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeAllAndReceiveAndSplitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0x31",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      29,
      5452
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamBalanceWithdrawAllShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x9d",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      45,
      22837
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "split",
        "args": [
          {
            "Uint": [
              "0x25",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      32,
      30604
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreamsAllCycles",
        "args": [
          {
            "Uint": [
              "0xfc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      100,
      1953
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRemoveStreamShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x2c",
              8
            ]
          },
          {
            "Uint": [
              "0x8cb22be336ea65fed18cd1df1fa90069c6a89de434aec2468d0fba3d6cade9d7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      61,
      19816
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsViewVsActual",
        "args": [
          {
            "Uint": [
              "0xed",
              8
            ]
          },
          {
            "Uint": [
              "0x29e516bd",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49,
      7456
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xfe",
              8
            ]
          },
          {
            "Uint": [
              "0x38",
              8
            ]
          },
          {
            "Uint": [
              "0x1d1302e982dfbb679e47281c0e",
              160
            ]
          },
          {
            "Uint": [
              "0xfffffffd",
              32
            ]
          },
          {
            "Uint": [
              "0x6e8ae056",
              32
            ]
          },
          {
            "Int": [
              "291937852561282427654708438588051563791",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      19,
      34525
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeWithFuzzedHistoryShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x3",
              8
            ]
          },
          {
            "Uint": [
              "0xdd",
              8
            ]
          },
          {
            "Uint": [
              "0x13",
              256
            ]
          },
          {
            "FixedBytes": [
              "0x0382689cd3b4d9f5c3d39aee14e6184c7bf31d5f573f6108e473e1986a72a74c",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48,
      20273
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamBalanceWithdrawAllShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x9",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      98,
      38118
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollectShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x1f",
              8
            ]
          },
          {
            "Uint": [
              "0xdc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81,
      37671
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeAllSenders",
        "args": [
          {
            "Uint": [
              "0x1a6",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48,
      5389
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantSumAmtDeltaIsZero",
        "args": [
          {
            "Uint": [
              "0xe8",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      66,
      32604
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeWithFuzzedHistory",
        "args": [
          {
            "Uint": [
              "0x344",
              8
            ]
          },
          {
            "Uint": [
              "0x5e",
              8
            ]
          },
          {
            "Uint": [
              "0x6b3646b91dbca5acd8c1d265f33c29510a2502d1240",
              256
            ]
          },
          {
            "FixedBytes": [
              "0xf702ae27deca26697611ce4072f7c056837cd2889718717530e72d57c0640bfc",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      81,
      38225
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "squeezeAllSenders",
        "args": [
          {
            "Uint": [
              "0x231",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27,
      28275
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "receiveStreamsSplitAndCollectToSelf",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      54,
      32199
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableAmountCantBeWithdrawn",
        "args": [
          {
            "Uint": [
              "0x6e",
              8
            ]
          },
          {
            "Uint": [
              "0xa2",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      39,
      12588
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setSplits",
        "args": [
          {
            "Uint": [
              "0x270",
              8
            ]
          },
          {
            "Uint": [
              "0xe8",
              8
            ]
          },
          {
            "Uint": [
              "0x50",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56,
      40671
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSetStreamBalance",
        "args": [
          {
            "Uint": [
              "0x85",
              8
            ]
          },
          {
            "Int": [
              "201606668770901895517297601124602492416",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1,
      2697
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantWithdrawAllTokensShouldNotRevert",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      62,
      40561
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamBalanceWithdrawAll",
        "args": [
          {
            "Uint": [
              "0x8",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17,
      38793
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAddStreamShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xa4",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0xeb8287a91b35a7476350933a0d81e214f29af026",
              160
            ]
          },
          {
            "Uint": [
              "0x7af8cd7b",
              32
            ]
          },
          {
            "Uint": [
              "0x28a",
              32
            ]
          },
          {
            "Int": [
              "334243552262970685722786080996658053785",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      69,
      11025
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collect",
        "args": [
          {
            "Uint": [
              "0x57",
              8
            ]
          },
          {
            "Uint": [
              "0xc7",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      48,
      666
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "collectToSelf",
        "args": [
          {
            "Uint": [
              "0x7c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      67,
      30093
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezeTwice",
        "args": [
          {
            "Uint": [
              "0x62",
              8
            ]
          },
          {
            "Uint": [
              "0x37",
              8
            ]
          },
          {
            "Uint": [
              "0xfb4a1deedbbb8119f15748fa6d2911e64063ae28d67b6f16356cfb1d302623c3",
              256
            ]
          },
          {
            "FixedBytes": [
              "0xce02e02a0c3e9996067309d2f61bf349bbe7e296b4cc7f825b1d16307c6477fb",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      40,
      38559
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "addSplitsReceiverWithClamping",
        "args": [
          {
            "Uint": [
              "0x60",
              8
            ]
          },
          {
            "Uint": [
              "0x8",
              8
            ]
          },
          {
            "Uint": [
              "0xd6262d39",
              32
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      24,
      27995
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantAccountingVsTokenBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7,
      13275
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCollectShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x5a",
              8
            ]
          },
          {
            "Uint": [
              "0xf",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12,
      2149
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testSqueezableAmountCantBeUndone",
        "args": [
          {
            "Uint": [
              "0x38",
              8
            ]
          },
          {
            "Uint": [
              "0xff",
              8
            ]
          },
          {
            "Uint": [
              "0x6ef7296edc6ad2",
              160
            ]
          },
          {
            "Uint": [
              "0x11179080",
              32
            ]
          },
          {
            "Uint": [
              "0x68a462f1",
              32
            ]
          },
          {
            "Int": [
              "-771",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      75,
      1449
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "setStreamsWithClamping",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0xda",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffe",
              160
            ]
          },
          {
            "Uint": [
              "0xd001dce7",
              32
            ]
          },
          {
            "Uint": [
              "0x43b7cbb0",
              32
            ]
          },
          {
            "Int": [
              "679",
              128
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      77,
      24933
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testReceiveStreamsShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      92,
      182
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariantSumAmtDeltaIsZero",
        "args": [
          {
            "Uint": [
              "0x3c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85,
      36465
    ]
  }
]