Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

• 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, ...
•    - function _msgSender()
•    - function _msgData()
•  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 owner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•  contract ProToken is ERC20, Ownabl ... *
•    - function mint(address to, uint256 amo ...

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at SonicScan.org on 2025-02-12
*/

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

// SPDX-License-Identifier: MIT

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\utils\Context.sol



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\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 {
    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 three 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 returns (string memory) {
        return _name;
    }

    /**
     * @dev Returns the symbol of the token, usually a shorter version of the
     * name.
     */
    function symbol() public view virtual 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
     * overloaded;
     *
     * 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 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\access\Ownable.sol



pragma solidity ^0.8.0;

/**
 * @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 () {
        address msgSender = _msgSender();
        _owner = msgSender;
        emit OwnershipTransferred(address(0), 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 {
        emit OwnershipTransferred(_owner, address(0));
        _owner = 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");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

// File: contracts\ProToken.sol


pragma solidity ^0.8.0;
contract ProToken is ERC20, Ownable {
    // Constructor to initialize the token with a name, symbol, and supply
    constructor() ERC20("Pro", "PRO") Ownable() {
        // Mint 100 million tokens (100,000,000 * 10^18, since ERC20 tokens usually use 18 decimals)
        _mint(msg.sender, 100000000 * (10**uint256(decimals())));
    }

    // Optionally, you can add a mint function that only the owner can call
    function mint(address to, uint256 amount) public onlyOwner {
        _mint(to, amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"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":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","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":[],"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":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"mint","outputs":[],"stateMutability":"nonpayable","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":"renounceOwnership","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"}]

608060405234801561000f575f5ffd5b506040518060400160405280600381526020017f50726f00000000000000000000000000000000000000000000000000000000008152506040518060400160405280600381526020017f50524f0000000000000000000000000000000000000000000000000000000000815250816003908161008b919061052d565b50806004908161009b919061052d565b5050505f6100ad61018a60201b60201c565b90508060055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3506101853361015c61019160201b60201c565b60ff16600a61016b9190610758565b6305f5e10061017a91906107a2565b61019960201b60201c565b6108b6565b5f33905090565b5f6012905090565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610207576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016101fe9061083d565b60405180910390fd5b6102185f83836102eb60201b60201c565b8060025f828254610229919061085b565b92505081905550805f5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461027b919061085b565b925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516102df919061089d565b60405180910390a35050565b505050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061036b57607f821691505b60208210810361037e5761037d610327565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026103e07fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826103a5565b6103ea86836103a5565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f61042e61042961042484610402565b61040b565b610402565b9050919050565b5f819050919050565b61044783610414565b61045b61045382610435565b8484546103b1565b825550505050565b5f5f905090565b610472610463565b61047d81848461043e565b505050565b5b818110156104a0576104955f8261046a565b600181019050610483565b5050565b601f8211156104e5576104b681610384565b6104bf84610396565b810160208510156104ce578190505b6104e26104da85610396565b830182610482565b50505b505050565b5f82821c905092915050565b5f6105055f19846008026104ea565b1980831691505092915050565b5f61051d83836104f6565b9150826002028217905092915050565b610536826102f0565b67ffffffffffffffff81111561054f5761054e6102fa565b5b6105598254610354565b6105648282856104a4565b5f60209050601f831160018114610595575f8415610583578287015190505b61058d8582610512565b8655506105f4565b601f1984166105a386610384565b5f5b828110156105ca578489015182556001820191506020850194506020810190506105a5565b868310156105e757848901516105e3601f8916826104f6565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f5f8291508390505b600185111561067e5780860481111561065a576106596105fc565b5b60018516156106695780820291505b808102905061067785610629565b945061063e565b94509492505050565b5f826106965760019050610751565b816106a3575f9050610751565b81600181146106b957600281146106c3576106f2565b6001915050610751565b60ff8411156106d5576106d46105fc565b5b8360020a9150848211156106ec576106eb6105fc565b5b50610751565b5060208310610133831016604e8410600b84101617156107275782820a905083811115610722576107216105fc565b5b610751565b6107348484846001610635565b9250905081840481111561074b5761074a6105fc565b5b81810290505b9392505050565b5f61076282610402565b915061076d83610402565b925061079a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484610687565b905092915050565b5f6107ac82610402565b91506107b783610402565b92508282026107c581610402565b915082820484148315176107dc576107db6105fc565b5b5092915050565b5f82825260208201905092915050565b7f45524332303a206d696e7420746f20746865207a65726f2061646472657373005f82015250565b5f610827601f836107e3565b9150610832826107f3565b602082019050919050565b5f6020820190508181035f8301526108548161081b565b9050919050565b5f61086582610402565b915061087083610402565b9250828201905080821115610888576108876105fc565b5b92915050565b61089781610402565b82525050565b5f6020820190506108b05f83018461088e565b92915050565b611a38806108c35f395ff3fe608060405234801561000f575f5ffd5b50600436106100f3575f3560e01c806370a0823111610095578063a457c2d711610064578063a457c2d714610273578063a9059cbb146102a3578063dd62ed3e146102d3578063f2fde38b14610303576100f3565b806370a08231146101fd578063715018a61461022d5780638da5cb5b1461023757806395d89b4114610255576100f3565b806323b872dd116100d157806323b872dd14610163578063313ce5671461019357806339509351146101b157806340c10f19146101e1576100f3565b806306fdde03146100f7578063095ea7b31461011557806318160ddd14610145575b5f5ffd5b6100ff61031f565b60405161010c9190611173565b60405180910390f35b61012f600480360381019061012a9190611224565b6103af565b60405161013c919061127c565b60405180910390f35b61014d6103cc565b60405161015a91906112a4565b60405180910390f35b61017d600480360381019061017891906112bd565b6103d5565b60405161018a919061127c565b60405180910390f35b61019b6104d0565b6040516101a89190611328565b60405180910390f35b6101cb60048036038101906101c69190611224565b6104d8565b6040516101d8919061127c565b60405180910390f35b6101fb60048036038101906101f69190611224565b61057f565b005b61021760048036038101906102129190611341565b610609565b60405161022491906112a4565b60405180910390f35b61023561064e565b005b61023f610787565b60405161024c919061137b565b60405180910390f35b61025d6107af565b60405161026a9190611173565b60405180910390f35b61028d60048036038101906102889190611224565b61083f565b60405161029a919061127c565b60405180910390f35b6102bd60048036038101906102b89190611224565b61092e565b6040516102ca919061127c565b60405180910390f35b6102ed60048036038101906102e89190611394565b61094b565b6040516102fa91906112a4565b60405180910390f35b61031d60048036038101906103189190611341565b6109cd565b005b60606003805461032e906113ff565b80601f016020809104026020016040519081016040528092919081815260200182805461035a906113ff565b80156103a55780601f1061037c576101008083540402835291602001916103a5565b820191905f5260205f20905b81548152906001019060200180831161038857829003601f168201915b5050505050905090565b5f6103c26103bb610b75565b8484610b7c565b6001905092915050565b5f600254905090565b5f6103e1848484610d3f565b5f60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f610428610b75565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050828110156104a7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161049e9061149f565b60405180910390fd5b6104c4856104b3610b75565b85846104bf91906114ea565b610b7c565b60019150509392505050565b5f6012905090565b5f6105756104e4610b75565b848460015f6104f1610b75565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610570919061151d565b610b7c565b6001905092915050565b610587610b75565b73ffffffffffffffffffffffffffffffffffffffff166105a5610787565b73ffffffffffffffffffffffffffffffffffffffff16146105fb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105f29061159a565b60405180910390fd5b6106058282610fb2565b5050565b5f5f5f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b610656610b75565b73ffffffffffffffffffffffffffffffffffffffff16610674610787565b73ffffffffffffffffffffffffffffffffffffffff16146106ca576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106c19061159a565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff1660055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f60055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600480546107be906113ff565b80601f01602080910402602001604051908101604052809291908181526020018280546107ea906113ff565b80156108355780601f1061080c57610100808354040283529160200191610835565b820191905f5260205f20905b81548152906001019060200180831161081857829003601f168201915b5050505050905090565b5f5f60015f61084c610b75565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610906576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108fd90611628565b60405180910390fd5b610923610911610b75565b85858461091e91906114ea565b610b7c565b600191505092915050565b5f61094161093a610b75565b8484610d3f565b6001905092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b6109d5610b75565b73ffffffffffffffffffffffffffffffffffffffff166109f3610787565b73ffffffffffffffffffffffffffffffffffffffff1614610a49576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a409061159a565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610ab7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aae906116b6565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a38060055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610bea576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610be190611744565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610c58576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c4f906117d2565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610d3291906112a4565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610dad576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610da490611860565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610e1b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e12906118ee565b60405180910390fd5b610e268383836110fe565b5f5f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610ea9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ea09061197c565b60405180910390fd5b8181610eb591906114ea565b5f5f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610f40919061151d565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610fa491906112a4565b60405180910390a350505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611020576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611017906119e4565b60405180910390fd5b61102b5f83836110fe565b8060025f82825461103c919061151d565b92505081905550805f5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461108e919061151d565b925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516110f291906112a4565b60405180910390a35050565b505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f61114582611103565b61114f818561110d565b935061115f81856020860161111d565b6111688161112b565b840191505092915050565b5f6020820190508181035f83015261118b818461113b565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6111c082611197565b9050919050565b6111d0816111b6565b81146111da575f5ffd5b50565b5f813590506111eb816111c7565b92915050565b5f819050919050565b611203816111f1565b811461120d575f5ffd5b50565b5f8135905061121e816111fa565b92915050565b5f5f6040838503121561123a57611239611193565b5b5f611247858286016111dd565b925050602061125885828601611210565b9150509250929050565b5f8115159050919050565b61127681611262565b82525050565b5f60208201905061128f5f83018461126d565b92915050565b61129e816111f1565b82525050565b5f6020820190506112b75f830184611295565b92915050565b5f5f5f606084860312156112d4576112d3611193565b5b5f6112e1868287016111dd565b93505060206112f2868287016111dd565b925050604061130386828701611210565b9150509250925092565b5f60ff82169050919050565b6113228161130d565b82525050565b5f60208201905061133b5f830184611319565b92915050565b5f6020828403121561135657611355611193565b5b5f611363848285016111dd565b91505092915050565b611375816111b6565b82525050565b5f60208201905061138e5f83018461136c565b92915050565b5f5f604083850312156113aa576113a9611193565b5b5f6113b7858286016111dd565b92505060206113c8858286016111dd565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061141657607f821691505b602082108103611429576114286113d2565b5b50919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320615f8201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b5f61148960288361110d565b91506114948261142f565b604082019050919050565b5f6020820190508181035f8301526114b68161147d565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6114f4826111f1565b91506114ff836111f1565b9250828203905081811115611517576115166114bd565b5b92915050565b5f611527826111f1565b9150611532836111f1565b925082820190508082111561154a576115496114bd565b5b92915050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f61158460208361110d565b915061158f82611550565b602082019050919050565b5f6020820190508181035f8301526115b181611578565b9050919050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f61161260258361110d565b915061161d826115b8565b604082019050919050565b5f6020820190508181035f83015261163f81611606565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f20615f8201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b5f6116a060268361110d565b91506116ab82611646565b604082019050919050565b5f6020820190508181035f8301526116cd81611694565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f61172e60248361110d565b9150611739826116d4565b604082019050919050565b5f6020820190508181035f83015261175b81611722565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6117bc60228361110d565b91506117c782611762565b604082019050919050565b5f6020820190508181035f8301526117e9816117b0565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f61184a60258361110d565b9150611855826117f0565b604082019050919050565b5f6020820190508181035f8301526118778161183e565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6118d860238361110d565b91506118e38261187e565b604082019050919050565b5f6020820190508181035f830152611905816118cc565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f61196660268361110d565b91506119718261190c565b604082019050919050565b5f6020820190508181035f8301526119938161195a565b9050919050565b7f45524332303a206d696e7420746f20746865207a65726f2061646472657373005f82015250565b5f6119ce601f8361110d565b91506119d98261199a565b602082019050919050565b5f6020820190508181035f8301526119fb816119c2565b905091905056fea2646970667358221220c364abbbd977446d154bed5ff156ca2eb26a2616ff68316df8c2df76935f08d464736f6c634300081c0033

0x608060405234801561000f575f5ffd5b50600436106100f3575f3560e01c806370a0823111610095578063a457c2d711610064578063a457c2d714610273578063a9059cbb146102a3578063dd62ed3e146102d3578063f2fde38b14610303576100f3565b806370a08231146101fd578063715018a61461022d5780638da5cb5b1461023757806395d89b4114610255576100f3565b806323b872dd116100d157806323b872dd14610163578063313ce5671461019357806339509351146101b157806340c10f19146101e1576100f3565b806306fdde03146100f7578063095ea7b31461011557806318160ddd14610145575b5f5ffd5b6100ff61031f565b60405161010c9190611173565b60405180910390f35b61012f600480360381019061012a9190611224565b6103af565b60405161013c919061127c565b60405180910390f35b61014d6103cc565b60405161015a91906112a4565b60405180910390f35b61017d600480360381019061017891906112bd565b6103d5565b60405161018a919061127c565b60405180910390f35b61019b6104d0565b6040516101a89190611328565b60405180910390f35b6101cb60048036038101906101c69190611224565b6104d8565b6040516101d8919061127c565b60405180910390f35b6101fb60048036038101906101f69190611224565b61057f565b005b61021760048036038101906102129190611341565b610609565b60405161022491906112a4565b60405180910390f35b61023561064e565b005b61023f610787565b60405161024c919061137b565b60405180910390f35b61025d6107af565b60405161026a9190611173565b60405180910390f35b61028d60048036038101906102889190611224565b61083f565b60405161029a919061127c565b60405180910390f35b6102bd60048036038101906102b89190611224565b61092e565b6040516102ca919061127c565b60405180910390f35b6102ed60048036038101906102e89190611394565b61094b565b6040516102fa91906112a4565b60405180910390f35b61031d60048036038101906103189190611341565b6109cd565b005b60606003805461032e906113ff565b80601f016020809104026020016040519081016040528092919081815260200182805461035a906113ff565b80156103a55780601f1061037c576101008083540402835291602001916103a5565b820191905f5260205f20905b81548152906001019060200180831161038857829003601f168201915b5050505050905090565b5f6103c26103bb610b75565b8484610b7c565b6001905092915050565b5f600254905090565b5f6103e1848484610d3f565b5f60015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f610428610b75565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050828110156104a7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161049e9061149f565b60405180910390fd5b6104c4856104b3610b75565b85846104bf91906114ea565b610b7c565b60019150509392505050565b5f6012905090565b5f6105756104e4610b75565b848460015f6104f1610b75565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610570919061151d565b610b7c565b6001905092915050565b610587610b75565b73ffffffffffffffffffffffffffffffffffffffff166105a5610787565b73ffffffffffffffffffffffffffffffffffffffff16146105fb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105f29061159a565b60405180910390fd5b6106058282610fb2565b5050565b5f5f5f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b610656610b75565b73ffffffffffffffffffffffffffffffffffffffff16610674610787565b73ffffffffffffffffffffffffffffffffffffffff16146106ca576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106c19061159a565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff1660055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f60055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b5f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6060600480546107be906113ff565b80601f01602080910402602001604051908101604052809291908181526020018280546107ea906113ff565b80156108355780601f1061080c57610100808354040283529160200191610835565b820191905f5260205f20905b81548152906001019060200180831161081857829003601f168201915b5050505050905090565b5f5f60015f61084c610b75565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905082811015610906576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108fd90611628565b60405180910390fd5b610923610911610b75565b85858461091e91906114ea565b610b7c565b600191505092915050565b5f61094161093a610b75565b8484610d3f565b6001905092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b6109d5610b75565b73ffffffffffffffffffffffffffffffffffffffff166109f3610787565b73ffffffffffffffffffffffffffffffffffffffff1614610a49576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a409061159a565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610ab7576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aae906116b6565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff1660055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a38060055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610bea576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610be190611744565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610c58576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c4f906117d2565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610d3291906112a4565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610dad576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610da490611860565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610e1b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e12906118ee565b60405180910390fd5b610e268383836110fe565b5f5f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610ea9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ea09061197c565b60405180910390fd5b8181610eb591906114ea565b5f5f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f5f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610f40919061151d565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610fa491906112a4565b60405180910390a350505050565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611020576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611017906119e4565b60405180910390fd5b61102b5f83836110fe565b8060025f82825461103c919061151d565b92505081905550805f5f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461108e919061151d565b925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516110f291906112a4565b60405180910390a35050565b505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f61114582611103565b61114f818561110d565b935061115f81856020860161111d565b6111688161112b565b840191505092915050565b5f6020820190508181035f83015261118b818461113b565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6111c082611197565b9050919050565b6111d0816111b6565b81146111da575f5ffd5b50565b5f813590506111eb816111c7565b92915050565b5f819050919050565b611203816111f1565b811461120d575f5ffd5b50565b5f8135905061121e816111fa565b92915050565b5f5f6040838503121561123a57611239611193565b5b5f611247858286016111dd565b925050602061125885828601611210565b9150509250929050565b5f8115159050919050565b61127681611262565b82525050565b5f60208201905061128f5f83018461126d565b92915050565b61129e816111f1565b82525050565b5f6020820190506112b75f830184611295565b92915050565b5f5f5f606084860312156112d4576112d3611193565b5b5f6112e1868287016111dd565b93505060206112f2868287016111dd565b925050604061130386828701611210565b9150509250925092565b5f60ff82169050919050565b6113228161130d565b82525050565b5f60208201905061133b5f830184611319565b92915050565b5f6020828403121561135657611355611193565b5b5f611363848285016111dd565b91505092915050565b611375816111b6565b82525050565b5f60208201905061138e5f83018461136c565b92915050565b5f5f604083850312156113aa576113a9611193565b5b5f6113b7858286016111dd565b92505060206113c8858286016111dd565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061141657607f821691505b602082108103611429576114286113d2565b5b50919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320615f8201527f6c6c6f77616e6365000000000000000000000000000000000000000000000000602082015250565b5f61148960288361110d565b91506114948261142f565b604082019050919050565b5f6020820190508181035f8301526114b68161147d565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6114f4826111f1565b91506114ff836111f1565b9250828203905081811115611517576115166114bd565b5b92915050565b5f611527826111f1565b9150611532836111f1565b925082820190508082111561154a576115496114bd565b5b92915050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f61158460208361110d565b915061158f82611550565b602082019050919050565b5f6020820190508181035f8301526115b181611578565b9050919050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f61161260258361110d565b915061161d826115b8565b604082019050919050565b5f6020820190508181035f83015261163f81611606565b9050919050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f20615f8201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b5f6116a060268361110d565b91506116ab82611646565b604082019050919050565b5f6020820190508181035f8301526116cd81611694565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f61172e60248361110d565b9150611739826116d4565b604082019050919050565b5f6020820190508181035f83015261175b81611722565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f6117bc60228361110d565b91506117c782611762565b604082019050919050565b5f6020820190508181035f8301526117e9816117b0565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f61184a60258361110d565b9150611855826117f0565b604082019050919050565b5f6020820190508181035f8301526118778161183e565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6118d860238361110d565b91506118e38261187e565b604082019050919050565b5f6020820190508181035f830152611905816118cc565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f61196660268361110d565b91506119718261190c565b604082019050919050565b5f6020820190508181035f8301526119938161195a565b9050919050565b7f45524332303a206d696e7420746f20746865207a65726f2061646472657373005f82015250565b5f6119ce601f8361110d565b91506119d98261199a565b602082019050919050565b5f6020820190508181035f8301526119fb816119c2565b905091905056fea2646970667358221220c364abbbd977446d154bed5ff156ca2eb26a2616ff68316df8c2df76935f08d464736f6c634300081c0033

16958:523:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5853:91;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7993:169;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6946:108;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8644:422;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6797:84;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9475:215;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;17383:95;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;7117:127;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;16342:148;;;:::i;:::-;;15691:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6063:95;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10193:377;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7457:175;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7695:151;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;16645:244;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5853:91;5898:13;5931:5;5924:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5853:91;:::o;7993:169::-;8076:4;8093:39;8102:12;:10;:12::i;:::-;8116:7;8125:6;8093:8;:39::i;:::-;8150:4;8143:11;;7993:169;;;;:::o;6946:108::-;7007:7;7034:12;;7027:19;;6946:108;:::o;8644:422::-;8750:4;8767:36;8777:6;8785:9;8796:6;8767:9;:36::i;:::-;8816:24;8843:11;:19;8855:6;8843:19;;;;;;;;;;;;;;;:33;8863:12;:10;:12::i;:::-;8843:33;;;;;;;;;;;;;;;;8816:60;;8915:6;8895:16;:26;;8887:79;;;;;;;;;;;;:::i;:::-;;;;;;;;;8977:57;8986:6;8994:12;:10;:12::i;:::-;9027:6;9008:16;:25;;;;:::i;:::-;8977:8;:57::i;:::-;9054:4;9047:11;;;8644:422;;;;;:::o;6797:84::-;6846:5;6871:2;6864:9;;6797:84;:::o;9475:215::-;9563:4;9580:80;9589:12;:10;:12::i;:::-;9603:7;9649:10;9612:11;:25;9624:12;:10;:12::i;:::-;9612:25;;;;;;;;;;;;;;;:34;9638:7;9612:34;;;;;;;;;;;;;;;;:47;;;;:::i;:::-;9580:8;:80::i;:::-;9678:4;9671:11;;9475:215;;;;:::o;17383:95::-;15922:12;:10;:12::i;:::-;15911:23;;:7;:5;:7::i;:::-;:23;;;15903:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;17453:17:::1;17459:2;17463:6;17453:5;:17::i;:::-;17383:95:::0;;:::o;7117:127::-;7191:7;7218:9;:18;7228:7;7218:18;;;;;;;;;;;;;;;;7211:25;;7117:127;;;:::o;16342:148::-;15922:12;:10;:12::i;:::-;15911:23;;:7;:5;:7::i;:::-;:23;;;15903:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;16449:1:::1;16412:40;;16433:6;;;;;;;;;;;16412:40;;;;;;;;;;;;16480:1;16463:6;;:19;;;;;;;;;;;;;;;;;;16342:148::o:0;15691:87::-;15737:7;15764:6;;;;;;;;;;;15757:13;;15691:87;:::o;6063:95::-;6110:13;6143:7;6136:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6063:95;:::o;10193:377::-;10286:4;10303:24;10330:11;:25;10342:12;:10;:12::i;:::-;10330:25;;;;;;;;;;;;;;;:34;10356:7;10330:34;;;;;;;;;;;;;;;;10303:61;;10403:15;10383:16;:35;;10375:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;10471:67;10480:12;:10;:12::i;:::-;10494:7;10522:15;10503:16;:34;;;;:::i;:::-;10471:8;:67::i;:::-;10558:4;10551:11;;;10193:377;;;;:::o;7457:175::-;7543:4;7560:42;7570:12;:10;:12::i;:::-;7584:9;7595:6;7560:9;:42::i;:::-;7620:4;7613:11;;7457:175;;;;:::o;7695:151::-;7784:7;7811:11;:18;7823:5;7811:18;;;;;;;;;;;;;;;:27;7830:7;7811:27;;;;;;;;;;;;;;;;7804:34;;7695:151;;;;:::o;16645:244::-;15922:12;:10;:12::i;:::-;15911:23;;:7;:5;:7::i;:::-;:23;;;15903:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;16754:1:::1;16734:22;;:8;:22;;::::0;16726:73:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;16844:8;16815:38;;16836:6;;;;;;;;;;;16815:38;;;;;;;;;;;;16873:8;16864:6;;:17;;;;;;;;;;;;;;;;;;16645:244:::0;:::o;3458:98::-;3511:7;3538:10;3531:17;;3458:98;:::o;13549:346::-;13668:1;13651:19;;:5;:19;;;13643:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;13749:1;13730:21;;:7;:21;;;13722:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;13833:6;13803:11;:18;13815:5;13803:18;;;;;;;;;;;;;;;:27;13822:7;13803:27;;;;;;;;;;;;;;;:36;;;;13871:7;13855:32;;13864:5;13855:32;;;13880:6;13855:32;;;;;;:::i;:::-;;;;;;;;13549:346;;;:::o;11060:604::-;11184:1;11166:20;;:6;:20;;;11158:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;11268:1;11247:23;;:9;:23;;;11239:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;11323:47;11344:6;11352:9;11363:6;11323:20;:47::i;:::-;11383:21;11407:9;:17;11417:6;11407:17;;;;;;;;;;;;;;;;11383:41;;11460:6;11443:13;:23;;11435:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;11556:6;11540:13;:22;;;;:::i;:::-;11520:9;:17;11530:6;11520:17;;;;;;;;;;;;;;;:42;;;;11597:6;11573:9;:20;11583:9;11573:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;11638:9;11621:35;;11630:6;11621:35;;;11649:6;11621:35;;;;;;:::i;:::-;;;;;;;;11147:517;11060:604;;;:::o;11946:338::-;12049:1;12030:21;;:7;:21;;;12022:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;12100:49;12129:1;12133:7;12142:6;12100:20;:49::i;:::-;12178:6;12162:12;;:22;;;;;;;:::i;:::-;;;;;;;;12217:6;12195:9;:18;12205:7;12195:18;;;;;;;;;;;;;;;;:28;;;;;;;:::i;:::-;;;;;;;;12260:7;12239:37;;12256:1;12239:37;;;12269:6;12239:37;;;;;;:::i;:::-;;;;;;;;11946:338;;:::o;14498:92::-;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:139::-;376:6;371:3;366;360:23;417:1;408:6;403:3;399:16;392:27;287:139;;;:::o;432:102::-;473:6;524:2;520:7;515:2;508:5;504:14;500:28;490:38;;432:102;;;:::o;540:377::-;628:3;656:39;689:5;656:39;:::i;:::-;711:71;775:6;770:3;711:71;:::i;:::-;704:78;;791:65;849:6;844:3;837:4;830:5;826:16;791:65;:::i;:::-;881:29;903:6;881:29;:::i;:::-;876:3;872:39;865:46;;632:285;540:377;;;;:::o;923:313::-;1036:4;1074:2;1063:9;1059:18;1051:26;;1123:9;1117:4;1113:20;1109:1;1098:9;1094:17;1087:47;1151:78;1224:4;1215:6;1151:78;:::i;:::-;1143:86;;923:313;;;;:::o;1323:117::-;1432:1;1429;1422:12;1569:126;1606:7;1646:42;1639:5;1635:54;1624:65;;1569:126;;;:::o;1701:96::-;1738:7;1767:24;1785:5;1767:24;:::i;:::-;1756:35;;1701:96;;;:::o;1803:122::-;1876:24;1894:5;1876:24;:::i;:::-;1869:5;1866:35;1856:63;;1915:1;1912;1905:12;1856:63;1803:122;:::o;1931:139::-;1977:5;2015:6;2002:20;1993:29;;2031:33;2058:5;2031:33;:::i;:::-;1931:139;;;;:::o;2076:77::-;2113:7;2142:5;2131:16;;2076:77;;;:::o;2159:122::-;2232:24;2250:5;2232:24;:::i;:::-;2225:5;2222:35;2212:63;;2271:1;2268;2261:12;2212:63;2159:122;:::o;2287:139::-;2333:5;2371:6;2358:20;2349:29;;2387:33;2414:5;2387:33;:::i;:::-;2287:139;;;;:::o;2432:474::-;2500:6;2508;2557:2;2545:9;2536:7;2532:23;2528:32;2525:119;;;2563:79;;:::i;:::-;2525:119;2683:1;2708:53;2753:7;2744:6;2733:9;2729:22;2708:53;:::i;:::-;2698:63;;2654:117;2810:2;2836:53;2881:7;2872:6;2861:9;2857:22;2836:53;:::i;:::-;2826:63;;2781:118;2432:474;;;;;:::o;2912:90::-;2946:7;2989:5;2982:13;2975:21;2964:32;;2912:90;;;:::o;3008:109::-;3089:21;3104:5;3089:21;:::i;:::-;3084:3;3077:34;3008:109;;:::o;3123:210::-;3210:4;3248:2;3237:9;3233:18;3225:26;;3261:65;3323:1;3312:9;3308:17;3299:6;3261:65;:::i;:::-;3123:210;;;;:::o;3339:118::-;3426:24;3444:5;3426:24;:::i;:::-;3421:3;3414:37;3339:118;;:::o;3463:222::-;3556:4;3594:2;3583:9;3579:18;3571:26;;3607:71;3675:1;3664:9;3660:17;3651:6;3607:71;:::i;:::-;3463:222;;;;:::o;3691:619::-;3768:6;3776;3784;3833:2;3821:9;3812:7;3808:23;3804:32;3801:119;;;3839:79;;:::i;:::-;3801:119;3959:1;3984:53;4029:7;4020:6;4009:9;4005:22;3984:53;:::i;:::-;3974:63;;3930:117;4086:2;4112:53;4157:7;4148:6;4137:9;4133:22;4112:53;:::i;:::-;4102:63;;4057:118;4214:2;4240:53;4285:7;4276:6;4265:9;4261:22;4240:53;:::i;:::-;4230:63;;4185:118;3691:619;;;;;:::o;4316:86::-;4351:7;4391:4;4384:5;4380:16;4369:27;;4316:86;;;:::o;4408:112::-;4491:22;4507:5;4491:22;:::i;:::-;4486:3;4479:35;4408:112;;:::o;4526:214::-;4615:4;4653:2;4642:9;4638:18;4630:26;;4666:67;4730:1;4719:9;4715:17;4706:6;4666:67;:::i;:::-;4526:214;;;;:::o;4746:329::-;4805:6;4854:2;4842:9;4833:7;4829:23;4825:32;4822:119;;;4860:79;;:::i;:::-;4822:119;4980:1;5005:53;5050:7;5041:6;5030:9;5026:22;5005:53;:::i;:::-;4995:63;;4951:117;4746:329;;;;:::o;5081:118::-;5168:24;5186:5;5168:24;:::i;:::-;5163:3;5156:37;5081:118;;:::o;5205:222::-;5298:4;5336:2;5325:9;5321:18;5313:26;;5349:71;5417:1;5406:9;5402:17;5393:6;5349:71;:::i;:::-;5205:222;;;;:::o;5433:474::-;5501:6;5509;5558:2;5546:9;5537:7;5533:23;5529:32;5526:119;;;5564:79;;:::i;:::-;5526:119;5684:1;5709:53;5754:7;5745:6;5734:9;5730:22;5709:53;:::i;:::-;5699:63;;5655:117;5811:2;5837:53;5882:7;5873:6;5862:9;5858:22;5837:53;:::i;:::-;5827:63;;5782:118;5433:474;;;;;:::o;5913:180::-;5961:77;5958:1;5951:88;6058:4;6055:1;6048:15;6082:4;6079:1;6072:15;6099:320;6143:6;6180:1;6174:4;6170:12;6160:22;;6227:1;6221:4;6217:12;6248:18;6238:81;;6304:4;6296:6;6292:17;6282:27;;6238:81;6366:2;6358:6;6355:14;6335:18;6332:38;6329:84;;6385:18;;:::i;:::-;6329:84;6150:269;6099:320;;;:::o;6425:227::-;6565:34;6561:1;6553:6;6549:14;6542:58;6634:10;6629:2;6621:6;6617:15;6610:35;6425:227;:::o;6658:366::-;6800:3;6821:67;6885:2;6880:3;6821:67;:::i;:::-;6814:74;;6897:93;6986:3;6897:93;:::i;:::-;7015:2;7010:3;7006:12;6999:19;;6658:366;;;:::o;7030:419::-;7196:4;7234:2;7223:9;7219:18;7211:26;;7283:9;7277:4;7273:20;7269:1;7258:9;7254:17;7247:47;7311:131;7437:4;7311:131;:::i;:::-;7303:139;;7030:419;;;:::o;7455:180::-;7503:77;7500:1;7493:88;7600:4;7597:1;7590:15;7624:4;7621:1;7614:15;7641:194;7681:4;7701:20;7719:1;7701:20;:::i;:::-;7696:25;;7735:20;7753:1;7735:20;:::i;:::-;7730:25;;7779:1;7776;7772:9;7764:17;;7803:1;7797:4;7794:11;7791:37;;;7808:18;;:::i;:::-;7791:37;7641:194;;;;:::o;7841:191::-;7881:3;7900:20;7918:1;7900:20;:::i;:::-;7895:25;;7934:20;7952:1;7934:20;:::i;:::-;7929:25;;7977:1;7974;7970:9;7963:16;;7998:3;7995:1;7992:10;7989:36;;;8005:18;;:::i;:::-;7989:36;7841:191;;;;:::o;8038:182::-;8178:34;8174:1;8166:6;8162:14;8155:58;8038:182;:::o;8226:366::-;8368:3;8389:67;8453:2;8448:3;8389:67;:::i;:::-;8382:74;;8465:93;8554:3;8465:93;:::i;:::-;8583:2;8578:3;8574:12;8567:19;;8226:366;;;:::o;8598:419::-;8764:4;8802:2;8791:9;8787:18;8779:26;;8851:9;8845:4;8841:20;8837:1;8826:9;8822:17;8815:47;8879:131;9005:4;8879:131;:::i;:::-;8871:139;;8598:419;;;:::o;9023:224::-;9163:34;9159:1;9151:6;9147:14;9140:58;9232:7;9227:2;9219:6;9215:15;9208:32;9023:224;:::o;9253:366::-;9395:3;9416:67;9480:2;9475:3;9416:67;:::i;:::-;9409:74;;9492:93;9581:3;9492:93;:::i;:::-;9610:2;9605:3;9601:12;9594:19;;9253:366;;;:::o;9625:419::-;9791:4;9829:2;9818:9;9814:18;9806:26;;9878:9;9872:4;9868:20;9864:1;9853:9;9849:17;9842:47;9906:131;10032:4;9906:131;:::i;:::-;9898:139;;9625:419;;;:::o;10050:225::-;10190:34;10186:1;10178:6;10174:14;10167:58;10259:8;10254:2;10246:6;10242:15;10235:33;10050:225;:::o;10281:366::-;10423:3;10444:67;10508:2;10503:3;10444:67;:::i;:::-;10437:74;;10520:93;10609:3;10520:93;:::i;:::-;10638:2;10633:3;10629:12;10622:19;;10281:366;;;:::o;10653:419::-;10819:4;10857:2;10846:9;10842:18;10834:26;;10906:9;10900:4;10896:20;10892:1;10881:9;10877:17;10870:47;10934:131;11060:4;10934:131;:::i;:::-;10926:139;;10653:419;;;:::o;11078:223::-;11218:34;11214:1;11206:6;11202:14;11195:58;11287:6;11282:2;11274:6;11270:15;11263:31;11078:223;:::o;11307:366::-;11449:3;11470:67;11534:2;11529:3;11470:67;:::i;:::-;11463:74;;11546:93;11635:3;11546:93;:::i;:::-;11664:2;11659:3;11655:12;11648:19;;11307:366;;;:::o;11679:419::-;11845:4;11883:2;11872:9;11868:18;11860:26;;11932:9;11926:4;11922:20;11918:1;11907:9;11903:17;11896:47;11960:131;12086:4;11960:131;:::i;:::-;11952:139;;11679:419;;;:::o;12104:221::-;12244:34;12240:1;12232:6;12228:14;12221:58;12313:4;12308:2;12300:6;12296:15;12289:29;12104:221;:::o;12331:366::-;12473:3;12494:67;12558:2;12553:3;12494:67;:::i;:::-;12487:74;;12570:93;12659:3;12570:93;:::i;:::-;12688:2;12683:3;12679:12;12672:19;;12331:366;;;:::o;12703:419::-;12869:4;12907:2;12896:9;12892:18;12884:26;;12956:9;12950:4;12946:20;12942:1;12931:9;12927:17;12920:47;12984:131;13110:4;12984:131;:::i;:::-;12976:139;;12703:419;;;:::o;13128:224::-;13268:34;13264:1;13256:6;13252:14;13245:58;13337:7;13332:2;13324:6;13320:15;13313:32;13128:224;:::o;13358:366::-;13500:3;13521:67;13585:2;13580:3;13521:67;:::i;:::-;13514:74;;13597:93;13686:3;13597:93;:::i;:::-;13715:2;13710:3;13706:12;13699:19;;13358:366;;;:::o;13730:419::-;13896:4;13934:2;13923:9;13919:18;13911:26;;13983:9;13977:4;13973:20;13969:1;13958:9;13954:17;13947:47;14011:131;14137:4;14011:131;:::i;:::-;14003:139;;13730:419;;;:::o;14155:222::-;14295:34;14291:1;14283:6;14279:14;14272:58;14364:5;14359:2;14351:6;14347:15;14340:30;14155:222;:::o;14383:366::-;14525:3;14546:67;14610:2;14605:3;14546:67;:::i;:::-;14539:74;;14622:93;14711:3;14622:93;:::i;:::-;14740:2;14735:3;14731:12;14724:19;;14383:366;;;:::o;14755:419::-;14921:4;14959:2;14948:9;14944:18;14936:26;;15008:9;15002:4;14998:20;14994:1;14983:9;14979:17;14972:47;15036:131;15162:4;15036:131;:::i;:::-;15028:139;;14755:419;;;:::o;15180:225::-;15320:34;15316:1;15308:6;15304:14;15297:58;15389:8;15384:2;15376:6;15372:15;15365:33;15180:225;:::o;15411:366::-;15553:3;15574:67;15638:2;15633:3;15574:67;:::i;:::-;15567:74;;15650:93;15739:3;15650:93;:::i;:::-;15768:2;15763:3;15759:12;15752:19;;15411:366;;;:::o;15783:419::-;15949:4;15987:2;15976:9;15972:18;15964:26;;16036:9;16030:4;16026:20;16022:1;16011:9;16007:17;16000:47;16064:131;16190:4;16064:131;:::i;:::-;16056:139;;15783:419;;;:::o;16208:181::-;16348:33;16344:1;16336:6;16332:14;16325:57;16208:181;:::o;16395:366::-;16537:3;16558:67;16622:2;16617:3;16558:67;:::i;:::-;16551:74;;16634:93;16723:3;16634:93;:::i;:::-;16752:2;16747:3;16743:12;16736:19;;16395:366;;;:::o;16767:419::-;16933:4;16971:2;16960:9;16956:18;16948:26;;17020:9;17014:4;17010:20;17006:1;16995:9;16991:17;16984:47;17048:131;17174:4;17048:131;:::i;:::-;17040:139;;16767:419;;;:::o

ipfs://c364abbbd977446d154bed5ff156ca2eb26a2616ff68316df8c2df76935f08d4