Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•    - function approve(address spender, uin ...
•    - function transfer(address to, uint256 ...
•    - function transferFrom(
•    - function permit(
•    - function DOMAIN_SEPARATOR()
•    - function computeDomainSeparator()
•    - function _mint(address to, uint256 am ...
•    - function _burn(address from, uint256 ...
• interface ERC721
•    - function ownerOf(uint256 id)
• interface IUniswapV2Factory
•    - function feeTo()
•    - function feeToSetter()
•    - function getPair(address tokenA, addr ...
•    - function allPairs(uint)
•    - function allPairsLength()
•    - function createPair(address tokenA, a ...
•    - function setFeeTo(address)
•    - function setFeeToSetter(address)
• interface IUniswapV2Router01
•    - function factory()
•    - function WETH()
•    - function addLiquidity(
•    - function addLiquidityETH(
•    - function removeLiquidity(
•    - function removeLiquidityETH(
•    - function removeLiquidityWithPermit(
•    - function removeLiquidityETHWithPermit ...
•    - function swapExactTokensForTokens(
•    - function swapTokensForExactTokens(
•    - function swapExactETHForTokens(uint a ...
•    - function swapTokensForExactETH(uint a ...
•    - function swapExactTokensForETH(uint a ...
•    - function swapETHForExactTokens(uint a ...
•    - function quote(uint amountA, uint res ...
•    - function getAmountOut(uint amountIn, ...
•    - function getAmountIn(uint amountOut, ...
•    - function getAmountsOut(uint amountIn, ...
•    - function getAmountsIn(uint amountOut, ...
• interface IUniswapV2Router02 is IUnis ...
•    - function removeLiquidityETHSupporting ...
•    - function removeLiquidityETHWithPermit ...
•    - function swapExactTokensForTokensSupp ...
•    - function swapExactETHForTokensSupport ...
•    - function swapExactTokensForETHSupport ...
•  contract Shrimp is ERC20 *
•    - function butterMe(uint256[] calldata ...
•    - function addLiquidity(uint256 tokenAm ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2023-05-04
*/

// SPDX-License-Identifier: AGPL-3.0-only
pragma solidity >=0.8.0;

/// @notice Modern and gas efficient ERC20 + EIP-2612 implementation.
/// @author Solmate (https://github.com/transmissions11/solmate/blob/main/src/tokens/ERC20.sol)
/// @author Modified from Uniswap (https://github.com/Uniswap/uniswap-v2-core/blob/master/contracts/UniswapV2ERC20.sol)
/// @dev Do not manually set balances without updating totalSupply, as the sum of all user balances must not exceed it.
abstract contract ERC20 {
    /*//////////////////////////////////////////////////////////////
                                 EVENTS
    //////////////////////////////////////////////////////////////*/

    event Transfer(address indexed from, address indexed to, uint256 amount);

    event Approval(address indexed owner, address indexed spender, uint256 amount);

    /*//////////////////////////////////////////////////////////////
                            METADATA STORAGE
    //////////////////////////////////////////////////////////////*/

    string public name;

    string public symbol;

    uint8 public immutable decimals;

    /*//////////////////////////////////////////////////////////////
                              ERC20 STORAGE
    //////////////////////////////////////////////////////////////*/

    uint256 public totalSupply;

    mapping(address => uint256) public balanceOf;

    mapping(address => mapping(address => uint256)) public allowance;

    /*//////////////////////////////////////////////////////////////
                            EIP-2612 STORAGE
    //////////////////////////////////////////////////////////////*/

    uint256 internal immutable INITIAL_CHAIN_ID;

    bytes32 internal immutable INITIAL_DOMAIN_SEPARATOR;

    mapping(address => uint256) public nonces;

    /*//////////////////////////////////////////////////////////////
                               CONSTRUCTOR
    //////////////////////////////////////////////////////////////*/

    constructor(
        string memory _name,
        string memory _symbol,
        uint8 _decimals
    ) {
        name = _name;
        symbol = _symbol;
        decimals = _decimals;

        INITIAL_CHAIN_ID = block.chainid;
        INITIAL_DOMAIN_SEPARATOR = computeDomainSeparator();
    }

    /*//////////////////////////////////////////////////////////////
                               ERC20 LOGIC
    //////////////////////////////////////////////////////////////*/

    function approve(address spender, uint256 amount) public virtual returns (bool) {
        allowance[msg.sender][spender] = amount;

        emit Approval(msg.sender, spender, amount);

        return true;
    }

    function transfer(address to, uint256 amount) public virtual returns (bool) {
        balanceOf[msg.sender] -= amount;

        // Cannot overflow because the sum of all user
        // balances can't exceed the max uint256 value.
        unchecked {
            balanceOf[to] += amount;
        }

        emit Transfer(msg.sender, to, amount);

        return true;
    }

    function transferFrom(
        address from,
        address to,
        uint256 amount
    ) public virtual returns (bool) {
        uint256 allowed = allowance[from][msg.sender]; // Saves gas for limited approvals.

        if (allowed != type(uint256).max) allowance[from][msg.sender] = allowed - amount;

        balanceOf[from] -= amount;

        // Cannot overflow because the sum of all user
        // balances can't exceed the max uint256 value.
        unchecked {
            balanceOf[to] += amount;
        }

        emit Transfer(from, to, amount);

        return true;
    }

    /*//////////////////////////////////////////////////////////////
                             EIP-2612 LOGIC
    //////////////////////////////////////////////////////////////*/

    function permit(
        address owner,
        address spender,
        uint256 value,
        uint256 deadline,
        uint8 v,
        bytes32 r,
        bytes32 s
    ) public virtual {
        require(deadline >= block.timestamp, "PERMIT_DEADLINE_EXPIRED");

        // Unchecked because the only math done is incrementing
        // the owner's nonce which cannot realistically overflow.
        unchecked {
            address recoveredAddress = ecrecover(
                keccak256(
                    abi.encodePacked(
                        "\x19\x01",
                        DOMAIN_SEPARATOR(),
                        keccak256(
                            abi.encode(
                                keccak256(
                                    "Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)"
                                ),
                                owner,
                                spender,
                                value,
                                nonces[owner]++,
                                deadline
                            )
                        )
                    )
                ),
                v,
                r,
                s
            );

            require(recoveredAddress != address(0) && recoveredAddress == owner, "INVALID_SIGNER");

            allowance[recoveredAddress][spender] = value;
        }

        emit Approval(owner, spender, value);
    }

    function DOMAIN_SEPARATOR() public view virtual returns (bytes32) {
        return block.chainid == INITIAL_CHAIN_ID ? INITIAL_DOMAIN_SEPARATOR : computeDomainSeparator();
    }

    function computeDomainSeparator() internal view virtual returns (bytes32) {
        return
            keccak256(
                abi.encode(
                    keccak256("EIP712Domain(string name,string version,uint256 chainId,address verifyingContract)"),
                    keccak256(bytes(name)),
                    keccak256("1"),
                    block.chainid,
                    address(this)
                )
            );
    }

    /*//////////////////////////////////////////////////////////////
                        INTERNAL MINT/BURN LOGIC
    //////////////////////////////////////////////////////////////*/

    function _mint(address to, uint256 amount) internal virtual {
        totalSupply += amount;

        // Cannot overflow because the sum of all user
        // balances can't exceed the max uint256 value.
        unchecked {
            balanceOf[to] += amount;
        }

        emit Transfer(address(0), to, amount);
    }

    function _burn(address from, uint256 amount) internal virtual {
        balanceOf[from] -= amount;

        // Cannot underflow because a user's balance
        // will never be larger than the total supply.
        unchecked {
            totalSupply -= amount;
        }

        emit Transfer(from, address(0), amount);
    }
}

interface ERC721 {
    function ownerOf(uint256 id) external view returns (address owner);
}

interface IUniswapV2Factory {
    event PairCreated(address indexed token0, address indexed token1, address pair, uint);

    function feeTo() external view returns (address);
    function feeToSetter() external view returns (address);

    function getPair(address tokenA, address tokenB) external view returns (address pair);
    function allPairs(uint) external view returns (address pair);
    function allPairsLength() external view returns (uint);

    function createPair(address tokenA, address tokenB) external returns (address pair);

    function setFeeTo(address) external;
    function setFeeToSetter(address) external;
}

interface IUniswapV2Router01 {
    function factory() external pure returns (address);
    function WETH() external pure returns (address);

    function addLiquidity(
        address tokenA,
        address tokenB,
        uint amountADesired,
        uint amountBDesired,
        uint amountAMin,
        uint amountBMin,
        address to,
        uint deadline
    ) external returns (uint amountA, uint amountB, uint liquidity);
    function addLiquidityETH(
        address token,
        uint amountTokenDesired,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external payable returns (uint amountToken, uint amountETH, uint liquidity);
    function removeLiquidity(
        address tokenA,
        address tokenB,
        uint liquidity,
        uint amountAMin,
        uint amountBMin,
        address to,
        uint deadline
    ) external returns (uint amountA, uint amountB);
    function removeLiquidityETH(
        address token,
        uint liquidity,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external returns (uint amountToken, uint amountETH);
    function removeLiquidityWithPermit(
        address tokenA,
        address tokenB,
        uint liquidity,
        uint amountAMin,
        uint amountBMin,
        address to,
        uint deadline,
        bool approveMax, uint8 v, bytes32 r, bytes32 s
    ) external returns (uint amountA, uint amountB);
    function removeLiquidityETHWithPermit(
        address token,
        uint liquidity,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline,
        bool approveMax, uint8 v, bytes32 r, bytes32 s
    ) external returns (uint amountToken, uint amountETH);
    function swapExactTokensForTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external returns (uint[] memory amounts);
    function swapTokensForExactTokens(
        uint amountOut,
        uint amountInMax,
        address[] calldata path,
        address to,
        uint deadline
    ) external returns (uint[] memory amounts);
    function swapExactETHForTokens(uint amountOutMin, address[] calldata path, address to, uint deadline)
        external
        payable
        returns (uint[] memory amounts);
    function swapTokensForExactETH(uint amountOut, uint amountInMax, address[] calldata path, address to, uint deadline)
        external
        returns (uint[] memory amounts);
    function swapExactTokensForETH(uint amountIn, uint amountOutMin, address[] calldata path, address to, uint deadline)
        external
        returns (uint[] memory amounts);
    function swapETHForExactTokens(uint amountOut, address[] calldata path, address to, uint deadline)
        external
        payable
        returns (uint[] memory amounts);

    function quote(uint amountA, uint reserveA, uint reserveB) external pure returns (uint amountB);
    function getAmountOut(uint amountIn, uint reserveIn, uint reserveOut) external pure returns (uint amountOut);
    function getAmountIn(uint amountOut, uint reserveIn, uint reserveOut) external pure returns (uint amountIn);
    function getAmountsOut(uint amountIn, address[] calldata path) external view returns (uint[] memory amounts);
    function getAmountsIn(uint amountOut, address[] calldata path) external view returns (uint[] memory amounts);
}



// pragma solidity >=0.6.2;

interface IUniswapV2Router02 is IUniswapV2Router01 {
    function removeLiquidityETHSupportingFeeOnTransferTokens(
        address token,
        uint liquidity,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline
    ) external returns (uint amountETH);
    function removeLiquidityETHWithPermitSupportingFeeOnTransferTokens(
        address token,
        uint liquidity,
        uint amountTokenMin,
        uint amountETHMin,
        address to,
        uint deadline,
        bool approveMax, uint8 v, bytes32 r, bytes32 s
    ) external returns (uint amountETH);

    function swapExactTokensForTokensSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
    function swapExactETHForTokensSupportingFeeOnTransferTokens(
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external payable;
    function swapExactTokensForETHSupportingFeeOnTransferTokens(
        uint amountIn,
        uint amountOutMin,
        address[] calldata path,
        address to,
        uint deadline
    ) external;
}

///@author 0xmons
///@author RobAnon
contract Shrimp is ERC20 {

    address constant private LOBS = 0x026224A2940bFE258D0dbE947919B62fE321F042;
    address constant private IVAN = 0xA7D5DDc1b8557914F158076b228AA91eF613f1D5;
    address constant private DEVS = 0xd9D455A8b8B9AEda2dA66c52B80c90ef423409df;
    address constant private MULTI = 0x0A51F0009980F6AacE317BF9d9592117302cD117;

    uint immutable public LUNCH_DATE;
    uint constant private CLAM_PERIOD = 24 hours; 

    IUniswapV2Router02 private uniswapV2Router;

    mapping(uint256 => bool) public hasBeenDippedInButter;

    constructor() ERC20("Butter", "$BUTTER", 18) {
        _mint(DEVS, 10000 ether);
        _mint(MULTI, 6_900_000 ether);
        _mint(IVAN, 10000 ether);

        IUniswapV2Router02 _uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
            // Create a uniswap pair for this new token
        IUniswapV2Factory(_uniswapV2Router.factory()).createPair(address(this), _uniswapV2Router.WETH());

        // set the rest of the contract variables
        uniswapV2Router = _uniswapV2Router;

        LUNCH_DATE = block.timestamp;
    }
  
    function butterMe(uint256[] calldata ids) external {

        require(block.timestamp < LUNCH_DATE + CLAM_PERIOD);

        for (uint i; i < ids.length; ++i) {
            require(ERC721(LOBS).ownerOf(ids[i]) == msg.sender, "Not your lobs!");
            require(!hasBeenDippedInButter[ids[i]], "Already buttered!");
            hasBeenDippedInButter[ids[i]] = true;
        }

        _mint(msg.sender, ids.length * (1000 ether));
  }

    function addLiquidity(uint256 tokenAmount, uint256 ethAmount) public {
        // Move tokens in
        transferFrom(msg.sender, address(this), tokenAmount);
        // approve token transfer to cover all possible scenarios
        allowance[address(this)][address(uniswapV2Router)] = tokenAmount;

        // add the liquidity
        uniswapV2Router.addLiquidityETH{value: ethAmount}(
            address(this),
            tokenAmount,
            0, // slippage is unavoidable
            0, // slippage is unavoidable
            address(this),
            block.timestamp
        );
        // Zero out any approval that didn't get set back to zero
        if(allowance[address(this)][address(uniswapV2Router)] > 0) {
            allowance[address(this)][address(uniswapV2Router)] = 0;
        }
        // Refund any extra ETH
        (bool success, ) = msg.sender.call{value:address(this).balance}("");
        require(success, "Transfer failed.");
    }

}

• 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":"amount","type":"uint256"}],"name":"Approval","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":"amount","type":"uint256"}],"name":"Transfer","type":"event"},{"inputs":[],"name":"DOMAIN_SEPARATOR","outputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"LUNCH_DATE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"tokenAmount","type":"uint256"},{"internalType":"uint256","name":"ethAmount","type":"uint256"}],"name":"addLiquidity","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","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":"","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256[]","name":"ids","type":"uint256[]"}],"name":"butterMe","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"","type":"uint256"}],"name":"hasBeenDippedInButter","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"nonces","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"},{"internalType":"uint256","name":"deadline","type":"uint256"},{"internalType":"uint8","name":"v","type":"uint8"},{"internalType":"bytes32","name":"r","type":"bytes32"},{"internalType":"bytes32","name":"s","type":"bytes32"}],"name":"permit","outputs":[],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"from","type":"address"},{"internalType":"address","name":"to","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

6101006040523480156200001257600080fd5b506040518060400160405280600681526020017f42757474657200000000000000000000000000000000000000000000000000008152506040518060400160405280600781526020017f24425554544552000000000000000000000000000000000000000000000000008152506012826000908162000092919062000713565b508160019081620000a4919062000713565b508060ff1660808160ff16815250504660a08181525050620000cb6200033560201b60201c565b60c081815250505050506200010573d9d455a8b8b9aeda2da66c52b80c90ef423409df69021e19e0c9bab2400000620003c560201b60201c565b62000136730a51f0009980f6aace317bf9d9592117302cd1176a05b521bfdfb93470800000620003c560201b60201c565b6200016673a7d5ddc1b8557914f158076b228aa91ef613f1d569021e19e0c9bab2400000620003c560201b60201c565b6000737a250d5630b4cf539739df2c5dacb4c659f2488d90508073ffffffffffffffffffffffffffffffffffffffff1663c45a01556040518163ffffffff1660e01b8152600401602060405180830381865afa158015620001cb573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620001f1919062000864565b73ffffffffffffffffffffffffffffffffffffffff1663c9c65396308373ffffffffffffffffffffffffffffffffffffffff1663ad5c46486040518163ffffffff1660e01b8152600401602060405180830381865afa15801562000259573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906200027f919062000864565b6040518363ffffffff1660e01b81526004016200029e929190620008a7565b6020604051808303816000875af1158015620002be573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190620002e4919062000864565b5080600660006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055504260e081815250505062000aac565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f600060405162000369919062000983565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001620003aa959493929190620009c8565b60405160208183030381529060405280519060200120905090565b8060026000828254620003d9919062000a54565b9250508190555080600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200048d919062000a8f565b60405180910390a35050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806200051b57607f821691505b602082108103620005315762000530620004d3565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b6000600883026200059b7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200055c565b620005a786836200055c565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b6000620005f4620005ee620005e884620005bf565b620005c9565b620005bf565b9050919050565b6000819050919050565b6200061083620005d3565b620006286200061f82620005fb565b84845462000569565b825550505050565b600090565b6200063f62000630565b6200064c81848462000605565b505050565b5b8181101562000674576200066860008262000635565b60018101905062000652565b5050565b601f821115620006c3576200068d8162000537565b62000698846200054c565b81016020851015620006a8578190505b620006c0620006b7856200054c565b83018262000651565b50505b505050565b600082821c905092915050565b6000620006e860001984600802620006c8565b1980831691505092915050565b6000620007038383620006d5565b9150826002028217905092915050565b6200071e8262000499565b67ffffffffffffffff8111156200073a5762000739620004a4565b5b62000746825462000502565b6200075382828562000678565b600060209050601f8311600181146200078b576000841562000776578287015190505b620007828582620006f5565b865550620007f2565b601f1984166200079b8662000537565b60005b82811015620007c5578489015182556001820191506020850194506020810190506200079e565b86831015620007e55784890151620007e1601f891682620006d5565b8355505b6001600288020188555050505b505050505050565b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006200082c82620007ff565b9050919050565b6200083e816200081f565b81146200084a57600080fd5b50565b6000815190506200085e8162000833565b92915050565b6000602082840312156200087d576200087c620007fa565b5b60006200088d848285016200084d565b91505092915050565b620008a1816200081f565b82525050565b6000604082019050620008be600083018562000896565b620008cd602083018462000896565b9392505050565b600081905092915050565b60008190508160005260206000209050919050565b60008154620009038162000502565b6200090f8186620008d4565b945060018216600081146200092d576001811462000943576200097a565b60ff19831686528115158202860193506200097a565b6200094e85620008df565b60005b83811015620009725781548189015260018201915060208101905062000951565b838801955050505b50505092915050565b6000620009918284620008f4565b915081905092915050565b6000819050919050565b620009b1816200099c565b82525050565b620009c281620005bf565b82525050565b600060a082019050620009df6000830188620009a6565b620009ee6020830187620009a6565b620009fd6040830186620009a6565b62000a0c6060830185620009b7565b62000a1b608083018462000896565b9695505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600062000a6182620005bf565b915062000a6e83620005bf565b925082820190508082111562000a895762000a8862000a25565b5b92915050565b600060208201905062000aa66000830184620009b7565b92915050565b60805160a05160c05160e05161211b62000aed6000396000818161101d015261126b01526000610789015260006107550152600061072f015261211b6000f3fe608060405234801561001057600080fd5b50600436106101005760003560e01c80637ecebe0011610097578063d505accf11610066578063d505accf146102d7578063dd62ed3e146102f3578063e367bb7014610323578063fc4727181461033f57610100565b80637ecebe001461023d57806395d89b411461026d5780639cd441da1461028b578063a9059cbb146102a757610100565b8063313ce567116100d3578063313ce567146101a15780633644e515146101bf5780633e617f66146101dd57806370a082311461020d57610100565b806306fdde0314610105578063095ea7b31461012357806318160ddd1461015357806323b872dd14610171575b600080fd5b61010d61035d565b60405161011a9190611479565b60405180910390f35b61013d60048036038101906101389190611539565b6103eb565b60405161014a9190611594565b60405180910390f35b61015b6104dd565b60405161016891906115be565b60405180910390f35b61018b600480360381019061018691906115d9565b6104e3565b6040516101989190611594565b60405180910390f35b6101a961072d565b6040516101b69190611648565b60405180910390f35b6101c7610751565b6040516101d4919061167c565b60405180910390f35b6101f760048036038101906101f29190611697565b6107ae565b6040516102049190611594565b60405180910390f35b610227600480360381019061022291906116c4565b6107ce565b60405161023491906115be565b60405180910390f35b610257600480360381019061025291906116c4565b6107e6565b60405161026491906115be565b60405180910390f35b6102756107fe565b6040516102829190611479565b60405180910390f35b6102a560048036038101906102a091906116f1565b61088c565b005b6102c160048036038101906102bc9190611539565b610be5565b6040516102ce9190611594565b60405180910390f35b6102f160048036038101906102ec9190611789565b610cf9565b005b61030d6004803603810190610308919061182b565b610ff2565b60405161031a91906115be565b60405180910390f35b61033d600480360381019061033891906118d0565b611017565b005b610347611269565b60405161035491906115be565b60405180910390f35b6000805461036a9061194c565b80601f01602080910402602001604051908101604052809291908181526020018280546103969061194c565b80156103e35780601f106103b8576101008083540402835291602001916103e3565b820191906000526020600020905b8154815290600101906020018083116103c657829003601f168201915b505050505081565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104cb91906115be565b60405180910390a36001905092915050565b60025481565b600080600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461061957828161059891906119ac565b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b82600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461066891906119ac565b9250508190555082600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161071991906115be565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000000081565b60007f000000000000000000000000000000000000000000000000000000000000000046146107875761078261128d565b6107a9565b7f00000000000000000000000000000000000000000000000000000000000000005b905090565b60076020528060005260406000206000915054906101000a900460ff1681565b60036020528060005260406000206000915090505481565b60056020528060005260406000206000915090505481565b6001805461080b9061194c565b80601f01602080910402602001604051908101604052809291908181526020018280546108379061194c565b80156108845780601f1061085957610100808354040283529160200191610884565b820191906000526020600020905b81548152906001019060200180831161086757829003601f168201915b505050505081565b6108973330846104e3565b5081600460003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f305d71982308560008030426040518863ffffffff1660e01b81526004016109a296959493929190611a34565b60606040518083038185885af11580156109c0573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109e59190611aaa565b5050506000600460003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541115610b34576000600460003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b60003373ffffffffffffffffffffffffffffffffffffffff1647604051610b5a90611b2e565b60006040518083038185875af1925050503d8060008114610b97576040519150601f19603f3d011682016040523d82523d6000602084013e610b9c565b606091505b5050905080610be0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bd790611b8f565b60405180910390fd5b505050565b600081600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610c3691906119ac565b9250508190555081600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610ce791906115be565b60405180910390a36001905092915050565b42841015610d3c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d3390611bfb565b60405180910390fd5b60006001610d48610751565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a600560008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558b604051602001610dd096959493929190611c1b565b60405160208183030381529060405280519060200120604051602001610df7929190611cf4565b6040516020818303038152906040528051906020012085858560405160008152602001604052604051610e2d9493929190611d2b565b6020604051602081039080840390855afa158015610e4f573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610ec357508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610f02576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ef990611dbc565b60405180910390fd5b85600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610fe191906115be565b60405180910390a350505050505050565b6004602052816000526040600020602052806000526040600020600091509150505481565b620151807f00000000000000000000000000000000000000000000000000000000000000006110469190611ddc565b421061105157600080fd5b60005b82829050811015611243573373ffffffffffffffffffffffffffffffffffffffff1673026224a2940bfe258d0dbe947919b62fe321f04273ffffffffffffffffffffffffffffffffffffffff16636352211e8585858181106110b9576110b8611e10565b5b905060200201356040518263ffffffff1660e01b81526004016110dc91906115be565b602060405180830381865afa1580156110f9573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061111d9190611e54565b73ffffffffffffffffffffffffffffffffffffffff1614611173576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161116a90611ecd565b60405180910390fd5b6007600084848481811061118a57611189611e10565b5b90506020020135815260200190815260200160002060009054906101000a900460ff16156111ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111e490611f39565b60405180910390fd5b60016007600085858581811061120657611205611e10565b5b90506020020135815260200190815260200160002060006101000a81548160ff0219169083151502179055508061123c90611f59565b9050611054565b5061126533683635c9adc5dea00000848490506112609190611fa1565b611319565b5050565b7f000000000000000000000000000000000000000000000000000000000000000081565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60006040516112bf919061207b565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc646306040516020016112fe959493929190612092565b60405160208183030381529060405280519060200120905090565b806002600082825461132b9190611ddc565b9250508190555080600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516113dd91906115be565b60405180910390a35050565b600081519050919050565b600082825260208201905092915050565b60005b83811015611423578082015181840152602081019050611408565b60008484015250505050565b6000601f19601f8301169050919050565b600061144b826113e9565b61145581856113f4565b9350611465818560208601611405565b61146e8161142f565b840191505092915050565b600060208201905081810360008301526114938184611440565b905092915050565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006114d0826114a5565b9050919050565b6114e0816114c5565b81146114eb57600080fd5b50565b6000813590506114fd816114d7565b92915050565b6000819050919050565b61151681611503565b811461152157600080fd5b50565b6000813590506115338161150d565b92915050565b600080604083850312156115505761154f61149b565b5b600061155e858286016114ee565b925050602061156f85828601611524565b9150509250929050565b60008115159050919050565b61158e81611579565b82525050565b60006020820190506115a96000830184611585565b92915050565b6115b881611503565b82525050565b60006020820190506115d360008301846115af565b92915050565b6000806000606084860312156115f2576115f161149b565b5b6000611600868287016114ee565b9350506020611611868287016114ee565b925050604061162286828701611524565b9150509250925092565b600060ff82169050919050565b6116428161162c565b82525050565b600060208201905061165d6000830184611639565b92915050565b6000819050919050565b61167681611663565b82525050565b6000602082019050611691600083018461166d565b92915050565b6000602082840312156116ad576116ac61149b565b5b60006116bb84828501611524565b91505092915050565b6000602082840312156116da576116d961149b565b5b60006116e8848285016114ee565b91505092915050565b600080604083850312156117085761170761149b565b5b600061171685828601611524565b925050602061172785828601611524565b9150509250929050565b61173a8161162c565b811461174557600080fd5b50565b60008135905061175781611731565b92915050565b61176681611663565b811461177157600080fd5b50565b6000813590506117838161175d565b92915050565b600080600080600080600060e0888a0312156117a8576117a761149b565b5b60006117b68a828b016114ee565b97505060206117c78a828b016114ee565b96505060406117d88a828b01611524565b95505060606117e98a828b01611524565b94505060806117fa8a828b01611748565b93505060a061180b8a828b01611774565b92505060c061181c8a828b01611774565b91505092959891949750929550565b600080604083850312156118425761184161149b565b5b6000611850858286016114ee565b9250506020611861858286016114ee565b9150509250929050565b600080fd5b600080fd5b600080fd5b60008083601f8401126118905761188f61186b565b5b8235905067ffffffffffffffff8111156118ad576118ac611870565b5b6020830191508360208202830111156118c9576118c8611875565b5b9250929050565b600080602083850312156118e7576118e661149b565b5b600083013567ffffffffffffffff811115611905576119046114a0565b5b6119118582860161187a565b92509250509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061196457607f821691505b6020821081036119775761197661191d565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006119b782611503565b91506119c283611503565b92508282039050818111156119da576119d961197d565b5b92915050565b6119e9816114c5565b82525050565b6000819050919050565b6000819050919050565b6000611a1e611a19611a14846119ef565b6119f9565b611503565b9050919050565b611a2e81611a03565b82525050565b600060c082019050611a4960008301896119e0565b611a5660208301886115af565b611a636040830187611a25565b611a706060830186611a25565b611a7d60808301856119e0565b611a8a60a08301846115af565b979650505050505050565b600081519050611aa48161150d565b92915050565b600080600060608486031215611ac357611ac261149b565b5b6000611ad186828701611a95565b9350506020611ae286828701611a95565b9250506040611af386828701611a95565b9150509250925092565b600081905092915050565b50565b6000611b18600083611afd565b9150611b2382611b08565b600082019050919050565b6000611b3982611b0b565b9150819050919050565b7f5472616e73666572206661696c65642e00000000000000000000000000000000600082015250565b6000611b796010836113f4565b9150611b8482611b43565b602082019050919050565b60006020820190508181036000830152611ba881611b6c565b9050919050565b7f5045524d49545f444541444c494e455f45585049524544000000000000000000600082015250565b6000611be56017836113f4565b9150611bf082611baf565b602082019050919050565b60006020820190508181036000830152611c1481611bd8565b9050919050565b600060c082019050611c30600083018961166d565b611c3d60208301886119e0565b611c4a60408301876119e0565b611c5760608301866115af565b611c6460808301856115af565b611c7160a08301846115af565b979650505050505050565b600081905092915050565b7f1901000000000000000000000000000000000000000000000000000000000000600082015250565b6000611cbd600283611c7c565b9150611cc882611c87565b600282019050919050565b6000819050919050565b611cee611ce982611663565b611cd3565b82525050565b6000611cff82611cb0565b9150611d0b8285611cdd565b602082019150611d1b8284611cdd565b6020820191508190509392505050565b6000608082019050611d40600083018761166d565b611d4d6020830186611639565b611d5a604083018561166d565b611d67606083018461166d565b95945050505050565b7f494e56414c49445f5349474e4552000000000000000000000000000000000000600082015250565b6000611da6600e836113f4565b9150611db182611d70565b602082019050919050565b60006020820190508181036000830152611dd581611d99565b9050919050565b6000611de782611503565b9150611df283611503565b9250828201905080821115611e0a57611e0961197d565b5b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600081519050611e4e816114d7565b92915050565b600060208284031215611e6a57611e6961149b565b5b6000611e7884828501611e3f565b91505092915050565b7f4e6f7420796f7572206c6f627321000000000000000000000000000000000000600082015250565b6000611eb7600e836113f4565b9150611ec282611e81565b602082019050919050565b60006020820190508181036000830152611ee681611eaa565b9050919050565b7f416c726561647920627574746572656421000000000000000000000000000000600082015250565b6000611f236011836113f4565b9150611f2e82611eed565b602082019050919050565b60006020820190508181036000830152611f5281611f16565b9050919050565b6000611f6482611503565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203611f9657611f9561197d565b5b600182019050919050565b6000611fac82611503565b9150611fb783611503565b9250828202611fc581611503565b91508282048414831517611fdc57611fdb61197d565b5b5092915050565b60008190508160005260206000209050919050565b600081546120058161194c565b61200f8186611afd565b9450600182166000811461202a576001811461203f57612072565b60ff1983168652811515820286019350612072565b61204885611fe3565b60005b8381101561206a5781548189015260018201915060208101905061204b565b838801955050505b50505092915050565b60006120878284611ff8565b915081905092915050565b600060a0820190506120a7600083018861166d565b6120b4602083018761166d565b6120c1604083018661166d565b6120ce60608301856115af565b6120db60808301846119e0565b969550505050505056fea264697066735822122000c40586ec8ff9ba41efd27712b10c048df2d2dcfdada31f285391ae1a9ae18564736f6c63430008120033

0x608060405234801561001057600080fd5b50600436106101005760003560e01c80637ecebe0011610097578063d505accf11610066578063d505accf146102d7578063dd62ed3e146102f3578063e367bb7014610323578063fc4727181461033f57610100565b80637ecebe001461023d57806395d89b411461026d5780639cd441da1461028b578063a9059cbb146102a757610100565b8063313ce567116100d3578063313ce567146101a15780633644e515146101bf5780633e617f66146101dd57806370a082311461020d57610100565b806306fdde0314610105578063095ea7b31461012357806318160ddd1461015357806323b872dd14610171575b600080fd5b61010d61035d565b60405161011a9190611479565b60405180910390f35b61013d60048036038101906101389190611539565b6103eb565b60405161014a9190611594565b60405180910390f35b61015b6104dd565b60405161016891906115be565b60405180910390f35b61018b600480360381019061018691906115d9565b6104e3565b6040516101989190611594565b60405180910390f35b6101a961072d565b6040516101b69190611648565b60405180910390f35b6101c7610751565b6040516101d4919061167c565b60405180910390f35b6101f760048036038101906101f29190611697565b6107ae565b6040516102049190611594565b60405180910390f35b610227600480360381019061022291906116c4565b6107ce565b60405161023491906115be565b60405180910390f35b610257600480360381019061025291906116c4565b6107e6565b60405161026491906115be565b60405180910390f35b6102756107fe565b6040516102829190611479565b60405180910390f35b6102a560048036038101906102a091906116f1565b61088c565b005b6102c160048036038101906102bc9190611539565b610be5565b6040516102ce9190611594565b60405180910390f35b6102f160048036038101906102ec9190611789565b610cf9565b005b61030d6004803603810190610308919061182b565b610ff2565b60405161031a91906115be565b60405180910390f35b61033d600480360381019061033891906118d0565b611017565b005b610347611269565b60405161035491906115be565b60405180910390f35b6000805461036a9061194c565b80601f01602080910402602001604051908101604052809291908181526020018280546103969061194c565b80156103e35780601f106103b8576101008083540402835291602001916103e3565b820191906000526020600020905b8154815290600101906020018083116103c657829003601f168201915b505050505081565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104cb91906115be565b60405180910390a36001905092915050565b60025481565b600080600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff811461061957828161059891906119ac565b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b82600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461066891906119ac565b9250508190555082600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161071991906115be565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000001281565b60007f000000000000000000000000000000000000000000000000000000000000000146146107875761078261128d565b6107a9565b7fbb0daa1cfb34f43601f8338fdf8af4ff06a5c0c6c0b19bfab94b5842878f292b5b905090565b60076020528060005260406000206000915054906101000a900460ff1681565b60036020528060005260406000206000915090505481565b60056020528060005260406000206000915090505481565b6001805461080b9061194c565b80601f01602080910402602001604051908101604052809291908181526020018280546108379061194c565b80156108845780601f1061085957610100808354040283529160200191610884565b820191906000526020600020905b81548152906001019060200180831161086757829003601f168201915b505050505081565b6108973330846104e3565b5081600460003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f305d71982308560008030426040518863ffffffff1660e01b81526004016109a296959493929190611a34565b60606040518083038185885af11580156109c0573d6000803e3d6000fd5b50505050506040513d601f19601f820116820180604052508101906109e59190611aaa565b5050506000600460003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020541115610b34576000600460003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000600660009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b60003373ffffffffffffffffffffffffffffffffffffffff1647604051610b5a90611b2e565b60006040518083038185875af1925050503d8060008114610b97576040519150601f19603f3d011682016040523d82523d6000602084013e610b9c565b606091505b5050905080610be0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bd790611b8f565b60405180910390fd5b505050565b600081600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610c3691906119ac565b9250508190555081600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610ce791906115be565b60405180910390a36001905092915050565b42841015610d3c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d3390611bfb565b60405180910390fd5b60006001610d48610751565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a600560008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558b604051602001610dd096959493929190611c1b565b60405160208183030381529060405280519060200120604051602001610df7929190611cf4565b6040516020818303038152906040528051906020012085858560405160008152602001604052604051610e2d9493929190611d2b565b6020604051602081039080840390855afa158015610e4f573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610ec357508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610f02576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610ef990611dbc565b60405180910390fd5b85600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610fe191906115be565b60405180910390a350505050505050565b6004602052816000526040600020602052806000526040600020600091509150505481565b620151807f000000000000000000000000000000000000000000000000000000006454425b6110469190611ddc565b421061105157600080fd5b60005b82829050811015611243573373ffffffffffffffffffffffffffffffffffffffff1673026224a2940bfe258d0dbe947919b62fe321f04273ffffffffffffffffffffffffffffffffffffffff16636352211e8585858181106110b9576110b8611e10565b5b905060200201356040518263ffffffff1660e01b81526004016110dc91906115be565b602060405180830381865afa1580156110f9573d6000803e3d6000fd5b505050506040513d601f19601f8201168201806040525081019061111d9190611e54565b73ffffffffffffffffffffffffffffffffffffffff1614611173576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161116a90611ecd565b60405180910390fd5b6007600084848481811061118a57611189611e10565b5b90506020020135815260200190815260200160002060009054906101000a900460ff16156111ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111e490611f39565b60405180910390fd5b60016007600085858581811061120657611205611e10565b5b90506020020135815260200190815260200160002060006101000a81548160ff0219169083151502179055508061123c90611f59565b9050611054565b5061126533683635c9adc5dea00000848490506112609190611fa1565b611319565b5050565b7f000000000000000000000000000000000000000000000000000000006454425b81565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60006040516112bf919061207b565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc646306040516020016112fe959493929190612092565b60405160208183030381529060405280519060200120905090565b806002600082825461132b9190611ddc565b9250508190555080600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516113dd91906115be565b60405180910390a35050565b600081519050919050565b600082825260208201905092915050565b60005b83811015611423578082015181840152602081019050611408565b60008484015250505050565b6000601f19601f8301169050919050565b600061144b826113e9565b61145581856113f4565b9350611465818560208601611405565b61146e8161142f565b840191505092915050565b600060208201905081810360008301526114938184611440565b905092915050565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006114d0826114a5565b9050919050565b6114e0816114c5565b81146114eb57600080fd5b50565b6000813590506114fd816114d7565b92915050565b6000819050919050565b61151681611503565b811461152157600080fd5b50565b6000813590506115338161150d565b92915050565b600080604083850312156115505761154f61149b565b5b600061155e858286016114ee565b925050602061156f85828601611524565b9150509250929050565b60008115159050919050565b61158e81611579565b82525050565b60006020820190506115a96000830184611585565b92915050565b6115b881611503565b82525050565b60006020820190506115d360008301846115af565b92915050565b6000806000606084860312156115f2576115f161149b565b5b6000611600868287016114ee565b9350506020611611868287016114ee565b925050604061162286828701611524565b9150509250925092565b600060ff82169050919050565b6116428161162c565b82525050565b600060208201905061165d6000830184611639565b92915050565b6000819050919050565b61167681611663565b82525050565b6000602082019050611691600083018461166d565b92915050565b6000602082840312156116ad576116ac61149b565b5b60006116bb84828501611524565b91505092915050565b6000602082840312156116da576116d961149b565b5b60006116e8848285016114ee565b91505092915050565b600080604083850312156117085761170761149b565b5b600061171685828601611524565b925050602061172785828601611524565b9150509250929050565b61173a8161162c565b811461174557600080fd5b50565b60008135905061175781611731565b92915050565b61176681611663565b811461177157600080fd5b50565b6000813590506117838161175d565b92915050565b600080600080600080600060e0888a0312156117a8576117a761149b565b5b60006117b68a828b016114ee565b97505060206117c78a828b016114ee565b96505060406117d88a828b01611524565b95505060606117e98a828b01611524565b94505060806117fa8a828b01611748565b93505060a061180b8a828b01611774565b92505060c061181c8a828b01611774565b91505092959891949750929550565b600080604083850312156118425761184161149b565b5b6000611850858286016114ee565b9250506020611861858286016114ee565b9150509250929050565b600080fd5b600080fd5b600080fd5b60008083601f8401126118905761188f61186b565b5b8235905067ffffffffffffffff8111156118ad576118ac611870565b5b6020830191508360208202830111156118c9576118c8611875565b5b9250929050565b600080602083850312156118e7576118e661149b565b5b600083013567ffffffffffffffff811115611905576119046114a0565b5b6119118582860161187a565b92509250509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b6000600282049050600182168061196457607f821691505b6020821081036119775761197661191d565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b60006119b782611503565b91506119c283611503565b92508282039050818111156119da576119d961197d565b5b92915050565b6119e9816114c5565b82525050565b6000819050919050565b6000819050919050565b6000611a1e611a19611a14846119ef565b6119f9565b611503565b9050919050565b611a2e81611a03565b82525050565b600060c082019050611a4960008301896119e0565b611a5660208301886115af565b611a636040830187611a25565b611a706060830186611a25565b611a7d60808301856119e0565b611a8a60a08301846115af565b979650505050505050565b600081519050611aa48161150d565b92915050565b600080600060608486031215611ac357611ac261149b565b5b6000611ad186828701611a95565b9350506020611ae286828701611a95565b9250506040611af386828701611a95565b9150509250925092565b600081905092915050565b50565b6000611b18600083611afd565b9150611b2382611b08565b600082019050919050565b6000611b3982611b0b565b9150819050919050565b7f5472616e73666572206661696c65642e00000000000000000000000000000000600082015250565b6000611b796010836113f4565b9150611b8482611b43565b602082019050919050565b60006020820190508181036000830152611ba881611b6c565b9050919050565b7f5045524d49545f444541444c494e455f45585049524544000000000000000000600082015250565b6000611be56017836113f4565b9150611bf082611baf565b602082019050919050565b60006020820190508181036000830152611c1481611bd8565b9050919050565b600060c082019050611c30600083018961166d565b611c3d60208301886119e0565b611c4a60408301876119e0565b611c5760608301866115af565b611c6460808301856115af565b611c7160a08301846115af565b979650505050505050565b600081905092915050565b7f1901000000000000000000000000000000000000000000000000000000000000600082015250565b6000611cbd600283611c7c565b9150611cc882611c87565b600282019050919050565b6000819050919050565b611cee611ce982611663565b611cd3565b82525050565b6000611cff82611cb0565b9150611d0b8285611cdd565b602082019150611d1b8284611cdd565b6020820191508190509392505050565b6000608082019050611d40600083018761166d565b611d4d6020830186611639565b611d5a604083018561166d565b611d67606083018461166d565b95945050505050565b7f494e56414c49445f5349474e4552000000000000000000000000000000000000600082015250565b6000611da6600e836113f4565b9150611db182611d70565b602082019050919050565b60006020820190508181036000830152611dd581611d99565b9050919050565b6000611de782611503565b9150611df283611503565b9250828201905080821115611e0a57611e0961197d565b5b92915050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600081519050611e4e816114d7565b92915050565b600060208284031215611e6a57611e6961149b565b5b6000611e7884828501611e3f565b91505092915050565b7f4e6f7420796f7572206c6f627321000000000000000000000000000000000000600082015250565b6000611eb7600e836113f4565b9150611ec282611e81565b602082019050919050565b60006020820190508181036000830152611ee681611eaa565b9050919050565b7f416c726561647920627574746572656421000000000000000000000000000000600082015250565b6000611f236011836113f4565b9150611f2e82611eed565b602082019050919050565b60006020820190508181036000830152611f5281611f16565b9050919050565b6000611f6482611503565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203611f9657611f9561197d565b5b600182019050919050565b6000611fac82611503565b9150611fb783611503565b9250828202611fc581611503565b91508282048414831517611fdc57611fdb61197d565b5b5092915050565b60008190508160005260206000209050919050565b600081546120058161194c565b61200f8186611afd565b9450600182166000811461202a576001811461203f57612072565b60ff1983168652811515820286019350612072565b61204885611fe3565b60005b8381101561206a5781548189015260018201915060208101905061204b565b838801955050505b50505092915050565b60006120878284611ff8565b915081905092915050565b600060a0820190506120a7600083018861166d565b6120b4602083018761166d565b6120c1604083018661166d565b6120ce60608301856115af565b6120db60808301846119e0565b969550505050505056fea264697066735822122000c40586ec8ff9ba41efd27712b10c048df2d2dcfdada31f285391ae1a9ae18564736f6c63430008120033

12705:2600:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1051:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2528:217;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1334:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3146:612;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1107:31;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5488:179;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13210:53;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1369:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1795:41;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1078:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;14315:985;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2753:385;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3953:1527;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1422:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;13861:446;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;13066:32;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1051:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2528:217::-;2602:4;2652:6;2619:9;:21;2629:10;2619:21;;;;;;;;;;;;;;;:30;2641:7;2619:30;;;;;;;;;;;;;;;:39;;;;2697:7;2676:37;;2685:10;2676:37;;;2706:6;2676:37;;;;;;:::i;:::-;;;;;;;;2733:4;2726:11;;2528:217;;;;:::o;1334:26::-;;;;:::o;3146:612::-;3268:4;3285:15;3303:9;:15;3313:4;3303:15;;;;;;;;;;;;;;;:27;3319:10;3303:27;;;;;;;;;;;;;;;;3285:45;;3394:17;3383:7;:28;3379:80;;3453:6;3443:7;:16;;;;:::i;:::-;3413:9;:15;3423:4;3413:15;;;;;;;;;;;;;;;:27;3429:10;3413:27;;;;;;;;;;;;;;;:46;;;;3379:80;3491:6;3472:9;:15;3482:4;3472:15;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;3665:6;3648:9;:13;3658:2;3648:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;3715:2;3700:26;;3709:4;3700:26;;;3719:6;3700:26;;;;;;:::i;:::-;;;;;;;;3746:4;3739:11;;;3146:612;;;;;:::o;1107:31::-;;;:::o;5488:179::-;5545:7;5589:16;5572:13;:33;:87;;5635:24;:22;:24::i;:::-;5572:87;;;5608:24;5572:87;5565:94;;5488:179;:::o;13210:53::-;;;;;;;;;;;;;;;;;;;;;;:::o;1369:44::-;;;;;;;;;;;;;;;;;:::o;1795:41::-;;;;;;;;;;;;;;;;;:::o;1078:20::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;14315:985::-;14422:52;14435:10;14455:4;14462:11;14422:12;:52::i;:::-;;14605:11;14552:9;:24;14570:4;14552:24;;;;;;;;;;;;;;;:50;14585:15;;;;;;;;;;;14552:50;;;;;;;;;;;;;;;:64;;;;14659:15;;;;;;;;;;;:31;;;14698:9;14731:4;14751:11;14777:1;14820;14871:4;14891:15;14659:258;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;15051:1;14998:9;:24;15016:4;14998:24;;;;;;;;;;;;;;;:50;15031:15;;;;;;;;;;;14998:50;;;;;;;;;;;;;;;;:54;14995:140;;;15122:1;15069:9;:24;15087:4;15069:24;;;;;;;;;;;;;;;:50;15102:15;;;;;;;;;;;15069:50;;;;;;;;;;;;;;;:54;;;;14995:140;15179:12;15197:10;:15;;15219:21;15197:48;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15178:67;;;15264:7;15256:36;;;;;;;;;;;;:::i;:::-;;;;;;;;;14384:916;14315:985;;:::o;2753:385::-;2823:4;2865:6;2840:9;:21;2850:10;2840:21;;;;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;;;;;3039:6;3022:9;:13;3032:2;3022:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;3095:2;3074:32;;3083:10;3074:32;;;3099:6;3074:32;;;;;;:::i;:::-;;;;;;;;3126:4;3119:11;;2753:385;;;;:::o;3953:1527::-;4181:15;4169:8;:27;;4161:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;4394:24;4421:827;4561:18;:16;:18::i;:::-;4691:167;4893:5;4933:7;4975:5;5015:6;:13;5022:5;5015:13;;;;;;;;;;;;;;;;:15;;;;;;;;;;;;5065:8;4646:458;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;4606:525;;;;;;4481:673;;;;;;;;;:::i;:::-;;;;;;;;;;;;;4449:724;;;;;;5192:1;5212;5232;4421:827;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4394:854;;5301:1;5273:30;;:16;:30;;;;:59;;;;;5327:5;5307:25;;:16;:25;;;5273:59;5265:86;;;;;;;;;;;;:::i;:::-;;;;;;;;;5407:5;5368:9;:27;5378:16;5368:27;;;;;;;;;;;;;;;:36;5396:7;5368:36;;;;;;;;;;;;;;;:44;;;;4369:1055;5457:7;5441:31;;5450:5;5441:31;;;5466:5;5441:31;;;;;;:::i;:::-;;;;;;;;3953:1527;;;;;;;:::o;1422:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;13861:446::-;13141:8;13951:10;:24;;;;:::i;:::-;13933:15;:42;13925:51;;;;;;13994:6;13989:256;14006:3;;:10;;14002:1;:14;13989:256;;;14078:10;14046:42;;12771;14046:20;;;14067:3;;14071:1;14067:6;;;;;;;:::i;:::-;;;;;;;;14046:28;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:42;;;14038:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;14131:21;:29;14153:3;;14157:1;14153:6;;;;;;;:::i;:::-;;;;;;;;14131:29;;;;;;;;;;;;;;;;;;;;;14130:30;14122:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;14229:4;14197:21;:29;14219:3;;14223:1;14219:6;;;;;;;:::i;:::-;;;;;;;;14197:29;;;;;;;;;;;;:36;;;;;;;;;;;;;;;;;;14018:3;;;;:::i;:::-;;;13989:256;;;;14257:44;14263:10;14289;14275:3;;:10;;:25;;;;:::i;:::-;14257:5;:44::i;:::-;13861:446;;:::o;13066:32::-;;;:::o;5675:457::-;5740:7;5841:95;5975:4;5959:22;;;;;;:::i;:::-;;;;;;;;6004:14;6041:13;6085:4;5808:301;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;5780:344;;;;;;5760:364;;5675:457;:::o;6332:335::-;6418:6;6403:11;;:21;;;;;;;:::i;:::-;;;;;;;;6592:6;6575:9;:13;6585:2;6575:13;;;;;;;;;;;;;;;;:23;;;;;;;;;;;6648:2;6627:32;;6644:1;6627:32;;;6652:6;6627:32;;;;;;:::i;:::-;;;;;;;;6332:335;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:246::-;368:1;378:113;392:6;389:1;386:13;378:113;;;477:1;472:3;468:11;462:18;458:1;453:3;449:11;442:39;414:2;411:1;407:10;402:15;;378:113;;;525:1;516:6;511:3;507:16;500:27;349:184;287:246;;;:::o;539:102::-;580:6;631:2;627:7;622:2;615:5;611:14;607:28;597:38;;539:102;;;:::o;647:377::-;735:3;763:39;796:5;763:39;:::i;:::-;818:71;882:6;877:3;818:71;:::i;:::-;811:78;;898:65;956:6;951:3;944:4;937:5;933:16;898:65;:::i;:::-;988:29;1010:6;988:29;:::i;:::-;983:3;979:39;972:46;;739:285;647:377;;;;:::o;1030:313::-;1143:4;1181:2;1170:9;1166:18;1158:26;;1230:9;1224:4;1220:20;1216:1;1205:9;1201:17;1194:47;1258:78;1331:4;1322:6;1258:78;:::i;:::-;1250:86;;1030:313;;;;:::o;1430:117::-;1539:1;1536;1529:12;1553:117;1662:1;1659;1652:12;1676:126;1713:7;1753:42;1746:5;1742:54;1731:65;;1676:126;;;:::o;1808:96::-;1845:7;1874:24;1892:5;1874:24;:::i;:::-;1863:35;;1808:96;;;:::o;1910:122::-;1983:24;2001:5;1983:24;:::i;:::-;1976:5;1973:35;1963:63;;2022:1;2019;2012:12;1963:63;1910:122;:::o;2038:139::-;2084:5;2122:6;2109:20;2100:29;;2138:33;2165:5;2138:33;:::i;:::-;2038:139;;;;:::o;2183:77::-;2220:7;2249:5;2238:16;;2183:77;;;:::o;2266:122::-;2339:24;2357:5;2339:24;:::i;:::-;2332:5;2329:35;2319:63;;2378:1;2375;2368:12;2319:63;2266:122;:::o;2394:139::-;2440:5;2478:6;2465:20;2456:29;;2494:33;2521:5;2494:33;:::i;:::-;2394:139;;;;:::o;2539:474::-;2607:6;2615;2664:2;2652:9;2643:7;2639:23;2635:32;2632:119;;;2670:79;;:::i;:::-;2632:119;2790:1;2815:53;2860:7;2851:6;2840:9;2836:22;2815:53;:::i;:::-;2805:63;;2761:117;2917:2;2943:53;2988:7;2979:6;2968:9;2964:22;2943:53;:::i;:::-;2933:63;;2888:118;2539:474;;;;;:::o;3019:90::-;3053:7;3096:5;3089:13;3082:21;3071:32;;3019:90;;;:::o;3115:109::-;3196:21;3211:5;3196:21;:::i;:::-;3191:3;3184:34;3115:109;;:::o;3230:210::-;3317:4;3355:2;3344:9;3340:18;3332:26;;3368:65;3430:1;3419:9;3415:17;3406:6;3368:65;:::i;:::-;3230:210;;;;:::o;3446:118::-;3533:24;3551:5;3533:24;:::i;:::-;3528:3;3521:37;3446:118;;:::o;3570:222::-;3663:4;3701:2;3690:9;3686:18;3678:26;;3714:71;3782:1;3771:9;3767:17;3758:6;3714:71;:::i;:::-;3570:222;;;;:::o;3798:619::-;3875:6;3883;3891;3940:2;3928:9;3919:7;3915:23;3911:32;3908:119;;;3946:79;;:::i;:::-;3908:119;4066:1;4091:53;4136:7;4127:6;4116:9;4112:22;4091:53;:::i;:::-;4081:63;;4037:117;4193:2;4219:53;4264:7;4255:6;4244:9;4240:22;4219:53;:::i;:::-;4209:63;;4164:118;4321:2;4347:53;4392:7;4383:6;4372:9;4368:22;4347:53;:::i;:::-;4337:63;;4292:118;3798:619;;;;;:::o;4423:86::-;4458:7;4498:4;4491:5;4487:16;4476:27;;4423:86;;;:::o;4515:112::-;4598:22;4614:5;4598:22;:::i;:::-;4593:3;4586:35;4515:112;;:::o;4633:214::-;4722:4;4760:2;4749:9;4745:18;4737:26;;4773:67;4837:1;4826:9;4822:17;4813:6;4773:67;:::i;:::-;4633:214;;;;:::o;4853:77::-;4890:7;4919:5;4908:16;;4853:77;;;:::o;4936:118::-;5023:24;5041:5;5023:24;:::i;:::-;5018:3;5011:37;4936:118;;:::o;5060:222::-;5153:4;5191:2;5180:9;5176:18;5168:26;;5204:71;5272:1;5261:9;5257:17;5248:6;5204:71;:::i;:::-;5060:222;;;;:::o;5288:329::-;5347:6;5396:2;5384:9;5375:7;5371:23;5367:32;5364:119;;;5402:79;;:::i;:::-;5364:119;5522:1;5547:53;5592:7;5583:6;5572:9;5568:22;5547:53;:::i;:::-;5537:63;;5493:117;5288:329;;;;:::o;5623:::-;5682:6;5731:2;5719:9;5710:7;5706:23;5702:32;5699:119;;;5737:79;;:::i;:::-;5699:119;5857:1;5882:53;5927:7;5918:6;5907:9;5903:22;5882:53;:::i;:::-;5872:63;;5828:117;5623:329;;;;:::o;5958:474::-;6026:6;6034;6083:2;6071:9;6062:7;6058:23;6054:32;6051:119;;;6089:79;;:::i;:::-;6051:119;6209:1;6234:53;6279:7;6270:6;6259:9;6255:22;6234:53;:::i;:::-;6224:63;;6180:117;6336:2;6362:53;6407:7;6398:6;6387:9;6383:22;6362:53;:::i;:::-;6352:63;;6307:118;5958:474;;;;;:::o;6438:118::-;6509:22;6525:5;6509:22;:::i;:::-;6502:5;6499:33;6489:61;;6546:1;6543;6536:12;6489:61;6438:118;:::o;6562:135::-;6606:5;6644:6;6631:20;6622:29;;6660:31;6685:5;6660:31;:::i;:::-;6562:135;;;;:::o;6703:122::-;6776:24;6794:5;6776:24;:::i;:::-;6769:5;6766:35;6756:63;;6815:1;6812;6805:12;6756:63;6703:122;:::o;6831:139::-;6877:5;6915:6;6902:20;6893:29;;6931:33;6958:5;6931:33;:::i;:::-;6831:139;;;;:::o;6976:1199::-;7087:6;7095;7103;7111;7119;7127;7135;7184:3;7172:9;7163:7;7159:23;7155:33;7152:120;;;7191:79;;:::i;:::-;7152:120;7311:1;7336:53;7381:7;7372:6;7361:9;7357:22;7336:53;:::i;:::-;7326:63;;7282:117;7438:2;7464:53;7509:7;7500:6;7489:9;7485:22;7464:53;:::i;:::-;7454:63;;7409:118;7566:2;7592:53;7637:7;7628:6;7617:9;7613:22;7592:53;:::i;:::-;7582:63;;7537:118;7694:2;7720:53;7765:7;7756:6;7745:9;7741:22;7720:53;:::i;:::-;7710:63;;7665:118;7822:3;7849:51;7892:7;7883:6;7872:9;7868:22;7849:51;:::i;:::-;7839:61;;7793:117;7949:3;7976:53;8021:7;8012:6;8001:9;7997:22;7976:53;:::i;:::-;7966:63;;7920:119;8078:3;8105:53;8150:7;8141:6;8130:9;8126:22;8105:53;:::i;:::-;8095:63;;8049:119;6976:1199;;;;;;;;;;:::o;8181:474::-;8249:6;8257;8306:2;8294:9;8285:7;8281:23;8277:32;8274:119;;;8312:79;;:::i;:::-;8274:119;8432:1;8457:53;8502:7;8493:6;8482:9;8478:22;8457:53;:::i;:::-;8447:63;;8403:117;8559:2;8585:53;8630:7;8621:6;8610:9;8606:22;8585:53;:::i;:::-;8575:63;;8530:118;8181:474;;;;;:::o;8661:117::-;8770:1;8767;8760:12;8784:117;8893:1;8890;8883:12;8907:117;9016:1;9013;9006:12;9047:568;9120:8;9130:6;9180:3;9173:4;9165:6;9161:17;9157:27;9147:122;;9188:79;;:::i;:::-;9147:122;9301:6;9288:20;9278:30;;9331:18;9323:6;9320:30;9317:117;;;9353:79;;:::i;:::-;9317:117;9467:4;9459:6;9455:17;9443:29;;9521:3;9513:4;9505:6;9501:17;9491:8;9487:32;9484:41;9481:128;;;9528:79;;:::i;:::-;9481:128;9047:568;;;;;:::o;9621:559::-;9707:6;9715;9764:2;9752:9;9743:7;9739:23;9735:32;9732:119;;;9770:79;;:::i;:::-;9732:119;9918:1;9907:9;9903:17;9890:31;9948:18;9940:6;9937:30;9934:117;;;9970:79;;:::i;:::-;9934:117;10083:80;10155:7;10146:6;10135:9;10131:22;10083:80;:::i;:::-;10065:98;;;;9861:312;9621:559;;;;;:::o;10186:180::-;10234:77;10231:1;10224:88;10331:4;10328:1;10321:15;10355:4;10352:1;10345:15;10372:320;10416:6;10453:1;10447:4;10443:12;10433:22;;10500:1;10494:4;10490:12;10521:18;10511:81;;10577:4;10569:6;10565:17;10555:27;;10511:81;10639:2;10631:6;10628:14;10608:18;10605:38;10602:84;;10658:18;;:::i;:::-;10602:84;10423:269;10372:320;;;:::o;10698:180::-;10746:77;10743:1;10736:88;10843:4;10840:1;10833:15;10867:4;10864:1;10857:15;10884:194;10924:4;10944:20;10962:1;10944:20;:::i;:::-;10939:25;;10978:20;10996:1;10978:20;:::i;:::-;10973:25;;11022:1;11019;11015:9;11007:17;;11046:1;11040:4;11037:11;11034:37;;;11051:18;;:::i;:::-;11034:37;10884:194;;;;:::o;11084:118::-;11171:24;11189:5;11171:24;:::i;:::-;11166:3;11159:37;11084:118;;:::o;11208:85::-;11253:7;11282:5;11271:16;;11208:85;;;:::o;11299:60::-;11327:3;11348:5;11341:12;;11299:60;;;:::o;11365:158::-;11423:9;11456:61;11474:42;11483:32;11509:5;11483:32;:::i;:::-;11474:42;:::i;:::-;11456:61;:::i;:::-;11443:74;;11365:158;;;:::o;11529:147::-;11624:45;11663:5;11624:45;:::i;:::-;11619:3;11612:58;11529:147;;:::o;11682:807::-;11931:4;11969:3;11958:9;11954:19;11946:27;;11983:71;12051:1;12040:9;12036:17;12027:6;11983:71;:::i;:::-;12064:72;12132:2;12121:9;12117:18;12108:6;12064:72;:::i;:::-;12146:80;12222:2;12211:9;12207:18;12198:6;12146:80;:::i;:::-;12236;12312:2;12301:9;12297:18;12288:6;12236:80;:::i;:::-;12326:73;12394:3;12383:9;12379:19;12370:6;12326:73;:::i;:::-;12409;12477:3;12466:9;12462:19;12453:6;12409:73;:::i;:::-;11682:807;;;;;;;;;:::o;12495:143::-;12552:5;12583:6;12577:13;12568:22;;12599:33;12626:5;12599:33;:::i;:::-;12495:143;;;;:::o;12644:663::-;12732:6;12740;12748;12797:2;12785:9;12776:7;12772:23;12768:32;12765:119;;;12803:79;;:::i;:::-;12765:119;12923:1;12948:64;13004:7;12995:6;12984:9;12980:22;12948:64;:::i;:::-;12938:74;;12894:128;13061:2;13087:64;13143:7;13134:6;13123:9;13119:22;13087:64;:::i;:::-;13077:74;;13032:129;13200:2;13226:64;13282:7;13273:6;13262:9;13258:22;13226:64;:::i;:::-;13216:74;;13171:129;12644:663;;;;;:::o;13313:147::-;13414:11;13451:3;13436:18;;13313:147;;;;:::o;13466:114::-;;:::o;13586:398::-;13745:3;13766:83;13847:1;13842:3;13766:83;:::i;:::-;13759:90;;13858:93;13947:3;13858:93;:::i;:::-;13976:1;13971:3;13967:11;13960:18;;13586:398;;;:::o;13990:379::-;14174:3;14196:147;14339:3;14196:147;:::i;:::-;14189:154;;14360:3;14353:10;;13990:379;;;:::o;14375:166::-;14515:18;14511:1;14503:6;14499:14;14492:42;14375:166;:::o;14547:366::-;14689:3;14710:67;14774:2;14769:3;14710:67;:::i;:::-;14703:74;;14786:93;14875:3;14786:93;:::i;:::-;14904:2;14899:3;14895:12;14888:19;;14547:366;;;:::o;14919:419::-;15085:4;15123:2;15112:9;15108:18;15100:26;;15172:9;15166:4;15162:20;15158:1;15147:9;15143:17;15136:47;15200:131;15326:4;15200:131;:::i;:::-;15192:139;;14919:419;;;:::o;15344:173::-;15484:25;15480:1;15472:6;15468:14;15461:49;15344:173;:::o;15523:366::-;15665:3;15686:67;15750:2;15745:3;15686:67;:::i;:::-;15679:74;;15762:93;15851:3;15762:93;:::i;:::-;15880:2;15875:3;15871:12;15864:19;;15523:366;;;:::o;15895:419::-;16061:4;16099:2;16088:9;16084:18;16076:26;;16148:9;16142:4;16138:20;16134:1;16123:9;16119:17;16112:47;16176:131;16302:4;16176:131;:::i;:::-;16168:139;;15895:419;;;:::o;16320:775::-;16553:4;16591:3;16580:9;16576:19;16568:27;;16605:71;16673:1;16662:9;16658:17;16649:6;16605:71;:::i;:::-;16686:72;16754:2;16743:9;16739:18;16730:6;16686:72;:::i;:::-;16768;16836:2;16825:9;16821:18;16812:6;16768:72;:::i;:::-;16850;16918:2;16907:9;16903:18;16894:6;16850:72;:::i;:::-;16932:73;17000:3;16989:9;16985:19;16976:6;16932:73;:::i;:::-;17015;17083:3;17072:9;17068:19;17059:6;17015:73;:::i;:::-;16320:775;;;;;;;;;:::o;17101:148::-;17203:11;17240:3;17225:18;;17101:148;;;;:::o;17255:214::-;17395:66;17391:1;17383:6;17379:14;17372:90;17255:214;:::o;17475:400::-;17635:3;17656:84;17738:1;17733:3;17656:84;:::i;:::-;17649:91;;17749:93;17838:3;17749:93;:::i;:::-;17867:1;17862:3;17858:11;17851:18;;17475:400;;;:::o;17881:79::-;17920:7;17949:5;17938:16;;17881:79;;;:::o;17966:157::-;18071:45;18091:24;18109:5;18091:24;:::i;:::-;18071:45;:::i;:::-;18066:3;18059:58;17966:157;;:::o;18129:663::-;18370:3;18392:148;18536:3;18392:148;:::i;:::-;18385:155;;18550:75;18621:3;18612:6;18550:75;:::i;:::-;18650:2;18645:3;18641:12;18634:19;;18663:75;18734:3;18725:6;18663:75;:::i;:::-;18763:2;18758:3;18754:12;18747:19;;18783:3;18776:10;;18129:663;;;;;:::o;18798:545::-;18971:4;19009:3;18998:9;18994:19;18986:27;;19023:71;19091:1;19080:9;19076:17;19067:6;19023:71;:::i;:::-;19104:68;19168:2;19157:9;19153:18;19144:6;19104:68;:::i;:::-;19182:72;19250:2;19239:9;19235:18;19226:6;19182:72;:::i;:::-;19264;19332:2;19321:9;19317:18;19308:6;19264:72;:::i;:::-;18798:545;;;;;;;:::o;19349:164::-;19489:16;19485:1;19477:6;19473:14;19466:40;19349:164;:::o;19519:366::-;19661:3;19682:67;19746:2;19741:3;19682:67;:::i;:::-;19675:74;;19758:93;19847:3;19758:93;:::i;:::-;19876:2;19871:3;19867:12;19860:19;;19519:366;;;:::o;19891:419::-;20057:4;20095:2;20084:9;20080:18;20072:26;;20144:9;20138:4;20134:20;20130:1;20119:9;20115:17;20108:47;20172:131;20298:4;20172:131;:::i;:::-;20164:139;;19891:419;;;:::o;20316:191::-;20356:3;20375:20;20393:1;20375:20;:::i;:::-;20370:25;;20409:20;20427:1;20409:20;:::i;:::-;20404:25;;20452:1;20449;20445:9;20438:16;;20473:3;20470:1;20467:10;20464:36;;;20480:18;;:::i;:::-;20464:36;20316:191;;;;:::o;20513:180::-;20561:77;20558:1;20551:88;20658:4;20655:1;20648:15;20682:4;20679:1;20672:15;20699:143;20756:5;20787:6;20781:13;20772:22;;20803:33;20830:5;20803:33;:::i;:::-;20699:143;;;;:::o;20848:351::-;20918:6;20967:2;20955:9;20946:7;20942:23;20938:32;20935:119;;;20973:79;;:::i;:::-;20935:119;21093:1;21118:64;21174:7;21165:6;21154:9;21150:22;21118:64;:::i;:::-;21108:74;;21064:128;20848:351;;;;:::o;21205:164::-;21345:16;21341:1;21333:6;21329:14;21322:40;21205:164;:::o;21375:366::-;21517:3;21538:67;21602:2;21597:3;21538:67;:::i;:::-;21531:74;;21614:93;21703:3;21614:93;:::i;:::-;21732:2;21727:3;21723:12;21716:19;;21375:366;;;:::o;21747:419::-;21913:4;21951:2;21940:9;21936:18;21928:26;;22000:9;21994:4;21990:20;21986:1;21975:9;21971:17;21964:47;22028:131;22154:4;22028:131;:::i;:::-;22020:139;;21747:419;;;:::o;22172:167::-;22312:19;22308:1;22300:6;22296:14;22289:43;22172:167;:::o;22345:366::-;22487:3;22508:67;22572:2;22567:3;22508:67;:::i;:::-;22501:74;;22584:93;22673:3;22584:93;:::i;:::-;22702:2;22697:3;22693:12;22686:19;;22345:366;;;:::o;22717:419::-;22883:4;22921:2;22910:9;22906:18;22898:26;;22970:9;22964:4;22960:20;22956:1;22945:9;22941:17;22934:47;22998:131;23124:4;22998:131;:::i;:::-;22990:139;;22717:419;;;:::o;23142:233::-;23181:3;23204:24;23222:5;23204:24;:::i;:::-;23195:33;;23250:66;23243:5;23240:77;23237:103;;23320:18;;:::i;:::-;23237:103;23367:1;23360:5;23356:13;23349:20;;23142:233;;;:::o;23381:410::-;23421:7;23444:20;23462:1;23444:20;:::i;:::-;23439:25;;23478:20;23496:1;23478:20;:::i;:::-;23473:25;;23533:1;23530;23526:9;23555:30;23573:11;23555:30;:::i;:::-;23544:41;;23734:1;23725:7;23721:15;23718:1;23715:22;23695:1;23688:9;23668:83;23645:139;;23764:18;;:::i;:::-;23645:139;23429:362;23381:410;;;;:::o;23797:144::-;23849:4;23872:3;23864:11;;23895:3;23892:1;23885:14;23929:4;23926:1;23916:18;23908:26;;23797:144;;;:::o;23969:878::-;24074:3;24111:5;24105:12;24140:36;24166:9;24140:36;:::i;:::-;24192:88;24273:6;24268:3;24192:88;:::i;:::-;24185:95;;24311:1;24300:9;24296:17;24327:1;24322:166;;;;24502:1;24497:344;;;;24289:552;;24322:166;24406:4;24402:9;24391;24387:25;24382:3;24375:38;24468:6;24461:14;24454:22;24446:6;24442:35;24437:3;24433:45;24426:52;;24322:166;;24497:344;24564:41;24599:5;24564:41;:::i;:::-;24627:1;24641:154;24655:6;24652:1;24649:13;24641:154;;;24729:7;24723:14;24719:1;24714:3;24710:11;24703:35;24779:1;24770:7;24766:15;24755:26;;24677:4;24674:1;24670:12;24665:17;;24641:154;;;24824:6;24819:3;24815:16;24808:23;;24504:337;;24289:552;;24078:769;;23969:878;;;;:::o;24853:273::-;24984:3;25006:94;25096:3;25087:6;25006:94;:::i;:::-;24999:101;;25117:3;25110:10;;24853:273;;;;:::o;25132:664::-;25337:4;25375:3;25364:9;25360:19;25352:27;;25389:71;25457:1;25446:9;25442:17;25433:6;25389:71;:::i;:::-;25470:72;25538:2;25527:9;25523:18;25514:6;25470:72;:::i;:::-;25552;25620:2;25609:9;25605:18;25596:6;25552:72;:::i;:::-;25634;25702:2;25691:9;25687:18;25678:6;25634:72;:::i;:::-;25716:73;25784:3;25773:9;25769:19;25760:6;25716:73;:::i;:::-;25132:664;;;;;;;;:::o

ipfs://00c40586ec8ff9ba41efd27712b10c048df2d2dcfdada31f285391ae1a9ae185