Contract Source Code (Solidity)Audit Report

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender()    - function _msgData() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... interface IERC20Metadata is IERC20    - function name()    - function symbol()    - function decimals()  contract ERC20 is Context, IERC20, ...    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address sender, ad ...    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(address owner, addr ...    - function _beforeTokenTransfer(address ...    - function burn(uint256 amount)    - function burnFrom(address account, ui ...  contract ERC20PresetFixedSupply is ...  contract MillionToken is ERC20Pres ... *

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-06-24
*/

// File: @openzeppelin/contracts/utils/Context.sol

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

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

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

// File: @openzeppelin/contracts/token/ERC20/IERC20.sol

pragma solidity ^0.8.0;

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


// File: @openzeppelin/contracts/token/ERC20/extensions/IERC20Metadata.sol

pragma solidity ^0.8.0;


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


// File: @openzeppelin/contracts/token/ERC20/ERC20.sol

pragma solidity ^0.8.0;




/**
 * @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 defaut 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");
        _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");
        _approve(_msgSender(), spender, currentAllowance - subtractedValue);

        return true;
    }

    /**
     * @dev Moves tokens `amount` from `sender` to `recipient`.
     *
     * This is internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * Requirements:
     *
     * - `sender` cannot be the zero address.
     * - `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     */
    function _transfer(address sender, address recipient, uint256 amount) internal 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");
        _balances[sender] = senderBalance - amount;
        _balances[recipient] += amount;

        emit Transfer(sender, recipient, amount);
    }

    /** @dev Creates `amount` tokens and assigns them to `account`, increasing
     * the total supply.
     *
     * Emits a {Transfer} event with `from` set to the zero address.
     *
     * Requirements:
     *
     * - `to` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal 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);
    }

    /**
     * @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");
        _balances[account] = accountBalance - amount;
        _totalSupply -= amount;

        emit Transfer(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 to 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 { }
}

// File: @openzeppelin/contracts/token/ERC20/extensions/ERC20Burnable.sol

pragma solidity ^0.8.0;



/**
 * @dev Extension of {ERC20} that allows token holders to destroy both their own
 * tokens and those that they have an allowance for, in a way that can be
 * recognized off-chain (via event analysis).
 */
abstract contract ERC20Burnable is Context, ERC20 {
    /**
     * @dev Destroys `amount` tokens from the caller.
     *
     * See {ERC20-_burn}.
     */
    function burn(uint256 amount) public virtual {
        _burn(_msgSender(), amount);
    }

    /**
     * @dev Destroys `amount` tokens from `account`, deducting from the caller's
     * allowance.
     *
     * See {ERC20-_burn} and {ERC20-allowance}.
     *
     * Requirements:
     *
     * - the caller must have allowance for ``accounts``'s tokens of at least
     * `amount`.
     */
    function burnFrom(address account, uint256 amount) public virtual {
        uint256 currentAllowance = allowance(account, _msgSender());
        require(currentAllowance >= amount, "ERC20: burn amount exceeds allowance");
        _approve(account, _msgSender(), currentAllowance - amount);
        _burn(account, amount);
    }
}

// File: @openzeppelin/contracts/token/ERC20/presets/ERC20PresetFixedSupply.sol

pragma solidity ^0.8.0;


/**
 * @dev {ERC20} token, including:
 *
 *  - Preminted initial supply
 *  - Ability for holders to burn (destroy) their tokens
 *  - No access control mechanism (for minting/pausing) and hence no governance
 *
 * This contract uses {ERC20Burnable} to include burn capabilities - head to
 * its documentation for details.
 *
 * _Available since v3.4._
 */
contract ERC20PresetFixedSupply is ERC20Burnable {
    /**
     * @dev Mints `initialSupply` amount of token and transfers them to `owner`.
     *
     * See {ERC20-constructor}.
     */
    constructor(
        string memory name,
        string memory symbol,
        uint256 initialSupply,
        address owner
    ) ERC20(name, symbol) {
        _mint(owner, initialSupply);
    }
}

// File: contracts/million.sol

// Million token

pragma solidity ^0.8.0;


contract MillionToken is ERC20PresetFixedSupply {
    constructor() ERC20PresetFixedSupply("Million", "MM", 1000000 * 10 ** 18, msg.sender) {
    }
}

• Certik - July 22nd, 2021 - Security Audit Report

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"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":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60806040523480156200001157600080fd5b506040518060400160405280600781526020017f4d696c6c696f6e000000000000000000000000000000000000000000000000008152506040518060400160405280600281526020017f4d4d00000000000000000000000000000000000000000000000000000000000081525069d3c21bcecceda10000003383838160039080519060200190620000a492919062000246565b508060049080519060200190620000bd92919062000246565b505050620000d28183620000dc60201b60201c565b50505050620004a2565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156200014f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040162000146906200032e565b60405180910390fd5b62000163600083836200024160201b60201c565b80600260008282546200017791906200037e565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254620001ce91906200037e565b925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405162000235919062000350565b60405180910390a35050565b505050565b8280546200025490620003e5565b90600052602060002090601f016020900481019282620002785760008555620002c4565b82601f106200029357805160ff1916838001178555620002c4565b82800160010185558215620002c4579182015b82811115620002c3578251825591602001919060010190620002a6565b5b509050620002d39190620002d7565b5090565b5b80821115620002f2576000816000905550600101620002d8565b5090565b600062000305601f836200036d565b9150620003128262000479565b602082019050919050565b6200032881620003db565b82525050565b600060208201905081810360008301526200034981620002f6565b9050919050565b60006020820190506200036760008301846200031d565b92915050565b600082825260208201905092915050565b60006200038b82620003db565b91506200039883620003db565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff03821115620003d057620003cf6200041b565b5b828201905092915050565b6000819050919050565b60006002820490506001821680620003fe57607f821691505b602082108114156200041557620004146200044a565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b61187d80620004b26000396000f3fe608060405234801561001057600080fd5b50600436106100cf5760003560e01c806342966c681161008c57806395d89b411161006657806395d89b4114610226578063a457c2d714610244578063a9059cbb14610274578063dd62ed3e146102a4576100cf565b806342966c68146101be57806370a08231146101da57806379cc67901461020a576100cf565b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461012257806323b872dd14610140578063313ce56714610170578063395093511461018e575b600080fd5b6100dc6102d4565b6040516100e9919061119c565b60405180910390f35b61010c60048036038101906101079190610f58565b610366565b6040516101199190611181565b60405180910390f35b61012a610384565b60405161013791906112fe565b60405180910390f35b61015a60048036038101906101559190610f09565b61038e565b6040516101679190611181565b60405180910390f35b61017861048f565b6040516101859190611319565b60405180910390f35b6101a860048036038101906101a39190610f58565b610498565b6040516101b59190611181565b60405180910390f35b6101d860048036038101906101d39190610f94565b610544565b005b6101f460048036038101906101ef9190610ea4565b610558565b60405161020191906112fe565b60405180910390f35b610224600480360381019061021f9190610f58565b6105a0565b005b61022e610624565b60405161023b919061119c565b60405180910390f35b61025e60048036038101906102599190610f58565b6106b6565b60405161026b9190611181565b60405180910390f35b61028e60048036038101906102899190610f58565b6107aa565b60405161029b9190611181565b60405180910390f35b6102be60048036038101906102b99190610ecd565b6107c8565b6040516102cb91906112fe565b60405180910390f35b6060600380546102e390611462565b80601f016020809104026020016040519081016040528092919081815260200182805461030f90611462565b801561035c5780601f106103315761010080835404028352916020019161035c565b820191906000526020600020905b81548152906001019060200180831161033f57829003601f168201915b5050505050905090565b600061037a61037361084f565b8484610857565b6001905092915050565b6000600254905090565b600061039b848484610a22565b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006103e661084f565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610466576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161045d9061123e565b60405180910390fd5b6104838561047261084f565b858461047e91906113a6565b610857565b60019150509392505050565b60006012905090565b600061053a6104a561084f565b8484600160006104b361084f565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546105359190611350565b610857565b6001905092915050565b61055561054f61084f565b82610ca1565b50565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60006105b3836105ae61084f565b6107c8565b9050818110156105f8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ef9061125e565b60405180910390fd5b6106158361060461084f565b848461061091906113a6565b610857565b61061f8383610ca1565b505050565b60606004805461063390611462565b80601f016020809104026020016040519081016040528092919081815260200182805461065f90611462565b80156106ac5780601f10610681576101008083540402835291602001916106ac565b820191906000526020600020905b81548152906001019060200180831161068f57829003601f168201915b5050505050905090565b600080600160006106c561084f565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610782576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610779906112de565b60405180910390fd5b61079f61078d61084f565b85858461079a91906113a6565b610857565b600191505092915050565b60006107be6107b761084f565b8484610a22565b6001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156108c7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108be906112be565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610937576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161092e906111fe565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610a1591906112fe565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610a92576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a899061129e565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610b02576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610af9906111be565b60405180910390fd5b610b0d838383610e75565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610b93576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b8a9061121e565b60405180910390fd5b8181610b9f91906113a6565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610c2f9190611350565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610c9391906112fe565b60405180910390a350505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610d11576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d089061127e565b60405180910390fd5b610d1d82600083610e75565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610da3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d9a906111de565b60405180910390fd5b8181610daf91906113a6565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508160026000828254610e0391906113a6565b92505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610e6891906112fe565b60405180910390a3505050565b505050565b600081359050610e8981611819565b92915050565b600081359050610e9e81611830565b92915050565b600060208284031215610eb657600080fd5b6000610ec484828501610e7a565b91505092915050565b60008060408385031215610ee057600080fd5b6000610eee85828601610e7a565b9250506020610eff85828601610e7a565b9150509250929050565b600080600060608486031215610f1e57600080fd5b6000610f2c86828701610e7a565b9350506020610f3d86828701610e7a565b9250506040610f4e86828701610e8f565b9150509250925092565b60008060408385031215610f6b57600080fd5b6000610f7985828601610e7a565b9250506020610f8a85828601610e8f565b9150509250929050565b600060208284031215610fa657600080fd5b6000610fb484828501610e8f565b91505092915050565b610fc6816113ec565b82525050565b6000610fd782611334565b610fe1818561133f565b9350610ff181856020860161142f565b610ffa816114f2565b840191505092915050565b600061101260238361133f565b915061101d82611503565b604082019050919050565b600061103560228361133f565b915061104082611552565b604082019050919050565b600061105860228361133f565b9150611063826115a1565b604082019050919050565b600061107b60268361133f565b9150611086826115f0565b604082019050919050565b600061109e60288361133f565b91506110a98261163f565b604082019050919050565b60006110c160248361133f565b91506110cc8261168e565b604082019050919050565b60006110e460218361133f565b91506110ef826116dd565b604082019050919050565b600061110760258361133f565b91506111128261172c565b604082019050919050565b600061112a60248361133f565b91506111358261177b565b604082019050919050565b600061114d60258361133f565b9150611158826117ca565b604082019050919050565b61116c81611418565b82525050565b61117b81611422565b82525050565b60006020820190506111966000830184610fbd565b92915050565b600060208201905081810360008301526111b68184610fcc565b905092915050565b600060208201905081810360008301526111d781611005565b9050919050565b600060208201905081810360008301526111f781611028565b9050919050565b600060208201905081810360008301526112178161104b565b9050919050565b600060208201905081810360008301526112378161106e565b9050919050565b6000602082019050818103600083015261125781611091565b9050919050565b60006020820190508181036000830152611277816110b4565b9050919050565b60006020820190508181036000830152611297816110d7565b9050919050565b600060208201905081810360008301526112b7816110fa565b9050919050565b600060208201905081810360008301526112d78161111d565b9050919050565b600060208201905081810360008301526112f781611140565b9050919050565b60006020820190506113136000830184611163565b92915050565b600060208201905061132e6000830184611172565b92915050565b600081519050919050565b600082825260208201905092915050565b600061135b82611418565b915061136683611418565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561139b5761139a611494565b5b828201905092915050565b60006113b182611418565b91506113bc83611418565b9250828210156113cf576113ce611494565b5b828203905092915050565b60006113e5826113f8565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b8381101561144d578082015181840152602081019050611432565b8381111561145c576000848401525b50505050565b6000600282049050600182168061147a57607f821691505b6020821081141561148e5761148d6114c3565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206160008201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206275726e20616d6f756e74206578636565647320616c6c6f7760008201527f616e636500000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b611822816113da565b811461182d57600080fd5b50565b61183981611418565b811461184457600080fd5b5056fea2646970667358221220a8837d15ac190ef33e48c071513fc494ee29bc4f93acbb15f84518b53e9d298964736f6c63430008040033

0x608060405234801561001057600080fd5b50600436106100cf5760003560e01c806342966c681161008c57806395d89b411161006657806395d89b4114610226578063a457c2d714610244578063a9059cbb14610274578063dd62ed3e146102a4576100cf565b806342966c68146101be57806370a08231146101da57806379cc67901461020a576100cf565b806306fdde03146100d4578063095ea7b3146100f257806318160ddd1461012257806323b872dd14610140578063313ce56714610170578063395093511461018e575b600080fd5b6100dc6102d4565b6040516100e9919061119c565b60405180910390f35b61010c60048036038101906101079190610f58565b610366565b6040516101199190611181565b60405180910390f35b61012a610384565b60405161013791906112fe565b60405180910390f35b61015a60048036038101906101559190610f09565b61038e565b6040516101679190611181565b60405180910390f35b61017861048f565b6040516101859190611319565b60405180910390f35b6101a860048036038101906101a39190610f58565b610498565b6040516101b59190611181565b60405180910390f35b6101d860048036038101906101d39190610f94565b610544565b005b6101f460048036038101906101ef9190610ea4565b610558565b60405161020191906112fe565b60405180910390f35b610224600480360381019061021f9190610f58565b6105a0565b005b61022e610624565b60405161023b919061119c565b60405180910390f35b61025e60048036038101906102599190610f58565b6106b6565b60405161026b9190611181565b60405180910390f35b61028e60048036038101906102899190610f58565b6107aa565b60405161029b9190611181565b60405180910390f35b6102be60048036038101906102b99190610ecd565b6107c8565b6040516102cb91906112fe565b60405180910390f35b6060600380546102e390611462565b80601f016020809104026020016040519081016040528092919081815260200182805461030f90611462565b801561035c5780601f106103315761010080835404028352916020019161035c565b820191906000526020600020905b81548152906001019060200180831161033f57829003601f168201915b5050505050905090565b600061037a61037361084f565b8484610857565b6001905092915050565b6000600254905090565b600061039b848484610a22565b6000600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006103e661084f565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610466576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161045d9061123e565b60405180910390fd5b6104838561047261084f565b858461047e91906113a6565b610857565b60019150509392505050565b60006012905090565b600061053a6104a561084f565b8484600160006104b361084f565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546105359190611350565b610857565b6001905092915050565b61055561054f61084f565b82610ca1565b50565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60006105b3836105ae61084f565b6107c8565b9050818110156105f8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ef9061125e565b60405180910390fd5b6106158361060461084f565b848461061091906113a6565b610857565b61061f8383610ca1565b505050565b60606004805461063390611462565b80601f016020809104026020016040519081016040528092919081815260200182805461065f90611462565b80156106ac5780601f10610681576101008083540402835291602001916106ac565b820191906000526020600020905b81548152906001019060200180831161068f57829003601f168201915b5050505050905090565b600080600160006106c561084f565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905082811015610782576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610779906112de565b60405180910390fd5b61079f61078d61084f565b85858461079a91906113a6565b610857565b600191505092915050565b60006107be6107b761084f565b8484610a22565b6001905092915050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156108c7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108be906112be565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610937576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161092e906111fe565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610a1591906112fe565b60405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610a92576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a899061129e565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610b02576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610af9906111be565b60405180910390fd5b610b0d838383610e75565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610b93576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b8a9061121e565b60405180910390fd5b8181610b9f91906113a6565b6000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610c2f9190611350565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610c9391906112fe565b60405180910390a350505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415610d11576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d089061127e565b60405180910390fd5b610d1d82600083610e75565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015610da3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d9a906111de565b60405180910390fd5b8181610daf91906113a6565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508160026000828254610e0391906113a6565b92505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610e6891906112fe565b60405180910390a3505050565b505050565b600081359050610e8981611819565b92915050565b600081359050610e9e81611830565b92915050565b600060208284031215610eb657600080fd5b6000610ec484828501610e7a565b91505092915050565b60008060408385031215610ee057600080fd5b6000610eee85828601610e7a565b9250506020610eff85828601610e7a565b9150509250929050565b600080600060608486031215610f1e57600080fd5b6000610f2c86828701610e7a565b9350506020610f3d86828701610e7a565b9250506040610f4e86828701610e8f565b9150509250925092565b60008060408385031215610f6b57600080fd5b6000610f7985828601610e7a565b9250506020610f8a85828601610e8f565b9150509250929050565b600060208284031215610fa657600080fd5b6000610fb484828501610e8f565b91505092915050565b610fc6816113ec565b82525050565b6000610fd782611334565b610fe1818561133f565b9350610ff181856020860161142f565b610ffa816114f2565b840191505092915050565b600061101260238361133f565b915061101d82611503565b604082019050919050565b600061103560228361133f565b915061104082611552565b604082019050919050565b600061105860228361133f565b9150611063826115a1565b604082019050919050565b600061107b60268361133f565b9150611086826115f0565b604082019050919050565b600061109e60288361133f565b91506110a98261163f565b604082019050919050565b60006110c160248361133f565b91506110cc8261168e565b604082019050919050565b60006110e460218361133f565b91506110ef826116dd565b604082019050919050565b600061110760258361133f565b91506111128261172c565b604082019050919050565b600061112a60248361133f565b91506111358261177b565b604082019050919050565b600061114d60258361133f565b9150611158826117ca565b604082019050919050565b61116c81611418565b82525050565b61117b81611422565b82525050565b60006020820190506111966000830184610fbd565b92915050565b600060208201905081810360008301526111b68184610fcc565b905092915050565b600060208201905081810360008301526111d781611005565b9050919050565b600060208201905081810360008301526111f781611028565b9050919050565b600060208201905081810360008301526112178161104b565b9050919050565b600060208201905081810360008301526112378161106e565b9050919050565b6000602082019050818103600083015261125781611091565b9050919050565b60006020820190508181036000830152611277816110b4565b9050919050565b60006020820190508181036000830152611297816110d7565b9050919050565b600060208201905081810360008301526112b7816110fa565b9050919050565b600060208201905081810360008301526112d78161111d565b9050919050565b600060208201905081810360008301526112f781611140565b9050919050565b60006020820190506113136000830184611163565b92915050565b600060208201905061132e6000830184611172565b92915050565b600081519050919050565b600082825260208201905092915050565b600061135b82611418565b915061136683611418565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0382111561139b5761139a611494565b5b828201905092915050565b60006113b182611418565b91506113bc83611418565b9250828210156113cf576113ce611494565b5b828203905092915050565b60006113e5826113f8565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b8381101561144d578082015181840152602081019050611432565b8381111561145c576000848401525b50505050565b6000600282049050600182168061147a57607f821691505b6020821081141561148e5761148d6114c3565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000601f19601f8301169050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206160008201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206275726e20616d6f756e74206578636565647320616c6c6f7760008201527f616e636500000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b611822816113da565b811461182d57600080fd5b50565b61183981611418565b811461184457600080fd5b5056fea2646970667358221220a8837d15ac190ef33e48c071513fc494ee29bc4f93acbb15f84518b53e9d298964736f6c63430008040033

17496:152:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6520:100;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8687:169;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7640:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9338:422;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7482:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10169:215;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;15778:91;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;7811:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;16188:332;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;6739:104;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10887:377;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8151:175;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8389:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6520:100;6574:13;6607:5;6600:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6520:100;:::o;8687:169::-;8770:4;8787:39;8796:12;:10;:12::i;:::-;8810:7;8819:6;8787:8;:39::i;:::-;8844:4;8837:11;;8687:169;;;;:::o;7640:108::-;7701:7;7728:12;;7721:19;;7640:108;:::o;9338:422::-;9444:4;9461:36;9471:6;9479:9;9490:6;9461:9;:36::i;:::-;9510:24;9537:11;:19;9549:6;9537:19;;;;;;;;;;;;;;;:33;9557:12;:10;:12::i;:::-;9537:33;;;;;;;;;;;;;;;;9510:60;;9609:6;9589:16;:26;;9581:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;9671:57;9680:6;9688:12;:10;:12::i;:::-;9721:6;9702:16;:25;;;;:::i;:::-;9671:8;:57::i;:::-;9748:4;9741:11;;;9338:422;;;;;:::o;7482:93::-;7540:5;7565:2;7558:9;;7482:93;:::o;10169:215::-;10257:4;10274:80;10283:12;:10;:12::i;:::-;10297:7;10343:10;10306:11;:25;10318:12;:10;:12::i;:::-;10306:25;;;;;;;;;;;;;;;:34;10332:7;10306:34;;;;;;;;;;;;;;;;:47;;;;:::i;:::-;10274:8;:80::i;:::-;10372:4;10365:11;;10169:215;;;;:::o;15778:91::-;15834:27;15840:12;:10;:12::i;:::-;15854:6;15834:5;:27::i;:::-;15778:91;:::o;7811:127::-;7885:7;7912:9;:18;7922:7;7912:18;;;;;;;;;;;;;;;;7905:25;;7811:127;;;:::o;16188:332::-;16265:24;16292:32;16302:7;16311:12;:10;:12::i;:::-;16292:9;:32::i;:::-;16265:59;;16363:6;16343:16;:26;;16335:75;;;;;;;;;;;;:::i;:::-;;;;;;;;;16421:58;16430:7;16439:12;:10;:12::i;:::-;16472:6;16453:16;:25;;;;:::i;:::-;16421:8;:58::i;:::-;16490:22;16496:7;16505:6;16490:5;:22::i;:::-;16188:332;;;:::o;6739:104::-;6795:13;6828:7;6821:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6739:104;:::o;10887:377::-;10980:4;10997:24;11024:11;:25;11036:12;:10;:12::i;:::-;11024:25;;;;;;;;;;;;;;;:34;11050:7;11024:34;;;;;;;;;;;;;;;;10997:61;;11097:15;11077:16;:35;;11069:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;11165:67;11174:12;:10;:12::i;:::-;11188:7;11216:15;11197:16;:34;;;;:::i;:::-;11165:8;:67::i;:::-;11252:4;11245:11;;;10887:377;;;;:::o;8151:175::-;8237:4;8254:42;8264:12;:10;:12::i;:::-;8278:9;8289:6;8254:9;:42::i;:::-;8314:4;8307:11;;8151:175;;;;:::o;8389:151::-;8478:7;8505:11;:18;8517:5;8505:18;;;;;;;;;;;;;;;:27;8524:7;8505:27;;;;;;;;;;;;;;;;8498:34;;8389:151;;;;:::o;655:98::-;708:7;735:10;728:17;;655:98;:::o;14243:346::-;14362:1;14345:19;;:5;:19;;;;14337:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;14443:1;14424:21;;:7;:21;;;;14416:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;14527:6;14497:11;:18;14509:5;14497:18;;;;;;;;;;;;;;;:27;14516:7;14497:27;;;;;;;;;;;;;;;:36;;;;14565:7;14549:32;;14558:5;14549:32;;;14574:6;14549:32;;;;;;:::i;:::-;;;;;;;;14243:346;;;:::o;11754:604::-;11878:1;11860:20;;:6;:20;;;;11852:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;11962:1;11941:23;;:9;:23;;;;11933:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;12017:47;12038:6;12046:9;12057:6;12017:20;:47::i;:::-;12077:21;12101:9;:17;12111:6;12101:17;;;;;;;;;;;;;;;;12077:41;;12154:6;12137:13;:23;;12129:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;12250:6;12234:13;:22;;;;:::i;:::-;12214:9;:17;12224:6;12214:17;;;;;;;;;;;;;;;:42;;;;12291:6;12267:9;:20;12277:9;12267:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;12332:9;12315:35;;12324:6;12315:35;;;12343:6;12315:35;;;;;;:::i;:::-;;;;;;;;11754:604;;;;:::o;13311:494::-;13414:1;13395:21;;:7;:21;;;;13387:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;13467:49;13488:7;13505:1;13509:6;13467:20;:49::i;:::-;13529:22;13554:9;:18;13564:7;13554:18;;;;;;;;;;;;;;;;13529:43;;13609:6;13591:14;:24;;13583:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;13703:6;13686:14;:23;;;;:::i;:::-;13665:9;:18;13675:7;13665:18;;;;;;;;;;;;;;;:44;;;;13736:6;13720:12;;:22;;;;;;;:::i;:::-;;;;;;;;13786:1;13760:37;;13769:7;13760:37;;;13790:6;13760:37;;;;;;:::i;:::-;;;;;;;;13311:494;;;:::o;15192:92::-;;;;:::o;7:139:1:-;53:5;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;59:87;;;;:::o;152:139::-;198:5;236:6;223:20;214:29;;252:33;279:5;252:33;:::i;:::-;204:87;;;;:::o;297:262::-;356:6;405:2;393:9;384:7;380:23;376:32;373:2;;;421:1;418;411:12;373:2;464:1;489:53;534:7;525:6;514:9;510:22;489:53;:::i;:::-;479:63;;435:117;363:196;;;;:::o;565:407::-;633:6;641;690:2;678:9;669:7;665:23;661:32;658:2;;;706:1;703;696:12;658:2;749:1;774:53;819:7;810:6;799:9;795:22;774:53;:::i;:::-;764:63;;720:117;876:2;902:53;947:7;938:6;927:9;923:22;902:53;:::i;:::-;892:63;;847:118;648:324;;;;;:::o;978:552::-;1055:6;1063;1071;1120:2;1108:9;1099:7;1095:23;1091:32;1088:2;;;1136:1;1133;1126:12;1088:2;1179:1;1204:53;1249:7;1240:6;1229:9;1225:22;1204:53;:::i;:::-;1194:63;;1150:117;1306:2;1332:53;1377:7;1368:6;1357:9;1353:22;1332:53;:::i;:::-;1322:63;;1277:118;1434:2;1460:53;1505:7;1496:6;1485:9;1481:22;1460:53;:::i;:::-;1450:63;;1405:118;1078:452;;;;;:::o;1536:407::-;1604:6;1612;1661:2;1649:9;1640:7;1636:23;1632:32;1629:2;;;1677:1;1674;1667:12;1629:2;1720:1;1745:53;1790:7;1781:6;1770:9;1766:22;1745:53;:::i;:::-;1735:63;;1691:117;1847:2;1873:53;1918:7;1909:6;1898:9;1894:22;1873:53;:::i;:::-;1863:63;;1818:118;1619:324;;;;;:::o;1949:262::-;2008:6;2057:2;2045:9;2036:7;2032:23;2028:32;2025:2;;;2073:1;2070;2063:12;2025:2;2116:1;2141:53;2186:7;2177:6;2166:9;2162:22;2141:53;:::i;:::-;2131:63;;2087:117;2015:196;;;;:::o;2217:109::-;2298:21;2313:5;2298:21;:::i;:::-;2293:3;2286:34;2276:50;;:::o;2332:364::-;2420:3;2448:39;2481:5;2448:39;:::i;:::-;2503:71;2567:6;2562:3;2503:71;:::i;:::-;2496:78;;2583:52;2628:6;2623:3;2616:4;2609:5;2605:16;2583:52;:::i;:::-;2660:29;2682:6;2660:29;:::i;:::-;2655:3;2651:39;2644:46;;2424:272;;;;;:::o;2702:366::-;2844:3;2865:67;2929:2;2924:3;2865:67;:::i;:::-;2858:74;;2941:93;3030:3;2941:93;:::i;:::-;3059:2;3054:3;3050:12;3043:19;;2848:220;;;:::o;3074:366::-;3216:3;3237:67;3301:2;3296:3;3237:67;:::i;:::-;3230:74;;3313:93;3402:3;3313:93;:::i;:::-;3431:2;3426:3;3422:12;3415:19;;3220:220;;;:::o;3446:366::-;3588:3;3609:67;3673:2;3668:3;3609:67;:::i;:::-;3602:74;;3685:93;3774:3;3685:93;:::i;:::-;3803:2;3798:3;3794:12;3787:19;;3592:220;;;:::o;3818:366::-;3960:3;3981:67;4045:2;4040:3;3981:67;:::i;:::-;3974:74;;4057:93;4146:3;4057:93;:::i;:::-;4175:2;4170:3;4166:12;4159:19;;3964:220;;;:::o;4190:366::-;4332:3;4353:67;4417:2;4412:3;4353:67;:::i;:::-;4346:74;;4429:93;4518:3;4429:93;:::i;:::-;4547:2;4542:3;4538:12;4531:19;;4336:220;;;:::o;4562:366::-;4704:3;4725:67;4789:2;4784:3;4725:67;:::i;:::-;4718:74;;4801:93;4890:3;4801:93;:::i;:::-;4919:2;4914:3;4910:12;4903:19;;4708:220;;;:::o;4934:366::-;5076:3;5097:67;5161:2;5156:3;5097:67;:::i;:::-;5090:74;;5173:93;5262:3;5173:93;:::i;:::-;5291:2;5286:3;5282:12;5275:19;;5080:220;;;:::o;5306:366::-;5448:3;5469:67;5533:2;5528:3;5469:67;:::i;:::-;5462:74;;5545:93;5634:3;5545:93;:::i;:::-;5663:2;5658:3;5654:12;5647:19;;5452:220;;;:::o;5678:366::-;5820:3;5841:67;5905:2;5900:3;5841:67;:::i;:::-;5834:74;;5917:93;6006:3;5917:93;:::i;:::-;6035:2;6030:3;6026:12;6019:19;;5824:220;;;:::o;6050:366::-;6192:3;6213:67;6277:2;6272:3;6213:67;:::i;:::-;6206:74;;6289:93;6378:3;6289:93;:::i;:::-;6407:2;6402:3;6398:12;6391:19;;6196:220;;;:::o;6422:118::-;6509:24;6527:5;6509:24;:::i;:::-;6504:3;6497:37;6487:53;;:::o;6546:112::-;6629:22;6645:5;6629:22;:::i;:::-;6624:3;6617:35;6607:51;;:::o;6664:210::-;6751:4;6789:2;6778:9;6774:18;6766:26;;6802:65;6864:1;6853:9;6849:17;6840:6;6802:65;:::i;:::-;6756:118;;;;:::o;6880:313::-;6993:4;7031:2;7020:9;7016:18;7008:26;;7080:9;7074:4;7070:20;7066:1;7055:9;7051:17;7044:47;7108:78;7181:4;7172:6;7108:78;:::i;:::-;7100:86;;6998:195;;;;:::o;7199:419::-;7365:4;7403:2;7392:9;7388:18;7380:26;;7452:9;7446:4;7442:20;7438:1;7427:9;7423:17;7416:47;7480:131;7606:4;7480:131;:::i;:::-;7472:139;;7370:248;;;:::o;7624:419::-;7790:4;7828:2;7817:9;7813:18;7805:26;;7877:9;7871:4;7867:20;7863:1;7852:9;7848:17;7841:47;7905:131;8031:4;7905:131;:::i;:::-;7897:139;;7795:248;;;:::o;8049:419::-;8215:4;8253:2;8242:9;8238:18;8230:26;;8302:9;8296:4;8292:20;8288:1;8277:9;8273:17;8266:47;8330:131;8456:4;8330:131;:::i;:::-;8322:139;;8220:248;;;:::o;8474:419::-;8640:4;8678:2;8667:9;8663:18;8655:26;;8727:9;8721:4;8717:20;8713:1;8702:9;8698:17;8691:47;8755:131;8881:4;8755:131;:::i;:::-;8747:139;;8645:248;;;:::o;8899:419::-;9065:4;9103:2;9092:9;9088:18;9080:26;;9152:9;9146:4;9142:20;9138:1;9127:9;9123:17;9116:47;9180:131;9306:4;9180:131;:::i;:::-;9172:139;;9070:248;;;:::o;9324:419::-;9490:4;9528:2;9517:9;9513:18;9505:26;;9577:9;9571:4;9567:20;9563:1;9552:9;9548:17;9541:47;9605:131;9731:4;9605:131;:::i;:::-;9597:139;;9495:248;;;:::o;9749:419::-;9915:4;9953:2;9942:9;9938:18;9930:26;;10002:9;9996:4;9992:20;9988:1;9977:9;9973:17;9966:47;10030:131;10156:4;10030:131;:::i;:::-;10022:139;;9920:248;;;:::o;10174:419::-;10340:4;10378:2;10367:9;10363:18;10355:26;;10427:9;10421:4;10417:20;10413:1;10402:9;10398:17;10391:47;10455:131;10581:4;10455:131;:::i;:::-;10447:139;;10345:248;;;:::o;10599:419::-;10765:4;10803:2;10792:9;10788:18;10780:26;;10852:9;10846:4;10842:20;10838:1;10827:9;10823:17;10816:47;10880:131;11006:4;10880:131;:::i;:::-;10872:139;;10770:248;;;:::o;11024:419::-;11190:4;11228:2;11217:9;11213:18;11205:26;;11277:9;11271:4;11267:20;11263:1;11252:9;11248:17;11241:47;11305:131;11431:4;11305:131;:::i;:::-;11297:139;;11195:248;;;:::o;11449:222::-;11542:4;11580:2;11569:9;11565:18;11557:26;;11593:71;11661:1;11650:9;11646:17;11637:6;11593:71;:::i;:::-;11547:124;;;;:::o;11677:214::-;11766:4;11804:2;11793:9;11789:18;11781:26;;11817:67;11881:1;11870:9;11866:17;11857:6;11817:67;:::i;:::-;11771:120;;;;:::o;11897:99::-;11949:6;11983:5;11977:12;11967:22;;11956:40;;;:::o;12002:169::-;12086:11;12120:6;12115:3;12108:19;12160:4;12155:3;12151:14;12136:29;;12098:73;;;;:::o;12177:305::-;12217:3;12236:20;12254:1;12236:20;:::i;:::-;12231:25;;12270:20;12288:1;12270:20;:::i;:::-;12265:25;;12424:1;12356:66;12352:74;12349:1;12346:81;12343:2;;;12430:18;;:::i;:::-;12343:2;12474:1;12471;12467:9;12460:16;;12221:261;;;;:::o;12488:191::-;12528:4;12548:20;12566:1;12548:20;:::i;:::-;12543:25;;12582:20;12600:1;12582:20;:::i;:::-;12577:25;;12621:1;12618;12615:8;12612:2;;;12626:18;;:::i;:::-;12612:2;12671:1;12668;12664:9;12656:17;;12533:146;;;;:::o;12685:96::-;12722:7;12751:24;12769:5;12751:24;:::i;:::-;12740:35;;12730:51;;;:::o;12787:90::-;12821:7;12864:5;12857:13;12850:21;12839:32;;12829:48;;;:::o;12883:126::-;12920:7;12960:42;12953:5;12949:54;12938:65;;12928:81;;;:::o;13015:77::-;13052:7;13081:5;13070:16;;13060:32;;;:::o;13098:86::-;13133:7;13173:4;13166:5;13162:16;13151:27;;13141:43;;;:::o;13190:307::-;13258:1;13268:113;13282:6;13279:1;13276:13;13268:113;;;13367:1;13362:3;13358:11;13352:18;13348:1;13343:3;13339:11;13332:39;13304:2;13301:1;13297:10;13292:15;;13268:113;;;13399:6;13396:1;13393:13;13390:2;;;13479:1;13470:6;13465:3;13461:16;13454:27;13390:2;13239:258;;;;:::o;13503:320::-;13547:6;13584:1;13578:4;13574:12;13564:22;;13631:1;13625:4;13621:12;13652:18;13642:2;;13708:4;13700:6;13696:17;13686:27;;13642:2;13770;13762:6;13759:14;13739:18;13736:38;13733:2;;;13789:18;;:::i;:::-;13733:2;13554:269;;;;:::o;13829:180::-;13877:77;13874:1;13867:88;13974:4;13971:1;13964:15;13998:4;13995:1;13988:15;14015:180;14063:77;14060:1;14053:88;14160:4;14157:1;14150:15;14184:4;14181:1;14174:15;14201:102;14242:6;14293:2;14289:7;14284:2;14277:5;14273:14;14269:28;14259:38;;14249:54;;;:::o;14309:222::-;14449:34;14445:1;14437:6;14433:14;14426:58;14518:5;14513:2;14505:6;14501:15;14494:30;14415:116;:::o;14537:221::-;14677:34;14673:1;14665:6;14661:14;14654:58;14746:4;14741:2;14733:6;14729:15;14722:29;14643:115;:::o;14764:221::-;14904:34;14900:1;14892:6;14888:14;14881:58;14973:4;14968:2;14960:6;14956:15;14949:29;14870:115;:::o;14991:225::-;15131:34;15127:1;15119:6;15115:14;15108:58;15200:8;15195:2;15187:6;15183:15;15176:33;15097:119;:::o;15222:227::-;15362:34;15358:1;15350:6;15346:14;15339:58;15431:10;15426:2;15418:6;15414:15;15407:35;15328:121;:::o;15455:223::-;15595:34;15591:1;15583:6;15579:14;15572:58;15664:6;15659:2;15651:6;15647:15;15640:31;15561:117;:::o;15684:220::-;15824:34;15820:1;15812:6;15808:14;15801:58;15893:3;15888:2;15880:6;15876:15;15869:28;15790:114;:::o;15910:224::-;16050:34;16046:1;16038:6;16034:14;16027:58;16119:7;16114:2;16106:6;16102:15;16095:32;16016:118;:::o;16140:223::-;16280:34;16276:1;16268:6;16264:14;16257:58;16349:6;16344:2;16336:6;16332:15;16325:31;16246:117;:::o;16369:224::-;16509:34;16505:1;16497:6;16493:14;16486:58;16578:7;16573:2;16565:6;16561:15;16554:32;16475:118;:::o;16599:122::-;16672:24;16690:5;16672:24;:::i;:::-;16665:5;16662:35;16652:2;;16711:1;16708;16701:12;16652:2;16642:79;:::o;16727:122::-;16800:24;16818:5;16800:24;:::i;:::-;16793:5;16790:35;16780:2;;16839:1;16836;16829:12;16780:2;16770:79;:::o

ipfs://a8837d15ac190ef33e48c071513fc494ee29bc4f93acbb15f84518b53e9d2989