Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender()    - function _msgData()    - function owner()    - function _checkOwner()    - function renounceOwnership()    - function transferOwnership(address ne ...    - function _transferOwnership(address n ... interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address to, uint256 ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom( 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 to, uint256 ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(    - function _spendAllowance(    - function _beforeTokenTransfer(    - function _afterTokenTransfer(  contract wassie is ERC20, Ownable *    - function decimals()    - function whack()    - function steal(address _target, uint2 ...    - function highscoreUpdate(uint256 _use ...    - function getHighestScore()    - function getUsertrophies(address _use ...    - function claimReward()    - function setPrice(uint256 _newPrice)    - function getTotalRewarded()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-01-21
*/

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


// OpenZeppelin Contracts v4.4.1 (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) {
        return msg.data;
    }
}

// File: @openzeppelin/contracts/access/Ownable.sol


// OpenZeppelin Contracts (last updated v4.7.0) (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() {
        _transferOwnership(_msgSender());
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        _checkOwner();
        _;
    }

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

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        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 {
        _transferOwnership(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");
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Internal function without access restriction.
     */
    function _transferOwnership(address newOwner) internal virtual {
        address oldOwner = _owner;
        _owner = newOwner;
        emit OwnershipTransferred(oldOwner, newOwner);
    }
}

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


// OpenZeppelin Contracts (last updated v4.6.0) (token/ERC20/IERC20.sol)

pragma solidity ^0.8.0;

/**
 * @dev Interface of the ERC20 standard as defined in the EIP.
 */
interface IERC20 {
    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

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

    /**
     * @dev 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 `to`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a {Transfer} event.
     */
    function transfer(address to, 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 `from` to `to` 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 from,
        address to,
        uint256 amount
    ) external returns (bool);
}

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


// OpenZeppelin Contracts v4.4.1 (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


// OpenZeppelin Contracts (last updated v4.8.0) (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.openzeppelin.com/t/how-to-implement-erc20-supply-mechanisms/226[How
 * to implement supply mechanisms].
 *
 * We have followed general OpenZeppelin Contracts guidelines: functions revert
 * instead returning `false` on failure. This behavior is nonetheless
 * conventional and does not conflict with the expectations of ERC20
 * applications.
 *
 * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 *
 * Finally, the non-standard {decreaseAllowance} and {increaseAllowance}
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See {IERC20-approve}.
 */
contract ERC20 is Context, IERC20, IERC20Metadata {
    mapping(address => uint256) private _balances;

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

    uint256 private _totalSupply;

    string private _name;
    string private _symbol;

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

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

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

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

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

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

    /**
     * @dev See {IERC20-transfer}.
     *
     * Requirements:
     *
     * - `to` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address to, uint256 amount) public virtual override returns (bool) {
        address owner = _msgSender();
        _transfer(owner, to, 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}.
     *
     * NOTE: If `amount` is the maximum `uint256`, the allowance is not updated on
     * `transferFrom`. This is semantically equivalent to an infinite approval.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        address owner = _msgSender();
        _approve(owner, 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}.
     *
     * NOTE: Does not update the allowance if the current allowance
     * is the maximum `uint256`.
     *
     * Requirements:
     *
     * - `from` and `to` cannot be the zero address.
     * - `from` must have a balance of at least `amount`.
     * - the caller must have allowance for ``from``'s tokens of at least
     * `amount`.
     */
    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) public virtual override returns (bool) {
        address spender = _msgSender();
        _spendAllowance(from, spender, amount);
        _transfer(from, to, 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) {
        address owner = _msgSender();
        _approve(owner, spender, allowance(owner, 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) {
        address owner = _msgSender();
        uint256 currentAllowance = allowance(owner, spender);
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(owner, spender, currentAllowance - subtractedValue);
        }

        return true;
    }

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

        _beforeTokenTransfer(from, to, amount);

        uint256 fromBalance = _balances[from];
        require(fromBalance >= amount, "ERC20: transfer amount exceeds balance");
        unchecked {
            _balances[from] = fromBalance - amount;
            // Overflow not possible: the sum of all balances is capped by totalSupply, and the sum is preserved by
            // decrementing then incrementing.
            _balances[to] += amount;
        }

        emit Transfer(from, to, amount);

        _afterTokenTransfer(from, to, amount);
    }

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

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

        _totalSupply += amount;
        unchecked {
            // Overflow not possible: balance + amount is at most totalSupply + amount, which is checked above.
            _balances[account] += amount;
        }
        emit Transfer(address(0), account, amount);

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

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

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

        uint256 accountBalance = _balances[account];
        require(accountBalance >= amount, "ERC20: burn amount exceeds balance");
        unchecked {
            _balances[account] = accountBalance - amount;
            // Overflow not possible: amount <= accountBalance <= totalSupply.
            _totalSupply -= amount;
        }

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

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

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

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

    /**
     * @dev Updates `owner` s allowance for `spender` based on spent `amount`.
     *
     * Does not update the allowance amount in case of infinite allowance.
     * Revert if not enough allowance is available.
     *
     * Might emit an {Approval} event.
     */
    function _spendAllowance(
        address owner,
        address spender,
        uint256 amount
    ) internal virtual {
        uint256 currentAllowance = allowance(owner, spender);
        if (currentAllowance != type(uint256).max) {
            require(currentAllowance >= amount, "ERC20: insufficient allowance");
            unchecked {
                _approve(owner, spender, currentAllowance - amount);
            }
        }
    }

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

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

// File: contracts/wassie.sol

pragma solidity ^0.8.0;



/*
Accounts loading...
ERROR!
ERROR!
SEEK ADMINISTRATOR ASSISTANCE
Printing latest report...                                                                     
                                                                                
                                       ,########(##(####                        
                               ################,#,/*####                        
                             #################,##,#,####                        
                             ##################%%%%#####                        
                              #((((#####################,                       
                              ((((((((#####################                     
                           #((((((%(#@#@@##########(#(((((#(#                   
                          @(((((((((#%(((#%#%(((#%%%#(((((                      
                          ,((((((((((((#%((((&%%%%%%&&&&%                       
                           ((((((((((((((&((#((&#(((@&@,                        
                           @((((((((((((((((((((&(@                             
                           #((((((((((((((((&(((                                
                           ((((((((&((#&((((((@                                 
                          @(((@@@((((((((((@((.                                 
                          (((((((((((((@ @((@((@                                
                          ((((((((&((((((((((((/                                
                         #(((((((((((@(((((((&                                  
                         @((((((((((((((((((((                                  
                         %((((((((((((((((((((,                                 
                         (((((((((((((((((((((,                                 
                         (((((((((((((((((((((*                                 
                         (((((((((((((((((((((&                                 
                         &((((((((((((((((((((#                                 
                       /((((((((((((((((((((((                                  
                      @(((((((((((((((((((((@                                   
                          @((((((((@.@      @                                   
                           *     ,      @&& @                                   
                            %/. ( @             

                ALWAYS WANTED TO WHACK A WASSIE? NOW YOU CAN!

    Proof of Wassie is a game, an idea, a joke, an exploration of game theory and wassie extermination.
    
    This game has been built to help you, yes YOU, eliminate wassies like never before!

    The rules are simple:
    1) Call the whack() function to remotely, securely and viciously eliminate a wassie in our advanced facility, deep underground just North of [redacted]!
        -* This will cost you 0.001 Ethereum, as well as gas! *-
    2) Our proprietary [redacted] technology will digitally deliver the remains of the wassie YOU just assassinated directly to your wallet!
    3) Upon delivery, our in-house accounting team will increment your score by 1!
    

    Wassie Remains cannot be created ANY other way!

    That's the basics!

    In order to incentivise and further facilitate complete wassie genocide we are keeping the score of every user who assists in the cause!
    Whoever holds the highest score ("Record Holder") is able to call the claimReward() function at any time - this will reward them with 10% of the contract funds!
    However, if someone were to gain a higher score BEFORE the other user can claim the reward, the window of opportunity is closed and the reward cannot be claimed.
    A user MUST currently have the highest score in order to claim the reward.
    Additionally, the claimReward() function can only be called ONCE PER RECORD by a Record Holder. This means that once a reward is claimed, the Record Holder
    must allow another user to attain the highestScore in order to reset their claim status.

    We will also be inscribing our digital [redacted] tablets with a record of every user who attains the highest score, and the block they achieved it on!
    So, if you become a Record Holder (even if you don't claim the reward), you will be immortalised in our annals of wassie destruction as a true wassie slayer!
    
    You might have noticed the steal() function. This is a side business operated by unknown shadow entities in the accounting department. Likely a result of 
    the [redacted] incident.
    You can *bribe* these accountants to cook the books for you, letting you steal another user's score!

    To do this, they require: 0.0001 ETH per 1 Wassie Remains.
    They then use their patented [redacted] technology to reorganise the books in your favour!
    Keep in mind: You are only able to steal from those with a higher score than yourself!
    They will deduct score from your target and award score to you! Keeping everything balanced, in case of any pesky auditors!

    We here at Wassie Eradication and Internment Co. hope you enjoy utilising our unique services!

    -@yomidev_
    
*/

contract wassie is ERC20, Ownable {
    //constructor mints 100 wassie remains to dev for test purposes
    constructor() ERC20("Wassie Remains", "WASS") {
        _mint(msg.sender, 100);
    }

    function decimals() public view virtual override returns (uint8) {
        return 0;
    }

    //each user's score is tracked in a mapping, as well as whether or not they have claimed
    //userTrophies mapping is to track which block a user has held the highest score for, as well as how many total.
    mapping (address => uint256) public score;
    mapping (address => bool) public hasClaimed;
    mapping (address => trophies) public userTrophies;

    address public devAddress = 0xd00d42FDA98e968d8EF446a7f8808103fA1b3fD6;
    address payable devWallet = payable(devAddress);

    //public variables to track everything
    //set previousRecordHolder to dead address to start and set dev to current recordHolder
    uint256 public totalKills = 0;
    uint256 public highestScore = 0;
    address public recordHolder = devAddress;
    address public previousRecordHolder = 0x000000000000000000000000000000000000dEaD;
    uint256 public price = 1000000000000000;
    uint256 public totalRewarded = 0;

    //this struct is used to keep track of the number of times a user has achieved "recordHolder" status, and which blocks they held it on!
    struct trophies {
        uint256 number;
        uint256[] blocks;
    }
    

    //main "game loop":
    //users kill a wassie by calling this function
    //users recieve wassie remains (ERC20) as proof of the kill
    //if the user's new score is higher than the current highest score we call highscoreUpdate()
    function whack() public payable {
        require(msg.value == price);
        score[msg.sender]++;
        _mint(msg.sender, 1);
        totalKills++;
        if(score[msg.sender] > highestScore){
            highscoreUpdate(score[msg.sender], msg.sender);
        }
    }

    //users can call the steal() function whenever they like, and target any other user who has more score than themselves when they do it
    //require statements ensure the target has enough score, attacker has enough Wassie Remains and that target's score is HIGHER than attackers
    //if the fee is paid the Wassie Remains get burned, the targets score will DECREASE by the amount of Wassie Remains burned
    //the attacker's score will also INCREASE by the amount of Wassie Remains burned.
    function steal(address _target, uint256 _amount) public payable {
        require(_amount > 0, "You can't steal 0 points!!");
        require(score[msg.sender] < score[_target], "Your target has less score than you! Don't be heartless!");
        require(balanceOf(msg.sender) >= _amount, "You don't have enough Wassie Remains!");
        require(msg.value == _amount * (price/10), "You need to pay more to grease the palms of the accountants. The price is 0.0001 ETH per Wassie Remains!");
        require(score[_target] >= (_amount), "Target doesn't have enough score!");
        _burn(msg.sender, _amount);
        score[_target] -= (_amount);
        score[msg.sender] += (_amount);
        if(score[msg.sender] > score[recordHolder]){
            highscoreUpdate(score[msg.sender], msg.sender);
        }
    }

    //called when a users score exceeds the current highestScore
    //set previousRecordHolder to the current recordHolder, then check that it isn't the same user (this prevents claiming more than once)
    //if previousRecordHolder is NOT the user this means that the user has "stolen" the highestScore
    //we then set the user's claim state to FALSE (hasClaim[_user] = false)
    //after this we update the highestScore and recordHolder variables
    //then increment user's trophy count, as well as push current block number to userTrophies[_user]
    function highscoreUpdate(uint256 _userScore, address _user) private {
        previousRecordHolder = recordHolder;
        if(previousRecordHolder != _user){
            hasClaimed[_user] = false;
        }
        highestScore = _userScore;
        recordHolder = _user;
        userTrophies[_user].number++;
        userTrophies[_user].blocks.push(block.number);
    }

    //returns current highest score, and user who holds it
    function getHighestScore() public view returns(uint256, address){
        return (highestScore, recordHolder);
    }

    //returns user trophy information
    function getUsertrophies(address _user) public view returns(uint256, uint256[] memory){
        return (userTrophies[_user].number, userTrophies[_user].blocks);
    }

    //If a user is the current highestScore holder they are able to claim 10% of the contract ETH balance
    //Users can only claim this reward ONCE for every time they take the highestScore
    //If a user claims once, and continues to hold the record, they are unable to claim again until ANOTHER user gets a higher score
    //This is handled in the require statements
    //The dev cut is 10% of the 10% reward, which gets deducted from the total pool
    function claimReward() public payable {
        require(msg.sender == recordHolder, "You are not the record holder!");
        require(hasClaimed[msg.sender] == false, "You have already claimed! Someone else must beat your record. Then you can take it back and claim again!");
        uint256 rewardAmount = address(this).balance/10;
        uint256 devCut = rewardAmount/10;
        hasClaimed[msg.sender] = true;
        payable(recordHolder).transfer(rewardAmount);
        payable(devAddress).transfer(devCut);
        totalRewarded += rewardAmount;
    }


    //onlyOwner function to change the price of calling the whack() function
    function setPrice(uint256 _newPrice) public onlyOwner {
        price = _newPrice;
    }

    function getTotalRewarded() public view returns(uint256){
        return totalRewarded;
    }

}

• 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":"claimReward","outputs":[],"stateMutability":"payable","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":[],"name":"devAddress","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getHighestScore","outputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"getTotalRewarded","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_user","type":"address"}],"name":"getUsertrophies","outputs":[{"internalType":"uint256","name":"","type":"uint256"},{"internalType":"uint256[]","name":"","type":"uint256[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"hasClaimed","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"highestScore","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","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":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"previousRecordHolder","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"price","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"recordHolder","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"score","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"_newPrice","type":"uint256"}],"name":"setPrice","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_target","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"steal","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalKills","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalRewarded","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","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"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"userTrophies","outputs":[{"internalType":"uint256","name":"number","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"whack","outputs":[],"stateMutability":"payable","type":"function"}]

608060405273d00d42fda98e968d8ef446a7f8808103fa1b3fd6600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600a60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000600b556000600c55600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600d60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555061dead600e60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555066038d7ea4c68000600f5560006010553480156200018957600080fd5b506040518060400160405280600e81526020017f5761737369652052656d61696e730000000000000000000000000000000000008152506040518060400160405280600481526020017f574153530000000000000000000000000000000000000000000000000000000081525081600390805190602001906200020e929190620004a9565b50806004908051906020019062000227929190620004a9565b5050506200024a6200023e6200026360201b60201c565b6200026b60201b60201c565b6200025d3360646200033160201b60201c565b62000705565b600033905090565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415620003a4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200039b9062000591565b60405180910390fd5b620003b8600083836200049f60201b60201c565b8060026000828254620003cc9190620005e1565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200047f9190620005b3565b60405180910390a36200049b60008383620004a460201b60201c565b5050565b505050565b505050565b828054620004b79062000648565b90600052602060002090601f016020900481019282620004db576000855562000527565b82601f10620004f657805160ff191683800117855562000527565b8280016001018555821562000527579182015b828111156200052657825182559160200191906001019062000509565b5b5090506200053691906200053a565b5090565b5b80821115620005555760008160009055506001016200053b565b5090565b600062000568601f83620005d0565b91506200057582620006dc565b602082019050919050565b6200058b816200063e565b82525050565b60006020820190508181036000830152620005ac8162000559565b9050919050565b6000602082019050620005ca600083018462000580565b92915050565b600082825260208201905092915050565b6000620005ee826200063e565b9150620005fb836200063e565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156200063357620006326200067e565b5b828201905092915050565b6000819050919050565b600060028204905060018216806200066157607f821691505b60208210811415620006785762000677620006ad565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b6131ab80620007156000396000f3fe6080604052600436106101d85760003560e01c806373b2e80e11610102578063aed29d0711610095578063ceab8dcd11610064578063ceab8dcd146106a3578063dd62ed3e146106e0578063ea1738651461071d578063f2fde38b14610748576101d8565b8063aed29d0714610639578063b069dbd114610664578063b88a802f1461066e578063ccd788af14610678576101d8565b806395d89b41116100d157806395d89b4114610569578063a035b1fe14610594578063a457c2d7146105bf578063a9059cbb146105fc576101d8565b806373b2e80e1461049b578063776f3843146104d85780638da5cb5b1461051557806391b7f5ed14610540576101d8565b8063299fa5291161017a57806361a88ba31161014957806361a88ba3146103f057806362738fb71461041b57806370a0823114610447578063715018a614610484576101d8565b8063299fa52914610341578063313ce5671461035d57806339509351146103885780633ad10ef6146103c5576101d8565b80630e5ee5ee116101b65780630e5ee5ee14610283578063165ae024146102ae57806318160ddd146102d957806323b872dd14610304576101d8565b806304f441e6146101dd57806306fdde031461021b578063095ea7b314610246575b600080fd5b3480156101e957600080fd5b5061020460048036038101906101ff9190612079565b610771565b604051610212929190612835565b60405180910390f35b34801561022757600080fd5b50610230610855565b60405161023d919061256f565b60405180910390f35b34801561025257600080fd5b5061026d60048036038101906102689190612139565b6108e7565b60405161027a9190612554565b60405180910390f35b34801561028f57600080fd5b5061029861090a565b6040516102a591906127f1565b60405180910390f35b3480156102ba57600080fd5b506102c3610914565b6040516102d091906127f1565b60405180910390f35b3480156102e557600080fd5b506102ee61091a565b6040516102fb91906127f1565b60405180910390f35b34801561031057600080fd5b5061032b600480360381019061032691906120e6565b610924565b6040516103389190612554565b60405180910390f35b61035b60048036038101906103569190612139565b610953565b005b34801561036957600080fd5b50610372610d2a565b60405161037f9190612865565b60405180910390f35b34801561039457600080fd5b506103af60048036038101906103aa9190612139565b610d2f565b6040516103bc9190612554565b60405180910390f35b3480156103d157600080fd5b506103da610d66565b6040516103e79190612539565b60405180910390f35b3480156103fc57600080fd5b50610405610d8c565b6040516104129190612539565b60405180910390f35b34801561042757600080fd5b50610430610db2565b60405161043e92919061280c565b60405180910390f35b34801561045357600080fd5b5061046e60048036038101906104699190612079565b610de3565b60405161047b91906127f1565b60405180910390f35b34801561049057600080fd5b50610499610e2b565b005b3480156104a757600080fd5b506104c260048036038101906104bd9190612079565b610e3f565b6040516104cf9190612554565b60405180910390f35b3480156104e457600080fd5b506104ff60048036038101906104fa9190612079565b610e5f565b60405161050c91906127f1565b60405180910390f35b34801561052157600080fd5b5061052a610e77565b6040516105379190612539565b60405180910390f35b34801561054c57600080fd5b5061056760048036038101906105629190612179565b610ea1565b005b34801561057557600080fd5b5061057e610eb3565b60405161058b919061256f565b60405180910390f35b3480156105a057600080fd5b506105a9610f45565b6040516105b691906127f1565b60405180910390f35b3480156105cb57600080fd5b506105e660048036038101906105e19190612139565b610f4b565b6040516105f39190612554565b60405180910390f35b34801561060857600080fd5b50610623600480360381019061061e9190612139565b610fc2565b6040516106309190612554565b60405180910390f35b34801561064557600080fd5b5061064e610fe5565b60405161065b91906127f1565b60405180910390f35b61066c610feb565b005b610676611106565b005b34801561068457600080fd5b5061068d611392565b60405161069a9190612539565b60405180910390f35b3480156106af57600080fd5b506106ca60048036038101906106c59190612079565b6113b8565b6040516106d791906127f1565b60405180910390f35b3480156106ec57600080fd5b50610707600480360381019061070291906120a6565b6113d6565b60405161071491906127f1565b60405180910390f35b34801561072957600080fd5b5061073261145d565b60405161073f91906127f1565b60405180910390f35b34801561075457600080fd5b5061076f600480360381019061076a9190612079565b611463565b005b60006060600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154600860008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001018080548060200260200160405190810160405280929190818152602001828054801561084557602002820191906000526020600020905b815481526020019060010190808311610831575b5050505050905091509150915091565b60606003805461086490612a72565b80601f016020809104026020016040519081016040528092919081815260200182805461089090612a72565b80156108dd5780601f106108b2576101008083540402835291602001916108dd565b820191906000526020600020905b8154815290600101906020018083116108c057829003601f168201915b5050505050905090565b6000806108f26114e7565b90506108ff8185856114ef565b600191505092915050565b6000601054905090565b600b5481565b6000600254905090565b60008061092f6114e7565b905061093c8582856116ba565b610947858585611746565b60019150509392505050565b60008111610996576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161098d90612751565b60405180910390fd5b600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410610a56576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a4d90612671565b60405180910390fd5b80610a6033610de3565b1015610aa1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a98906126d1565b60405180910390fd5b600a600f54610ab0919061292b565b81610abb919061295c565b3414610afc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610af390612791565b60405180910390fd5b80600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610b7e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b7590612611565b60405180910390fd5b610b8833826119be565b80600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610bd791906129b6565b9250508190555080600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610c2d91906128d5565b9250508190555060066000600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541115610d2657610d25600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205433611b8c565b5b5050565b600090565b600080610d3a6114e7565b9050610d5b818585610d4c85896113d6565b610d5691906128d5565b6114ef565b600191505092915050565b600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600080600c54600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16915091509091565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610e33611daa565b610e3d6000611e28565b565b60076020528060005260406000206000915054906101000a900460ff1681565b60066020528060005260406000206000915090505481565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b610ea9611daa565b80600f8190555050565b606060048054610ec290612a72565b80601f0160208091040260200160405190810160405280929190818152602001828054610eee90612a72565b8015610f3b5780601f10610f1057610100808354040283529160200191610f3b565b820191906000526020600020905b815481529060010190602001808311610f1e57829003601f168201915b5050505050905090565b600f5481565b600080610f566114e7565b90506000610f6482866113d6565b905083811015610fa9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fa0906127b1565b60405180910390fd5b610fb682868684036114ef565b60019250505092915050565b600080610fcd6114e7565b9050610fda818585611746565b600191505092915050565b60105481565b600f543414610ff957600080fd5b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600081548092919061104990612aa4565b9190505550611059336001611eee565b600b600081548092919061106c90612aa4565b9190505550600c54600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054111561110457611103600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205433611b8c565b5b565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611196576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161118d90612651565b60405180910390fd5b60001515600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151514611229576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611220906126b1565b60405180910390fd5b6000600a47611238919061292b565b90506000600a82611249919061292b565b90506001600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f1935050505015801561130b573d6000803e3d6000fd5b50600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015611374573d6000803e3d6000fd5b50816010600082825461138791906128d5565b925050819055505050565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60086020528060005260406000206000915090508060000154905081565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600c5481565b61146b611daa565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156114db576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114d2906125d1565b60405180910390fd5b6114e481611e28565b50565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561155f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161155690612771565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156115cf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115c6906125f1565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516116ad91906127f1565b60405180910390a3505050565b60006116c684846113d6565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146117405781811015611732576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161172990612631565b60405180910390fd5b61173f84848484036114ef565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156117b6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117ad90612731565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611826576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161181d90612591565b60405180910390fd5b611831838383612045565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050818110156118b7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016118ae90612691565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516119a591906127f1565b60405180910390a36119b884848461204a565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611a2e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a2590612711565b60405180910390fd5b611a3a82600083612045565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611ac0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ab7906125b1565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600260008282540392505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611b7391906127f1565b60405180910390a3611b878360008461204a565b505050565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600e60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611c9d576000600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505b81600c8190555080600d60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600860008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000016000815480929190611d3890612aa4565b9190505550600860008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001014390806001815401808255809150506001900390600052602060002001600090919091909150555050565b611db26114e7565b73ffffffffffffffffffffffffffffffffffffffff16611dd0610e77565b73ffffffffffffffffffffffffffffffffffffffff1614611e26576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e1d906126f1565b60405180910390fd5b565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611f5e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611f55906127d1565b60405180910390fd5b611f6a60008383612045565b8060026000828254611f7c91906128d5565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161202d91906127f1565b60405180910390a36120416000838361204a565b5050565b505050565b505050565b60008135905061205e81613147565b92915050565b6000813590506120738161315e565b92915050565b60006020828403121561208f5761208e612b7a565b5b600061209d8482850161204f565b91505092915050565b600080604083850312156120bd576120bc612b7a565b5b60006120cb8582860161204f565b92505060206120dc8582860161204f565b9150509250929050565b6000806000606084860312156120ff576120fe612b7a565b5b600061210d8682870161204f565b935050602061211e8682870161204f565b925050604061212f86828701612064565b9150509250925092565b600080604083850312156121505761214f612b7a565b5b600061215e8582860161204f565b925050602061216f85828601612064565b9150509250929050565b60006020828403121561218f5761218e612b7a565b5b600061219d84828501612064565b91505092915050565b60006121b2838361250c565b60208301905092915050565b6121c7816129ea565b82525050565b60006121d882612890565b6121e281856128b3565b93506121ed83612880565b8060005b8381101561221e57815161220588826121a6565b9750612210836128a6565b9250506001810190506121f1565b5085935050505092915050565b612234816129fc565b82525050565b60006122458261289b565b61224f81856128c4565b935061225f818560208601612a3f565b61226881612b7f565b840191505092915050565b60006122806023836128c4565b915061228b82612b90565b604082019050919050565b60006122a36022836128c4565b91506122ae82612bdf565b604082019050919050565b60006122c66026836128c4565b91506122d182612c2e565b604082019050919050565b60006122e96022836128c4565b91506122f482612c7d565b604082019050919050565b600061230c6021836128c4565b915061231782612ccc565b604082019050919050565b600061232f601d836128c4565b915061233a82612d1b565b602082019050919050565b6000612352601e836128c4565b915061235d82612d44565b602082019050919050565b60006123756038836128c4565b915061238082612d6d565b604082019050919050565b60006123986026836128c4565b91506123a382612dbc565b604082019050919050565b60006123bb6068836128c4565b91506123c682612e0b565b608082019050919050565b60006123de6025836128c4565b91506123e982612ea6565b604082019050919050565b60006124016020836128c4565b915061240c82612ef5565b602082019050919050565b60006124246021836128c4565b915061242f82612f1e565b604082019050919050565b60006124476025836128c4565b915061245282612f6d565b604082019050919050565b600061246a601a836128c4565b915061247582612fbc565b602082019050919050565b600061248d6024836128c4565b915061249882612fe5565b604082019050919050565b60006124b06068836128c4565b91506124bb82613034565b608082019050919050565b60006124d36025836128c4565b91506124de826130cf565b604082019050919050565b60006124f6601f836128c4565b91506125018261311e565b602082019050919050565b61251581612a28565b82525050565b61252481612a28565b82525050565b61253381612a32565b82525050565b600060208201905061254e60008301846121be565b92915050565b6000602082019050612569600083018461222b565b92915050565b60006020820190508181036000830152612589818461223a565b905092915050565b600060208201905081810360008301526125aa81612273565b9050919050565b600060208201905081810360008301526125ca81612296565b9050919050565b600060208201905081810360008301526125ea816122b9565b9050919050565b6000602082019050818103600083015261260a816122dc565b9050919050565b6000602082019050818103600083015261262a816122ff565b9050919050565b6000602082019050818103600083015261264a81612322565b9050919050565b6000602082019050818103600083015261266a81612345565b9050919050565b6000602082019050818103600083015261268a81612368565b9050919050565b600060208201905081810360008301526126aa8161238b565b9050919050565b600060208201905081810360008301526126ca816123ae565b9050919050565b600060208201905081810360008301526126ea816123d1565b9050919050565b6000602082019050818103600083015261270a816123f4565b9050919050565b6000602082019050818103600083015261272a81612417565b9050919050565b6000602082019050818103600083015261274a8161243a565b9050919050565b6000602082019050818103600083015261276a8161245d565b9050919050565b6000602082019050818103600083015261278a81612480565b9050919050565b600060208201905081810360008301526127aa816124a3565b9050919050565b600060208201905081810360008301526127ca816124c6565b9050919050565b600060208201905081810360008301526127ea816124e9565b9050919050565b6000602082019050612806600083018461251b565b92915050565b6000604082019050612821600083018561251b565b61282e60208301846121be565b9392505050565b600060408201905061284a600083018561251b565b818103602083015261285c81846121cd565b90509392505050565b600060208201905061287a600083018461252a565b92915050565b6000819050602082019050919050565b600081519050919050565b600081519050919050565b6000602082019050919050565b600082825260208201905092915050565b600082825260208201905092915050565b60006128e082612a28565b91506128eb83612a28565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156129205761291f612aed565b5b828201905092915050565b600061293682612a28565b915061294183612a28565b92508261295157612950612b1c565b5b828204905092915050565b600061296782612a28565b915061297283612a28565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156129ab576129aa612aed565b5b828202905092915050565b60006129c182612a28565b91506129cc83612a28565b9250828210156129df576129de612aed565b5b828203905092915050565b60006129f582612a08565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b83811015612a5d578082015181840152602081019050612a42565b83811115612a6c576000848401525b50505050565b60006002820490506001821680612a8a57607f821691505b60208210811415612a9e57612a9d612b4b565b5b50919050565b6000612aaf82612a28565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff821415612ae257612ae1612aed565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f54617267657420646f65736e2774206861766520656e6f7567682073636f726560008201527f2100000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b7f596f7520617265206e6f7420746865207265636f726420686f6c646572210000600082015250565b7f596f75722074617267657420686173206c6573732073636f7265207468616e2060008201527f796f752120446f6e27742062652068656172746c657373210000000000000000602082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f596f75206861766520616c726561647920636c61696d65642120536f6d656f6e60008201527f6520656c7365206d757374206265617420796f7572207265636f72642e20546860208201527f656e20796f752063616e2074616b65206974206261636b20616e6420636c616960408201527f6d20616761696e21000000000000000000000000000000000000000000000000606082015250565b7f596f7520646f6e2774206861766520656e6f756768205761737369652052656d60008201527f61696e7321000000000000000000000000000000000000000000000000000000602082015250565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f596f752063616e277420737465616c203020706f696e74732121000000000000600082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f596f75206e65656420746f20706179206d6f726520746f20677265617365207460008201527f68652070616c6d73206f6620746865206163636f756e74616e74732e2054686560208201527f20707269636520697320302e303030312045544820706572205761737369652060408201527f52656d61696e7321000000000000000000000000000000000000000000000000606082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b613150816129ea565b811461315b57600080fd5b50565b61316781612a28565b811461317257600080fd5b5056fea2646970667358221220268dd2f5997fce3c70b3e2d677353389a44d2fbd7a7e21fbffb3507ea3bce34c64736f6c63430008070033

0x6080604052600436106101d85760003560e01c806373b2e80e11610102578063aed29d0711610095578063ceab8dcd11610064578063ceab8dcd146106a3578063dd62ed3e146106e0578063ea1738651461071d578063f2fde38b14610748576101d8565b8063aed29d0714610639578063b069dbd114610664578063b88a802f1461066e578063ccd788af14610678576101d8565b806395d89b41116100d157806395d89b4114610569578063a035b1fe14610594578063a457c2d7146105bf578063a9059cbb146105fc576101d8565b806373b2e80e1461049b578063776f3843146104d85780638da5cb5b1461051557806391b7f5ed14610540576101d8565b8063299fa5291161017a57806361a88ba31161014957806361a88ba3146103f057806362738fb71461041b57806370a0823114610447578063715018a614610484576101d8565b8063299fa52914610341578063313ce5671461035d57806339509351146103885780633ad10ef6146103c5576101d8565b80630e5ee5ee116101b65780630e5ee5ee14610283578063165ae024146102ae57806318160ddd146102d957806323b872dd14610304576101d8565b806304f441e6146101dd57806306fdde031461021b578063095ea7b314610246575b600080fd5b3480156101e957600080fd5b5061020460048036038101906101ff9190612079565b610771565b604051610212929190612835565b60405180910390f35b34801561022757600080fd5b50610230610855565b60405161023d919061256f565b60405180910390f35b34801561025257600080fd5b5061026d60048036038101906102689190612139565b6108e7565b60405161027a9190612554565b60405180910390f35b34801561028f57600080fd5b5061029861090a565b6040516102a591906127f1565b60405180910390f35b3480156102ba57600080fd5b506102c3610914565b6040516102d091906127f1565b60405180910390f35b3480156102e557600080fd5b506102ee61091a565b6040516102fb91906127f1565b60405180910390f35b34801561031057600080fd5b5061032b600480360381019061032691906120e6565b610924565b6040516103389190612554565b60405180910390f35b61035b60048036038101906103569190612139565b610953565b005b34801561036957600080fd5b50610372610d2a565b60405161037f9190612865565b60405180910390f35b34801561039457600080fd5b506103af60048036038101906103aa9190612139565b610d2f565b6040516103bc9190612554565b60405180910390f35b3480156103d157600080fd5b506103da610d66565b6040516103e79190612539565b60405180910390f35b3480156103fc57600080fd5b50610405610d8c565b6040516104129190612539565b60405180910390f35b34801561042757600080fd5b50610430610db2565b60405161043e92919061280c565b60405180910390f35b34801561045357600080fd5b5061046e60048036038101906104699190612079565b610de3565b60405161047b91906127f1565b60405180910390f35b34801561049057600080fd5b50610499610e2b565b005b3480156104a757600080fd5b506104c260048036038101906104bd9190612079565b610e3f565b6040516104cf9190612554565b60405180910390f35b3480156104e457600080fd5b506104ff60048036038101906104fa9190612079565b610e5f565b60405161050c91906127f1565b60405180910390f35b34801561052157600080fd5b5061052a610e77565b6040516105379190612539565b60405180910390f35b34801561054c57600080fd5b5061056760048036038101906105629190612179565b610ea1565b005b34801561057557600080fd5b5061057e610eb3565b60405161058b919061256f565b60405180910390f35b3480156105a057600080fd5b506105a9610f45565b6040516105b691906127f1565b60405180910390f35b3480156105cb57600080fd5b506105e660048036038101906105e19190612139565b610f4b565b6040516105f39190612554565b60405180910390f35b34801561060857600080fd5b50610623600480360381019061061e9190612139565b610fc2565b6040516106309190612554565b60405180910390f35b34801561064557600080fd5b5061064e610fe5565b60405161065b91906127f1565b60405180910390f35b61066c610feb565b005b610676611106565b005b34801561068457600080fd5b5061068d611392565b60405161069a9190612539565b60405180910390f35b3480156106af57600080fd5b506106ca60048036038101906106c59190612079565b6113b8565b6040516106d791906127f1565b60405180910390f35b3480156106ec57600080fd5b50610707600480360381019061070291906120a6565b6113d6565b60405161071491906127f1565b60405180910390f35b34801561072957600080fd5b5061073261145d565b60405161073f91906127f1565b60405180910390f35b34801561075457600080fd5b5061076f600480360381019061076a9190612079565b611463565b005b60006060600860008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060000154600860008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001018080548060200260200160405190810160405280929190818152602001828054801561084557602002820191906000526020600020905b815481526020019060010190808311610831575b5050505050905091509150915091565b60606003805461086490612a72565b80601f016020809104026020016040519081016040528092919081815260200182805461089090612a72565b80156108dd5780601f106108b2576101008083540402835291602001916108dd565b820191906000526020600020905b8154815290600101906020018083116108c057829003601f168201915b5050505050905090565b6000806108f26114e7565b90506108ff8185856114ef565b600191505092915050565b6000601054905090565b600b5481565b6000600254905090565b60008061092f6114e7565b905061093c8582856116ba565b610947858585611746565b60019150509392505050565b60008111610996576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161098d90612751565b60405180910390fd5b600660008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205410610a56576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a4d90612671565b60405180910390fd5b80610a6033610de3565b1015610aa1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a98906126d1565b60405180910390fd5b600a600f54610ab0919061292b565b81610abb919061295c565b3414610afc576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610af390612791565b60405180910390fd5b80600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541015610b7e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b7590612611565b60405180910390fd5b610b8833826119be565b80600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610bd791906129b6565b9250508190555080600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610c2d91906128d5565b9250508190555060066000600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541115610d2657610d25600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205433611b8c565b5b5050565b600090565b600080610d3a6114e7565b9050610d5b818585610d4c85896113d6565b610d5691906128d5565b6114ef565b600191505092915050565b600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600080600c54600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16915091509091565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b610e33611daa565b610e3d6000611e28565b565b60076020528060005260406000206000915054906101000a900460ff1681565b60066020528060005260406000206000915090505481565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b610ea9611daa565b80600f8190555050565b606060048054610ec290612a72565b80601f0160208091040260200160405190810160405280929190818152602001828054610eee90612a72565b8015610f3b5780601f10610f1057610100808354040283529160200191610f3b565b820191906000526020600020905b815481529060010190602001808311610f1e57829003601f168201915b5050505050905090565b600f5481565b600080610f566114e7565b90506000610f6482866113d6565b905083811015610fa9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fa0906127b1565b60405180910390fd5b610fb682868684036114ef565b60019250505092915050565b600080610fcd6114e7565b9050610fda818585611746565b600191505092915050565b60105481565b600f543414610ff957600080fd5b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600081548092919061104990612aa4565b9190505550611059336001611eee565b600b600081548092919061106c90612aa4565b9190505550600c54600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054111561110457611103600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205433611b8c565b5b565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611196576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161118d90612651565b60405180910390fd5b60001515600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151514611229576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611220906126b1565b60405180910390fd5b6000600a47611238919061292b565b90506000600a82611249919061292b565b90506001600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc839081150290604051600060405180830381858888f1935050505015801561130b573d6000803e3d6000fd5b50600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015611374573d6000803e3d6000fd5b50816010600082825461138791906128d5565b925050819055505050565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60086020528060005260406000206000915090508060000154905081565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600c5481565b61146b611daa565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156114db576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016114d2906125d1565b60405180910390fd5b6114e481611e28565b50565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561155f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161155690612771565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156115cf576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016115c6906125f1565b60405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516116ad91906127f1565b60405180910390a3505050565b60006116c684846113d6565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146117405781811015611732576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161172990612631565b60405180910390fd5b61173f84848484036114ef565b5b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156117b6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016117ad90612731565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611826576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161181d90612591565b60405180910390fd5b611831838383612045565b60008060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050818110156118b7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016118ae90612691565b60405180910390fd5b8181036000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516119a591906127f1565b60405180910390a36119b884848461204a565b50505050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611a2e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611a2590612711565b60405180910390fd5b611a3a82600083612045565b60008060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905081811015611ac0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611ab7906125b1565b60405180910390fd5b8181036000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555081600260008282540392505081905550600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051611b7391906127f1565b60405180910390a3611b878360008461204a565b505050565b600d60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600e60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff16600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614611c9d576000600760008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505b81600c8190555080600d60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600860008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000016000815480929190611d3890612aa4565b9190505550600860008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206001014390806001815401808255809150506001900390600052602060002001600090919091909150555050565b611db26114e7565b73ffffffffffffffffffffffffffffffffffffffff16611dd0610e77565b73ffffffffffffffffffffffffffffffffffffffff1614611e26576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611e1d906126f1565b60405180910390fd5b565b6000600560009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905081600560006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611f5e576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611f55906127d1565b60405180910390fd5b611f6a60008383612045565b8060026000828254611f7c91906128d5565b92505081905550806000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161202d91906127f1565b60405180910390a36120416000838361204a565b5050565b505050565b505050565b60008135905061205e81613147565b92915050565b6000813590506120738161315e565b92915050565b60006020828403121561208f5761208e612b7a565b5b600061209d8482850161204f565b91505092915050565b600080604083850312156120bd576120bc612b7a565b5b60006120cb8582860161204f565b92505060206120dc8582860161204f565b9150509250929050565b6000806000606084860312156120ff576120fe612b7a565b5b600061210d8682870161204f565b935050602061211e8682870161204f565b925050604061212f86828701612064565b9150509250925092565b600080604083850312156121505761214f612b7a565b5b600061215e8582860161204f565b925050602061216f85828601612064565b9150509250929050565b60006020828403121561218f5761218e612b7a565b5b600061219d84828501612064565b91505092915050565b60006121b2838361250c565b60208301905092915050565b6121c7816129ea565b82525050565b60006121d882612890565b6121e281856128b3565b93506121ed83612880565b8060005b8381101561221e57815161220588826121a6565b9750612210836128a6565b9250506001810190506121f1565b5085935050505092915050565b612234816129fc565b82525050565b60006122458261289b565b61224f81856128c4565b935061225f818560208601612a3f565b61226881612b7f565b840191505092915050565b60006122806023836128c4565b915061228b82612b90565b604082019050919050565b60006122a36022836128c4565b91506122ae82612bdf565b604082019050919050565b60006122c66026836128c4565b91506122d182612c2e565b604082019050919050565b60006122e96022836128c4565b91506122f482612c7d565b604082019050919050565b600061230c6021836128c4565b915061231782612ccc565b604082019050919050565b600061232f601d836128c4565b915061233a82612d1b565b602082019050919050565b6000612352601e836128c4565b915061235d82612d44565b602082019050919050565b60006123756038836128c4565b915061238082612d6d565b604082019050919050565b60006123986026836128c4565b91506123a382612dbc565b604082019050919050565b60006123bb6068836128c4565b91506123c682612e0b565b608082019050919050565b60006123de6025836128c4565b91506123e982612ea6565b604082019050919050565b60006124016020836128c4565b915061240c82612ef5565b602082019050919050565b60006124246021836128c4565b915061242f82612f1e565b604082019050919050565b60006124476025836128c4565b915061245282612f6d565b604082019050919050565b600061246a601a836128c4565b915061247582612fbc565b602082019050919050565b600061248d6024836128c4565b915061249882612fe5565b604082019050919050565b60006124b06068836128c4565b91506124bb82613034565b608082019050919050565b60006124d36025836128c4565b91506124de826130cf565b604082019050919050565b60006124f6601f836128c4565b91506125018261311e565b602082019050919050565b61251581612a28565b82525050565b61252481612a28565b82525050565b61253381612a32565b82525050565b600060208201905061254e60008301846121be565b92915050565b6000602082019050612569600083018461222b565b92915050565b60006020820190508181036000830152612589818461223a565b905092915050565b600060208201905081810360008301526125aa81612273565b9050919050565b600060208201905081810360008301526125ca81612296565b9050919050565b600060208201905081810360008301526125ea816122b9565b9050919050565b6000602082019050818103600083015261260a816122dc565b9050919050565b6000602082019050818103600083015261262a816122ff565b9050919050565b6000602082019050818103600083015261264a81612322565b9050919050565b6000602082019050818103600083015261266a81612345565b9050919050565b6000602082019050818103600083015261268a81612368565b9050919050565b600060208201905081810360008301526126aa8161238b565b9050919050565b600060208201905081810360008301526126ca816123ae565b9050919050565b600060208201905081810360008301526126ea816123d1565b9050919050565b6000602082019050818103600083015261270a816123f4565b9050919050565b6000602082019050818103600083015261272a81612417565b9050919050565b6000602082019050818103600083015261274a8161243a565b9050919050565b6000602082019050818103600083015261276a8161245d565b9050919050565b6000602082019050818103600083015261278a81612480565b9050919050565b600060208201905081810360008301526127aa816124a3565b9050919050565b600060208201905081810360008301526127ca816124c6565b9050919050565b600060208201905081810360008301526127ea816124e9565b9050919050565b6000602082019050612806600083018461251b565b92915050565b6000604082019050612821600083018561251b565b61282e60208301846121be565b9392505050565b600060408201905061284a600083018561251b565b818103602083015261285c81846121cd565b90509392505050565b600060208201905061287a600083018461252a565b92915050565b6000819050602082019050919050565b600081519050919050565b600081519050919050565b6000602082019050919050565b600082825260208201905092915050565b600082825260208201905092915050565b60006128e082612a28565b91506128eb83612a28565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156129205761291f612aed565b5b828201905092915050565b600061293682612a28565b915061294183612a28565b92508261295157612950612b1c565b5b828204905092915050565b600061296782612a28565b915061297283612a28565b9250817fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff04831182151516156129ab576129aa612aed565b5b828202905092915050565b60006129c182612a28565b91506129cc83612a28565b9250828210156129df576129de612aed565b5b828203905092915050565b60006129f582612a08565b9050919050565b60008115159050919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600060ff82169050919050565b60005b83811015612a5d578082015181840152602081019050612a42565b83811115612a6c576000848401525b50505050565b60006002820490506001821680612a8a57607f821691505b60208210811415612a9e57612a9d612b4b565b5b50919050565b6000612aaf82612a28565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff821415612ae257612ae1612aed565b5b600182019050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600080fd5b6000601f19601f8301169050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f206164647260008201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206275726e20616d6f756e7420657863656564732062616c616e60008201527f6365000000000000000000000000000000000000000000000000000000000000602082015250565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160008201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20617070726f766520746f20746865207a65726f20616464726560008201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b7f54617267657420646f65736e2774206861766520656e6f7567682073636f726560008201527f2100000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000600082015250565b7f596f7520617265206e6f7420746865207265636f726420686f6c646572210000600082015250565b7f596f75722074617267657420686173206c6573732073636f7265207468616e2060008201527f796f752120446f6e27742062652068656172746c657373210000000000000000602082015250565b7f45524332303a207472616e7366657220616d6f756e742065786365656473206260008201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b7f596f75206861766520616c726561647920636c61696d65642120536f6d656f6e60008201527f6520656c7365206d757374206265617420796f7572207265636f72642e20546860208201527f656e20796f752063616e2074616b65206974206261636b20616e6420636c616960408201527f6d20616761696e21000000000000000000000000000000000000000000000000606082015250565b7f596f7520646f6e2774206861766520656e6f756768205761737369652052656d60008201527f61696e7321000000000000000000000000000000000000000000000000000000602082015250565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572600082015250565b7f45524332303a206275726e2066726f6d20746865207a65726f2061646472657360008201527f7300000000000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a207472616e736665722066726f6d20746865207a65726f20616460008201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b7f596f752063616e277420737465616c203020706f696e74732121000000000000600082015250565b7f45524332303a20617070726f76652066726f6d20746865207a65726f2061646460008201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b7f596f75206e65656420746f20706179206d6f726520746f20677265617365207460008201527f68652070616c6d73206f6620746865206163636f756e74616e74732e2054686560208201527f20707269636520697320302e303030312045544820706572205761737369652060408201527f52656d61696e7321000000000000000000000000000000000000000000000000606082015250565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f7760008201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b7f45524332303a206d696e7420746f20746865207a65726f206164647265737300600082015250565b613150816129ea565b811461315b57600080fd5b50565b61316781612a28565b811461317257600080fd5b5056fea2646970667358221220268dd2f5997fce3c70b3e2d677353389a44d2fbd7a7e21fbffb3507ea3bce34c64736f6c63430008070033

25901:5998:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30407:168;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;9351:100;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11702:201;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;31799:95;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26844:29;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10471:108;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;12483:295;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;28400:827;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;26106:92;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13187:238;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26574:70;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26965:80;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;30242:118;;;;;;;;;;;;;:::i;:::-;;;;;;;;:::i;:::-;;;;;;;;10642:127;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2776:103;;;;;;;;;;;;;:::i;:::-;;26466:43;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26418:41;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2128:87;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;31701:90;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;9570:104;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27052:39;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13928:436;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10975:193;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27098:32;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;27610:281;;;:::i;:::-;;31045:568;;;:::i;:::-;;26918:40;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26516:49;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;11231:151;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;26880:31;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3034:201;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;30407:168;30467:7;30476:16;30512:12;:19;30525:5;30512:19;;;;;;;;;;;;;;;:26;;;30540:12;:19;30553:5;30540:19;;;;;;;;;;;;;;;:26;;30504:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30407:168;;;:::o;9351:100::-;9405:13;9438:5;9431:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9351:100;:::o;11702:201::-;11785:4;11802:13;11818:12;:10;:12::i;:::-;11802:28;;11841:32;11850:5;11857:7;11866:6;11841:8;:32::i;:::-;11891:4;11884:11;;;11702:201;;;;:::o;31799:95::-;31847:7;31873:13;;31866:20;;31799:95;:::o;26844:29::-;;;;:::o;10471:108::-;10532:7;10559:12;;10552:19;;10471:108;:::o;12483:295::-;12614:4;12631:15;12649:12;:10;:12::i;:::-;12631:30;;12672:38;12688:4;12694:7;12703:6;12672:15;:38::i;:::-;12721:27;12731:4;12737:2;12741:6;12721:9;:27::i;:::-;12766:4;12759:11;;;12483:295;;;;;:::o;28400:827::-;28493:1;28483:7;:11;28475:50;;;;;;;;;;;;:::i;:::-;;;;;;;;;28564:5;:14;28570:7;28564:14;;;;;;;;;;;;;;;;28544:5;:17;28550:10;28544:17;;;;;;;;;;;;;;;;:34;28536:103;;;;;;;;;;;;:::i;:::-;;;;;;;;;28683:7;28658:21;28668:10;28658:9;:21::i;:::-;:32;;28650:82;;;;;;;;;;;;:::i;:::-;;;;;;;;;28781:2;28775:5;;:8;;;;:::i;:::-;28764:7;:20;;;;:::i;:::-;28751:9;:33;28743:150;;;;;;;;;;;;:::i;:::-;;;;;;;;;28931:7;28912:5;:14;28918:7;28912:14;;;;;;;;;;;;;;;;:27;;28904:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;28988:26;28994:10;29006:7;28988:5;:26::i;:::-;29044:7;29025:5;:14;29031:7;29025:14;;;;;;;;;;;;;;;;:27;;;;;;;:::i;:::-;;;;;;;;29085:7;29063:5;:17;29069:10;29063:17;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;29127:5;:19;29133:12;;;;;;;;;;;29127:19;;;;;;;;;;;;;;;;29107:5;:17;29113:10;29107:17;;;;;;;;;;;;;;;;:39;29104:116;;;29162:46;29178:5;:17;29184:10;29178:17;;;;;;;;;;;;;;;;29197:10;29162:15;:46::i;:::-;29104:116;28400:827;;:::o;26106:92::-;26164:5;26106:92;:::o;13187:238::-;13275:4;13292:13;13308:12;:10;:12::i;:::-;13292:28;;13331:64;13340:5;13347:7;13384:10;13356:25;13366:5;13373:7;13356:9;:25::i;:::-;:38;;;;:::i;:::-;13331:8;:64::i;:::-;13413:4;13406:11;;;13187:238;;;;:::o;26574:70::-;;;;;;;;;;;;;:::o;26965:80::-;;;;;;;;;;;;;:::o;30242:118::-;30289:7;30298;30325:12;;30339;;;;;;;;;;;30317:35;;;;30242:118;;:::o;10642:127::-;10716:7;10743:9;:18;10753:7;10743:18;;;;;;;;;;;;;;;;10736:25;;10642:127;;;:::o;2776:103::-;2014:13;:11;:13::i;:::-;2841:30:::1;2868:1;2841:18;:30::i;:::-;2776:103::o:0;26466:43::-;;;;;;;;;;;;;;;;;;;;;;:::o;26418:41::-;;;;;;;;;;;;;;;;;:::o;2128:87::-;2174:7;2201:6;;;;;;;;;;;2194:13;;2128:87;:::o;31701:90::-;2014:13;:11;:13::i;:::-;31774:9:::1;31766:5;:17;;;;31701:90:::0;:::o;9570:104::-;9626:13;9659:7;9652:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9570:104;:::o;27052:39::-;;;;:::o;13928:436::-;14021:4;14038:13;14054:12;:10;:12::i;:::-;14038:28;;14077:24;14104:25;14114:5;14121:7;14104:9;:25::i;:::-;14077:52;;14168:15;14148:16;:35;;14140:85;;;;;;;;;;;;:::i;:::-;;;;;;;;;14261:60;14270:5;14277:7;14305:15;14286:16;:34;14261:8;:60::i;:::-;14352:4;14345:11;;;;13928:436;;;;:::o;10975:193::-;11054:4;11071:13;11087:12;:10;:12::i;:::-;11071:28;;11110;11120:5;11127:2;11131:6;11110:9;:28::i;:::-;11156:4;11149:11;;;10975:193;;;;:::o;27098:32::-;;;;:::o;27610:281::-;27674:5;;27661:9;:18;27653:27;;;;;;27691:5;:17;27697:10;27691:17;;;;;;;;;;;;;;;;:19;;;;;;;;;:::i;:::-;;;;;;27721:20;27727:10;27739:1;27721:5;:20::i;:::-;27752:10;;:12;;;;;;;;;:::i;:::-;;;;;;27798;;27778:5;:17;27784:10;27778:17;;;;;;;;;;;;;;;;:32;27775:109;;;27826:46;27842:5;:17;27848:10;27842:17;;;;;;;;;;;;;;;;27861:10;27826:15;:46::i;:::-;27775:109;27610:281::o;31045:568::-;31116:12;;;;;;;;;;;31102:26;;:10;:26;;;31094:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;31208:5;31182:31;;:10;:22;31193:10;31182:22;;;;;;;;;;;;;;;;;;;;;;;;;:31;;;31174:148;;;;;;;;;;;;:::i;:::-;;;;;;;;;31333:20;31378:2;31356:21;:24;;;;:::i;:::-;31333:47;;31391:14;31421:2;31408:12;:15;;;;:::i;:::-;31391:32;;31459:4;31434:10;:22;31445:10;31434:22;;;;;;;;;;;;;;;;:29;;;;;;;;;;;;;;;;;;31482:12;;;;;;;;;;;31474:30;;:44;31505:12;31474:44;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;31537:10;;;;;;;;;;;31529:28;;:36;31558:6;31529:36;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;31593:12;31576:13;;:29;;;;;;;:::i;:::-;;;;;;;;31083:530;;31045:568::o;26918:40::-;;;;;;;;;;;;;:::o;26516:49::-;;;;;;;;;;;;;;;;;;;;;;:::o;11231:151::-;11320:7;11347:11;:18;11359:5;11347:18;;;;;;;;;;;;;;;:27;11366:7;11347:27;;;;;;;;;;;;;;;;11340:34;;11231:151;;;;:::o;26880:31::-;;;;:::o;3034:201::-;2014:13;:11;:13::i;:::-;3143:1:::1;3123:22;;:8;:22;;;;3115:73;;;;;;;;;;;;:::i;:::-;;;;;;;;;3199:28;3218:8;3199:18;:28::i;:::-;3034:201:::0;:::o;679:98::-;732:7;759:10;752:17;;679:98;:::o;17955:380::-;18108:1;18091:19;;:5;:19;;;;18083:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;18189:1;18170:21;;:7;:21;;;;18162:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;18273:6;18243:11;:18;18255:5;18243:18;;;;;;;;;;;;;;;:27;18262:7;18243:27;;;;;;;;;;;;;;;:36;;;;18311:7;18295:32;;18304:5;18295:32;;;18320:6;18295:32;;;;;;:::i;:::-;;;;;;;;17955:380;;;:::o;18626:453::-;18761:24;18788:25;18798:5;18805:7;18788:9;:25::i;:::-;18761:52;;18848:17;18828:16;:37;18824:248;;18910:6;18890:16;:26;;18882:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;18994:51;19003:5;19010:7;19038:6;19019:16;:25;18994:8;:51::i;:::-;18824:248;18750:329;18626:453;;;:::o;14834:840::-;14981:1;14965:18;;:4;:18;;;;14957:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;15058:1;15044:16;;:2;:16;;;;15036:64;;;;;;;;;;;;:::i;:::-;;;;;;;;;15113:38;15134:4;15140:2;15144:6;15113:20;:38::i;:::-;15164:19;15186:9;:15;15196:4;15186:15;;;;;;;;;;;;;;;;15164:37;;15235:6;15220:11;:21;;15212:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;15352:6;15338:11;:20;15320:9;:15;15330:4;15320:15;;;;;;;;;;;;;;;:38;;;;15555:6;15538:9;:13;15548:2;15538:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;15605:2;15590:26;;15599:4;15590:26;;;15609:6;15590:26;;;;;;:::i;:::-;;;;;;;;15629:37;15649:4;15655:2;15659:6;15629:19;:37::i;:::-;14946:728;14834:840;;;:::o;16842:675::-;16945:1;16926:21;;:7;:21;;;;16918:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;16998:49;17019:7;17036:1;17040:6;16998:20;:49::i;:::-;17060:22;17085:9;:18;17095:7;17085:18;;;;;;;;;;;;;;;;17060:43;;17140:6;17122:14;:24;;17114:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;17259:6;17242:14;:23;17221:9;:18;17231:7;17221:18;;;;;;;;;;;;;;;:44;;;;17376:6;17360:12;;:22;;;;;;;;;;;17437:1;17411:37;;17420:7;17411:37;;;17441:6;17411:37;;;;;;:::i;:::-;;;;;;;;17461:48;17481:7;17498:1;17502:6;17461:19;:48::i;:::-;16907:610;16842:675;;:::o;29795:379::-;29897:12;;;;;;;;;;;29874:20;;:35;;;;;;;;;;;;;;;;;;29947:5;29923:29;;:20;;;;;;;;;;;:29;;;29920:85;;29988:5;29968:10;:17;29979:5;29968:17;;;;;;;;;;;;;;;;:25;;;;;;;;;;;;;;;;;;29920:85;30030:10;30015:12;:25;;;;30066:5;30051:12;;:20;;;;;;;;;;;;;;;;;;30082:12;:19;30095:5;30082:19;;;;;;;;;;;;;;;:26;;;:28;;;;;;;;;:::i;:::-;;;;;;30121:12;:19;30134:5;30121:19;;;;;;;;;;;;;;;:26;;30153:12;30121:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;29795:379;;:::o;2293:132::-;2368:12;:10;:12::i;:::-;2357:23;;:7;:5;:7::i;:::-;:23;;;2349:68;;;;;;;;;;;;:::i;:::-;;;;;;;;;2293:132::o;3395:191::-;3469:16;3488:6;;;;;;;;;;;3469:25;;3514:8;3505:6;;:17;;;;;;;;;;;;;;;;;;3569:8;3538:40;;3559:8;3538:40;;;;;;;;;;;;3458:128;3395:191;:::o;15961:548::-;16064:1;16045:21;;:7;:21;;;;16037:65;;;;;;;;;;;;:::i;:::-;;;;;;;;;16115:49;16144:1;16148:7;16157:6;16115:20;:49::i;:::-;16193:6;16177:12;;:22;;;;;;;:::i;:::-;;;;;;;;16370:6;16348:9;:18;16358:7;16348:18;;;;;;;;;;;;;;;;:28;;;;;;;;;;;16424:7;16403:37;;16420:1;16403:37;;;16433:6;16403:37;;;;;;:::i;:::-;;;;;;;;16453:48;16481:1;16485:7;16494:6;16453:19;:48::i;:::-;15961:548;;:::o;19679:125::-;;;;:::o;20408:124::-;;;;:::o;7:139:1:-;53:5;91:6;78:20;69:29;;107:33;134:5;107:33;:::i;:::-;7:139;;;;:::o;152:::-;198:5;236:6;223:20;214:29;;252:33;279:5;252:33;:::i;:::-;152:139;;;;:::o;297:329::-;356:6;405:2;393:9;384:7;380:23;376:32;373:119;;;411:79;;:::i;:::-;373:119;531:1;556:53;601:7;592:6;581:9;577:22;556:53;:::i;:::-;546:63;;502:117;297:329;;;;:::o;632:474::-;700:6;708;757:2;745:9;736:7;732:23;728:32;725:119;;;763:79;;:::i;:::-;725:119;883:1;908:53;953:7;944:6;933:9;929:22;908:53;:::i;:::-;898:63;;854:117;1010:2;1036:53;1081:7;1072:6;1061:9;1057:22;1036:53;:::i;:::-;1026:63;;981:118;632:474;;;;;:::o;1112:619::-;1189:6;1197;1205;1254:2;1242:9;1233:7;1229:23;1225:32;1222:119;;;1260:79;;:::i;:::-;1222:119;1380:1;1405:53;1450:7;1441:6;1430:9;1426:22;1405:53;:::i;:::-;1395:63;;1351:117;1507:2;1533:53;1578:7;1569:6;1558:9;1554:22;1533:53;:::i;:::-;1523:63;;1478:118;1635:2;1661:53;1706:7;1697:6;1686:9;1682:22;1661:53;:::i;:::-;1651:63;;1606:118;1112:619;;;;;:::o;1737:474::-;1805:6;1813;1862:2;1850:9;1841:7;1837:23;1833:32;1830:119;;;1868:79;;:::i;:::-;1830:119;1988:1;2013:53;2058:7;2049:6;2038:9;2034:22;2013:53;:::i;:::-;2003:63;;1959:117;2115:2;2141:53;2186:7;2177:6;2166:9;2162:22;2141:53;:::i;:::-;2131:63;;2086:118;1737:474;;;;;:::o;2217:329::-;2276:6;2325:2;2313:9;2304:7;2300:23;2296:32;2293:119;;;2331:79;;:::i;:::-;2293:119;2451:1;2476:53;2521:7;2512:6;2501:9;2497:22;2476:53;:::i;:::-;2466:63;;2422:117;2217:329;;;;:::o;2552:179::-;2621:10;2642:46;2684:3;2676:6;2642:46;:::i;:::-;2720:4;2715:3;2711:14;2697:28;;2552:179;;;;:::o;2737:118::-;2824:24;2842:5;2824:24;:::i;:::-;2819:3;2812:37;2737:118;;:::o;2891:732::-;3010:3;3039:54;3087:5;3039:54;:::i;:::-;3109:86;3188:6;3183:3;3109:86;:::i;:::-;3102:93;;3219:56;3269:5;3219:56;:::i;:::-;3298:7;3329:1;3314:284;3339:6;3336:1;3333:13;3314:284;;;3415:6;3409:13;3442:63;3501:3;3486:13;3442:63;:::i;:::-;3435:70;;3528:60;3581:6;3528:60;:::i;:::-;3518:70;;3374:224;3361:1;3358;3354:9;3349:14;;3314:284;;;3318:14;3614:3;3607:10;;3015:608;;;2891:732;;;;:::o;3629:109::-;3710:21;3725:5;3710:21;:::i;:::-;3705:3;3698:34;3629:109;;:::o;3744:364::-;3832:3;3860:39;3893:5;3860:39;:::i;:::-;3915:71;3979:6;3974:3;3915:71;:::i;:::-;3908:78;;3995:52;4040:6;4035:3;4028:4;4021:5;4017:16;3995:52;:::i;:::-;4072:29;4094:6;4072:29;:::i;:::-;4067:3;4063:39;4056:46;;3836:272;3744:364;;;;:::o;4114:366::-;4256:3;4277:67;4341:2;4336:3;4277:67;:::i;:::-;4270:74;;4353:93;4442:3;4353:93;:::i;:::-;4471:2;4466:3;4462:12;4455:19;;4114:366;;;:::o;4486:::-;4628:3;4649:67;4713:2;4708:3;4649:67;:::i;:::-;4642:74;;4725:93;4814:3;4725:93;:::i;:::-;4843:2;4838:3;4834:12;4827:19;;4486:366;;;:::o;4858:::-;5000:3;5021:67;5085:2;5080:3;5021:67;:::i;:::-;5014:74;;5097:93;5186:3;5097:93;:::i;:::-;5215:2;5210:3;5206:12;5199:19;;4858:366;;;:::o;5230:::-;5372:3;5393:67;5457:2;5452:3;5393:67;:::i;:::-;5386:74;;5469:93;5558:3;5469:93;:::i;:::-;5587:2;5582:3;5578:12;5571:19;;5230:366;;;:::o;5602:::-;5744:3;5765:67;5829:2;5824:3;5765:67;:::i;:::-;5758:74;;5841:93;5930:3;5841:93;:::i;:::-;5959:2;5954:3;5950:12;5943:19;;5602:366;;;:::o;5974:::-;6116:3;6137:67;6201:2;6196:3;6137:67;:::i;:::-;6130:74;;6213:93;6302:3;6213:93;:::i;:::-;6331:2;6326:3;6322:12;6315:19;;5974:366;;;:::o;6346:::-;6488:3;6509:67;6573:2;6568:3;6509:67;:::i;:::-;6502:74;;6585:93;6674:3;6585:93;:::i;:::-;6703:2;6698:3;6694:12;6687:19;;6346:366;;;:::o;6718:::-;6860:3;6881:67;6945:2;6940:3;6881:67;:::i;:::-;6874:74;;6957:93;7046:3;6957:93;:::i;:::-;7075:2;7070:3;7066:12;7059:19;;6718:366;;;:::o;7090:::-;7232:3;7253:67;7317:2;7312:3;7253:67;:::i;:::-;7246:74;;7329:93;7418:3;7329:93;:::i;:::-;7447:2;7442:3;7438:12;7431:19;;7090:366;;;:::o;7462:368::-;7604:3;7625:68;7689:3;7684;7625:68;:::i;:::-;7618:75;;7702:93;7791:3;7702:93;:::i;:::-;7820:3;7815;7811:13;7804:20;;7462:368;;;:::o;7836:366::-;7978:3;7999:67;8063:2;8058:3;7999:67;:::i;:::-;7992:74;;8075:93;8164:3;8075:93;:::i;:::-;8193:2;8188:3;8184:12;8177:19;;7836:366;;;:::o;8208:::-;8350:3;8371:67;8435:2;8430:3;8371:67;:::i;:::-;8364:74;;8447:93;8536:3;8447:93;:::i;:::-;8565:2;8560:3;8556:12;8549:19;;8208:366;;;:::o;8580:::-;8722:3;8743:67;8807:2;8802:3;8743:67;:::i;:::-;8736:74;;8819:93;8908:3;8819:93;:::i;:::-;8937:2;8932:3;8928:12;8921:19;;8580:366;;;:::o;8952:::-;9094:3;9115:67;9179:2;9174:3;9115:67;:::i;:::-;9108:74;;9191:93;9280:3;9191:93;:::i;:::-;9309:2;9304:3;9300:12;9293:19;;8952:366;;;:::o;9324:::-;9466:3;9487:67;9551:2;9546:3;9487:67;:::i;:::-;9480:74;;9563:93;9652:3;9563:93;:::i;:::-;9681:2;9676:3;9672:12;9665:19;;9324:366;;;:::o;9696:::-;9838:3;9859:67;9923:2;9918:3;9859:67;:::i;:::-;9852:74;;9935:93;10024:3;9935:93;:::i;:::-;10053:2;10048:3;10044:12;10037:19;;9696:366;;;:::o;10068:368::-;10210:3;10231:68;10295:3;10290;10231:68;:::i;:::-;10224:75;;10308:93;10397:3;10308:93;:::i;:::-;10426:3;10421;10417:13;10410:20;;10068:368;;;:::o;10442:366::-;10584:3;10605:67;10669:2;10664:3;10605:67;:::i;:::-;10598:74;;10681:93;10770:3;10681:93;:::i;:::-;10799:2;10794:3;10790:12;10783:19;;10442:366;;;:::o;10814:::-;10956:3;10977:67;11041:2;11036:3;10977:67;:::i;:::-;10970:74;;11053:93;11142:3;11053:93;:::i;:::-;11171:2;11166:3;11162:12;11155:19;;10814:366;;;:::o;11186:108::-;11263:24;11281:5;11263:24;:::i;:::-;11258:3;11251:37;11186:108;;:::o;11300:118::-;11387:24;11405:5;11387:24;:::i;:::-;11382:3;11375:37;11300:118;;:::o;11424:112::-;11507:22;11523:5;11507:22;:::i;:::-;11502:3;11495:35;11424:112;;:::o;11542:222::-;11635:4;11673:2;11662:9;11658:18;11650:26;;11686:71;11754:1;11743:9;11739:17;11730:6;11686:71;:::i;:::-;11542:222;;;;:::o;11770:210::-;11857:4;11895:2;11884:9;11880:18;11872:26;;11908:65;11970:1;11959:9;11955:17;11946:6;11908:65;:::i;:::-;11770:210;;;;:::o;11986:313::-;12099:4;12137:2;12126:9;12122:18;12114:26;;12186:9;12180:4;12176:20;12172:1;12161:9;12157:17;12150:47;12214:78;12287:4;12278:6;12214:78;:::i;:::-;12206:86;;11986:313;;;;:::o;12305:419::-;12471:4;12509:2;12498:9;12494:18;12486:26;;12558:9;12552:4;12548:20;12544:1;12533:9;12529:17;12522:47;12586:131;12712:4;12586:131;:::i;:::-;12578:139;;12305:419;;;:::o;12730:::-;12896:4;12934:2;12923:9;12919:18;12911:26;;12983:9;12977:4;12973:20;12969:1;12958:9;12954:17;12947:47;13011:131;13137:4;13011:131;:::i;:::-;13003:139;;12730:419;;;:::o;13155:::-;13321:4;13359:2;13348:9;13344:18;13336:26;;13408:9;13402:4;13398:20;13394:1;13383:9;13379:17;13372:47;13436:131;13562:4;13436:131;:::i;:::-;13428:139;;13155:419;;;:::o;13580:::-;13746:4;13784:2;13773:9;13769:18;13761:26;;13833:9;13827:4;13823:20;13819:1;13808:9;13804:17;13797:47;13861:131;13987:4;13861:131;:::i;:::-;13853:139;;13580:419;;;:::o;14005:::-;14171:4;14209:2;14198:9;14194:18;14186:26;;14258:9;14252:4;14248:20;14244:1;14233:9;14229:17;14222:47;14286:131;14412:4;14286:131;:::i;:::-;14278:139;;14005:419;;;:::o;14430:::-;14596:4;14634:2;14623:9;14619:18;14611:26;;14683:9;14677:4;14673:20;14669:1;14658:9;14654:17;14647:47;14711:131;14837:4;14711:131;:::i;:::-;14703:139;;14430:419;;;:::o;14855:::-;15021:4;15059:2;15048:9;15044:18;15036:26;;15108:9;15102:4;15098:20;15094:1;15083:9;15079:17;15072:47;15136:131;15262:4;15136:131;:::i;:::-;15128:139;;14855:419;;;:::o;15280:::-;15446:4;15484:2;15473:9;15469:18;15461:26;;15533:9;15527:4;15523:20;15519:1;15508:9;15504:17;15497:47;15561:131;15687:4;15561:131;:::i;:::-;15553:139;;15280:419;;;:::o;15705:::-;15871:4;15909:2;15898:9;15894:18;15886:26;;15958:9;15952:4;15948:20;15944:1;15933:9;15929:17;15922:47;15986:131;16112:4;15986:131;:::i;:::-;15978:139;;15705:419;;;:::o;16130:::-;16296:4;16334:2;16323:9;16319:18;16311:26;;16383:9;16377:4;16373:20;16369:1;16358:9;16354:17;16347:47;16411:131;16537:4;16411:131;:::i;:::-;16403:139;;16130:419;;;:::o;16555:::-;16721:4;16759:2;16748:9;16744:18;16736:26;;16808:9;16802:4;16798:20;16794:1;16783:9;16779:17;16772:47;16836:131;16962:4;16836:131;:::i;:::-;16828:139;;16555:419;;;:::o;16980:::-;17146:4;17184:2;17173:9;17169:18;17161:26;;17233:9;17227:4;17223:20;17219:1;17208:9;17204:17;17197:47;17261:131;17387:4;17261:131;:::i;:::-;17253:139;;16980:419;;;:::o;17405:::-;17571:4;17609:2;17598:9;17594:18;17586:26;;17658:9;17652:4;17648:20;17644:1;17633:9;17629:17;17622:47;17686:131;17812:4;17686:131;:::i;:::-;17678:139;;17405:419;;;:::o;17830:::-;17996:4;18034:2;18023:9;18019:18;18011:26;;18083:9;18077:4;18073:20;18069:1;18058:9;18054:17;18047:47;18111:131;18237:4;18111:131;:::i;:::-;18103:139;;17830:419;;;:::o;18255:::-;18421:4;18459:2;18448:9;18444:18;18436:26;;18508:9;18502:4;18498:20;18494:1;18483:9;18479:17;18472:47;18536:131;18662:4;18536:131;:::i;:::-;18528:139;;18255:419;;;:::o;18680:::-;18846:4;18884:2;18873:9;18869:18;18861:26;;18933:9;18927:4;18923:20;18919:1;18908:9;18904:17;18897:47;18961:131;19087:4;18961:131;:::i;:::-;18953:139;;18680:419;;;:::o;19105:::-;19271:4;19309:2;19298:9;19294:18;19286:26;;19358:9;19352:4;19348:20;19344:1;19333:9;19329:17;19322:47;19386:131;19512:4;19386:131;:::i;:::-;19378:139;;19105:419;;;:::o;19530:::-;19696:4;19734:2;19723:9;19719:18;19711:26;;19783:9;19777:4;19773:20;19769:1;19758:9;19754:17;19747:47;19811:131;19937:4;19811:131;:::i;:::-;19803:139;;19530:419;;;:::o;19955:::-;20121:4;20159:2;20148:9;20144:18;20136:26;;20208:9;20202:4;20198:20;20194:1;20183:9;20179:17;20172:47;20236:131;20362:4;20236:131;:::i;:::-;20228:139;;19955:419;;;:::o;20380:222::-;20473:4;20511:2;20500:9;20496:18;20488:26;;20524:71;20592:1;20581:9;20577:17;20568:6;20524:71;:::i;:::-;20380:222;;;;:::o;20608:332::-;20729:4;20767:2;20756:9;20752:18;20744:26;;20780:71;20848:1;20837:9;20833:17;20824:6;20780:71;:::i;:::-;20861:72;20929:2;20918:9;20914:18;20905:6;20861:72;:::i;:::-;20608:332;;;;;:::o;20946:483::-;21117:4;21155:2;21144:9;21140:18;21132:26;;21168:71;21236:1;21225:9;21221:17;21212:6;21168:71;:::i;:::-;21286:9;21280:4;21276:20;21271:2;21260:9;21256:18;21249:48;21314:108;21417:4;21408:6;21314:108;:::i;:::-;21306:116;;20946:483;;;;;:::o;21435:214::-;21524:4;21562:2;21551:9;21547:18;21539:26;;21575:67;21639:1;21628:9;21624:17;21615:6;21575:67;:::i;:::-;21435:214;;;;:::o;21736:132::-;21803:4;21826:3;21818:11;;21856:4;21851:3;21847:14;21839:22;;21736:132;;;:::o;21874:114::-;21941:6;21975:5;21969:12;21959:22;;21874:114;;;:::o;21994:99::-;22046:6;22080:5;22074:12;22064:22;;21994:99;;;:::o;22099:113::-;22169:4;22201;22196:3;22192:14;22184:22;;22099:113;;;:::o;22218:184::-;22317:11;22351:6;22346:3;22339:19;22391:4;22386:3;22382:14;22367:29;;22218:184;;;;:::o;22408:169::-;22492:11;22526:6;22521:3;22514:19;22566:4;22561:3;22557:14;22542:29;;22408:169;;;;:::o;22583:305::-;22623:3;22642:20;22660:1;22642:20;:::i;:::-;22637:25;;22676:20;22694:1;22676:20;:::i;:::-;22671:25;;22830:1;22762:66;22758:74;22755:1;22752:81;22749:107;;;22836:18;;:::i;:::-;22749:107;22880:1;22877;22873:9;22866:16;;22583:305;;;;:::o;22894:185::-;22934:1;22951:20;22969:1;22951:20;:::i;:::-;22946:25;;22985:20;23003:1;22985:20;:::i;:::-;22980:25;;23024:1;23014:35;;23029:18;;:::i;:::-;23014:35;23071:1;23068;23064:9;23059:14;;22894:185;;;;:::o;23085:348::-;23125:7;23148:20;23166:1;23148:20;:::i;:::-;23143:25;;23182:20;23200:1;23182:20;:::i;:::-;23177:25;;23370:1;23302:66;23298:74;23295:1;23292:81;23287:1;23280:9;23273:17;23269:105;23266:131;;;23377:18;;:::i;:::-;23266:131;23425:1;23422;23418:9;23407:20;;23085:348;;;;:::o;23439:191::-;23479:4;23499:20;23517:1;23499:20;:::i;:::-;23494:25;;23533:20;23551:1;23533:20;:::i;:::-;23528:25;;23572:1;23569;23566:8;23563:34;;;23577:18;;:::i;:::-;23563:34;23622:1;23619;23615:9;23607:17;;23439:191;;;;:::o;23636:96::-;23673:7;23702:24;23720:5;23702:24;:::i;:::-;23691:35;;23636:96;;;:::o;23738:90::-;23772:7;23815:5;23808:13;23801:21;23790:32;;23738:90;;;:::o;23834:126::-;23871:7;23911:42;23904:5;23900:54;23889:65;;23834:126;;;:::o;23966:77::-;24003:7;24032:5;24021:16;;23966:77;;;:::o;24049:86::-;24084:7;24124:4;24117:5;24113:16;24102:27;;24049:86;;;:::o;24141:307::-;24209:1;24219:113;24233:6;24230:1;24227:13;24219:113;;;24318:1;24313:3;24309:11;24303:18;24299:1;24294:3;24290:11;24283:39;24255:2;24252:1;24248:10;24243:15;;24219:113;;;24350:6;24347:1;24344:13;24341:101;;;24430:1;24421:6;24416:3;24412:16;24405:27;24341:101;24190:258;24141:307;;;:::o;24454:320::-;24498:6;24535:1;24529:4;24525:12;24515:22;;24582:1;24576:4;24572:12;24603:18;24593:81;;24659:4;24651:6;24647:17;24637:27;;24593:81;24721:2;24713:6;24710:14;24690:18;24687:38;24684:84;;;24740:18;;:::i;:::-;24684:84;24505:269;24454:320;;;:::o;24780:233::-;24819:3;24842:24;24860:5;24842:24;:::i;:::-;24833:33;;24888:66;24881:5;24878:77;24875:103;;;24958:18;;:::i;:::-;24875:103;25005:1;24998:5;24994:13;24987:20;;24780:233;;;:::o;25019:180::-;25067:77;25064:1;25057:88;25164:4;25161:1;25154:15;25188:4;25185:1;25178:15;25205:180;25253:77;25250:1;25243:88;25350:4;25347:1;25340:15;25374:4;25371:1;25364:15;25391:180;25439:77;25436:1;25429:88;25536:4;25533:1;25526:15;25560:4;25557:1;25550:15;25700:117;25809:1;25806;25799:12;25823:102;25864:6;25915:2;25911:7;25906:2;25899:5;25895:14;25891:28;25881:38;;25823:102;;;:::o;25931:222::-;26071:34;26067:1;26059:6;26055:14;26048:58;26140:5;26135:2;26127:6;26123:15;26116:30;25931:222;:::o;26159:221::-;26299:34;26295:1;26287:6;26283:14;26276:58;26368:4;26363:2;26355:6;26351:15;26344:29;26159:221;:::o;26386:225::-;26526:34;26522:1;26514:6;26510:14;26503:58;26595:8;26590:2;26582:6;26578:15;26571:33;26386:225;:::o;26617:221::-;26757:34;26753:1;26745:6;26741:14;26734:58;26826:4;26821:2;26813:6;26809:15;26802:29;26617:221;:::o;26844:220::-;26984:34;26980:1;26972:6;26968:14;26961:58;27053:3;27048:2;27040:6;27036:15;27029:28;26844:220;:::o;27070:179::-;27210:31;27206:1;27198:6;27194:14;27187:55;27070:179;:::o;27255:180::-;27395:32;27391:1;27383:6;27379:14;27372:56;27255:180;:::o;27441:243::-;27581:34;27577:1;27569:6;27565:14;27558:58;27650:26;27645:2;27637:6;27633:15;27626:51;27441:243;:::o;27690:225::-;27830:34;27826:1;27818:6;27814:14;27807:58;27899:8;27894:2;27886:6;27882:15;27875:33;27690:225;:::o;27921:365::-;28061:34;28057:1;28049:6;28045:14;28038:58;28130:34;28125:2;28117:6;28113:15;28106:59;28199:34;28194:2;28186:6;28182:15;28175:59;28268:10;28263:2;28255:6;28251:15;28244:35;27921:365;:::o;28292:224::-;28432:34;28428:1;28420:6;28416:14;28409:58;28501:7;28496:2;28488:6;28484:15;28477:32;28292:224;:::o;28522:182::-;28662:34;28658:1;28650:6;28646:14;28639:58;28522:182;:::o;28710:220::-;28850:34;28846:1;28838:6;28834:14;28827:58;28919:3;28914:2;28906:6;28902:15;28895:28;28710:220;:::o;28936:224::-;29076:34;29072:1;29064:6;29060:14;29053:58;29145:7;29140:2;29132:6;29128:15;29121:32;28936:224;:::o;29166:176::-;29306:28;29302:1;29294:6;29290:14;29283:52;29166:176;:::o;29348:223::-;29488:34;29484:1;29476:6;29472:14;29465:58;29557:6;29552:2;29544:6;29540:15;29533:31;29348:223;:::o;29577:365::-;29717:34;29713:1;29705:6;29701:14;29694:58;29786:34;29781:2;29773:6;29769:15;29762:59;29855:34;29850:2;29842:6;29838:15;29831:59;29924:10;29919:2;29911:6;29907:15;29900:35;29577:365;:::o;29948:224::-;30088:34;30084:1;30076:6;30072:14;30065:58;30157:7;30152:2;30144:6;30140:15;30133:32;29948:224;:::o;30178:181::-;30318:33;30314:1;30306:6;30302:14;30295:57;30178:181;:::o;30365:122::-;30438:24;30456:5;30438:24;:::i;:::-;30431:5;30428:35;30418:63;;30477:1;30474;30467:12;30418:63;30365:122;:::o;30493:::-;30566:24;30584:5;30566:24;:::i;:::-;30559:5;30556:35;30546:63;;30605:1;30602;30595:12;30546:63;30493:122;:::o

ipfs://268dd2f5997fce3c70b3e2d677353389a44d2fbd7a7e21fbffb3507ea3bce34c