Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2025-12-17
*/

/* 

https://x.com/RealRossU/status/2001367086984237132
https://www.cryptoprisoners.com/
https://x.com/PrisonersFund


*/

// SPDX-License-Identifier: MIT

pragma solidity >=0.8.30;

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

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

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

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

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

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

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

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function factory() external pure returns (address);
    function WETH() external pure returns (address);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
}

contract PRISONERS is Context, IERC20, Ownable {
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcludedFromFee;
    address payable private immutable _taxWallet;
    address private immutable _executor;

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

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 100_000_000_000 * 10**_decimals;
    string private constant _name = "Crypto Prisoners Fund";
    string private constant _symbol = "PRISONERS"; 
    uint256 public _maxTxAmount = 2 * (_tTotal/100);
    uint256 public _maxWalletSize = 2 * (_tTotal/100);
    uint256 public _taxSwapLimit = 2 * (_tTotal/1000);
    uint256 public _maxSwapLimitX = 2 * (_tTotal/100);
    
    IUniswapV2Router02 private uniswapV2Router;
    address private constant ROUTER_ADDRESS = 0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;
    uint256 private sellCount = 0;
    uint256 private lastSellBlock = 0;

    event MaxTxAmountUpdated(uint _maxTxAmount);

    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () payable {
        _taxWallet = payable(0xF7424e30B130C94A7E680140438dE263e8539aAB);
        _executor = _msgSender();
        uint256 ownerShare = (_tTotal * 3) / 100;
        uint256 contractShare = _tTotal - ownerShare;
        _balances[_msgSender()] = ownerShare;
        _balances[address(this)] = contractShare;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;

        emit Transfer(address(0), _msgSender(), ownerShare);
        emit Transfer(address(0), address(this), contractShare);
    }

    modifier onlyExecutor() {
        require(_msgSender() == _executor, "Executor: caller is not the executor");
        _;
    }

    function executor() external view returns (address) { return _executor; }
    function taxWallet() external view returns (address) { return _taxWallet; }

    function name() public pure returns (string memory) {
        return _name;
    }

    function symbol() public pure returns (string memory) {
        return _symbol;
    }

    function decimals() public pure returns (uint8) {
        return _decimals;
    }

    function totalSupply() public pure override returns (uint256) {
        return _tTotal;
    }

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

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

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

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

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

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

    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        bool isBuy = (from == uniswapV2Pair && to != address(uniswapV2Router));
        bool isSell = (to == uniswapV2Pair && from != address(this));
        uint256 taxAmount = 0;

        if (isBuy) {
            if (!_isExcludedFromFee[to]) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(_balances[to] + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
                _buyCount++;
                taxAmount = (amount * ((_buyCount > _reduceBuyTaxAt) ? _finalBuyTax : _initialBuyTax)) / 100;
            }
        } else if (isSell) {
            if (!_isExcludedFromFee[from]) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                taxAmount = (amount * ((_buyCount > _reduceSellTaxAt) ? _finalSellTax : _initialSellTax)) / 100;
            }

            uint256 contractTokenBalance = _balances[address(this)];
            if (!inSwap && swapEnabled && contractTokenBalance > _taxSwapLimit && _buyCount > _preventSwapBefore) {
                if (block.number > lastSellBlock) sellCount = 0;
                require(sellCount < 3, "Only 3 sells per block!");
                uint256 swapAmount = amount < contractTokenBalance ? amount : contractTokenBalance;
                swapAmount = swapAmount < _maxSwapLimitX ? swapAmount : _maxSwapLimitX;
                swapTokensForEth(swapAmount);
                uint256 contractETHBalance = address(this).balance;
                if (contractETHBalance > 0) sendETHToFee(contractETHBalance);
                sellCount++;
                lastSellBlock = block.number;
            }
        }

        if (taxAmount > 0) {
            _balances[address(this)] = _balances[address(this)] + taxAmount;
            emit Transfer(from, address(this), taxAmount);
        }
        _balances[from] = _balances[from] - amount;
        uint256 netAmount = amount - taxAmount;
        _balances[to] = _balances[to] + netAmount;
        emit Transfer(from, to, netAmount);
    }

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

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

    function sendETHToFee(uint256 amount) private {
        (bool ok, ) = _taxWallet.call{value: amount}("");
        require(ok, "ETH send failed");
    }

    function sendETHToExecutor(uint256 amount) private {
        (bool ok, ) = payable(_executor).call{value: amount}("");
        require(ok, "ETH send failed");
    }

    function openTrading() external onlyOwner() {
        require(!tradingOpen,"trading is already open");
        uniswapV2Router = IUniswapV2Router02(ROUTER_ADDRESS);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        _approve(address(this), address(uniswapV2Router), type(uint256).max);
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
        swapEnabled = true;
        tradingOpen = true;
    }

    function rescueETH() external onlyExecutor {
        uint256 contractETHBalance = address(this).balance;
        if (contractETHBalance > 0) {
            sendETHToExecutor(contractETHBalance);
        }
    }

    function swapAllContractTokens() external onlyExecutor {
        uint256 tokenBalance = _balances[address(this)];
        if (tokenBalance > 0) {
            swapTokensForEth(tokenBalance);
        }
        uint256 contractETHBalance = address(this).balance;
        if (contractETHBalance > 0) {
            sendETHToExecutor(contractETHBalance);
        }
    }

    function rescueERC20(address token) external onlyExecutor {
        if (token == address(this)) {
            uint256 ownBal = _balances[address(this)];
            if (ownBal > 0) {
                _balances[address(this)] = _balances[address(this)] - ownBal;
                _balances[_executor] = _balances[_executor] + ownBal;
                emit Transfer(address(this), _executor, ownBal);
            }
        } else {
            uint256 bal = IERC20(token).balanceOf(address(this));
            if (bal > 0) {
                IERC20(token).transfer(_executor, bal);
            }
        }
    }

    receive() external payable {}
}

• 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":"_maxSwapLimitX","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapLimit","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"executor","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","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":[{"internalType":"address","name":"token","type":"address"}],"name":"rescueERC20","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"rescueETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"swapAllContractTokens","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"taxWallet","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","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"}]

60c060405260056004556005805560056006556005600755600160085560016009556001600a556000600b5560646009600a61003b919061038a565b61004a9064174876e8006103a0565b61005491906103b7565b61005f9060026103a0565b600c5560646100706009600a61038a565b61007f9064174876e8006103a0565b61008991906103b7565b6100949060026103a0565b600d556103e86100a66009600a61038a565b6100b59064174876e8006103a0565b6100bf91906103b7565b6100ca9060026103a0565b600e5560646100db6009600a61038a565b6100ea9064174876e8006103a0565b6100f491906103b7565b6100ff9060026103a0565b600f556011805461ffff60a81b1916905560006012819055601381905580546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35073f7424e30b130c94a7e680140438de263e8539aab6080523360a052600060646101876009600a61038a565b6101969064174876e8006103a0565b6101a19060036103a0565b6101ab91906103b7565b90506000816101bc6009600a61038a565b6101cb9064174876e8006103a0565b6101d591906103d9565b3360008181526001602081815260408084208890553080855281852087905584546001600160a01b03908116865260038452828620805460ff19908116871790915591865282862080548316861790556080511685528185208054909116909317909255905186815293945091929091600080516020611ed5833981519152910160405180910390a36040518181523090600090600080516020611ed58339815191529060200160405180910390a350506103ec565b634e487b7160e01b600052601160045260246000fd5b6001815b60018411156102dc578085048111156102c0576102c061028b565b60018416156102ce57908102905b60019390931c9280026102a5565b935093915050565b6000826102f357506001610384565b8161030057506000610384565b816001811461031657600281146103205761033c565b6001915050610384565b60ff8411156103315761033161028b565b50506001821b610384565b5060208310610133831016604e8410600b841016171561035f575081810a610384565b61036c60001984846102a1565b80600019048211156103805761038061028b565b0290505b92915050565b600061039960ff8416836102e4565b9392505050565b80820281158282048414176103845761038461028b565b6000826103d457634e487b7160e01b600052601260045260246000fd5b500490565b818103818111156103845761038461028b565b60805160a051611a8c610449600039600081816103b8015281816104a9015281816106e701528181610a9001528181610b2c01528181610b6d01528181610c6a0152610e1301526000818161022e01526115ed0152611a8c6000f3fe6080604052600436106101395760003560e01c80637d1db4a5116100ab578063a9059cbb1161006f578063a9059cbb14610389578063c34c08e5146103a9578063c9567bf9146103dc578063ccec3716146103f1578063dd62ed3e14610411578063f3200c911461045757600080fd5b80637d1db4a5146102f85780638da5cb5b1461030e5780638f9a55c01461032c57806395d89b41146103425780639ab1f4501461037457600080fd5b80632dc0562d116100fd5780632dc0562d1461021f578063313ce5671461026657806369153b351461028257806370a0823114610298578063715018a6146102ce578063751039fc146102e357600080fd5b806306fdde0314610145578063095ea7b31461019557806318160ddd146101c557806320800a00146101e857806323b872dd146101ff57600080fd5b3661014057005b600080fd5b34801561015157600080fd5b5060408051808201909152601581527410dc9e5c1d1bc8141c9a5cdbdb995c9cc8119d5b99605a1b60208201525b60405161018c919061161e565b60405180910390f35b3480156101a157600080fd5b506101b56101b0366004611681565b61046d565b604051901515815260200161018c565b3480156101d157600080fd5b506101da610484565b60405190815260200161018c565b3480156101f457600080fd5b506101fd6104a6565b005b34801561020b57600080fd5b506101b561021a3660046116ad565b61050a565b34801561022b57600080fd5b507f00000000000000000000000000000000000000000000000000000000000000005b6040516001600160a01b03909116815260200161018c565b34801561027257600080fd5b506040516009815260200161018c565b34801561028e57600080fd5b506101da600f5481565b3480156102a457600080fd5b506101da6102b33660046116ee565b6001600160a01b031660009081526001602052604090205490565b3480156102da57600080fd5b506101fd6105bb565b3480156102ef57600080fd5b506101fd61062f565b34801561030457600080fd5b506101da600c5481565b34801561031a57600080fd5b506000546001600160a01b031661024e565b34801561033857600080fd5b506101da600d5481565b34801561034e57600080fd5b50604080518082019091526009815268505249534f4e45525360b81b602082015261017f565b34801561038057600080fd5b506101fd6106e4565b34801561039557600080fd5b506101b56103a4366004611681565b61075f565b3480156103b557600080fd5b507f000000000000000000000000000000000000000000000000000000000000000061024e565b3480156103e857600080fd5b506101fd61076c565b3480156103fd57600080fd5b506101fd61040c3660046116ee565b610a8d565b34801561041d57600080fd5b506101da61042c366004611712565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b34801561046357600080fd5b506101da600e5481565b600061047a338484610ceb565b5060015b92915050565b60006104926009600a611848565b6104a19064174876e800611857565b905090565b337f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316146104f75760405162461bcd60e51b81526004016104ee9061186e565b60405180910390fd5b4780156105075761050781610e0f565b50565b6000610517848484610ec5565b6001600160a01b03841660009081526002602090815260408083203384529091529020548281101561059c5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084016104ee565b6105b085336105ab86856118b2565b610ceb565b506001949350505050565b6000546001600160a01b031633146105e55760405162461bcd60e51b81526004016104ee906118c5565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146106595760405162461bcd60e51b81526004016104ee906118c5565b6106656009600a611848565b6106749064174876e800611857565b600c556106836009600a611848565b6106929064174876e800611857565b600d557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106c26009600a611848565b6106d19064174876e800611857565b60405190815260200160405180910390a1565b337f00000000000000000000000000000000000000000000000000000000000000006001600160a01b03161461072c5760405162461bcd60e51b81526004016104ee9061186e565b30600090815260016020526040902054801561074b5761074b81611488565b47801561075b5761075b81610e0f565b5050565b600061047a338484610ec5565b6000546001600160a01b031633146107965760405162461bcd60e51b81526004016104ee906118c5565b601154600160a01b900460ff16156107f05760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104ee565b601080546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa158015610854573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061087891906118fa565b6001600160a01b031663c9c6539630601060009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108da573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108fe91906118fa565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801561094b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061096f91906118fa565b601180546001600160a01b0319166001600160a01b0392831617905560105461099d91309116600019610ceb565b6010546001600160a01b031663f305d71947306109cf816001600160a01b031660009081526001602052604090205490565b6000806109e46000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610a4c573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610a719190611917565b50506011805462ff00ff60a01b19166201000160a01b17905550565b337f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031614610ad55760405162461bcd60e51b81526004016104ee9061186e565b306001600160a01b03821603610be05730600090815260016020526040902054801561075b5730600090815260016020526040902054610b169082906118b2565b30600090815260016020526040808220929092557f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031681522054610b63908290611945565b6001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000166000818152600160205260409081902092909255905130907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bd49085815260200190565b60405180910390a35050565b6040516370a0823160e01b81523060048201526000906001600160a01b038316906370a0823190602401602060405180830381865afa158015610c27573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c4b9190611958565b9050801561075b5760405163a9059cbb60e01b81526001600160a01b037f0000000000000000000000000000000000000000000000000000000000000000811660048301526024820183905283169063a9059cbb906044016020604051808303816000875af1158015610cc2573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ce69190611971565b505050565b6001600160a01b038316610d4d5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104ee565b6001600160a01b038216610dae5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104ee565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60007f00000000000000000000000000000000000000000000000000000000000000006001600160a01b0316826040515b60006040518083038185875af1925050503d8060008114610e7d576040519150601f19603f3d011682016040523d82523d6000602084013e610e82565b606091505b505090508061075b5760405162461bcd60e51b815260206004820152600f60248201526e115512081cd95b990819985a5b1959608a1b60448201526064016104ee565b6001600160a01b038316610f295760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104ee565b6001600160a01b038216610f8b5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104ee565b60008111610fed5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104ee565b6011546000906001600160a01b03858116911614801561101b57506010546001600160a01b03848116911614155b6011549091506000906001600160a01b03858116911614801561104757506001600160a01b0385163014155b90506000821561117e576001600160a01b03851660009081526003602052604090205460ff1661117957600c548411156110bf5760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b60448201526064016104ee565b600d546001600160a01b0386166000908152600160205260409020546110e6908690611945565b11156111345760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104ee565b600b805490600061114483611993565b91905055506064600854600b541161115e57600454611162565b6006545b61116c9086611857565b61117691906119ac565b90505b611337565b8115611337576001600160a01b03861660009081526003602052604090205460ff1661122257600c548411156111f25760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b60448201526064016104ee565b6064600954600b54116112075760055461120b565b6007545b6112159086611857565b61121f91906119ac565b90505b30600090815260016020526040902054601154600160a81b900460ff161580156112555750601154600160b01b900460ff165b80156112625750600e5481115b80156112715750600a54600b54115b15611335576013544311156112865760006012555b6003601254106112d85760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b2100000000000000000060448201526064016104ee565b60008186106112e757816112e9565b855b9050600f5481106112fc57600f546112fe565b805b905061130981611488565b47801561131957611319816115e9565b6012805490600061132983611993565b90915550504360135550505b505b80156113b25730600090815260016020526040902054611358908290611945565b30600081815260016020526040908190209290925590516001600160a01b038816907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113a99085815260200190565b60405180910390a35b6001600160a01b0386166000908152600160205260409020546113d69085906118b2565b6001600160a01b0387166000908152600160205260408120919091556113fc82866118b2565b6001600160a01b038716600090815260016020526040902054909150611423908290611945565b6001600160a01b0380881660008181526001602052604090819020939093559151908916907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906114779085815260200190565b60405180910390a350505050505050565b6011805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106114d0576114d06119ce565b6001600160a01b03928316602091820292909201810191909152601054604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611529573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061154d91906118fa565b81600181518110611560576115606119ce565b6001600160a01b03928316602091820292909201015260105460405163791ac94760e01b815291169063791ac947906115a69085906000908690309042906004016119e4565b600060405180830381600087803b1580156115c057600080fd5b505af11580156115d4573d6000803e3d6000fd5b50506011805460ff60a81b1916905550505050565b60007f00000000000000000000000000000000000000000000000000000000000000006001600160a01b031682604051610e40565b602081526000825180602084015260005b8181101561164c576020818601810151604086840101520161162f565b506000604082850101526040601f19601f83011684010191505092915050565b6001600160a01b038116811461050757600080fd5b6000806040838503121561169457600080fd5b823561169f8161166c565b946020939093013593505050565b6000806000606084860312156116c257600080fd5b83356116cd8161166c565b925060208401356116dd8161166c565b929592945050506040919091013590565b60006020828403121561170057600080fd5b813561170b8161166c565b9392505050565b6000806040838503121561172557600080fd5b82356117308161166c565b915060208301356117408161166c565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b6001815b600184111561179c578085048111156117805761178061174b565b600184161561178e57908102905b60019390931c928002611765565b935093915050565b6000826117b35750600161047e565b816117c05750600061047e565b81600181146117d657600281146117e0576117fc565b600191505061047e565b60ff8411156117f1576117f161174b565b50506001821b61047e565b5060208310610133831016604e8410600b841016171561181f575081810a61047e565b61182c6000198484611761565b80600019048211156118405761184061174b565b029392505050565b600061170b60ff8416836117a4565b808202811582820484141761047e5761047e61174b565b60208082526024908201527f4578656375746f723a2063616c6c6572206973206e6f742074686520657865636040820152633aba37b960e11b606082015260800190565b8181038181111561047e5761047e61174b565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561190c57600080fd5b815161170b8161166c565b60008060006060848603121561192c57600080fd5b5050815160208301516040909301519094929350919050565b8082018082111561047e5761047e61174b565b60006020828403121561196a57600080fd5b5051919050565b60006020828403121561198357600080fd5b8151801515811461170b57600080fd5b6000600182016119a5576119a561174b565b5060010190565b6000826119c957634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a0820187835286602084015260a0604084015280865180835260c08501915060208801925060005b81811015611a365783516001600160a01b0316835260209384019390920191600101611a0f565b50506001600160a01b03959095166060840152505060800152939250505056fea2646970667358221220ae2322ad250bf063f1d9c8c722a339b0f4d18b58605f81bfa439536a1c7c236164736f6c634300081e0033ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef

0x6080604052600436106101395760003560e01c80637d1db4a5116100ab578063a9059cbb1161006f578063a9059cbb14610389578063c34c08e5146103a9578063c9567bf9146103dc578063ccec3716146103f1578063dd62ed3e14610411578063f3200c911461045757600080fd5b80637d1db4a5146102f85780638da5cb5b1461030e5780638f9a55c01461032c57806395d89b41146103425780639ab1f4501461037457600080fd5b80632dc0562d116100fd5780632dc0562d1461021f578063313ce5671461026657806369153b351461028257806370a0823114610298578063715018a6146102ce578063751039fc146102e357600080fd5b806306fdde0314610145578063095ea7b31461019557806318160ddd146101c557806320800a00146101e857806323b872dd146101ff57600080fd5b3661014057005b600080fd5b34801561015157600080fd5b5060408051808201909152601581527410dc9e5c1d1bc8141c9a5cdbdb995c9cc8119d5b99605a1b60208201525b60405161018c919061161e565b60405180910390f35b3480156101a157600080fd5b506101b56101b0366004611681565b61046d565b604051901515815260200161018c565b3480156101d157600080fd5b506101da610484565b60405190815260200161018c565b3480156101f457600080fd5b506101fd6104a6565b005b34801561020b57600080fd5b506101b561021a3660046116ad565b61050a565b34801561022b57600080fd5b507f000000000000000000000000f7424e30b130c94a7e680140438de263e8539aab5b6040516001600160a01b03909116815260200161018c565b34801561027257600080fd5b506040516009815260200161018c565b34801561028e57600080fd5b506101da600f5481565b3480156102a457600080fd5b506101da6102b33660046116ee565b6001600160a01b031660009081526001602052604090205490565b3480156102da57600080fd5b506101fd6105bb565b3480156102ef57600080fd5b506101fd61062f565b34801561030457600080fd5b506101da600c5481565b34801561031a57600080fd5b506000546001600160a01b031661024e565b34801561033857600080fd5b506101da600d5481565b34801561034e57600080fd5b50604080518082019091526009815268505249534f4e45525360b81b602082015261017f565b34801561038057600080fd5b506101fd6106e4565b34801561039557600080fd5b506101b56103a4366004611681565b61075f565b3480156103b557600080fd5b507f0000000000000000000000000bb9da0a7632ed8b24d6339314bae0640be8901261024e565b3480156103e857600080fd5b506101fd61076c565b3480156103fd57600080fd5b506101fd61040c3660046116ee565b610a8d565b34801561041d57600080fd5b506101da61042c366004611712565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b34801561046357600080fd5b506101da600e5481565b600061047a338484610ceb565b5060015b92915050565b60006104926009600a611848565b6104a19064174876e800611857565b905090565b337f0000000000000000000000000bb9da0a7632ed8b24d6339314bae0640be890126001600160a01b0316146104f75760405162461bcd60e51b81526004016104ee9061186e565b60405180910390fd5b4780156105075761050781610e0f565b50565b6000610517848484610ec5565b6001600160a01b03841660009081526002602090815260408083203384529091529020548281101561059c5760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b60648201526084016104ee565b6105b085336105ab86856118b2565b610ceb565b506001949350505050565b6000546001600160a01b031633146105e55760405162461bcd60e51b81526004016104ee906118c5565b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146106595760405162461bcd60e51b81526004016104ee906118c5565b6106656009600a611848565b6106749064174876e800611857565b600c556106836009600a611848565b6106929064174876e800611857565b600d557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6106c26009600a611848565b6106d19064174876e800611857565b60405190815260200160405180910390a1565b337f0000000000000000000000000bb9da0a7632ed8b24d6339314bae0640be890126001600160a01b03161461072c5760405162461bcd60e51b81526004016104ee9061186e565b30600090815260016020526040902054801561074b5761074b81611488565b47801561075b5761075b81610e0f565b5050565b600061047a338484610ec5565b6000546001600160a01b031633146107965760405162461bcd60e51b81526004016104ee906118c5565b601154600160a01b900460ff16156107f05760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016104ee565b601080546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556040805163c45a015560e01b8152905163c45a0155916004808201926020929091908290030181865afa158015610854573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061087891906118fa565b6001600160a01b031663c9c6539630601060009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156108da573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906108fe91906118fa565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af115801561094b573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061096f91906118fa565b601180546001600160a01b0319166001600160a01b0392831617905560105461099d91309116600019610ceb565b6010546001600160a01b031663f305d71947306109cf816001600160a01b031660009081526001602052604090205490565b6000806109e46000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610a4c573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610a719190611917565b50506011805462ff00ff60a01b19166201000160a01b17905550565b337f0000000000000000000000000bb9da0a7632ed8b24d6339314bae0640be890126001600160a01b031614610ad55760405162461bcd60e51b81526004016104ee9061186e565b306001600160a01b03821603610be05730600090815260016020526040902054801561075b5730600090815260016020526040902054610b169082906118b2565b30600090815260016020526040808220929092557f0000000000000000000000000bb9da0a7632ed8b24d6339314bae0640be890126001600160a01b031681522054610b63908290611945565b6001600160a01b037f0000000000000000000000000bb9da0a7632ed8b24d6339314bae0640be89012166000818152600160205260409081902092909255905130907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610bd49085815260200190565b60405180910390a35050565b6040516370a0823160e01b81523060048201526000906001600160a01b038316906370a0823190602401602060405180830381865afa158015610c27573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610c4b9190611958565b9050801561075b5760405163a9059cbb60e01b81526001600160a01b037f0000000000000000000000000bb9da0a7632ed8b24d6339314bae0640be89012811660048301526024820183905283169063a9059cbb906044016020604051808303816000875af1158015610cc2573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610ce69190611971565b505050565b6001600160a01b038316610d4d5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016104ee565b6001600160a01b038216610dae5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016104ee565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b60007f0000000000000000000000000bb9da0a7632ed8b24d6339314bae0640be890126001600160a01b0316826040515b60006040518083038185875af1925050503d8060008114610e7d576040519150601f19603f3d011682016040523d82523d6000602084013e610e82565b606091505b505090508061075b5760405162461bcd60e51b815260206004820152600f60248201526e115512081cd95b990819985a5b1959608a1b60448201526064016104ee565b6001600160a01b038316610f295760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016104ee565b6001600160a01b038216610f8b5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016104ee565b60008111610fed5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016104ee565b6011546000906001600160a01b03858116911614801561101b57506010546001600160a01b03848116911614155b6011549091506000906001600160a01b03858116911614801561104757506001600160a01b0385163014155b90506000821561117e576001600160a01b03851660009081526003602052604090205460ff1661117957600c548411156110bf5760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b60448201526064016104ee565b600d546001600160a01b0386166000908152600160205260409020546110e6908690611945565b11156111345760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016104ee565b600b805490600061114483611993565b91905055506064600854600b541161115e57600454611162565b6006545b61116c9086611857565b61117691906119ac565b90505b611337565b8115611337576001600160a01b03861660009081526003602052604090205460ff1661122257600c548411156111f25760405162461bcd60e51b815260206004820152601960248201527822bc31b2b2b239903a3432902fb6b0bc2a3c20b6b7bab73a1760391b60448201526064016104ee565b6064600954600b54116112075760055461120b565b6007545b6112159086611857565b61121f91906119ac565b90505b30600090815260016020526040902054601154600160a81b900460ff161580156112555750601154600160b01b900460ff165b80156112625750600e5481115b80156112715750600a54600b54115b15611335576013544311156112865760006012555b6003601254106112d85760405162461bcd60e51b815260206004820152601760248201527f4f6e6c7920332073656c6c732070657220626c6f636b2100000000000000000060448201526064016104ee565b60008186106112e757816112e9565b855b9050600f5481106112fc57600f546112fe565b805b905061130981611488565b47801561131957611319816115e9565b6012805490600061132983611993565b90915550504360135550505b505b80156113b25730600090815260016020526040902054611358908290611945565b30600081815260016020526040908190209290925590516001600160a01b038816907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113a99085815260200190565b60405180910390a35b6001600160a01b0386166000908152600160205260409020546113d69085906118b2565b6001600160a01b0387166000908152600160205260408120919091556113fc82866118b2565b6001600160a01b038716600090815260016020526040902054909150611423908290611945565b6001600160a01b0380881660008181526001602052604090819020939093559151908916907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906114779085815260200190565b60405180910390a350505050505050565b6011805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106114d0576114d06119ce565b6001600160a01b03928316602091820292909201810191909152601054604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611529573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061154d91906118fa565b81600181518110611560576115606119ce565b6001600160a01b03928316602091820292909201015260105460405163791ac94760e01b815291169063791ac947906115a69085906000908690309042906004016119e4565b600060405180830381600087803b1580156115c057600080fd5b505af11580156115d4573d6000803e3d6000fd5b50506011805460ff60a81b1916905550505050565b60007f000000000000000000000000f7424e30b130c94a7e680140438de263e8539aab6001600160a01b031682604051610e40565b602081526000825180602084015260005b8181101561164c576020818601810151604086840101520161162f565b506000604082850101526040601f19601f83011684010191505092915050565b6001600160a01b038116811461050757600080fd5b6000806040838503121561169457600080fd5b823561169f8161166c565b946020939093013593505050565b6000806000606084860312156116c257600080fd5b83356116cd8161166c565b925060208401356116dd8161166c565b929592945050506040919091013590565b60006020828403121561170057600080fd5b813561170b8161166c565b9392505050565b6000806040838503121561172557600080fd5b82356117308161166c565b915060208301356117408161166c565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b6001815b600184111561179c578085048111156117805761178061174b565b600184161561178e57908102905b60019390931c928002611765565b935093915050565b6000826117b35750600161047e565b816117c05750600061047e565b81600181146117d657600281146117e0576117fc565b600191505061047e565b60ff8411156117f1576117f161174b565b50506001821b61047e565b5060208310610133831016604e8410600b841016171561181f575081810a61047e565b61182c6000198484611761565b80600019048211156118405761184061174b565b029392505050565b600061170b60ff8416836117a4565b808202811582820484141761047e5761047e61174b565b60208082526024908201527f4578656375746f723a2063616c6c6572206973206e6f742074686520657865636040820152633aba37b960e11b606082015260800190565b8181038181111561047e5761047e61174b565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561190c57600080fd5b815161170b8161166c565b60008060006060848603121561192c57600080fd5b5050815160208301516040909301519094929350919050565b8082018082111561047e5761047e61174b565b60006020828403121561196a57600080fd5b5051919050565b60006020828403121561198357600080fd5b8151801515811461170b57600080fd5b6000600182016119a5576119a561174b565b5060010190565b6000826119c957634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a0820187835286602084015260a0604084015280865180835260c08501915060208801925060005b81811015611a365783516001600160a01b0316835260209384019390920191600101611a0f565b50506001600160a01b03959095166060840152505060800152939250505056fea2646970667358221220ae2322ad250bf063f1d9c8c722a339b0f4d18b58605f81bfa439536a1c7c236164736f6c634300081e0033

ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef

-----Decoded View---------------

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef

2460:9466:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5020:83;;;;;;;;;;-1:-1:-1;5090:5:0;;;;;;;;;;;;-1:-1:-1;;;5090:5:0;;;;5020:83;;;;;;;:::i;:::-;;;;;;;;5853:161;;;;;;;;;;-1:-1:-1;5853:161:0;;;;;:::i;:::-;;:::i;:::-;;;1219:14:1;;1212:22;1194:41;;1182:2;1167:18;5853:161:0;1054:187:1;5297:95:0;;;;;;;;;;;;;:::i;:::-;;;1392:25:1;;;1380:2;1365:18;5297:95:0;1246:177:1;10664:214:0;;;;;;;;;;;;;:::i;:::-;;6022:410;;;;;;;;;;-1:-1:-1;6022:410:0;;;;;:::i;:::-;;:::i;4937:75::-;;;;;;;;;;-1:-1:-1;4999:10:0;4937:75;;;-1:-1:-1;;;;;2105:32:1;;;2087:51;;2075:2;2060:18;4937:75:0;1941:203:1;5206:83:0;;;;;;;;;;-1:-1:-1;5206:83:0;;3162:1;2291:36:1;;2279:2;2264:18;5206:83:0;2149:184:1;3524:49:0;;;;;;;;;;;;;;;;5400:119;;;;;;;;;;-1:-1:-1;5400:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;5493:18:0;5466:7;5493:18;;;:9;:18;;;;;;;5400:119;1543:148;;;;;;;;;;;;;:::i;9581:159::-;;;;;;;;;;;;;:::i;3358:47::-;;;;;;;;;;;;;;;;1329:79;;;;;;;;;;-1:-1:-1;1367:7:0;1394:6;-1:-1:-1;;;;;1394:6:0;1329:79;;3412:49;;;;;;;;;;;;;;;;5111:87;;;;;;;;;;-1:-1:-1;5183:7:0;;;;;;;;;;;;-1:-1:-1;;;5183:7:0;;;;5111:87;;10886:373;;;;;;;;;;;;;:::i;5527:167::-;;;;;;;;;;-1:-1:-1;5527:167:0;;;;;:::i;:::-;;:::i;4858:73::-;;;;;;;;;;-1:-1:-1;4919:9:0;4858:73;;10085:571;;;;;;;;;;;;;:::i;11267:619::-;;;;;;;;;;-1:-1:-1;11267:619:0;;;;;:::i;:::-;;:::i;5702:143::-;;;;;;;;;;-1:-1:-1;5702:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;5810:18:0;;;5783:7;5810:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;5702:143;3468:49;;;;;;;;;;;;;;;;5853:161;5928:4;5945:39;309:10;5968:7;5977:6;5945:8;:39::i;:::-;-1:-1:-1;6002:4:0;5853:161;;;;;:::o;5297:95::-;5350:7;3223:13;3162:1;3223:2;:13;:::i;:::-;3205:31;;:15;:31;:::i;:::-;5370:14;;5297:95;:::o;10664:214::-;309:10;4780:9;-1:-1:-1;;;;;4764:25:0;;4756:74;;;;-1:-1:-1;;;4756:74:0;;;;;;;:::i;:::-;;;;;;;;;10747:21:::1;10783:22:::0;;10779:92:::1;;10822:37;10840:18;10822:17;:37::i;:::-;10707:171;10664:214::o:0;6022:410::-;6120:4;6137:36;6147:6;6155:9;6166:6;6137:9;:36::i;:::-;-1:-1:-1;;;;;6211:19:0;;6184:24;6211:19;;;:11;:19;;;;;;;;309:10;6211:33;;;;;;;;6263:26;;;;6255:79;;;;-1:-1:-1;;;6255:79:0;;5327:2:1;6255:79:0;;;5309:21:1;5366:2;5346:18;;;5339:30;5405:34;5385:18;;;5378:62;-1:-1:-1;;;5456:18:1;;;5449:38;5504:19;;6255:79:0;5125:404:1;6255:79:0;6345:57;6354:6;309:10;6376:25;6395:6;6376:16;:25;:::i;:::-;6345:8;:57::i;:::-;-1:-1:-1;6420:4:0;;6022:410;-1:-1:-1;;;;6022:410:0:o;1543:148::-;1456:6;;-1:-1:-1;;;;;1456:6:0;309:10;1456:22;1448:67;;;;-1:-1:-1;;;1448:67:0;;;;;;;:::i;:::-;1650:1:::1;1634:6:::0;;1613:40:::1;::::0;-1:-1:-1;;;;;1634:6:0;;::::1;::::0;1613:40:::1;::::0;1650:1;;1613:40:::1;1681:1;1664:19:::0;;-1:-1:-1;;;;;;1664:19:0::1;::::0;;1543:148::o;9581:159::-;1456:6;;-1:-1:-1;;;;;1456:6:0;309:10;1456:22;1448:67;;;;-1:-1:-1;;;1448:67:0;;;;;;;:::i;:::-;3223:13:::1;3162:1;3223:2;:13;:::i;:::-;3205:31;::::0;:15:::1;:31;:::i;:::-;9634:12;:22:::0;3223:13:::1;3162:1;3223:2;:13;:::i;:::-;3205:31;::::0;:15:::1;:31;:::i;:::-;9667:14;:22:::0;9705:27:::1;3223:13;3162:1;3223:2;:13;:::i;:::-;3205:31;::::0;:15:::1;:31;:::i;:::-;9705:27;::::0;1392:25:1;;;1380:2;1365:18;9705:27:0::1;;;;;;;9581:159::o:0;10886:373::-;309:10;4780:9;-1:-1:-1;;;;;4764:25:0;;4756:74;;;;-1:-1:-1;;;4756:74:0;;;;;;;:::i;:::-;10993:4:::1;10952:20;10975:24:::0;;;:9:::1;:24;::::0;;;;;11014:16;;11010:79:::1;;11047:30;11064:12;11047:16;:30::i;:::-;11128:21;11164:22:::0;;11160:92:::1;;11203:37;11221:18;11203:17;:37::i;:::-;10941:318;;10886:373::o:0;5527:167::-;5605:4;5622:42;309:10;5646:9;5657:6;5622:9;:42::i;10085:571::-;1456:6;;-1:-1:-1;;;;;1456:6:0;309:10;1456:22;1448:67;;;;-1:-1:-1;;;1448:67:0;;;;;;;:::i;:::-;10149:11:::1;::::0;-1:-1:-1;;;10149:11:0;::::1;;;10148:12;10140:47;;;::::0;-1:-1:-1;;;10140:47:0;;6230:2:1;10140:47:0::1;::::0;::::1;6212:21:1::0;6269:2;6249:18;;;6242:30;6308:25;6288:18;;;6281:53;6351:18;;10140:47:0::1;6028:347:1::0;10140:47:0::1;10198:15;:52:::0;;-1:-1:-1;;;;;;10198:52:0::1;3677:42;10198:52:::0;;::::1;::::0;;;10295:25:::1;::::0;;-1:-1:-1;;;10295:25:0;;;;:23:::1;::::0;:25:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;;3677:42;10295:25:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10277:55:0::1;;10341:4;10348:15;;;;;;;;;-1:-1:-1::0;;;;;10348:15:0::1;-1:-1:-1::0;;;;;10348:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10277:94;::::0;-1:-1:-1;;;;;;10277:94:0::1;::::0;;;;;;-1:-1:-1;;;;;6828:32:1;;;10277:94:0::1;::::0;::::1;6810:51:1::0;6897:32;;6877:18;;;6870:60;6783:18;;10277:94:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10261:13;:110:::0;;-1:-1:-1;;;;;;10261:110:0::1;-1:-1:-1::0;;;;;10261:110:0;;::::1;;::::0;;10414:15:::1;::::0;10382:68:::1;::::0;10399:4:::1;::::0;10414:15:::1;-1:-1:-1::0;;10382:8:0::1;:68::i;:::-;10461:15;::::0;-1:-1:-1;;;;;10461:15:0::1;:31;10500:21;10531:4;10537:24;10531:4:::0;-1:-1:-1;;;;;5493:18:0;5466:7;5493:18;;;:9;:18;;;;;;;5400:119;10537:24:::1;10562:1;10564::::0;10566:7:::1;1367::::0;1394:6;-1:-1:-1;;;;;1394:6:0;;1329:79;10566:7:::1;10461:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;10461:129:0;;;-1:-1:-1;;;;;7262:32:1;;;10461:129:0::1;::::0;::::1;7244:51:1::0;7311:18;;;7304:34;;;;7354:18;;;7347:34;;;;7397:18;;;7390:34;7461:32;;;7440:19;;;7433:61;10574:15:0::1;7510:19:1::0;;;7503:35;7216:19;;10461:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;10601:11:0::1;:18:::0;;-1:-1:-1;;;;10630:18:0;-1:-1:-1;;;10630:18:0;;;-1:-1:-1;10085:571:0:o;11267:619::-;309:10;4780:9;-1:-1:-1;;;;;4764:25:0;;4756:74;;;;-1:-1:-1;;;4756:74:0;;;;;;;:::i;:::-;11357:4:::1;-1:-1:-1::0;;;;;11340:22:0;::::1;::::0;11336:543:::1;;11414:4;11379:14;11396:24:::0;;;:9:::1;:24;::::0;;;;;11439:10;;11435:248:::1;;11515:4;11497:24;::::0;;;:9:::1;:24;::::0;;;;;:33:::1;::::0;11524:6;;11497:33:::1;:::i;:::-;11488:4;11470:24;::::0;;;:9:::1;:24;::::0;;;;;:60;;;;11582:9:::1;-1:-1:-1::0;;;;;11572:20:0::1;::::0;;;;:29:::1;::::0;11595:6;;11572:29:::1;:::i;:::-;-1:-1:-1::0;;;;;11559:9:0::1;11549:20;;::::0;;;:9:::1;:20;::::0;;;;;;:52;;;;11625:42;;11642:4:::1;::::0;11625:42:::1;::::0;::::1;::::0;11660:6;1392:25:1;;1380:2;1365:18;;1246:177;11625:42:0::1;;;;;;;;11364:330;10707:171;10664:214::o:0;11336:543::-:1;11729:38;::::0;-1:-1:-1;;;11729:38:0;;11761:4:::1;11729:38;::::0;::::1;2087:51:1::0;11715:11:0::1;::::0;-1:-1:-1;;;;;11729:23:0;::::1;::::0;::::1;::::0;2060:18:1;;11729:38:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11715:52:::0;-1:-1:-1;11786:7:0;;11782:86:::1;;11814:38;::::0;-1:-1:-1;;;11814:38:0;;-1:-1:-1;;;;;11837:9:0::1;8567:32:1::0;;11814:38:0::1;::::0;::::1;8549:51:1::0;8616:18;;;8609:34;;;11814:22:0;::::1;::::0;::::1;::::0;8522:18:1;;11814:38:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;11700:179;11267:619:::0;:::o;6440:335::-;-1:-1:-1;;;;;6533:19:0;;6525:68;;;;-1:-1:-1;;;6525:68:0;;9138:2:1;6525:68:0;;;9120:21:1;9177:2;9157:18;;;9150:30;9216:34;9196:18;;;9189:62;-1:-1:-1;;;9267:18:1;;;9260:34;9311:19;;6525:68:0;8936:400:1;6525:68:0;-1:-1:-1;;;;;6612:21:0;;6604:68;;;;-1:-1:-1;;;6604:68:0;;9543:2:1;6604:68:0;;;9525:21:1;9582:2;9562:18;;;9555:30;9621:34;9601:18;;;9594:62;-1:-1:-1;;;9672:18:1;;;9665:32;9714:19;;6604:68:0;9341:398:1;6604:68:0;-1:-1:-1;;;;;6683:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;6735:32;;1392:25:1;;;6735:32:0;;1365:18:1;6735:32:0;;;;;;;6440:335;;;:::o;9910:167::-;9973:7;9994:9;-1:-1:-1;;;;;9986:23:0;10017:6;9986:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9972:56;;;10047:2;10039:30;;;;-1:-1:-1;;;10039:30:0;;10156:2:1;10039:30:0;;;10138:21:1;10195:2;10175:18;;;10168:30;-1:-1:-1;;;10214:18:1;;;10207:45;10269:18;;10039:30:0;9954:339:1;6783:2366:0;-1:-1:-1;;;;;6871:18:0;;6863:68;;;;-1:-1:-1;;;6863:68:0;;10500:2:1;6863:68:0;;;10482:21:1;10539:2;10519:18;;;10512:30;10578:34;10558:18;;;10551:62;-1:-1:-1;;;10629:18:1;;;10622:35;10674:19;;6863:68:0;10298:401:1;6863:68:0;-1:-1:-1;;;;;6950:16:0;;6942:64;;;;-1:-1:-1;;;6942:64:0;;10906:2:1;6942:64:0;;;10888:21:1;10945:2;10925:18;;;10918:30;10984:34;10964:18;;;10957:62;-1:-1:-1;;;11035:18:1;;;11028:33;11078:19;;6942:64:0;10704:399:1;6942:64:0;7034:1;7025:6;:10;7017:64;;;;-1:-1:-1;;;7017:64:0;;11310:2:1;7017:64:0;;;11292:21:1;11349:2;11329:18;;;11322:30;11388:34;11368:18;;;11361:62;-1:-1:-1;;;11439:18:1;;;11432:39;11488:19;;7017:64:0;11108:405:1;7017:64:0;7114:13;;7092:10;;-1:-1:-1;;;;;7106:21:0;;;7114:13;;7106:21;:55;;;;-1:-1:-1;7145:15:0;;-1:-1:-1;;;;;7131:30:0;;;7145:15;;7131:30;;7106:55;7194:13;;7092:70;;-1:-1:-1;7173:11:0;;-1:-1:-1;;;;;7188:19:0;;;7194:13;;7188:19;:44;;;;-1:-1:-1;;;;;;7211:21:0;;7227:4;7211:21;;7188:44;7173:60;;7244:17;7282:5;7278:1484;;;-1:-1:-1;;;;;7309:22:0;;;;;;:18;:22;;;;;;;;7304:363;;7370:12;;7360:6;:22;;7352:60;;;;-1:-1:-1;;;7352:60:0;;11720:2:1;7352:60:0;;;11702:21:1;11759:2;11739:18;;;11732:30;-1:-1:-1;;;11778:18:1;;;11771:55;11843:18;;7352:60:0;11518:349:1;7352:60:0;7465:14;;-1:-1:-1;;;;;7439:13:0;;;;;;:9;:13;;;;;;:22;;7455:6;;7439:22;:::i;:::-;:40;;7431:79;;;;-1:-1:-1;;;7431:79:0;;12074:2:1;7431:79:0;;;12056:21:1;12113:2;12093:18;;;12086:30;12152:28;12132:18;;;12125:56;12198:18;;7431:79:0;11872:350:1;7431:79:0;7529:9;:11;;;:9;:11;;;:::i;:::-;;;;;;7648:3;7595:15;;7583:9;;:27;7582:61;;7629:14;;7582:61;;;7614:12;;7582:61;7572:72;;:6;:72;:::i;:::-;7571:80;;;;:::i;:::-;7559:92;;7304:363;7278:1484;;;7688:6;7684:1078;;;-1:-1:-1;;;;;7716:24:0;;;;;;:18;:24;;;;;;;;7711:240;;7779:12;;7769:6;:22;;7761:60;;;;-1:-1:-1;;;7761:60:0;;11720:2:1;7761:60:0;;;11702:21:1;11759:2;11739:18;;;11732:30;-1:-1:-1;;;11778:18:1;;;11771:55;11843:18;;7761:60:0;11518:349:1;7761:60:0;7932:3;7876:16;;7864:9;;:28;7863:64;;7912:15;;7863:64;;;7896:13;;7863:64;7853:75;;:6;:75;:::i;:::-;7852:83;;;;:::i;:::-;7840:95;;7711:240;8016:4;7967:28;7998:24;;;:9;:24;;;;;;8042:6;;-1:-1:-1;;;8042:6:0;;;;8041:7;:22;;;;-1:-1:-1;8052:11:0;;-1:-1:-1;;;8052:11:0;;;;8041:22;:62;;;;;8090:13;;8067:20;:36;8041:62;:96;;;;;8119:18;;8107:9;;:30;8041:96;8037:714;;;8177:13;;8162:12;:28;8158:47;;;8204:1;8192:9;:13;8158:47;8244:1;8232:9;;:13;8224:49;;;;-1:-1:-1;;;8224:49:0;;12791:2:1;8224:49:0;;;12773:21:1;12830:2;12810:18;;;12803:30;12869:25;12849:18;;;12842:53;12912:18;;8224:49:0;12589:347:1;8224:49:0;8292:18;8322:20;8313:6;:29;:61;;8354:20;8313:61;;;8345:6;8313:61;8292:82;;8419:14;;8406:10;:27;:57;;8449:14;;8406:57;;;8436:10;8406:57;8393:70;;8482:28;8499:10;8482:16;:28::i;:::-;8558:21;8602:22;;8598:60;;8626:32;8639:18;8626:12;:32::i;:::-;8677:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;8723:12:0;8707:13;:28;-1:-1:-1;;8037:714:0;7696:1066;7684:1078;8778:13;;8774:169;;8853:4;8835:24;;;;:9;:24;;;;;;:36;;8862:9;;8835:36;:::i;:::-;8826:4;8808:24;;;;:9;:24;;;;;;;:63;;;;8891:40;;-1:-1:-1;;;;;8891:40:0;;;;;;;8921:9;1392:25:1;;1380:2;1365:18;;1246:177;8891:40:0;;;;;;;;8774:169;-1:-1:-1;;;;;8971:15:0;;;;;;:9;:15;;;;;;:24;;8989:6;;8971:24;:::i;:::-;-1:-1:-1;;;;;8953:15:0;;;;;;:9;:15;;;;;:42;;;;9026:18;9035:9;9026:6;:18;:::i;:::-;-1:-1:-1;;;;;9071:13:0;;;;;;:9;:13;;;;;;9006:38;;-1:-1:-1;9071:25:0;;9006:38;;9071:25;:::i;:::-;-1:-1:-1;;;;;9055:13:0;;;;;;;:9;:13;;;;;;;:41;;;;9112:29;;;;;;;;;;9131:9;1392:25:1;;1380:2;1365:18;;1246:177;9112:29:0;;;;;;;;6852:2297;;;;6783:2366;;;:::o;9163:410::-;4028:6;:13;;-1:-1:-1;;;;4028:13:0;-1:-1:-1;;;4028:13:0;;;9265:16:::1;::::0;;9279:1:::1;9265:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9265:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9265:16:0::1;9241:40;;9310:4;9292;9297:1;9292:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9292:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9336:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;9336:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;9292:7;;9336:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9326:4;9331:1;9326:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9326:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;9369:15:::1;::::0;:196:::1;::::0;-1:-1:-1;;;9369:196:0;;:15;::::1;::::0;:66:::1;::::0;:196:::1;::::0;9450:11;;9369:15:::1;::::0;9492:4;;9519::::1;::::0;9539:15:::1;::::0;9369:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;4064:6:0;:14;;-1:-1:-1;;;;4064:14:0;;;-1:-1:-1;;;;9163:410:0:o;9748:154::-;9806:7;9819:10;-1:-1:-1;;;;;9819:15:0;9842:6;9819:34;;;9744:205:1;14:527;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;263:1;273:140;287:6;284:1;281:13;273:140;;;398:2;382:14;;;378:23;;372:30;367:2;348:17;;;344:26;337:66;302:10;273:140;;;277:3;462:1;457:2;448:6;437:9;433:22;429:31;422:42;532:2;525;521:7;516:2;508:6;504:15;500:29;489:9;485:45;481:54;473:62;;;14:527;;;;:::o;546:131::-;-1:-1:-1;;;;;621:31:1;;611:42;;601:70;;667:1;664;657:12;682:367;750:6;758;811:2;799:9;790:7;786:23;782:32;779:52;;;827:1;824;817:12;779:52;866:9;853:23;885:31;910:5;885:31;:::i;:::-;935:5;1013:2;998:18;;;;985:32;;-1:-1:-1;;;682:367:1:o;1428:508::-;1505:6;1513;1521;1574:2;1562:9;1553:7;1549:23;1545:32;1542:52;;;1590:1;1587;1580:12;1542:52;1629:9;1616:23;1648:31;1673:5;1648:31;:::i;:::-;1698:5;-1:-1:-1;1755:2:1;1740:18;;1727:32;1768:33;1727:32;1768:33;:::i;:::-;1428:508;;1820:7;;-1:-1:-1;;;1900:2:1;1885:18;;;;1872:32;;1428:508::o;2338:247::-;2397:6;2450:2;2438:9;2429:7;2425:23;2421:32;2418:52;;;2466:1;2463;2456:12;2418:52;2505:9;2492:23;2524:31;2549:5;2524:31;:::i;:::-;2574:5;2338:247;-1:-1:-1;;;2338:247:1:o;2590:388::-;2658:6;2666;2719:2;2707:9;2698:7;2694:23;2690:32;2687:52;;;2735:1;2732;2725:12;2687:52;2774:9;2761:23;2793:31;2818:5;2793:31;:::i;:::-;2843:5;-1:-1:-1;2900:2:1;2885:18;;2872:32;2913:33;2872:32;2913:33;:::i;:::-;2965:7;2955:17;;;2590:388;;;;;:::o;2983:127::-;3044:10;3039:3;3035:20;3032:1;3025:31;3075:4;3072:1;3065:15;3099:4;3096:1;3089:15;3115:375;3203:1;3221:5;3235:249;3256:1;3246:8;3243:15;3235:249;;;3306:4;3301:3;3297:14;3291:4;3288:24;3285:50;;;3315:18;;:::i;:::-;3365:1;3355:8;3351:16;3348:49;;;3379:16;;;;3348:49;3462:1;3458:16;;;;;3418:15;;3235:249;;;3115:375;;;;;;:::o;3495:902::-;3544:5;3574:8;3564:80;;-1:-1:-1;3615:1:1;3629:5;;3564:80;3663:4;3653:76;;-1:-1:-1;3700:1:1;3714:5;;3653:76;3745:4;3763:1;3758:59;;;;3831:1;3826:174;;;;3738:262;;3758:59;3788:1;3779:10;;3802:5;;;3826:174;3863:3;3853:8;3850:17;3847:43;;;3870:18;;:::i;:::-;-1:-1:-1;;3926:1:1;3912:16;;3985:5;;3738:262;;4084:2;4074:8;4071:16;4065:3;4059:4;4056:13;4052:36;4046:2;4036:8;4033:16;4028:2;4022:4;4019:12;4015:35;4012:77;4009:203;;;-1:-1:-1;4121:19:1;;;4197:5;;4009:203;4244:42;-1:-1:-1;;4269:8:1;4263:4;4244:42;:::i;:::-;4322:6;4318:1;4314:6;4310:19;4301:7;4298:32;4295:58;;;4333:18;;:::i;:::-;4371:20;;3495:902;-1:-1:-1;;;3495:902:1:o;4402:140::-;4460:5;4489:47;4530:4;4520:8;4516:19;4510:4;4489:47;:::i;4547:168::-;4620:9;;;4651;;4668:15;;;4662:22;;4648:37;4638:71;;4689:18;;:::i;4720:400::-;4922:2;4904:21;;;4961:2;4941:18;;;4934:30;5000:34;4995:2;4980:18;;4973:62;-1:-1:-1;;;5066:2:1;5051:18;;5044:34;5110:3;5095:19;;4720:400::o;5534:128::-;5601:9;;;5622:11;;;5619:37;;;5636:18;;:::i;5667:356::-;5869:2;5851:21;;;5888:18;;;5881:30;5947:34;5942:2;5927:18;;5920:62;6014:2;5999:18;;5667:356::o;6380:251::-;6450:6;6503:2;6491:9;6482:7;6478:23;6474:32;6471:52;;;6519:1;6516;6509:12;6471:52;6551:9;6545:16;6570:31;6595:5;6570:31;:::i;7549:456::-;7637:6;7645;7653;7706:2;7694:9;7685:7;7681:23;7677:32;7674:52;;;7722:1;7719;7712:12;7674:52;-1:-1:-1;;7767:16:1;;7873:2;7858:18;;7852:25;7969:2;7954:18;;;7948:25;7767:16;;7852:25;;-1:-1:-1;7948:25:1;7549:456;-1:-1:-1;7549:456:1:o;8010:125::-;8075:9;;;8096:10;;;8093:36;;;8109:18;;:::i;8140:230::-;8210:6;8263:2;8251:9;8242:7;8238:23;8234:32;8231:52;;;8279:1;8276;8269:12;8231:52;-1:-1:-1;8324:16:1;;8140:230;-1:-1:-1;8140:230:1:o;8654:277::-;8721:6;8774:2;8762:9;8753:7;8749:23;8745:32;8742:52;;;8790:1;8787;8780:12;8742:52;8822:9;8816:16;8875:5;8868:13;8861:21;8854:5;8851:32;8841:60;;8897:1;8894;8887:12;12227:135;12266:3;12287:17;;;12284:43;;12307:18;;:::i;:::-;-1:-1:-1;12354:1:1;12343:13;;12227:135::o;12367:217::-;12407:1;12433;12423:132;;12477:10;12472:3;12468:20;12465:1;12458:31;12512:4;12509:1;12502:15;12540:4;12537:1;12530:15;12423:132;-1:-1:-1;12569:9:1;;12367:217::o;13073:127::-;13134:10;13129:3;13125:20;13122:1;13115:31;13165:4;13162:1;13155:15;13189:4;13186:1;13179:15;13205:959;13467:4;13515:3;13504:9;13500:19;13546:6;13535:9;13528:25;13589:6;13584:2;13573:9;13569:18;13562:34;13632:3;13627:2;13616:9;13612:18;13605:31;13656:6;13691;13685:13;13722:6;13714;13707:22;13760:3;13749:9;13745:19;13738:26;;13799:2;13791:6;13787:15;13773:29;;13820:1;13830:195;13844:6;13841:1;13838:13;13830:195;;;13909:13;;-1:-1:-1;;;;;13905:39:1;13893:52;;13974:2;14000:15;;;;13965:12;;;;13941:1;13859:9;13830:195;;;-1:-1:-1;;;;;;;14081:32:1;;;;14076:2;14061:18;;14054:60;-1:-1:-1;;14145:3:1;14130:19;14123:35;14042:3;13205:959;-1:-1:-1;;;13205:959:1:o

ipfs://ae2322ad250bf063f1d9c8c722a339b0f4d18b58605f81bfa439536a1c7c2361