Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.10;

import "./IAISocietyToken.sol";

contract AIS is IAISocietyToken {
    constructor(
        string memory _name,
        string memory _symbol,
        uint256 _amount
    ) ERC20(_name, _symbol) {
        setMaxSupply(_amount * 10**decimals());
        _mint(_msgSender(), maxSupply());
    }

    //Don't accept ETH or BNB
    receive() external payable {
        revert("Don't accept ETH or BNB");
    }
}

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.10;

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

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.10;

import "./IERC20.sol";
import "./IERC20Metadata.sol";
import "./Context.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 {ERC20PresetMinterPauser}.
 *
 * 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, IERC20Metadata {
    mapping(address => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

    /**
     * @dev Sets the values for {name} and {symbol}.
     *
     * The default value of {decimals} is 18. To select a different value for
     * {decimals} you should overload it.
     *
     * All two of these values are immutable: they can only be set once during
     * construction.
     */
    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

    /**
     * @dev Returns the name of the token.
     */
    function name() public view virtual override returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view virtual override returns (string memory) {
        return _symbol;
    }

    /**
     * @dev Returns the number of decimals used to get its user representation.
     * For example, if `decimals` equals `2`, a balance of `505` tokens should
     * be displayed to a user as `5,05` (`505 / 10 ** 2`).
     *
     * Tokens usually opt for a value of 18, imitating the relationship between
     * Ether and Wei. This is the value {ERC20} uses, unless this function is
     * overridden;
     *
     * NOTE: This information is only used for _display_ purposes: it in
     * no way affects any of the arithmetic of the contract, including
     * {IERC20-balanceOf} and {IERC20-transfer}.
     */
    function decimals() public view virtual override returns (uint8) {
        return 18;
    }

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

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

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

    /**
     * @dev See {IERC20-approve}.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount) public virtual 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 virtual override returns (bool) {
        _transfer(sender, recipient, amount);

        uint256 currentAllowance = _allowances[sender][_msgSender()];
        require(currentAllowance >= amount, "ERC20: transfer amount exceeds allowance");
        unchecked {
            _approve(sender, _msgSender(), currentAllowance - amount);
        }

        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 virtual returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender] + 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 virtual returns (bool) {
        uint256 currentAllowance = _allowances[_msgSender()][spender];
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(_msgSender(), spender, currentAllowance - subtractedValue);
        }

        return true;
    }

    /**
     * @dev Moves `amount` of tokens from `sender` to `recipient`.
     *
     * This 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 virtual {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _beforeTokenTransfer(sender, recipient, amount);

        uint256 senderBalance = _balances[sender];
        require(senderBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[sender] = senderBalance - amount;
        }
        _balances[recipient] += amount;

        emit Transfer(sender, recipient, amount);

        _afterTokenTransfer(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:
     *
     * - `account` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: mint to the zero address");

        _beforeTokenTransfer(address(0), account, amount);

        _totalSupply += amount;
        _balances[account] += amount;
        emit Transfer(address(0), account, amount);

        _afterTokenTransfer(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 virtual {
        require(account != address(0), "ERC20: burn from the zero address");

        _beforeTokenTransfer(account, address(0), amount);

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn amount exceeds balance");
        unchecked {
            _balances[account] = accountBalance - amount;
        }
        _totalSupply -= amount;

        emit Transfer(account, address(0), amount);

        _afterTokenTransfer(account, address(0), amount);
    }

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner` s tokens.
     *
     * This 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 virtual {
        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 Hook that is called before any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * will be transferred to `to`.
     * - when `from` is zero, `amount` tokens will be minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens will be burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}

    /**
     * @dev Hook that is called after any transfer of tokens. This includes
     * minting and burning.
     *
     * Calling conditions:
     *
     * - when `from` and `to` are both non-zero, `amount` of ``from``'s tokens
     * has been transferred to `to`.
     * - when `from` is zero, `amount` tokens have been minted for `to`.
     * - when `to` is zero, `amount` of ``from``'s tokens have been burned.
     * - `from` and `to` are never both zero.
     *
     * To learn more about hooks, head to xref:ROOT:extending-contracts.adoc#using-hooks[Using Hooks].
     */
    function _afterTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}
}

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.10;

import "./ERC20.sol";
import "./Pausable.sol";
import "./Ownable.sol";

contract HasMinters is Ownable {
    event MinterAdded(address indexed _minter);
    event MinterRemoved(address indexed _minter);

    address[] public minters;
    mapping(address => bool) public minter;

    modifier onlyMinter() {
        require(minter[msg.sender], "invalid minter");
        _;
    }

    function addMinters(address[] memory _addedMinters) public onlyOwner {
        address _minter;

        for (uint256 i = 0; i < _addedMinters.length; i++) {
            _minter = _addedMinters[i];

            if (!minter[_minter]) {
                minters.push(_minter);
                minter[_minter] = true;
                emit MinterAdded(_minter);
            }
        }
    }

    function removeMinters(address[] memory _removedMinters) public onlyOwner {
        address _minter;

        for (uint256 it = 0; it < _removedMinters.length; it++) {
            _minter = _removedMinters[it];

            if (minter[_minter]) {
                minter[_minter] = false;
                emit MinterRemoved(_minter);
            }
        }

        uint256 i = 0;

        while (i < minters.length) {
            _minter = minters[i];

            if (!minter[_minter]) {
                minters[i] = minters[minters.length - 1];
                delete minters[minters.length - 1];
                // minters.length--;
            } else {
                i++;
            }
        }
    }

    function isMinter(address _addr) public view returns (bool) {
        return minter[_addr];
    }
}

abstract contract IAISocietyToken is ERC20, Pausable, Ownable, HasMinters {
    uint256 private _maxSupply;

    function setMaxSupply(uint256 amount) internal onlyOwner {
        _maxSupply = amount;
    }

    function maxSupply() public view returns (uint256) {
        return _maxSupply;
    }

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

    function mint(address to, uint256 amount) public virtual onlyMinter {
        require(totalSupply() + amount <= _maxSupply, "over maxSupply");
        _mint(to, amount);
    }

    function burnFrom(address account, uint256 amount) public virtual {
        uint256 currentAllowance = allowance(account, _msgSender());
        require(currentAllowance >= amount, "ERC20: burn amount exceeds allowance");
        unchecked {
            _approve(account, _msgSender(), currentAllowance - amount);
        }
        _burn(account, amount);
    }

    function _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual override {
        super._beforeTokenTransfer(from, to, amount);

        require(!paused(), "ERC20Pausable : token transfer while paused");
    }

    function stop() public onlyOwner {
        _pause();
    }

    function start() public onlyOwner {
        _unpause();
    }
}

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.10;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
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);
}

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.10;

import "./IERC20.sol";

/**
 * @dev Interface for the optional metadata functions from the ERC20 standard.
 *
 * _Available since v4.1._
 */
interface IERC20Metadata is IERC20 {
    /**
     * @dev Returns the name of the token.
     */
    function name() external view returns (string memory);

    /**
     * @dev Returns the symbol of the token.
     */
    function symbol() external view returns (string memory);

    /**
     * @dev Returns the decimals places of the token.
     */
    function decimals() external view returns (uint8);
}

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.10;

import "./Context.sol";

/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * By default, the owner account will be the one that deploys the contract. This
 * can later be changed with {transferOwnership}.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
abstract contract Ownable is Context {
    address private _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() {
        _setOwner(_msgSender());
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view virtual returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby removing any functionality that is only available to the owner.
     */
    function renounceOwnership() public virtual onlyOwner {
        _setOwner(address(0));
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        _setOwner(newOwner);
    }

    function _setOwner(address newOwner) private {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.10;

import "./Context.sol";

/**
 * @dev Contract module which allows children to implement an emergency stop
 * mechanism that can be triggered by an authorized account.
 *
 * This module is used through inheritance. It will make available the
 * modifiers `whenNotPaused` and `whenPaused`, which can be applied to
 * the functions of your contract. Note that they will not be pausable by
 * simply including this module, only once the modifiers are put in place.
 */
abstract contract Pausable is Context {
    /**
     * @dev Emitted when the pause is triggered by `account`.
     */
    event Paused(address account);

    /**
     * @dev Emitted when the pause is lifted by `account`.
     */
    event Unpaused(address account);

    bool private _paused;

    /**
     * @dev Initializes the contract in unpaused state.
     */
    constructor() {
        _paused = false;
    }

    /**
     * @dev Returns true if the contract is paused, and false otherwise.
     */
    function paused() public view virtual returns (bool) {
        return _paused;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is not paused.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    modifier whenNotPaused() {
        require(!paused(), "Pausable: paused");
        _;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is paused.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    modifier whenPaused() {
        require(paused(), "Pausable: not paused");
        _;
    }

    /**
     * @dev Triggers stopped state.
     *
     * Requirements:
     *
     * - The contract must not be paused.
     */
    function _pause() internal virtual whenNotPaused {
        _paused = true;
        emit Paused(_msgSender());
    }

    /**
     * @dev Returns to normal state.
     *
     * Requirements:
     *
     * - The contract must be paused.
     */
    function _unpause() internal virtual whenPaused {
        _paused = false;
        emit Unpaused(_msgSender());
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"string","name":"_name","type":"string"},{"internalType":"string","name":"_symbol","type":"string"},{"internalType":"uint256","name":"_amount","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":"_minter","type":"address"}],"name":"MinterAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"_minter","type":"address"}],"name":"MinterRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Paused","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"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"inputs":[{"internalType":"address[]","name":"_addedMinters","type":"address[]"}],"name":"addMinters","outputs":[],"stateMutability":"nonpayable","type":"function"},{"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":[{"internalType":"address","name":"account","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burnFrom","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":[{"internalType":"address","name":"_addr","type":"address"}],"name":"isMinter","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"minter","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"minters","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"paused","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address[]","name":"_removedMinters","type":"address[]"}],"name":"removeMinters","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"start","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"stop","outputs":[],"stateMutability":"nonpayable","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"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040523480156200001157600080fd5b5060405162003d1638038062003d16833981810160405281019062000037919062000752565b8282816003908051906020019062000051929190620004ca565b5080600490805190602001906200006a929190620004ca565b5050506000600560006101000a81548160ff021916908315150217905550620000a86200009c6200011c60201b60201c565b6200012460201b60201c565b620000e3620000bc620001ea60201b60201c565b600a620000ca91906200097c565b82620000d79190620009cd565b620001f360201b60201c565b62000113620000f76200011c60201b60201c565b620001076200028c60201b60201c565b6200029660201b60201c565b50505062000cab565b600033905090565b6000600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b60006012905090565b620002036200011c60201b60201c565b73ffffffffffffffffffffffffffffffffffffffff16620002296200040f60201b60201c565b73ffffffffffffffffffffffffffffffffffffffff161462000282576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620002799062000a8f565b60405180910390fd5b8060088190555050565b6000600854905090565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141562000309576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401620003009062000b01565b60405180910390fd5b6200031d600083836200043960201b60201c565b806002600082825462000331919062000b23565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825462000388919062000b23565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620003ef919062000b91565b60405180910390a36200040b60008383620004a960201b60201c565b5050565b6000600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b62000451838383620004ae60201b620015ed1760201c565b62000461620004b360201b60201c565b15620004a4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200049b9062000c24565b60405180910390fd5b505050565b505050565b505050565b6000600560009054906101000a900460ff16905090565b828054620004d89062000c75565b90600052602060002090601f016020900481019282620004fc576000855562000548565b82601f106200051757805160ff191683800117855562000548565b8280016001018555821562000548579182015b82811115620005475782518255916020019190600101906200052a565b5b5090506200055791906200055b565b5090565b5b80821115620005765760008160009055506001016200055c565b5090565b6000604051905090565b600080fd5b600080fd5b600080fd5b600080fd5b6000601f19601f8301169050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b620005e38262000598565b810181811067ffffffffffffffff82111715620006055762000604620005a9565b5b80604052505050565b60006200061a6200057a565b9050620006288282620005d8565b919050565b600067ffffffffffffffff8211156200064b576200064a620005a9565b5b620006568262000598565b9050602081019050919050565b60005b838110156200068357808201518184015260208101905062000666565b8381111562000693576000848401525b50505050565b6000620006b0620006aa846200062d565b6200060e565b905082815260208101848484011115620006cf57620006ce62000593565b5b620006dc84828562000663565b509392505050565b600082601f830112620006fc57620006fb6200058e565b5b81516200070e84826020860162000699565b91505092915050565b6000819050919050565b6200072c8162000717565b81146200073857600080fd5b50565b6000815190506200074c8162000721565b92915050565b6000806000606084860312156200076e576200076d62000584565b5b600084015167ffffffffffffffff8111156200078f576200078e62000589565b5b6200079d86828701620006e4565b935050602084015167ffffffffffffffff811115620007c157620007c062000589565b5b620007cf86828701620006e4565b9250506040620007e2868287016200073b565b9150509250925092565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60008160011c9050919050565b6000808291508390505b60018511156200087a57808604811115620008525762000851620007ec565b5b6001851615620008625780820291505b808102905062000872856200081b565b945062000832565b94509492505050565b60008262000895576001905062000968565b81620008a5576000905062000968565b8160018114620008be5760028114620008c957620008ff565b600191505062000968565b60ff841115620008de57620008dd620007ec565b5b8360020a915084821115620008f857620008f7620007ec565b5b5062000968565b5060208310610133831016604e8410600b8410161715620009395782820a905083811115620009335762000932620007ec565b5b62000968565b62000948848484600162000828565b92509050818404811115620009625762000961620007ec565b5b81810290505b9392505050565b600060ff82169050919050565b6000620009898262000717565b915062000996836200096f565b9250620009c57fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848462000883565b905092915050565b6000620009da8262000717565b9150620009e78362000717565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff048311821515161562000a235762000a22620007ec565b5b828202905092915050565b600082825260208201905092915050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b600062000a7760208362000a2e565b915062000a848262000a3f565b602082019050919050565b6000602082019050818103600083015262000aaa8162000a68565b9050919050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b600062000ae9601f8362000a2e565b915062000af68262000ab1565b602082019050919050565b6000602082019050818103600083015262000b1c8162000ada565b9050919050565b600062000b308262000717565b915062000b3d8362000717565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111562000b755762000b74620007ec565b5b828201905092915050565b62000b8b8162000717565b82525050565b600060208201905062000ba8600083018462000b80565b92915050565b7f45524332305061757361626c65203a20746f6b656e207472616e73666572207760008201527f68696c6520706175736564000000000000000000000000000000000000000000602082015250565b600062000c0c602b8362000a2e565b915062000c198262000bae565b604082019050919050565b6000602082019050818103600083015262000c3f8162000bfd565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168062000c8e57607f821691505b6020821081141562000ca55762000ca462000c46565b5b50919050565b61305b8062000cbb6000396000f3fe6080604052600436106101855760003560e01c8063715018a6116100d1578063a457c2d71161008a578063be9a655511610064578063be9a6555146105ec578063d5abeb0114610603578063dd62ed3e1461062e578063f2fde38b1461066b576101c5565b8063a457c2d714610535578063a9059cbb14610572578063aa271e1a146105af576101c5565b8063715018a61461043957806371e2a6571461045057806379cc6790146104795780638623ec7b146104a25780638da5cb5b146104df57806395d89b411461050a576101c5565b8063395093511161013e57806342966c681161011857806342966c681461037f5780635c975abb146103a85780635fc1964f146103d357806370a08231146103fc576101c5565b806339509351146102dc5780633dd08c381461031957806340c10f1914610356576101c5565b806306fdde03146101ca57806307da68f5146101f5578063095ea7b31461020c57806318160ddd1461024957806323b872dd14610274578063313ce567146102b1576101c5565b366101c5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101bc90612042565b60405180910390fd5b600080fd5b3480156101d657600080fd5b506101df610694565b6040516101ec91906120ea565b60405180910390f35b34801561020157600080fd5b5061020a610726565b005b34801561021857600080fd5b50610233600480360381019061022e91906121b4565b6107ac565b604051610240919061220f565b60405180910390f35b34801561025557600080fd5b5061025e6107ca565b60405161026b9190612239565b60405180910390f35b34801561028057600080fd5b5061029b60048036038101906102969190612254565b6107d4565b6040516102a8919061220f565b60405180910390f35b3480156102bd57600080fd5b506102c66108cc565b6040516102d391906122c3565b60405180910390f35b3480156102e857600080fd5b5061030360048036038101906102fe91906121b4565b6108d5565b604051610310919061220f565b60405180910390f35b34801561032557600080fd5b50610340600480360381019061033b91906122de565b610981565b60405161034d919061220f565b60405180910390f35b34801561036257600080fd5b5061037d600480360381019061037891906121b4565b6109a1565b005b34801561038b57600080fd5b506103a660048036038101906103a1919061230b565b610a92565b005b3480156103b457600080fd5b506103bd610aa6565b6040516103ca919061220f565b60405180910390f35b3480156103df57600080fd5b506103fa60048036038101906103f59190612480565b610abd565b005b34801561040857600080fd5b50610423600480360381019061041e91906122de565b610e27565b6040516104309190612239565b60405180910390f35b34801561044557600080fd5b5061044e610e6f565b005b34801561045c57600080fd5b5061047760048036038101906104729190612480565b610ef7565b005b34801561048557600080fd5b506104a0600480360381019061049b91906121b4565b611109565b005b3480156104ae57600080fd5b506104c960048036038101906104c4919061230b565b611184565b6040516104d691906124d8565b60405180910390f35b3480156104eb57600080fd5b506104f46111c3565b60405161050191906124d8565b60405180910390f35b34801561051657600080fd5b5061051f6111ed565b60405161052c91906120ea565b60405180910390f35b34801561054157600080fd5b5061055c600480360381019061055791906121b4565b61127f565b604051610569919061220f565b60405180910390f35b34801561057e57600080fd5b50610599600480360381019061059491906121b4565b61136a565b6040516105a6919061220f565b60405180910390f35b3480156105bb57600080fd5b506105d660048036038101906105d191906122de565b611388565b6040516105e3919061220f565b60405180910390f35b3480156105f857600080fd5b506106016113de565b005b34801561060f57600080fd5b50610618611464565b6040516106259190612239565b60405180910390f35b34801561063a57600080fd5b50610655600480360381019061065091906124f3565b61146e565b6040516106629190612239565b60405180910390f35b34801561067757600080fd5b50610692600480360381019061068d91906122de565b6114f5565b005b6060600380546106a390612562565b80601f01602080910402602001604051908101604052809291908181526020018280546106cf90612562565b801561071c5780601f106106f15761010080835404028352916020019161071c565b820191906000526020600020905b8154815290600101906020018083116106ff57829003601f168201915b5050505050905090565b61072e6115f2565b73ffffffffffffffffffffffffffffffffffffffff1661074c6111c3565b73ffffffffffffffffffffffffffffffffffffffff16146107a2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610799906125e0565b60405180910390fd5b6107aa6115fa565b565b60006107c06107b96115f2565b848461169d565b6001905092915050565b6000600254905090565b60006107e1848484611868565b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600061082c6115f2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050828110156108ac576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108a390612672565b60405180910390fd5b6108c0856108b86115f2565b85840361169d565b60019150509392505050565b60006012905090565b60006109776108e26115f2565b8484600160006108f06115f2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461097291906126c1565b61169d565b6001905092915050565b60076020528060005260406000206000915054906101000a900460ff1681565b600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16610a2d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a2490612763565b60405180910390fd5b60085481610a396107ca565b610a4391906126c1565b1115610a84576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a7b906127cf565b60405180910390fd5b610a8e8282611ae9565b5050565b610aa3610a9d6115f2565b82611c49565b50565b6000600560009054906101000a900460ff16905090565b610ac56115f2565b73ffffffffffffffffffffffffffffffffffffffff16610ae36111c3565b73ffffffffffffffffffffffffffffffffffffffff1614610b39576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b30906125e0565b60405180910390fd5b600080600090505b8251811015610c6857828181518110610b5d57610b5c6127ef565b5b60200260200101519150600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615610c55576000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167fe94479a9f7e1952cc78f2d6baab678adc1b772d936c6583def489e524cb6669260405160405180910390a25b8080610c609061281e565b915050610b41565b5060005b600680549050811015610e225760068181548110610c8d57610c8c6127ef565b5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169150600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16610e0e5760066001600680549050610d1f9190612867565b81548110610d3057610d2f6127ef565b5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660068281548110610d6f57610d6e6127ef565b5b9060005260206000200160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060066001600680549050610dcb9190612867565b81548110610ddc57610ddb6127ef565b5b9060005260206000200160006101000a81549073ffffffffffffffffffffffffffffffffffffffff0219169055610e1d565b8080610e199061281e565b9150505b610c6c565b505050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610e776115f2565b73ffffffffffffffffffffffffffffffffffffffff16610e956111c3565b73ffffffffffffffffffffffffffffffffffffffff1614610eeb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ee2906125e0565b60405180910390fd5b610ef56000611e20565b565b610eff6115f2565b73ffffffffffffffffffffffffffffffffffffffff16610f1d6111c3565b73ffffffffffffffffffffffffffffffffffffffff1614610f73576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f6a906125e0565b60405180910390fd5b600080600090505b825181101561110457828181518110610f9757610f966127ef565b5b60200260200101519150600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff166110f1576006829080600181540180825580915050600190039060005260206000200160009091909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167f6ae172837ea30b801fbfcdd4108aa1d5bf8ff775444fd70256b44e6bf3dfc3f660405160405180910390a25b80806110fc9061281e565b915050610f7b565b505050565b600061111c836111176115f2565b61146e565b905081811015611161576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111589061290d565b60405180910390fd5b6111758361116d6115f2565b84840361169d565b61117f8383611c49565b505050565b6006818154811061119457600080fd5b906000526020600020016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600480546111fc90612562565b80601f016020809104026020016040519081016040528092919081815260200182805461122890612562565b80156112755780601f1061124a57610100808354040283529160200191611275565b820191906000526020600020905b81548152906001019060200180831161125857829003601f168201915b5050505050905090565b6000806001600061128e6115f2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508281101561134b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113429061299f565b60405180910390fd5b61135f6113566115f2565b8585840361169d565b600191505092915050565b600061137e6113776115f2565b8484611868565b6001905092915050565b6000600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b6113e66115f2565b73ffffffffffffffffffffffffffffffffffffffff166114046111c3565b73ffffffffffffffffffffffffffffffffffffffff161461145a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611451906125e0565b60405180910390fd5b611462611ee6565b565b6000600854905090565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6114fd6115f2565b73ffffffffffffffffffffffffffffffffffffffff1661151b6111c3565b73ffffffffffffffffffffffffffffffffffffffff1614611571576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611568906125e0565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156115e1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115d890612a31565b60405180910390fd5b6115ea81611e20565b50565b505050565b600033905090565b611602610aa6565b15611642576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161163990612a9d565b60405180910390fd5b6001600560006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2586116866115f2565b60405161169391906124d8565b60405180910390a1565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561170d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161170490612b2f565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561177d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161177490612bc1565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161185b9190612239565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156118d8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016118cf90612c53565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611948576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161193f90612ce5565b60405180910390fd5b611953838383611f88565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050818110156119d9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119d090612d77565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254611a6c91906126c1565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611ad09190612239565b60405180910390a3611ae3848484611fe0565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611b59576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b5090612de3565b60405180910390fd5b611b6560008383611f88565b8060026000828254611b7791906126c1565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254611bcc91906126c1565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051611c319190612239565b60405180910390a3611c4560008383611fe0565b5050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611cb9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611cb090612e75565b60405180910390fd5b611cc582600083611f88565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611d4b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d4290612f07565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508160026000828254611da29190612867565b92505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611e079190612239565b60405180910390a3611e1b83600084611fe0565b505050565b6000600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b611eee610aa6565b611f2d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611f2490612f73565b60405180910390fd5b6000600560006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa611f716115f2565b604051611f7e91906124d8565b60405180910390a1565b611f938383836115ed565b611f9b610aa6565b15611fdb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611fd290613005565b60405180910390fd5b505050565b505050565b600082825260208201905092915050565b7f446f6e27742061636365707420455448206f7220424e42000000000000000000600082015250565b600061202c601783611fe5565b915061203782611ff6565b602082019050919050565b6000602082019050818103600083015261205b8161201f565b9050919050565b600081519050919050565b60005b8381101561208b578082015181840152602081019050612070565b8381111561209a576000848401525b50505050565b6000601f19601f8301169050919050565b60006120bc82612062565b6120c68185611fe5565b93506120d681856020860161206d565b6120df816120a0565b840191505092915050565b6000602082019050818103600083015261210481846120b1565b905092915050565b6000604051905090565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061214b82612120565b9050919050565b61215b81612140565b811461216657600080fd5b50565b60008135905061217881612152565b92915050565b6000819050919050565b6121918161217e565b811461219c57600080fd5b50565b6000813590506121ae81612188565b92915050565b600080604083850312156121cb576121ca612116565b5b60006121d985828601612169565b92505060206121ea8582860161219f565b9150509250929050565b60008115159050919050565b612209816121f4565b82525050565b60006020820190506122246000830184612200565b92915050565b6122338161217e565b82525050565b600060208201905061224e600083018461222a565b92915050565b60008060006060848603121561226d5761226c612116565b5b600061227b86828701612169565b935050602061228c86828701612169565b925050604061229d8682870161219f565b9150509250925092565b600060ff82169050919050565b6122bd816122a7565b82525050565b60006020820190506122d860008301846122b4565b92915050565b6000602082840312156122f4576122f3612116565b5b600061230284828501612169565b91505092915050565b60006020828403121561232157612320612116565b5b600061232f8482850161219f565b91505092915050565b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b612375826120a0565b810181811067ffffffffffffffff821117156123945761239361233d565b5b80604052505050565b60006123a761210c565b90506123b3828261236c565b919050565b600067ffffffffffffffff8211156123d3576123d261233d565b5b602082029050602081019050919050565b600080fd5b60006123fc6123f7846123b8565b61239d565b9050808382526020820190506020840283018581111561241f5761241e6123e4565b5b835b8181101561244857806124348882612169565b845260208401935050602081019050612421565b5050509392505050565b600082601f83011261246757612466612338565b5b81356124778482602086016123e9565b91505092915050565b60006020828403121561249657612495612116565b5b600082013567ffffffffffffffff8111156124b4576124b361211b565b5b6124c084828501612452565b91505092915050565b6124d281612140565b82525050565b60006020820190506124ed60008301846124c9565b92915050565b6000806040838503121561250a57612509612116565b5b600061251885828601612169565b925050602061252985828601612169565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061257a57607f821691505b6020821081141561258e5761258d612533565b5b50919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b60006125ca602083611fe5565b91506125d582612594565b602082019050919050565b600060208201905081810360008301526125f9816125bd565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206160008201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b600061265c602883611fe5565b915061266782612600565b604082019050919050565b6000602082019050818103600083015261268b8161264f565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006126cc8261217e565b91506126d78361217e565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561270c5761270b612692565b5b828201905092915050565b7f696e76616c6964206d696e746572000000000000000000000000000000000000600082015250565b600061274d600e83611fe5565b915061275882612717565b602082019050919050565b6000602082019050818103600083015261277c81612740565b9050919050565b7f6f766572206d6178537570706c79000000000000000000000000000000000000600082015250565b60006127b9600e83611fe5565b91506127c482612783565b602082019050919050565b600060208201905081810360008301526127e8816127ac565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60006128298261217e565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82141561285c5761285b612692565b5b600182019050919050565b60006128728261217e565b915061287d8361217e565b9250828210156128905761288f612692565b5b828203905092915050565b7f45524332303a206275726e20616d6f756e74206578636565647320616c6c6f7760008201527f616e636500000000000000000000000000000000000000000000000000000000602082015250565b60006128f7602483611fe5565b91506129028261289b565b604082019050919050565b60006020820190508181036000830152612926816128ea565b9050919050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b6000612989602583611fe5565b91506129948261292d565b604082019050919050565b600060208201905081810360008301526129b88161297c565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000612a1b602683611fe5565b9150612a26826129bf565b604082019050919050565b60006020820190508181036000830152612a4a81612a0e565b9050919050565b7f5061757361626c653a2070617573656400000000000000000000000000000000600082015250565b6000612a87601083611fe5565b9150612a9282612a51565b602082019050919050565b60006020820190508181036000830152612ab681612a7a565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000612b19602483611fe5565b9150612b2482612abd565b604082019050919050565b60006020820190508181036000830152612b4881612b0c565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000612bab602283611fe5565b9150612bb682612b4f565b604082019050919050565b60006020820190508181036000830152612bda81612b9e565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000612c3d602583611fe5565b9150612c4882612be1565b604082019050919050565b60006020820190508181036000830152612c6c81612c30565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000612ccf602383611fe5565b9150612cda82612c73565b604082019050919050565b60006020820190508181036000830152612cfe81612cc2565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000612d61602683611fe5565b9150612d6c82612d05565b604082019050919050565b60006020820190508181036000830152612d9081612d54565b9050919050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6000612dcd601f83611fe5565b9150612dd882612d97565b602082019050919050565b60006020820190508181036000830152612dfc81612dc0565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b6000612e5f602183611fe5565b9150612e6a82612e03565b604082019050919050565b60006020820190508181036000830152612e8e81612e52565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b6000612ef1602283611fe5565b9150612efc82612e95565b604082019050919050565b60006020820190508181036000830152612f2081612ee4565b9050919050565b7f5061757361626c653a206e6f7420706175736564000000000000000000000000600082015250565b6000612f5d601483611fe5565b9150612f6882612f27565b602082019050919050565b60006020820190508181036000830152612f8c81612f50565b9050919050565b7f45524332305061757361626c65203a20746f6b656e207472616e73666572207760008201527f68696c6520706175736564000000000000000000000000000000000000000000602082015250565b6000612fef602b83611fe5565b9150612ffa82612f93565b604082019050919050565b6000602082019050818103600083015261301e81612fe2565b905091905056fea264697066735822122050a8ba25763fcb146782b11491e656d144f3f13c7859b21e4421599c596bf8b164736f6c634300080a0033000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000b2d05e0000000000000000000000000000000000000000000000000000000000000000094149536f6369657479000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000034149530000000000000000000000000000000000000000000000000000000000

0x6080604052600436106101855760003560e01c8063715018a6116100d1578063a457c2d71161008a578063be9a655511610064578063be9a6555146105ec578063d5abeb0114610603578063dd62ed3e1461062e578063f2fde38b1461066b576101c5565b8063a457c2d714610535578063a9059cbb14610572578063aa271e1a146105af576101c5565b8063715018a61461043957806371e2a6571461045057806379cc6790146104795780638623ec7b146104a25780638da5cb5b146104df57806395d89b411461050a576101c5565b8063395093511161013e57806342966c681161011857806342966c681461037f5780635c975abb146103a85780635fc1964f146103d357806370a08231146103fc576101c5565b806339509351146102dc5780633dd08c381461031957806340c10f1914610356576101c5565b806306fdde03146101ca57806307da68f5146101f5578063095ea7b31461020c57806318160ddd1461024957806323b872dd14610274578063313ce567146102b1576101c5565b366101c5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101bc90612042565b60405180910390fd5b600080fd5b3480156101d657600080fd5b506101df610694565b6040516101ec91906120ea565b60405180910390f35b34801561020157600080fd5b5061020a610726565b005b34801561021857600080fd5b50610233600480360381019061022e91906121b4565b6107ac565b604051610240919061220f565b60405180910390f35b34801561025557600080fd5b5061025e6107ca565b60405161026b9190612239565b60405180910390f35b34801561028057600080fd5b5061029b60048036038101906102969190612254565b6107d4565b6040516102a8919061220f565b60405180910390f35b3480156102bd57600080fd5b506102c66108cc565b6040516102d391906122c3565b60405180910390f35b3480156102e857600080fd5b5061030360048036038101906102fe91906121b4565b6108d5565b604051610310919061220f565b60405180910390f35b34801561032557600080fd5b50610340600480360381019061033b91906122de565b610981565b60405161034d919061220f565b60405180910390f35b34801561036257600080fd5b5061037d600480360381019061037891906121b4565b6109a1565b005b34801561038b57600080fd5b506103a660048036038101906103a1919061230b565b610a92565b005b3480156103b457600080fd5b506103bd610aa6565b6040516103ca919061220f565b60405180910390f35b3480156103df57600080fd5b506103fa60048036038101906103f59190612480565b610abd565b005b34801561040857600080fd5b50610423600480360381019061041e91906122de565b610e27565b6040516104309190612239565b60405180910390f35b34801561044557600080fd5b5061044e610e6f565b005b34801561045c57600080fd5b5061047760048036038101906104729190612480565b610ef7565b005b34801561048557600080fd5b506104a0600480360381019061049b91906121b4565b611109565b005b3480156104ae57600080fd5b506104c960048036038101906104c4919061230b565b611184565b6040516104d691906124d8565b60405180910390f35b3480156104eb57600080fd5b506104f46111c3565b60405161050191906124d8565b60405180910390f35b34801561051657600080fd5b5061051f6111ed565b60405161052c91906120ea565b60405180910390f35b34801561054157600080fd5b5061055c600480360381019061055791906121b4565b61127f565b604051610569919061220f565b60405180910390f35b34801561057e57600080fd5b50610599600480360381019061059491906121b4565b61136a565b6040516105a6919061220f565b60405180910390f35b3480156105bb57600080fd5b506105d660048036038101906105d191906122de565b611388565b6040516105e3919061220f565b60405180910390f35b3480156105f857600080fd5b506106016113de565b005b34801561060f57600080fd5b50610618611464565b6040516106259190612239565b60405180910390f35b34801561063a57600080fd5b50610655600480360381019061065091906124f3565b61146e565b6040516106629190612239565b60405180910390f35b34801561067757600080fd5b50610692600480360381019061068d91906122de565b6114f5565b005b6060600380546106a390612562565b80601f01602080910402602001604051908101604052809291908181526020018280546106cf90612562565b801561071c5780601f106106f15761010080835404028352916020019161071c565b820191906000526020600020905b8154815290600101906020018083116106ff57829003601f168201915b5050505050905090565b61072e6115f2565b73ffffffffffffffffffffffffffffffffffffffff1661074c6111c3565b73ffffffffffffffffffffffffffffffffffffffff16146107a2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610799906125e0565b60405180910390fd5b6107aa6115fa565b565b60006107c06107b96115f2565b848461169d565b6001905092915050565b6000600254905090565b60006107e1848484611868565b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600061082c6115f2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050828110156108ac576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108a390612672565b60405180910390fd5b6108c0856108b86115f2565b85840361169d565b60019150509392505050565b60006012905090565b60006109776108e26115f2565b8484600160006108f06115f2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461097291906126c1565b61169d565b6001905092915050565b60076020528060005260406000206000915054906101000a900460ff1681565b600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16610a2d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a2490612763565b60405180910390fd5b60085481610a396107ca565b610a4391906126c1565b1115610a84576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a7b906127cf565b60405180910390fd5b610a8e8282611ae9565b5050565b610aa3610a9d6115f2565b82611c49565b50565b6000600560009054906101000a900460ff16905090565b610ac56115f2565b73ffffffffffffffffffffffffffffffffffffffff16610ae36111c3565b73ffffffffffffffffffffffffffffffffffffffff1614610b39576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b30906125e0565b60405180910390fd5b600080600090505b8251811015610c6857828181518110610b5d57610b5c6127ef565b5b60200260200101519150600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615610c55576000600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167fe94479a9f7e1952cc78f2d6baab678adc1b772d936c6583def489e524cb6669260405160405180910390a25b8080610c609061281e565b915050610b41565b5060005b600680549050811015610e225760068181548110610c8d57610c8c6127ef565b5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169150600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16610e0e5760066001600680549050610d1f9190612867565b81548110610d3057610d2f6127ef565b5b9060005260206000200160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1660068281548110610d6f57610d6e6127ef565b5b9060005260206000200160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060066001600680549050610dcb9190612867565b81548110610ddc57610ddb6127ef565b5b9060005260206000200160006101000a81549073ffffffffffffffffffffffffffffffffffffffff0219169055610e1d565b8080610e199061281e565b9150505b610c6c565b505050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610e776115f2565b73ffffffffffffffffffffffffffffffffffffffff16610e956111c3565b73ffffffffffffffffffffffffffffffffffffffff1614610eeb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ee2906125e0565b60405180910390fd5b610ef56000611e20565b565b610eff6115f2565b73ffffffffffffffffffffffffffffffffffffffff16610f1d6111c3565b73ffffffffffffffffffffffffffffffffffffffff1614610f73576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f6a906125e0565b60405180910390fd5b600080600090505b825181101561110457828181518110610f9757610f966127ef565b5b60200260200101519150600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff166110f1576006829080600181540180825580915050600190039060005260206000200160009091909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506001600760008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055508173ffffffffffffffffffffffffffffffffffffffff167f6ae172837ea30b801fbfcdd4108aa1d5bf8ff775444fd70256b44e6bf3dfc3f660405160405180910390a25b80806110fc9061281e565b915050610f7b565b505050565b600061111c836111176115f2565b61146e565b905081811015611161576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111589061290d565b60405180910390fd5b6111758361116d6115f2565b84840361169d565b61117f8383611c49565b505050565b6006818154811061119457600080fd5b906000526020600020016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600480546111fc90612562565b80601f016020809104026020016040519081016040528092919081815260200182805461122890612562565b80156112755780601f1061124a57610100808354040283529160200191611275565b820191906000526020600020905b81548152906001019060200180831161125857829003601f168201915b5050505050905090565b6000806001600061128e6115f2565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490508281101561134b576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016113429061299f565b60405180910390fd5b61135f6113566115f2565b8585840361169d565b600191505092915050565b600061137e6113776115f2565b8484611868565b6001905092915050565b6000600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b6113e66115f2565b73ffffffffffffffffffffffffffffffffffffffff166114046111c3565b73ffffffffffffffffffffffffffffffffffffffff161461145a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611451906125e0565b60405180910390fd5b611462611ee6565b565b6000600854905090565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6114fd6115f2565b73ffffffffffffffffffffffffffffffffffffffff1661151b6111c3565b73ffffffffffffffffffffffffffffffffffffffff1614611571576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611568906125e0565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156115e1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115d890612a31565b60405180910390fd5b6115ea81611e20565b50565b505050565b600033905090565b611602610aa6565b15611642576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161163990612a9d565b60405180910390fd5b6001600560006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2586116866115f2565b60405161169391906124d8565b60405180910390a1565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561170d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161170490612b2f565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561177d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161177490612bc1565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9258360405161185b9190612239565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156118d8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016118cf90612c53565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611948576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161193f90612ce5565b60405180910390fd5b611953838383611f88565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050818110156119d9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016119d090612d77565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254611a6c91906126c1565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611ad09190612239565b60405180910390a3611ae3848484611fe0565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611b59576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611b5090612de3565b60405180910390fd5b611b6560008383611f88565b8060026000828254611b7791906126c1565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254611bcc91906126c1565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051611c319190612239565b60405180910390a3611c4560008383611fe0565b5050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611cb9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611cb090612e75565b60405180910390fd5b611cc582600083611f88565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611d4b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611d4290612f07565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508160026000828254611da29190612867565b92505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611e079190612239565b60405180910390a3611e1b83600084611fe0565b505050565b6000600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b611eee610aa6565b611f2d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611f2490612f73565b60405180910390fd5b6000600560006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa611f716115f2565b604051611f7e91906124d8565b60405180910390a1565b611f938383836115ed565b611f9b610aa6565b15611fdb576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611fd290613005565b60405180910390fd5b505050565b505050565b600082825260208201905092915050565b7f446f6e27742061636365707420455448206f7220424e42000000000000000000600082015250565b600061202c601783611fe5565b915061203782611ff6565b602082019050919050565b6000602082019050818103600083015261205b8161201f565b9050919050565b600081519050919050565b60005b8381101561208b578082015181840152602081019050612070565b8381111561209a576000848401525b50505050565b6000601f19601f8301169050919050565b60006120bc82612062565b6120c68185611fe5565b93506120d681856020860161206d565b6120df816120a0565b840191505092915050565b6000602082019050818103600083015261210481846120b1565b905092915050565b6000604051905090565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061214b82612120565b9050919050565b61215b81612140565b811461216657600080fd5b50565b60008135905061217881612152565b92915050565b6000819050919050565b6121918161217e565b811461219c57600080fd5b50565b6000813590506121ae81612188565b92915050565b600080604083850312156121cb576121ca612116565b5b60006121d985828601612169565b92505060206121ea8582860161219f565b9150509250929050565b60008115159050919050565b612209816121f4565b82525050565b60006020820190506122246000830184612200565b92915050565b6122338161217e565b82525050565b600060208201905061224e600083018461222a565b92915050565b60008060006060848603121561226d5761226c612116565b5b600061227b86828701612169565b935050602061228c86828701612169565b925050604061229d8682870161219f565b9150509250925092565b600060ff82169050919050565b6122bd816122a7565b82525050565b60006020820190506122d860008301846122b4565b92915050565b6000602082840312156122f4576122f3612116565b5b600061230284828501612169565b91505092915050565b60006020828403121561232157612320612116565b5b600061232f8482850161219f565b91505092915050565b600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b612375826120a0565b810181811067ffffffffffffffff821117156123945761239361233d565b5b80604052505050565b60006123a761210c565b90506123b3828261236c565b919050565b600067ffffffffffffffff8211156123d3576123d261233d565b5b602082029050602081019050919050565b600080fd5b60006123fc6123f7846123b8565b61239d565b9050808382526020820190506020840283018581111561241f5761241e6123e4565b5b835b8181101561244857806124348882612169565b845260208401935050602081019050612421565b5050509392505050565b600082601f83011261246757612466612338565b5b81356124778482602086016123e9565b91505092915050565b60006020828403121561249657612495612116565b5b600082013567ffffffffffffffff8111156124b4576124b361211b565b5b6124c084828501612452565b91505092915050565b6124d281612140565b82525050565b60006020820190506124ed60008301846124c9565b92915050565b6000806040838503121561250a57612509612116565b5b600061251885828601612169565b925050602061252985828601612169565b9150509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061257a57607f821691505b6020821081141561258e5761258d612533565b5b50919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b60006125ca602083611fe5565b91506125d582612594565b602082019050919050565b600060208201905081810360008301526125f9816125bd565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206160008201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b600061265c602883611fe5565b915061266782612600565b604082019050919050565b6000602082019050818103600083015261268b8161264f565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006126cc8261217e565b91506126d78361217e565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561270c5761270b612692565b5b828201905092915050565b7f696e76616c6964206d696e746572000000000000000000000000000000000000600082015250565b600061274d600e83611fe5565b915061275882612717565b602082019050919050565b6000602082019050818103600083015261277c81612740565b9050919050565b7f6f766572206d6178537570706c79000000000000000000000000000000000000600082015250565b60006127b9600e83611fe5565b91506127c482612783565b602082019050919050565b600060208201905081810360008301526127e8816127ac565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60006128298261217e565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82141561285c5761285b612692565b5b600182019050919050565b60006128728261217e565b915061287d8361217e565b9250828210156128905761288f612692565b5b828203905092915050565b7f45524332303a206275726e20616d6f756e74206578636565647320616c6c6f7760008201527f616e636500000000000000000000000000000000000000000000000000000000602082015250565b60006128f7602483611fe5565b91506129028261289b565b604082019050919050565b60006020820190508181036000830152612926816128ea565b9050919050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b6000612989602583611fe5565b91506129948261292d565b604082019050919050565b600060208201905081810360008301526129b88161297c565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b6000612a1b602683611fe5565b9150612a26826129bf565b604082019050919050565b60006020820190508181036000830152612a4a81612a0e565b9050919050565b7f5061757361626c653a2070617573656400000000000000000000000000000000600082015250565b6000612a87601083611fe5565b9150612a9282612a51565b602082019050919050565b60006020820190508181036000830152612ab681612a7a565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b6000612b19602483611fe5565b9150612b2482612abd565b604082019050919050565b60006020820190508181036000830152612b4881612b0c565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b6000612bab602283611fe5565b9150612bb682612b4f565b604082019050919050565b60006020820190508181036000830152612bda81612b9e565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b6000612c3d602583611fe5565b9150612c4882612be1565b604082019050919050565b60006020820190508181036000830152612c6c81612c30565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b6000612ccf602383611fe5565b9150612cda82612c73565b604082019050919050565b60006020820190508181036000830152612cfe81612cc2565b9050919050565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b6000612d61602683611fe5565b9150612d6c82612d05565b604082019050919050565b60006020820190508181036000830152612d9081612d54565b9050919050565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6000612dcd601f83611fe5565b9150612dd882612d97565b602082019050919050565b60006020820190508181036000830152612dfc81612dc0565b9050919050565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b6000612e5f602183611fe5565b9150612e6a82612e03565b604082019050919050565b60006020820190508181036000830152612e8e81612e52565b9050919050565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b6000612ef1602283611fe5565b9150612efc82612e95565b604082019050919050565b60006020820190508181036000830152612f2081612ee4565b9050919050565b7f5061757361626c653a206e6f7420706175736564000000000000000000000000600082015250565b6000612f5d601483611fe5565b9150612f6882612f27565b602082019050919050565b60006020820190508181036000830152612f8c81612f50565b9050919050565b7f45524332305061757361626c65203a20746f6b656e207472616e73666572207760008201527f68696c6520706175736564000000000000000000000000000000000000000000602082015250565b6000612fef602b83611fe5565b9150612ffa82612f93565b604082019050919050565b6000602082019050818103600083015261301e81612fe2565b905091905056fea264697066735822122050a8ba25763fcb146782b11491e656d144f3f13c7859b21e4421599c596bf8b164736f6c634300080a0033

000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000b2d05e0000000000000000000000000000000000000000000000000000000000000000094149536f6369657479000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000034149530000000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : _name (string): AISociety
Arg [1] : _symbol (string): AIS
Arg [2] : _amount (uint256): 3000000000

-----Encoded View---------------
7 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000000000000000060
Arg [1] : 00000000000000000000000000000000000000000000000000000000000000a0
Arg [2] : 00000000000000000000000000000000000000000000000000000000b2d05e00
Arg [3] : 0000000000000000000000000000000000000000000000000000000000000009
Arg [4] : 4149536f63696574790000000000000000000000000000000000000000000000
Arg [5] : 0000000000000000000000000000000000000000000000000000000000000003
Arg [6] : 4149530000000000000000000000000000000000000000000000000000000000

91:375:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;424:33;;;;;;;;;;:::i;:::-;;;;;;;;91:375;;;;2053:98:2;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2866:58:3;;;;;;;;;;;;;:::i;:::-;;4150:166:2;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3141:106;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4783:478;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2990:91;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5656:212;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;296:38:3;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2047:175;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1952:89;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1034:84:7;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;834:708:3;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;3305:125:2;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1598:92:6;;;;;;;;;;;;;:::i;:::-;;442:386:3;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2228:361;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;266:24;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;966:85:6;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2264:102:2;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6355:405;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3633:172;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1548:97:3;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2930:61;;;;;;;;;;;;;:::i;:::-;;1861:85;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3863:149:2;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1839:189:6;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2053:98:2;2107:13;2139:5;2132:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2053:98;:::o;2866:58:3:-;1189:12:6;:10;:12::i;:::-;1178:23;;:7;:5;:7::i;:::-;:23;;;1170:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;2909:8:3::1;:6;:8::i;:::-;2866:58::o:0;4150:166:2:-;4233:4;4249:39;4258:12;:10;:12::i;:::-;4272:7;4281:6;4249:8;:39::i;:::-;4305:4;4298:11;;4150:166;;;;:::o;3141:106::-;3202:7;3228:12;;3221:19;;3141:106;:::o;4783:478::-;4919:4;4935:36;4945:6;4953:9;4964:6;4935:9;:36::i;:::-;4982:24;5009:11;:19;5021:6;5009:19;;;;;;;;;;;;;;;:33;5029:12;:10;:12::i;:::-;5009:33;;;;;;;;;;;;;;;;4982:60;;5080:6;5060:16;:26;;5052:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;5165:57;5174:6;5182:12;:10;:12::i;:::-;5215:6;5196:16;:25;5165:8;:57::i;:::-;5250:4;5243:11;;;4783:478;;;;;:::o;2990:91::-;3048:5;3072:2;3065:9;;2990:91;:::o;5656:212::-;5744:4;5760:80;5769:12;:10;:12::i;:::-;5783:7;5829:10;5792:11;:25;5804:12;:10;:12::i;:::-;5792:25;;;;;;;;;;;;;;;:34;5818:7;5792:34;;;;;;;;;;;;;;;;:47;;;;:::i;:::-;5760:8;:80::i;:::-;5857:4;5850:11;;5656:212;;;;:::o;296:38:3:-;;;;;;;;;;;;;;;;;;;;;;:::o;2047:175::-;381:6;:18;388:10;381:18;;;;;;;;;;;;;;;;;;;;;;;;;373:45;;;;;;;;;;;;:::i;:::-;;;;;;;;;2159:10:::1;;2149:6;2133:13;:11;:13::i;:::-;:22;;;;:::i;:::-;:36;;2125:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;2198:17;2204:2;2208:6;2198:5;:17::i;:::-;2047:175:::0;;:::o;1952:89::-;2007:27;2013:12;:10;:12::i;:::-;2027:6;2007:5;:27::i;:::-;1952:89;:::o;1034:84:7:-;1081:4;1104:7;;;;;;;;;;;1097:14;;1034:84;:::o;834:708:3:-;1189:12:6;:10;:12::i;:::-;1178:23;;:7;:5;:7::i;:::-;:23;;;1170:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;918:15:3::1;949:10:::0;962:1:::1;949:14;;944:246;970:15;:22;965:2;:27;944:246;;;1024:15;1040:2;1024:19;;;;;;;;:::i;:::-;;;;;;;;1014:29;;1062:6;:15;1069:7;1062:15;;;;;;;;;;;;;;;;;;;;;;;;;1058:122;;;1115:5;1097:6;:15;1104:7;1097:15;;;;;;;;;;;;;;;;:23;;;;;;;;;;;;;;;;;;1157:7;1143:22;;;;;;;;;;;;1058:122;994:4;;;;;:::i;:::-;;;;944:246;;;;1200:9;1224:312;1235:7;:14;;;;1231:1;:18;1224:312;;;1275:7;1283:1;1275:10;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1265:20;;1305:6;:15;1312:7;1305:15;;;;;;;;;;;;;;;;;;;;;;;;;1300:226;;1353:7;1378:1;1361:7;:14;;;;:18;;;;:::i;:::-;1353:27;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1340:7;1348:1;1340:10;;;;;;;;:::i;:::-;;;;;;;;;;:40;;;;;;;;;;;;;;;;;;1405:7;1430:1;1413:7;:14;;;;:18;;;;:::i;:::-;1405:27;;;;;;;;:::i;:::-;;;;;;;;;;1398:34;;;;;;;;;;;1300:226;;;1508:3;;;;;:::i;:::-;;;;1300:226;1224:312;;;908:634;;834:708:::0;:::o;3305:125:2:-;3379:7;3405:9;:18;3415:7;3405:18;;;;;;;;;;;;;;;;3398:25;;3305:125;;;:::o;1598:92:6:-;1189:12;:10;:12::i;:::-;1178:23;;:7;:5;:7::i;:::-;:23;;;1170:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;1662:21:::1;1680:1;1662:9;:21::i;:::-;1598:92::o:0;442:386:3:-;1189:12:6;:10;:12::i;:::-;1178:23;;:7;:5;:7::i;:::-;:23;;;1170:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;521:15:3::1;552:9:::0;564:1:::1;552:13;;547:275;571:13;:20;567:1;:24;547:275;;;622:13;636:1;622:16;;;;;;;;:::i;:::-;;;;;;;;612:26;;658:6;:15;665:7;658:15;;;;;;;;;;;;;;;;;;;;;;;;;653:159;;693:7;706;693:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;750:4;732:6;:15;739:7;732:15;;;;;;;;;;;;;;;;:22;;;;;;;;;;;;;;;;;;789:7;777:20;;;;;;;;;;;;653:159;593:3;;;;;:::i;:::-;;;;547:275;;;;511:317;442:386:::0;:::o;2228:361::-;2304:24;2331:32;2341:7;2350:12;:10;:12::i;:::-;2331:9;:32::i;:::-;2304:59;;2401:6;2381:16;:26;;2373:75;;;;;;;;;;;;:::i;:::-;;;;;;;;;2482:58;2491:7;2500:12;:10;:12::i;:::-;2533:6;2514:16;:25;2482:8;:58::i;:::-;2560:22;2566:7;2575:6;2560:5;:22::i;:::-;2294:295;2228:361;;:::o;266:24::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;966:85:6:-;1012:7;1038:6;;;;;;;;;;;1031:13;;966:85;:::o;2264:102:2:-;2320:13;2352:7;2345:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2264:102;:::o;6355:405::-;6448:4;6464:24;6491:11;:25;6503:12;:10;:12::i;:::-;6491:25;;;;;;;;;;;;;;;:34;6517:7;6491:34;;;;;;;;;;;;;;;;6464:61;;6563:15;6543:16;:35;;6535:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;6654:67;6663:12;:10;:12::i;:::-;6677:7;6705:15;6686:16;:34;6654:8;:67::i;:::-;6749:4;6742:11;;;6355:405;;;;:::o;3633:172::-;3719:4;3735:42;3745:12;:10;:12::i;:::-;3759:9;3770:6;3735:9;:42::i;:::-;3794:4;3787:11;;3633:172;;;;:::o;1548:97:3:-;1602:4;1625:6;:13;1632:5;1625:13;;;;;;;;;;;;;;;;;;;;;;;;;1618:20;;1548:97;;;:::o;2930:61::-;1189:12:6;:10;:12::i;:::-;1178:23;;:7;:5;:7::i;:::-;:23;;;1170:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;2974:10:3::1;:8;:10::i;:::-;2930:61::o:0;1861:85::-;1903:7;1929:10;;1922:17;;1861:85;:::o;3863:149:2:-;3952:7;3978:11;:18;3990:5;3978:18;;;;;;;;;;;;;;;:27;3997:7;3978:27;;;;;;;;;;;;;;;;3971:34;;3863:149;;;;:::o;1839:189:6:-;1189:12;:10;:12::i;:::-;1178:23;;:7;:5;:7::i;:::-;:23;;;1170:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;1947:1:::1;1927:22;;:8;:22;;;;1919:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;2002:19;2012:8;2002:9;:19::i;:::-;1839:189:::0;:::o;10885:121:2:-;;;;:::o;586:96:1:-;639:7;665:10;658:17;;586:96;:::o;1799:115:7:-;1348:8;:6;:8::i;:::-;1347:9;1339:38;;;;;;;;;;;;:::i;:::-;;;;;;;;;1868:4:::1;1858:7;;:14;;;;;;;;;;;;;;;;;;1887:20;1894:12;:10;:12::i;:::-;1887:20;;;;;;:::i;:::-;;;;;;;;1799:115::o:0;9931:370:2:-;10079:1;10062:19;;:5;:19;;;;10054:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;10159:1;10140:21;;:7;:21;;;;10132:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;10241:6;10211:11;:18;10223:5;10211:18;;;;;;;;;;;;;;;:27;10230:7;10211:27;;;;;;;;;;;;;;;:36;;;;10278:7;10262:32;;10271:5;10262:32;;;10287:6;10262:32;;;;;;:::i;:::-;;;;;;;;9931:370;;;:::o;7234:713::-;7387:1;7369:20;;:6;:20;;;;7361:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;7470:1;7449:23;;:9;:23;;;;7441:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;7523:47;7544:6;7552:9;7563:6;7523:20;:47::i;:::-;7581:21;7605:9;:17;7615:6;7605:17;;;;;;;;;;;;;;;;7581:41;;7657:6;7640:13;:23;;7632:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;7776:6;7760:13;:22;7740:9;:17;7750:6;7740:17;;;;;;;;;;;;;;;:42;;;;7826:6;7802:9;:20;7812:9;7802:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;7865:9;7848:35;;7857:6;7848:35;;;7876:6;7848:35;;;;;;:::i;:::-;;;;;;;;7894:46;7914:6;7922:9;7933:6;7894:19;:46::i;:::-;7351:596;7234:713;;;:::o;8223:389::-;8325:1;8306:21;;:7;:21;;;;8298:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;8374:49;8403:1;8407:7;8416:6;8374:20;:49::i;:::-;8450:6;8434:12;;:22;;;;;;;:::i;:::-;;;;;;;;8488:6;8466:9;:18;8476:7;8466:18;;;;;;;;;;;;;;;;:28;;;;;;;:::i;:::-;;;;;;;;8530:7;8509:37;;8526:1;8509:37;;;8539:6;8509:37;;;;;;:::i;:::-;;;;;;;;8557:48;8585:1;8589:7;8598:6;8557:19;:48::i;:::-;8223:389;;:::o;8932:576::-;9034:1;9015:21;;:7;:21;;;;9007:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;9085:49;9106:7;9123:1;9127:6;9085:20;:49::i;:::-;9145:22;9170:9;:18;9180:7;9170:18;;;;;;;;;;;;;;;;9145:43;;9224:6;9206:14;:24;;9198:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;9341:6;9324:14;:23;9303:9;:18;9313:7;9303:18;;;;;;;;;;;;;;;:44;;;;9383:6;9367:12;;:22;;;;;;;:::i;:::-;;;;;;;;9431:1;9405:37;;9414:7;9405:37;;;9435:6;9405:37;;;;;;:::i;:::-;;;;;;;;9453:48;9473:7;9490:1;9494:6;9453:19;:48::i;:::-;8997:511;8932:576;;:::o;2034:169:6:-;2089:16;2108:6;;;;;;;;;;;2089:25;;2133:8;2124:6;;:17;;;;;;;;;;;;;;;;;;2187:8;2156:40;;2177:8;2156:40;;;;;;;;;;;;2079:124;2034:169;:::o;2046:117:7:-;1613:8;:6;:8::i;:::-;1605:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;2114:5:::1;2104:7;;:15;;;;;;;;;;;;;;;;;;2134:22;2143:12;:10;:12::i;:::-;2134:22;;;;;;:::i;:::-;;;;;;;;2046:117::o:0;2595:265:3:-;2733:44;2760:4;2766:2;2770:6;2733:26;:44::i;:::-;2797:8;:6;:8::i;:::-;2796:9;2788:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;2595:265;;;:::o;11594:120:2:-;;;;:::o;7:169:8:-;91:11;125:6;120:3;113:19;165:4;160:3;156:14;141:29;;7:169;;;;:::o;182:173::-;322:25;318:1;310:6;306:14;299:49;182:173;:::o;361:366::-;503:3;524:67;588:2;583:3;524:67;:::i;:::-;517:74;;600:93;689:3;600:93;:::i;:::-;718:2;713:3;709:12;702:19;;361:366;;;:::o;733:419::-;899:4;937:2;926:9;922:18;914:26;;986:9;980:4;976:20;972:1;961:9;957:17;950:47;1014:131;1140:4;1014:131;:::i;:::-;1006:139;;733:419;;;:::o;1158:99::-;1210:6;1244:5;1238:12;1228:22;;1158:99;;;:::o;1263:307::-;1331:1;1341:113;1355:6;1352:1;1349:13;1341:113;;;1440:1;1435:3;1431:11;1425:18;1421:1;1416:3;1412:11;1405:39;1377:2;1374:1;1370:10;1365:15;;1341:113;;;1472:6;1469:1;1466:13;1463:101;;;1552:1;1543:6;1538:3;1534:16;1527:27;1463:101;1312:258;1263:307;;;:::o;1576:102::-;1617:6;1668:2;1664:7;1659:2;1652:5;1648:14;1644:28;1634:38;;1576:102;;;:::o;1684:364::-;1772:3;1800:39;1833:5;1800:39;:::i;:::-;1855:71;1919:6;1914:3;1855:71;:::i;:::-;1848:78;;1935:52;1980:6;1975:3;1968:4;1961:5;1957:16;1935:52;:::i;:::-;2012:29;2034:6;2012:29;:::i;:::-;2007:3;2003:39;1996:46;;1776:272;1684:364;;;;:::o;2054:313::-;2167:4;2205:2;2194:9;2190:18;2182:26;;2254:9;2248:4;2244:20;2240:1;2229:9;2225:17;2218:47;2282:78;2355:4;2346:6;2282:78;:::i;:::-;2274:86;;2054:313;;;;:::o;2373:75::-;2406:6;2439:2;2433:9;2423:19;;2373:75;:::o;2454:117::-;2563:1;2560;2553:12;2577:117;2686:1;2683;2676:12;2700:126;2737:7;2777:42;2770:5;2766:54;2755:65;;2700:126;;;:::o;2832:96::-;2869:7;2898:24;2916:5;2898:24;:::i;:::-;2887:35;;2832:96;;;:::o;2934:122::-;3007:24;3025:5;3007:24;:::i;:::-;3000:5;2997:35;2987:63;;3046:1;3043;3036:12;2987:63;2934:122;:::o;3062:139::-;3108:5;3146:6;3133:20;3124:29;;3162:33;3189:5;3162:33;:::i;:::-;3062:139;;;;:::o;3207:77::-;3244:7;3273:5;3262:16;;3207:77;;;:::o;3290:122::-;3363:24;3381:5;3363:24;:::i;:::-;3356:5;3353:35;3343:63;;3402:1;3399;3392:12;3343:63;3290:122;:::o;3418:139::-;3464:5;3502:6;3489:20;3480:29;;3518:33;3545:5;3518:33;:::i;:::-;3418:139;;;;:::o;3563:474::-;3631:6;3639;3688:2;3676:9;3667:7;3663:23;3659:32;3656:119;;;3694:79;;:::i;:::-;3656:119;3814:1;3839:53;3884:7;3875:6;3864:9;3860:22;3839:53;:::i;:::-;3829:63;;3785:117;3941:2;3967:53;4012:7;4003:6;3992:9;3988:22;3967:53;:::i;:::-;3957:63;;3912:118;3563:474;;;;;:::o;4043:90::-;4077:7;4120:5;4113:13;4106:21;4095:32;;4043:90;;;:::o;4139:109::-;4220:21;4235:5;4220:21;:::i;:::-;4215:3;4208:34;4139:109;;:::o;4254:210::-;4341:4;4379:2;4368:9;4364:18;4356:26;;4392:65;4454:1;4443:9;4439:17;4430:6;4392:65;:::i;:::-;4254:210;;;;:::o;4470:118::-;4557:24;4575:5;4557:24;:::i;:::-;4552:3;4545:37;4470:118;;:::o;4594:222::-;4687:4;4725:2;4714:9;4710:18;4702:26;;4738:71;4806:1;4795:9;4791:17;4782:6;4738:71;:::i;:::-;4594:222;;;;:::o;4822:619::-;4899:6;4907;4915;4964:2;4952:9;4943:7;4939:23;4935:32;4932:119;;;4970:79;;:::i;:::-;4932:119;5090:1;5115:53;5160:7;5151:6;5140:9;5136:22;5115:53;:::i;:::-;5105:63;;5061:117;5217:2;5243:53;5288:7;5279:6;5268:9;5264:22;5243:53;:::i;:::-;5233:63;;5188:118;5345:2;5371:53;5416:7;5407:6;5396:9;5392:22;5371:53;:::i;:::-;5361:63;;5316:118;4822:619;;;;;:::o;5447:86::-;5482:7;5522:4;5515:5;5511:16;5500:27;;5447:86;;;:::o;5539:112::-;5622:22;5638:5;5622:22;:::i;:::-;5617:3;5610:35;5539:112;;:::o;5657:214::-;5746:4;5784:2;5773:9;5769:18;5761:26;;5797:67;5861:1;5850:9;5846:17;5837:6;5797:67;:::i;:::-;5657:214;;;;:::o;5877:329::-;5936:6;5985:2;5973:9;5964:7;5960:23;5956:32;5953:119;;;5991:79;;:::i;:::-;5953:119;6111:1;6136:53;6181:7;6172:6;6161:9;6157:22;6136:53;:::i;:::-;6126:63;;6082:117;5877:329;;;;:::o;6212:::-;6271:6;6320:2;6308:9;6299:7;6295:23;6291:32;6288:119;;;6326:79;;:::i;:::-;6288:119;6446:1;6471:53;6516:7;6507:6;6496:9;6492:22;6471:53;:::i;:::-;6461:63;;6417:117;6212:329;;;;:::o;6547:117::-;6656:1;6653;6646:12;6670:180;6718:77;6715:1;6708:88;6815:4;6812:1;6805:15;6839:4;6836:1;6829:15;6856:281;6939:27;6961:4;6939:27;:::i;:::-;6931:6;6927:40;7069:6;7057:10;7054:22;7033:18;7021:10;7018:34;7015:62;7012:88;;;7080:18;;:::i;:::-;7012:88;7120:10;7116:2;7109:22;6899:238;6856:281;;:::o;7143:129::-;7177:6;7204:20;;:::i;:::-;7194:30;;7233:33;7261:4;7253:6;7233:33;:::i;:::-;7143:129;;;:::o;7278:311::-;7355:4;7445:18;7437:6;7434:30;7431:56;;;7467:18;;:::i;:::-;7431:56;7517:4;7509:6;7505:17;7497:25;;7577:4;7571;7567:15;7559:23;;7278:311;;;:::o;7595:117::-;7704:1;7701;7694:12;7735:710;7831:5;7856:81;7872:64;7929:6;7872:64;:::i;:::-;7856:81;:::i;:::-;7847:90;;7957:5;7986:6;7979:5;7972:21;8020:4;8013:5;8009:16;8002:23;;8073:4;8065:6;8061:17;8053:6;8049:30;8102:3;8094:6;8091:15;8088:122;;;8121:79;;:::i;:::-;8088:122;8236:6;8219:220;8253:6;8248:3;8245:15;8219:220;;;8328:3;8357:37;8390:3;8378:10;8357:37;:::i;:::-;8352:3;8345:50;8424:4;8419:3;8415:14;8408:21;;8295:144;8279:4;8274:3;8270:14;8263:21;;8219:220;;;8223:21;7837:608;;7735:710;;;;;:::o;8468:370::-;8539:5;8588:3;8581:4;8573:6;8569:17;8565:27;8555:122;;8596:79;;:::i;:::-;8555:122;8713:6;8700:20;8738:94;8828:3;8820:6;8813:4;8805:6;8801:17;8738:94;:::i;:::-;8729:103;;8545:293;8468:370;;;;:::o;8844:539::-;8928:6;8977:2;8965:9;8956:7;8952:23;8948:32;8945:119;;;8983:79;;:::i;:::-;8945:119;9131:1;9120:9;9116:17;9103:31;9161:18;9153:6;9150:30;9147:117;;;9183:79;;:::i;:::-;9147:117;9288:78;9358:7;9349:6;9338:9;9334:22;9288:78;:::i;:::-;9278:88;;9074:302;8844:539;;;;:::o;9389:118::-;9476:24;9494:5;9476:24;:::i;:::-;9471:3;9464:37;9389:118;;:::o;9513:222::-;9606:4;9644:2;9633:9;9629:18;9621:26;;9657:71;9725:1;9714:9;9710:17;9701:6;9657:71;:::i;:::-;9513:222;;;;:::o;9741:474::-;9809:6;9817;9866:2;9854:9;9845:7;9841:23;9837:32;9834:119;;;9872:79;;:::i;:::-;9834:119;9992:1;10017:53;10062:7;10053:6;10042:9;10038:22;10017:53;:::i;:::-;10007:63;;9963:117;10119:2;10145:53;10190:7;10181:6;10170:9;10166:22;10145:53;:::i;:::-;10135:63;;10090:118;9741:474;;;;;:::o;10221:180::-;10269:77;10266:1;10259:88;10366:4;10363:1;10356:15;10390:4;10387:1;10380:15;10407:320;10451:6;10488:1;10482:4;10478:12;10468:22;;10535:1;10529:4;10525:12;10556:18;10546:81;;10612:4;10604:6;10600:17;10590:27;;10546:81;10674:2;10666:6;10663:14;10643:18;10640:38;10637:84;;;10693:18;;:::i;:::-;10637:84;10458:269;10407:320;;;:::o;10733:182::-;10873:34;10869:1;10861:6;10857:14;10850:58;10733:182;:::o;10921:366::-;11063:3;11084:67;11148:2;11143:3;11084:67;:::i;:::-;11077:74;;11160:93;11249:3;11160:93;:::i;:::-;11278:2;11273:3;11269:12;11262:19;;10921:366;;;:::o;11293:419::-;11459:4;11497:2;11486:9;11482:18;11474:26;;11546:9;11540:4;11536:20;11532:1;11521:9;11517:17;11510:47;11574:131;11700:4;11574:131;:::i;:::-;11566:139;;11293:419;;;:::o;11718:227::-;11858:34;11854:1;11846:6;11842:14;11835:58;11927:10;11922:2;11914:6;11910:15;11903:35;11718:227;:::o;11951:366::-;12093:3;12114:67;12178:2;12173:3;12114:67;:::i;:::-;12107:74;;12190:93;12279:3;12190:93;:::i;:::-;12308:2;12303:3;12299:12;12292:19;;11951:366;;;:::o;12323:419::-;12489:4;12527:2;12516:9;12512:18;12504:26;;12576:9;12570:4;12566:20;12562:1;12551:9;12547:17;12540:47;12604:131;12730:4;12604:131;:::i;:::-;12596:139;;12323:419;;;:::o;12748:180::-;12796:77;12793:1;12786:88;12893:4;12890:1;12883:15;12917:4;12914:1;12907:15;12934:305;12974:3;12993:20;13011:1;12993:20;:::i;:::-;12988:25;;13027:20;13045:1;13027:20;:::i;:::-;13022:25;;13181:1;13113:66;13109:74;13106:1;13103:81;13100:107;;;13187:18;;:::i;:::-;13100:107;13231:1;13228;13224:9;13217:16;;12934:305;;;;:::o;13245:164::-;13385:16;13381:1;13373:6;13369:14;13362:40;13245:164;:::o;13415:366::-;13557:3;13578:67;13642:2;13637:3;13578:67;:::i;:::-;13571:74;;13654:93;13743:3;13654:93;:::i;:::-;13772:2;13767:3;13763:12;13756:19;;13415:366;;;:::o;13787:419::-;13953:4;13991:2;13980:9;13976:18;13968:26;;14040:9;14034:4;14030:20;14026:1;14015:9;14011:17;14004:47;14068:131;14194:4;14068:131;:::i;:::-;14060:139;;13787:419;;;:::o;14212:164::-;14352:16;14348:1;14340:6;14336:14;14329:40;14212:164;:::o;14382:366::-;14524:3;14545:67;14609:2;14604:3;14545:67;:::i;:::-;14538:74;;14621:93;14710:3;14621:93;:::i;:::-;14739:2;14734:3;14730:12;14723:19;;14382:366;;;:::o;14754:419::-;14920:4;14958:2;14947:9;14943:18;14935:26;;15007:9;15001:4;14997:20;14993:1;14982:9;14978:17;14971:47;15035:131;15161:4;15035:131;:::i;:::-;15027:139;;14754:419;;;:::o;15179:180::-;15227:77;15224:1;15217:88;15324:4;15321:1;15314:15;15348:4;15345:1;15338:15;15365:233;15404:3;15427:24;15445:5;15427:24;:::i;:::-;15418:33;;15473:66;15466:5;15463:77;15460:103;;;15543:18;;:::i;:::-;15460:103;15590:1;15583:5;15579:13;15572:20;;15365:233;;;:::o;15604:191::-;15644:4;15664:20;15682:1;15664:20;:::i;:::-;15659:25;;15698:20;15716:1;15698:20;:::i;:::-;15693:25;;15737:1;15734;15731:8;15728:34;;;15742:18;;:::i;:::-;15728:34;15787:1;15784;15780:9;15772:17;;15604:191;;;;:::o;15801:223::-;15941:34;15937:1;15929:6;15925:14;15918:58;16010:6;16005:2;15997:6;15993:15;15986:31;15801:223;:::o;16030:366::-;16172:3;16193:67;16257:2;16252:3;16193:67;:::i;:::-;16186:74;;16269:93;16358:3;16269:93;:::i;:::-;16387:2;16382:3;16378:12;16371:19;;16030:366;;;:::o;16402:419::-;16568:4;16606:2;16595:9;16591:18;16583:26;;16655:9;16649:4;16645:20;16641:1;16630:9;16626:17;16619:47;16683:131;16809:4;16683:131;:::i;:::-;16675:139;;16402:419;;;:::o;16827:224::-;16967:34;16963:1;16955:6;16951:14;16944:58;17036:7;17031:2;17023:6;17019:15;17012:32;16827:224;:::o;17057:366::-;17199:3;17220:67;17284:2;17279:3;17220:67;:::i;:::-;17213:74;;17296:93;17385:3;17296:93;:::i;:::-;17414:2;17409:3;17405:12;17398:19;;17057:366;;;:::o;17429:419::-;17595:4;17633:2;17622:9;17618:18;17610:26;;17682:9;17676:4;17672:20;17668:1;17657:9;17653:17;17646:47;17710:131;17836:4;17710:131;:::i;:::-;17702:139;;17429:419;;;:::o;17854:225::-;17994:34;17990:1;17982:6;17978:14;17971:58;18063:8;18058:2;18050:6;18046:15;18039:33;17854:225;:::o;18085:366::-;18227:3;18248:67;18312:2;18307:3;18248:67;:::i;:::-;18241:74;;18324:93;18413:3;18324:93;:::i;:::-;18442:2;18437:3;18433:12;18426:19;;18085:366;;;:::o;18457:419::-;18623:4;18661:2;18650:9;18646:18;18638:26;;18710:9;18704:4;18700:20;18696:1;18685:9;18681:17;18674:47;18738:131;18864:4;18738:131;:::i;:::-;18730:139;;18457:419;;;:::o;18882:166::-;19022:18;19018:1;19010:6;19006:14;18999:42;18882:166;:::o;19054:366::-;19196:3;19217:67;19281:2;19276:3;19217:67;:::i;:::-;19210:74;;19293:93;19382:3;19293:93;:::i;:::-;19411:2;19406:3;19402:12;19395:19;;19054:366;;;:::o;19426:419::-;19592:4;19630:2;19619:9;19615:18;19607:26;;19679:9;19673:4;19669:20;19665:1;19654:9;19650:17;19643:47;19707:131;19833:4;19707:131;:::i;:::-;19699:139;;19426:419;;;:::o;19851:223::-;19991:34;19987:1;19979:6;19975:14;19968:58;20060:6;20055:2;20047:6;20043:15;20036:31;19851:223;:::o;20080:366::-;20222:3;20243:67;20307:2;20302:3;20243:67;:::i;:::-;20236:74;;20319:93;20408:3;20319:93;:::i;:::-;20437:2;20432:3;20428:12;20421:19;;20080:366;;;:::o;20452:419::-;20618:4;20656:2;20645:9;20641:18;20633:26;;20705:9;20699:4;20695:20;20691:1;20680:9;20676:17;20669:47;20733:131;20859:4;20733:131;:::i;:::-;20725:139;;20452:419;;;:::o;20877:221::-;21017:34;21013:1;21005:6;21001:14;20994:58;21086:4;21081:2;21073:6;21069:15;21062:29;20877:221;:::o;21104:366::-;21246:3;21267:67;21331:2;21326:3;21267:67;:::i;:::-;21260:74;;21343:93;21432:3;21343:93;:::i;:::-;21461:2;21456:3;21452:12;21445:19;;21104:366;;;:::o;21476:419::-;21642:4;21680:2;21669:9;21665:18;21657:26;;21729:9;21723:4;21719:20;21715:1;21704:9;21700:17;21693:47;21757:131;21883:4;21757:131;:::i;:::-;21749:139;;21476:419;;;:::o;21901:224::-;22041:34;22037:1;22029:6;22025:14;22018:58;22110:7;22105:2;22097:6;22093:15;22086:32;21901:224;:::o;22131:366::-;22273:3;22294:67;22358:2;22353:3;22294:67;:::i;:::-;22287:74;;22370:93;22459:3;22370:93;:::i;:::-;22488:2;22483:3;22479:12;22472:19;;22131:366;;;:::o;22503:419::-;22669:4;22707:2;22696:9;22692:18;22684:26;;22756:9;22750:4;22746:20;22742:1;22731:9;22727:17;22720:47;22784:131;22910:4;22784:131;:::i;:::-;22776:139;;22503:419;;;:::o;22928:222::-;23068:34;23064:1;23056:6;23052:14;23045:58;23137:5;23132:2;23124:6;23120:15;23113:30;22928:222;:::o;23156:366::-;23298:3;23319:67;23383:2;23378:3;23319:67;:::i;:::-;23312:74;;23395:93;23484:3;23395:93;:::i;:::-;23513:2;23508:3;23504:12;23497:19;;23156:366;;;:::o;23528:419::-;23694:4;23732:2;23721:9;23717:18;23709:26;;23781:9;23775:4;23771:20;23767:1;23756:9;23752:17;23745:47;23809:131;23935:4;23809:131;:::i;:::-;23801:139;;23528:419;;;:::o;23953:225::-;24093:34;24089:1;24081:6;24077:14;24070:58;24162:8;24157:2;24149:6;24145:15;24138:33;23953:225;:::o;24184:366::-;24326:3;24347:67;24411:2;24406:3;24347:67;:::i;:::-;24340:74;;24423:93;24512:3;24423:93;:::i;:::-;24541:2;24536:3;24532:12;24525:19;;24184:366;;;:::o;24556:419::-;24722:4;24760:2;24749:9;24745:18;24737:26;;24809:9;24803:4;24799:20;24795:1;24784:9;24780:17;24773:47;24837:131;24963:4;24837:131;:::i;:::-;24829:139;;24556:419;;;:::o;24981:181::-;25121:33;25117:1;25109:6;25105:14;25098:57;24981:181;:::o;25168:366::-;25310:3;25331:67;25395:2;25390:3;25331:67;:::i;:::-;25324:74;;25407:93;25496:3;25407:93;:::i;:::-;25525:2;25520:3;25516:12;25509:19;;25168:366;;;:::o;25540:419::-;25706:4;25744:2;25733:9;25729:18;25721:26;;25793:9;25787:4;25783:20;25779:1;25768:9;25764:17;25757:47;25821:131;25947:4;25821:131;:::i;:::-;25813:139;;25540:419;;;:::o;25965:220::-;26105:34;26101:1;26093:6;26089:14;26082:58;26174:3;26169:2;26161:6;26157:15;26150:28;25965:220;:::o;26191:366::-;26333:3;26354:67;26418:2;26413:3;26354:67;:::i;:::-;26347:74;;26430:93;26519:3;26430:93;:::i;:::-;26548:2;26543:3;26539:12;26532:19;;26191:366;;;:::o;26563:419::-;26729:4;26767:2;26756:9;26752:18;26744:26;;26816:9;26810:4;26806:20;26802:1;26791:9;26787:17;26780:47;26844:131;26970:4;26844:131;:::i;:::-;26836:139;;26563:419;;;:::o;26988:221::-;27128:34;27124:1;27116:6;27112:14;27105:58;27197:4;27192:2;27184:6;27180:15;27173:29;26988:221;:::o;27215:366::-;27357:3;27378:67;27442:2;27437:3;27378:67;:::i;:::-;27371:74;;27454:93;27543:3;27454:93;:::i;:::-;27572:2;27567:3;27563:12;27556:19;;27215:366;;;:::o;27587:419::-;27753:4;27791:2;27780:9;27776:18;27768:26;;27840:9;27834:4;27830:20;27826:1;27815:9;27811:17;27804:47;27868:131;27994:4;27868:131;:::i;:::-;27860:139;;27587:419;;;:::o;28012:170::-;28152:22;28148:1;28140:6;28136:14;28129:46;28012:170;:::o;28188:366::-;28330:3;28351:67;28415:2;28410:3;28351:67;:::i;:::-;28344:74;;28427:93;28516:3;28427:93;:::i;:::-;28545:2;28540:3;28536:12;28529:19;;28188:366;;;:::o;28560:419::-;28726:4;28764:2;28753:9;28749:18;28741:26;;28813:9;28807:4;28803:20;28799:1;28788:9;28784:17;28777:47;28841:131;28967:4;28841:131;:::i;:::-;28833:139;;28560:419;;;:::o;28985:230::-;29125:34;29121:1;29113:6;29109:14;29102:58;29194:13;29189:2;29181:6;29177:15;29170:38;28985:230;:::o;29221:366::-;29363:3;29384:67;29448:2;29443:3;29384:67;:::i;:::-;29377:74;;29460:93;29549:3;29460:93;:::i;:::-;29578:2;29573:3;29569:12;29562:19;;29221:366;;;:::o;29593:419::-;29759:4;29797:2;29786:9;29782:18;29774:26;;29846:9;29840:4;29836:20;29832:1;29821:9;29817:17;29810:47;29874:131;30000:4;29874:131;:::i;:::-;29866:139;;29593:419;;;:::o

ipfs://50a8ba25763fcb146782b11491e656d144f3f13c7859b21e4421599c596bf8b1