[
  {
    "call": {
      "SolCall": {
        "name": "testChangeSupply",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16056,
      5703
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optOut",
        "args": [
          {
            "Uint": [
              "0x9d",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4325,
      14463
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTotalSupplyLessThanTotalBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      475677,
      198
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInBalanceRounding",
        "args": [
          {
            "Uint": [
              "0x32",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14274,
      3776
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInTotalSupply",
        "args": [
          {
            "Uint": [
              "0x8a",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12263,
      16232
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintZeroBalance",
        "args": [
          {
            "Uint": [
              "0x1",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11512,
      3156
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferExceedingBalanceReverts",
        "args": [
          {
            "Uint": [
              "0x63",
              8
            ]
          },
          {
            "Uint": [
              "0x3a",
              8
            ]
          },
          {
            "Uint": [
              "0x2b9",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1023,
      4725438
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1082,
      18871
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testApprove",
        "args": [
          {
            "Uint": [
              "0x43",
              8
            ]
          },
          {
            "Uint": [
              "0xfe",
              8
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3318,
      6731
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transfer",
        "args": [
          {
            "Uint": [
              "0xfa",
              8
            ]
          },
          {
            "Uint": [
              "0x8c",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9625,
      15560
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transferFrom",
        "args": [
          {
            "Uint": [
              "0x7b",
              8
            ]
          },
          {
            "Uint": [
              "0xef",
              8
            ]
          },
          {
            "Uint": [
              "0x1e",
              8
            ]
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13689,
      8819
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLess",
        "args": [
          {
            "Uint": [
              "0x7a",
              8
            ]
          },
          {
            "Uint": [
              "0xc3",
              8
            ]
          },
          {
            "Uint": [
              "0x52695876eff864cad96ff2b97328bab8d1034eda61795282f09525fed1de9b56",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11547,
      18185
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLessRounding",
        "args": [
          {
            "Uint": [
              "0xa7",
              8
            ]
          },
          {
            "Uint": [
              "0xa",
              8
            ]
          },
          {
            "Uint": [
              "0x39d",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      384932,
      1368
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnAllBalanceShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xfa",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11549,
      4592
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testApprove",
        "args": [
          {
            "Uint": [
              "0xcf",
              8
            ]
          },
          {
            "Uint": [
              "0x96",
              8
            ]
          },
          {
            "Uint": [
              "0x4c",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      384931,
      8762
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalanceRounding",
        "args": [
          {
            "Uint": [
              "0x21",
              8
            ]
          },
          {
            "Uint": [
              "0x191",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9907,
      1074
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedLess",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x19a",
              8
            ]
          },
          {
            "Uint": [
              "0x8092e94df9b16502c3b60f894c8b3383f3bea1dff4306b063fe8065b8d2ce209",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7164,
      5737
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "approve",
        "args": [
          {
            "Uint": [
              "0x9c",
              8
            ]
          },
          {
            "Uint": [
              "0xfa",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      249940,
      65536
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "changeSupply",
        "args": [
          {
            "Uint": [
              "0xf08a713c7166061421a52c7110ac2b60285301e8712a591e8a82531a19035c53",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14979,
      17770
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnBalance",
        "args": [
          {
            "Uint": [
              "0xc9",
              8
            ]
          },
          {
            "Uint": [
              "0x69e10de76676d0800000",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10689,
      18301
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInTotalSupply",
        "args": [
          {
            "Uint": [
              "0x3fb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1440,
      18149
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xe",
              8
            ]
          },
          {
            "Uint": [
              "0xa4",
              8
            ]
          },
          {
            "Uint": [
              "0x50",
              8
            ]
          },
          {
            "Uint": [
              "0xb8b35e9bcf0c58f342c728a9ab54e0d7d50ebc7657ad599afd763188fe509248",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      437257,
      5638439
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xf2",
              8
            ]
          },
          {
            "Uint": [
              "0x22f",
              8
            ]
          },
          {
            "Uint": [
              "0xfa",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      59,
      18596
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenNotIncreased",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13216,
      15590
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintZeroBalance",
        "args": [
          {
            "Uint": [
              "0xee",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8272,
      9728294
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x21",
              8
            ]
          },
          {
            "Uint": [
              "0x128",
              8
            ]
          },
          {
            "Uint": [
              "0xa4",
              8
            ]
          },
          {
            "Uint": [
              "0x12a47ad19784ef39655291f69dfe6369307d60207181",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      33583,
      9285
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "getTotalNonRebasingBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      5369
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferSelf",
        "args": [
          {
            "Uint": [
              "0xc4",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      9291
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      10900
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optIn",
        "args": [
          {
            "Uint": [
              "0xfb",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      171542,
      14534
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testNonRebasingSupplyVsTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7540,
      869
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInBalance",
        "args": [
          {
            "Uint": [
              "0xa8",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4737,
      5012304
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInBalanceRounding",
        "args": [
          {
            "Uint": [
              "0x35",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      457029,
      5705
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xdf",
              8
            ]
          },
          {
            "Uint": [
              "0x1",
              8
            ]
          },
          {
            "Uint": [
              "0xf5",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      11902,
      8710810
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "mint",
        "args": [
          {
            "Uint": [
              "0xff",
              8
            ]
          },
          {
            "Uint": [
              "0xc5510cba1fb1a0e6f228d4616081a7db1db78703ee7c0ed5fa674015f82115fa",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      14188,
      7296
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBalanceOfShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0x47",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      12859,
      10574
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3679,
      7546
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutBalance",
        "args": [
          {
            "Uint": [
              "0xf0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      456995,
      992
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testApprove",
        "args": [
          {
            "Uint": [
              "0xc5",
              8
            ]
          },
          {
            "Uint": [
              "0xbe",
              8
            ]
          },
          {
            "Uint": [
              "0x1a32a0a15626d718be1963d6f9505e1aa6c7a56a6697a9ee12aab61e3fbb0ab3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13303,
      6991
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4210,
      15095
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAutoConvertBalance",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      554803,
      8531100
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transferFrom",
        "args": [
          {
            "Uint": [
              "0x7b",
              8
            ]
          },
          {
            "Uint": [
              "0xef",
              8
            ]
          },
          {
            "Uint": [
              "0x1e",
              8
            ]
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18883,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnBalance",
        "args": [
          {
            "Uint": [
              "0x27a",
              8
            ]
          },
          {
            "Uint": [
              "0xf1db8607ccb63fb797dc6f3a6910ed5dd347dbf64f3829db1c0f135a11390b83",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      104706,
      10783
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedLess",
        "args": [
          {
            "Uint": [
              "0xc4",
              8
            ]
          },
          {
            "Uint": [
              "0xfd",
              8
            ]
          },
          {
            "Uint": [
              "0x3232a29fb7fb937361587cd24b1949c4c9751b38b9615eab003568f8d7c25dd4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8435,
      12395
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "changeSupply",
        "args": [
          {
            "Uint": [
              "0xc39395642dc6202f08baac165e79e2a6536f7abd2d906bcc8dcc500949d02cfd",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      419363,
      17735
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optOut",
        "args": [
          {
            "Uint": [
              "0x70",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25868,
      14465
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutTotalSupply",
        "args": [
          {
            "Uint": [
              "0x74",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8530,
      5390
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAutoConvertBalance",
        "args": [
          {
            "Uint": [
              "0x34",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7058,
      3933896
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "getTotalNonRebasingBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7575,
      9174038
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInTotalSupply",
        "args": [
          {
            "Uint": [
              "0x200",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      25866,
      11936
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testApprove",
        "args": [
          {
            "Uint": [
              "0xcb",
              8
            ]
          },
          {
            "Uint": [
              "0x0",
              8
            ]
          },
          {
            "Uint": [
              "0x42",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      9091,
      8235
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInTotalSupply",
        "args": [
          {
            "Uint": [
              "0x9",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15842,
      6819
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCreditsPerTokenVsBalance",
        "args": [
          {
            "Uint": [
              "0x19",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18446,
      15980
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldRevert",
        "args": [
          {
            "Uint": [
              "0x80",
              8
            ]
          },
          {
            "Uint": [
              "0xd1",
              8
            ]
          },
          {
            "Uint": [
              "0x44",
              8
            ]
          },
          {
            "Uint": [
              "0x42",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15933,
      9939830
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenNotIncreased",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      18347
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testChangeSupply",
        "args": [
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      441617,
      9972
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferExceedingBalanceReverts",
        "args": [
          {
            "Uint": [
              "0x4a",
              8
            ]
          },
          {
            "Uint": [
              "0x77",
              8
            ]
          },
          {
            "Uint": [
              "0x1f4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      8967,
      2449
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenAboveZero",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      270631,
      14735
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testNonRebasingSupplyVsTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      971,
      8881
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3457,
      7352452
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optOut",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      550541,
      16699
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transferFrom",
        "args": [
          {
            "Uint": [
              "0xa1",
              8
            ]
          },
          {
            "Uint": [
              "0xfc",
              8
            ]
          },
          {
            "Uint": [
              "0xd2",
              8
            ]
          },
          {
            "Uint": [
              "0x635363233d012f19de2b8f828771de8f6cc16a2797abfb5c20b67871491f0a35",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16450,
      13006
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testChangeSupply",
        "args": [
          {
            "Uint": [
              "0x8a39328d1c1893dff27c7129889ba9b3f4fbdfe6b9e95f12765e15a3abc20d53",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      515904,
      5860
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInBalanceRounding",
        "args": [
          {
            "Uint": [
              "0xfc",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16450,
      3330
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptOutTotalSupply",
        "args": [
          {
            "Uint": [
              "0xce",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      13608
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testChangeSupply",
        "args": [
          {
            "Uint": [
              "0xc4898c7b7587bcb349649ce001cbb522a64e8747eb5131bd80cd407391bbce44",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4983,
      18581
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transferFrom",
        "args": [
          {
            "Uint": [
              "0x7b",
              8
            ]
          },
          {
            "Uint": [
              "0xef",
              8
            ]
          },
          {
            "Uint": [
              "0x1e",
              8
            ]
          },
          {
            "Uint": [
              "0x1",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3283,
      6251343
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedMore",
        "args": [
          {
            "Uint": [
              "0x398",
              8
            ]
          },
          {
            "Uint": [
              "0xbc",
              8
            ]
          },
          {
            "Uint": [
              "0x11d74f89002bc76f12dbff274459b6205827b4031f23d42ba21bdf76ba525ae4",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6353,
      2325
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnAllBalanceShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xc8",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      18670,
      18129
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "changeSupply",
        "args": [
          {
            "Uint": [
              "0x8b7baadb53ff054654e09db313881d1f6a86608dcb30f6b8ae4f655f3e0109b5",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      15980,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnAllBalanceShouldNotRevert",
        "args": [
          {
            "Uint": [
              "0xd0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10044,
      68091
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testMintBalance",
        "args": [
          {
            "Uint": [
              "0xc3",
              8
            ]
          },
          {
            "Uint": [
              "0x4ea01e803c707797eae",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      457169,
      2688
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testNonRebasingSupplyVsTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      4081,
      13923
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenNotIncreased",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      13463,
      17583
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedLessRounding",
        "args": [
          {
            "Uint": [
              "0x37",
              8
            ]
          },
          {
            "Uint": [
              "0x28",
              8
            ]
          },
          {
            "Uint": [
              "0x39b",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16742,
      6679334
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenNotIncreased",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3321,
      7573
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInBalanceRounding",
        "args": [
          {
            "Uint": [
              "0x15",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      692,
      8673
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transfer",
        "args": [
          {
            "Uint": [
              "0x5f",
              8
            ]
          },
          {
            "Uint": [
              "0x1ed",
              8
            ]
          },
          {
            "Uint": [
              "0x2",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      3327,
      18637
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transfer",
        "args": [
          {
            "Uint": [
              "0x15",
              8
            ]
          },
          {
            "Uint": [
              "0x3b6",
              8
            ]
          },
          {
            "Uint": [
              "0x895b3b3047c703d74c44356",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      509855,
      16089
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "getTotalNonRebasingBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      181556,
      18203
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceSentLessRounding",
        "args": [
          {
            "Uint": [
              "0x14",
              8
            ]
          },
          {
            "Uint": [
              "0xff",
              8
            ]
          },
          {
            "Uint": [
              "0x3cac2c438ad96465104df799f4561350994f40235415c8",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      5857,
      14102
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenNotIncreased",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      16462,
      2365990
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "invariant_canary",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1188,
      10974462
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "transfer",
        "args": [
          {
            "Uint": [
              "0x1bc",
              8
            ]
          },
          {
            "Uint": [
              "0x3",
              8
            ]
          },
          {
            "Uint": [
              "0x3",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1011,
      1123
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optOut",
        "args": [
          {
            "Uint": [
              "0x0",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      6378,
      10635870
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testNonRebasingSupplyVsTotalSupply",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      849,
      12792
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "getTotalNonRebasingBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      1252,
      5509155
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "assert_canary_ASSERTION_CANARY",
        "args": [
          {
            "Uint": [
              "0x976ecf6d2276f5458f0227c333653051e45b4ca15f7c3a66399684492101c81e",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000040000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      168593,
      7430012
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCreditsPerTokenVsBalance",
        "args": [
          {
            "Uint": [
              "0x2e",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17307,
      9407
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferFromShouldRevert",
        "args": [
          {
            "Uint": [
              "0x80",
              8
            ]
          },
          {
            "Uint": [
              "0xd1",
              8
            ]
          },
          {
            "Uint": [
              "0x44",
              8
            ]
          },
          {
            "Uint": [
              "0x42",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      360624,
      8396003
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testRebasingCreditsPerTokenNotIncreased",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      141553,
      8519
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnZeroBalance",
        "args": [
          {
            "Uint": [
              "0x246",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000020000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      10565,
      11418
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testAutoConvertBalance",
        "args": [
          {
            "Uint": [
              "0x7d",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      350,
      6529
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testBurnZeroBalance",
        "args": [
          {
            "Uint": [
              "0xe5",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      17978,
      10094394
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "optOut",
        "args": [
          {
            "Uint": [
              "0x68",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000030000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      353,
      1376
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTransferBalanceReceivedLessRounding",
        "args": [
          {
            "Uint": [
              "0xbe",
              8
            ]
          },
          {
            "Uint": [
              "0x24",
              8
            ]
          },
          {
            "Uint": [
              "0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      63,
      7570
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testTotalNonRebasingSupplyLessThanTotalBalance",
        "args": []
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      120641,
      10125
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testChangeSupply",
        "args": [
          {
            "Uint": [
              "0xde0db712277f2741af9ea0d6dfd7e0ebf92c10ca6bf56e720cb9c8428d86cf2a",
              256
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      7552,
      12807
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testOptInBalance",
        "args": [
          {
            "Uint": [
              "0x1f",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      123775,
      5873435
    ]
  },
  {
    "call": {
      "SolCall": {
        "name": "testCreditsPerTokenVsBalance",
        "args": [
          {
            "Uint": [
              "0x92",
              8
            ]
          }
        ]
      }
    },
    "src": "0x0000000000000000000000000000000000010000",
    "dst": "0x7fa9385be102ac3eac297483dd6233d62b3e1496",
    "gas": 30000000,
    "gasprice": "0x0",
    "value": "0x0",
    "delay": [
      406939,
      7
    ]
  }
]