Token

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 Theseus is Context, IERC2 ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function setCooldownEnabled(bool onof ...    - function tokenFromReflection(uint256 ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function swapTokensForEth(uint256 tok ...    - function sendETHToFee(uint256 amount)    - function openTrading()    - function setBots(address[] memory bot ...    - function delBot(address notbot)    - function _tokenTransfer(address sende ...    - function _transferStandard(address se ...    - function _takeTeam(uint256 tTeam)    - function _reflectFee(uint256 rFee, ui ...    - function manualswap()    - function manualsend()    - function _getValues(uint256 tAmount)    - function _getTValues(uint256 tAmount, ...    - function _getRValues(uint256 tAmount, ...    - function _getRate()    - function _getCurrentSupply()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-03-28
*/

/**

TG- https://t.me/TheseusInuToken

*/

pragma solidity ^0.8.4;
// SPDX-License-Identifier: UNLICENSED
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;
    address private _previousOwner;
    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 Theseus is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _rOwned;
    mapping (address => uint256) private _tOwned;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    mapping (address => bool) private bots;
    mapping (address => uint) private cooldown;
    uint256 private constant MAX = ~uint256(0);
    uint256 private constant _tTotal = 1000000000000 * 10**9;
    uint256 private _rTotal = (MAX - (MAX % _tTotal));
    uint256 private _tFeeTotal;
    
    uint256 private _feeAddr1;
    uint256 private _feeAddr2;
    address payable private _feeAddrWallet1;
    address payable private _feeAddrWallet2;
    
    string private constant _name = "Theseus Inu";
    string private constant _symbol = "THESEUS";
    uint8 private constant _decimals = 9;
    
    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    bool private cooldownEnabled = false;
    uint256 private _maxTxAmount = _tTotal;
    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }
    constructor () {
        _feeAddrWallet1 = payable(0xE15dD82C9e211b17abf6b4796D62D0864cc86e7e);
        _feeAddrWallet2 = payable(0xE15dD82C9e211b17abf6b4796D62D0864cc86e7e);
        _rOwned[_msgSender()] = _rTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_feeAddrWallet1] = true;
        _isExcludedFromFee[_feeAddrWallet2] = true;
        emit Transfer(address(0xE15dD82C9e211b17abf6b4796D62D0864cc86e7e), _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 tokenFromReflection(_rOwned[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 setCooldownEnabled(bool onoff) external onlyOwner() {
        cooldownEnabled = onoff;
    }

    function tokenFromReflection(uint256 rAmount) private view returns(uint256) {
        require(rAmount <= _rTotal, "Amount must be less than total reflections");
        uint256 currentRate =  _getRate();
        return rAmount.div(currentRate);
    }

    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");
        _feeAddr1 = 1;
        _feeAddr2 = 11;
        if (from != owner() && to != owner()) {
            require(!bots[from] && !bots[to]);
            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] && cooldownEnabled) {
                // Cooldown
                require(amount <= _maxTxAmount);
                require(cooldown[to] < block.timestamp);
                cooldown[to] = block.timestamp + (30 seconds);
            }
            
            
            if (to == uniswapV2Pair && from != address(uniswapV2Router) && ! _isExcludedFromFee[from]) {
                _feeAddr1 = 1;
                _feeAddr2 = 11;
            }
            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && from != uniswapV2Pair && swapEnabled) {
                swapTokensForEth(contractTokenBalance);
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }
		
        _tokenTransfer(from,to,amount);
    }

    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 sendETHToFee(uint256 amount) private {
        _feeAddrWallet1.transfer(amount.div(2));
        _feeAddrWallet2.transfer(amount.div(2));
    }
    
    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        IUniswapV2Router02 _uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        uniswapV2Router = _uniswapV2Router;
        _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);
        swapEnabled = true;
        cooldownEnabled = true;
        _maxTxAmount = 30000000000 * 10**9;
        tradingOpen = true;
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
    }
    
    function setBots(address[] memory bots_) public onlyOwner {
        for (uint i = 0; i < bots_.length; i++) {
            bots[bots_[i]] = true;
        }
    }
    
    function delBot(address notbot) public onlyOwner {
        bots[notbot] = false;
    }
        
    function _tokenTransfer(address sender, address recipient, uint256 amount) private {
        _transferStandard(sender, recipient, amount);
    }

    function _transferStandard(address sender, address recipient, uint256 tAmount) private {
        (uint256 rAmount, uint256 rTransferAmount, uint256 rFee, uint256 tTransferAmount, uint256 tFee, uint256 tTeam) = _getValues(tAmount);
        _rOwned[sender] = _rOwned[sender].sub(rAmount);
        _rOwned[recipient] = _rOwned[recipient].add(rTransferAmount); 
        _takeTeam(tTeam);
        _reflectFee(rFee, tFee);
        emit Transfer(sender, recipient, tTransferAmount);
    }

    function _takeTeam(uint256 tTeam) private {
        uint256 currentRate =  _getRate();
        uint256 rTeam = tTeam.mul(currentRate);
        _rOwned[address(this)] = _rOwned[address(this)].add(rTeam);
    }

    function _reflectFee(uint256 rFee, uint256 tFee) private {
        _rTotal = _rTotal.sub(rFee);
        _tFeeTotal = _tFeeTotal.add(tFee);
    }

    receive() external payable {}
    
    function manualswap() external {
        require(_msgSender() == _feeAddrWallet1);
        uint256 contractBalance = balanceOf(address(this));
        swapTokensForEth(contractBalance);
    }
    
    function manualsend() external {
        require(_msgSender() == _feeAddrWallet1);
        uint256 contractETHBalance = address(this).balance;
        sendETHToFee(contractETHBalance);
    }
    

    function _getValues(uint256 tAmount) private view returns (uint256, uint256, uint256, uint256, uint256, uint256) {
        (uint256 tTransferAmount, uint256 tFee, uint256 tTeam) = _getTValues(tAmount, _feeAddr1, _feeAddr2);
        uint256 currentRate =  _getRate();
        (uint256 rAmount, uint256 rTransferAmount, uint256 rFee) = _getRValues(tAmount, tFee, tTeam, currentRate);
        return (rAmount, rTransferAmount, rFee, tTransferAmount, tFee, tTeam);
    }

    function _getTValues(uint256 tAmount, uint256 taxFee, uint256 TeamFee) private pure returns (uint256, uint256, uint256) {
        uint256 tFee = tAmount.mul(taxFee).div(100);
        uint256 tTeam = tAmount.mul(TeamFee).div(100);
        uint256 tTransferAmount = tAmount.sub(tFee).sub(tTeam);
        return (tTransferAmount, tFee, tTeam);
    }

    function _getRValues(uint256 tAmount, uint256 tFee, uint256 tTeam, uint256 currentRate) private pure returns (uint256, uint256, uint256) {
        uint256 rAmount = tAmount.mul(currentRate);
        uint256 rFee = tFee.mul(currentRate);
        uint256 rTeam = tTeam.mul(currentRate);
        uint256 rTransferAmount = rAmount.sub(rFee).sub(rTeam);
        return (rAmount, rTransferAmount, rFee);
    }

	function _getRate() private view returns(uint256) {
        (uint256 rSupply, uint256 tSupply) = _getCurrentSupply();
        return rSupply.div(tSupply);
    }

    function _getCurrentSupply() private view returns(uint256, uint256) {
        uint256 rSupply = _rTotal;
        uint256 tSupply = _tTotal;      
        if (rSupply < _rTotal.div(_tTotal)) return (_rTotal, _tTotal);
        return (rSupply, tSupply);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"notbot","type":"address"}],"name":"delBot","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"manualsend","outputs":[],"stateMutability":"nonpayable","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":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address[]","name":"bots_","type":"address[]"}],"name":"setBots","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"bool","name":"onoff","type":"bool"}],"name":"setCooldownEnabled","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"}]

60806040526200001b683635c9adc5dea000006000196200022c565b620000299060001962000206565b600855600f805462ffffff60a81b19169055683635c9adc5dea000006010553480156200005557600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600c805473e15dd82c9e211b17abf6b4796d62d0864cc86e7e6001600160a01b03199182168117909255600d8054909116909117905560085460026000620000dc3390565b6001600160a01b03166001600160a01b031681526020019081526020016000208190555060016005600062000116620001f760201b60201c565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff199687161790553081526005909352818320805485166001908117909155600c54821684528284208054861682179055600d54909116835291208054909216179055620001873390565b6001600160a01b031673e15dd82c9e211b17abf6b4796d62d0864cc86e7e6001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef683635c9adc5dea00000604051620001e991815260200190565b60405180910390a36200024f565b6000546001600160a01b031690565b6000828210156200022757634e487b7160e01b600052601160045260246000fd5b500390565b6000826200024a57634e487b7160e01b600052601260045260246000fd5b500690565b611a05806200025f6000396000f3fe6080604052600436106101025760003560e01c806370a0823111610095578063a9059cbb11610064578063a9059cbb146102ca578063b515566a146102ea578063c3c8cd801461030a578063c9567bf91461031f578063dd62ed3e1461033457600080fd5b806370a082311461023d578063715018a61461025d5780638da5cb5b1461027257806395d89b411461029a57600080fd5b8063273123b7116100d1578063273123b7146101ca578063313ce567146101ec5780635932ead1146102085780636fc3eaec1461022857600080fd5b806306fdde031461010e578063095ea7b31461015457806318160ddd1461018457806323b872dd146101aa57600080fd5b3661010957005b600080fd5b34801561011a57600080fd5b5060408051808201909152600b81526a5468657365757320496e7560a81b60208201525b60405161014b91906117bc565b60405180910390f35b34801561016057600080fd5b5061017461016f36600461165c565b61037a565b604051901515815260200161014b565b34801561019057600080fd5b50683635c9adc5dea000005b60405190815260200161014b565b3480156101b657600080fd5b506101746101c536600461161b565b610391565b3480156101d657600080fd5b506101ea6101e53660046115a8565b6103fa565b005b3480156101f857600080fd5b506040516009815260200161014b565b34801561021457600080fd5b506101ea610223366004611754565b61044e565b34801561023457600080fd5b506101ea610496565b34801561024957600080fd5b5061019c6102583660046115a8565b6104c3565b34801561026957600080fd5b506101ea6104e5565b34801561027e57600080fd5b506000546040516001600160a01b03909116815260200161014b565b3480156102a657600080fd5b506040805180820190915260078152665448455345555360c81b602082015261013e565b3480156102d657600080fd5b506101746102e536600461165c565b610559565b3480156102f657600080fd5b506101ea610305366004611688565b610566565b34801561031657600080fd5b506101ea6105fc565b34801561032b57600080fd5b506101ea610632565b34801561034057600080fd5b5061019c61034f3660046115e2565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b60006103873384846109f6565b5060015b92915050565b600061039e848484610b1a565b6103f084336103eb856040518060600160405280602881526020016119a8602891396001600160a01b038a1660009081526004602090815260408083203384529091529020549190610e65565b6109f6565b5060019392505050565b6000546001600160a01b0316331461042d5760405162461bcd60e51b815260040161042490611811565b60405180910390fd5b6001600160a01b03166000908152600660205260409020805460ff19169055565b6000546001600160a01b031633146104785760405162461bcd60e51b815260040161042490611811565b600f8054911515600160b81b0260ff60b81b19909216919091179055565b600c546001600160a01b0316336001600160a01b0316146104b657600080fd5b476104c081610e9f565b50565b6001600160a01b03811660009081526002602052604081205461038b90610f24565b6000546001600160a01b0316331461050f5760405162461bcd60e51b815260040161042490611811565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000610387338484610b1a565b6000546001600160a01b031633146105905760405162461bcd60e51b815260040161042490611811565b60005b81518110156105f8576001600660008484815181106105b4576105b4611958565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806105f081611927565b915050610593565b5050565b600c546001600160a01b0316336001600160a01b03161461061c57600080fd5b6000610627306104c3565b90506104c081610fa8565b6000546001600160a01b0316331461065c5760405162461bcd60e51b815260040161042490611811565b600f54600160a01b900460ff16156106b65760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610424565b600e80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106f33082683635c9adc5dea000006109f6565b806001600160a01b031663c45a01556040518163ffffffff1660e01b815260040160206040518083038186803b15801561072c57600080fd5b505afa158015610740573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061076491906115c5565b6001600160a01b031663c9c6539630836001600160a01b031663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b1580156107ac57600080fd5b505afa1580156107c0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107e491906115c5565b6040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381600087803b15801561082c57600080fd5b505af1158015610840573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061086491906115c5565b600f80546001600160a01b0319166001600160a01b03928316179055600e541663f305d7194730610894816104c3565b6000806108a96000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c4016060604051808303818588803b15801561090c57600080fd5b505af1158015610920573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610945919061178e565b5050600f80546801a055690d9db8000060105563ffff00ff60a01b198116630101000160a01b17909155600e5460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b390604401602060405180830381600087803b1580156109be57600080fd5b505af11580156109d2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105f89190611771565b6001600160a01b038316610a585760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610424565b6001600160a01b038216610ab95760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610424565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b7e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610424565b6001600160a01b038216610be05760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610424565b60008111610c425760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610424565b6001600a55600b80556000546001600160a01b03848116911614801590610c7757506000546001600160a01b03838116911614155b15610e55576001600160a01b03831660009081526006602052604090205460ff16158015610cbe57506001600160a01b03821660009081526006602052604090205460ff16155b610cc757600080fd5b600f546001600160a01b038481169116148015610cf25750600e546001600160a01b03838116911614155b8015610d1757506001600160a01b03821660009081526005602052604090205460ff16155b8015610d2c5750600f54600160b81b900460ff165b15610d8957601054811115610d4057600080fd5b6001600160a01b0382166000908152600760205260409020544211610d6457600080fd5b610d6f42601e6118b7565b6001600160a01b0383166000908152600760205260409020555b600f546001600160a01b038381169116148015610db45750600e546001600160a01b03848116911614155b8015610dd957506001600160a01b03831660009081526005602052604090205460ff16155b15610de8576001600a55600b80555b6000610df3306104c3565b600f54909150600160a81b900460ff16158015610e1e5750600f546001600160a01b03858116911614155b8015610e335750600f54600160b01b900460ff165b15610e5357610e4181610fa8565b478015610e5157610e5147610e9f565b505b505b610e60838383611131565b505050565b60008184841115610e895760405162461bcd60e51b815260040161042491906117bc565b506000610e968486611910565b95945050505050565b600c546001600160a01b03166108fc610eb983600261113c565b6040518115909202916000818181858888f19350505050158015610ee1573d6000803e3d6000fd5b50600d546001600160a01b03166108fc610efc83600261113c565b6040518115909202916000818181858888f193505050501580156105f8573d6000803e3d6000fd5b6000600854821115610f8b5760405162461bcd60e51b815260206004820152602a60248201527f416d6f756e74206d757374206265206c657373207468616e20746f74616c207260448201526965666c656374696f6e7360b01b6064820152608401610424565b6000610f9561117e565b9050610fa1838261113c565b9392505050565b600f805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110610ff057610ff0611958565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b15801561104457600080fd5b505afa158015611058573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061107c91906115c5565b8160018151811061108f5761108f611958565b6001600160a01b039283166020918202929092010152600e546110b591309116846109f6565b600e5460405163791ac94760e01b81526001600160a01b039091169063791ac947906110ee908590600090869030904290600401611846565b600060405180830381600087803b15801561110857600080fd5b505af115801561111c573d6000803e3d6000fd5b5050600f805460ff60a81b1916905550505050565b610e608383836111a1565b6000610fa183836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611298565b600080600061118b6112c6565b909250905061119a828261113c565b9250505090565b6000806000806000806111b387611308565b6001600160a01b038f16600090815260026020526040902054959b509399509197509550935091506111e59087611365565b6001600160a01b03808b1660009081526002602052604080822093909355908a168152205461121490866113a7565b6001600160a01b03891660009081526002602052604090205561123681611406565b6112408483611450565b876001600160a01b0316896001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161128591815260200190565b60405180910390a3505050505050505050565b600081836112b95760405162461bcd60e51b815260040161042491906117bc565b506000610e9684866118cf565b6008546000908190683635c9adc5dea000006112e2828261113c565b8210156112ff57505060085492683635c9adc5dea0000092509050565b90939092509050565b60008060008060008060008060006113258a600a54600b54611474565b925092509250600061133561117e565b905060008060006113488e8787876114c9565b919e509c509a509598509396509194505050505091939550919395565b6000610fa183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610e65565b6000806113b483856118b7565b905083811015610fa15760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610424565b600061141061117e565b9050600061141e8383611519565b3060009081526002602052604090205490915061143b90826113a7565b30600090815260026020526040902055505050565b60085461145d9083611365565b60085560095461146d90826113a7565b6009555050565b600080808061148e60646114888989611519565b9061113c565b905060006114a160646114888a89611519565b905060006114b9826114b38b86611365565b90611365565b9992985090965090945050505050565b60008080806114d88886611519565b905060006114e68887611519565b905060006114f48888611519565b90506000611506826114b38686611365565b939b939a50919850919650505050505050565b6000826115285750600061038b565b600061153483856118f1565b90508261154185836118cf565b14610fa15760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610424565b80356115a381611984565b919050565b6000602082840312156115ba57600080fd5b8135610fa181611984565b6000602082840312156115d757600080fd5b8151610fa181611984565b600080604083850312156115f557600080fd5b823561160081611984565b9150602083013561161081611984565b809150509250929050565b60008060006060848603121561163057600080fd5b833561163b81611984565b9250602084013561164b81611984565b929592945050506040919091013590565b6000806040838503121561166f57600080fd5b823561167a81611984565b946020939093013593505050565b6000602080838503121561169b57600080fd5b823567ffffffffffffffff808211156116b357600080fd5b818501915085601f8301126116c757600080fd5b8135818111156116d9576116d961196e565b8060051b604051601f19603f830116810181811085821117156116fe576116fe61196e565b604052828152858101935084860182860187018a101561171d57600080fd5b600095505b838610156117475761173381611598565b855260019590950194938601938601611722565b5098975050505050505050565b60006020828403121561176657600080fd5b8135610fa181611999565b60006020828403121561178357600080fd5b8151610fa181611999565b6000806000606084860312156117a357600080fd5b8351925060208401519150604084015190509250925092565b600060208083528351808285015260005b818110156117e9578581018301518582016040015282016117cd565b818111156117fb576000604083870101525b50601f01601f1916929092016040019392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118965784516001600160a01b031683529383019391830191600101611871565b50506001600160a01b03969096166060850152505050608001529392505050565b600082198211156118ca576118ca611942565b500190565b6000826118ec57634e487b7160e01b600052601260045260246000fd5b500490565b600081600019048311821515161561190b5761190b611942565b500290565b60008282101561192257611922611942565b500390565b600060001982141561193b5761193b611942565b5060010190565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052604160045260246000fd5b6001600160a01b03811681146104c057600080fd5b80151581146104c057600080fdfe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220235fbb320f5440be0dc787816610d6a2bf41ef57c881fb705e7e2aa587942cfe64736f6c63430008070033

0x6080604052600436106101025760003560e01c806370a0823111610095578063a9059cbb11610064578063a9059cbb146102ca578063b515566a146102ea578063c3c8cd801461030a578063c9567bf91461031f578063dd62ed3e1461033457600080fd5b806370a082311461023d578063715018a61461025d5780638da5cb5b1461027257806395d89b411461029a57600080fd5b8063273123b7116100d1578063273123b7146101ca578063313ce567146101ec5780635932ead1146102085780636fc3eaec1461022857600080fd5b806306fdde031461010e578063095ea7b31461015457806318160ddd1461018457806323b872dd146101aa57600080fd5b3661010957005b600080fd5b34801561011a57600080fd5b5060408051808201909152600b81526a5468657365757320496e7560a81b60208201525b60405161014b91906117bc565b60405180910390f35b34801561016057600080fd5b5061017461016f36600461165c565b61037a565b604051901515815260200161014b565b34801561019057600080fd5b50683635c9adc5dea000005b60405190815260200161014b565b3480156101b657600080fd5b506101746101c536600461161b565b610391565b3480156101d657600080fd5b506101ea6101e53660046115a8565b6103fa565b005b3480156101f857600080fd5b506040516009815260200161014b565b34801561021457600080fd5b506101ea610223366004611754565b61044e565b34801561023457600080fd5b506101ea610496565b34801561024957600080fd5b5061019c6102583660046115a8565b6104c3565b34801561026957600080fd5b506101ea6104e5565b34801561027e57600080fd5b506000546040516001600160a01b03909116815260200161014b565b3480156102a657600080fd5b506040805180820190915260078152665448455345555360c81b602082015261013e565b3480156102d657600080fd5b506101746102e536600461165c565b610559565b3480156102f657600080fd5b506101ea610305366004611688565b610566565b34801561031657600080fd5b506101ea6105fc565b34801561032b57600080fd5b506101ea610632565b34801561034057600080fd5b5061019c61034f3660046115e2565b6001600160a01b03918216600090815260046020908152604080832093909416825291909152205490565b60006103873384846109f6565b5060015b92915050565b600061039e848484610b1a565b6103f084336103eb856040518060600160405280602881526020016119a8602891396001600160a01b038a1660009081526004602090815260408083203384529091529020549190610e65565b6109f6565b5060019392505050565b6000546001600160a01b0316331461042d5760405162461bcd60e51b815260040161042490611811565b60405180910390fd5b6001600160a01b03166000908152600660205260409020805460ff19169055565b6000546001600160a01b031633146104785760405162461bcd60e51b815260040161042490611811565b600f8054911515600160b81b0260ff60b81b19909216919091179055565b600c546001600160a01b0316336001600160a01b0316146104b657600080fd5b476104c081610e9f565b50565b6001600160a01b03811660009081526002602052604081205461038b90610f24565b6000546001600160a01b0316331461050f5760405162461bcd60e51b815260040161042490611811565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000610387338484610b1a565b6000546001600160a01b031633146105905760405162461bcd60e51b815260040161042490611811565b60005b81518110156105f8576001600660008484815181106105b4576105b4611958565b6020908102919091018101516001600160a01b03168252810191909152604001600020805460ff1916911515919091179055806105f081611927565b915050610593565b5050565b600c546001600160a01b0316336001600160a01b03161461061c57600080fd5b6000610627306104c3565b90506104c081610fa8565b6000546001600160a01b0316331461065c5760405162461bcd60e51b815260040161042490611811565b600f54600160a01b900460ff16156106b65760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610424565b600e80546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556106f33082683635c9adc5dea000006109f6565b806001600160a01b031663c45a01556040518163ffffffff1660e01b815260040160206040518083038186803b15801561072c57600080fd5b505afa158015610740573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061076491906115c5565b6001600160a01b031663c9c6539630836001600160a01b031663ad5c46486040518163ffffffff1660e01b815260040160206040518083038186803b1580156107ac57600080fd5b505afa1580156107c0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107e491906115c5565b6040516001600160e01b031960e085901b1681526001600160a01b03928316600482015291166024820152604401602060405180830381600087803b15801561082c57600080fd5b505af1158015610840573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061086491906115c5565b600f80546001600160a01b0319166001600160a01b03928316179055600e541663f305d7194730610894816104c3565b6000806108a96000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c4016060604051808303818588803b15801561090c57600080fd5b505af1158015610920573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610945919061178e565b5050600f80546801a055690d9db8000060105563ffff00ff60a01b198116630101000160a01b17909155600e5460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b390604401602060405180830381600087803b1580156109be57600080fd5b505af11580156109d2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105f89190611771565b6001600160a01b038316610a585760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610424565b6001600160a01b038216610ab95760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610424565b6001600160a01b0383811660008181526004602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b7e5760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610424565b6001600160a01b038216610be05760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610424565b60008111610c425760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610424565b6001600a55600b80556000546001600160a01b03848116911614801590610c7757506000546001600160a01b03838116911614155b15610e55576001600160a01b03831660009081526006602052604090205460ff16158015610cbe57506001600160a01b03821660009081526006602052604090205460ff16155b610cc757600080fd5b600f546001600160a01b038481169116148015610cf25750600e546001600160a01b03838116911614155b8015610d1757506001600160a01b03821660009081526005602052604090205460ff16155b8015610d2c5750600f54600160b81b900460ff165b15610d8957601054811115610d4057600080fd5b6001600160a01b0382166000908152600760205260409020544211610d6457600080fd5b610d6f42601e6118b7565b6001600160a01b0383166000908152600760205260409020555b600f546001600160a01b038381169116148015610db45750600e546001600160a01b03848116911614155b8015610dd957506001600160a01b03831660009081526005602052604090205460ff16155b15610de8576001600a55600b80555b6000610df3306104c3565b600f54909150600160a81b900460ff16158015610e1e5750600f546001600160a01b03858116911614155b8015610e335750600f54600160b01b900460ff165b15610e5357610e4181610fa8565b478015610e5157610e5147610e9f565b505b505b610e60838383611131565b505050565b60008184841115610e895760405162461bcd60e51b815260040161042491906117bc565b506000610e968486611910565b95945050505050565b600c546001600160a01b03166108fc610eb983600261113c565b6040518115909202916000818181858888f19350505050158015610ee1573d6000803e3d6000fd5b50600d546001600160a01b03166108fc610efc83600261113c565b6040518115909202916000818181858888f193505050501580156105f8573d6000803e3d6000fd5b6000600854821115610f8b5760405162461bcd60e51b815260206004820152602a60248201527f416d6f756e74206d757374206265206c657373207468616e20746f74616c207260448201526965666c656374696f6e7360b01b6064820152608401610424565b6000610f9561117e565b9050610fa1838261113c565b9392505050565b600f805460ff60a81b1916600160a81b1790556040805160028082526060820183526000926020830190803683370190505090503081600081518110610ff057610ff0611958565b6001600160a01b03928316602091820292909201810191909152600e54604080516315ab88c960e31b81529051919093169263ad5c4648926004808301939192829003018186803b15801561104457600080fd5b505afa158015611058573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061107c91906115c5565b8160018151811061108f5761108f611958565b6001600160a01b039283166020918202929092010152600e546110b591309116846109f6565b600e5460405163791ac94760e01b81526001600160a01b039091169063791ac947906110ee908590600090869030904290600401611846565b600060405180830381600087803b15801561110857600080fd5b505af115801561111c573d6000803e3d6000fd5b5050600f805460ff60a81b1916905550505050565b610e608383836111a1565b6000610fa183836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611298565b600080600061118b6112c6565b909250905061119a828261113c565b9250505090565b6000806000806000806111b387611308565b6001600160a01b038f16600090815260026020526040902054959b509399509197509550935091506111e59087611365565b6001600160a01b03808b1660009081526002602052604080822093909355908a168152205461121490866113a7565b6001600160a01b03891660009081526002602052604090205561123681611406565b6112408483611450565b876001600160a01b0316896001600160a01b03167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161128591815260200190565b60405180910390a3505050505050505050565b600081836112b95760405162461bcd60e51b815260040161042491906117bc565b506000610e9684866118cf565b6008546000908190683635c9adc5dea000006112e2828261113c565b8210156112ff57505060085492683635c9adc5dea0000092509050565b90939092509050565b60008060008060008060008060006113258a600a54600b54611474565b925092509250600061133561117e565b905060008060006113488e8787876114c9565b919e509c509a509598509396509194505050505091939550919395565b6000610fa183836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610e65565b6000806113b483856118b7565b905083811015610fa15760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610424565b600061141061117e565b9050600061141e8383611519565b3060009081526002602052604090205490915061143b90826113a7565b30600090815260026020526040902055505050565b60085461145d9083611365565b60085560095461146d90826113a7565b6009555050565b600080808061148e60646114888989611519565b9061113c565b905060006114a160646114888a89611519565b905060006114b9826114b38b86611365565b90611365565b9992985090965090945050505050565b60008080806114d88886611519565b905060006114e68887611519565b905060006114f48888611519565b90506000611506826114b38686611365565b939b939a50919850919650505050505050565b6000826115285750600061038b565b600061153483856118f1565b90508261154185836118cf565b14610fa15760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610424565b80356115a381611984565b919050565b6000602082840312156115ba57600080fd5b8135610fa181611984565b6000602082840312156115d757600080fd5b8151610fa181611984565b600080604083850312156115f557600080fd5b823561160081611984565b9150602083013561161081611984565b809150509250929050565b60008060006060848603121561163057600080fd5b833561163b81611984565b9250602084013561164b81611984565b929592945050506040919091013590565b6000806040838503121561166f57600080fd5b823561167a81611984565b946020939093013593505050565b6000602080838503121561169b57600080fd5b823567ffffffffffffffff808211156116b357600080fd5b818501915085601f8301126116c757600080fd5b8135818111156116d9576116d961196e565b8060051b604051601f19603f830116810181811085821117156116fe576116fe61196e565b604052828152858101935084860182860187018a101561171d57600080fd5b600095505b838610156117475761173381611598565b855260019590950194938601938601611722565b5098975050505050505050565b60006020828403121561176657600080fd5b8135610fa181611999565b60006020828403121561178357600080fd5b8151610fa181611999565b6000806000606084860312156117a357600080fd5b8351925060208401519150604084015190509250925092565b600060208083528351808285015260005b818110156117e9578581018301518582016040015282016117cd565b818111156117fb576000604083870101525b50601f01601f1916929092016040019392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b818110156118965784516001600160a01b031683529383019391830191600101611871565b50506001600160a01b03969096166060850152505050608001529392505050565b600082198211156118ca576118ca611942565b500190565b6000826118ec57634e487b7160e01b600052601260045260246000fd5b500490565b600081600019048311821515161561190b5761190b611942565b500290565b60008282101561192257611922611942565b500390565b600060001982141561193b5761193b611942565b5060010190565b634e487b7160e01b600052601160045260246000fd5b634e487b7160e01b600052603260045260246000fd5b634e487b7160e01b600052604160045260246000fd5b6001600160a01b03811681146104c057600080fd5b80151581146104c057600080fdfe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220235fbb320f5440be0dc787816610d6a2bf41ef57c881fb705e7e2aa587942cfe64736f6c63430008070033

3564:10365:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5458:83;;;;;;;;;;-1:-1:-1;5528:5:0;;;;;;;;;;;;-1:-1:-1;;;5528:5:0;;;;5458:83;;;;;;;:::i;:::-;;;;;;;;6310:161;;;;;;;;;;-1:-1:-1;6310:161:0;;;;;:::i;:::-;;:::i;:::-;;;5352:14:1;;5345:22;5327:41;;5315:2;5300:18;6310:161:0;5187:187:1;5735:95:0;;;;;;;;;;-1:-1:-1;4064:21:0;5735:95;;;10037:25:1;;;10025:2;10010:18;5735:95:0;9891:177:1;6479:313:0;;;;;;;;;;-1:-1:-1;6479:313:0;;;;;:::i;:::-;;:::i;10656:88::-;;;;;;;;;;-1:-1:-1;10656:88:0;;;;;:::i;:::-;;:::i;:::-;;5644:83;;;;;;;;;;-1:-1:-1;5644:83:0;;4486:1;11200:36:1;;11188:2;11173:18;5644:83:0;11058:184:1;6800:103:0;;;;;;;;;;-1:-1:-1;6800:103:0;;;;;:::i;:::-;;:::i;12033:194::-;;;;;;;;;;;;;:::i;5838:138::-;;;;;;;;;;-1:-1:-1;5838:138:0;;;;;:::i;:::-;;:::i;2643:148::-;;;;;;;;;;;;;:::i;2429:79::-;;;;;;;;;;-1:-1:-1;2467:7:0;2494:6;2429:79;;-1:-1:-1;;;;;2494:6:0;;;3925:51:1;;3913:2;3898:18;2429:79:0;3779:203:1;5549:87:0;;;;;;;;;;-1:-1:-1;5621:7:0;;;;;;;;;;;;-1:-1:-1;;;5621:7:0;;;;5549:87;;5984:167;;;;;;;;;;-1:-1:-1;5984:167:0;;;;;:::i;:::-;;:::i;10480:164::-;;;;;;;;;;-1:-1:-1;10480:164:0;;;;;:::i;:::-;;:::i;11826:195::-;;;;;;;;;;;;;:::i;9652:816::-;;;;;;;;;;;;;:::i;6159:143::-;;;;;;;;;;-1:-1:-1;6159:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6267:18:0;;;6240:7;6267:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6159:143;6310:161;6385:4;6402:39;227:10;6425:7;6434:6;6402:8;:39::i;:::-;-1:-1:-1;6459:4:0;6310:161;;;;;:::o;6479:313::-;6577:4;6594:36;6604:6;6612:9;6623:6;6594:9;:36::i;:::-;6641:121;6650:6;227:10;6672:89;6710:6;6672:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6672:19:0;;;;;;:11;:19;;;;;;;;227:10;6672:33;;;;;;;;;;:37;:89::i;:::-;6641:8;:121::i;:::-;-1:-1:-1;6780:4:0;6479:313;;;;;:::o;10656:88::-;2556:6;;-1:-1:-1;;;;;2556:6:0;227:10;2556:22;2548:67;;;;-1:-1:-1;;;2548:67:0;;;;;;;:::i;:::-;;;;;;;;;-1:-1:-1;;;;;10716:12:0::1;10731:5;10716:12:::0;;;:4:::1;:12;::::0;;;;:20;;-1:-1:-1;;10716:20:0::1;::::0;;10656:88::o;6800:103::-;2556:6;;-1:-1:-1;;;;;2556:6:0;227:10;2556:22;2548:67;;;;-1:-1:-1;;;2548:67:0;;;;;;;:::i;:::-;6872:15:::1;:23:::0;;;::::1;;-1:-1:-1::0;;;6872:23:0::1;-1:-1:-1::0;;;;6872:23:0;;::::1;::::0;;;::::1;::::0;;6800:103::o;12033:194::-;12099:15;;-1:-1:-1;;;;;12099:15:0;227:10;-1:-1:-1;;;;;12083:31:0;;12075:40;;;;;;12155:21;12187:32;12155:21;12187:12;:32::i;:::-;12064:163;12033:194::o;5838:138::-;-1:-1:-1;;;;;5951:16:0;;5904:7;5951:16;;;:7;:16;;;;;;5931:37;;:19;:37::i;2643:148::-;2556:6;;-1:-1:-1;;;;;2556:6:0;227:10;2556:22;2548:67;;;;-1:-1:-1;;;2548:67:0;;;;;;;:::i;:::-;2750:1:::1;2734:6:::0;;2713:40:::1;::::0;-1:-1:-1;;;;;2734:6:0;;::::1;::::0;2713:40:::1;::::0;2750:1;;2713:40:::1;2781:1;2764:19:::0;;-1:-1:-1;;;;;;2764:19:0::1;::::0;;2643:148::o;5984:167::-;6062:4;6079:42;227:10;6103:9;6114:6;6079:9;:42::i;10480:164::-;2556:6;;-1:-1:-1;;;;;2556:6:0;227:10;2556:22;2548:67;;;;-1:-1:-1;;;2548:67:0;;;;;;;:::i;:::-;10554:6:::1;10549:88;10570:5;:12;10566:1;:16;10549:88;;;10621:4;10604;:14;10609:5;10615:1;10609:8;;;;;;;;:::i;:::-;;::::0;;::::1;::::0;;;;;;;-1:-1:-1;;;;;10604:14:0::1;::::0;;;::::1;::::0;;;;;;-1:-1:-1;10604:14:0;:21;;-1:-1:-1;;10604:21:0::1;::::0;::::1;;::::0;;;::::1;::::0;;10584:3;::::1;::::0;::::1;:::i;:::-;;;;10549:88;;;;10480:164:::0;:::o;11826:195::-;11892:15;;-1:-1:-1;;;;;11892:15:0;227:10;-1:-1:-1;;;;;11876:31:0;;11868:40;;;;;;11919:23;11945:24;11963:4;11945:9;:24::i;:::-;11919:50;;11980:33;11997:15;11980:16;:33::i;9652:816::-;2556:6;;-1:-1:-1;;;;;2556:6:0;227:10;2556:22;2548:67;;;;-1:-1:-1;;;2548:67:0;;;;;;;:::i;:::-;9716:11:::1;::::0;-1:-1:-1;;;9716:11:0;::::1;;;9715:12;9707:47;;;::::0;-1:-1:-1;;;9707:47:0;;9741:2:1;9707:47:0::1;::::0;::::1;9723:21:1::0;9780:2;9760:18;;;9753:30;9819:25;9799:18;;;9792:53;9862:18;;9707:47:0::1;9539:347:1::0;9707:47:0::1;9876:15;:34:::0;;-1:-1:-1;;;;;;9876:34:0::1;9822:42;9876:34:::0;;::::1;::::0;;;9921:58:::1;9938:4;9822:42:::0;4064:21:::1;9921:8;:58::i;:::-;10024:16;-1:-1:-1::0;;;;;10024:24:0::1;;:26;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10006:56:0::1;;10071:4;10078:16;-1:-1:-1::0;;;;;10078:21:0::1;;:23;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10006:96;::::0;-1:-1:-1;;;;;;10006:96:0::1;::::0;;;;;;-1:-1:-1;;;;;4217:15:1;;;10006:96:0::1;::::0;::::1;4199:34:1::0;4269:15;;4249:18;;;4242:43;4134:18;;10006:96:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9990:13;:112:::0;;-1:-1:-1;;;;;;9990:112:0::1;-1:-1:-1::0;;;;;9990:112:0;;::::1;;::::0;;10113:15:::1;::::0;::::1;:31;10152:21;10183:4;10189:24;10183:4:::0;10189:9:::1;:24::i;:::-;10214:1;10216::::0;10218:7:::1;2467::::0;2494:6;-1:-1:-1;;;;;2494:6:0;;2429:79;10218:7:::1;10113:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10113:129:0;;;-1:-1:-1;;;;;4934:15:1;;;10113:129:0::1;::::0;::::1;4916:34:1::0;4966:18;;;4959:34;;;;5009:18;;;5002:34;;;;5052:18;;;5045:34;5116:15;;;5095:19;;;5088:44;10226:15:0::1;5148:19:1::0;;;5141:35;4850:19;;10113:129:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10253:11:0::1;:18:::0;;10330:19:::1;10315:12;:34:::0;-1:-1:-1;;;;10360:18:0;;-1:-1:-1;;;10360:18:0;;;;10427:15:::1;::::0;10389:71:::1;::::0;-1:-1:-1;;;10389:71:0;;-1:-1:-1;;;;;10427:15:0;;::::1;10389:71;::::0;::::1;4470:51:1::0;-1:-1:-1;;4537:18:1;;;4530:34;10396:13:0;;;-1:-1:-1;10389:29:0::1;::::0;4443:18:1;;10389:71:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;7173:335::-:0;-1:-1:-1;;;;;7266:19:0;;7258:68;;;;-1:-1:-1;;;7258:68:0;;9336:2:1;7258:68:0;;;9318:21:1;9375:2;9355:18;;;9348:30;9414:34;9394:18;;;9387:62;-1:-1:-1;;;9465:18:1;;;9458:34;9509:19;;7258:68:0;9134:400:1;7258:68:0;-1:-1:-1;;;;;7345:21:0;;7337:68;;;;-1:-1:-1;;;7337:68:0;;6998:2:1;7337:68:0;;;6980:21:1;7037:2;7017:18;;;7010:30;7076:34;7056:18;;;7049:62;-1:-1:-1;;;7127:18:1;;;7120:32;7169:19;;7337:68:0;6796:398:1;7337:68:0;-1:-1:-1;;;;;7416:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7468:32;;10037:25:1;;;7468:32:0;;10010:18:1;7468:32:0;;;;;;;7173:335;;;:::o;7516:1463::-;-1:-1:-1;;;;;7604:18:0;;7596:68;;;;-1:-1:-1;;;7596:68:0;;8930:2:1;7596:68:0;;;8912:21:1;8969:2;8949:18;;;8942:30;9008:34;8988:18;;;8981:62;-1:-1:-1;;;9059:18:1;;;9052:35;9104:19;;7596:68:0;8728:401:1;7596:68:0;-1:-1:-1;;;;;7683:16:0;;7675:64;;;;-1:-1:-1;;;7675:64:0;;6183:2:1;7675:64:0;;;6165:21:1;6222:2;6202:18;;;6195:30;6261:34;6241:18;;;6234:62;-1:-1:-1;;;6312:18:1;;;6305:33;6355:19;;7675:64:0;5981:399:1;7675:64:0;7767:1;7758:6;:10;7750:64;;;;-1:-1:-1;;;7750:64:0;;8520:2:1;7750:64:0;;;8502:21:1;8559:2;8539:18;;;8532:30;8598:34;8578:18;;;8571:62;-1:-1:-1;;;8649:18:1;;;8642:39;8698:19;;7750:64:0;8318:405:1;7750:64:0;7837:1;7825:9;:13;7861:2;7849:14;;-1:-1:-1;2494:6:0;-1:-1:-1;;;;;7878:15:0;;;2494:6;;7878:15;;;;:32;;-1:-1:-1;2467:7:0;2494:6;-1:-1:-1;;;;;7897:13:0;;;2494:6;;7897:13;;7878:32;7874:1053;;;-1:-1:-1;;;;;7936:10:0;;;;;;:4;:10;;;;;;;;7935:11;:24;;;;-1:-1:-1;;;;;;7951:8:0;;;;;;:4;:8;;;;;;;;7950:9;7935:24;7927:33;;;;;;7987:13;;-1:-1:-1;;;;;7979:21:0;;;7987:13;;7979:21;:55;;;;-1:-1:-1;8018:15:0;;-1:-1:-1;;;;;8004:30:0;;;8018:15;;8004:30;;7979:55;:83;;;;-1:-1:-1;;;;;;8040:22:0;;;;;;:18;:22;;;;;;;;8038:24;7979:83;:102;;;;-1:-1:-1;8066:15:0;;-1:-1:-1;;;8066:15:0;;;;7979:102;7975:325;;;8149:12;;8139:6;:22;;8131:31;;;;;;-1:-1:-1;;;;;8189:12:0;;;;;;:8;:12;;;;;;8204:15;-1:-1:-1;8181:39:0;;;;;;8254:30;:15;8273:10;8254:30;:::i;:::-;-1:-1:-1;;;;;8239:12:0;;;;;;:8;:12;;;;;:45;7975:325;8352:13;;-1:-1:-1;;;;;8346:19:0;;;8352:13;;8346:19;:55;;;;-1:-1:-1;8385:15:0;;-1:-1:-1;;;;;8369:32:0;;;8385:15;;8369:32;;8346:55;:85;;;;-1:-1:-1;;;;;;8407:24:0;;;;;;:18;:24;;;;;;;;8405:26;8346:85;8342:172;;;8464:1;8452:9;:13;8496:2;8484:14;;8342:172;8528:28;8559:24;8577:4;8559:9;:24::i;:::-;8603:6;;8528:55;;-1:-1:-1;;;;8603:6:0;;;;8602:7;:32;;;;-1:-1:-1;8621:13:0;;-1:-1:-1;;;;;8613:21:0;;;8621:13;;8613:21;;8602:32;:47;;;;-1:-1:-1;8638:11:0;;-1:-1:-1;;;8638:11:0;;;;8602:47;8598:318;;;8670:38;8687:20;8670:16;:38::i;:::-;8756:21;8799:22;;8796:105;;8846:35;8859:21;8846:12;:35::i;:::-;8651:265;8598:318;7912:1015;7874:1053;8941:30;8956:4;8961:2;8964:6;8941:14;:30::i;:::-;7516:1463;;;:::o;1284:190::-;1370:7;1406:12;1398:6;;;;1390:29;;;;-1:-1:-1;;;1390:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1430:9:0;1442:5;1446:1;1442;:5;:::i;:::-;1430:17;1284:190;-1:-1:-1;;;;;1284:190:0:o;9486:154::-;9543:15;;-1:-1:-1;;;;;9543:15:0;:39;9568:13;:6;9579:1;9568:10;:13::i;:::-;9543:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;9593:15:0;;-1:-1:-1;;;;;9593:15:0;:39;9618:13;:6;9629:1;9618:10;:13::i;:::-;9593:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6911:254;6978:7;7017;;7006;:18;;6998:73;;;;-1:-1:-1;;;6998:73:0;;6587:2:1;6998:73:0;;;6569:21:1;6626:2;6606:18;;;6599:30;6665:34;6645:18;;;6638:62;-1:-1:-1;;;6716:18:1;;;6709:40;6766:19;;6998:73:0;6385:406:1;6998:73:0;7082:19;7105:10;:8;:10::i;:::-;7082:33;-1:-1:-1;7133:24:0;:7;7082:33;7133:11;:24::i;:::-;7126:31;6911:254;-1:-1:-1;;;6911:254:0:o;8987:483::-;4859:6;:13;;-1:-1:-1;;;;4859:13:0;-1:-1:-1;;;4859:13:0;;;9089:16:::1;::::0;;9103:1:::1;9089:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9089:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9089:16:0::1;9065:40;;9134:4;9116;9121:1;9116:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9116:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9160:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9160:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9116:7;;9160:22;;;;;:15;:22;::::1;;::::0;::::1;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9150:4;9155:1;9150:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9150:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9225:15:::1;::::0;9193:62:::1;::::0;9210:4:::1;::::0;9225:15:::1;9243:11:::0;9193:8:::1;:62::i;:::-;9266:15;::::0;:196:::1;::::0;-1:-1:-1;;;9266:196:0;;-1:-1:-1;;;;;9266:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9347:11;;9266:15:::1;::::0;9389:4;;9416::::1;::::0;9436:15:::1;::::0;9266:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;4895:6:0;:14;;-1:-1:-1;;;;4895:14:0;;;-1:-1:-1;;;;8987:483:0:o;10760:146::-;10854:44;10872:6;10880:9;10891:6;10854:17;:44::i;1736:132::-;1794:7;1821:39;1825:1;1828;1821:39;;;;;;;;;;;;;;;;;:3;:39::i;13493:163::-;13534:7;13555:15;13572;13591:19;:17;:19::i;:::-;13554:56;;-1:-1:-1;13554:56:0;-1:-1:-1;13628:20:0;13554:56;;13628:11;:20::i;:::-;13621:27;;;;13493:163;:::o;10914:488::-;11013:15;11030:23;11055:12;11069:23;11094:12;11108:13;11125:19;11136:7;11125:10;:19::i;:::-;-1:-1:-1;;;;;11173:15:0;;;;;;:7;:15;;;;;;11012:132;;-1:-1:-1;11012:132:0;;-1:-1:-1;11012:132:0;;-1:-1:-1;11012:132:0;-1:-1:-1;11012:132:0;-1:-1:-1;11012:132:0;-1:-1:-1;11173:28:0;;11012:132;11173:19;:28::i;:::-;-1:-1:-1;;;;;11155:15:0;;;;;;;:7;:15;;;;;;:46;;;;11233:18;;;;;;;:39;;11256:15;11233:22;:39::i;:::-;-1:-1:-1;;;;;11212:18:0;;;;;;:7;:18;;;;;:60;11284:16;11294:5;11284:9;:16::i;:::-;11311:23;11323:4;11329;11311:11;:23::i;:::-;11367:9;-1:-1:-1;;;;;11350:44:0;11359:6;-1:-1:-1;;;;;11350:44:0;;11378:15;11350:44;;;;10037:25:1;;10025:2;10010:18;;9891:177;11350:44:0;;;;;;;;11001:401;;;;;;10914:488;;;:::o;1876:189::-;1962:7;1997:12;1990:5;1982:28;;;;-1:-1:-1;;;1982:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2021:9:0;2033:5;2037:1;2033;:5;:::i;13664:262::-;13761:7;;13714;;;;4064:21;13835:20;13761:7;4064:21;13835:11;:20::i;:::-;13825:7;:30;13821:61;;;-1:-1:-1;;13865:7:0;;;4064:21;;-1:-1:-1;13664:262:0;-1:-1:-1;13664:262:0:o;13821:61::-;13901:7;;13910;;-1:-1:-1;13664:262:0;-1:-1:-1;13664:262:0:o;12241:471::-;12300:7;12309;12318;12327;12336;12345;12366:23;12391:12;12405:13;12422:42;12434:7;12443:9;;12454;;12422:11;:42::i;:::-;12365:99;;;;;;12475:19;12498:10;:8;:10::i;:::-;12475:33;;12520:15;12537:23;12562:12;12578:46;12590:7;12599:4;12605:5;12612:11;12578;:46::i;:::-;12519:105;;-1:-1:-1;12519:105:0;-1:-1:-1;12519:105:0;-1:-1:-1;12675:15:0;;-1:-1:-1;12692:4:0;;-1:-1:-1;12698:5:0;;-1:-1:-1;;;;;12241:471:0;;;;;;;:::o;1140:136::-;1198:7;1225:43;1229:1;1232;1225:43;;;;;;;;;;;;;;;;;:3;:43::i;953:179::-;1011:7;;1043:5;1047:1;1043;:5;:::i;:::-;1031:17;;1072:1;1067;:6;;1059:46;;;;-1:-1:-1;;;1059:46:0;;7401:2:1;1059:46:0;;;7383:21:1;7440:2;7420:18;;;7413:30;7479:29;7459:18;;;7452:57;7526:18;;1059:46:0;7199:351:1;11410:212:0;11463:19;11486:10;:8;:10::i;:::-;11463:33;-1:-1:-1;11507:13:0;11523:22;:5;11463:33;11523:9;:22::i;:::-;11597:4;11581:22;;;;:7;:22;;;;;;11507:38;;-1:-1:-1;11581:33:0;;11507:38;11581:26;:33::i;:::-;11572:4;11556:22;;;;:7;:22;;;;;:58;-1:-1:-1;;;11410:212:0:o;11630:147::-;11708:7;;:17;;11720:4;11708:11;:17::i;:::-;11698:7;:27;11749:10;;:20;;11764:4;11749:14;:20::i;:::-;11736:10;:33;-1:-1:-1;;11630:147:0:o;12720:351::-;12813:7;;;;12866:28;12890:3;12866:19;:7;12878:6;12866:11;:19::i;:::-;:23;;:28::i;:::-;12851:43;-1:-1:-1;12905:13:0;12921:29;12946:3;12921:20;:7;12933;12921:11;:20::i;:29::-;12905:45;-1:-1:-1;12961:23:0;12987:28;12905:45;12987:17;:7;12999:4;12987:11;:17::i;:::-;:21;;:28::i;:::-;12961:54;13051:4;;-1:-1:-1;13057:5:0;;-1:-1:-1;12720:351:0;;-1:-1:-1;;;;;12720:351:0:o;13079:409::-;13189:7;;;;13245:24;:7;13257:11;13245;:24::i;:::-;13227:42;-1:-1:-1;13280:12:0;13295:21;:4;13304:11;13295:8;:21::i;:::-;13280:36;-1:-1:-1;13327:13:0;13343:22;:5;13353:11;13343:9;:22::i;:::-;13327:38;-1:-1:-1;13376:23:0;13402:28;13327:38;13402:17;:7;13414:4;13402:11;:17::i;:28::-;13449:7;;;;-1:-1:-1;13475:4:0;;-1:-1:-1;13079:409:0;;-1:-1:-1;;;;;;;13079:409:0:o;1482:246::-;1540:7;1564:6;1560:47;;-1:-1:-1;1594:1:0;1587:8;;1560:47;1617:9;1629:5;1633:1;1629;:5;:::i;:::-;1617:17;-1:-1:-1;1662:1:0;1653:5;1657:1;1617:17;1653:5;:::i;:::-;:10;1645:56;;;;-1:-1:-1;;;1645:56:0;;7757:2:1;1645:56:0;;;7739:21:1;7796:2;7776:18;;;7769:30;7835:34;7815:18;;;7808:62;-1:-1:-1;;;7886:18:1;;;7879:31;7927:19;;1645:56:0;7555:397:1;14:134;82:20;;111:31;82:20;111:31;:::i;:::-;14:134;;;:::o;153:247::-;212:6;265:2;253:9;244:7;240:23;236:32;233:52;;;281:1;278;271:12;233:52;320:9;307:23;339:31;364:5;339:31;:::i;405:251::-;475:6;528:2;516:9;507:7;503:23;499:32;496:52;;;544:1;541;534:12;496:52;576:9;570:16;595:31;620:5;595:31;:::i;661:388::-;729:6;737;790:2;778:9;769:7;765:23;761:32;758:52;;;806:1;803;796:12;758:52;845:9;832:23;864:31;889:5;864:31;:::i;:::-;914:5;-1:-1:-1;971:2:1;956:18;;943:32;984:33;943:32;984:33;:::i;:::-;1036:7;1026:17;;;661:388;;;;;:::o;1054:456::-;1131:6;1139;1147;1200:2;1188:9;1179:7;1175:23;1171:32;1168:52;;;1216:1;1213;1206:12;1168:52;1255:9;1242:23;1274:31;1299:5;1274:31;:::i;:::-;1324:5;-1:-1:-1;1381:2:1;1366:18;;1353:32;1394:33;1353:32;1394:33;:::i;:::-;1054:456;;1446:7;;-1:-1:-1;;;1500:2:1;1485:18;;;;1472:32;;1054:456::o;1515:315::-;1583:6;1591;1644:2;1632:9;1623:7;1619:23;1615:32;1612:52;;;1660:1;1657;1650:12;1612:52;1699:9;1686:23;1718:31;1743:5;1718:31;:::i;:::-;1768:5;1820:2;1805:18;;;;1792:32;;-1:-1:-1;;;1515:315:1:o;1835:1132::-;1919:6;1950:2;1993;1981:9;1972:7;1968:23;1964:32;1961:52;;;2009:1;2006;1999:12;1961:52;2049:9;2036:23;2078:18;2119:2;2111:6;2108:14;2105:34;;;2135:1;2132;2125:12;2105:34;2173:6;2162:9;2158:22;2148:32;;2218:7;2211:4;2207:2;2203:13;2199:27;2189:55;;2240:1;2237;2230:12;2189:55;2276:2;2263:16;2298:2;2294;2291:10;2288:36;;;2304:18;;:::i;:::-;2350:2;2347:1;2343:10;2382:2;2376:9;2445:2;2441:7;2436:2;2432;2428:11;2424:25;2416:6;2412:38;2500:6;2488:10;2485:22;2480:2;2468:10;2465:18;2462:46;2459:72;;;2511:18;;:::i;:::-;2547:2;2540:22;2597:18;;;2631:15;;;;-1:-1:-1;2666:11:1;;;2696;;;2692:20;;2689:33;-1:-1:-1;2686:53:1;;;2735:1;2732;2725:12;2686:53;2757:1;2748:10;;2767:169;2781:2;2778:1;2775:9;2767:169;;;2838:23;2857:3;2838:23;:::i;:::-;2826:36;;2799:1;2792:9;;;;;2882:12;;;;2914;;2767:169;;;-1:-1:-1;2955:6:1;1835:1132;-1:-1:-1;;;;;;;;1835:1132:1:o;2972:241::-;3028:6;3081:2;3069:9;3060:7;3056:23;3052:32;3049:52;;;3097:1;3094;3087:12;3049:52;3136:9;3123:23;3155:28;3177:5;3155:28;:::i;3218:245::-;3285:6;3338:2;3326:9;3317:7;3313:23;3309:32;3306:52;;;3354:1;3351;3344:12;3306:52;3386:9;3380:16;3405:28;3427:5;3405:28;:::i;3468:306::-;3556:6;3564;3572;3625:2;3613:9;3604:7;3600:23;3596:32;3593:52;;;3641:1;3638;3631:12;3593:52;3670:9;3664:16;3654:26;;3720:2;3709:9;3705:18;3699:25;3689:35;;3764:2;3753:9;3749:18;3743:25;3733:35;;3468:306;;;;;:::o;5379:597::-;5491:4;5520:2;5549;5538:9;5531:21;5581:6;5575:13;5624:6;5619:2;5608:9;5604:18;5597:34;5649:1;5659:140;5673:6;5670:1;5667:13;5659:140;;;5768:14;;;5764:23;;5758:30;5734:17;;;5753:2;5730:26;5723:66;5688:10;;5659:140;;;5817:6;5814:1;5811:13;5808:91;;;5887:1;5882:2;5873:6;5862:9;5858:22;5854:31;5847:42;5808:91;-1:-1:-1;5960:2:1;5939:15;-1:-1:-1;;5935:29:1;5920:45;;;;5967:2;5916:54;;5379:597;-1:-1:-1;;;5379:597:1:o;7957:356::-;8159:2;8141:21;;;8178:18;;;8171:30;8237:34;8232:2;8217:18;;8210:62;8304:2;8289:18;;7957:356::o;10073:980::-;10335:4;10383:3;10372:9;10368:19;10414:6;10403:9;10396:25;10440:2;10478:6;10473:2;10462:9;10458:18;10451:34;10521:3;10516:2;10505:9;10501:18;10494:31;10545:6;10580;10574:13;10611:6;10603;10596:22;10649:3;10638:9;10634:19;10627:26;;10688:2;10680:6;10676:15;10662:29;;10709:1;10719:195;10733:6;10730:1;10727:13;10719:195;;;10798:13;;-1:-1:-1;;;;;10794:39:1;10782:52;;10889:15;;;;10854:12;;;;10830:1;10748:9;10719:195;;;-1:-1:-1;;;;;;;10970:32:1;;;;10965:2;10950:18;;10943:60;-1:-1:-1;;;11034:3:1;11019:19;11012:35;10931:3;10073:980;-1:-1:-1;;;10073:980:1:o;11247:128::-;11287:3;11318:1;11314:6;11311:1;11308:13;11305:39;;;11324:18;;:::i;:::-;-1:-1:-1;11360:9:1;;11247:128::o;11380:217::-;11420:1;11446;11436:132;;11490:10;11485:3;11481:20;11478:1;11471:31;11525:4;11522:1;11515:15;11553:4;11550:1;11543:15;11436:132;-1:-1:-1;11582:9:1;;11380:217::o;11602:168::-;11642:7;11708:1;11704;11700:6;11696:14;11693:1;11690:21;11685:1;11678:9;11671:17;11667:45;11664:71;;;11715:18;;:::i;:::-;-1:-1:-1;11755:9:1;;11602:168::o;11775:125::-;11815:4;11843:1;11840;11837:8;11834:34;;;11848:18;;:::i;:::-;-1:-1:-1;11885:9:1;;11775:125::o;11905:135::-;11944:3;-1:-1:-1;;11965:17:1;;11962:43;;;11985:18;;:::i;:::-;-1:-1:-1;12032:1:1;12021:13;;11905:135::o;12045:127::-;12106:10;12101:3;12097:20;12094:1;12087:31;12137:4;12134:1;12127:15;12161:4;12158:1;12151:15;12177:127;12238:10;12233:3;12229:20;12226:1;12219:31;12269:4;12266:1;12259:15;12293:4;12290:1;12283:15;12309:127;12370:10;12365:3;12361:20;12358:1;12351:31;12401:4;12398:1;12391:15;12425:4;12422:1;12415:15;12441:131;-1:-1:-1;;;;;12516:31:1;;12506:42;;12496:70;;12562:1;12559;12552:12;12577:118;12663:5;12656:13;12649:21;12642:5;12639:32;12629:60;;12685:1;12682;12675:12

ipfs://235fbb320f5440be0dc787816610d6a2bf41ef57c881fb705e7e2aa587942cfe