Contract

Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// Copyright (C) 2020 Energi Core

// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.

// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License
// along with this program.  If not, see <http://www.gnu.org/licenses/>.

pragma solidity ^0.5.0;

import './IEnergiTokenUpgrade2.sol';
import './ERC20Upgrade.sol';

contract EnergiTokenUpgrade2 is ERC20Upgrade, IEnergiTokenUpgrade2 {

    address public owner; // Initialised on previous impl

    string public name; // Initialised on previous impl

    string public symbol; // Initialised on previous impl

    uint8 public decimals; // Initialised on previous impl

    bool public initialized = true; // Previous impl was already initialised

    address public vault; // Initialised on previous impl

    uint public minRedemptionAmount; // Initialised on previous impl

    bool public upgradeInitialized = true; // Previous upgrade was already initialised

    modifier onlyOwner {
        require(msg.sender == owner, 'EnergiToken: FORBIDDEN');
        _;
    }

    function setOwner(address _owner) external onlyOwner {
        owner = _owner;
    }

    function setName(string calldata _name) external onlyOwner {
        name = _name;
    }

    function setSymbol(string calldata _symbol) external onlyOwner {
        symbol = _symbol;
    }

    function setVault(address _vault) external onlyOwner {
        vault = _vault;
    }

    function setMinRedemptionAmount(uint _minRedemptionAmount) external onlyOwner {
        minRedemptionAmount = _minRedemptionAmount;
    }

    function mint(address recipient, uint amount) external onlyOwner {
        _mint(recipient, amount);
    }

    function burn(address recipient, uint amount) external onlyOwner {
        _burn(recipient, amount);
    }

    function transfer(address recipient, uint256 amount) external returns (bool) {
        if(recipient == vault) {
            require(amount >= minRedemptionAmount, "EnergiToken: redemption amount too small");
        }
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool) {
        if(recipient == vault) {
            require(amount >= minRedemptionAmount, "EnergiToken: redemption amount too small");
        }
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }
}

// Copyright (C) 2020 Energi Core

// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.

// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License
// along with this program.  If not, see <http://www.gnu.org/licenses/>.

pragma solidity ^0.5.0;

/*
 * @dev Provides information about the current execution context, including the
 * sender of the transaction and its data. While these are generally available
 * via msg.sender and msg.data, they should not be accessed in such a direct
 * manner, since when dealing with GSN meta-transactions the account sending and
 * paying for execution may not be the actual sender (as far as an application
 * is concerned).
 *
 * This contract is only required for intermediate, library-like contracts.
 */

contract Context {
    // Empty internal constructor, to prevent people from mistakenly deploying
    // an instance of this contract, which should be used via inheritance.
    constructor () internal { }
    // solhint-disable-previous-line no-empty-blocks

    function _msgSender() internal view returns (address payable) {
        return msg.sender;
    }

    function _txOrigin() internal view returns (address payable) {
        return tx.origin;
    }

    function _msgData() internal view returns (bytes memory) {
        this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
        return msg.data;
    }
}

pragma solidity ^0.5.0;

import "./Context.sol";
import "./IERC20Upgrade.sol";
import "./SafeMath.sol";

/**
 * @dev Implementation of the {IERC20} interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using {_mint}.
 * For a generic mechanism see {ERC20Mintable}.
 *
 * TIP: For a detailed writeup see our guide
 * https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * We have followed general OpenZeppelin guidelines: functions revert instead
 * of returning `false` on failure. This behavior is nonetheless conventional
 * and does not conflict with the expectations of ERC20 applications.
 *
 * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 *
 * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See {IERC20-approve}.
 */
contract ERC20Upgrade is Context, IERC20Upgrade {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;

    mapping (address => mapping (address => uint256)) internal _allowances;

    uint256 private _totalSupply;

    /**
     * @dev See {IERC20-totalSupply}.
     */
    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public view returns (uint256) {
        return _balances[account];
    }

    /**
     * @dev See {IERC20-transfer}.
     *
     * Requirements:
     *
     * - `recipient` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    //    function transfer(address recipient, uint256 amount) public returns (bool) {
    //        _transfer(_msgSender(), recipient, amount);
    //        return true;
    //    }

    /**
     * @dev See {IERC20-allowance}.
     */
    function allowance(address owner, address spender) public view returns (uint256) {
        return _allowances[owner][spender];
    }

    /**
     * @dev See {IERC20-approve}.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount) public returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    /**
     * @dev See {IERC20-transferFrom}.
     *
     * Emits an {Approval} event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of {ERC20};
     *
     * Requirements:
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     * - the caller must have allowance for `sender`'s tokens of at least
     * `amount`.
     */
    //    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
    //        _transfer(sender, recipient, amount);
    //        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
    //        return true;
    //    }

    /**
     * @dev Atomically increases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].add(addedValue));
        return true;
    }

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be used as a mitigation for
     * problems described in {IERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `spender` must have allowance for the caller of at least
     * `subtractedValue`.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].sub(subtractedValue, "ERC20: decreased allowance below zero"));
        return true;
    }

    /**
     * @dev Moves tokens `amount` from `sender` to `recipient`.
     *
     * This is internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * Requirements:
     *
     * - `sender` cannot be the zero address.
     * - `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     */
    function _transfer(address sender, address recipient, uint256 amount) internal {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _balances[sender] = _balances[sender].sub(amount, "ERC20: transfer amount exceeds balance");
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
    }

    /** @dev Creates `amount` tokens and assigns them to `account`, increasing
     * the total supply.
     *
     * Emits a {Transfer} event with `from` set to the zero address.
     *
     * Requirements
     *
     * - `to` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: mint to the zero address");

        _totalSupply = _totalSupply.add(amount);
        _balances[account] = _balances[account].add(amount);
        emit Transfer(address(0), account, amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`, reducing the
     * total supply.
     *
     * Emits a {Transfer} event with `to` set to the zero address.
     *
     * Requirements
     *
     * - `account` cannot be the zero address.
     * - `account` must have at least `amount` tokens.
     */
    function _burn(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: burn from the zero address");

        _balances[account] = _balances[account].sub(amount, "ERC20: burn amount exceeds balance");
        _totalSupply = _totalSupply.sub(amount);
        emit Transfer(account, address(0), amount);
    }

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner`s tokens.
     *
     * This is internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     */
    function _approve(address owner, address spender, uint256 amount) internal {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`.`amount` is then deducted
     * from the caller's allowance.
     *
     * See {_burn} and {_approve}.
     */
    function _burnFrom(address account, uint256 amount) internal {
        _burn(account, amount);
        _approve(account, _msgSender(), _allowances[account][_msgSender()].sub(amount, "ERC20: burn amount exceeds allowance"));
    }
}

// Copyright (C) 2020 Energi Core

// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.

// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License
// along with this program.  If not, see <http://www.gnu.org/licenses/>.

pragma solidity ^0.5.0;

interface IEnergiTokenUpgrade2 {

    function owner() external view returns (address);

    function name() external view returns (string memory);

    function symbol() external view returns (string memory);

    function decimals() external view returns (uint8);

    function initialized() external view returns (bool);

    function vault() external view returns (address);

    function minRedemptionAmount() external view returns (uint);

    function upgradeInitialized() external view returns (bool);

    function setOwner(address _owner) external;

    function setSymbol(string calldata _symbol) external;

    function setVault(address _vault) external;

    function setMinRedemptionAmount(uint _minRedemptionAmount) external;

    function mint(address recipient, uint amount) external;

    function burn(address recipient, uint amount) external;

    function transfer(address recipient, uint256 amount) external returns (bool);

    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
}

pragma solidity ^0.5.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP. Does not include
 * the optional functions; to access them see {ERC20Detailed}.
 */
interface IERC20Upgrade {
    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `recipient`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    // function transfer(address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through {transferFrom}. This is
     * zero by default.
     *
     * This value changes when {approve} or {transferFrom} are called.
     */
    function allowance(address _owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * IMPORTANT: Beware that changing an allowance with this method brings the risk
     * that someone may use both the old and the new allowance by unfortunate
     * transaction ordering. One possible solution to mitigate this race
     * condition is to first reduce the spender's allowance to 0 and set the
     * desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     *
     * Emits an {Approval} event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `sender` to `recipient` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    // function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to {approve}. `value` is the new allowance.
     */
    event Approval(address indexed _owner, address indexed spender, uint256 value);
}

// Copyright (C) 2020 Energi Core

// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.

// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License
// along with this program.  If not, see <http://www.gnu.org/licenses/>.

pragma solidity ^0.5.0;

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     *
     * _Available since v2.4.0._
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     *
     * _Available since v2.4.0._
     */
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, errorMessage);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return mod(a, b, "SafeMath: modulo by zero");
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts with custom message when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     *
     * _Available since v2.4.0._
     */
    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"initialized","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"minRedemptionAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"_minRedemptionAmount","type":"uint256"}],"name":"setMinRedemptionAmount","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"string","name":"_name","type":"string"}],"name":"setName","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_owner","type":"address"}],"name":"setOwner","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"string","name":"_symbol","type":"string"}],"name":"setSymbol","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_vault","type":"address"}],"name":"setVault","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"upgradeInitialized","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"vault","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"}]

60806040526006805461ff0019166101001790556008805460ff1916600117905561136c8061002f6000396000f3fe608060405234801561001057600080fd5b506004361061014d5760003560e01c8063695d3985116100c3578063a457c2d71161007c578063a457c2d7146103d6578063a9059cbb14610402578063b84c82461461042e578063c47f00271461049e578063dd62ed3e1461050e578063fbfa77cf1461053c5761014d565b8063695d39851461034857806370a08231146103505780638da5cb5b1461037657806395d89b411461039a5780639dc29fac146103a25780639f027e73146103ce5761014d565b806323b872dd1161011557806323b872dd14610259578063313ce5671461028f57806339509351146102ad57806340c10f19146102d9578063464f2e99146103055780636817031b146103225761014d565b806306fdde0314610152578063095ea7b3146101cf57806313af40351461020f578063158ef93e1461023757806318160ddd1461023f575b600080fd5b61015a610544565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561019457818101518382015260200161017c565b50505050905090810190601f1680156101c15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101fb600480360360408110156101e557600080fd5b506001600160a01b0381351690602001356105d2565b604080519115158252519081900360200190f35b6102356004803603602081101561022557600080fd5b50356001600160a01b03166105ef565b005b6101fb61065e565b61024761066c565b60408051918252519081900360200190f35b6101fb6004803603606081101561026f57600080fd5b506001600160a01b03813581169160208101359091169060400135610673565b61029761075e565b6040805160ff9092168252519081900360200190f35b6101fb600480360360408110156102c357600080fd5b506001600160a01b038135169060200135610767565b610235600480360360408110156102ef57600080fd5b506001600160a01b0381351690602001356107bb565b6102356004803603602081101561031b57600080fd5b5035610816565b6102356004803603602081101561033857600080fd5b50356001600160a01b0316610868565b6101fb6108df565b6102476004803603602081101561036657600080fd5b50356001600160a01b03166108e8565b61037e610903565b604080516001600160a01b039092168252519081900360200190f35b61015a610912565b610235600480360360408110156103b857600080fd5b506001600160a01b03813516906020013561096d565b6102476109c4565b6101fb600480360360408110156103ec57600080fd5b506001600160a01b0381351690602001356109ca565b6101fb6004803603604081101561041857600080fd5b506001600160a01b038135169060200135610a38565b6102356004803603602081101561044457600080fd5b81019060208101813564010000000081111561045f57600080fd5b82018360208201111561047157600080fd5b8035906020019184600183028401116401000000008311171561049357600080fd5b509092509050610aaa565b610235600480360360208110156104b457600080fd5b8101906020810181356401000000008111156104cf57600080fd5b8201836020820111156104e157600080fd5b8035906020019184600183028401116401000000008311171561050357600080fd5b509092509050610b08565b6102476004803603604081101561052457600080fd5b506001600160a01b0381358116916020013516610b61565b61037e610b8c565b6004805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156105ca5780601f1061059f576101008083540402835291602001916105ca565b820191906000526020600020905b8154815290600101906020018083116105ad57829003601f168201915b505050505081565b60006105e66105df610ba1565b8484610ba5565b50600192915050565b6003546001600160a01b0316331461063c576040805162461bcd60e51b81526020600482015260166024820152600080516020611261833981519152604482015290519081900360640190fd5b600380546001600160a01b0319166001600160a01b0392909216919091179055565b600654610100900460ff1681565b6002545b90565b6006546000906001600160a01b03848116620100009092041614156106d3576007548210156106d35760405162461bcd60e51b81526004018080602001828103825260288152602001806111cf6028913960400191505060405180910390fd5b6106de848484610c91565b610754846106ea610ba1565b61074f85604051806060016040528060288152602001611281602891396001600160a01b038a16600090815260016020526040812090610728610ba1565b6001600160a01b03168152602081019190915260400160002054919063ffffffff610ded16565b610ba5565b5060019392505050565b60065460ff1681565b60006105e6610774610ba1565b8461074f8560016000610785610ba1565b6001600160a01b03908116825260208083019390935260409182016000908120918c16815292529020549063ffffffff610e8416565b6003546001600160a01b03163314610808576040805162461bcd60e51b81526020600482015260166024820152600080516020611261833981519152604482015290519081900360640190fd5b6108128282610ee5565b5050565b6003546001600160a01b03163314610863576040805162461bcd60e51b81526020600482015260166024820152600080516020611261833981519152604482015290519081900360640190fd5b600755565b6003546001600160a01b031633146108b5576040805162461bcd60e51b81526020600482015260166024820152600080516020611261833981519152604482015290519081900360640190fd5b600680546001600160a01b03909216620100000262010000600160b01b0319909216919091179055565b60085460ff1681565b6001600160a01b031660009081526020819052604090205490565b6003546001600160a01b031681565b6005805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156105ca5780601f1061059f576101008083540402835291602001916105ca565b6003546001600160a01b031633146109ba576040805162461bcd60e51b81526020600482015260166024820152600080516020611261833981519152604482015290519081900360640190fd5b6108128282610fd5565b60075481565b60006105e66109d7610ba1565b8461074f856040518060600160405280602581526020016113136025913960016000610a01610ba1565b6001600160a01b03908116825260208083019390935260409182016000908120918d1681529252902054919063ffffffff610ded16565b6006546000906001600160a01b0384811662010000909204161415610a9857600754821015610a985760405162461bcd60e51b81526004018080602001828103825260288152602001806111cf6028913960400191505060405180910390fd5b6105e6610aa3610ba1565b8484610c91565b6003546001600160a01b03163314610af7576040805162461bcd60e51b81526020600482015260166024820152600080516020611261833981519152604482015290519081900360640190fd5b610b0360058383611113565b505050565b6003546001600160a01b03163314610b55576040805162461bcd60e51b81526020600482015260166024820152600080516020611261833981519152604482015290519081900360640190fd5b610b0360048383611113565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6006546201000090046001600160a01b031681565b3390565b6001600160a01b038316610bea5760405162461bcd60e51b81526004018080602001828103825260248152602001806112ef6024913960400191505060405180910390fd5b6001600160a01b038216610c2f5760405162461bcd60e51b81526004018080602001828103825260228152602001806112196022913960400191505060405180910390fd5b6001600160a01b03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b038316610cd65760405162461bcd60e51b81526004018080602001828103825260258152602001806112ca6025913960400191505060405180910390fd5b6001600160a01b038216610d1b5760405162461bcd60e51b81526004018080602001828103825260238152602001806111ac6023913960400191505060405180910390fd5b610d5e8160405180606001604052806026815260200161123b602691396001600160a01b038616600090815260208190526040902054919063ffffffff610ded16565b6001600160a01b038085166000908152602081905260408082209390935590841681522054610d93908263ffffffff610e8416565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b60008184841115610e7c5760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015610e41578181015183820152602001610e29565b50505050905090810190601f168015610e6e5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b600082820183811015610ede576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b6001600160a01b038216610f40576040805162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b600254610f53908263ffffffff610e8416565b6002556001600160a01b038216600090815260208190526040902054610f7f908263ffffffff610e8416565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6001600160a01b03821661101a5760405162461bcd60e51b81526004018080602001828103825260218152602001806112a96021913960400191505060405180910390fd5b61105d816040518060600160405280602281526020016111f7602291396001600160a01b038516600090815260208190526040902054919063ffffffff610ded16565b6001600160a01b038316600090815260208190526040902055600254611089908263ffffffff6110d116565b6002556040805182815290516000916001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b6000610ede83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610ded565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106111545782800160ff19823516178555611181565b82800160010185558215611181579182015b82811115611181578235825591602001919060010190611166565b5061118d929150611191565b5090565b61067091905b8082111561118d576000815560010161119756fe45524332303a207472616e7366657220746f20746865207a65726f2061646472657373456e65726769546f6b656e3a20726564656d7074696f6e20616d6f756e7420746f6f20736d616c6c45524332303a206275726e20616d6f756e7420657863656564732062616c616e636545524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e6365456e65726769546f6b656e3a20464f5242494444454e0000000000000000000045524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa265627a7a72315820d37f6bb343596132fc6906caf5d652c12234e5f957a3875d194be046a59fea3164736f6c63430005110032

0x608060405234801561001057600080fd5b506004361061014d5760003560e01c8063695d3985116100c3578063a457c2d71161007c578063a457c2d7146103d6578063a9059cbb14610402578063b84c82461461042e578063c47f00271461049e578063dd62ed3e1461050e578063fbfa77cf1461053c5761014d565b8063695d39851461034857806370a08231146103505780638da5cb5b1461037657806395d89b411461039a5780639dc29fac146103a25780639f027e73146103ce5761014d565b806323b872dd1161011557806323b872dd14610259578063313ce5671461028f57806339509351146102ad57806340c10f19146102d9578063464f2e99146103055780636817031b146103225761014d565b806306fdde0314610152578063095ea7b3146101cf57806313af40351461020f578063158ef93e1461023757806318160ddd1461023f575b600080fd5b61015a610544565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561019457818101518382015260200161017c565b50505050905090810190601f1680156101c15780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101fb600480360360408110156101e557600080fd5b506001600160a01b0381351690602001356105d2565b604080519115158252519081900360200190f35b6102356004803603602081101561022557600080fd5b50356001600160a01b03166105ef565b005b6101fb61065e565b61024761066c565b60408051918252519081900360200190f35b6101fb6004803603606081101561026f57600080fd5b506001600160a01b03813581169160208101359091169060400135610673565b61029761075e565b6040805160ff9092168252519081900360200190f35b6101fb600480360360408110156102c357600080fd5b506001600160a01b038135169060200135610767565b610235600480360360408110156102ef57600080fd5b506001600160a01b0381351690602001356107bb565b6102356004803603602081101561031b57600080fd5b5035610816565b6102356004803603602081101561033857600080fd5b50356001600160a01b0316610868565b6101fb6108df565b6102476004803603602081101561036657600080fd5b50356001600160a01b03166108e8565b61037e610903565b604080516001600160a01b039092168252519081900360200190f35b61015a610912565b610235600480360360408110156103b857600080fd5b506001600160a01b03813516906020013561096d565b6102476109c4565b6101fb600480360360408110156103ec57600080fd5b506001600160a01b0381351690602001356109ca565b6101fb6004803603604081101561041857600080fd5b506001600160a01b038135169060200135610a38565b6102356004803603602081101561044457600080fd5b81019060208101813564010000000081111561045f57600080fd5b82018360208201111561047157600080fd5b8035906020019184600183028401116401000000008311171561049357600080fd5b509092509050610aaa565b610235600480360360208110156104b457600080fd5b8101906020810181356401000000008111156104cf57600080fd5b8201836020820111156104e157600080fd5b8035906020019184600183028401116401000000008311171561050357600080fd5b509092509050610b08565b6102476004803603604081101561052457600080fd5b506001600160a01b0381358116916020013516610b61565b61037e610b8c565b6004805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156105ca5780601f1061059f576101008083540402835291602001916105ca565b820191906000526020600020905b8154815290600101906020018083116105ad57829003601f168201915b505050505081565b60006105e66105df610ba1565b8484610ba5565b50600192915050565b6003546001600160a01b0316331461063c576040805162461bcd60e51b81526020600482015260166024820152600080516020611261833981519152604482015290519081900360640190fd5b600380546001600160a01b0319166001600160a01b0392909216919091179055565b600654610100900460ff1681565b6002545b90565b6006546000906001600160a01b03848116620100009092041614156106d3576007548210156106d35760405162461bcd60e51b81526004018080602001828103825260288152602001806111cf6028913960400191505060405180910390fd5b6106de848484610c91565b610754846106ea610ba1565b61074f85604051806060016040528060288152602001611281602891396001600160a01b038a16600090815260016020526040812090610728610ba1565b6001600160a01b03168152602081019190915260400160002054919063ffffffff610ded16565b610ba5565b5060019392505050565b60065460ff1681565b60006105e6610774610ba1565b8461074f8560016000610785610ba1565b6001600160a01b03908116825260208083019390935260409182016000908120918c16815292529020549063ffffffff610e8416565b6003546001600160a01b03163314610808576040805162461bcd60e51b81526020600482015260166024820152600080516020611261833981519152604482015290519081900360640190fd5b6108128282610ee5565b5050565b6003546001600160a01b03163314610863576040805162461bcd60e51b81526020600482015260166024820152600080516020611261833981519152604482015290519081900360640190fd5b600755565b6003546001600160a01b031633146108b5576040805162461bcd60e51b81526020600482015260166024820152600080516020611261833981519152604482015290519081900360640190fd5b600680546001600160a01b03909216620100000262010000600160b01b0319909216919091179055565b60085460ff1681565b6001600160a01b031660009081526020819052604090205490565b6003546001600160a01b031681565b6005805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156105ca5780601f1061059f576101008083540402835291602001916105ca565b6003546001600160a01b031633146109ba576040805162461bcd60e51b81526020600482015260166024820152600080516020611261833981519152604482015290519081900360640190fd5b6108128282610fd5565b60075481565b60006105e66109d7610ba1565b8461074f856040518060600160405280602581526020016113136025913960016000610a01610ba1565b6001600160a01b03908116825260208083019390935260409182016000908120918d1681529252902054919063ffffffff610ded16565b6006546000906001600160a01b0384811662010000909204161415610a9857600754821015610a985760405162461bcd60e51b81526004018080602001828103825260288152602001806111cf6028913960400191505060405180910390fd5b6105e6610aa3610ba1565b8484610c91565b6003546001600160a01b03163314610af7576040805162461bcd60e51b81526020600482015260166024820152600080516020611261833981519152604482015290519081900360640190fd5b610b0360058383611113565b505050565b6003546001600160a01b03163314610b55576040805162461bcd60e51b81526020600482015260166024820152600080516020611261833981519152604482015290519081900360640190fd5b610b0360048383611113565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6006546201000090046001600160a01b031681565b3390565b6001600160a01b038316610bea5760405162461bcd60e51b81526004018080602001828103825260248152602001806112ef6024913960400191505060405180910390fd5b6001600160a01b038216610c2f5760405162461bcd60e51b81526004018080602001828103825260228152602001806112196022913960400191505060405180910390fd5b6001600160a01b03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b038316610cd65760405162461bcd60e51b81526004018080602001828103825260258152602001806112ca6025913960400191505060405180910390fd5b6001600160a01b038216610d1b5760405162461bcd60e51b81526004018080602001828103825260238152602001806111ac6023913960400191505060405180910390fd5b610d5e8160405180606001604052806026815260200161123b602691396001600160a01b038616600090815260208190526040902054919063ffffffff610ded16565b6001600160a01b038085166000908152602081905260408082209390935590841681522054610d93908263ffffffff610e8416565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b60008184841115610e7c5760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015610e41578181015183820152602001610e29565b50505050905090810190601f168015610e6e5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b600082820183811015610ede576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b6001600160a01b038216610f40576040805162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b600254610f53908263ffffffff610e8416565b6002556001600160a01b038216600090815260208190526040902054610f7f908263ffffffff610e8416565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6001600160a01b03821661101a5760405162461bcd60e51b81526004018080602001828103825260218152602001806112a96021913960400191505060405180910390fd5b61105d816040518060600160405280602281526020016111f7602291396001600160a01b038516600090815260208190526040902054919063ffffffff610ded16565b6001600160a01b038316600090815260208190526040902055600254611089908263ffffffff6110d116565b6002556040805182815290516000916001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b6000610ede83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610ded565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106111545782800160ff19823516178555611181565b82800160010185558215611181579182015b82811115611181578235825591602001919060010190611166565b5061118d929150611191565b5090565b61067091905b8082111561118d576000815560010161119756fe45524332303a207472616e7366657220746f20746865207a65726f2061646472657373456e65726769546f6b656e3a20726564656d7074696f6e20616d6f756e7420746f6f20736d616c6c45524332303a206275726e20616d6f756e7420657863656564732062616c616e636545524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e6365456e65726769546f6b656e3a20464f5242494444454e0000000000000000000045524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa265627a7a72315820d37f6bb343596132fc6906caf5d652c12234e5f957a3875d194be046a59fea3164736f6c63430005110032

770:2199:2:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;770:2199:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;903:18;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;903:18:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2529:149:1;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2529:149:1;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;1481:84:2;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1481:84:2;-1:-1:-1;;;;;1481:84:2;;:::i;:::-;;1079:30;;;:::i;1564:89:1:-;;;:::i;:::-;;;;;;;;;;;;;;;;2526:441:2;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2526:441:2;;;;;;;;;;;;;;;;;:::i;1019:21::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3861:207:1;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3861:207:1;;;;;;;;:::i;2000:106:2:-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2000:106:2;;;;;;;;:::i;1857:137::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1857:137:2;;:::i;1767:84::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1767:84:2;-1:-1:-1;;;;;1767:84:2;;:::i;1286:37::-;;;:::i;1711:108:1:-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1711:108:1;-1:-1:-1;;;;;1711:108:1;;:::i;844:20:2:-;;;:::i;:::-;;;;-1:-1:-1;;;;;844:20:2;;;;;;;;;;;;;;960;;;:::i;2112:106::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2112:106:2;;;;;;;;:::i;1216:31::-;;;:::i;4555:258:1:-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;4555:258:1;;;;;;;;:::i;2224:296:2:-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2224:296:2;;;;;;;;:::i;1665:96::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1665:96:2;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;1665:96:2;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;1665:96:2;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;-1:-1;1665:96:2;;-1:-1:-1;1665:96:2;-1:-1:-1;1665:96:2;:::i;1571:88::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1571:88:2;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;1571:88:2;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;1571:88:2;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;-1:-1;1571:88:2;;-1:-1:-1;1571:88:2;-1:-1:-1;1571:88:2;:::i;2259:132:1:-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2259:132:1;;;;;;;;;;:::i;1157:20:2:-;;;:::i;903:18::-;;;;;;;;;;;;;;;-1:-1:-1;;903:18:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2529:149:1:-;2595:4;2611:39;2620:12;:10;:12::i;:::-;2634:7;2643:6;2611:8;:39::i;:::-;-1:-1:-1;2667:4:1;2529:149;;;;:::o;1481:84:2:-;1425:5;;-1:-1:-1;;;;;1425:5:2;1411:10;:19;1403:54;;;;;-1:-1:-1;;;1403:54:2;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1403:54:2;;;;;;;;;;;;;;;1544:5;:14;;-1:-1:-1;;;;;;1544:14:2;-1:-1:-1;;;;;1544:14:2;;;;;;;;;;1481:84::o;1079:30::-;;;;;;;;;:::o;1564:89:1:-;1634:12;;1564:89;;:::o;2526:441:2:-;2649:5;;2617:4;;-1:-1:-1;;;;;2636:18:2;;;2649:5;;;;;2636:18;2633:130;;;2688:19;;2678:6;:29;;2670:82;;;;-1:-1:-1;;;2670:82:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2772:36;2782:6;2790:9;2801:6;2772:9;:36::i;:::-;2818:121;2827:6;2835:12;:10;:12::i;:::-;2849:89;2887:6;2849:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;2849:19:2;;;;;;:11;:19;;;;;;2869:12;:10;:12::i;:::-;-1:-1:-1;;;;;2849:33:2;;;;;;;;;;;;-1:-1:-1;2849:33:2;;;:89;;:37;:89;:::i;:::-;2818:8;:121::i;:::-;-1:-1:-1;2956:4:2;2526:441;;;;;:::o;1019:21::-;;;;;;:::o;3861:207:1:-;3941:4;3957:83;3966:12;:10;:12::i;:::-;3980:7;3989:50;4028:10;3989:11;:25;4001:12;:10;:12::i;:::-;-1:-1:-1;;;;;3989:25:1;;;;;;;;;;;;;;;;;-1:-1:-1;3989:25:1;;;:34;;;;;;;;;;;:50;:38;:50;:::i;2000:106:2:-;1425:5;;-1:-1:-1;;;;;1425:5:2;1411:10;:19;1403:54;;;;;-1:-1:-1;;;1403:54:2;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1403:54:2;;;;;;;;;;;;;;;2075:24;2081:9;2092:6;2075:5;:24::i;:::-;2000:106;;:::o;1857:137::-;1425:5;;-1:-1:-1;;;;;1425:5:2;1411:10;:19;1403:54;;;;;-1:-1:-1;;;1403:54:2;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1403:54:2;;;;;;;;;;;;;;;1945:19;:42;1857:137::o;1767:84::-;1425:5;;-1:-1:-1;;;;;1425:5:2;1411:10;:19;1403:54;;;;;-1:-1:-1;;;1403:54:2;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1403:54:2;;;;;;;;;;;;;;;1830:5;:14;;-1:-1:-1;;;;;1830:14:2;;;;;-1:-1:-1;;;;;;1830:14:2;;;;;;;;;1767:84::o;1286:37::-;;;;;;:::o;1711:108:1:-;-1:-1:-1;;;;;1794:18:1;1768:7;1794:18;;;;;;;;;;;;1711:108::o;844:20:2:-;;;-1:-1:-1;;;;;844:20:2;;:::o;960:::-;;;;;;;;;;;;;;;-1:-1:-1;;960:20:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2112:106;1425:5;;-1:-1:-1;;;;;1425:5:2;1411:10;:19;1403:54;;;;;-1:-1:-1;;;1403:54:2;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1403:54:2;;;;;;;;;;;;;;;2187:24;2193:9;2204:6;2187:5;:24::i;1216:31::-;;;;:::o;4555:258:1:-;4640:4;4656:129;4665:12;:10;:12::i;:::-;4679:7;4688:96;4727:15;4688:96;;;;;;;;;;;;;;;;;:11;:25;4700:12;:10;:12::i;:::-;-1:-1:-1;;;;;4688:25:1;;;;;;;;;;;;;;;;;-1:-1:-1;4688:25:1;;;:34;;;;;;;;;;;:96;;:38;:96;:::i;2224:296:2:-;2327:5;;2295:4;;-1:-1:-1;;;;;2314:18:2;;;2327:5;;;;;2314:18;2311:130;;;2366:19;;2356:6;:29;;2348:82;;;;-1:-1:-1;;;2348:82:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2450:42;2460:12;:10;:12::i;:::-;2474:9;2485:6;2450:9;:42::i;1665:96::-;1425:5;;-1:-1:-1;;;;;1425:5:2;1411:10;:19;1403:54;;;;;-1:-1:-1;;;1403:54:2;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1403:54:2;;;;;;;;;;;;;;;1738:16;:6;1747:7;;1738:16;:::i;:::-;;1665:96;;:::o;1571:88::-;1425:5;;-1:-1:-1;;;;;1425:5:2;1411:10;:19;1403:54;;;;;-1:-1:-1;;;1403:54:2;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;1403:54:2;;;;;;;;;;;;;;;1640:12;:4;1647:5;;1640:12;:::i;2259:132:1:-;-1:-1:-1;;;;;2357:18:1;;;2331:7;2357:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;2259:132::o;1157:20:2:-;;;;;;-1:-1:-1;;;;;1157:20:2;;:::o;1467:96:0:-;1546:10;1467:96;:::o;7409:332:1:-;-1:-1:-1;;;;;7502:19:1;;7494:68;;;;-1:-1:-1;;;7494:68:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7580:21:1;;7572:68;;;;-1:-1:-1;;;7572:68:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7651:18:1;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7702:32;;;;;;;;;;;;;;;;;7409:332;;;:::o;5287:464::-;-1:-1:-1;;;;;5384:20:1;;5376:70;;;;-1:-1:-1;;;5376:70:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;5464:23:1;;5456:71;;;;-1:-1:-1;;;5456:71:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5558;5580:6;5558:71;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;5558:17:1;;:9;:17;;;;;;;;;;;;:71;;:21;:71;:::i;:::-;-1:-1:-1;;;;;5538:17:1;;;:9;:17;;;;;;;;;;;:91;;;;5662:20;;;;;;;:32;;5687:6;5662:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;5639:20:1;;;:9;:20;;;;;;;;;;;;:55;;;;5709:35;;;;;;;5639:20;;5709:35;;;;;;;;;;;;;5287:464;;;:::o;2410:187:5:-;2496:7;2531:12;2523:6;;;;2515:29;;;;-1:-1:-1;;;2515:29:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;2515:29:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;2566:5:5;;;2410:187::o;1512:176::-;1570:7;1601:5;;;1624:6;;;;1616:46;;;;;-1:-1:-1;;;1616:46:5;;;;;;;;;;;;;;;;;;;;;;;;;;;;1680:1;1512:176;-1:-1:-1;;;1512:176:5:o;6021:302:1:-;-1:-1:-1;;;;;6096:21:1;;6088:65;;;;;-1:-1:-1;;;6088:65:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;6179:12;;:24;;6196:6;6179:24;:16;:24;:::i;:::-;6164:12;:39;-1:-1:-1;;;;;6234:18:1;;:9;:18;;;;;;;;;;;:30;;6257:6;6234:30;:22;:30;:::i;:::-;-1:-1:-1;;;;;6213:18:1;;:9;:18;;;;;;;;;;;:51;;;;6279:37;;;;;;;6213:18;;:9;;6279:37;;;;;;;;;;6021:302;;:::o;6642:342::-;-1:-1:-1;;;;;6717:21:1;;6709:67;;;;-1:-1:-1;;;6709:67:1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6808:68;6831:6;6808:68;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6808:18:1;;:9;:18;;;;;;;;;;;;:68;;:22;:68;:::i;:::-;-1:-1:-1;;;;;6787:18:1;;:9;:18;;;;;;;;;;:89;6901:12;;:24;;6918:6;6901:24;:16;:24;:::i;:::-;6886:12;:39;6940:37;;;;;;;;6966:1;;-1:-1:-1;;;;;6940:37:1;;;;;;;;;;;;6642:342;;:::o;1952:134:5:-;2010:7;2036:43;2040:1;2043;2036:43;;;;;;;;;;;;;;;;;:3;:43::i;770:2199:2:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;770:2199:2;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;770:2199:2;;;-1:-1:-1;770:2199:2;:::i;:::-;;;:::o;:::-;;;;;;;;;;;;;;;;;

bzzr://d37f6bb343596132fc6906caf5d652c12234e5f957a3875d194be046a59fea31