[
  {
    "call": {
      "SolCall": {
        "name": "testOptInBalance",
        "args": [
          {
            "Uint": [
              "0xf2",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalance",
        "args": [
          {
            "Uint": [
              "0x12c",
              8
            ]
          },
          {
            "Uint": [
              "0x815c69170dabdea36907ffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnBalance",
        "args": [
          {
            "Uint": [
              "0x7d",
              8
            ]
          },
          {
            "Uint": [
              "0x3aaf8a49c37e8f0f0b7056f5c9fd80afd063a9bad4722eb81e1b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      269
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testChangeSupply",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      807,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testApprove",
        "args": [
          {
            "Uint": [
              "0x9",
              8
            ]
          },
          {
            "Uint": [
              "0x7d",
              8
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xe8",
              8
            ]
          },
          {
            "Uint": [
              "0x357",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x31ff6a207bb33eb6c92c50e1e7c2a7f48f9861a2788bcfece0eb47eb3641bbe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      116018,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "burn",
        "args": [
          {
            "Uint": [
              "0x4c",
              8
            ]
          },
          {
            "Uint": [
              "0x6815e28aee06624f00aa5e847f407f51b2129307b4645caa674137fef34576a8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xac",
              8
            ]
          },
          {
            "Uint": [
              "0xc5",
              8
            ]
          },
          {
            "Uint": [
              "0x17",
              8
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18632,
      9314
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnAllBalanceToZero",
        "args": [
          {
            "Uint": [
              "0x27",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testNonRebasingSupplyVsTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferSelf",
        "args": [
          {
            "Uint": [
              "0xd8",
              8
            ]
          },
          {
            "Uint": [
              "0x1edffad86f55cdb3eeed545537810450c34d850a2fd63282e6514f36eefb67a0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      18480
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "approve",
        "args": [
          {
            "Uint": [
              "0xf",
              8
            ]
          },
          {
            "Uint": [
              "0x8",
              8
            ]
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      15592
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "getTotalNonRebasingBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1397,
      4513060
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnAllBalanceShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xe1",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      208026,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalanceRounding",
        "args": [
          {
            "Uint": [
              "0x57",
              8
            ]
          },
          {
            "Uint": [
              "0x576f2054264897f3955c39ed5af161e8f474305444cf4c35cdaabd2a9c2435aa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      6432596
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "burn",
        "args": [
          {
            "Uint": [
              "0xba",
              8
            ]
          },
          {
            "Uint": [
              "0x6df7e835dab3fd8abfa80452d358de96840d7560f7b5f1bedc8f787749b366ad",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      85968,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testNonRebasingSupplyVsTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18371,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInBalance",
        "args": [
          {
            "Uint": [
              "0x256",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "burn",
        "args": [
          {
            "Uint": [
              "0x2f1",
              8
            ]
          },
          {
            "Uint": [
              "0x1633e0a874299de469de3736e04a4aa358ed97100e4fc5f29f2fd9ef3f99619f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testNonRebasingSupplyVsTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testChangeSupply",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      467838,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalanceRounding",
        "args": [
          {
            "Uint": [
              "0xd0",
              8
            ]
          },
          {
            "Uint": [
              "0xd68ebc423ecd48dd7f921e1720e245a5b7845890bb176476cab9cb6319b2b5ae",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mint",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x326c892a8ec3d81c218ca64ab07fb7a6b2dcc6cfa5bc132a069887",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceOfShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLessRounding",
        "args": [
          {
            "Uint": [
              "0xab",
              8
            ]
          },
          {
            "Uint": [
              "0xf8",
              8
            ]
          },
          {
            "Uint": [
              "0x3051ad7ffca27134e4c987cb13ba7f21b7c48da7e44fc38345c79bff68b367c9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testChangeSupply",
        "args": [
          {
            "Uint": [
              "0x69e10de76676d0800007",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutTotalSupply",
        "args": [
          {
            "Uint": [
              "0x97",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInTotalSupply",
        "args": [
          {
            "Uint": [
              "0xfe",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutTotalSupply",
        "args": [
          {
            "Uint": [
              "0x62",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5403,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x260",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      2573,
      7424950
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testApprove",
        "args": [
          {
            "Uint": [
              "0x6a",
              8
            ]
          },
          {
            "Uint": [
              "0xc3",
              8
            ]
          },
          {
            "Uint": [
              "0x815c69170dabdea36907ffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18032,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalance",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x45f4cee537c72f013565",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "getTotalNonRebasingBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      8284858
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "burn",
        "args": [
          {
            "Uint": [
              "0x31",
              8
            ]
          },
          {
            "Uint": [
              "0x815c69170dabdea36907ffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      891,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnZeroBalance",
        "args": [
          {
            "Uint": [
              "0xd5",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13826,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferSelf",
        "args": [
          {
            "Uint": [
              "0x6c",
              8
            ]
          },
          {
            "Uint": [
              "0xcefc9c4a90af3d19018eb920f8c181a9f5436663fa8fb3bb22369b6be404eb73",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      7734
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnAllBalanceToZero",
        "args": [
          {
            "Uint": [
              "0xfb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "changeSupply",
        "args": [
          {
            "Uint": [
              "0x32e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenNotIncreased",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      17466
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedLessRounding",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          },
          {
            "Uint": [
              "0x8f",
              8
            ]
          },
          {
            "Uint": [
              "0xb023ce6dd2104501cec28578",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCreditsPerTokenVsBalance",
        "args": [
          {
            "Uint": [
              "0x50",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optIn",
        "args": [
          {
            "Uint": [
              "0x38",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      9306
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnAllBalanceToZero",
        "args": [
          {
            "Uint": [
              "0x74",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAutoConvertBalance",
        "args": [
          {
            "Uint": [
              "0x30",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      91844,
      862690
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutBalance",
        "args": [
          {
            "Uint": [
              "0xd4",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnAllBalanceToZero",
        "args": [
          {
            "Uint": [
              "0x68",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optIn",
        "args": [
          {
            "Uint": [
              "0xfe",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      3966272
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnAllBalanceToZero",
        "args": [
          {
            "Uint": [
              "0x205",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      184015,
      237
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalanceRounding",
        "args": [
          {
            "Uint": [
              "0xa6",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      13007
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInBalance",
        "args": [
          {
            "Uint": [
              "0x9d",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedMore",
        "args": [
          {
            "Uint": [
              "0x23",
              8
            ]
          },
          {
            "Uint": [
              "0xfc",
              8
            ]
          },
          {
            "Uint": [
              "0x359",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      1028
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedLess",
        "args": [
          {
            "Uint": [
              "0x79",
              8
            ]
          },
          {
            "Uint": [
              "0x4e",
              8
            ]
          },
          {
            "Uint": [
              "0x25e9283f5df83c9f81dd96580a33b43368270f3976c4540f7fe5ef4e420e2c11",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      14733
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalanceRounding",
        "args": [
          {
            "Uint": [
              "0xfa",
              8
            ]
          },
          {
            "Uint": [
              "0x7",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedMore",
        "args": [
          {
            "Uint": [
              "0xd3",
              8
            ]
          },
          {
            "Uint": [
              "0xfb",
              8
            ]
          },
          {
            "Uint": [
              "0x9a92d9d8d06059cac1f10a5852b536c4dbe6b78c6fff33471280df2f9ac978e4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      16537
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInBalance",
        "args": [
          {
            "Uint": [
              "0x68",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "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": [
      487072,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedLess",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x8f",
              8
            ]
          },
          {
            "Uint": [
              "0x815c6278fccd683bfbffffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      3197908
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentMore",
        "args": [
          {
            "Uint": [
              "0xe6",
              8
            ]
          },
          {
            "Uint": [
              "0x9c",
              8
            ]
          },
          {
            "Uint": [
              "0x815c69170dabdea36907ffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      388016,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCreditsPerTokenVsBalance",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      344788,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCreditsPerTokenVsBalance",
        "args": [
          {
            "Uint": [
              "0xfc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      74578,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "getTotalNonRebasingBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1322,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutBalance",
        "args": [
          {
            "Uint": [
              "0x55",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInTotalSupply",
        "args": [
          {
            "Uint": [
              "0x78",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5230,
      2525
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalance",
        "args": [
          {
            "Uint": [
              "0xce",
              8
            ]
          },
          {
            "Uint": [
              "0x2bb6bdfe7f18f6e0ce150a19408122018fe487d83974e634bf59e8cee5c1d484",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInTotalSupply",
        "args": [
          {
            "Uint": [
              "0x8f",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutTotalSupply",
        "args": [
          {
            "Uint": [
              "0x15",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferWithinBalanceDoesNotRevert",
        "args": [
          {
            "Uint": [
              "0x97",
              8
            ]
          },
          {
            "Uint": [
              "0xea",
              8
            ]
          },
          {
            "Uint": [
              "0xe035314f900e0b0e456f8c14021dbf6cd375ca888cc326542f159b0fea1f2b26",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      6826729
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testChangeSupply",
        "args": [
          {
            "Uint": [
              "0x4a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      196908,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnZeroBalance",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "burn",
        "args": [
          {
            "Uint": [
              "0x1bb",
              8
            ]
          },
          {
            "Uint": [
              "0x69e10de76676d0800000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      811
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "changeSupply",
        "args": [
          {
            "Uint": [
              "0x815c69170dabdea36907ffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      8823091
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testNonRebasingSupplyVsTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7092,
      899
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentMore",
        "args": [
          {
            "Uint": [
              "0x4",
              8
            ]
          },
          {
            "Uint": [
              "0xb6",
              8
            ]
          },
          {
            "Uint": [
              "0x543c6edc2464bd3833e00736e16cd8cff2c6052009c8803d8c8cc685df1334e8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5923714
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferWithinBalanceDoesNotRevert",
        "args": [
          {
            "Uint": [
              "0xfc",
              8
            ]
          },
          {
            "Uint": [
              "0x314",
              8
            ]
          },
          {
            "Uint": [
              "0x815c69170dabdea36907ffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      15237
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferWithinBalanceDoesNotRevert",
        "args": [
          {
            "Uint": [
              "0xae",
              8
            ]
          },
          {
            "Uint": [
              "0xfe",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17375,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "approve",
        "args": [
          {
            "Uint": [
              "0x91",
              8
            ]
          },
          {
            "Uint": [
              "0xfe",
              8
            ]
          },
          {
            "Uint": [
              "0x62ba61672793d8a78b97b83141186073261ebfce67ffe8940f836c64ea193cb9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18416,
      10442374
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testChangeSupply",
        "args": [
          {
            "Uint": [
              "0x321",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenNotIncreased",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "changeSupply",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x10",
              8
            ]
          },
          {
            "Uint": [
              "0xbf",
              8
            ]
          },
          {
            "Uint": [
              "0xac",
              8
            ]
          },
          {
            "Uint": [
              "0x815c69170dabdea36907ffffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      10161
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInBalanceRounding",
        "args": [
          {
            "Uint": [
              "0x4e",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testApprove",
        "args": [
          {
            "Uint": [
              "0xfb",
              8
            ]
          },
          {
            "Uint": [
              "0xfe",
              8
            ]
          },
          {
            "Uint": [
              "0x39c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferWithinBalanceDoesNotRevert",
        "args": [
          {
            "Uint": [
              "0x1ca",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x3ac8d3e7d83dadbac1e1e2186afeeb046aa1c5faa890ffc2f246f3c66b06e38c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLess",
        "args": [
          {
            "Uint": [
              "0x3d",
              8
            ]
          },
          {
            "Uint": [
              "0x369",
              8
            ]
          },
          {
            "Uint": [
              "0x815c69170dabdea36907ffffa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      17735
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transferFrom",
        "args": [
          {
            "Uint": [
              "0x23",
              8
            ]
          },
          {
            "Uint": [
              "0x7",
              8
            ]
          },
          {
            "Uint": [
              "0x4e",
              8
            ]
          },
          {
            "Uint": [
              "0x870fd20bf6553703433f35f18",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldRevert",
        "args": [
          {
            "Uint": [
              "0x3cd",
              8
            ]
          },
          {
            "Uint": [
              "0xfb",
              8
            ]
          },
          {
            "Uint": [
              "0xbf",
              8
            ]
          },
          {
            "Uint": [
              "0x359",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "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": [
      104707,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenAboveZero",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12987,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x11",
              8
            ]
          },
          {
            "Uint": [
              "0xdd",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x3ee",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintZeroBalance",
        "args": [
          {
            "Uint": [
              "0xa6",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      180923,
      8476199
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLess",
        "args": [
          {
            "Uint": [
              "0x27f",
              8
            ]
          },
          {
            "Uint": [
              "0xb1",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1170,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedLessRounding",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x4f",
              8
            ]
          },
          {
            "Uint": [
              "0x17664effae3f3a732cd400c7982d56ad0ee23359aa54c23",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      389,
      3061332
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCreditsPerTokenVsBalance",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      431143,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testApprove",
        "args": [
          {
            "Uint": [
              "0xa2",
              8
            ]
          },
          {
            "Uint": [
              "0xc8",
              8
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0xa07037bf87c8a6f1",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mint",
        "args": [
          {
            "Uint": [
              "0x95",
              8
            ]
          },
          {
            "Uint": [
              "0x815c69170dabdea36907dfff9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedLessRounding",
        "args": [
          {
            "Uint": [
              "0x1f",
              8
            ]
          },
          {
            "Uint": [
              "0x131",
              8
            ]
          },
          {
            "Uint": [
              "0x22f",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17589,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutTotalSupply",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      426577,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferSelf",
        "args": [
          {
            "Uint": [
              "0xfb",
              8
            ]
          },
          {
            "Uint": [
              "0x6c6b638266e006f1b796f38abd45bc45a2bab23fd06a3147bb8e42ca8583d361",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      4002
    ]
  }
]