Contract Source Code (Solidity)Audit Report

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-09-07
*/

// 
// ░▒▓███████▓▒░░▒▓█▓▒░░▒▓█▓▒░░▒▓███████▓▒░ 
// ░▒▓█▓▒░░▒▓█▓▒░▒▓█▓▒░░▒▓█▓▒░▒▓█▓▒░        
// ░▒▓█▓▒░░▒▓█▓▒░▒▓█▓▒░░▒▓█▓▒░▒▓█▓▒░        
// ░▒▓███████▓▒░ ░▒▓██████▓▒░ ░▒▓██████▓▒░  
// ░▒▓█▓▒░░▒▓█▓▒░▒▓█▓▒░░▒▓█▓▒░      ░▒▓█▓▒░ 
// ░▒▓█▓▒░░▒▓█▓▒░▒▓█▓▒░░▒▓█▓▒░      ░▒▓█▓▒░ 
// ░▒▓█▓▒░░▒▓█▓▒░▒▓█▓▒░░▒▓█▓▒░▒▓███████▓▒░  
//                                      
// Name: Rexas Finance
// Token: RXS
// Website: https://rexas.com
// Twitter/X: https://x.com/rexasfinance
// Telegram: https://t.me/rexasfinance
// 


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

interface IERC20 {
    function totalSupply() external view returns (uint256);

    function balanceOf(address account) external view returns (uint256);

    function transfer(
        address recipient,
        uint256 amount
    ) external returns (bool);

    function allowance(
        address owner,
        address spender
    ) external view returns (uint256);

    function approve(address spender, uint256 amount) external returns (bool);

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) external returns (bool);

    event Transfer(address indexed from, address indexed to, uint256 value);

    event Approval(
        address indexed owner,
        address indexed spender,
        uint256 value
    );
}

// Dex Factory contract interface
interface IDexFactory {
    function createPair(
        address tokenA,
        address tokenB
    ) external returns (address pair);
}

// Dex Router contract interface
interface IDexRouter {
    function factory() external pure returns (address);

    function WETH() external pure returns (address);

    function addLiquidityETH(
        address token,
        uint256 amountTokenDesired,
        uint256 amountTokenMin,
        uint256 amountETHMin,
        address to,
        uint256 deadline
    )
        external
        payable
        returns (uint256 amountToken, uint256 amountETH, uint256 liquidity);

    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint256 amountIn,
        uint256 amountOutMin,
        address[] calldata path,
        address to,
        uint256 deadline
    ) external;
}

abstract contract Context {
    function _msgSender() internal view virtual returns (address payable) {
        return payable(msg.sender);
    }

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

contract Ownable is Context {
    address private _owner;

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

    constructor() {
        _owner = _msgSender();
        emit OwnershipTransferred(address(0), _owner);
    }

    function owner() public view returns (address) {
        return _owner;
    }

    modifier onlyOwner() {
        require(_owner == _msgSender(), "Ownable: caller is not the owner");
        _;
    }

    function renounceOwnership() public virtual onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = payable(address(0));
    }

    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(
            newOwner != address(0),
            "Ownable: new owner is the zero address"
        );
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

contract REXAS_FINANCE is Context, IERC20, Ownable {
    using SafeMath for uint256;

    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) public whitelist;

    string private _name = "Rexas Finance";
    string private _symbol = "RXS";
    uint8 private _decimals = 18;
    uint256 private _totalSupply = 1_000_000_000 * 1e18;

    bool public trading; // once enable can't be disable afterwards


    constructor() {
        whitelist[msg.sender] = true;
        _balances[owner()] = _totalSupply;
        
        emit Transfer(address(0), owner(), _totalSupply);
    }

    //to receive ETH from dexRouter when swapping
    receive() external payable {}

    function name() public view returns (string memory) {
        return _name;
    }

    function symbol() public view returns (string memory) {
        return _symbol;
    }

    function decimals() public view returns (uint8) {
        return _decimals;
    }

    function totalSupply() public view override returns (uint256) {
        return _totalSupply;
    }

    function balanceOf(address account) public view override returns (uint256) {
        return _balances[account];
    }

    function transfer(
        address recipient,
        uint256 amount
    ) public override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

    function allowance(
        address owner,
        address spender
    ) public view override returns (uint256) {
        return _allowances[owner][spender];
    }

    function approve(
        address spender,
        uint256 amount
    ) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }

    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(
            sender,
            _msgSender(),
            _allowances[sender][_msgSender()].sub(
                amount,
                "Rexas Finance: Transfer amount exceeds allowance"
            )
        );
        return true;
    }

    function increaseAllowance(
        address spender,
        uint256 addedValue
    ) public virtual returns (bool) {
        _approve(
            _msgSender(),
            spender,
            _allowances[_msgSender()][spender].add(addedValue)
        );
        return true;
    }

    function decreaseAllowance(
        address spender,
        uint256 subtractedValue
    ) public virtual returns (bool) {
        _approve(
            _msgSender(),
            spender,
            _allowances[_msgSender()][spender].sub(
                subtractedValue,
                "Rexas Finance: Decreased allowance or below zero"
            )
        );
        return true;
    }

    function removeStuckEth(address _receiver) public onlyOwner {
        payable(_receiver).transfer(address(this).balance);
    }

    function removeStuckToken(address _token, address _receiver, uint256 _amount) public onlyOwner {
        IERC20(_token).transfer(_receiver, _amount);
    }

    function enableTrading() external onlyOwner {
        require(!trading, "Rexas Finance: Already enabled");
        trading = true;
    }

    function setWhitelist(address _user, bool _exmpt) external onlyOwner{
        whitelist[_user] = _exmpt;
    }

    function _approve(address owner, address spender, uint256 amount) private {
        require(owner != address(0), "Rexas Finance: Approve from the zero address");
        require(spender != address(0), "Rexas Finance: Approve to the zero address");

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

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "Rexas Finance: Transfer from the zero address");
        require(to != address(0), "Rexas Finance: Transfer to the zero address");
        require(amount > 0, "Rexas Finance: Amount must be greater than zero");

        if (!whitelist[from] && !whitelist[to]) {
            // trading disable till launch
            require(trading,"Rexas Finance: Trading is disable");
        }

        _balances[from] = _balances[from].sub(
            amount,
            "Rexas Finance: Insufficient balance"
        );
        _balances[to] = _balances[to].add(amount);

        emit Transfer(from, to, amount);
    }

}

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    function sub(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    function div(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        require(b > 0, errorMessage);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return mod(a, b, "SafeMath: modulo by zero");
    }

    function mod(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

• Certik - Nov 12th, 2024 - Security Audit Report

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"enableTrading","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":[{"internalType":"address","name":"_receiver","type":"address"}],"name":"removeStuckEth","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_token","type":"address"},{"internalType":"address","name":"_receiver","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"removeStuckToken","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_user","type":"address"},{"internalType":"bool","name":"_exmpt","type":"bool"}],"name":"setWhitelist","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":[],"name":"trading","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"whitelist","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526040518060400160405280600d81526020017f52657861732046696e616e636500000000000000000000000000000000000000815250600490816100489190610511565b506040518060400160405280600381526020017f52585300000000000000000000000000000000000000000000000000000000008152506005908161008d9190610511565b50601260065f6101000a81548160ff021916908360ff1602179055506b033b2e3c9fd0803ce80000006007553480156100c4575f80fd5b506100d36102a960201b60201c565b5f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3600160035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff02191690831515021790555060075460015f6101f36102b060201b60201c565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208190555061023e6102b060201b60201c565b73ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef60075460405161029c91906105ef565b60405180910390a3610608565b5f33905090565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061035257607f821691505b6020821081036103655761036461030e565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026103c77fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8261038c565b6103d1868361038c565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f61041561041061040b846103e9565b6103f2565b6103e9565b9050919050565b5f819050919050565b61042e836103fb565b61044261043a8261041c565b848454610398565b825550505050565b5f90565b61045661044a565b610461818484610425565b505050565b5b81811015610484576104795f8261044e565b600181019050610467565b5050565b601f8211156104c95761049a8161036b565b6104a38461037d565b810160208510156104b2578190505b6104c66104be8561037d565b830182610466565b50505b505050565b5f82821c905092915050565b5f6104e95f19846008026104ce565b1980831691505092915050565b5f61050183836104da565b9150826002028217905092915050565b61051a826102d7565b67ffffffffffffffff811115610533576105326102e1565b5b61053d825461033b565b610548828285610488565b5f60209050601f831160018114610579575f8415610567578287015190505b61057185826104f6565b8655506105d8565b601f1984166105878661036b565b5f5b828110156105ae57848901518255600182019150602085019450602081019050610589565b868310156105cb57848901516105c7601f8916826104da565b8355505b6001600288020188555050505b505050505050565b6105e9816103e9565b82525050565b5f6020820190506106025f8301846105e0565b92915050565b61213a806106155f395ff3fe608060405260043610610122575f3560e01c80638a8c523c1161009f578063a9059cbb11610063578063a9059cbb146103e3578063bcda3a031461041f578063dd62ed3e14610447578063ec44acf214610483578063f2fde38b146104ad57610129565b80638a8c523c146103015780638da5cb5b1461031757806395d89b41146103415780639b19251a1461036b578063a457c2d7146103a757610129565b806339509351116100e6578063395093511461022357806353d6fd591461025f578063679a3c591461028757806370a08231146102af578063715018a6146102eb57610129565b806306fdde031461012d578063095ea7b31461015757806318160ddd1461019357806323b872dd146101bd578063313ce567146101f957610129565b3661012957005b5f80fd5b348015610138575f80fd5b506101416104d5565b60405161014e919061174a565b60405180910390f35b348015610162575f80fd5b5061017d600480360381019061017891906117fb565b610565565b60405161018a9190611853565b60405180910390f35b34801561019e575f80fd5b506101a7610582565b6040516101b4919061187b565b60405180910390f35b3480156101c8575f80fd5b506101e360048036038101906101de9190611894565b61058b565b6040516101f09190611853565b60405180910390f35b348015610204575f80fd5b5061020d61065f565b60405161021a91906118ff565b60405180910390f35b34801561022e575f80fd5b50610249600480360381019061024491906117fb565b610674565b6040516102569190611853565b60405180910390f35b34801561026a575f80fd5b5061028560048036038101906102809190611942565b610722565b005b348015610292575f80fd5b506102ad60048036038101906102a89190611980565b61080e565b005b3480156102ba575f80fd5b506102d560048036038101906102d09190611980565b6108e9565b6040516102e2919061187b565b60405180910390f35b3480156102f6575f80fd5b506102ff61092f565b005b34801561030c575f80fd5b50610315610a7d565b005b348015610322575f80fd5b5061032b610b7c565b60405161033891906119ba565b60405180910390f35b34801561034c575f80fd5b50610355610ba3565b604051610362919061174a565b60405180910390f35b348015610376575f80fd5b50610391600480360381019061038c9190611980565b610c33565b60405161039e9190611853565b60405180910390f35b3480156103b2575f80fd5b506103cd60048036038101906103c891906117fb565b610c50565b6040516103da9190611853565b60405180910390f35b3480156103ee575f80fd5b50610409600480360381019061040491906117fb565b610d18565b6040516104169190611853565b60405180910390f35b34801561042a575f80fd5b5061044560048036038101906104409190611894565b610d35565b005b348015610452575f80fd5b5061046d600480360381019061046891906119d3565b610e4a565b60405161047a919061187b565b60405180910390f35b34801561048e575f80fd5b50610497610ecc565b6040516104a49190611853565b60405180910390f35b3480156104b8575f80fd5b506104d360048036038101906104ce9190611980565b610ede565b005b6060600480546104e490611a3e565b80601f016020809104026020016040519081016040528092919081815260200182805461051090611a3e565b801561055b5780601f106105325761010080835404028352916020019161055b565b820191905f5260205f20905b81548152906001019060200180831161053e57829003601f168201915b5050505050905090565b5f61057861057161109b565b84846110a2565b6001905092915050565b5f600754905090565b5f610597848484611265565b610654846105a361109b565b61064f856040518060600160405280603081526020016120d56030913960025f8b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f61060661109b565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461161b9092919063ffffffff16565b6110a2565b600190509392505050565b5f60065f9054906101000a900460ff16905090565b5f61071861068061109b565b846107138560025f61069061109b565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461167d90919063ffffffff16565b6110a2565b6001905092915050565b61072a61109b565b73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146107b6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107ad90611ab8565b60405180910390fd5b8060035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055505050565b61081661109b565b73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146108a2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161089990611ab8565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166108fc4790811502906040515f60405180830381858888f193505050501580156108e5573d5f803e3d5ffd5b5050565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b61093761109b565b73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146109c3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109ba90611ab8565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f805f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b610a8561109b565b73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610b11576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b0890611ab8565b60405180910390fd5b60085f9054906101000a900460ff1615610b60576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b5790611b20565b60405180910390fd5b600160085f6101000a81548160ff021916908315150217905550565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060058054610bb290611a3e565b80601f0160208091040260200160405190810160405280929190818152602001828054610bde90611a3e565b8015610c295780601f10610c0057610100808354040283529160200191610c29565b820191905f5260205f20905b815481529060010190602001808311610c0c57829003601f168201915b5050505050905090565b6003602052805f5260405f205f915054906101000a900460ff1681565b5f610d0e610c5c61109b565b84610d09856040518060600160405280603081526020016120826030913960025f610c8561109b565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461161b9092919063ffffffff16565b6110a2565b6001905092915050565b5f610d2b610d2461109b565b8484611265565b6001905092915050565b610d3d61109b565b73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610dc9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610dc090611ab8565b60405180910390fd5b8273ffffffffffffffffffffffffffffffffffffffff1663a9059cbb83836040518363ffffffff1660e01b8152600401610e04929190611b3e565b6020604051808303815f875af1158015610e20573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610e449190611b79565b50505050565b5f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b60085f9054906101000a900460ff1681565b610ee661109b565b73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610f72576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f6990611ab8565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610fe0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fd790611c14565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3805f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611110576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161110790611ca2565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361117e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161117590611d30565b60405180910390fd5b8060025f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051611258919061187b565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036112d3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112ca90611dbe565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611341576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161133890611e4c565b60405180910390fd5b5f8111611383576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161137a90611eda565b60405180910390fd5b60035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16158015611421575060035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b156114755760085f9054906101000a900460ff16611474576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161146b90611f68565b60405180910390fd5b5b6114df816040518060600160405280602381526020016120b26023913960015f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461161b9092919063ffffffff16565b60015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055506115708160015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461167d90919063ffffffff16565b60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161160e919061187b565b60405180910390a3505050565b5f838311158290611662576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611659919061174a565b60405180910390fd5b505f83856116709190611fb3565b9050809150509392505050565b5f80828461168b9190611fe6565b9050838110156116d0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116c790612063565b60405180910390fd5b8091505092915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f61171c826116da565b61172681856116e4565b93506117368185602086016116f4565b61173f81611702565b840191505092915050565b5f6020820190508181035f8301526117628184611712565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6117978261176e565b9050919050565b6117a78161178d565b81146117b1575f80fd5b50565b5f813590506117c28161179e565b92915050565b5f819050919050565b6117da816117c8565b81146117e4575f80fd5b50565b5f813590506117f5816117d1565b92915050565b5f80604083850312156118115761181061176a565b5b5f61181e858286016117b4565b925050602061182f858286016117e7565b9150509250929050565b5f8115159050919050565b61184d81611839565b82525050565b5f6020820190506118665f830184611844565b92915050565b611875816117c8565b82525050565b5f60208201905061188e5f83018461186c565b92915050565b5f805f606084860312156118ab576118aa61176a565b5b5f6118b8868287016117b4565b93505060206118c9868287016117b4565b92505060406118da868287016117e7565b9150509250925092565b5f60ff82169050919050565b6118f9816118e4565b82525050565b5f6020820190506119125f8301846118f0565b92915050565b61192181611839565b811461192b575f80fd5b50565b5f8135905061193c81611918565b92915050565b5f80604083850312156119585761195761176a565b5b5f611965858286016117b4565b92505060206119768582860161192e565b9150509250929050565b5f602082840312156119955761199461176a565b5b5f6119a2848285016117b4565b91505092915050565b6119b48161178d565b82525050565b5f6020820190506119cd5f8301846119ab565b92915050565b5f80604083850312156119e9576119e861176a565b5b5f6119f6858286016117b4565b9250506020611a07858286016117b4565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680611a5557607f821691505b602082108103611a6857611a67611a11565b5b50919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f611aa26020836116e4565b9150611aad82611a6e565b602082019050919050565b5f6020820190508181035f830152611acf81611a96565b9050919050565b7f52657861732046696e616e63653a20416c726561647920656e61626c656400005f82015250565b5f611b0a601e836116e4565b9150611b1582611ad6565b602082019050919050565b5f6020820190508181035f830152611b3781611afe565b9050919050565b5f604082019050611b515f8301856119ab565b611b5e602083018461186c565b9392505050565b5f81519050611b7381611918565b92915050565b5f60208284031215611b8e57611b8d61176a565b5b5f611b9b84828501611b65565b91505092915050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f20615f8201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b5f611bfe6026836116e4565b9150611c0982611ba4565b604082019050919050565b5f6020820190508181035f830152611c2b81611bf2565b9050919050565b7f52657861732046696e616e63653a20417070726f76652066726f6d20746865205f8201527f7a65726f20616464726573730000000000000000000000000000000000000000602082015250565b5f611c8c602c836116e4565b9150611c9782611c32565b604082019050919050565b5f6020820190508181035f830152611cb981611c80565b9050919050565b7f52657861732046696e616e63653a20417070726f766520746f20746865207a655f8201527f726f206164647265737300000000000000000000000000000000000000000000602082015250565b5f611d1a602a836116e4565b9150611d2582611cc0565b604082019050919050565b5f6020820190508181035f830152611d4781611d0e565b9050919050565b7f52657861732046696e616e63653a205472616e736665722066726f6d207468655f8201527f207a65726f206164647265737300000000000000000000000000000000000000602082015250565b5f611da8602d836116e4565b9150611db382611d4e565b604082019050919050565b5f6020820190508181035f830152611dd581611d9c565b9050919050565b7f52657861732046696e616e63653a205472616e7366657220746f20746865207a5f8201527f65726f2061646472657373000000000000000000000000000000000000000000602082015250565b5f611e36602b836116e4565b9150611e4182611ddc565b604082019050919050565b5f6020820190508181035f830152611e6381611e2a565b9050919050565b7f52657861732046696e616e63653a20416d6f756e74206d7573742062652067725f8201527f6561746572207468616e207a65726f0000000000000000000000000000000000602082015250565b5f611ec4602f836116e4565b9150611ecf82611e6a565b604082019050919050565b5f6020820190508181035f830152611ef181611eb8565b9050919050565b7f52657861732046696e616e63653a2054726164696e672069732064697361626c5f8201527f6500000000000000000000000000000000000000000000000000000000000000602082015250565b5f611f526021836116e4565b9150611f5d82611ef8565b604082019050919050565b5f6020820190508181035f830152611f7f81611f46565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611fbd826117c8565b9150611fc8836117c8565b9250828203905081811115611fe057611fdf611f86565b5b92915050565b5f611ff0826117c8565b9150611ffb836117c8565b925082820190508082111561201357612012611f86565b5b92915050565b7f536166654d6174683a206164646974696f6e206f766572666c6f7700000000005f82015250565b5f61204d601b836116e4565b915061205882612019565b602082019050919050565b5f6020820190508181035f83015261207a81612041565b905091905056fe52657861732046696e616e63653a2044656372656173656420616c6c6f77616e6365206f722062656c6f77207a65726f52657861732046696e616e63653a20496e73756666696369656e742062616c616e636552657861732046696e616e63653a205472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122091548d3bbbe8c29c0bfedceb505659a7efd56906d6660c2922826162eaa53a2564736f6c634300081a0033

0x608060405260043610610122575f3560e01c80638a8c523c1161009f578063a9059cbb11610063578063a9059cbb146103e3578063bcda3a031461041f578063dd62ed3e14610447578063ec44acf214610483578063f2fde38b146104ad57610129565b80638a8c523c146103015780638da5cb5b1461031757806395d89b41146103415780639b19251a1461036b578063a457c2d7146103a757610129565b806339509351116100e6578063395093511461022357806353d6fd591461025f578063679a3c591461028757806370a08231146102af578063715018a6146102eb57610129565b806306fdde031461012d578063095ea7b31461015757806318160ddd1461019357806323b872dd146101bd578063313ce567146101f957610129565b3661012957005b5f80fd5b348015610138575f80fd5b506101416104d5565b60405161014e919061174a565b60405180910390f35b348015610162575f80fd5b5061017d600480360381019061017891906117fb565b610565565b60405161018a9190611853565b60405180910390f35b34801561019e575f80fd5b506101a7610582565b6040516101b4919061187b565b60405180910390f35b3480156101c8575f80fd5b506101e360048036038101906101de9190611894565b61058b565b6040516101f09190611853565b60405180910390f35b348015610204575f80fd5b5061020d61065f565b60405161021a91906118ff565b60405180910390f35b34801561022e575f80fd5b50610249600480360381019061024491906117fb565b610674565b6040516102569190611853565b60405180910390f35b34801561026a575f80fd5b5061028560048036038101906102809190611942565b610722565b005b348015610292575f80fd5b506102ad60048036038101906102a89190611980565b61080e565b005b3480156102ba575f80fd5b506102d560048036038101906102d09190611980565b6108e9565b6040516102e2919061187b565b60405180910390f35b3480156102f6575f80fd5b506102ff61092f565b005b34801561030c575f80fd5b50610315610a7d565b005b348015610322575f80fd5b5061032b610b7c565b60405161033891906119ba565b60405180910390f35b34801561034c575f80fd5b50610355610ba3565b604051610362919061174a565b60405180910390f35b348015610376575f80fd5b50610391600480360381019061038c9190611980565b610c33565b60405161039e9190611853565b60405180910390f35b3480156103b2575f80fd5b506103cd60048036038101906103c891906117fb565b610c50565b6040516103da9190611853565b60405180910390f35b3480156103ee575f80fd5b50610409600480360381019061040491906117fb565b610d18565b6040516104169190611853565b60405180910390f35b34801561042a575f80fd5b5061044560048036038101906104409190611894565b610d35565b005b348015610452575f80fd5b5061046d600480360381019061046891906119d3565b610e4a565b60405161047a919061187b565b60405180910390f35b34801561048e575f80fd5b50610497610ecc565b6040516104a49190611853565b60405180910390f35b3480156104b8575f80fd5b506104d360048036038101906104ce9190611980565b610ede565b005b6060600480546104e490611a3e565b80601f016020809104026020016040519081016040528092919081815260200182805461051090611a3e565b801561055b5780601f106105325761010080835404028352916020019161055b565b820191905f5260205f20905b81548152906001019060200180831161053e57829003601f168201915b5050505050905090565b5f61057861057161109b565b84846110a2565b6001905092915050565b5f600754905090565b5f610597848484611265565b610654846105a361109b565b61064f856040518060600160405280603081526020016120d56030913960025f8b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f61060661109b565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461161b9092919063ffffffff16565b6110a2565b600190509392505050565b5f60065f9054906101000a900460ff16905090565b5f61071861068061109b565b846107138560025f61069061109b565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461167d90919063ffffffff16565b6110a2565b6001905092915050565b61072a61109b565b73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146107b6576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107ad90611ab8565b60405180910390fd5b8060035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f6101000a81548160ff0219169083151502179055505050565b61081661109b565b73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146108a2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161089990611ab8565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166108fc4790811502906040515f60405180830381858888f193505050501580156108e5573d5f803e3d5ffd5b5050565b5f60015f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b61093761109b565b73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16146109c3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109ba90611ab8565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35f805f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b610a8561109b565b73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610b11576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b0890611ab8565b60405180910390fd5b60085f9054906101000a900460ff1615610b60576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b5790611b20565b60405180910390fd5b600160085f6101000a81548160ff021916908315150217905550565b5f805f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b606060058054610bb290611a3e565b80601f0160208091040260200160405190810160405280929190818152602001828054610bde90611a3e565b8015610c295780601f10610c0057610100808354040283529160200191610c29565b820191905f5260205f20905b815481529060010190602001808311610c0c57829003601f168201915b5050505050905090565b6003602052805f5260405f205f915054906101000a900460ff1681565b5f610d0e610c5c61109b565b84610d09856040518060600160405280603081526020016120826030913960025f610c8561109b565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461161b9092919063ffffffff16565b6110a2565b6001905092915050565b5f610d2b610d2461109b565b8484611265565b6001905092915050565b610d3d61109b565b73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610dc9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610dc090611ab8565b60405180910390fd5b8273ffffffffffffffffffffffffffffffffffffffff1663a9059cbb83836040518363ffffffff1660e01b8152600401610e04929190611b3e565b6020604051808303815f875af1158015610e20573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610e449190611b79565b50505050565b5f60025f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b60085f9054906101000a900460ff1681565b610ee661109b565b73ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614610f72576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f6990611ab8565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610fe0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fd790611c14565b60405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff165f8054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3805f806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603611110576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161110790611ca2565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160361117e576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161117590611d30565b60405180910390fd5b8060025f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92583604051611258919061187b565b60405180910390a3505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16036112d3576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016112ca90611dbe565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603611341576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161133890611e4c565b60405180910390fd5b5f8111611383576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161137a90611eda565b60405180910390fd5b60035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16158015611421575060035f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f9054906101000a900460ff16155b156114755760085f9054906101000a900460ff16611474576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161146b90611f68565b60405180910390fd5b5b6114df816040518060600160405280602381526020016120b26023913960015f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461161b9092919063ffffffff16565b60015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055506115708160015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205461167d90919063ffffffff16565b60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8360405161160e919061187b565b60405180910390a3505050565b5f838311158290611662576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401611659919061174a565b60405180910390fd5b505f83856116709190611fb3565b9050809150509392505050565b5f80828461168b9190611fe6565b9050838110156116d0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016116c790612063565b60405180910390fd5b8091505092915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f61171c826116da565b61172681856116e4565b93506117368185602086016116f4565b61173f81611702565b840191505092915050565b5f6020820190508181035f8301526117628184611712565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6117978261176e565b9050919050565b6117a78161178d565b81146117b1575f80fd5b50565b5f813590506117c28161179e565b92915050565b5f819050919050565b6117da816117c8565b81146117e4575f80fd5b50565b5f813590506117f5816117d1565b92915050565b5f80604083850312156118115761181061176a565b5b5f61181e858286016117b4565b925050602061182f858286016117e7565b9150509250929050565b5f8115159050919050565b61184d81611839565b82525050565b5f6020820190506118665f830184611844565b92915050565b611875816117c8565b82525050565b5f60208201905061188e5f83018461186c565b92915050565b5f805f606084860312156118ab576118aa61176a565b5b5f6118b8868287016117b4565b93505060206118c9868287016117b4565b92505060406118da868287016117e7565b9150509250925092565b5f60ff82169050919050565b6118f9816118e4565b82525050565b5f6020820190506119125f8301846118f0565b92915050565b61192181611839565b811461192b575f80fd5b50565b5f8135905061193c81611918565b92915050565b5f80604083850312156119585761195761176a565b5b5f611965858286016117b4565b92505060206119768582860161192e565b9150509250929050565b5f602082840312156119955761199461176a565b5b5f6119a2848285016117b4565b91505092915050565b6119b48161178d565b82525050565b5f6020820190506119cd5f8301846119ab565b92915050565b5f80604083850312156119e9576119e861176a565b5b5f6119f6858286016117b4565b9250506020611a07858286016117b4565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680611a5557607f821691505b602082108103611a6857611a67611a11565b5b50919050565b7f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65725f82015250565b5f611aa26020836116e4565b9150611aad82611a6e565b602082019050919050565b5f6020820190508181035f830152611acf81611a96565b9050919050565b7f52657861732046696e616e63653a20416c726561647920656e61626c656400005f82015250565b5f611b0a601e836116e4565b9150611b1582611ad6565b602082019050919050565b5f6020820190508181035f830152611b3781611afe565b9050919050565b5f604082019050611b515f8301856119ab565b611b5e602083018461186c565b9392505050565b5f81519050611b7381611918565b92915050565b5f60208284031215611b8e57611b8d61176a565b5b5f611b9b84828501611b65565b91505092915050565b7f4f776e61626c653a206e6577206f776e657220697320746865207a65726f20615f8201527f6464726573730000000000000000000000000000000000000000000000000000602082015250565b5f611bfe6026836116e4565b9150611c0982611ba4565b604082019050919050565b5f6020820190508181035f830152611c2b81611bf2565b9050919050565b7f52657861732046696e616e63653a20417070726f76652066726f6d20746865205f8201527f7a65726f20616464726573730000000000000000000000000000000000000000602082015250565b5f611c8c602c836116e4565b9150611c9782611c32565b604082019050919050565b5f6020820190508181035f830152611cb981611c80565b9050919050565b7f52657861732046696e616e63653a20417070726f766520746f20746865207a655f8201527f726f206164647265737300000000000000000000000000000000000000000000602082015250565b5f611d1a602a836116e4565b9150611d2582611cc0565b604082019050919050565b5f6020820190508181035f830152611d4781611d0e565b9050919050565b7f52657861732046696e616e63653a205472616e736665722066726f6d207468655f8201527f207a65726f206164647265737300000000000000000000000000000000000000602082015250565b5f611da8602d836116e4565b9150611db382611d4e565b604082019050919050565b5f6020820190508181035f830152611dd581611d9c565b9050919050565b7f52657861732046696e616e63653a205472616e7366657220746f20746865207a5f8201527f65726f2061646472657373000000000000000000000000000000000000000000602082015250565b5f611e36602b836116e4565b9150611e4182611ddc565b604082019050919050565b5f6020820190508181035f830152611e6381611e2a565b9050919050565b7f52657861732046696e616e63653a20416d6f756e74206d7573742062652067725f8201527f6561746572207468616e207a65726f0000000000000000000000000000000000602082015250565b5f611ec4602f836116e4565b9150611ecf82611e6a565b604082019050919050565b5f6020820190508181035f830152611ef181611eb8565b9050919050565b7f52657861732046696e616e63653a2054726164696e672069732064697361626c5f8201527f6500000000000000000000000000000000000000000000000000000000000000602082015250565b5f611f526021836116e4565b9150611f5d82611ef8565b604082019050919050565b5f6020820190508181035f830152611f7f81611f46565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611fbd826117c8565b9150611fc8836117c8565b9250828203905081811115611fe057611fdf611f86565b5b92915050565b5f611ff0826117c8565b9150611ffb836117c8565b925082820190508082111561201357612012611f86565b5b92915050565b7f536166654d6174683a206164646974696f6e206f766572666c6f7700000000005f82015250565b5f61204d601b836116e4565b915061205882612019565b602082019050919050565b5f6020820190508181035f83015261207a81612041565b905091905056fe52657861732046696e616e63653a2044656372656173656420616c6c6f77616e6365206f722062656c6f77207a65726f52657861732046696e616e63653a20496e73756666696369656e742062616c616e636552657861732046696e616e63653a205472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122091548d3bbbe8c29c0bfedceb505659a7efd56906d6660c2922826162eaa53a2564736f6c634300081a0033

4168:4714:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4957:83;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5845:186;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5234:100;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6039:454;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5143:83;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6501:293;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7663:112;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;7214:129;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5342:119;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3715:157;;;;;;;;;;;;;:::i;:::-;;7516:139;;;;;;;;;;;;;:::i;:::-;;3501:79;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5048:87;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4387:41;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6802:404;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5469:192;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7351:157;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;5669:168;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4614:19;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3880:281;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;4957:83;4994:13;5027:5;5020:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4957:83;:::o;5845:186::-;5945:4;5962:39;5971:12;:10;:12::i;:::-;5985:7;5994:6;5962:8;:39::i;:::-;6019:4;6012:11;;5845:186;;;;:::o;5234:100::-;5287:7;5314:12;;5307:19;;5234:100;:::o;6039:454::-;6171:4;6188:36;6198:6;6206:9;6217:6;6188:9;:36::i;:::-;6235:228;6258:6;6279:12;:10;:12::i;:::-;6306:146;6362:6;6306:146;;;;;;;;;;;;;;;;;:11;:19;6318:6;6306:19;;;;;;;;;;;;;;;:33;6326:12;:10;:12::i;:::-;6306:33;;;;;;;;;;;;;;;;:37;;:146;;;;;:::i;:::-;6235:8;:228::i;:::-;6481:4;6474:11;;6039:454;;;;;:::o;5143:83::-;5184:5;5209:9;;;;;;;;;;;5202:16;;5143:83;:::o;6501:293::-;6614:4;6631:133;6654:12;:10;:12::i;:::-;6681:7;6703:50;6742:10;6703:11;:25;6715:12;:10;:12::i;:::-;6703:25;;;;;;;;;;;;;;;:34;6729:7;6703:34;;;;;;;;;;;;;;;;:38;;:50;;;;:::i;:::-;6631:8;:133::i;:::-;6782:4;6775:11;;6501:293;;;;:::o;7663:112::-;3638:12;:10;:12::i;:::-;3628:22;;:6;;;;;;;;;;:22;;;3620:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;7761:6:::1;7742:9;:16;7752:5;7742:16;;;;;;;;;;;;;;;;:25;;;;;;;;;;;;;;;;;;7663:112:::0;;:::o;7214:129::-;3638:12;:10;:12::i;:::-;3628:22;;:6;;;;;;;;;;:22;;;3620:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;7293:9:::1;7285:27;;:50;7313:21;7285:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;7214:129:::0;:::o;5342:119::-;5408:7;5435:9;:18;5445:7;5435:18;;;;;;;;;;;;;;;;5428:25;;5342:119;;;:::o;3715:157::-;3638:12;:10;:12::i;:::-;3628:22;;:6;;;;;;;;;;:22;;;3620:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;3822:1:::1;3785:40;;3806:6;::::0;::::1;;;;;;;;3785:40;;;;;;;;;;;;3861:1;3836:6:::0;::::1;:28;;;;;;;;;;;;;;;;;;3715:157::o:0;7516:139::-;3638:12;:10;:12::i;:::-;3628:22;;:6;;;;;;;;;;:22;;;3620:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;7580:7:::1;;;;;;;;;;;7579:8;7571:51;;;;;;;;;;;;:::i;:::-;;;;;;;;;7643:4;7633:7;;:14;;;;;;;;;;;;;;;;;;7516:139::o:0;3501:79::-;3539:7;3566:6;;;;;;;;;;;3559:13;;3501:79;:::o;5048:87::-;5087:13;5120:7;5113:14;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5048:87;:::o;4387:41::-;;;;;;;;;;;;;;;;;;;;;;:::o;6802:404::-;6920:4;6937:239;6960:12;:10;:12::i;:::-;6987:7;7009:156;7066:15;7009:156;;;;;;;;;;;;;;;;;:11;:25;7021:12;:10;:12::i;:::-;7009:25;;;;;;;;;;;;;;;:34;7035:7;7009:34;;;;;;;;;;;;;;;;:38;;:156;;;;;:::i;:::-;6937:8;:239::i;:::-;7194:4;7187:11;;6802:404;;;;:::o;5469:192::-;5572:4;5589:42;5599:12;:10;:12::i;:::-;5613:9;5624:6;5589:9;:42::i;:::-;5649:4;5642:11;;5469:192;;;;:::o;7351:157::-;3638:12;:10;:12::i;:::-;3628:22;;:6;;;;;;;;;;:22;;;3620:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;7464:6:::1;7457:23;;;7481:9;7492:7;7457:43;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;7351:157:::0;;;:::o;5669:168::-;5775:7;5802:11;:18;5814:5;5802:18;;;;;;;;;;;;;;;:27;5821:7;5802:27;;;;;;;;;;;;;;;;5795:34;;5669:168;;;;:::o;4614:19::-;;;;;;;;;;;;;:::o;3880:281::-;3638:12;:10;:12::i;:::-;3628:22;;:6;;;;;;;;;;:22;;;3620:67;;;;;;;;;;;;:::i;:::-;;;;;;;;;4003:1:::1;3983:22;;:8;:22;;::::0;3961:110:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;4116:8;4087:38;;4108:6;::::0;::::1;;;;;;;;4087:38;;;;;;;;;;;;4145:8;4136:6;::::0;:17:::1;;;;;;;;;;;;;;;;;;3880:281:::0;:::o;2837:115::-;2890:15;2933:10;2918:26;;2837:115;:::o;7783:353::-;7893:1;7876:19;;:5;:19;;;7868:76;;;;;;;;;;;;:::i;:::-;;;;;;;;;7982:1;7963:21;;:7;:21;;;7955:76;;;;;;;;;;;;:::i;:::-;;;;;;;;;8074:6;8044:11;:18;8056:5;8044:18;;;;;;;;;;;;;;;:27;8063:7;8044:27;;;;;;;;;;;;;;;:36;;;;8112:7;8096:32;;8105:5;8096:32;;;8121:6;8096:32;;;;;;:::i;:::-;;;;;;;;7783:353;;;:::o;8144:733::-;8248:1;8232:18;;:4;:18;;;8224:76;;;;;;;;;;;;:::i;:::-;;;;;;;;;8333:1;8319:16;;:2;:16;;;8311:72;;;;;;;;;;;;:::i;:::-;;;;;;;;;8411:1;8402:6;:10;8394:70;;;;;;;;;;;;:::i;:::-;;;;;;;;;8482:9;:15;8492:4;8482:15;;;;;;;;;;;;;;;;;;;;;;;;;8481:16;:34;;;;;8502:9;:13;8512:2;8502:13;;;;;;;;;;;;;;;;;;;;;;;;;8501:14;8481:34;8477:163;;;8584:7;;;;;;;;;;;8576:52;;;;;;;;;;;;:::i;:::-;;;;;;;;;8477:163;8670:103;8704:6;8670:103;;;;;;;;;;;;;;;;;:9;:15;8680:4;8670:15;;;;;;;;;;;;;;;;:19;;:103;;;;;:::i;:::-;8652:9;:15;8662:4;8652:15;;;;;;;;;;;;;;;:121;;;;8800:25;8818:6;8800:9;:13;8810:2;8800:13;;;;;;;;;;;;;;;;:17;;:25;;;;:::i;:::-;8784:9;:13;8794:2;8784:13;;;;;;;;;;;;;;;:41;;;;8858:2;8843:26;;8852:4;8843:26;;;8862:6;8843:26;;;;;;:::i;:::-;;;;;;;;8144:733;;;:::o;9243:226::-;9363:7;9396:1;9391;:6;;9399:12;9383:29;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;9423:9;9439:1;9435;:5;;;;:::i;:::-;9423:17;;9460:1;9453:8;;;9243:226;;;;;:::o;8910:181::-;8968:7;8988:9;9004:1;9000;:5;;;;:::i;:::-;8988:17;;9029:1;9024;:6;;9016:46;;;;;;;;;;;;:::i;:::-;;;;;;;;;9082:1;9075:8;;;8910:181;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:139::-;376:6;371:3;366;360:23;417:1;408:6;403:3;399:16;392:27;287:139;;;:::o;432:102::-;473:6;524:2;520:7;515:2;508:5;504:14;500:28;490:38;;432:102;;;:::o;540:377::-;628:3;656:39;689:5;656:39;:::i;:::-;711:71;775:6;770:3;711:71;:::i;:::-;704:78;;791:65;849:6;844:3;837:4;830:5;826:16;791:65;:::i;:::-;881:29;903:6;881:29;:::i;:::-;876:3;872:39;865:46;;632:285;540:377;;;;:::o;923:313::-;1036:4;1074:2;1063:9;1059:18;1051:26;;1123:9;1117:4;1113:20;1109:1;1098:9;1094:17;1087:47;1151:78;1224:4;1215:6;1151:78;:::i;:::-;1143:86;;923:313;;;;:::o;1323:117::-;1432:1;1429;1422:12;1569:126;1606:7;1646:42;1639:5;1635:54;1624:65;;1569:126;;;:::o;1701:96::-;1738:7;1767:24;1785:5;1767:24;:::i;:::-;1756:35;;1701:96;;;:::o;1803:122::-;1876:24;1894:5;1876:24;:::i;:::-;1869:5;1866:35;1856:63;;1915:1;1912;1905:12;1856:63;1803:122;:::o;1931:139::-;1977:5;2015:6;2002:20;1993:29;;2031:33;2058:5;2031:33;:::i;:::-;1931:139;;;;:::o;2076:77::-;2113:7;2142:5;2131:16;;2076:77;;;:::o;2159:122::-;2232:24;2250:5;2232:24;:::i;:::-;2225:5;2222:35;2212:63;;2271:1;2268;2261:12;2212:63;2159:122;:::o;2287:139::-;2333:5;2371:6;2358:20;2349:29;;2387:33;2414:5;2387:33;:::i;:::-;2287:139;;;;:::o;2432:474::-;2500:6;2508;2557:2;2545:9;2536:7;2532:23;2528:32;2525:119;;;2563:79;;:::i;:::-;2525:119;2683:1;2708:53;2753:7;2744:6;2733:9;2729:22;2708:53;:::i;:::-;2698:63;;2654:117;2810:2;2836:53;2881:7;2872:6;2861:9;2857:22;2836:53;:::i;:::-;2826:63;;2781:118;2432:474;;;;;:::o;2912:90::-;2946:7;2989:5;2982:13;2975:21;2964:32;;2912:90;;;:::o;3008:109::-;3089:21;3104:5;3089:21;:::i;:::-;3084:3;3077:34;3008:109;;:::o;3123:210::-;3210:4;3248:2;3237:9;3233:18;3225:26;;3261:65;3323:1;3312:9;3308:17;3299:6;3261:65;:::i;:::-;3123:210;;;;:::o;3339:118::-;3426:24;3444:5;3426:24;:::i;:::-;3421:3;3414:37;3339:118;;:::o;3463:222::-;3556:4;3594:2;3583:9;3579:18;3571:26;;3607:71;3675:1;3664:9;3660:17;3651:6;3607:71;:::i;:::-;3463:222;;;;:::o;3691:619::-;3768:6;3776;3784;3833:2;3821:9;3812:7;3808:23;3804:32;3801:119;;;3839:79;;:::i;:::-;3801:119;3959:1;3984:53;4029:7;4020:6;4009:9;4005:22;3984:53;:::i;:::-;3974:63;;3930:117;4086:2;4112:53;4157:7;4148:6;4137:9;4133:22;4112:53;:::i;:::-;4102:63;;4057:118;4214:2;4240:53;4285:7;4276:6;4265:9;4261:22;4240:53;:::i;:::-;4230:63;;4185:118;3691:619;;;;;:::o;4316:86::-;4351:7;4391:4;4384:5;4380:16;4369:27;;4316:86;;;:::o;4408:112::-;4491:22;4507:5;4491:22;:::i;:::-;4486:3;4479:35;4408:112;;:::o;4526:214::-;4615:4;4653:2;4642:9;4638:18;4630:26;;4666:67;4730:1;4719:9;4715:17;4706:6;4666:67;:::i;:::-;4526:214;;;;:::o;4746:116::-;4816:21;4831:5;4816:21;:::i;:::-;4809:5;4806:32;4796:60;;4852:1;4849;4842:12;4796:60;4746:116;:::o;4868:133::-;4911:5;4949:6;4936:20;4927:29;;4965:30;4989:5;4965:30;:::i;:::-;4868:133;;;;:::o;5007:468::-;5072:6;5080;5129:2;5117:9;5108:7;5104:23;5100:32;5097:119;;;5135:79;;:::i;:::-;5097:119;5255:1;5280:53;5325:7;5316:6;5305:9;5301:22;5280:53;:::i;:::-;5270:63;;5226:117;5382:2;5408:50;5450:7;5441:6;5430:9;5426:22;5408:50;:::i;:::-;5398:60;;5353:115;5007:468;;;;;:::o;5481:329::-;5540:6;5589:2;5577:9;5568:7;5564:23;5560:32;5557:119;;;5595:79;;:::i;:::-;5557:119;5715:1;5740:53;5785:7;5776:6;5765:9;5761:22;5740:53;:::i;:::-;5730:63;;5686:117;5481:329;;;;:::o;5816:118::-;5903:24;5921:5;5903:24;:::i;:::-;5898:3;5891:37;5816:118;;:::o;5940:222::-;6033:4;6071:2;6060:9;6056:18;6048:26;;6084:71;6152:1;6141:9;6137:17;6128:6;6084:71;:::i;:::-;5940:222;;;;:::o;6168:474::-;6236:6;6244;6293:2;6281:9;6272:7;6268:23;6264:32;6261:119;;;6299:79;;:::i;:::-;6261:119;6419:1;6444:53;6489:7;6480:6;6469:9;6465:22;6444:53;:::i;:::-;6434:63;;6390:117;6546:2;6572:53;6617:7;6608:6;6597:9;6593:22;6572:53;:::i;:::-;6562:63;;6517:118;6168:474;;;;;:::o;6648:180::-;6696:77;6693:1;6686:88;6793:4;6790:1;6783:15;6817:4;6814:1;6807:15;6834:320;6878:6;6915:1;6909:4;6905:12;6895:22;;6962:1;6956:4;6952:12;6983:18;6973:81;;7039:4;7031:6;7027:17;7017:27;;6973:81;7101:2;7093:6;7090:14;7070:18;7067:38;7064:84;;7120:18;;:::i;:::-;7064:84;6885:269;6834:320;;;:::o;7160:182::-;7300:34;7296:1;7288:6;7284:14;7277:58;7160:182;:::o;7348:366::-;7490:3;7511:67;7575:2;7570:3;7511:67;:::i;:::-;7504:74;;7587:93;7676:3;7587:93;:::i;:::-;7705:2;7700:3;7696:12;7689:19;;7348:366;;;:::o;7720:419::-;7886:4;7924:2;7913:9;7909:18;7901:26;;7973:9;7967:4;7963:20;7959:1;7948:9;7944:17;7937:47;8001:131;8127:4;8001:131;:::i;:::-;7993:139;;7720:419;;;:::o;8145:180::-;8285:32;8281:1;8273:6;8269:14;8262:56;8145:180;:::o;8331:366::-;8473:3;8494:67;8558:2;8553:3;8494:67;:::i;:::-;8487:74;;8570:93;8659:3;8570:93;:::i;:::-;8688:2;8683:3;8679:12;8672:19;;8331:366;;;:::o;8703:419::-;8869:4;8907:2;8896:9;8892:18;8884:26;;8956:9;8950:4;8946:20;8942:1;8931:9;8927:17;8920:47;8984:131;9110:4;8984:131;:::i;:::-;8976:139;;8703:419;;;:::o;9128:332::-;9249:4;9287:2;9276:9;9272:18;9264:26;;9300:71;9368:1;9357:9;9353:17;9344:6;9300:71;:::i;:::-;9381:72;9449:2;9438:9;9434:18;9425:6;9381:72;:::i;:::-;9128:332;;;;;:::o;9466:137::-;9520:5;9551:6;9545:13;9536:22;;9567:30;9591:5;9567:30;:::i;:::-;9466:137;;;;:::o;9609:345::-;9676:6;9725:2;9713:9;9704:7;9700:23;9696:32;9693:119;;;9731:79;;:::i;:::-;9693:119;9851:1;9876:61;9929:7;9920:6;9909:9;9905:22;9876:61;:::i;:::-;9866:71;;9822:125;9609:345;;;;:::o;9960:225::-;10100:34;10096:1;10088:6;10084:14;10077:58;10169:8;10164:2;10156:6;10152:15;10145:33;9960:225;:::o;10191:366::-;10333:3;10354:67;10418:2;10413:3;10354:67;:::i;:::-;10347:74;;10430:93;10519:3;10430:93;:::i;:::-;10548:2;10543:3;10539:12;10532:19;;10191:366;;;:::o;10563:419::-;10729:4;10767:2;10756:9;10752:18;10744:26;;10816:9;10810:4;10806:20;10802:1;10791:9;10787:17;10780:47;10844:131;10970:4;10844:131;:::i;:::-;10836:139;;10563:419;;;:::o;10988:231::-;11128:34;11124:1;11116:6;11112:14;11105:58;11197:14;11192:2;11184:6;11180:15;11173:39;10988:231;:::o;11225:366::-;11367:3;11388:67;11452:2;11447:3;11388:67;:::i;:::-;11381:74;;11464:93;11553:3;11464:93;:::i;:::-;11582:2;11577:3;11573:12;11566:19;;11225:366;;;:::o;11597:419::-;11763:4;11801:2;11790:9;11786:18;11778:26;;11850:9;11844:4;11840:20;11836:1;11825:9;11821:17;11814:47;11878:131;12004:4;11878:131;:::i;:::-;11870:139;;11597:419;;;:::o;12022:229::-;12162:34;12158:1;12150:6;12146:14;12139:58;12231:12;12226:2;12218:6;12214:15;12207:37;12022:229;:::o;12257:366::-;12399:3;12420:67;12484:2;12479:3;12420:67;:::i;:::-;12413:74;;12496:93;12585:3;12496:93;:::i;:::-;12614:2;12609:3;12605:12;12598:19;;12257:366;;;:::o;12629:419::-;12795:4;12833:2;12822:9;12818:18;12810:26;;12882:9;12876:4;12872:20;12868:1;12857:9;12853:17;12846:47;12910:131;13036:4;12910:131;:::i;:::-;12902:139;;12629:419;;;:::o;13054:232::-;13194:34;13190:1;13182:6;13178:14;13171:58;13263:15;13258:2;13250:6;13246:15;13239:40;13054:232;:::o;13292:366::-;13434:3;13455:67;13519:2;13514:3;13455:67;:::i;:::-;13448:74;;13531:93;13620:3;13531:93;:::i;:::-;13649:2;13644:3;13640:12;13633:19;;13292:366;;;:::o;13664:419::-;13830:4;13868:2;13857:9;13853:18;13845:26;;13917:9;13911:4;13907:20;13903:1;13892:9;13888:17;13881:47;13945:131;14071:4;13945:131;:::i;:::-;13937:139;;13664:419;;;:::o;14089:230::-;14229:34;14225:1;14217:6;14213:14;14206:58;14298:13;14293:2;14285:6;14281:15;14274:38;14089:230;:::o;14325:366::-;14467:3;14488:67;14552:2;14547:3;14488:67;:::i;:::-;14481:74;;14564:93;14653:3;14564:93;:::i;:::-;14682:2;14677:3;14673:12;14666:19;;14325:366;;;:::o;14697:419::-;14863:4;14901:2;14890:9;14886:18;14878:26;;14950:9;14944:4;14940:20;14936:1;14925:9;14921:17;14914:47;14978:131;15104:4;14978:131;:::i;:::-;14970:139;;14697:419;;;:::o;15122:234::-;15262:34;15258:1;15250:6;15246:14;15239:58;15331:17;15326:2;15318:6;15314:15;15307:42;15122:234;:::o;15362:366::-;15504:3;15525:67;15589:2;15584:3;15525:67;:::i;:::-;15518:74;;15601:93;15690:3;15601:93;:::i;:::-;15719:2;15714:3;15710:12;15703:19;;15362:366;;;:::o;15734:419::-;15900:4;15938:2;15927:9;15923:18;15915:26;;15987:9;15981:4;15977:20;15973:1;15962:9;15958:17;15951:47;16015:131;16141:4;16015:131;:::i;:::-;16007:139;;15734:419;;;:::o;16159:220::-;16299:34;16295:1;16287:6;16283:14;16276:58;16368:3;16363:2;16355:6;16351:15;16344:28;16159:220;:::o;16385:366::-;16527:3;16548:67;16612:2;16607:3;16548:67;:::i;:::-;16541:74;;16624:93;16713:3;16624:93;:::i;:::-;16742:2;16737:3;16733:12;16726:19;;16385:366;;;:::o;16757:419::-;16923:4;16961:2;16950:9;16946:18;16938:26;;17010:9;17004:4;17000:20;16996:1;16985:9;16981:17;16974:47;17038:131;17164:4;17038:131;:::i;:::-;17030:139;;16757:419;;;:::o;17182:180::-;17230:77;17227:1;17220:88;17327:4;17324:1;17317:15;17351:4;17348:1;17341:15;17368:194;17408:4;17428:20;17446:1;17428:20;:::i;:::-;17423:25;;17462:20;17480:1;17462:20;:::i;:::-;17457:25;;17506:1;17503;17499:9;17491:17;;17530:1;17524:4;17521:11;17518:37;;;17535:18;;:::i;:::-;17518:37;17368:194;;;;:::o;17568:191::-;17608:3;17627:20;17645:1;17627:20;:::i;:::-;17622:25;;17661:20;17679:1;17661:20;:::i;:::-;17656:25;;17704:1;17701;17697:9;17690:16;;17725:3;17722:1;17719:10;17716:36;;;17732:18;;:::i;:::-;17716:36;17568:191;;;;:::o;17765:177::-;17905:29;17901:1;17893:6;17889:14;17882:53;17765:177;:::o;17948:366::-;18090:3;18111:67;18175:2;18170:3;18111:67;:::i;:::-;18104:74;;18187:93;18276:3;18187:93;:::i;:::-;18305:2;18300:3;18296:12;18289:19;;17948:366;;;:::o;18320:419::-;18486:4;18524:2;18513:9;18509:18;18501:26;;18573:9;18567:4;18563:20;18559:1;18548:9;18544:17;18537:47;18601:131;18727:4;18601:131;:::i;:::-;18593:139;;18320:419;;;:::o

ipfs://91548d3bbbe8c29c0bfedceb505659a7efd56906d6660c2922826162eaa53a25