Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2026-01-16
*/

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

/**
 * @title JamesBurvelOCallaghanChain_jocall3
 * @author James Burvel O'Callaghan III (jocall3)
 * @notice The World's First Liquidated Global Currency.
 * @dev Hard-coded for US Reserve Balance: $2,810,051,568,197.06
 */
contract SovereignGlobalWealthChain {
    // Token Metadata
    string public name = "jocall3";
    string public symbol = "JOC3";
    uint8 public decimals = 18;
    
    // The exact count of cents from the Modern Treasury Ledger
    // 281,005,156,819,706 cents = $2,810,051,568,197.06
    uint256 public constant LEDGER_RESERVE = 281005156819706;
    
    address public magistrate;
    uint256 public totalSupply;
    
    mapping(address => uint256) public balanceOf;
    mapping(address => uint256) public liquidVault; // Real ETH balance
    mapping(address => mapping(address => uint256)) public allowance;

    event Transfer(address indexed from, address indexed to, uint256 value);
    event Deposit(address indexed sender, uint256 amount);
    event Withdrawal(address indexed to, uint256 amount);

    modifier onlyMagistrate() {
        require(msg.sender == magistrate, "Access Denied: Not the President");
        _;
    }

    constructor() {
        magistrate = msg.sender;
        
        // GENESIS MINT: 
        // We mint the hard-coded ledger amount into tokens (with 18 decimals)
        // This makes the $2.81 Trillion liquid on-chain immediately.
        uint256 genesisSupply = LEDGER_RESERVE * 10**uint256(decimals);
        totalSupply = genesisSupply;
        balanceOf[msg.sender] = genesisSupply;

        emit Transfer(address(0), msg.sender, genesisSupply);
    }

    // --- LIQUIDITY ENGINE (ETH HANDLING) ---

    /**
     * @dev Pay the gas here. The contract accepts any ETH sent.
     */
    receive() external payable {
        liquidVault[msg.sender] += msg.value;
        emit Deposit(msg.sender, msg.value);
    }

    function depositFunds() public payable {
        liquidVault[msg.sender] += msg.value;
        emit Deposit(msg.sender, msg.value);
    }

    /**
     * @dev Pull your ETH/Gas back to MetaMask.
     */
    function withdrawFunds(uint256 _amount) public {
        require(liquidVault[msg.sender] >= _amount, "Insufficient liquid balance");
        liquidVault[msg.sender] -= _amount;
        (bool success, ) = payable(msg.sender).call{value: _amount}("");
        require(success, "Withdrawal failed");
        emit Withdrawal(msg.sender, _amount);
    }

    // --- JOCALL3 TOKEN LOGIC ---

    function transfer(address _to, uint256 _value) public returns (bool success) {
        require(balanceOf[msg.sender] >= _value, "Insufficient JOC3 balance");
        balanceOf[msg.sender] -= _value;
        balanceOf[_to] += _value;
        emit Transfer(msg.sender, _to, _value);
        return true;
    }

    function approve(address _spender, uint256 _value) public returns (bool success) {
        allowance[msg.sender][_spender] = _value;
        return true;
    }

    function transferFrom(address _from, address _to, uint256 _value) public returns (bool success) {
        require(_value <= balanceOf[_from], "Insufficient balance");
        require(_value <= allowance[_from][msg.sender], "Allowance exceeded");
        balanceOf[_from] -= _value;
        balanceOf[_to] += _value;
        allowance[_from][msg.sender] -= _value;
        emit Transfer(_from, _to, _value);
        return true;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Deposit","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":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Withdrawal","type":"event"},{"inputs":[],"name":"LEDGER_RESERVE","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"},{"internalType":"address","name":"","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"_spender","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"success","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":"depositFunds","outputs":[],"stateMutability":"payable","type":"function"},{"inputs":[{"internalType":"address","name":"","type":"address"}],"name":"liquidVault","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"magistrate","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"stateMutability":"view","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":"_value","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"_from","type":"address"},{"internalType":"address","name":"_to","type":"address"},{"internalType":"uint256","name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"success","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"withdrawFunds","outputs":[],"stateMutability":"nonpayable","type":"function"},{"stateMutability":"payable","type":"receive"}]

60806040526040518060400160405280600781526020017f6a6f63616c6c33000000000000000000000000000000000000000000000000008152505f90816100479190610418565b506040518060400160405280600481526020017f4a4f4333000000000000000000000000000000000000000000000000000000008152506001908161008c9190610418565b50601260025f6101000a81548160ff021916908360ff1602179055503480156100b3575f5ffd5b5033600260016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505f60025f9054906101000a900460ff1660ff16600a6101149190610643565b65ff929c8d62fa610125919061068d565b9050806003819055508060045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055503373ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516101cd91906106dd565b60405180910390a3506106f6565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061025657607f821691505b60208210810361026957610268610212565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026102cb7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82610290565b6102d58683610290565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f61031961031461030f846102ed565b6102f6565b6102ed565b9050919050565b5f819050919050565b610332836102ff565b61034661033e82610320565b84845461029c565b825550505050565b5f5f905090565b61035d61034e565b610368818484610329565b505050565b5b8181101561038b576103805f82610355565b60018101905061036e565b5050565b601f8211156103d0576103a18161026f565b6103aa84610281565b810160208510156103b9578190505b6103cd6103c585610281565b83018261036d565b50505b505050565b5f82821c905092915050565b5f6103f05f19846008026103d5565b1980831691505092915050565b5f61040883836103e1565b9150826002028217905092915050565b610421826101db565b67ffffffffffffffff81111561043a576104396101e5565b5b610444825461023f565b61044f82828561038f565b5f60209050601f831160018114610480575f841561046e578287015190505b61047885826103fd565b8655506104df565b601f19841661048e8661026f565b5f5b828110156104b557848901518255600182019150602085019450602081019050610490565b868310156104d257848901516104ce601f8916826103e1565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f5f8291508390505b600185111561056957808604811115610545576105446104e7565b5b60018516156105545780820291505b808102905061056285610514565b9450610529565b94509492505050565b5f82610581576001905061063c565b8161058e575f905061063c565b81600181146105a457600281146105ae576105dd565b600191505061063c565b60ff8411156105c0576105bf6104e7565b5b8360020a9150848211156105d7576105d66104e7565b5b5061063c565b5060208310610133831016604e8410600b84101617156106125782820a90508381111561060d5761060c6104e7565b5b61063c565b61061f8484846001610520565b92509050818404811115610636576106356104e7565b5b81810290505b9392505050565b5f61064d826102ed565b9150610658836102ed565b92506106857fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484610572565b905092915050565b5f610697826102ed565b91506106a2836102ed565b92508282026106b0816102ed565b915082820484148315176106c7576106c66104e7565b5b5092915050565b6106d7816102ed565b82525050565b5f6020820190506106f05f8301846106ce565b92915050565b6113a2806107035f395ff3fe6080604052600436106100e0575f3560e01c806370a082311161007e578063dd62ed3e11610058578063dd62ed3e14610376578063de516a7c146103b2578063e2c41dbc146103ee578063ff1237d2146103f857610188565b806370a08231146102d457806395d89b4114610310578063a9059cbb1461033a57610188565b806318160ddd116100ba57806318160ddd1461021a57806323b872dd14610244578063313ce5671461028057806345e6efa1146102aa57610188565b806306fdde031461018c578063095ea7b3146101b6578063155dd5ee146101f257610188565b36610188573460055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546101319190610d6f565b925050819055503373ffffffffffffffffffffffffffffffffffffffff167fe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c3460405161017e9190610db1565b60405180910390a2005b5f5ffd5b348015610197575f5ffd5b506101a0610422565b6040516101ad9190610e3a565b60405180910390f35b3480156101c1575f5ffd5b506101dc60048036038101906101d79190610ee2565b6104ad565b6040516101e99190610f3a565b60405180910390f35b3480156101fd575f5ffd5b5061021860048036038101906102139190610f53565b610535565b005b348015610225575f5ffd5b5061022e610702565b60405161023b9190610db1565b60405180910390f35b34801561024f575f5ffd5b5061026a60048036038101906102659190610f7e565b610708565b6040516102779190610f3a565b60405180910390f35b34801561028b575f5ffd5b506102946109e8565b6040516102a19190610fe9565b60405180910390f35b3480156102b5575f5ffd5b506102be6109fa565b6040516102cb9190611011565b60405180910390f35b3480156102df575f5ffd5b506102fa60048036038101906102f5919061102a565b610a20565b6040516103079190610db1565b60405180910390f35b34801561031b575f5ffd5b50610324610a35565b6040516103319190610e3a565b60405180910390f35b348015610345575f5ffd5b50610360600480360381019061035b9190610ee2565b610ac1565b60405161036d9190610f3a565b60405180910390f35b348015610381575f5ffd5b5061039c60048036038101906103979190611055565b610c57565b6040516103a99190610db1565b60405180910390f35b3480156103bd575f5ffd5b506103d860048036038101906103d3919061102a565b610c77565b6040516103e59190610db1565b60405180910390f35b6103f6610c8c565b005b348015610403575f5ffd5b5061040c610d2f565b6040516104199190610db1565b60405180910390f35b5f805461042e906110c0565b80601f016020809104026020016040519081016040528092919081815260200182805461045a906110c0565b80156104a55780601f1061047c576101008083540402835291602001916104a5565b820191905f5260205f20905b81548152906001019060200180831161048857829003601f168201915b505050505081565b5f8160065f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055506001905092915050565b8060055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156105b5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ac9061113a565b60405180910390fd5b8060055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546106019190611158565b925050819055505f3373ffffffffffffffffffffffffffffffffffffffff168260405161062d906111b8565b5f6040518083038185875af1925050503d805f8114610667576040519150601f19603f3d011682016040523d82523d5f602084013e61066c565b606091505b50509050806106b0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106a790611216565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff167f7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65836040516106f69190610db1565b60405180910390a25050565b60035481565b5f60045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054821115610789576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107809061127e565b60405180910390fd5b60065f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054821115610844576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161083b906112e6565b60405180910390fd5b8160045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546108909190611158565b925050819055508160045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546108e39190610d6f565b925050819055508160065f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546109719190611158565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516109d59190610db1565b60405180910390a3600190509392505050565b60025f9054906101000a900460ff1681565b600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6004602052805f5260405f205f915090505481565b60018054610a42906110c0565b80601f0160208091040260200160405190810160405280929190818152602001828054610a6e906110c0565b8015610ab95780601f10610a9057610100808354040283529160200191610ab9565b820191905f5260205f20905b815481529060010190602001808311610a9c57829003601f168201915b505050505081565b5f8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610b42576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b399061134e565b60405180910390fd5b8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610b8e9190611158565b925050819055508160045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610be19190610d6f565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610c459190610db1565b60405180910390a36001905092915050565b6006602052815f5260405f20602052805f5260405f205f91509150505481565b6005602052805f5260405f205f915090505481565b3460055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610cd89190610d6f565b925050819055503373ffffffffffffffffffffffffffffffffffffffff167fe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c34604051610d259190610db1565b60405180910390a2565b65ff929c8d62fa81565b5f819050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f610d7982610d39565b9150610d8483610d39565b9250828201905080821115610d9c57610d9b610d42565b5b92915050565b610dab81610d39565b82525050565b5f602082019050610dc45f830184610da2565b92915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610e0c82610dca565b610e168185610dd4565b9350610e26818560208601610de4565b610e2f81610df2565b840191505092915050565b5f6020820190508181035f830152610e528184610e02565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610e8782610e5e565b9050919050565b610e9781610e7d565b8114610ea1575f5ffd5b50565b5f81359050610eb281610e8e565b92915050565b610ec181610d39565b8114610ecb575f5ffd5b50565b5f81359050610edc81610eb8565b92915050565b5f5f60408385031215610ef857610ef7610e5a565b5b5f610f0585828601610ea4565b9250506020610f1685828601610ece565b9150509250929050565b5f8115159050919050565b610f3481610f20565b82525050565b5f602082019050610f4d5f830184610f2b565b92915050565b5f60208284031215610f6857610f67610e5a565b5b5f610f7584828501610ece565b91505092915050565b5f5f5f60608486031215610f9557610f94610e5a565b5b5f610fa286828701610ea4565b9350506020610fb386828701610ea4565b9250506040610fc486828701610ece565b9150509250925092565b5f60ff82169050919050565b610fe381610fce565b82525050565b5f602082019050610ffc5f830184610fda565b92915050565b61100b81610e7d565b82525050565b5f6020820190506110245f830184611002565b92915050565b5f6020828403121561103f5761103e610e5a565b5b5f61104c84828501610ea4565b91505092915050565b5f5f6040838503121561106b5761106a610e5a565b5b5f61107885828601610ea4565b925050602061108985828601610ea4565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806110d757607f821691505b6020821081036110ea576110e9611093565b5b50919050565b7f496e73756666696369656e74206c69717569642062616c616e636500000000005f82015250565b5f611124601b83610dd4565b915061112f826110f0565b602082019050919050565b5f6020820190508181035f83015261115181611118565b9050919050565b5f61116282610d39565b915061116d83610d39565b925082820390508181111561118557611184610d42565b5b92915050565b5f81905092915050565b50565b5f6111a35f8361118b565b91506111ae82611195565b5f82019050919050565b5f6111c282611198565b9150819050919050565b7f5769746864726177616c206661696c65640000000000000000000000000000005f82015250565b5f611200601183610dd4565b915061120b826111cc565b602082019050919050565b5f6020820190508181035f83015261122d816111f4565b9050919050565b7f496e73756666696369656e742062616c616e63650000000000000000000000005f82015250565b5f611268601483610dd4565b915061127382611234565b602082019050919050565b5f6020820190508181035f8301526112958161125c565b9050919050565b7f416c6c6f77616e636520657863656564656400000000000000000000000000005f82015250565b5f6112d0601283610dd4565b91506112db8261129c565b602082019050919050565b5f6020820190508181035f8301526112fd816112c4565b9050919050565b7f496e73756666696369656e74204a4f43332062616c616e6365000000000000005f82015250565b5f611338601983610dd4565b915061134382611304565b602082019050919050565b5f6020820190508181035f8301526113658161132c565b905091905056fea26469706673582212204f317f9efbfbab5f1e1cf2575dfafcebe0534a3d901ba2f8460256ee568540e664736f6c634300081f0033

0x6080604052600436106100e0575f3560e01c806370a082311161007e578063dd62ed3e11610058578063dd62ed3e14610376578063de516a7c146103b2578063e2c41dbc146103ee578063ff1237d2146103f857610188565b806370a08231146102d457806395d89b4114610310578063a9059cbb1461033a57610188565b806318160ddd116100ba57806318160ddd1461021a57806323b872dd14610244578063313ce5671461028057806345e6efa1146102aa57610188565b806306fdde031461018c578063095ea7b3146101b6578063155dd5ee146101f257610188565b36610188573460055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546101319190610d6f565b925050819055503373ffffffffffffffffffffffffffffffffffffffff167fe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c3460405161017e9190610db1565b60405180910390a2005b5f5ffd5b348015610197575f5ffd5b506101a0610422565b6040516101ad9190610e3a565b60405180910390f35b3480156101c1575f5ffd5b506101dc60048036038101906101d79190610ee2565b6104ad565b6040516101e99190610f3a565b60405180910390f35b3480156101fd575f5ffd5b5061021860048036038101906102139190610f53565b610535565b005b348015610225575f5ffd5b5061022e610702565b60405161023b9190610db1565b60405180910390f35b34801561024f575f5ffd5b5061026a60048036038101906102659190610f7e565b610708565b6040516102779190610f3a565b60405180910390f35b34801561028b575f5ffd5b506102946109e8565b6040516102a19190610fe9565b60405180910390f35b3480156102b5575f5ffd5b506102be6109fa565b6040516102cb9190611011565b60405180910390f35b3480156102df575f5ffd5b506102fa60048036038101906102f5919061102a565b610a20565b6040516103079190610db1565b60405180910390f35b34801561031b575f5ffd5b50610324610a35565b6040516103319190610e3a565b60405180910390f35b348015610345575f5ffd5b50610360600480360381019061035b9190610ee2565b610ac1565b60405161036d9190610f3a565b60405180910390f35b348015610381575f5ffd5b5061039c60048036038101906103979190611055565b610c57565b6040516103a99190610db1565b60405180910390f35b3480156103bd575f5ffd5b506103d860048036038101906103d3919061102a565b610c77565b6040516103e59190610db1565b60405180910390f35b6103f6610c8c565b005b348015610403575f5ffd5b5061040c610d2f565b6040516104199190610db1565b60405180910390f35b5f805461042e906110c0565b80601f016020809104026020016040519081016040528092919081815260200182805461045a906110c0565b80156104a55780601f1061047c576101008083540402835291602001916104a5565b820191905f5260205f20905b81548152906001019060200180831161048857829003601f168201915b505050505081565b5f8160065f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055506001905092915050565b8060055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156105b5576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105ac9061113a565b60405180910390fd5b8060055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546106019190611158565b925050819055505f3373ffffffffffffffffffffffffffffffffffffffff168260405161062d906111b8565b5f6040518083038185875af1925050503d805f8114610667576040519150601f19603f3d011682016040523d82523d5f602084013e61066c565b606091505b50509050806106b0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106a790611216565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff167f7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65836040516106f69190610db1565b60405180910390a25050565b60035481565b5f60045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054821115610789576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107809061127e565b60405180910390fd5b60065f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054821115610844576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161083b906112e6565b60405180910390fd5b8160045f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546108909190611158565b925050819055508160045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546108e39190610d6f565b925050819055508160065f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546109719190611158565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516109d59190610db1565b60405180910390a3600190509392505050565b60025f9054906101000a900460ff1681565b600260019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6004602052805f5260405f205f915090505481565b60018054610a42906110c0565b80601f0160208091040260200160405190810160405280929190818152602001828054610a6e906110c0565b8015610ab95780601f10610a9057610100808354040283529160200191610ab9565b820191905f5260205f20905b815481529060010190602001808311610a9c57829003601f168201915b505050505081565b5f8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610b42576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b399061134e565b60405180910390fd5b8160045f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610b8e9190611158565b925050819055508160045f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610be19190610d6f565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610c459190610db1565b60405180910390a36001905092915050565b6006602052815f5260405f20602052805f5260405f205f91509150505481565b6005602052805f5260405f205f915090505481565b3460055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610cd89190610d6f565b925050819055503373ffffffffffffffffffffffffffffffffffffffff167fe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c34604051610d259190610db1565b60405180910390a2565b65ff929c8d62fa81565b5f819050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f610d7982610d39565b9150610d8483610d39565b9250828201905080821115610d9c57610d9b610d42565b5b92915050565b610dab81610d39565b82525050565b5f602082019050610dc45f830184610da2565b92915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610e0c82610dca565b610e168185610dd4565b9350610e26818560208601610de4565b610e2f81610df2565b840191505092915050565b5f6020820190508181035f830152610e528184610e02565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610e8782610e5e565b9050919050565b610e9781610e7d565b8114610ea1575f5ffd5b50565b5f81359050610eb281610e8e565b92915050565b610ec181610d39565b8114610ecb575f5ffd5b50565b5f81359050610edc81610eb8565b92915050565b5f5f60408385031215610ef857610ef7610e5a565b5b5f610f0585828601610ea4565b9250506020610f1685828601610ece565b9150509250929050565b5f8115159050919050565b610f3481610f20565b82525050565b5f602082019050610f4d5f830184610f2b565b92915050565b5f60208284031215610f6857610f67610e5a565b5b5f610f7584828501610ece565b91505092915050565b5f5f5f60608486031215610f9557610f94610e5a565b5b5f610fa286828701610ea4565b9350506020610fb386828701610ea4565b9250506040610fc486828701610ece565b9150509250925092565b5f60ff82169050919050565b610fe381610fce565b82525050565b5f602082019050610ffc5f830184610fda565b92915050565b61100b81610e7d565b82525050565b5f6020820190506110245f830184611002565b92915050565b5f6020828403121561103f5761103e610e5a565b5b5f61104c84828501610ea4565b91505092915050565b5f5f6040838503121561106b5761106a610e5a565b5b5f61107885828601610ea4565b925050602061108985828601610ea4565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806110d757607f821691505b6020821081036110ea576110e9611093565b5b50919050565b7f496e73756666696369656e74206c69717569642062616c616e636500000000005f82015250565b5f611124601b83610dd4565b915061112f826110f0565b602082019050919050565b5f6020820190508181035f83015261115181611118565b9050919050565b5f61116282610d39565b915061116d83610d39565b925082820390508181111561118557611184610d42565b5b92915050565b5f81905092915050565b50565b5f6111a35f8361118b565b91506111ae82611195565b5f82019050919050565b5f6111c282611198565b9150819050919050565b7f5769746864726177616c206661696c65640000000000000000000000000000005f82015250565b5f611200601183610dd4565b915061120b826111cc565b602082019050919050565b5f6020820190508181035f83015261122d816111f4565b9050919050565b7f496e73756666696369656e742062616c616e63650000000000000000000000005f82015250565b5f611268601483610dd4565b915061127382611234565b602082019050919050565b5f6020820190508181035f8301526112958161125c565b9050919050565b7f416c6c6f77616e636520657863656564656400000000000000000000000000005f82015250565b5f6112d0601283610dd4565b91506112db8261129c565b602082019050919050565b5f6020820190508181035f8301526112fd816112c4565b9050919050565b7f496e73756666696369656e74204a4f43332062616c616e6365000000000000005f82015250565b5f611338601983610dd4565b915061134382611304565b602082019050919050565b5f6020820190508181035f8301526113658161132c565b905091905056fea26469706673582212204f317f9efbfbab5f1e1cf2575dfafcebe0534a3d901ba2f8460256ee568540e664736f6c634300081f0033

292:3267:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1938:9;1911:11;:23;1923:10;1911:23;;;;;;;;;;;;;;;;:36;;;;;;;:::i;:::-;;;;;;;;1971:10;1963:30;;;1983:9;1963:30;;;;;;:::i;:::-;;;;;;;;292:3267;;;;;358:30;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2945:162;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2224:354;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;694:26;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3115:441;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;431:26;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;662:25;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;733:44;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;395:29;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2624:313;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;857:64;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;784:46;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2009:140;;;:::i;:::-;;593:56;;;;;;;;;;;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;358:30;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2945:162::-;3012:12;3071:6;3037:9;:21;3047:10;3037:21;;;;;;;;;;;;;;;:31;3059:8;3037:31;;;;;;;;;;;;;;;:40;;;;3095:4;3088:11;;2945:162;;;;:::o;2224:354::-;2317:7;2290:11;:23;2302:10;2290:23;;;;;;;;;;;;;;;;:34;;2282:74;;;;;;;;;;;;:::i;:::-;;;;;;;;;2394:7;2367:11;:23;2379:10;2367:23;;;;;;;;;;;;;;;;:34;;;;;;;:::i;:::-;;;;;;;;2413:12;2439:10;2431:24;;2463:7;2431:44;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2412:63;;;2494:7;2486:37;;;;;;;;;;;;:::i;:::-;;;;;;;;;2550:10;2539:31;;;2562:7;2539:31;;;;;;:::i;:::-;;;;;;;;2271:307;2224:354;:::o;694:26::-;;;;:::o;3115:441::-;3197:12;3240:9;:16;3250:5;3240:16;;;;;;;;;;;;;;;;3230:6;:26;;3222:59;;;;;;;;;;;;:::i;:::-;;;;;;;;;3310:9;:16;3320:5;3310:16;;;;;;;;;;;;;;;:28;3327:10;3310:28;;;;;;;;;;;;;;;;3300:6;:38;;3292:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;3392:6;3372:9;:16;3382:5;3372:16;;;;;;;;;;;;;;;;:26;;;;;;;:::i;:::-;;;;;;;;3427:6;3409:9;:14;3419:3;3409:14;;;;;;;;;;;;;;;;:24;;;;;;;:::i;:::-;;;;;;;;3476:6;3444:9;:16;3454:5;3444:16;;;;;;;;;;;;;;;:28;3461:10;3444:28;;;;;;;;;;;;;;;;:38;;;;;;;:::i;:::-;;;;;;;;3514:3;3498:28;;3507:5;3498:28;;;3519:6;3498:28;;;;;;:::i;:::-;;;;;;;;3544:4;3537:11;;3115:441;;;;;:::o;431:26::-;;;;;;;;;;;;;:::o;662:25::-;;;;;;;;;;;;;:::o;733:44::-;;;;;;;;;;;;;;;;;:::o;395:29::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2624:313::-;2687:12;2745:6;2720:9;:21;2730:10;2720:21;;;;;;;;;;;;;;;;:31;;2712:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;2817:6;2792:9;:21;2802:10;2792:21;;;;;;;;;;;;;;;;:31;;;;;;;:::i;:::-;;;;;;;;2852:6;2834:9;:14;2844:3;2834:14;;;;;;;;;;;;;;;;:24;;;;;;;:::i;:::-;;;;;;;;2895:3;2874:33;;2883:10;2874:33;;;2900:6;2874:33;;;;;;:::i;:::-;;;;;;;;2925:4;2918:11;;2624:313;;;;:::o;857:64::-;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;784:46::-;;;;;;;;;;;;;;;;;:::o;2009:140::-;2086:9;2059:11;:23;2071:10;2059:23;;;;;;;;;;;;;;;;:36;;;;;;;:::i;:::-;;;;;;;;2119:10;2111:30;;;2131:9;2111:30;;;;;;:::i;:::-;;;;;;;;2009:140::o;593:56::-;634:15;593:56;:::o;7:77:1:-;44:7;73:5;62:16;;7:77;;;:::o;90:180::-;138:77;135:1;128:88;235:4;232:1;225:15;259:4;256:1;249:15;276:191;316:3;335:20;353:1;335:20;:::i;:::-;330:25;;369:20;387:1;369:20;:::i;:::-;364:25;;412:1;409;405:9;398:16;;433:3;430:1;427:10;424:36;;;440:18;;:::i;:::-;424:36;276:191;;;;:::o;473:118::-;560:24;578:5;560:24;:::i;:::-;555:3;548:37;473:118;;:::o;597:222::-;690:4;728:2;717:9;713:18;705:26;;741:71;809:1;798:9;794:17;785:6;741:71;:::i;:::-;597:222;;;;:::o;825:99::-;877:6;911:5;905:12;895:22;;825:99;;;:::o;930:169::-;1014:11;1048:6;1043:3;1036:19;1088:4;1083:3;1079:14;1064:29;;930:169;;;;:::o;1105:139::-;1194:6;1189:3;1184;1178:23;1235:1;1226:6;1221:3;1217:16;1210:27;1105:139;;;:::o;1250:102::-;1291:6;1342:2;1338:7;1333:2;1326:5;1322:14;1318:28;1308:38;;1250:102;;;:::o;1358:377::-;1446:3;1474:39;1507:5;1474:39;:::i;:::-;1529:71;1593:6;1588:3;1529:71;:::i;:::-;1522:78;;1609:65;1667:6;1662:3;1655:4;1648:5;1644:16;1609:65;:::i;:::-;1699:29;1721:6;1699:29;:::i;:::-;1694:3;1690:39;1683:46;;1450:285;1358:377;;;;:::o;1741:313::-;1854:4;1892:2;1881:9;1877:18;1869:26;;1941:9;1935:4;1931:20;1927:1;1916:9;1912:17;1905:47;1969:78;2042:4;2033:6;1969:78;:::i;:::-;1961:86;;1741:313;;;;:::o;2141:117::-;2250:1;2247;2240:12;2387:126;2424:7;2464:42;2457:5;2453:54;2442:65;;2387:126;;;:::o;2519:96::-;2556:7;2585:24;2603:5;2585:24;:::i;:::-;2574:35;;2519:96;;;:::o;2621:122::-;2694:24;2712:5;2694:24;:::i;:::-;2687:5;2684:35;2674:63;;2733:1;2730;2723:12;2674:63;2621:122;:::o;2749:139::-;2795:5;2833:6;2820:20;2811:29;;2849:33;2876:5;2849:33;:::i;:::-;2749:139;;;;:::o;2894:122::-;2967:24;2985:5;2967:24;:::i;:::-;2960:5;2957:35;2947:63;;3006:1;3003;2996:12;2947:63;2894:122;:::o;3022:139::-;3068:5;3106:6;3093:20;3084:29;;3122:33;3149:5;3122:33;:::i;:::-;3022:139;;;;:::o;3167:474::-;3235:6;3243;3292:2;3280:9;3271:7;3267:23;3263:32;3260:119;;;3298:79;;:::i;:::-;3260:119;3418:1;3443:53;3488:7;3479:6;3468:9;3464:22;3443:53;:::i;:::-;3433:63;;3389:117;3545:2;3571:53;3616:7;3607:6;3596:9;3592:22;3571:53;:::i;:::-;3561:63;;3516:118;3167:474;;;;;:::o;3647:90::-;3681:7;3724:5;3717:13;3710:21;3699:32;;3647:90;;;:::o;3743:109::-;3824:21;3839:5;3824:21;:::i;:::-;3819:3;3812:34;3743:109;;:::o;3858:210::-;3945:4;3983:2;3972:9;3968:18;3960:26;;3996:65;4058:1;4047:9;4043:17;4034:6;3996:65;:::i;:::-;3858:210;;;;:::o;4074:329::-;4133:6;4182:2;4170:9;4161:7;4157:23;4153:32;4150:119;;;4188:79;;:::i;:::-;4150:119;4308:1;4333:53;4378:7;4369:6;4358:9;4354:22;4333:53;:::i;:::-;4323:63;;4279:117;4074:329;;;;:::o;4409:619::-;4486:6;4494;4502;4551:2;4539:9;4530:7;4526:23;4522:32;4519:119;;;4557:79;;:::i;:::-;4519:119;4677:1;4702:53;4747:7;4738:6;4727:9;4723:22;4702:53;:::i;:::-;4692:63;;4648:117;4804:2;4830:53;4875:7;4866:6;4855:9;4851:22;4830:53;:::i;:::-;4820:63;;4775:118;4932:2;4958:53;5003:7;4994:6;4983:9;4979:22;4958:53;:::i;:::-;4948:63;;4903:118;4409:619;;;;;:::o;5034:86::-;5069:7;5109:4;5102:5;5098:16;5087:27;;5034:86;;;:::o;5126:112::-;5209:22;5225:5;5209:22;:::i;:::-;5204:3;5197:35;5126:112;;:::o;5244:214::-;5333:4;5371:2;5360:9;5356:18;5348:26;;5384:67;5448:1;5437:9;5433:17;5424:6;5384:67;:::i;:::-;5244:214;;;;:::o;5464:118::-;5551:24;5569:5;5551:24;:::i;:::-;5546:3;5539:37;5464:118;;:::o;5588:222::-;5681:4;5719:2;5708:9;5704:18;5696:26;;5732:71;5800:1;5789:9;5785:17;5776:6;5732:71;:::i;:::-;5588:222;;;;:::o;5816:329::-;5875:6;5924:2;5912:9;5903:7;5899:23;5895:32;5892:119;;;5930:79;;:::i;:::-;5892:119;6050:1;6075:53;6120:7;6111:6;6100:9;6096:22;6075:53;:::i;:::-;6065:63;;6021:117;5816:329;;;;:::o;6151:474::-;6219:6;6227;6276:2;6264:9;6255:7;6251:23;6247:32;6244:119;;;6282:79;;:::i;:::-;6244:119;6402:1;6427:53;6472:7;6463:6;6452:9;6448:22;6427:53;:::i;:::-;6417:63;;6373:117;6529:2;6555:53;6600:7;6591:6;6580:9;6576:22;6555:53;:::i;:::-;6545:63;;6500:118;6151:474;;;;;:::o;6631:180::-;6679:77;6676:1;6669:88;6776:4;6773:1;6766:15;6800:4;6797:1;6790:15;6817:320;6861:6;6898:1;6892:4;6888:12;6878:22;;6945:1;6939:4;6935:12;6966:18;6956:81;;7022:4;7014:6;7010:17;7000:27;;6956:81;7084:2;7076:6;7073:14;7053:18;7050:38;7047:84;;7103:18;;:::i;:::-;7047:84;6868:269;6817:320;;;:::o;7143:177::-;7283:29;7279:1;7271:6;7267:14;7260:53;7143:177;:::o;7326:366::-;7468:3;7489:67;7553:2;7548:3;7489:67;:::i;:::-;7482:74;;7565:93;7654:3;7565:93;:::i;:::-;7683:2;7678:3;7674:12;7667:19;;7326:366;;;:::o;7698:419::-;7864:4;7902:2;7891:9;7887:18;7879:26;;7951:9;7945:4;7941:20;7937:1;7926:9;7922:17;7915:47;7979:131;8105:4;7979:131;:::i;:::-;7971:139;;7698:419;;;:::o;8123:194::-;8163:4;8183:20;8201:1;8183:20;:::i;:::-;8178:25;;8217:20;8235:1;8217:20;:::i;:::-;8212:25;;8261:1;8258;8254:9;8246:17;;8285:1;8279:4;8276:11;8273:37;;;8290:18;;:::i;:::-;8273:37;8123:194;;;;:::o;8323:147::-;8424:11;8461:3;8446:18;;8323:147;;;;:::o;8476:114::-;;:::o;8596:398::-;8755:3;8776:83;8857:1;8852:3;8776:83;:::i;:::-;8769:90;;8868:93;8957:3;8868:93;:::i;:::-;8986:1;8981:3;8977:11;8970:18;;8596:398;;;:::o;9000:379::-;9184:3;9206:147;9349:3;9206:147;:::i;:::-;9199:154;;9370:3;9363:10;;9000:379;;;:::o;9385:167::-;9525:19;9521:1;9513:6;9509:14;9502:43;9385:167;:::o;9558:366::-;9700:3;9721:67;9785:2;9780:3;9721:67;:::i;:::-;9714:74;;9797:93;9886:3;9797:93;:::i;:::-;9915:2;9910:3;9906:12;9899:19;;9558:366;;;:::o;9930:419::-;10096:4;10134:2;10123:9;10119:18;10111:26;;10183:9;10177:4;10173:20;10169:1;10158:9;10154:17;10147:47;10211:131;10337:4;10211:131;:::i;:::-;10203:139;;9930:419;;;:::o;10355:170::-;10495:22;10491:1;10483:6;10479:14;10472:46;10355:170;:::o;10531:366::-;10673:3;10694:67;10758:2;10753:3;10694:67;:::i;:::-;10687:74;;10770:93;10859:3;10770:93;:::i;:::-;10888:2;10883:3;10879:12;10872:19;;10531:366;;;:::o;10903:419::-;11069:4;11107:2;11096:9;11092:18;11084:26;;11156:9;11150:4;11146:20;11142:1;11131:9;11127:17;11120:47;11184:131;11310:4;11184:131;:::i;:::-;11176:139;;10903:419;;;:::o;11328:168::-;11468:20;11464:1;11456:6;11452:14;11445:44;11328:168;:::o;11502:366::-;11644:3;11665:67;11729:2;11724:3;11665:67;:::i;:::-;11658:74;;11741:93;11830:3;11741:93;:::i;:::-;11859:2;11854:3;11850:12;11843:19;;11502:366;;;:::o;11874:419::-;12040:4;12078:2;12067:9;12063:18;12055:26;;12127:9;12121:4;12117:20;12113:1;12102:9;12098:17;12091:47;12155:131;12281:4;12155:131;:::i;:::-;12147:139;;11874:419;;;:::o;12299:175::-;12439:27;12435:1;12427:6;12423:14;12416:51;12299:175;:::o;12480:366::-;12622:3;12643:67;12707:2;12702:3;12643:67;:::i;:::-;12636:74;;12719:93;12808:3;12719:93;:::i;:::-;12837:2;12832:3;12828:12;12821:19;;12480:366;;;:::o;12852:419::-;13018:4;13056:2;13045:9;13041:18;13033:26;;13105:9;13099:4;13095:20;13091:1;13080:9;13076:17;13069:47;13133:131;13259:4;13133:131;:::i;:::-;13125:139;;12852:419;;;:::o

ipfs://4f317f9efbfbab5f1e1cf2575dfafcebe0534a3d901ba2f8460256ee568540e6