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 2025-06-14
*/

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

contract LawServiceToken {
    string public name = "Law Service Token";
    string public symbol = "LST";
    uint8 public decimals = 18;
    uint256 public totalSupply;

    address public owner;

    address public constant lockupWallet = 0x10aaEA5561002cF45DD48429f87683DCab6875a4; // 8억 락업 지갑 (예: Gnosis Safe)
    address public constant liquidityWallet = 0x47ee8d49AF8d263d17C46b0db6C3E2960c8C0660; // 2억 유동성 지갑

    uint256 public constant LOCKUP_AMOUNT = 800_000_000 * 10**18;
    uint256 public constant LIQUIDITY_AMOUNT = 200_000_000 * 10**18;

    mapping(address => uint256) private balances;
    mapping(address => mapping(address => uint256)) private allowances;

    event Transfer(address indexed from, address indexed to, uint256 value);
    event Approval(address indexed owner, address indexed spender, uint256 value);
    event Burn(address indexed burner, uint256 amount);
    event LockupAllocated(address indexed to, uint256 amount); // 🔔 락업 이벤트 추가

    constructor() {
        owner = msg.sender;
        totalSupply = LOCKUP_AMOUNT + LIQUIDITY_AMOUNT;

        balances[lockupWallet] = LOCKUP_AMOUNT;
        balances[liquidityWallet] = LIQUIDITY_AMOUNT;

        emit LockupAllocated(lockupWallet, LOCKUP_AMOUNT); // 🔔 락업 배정 이벤트 발생
        emit Transfer(address(0), lockupWallet, LOCKUP_AMOUNT);
        emit Transfer(address(0), liquidityWallet, LIQUIDITY_AMOUNT);
    }

    modifier onlyOwner() {
        require(msg.sender == owner, "Not owner");
        _;
    }

    function balanceOf(address account) public view returns (uint256) {
        return balances[account];
    }

    function transfer(address to, uint256 amount) public returns (bool) {
        require(balances[msg.sender] >= amount, "Insufficient balance");
        _transfer(msg.sender, to, amount);
        return true;
    }

    function approve(address spender, uint256 amount) public returns (bool) {
        allowances[msg.sender][spender] = amount;
        emit Approval(msg.sender, spender, amount);
        return true;
    }

    function allowance(address owner_, address spender) public view returns (uint256) {
        return allowances[owner_][spender];
    }

    function transferFrom(address from, address to, uint256 amount) public returns (bool) {
        require(allowances[from][msg.sender] >= amount, "Allowance exceeded");
        require(balances[from] >= amount, "Insufficient balance");
        allowances[from][msg.sender] -= amount;
        _transfer(from, to, amount);
        return true;
    }

    function _transfer(address from, address to, uint256 amount) internal {
        balances[from] -= amount;
        balances[to] += amount;
        emit Transfer(from, to, amount);
    }

    function burn(uint256 amount) public returns (bool) {
        require(balances[msg.sender] >= amount, "Insufficient balance to burn");
        balances[msg.sender] -= amount;
        totalSupply -= amount;
        emit Burn(msg.sender, amount);
        emit Transfer(msg.sender, address(0), amount);
        return true;
    }

    function transferOwnership(address newOwner) public onlyOwner {
        require(newOwner != address(0), "New owner cannot be zero address");
        owner = newOwner;
    }

    // === 감사 용도 함수 ===
    function getUserBalance(address user) public view onlyOwner returns (uint256) {
        return balances[user];
    }
}

• 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":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"burner","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"}],"name":"LockupAllocated","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"},{"inputs":[],"name":"LIQUIDITY_AMOUNT","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"LOCKUP_AMOUNT","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"owner_","type":"address"},{"internalType":"address","name":"spender","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":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"burn","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"stateMutability":"view","type":"function"},{"inputs":[{"internalType":"address","name":"user","type":"address"}],"name":"getUserBalance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"liquidityWallet","outputs":[{"internalType":"address","name":"","type":"address"}],"stateMutability":"view","type":"function"},{"inputs":[],"name":"lockupWallet","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":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"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":"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"},{"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"stateMutability":"nonpayable","type":"function"}]

60806040526040518060400160405280601181526020017f4c6177205365727669636520546f6b656e0000000000000000000000000000008152505f90816100479190610599565b506040518060400160405280600381526020017f4c535400000000000000000000000000000000000000000000000000000000008152506001908161008c9190610599565b50601260025f6101000a81548160ff021916908360ff1602179055503480156100b3575f5ffd5b503360045f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506aa56fa5b99019a5c80000006b0295be96e6406697200000006101179190610695565b6003819055506b0295be96e64066972000000060055f7310aaea5561002cf45dd48429f87683dcab6875a473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055506aa56fa5b99019a5c800000060055f7347ee8d49af8d263d17c46b0db6c3e2960c8c066073ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055507310aaea5561002cf45dd48429f87683dcab6875a473ffffffffffffffffffffffffffffffffffffffff167f4a272b681008f12996c59cc7db406422f7e596843e9771ba8db2ab014bff77a26b0295be96e64066972000000060405161024691906106d7565b60405180910390a27310aaea5561002cf45dd48429f87683dcab6875a473ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6b0295be96e6406697200000006040516102cb91906106d7565b60405180910390a37347ee8d49af8d263d17c46b0db6c3e2960c8c066073ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6aa56fa5b99019a5c800000060405161034f91906106d7565b60405180910390a36106f0565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f60028204905060018216806103d757607f821691505b6020821081036103ea576103e9610393565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f6008830261044c7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82610411565b6104568683610411565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f61049a6104956104908461046e565b610477565b61046e565b9050919050565b5f819050919050565b6104b383610480565b6104c76104bf826104a1565b84845461041d565b825550505050565b5f5f905090565b6104de6104cf565b6104e98184846104aa565b505050565b5b8181101561050c576105015f826104d6565b6001810190506104ef565b5050565b601f82111561055157610522816103f0565b61052b84610402565b8101602085101561053a578190505b61054e61054685610402565b8301826104ee565b50505b505050565b5f82821c905092915050565b5f6105715f1984600802610556565b1980831691505092915050565b5f6105898383610562565b9150826002028217905092915050565b6105a28261035c565b67ffffffffffffffff8111156105bb576105ba610366565b5b6105c582546103c0565b6105d0828285610510565b5f60209050601f831160018114610601575f84156105ef578287015190505b6105f9858261057e565b865550610660565b601f19841661060f866103f0565b5f5b8281101561063657848901518255600182019150602085019450602081019050610611565b86831015610653578489015161064f601f891682610562565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61069f8261046e565b91506106aa8361046e565b92508282019050808211156106c2576106c1610668565b5b92915050565b6106d18161046e565b82525050565b5f6020820190506106ea5f8301846106c8565b92915050565b61144a806106fd5f395ff3fe608060405234801561000f575f5ffd5b5060043610610109575f3560e01c806370a08231116100a0578063a9059cbb1161006f578063a9059cbb146102cf578063d4698016146102ff578063dd62ed3e1461031d578063f2fde38b1461034d578063f54162b91461036957610109565b806370a08231146102455780638918ac82146102755780638da5cb5b1461029357806395d89b41146102b157610109565b8063303e3799116100dc578063303e3799146101a9578063313ce567146101c757806342966c68146101e5578063477348921461021557610109565b806306fdde031461010d578063095ea7b31461012b57806318160ddd1461015b57806323b872dd14610179575b5f5ffd5b610115610387565b6040516101229190610e92565b60405180910390f35b61014560048036038101906101409190610f43565b610412565b6040516101529190610f9b565b60405180910390f35b6101636104ff565b6040516101709190610fc3565b60405180910390f35b610193600480360381019061018e9190610fdc565b610505565b6040516101a09190610f9b565b60405180910390f35b6101b16106e5565b6040516101be919061103b565b60405180910390f35b6101cf6106fd565b6040516101dc919061106f565b60405180910390f35b6101ff60048036038101906101fa9190611088565b61070f565b60405161020c9190610f9b565b60405180910390f35b61022f600480360381019061022a91906110b3565b6108b7565b60405161023c9190610fc3565b60405180910390f35b61025f600480360381019061025a91906110b3565b61098c565b60405161026c9190610fc3565b60405180910390f35b61027d6109d2565b60405161028a9190610fc3565b60405180910390f35b61029b6109e1565b6040516102a8919061103b565b60405180910390f35b6102b9610a06565b6040516102c69190610e92565b60405180910390f35b6102e960048036038101906102e49190610f43565b610a92565b6040516102f69190610f9b565b60405180910390f35b610307610b28565b604051610314919061103b565b60405180910390f35b610337600480360381019061033291906110de565b610b40565b6040516103449190610fc3565b60405180910390f35b610367600480360381019061036291906110b3565b610bc2565b005b610371610d02565b60405161037e9190610fc3565b60405180910390f35b5f805461039390611149565b80601f01602080910402602001604051908101604052809291908181526020018280546103bf90611149565b801561040a5780601f106103e15761010080835404028352916020019161040a565b820191905f5260205f20905b8154815290600101906020018083116103ed57829003601f168201915b505050505081565b5f8160065f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104ed9190610fc3565b60405180910390a36001905092915050565b60035481565b5f8160065f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156105c1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105b8906111c3565b60405180910390fd5b8160055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610641576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106389061122b565b60405180910390fd5b8160065f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546106c89190611276565b925050819055506106da848484610d12565b600190509392505050565b7310aaea5561002cf45dd48429f87683dcab6875a481565b60025f9054906101000a900460ff1681565b5f8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610790576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610787906112f3565b60405180910390fd5b8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107dc9190611276565b925050819055508160035f8282546107f49190611276565b925050819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040516108419190610fc3565b60405180910390a25f73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108a69190610fc3565b60405180910390a360019050919050565b5f60045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610947576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161093e9061135b565b60405180910390fd5b60055f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b5f60055f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6aa56fa5b99019a5c800000081565b60045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60018054610a1390611149565b80601f0160208091040260200160405190810160405280929190818152602001828054610a3f90611149565b8015610a8a5780601f10610a6157610100808354040283529160200191610a8a565b820191905f5260205f20905b815481529060010190602001808311610a6d57829003601f168201915b505050505081565b5f8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610b13576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b0a9061122b565b60405180910390fd5b610b1e338484610d12565b6001905092915050565b7347ee8d49af8d263d17c46b0db6c3e2960c8c066081565b5f60065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b60045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610c51576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c489061135b565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610cbf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cb6906113c3565b60405180910390fd5b8060045f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6b0295be96e64066972000000081565b8060055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610d5e9190611276565b925050819055508060055f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610db191906113e1565b925050819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610e159190610fc3565b60405180910390a3505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610e6482610e22565b610e6e8185610e2c565b9350610e7e818560208601610e3c565b610e8781610e4a565b840191505092915050565b5f6020820190508181035f830152610eaa8184610e5a565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610edf82610eb6565b9050919050565b610eef81610ed5565b8114610ef9575f5ffd5b50565b5f81359050610f0a81610ee6565b92915050565b5f819050919050565b610f2281610f10565b8114610f2c575f5ffd5b50565b5f81359050610f3d81610f19565b92915050565b5f5f60408385031215610f5957610f58610eb2565b5b5f610f6685828601610efc565b9250506020610f7785828601610f2f565b9150509250929050565b5f8115159050919050565b610f9581610f81565b82525050565b5f602082019050610fae5f830184610f8c565b92915050565b610fbd81610f10565b82525050565b5f602082019050610fd65f830184610fb4565b92915050565b5f5f5f60608486031215610ff357610ff2610eb2565b5b5f61100086828701610efc565b935050602061101186828701610efc565b925050604061102286828701610f2f565b9150509250925092565b61103581610ed5565b82525050565b5f60208201905061104e5f83018461102c565b92915050565b5f60ff82169050919050565b61106981611054565b82525050565b5f6020820190506110825f830184611060565b92915050565b5f6020828403121561109d5761109c610eb2565b5b5f6110aa84828501610f2f565b91505092915050565b5f602082840312156110c8576110c7610eb2565b5b5f6110d584828501610efc565b91505092915050565b5f5f604083850312156110f4576110f3610eb2565b5b5f61110185828601610efc565b925050602061111285828601610efc565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061116057607f821691505b6020821081036111735761117261111c565b5b50919050565b7f416c6c6f77616e636520657863656564656400000000000000000000000000005f82015250565b5f6111ad601283610e2c565b91506111b882611179565b602082019050919050565b5f6020820190508181035f8301526111da816111a1565b9050919050565b7f496e73756666696369656e742062616c616e63650000000000000000000000005f82015250565b5f611215601483610e2c565b9150611220826111e1565b602082019050919050565b5f6020820190508181035f83015261124281611209565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61128082610f10565b915061128b83610f10565b92508282039050818111156112a3576112a2611249565b5b92915050565b7f496e73756666696369656e742062616c616e636520746f206275726e000000005f82015250565b5f6112dd601c83610e2c565b91506112e8826112a9565b602082019050919050565b5f6020820190508181035f83015261130a816112d1565b9050919050565b7f4e6f74206f776e657200000000000000000000000000000000000000000000005f82015250565b5f611345600983610e2c565b915061135082611311565b602082019050919050565b5f6020820190508181035f83015261137281611339565b9050919050565b7f4e6577206f776e65722063616e6e6f74206265207a65726f20616464726573735f82015250565b5f6113ad602083610e2c565b91506113b882611379565b602082019050919050565b5f6020820190508181035f8301526113da816113a1565b9050919050565b5f6113eb82610f10565b91506113f683610f10565b925082820190508082111561140e5761140d611249565b5b9291505056fea2646970667358221220d0daa961f34d62a543ed2ca7582d48b37091664f8f9b67ff5e75775e64f2e02664736f6c634300081e0033

0x608060405234801561000f575f5ffd5b5060043610610109575f3560e01c806370a08231116100a0578063a9059cbb1161006f578063a9059cbb146102cf578063d4698016146102ff578063dd62ed3e1461031d578063f2fde38b1461034d578063f54162b91461036957610109565b806370a08231146102455780638918ac82146102755780638da5cb5b1461029357806395d89b41146102b157610109565b8063303e3799116100dc578063303e3799146101a9578063313ce567146101c757806342966c68146101e5578063477348921461021557610109565b806306fdde031461010d578063095ea7b31461012b57806318160ddd1461015b57806323b872dd14610179575b5f5ffd5b610115610387565b6040516101229190610e92565b60405180910390f35b61014560048036038101906101409190610f43565b610412565b6040516101529190610f9b565b60405180910390f35b6101636104ff565b6040516101709190610fc3565b60405180910390f35b610193600480360381019061018e9190610fdc565b610505565b6040516101a09190610f9b565b60405180910390f35b6101b16106e5565b6040516101be919061103b565b60405180910390f35b6101cf6106fd565b6040516101dc919061106f565b60405180910390f35b6101ff60048036038101906101fa9190611088565b61070f565b60405161020c9190610f9b565b60405180910390f35b61022f600480360381019061022a91906110b3565b6108b7565b60405161023c9190610fc3565b60405180910390f35b61025f600480360381019061025a91906110b3565b61098c565b60405161026c9190610fc3565b60405180910390f35b61027d6109d2565b60405161028a9190610fc3565b60405180910390f35b61029b6109e1565b6040516102a8919061103b565b60405180910390f35b6102b9610a06565b6040516102c69190610e92565b60405180910390f35b6102e960048036038101906102e49190610f43565b610a92565b6040516102f69190610f9b565b60405180910390f35b610307610b28565b604051610314919061103b565b60405180910390f35b610337600480360381019061033291906110de565b610b40565b6040516103449190610fc3565b60405180910390f35b610367600480360381019061036291906110b3565b610bc2565b005b610371610d02565b60405161037e9190610fc3565b60405180910390f35b5f805461039390611149565b80601f01602080910402602001604051908101604052809291908181526020018280546103bf90611149565b801561040a5780601f106103e15761010080835404028352916020019161040a565b820191905f5260205f20905b8154815290600101906020018083116103ed57829003601f168201915b505050505081565b5f8160065f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040516104ed9190610fc3565b60405180910390a36001905092915050565b60035481565b5f8160065f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205410156105c1576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105b8906111c3565b60405180910390fd5b8160055f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610641576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016106389061122b565b60405180910390fd5b8160065f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546106c89190611276565b925050819055506106da848484610d12565b600190509392505050565b7310aaea5561002cf45dd48429f87683dcab6875a481565b60025f9054906101000a900460ff1681565b5f8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610790576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610787906112f3565b60405180910390fd5b8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546107dc9190611276565b925050819055508160035f8282546107f49190611276565b925050819055503373ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5836040516108419190610fc3565b60405180910390a25f73ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040516108a69190610fc3565b60405180910390a360019050919050565b5f60045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610947576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161093e9061135b565b60405180910390fd5b60055f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b5f60055f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6aa56fa5b99019a5c800000081565b60045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60018054610a1390611149565b80601f0160208091040260200160405190810160405280929190818152602001828054610a3f90611149565b8015610a8a5780601f10610a6157610100808354040283529160200191610a8a565b820191905f5260205f20905b815481529060010190602001808311610a6d57829003601f168201915b505050505081565b5f8160055f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20541015610b13576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610b0a9061122b565b60405180910390fd5b610b1e338484610d12565b6001905092915050565b7347ee8d49af8d263d17c46b0db6c3e2960c8c066081565b5f60065f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b60045f9054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610c51576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c489061135b565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1603610cbf576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610cb6906113c3565b60405180910390fd5b8060045f6101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6b0295be96e64066972000000081565b8060055f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610d5e9190611276565b925050819055508060055f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f828254610db191906113e1565b925050819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef83604051610e159190610fc3565b60405180910390a3505050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f610e6482610e22565b610e6e8185610e2c565b9350610e7e818560208601610e3c565b610e8781610e4a565b840191505092915050565b5f6020820190508181035f830152610eaa8184610e5a565b905092915050565b5f5ffd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610edf82610eb6565b9050919050565b610eef81610ed5565b8114610ef9575f5ffd5b50565b5f81359050610f0a81610ee6565b92915050565b5f819050919050565b610f2281610f10565b8114610f2c575f5ffd5b50565b5f81359050610f3d81610f19565b92915050565b5f5f60408385031215610f5957610f58610eb2565b5b5f610f6685828601610efc565b9250506020610f7785828601610f2f565b9150509250929050565b5f8115159050919050565b610f9581610f81565b82525050565b5f602082019050610fae5f830184610f8c565b92915050565b610fbd81610f10565b82525050565b5f602082019050610fd65f830184610fb4565b92915050565b5f5f5f60608486031215610ff357610ff2610eb2565b5b5f61100086828701610efc565b935050602061101186828701610efc565b925050604061102286828701610f2f565b9150509250925092565b61103581610ed5565b82525050565b5f60208201905061104e5f83018461102c565b92915050565b5f60ff82169050919050565b61106981611054565b82525050565b5f6020820190506110825f830184611060565b92915050565b5f6020828403121561109d5761109c610eb2565b5b5f6110aa84828501610f2f565b91505092915050565b5f602082840312156110c8576110c7610eb2565b5b5f6110d584828501610efc565b91505092915050565b5f5f604083850312156110f4576110f3610eb2565b5b5f61110185828601610efc565b925050602061111285828601610efc565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f600282049050600182168061116057607f821691505b6020821081036111735761117261111c565b5b50919050565b7f416c6c6f77616e636520657863656564656400000000000000000000000000005f82015250565b5f6111ad601283610e2c565b91506111b882611179565b602082019050919050565b5f6020820190508181035f8301526111da816111a1565b9050919050565b7f496e73756666696369656e742062616c616e63650000000000000000000000005f82015250565b5f611215601483610e2c565b9150611220826111e1565b602082019050919050565b5f6020820190508181035f83015261124281611209565b9050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f61128082610f10565b915061128b83610f10565b92508282039050818111156112a3576112a2611249565b5b92915050565b7f496e73756666696369656e742062616c616e636520746f206275726e000000005f82015250565b5f6112dd601c83610e2c565b91506112e8826112a9565b602082019050919050565b5f6020820190508181035f83015261130a816112d1565b9050919050565b7f4e6f74206f776e657200000000000000000000000000000000000000000000005f82015250565b5f611345600983610e2c565b915061135082611311565b602082019050919050565b5f6020820190508181035f83015261137281611339565b9050919050565b7f4e6577206f776e65722063616e6e6f74206265207a65726f20616464726573735f82015250565b5f6113ad602083610e2c565b91506113b882611379565b602082019050919050565b5f6020820190508181035f8301526113da816113a1565b9050919050565b5f6113eb82610f10565b91506113f683610f10565b925082820190508082111561140e5761140d611249565b5b9291505056fea2646970667358221220d0daa961f34d62a543ed2ca7582d48b37091664f8f9b67ff5e75775e64f2e02664736f6c634300081e0033

61:3535:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;93:40;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2002:206;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;208:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2359:351;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;272:81;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;175:26;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2914:333;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3475:118;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1661:109;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;586:63;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;243:20;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;140:28;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1778:216;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;401:84;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;2216:135;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;3255:175;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;519:60;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;93:40;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;2002:206::-;2068:4;2119:6;2085:10;:22;2096:10;2085:22;;;;;;;;;;;;;;;:31;2108:7;2085:31;;;;;;;;;;;;;;;:40;;;;2162:7;2141:37;;2150:10;2141:37;;;2171:6;2141:37;;;;;;:::i;:::-;;;;;;;;2196:4;2189:11;;2002:206;;;;:::o;208:26::-;;;;:::o;2359:351::-;2439:4;2496:6;2464:10;:16;2475:4;2464:16;;;;;;;;;;;;;;;:28;2481:10;2464:28;;;;;;;;;;;;;;;;:38;;2456:69;;;;;;;;;;;;:::i;:::-;;;;;;;;;2562:6;2544:8;:14;2553:4;2544:14;;;;;;;;;;;;;;;;:24;;2536:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;2636:6;2604:10;:16;2615:4;2604:16;;;;;;;;;;;;;;;:28;2621:10;2604:28;;;;;;;;;;;;;;;;:38;;;;;;;:::i;:::-;;;;;;;;2653:27;2663:4;2669:2;2673:6;2653:9;:27::i;:::-;2698:4;2691:11;;2359:351;;;;;:::o;272:81::-;311:42;272:81;:::o;175:26::-;;;;;;;;;;;;;:::o;2914:333::-;2960:4;3009:6;2985:8;:20;2994:10;2985:20;;;;;;;;;;;;;;;;:30;;2977:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;3083:6;3059:8;:20;3068:10;3059:20;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;3115:6;3100:11;;:21;;;;;;;:::i;:::-;;;;;;;;3142:10;3137:24;;;3154:6;3137:24;;;;;;:::i;:::-;;;;;;;;3206:1;3177:40;;3186:10;3177:40;;;3210:6;3177:40;;;;;;:::i;:::-;;;;;;;;3235:4;3228:11;;2914:333;;;:::o;3475:118::-;3544:7;1614:5;;;;;;;;;;;1600:19;;:10;:19;;;1592:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;3571:8:::1;:14;3580:4;3571:14;;;;;;;;;;;;;;;;3564:21;;3475:118:::0;;;:::o;1661:109::-;1718:7;1745:8;:17;1754:7;1745:17;;;;;;;;;;;;;;;;1738:24;;1661:109;;;:::o;586:63::-;629:20;586:63;:::o;243:20::-;;;;;;;;;;;;;:::o;140:28::-;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;1778:216::-;1840:4;1889:6;1865:8;:20;1874:10;1865:20;;;;;;;;;;;;;;;;:30;;1857:63;;;;;;;;;;;;:::i;:::-;;;;;;;;;1931:33;1941:10;1953:2;1957:6;1931:9;:33::i;:::-;1982:4;1975:11;;1778:216;;;;:::o;401:84::-;443:42;401:84;:::o;2216:135::-;2289:7;2316:10;:18;2327:6;2316:18;;;;;;;;;;;;;;;:27;2335:7;2316:27;;;;;;;;;;;;;;;;2309:34;;2216:135;;;;:::o;3255:175::-;1614:5;;;;;;;;;;;1600:19;;:10;:19;;;1592:41;;;;;;;;;;;;:::i;:::-;;;;;;;;;3356:1:::1;3336:22;;:8;:22;;::::0;3328:67:::1;;;;;;;;;;;;:::i;:::-;;;;;;;;;3414:8;3406:5;;:16;;;;;;;;;;;;;;;;;;3255:175:::0;:::o;519:60::-;559:20;519:60;:::o;2718:188::-;2817:6;2799:8;:14;2808:4;2799:14;;;;;;;;;;;;;;;;:24;;;;;;;:::i;:::-;;;;;;;;2850:6;2834:8;:12;2843:2;2834:12;;;;;;;;;;;;;;;;:22;;;;;;;:::i;:::-;;;;;;;;2887:2;2872:26;;2881:4;2872:26;;;2891:6;2872:26;;;;;;:::i;:::-;;;;;;;;2718:188;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:139::-;376:6;371:3;366;360:23;417:1;408:6;403:3;399:16;392:27;287:139;;;:::o;432:102::-;473:6;524:2;520:7;515:2;508:5;504:14;500:28;490:38;;432:102;;;:::o;540:377::-;628:3;656:39;689:5;656:39;:::i;:::-;711:71;775:6;770:3;711:71;:::i;:::-;704:78;;791:65;849:6;844:3;837:4;830:5;826:16;791:65;:::i;:::-;881:29;903:6;881:29;:::i;:::-;876:3;872:39;865:46;;632:285;540:377;;;;:::o;923:313::-;1036:4;1074:2;1063:9;1059:18;1051:26;;1123:9;1117:4;1113:20;1109:1;1098:9;1094:17;1087:47;1151:78;1224:4;1215:6;1151:78;:::i;:::-;1143:86;;923:313;;;;:::o;1323:117::-;1432:1;1429;1422:12;1569:126;1606:7;1646:42;1639:5;1635:54;1624:65;;1569:126;;;:::o;1701:96::-;1738:7;1767:24;1785:5;1767:24;:::i;:::-;1756:35;;1701:96;;;:::o;1803:122::-;1876:24;1894:5;1876:24;:::i;:::-;1869:5;1866:35;1856:63;;1915:1;1912;1905:12;1856:63;1803:122;:::o;1931:139::-;1977:5;2015:6;2002:20;1993:29;;2031:33;2058:5;2031:33;:::i;:::-;1931:139;;;;:::o;2076:77::-;2113:7;2142:5;2131:16;;2076:77;;;:::o;2159:122::-;2232:24;2250:5;2232:24;:::i;:::-;2225:5;2222:35;2212:63;;2271:1;2268;2261:12;2212:63;2159:122;:::o;2287:139::-;2333:5;2371:6;2358:20;2349:29;;2387:33;2414:5;2387:33;:::i;:::-;2287:139;;;;:::o;2432:474::-;2500:6;2508;2557:2;2545:9;2536:7;2532:23;2528:32;2525:119;;;2563:79;;:::i;:::-;2525:119;2683:1;2708:53;2753:7;2744:6;2733:9;2729:22;2708:53;:::i;:::-;2698:63;;2654:117;2810:2;2836:53;2881:7;2872:6;2861:9;2857:22;2836:53;:::i;:::-;2826:63;;2781:118;2432:474;;;;;:::o;2912:90::-;2946:7;2989:5;2982:13;2975:21;2964:32;;2912:90;;;:::o;3008:109::-;3089:21;3104:5;3089:21;:::i;:::-;3084:3;3077:34;3008:109;;:::o;3123:210::-;3210:4;3248:2;3237:9;3233:18;3225:26;;3261:65;3323:1;3312:9;3308:17;3299:6;3261:65;:::i;:::-;3123:210;;;;:::o;3339:118::-;3426:24;3444:5;3426:24;:::i;:::-;3421:3;3414:37;3339:118;;:::o;3463:222::-;3556:4;3594:2;3583:9;3579:18;3571:26;;3607:71;3675:1;3664:9;3660:17;3651:6;3607:71;:::i;:::-;3463:222;;;;:::o;3691:619::-;3768:6;3776;3784;3833:2;3821:9;3812:7;3808:23;3804:32;3801:119;;;3839:79;;:::i;:::-;3801:119;3959:1;3984:53;4029:7;4020:6;4009:9;4005:22;3984:53;:::i;:::-;3974:63;;3930:117;4086:2;4112:53;4157:7;4148:6;4137:9;4133:22;4112:53;:::i;:::-;4102:63;;4057:118;4214:2;4240:53;4285:7;4276:6;4265:9;4261:22;4240:53;:::i;:::-;4230:63;;4185:118;3691:619;;;;;:::o;4316:118::-;4403:24;4421:5;4403:24;:::i;:::-;4398:3;4391:37;4316:118;;:::o;4440:222::-;4533:4;4571:2;4560:9;4556:18;4548:26;;4584:71;4652:1;4641:9;4637:17;4628:6;4584:71;:::i;:::-;4440:222;;;;:::o;4668:86::-;4703:7;4743:4;4736:5;4732:16;4721:27;;4668:86;;;:::o;4760:112::-;4843:22;4859:5;4843:22;:::i;:::-;4838:3;4831:35;4760:112;;:::o;4878:214::-;4967:4;5005:2;4994:9;4990:18;4982:26;;5018:67;5082:1;5071:9;5067:17;5058:6;5018:67;:::i;:::-;4878:214;;;;:::o;5098:329::-;5157:6;5206:2;5194:9;5185:7;5181:23;5177:32;5174:119;;;5212:79;;:::i;:::-;5174:119;5332:1;5357:53;5402:7;5393:6;5382:9;5378:22;5357:53;:::i;:::-;5347:63;;5303:117;5098:329;;;;:::o;5433:::-;5492:6;5541:2;5529:9;5520:7;5516:23;5512:32;5509:119;;;5547:79;;:::i;:::-;5509:119;5667:1;5692:53;5737:7;5728:6;5717:9;5713:22;5692:53;:::i;:::-;5682:63;;5638:117;5433:329;;;;:::o;5768:474::-;5836:6;5844;5893:2;5881:9;5872:7;5868:23;5864:32;5861:119;;;5899:79;;:::i;:::-;5861:119;6019:1;6044:53;6089:7;6080:6;6069:9;6065:22;6044:53;:::i;:::-;6034:63;;5990:117;6146:2;6172:53;6217:7;6208:6;6197:9;6193:22;6172:53;:::i;:::-;6162:63;;6117:118;5768:474;;;;;:::o;6248:180::-;6296:77;6293:1;6286:88;6393:4;6390:1;6383:15;6417:4;6414:1;6407:15;6434:320;6478:6;6515:1;6509:4;6505:12;6495:22;;6562:1;6556:4;6552:12;6583:18;6573:81;;6639:4;6631:6;6627:17;6617:27;;6573:81;6701:2;6693:6;6690:14;6670:18;6667:38;6664:84;;6720:18;;:::i;:::-;6664:84;6485:269;6434:320;;;:::o;6760:168::-;6900:20;6896:1;6888:6;6884:14;6877:44;6760:168;:::o;6934:366::-;7076:3;7097:67;7161:2;7156:3;7097:67;:::i;:::-;7090:74;;7173:93;7262:3;7173:93;:::i;:::-;7291:2;7286:3;7282:12;7275:19;;6934:366;;;:::o;7306:419::-;7472:4;7510:2;7499:9;7495:18;7487:26;;7559:9;7553:4;7549:20;7545:1;7534:9;7530:17;7523:47;7587:131;7713:4;7587:131;:::i;:::-;7579:139;;7306:419;;;:::o;7731:170::-;7871:22;7867:1;7859:6;7855:14;7848:46;7731:170;:::o;7907:366::-;8049:3;8070:67;8134:2;8129:3;8070:67;:::i;:::-;8063:74;;8146:93;8235:3;8146:93;:::i;:::-;8264:2;8259:3;8255:12;8248:19;;7907:366;;;:::o;8279:419::-;8445:4;8483:2;8472:9;8468:18;8460:26;;8532:9;8526:4;8522:20;8518:1;8507:9;8503:17;8496:47;8560:131;8686:4;8560:131;:::i;:::-;8552:139;;8279:419;;;:::o;8704:180::-;8752:77;8749:1;8742:88;8849:4;8846:1;8839:15;8873:4;8870:1;8863:15;8890:194;8930:4;8950:20;8968:1;8950:20;:::i;:::-;8945:25;;8984:20;9002:1;8984:20;:::i;:::-;8979:25;;9028:1;9025;9021:9;9013:17;;9052:1;9046:4;9043:11;9040:37;;;9057:18;;:::i;:::-;9040:37;8890:194;;;;:::o;9090:178::-;9230:30;9226:1;9218:6;9214:14;9207:54;9090:178;:::o;9274:366::-;9416:3;9437:67;9501:2;9496:3;9437:67;:::i;:::-;9430:74;;9513:93;9602:3;9513:93;:::i;:::-;9631:2;9626:3;9622:12;9615:19;;9274:366;;;:::o;9646:419::-;9812:4;9850:2;9839:9;9835:18;9827:26;;9899:9;9893:4;9889:20;9885:1;9874:9;9870:17;9863:47;9927:131;10053:4;9927:131;:::i;:::-;9919:139;;9646:419;;;:::o;10071:159::-;10211:11;10207:1;10199:6;10195:14;10188:35;10071:159;:::o;10236:365::-;10378:3;10399:66;10463:1;10458:3;10399:66;:::i;:::-;10392:73;;10474:93;10563:3;10474:93;:::i;:::-;10592:2;10587:3;10583:12;10576:19;;10236:365;;;:::o;10607:419::-;10773:4;10811:2;10800:9;10796:18;10788:26;;10860:9;10854:4;10850:20;10846:1;10835:9;10831:17;10824:47;10888:131;11014:4;10888:131;:::i;:::-;10880:139;;10607:419;;;:::o;11032:182::-;11172:34;11168:1;11160:6;11156:14;11149:58;11032:182;:::o;11220:366::-;11362:3;11383:67;11447:2;11442:3;11383:67;:::i;:::-;11376:74;;11459:93;11548:3;11459:93;:::i;:::-;11577:2;11572:3;11568:12;11561:19;;11220:366;;;:::o;11592:419::-;11758:4;11796:2;11785:9;11781:18;11773:26;;11845:9;11839:4;11835:20;11831:1;11820:9;11816:17;11809:47;11873:131;11999:4;11873:131;:::i;:::-;11865:139;;11592:419;;;:::o;12017:191::-;12057:3;12076:20;12094:1;12076:20;:::i;:::-;12071:25;;12110:20;12128:1;12110:20;:::i;:::-;12105:25;;12153:1;12150;12146:9;12139:16;;12174:3;12171:1;12168:10;12165:36;;;12181:18;;:::i;:::-;12165:36;12017:191;;;;:::o

ipfs://d0daa961f34d62a543ed2ca7582d48b37091664f8f9b67ff5e75775e64f2e026