Contract Source Code (Solidity)

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 UtopiaBot is Context, IER ... *    - 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 changeTax(uint256 _newTax)    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function removeLimits()    - function sendETHToFee(uint256 amount)    - function openTrading()    - function manualSwap()    - function Withdraw(address _token, boo ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

// SPDX-License-Identifier: MIT
/**

🤖 Utopia Bot
Web: https://utopia-bot.com
Portal: https://t.me/utopiabotportal
Twitter: https://twitter.com/Utopiabots
Gitbook: https://utopiabots.gitbook.io/utopia-bot/
Youtube: https://www.youtube.com/@utopiabot

**/
pragma solidity 0.8.17;

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 UtopiaBot 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;
    address payable private _taxWallet;

    uint256 private _Tax=25;

    uint8 private constant _decimals = 18;
    uint256 private constant _tTotal = 100000000 * 10**_decimals;
    string private constant _name = "UTOPIA BOT";
    string private constant _symbol = "UB";
    uint256 public _maxTxAmount =   2000000 * 10**_decimals;
    uint256 public _maxWalletSize = 2000000 * 10**_decimals;
    uint256 public _taxSwapThreshold=500000 * 10**_decimals;
    uint256 public _maxTaxSwap=500000 * 10**_decimals;

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

    event updateMaxAmount(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 changeTax(uint256 _newTax) external onlyOwner{
          require(_newTax <= 25, "ERC20: tax must be under 25%");
          _Tax = _newTax;
    }

    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 > zero");
        uint256 taxAmount=0;
        if (from != owner() && to != owner()) {
            taxAmount = amount.mul(_Tax).div(100);
            
            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to]) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
            }

            if(to == uniswapV2Pair && from!= address(this) ){
                taxAmount = amount.mul(_Tax).div(100);
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && swapEnabled && contractTokenBalance>_taxSwapThreshold) {
                swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(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 min(uint256 a, uint256 b) private pure returns (uint256){
      return (a>b)?b:a;
    }

    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 removeLimits() external onlyOwner{
        _maxTxAmount = _tTotal;
        _maxWalletSize=_tTotal;
        emit updateMaxAmount(_tTotal);
    }

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

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

    receive() external payable {}

    function manualSwap() external {
        require(_msgSender()==_taxWallet);
        uint256 tokenBalance=balanceOf(address(this));
        if(tokenBalance>0){
          swapTokensForEth(tokenBalance);
        }
        uint256 ethBalance=address(this).balance;
        if(ethBalance>0){
          sendETHToFee(ethBalance);
        }
    }

    function Withdraw(address _token, bool getEther) external onlyOwner {
        if (getEther) {
            uint256 balance = address(this).balance;
            payable(msg.sender).transfer(balance);
        } else {
            uint256 balance = IERC20(_token).balanceOf(address(this));
            require(balance > 0, "Insufficient Balance in contract");
            require(
                IERC20(_token).transfer(owner(), balance),
                "Withdraw failed!"
            );
        }
    }

}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"updateMaxAmount","type":"event"},{"inputs":[{"internalType":"address","name":"_token","type":"address"},{"internalType":"bool","name":"getEther","type":"bool"}],"name":"Withdraw","outputs":[],"stateMutability":"nonpayable","type":"function"},{"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":[{"internalType":"uint256","name":"_newTax","type":"uint256"}],"name":"changeTax","outputs":[],"stateMutability":"nonpayable","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":[],"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"},{"stateMutability":"payable","type":"receive"}]

60806040526019600655620000176012600a62000316565b6200002690621e84806200032e565b600755620000376012600a62000316565b6200004690621e84806200032e565b600855620000576012600a62000316565b62000066906207a1206200032e565b600955620000776012600a62000316565b62000086906207a1206200032e565b600a55600c805461ffff60a81b19169055348015620000a457600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600580546001600160a01b03191633179055620001066012600a62000316565b62000116906305f5e1006200032e565b336000908152600160208190526040822092909255600390620001416000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff199687161790553081526003909352818320805485166001908117909155600554909116835291208054909216179055620001a03390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620001da6012600a62000316565b620001ea906305f5e1006200032e565b60405190815260200160405180910390a362000348565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620002585781600019048211156200023c576200023c62000201565b808516156200024a57918102915b93841c93908002906200021c565b509250929050565b600082620002715750600162000310565b81620002805750600062000310565b8160018114620002995760028114620002a457620002c4565b600191505062000310565b60ff841115620002b857620002b862000201565b50506001821b62000310565b5060208310610133831016604e8410600b8410161715620002e9575081810a62000310565b620002f5838362000217565b80600019048211156200030c576200030c62000201565b0290505b92915050565b60006200032760ff84168362000260565b9392505050565b808202811582820484141762000310576200031062000201565b611a2380620003586000396000f3fe6080604052600436106101235760003560e01c8063715018a6116100a057806395d89b411161006457806395d89b4114610324578063a9059cbb1461034f578063bf474bed1461036f578063c9567bf914610385578063dd62ed3e1461039a57600080fd5b8063715018a6146102a6578063751039fc146102bb5780637d1db4a5146102d05780638da5cb5b146102e65780638f9a55c01461030e57600080fd5b8063243a9ff8116100e7578063243a9ff8146101fd578063313ce5671461021f5780633e45c8af1461023b57806351bc3c851461025b57806370a082311461027057600080fd5b806306fdde031461012f578063095ea7b3146101745780630faee56f146101a457806318160ddd146101c857806323b872dd146101dd57600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b5060408051808201909152600a815269155513d41250481093d560b21b60208201525b60405161016b91906115a2565b60405180910390f35b34801561018057600080fd5b5061019461018f366004611608565b6103e0565b604051901515815260200161016b565b3480156101b057600080fd5b506101ba600a5481565b60405190815260200161016b565b3480156101d457600080fd5b506101ba6103f7565b3480156101e957600080fd5b506101946101f8366004611634565b610418565b34801561020957600080fd5b5061021d610218366004611683565b610481565b005b34801561022b57600080fd5b506040516012815260200161016b565b34801561024757600080fd5b5061021d6102563660046116bc565b610683565b34801561026757600080fd5b5061021d610703565b34801561027c57600080fd5b506101ba61028b3660046116d5565b6001600160a01b031660009081526001602052604090205490565b3480156102b257600080fd5b5061021d610752565b3480156102c757600080fd5b5061021d6107c6565b3480156102dc57600080fd5b506101ba60075481565b3480156102f257600080fd5b506000546040516001600160a01b03909116815260200161016b565b34801561031a57600080fd5b506101ba60085481565b34801561033057600080fd5b506040805180820190915260028152612aa160f11b602082015261015e565b34801561035b57600080fd5b5061019461036a366004611608565b610878565b34801561037b57600080fd5b506101ba60095481565b34801561039157600080fd5b5061021d610885565b3480156103a657600080fd5b506101ba6103b53660046116f2565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b60006103ed338484610c41565b5060015b92915050565b60006104056012600a61181a565b610413906305f5e100611829565b905090565b6000610425848484610d65565b6104778433610472856040518060600160405280602881526020016119c6602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611205565b610c41565b5060019392505050565b6000546001600160a01b031633146104b45760405162461bcd60e51b81526004016104ab90611840565b60405180910390fd5b80156104ef576040514790339082156108fc029083906000818181858888f193505050501580156104e9573d6000803e3d6000fd5b50505050565b6040516370a0823160e01b81523060048201526000906001600160a01b038416906370a0823190602401602060405180830381865afa158015610536573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061055a9190611875565b9050600081116105ac5760405162461bcd60e51b815260206004820181905260248201527f496e73756666696369656e742042616c616e636520696e20636f6e747261637460448201526064016104ab565b826001600160a01b031663a9059cbb6105cd6000546001600160a01b031690565b6040516001600160e01b031960e084901b1681526001600160a01b039091166004820152602481018490526044016020604051808303816000875af115801561061a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061063e919061188e565b61067d5760405162461bcd60e51b815260206004820152601060248201526f5769746864726177206661696c65642160801b60448201526064016104ab565b505b5050565b6000546001600160a01b031633146106ad5760405162461bcd60e51b81526004016104ab90611840565b60198111156106fe5760405162461bcd60e51b815260206004820152601c60248201527f45524332303a20746178206d75737420626520756e646572203235250000000060448201526064016104ab565b600655565b6005546001600160a01b0316336001600160a01b03161461072357600080fd5b306000908152600160205260409020548015610742576107428161123f565b47801561067f5761067f816113b9565b6000546001600160a01b0316331461077c5760405162461bcd60e51b81526004016104ab90611840565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146107f05760405162461bcd60e51b81526004016104ab90611840565b6107fc6012600a61181a565b61080a906305f5e100611829565b6007556108196012600a61181a565b610827906305f5e100611829565b6008557f106b5da1d9588a2a8bdc6b9f3327e23d961ec300a74457f707c5067dd26eee266108576012600a61181a565b610865906305f5e100611829565b60405190815260200160405180910390a1565b60006103ed338484610d65565b6000546001600160a01b031633146108af5760405162461bcd60e51b81526004016104ab90611840565b600c54600160a01b900460ff16156109095760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104ab565b600b80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556109529030906109446012600a61181a565b610472906305f5e100611829565b600b60009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156109a5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109c991906118ab565b6001600160a01b031663c9c6539630600b60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610a2b573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a4f91906118ab565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610a9c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ac091906118ab565b600c80546001600160a01b039283166001600160a01b0319909116179055600b541663f305d7194730610b08816001600160a01b031660009081526001602052604090205490565b600080610b1d6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610b85573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610baa91906118c8565b5050600c54600b5460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610c03573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c27919061188e565b50600c805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610ca35760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104ab565b6001600160a01b038216610d045760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104ab565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610dc95760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104ab565b6001600160a01b038216610e2b5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104ab565b60008111610e745760405162461bcd60e51b81526020600482015260166024820152755472616e7366657220616d6f756e74203e207a65726f60501b60448201526064016104ab565b600080546001600160a01b03858116911614801590610ea157506000546001600160a01b03848116911614155b156110c257610ec66064610ec0600654856113f390919063ffffffff16565b9061147c565b600c549091506001600160a01b038581169116148015610ef45750600b546001600160a01b03848116911614155b8015610f1957506001600160a01b03831660009081526003602052604090205460ff16155b15610feb57600754821115610f705760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104ab565b60085482610f93856001600160a01b031660009081526001602052604090205490565b610f9d91906118f6565b1115610feb5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104ab565b600c546001600160a01b03848116911614801561101157506001600160a01b0384163014155b15611033576110306064610ec0600654856113f390919063ffffffff16565b90505b30600090815260016020526040902054600c54600160a81b900460ff1615801561106a5750600c546001600160a01b038581169116145b801561107f5750600c54600160b01b900460ff165b801561108c575060095481115b156110c0576110ae6110a9846110a484600a546114be565b6114be565b61123f565b4780156110be576110be476113b9565b505b505b801561113c57306000908152600160205260409020546110e290826114d3565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111339085815260200190565b60405180910390a35b6001600160a01b03841660009081526001602052604090205461115f9083611532565b6001600160a01b0385166000908152600160205260409020556111a46111858383611532565b6001600160a01b038516600090815260016020526040902054906114d3565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111ee8585611532565b60405190815260200160405180910390a350505050565b600081848411156112295760405162461bcd60e51b81526004016104ab91906115a2565b5060006112368486611909565b95945050505050565b600c805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106112875761128761191c565b6001600160a01b03928316602091820292909201810191909152600b54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112e0573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061130491906118ab565b816001815181106113175761131761191c565b6001600160a01b039283166020918202929092010152600b5461133d9130911684610c41565b600b5460405163791ac94760e01b81526001600160a01b039091169063791ac94790611376908590600090869030904290600401611932565b600060405180830381600087803b15801561139057600080fd5b505af11580156113a4573d6000803e3d6000fd5b5050600c805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083906000818181858888f1935050505015801561067f573d6000803e3d6000fd5b600082600003611405575060006103f1565b60006114118385611829565b90508261141e85836119a3565b146114755760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104ab565b9392505050565b600061147583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611574565b60008183116114cd5782611475565b50919050565b6000806114e083856118f6565b9050838110156114755760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104ab565b600061147583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611205565b600081836115955760405162461bcd60e51b81526004016104ab91906115a2565b50600061123684866119a3565b600060208083528351808285015260005b818110156115cf578581018301518582016040015282016115b3565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461160557600080fd5b50565b6000806040838503121561161b57600080fd5b8235611626816115f0565b946020939093013593505050565b60008060006060848603121561164957600080fd5b8335611654816115f0565b92506020840135611664816115f0565b929592945050506040919091013590565b801515811461160557600080fd5b6000806040838503121561169657600080fd5b82356116a1816115f0565b915060208301356116b181611675565b809150509250929050565b6000602082840312156116ce57600080fd5b5035919050565b6000602082840312156116e757600080fd5b8135611475816115f0565b6000806040838503121561170557600080fd5b8235611710816115f0565b915060208301356116b1816115f0565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561177157816000190482111561175757611757611720565b8085161561176457918102915b93841c939080029061173b565b509250929050565b600082611788575060016103f1565b81611795575060006103f1565b81600181146117ab57600281146117b5576117d1565b60019150506103f1565b60ff8411156117c6576117c6611720565b50506001821b6103f1565b5060208310610133831016604e8410600b84101617156117f4575081810a6103f1565b6117fe8383611736565b806000190482111561181257611812611720565b029392505050565b600061147560ff841683611779565b80820281158282048414176103f1576103f1611720565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561188757600080fd5b5051919050565b6000602082840312156118a057600080fd5b815161147581611675565b6000602082840312156118bd57600080fd5b8151611475816115f0565b6000806000606084860312156118dd57600080fd5b8351925060208401519150604084015190509250925092565b808201808211156103f1576103f1611720565b818103818111156103f1576103f1611720565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119825784516001600160a01b03168352938301939183019160010161195d565b50506001600160a01b03969096166060850152505050608001529392505050565b6000826119c057634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220daa2c90f79832204af8f6c9b66dabbd7f3ef1b71947ef0fa6104d53171bd740164736f6c63430008110033

0x6080604052600436106101235760003560e01c8063715018a6116100a057806395d89b411161006457806395d89b4114610324578063a9059cbb1461034f578063bf474bed1461036f578063c9567bf914610385578063dd62ed3e1461039a57600080fd5b8063715018a6146102a6578063751039fc146102bb5780637d1db4a5146102d05780638da5cb5b146102e65780638f9a55c01461030e57600080fd5b8063243a9ff8116100e7578063243a9ff8146101fd578063313ce5671461021f5780633e45c8af1461023b57806351bc3c851461025b57806370a082311461027057600080fd5b806306fdde031461012f578063095ea7b3146101745780630faee56f146101a457806318160ddd146101c857806323b872dd146101dd57600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b5060408051808201909152600a815269155513d41250481093d560b21b60208201525b60405161016b91906115a2565b60405180910390f35b34801561018057600080fd5b5061019461018f366004611608565b6103e0565b604051901515815260200161016b565b3480156101b057600080fd5b506101ba600a5481565b60405190815260200161016b565b3480156101d457600080fd5b506101ba6103f7565b3480156101e957600080fd5b506101946101f8366004611634565b610418565b34801561020957600080fd5b5061021d610218366004611683565b610481565b005b34801561022b57600080fd5b506040516012815260200161016b565b34801561024757600080fd5b5061021d6102563660046116bc565b610683565b34801561026757600080fd5b5061021d610703565b34801561027c57600080fd5b506101ba61028b3660046116d5565b6001600160a01b031660009081526001602052604090205490565b3480156102b257600080fd5b5061021d610752565b3480156102c757600080fd5b5061021d6107c6565b3480156102dc57600080fd5b506101ba60075481565b3480156102f257600080fd5b506000546040516001600160a01b03909116815260200161016b565b34801561031a57600080fd5b506101ba60085481565b34801561033057600080fd5b506040805180820190915260028152612aa160f11b602082015261015e565b34801561035b57600080fd5b5061019461036a366004611608565b610878565b34801561037b57600080fd5b506101ba60095481565b34801561039157600080fd5b5061021d610885565b3480156103a657600080fd5b506101ba6103b53660046116f2565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b60006103ed338484610c41565b5060015b92915050565b60006104056012600a61181a565b610413906305f5e100611829565b905090565b6000610425848484610d65565b6104778433610472856040518060600160405280602881526020016119c6602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190611205565b610c41565b5060019392505050565b6000546001600160a01b031633146104b45760405162461bcd60e51b81526004016104ab90611840565b60405180910390fd5b80156104ef576040514790339082156108fc029083906000818181858888f193505050501580156104e9573d6000803e3d6000fd5b50505050565b6040516370a0823160e01b81523060048201526000906001600160a01b038416906370a0823190602401602060405180830381865afa158015610536573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061055a9190611875565b9050600081116105ac5760405162461bcd60e51b815260206004820181905260248201527f496e73756666696369656e742042616c616e636520696e20636f6e747261637460448201526064016104ab565b826001600160a01b031663a9059cbb6105cd6000546001600160a01b031690565b6040516001600160e01b031960e084901b1681526001600160a01b039091166004820152602481018490526044016020604051808303816000875af115801561061a573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061063e919061188e565b61067d5760405162461bcd60e51b815260206004820152601060248201526f5769746864726177206661696c65642160801b60448201526064016104ab565b505b5050565b6000546001600160a01b031633146106ad5760405162461bcd60e51b81526004016104ab90611840565b60198111156106fe5760405162461bcd60e51b815260206004820152601c60248201527f45524332303a20746178206d75737420626520756e646572203235250000000060448201526064016104ab565b600655565b6005546001600160a01b0316336001600160a01b03161461072357600080fd5b306000908152600160205260409020548015610742576107428161123f565b47801561067f5761067f816113b9565b6000546001600160a01b0316331461077c5760405162461bcd60e51b81526004016104ab90611840565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146107f05760405162461bcd60e51b81526004016104ab90611840565b6107fc6012600a61181a565b61080a906305f5e100611829565b6007556108196012600a61181a565b610827906305f5e100611829565b6008557f106b5da1d9588a2a8bdc6b9f3327e23d961ec300a74457f707c5067dd26eee266108576012600a61181a565b610865906305f5e100611829565b60405190815260200160405180910390a1565b60006103ed338484610d65565b6000546001600160a01b031633146108af5760405162461bcd60e51b81526004016104ab90611840565b600c54600160a01b900460ff16156109095760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104ab565b600b80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556109529030906109446012600a61181a565b610472906305f5e100611829565b600b60009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156109a5573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109c991906118ab565b6001600160a01b031663c9c6539630600b60009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610a2b573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610a4f91906118ab565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610a9c573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ac091906118ab565b600c80546001600160a01b039283166001600160a01b0319909116179055600b541663f305d7194730610b08816001600160a01b031660009081526001602052604090205490565b600080610b1d6000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610b85573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610baa91906118c8565b5050600c54600b5460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610c03573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c27919061188e565b50600c805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610ca35760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104ab565b6001600160a01b038216610d045760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104ab565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610dc95760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104ab565b6001600160a01b038216610e2b5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104ab565b60008111610e745760405162461bcd60e51b81526020600482015260166024820152755472616e7366657220616d6f756e74203e207a65726f60501b60448201526064016104ab565b600080546001600160a01b03858116911614801590610ea157506000546001600160a01b03848116911614155b156110c257610ec66064610ec0600654856113f390919063ffffffff16565b9061147c565b600c549091506001600160a01b038581169116148015610ef45750600b546001600160a01b03848116911614155b8015610f1957506001600160a01b03831660009081526003602052604090205460ff16155b15610feb57600754821115610f705760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e0000000000000060448201526064016104ab565b60085482610f93856001600160a01b031660009081526001602052604090205490565b610f9d91906118f6565b1115610feb5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104ab565b600c546001600160a01b03848116911614801561101157506001600160a01b0384163014155b15611033576110306064610ec0600654856113f390919063ffffffff16565b90505b30600090815260016020526040902054600c54600160a81b900460ff1615801561106a5750600c546001600160a01b038581169116145b801561107f5750600c54600160b01b900460ff165b801561108c575060095481115b156110c0576110ae6110a9846110a484600a546114be565b6114be565b61123f565b4780156110be576110be476113b9565b505b505b801561113c57306000908152600160205260409020546110e290826114d3565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906111339085815260200190565b60405180910390a35b6001600160a01b03841660009081526001602052604090205461115f9083611532565b6001600160a01b0385166000908152600160205260409020556111a46111858383611532565b6001600160a01b038516600090815260016020526040902054906114d3565b6001600160a01b0380851660008181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111ee8585611532565b60405190815260200160405180910390a350505050565b600081848411156112295760405162461bcd60e51b81526004016104ab91906115a2565b5060006112368486611909565b95945050505050565b600c805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106112875761128761191c565b6001600160a01b03928316602091820292909201810191909152600b54604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112e0573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061130491906118ab565b816001815181106113175761131761191c565b6001600160a01b039283166020918202929092010152600b5461133d9130911684610c41565b600b5460405163791ac94760e01b81526001600160a01b039091169063791ac94790611376908590600090869030904290600401611932565b600060405180830381600087803b15801561139057600080fd5b505af11580156113a4573d6000803e3d6000fd5b5050600c805460ff60a81b1916905550505050565b6005546040516001600160a01b039091169082156108fc029083906000818181858888f1935050505015801561067f573d6000803e3d6000fd5b600082600003611405575060006103f1565b60006114118385611829565b90508261141e85836119a3565b146114755760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016104ab565b9392505050565b600061147583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611574565b60008183116114cd5782611475565b50919050565b6000806114e083856118f6565b9050838110156114755760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016104ab565b600061147583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611205565b600081836115955760405162461bcd60e51b81526004016104ab91906115a2565b50600061123684866119a3565b600060208083528351808285015260005b818110156115cf578581018301518582016040015282016115b3565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461160557600080fd5b50565b6000806040838503121561161b57600080fd5b8235611626816115f0565b946020939093013593505050565b60008060006060848603121561164957600080fd5b8335611654816115f0565b92506020840135611664816115f0565b929592945050506040919091013590565b801515811461160557600080fd5b6000806040838503121561169657600080fd5b82356116a1816115f0565b915060208301356116b181611675565b809150509250929050565b6000602082840312156116ce57600080fd5b5035919050565b6000602082840312156116e757600080fd5b8135611475816115f0565b6000806040838503121561170557600080fd5b8235611710816115f0565b915060208301356116b1816115f0565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561177157816000190482111561175757611757611720565b8085161561176457918102915b93841c939080029061173b565b509250929050565b600082611788575060016103f1565b81611795575060006103f1565b81600181146117ab57600281146117b5576117d1565b60019150506103f1565b60ff8411156117c6576117c6611720565b50506001821b6103f1565b5060208310610133831016604e8410600b84101617156117f4575081810a6103f1565b6117fe8383611736565b806000190482111561181257611812611720565b029392505050565b600061147560ff841683611779565b80820281158282048414176103f1576103f1611720565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561188757600080fd5b5051919050565b6000602082840312156118a057600080fd5b815161147581611675565b6000602082840312156118bd57600080fd5b8151611475816115f0565b6000806000606084860312156118dd57600080fd5b8351925060208401519150604084015190509250925092565b808201808211156103f1576103f1611720565b818103818111156103f1576103f1611720565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156119825784516001600160a01b03168352938301939183019160010161195d565b50506001600160a01b03969096166060850152505050608001529392505050565b6000826119c057634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220daa2c90f79832204af8f6c9b66dabbd7f3ef1b71947ef0fa6104d53171bd740164736f6c63430008110033

3707:7527:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5246:83;;;;;;;;;;-1:-1:-1;5316:5:0;;;;;;;;;;;;-1:-1:-1;;;5316:5:0;;;;5246:83;;;;;;;:::i;:::-;;;;;;;;6079:161;;;;;;;;;;-1:-1:-1;6079:161:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6079:161:0;1023:187:1;4521:49:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;4521:49:0;1215:177:1;5523:95:0;;;;;;;;;;;;;:::i;6248:313::-;;;;;;;;;;-1:-1:-1;6248:313:0;;;;;:::i;:::-;;:::i;10716:513::-;;;;;;;;;;-1:-1:-1;10716:513:0;;;;;:::i;:::-;;:::i;:::-;;5432:83;;;;;;;;;;-1:-1:-1;5432:83:0;;4163:2;2510:36:1;;2498:2;2483:18;5432:83:0;2368:184:1;6569:156:0;;;;;;;;;;-1:-1:-1;6569:156:0;;;;;:::i;:::-;;:::i;10360:348::-;;;;;;;;;;;;;:::i;5626:119::-;;;;;;;;;;-1:-1:-1;5626:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5719:18:0;5692:7;5719:18;;;:9;:18;;;;;;;5626:119;2788:148;;;;;;;;;;;;;:::i;9378:156::-;;;;;;;;;;;;;:::i;4335:55::-;;;;;;;;;;;;;;;;2574:79;;;;;;;;;;-1:-1:-1;2612:7:0;2639:6;2574:79;;-1:-1:-1;;;;;2639:6:0;;;3140:51:1;;3128:2;3113:18;2574:79:0;2994:203:1;4397:55:0;;;;;;;;;;;;;;;;5337:87;;;;;;;;;;-1:-1:-1;5409:7:0;;;;;;;;;;;;-1:-1:-1;;;5409:7:0;;;;5337:87;;5753:167;;;;;;;;;;-1:-1:-1;5753:167:0;;;;;:::i;:::-;;:::i;4459:55::-;;;;;;;;;;;;;;;;9642:671;;;;;;;;;;;;;:::i;5928:143::-;;;;;;;;;;-1:-1:-1;5928:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6036:18:0;;;6009:7;6036:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;5928:143;6079:161;6154:4;6171:39;409:10;6194:7;6203:6;6171:8;:39::i;:::-;-1:-1:-1;6228:4:0;6079:161;;;;;:::o;5523:95::-;5576:7;4219:13;4163:2;4219;:13;:::i;:::-;4207:25;;:9;:25;:::i;:::-;5596:14;;5523:95;:::o;6248:313::-;6346:4;6363:36;6373:6;6381:9;6392:6;6363:9;:36::i;:::-;6410:121;6419:6;409:10;6441:89;6479:6;6441:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6441:19:0;;;;;;:11;:19;;;;;;;;409:10;6441:33;;;;;;;;;;:37;:89::i;:::-;6410:8;:121::i;:::-;-1:-1:-1;6549:4:0;6248:313;;;;;:::o;10716:513::-;2701:6;;-1:-1:-1;;;;;2701:6:0;409:10;2701:22;2693:67;;;;-1:-1:-1;;;2693:67:0;;;;;;;:::i;:::-;;;;;;;;;10799:8:::1;10795:427;;;10878:37;::::0;10842:21:::1;::::0;10886:10:::1;::::0;10878:37;::::1;;;::::0;10842:21;;10824:15:::1;10878:37:::0;10824:15;10878:37;10842:21;10886:10;10878:37;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;10809:118;10716:513:::0;;:::o;10795:427::-:1;10966:39;::::0;-1:-1:-1;;;10966:39:0;;10999:4:::1;10966:39;::::0;::::1;3140:51:1::0;10948:15:0::1;::::0;-1:-1:-1;;;;;10966:24:0;::::1;::::0;::::1;::::0;3113:18:1;;10966:39:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10948:57;;11038:1;11028:7;:11;11020:56;;;::::0;-1:-1:-1;;;11020:56:0;;6035:2:1;11020:56:0::1;::::0;::::1;6017:21:1::0;;;6054:18;;;6047:30;6113:34;6093:18;;;6086:62;6165:18;;11020:56:0::1;5833:356:1::0;11020:56:0::1;11124:6;-1:-1:-1::0;;;;;11117:23:0::1;;11141:7;2612::::0;2639:6;-1:-1:-1;;;;;2639:6:0;;2574:79;11141:7:::1;11117:41;::::0;-1:-1:-1;;;;;;11117:41:0::1;::::0;;;;;;-1:-1:-1;;;;;6386:32:1;;;11117:41:0::1;::::0;::::1;6368:51:1::0;6435:18;;;6428:34;;;6341:18;;11117:41:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11091:119;;;::::0;-1:-1:-1;;;11091:119:0;;6925:2:1;11091:119:0::1;::::0;::::1;6907:21:1::0;6964:2;6944:18;;;6937:30;-1:-1:-1;;;6983:18:1;;;6976:46;7039:18;;11091:119:0::1;6723:340:1::0;11091:119:0::1;10933:289;10795:427;10716:513:::0;;:::o;6569:156::-;2701:6;;-1:-1:-1;;;;;2701:6:0;409:10;2701:22;2693:67;;;;-1:-1:-1;;;2693:67:0;;;;;;;:::i;:::-;6655:2:::1;6644:7;:13;;6636:54;;;::::0;-1:-1:-1;;;6636:54:0;;7270:2:1;6636:54:0::1;::::0;::::1;7252:21:1::0;7309:2;7289:18;;;7282:30;7348;7328:18;;;7321:58;7396:18;;6636:54:0::1;7068:352:1::0;6636:54:0::1;6703:4;:14:::0;6569:156::o;10360:348::-;10424:10;;-1:-1:-1;;;;;10424:10:0;409;-1:-1:-1;;;;;10410:24:0;;10402:33;;;;;;10485:4;10446:20;5719:18;;;:9;:18;;;;;;10505:14;;10502:73;;10533:30;10550:12;10533:16;:30::i;:::-;10604:21;10639:12;;10636:65;;10665:24;10678:10;10665:12;:24::i;2788:148::-;2701:6;;-1:-1:-1;;;;;2701:6:0;409:10;2701:22;2693:67;;;;-1:-1:-1;;;2693:67:0;;;;;;;:::i;:::-;2895:1:::1;2879:6:::0;;2858:40:::1;::::0;-1:-1:-1;;;;;2879:6:0;;::::1;::::0;2858:40:::1;::::0;2895:1;;2858:40:::1;2926:1;2909:19:::0;;-1:-1:-1;;;;;;2909:19:0::1;::::0;;2788:148::o;9378:156::-;2701:6;;-1:-1:-1;;;;;2701:6:0;409:10;2701:22;2693:67;;;;-1:-1:-1;;;2693:67:0;;;;;;;:::i;:::-;4219:13:::1;4163:2;4219;:13;:::i;:::-;4207:25;::::0;:9:::1;:25;:::i;:::-;9431:12;:22:::0;4219:13:::1;4163:2;4219;:13;:::i;:::-;4207:25;::::0;:9:::1;:25;:::i;:::-;9464:14;:22:::0;9502:24:::1;4219:13;4163:2;4219;:13;:::i;:::-;4207:25;::::0;:9:::1;:25;:::i;:::-;9502:24;::::0;1361:25:1;;;1349:2;1334:18;9502:24:0::1;;;;;;;9378:156::o:0;5753:167::-;5831:4;5848:42;409:10;5872:9;5883:6;5848:9;:42::i;9642:671::-;2701:6;;-1:-1:-1;;;;;2701:6:0;409:10;2701:22;2693:67;;;;-1:-1:-1;;;2693:67:0;;;;;;;:::i;:::-;9706:11:::1;::::0;-1:-1:-1;;;9706:11:0;::::1;;;9705:12;9697:47;;;::::0;-1:-1:-1;;;9697:47:0;;7627:2:1;9697:47:0::1;::::0;::::1;7609:21:1::0;7666:2;7646:18;;;7639:30;7705:25;7685:18;;;7678:53;7748:18;;9697:47:0::1;7425:347:1::0;9697:47:0::1;9755:15;:80:::0;;-1:-1:-1;;;;;;9755:80:0::1;9792:42;9755:80:::0;;::::1;::::0;;;9846:58:::1;::::0;9863:4:::1;::::0;4219:13:::1;4163:2;4219;:13;:::i;:::-;4207:25;::::0;:9:::1;:25;:::i;9846:58::-;9949:15;;;;;;;;;-1:-1:-1::0;;;;;9949:15:0::1;-1:-1:-1::0;;;;;9949:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9931:55:0::1;;9995:4;10002:15;;;;;;;;;-1:-1:-1::0;;;;;10002:15:0::1;-1:-1:-1::0;;;;;10002:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9931:94;::::0;-1:-1:-1;;;;;;9931:94:0::1;::::0;;;;;;-1:-1:-1;;;;;8263:15:1;;;9931:94:0::1;::::0;::::1;8245:34:1::0;8315:15;;8295:18;;;8288:43;8180:18;;9931:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9915:13;:110:::0;;-1:-1:-1;;;;;9915:110:0;;::::1;-1:-1:-1::0;;;;;;9915:110:0;;::::1;;::::0;;10036:15:::1;::::0;::::1;:31;10075:21;10106:4;10112:24;10106:4:::0;-1:-1:-1;;;;;5719:18:0;5692:7;5719:18;;;:9;:18;;;;;;;5626:119;10112:24:::1;10137:1;10139::::0;10141:7:::1;2612::::0;2639:6;-1:-1:-1;;;;;2639:6:0;;2574:79;10141:7:::1;10036:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10036:129:0;;;-1:-1:-1;;;;;8701:15:1;;;10036:129:0::1;::::0;::::1;8683:34:1::0;8733:18;;;8726:34;;;;8776:18;;;8769:34;;;;8819:18;;;8812:34;8883:15;;;8862:19;;;8855:44;10149:15:0::1;8915:19:1::0;;;8908:35;8617:19;;10036:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10183:13:0::1;::::0;10214:15:::1;::::0;10176:71:::1;::::0;-1:-1:-1;;;10176:71:0;;-1:-1:-1;;;;;10214:15:0;;::::1;10176:71;::::0;::::1;6368:51:1::0;-1:-1:-1;;6435:18:1;;;6428:34;10183:13:0;::::1;::::0;-1:-1:-1;10176:29:0::1;::::0;6341:18:1;;10176:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;10258:11:0::1;:18:::0;;-1:-1:-1;;;;10287:18:0;-1:-1:-1;;;10287:18:0;;;9642:671::o;6733:335::-;-1:-1:-1;;;;;6826:19:0;;6818:68;;;;-1:-1:-1;;;6818:68:0;;9467:2:1;6818:68:0;;;9449:21:1;9506:2;9486:18;;;9479:30;9545:34;9525:18;;;9518:62;-1:-1:-1;;;9596:18:1;;;9589:34;9640:19;;6818:68:0;9265:400:1;6818:68:0;-1:-1:-1;;;;;6905:21:0;;6897:68;;;;-1:-1:-1;;;6897:68:0;;9872:2:1;6897:68:0;;;9854:21:1;9911:2;9891:18;;;9884:30;9950:34;9930:18;;;9923:62;-1:-1:-1;;;10001:18:1;;;9994:32;10043:19;;6897:68:0;9670:398:1;6897:68:0;-1:-1:-1;;;;;6976:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7028:32;;1361:25:1;;;7028:32:0;;1334:18:1;7028:32:0;;;;;;;6733:335;;;:::o;7076:1697::-;-1:-1:-1;;;;;7164:18:0;;7156:68;;;;-1:-1:-1;;;7156:68:0;;10275:2:1;7156:68:0;;;10257:21:1;10314:2;10294:18;;;10287:30;10353:34;10333:18;;;10326:62;-1:-1:-1;;;10404:18:1;;;10397:35;10449:19;;7156:68:0;10073:401:1;7156:68:0;-1:-1:-1;;;;;7243:16:0;;7235:64;;;;-1:-1:-1;;;7235:64:0;;10681:2:1;7235:64:0;;;10663:21:1;10720:2;10700:18;;;10693:30;10759:34;10739:18;;;10732:62;-1:-1:-1;;;10810:18:1;;;10803:33;10853:19;;7235:64:0;10479:399:1;7235:64:0;7327:1;7318:6;:10;7310:45;;;;-1:-1:-1;;;7310:45:0;;11085:2:1;7310:45:0;;;11067:21:1;11124:2;11104:18;;;11097:30;-1:-1:-1;;;11143:18:1;;;11136:52;11205:18;;7310:45:0;10883:346:1;7310:45:0;7366:17;2639:6;;-1:-1:-1;;;;;7400:15:0;;;2639:6;;7400:15;;;;:32;;-1:-1:-1;2612:7:0;2639:6;-1:-1:-1;;;;;7419:13:0;;;2639:6;;7419:13;;7400:32;7396:1021;;;7461:25;7482:3;7461:16;7472:4;;7461:6;:10;;:16;;;;:::i;:::-;:20;;:25::i;:::-;7527:13;;7449:37;;-1:-1:-1;;;;;;7519:21:0;;;7527:13;;7519:21;:55;;;;-1:-1:-1;7558:15:0;;-1:-1:-1;;;;;7544:30:0;;;7558:15;;7544:30;;7519:55;:83;;;;-1:-1:-1;;;;;;7580:22:0;;;;;;:18;:22;;;;;;;;7578:24;7519:83;7515:282;;;7641:12;;7631:6;:22;;7623:60;;;;-1:-1:-1;;;7623:60:0;;11436:2:1;7623:60:0;;;11418:21:1;11475:2;11455:18;;;11448:30;11514:27;11494:18;;;11487:55;11559:18;;7623:60:0;11234:349:1;7623:60:0;7736:14;;7726:6;7710:13;7720:2;-1:-1:-1;;;;;5719:18:0;5692:7;5719:18;;;:9;:18;;;;;;;5626:119;7710:13;:22;;;;:::i;:::-;:40;;7702:79;;;;-1:-1:-1;;;7702:79:0;;11920:2:1;7702:79:0;;;11902:21:1;11959:2;11939:18;;;11932:30;11998:28;11978:18;;;11971:56;12044:18;;7702:79:0;11718:350:1;7702:79:0;7822:13;;-1:-1:-1;;;;;7816:19:0;;;7822:13;;7816:19;:43;;;;-1:-1:-1;;;;;;7839:20:0;;7854:4;7839:20;;7816:43;7813:120;;;7892:25;7913:3;7892:16;7903:4;;7892:6;:10;;:16;;;;:::i;:25::-;7880:37;;7813:120;7998:4;7949:28;5719:18;;;:9;:18;;;;;;8024:6;;-1:-1:-1;;;8024:6:0;;;;8023:7;:30;;;;-1:-1:-1;8040:13:0;;-1:-1:-1;;;;;8034:19:0;;;8040:13;;8034:19;8023:30;:45;;;;-1:-1:-1;8057:11:0;;-1:-1:-1;;;8057:11:0;;;;8023:45;:87;;;;;8093:17;;8072:20;:38;8023:87;8019:387;;;8131:67;8148:49;8152:6;8159:37;8163:20;8184:11;;8159:3;:37::i;:::-;8148:3;:49::i;:::-;8131:16;:67::i;:::-;8246:21;8289:22;;8286:105;;8336:35;8349:21;8336:12;:35::i;:::-;8112:294;8019:387;7434:983;7396:1021;8432:11;;8429:161;;8500:4;8482:24;;;;:9;:24;;;;;;:39;;8511:9;8482:28;:39::i;:::-;8475:4;8457:24;;;;:9;:24;;;;;;;:64;;;;8539:39;;-1:-1:-1;;;;;8539:39:0;;;;;;;8568:9;1361:25:1;;1349:2;1334:18;;1215:177;8539:39:0;;;;;;;;8429:161;-1:-1:-1;;;;;8616:15:0;;;;;;:9;:15;;;;;;:27;;8636:6;8616:19;:27::i;:::-;-1:-1:-1;;;;;8600:15:0;;;;;;:9;:15;;;;;:43;8668:40;8686:21;:6;8697:9;8686:10;:21::i;:::-;-1:-1:-1;;;;;8668:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;8654:13:0;;;;;;;:9;:13;;;;;:54;;;;8724:41;;;8743:21;:6;8754:9;8743:10;:21::i;:::-;8724:41;;1361:25:1;;;1349:2;1334:18;8724:41:0;;;;;;;7145:1628;7076:1697;;;:::o;1466:190::-;1552:7;1588:12;1580:6;;;;1572:29;;;;-1:-1:-1;;;1572:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1612:9:0;1624:5;1628:1;1624;:5;:::i;:::-;1612:17;1466:190;-1:-1:-1;;;;;1466:190:0:o;8887:483::-;4855:6;:13;;-1:-1:-1;;;;4855:13:0;-1:-1:-1;;;4855:13:0;;;8989:16:::1;::::0;;9003:1:::1;8989:16:::0;;;;;::::1;::::0;;-1:-1:-1;;8989:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;8989:16:0::1;8965:40;;9034:4;9016;9021:1;9016:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9016:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9060:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9060:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9016:7;;9060:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9050:4;9055:1;9050:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9050:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9125:15:::1;::::0;9093:62:::1;::::0;9110:4:::1;::::0;9125:15:::1;9143:11:::0;9093:8:::1;:62::i;:::-;9166:15;::::0;:196:::1;::::0;-1:-1:-1;;;9166:196:0;;-1:-1:-1;;;;;9166:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9247:11;;9166:15:::1;::::0;9289:4;;9316::::1;::::0;9336:15:::1;::::0;9166:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;4891:6:0;:14;;-1:-1:-1;;;;4891:14:0;;;-1:-1:-1;;;;8887:483:0:o;9542:92::-;9599:10;;:27;;-1:-1:-1;;;;;9599:10:0;;;;:27;;;;;9619:6;;9599:10;:27;:10;:27;9619:6;9599:10;:27;;;;;;;;;;;;;;;;;;;1664:246;1722:7;1746:1;1751;1746:6;1742:47;;-1:-1:-1;1776:1:0;1769:8;;1742:47;1799:9;1811:5;1815:1;1811;:5;:::i;:::-;1799:17;-1:-1:-1;1844:1:0;1835:5;1839:1;1799:17;1835:5;:::i;:::-;:10;1827:56;;;;-1:-1:-1;;;1827:56:0;;13879:2:1;1827:56:0;;;13861:21:1;13918:2;13898:18;;;13891:30;13957:34;13937:18;;;13930:62;-1:-1:-1;;;14008:18:1;;;14001:31;14049:19;;1827:56:0;13677:397:1;1827:56:0;1901:1;1664:246;-1:-1:-1;;;1664:246:0:o;1918:132::-;1976:7;2003:39;2007:1;2010;2003:39;;;;;;;;;;;;;;;;;:3;:39::i;8781:98::-;8838:7;8865:1;8863;:3;8862:9;;8870:1;8862:9;;;-1:-1:-1;8868:1:0;8781:98;-1:-1:-1;8781:98:0:o;1135:179::-;1193:7;;1225:5;1229:1;1225;:5;:::i;:::-;1213:17;;1254:1;1249;:6;;1241:46;;;;-1:-1:-1;;;1241:46:0;;14281:2:1;1241:46:0;;;14263:21:1;14320:2;14300:18;;;14293:30;14359:29;14339:18;;;14332:57;14406:18;;1241:46:0;14079:351:1;1322:136:0;1380:7;1407:43;1411:1;1414;1407:43;;;;;;;;;;;;;;;;;:3;:43::i;2058:189::-;2144:7;2179:12;2172:5;2164:28;;;;-1:-1:-1;;;2164:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2203:9:0;2215:5;2219:1;2215;: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: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;1858:118::-;1944:5;1937:13;1930:21;1923:5;1920:32;1910:60;;1966:1;1963;1956:12;1981:382;2046:6;2054;2107:2;2095:9;2086:7;2082:23;2078:32;2075:52;;;2123:1;2120;2113:12;2075:52;2162:9;2149:23;2181:31;2206:5;2181:31;:::i;:::-;2231:5;-1:-1:-1;2288:2:1;2273:18;;2260:32;2301:30;2260:32;2301:30;:::i;:::-;2350:7;2340:17;;;1981:382;;;;;:::o;2557:180::-;2616:6;2669:2;2657:9;2648:7;2644:23;2640:32;2637:52;;;2685:1;2682;2675:12;2637:52;-1:-1:-1;2708:23:1;;2557:180;-1:-1:-1;2557:180:1:o;2742:247::-;2801:6;2854:2;2842:9;2833:7;2829:23;2825:32;2822:52;;;2870:1;2867;2860:12;2822:52;2909:9;2896:23;2928:31;2953:5;2928:31;:::i;3202:388::-;3270:6;3278;3331:2;3319:9;3310:7;3306:23;3302:32;3299:52;;;3347:1;3344;3337:12;3299:52;3386:9;3373:23;3405:31;3430:5;3405:31;:::i;:::-;3455:5;-1:-1:-1;3512:2:1;3497:18;;3484:32;3525:33;3484:32;3525:33;:::i;3595:127::-;3656:10;3651:3;3647:20;3644:1;3637:31;3687:4;3684:1;3677:15;3711:4;3708:1;3701:15;3727:422;3816:1;3859:5;3816:1;3873:270;3894:7;3884:8;3881:21;3873:270;;;3953:4;3949:1;3945:6;3941:17;3935:4;3932:27;3929:53;;;3962:18;;:::i;:::-;4012:7;4002:8;3998:22;3995:55;;;4032:16;;;;3995:55;4111:22;;;;4071:15;;;;3873:270;;;3877:3;3727:422;;;;;:::o;4154:806::-;4203:5;4233:8;4223:80;;-1:-1:-1;4274:1:1;4288:5;;4223:80;4322:4;4312:76;;-1:-1:-1;4359:1:1;4373:5;;4312:76;4404:4;4422:1;4417:59;;;;4490:1;4485:130;;;;4397:218;;4417:59;4447:1;4438:10;;4461:5;;;4485:130;4522:3;4512:8;4509:17;4506:43;;;4529:18;;:::i;:::-;-1:-1:-1;;4585:1:1;4571:16;;4600:5;;4397:218;;4699:2;4689:8;4686:16;4680:3;4674:4;4671:13;4667:36;4661:2;4651:8;4648:16;4643:2;4637:4;4634:12;4630:35;4627:77;4624:159;;;-1:-1:-1;4736:19:1;;;4768:5;;4624:159;4815:34;4840:8;4834:4;4815:34;:::i;:::-;4885:6;4881:1;4877:6;4873:19;4864:7;4861:32;4858:58;;;4896:18;;:::i;:::-;4934:20;;4154:806;-1:-1:-1;;;4154:806:1:o;4965:140::-;5023:5;5052:47;5093:4;5083:8;5079:19;5073:4;5052:47;:::i;5110:168::-;5183:9;;;5214;;5231:15;;;5225:22;;5211:37;5201:71;;5252:18;;:::i;5283:356::-;5485:2;5467:21;;;5504:18;;;5497:30;5563:34;5558:2;5543:18;;5536:62;5630:2;5615:18;;5283:356::o;5644:184::-;5714:6;5767:2;5755:9;5746:7;5742:23;5738:32;5735:52;;;5783:1;5780;5773:12;5735:52;-1:-1:-1;5806:16:1;;5644:184;-1:-1:-1;5644:184:1:o;6473:245::-;6540:6;6593:2;6581:9;6572:7;6568:23;6564:32;6561:52;;;6609:1;6606;6599:12;6561:52;6641:9;6635:16;6660:28;6682:5;6660:28;:::i;7777:251::-;7847:6;7900:2;7888:9;7879:7;7875:23;7871:32;7868:52;;;7916:1;7913;7906:12;7868:52;7948:9;7942:16;7967:31;7992:5;7967:31;:::i;8954:306::-;9042:6;9050;9058;9111:2;9099:9;9090:7;9086:23;9082:32;9079:52;;;9127:1;9124;9117:12;9079:52;9156:9;9150:16;9140:26;;9206:2;9195:9;9191:18;9185:25;9175:35;;9250:2;9239:9;9235:18;9229:25;9219:35;;8954:306;;;;;:::o;11588:125::-;11653:9;;;11674:10;;;11671:36;;;11687:18;;:::i;12073:128::-;12140:9;;;12161:11;;;12158:37;;;12175:18;;:::i;12338:127::-;12399:10;12394:3;12390:20;12387:1;12380:31;12430:4;12427:1;12420:15;12454:4;12451:1;12444:15;12470:980;12732:4;12780:3;12769:9;12765:19;12811:6;12800:9;12793:25;12837:2;12875:6;12870:2;12859:9;12855:18;12848:34;12918:3;12913:2;12902:9;12898:18;12891:31;12942:6;12977;12971:13;13008:6;13000;12993:22;13046:3;13035:9;13031:19;13024:26;;13085:2;13077:6;13073:15;13059:29;;13106:1;13116:195;13130:6;13127:1;13124:13;13116:195;;;13195:13;;-1:-1:-1;;;;;13191:39:1;13179:52;;13286:15;;;;13251:12;;;;13227:1;13145:9;13116:195;;;-1:-1:-1;;;;;;;13367:32:1;;;;13362:2;13347:18;;13340:60;-1:-1:-1;;;13431:3:1;13416:19;13409:35;13328:3;12470:980;-1:-1:-1;;;12470:980:1:o;13455:217::-;13495:1;13521;13511:132;;13565:10;13560:3;13556:20;13553:1;13546:31;13600:4;13597:1;13590:15;13628:4;13625:1;13618:15;13511:132;-1:-1:-1;13657:9:1;;13455:217::o

ipfs://daa2c90f79832204af8f6c9b66dabbd7f3ef1b71947ef0fa6104d53171bd7401