[
  {
    "call": {
      "SolCall": {
        "name": "testOptOutBalance",
        "args": [
          {
            "Uint": [
              "0x96",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1041,
      3342816
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transferFrom",
        "args": [
          {
            "Uint": [
              "0x87",
              8
            ]
          },
          {
            "Uint": [
              "0x79",
              8
            ]
          },
          {
            "Uint": [
              "0xb7",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      463575,
      4199
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnZeroBalance",
        "args": [
          {
            "Uint": [
              "0x43",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1356,
      4130598
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0xfb",
              8
            ]
          },
          {
            "Uint": [
              "0x306",
              8
            ]
          },
          {
            "Uint": [
              "0x839e868895f9dd16920f37531c69fb3b1e3a9cf4a184234a0e08b5b27e63b10e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14859,
      15554
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInTotalSupply",
        "args": [
          {
            "Uint": [
              "0xd0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3634,
      5726
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTotalNonRebasingSupplyLessThanTotalBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12359,
      10004
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testNonRebasingSupplyVsTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18775,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnZeroBalance",
        "args": [
          {
            "Uint": [
              "0x244",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17727,
      12631
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedMore",
        "args": [
          {
            "Uint": [
              "0x3b",
              8
            ]
          },
          {
            "Uint": [
              "0xf3",
              8
            ]
          },
          {
            "Uint": [
              "0x5670c22dd9028d446d56a36100d9af07dc2dd6602e90eeadec7efefc31b990f3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1400,
      16851
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferToZeroAddress",
        "args": [
          {
            "Uint": [
              "0xca",
              8
            ]
          },
          {
            "Uint": [
              "0x4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      473151,
      7170
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mint",
        "args": [
          {
            "Uint": [
              "0x65",
              8
            ]
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3330,
      16925
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optIn",
        "args": [
          {
            "Uint": [
              "0x74",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2149,
      10326277
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mint",
        "args": [
          {
            "Uint": [
              "0xdd",
              8
            ]
          },
          {
            "Uint": [
              "0x944fa3faf1fcbde54a02a710fc24a56e153766c5160a45fc0c642bec53434f0a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      131072,
      7571
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnBalance",
        "args": [
          {
            "Uint": [
              "0xbb",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16577,
      6119693
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "approve",
        "args": [
          {
            "Uint": [
              "0x2c",
              8
            ]
          },
          {
            "Uint": [
              "0xa",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      288504,
      7331
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenAboveZero",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      902,
      9534
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalanceRounding",
        "args": [
          {
            "Uint": [
              "0x7b",
              8
            ]
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15226,
      7061
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnAllBalanceToZero",
        "args": [
          {
            "Uint": [
              "0xa4",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1348,
      1368
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "getTotalNonRebasingBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13832,
      7331
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenNotIncreased",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12151,
      752
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optOut",
        "args": [
          {
            "Uint": [
              "0x4b",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15804,
      7574650
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInTotalSupply",
        "args": [
          {
            "Uint": [
              "0xa6",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3061,
      13835
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "burn",
        "args": [
          {
            "Uint": [
              "0x6f",
              8
            ]
          },
          {
            "Uint": [
              "0x1bc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      229671,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCreditsPerTokenVsBalance",
        "args": [
          {
            "Uint": [
              "0xc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7166,
      12840
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenAboveZero",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      1251
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLess",
        "args": [
          {
            "Uint": [
              "0x71",
              8
            ]
          },
          {
            "Uint": [
              "0xc6",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11994,
      691
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTotalSupplyLessThanTotalBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      507241,
      9349767
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceOfShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x5c",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testChangeSupply",
        "args": [
          {
            "Uint": [
              "0x69e10de76676d0800006",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "approve",
        "args": [
          {
            "Uint": [
              "0xf2",
              8
            ]
          },
          {
            "Uint": [
              "0x1",
              8
            ]
          },
          {
            "Uint": [
              "0xc957a9d81d1348c8222515a659f5397a59303b4b8b664f26e6faeb8025949695",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optIn",
        "args": [
          {
            "Uint": [
              "0xb0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      6082001
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenAboveZero",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13328,
      15977
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xb1",
              8
            ]
          },
          {
            "Uint": [
              "0x54",
              8
            ]
          },
          {
            "Uint": [
              "0x2f",
              8
            ]
          },
          {
            "Uint": [
              "0x223",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      9013
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferToZeroAddress",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          },
          {
            "Uint": [
              "0x264",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      309702,
      2278
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testChangeSupply",
        "args": [
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalanceRounding",
        "args": [
          {
            "Uint": [
              "0x37",
              8
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalance",
        "args": [
          {
            "Uint": [
              "0x2e",
              8
            ]
          },
          {
            "Uint": [
              "0x6d454c354f8288b3f1e2d35c1132d6db750a5075871262a85c1341120798c42f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4847,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceOfShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnBalance",
        "args": [
          {
            "Uint": [
              "0x1c",
              8
            ]
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      12016
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInBalance",
        "args": [
          {
            "Uint": [
              "0x4",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3070,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutBalance",
        "args": [
          {
            "Uint": [
              "0x60",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      16961
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testApprove",
        "args": [
          {
            "Uint": [
              "0xe2",
              8
            ]
          },
          {
            "Uint": [
              "0x271",
              8
            ]
          },
          {
            "Uint": [
              "0x4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16463,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferWithinBalanceDoesNotRevert",
        "args": [
          {
            "Uint": [
              "0x3f",
              8
            ]
          },
          {
            "Uint": [
              "0x6e",
              8
            ]
          },
          {
            "Uint": [
              "0xa78fc867af1e9e546420dbc7173d0f5b974cc175647bc54db422f2631af61224",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      49450,
      18885
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintZeroBalance",
        "args": [
          {
            "Uint": [
              "0x55",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4814,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLess",
        "args": [
          {
            "Uint": [
              "0xea",
              8
            ]
          },
          {
            "Uint": [
              "0xab",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintZeroBalance",
        "args": [
          {
            "Uint": [
              "0x1f",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      1050014
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalanceRounding",
        "args": [
          {
            "Uint": [
              "0xfb",
              8
            ]
          },
          {
            "Uint": [
              "0xa4232ac172f42370375b77ac6b354be1ad33442a417e9fd646da57089b3fbd7f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutTotalSupply",
        "args": [
          {
            "Uint": [
              "0x11",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      555606,
      9167365
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedLess",
        "args": [
          {
            "Uint": [
              "0x1c",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0xce9a63e5972dbd43f979453e7b5d992e2bae626732a8a105dda76ce81f8d611e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldRevert",
        "args": [
          {
            "Uint": [
              "0xa",
              8
            ]
          },
          {
            "Uint": [
              "0xfd",
              8
            ]
          },
          {
            "Uint": [
              "0x89",
              8
            ]
          },
          {
            "Uint": [
              "0x22b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      9091796
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferExceedingBalanceReverts",
        "args": [
          {
            "Uint": [
              "0x54",
              8
            ]
          },
          {
            "Uint": [
              "0x2a",
              8
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      9400262
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      53
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAutoConvertBalance",
        "args": [
          {
            "Uint": [
              "0xcf",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      832,
      919
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldRevert",
        "args": [
          {
            "Uint": [
              "0x2e",
              8
            ]
          },
          {
            "Uint": [
              "0x77",
              8
            ]
          },
          {
            "Uint": [
              "0x5b",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      14193
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x37",
              8
            ]
          },
          {
            "Uint": [
              "0xa7",
              8
            ]
          },
          {
            "Uint": [
              "0x90",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74194,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInBalance",
        "args": [
          {
            "Uint": [
              "0x171",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutBalance",
        "args": [
          {
            "Uint": [
              "0x69",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      452705,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "approve",
        "args": [
          {
            "Uint": [
              "0x4c",
              8
            ]
          },
          {
            "Uint": [
              "0xed",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      2242
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLessRounding",
        "args": [
          {
            "Uint": [
              "0x64",
              8
            ]
          },
          {
            "Uint": [
              "0xbd",
              8
            ]
          },
          {
            "Uint": [
              "0x69e10de76676d0800000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      18669
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optIn",
        "args": [
          {
            "Uint": [
              "0x2b",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintZeroBalance",
        "args": [
          {
            "Uint": [
              "0xec",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      18665
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutTotalSupply",
        "args": [
          {
            "Uint": [
              "0x4a",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optIn",
        "args": [
          {
            "Uint": [
              "0xf9",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      11058200
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testChangeSupply",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testChangeSupply",
        "args": [
          {
            "Uint": [
              "0xaec24648b7917964d2175646c1c09e8b726911c1dfaa7e5d36ff158c5c64a0aa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnZeroBalance",
        "args": [
          {
            "Uint": [
              "0xcb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      148589,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceOfShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x62",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      237905,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optIn",
        "args": [
          {
            "Uint": [
              "0xaf",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18705,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x8420b5c92bdc2efd880e776a13495ba2a1247899547fbaf18462beff3e3f2e4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferSelf",
        "args": [
          {
            "Uint": [
              "0x77",
              8
            ]
          },
          {
            "Uint": [
              "0x5c9ed1bbc1b402397d3793a48",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferToZeroAddress",
        "args": [
          {
            "Uint": [
              "0x18",
              8
            ]
          },
          {
            "Uint": [
              "0x43cf798fc35e4275f4c87a45218c66709a4756a9c8af237a578f53268bf8664d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      3864
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldRevert",
        "args": [
          {
            "Uint": [
              "0x23f",
              8
            ]
          },
          {
            "Uint": [
              "0xc",
              8
            ]
          },
          {
            "Uint": [
              "0xfc",
              8
            ]
          },
          {
            "Uint": [
              "0x1f2052278aa3abc99b2bc580c59b8006d2ec2a98cd1fec88272d442f64ea0c0b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      753
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLess",
        "args": [
          {
            "Uint": [
              "0xa8",
              8
            ]
          },
          {
            "Uint": [
              "0xfa",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      4726495
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutTotalSupply",
        "args": [
          {
            "Uint": [
              "0xbb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      577
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transfer",
        "args": [
          {
            "Uint": [
              "0xf9",
              8
            ]
          },
          {
            "Uint": [
              "0x2e",
              8
            ]
          },
          {
            "Uint": [
              "0x1760bc5d84f65f39fa3d25cecb97a3fcd9713d3994e8a946b6a9f75f253655db",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLess",
        "args": [
          {
            "Uint": [
              "0x235",
              8
            ]
          },
          {
            "Uint": [
              "0x155",
              8
            ]
          },
          {
            "Uint": [
              "0x69e10de76676d0800000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTotalNonRebasingSupplyLessThanTotalBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      9534
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferWithinBalanceDoesNotRevert",
        "args": [
          {
            "Uint": [
              "0xf0",
              8
            ]
          },
          {
            "Uint": [
              "0x74",
              8
            ]
          },
          {
            "Uint": [
              "0x102",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferExceedingBalanceReverts",
        "args": [
          {
            "Uint": [
              "0x2b",
              8
            ]
          },
          {
            "Uint": [
              "0xc",
              8
            ]
          },
          {
            "Uint": [
              "0x69e10de76676d0800000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      3458
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceOfShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x5e",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      4312376
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnAllBalanceToZero",
        "args": [
          {
            "Uint": [
              "0x2a",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInTotalSupply",
        "args": [
          {
            "Uint": [
              "0x2b",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "getTotalNonRebasingBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "changeSupply",
        "args": [
          {
            "Uint": [
              "0x69e10de76676d0800000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      9384
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          },
          {
            "Uint": [
              "0x77",
              8
            ]
          },
          {
            "Uint": [
              "0x23c",
              8
            ]
          },
          {
            "Uint": [
              "0x952fac2c78eef1fdbd0d38915ab208c2b5b2ed64c659fed9f7a3144893bbb0bf",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      364376,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mint",
        "args": [
          {
            "Uint": [
              "0x3c",
              8
            ]
          },
          {
            "Uint": [
              "0xda7171bc76e3b2dcfae1d1cae57f08338c7506ce3378ba859114e441a8c33900",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutTotalSupply",
        "args": [
          {
            "Uint": [
              "0x3fd",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12761,
      3457207
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnBalance",
        "args": [
          {
            "Uint": [
              "0x99",
              8
            ]
          },
          {
            "Uint": [
              "0x28a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTotalNonRebasingSupplyLessThanTotalBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnAllBalanceToZero",
        "args": [
          {
            "Uint": [
              "0x223",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transferFrom",
        "args": [
          {
            "Uint": [
              "0xb4",
              8
            ]
          },
          {
            "Uint": [
              "0xca",
              8
            ]
          },
          {
            "Uint": [
              "0x91",
              8
            ]
          },
          {
            "Uint": [
              "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      489,
      9445458
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenNotIncreased",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3347,
      278312
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedMore",
        "args": [
          {
            "Uint": [
              "0x33",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x8d43b00bdaa4f84a308f3b4b675c693a17a892fd29a837588f7ed5561a2d39c5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "approve",
        "args": [
          {
            "Uint": [
              "0x8c",
              8
            ]
          },
          {
            "Uint": [
              "0x345",
              8
            ]
          },
          {
            "Uint": [
              "0x31",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1636,
      66
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTotalSupplyLessThanTotalBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnBalance",
        "args": [
          {
            "Uint": [
              "0xee",
              8
            ]
          },
          {
            "Uint": [
              "0xeb55cb891df809171dbaffbde49846c9f4f74e4dbbff6a06d10b635d2f20a00d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      27837,
      8129
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mint",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x212",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16696,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInBalance",
        "args": [
          {
            "Uint": [
              "0x76",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testChangeSupply",
        "args": [
          {
            "Uint": [
              "0x266bc19589185282a42d82bff2f5b9e118c01895cc8b3c8478b94b134da805b3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      9662191
    ]
  }
]