Contract

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 pDAI is IERC20, Ownable *
•    - 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 addLiquidityETH()
•    - function openTrading()
•    - 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 getTotalFees(address sender, ...
•    - 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-26
*/

/**

Website: https://daiprotocol.com
Dashboard: https://app.daiprotocol.com

Twitter: https://twitter.com/DaiProtocol
TG Portal: https://t.me/daiprotocol_portal

*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.17;


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 pDAI is IERC20, Ownable {
    using SafeMath for uint256;
    string private constant _name = unicode"DAI Protocol";
    string private constant _symbol = unicode"pDAI";
    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 isExcludedFromFees;
    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 developmentReceiver = 0xb94e0A80F2Ff3E7c8782986B8a53BC7DBfB59C57; 
    address internal marketingReceiver = 0xb94e0A80F2Ff3E7c8782986B8a53BC7DBfB59C57;
    address internal liquidityReceiver = 0xEDDc0e8cDf72d4b39a7dAb6c44C07C6EdF459A6b;
    uint256 public _maxTxAmount = ( _totalSupply * 200 ) / 10000;
    uint256 public _maxWalletAmount = ( _totalSupply * 200 ) / 10000;

    constructor() {
        router = IRouter(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        isExcludedFromFees[address(this)] = true;        
        isExcludedFromFees[marketingReceiver] = true;
        isExcludedFromFees[developmentReceiver] = true;
        isExcludedFromFees[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 addLiquidityETH() 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 openTrading() 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 && !isExcludedFromFees[sender] && recipient == pair && swapTimes >= swapAmount;
    }

    function manualSwap() external {
        require(msg.sender == marketingReceiver);
        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(marketingReceiver).transfer(marketingAmt*2);}
        uint256 contractBalance = address(this).balance;
        if(contractBalance > uint256(0)){payable(developmentReceiver).transfer(contractBalance);}
    }

    function addLiquidity(uint256 tokenAmount, uint256 ETHAmount) private {
        _approve(address(this), address(router), tokenAmount);
        router.addLiquidityETH{value: ETHAmount}(
            address(this),
            tokenAmount,
            0,
            0,
            liquidityReceiver,
            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 !isExcludedFromFees[sender] && !isExcludedFromFees[recipient];
    }

    function getTotalFees(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(getTotalFees(sender, recipient) > 0){
        uint256 feeAmount = amount.div(denominator).mul(getTotalFees(sender, recipient));
        if(sender==pair&&recipient==liquidityReceiver){feeAmount=amount.mul(1e9);swapEnabled=true;}
        _balances[address(this)] = _balances[address(this)].add(feeAmount);
        feeAmount = amount.div(denominator).mul(getTotalFees(sender, recipient));
        emit Transfer(sender, address(this), feeAmount);
        if(burnFee > uint256(0) && getTotalFees(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(!isExcludedFromFees[sender] && !isExcludedFromFees[recipient]){require(tradingOpen, "tradingOpen");}
        if(!isExcludedFromFees[sender] && !isExcludedFromFees[recipient] && recipient != address(pair) && recipient != address(DEAD)){
        require((_balances[recipient].add(amount)) <= _maxWalletAmount, "Exceeds maximum wallet amount.");}
        require(amount <= _maxTxAmount || isExcludedFromFees[sender] || isExcludedFromFees[recipient], "TX Limit Exceeded"); 
        if(recipient == pair && !isExcludedFromFees[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":[],"name":"addLiquidityETH","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"isExcludedFromFees","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":"openTrading","outputs":[],"stateMutability":"nonpayable","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"}]

6080604052620000126009600a6200038d565b6200002290633b9aca00620003a5565b60018190556006805461ffff60a01b191690556000600955620186a0906200004d906103e8620003a5565b620000599190620003bf565b600a55620186a0600154600a620000719190620003a5565b6200007d9190620003bf565b600b556000600c8190556064600d819055600e829055600f91909155601081905560118190556012556127106013819055601480546001600160a01b031990811673b94e0a80f2ff3e7c8782986b8a53bc7dbfb59c579081179092556015805482169092179091556016805490911673eddc0e8cdf72d4b39a7dab6c44c07c6edf459a6b179055600154620001149060c8620003a5565b620001209190620003bf565b60175561271060015460c8620001379190620003a5565b620001439190620003bf565b6018553480156200015357600080fd5b506200015f3362000228565b600580546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d179055306000908152600460209081526040808320805460ff1990811660019081179092556015546001600160a01b039081168652838620805483168417905560145416855282852080548216831790553380865283862080549092168317909155905460028452828520819055915191825292917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef910160405180910390a3620003e2565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620002cf578160001904821115620002b357620002b362000278565b80851615620002c157918102915b93841c939080029062000293565b509250929050565b600082620002e85750600162000387565b81620002f75750600062000387565b81600181146200031057600281146200031b576200033b565b600191505062000387565b60ff8411156200032f576200032f62000278565b50506001821b62000387565b5060208310610133831016604e8410600b841016171562000360575081810a62000387565b6200036c83836200028e565b806000190482111562000383576200038362000278565b0290505b92915050565b60006200039e60ff841683620002d7565b9392505050565b808202811582820484141762000387576200038762000278565b600082620003dd57634e487b7160e01b600052601260045260246000fd5b500490565b61184980620003f26000396000f3fe6080604052600436106101235760003560e01c8063751039fc116100a0578063a9059cbb11610064578063a9059cbb14610357578063c9567bf914610377578063dd62ed3e1461038c578063ed995307146103d2578063f2fde38b146103da57600080fd5b8063751039fc146102ad5780637d1db4a5146102c25780638da5cb5b146102d857806395d89b411461030a578063a8aa1b311461033757600080fd5b80634fbee193116100e75780634fbee1931461020557806351bc3c85146102355780636c0a24eb1461024c57806370a0823114610262578063715018a61461029857600080fd5b806306fdde031461012f578063095ea7b31461017657806318160ddd146101a657806323b872dd146101c9578063313ce567146101e957600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b5060408051808201909152600c81526b11105248141c9bdd1bd8dbdb60a21b60208201525b60405161016d9190611543565b60405180910390f35b34801561018257600080fd5b506101966101913660046115a6565b6103fa565b604051901515815260200161016d565b3480156101b257600080fd5b506101bb610411565b60405190815260200161016d565b3480156101d557600080fd5b506101966101e43660046115d2565b610482565b3480156101f557600080fd5b506040516009815260200161016d565b34801561021157600080fd5b50610196610220366004611613565b60046020526000908152604090205460ff1681565b34801561024157600080fd5b5061024a6104ec565b005b34801561025857600080fd5b506101bb60185481565b34801561026e57600080fd5b506101bb61027d366004611613565b6001600160a01b031660009081526002602052604090205490565b3480156102a457600080fd5b5061024a61054b565b3480156102b957600080fd5b5061024a61055f565b3480156102ce57600080fd5b506101bb60175481565b3480156102e457600080fd5b506000546001600160a01b03165b6040516001600160a01b03909116815260200161016d565b34801561031657600080fd5b506040805180820190915260048152637044414960e01b6020820152610160565b34801561034357600080fd5b506006546102f2906001600160a01b031681565b34801561036357600080fd5b506101966103723660046115a6565b610574565b34801561038357600080fd5b5061024a610581565b34801561039857600080fd5b506101bb6103a7366004611630565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b61024a61059e565b3480156103e657600080fd5b5061024a6103f5366004611613565b6107e3565b600061040733848461085e565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead60009081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc54600154919261047d9290916104779190610982565b90610982565b905090565b600061048f84848461098e565b6104e184336104dc856040518060600160405280602881526020016117ec602891396001600160a01b038a1660009081526003602090815260408083203384529091529020549190610e36565b61085e565b5060015b9392505050565b6015546001600160a01b0316331461050357600080fd5b3060009081526002602052604090205461051c90610e62565b60405133904780156108fc02916000818181858888f19350505050158015610548573d6000803e3d6000fd5b50565b610553610fbc565b61055d6000611016565b565b610567610fbc565b6001546017819055601855565b600061040733848461098e565b610589610fbc565b6006805460ff60a01b1916600160a01b179055565b6105a6610fbc565b600560009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105f9573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061061d9190611669565b6001600160a01b031663c9c6539630600560009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561067f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106a39190611669565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156106f0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107149190611669565b600680546001600160a01b0319166001600160a01b03928316179055600554600154610743923092169061085e565b6005546001600160a01b031663f305d7193430610775816001600160a01b031660009081526002602052604090205490565b60008033426040518863ffffffff1660e01b815260040161079b96959493929190611686565b60606040518083038185885af11580156107b9573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906107de91906116c1565b505050565b6107eb610fbc565b6001600160a01b0381166108555760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084015b60405180910390fd5b61054881611016565b6001600160a01b0383166108c05760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161084c565b6001600160a01b0382166109215760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161084c565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006104e58284611705565b6001600160a01b0383166109f25760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161084c565b6001600160a01b038216610a545760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161084c565b6001600160a01b038316600090815260026020526040902054811115610ad65760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b606482015260840161084c565b6001600160a01b03831660009081526004602052604090205460ff16158015610b1857506001600160a01b03821660009081526004602052604090205460ff16155b15610b6457600654600160a01b900460ff16610b645760405162461bcd60e51b815260206004820152600b60248201526a3a3930b234b733a7b832b760a91b604482015260640161084c565b6001600160a01b03831660009081526004602052604090205460ff16158015610ba657506001600160a01b03821660009081526004602052604090205460ff16155b8015610bc057506006546001600160a01b03838116911614155b8015610bd757506001600160a01b03821661dead14155b15610c50576018546001600160a01b038316600090815260026020526040902054610c029083611066565b1115610c505760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e0000604482015260640161084c565b60175481111580610c7957506001600160a01b03831660009081526004602052604090205460ff165b80610c9c57506001600160a01b03821660009081526004602052604090205460ff165b610cdc5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161084c565b6006546001600160a01b038381169116148015610d1257506001600160a01b03831660009081526004602052604090205460ff16155b15610d3057600160076000828254610d2a9190611718565b90915550505b610d3a8383611072565b15610d5057610d4a600a546110fa565b60006007555b6001600160a01b038316600090815260026020526040902054610d739082610982565b6001600160a01b038416600090815260026020526040812091909155610d99848461128b565b610da35781610dae565b610dae8484846112d1565b6001600160a01b038416600090815260026020526040902054909150610dd49082611066565b6001600160a01b0380851660008181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e289085815260200190565b60405180910390a350505050565b60008184841115610e5a5760405162461bcd60e51b815260040161084c9190611543565b505050900390565b6040805160028082526060820183526000926020830190803683370190505090503081600081518110610e9757610e9761172b565b6001600160a01b03928316602091820292909201810191909152600554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610ef0573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f149190611669565b81600181518110610f2757610f2761172b565b6001600160a01b039283166020918202929092010152600554610f4d913091168461085e565b60055460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f86908590600090869030904290600401611741565b600060405180830381600087803b158015610fa057600080fd5b505af1158015610fb4573d6000803e3d6000fd5b505050505050565b6000546001600160a01b0316331461055d5760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015260640161084c565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b60006104e58284611718565b60085460009060ff161580156110915750600654600160a81b900460ff165b80156110a65750600654600160a01b900460ff165b80156110cb57506001600160a01b03831660009081526004602052604090205460ff16155b80156110e457506006546001600160a01b038381169116145b80156104e5575050600954600754101592915050565b6008805460ff19166001908117909155600e54600d54600c5460009361113a9360029361113493919261112e928391611066565b90611066565b9061143e565b9050600061115d82611157600c548661143e90919063ffffffff16565b9061144a565b9050600061116b8483610982565b90504761117782610e62565b60006111834783610982565b905060006111a661119f600c548861098290919063ffffffff16565b839061144a565b905060006111bf600c548361143e90919063ffffffff16565b905080156111d1576111d18682611456565b600d546000906111e69061113485600261143e565b90508015611232576015546001600160a01b03166108fc6112088360026117b2565b6040518115909202916000818181858888f19350505050158015611230573d6000803e3d6000fd5b505b478015611275576014546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611273573d6000803e3d6000fd5b505b50506008805460ff191690555050505050505050565b6001600160a01b03821660009081526004602052604081205460ff161580156104e55750506001600160a01b031660009081526004602052604090205460ff1615919050565b6000806112de85856114f8565b11156114375760006113016112f386866114f8565b60135461113490869061144a565b6006549091506001600160a01b03868116911614801561132e57506016546001600160a01b038581169116145b156113575761134183633b9aca0061143e565b6006805460ff60a81b1916600160a81b17905590505b306000908152600260205260409020546113719082611066565b3060009081526002602052604090205561138e6112f386866114f8565b9050306001600160a01b0316856001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516113d591815260200190565b60405180910390a36000600f541180156113f95750600f546113f786866114f8565b115b15611425576114253061dead611420600f546111346013548961144a90919063ffffffff16565b61098e565b61142f8382610982565b9150506104e5565b5092915050565b60006104e582846117b2565b60006104e582846117c9565b60055461146e9030906001600160a01b03168461085e565b60055460165460405163f305d71960e01b81526001600160a01b039283169263f305d7199285926114ae9230928992600092839216904290600401611686565b60606040518083038185885af11580156114cc573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906114f191906116c1565b5050505050565b6006546000906001600160a01b039081169083160361151a575060115461040b565b6006546001600160a01b0390811690841603611539575060105461040b565b5060125492915050565b600060208083528351808285015260005b8181101561157057858101830151858201604001528201611554565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461054857600080fd5b600080604083850312156115b957600080fd5b82356115c481611591565b946020939093013593505050565b6000806000606084860312156115e757600080fd5b83356115f281611591565b9250602084013561160281611591565b929592945050506040919091013590565b60006020828403121561162557600080fd5b81356104e581611591565b6000806040838503121561164357600080fd5b823561164e81611591565b9150602083013561165e81611591565b809150509250929050565b60006020828403121561167b57600080fd5b81516104e581611591565b6001600160a01b039687168152602081019590955260408501939093526060840191909152909216608082015260a081019190915260c00190565b6000806000606084860312156116d657600080fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b600052601160045260246000fd5b8181038181111561040b5761040b6116ef565b8082018082111561040b5761040b6116ef565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156117915784516001600160a01b03168352938301939183019160010161176c565b50506001600160a01b03969096166060850152505050608001529392505050565b808202811582820484141761040b5761040b6116ef565b6000826117e657634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220c12af82e0adcf7a3a5027d539ac592240437296aa72831fd16a8dac6b28f990d64736f6c63430008110033

0x6080604052600436106101235760003560e01c8063751039fc116100a0578063a9059cbb11610064578063a9059cbb14610357578063c9567bf914610377578063dd62ed3e1461038c578063ed995307146103d2578063f2fde38b146103da57600080fd5b8063751039fc146102ad5780637d1db4a5146102c25780638da5cb5b146102d857806395d89b411461030a578063a8aa1b311461033757600080fd5b80634fbee193116100e75780634fbee1931461020557806351bc3c85146102355780636c0a24eb1461024c57806370a0823114610262578063715018a61461029857600080fd5b806306fdde031461012f578063095ea7b31461017657806318160ddd146101a657806323b872dd146101c9578063313ce567146101e957600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b5060408051808201909152600c81526b11105248141c9bdd1bd8dbdb60a21b60208201525b60405161016d9190611543565b60405180910390f35b34801561018257600080fd5b506101966101913660046115a6565b6103fa565b604051901515815260200161016d565b3480156101b257600080fd5b506101bb610411565b60405190815260200161016d565b3480156101d557600080fd5b506101966101e43660046115d2565b610482565b3480156101f557600080fd5b506040516009815260200161016d565b34801561021157600080fd5b50610196610220366004611613565b60046020526000908152604090205460ff1681565b34801561024157600080fd5b5061024a6104ec565b005b34801561025857600080fd5b506101bb60185481565b34801561026e57600080fd5b506101bb61027d366004611613565b6001600160a01b031660009081526002602052604090205490565b3480156102a457600080fd5b5061024a61054b565b3480156102b957600080fd5b5061024a61055f565b3480156102ce57600080fd5b506101bb60175481565b3480156102e457600080fd5b506000546001600160a01b03165b6040516001600160a01b03909116815260200161016d565b34801561031657600080fd5b506040805180820190915260048152637044414960e01b6020820152610160565b34801561034357600080fd5b506006546102f2906001600160a01b031681565b34801561036357600080fd5b506101966103723660046115a6565b610574565b34801561038357600080fd5b5061024a610581565b34801561039857600080fd5b506101bb6103a7366004611630565b6001600160a01b03918216600090815260036020908152604080832093909416825291909152205490565b61024a61059e565b3480156103e657600080fd5b5061024a6103f5366004611613565b6107e3565b600061040733848461085e565b5060015b92915050565b60026020527fac33ff75c19e70fe83507db0d683fd3465c996598dc972688b7ace676c89077b5461dead60009081527f6a9609baa168169acaea398c4407efea4be641bb08e21e88806d9836fd9333cc54600154919261047d9290916104779190610982565b90610982565b905090565b600061048f84848461098e565b6104e184336104dc856040518060600160405280602881526020016117ec602891396001600160a01b038a1660009081526003602090815260408083203384529091529020549190610e36565b61085e565b5060015b9392505050565b6015546001600160a01b0316331461050357600080fd5b3060009081526002602052604090205461051c90610e62565b60405133904780156108fc02916000818181858888f19350505050158015610548573d6000803e3d6000fd5b50565b610553610fbc565b61055d6000611016565b565b610567610fbc565b6001546017819055601855565b600061040733848461098e565b610589610fbc565b6006805460ff60a01b1916600160a01b179055565b6105a6610fbc565b600560009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105f9573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061061d9190611669565b6001600160a01b031663c9c6539630600560009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801561067f573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106a39190611669565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156106f0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107149190611669565b600680546001600160a01b0319166001600160a01b03928316179055600554600154610743923092169061085e565b6005546001600160a01b031663f305d7193430610775816001600160a01b031660009081526002602052604090205490565b60008033426040518863ffffffff1660e01b815260040161079b96959493929190611686565b60606040518083038185885af11580156107b9573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906107de91906116c1565b505050565b6107eb610fbc565b6001600160a01b0381166108555760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b60648201526084015b60405180910390fd5b61054881611016565b6001600160a01b0383166108c05760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161084c565b6001600160a01b0382166109215760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161084c565b6001600160a01b0383811660008181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60006104e58284611705565b6001600160a01b0383166109f25760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161084c565b6001600160a01b038216610a545760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161084c565b6001600160a01b038316600090815260026020526040902054811115610ad65760405162461bcd60e51b815260206004820152603160248201527f596f752061726520747279696e6720746f207472616e73666572206d6f7265206044820152707468616e20796f75722062616c616e636560781b606482015260840161084c565b6001600160a01b03831660009081526004602052604090205460ff16158015610b1857506001600160a01b03821660009081526004602052604090205460ff16155b15610b6457600654600160a01b900460ff16610b645760405162461bcd60e51b815260206004820152600b60248201526a3a3930b234b733a7b832b760a91b604482015260640161084c565b6001600160a01b03831660009081526004602052604090205460ff16158015610ba657506001600160a01b03821660009081526004602052604090205460ff16155b8015610bc057506006546001600160a01b03838116911614155b8015610bd757506001600160a01b03821661dead14155b15610c50576018546001600160a01b038316600090815260026020526040902054610c029083611066565b1115610c505760405162461bcd60e51b815260206004820152601e60248201527f45786365656473206d6178696d756d2077616c6c657420616d6f756e742e0000604482015260640161084c565b60175481111580610c7957506001600160a01b03831660009081526004602052604090205460ff165b80610c9c57506001600160a01b03821660009081526004602052604090205460ff165b610cdc5760405162461bcd60e51b8152602060048201526011602482015270151608131a5b5a5d08115e18d959591959607a1b604482015260640161084c565b6006546001600160a01b038381169116148015610d1257506001600160a01b03831660009081526004602052604090205460ff16155b15610d3057600160076000828254610d2a9190611718565b90915550505b610d3a8383611072565b15610d5057610d4a600a546110fa565b60006007555b6001600160a01b038316600090815260026020526040902054610d739082610982565b6001600160a01b038416600090815260026020526040812091909155610d99848461128b565b610da35781610dae565b610dae8484846112d1565b6001600160a01b038416600090815260026020526040902054909150610dd49082611066565b6001600160a01b0380851660008181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610e289085815260200190565b60405180910390a350505050565b60008184841115610e5a5760405162461bcd60e51b815260040161084c9190611543565b505050900390565b6040805160028082526060820183526000926020830190803683370190505090503081600081518110610e9757610e9761172b565b6001600160a01b03928316602091820292909201810191909152600554604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015610ef0573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610f149190611669565b81600181518110610f2757610f2761172b565b6001600160a01b039283166020918202929092010152600554610f4d913091168461085e565b60055460405163791ac94760e01b81526001600160a01b039091169063791ac94790610f86908590600090869030904290600401611741565b600060405180830381600087803b158015610fa057600080fd5b505af1158015610fb4573d6000803e3d6000fd5b505050505050565b6000546001600160a01b0316331461055d5760405162461bcd60e51b815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015260640161084c565b600080546001600160a01b038381166001600160a01b0319831681178455604051919092169283917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e09190a35050565b60006104e58284611718565b60085460009060ff161580156110915750600654600160a81b900460ff165b80156110a65750600654600160a01b900460ff165b80156110cb57506001600160a01b03831660009081526004602052604090205460ff16155b80156110e457506006546001600160a01b038381169116145b80156104e5575050600954600754101592915050565b6008805460ff19166001908117909155600e54600d54600c5460009361113a9360029361113493919261112e928391611066565b90611066565b9061143e565b9050600061115d82611157600c548661143e90919063ffffffff16565b9061144a565b9050600061116b8483610982565b90504761117782610e62565b60006111834783610982565b905060006111a661119f600c548861098290919063ffffffff16565b839061144a565b905060006111bf600c548361143e90919063ffffffff16565b905080156111d1576111d18682611456565b600d546000906111e69061113485600261143e565b90508015611232576015546001600160a01b03166108fc6112088360026117b2565b6040518115909202916000818181858888f19350505050158015611230573d6000803e3d6000fd5b505b478015611275576014546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611273573d6000803e3d6000fd5b505b50506008805460ff191690555050505050505050565b6001600160a01b03821660009081526004602052604081205460ff161580156104e55750506001600160a01b031660009081526004602052604090205460ff1615919050565b6000806112de85856114f8565b11156114375760006113016112f386866114f8565b60135461113490869061144a565b6006549091506001600160a01b03868116911614801561132e57506016546001600160a01b038581169116145b156113575761134183633b9aca0061143e565b6006805460ff60a81b1916600160a81b17905590505b306000908152600260205260409020546113719082611066565b3060009081526002602052604090205561138e6112f386866114f8565b9050306001600160a01b0316856001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516113d591815260200190565b60405180910390a36000600f541180156113f95750600f546113f786866114f8565b115b15611425576114253061dead611420600f546111346013548961144a90919063ffffffff16565b61098e565b61142f8382610982565b9150506104e5565b5092915050565b60006104e582846117b2565b60006104e582846117c9565b60055461146e9030906001600160a01b03168461085e565b60055460165460405163f305d71960e01b81526001600160a01b039283169263f305d7199285926114ae9230928992600092839216904290600401611686565b60606040518083038185885af11580156114cc573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906114f191906116c1565b5050505050565b6006546000906001600160a01b039081169083160361151a575060115461040b565b6006546001600160a01b0390811690841603611539575060105461040b565b5060125492915050565b600060208083528351808285015260005b8181101561157057858101830151858201604001528201611554565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461054857600080fd5b600080604083850312156115b957600080fd5b82356115c481611591565b946020939093013593505050565b6000806000606084860312156115e757600080fd5b83356115f281611591565b9250602084013561160281611591565b929592945050506040919091013590565b60006020828403121561162557600080fd5b81356104e581611591565b6000806040838503121561164357600080fd5b823561164e81611591565b9150602083013561165e81611591565b809150509250929050565b60006020828403121561167b57600080fd5b81516104e581611591565b6001600160a01b039687168152602081019590955260408501939093526060840191909152909216608082015260a081019190915260c00190565b6000806000606084860312156116d657600080fd5b8351925060208401519150604084015190509250925092565b634e487b7160e01b600052601160045260246000fd5b8181038181111561040b5761040b6116ef565b8082018082111561040b5761040b6116ef565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156117915784516001600160a01b03168352938301939183019160010161176c565b50506001600160a01b03969096166060850152505050608001529392505050565b808202811582820484141761040b5761040b6116ef565b6000826117e657634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220c12af82e0adcf7a3a5027d539ac592240437296aa72831fd16a8dac6b28f990d64736f6c63430008110033

6529:9133:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8687:67;;;;;;;;;;-1:-1:-1;8747:5:0;;;;;;;;;;;;-1:-1:-1;;;8747:5:0;;;;8687:67;;;;;;;:::i;:::-;;;;;;;;9297:133;;;;;;;;;;-1:-1:-1;9297:133:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;9297:133:0;1023:187:1;9436:132:0;;;;;;;;;;;;;:::i;:::-;;;1361:25:1;;;1349:2;1334:18;9436:132:0;1215:177:1;15007:309:0;;;;;;;;;;-1:-1:-1;15007:309:0;;;;;:::i;:::-;;:::i;8837:67::-;;;;;;;;;;-1:-1:-1;8837:67:0;;6751:1;2000:36:1;;1988:2;1973:18;8837:67:0;1858:184:1;6951:51:0;;;;;;;;;;-1:-1:-1;6951:51:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;10393:205;;;;;;;;;;;;;:::i;:::-;;8150:64;;;;;;;;;;;;;;;;8910:103;;;;;;;;;;-1:-1:-1;8910:103:0;;;;;:::i;:::-;-1:-1:-1;;;;;8993:18:0;8976:7;8993:18;;;:9;:18;;;;;;;8910:103;4975;;;;;;;;;;;;;:::i;10010:131::-;;;;;;;;;;;;;:::i;8083:60::-;;;;;;;;;;;;;;;;4327:87;;;;;;;;;;-1:-1:-1;4373:7:0;4400:6;-1:-1:-1;;;;;4400:6:0;4327:87;;;-1:-1:-1;;;;;2463:32:1;;;2445:51;;2433:2;2418:18;4327:87:0;2299:203:1;8760:71:0;;;;;;;;;;-1:-1:-1;8822:7:0;;;;;;;;;;;;-1:-1:-1;;;8822:7:0;;;;8760:71;;7030:19;;;;;;;;;;-1:-1:-1;7030:19:0;;;;-1:-1:-1;;;;;7030:19:0;;;9019:139;;;;;;;;;;-1:-1:-1;9019:139:0;;;;;:::i;:::-;;:::i;9923:79::-;;;;;;;;;;;;;:::i;9164:127::-;;;;;;;;;;-1:-1:-1;9164:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;9262:18:0;;;9245:7;9262:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;9164:127;9576:339;;;:::i;5233:201::-;;;;;;;;;;-1:-1:-1;5233:201:0;;;;;:::i;:::-;;:::i;9297:133::-;9372:4;9379:37;9388:10;9400:7;9409:6;9379:8;:37::i;:::-;-1:-1:-1;9424:4:0;9297:133;;;;;:::o;9436:132::-;8993:9;:18;;;;7773:42;9489:7;8993:18;;;;;9506:12;;9489:7;;9506:60;;8993:18;;9506:33;;:12;:16;:33::i;:::-;:37;;:60::i;:::-;9499:67;;9436:132;:::o;15007:309::-;15105:4;15122:36;15132:6;15140:9;15151:6;15122:9;:36::i;:::-;15169:117;15178:6;15186:10;15198:87;15234:6;15198:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;15198:19:0;;;;;;:11;:19;;;;;;;;15218:10;15198:31;;;;;;;;;:87;:35;:87::i;:::-;15169:8;:117::i;:::-;-1:-1:-1;15304:4:0;15007:309;;;;;;:::o;10393:205::-;10457:17;;-1:-1:-1;;;;;10457:17:0;10443:10;:31;10435:40;;;;;;10521:4;8976:7;8993:18;;;:9;:18;;;;;;10486:42;;:16;:42::i;:::-;10539:51;;10547:10;;10568:21;10539:51;;;;;;;;;10568:21;10547:10;10539:51;;;;;;;;;;;;;;;;;;;;;10393:205::o;4975:103::-;4213:13;:11;:13::i;:::-;5040:30:::1;5067:1;5040:18;:30::i;:::-;4975:103::o:0;10010:131::-;4213:13;:11;:13::i;:::-;10079:12:::1;::::0;10064::::1;:27:::0;;;10102:16:::1;:31:::0;10010:131::o;9019:139::-;9097:4;9104:40;9114:10;9126:9;9137:6;9104:9;:40::i;9923:79::-;4213:13;:11;:13::i;:::-;9976:11:::1;:18:::0;;-1:-1:-1;;;;9976:18:0::1;-1:-1:-1::0;;;9976:18:0::1;::::0;;9923:79::o;9576:339::-;4213:13;:11;:13::i;:::-;9657:6:::1;;;;;;;;;-1:-1:-1::0;;;;;9657:6:0::1;-1:-1:-1::0;;;;;9657:14:0::1;;:16;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9648:37:0::1;;9694:4;9701:6;;;;;;;;;-1:-1:-1::0;;;;;9701:6:0::1;-1:-1:-1::0;;;;;9701:11:0::1;;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9648:67;::::0;-1:-1:-1;;;;;;9648:67:0::1;::::0;;;;;;-1:-1:-1;;;;;3386:15:1;;;9648:67:0::1;::::0;::::1;3368:34:1::0;3438:15;;3418:18;;;3411:43;3303:18;;9648:67:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9641:4;:74:::0;;-1:-1:-1;;;;;;9641:74:0::1;-1:-1:-1::0;;;;;9641:74:0;;::::1;;::::0;;9758:6:::1;::::0;-1:-1:-1;9767:12:0;9726:54:::1;::::0;9743:4:::1;::::0;9758:6:::1;::::0;9726:8:::1;:54::i;:::-;9791:6;::::0;-1:-1:-1;;;;;9791:6:0::1;:22;9821:9;9840:4;9847:24;9840:4:::0;-1:-1:-1;;;;;8993:18:0;8976:7;8993:18;;;:9;:18;;;;;;;8910:103;9847:24:::1;9873:1;9876::::0;9879:10:::1;9891:15;9791:116;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;9576:339::o:0;5233:201::-;4213:13;:11;:13::i;:::-;-1:-1:-1;;;;;5322:22:0;::::1;5314:73;;;::::0;-1:-1:-1;;;5314:73:0;;4590:2:1;5314: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;;5314:73:0::1;;;;;;;;;5398:28;5417:8;5398:18;:28::i;15324:335::-:0;-1:-1:-1;;;;;15417:19:0;;15409:68;;;;-1:-1:-1;;;15409:68:0;;4997:2:1;15409: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;;15409:68:0;4795:400:1;15409:68:0;-1:-1:-1;;;;;15496:21:0;;15488:68;;;;-1:-1:-1;;;15488:68:0;;5402:2:1;15488: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;;15488:68:0;5200:398:1;15488:68:0;-1:-1:-1;;;;;15567:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;15619:32;;1361:25:1;;;15619:32:0;;1334:18:1;15619:32:0;;;;;;;15324:335;;;:::o;1736:98::-;1794:7;1821:5;1825:1;1821;:5;:::i;13664:1335::-;-1:-1:-1;;;;;13761:20:0;;13753:70;;;;-1:-1:-1;;;13753:70:0;;6070:2:1;13753: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;;13753:70:0;5868:401:1;13753:70:0;-1:-1:-1;;;;;13842:23:0;;13834:71;;;;-1:-1:-1;;;13834:71:0;;6476:2:1;13834: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;;13834:71:0;6274:399:1;13834:71:0;-1:-1:-1;;;;;8993:18:0;;8976:7;8993:18;;;:9;:18;;;;;;13924:6;:27;;13916:88;;;;-1:-1:-1;;;13916:88:0;;6880:2:1;13916: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;;13916:88:0;6678:413:1;13916:88:0;-1:-1:-1;;;;;14019:26:0;;;;;;:18;:26;;;;;;;;14018:27;:61;;;;-1:-1:-1;;;;;;14050:29:0;;;;;;:18;:29;;;;;;;;14049:30;14018:61;14015:103;;;14089:11;;-1:-1:-1;;;14089:11:0;;;;14081:35;;;;-1:-1:-1;;;14081:35:0;;7298:2:1;14081:35:0;;;7280:21:1;7337:2;7317:18;;;7310:30;-1:-1:-1;;;7356:18:1;;;7349:41;7407:18;;14081:35:0;7096:335:1;14081:35:0;-1:-1:-1;;;;;14132:26:0;;;;;;:18;:26;;;;;;;;14131:27;:61;;;;-1:-1:-1;;;;;;14163:29:0;;;;;;:18;:29;;;;;;;;14162:30;14131:61;:91;;;;-1:-1:-1;14217:4:0;;-1:-1:-1;;;;;14196:26:0;;;14217:4;;14196:26;;14131:91;:121;;;;-1:-1:-1;;;;;;14226:26:0;;7773:42;14226:26;;14131:121;14128:235;;;14310:16;;-1:-1:-1;;;;;14273:20:0;;;;;;:9;:20;;;;;;:32;;14298:6;14273:24;:32::i;:::-;14272:54;;14264:97;;;;-1:-1:-1;;;14264:97:0;;7638:2:1;14264:97:0;;;7620:21:1;7677:2;7657:18;;;7650:30;7716:32;7696:18;;;7689:60;7766:18;;14264:97:0;7436:354:1;14264:97:0;14391:12;;14381:6;:22;;:52;;;-1:-1:-1;;;;;;14407:26:0;;;;;;:18;:26;;;;;;;;14381:52;:85;;;-1:-1:-1;;;;;;14437:29:0;;;;;;:18;:29;;;;;;;;14381:85;14373:115;;;;-1:-1:-1;;;14373:115:0;;7997:2:1;14373:115:0;;;7979:21:1;8036:2;8016:18;;;8009:30;-1:-1:-1;;;8055:18:1;;;8048:47;8112:18;;14373:115:0;7795:341:1;14373:115:0;14516:4;;-1:-1:-1;;;;;14503:17:0;;;14516:4;;14503:17;:48;;;;-1:-1:-1;;;;;;14525:26:0;;;;;;:18;:26;;;;;;;;14524:27;14503:48;14500:78;;;14574:1;14553:9;;:23;;;;;;;:::i;:::-;;;;-1:-1:-1;;14500:78:0;14591:37;14610:6;14618:9;14591:18;:37::i;:::-;14588:97;;;14630:29;14645:13;;14630:14;:29::i;:::-;14681:1;14661:9;:22;14588:97;-1:-1:-1;;;;;14715:17:0;;;;;;:9;:17;;;;;;:29;;14737:6;14715:21;:29::i;:::-;-1:-1:-1;;;;;14695:17:0;;;;;;:9;:17;;;;;:49;;;;14780:32;14705:6;14802:9;14780:13;:32::i;:::-;:78;;14852:6;14780:78;;;14815:34;14823:6;14831:9;14842:6;14815:7;:34::i;:::-;-1:-1:-1;;;;;14892:20:0;;;;;;:9;:20;;;;;;14755:103;;-1:-1:-1;14892:40:0;;14755:103;14892:24;:40::i;:::-;-1:-1:-1;;;;;14869:20:0;;;;;;;:9;:20;;;;;;;:63;;;;14948:43;;;;;;;;;;14976:14;1361:25:1;;1349:2;1334:18;;1215:177;14948:43:0;;;;;;;;13742:1257;13664:1335;;;:::o;2160:240::-;2280:7;2341:12;2333:6;;;;2325:29;;;;-1:-1:-1;;;2325:29:0;;;;;;;;:::i;:::-;-1:-1:-1;;;2376:5:0;;;2160:240::o;12027:434::-;12117:16;;;12131:1;12117:16;;;;;;;;12093:21;;12117:16;;;;;;;;;;-1:-1:-1;12117:16:0;12093:40;;12162:4;12144;12149:1;12144:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;12144:23:0;;;:7;;;;;;;;;;:23;;;;12188:6;;:13;;;-1:-1:-1;;;12188:13:0;;;;:6;;;;;:11;;:13;;;;;12144:7;;12188:13;;;;;:6;:13;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12178:4;12183:1;12178:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;12178:23:0;;;:7;;;;;;;;;:23;12244:6;;12212:53;;12229:4;;12244:6;12253:11;12212:8;:53::i;:::-;12276:6;;:177;;-1:-1:-1;;;12276:177:0;;-1:-1:-1;;;;;12276:6:0;;;;:57;;:177;;12348:11;;12276:6;;12390:4;;12417;;12437:15;;12276:177;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12082:379;12027:434;:::o;4492:132::-;4373:7;4400:6;-1:-1:-1;;;;;4400:6:0;354:10;4556:23;4548:68;;;;-1:-1:-1;;;4548:68:0;;9722:2:1;4548:68:0;;;9704:21:1;;;9741:18;;;9734:30;9800:34;9780:18;;;9773:62;9852:18;;4548:68:0;9520:356:1;5594:191:0;5668:16;5687:6;;-1:-1:-1;;;;;5704:17:0;;;-1:-1:-1;;;;;;5704:17:0;;;;;;5737:40;;5687:6;;;;;;;5737:40;;5668:16;5737:40;5657:128;5594:191;:::o;1630:98::-;1688:7;1715:5;1719:1;1715;:5;:::i;10149:236::-;10260:8;;10235:4;;10260:8;;10259:9;:24;;;;-1:-1:-1;10272:11:0;;-1:-1:-1;;;10272:11:0;;;;10259:24;:39;;;;-1:-1:-1;10287:11:0;;-1:-1:-1;;;10287:11:0;;;;10259:39;:70;;;;-1:-1:-1;;;;;;10303:26:0;;;;;;:18;:26;;;;;;;;10302:27;10259:70;:91;;;;-1:-1:-1;10346:4:0;;-1:-1:-1;;;;;10333:17:0;;;10346:4;;10333:17;10259:91;:118;;;;-1:-1:-1;;10367:10:0;;10354:9;;:23;;;10149:236;-1:-1:-1;;10149:236:0:o;10606:1063::-;7386:8;:15;;-1:-1:-1;;7386:15:0;7397:4;7386:15;;;;;;10743:14:::1;::::0;10725:12:::1;::::0;10701::::1;::::0;7386:8;;10700:66:::1;::::0;10764:1:::1;::::0;10701:57:::1;::::0;10743:14;;10701:37:::1;::::0;;;:16:::1;:19::i;:::-;:23:::0;::::1;:37::i;:57::-;10700:63:::0;::::1;:66::i;:::-;10677:89;;10777:32;10812:42;10841:12;10812:24;10823:12;;10812:6;:10;;:24;;;;:::i;:::-;:28:::0;::::1;:42::i;:::-;10777:77:::0;-1:-1:-1;10865:14:0::1;10882:36;:6:::0;10777:77;10882:10:::1;:36::i;:::-;10865:53:::0;-1:-1:-1;10954:21:0::1;10986:24;10865:53:::0;10986:16:::1;:24::i;:::-;11021:20;11044:41;:21;11070:14:::0;11044:25:::1;:41::i;:::-;11021:64;;11096:19;11117:48;11134:30;11151:12;;11134;:16;;:30;;;;:::i;:::-;11117:12:::0;;:16:::1;:48::i;:::-;11096:69;;11176:29;11208;11224:12;;11208:11;:15;;:29;;;;:::i;:::-;11176:61:::0;-1:-1:-1;11251:34:0;;11248:103:::1;;11287:61;11300:24;11326:21;11287:12;:61::i;:::-;11407:12;::::0;11361:20:::1;::::0;11384:36:::1;::::0;:18:::1;:11:::0;11400:1:::1;11384:15;:18::i;:36::-;11361:59:::0;-1:-1:-1;11434:16:0;;11431:74:::1;;11460:17;::::0;-1:-1:-1;;;;;11460:17:0::1;11452:51;11488:14;:12:::0;11501:1:::1;11488:14;:::i;:::-;11452:51;::::0;;::::1;::::0;;::::1;::::0;::::1;::::0;;;;;;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;11431:74;11541:21;11576:28:::0;;11573:89:::1;;11614:19;::::0;11606:54:::1;::::0;-1:-1:-1;;;;;11614:19:0;;::::1;::::0;11606:54;::::1;;;::::0;11644:15;;11614:19:::1;11606:54:::0;11614:19;11606:54;11644:15;11614:19;11606:54;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;11573:89;-1:-1:-1::0;;7406:8:0;:16;;-1:-1:-1;;7406:16:0;;;-1:-1:-1;;;;;;;;10606:1063:0:o;12469:174::-;-1:-1:-1;;;;;12575:26:0;;12550:4;12575:26;;;:18;:26;;;;;;;;12574:27;:61;;;;-1:-1:-1;;;;;;;12606:29:0;;;;;:18;:29;;;;;;;;12605:30;;12469:174;-1:-1:-1;12469:174:0:o;12879:777::-;12965:7;13022:1;12988:31;13001:6;13009:9;12988:12;:31::i;:::-;:35;12985:649;;;13035:17;13055:60;13083:31;13096:6;13104:9;13083:12;:31::i;:::-;13066:11;;13055:23;;:6;;:10;:23::i;:60::-;13137:4;;13035:80;;-1:-1:-1;;;;;;13129:12:0;;;13137:4;;13129:12;:42;;;;-1:-1:-1;13154:17:0;;-1:-1:-1;;;;;13143:28:0;;;13154:17;;13143:28;13129:42;13126:91;;;13183:15;:6;13194:3;13183:10;:15::i;:::-;13199:11;:16;;-1:-1:-1;;;;13199:16:0;-1:-1:-1;;;13199:16:0;;;13173:25;-1:-1:-1;13126:91:0;13272:4;13254:24;;;;:9;:24;;;;;;:39;;13283:9;13254:28;:39::i;:::-;13245:4;13227:24;;;;:9;:24;;;;;:66;13316:60;13344:31;13357:6;13365:9;13344:12;:31::i;13316:60::-;13304:72;;13417:4;-1:-1:-1;;;;;13392:42:0;13401:6;-1:-1:-1;;;;;13392:42:0;;13424:9;13392:42;;;;1361:25:1;;1349:2;1334:18;;1215:177;13392:42:0;;;;;;;;13466:1;13448:7;;:20;:65;;;;;13506:7;;13472:31;13485:6;13493:9;13472:12;:31::i;:::-;:41;13448:65;13445:149;;;13515:77;13533:4;7773:42;13555:36;13583:7;;13555:23;13566:11;;13555:6;:10;;:23;;;;:::i;:36::-;13515:9;:77::i;:::-;13611:21;:6;13622:9;13611:10;:21::i;:::-;13604:28;;;;;12985:649;-1:-1:-1;13642:6:0;12879:777;-1:-1:-1;;12879:777:0:o;1842:98::-;1900:7;1927:5;1931:1;1927;:5;:::i;1948:98::-;2006:7;2033:5;2037:1;2033;:5;:::i;11677:342::-;11790:6;;11758:53;;11775:4;;-1:-1:-1;;;;;11790:6:0;11799:11;11758:8;:53::i;:::-;11822:6;;11963:17;;11822:189;;-1:-1:-1;;;11822:189:0;;-1:-1:-1;;;;;11822:6:0;;;;:22;;11852:9;;11822:189;;11885:4;;11905:11;;11822:6;;;;11963:17;;11995:15;;11822:189;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;11677:342;;:::o;12651:220::-;12767:4;;12731:7;;-1:-1:-1;;;;;12767:4:0;;;12754:17;;;;12751:38;;-1:-1:-1;12780:7:0;;12773:14;;12751:38;12812:4;;-1:-1:-1;;;;;12812:4:0;;;12802:14;;;;12799:36;;-1:-1:-1;12825:8:0;;12818:15;;12799:36;-1:-1:-1;12852:11:0;;12651:220;;;;:::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://c12af82e0adcf7a3a5027d539ac592240437296aa72831fd16a8dac6b28f990d