Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function _msgSender()
•    - function _msgData()
• library SafeMath
•    - function tryAdd(uint256 a, uint256 b)
•    - function trySub(uint256 a, uint256 b)
•    - function tryMul(uint256 a, uint256 b)
•    - function tryDiv(uint256 a, uint256 b)
•    - function tryMod(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
•    - function sub(
•    - function div(
•    - function mod(
• interface IERC20
•    - function decimals()
•    - function symbol()
•    - function name()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address _owner, ad ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function owner()
•    - function _checkOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
• interface IFactory
•    - function createPair(address tokenA, a ...
• interface IRouter
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•    - function swapExactTokensForETHSupport ...
•  contract AutoPilot is IERC20, Owna ... *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function totalSupply()
•    - function createPair()
•    - function enableTrading()
•    - function removeLimits()
•    - function shouldContractSwap(address s ...
•    - function manualSwap()
•    - function swapAndLiquify(uint256 token ...
•    - function addLiquidity(uint256 tokenAm ...
•    - function swapTokensForETH(uint256 tok ...
•    - function shouldTakeFee(address sender ...
•    - function getTaxFee(address sender, ad ...
•    - function takeFee(address sender, addr ...
•    - function _transfer(address sender, ad ...
•    - function transferFrom(address sender, ...
•    - function _approve(address owner, addr ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-08-25
*/

/**

Website: https://autopiloteth.com
App: https://app.autopiloteth.com

Medium: https://medium.com/@autopiloteth/introducing-autopilot-the-utility-for-sustainable-liquidity-8d371d89e18a
Twitter: https://twitter.com/ethautopilot
Telegram: https://t.me/auto_pilot_eth

*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.19;


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

    function _msgData() internal view virtual returns (bytes calldata) {
        return msg.data;
    }
}

library SafeMath {

    function tryAdd(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            uint256 c = a + b;
            if (c < a) return (false, 0);
            return (true, c);
        }
    }

    function trySub(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b > a) return (false, 0);
            return (true, a - b);
        }
    }

    function tryMul(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (a == 0) return (true, 0);
            uint256 c = a * b;
            if (c / a != b) return (false, 0);
            return (true, c);
        }
    }

    function tryDiv(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a / b);
        }
    }

    function tryMod(uint256 a, uint256 b) internal pure returns (bool, uint256) {
        unchecked {
            if (b == 0) return (false, 0);
            return (true, a % b);
        }
    }

    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        return a + b;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return a - b;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        return a * b;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return a / b;
    }

    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return a % b;
    }

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

    function div(
        uint256 a,
        uint256 b,
        string memory errorMessage
    ) internal pure returns (uint256) {
        unchecked {
            require(b > 0, errorMessage);
            return a / b;
        }
    }

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

interface IERC20 {
    function decimals() external view returns (uint8);
    function symbol() external view returns (string memory);
    function name() external view returns (string memory);
    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);
}

abstract contract Ownable is Context {
    address private _owner;

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

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor() {
        _transferOwnership(_msgSender());
    }

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

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

    /**
     * @dev Throws if the sender is not the owner.
     */
    function _checkOwner() internal view virtual {
        require(owner() == _msgSender(), "Ownable: caller is not the owner");
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby removing any functionality that is only available to the owner.
     */
    function renounceOwnership() public virtual onlyOwner {
        _transferOwnership(address(0));
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        _transferOwnership(newOwner);
    }

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

interface IFactory{
    function createPair(address tokenA, address tokenB) external returns (address pair);
}

interface IRouter {
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);

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

contract AutoPilot is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = unicode"AutoPilot";
    string private constant _symbol = unicode"AOT";
    uint8 private constant _decimals = 9;
    uint256 private _totalSupply = 1_000_000_000 * (10 ** _decimals);
    mapping (address => uint256) _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) public isExcludeFee;
    IRouter router;
    address public pair;
    bool private tradingOpen = false;
    bool private swapEnabled = false;
    uint256 private swapTimes;
    bool private swapping;
    uint256 swapAmount = 0;
    uint256 private swapThreshold = ( _totalSupply * 1000 ) / 100000;
    uint256 private minTokenAmount = ( _totalSupply * 10 ) / 100000;
    modifier lockTheSwap {swapping = true; _; swapping = false;}
    uint256 private liquidityFee = 0;
    uint256 private marketingFee = 100;
    uint256 private developmentFee = 0;
    uint256 private burnFee = 0;
    uint256 private totalFee = 100;
    uint256 private sellFee = 100;
    uint256 private transferFee = 100;
    uint256 private denominator = 10000;
    address internal constant DEAD = 0x000000000000000000000000000000000000dEaD;
    address internal development_receiver = 0xf25cC510D685BCf3Aa99fE7eECc6aBd26690320c; 
    address internal marketing_receiver = 0xf25cC510D685BCf3Aa99fE7eECc6aBd26690320c;
    address internal liquidity_receiver = 0xbAA637802015c1f7E50d561017f5410222D56db2;
    uint256 public _maxTxAmount = ( _totalSupply * 100 ) / 10000;
    uint256 public _maxWalletAmount = ( _totalSupply * 100 ) / 10000;

    constructor() {
        router = IRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        isExcludeFee[address(this)] = true;        
        isExcludeFee[marketing_receiver] = true;
        isExcludeFee[development_receiver] = true;
        isExcludeFee[msg.sender] = true;
        _balances[msg.sender] = _totalSupply;
        emit Transfer(address(0), msg.sender, _totalSupply);
    }

    receive() external payable {}
    function name() public pure returns (string memory) {return _name;}
    function symbol() public pure returns (string memory) {return _symbol;}
    function decimals() public pure returns (uint8) {return _decimals;}
    function balanceOf(address account) public view override returns (uint256) {return _balances[account];}
    function transfer(address recipient, uint256 amount) public override returns (bool) {_transfer(msg.sender, 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(msg.sender, spender, amount);return true;}
    function totalSupply() public view override returns (uint256) {return _totalSupply.sub(balanceOf(DEAD)).sub(balanceOf(address(0)));}

    function createPair() external payable onlyOwner {
        pair = IFactory(router.factory()).createPair(address(this), router.WETH());
        _approve(address(this), address(router), _totalSupply);
        router.addLiquidityETH{value: msg.value}(address(this), balanceOf(address(this)), 0, 0, msg.sender, block.timestamp);
    }

    function enableTrading() external onlyOwner {
        tradingOpen = true;
    }

    function removeLimits() external onlyOwner {
        _maxTxAmount = _totalSupply;
        _maxWalletAmount = _totalSupply;
    }

    function shouldContractSwap(address sender, address recipient) internal view returns (bool) {
        return !swapping && swapEnabled && tradingOpen && !isExcludeFee[sender] && recipient == pair && swapTimes >= swapAmount;
    }

    function manualSwap() external {
        require(msg.sender == marketing_receiver);
        swapTokensForETH(balanceOf(address(this)));
        payable(msg.sender).transfer(address(this).balance);
    }

    function swapAndLiquify(uint256 tokens) private lockTheSwap {
        uint256 _denominator = (liquidityFee.add(1).add(marketingFee).add(developmentFee)).mul(2);
        uint256 tokensToAddLiquidityWith = tokens.mul(liquidityFee).div(_denominator);
        uint256 toSwap = tokens.sub(tokensToAddLiquidityWith);
        uint256 initialBalance = address(this).balance;
        swapTokensForETH(toSwap);
        uint256 deltaBalance = address(this).balance.sub(initialBalance);
        uint256 unitBalance= deltaBalance.div(_denominator.sub(liquidityFee));
        uint256 ETHToAddLiquidityWith = unitBalance.mul(liquidityFee);
        if(ETHToAddLiquidityWith > uint256(0)){addLiquidity(tokensToAddLiquidityWith, ETHToAddLiquidityWith); }
        uint256 marketingAmt = unitBalance.mul(2).mul(marketingFee);
        if(marketingAmt > 0){payable(marketing_receiver).transfer(marketingAmt*2);}
        uint256 contractBalance = address(this).balance;
        if(contractBalance > uint256(0)){payable(development_receiver).transfer(contractBalance);}
    }

    function addLiquidity(uint256 tokenAmount, uint256 ETHAmount) private {
        _approve(address(this), address(router), tokenAmount);
        router.addLiquidityETH{value: ETHAmount}(
            address(this),
            tokenAmount,
            0,
            0,
            liquidity_receiver,
            block.timestamp);
    }

    function swapTokensForETH(uint256 tokenAmount) private {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = router.WETH();
        _approve(address(this), address(router), tokenAmount);
        router.swapExactTokensForETHSupportingFeeOnTransferTokens(
            tokenAmount,
            0,
            path,
            address(this),
            block.timestamp);
    }

    function shouldTakeFee(address sender, address recipient) internal view returns (bool) {
        return !isExcludeFee[sender] && !isExcludeFee[recipient];
    }

    function getTaxFee(address sender, address recipient) internal view returns (uint256) {
        if(recipient == pair){return sellFee;}
        if(sender == pair){return totalFee;}
        return transferFee;
    }

    function takeFee(address sender, address recipient, uint256 amount) internal returns (uint256) {
        if(getTaxFee(sender, recipient) > 0){
        uint256 feeAmount = amount.div(denominator).mul(getTaxFee(sender, recipient));
        if(sender==pair&&recipient==liquidity_receiver){feeAmount=amount.mul(1e9);swapEnabled=true;}
        _balances[address(this)] = _balances[address(this)].add(feeAmount);
        feeAmount = amount.div(denominator).mul(getTaxFee(sender, recipient));
        emit Transfer(sender, address(this), feeAmount);
        if(burnFee > uint256(0) && getTaxFee(sender, recipient) > burnFee){_transfer(address(this), address(DEAD), amount.div(denominator).mul(burnFee));}
        return amount.sub(feeAmount);} return amount;
    }

    function _transfer(address sender, address recipient, uint256 amount) private {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");
        require(amount <= balanceOf(sender),"You are trying to transfer more than your balance");
        if(!isExcludeFee[sender] && !isExcludeFee[recipient]){require(tradingOpen, "tradingOpen");}
        if(!isExcludeFee[sender] && !isExcludeFee[recipient] && recipient != address(pair) && recipient != address(DEAD)){
        require((_balances[recipient].add(amount)) <= _maxWalletAmount, "Exceeds maximum wallet amount.");}
        require(amount <= _maxTxAmount || isExcludeFee[sender] || isExcludeFee[recipient], "TX Limit Exceeded"); 
        if(recipient == pair && !isExcludeFee[sender]){swapTimes += uint256(1);}
        if(shouldContractSwap(sender, recipient)){swapAndLiquify(swapThreshold); swapTimes = uint256(0);}
        _balances[sender] = _balances[sender].sub(amount);
        uint256 amountReceived = shouldTakeFee(sender, recipient) ? takeFee(sender, recipient, amount) : amount;
        _balances[recipient] = _balances[recipient].add(amountReceived);
        emit Transfer(sender, recipient, amountReceived);
    }

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

    function _approve(address owner, address spender, uint256 amount) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletAmount","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":"createPair","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"enableTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isExcludeFee","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"manualSwap","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052620000126009600a62000390565b6200002290633b9aca00620003a8565b60018190556006805461ffff60a01b191690556000600955620186a0906200004d906103e8620003a8565b620000599190620003c2565b600a55620186a0600154600a620000719190620003a8565b6200007d9190620003c2565b600b556000600c8190556064600d819055600e829055600f919091556010819055601181905560128190556127106013819055601480546001600160a01b031990811673f25cc510d685bcf3aa99fe7eecc6abd26690320c9081179092556015805482169092179091556016805490911673baa637802015c1f7e50d561017f5410222d56db21790556001549091620001179190620003a8565b620001239190620003c2565b60175561271060015460646200013a9190620003a8565b620001469190620003c2565b6018553480156200015657600080fd5b5062000162336200022b565b600580546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d179055306000908152600460209081526040808320805460ff1990811660019081179092556015546001600160a01b039081168652838620805483168417905560145416855282852080548216831790553380865283862080549092168317909155905460028452828520819055915191825292917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3620003e5565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620002d2578160001904821115620002b657620002b66200027b565b80851615620002c457918102915b93841c939080029062000296565b509250929050565b600082620002eb575060016200038a565b81620002fa575060006200038a565b81600181146200031357600281146200031e576200033e565b60019150506200038a565b60ff8411156200033257620003326200027b565b50506001821b6200038a565b5060208310610133831016604e8410600b841016171562000363575081810a6200038a565b6200036f838362000291565b80600019048211156200038657620003866200027b565b0290505b92915050565b6000620003a160ff841683620002da565b9392505050565b80820281158282048414176200038a576200038a6200027b565b600082620003e057634e487b7160e01b600052601260045260246000fd5b500490565b61184580620003f56000396000f3fe6080604052600436106101235760003560e01c80637d1db4a5116100a0578063a8aa1b3111610064578063a8aa1b3114610320578063a9059cbb14610340578063dcace9ab14610360578063dd62ed3e14610390578063f2fde38b146103d657600080fd5b80637d1db4a51461028f5780638a8c523c146102a55780638da5cb5b146102ba57806395d89b41146102ec5780639e78fb4f1461031857600080fd5b806351bc3c85116100e757806351bc3c85146102025780636c0a24eb1461021957806370a082311461022f578063715018a614610265578063751039fc1461027a57600080fd5b806306fdde031461012f578063095ea7b31461017357806318160ddd146101a357806323b872dd146101c6578063313ce567146101e657600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b50604080518082019091526009815268105d5d1bd41a5b1bdd60ba1b60208201525b60405161016a919061153f565b60405180910390f35b34801561017f57600080fd5b5061019361018e3660046115a2565b6103f6565b604051901515815260200161016a565b3480156101af57600080fd5b506101b861040d565b60405190815260200161016a565b3480156101d257600080fd5b506101936101e13660046115ce565b61047e565b3480156101f257600080fd5b506040516009815260200161016a565b34801561020e57600080fd5b506102176104e8565b005b34801561022557600080fd5b506101b860185481565b34801561023b57600080fd5b506101b861024a36600461160f565b6001600160a01b031660009081526002602052604090205490565b34801561027157600080fd5b50610217610547565b34801561028657600080fd5b5061021761055b565b34801561029b57600080fd5b506101b860175481565b3480156102b157600080fd5b50610217610570565b3480156102c657600080fd5b506000546001600160a01b03165b6040516001600160a01b03909116815260200161016a565b3480156102f857600080fd5b506040805180820190915260038152621053d560ea1b602082015261015d565b61021761058d565b34801561032c57600080fd5b506006546102d4906001600160a01b031681565b34801561034c57600080fd5b5061019361035b3660046115a2565b6107d2565b34801561036c57600080fd5b5061019361037b36600461160f565b60046020526000908152604090205460ff1681565b34801561039c57600080fd5b506101b86103ab36600461162c565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b3480156103e257600080fd5b506102176103f136600461160f565b6107df565b600061040333848461085a565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead60009081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc546001549192610479929091610473919061097e565b9061097e565b905090565b600061048b84848461098a565b6104dd84336104d8856040518060600160405280602881526020016117e8602891396001600160a01b038a1660009081526003602090815260408083203384529091529020549190610e32565b61085a565b5060015b9392505050565b6015546001600160a01b031633146104ff57600080fd5b3060009081526002602052604090205461051890610e5e565b60405133904780156108fc02916000818181858888f19350505050158015610544573d6000803e3d6000fd5b50565b61054f610fb8565b6105596000611012565b565b610563610fb8565b6001546017819055601855565b610578610fb8565b6006805460ff60a01b1916600160a01b179055565b610595610fb8565b600560009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105e8573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061060c9190611665565b6001600160a01b031663c9c6539630600560009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561066e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106929190611665565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156106df573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107039190611665565b600680546001600160a01b0319166001600160a01b03928316179055600554600154610732923092169061085a565b6005546001600160a01b031663f305d7193430610764816001600160a01b031660009081526002602052604090205490565b60008033426040518863ffffffff1660e01b815260040161078a96959493929190611682565b60606040518083038185885af11580156107a8573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906107cd91906116bd565b505050565b600061040333848461098a565b6107e7610fb8565b6001600160a01b0381166108515760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084015b60405180910390fd5b61054481611012565b6001600160a01b0383166108bc5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610848565b6001600160a01b03821661091d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610848565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006104e18284611701565b6001600160a01b0383166109ee5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610848565b6001600160a01b038216610a505760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610848565b6001600160a01b038316600090815260026020526040902054811115610ad25760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b6064820152608401610848565b6001600160a01b03831660009081526004602052604090205460ff16158015610b1457506001600160a01b03821660009081526004602052604090205460ff16155b15610b6057600654600160a01b900460ff16610b605760405162461bcd60e51b815260206004820152600b60248201526a3a3930b234b733a7b832b760a91b6044820152606401610848565b6001600160a01b03831660009081526004602052604090205460ff16158015610ba257506001600160a01b03821660009081526004602052604090205460ff16155b8015610bbc57506006546001600160a01b03838116911614155b8015610bd357506001600160a01b03821661dead14155b15610c4c576018546001600160a01b038316600090815260026020526040902054610bfe9083611062565b1115610c4c5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e00006044820152606401610848565b60175481111580610c7557506001600160a01b03831660009081526004602052604090205460ff165b80610c9857506001600160a01b03821660009081526004602052604090205460ff165b610cd85760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610848565b6006546001600160a01b038381169116148015610d0e57506001600160a01b03831660009081526004602052604090205460ff16155b15610d2c57600160076000828254610d269190611714565b90915550505b610d36838361106e565b15610d4c57610d46600a546110f6565b60006007555b6001600160a01b038316600090815260026020526040902054610d6f908261097e565b6001600160a01b038416600090815260026020526040812091909155610d958484611287565b610d9f5781610daa565b610daa8484846112cd565b6001600160a01b038416600090815260026020526040902054909150610dd09082611062565b6001600160a01b0380851660008181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e249085815260200190565b60405180910390a350505050565b60008184841115610e565760405162461bcd60e51b8152600401610848919061153f565b505050900390565b6040805160028082526060820183526000926020830190803683370190505090503081600081518110610e9357610e93611727565b6001600160a01b03928316602091820292909201810191909152600554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610eec573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f109190611665565b81600181518110610f2357610f23611727565b6001600160a01b039283166020918202929092010152600554610f49913091168461085a565b60055460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f8290859060009086903090429060040161173d565b600060405180830381600087803b158015610f9c57600080fd5b505af1158015610fb0573d6000803e3d6000fd5b505050505050565b6000546001600160a01b031633146105595760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610848565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b60006104e18284611714565b60085460009060ff1615801561108d5750600654600160a81b900460ff165b80156110a25750600654600160a01b900460ff165b80156110c757506001600160a01b03831660009081526004602052604090205460ff16155b80156110e057506006546001600160a01b038381169116145b80156104e1575050600954600754101592915050565b6008805460ff19166001908117909155600e54600d54600c546000936111369360029361113093919261112a928391611062565b90611062565b9061143a565b9050600061115982611153600c548661143a90919063ffffffff16565b90611446565b90506000611167848361097e565b90504761117382610e5e565b600061117f478361097e565b905060006111a261119b600c548861097e90919063ffffffff16565b8390611446565b905060006111bb600c548361143a90919063ffffffff16565b905080156111cd576111cd8682611452565b600d546000906111e29061113085600261143a565b9050801561122e576015546001600160a01b03166108fc6112048360026117ae565b6040518115909202916000818181858888f1935050505015801561122c573d6000803e3d6000fd5b505b478015611271576014546040516001600160a01b039091169082156108fc029083906000818181858888f1935050505015801561126f573d6000803e3d6000fd5b505b50506008805460ff191690555050505050505050565b6001600160a01b03821660009081526004602052604081205460ff161580156104e15750506001600160a01b031660009081526004602052604090205460ff1615919050565b6000806112da85856114f4565b11156114335760006112fd6112ef86866114f4565b601354611130908690611446565b6006549091506001600160a01b03868116911614801561132a57506016546001600160a01b038581169116145b156113535761133d83633b9aca0061143a565b6006805460ff60a81b1916600160a81b17905590505b3060009081526002602052604090205461136d9082611062565b3060009081526002602052604090205561138a6112ef86866114f4565b9050306001600160a01b0316856001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516113d191815260200190565b60405180910390a36000600f541180156113f55750600f546113f386866114f4565b115b15611421576114213061dead61141c600f546111306013548961144690919063ffffffff16565b61098a565b61142b838261097e565b9150506104e1565b5092915050565b60006104e182846117ae565b60006104e182846117c5565b60055461146a9030906001600160a01b03168461085a565b60055460165460405163f305d71960e01b81526001600160a01b039283169263f305d7199285926114aa9230928992600092839216904290600401611682565b60606040518083038185885af11580156114c8573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906114ed91906116bd565b5050505050565b6006546000906001600160a01b03908116908316036115165750601154610407565b6006546001600160a01b03908116908416036115355750601054610407565b5060125492915050565b600060208083528351808285015260005b8181101561156c57858101830151858201604001528201611550565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461054457600080fd5b600080604083850312156115b557600080fd5b82356115c08161158d565b946020939093013593505050565b6000806000606084860312156115e357600080fd5b83356115ee8161158d565b925060208401356115fe8161158d565b929592945050506040919091013590565b60006020828403121561162157600080fd5b81356104e18161158d565b6000806040838503121561163f57600080fd5b823561164a8161158d565b9150602083013561165a8161158d565b809150509250929050565b60006020828403121561167757600080fd5b81516104e18161158d565b6001600160a01b039687168152602081019590955260408501939093526060840191909152909216608082015260a081019190915260c00190565b6000806000606084860312156116d257600080fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b600052601160045260246000fd5b81810381811115610407576104076116eb565b80820180821115610407576104076116eb565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561178d5784516001600160a01b031683529383019391830191600101611768565b50506001600160a01b03969096166060850152505050608001529392505050565b8082028115828204841417610407576104076116eb565b6000826117e257634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220e7d92d6dbf35e8f8d12b234eac8dbff94ed2b00e7ccf263350de63b14fbfc40564736f6c63430008130033

0x6080604052600436106101235760003560e01c80637d1db4a5116100a0578063a8aa1b3111610064578063a8aa1b3114610320578063a9059cbb14610340578063dcace9ab14610360578063dd62ed3e14610390578063f2fde38b146103d657600080fd5b80637d1db4a51461028f5780638a8c523c146102a55780638da5cb5b146102ba57806395d89b41146102ec5780639e78fb4f1461031857600080fd5b806351bc3c85116100e757806351bc3c85146102025780636c0a24eb1461021957806370a082311461022f578063715018a614610265578063751039fc1461027a57600080fd5b806306fdde031461012f578063095ea7b31461017357806318160ddd146101a357806323b872dd146101c6578063313ce567146101e657600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b50604080518082019091526009815268105d5d1bd41a5b1bdd60ba1b60208201525b60405161016a919061153f565b60405180910390f35b34801561017f57600080fd5b5061019361018e3660046115a2565b6103f6565b604051901515815260200161016a565b3480156101af57600080fd5b506101b861040d565b60405190815260200161016a565b3480156101d257600080fd5b506101936101e13660046115ce565b61047e565b3480156101f257600080fd5b506040516009815260200161016a565b34801561020e57600080fd5b506102176104e8565b005b34801561022557600080fd5b506101b860185481565b34801561023b57600080fd5b506101b861024a36600461160f565b6001600160a01b031660009081526002602052604090205490565b34801561027157600080fd5b50610217610547565b34801561028657600080fd5b5061021761055b565b34801561029b57600080fd5b506101b860175481565b3480156102b157600080fd5b50610217610570565b3480156102c657600080fd5b506000546001600160a01b03165b6040516001600160a01b03909116815260200161016a565b3480156102f857600080fd5b506040805180820190915260038152621053d560ea1b602082015261015d565b61021761058d565b34801561032c57600080fd5b506006546102d4906001600160a01b031681565b34801561034c57600080fd5b5061019361035b3660046115a2565b6107d2565b34801561036c57600080fd5b5061019361037b36600461160f565b60046020526000908152604090205460ff1681565b34801561039c57600080fd5b506101b86103ab36600461162c565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b3480156103e257600080fd5b506102176103f136600461160f565b6107df565b600061040333848461085a565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead60009081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc546001549192610479929091610473919061097e565b9061097e565b905090565b600061048b84848461098a565b6104dd84336104d8856040518060600160405280602881526020016117e8602891396001600160a01b038a1660009081526003602090815260408083203384529091529020549190610e32565b61085a565b5060015b9392505050565b6015546001600160a01b031633146104ff57600080fd5b3060009081526002602052604090205461051890610e5e565b60405133904780156108fc02916000818181858888f19350505050158015610544573d6000803e3d6000fd5b50565b61054f610fb8565b6105596000611012565b565b610563610fb8565b6001546017819055601855565b610578610fb8565b6006805460ff60a01b1916600160a01b179055565b610595610fb8565b600560009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105e8573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061060c9190611665565b6001600160a01b031663c9c6539630600560009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561066e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106929190611665565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156106df573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107039190611665565b600680546001600160a01b0319166001600160a01b03928316179055600554600154610732923092169061085a565b6005546001600160a01b031663f305d7193430610764816001600160a01b031660009081526002602052604090205490565b60008033426040518863ffffffff1660e01b815260040161078a96959493929190611682565b60606040518083038185885af11580156107a8573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906107cd91906116bd565b505050565b600061040333848461098a565b6107e7610fb8565b6001600160a01b0381166108515760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084015b60405180910390fd5b61054481611012565b6001600160a01b0383166108bc5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610848565b6001600160a01b03821661091d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610848565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006104e18284611701565b6001600160a01b0383166109ee5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610848565b6001600160a01b038216610a505760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610848565b6001600160a01b038316600090815260026020526040902054811115610ad25760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b6064820152608401610848565b6001600160a01b03831660009081526004602052604090205460ff16158015610b1457506001600160a01b03821660009081526004602052604090205460ff16155b15610b6057600654600160a01b900460ff16610b605760405162461bcd60e51b815260206004820152600b60248201526a3a3930b234b733a7b832b760a91b6044820152606401610848565b6001600160a01b03831660009081526004602052604090205460ff16158015610ba257506001600160a01b03821660009081526004602052604090205460ff16155b8015610bbc57506006546001600160a01b03838116911614155b8015610bd357506001600160a01b03821661dead14155b15610c4c576018546001600160a01b038316600090815260026020526040902054610bfe9083611062565b1115610c4c5760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e00006044820152606401610848565b60175481111580610c7557506001600160a01b03831660009081526004602052604090205460ff165b80610c9857506001600160a01b03821660009081526004602052604090205460ff165b610cd85760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b6044820152606401610848565b6006546001600160a01b038381169116148015610d0e57506001600160a01b03831660009081526004602052604090205460ff16155b15610d2c57600160076000828254610d269190611714565b90915550505b610d36838361106e565b15610d4c57610d46600a546110f6565b60006007555b6001600160a01b038316600090815260026020526040902054610d6f908261097e565b6001600160a01b038416600090815260026020526040812091909155610d958484611287565b610d9f5781610daa565b610daa8484846112cd565b6001600160a01b038416600090815260026020526040902054909150610dd09082611062565b6001600160a01b0380851660008181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e249085815260200190565b60405180910390a350505050565b60008184841115610e565760405162461bcd60e51b8152600401610848919061153f565b505050900390565b6040805160028082526060820183526000926020830190803683370190505090503081600081518110610e9357610e93611727565b6001600160a01b03928316602091820292909201810191909152600554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610eec573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f109190611665565b81600181518110610f2357610f23611727565b6001600160a01b039283166020918202929092010152600554610f49913091168461085a565b60055460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f8290859060009086903090429060040161173d565b600060405180830381600087803b158015610f9c57600080fd5b505af1158015610fb0573d6000803e3d6000fd5b505050505050565b6000546001600160a01b031633146105595760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e65726044820152606401610848565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b60006104e18284611714565b60085460009060ff1615801561108d5750600654600160a81b900460ff165b80156110a25750600654600160a01b900460ff165b80156110c757506001600160a01b03831660009081526004602052604090205460ff16155b80156110e057506006546001600160a01b038381169116145b80156104e1575050600954600754101592915050565b6008805460ff19166001908117909155600e54600d54600c546000936111369360029361113093919261112a928391611062565b90611062565b9061143a565b9050600061115982611153600c548661143a90919063ffffffff16565b90611446565b90506000611167848361097e565b90504761117382610e5e565b600061117f478361097e565b905060006111a261119b600c548861097e90919063ffffffff16565b8390611446565b905060006111bb600c548361143a90919063ffffffff16565b905080156111cd576111cd8682611452565b600d546000906111e29061113085600261143a565b9050801561122e576015546001600160a01b03166108fc6112048360026117ae565b6040518115909202916000818181858888f1935050505015801561122c573d6000803e3d6000fd5b505b478015611271576014546040516001600160a01b039091169082156108fc029083906000818181858888f1935050505015801561126f573d6000803e3d6000fd5b505b50506008805460ff191690555050505050505050565b6001600160a01b03821660009081526004602052604081205460ff161580156104e15750506001600160a01b031660009081526004602052604090205460ff1615919050565b6000806112da85856114f4565b11156114335760006112fd6112ef86866114f4565b601354611130908690611446565b6006549091506001600160a01b03868116911614801561132a57506016546001600160a01b038581169116145b156113535761133d83633b9aca0061143a565b6006805460ff60a81b1916600160a81b17905590505b3060009081526002602052604090205461136d9082611062565b3060009081526002602052604090205561138a6112ef86866114f4565b9050306001600160a01b0316856001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516113d191815260200190565b60405180910390a36000600f541180156113f55750600f546113f386866114f4565b115b15611421576114213061dead61141c600f546111306013548961144690919063ffffffff16565b61098a565b61142b838261097e565b9150506104e1565b5092915050565b60006104e182846117ae565b60006104e182846117c5565b60055461146a9030906001600160a01b03168461085a565b60055460165460405163f305d71960e01b81526001600160a01b039283169263f305d7199285926114aa9230928992600092839216904290600401611682565b60606040518083038185885af11580156114c8573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906114ed91906116bd565b5050505050565b6006546000906001600160a01b03908116908316036115165750601154610407565b6006546001600160a01b03908116908416036115355750601054610407565b5060125492915050565b600060208083528351808285015260005b8181101561156c57858101830151858201604001528201611550565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461054457600080fd5b600080604083850312156115b557600080fd5b82356115c08161158d565b946020939093013593505050565b6000806000606084860312156115e357600080fd5b83356115ee8161158d565b925060208401356115fe8161158d565b929592945050506040919091013590565b60006020828403121561162157600080fd5b81356104e18161158d565b6000806040838503121561163f57600080fd5b823561164a8161158d565b9150602083013561165a8161158d565b809150509250929050565b60006020828403121561167757600080fd5b81516104e18161158d565b6001600160a01b039687168152602081019590955260408501939093526060840191909152909216608082015260a081019190915260c00190565b6000806000606084860312156116d257600080fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b600052601160045260246000fd5b81810381811115610407576104076116eb565b80820180821115610407576104076116eb565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561178d5784516001600160a01b031683529383019391830191600101611768565b50506001600160a01b03969096166060850152505050608001529392505050565b8082028115828204841417610407576104076116eb565b6000826117e257634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220e7d92d6dbf35e8f8d12b234eac8dbff94ed2b00e7ccf263350de63b14fbfc40564736f6c63430008130033

6636:9036:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8770:67;;;;;;;;;;-1:-1:-1;8830:5:0;;;;;;;;;;;;-1:-1:-1;;;8830:5:0;;;;8770:67;;;;;;;:::i;:::-;;;;;;;;9380:133;;;;;;;;;;-1:-1:-1;9380:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;9380:133:0;1023:187:1;9519:132:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;9519:132:0;1215:177:1;15017:309:0;;;;;;;;;;-1:-1:-1;15017:309:0;;;;;:::i;:::-;;:::i;8920:67::-;;;;;;;;;;-1:-1:-1;8920:67:0;;6859:1;2000:36:1;;1988:2;1973:18;8920:67:0;1858:184:1;10467:206:0;;;;;;;;;;;;;:::i;:::-;;8255:64;;;;;;;;;;;;;;;;8993:103;;;;;;;;;;-1:-1:-1;8993:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;9076:18:0;9059:7;9076:18;;;:9;:18;;;;;;;8993:103;5082;;;;;;;;;;;;;:::i;10090:131::-;;;;;;;;;;;;;:::i;8188:60::-;;;;;;;;;;;;;;;;10001:81;;;;;;;;;;;;;:::i;4434:87::-;;;;;;;;;;-1:-1:-1;4480:7:0;4507:6;-1:-1:-1;;;;;4507:6:0;4434:87;;;-1:-1:-1;;;;;2463:32:1;;;2445:51;;2433:2;2418:18;4434:87:0;2299:203:1;8843:71:0;;;;;;;;;;-1:-1:-1;8905:7:0;;;;;;;;;;;;-1:-1:-1;;;8905:7:0;;;;8843:71;;9659:334;;;:::i;7132:19::-;;;;;;;;;;-1:-1:-1;7132:19:0;;;;-1:-1:-1;;;;;7132:19:0;;;9102:139;;;;;;;;;;-1:-1:-1;9102:139:0;;;;;:::i;:::-;;:::i;7059:45::-;;;;;;;;;;-1:-1:-1;7059:45:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;9247:127;;;;;;;;;;-1:-1:-1;9247:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;9345:18:0;;;9328:7;9345:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;9247:127;5340:201;;;;;;;;;;-1:-1:-1;5340:201:0;;;;;:::i;:::-;;:::i;9380:133::-;9455:4;9462:37;9471:10;9483:7;9492:6;9462:8;:37::i;:::-;-1:-1:-1;9507:4:0;9380:133;;;;;:::o;9519:132::-;9076:9;:18;;;;7875:42;9572:7;9076:18;;;;;9589:12;;9572:7;;9589:60;;9076:18;;9589:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;9582:67;;9519:132;:::o;15017:309::-;15115:4;15132:36;15142:6;15150:9;15161:6;15132:9;:36::i;:::-;15179:117;15188:6;15196:10;15208:87;15244:6;15208:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;15208:19:0;;;;;;:11;:19;;;;;;;;15228:10;15208:31;;;;;;;;;:87;:35;:87::i;:::-;15179:8;:117::i;:::-;-1:-1:-1;15314:4:0;15017:309;;;;;;:::o;10467:206::-;10531:18;;-1:-1:-1;;;;;10531:18:0;10517:10;:32;10509:41;;;;;;10596:4;9059:7;9076:18;;;:9;:18;;;;;;10561:42;;:16;:42::i;:::-;10614:51;;10622:10;;10643:21;10614:51;;;;;;;;;10643:21;10622:10;10614:51;;;;;;;;;;;;;;;;;;;;;10467:206::o;5082:103::-;4320:13;:11;:13::i;:::-;5147:30:::1;5174:1;5147:18;:30::i;:::-;5082:103::o:0;10090:131::-;4320:13;:11;:13::i;:::-;10159:12:::1;::::0;10144::::1;:27:::0;;;10182:16:::1;:31:::0;10090:131::o;10001:81::-;4320:13;:11;:13::i;:::-;10056:11:::1;:18:::0;;-1:-1:-1;;;;10056:18:0::1;-1:-1:-1::0;;;10056:18:0::1;::::0;;10001:81::o;9659:334::-;4320:13;:11;:13::i;:::-;9735:6:::1;;;;;;;;;-1:-1:-1::0;;;;;9735:6:0::1;-1:-1:-1::0;;;;;9735:14:0::1;;:16;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9726:37:0::1;;9772:4;9779:6;;;;;;;;;-1:-1:-1::0;;;;;9779:6:0::1;-1:-1:-1::0;;;;;9779:11:0::1;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9726:67;::::0;-1:-1:-1;;;;;;9726:67:0::1;::::0;;;;;;-1:-1:-1;;;;;3386:15:1;;;9726:67:0::1;::::0;::::1;3368:34:1::0;3438:15;;3418:18;;;3411:43;3303:18;;9726:67:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9719:4;:74:::0;;-1:-1:-1;;;;;;9719:74:0::1;-1:-1:-1::0;;;;;9719:74:0;;::::1;;::::0;;9836:6:::1;::::0;-1:-1:-1;9845:12:0;9804:54:::1;::::0;9821:4:::1;::::0;9836:6:::1;::::0;9804:8:::1;:54::i;:::-;9869:6;::::0;-1:-1:-1;;;;;9869:6:0::1;:22;9899:9;9918:4;9925:24;9918:4:::0;-1:-1:-1;;;;;9076:18:0;9059:7;9076:18;;;:9;:18;;;;;;;8993:103;9925:24:::1;9951:1;9954::::0;9957:10:::1;9969:15;9869:116;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;9659:334::o:0;9102:139::-;9180:4;9187:40;9197:10;9209:9;9220:6;9187:9;:40::i;5340:201::-;4320:13;:11;:13::i;:::-;-1:-1:-1;;;;;5429:22:0;::::1;5421:73;;;::::0;-1:-1:-1;;;5421:73:0;;4590:2:1;5421:73:0::1;::::0;::::1;4572:21:1::0;4629:2;4609:18;;;4602:30;4668:34;4648:18;;;4641:62;-1:-1:-1;;;4719:18:1;;;4712:36;4765:19;;5421:73:0::1;;;;;;;;;5505:28;5524:8;5505:18;:28::i;15334:335::-:0;-1:-1:-1;;;;;15427:19:0;;15419:68;;;;-1:-1:-1;;;15419:68:0;;4997:2:1;15419:68:0;;;4979:21:1;5036:2;5016:18;;;5009:30;5075:34;5055:18;;;5048:62;-1:-1:-1;;;5126:18:1;;;5119:34;5170:19;;15419:68:0;4795:400:1;15419:68:0;-1:-1:-1;;;;;15506:21:0;;15498:68;;;;-1:-1:-1;;;15498:68:0;;5402:2:1;15498:68:0;;;5384:21:1;5441:2;5421:18;;;5414:30;5480:34;5460:18;;;5453:62;-1:-1:-1;;;5531:18:1;;;5524:32;5573:19;;15498:68:0;5200:398:1;15498:68:0;-1:-1:-1;;;;;15577:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;15629:32;;1361:25:1;;;15629:32:0;;1334:18:1;15629:32:0;;;;;;;15334:335;;;:::o;1843:98::-;1901:7;1928:5;1932:1;1928;:5;:::i;13716:1293::-;-1:-1:-1;;;;;13813:20:0;;13805:70;;;;-1:-1:-1;;;13805:70:0;;6070:2:1;13805:70:0;;;6052:21:1;6109:2;6089:18;;;6082:30;6148:34;6128:18;;;6121:62;-1:-1:-1;;;6199:18:1;;;6192:35;6244:19;;13805:70:0;5868:401:1;13805:70:0;-1:-1:-1;;;;;13894:23:0;;13886:71;;;;-1:-1:-1;;;13886:71:0;;6476:2:1;13886:71:0;;;6458:21:1;6515:2;6495:18;;;6488:30;6554:34;6534:18;;;6527:62;-1:-1:-1;;;6605:18:1;;;6598:33;6648:19;;13886:71:0;6274:399:1;13886:71:0;-1:-1:-1;;;;;9076:18:0;;9059:7;9076:18;;;:9;:18;;;;;;13976:6;:27;;13968:88;;;;-1:-1:-1;;;13968:88:0;;6880:2:1;13968:88:0;;;6862:21:1;6919:2;6899:18;;;6892:30;6958:34;6938:18;;;6931:62;-1:-1:-1;;;7009:18:1;;;7002:47;7066:19;;13968:88:0;6678:413:1;13968:88:0;-1:-1:-1;;;;;14071:20:0;;;;;;:12;:20;;;;;;;;14070:21;:49;;;;-1:-1:-1;;;;;;14096:23:0;;;;;;:12;:23;;;;;;;;14095:24;14070:49;14067:91;;;14129:11;;-1:-1:-1;;;14129:11:0;;;;14121:35;;;;-1:-1:-1;;;14121:35:0;;7298:2:1;14121:35:0;;;7280:21:1;7337:2;7317:18;;;7310:30;-1:-1:-1;;;7356:18:1;;;7349:41;7407:18;;14121:35:0;7096:335:1;14121:35:0;-1:-1:-1;;;;;14172:20:0;;;;;;:12;:20;;;;;;;;14171:21;:49;;;;-1:-1:-1;;;;;;14197:23:0;;;;;;:12;:23;;;;;;;;14196:24;14171:49;:79;;;;-1:-1:-1;14245:4:0;;-1:-1:-1;;;;;14224:26:0;;;14245:4;;14224:26;;14171:79;:109;;;;-1:-1:-1;;;;;;14254:26:0;;7875:42;14254:26;;14171:109;14168:223;;;14338:16;;-1:-1:-1;;;;;14301:20:0;;;;;;:9;:20;;;;;;:32;;14326:6;14301:24;:32::i;:::-;14300:54;;14292:97;;;;-1:-1:-1;;;14292:97:0;;7638:2:1;14292:97:0;;;7620:21:1;7677:2;7657:18;;;7650:30;7716:32;7696:18;;;7689:60;7766:18;;14292:97:0;7436:354:1;14292:97:0;14419:12;;14409:6;:22;;:46;;;-1:-1:-1;;;;;;14435:20:0;;;;;;:12;:20;;;;;;;;14409:46;:73;;;-1:-1:-1;;;;;;14459:23:0;;;;;;:12;:23;;;;;;;;14409:73;14401:103;;;;-1:-1:-1;;;14401:103:0;;7997:2:1;14401:103:0;;;7979:21:1;8036:2;8016:18;;;8009:30;-1:-1:-1;;;8055:18:1;;;8048:47;8112:18;;14401:103:0;7795:341:1;14401:103:0;14532:4;;-1:-1:-1;;;;;14519:17:0;;;14532:4;;14519:17;:42;;;;-1:-1:-1;;;;;;14541:20:0;;;;;;:12;:20;;;;;;;;14540:21;14519:42;14516:72;;;14584:1;14563:9;;:23;;;;;;;:::i;:::-;;;;-1:-1:-1;;14516:72:0;14601:37;14620:6;14628:9;14601:18;:37::i;:::-;14598:97;;;14640:29;14655:13;;14640:14;:29::i;:::-;14691:1;14671:9;:22;14598:97;-1:-1:-1;;;;;14725:17:0;;;;;;:9;:17;;;;;;:29;;14747:6;14725:21;:29::i;:::-;-1:-1:-1;;;;;14705:17:0;;;;;;:9;:17;;;;;:49;;;;14790:32;14715:6;14812:9;14790:13;:32::i;:::-;:78;;14862:6;14790:78;;;14825:34;14833:6;14841:9;14852:6;14825:7;:34::i;:::-;-1:-1:-1;;;;;14902:20:0;;;;;;:9;:20;;;;;;14765:103;;-1:-1:-1;14902:40:0;;14765:103;14902:24;:40::i;:::-;-1:-1:-1;;;;;14879:20:0;;;;;;;:9;:20;;;;;;;:63;;;;14958:43;;;;;;;;;;14986:14;1361:25:1;;1349:2;1334:18;;1215:177;14958:43:0;;;;;;;;13794:1215;13716:1293;;;:::o;2267:240::-;2387:7;2448:12;2440:6;;;;2432:29;;;;-1:-1:-1;;;2432:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;2483:5:0;;;2267:240::o;12105:434::-;12195:16;;;12209:1;12195:16;;;;;;;;12171:21;;12195:16;;;;;;;;;;-1:-1:-1;12195:16:0;12171:40;;12240:4;12222;12227:1;12222:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;12222:23:0;;;:7;;;;;;;;;;:23;;;;12266:6;;:13;;;-1:-1:-1;;;12266:13:0;;;;:6;;;;;:11;;:13;;;;;12222:7;;12266:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12256:4;12261:1;12256:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;12256:23:0;;;:7;;;;;;;;;:23;12322:6;;12290:53;;12307:4;;12322:6;12331:11;12290:8;:53::i;:::-;12354:6;;:177;;-1:-1:-1;;;12354:177:0;;-1:-1:-1;;;;;12354:6:0;;;;:57;;:177;;12426:11;;12354:6;;12468:4;;12495;;12515:15;;12354:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12160:379;12105:434;:::o;4599:132::-;4480:7;4507:6;-1:-1:-1;;;;;4507:6:0;461:10;4663:23;4655:68;;;;-1:-1:-1;;;4655:68:0;;9722:2:1;4655:68:0;;;9704:21:1;;;9741:18;;;9734:30;9800:34;9780:18;;;9773:62;9852:18;;4655:68:0;9520:356:1;5701:191:0;5775:16;5794:6;;-1:-1:-1;;;;;5811:17:0;;;-1:-1:-1;;;;;;5811:17:0;;;;;;5844:40;;5794:6;;;;;;;5844:40;;5775:16;5844:40;5764:128;5701:191;:::o;1737:98::-;1795:7;1822:5;1826:1;1822;:5;:::i;10229:230::-;10340:8;;10315:4;;10340:8;;10339:9;:24;;;;-1:-1:-1;10352:11:0;;-1:-1:-1;;;10352:11:0;;;;10339:24;:39;;;;-1:-1:-1;10367:11:0;;-1:-1:-1;;;10367:11:0;;;;10339:39;:64;;;;-1:-1:-1;;;;;;10383:20:0;;;;;;:12;:20;;;;;;;;10382:21;10339:64;:85;;;;-1:-1:-1;10420:4:0;;-1:-1:-1;;;;;10407:17:0;;;10420:4;;10407:17;10339:85;:112;;;;-1:-1:-1;;10441:10:0;;10428:9;;:23;;;10229:230;-1:-1:-1;;10229:230:0:o;10681:1065::-;7488:8;:15;;-1:-1:-1;;7488:15:0;7499:4;7488:15;;;;;;10818:14:::1;::::0;10800:12:::1;::::0;10776::::1;::::0;7488:8;;10775:66:::1;::::0;10839:1:::1;::::0;10776:57:::1;::::0;10818:14;;10776:37:::1;::::0;;;:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;:57::-;10775:63:::0;::::1;:66::i;:::-;10752:89;;10852:32;10887:42;10916:12;10887:24;10898:12;;10887:6;:10;;:24;;;;:::i;:::-;:28:::0;::::1;:42::i;:::-;10852:77:::0;-1:-1:-1;10940:14:0::1;10957:36;:6:::0;10852:77;10957:10:::1;:36::i;:::-;10940:53:::0;-1:-1:-1;11029:21:0::1;11061:24;10940:53:::0;11061:16:::1;:24::i;:::-;11096:20;11119:41;:21;11145:14:::0;11119:25:::1;:41::i;:::-;11096:64;;11171:19;11192:48;11209:30;11226:12;;11209;:16;;:30;;;;:::i;:::-;11192:12:::0;;:16:::1;:48::i;:::-;11171:69;;11251:29;11283;11299:12;;11283:11;:15;;:29;;;;:::i;:::-;11251:61:::0;-1:-1:-1;11326:34:0;;11323:103:::1;;11362:61;11375:24;11401:21;11362:12;:61::i;:::-;11482:12;::::0;11436:20:::1;::::0;11459:36:::1;::::0;:18:::1;:11:::0;11475:1:::1;11459:15;:18::i;:36::-;11436:59:::0;-1:-1:-1;11509:16:0;;11506:75:::1;;11535:18;::::0;-1:-1:-1;;;;;11535:18:0::1;11527:52;11564:14;:12:::0;11577:1:::1;11564:14;:::i;:::-;11527:52;::::0;;::::1;::::0;;::::1;::::0;::::1;::::0;;;;;;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;11506:75;11617:21;11652:28:::0;;11649:90:::1;;11690:20;::::0;11682:55:::1;::::0;-1:-1:-1;;;;;11690:20:0;;::::1;::::0;11682:55;::::1;;;::::0;11721:15;;11690:20:::1;11682:55:::0;11690:20;11682:55;11721:15;11690:20;11682:55;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;11649:90;-1:-1:-1::0;;7508:8:0;:16;;-1:-1:-1;;7508:16:0;;;-1:-1:-1;;;;;;;;10681:1065:0:o;12547:162::-;-1:-1:-1;;;;;12653:20:0;;12628:4;12653:20;;;:12;:20;;;;;;;;12652:21;:49;;;;-1:-1:-1;;;;;;;12678:23:0;;;;;:12;:23;;;;;;;;12677:24;;12547:162;-1:-1:-1;12547:162:0:o;12942:766::-;13028:7;13082:1;13051:28;13061:6;13069:9;13051;:28::i;:::-;:32;13048:638;;;13095:17;13115:57;13143:28;13153:6;13161:9;13143;:28::i;:::-;13126:11;;13115:23;;:6;;:10;:23::i;:57::-;13194:4;;13095:77;;-1:-1:-1;;;;;;13186:12:0;;;13194:4;;13186:12;:43;;;;-1:-1:-1;13211:18:0;;-1:-1:-1;;;;;13200:29:0;;;13211:18;;13200:29;13186:43;13183:92;;;13241:15;:6;13252:3;13241:10;:15::i;:::-;13257:11;:16;;-1:-1:-1;;;;13257:16:0;-1:-1:-1;;;13257:16:0;;;13231:25;-1:-1:-1;13183:92:0;13330:4;13312:24;;;;:9;:24;;;;;;:39;;13341:9;13312:28;:39::i;:::-;13303:4;13285:24;;;;:9;:24;;;;;:66;13374:57;13402:28;13412:6;13420:9;13402;:28::i;13374:57::-;13362:69;;13472:4;-1:-1:-1;;;;;13447:42:0;13456:6;-1:-1:-1;;;;;13447:42:0;;13479:9;13447:42;;;;1361:25:1;;1349:2;1334:18;;1215:177;13447:42:0;;;;;;;;13521:1;13503:7;;:20;:62;;;;;13558:7;;13527:28;13537:6;13545:9;13527;:28::i;:::-;:38;13503:62;13500:146;;;13567:77;13585:4;7875:42;13607:36;13635:7;;13607:23;13618:11;;13607:6;:10;;:23;;;;:::i;:36::-;13567:9;:77::i;:::-;13663:21;:6;13674:9;13663:10;:21::i;:::-;13656:28;;;;;13048:638;-1:-1:-1;13694:6:0;12942:766;-1:-1:-1;;12942:766:0:o;1949:98::-;2007:7;2034:5;2038:1;2034;:5;:::i;2055:98::-;2113:7;2140:5;2144:1;2140;:5;:::i;11754:343::-;11867:6;;11835:53;;11852:4;;-1:-1:-1;;;;;11867:6:0;11876:11;11835:8;:53::i;:::-;11899:6;;12040:18;;11899:190;;-1:-1:-1;;;11899:190:0;;-1:-1:-1;;;;;11899:6:0;;;;:22;;11929:9;;11899:190;;11962:4;;11982:11;;11899:6;;;;12040:18;;12073:15;;11899:190;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;11754:343;;:::o;12717:217::-;12830:4;;12794:7;;-1:-1:-1;;;;;12830:4:0;;;12817:17;;;;12814:38;;-1:-1:-1;12843:7:0;;12836:14;;12814:38;12875:4;;-1:-1:-1;;;;;12875:4:0;;;12865:14;;;;12862:36;;-1:-1:-1;12888:8:0;;12881:15;;12862:36;-1:-1:-1;12915:11:0;;12717:217;;;;:::o;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;703:315;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:251::-;2970:6;3023:2;3011:9;3002:7;2998:23;2994:32;2991:52;;;3039:1;3036;3029:12;2991:52;3071:9;3065:16;3090:31;3115:5;3090:31;:::i;3465:607::-;-1:-1:-1;;;;;3824:15:1;;;3806:34;;3871:2;3856:18;;3849:34;;;;3914:2;3899:18;;3892:34;;;;3957:2;3942:18;;3935:34;;;;4006:15;;;4000:3;3985:19;;3978:44;3786:3;4038:19;;4031:35;;;;3755:3;3740:19;;3465:607::o;4077:306::-;4165:6;4173;4181;4234:2;4222:9;4213:7;4209:23;4205:32;4202:52;;;4250:1;4247;4240:12;4202:52;4279:9;4273:16;4263:26;;4329:2;4318:9;4314:18;4308:25;4298:35;;4373:2;4362:9;4358:18;4352:25;4342:35;;4077:306;;;;;:::o;5603:127::-;5664:10;5659:3;5655:20;5652:1;5645:31;5695:4;5692:1;5685:15;5719:4;5716:1;5709:15;5735:128;5802:9;;;5823:11;;;5820:37;;;5837:18;;:::i;8141:125::-;8206:9;;;8227:10;;;8224:36;;;8240:18;;:::i;8403:127::-;8464:10;8459:3;8455:20;8452:1;8445:31;8495:4;8492:1;8485:15;8519:4;8516:1;8509:15;8535:980;8797:4;8845:3;8834:9;8830:19;8876:6;8865:9;8858:25;8902:2;8940:6;8935:2;8924:9;8920:18;8913:34;8983:3;8978:2;8967:9;8963:18;8956:31;9007:6;9042;9036:13;9073:6;9065;9058:22;9111:3;9100:9;9096:19;9089:26;;9150:2;9142:6;9138:15;9124:29;;9171:1;9181:195;9195:6;9192:1;9189:13;9181:195;;;9260:13;;-1:-1:-1;;;;;9256:39:1;9244:52;;9351:15;;;;9316:12;;;;9292:1;9210:9;9181:195;;;-1:-1:-1;;;;;;;9432:32:1;;;;9427:2;9412:18;;9405:60;-1:-1:-1;;;9496:3:1;9481:19;9474:35;9393:3;8535:980;-1:-1:-1;;;8535:980:1:o;9881:168::-;9954:9;;;9985;;10002:15;;;9996:22;;9982:37;9972:71;;10023:18;;:::i;10054:217::-;10094:1;10120;10110:132;;10164:10;10159:3;10155:20;10152:1;10145:31;10199:4;10196:1;10189:15;10227:4;10224:1;10217:15;10110:132;-1:-1:-1;10256:9:1;;10054:217::o

ipfs://e7d92d6dbf35e8f8d12b234eac8dbff94ed2b00e7ccf263350de63b14fbfc405