Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

   - function _msgSender()    - function _msgData() interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom( interface IERC20Metadata is IERC20    - function name()    - function symbol()    - function decimals()  contract ERC20 is Context, IERC20, ...    - function name()    - function symbol()    - function decimals()    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(    - function _mint(address account, uint2 ...    - function _approve(    - function _beforeTokenTransfer(    - function _afterTokenTransfer(  contract Ownable is Context    - function owner()    - function renounceOwnership() interface IERC721    - function transferFrom(address from, a ... interface IUniswapV2Factory    - function createPair(address tokenA, a ... interface IUniswapV2Router02    - function swapExactTokensForETHSupport ...    - function factory()    - function WETH()    - function addLiquidityETH(  contract Refun is ERC20, Ownable *    - function fetchTopK(uint256 k)    - function Deposite(address erc721, uin ...    - function Reward()    - function Withdraw(address erc721, uin ...    - function openTrading()    - function _transfer(address from, addr ...    - function swapExactTokensForETHSupport ...    - function removeLimit()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-11-22
*/

/*
REFUN's Rhapsody: NFT Redemption

Crafting NFTs for Joy, Not Just Wealth. 
Yet, amid the euphoria, many projects falter post-minting, 
abandoning the essence of creation and draining the joy from us.
But behold, REFUN emerges as a haven for NFTs, even when their value dwindles due to RUG PULL. 
It's a tale of second chances. 
Send your NFTs to the FUN POOL and watch them transform into $REFUN tokens, 
a resurrection of their original essence.


website:   https://refun.vip/
telegram:  https://t.me/Refun_Portal1
twitter/X: https://twitter.com/Refun_erc20

Tokenomics
- Total Supply 21,000,000
- LP: 80%
- Reward Pool: 15%
- Marketing: 5%
- Tax: 2%/2%
*/


// SPDX-License-Identifier: MIT
pragma solidity ^0.8.20;

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

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

interface IERC20Metadata is IERC20 {
    function name() external view returns (string memory);
    function symbol() external view returns (string memory);
    function decimals() external view returns (uint8);
}

contract ERC20 is Context, IERC20, IERC20Metadata {
    mapping(address => uint256) internal _balances;
    mapping(address => mapping(address => uint256)) private _allowances;
    uint256 private _totalSupply;
    string private _name;
    string private _symbol;

    constructor(string memory name_, string memory symbol_) {
        _name = name_;
        _symbol = symbol_;
    }

    function name() public view virtual override returns (string memory) {
        return _name;
    }

    function symbol() public view virtual override returns (string memory) {
        return _symbol;
    }

    function decimals() public view virtual override returns (uint8) {
        return 18;
    }

    function totalSupply() public view virtual override returns (uint256) {
        return _totalSupply;
    }

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

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

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

    function approve(address spender, uint256 amount) public virtual override returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }
    
    function transferFrom(
        address sender,
        address recipient,
        uint256 amount
    ) public virtual override returns (bool) {
        _transfer(sender, recipient, amount);
        uint256 currentAllowance = _allowances[sender][_msgSender()];
        require(currentAllowance >= amount, "ERC20: transfer amount exceeds allowance");
        unchecked {
            _approve(sender, _msgSender(), currentAllowance - amount);
        }
        return true;
    }

    function increaseAllowance(address spender, uint256 addedValue) public virtual returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender] + addedValue);
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) public virtual returns (bool) {
        uint256 currentAllowance = _allowances[_msgSender()][spender];
        require(currentAllowance >= subtractedValue, "ERC20: decreased allowance below zero");
        unchecked {
            _approve(_msgSender(), spender, currentAllowance - subtractedValue);
        }
        return true;
    }

    function _transfer(
        address sender,
        address recipient,
        uint256 amount
    ) internal virtual {}

    function _mint(address account, uint256 amount) internal virtual {
        require(account != address(0), "ERC20: mint to the zero address");

        _beforeTokenTransfer(address(0), account, amount);

        _totalSupply += amount;
        _balances[account] += amount;
        emit Transfer(address(0), account, amount);

        _afterTokenTransfer(address(0), account, amount);
    }

    function _approve(
        address owner,
        address spender,
        uint256 amount
    ) internal virtual {
        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 _beforeTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}

    function _afterTokenTransfer(
        address from,
        address to,
        uint256 amount
    ) internal virtual {}
}

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 IERC721 {
    function transferFrom(address from, address to, uint256 tokenId) external;
}

interface IUniswapV2Factory {
    function createPair(address tokenA, address tokenB)
        external
        returns (address pair);
}

interface IUniswapV2Router02 {
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint256 amountIn,
        uint256 amountOutMin,
        address[] calldata path,
        address to,
        uint256 deadline
    ) external;

    function factory() external pure returns (address);

    function WETH() external pure returns (address);

    function addLiquidityETH(
        address token,
        uint256 amountTokenDesired,
        uint256 amountTokenMin,
        uint256 amountETHMin,
        address to,
        uint256 deadline
    )
        external
        payable
        returns (
            uint256 amountToken,
            uint256 amountETH,
            uint256 liquidity
        );
}

contract Refun is ERC20, Ownable {
    event e_Deposite(address erc721, uint256[] ids, address from);
    event e_Reward(uint256 value, address from);
    event e_Withdraw(address erc721, uint256 id, address from);
    event e_openTrading();
    event e_removeLimit();

    IUniswapV2Factory public uniswapV2Factory = IUniswapV2Factory(0x5C69bEe701ef814a2B6a3EDD4B1652CB9cc5aA6f);
    IUniswapV2Router02 public uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
    address public uniswapV2Pair;

    uint256 public constant mintValue = 21000000 * 1e18;    
    uint256 public constant addLiquidityPercent = 80;
    uint256 public constant Fee = 2;
    uint256 public maxAmountPerWallet = 420000 * 1e18;
    uint256 public maxFee = 21000 * 1e18;
    mapping (address => bool) private _isExcludedFromFee;
    uint256 public Treasury;

    uint256 public totalMember;
    mapping(address => bool) public Deposited;
    mapping(address => uint256) public Deposites;
    mapping(address => address) public Higher;
    mapping(address => address) public Lower;

    uint256 public baseTime;
    mapping(address => bool) public Rewarded;

    bool public Trading;
    bool private swapLocked;
    modifier swapLocker {
        swapLocked = true;
        _;
        swapLocked = false;
    }

    constructor() ERC20('Refun', 'REFUN') {
        Deposites[address(1)] = ~uint256(0);
        _mint(address(this), mintValue * 95 / 100);
        _mint(msg.sender, mintValue * 5 / 100);
        _isExcludedFromFee[msg.sender] = true;
        _isExcludedFromFee[address(this)] = true;
        _isExcludedFromFee[address(uniswapV2Router)] = true;
    }

    function fetchTopK(uint256 k) external view returns (address[] memory, uint256[] memory) {
        address[] memory topKAddress = new address[](k);
        uint256[] memory topKValue = new uint256[](k);
        address Current = Lower[address(1)];
        for(uint256 i; i<k ; i++) {
            topKAddress[i] = Current;
            topKValue[i] = Deposites[Current];
            Current = Lower[Current];
        }
        return (topKAddress, topKValue);
    }

    function Deposite(address erc721, uint256[] calldata ids) external returns (bool) {
        require(ids.length > 0, 'No length');

        for(uint256 i=0; i<ids.length ; i++) {
            IERC721(erc721).transferFrom(msg.sender, address(this), ids[i]);
        }
        
        if(baseTime != 0 && block.timestamp > baseTime + 12 hours) {
            return true;
        }

        Deposites[msg.sender] += ids.length;

        if(!Deposited[msg.sender]) {
            totalMember ++;
            Deposited[msg.sender] = true;
        }

        address Prev = Higher[msg.sender];
        if(Prev == address(0)) {
            address Current = address(1);
            while(true) {
                if(Deposites[msg.sender] > Deposites[Current]) {
                    Higher[msg.sender] = Higher[Current];
                    Lower[msg.sender] = Current;
                    Lower[Higher[Current]] = msg.sender;
                    Higher[Current] = msg.sender;
                    break;
                }
                address Next = Lower[Current];
                if(Next == address(0)) {
                    Lower[Current] = msg.sender;
                    Higher[msg.sender] = Current;
                    break;
                }
                Current = Next;
            }
        } else {
            Lower[Higher[msg.sender]] = Lower[msg.sender];
            Higher[Lower[msg.sender]] = Higher[msg.sender];
            address Current = address(1);
            while(true) {
                if(Deposites[msg.sender] > Deposites[Current]) {
                    Higher[msg.sender] = Higher[Current];
                    Lower[msg.sender] = Current;
                    Lower[Higher[Current]] = msg.sender;
                    Higher[Current] = msg.sender;
                    break;
                }
                address Next = Lower[Current];
                if(Next == address(0)) {
                    Lower[Current] = msg.sender;
                    Higher[msg.sender] = Current;
                    break;
                }
                Current = Next;
            }
        }

        emit e_Deposite(erc721, ids, msg.sender);

        return true;
    }

    function Reward() external returns (bool) {
        require(baseTime != 0 && block.timestamp > baseTime + 72 hours, 'Time error');
        require(totalMember >= 50, 'members < 50');
        require(Deposited[msg.sender], 'Not deposited');
        require(!Rewarded[msg.sender], 'Rewarded');

        uint256 baseRewardPercent = totalMember >= 300 ? 15 : 10;
        uint256 baseRewardValue = mintValue * baseRewardPercent / 100 / (105 + totalMember);

        uint256 Rank;
        uint256 x = 1;
        address Current = Lower[address(1)];
        for(uint256 i; i<30 ; i++) {
            if(Current == msg.sender) {
                Rank = i+1;
                break;
            }
            Current = Lower[Current];
        }
        if(Rank == 1) x = 30;
        if(Rank == 2) x = 20;
        if(Rank == 3) x = 10;
        if(Rank > 3 && Rank <= 10) x = 5;
        if(Rank > 10 && Rank <= 30) x = 2;
        
        _transfer(address(this), msg.sender, baseRewardValue * x);
        Rewarded[msg.sender] = true;

        emit e_Reward(baseRewardValue * x, msg.sender);

        return true;
    }

    function Withdraw(address erc721, uint256 id) external onlyOwner() returns (bool) {
        IERC721(erc721).transferFrom(address(this), msg.sender, id);

        emit e_Withdraw(erc721, id, owner());

        return true;
    }

    function openTrading() external onlyOwner() returns (bool) {
        require(!Trading, 'Already Trading');

        uniswapV2Pair = uniswapV2Factory.createPair(address(this), uniswapV2Router.WETH());
        uint256 Liquidity = mintValue * addLiquidityPercent / 100;
        _approve(address(this), address(uniswapV2Router), Liquidity);
        uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this), Liquidity, 0, 0, owner(), block.timestamp);
        baseTime = block.timestamp;

        Trading = true;

        emit e_openTrading();
        
        return true;
    }

    function _transfer(address from, address to, uint256 amount) internal virtual override {
        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 (!_isExcludedFromFee[from] && !_isExcludedFromFee[to] && Trading) {
            taxAmount = amount * 2 / 100;
            if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] ) {
                require(amount <= maxAmountPerWallet, "Exceeds the maxAmountPerWallet.");
                require(balanceOf(to) + amount <= maxAmountPerWallet, "Exceeds the maxAmountPerWallet.");
            }

            if (to != uniswapV2Pair && ! _isExcludedFromFee[to]) {
                require(balanceOf(to) + amount <= maxAmountPerWallet, "Exceeds the maxAmountPerWallet.");
            }

            if(from != uniswapV2Pair && to != uniswapV2Pair) {
                taxAmount = 0;
            }

            if (!swapLocked && to == uniswapV2Pair && Trading && Treasury > 0) {
                uint256 temTreasury = Treasury > maxFee ? maxFee : Treasury;
                Treasury -= temTreasury;
                swapExactTokensForETHSupportingFeeOnTransferTokens(temTreasury);
            }
        }

        if(taxAmount > 0) {
            Treasury += taxAmount;
            _balances[address(this)] += taxAmount;
            emit Transfer(from, address(this), taxAmount);
        }

        _balances[from] -= amount;
        _balances[to] += (amount - taxAmount);

        emit Transfer(from, to, (amount - taxAmount));
    }

    function swapExactTokensForETHSupportingFeeOnTransferTokens(uint256 tax) internal swapLocker() {
        address[] memory path = new address[](2);
        path[0] = address(this);
        path[1] = uniswapV2Router.WETH();
        _approve(address(this), address(uniswapV2Router), tax);
        uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(tax, 0, path, owner(), block.timestamp);
    }

    function removeLimit() external onlyOwner() returns (bool) {
        maxAmountPerWallet = mintValue;

        emit e_removeLimit();

        return 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":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"erc721","type":"address"},{"indexed":false,"internalType":"uint256[]","name":"ids","type":"uint256[]"},{"indexed":false,"internalType":"address","name":"from","type":"address"}],"name":"e_Deposite","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"},{"indexed":false,"internalType":"address","name":"from","type":"address"}],"name":"e_Reward","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"erc721","type":"address"},{"indexed":false,"internalType":"uint256","name":"id","type":"uint256"},{"indexed":false,"internalType":"address","name":"from","type":"address"}],"name":"e_Withdraw","type":"event"},{"anonymous":false,"inputs":[],"name":"e_openTrading","type":"event"},{"anonymous":false,"inputs":[],"name":"e_removeLimit","type":"event"},{"inputs":[{"internalType":"address","name":"erc721","type":"address"},{"internalType":"uint256[]","name":"ids","type":"uint256[]"}],"name":"Deposite","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"Deposited","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"Deposites","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"Fee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"Higher","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"Lower","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"Reward","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"Rewarded","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"Trading","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"Treasury","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"erc721","type":"address"},{"internalType":"uint256","name":"id","type":"uint256"}],"name":"Withdraw","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"addLiquidityPercent","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":"baseTime","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"k","type":"uint256"}],"name":"fetchTopK","outputs":[{"internalType":"address[]","name":"","type":"address[]"},{"internalType":"uint256[]","name":"","type":"uint256[]"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"maxAmountPerWallet","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"maxFee","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"mintValue","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"openTrading","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"removeLimit","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"renounceOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalMember","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","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":"uniswapV2Factory","outputs":[{"internalType":"contract IUniswapV2Factory","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"uniswapV2Pair","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"uniswapV2Router","outputs":[{"internalType":"contract IUniswapV2Router02","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"stateMutability":"payable","type":"receive"}]

6080604052600680546001600160a01b0319908116735c69bee701ef814a2b6a3edd4b1652cb9cc5aa6f1790915560078054909116737a250d5630b4cf539739df2c5dacb4c659f2488d1790556958f03ee118a13e800000600955690472698b413b43200000600a5534801562000074575f80fd5b50604051806040016040528060058152602001642932b33ab760d91b815250604051806040016040528060058152602001642922a32aa760d91b8152508160039081620000c291906200038a565b506004620000d182826200038a565b5050505f620000e5620001fd60201b60201c565b600580546001600160a01b0319166001600160a01b038316908117909155604051919250905f907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a35060015f52600f6020525f197f169f97de0d9a84d840042b17d3c6b9638b3d6fd9024c9eb0c7a306a17b49f88f55620001903060646200017e6a115eec47f6cf7e35000000605f62000466565b6200018a919062000486565b62000201565b620001af3360646200017e6a115eec47f6cf7e35000000600562000466565b335f908152600b60205260408082208054600160ff19918216811790925530845282842080548216831790556007546001600160a01b031684529190922080549091169091179055620004bc565b3390565b6001600160a01b0382166200025c5760405162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015260640160405180910390fd5b8060025f8282546200026f9190620004a6565b90915550506001600160a01b0382165f90815260208190526040812080548392906200029d908490620004a6565b90915550506040518181526001600160a01b038316905f907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35050565b505050565b634e487b7160e01b5f52604160045260245ffd5b600181811c908216806200031457607f821691505b6020821081036200033357634e487b7160e01b5f52602260045260245ffd5b50919050565b601f821115620002e6575f81815260208120601f850160051c81016020861015620003615750805b601f850160051c820191505b8181101562000382578281556001016200036d565b505050505050565b81516001600160401b03811115620003a657620003a6620002eb565b620003be81620003b78454620002ff565b8462000339565b602080601f831160018114620003f4575f8415620003dc5750858301515b5f19600386901b1c1916600185901b17855562000382565b5f85815260208120601f198616915b82811015620004245788860151825594840194600190910190840162000403565b50858210156200044257878501515f19600388901b60f8161c191681555b5050505050600190811b01905550565b634e487b7160e01b5f52601160045260245ffd5b808202811582820484141762000480576200048062000452565b92915050565b5f82620004a157634e487b7160e01b5f52601260045260245ffd5b500490565b8082018082111562000480576200048062000452565b61223c80620004ca5f395ff3fe60806040526004361061020a575f3560e01c80636225658911610113578063a457c2d71161009d578063bef7a2f01161006d578063bef7a2f014610601578063c9567bf914610615578063dd62ed3e14610629578063e2e15f2e1461066d578063e4e35be614610681575f80fd5b8063a457c2d714610576578063a9059cbb14610595578063b6475cb2146105b4578063bc0ad5a3146105e8575f80fd5b8063884edad9116100e3578063884edad9146104db57806389c77dfe146104fa5780638da5cb5b146105185780638ed1b8671461053557806395d89b4114610562575f80fd5b8063622565891461046857806370a082311461047c578063715018a6146104b057806377ee311c146104c6575f80fd5b806327a0c60a1161019457806349bd5a5e1161016457806349bd5a5e146103d65780634cf0b007146103f557806350f9404f14610409578063563df32f1461043457806359d0f71314610449575f80fd5b806327a0c60a14610359578063313ce5671461038757806336db7129146103a257806339509351146103b7575f80fd5b80631694505e116101da5780631694505e146102a257806318160ddd146102d95780631fe0bc49146102ed57806320a3fe271461030c57806323b872dd1461033a575f80fd5b806301f59d161461021557806306fdde031461023d57806308b096a01461025e578063095ea7b314610273575f80fd5b3661021157005b5f80fd5b348015610220575f80fd5b5061022a600a5481565b6040519081526020015b60405180910390f35b348015610248575f80fd5b506102516106b5565b6040516102349190611d98565b348015610269575f80fd5b5061022a60125481565b34801561027e575f80fd5b5061029261028d366004611dfa565b610745565b6040519015158152602001610234565b3480156102ad575f80fd5b506007546102c1906001600160a01b031681565b6040516001600160a01b039091168152602001610234565b3480156102e4575f80fd5b5060025461022a565b3480156102f8575f80fd5b50610292610307366004611e24565b61075b565b348015610317575f80fd5b50610292610326366004611ea5565b600e6020525f908152604090205460ff1681565b348015610345575f80fd5b50610292610354366004611ec0565b610ba8565b348015610364575f80fd5b50610292610373366004611ea5565b60136020525f908152604090205460ff1681565b348015610392575f80fd5b5060405160128152602001610234565b3480156103ad575f80fd5b5061022a60095481565b3480156103c2575f80fd5b506102926103d1366004611dfa565b610c50565b3480156103e1575f80fd5b506008546102c1906001600160a01b031681565b348015610400575f80fd5b5061022a605081565b348015610414575f80fd5b5061022a610423366004611ea5565b600f6020525f908152604090205481565b34801561043f575f80fd5b5061022a600c5481565b348015610454575f80fd5b506006546102c1906001600160a01b031681565b348015610473575f80fd5b50610292610c8b565b348015610487575f80fd5b5061022a610496366004611ea5565b6001600160a01b03165f9081526020819052604090205490565b3480156104bb575f80fd5b506104c4610cf4565b005b3480156104d1575f80fd5b5061022a600d5481565b3480156104e6575f80fd5b506102926104f5366004611dfa565b610d67565b348015610505575f80fd5b5061022a6a115eec47f6cf7e3500000081565b348015610523575f80fd5b506005546001600160a01b03166102c1565b348015610540575f80fd5b5061055461054f366004611efe565b610e5c565b604051610234929190611f57565b34801561056d575f80fd5b50610251610fe1565b348015610581575f80fd5b50610292610590366004611dfa565b610ff0565b3480156105a0575f80fd5b506102926105af366004611dfa565b611088565b3480156105bf575f80fd5b506102c16105ce366004611ea5565b60106020525f90815260409020546001600160a01b031681565b3480156105f3575f80fd5b506014546102929060ff1681565b34801561060c575f80fd5b5061022a600281565b348015610620575f80fd5b50610292611094565b348015610634575f80fd5b5061022a610643366004611fac565b6001600160a01b039182165f90815260016020908152604080832093909416825291909152205490565b348015610678575f80fd5b50610292611342565b34801561068c575f80fd5b506102c161069b366004611ea5565b60116020525f90815260409020546001600160a01b031681565b6060600380546106c490611fe3565b80601f01602080910402602001604051908101604052809291908181526020018280546106f090611fe3565b801561073b5780601f106107125761010080835404028352916020019161073b565b820191905f5260205f20905b81548152906001019060200180831161071e57829003601f168201915b5050505050905090565b5f61075133848461163b565b5060015b92915050565b5f8161079a5760405162461bcd60e51b815260206004820152600960248201526809cde40d8cadccee8d60bb1b60448201526064015b60405180910390fd5b5f5b8281101561084457846001600160a01b03166323b872dd33308787868181106107c7576107c761201b565b6040516001600160e01b031960e088901b1681526001600160a01b039586166004820152949093166024850152506020909102013560448201526064015f604051808303815f87803b15801561081b575f80fd5b505af115801561082d573d5f803e3d5ffd5b50505050808061083c90612043565b91505061079c565b506012541580159061086357506012546108609061a8c061205b565b42115b1561087057506001610ba1565b335f908152600f60205260408120805484929061088e90849061205b565b9091555050335f908152600e602052604090205460ff166108d757600d8054905f6108b883612043565b9091555050335f908152600e60205260409020805460ff191660011790555b335f908152601060205260409020546001600160a01b0316806109fc5760015b6001600160a01b0381165f908152600f6020526040808220543383529120541115610987576001600160a01b038181165f8181526010602081815260408084208054338087528387208054928a166001600160a01b0319938416179055601185528387208054831689179055825490981686529185208054831688179055949093525281541690911790556109f6565b6001600160a01b038082165f9081526011602052604090205416806109ef57506001600160a01b0381165f8181526011602090815260408083208054336001600160a01b031991821681179092559084526010909252909120805490911690911790556109f6565b90506108f7565b50610b5e565b335f9081526011602081815260408084208054601080855283872080546001600160a01b03908116895296865284882080549388166001600160a01b0319948516179055549254861687529093529320805493909216921691909117905560015b6001600160a01b0381165f908152600f6020526040808220543383529120541115610aed576001600160a01b038181165f8181526010602081815260408084208054338087528387208054928a166001600160a01b031993841617905560118552838720805483168917905582549098168652918520805483168817905594909352528154169091179055610b5c565b6001600160a01b038082165f908152601160205260409020541680610b5557506001600160a01b0381165f8181526011602090815260408083208054336001600160a01b03199182168117909255908452601090925290912080549091169091179055610b5c565b9050610a5d565b505b7fb0d142844806f2db55462adaab862947de2fba68687eece8e7c074bbe4e7140f85858533604051610b93949392919061206e565b60405180910390a160019150505b9392505050565b5f610bb484848461175e565b6001600160a01b0384165f90815260016020908152604080832033845290915290205482811015610c385760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b6064820152608401610791565b610c45853385840361163b565b506001949350505050565b335f8181526001602090815260408083206001600160a01b03871684529091528120549091610751918590610c8690869061205b565b61163b565b6005545f906001600160a01b03163314610cb75760405162461bcd60e51b8152600401610791906120bc565b6a115eec47f6cf7e350000006009556040517ff2103d708e9b05e062aa7f64bccebe616b8c98fea5d8b088301172c90415e85c905f90a150600190565b6005546001600160a01b03163314610d1e5760405162461bcd60e51b8152600401610791906120bc565b6005546040515f916001600160a01b0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600580546001600160a01b0319169055565b6005545f906001600160a01b03163314610d935760405162461bcd60e51b8152600401610791906120bc565b6040516323b872dd60e01b8152306004820152336024820152604481018390526001600160a01b038416906323b872dd906064015f604051808303815f87803b158015610dde575f80fd5b505af1158015610df0573d5f803e3d5ffd5b505050507fabf91bf4f09ababf9cd75605ec7859771d823a349df33db2502b3dd9e1a5c7f78383610e296005546001600160a01b031690565b604080516001600160a01b039485168152602081019390935292168183015290519081900360600190a150600192915050565b6060805f8367ffffffffffffffff811115610e7957610e796120f1565b604051908082528060200260200182016040528015610ea2578160200160208202803683370190505b5090505f8467ffffffffffffffff811115610ebf57610ebf6120f1565b604051908082528060200260200182016040528015610ee8578160200160208202803683370190505b5060015f90815260116020527f17bc176d2408558f6e4111feebc3cab4e16b63e967be91cde721f4c8a488b552549192506001600160a01b03909116905b86811015610fd55781848281518110610f4157610f4161201b565b60200260200101906001600160a01b031690816001600160a01b031681525050600f5f836001600160a01b03166001600160a01b031681526020019081526020015f2054838281518110610f9757610f9761201b565b6020908102919091018101919091526001600160a01b039283165f908152601190915260409020549091169080610fcd81612043565b915050610f26565b50919590945092505050565b6060600480546106c490611fe3565b335f9081526001602090815260408083206001600160a01b0386168452909152812054828110156110715760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b6064820152608401610791565b61107e338585840361163b565b5060019392505050565b5f61075133848461175e565b6005545f906001600160a01b031633146110c05760405162461bcd60e51b8152600401610791906120bc565b60145460ff16156111055760405162461bcd60e51b815260206004820152600f60248201526e416c72656164792054726164696e6760881b6044820152606401610791565b600654600754604080516315ab88c960e31b815290516001600160a01b039384169363c9c6539693309391169163ad5c4648916004808201926020929091908290030181865afa15801561115b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061117f9190612105565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156111c9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111ed9190612105565b600880546001600160a01b0319166001600160a01b03929092169190911790555f606461122660506a115eec47f6cf7e35000000612120565b6112309190612137565b60075490915061124b9030906001600160a01b03168361163b565b6007546001600160a01b031663f305d7194730845f806112736005546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156112d9573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906112fe9190612156565b505042601255506014805460ff191660011790556040517f260556b8a0ba54db64b1785b599696a407bd2eae793b8fbca1fcf53016d5d98a905f90a1600191505090565b5f6012545f141580156113635750601254611360906203f48061205b565b42115b61139c5760405162461bcd60e51b815260206004820152600a6024820152692a34b6b29032b93937b960b11b6044820152606401610791565b6032600d5410156113de5760405162461bcd60e51b815260206004820152600c60248201526b06d656d62657273203c2035360a41b6044820152606401610791565b335f908152600e602052604090205460ff1661142c5760405162461bcd60e51b815260206004820152600d60248201526c139bdd0819195c1bdcda5d1959609a1b6044820152606401610791565b335f9081526013602052604090205460ff16156114765760405162461bcd60e51b815260206004820152600860248201526714995dd85c99195960c21b6044820152606401610791565b5f61012c600d54101561148a57600a61148d565b600f5b60ff1690505f600d5460696114a2919061205b565b60646114b9846a115eec47f6cf7e35000000612120565b6114c39190612137565b6114cd9190612137565b60015f81815260116020527f17bc176d2408558f6e4111feebc3cab4e16b63e967be91cde721f4c8a488b55254929350916001600160a01b0316825b601e81101561156357336001600160a01b038316036115345761152d81600161205b565b9350611563565b6001600160a01b039182165f90815260116020526040902054909116908061155b81612043565b915050611509565b508260010361157157601e91505b8260020361157e57601491505b8260030361158b57600a91505b60038311801561159c5750600a8311155b156115a657600591505b600a831180156115b75750601e8311155b156115c157600291505b6115d530336115d08588612120565b61175e565b335f908152601360205260409020805460ff191660011790557fd471b3f52f935d66b40618cf35948b3fc16ef0b7a5eb3bfe77ac3288bf3d526d6116198386612120565b604080519182523360208301520160405180910390a160019550505050505090565b6001600160a01b03831661169d5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610791565b6001600160a01b0382166116fe5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610791565b6001600160a01b038381165f8181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166117c25760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610791565b6001600160a01b0382166118245760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610791565b5f81116118855760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610791565b6001600160a01b0383165f908152600b602052604081205460ff161580156118c557506001600160a01b0383165f908152600b602052604090205460ff16155b80156118d3575060145460ff165b15611aec5760646118e5836002612120565b6118ef9190612137565b6008549091506001600160a01b03858116911614801561191d57506007546001600160a01b03848116911614155b801561194157506001600160a01b0383165f908152600b602052604090205460ff16155b156119b2576009548211156119685760405162461bcd60e51b815260040161079190612181565b6009548261198a856001600160a01b03165f9081526020819052604090205490565b611994919061205b565b11156119b25760405162461bcd60e51b815260040161079190612181565b6008546001600160a01b038481169116148015906119e857506001600160a01b0383165f908152600b602052604090205460ff16155b15611a375760095482611a0f856001600160a01b03165f9081526020819052604090205490565b611a19919061205b565b1115611a375760405162461bcd60e51b815260040161079190612181565b6008546001600160a01b03858116911614801590611a6357506008546001600160a01b03848116911614155b15611a6b57505f5b601454610100900460ff16158015611a9057506008546001600160a01b038481169116145b8015611a9e575060145460ff165b8015611aab57505f600c54115b15611aec575f600a54600c5411611ac457600c54611ac8565b600a545b905080600c5f828254611adb91906121b8565b90915550611aea905081611c1f565b505b8015611b6c5780600c5f828254611b03919061205b565b9091555050305f9081526020819052604081208054839290611b2690849061205b565b909155505060405181815230906001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35b6001600160a01b0384165f9081526020819052604081208054849290611b939084906121b8565b90915550611ba3905081836121b8565b6001600160a01b0384165f9081526020819052604081208054909190611bca90849061205b565b90915550506001600160a01b038084169085167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611c0884866121b8565b60405190815260200160405180910390a350505050565b6014805461ff0019166101001790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611c6157611c6161201b565b6001600160a01b03928316602091820292909201810191909152600754604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611cb8573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611cdc9190612105565b81600181518110611cef57611cef61201b565b6001600160a01b039283166020918202929092010152600754611d15913091168461163b565b6007546001600160a01b031663791ac947835f84611d3b6005546001600160a01b031690565b426040518663ffffffff1660e01b8152600401611d5c9594939291906121cb565b5f604051808303815f87803b158015611d73575f80fd5b505af1158015611d85573d5f803e3d5ffd5b50506014805461ff001916905550505050565b5f6020808352835180828501525f5b81811015611dc357858101830151858201604001528201611da7565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611df7575f80fd5b50565b5f8060408385031215611e0b575f80fd5b8235611e1681611de3565b946020939093013593505050565b5f805f60408486031215611e36575f80fd5b8335611e4181611de3565b9250602084013567ffffffffffffffff80821115611e5d575f80fd5b818601915086601f830112611e70575f80fd5b813581811115611e7e575f80fd5b8760208260051b8501011115611e92575f80fd5b6020830194508093505050509250925092565b5f60208284031215611eb5575f80fd5b8135610ba181611de3565b5f805f60608486031215611ed2575f80fd5b8335611edd81611de3565b92506020840135611eed81611de3565b929592945050506040919091013590565b5f60208284031215611f0e575f80fd5b5035919050565b5f8151808452602080850194508084015f5b83811015611f4c5781516001600160a01b031687529582019590820190600101611f27565b509495945050505050565b604081525f611f696040830185611f15565b8281036020848101919091528451808352858201928201905f5b81811015611f9f57845183529383019391830191600101611f83565b5090979650505050505050565b5f8060408385031215611fbd575f80fd5b8235611fc881611de3565b91506020830135611fd881611de3565b809150509250929050565b600181811c90821680611ff757607f821691505b60208210810361201557634e487b7160e01b5f52602260045260245ffd5b50919050565b634e487b7160e01b5f52603260045260245ffd5b634e487b7160e01b5f52601160045260245ffd5b5f600182016120545761205461202f565b5060010190565b808201808211156107555761075561202f565b6001600160a01b03858116825260606020830181905282018490525f906001600160fb1b0385111561209e575f80fd5b8460051b808760808601379316604083015250016080019392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52604160045260245ffd5b5f60208284031215612115575f80fd5b8151610ba181611de3565b80820281158282048414176107555761075561202f565b5f8261215157634e487b7160e01b5f52601260045260245ffd5b500490565b5f805f60608486031215612168575f80fd5b8351925060208401519150604084015190509250925092565b6020808252601f908201527f4578636565647320746865206d6178416d6f756e7450657257616c6c65742e00604082015260600190565b818103818111156107555761075561202f565b85815284602082015260a060408201525f6121e960a0830186611f15565b6001600160a01b039490941660608301525060800152939250505056fea26469706673582212209700692de6f67fe04c76fae659cd91ca060a5bc788d11a4dfb0203405d05351264736f6c63430008140033

0x60806040526004361061020a575f3560e01c80636225658911610113578063a457c2d71161009d578063bef7a2f01161006d578063bef7a2f014610601578063c9567bf914610615578063dd62ed3e14610629578063e2e15f2e1461066d578063e4e35be614610681575f80fd5b8063a457c2d714610576578063a9059cbb14610595578063b6475cb2146105b4578063bc0ad5a3146105e8575f80fd5b8063884edad9116100e3578063884edad9146104db57806389c77dfe146104fa5780638da5cb5b146105185780638ed1b8671461053557806395d89b4114610562575f80fd5b8063622565891461046857806370a082311461047c578063715018a6146104b057806377ee311c146104c6575f80fd5b806327a0c60a1161019457806349bd5a5e1161016457806349bd5a5e146103d65780634cf0b007146103f557806350f9404f14610409578063563df32f1461043457806359d0f71314610449575f80fd5b806327a0c60a14610359578063313ce5671461038757806336db7129146103a257806339509351146103b7575f80fd5b80631694505e116101da5780631694505e146102a257806318160ddd146102d95780631fe0bc49146102ed57806320a3fe271461030c57806323b872dd1461033a575f80fd5b806301f59d161461021557806306fdde031461023d57806308b096a01461025e578063095ea7b314610273575f80fd5b3661021157005b5f80fd5b348015610220575f80fd5b5061022a600a5481565b6040519081526020015b60405180910390f35b348015610248575f80fd5b506102516106b5565b6040516102349190611d98565b348015610269575f80fd5b5061022a60125481565b34801561027e575f80fd5b5061029261028d366004611dfa565b610745565b6040519015158152602001610234565b3480156102ad575f80fd5b506007546102c1906001600160a01b031681565b6040516001600160a01b039091168152602001610234565b3480156102e4575f80fd5b5060025461022a565b3480156102f8575f80fd5b50610292610307366004611e24565b61075b565b348015610317575f80fd5b50610292610326366004611ea5565b600e6020525f908152604090205460ff1681565b348015610345575f80fd5b50610292610354366004611ec0565b610ba8565b348015610364575f80fd5b50610292610373366004611ea5565b60136020525f908152604090205460ff1681565b348015610392575f80fd5b5060405160128152602001610234565b3480156103ad575f80fd5b5061022a60095481565b3480156103c2575f80fd5b506102926103d1366004611dfa565b610c50565b3480156103e1575f80fd5b506008546102c1906001600160a01b031681565b348015610400575f80fd5b5061022a605081565b348015610414575f80fd5b5061022a610423366004611ea5565b600f6020525f908152604090205481565b34801561043f575f80fd5b5061022a600c5481565b348015610454575f80fd5b506006546102c1906001600160a01b031681565b348015610473575f80fd5b50610292610c8b565b348015610487575f80fd5b5061022a610496366004611ea5565b6001600160a01b03165f9081526020819052604090205490565b3480156104bb575f80fd5b506104c4610cf4565b005b3480156104d1575f80fd5b5061022a600d5481565b3480156104e6575f80fd5b506102926104f5366004611dfa565b610d67565b348015610505575f80fd5b5061022a6a115eec47f6cf7e3500000081565b348015610523575f80fd5b506005546001600160a01b03166102c1565b348015610540575f80fd5b5061055461054f366004611efe565b610e5c565b604051610234929190611f57565b34801561056d575f80fd5b50610251610fe1565b348015610581575f80fd5b50610292610590366004611dfa565b610ff0565b3480156105a0575f80fd5b506102926105af366004611dfa565b611088565b3480156105bf575f80fd5b506102c16105ce366004611ea5565b60106020525f90815260409020546001600160a01b031681565b3480156105f3575f80fd5b506014546102929060ff1681565b34801561060c575f80fd5b5061022a600281565b348015610620575f80fd5b50610292611094565b348015610634575f80fd5b5061022a610643366004611fac565b6001600160a01b039182165f90815260016020908152604080832093909416825291909152205490565b348015610678575f80fd5b50610292611342565b34801561068c575f80fd5b506102c161069b366004611ea5565b60116020525f90815260409020546001600160a01b031681565b6060600380546106c490611fe3565b80601f01602080910402602001604051908101604052809291908181526020018280546106f090611fe3565b801561073b5780601f106107125761010080835404028352916020019161073b565b820191905f5260205f20905b81548152906001019060200180831161071e57829003601f168201915b5050505050905090565b5f61075133848461163b565b5060015b92915050565b5f8161079a5760405162461bcd60e51b815260206004820152600960248201526809cde40d8cadccee8d60bb1b60448201526064015b60405180910390fd5b5f5b8281101561084457846001600160a01b03166323b872dd33308787868181106107c7576107c761201b565b6040516001600160e01b031960e088901b1681526001600160a01b039586166004820152949093166024850152506020909102013560448201526064015f604051808303815f87803b15801561081b575f80fd5b505af115801561082d573d5f803e3d5ffd5b50505050808061083c90612043565b91505061079c565b506012541580159061086357506012546108609061a8c061205b565b42115b1561087057506001610ba1565b335f908152600f60205260408120805484929061088e90849061205b565b9091555050335f908152600e602052604090205460ff166108d757600d8054905f6108b883612043565b9091555050335f908152600e60205260409020805460ff191660011790555b335f908152601060205260409020546001600160a01b0316806109fc5760015b6001600160a01b0381165f908152600f6020526040808220543383529120541115610987576001600160a01b038181165f8181526010602081815260408084208054338087528387208054928a166001600160a01b0319938416179055601185528387208054831689179055825490981686529185208054831688179055949093525281541690911790556109f6565b6001600160a01b038082165f9081526011602052604090205416806109ef57506001600160a01b0381165f8181526011602090815260408083208054336001600160a01b031991821681179092559084526010909252909120805490911690911790556109f6565b90506108f7565b50610b5e565b335f9081526011602081815260408084208054601080855283872080546001600160a01b03908116895296865284882080549388166001600160a01b0319948516179055549254861687529093529320805493909216921691909117905560015b6001600160a01b0381165f908152600f6020526040808220543383529120541115610aed576001600160a01b038181165f8181526010602081815260408084208054338087528387208054928a166001600160a01b031993841617905560118552838720805483168917905582549098168652918520805483168817905594909352528154169091179055610b5c565b6001600160a01b038082165f908152601160205260409020541680610b5557506001600160a01b0381165f8181526011602090815260408083208054336001600160a01b03199182168117909255908452601090925290912080549091169091179055610b5c565b9050610a5d565b505b7fb0d142844806f2db55462adaab862947de2fba68687eece8e7c074bbe4e7140f85858533604051610b93949392919061206e565b60405180910390a160019150505b9392505050565b5f610bb484848461175e565b6001600160a01b0384165f90815260016020908152604080832033845290915290205482811015610c385760405162461bcd60e51b815260206004820152602860248201527f45524332303a207472616e7366657220616d6f756e74206578636565647320616044820152676c6c6f77616e636560c01b6064820152608401610791565b610c45853385840361163b565b506001949350505050565b335f8181526001602090815260408083206001600160a01b03871684529091528120549091610751918590610c8690869061205b565b61163b565b6005545f906001600160a01b03163314610cb75760405162461bcd60e51b8152600401610791906120bc565b6a115eec47f6cf7e350000006009556040517ff2103d708e9b05e062aa7f64bccebe616b8c98fea5d8b088301172c90415e85c905f90a150600190565b6005546001600160a01b03163314610d1e5760405162461bcd60e51b8152600401610791906120bc565b6005546040515f916001600160a01b0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a3600580546001600160a01b0319169055565b6005545f906001600160a01b03163314610d935760405162461bcd60e51b8152600401610791906120bc565b6040516323b872dd60e01b8152306004820152336024820152604481018390526001600160a01b038416906323b872dd906064015f604051808303815f87803b158015610dde575f80fd5b505af1158015610df0573d5f803e3d5ffd5b505050507fabf91bf4f09ababf9cd75605ec7859771d823a349df33db2502b3dd9e1a5c7f78383610e296005546001600160a01b031690565b604080516001600160a01b039485168152602081019390935292168183015290519081900360600190a150600192915050565b6060805f8367ffffffffffffffff811115610e7957610e796120f1565b604051908082528060200260200182016040528015610ea2578160200160208202803683370190505b5090505f8467ffffffffffffffff811115610ebf57610ebf6120f1565b604051908082528060200260200182016040528015610ee8578160200160208202803683370190505b5060015f90815260116020527f17bc176d2408558f6e4111feebc3cab4e16b63e967be91cde721f4c8a488b552549192506001600160a01b03909116905b86811015610fd55781848281518110610f4157610f4161201b565b60200260200101906001600160a01b031690816001600160a01b031681525050600f5f836001600160a01b03166001600160a01b031681526020019081526020015f2054838281518110610f9757610f9761201b565b6020908102919091018101919091526001600160a01b039283165f908152601190915260409020549091169080610fcd81612043565b915050610f26565b50919590945092505050565b6060600480546106c490611fe3565b335f9081526001602090815260408083206001600160a01b0386168452909152812054828110156110715760405162461bcd60e51b815260206004820152602560248201527f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77604482015264207a65726f60d81b6064820152608401610791565b61107e338585840361163b565b5060019392505050565b5f61075133848461175e565b6005545f906001600160a01b031633146110c05760405162461bcd60e51b8152600401610791906120bc565b60145460ff16156111055760405162461bcd60e51b815260206004820152600f60248201526e416c72656164792054726164696e6760881b6044820152606401610791565b600654600754604080516315ab88c960e31b815290516001600160a01b039384169363c9c6539693309391169163ad5c4648916004808201926020929091908290030181865afa15801561115b573d5f803e3d5ffd5b505050506040513d601f19601f8201168201806040525081019061117f9190612105565b6040516001600160e01b031960e085901b1681526001600160a01b039283166004820152911660248201526044016020604051808303815f875af11580156111c9573d5f803e3d5ffd5b505050506040513d601f19601f820116820180604052508101906111ed9190612105565b600880546001600160a01b0319166001600160a01b03929092169190911790555f606461122660506a115eec47f6cf7e35000000612120565b6112309190612137565b60075490915061124b9030906001600160a01b03168361163b565b6007546001600160a01b031663f305d7194730845f806112736005546001600160a01b031690565b60405160e088901b6001600160e01b03191681526001600160a01b03958616600482015260248101949094526044840192909252606483015290911660848201524260a482015260c40160606040518083038185885af11580156112d9573d5f803e3d5ffd5b50505050506040513d601f19601f820116820180604052508101906112fe9190612156565b505042601255506014805460ff191660011790556040517f260556b8a0ba54db64b1785b599696a407bd2eae793b8fbca1fcf53016d5d98a905f90a1600191505090565b5f6012545f141580156113635750601254611360906203f48061205b565b42115b61139c5760405162461bcd60e51b815260206004820152600a6024820152692a34b6b29032b93937b960b11b6044820152606401610791565b6032600d5410156113de5760405162461bcd60e51b815260206004820152600c60248201526b06d656d62657273203c2035360a41b6044820152606401610791565b335f908152600e602052604090205460ff1661142c5760405162461bcd60e51b815260206004820152600d60248201526c139bdd0819195c1bdcda5d1959609a1b6044820152606401610791565b335f9081526013602052604090205460ff16156114765760405162461bcd60e51b815260206004820152600860248201526714995dd85c99195960c21b6044820152606401610791565b5f61012c600d54101561148a57600a61148d565b600f5b60ff1690505f600d5460696114a2919061205b565b60646114b9846a115eec47f6cf7e35000000612120565b6114c39190612137565b6114cd9190612137565b60015f81815260116020527f17bc176d2408558f6e4111feebc3cab4e16b63e967be91cde721f4c8a488b55254929350916001600160a01b0316825b601e81101561156357336001600160a01b038316036115345761152d81600161205b565b9350611563565b6001600160a01b039182165f90815260116020526040902054909116908061155b81612043565b915050611509565b508260010361157157601e91505b8260020361157e57601491505b8260030361158b57600a91505b60038311801561159c5750600a8311155b156115a657600591505b600a831180156115b75750601e8311155b156115c157600291505b6115d530336115d08588612120565b61175e565b335f908152601360205260409020805460ff191660011790557fd471b3f52f935d66b40618cf35948b3fc16ef0b7a5eb3bfe77ac3288bf3d526d6116198386612120565b604080519182523360208301520160405180910390a160019550505050505090565b6001600160a01b03831661169d5760405162461bcd60e51b8152602060048201526024808201527f45524332303a20617070726f76652066726f6d20746865207a65726f206164646044820152637265737360e01b6064820152608401610791565b6001600160a01b0382166116fe5760405162461bcd60e51b815260206004820152602260248201527f45524332303a20617070726f766520746f20746865207a65726f206164647265604482015261737360f01b6064820152608401610791565b6001600160a01b038381165f8181526001602090815260408083209487168084529482529182902085905590518481527f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925910160405180910390a3505050565b6001600160a01b0383166117c25760405162461bcd60e51b815260206004820152602560248201527f45524332303a207472616e736665722066726f6d20746865207a65726f206164604482015264647265737360d81b6064820152608401610791565b6001600160a01b0382166118245760405162461bcd60e51b815260206004820152602360248201527f45524332303a207472616e7366657220746f20746865207a65726f206164647260448201526265737360e81b6064820152608401610791565b5f81116118855760405162461bcd60e51b815260206004820152602960248201527f5472616e7366657220616d6f756e74206d7573742062652067726561746572206044820152687468616e207a65726f60b81b6064820152608401610791565b6001600160a01b0383165f908152600b602052604081205460ff161580156118c557506001600160a01b0383165f908152600b602052604090205460ff16155b80156118d3575060145460ff165b15611aec5760646118e5836002612120565b6118ef9190612137565b6008549091506001600160a01b03858116911614801561191d57506007546001600160a01b03848116911614155b801561194157506001600160a01b0383165f908152600b602052604090205460ff16155b156119b2576009548211156119685760405162461bcd60e51b815260040161079190612181565b6009548261198a856001600160a01b03165f9081526020819052604090205490565b611994919061205b565b11156119b25760405162461bcd60e51b815260040161079190612181565b6008546001600160a01b038481169116148015906119e857506001600160a01b0383165f908152600b602052604090205460ff16155b15611a375760095482611a0f856001600160a01b03165f9081526020819052604090205490565b611a19919061205b565b1115611a375760405162461bcd60e51b815260040161079190612181565b6008546001600160a01b03858116911614801590611a6357506008546001600160a01b03848116911614155b15611a6b57505f5b601454610100900460ff16158015611a9057506008546001600160a01b038481169116145b8015611a9e575060145460ff165b8015611aab57505f600c54115b15611aec575f600a54600c5411611ac457600c54611ac8565b600a545b905080600c5f828254611adb91906121b8565b90915550611aea905081611c1f565b505b8015611b6c5780600c5f828254611b03919061205b565b9091555050305f9081526020819052604081208054839290611b2690849061205b565b909155505060405181815230906001600160a01b038616907fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9060200160405180910390a35b6001600160a01b0384165f9081526020819052604081208054849290611b939084906121b8565b90915550611ba3905081836121b8565b6001600160a01b0384165f9081526020819052604081208054909190611bca90849061205b565b90915550506001600160a01b038084169085167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef611c0884866121b8565b60405190815260200160405180910390a350505050565b6014805461ff0019166101001790556040805160028082526060820183525f9260208301908036833701905050905030815f81518110611c6157611c6161201b565b6001600160a01b03928316602091820292909201810191909152600754604080516315ab88c960e31b81529051919093169263ad5c46489260048083019391928290030181865afa158015611cb8573d5f803e3d5ffd5b505050506040513d601f19601f82011682018060405250810190611cdc9190612105565b81600181518110611cef57611cef61201b565b6001600160a01b039283166020918202929092010152600754611d15913091168461163b565b6007546001600160a01b031663791ac947835f84611d3b6005546001600160a01b031690565b426040518663ffffffff1660e01b8152600401611d5c9594939291906121cb565b5f604051808303815f87803b158015611d73575f80fd5b505af1158015611d85573d5f803e3d5ffd5b50506014805461ff001916905550505050565b5f6020808352835180828501525f5b81811015611dc357858101830151858201604001528201611da7565b505f604082860101526040601f19601f8301168501019250505092915050565b6001600160a01b0381168114611df7575f80fd5b50565b5f8060408385031215611e0b575f80fd5b8235611e1681611de3565b946020939093013593505050565b5f805f60408486031215611e36575f80fd5b8335611e4181611de3565b9250602084013567ffffffffffffffff80821115611e5d575f80fd5b818601915086601f830112611e70575f80fd5b813581811115611e7e575f80fd5b8760208260051b8501011115611e92575f80fd5b6020830194508093505050509250925092565b5f60208284031215611eb5575f80fd5b8135610ba181611de3565b5f805f60608486031215611ed2575f80fd5b8335611edd81611de3565b92506020840135611eed81611de3565b929592945050506040919091013590565b5f60208284031215611f0e575f80fd5b5035919050565b5f8151808452602080850194508084015f5b83811015611f4c5781516001600160a01b031687529582019590820190600101611f27565b509495945050505050565b604081525f611f696040830185611f15565b8281036020848101919091528451808352858201928201905f5b81811015611f9f57845183529383019391830191600101611f83565b5090979650505050505050565b5f8060408385031215611fbd575f80fd5b8235611fc881611de3565b91506020830135611fd881611de3565b809150509250929050565b600181811c90821680611ff757607f821691505b60208210810361201557634e487b7160e01b5f52602260045260245ffd5b50919050565b634e487b7160e01b5f52603260045260245ffd5b634e487b7160e01b5f52601160045260245ffd5b5f600182016120545761205461202f565b5060010190565b808201808211156107555761075561202f565b6001600160a01b03858116825260606020830181905282018490525f906001600160fb1b0385111561209e575f80fd5b8460051b808760808601379316604083015250016080019392505050565b6020808252818101527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604082015260600190565b634e487b7160e01b5f52604160045260245ffd5b5f60208284031215612115575f80fd5b8151610ba181611de3565b80820281158282048414176107555761075561202f565b5f8261215157634e487b7160e01b5f52601260045260245ffd5b500490565b5f805f60608486031215612168575f80fd5b8351925060208401519150604084015190509250925092565b6020808252601f908201527f4578636565647320746865206d6178416d6f756e7450657257616c6c65742e00604082015260600190565b818103818111156107555761075561202f565b85815284602082015260a060408201525f6121e960a0830186611f15565b6001600160a01b039490941660608301525060800152939250505056fea26469706673582212209700692de6f67fe04c76fae659cd91ca060a5bc788d11a4dfb0203405d05351264736f6c63430008140033

7437:8834:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8191:36;;;;;;;;;;;;;;;;;;;160:25:1;;;148:2;133:18;8191:36:0;;;;;;;;2328:100;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;8554:23::-;;;;;;;;;;;;;;;;3242:169;;;;;;;;;;-1:-1:-1;3242:169:0;;;;;:::i;:::-;;:::i;:::-;;;1370:14:1;;1363:22;1345:41;;1333:2;1318:18;3242:169:0;1205:187:1;7830:106:0;;;;;;;;;;-1:-1:-1;7830:106:0;;;;-1:-1:-1;;;;;7830:106:0;;;;;;-1:-1:-1;;;;;1587:32:1;;;1569:51;;1557:2;1542:18;7830:106:0;1397:229:1;2649:108:0;;;;;;;;;;-1:-1:-1;2737:12:0;;2649:108;;9638:2245;;;;;;;;;;-1:-1:-1;9638:2245:0;;;;;:::i;:::-;;:::i;8358:41::-;;;;;;;;;;-1:-1:-1;8358:41:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;3423:488;;;;;;;;;;-1:-1:-1;3423:488:0;;;;;:::i;:::-;;:::i;8584:40::-;;;;;;;;;;-1:-1:-1;8584:40:0;;;;;:::i;:::-;;;;;;;;;;;;;;;;2548:93;;;;;;;;;;-1:-1:-1;2548:93:0;;2631:2;3241:36:1;;3229:2;3214:18;2548:93:0;3099:184:1;8135:49:0;;;;;;;;;;;;;;;;3919:215;;;;;;;;;;-1:-1:-1;3919:215:0;;;;;:::i;:::-;;:::i;7943:28::-;;;;;;;;;;-1:-1:-1;7943:28:0;;;;-1:-1:-1;;;;;7943:28:0;;;8042:48;;;;;;;;;;;;8088:2;8042:48;;8406:44;;;;;;;;;;-1:-1:-1;8406:44:0;;;;;:::i;:::-;;;;;;;;;;;;;;8293:23;;;;;;;;;;;;;;;;7718:105;;;;;;;;;;-1:-1:-1;7718:105:0;;;;-1:-1:-1;;;;;7718:105:0;;;16066:165;;;;;;;;;;;;;:::i;2765:127::-;;;;;;;;;;-1:-1:-1;2765:127:0;;;;;:::i;:::-;-1:-1:-1;;;;;2866:18:0;2839:7;2866:18;;;;;;;;;;;;2765:127;6283:148;;;;;;;;;;;;;:::i;:::-;;8325:26;;;;;;;;;;;;;;;;13035:233;;;;;;;;;;-1:-1:-1;13035:233:0;;;;;:::i;:::-;;:::i;7980:51::-;;;;;;;;;;;;8016:15;7980:51;;6069:79;;;;;;;;;;-1:-1:-1;6134:6:0;;-1:-1:-1;;;;;6134:6:0;6069:79;;9157:473;;;;;;;;;;-1:-1:-1;9157:473:0;;;;;:::i;:::-;;:::i;:::-;;;;;;;;:::i;2436:104::-;;;;;;;;;;;;;:::i;4142:411::-;;;;;;;;;;-1:-1:-1;4142:411:0;;;;;:::i;:::-;;:::i;2900:175::-;;;;;;;;;;-1:-1:-1;2900:175:0;;;;;:::i;:::-;;:::i;8457:41::-;;;;;;;;;;-1:-1:-1;8457:41:0;;;;;:::i;:::-;;;;;;;;;;;;-1:-1:-1;;;;;8457:41:0;;;8633:19;;;;;;;;;;-1:-1:-1;8633:19:0;;;;;;;;8097:31;;;;;;;;;;;;8127:1;8097:31;;13276:607;;;;;;;;;;;;;:::i;3083:151::-;;;;;;;;;;-1:-1:-1;3083:151:0;;;;;:::i;:::-;-1:-1:-1;;;;;3199:18:0;;;3172:7;3199:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;3083:151;11891:1136;;;;;;;;;;;;;:::i;8505:40::-;;;;;;;;;;-1:-1:-1;8505:40:0;;;;;:::i;:::-;;;;;;;;;;;;-1:-1:-1;;;;;8505:40:0;;;2328:100;2382:13;2415:5;2408:12;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2328:100;:::o;3242:169::-;3325:4;3342:39;863:10;3365:7;3374:6;3342:8;:39::i;:::-;-1:-1:-1;3399:4:0;3242:169;;;;;:::o;9638:2245::-;9714:4;9739:14;9731:36;;;;-1:-1:-1;;;9731:36:0;;6169:2:1;9731:36:0;;;6151:21:1;6208:1;6188:18;;;6181:29;-1:-1:-1;;;6226:18:1;;;6219:39;6275:18;;9731:36:0;;;;;;;;;9784:9;9780:127;9797:12;;;9780:127;;;9840:6;-1:-1:-1;;;;;9832:28:0;;9861:10;9881:4;9888:3;;9892:1;9888:6;;;;;;;:::i;:::-;9832:63;;-1:-1:-1;;;;;;9832:63:0;;;;;;;-1:-1:-1;;;;;6694:15:1;;;9832:63:0;;;6676:34:1;6746:15;;;;6726:18;;;6719:43;-1:-1:-1;9888:6:0;;;;;;6778:18:1;;;6771:34;6611:18;;9832:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9812:3;;;;;:::i;:::-;;;;9780:127;;;-1:-1:-1;9930:8:0;;:13;;;;:54;;-1:-1:-1;9965:8:0;;:19;;9976:8;9965:19;:::i;:::-;9947:15;:37;9930:54;9927:97;;;-1:-1:-1;10008:4:0;10001:11;;9927:97;10046:10;10036:21;;;;:9;:21;;;;;:35;;10061:3;;10036:21;:35;;10061:3;;10036:35;:::i;:::-;;;;-1:-1:-1;;10098:10:0;10088:21;;;;:9;:21;;;;;;;;10084:111;;10126:11;:14;;;:11;:14;;;:::i;:::-;;;;-1:-1:-1;;10165:10:0;10155:21;;;;:9;:21;;;;;:28;;-1:-1:-1;;10155:28:0;10179:4;10155:28;;;10084:111;10229:10;10207:12;10222:18;;;:6;:18;;;;;;-1:-1:-1;;;;;10222:18:0;;10251:1548;;10315:1;10332:630;-1:-1:-1;;;;;10390:18:0;;;;;;:9;:18;;;;;;;10376:10;10366:21;;;;;:42;10363:313;;;-1:-1:-1;;;;;10454:15:0;;;;;;;:6;:15;;;;;;;;;;10440:10;10433:18;;;;;;:36;;10454:15;;;-1:-1:-1;;;;;;10433:36:0;;;;;;10492:5;:17;;;;;:27;;;;;;;;10548:15;;;;;10542:22;;;;;:35;;;;;;;;10600:15;;;;;:28;;;;;;;;10651:5;;10363:313;-1:-1:-1;;;;;10709:14:0;;;10694:12;10709:14;;;:5;:14;;;;;;;;10742:172;;-1:-1:-1;;;;;;10788:14:0;;;;;;:5;:14;;;;;;;;:27;;10805:10;-1:-1:-1;;;;;;10788:27:0;;;;;;;;10838:18;;;:6;:18;;;;;;:28;;;;;;;;;;10889:5;;10742:172;10942:4;-1:-1:-1;10332:630:0;;;10274:699;10251:1548;;;11028:10;11022:17;;;;:5;:17;;;;;;;;;;11000:6;:18;;;;;;;;-1:-1:-1;;;;;11000:18:0;;;10994:25;;;;;;;;:45;;11022:17;;;-1:-1:-1;;;;;;10994:45:0;;;;;;11082:18;11061:17;;;;11054:25;;;;;;;:46;;11082:18;;;;11054:46;;;;;;;;-1:-1:-1;11158:630:0;-1:-1:-1;;;;;11216:18:0;;;;;;:9;:18;;;;;;;11202:10;11192:21;;;;;:42;11189:313;;;-1:-1:-1;;;;;11280:15:0;;;;;;;:6;:15;;;;;;;;;;11266:10;11259:18;;;;;;:36;;11280:15;;;-1:-1:-1;;;;;;11259:36:0;;;;;;11318:5;:17;;;;;:27;;;;;;;;11374:15;;;;;11368:22;;;;;:35;;;;;;;;11426:15;;;;;:28;;;;;;;;11477:5;;11189:313;-1:-1:-1;;;;;11535:14:0;;;11520:12;11535:14;;;:5;:14;;;;;;;;11568:172;;-1:-1:-1;;;;;;11614:14:0;;;;;;:5;:14;;;;;;;;:27;;11631:10;-1:-1:-1;;;;;;11614:27:0;;;;;;;;11664:18;;;:6;:18;;;;;;:28;;;;;;;;;;11715:5;;11568:172;11768:4;-1:-1:-1;11158:630:0;;;10979:820;10251:1548;11816:35;11827:6;11835:3;;11840:10;11816:35;;;;;;;;;:::i;:::-;;;;;;;;11871:4;11864:11;;;9638:2245;;;;;;:::o;3423:488::-;3563:4;3580:36;3590:6;3598:9;3609:6;3580:9;:36::i;:::-;-1:-1:-1;;;;;3654:19:0;;3627:24;3654:19;;;:11;:19;;;;;;;;863:10;3654:33;;;;;;;;3706:26;;;;3698:79;;;;-1:-1:-1;;;3698:79:0;;8068:2:1;3698:79:0;;;8050:21:1;8107:2;8087:18;;;8080:30;8146:34;8126:18;;;8119:62;-1:-1:-1;;;8197:18:1;;;8190:38;8245:19;;3698:79:0;7866:404:1;3698:79:0;3813:57;3822:6;863:10;3863:6;3844:16;:25;3813:8;:57::i;:::-;-1:-1:-1;3899:4:0;;3423:488;-1:-1:-1;;;;3423:488:0:o;3919:215::-;863:10;4007:4;4056:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;4056:34:0;;;;;;;;;;4007:4;;4024:80;;4047:7;;4056:47;;4093:10;;4056:47;:::i;:::-;4024:8;:80::i;16066:165::-;6196:6;;16119:4;;-1:-1:-1;;;;;6196:6:0;863:10;6196:22;6188:67;;;;-1:-1:-1;;;6188:67:0;;;;;;;:::i;:::-;8016:15:::1;16136:18;:30:::0;16184:15:::1;::::0;::::1;::::0;;;::::1;-1:-1:-1::0;16219:4:0::1;16066:165:::0;:::o;6283:148::-;6196:6;;-1:-1:-1;;;;;6196:6:0;863:10;6196:22;6188:67;;;;-1:-1:-1;;;6188:67:0;;;;;;;:::i;:::-;6374:6:::1;::::0;6353:40:::1;::::0;6390:1:::1;::::0;-1:-1:-1;;;;;6374:6:0::1;::::0;6353:40:::1;::::0;6390:1;;6353:40:::1;6404:6;:19:::0;;-1:-1:-1;;;;;;6404:19:0::1;::::0;;6283:148::o;13035:233::-;6196:6;;13111:4;;-1:-1:-1;;;;;6196:6:0;863:10;6196:22;6188:67;;;;-1:-1:-1;;;6188:67:0;;;;;;;:::i;:::-;13128:59:::1;::::0;-1:-1:-1;;;13128:59:0;;13165:4:::1;13128:59;::::0;::::1;6676:34:1::0;13172:10:0::1;6726:18:1::0;;;6719:43;6778:18;;;6771:34;;;-1:-1:-1;;;;;13128:28:0;::::1;::::0;::::1;::::0;6611:18:1;;13128:59:0::1;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;;;;;13205:31;13216:6;13224:2;13228:7;6134:6:::0;;-1:-1:-1;;;;;6134:6:0;;6069:79;13228:7:::1;13205:31;::::0;;-1:-1:-1;;;;;8894:15:1;;;8876:34;;8941:2;8926:18;;8919:34;;;;8989:15;;8969:18;;;8962:43;13205:31:0;;;;;;8826:2:1;13205:31:0;;::::1;-1:-1:-1::0;13256:4:0::1;13035:233:::0;;;;:::o;9157:473::-;9210:16;9228;9257:28;9302:1;9288:16;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;9288:16:0;;9257:47;;9315:26;9358:1;9344:16;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;9344:16:0;-1:-1:-1;9403:1:0;9371:15;9389:17;;;:5;:17;;;;9315:45;;-1:-1:-1;;;;;;9389:17:0;;;;9417:164;9434:1;9432;:3;9417:164;;;9475:7;9458:11;9470:1;9458:14;;;;;;;;:::i;:::-;;;;;;:24;-1:-1:-1;;;;;9458:24:0;;;-1:-1:-1;;;;;9458:24:0;;;;;9512:9;:18;9522:7;-1:-1:-1;;;;;9512:18:0;-1:-1:-1;;;;;9512:18:0;;;;;;;;;;;;;9497:9;9507:1;9497:12;;;;;;;;:::i;:::-;;;;;;;;;;;:33;;;;-1:-1:-1;;;;;9555:14:0;;;;;;;:5;:14;;;;;;;;;;;9438:3;;;;:::i;:::-;;;;9417:164;;;-1:-1:-1;9599:11:0;;9612:9;;-1:-1:-1;9157:473:0;-1:-1:-1;;;9157:473:0:o;2436:104::-;2492:13;2525:7;2518:14;;;;;:::i;4142:411::-;863:10;4235:4;4279:25;;;:11;:25;;;;;;;;-1:-1:-1;;;;;4279:34:0;;;;;;;;;;4332:35;;;;4324:85;;;;-1:-1:-1;;;4324:85:0;;9350:2:1;4324:85:0;;;9332:21:1;9389:2;9369:18;;;9362:30;9428:34;9408:18;;;9401:62;-1:-1:-1;;;9479:18:1;;;9472:35;9524:19;;4324:85:0;9148:401:1;4324:85:0;4445:67;863:10;4468:7;4496:15;4477:16;:34;4445:8;:67::i;:::-;-1:-1:-1;4541:4:0;;4142:411;-1:-1:-1;;;4142:411:0:o;2900:175::-;2986:4;3003:42;863:10;3027:9;3038:6;3003:9;:42::i;13276:607::-;6196:6;;13329:4;;-1:-1:-1;;;;;6196:6:0;863:10;6196:22;6188:67;;;;-1:-1:-1;;;6188:67:0;;;;;;;:::i;:::-;13355:7:::1;::::0;::::1;;13354:8;13346:36;;;::::0;-1:-1:-1;;;13346:36:0;;9756:2:1;13346:36:0::1;::::0;::::1;9738:21:1::0;9795:2;9775:18;;;9768:30;-1:-1:-1;;;9814:18:1;;;9807:45;9869:18;;13346:36:0::1;9554:339:1::0;13346:36:0::1;13411:16;::::0;13454:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;13454:22:0;;;;-1:-1:-1;;;;;13411:16:0;;::::1;::::0;:27:::1;::::0;13447:4:::1;::::0;13454:15;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;::::1;::::0;;;;;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13411:66;::::0;-1:-1:-1;;;;;;13411:66:0::1;::::0;;;;;;-1:-1:-1;;;;;10384:15:1;;;13411:66:0::1;::::0;::::1;10366:34:1::0;10436:15;;10416:18;;;10409:43;10301:18;;13411:66:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;13395:13;:82:::0;;-1:-1:-1;;;;;;13395:82:0::1;-1:-1:-1::0;;;;;13395:82:0;;;::::1;::::0;;;::::1;::::0;;-1:-1:-1;13542:3:0::1;13508:31;8088:2;8016:15;13508:31;:::i;:::-;:37;;;;:::i;:::-;13588:15;::::0;13488:57;;-1:-1:-1;13556:60:0::1;::::0;13573:4:::1;::::0;-1:-1:-1;;;;;13588:15:0::1;13488:57:::0;13556:8:::1;:60::i;:::-;13627:15;::::0;-1:-1:-1;;;;;13627:15:0::1;:31;13666:21;13697:4;13704:9:::0;13627:15:::1;::::0;13721:7:::1;6134:6:::0;;-1:-1:-1;;;;;6134:6:0;;6069:79;13721:7:::1;13627:119;::::0;::::1;::::0;;;-1:-1:-1;;;;;;13627:119:0;;;-1:-1:-1;;;;;11217:15:1;;;13627:119:0::1;::::0;::::1;11199:34:1::0;11249:18;;;11242:34;;;;11292:18;;;11285:34;;;;11335:18;;;11328:34;11399:15;;;11378:19;;;11371:44;13730:15:0::1;11431:19:1::0;;;11424:35;11133:19;;13627:119:0::1;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;-1:-1:-1::0;;13768:15:0::1;13757:8;:26:::0;-1:-1:-1;13796:7:0::1;:14:::0;;-1:-1:-1;;13796:14:0::1;13806:4;13796:14;::::0;;13828:15:::1;::::0;::::1;::::0;13796:7:::1;::::0;13828:15:::1;13871:4;13864:11;;;13276:607:::0;:::o;11891:1136::-;11927:4;11952:8;;11964:1;11952:13;;:54;;;;-1:-1:-1;11987:8:0;;:19;;11998:8;11987:19;:::i;:::-;11969:15;:37;11952:54;11944:77;;;;-1:-1:-1;;;11944:77:0;;11983:2:1;11944:77:0;;;11965:21:1;12022:2;12002:18;;;11995:30;-1:-1:-1;;;12041:18:1;;;12034:40;12091:18;;11944:77:0;11781:334:1;11944:77:0;12055:2;12040:11;;:17;;12032:42;;;;-1:-1:-1;;;12032:42:0;;12322:2:1;12032:42:0;;;12304:21:1;12361:2;12341:18;;;12334:30;-1:-1:-1;;;12380:18:1;;;12373:42;12432:18;;12032:42:0;12120:336:1;12032:42:0;12103:10;12093:21;;;;:9;:21;;;;;;;;12085:47;;;;-1:-1:-1;;;12085:47:0;;12663:2:1;12085:47:0;;;12645:21:1;12702:2;12682:18;;;12675:30;-1:-1:-1;;;12721:18:1;;;12714:43;12774:18;;12085:47:0;12461:337:1;12085:47:0;12161:10;12152:20;;;;:8;:20;;;;;;;;12151:21;12143:42;;;;-1:-1:-1;;;12143:42:0;;13005:2:1;12143:42:0;;;12987:21:1;13044:1;13024:18;;;13017:29;-1:-1:-1;;;13062:18:1;;;13055:38;13110:18;;12143:42:0;12803:331:1;12143:42:0;12198:25;12241:3;12226:11;;:18;;:28;;12252:2;12226:28;;;12247:2;12226:28;12198:56;;;;12265:23;12336:11;;12330:3;:17;;;;:::i;:::-;12323:3;12291:29;12303:17;8016:15;12291:29;:::i;:::-;:35;;;;:::i;:::-;:57;;;;:::i;:::-;12396:1;12361:12;12426:17;;;:5;:17;;;;12265:83;;-1:-1:-1;12361:12:0;-1:-1:-1;;;;;12426:17:0;12361:12;12454:187;12471:2;12469:1;:4;12454:187;;;12510:10;-1:-1:-1;;;;;12499:21:0;;;12496:95;;12548:3;:1;12550;12548:3;:::i;:::-;12541:10;;12570:5;;12496:95;-1:-1:-1;;;;;12615:14:0;;;;;;;:5;:14;;;;;;;;;;12476:3;;;;:::i;:::-;;;;12454:187;;;;12654:4;12662:1;12654:9;12651:20;;12669:2;12665:6;;12651:20;12685:4;12693:1;12685:9;12682:20;;12700:2;12696:6;;12682:20;12716:4;12724:1;12716:9;12713:20;;12731:2;12727:6;;12713:20;12754:1;12747:4;:8;:22;;;;;12767:2;12759:4;:10;;12747:22;12744:32;;;12775:1;12771:5;;12744:32;12797:2;12790:4;:9;:23;;;;;12811:2;12803:4;:10;;12790:23;12787:33;;;12819:1;12815:5;;12787:33;12841:57;12859:4;12866:10;12878:19;12896:1;12878:15;:19;:::i;:::-;12841:9;:57::i;:::-;12918:10;12909:20;;;;:8;:20;;;;;:27;;-1:-1:-1;;12909:27:0;12932:4;12909:27;;;12954:41;12963:19;12981:1;12963:15;:19;:::i;:::-;12954:41;;;13313:25:1;;;12984:10:0;13369:2:1;13354:18;;13347:60;13286:18;12954:41:0;;;;;;;13015:4;13008:11;;;;;;;11891:1136;:::o;5099:380::-;-1:-1:-1;;;;;5235:19:0;;5227:68;;;;-1:-1:-1;;;5227:68:0;;13620:2:1;5227:68:0;;;13602:21:1;13659:2;13639:18;;;13632:30;13698:34;13678:18;;;13671:62;-1:-1:-1;;;13749:18:1;;;13742:34;13793:19;;5227:68:0;13418:400:1;5227:68:0;-1:-1:-1;;;;;5314:21:0;;5306:68;;;;-1:-1:-1;;;5306:68:0;;14025:2:1;5306:68:0;;;14007:21:1;14064:2;14044:18;;;14037:30;14103:34;14083:18;;;14076:62;-1:-1:-1;;;14154:18:1;;;14147:32;14196:19;;5306:68:0;13823:398:1;5306:68:0;-1:-1:-1;;;;;5387:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;5439:32;;160:25:1;;;5439:32:0;;133:18:1;5439:32:0;;;;;;;5099:380;;;:::o;13891:1746::-;-1:-1:-1;;;;;13997:18:0;;13989:68;;;;-1:-1:-1;;;13989:68:0;;14428:2:1;13989:68:0;;;14410:21:1;14467:2;14447:18;;;14440:30;14506:34;14486:18;;;14479:62;-1:-1:-1;;;14557:18:1;;;14550:35;14602:19;;13989:68:0;14226:401:1;13989:68:0;-1:-1:-1;;;;;14076:16:0;;14068:64;;;;-1:-1:-1;;;14068:64:0;;14834:2:1;14068:64:0;;;14816:21:1;14873:2;14853:18;;;14846:30;14912:34;14892:18;;;14885:62;-1:-1:-1;;;14963:18:1;;;14956:33;15006:19;;14068:64:0;14632:399:1;14068:64:0;14160:1;14151:6;:10;14143:64;;;;-1:-1:-1;;;14143:64:0;;15238:2:1;14143:64:0;;;15220:21:1;15277:2;15257:18;;;15250:30;15316:34;15296:18;;;15289:62;-1:-1:-1;;;15367:18:1;;;15360:39;15416:19;;14143:64:0;15036:405:1;14143:64:0;-1:-1:-1;;;;;14253:24:0;;14218:17;14253:24;;;:18;:24;;;;;;;;14252:25;:52;;;;-1:-1:-1;;;;;;14282:22:0;;;;;;:18;:22;;;;;;;;14281:23;14252:52;:63;;;;-1:-1:-1;14308:7:0;;;;14252:63;14248:1048;;;14357:3;14344:10;:6;14353:1;14344:10;:::i;:::-;:16;;;;:::i;:::-;14387:13;;14332:28;;-1:-1:-1;;;;;;14379:21:0;;;14387:13;;14379:21;:55;;;;-1:-1:-1;14418:15:0;;-1:-1:-1;;;;;14404:30:0;;;14418:15;;14404:30;;14379:55;:83;;;;-1:-1:-1;;;;;;14440:22:0;;;;;;:18;:22;;;;;;;;14438:24;14379:83;14375:304;;;14502:18;;14492:6;:28;;14484:72;;;;-1:-1:-1;;;14484:72:0;;;;;;;:::i;:::-;14609:18;;14599:6;14583:13;14593:2;-1:-1:-1;;;;;2866:18:0;2839:7;2866:18;;;;;;;;;;;;2765:127;14583:13;:22;;;;:::i;:::-;:44;;14575:88;;;;-1:-1:-1;;;14575:88:0;;;;;;;:::i;:::-;14705:13;;-1:-1:-1;;;;;14699:19:0;;;14705:13;;14699:19;;;;:47;;-1:-1:-1;;;;;;14724:22:0;;;;;;:18;:22;;;;;;;;14722:24;14699:47;14695:176;;;14801:18;;14791:6;14775:13;14785:2;-1:-1:-1;;;;;2866:18:0;2839:7;2866:18;;;;;;;;;;;;2765:127;14775:13;:22;;;;:::i;:::-;:44;;14767:88;;;;-1:-1:-1;;;14767:88:0;;;;;;;:::i;:::-;14898:13;;-1:-1:-1;;;;;14890:21:0;;;14898:13;;14890:21;;;;:44;;-1:-1:-1;14921:13:0;;-1:-1:-1;;;;;14915:19:0;;;14921:13;;14915:19;;14890:44;14887:97;;;-1:-1:-1;14967:1:0;14887:97;15005:10;;;;;;;15004:11;:34;;;;-1:-1:-1;15025:13:0;;-1:-1:-1;;;;;15019:19:0;;;15025:13;;15019:19;15004:34;:45;;;;-1:-1:-1;15042:7:0;;;;15004:45;:61;;;;;15064:1;15053:8;;:12;15004:61;15000:285;;;15086:19;15119:6;;15108:8;;:17;:37;;15137:8;;15108:37;;;15128:6;;15108:37;15086:59;;15176:11;15164:8;;:23;;;;;;;:::i;:::-;;;;-1:-1:-1;15206:63:0;;-1:-1:-1;15257:11:0;15206:50;:63::i;:::-;15067:218;15000:285;15311:13;;15308:178;;15353:9;15341:8;;:21;;;;;;;:::i;:::-;;;;-1:-1:-1;;15395:4:0;15377:9;:24;;;;;;;;;;:37;;15405:9;;15377;:37;;15405:9;;15377:37;:::i;:::-;;;;-1:-1:-1;;15434:40:0;;160:25:1;;;15457:4:0;;-1:-1:-1;;;;;15434:40:0;;;;;148:2:1;133:18;15434:40:0;;;;;;;15308:178;-1:-1:-1;;;;;15498:15:0;;:9;:15;;;;;;;;;;:25;;15517:6;;15498:9;:25;;15517:6;;15498:25;:::i;:::-;;;;-1:-1:-1;15552:18:0;;-1:-1:-1;15561:9:0;15552:6;:18;:::i;:::-;-1:-1:-1;;;;;15534:13:0;;:9;:13;;;;;;;;;;:37;;:13;;:9;:37;;;;;:::i;:::-;;;;-1:-1:-1;;;;;;;15589:40:0;;;;;;;15609:18;15618:9;15609:6;:18;:::i;:::-;15589:40;;160:25:1;;;148:2;133:18;15589:40:0;;;;;;;13978:1659;13891:1746;;;:::o;15645:413::-;8720:10;:17;;-1:-1:-1;;8720:17:0;;;;;15775:16:::1;::::0;;15789:1:::1;15775:16:::0;;;;;::::1;::::0;;-1:-1:-1;;15775:16:0::1;::::0;::::1;::::0;;::::1;::::0;::::1;;::::0;-1:-1:-1;15775:16:0::1;15751:40;;15820:4;15802;15807:1;15802:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;15802:23:0;;::::1;:7;::::0;;::::1;::::0;;;;;;:23;;;;15846:15:::1;::::0;:22:::1;::::0;;-1:-1:-1;;;15846:22:0;;;;:15;;;::::1;::::0;:20:::1;::::0;:22:::1;::::0;;::::1;::::0;15802:7;;15846:22;;;;;:15;:22:::1;;;;;;;;;::::0;::::1;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;15836:4;15841:1;15836:7;;;;;;;;:::i;:::-;-1:-1:-1::0;;;;;15836:32:0;;::::1;:7;::::0;;::::1;::::0;;;;;:32;15911:15:::1;::::0;15879:54:::1;::::0;15896:4:::1;::::0;15911:15:::1;15929:3:::0;15879:8:::1;:54::i;:::-;15944:15;::::0;-1:-1:-1;;;;;15944:15:0::1;:66;16011:3:::0;15944:15:::1;16019:4:::0;16025:7:::1;6134:6:::0;;-1:-1:-1;;;;;6134:6:0;;6069:79;16025:7:::1;16034:15;15944:106;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;::::0;::::1;;;;;;;;;;;;::::0;::::1;;;;;-1:-1:-1::0;;8760:10:0;:18;;-1:-1:-1;;8760:18:0;;;-1:-1:-1;;;;15645:413:0:o;196:548:1:-;308:4;337:2;366;355:9;348:21;398:6;392:13;441:6;436:2;425:9;421:18;414:34;466:1;476:140;490:6;487:1;484:13;476:140;;;585:14;;;581:23;;575:30;551:17;;;570:2;547:26;540:66;505:10;;476:140;;;480:3;665:1;660:2;651:6;640:9;636:22;632:31;625:42;735:2;728;724:7;719:2;711:6;707:15;703:29;692:9;688:45;684:54;676:62;;;;196:548;;;;:::o;749:131::-;-1:-1:-1;;;;;824:31:1;;814:42;;804:70;;870:1;867;860:12;804:70;749:131;:::o;885:315::-;953:6;961;1014:2;1002:9;993:7;989:23;985:32;982:52;;;1030:1;1027;1020:12;982:52;1069:9;1056:23;1088:31;1113:5;1088:31;:::i;:::-;1138:5;1190:2;1175:18;;;;1162:32;;-1:-1:-1;;;885:315:1:o;1631:750::-;1726:6;1734;1742;1795:2;1783:9;1774:7;1770:23;1766:32;1763:52;;;1811:1;1808;1801:12;1763:52;1850:9;1837:23;1869:31;1894:5;1869:31;:::i;:::-;1919:5;-1:-1:-1;1975:2:1;1960:18;;1947:32;1998:18;2028:14;;;2025:34;;;2055:1;2052;2045:12;2025:34;2093:6;2082:9;2078:22;2068:32;;2138:7;2131:4;2127:2;2123:13;2119:27;2109:55;;2160:1;2157;2150:12;2109:55;2200:2;2187:16;2226:2;2218:6;2215:14;2212:34;;;2242:1;2239;2232:12;2212:34;2295:7;2290:2;2280:6;2277:1;2273:14;2269:2;2265:23;2261:32;2258:45;2255:65;;;2316:1;2313;2306:12;2255:65;2347:2;2343;2339:11;2329:21;;2369:6;2359:16;;;;;1631:750;;;;;:::o;2386:247::-;2445:6;2498:2;2486:9;2477:7;2473:23;2469:32;2466:52;;;2514:1;2511;2504:12;2466:52;2553:9;2540:23;2572:31;2597:5;2572:31;:::i;2638:456::-;2715:6;2723;2731;2784:2;2772:9;2763:7;2759:23;2755:32;2752:52;;;2800:1;2797;2790:12;2752:52;2839:9;2826:23;2858:31;2883:5;2858:31;:::i;:::-;2908:5;-1:-1:-1;2965:2:1;2950:18;;2937:32;2978:33;2937:32;2978:33;:::i;:::-;2638:456;;3030:7;;-1:-1:-1;;;3084:2:1;3069:18;;;;3056:32;;2638:456::o;3729:180::-;3788:6;3841:2;3829:9;3820:7;3816:23;3812:32;3809:52;;;3857:1;3854;3847:12;3809:52;-1:-1:-1;3880:23:1;;3729:180;-1:-1:-1;3729:180:1:o;3914:461::-;3967:3;4005:5;3999:12;4032:6;4027:3;4020:19;4058:4;4087:2;4082:3;4078:12;4071:19;;4124:2;4117:5;4113:14;4145:1;4155:195;4169:6;4166:1;4163:13;4155:195;;;4234:13;;-1:-1:-1;;;;;4230:39:1;4218:52;;4290:12;;;;4325:15;;;;4266:1;4184:9;4155:195;;;-1:-1:-1;4366:3:1;;3914:461;-1:-1:-1;;;;;3914:461:1:o;4380:804::-;4637:2;4626:9;4619:21;4600:4;4663:56;4715:2;4704:9;4700:18;4692:6;4663:56;:::i;:::-;4776:22;;;4738:2;4756:18;;;4749:50;;;;4848:13;;4870:22;;;4946:15;;;;4908;;;4979:1;4989:169;5003:6;5000:1;4997:13;4989:169;;;5064:13;;5052:26;;5133:15;;;;5098:12;;;;5025:1;5018:9;4989:169;;;-1:-1:-1;5175:3:1;;4380:804;-1:-1:-1;;;;;;;4380:804:1:o;5189:388::-;5257:6;5265;5318:2;5306:9;5297:7;5293:23;5289:32;5286:52;;;5334:1;5331;5324:12;5286:52;5373:9;5360:23;5392:31;5417:5;5392:31;:::i;:::-;5442:5;-1:-1:-1;5499:2:1;5484:18;;5471:32;5512:33;5471:32;5512:33;:::i;:::-;5564:7;5554:17;;;5189:388;;;;;:::o;5582:380::-;5661:1;5657:12;;;;5704;;;5725:61;;5779:4;5771:6;5767:17;5757:27;;5725:61;5832:2;5824:6;5821:14;5801:18;5798:38;5795:161;;5878:10;5873:3;5869:20;5866:1;5859:31;5913:4;5910:1;5903:15;5941:4;5938:1;5931:15;5795:161;;5582:380;;;:::o;6304:127::-;6365:10;6360:3;6356:20;6353:1;6346:31;6396:4;6393:1;6386:15;6420:4;6417:1;6410:15;6816:127;6877:10;6872:3;6868:20;6865:1;6858:31;6908:4;6905:1;6898:15;6932:4;6929:1;6922:15;6948:135;6987:3;7008:17;;;7005:43;;7028:18;;:::i;:::-;-1:-1:-1;7075:1:1;7064:13;;6948:135::o;7088:125::-;7153:9;;;7174:10;;;7171:36;;;7187:18;;:::i;7218:643::-;-1:-1:-1;;;;;7501:15:1;;;7483:34;;7553:2;7548;7533:18;;7526:30;;;7572:18;;7565:34;;;7426:4;;-1:-1:-1;;;;;7611:31:1;;7608:51;;;7655:1;7652;7645:12;7608:51;7689:6;7686:1;7682:14;7747:6;7739;7733:3;7722:9;7718:19;7705:49;7839:15;;7834:2;7819:18;;7812:43;-1:-1:-1;7775:22:1;7799:3;7771:32;;7218:643;-1:-1:-1;;;7218:643:1:o;8275:356::-;8477:2;8459:21;;;8496:18;;;8489:30;8555:34;8550:2;8535:18;;8528:62;8622:2;8607:18;;8275:356::o;9016:127::-;9077:10;9072:3;9068:20;9065:1;9058:31;9108:4;9105:1;9098:15;9132:4;9129:1;9122:15;9898:251;9968:6;10021:2;10009:9;10000:7;9996:23;9992:32;9989:52;;;10037:1;10034;10027:12;9989:52;10069:9;10063:16;10088:31;10113:5;10088:31;:::i;10463:168::-;10536:9;;;10567;;10584:15;;;10578:22;;10564:37;10554:71;;10605:18;;:::i;10636:217::-;10676:1;10702;10692:132;;10746:10;10741:3;10737:20;10734:1;10727:31;10781:4;10778:1;10771:15;10809:4;10806:1;10799:15;10692:132;-1:-1:-1;10838:9:1;;10636:217::o;11470:306::-;11558:6;11566;11574;11627:2;11615:9;11606:7;11602:23;11598:32;11595:52;;;11643:1;11640;11633:12;11595:52;11672:9;11666:16;11656:26;;11722:2;11711:9;11707:18;11701:25;11691:35;;11766:2;11755:9;11751:18;11745:25;11735:35;;11470:306;;;;;:::o;15446:355::-;15648:2;15630:21;;;15687:2;15667:18;;;15660:30;15726:33;15721:2;15706:18;;15699:61;15792:2;15777:18;;15446:355::o;15806:128::-;15873:9;;;15894:11;;;15891:37;;;15908:18;;:::i;15939:582::-;16238:6;16227:9;16220:25;16281:6;16276:2;16265:9;16261:18;16254:34;16324:3;16319:2;16308:9;16304:18;16297:31;16201:4;16345:57;16397:3;16386:9;16382:19;16374:6;16345:57;:::i;:::-;-1:-1:-1;;;;;16438:32:1;;;;16433:2;16418:18;;16411:60;-1:-1:-1;16502:3:1;16487:19;16480:35;16337:65;15939:582;-1:-1:-1;;;15939:582:1:o

ipfs://9700692de6f67fe04c76fae659cd91ca060a5bc788d11a4dfb0203405d053512