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 2024-11-12
*/

/*

Vitalik : Someone should make a project called "THE Protocol", so that their shills can say "Look, soandso mentioned THE!" pretty much any time anyone says anything.

https://x.com/VitalikButerin/status/1580981360499757056

$THE Protocol

https://theprotocol.us/

https://t.me/TheProtocolOnEth

https://x.com/THEProtocol_erc

*/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.25;

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

interface IERC20 {
    function totalSupply() external view returns (uint256);
    function balanceOf(address account) external view returns (uint256);
    function transfer(address recipient, uint256 amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint256);
    function approve(address spender, uint256 amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
}

library SafeMath {
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");
        return c;
    }

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

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

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

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

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

}

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

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

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

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

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

    function transferOwnership(address newOwner) public virtual onlyOwner {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

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 THE is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _allowances;
    mapping (address => bool) private isExile;
    mapping (address => bool) public marketPair;
    mapping (uint256 => uint256) private perBuyCount;
    address payable private _taxWallet;
    uint256 private firstBlock = 0;

    uint256 private _initialBuyTax=17;
    uint256 private _initialSellTax=20;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;

    uint256 private _reduceBuyTaxAt=30;

    uint256 private _reduceSellTaxAt=35;
    uint256 private _preventSwapBefore=35;
    uint256 private _buyCount=0;
    uint256 private sellCount = 0;
    uint256 private lastSellBlock = 0;

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 10000000000 * 10**_decimals;
    string private constant _name = unicode"The Protocol";
    string private constant _symbol = unicode"THE";
    uint256 public _maxTxAmount =   100000000 * 10**_decimals;
    uint256 public _maxWalletSize = 100000000 * 10**_decimals;
    uint256 public _taxSwapThreshold= 100000000 * 10**_decimals;
    uint256 public _maxTaxSwap= 100000000 * 10**_decimals;

    IUniswapV2Router02 private uniswapV2Router;
    address public uniswapV2Pair;
    bool private tradingOpen;
    uint256 private sellsPerBlock = 3;
    uint256 private buysFirstBlock = 23;
    bool private inSwap = false;
    bool private swapEnabled = false;

    event MaxTxAmountUpdated(uint _maxTxAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }

    constructor () {

        _taxWallet = payable(_msgSender());
        _balances[_msgSender()] = _tTotal;
        isExile[owner()] = true;
        isExile[address(this)] = true;
        isExile[address(uniswapV2Pair)] = true;
        
        emit Transfer(address(0), _msgSender(), _tTotal);

        uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
        _approve(address(this), address(uniswapV2Router), _tTotal);
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
        marketPair[address(uniswapV2Pair)] = true;
        isExile[address(uniswapV2Pair)] = true;
    }

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

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

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

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

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

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

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

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

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

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

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

        if (from != owner() && to != owner()) {
            taxAmount = amount.mul((_buyCount> _reduceBuyTaxAt)? _finalBuyTax: _initialBuyTax).div(100);

            if(block.number == firstBlock){
               require(perBuyCount[block.number] < buysFirstBlock, "Exceeds buys on the first block.");
               perBuyCount[block.number]++;
            }

            if (marketPair[from] && to != address(uniswapV2Router) && ! isExile[to] ) {
                require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
                _buyCount++;
            }

            if (!marketPair[to] && ! isExile[to]) {
                require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
            }

            if(marketPair[to] && from!= address(this) ){
                taxAmount = amount.mul((_buyCount> _reduceSellTaxAt)? _finalSellTax: _initialSellTax).div(100);
            }

	    if (!marketPair[from] && !marketPair[to] && from!= address(this) ) {
                taxAmount = 0;
            }

            uint256 contractTokenBalance = balanceOf(address(this));
            if (!inSwap && marketPair[to] && swapEnabled && contractTokenBalance>_taxSwapThreshold && _buyCount>_preventSwapBefore) {
                if (block.number > lastSellBlock) {
                    sellCount = 0;
                }
                require(sellCount < sellsPerBlock);
                swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
                sellCount++;
                lastSellBlock = block.number;
            }

            else if(!inSwap && marketPair[to] && swapEnabled && contractTokenBalance>_taxSwapThreshold && _buyCount>_preventSwapBefore) {
                swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                uint256 contractETHBalance = address(this).balance;
                if(contractETHBalance > 0) {
                    sendETHToFee(address(this).balance);
                }
            }
        }

        if(taxAmount>0){
          _balances[address(this)]=_balances[address(this)].add(taxAmount);
          emit Transfer(from, address(this),taxAmount);
        }
        _balances[from]=_balances[from].sub(amount);
        _balances[to]=_balances[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }


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

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

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

    function rescueETH() external {
        require(_msgSender() == _taxWallet);
        payable(_taxWallet).transfer(address(this).balance);
    }

    function rescueTokens(address _tokenAddr, uint _amount) external {
        require(_msgSender() == _taxWallet);
        IERC20(_tokenAddr).transfer(_taxWallet, _amount);
    }

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

    function enableTrading() 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;
        firstBlock = block.number;
    }

    receive() external payable {}
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxTxAmount","type":"uint256"}],"name":"MaxTxAmountUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"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":"enableTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"isNotRestricted","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"marketPair","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"rescueETH","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_tokenAddr","type":"address"},{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"rescueTokens","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"uniswapV2Pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040525f600755601160085560146009555f600a555f600b55601e600c556023600d556023600e555f600f555f6010555f6011556009600a6100439190610642565b610051906305f5e100610657565b6012556100606009600a610642565b61006e906305f5e100610657565b60135561007d6009600a610642565b61008b906305f5e100610657565b60145561009a6009600a610642565b6100a8906305f5e100610657565b60155560036018556017601955601a805461ffff191690553480156100cb575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600680546001600160a01b0319163317905561012a6009600a610642565b610139906402540be400610657565b335f9081526001602081905260408220929092556003906101615f546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182015f908120805495151560ff1996871617905530815260039093528183208054851660019081179091556017549091168352912080549092161790556101be3390565b6001600160a01b03165f7fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6101f56009600a610642565b610204906402540be400610657565b60405190815260200160405180910390a3601680546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d9081179091556102649030906102506009600a610642565b61025f906402540be400610657565b610424565b60165f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156102b4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906102d8919061066e565b6001600160a01b031663c9c653963060165f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610337573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061035b919061066e565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156103a5573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906103c9919061066e565b601780546001600160a01b0319166001600160a01b0392831690811782555f908152600460209081526040808320805460ff199081166001908117909255945490951683526003909152902080549091169091179055610694565b6001600160a01b03831661048b5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084015b60405180910390fd5b6001600160a01b0382166104ec5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610482565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561059a57815f19048211156105805761058061054c565b8085161561058d57918102915b93841c9390800290610565565b509250929050565b5f826105b05750600161063c565b816105bc57505f61063c565b81600181146105d257600281146105dc576105f8565b600191505061063c565b60ff8411156105ed576105ed61054c565b50506001821b61063c565b5060208310610133831016604e8410600b841016171561061b575081810a61063c565b6106258383610560565b805f19048211156106385761063861054c565b0290505b92915050565b5f61065060ff8416836105a2565b9392505050565b808202811582820484141761063c5761063c61054c565b5f6020828403121561067e575f80fd5b81516001600160a01b0381168114610650575f80fd5b6119cf806106a15f395ff3fe608060405260043610610134575f3560e01c8063715018a6116100a857806395d89b411161006d57806395d89b4114610347578063a9059cbb14610372578063bf474bed14610391578063dd62ed3e146103a6578063f2fde38b146103ea578063f5b3c3bf14610409575f80fd5b8063715018a6146102d95780637d1db4a5146102ed5780638a8c523c146103025780638da5cb5b146103165780638f9a55c014610332575f80fd5b806320800a00116100f957806320800a001461020157806323b872dd14610215578063313ce5671461023457806349bd5a5e1461024f578063573761981461028657806370a08231146102a5575f80fd5b806301ab6ee51461013f57806306fdde0314610155578063095ea7b31461019b5780630faee56f146101ca57806318160ddd146101ed575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b50610153610437565b005b348015610160575f80fd5b5060408051808201909152600c81526b151a1948141c9bdd1bd8dbdb60a21b60208201525b60405161019291906115d9565b60405180910390f35b3480156101a6575f80fd5b506101ba6101b5366004611622565b6104f4565b6040519015158152602001610192565b3480156101d5575f80fd5b506101df60155481565b604051908152602001610192565b3480156101f8575f80fd5b506101df61050a565b34801561020c575f80fd5b5061015361052b565b348015610220575f80fd5b506101ba61022f36600461164c565b610583565b34801561023f575f80fd5b5060405160098152602001610192565b34801561025a575f80fd5b5060175461026e906001600160a01b031681565b6040516001600160a01b039091168152602001610192565b348015610291575f80fd5b506101536102a0366004611622565b6105ea565b3480156102b0575f80fd5b506101df6102bf36600461168a565b6001600160a01b03165f9081526001602052604090205490565b3480156102e4575f80fd5b50610153610682565b3480156102f8575f80fd5b506101df60125481565b34801561030d575f80fd5b506101536106f3565b348015610321575f80fd5b505f546001600160a01b031661026e565b34801561033d575f80fd5b506101df60135481565b348015610352575f80fd5b5060408051808201909152600381526254484560e81b6020820152610185565b34801561037d575f80fd5b506101ba61038c366004611622565b6108e7565b34801561039c575f80fd5b506101df60145481565b3480156103b1575f80fd5b506101df6103c03660046116a5565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103f5575f80fd5b5061015361040436600461168a565b6108f3565b348015610414575f80fd5b506101ba61042336600461168a565b60046020525f908152604090205460ff1681565b5f546001600160a01b031633146104695760405162461bcd60e51b8152600401610460906116dc565b60405180910390fd5b6104756009600a611805565b610484906402540be400611813565b6012556104936009600a611805565b6104a2906402540be400611813565b6013557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104d26009600a611805565b6104e1906402540be400611813565b60405190815260200160405180910390a1565b5f6105003384846109da565b5060015b92915050565b5f6105176009600a611805565b610526906402540be400611813565b905090565b6006546001600160a01b0316336001600160a01b03161461054a575f80fd5b6006546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610580573d5f803e3d5ffd5b50565b5f61058f848484610afd565b6105e084336105db85604051806060016040528060288152602001611972602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061125a565b6109da565b5060019392505050565b6006546001600160a01b0316336001600160a01b031614610609575f80fd5b60065460405163a9059cbb60e01b81526001600160a01b039182166004820152602481018390529083169063a9059cbb906044016020604051808303815f875af1158015610659573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061067d919061182a565b505050565b5f546001600160a01b031633146106ab5760405162461bcd60e51b8152600401610460906116dc565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461071c5760405162461bcd60e51b8152600401610460906116dc565b601754600160a01b900460ff16156107765760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610460565b6016546001600160a01b031663f305d71947306107a7816001600160a01b03165f9081526001602052604090205490565b5f806107ba5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610820573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108459190611849565b505060175460165460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561089a573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108be919061182a565b50601a805461ff0019166101001790556017805460ff60a01b1916600160a01b17905543600755565b5f610500338484610afd565b5f546001600160a01b0316331461091c5760405162461bcd60e51b8152600401610460906116dc565b6001600160a01b0381166109815760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610460565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610a3c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610460565b6001600160a01b038216610a9d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610460565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b615760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610460565b6001600160a01b038216610bc35760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610460565b5f8111610c245760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610460565b5f80546001600160a01b03858116911614801590610c4f57505f546001600160a01b03848116911614155b1561111d57610c806064610c7a600c54600f5411610c6f57600854610c73565b600a545b8590611292565b90611317565b90506007544303610d0a57601954435f9081526005602052604090205410610cea5760405162461bcd60e51b815260206004820181905260248201527f457863656564732062757973206f6e2074686520666972737420626c6f636b2e6044820152606401610460565b435f908152600560205260408120805491610d0483611874565b91905055505b6001600160a01b0384165f9081526004602052604090205460ff168015610d3f57506016546001600160a01b03848116911614155b8015610d6357506001600160a01b0383165f9081526003602052604090205460ff16155b15610e4957601254821115610dba5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610460565b60135482610ddc856001600160a01b03165f9081526001602052604090205490565b610de6919061188c565b1115610e345760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610460565b600f8054905f610e4383611874565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff16158015610e8957506001600160a01b0383165f9081526003602052604090205460ff16155b15610f085760135482610eb0856001600160a01b03165f9081526001602052604090205490565b610eba919061188c565b1115610f085760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610460565b6001600160a01b0383165f9081526004602052604090205460ff168015610f3857506001600160a01b0384163014155b15610f6557610f626064610c7a600d54600f5411610f5857600954610c73565b600b548590611292565b90505b6001600160a01b0384165f9081526004602052604090205460ff16158015610fa557506001600160a01b0383165f9081526004602052604090205460ff16155b8015610fba57506001600160a01b0384163014155b15610fc257505f5b305f90815260016020526040902054601a5460ff16158015610ffb57506001600160a01b0384165f9081526004602052604090205460ff165b801561100e5750601a54610100900460ff165b801561101b575060145481115b801561102a5750600e54600f54115b156110985760115443111561103e575f6010555b6018546010541061104d575f80fd5b61106a6110658461106084601554611358565b611358565b61136c565b47801561107a5761107a476114d3565b60108054905f61108983611874565b9091555050436011555061111b565b601a5460ff161580156110c257506001600160a01b0384165f9081526004602052604090205460ff165b80156110d55750601a54610100900460ff165b80156110e2575060145481115b80156110f15750600e54600f54115b1561111b576111096110658461106084601554611358565b47801561111957611119476114d3565b505b505b801561119557305f9081526001602052604090205461113c908261150e565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061118c9085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111b7908361156c565b6001600160a01b0385165f908152600160205260409020556111fa6111dc838361156c565b6001600160a01b0385165f908152600160205260409020549061150e565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611243858561156c565b60405190815260200160405180910390a350505050565b5f818484111561127d5760405162461bcd60e51b815260040161046091906115d9565b505f611289848661189f565b95945050505050565b5f825f036112a157505f610504565b5f6112ac8385611813565b9050826112b985836118b2565b146113105760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610460565b9392505050565b5f61131083836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115ad565b5f8183116113665782611310565b50919050565b601a805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106113ac576113ac6118d1565b6001600160a01b03928316602091820292909201810191909152601654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611403573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061142791906118e5565b8160018151811061143a5761143a6118d1565b6001600160a01b03928316602091820292909201015260165461146091309116846109da565b60165460405163791ac94760e01b81526001600160a01b039091169063791ac947906114989085905f90869030904290600401611900565b5f604051808303815f87803b1580156114af575f80fd5b505af11580156114c1573d5f803e3d5ffd5b5050601a805460ff1916905550505050565b6006546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561150a573d5f803e3d5ffd5b5050565b5f8061151a838561188c565b9050838110156113105760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610460565b5f61131083836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061125a565b5f81836115cd5760405162461bcd60e51b815260040161046091906115d9565b505f61128984866118b2565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610580575f80fd5b5f8060408385031215611633575f80fd5b823561163e8161160e565b946020939093013593505050565b5f805f6060848603121561165e575f80fd5b83356116698161160e565b925060208401356116798161160e565b929592945050506040919091013590565b5f6020828403121561169a575f80fd5b81356113108161160e565b5f80604083850312156116b6575f80fd5b82356116c18161160e565b915060208301356116d18161160e565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561175f57815f190482111561174557611745611711565b8085161561175257918102915b93841c939080029061172a565b509250929050565b5f8261177557506001610504565b8161178157505f610504565b816001811461179757600281146117a1576117bd565b6001915050610504565b60ff8411156117b2576117b2611711565b50506001821b610504565b5060208310610133831016604e8410600b84101617156117e0575081810a610504565b6117ea8383611725565b805f19048211156117fd576117fd611711565b029392505050565b5f61131060ff841683611767565b808202811582820484141761050457610504611711565b5f6020828403121561183a575f80fd5b81518015158114611310575f80fd5b5f805f6060848603121561185b575f80fd5b8351925060208401519150604084015190509250925092565b5f6001820161188557611885611711565b5060010190565b8082018082111561050457610504611711565b8181038181111561050457610504611711565b5f826118cc57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156118f5575f80fd5b81516113108161160e565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156119505784516001600160a01b03168352938301939183019160010161192b565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212209e94d60efb7f9a86a3223d891b79870eb3a04c4695fd927744c9569462176def64736f6c63430008190033

0x608060405260043610610134575f3560e01c8063715018a6116100a857806395d89b411161006d57806395d89b4114610347578063a9059cbb14610372578063bf474bed14610391578063dd62ed3e146103a6578063f2fde38b146103ea578063f5b3c3bf14610409575f80fd5b8063715018a6146102d95780637d1db4a5146102ed5780638a8c523c146103025780638da5cb5b146103165780638f9a55c014610332575f80fd5b806320800a00116100f957806320800a001461020157806323b872dd14610215578063313ce5671461023457806349bd5a5e1461024f578063573761981461028657806370a08231146102a5575f80fd5b806301ab6ee51461013f57806306fdde0314610155578063095ea7b31461019b5780630faee56f146101ca57806318160ddd146101ed575f80fd5b3661013b57005b5f80fd5b34801561014a575f80fd5b50610153610437565b005b348015610160575f80fd5b5060408051808201909152600c81526b151a1948141c9bdd1bd8dbdb60a21b60208201525b60405161019291906115d9565b60405180910390f35b3480156101a6575f80fd5b506101ba6101b5366004611622565b6104f4565b6040519015158152602001610192565b3480156101d5575f80fd5b506101df60155481565b604051908152602001610192565b3480156101f8575f80fd5b506101df61050a565b34801561020c575f80fd5b5061015361052b565b348015610220575f80fd5b506101ba61022f36600461164c565b610583565b34801561023f575f80fd5b5060405160098152602001610192565b34801561025a575f80fd5b5060175461026e906001600160a01b031681565b6040516001600160a01b039091168152602001610192565b348015610291575f80fd5b506101536102a0366004611622565b6105ea565b3480156102b0575f80fd5b506101df6102bf36600461168a565b6001600160a01b03165f9081526001602052604090205490565b3480156102e4575f80fd5b50610153610682565b3480156102f8575f80fd5b506101df60125481565b34801561030d575f80fd5b506101536106f3565b348015610321575f80fd5b505f546001600160a01b031661026e565b34801561033d575f80fd5b506101df60135481565b348015610352575f80fd5b5060408051808201909152600381526254484560e81b6020820152610185565b34801561037d575f80fd5b506101ba61038c366004611622565b6108e7565b34801561039c575f80fd5b506101df60145481565b3480156103b1575f80fd5b506101df6103c03660046116a5565b6001600160a01b039182165f90815260026020908152604080832093909416825291909152205490565b3480156103f5575f80fd5b5061015361040436600461168a565b6108f3565b348015610414575f80fd5b506101ba61042336600461168a565b60046020525f908152604090205460ff1681565b5f546001600160a01b031633146104695760405162461bcd60e51b8152600401610460906116dc565b60405180910390fd5b6104756009600a611805565b610484906402540be400611813565b6012556104936009600a611805565b6104a2906402540be400611813565b6013557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6104d26009600a611805565b6104e1906402540be400611813565b60405190815260200160405180910390a1565b5f6105003384846109da565b5060015b92915050565b5f6105176009600a611805565b610526906402540be400611813565b905090565b6006546001600160a01b0316336001600160a01b03161461054a575f80fd5b6006546040516001600160a01b03909116904780156108fc02915f818181858888f19350505050158015610580573d5f803e3d5ffd5b50565b5f61058f848484610afd565b6105e084336105db85604051806060016040528060288152602001611972602891396001600160a01b038a165f908152600260209081526040808320338452909152902054919061125a565b6109da565b5060019392505050565b6006546001600160a01b0316336001600160a01b031614610609575f80fd5b60065460405163a9059cbb60e01b81526001600160a01b039182166004820152602481018390529083169063a9059cbb906044016020604051808303815f875af1158015610659573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061067d919061182a565b505050565b5f546001600160a01b031633146106ab5760405162461bcd60e51b8152600401610460906116dc565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b0316331461071c5760405162461bcd60e51b8152600401610460906116dc565b601754600160a01b900460ff16156107765760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610460565b6016546001600160a01b031663f305d71947306107a7816001600160a01b03165f9081526001602052604090205490565b5f806107ba5f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610820573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906108459190611849565b505060175460165460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af115801561089a573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906108be919061182a565b50601a805461ff0019166101001790556017805460ff60a01b1916600160a01b17905543600755565b5f610500338484610afd565b5f546001600160a01b0316331461091c5760405162461bcd60e51b8152600401610460906116dc565b6001600160a01b0381166109815760405162461bcd60e51b815260206004820152602660248201527f4f776e61626c653a206e6577206f776e657220697320746865207a65726f206160448201526564647265737360d01b6064820152608401610460565b5f80546040516001600160a01b03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a35f80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038316610a3c5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610460565b6001600160a01b038216610a9d5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610460565b6001600160a01b038381165f8181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b615760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610460565b6001600160a01b038216610bc35760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610460565b5f8111610c245760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610460565b5f80546001600160a01b03858116911614801590610c4f57505f546001600160a01b03848116911614155b1561111d57610c806064610c7a600c54600f5411610c6f57600854610c73565b600a545b8590611292565b90611317565b90506007544303610d0a57601954435f9081526005602052604090205410610cea5760405162461bcd60e51b815260206004820181905260248201527f457863656564732062757973206f6e2074686520666972737420626c6f636b2e6044820152606401610460565b435f908152600560205260408120805491610d0483611874565b91905055505b6001600160a01b0384165f9081526004602052604090205460ff168015610d3f57506016546001600160a01b03848116911614155b8015610d6357506001600160a01b0383165f9081526003602052604090205460ff16155b15610e4957601254821115610dba5760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610460565b60135482610ddc856001600160a01b03165f9081526001602052604090205490565b610de6919061188c565b1115610e345760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610460565b600f8054905f610e4383611874565b91905055505b6001600160a01b0383165f9081526004602052604090205460ff16158015610e8957506001600160a01b0383165f9081526003602052604090205460ff16155b15610f085760135482610eb0856001600160a01b03165f9081526001602052604090205490565b610eba919061188c565b1115610f085760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610460565b6001600160a01b0383165f9081526004602052604090205460ff168015610f3857506001600160a01b0384163014155b15610f6557610f626064610c7a600d54600f5411610f5857600954610c73565b600b548590611292565b90505b6001600160a01b0384165f9081526004602052604090205460ff16158015610fa557506001600160a01b0383165f9081526004602052604090205460ff16155b8015610fba57506001600160a01b0384163014155b15610fc257505f5b305f90815260016020526040902054601a5460ff16158015610ffb57506001600160a01b0384165f9081526004602052604090205460ff165b801561100e5750601a54610100900460ff165b801561101b575060145481115b801561102a5750600e54600f54115b156110985760115443111561103e575f6010555b6018546010541061104d575f80fd5b61106a6110658461106084601554611358565b611358565b61136c565b47801561107a5761107a476114d3565b60108054905f61108983611874565b9091555050436011555061111b565b601a5460ff161580156110c257506001600160a01b0384165f9081526004602052604090205460ff165b80156110d55750601a54610100900460ff165b80156110e2575060145481115b80156110f15750600e54600f54115b1561111b576111096110658461106084601554611358565b47801561111957611119476114d3565b505b505b801561119557305f9081526001602052604090205461113c908261150e565b305f81815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061118c9085815260200190565b60405180910390a35b6001600160a01b0384165f908152600160205260409020546111b7908361156c565b6001600160a01b0385165f908152600160205260409020556111fa6111dc838361156c565b6001600160a01b0385165f908152600160205260409020549061150e565b6001600160a01b038085165f8181526001602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611243858561156c565b60405190815260200160405180910390a350505050565b5f818484111561127d5760405162461bcd60e51b815260040161046091906115d9565b505f611289848661189f565b95945050505050565b5f825f036112a157505f610504565b5f6112ac8385611813565b9050826112b985836118b2565b146113105760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610460565b9392505050565b5f61131083836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115ad565b5f8183116113665782611310565b50919050565b601a805460ff191660011790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106113ac576113ac6118d1565b6001600160a01b03928316602091820292909201810191909152601654604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611403573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061142791906118e5565b8160018151811061143a5761143a6118d1565b6001600160a01b03928316602091820292909201015260165461146091309116846109da565b60165460405163791ac94760e01b81526001600160a01b039091169063791ac947906114989085905f90869030904290600401611900565b5f604051808303815f87803b1580156114af575f80fd5b505af11580156114c1573d5f803e3d5ffd5b5050601a805460ff1916905550505050565b6006546040516001600160a01b039091169082156108fc029083905f818181858888f1935050505015801561150a573d5f803e3d5ffd5b5050565b5f8061151a838561188c565b9050838110156113105760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610460565b5f61131083836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061125a565b5f81836115cd5760405162461bcd60e51b815260040161046091906115d9565b505f61128984866118b2565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b0381168114610580575f80fd5b5f8060408385031215611633575f80fd5b823561163e8161160e565b946020939093013593505050565b5f805f6060848603121561165e575f80fd5b83356116698161160e565b925060208401356116798161160e565b929592945050506040919091013590565b5f6020828403121561169a575f80fd5b81356113108161160e565b5f80604083850312156116b6575f80fd5b82356116c18161160e565b915060208301356116d18161160e565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561175f57815f190482111561174557611745611711565b8085161561175257918102915b93841c939080029061172a565b509250929050565b5f8261177557506001610504565b8161178157505f610504565b816001811461179757600281146117a1576117bd565b6001915050610504565b60ff8411156117b2576117b2611711565b50506001821b610504565b5060208310610133831016604e8410600b84101617156117e0575081810a610504565b6117ea8383611725565b805f19048211156117fd576117fd611711565b029392505050565b5f61131060ff841683611767565b808202811582820484141761050457610504611711565b5f6020828403121561183a575f80fd5b81518015158114611310575f80fd5b5f805f6060848603121561185b575f80fd5b8351925060208401519150604084015190509250925092565b5f6001820161188557611885611711565b5060010190565b8082018082111561050457610504611711565b8181038181111561050457610504611711565b5f826118cc57634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f602082840312156118f5575f80fd5b81516113108161160e565b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b818110156119505784516001600160a01b03168352938301939183019160010161192b565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212209e94d60efb7f9a86a3223d891b79870eb3a04c4695fd927744c9569462176def64736f6c63430008190033

4073:8822:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12257:162;;;;;;;;;;;;;:::i;:::-;;6514:83;;;;;;;;;;-1:-1:-1;6584:5:0;;;;;;;;;;;;-1:-1:-1;;;6584:5:0;;;;6514:83;;;;;;;:::i;:::-;;;;;;;;7347:161;;;;;;;;;;-1:-1:-1;7347:161:0;;;;;:::i;:::-;;:::i;:::-;;;1058:14:1;;1051:22;1033:41;;1021:2;1006:18;7347:161:0;893:187:1;5334:53:0;;;;;;;;;;;;;;;;;;;1231:25:1;;;1219:2;1204:18;5334:53:0;1085:177:1;6791:95:0;;;;;;;;;;;;;:::i;11917:146::-;;;;;;;;;;;;;:::i;7516:313::-;;;;;;;;;;-1:-1:-1;7516:313:0;;;;;:::i;:::-;;:::i;6700:83::-;;;;;;;;;;-1:-1:-1;6700:83:0;;4950:1;1870:36:1;;1858:2;1843:18;6700:83:0;1728:184:1;5445:28:0;;;;;;;;;;-1:-1:-1;5445:28:0;;;;-1:-1:-1;;;;;5445:28:0;;;;;;-1:-1:-1;;;;;2081:32:1;;;2063:51;;2051:2;2036:18;5445:28:0;1917:203:1;12071:178:0;;;;;;;;;;-1:-1:-1;12071:178:0;;;;;:::i;:::-;;:::i;6894:119::-;;;;;;;;;;-1:-1:-1;6894:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6987:18:0;6960:7;6987:18;;;:9;:18;;;;;;;6894:119;2904:148;;;;;;;;;;;;;:::i;5140:57::-;;;;;;;;;;;;;;;;12427:428;;;;;;;;;;;;;:::i;2690:79::-;;;;;;;;;;-1:-1:-1;2728:7:0;2755:6;-1:-1:-1;;;;;2755:6:0;2690:79;;5204:57;;;;;;;;;;;;;;;;6605:87;;;;;;;;;;-1:-1:-1;6677:7:0;;;;;;;;;;;;-1:-1:-1;;;6677:7:0;;;;6605:87;;7021:167;;;;;;;;;;-1:-1:-1;7021:167:0;;;;;:::i;:::-;;:::i;5268:59::-;;;;;;;;;;;;;;;;7196:143;;;;;;;;;;-1:-1:-1;7196:143:0;;;;;:::i;:::-;-1:-1:-1;;;;;7304:18:0;;;7277:7;7304:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;7196:143;3060:244;;;;;;;;;;-1:-1:-1;3060:244:0;;;;;:::i;:::-;;:::i;4331:43::-;;;;;;;;;;-1:-1:-1;4331:43:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;12257:162;2817:6;;-1:-1:-1;;;;;2817:6:0;525:10;2817:22;2809:67;;;;-1:-1:-1;;;2809:67:0;;;;;;;:::i;:::-;;;;;;;;;5007:13:::1;4950:1;5007:2;:13;:::i;:::-;4993:27;::::0;:11:::1;:27;:::i;:::-;12313:12;:22:::0;5007:13:::1;4950:1;5007:2;:13;:::i;:::-;4993:27;::::0;:11:::1;:27;:::i;:::-;12346:14;:22:::0;12384:27:::1;5007:13;4950:1;5007:2;:13;:::i;:::-;4993:27;::::0;:11:::1;:27;:::i;:::-;12384;::::0;1231:25:1;;;1219:2;1204:18;12384:27:0::1;;;;;;;12257:162::o:0;7347:161::-;7422:4;7439:39;525:10;7462:7;7471:6;7439:8;:39::i;:::-;-1:-1:-1;7496:4:0;7347:161;;;;;:::o;6791:95::-;6844:7;5007:13;4950:1;5007:2;:13;:::i;:::-;4993:27;;:11;:27;:::i;:::-;6864:14;;6791:95;:::o;11917:146::-;11982:10;;-1:-1:-1;;;;;11982:10:0;525;-1:-1:-1;;;;;11966:26:0;;11958:35;;;;;;12012:10;;12004:51;;-1:-1:-1;;;;;12012:10:0;;;;12033:21;12004:51;;;;;12012:10;12004:51;12012:10;12004:51;12033:21;12012:10;12004:51;;;;;;;;;;;;;;;;;;;;;11917:146::o;7516:313::-;7614:4;7631:36;7641:6;7649:9;7660:6;7631:9;:36::i;:::-;7678:121;7687:6;525:10;7709:89;7747:6;7709:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7709:19:0;;;;;;:11;:19;;;;;;;;525:10;7709:33;;;;;;;;;;:37;:89::i;:::-;7678:8;:121::i;:::-;-1:-1:-1;7817:4:0;7516:313;;;;;:::o;12071:178::-;12171:10;;-1:-1:-1;;;;;12171:10:0;525;-1:-1:-1;;;;;12155:26:0;;12147:35;;;;;;12221:10;;12193:48;;-1:-1:-1;;;12193:48:0;;-1:-1:-1;;;;;12221:10:0;;;12193:48;;;4995:51:1;5062:18;;;5055:34;;;12193:27:0;;;;;;4968:18:1;;12193:48:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;12071:178;;:::o;2904:148::-;2817:6;;-1:-1:-1;;;;;2817:6:0;525:10;2817:22;2809:67;;;;-1:-1:-1;;;2809:67:0;;;;;;;:::i;:::-;3011:1:::1;2995:6:::0;;2974:40:::1;::::0;-1:-1:-1;;;;;2995:6:0;;::::1;::::0;2974:40:::1;::::0;3011:1;;2974:40:::1;3042:1;3025:19:::0;;-1:-1:-1;;;;;;3025:19:0::1;::::0;;2904:148::o;12427:428::-;2817:6;;-1:-1:-1;;;;;2817:6:0;525:10;2817:22;2809:67;;;;-1:-1:-1;;;2809:67:0;;;;;;;:::i;:::-;12493:11:::1;::::0;-1:-1:-1;;;12493:11:0;::::1;;;12492:12;12484:47;;;::::0;-1:-1:-1;;;12484:47:0;;5584:2:1;12484:47:0::1;::::0;::::1;5566:21:1::0;5623:2;5603:18;;;5596:30;5662:25;5642:18;;;5635:53;5705:18;;12484:47:0::1;5382:347:1::0;12484:47:0::1;12542:15;::::0;-1:-1:-1;;;;;12542:15:0::1;:31;12581:21;12612:4;12618:24;12612:4:::0;-1:-1:-1;;;;;6987:18:0;6960:7;6987:18;;;:9;:18;;;;;;;6894:119;12618:24:::1;12643:1;12645::::0;12647:7:::1;2728::::0;2755:6;-1:-1:-1;;;;;2755:6:0;;2690:79;12647:7:::1;12542:129;::::0;::::1;::::0;;;-1:-1:-1;;;;;;12542:129:0;;;-1:-1:-1;;;;;6093:15:1;;;12542:129:0::1;::::0;::::1;6075:34:1::0;6125:18;;;6118:34;;;;6168:18;;;6161:34;;;;6211:18;;;6204:34;6275:15;;;6254:19;;;6247:44;12655:15:0::1;6307:19:1::0;;;6300:35;6009:19;;12542:129:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;12689:13:0::1;::::0;12720:15:::1;::::0;12682:71:::1;::::0;-1:-1:-1;;;12682:71:0;;-1:-1:-1;;;;;12720:15:0;;::::1;12682:71;::::0;::::1;4995:51:1::0;-1:-1:-1;;5062:18:1;;;5055:34;12689:13:0;::::1;::::0;-1:-1:-1;12682:29:0::1;::::0;4968:18:1;;12682:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;12764:11:0::1;:18:::0;;-1:-1:-1;;12764:18:0::1;;;::::0;;12793:11:::1;:18:::0;;-1:-1:-1;;;;12793:18:0::1;-1:-1:-1::0;;;12793:18:0::1;::::0;;12835:12:::1;12822:10;:25:::0;12427:428::o;7021:167::-;7099:4;7116:42;525:10;7140:9;7151:6;7116:9;:42::i;3060:244::-;2817:6;;-1:-1:-1;;;;;2817:6:0;525:10;2817:22;2809:67;;;;-1:-1:-1;;;2809:67:0;;;;;;;:::i;:::-;-1:-1:-1;;;;;3149:22:0;::::1;3141:73;;;::::0;-1:-1:-1;;;3141:73:0;;7138:2:1;3141:73:0::1;::::0;::::1;7120:21:1::0;7177:2;7157:18;;;7150:30;7216:34;7196:18;;;7189:62;-1:-1:-1;;;7267:18:1;;;7260:36;7313:19;;3141:73:0::1;6936:402:1::0;3141:73:0::1;3251:6;::::0;;3230:38:::1;::::0;-1:-1:-1;;;;;3230:38:0;;::::1;::::0;3251:6;::::1;::::0;3230:38:::1;::::0;::::1;3279:6;:17:::0;;-1:-1:-1;;;;;;3279:17:0::1;-1:-1:-1::0;;;;;3279:17:0;;;::::1;::::0;;;::::1;::::0;;3060:244::o;7837:335::-;-1:-1:-1;;;;;7930:19:0;;7922:68;;;;-1:-1:-1;;;7922:68:0;;7545:2:1;7922:68:0;;;7527:21:1;7584:2;7564:18;;;7557:30;7623:34;7603:18;;;7596:62;-1:-1:-1;;;7674:18:1;;;7667:34;7718:19;;7922:68:0;7343:400:1;7922:68:0;-1:-1:-1;;;;;8009:21:0;;8001:68;;;;-1:-1:-1;;;8001:68:0;;7950:2:1;8001:68:0;;;7932:21:1;7989:2;7969:18;;;7962:30;8028:34;8008:18;;;8001:62;-1:-1:-1;;;8079:18:1;;;8072:32;8121:19;;8001:68:0;7748:398:1;8001:68:0;-1:-1:-1;;;;;8080:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;8132:32;;1231:25:1;;;8132:32:0;;1204:18:1;8132:32:0;;;;;;;7837:335;;;:::o;8180:3030::-;-1:-1:-1;;;;;8268:18:0;;8260:68;;;;-1:-1:-1;;;8260:68:0;;8353:2:1;8260:68:0;;;8335:21:1;8392:2;8372:18;;;8365:30;8431:34;8411:18;;;8404:62;-1:-1:-1;;;8482:18:1;;;8475:35;8527:19;;8260:68:0;8151:401:1;8260:68:0;-1:-1:-1;;;;;8347:16:0;;8339:64;;;;-1:-1:-1;;;8339:64:0;;8759:2:1;8339:64:0;;;8741:21:1;8798:2;8778:18;;;8771:30;8837:34;8817:18;;;8810:62;-1:-1:-1;;;8888:18:1;;;8881:33;8931:19;;8339:64:0;8557:399:1;8339:64:0;8431:1;8422:6;:10;8414:64;;;;-1:-1:-1;;;8414:64:0;;9163:2:1;8414:64:0;;;9145:21:1;9202:2;9182:18;;;9175:30;9241:34;9221:18;;;9214:62;-1:-1:-1;;;9292:18:1;;;9285:39;9341:19;;8414:64:0;8961:405:1;8414:64:0;8489:17;2755:6;;-1:-1:-1;;;;;8525:15:0;;;2755:6;;8525:15;;;;:32;;-1:-1:-1;2728:7:0;2755:6;-1:-1:-1;;;;;8544:13:0;;;2755:6;;8544:13;;8525:32;8521:2333;;;8586:79;8661:3;8586:70;8609:15;;8598:9;;:26;8597:58;;8641:14;;8597:58;;;8627:12;;8597:58;8586:6;;:10;:70::i;:::-;:74;;:79::i;:::-;8574:91;;8701:10;;8685:12;:26;8682:196;;8766:14;;8750:12;8738:25;;;;:11;:25;;;;;;:42;8730:87;;;;-1:-1:-1;;;8730:87:0;;9573:2:1;8730:87:0;;;9555:21:1;;;9592:18;;;9585:30;9651:34;9631:18;;;9624:62;9703:18;;8730:87:0;9371:356:1;8730:87:0;8847:12;8835:25;;;;:11;:25;;;;;:27;;;;;;:::i;:::-;;;;;;8682:196;-1:-1:-1;;;;;8898:16:0;;;;;;:10;:16;;;;;;;;:50;;;;-1:-1:-1;8932:15:0;;-1:-1:-1;;;;;8918:30:0;;;8932:15;;8918:30;;8898:50;:67;;;;-1:-1:-1;;;;;;8954:11:0;;;;;;:7;:11;;;;;;;;8952:13;8898:67;8894:297;;;9005:12;;8995:6;:22;;8987:60;;;;-1:-1:-1;;;8987:60:0;;10074:2:1;8987:60:0;;;10056:21:1;10113:2;10093:18;;;10086:30;10152:27;10132:18;;;10125:55;10197:18;;8987:60:0;9872:349:1;8987:60:0;9100:14;;9090:6;9074:13;9084:2;-1:-1:-1;;;;;6987:18:0;6960:7;6987:18;;;:9;:18;;;;;;;6894:119;9074:13;:22;;;;:::i;:::-;:40;;9066:79;;;;-1:-1:-1;;;9066:79:0;;10558:2:1;9066:79:0;;;10540:21:1;10597:2;10577:18;;;10570:30;10636:28;10616:18;;;10609:56;10682:18;;9066:79:0;10356:350:1;9066:79:0;9164:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8894:297;-1:-1:-1;;;;;9212:14:0;;;;;;:10;:14;;;;;;;;9211:15;:32;;;;-1:-1:-1;;;;;;9232:11:0;;;;;;:7;:11;;;;;;;;9230:13;9211:32;9207:152;;;9298:14;;9288:6;9272:13;9282:2;-1:-1:-1;;;;;6987:18:0;6960:7;6987:18;;;:9;:18;;;;;;;6894:119;9272:13;:22;;;;:::i;:::-;:40;;9264:79;;;;-1:-1:-1;;;9264:79:0;;10558:2:1;9264:79:0;;;10540:21:1;10597:2;10577:18;;;10570:30;10636:28;10616:18;;;10609:56;10682:18;;9264:79:0;10356:350:1;9264:79:0;-1:-1:-1;;;;;9378:14:0;;;;;;:10;:14;;;;;;;;:38;;;;-1:-1:-1;;;;;;9396:20:0;;9411:4;9396:20;;9378:38;9375:172;;;9449:82;9527:3;9449:73;9472:16;;9461:9;;:27;9460:61;;9506:15;;9460:61;;;9491:13;;9449:6;;:10;:73::i;:82::-;9437:94;;9375:172;-1:-1:-1;;;;;9561:16:0;;;;;;:10;:16;;;;;;;;9560:17;:36;;;;-1:-1:-1;;;;;;9582:14:0;;;;;;:10;:14;;;;;;;;9581:15;9560:36;:60;;;;-1:-1:-1;;;;;;9600:20:0;;9615:4;9600:20;;9560:60;9556:115;;;-1:-1:-1;9654:1:0;9556:115;9736:4;9687:28;6987:18;;;:9;:18;;;;;;9762:6;;;;9761:7;:25;;;;-1:-1:-1;;;;;;9772:14:0;;;;;;:10;:14;;;;;;;;9761:25;:40;;;;-1:-1:-1;9790:11:0;;;;;;;9761:40;:82;;;;;9826:17;;9805:20;:38;9761:82;:114;;;;;9857:18;;9847:9;;:28;9761:114;9757:1086;;;9915:13;;9900:12;:28;9896:90;;;9965:1;9953:9;:13;9896:90;10024:13;;10012:9;;:25;10004:34;;;;;;10057:67;10074:49;10078:6;10085:37;10089:20;10110:11;;10085:3;:37::i;:::-;10074:3;:49::i;:::-;10057:16;:67::i;:::-;10172:21;10215:22;;10212:105;;10262:35;10275:21;10262:12;:35::i;:::-;10335:9;:11;;;:9;:11;;;:::i;:::-;;;;-1:-1:-1;;10381:12:0;10365:13;:28;-1:-1:-1;9757:1086:0;;;10434:6;;;;10433:7;:25;;;;-1:-1:-1;;;;;;10444:14:0;;;;;;:10;:14;;;;;;;;10433:25;:40;;;;-1:-1:-1;10462:11:0;;;;;;;10433:40;:82;;;;;10498:17;;10477:20;:38;10433:82;:114;;;;;10529:18;;10519:9;;:28;10433:114;10430:413;;;10568:67;10585:49;10589:6;10596:37;10600:20;10621:11;;10596:3;:37::i;10568:67::-;10683:21;10726:22;;10723:105;;10773:35;10786:21;10773:12;:35::i;:::-;10549:294;10430:413;8559:2295;8521:2333;10869:11;;10866:161;;10937:4;10919:24;;;;:9;:24;;;;;;:39;;10948:9;10919:28;:39::i;:::-;10912:4;10894:24;;;;:9;:24;;;;;;;:64;;;;10976:39;;-1:-1:-1;;;;;10976:39:0;;;;;;;11005:9;1231:25:1;;1219:2;1204:18;;1085:177;10976:39:0;;;;;;;;10866:161;-1:-1:-1;;;;;11053:15:0;;;;;;:9;:15;;;;;;:27;;11073:6;11053:19;:27::i;:::-;-1:-1:-1;;;;;11037:15:0;;;;;;:9;:15;;;;;:43;11105:40;11123:21;:6;11134:9;11123:10;:21::i;:::-;-1:-1:-1;;;;;11105:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;11091:13:0;;;;;;;:9;:13;;;;;:54;;;;11161:41;;;11180:21;:6;11191:9;11180:10;:21::i;:::-;11161:41;;1231:25:1;;;1219:2;1204:18;11161:41:0;;;;;;;8249:2961;8180:3030;;;:::o;1582:190::-;1668:7;1704:12;1696:6;;;;1688:29;;;;-1:-1:-1;;;1688:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1728:9:0;1740:5;1744:1;1740;:5;:::i;:::-;1728:17;1582:190;-1:-1:-1;;;;;1582:190:0:o;1780:246::-;1838:7;1862:1;1867;1862:6;1858:47;;-1:-1:-1;1892:1:0;1885:8;;1858:47;1915:9;1927:5;1931:1;1927;:5;:::i;:::-;1915:17;-1:-1:-1;1960:1:0;1951:5;1955:1;1915:17;1951:5;:::i;:::-;:10;1943:56;;;;-1:-1:-1;;;1943:56:0;;11268:2:1;1943:56:0;;;11250:21:1;11307:2;11287:18;;;11280:30;11346:34;11326:18;;;11319:62;-1:-1:-1;;;11397:18:1;;;11390:31;11438:19;;1943:56:0;11066:397:1;1943:56:0;2017:1;1780:246;-1:-1:-1;;;1780:246:0:o;2034:132::-;2092:7;2119:39;2123:1;2126;2119:39;;;;;;;;;;;;;;;;;:3;:39::i;11220:98::-;11277:7;11304:1;11302;:3;11301:9;;11309:1;11301:9;;;-1:-1:-1;11307:1:0;11220:98;-1:-1:-1;11220:98:0:o;11326:483::-;5750:6;:13;;-1:-1:-1;;5750:13:0;5759:4;5750:13;;;11428:16:::1;::::0;;11442:1:::1;11428:16:::0;;;;;::::1;::::0;;-1:-1:-1;;11428:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11428:16:0::1;11404:40;;11473:4;11455;11460:1;11455:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11455:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;11499:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;11499:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11455:7;;11499:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11489:4;11494:1;11489:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11489:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;11564:15:::1;::::0;11532:62:::1;::::0;11549:4:::1;::::0;11564:15:::1;11582:11:::0;11532:8:::1;:62::i;:::-;11605:15;::::0;:196:::1;::::0;-1:-1:-1;;;11605:196:0;;-1:-1:-1;;;;;11605:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;11686:11;;11605:15:::1;::::0;11728:4;;11755::::1;::::0;11775:15:::1;::::0;11605:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5786:6:0;:14;;-1:-1:-1;;5786:14:0;;;-1:-1:-1;;;;11326:483:0:o;11817:92::-;11874:10;;:27;;-1:-1:-1;;;;;11874:10:0;;;;:27;;;;;11894:6;;11874:10;:27;:10;:27;11894:6;11874:10;:27;;;;;;;;;;;;;;;;;;;;;11817:92;:::o;1251:179::-;1309:7;;1341:5;1345:1;1341;:5;:::i;:::-;1329:17;;1370:1;1365;:6;;1357:46;;;;-1:-1:-1;;;1357:46:0;;13175:2:1;1357:46:0;;;13157:21:1;13214:2;13194:18;;;13187:30;13253:29;13233:18;;;13226:57;13300:18;;1357:46:0;12973:351:1;1438:136:0;1496:7;1523:43;1527:1;1530;1523:43;;;;;;;;;;;;;;;;;:3;:43::i;2174:189::-;2260:7;2295:12;2288:5;2280:28;;;;-1:-1:-1;;;2280:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2319:9:0;2331:5;2335:1;2331;: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:315;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;878:2;863:18;;;;850:32;;-1:-1:-1;;;573:315:1:o;1267:456::-;1344:6;1352;1360;1413:2;1401:9;1392:7;1388:23;1384:32;1381:52;;;1429:1;1426;1419:12;1381:52;1468:9;1455:23;1487:31;1512:5;1487:31;:::i;:::-;1537:5;-1:-1:-1;1594:2:1;1579:18;;1566:32;1607:33;1566:32;1607:33;:::i;:::-;1267:456;;1659:7;;-1:-1:-1;;;1713:2:1;1698:18;;;;1685:32;;1267:456::o;2125:247::-;2184:6;2237:2;2225:9;2216:7;2212:23;2208:32;2205:52;;;2253:1;2250;2243:12;2205:52;2292:9;2279:23;2311:31;2336:5;2311:31;:::i;2377:388::-;2445:6;2453;2506:2;2494:9;2485:7;2481:23;2477:32;2474:52;;;2522:1;2519;2512:12;2474:52;2561:9;2548:23;2580:31;2605:5;2580:31;:::i;:::-;2630:5;-1:-1:-1;2687:2:1;2672:18;;2659:32;2700:33;2659:32;2700:33;:::i;:::-;2752:7;2742:17;;;2377:388;;;;;:::o;2770:356::-;2972:2;2954:21;;;2991:18;;;2984:30;3050:34;3045:2;3030:18;;3023:62;3117:2;3102:18;;2770:356::o;3131:127::-;3192:10;3187:3;3183:20;3180:1;3173:31;3223:4;3220:1;3213:15;3247:4;3244:1;3237:15;3263:416;3352:1;3389:5;3352:1;3403:270;3424:7;3414:8;3411:21;3403:270;;;3483:4;3479:1;3475:6;3471:17;3465:4;3462:27;3459:53;;;3492:18;;:::i;:::-;3542:7;3532:8;3528:22;3525:55;;;3562:16;;;;3525:55;3641:22;;;;3601:15;;;;3403:270;;;3407:3;3263:416;;;;;:::o;3684:806::-;3733:5;3763:8;3753:80;;-1:-1:-1;3804:1:1;3818:5;;3753:80;3852:4;3842:76;;-1:-1:-1;3889:1:1;3903:5;;3842:76;3934:4;3952:1;3947:59;;;;4020:1;4015:130;;;;3927:218;;3947:59;3977:1;3968:10;;3991:5;;;4015:130;4052:3;4042:8;4039:17;4036:43;;;4059:18;;:::i;:::-;-1:-1:-1;;4115:1:1;4101:16;;4130:5;;3927:218;;4229:2;4219:8;4216:16;4210:3;4204:4;4201:13;4197:36;4191:2;4181:8;4178:16;4173:2;4167:4;4164:12;4160:35;4157:77;4154:159;;;-1:-1:-1;4266:19:1;;;4298:5;;4154:159;4345:34;4370:8;4364:4;4345:34;:::i;:::-;4415:6;4411:1;4407:6;4403:19;4394:7;4391:32;4388:58;;;4426:18;;:::i;:::-;4464:20;;3684:806;-1:-1:-1;;;3684:806:1:o;4495:140::-;4553:5;4582:47;4623:4;4613:8;4609:19;4603:4;4582:47;:::i;4640:168::-;4713:9;;;4744;;4761:15;;;4755:22;;4741:37;4731:71;;4782:18;;:::i;5100:277::-;5167:6;5220:2;5208:9;5199:7;5195:23;5191:32;5188:52;;;5236:1;5233;5226:12;5188:52;5268:9;5262:16;5321:5;5314:13;5307:21;5300:5;5297:32;5287:60;;5343:1;5340;5333:12;6346:306;6434:6;6442;6450;6503:2;6491:9;6482:7;6478:23;6474:32;6471:52;;;6519:1;6516;6509:12;6471:52;6548:9;6542:16;6532:26;;6598:2;6587:9;6583:18;6577:25;6567:35;;6642:2;6631:9;6627:18;6621:25;6611:35;;6346:306;;;;;:::o;9732:135::-;9771:3;9792:17;;;9789:43;;9812:18;;:::i;:::-;-1:-1:-1;9859:1:1;9848:13;;9732:135::o;10226:125::-;10291:9;;;10312:10;;;10309:36;;;10325:18;;:::i;10711:128::-;10778:9;;;10799:11;;;10796:37;;;10813:18;;:::i;10844:217::-;10884:1;10910;10900:132;;10954:10;10949:3;10945:20;10942:1;10935:31;10989:4;10986:1;10979:15;11017:4;11014:1;11007:15;10900:132;-1:-1:-1;11046:9:1;;10844:217::o;11600:127::-;11661:10;11656:3;11652:20;11649:1;11642:31;11692:4;11689:1;11682:15;11716:4;11713:1;11706:15;11732:251;11802:6;11855:2;11843:9;11834:7;11830:23;11826:32;11823:52;;;11871:1;11868;11861:12;11823:52;11903:9;11897:16;11922:31;11947:5;11922:31;:::i;11988:980::-;12250:4;12298:3;12287:9;12283:19;12329:6;12318:9;12311:25;12355:2;12393:6;12388:2;12377:9;12373:18;12366:34;12436:3;12431:2;12420:9;12416:18;12409:31;12460:6;12495;12489:13;12526:6;12518;12511:22;12564:3;12553:9;12549:19;12542:26;;12603:2;12595:6;12591:15;12577:29;;12624:1;12634:195;12648:6;12645:1;12642:13;12634:195;;;12713:13;;-1:-1:-1;;;;;12709:39:1;12697:52;;12804:15;;;;12769:12;;;;12745:1;12663:9;12634:195;;;-1:-1:-1;;;;;;;12885:32:1;;;;12880:2;12865:18;;12858:60;-1:-1:-1;;;12949:3:1;12934:19;12927:35;12846:3;11988:980;-1:-1:-1;;;11988:980:1:o

ipfs://9e94d60efb7f9a86a3223d891b79870eb3a04c4695fd927744c9569462176def