Contract Source Code (Solidity)

IDE

• Blockscan IDE

Outline

•  contract LuizCoin *
•    - function name()
•    - function symbol()
•    - function decimals()
•    - function totalSupply()
•    - function balanceOf(address owner)
•    - function transfer(address to, uint256 ...
•    - function allowance(address _owner, ad ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address from, a ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2024-11-01
*/

//SPDX-License-Identifier: MIT

pragma solidity ^0.8.26;

contract LuizCoin {
    
    string private constant _name = "LuizCoin";
    string private constant _symbol = "LUC";
    uint8 private constant _decimals = 18;
    uint256 private constant _totalSupply = 10000 * 10 ** _decimals;

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

    constructor() {
        _balances[msg.sender] = _totalSupply;
    }

    function name() public view returns (string memory) {
        return _name;
    }

    function symbol() public view returns (string memory) {
        return _symbol;
    }

    function decimals() public view returns (uint8) {
        return _decimals;
    }

    function totalSupply() public view returns (uint) {
        return _totalSupply;
    }

    function balanceOf(address owner) public view returns (uint256) {
        return _balances[owner];
    }

    function transfer(address to, uint256 value) public returns (bool) {
        require(balanceOf(msg.sender) >= value, "Insuficient balance");
        _balances[msg.sender] -= value;
        _balances[to] += value;
        emit Transfer(msg.sender, to, value);
        return true;
    }

    function allowance(address _owner, address _spender) public view returns (uint256){
        return _allowances[_owner][_spender];
    }

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

    function transferFrom(address from, address to, uint256 value) public returns (bool) {
        require(balanceOf(from) >= value, "Insufficient balance");
        require(allowance(from, msg.sender) >= value, "Insufficient allowance");
        
        _allowances[from][msg.sender] -= value;
        _balances[from] -= value;
        _balances[to] += value;
        
        emit Transfer(from, to, value);
        return true;
    }
}

[{"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":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"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":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"},{"inputs":[{"internalType":"address","name":"owner","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":[],"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":"","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":"","type":"bool"}],"stateMutability":"nonpayable","type":"function"}]

608060405234801561000f575f80fd5b506012600a61001e91906101e1565b61271061002b919061022b565b5f803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f208190555061026c565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b60018511156100f2578086048111156100ce576100cd610070565b5b60018516156100dd5780820291505b80810290506100eb8561009d565b94506100b2565b94509492505050565b5f8261010a57600190506101c5565b81610117575f90506101c5565b816001811461012d576002811461013757610166565b60019150506101c5565b60ff84111561014957610148610070565b5b8360020a9150848211156101605761015f610070565b5b506101c5565b5060208310610133831016604e8410600b841016171561019b5782820a90508381111561019657610195610070565b5b6101c5565b6101a884848460016100a9565b925090508184048111156101bf576101be610070565b5b81810290505b9392505050565b5f819050919050565b5f60ff82169050919050565b5f6101eb826101cc565b91506101f6836101d5565b92506102237fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84846100fb565b905092915050565b5f610235826101cc565b9150610240836101cc565b925082820261024e816101cc565b9150828204841483151761026557610264610070565b5b5092915050565b610e4f806102795f395ff3fe608060405234801561000f575f80fd5b5060043610610091575f3560e01c8063313ce56711610064578063313ce5671461013157806370a082311461014f57806395d89b411461017f578063a9059cbb1461019d578063dd62ed3e146101cd57610091565b806306fdde0314610095578063095ea7b3146100b357806318160ddd146100e357806323b872dd14610101575b5f80fd5b61009d6101fd565b6040516100aa919061085d565b60405180910390f35b6100cd60048036038101906100c8919061090e565b61023a565b6040516100da9190610966565b60405180910390f35b6100eb610327565b6040516100f8919061098e565b60405180910390f35b61011b600480360381019061011691906109a7565b610348565b6040516101289190610966565b60405180910390f35b610139610582565b6040516101469190610a12565b60405180910390f35b61016960048036038101906101649190610a2b565b61058a565b604051610176919061098e565b60405180910390f35b6101876105cf565b604051610194919061085d565b60405180910390f35b6101b760048036038101906101b2919061090e565b61060c565b6040516101c49190610966565b60405180910390f35b6101e760048036038101906101e29190610a56565b61076b565b6040516101f4919061098e565b60405180910390f35b60606040518060400160405280600881526020017f4c75697a436f696e000000000000000000000000000000000000000000000000815250905090565b5f8160015f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92584604051610315919061098e565b60405180910390a36001905092915050565b5f6012600a6103369190610bf0565b6127106103439190610c3a565b905090565b5f816103538561058a565b1015610394576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161038b90610cc5565b60405180910390fd5b8161039f853361076b565b10156103e0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103d790610d2d565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546104679190610d4b565b92505081905550815f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546104b99190610d4b565b92505081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461050b9190610d7e565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161056f919061098e565b60405180910390a3600190509392505050565b5f6012905090565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b60606040518060400160405280600381526020017f4c55430000000000000000000000000000000000000000000000000000000000815250905090565b5f816106173361058a565b1015610658576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161064f90610dfb565b60405180910390fd5b815f803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546106a39190610d4b565b92505081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546106f59190610d7e565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610759919061098e565b60405180910390a36001905092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f61082f826107ed565b61083981856107f7565b9350610849818560208601610807565b61085281610815565b840191505092915050565b5f6020820190508181035f8301526108758184610825565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6108aa82610881565b9050919050565b6108ba816108a0565b81146108c4575f80fd5b50565b5f813590506108d5816108b1565b92915050565b5f819050919050565b6108ed816108db565b81146108f7575f80fd5b50565b5f81359050610908816108e4565b92915050565b5f80604083850312156109245761092361087d565b5b5f610931858286016108c7565b9250506020610942858286016108fa565b9150509250929050565b5f8115159050919050565b6109608161094c565b82525050565b5f6020820190506109795f830184610957565b92915050565b610988816108db565b82525050565b5f6020820190506109a15f83018461097f565b92915050565b5f805f606084860312156109be576109bd61087d565b5b5f6109cb868287016108c7565b93505060206109dc868287016108c7565b92505060406109ed868287016108fa565b9150509250925092565b5f60ff82169050919050565b610a0c816109f7565b82525050565b5f602082019050610a255f830184610a03565b92915050565b5f60208284031215610a4057610a3f61087d565b5b5f610a4d848285016108c7565b91505092915050565b5f8060408385031215610a6c57610a6b61087d565b5b5f610a79858286016108c7565b9250506020610a8a858286016108c7565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b6001851115610b1657808604811115610af257610af1610a94565b5b6001851615610b015780820291505b8081029050610b0f85610ac1565b9450610ad6565b94509492505050565b5f82610b2e5760019050610be9565b81610b3b575f9050610be9565b8160018114610b515760028114610b5b57610b8a565b6001915050610be9565b60ff841115610b6d57610b6c610a94565b5b8360020a915084821115610b8457610b83610a94565b5b50610be9565b5060208310610133831016604e8410600b8410161715610bbf5782820a905083811115610bba57610bb9610a94565b5b610be9565b610bcc8484846001610acd565b92509050818404811115610be357610be2610a94565b5b81810290505b9392505050565b5f610bfa826108db565b9150610c05836109f7565b9250610c327fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484610b1f565b905092915050565b5f610c44826108db565b9150610c4f836108db565b9250828202610c5d816108db565b91508282048414831517610c7457610c73610a94565b5b5092915050565b7f496e73756666696369656e742062616c616e63650000000000000000000000005f82015250565b5f610caf6014836107f7565b9150610cba82610c7b565b602082019050919050565b5f6020820190508181035f830152610cdc81610ca3565b9050919050565b7f496e73756666696369656e7420616c6c6f77616e6365000000000000000000005f82015250565b5f610d176016836107f7565b9150610d2282610ce3565b602082019050919050565b5f6020820190508181035f830152610d4481610d0b565b9050919050565b5f610d55826108db565b9150610d60836108db565b9250828203905081811115610d7857610d77610a94565b5b92915050565b5f610d88826108db565b9150610d93836108db565b9250828201905080821115610dab57610daa610a94565b5b92915050565b7f496e737566696369656e742062616c616e6365000000000000000000000000005f82015250565b5f610de56013836107f7565b9150610df082610db1565b602082019050919050565b5f6020820190508181035f830152610e1281610dd9565b905091905056fea2646970667358221220c52adb10dc3e0d1ea879ca92a3185ce1e91b6b5f3a6bb11fcb0f5018390a42dd64736f6c634300081a0033

0x608060405234801561000f575f80fd5b5060043610610091575f3560e01c8063313ce56711610064578063313ce5671461013157806370a082311461014f57806395d89b411461017f578063a9059cbb1461019d578063dd62ed3e146101cd57610091565b806306fdde0314610095578063095ea7b3146100b357806318160ddd146100e357806323b872dd14610101575b5f80fd5b61009d6101fd565b6040516100aa919061085d565b60405180910390f35b6100cd60048036038101906100c8919061090e565b61023a565b6040516100da9190610966565b60405180910390f35b6100eb610327565b6040516100f8919061098e565b60405180910390f35b61011b600480360381019061011691906109a7565b610348565b6040516101289190610966565b60405180910390f35b610139610582565b6040516101469190610a12565b60405180910390f35b61016960048036038101906101649190610a2b565b61058a565b604051610176919061098e565b60405180910390f35b6101876105cf565b604051610194919061085d565b60405180910390f35b6101b760048036038101906101b2919061090e565b61060c565b6040516101c49190610966565b60405180910390f35b6101e760048036038101906101e29190610a56565b61076b565b6040516101f4919061098e565b60405180910390f35b60606040518060400160405280600881526020017f4c75697a436f696e000000000000000000000000000000000000000000000000815250905090565b5f8160015f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b92584604051610315919061098e565b60405180910390a36001905092915050565b5f6012600a6103369190610bf0565b6127106103439190610c3a565b905090565b5f816103538561058a565b1015610394576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161038b90610cc5565b60405180910390fd5b8161039f853361076b565b10156103e0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016103d790610d2d565b60405180910390fd5b8160015f8673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f3373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546104679190610d4b565b92505081905550815f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546104b99190610d4b565b92505081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825461050b9190610d7e565b925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef8460405161056f919061098e565b60405180910390a3600190509392505050565b5f6012905090565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b60606040518060400160405280600381526020017f4c55430000000000000000000000000000000000000000000000000000000000815250905090565b5f816106173361058a565b1015610658576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161064f90610dfb565b60405180910390fd5b815f803373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546106a39190610d4b565b92505081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8282546106f59190610d7e565b925050819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610759919061098e565b60405180910390a36001905092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b5f81519050919050565b5f82825260208201905092915050565b8281835e5f83830152505050565b5f601f19601f8301169050919050565b5f61082f826107ed565b61083981856107f7565b9350610849818560208601610807565b61085281610815565b840191505092915050565b5f6020820190508181035f8301526108758184610825565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f6108aa82610881565b9050919050565b6108ba816108a0565b81146108c4575f80fd5b50565b5f813590506108d5816108b1565b92915050565b5f819050919050565b6108ed816108db565b81146108f7575f80fd5b50565b5f81359050610908816108e4565b92915050565b5f80604083850312156109245761092361087d565b5b5f610931858286016108c7565b9250506020610942858286016108fa565b9150509250929050565b5f8115159050919050565b6109608161094c565b82525050565b5f6020820190506109795f830184610957565b92915050565b610988816108db565b82525050565b5f6020820190506109a15f83018461097f565b92915050565b5f805f606084860312156109be576109bd61087d565b5b5f6109cb868287016108c7565b93505060206109dc868287016108c7565b92505060406109ed868287016108fa565b9150509250925092565b5f60ff82169050919050565b610a0c816109f7565b82525050565b5f602082019050610a255f830184610a03565b92915050565b5f60208284031215610a4057610a3f61087d565b5b5f610a4d848285016108c7565b91505092915050565b5f8060408385031215610a6c57610a6b61087d565b5b5f610a79858286016108c7565b9250506020610a8a858286016108c7565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b6001851115610b1657808604811115610af257610af1610a94565b5b6001851615610b015780820291505b8081029050610b0f85610ac1565b9450610ad6565b94509492505050565b5f82610b2e5760019050610be9565b81610b3b575f9050610be9565b8160018114610b515760028114610b5b57610b8a565b6001915050610be9565b60ff841115610b6d57610b6c610a94565b5b8360020a915084821115610b8457610b83610a94565b5b50610be9565b5060208310610133831016604e8410600b8410161715610bbf5782820a905083811115610bba57610bb9610a94565b5b610be9565b610bcc8484846001610acd565b92509050818404811115610be357610be2610a94565b5b81810290505b9392505050565b5f610bfa826108db565b9150610c05836109f7565b9250610c327fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484610b1f565b905092915050565b5f610c44826108db565b9150610c4f836108db565b9250828202610c5d816108db565b91508282048414831517610c7457610c73610a94565b5b5092915050565b7f496e73756666696369656e742062616c616e63650000000000000000000000005f82015250565b5f610caf6014836107f7565b9150610cba82610c7b565b602082019050919050565b5f6020820190508181035f830152610cdc81610ca3565b9050919050565b7f496e73756666696369656e7420616c6c6f77616e6365000000000000000000005f82015250565b5f610d176016836107f7565b9150610d2282610ce3565b602082019050919050565b5f6020820190508181035f830152610d4481610d0b565b9050919050565b5f610d55826108db565b9150610d60836108db565b9250828203905081811115610d7857610d77610a94565b5b92915050565b5f610d88826108db565b9150610d93836108db565b9250828201905080821115610dab57610daa610a94565b5b92915050565b7f496e737566696369656e742062616c616e6365000000000000000000000000005f82015250565b5f610de56013836107f7565b9150610df082610db1565b602082019050919050565b5f6020820190508181035f830152610e1281610dd9565b905091905056fea2646970667358221220c52adb10dc3e0d1ea879ca92a3185ce1e91b6b5f3a6bb11fcb0f5018390a42dd64736f6c634300081a0033

62:2204:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;677:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1608:204;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;954:88;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1820:443;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;863:83;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1050:106;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;768:87;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1164:291;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;1463:137;;;;;;;;;;;;;:::i;:::-;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;677:83;714:13;747:5;;;;;;;;;;;;;;;;;740:12;;677:83;:::o;1608:204::-;1673:4;1725:5;1690:11;:23;1702:10;1690:23;;;;;;;;;;;;;;;:32;1714:7;1690:32;;;;;;;;;;;;;;;:40;;;;1767:7;1746:36;;1755:10;1746:36;;;1776:5;1746:36;;;;;;:::i;:::-;;;;;;;;1800:4;1793:11;;1608:204;;;;:::o;954:88::-;998:4;223:2;280;:15;;;;:::i;:::-;272:5;:23;;;;:::i;:::-;1015:19;;954:88;:::o;1820:443::-;1899:4;1943:5;1924:15;1934:4;1924:9;:15::i;:::-;:24;;1916:57;;;;;;;;;;;;:::i;:::-;;;;;;;;;2023:5;1992:27;2002:4;2008:10;1992:9;:27::i;:::-;:36;;1984:71;;;;;;;;;;;;:::i;:::-;;;;;;;;;2109:5;2076:11;:17;2088:4;2076:17;;;;;;;;;;;;;;;:29;2094:10;2076:29;;;;;;;;;;;;;;;;:38;;;;;;;:::i;:::-;;;;;;;;2144:5;2125:9;:15;2135:4;2125:15;;;;;;;;;;;;;;;;:24;;;;;;;:::i;:::-;;;;;;;;2177:5;2160:9;:13;2170:2;2160:13;;;;;;;;;;;;;;;;:22;;;;;;;:::i;:::-;;;;;;;;2223:2;2208:25;;2217:4;2208:25;;;2227:5;2208:25;;;;;;:::i;:::-;;;;;;;;2251:4;2244:11;;1820:443;;;;;:::o;863:83::-;904:5;223:2;922:16;;863:83;:::o;1050:106::-;1105:7;1132:9;:16;1142:5;1132:16;;;;;;;;;;;;;;;;1125:23;;1050:106;;;:::o;768:87::-;807:13;840:7;;;;;;;;;;;;;;;;;833:14;;768:87;:::o;1164:291::-;1225:4;1275:5;1250:21;1260:10;1250:9;:21::i;:::-;:30;;1242:62;;;;;;;;;;;;:::i;:::-;;;;;;;;;1340:5;1315:9;:21;1325:10;1315:21;;;;;;;;;;;;;;;;:30;;;;;;;:::i;:::-;;;;;;;;1373:5;1356:9;:13;1366:2;1356:13;;;;;;;;;;;;;;;;:22;;;;;;;:::i;:::-;;;;;;;;1415:2;1394:31;;1403:10;1394:31;;;1419:5;1394:31;;;;;;:::i;:::-;;;;;;;;1443:4;1436:11;;1164:291;;;;:::o;1463:137::-;1537:7;1563:11;:19;1575:6;1563:19;;;;;;;;;;;;;;;:29;1583:8;1563:29;;;;;;;;;;;;;;;;1556:36;;1463:137;;;;:::o;7:99:1:-;59:6;93:5;87:12;77:22;;7:99;;;:::o;112:169::-;196:11;230:6;225:3;218:19;270:4;265:3;261:14;246:29;;112:169;;;;:::o;287:139::-;376:6;371:3;366;360:23;417:1;408:6;403:3;399:16;392:27;287:139;;;:::o;432:102::-;473:6;524:2;520:7;515:2;508:5;504:14;500:28;490:38;;432:102;;;:::o;540:377::-;628:3;656:39;689:5;656:39;:::i;:::-;711:71;775:6;770:3;711:71;:::i;:::-;704:78;;791:65;849:6;844:3;837:4;830:5;826:16;791:65;:::i;:::-;881:29;903:6;881:29;:::i;:::-;876:3;872:39;865:46;;632:285;540:377;;;;:::o;923:313::-;1036:4;1074:2;1063:9;1059:18;1051:26;;1123:9;1117:4;1113:20;1109:1;1098:9;1094:17;1087:47;1151:78;1224:4;1215:6;1151:78;:::i;:::-;1143:86;;923:313;;;;:::o;1323:117::-;1432:1;1429;1422:12;1569:126;1606:7;1646:42;1639:5;1635:54;1624:65;;1569:126;;;:::o;1701:96::-;1738:7;1767:24;1785:5;1767:24;:::i;:::-;1756:35;;1701:96;;;:::o;1803:122::-;1876:24;1894:5;1876:24;:::i;:::-;1869:5;1866:35;1856:63;;1915:1;1912;1905:12;1856:63;1803:122;:::o;1931:139::-;1977:5;2015:6;2002:20;1993:29;;2031:33;2058:5;2031:33;:::i;:::-;1931:139;;;;:::o;2076:77::-;2113:7;2142:5;2131:16;;2076:77;;;:::o;2159:122::-;2232:24;2250:5;2232:24;:::i;:::-;2225:5;2222:35;2212:63;;2271:1;2268;2261:12;2212:63;2159:122;:::o;2287:139::-;2333:5;2371:6;2358:20;2349:29;;2387:33;2414:5;2387:33;:::i;:::-;2287:139;;;;:::o;2432:474::-;2500:6;2508;2557:2;2545:9;2536:7;2532:23;2528:32;2525:119;;;2563:79;;:::i;:::-;2525:119;2683:1;2708:53;2753:7;2744:6;2733:9;2729:22;2708:53;:::i;:::-;2698:63;;2654:117;2810:2;2836:53;2881:7;2872:6;2861:9;2857:22;2836:53;:::i;:::-;2826:63;;2781:118;2432:474;;;;;:::o;2912:90::-;2946:7;2989:5;2982:13;2975:21;2964:32;;2912:90;;;:::o;3008:109::-;3089:21;3104:5;3089:21;:::i;:::-;3084:3;3077:34;3008:109;;:::o;3123:210::-;3210:4;3248:2;3237:9;3233:18;3225:26;;3261:65;3323:1;3312:9;3308:17;3299:6;3261:65;:::i;:::-;3123:210;;;;:::o;3339:118::-;3426:24;3444:5;3426:24;:::i;:::-;3421:3;3414:37;3339:118;;:::o;3463:222::-;3556:4;3594:2;3583:9;3579:18;3571:26;;3607:71;3675:1;3664:9;3660:17;3651:6;3607:71;:::i;:::-;3463:222;;;;:::o;3691:619::-;3768:6;3776;3784;3833:2;3821:9;3812:7;3808:23;3804:32;3801:119;;;3839:79;;:::i;:::-;3801:119;3959:1;3984:53;4029:7;4020:6;4009:9;4005:22;3984:53;:::i;:::-;3974:63;;3930:117;4086:2;4112:53;4157:7;4148:6;4137:9;4133:22;4112:53;:::i;:::-;4102:63;;4057:118;4214:2;4240:53;4285:7;4276:6;4265:9;4261:22;4240:53;:::i;:::-;4230:63;;4185:118;3691:619;;;;;:::o;4316:86::-;4351:7;4391:4;4384:5;4380:16;4369:27;;4316:86;;;:::o;4408:112::-;4491:22;4507:5;4491:22;:::i;:::-;4486:3;4479:35;4408:112;;:::o;4526:214::-;4615:4;4653:2;4642:9;4638:18;4630:26;;4666:67;4730:1;4719:9;4715:17;4706:6;4666:67;:::i;:::-;4526:214;;;;:::o;4746:329::-;4805:6;4854:2;4842:9;4833:7;4829:23;4825:32;4822:119;;;4860:79;;:::i;:::-;4822:119;4980:1;5005:53;5050:7;5041:6;5030:9;5026:22;5005:53;:::i;:::-;4995:63;;4951:117;4746:329;;;;:::o;5081:474::-;5149:6;5157;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;5459:2;5485:53;5530:7;5521:6;5510:9;5506:22;5485:53;:::i;:::-;5475:63;;5430:118;5081:474;;;;;:::o;5561:180::-;5609:77;5606:1;5599:88;5706:4;5703:1;5696:15;5730:4;5727:1;5720:15;5747:102;5789:8;5836:5;5833:1;5829:13;5808:34;;5747:102;;;:::o;5855:848::-;5916:5;5923:4;5947:6;5938:15;;5971:5;5962:14;;5985:712;6006:1;5996:8;5993:15;5985:712;;;6101:4;6096:3;6092:14;6086:4;6083:24;6080:50;;;6110:18;;:::i;:::-;6080:50;6160:1;6150:8;6146:16;6143:451;;;6575:4;6568:5;6564:16;6555:25;;6143:451;6625:4;6619;6615:15;6607:23;;6655:32;6678:8;6655:32;:::i;:::-;6643:44;;5985:712;;;5855:848;;;;;;;:::o;6709:1073::-;6763:5;6954:8;6944:40;;6975:1;6966:10;;6977:5;;6944:40;7003:4;6993:36;;7020:1;7011:10;;7022:5;;6993:36;7089:4;7137:1;7132:27;;;;7173:1;7168:191;;;;7082:277;;7132:27;7150:1;7141:10;;7152:5;;;7168:191;7213:3;7203:8;7200:17;7197:43;;;7220:18;;:::i;:::-;7197:43;7269:8;7266:1;7262:16;7253:25;;7304:3;7297:5;7294:14;7291:40;;;7311:18;;:::i;:::-;7291:40;7344:5;;;7082:277;;7468:2;7458:8;7455:16;7449:3;7443:4;7440:13;7436:36;7418:2;7408:8;7405:16;7400:2;7394:4;7391:12;7387:35;7371:111;7368:246;;;7524:8;7518:4;7514:19;7505:28;;7559:3;7552:5;7549:14;7546:40;;;7566:18;;:::i;:::-;7546:40;7599:5;;7368:246;7639:42;7677:3;7667:8;7661:4;7658:1;7639:42;:::i;:::-;7624:57;;;;7713:4;7708:3;7704:14;7697:5;7694:25;7691:51;;;7722:18;;:::i;:::-;7691:51;7771:4;7764:5;7760:16;7751:25;;6709:1073;;;;;;:::o;7788:281::-;7846:5;7870:23;7888:4;7870:23;:::i;:::-;7862:31;;7914:25;7930:8;7914:25;:::i;:::-;7902:37;;7958:104;7995:66;7985:8;7979:4;7958:104;:::i;:::-;7949:113;;7788:281;;;;:::o;8075:410::-;8115:7;8138:20;8156:1;8138:20;:::i;:::-;8133:25;;8172:20;8190:1;8172:20;:::i;:::-;8167:25;;8227:1;8224;8220:9;8249:30;8267:11;8249:30;:::i;:::-;8238:41;;8428:1;8419:7;8415:15;8412:1;8409:22;8389:1;8382:9;8362:83;8339:139;;8458:18;;:::i;:::-;8339:139;8123:362;8075:410;;;;:::o;8491:170::-;8631:22;8627:1;8619:6;8615:14;8608:46;8491:170;:::o;8667:366::-;8809:3;8830:67;8894:2;8889:3;8830:67;:::i;:::-;8823:74;;8906:93;8995:3;8906:93;:::i;:::-;9024:2;9019:3;9015:12;9008:19;;8667:366;;;:::o;9039:419::-;9205:4;9243:2;9232:9;9228:18;9220:26;;9292:9;9286:4;9282:20;9278:1;9267:9;9263:17;9256:47;9320:131;9446:4;9320:131;:::i;:::-;9312:139;;9039:419;;;:::o;9464:172::-;9604:24;9600:1;9592:6;9588:14;9581:48;9464:172;:::o;9642:366::-;9784:3;9805:67;9869:2;9864:3;9805:67;:::i;:::-;9798:74;;9881:93;9970:3;9881:93;:::i;:::-;9999:2;9994:3;9990:12;9983:19;;9642:366;;;:::o;10014:419::-;10180:4;10218:2;10207:9;10203:18;10195:26;;10267:9;10261:4;10257:20;10253:1;10242:9;10238:17;10231:47;10295:131;10421:4;10295:131;:::i;:::-;10287:139;;10014:419;;;:::o;10439:194::-;10479:4;10499:20;10517:1;10499:20;:::i;:::-;10494:25;;10533:20;10551:1;10533:20;:::i;:::-;10528:25;;10577:1;10574;10570:9;10562:17;;10601:1;10595:4;10592:11;10589:37;;;10606:18;;:::i;:::-;10589:37;10439:194;;;;:::o;10639:191::-;10679:3;10698:20;10716:1;10698:20;:::i;:::-;10693:25;;10732:20;10750:1;10732:20;:::i;:::-;10727:25;;10775:1;10772;10768:9;10761:16;;10796:3;10793:1;10790:10;10787:36;;;10803:18;;:::i;:::-;10787:36;10639:191;;;;:::o;10836:169::-;10976:21;10972:1;10964:6;10960:14;10953:45;10836:169;:::o;11011:366::-;11153:3;11174:67;11238:2;11233:3;11174:67;:::i;:::-;11167:74;;11250:93;11339:3;11250:93;:::i;:::-;11368:2;11363:3;11359:12;11352:19;;11011:366;;;:::o;11383:419::-;11549:4;11587:2;11576:9;11572:18;11564:26;;11636:9;11630:4;11626:20;11622:1;11611:9;11607:17;11600:47;11664:131;11790:4;11664:131;:::i;:::-;11656:139;;11383:419;;;:::o

ipfs://c52adb10dc3e0d1ea879ca92a3185ce1e91b6b5f3a6bb11fcb0f5018390a42dd