[
  {
    "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
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLess",
        "args": [
          {
            "Uint": [
              "0xe6",
              8
            ]
          },
          {
            "Uint": [
              "0xc0",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5417
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldRevert",
        "args": [
          {
            "Uint": [
              "0x7b",
              8
            ]
          },
          {
            "Uint": [
              "0x4c",
              8
            ]
          },
          {
            "Uint": [
              "0x48",
              8
            ]
          },
          {
            "Uint": [
              "0x711f30239c38f5b6ac5751d2493b2b4cb1377c895a17d56d2391e8a51b1a90ee",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6390,
      5911
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      674,
      9318
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferExceedingBalanceReverts",
        "args": [
          {
            "Uint": [
              "0xd5",
              8
            ]
          },
          {
            "Uint": [
              "0x6a",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2951,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalanceRounding",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x1be",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17469,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentMore",
        "args": [
          {
            "Uint": [
              "0x6",
              8
            ]
          },
          {
            "Uint": [
              "0xda",
              8
            ]
          },
          {
            "Uint": [
              "0x89e10fbd7b33902b4b20059520b1b7e28b1a67e448da5bdd79d9a0d11db0df92",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18418,
      3832557
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optOut",
        "args": [
          {
            "Uint": [
              "0xf1",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11994,
      1061
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldRevert",
        "args": [
          {
            "Uint": [
              "0x6",
              8
            ]
          },
          {
            "Uint": [
              "0xfd",
              8
            ]
          },
          {
            "Uint": [
              "0x391",
              8
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5668,
      16054
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "getTotalNonRebasingBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      603776,
      1756
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testApprove",
        "args": [
          {
            "Uint": [
              "0xb5",
              8
            ]
          },
          {
            "Uint": [
              "0x6d",
              8
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalanceRounding",
        "args": [
          {
            "Uint": [
              "0xd0",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      64160,
      649
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x6b5d22a96c32bf04ba54f17bc0764783fa0aa44c976810a1d4c8fb303e7ea91e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4466,
      6153558
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testChangeSupply",
        "args": [
          {
            "Uint": [
              "0x6bb30fa2a6a1e80364d5426a1dcb700fb74715f028c5c3c1a4c1fc5dc6788637",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      1099
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInBalanceRounding",
        "args": [
          {
            "Uint": [
              "0x7f",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6633,
      9316
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintZeroBalance",
        "args": [
          {
            "Uint": [
              "0xdd",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12757,
      1925666
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldRevert",
        "args": [
          {
            "Uint": [
              "0x16",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0xfc",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5986,
      18358
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnAllBalanceToZero",
        "args": [
          {
            "Uint": [
              "0xa6",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8502,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenNotIncreased",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13812,
      10859
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenNotIncreased",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCreditsPerTokenVsBalance",
        "args": [
          {
            "Uint": [
              "0x4a",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      693,
      7950
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLess",
        "args": [
          {
            "Uint": [
              "0x71",
              8
            ]
          },
          {
            "Uint": [
              "0xa8",
              8
            ]
          },
          {
            "Uint": [
              "0x2191f8b4246b5514fc077f76c6a2620c936dfbb436fb395ab040a892cb417d9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7713,
      5012306
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalanceRounding",
        "args": [
          {
            "Uint": [
              "0x72",
              8
            ]
          },
          {
            "Uint": [
              "0x37d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13815,
      14124
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnAllBalanceToZero",
        "args": [
          {
            "Uint": [
              "0x70",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      12356
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedMore",
        "args": [
          {
            "Uint": [
              "0x8d",
              8
            ]
          },
          {
            "Uint": [
              "0xda",
              8
            ]
          },
          {
            "Uint": [
              "0x84e344c399bf7e432bb15152676498cc5471701ddefea9f91267b676709abf37",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6990,
      17770
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTotalSupplyLessThanTotalBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5412234
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutBalance",
        "args": [
          {
            "Uint": [
              "0x3d6",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8818,
      17770
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInTotalSupply",
        "args": [
          {
            "Uint": [
              "0x40",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      13432
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTotalSupplyLessThanTotalBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      16538
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalance",
        "args": [
          {
            "Uint": [
              "0xfd",
              8
            ]
          },
          {
            "Uint": [
              "0x3d3ba5236d2167bb8ed51bdbec70ea684cf0978c9bbe0e5d6ae24de35323b3b5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLess",
        "args": [
          {
            "Uint": [
              "0xef",
              8
            ]
          },
          {
            "Uint": [
              "0x2b",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      132457,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLess",
        "args": [
          {
            "Uint": [
              "0xb6",
              8
            ]
          },
          {
            "Uint": [
              "0x18",
              8
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optOut",
        "args": [
          {
            "Uint": [
              "0xc0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      915,
      7430015
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnAllBalanceToZero",
        "args": [
          {
            "Uint": [
              "0x9a",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5457879
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenNotIncreased",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      18282
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalance",
        "args": [
          {
            "Uint": [
              "0x55",
              8
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18344,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testNonRebasingSupplyVsTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13213,
      18318
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInBalance",
        "args": [
          {
            "Uint": [
              "0x10",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5742,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optOut",
        "args": [
          {
            "Uint": [
              "0x3d",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      4969530
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutBalance",
        "args": [
          {
            "Uint": [
              "0x65",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      6167
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedLess",
        "args": [
          {
            "Uint": [
              "0x99",
              8
            ]
          },
          {
            "Uint": [
              "0x3c",
              8
            ]
          },
          {
            "Uint": [
              "0xfd7a62ab3fe1462e3bde9dfe98aef1481df86a4e2acac8b6ffefcfafb175f31a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17736,
      1192
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testChangeSupply",
        "args": [
          {
            "Uint": [
              "0x16ffec346a20574a3bb66fb02",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLess",
        "args": [
          {
            "Uint": [
              "0x2b4",
              8
            ]
          },
          {
            "Uint": [
              "0x21",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      809
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTotalNonRebasingSupplyLessThanTotalBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      490446,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInBalance",
        "args": [
          {
            "Uint": [
              "0x11",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutBalance",
        "args": [
          {
            "Uint": [
              "0x9a",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7570,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testApprove",
        "args": [
          {
            "Uint": [
              "0xa",
              8
            ]
          },
          {
            "Uint": [
              "0xf1",
              8
            ]
          },
          {
            "Uint": [
              "0xf0233d2a69a3b1a9feebecbc2116d53f83fa800bf043bc7e2bc884655197a860",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      324222,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalance",
        "args": [
          {
            "Uint": [
              "0x33",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15484,
      7821
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutTotalSupply",
        "args": [
          {
            "Uint": [
              "0x362",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnZeroBalance",
        "args": [
          {
            "Uint": [
              "0xb4",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      15188
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInTotalSupply",
        "args": [
          {
            "Uint": [
              "0xc9",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8844,
      12527
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transferFrom",
        "args": [
          {
            "Uint": [
              "0x25",
              8
            ]
          },
          {
            "Uint": [
              "0xb4",
              8
            ]
          },
          {
            "Uint": [
              "0xa9",
              8
            ]
          },
          {
            "Uint": [
              "0x588cb906db8e8d200015cbe0d824dae4f2ddc4050633dfd88cc73ce6e9a42134",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5728,
      6752124
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transfer",
        "args": [
          {
            "Uint": [
              "0x59",
              8
            ]
          },
          {
            "Uint": [
              "0xeb",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInTotalSupply",
        "args": [
          {
            "Uint": [
              "0x389",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7816,
      47994
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenAboveZero",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11938,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutTotalSupply",
        "args": [
          {
            "Uint": [
              "0xf",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7729,
      17398
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transferFrom",
        "args": [
          {
            "Uint": [
              "0x45",
              8
            ]
          },
          {
            "Uint": [
              "0xe",
              8
            ]
          },
          {
            "Uint": [
              "0x58",
              8
            ]
          },
          {
            "Uint": [
              "0x45a12fdba097abeaffe9307655665756a2a753072aa5aa57a5a13b34c500b654",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      965,
      565
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9305,
      725
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedLess",
        "args": [
          {
            "Uint": [
              "0x44",
              8
            ]
          },
          {
            "Uint": [
              "0x23",
              8
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18502,
      17824
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnZeroBalance",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      213,
      12050
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedLess",
        "args": [
          {
            "Uint": [
              "0xfb",
              8
            ]
          },
          {
            "Uint": [
              "0xf8",
              8
            ]
          },
          {
            "Uint": [
              "0x5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1995,
      18742
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      900,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTotalSupplyLessThanTotalBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1193,
      7823116
    ]
  }
]