Contract Source Code (Solidity)Audit Report

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() 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 ...  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract CYBRIA is Context , IERC2 ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function min(uint256 a, uint256 b)    - function swapAndLiquify (uint256 toke ...    - function swapTokensForEth(uint256 tok ...    - function addLiquidity (uint256 tokens ...    - function removeLimits()    - function openTrading()    - function reduceFee(uint256 marketingF ...    - function manualSwap()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/**

 TELEGRAM https://t.me/cybriacoin
 WEBSITE https://www.cybria.io/

*/

// SPDX-License-Identifier: MIT


pragma solidity 0.8.19;

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

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;
    }

}

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 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 CYBRIA is Context , IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping(address => uint256) private _holderLastTransferTimestamp;
    bool public transferDelayEnabled = true;
    address payable private _taxWallet;

    /// initial buy, sell fee till first 10 buys
    uint256 private _initialBuyTax=30;
    uint256 private _initialSellTax=30;

    ///final buy, sell fee
    uint256 private _finalBuyTax=4;
    uint256 private _finalSellTax=4;

    /// fee split info
    uint256 private _marketingFee = 4; 
    uint256 private _lpFee = 0;
    
    ///after how many buy sell should redue to final tax
    uint256 private _reduceBuyTaxAt=25;
    uint256 private _reduceSellTaxAt=25;
    uint256 private _preventSwapBefore=10;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10**_decimals; // 100 million max supply
    string private constant _name = "CYBRIA" ;
    string private constant _symbol = "CYBA" ;
    uint256 public _maxTxAmount = 20000000 * 10**_decimals; // 2% of the supply
    uint256 public _maxWalletSize = 20000000 * 10**_decimals; // 2% of the supply
    uint256 public _taxSwapThreshold= 200000 * 10**_decimals;
    uint256 public _maxTaxSwap= 5000000 * 10**_decimals;

    IUniswapV2Router02 private uniswapV2Router;
    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(_msgSender());
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = 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 transfer(address recipient, uint256 amount) public override returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }

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

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

    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "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);
    }

    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() && from != address(this)) {
            

            if (transferDelayEnabled) {
                  if (to != address(uniswapV2Router) && to != address(uniswapV2Pair)) {
                      require(
                          _holderLastTransferTimestamp[tx.origin] <
                              block.number,
                          "_transfer:: Transfer Delay enabled.  Only one purchase per block allowed."
                      );
                      _holderLastTransferTimestamp[tx.origin] = block.number;
                  }
              }

            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] ) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
                _buyCount++;
            }

            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) {
                swapAndLiquify(min(amount,min(contractTokenBalance,_maxTaxSwap)));
            }
        }

        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 min(uint256 a, uint256 b) private pure returns (uint256){
      return (a>b)?b:a;
    }

    function swapAndLiquify (uint256 tokens) private lockTheSwap {
      uint256 lpTokens = (tokens * _lpFee) / 2;
      uint256 swapTokens = tokens - lpTokens;
      swapTokensForEth (swapTokens);
      uint256 ethBalance = address(this).balance;
      uint256 marketingPart = (ethBalance * _marketingFee) / (_marketingFee + _lpFee);
      if(marketingPart > 0){
      (bool success,) = _taxWallet.call{value: marketingPart}("");
      if (success && lpTokens > 0){
      addLiquidity(lpTokens, address(this).balance);
       }
      }
    }

    function swapTokensForEth(uint256 tokenAmount) private  {
        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 addLiquidity (uint256 tokens, uint256 eth) private {
        uint256 allowedTokens = allowance(address(this), address(uniswapV2Router));
        if(allowedTokens < tokens){
         _approve(address(this), address(uniswapV2Router), ~uint256(0));
        }
        uniswapV2Router.addLiquidityETH{value: eth}(
            address(this),
            tokens,
            0,
            0,
            _taxWallet,
            block.timestamp);
    }

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


    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        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;
    }

    
    function reduceFee(uint256 marketingFee, uint256 liquidityFee) external onlyOwner{
      uint256 totalFee = marketingFee + liquidityFee;
      require(totalFee<=_finalBuyTax &&totalFee <=_finalSellTax);
      _marketingFee = marketingFee;
      _lpFee = liquidityFee;
      _finalBuyTax= totalFee;
      _finalSellTax= totalFee;
    }

    receive() external payable {}

    function manualSwap() external {
        require(_msgSender()==_taxWallet);
        uint256 tokenBalance=balanceOf(address(this));
        if(tokenBalance>0){
          swapAndLiquify(tokenBalance);
        }
      
    }
}

• Solid Proof - August 14th, 2023 - Security Audit Report

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":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":[],"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":[{"internalType":"uint256","name":"marketingFee","type":"uint256"},{"internalType":"uint256","name":"liquidityFee","type":"uint256"}],"name":"reduceFee","outputs":[],"stateMutability":"nonpayable","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":[],"name":"transferDelayEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","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"},{"stateMutability":"payable","type":"receive"}]

60806040526005805460ff19166001179055601e6006819055600755600460088190556009818155600a9182556000600b8190556019600c819055600d55600e839055600f5562000050916200035b565b62000060906301312d0062000373565b601055620000716009600a6200035b565b62000081906301312d0062000373565b601155620000926009600a6200035b565b620000a19062030d4062000373565b601255620000b26009600a6200035b565b620000c190624c4b4062000373565b6013556015805461ffff60a81b19169055348015620000df57600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060058054610100600160a81b0319166101003302179055620001466009600a6200035b565b6200015690633b9aca0062000373565b336000908152600160208190526040822092909255600390620001816000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff1996871617905530815260039093528183208054851660019081179091556005546101009004909116835291208054909216179055620001e53390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6200021f6009600a6200035b565b6200022f90633b9aca0062000373565b60405190815260200160405180910390a36200038d565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156200029d57816000190482111562000281576200028162000246565b808516156200028f57918102915b93841c939080029062000261565b509250929050565b600082620002b65750600162000355565b81620002c55750600062000355565b8160018114620002de5760028114620002e95762000309565b600191505062000355565b60ff841115620002fd57620002fd62000246565b50506001821b62000355565b5060208310610133831016604e8410600b84101617156200032e575081810a62000355565b6200033a83836200025c565b806000190482111562000351576200035162000246565b0290505b92915050565b60006200036c60ff841683620002a5565b9392505050565b808202811582820484141762000355576200035562000246565b611aab806200039d6000396000f3fe6080604052600436106101235760003560e01c8063751039fc116100a0578063a9059cbb11610064578063a9059cbb1461032d578063bf474bed1461034d578063c876d0b914610363578063c9567bf91461037d578063dd62ed3e1461039257600080fd5b8063751039fc146102975780637d1db4a5146102ac5780638da5cb5b146102c25780638f9a55c0146102ea57806395d89b411461030057600080fd5b8063313ce567116100e7578063313ce567146101f957806351bc3c851461021557806370a082311461022c578063715018a614610262578063723333561461027757600080fd5b806306fdde031461012f578063095ea7b3146101705780630faee56f146101a057806318160ddd146101c457806323b872dd146101d957600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b5060408051808201909152600681526543594252494160d01b60208201525b6040516101679190611620565b60405180910390f35b34801561017c57600080fd5b5061019061018b366004611683565b6103d8565b6040519015158152602001610167565b3480156101ac57600080fd5b506101b660135481565b604051908152602001610167565b3480156101d057600080fd5b506101b66103ef565b3480156101e557600080fd5b506101906101f43660046116af565b610410565b34801561020557600080fd5b5060405160098152602001610167565b34801561022157600080fd5b5061022a610479565b005b34801561023857600080fd5b506101b66102473660046116f0565b6001600160a01b031660009081526001602052604090205490565b34801561026e57600080fd5b5061022a6104c0565b34801561028357600080fd5b5061022a61029236600461170d565b61053d565b3480156102a357600080fd5b5061022a6105a5565b3480156102b857600080fd5b506101b660105481565b3480156102ce57600080fd5b506000546040516001600160a01b039091168152602001610167565b3480156102f657600080fd5b506101b660115481565b34801561030c57600080fd5b506040805180820190915260048152634359424160e01b602082015261015a565b34801561033957600080fd5b50610190610348366004611683565b610661565b34801561035957600080fd5b506101b660125481565b34801561036f57600080fd5b506005546101909060ff1681565b34801561038957600080fd5b5061022a61066e565b34801561039e57600080fd5b506101b66103ad36600461172f565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b60006103e5338484610a02565b5060015b92915050565b60006103fd6009600a611862565b61040b90633b9aca00611871565b905090565b600061041d848484610b26565b61046f843361046a85604051806060016040528060288152602001611a4e602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611102565b610a02565b5060019392505050565b60055461010090046001600160a01b0316336001600160a01b03161461049e57600080fd5b3060009081526001602052604090205480156104bd576104bd8161113c565b50565b6000546001600160a01b031633146104f35760405162461bcd60e51b81526004016104ea90611888565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146105675760405162461bcd60e51b81526004016104ea90611888565b600061057382846118bd565b9050600854811115801561058957506009548111155b61059257600080fd5b600a92909255600b556008819055600955565b6000546001600160a01b031633146105cf5760405162461bcd60e51b81526004016104ea90611888565b6105db6009600a611862565b6105e990633b9aca00611871565b6010556105f86009600a611862565b61060690633b9aca00611871565b6011556005805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106406009600a611862565b61064e90633b9aca00611871565b60405190815260200160405180910390a1565b60006103e5338484610b26565b6000546001600160a01b031633146106985760405162461bcd60e51b81526004016104ea90611888565b601554600160a01b900460ff16156106f25760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104ea565b601480546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561073b90309061072d6009600a611862565b61046a90633b9aca00611871565b601460009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561078e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107b291906118d0565b6001600160a01b031663c9c6539630601460009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610814573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061083891906118d0565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610885573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108a991906118d0565b601580546001600160a01b039283166001600160a01b03199091161790556014541663f305d71947306108f1816001600160a01b031660009081526001602052604090205490565b6000806109066000546001600160a01b031690565b426040518863ffffffff1660e01b8152600401610928969594939291906118ed565b60606040518083038185885af1158015610946573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061096b9190611928565b505060155460145460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156109c4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109e89190611956565b506015805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a645760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104ea565b6001600160a01b038216610ac55760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104ea565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b8a5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104ea565b6001600160a01b038216610bec5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104ea565b60008111610c4e5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104ea565b600080546001600160a01b03858116911614801590610c7b57506000546001600160a01b03848116911614155b8015610c9057506001600160a01b0384163014155b15610fbf5760055460ff1615610d7a576014546001600160a01b03848116911614801590610ccc57506015546001600160a01b03848116911614155b15610d7a57326000908152600460205260409020544311610d675760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a4016104ea565b3260009081526004602052604090204390555b6015546001600160a01b038581169116148015610da557506014546001600160a01b03848116911614155b8015610dca57506001600160a01b03831660009081526003602052604090205460ff16155b15610ee057601054821115610e215760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104ea565b610e4d6064610e47600c54600f5411610e3c57600654610e40565b6008545b8590611246565b906112cf565b905060115482610e72856001600160a01b031660009081526001602052604090205490565b610e7c91906118bd565b1115610eca5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104ea565b600f8054906000610eda83611978565b91905055505b6015546001600160a01b038481169116148015610f0657506001600160a01b0384163014155b15610f3357610f306064610e47600d54600f5411610f2657600754610e40565b6009548590611246565b90505b30600090815260016020526040902054601554600160a81b900460ff16158015610f6a57506015546001600160a01b038581169116145b8015610f7f5750601554600160b01b900460ff165b8015610f8c575060125481115b8015610f9b5750600e54600f54115b15610fbd57610fbd610fb884610fb384601354611311565b611311565b61113c565b505b80156110395730600090815260016020526040902054610fdf9082611326565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110309085815260200190565b60405180910390a35b6001600160a01b03841660009081526001602052604090205461105c9083611385565b6001600160a01b0385166000908152600160205260409020556110a16110828383611385565b6001600160a01b03851660009081526001602052604090205490611326565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110eb8585611385565b60405190815260200160405180910390a350505050565b600081848411156111265760405162461bcd60e51b81526004016104ea9190611620565b5060006111338486611991565b95945050505050565b6015805460ff60a81b1916600160a81b179055600b546000906002906111629084611871565b61116c91906119a4565b9050600061117a8284611991565b9050611185816113c7565b600b54600a54479160009161119a91906118bd565b600a546111a79084611871565b6111b191906119a4565b905080156112325760055460405160009161010090046001600160a01b03169083908381818185875af1925050503d806000811461120b576040519150601f19603f3d011682016040523d82523d6000602084013e611210565b606091505b505090508080156112215750600085115b15611230576112308547611521565b505b50506015805460ff60a81b19169055505050565b600082600003611258575060006103e9565b60006112648385611871565b90508261127185836119a4565b146112c85760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104ea565b9392505050565b60006112c883836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115f2565b600081831161132057826112c8565b50919050565b60008061133383856118bd565b9050838110156112c85760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104ea565b60006112c883836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611102565b60408051600280825260608201835260009260208301908036833701905050905030816000815181106113fc576113fc6119c6565b6001600160a01b03928316602091820292909201810191909152601454604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611455573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061147991906118d0565b8160018151811061148c5761148c6119c6565b6001600160a01b0392831660209182029290920101526014546114b29130911684610a02565b60145460405163791ac94760e01b81526001600160a01b039091169063791ac947906114eb9085906000908690309042906004016119dc565b600060405180830381600087803b15801561150557600080fd5b505af1158015611519573d6000803e3d6000fd5b505050505050565b6014543060009081526002602090815260408083206001600160a01b03909416835292905220548281101561156a5760145461156a9030906001600160a01b0316600019610a02565b60145460055460405163f305d71960e01b81526001600160a01b039283169263f305d7199286926115af9230928a9260009283926101009004169042906004016118ed565b60606040518083038185885af11580156115cd573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906115199190611928565b600081836116135760405162461bcd60e51b81526004016104ea9190611620565b50600061113384866119a4565b600060208083528351808285015260005b8181101561164d57858101830151858201604001528201611631565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146104bd57600080fd5b6000806040838503121561169657600080fd5b82356116a18161166e565b946020939093013593505050565b6000806000606084860312156116c457600080fd5b83356116cf8161166e565b925060208401356116df8161166e565b929592945050506040919091013590565b60006020828403121561170257600080fd5b81356112c88161166e565b6000806040838503121561172057600080fd5b50508035926020909101359150565b6000806040838503121561174257600080fd5b823561174d8161166e565b9150602083013561175d8161166e565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156117b957816000190482111561179f5761179f611768565b808516156117ac57918102915b93841c9390800290611783565b509250929050565b6000826117d0575060016103e9565b816117dd575060006103e9565b81600181146117f357600281146117fd57611819565b60019150506103e9565b60ff84111561180e5761180e611768565b50506001821b6103e9565b5060208310610133831016604e8410600b841016171561183c575081810a6103e9565b611846838361177e565b806000190482111561185a5761185a611768565b029392505050565b60006112c860ff8416836117c1565b80820281158282048414176103e9576103e9611768565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b808201808211156103e9576103e9611768565b6000602082840312156118e257600080fd5b81516112c88161166e565b6001600160a01b039687168152602081019590955260408501939093526060840191909152909216608082015260a081019190915260c00190565b60008060006060848603121561193d57600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561196857600080fd5b815180151581146112c857600080fd5b60006001820161198a5761198a611768565b5060010190565b818103818111156103e9576103e9611768565b6000826119c157634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611a2c5784516001600160a01b031683529383019391830191600101611a07565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122030180f10ecb63a50b08634d67bf0eb3f2f64665ccdeedd2695564bfc2c4949f864736f6c63430008130033

0x6080604052600436106101235760003560e01c8063751039fc116100a0578063a9059cbb11610064578063a9059cbb1461032d578063bf474bed1461034d578063c876d0b914610363578063c9567bf91461037d578063dd62ed3e1461039257600080fd5b8063751039fc146102975780637d1db4a5146102ac5780638da5cb5b146102c25780638f9a55c0146102ea57806395d89b411461030057600080fd5b8063313ce567116100e7578063313ce567146101f957806351bc3c851461021557806370a082311461022c578063715018a614610262578063723333561461027757600080fd5b806306fdde031461012f578063095ea7b3146101705780630faee56f146101a057806318160ddd146101c457806323b872dd146101d957600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b5060408051808201909152600681526543594252494160d01b60208201525b6040516101679190611620565b60405180910390f35b34801561017c57600080fd5b5061019061018b366004611683565b6103d8565b6040519015158152602001610167565b3480156101ac57600080fd5b506101b660135481565b604051908152602001610167565b3480156101d057600080fd5b506101b66103ef565b3480156101e557600080fd5b506101906101f43660046116af565b610410565b34801561020557600080fd5b5060405160098152602001610167565b34801561022157600080fd5b5061022a610479565b005b34801561023857600080fd5b506101b66102473660046116f0565b6001600160a01b031660009081526001602052604090205490565b34801561026e57600080fd5b5061022a6104c0565b34801561028357600080fd5b5061022a61029236600461170d565b61053d565b3480156102a357600080fd5b5061022a6105a5565b3480156102b857600080fd5b506101b660105481565b3480156102ce57600080fd5b506000546040516001600160a01b039091168152602001610167565b3480156102f657600080fd5b506101b660115481565b34801561030c57600080fd5b506040805180820190915260048152634359424160e01b602082015261015a565b34801561033957600080fd5b50610190610348366004611683565b610661565b34801561035957600080fd5b506101b660125481565b34801561036f57600080fd5b506005546101909060ff1681565b34801561038957600080fd5b5061022a61066e565b34801561039e57600080fd5b506101b66103ad36600461172f565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b60006103e5338484610a02565b5060015b92915050565b60006103fd6009600a611862565b61040b90633b9aca00611871565b905090565b600061041d848484610b26565b61046f843361046a85604051806060016040528060288152602001611a4e602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611102565b610a02565b5060019392505050565b60055461010090046001600160a01b0316336001600160a01b03161461049e57600080fd5b3060009081526001602052604090205480156104bd576104bd8161113c565b50565b6000546001600160a01b031633146104f35760405162461bcd60e51b81526004016104ea90611888565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146105675760405162461bcd60e51b81526004016104ea90611888565b600061057382846118bd565b9050600854811115801561058957506009548111155b61059257600080fd5b600a92909255600b556008819055600955565b6000546001600160a01b031633146105cf5760405162461bcd60e51b81526004016104ea90611888565b6105db6009600a611862565b6105e990633b9aca00611871565b6010556105f86009600a611862565b61060690633b9aca00611871565b6011556005805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106406009600a611862565b61064e90633b9aca00611871565b60405190815260200160405180910390a1565b60006103e5338484610b26565b6000546001600160a01b031633146106985760405162461bcd60e51b81526004016104ea90611888565b601554600160a01b900460ff16156106f25760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104ea565b601480546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561073b90309061072d6009600a611862565b61046a90633b9aca00611871565b601460009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561078e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107b291906118d0565b6001600160a01b031663c9c6539630601460009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610814573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061083891906118d0565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610885573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108a991906118d0565b601580546001600160a01b039283166001600160a01b03199091161790556014541663f305d71947306108f1816001600160a01b031660009081526001602052604090205490565b6000806109066000546001600160a01b031690565b426040518863ffffffff1660e01b8152600401610928969594939291906118ed565b60606040518083038185885af1158015610946573d6000803e3d6000fd5b50505050506040513d601f19601f8201168201806040525081019061096b9190611928565b505060155460145460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156109c4573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109e89190611956565b506015805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a645760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104ea565b6001600160a01b038216610ac55760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104ea565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b8a5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104ea565b6001600160a01b038216610bec5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104ea565b60008111610c4e5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104ea565b600080546001600160a01b03858116911614801590610c7b57506000546001600160a01b03848116911614155b8015610c9057506001600160a01b0384163014155b15610fbf5760055460ff1615610d7a576014546001600160a01b03848116911614801590610ccc57506015546001600160a01b03848116911614155b15610d7a57326000908152600460205260409020544311610d675760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a4016104ea565b3260009081526004602052604090204390555b6015546001600160a01b038581169116148015610da557506014546001600160a01b03848116911614155b8015610dca57506001600160a01b03831660009081526003602052604090205460ff16155b15610ee057601054821115610e215760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104ea565b610e4d6064610e47600c54600f5411610e3c57600654610e40565b6008545b8590611246565b906112cf565b905060115482610e72856001600160a01b031660009081526001602052604090205490565b610e7c91906118bd565b1115610eca5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104ea565b600f8054906000610eda83611978565b91905055505b6015546001600160a01b038481169116148015610f0657506001600160a01b0384163014155b15610f3357610f306064610e47600d54600f5411610f2657600754610e40565b6009548590611246565b90505b30600090815260016020526040902054601554600160a81b900460ff16158015610f6a57506015546001600160a01b038581169116145b8015610f7f5750601554600160b01b900460ff165b8015610f8c575060125481115b8015610f9b5750600e54600f54115b15610fbd57610fbd610fb884610fb384601354611311565b611311565b61113c565b505b80156110395730600090815260016020526040902054610fdf9082611326565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110309085815260200190565b60405180910390a35b6001600160a01b03841660009081526001602052604090205461105c9083611385565b6001600160a01b0385166000908152600160205260409020556110a16110828383611385565b6001600160a01b03851660009081526001602052604090205490611326565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6110eb8585611385565b60405190815260200160405180910390a350505050565b600081848411156111265760405162461bcd60e51b81526004016104ea9190611620565b5060006111338486611991565b95945050505050565b6015805460ff60a81b1916600160a81b179055600b546000906002906111629084611871565b61116c91906119a4565b9050600061117a8284611991565b9050611185816113c7565b600b54600a54479160009161119a91906118bd565b600a546111a79084611871565b6111b191906119a4565b905080156112325760055460405160009161010090046001600160a01b03169083908381818185875af1925050503d806000811461120b576040519150601f19603f3d011682016040523d82523d6000602084013e611210565b606091505b505090508080156112215750600085115b15611230576112308547611521565b505b50506015805460ff60a81b19169055505050565b600082600003611258575060006103e9565b60006112648385611871565b90508261127185836119a4565b146112c85760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104ea565b9392505050565b60006112c883836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115f2565b600081831161132057826112c8565b50919050565b60008061133383856118bd565b9050838110156112c85760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104ea565b60006112c883836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611102565b60408051600280825260608201835260009260208301908036833701905050905030816000815181106113fc576113fc6119c6565b6001600160a01b03928316602091820292909201810191909152601454604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611455573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061147991906118d0565b8160018151811061148c5761148c6119c6565b6001600160a01b0392831660209182029290920101526014546114b29130911684610a02565b60145460405163791ac94760e01b81526001600160a01b039091169063791ac947906114eb9085906000908690309042906004016119dc565b600060405180830381600087803b15801561150557600080fd5b505af1158015611519573d6000803e3d6000fd5b505050505050565b6014543060009081526002602090815260408083206001600160a01b03909416835292905220548281101561156a5760145461156a9030906001600160a01b0316600019610a02565b60145460055460405163f305d71960e01b81526001600160a01b039283169263f305d7199286926115af9230928a9260009283926101009004169042906004016118ed565b60606040518083038185885af11580156115cd573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906115199190611928565b600081836116135760405162461bcd60e51b81526004016104ea9190611620565b50600061113384866119a4565b600060208083528351808285015260005b8181101561164d57858101830151858201604001528201611631565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b03811681146104bd57600080fd5b6000806040838503121561169657600080fd5b82356116a18161166e565b946020939093013593505050565b6000806000606084860312156116c457600080fd5b83356116cf8161166e565b925060208401356116df8161166e565b929592945050506040919091013590565b60006020828403121561170257600080fd5b81356112c88161166e565b6000806040838503121561172057600080fd5b50508035926020909101359150565b6000806040838503121561174257600080fd5b823561174d8161166e565b9150602083013561175d8161166e565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156117b957816000190482111561179f5761179f611768565b808516156117ac57918102915b93841c9390800290611783565b509250929050565b6000826117d0575060016103e9565b816117dd575060006103e9565b81600181146117f357600281146117fd57611819565b60019150506103e9565b60ff84111561180e5761180e611768565b50506001821b6103e9565b5060208310610133831016604e8410600b841016171561183c575081810a6103e9565b611846838361177e565b806000190482111561185a5761185a611768565b029392505050565b60006112c860ff8416836117c1565b80820281158282048414176103e9576103e9611768565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b808201808211156103e9576103e9611768565b6000602082840312156118e257600080fd5b81516112c88161166e565b6001600160a01b039687168152602081019590955260408501939093526060840191909152909216608082015260a081019190915260c00190565b60008060006060848603121561193d57600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561196857600080fd5b815180151581146112c857600080fd5b60006001820161198a5761198a611768565b5060010190565b818103818111156103e9576103e9611768565b6000826119c157634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b81811015611a2c5784516001600160a01b031683529383019391830191600101611a07565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a264697066735822122030180f10ecb63a50b08634d67bf0eb3f2f64665ccdeedd2695564bfc2c4949f864736f6c63430008130033

3558:9229:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5738:83;;;;;;;;;;-1:-1:-1;5808:5:0;;;;;;;;;;;;-1:-1:-1;;;5808:5:0;;;;5738:83;;;;;;;:::i;:::-;;;;;;;;6571:161;;;;;;;;;;-1:-1:-1;6571:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6571:161:0;1023:187:1;5014:51:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;5014:51:0;1215:177:1;6015:95:0;;;;;;;;;;;;;:::i;6740:313::-;;;;;;;;;;-1:-1:-1;6740:313:0;;;;;:::i;:::-;;:::i;5924:83::-;;;;;;;;;;-1:-1:-1;5924:83:0;;4589:1;2000:36:1;;1988:2;1973:18;5924:83:0;1858:184:1;12556:228:0;;;;;;;;;;;;;:::i;:::-;;6118:119;;;;;;;;;;-1:-1:-1;6118:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6211:18:0;6184:7;6211:18;;;:9;:18;;;;;;;6118:119;2639:148;;;;;;;;;;;;;:::i;12170:341::-;;;;;;;;;;-1:-1:-1;12170:341:0;;;;;:::i;:::-;;:::i;11279:196::-;;;;;;;;;;;;;:::i;4787:54::-;;;;;;;;;;;;;;;;2425:79;;;;;;;;;;-1:-1:-1;2463:7:0;2490:6;2425:79;;-1:-1:-1;;;;;2490:6:0;;;2698:51:1;;2686:2;2671:18;2425:79:0;2552:203:1;4868:56:0;;;;;;;;;;;;;;;;5829:87;;;;;;;;;;-1:-1:-1;5901:7:0;;;;;;;;;;;;-1:-1:-1;;;5901:7:0;;;;5829:87;;6245:167;;;;;;;;;;-1:-1:-1;6245:167:0;;;;;:::i;:::-;;:::i;4951:56::-;;;;;;;;;;;;;;;;3902:39;;;;;;;;;;-1:-1:-1;3902:39:0;;;;;;;;11485:671;;;;;;;;;;;;;:::i;6420:143::-;;;;;;;;;;-1:-1:-1;6420:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6528:18:0;;;6501:7;6528:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6420:143;6571:161;6646:4;6663:39;260:10;6686:7;6695:6;6663:8;:39::i;:::-;-1:-1:-1;6720:4:0;6571:161;;;;;:::o;6015:95::-;6068:7;4645:13;4589:1;4645:2;:13;:::i;:::-;4632:26;;:10;:26;:::i;:::-;6088:14;;6015:95;:::o;6740:313::-;6838:4;6855:36;6865:6;6873:9;6884:6;6855:9;:36::i;:::-;6902:121;6911:6;260:10;6933:89;6971:6;6933:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6933:19:0;;;;;;:11;:19;;;;;;;;260:10;6933:33;;;;;;;;;;:37;:89::i;:::-;6902:8;:121::i;:::-;-1:-1:-1;7041:4:0;6740:313;;;;;:::o;12556:228::-;12620:10;;;;;-1:-1:-1;;;;;12620:10:0;260;-1:-1:-1;;;;;12606:24:0;;12598:33;;;;;;12681:4;12642:20;6211:18;;;:9;:18;;;;;;12701:14;;12698:71;;12729:28;12744:12;12729:14;:28::i;:::-;12587:197;12556:228::o;2639:148::-;2552:6;;-1:-1:-1;;;;;2552:6:0;260:10;2552:22;2544:67;;;;-1:-1:-1;;;2544:67:0;;;;;;;:::i;:::-;;;;;;;;;2746:1:::1;2730:6:::0;;2709:40:::1;::::0;-1:-1:-1;;;;;2730:6:0;;::::1;::::0;2709:40:::1;::::0;2746:1;;2709:40:::1;2777:1;2760:19:::0;;-1:-1:-1;;;;;;2760:19:0::1;::::0;;2639:148::o;12170:341::-;2552:6;;-1:-1:-1;;;;;2552:6:0;260:10;2552:22;2544:67;;;;-1:-1:-1;;;2544:67:0;;;;;;;:::i;:::-;12260:16:::1;12279:27;12294:12:::0;12279;:27:::1;:::i;:::-;12260:46;;12333:12;;12323:8;:22;;:49;;;;;12359:13;;12348:8;:24;;12323:49;12315:58;;;::::0;::::1;;12382:13;:28:::0;;;;12419:6:::1;:21:::0;12449:12:::1;:22:::0;;;12480:13:::1;:23:::0;12170:341::o;11279:196::-;2552:6;;-1:-1:-1;;;;;2552:6:0;260:10;2552:22;2544:67;;;;-1:-1:-1;;;2544:67:0;;;;;;;:::i;:::-;4645:13:::1;4589:1;4645:2;:13;:::i;:::-;4632:26;::::0;:10:::1;:26;:::i;:::-;11332:12;:22:::0;4645:13:::1;4589:1;4645:2;:13;:::i;:::-;4632:26;::::0;:10:::1;:26;:::i;:::-;11365:14;:22:::0;11398:20:::1;:26:::0;;-1:-1:-1;;11398:26:0::1;::::0;;11440:27:::1;4645:13;4589:1;4645:2;:13;:::i;:::-;4632:26;::::0;:10:::1;:26;:::i;:::-;11440:27;::::0;1361:25:1;;;1349:2;1334:18;11440:27:0::1;;;;;;;11279:196::o:0;6245:167::-;6323:4;6340:42;260:10;6364:9;6375:6;6340:9;:42::i;11485:671::-;2552:6;;-1:-1:-1;;;;;2552:6:0;260:10;2552:22;2544:67;;;;-1:-1:-1;;;2544:67:0;;;;;;;:::i;:::-;11549:11:::1;::::0;-1:-1:-1;;;11549:11:0;::::1;;;11548:12;11540:47;;;::::0;-1:-1:-1;;;11540:47:0;;5534:2:1;11540:47:0::1;::::0;::::1;5516:21:1::0;5573:2;5553:18;;;5546:30;5612:25;5592:18;;;5585:53;5655:18;;11540:47:0::1;5332:347:1::0;11540:47:0::1;11598:15;:80:::0;;-1:-1:-1;;;;;;11598:80:0::1;11635:42;11598:80:::0;;::::1;::::0;;;11689:58:::1;::::0;11706:4:::1;::::0;4645:13:::1;4589:1;4645:2;:13;:::i;:::-;4632:26;::::0;:10:::1;:26;:::i;11689:58::-;11792:15;;;;;;;;;-1:-1:-1::0;;;;;11792:15:0::1;-1:-1:-1::0;;;;;11792:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11774:55:0::1;;11838:4;11845:15;;;;;;;;;-1:-1:-1::0;;;;;11845:15:0::1;-1:-1:-1::0;;;;;11845:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11774:94;::::0;-1:-1:-1;;;;;;11774:94:0::1;::::0;;;;;;-1:-1:-1;;;;;6170:15:1;;;11774:94:0::1;::::0;::::1;6152:34:1::0;6222:15;;6202:18;;;6195:43;6087:18;;11774:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11758:13;:110:::0;;-1:-1:-1;;;;;11758:110:0;;::::1;-1:-1:-1::0;;;;;;11758:110:0;;::::1;;::::0;;11879:15:::1;::::0;::::1;:31;11918:21;11949:4;11955:24;11949:4:::0;-1:-1:-1;;;;;6211:18:0;6184:7;6211:18;;;:9;:18;;;;;;;6118:119;11955:24:::1;11980:1;11982::::0;11984:7:::1;2463::::0;2490:6;-1:-1:-1;;;;;2490:6:0;;2425:79;11984:7:::1;11992:15;11879:129;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;12026:13:0::1;::::0;12057:15:::1;::::0;12019:71:::1;::::0;-1:-1:-1;;;12019:71:0;;-1:-1:-1;;;;;12057:15:0;;::::1;12019:71;::::0;::::1;7346:51:1::0;-1:-1:-1;;7413:18:1;;;7406:34;12026:13:0;::::1;::::0;-1:-1:-1;12019:29:0::1;::::0;7319:18:1;;12019:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;12101:11:0::1;:18:::0;;-1:-1:-1;;;;12130:18:0;-1:-1:-1;;;12130:18:0;;;11485:671::o;7061:335::-;-1:-1:-1;;;;;7154:19:0;;7146:68;;;;-1:-1:-1;;;7146:68:0;;7935:2:1;7146:68:0;;;7917:21:1;7974:2;7954:18;;;7947:30;8013:34;7993:18;;;7986:62;-1:-1:-1;;;8064:18:1;;;8057:34;8108:19;;7146:68:0;7733:400:1;7146:68:0;-1:-1:-1;;;;;7233:21:0;;7225:68;;;;-1:-1:-1;;;7225:68:0;;8340:2:1;7225:68:0;;;8322:21:1;8379:2;8359:18;;;8352:30;8418:34;8398:18;;;8391:62;-1:-1:-1;;;8469:18:1;;;8462:32;8511:19;;7225:68:0;8138:398:1;7225:68:0;-1:-1:-1;;;;;7304:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7356:32;;1361:25:1;;;7356:32:0;;1334:18:1;7356:32:0;;;;;;;7061:335;;;:::o;7404:2247::-;-1:-1:-1;;;;;7492:18:0;;7484:68;;;;-1:-1:-1;;;7484:68:0;;8743:2:1;7484:68:0;;;8725:21:1;8782:2;8762:18;;;8755:30;8821:34;8801:18;;;8794:62;-1:-1:-1;;;8872:18:1;;;8865:35;8917:19;;7484:68:0;8541:401:1;7484:68:0;-1:-1:-1;;;;;7571:16:0;;7563:64;;;;-1:-1:-1;;;7563:64:0;;9149:2:1;7563:64:0;;;9131:21:1;9188:2;9168:18;;;9161:30;9227:34;9207:18;;;9200:62;-1:-1:-1;;;9278:18:1;;;9271:33;9321:19;;7563:64:0;8947:399:1;7563:64:0;7655:1;7646:6;:10;7638:64;;;;-1:-1:-1;;;7638:64:0;;9553:2:1;7638:64:0;;;9535:21:1;9592:2;9572:18;;;9565:30;9631:34;9611:18;;;9604:62;-1:-1:-1;;;9682:18:1;;;9675:39;9731:19;;7638:64:0;9351:405:1;7638:64:0;7713:17;2490:6;;-1:-1:-1;;;;;7747:15:0;;;2490:6;;7747:15;;;;:32;;-1:-1:-1;2463:7:0;2490:6;-1:-1:-1;;;;;7766:13:0;;;2490:6;;7766:13;;7747:32;:57;;;;-1:-1:-1;;;;;;7783:21:0;;7799:4;7783:21;;7747:57;7743:1552;;;7841:20;;;;7837:508;;;7902:15;;-1:-1:-1;;;;;7888:30:0;;;7902:15;;7888:30;;;;:62;;-1:-1:-1;7936:13:0;;-1:-1:-1;;;;;7922:28:0;;;7936:13;;7922:28;;7888:62;7884:444;;;8042:9;8013:39;;;;:28;:39;;;;;;8086:12;-1:-1:-1;7977:250:0;;;;-1:-1:-1;;;7977:250:0;;9963:2:1;7977:250:0;;;9945:21:1;10002:2;9982:18;;;9975:30;10041:34;10021:18;;;10014:62;10112:34;10092:18;;;10085:62;-1:-1:-1;;;10163:19:1;;;10156:40;10213:19;;7977:250:0;9761:477:1;7977:250:0;8281:9;8252:39;;;;:28;:39;;;;;8294:12;8252:54;;7884:444;8373:13;;-1:-1:-1;;;;;8365:21:0;;;8373:13;;8365:21;:55;;;;-1:-1:-1;8404:15:0;;-1:-1:-1;;;;;8390:30:0;;;8404:15;;8390:30;;8365:55;:83;;;;-1:-1:-1;;;;;;8426:22:0;;;;;;:18;:22;;;;;;;;8424:24;8365:83;8361:420;;;8488:12;;8478:6;:22;;8470:60;;;;-1:-1:-1;;;8470:60:0;;10445:2:1;8470:60:0;;;10427:21:1;10484:2;10464:18;;;10457:30;10523:27;10503:18;;;10496:55;10568:18;;8470:60:0;10243:349:1;8470:60:0;8561:76;8633:3;8561:67;8583:15;;8573:9;;:25;8572:55;;8613:14;;8572:55;;;8600:12;;8572:55;8561:6;;:10;:67::i;:::-;:71;;:76::i;:::-;8549:88;;8690:14;;8680:6;8664:13;8674:2;-1:-1:-1;;;;;6211:18:0;6184:7;6211:18;;;:9;:18;;;;;;;6118:119;8664:13;:22;;;;:::i;:::-;:40;;8656:79;;;;-1:-1:-1;;;8656:79:0;;10799:2:1;8656:79:0;;;10781:21:1;10838:2;10818:18;;;10811:30;10877:28;10857:18;;;10850:56;10923:18;;8656:79:0;10597:350:1;8656:79:0;8754:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8361:420;8806:13;;-1:-1:-1;;;;;8800:19:0;;;8806:13;;8800:19;:43;;;;-1:-1:-1;;;;;;8823:20:0;;8838:4;8823:20;;8800:43;8797:174;;;8876:79;8951:3;8876:70;8898:16;;8888:9;;:26;8887:58;;8930:15;;8887:58;;;8916:13;;8876:6;;:10;:70::i;:79::-;8864:91;;8797:174;9036:4;8987:28;6211:18;;;:9;:18;;;;;;9062:6;;-1:-1:-1;;;9062:6:0;;;;9061:7;:32;;;;-1:-1:-1;9080:13:0;;-1:-1:-1;;;;;9072:21:0;;;9080:13;;9072:21;9061:32;:47;;;;-1:-1:-1;9097:11:0;;-1:-1:-1;;;9097:11:0;;;;9061:47;:89;;;;;9133:17;;9112:20;:38;9061:89;:121;;;;;9164:18;;9154:9;;:28;9061:121;9057:227;;;9203:65;9218:49;9222:6;9229:37;9233:20;9254:11;;9229:3;:37::i;:::-;9218:3;:49::i;:::-;9203:14;:65::i;:::-;7806:1489;7743:1552;9310:11;;9307:161;;9378:4;9360:24;;;;:9;:24;;;;;;:39;;9389:9;9360:28;:39::i;:::-;9353:4;9335:24;;;;:9;:24;;;;;;;:64;;;;9417:39;;-1:-1:-1;;;;;9417:39:0;;;;;;;9446:9;1361:25:1;;1349:2;1334:18;;1215:177;9417:39:0;;;;;;;;9307:161;-1:-1:-1;;;;;9494:15:0;;;;;;:9;:15;;;;;;:27;;9514:6;9494:19;:27::i;:::-;-1:-1:-1;;;;;9478:15:0;;;;;;:9;:15;;;;;:43;9546:40;9564:21;:6;9575:9;9564:10;:21::i;:::-;-1:-1:-1;;;;;9546:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9532:13:0;;;;;;;:9;:13;;;;;:54;;;;9602:41;;;9621:21;:6;9632:9;9621:10;:21::i;:::-;9602:41;;1361:25:1;;;1349:2;1334:18;9602:41:0;;;;;;;7473:2178;7404:2247;;;:::o;1317:190::-;1403:7;1439:12;1431:6;;;;1423:29;;;;-1:-1:-1;;;1423:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1463:9:0;1475:5;1479:1;1475;:5;:::i;:::-;1463:17;1317:190;-1:-1:-1;;;;;1317:190:0:o;9767:550::-;5347:6;:13;;-1:-1:-1;;;;5347:13:0;-1:-1:-1;;;5347:13:0;;;9866:6:::1;::::0;5347:13;;9876:1:::1;::::0;9857:15:::1;::::0;:6;:15:::1;:::i;:::-;9856:21;;;;:::i;:::-;9837:40:::0;-1:-1:-1;9886:18:0::1;9907:17;9837:40:::0;9907:6;:17:::1;:::i;:::-;9886:38;;9933:29;9951:10;9933:16;:29::i;:::-;10094:6;::::0;10078:13:::1;::::0;9992:21:::1;::::0;9971:18:::1;::::0;10078:22:::1;::::0;10094:6;10078:22:::1;:::i;:::-;10060:13;::::0;10047:26:::1;::::0;:10;:26:::1;:::i;:::-;10046:55;;;;:::i;:::-;10022:79:::0;-1:-1:-1;10113:17:0;;10110:200:::1;;10158:10;::::0;:41:::1;::::0;10141:12:::1;::::0;10158:10:::1;::::0;::::1;-1:-1:-1::0;;;;;10158:10:0::1;::::0;10181:13;;10141:12;10158:41;10141:12;10158:41;10181:13;10158:10;:41:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10140:59;;;10212:7;:23;;;;;10234:1;10223:8;:12;10212:23;10208:93;;;10245:45;10258:8;10268:21;10245:12;:45::i;:::-;10131:179;10110:200;-1:-1:-1::0;;5383:6:0;:14;;-1:-1:-1;;;;5383:14:0;;;-1:-1:-1;;;9767:550:0:o;1515:246::-;1573:7;1597:1;1602;1597:6;1593:47;;-1:-1:-1;1627:1:0;1620:8;;1593:47;1650:9;1662:5;1666:1;1662;:5;:::i;:::-;1650:17;-1:-1:-1;1695:1:0;1686:5;1690:1;1650:17;1686:5;:::i;:::-;:10;1678:56;;;;-1:-1:-1;;;1678:56:0;;11859:2:1;1678:56:0;;;11841:21:1;11898:2;11878:18;;;11871:30;11937:34;11917:18;;;11910:62;-1:-1:-1;;;11988:18:1;;;11981:31;12029:19;;1678:56:0;11657:397:1;1678:56:0;1752:1;1515:246;-1:-1:-1;;;1515:246:0:o;1769:132::-;1827:7;1854:39;1858:1;1861;1854:39;;;;;;;;;;;;;;;;;:3;:39::i;9661:98::-;9718:7;9745:1;9743;:3;9742:9;;9750:1;9742:9;;;-1:-1:-1;9748:1:0;9661:98;-1:-1:-1;9661:98:0:o;986:179::-;1044:7;;1076:5;1080:1;1076;:5;:::i;:::-;1064:17;;1105:1;1100;:6;;1092:46;;;;-1:-1:-1;;;1092:46:0;;12261:2:1;1092:46:0;;;12243:21:1;12300:2;12280:18;;;12273:30;12339:29;12319:18;;;12312:57;12386:18;;1092:46:0;12059:351:1;1173:136:0;1231:7;1258:43;1262:1;1265;1258:43;;;;;;;;;;;;;;;;;:3;:43::i;10325:472::-;10416:16;;;10430:1;10416:16;;;;;;;;10392:21;;10416:16;;;;;;;;;;-1:-1:-1;10416:16:0;10392:40;;10461:4;10443;10448:1;10443:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;10443:23:0;;;:7;;;;;;;;;;:23;;;;10487:15;;:22;;;-1:-1:-1;;;10487:22:0;;;;:15;;;;;:20;;:22;;;;;10443:7;;10487:22;;;;;:15;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10477:4;10482:1;10477:7;;;;;;;;:::i;:::-;-1:-1:-1;;;;;10477:32:0;;;:7;;;;;;;;;:32;10552:15;;10520:62;;10537:4;;10552:15;10570:11;10520:8;:62::i;:::-;10593:15;;:196;;-1:-1:-1;;;10593:196:0;;-1:-1:-1;;;;;10593:15:0;;;;:66;;:196;;10674:11;;10593:15;;10716:4;;10743;;10763:15;;10593:196;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10381:416;10325:472;:::o;10805:466::-;10933:15;;10918:4;10876:21;6528:18;;;:11;:18;;;;;;;;-1:-1:-1;;;;;10933:15:0;;;6528:27;;;;;;;10964:22;;;10961:112;;;11031:15;;10999:62;;11016:4;;-1:-1:-1;;;;;11031:15:0;-1:-1:-1;;10999:8:0;:62::i;:::-;11083:15;;11222:10;;11083:180;;-1:-1:-1;;;11083:180:0;;-1:-1:-1;;;;;11083:15:0;;;;:31;;11122:3;;11083:180;;11149:4;;11169:6;;11083:15;;;;;11222:10;;;;11247:15;;11083:180;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;1909:189::-;1995:7;2030:12;2023:5;2015:28;;;;-1:-1:-1;;;2015:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2054:9:0;2066:5;2070:1;2066;: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;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;2299:248::-;2367:6;2375;2428:2;2416:9;2407:7;2403:23;2399:32;2396:52;;;2444:1;2441;2434:12;2396:52;-1:-1:-1;;2467:23:1;;;2537:2;2522:18;;;2509:32;;-1:-1:-1;2299:248:1:o;2760:388::-;2828:6;2836;2889:2;2877:9;2868:7;2864:23;2860:32;2857:52;;;2905:1;2902;2895:12;2857:52;2944:9;2931:23;2963:31;2988:5;2963:31;:::i;:::-;3013:5;-1:-1:-1;3070:2:1;3055:18;;3042:32;3083:33;3042:32;3083:33;:::i;:::-;3135:7;3125:17;;;2760:388;;;;;:::o;3153:127::-;3214:10;3209:3;3205:20;3202:1;3195:31;3245:4;3242:1;3235:15;3269:4;3266:1;3259:15;3285:422;3374:1;3417:5;3374:1;3431:270;3452:7;3442:8;3439:21;3431:270;;;3511:4;3507:1;3503:6;3499:17;3493:4;3490:27;3487:53;;;3520:18;;:::i;:::-;3570:7;3560:8;3556:22;3553:55;;;3590:16;;;;3553:55;3669:22;;;;3629:15;;;;3431:270;;;3435:3;3285:422;;;;;:::o;3712:806::-;3761:5;3791:8;3781:80;;-1:-1:-1;3832:1:1;3846:5;;3781:80;3880:4;3870:76;;-1:-1:-1;3917:1:1;3931:5;;3870:76;3962:4;3980:1;3975:59;;;;4048:1;4043:130;;;;3955:218;;3975:59;4005:1;3996:10;;4019:5;;;4043:130;4080:3;4070:8;4067:17;4064:43;;;4087:18;;:::i;:::-;-1:-1:-1;;4143:1:1;4129:16;;4158:5;;3955:218;;4257:2;4247:8;4244:16;4238:3;4232:4;4229:13;4225:36;4219:2;4209:8;4206:16;4201:2;4195:4;4192:12;4188:35;4185:77;4182:159;;;-1:-1:-1;4294:19:1;;;4326:5;;4182:159;4373:34;4398:8;4392:4;4373:34;:::i;:::-;4443:6;4439:1;4435:6;4431:19;4422:7;4419:32;4416:58;;;4454:18;;:::i;:::-;4492:20;;3712:806;-1:-1:-1;;;3712:806:1:o;4523:140::-;4581:5;4610:47;4651:4;4641:8;4637:19;4631:4;4610:47;:::i;4668:168::-;4741:9;;;4772;;4789:15;;;4783:22;;4769:37;4759:71;;4810:18;;:::i;4841:356::-;5043:2;5025:21;;;5062:18;;;5055:30;5121:34;5116:2;5101:18;;5094:62;5188:2;5173:18;;4841:356::o;5202:125::-;5267:9;;;5288:10;;;5285:36;;;5301:18;;:::i;5684:251::-;5754:6;5807:2;5795:9;5786:7;5782:23;5778:32;5775:52;;;5823:1;5820;5813:12;5775:52;5855:9;5849:16;5874:31;5899:5;5874:31;:::i;6249:607::-;-1:-1:-1;;;;;6608:15:1;;;6590:34;;6655:2;6640:18;;6633:34;;;;6698:2;6683:18;;6676:34;;;;6741:2;6726:18;;6719:34;;;;6790:15;;;6784:3;6769:19;;6762:44;6570:3;6822:19;;6815:35;;;;6539:3;6524:19;;6249:607::o;6861:306::-;6949:6;6957;6965;7018:2;7006:9;6997:7;6993:23;6989:32;6986:52;;;7034:1;7031;7024:12;6986:52;7063:9;7057:16;7047:26;;7113:2;7102:9;7098:18;7092:25;7082:35;;7157:2;7146:9;7142:18;7136:25;7126:35;;6861:306;;;;;:::o;7451:277::-;7518:6;7571:2;7559:9;7550:7;7546:23;7542:32;7539:52;;;7587:1;7584;7577:12;7539:52;7619:9;7613:16;7672:5;7665:13;7658:21;7651:5;7648:32;7638:60;;7694:1;7691;7684:12;10952:135;10991:3;11012:17;;;11009:43;;11032:18;;:::i;:::-;-1:-1:-1;11079:1:1;11068:13;;10952:135::o;11092:128::-;11159:9;;;11180:11;;;11177:37;;;11194:18;;:::i;11225:217::-;11265:1;11291;11281:132;;11335:10;11330:3;11326:20;11323:1;11316:31;11370:4;11367:1;11360:15;11398:4;11395:1;11388:15;11281:132;-1:-1:-1;11427:9:1;;11225:217::o;12547:127::-;12608:10;12603:3;12599:20;12596:1;12589:31;12639:4;12636:1;12629:15;12663:4;12660:1;12653:15;12679:980;12941:4;12989:3;12978:9;12974:19;13020:6;13009:9;13002:25;13046:2;13084:6;13079:2;13068:9;13064:18;13057:34;13127:3;13122:2;13111:9;13107:18;13100:31;13151:6;13186;13180:13;13217:6;13209;13202:22;13255:3;13244:9;13240:19;13233:26;;13294:2;13286:6;13282:15;13268:29;;13315:1;13325:195;13339:6;13336:1;13333:13;13325:195;;;13404:13;;-1:-1:-1;;;;;13400:39:1;13388:52;;13495:15;;;;13460:12;;;;13436:1;13354:9;13325:195;;;-1:-1:-1;;;;;;;13576:32:1;;;;13571:2;13556:18;;13549:60;-1:-1:-1;;;13640:3:1;13625:19;13618:35;13537:3;12679:980;-1:-1:-1;;;12679:980:1:o

ipfs://30180f10ecb63a50b08634d67bf0eb3f2f64665ccdeedd2695564bfc2c4949f8