Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-05-11
*/

// SPDX-License-Identifier: MIT
pragma solidity  0.8.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 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.
 */
 abstract contract Context {
     function _msgSender() internal view virtual returns (address) {
         return msg.sender;
     }

     function _msgData() internal view virtual returns (bytes calldata) {
         return msg.data;
     }
 }

/**
 * @dev Interface of the ERC20 standard as defined in the EIP. Does not include
 * the optional functions; to access them see {ERC20Detailed}.
 */
interface IERC20 {
    /**
     * @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);
}

/**
 * @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;
    }
}

/**
 * @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 ERC20 is Context, IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;

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

    uint256 private _totalSupply;

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

    /**
     * @dev See {IERC20-balanceOf}.
     */
    function balanceOf(address account) public override 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 override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    /**
     * @dev See {IERC20-allowance}.
     */
    function allowance(address owner, address spender) public override 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 override 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 override 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);
    }

}

contract PlenaToken is ERC20 {

    string public constant name = "PLENA";
    string public constant symbol = "PLENA";
    uint8 public constant decimals = 18;

    constructor(address owner, uint256 totalTokensAmount) {
        // mint totalTokensAmount times 10^decimals for owner
        _mint(owner, totalTokensAmount  * (10 ** uint256(decimals)));
    }

    function burn(uint256 amount) public {
        _burn(_msgSender(), amount);
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"uint256","name":"totalTokensAmount","type":"uint256"}],"stateMutability":"nonpayable","type":"constructor"},{"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"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"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"}],"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b5060405162001c1a38038062001c1a83398181016040528101906200003791906200029c565b6200006882601260ff16600a6200004f91906200049c565b836200005c9190620005d9565b6200007060201b60201c565b5050620006e8565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415620000e3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620000da9062000394565b60405180910390fd5b620000ff816002546200020b60201b620006961790919060201c565b6002819055506200015d816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200020b60201b620006961790919060201c565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620001ff9190620003b6565b60405180910390a35050565b60008082846200021c9190620003e4565b90508381101562000264576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200025b9062000372565b60405180910390fd5b8091505092915050565b6000815190506200027f81620006b4565b92915050565b6000815190506200029681620006ce565b92915050565b60008060408385031215620002b057600080fd5b6000620002c0858286016200026e565b9250506020620002d38582860162000285565b9150509250929050565b6000620002ec601b83620003d3565b91507f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006000830152602082019050919050565b60006200032e601f83620003d3565b91507f45524332303a206d696e7420746f20746865207a65726f2061646472657373006000830152602082019050919050565b6200036c816200066e565b82525050565b600060208201905081810360008301526200038d81620002dd565b9050919050565b60006020820190508181036000830152620003af816200031f565b9050919050565b6000602082019050620003cd600083018462000361565b92915050565b600082825260208201905092915050565b6000620003f1826200066e565b9150620003fe836200066e565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111562000436576200043562000678565b5b828201905092915050565b6000808291508390505b600185111562000493578086048111156200046b576200046a62000678565b5b60018516156200047b5780820291505b80810290506200048b85620006a7565b94506200044b565b94509492505050565b6000620004a9826200066e565b9150620004b6836200066e565b9250620004e57fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484620004ed565b905092915050565b600082620004ff5760019050620005d2565b816200050f5760009050620005d2565b8160018114620005285760028114620005335762000569565b6001915050620005d2565b60ff84111562000548576200054762000678565b5b8360020a91508482111562000562576200056162000678565b5b50620005d2565b5060208310610133831016604e8410600b8410161715620005a35782820a9050838111156200059d576200059c62000678565b5b620005d2565b620005b2848484600162000441565b92509050818404811115620005cc57620005cb62000678565b5b81810290505b9392505050565b6000620005e6826200066e565b9150620005f3836200066e565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156200062f576200062e62000678565b5b828202905092915050565b600062000647826200064e565b9050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b620006bf816200063a565b8114620006cb57600080fd5b50565b620006d9816200066e565b8114620006e557600080fd5b50565b61152280620006f86000396000f3fe608060405234801561001057600080fd5b50600436106100b45760003560e01c806342966c681161007157806342966c68146101a357806370a08231146101bf57806395d89b41146101ef578063a457c2d71461020d578063a9059cbb1461023d578063dd62ed3e1461026d576100b4565b806306fdde03146100b9578063095ea7b3146100d757806318160ddd1461010757806323b872dd14610125578063313ce567146101555780633950935114610173575b600080fd5b6100c161029d565b6040516100ce91906111a3565b60405180910390f35b6100f160048036038101906100ec9190610e7f565b6102d6565b6040516100fe9190611188565b60405180910390f35b61010f6102f4565b60405161011c9190611285565b60405180910390f35b61013f600480360381019061013a9190610e30565b6102fe565b60405161014c9190611188565b60405180910390f35b61015d6103d7565b60405161016a91906112a0565b60405180910390f35b61018d60048036038101906101889190610e7f565b6103dc565b60405161019a9190611188565b60405180910390f35b6101bd60048036038101906101b89190610ebb565b61048f565b005b6101d960048036038101906101d49190610dcb565b6104a3565b6040516101e69190611285565b60405180910390f35b6101f76104eb565b60405161020491906111a3565b60405180910390f35b61022760048036038101906102229190610e7f565b610524565b6040516102349190611188565b60405180910390f35b61025760048036038101906102529190610e7f565b6105f1565b6040516102649190611188565b60405180910390f35b61028760048036038101906102829190610df4565b61060f565b6040516102949190611285565b60405180910390f35b6040518060400160405280600581526020017f504c454e4100000000000000000000000000000000000000000000000000000081525081565b60006102ea6102e36106f4565b84846106fc565b6001905092915050565b6000600254905090565b600061030b8484846108c7565b6103cc846103176106f4565b6103c7856040518060600160405280602881526020016114a060289139600160008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600061037d6106f4565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b519092919063ffffffff16565b6106fc565b600190509392505050565b601281565b60006104856103e96106f4565b8461048085600160006103fa6106f4565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461069690919063ffffffff16565b6106fc565b6001905092915050565b6104a061049a6106f4565b82610bb5565b50565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6040518060400160405280600581526020017f504c454e4100000000000000000000000000000000000000000000000000000081525081565b60006105e76105316106f4565b846105e2856040518060600160405280602581526020016114c8602591396001600061055b6106f4565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b519092919063ffffffff16565b6106fc565b6001905092915050565b60006106056105fe6106f4565b84846108c7565b6001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008082846106a591906112d7565b9050838110156106ea576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106e190611205565b60405180910390fd5b8091505092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561076c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161076390611265565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156107dc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107d3906111e5565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516108ba9190611285565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610937576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161092e90611245565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156109a7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099e906111c5565b60405180910390fd5b610a128160405180606001604052806026815260200161147a602691396000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b519092919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610aa5816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461069690919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610b449190611285565b60405180910390a3505050565b6000838311158290610b99576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b9091906111a3565b60405180910390fd5b5060008385610ba8919061132d565b9050809150509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610c25576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c1c90611225565b60405180910390fd5b610c9081604051806060016040528060228152602001611458602291396000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b519092919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ce781600254610d5790919063ffffffff16565b600281905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610d4b9190611285565b60405180910390a35050565b6000610d9983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610b51565b905092915050565b600081359050610db081611429565b92915050565b600081359050610dc581611440565b92915050565b600060208284031215610ddd57600080fd5b6000610deb84828501610da1565b91505092915050565b60008060408385031215610e0757600080fd5b6000610e1585828601610da1565b9250506020610e2685828601610da1565b9150509250929050565b600080600060608486031215610e4557600080fd5b6000610e5386828701610da1565b9350506020610e6486828701610da1565b9250506040610e7586828701610db6565b9150509250925092565b60008060408385031215610e9257600080fd5b6000610ea085828601610da1565b9250506020610eb185828601610db6565b9150509250929050565b600060208284031215610ecd57600080fd5b6000610edb84828501610db6565b91505092915050565b610eed81611373565b82525050565b6000610efe826112bb565b610f0881856112c6565b9350610f188185602086016113b6565b610f2181611418565b840191505092915050565b6000610f396023836112c6565b91507f45524332303a207472616e7366657220746f20746865207a65726f206164647260008301527f65737300000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610f9f6022836112c6565b91507f45524332303a20617070726f766520746f20746865207a65726f20616464726560008301527f73730000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000611005601b836112c6565b91507f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006000830152602082019050919050565b60006110456021836112c6565b91507f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008301527f73000000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006110ab6025836112c6565b91507f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008301527f64726573730000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006111116024836112c6565b91507f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008301527f72657373000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6111738161139f565b82525050565b611182816113a9565b82525050565b600060208201905061119d6000830184610ee4565b92915050565b600060208201905081810360008301526111bd8184610ef3565b905092915050565b600060208201905081810360008301526111de81610f2c565b9050919050565b600060208201905081810360008301526111fe81610f92565b9050919050565b6000602082019050818103600083015261121e81610ff8565b9050919050565b6000602082019050818103600083015261123e81611038565b9050919050565b6000602082019050818103600083015261125e8161109e565b9050919050565b6000602082019050818103600083015261127e81611104565b9050919050565b600060208201905061129a600083018461116a565b92915050565b60006020820190506112b56000830184611179565b92915050565b600081519050919050565b600082825260208201905092915050565b60006112e28261139f565b91506112ed8361139f565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115611322576113216113e9565b5b828201905092915050565b60006113388261139f565b91506113438361139f565b925082821015611356576113556113e9565b5b828203905092915050565b600061136c8261137f565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b838110156113d45780820151818401526020810190506113b9565b838111156113e3576000848401525b50505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000601f19601f8301169050919050565b61143281611361565b811461143d57600080fd5b50565b6114498161139f565b811461145457600080fd5b5056fe45524332303a206275726e20616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa26469706673582212201b60ef4d6cb4fe77fb2af22fcc2f2ff8cf620a256c7eec0c30afa6c4d3ff6c8464736f6c63430008000033000000000000000000000000f7da5270bfe7af7adc0aecfceda9fe715c27e8d30000000000000000000000000000000000000000000000000000000059682f00

0x608060405234801561001057600080fd5b50600436106100b45760003560e01c806342966c681161007157806342966c68146101a357806370a08231146101bf57806395d89b41146101ef578063a457c2d71461020d578063a9059cbb1461023d578063dd62ed3e1461026d576100b4565b806306fdde03146100b9578063095ea7b3146100d757806318160ddd1461010757806323b872dd14610125578063313ce567146101555780633950935114610173575b600080fd5b6100c161029d565b6040516100ce91906111a3565b60405180910390f35b6100f160048036038101906100ec9190610e7f565b6102d6565b6040516100fe9190611188565b60405180910390f35b61010f6102f4565b60405161011c9190611285565b60405180910390f35b61013f600480360381019061013a9190610e30565b6102fe565b60405161014c9190611188565b60405180910390f35b61015d6103d7565b60405161016a91906112a0565b60405180910390f35b61018d60048036038101906101889190610e7f565b6103dc565b60405161019a9190611188565b60405180910390f35b6101bd60048036038101906101b89190610ebb565b61048f565b005b6101d960048036038101906101d49190610dcb565b6104a3565b6040516101e69190611285565b60405180910390f35b6101f76104eb565b60405161020491906111a3565b60405180910390f35b61022760048036038101906102229190610e7f565b610524565b6040516102349190611188565b60405180910390f35b61025760048036038101906102529190610e7f565b6105f1565b6040516102649190611188565b60405180910390f35b61028760048036038101906102829190610df4565b61060f565b6040516102949190611285565b60405180910390f35b6040518060400160405280600581526020017f504c454e4100000000000000000000000000000000000000000000000000000081525081565b60006102ea6102e36106f4565b84846106fc565b6001905092915050565b6000600254905090565b600061030b8484846108c7565b6103cc846103176106f4565b6103c7856040518060600160405280602881526020016114a060289139600160008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600061037d6106f4565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b519092919063ffffffff16565b6106fc565b600190509392505050565b601281565b60006104856103e96106f4565b8461048085600160006103fa6106f4565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461069690919063ffffffff16565b6106fc565b6001905092915050565b6104a061049a6106f4565b82610bb5565b50565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b6040518060400160405280600581526020017f504c454e4100000000000000000000000000000000000000000000000000000081525081565b60006105e76105316106f4565b846105e2856040518060600160405280602581526020016114c8602591396001600061055b6106f4565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b519092919063ffffffff16565b6106fc565b6001905092915050565b60006106056105fe6106f4565b84846108c7565b6001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b60008082846106a591906112d7565b9050838110156106ea576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106e190611205565b60405180910390fd5b8091505092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561076c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161076390611265565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156107dc576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107d3906111e5565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516108ba9190611285565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610937576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161092e90611245565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156109a7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099e906111c5565b60405180910390fd5b610a128160405180606001604052806026815260200161147a602691396000808773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b519092919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610aa5816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461069690919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610b449190611285565b60405180910390a3505050565b6000838311158290610b99576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b9091906111a3565b60405180910390fd5b5060008385610ba8919061132d565b9050809150509392505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610c25576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c1c90611225565b60405180910390fd5b610c9081604051806060016040528060228152602001611458602291396000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054610b519092919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ce781600254610d5790919063ffffffff16565b600281905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610d4b9190611285565b60405180910390a35050565b6000610d9983836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610b51565b905092915050565b600081359050610db081611429565b92915050565b600081359050610dc581611440565b92915050565b600060208284031215610ddd57600080fd5b6000610deb84828501610da1565b91505092915050565b60008060408385031215610e0757600080fd5b6000610e1585828601610da1565b9250506020610e2685828601610da1565b9150509250929050565b600080600060608486031215610e4557600080fd5b6000610e5386828701610da1565b9350506020610e6486828701610da1565b9250506040610e7586828701610db6565b9150509250925092565b60008060408385031215610e9257600080fd5b6000610ea085828601610da1565b9250506020610eb185828601610db6565b9150509250929050565b600060208284031215610ecd57600080fd5b6000610edb84828501610db6565b91505092915050565b610eed81611373565b82525050565b6000610efe826112bb565b610f0881856112c6565b9350610f188185602086016113b6565b610f2181611418565b840191505092915050565b6000610f396023836112c6565b91507f45524332303a207472616e7366657220746f20746865207a65726f206164647260008301527f65737300000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000610f9f6022836112c6565b91507f45524332303a20617070726f766520746f20746865207a65726f20616464726560008301527f73730000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6000611005601b836112c6565b91507f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006000830152602082019050919050565b60006110456021836112c6565b91507f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008301527f73000000000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006110ab6025836112c6565b91507f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008301527f64726573730000000000000000000000000000000000000000000000000000006020830152604082019050919050565b60006111116024836112c6565b91507f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008301527f72657373000000000000000000000000000000000000000000000000000000006020830152604082019050919050565b6111738161139f565b82525050565b611182816113a9565b82525050565b600060208201905061119d6000830184610ee4565b92915050565b600060208201905081810360008301526111bd8184610ef3565b905092915050565b600060208201905081810360008301526111de81610f2c565b9050919050565b600060208201905081810360008301526111fe81610f92565b9050919050565b6000602082019050818103600083015261121e81610ff8565b9050919050565b6000602082019050818103600083015261123e81611038565b9050919050565b6000602082019050818103600083015261125e8161109e565b9050919050565b6000602082019050818103600083015261127e81611104565b9050919050565b600060208201905061129a600083018461116a565b92915050565b60006020820190506112b56000830184611179565b92915050565b600081519050919050565b600082825260208201905092915050565b60006112e28261139f565b91506112ed8361139f565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115611322576113216113e9565b5b828201905092915050565b60006113388261139f565b91506113438361139f565b925082821015611356576113556113e9565b5b828203905092915050565b600061136c8261137f565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b838110156113d45780820151818401526020810190506113b9565b838111156113e3576000848401525b50505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000601f19601f8301169050919050565b61143281611361565b811461143d57600080fd5b50565b6114498161139f565b811461145457600080fd5b5056fe45524332303a206275726e20616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e636545524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa26469706673582212201b60ef4d6cb4fe77fb2af22fcc2f2ff8cf620a256c7eec0c30afa6c4d3ff6c8464736f6c63430008000033

000000000000000000000000f7da5270bfe7af7adc0aecfceda9fe715c27e8d30000000000000000000000000000000000000000000000000000000059682f00

-----Decoded View---------------
Arg [0] : owner (address): 0xf7da5270BfE7AF7aDc0aEcFCeDa9Fe715C27e8D3
Arg [1] : totalTokensAmount (uint256): 1500000000

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 000000000000000000000000f7da5270bfe7af7adc0aecfceda9fe715c27e8d3
Arg [1] : 0000000000000000000000000000000000000000000000000000000059682f00

16888:464:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16926:37;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11540:161;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10525:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12173:313;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;17016:35;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12895:210;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;17264:83;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;10688:119;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;16970:39;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13608:261;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11020:167;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11250:143;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;16926:37;;;;;;;;;;;;;;;;;;;:::o;11540:161::-;11615:4;11632:39;11641:12;:10;:12::i;:::-;11655:7;11664:6;11632:8;:39::i;:::-;11689:4;11682:11;;11540:161;;;;:::o;10525:100::-;10578:7;10605:12;;10598:19;;10525:100;:::o;12173:313::-;12271:4;12288:36;12298:6;12306:9;12317:6;12288:9;:36::i;:::-;12335:121;12344:6;12352:12;:10;:12::i;:::-;12366:89;12404:6;12366:89;;;;;;;;;;;;;;;;;:11;:19;12378:6;12366:19;;;;;;;;;;;;;;;:33;12386:12;:10;:12::i;:::-;12366:33;;;;;;;;;;;;;;;;:37;;:89;;;;;:::i;:::-;12335:8;:121::i;:::-;12474:4;12467:11;;12173:313;;;;;:::o;17016:35::-;17049:2;17016:35;:::o;12895:210::-;12975:4;12992:83;13001:12;:10;:12::i;:::-;13015:7;13024:50;13063:10;13024:11;:25;13036:12;:10;:12::i;:::-;13024:25;;;;;;;;;;;;;;;:34;13050:7;13024:34;;;;;;;;;;;;;;;;:38;;:50;;;;:::i;:::-;12992:8;:83::i;:::-;13093:4;13086:11;;12895:210;;;;:::o;17264:83::-;17312:27;17318:12;:10;:12::i;:::-;17332:6;17312:5;:27::i;:::-;17264:83;:::o;10688:119::-;10754:7;10781:9;:18;10791:7;10781:18;;;;;;;;;;;;;;;;10774:25;;10688:119;;;:::o;16970:39::-;;;;;;;;;;;;;;;;;;;:::o;13608:261::-;13693:4;13710:129;13719:12;:10;:12::i;:::-;13733:7;13742:96;13781:15;13742:96;;;;;;;;;;;;;;;;;:11;:25;13754:12;:10;:12::i;:::-;13742:25;;;;;;;;;;;;;;;:34;13768:7;13742:34;;;;;;;;;;;;;;;;:38;;:96;;;;;:::i;:::-;13710:8;:129::i;:::-;13857:4;13850:11;;13608:261;;;;:::o;11020:167::-;11098:4;11115:42;11125:12;:10;:12::i;:::-;11139:9;11150:6;11115:9;:42::i;:::-;11175:4;11168:11;;11020:167;;;;:::o;11250:143::-;11331:7;11358:11;:18;11370:5;11358:18;;;;;;;;;;;;;;;:27;11377:7;11358:27;;;;;;;;;;;;;;;;11351:34;;11250:143;;;;:::o;4448:181::-;4506:7;4526:9;4542:1;4538;:5;;;;:::i;:::-;4526:17;;4567:1;4562;:6;;4554:46;;;;;;;;;;;;:::i;:::-;;;;;;;;;4620:1;4613:8;;;4448:181;;;;:::o;602:100::-;655:7;683:10;676:17;;602:100;:::o;16541:338::-;16652:1;16635:19;;:5;:19;;;;16627:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;16733:1;16714:21;;:7;:21;;;;16706:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;16817:6;16787:11;:18;16799:5;16787:18;;;;;;;;;;;;;;;:27;16806:7;16787:27;;;;;;;;;;;;;;;:36;;;;16855:7;16839:32;;16848:5;16839:32;;;16864:6;16839:32;;;;;;:::i;:::-;;;;;;;;16541:338;;;:::o;14359:471::-;14475:1;14457:20;;:6;:20;;;;14449:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;14559:1;14538:23;;:9;:23;;;;14530:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;14634;14656:6;14634:71;;;;;;;;;;;;;;;;;:9;:17;14644:6;14634:17;;;;;;;;;;;;;;;;:21;;:71;;;;;:::i;:::-;14614:9;:17;14624:6;14614:17;;;;;;;;;;;;;;;:91;;;;14739:32;14764:6;14739:9;:20;14749:9;14739:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;14716:9;:20;14726:9;14716:20;;;;;;;;;;;;;;;:55;;;;14804:9;14787:35;;14796:6;14787:35;;;14815:6;14787:35;;;;;;:::i;:::-;;;;;;;;14359:471;;;:::o;5377:192::-;5463:7;5496:1;5491;:6;;5499:12;5483:29;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;5523:9;5539:1;5535;:5;;;;:::i;:::-;5523:17;;5560:1;5553:8;;;5377:192;;;;;:::o;15751:348::-;15846:1;15827:21;;:7;:21;;;;15819:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;15920:68;15943:6;15920:68;;;;;;;;;;;;;;;;;:9;:18;15930:7;15920:18;;;;;;;;;;;;;;;;:22;;:68;;;;;:::i;:::-;15899:9;:18;15909:7;15899:18;;;;;;;;;;;;;;;:89;;;;16014:24;16031:6;16014:12;;:16;;:24;;;;:::i;:::-;15999:12;:39;;;;16080:1;16054:37;;16063:7;16054:37;;;16084:6;16054:37;;;;;;:::i;:::-;;;;;;;;15751:348;;:::o;4904:136::-;4962:7;4989:43;4993:1;4996;4989:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;4982:50;;4904:136;;;;:::o;7:139:1:-;;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;59:87;;;;:::o;152:139::-;;236:6;223:20;214:29;;252:33;279:5;252:33;:::i;:::-;204:87;;;;:::o;297:262::-;;405:2;393:9;384:7;380:23;376:32;373:2;;;421:1;418;411:12;373:2;464:1;489:53;534:7;525:6;514:9;510:22;489:53;:::i;:::-;479:63;;435:117;363:196;;;;:::o;565:407::-;;;690:2;678:9;669:7;665:23;661:32;658:2;;;706:1;703;696:12;658:2;749:1;774:53;819:7;810:6;799:9;795:22;774:53;:::i;:::-;764:63;;720:117;876:2;902:53;947:7;938:6;927:9;923:22;902:53;:::i;:::-;892:63;;847:118;648:324;;;;;:::o;978:552::-;;;;1120:2;1108:9;1099:7;1095:23;1091:32;1088:2;;;1136:1;1133;1126:12;1088:2;1179:1;1204:53;1249:7;1240:6;1229:9;1225:22;1204:53;:::i;:::-;1194:63;;1150:117;1306:2;1332:53;1377:7;1368:6;1357:9;1353:22;1332:53;:::i;:::-;1322:63;;1277:118;1434:2;1460:53;1505:7;1496:6;1485:9;1481:22;1460:53;:::i;:::-;1450:63;;1405:118;1078:452;;;;;:::o;1536:407::-;;;1661:2;1649:9;1640:7;1636:23;1632:32;1629:2;;;1677:1;1674;1667:12;1629:2;1720:1;1745:53;1790:7;1781:6;1770:9;1766:22;1745:53;:::i;:::-;1735:63;;1691:117;1847:2;1873:53;1918:7;1909:6;1898:9;1894:22;1873:53;:::i;:::-;1863:63;;1818:118;1619:324;;;;;:::o;1949:262::-;;2057:2;2045:9;2036:7;2032:23;2028:32;2025:2;;;2073:1;2070;2063:12;2025:2;2116:1;2141:53;2186:7;2177:6;2166:9;2162:22;2141:53;:::i;:::-;2131:63;;2087:117;2015:196;;;;:::o;2217:109::-;2298:21;2313:5;2298:21;:::i;:::-;2293:3;2286:34;2276:50;;:::o;2332:364::-;;2448:39;2481:5;2448:39;:::i;:::-;2503:71;2567:6;2562:3;2503:71;:::i;:::-;2496:78;;2583:52;2628:6;2623:3;2616:4;2609:5;2605:16;2583:52;:::i;:::-;2660:29;2682:6;2660:29;:::i;:::-;2655:3;2651:39;2644:46;;2424:272;;;;;:::o;2702:367::-;;2865:67;2929:2;2924:3;2865:67;:::i;:::-;2858:74;;2962:34;2958:1;2953:3;2949:11;2942:55;3028:5;3023:2;3018:3;3014:12;3007:27;3060:2;3055:3;3051:12;3044:19;;2848:221;;;:::o;3075:366::-;;3238:67;3302:2;3297:3;3238:67;:::i;:::-;3231:74;;3335:34;3331:1;3326:3;3322:11;3315:55;3401:4;3396:2;3391:3;3387:12;3380:26;3432:2;3427:3;3423:12;3416:19;;3221:220;;;:::o;3447:325::-;;3610:67;3674:2;3669:3;3610:67;:::i;:::-;3603:74;;3707:29;3703:1;3698:3;3694:11;3687:50;3763:2;3758:3;3754:12;3747:19;;3593:179;;;:::o;3778:365::-;;3941:67;4005:2;4000:3;3941:67;:::i;:::-;3934:74;;4038:34;4034:1;4029:3;4025:11;4018:55;4104:3;4099:2;4094:3;4090:12;4083:25;4134:2;4129:3;4125:12;4118:19;;3924:219;;;:::o;4149:369::-;;4312:67;4376:2;4371:3;4312:67;:::i;:::-;4305:74;;4409:34;4405:1;4400:3;4396:11;4389:55;4475:7;4470:2;4465:3;4461:12;4454:29;4509:2;4504:3;4500:12;4493:19;;4295:223;;;:::o;4524:368::-;;4687:67;4751:2;4746:3;4687:67;:::i;:::-;4680:74;;4784:34;4780:1;4775:3;4771:11;4764:55;4850:6;4845:2;4840:3;4836:12;4829:28;4883:2;4878:3;4874:12;4867:19;;4670:222;;;:::o;4898:118::-;4985:24;5003:5;4985:24;:::i;:::-;4980:3;4973:37;4963:53;;:::o;5022:112::-;5105:22;5121:5;5105:22;:::i;:::-;5100:3;5093:35;5083:51;;:::o;5140:210::-;;5265:2;5254:9;5250:18;5242:26;;5278:65;5340:1;5329:9;5325:17;5316:6;5278:65;:::i;:::-;5232:118;;;;:::o;5356:313::-;;5507:2;5496:9;5492:18;5484:26;;5556:9;5550:4;5546:20;5542:1;5531:9;5527:17;5520:47;5584:78;5657:4;5648:6;5584:78;:::i;:::-;5576:86;;5474:195;;;;:::o;5675:419::-;;5879:2;5868:9;5864:18;5856:26;;5928:9;5922:4;5918:20;5914:1;5903:9;5899:17;5892:47;5956:131;6082:4;5956:131;:::i;:::-;5948:139;;5846:248;;;:::o;6100:419::-;;6304:2;6293:9;6289:18;6281:26;;6353:9;6347:4;6343:20;6339:1;6328:9;6324:17;6317:47;6381:131;6507:4;6381:131;:::i;:::-;6373:139;;6271:248;;;:::o;6525:419::-;;6729:2;6718:9;6714:18;6706:26;;6778:9;6772:4;6768:20;6764:1;6753:9;6749:17;6742:47;6806:131;6932:4;6806:131;:::i;:::-;6798:139;;6696:248;;;:::o;6950:419::-;;7154:2;7143:9;7139:18;7131:26;;7203:9;7197:4;7193:20;7189:1;7178:9;7174:17;7167:47;7231:131;7357:4;7231:131;:::i;:::-;7223:139;;7121:248;;;:::o;7375:419::-;;7579:2;7568:9;7564:18;7556:26;;7628:9;7622:4;7618:20;7614:1;7603:9;7599:17;7592:47;7656:131;7782:4;7656:131;:::i;:::-;7648:139;;7546:248;;;:::o;7800:419::-;;8004:2;7993:9;7989:18;7981:26;;8053:9;8047:4;8043:20;8039:1;8028:9;8024:17;8017:47;8081:131;8207:4;8081:131;:::i;:::-;8073:139;;7971:248;;;:::o;8225:222::-;;8356:2;8345:9;8341:18;8333:26;;8369:71;8437:1;8426:9;8422:17;8413:6;8369:71;:::i;:::-;8323:124;;;;:::o;8453:214::-;;8580:2;8569:9;8565:18;8557:26;;8593:67;8657:1;8646:9;8642:17;8633:6;8593:67;:::i;:::-;8547:120;;;;:::o;8673:99::-;;8759:5;8753:12;8743:22;;8732:40;;;:::o;8778:169::-;;8896:6;8891:3;8884:19;8936:4;8931:3;8927:14;8912:29;;8874:73;;;;:::o;8953:305::-;;9012:20;9030:1;9012:20;:::i;:::-;9007:25;;9046:20;9064:1;9046:20;:::i;:::-;9041:25;;9200:1;9132:66;9128:74;9125:1;9122:81;9119:2;;;9206:18;;:::i;:::-;9119:2;9250:1;9247;9243:9;9236:16;;8997:261;;;;:::o;9264:191::-;;9324:20;9342:1;9324:20;:::i;:::-;9319:25;;9358:20;9376:1;9358:20;:::i;:::-;9353:25;;9397:1;9394;9391:8;9388:2;;;9402:18;;:::i;:::-;9388:2;9447:1;9444;9440:9;9432:17;;9309:146;;;;:::o;9461:96::-;;9527:24;9545:5;9527:24;:::i;:::-;9516:35;;9506:51;;;:::o;9563:90::-;;9640:5;9633:13;9626:21;9615:32;;9605:48;;;:::o;9659:126::-;;9736:42;9729:5;9725:54;9714:65;;9704:81;;;:::o;9791:77::-;;9857:5;9846:16;;9836:32;;;:::o;9874:86::-;;9949:4;9942:5;9938:16;9927:27;;9917:43;;;:::o;9966:307::-;10034:1;10044:113;10058:6;10055:1;10052:13;10044:113;;;10143:1;10138:3;10134:11;10128:18;10124:1;10119:3;10115:11;10108:39;10080:2;10077:1;10073:10;10068:15;;10044:113;;;10175:6;10172:1;10169:13;10166:2;;;10255:1;10246:6;10241:3;10237:16;10230:27;10166:2;10015:258;;;;:::o;10279:180::-;10327:77;10324:1;10317:88;10424:4;10421:1;10414:15;10448:4;10445:1;10438:15;10465:102;;10557:2;10553:7;10548:2;10541:5;10537:14;10533:28;10523:38;;10513:54;;;:::o;10573:122::-;10646:24;10664:5;10646:24;:::i;:::-;10639:5;10636:35;10626:2;;10685:1;10682;10675:12;10626:2;10616:79;:::o;10701:122::-;10774:24;10792:5;10774:24;:::i;:::-;10767:5;10764:35;10754:2;;10813:1;10810;10803:12;10754:2;10744:79;:::o

ipfs://1b60ef4d6cb4fe77fb2af22fcc2f2ff8cf620a256c7eec0c30afa6c4d3ff6c84