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)  contract Butter is ERC20 *    - function butterMe(uint256[] calldata ...    - function endAirdrop()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

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



/// @author O
/// @author R
contract Butter is ERC20 {

    uint public constant PATTIES_PER_LOBSTER = 4_200_000 ether;

    address constant private LOBS = 0x026224A2940bFE258D0dbE947919B62fE321F042;

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

    mapping(uint256 => bool) public hasBeenDippedInButter;

    constructor() ERC20("Butter", "BUTTER", 18) {
        _mint(msg.sender, 243_599_656_770 ether); // Set up for liquidity and donors
        _mint(address(this),  12_821_034_567 ether); // Set up airdrop to lobs holders
        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;
        }

        uint amount = ids.length * PATTIES_PER_LOBSTER;
        balanceOf[address(this)] -= amount;
        unchecked {
            balanceOf[msg.sender] += amount;
        }
        emit Transfer(address(this), msg.sender, amount);
    }

    function endAirdrop() external {
        require(block.timestamp > LUNCH_DATE + CLAM_PERIOD, "Butter not spoiled!");
        uint remainingBalance = balanceOf[address(this)];
        require(remainingBalance > 0, "Butter all gone!");
        _burn(address(this), remainingBalance);
    }

    

    

}

• 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":[],"name":"PATTIES_PER_LOBSTER","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","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":[],"name":"endAirdrop","outputs":[],"stateMutability":"nonpayable","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"}]

6101006040523480156200001257600080fd5b506040518060400160405280600681526020017f42757474657200000000000000000000000000000000000000000000000000008152506040518060400160405280600681526020017f425554544552000000000000000000000000000000000000000000000000000081525060128260009081620000929190620004fe565b508160019081620000a49190620004fe565b508060ff1660808160ff16815250504660a08181525050620000cb6200012060201b60201c565b60c08181525050505050620000f4336c03131ce9ce567e0d3be3c80000620001b060201b60201c565b62000112306b296d4fac8d7af51f84bc0000620001b060201b60201c565b4260e0818152505062000802565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f600060405162000154919062000694565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001620001959594939291906200071e565b60405160208183030381529060405280519060200120905090565b8060026000828254620001c49190620007aa565b9250508190555080600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620002789190620007e5565b60405180910390a35050565b600081519050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806200030657607f821691505b6020821081036200031c576200031b620002be565b5b50919050565b60008190508160005260206000209050919050565b60006020601f8301049050919050565b600082821b905092915050565b600060088302620003867fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8262000347565b62000392868362000347565b95508019841693508086168417925050509392505050565b6000819050919050565b6000819050919050565b6000620003df620003d9620003d384620003aa565b620003b4565b620003aa565b9050919050565b6000819050919050565b620003fb83620003be565b620004136200040a82620003e6565b84845462000354565b825550505050565b600090565b6200042a6200041b565b62000437818484620003f0565b505050565b5b818110156200045f576200045360008262000420565b6001810190506200043d565b5050565b601f821115620004ae57620004788162000322565b620004838462000337565b8101602085101562000493578190505b620004ab620004a28562000337565b8301826200043c565b50505b505050565b600082821c905092915050565b6000620004d360001984600802620004b3565b1980831691505092915050565b6000620004ee8383620004c0565b9150826002028217905092915050565b620005098262000284565b67ffffffffffffffff8111156200052557620005246200028f565b5b620005318254620002ed565b6200053e82828562000463565b600060209050601f83116001811462000576576000841562000561578287015190505b6200056d8582620004e0565b865550620005dd565b601f198416620005868662000322565b60005b82811015620005b05784890151825560018201915060208501945060208101905062000589565b86831015620005d05784890151620005cc601f891682620004c0565b8355505b6001600288020188555050505b505050505050565b600081905092915050565b60008190508160005260206000209050919050565b600081546200061481620002ed565b620006208186620005e5565b945060018216600081146200063e576001811462000654576200068b565b60ff19831686528115158202860193506200068b565b6200065f85620005f0565b60005b83811015620006835781548189015260018201915060208101905062000662565b838801955050505b50505092915050565b6000620006a2828462000605565b915081905092915050565b6000819050919050565b620006c281620006ad565b82525050565b620006d381620003aa565b82525050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006200070682620006d9565b9050919050565b6200071881620006f9565b82525050565b600060a082019050620007356000830188620006b7565b620007446020830187620006b7565b620007536040830186620006b7565b620007626060830185620006c8565b6200077160808301846200070d565b9695505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000620007b782620003aa565b9150620007c483620003aa565b9250828201905080821115620007df57620007de6200077b565b5b92915050565b6000602082019050620007fc6000830184620006c8565b92915050565b60805160a05160c05160e051611ed56200084a6000396000818161080301528181610dee0152611142015260006107a00152600061076c015260006107460152611ed56000f3fe608060405234801561001057600080fd5b506004361061010b5760003560e01c8063726b5bad116100a2578063a9059cbb11610071578063a9059cbb146102be578063d505accf146102ee578063dd62ed3e1461030a578063e367bb701461033a578063fc472718146103565761010b565b8063726b5bad146102485780637ecebe00146102525780638885deb11461028257806395d89b41146102a05761010b565b8063313ce567116100de578063313ce567146101ac5780633644e515146101ca5780633e617f66146101e857806370a08231146102185761010b565b806306fdde0314610110578063095ea7b31461012e57806318160ddd1461015e57806323b872dd1461017c575b600080fd5b610118610374565b6040516101259190611350565b60405180910390f35b61014860048036038101906101439190611410565b610402565b604051610155919061146b565b60405180910390f35b6101666104f4565b6040516101739190611495565b60405180910390f35b610196600480360381019061019191906114b0565b6104fa565b6040516101a3919061146b565b60405180910390f35b6101b4610744565b6040516101c1919061151f565b60405180910390f35b6101d2610768565b6040516101df9190611553565b60405180910390f35b61020260048036038101906101fd919061156e565b6107c5565b60405161020f919061146b565b60405180910390f35b610232600480360381019061022d919061159b565b6107e5565b60405161023f9190611495565b60405180910390f35b6102506107fd565b005b61026c6004803603810190610267919061159b565b610901565b6040516102799190611495565b60405180910390f35b61028a610919565b6040516102979190611495565b60405180910390f35b6102a8610928565b6040516102b59190611350565b60405180910390f35b6102d860048036038101906102d39190611410565b6109b6565b6040516102e5919061146b565b60405180910390f35b61030860048036038101906103039190611620565b610aca565b005b610324600480360381019061031f91906116c2565b610dc3565b6040516103319190611495565b60405180910390f35b610354600480360381019061034f9190611767565b610de8565b005b61035e611140565b60405161036b9190611495565b60405180910390f35b60008054610381906117e3565b80601f01602080910402602001604051908101604052809291908181526020018280546103ad906117e3565b80156103fa5780601f106103cf576101008083540402835291602001916103fa565b820191906000526020600020905b8154815290600101906020018083116103dd57829003601f168201915b505050505081565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104e29190611495565b60405180910390a36001905092915050565b60025481565b600080600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146106305782816105af9190611843565b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b82600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461067f9190611843565b9250508190555082600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516107309190611495565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000000081565b60007f0000000000000000000000000000000000000000000000000000000000000000461461079e57610799611164565b6107c0565b7f00000000000000000000000000000000000000000000000000000000000000005b905090565b60066020528060005260406000206000915054906101000a900460ff1681565b60036020528060005260406000206000915090505481565b620151807f000000000000000000000000000000000000000000000000000000000000000061082c9190611877565b421161086d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610864906118f7565b60405180910390fd5b6000600360003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050600081116108f4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108eb90611963565b60405180910390fd5b6108fe30826111f0565b50565b60056020528060005260406000206000915090505481565b6a03796274caf64c7100000081565b60018054610935906117e3565b80601f0160208091040260200160405190810160405280929190818152602001828054610961906117e3565b80156109ae5780601f10610983576101008083540402835291602001916109ae565b820191906000526020600020905b81548152906001019060200180831161099157829003601f168201915b505050505081565b600081600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610a079190611843565b9250508190555081600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610ab89190611495565b60405180910390a36001905092915050565b42841015610b0d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b04906119cf565b60405180910390fd5b60006001610b19610768565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a600560008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558b604051602001610ba1969594939291906119fe565b60405160208183030381529060405280519060200120604051602001610bc8929190611ad7565b6040516020818303038152906040528051906020012085858560405160008152602001604052604051610bfe9493929190611b0e565b6020604051602081039080840390855afa158015610c20573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610c9457508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610cd3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cca90611b9f565b60405180910390fd5b85600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610db29190611495565b60405180910390a350505050505050565b6004602052816000526040600020602052806000526040600020600091509150505481565b620151807f0000000000000000000000000000000000000000000000000000000000000000610e179190611877565b4210610e2257600080fd5b60005b82829050811015611014573373ffffffffffffffffffffffffffffffffffffffff1673026224a2940bfe258d0dbe947919b62fe321f04273ffffffffffffffffffffffffffffffffffffffff16636352211e858585818110610e8a57610e89611bbf565b5b905060200201356040518263ffffffff1660e01b8152600401610ead9190611495565b602060405180830381865afa158015610eca573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610eee9190611c03565b73ffffffffffffffffffffffffffffffffffffffff1614610f44576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f3b90611c7c565b60405180910390fd5b60066000848484818110610f5b57610f5a611bbf565b5b90506020020135815260200190815260200160002060009054906101000a900460ff1615610fbe576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fb590611ce8565b60405180910390fd5b600160066000858585818110610fd757610fd6611bbf565b5b90506020020135815260200190815260200160002060006101000a81548160ff0219169083151502179055508061100d90611d08565b9050610e25565b5060006a03796274caf64c71000000838390506110319190611d50565b905080600360003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546110829190611843565b9250508190555080600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055503373ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516111339190611495565b60405180910390a3505050565b7f000000000000000000000000000000000000000000000000000000000000000081565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60006040516111969190611e35565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc646306040516020016111d5959493929190611e4c565b60405160208183030381529060405280519060200120905090565b80600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461123f9190611843565b9250508190555080600260008282540392505081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516112b49190611495565b60405180910390a35050565b600081519050919050565b600082825260208201905092915050565b60005b838110156112fa5780820151818401526020810190506112df565b60008484015250505050565b6000601f19601f8301169050919050565b6000611322826112c0565b61132c81856112cb565b935061133c8185602086016112dc565b61134581611306565b840191505092915050565b6000602082019050818103600083015261136a8184611317565b905092915050565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006113a78261137c565b9050919050565b6113b78161139c565b81146113c257600080fd5b50565b6000813590506113d4816113ae565b92915050565b6000819050919050565b6113ed816113da565b81146113f857600080fd5b50565b60008135905061140a816113e4565b92915050565b6000806040838503121561142757611426611372565b5b6000611435858286016113c5565b9250506020611446858286016113fb565b9150509250929050565b60008115159050919050565b61146581611450565b82525050565b6000602082019050611480600083018461145c565b92915050565b61148f816113da565b82525050565b60006020820190506114aa6000830184611486565b92915050565b6000806000606084860312156114c9576114c8611372565b5b60006114d7868287016113c5565b93505060206114e8868287016113c5565b92505060406114f9868287016113fb565b9150509250925092565b600060ff82169050919050565b61151981611503565b82525050565b60006020820190506115346000830184611510565b92915050565b6000819050919050565b61154d8161153a565b82525050565b60006020820190506115686000830184611544565b92915050565b60006020828403121561158457611583611372565b5b6000611592848285016113fb565b91505092915050565b6000602082840312156115b1576115b0611372565b5b60006115bf848285016113c5565b91505092915050565b6115d181611503565b81146115dc57600080fd5b50565b6000813590506115ee816115c8565b92915050565b6115fd8161153a565b811461160857600080fd5b50565b60008135905061161a816115f4565b92915050565b600080600080600080600060e0888a03121561163f5761163e611372565b5b600061164d8a828b016113c5565b975050602061165e8a828b016113c5565b965050604061166f8a828b016113fb565b95505060606116808a828b016113fb565b94505060806116918a828b016115df565b93505060a06116a28a828b0161160b565b92505060c06116b38a828b0161160b565b91505092959891949750929550565b600080604083850312156116d9576116d8611372565b5b60006116e7858286016113c5565b92505060206116f8858286016113c5565b9150509250929050565b600080fd5b600080fd5b600080fd5b60008083601f84011261172757611726611702565b5b8235905067ffffffffffffffff81111561174457611743611707565b5b6020830191508360208202830111156117605761175f61170c565b5b9250929050565b6000806020838503121561177e5761177d611372565b5b600083013567ffffffffffffffff81111561179c5761179b611377565b5b6117a885828601611711565b92509250509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806117fb57607f821691505b60208210810361180e5761180d6117b4565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061184e826113da565b9150611859836113da565b925082820390508181111561187157611870611814565b5b92915050565b6000611882826113da565b915061188d836113da565b92508282019050808211156118a5576118a4611814565b5b92915050565b7f427574746572206e6f742073706f696c65642100000000000000000000000000600082015250565b60006118e16013836112cb565b91506118ec826118ab565b602082019050919050565b60006020820190508181036000830152611910816118d4565b9050919050565b7f42757474657220616c6c20676f6e652100000000000000000000000000000000600082015250565b600061194d6010836112cb565b915061195882611917565b602082019050919050565b6000602082019050818103600083015261197c81611940565b9050919050565b7f5045524d49545f444541444c494e455f45585049524544000000000000000000600082015250565b60006119b96017836112cb565b91506119c482611983565b602082019050919050565b600060208201905081810360008301526119e8816119ac565b9050919050565b6119f88161139c565b82525050565b600060c082019050611a136000830189611544565b611a2060208301886119ef565b611a2d60408301876119ef565b611a3a6060830186611486565b611a476080830185611486565b611a5460a0830184611486565b979650505050505050565b600081905092915050565b7f1901000000000000000000000000000000000000000000000000000000000000600082015250565b6000611aa0600283611a5f565b9150611aab82611a6a565b600282019050919050565b6000819050919050565b611ad1611acc8261153a565b611ab6565b82525050565b6000611ae282611a93565b9150611aee8285611ac0565b602082019150611afe8284611ac0565b6020820191508190509392505050565b6000608082019050611b236000830187611544565b611b306020830186611510565b611b3d6040830185611544565b611b4a6060830184611544565b95945050505050565b7f494e56414c49445f5349474e4552000000000000000000000000000000000000600082015250565b6000611b89600e836112cb565b9150611b9482611b53565b602082019050919050565b60006020820190508181036000830152611bb881611b7c565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600081519050611bfd816113ae565b92915050565b600060208284031215611c1957611c18611372565b5b6000611c2784828501611bee565b91505092915050565b7f4e6f7420796f7572206c6f627321000000000000000000000000000000000000600082015250565b6000611c66600e836112cb565b9150611c7182611c30565b602082019050919050565b60006020820190508181036000830152611c9581611c59565b9050919050565b7f416c726561647920627574746572656421000000000000000000000000000000600082015250565b6000611cd26011836112cb565b9150611cdd82611c9c565b602082019050919050565b60006020820190508181036000830152611d0181611cc5565b9050919050565b6000611d13826113da565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203611d4557611d44611814565b5b600182019050919050565b6000611d5b826113da565b9150611d66836113da565b9250828202611d74816113da565b91508282048414831517611d8b57611d8a611814565b5b5092915050565b600081905092915050565b60008190508160005260206000209050919050565b60008154611dbf816117e3565b611dc98186611d92565b94506001821660008114611de45760018114611df957611e2c565b60ff1983168652811515820286019350611e2c565b611e0285611d9d565b60005b83811015611e2457815481890152600182019150602081019050611e05565b838801955050505b50505092915050565b6000611e418284611db2565b915081905092915050565b600060a082019050611e616000830188611544565b611e6e6020830187611544565b611e7b6040830186611544565b611e886060830185611486565b611e9560808301846119ef565b969550505050505056fea264697066735822122075714f935cef27dbf4172040a14540806f764a83bba18cb3ff189edd9e992df364736f6c63430008120033

0x608060405234801561001057600080fd5b506004361061010b5760003560e01c8063726b5bad116100a2578063a9059cbb11610071578063a9059cbb146102be578063d505accf146102ee578063dd62ed3e1461030a578063e367bb701461033a578063fc472718146103565761010b565b8063726b5bad146102485780637ecebe00146102525780638885deb11461028257806395d89b41146102a05761010b565b8063313ce567116100de578063313ce567146101ac5780633644e515146101ca5780633e617f66146101e857806370a08231146102185761010b565b806306fdde0314610110578063095ea7b31461012e57806318160ddd1461015e57806323b872dd1461017c575b600080fd5b610118610374565b6040516101259190611350565b60405180910390f35b61014860048036038101906101439190611410565b610402565b604051610155919061146b565b60405180910390f35b6101666104f4565b6040516101739190611495565b60405180910390f35b610196600480360381019061019191906114b0565b6104fa565b6040516101a3919061146b565b60405180910390f35b6101b4610744565b6040516101c1919061151f565b60405180910390f35b6101d2610768565b6040516101df9190611553565b60405180910390f35b61020260048036038101906101fd919061156e565b6107c5565b60405161020f919061146b565b60405180910390f35b610232600480360381019061022d919061159b565b6107e5565b60405161023f9190611495565b60405180910390f35b6102506107fd565b005b61026c6004803603810190610267919061159b565b610901565b6040516102799190611495565b60405180910390f35b61028a610919565b6040516102979190611495565b60405180910390f35b6102a8610928565b6040516102b59190611350565b60405180910390f35b6102d860048036038101906102d39190611410565b6109b6565b6040516102e5919061146b565b60405180910390f35b61030860048036038101906103039190611620565b610aca565b005b610324600480360381019061031f91906116c2565b610dc3565b6040516103319190611495565b60405180910390f35b610354600480360381019061034f9190611767565b610de8565b005b61035e611140565b60405161036b9190611495565b60405180910390f35b60008054610381906117e3565b80601f01602080910402602001604051908101604052809291908181526020018280546103ad906117e3565b80156103fa5780601f106103cf576101008083540402835291602001916103fa565b820191906000526020600020905b8154815290600101906020018083116103dd57829003601f168201915b505050505081565b600081600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104e29190611495565b60405180910390a36001905092915050565b60025481565b600080600460008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146106305782816105af9190611843565b600460008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b82600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461067f9190611843565b9250508190555082600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516107309190611495565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000001281565b60007f0000000000000000000000000000000000000000000000000000000000000001461461079e57610799611164565b6107c0565b7f1b6c9db6f7a29bef727cde0d9c4a47bdf1a0c51614f3722e3068052fa8800c575b905090565b60066020528060005260406000206000915054906101000a900460ff1681565b60036020528060005260406000206000915090505481565b620151807f000000000000000000000000000000000000000000000000000000006457dea361082c9190611877565b421161086d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610864906118f7565b60405180910390fd5b6000600360003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050600081116108f4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108eb90611963565b60405180910390fd5b6108fe30826111f0565b50565b60056020528060005260406000206000915090505481565b6a03796274caf64c7100000081565b60018054610935906117e3565b80601f0160208091040260200160405190810160405280929190818152602001828054610961906117e3565b80156109ae5780601f10610983576101008083540402835291602001916109ae565b820191906000526020600020905b81548152906001019060200180831161099157829003601f168201915b505050505081565b600081600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000828254610a079190611843565b9250508190555081600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610ab89190611495565b60405180910390a36001905092915050565b42841015610b0d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b04906119cf565b60405180910390fd5b60006001610b19610768565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a600560008f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000815480929190600101919050558b604051602001610ba1969594939291906119fe565b60405160208183030381529060405280519060200120604051602001610bc8929190611ad7565b6040516020818303038152906040528051906020012085858560405160008152602001604052604051610bfe9493929190611b0e565b6020604051602081039080840390855afa158015610c20573d6000803e3d6000fd5b505050602060405103519050600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610c9457508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610cd3576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cca90611b9f565b60405180910390fd5b85600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610db29190611495565b60405180910390a350505050505050565b6004602052816000526040600020602052806000526040600020600091509150505481565b620151807f000000000000000000000000000000000000000000000000000000006457dea3610e179190611877565b4210610e2257600080fd5b60005b82829050811015611014573373ffffffffffffffffffffffffffffffffffffffff1673026224a2940bfe258d0dbe947919b62fe321f04273ffffffffffffffffffffffffffffffffffffffff16636352211e858585818110610e8a57610e89611bbf565b5b905060200201356040518263ffffffff1660e01b8152600401610ead9190611495565b602060405180830381865afa158015610eca573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610eee9190611c03565b73ffffffffffffffffffffffffffffffffffffffff1614610f44576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f3b90611c7c565b60405180910390fd5b60066000848484818110610f5b57610f5a611bbf565b5b90506020020135815260200190815260200160002060009054906101000a900460ff1615610fbe576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fb590611ce8565b60405180910390fd5b600160066000858585818110610fd757610fd6611bbf565b5b90506020020135815260200190815260200160002060006101000a81548160ff0219169083151502179055508061100d90611d08565b9050610e25565b5060006a03796274caf64c71000000838390506110319190611d50565b905080600360003073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008282546110829190611843565b9250508190555080600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825401925050819055503373ffffffffffffffffffffffffffffffffffffffff163073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516111339190611495565b60405180910390a3505050565b7f000000000000000000000000000000000000000000000000000000006457dea381565b60007f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f60006040516111969190611e35565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc646306040516020016111d5959493929190611e4c565b60405160208183030381529060405280519060200120905090565b80600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082825461123f9190611843565b9250508190555080600260008282540392505081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516112b49190611495565b60405180910390a35050565b600081519050919050565b600082825260208201905092915050565b60005b838110156112fa5780820151818401526020810190506112df565b60008484015250505050565b6000601f19601f8301169050919050565b6000611322826112c0565b61132c81856112cb565b935061133c8185602086016112dc565b61134581611306565b840191505092915050565b6000602082019050818103600083015261136a8184611317565b905092915050565b600080fd5b600080fd5b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b60006113a78261137c565b9050919050565b6113b78161139c565b81146113c257600080fd5b50565b6000813590506113d4816113ae565b92915050565b6000819050919050565b6113ed816113da565b81146113f857600080fd5b50565b60008135905061140a816113e4565b92915050565b6000806040838503121561142757611426611372565b5b6000611435858286016113c5565b9250506020611446858286016113fb565b9150509250929050565b60008115159050919050565b61146581611450565b82525050565b6000602082019050611480600083018461145c565b92915050565b61148f816113da565b82525050565b60006020820190506114aa6000830184611486565b92915050565b6000806000606084860312156114c9576114c8611372565b5b60006114d7868287016113c5565b93505060206114e8868287016113c5565b92505060406114f9868287016113fb565b9150509250925092565b600060ff82169050919050565b61151981611503565b82525050565b60006020820190506115346000830184611510565b92915050565b6000819050919050565b61154d8161153a565b82525050565b60006020820190506115686000830184611544565b92915050565b60006020828403121561158457611583611372565b5b6000611592848285016113fb565b91505092915050565b6000602082840312156115b1576115b0611372565b5b60006115bf848285016113c5565b91505092915050565b6115d181611503565b81146115dc57600080fd5b50565b6000813590506115ee816115c8565b92915050565b6115fd8161153a565b811461160857600080fd5b50565b60008135905061161a816115f4565b92915050565b600080600080600080600060e0888a03121561163f5761163e611372565b5b600061164d8a828b016113c5565b975050602061165e8a828b016113c5565b965050604061166f8a828b016113fb565b95505060606116808a828b016113fb565b94505060806116918a828b016115df565b93505060a06116a28a828b0161160b565b92505060c06116b38a828b0161160b565b91505092959891949750929550565b600080604083850312156116d9576116d8611372565b5b60006116e7858286016113c5565b92505060206116f8858286016113c5565b9150509250929050565b600080fd5b600080fd5b600080fd5b60008083601f84011261172757611726611702565b5b8235905067ffffffffffffffff81111561174457611743611707565b5b6020830191508360208202830111156117605761175f61170c565b5b9250929050565b6000806020838503121561177e5761177d611372565b5b600083013567ffffffffffffffff81111561179c5761179b611377565b5b6117a885828601611711565b92509250509250929050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602260045260246000fd5b600060028204905060018216806117fb57607f821691505b60208210810361180e5761180d6117b4565b5b50919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600061184e826113da565b9150611859836113da565b925082820390508181111561187157611870611814565b5b92915050565b6000611882826113da565b915061188d836113da565b92508282019050808211156118a5576118a4611814565b5b92915050565b7f427574746572206e6f742073706f696c65642100000000000000000000000000600082015250565b60006118e16013836112cb565b91506118ec826118ab565b602082019050919050565b60006020820190508181036000830152611910816118d4565b9050919050565b7f42757474657220616c6c20676f6e652100000000000000000000000000000000600082015250565b600061194d6010836112cb565b915061195882611917565b602082019050919050565b6000602082019050818103600083015261197c81611940565b9050919050565b7f5045524d49545f444541444c494e455f45585049524544000000000000000000600082015250565b60006119b96017836112cb565b91506119c482611983565b602082019050919050565b600060208201905081810360008301526119e8816119ac565b9050919050565b6119f88161139c565b82525050565b600060c082019050611a136000830189611544565b611a2060208301886119ef565b611a2d60408301876119ef565b611a3a6060830186611486565b611a476080830185611486565b611a5460a0830184611486565b979650505050505050565b600081905092915050565b7f1901000000000000000000000000000000000000000000000000000000000000600082015250565b6000611aa0600283611a5f565b9150611aab82611a6a565b600282019050919050565b6000819050919050565b611ad1611acc8261153a565b611ab6565b82525050565b6000611ae282611a93565b9150611aee8285611ac0565b602082019150611afe8284611ac0565b6020820191508190509392505050565b6000608082019050611b236000830187611544565b611b306020830186611510565b611b3d6040830185611544565b611b4a6060830184611544565b95945050505050565b7f494e56414c49445f5349474e4552000000000000000000000000000000000000600082015250565b6000611b89600e836112cb565b9150611b9482611b53565b602082019050919050565b60006020820190508181036000830152611bb881611b7c565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b600081519050611bfd816113ae565b92915050565b600060208284031215611c1957611c18611372565b5b6000611c2784828501611bee565b91505092915050565b7f4e6f7420796f7572206c6f627321000000000000000000000000000000000000600082015250565b6000611c66600e836112cb565b9150611c7182611c30565b602082019050919050565b60006020820190508181036000830152611c9581611c59565b9050919050565b7f416c726561647920627574746572656421000000000000000000000000000000600082015250565b6000611cd26011836112cb565b9150611cdd82611c9c565b602082019050919050565b60006020820190508181036000830152611d0181611cc5565b9050919050565b6000611d13826113da565b91507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8203611d4557611d44611814565b5b600182019050919050565b6000611d5b826113da565b9150611d66836113da565b9250828202611d74816113da565b91508282048414831517611d8b57611d8a611814565b5b5092915050565b600081905092915050565b60008190508160005260206000209050919050565b60008154611dbf816117e3565b611dc98186611d92565b94506001821660008114611de45760018114611df957611e2c565b60ff1983168652811515820286019350611e2c565b611e0285611d9d565b60005b83811015611e2457815481890152600182019150602081019050611e05565b838801955050505b50505092915050565b6000611e418284611db2565b915081905092915050565b600060a082019050611e616000830188611544565b611e6e6020830187611544565b611e7b6040830186611544565b611e886060830185611486565b611e9560808301846119ef565b969550505050505056fea264697066735822122075714f935cef27dbf4172040a14540806f764a83bba18cb3ff189edd9e992df364736f6c63430008120033

7152:1565: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;:::-;;;;;;;;7429:53;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1369:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;8404:292;;;:::i;:::-;;1795:41;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7186:58;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1078:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2753:385;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3953:1527;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1422:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;7766:630;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;7336: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;7429:53::-;;;;;;;;;;;;;;;;;;;;;;:::o;1369:44::-;;;;;;;;;;;;;;;;;:::o;8404:292::-;7411:8;8472:10;:24;;;;:::i;:::-;8454:15;:42;8446:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;8531:21;8555:9;:24;8573:4;8555:24;;;;;;;;;;;;;;;;8531:48;;8617:1;8598:16;:20;8590:49;;;;;;;;;;;;:::i;:::-;;;;;;;;;8650:38;8664:4;8671:16;8650:5;:38::i;:::-;8435:261;8404:292::o;1795:41::-;;;;;;;;;;;;;;;;;:::o;7186:58::-;7229:15;7186:58;:::o;1078:20::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::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;7766:630::-;7411:8;7854:10;:24;;;;:::i;:::-;7836:15;:42;7828:51;;;;;;7897:6;7892:256;7909:3;;:10;;7905:1;:14;7892:256;;;7981:10;7949:42;;7285;7949:20;;;7970:3;;7974:1;7970:6;;;;;;;:::i;:::-;;;;;;;;7949:28;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;:42;;;7941:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;8034:21;:29;8056:3;;8060:1;8056:6;;;;;;;:::i;:::-;;;;;;;;8034:29;;;;;;;;;;;;;;;;;;;;;8033:30;8025:60;;;;;;;;;;;;:::i;:::-;;;;;;;;;8132:4;8100:21;:29;8122:3;;8126:1;8122:6;;;;;;;:::i;:::-;;;;;;;;8100:29;;;;;;;;;;;;:36;;;;;;;;;;;;;;;;;;7921:3;;;;:::i;:::-;;;7892:256;;;;8160:11;7229:15;8174:3;;:10;;:32;;;;:::i;:::-;8160:46;;8245:6;8217:9;:24;8235:4;8217:24;;;;;;;;;;;;;;;;:34;;;;;;;:::i;:::-;;;;;;;;8312:6;8287:9;:21;8297:10;8287:21;;;;;;;;;;;;;;;;:31;;;;;;;;;;;8369:10;8345:43;;8362:4;8345:43;;;8381:6;8345:43;;;;;;:::i;:::-;;;;;;;;7817:579;7766:630;;:::o;7336: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;6675:338::-;6767:6;6748:9;:15;6758:4;6748:15;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;6936:6;6921:11;;:21;;;;;;;;;;;6994:1;6971:34;;6980:4;6971:34;;;6998:6;6971:34;;;;;;:::i;:::-;;;;;;;;6675:338;;:::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:118::-;6029:22;6045:5;6029:22;:::i;:::-;6022:5;6019:33;6009:61;;6066:1;6063;6056:12;6009:61;5958:118;:::o;6082:135::-;6126:5;6164:6;6151:20;6142:29;;6180:31;6205:5;6180:31;:::i;:::-;6082:135;;;;:::o;6223:122::-;6296:24;6314:5;6296:24;:::i;:::-;6289:5;6286:35;6276:63;;6335:1;6332;6325:12;6276:63;6223:122;:::o;6351:139::-;6397:5;6435:6;6422:20;6413:29;;6451:33;6478:5;6451:33;:::i;:::-;6351:139;;;;:::o;6496:1199::-;6607:6;6615;6623;6631;6639;6647;6655;6704:3;6692:9;6683:7;6679:23;6675:33;6672:120;;;6711:79;;:::i;:::-;6672:120;6831:1;6856:53;6901:7;6892:6;6881:9;6877:22;6856:53;:::i;:::-;6846:63;;6802:117;6958:2;6984:53;7029:7;7020:6;7009:9;7005:22;6984:53;:::i;:::-;6974:63;;6929:118;7086:2;7112:53;7157:7;7148:6;7137:9;7133:22;7112:53;:::i;:::-;7102:63;;7057:118;7214:2;7240:53;7285:7;7276:6;7265:9;7261:22;7240:53;:::i;:::-;7230:63;;7185:118;7342:3;7369:51;7412:7;7403:6;7392:9;7388:22;7369:51;:::i;:::-;7359:61;;7313:117;7469:3;7496:53;7541:7;7532:6;7521:9;7517:22;7496:53;:::i;:::-;7486:63;;7440:119;7598:3;7625:53;7670:7;7661:6;7650:9;7646:22;7625:53;:::i;:::-;7615:63;;7569:119;6496:1199;;;;;;;;;;:::o;7701:474::-;7769:6;7777;7826:2;7814:9;7805:7;7801:23;7797:32;7794:119;;;7832:79;;:::i;:::-;7794:119;7952:1;7977:53;8022:7;8013:6;8002:9;7998:22;7977:53;:::i;:::-;7967:63;;7923:117;8079:2;8105:53;8150:7;8141:6;8130:9;8126:22;8105:53;:::i;:::-;8095:63;;8050:118;7701:474;;;;;:::o;8181:117::-;8290:1;8287;8280:12;8304:117;8413:1;8410;8403:12;8427:117;8536:1;8533;8526:12;8567:568;8640:8;8650:6;8700:3;8693:4;8685:6;8681:17;8677:27;8667:122;;8708:79;;:::i;:::-;8667:122;8821:6;8808:20;8798:30;;8851:18;8843:6;8840:30;8837:117;;;8873:79;;:::i;:::-;8837:117;8987:4;8979:6;8975:17;8963:29;;9041:3;9033:4;9025:6;9021:17;9011:8;9007:32;9004:41;9001:128;;;9048:79;;:::i;:::-;9001:128;8567:568;;;;;:::o;9141:559::-;9227:6;9235;9284:2;9272:9;9263:7;9259:23;9255:32;9252:119;;;9290:79;;:::i;:::-;9252:119;9438:1;9427:9;9423:17;9410:31;9468:18;9460:6;9457:30;9454:117;;;9490:79;;:::i;:::-;9454:117;9603:80;9675:7;9666:6;9655:9;9651:22;9603:80;:::i;:::-;9585:98;;;;9381:312;9141:559;;;;;:::o;9706:180::-;9754:77;9751:1;9744:88;9851:4;9848:1;9841:15;9875:4;9872:1;9865:15;9892:320;9936:6;9973:1;9967:4;9963:12;9953:22;;10020:1;10014:4;10010:12;10041:18;10031:81;;10097:4;10089:6;10085:17;10075:27;;10031:81;10159:2;10151:6;10148:14;10128:18;10125:38;10122:84;;10178:18;;:::i;:::-;10122:84;9943:269;9892:320;;;:::o;10218:180::-;10266:77;10263:1;10256:88;10363:4;10360:1;10353:15;10387:4;10384:1;10377:15;10404:194;10444:4;10464:20;10482:1;10464:20;:::i;:::-;10459:25;;10498:20;10516:1;10498:20;:::i;:::-;10493:25;;10542:1;10539;10535:9;10527:17;;10566:1;10560:4;10557:11;10554:37;;;10571:18;;:::i;:::-;10554:37;10404:194;;;;:::o;10604:191::-;10644:3;10663:20;10681:1;10663:20;:::i;:::-;10658:25;;10697:20;10715:1;10697:20;:::i;:::-;10692:25;;10740:1;10737;10733:9;10726:16;;10761:3;10758:1;10755:10;10752:36;;;10768:18;;:::i;:::-;10752:36;10604:191;;;;:::o;10801:169::-;10941:21;10937:1;10929:6;10925:14;10918:45;10801:169;:::o;10976:366::-;11118:3;11139:67;11203:2;11198:3;11139:67;:::i;:::-;11132:74;;11215:93;11304:3;11215:93;:::i;:::-;11333:2;11328:3;11324:12;11317:19;;10976:366;;;:::o;11348:419::-;11514:4;11552:2;11541:9;11537:18;11529:26;;11601:9;11595:4;11591:20;11587:1;11576:9;11572:17;11565:47;11629:131;11755:4;11629:131;:::i;:::-;11621:139;;11348:419;;;:::o;11773:166::-;11913:18;11909:1;11901:6;11897:14;11890:42;11773:166;:::o;11945:366::-;12087:3;12108:67;12172:2;12167:3;12108:67;:::i;:::-;12101:74;;12184:93;12273:3;12184:93;:::i;:::-;12302:2;12297:3;12293:12;12286:19;;11945:366;;;:::o;12317:419::-;12483:4;12521:2;12510:9;12506:18;12498:26;;12570:9;12564:4;12560:20;12556:1;12545:9;12541:17;12534:47;12598:131;12724:4;12598:131;:::i;:::-;12590:139;;12317:419;;;:::o;12742:173::-;12882:25;12878:1;12870:6;12866:14;12859:49;12742:173;:::o;12921:366::-;13063:3;13084:67;13148:2;13143:3;13084:67;:::i;:::-;13077:74;;13160:93;13249:3;13160:93;:::i;:::-;13278:2;13273:3;13269:12;13262:19;;12921:366;;;:::o;13293:419::-;13459:4;13497:2;13486:9;13482:18;13474:26;;13546:9;13540:4;13536:20;13532:1;13521:9;13517:17;13510:47;13574:131;13700:4;13574:131;:::i;:::-;13566:139;;13293:419;;;:::o;13718:118::-;13805:24;13823:5;13805:24;:::i;:::-;13800:3;13793:37;13718:118;;:::o;13842:775::-;14075:4;14113:3;14102:9;14098:19;14090:27;;14127:71;14195:1;14184:9;14180:17;14171:6;14127:71;:::i;:::-;14208:72;14276:2;14265:9;14261:18;14252:6;14208:72;:::i;:::-;14290;14358:2;14347:9;14343:18;14334:6;14290:72;:::i;:::-;14372;14440:2;14429:9;14425:18;14416:6;14372:72;:::i;:::-;14454:73;14522:3;14511:9;14507:19;14498:6;14454:73;:::i;:::-;14537;14605:3;14594:9;14590:19;14581:6;14537:73;:::i;:::-;13842:775;;;;;;;;;:::o;14623:148::-;14725:11;14762:3;14747:18;;14623:148;;;;:::o;14777:214::-;14917:66;14913:1;14905:6;14901:14;14894:90;14777:214;:::o;14997:400::-;15157:3;15178:84;15260:1;15255:3;15178:84;:::i;:::-;15171:91;;15271:93;15360:3;15271:93;:::i;:::-;15389:1;15384:3;15380:11;15373:18;;14997:400;;;:::o;15403:79::-;15442:7;15471:5;15460:16;;15403:79;;;:::o;15488:157::-;15593:45;15613:24;15631:5;15613:24;:::i;:::-;15593:45;:::i;:::-;15588:3;15581:58;15488:157;;:::o;15651:663::-;15892:3;15914:148;16058:3;15914:148;:::i;:::-;15907:155;;16072:75;16143:3;16134:6;16072:75;:::i;:::-;16172:2;16167:3;16163:12;16156:19;;16185:75;16256:3;16247:6;16185:75;:::i;:::-;16285:2;16280:3;16276:12;16269:19;;16305:3;16298:10;;15651:663;;;;;:::o;16320:545::-;16493:4;16531:3;16520:9;16516:19;16508:27;;16545:71;16613:1;16602:9;16598:17;16589:6;16545:71;:::i;:::-;16626:68;16690:2;16679:9;16675:18;16666:6;16626:68;:::i;:::-;16704:72;16772:2;16761:9;16757:18;16748:6;16704:72;:::i;:::-;16786;16854:2;16843:9;16839:18;16830:6;16786:72;:::i;:::-;16320:545;;;;;;;:::o;16871:164::-;17011:16;17007:1;16999:6;16995:14;16988:40;16871:164;:::o;17041:366::-;17183:3;17204:67;17268:2;17263:3;17204:67;:::i;:::-;17197:74;;17280:93;17369:3;17280:93;:::i;:::-;17398:2;17393:3;17389:12;17382:19;;17041:366;;;:::o;17413:419::-;17579:4;17617:2;17606:9;17602:18;17594:26;;17666:9;17660:4;17656:20;17652:1;17641:9;17637:17;17630:47;17694:131;17820:4;17694:131;:::i;:::-;17686:139;;17413:419;;;:::o;17838:180::-;17886:77;17883:1;17876:88;17983:4;17980:1;17973:15;18007:4;18004:1;17997:15;18024:143;18081:5;18112:6;18106:13;18097:22;;18128:33;18155:5;18128:33;:::i;:::-;18024:143;;;;:::o;18173:351::-;18243:6;18292:2;18280:9;18271:7;18267:23;18263:32;18260:119;;;18298:79;;:::i;:::-;18260:119;18418:1;18443:64;18499:7;18490:6;18479:9;18475:22;18443:64;:::i;:::-;18433:74;;18389:128;18173:351;;;;:::o;18530:164::-;18670:16;18666:1;18658:6;18654:14;18647:40;18530:164;:::o;18700:366::-;18842:3;18863:67;18927:2;18922:3;18863:67;:::i;:::-;18856:74;;18939:93;19028:3;18939:93;:::i;:::-;19057:2;19052:3;19048:12;19041:19;;18700:366;;;:::o;19072:419::-;19238:4;19276:2;19265:9;19261:18;19253:26;;19325:9;19319:4;19315:20;19311:1;19300:9;19296:17;19289:47;19353:131;19479:4;19353:131;:::i;:::-;19345:139;;19072:419;;;:::o;19497:167::-;19637:19;19633:1;19625:6;19621:14;19614:43;19497:167;:::o;19670:366::-;19812:3;19833:67;19897:2;19892:3;19833:67;:::i;:::-;19826:74;;19909:93;19998:3;19909:93;:::i;:::-;20027:2;20022:3;20018:12;20011:19;;19670:366;;;:::o;20042:419::-;20208:4;20246:2;20235:9;20231:18;20223:26;;20295:9;20289:4;20285:20;20281:1;20270:9;20266:17;20259:47;20323:131;20449:4;20323:131;:::i;:::-;20315:139;;20042:419;;;:::o;20467:233::-;20506:3;20529:24;20547:5;20529:24;:::i;:::-;20520:33;;20575:66;20568:5;20565:77;20562:103;;20645:18;;:::i;:::-;20562:103;20692:1;20685:5;20681:13;20674:20;;20467:233;;;:::o;20706:410::-;20746:7;20769:20;20787:1;20769:20;:::i;:::-;20764:25;;20803:20;20821:1;20803:20;:::i;:::-;20798:25;;20858:1;20855;20851:9;20880:30;20898:11;20880:30;:::i;:::-;20869:41;;21059:1;21050:7;21046:15;21043:1;21040:22;21020:1;21013:9;20993:83;20970:139;;21089:18;;:::i;:::-;20970:139;20754:362;20706:410;;;;:::o;21122:147::-;21223:11;21260:3;21245:18;;21122:147;;;;:::o;21275:144::-;21327:4;21350:3;21342:11;;21373:3;21370:1;21363:14;21407:4;21404:1;21394:18;21386:26;;21275:144;;;:::o;21447:878::-;21552:3;21589:5;21583:12;21618:36;21644:9;21618:36;:::i;:::-;21670:88;21751:6;21746:3;21670:88;:::i;:::-;21663:95;;21789:1;21778:9;21774:17;21805:1;21800:166;;;;21980:1;21975:344;;;;21767:552;;21800:166;21884:4;21880:9;21869;21865:25;21860:3;21853:38;21946:6;21939:14;21932:22;21924:6;21920:35;21915:3;21911:45;21904:52;;21800:166;;21975:344;22042:41;22077:5;22042:41;:::i;:::-;22105:1;22119:154;22133:6;22130:1;22127:13;22119:154;;;22207:7;22201:14;22197:1;22192:3;22188:11;22181:35;22257:1;22248:7;22244:15;22233:26;;22155:4;22152:1;22148:12;22143:17;;22119:154;;;22302:6;22297:3;22293:16;22286:23;;21982:337;;21767:552;;21556:769;;21447:878;;;;:::o;22331:273::-;22462:3;22484:94;22574:3;22565:6;22484:94;:::i;:::-;22477:101;;22595:3;22588:10;;22331:273;;;;:::o;22610:664::-;22815:4;22853:3;22842:9;22838:19;22830:27;;22867:71;22935:1;22924:9;22920:17;22911:6;22867:71;:::i;:::-;22948:72;23016:2;23005:9;23001:18;22992:6;22948:72;:::i;:::-;23030;23098:2;23087:9;23083:18;23074:6;23030:72;:::i;:::-;23112;23180:2;23169:9;23165:18;23156:6;23112:72;:::i;:::-;23194:73;23262:3;23251:9;23247:19;23238:6;23194:73;:::i;:::-;22610:664;;;;;;;;:::o

ipfs://75714f935cef27dbf4172040a14540806f764a83bba18cb3ff189edd9e992df3