[
  {
    "call": {
      "SolCall": {
        "name": "mint",
        "args": [
          {
            "Uint": [
              "0x85",
              8
            ]
          },
          {
            "Uint": [
              "0x251eedf8a97412eac4e9a32c4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      9387
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedLessRounding",
        "args": [
          {
            "Uint": [
              "0xfc",
              8
            ]
          },
          {
            "Uint": [
              "0x6b",
              8
            ]
          },
          {
            "Uint": [
              "0xf327a236ea8600807f617def70b93ca0cfd6333a643fb942c4f42ce0472f9d80",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      79995,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "changeSupply",
        "args": [
          {
            "Uint": [
              "0x69e10de76676d0800000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1474,
      18773
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTotalSupplyLessThanTotalBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      1103566
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "getTotalNonRebasingBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      212857,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutBalance",
        "args": [
          {
            "Uint": [
              "0xa3",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      18033
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optIn",
        "args": [
          {
            "Uint": [
              "0x70",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2693,
      15236
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInBalanceRounding",
        "args": [
          {
            "Uint": [
              "0xf1",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optIn",
        "args": [
          {
            "Uint": [
              "0xb8",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldRevert",
        "args": [
          {
            "Uint": [
              "0x4c",
              8
            ]
          },
          {
            "Uint": [
              "0x8c",
              8
            ]
          },
          {
            "Uint": [
              "0x48",
              8
            ]
          },
          {
            "Uint": [
              "0x1f043b1acf058716da9cb5667f02e9bb10bf6fda63500badd5b9fe7d6d54e0ca",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      180,
      355
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLess",
        "args": [
          {
            "Uint": [
              "0xc0",
              8
            ]
          },
          {
            "Uint": [
              "0xe1",
              8
            ]
          },
          {
            "Uint": [
              "0x1f7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      281224
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAutoConvertBalance",
        "args": [
          {
            "Uint": [
              "0xa0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      6633
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTotalNonRebasingSupplyLessThanTotalBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      7823115
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInTotalSupply",
        "args": [
          {
            "Uint": [
              "0xd",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      7596
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalanceRounding",
        "args": [
          {
            "Uint": [
              "0xbb",
              8
            ]
          },
          {
            "Uint": [
              "0x94c4a65005deff4286ed60f8b133d836badf7e14317835f9aad2fd24b2a80069",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      426711,
      11277230
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnZeroBalance",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x329",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18766,
      5404619
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalance",
        "args": [
          {
            "Uint": [
              "0x1d1",
              8
            ]
          },
          {
            "Uint": [
              "0x2b60979a196a60f4b1f0d98f0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transfer",
        "args": [
          {
            "Uint": [
              "0x36c",
              8
            ]
          },
          {
            "Uint": [
              "0xfa",
              8
            ]
          },
          {
            "Uint": [
              "0x647994c4b3676a1316bf14057c71eb10ae599d28b90af4a4bd5c1ce798ba0498",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenNotIncreased",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      6352
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferWithinBalanceDoesNotRevert",
        "args": [
          {
            "Uint": [
              "0xd0",
              8
            ]
          },
          {
            "Uint": [
              "0x226",
              8
            ]
          },
          {
            "Uint": [
              "0x850033124b11b14a3b6d0492bbd12135c0bbb092d8de56dc45151d06c24724ba",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18807,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintZeroBalance",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5380,
      5088761
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLess",
        "args": [
          {
            "Uint": [
              "0x5a",
              8
            ]
          },
          {
            "Uint": [
              "0x57",
              8
            ]
          },
          {
            "Uint": [
              "0x2b60979a196a60f4b1f0d98f0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      496002,
      10579
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x46",
              8
            ]
          },
          {
            "Uint": [
              "0xb6",
              8
            ]
          },
          {
            "Uint": [
              "0x90",
              8
            ]
          },
          {
            "Uint": [
              "0xa12c824ef627fd7f82e057dbcae92befd24d818b039f3ca76b6bad1950933b7a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      12258
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAutoConvertBalance",
        "args": [
          {
            "Uint": [
              "0xc0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5248,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInBalance",
        "args": [
          {
            "Uint": [
              "0x89",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4895,
      978337
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenAboveZero",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13327,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferWithinBalanceDoesNotRevert",
        "args": [
          {
            "Uint": [
              "0xfe",
              8
            ]
          },
          {
            "Uint": [
              "0xf6",
              8
            ]
          },
          {
            "Uint": [
              "0x5235c6ef983a3d2f23d3d30cdaf446c68204db344a7485f66592d27b0227ba3b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      323072,
      1000
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInBalanceRounding",
        "args": [
          {
            "Uint": [
              "0x6c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInTotalSupply",
        "args": [
          {
            "Uint": [
              "0x2f5",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      546,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferWithinBalanceDoesNotRevert",
        "args": [
          {
            "Uint": [
              "0x9a",
              8
            ]
          },
          {
            "Uint": [
              "0xfd",
              8
            ]
          },
          {
            "Uint": [
              "0xd28a71c1302dfe0677fb645091cb22d60e8ae219806a984ae368b6e3ba9a6c8b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLessRounding",
        "args": [
          {
            "Uint": [
              "0xf6",
              8
            ]
          },
          {
            "Uint": [
              "0x141",
              8
            ]
          },
          {
            "Uint": [
              "0xb897e6c0d2677ab33b591ebe4cf10dc2a7fc514a42374ab8966144b74fee0cca",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x39",
              8
            ]
          },
          {
            "Uint": [
              "0x1f5",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      850,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLess",
        "args": [
          {
            "Uint": [
              "0xb1",
              8
            ]
          },
          {
            "Uint": [
              "0x66",
              8
            ]
          },
          {
            "Uint": [
              "0xed9221c79300e3bb5258ef5a84b35b580b8fd13b874cdf3bbfbd501fe2135ac0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optIn",
        "args": [
          {
            "Uint": [
              "0x33",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      926,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transferFrom",
        "args": [
          {
            "Uint": [
              "0xdc",
              8
            ]
          },
          {
            "Uint": [
              "0x8",
              8
            ]
          },
          {
            "Uint": [
              "0xb4",
              8
            ]
          },
          {
            "Uint": [
              "0xf62737fdf84953c98b6de22b4989630ee6702110bae946580ede732b1e4bc5e2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      56545,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldRevert",
        "args": [
          {
            "Uint": [
              "0x7c",
              8
            ]
          },
          {
            "Uint": [
              "0xc7",
              8
            ]
          },
          {
            "Uint": [
              "0xfe",
              8
            ]
          },
          {
            "Uint": [
              "0xaa6ee77a698de53a8847604fe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      11154060
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenNotIncreased",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedMore",
        "args": [
          {
            "Uint": [
              "0x5",
              8
            ]
          },
          {
            "Uint": [
              "0xcf",
              8
            ]
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5021,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldRevert",
        "args": [
          {
            "Uint": [
              "0xde",
              8
            ]
          },
          {
            "Uint": [
              "0xb5",
              8
            ]
          },
          {
            "Uint": [
              "0x94",
              8
            ]
          },
          {
            "Uint": [
              "0x69e10de76676d0800000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testChangeSupply",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      14457
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInBalance",
        "args": [
          {
            "Uint": [
              "0x1cf",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      374793,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAutoConvertBalance",
        "args": [
          {
            "Uint": [
              "0xfb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1003,
      2420
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnBalance",
        "args": [
          {
            "Uint": [
              "0x2f",
              8
            ]
          },
          {
            "Uint": [
              "0xaa6ee77a698de53a8847604fe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      158389,
      5380
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTotalNonRebasingSupplyLessThanTotalBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18048,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldRevert",
        "args": [
          {
            "Uint": [
              "0xaa",
              8
            ]
          },
          {
            "Uint": [
              "0x2a7",
              8
            ]
          },
          {
            "Uint": [
              "0xfa",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optOut",
        "args": [
          {
            "Uint": [
              "0xd8",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270642,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transferFrom",
        "args": [
          {
            "Uint": [
              "0x68",
              8
            ]
          },
          {
            "Uint": [
              "0x86",
              8
            ]
          },
          {
            "Uint": [
              "0x8f",
              8
            ]
          },
          {
            "Uint": [
              "0xe1799040d9c1cd2749125c230b71eb8c40159af8df92482140e081a0af21e8ed",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      579795,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testApprove",
        "args": [
          {
            "Uint": [
              "0x7f",
              8
            ]
          },
          {
            "Uint": [
              "0x3a",
              8
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferToZeroAddress",
        "args": [
          {
            "Uint": [
              "0x8c",
              8
            ]
          },
          {
            "Uint": [
              "0x69e10de76676d0800000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentMore",
        "args": [
          {
            "Uint": [
              "0xc9",
              8
            ]
          },
          {
            "Uint": [
              "0x2e0",
              8
            ]
          },
          {
            "Uint": [
              "0xfc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      12402
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInTotalSupply",
        "args": [
          {
            "Uint": [
              "0x78",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      314425,
      18345
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "approve",
        "args": [
          {
            "Uint": [
              "0xb6",
              8
            ]
          },
          {
            "Uint": [
              "0xa",
              8
            ]
          },
          {
            "Uint": [
              "0x137f7235511de866d72f972aa3dcf8ee670da7a275b3d25dbed45c65510e6aab",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optIn",
        "args": [
          {
            "Uint": [
              "0x76",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTotalSupplyLessThanTotalBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      448
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transferFrom",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x374",
              8
            ]
          },
          {
            "Uint": [
              "0x5a",
              8
            ]
          },
          {
            "Uint": [
              "0x44ae7518fad16bcb0f5ad2c4678a1d4ff073b355be05569ae6749c35ed21fbb4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1211,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnZeroBalance",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3073,
      966
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenAboveZero",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTotalNonRebasingSupplyLessThanTotalBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCreditsPerTokenVsBalance",
        "args": [
          {
            "Uint": [
              "0xa1",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      128,
      742298
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedLess",
        "args": [
          {
            "Uint": [
              "0xb3",
              8
            ]
          },
          {
            "Uint": [
              "0x6f",
              8
            ]
          },
          {
            "Uint": [
              "0x69e10de76676d0800000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      596
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTotalSupplyLessThanTotalBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      8093167
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnAllBalanceShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xb7",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6990,
      7332913
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutBalance",
        "args": [
          {
            "Uint": [
              "0xc9",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "getTotalNonRebasingBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12627,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedLessRounding",
        "args": [
          {
            "Uint": [
              "0x81",
              8
            ]
          },
          {
            "Uint": [
              "0xfb",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      15101
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAutoConvertBalance",
        "args": [
          {
            "Uint": [
              "0xaf",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      42599,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transferFrom",
        "args": [
          {
            "Uint": [
              "0x63",
              8
            ]
          },
          {
            "Uint": [
              "0x62",
              8
            ]
          },
          {
            "Uint": [
              "0xdf",
              8
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3199,
      6405212
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutBalance",
        "args": [
          {
            "Uint": [
              "0x9d",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2946,
      17371
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenAboveZero",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18281,
      12539
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedLess",
        "args": [
          {
            "Uint": [
              "0xe",
              8
            ]
          },
          {
            "Uint": [
              "0xf0",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      584382,
      1584
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testChangeSupply",
        "args": [
          {
            "Uint": [
              "0x69e10de76676d0800000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      177
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedLessRounding",
        "args": [
          {
            "Uint": [
              "0x84",
              8
            ]
          },
          {
            "Uint": [
              "0x5f",
              8
            ]
          },
          {
            "Uint": [
              "0x6",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      739,
      7713
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mint",
        "args": [
          {
            "Uint": [
              "0x5e",
              8
            ]
          },
          {
            "Uint": [
              "0x88dd1f8f92c7734b69edeb83248d2602f2a30cf5353d9209c963047604fe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      538979,
      15358
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintZeroBalance",
        "args": [
          {
            "Uint": [
              "0x50",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6167,
      229
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testApprove",
        "args": [
          {
            "Uint": [
              "0xf3",
              8
            ]
          },
          {
            "Uint": [
              "0xff",
              8
            ]
          },
          {
            "Uint": [
              "0xa8c2c15f4d0a7e3b5d4a2c506f1cadb2581c3a1446a807cf15974742501206bb",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      408772,
      10284
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "getTotalNonRebasingBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18539,
      722423
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceOfShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x149",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnBalance",
        "args": [
          {
            "Uint": [
              "0xbd",
              8
            ]
          },
          {
            "Uint": [
              "0x61821514cfdc337dbd32dc3fa4cc6cb984155c78fcd98f3790502307ec34dc4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7946,
      991
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalanceRounding",
        "args": [
          {
            "Uint": [
              "0xe",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      867,
      16283
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTotalSupplyLessThanTotalBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15840,
      4848
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnBalance",
        "args": [
          {
            "Uint": [
              "0xf2",
              8
            ]
          },
          {
            "Uint": [
              "0x8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18887,
      17296
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transferFrom",
        "args": [
          {
            "Uint": [
              "0x18",
              8
            ]
          },
          {
            "Uint": [
              "0xd6",
              8
            ]
          },
          {
            "Uint": [
              "0x72",
              8
            ]
          },
          {
            "Uint": [
              "0x5f1e9d0b84c6e2f8851ede1194",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17361,
      7737658
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xd3",
              8
            ]
          },
          {
            "Uint": [
              "0x3d",
              8
            ]
          },
          {
            "Uint": [
              "0xed",
              8
            ]
          },
          {
            "Uint": [
              "0x5704da1519b079b29bbd03ab49b53d6ad5e431577541faca3bf35dfc5828d71a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      543335,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transfer",
        "args": [
          {
            "Uint": [
              "0x4b",
              8
            ]
          },
          {
            "Uint": [
              "0xff",
              8
            ]
          },
          {
            "Uint": [
              "0xf1d5832d8e2be339eee1b328e2112f2c2feb76c2a6accc93c2c71a84aaa7fc36",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18423,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferExceedingBalanceReverts",
        "args": [
          {
            "Uint": [
              "0x66",
              8
            ]
          },
          {
            "Uint": [
              "0xdf",
              8
            ]
          },
          {
            "Uint": [
              "0x400000000000000000000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4287,
      10659
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferWithinBalanceDoesNotRevert",
        "args": [
          {
            "Uint": [
              "0x2c4",
              8
            ]
          },
          {
            "Uint": [
              "0x1f",
              8
            ]
          },
          {
            "Uint": [
              "0xf1046a37e8ef3656470be6a7bce8c6e474de37eb7564121ce781304d44ab0bf7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8885,
      1346
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLessRounding",
        "args": [
          {
            "Uint": [
              "0x26",
              8
            ]
          },
          {
            "Uint": [
              "0x6b",
              8
            ]
          },
          {
            "Uint": [
              "0x2f3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14940,
      5084930
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTotalNonRebasingSupplyLessThanTotalBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18500,
      1190
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2688,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testChangeSupply",
        "args": [
          {
            "Uint": [
              "0x69e10de76676d0800003",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      6936169
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testApprove",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x48",
              8
            ]
          },
          {
            "Uint": [
              "0xba034741648e5043b0542c691a059e1071d69843b99165595369dac1536bba54",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2150,
      1865
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenNotIncreased",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      804,
      18294
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAutoConvertBalance",
        "args": [
          {
            "Uint": [
              "0x39",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6732,
      16971
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "burn",
        "args": [
          {
            "Uint": [
              "0xd0",
              8
            ]
          },
          {
            "Uint": [
              "0x78723835ebb6eead0289cb2e3d96beee49d6a273eeab3d87dcbede964e3c858d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7044,
      1041
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xdd",
              8
            ]
          },
          {
            "Uint": [
              "0x31",
              8
            ]
          },
          {
            "Uint": [
              "0x7c",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      1244100
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferWithinBalanceDoesNotRevert",
        "args": [
          {
            "Uint": [
              "0xfe",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      311742,
      261248
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLess",
        "args": [
          {
            "Uint": [
              "0xfd",
              8
            ]
          },
          {
            "Uint": [
              "0x21",
              8
            ]
          },
          {
            "Uint": [
              "0xf347d11c17b89f4d57b2f03d1f4d48ffe1a57fc71568d8732ac78a52d89f99f9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAutoConvertBalance",
        "args": [
          {
            "Uint": [
              "0xc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4528,
      11055
    ]
  }
]